q98/LuaJIT
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Don't record for loops with +-0 step.

Browse Source 
Thanks to t0suj4. #1432 #1433 #1438 #1526
This commit is contained in:
Mike Pall 2026-10-13 12:35:09 +02:00
parent 849bbbe763
commit bc9261a34a
1 changed files with 5 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
src/lj_record.c
View File

@ -447,9 +447,9 @@ static void rec_for_check(jit_State *J, IRType t, int dir,
TRef stop, TRef step, int init)
{
if (!tref_isk(step)) {
/* Non-constant step: need a guard for the direction. */
/* Non-constant step: need a guard for the direction (excluding +-0). */
TRef zero = (t == IRT_INT) ? lj_ir_kint(J, 0) : lj_ir_knum_zero(J);
emitir(IRTG(dir ? IR_GE : IR_LT, t), step, zero);
emitir(IRTG(dir ? IR_GT : IR_LT, t), step, zero);
/* Add hoistable overflow checks for a narrowed FORL index. */
if (init && t == IRT_INT) {
if (tref_isk(stop)) {
@ -530,8 +530,9 @@ static LoopEvent rec_for(jit_State *J, const BCIns *fori, int isforl)
/* Avoid semantic mismatches and always failing guards. */
if ((tvisnum(&tv[FORL_IDX]) && tvisnan(&tv[FORL_IDX])) ||
(tvisnum(&tv[FORL_STOP]) && tvisnan(&tv[FORL_STOP])) ||
(tvisnum(&tv[FORL_STEP]) && tvisnan(&tv[FORL_STEP])) ||
tvismzero(&tv[FORL_STEP]))
(tvisnum(&tv[FORL_STEP]) &&
(tvisnan(&tv[FORL_STEP]) || tviszero(&tv[FORL_STEP]))) ||
(tvisint(&tv[FORL_STEP]) && intV(&tv[FORL_STEP]) == 0))
lj_trace_err(J, LJ_TRERR_GFAIL);
if (isforl) { /* Handle FORL/JFORL opcodes. */
TRef idx = tr[FORL_IDX];