llimits.h 9.6 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357
  1. /*
  2. ** $Id: llimits.h $
  3. ** Limits, basic types, and some other 'installation-dependent' definitions
  4. ** See Copyright Notice in lua.h
  5. */
  6. #ifndef llimits_h
  7. #define llimits_h
  8. #include <limits.h>
  9. #include <stddef.h>
  10. #include "lua.h"
  11. #define l_numbits(t) cast_int(sizeof(t) * CHAR_BIT)
  12. /*
  13. ** 'l_mem' is a signed integer big enough to count the total memory
  14. ** used by Lua. (It is signed due to the use of debt in several
  15. ** computations.) 'lu_mem' is a corresponding unsigned type. Usually,
  16. ** 'ptrdiff_t' should work, but we use 'long' for 16-bit machines.
  17. */
  18. #if defined(LUAI_MEM) /* { external definitions? */
  19. typedef LUAI_MEM l_mem;
  20. typedef LUAI_UMEM lu_mem;
  21. #elif LUAI_IS32INT /* }{ */
  22. typedef ptrdiff_t l_mem;
  23. typedef size_t lu_mem;
  24. #else /* 16-bit ints */ /* }{ */
  25. typedef long l_mem;
  26. typedef unsigned long lu_mem;
  27. #endif /* } */
  28. #define MAX_LMEM \
  29. cast(l_mem, (cast(lu_mem, 1) << (l_numbits(l_mem) - 1)) - 1)
  30. /* chars used as small naturals (so that 'char' is reserved for characters) */
  31. typedef unsigned char lu_byte;
  32. typedef signed char ls_byte;
  33. /* Type for thread status/error codes */
  34. typedef lu_byte TStatus;
  35. /* The C API still uses 'int' for status/error codes */
  36. #define APIstatus(st) cast_int(st)
  37. /* maximum value for size_t */
  38. #define MAX_SIZET ((size_t)(~(size_t)0))
  39. /*
  40. ** Maximum size for strings and userdata visible for Lua; should be
  41. ** representable as a lua_Integer and as a size_t.
  42. */
  43. #define MAX_SIZE (sizeof(size_t) < sizeof(lua_Integer) ? MAX_SIZET \
  44. : cast_sizet(LUA_MAXINTEGER))
  45. /*
  46. ** test whether an unsigned value is a power of 2 (or zero)
  47. */
  48. #define ispow2(x) (((x) & ((x) - 1)) == 0)
  49. /* number of chars of a literal string without the ending \0 */
  50. #define LL(x) (sizeof(x)/sizeof(char) - 1)
  51. /*
  52. ** conversion of pointer to unsigned integer: this is for hashing only;
  53. ** there is no problem if the integer cannot hold the whole pointer
  54. ** value. (In strict ISO C this may cause undefined behavior, but no
  55. ** actual machine seems to bother.)
  56. */
  57. #if !defined(LUA_USE_C89) && defined(__STDC_VERSION__) && \
  58. __STDC_VERSION__ >= 199901L
  59. #include <stdint.h>
  60. #if defined(UINTPTR_MAX) /* even in C99 this type is optional */
  61. #define L_P2I uintptr_t
  62. #else /* no 'intptr'? */
  63. #define L_P2I uintmax_t /* use the largest available integer */
  64. #endif
  65. #else /* C89 option */
  66. #define L_P2I size_t
  67. #endif
  68. #define point2uint(p) cast_uint((L_P2I)(p) & UINT_MAX)
  69. /* types of 'usual argument conversions' for lua_Number and lua_Integer */
  70. typedef LUAI_UACNUMBER l_uacNumber;
  71. typedef LUAI_UACINT l_uacInt;
  72. /*
  73. ** Internal assertions for in-house debugging
  74. */
  75. #if defined LUAI_ASSERT
  76. #undef NDEBUG
  77. #include <assert.h>
  78. #define lua_assert(c) assert(c)
  79. #define assert_code(c) c
  80. #endif
  81. #if defined(lua_assert)
  82. #else
  83. #define lua_assert(c) ((void)0)
  84. #define assert_code(c) ((void)0)
  85. #endif
  86. #define check_exp(c,e) (lua_assert(c), (e))
  87. /* to avoid problems with conditions too long */
  88. #define lua_longassert(c) assert_code((c) ? (void)0 : lua_assert(0))
  89. /* macro to avoid warnings about unused variables */
  90. #if !defined(UNUSED)
  91. #define UNUSED(x) ((void)(x))
  92. #endif
  93. /* type casts (a macro highlights casts in the code) */
  94. #define cast(t, exp) ((t)(exp))
  95. #define cast_void(i) cast(void, (i))
  96. #define cast_voidp(i) cast(void *, (i))
  97. #define cast_num(i) cast(lua_Number, (i))
  98. #define cast_int(i) cast(int, (i))
  99. #define cast_short(i) cast(short, (i))
  100. #define cast_uint(i) cast(unsigned int, (i))
  101. #define cast_byte(i) cast(lu_byte, (i))
  102. #define cast_uchar(i) cast(unsigned char, (i))
  103. #define cast_char(i) cast(char, (i))
  104. #define cast_charp(i) cast(char *, (i))
  105. #define cast_sizet(i) cast(size_t, (i))
  106. #define cast_Integer(i) cast(lua_Integer, (i))
  107. #define cast_Inst(i) cast(Instruction, (i))
  108. /* cast a signed lua_Integer to lua_Unsigned */
  109. #if !defined(l_castS2U)
  110. #define l_castS2U(i) ((lua_Unsigned)(i))
  111. #endif
  112. /*
  113. ** cast a lua_Unsigned to a signed lua_Integer; this cast is
  114. ** not strict ISO C, but two-complement architectures should
  115. ** work fine.
  116. */
  117. #if !defined(l_castU2S)
  118. #define l_castU2S(i) ((lua_Integer)(i))
  119. #endif
  120. /*
  121. ** cast a size_t to lua_Integer: These casts are always valid for
  122. ** sizes of Lua objects (see MAX_SIZE)
  123. */
  124. #define cast_st2S(sz) ((lua_Integer)(sz))
  125. /* Cast a ptrdiff_t to size_t, when it is known that the minuend
  126. ** comes from the subtrahend (the base)
  127. */
  128. #define ct_diff2sz(df) ((size_t)(df))
  129. /* ptrdiff_t to lua_Integer */
  130. #define ct_diff2S(df) cast_st2S(ct_diff2sz(df))
  131. /*
  132. ** Special type equivalent to '(void*)' for functions (to suppress some
  133. ** warnings when converting function pointers)
  134. */
  135. typedef void (*voidf)(void);
  136. /*
  137. ** Macro to convert pointer-to-void* to pointer-to-function. This cast
  138. ** is undefined according to ISO C, but POSIX assumes that it works.
  139. ** (The '__extension__' in gnu compilers is only to avoid warnings.)
  140. */
  141. #if defined(__GNUC__)
  142. #define cast_func(p) (__extension__ (voidf)(p))
  143. #else
  144. #define cast_func(p) ((voidf)(p))
  145. #endif
  146. /*
  147. ** non-return type
  148. */
  149. #if !defined(l_noret)
  150. #if defined(__GNUC__)
  151. #define l_noret void __attribute__((noreturn))
  152. #elif defined(_MSC_VER) && _MSC_VER >= 1200
  153. #define l_noret void __declspec(noreturn)
  154. #else
  155. #define l_noret void
  156. #endif
  157. #endif
  158. /*
  159. ** Inline functions
  160. */
  161. #if !defined(LUA_USE_C89)
  162. #define l_inline inline
  163. #elif defined(__GNUC__)
  164. #define l_inline __inline__
  165. #else
  166. #define l_inline /* empty */
  167. #endif
  168. #define l_sinline static l_inline
  169. /*
  170. ** An unsigned with (at least) 4 bytes
  171. */
  172. #if LUAI_IS32INT
  173. typedef unsigned int l_uint32;
  174. #else
  175. typedef unsigned long l_uint32;
  176. #endif
  177. /*
  178. ** The luai_num* macros define the primitive operations over numbers.
  179. */
  180. /* floor division (defined as 'floor(a/b)') */
  181. #if !defined(luai_numidiv)
  182. #define luai_numidiv(L,a,b) ((void)L, l_floor(luai_numdiv(L,a,b)))
  183. #endif
  184. /* float division */
  185. #if !defined(luai_numdiv)
  186. #define luai_numdiv(L,a,b) ((a)/(b))
  187. #endif
  188. /*
  189. ** modulo: defined as 'a - floor(a/b)*b'; the direct computation
  190. ** using this definition has several problems with rounding errors,
  191. ** so it is better to use 'fmod'. 'fmod' gives the result of
  192. ** 'a - trunc(a/b)*b', and therefore must be corrected when
  193. ** 'trunc(a/b) ~= floor(a/b)'. That happens when the division has a
  194. ** non-integer negative result: non-integer result is equivalent to
  195. ** a non-zero remainder 'm'; negative result is equivalent to 'a' and
  196. ** 'b' with different signs, or 'm' and 'b' with different signs
  197. ** (as the result 'm' of 'fmod' has the same sign of 'a').
  198. */
  199. #if !defined(luai_nummod)
  200. #define luai_nummod(L,a,b,m) \
  201. { (void)L; (m) = l_mathop(fmod)(a,b); \
  202. if (((m) > 0) ? (b) < 0 : ((m) < 0 && (b) > 0)) (m) += (b); }
  203. #endif
  204. /* exponentiation */
  205. #if !defined(luai_numpow)
  206. #define luai_numpow(L,a,b) \
  207. ((void)L, (b == 2) ? (a)*(a) : l_mathop(pow)(a,b))
  208. #endif
  209. /* the others are quite standard operations */
  210. #if !defined(luai_numadd)
  211. #define luai_numadd(L,a,b) ((a)+(b))
  212. #define luai_numsub(L,a,b) ((a)-(b))
  213. #define luai_nummul(L,a,b) ((a)*(b))
  214. #define luai_numunm(L,a) (-(a))
  215. #define luai_numeq(a,b) ((a)==(b))
  216. #define luai_numlt(a,b) ((a)<(b))
  217. #define luai_numle(a,b) ((a)<=(b))
  218. #define luai_numgt(a,b) ((a)>(b))
  219. #define luai_numge(a,b) ((a)>=(b))
  220. #define luai_numisnan(a) (!luai_numeq((a), (a)))
  221. #endif
  222. /*
  223. ** lua_numbertointeger converts a float number with an integral value
  224. ** to an integer, or returns 0 if the float is not within the range of
  225. ** a lua_Integer. (The range comparisons are tricky because of
  226. ** rounding. The tests here assume a two-complement representation,
  227. ** where MININTEGER always has an exact representation as a float;
  228. ** MAXINTEGER may not have one, and therefore its conversion to float
  229. ** may have an ill-defined value.)
  230. */
  231. #define lua_numbertointeger(n,p) \
  232. ((n) >= (LUA_NUMBER)(LUA_MININTEGER) && \
  233. (n) < -(LUA_NUMBER)(LUA_MININTEGER) && \
  234. (*(p) = (LUA_INTEGER)(n), 1))
  235. /*
  236. ** LUAI_FUNC is a mark for all extern functions that are not to be
  237. ** exported to outside modules.
  238. ** LUAI_DDEF and LUAI_DDEC are marks for all extern (const) variables,
  239. ** none of which to be exported to outside modules (LUAI_DDEF for
  240. ** definitions and LUAI_DDEC for declarations).
  241. ** Elf and MACH/gcc (versions 3.2 and later) mark them as "hidden" to
  242. ** optimize access when Lua is compiled as a shared library. Not all elf
  243. ** targets support this attribute. Unfortunately, gcc does not offer
  244. ** a way to check whether the target offers that support, and those
  245. ** without support give a warning about it. To avoid these warnings,
  246. ** change to the default definition.
  247. */
  248. #if !defined(LUAI_FUNC)
  249. #if defined(__GNUC__) && ((__GNUC__*100 + __GNUC_MINOR__) >= 302) && \
  250. (defined(__ELF__) || defined(__MACH__))
  251. #define LUAI_FUNC __attribute__((visibility("internal"))) extern
  252. #else
  253. #define LUAI_FUNC extern
  254. #endif
  255. #define LUAI_DDEC(dec) LUAI_FUNC dec
  256. #define LUAI_DDEF /* empty */
  257. #endif
  258. /* Give these macros simpler names for internal use */
  259. #define l_likely(x) luai_likely(x)
  260. #define l_unlikely(x) luai_unlikely(x)
  261. /*
  262. ** {==================================================================
  263. ** "Abstraction Layer" for basic report of messages and errors
  264. ** ===================================================================
  265. */
  266. /* print a string */
  267. #if !defined(lua_writestring)
  268. #define lua_writestring(s,l) fwrite((s), sizeof(char), (l), stdout)
  269. #endif
  270. /* print a newline and flush the output */
  271. #if !defined(lua_writeline)
  272. #define lua_writeline() (lua_writestring("\n", 1), fflush(stdout))
  273. #endif
  274. /* print an error message */
  275. #if !defined(lua_writestringerror)
  276. #define lua_writestringerror(s,p) \
  277. (fprintf(stderr, (s), (p)), fflush(stderr))
  278. #endif
  279. /* }================================================================== */
  280. #endif