From db6a91e0fd27b1c322c877835d107ff40dac4366 Mon Sep 17 00:00:00 2001
From: Franz Fuchs <franz.fuchs@cl.cam.ac.uk>
Date: Tue, 6 Jul 2021 15:19:37 +0100
Subject: [PATCH] mad Maps flush on reset

---
 src_Core/RISCY_OOO/procs/lib/Map.bsv | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src_Core/RISCY_OOO/procs/lib/Map.bsv b/src_Core/RISCY_OOO/procs/lib/Map.bsv
index 64ac758..23f10fe 100644
--- a/src_Core/RISCY_OOO/procs/lib/Map.bsv
+++ b/src_Core/RISCY_OOO/procs/lib/Map.bsv
@@ -70,7 +70,7 @@ Bitwise#(ix), Eq#(ix), Arith#(ix));
     Reg#(Bit#(TLog#(as))) wayNext <- mkReg(0);
     Integer a = valueof(as);
 
-    Reg#(Bool) clearReg <- mkReg(False);
+    Reg#(Bool) clearReg <- mkReg(True);
     Reg#(ix) clearCount <- mkReg(0);
     PulseWire didUpdate <- mkPulseWire;
     rule doClear(clearReg && !didUpdate);
@@ -137,7 +137,7 @@ Bitwise#(ix), Eq#(ix), Arith#(ix), PrimIndex#(ix, a__));
     Reg#(Bit#(TLog#(as))) wayNext <- mkReg(0);
     Integer a = valueof(as);
 
-    Reg#(Bool) clearReg <- mkReg(False);
+    Reg#(Bool) clearReg <- mkReg(True);
     Reg#(ix) clearCount <- mkReg(0);
     (* fire_when_enabled, no_implicit_conditions *)
     rule updateCanon;