From 95632af49cfd8f3bd20a7d7a8a8182f36b625a63 Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Mon, 18 Apr 2016 17:06:37 +0100
Subject: cheri: fix encoding of CSCC which was short one bit (kathy
 investigating why this didn't cause an error).

---
 cheri/cheri_insts.sail | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/cheri/cheri_insts.sail b/cheri/cheri_insts.sail
index c6e3ca1e..7913a38b 100644
--- a/cheri/cheri_insts.sail
+++ b/cheri/cheri_insts.sail
@@ -596,7 +596,7 @@ function clause execute (CStore(rs, cb, rt, rd, offset, width, conditional)) =
 
 union ast member (regno, regno, regno, regno, bit[11], bool) CSC
 function clause decode (0b111110 : (regno) cs : (regno) cb: (regno) rt : (bit[11]) offset) = Some(CSC(cs, cb, rt, 0b00000, offset, false))
-function clause decode (0b10010 : 0b10000 : (regno) cs : (regno) cb: (regno) rd : 0b00 : 0b0111) = Some(CSC(cs, cb, 0b00000, rd, 0b00000000000, true))
+function clause decode (0b010010 : 0b10000 : (regno) cs : (regno) cb: (regno) rd : 0b00 : 0b0111) = Some(CSC(cs, cb, 0b00000, rd, 0b00000000000, true))
 function clause execute (CSC(cs, cb, rt, rd, offset, conditional)) =
   {
     cs_val := readCapReg(cs);
-- 
cgit v1.2.3