xref: /freebsd/contrib/lua/src/llimits.h (revision 8e3e3a7ae841ccf6f6ac30a2eeab85df5d7f04bc)
1*8e3e3a7aSWarner Losh /*
2*8e3e3a7aSWarner Losh ** $Id: llimits.h,v 1.141 2015/11/19 19:16:22 roberto Exp $
3*8e3e3a7aSWarner Losh ** Limits, basic types, and some other 'installation-dependent' definitions
4*8e3e3a7aSWarner Losh ** See Copyright Notice in lua.h
5*8e3e3a7aSWarner Losh */
6*8e3e3a7aSWarner Losh 
7*8e3e3a7aSWarner Losh #ifndef llimits_h
8*8e3e3a7aSWarner Losh #define llimits_h
9*8e3e3a7aSWarner Losh 
10*8e3e3a7aSWarner Losh 
11*8e3e3a7aSWarner Losh #include <limits.h>
12*8e3e3a7aSWarner Losh #include <stddef.h>
13*8e3e3a7aSWarner Losh 
14*8e3e3a7aSWarner Losh 
15*8e3e3a7aSWarner Losh #include "lua.h"
16*8e3e3a7aSWarner Losh 
17*8e3e3a7aSWarner Losh /*
18*8e3e3a7aSWarner Losh ** 'lu_mem' and 'l_mem' are unsigned/signed integers big enough to count
19*8e3e3a7aSWarner Losh ** the total memory used by Lua (in bytes). Usually, 'size_t' and
20*8e3e3a7aSWarner Losh ** 'ptrdiff_t' should work, but we use 'long' for 16-bit machines.
21*8e3e3a7aSWarner Losh */
22*8e3e3a7aSWarner Losh #if defined(LUAI_MEM)		/* { external definitions? */
23*8e3e3a7aSWarner Losh typedef LUAI_UMEM lu_mem;
24*8e3e3a7aSWarner Losh typedef LUAI_MEM l_mem;
25*8e3e3a7aSWarner Losh #elif LUAI_BITSINT >= 32	/* }{ */
26*8e3e3a7aSWarner Losh typedef size_t lu_mem;
27*8e3e3a7aSWarner Losh typedef ptrdiff_t l_mem;
28*8e3e3a7aSWarner Losh #else  /* 16-bit ints */	/* }{ */
29*8e3e3a7aSWarner Losh typedef unsigned long lu_mem;
30*8e3e3a7aSWarner Losh typedef long l_mem;
31*8e3e3a7aSWarner Losh #endif				/* } */
32*8e3e3a7aSWarner Losh 
33*8e3e3a7aSWarner Losh 
34*8e3e3a7aSWarner Losh /* chars used as small naturals (so that 'char' is reserved for characters) */
35*8e3e3a7aSWarner Losh typedef unsigned char lu_byte;
36*8e3e3a7aSWarner Losh 
37*8e3e3a7aSWarner Losh 
38*8e3e3a7aSWarner Losh /* maximum value for size_t */
39*8e3e3a7aSWarner Losh #define MAX_SIZET	((size_t)(~(size_t)0))
40*8e3e3a7aSWarner Losh 
41*8e3e3a7aSWarner Losh /* maximum size visible for Lua (must be representable in a lua_Integer */
42*8e3e3a7aSWarner Losh #define MAX_SIZE	(sizeof(size_t) < sizeof(lua_Integer) ? MAX_SIZET \
43*8e3e3a7aSWarner Losh                           : (size_t)(LUA_MAXINTEGER))
44*8e3e3a7aSWarner Losh 
45*8e3e3a7aSWarner Losh 
46*8e3e3a7aSWarner Losh #define MAX_LUMEM	((lu_mem)(~(lu_mem)0))
47*8e3e3a7aSWarner Losh 
48*8e3e3a7aSWarner Losh #define MAX_LMEM	((l_mem)(MAX_LUMEM >> 1))
49*8e3e3a7aSWarner Losh 
50*8e3e3a7aSWarner Losh 
51*8e3e3a7aSWarner Losh #define MAX_INT		INT_MAX  /* maximum value of an int */
52*8e3e3a7aSWarner Losh 
53*8e3e3a7aSWarner Losh 
54*8e3e3a7aSWarner Losh /*
55*8e3e3a7aSWarner Losh ** conversion of pointer to unsigned integer:
56*8e3e3a7aSWarner Losh ** this is for hashing only; there is no problem if the integer
57*8e3e3a7aSWarner Losh ** cannot hold the whole pointer value
58*8e3e3a7aSWarner Losh */
59*8e3e3a7aSWarner Losh #define point2uint(p)	((unsigned int)((size_t)(p) & UINT_MAX))
60*8e3e3a7aSWarner Losh 
61*8e3e3a7aSWarner Losh 
62*8e3e3a7aSWarner Losh 
63*8e3e3a7aSWarner Losh /* type to ensure maximum alignment */
64*8e3e3a7aSWarner Losh #if defined(LUAI_USER_ALIGNMENT_T)
65*8e3e3a7aSWarner Losh typedef LUAI_USER_ALIGNMENT_T L_Umaxalign;
66*8e3e3a7aSWarner Losh #else
67*8e3e3a7aSWarner Losh typedef union {
68*8e3e3a7aSWarner Losh   lua_Number n;
69*8e3e3a7aSWarner Losh   double u;
70*8e3e3a7aSWarner Losh   void *s;
71*8e3e3a7aSWarner Losh   lua_Integer i;
72*8e3e3a7aSWarner Losh   long l;
73*8e3e3a7aSWarner Losh } L_Umaxalign;
74*8e3e3a7aSWarner Losh #endif
75*8e3e3a7aSWarner Losh 
76*8e3e3a7aSWarner Losh 
77*8e3e3a7aSWarner Losh 
78*8e3e3a7aSWarner Losh /* types of 'usual argument conversions' for lua_Number and lua_Integer */
79*8e3e3a7aSWarner Losh typedef LUAI_UACNUMBER l_uacNumber;
80*8e3e3a7aSWarner Losh typedef LUAI_UACINT l_uacInt;
81*8e3e3a7aSWarner Losh 
82*8e3e3a7aSWarner Losh 
83*8e3e3a7aSWarner Losh /* internal assertions for in-house debugging */
84*8e3e3a7aSWarner Losh #if defined(lua_assert)
85*8e3e3a7aSWarner Losh #define check_exp(c,e)		(lua_assert(c), (e))
86*8e3e3a7aSWarner Losh /* to avoid problems with conditions too long */
87*8e3e3a7aSWarner Losh #define lua_longassert(c)	((c) ? (void)0 : lua_assert(0))
88*8e3e3a7aSWarner Losh #else
89*8e3e3a7aSWarner Losh #define lua_assert(c)		((void)0)
90*8e3e3a7aSWarner Losh #define check_exp(c,e)		(e)
91*8e3e3a7aSWarner Losh #define lua_longassert(c)	((void)0)
92*8e3e3a7aSWarner Losh #endif
93*8e3e3a7aSWarner Losh 
94*8e3e3a7aSWarner Losh /*
95*8e3e3a7aSWarner Losh ** assertion for checking API calls
96*8e3e3a7aSWarner Losh */
97*8e3e3a7aSWarner Losh #if !defined(luai_apicheck)
98*8e3e3a7aSWarner Losh #define luai_apicheck(l,e)	lua_assert(e)
99*8e3e3a7aSWarner Losh #endif
100*8e3e3a7aSWarner Losh 
101*8e3e3a7aSWarner Losh #define api_check(l,e,msg)	luai_apicheck(l,(e) && msg)
102*8e3e3a7aSWarner Losh 
103*8e3e3a7aSWarner Losh 
104*8e3e3a7aSWarner Losh /* macro to avoid warnings about unused variables */
105*8e3e3a7aSWarner Losh #if !defined(UNUSED)
106*8e3e3a7aSWarner Losh #define UNUSED(x)	((void)(x))
107*8e3e3a7aSWarner Losh #endif
108*8e3e3a7aSWarner Losh 
109*8e3e3a7aSWarner Losh 
110*8e3e3a7aSWarner Losh /* type casts (a macro highlights casts in the code) */
111*8e3e3a7aSWarner Losh #define cast(t, exp)	((t)(exp))
112*8e3e3a7aSWarner Losh 
113*8e3e3a7aSWarner Losh #define cast_void(i)	cast(void, (i))
114*8e3e3a7aSWarner Losh #define cast_byte(i)	cast(lu_byte, (i))
115*8e3e3a7aSWarner Losh #define cast_num(i)	cast(lua_Number, (i))
116*8e3e3a7aSWarner Losh #define cast_int(i)	cast(int, (i))
117*8e3e3a7aSWarner Losh #define cast_uchar(i)	cast(unsigned char, (i))
118*8e3e3a7aSWarner Losh 
119*8e3e3a7aSWarner Losh 
120*8e3e3a7aSWarner Losh /* cast a signed lua_Integer to lua_Unsigned */
121*8e3e3a7aSWarner Losh #if !defined(l_castS2U)
122*8e3e3a7aSWarner Losh #define l_castS2U(i)	((lua_Unsigned)(i))
123*8e3e3a7aSWarner Losh #endif
124*8e3e3a7aSWarner Losh 
125*8e3e3a7aSWarner Losh /*
126*8e3e3a7aSWarner Losh ** cast a lua_Unsigned to a signed lua_Integer; this cast is
127*8e3e3a7aSWarner Losh ** not strict ISO C, but two-complement architectures should
128*8e3e3a7aSWarner Losh ** work fine.
129*8e3e3a7aSWarner Losh */
130*8e3e3a7aSWarner Losh #if !defined(l_castU2S)
131*8e3e3a7aSWarner Losh #define l_castU2S(i)	((lua_Integer)(i))
132*8e3e3a7aSWarner Losh #endif
133*8e3e3a7aSWarner Losh 
134*8e3e3a7aSWarner Losh 
135*8e3e3a7aSWarner Losh /*
136*8e3e3a7aSWarner Losh ** non-return type
137*8e3e3a7aSWarner Losh */
138*8e3e3a7aSWarner Losh #if defined(__GNUC__)
139*8e3e3a7aSWarner Losh #define l_noret		void __attribute__((noreturn))
140*8e3e3a7aSWarner Losh #elif defined(_MSC_VER) && _MSC_VER >= 1200
141*8e3e3a7aSWarner Losh #define l_noret		void __declspec(noreturn)
142*8e3e3a7aSWarner Losh #else
143*8e3e3a7aSWarner Losh #define l_noret		void
144*8e3e3a7aSWarner Losh #endif
145*8e3e3a7aSWarner Losh 
146*8e3e3a7aSWarner Losh 
147*8e3e3a7aSWarner Losh 
148*8e3e3a7aSWarner Losh /*
149*8e3e3a7aSWarner Losh ** maximum depth for nested C calls and syntactical nested non-terminals
150*8e3e3a7aSWarner Losh ** in a program. (Value must fit in an unsigned short int.)
151*8e3e3a7aSWarner Losh */
152*8e3e3a7aSWarner Losh #if !defined(LUAI_MAXCCALLS)
153*8e3e3a7aSWarner Losh #define LUAI_MAXCCALLS		200
154*8e3e3a7aSWarner Losh #endif
155*8e3e3a7aSWarner Losh 
156*8e3e3a7aSWarner Losh 
157*8e3e3a7aSWarner Losh 
158*8e3e3a7aSWarner Losh /*
159*8e3e3a7aSWarner Losh ** type for virtual-machine instructions;
160*8e3e3a7aSWarner Losh ** must be an unsigned with (at least) 4 bytes (see details in lopcodes.h)
161*8e3e3a7aSWarner Losh */
162*8e3e3a7aSWarner Losh #if LUAI_BITSINT >= 32
163*8e3e3a7aSWarner Losh typedef unsigned int Instruction;
164*8e3e3a7aSWarner Losh #else
165*8e3e3a7aSWarner Losh typedef unsigned long Instruction;
166*8e3e3a7aSWarner Losh #endif
167*8e3e3a7aSWarner Losh 
168*8e3e3a7aSWarner Losh 
169*8e3e3a7aSWarner Losh 
170*8e3e3a7aSWarner Losh /*
171*8e3e3a7aSWarner Losh ** Maximum length for short strings, that is, strings that are
172*8e3e3a7aSWarner Losh ** internalized. (Cannot be smaller than reserved words or tags for
173*8e3e3a7aSWarner Losh ** metamethods, as these strings must be internalized;
174*8e3e3a7aSWarner Losh ** #("function") = 8, #("__newindex") = 10.)
175*8e3e3a7aSWarner Losh */
176*8e3e3a7aSWarner Losh #if !defined(LUAI_MAXSHORTLEN)
177*8e3e3a7aSWarner Losh #define LUAI_MAXSHORTLEN	40
178*8e3e3a7aSWarner Losh #endif
179*8e3e3a7aSWarner Losh 
180*8e3e3a7aSWarner Losh 
181*8e3e3a7aSWarner Losh /*
182*8e3e3a7aSWarner Losh ** Initial size for the string table (must be power of 2).
183*8e3e3a7aSWarner Losh ** The Lua core alone registers ~50 strings (reserved words +
184*8e3e3a7aSWarner Losh ** metaevent keys + a few others). Libraries would typically add
185*8e3e3a7aSWarner Losh ** a few dozens more.
186*8e3e3a7aSWarner Losh */
187*8e3e3a7aSWarner Losh #if !defined(MINSTRTABSIZE)
188*8e3e3a7aSWarner Losh #define MINSTRTABSIZE	128
189*8e3e3a7aSWarner Losh #endif
190*8e3e3a7aSWarner Losh 
191*8e3e3a7aSWarner Losh 
192*8e3e3a7aSWarner Losh /*
193*8e3e3a7aSWarner Losh ** Size of cache for strings in the API. 'N' is the number of
194*8e3e3a7aSWarner Losh ** sets (better be a prime) and "M" is the size of each set (M == 1
195*8e3e3a7aSWarner Losh ** makes a direct cache.)
196*8e3e3a7aSWarner Losh */
197*8e3e3a7aSWarner Losh #if !defined(STRCACHE_N)
198*8e3e3a7aSWarner Losh #define STRCACHE_N		53
199*8e3e3a7aSWarner Losh #define STRCACHE_M		2
200*8e3e3a7aSWarner Losh #endif
201*8e3e3a7aSWarner Losh 
202*8e3e3a7aSWarner Losh 
203*8e3e3a7aSWarner Losh /* minimum size for string buffer */
204*8e3e3a7aSWarner Losh #if !defined(LUA_MINBUFFER)
205*8e3e3a7aSWarner Losh #define LUA_MINBUFFER	32
206*8e3e3a7aSWarner Losh #endif
207*8e3e3a7aSWarner Losh 
208*8e3e3a7aSWarner Losh 
209*8e3e3a7aSWarner Losh /*
210*8e3e3a7aSWarner Losh ** macros that are executed whenever program enters the Lua core
211*8e3e3a7aSWarner Losh ** ('lua_lock') and leaves the core ('lua_unlock')
212*8e3e3a7aSWarner Losh */
213*8e3e3a7aSWarner Losh #if !defined(lua_lock)
214*8e3e3a7aSWarner Losh #define lua_lock(L)	((void) 0)
215*8e3e3a7aSWarner Losh #define lua_unlock(L)	((void) 0)
216*8e3e3a7aSWarner Losh #endif
217*8e3e3a7aSWarner Losh 
218*8e3e3a7aSWarner Losh /*
219*8e3e3a7aSWarner Losh ** macro executed during Lua functions at points where the
220*8e3e3a7aSWarner Losh ** function can yield.
221*8e3e3a7aSWarner Losh */
222*8e3e3a7aSWarner Losh #if !defined(luai_threadyield)
223*8e3e3a7aSWarner Losh #define luai_threadyield(L)	{lua_unlock(L); lua_lock(L);}
224*8e3e3a7aSWarner Losh #endif
225*8e3e3a7aSWarner Losh 
226*8e3e3a7aSWarner Losh 
227*8e3e3a7aSWarner Losh /*
228*8e3e3a7aSWarner Losh ** these macros allow user-specific actions on threads when you defined
229*8e3e3a7aSWarner Losh ** LUAI_EXTRASPACE and need to do something extra when a thread is
230*8e3e3a7aSWarner Losh ** created/deleted/resumed/yielded.
231*8e3e3a7aSWarner Losh */
232*8e3e3a7aSWarner Losh #if !defined(luai_userstateopen)
233*8e3e3a7aSWarner Losh #define luai_userstateopen(L)		((void)L)
234*8e3e3a7aSWarner Losh #endif
235*8e3e3a7aSWarner Losh 
236*8e3e3a7aSWarner Losh #if !defined(luai_userstateclose)
237*8e3e3a7aSWarner Losh #define luai_userstateclose(L)		((void)L)
238*8e3e3a7aSWarner Losh #endif
239*8e3e3a7aSWarner Losh 
240*8e3e3a7aSWarner Losh #if !defined(luai_userstatethread)
241*8e3e3a7aSWarner Losh #define luai_userstatethread(L,L1)	((void)L)
242*8e3e3a7aSWarner Losh #endif
243*8e3e3a7aSWarner Losh 
244*8e3e3a7aSWarner Losh #if !defined(luai_userstatefree)
245*8e3e3a7aSWarner Losh #define luai_userstatefree(L,L1)	((void)L)
246*8e3e3a7aSWarner Losh #endif
247*8e3e3a7aSWarner Losh 
248*8e3e3a7aSWarner Losh #if !defined(luai_userstateresume)
249*8e3e3a7aSWarner Losh #define luai_userstateresume(L,n)	((void)L)
250*8e3e3a7aSWarner Losh #endif
251*8e3e3a7aSWarner Losh 
252*8e3e3a7aSWarner Losh #if !defined(luai_userstateyield)
253*8e3e3a7aSWarner Losh #define luai_userstateyield(L,n)	((void)L)
254*8e3e3a7aSWarner Losh #endif
255*8e3e3a7aSWarner Losh 
256*8e3e3a7aSWarner Losh 
257*8e3e3a7aSWarner Losh 
258*8e3e3a7aSWarner Losh /*
259*8e3e3a7aSWarner Losh ** The luai_num* macros define the primitive operations over numbers.
260*8e3e3a7aSWarner Losh */
261*8e3e3a7aSWarner Losh 
262*8e3e3a7aSWarner Losh /* floor division (defined as 'floor(a/b)') */
263*8e3e3a7aSWarner Losh #if !defined(luai_numidiv)
264*8e3e3a7aSWarner Losh #define luai_numidiv(L,a,b)     ((void)L, l_floor(luai_numdiv(L,a,b)))
265*8e3e3a7aSWarner Losh #endif
266*8e3e3a7aSWarner Losh 
267*8e3e3a7aSWarner Losh /* float division */
268*8e3e3a7aSWarner Losh #if !defined(luai_numdiv)
269*8e3e3a7aSWarner Losh #define luai_numdiv(L,a,b)      ((a)/(b))
270*8e3e3a7aSWarner Losh #endif
271*8e3e3a7aSWarner Losh 
272*8e3e3a7aSWarner Losh /*
273*8e3e3a7aSWarner Losh ** modulo: defined as 'a - floor(a/b)*b'; this definition gives NaN when
274*8e3e3a7aSWarner Losh ** 'b' is huge, but the result should be 'a'. 'fmod' gives the result of
275*8e3e3a7aSWarner Losh ** 'a - trunc(a/b)*b', and therefore must be corrected when 'trunc(a/b)
276*8e3e3a7aSWarner Losh ** ~= floor(a/b)'. That happens when the division has a non-integer
277*8e3e3a7aSWarner Losh ** negative result, which is equivalent to the test below.
278*8e3e3a7aSWarner Losh */
279*8e3e3a7aSWarner Losh #if !defined(luai_nummod)
280*8e3e3a7aSWarner Losh #define luai_nummod(L,a,b,m)  \
281*8e3e3a7aSWarner Losh   { (m) = l_mathop(fmod)(a,b); if ((m)*(b) < 0) (m) += (b); }
282*8e3e3a7aSWarner Losh #endif
283*8e3e3a7aSWarner Losh 
284*8e3e3a7aSWarner Losh /* exponentiation */
285*8e3e3a7aSWarner Losh #if !defined(luai_numpow)
286*8e3e3a7aSWarner Losh #define luai_numpow(L,a,b)      ((void)L, l_mathop(pow)(a,b))
287*8e3e3a7aSWarner Losh #endif
288*8e3e3a7aSWarner Losh 
289*8e3e3a7aSWarner Losh /* the others are quite standard operations */
290*8e3e3a7aSWarner Losh #if !defined(luai_numadd)
291*8e3e3a7aSWarner Losh #define luai_numadd(L,a,b)      ((a)+(b))
292*8e3e3a7aSWarner Losh #define luai_numsub(L,a,b)      ((a)-(b))
293*8e3e3a7aSWarner Losh #define luai_nummul(L,a,b)      ((a)*(b))
294*8e3e3a7aSWarner Losh #define luai_numunm(L,a)        (-(a))
295*8e3e3a7aSWarner Losh #define luai_numeq(a,b)         ((a)==(b))
296*8e3e3a7aSWarner Losh #define luai_numlt(a,b)         ((a)<(b))
297*8e3e3a7aSWarner Losh #define luai_numle(a,b)         ((a)<=(b))
298*8e3e3a7aSWarner Losh #define luai_numisnan(a)        (!luai_numeq((a), (a)))
299*8e3e3a7aSWarner Losh #endif
300*8e3e3a7aSWarner Losh 
301*8e3e3a7aSWarner Losh 
302*8e3e3a7aSWarner Losh 
303*8e3e3a7aSWarner Losh 
304*8e3e3a7aSWarner Losh 
305*8e3e3a7aSWarner Losh /*
306*8e3e3a7aSWarner Losh ** macro to control inclusion of some hard tests on stack reallocation
307*8e3e3a7aSWarner Losh */
308*8e3e3a7aSWarner Losh #if !defined(HARDSTACKTESTS)
309*8e3e3a7aSWarner Losh #define condmovestack(L,pre,pos)	((void)0)
310*8e3e3a7aSWarner Losh #else
311*8e3e3a7aSWarner Losh /* realloc stack keeping its size */
312*8e3e3a7aSWarner Losh #define condmovestack(L,pre,pos)  \
313*8e3e3a7aSWarner Losh 	{ int sz_ = (L)->stacksize; pre; luaD_reallocstack((L), sz_); pos; }
314*8e3e3a7aSWarner Losh #endif
315*8e3e3a7aSWarner Losh 
316*8e3e3a7aSWarner Losh #if !defined(HARDMEMTESTS)
317*8e3e3a7aSWarner Losh #define condchangemem(L,pre,pos)	((void)0)
318*8e3e3a7aSWarner Losh #else
319*8e3e3a7aSWarner Losh #define condchangemem(L,pre,pos)  \
320*8e3e3a7aSWarner Losh 	{ if (G(L)->gcrunning) { pre; luaC_fullgc(L, 0); pos; } }
321*8e3e3a7aSWarner Losh #endif
322*8e3e3a7aSWarner Losh 
323*8e3e3a7aSWarner Losh #endif
324