From 7cefaacb86d87546d55a2445e39de4cd8ac9111a Mon Sep 17 00:00:00 2001
From: jon <>
Date: Wed, 21 Apr 2021 10:44:31 +0100
Subject: [PATCH] Remove wayward disabling of consistency flush case for the
 weak memory model.

---
 src_Core/RISCY_OOO/procs/lib/SplitLSQ.bsv | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src_Core/RISCY_OOO/procs/lib/SplitLSQ.bsv b/src_Core/RISCY_OOO/procs/lib/SplitLSQ.bsv
index 29a6566..ece0f03 100644
--- a/src_Core/RISCY_OOO/procs/lib/SplitLSQ.bsv
+++ b/src_Core/RISCY_OOO/procs/lib/SplitLSQ.bsv
@@ -1614,7 +1614,7 @@ module mkSplitLSQ(SplitLSQ);
 
 `ifndef TSO_MM
             // for WEAK model, try to kill younger load in case of multicore
-            if(multicore && False) begin // XXX This case is disabled for now as it causes notable performance anomolies
+            if(multicore) begin
                 doKill = True;
                 curSt = olderStVirTags[tag];
                 LdQVirTag virTag = ldVirTags[tag];