diff options
| author | Alex Richardson <Alexander.Richardson@cl.cam.ac.uk> | 2020-11-16 19:19:38 +0000 |
|---|---|---|
| committer | Alex Richardson <Alexander.Richardson@cl.cam.ac.uk> | 2021-03-16 16:18:11 +0000 |
| commit | f09f5102cee74ac2126073ef137e94abe3c11611 (patch) | |
| tree | 85b5320e693ce4d3ec4fe4d9ca77072017240019 /model/riscv_step_rvfi.sail | |
| parent | 31b53ea1b7c678a10c3f9caf08b7574d71aad9a6 (diff) | |
| download | sail-riscv-f09f5102cee74ac2126073ef137e94abe3c11611.zip sail-riscv-f09f5102cee74ac2126073ef137e94abe3c11611.tar.gz sail-riscv-f09f5102cee74ac2126073ef137e94abe3c11611.tar.bz2 | |
Initial implementation of new RVFI_DII socket format
This is not a finalized trace format yet.
Diffstat (limited to 'model/riscv_step_rvfi.sail')
| -rw-r--r-- | model/riscv_step_rvfi.sail | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/model/riscv_step_rvfi.sail b/model/riscv_step_rvfi.sail index dd24365..5132568 100644 --- a/model/riscv_step_rvfi.sail +++ b/model/riscv_step_rvfi.sail @@ -6,7 +6,7 @@ function ext_pre_step_hook() -> unit = () function ext_post_step_hook() -> unit = { /* record the next pc */ - rvfi_exec->rvfi_pc_wdata() = EXTZ(get_arch_pc()) + rvfi_pc_data->rvfi_pc_wdata() = EXTZ(get_arch_pc()) } val ext_init : unit -> unit effect {wreg} @@ -14,12 +14,7 @@ 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()); // let _ = rvfi_step(0); - rvfi_zero_exec_packet(); - rvfi_halt_exec_packet(); - let _ = rvfi_get_exec_packet(); ext_rvfi_init(); () } |