From cc0114f645a17670721b1fde76d0fc9edd8e6326 Mon Sep 17 00:00:00 2001
From: Jonathan Woodruff <jdw57@cam.ac.uk>
Date: Tue, 16 Nov 2021 15:40:01 +0000
Subject: [PATCH] Swap write priority, as suggested by Franz.

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

diff --git a/src_Core/RISCY_OOO/procs/lib/Ras.bsv b/src_Core/RISCY_OOO/procs/lib/Ras.bsv
index 5acb3e7..9a7ecf4 100644
--- a/src_Core/RISCY_OOO/procs/lib/Ras.bsv
+++ b/src_Core/RISCY_OOO/procs/lib/Ras.bsv
@@ -73,7 +73,7 @@ module mkRas(ReturnAddrStack) provisos(NumAlias#(TExp#(TLog#(RasEntries)), RasEn
 
     rule doFlush(!flushDone);
         writeVReg(getVEhrPort(stack, valueof(SupSize)), replicate(0));
-        head[valueof(SupSize)] <= 0;
+        head[valueof(SupSize) + 1] <= 0;
         flushDone <= True;
     endrule
 `endif
@@ -101,7 +101,7 @@ module mkRas(ReturnAddrStack) provisos(NumAlias#(TExp#(TLog#(RasEntries)), RasEn
     end
 
     method Action setHead(RasIndex h);
-        head[valueof(SupSize) + 1] <= h;
+        head[valueof(SupSize)] <= h;
     endmethod
 
     interface ras = rasIfc;