From dcbdd6df047117eebc449e63c678406e04efdaed Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Fri, 29 Apr 2016 17:14:34 +0100
Subject: new encoding for cgetpcc (ISA change).

---
 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 f2c91615..8b8e17e9 100644
--- a/cheri/cheri_insts.sail
+++ b/cheri/cheri_insts.sail
@@ -31,7 +31,7 @@ function clause execute (CGetX(op, rd, cb)) =
 
 
 union ast member regno CGetPCC
-function clause decode (0b010010 : 0b00000 : 0b00000 : (regno) cd : 0b00000 : 0b000 : 0b111) = Some(CGetPCC(cd))
+function clause decode (0b010010 : 0b00000 : (regno) cd : 0b00000 : 0b11111 : 0b111111) = Some(CGetPCC(cd))
 function clause execute (CGetPCC(cd)) =
     {
       if (register_inaccessible(cd)) then
-- 
cgit v1.2.3