diff options
| author | Prashanth Mundkur <prashanth.mundkur@gmail.com> | 2020-02-06 11:27:58 -0800 |
|---|---|---|
| committer | Prashanth Mundkur <prashanth.mundkur@gmail.com> | 2020-02-06 11:27:58 -0800 |
| commit | c8ecb8179c54a609ac7a2630aae306f6e2dcb7ac (patch) | |
| tree | 15cedaf5efdc37745e706e3528175d9b66c3fca4 | |
| parent | 313e217047f08b3c603df53eb59229bf5f313e10 (diff) | |
| download | sail-riscv-c8ecb8179c54a609ac7a2630aae306f6e2dcb7ac.zip sail-riscv-c8ecb8179c54a609ac7a2630aae306f6e2dcb7ac.tar.gz sail-riscv-c8ecb8179c54a609ac7a2630aae306f6e2dcb7ac.tar.bz2 | |
Initialize fdregs for rvfi.
| -rw-r--r-- | model/riscv_step_rvfi.sail | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/model/riscv_step_rvfi.sail b/model/riscv_step_rvfi.sail index 0ab482a..dd24365 100644 --- a/model/riscv_step_rvfi.sail +++ b/model/riscv_step_rvfi.sail @@ -12,6 +12,7 @@ function ext_post_step_hook() -> unit = { val ext_init : unit -> unit effect {wreg} function ext_init() = { init_base_regs(); + init_fdext_regs(); /* these are here so that the C backend doesn't prune them out. */ rvfi_set_instr_packet(0x0000000000000000); print_bits("", rvfi_get_cmd()); |