Temporary resolution of signExtension behaviour for getType.

Peter intends to use getKind from an updated version of cheri-cap-lib.
2020-05-12 17:25:44 +01:00
parent 0f0d1a983b
commit a6fd7acf3e
1 changed files with 1 additions and 1 deletions
--- a/src_Core/RISCY_OOO/procs/lib/Exec.bsv
+++ b/src_Core/RISCY_OOO/procs/lib/Exec.bsv
@@ -237,7 +237,7 @@ function Data capInspect(CapPipe a, CapPipe b, CapInspectFunc func);
               tagged GetPerm                :
                   zeroExtend(getPerms(a));
               tagged GetType                :
-                   signExtend(getType(a));
+                   {(validAsType(a, zeroExtend(getType(a)))) ? 0:-1, getType(a)};
               tagged ToPtr                  :
                   (isValidCap(a) ? (getAddr(a) - getBase(b)) : 0);
               default: ?;