diff options
author | Prashanth Mundkur <prashanth.mundkur@gmail.com> | 2019-04-26 15:29:00 -0700 |
---|---|---|
committer | Prashanth Mundkur <prashanth.mundkur@gmail.com> | 2019-04-26 15:29:00 -0700 |
commit | 2ea97d08fceb9d8eb68e64eac978e09324d71d8e (patch) | |
tree | 18116fdb86ae4e5e47c47c9dcbdb25ac74a81dfe /c_emulator | |
parent | 41459e52b387a28e64a9a81c126b7d899f7aeda8 (diff) | |
download | sail-riscv-2ea97d08fceb9d8eb68e64eac978e09324d71d8e.zip sail-riscv-2ea97d08fceb9d8eb68e64eac978e09324d71d8e.tar.gz sail-riscv-2ea97d08fceb9d8eb68e64eac978e09324d71d8e.tar.bz2 |
Pull in missed rvfi fix.
Diffstat (limited to 'c_emulator')
-rw-r--r-- | c_emulator/riscv_sim.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/c_emulator/riscv_sim.c b/c_emulator/riscv_sim.c index 1176400..1c9e9e3 100644 --- a/c_emulator/riscv_sim.c +++ b/c_emulator/riscv_sim.c @@ -632,7 +632,7 @@ void run_sail(void) sail_int sail_step; CREATE(sail_int)(&sail_step); CONVERT_OF(sail_int, mach_int)(&sail_step, step_no); - stepped = zrvfi_step(sail_step); + stepped = zstep(sail_step); if (have_exception) goto step_exception; flush_logs(); KILL(sail_int)(&sail_step); @@ -798,12 +798,12 @@ int main(int argc, char **argv) #ifndef RVFI_DII } while (0); #else - model_fini(); if (rvfi_dii) { /* Reset for next test */ init_sail(entry); } } while (rvfi_dii); #endif + model_fini(); flush_logs(); } |