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