ba8b5c17 |
1 | /* |
2 | ** $Id: llimits.h,v 1.103 2013/02/20 14:08:56 roberto Exp $ |
3 | ** Limits, basic types, and some other `installation-dependent' definitions |
4 | ** See Copyright Notice in lua.h |
5 | */ |
6 | |
7 | #ifndef llimits_h |
8 | #define llimits_h |
9 | |
10 | |
11 | #include <limits.h> |
12 | #include <stddef.h> |
13 | |
14 | |
15 | #include "lua.h" |
16 | |
17 | |
18 | typedef unsigned LUA_INT32 lu_int32; |
19 | |
20 | typedef LUAI_UMEM lu_mem; |
21 | |
22 | typedef LUAI_MEM l_mem; |
23 | |
24 | |
25 | |
26 | /* chars used as small naturals (so that `char' is reserved for characters) */ |
27 | typedef unsigned char lu_byte; |
28 | |
29 | |
30 | #define MAX_SIZET ((size_t)(~(size_t)0)-2) |
31 | |
32 | #define MAX_LUMEM ((lu_mem)(~(lu_mem)0)-2) |
33 | |
34 | #define MAX_LMEM ((l_mem) ((MAX_LUMEM >> 1) - 2)) |
35 | |
36 | |
37 | #define MAX_INT (INT_MAX-2) /* maximum value of an int (-2 for safety) */ |
38 | |
39 | /* |
40 | ** conversion of pointer to integer |
41 | ** this is for hashing only; there is no problem if the integer |
42 | ** cannot hold the whole pointer value |
43 | */ |
44 | #define IntPoint(p) ((unsigned int)(lu_mem)(p)) |
45 | |
46 | |
47 | |
48 | /* type to ensure maximum alignment */ |
49 | #if !defined(LUAI_USER_ALIGNMENT_T) |
50 | #define LUAI_USER_ALIGNMENT_T union { double u; void *s; long l; } |
51 | #endif |
52 | |
53 | typedef LUAI_USER_ALIGNMENT_T L_Umaxalign; |
54 | |
55 | |
56 | /* result of a `usual argument conversion' over lua_Number */ |
57 | typedef LUAI_UACNUMBER l_uacNumber; |
58 | |
59 | |
60 | /* internal assertions for in-house debugging */ |
61 | #if defined(lua_assert) |
62 | #define check_exp(c,e) (lua_assert(c), (e)) |
63 | /* to avoid problems with conditions too long */ |
64 | #define lua_longassert(c) { if (!(c)) lua_assert(0); } |
65 | #else |
66 | #define lua_assert(c) ((void)0) |
67 | #define check_exp(c,e) (e) |
68 | #define lua_longassert(c) ((void)0) |
69 | #endif |
70 | |
71 | /* |
72 | ** assertion for checking API calls |
73 | */ |
74 | #if !defined(luai_apicheck) |
75 | |
76 | #if defined(LUA_USE_APICHECK) |
77 | #include <assert.h> |
78 | #define luai_apicheck(L,e) assert(e) |
79 | #else |
80 | #define luai_apicheck(L,e) lua_assert(e) |
81 | #endif |
82 | |
83 | #endif |
84 | |
85 | #define api_check(l,e,msg) luai_apicheck(l,(e) && msg) |
86 | |
87 | |
88 | #if !defined(UNUSED) |
89 | #define UNUSED(x) ((void)(x)) /* to avoid warnings */ |
90 | #endif |
91 | |
92 | |
93 | #define cast(t, exp) ((t)(exp)) |
94 | |
95 | #define cast_byte(i) cast(lu_byte, (i)) |
96 | #define cast_num(i) cast(lua_Number, (i)) |
97 | #define cast_int(i) cast(int, (i)) |
98 | #define cast_uchar(i) cast(unsigned char, (i)) |
99 | |
100 | |
101 | /* |
102 | ** non-return type |
103 | */ |
104 | #if defined(__GNUC__) |
105 | #define l_noret void __attribute__((noreturn)) |
106 | #elif defined(_MSC_VER) |
107 | #define l_noret void __declspec(noreturn) |
108 | #else |
109 | #define l_noret void |
110 | #endif |
111 | |
112 | |
113 | |
114 | /* |
115 | ** maximum depth for nested C calls and syntactical nested non-terminals |
116 | ** in a program. (Value must fit in an unsigned short int.) |
117 | */ |
118 | #if !defined(LUAI_MAXCCALLS) |
119 | #define LUAI_MAXCCALLS 200 |
120 | #endif |
121 | |
122 | /* |
123 | ** maximum number of upvalues in a closure (both C and Lua). (Value |
124 | ** must fit in an unsigned char.) |
125 | */ |
126 | #define MAXUPVAL UCHAR_MAX |
127 | |
128 | |
129 | /* |
130 | ** type for virtual-machine instructions |
131 | ** must be an unsigned with (at least) 4 bytes (see details in lopcodes.h) |
132 | */ |
133 | typedef lu_int32 Instruction; |
134 | |
135 | |
136 | |
137 | /* maximum stack for a Lua function */ |
138 | #define MAXSTACK 250 |
139 | |
140 | |
141 | |
142 | /* minimum size for the string table (must be power of 2) */ |
143 | #if !defined(MINSTRTABSIZE) |
144 | #define MINSTRTABSIZE 32 |
145 | #endif |
146 | |
147 | |
148 | /* minimum size for string buffer */ |
149 | #if !defined(LUA_MINBUFFER) |
150 | #define LUA_MINBUFFER 32 |
151 | #endif |
152 | |
153 | |
154 | #if !defined(lua_lock) |
155 | #define lua_lock(L) ((void) 0) |
156 | #define lua_unlock(L) ((void) 0) |
157 | #endif |
158 | |
159 | #if !defined(luai_threadyield) |
160 | #define luai_threadyield(L) {lua_unlock(L); lua_lock(L);} |
161 | #endif |
162 | |
163 | |
164 | /* |
165 | ** these macros allow user-specific actions on threads when you defined |
166 | ** LUAI_EXTRASPACE and need to do something extra when a thread is |
167 | ** created/deleted/resumed/yielded. |
168 | */ |
169 | #if !defined(luai_userstateopen) |
170 | #define luai_userstateopen(L) ((void)L) |
171 | #endif |
172 | |
173 | #if !defined(luai_userstateclose) |
174 | #define luai_userstateclose(L) ((void)L) |
175 | #endif |
176 | |
177 | #if !defined(luai_userstatethread) |
178 | #define luai_userstatethread(L,L1) ((void)L) |
179 | #endif |
180 | |
181 | #if !defined(luai_userstatefree) |
182 | #define luai_userstatefree(L,L1) ((void)L) |
183 | #endif |
184 | |
185 | #if !defined(luai_userstateresume) |
186 | #define luai_userstateresume(L,n) ((void)L) |
187 | #endif |
188 | |
189 | #if !defined(luai_userstateyield) |
190 | #define luai_userstateyield(L,n) ((void)L) |
191 | #endif |
192 | |
193 | /* |
194 | ** lua_number2int is a macro to convert lua_Number to int. |
195 | ** lua_number2integer is a macro to convert lua_Number to lua_Integer. |
196 | ** lua_number2unsigned is a macro to convert a lua_Number to a lua_Unsigned. |
197 | ** lua_unsigned2number is a macro to convert a lua_Unsigned to a lua_Number. |
198 | ** luai_hashnum is a macro to hash a lua_Number value into an integer. |
199 | ** The hash must be deterministic and give reasonable values for |
200 | ** both small and large values (outside the range of integers). |
201 | */ |
202 | |
203 | #if defined(MS_ASMTRICK) || defined(LUA_MSASMTRICK) /* { */ |
204 | /* trick with Microsoft assembler for X86 */ |
205 | |
206 | #define lua_number2int(i,n) __asm {__asm fld n __asm fistp i} |
207 | #define lua_number2integer(i,n) lua_number2int(i, n) |
208 | #define lua_number2unsigned(i,n) \ |
209 | {__int64 l; __asm {__asm fld n __asm fistp l} i = (unsigned int)l;} |
210 | |
211 | |
212 | #elif defined(LUA_IEEE754TRICK) /* }{ */ |
213 | /* the next trick should work on any machine using IEEE754 with |
214 | a 32-bit int type */ |
215 | |
216 | union luai_Cast { double l_d; LUA_INT32 l_p[2]; }; |
217 | |
218 | #if !defined(LUA_IEEEENDIAN) /* { */ |
219 | #define LUAI_EXTRAIEEE \ |
220 | static const union luai_Cast ieeeendian = {-(33.0 + 6755399441055744.0)}; |
221 | #define LUA_IEEEENDIANLOC (ieeeendian.l_p[1] == 33) |
222 | #else |
223 | #define LUA_IEEEENDIANLOC LUA_IEEEENDIAN |
224 | #define LUAI_EXTRAIEEE /* empty */ |
225 | #endif /* } */ |
226 | |
227 | #define lua_number2int32(i,n,t) \ |
228 | { LUAI_EXTRAIEEE \ |
229 | volatile union luai_Cast u; u.l_d = (n) + 6755399441055744.0; \ |
230 | (i) = (t)u.l_p[LUA_IEEEENDIANLOC]; } |
231 | |
232 | #define luai_hashnum(i,n) \ |
233 | { volatile union luai_Cast u; u.l_d = (n) + 1.0; /* avoid -0 */ \ |
234 | (i) = u.l_p[0]; (i) += u.l_p[1]; } /* add double bits for his hash */ |
235 | |
236 | #define lua_number2int(i,n) lua_number2int32(i, n, int) |
237 | #define lua_number2unsigned(i,n) lua_number2int32(i, n, lua_Unsigned) |
238 | |
239 | /* the trick can be expanded to lua_Integer when it is a 32-bit value */ |
240 | #if defined(LUA_IEEELL) |
241 | #define lua_number2integer(i,n) lua_number2int32(i, n, lua_Integer) |
242 | #endif |
243 | |
244 | #endif /* } */ |
245 | |
246 | |
247 | /* the following definitions always work, but may be slow */ |
248 | |
249 | #if !defined(lua_number2int) |
250 | #define lua_number2int(i,n) ((i)=(int)(n)) |
251 | #endif |
252 | |
253 | #if !defined(lua_number2integer) |
254 | #define lua_number2integer(i,n) ((i)=(lua_Integer)(n)) |
255 | #endif |
256 | |
257 | #if !defined(lua_number2unsigned) /* { */ |
258 | /* the following definition assures proper modulo behavior */ |
259 | #if defined(LUA_NUMBER_DOUBLE) || defined(LUA_NUMBER_FLOAT) |
260 | #include <math.h> |
261 | #define SUPUNSIGNED ((lua_Number)(~(lua_Unsigned)0) + 1) |
262 | #define lua_number2unsigned(i,n) \ |
263 | ((i)=(lua_Unsigned)((n) - floor((n)/SUPUNSIGNED)*SUPUNSIGNED)) |
264 | #else |
265 | #define lua_number2unsigned(i,n) ((i)=(lua_Unsigned)(n)) |
266 | #endif |
267 | #endif /* } */ |
268 | |
269 | |
270 | #if !defined(lua_unsigned2number) |
271 | /* on several machines, coercion from unsigned to double is slow, |
272 | so it may be worth to avoid */ |
273 | #define lua_unsigned2number(u) \ |
274 | (((u) <= (lua_Unsigned)INT_MAX) ? (lua_Number)(int)(u) : (lua_Number)(u)) |
275 | #endif |
276 | |
277 | |
278 | |
279 | #if defined(ltable_c) && !defined(luai_hashnum) |
280 | |
281 | #include <float.h> |
282 | #include <math.h> |
283 | |
284 | #define luai_hashnum(i,n) { int e; \ |
285 | n = l_mathop(frexp)(n, &e) * (lua_Number)(INT_MAX - DBL_MAX_EXP); \ |
286 | lua_number2int(i, n); i += e; } |
287 | |
288 | #endif |
289 | |
290 | |
291 | |
292 | /* |
293 | ** macro to control inclusion of some hard tests on stack reallocation |
294 | */ |
295 | #if !defined(HARDSTACKTESTS) |
296 | #define condmovestack(L) ((void)0) |
297 | #else |
298 | /* realloc stack keeping its size */ |
299 | #define condmovestack(L) luaD_reallocstack((L), (L)->stacksize) |
300 | #endif |
301 | |
302 | #if !defined(HARDMEMTESTS) |
303 | #define condchangemem(L) condmovestack(L) |
304 | #else |
305 | #define condchangemem(L) \ |
306 | ((void)(!(G(L)->gcrunning) || (luaC_fullgc(L, 0), 1))) |
307 | #endif |
308 | |
309 | #endif |