diff options
Diffstat (limited to 'cheri')
| -rw-r--r-- | cheri/cheri_insts.sail | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/cheri/cheri_insts.sail b/cheri/cheri_insts.sail index 2723d92f..08f14eb1 100644 --- a/cheri/cheri_insts.sail +++ b/cheri/cheri_insts.sail @@ -730,3 +730,8 @@ function clause execute (CLC(cd, cb, rt, offset, linked)) = } } } + +union ast member (regno) C2Dump +function clause decode (0b010010 : 0b00100 : (regno) rt : 0x0006) = Some(C2Dump(rt)) +function clause execute (C2Dump (rt)) = + () (* Currently a NOP *) |