18e3e3a7aSWarner Losh /* 2*0495ed39SKyle Evans ** $Id: llimits.h $ 38e3e3a7aSWarner Losh ** Limits, basic types, and some other 'installation-dependent' definitions 48e3e3a7aSWarner Losh ** See Copyright Notice in lua.h 58e3e3a7aSWarner Losh */ 68e3e3a7aSWarner Losh 78e3e3a7aSWarner Losh #ifndef llimits_h 88e3e3a7aSWarner Losh #define llimits_h 98e3e3a7aSWarner Losh 108e3e3a7aSWarner Losh 118e3e3a7aSWarner Losh #include <limits.h> 128e3e3a7aSWarner Losh #include <stddef.h> 138e3e3a7aSWarner Losh 148e3e3a7aSWarner Losh 158e3e3a7aSWarner Losh #include "lua.h" 168e3e3a7aSWarner Losh 17*0495ed39SKyle Evans 188e3e3a7aSWarner Losh /* 198e3e3a7aSWarner Losh ** 'lu_mem' and 'l_mem' are unsigned/signed integers big enough to count 208e3e3a7aSWarner Losh ** the total memory used by Lua (in bytes). Usually, 'size_t' and 218e3e3a7aSWarner Losh ** 'ptrdiff_t' should work, but we use 'long' for 16-bit machines. 228e3e3a7aSWarner Losh */ 238e3e3a7aSWarner Losh #if defined(LUAI_MEM) /* { external definitions? */ 248e3e3a7aSWarner Losh typedef LUAI_UMEM lu_mem; 258e3e3a7aSWarner Losh typedef LUAI_MEM l_mem; 26*0495ed39SKyle Evans #elif LUAI_IS32INT /* }{ */ 278e3e3a7aSWarner Losh typedef size_t lu_mem; 288e3e3a7aSWarner Losh typedef ptrdiff_t l_mem; 298e3e3a7aSWarner Losh #else /* 16-bit ints */ /* }{ */ 308e3e3a7aSWarner Losh typedef unsigned long lu_mem; 318e3e3a7aSWarner Losh typedef long l_mem; 328e3e3a7aSWarner Losh #endif /* } */ 338e3e3a7aSWarner Losh 348e3e3a7aSWarner Losh 358e3e3a7aSWarner Losh /* chars used as small naturals (so that 'char' is reserved for characters) */ 368e3e3a7aSWarner Losh typedef unsigned char lu_byte; 37*0495ed39SKyle Evans typedef signed char ls_byte; 388e3e3a7aSWarner Losh 398e3e3a7aSWarner Losh 408e3e3a7aSWarner Losh /* maximum value for size_t */ 418e3e3a7aSWarner Losh #define MAX_SIZET ((size_t)(~(size_t)0)) 428e3e3a7aSWarner Losh 43*0495ed39SKyle Evans /* maximum size visible for Lua (must be representable in a lua_Integer) */ 448e3e3a7aSWarner Losh #define MAX_SIZE (sizeof(size_t) < sizeof(lua_Integer) ? MAX_SIZET \ 458e3e3a7aSWarner Losh : (size_t)(LUA_MAXINTEGER)) 468e3e3a7aSWarner Losh 478e3e3a7aSWarner Losh 488e3e3a7aSWarner Losh #define MAX_LUMEM ((lu_mem)(~(lu_mem)0)) 498e3e3a7aSWarner Losh 508e3e3a7aSWarner Losh #define MAX_LMEM ((l_mem)(MAX_LUMEM >> 1)) 518e3e3a7aSWarner Losh 528e3e3a7aSWarner Losh 538e3e3a7aSWarner Losh #define MAX_INT INT_MAX /* maximum value of an int */ 548e3e3a7aSWarner Losh 558e3e3a7aSWarner Losh 568e3e3a7aSWarner Losh /* 57*0495ed39SKyle Evans ** floor of the log2 of the maximum signed value for integral type 't'. 58*0495ed39SKyle Evans ** (That is, maximum 'n' such that '2^n' fits in the given signed type.) 59*0495ed39SKyle Evans */ 60*0495ed39SKyle Evans #define log2maxs(t) (sizeof(t) * 8 - 2) 61*0495ed39SKyle Evans 62*0495ed39SKyle Evans 63*0495ed39SKyle Evans /* 64*0495ed39SKyle Evans ** test whether an unsigned value is a power of 2 (or zero) 65*0495ed39SKyle Evans */ 66*0495ed39SKyle Evans #define ispow2(x) (((x) & ((x) - 1)) == 0) 67*0495ed39SKyle Evans 68*0495ed39SKyle Evans 69*0495ed39SKyle Evans /* number of chars of a literal string without the ending \0 */ 70*0495ed39SKyle Evans #define LL(x) (sizeof(x)/sizeof(char) - 1) 71*0495ed39SKyle Evans 72*0495ed39SKyle Evans 73*0495ed39SKyle Evans /* 748e3e3a7aSWarner Losh ** conversion of pointer to unsigned integer: 758e3e3a7aSWarner Losh ** this is for hashing only; there is no problem if the integer 768e3e3a7aSWarner Losh ** cannot hold the whole pointer value 778e3e3a7aSWarner Losh */ 788e3e3a7aSWarner Losh #define point2uint(p) ((unsigned int)((size_t)(p) & UINT_MAX)) 798e3e3a7aSWarner Losh 808e3e3a7aSWarner Losh 818e3e3a7aSWarner Losh 828e3e3a7aSWarner Losh /* types of 'usual argument conversions' for lua_Number and lua_Integer */ 838e3e3a7aSWarner Losh typedef LUAI_UACNUMBER l_uacNumber; 848e3e3a7aSWarner Losh typedef LUAI_UACINT l_uacInt; 858e3e3a7aSWarner Losh 868e3e3a7aSWarner Losh 87*0495ed39SKyle Evans /* 88*0495ed39SKyle Evans ** Internal assertions for in-house debugging 89*0495ed39SKyle Evans */ 90*0495ed39SKyle Evans #if defined LUAI_ASSERT 91*0495ed39SKyle Evans #undef NDEBUG 92*0495ed39SKyle Evans #include <assert.h> 93*0495ed39SKyle Evans #define lua_assert(c) assert(c) 94*0495ed39SKyle Evans #endif 95*0495ed39SKyle Evans 968e3e3a7aSWarner Losh #if defined(lua_assert) 978e3e3a7aSWarner Losh #define check_exp(c,e) (lua_assert(c), (e)) 988e3e3a7aSWarner Losh /* to avoid problems with conditions too long */ 998e3e3a7aSWarner Losh #define lua_longassert(c) ((c) ? (void)0 : lua_assert(0)) 1008e3e3a7aSWarner Losh #else 1018e3e3a7aSWarner Losh #define lua_assert(c) ((void)0) 1028e3e3a7aSWarner Losh #define check_exp(c,e) (e) 1038e3e3a7aSWarner Losh #define lua_longassert(c) ((void)0) 1048e3e3a7aSWarner Losh #endif 1058e3e3a7aSWarner Losh 1068e3e3a7aSWarner Losh /* 1078e3e3a7aSWarner Losh ** assertion for checking API calls 1088e3e3a7aSWarner Losh */ 1098e3e3a7aSWarner Losh #if !defined(luai_apicheck) 110*0495ed39SKyle Evans #define luai_apicheck(l,e) ((void)l, lua_assert(e)) 1118e3e3a7aSWarner Losh #endif 1128e3e3a7aSWarner Losh 1138e3e3a7aSWarner Losh #define api_check(l,e,msg) luai_apicheck(l,(e) && msg) 1148e3e3a7aSWarner Losh 1158e3e3a7aSWarner Losh 1168e3e3a7aSWarner Losh /* macro to avoid warnings about unused variables */ 1178e3e3a7aSWarner Losh #if !defined(UNUSED) 1188e3e3a7aSWarner Losh #define UNUSED(x) ((void)(x)) 1198e3e3a7aSWarner Losh #endif 1208e3e3a7aSWarner Losh 1218e3e3a7aSWarner Losh 1228e3e3a7aSWarner Losh /* type casts (a macro highlights casts in the code) */ 1238e3e3a7aSWarner Losh #define cast(t, exp) ((t)(exp)) 1248e3e3a7aSWarner Losh 1258e3e3a7aSWarner Losh #define cast_void(i) cast(void, (i)) 126*0495ed39SKyle Evans #define cast_voidp(i) cast(void *, (i)) 1278e3e3a7aSWarner Losh #define cast_num(i) cast(lua_Number, (i)) 1288e3e3a7aSWarner Losh #define cast_int(i) cast(int, (i)) 129*0495ed39SKyle Evans #define cast_uint(i) cast(unsigned int, (i)) 130*0495ed39SKyle Evans #define cast_byte(i) cast(lu_byte, (i)) 1318e3e3a7aSWarner Losh #define cast_uchar(i) cast(unsigned char, (i)) 132*0495ed39SKyle Evans #define cast_char(i) cast(char, (i)) 133*0495ed39SKyle Evans #define cast_charp(i) cast(char *, (i)) 134*0495ed39SKyle Evans #define cast_sizet(i) cast(size_t, (i)) 1358e3e3a7aSWarner Losh 1368e3e3a7aSWarner Losh 1378e3e3a7aSWarner Losh /* cast a signed lua_Integer to lua_Unsigned */ 1388e3e3a7aSWarner Losh #if !defined(l_castS2U) 1398e3e3a7aSWarner Losh #define l_castS2U(i) ((lua_Unsigned)(i)) 1408e3e3a7aSWarner Losh #endif 1418e3e3a7aSWarner Losh 1428e3e3a7aSWarner Losh /* 1438e3e3a7aSWarner Losh ** cast a lua_Unsigned to a signed lua_Integer; this cast is 1448e3e3a7aSWarner Losh ** not strict ISO C, but two-complement architectures should 1458e3e3a7aSWarner Losh ** work fine. 1468e3e3a7aSWarner Losh */ 1478e3e3a7aSWarner Losh #if !defined(l_castU2S) 1488e3e3a7aSWarner Losh #define l_castU2S(i) ((lua_Integer)(i)) 1498e3e3a7aSWarner Losh #endif 1508e3e3a7aSWarner Losh 1518e3e3a7aSWarner Losh 1528e3e3a7aSWarner Losh /* 153*0495ed39SKyle Evans ** macros to improve jump prediction (used mainly for error handling) 154*0495ed39SKyle Evans */ 155*0495ed39SKyle Evans #if !defined(likely) 156*0495ed39SKyle Evans 157*0495ed39SKyle Evans #if defined(__GNUC__) 158*0495ed39SKyle Evans #define likely(x) (__builtin_expect(((x) != 0), 1)) 159*0495ed39SKyle Evans #define unlikely(x) (__builtin_expect(((x) != 0), 0)) 160*0495ed39SKyle Evans #else 161*0495ed39SKyle Evans #define likely(x) (x) 162*0495ed39SKyle Evans #define unlikely(x) (x) 163*0495ed39SKyle Evans #endif 164*0495ed39SKyle Evans 165*0495ed39SKyle Evans #endif 166*0495ed39SKyle Evans 167*0495ed39SKyle Evans 168*0495ed39SKyle Evans /* 1698e3e3a7aSWarner Losh ** non-return type 1708e3e3a7aSWarner Losh */ 171*0495ed39SKyle Evans #if !defined(l_noret) 172*0495ed39SKyle Evans 1738e3e3a7aSWarner Losh #if defined(__GNUC__) 1748e3e3a7aSWarner Losh #define l_noret void __attribute__((noreturn)) 1758e3e3a7aSWarner Losh #elif defined(_MSC_VER) && _MSC_VER >= 1200 1768e3e3a7aSWarner Losh #define l_noret void __declspec(noreturn) 1778e3e3a7aSWarner Losh #else 1788e3e3a7aSWarner Losh #define l_noret void 1798e3e3a7aSWarner Losh #endif 1808e3e3a7aSWarner Losh 1818e3e3a7aSWarner Losh #endif 1828e3e3a7aSWarner Losh 1838e3e3a7aSWarner Losh 1848e3e3a7aSWarner Losh /* 1858e3e3a7aSWarner Losh ** type for virtual-machine instructions; 1868e3e3a7aSWarner Losh ** must be an unsigned with (at least) 4 bytes (see details in lopcodes.h) 1878e3e3a7aSWarner Losh */ 188*0495ed39SKyle Evans #if LUAI_IS32INT 189*0495ed39SKyle Evans typedef unsigned int l_uint32; 1908e3e3a7aSWarner Losh #else 191*0495ed39SKyle Evans typedef unsigned long l_uint32; 1928e3e3a7aSWarner Losh #endif 1938e3e3a7aSWarner Losh 194*0495ed39SKyle Evans typedef l_uint32 Instruction; 195*0495ed39SKyle Evans 1968e3e3a7aSWarner Losh 1978e3e3a7aSWarner Losh 1988e3e3a7aSWarner Losh /* 1998e3e3a7aSWarner Losh ** Maximum length for short strings, that is, strings that are 2008e3e3a7aSWarner Losh ** internalized. (Cannot be smaller than reserved words or tags for 2018e3e3a7aSWarner Losh ** metamethods, as these strings must be internalized; 2028e3e3a7aSWarner Losh ** #("function") = 8, #("__newindex") = 10.) 2038e3e3a7aSWarner Losh */ 2048e3e3a7aSWarner Losh #if !defined(LUAI_MAXSHORTLEN) 2058e3e3a7aSWarner Losh #define LUAI_MAXSHORTLEN 40 2068e3e3a7aSWarner Losh #endif 2078e3e3a7aSWarner Losh 2088e3e3a7aSWarner Losh 2098e3e3a7aSWarner Losh /* 2108e3e3a7aSWarner Losh ** Initial size for the string table (must be power of 2). 2118e3e3a7aSWarner Losh ** The Lua core alone registers ~50 strings (reserved words + 2128e3e3a7aSWarner Losh ** metaevent keys + a few others). Libraries would typically add 2138e3e3a7aSWarner Losh ** a few dozens more. 2148e3e3a7aSWarner Losh */ 2158e3e3a7aSWarner Losh #if !defined(MINSTRTABSIZE) 2168e3e3a7aSWarner Losh #define MINSTRTABSIZE 128 2178e3e3a7aSWarner Losh #endif 2188e3e3a7aSWarner Losh 2198e3e3a7aSWarner Losh 2208e3e3a7aSWarner Losh /* 2218e3e3a7aSWarner Losh ** Size of cache for strings in the API. 'N' is the number of 2228e3e3a7aSWarner Losh ** sets (better be a prime) and "M" is the size of each set (M == 1 2238e3e3a7aSWarner Losh ** makes a direct cache.) 2248e3e3a7aSWarner Losh */ 2258e3e3a7aSWarner Losh #if !defined(STRCACHE_N) 2268e3e3a7aSWarner Losh #define STRCACHE_N 53 2278e3e3a7aSWarner Losh #define STRCACHE_M 2 2288e3e3a7aSWarner Losh #endif 2298e3e3a7aSWarner Losh 2308e3e3a7aSWarner Losh 2318e3e3a7aSWarner Losh /* minimum size for string buffer */ 2328e3e3a7aSWarner Losh #if !defined(LUA_MINBUFFER) 2338e3e3a7aSWarner Losh #define LUA_MINBUFFER 32 2348e3e3a7aSWarner Losh #endif 2358e3e3a7aSWarner Losh 2368e3e3a7aSWarner Losh 2378e3e3a7aSWarner Losh /* 238*0495ed39SKyle Evans ** Maximum depth for nested C calls, syntactical nested non-terminals, 239*0495ed39SKyle Evans ** and other features implemented through recursion in C. (Value must 240*0495ed39SKyle Evans ** fit in a 16-bit unsigned integer. It must also be compatible with 241*0495ed39SKyle Evans ** the size of the C stack.) 242*0495ed39SKyle Evans */ 243*0495ed39SKyle Evans #if !defined(LUAI_MAXCCALLS) 244*0495ed39SKyle Evans #define LUAI_MAXCCALLS 200 245*0495ed39SKyle Evans #endif 246*0495ed39SKyle Evans 247*0495ed39SKyle Evans 248*0495ed39SKyle Evans /* 2498e3e3a7aSWarner Losh ** macros that are executed whenever program enters the Lua core 2508e3e3a7aSWarner Losh ** ('lua_lock') and leaves the core ('lua_unlock') 2518e3e3a7aSWarner Losh */ 2528e3e3a7aSWarner Losh #if !defined(lua_lock) 2538e3e3a7aSWarner Losh #define lua_lock(L) ((void) 0) 2548e3e3a7aSWarner Losh #define lua_unlock(L) ((void) 0) 2558e3e3a7aSWarner Losh #endif 2568e3e3a7aSWarner Losh 2578e3e3a7aSWarner Losh /* 2588e3e3a7aSWarner Losh ** macro executed during Lua functions at points where the 2598e3e3a7aSWarner Losh ** function can yield. 2608e3e3a7aSWarner Losh */ 2618e3e3a7aSWarner Losh #if !defined(luai_threadyield) 2628e3e3a7aSWarner Losh #define luai_threadyield(L) {lua_unlock(L); lua_lock(L);} 2638e3e3a7aSWarner Losh #endif 2648e3e3a7aSWarner Losh 2658e3e3a7aSWarner Losh 2668e3e3a7aSWarner Losh /* 267*0495ed39SKyle Evans ** these macros allow user-specific actions when a thread is 2688e3e3a7aSWarner Losh ** created/deleted/resumed/yielded. 2698e3e3a7aSWarner Losh */ 2708e3e3a7aSWarner Losh #if !defined(luai_userstateopen) 2718e3e3a7aSWarner Losh #define luai_userstateopen(L) ((void)L) 2728e3e3a7aSWarner Losh #endif 2738e3e3a7aSWarner Losh 2748e3e3a7aSWarner Losh #if !defined(luai_userstateclose) 2758e3e3a7aSWarner Losh #define luai_userstateclose(L) ((void)L) 2768e3e3a7aSWarner Losh #endif 2778e3e3a7aSWarner Losh 2788e3e3a7aSWarner Losh #if !defined(luai_userstatethread) 2798e3e3a7aSWarner Losh #define luai_userstatethread(L,L1) ((void)L) 2808e3e3a7aSWarner Losh #endif 2818e3e3a7aSWarner Losh 2828e3e3a7aSWarner Losh #if !defined(luai_userstatefree) 2838e3e3a7aSWarner Losh #define luai_userstatefree(L,L1) ((void)L) 2848e3e3a7aSWarner Losh #endif 2858e3e3a7aSWarner Losh 2868e3e3a7aSWarner Losh #if !defined(luai_userstateresume) 2878e3e3a7aSWarner Losh #define luai_userstateresume(L,n) ((void)L) 2888e3e3a7aSWarner Losh #endif 2898e3e3a7aSWarner Losh 2908e3e3a7aSWarner Losh #if !defined(luai_userstateyield) 2918e3e3a7aSWarner Losh #define luai_userstateyield(L,n) ((void)L) 2928e3e3a7aSWarner Losh #endif 2938e3e3a7aSWarner Losh 2948e3e3a7aSWarner Losh 2958e3e3a7aSWarner Losh 2968e3e3a7aSWarner Losh /* 2978e3e3a7aSWarner Losh ** The luai_num* macros define the primitive operations over numbers. 2988e3e3a7aSWarner Losh */ 2998e3e3a7aSWarner Losh 3008e3e3a7aSWarner Losh /* floor division (defined as 'floor(a/b)') */ 3018e3e3a7aSWarner Losh #if !defined(luai_numidiv) 3028e3e3a7aSWarner Losh #define luai_numidiv(L,a,b) ((void)L, l_floor(luai_numdiv(L,a,b))) 3038e3e3a7aSWarner Losh #endif 3048e3e3a7aSWarner Losh 3058e3e3a7aSWarner Losh /* float division */ 3068e3e3a7aSWarner Losh #if !defined(luai_numdiv) 3078e3e3a7aSWarner Losh #define luai_numdiv(L,a,b) ((a)/(b)) 3088e3e3a7aSWarner Losh #endif 3098e3e3a7aSWarner Losh 3108e3e3a7aSWarner Losh /* 311*0495ed39SKyle Evans ** modulo: defined as 'a - floor(a/b)*b'; the direct computation 312*0495ed39SKyle Evans ** using this definition has several problems with rounding errors, 313*0495ed39SKyle Evans ** so it is better to use 'fmod'. 'fmod' gives the result of 314*0495ed39SKyle Evans ** 'a - trunc(a/b)*b', and therefore must be corrected when 315*0495ed39SKyle Evans ** 'trunc(a/b) ~= floor(a/b)'. That happens when the division has a 316*0495ed39SKyle Evans ** non-integer negative result: non-integer result is equivalent to 317*0495ed39SKyle Evans ** a non-zero remainder 'm'; negative result is equivalent to 'a' and 318*0495ed39SKyle Evans ** 'b' with different signs, or 'm' and 'b' with different signs 319*0495ed39SKyle Evans ** (as the result 'm' of 'fmod' has the same sign of 'a'). 3208e3e3a7aSWarner Losh */ 3218e3e3a7aSWarner Losh #if !defined(luai_nummod) 3228e3e3a7aSWarner Losh #define luai_nummod(L,a,b,m) \ 323*0495ed39SKyle Evans { (void)L; (m) = l_mathop(fmod)(a,b); \ 324*0495ed39SKyle Evans if (((m) > 0) ? (b) < 0 : ((m) < 0 && (b) > 0)) (m) += (b); } 3258e3e3a7aSWarner Losh #endif 3268e3e3a7aSWarner Losh 3278e3e3a7aSWarner Losh /* exponentiation */ 3288e3e3a7aSWarner Losh #if !defined(luai_numpow) 329*0495ed39SKyle Evans #define luai_numpow(L,a,b) \ 330*0495ed39SKyle Evans ((void)L, (b == 2) ? (a)*(a) : l_mathop(pow)(a,b)) 3318e3e3a7aSWarner Losh #endif 3328e3e3a7aSWarner Losh 3338e3e3a7aSWarner Losh /* the others are quite standard operations */ 3348e3e3a7aSWarner Losh #if !defined(luai_numadd) 3358e3e3a7aSWarner Losh #define luai_numadd(L,a,b) ((a)+(b)) 3368e3e3a7aSWarner Losh #define luai_numsub(L,a,b) ((a)-(b)) 3378e3e3a7aSWarner Losh #define luai_nummul(L,a,b) ((a)*(b)) 3388e3e3a7aSWarner Losh #define luai_numunm(L,a) (-(a)) 3398e3e3a7aSWarner Losh #define luai_numeq(a,b) ((a)==(b)) 3408e3e3a7aSWarner Losh #define luai_numlt(a,b) ((a)<(b)) 3418e3e3a7aSWarner Losh #define luai_numle(a,b) ((a)<=(b)) 342*0495ed39SKyle Evans #define luai_numgt(a,b) ((a)>(b)) 343*0495ed39SKyle Evans #define luai_numge(a,b) ((a)>=(b)) 3448e3e3a7aSWarner Losh #define luai_numisnan(a) (!luai_numeq((a), (a))) 3458e3e3a7aSWarner Losh #endif 3468e3e3a7aSWarner Losh 3478e3e3a7aSWarner Losh 3488e3e3a7aSWarner Losh 3498e3e3a7aSWarner Losh 3508e3e3a7aSWarner Losh 3518e3e3a7aSWarner Losh /* 3528e3e3a7aSWarner Losh ** macro to control inclusion of some hard tests on stack reallocation 3538e3e3a7aSWarner Losh */ 3548e3e3a7aSWarner Losh #if !defined(HARDSTACKTESTS) 3558e3e3a7aSWarner Losh #define condmovestack(L,pre,pos) ((void)0) 3568e3e3a7aSWarner Losh #else 3578e3e3a7aSWarner Losh /* realloc stack keeping its size */ 3588e3e3a7aSWarner Losh #define condmovestack(L,pre,pos) \ 359*0495ed39SKyle Evans { int sz_ = stacksize(L); pre; luaD_reallocstack((L), sz_, 0); pos; } 3608e3e3a7aSWarner Losh #endif 3618e3e3a7aSWarner Losh 3628e3e3a7aSWarner Losh #if !defined(HARDMEMTESTS) 3638e3e3a7aSWarner Losh #define condchangemem(L,pre,pos) ((void)0) 3648e3e3a7aSWarner Losh #else 3658e3e3a7aSWarner Losh #define condchangemem(L,pre,pos) \ 3668e3e3a7aSWarner Losh { if (G(L)->gcrunning) { pre; luaC_fullgc(L, 0); pos; } } 3678e3e3a7aSWarner Losh #endif 3688e3e3a7aSWarner Losh 3698e3e3a7aSWarner Losh #endif 370