From e89af4a66d695d7f241783308e7901f6988c28cd Mon Sep 17 00:00:00 2001
From: Franz Fuchs <franz.fuchs@cl.cam.ac.uk>
Date: Tue, 26 Jul 2022 09:18:20 +0100
Subject: [PATCH] added typedefs to STLPred

---
 src_Core/RISCY_OOO/procs/lib/STLPred.bsv | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/src_Core/RISCY_OOO/procs/lib/STLPred.bsv b/src_Core/RISCY_OOO/procs/lib/STLPred.bsv
index a105f3e..d078ee2 100644
--- a/src_Core/RISCY_OOO/procs/lib/STLPred.bsv
+++ b/src_Core/RISCY_OOO/procs/lib/STLPred.bsv
@@ -30,6 +30,10 @@
 `include "ProcConfig.bsv"
 import Map::*;
 
+typedef Bit#(10) StlPredKey;
+typedef Bit#(6) StlPredIndex;
+typedef Int#(3) StlPredValue;
+typedef 2 StlPredAssociativity;
 
 interface STLPred;
     method Action update(Bit#(16) pc_hash, Bool waited, Bool killedLd);
@@ -37,7 +41,7 @@ interface STLPred;
 endinterface
 
 module mkSTLPred(STLPred);
-    Map#(Bit#(10),Bit#(6),Int#(3),2) ldKillMap <- mkMapLossy(minBound);
+    Map#(StlPredKey,StlPredIndex,StlPredValue,StlPredAssociativity) ldKillMap <- mkMapLossy(minBound);
     Reg#(Bit#(16)) rand_count <- mkReg(0);
 
     rule inc_rand_count;