18e3e3a7aSWarner Losh /* 2*0495ed39SKyle Evans ** $Id: lobject.c $ 38e3e3a7aSWarner Losh ** Some generic functions over Lua objects 48e3e3a7aSWarner Losh ** See Copyright Notice in lua.h 58e3e3a7aSWarner Losh */ 68e3e3a7aSWarner Losh 78e3e3a7aSWarner Losh #define lobject_c 88e3e3a7aSWarner Losh #define LUA_CORE 98e3e3a7aSWarner Losh 108e3e3a7aSWarner Losh #include "lprefix.h" 118e3e3a7aSWarner Losh 128e3e3a7aSWarner Losh 138e3e3a7aSWarner Losh #include <locale.h> 148e3e3a7aSWarner Losh #include <math.h> 158e3e3a7aSWarner Losh #include <stdarg.h> 168e3e3a7aSWarner Losh #include <stdio.h> 178e3e3a7aSWarner Losh #include <stdlib.h> 188e3e3a7aSWarner Losh #include <string.h> 198e3e3a7aSWarner Losh 208e3e3a7aSWarner Losh #include "lua.h" 218e3e3a7aSWarner Losh 228e3e3a7aSWarner Losh #include "lctype.h" 238e3e3a7aSWarner Losh #include "ldebug.h" 248e3e3a7aSWarner Losh #include "ldo.h" 258e3e3a7aSWarner Losh #include "lmem.h" 268e3e3a7aSWarner Losh #include "lobject.h" 278e3e3a7aSWarner Losh #include "lstate.h" 288e3e3a7aSWarner Losh #include "lstring.h" 298e3e3a7aSWarner Losh #include "lvm.h" 308e3e3a7aSWarner Losh 318e3e3a7aSWarner Losh 328e3e3a7aSWarner Losh /* 338e3e3a7aSWarner Losh ** Computes ceil(log2(x)) 348e3e3a7aSWarner Losh */ 358e3e3a7aSWarner Losh int luaO_ceillog2 (unsigned int x) { 368e3e3a7aSWarner Losh static const lu_byte log_2[256] = { /* log_2[i] = ceil(log2(i - 1)) */ 378e3e3a7aSWarner Losh 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, 388e3e3a7aSWarner Losh 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, 398e3e3a7aSWarner Losh 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, 408e3e3a7aSWarner Losh 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, 418e3e3a7aSWarner Losh 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, 428e3e3a7aSWarner Losh 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, 438e3e3a7aSWarner Losh 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, 448e3e3a7aSWarner Losh 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 458e3e3a7aSWarner Losh }; 468e3e3a7aSWarner Losh int l = 0; 478e3e3a7aSWarner Losh x--; 488e3e3a7aSWarner Losh while (x >= 256) { l += 8; x >>= 8; } 498e3e3a7aSWarner Losh return l + log_2[x]; 508e3e3a7aSWarner Losh } 518e3e3a7aSWarner Losh 528e3e3a7aSWarner Losh 538e3e3a7aSWarner Losh static lua_Integer intarith (lua_State *L, int op, lua_Integer v1, 548e3e3a7aSWarner Losh lua_Integer v2) { 558e3e3a7aSWarner Losh switch (op) { 568e3e3a7aSWarner Losh case LUA_OPADD: return intop(+, v1, v2); 578e3e3a7aSWarner Losh case LUA_OPSUB:return intop(-, v1, v2); 588e3e3a7aSWarner Losh case LUA_OPMUL:return intop(*, v1, v2); 598e3e3a7aSWarner Losh case LUA_OPMOD: return luaV_mod(L, v1, v2); 60*0495ed39SKyle Evans case LUA_OPIDIV: return luaV_idiv(L, v1, v2); 618e3e3a7aSWarner Losh case LUA_OPBAND: return intop(&, v1, v2); 628e3e3a7aSWarner Losh case LUA_OPBOR: return intop(|, v1, v2); 638e3e3a7aSWarner Losh case LUA_OPBXOR: return intop(^, v1, v2); 648e3e3a7aSWarner Losh case LUA_OPSHL: return luaV_shiftl(v1, v2); 658e3e3a7aSWarner Losh case LUA_OPSHR: return luaV_shiftl(v1, -v2); 668e3e3a7aSWarner Losh case LUA_OPUNM: return intop(-, 0, v1); 678e3e3a7aSWarner Losh case LUA_OPBNOT: return intop(^, ~l_castS2U(0), v1); 688e3e3a7aSWarner Losh default: lua_assert(0); return 0; 698e3e3a7aSWarner Losh } 708e3e3a7aSWarner Losh } 718e3e3a7aSWarner Losh 728e3e3a7aSWarner Losh 738e3e3a7aSWarner Losh static lua_Number numarith (lua_State *L, int op, lua_Number v1, 748e3e3a7aSWarner Losh lua_Number v2) { 758e3e3a7aSWarner Losh switch (op) { 768e3e3a7aSWarner Losh case LUA_OPADD: return luai_numadd(L, v1, v2); 778e3e3a7aSWarner Losh case LUA_OPSUB: return luai_numsub(L, v1, v2); 788e3e3a7aSWarner Losh case LUA_OPMUL: return luai_nummul(L, v1, v2); 798e3e3a7aSWarner Losh case LUA_OPDIV: return luai_numdiv(L, v1, v2); 808e3e3a7aSWarner Losh case LUA_OPPOW: return luai_numpow(L, v1, v2); 818e3e3a7aSWarner Losh case LUA_OPIDIV: return luai_numidiv(L, v1, v2); 828e3e3a7aSWarner Losh case LUA_OPUNM: return luai_numunm(L, v1); 83*0495ed39SKyle Evans case LUA_OPMOD: return luaV_modf(L, v1, v2); 848e3e3a7aSWarner Losh default: lua_assert(0); return 0; 858e3e3a7aSWarner Losh } 868e3e3a7aSWarner Losh } 878e3e3a7aSWarner Losh 888e3e3a7aSWarner Losh 89*0495ed39SKyle Evans int luaO_rawarith (lua_State *L, int op, const TValue *p1, const TValue *p2, 908e3e3a7aSWarner Losh TValue *res) { 918e3e3a7aSWarner Losh switch (op) { 928e3e3a7aSWarner Losh case LUA_OPBAND: case LUA_OPBOR: case LUA_OPBXOR: 938e3e3a7aSWarner Losh case LUA_OPSHL: case LUA_OPSHR: 948e3e3a7aSWarner Losh case LUA_OPBNOT: { /* operate only on integers */ 958e3e3a7aSWarner Losh lua_Integer i1; lua_Integer i2; 96*0495ed39SKyle Evans if (tointegerns(p1, &i1) && tointegerns(p2, &i2)) { 978e3e3a7aSWarner Losh setivalue(res, intarith(L, op, i1, i2)); 98*0495ed39SKyle Evans return 1; 998e3e3a7aSWarner Losh } 100*0495ed39SKyle Evans else return 0; /* fail */ 1018e3e3a7aSWarner Losh } 1028e3e3a7aSWarner Losh case LUA_OPDIV: case LUA_OPPOW: { /* operate only on floats */ 1038e3e3a7aSWarner Losh lua_Number n1; lua_Number n2; 104*0495ed39SKyle Evans if (tonumberns(p1, n1) && tonumberns(p2, n2)) { 1058e3e3a7aSWarner Losh setfltvalue(res, numarith(L, op, n1, n2)); 106*0495ed39SKyle Evans return 1; 1078e3e3a7aSWarner Losh } 108*0495ed39SKyle Evans else return 0; /* fail */ 1098e3e3a7aSWarner Losh } 1108e3e3a7aSWarner Losh default: { /* other operations */ 1118e3e3a7aSWarner Losh lua_Number n1; lua_Number n2; 1128e3e3a7aSWarner Losh if (ttisinteger(p1) && ttisinteger(p2)) { 1138e3e3a7aSWarner Losh setivalue(res, intarith(L, op, ivalue(p1), ivalue(p2))); 114*0495ed39SKyle Evans return 1; 1158e3e3a7aSWarner Losh } 116*0495ed39SKyle Evans else if (tonumberns(p1, n1) && tonumberns(p2, n2)) { 1178e3e3a7aSWarner Losh setfltvalue(res, numarith(L, op, n1, n2)); 118*0495ed39SKyle Evans return 1; 1198e3e3a7aSWarner Losh } 120*0495ed39SKyle Evans else return 0; /* fail */ 1218e3e3a7aSWarner Losh } 1228e3e3a7aSWarner Losh } 123*0495ed39SKyle Evans } 124*0495ed39SKyle Evans 125*0495ed39SKyle Evans 126*0495ed39SKyle Evans void luaO_arith (lua_State *L, int op, const TValue *p1, const TValue *p2, 127*0495ed39SKyle Evans StkId res) { 128*0495ed39SKyle Evans if (!luaO_rawarith(L, op, p1, p2, s2v(res))) { 1298e3e3a7aSWarner Losh /* could not perform raw operation; try metamethod */ 1308e3e3a7aSWarner Losh luaT_trybinTM(L, p1, p2, res, cast(TMS, (op - LUA_OPADD) + TM_ADD)); 1318e3e3a7aSWarner Losh } 132*0495ed39SKyle Evans } 1338e3e3a7aSWarner Losh 1348e3e3a7aSWarner Losh 1358e3e3a7aSWarner Losh int luaO_hexavalue (int c) { 1368e3e3a7aSWarner Losh if (lisdigit(c)) return c - '0'; 1378e3e3a7aSWarner Losh else return (ltolower(c) - 'a') + 10; 1388e3e3a7aSWarner Losh } 1398e3e3a7aSWarner Losh 1408e3e3a7aSWarner Losh 1418e3e3a7aSWarner Losh static int isneg (const char **s) { 1428e3e3a7aSWarner Losh if (**s == '-') { (*s)++; return 1; } 1438e3e3a7aSWarner Losh else if (**s == '+') (*s)++; 1448e3e3a7aSWarner Losh return 0; 1458e3e3a7aSWarner Losh } 1468e3e3a7aSWarner Losh 1478e3e3a7aSWarner Losh 1488e3e3a7aSWarner Losh 1498e3e3a7aSWarner Losh /* 1508e3e3a7aSWarner Losh ** {================================================================== 1518e3e3a7aSWarner Losh ** Lua's implementation for 'lua_strx2number' 1528e3e3a7aSWarner Losh ** =================================================================== 1538e3e3a7aSWarner Losh */ 1548e3e3a7aSWarner Losh 1558e3e3a7aSWarner Losh #if !defined(lua_strx2number) 1568e3e3a7aSWarner Losh 1578e3e3a7aSWarner Losh /* maximum number of significant digits to read (to avoid overflows 1588e3e3a7aSWarner Losh even with single floats) */ 1598e3e3a7aSWarner Losh #define MAXSIGDIG 30 1608e3e3a7aSWarner Losh 1618e3e3a7aSWarner Losh /* 162*0495ed39SKyle Evans ** convert a hexadecimal numeric string to a number, following 1638e3e3a7aSWarner Losh ** C99 specification for 'strtod' 1648e3e3a7aSWarner Losh */ 1658e3e3a7aSWarner Losh static lua_Number lua_strx2number (const char *s, char **endptr) { 1668e3e3a7aSWarner Losh int dot = lua_getlocaledecpoint(); 1678e3e3a7aSWarner Losh lua_Number r = 0.0; /* result (accumulator) */ 1688e3e3a7aSWarner Losh int sigdig = 0; /* number of significant digits */ 1698e3e3a7aSWarner Losh int nosigdig = 0; /* number of non-significant digits */ 1708e3e3a7aSWarner Losh int e = 0; /* exponent correction */ 1718e3e3a7aSWarner Losh int neg; /* 1 if number is negative */ 1728e3e3a7aSWarner Losh int hasdot = 0; /* true after seen a dot */ 173*0495ed39SKyle Evans *endptr = cast_charp(s); /* nothing is valid yet */ 1748e3e3a7aSWarner Losh while (lisspace(cast_uchar(*s))) s++; /* skip initial spaces */ 175*0495ed39SKyle Evans neg = isneg(&s); /* check sign */ 1768e3e3a7aSWarner Losh if (!(*s == '0' && (*(s + 1) == 'x' || *(s + 1) == 'X'))) /* check '0x' */ 1778e3e3a7aSWarner Losh return 0.0; /* invalid format (no '0x') */ 1788e3e3a7aSWarner Losh for (s += 2; ; s++) { /* skip '0x' and read numeral */ 1798e3e3a7aSWarner Losh if (*s == dot) { 1808e3e3a7aSWarner Losh if (hasdot) break; /* second dot? stop loop */ 1818e3e3a7aSWarner Losh else hasdot = 1; 1828e3e3a7aSWarner Losh } 1838e3e3a7aSWarner Losh else if (lisxdigit(cast_uchar(*s))) { 1848e3e3a7aSWarner Losh if (sigdig == 0 && *s == '0') /* non-significant digit (zero)? */ 1858e3e3a7aSWarner Losh nosigdig++; 1868e3e3a7aSWarner Losh else if (++sigdig <= MAXSIGDIG) /* can read it without overflow? */ 1878e3e3a7aSWarner Losh r = (r * cast_num(16.0)) + luaO_hexavalue(*s); 1888e3e3a7aSWarner Losh else e++; /* too many digits; ignore, but still count for exponent */ 1898e3e3a7aSWarner Losh if (hasdot) e--; /* decimal digit? correct exponent */ 1908e3e3a7aSWarner Losh } 1918e3e3a7aSWarner Losh else break; /* neither a dot nor a digit */ 1928e3e3a7aSWarner Losh } 1938e3e3a7aSWarner Losh if (nosigdig + sigdig == 0) /* no digits? */ 1948e3e3a7aSWarner Losh return 0.0; /* invalid format */ 195*0495ed39SKyle Evans *endptr = cast_charp(s); /* valid up to here */ 1968e3e3a7aSWarner Losh e *= 4; /* each digit multiplies/divides value by 2^4 */ 1978e3e3a7aSWarner Losh if (*s == 'p' || *s == 'P') { /* exponent part? */ 1988e3e3a7aSWarner Losh int exp1 = 0; /* exponent value */ 199*0495ed39SKyle Evans int neg1; /* exponent sign */ 2008e3e3a7aSWarner Losh s++; /* skip 'p' */ 201*0495ed39SKyle Evans neg1 = isneg(&s); /* sign */ 2028e3e3a7aSWarner Losh if (!lisdigit(cast_uchar(*s))) 2038e3e3a7aSWarner Losh return 0.0; /* invalid; must have at least one digit */ 2048e3e3a7aSWarner Losh while (lisdigit(cast_uchar(*s))) /* read exponent */ 2058e3e3a7aSWarner Losh exp1 = exp1 * 10 + *(s++) - '0'; 2068e3e3a7aSWarner Losh if (neg1) exp1 = -exp1; 2078e3e3a7aSWarner Losh e += exp1; 208*0495ed39SKyle Evans *endptr = cast_charp(s); /* valid up to here */ 2098e3e3a7aSWarner Losh } 2108e3e3a7aSWarner Losh if (neg) r = -r; 2118e3e3a7aSWarner Losh return l_mathop(ldexp)(r, e); 2128e3e3a7aSWarner Losh } 2138e3e3a7aSWarner Losh 2148e3e3a7aSWarner Losh #endif 2158e3e3a7aSWarner Losh /* }====================================================== */ 2168e3e3a7aSWarner Losh 2178e3e3a7aSWarner Losh 218*0495ed39SKyle Evans /* maximum length of a numeral to be converted to a number */ 2198e3e3a7aSWarner Losh #if !defined (L_MAXLENNUM) 2208e3e3a7aSWarner Losh #define L_MAXLENNUM 200 2218e3e3a7aSWarner Losh #endif 2228e3e3a7aSWarner Losh 223*0495ed39SKyle Evans /* 224*0495ed39SKyle Evans ** Convert string 's' to a Lua number (put in 'result'). Return NULL on 225*0495ed39SKyle Evans ** fail or the address of the ending '\0' on success. ('mode' == 'x') 226*0495ed39SKyle Evans ** means a hexadecimal numeral. 227*0495ed39SKyle Evans */ 2288e3e3a7aSWarner Losh static const char *l_str2dloc (const char *s, lua_Number *result, int mode) { 2298e3e3a7aSWarner Losh char *endptr; 2308e3e3a7aSWarner Losh *result = (mode == 'x') ? lua_strx2number(s, &endptr) /* try to convert */ 2318e3e3a7aSWarner Losh : lua_str2number(s, &endptr); 2328e3e3a7aSWarner Losh if (endptr == s) return NULL; /* nothing recognized? */ 2338e3e3a7aSWarner Losh while (lisspace(cast_uchar(*endptr))) endptr++; /* skip trailing spaces */ 234*0495ed39SKyle Evans return (*endptr == '\0') ? endptr : NULL; /* OK iff no trailing chars */ 2358e3e3a7aSWarner Losh } 2368e3e3a7aSWarner Losh 2378e3e3a7aSWarner Losh 2388e3e3a7aSWarner Losh /* 239*0495ed39SKyle Evans ** Convert string 's' to a Lua number (put in 'result') handling the 240*0495ed39SKyle Evans ** current locale. 2418e3e3a7aSWarner Losh ** This function accepts both the current locale or a dot as the radix 242bf9580a1SKyle Evans ** mark. If the conversion fails, it may mean number has a dot but 2438e3e3a7aSWarner Losh ** locale accepts something else. In that case, the code copies 's' 2448e3e3a7aSWarner Losh ** to a buffer (because 's' is read-only), changes the dot to the 2458e3e3a7aSWarner Losh ** current locale radix mark, and tries to convert again. 246*0495ed39SKyle Evans ** The variable 'mode' checks for special characters in the string: 247*0495ed39SKyle Evans ** - 'n' means 'inf' or 'nan' (which should be rejected) 248*0495ed39SKyle Evans ** - 'x' means a hexadecimal numeral 249*0495ed39SKyle Evans ** - '.' just optimizes the search for the common case (no special chars) 2508e3e3a7aSWarner Losh */ 2518e3e3a7aSWarner Losh static const char *l_str2d (const char *s, lua_Number *result) { 2528e3e3a7aSWarner Losh const char *endptr; 253*0495ed39SKyle Evans const char *pmode = strpbrk(s, ".xXnN"); /* look for special chars */ 2548e3e3a7aSWarner Losh int mode = pmode ? ltolower(cast_uchar(*pmode)) : 0; 2558e3e3a7aSWarner Losh if (mode == 'n') /* reject 'inf' and 'nan' */ 2568e3e3a7aSWarner Losh return NULL; 2578e3e3a7aSWarner Losh endptr = l_str2dloc(s, result, mode); /* try to convert */ 2588e3e3a7aSWarner Losh if (endptr == NULL) { /* failed? may be a different locale */ 2598e3e3a7aSWarner Losh char buff[L_MAXLENNUM + 1]; 2608e3e3a7aSWarner Losh const char *pdot = strchr(s, '.'); 261*0495ed39SKyle Evans if (pdot == NULL || strlen(s) > L_MAXLENNUM) 2628e3e3a7aSWarner Losh return NULL; /* string too long or no dot; fail */ 2638e3e3a7aSWarner Losh strcpy(buff, s); /* copy string to buffer */ 2648e3e3a7aSWarner Losh buff[pdot - s] = lua_getlocaledecpoint(); /* correct decimal point */ 2658e3e3a7aSWarner Losh endptr = l_str2dloc(buff, result, mode); /* try again */ 2668e3e3a7aSWarner Losh if (endptr != NULL) 2678e3e3a7aSWarner Losh endptr = s + (endptr - buff); /* make relative to 's' */ 2688e3e3a7aSWarner Losh } 2698e3e3a7aSWarner Losh return endptr; 2708e3e3a7aSWarner Losh } 2718e3e3a7aSWarner Losh 2728e3e3a7aSWarner Losh 2738e3e3a7aSWarner Losh #define MAXBY10 cast(lua_Unsigned, LUA_MAXINTEGER / 10) 2748e3e3a7aSWarner Losh #define MAXLASTD cast_int(LUA_MAXINTEGER % 10) 2758e3e3a7aSWarner Losh 2768e3e3a7aSWarner Losh static const char *l_str2int (const char *s, lua_Integer *result) { 2778e3e3a7aSWarner Losh lua_Unsigned a = 0; 2788e3e3a7aSWarner Losh int empty = 1; 2798e3e3a7aSWarner Losh int neg; 2808e3e3a7aSWarner Losh while (lisspace(cast_uchar(*s))) s++; /* skip initial spaces */ 2818e3e3a7aSWarner Losh neg = isneg(&s); 2828e3e3a7aSWarner Losh if (s[0] == '0' && 2838e3e3a7aSWarner Losh (s[1] == 'x' || s[1] == 'X')) { /* hex? */ 2848e3e3a7aSWarner Losh s += 2; /* skip '0x' */ 2858e3e3a7aSWarner Losh for (; lisxdigit(cast_uchar(*s)); s++) { 2868e3e3a7aSWarner Losh a = a * 16 + luaO_hexavalue(*s); 2878e3e3a7aSWarner Losh empty = 0; 2888e3e3a7aSWarner Losh } 2898e3e3a7aSWarner Losh } 2908e3e3a7aSWarner Losh else { /* decimal */ 2918e3e3a7aSWarner Losh for (; lisdigit(cast_uchar(*s)); s++) { 2928e3e3a7aSWarner Losh int d = *s - '0'; 2938e3e3a7aSWarner Losh if (a >= MAXBY10 && (a > MAXBY10 || d > MAXLASTD + neg)) /* overflow? */ 2948e3e3a7aSWarner Losh return NULL; /* do not accept it (as integer) */ 2958e3e3a7aSWarner Losh a = a * 10 + d; 2968e3e3a7aSWarner Losh empty = 0; 2978e3e3a7aSWarner Losh } 2988e3e3a7aSWarner Losh } 2998e3e3a7aSWarner Losh while (lisspace(cast_uchar(*s))) s++; /* skip trailing spaces */ 3008e3e3a7aSWarner Losh if (empty || *s != '\0') return NULL; /* something wrong in the numeral */ 3018e3e3a7aSWarner Losh else { 3028e3e3a7aSWarner Losh *result = l_castU2S((neg) ? 0u - a : a); 3038e3e3a7aSWarner Losh return s; 3048e3e3a7aSWarner Losh } 3058e3e3a7aSWarner Losh } 3068e3e3a7aSWarner Losh 3078e3e3a7aSWarner Losh 3088e3e3a7aSWarner Losh size_t luaO_str2num (const char *s, TValue *o) { 3098e3e3a7aSWarner Losh lua_Integer i; lua_Number n; 3108e3e3a7aSWarner Losh const char *e; 3118e3e3a7aSWarner Losh if ((e = l_str2int(s, &i)) != NULL) { /* try as an integer */ 3128e3e3a7aSWarner Losh setivalue(o, i); 3138e3e3a7aSWarner Losh } 3148e3e3a7aSWarner Losh else if ((e = l_str2d(s, &n)) != NULL) { /* else try as a float */ 3158e3e3a7aSWarner Losh setfltvalue(o, n); 3168e3e3a7aSWarner Losh } 3178e3e3a7aSWarner Losh else 3188e3e3a7aSWarner Losh return 0; /* conversion failed */ 3198e3e3a7aSWarner Losh return (e - s) + 1; /* success; return string size */ 3208e3e3a7aSWarner Losh } 3218e3e3a7aSWarner Losh 3228e3e3a7aSWarner Losh 3238e3e3a7aSWarner Losh int luaO_utf8esc (char *buff, unsigned long x) { 3248e3e3a7aSWarner Losh int n = 1; /* number of bytes put in buffer (backwards) */ 325*0495ed39SKyle Evans lua_assert(x <= 0x7FFFFFFFu); 3268e3e3a7aSWarner Losh if (x < 0x80) /* ascii? */ 327*0495ed39SKyle Evans buff[UTF8BUFFSZ - 1] = cast_char(x); 3288e3e3a7aSWarner Losh else { /* need continuation bytes */ 3298e3e3a7aSWarner Losh unsigned int mfb = 0x3f; /* maximum that fits in first byte */ 3308e3e3a7aSWarner Losh do { /* add continuation bytes */ 331*0495ed39SKyle Evans buff[UTF8BUFFSZ - (n++)] = cast_char(0x80 | (x & 0x3f)); 3328e3e3a7aSWarner Losh x >>= 6; /* remove added bits */ 3338e3e3a7aSWarner Losh mfb >>= 1; /* now there is one less bit available in first byte */ 3348e3e3a7aSWarner Losh } while (x > mfb); /* still needs continuation byte? */ 335*0495ed39SKyle Evans buff[UTF8BUFFSZ - n] = cast_char((~mfb << 1) | x); /* add first byte */ 3368e3e3a7aSWarner Losh } 3378e3e3a7aSWarner Losh return n; 3388e3e3a7aSWarner Losh } 3398e3e3a7aSWarner Losh 3408e3e3a7aSWarner Losh 341*0495ed39SKyle Evans /* 342*0495ed39SKyle Evans ** Maximum length of the conversion of a number to a string. Must be 343*0495ed39SKyle Evans ** enough to accommodate both LUA_INTEGER_FMT and LUA_NUMBER_FMT. 344*0495ed39SKyle Evans ** (For a long long int, this is 19 digits plus a sign and a final '\0', 345*0495ed39SKyle Evans ** adding to 21. For a long double, it can go to a sign, 33 digits, 346*0495ed39SKyle Evans ** the dot, an exponent letter, an exponent sign, 5 exponent digits, 347*0495ed39SKyle Evans ** and a final '\0', adding to 43.) 348*0495ed39SKyle Evans */ 349*0495ed39SKyle Evans #define MAXNUMBER2STR 44 3508e3e3a7aSWarner Losh 3518e3e3a7aSWarner Losh 3528e3e3a7aSWarner Losh /* 353*0495ed39SKyle Evans ** Convert a number object to a string, adding it to a buffer 3548e3e3a7aSWarner Losh */ 355*0495ed39SKyle Evans static int tostringbuff (TValue *obj, char *buff) { 356*0495ed39SKyle Evans int len; 3578e3e3a7aSWarner Losh lua_assert(ttisnumber(obj)); 3588e3e3a7aSWarner Losh if (ttisinteger(obj)) 359*0495ed39SKyle Evans len = lua_integer2str(buff, MAXNUMBER2STR, ivalue(obj)); 3608e3e3a7aSWarner Losh else { 361*0495ed39SKyle Evans len = lua_number2str(buff, MAXNUMBER2STR, fltvalue(obj)); 3628e3e3a7aSWarner Losh if (buff[strspn(buff, "-0123456789")] == '\0') { /* looks like an int? */ 3638e3e3a7aSWarner Losh buff[len++] = lua_getlocaledecpoint(); 3648e3e3a7aSWarner Losh buff[len++] = '0'; /* adds '.0' to result */ 3658e3e3a7aSWarner Losh } 3668e3e3a7aSWarner Losh } 367*0495ed39SKyle Evans return len; 3688e3e3a7aSWarner Losh } 3698e3e3a7aSWarner Losh 3708e3e3a7aSWarner Losh 3718e3e3a7aSWarner Losh /* 372*0495ed39SKyle Evans ** Convert a number object to a Lua string, replacing the value at 'obj' 373*0495ed39SKyle Evans */ 374*0495ed39SKyle Evans void luaO_tostring (lua_State *L, TValue *obj) { 375*0495ed39SKyle Evans char buff[MAXNUMBER2STR]; 376*0495ed39SKyle Evans int len = tostringbuff(obj, buff); 377*0495ed39SKyle Evans setsvalue(L, obj, luaS_newlstr(L, buff, len)); 378*0495ed39SKyle Evans } 379*0495ed39SKyle Evans 380*0495ed39SKyle Evans 381*0495ed39SKyle Evans 382*0495ed39SKyle Evans 383*0495ed39SKyle Evans /* 384*0495ed39SKyle Evans ** {================================================================== 385*0495ed39SKyle Evans ** 'luaO_pushvfstring' 386*0495ed39SKyle Evans ** =================================================================== 387*0495ed39SKyle Evans */ 388*0495ed39SKyle Evans 389*0495ed39SKyle Evans /* size for buffer space used by 'luaO_pushvfstring' */ 390*0495ed39SKyle Evans #define BUFVFS 200 391*0495ed39SKyle Evans 392*0495ed39SKyle Evans /* buffer used by 'luaO_pushvfstring' */ 393*0495ed39SKyle Evans typedef struct BuffFS { 394*0495ed39SKyle Evans lua_State *L; 395*0495ed39SKyle Evans int pushed; /* number of string pieces already on the stack */ 396*0495ed39SKyle Evans int blen; /* length of partial string in 'space' */ 397*0495ed39SKyle Evans char space[BUFVFS]; /* holds last part of the result */ 398*0495ed39SKyle Evans } BuffFS; 399*0495ed39SKyle Evans 400*0495ed39SKyle Evans 401*0495ed39SKyle Evans /* 402*0495ed39SKyle Evans ** Push given string to the stack, as part of the buffer, and 403*0495ed39SKyle Evans ** join the partial strings in the stack into one. 404*0495ed39SKyle Evans */ 405*0495ed39SKyle Evans static void pushstr (BuffFS *buff, const char *str, size_t l) { 406*0495ed39SKyle Evans lua_State *L = buff->L; 407*0495ed39SKyle Evans setsvalue2s(L, L->top, luaS_newlstr(L, str, l)); 408*0495ed39SKyle Evans L->top++; /* may use one extra slot */ 409*0495ed39SKyle Evans buff->pushed++; 410*0495ed39SKyle Evans luaV_concat(L, buff->pushed); /* join partial results into one */ 411*0495ed39SKyle Evans buff->pushed = 1; 412*0495ed39SKyle Evans } 413*0495ed39SKyle Evans 414*0495ed39SKyle Evans 415*0495ed39SKyle Evans /* 416*0495ed39SKyle Evans ** empty the buffer space into the stack 417*0495ed39SKyle Evans */ 418*0495ed39SKyle Evans static void clearbuff (BuffFS *buff) { 419*0495ed39SKyle Evans pushstr(buff, buff->space, buff->blen); /* push buffer contents */ 420*0495ed39SKyle Evans buff->blen = 0; /* space now is empty */ 421*0495ed39SKyle Evans } 422*0495ed39SKyle Evans 423*0495ed39SKyle Evans 424*0495ed39SKyle Evans /* 425*0495ed39SKyle Evans ** Get a space of size 'sz' in the buffer. If buffer has not enough 426*0495ed39SKyle Evans ** space, empty it. 'sz' must fit in an empty buffer. 427*0495ed39SKyle Evans */ 428*0495ed39SKyle Evans static char *getbuff (BuffFS *buff, int sz) { 429*0495ed39SKyle Evans lua_assert(buff->blen <= BUFVFS); lua_assert(sz <= BUFVFS); 430*0495ed39SKyle Evans if (sz > BUFVFS - buff->blen) /* not enough space? */ 431*0495ed39SKyle Evans clearbuff(buff); 432*0495ed39SKyle Evans return buff->space + buff->blen; 433*0495ed39SKyle Evans } 434*0495ed39SKyle Evans 435*0495ed39SKyle Evans 436*0495ed39SKyle Evans #define addsize(b,sz) ((b)->blen += (sz)) 437*0495ed39SKyle Evans 438*0495ed39SKyle Evans 439*0495ed39SKyle Evans /* 440*0495ed39SKyle Evans ** Add 'str' to the buffer. If string is larger than the buffer space, 441*0495ed39SKyle Evans ** push the string directly to the stack. 442*0495ed39SKyle Evans */ 443*0495ed39SKyle Evans static void addstr2buff (BuffFS *buff, const char *str, size_t slen) { 444*0495ed39SKyle Evans if (slen <= BUFVFS) { /* does string fit into buffer? */ 445*0495ed39SKyle Evans char *bf = getbuff(buff, cast_int(slen)); 446*0495ed39SKyle Evans memcpy(bf, str, slen); /* add string to buffer */ 447*0495ed39SKyle Evans addsize(buff, cast_int(slen)); 448*0495ed39SKyle Evans } 449*0495ed39SKyle Evans else { /* string larger than buffer */ 450*0495ed39SKyle Evans clearbuff(buff); /* string comes after buffer's content */ 451*0495ed39SKyle Evans pushstr(buff, str, slen); /* push string */ 452*0495ed39SKyle Evans } 453*0495ed39SKyle Evans } 454*0495ed39SKyle Evans 455*0495ed39SKyle Evans 456*0495ed39SKyle Evans /* 457*0495ed39SKyle Evans ** Add a number to the buffer. 458*0495ed39SKyle Evans */ 459*0495ed39SKyle Evans static void addnum2buff (BuffFS *buff, TValue *num) { 460*0495ed39SKyle Evans char *numbuff = getbuff(buff, MAXNUMBER2STR); 461*0495ed39SKyle Evans int len = tostringbuff(num, numbuff); /* format number into 'numbuff' */ 462*0495ed39SKyle Evans addsize(buff, len); 463*0495ed39SKyle Evans } 464*0495ed39SKyle Evans 465*0495ed39SKyle Evans 466*0495ed39SKyle Evans /* 467*0495ed39SKyle Evans ** this function handles only '%d', '%c', '%f', '%p', '%s', and '%%' 4688e3e3a7aSWarner Losh conventional formats, plus Lua-specific '%I' and '%U' 4698e3e3a7aSWarner Losh */ 4708e3e3a7aSWarner Losh const char *luaO_pushvfstring (lua_State *L, const char *fmt, va_list argp) { 471*0495ed39SKyle Evans BuffFS buff; /* holds last part of the result */ 472*0495ed39SKyle Evans const char *e; /* points to next '%' */ 473*0495ed39SKyle Evans buff.pushed = buff.blen = 0; 474*0495ed39SKyle Evans buff.L = L; 475*0495ed39SKyle Evans while ((e = strchr(fmt, '%')) != NULL) { 476*0495ed39SKyle Evans addstr2buff(&buff, fmt, e - fmt); /* add 'fmt' up to '%' */ 477*0495ed39SKyle Evans switch (*(e + 1)) { /* conversion specifier */ 4788e3e3a7aSWarner Losh case 's': { /* zero-terminated string */ 4798e3e3a7aSWarner Losh const char *s = va_arg(argp, char *); 4808e3e3a7aSWarner Losh if (s == NULL) s = "(null)"; 481*0495ed39SKyle Evans addstr2buff(&buff, s, strlen(s)); 4828e3e3a7aSWarner Losh break; 4838e3e3a7aSWarner Losh } 4848e3e3a7aSWarner Losh case 'c': { /* an 'int' as a character */ 485*0495ed39SKyle Evans char c = cast_uchar(va_arg(argp, int)); 486*0495ed39SKyle Evans addstr2buff(&buff, &c, sizeof(char)); 4878e3e3a7aSWarner Losh break; 4888e3e3a7aSWarner Losh } 4898e3e3a7aSWarner Losh case 'd': { /* an 'int' */ 490*0495ed39SKyle Evans TValue num; 491*0495ed39SKyle Evans setivalue(&num, va_arg(argp, int)); 492*0495ed39SKyle Evans addnum2buff(&buff, &num); 493*0495ed39SKyle Evans break; 4948e3e3a7aSWarner Losh } 4958e3e3a7aSWarner Losh case 'I': { /* a 'lua_Integer' */ 496*0495ed39SKyle Evans TValue num; 497*0495ed39SKyle Evans setivalue(&num, cast(lua_Integer, va_arg(argp, l_uacInt))); 498*0495ed39SKyle Evans addnum2buff(&buff, &num); 499*0495ed39SKyle Evans break; 5008e3e3a7aSWarner Losh } 5018e3e3a7aSWarner Losh case 'f': { /* a 'lua_Number' */ 502*0495ed39SKyle Evans TValue num; 503*0495ed39SKyle Evans setfltvalue(&num, cast_num(va_arg(argp, l_uacNumber))); 504*0495ed39SKyle Evans addnum2buff(&buff, &num); 5058e3e3a7aSWarner Losh break; 5068e3e3a7aSWarner Losh } 5078e3e3a7aSWarner Losh case 'p': { /* a pointer */ 508*0495ed39SKyle Evans const int sz = 3 * sizeof(void*) + 8; /* enough space for '%p' */ 509*0495ed39SKyle Evans char *bf = getbuff(&buff, sz); 510e112e9d2SKyle Evans void *p = va_arg(argp, void *); 511*0495ed39SKyle Evans int len = lua_pointer2str(bf, sz, p); 512*0495ed39SKyle Evans addsize(&buff, len); 5138e3e3a7aSWarner Losh break; 5148e3e3a7aSWarner Losh } 515*0495ed39SKyle Evans case 'U': { /* a 'long' as a UTF-8 sequence */ 516*0495ed39SKyle Evans char bf[UTF8BUFFSZ]; 517*0495ed39SKyle Evans int len = luaO_utf8esc(bf, va_arg(argp, long)); 518*0495ed39SKyle Evans addstr2buff(&buff, bf + UTF8BUFFSZ - len, len); 5198e3e3a7aSWarner Losh break; 5208e3e3a7aSWarner Losh } 5218e3e3a7aSWarner Losh case '%': { 522*0495ed39SKyle Evans addstr2buff(&buff, "%", 1); 5238e3e3a7aSWarner Losh break; 5248e3e3a7aSWarner Losh } 5258e3e3a7aSWarner Losh default: { 5268e3e3a7aSWarner Losh luaG_runerror(L, "invalid option '%%%c' to 'lua_pushfstring'", 5278e3e3a7aSWarner Losh *(e + 1)); 5288e3e3a7aSWarner Losh } 5298e3e3a7aSWarner Losh } 530*0495ed39SKyle Evans fmt = e + 2; /* skip '%' and the specifier */ 5318e3e3a7aSWarner Losh } 532*0495ed39SKyle Evans addstr2buff(&buff, fmt, strlen(fmt)); /* rest of 'fmt' */ 533*0495ed39SKyle Evans clearbuff(&buff); /* empty buffer into the stack */ 534*0495ed39SKyle Evans lua_assert(buff.pushed == 1); 535*0495ed39SKyle Evans return svalue(s2v(L->top - 1)); 5368e3e3a7aSWarner Losh } 5378e3e3a7aSWarner Losh 5388e3e3a7aSWarner Losh 5398e3e3a7aSWarner Losh const char *luaO_pushfstring (lua_State *L, const char *fmt, ...) { 5408e3e3a7aSWarner Losh const char *msg; 5418e3e3a7aSWarner Losh va_list argp; 5428e3e3a7aSWarner Losh va_start(argp, fmt); 5438e3e3a7aSWarner Losh msg = luaO_pushvfstring(L, fmt, argp); 5448e3e3a7aSWarner Losh va_end(argp); 5458e3e3a7aSWarner Losh return msg; 5468e3e3a7aSWarner Losh } 5478e3e3a7aSWarner Losh 548*0495ed39SKyle Evans /* }================================================================== */ 5498e3e3a7aSWarner Losh 5508e3e3a7aSWarner Losh 5518e3e3a7aSWarner Losh #define RETS "..." 5528e3e3a7aSWarner Losh #define PRE "[string \"" 5538e3e3a7aSWarner Losh #define POS "\"]" 5548e3e3a7aSWarner Losh 5558e3e3a7aSWarner Losh #define addstr(a,b,l) ( memcpy(a,b,(l) * sizeof(char)), a += (l) ) 5568e3e3a7aSWarner Losh 557*0495ed39SKyle Evans void luaO_chunkid (char *out, const char *source, size_t srclen) { 558*0495ed39SKyle Evans size_t bufflen = LUA_IDSIZE; /* free space in buffer */ 5598e3e3a7aSWarner Losh if (*source == '=') { /* 'literal' source */ 560*0495ed39SKyle Evans if (srclen <= bufflen) /* small enough? */ 561*0495ed39SKyle Evans memcpy(out, source + 1, srclen * sizeof(char)); 5628e3e3a7aSWarner Losh else { /* truncate it */ 5638e3e3a7aSWarner Losh addstr(out, source + 1, bufflen - 1); 5648e3e3a7aSWarner Losh *out = '\0'; 5658e3e3a7aSWarner Losh } 5668e3e3a7aSWarner Losh } 5678e3e3a7aSWarner Losh else if (*source == '@') { /* file name */ 568*0495ed39SKyle Evans if (srclen <= bufflen) /* small enough? */ 569*0495ed39SKyle Evans memcpy(out, source + 1, srclen * sizeof(char)); 5708e3e3a7aSWarner Losh else { /* add '...' before rest of name */ 5718e3e3a7aSWarner Losh addstr(out, RETS, LL(RETS)); 5728e3e3a7aSWarner Losh bufflen -= LL(RETS); 573*0495ed39SKyle Evans memcpy(out, source + 1 + srclen - bufflen, bufflen * sizeof(char)); 5748e3e3a7aSWarner Losh } 5758e3e3a7aSWarner Losh } 5768e3e3a7aSWarner Losh else { /* string; format as [string "source"] */ 5778e3e3a7aSWarner Losh const char *nl = strchr(source, '\n'); /* find first new line (if any) */ 5788e3e3a7aSWarner Losh addstr(out, PRE, LL(PRE)); /* add prefix */ 5798e3e3a7aSWarner Losh bufflen -= LL(PRE RETS POS) + 1; /* save space for prefix+suffix+'\0' */ 580*0495ed39SKyle Evans if (srclen < bufflen && nl == NULL) { /* small one-line source? */ 581*0495ed39SKyle Evans addstr(out, source, srclen); /* keep it */ 5828e3e3a7aSWarner Losh } 5838e3e3a7aSWarner Losh else { 584*0495ed39SKyle Evans if (nl != NULL) srclen = nl - source; /* stop at first newline */ 585*0495ed39SKyle Evans if (srclen > bufflen) srclen = bufflen; 586*0495ed39SKyle Evans addstr(out, source, srclen); 5878e3e3a7aSWarner Losh addstr(out, RETS, LL(RETS)); 5888e3e3a7aSWarner Losh } 5898e3e3a7aSWarner Losh memcpy(out, POS, (LL(POS) + 1) * sizeof(char)); 5908e3e3a7aSWarner Losh } 5918e3e3a7aSWarner Losh } 5928e3e3a7aSWarner Losh 593