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