3 ** Some generic functions over Lua objects
4 ** See Copyright Notice in lua.h
33 ** Computes ceil(log2(x))
35 int luaO_ceillog2 (unsigned int x
) {
36 static const lu_byte log_2
[256] = { /* log_2[i] = ceil(log2(i - 1)) */
37 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,
38 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,
39 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,
40 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,
41 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,
42 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,
43 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,
44 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
48 while (x
>= 256) { l
+= 8; x
>>= 8; }
53 static lua_Integer
intarith (lua_State
*L
, int op
, lua_Integer v1
,
56 case LUA_OPADD
: return intop(+, v1
, v2
);
57 case LUA_OPSUB
:return intop(-, v1
, v2
);
58 case LUA_OPMUL
:return intop(*, v1
, v2
);
59 case LUA_OPMOD
: return luaV_mod(L
, v1
, v2
);
60 case LUA_OPIDIV
: return luaV_idiv(L
, v1
, v2
);
61 case LUA_OPBAND
: return intop(&, v1
, v2
);
62 case LUA_OPBOR
: return intop(|, v1
, v2
);
63 case LUA_OPBXOR
: return intop(^, v1
, v2
);
64 case LUA_OPSHL
: return luaV_shiftl(v1
, v2
);
65 case LUA_OPSHR
: return luaV_shiftr(v1
, v2
);
66 case LUA_OPUNM
: return intop(-, 0, v1
);
67 case LUA_OPBNOT
: return intop(^, ~l_castS2U(0), v1
);
68 default: lua_assert(0); return 0;
73 static lua_Number
numarith (lua_State
*L
, int op
, lua_Number v1
,
76 case LUA_OPADD
: return luai_numadd(L
, v1
, v2
);
77 case LUA_OPSUB
: return luai_numsub(L
, v1
, v2
);
78 case LUA_OPMUL
: return luai_nummul(L
, v1
, v2
);
79 case LUA_OPDIV
: return luai_numdiv(L
, v1
, v2
);
80 case LUA_OPPOW
: return luai_numpow(L
, v1
, v2
);
81 case LUA_OPIDIV
: return luai_numidiv(L
, v1
, v2
);
82 case LUA_OPUNM
: return luai_numunm(L
, v1
);
83 case LUA_OPMOD
: return luaV_modf(L
, v1
, v2
);
84 default: lua_assert(0); return 0;
89 int luaO_rawarith (lua_State
*L
, int op
, const TValue
*p1
, const TValue
*p2
,
92 case LUA_OPBAND
: case LUA_OPBOR
: case LUA_OPBXOR
:
93 case LUA_OPSHL
: case LUA_OPSHR
:
94 case LUA_OPBNOT
: { /* operate only on integers */
95 lua_Integer i1
; lua_Integer i2
;
96 if (tointegerns(p1
, &i1
) && tointegerns(p2
, &i2
)) {
97 setivalue(res
, intarith(L
, op
, i1
, i2
));
100 else return 0; /* fail */
102 case LUA_OPDIV
: case LUA_OPPOW
: { /* operate only on floats */
103 lua_Number n1
; lua_Number n2
;
104 if (tonumberns(p1
, n1
) && tonumberns(p2
, n2
)) {
105 setfltvalue(res
, numarith(L
, op
, n1
, n2
));
108 else return 0; /* fail */
110 default: { /* other operations */
111 lua_Number n1
; lua_Number n2
;
112 if (ttisinteger(p1
) && ttisinteger(p2
)) {
113 setivalue(res
, intarith(L
, op
, ivalue(p1
), ivalue(p2
)));
116 else if (tonumberns(p1
, n1
) && tonumberns(p2
, n2
)) {
117 setfltvalue(res
, numarith(L
, op
, n1
, n2
));
120 else return 0; /* fail */
126 void luaO_arith (lua_State
*L
, int op
, const TValue
*p1
, const TValue
*p2
,
128 if (!luaO_rawarith(L
, op
, p1
, p2
, s2v(res
))) {
129 /* could not perform raw operation; try metamethod */
130 luaT_trybinTM(L
, p1
, p2
, res
, cast(TMS
, (op
- LUA_OPADD
) + TM_ADD
));
135 int luaO_hexavalue (int c
) {
136 if (lisdigit(c
)) return c
- '0';
137 else return (ltolower(c
) - 'a') + 10;
141 static int isneg (const char **s
) {
142 if (**s
== '-') { (*s
)++; return 1; }
143 else if (**s
== '+') (*s
)++;
150 ** {==================================================================
151 ** Lua's implementation for 'lua_strx2number'
152 ** ===================================================================
155 #if !defined(lua_strx2number)
157 /* maximum number of significant digits to read (to avoid overflows
158 even with single floats) */
162 ** convert a hexadecimal numeric string to a number, following
163 ** C99 specification for 'strtod'
165 static lua_Number
lua_strx2number (const char *s
, char **endptr
) {
166 int dot
= lua_getlocaledecpoint();
167 lua_Number r
= l_mathop(0.0); /* result (accumulator) */
168 int sigdig
= 0; /* number of significant digits */
169 int nosigdig
= 0; /* number of non-significant digits */
170 int e
= 0; /* exponent correction */
171 int neg
; /* 1 if number is negative */
172 int hasdot
= 0; /* true after seen a dot */
173 *endptr
= cast_charp(s
); /* nothing is valid yet */
174 while (lisspace(cast_uchar(*s
))) s
++; /* skip initial spaces */
175 neg
= isneg(&s
); /* check sign */
176 if (!(*s
== '0' && (*(s
+ 1) == 'x' || *(s
+ 1) == 'X'))) /* check '0x' */
177 return l_mathop(0.0); /* invalid format (no '0x') */
178 for (s
+= 2; ; s
++) { /* skip '0x' and read numeral */
180 if (hasdot
) break; /* second dot? stop loop */
183 else if (lisxdigit(cast_uchar(*s
))) {
184 if (sigdig
== 0 && *s
== '0') /* non-significant digit (zero)? */
186 else if (++sigdig
<= MAXSIGDIG
) /* can read it without overflow? */
187 r
= (r
* l_mathop(16.0)) + luaO_hexavalue(*s
);
188 else e
++; /* too many digits; ignore, but still count for exponent */
189 if (hasdot
) e
--; /* decimal digit? correct exponent */
191 else break; /* neither a dot nor a digit */
193 if (nosigdig
+ sigdig
== 0) /* no digits? */
194 return l_mathop(0.0); /* invalid format */
195 *endptr
= cast_charp(s
); /* valid up to here */
196 e
*= 4; /* each digit multiplies/divides value by 2^4 */
197 if (*s
== 'p' || *s
== 'P') { /* exponent part? */
198 int exp1
= 0; /* exponent value */
199 int neg1
; /* exponent sign */
201 neg1
= isneg(&s
); /* sign */
202 if (!lisdigit(cast_uchar(*s
)))
203 return l_mathop(0.0); /* invalid; must have at least one digit */
204 while (lisdigit(cast_uchar(*s
))) /* read exponent */
205 exp1
= exp1
* 10 + *(s
++) - '0';
206 if (neg1
) exp1
= -exp1
;
208 *endptr
= cast_charp(s
); /* valid up to here */
211 return l_mathop(ldexp
)(r
, e
);
215 /* }====================================================== */
218 /* maximum length of a numeral to be converted to a number */
219 #if !defined (L_MAXLENNUM)
220 #define L_MAXLENNUM 200
224 ** Convert string 's' to a Lua number (put in 'result'). Return NULL on
225 ** fail or the address of the ending '\0' on success. ('mode' == 'x')
226 ** means a hexadecimal numeral.
228 static const char *l_str2dloc (const char *s
, lua_Number
*result
, int mode
) {
230 *result
= (mode
== 'x') ? lua_strx2number(s
, &endptr
) /* try to convert */
231 : lua_str2number(s
, &endptr
);
232 if (endptr
== s
) return NULL
; /* nothing recognized? */
233 while (lisspace(cast_uchar(*endptr
))) endptr
++; /* skip trailing spaces */
234 return (*endptr
== '\0') ? endptr
: NULL
; /* OK iff no trailing chars */
239 ** Convert string 's' to a Lua number (put in 'result') handling the
241 ** This function accepts both the current locale or a dot as the radix
242 ** mark. If the conversion fails, it may mean number has a dot but
243 ** locale accepts something else. In that case, the code copies 's'
244 ** to a buffer (because 's' is read-only), changes the dot to the
245 ** current locale radix mark, and tries to convert again.
246 ** The variable 'mode' checks for special characters in the string:
247 ** - 'n' means 'inf' or 'nan' (which should be rejected)
248 ** - 'x' means a hexadecimal numeral
249 ** - '.' just optimizes the search for the common case (no special chars)
251 static const char *l_str2d (const char *s
, lua_Number
*result
) {
253 const char *pmode
= strpbrk(s
, ".xXnN"); /* look for special chars */
254 int mode
= pmode
? ltolower(cast_uchar(*pmode
)) : 0;
255 if (mode
== 'n') /* reject 'inf' and 'nan' */
257 endptr
= l_str2dloc(s
, result
, mode
); /* try to convert */
258 if (endptr
== NULL
) { /* failed? may be a different locale */
259 char buff
[L_MAXLENNUM
+ 1];
260 const char *pdot
= strchr(s
, '.');
261 if (pdot
== NULL
|| strlen(s
) > L_MAXLENNUM
)
262 return NULL
; /* string too long or no dot; fail */
263 strcpy(buff
, s
); /* copy string to buffer */
264 buff
[pdot
- s
] = lua_getlocaledecpoint(); /* correct decimal point */
265 endptr
= l_str2dloc(buff
, result
, mode
); /* try again */
267 endptr
= s
+ (endptr
- buff
); /* make relative to 's' */
273 #define MAXBY10 cast(lua_Unsigned, LUA_MAXINTEGER / 10)
274 #define MAXLASTD cast_int(LUA_MAXINTEGER % 10)
276 static const char *l_str2int (const char *s
, lua_Integer
*result
) {
280 while (lisspace(cast_uchar(*s
))) s
++; /* skip initial spaces */
283 (s
[1] == 'x' || s
[1] == 'X')) { /* hex? */
284 s
+= 2; /* skip '0x' */
285 for (; lisxdigit(cast_uchar(*s
)); s
++) {
286 a
= a
* 16 + luaO_hexavalue(*s
);
291 for (; lisdigit(cast_uchar(*s
)); s
++) {
293 if (a
>= MAXBY10
&& (a
> MAXBY10
|| d
> MAXLASTD
+ neg
)) /* overflow? */
294 return NULL
; /* do not accept it (as integer) */
299 while (lisspace(cast_uchar(*s
))) s
++; /* skip trailing spaces */
300 if (empty
|| *s
!= '\0') return NULL
; /* something wrong in the numeral */
302 *result
= l_castU2S((neg
) ? 0u - a
: a
);
308 size_t luaO_str2num (const char *s
, TValue
*o
) {
309 lua_Integer i
; lua_Number n
;
311 if ((e
= l_str2int(s
, &i
)) != NULL
) { /* try as an integer */
314 else if ((e
= l_str2d(s
, &n
)) != NULL
) { /* else try as a float */
318 return 0; /* conversion failed */
319 return (e
- s
) + 1; /* success; return string size */
323 int luaO_utf8esc (char *buff
, unsigned long x
) {
324 int n
= 1; /* number of bytes put in buffer (backwards) */
325 lua_assert(x
<= 0x7FFFFFFFu
);
326 if (x
< 0x80) /* ascii? */
327 buff
[UTF8BUFFSZ
- 1] = cast_char(x
);
328 else { /* need continuation bytes */
329 unsigned int mfb
= 0x3f; /* maximum that fits in first byte */
330 do { /* add continuation bytes */
331 buff
[UTF8BUFFSZ
- (n
++)] = cast_char(0x80 | (x
& 0x3f));
332 x
>>= 6; /* remove added bits */
333 mfb
>>= 1; /* now there is one less bit available in first byte */
334 } while (x
> mfb
); /* still needs continuation byte? */
335 buff
[UTF8BUFFSZ
- n
] = cast_char((~mfb
<< 1) | x
); /* add first byte */
342 ** Maximum length of the conversion of a number to a string. Must be
343 ** enough to accommodate both LUA_INTEGER_FMT and LUA_NUMBER_FMT.
344 ** (For a long long int, this is 19 digits plus a sign and a final '\0',
345 ** adding to 21. For a long double, it can go to a sign, 33 digits,
346 ** the dot, an exponent letter, an exponent sign, 5 exponent digits,
347 ** and a final '\0', adding to 43.)
349 #define MAXNUMBER2STR 44
353 ** Convert a number object to a string, adding it to a buffer
355 static int tostringbuff (TValue
*obj
, char *buff
) {
357 lua_assert(ttisnumber(obj
));
358 if (ttisinteger(obj
))
359 len
= lua_integer2str(buff
, MAXNUMBER2STR
, ivalue(obj
));
361 len
= lua_number2str(buff
, MAXNUMBER2STR
, fltvalue(obj
));
362 if (buff
[strspn(buff
, "-0123456789")] == '\0') { /* looks like an int? */
363 buff
[len
++] = lua_getlocaledecpoint();
364 buff
[len
++] = '0'; /* adds '.0' to result */
372 ** Convert a number object to a Lua string, replacing the value at 'obj'
374 void luaO_tostring (lua_State
*L
, TValue
*obj
) {
375 char buff
[MAXNUMBER2STR
];
376 int len
= tostringbuff(obj
, buff
);
377 setsvalue(L
, obj
, luaS_newlstr(L
, buff
, len
));
384 ** {==================================================================
385 ** 'luaO_pushvfstring'
386 ** ===================================================================
390 ** Size for buffer space used by 'luaO_pushvfstring'. It should be
391 ** (LUA_IDSIZE + MAXNUMBER2STR) + a minimal space for basic messages,
392 ** so that 'luaG_addinfo' can work directly on the buffer.
394 #define BUFVFS (LUA_IDSIZE + MAXNUMBER2STR + 95)
396 /* buffer used by 'luaO_pushvfstring' */
397 typedef struct BuffFS
{
399 int pushed
; /* true if there is a part of the result on the stack */
400 int blen
; /* length of partial string in 'space' */
401 char space
[BUFVFS
]; /* holds last part of the result */
406 ** Push given string to the stack, as part of the result, and
407 ** join it to previous partial result if there is one.
408 ** It may call 'luaV_concat' while using one slot from EXTRA_STACK.
409 ** This call cannot invoke metamethods, as both operands must be
410 ** strings. It can, however, raise an error if the result is too
411 ** long. In that case, 'luaV_concat' frees the extra slot before
412 ** raising the error.
414 static void pushstr (BuffFS
*buff
, const char *str
, size_t lstr
) {
415 lua_State
*L
= buff
->L
;
416 setsvalue2s(L
, L
->top
.p
, luaS_newlstr(L
, str
, lstr
));
417 L
->top
.p
++; /* may use one slot from EXTRA_STACK */
418 if (!buff
->pushed
) /* no previous string on the stack? */
419 buff
->pushed
= 1; /* now there is one */
420 else /* join previous string with new one */
426 ** empty the buffer space into the stack
428 static void clearbuff (BuffFS
*buff
) {
429 pushstr(buff
, buff
->space
, buff
->blen
); /* push buffer contents */
430 buff
->blen
= 0; /* space now is empty */
435 ** Get a space of size 'sz' in the buffer. If buffer has not enough
436 ** space, empty it. 'sz' must fit in an empty buffer.
438 static char *getbuff (BuffFS
*buff
, int sz
) {
439 lua_assert(buff
->blen
<= BUFVFS
); lua_assert(sz
<= BUFVFS
);
440 if (sz
> BUFVFS
- buff
->blen
) /* not enough space? */
442 return buff
->space
+ buff
->blen
;
446 #define addsize(b,sz) ((b)->blen += (sz))
450 ** Add 'str' to the buffer. If string is larger than the buffer space,
451 ** push the string directly to the stack.
453 static void addstr2buff (BuffFS
*buff
, const char *str
, size_t slen
) {
454 if (slen
<= BUFVFS
) { /* does string fit into buffer? */
455 char *bf
= getbuff(buff
, cast_int(slen
));
456 memcpy(bf
, str
, slen
); /* add string to buffer */
457 addsize(buff
, cast_int(slen
));
459 else { /* string larger than buffer */
460 clearbuff(buff
); /* string comes after buffer's content */
461 pushstr(buff
, str
, slen
); /* push string */
467 ** Add a numeral to the buffer.
469 static void addnum2buff (BuffFS
*buff
, TValue
*num
) {
470 char *numbuff
= getbuff(buff
, MAXNUMBER2STR
);
471 int len
= tostringbuff(num
, numbuff
); /* format number into 'numbuff' */
477 ** this function handles only '%d', '%c', '%f', '%p', '%s', and '%%'
478 conventional formats, plus Lua-specific '%I' and '%U'
480 const char *luaO_pushvfstring (lua_State
*L
, const char *fmt
, va_list argp
) {
481 BuffFS buff
; /* holds last part of the result */
482 const char *e
; /* points to next '%' */
483 buff
.pushed
= buff
.blen
= 0;
485 while ((e
= strchr(fmt
, '%')) != NULL
) {
486 addstr2buff(&buff
, fmt
, e
- fmt
); /* add 'fmt' up to '%' */
487 switch (*(e
+ 1)) { /* conversion specifier */
488 case 's': { /* zero-terminated string */
489 const char *s
= va_arg(argp
, char *);
490 if (s
== NULL
) s
= "(null)";
491 addstr2buff(&buff
, s
, strlen(s
));
494 case 'c': { /* an 'int' as a character */
495 char c
= cast_uchar(va_arg(argp
, int));
496 addstr2buff(&buff
, &c
, sizeof(char));
499 case 'd': { /* an 'int' */
501 setivalue(&num
, va_arg(argp
, int));
502 addnum2buff(&buff
, &num
);
505 case 'I': { /* a 'lua_Integer' */
507 setivalue(&num
, cast(lua_Integer
, va_arg(argp
, l_uacInt
)));
508 addnum2buff(&buff
, &num
);
511 case 'f': { /* a 'lua_Number' */
513 setfltvalue(&num
, cast_num(va_arg(argp
, l_uacNumber
)));
514 addnum2buff(&buff
, &num
);
517 case 'p': { /* a pointer */
518 const int sz
= 3 * sizeof(void*) + 8; /* enough space for '%p' */
519 char *bf
= getbuff(&buff
, sz
);
520 void *p
= va_arg(argp
, void *);
521 int len
= lua_pointer2str(bf
, sz
, p
);
525 case 'U': { /* a 'long' as a UTF-8 sequence */
527 int len
= luaO_utf8esc(bf
, va_arg(argp
, long));
528 addstr2buff(&buff
, bf
+ UTF8BUFFSZ
- len
, len
);
532 addstr2buff(&buff
, "%", 1);
536 luaG_runerror(L
, "invalid option '%%%c' to 'lua_pushfstring'",
540 fmt
= e
+ 2; /* skip '%' and the specifier */
542 addstr2buff(&buff
, fmt
, strlen(fmt
)); /* rest of 'fmt' */
543 clearbuff(&buff
); /* empty buffer into the stack */
544 lua_assert(buff
.pushed
== 1);
545 return svalue(s2v(L
->top
.p
- 1));
549 const char *luaO_pushfstring (lua_State
*L
, const char *fmt
, ...) {
553 msg
= luaO_pushvfstring(L
, fmt
, argp
);
558 /* }================================================================== */
562 #define PRE "[string \""
565 #define addstr(a,b,l) ( memcpy(a,b,(l) * sizeof(char)), a += (l) )
567 void luaO_chunkid (char *out
, const char *source
, size_t srclen
) {
568 size_t bufflen
= LUA_IDSIZE
; /* free space in buffer */
569 if (*source
== '=') { /* 'literal' source */
570 if (srclen
<= bufflen
) /* small enough? */
571 memcpy(out
, source
+ 1, srclen
* sizeof(char));
572 else { /* truncate it */
573 addstr(out
, source
+ 1, bufflen
- 1);
577 else if (*source
== '@') { /* file name */
578 if (srclen
<= bufflen
) /* small enough? */
579 memcpy(out
, source
+ 1, srclen
* sizeof(char));
580 else { /* add '...' before rest of name */
581 addstr(out
, RETS
, LL(RETS
));
583 memcpy(out
, source
+ 1 + srclen
- bufflen
, bufflen
* sizeof(char));
586 else { /* string; format as [string "source"] */
587 const char *nl
= strchr(source
, '\n'); /* find first new line (if any) */
588 addstr(out
, PRE
, LL(PRE
)); /* add prefix */
589 bufflen
-= LL(PRE RETS POS
) + 1; /* save space for prefix+suffix+'\0' */
590 if (srclen
< bufflen
&& nl
== NULL
) { /* small one-line source? */
591 addstr(out
, source
, srclen
); /* keep it */
594 if (nl
!= NULL
) srclen
= nl
- source
; /* stop at first newline */
595 if (srclen
> bufflen
) srclen
= bufflen
;
596 addstr(out
, source
, srclen
);
597 addstr(out
, RETS
, LL(RETS
));
599 memcpy(out
, POS
, (LL(POS
) + 1) * sizeof(char));