2009-12-08 18:46:35 +00:00
|
|
|
/*
|
|
|
|
** Base and coroutine library.
|
2021-01-02 20:49:41 +00:00
|
|
|
** Copyright (C) 2005-2021 Mike Pall. See Copyright Notice in luajit.h
|
2009-12-08 18:46:35 +00:00
|
|
|
**
|
|
|
|
** Major portions taken verbatim or adapted from the Lua interpreter.
|
2011-02-20 19:33:00 +00:00
|
|
|
** Copyright (C) 1994-2011 Lua.org, PUC-Rio. See Copyright Notice in lua.h
|
2009-12-08 18:46:35 +00:00
|
|
|
*/
|
|
|
|
|
|
|
|
#include <stdio.h>
|
|
|
|
|
|
|
|
#define lib_base_c
|
|
|
|
#define LUA_LIB
|
|
|
|
|
|
|
|
#include "lua.h"
|
|
|
|
#include "lauxlib.h"
|
|
|
|
#include "lualib.h"
|
|
|
|
|
|
|
|
#include "lj_obj.h"
|
|
|
|
#include "lj_gc.h"
|
|
|
|
#include "lj_err.h"
|
2011-06-07 19:37:24 +00:00
|
|
|
#include "lj_debug.h"
|
2021-06-01 03:16:32 +00:00
|
|
|
#include "lj_buf.h"
|
2009-12-08 18:46:35 +00:00
|
|
|
#include "lj_str.h"
|
|
|
|
#include "lj_tab.h"
|
|
|
|
#include "lj_meta.h"
|
|
|
|
#include "lj_state.h"
|
2017-01-17 10:37:28 +00:00
|
|
|
#include "lj_frame.h"
|
2010-12-04 23:40:23 +00:00
|
|
|
#if LJ_HASFFI
|
|
|
|
#include "lj_ctype.h"
|
|
|
|
#include "lj_cconv.h"
|
|
|
|
#endif
|
2010-02-13 03:51:56 +00:00
|
|
|
#include "lj_bc.h"
|
2009-12-08 18:46:35 +00:00
|
|
|
#include "lj_ff.h"
|
2010-02-13 03:51:56 +00:00
|
|
|
#include "lj_dispatch.h"
|
2010-11-09 11:09:54 +00:00
|
|
|
#include "lj_char.h"
|
2012-08-25 21:02:29 +00:00
|
|
|
#include "lj_strscan.h"
|
2013-05-12 22:34:15 +00:00
|
|
|
#include "lj_strfmt.h"
|
2009-12-08 18:46:35 +00:00
|
|
|
#include "lj_lib.h"
|
|
|
|
|
|
|
|
/* -- Base library: checks ------------------------------------------------ */
|
|
|
|
|
|
|
|
#define LJLIB_MODULE_base
|
|
|
|
|
|
|
|
LJLIB_ASM(assert) LJLIB_REC(.)
|
|
|
|
{
|
|
|
|
lj_lib_checkany(L, 1);
|
2018-06-05 10:23:56 +00:00
|
|
|
if (L->top == L->base+1)
|
2009-12-08 18:46:35 +00:00
|
|
|
lj_err_caller(L, LJ_ERR_ASSERT);
|
2018-06-05 10:23:56 +00:00
|
|
|
else if (tvisstr(L->base+1) || tvisnumber(L->base+1))
|
|
|
|
lj_err_callermsg(L, strdata(lj_lib_checkstr(L, 2)));
|
|
|
|
else
|
|
|
|
lj_err_run(L);
|
2009-12-08 18:46:35 +00:00
|
|
|
return FFH_UNREACHABLE;
|
|
|
|
}
|
|
|
|
|
|
|
|
/* ORDER LJ_T */
|
|
|
|
LJLIB_PUSH("nil")
|
|
|
|
LJLIB_PUSH("boolean")
|
|
|
|
LJLIB_PUSH(top-1) /* boolean */
|
|
|
|
LJLIB_PUSH("userdata")
|
|
|
|
LJLIB_PUSH("string")
|
|
|
|
LJLIB_PUSH("upval")
|
|
|
|
LJLIB_PUSH("thread")
|
|
|
|
LJLIB_PUSH("proto")
|
|
|
|
LJLIB_PUSH("function")
|
2010-04-25 01:32:29 +00:00
|
|
|
LJLIB_PUSH("trace")
|
2010-11-26 12:28:46 +00:00
|
|
|
LJLIB_PUSH("cdata")
|
2009-12-08 18:46:35 +00:00
|
|
|
LJLIB_PUSH("table")
|
2010-11-26 12:28:46 +00:00
|
|
|
LJLIB_PUSH(top-9) /* userdata */
|
2009-12-08 18:46:35 +00:00
|
|
|
LJLIB_PUSH("number")
|
|
|
|
LJLIB_ASM_(type) LJLIB_REC(.)
|
|
|
|
/* Recycle the lj_lib_checkany(L, 1) from assert. */
|
|
|
|
|
2012-09-24 15:13:53 +00:00
|
|
|
/* -- Base library: iterators --------------------------------------------- */
|
|
|
|
|
|
|
|
/* This solves a circular dependency problem -- change FF_next_N as needed. */
|
|
|
|
LJ_STATIC_ASSERT((int)FF_next == FF_next_N);
|
|
|
|
|
|
|
|
LJLIB_ASM(next)
|
|
|
|
{
|
|
|
|
lj_lib_checktab(L, 1);
|
|
|
|
return FFH_UNREACHABLE;
|
|
|
|
}
|
|
|
|
|
|
|
|
#if LJ_52 || LJ_HASFFI
|
|
|
|
static int ffh_pairs(lua_State *L, MMS mm)
|
|
|
|
{
|
|
|
|
TValue *o = lj_lib_checkany(L, 1);
|
|
|
|
cTValue *mo = lj_meta_lookup(L, o, mm);
|
|
|
|
if ((LJ_52 || tviscdata(o)) && !tvisnil(mo)) {
|
|
|
|
L->top = o+1; /* Only keep one argument. */
|
2015-01-03 14:04:38 +00:00
|
|
|
copyTV(L, L->base-1-LJ_FR2, mo); /* Replace callable. */
|
2012-09-24 15:13:53 +00:00
|
|
|
return FFH_TAILCALL;
|
|
|
|
} else {
|
|
|
|
if (!tvistab(o)) lj_err_argt(L, 1, LUA_TTABLE);
|
2015-01-03 14:04:38 +00:00
|
|
|
if (LJ_FR2) { copyTV(L, o-1, o); o--; }
|
2012-09-24 15:13:53 +00:00
|
|
|
setfuncV(L, o-1, funcV(lj_lib_upvalue(L, 1)));
|
|
|
|
if (mm == MM_pairs) setnilV(o+1); else setintV(o+1, 0);
|
|
|
|
return FFH_RES(3);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
#else
|
|
|
|
#define ffh_pairs(L, mm) (lj_lib_checktab(L, 1), FFH_UNREACHABLE)
|
|
|
|
#endif
|
|
|
|
|
|
|
|
LJLIB_PUSH(lastcl)
|
2013-12-25 01:55:25 +00:00
|
|
|
LJLIB_ASM(pairs) LJLIB_REC(xpairs 0)
|
2012-09-24 15:13:53 +00:00
|
|
|
{
|
|
|
|
return ffh_pairs(L, MM_pairs);
|
|
|
|
}
|
|
|
|
|
|
|
|
LJLIB_NOREGUV LJLIB_ASM(ipairs_aux) LJLIB_REC(.)
|
|
|
|
{
|
|
|
|
lj_lib_checktab(L, 1);
|
|
|
|
lj_lib_checkint(L, 2);
|
|
|
|
return FFH_UNREACHABLE;
|
|
|
|
}
|
|
|
|
|
|
|
|
LJLIB_PUSH(lastcl)
|
2013-12-25 01:55:25 +00:00
|
|
|
LJLIB_ASM(ipairs) LJLIB_REC(xpairs 1)
|
2012-09-24 15:13:53 +00:00
|
|
|
{
|
|
|
|
return ffh_pairs(L, MM_ipairs);
|
|
|
|
}
|
|
|
|
|
2009-12-08 18:46:35 +00:00
|
|
|
/* -- Base library: getters and setters ----------------------------------- */
|
|
|
|
|
|
|
|
LJLIB_ASM_(getmetatable) LJLIB_REC(.)
|
|
|
|
/* Recycle the lj_lib_checkany(L, 1) from assert. */
|
|
|
|
|
|
|
|
LJLIB_ASM(setmetatable) LJLIB_REC(.)
|
|
|
|
{
|
|
|
|
GCtab *t = lj_lib_checktab(L, 1);
|
|
|
|
GCtab *mt = lj_lib_checktabornil(L, 2);
|
|
|
|
if (!tvisnil(lj_meta_lookup(L, L->base, MM_metatable)))
|
|
|
|
lj_err_caller(L, LJ_ERR_PROTMT);
|
|
|
|
setgcref(t->metatable, obj2gco(mt));
|
|
|
|
if (mt) { lj_gc_objbarriert(L, t, mt); }
|
2015-01-03 14:04:38 +00:00
|
|
|
settabV(L, L->base-1-LJ_FR2, t);
|
2009-12-08 18:46:35 +00:00
|
|
|
return FFH_RES(1);
|
|
|
|
}
|
|
|
|
|
2013-10-09 18:34:40 +00:00
|
|
|
LJLIB_CF(getfenv) LJLIB_REC(.)
|
2009-12-08 18:46:35 +00:00
|
|
|
{
|
|
|
|
GCfunc *fn;
|
|
|
|
cTValue *o = L->base;
|
|
|
|
if (!(o < L->top && tvisfunc(o))) {
|
|
|
|
int level = lj_lib_optint(L, 1, 1);
|
2011-06-07 19:37:24 +00:00
|
|
|
o = lj_debug_frame(L, level, &level);
|
2009-12-08 18:46:35 +00:00
|
|
|
if (o == NULL)
|
|
|
|
lj_err_arg(L, 1, LJ_ERR_INVLVL);
|
2015-01-03 14:04:38 +00:00
|
|
|
if (LJ_FR2) o--;
|
2009-12-08 18:46:35 +00:00
|
|
|
}
|
|
|
|
fn = &gcval(o)->fn;
|
|
|
|
settabV(L, L->top++, isluafunc(fn) ? tabref(fn->l.env) : tabref(L->env));
|
|
|
|
return 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
LJLIB_CF(setfenv)
|
|
|
|
{
|
|
|
|
GCfunc *fn;
|
|
|
|
GCtab *t = lj_lib_checktab(L, 2);
|
|
|
|
cTValue *o = L->base;
|
|
|
|
if (!(o < L->top && tvisfunc(o))) {
|
|
|
|
int level = lj_lib_checkint(L, 1);
|
|
|
|
if (level == 0) {
|
|
|
|
/* NOBARRIER: A thread (i.e. L) is never black. */
|
|
|
|
setgcref(L->env, obj2gco(t));
|
|
|
|
return 0;
|
|
|
|
}
|
2011-06-07 19:37:24 +00:00
|
|
|
o = lj_debug_frame(L, level, &level);
|
2009-12-08 18:46:35 +00:00
|
|
|
if (o == NULL)
|
|
|
|
lj_err_arg(L, 1, LJ_ERR_INVLVL);
|
2015-01-03 14:04:38 +00:00
|
|
|
if (LJ_FR2) o--;
|
2009-12-08 18:46:35 +00:00
|
|
|
}
|
|
|
|
fn = &gcval(o)->fn;
|
|
|
|
if (!isluafunc(fn))
|
|
|
|
lj_err_caller(L, LJ_ERR_SETFENV);
|
|
|
|
setgcref(fn->l.env, obj2gco(t));
|
|
|
|
lj_gc_objbarrier(L, obj2gco(fn), t);
|
|
|
|
setfuncV(L, L->top++, fn);
|
|
|
|
return 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
LJLIB_ASM(rawget) LJLIB_REC(.)
|
|
|
|
{
|
|
|
|
lj_lib_checktab(L, 1);
|
|
|
|
lj_lib_checkany(L, 2);
|
|
|
|
return FFH_UNREACHABLE;
|
|
|
|
}
|
|
|
|
|
|
|
|
LJLIB_CF(rawset) LJLIB_REC(.)
|
|
|
|
{
|
|
|
|
lj_lib_checktab(L, 1);
|
|
|
|
lj_lib_checkany(L, 2);
|
|
|
|
L->top = 1+lj_lib_checkany(L, 3);
|
|
|
|
lua_rawset(L, 1);
|
|
|
|
return 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
LJLIB_CF(rawequal) LJLIB_REC(.)
|
|
|
|
{
|
|
|
|
cTValue *o1 = lj_lib_checkany(L, 1);
|
|
|
|
cTValue *o2 = lj_lib_checkany(L, 2);
|
|
|
|
setboolV(L->top-1, lj_obj_equal(o1, o2));
|
|
|
|
return 1;
|
|
|
|
}
|
|
|
|
|
2012-09-24 15:33:32 +00:00
|
|
|
#if LJ_52
|
|
|
|
LJLIB_CF(rawlen) LJLIB_REC(.)
|
|
|
|
{
|
|
|
|
cTValue *o = L->base;
|
|
|
|
int32_t len;
|
|
|
|
if (L->top > o && tvisstr(o))
|
|
|
|
len = (int32_t)strV(o)->len;
|
|
|
|
else
|
|
|
|
len = (int32_t)lj_tab_len(lj_lib_checktab(L, 1));
|
|
|
|
setintV(L->top-1, len);
|
|
|
|
return 1;
|
|
|
|
}
|
|
|
|
#endif
|
|
|
|
|
2009-12-08 18:46:35 +00:00
|
|
|
LJLIB_CF(unpack)
|
|
|
|
{
|
|
|
|
GCtab *t = lj_lib_checktab(L, 1);
|
|
|
|
int32_t n, i = lj_lib_optint(L, 2, 1);
|
|
|
|
int32_t e = (L->base+3-1 < L->top && !tvisnil(L->base+3-1)) ?
|
|
|
|
lj_lib_checkint(L, 3) : (int32_t)lj_tab_len(t);
|
2020-04-28 15:52:28 +00:00
|
|
|
uint32_t nu;
|
2009-12-08 18:46:35 +00:00
|
|
|
if (i > e) return 0;
|
2020-04-28 15:52:28 +00:00
|
|
|
nu = (uint32_t)e - (uint32_t)i;
|
|
|
|
n = (int32_t)(nu+1);
|
|
|
|
if (nu >= LUAI_MAXCSTACK || !lua_checkstack(L, n))
|
2009-12-08 18:46:35 +00:00
|
|
|
lj_err_caller(L, LJ_ERR_UNPACK);
|
|
|
|
do {
|
|
|
|
cTValue *tv = lj_tab_getint(t, i);
|
|
|
|
if (tv) {
|
|
|
|
copyTV(L, L->top++, tv);
|
|
|
|
} else {
|
|
|
|
setnilV(L->top++);
|
|
|
|
}
|
|
|
|
} while (i++ < e);
|
|
|
|
return n;
|
|
|
|
}
|
|
|
|
|
2010-09-12 23:21:44 +00:00
|
|
|
LJLIB_CF(select) LJLIB_REC(.)
|
2009-12-08 18:46:35 +00:00
|
|
|
{
|
|
|
|
int32_t n = (int32_t)(L->top - L->base);
|
|
|
|
if (n >= 1 && tvisstr(L->base) && *strVdata(L->base) == '#') {
|
|
|
|
setintV(L->top-1, n-1);
|
|
|
|
return 1;
|
|
|
|
} else {
|
|
|
|
int32_t i = lj_lib_checkint(L, 1);
|
|
|
|
if (i < 0) i = n + i; else if (i > n) i = n;
|
|
|
|
if (i < 1)
|
|
|
|
lj_err_arg(L, 1, LJ_ERR_IDXRNG);
|
|
|
|
return n - i;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
/* -- Base library: conversions ------------------------------------------- */
|
|
|
|
|
|
|
|
LJLIB_ASM(tonumber) LJLIB_REC(.)
|
|
|
|
{
|
|
|
|
int32_t base = lj_lib_optint(L, 2, 10);
|
|
|
|
if (base == 10) {
|
|
|
|
TValue *o = lj_lib_checkany(L, 1);
|
2012-08-25 21:02:29 +00:00
|
|
|
if (lj_strscan_numberobj(o)) {
|
2015-01-03 14:04:38 +00:00
|
|
|
copyTV(L, L->base-1-LJ_FR2, o);
|
2009-12-08 18:46:35 +00:00
|
|
|
return FFH_RES(1);
|
|
|
|
}
|
2010-12-04 23:40:23 +00:00
|
|
|
#if LJ_HASFFI
|
|
|
|
if (tviscdata(o)) {
|
|
|
|
CTState *cts = ctype_cts(L);
|
2012-07-03 11:19:32 +00:00
|
|
|
CType *ct = lj_ctype_rawref(cts, cdataV(o)->ctypeid);
|
2011-06-06 17:56:55 +00:00
|
|
|
if (ctype_isenum(ct->info)) ct = ctype_child(cts, ct);
|
|
|
|
if (ctype_isnum(ct->info) || ctype_iscomplex(ct->info)) {
|
|
|
|
if (LJ_DUALNUM && ctype_isinteger_or_bool(ct->info) &&
|
|
|
|
ct->size <= 4 && !(ct->size == 4 && (ct->info & CTF_UNSIGNED))) {
|
|
|
|
int32_t i;
|
|
|
|
lj_cconv_ct_tv(cts, ctype_get(cts, CTID_INT32), (uint8_t *)&i, o, 0);
|
2015-01-03 14:04:38 +00:00
|
|
|
setintV(L->base-1-LJ_FR2, i);
|
2011-06-06 17:56:55 +00:00
|
|
|
return FFH_RES(1);
|
2011-02-27 00:36:59 +00:00
|
|
|
}
|
2011-06-06 17:56:55 +00:00
|
|
|
lj_cconv_ct_tv(cts, ctype_get(cts, CTID_DOUBLE),
|
2015-01-03 14:04:38 +00:00
|
|
|
(uint8_t *)&(L->base-1-LJ_FR2)->n, o, 0);
|
2011-06-06 17:56:55 +00:00
|
|
|
return FFH_RES(1);
|
2011-02-27 00:36:59 +00:00
|
|
|
}
|
2010-12-04 23:40:23 +00:00
|
|
|
}
|
|
|
|
#endif
|
2009-12-08 18:46:35 +00:00
|
|
|
} else {
|
|
|
|
const char *p = strdata(lj_lib_checkstr(L, 1));
|
|
|
|
char *ep;
|
2018-04-22 11:14:28 +00:00
|
|
|
unsigned int neg = 0;
|
2009-12-08 18:46:35 +00:00
|
|
|
unsigned long ul;
|
|
|
|
if (base < 2 || base > 36)
|
|
|
|
lj_err_arg(L, 2, LJ_ERR_BASERNG);
|
2018-04-22 11:14:28 +00:00
|
|
|
while (lj_char_isspace((unsigned char)(*p))) p++;
|
|
|
|
if (*p == '-') { p++; neg = 1; } else if (*p == '+') { p++; }
|
|
|
|
if (lj_char_isalnum((unsigned char)(*p))) {
|
|
|
|
ul = strtoul(p, &ep, base);
|
|
|
|
if (p != ep) {
|
|
|
|
while (lj_char_isspace((unsigned char)(*ep))) ep++;
|
|
|
|
if (*ep == '\0') {
|
|
|
|
if (LJ_DUALNUM && LJ_LIKELY(ul < 0x80000000u+neg)) {
|
2020-06-25 13:19:48 +00:00
|
|
|
if (neg) ul = (unsigned long)-(long)ul;
|
2018-04-22 11:14:28 +00:00
|
|
|
setintV(L->base-1-LJ_FR2, (int32_t)ul);
|
|
|
|
} else {
|
|
|
|
lua_Number n = (lua_Number)ul;
|
|
|
|
if (neg) n = -n;
|
|
|
|
setnumV(L->base-1-LJ_FR2, n);
|
|
|
|
}
|
|
|
|
return FFH_RES(1);
|
|
|
|
}
|
2009-12-08 18:46:35 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
2015-01-03 14:04:38 +00:00
|
|
|
setnilV(L->base-1-LJ_FR2);
|
2009-12-08 18:46:35 +00:00
|
|
|
return FFH_RES(1);
|
|
|
|
}
|
|
|
|
|
|
|
|
LJLIB_ASM(tostring) LJLIB_REC(.)
|
|
|
|
{
|
|
|
|
TValue *o = lj_lib_checkany(L, 1);
|
|
|
|
cTValue *mo;
|
|
|
|
L->top = o+1; /* Only keep one argument. */
|
|
|
|
if (!tvisnil(mo = lj_meta_lookup(L, o, MM_tostring))) {
|
2015-01-03 14:04:38 +00:00
|
|
|
copyTV(L, L->base-1-LJ_FR2, mo); /* Replace callable. */
|
2010-09-02 15:16:56 +00:00
|
|
|
return FFH_TAILCALL;
|
2009-12-08 18:46:35 +00:00
|
|
|
}
|
2013-05-12 22:34:15 +00:00
|
|
|
lj_gc_check(L);
|
2015-01-03 14:04:38 +00:00
|
|
|
setstrV(L, L->base-1-LJ_FR2, lj_strfmt_obj(L, L->base));
|
2013-05-12 22:34:15 +00:00
|
|
|
return FFH_RES(1);
|
2009-12-08 18:46:35 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
/* -- Base library: throw and catch errors -------------------------------- */
|
|
|
|
|
|
|
|
LJLIB_CF(error)
|
|
|
|
{
|
|
|
|
int32_t level = lj_lib_optint(L, 2, 1);
|
|
|
|
lua_settop(L, 1);
|
|
|
|
if (lua_isstring(L, 1) && level > 0) {
|
|
|
|
luaL_where(L, level);
|
|
|
|
lua_pushvalue(L, 1);
|
|
|
|
lua_concat(L, 2);
|
|
|
|
}
|
|
|
|
return lua_error(L);
|
|
|
|
}
|
|
|
|
|
|
|
|
LJLIB_ASM(pcall) LJLIB_REC(.)
|
|
|
|
{
|
|
|
|
lj_lib_checkany(L, 1);
|
|
|
|
lj_lib_checkfunc(L, 2); /* For xpcall only. */
|
|
|
|
return FFH_UNREACHABLE;
|
|
|
|
}
|
|
|
|
LJLIB_ASM_(xpcall) LJLIB_REC(.)
|
|
|
|
|
|
|
|
/* -- Base library: load Lua code ----------------------------------------- */
|
|
|
|
|
2012-09-21 14:33:14 +00:00
|
|
|
static int load_aux(lua_State *L, int status, int envarg)
|
2009-12-08 18:46:35 +00:00
|
|
|
{
|
2017-04-07 10:12:03 +00:00
|
|
|
if (status == LUA_OK) {
|
2012-09-21 14:33:14 +00:00
|
|
|
if (tvistab(L->base+envarg-1)) {
|
|
|
|
GCfunc *fn = funcV(L->top-1);
|
|
|
|
GCtab *t = tabV(L->base+envarg-1);
|
|
|
|
setgcref(fn->c.env, obj2gco(t));
|
|
|
|
lj_gc_objbarrier(L, fn, t);
|
|
|
|
}
|
2009-12-08 18:46:35 +00:00
|
|
|
return 1;
|
2012-09-21 14:33:14 +00:00
|
|
|
} else {
|
|
|
|
setnilV(L->top-2);
|
|
|
|
return 2;
|
|
|
|
}
|
2009-12-08 18:46:35 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
LJLIB_CF(loadfile)
|
|
|
|
{
|
|
|
|
GCstr *fname = lj_lib_optstr(L, 1);
|
2012-09-21 14:33:14 +00:00
|
|
|
GCstr *mode = lj_lib_optstr(L, 2);
|
|
|
|
int status;
|
|
|
|
lua_settop(L, 3); /* Ensure env arg exists. */
|
|
|
|
status = luaL_loadfilex(L, fname ? strdata(fname) : NULL,
|
|
|
|
mode ? strdata(mode) : NULL);
|
|
|
|
return load_aux(L, status, 3);
|
2009-12-08 18:46:35 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
static const char *reader_func(lua_State *L, void *ud, size_t *size)
|
|
|
|
{
|
|
|
|
UNUSED(ud);
|
|
|
|
luaL_checkstack(L, 2, "too many nested functions");
|
|
|
|
copyTV(L, L->top++, L->base);
|
|
|
|
lua_call(L, 0, 1); /* Call user-supplied function. */
|
|
|
|
L->top--;
|
|
|
|
if (tvisnil(L->top)) {
|
|
|
|
*size = 0;
|
|
|
|
return NULL;
|
2011-02-16 23:44:14 +00:00
|
|
|
} else if (tvisstr(L->top) || tvisnumber(L->top)) {
|
2012-09-21 14:33:14 +00:00
|
|
|
copyTV(L, L->base+4, L->top); /* Anchor string in reserved stack slot. */
|
|
|
|
return lua_tolstring(L, 5, size);
|
2009-12-08 18:46:35 +00:00
|
|
|
} else {
|
|
|
|
lj_err_caller(L, LJ_ERR_RDRSTR);
|
|
|
|
return NULL;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
LJLIB_CF(load)
|
|
|
|
{
|
2012-09-21 14:33:14 +00:00
|
|
|
GCstr *name = lj_lib_optstr(L, 2);
|
|
|
|
GCstr *mode = lj_lib_optstr(L, 3);
|
|
|
|
int status;
|
2021-06-01 03:16:32 +00:00
|
|
|
if (L->base < L->top &&
|
|
|
|
(tvisstr(L->base) || tvisnumber(L->base) || tvisbuf(L->base))) {
|
|
|
|
const char *s;
|
|
|
|
MSize len;
|
|
|
|
if (tvisbuf(L->base)) {
|
|
|
|
SBufExt *sbx = bufV(L->base);
|
|
|
|
s = sbx->r;
|
|
|
|
len = sbufxlen(sbx);
|
|
|
|
if (!name) name = &G(L)->strempty; /* Buffers are not NUL-terminated. */
|
|
|
|
} else {
|
|
|
|
GCstr *str = lj_lib_checkstr(L, 1);
|
|
|
|
s = strdata(str);
|
|
|
|
len = str->len;
|
|
|
|
}
|
2012-09-21 14:33:14 +00:00
|
|
|
lua_settop(L, 4); /* Ensure env arg exists. */
|
2021-06-01 03:16:32 +00:00
|
|
|
status = luaL_loadbufferx(L, s, len, name ? strdata(name) : s,
|
2012-09-21 14:33:14 +00:00
|
|
|
mode ? strdata(mode) : NULL);
|
|
|
|
} else {
|
|
|
|
lj_lib_checkfunc(L, 1);
|
|
|
|
lua_settop(L, 5); /* Reserve a slot for the string from the reader. */
|
|
|
|
status = lua_loadx(L, reader_func, NULL, name ? strdata(name) : "=(load)",
|
|
|
|
mode ? strdata(mode) : NULL);
|
|
|
|
}
|
|
|
|
return load_aux(L, status, 4);
|
|
|
|
}
|
|
|
|
|
|
|
|
LJLIB_CF(loadstring)
|
|
|
|
{
|
|
|
|
return lj_cf_load(L);
|
2009-12-08 18:46:35 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
LJLIB_CF(dofile)
|
|
|
|
{
|
|
|
|
GCstr *fname = lj_lib_optstr(L, 1);
|
|
|
|
setnilV(L->top);
|
|
|
|
L->top = L->base+1;
|
2017-04-07 10:12:03 +00:00
|
|
|
if (luaL_loadfile(L, fname ? strdata(fname) : NULL) != LUA_OK)
|
2009-12-08 18:46:35 +00:00
|
|
|
lua_error(L);
|
|
|
|
lua_call(L, 0, LUA_MULTRET);
|
2011-02-16 23:44:14 +00:00
|
|
|
return (int)(L->top - L->base) - 1;
|
2009-12-08 18:46:35 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
/* -- Base library: GC control -------------------------------------------- */
|
|
|
|
|
|
|
|
LJLIB_CF(gcinfo)
|
|
|
|
{
|
2015-05-04 04:30:57 +00:00
|
|
|
setintV(L->top++, (int32_t)(G(L)->gc.total >> 10));
|
2009-12-08 18:46:35 +00:00
|
|
|
return 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
LJLIB_CF(collectgarbage)
|
|
|
|
{
|
|
|
|
int opt = lj_lib_checkopt(L, 1, LUA_GCCOLLECT, /* ORDER LUA_GC* */
|
2015-10-01 14:26:00 +00:00
|
|
|
"\4stop\7restart\7collect\5count\1\377\4step\10setpause\12setstepmul\1\377\11isrunning");
|
2009-12-08 18:46:35 +00:00
|
|
|
int32_t data = lj_lib_optint(L, 2, 0);
|
|
|
|
if (opt == LUA_GCCOUNT) {
|
2011-02-16 23:44:14 +00:00
|
|
|
setnumV(L->top, (lua_Number)G(L)->gc.total/1024.0);
|
2009-12-08 18:46:35 +00:00
|
|
|
} else {
|
|
|
|
int res = lua_gc(L, opt, data);
|
2015-10-01 14:26:00 +00:00
|
|
|
if (opt == LUA_GCSTEP || opt == LUA_GCISRUNNING)
|
2009-12-29 01:34:15 +00:00
|
|
|
setboolV(L->top, res);
|
2009-12-08 18:46:35 +00:00
|
|
|
else
|
2009-12-29 01:34:15 +00:00
|
|
|
setintV(L->top, res);
|
2009-12-08 18:46:35 +00:00
|
|
|
}
|
2009-12-29 01:34:15 +00:00
|
|
|
L->top++;
|
2009-12-08 18:46:35 +00:00
|
|
|
return 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
/* -- Base library: miscellaneous functions ------------------------------- */
|
|
|
|
|
|
|
|
LJLIB_PUSH(top-2) /* Upvalue holds weak table. */
|
|
|
|
LJLIB_CF(newproxy)
|
|
|
|
{
|
|
|
|
lua_settop(L, 1);
|
|
|
|
lua_newuserdata(L, 0);
|
|
|
|
if (lua_toboolean(L, 1) == 0) { /* newproxy(): without metatable. */
|
|
|
|
return 1;
|
|
|
|
} else if (lua_isboolean(L, 1)) { /* newproxy(true): with metatable. */
|
|
|
|
lua_newtable(L);
|
|
|
|
lua_pushvalue(L, -1);
|
|
|
|
lua_pushboolean(L, 1);
|
|
|
|
lua_rawset(L, lua_upvalueindex(1)); /* Remember mt in weak table. */
|
|
|
|
} else { /* newproxy(proxy): inherit metatable. */
|
|
|
|
int validproxy = 0;
|
|
|
|
if (lua_getmetatable(L, 1)) {
|
|
|
|
lua_rawget(L, lua_upvalueindex(1));
|
|
|
|
validproxy = lua_toboolean(L, -1);
|
|
|
|
lua_pop(L, 1);
|
|
|
|
}
|
|
|
|
if (!validproxy)
|
|
|
|
lj_err_arg(L, 1, LJ_ERR_NOPROXY);
|
|
|
|
lua_getmetatable(L, 1);
|
|
|
|
}
|
|
|
|
lua_setmetatable(L, 2);
|
|
|
|
return 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
LJLIB_PUSH("tostring")
|
|
|
|
LJLIB_CF(print)
|
|
|
|
{
|
|
|
|
ptrdiff_t i, nargs = L->top - L->base;
|
|
|
|
cTValue *tv = lj_tab_getstr(tabref(L->env), strV(lj_lib_upvalue(L, 1)));
|
2010-06-16 17:43:07 +00:00
|
|
|
int shortcut;
|
|
|
|
if (tv && !tvisnil(tv)) {
|
|
|
|
copyTV(L, L->top++, tv);
|
|
|
|
} else {
|
|
|
|
setstrV(L, L->top++, strV(lj_lib_upvalue(L, 1)));
|
|
|
|
lua_gettable(L, LUA_GLOBALSINDEX);
|
|
|
|
tv = L->top-1;
|
|
|
|
}
|
2020-10-12 14:11:32 +00:00
|
|
|
shortcut = (tvisfunc(tv) && funcV(tv)->c.ffid == FF_tostring) &&
|
2020-10-12 14:18:02 +00:00
|
|
|
!gcrefu(basemt_it(G(L), LJ_TNUMX));
|
2009-12-08 18:46:35 +00:00
|
|
|
for (i = 0; i < nargs; i++) {
|
2013-03-18 16:08:37 +00:00
|
|
|
cTValue *o = &L->base[i];
|
2009-12-08 18:46:35 +00:00
|
|
|
const char *str;
|
|
|
|
size_t size;
|
2013-03-18 16:08:37 +00:00
|
|
|
MSize len;
|
2016-02-26 16:59:43 +00:00
|
|
|
if (shortcut && (str = lj_strfmt_wstrnum(L, o, &len)) != NULL) {
|
2013-03-18 16:08:37 +00:00
|
|
|
size = len;
|
2009-12-08 18:46:35 +00:00
|
|
|
} else {
|
|
|
|
copyTV(L, L->top+1, o);
|
|
|
|
copyTV(L, L->top, L->top-1);
|
|
|
|
L->top += 2;
|
|
|
|
lua_call(L, 1, 1);
|
|
|
|
str = lua_tolstring(L, -1, &size);
|
|
|
|
if (!str)
|
|
|
|
lj_err_caller(L, LJ_ERR_PRTOSTR);
|
|
|
|
L->top--;
|
|
|
|
}
|
|
|
|
if (i)
|
|
|
|
putchar('\t');
|
|
|
|
fwrite(str, 1, size, stdout);
|
|
|
|
}
|
|
|
|
putchar('\n');
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
LJLIB_PUSH(top-3)
|
|
|
|
LJLIB_SET(_VERSION)
|
|
|
|
|
|
|
|
#include "lj_libdef.h"
|
|
|
|
|
|
|
|
/* -- Coroutine library --------------------------------------------------- */
|
|
|
|
|
|
|
|
#define LJLIB_MODULE_coroutine
|
|
|
|
|
|
|
|
LJLIB_CF(coroutine_status)
|
|
|
|
{
|
|
|
|
const char *s;
|
|
|
|
lua_State *co;
|
|
|
|
if (!(L->top > L->base && tvisthread(L->base)))
|
|
|
|
lj_err_arg(L, 1, LJ_ERR_NOCORO);
|
|
|
|
co = threadV(L->base);
|
|
|
|
if (co == L) s = "running";
|
|
|
|
else if (co->status == LUA_YIELD) s = "suspended";
|
2017-04-07 10:12:03 +00:00
|
|
|
else if (co->status != LUA_OK) s = "dead";
|
2015-01-03 14:04:38 +00:00
|
|
|
else if (co->base > tvref(co->stack)+1+LJ_FR2) s = "normal";
|
2009-12-08 18:46:35 +00:00
|
|
|
else if (co->top == co->base) s = "dead";
|
|
|
|
else s = "suspended";
|
|
|
|
lua_pushstring(L, s);
|
|
|
|
return 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
LJLIB_CF(coroutine_running)
|
|
|
|
{
|
2012-09-12 09:20:47 +00:00
|
|
|
#if LJ_52
|
2011-02-20 19:33:00 +00:00
|
|
|
int ismain = lua_pushthread(L);
|
|
|
|
setboolV(L->top++, ismain);
|
|
|
|
return 2;
|
|
|
|
#else
|
2009-12-08 18:46:35 +00:00
|
|
|
if (lua_pushthread(L))
|
|
|
|
setnilV(L->top++);
|
|
|
|
return 1;
|
2011-02-20 19:33:00 +00:00
|
|
|
#endif
|
2009-12-08 18:46:35 +00:00
|
|
|
}
|
|
|
|
|
2017-01-17 10:37:28 +00:00
|
|
|
LJLIB_CF(coroutine_isyieldable)
|
|
|
|
{
|
|
|
|
setboolV(L->top++, cframe_canyield(L->cframe));
|
|
|
|
return 1;
|
|
|
|
}
|
|
|
|
|
2009-12-08 18:46:35 +00:00
|
|
|
LJLIB_CF(coroutine_create)
|
|
|
|
{
|
2012-05-28 19:38:23 +00:00
|
|
|
lua_State *L1;
|
2010-11-17 19:07:55 +00:00
|
|
|
if (!(L->base < L->top && tvisfunc(L->base)))
|
|
|
|
lj_err_argt(L, 1, LUA_TFUNCTION);
|
2012-05-28 19:38:23 +00:00
|
|
|
L1 = lua_newthread(L);
|
2009-12-08 18:46:35 +00:00
|
|
|
setfuncV(L, L1->top++, funcV(L->base));
|
|
|
|
return 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
LJLIB_ASM(coroutine_yield)
|
|
|
|
{
|
|
|
|
lj_err_caller(L, LJ_ERR_CYIELD);
|
|
|
|
return FFH_UNREACHABLE;
|
|
|
|
}
|
|
|
|
|
|
|
|
static int ffh_resume(lua_State *L, lua_State *co, int wrap)
|
|
|
|
{
|
|
|
|
if (co->cframe != NULL || co->status > LUA_YIELD ||
|
2017-04-07 10:12:03 +00:00
|
|
|
(co->status == LUA_OK && co->top == co->base)) {
|
2009-12-08 18:46:35 +00:00
|
|
|
ErrMsg em = co->cframe ? LJ_ERR_CORUN : LJ_ERR_CODEAD;
|
|
|
|
if (wrap) lj_err_caller(L, em);
|
2015-01-03 14:04:38 +00:00
|
|
|
setboolV(L->base-1-LJ_FR2, 0);
|
|
|
|
setstrV(L, L->base-LJ_FR2, lj_err_str(L, em));
|
2009-12-08 18:46:35 +00:00
|
|
|
return FFH_RES(2);
|
|
|
|
}
|
2010-09-22 19:16:16 +00:00
|
|
|
lj_state_growstack(co, (MSize)(L->top - L->base));
|
2009-12-08 18:46:35 +00:00
|
|
|
return FFH_RETRY;
|
|
|
|
}
|
|
|
|
|
|
|
|
LJLIB_ASM(coroutine_resume)
|
|
|
|
{
|
|
|
|
if (!(L->top > L->base && tvisthread(L->base)))
|
|
|
|
lj_err_arg(L, 1, LJ_ERR_NOCORO);
|
|
|
|
return ffh_resume(L, threadV(L->base), 0);
|
|
|
|
}
|
|
|
|
|
|
|
|
LJLIB_NOREG LJLIB_ASM(coroutine_wrap_aux)
|
|
|
|
{
|
|
|
|
return ffh_resume(L, threadV(lj_lib_upvalue(L, 1)), 1);
|
|
|
|
}
|
|
|
|
|
|
|
|
/* Inline declarations. */
|
|
|
|
LJ_ASMF void lj_ff_coroutine_wrap_aux(void);
|
2012-01-23 21:20:28 +00:00
|
|
|
#if !(LJ_TARGET_MIPS && defined(ljamalg_c))
|
2009-12-27 16:42:41 +00:00
|
|
|
LJ_FUNCA_NORET void LJ_FASTCALL lj_ffh_coroutine_wrap_err(lua_State *L,
|
|
|
|
lua_State *co);
|
2012-01-23 21:20:28 +00:00
|
|
|
#endif
|
2009-12-08 18:46:35 +00:00
|
|
|
|
|
|
|
/* Error handler, called from assembler VM. */
|
2009-12-27 16:42:41 +00:00
|
|
|
void LJ_FASTCALL lj_ffh_coroutine_wrap_err(lua_State *L, lua_State *co)
|
2009-12-08 18:46:35 +00:00
|
|
|
{
|
|
|
|
co->top--; copyTV(L, L->top, co->top); L->top++;
|
|
|
|
if (tvisstr(L->top-1))
|
|
|
|
lj_err_callermsg(L, strVdata(L->top-1));
|
|
|
|
else
|
|
|
|
lj_err_run(L);
|
|
|
|
}
|
|
|
|
|
2010-02-13 03:51:56 +00:00
|
|
|
/* Forward declaration. */
|
|
|
|
static void setpc_wrap_aux(lua_State *L, GCfunc *fn);
|
|
|
|
|
2009-12-08 18:46:35 +00:00
|
|
|
LJLIB_CF(coroutine_wrap)
|
|
|
|
{
|
2013-05-29 12:54:06 +00:00
|
|
|
GCfunc *fn;
|
2009-12-08 18:46:35 +00:00
|
|
|
lj_cf_coroutine_create(L);
|
2013-05-29 12:54:06 +00:00
|
|
|
fn = lj_lib_pushcc(L, lj_ffh_coroutine_wrap_aux, FF_coroutine_wrap_aux, 1);
|
|
|
|
setpc_wrap_aux(L, fn);
|
2009-12-08 18:46:35 +00:00
|
|
|
return 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
#include "lj_libdef.h"
|
|
|
|
|
2010-02-13 03:51:56 +00:00
|
|
|
/* Fix the PC of wrap_aux. Really ugly workaround. */
|
|
|
|
static void setpc_wrap_aux(lua_State *L, GCfunc *fn)
|
|
|
|
{
|
|
|
|
setmref(fn->c.pc, &L2GG(L)->bcff[lj_lib_init_coroutine[1]+2]);
|
|
|
|
}
|
|
|
|
|
2009-12-08 18:46:35 +00:00
|
|
|
/* ------------------------------------------------------------------------ */
|
|
|
|
|
|
|
|
static void newproxy_weaktable(lua_State *L)
|
|
|
|
{
|
|
|
|
/* NOBARRIER: The table is new (marked white). */
|
|
|
|
GCtab *t = lj_tab_new(L, 0, 1);
|
|
|
|
settabV(L, L->top++, t);
|
|
|
|
setgcref(t->metatable, obj2gco(t));
|
|
|
|
setstrV(L, lj_tab_setstr(L, t, lj_str_newlit(L, "__mode")),
|
|
|
|
lj_str_newlit(L, "kv"));
|
2011-02-16 23:44:14 +00:00
|
|
|
t->nomm = (uint8_t)(~(1u<<MM_mode));
|
2009-12-08 18:46:35 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
LUALIB_API int luaopen_base(lua_State *L)
|
|
|
|
{
|
|
|
|
/* NOBARRIER: Table and value are the same. */
|
|
|
|
GCtab *env = tabref(L->env);
|
|
|
|
settabV(L, lj_tab_setstr(L, env, lj_str_newlit(L, "_G")), env);
|
|
|
|
lua_pushliteral(L, LUA_VERSION); /* top-3. */
|
|
|
|
newproxy_weaktable(L); /* top-2. */
|
2011-02-02 01:38:59 +00:00
|
|
|
LJ_LIB_REG(L, "_G", base);
|
|
|
|
LJ_LIB_REG(L, LUA_COLIBNAME, coroutine);
|
2009-12-08 18:46:35 +00:00
|
|
|
return 2;
|
|
|
|
}
|
|
|
|
|