change to cgettype -- returns -1 if not sealed instead of 0.

1 files changed, 3 insertions, 1 deletions

diff --git a/cheri/cheri_insts.sail b/cheri/cheri_insts.sail
index 96127906..e6228217 100644
--- a/cheri/cheri_insts.sail
+++ b/cheri/cheri_insts.sail
@@ -71,7 +71,9 @@ function clause execute (CGetType(rd, cb)) =
     raise_c2_exception(CapEx_AccessSystemRegsViolation, cb)
   else
     let capVal = readCapReg(cb) in
-    wGPR(rd) := EXTZ(capVal.otype);
+    wGPR(rd) := if (capVal.sealed)
+      then EXTZ(capVal.otype)
+      else -1
   (* END_CGetType *)
 }