Merge pull request #2 from LuaJIT/master

Merge, clean publish
This commit is contained in:
Brandon Carrington 2018-02-03 08:14:04 -06:00 committed by GitHub
commit e85c112325
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
15 changed files with 55 additions and 15 deletions

View File

@ -89,8 +89,8 @@ other Lua/C API functions).
</p> </p>
<p> <p>
The third argument specifies the mode, which is 'or'ed with a flag. The third argument specifies the mode, which is 'or'ed with a flag.
The flag can be <tt>LUAJIT_MODE_OFF</tt> to turn a feature on, The flag can be <tt>LUAJIT_MODE_OFF</tt> to turn a feature off,
<tt>LUAJIT_MODE_ON</tt> to turn a feature off, or <tt>LUAJIT_MODE_ON</tt> to turn a feature on, or
<tt>LUAJIT_MODE_FLUSH</tt> to flush cached code. <tt>LUAJIT_MODE_FLUSH</tt> to flush cached code.
</p> </p>
<p> <p>

View File

@ -254,6 +254,7 @@ void dasm_put(Dst_DECL, int start, ...)
case DASM_IMMV8: case DASM_IMMV8:
CK((n & 3) == 0, RANGE_I); CK((n & 3) == 0, RANGE_I);
n >>= 2; n >>= 2;
/* fallthrough */
case DASM_IMML8: case DASM_IMML8:
case DASM_IMML12: case DASM_IMML12:
CK(n >= 0 ? ((n>>((ins>>5)&31)) == 0) : CK(n >= 0 ? ((n>>((ins>>5)&31)) == 0) :
@ -371,6 +372,7 @@ int dasm_encode(Dst_DECL, void *buffer)
break; break;
case DASM_REL_LG: case DASM_REL_LG:
CK(n >= 0, UNDEF_LG); CK(n >= 0, UNDEF_LG);
/* fallthrough */
case DASM_REL_PC: case DASM_REL_PC:
CK(n >= 0, UNDEF_PC); CK(n >= 0, UNDEF_PC);
n = *DASM_POS2PTR(D, n) - (int)((char *)cp - base) - 4; n = *DASM_POS2PTR(D, n) - (int)((char *)cp - base) - 4;

View File

@ -350,6 +350,7 @@ int dasm_encode(Dst_DECL, void *buffer)
break; break;
case DASM_REL_LG: case DASM_REL_LG:
CK(n >= 0, UNDEF_LG); CK(n >= 0, UNDEF_LG);
/* fallthrough */
case DASM_REL_PC: case DASM_REL_PC:
CK(n >= 0, UNDEF_PC); CK(n >= 0, UNDEF_PC);
n = *DASM_POS2PTR(D, n); n = *DASM_POS2PTR(D, n);

View File

@ -350,6 +350,7 @@ int dasm_encode(Dst_DECL, void *buffer)
break; break;
case DASM_REL_LG: case DASM_REL_LG:
CK(n >= 0, UNDEF_LG); CK(n >= 0, UNDEF_LG);
/* fallthrough */
case DASM_REL_PC: case DASM_REL_PC:
CK(n >= 0, UNDEF_PC); CK(n >= 0, UNDEF_PC);
n = *DASM_POS2PTR(D, n) - (int)((char *)cp - base); n = *DASM_POS2PTR(D, n) - (int)((char *)cp - base);

View File

@ -194,12 +194,13 @@ void dasm_put(Dst_DECL, int start, ...)
switch (action) { switch (action) {
case DASM_DISP: case DASM_DISP:
if (n == 0) { if ((mrm&7) == 4) mrm = p[-2]; if ((mrm&7) != 5) break; } if (n == 0) { if ((mrm&7) == 4) mrm = p[-2]; if ((mrm&7) != 5) break; }
case DASM_IMM_DB: if (((n+128)&-256) == 0) goto ob; /* fallthrough */
case DASM_IMM_DB: if (((n+128)&-256) == 0) goto ob; /* fallthrough */
case DASM_REL_A: /* Assumes ptrdiff_t is int. !x64 */ case DASM_REL_A: /* Assumes ptrdiff_t is int. !x64 */
case DASM_IMM_D: ofs += 4; break; case DASM_IMM_D: ofs += 4; break;
case DASM_IMM_S: CK(((n+128)&-256) == 0, RANGE_I); goto ob; case DASM_IMM_S: CK(((n+128)&-256) == 0, RANGE_I); goto ob;
case DASM_IMM_B: CK((n&-256) == 0, RANGE_I); ob: ofs++; break; case DASM_IMM_B: CK((n&-256) == 0, RANGE_I); ob: ofs++; break;
case DASM_IMM_WB: if (((n+128)&-256) == 0) goto ob; case DASM_IMM_WB: if (((n+128)&-256) == 0) goto ob; /* fallthrough */
case DASM_IMM_W: CK((n&-65536) == 0, RANGE_I); ofs += 2; break; case DASM_IMM_W: CK((n&-65536) == 0, RANGE_I); ofs += 2; break;
case DASM_SPACE: p++; ofs += n; break; case DASM_SPACE: p++; ofs += n; break;
case DASM_SETLABEL: b[pos-2] = -0x40000000; break; /* Neg. label ofs. */ case DASM_SETLABEL: b[pos-2] = -0x40000000; break; /* Neg. label ofs. */
@ -323,11 +324,14 @@ int dasm_link(Dst_DECL, size_t *szp)
pos += 2; pos += 2;
break; break;
} }
/* fallthrough */
case DASM_SPACE: case DASM_IMM_LG: case DASM_VREG: p++; case DASM_SPACE: case DASM_IMM_LG: case DASM_VREG: p++;
/* fallthrough */
case DASM_DISP: case DASM_IMM_S: case DASM_IMM_B: case DASM_IMM_W: case DASM_DISP: case DASM_IMM_S: case DASM_IMM_B: case DASM_IMM_W:
case DASM_IMM_D: case DASM_IMM_WB: case DASM_IMM_DB: case DASM_IMM_D: case DASM_IMM_WB: case DASM_IMM_DB:
case DASM_SETLABEL: case DASM_REL_A: case DASM_IMM_PC: pos++; break; case DASM_SETLABEL: case DASM_REL_A: case DASM_IMM_PC: pos++; break;
case DASM_LABEL_LG: p++; case DASM_LABEL_LG: p++;
/* fallthrough */
case DASM_LABEL_PC: b[pos++] += ofs; break; /* Fix label offset. */ case DASM_LABEL_PC: b[pos++] += ofs; break; /* Fix label offset. */
case DASM_ALIGN: ofs -= (b[pos++]+ofs)&*p++; break; /* Adjust ofs. */ case DASM_ALIGN: ofs -= (b[pos++]+ofs)&*p++; break; /* Adjust ofs. */
case DASM_EXTERN: p += 2; break; case DASM_EXTERN: p += 2; break;
@ -385,16 +389,20 @@ int dasm_encode(Dst_DECL, void *buffer)
if (mrm != 5) { mm[-1] -= 0x80; break; } } if (mrm != 5) { mm[-1] -= 0x80; break; } }
if (((n+128) & -256) != 0) goto wd; else mm[-1] -= 0x40; if (((n+128) & -256) != 0) goto wd; else mm[-1] -= 0x40;
} }
/* fallthrough */
case DASM_IMM_S: case DASM_IMM_B: wb: dasmb(n); break; case DASM_IMM_S: case DASM_IMM_B: wb: dasmb(n); break;
case DASM_IMM_DB: if (((n+128)&-256) == 0) { case DASM_IMM_DB: if (((n+128)&-256) == 0) {
db: if (!mark) mark = cp; mark[-2] += 2; mark = NULL; goto wb; db: if (!mark) mark = cp; mark[-2] += 2; mark = NULL; goto wb;
} else mark = NULL; } else mark = NULL;
/* fallthrough */
case DASM_IMM_D: wd: dasmd(n); break; case DASM_IMM_D: wd: dasmd(n); break;
case DASM_IMM_WB: if (((n+128)&-256) == 0) goto db; else mark = NULL; case DASM_IMM_WB: if (((n+128)&-256) == 0) goto db; else mark = NULL;
/* fallthrough */
case DASM_IMM_W: dasmw(n); break; case DASM_IMM_W: dasmw(n); break;
case DASM_VREG: { int t = *p++; if (t >= 2) n<<=3; cp[-1] |= n; break; } case DASM_VREG: { int t = *p++; if (t >= 2) n<<=3; cp[-1] |= n; break; }
case DASM_REL_LG: p++; if (n >= 0) goto rel_pc; case DASM_REL_LG: p++; if (n >= 0) goto rel_pc;
b++; n = (int)(ptrdiff_t)D->globals[-n]; b++; n = (int)(ptrdiff_t)D->globals[-n];
/* fallthrough */
case DASM_REL_A: rel_a: case DASM_REL_A: rel_a:
n -= (unsigned int)(ptrdiff_t)(cp+4); goto wd; /* !x64 */ n -= (unsigned int)(ptrdiff_t)(cp+4); goto wd; /* !x64 */
case DASM_REL_PC: rel_pc: { case DASM_REL_PC: rel_pc: {
@ -407,6 +415,7 @@ int dasm_encode(Dst_DECL, void *buffer)
} }
case DASM_IMM_LG: case DASM_IMM_LG:
p++; if (n < 0) { n = (int)(ptrdiff_t)D->globals[-n]; goto wd; } p++; if (n < 0) { n = (int)(ptrdiff_t)D->globals[-n]; goto wd; }
/* fallthrough */
case DASM_IMM_PC: { case DASM_IMM_PC: {
int *pb = DASM_POS2PTR(D, n); int *pb = DASM_POS2PTR(D, n);
n = *pb < 0 ? pb[1] : (*pb + (int)(ptrdiff_t)base); n = *pb < 0 ? pb[1] : (*pb + (int)(ptrdiff_t)base);
@ -427,6 +436,7 @@ int dasm_encode(Dst_DECL, void *buffer)
case DASM_EXTERN: n = DASM_EXTERN(Dst, cp, p[1], *p); p += 2; goto wd; case DASM_EXTERN: n = DASM_EXTERN(Dst, cp, p[1], *p); p += 2; goto wd;
case DASM_MARK: mark = cp; break; case DASM_MARK: mark = cp; break;
case DASM_ESC: action = *p++; case DASM_ESC: action = *p++;
/* fallthrough */
default: *cp++ = action; break; default: *cp++ = action; break;
case DASM_SECTION: case DASM_STOP: goto stop; case DASM_SECTION: case DASM_STOP: goto stop;
} }

View File

@ -193,7 +193,7 @@ LJLIB_CF(ffi_meta___eq) LJLIB_REC(cdata_arith MM_eq)
LJLIB_CF(ffi_meta___len) LJLIB_REC(cdata_arith MM_len) LJLIB_CF(ffi_meta___len) LJLIB_REC(cdata_arith MM_len)
{ {
return ffi_arith(L); return lj_carith_len(L);
} }
LJLIB_CF(ffi_meta___lt) LJLIB_REC(cdata_arith MM_lt) LJLIB_CF(ffi_meta___lt) LJLIB_REC(cdata_arith MM_lt)

View File

@ -850,20 +850,21 @@ LJLIB_CF(string_format)
} else { /* format item */ } else { /* format item */
char form[MAX_FMTSPEC]; /* to store the format (`%...') */ char form[MAX_FMTSPEC]; /* to store the format (`%...') */
char buff[MAX_FMTITEM]; /* to store the formatted item */ char buff[MAX_FMTITEM]; /* to store the formatted item */
int n = 0;
if (++arg > top) if (++arg > top)
luaL_argerror(L, arg, lj_obj_typename[0]); luaL_argerror(L, arg, lj_obj_typename[0]);
strfrmt = scanformat(L, strfrmt, form); strfrmt = scanformat(L, strfrmt, form);
switch (*strfrmt++) { switch (*strfrmt++) {
case 'c': case 'c':
sprintf(buff, form, lj_lib_checkint(L, arg)); n = sprintf(buff, form, lj_lib_checkint(L, arg));
break; break;
case 'd': case 'i': case 'd': case 'i':
addintlen(form); addintlen(form);
sprintf(buff, form, num2intfrm(L, arg)); n = sprintf(buff, form, num2intfrm(L, arg));
break; break;
case 'o': case 'u': case 'x': case 'X': case 'o': case 'u': case 'x': case 'X':
addintlen(form); addintlen(form);
sprintf(buff, form, num2uintfrm(L, arg)); n = sprintf(buff, form, num2uintfrm(L, arg));
break; break;
case 'e': case 'E': case 'f': case 'g': case 'G': case 'a': case 'A': { case 'e': case 'E': case 'f': case 'g': case 'G': case 'a': case 'A': {
TValue tv; TValue tv;
@ -880,10 +881,10 @@ LJLIB_CF(string_format)
nbuf[len] = '\0'; nbuf[len] = '\0';
for (p = form; *p < 'A' && *p != '.'; p++) ; for (p = form; *p < 'A' && *p != '.'; p++) ;
*p++ = 's'; *p = '\0'; *p++ = 's'; *p = '\0';
sprintf(buff, form, nbuf); n = sprintf(buff, form, nbuf);
break; break;
} }
sprintf(buff, form, (double)tv.n); n = sprintf(buff, form, (double)tv.n);
break; break;
} }
case 'q': case 'q':
@ -902,14 +903,14 @@ LJLIB_CF(string_format)
luaL_addvalue(&b); luaL_addvalue(&b);
continue; continue;
} }
sprintf(buff, form, strdata(str)); n = sprintf(buff, form, strdata(str));
break; break;
} }
default: default:
lj_err_callerv(L, LJ_ERR_STRFMTO, *(strfrmt -1)); lj_err_callerv(L, LJ_ERR_STRFMTO, *(strfrmt -1));
break; break;
} }
luaL_addlstring(&b, buff, strlen(buff)); luaL_addlstring(&b, buff, n);
} }
} }
luaL_pushresult(&b); luaL_pushresult(&b);

View File

@ -1725,6 +1725,7 @@ static void asm_setup_regsp(ASMState *as)
case IR_SNEW: case IR_XSNEW: case IR_NEWREF: case IR_SNEW: case IR_XSNEW: case IR_NEWREF:
if (REGARG_NUMGPR < 3 && as->evenspill < 3) if (REGARG_NUMGPR < 3 && as->evenspill < 3)
as->evenspill = 3; /* lj_str_new and lj_tab_newkey need 3 args. */ as->evenspill = 3; /* lj_str_new and lj_tab_newkey need 3 args. */
/* fallthrough */
case IR_TNEW: case IR_TDUP: case IR_CNEW: case IR_CNEWI: case IR_TOSTR: case IR_TNEW: case IR_TDUP: case IR_CNEW: case IR_CNEWI: case IR_TOSTR:
ir->prev = REGSP_HINT(RID_RET); ir->prev = REGSP_HINT(RID_RET);
if (inloop) if (inloop)
@ -1750,7 +1751,7 @@ static void asm_setup_regsp(ASMState *as)
#endif #endif
continue; continue;
} }
/* fallthrough for integer POW */ /* fallthrough */ /* for integer POW */
case IR_DIV: case IR_MOD: case IR_DIV: case IR_MOD:
if (!irt_isnum(ir->t)) { if (!irt_isnum(ir->t)) {
ir->prev = REGSP_HINT(RID_RET); ir->prev = REGSP_HINT(RID_RET);

View File

@ -272,6 +272,15 @@ int lj_carith_op(lua_State *L, MMS mm)
return lj_carith_meta(L, cts, &ca, mm); return lj_carith_meta(L, cts, &ca, mm);
} }
/* No built-in functionality for length of cdata. */
int lj_carith_len(lua_State *L)
{
CTState *cts = ctype_cts(L);
CDArith ca;
carith_checkarg(L, cts, &ca);
return lj_carith_meta(L, cts, &ca, MM_len);
}
/* -- 64 bit integer arithmetic helpers ----------------------------------- */ /* -- 64 bit integer arithmetic helpers ----------------------------------- */
#if LJ_32 && LJ_HASJIT #if LJ_32 && LJ_HASJIT

View File

@ -11,6 +11,7 @@
#if LJ_HASFFI #if LJ_HASFFI
LJ_FUNC int lj_carith_op(lua_State *L, MMS mm); LJ_FUNC int lj_carith_op(lua_State *L, MMS mm);
LJ_FUNC int lj_carith_len(lua_State *L);
#if LJ_32 && LJ_HASJIT #if LJ_32 && LJ_HASJIT
LJ_FUNC int64_t lj_carith_mul64(int64_t x, int64_t k); LJ_FUNC int64_t lj_carith_mul64(int64_t x, int64_t k);

View File

@ -590,28 +590,34 @@ static void cp_expr_infix(CPState *cp, CPValue *k, int pri)
k->id = k2.id > k3.id ? k2.id : k3.id; k->id = k2.id > k3.id ? k2.id : k3.id;
continue; continue;
} }
/* fallthrough */
case 1: case 1:
if (cp_opt(cp, CTOK_OROR)) { if (cp_opt(cp, CTOK_OROR)) {
cp_expr_sub(cp, &k2, 2); k->i32 = k->u32 || k2.u32; k->id = CTID_INT32; cp_expr_sub(cp, &k2, 2); k->i32 = k->u32 || k2.u32; k->id = CTID_INT32;
continue; continue;
} }
/* fallthrough */
case 2: case 2:
if (cp_opt(cp, CTOK_ANDAND)) { if (cp_opt(cp, CTOK_ANDAND)) {
cp_expr_sub(cp, &k2, 3); k->i32 = k->u32 && k2.u32; k->id = CTID_INT32; cp_expr_sub(cp, &k2, 3); k->i32 = k->u32 && k2.u32; k->id = CTID_INT32;
continue; continue;
} }
/* fallthrough */
case 3: case 3:
if (cp_opt(cp, '|')) { if (cp_opt(cp, '|')) {
cp_expr_sub(cp, &k2, 4); k->u32 = k->u32 | k2.u32; goto arith_result; cp_expr_sub(cp, &k2, 4); k->u32 = k->u32 | k2.u32; goto arith_result;
} }
/* fallthrough */
case 4: case 4:
if (cp_opt(cp, '^')) { if (cp_opt(cp, '^')) {
cp_expr_sub(cp, &k2, 5); k->u32 = k->u32 ^ k2.u32; goto arith_result; cp_expr_sub(cp, &k2, 5); k->u32 = k->u32 ^ k2.u32; goto arith_result;
} }
/* fallthrough */
case 5: case 5:
if (cp_opt(cp, '&')) { if (cp_opt(cp, '&')) {
cp_expr_sub(cp, &k2, 6); k->u32 = k->u32 & k2.u32; goto arith_result; cp_expr_sub(cp, &k2, 6); k->u32 = k->u32 & k2.u32; goto arith_result;
} }
/* fallthrough */
case 6: case 6:
if (cp_opt(cp, CTOK_EQ)) { if (cp_opt(cp, CTOK_EQ)) {
cp_expr_sub(cp, &k2, 7); k->i32 = k->u32 == k2.u32; k->id = CTID_INT32; cp_expr_sub(cp, &k2, 7); k->i32 = k->u32 == k2.u32; k->id = CTID_INT32;
@ -620,6 +626,7 @@ static void cp_expr_infix(CPState *cp, CPValue *k, int pri)
cp_expr_sub(cp, &k2, 7); k->i32 = k->u32 != k2.u32; k->id = CTID_INT32; cp_expr_sub(cp, &k2, 7); k->i32 = k->u32 != k2.u32; k->id = CTID_INT32;
continue; continue;
} }
/* fallthrough */
case 7: case 7:
if (cp_opt(cp, '<')) { if (cp_opt(cp, '<')) {
cp_expr_sub(cp, &k2, 8); cp_expr_sub(cp, &k2, 8);
@ -654,6 +661,7 @@ static void cp_expr_infix(CPState *cp, CPValue *k, int pri)
k->id = CTID_INT32; k->id = CTID_INT32;
continue; continue;
} }
/* fallthrough */
case 8: case 8:
if (cp_opt(cp, CTOK_SHL)) { if (cp_opt(cp, CTOK_SHL)) {
cp_expr_sub(cp, &k2, 9); k->u32 = k->u32 << k2.u32; cp_expr_sub(cp, &k2, 9); k->u32 = k->u32 << k2.u32;
@ -666,6 +674,7 @@ static void cp_expr_infix(CPState *cp, CPValue *k, int pri)
k->u32 = k->u32 >> k2.u32; k->u32 = k->u32 >> k2.u32;
continue; continue;
} }
/* fallthrough */
case 9: case 9:
if (cp_opt(cp, '+')) { if (cp_opt(cp, '+')) {
cp_expr_sub(cp, &k2, 10); k->u32 = k->u32 + k2.u32; cp_expr_sub(cp, &k2, 10); k->u32 = k->u32 + k2.u32;
@ -675,6 +684,7 @@ static void cp_expr_infix(CPState *cp, CPValue *k, int pri)
} else if (cp_opt(cp, '-')) { } else if (cp_opt(cp, '-')) {
cp_expr_sub(cp, &k2, 10); k->u32 = k->u32 - k2.u32; goto arith_result; cp_expr_sub(cp, &k2, 10); k->u32 = k->u32 - k2.u32; goto arith_result;
} }
/* fallthrough */
case 10: case 10:
if (cp_opt(cp, '*')) { if (cp_opt(cp, '*')) {
cp_expr_unary(cp, &k2); k->u32 = k->u32 * k2.u32; goto arith_result; cp_expr_unary(cp, &k2); k->u32 = k->u32 * k2.u32; goto arith_result;

View File

@ -153,6 +153,7 @@ static void *err_unwind(lua_State *L, void *stopcf, int errcode)
if ((frame-1)->u32.lo == LJ_CONT_FFI_CALLBACK) if ((frame-1)->u32.lo == LJ_CONT_FFI_CALLBACK)
goto unwind_c; goto unwind_c;
#endif #endif
/* fallthrough */
case FRAME_VARG: /* Vararg frame. */ case FRAME_VARG: /* Vararg frame. */
frame = frame_prevd(frame); frame = frame_prevd(frame);
break; break;

View File

@ -100,8 +100,8 @@ static void sink_mark_ins(jit_State *J)
(LJ_32 && ir+1 < irlast && (ir+1)->o == IR_HIOP && (LJ_32 && ir+1 < irlast && (ir+1)->o == IR_HIOP &&
!sink_checkphi(J, ir, (ir+1)->op2)))) !sink_checkphi(J, ir, (ir+1)->op2))))
irt_setmark(ir->t); /* Mark ineligible allocation. */ irt_setmark(ir->t); /* Mark ineligible allocation. */
/* fallthrough */
#endif #endif
/* fallthrough */
case IR_USTORE: case IR_USTORE:
irt_setmark(IR(ir->op2)->t); /* Mark stored value. */ irt_setmark(IR(ir->op2)->t); /* Mark stored value. */
break; break;

View File

@ -2696,7 +2696,8 @@ static int parse_stmt(LexState *ls)
lj_lex_next(ls); lj_lex_next(ls);
parse_goto(ls); parse_goto(ls);
break; break;
} /* else: fallthrough */ }
/* fallthrough */
default: default:
parse_call_assign(ls); parse_call_assign(ls);
break; break;

View File

@ -151,6 +151,7 @@ static void print_jit_status(lua_State *L)
fputs(s, stdout); fputs(s, stdout);
} }
putc('\n', stdout); putc('\n', stdout);
lua_settop(L, 0); /* clear stack */
} }
static int getargs(lua_State *L, char **argv, int n) static int getargs(lua_State *L, char **argv, int n)
@ -419,6 +420,7 @@ static int collectargs(char **argv, int *flags)
break; break;
case 'e': case 'e':
*flags |= FLAGS_EXEC; *flags |= FLAGS_EXEC;
/* fallthrough */
case 'j': /* LuaJIT extension */ case 'j': /* LuaJIT extension */
case 'l': case 'l':
*flags |= FLAGS_OPTION; *flags |= FLAGS_OPTION;