RVFI : For synchronous trap, check mcause MSB also (#2674)

This commit is contained in:
Jalali 2024-12-19 11:10:56 +00:00 committed by GitHub
parent f7dd49efa5
commit d4b337851c
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -284,8 +284,8 @@ module cva6_rvfi
ex_commit_cause == riscv::ENV_CALL_UMODE));
rvfi_instr_o[i].valid <= valid;
rvfi_instr_o[i].insn <= mem_q[commit_pointer[i]].instr;
// when trap, the instruction is not executed
rvfi_instr_o[i].trap <= exception;
// when synchronous trap, the instruction is not executed
rvfi_instr_o[i].trap <= exception && !ex_commit_cause[31];
if (exception && ex_commit_cause[31]) begin
rvfi_intr[i] <= 'b101;