From 3f7b0e35f28648f640e2360496c7a03a8bafd331 Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Fri, 13 May 2016 10:39:41 +0100
Subject: don't write 33-bit value to hwrena (suprised that this type checked).

---
 mips/mips_insts.sail | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'mips')

diff --git a/mips/mips_insts.sail b/mips/mips_insts.sail
index 42822550..ec4e8f8e 100644
--- a/mips/mips_insts.sail
+++ b/mips/mips_insts.sail
@@ -1370,7 +1370,7 @@ function clause execute (MTC0(rt, rd, sel, double)) = {
   switch (rd, sel)
     {
       case (0b00100,0b010) -> CP0UserLocal := reg_val
-      case (0b00111,0b000) -> CP0HWREna := (reg_val[31..29] : 0b0000000000000000000000000 : reg_val[4..0])
+      case (0b00111,0b000) -> CP0HWREna := (reg_val[31..29] : 0b0000000000000000000000000 : reg_val[3..0])
       case (0b01001,0b000) -> CP0Count := reg_val[31..0]
       case (0b01011,0b000) -> {  (* 11, sel 0: Compare reg *)
         CP0Compare := reg_val[31..0]; 
-- 
cgit v1.2.3