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 c2115534..f6b8818e 100644 --- a/cheri/cheri_insts.sail +++ b/cheri/cheri_insts.sail @@ -496,7 +496,7 @@ function clause execute (CIncOffsetImmediate(cd, cb, imm)) = (* START_CIncOffsetImmediate *) checkCP2usable(); cb_val := readCapReg(cb); - let (bit[64]) imm64 = EXTZ(imm) in + let (bit[64]) imm64 = EXTS(imm) in if (register_inaccessible(cd)) then raise_c2_exception(CapEx_AccessSystemRegsViolation, cd) else if (register_inaccessible(cb)) then |