gnh1201/wasm-micro-runtime
1
0
Fork 0
mirror of https://github.com/bytecodealliance/wasm-micro-runtime.git synced 2025-07-15 08:48:33 +00:00
Code Issues Actions 9 Packages Projects Releases Wiki Activity

Add a sanitizer to check if there is a definition of vreg before its

Browse Source 
reference
This commit is contained in:
liam 2022-06-14 08:03:25 +08:00
parent 0ab070af96
commit 4f04148f75
1 changed files with 31 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

31
core/iwasm/fast-jit/jit_regalloc.c
View File

@ -6,6 +6,10 @@
#include "jit_utils.h" #include "jit_utils.h"
#include "jit_compiler.h" #include "jit_compiler.h"
#if BH_DEBUG != 0
#define VREG_DEF_SANITIZER
#endif
/** /**
* A uint16 stack for storing distances of occurrences of virtual * A uint16 stack for storing distances of occurrences of virtual
* registers. * registers.
@ -350,6 +354,29 @@ is_alloc_candidate(JitCompContext *cc, JitReg reg)
&& (!jit_cc_is_hreg(cc, reg) || !jit_cc_is_hreg_fixed(cc, reg))); && (!jit_cc_is_hreg(cc, reg) || !jit_cc_is_hreg_fixed(cc, reg)));
} }
#ifdef VREG_DEF_SANITIZER
static void
check_vreg_definition(RegallocContext *rc, JitInsn *insn)
{
unsigned j;
JitRegVec regvec = jit_insn_opnd_regs(insn);
unsigned first_use = jit_insn_opnd_first_use(insn);
JitReg *regp;
/* check if there is the definition of an vr before its references */
JIT_REG_VEC_FOREACH_USE(regvec, j, regp, first_use)
{
VirtualReg *vr = NULL;
if (!is_alloc_candidate(rc->cc, *regp))
continue;
vr = rc_get_vr(rc, *regp);
bh_assert(vr->distances);
}
}
#endif
/** /**
* Collect distances from the beginning of basic block of all occurrences of * Collect distances from the beginning of basic block of all occurrences of
* each virtual register. * each virtual register.
@ -371,6 +398,10 @@ collect_distances(RegallocContext *rc, JitBasicBlock *basic_block)
unsigned i; unsigned i;
JitReg *regp; JitReg *regp;
#ifdef VREG_DEF_SANITIZER
check_vreg_definition(rc, insn);
#endif
/* NOTE: the distance may be pushed more than once if the /* NOTE: the distance may be pushed more than once if the
virtual register occurs multiple times in the virtual register occurs multiple times in the
instruction. */ instruction. */