diff options
| author | Alex Richardson <Alexander.Richardson@cl.cam.ac.uk> | 2020-11-19 18:59:45 +0000 |
|---|---|---|
| committer | Alex Richardson <Alexander.Richardson@cl.cam.ac.uk> | 2021-03-16 16:19:24 +0000 |
| commit | 6ff8c4bdcc99a6a2e97a767de7b88f96c23a0dd0 (patch) | |
| tree | fe7862a346a9257baf0360c21b3f7c59b62b7ad4 /model/riscv_fetch_rvfi.sail | |
| parent | a3a31c33a0ff32c8ff826fefc22c8901e9717461 (diff) | |
| download | sail-riscv-6ff8c4bdcc99a6a2e97a767de7b88f96c23a0dd0.zip sail-riscv-6ff8c4bdcc99a6a2e97a767de7b88f96c23a0dd0.tar.gz sail-riscv-6ff8c4bdcc99a6a2e97a767de7b88f96c23a0dd0.tar.bz2 | |
Report the current privilege level via RVFI
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 2579b77..82bf881 100644 --- a/model/riscv_fetch_rvfi.sail +++ b/model/riscv_fetch_rvfi.sail @@ -1,6 +1,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)); /* First allow extensions to check pc */ match ext_fetch_check_pc(PC, PC) { |