diff options
author | Clifford Wolf <clifford@clifford.at> | 2017-02-27 14:21:42 +0100 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2017-02-27 14:21:42 +0100 |
commit | f33ddd3654faf1571ef765d898040f24cf092355 (patch) | |
tree | a14b9f5b27fe4eeb3c59c2724beead5ea83ea459 /picorv32.v | |
parent | aaa9e25756c1765353e6ff42da82cbedeecf62cd (diff) | |
download | picorv32-f33ddd3654faf1571ef765d898040f24cf092355.tar.gz picorv32-f33ddd3654faf1571ef765d898040f24cf092355.zip |
Fix in rvfi_mem_ handling (when compressed isa is enabled)
Diffstat (limited to 'picorv32.v')
-rw-r--r-- | picorv32.v | 25 |
1 files changed, 12 insertions, 13 deletions
@@ -1906,20 +1906,19 @@ module picorv32 #( rvfi_rd_wdata <= 0; end + if (dbg_mem_instr) begin + rvfi_mem_addr <= 0; + rvfi_mem_rmask <= 0; + rvfi_mem_wmask <= 0; + rvfi_mem_rdata <= 0; + rvfi_mem_wdata <= 0; + end else if (dbg_mem_valid && dbg_mem_ready) begin - if (dbg_mem_instr) begin - rvfi_mem_addr <= 0; - rvfi_mem_rmask <= 0; - rvfi_mem_wmask <= 0; - rvfi_mem_rdata <= 0; - rvfi_mem_wdata <= 0; - end else begin - rvfi_mem_addr <= dbg_mem_addr; - rvfi_mem_rmask <= dbg_mem_wstrb ? 0 : ~0; - rvfi_mem_wmask <= dbg_mem_wstrb; - rvfi_mem_rdata <= dbg_mem_rdata; - rvfi_mem_wdata <= dbg_mem_wdata; - end + rvfi_mem_addr <= dbg_mem_addr; + rvfi_mem_rmask <= dbg_mem_wstrb ? 0 : ~0; + rvfi_mem_wmask <= dbg_mem_wstrb; + rvfi_mem_rdata <= dbg_mem_rdata; + rvfi_mem_wdata <= dbg_mem_wdata; end end |