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

Fix i64 reg overwritten by i32 reg issue

Browse Source
This commit is contained in:
Wenyong Huang 2022-06-13 22:09:57 +08:00
parent b06ebb5ff2
commit b1c516855a
1 changed files with 28 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

38
core/iwasm/fast-jit/fe/jit_emit_numberic.c
View File

@ -512,7 +512,7 @@ compile_int_div_no_check(JitCompContext *cc, IntArithmetic arith_op,
case INT_DIV_S: case INT_DIV_S:
case INT_DIV_U: case INT_DIV_U:
{ {
JitInsn *insn = NULL; JitInsn *insn = NULL, *insn1 = NULL;
if (is_i32) { if (is_i32) {
GEN_INSN(MOV, eax_hreg, left); GEN_INSN(MOV, eax_hreg, left);
@ -520,8 +520,6 @@ compile_int_div_no_check(JitCompContext *cc, IntArithmetic arith_op,
insn = GEN_INSN(DIV_S, eax_hreg, eax_hreg, right); insn = GEN_INSN(DIV_S, eax_hreg, eax_hreg, right);
else else
insn = GEN_INSN(DIV_U, eax_hreg, eax_hreg, right); insn = GEN_INSN(DIV_U, eax_hreg, eax_hreg, right);
res = eax_hreg;
} }
else { else {
GEN_INSN(MOV, rax_hreg, left); GEN_INSN(MOV, rax_hreg, left);
@ -529,18 +527,29 @@ compile_int_div_no_check(JitCompContext *cc, IntArithmetic arith_op,
insn = GEN_INSN(DIV_S, rax_hreg, rax_hreg, right); insn = GEN_INSN(DIV_S, rax_hreg, rax_hreg, right);
else else
insn = GEN_INSN(DIV_U, rax_hreg, rax_hreg, right); insn = GEN_INSN(DIV_U, rax_hreg, rax_hreg, right);
res = rax_hreg;
} }
jit_lock_reg_in_insn(cc, insn, eax_hreg); jit_lock_reg_in_insn(cc, insn, eax_hreg);
jit_lock_reg_in_insn(cc, insn, edx_hreg); jit_lock_reg_in_insn(cc, insn, edx_hreg);
if (is_i32) {
res = jit_cc_new_reg_I32(cc);
insn1 = jit_insn_new_MOV(res, eax_hreg);
}
else {
res = jit_cc_new_reg_I64(cc);
insn1 = jit_insn_new_MOV(res, rax_hreg);
}
if (insn && insn1) {
jit_insn_insert_after(insn, insn1);
}
break; break;
} }
case INT_REM_S: case INT_REM_S:
case INT_REM_U: case INT_REM_U:
{ {
JitInsn *insn = NULL; JitInsn *insn = NULL, *insn1 = NULL;
if (is_i32) { if (is_i32) {
GEN_INSN(MOV, eax_hreg, left); GEN_INSN(MOV, eax_hreg, left);
@ -548,8 +557,6 @@ compile_int_div_no_check(JitCompContext *cc, IntArithmetic arith_op,
insn = GEN_INSN(REM_S, edx_hreg, eax_hreg, right); insn = GEN_INSN(REM_S, edx_hreg, eax_hreg, right);
else else
insn = GEN_INSN(REM_U, edx_hreg, eax_hreg, right); insn = GEN_INSN(REM_U, edx_hreg, eax_hreg, right);
res = edx_hreg;
} }
else { else {
GEN_INSN(MOV, rax_hreg, left); GEN_INSN(MOV, rax_hreg, left);
@ -557,12 +564,23 @@ compile_int_div_no_check(JitCompContext *cc, IntArithmetic arith_op,
insn = GEN_INSN(REM_S, rdx_hreg, rax_hreg, right); insn = GEN_INSN(REM_S, rdx_hreg, rax_hreg, right);
else else
insn = GEN_INSN(REM_U, rdx_hreg, rax_hreg, right); insn = GEN_INSN(REM_U, rdx_hreg, rax_hreg, right);
res = rdx_hreg;
} }
jit_lock_reg_in_insn(cc, insn, eax_hreg); jit_lock_reg_in_insn(cc, insn, eax_hreg);
jit_lock_reg_in_insn(cc, insn, edx_hreg); jit_lock_reg_in_insn(cc, insn, edx_hreg);
if (is_i32) {
res = jit_cc_new_reg_I32(cc);
insn1 = jit_insn_new_MOV(res, edx_hreg);
}
else {
res = jit_cc_new_reg_I64(cc);
insn1 = jit_insn_new_MOV(res, rdx_hreg);
}
if (insn && insn1) {
jit_insn_insert_after(insn, insn1);
}
break; break;
} }
#else #else