Fix build error with SPEC contracts

2023-07-17 17:38:57 +01:00
parent 5818a886dd
commit 4acbe2f43b
1 changed files with 1 additions and 1 deletions
--- a/src_Core/RISCY_OOO/procs/RV64G_OOO/MemExePipeline.bsv
+++ b/src_Core/RISCY_OOO/procs/RV64G_OOO/MemExePipeline.bsv
@@ -686,6 +686,7 @@ module mkMemExePipeline#(MemExeInput inIfc)(MemExePipeline);
 `endif
                                         );

+        let pc = inIfc.rob_getPC(x.tag);
 `ifdef PERFORMANCE_MONITORING
 `ifdef CONTRACTS_VERIFY
        function Bool is_16b_inst (Bit #(n) inst);
@@ -701,7 +702,6 @@ module mkMemExePipeline#(MemExeInput inIfc)(MemExePipeline);
        end
 `endif
 `endif
-        let pc = inIfc.rob_getPC(x.tag);

        // update LSQ
        LSQUpdateAddrResult updRes <- lsq.updateAddr(