aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMike Pall <mike>2023-08-12 20:16:56 +0200
committerMike Pall <mike>2023-08-12 20:16:56 +0200
commitabb27c7771947e082c9d919d184ad5f5f03e2e32 (patch)
tree7f57d823f55d818d5f350fbfdab6d12ea1b8a9d6
parentcaf7cbc57c945f7b68871ad72abafb2b6e6fb7f5 (diff)
downloadluajit-abb27c7771947e082c9d919d184ad5f5f03e2e32.tar.gz
luajit-abb27c7771947e082c9d919d184ad5f5f03e2e32.tar.bz2
luajit-abb27c7771947e082c9d919d184ad5f5f03e2e32.zip
Fix maxslots when recording BC_VARG, part 3.
Thanks to Peter Cawley. #1046
-rw-r--r--src/lj_record.c12
1 files changed, 9 insertions, 3 deletions
diff --git a/src/lj_record.c b/src/lj_record.c
index 6361b424..751d9eb7 100644
--- a/src/lj_record.c
+++ b/src/lj_record.c
@@ -1518,8 +1518,12 @@ static void rec_varg(jit_State *J, BCReg dst, ptrdiff_t nresults)
1518 if (J->framedepth > 0) { /* Simple case: varargs defined on-trace. */ 1518 if (J->framedepth > 0) { /* Simple case: varargs defined on-trace. */
1519 ptrdiff_t i; 1519 ptrdiff_t i;
1520 if (nvararg < 0) nvararg = 0; 1520 if (nvararg < 0) nvararg = 0;
1521 if (nresults == -1) nresults = nvararg; 1521 if (nresults != 1) {
1522 J->maxslot = dst + (BCReg)nresults; 1522 if (nresults == -1) nresults = nvararg;
1523 J->maxslot = dst + (BCReg)nresults;
1524 } else if (dst >= J->maxslot) {
1525 J->maxslot = dst + 1;
1526 }
1523 if (J->baseslot + J->maxslot >= LJ_MAX_JSLOTS) 1527 if (J->baseslot + J->maxslot >= LJ_MAX_JSLOTS)
1524 lj_trace_err(J, LJ_TRERR_STACKOV); 1528 lj_trace_err(J, LJ_TRERR_STACKOV);
1525 for (i = 0; i < nresults; i++) 1529 for (i = 0; i < nresults; i++)
@@ -1552,7 +1556,9 @@ static void rec_varg(jit_State *J, BCReg dst, ptrdiff_t nresults)
1552 } 1556 }
1553 for (i = nvararg; i < nresults; i++) 1557 for (i = nvararg; i < nresults; i++)
1554 J->base[dst+i] = TREF_NIL; 1558 J->base[dst+i] = TREF_NIL;
1555 J->maxslot = dst + (BCReg)nresults; 1559 if (nresults != 1 || dst >= J->maxslot) {
1560 J->maxslot = dst + (BCReg)nresults;
1561 }
1556 } else if (select_detect(J)) { /* y = select(x, ...) */ 1562 } else if (select_detect(J)) { /* y = select(x, ...) */
1557 TRef tridx = J->base[dst-1]; 1563 TRef tridx = J->base[dst-1];
1558 TRef tr = TREF_NIL; 1564 TRef tr = TREF_NIL;