From 6c4435f9d8012f7997ca8cdc3710ced52b4d9081 Mon Sep 17 00:00:00 2001 From: Peter Rugg Date: Tue, 7 Jan 2025 17:49:46 +0000 Subject: [PATCH] Relax comparing memory read data The data is presented in the written register in any case, so all this was testing is how the data is aligned in the report. --- src/QuickCheckVEngine/RVFI_DII/RVFI.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/QuickCheckVEngine/RVFI_DII/RVFI.hs b/src/QuickCheckVEngine/RVFI_DII/RVFI.hs index 1914c65..b5ec43d 100644 --- a/src/QuickCheckVEngine/RVFI_DII/RVFI.hs +++ b/src/QuickCheckVEngine/RVFI_DII/RVFI.hs @@ -496,7 +496,7 @@ rvfiCheck strict is64 x y checkField True "pc_wdata" printHex (maskUpper is64 (rvfi_pc_wdata x)) (maskUpper is64 (rvfi_pc_wdata y)), checkField (strict || ((maybe 0 rvfi_mem_wmask (rvfi_mem_data x)) /= 0)) "mem_addr" printHex (getMemAddr is64 x) (getMemAddr is64 y), _checkField (strict || rvfi_trap x == 0) "mem_wdata" (compareMemData is64 x y rvfi_mem_wmask rvfi_mem_wdata) "", -- TODO: context - _checkField (strict || rvfi_trap x == 0) "mem_rdata" (compareMemData is64 x y rvfi_mem_rmask rvfi_mem_rdata) "" -- TODO: context + _checkField strict "mem_rdata" (compareMemData is64 x y rvfi_mem_rmask rvfi_mem_rdata) "" -- TODO: context ] printHex x = "0x" ++ showHex x ""