diff options
| author | Robert Norton | 2018-01-18 11:11:33 +0000 |
|---|---|---|
| committer | Robert Norton | 2018-02-06 16:19:51 +0000 |
| commit | a994afb16a99ea2d1e19311f4d75021bc7dabcd5 (patch) | |
| tree | faeaff8ca69a4464a70c3c242ce5213e377d03ed /cheri | |
| parent | a2d7f3436b83a72e24d693697eeb4951165cba3d (diff) | |
immediate for CIncOffsetImmediate must be treated as signed (fixes test_cp2_rep_underflow).
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 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 |