Skip to content

Commit 2fadd1a

Browse files
committed
[rtl] Stop rvfi from reporting load information on stores
1 parent e84ec08 commit 2fadd1a

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

rtl/ibex_core.sv

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1623,7 +1623,7 @@ module ibex_core import ibex_pkg::*; #(
16231623
rvfi_stage_rs3_addr[i] <= rvfi_rs3_addr_d;
16241624
rvfi_stage_pc_rdata[i] <= pc_id;
16251625
rvfi_stage_pc_wdata[i] <= pc_set ? branch_target_ex : pc_if;
1626-
rvfi_stage_mem_rmask[i] <= rvfi_mem_mask_int;
1626+
rvfi_stage_mem_rmask[i] <= data_we_o ? 4'b0000 : rvfi_mem_mask_int;
16271627
rvfi_stage_mem_wmask[i] <= data_we_o ? rvfi_mem_mask_int : 4'b0000;
16281628
rvfi_stage_rs1_rdata[i] <= rvfi_rs1_data_d;
16291629
rvfi_stage_rs2_rdata[i] <= rvfi_rs2_data_d;

0 commit comments

Comments
 (0)