aboutsummaryrefslogtreecommitdiff
path: root/c_emulator
diff options
context:
space:
mode:
authorPrashanth Mundkur <prashanth.mundkur@gmail.com>2019-04-26 15:29:00 -0700
committerPrashanth Mundkur <prashanth.mundkur@gmail.com>2019-04-26 15:29:00 -0700
commit2ea97d08fceb9d8eb68e64eac978e09324d71d8e (patch)
tree18116fdb86ae4e5e47c47c9dcbdb25ac74a81dfe /c_emulator
parent41459e52b387a28e64a9a81c126b7d899f7aeda8 (diff)
downloadsail-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.c4
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();
}