xref: /freebsd/contrib/lua/src/lobject.c (revision a9490b81b032b43cdb3c8c76b4d01bbad9ff82c1)
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