From 4acbe2f43b1a0cbc84e06b56a9e44db30ec3bfa4 Mon Sep 17 00:00:00 2001 From: Peter Rugg Date: Mon, 17 Jul 2023 17:38:57 +0100 Subject: [PATCH] Fix build error with SPEC contracts --- src_Core/RISCY_OOO/procs/RV64G_OOO/MemExePipeline.bsv | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src_Core/RISCY_OOO/procs/RV64G_OOO/MemExePipeline.bsv b/src_Core/RISCY_OOO/procs/RV64G_OOO/MemExePipeline.bsv index d905d6c..46ed78a 100644 --- 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(