gh-mirror/mikepaul-LuaJIT
1
0
Fork 0
mirror of https://github.com/LuaJIT/LuaJIT.git synced 2025-02-08 07:34:07 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Add more assertions for stack consistency during recording.

Browse Source
This commit is contained in:
Mike Pall 2012-09-12 11:02:19 +02:00
parent 76ab3709da
commit 039bf85e26
1 changed files with 8 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/lj_dispatch.c
View File

@ -392,8 +392,12 @@ void LJ_FASTCALL lj_dispatch_ins(lua_State *L, const BCIns *pc)
{ {
jit_State *J = G2J(g); jit_State *J = G2J(g);
if (J->state != LJ_TRACE_IDLE) { if (J->state != LJ_TRACE_IDLE) {
#ifdef LUA_USE_ASSERT
ptrdiff_t delta = L->top - L->base;
#endif
J->L = L; J->L = L;
lj_trace_ins(J, pc-1); /* The interpreter bytecode PC is offset by 1. */ lj_trace_ins(J, pc-1); /* The interpreter bytecode PC is offset by 1. */
lua_assert(L->top - L->base == delta);
} }
} }
#endif #endif
@ -448,8 +452,12 @@ ASMFunction LJ_FASTCALL lj_dispatch_call(lua_State *L, const BCIns *pc)
#if LJ_HASJIT #if LJ_HASJIT
J->L = L; J->L = L;
if ((uintptr_t)pc & 1) { /* Marker for hot call. */ if ((uintptr_t)pc & 1) { /* Marker for hot call. */
#ifdef LUA_USE_ASSERT
ptrdiff_t delta = L->top - L->base;
#endif
pc = (const BCIns *)((uintptr_t)pc & ~(uintptr_t)1); pc = (const BCIns *)((uintptr_t)pc & ~(uintptr_t)1);
lj_trace_hot(J, pc); lj_trace_hot(J, pc);
lua_assert(L->top - L->base == delta);
goto out; goto out;
} else if (J->state != LJ_TRACE_IDLE && } else if (J->state != LJ_TRACE_IDLE &&
!(g->hookmask & (HOOK_GC|HOOK_VMEVENT))) { !(g->hookmask & (HOOK_GC|HOOK_VMEVENT))) {