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

Fix sanitizer check issue when both def reg and ref reg are the same (#1226)

Browse Source 
Fix issue of instruction like MOV i3, i3
This commit is contained in:
liang.he 2022-06-14 17:13:11 +08:00 committed by GitHub
parent 96fa546cc9
commit 5340e3c3de
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 17 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -358,19 +358,33 @@ is_alloc_candidate(JitCompContext *cc, JitReg reg)
static void static void
check_vreg_definition(RegallocContext *rc, JitInsn *insn) check_vreg_definition(RegallocContext *rc, JitInsn *insn)
{ {
unsigned j;
JitRegVec regvec = jit_insn_opnd_regs(insn); JitRegVec regvec = jit_insn_opnd_regs(insn);
unsigned first_use = jit_insn_opnd_first_use(insn); unsigned i;
JitReg *regp; JitReg *regp;
unsigned first_use = jit_insn_opnd_first_use(insn);
JitReg reg_defined;
/* check if there is the definition of an vr before its references */ /* check if there is the definition of an vr before its references */
JIT_REG_VEC_FOREACH_USE(regvec, j, regp, first_use) JIT_REG_VEC_FOREACH(regvec, i, regp)
{ {
VirtualReg *vr = NULL; VirtualReg *vr = NULL;
if (!is_alloc_candidate(rc->cc, *regp)) if (!is_alloc_candidate(rc->cc, *regp))
continue; continue;
/*a strong assumption that there is only on defined reg*/
if (i < first_use) {
reg_defined = *regp;
continue;
}
/**
* both definition and references are in one instruction,
* like MOV i3,i3
**/
if (reg_defined == *regp)
continue;
vr = rc_get_vr(rc, *regp); vr = rc_get_vr(rc, *regp);
bh_assert(vr->distances); bh_assert(vr->distances);
} }