18e3e3a7aSWarner Losh /*
20495ed39SKyle 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 */
luaO_ceillog2(unsigned int x)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
intarith(lua_State * L,int op,lua_Integer v1,lua_Integer v2)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);
600495ed39SKyle 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);
65*a9490b81SWarner Losh case LUA_OPSHR: return luaV_shiftr(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
numarith(lua_State * L,int op,lua_Number v1,lua_Number v2)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);
830495ed39SKyle 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
luaO_rawarith(lua_State * L,int op,const TValue * p1,const TValue * p2,TValue * res)890495ed39SKyle 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;
960495ed39SKyle Evans if (tointegerns(p1, &i1) && tointegerns(p2, &i2)) {
978e3e3a7aSWarner Losh setivalue(res, intarith(L, op, i1, i2));
980495ed39SKyle Evans return 1;
998e3e3a7aSWarner Losh }
1000495ed39SKyle 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;
1040495ed39SKyle Evans if (tonumberns(p1, n1) && tonumberns(p2, n2)) {
1058e3e3a7aSWarner Losh setfltvalue(res, numarith(L, op, n1, n2));
1060495ed39SKyle Evans return 1;
1078e3e3a7aSWarner Losh }
1080495ed39SKyle 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)));
1140495ed39SKyle Evans return 1;
1158e3e3a7aSWarner Losh }
1160495ed39SKyle Evans else if (tonumberns(p1, n1) && tonumberns(p2, n2)) {
1178e3e3a7aSWarner Losh setfltvalue(res, numarith(L, op, n1, n2));
1180495ed39SKyle Evans return 1;
1198e3e3a7aSWarner Losh }
1200495ed39SKyle Evans else return 0; /* fail */
1218e3e3a7aSWarner Losh }
1228e3e3a7aSWarner Losh }
1230495ed39SKyle Evans }
1240495ed39SKyle Evans
1250495ed39SKyle Evans
luaO_arith(lua_State * L,int op,const TValue * p1,const TValue * p2,StkId res)1260495ed39SKyle Evans void luaO_arith (lua_State *L, int op, const TValue *p1, const TValue *p2,
1270495ed39SKyle Evans StkId res) {
1280495ed39SKyle 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 }
1320495ed39SKyle Evans }
1338e3e3a7aSWarner Losh
1348e3e3a7aSWarner Losh
luaO_hexavalue(int c)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
isneg(const char ** s)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 /*
1620495ed39SKyle Evans ** convert a hexadecimal numeric string to a number, following
1638e3e3a7aSWarner Losh ** C99 specification for 'strtod'
1648e3e3a7aSWarner Losh */
lua_strx2number(const char * s,char ** endptr)1658e3e3a7aSWarner Losh static lua_Number lua_strx2number (const char *s, char **endptr) {
1668e3e3a7aSWarner Losh int dot = lua_getlocaledecpoint();
1678c784bb8SWarner Losh lua_Number r = l_mathop(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 */
1730495ed39SKyle Evans *endptr = cast_charp(s); /* nothing is valid yet */
1748e3e3a7aSWarner Losh while (lisspace(cast_uchar(*s))) s++; /* skip initial spaces */
1750495ed39SKyle Evans neg = isneg(&s); /* check sign */
1768e3e3a7aSWarner Losh if (!(*s == '0' && (*(s + 1) == 'x' || *(s + 1) == 'X'))) /* check '0x' */
1778c784bb8SWarner Losh return l_mathop(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? */
1878c784bb8SWarner Losh r = (r * l_mathop(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? */
1948c784bb8SWarner Losh return l_mathop(0.0); /* invalid format */
1950495ed39SKyle 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 */
1990495ed39SKyle Evans int neg1; /* exponent sign */
2008e3e3a7aSWarner Losh s++; /* skip 'p' */
2010495ed39SKyle Evans neg1 = isneg(&s); /* sign */
2028e3e3a7aSWarner Losh if (!lisdigit(cast_uchar(*s)))
2038c784bb8SWarner Losh return l_mathop(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;
2080495ed39SKyle 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
2180495ed39SKyle 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
2230495ed39SKyle Evans /*
2240495ed39SKyle Evans ** Convert string 's' to a Lua number (put in 'result'). Return NULL on
2250495ed39SKyle Evans ** fail or the address of the ending '\0' on success. ('mode' == 'x')
2260495ed39SKyle Evans ** means a hexadecimal numeral.
2270495ed39SKyle Evans */
l_str2dloc(const char * s,lua_Number * result,int mode)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 */
2340495ed39SKyle Evans return (*endptr == '\0') ? endptr : NULL; /* OK iff no trailing chars */
2358e3e3a7aSWarner Losh }
2368e3e3a7aSWarner Losh
2378e3e3a7aSWarner Losh
2388e3e3a7aSWarner Losh /*
2390495ed39SKyle Evans ** Convert string 's' to a Lua number (put in 'result') handling the
2400495ed39SKyle 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.
2460495ed39SKyle Evans ** The variable 'mode' checks for special characters in the string:
2470495ed39SKyle Evans ** - 'n' means 'inf' or 'nan' (which should be rejected)
2480495ed39SKyle Evans ** - 'x' means a hexadecimal numeral
2490495ed39SKyle Evans ** - '.' just optimizes the search for the common case (no special chars)
2508e3e3a7aSWarner Losh */
l_str2d(const char * s,lua_Number * result)2518e3e3a7aSWarner Losh static const char *l_str2d (const char *s, lua_Number *result) {
2528e3e3a7aSWarner Losh const char *endptr;
2530495ed39SKyle 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, '.');
2610495ed39SKyle 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
l_str2int(const char * s,lua_Integer * result)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
luaO_str2num(const char * s,TValue * o)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
luaO_utf8esc(char * buff,unsigned long x)3238e3e3a7aSWarner Losh int luaO_utf8esc (char *buff, unsigned long x) {
3248e3e3a7aSWarner Losh int n = 1; /* number of bytes put in buffer (backwards) */
3250495ed39SKyle Evans lua_assert(x <= 0x7FFFFFFFu);
3268e3e3a7aSWarner Losh if (x < 0x80) /* ascii? */
3270495ed39SKyle 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 */
3310495ed39SKyle 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? */
3350495ed39SKyle Evans buff[UTF8BUFFSZ - n] = cast_char((~mfb << 1) | x); /* add first byte */
3368e3e3a7aSWarner Losh }
3378e3e3a7aSWarner Losh return n;
3388e3e3a7aSWarner Losh }
3398e3e3a7aSWarner Losh
3408e3e3a7aSWarner Losh
3410495ed39SKyle Evans /*
3420495ed39SKyle Evans ** Maximum length of the conversion of a number to a string. Must be
3430495ed39SKyle Evans ** enough to accommodate both LUA_INTEGER_FMT and LUA_NUMBER_FMT.
3440495ed39SKyle Evans ** (For a long long int, this is 19 digits plus a sign and a final '\0',
3450495ed39SKyle Evans ** adding to 21. For a long double, it can go to a sign, 33 digits,
3460495ed39SKyle Evans ** the dot, an exponent letter, an exponent sign, 5 exponent digits,
3470495ed39SKyle Evans ** and a final '\0', adding to 43.)
3480495ed39SKyle Evans */
3490495ed39SKyle Evans #define MAXNUMBER2STR 44
3508e3e3a7aSWarner Losh
3518e3e3a7aSWarner Losh
3528e3e3a7aSWarner Losh /*
3530495ed39SKyle Evans ** Convert a number object to a string, adding it to a buffer
3548e3e3a7aSWarner Losh */
tostringbuff(TValue * obj,char * buff)3550495ed39SKyle Evans static int tostringbuff (TValue *obj, char *buff) {
3560495ed39SKyle Evans int len;
3578e3e3a7aSWarner Losh lua_assert(ttisnumber(obj));
3588e3e3a7aSWarner Losh if (ttisinteger(obj))
3590495ed39SKyle Evans len = lua_integer2str(buff, MAXNUMBER2STR, ivalue(obj));
3608e3e3a7aSWarner Losh else {
3610495ed39SKyle 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 }
3670495ed39SKyle Evans return len;
3688e3e3a7aSWarner Losh }
3698e3e3a7aSWarner Losh
3708e3e3a7aSWarner Losh
3718e3e3a7aSWarner Losh /*
3720495ed39SKyle Evans ** Convert a number object to a Lua string, replacing the value at 'obj'
3730495ed39SKyle Evans */
luaO_tostring(lua_State * L,TValue * obj)3740495ed39SKyle Evans void luaO_tostring (lua_State *L, TValue *obj) {
3750495ed39SKyle Evans char buff[MAXNUMBER2STR];
3760495ed39SKyle Evans int len = tostringbuff(obj, buff);
3770495ed39SKyle Evans setsvalue(L, obj, luaS_newlstr(L, buff, len));
3780495ed39SKyle Evans }
3790495ed39SKyle Evans
3800495ed39SKyle Evans
3810495ed39SKyle Evans
3820495ed39SKyle Evans
3830495ed39SKyle Evans /*
3840495ed39SKyle Evans ** {==================================================================
3850495ed39SKyle Evans ** 'luaO_pushvfstring'
3860495ed39SKyle Evans ** ===================================================================
3870495ed39SKyle Evans */
3880495ed39SKyle Evans
389*a9490b81SWarner Losh /*
390*a9490b81SWarner Losh ** Size for buffer space used by 'luaO_pushvfstring'. It should be
391*a9490b81SWarner Losh ** (LUA_IDSIZE + MAXNUMBER2STR) + a minimal space for basic messages,
392*a9490b81SWarner Losh ** so that 'luaG_addinfo' can work directly on the buffer.
393*a9490b81SWarner Losh */
394*a9490b81SWarner Losh #define BUFVFS (LUA_IDSIZE + MAXNUMBER2STR + 95)
3950495ed39SKyle Evans
3960495ed39SKyle Evans /* buffer used by 'luaO_pushvfstring' */
3970495ed39SKyle Evans typedef struct BuffFS {
3980495ed39SKyle Evans lua_State *L;
399*a9490b81SWarner Losh int pushed; /* true if there is a part of the result on the stack */
4000495ed39SKyle Evans int blen; /* length of partial string in 'space' */
4010495ed39SKyle Evans char space[BUFVFS]; /* holds last part of the result */
4020495ed39SKyle Evans } BuffFS;
4030495ed39SKyle Evans
4040495ed39SKyle Evans
4050495ed39SKyle Evans /*
406*a9490b81SWarner Losh ** Push given string to the stack, as part of the result, and
407*a9490b81SWarner Losh ** join it to previous partial result if there is one.
408*a9490b81SWarner Losh ** It may call 'luaV_concat' while using one slot from EXTRA_STACK.
409*a9490b81SWarner Losh ** This call cannot invoke metamethods, as both operands must be
410*a9490b81SWarner Losh ** strings. It can, however, raise an error if the result is too
411*a9490b81SWarner Losh ** long. In that case, 'luaV_concat' frees the extra slot before
412*a9490b81SWarner Losh ** raising the error.
4130495ed39SKyle Evans */
pushstr(BuffFS * buff,const char * str,size_t lstr)414*a9490b81SWarner Losh static void pushstr (BuffFS *buff, const char *str, size_t lstr) {
4150495ed39SKyle Evans lua_State *L = buff->L;
416*a9490b81SWarner Losh setsvalue2s(L, L->top.p, luaS_newlstr(L, str, lstr));
417*a9490b81SWarner Losh L->top.p++; /* may use one slot from EXTRA_STACK */
418*a9490b81SWarner Losh if (!buff->pushed) /* no previous string on the stack? */
419*a9490b81SWarner Losh buff->pushed = 1; /* now there is one */
420*a9490b81SWarner Losh else /* join previous string with new one */
421*a9490b81SWarner Losh luaV_concat(L, 2);
4220495ed39SKyle Evans }
4230495ed39SKyle Evans
4240495ed39SKyle Evans
4250495ed39SKyle Evans /*
4260495ed39SKyle Evans ** empty the buffer space into the stack
4270495ed39SKyle Evans */
clearbuff(BuffFS * buff)4280495ed39SKyle Evans static void clearbuff (BuffFS *buff) {
4290495ed39SKyle Evans pushstr(buff, buff->space, buff->blen); /* push buffer contents */
4300495ed39SKyle Evans buff->blen = 0; /* space now is empty */
4310495ed39SKyle Evans }
4320495ed39SKyle Evans
4330495ed39SKyle Evans
4340495ed39SKyle Evans /*
4350495ed39SKyle Evans ** Get a space of size 'sz' in the buffer. If buffer has not enough
4360495ed39SKyle Evans ** space, empty it. 'sz' must fit in an empty buffer.
4370495ed39SKyle Evans */
getbuff(BuffFS * buff,int sz)4380495ed39SKyle Evans static char *getbuff (BuffFS *buff, int sz) {
4390495ed39SKyle Evans lua_assert(buff->blen <= BUFVFS); lua_assert(sz <= BUFVFS);
4400495ed39SKyle Evans if (sz > BUFVFS - buff->blen) /* not enough space? */
4410495ed39SKyle Evans clearbuff(buff);
4420495ed39SKyle Evans return buff->space + buff->blen;
4430495ed39SKyle Evans }
4440495ed39SKyle Evans
4450495ed39SKyle Evans
4460495ed39SKyle Evans #define addsize(b,sz) ((b)->blen += (sz))
4470495ed39SKyle Evans
4480495ed39SKyle Evans
4490495ed39SKyle Evans /*
4500495ed39SKyle Evans ** Add 'str' to the buffer. If string is larger than the buffer space,
4510495ed39SKyle Evans ** push the string directly to the stack.
4520495ed39SKyle Evans */
addstr2buff(BuffFS * buff,const char * str,size_t slen)4530495ed39SKyle Evans static void addstr2buff (BuffFS *buff, const char *str, size_t slen) {
4540495ed39SKyle Evans if (slen <= BUFVFS) { /* does string fit into buffer? */
4550495ed39SKyle Evans char *bf = getbuff(buff, cast_int(slen));
4560495ed39SKyle Evans memcpy(bf, str, slen); /* add string to buffer */
4570495ed39SKyle Evans addsize(buff, cast_int(slen));
4580495ed39SKyle Evans }
4590495ed39SKyle Evans else { /* string larger than buffer */
4600495ed39SKyle Evans clearbuff(buff); /* string comes after buffer's content */
4610495ed39SKyle Evans pushstr(buff, str, slen); /* push string */
4620495ed39SKyle Evans }
4630495ed39SKyle Evans }
4640495ed39SKyle Evans
4650495ed39SKyle Evans
4660495ed39SKyle Evans /*
467*a9490b81SWarner Losh ** Add a numeral to the buffer.
4680495ed39SKyle Evans */
addnum2buff(BuffFS * buff,TValue * num)4690495ed39SKyle Evans static void addnum2buff (BuffFS *buff, TValue *num) {
4700495ed39SKyle Evans char *numbuff = getbuff(buff, MAXNUMBER2STR);
4710495ed39SKyle Evans int len = tostringbuff(num, numbuff); /* format number into 'numbuff' */
4720495ed39SKyle Evans addsize(buff, len);
4730495ed39SKyle Evans }
4740495ed39SKyle Evans
4750495ed39SKyle Evans
4760495ed39SKyle Evans /*
4770495ed39SKyle Evans ** this function handles only '%d', '%c', '%f', '%p', '%s', and '%%'
4788e3e3a7aSWarner Losh conventional formats, plus Lua-specific '%I' and '%U'
4798e3e3a7aSWarner Losh */
luaO_pushvfstring(lua_State * L,const char * fmt,va_list argp)4808e3e3a7aSWarner Losh const char *luaO_pushvfstring (lua_State *L, const char *fmt, va_list argp) {
4810495ed39SKyle Evans BuffFS buff; /* holds last part of the result */
4820495ed39SKyle Evans const char *e; /* points to next '%' */
4830495ed39SKyle Evans buff.pushed = buff.blen = 0;
4840495ed39SKyle Evans buff.L = L;
4850495ed39SKyle Evans while ((e = strchr(fmt, '%')) != NULL) {
4860495ed39SKyle Evans addstr2buff(&buff, fmt, e - fmt); /* add 'fmt' up to '%' */
4870495ed39SKyle Evans switch (*(e + 1)) { /* conversion specifier */
4888e3e3a7aSWarner Losh case 's': { /* zero-terminated string */
4898e3e3a7aSWarner Losh const char *s = va_arg(argp, char *);
4908e3e3a7aSWarner Losh if (s == NULL) s = "(null)";
4910495ed39SKyle Evans addstr2buff(&buff, s, strlen(s));
4928e3e3a7aSWarner Losh break;
4938e3e3a7aSWarner Losh }
4948e3e3a7aSWarner Losh case 'c': { /* an 'int' as a character */
4950495ed39SKyle Evans char c = cast_uchar(va_arg(argp, int));
4960495ed39SKyle Evans addstr2buff(&buff, &c, sizeof(char));
4978e3e3a7aSWarner Losh break;
4988e3e3a7aSWarner Losh }
4998e3e3a7aSWarner Losh case 'd': { /* an 'int' */
5000495ed39SKyle Evans TValue num;
5010495ed39SKyle Evans setivalue(&num, va_arg(argp, int));
5020495ed39SKyle Evans addnum2buff(&buff, &num);
5030495ed39SKyle Evans break;
5048e3e3a7aSWarner Losh }
5058e3e3a7aSWarner Losh case 'I': { /* a 'lua_Integer' */
5060495ed39SKyle Evans TValue num;
5070495ed39SKyle Evans setivalue(&num, cast(lua_Integer, va_arg(argp, l_uacInt)));
5080495ed39SKyle Evans addnum2buff(&buff, &num);
5090495ed39SKyle Evans break;
5108e3e3a7aSWarner Losh }
5118e3e3a7aSWarner Losh case 'f': { /* a 'lua_Number' */
5120495ed39SKyle Evans TValue num;
5130495ed39SKyle Evans setfltvalue(&num, cast_num(va_arg(argp, l_uacNumber)));
5140495ed39SKyle Evans addnum2buff(&buff, &num);
5158e3e3a7aSWarner Losh break;
5168e3e3a7aSWarner Losh }
5178e3e3a7aSWarner Losh case 'p': { /* a pointer */
5180495ed39SKyle Evans const int sz = 3 * sizeof(void*) + 8; /* enough space for '%p' */
5190495ed39SKyle Evans char *bf = getbuff(&buff, sz);
520e112e9d2SKyle Evans void *p = va_arg(argp, void *);
5210495ed39SKyle Evans int len = lua_pointer2str(bf, sz, p);
5220495ed39SKyle Evans addsize(&buff, len);
5238e3e3a7aSWarner Losh break;
5248e3e3a7aSWarner Losh }
5250495ed39SKyle Evans case 'U': { /* a 'long' as a UTF-8 sequence */
5260495ed39SKyle Evans char bf[UTF8BUFFSZ];
5270495ed39SKyle Evans int len = luaO_utf8esc(bf, va_arg(argp, long));
5280495ed39SKyle Evans addstr2buff(&buff, bf + UTF8BUFFSZ - len, len);
5298e3e3a7aSWarner Losh break;
5308e3e3a7aSWarner Losh }
5318e3e3a7aSWarner Losh case '%': {
5320495ed39SKyle Evans addstr2buff(&buff, "%", 1);
5338e3e3a7aSWarner Losh break;
5348e3e3a7aSWarner Losh }
5358e3e3a7aSWarner Losh default: {
5368e3e3a7aSWarner Losh luaG_runerror(L, "invalid option '%%%c' to 'lua_pushfstring'",
5378e3e3a7aSWarner Losh *(e + 1));
5388e3e3a7aSWarner Losh }
5398e3e3a7aSWarner Losh }
5400495ed39SKyle Evans fmt = e + 2; /* skip '%' and the specifier */
5418e3e3a7aSWarner Losh }
5420495ed39SKyle Evans addstr2buff(&buff, fmt, strlen(fmt)); /* rest of 'fmt' */
5430495ed39SKyle Evans clearbuff(&buff); /* empty buffer into the stack */
5440495ed39SKyle Evans lua_assert(buff.pushed == 1);
545*a9490b81SWarner Losh return svalue(s2v(L->top.p - 1));
5468e3e3a7aSWarner Losh }
5478e3e3a7aSWarner Losh
5488e3e3a7aSWarner Losh
luaO_pushfstring(lua_State * L,const char * fmt,...)5498e3e3a7aSWarner Losh const char *luaO_pushfstring (lua_State *L, const char *fmt, ...) {
5508e3e3a7aSWarner Losh const char *msg;
5518e3e3a7aSWarner Losh va_list argp;
5528e3e3a7aSWarner Losh va_start(argp, fmt);
5538e3e3a7aSWarner Losh msg = luaO_pushvfstring(L, fmt, argp);
5548e3e3a7aSWarner Losh va_end(argp);
5558e3e3a7aSWarner Losh return msg;
5568e3e3a7aSWarner Losh }
5578e3e3a7aSWarner Losh
5580495ed39SKyle Evans /* }================================================================== */
5598e3e3a7aSWarner Losh
5608e3e3a7aSWarner Losh
5618e3e3a7aSWarner Losh #define RETS "..."
5628e3e3a7aSWarner Losh #define PRE "[string \""
5638e3e3a7aSWarner Losh #define POS "\"]"
5648e3e3a7aSWarner Losh
5658e3e3a7aSWarner Losh #define addstr(a,b,l) ( memcpy(a,b,(l) * sizeof(char)), a += (l) )
5668e3e3a7aSWarner Losh
luaO_chunkid(char * out,const char * source,size_t srclen)5670495ed39SKyle Evans void luaO_chunkid (char *out, const char *source, size_t srclen) {
5680495ed39SKyle Evans size_t bufflen = LUA_IDSIZE; /* free space in buffer */
5698e3e3a7aSWarner Losh if (*source == '=') { /* 'literal' source */
5700495ed39SKyle Evans if (srclen <= bufflen) /* small enough? */
5710495ed39SKyle Evans memcpy(out, source + 1, srclen * sizeof(char));
5728e3e3a7aSWarner Losh else { /* truncate it */
5738e3e3a7aSWarner Losh addstr(out, source + 1, bufflen - 1);
5748e3e3a7aSWarner Losh *out = '\0';
5758e3e3a7aSWarner Losh }
5768e3e3a7aSWarner Losh }
5778e3e3a7aSWarner Losh else if (*source == '@') { /* file name */
5780495ed39SKyle Evans if (srclen <= bufflen) /* small enough? */
5790495ed39SKyle Evans memcpy(out, source + 1, srclen * sizeof(char));
5808e3e3a7aSWarner Losh else { /* add '...' before rest of name */
5818e3e3a7aSWarner Losh addstr(out, RETS, LL(RETS));
5828e3e3a7aSWarner Losh bufflen -= LL(RETS);
5830495ed39SKyle Evans memcpy(out, source + 1 + srclen - bufflen, bufflen * sizeof(char));
5848e3e3a7aSWarner Losh }
5858e3e3a7aSWarner Losh }
5868e3e3a7aSWarner Losh else { /* string; format as [string "source"] */
5878e3e3a7aSWarner Losh const char *nl = strchr(source, '\n'); /* find first new line (if any) */
5888e3e3a7aSWarner Losh addstr(out, PRE, LL(PRE)); /* add prefix */
5898e3e3a7aSWarner Losh bufflen -= LL(PRE RETS POS) + 1; /* save space for prefix+suffix+'\0' */
5900495ed39SKyle Evans if (srclen < bufflen && nl == NULL) { /* small one-line source? */
5910495ed39SKyle Evans addstr(out, source, srclen); /* keep it */
5928e3e3a7aSWarner Losh }
5938e3e3a7aSWarner Losh else {
5940495ed39SKyle Evans if (nl != NULL) srclen = nl - source; /* stop at first newline */
5950495ed39SKyle Evans if (srclen > bufflen) srclen = bufflen;
5960495ed39SKyle Evans addstr(out, source, srclen);
5978e3e3a7aSWarner Losh addstr(out, RETS, LL(RETS));
5988e3e3a7aSWarner Losh }
5998e3e3a7aSWarner Losh memcpy(out, POS, (LL(POS) + 1) * sizeof(char));
6008e3e3a7aSWarner Losh }
6018e3e3a7aSWarner Losh }
6028e3e3a7aSWarner Losh
603