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

Merge pull request #554 from bytecodealliance/dev/fast_jit

Browse Source 
Merge bytecodealliance:dev/fast_jit into wenyongh:dev/fast_jit
This commit is contained in:
Wenyong Huang 2022-06-14 17:14:20 +08:00 committed by GitHub
commit 71c4465283
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 45 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

45
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,43 @@ 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)
{
JitRegVec regvec = jit_insn_opnd_regs(insn);
unsigned i;
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 */
JIT_REG_VEC_FOREACH(regvec, i, regp)
{
VirtualReg *vr = NULL;
if (!is_alloc_candidate(rc->cc, *regp))
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);
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 +412,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. */