diff options
| author | Alex Richardson <Alexander.Richardson@cl.cam.ac.uk> | 2020-11-24 10:46:27 +0000 |
|---|---|---|
| committer | Alex Richardson <Alexander.Richardson@cl.cam.ac.uk> | 2021-03-16 16:19:25 +0000 |
| commit | 251bd0850e932e1cb36a77c5db3e55c2426f3577 (patch) | |
| tree | 460acc5e510f5b9d744c778b8b2e0b128b470d04 /model/riscv_fetch_rvfi.sail | |
| parent | 4eb201e47d4549fd7990a28049eb65d2ccc2806c (diff) | |
| download | sail-riscv-251bd0850e932e1cb36a77c5db3e55c2426f3577.zip sail-riscv-251bd0850e932e1cb36a77c5db3e55c2426f3577.tar.gz sail-riscv-251bd0850e932e1cb36a77c5db3e55c2426f3577.tar.bz2 | |
Also set the IXL field in the RVFI trace
Diffstat (limited to 'model/riscv_fetch_rvfi.sail')
| -rw-r--r-- | model/riscv_fetch_rvfi.sail | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/model/riscv_fetch_rvfi.sail b/model/riscv_fetch_rvfi.sail index 82bf881..6df27f3 100644 --- a/model/riscv_fetch_rvfi.sail +++ b/model/riscv_fetch_rvfi.sail @@ -2,6 +2,7 @@ function fetch() -> FetchResult = { rvfi_inst_data->rvfi_order() = minstret; rvfi_pc_data->rvfi_pc_rdata() = EXTZ(get_arch_pc()); rvfi_inst_data->rvfi_mode() = EXTZ(privLevel_to_bits(cur_privilege)); + rvfi_inst_data->rvfi_ixl() = EXTZ(misa.MXL()); /* First allow extensions to check pc */ match ext_fetch_check_pc(PC, PC) { |