From 0edd0cd209e163b5cb6af3e62a83aacd63c78fa3 Mon Sep 17 00:00:00 2001
From: Christopher
Date: Wed, 13 Jul 2016 12:38:14 +0100
Subject: fix

---
 mips/mips_prelude.sail | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'mips')

diff --git a/mips/mips_prelude.sail b/mips/mips_prelude.sail
index 5be1a3cc..a490efb9 100644
--- a/mips/mips_prelude.sail
+++ b/mips/mips_prelude.sail
@@ -152,7 +152,6 @@ register (bit[1])   CP0LLBit
 register (bit[64])  CP0LLAddr
 register (bit[64])  CP0BadVAddr
 register (bit[32])  CP0Count
-register (bit[32])  CP0Compare
 register (bit[32])  CP0HWREna
 register (bit[64])  CP0UserLocal
 
@@ -277,7 +276,6 @@ function (bit[5]) ExceptionCode ((Exception) ex) =
    }
 
 
-val Exception -> unit effect {rreg, wreg} SignalException
 
 function unit SignalExceptionMIPS ((Exception) ex, (bit[64]) kccBase) = 
   {
@@ -318,6 +316,8 @@ function unit SignalExceptionMIPS ((Exception) ex, (bit[64]) kccBase) =
       CP0Status.EXL         := 1;
   }
 
+val Exception -> unit effect {rreg, wreg} SignalException
+
 function unit SignalExceptionBadAddr((Exception) ex, (bit[64]) badAddr) =
   {
     CP0BadVAddr := badAddr;
-- 
cgit v1.2.3