diff options
| -rw-r--r-- | cheri/cheri_insts.sail | 2 |
1 files changed, 1 insertions, 1 deletions
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 |