Add rvfi_mode (set to constant 3 = M-mode)

Signed-off-by: Clifford Wolf <clifford@clifford.at>
This commit is contained in:
Clifford Wolf 2018-08-31 12:21:01 +02:00
parent e3ce4ef800
commit 23d7bbdc8b
1 changed files with 2 additions and 0 deletions

View File

@ -122,6 +122,7 @@ module picorv32 #(
output reg rvfi_trap, output reg rvfi_trap,
output reg rvfi_halt, output reg rvfi_halt,
output reg rvfi_intr, output reg rvfi_intr,
output reg [ 1:0] rvfi_mode,
output reg [ 4:0] rvfi_rs1_addr, output reg [ 4:0] rvfi_rs1_addr,
output reg [ 4:0] rvfi_rs2_addr, output reg [ 4:0] rvfi_rs2_addr,
output reg [31:0] rvfi_rs1_rdata, output reg [31:0] rvfi_rs1_rdata,
@ -1962,6 +1963,7 @@ module picorv32 #(
rvfi_trap <= trap; rvfi_trap <= trap;
rvfi_halt <= trap; rvfi_halt <= trap;
rvfi_intr <= dbg_irq_enter; rvfi_intr <= dbg_irq_enter;
rvfi_mode <= 3;
if (!resetn) begin if (!resetn) begin
dbg_irq_call <= 0; dbg_irq_call <= 0;