lobject.c 14 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479
  1. /*
  2. ** $Id: lobject.c,v 2.103 2015/03/28 19:14:47 roberto Exp roberto $
  3. ** Some generic functions over Lua objects
  4. ** See Copyright Notice in lua.h
  5. */
  6. #define lobject_c
  7. #define LUA_CORE
  8. #include "lprefix.h"
  9. #include <locale.h>
  10. #include <math.h>
  11. #include <stdarg.h>
  12. #include <stdio.h>
  13. #include <stdlib.h>
  14. #include <string.h>
  15. #include "lua.h"
  16. #include "lctype.h"
  17. #include "ldebug.h"
  18. #include "ldo.h"
  19. #include "lmem.h"
  20. #include "lobject.h"
  21. #include "lstate.h"
  22. #include "lstring.h"
  23. #include "lvm.h"
  24. LUAI_DDEF const TValue luaO_nilobject_ = {NILCONSTANT};
  25. /*
  26. ** converts an integer to a "floating point byte", represented as
  27. ** (eeeeexxx), where the real value is (1xxx) * 2^(eeeee - 1) if
  28. ** eeeee != 0 and (xxx) otherwise.
  29. */
  30. int luaO_int2fb (unsigned int x) {
  31. int e = 0; /* exponent */
  32. if (x < 8) return x;
  33. while (x >= (8 << 4)) { /* coarse steps */
  34. x = (x + 0xf) >> 4; /* x = ceil(x / 16) */
  35. e += 4;
  36. }
  37. while (x >= (8 << 1)) { /* fine steps */
  38. x = (x + 1) >> 1; /* x = ceil(x / 2) */
  39. e++;
  40. }
  41. return ((e+1) << 3) | (cast_int(x) - 8);
  42. }
  43. /* converts back */
  44. int luaO_fb2int (int x) {
  45. int e = (x >> 3) & 0x1f;
  46. if (e == 0) return x;
  47. else return ((x & 7) + 8) << (e - 1);
  48. }
  49. /*
  50. ** Computes ceil(log2(x))
  51. */
  52. int luaO_ceillog2 (unsigned int x) {
  53. static const lu_byte log_2[256] = { /* log_2[i] = ceil(log2(i - 1)) */
  54. 0,1,2,2,3,3,3,3,4,4,4,4,4,4,4,4,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,
  55. 6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,
  56. 7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,
  57. 7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,
  58. 8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,
  59. 8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,
  60. 8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,
  61. 8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8
  62. };
  63. int l = 0;
  64. x--;
  65. while (x >= 256) { l += 8; x >>= 8; }
  66. return l + log_2[x];
  67. }
  68. static lua_Integer intarith (lua_State *L, int op, lua_Integer v1,
  69. lua_Integer v2) {
  70. switch (op) {
  71. case LUA_OPADD: return intop(+, v1, v2);
  72. case LUA_OPSUB:return intop(-, v1, v2);
  73. case LUA_OPMUL:return intop(*, v1, v2);
  74. case LUA_OPMOD: return luaV_mod(L, v1, v2);
  75. case LUA_OPIDIV: return luaV_div(L, v1, v2);
  76. case LUA_OPBAND: return intop(&, v1, v2);
  77. case LUA_OPBOR: return intop(|, v1, v2);
  78. case LUA_OPBXOR: return intop(^, v1, v2);
  79. case LUA_OPSHL: return luaV_shiftl(v1, v2);
  80. case LUA_OPSHR: return luaV_shiftl(v1, -v2);
  81. case LUA_OPUNM: return intop(-, 0, v1);
  82. case LUA_OPBNOT: return intop(^, ~l_castS2U(0), v1);
  83. default: lua_assert(0); return 0;
  84. }
  85. }
  86. static lua_Number numarith (lua_State *L, int op, lua_Number v1,
  87. lua_Number v2) {
  88. switch (op) {
  89. case LUA_OPADD: return luai_numadd(L, v1, v2);
  90. case LUA_OPSUB: return luai_numsub(L, v1, v2);
  91. case LUA_OPMUL: return luai_nummul(L, v1, v2);
  92. case LUA_OPDIV: return luai_numdiv(L, v1, v2);
  93. case LUA_OPPOW: return luai_numpow(L, v1, v2);
  94. case LUA_OPIDIV: return luai_numidiv(L, v1, v2);
  95. case LUA_OPUNM: return luai_numunm(L, v1);
  96. case LUA_OPMOD: {
  97. lua_Number m;
  98. luai_nummod(L, v1, v2, m);
  99. return m;
  100. }
  101. default: lua_assert(0); return 0;
  102. }
  103. }
  104. void luaO_arith (lua_State *L, int op, const TValue *p1, const TValue *p2,
  105. TValue *res) {
  106. switch (op) {
  107. case LUA_OPBAND: case LUA_OPBOR: case LUA_OPBXOR:
  108. case LUA_OPSHL: case LUA_OPSHR:
  109. case LUA_OPBNOT: { /* operate only on integers */
  110. lua_Integer i1; lua_Integer i2;
  111. if (tointeger(p1, &i1) && tointeger(p2, &i2)) {
  112. setivalue(res, intarith(L, op, i1, i2));
  113. return;
  114. }
  115. else break; /* go to the end */
  116. }
  117. case LUA_OPDIV: case LUA_OPPOW: { /* operate only on floats */
  118. lua_Number n1; lua_Number n2;
  119. if (tonumber(p1, &n1) && tonumber(p2, &n2)) {
  120. setfltvalue(res, numarith(L, op, n1, n2));
  121. return;
  122. }
  123. else break; /* go to the end */
  124. }
  125. default: { /* other operations */
  126. lua_Number n1; lua_Number n2;
  127. if (ttisinteger(p1) && ttisinteger(p2)) {
  128. setivalue(res, intarith(L, op, ivalue(p1), ivalue(p2)));
  129. return;
  130. }
  131. else if (tonumber(p1, &n1) && tonumber(p2, &n2)) {
  132. setfltvalue(res, numarith(L, op, n1, n2));
  133. return;
  134. }
  135. else break; /* go to the end */
  136. }
  137. }
  138. /* could not perform raw operation; try metamethod */
  139. lua_assert(L != NULL); /* should not fail when folding (compile time) */
  140. luaT_trybinTM(L, p1, p2, res, cast(TMS, (op - LUA_OPADD) + TM_ADD));
  141. }
  142. int luaO_hexavalue (int c) {
  143. if (lisdigit(c)) return c - '0';
  144. else return (ltolower(c) - 'a') + 10;
  145. }
  146. static int isneg (const char **s) {
  147. if (**s == '-') { (*s)++; return 1; }
  148. else if (**s == '+') (*s)++;
  149. return 0;
  150. }
  151. /*
  152. ** {==================================================================
  153. ** Lua's implementation for 'lua_strx2number'
  154. ** ===================================================================
  155. */
  156. #if !defined(lua_strx2number)
  157. /* maximum number of significant digits to read (to avoid overflows
  158. even with single floats) */
  159. #define MAXSIGDIG 30
  160. /*
  161. ** convert an hexadecimal numeric string to a number, following
  162. ** C99 specification for 'strtod'
  163. */
  164. static lua_Number lua_strx2number (const char *s, char **endptr) {
  165. int dot = lua_getlocaledecpoint();
  166. lua_Number r = 0.0; /* result (accumulator) */
  167. int sigdig = 0; /* number of significant digits */
  168. int nosigdig = 0; /* number of non-significant digits */
  169. int e = 0; /* exponent correction */
  170. int neg; /* 1 if number is negative */
  171. int hasdot = 0; /* true after seen a dot */
  172. *endptr = cast(char *, s); /* nothing is valid yet */
  173. while (lisspace(cast_uchar(*s))) s++; /* skip initial spaces */
  174. neg = isneg(&s); /* check signal */
  175. if (!(*s == '0' && (*(s + 1) == 'x' || *(s + 1) == 'X'))) /* check '0x' */
  176. return 0.0; /* invalid format (no '0x') */
  177. for (s += 2; ; s++) { /* skip '0x' and read numeral */
  178. if (*s == dot) {
  179. if (hasdot) break; /* second dot? stop loop */
  180. else hasdot = 1;
  181. }
  182. else if (lisxdigit(cast_uchar(*s))) {
  183. if (sigdig == 0 && *s == '0') /* non-significant digit (zero)? */
  184. nosigdig++;
  185. else if (++sigdig <= MAXSIGDIG) /* can read it without overflow? */
  186. r = (r * cast_num(16.0)) + luaO_hexavalue(*s);
  187. else e++; /* too many digits; ignore, but still count for exponent */
  188. if (hasdot) e--; /* decimal digit? correct exponent */
  189. }
  190. else break; /* neither a dot nor a digit */
  191. }
  192. if (nosigdig + sigdig == 0) /* no digits? */
  193. return 0.0; /* invalid format */
  194. *endptr = cast(char *, s); /* valid up to here */
  195. e *= 4; /* each digit multiplies/divides value by 2^4 */
  196. if (*s == 'p' || *s == 'P') { /* exponent part? */
  197. int exp1 = 0; /* exponent value */
  198. int neg1; /* exponent signal */
  199. s++; /* skip 'p' */
  200. neg1 = isneg(&s); /* signal */
  201. if (!lisdigit(cast_uchar(*s)))
  202. return 0.0; /* invalid; must have at least one digit */
  203. while (lisdigit(cast_uchar(*s))) /* read exponent */
  204. exp1 = exp1 * 10 + *(s++) - '0';
  205. if (neg1) exp1 = -exp1;
  206. e += exp1;
  207. *endptr = cast(char *, s); /* valid up to here */
  208. }
  209. if (neg) r = -r;
  210. return l_mathop(ldexp)(r, e);
  211. }
  212. #endif
  213. /* }====================================================== */
  214. static const char *l_str2d (const char *s, lua_Number *result) {
  215. char *endptr;
  216. if (strpbrk(s, "nN")) /* reject 'inf' and 'nan' */
  217. return NULL;
  218. else if (strpbrk(s, "xX")) /* hex? */
  219. *result = lua_strx2number(s, &endptr);
  220. else
  221. *result = lua_str2number(s, &endptr);
  222. if (endptr == s) return NULL; /* nothing recognized */
  223. while (lisspace(cast_uchar(*endptr))) endptr++;
  224. return (*endptr == '\0' ? endptr : NULL); /* OK if no trailing characters */
  225. }
  226. static const char *l_str2int (const char *s, lua_Integer *result) {
  227. lua_Unsigned a = 0;
  228. int empty = 1;
  229. int neg;
  230. while (lisspace(cast_uchar(*s))) s++; /* skip initial spaces */
  231. neg = isneg(&s);
  232. if (s[0] == '0' &&
  233. (s[1] == 'x' || s[1] == 'X')) { /* hex? */
  234. s += 2; /* skip '0x' */
  235. for (; lisxdigit(cast_uchar(*s)); s++) {
  236. a = a * 16 + luaO_hexavalue(*s);
  237. empty = 0;
  238. }
  239. }
  240. else { /* decimal */
  241. for (; lisdigit(cast_uchar(*s)); s++) {
  242. a = a * 10 + *s - '0';
  243. empty = 0;
  244. }
  245. }
  246. while (lisspace(cast_uchar(*s))) s++; /* skip trailing spaces */
  247. if (empty || *s != '\0') return NULL; /* something wrong in the numeral */
  248. else {
  249. *result = l_castU2S((neg) ? 0u - a : a);
  250. return s;
  251. }
  252. }
  253. size_t luaO_str2num (const char *s, TValue *o) {
  254. lua_Integer i; lua_Number n;
  255. const char *e;
  256. if ((e = l_str2int(s, &i)) != NULL) { /* try as an integer */
  257. setivalue(o, i);
  258. }
  259. else if ((e = l_str2d(s, &n)) != NULL) { /* else try as a float */
  260. setfltvalue(o, n);
  261. }
  262. else
  263. return 0; /* conversion failed */
  264. return (e - s) + 1; /* success; return string size */
  265. }
  266. int luaO_utf8esc (char *buff, unsigned long x) {
  267. int n = 1; /* number of bytes put in buffer (backwards) */
  268. lua_assert(x <= 0x10FFFF);
  269. if (x < 0x80) /* ascii? */
  270. buff[UTF8BUFFSZ - 1] = cast(char, x);
  271. else { /* need continuation bytes */
  272. unsigned int mfb = 0x3f; /* maximum that fits in first byte */
  273. do { /* add continuation bytes */
  274. buff[UTF8BUFFSZ - (n++)] = cast(char, 0x80 | (x & 0x3f));
  275. x >>= 6; /* remove added bits */
  276. mfb >>= 1; /* now there is one less bit available in first byte */
  277. } while (x > mfb); /* still needs continuation byte? */
  278. buff[UTF8BUFFSZ - n] = cast(char, (~mfb << 1) | x); /* add first byte */
  279. }
  280. return n;
  281. }
  282. /* maximum length of the conversion of a number to a string */
  283. #define MAXNUMBER2STR 50
  284. /*
  285. ** Convert a number object to a string
  286. */
  287. void luaO_tostring (lua_State *L, StkId obj) {
  288. char buff[MAXNUMBER2STR];
  289. size_t len;
  290. lua_assert(ttisnumber(obj));
  291. if (ttisinteger(obj))
  292. len = lua_integer2str(buff, ivalue(obj));
  293. else {
  294. len = lua_number2str(buff, fltvalue(obj));
  295. #if !defined(LUA_COMPAT_FLOATSTRING)
  296. if (buff[strspn(buff, "-0123456789")] == '\0') { /* looks like an int? */
  297. buff[len++] = lua_getlocaledecpoint();
  298. buff[len++] = '0'; /* adds '.0' to result */
  299. }
  300. #endif
  301. }
  302. setsvalue2s(L, obj, luaS_newlstr(L, buff, len));
  303. }
  304. static void pushstr (lua_State *L, const char *str, size_t l) {
  305. setsvalue2s(L, L->top++, luaS_newlstr(L, str, l));
  306. }
  307. /* this function handles only '%d', '%c', '%f', '%p', and '%s'
  308. conventional formats, plus Lua-specific '%I' and '%U' */
  309. const char *luaO_pushvfstring (lua_State *L, const char *fmt, va_list argp) {
  310. int n = 0;
  311. for (;;) {
  312. const char *e = strchr(fmt, '%');
  313. if (e == NULL) break;
  314. luaD_checkstack(L, 2); /* fmt + item */
  315. pushstr(L, fmt, e - fmt);
  316. switch (*(e+1)) {
  317. case 's': {
  318. const char *s = va_arg(argp, char *);
  319. if (s == NULL) s = "(null)";
  320. pushstr(L, s, strlen(s));
  321. break;
  322. }
  323. case 'c': {
  324. char buff = cast(char, va_arg(argp, int));
  325. if (lisprint(cast_uchar(buff)))
  326. pushstr(L, &buff, 1);
  327. else /* non-printable character; print its code */
  328. luaO_pushfstring(L, "<\\%d>", cast_uchar(buff));
  329. break;
  330. }
  331. case 'd': {
  332. setivalue(L->top++, va_arg(argp, int));
  333. luaO_tostring(L, L->top - 1);
  334. break;
  335. }
  336. case 'I': {
  337. setivalue(L->top++, cast(lua_Integer, va_arg(argp, l_uacInt)));
  338. luaO_tostring(L, L->top - 1);
  339. break;
  340. }
  341. case 'f': {
  342. setfltvalue(L->top++, cast_num(va_arg(argp, l_uacNumber)));
  343. luaO_tostring(L, L->top - 1);
  344. break;
  345. }
  346. case 'p': {
  347. char buff[4*sizeof(void *) + 8]; /* should be enough space for a '%p' */
  348. int l = sprintf(buff, "%p", va_arg(argp, void *));
  349. pushstr(L, buff, l);
  350. break;
  351. }
  352. case 'U': {
  353. char buff[UTF8BUFFSZ];
  354. int l = luaO_utf8esc(buff, cast(long, va_arg(argp, long)));
  355. pushstr(L, buff + UTF8BUFFSZ - l, l);
  356. break;
  357. }
  358. case '%': {
  359. pushstr(L, "%", 1);
  360. break;
  361. }
  362. default: {
  363. luaG_runerror(L, "invalid option '%%%c' to 'lua_pushfstring'",
  364. *(e + 1));
  365. }
  366. }
  367. n += 2;
  368. fmt = e+2;
  369. }
  370. luaD_checkstack(L, 1);
  371. pushstr(L, fmt, strlen(fmt));
  372. if (n > 0) luaV_concat(L, n + 1);
  373. return svalue(L->top - 1);
  374. }
  375. const char *luaO_pushfstring (lua_State *L, const char *fmt, ...) {
  376. const char *msg;
  377. va_list argp;
  378. va_start(argp, fmt);
  379. msg = luaO_pushvfstring(L, fmt, argp);
  380. va_end(argp);
  381. return msg;
  382. }
  383. /* number of chars of a literal string without the ending \0 */
  384. #define LL(x) (sizeof(x)/sizeof(char) - 1)
  385. #define RETS "..."
  386. #define PRE "[string \""
  387. #define POS "\"]"
  388. #define addstr(a,b,l) ( memcpy(a,b,(l) * sizeof(char)), a += (l) )
  389. void luaO_chunkid (char *out, const char *source, size_t bufflen) {
  390. size_t l = strlen(source);
  391. if (*source == '=') { /* 'literal' source */
  392. if (l <= bufflen) /* small enough? */
  393. memcpy(out, source + 1, l * sizeof(char));
  394. else { /* truncate it */
  395. addstr(out, source + 1, bufflen - 1);
  396. *out = '\0';
  397. }
  398. }
  399. else if (*source == '@') { /* file name */
  400. if (l <= bufflen) /* small enough? */
  401. memcpy(out, source + 1, l * sizeof(char));
  402. else { /* add '...' before rest of name */
  403. addstr(out, RETS, LL(RETS));
  404. bufflen -= LL(RETS);
  405. memcpy(out, source + 1 + l - bufflen, bufflen * sizeof(char));
  406. }
  407. }
  408. else { /* string; format as [string "source"] */
  409. const char *nl = strchr(source, '\n'); /* find first new line (if any) */
  410. addstr(out, PRE, LL(PRE)); /* add prefix */
  411. bufflen -= LL(PRE RETS POS) + 1; /* save space for prefix+suffix+'\0' */
  412. if (l < bufflen && nl == NULL) { /* small one-line source? */
  413. addstr(out, source, l); /* keep it */
  414. }
  415. else {
  416. if (nl != NULL) l = nl - source; /* stop at first newline */
  417. if (l > bufflen) l = bufflen;
  418. addstr(out, source, l);
  419. addstr(out, RETS, LL(RETS));
  420. }
  421. memcpy(out, POS, (LL(POS) + 1) * sizeof(char));
  422. }
  423. }