diff options
| author | ptitSeb <sebastien.chev@gmail.com> | 2023-12-11 16:00:24 +0100 |
|---|---|---|
| committer | ptitSeb <sebastien.chev@gmail.com> | 2023-12-11 16:00:24 +0100 |
| commit | effbd82d007474d6ad287ad975d2ddcae7896113 (patch) | |
| tree | d6bd63e8c724cdf042db22e04b3987aa638520da /src/dynarec/dynarec_native_pass.c | |
| parent | 9d72c9db1bf113f9a8dba629893ec548b4714c14 (diff) | |
| download | box64-effbd82d007474d6ad287ad975d2ddcae7896113.tar.gz box64-effbd82d007474d6ad287ad975d2ddcae7896113.zip | |
[DYNAREC] Try to improve stability of BOX64_DYNAREC_CALLRET=1 (not really support on RV64 yet)
Diffstat (limited to 'src/dynarec/dynarec_native_pass.c')
| -rw-r--r-- | src/dynarec/dynarec_native_pass.c | 27 |
1 files changed, 18 insertions, 9 deletions
diff --git a/src/dynarec/dynarec_native_pass.c b/src/dynarec/dynarec_native_pass.c index b6b31c12..e67a9848 100644 --- a/src/dynarec/dynarec_native_pass.c +++ b/src/dynarec/dynarec_native_pass.c @@ -77,6 +77,9 @@ uintptr_t native_pass(dynarec_native_t* dyn, uintptr_t addr, int alternate, int dyn->last_ip = 0; // reset IP if some jump are coming here fpu_propagate_stack(dyn, ninst); NEW_INST; + if(ninst && dyn->insts[ninst-1].x64.barrier_next) { + BARRIER(dyn->insts[ninst-1].x64.barrier_next); + } if(!ninst) { GOTEST(x1, x2); } @@ -178,7 +181,9 @@ uintptr_t native_pass(dynarec_native_t* dyn, uintptr_t addr, int alternate, int if(dyn->forward) { if(dyn->forward_to == addr && !need_epilog) { // we made it! - if(box64_dynarec_dump) dynarec_log(LOG_NONE, "Forward extend block for %d bytes %p -> %p\n", dyn->forward_to-dyn->forward, (void*)dyn->forward, (void*)dyn->forward_to); + if(box64_dynarec_dump) dynarec_log(LOG_NONE, "Forward extend block for %d bytes %s%p -> %p\n", dyn->forward_to-dyn->forward, dyn->insts[dyn->forward_ninst].x64.has_callret?"(opt. call) ":"", (void*)dyn->forward, (void*)dyn->forward_to); + if(dyn->insts[dyn->forward_ninst].x64.has_callret && !dyn->insts[dyn->forward_ninst].x64.has_next) + dyn->insts[dyn->forward_ninst].x64.has_next = 1; // this block actually continue dyn->forward = 0; dyn->forward_to = 0; dyn->forward_size = 0; @@ -205,14 +210,18 @@ uintptr_t native_pass(dynarec_native_t* dyn, uintptr_t addr, int alternate, int /*||(((next-addr)<30) && is_instructions(dyn, addr, next-addr))*/ )) { ok = 1; - // need to find back that instruction to copy the caches, as previous version cannot be used anymore - reset_n = -2; - for(int ii=0; ii<ninst; ++ii) - if(dyn->insts[ii].x64.jmp == next) { - reset_n = ii; - ii=ninst; - } - if(box64_dynarec_dump) dynarec_log(LOG_NONE, "Extend block %p, %p -> %p (ninst=%d, jump from %d)\n", dyn, (void*)addr, (void*)next, ninst, reset_n); + if(dyn->insts[ninst].x64.has_callret && !dyn->insts[ninst].x64.has_next) { + dyn->insts[ninst].x64.has_next = 1; // this block actually continue + } else { + // need to find back that instruction to copy the caches, as previous version cannot be used anymore + reset_n = -2; + for(int ii=0; ii<ninst; ++ii) + if(dyn->insts[ii].x64.jmp == next) { + reset_n = ii; + ii=ninst; + } + } + if(box64_dynarec_dump) dynarec_log(LOG_NONE, "Extend block %p, %s%p -> %p (ninst=%d, jump from %d)\n", dyn, dyn->insts[ninst].x64.has_callret?"(opt. call) ":"", (void*)addr, (void*)next, ninst, dyn->insts[ninst].x64.has_callret?ninst:reset_n); } else if(next && (next-addr)<box64_dynarec_forward && (getProtection(next)&PROT_READ)/*box64_dynarec_bigblock>=stopblock*/) { if(!((box64_dynarec_bigblock<stopblock) && !isJumpTableDefault64((void*)next))) { if(dyn->forward) { |