From a994afb16a99ea2d1e19311f4d75021bc7dabcd5 Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Thu, 18 Jan 2018 11:11:33 +0000
Subject: immediate for CIncOffsetImmediate must be treated as signed (fixes
 test_cp2_rep_underflow).

---
 cheri/cheri_insts.sail | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
cgit v1.2.3