diff options
| author | Robert Norton | 2016-04-29 17:14:34 +0100 |
|---|---|---|
| committer | Robert Norton | 2016-04-29 17:14:36 +0100 |
| commit | dcbdd6df047117eebc449e63c678406e04efdaed (patch) | |
| tree | edccc9f8f168609bea43c6a08328d4fad81b3fda /cheri | |
| parent | 7119bd7e64e43b991d7fc06965d90d575bd1f7ea (diff) | |
new encoding for cgetpcc (ISA change).
Diffstat (limited to 'cheri')
| -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 |