From a6fd7acf3ed9624311f2b21d0b4cf86c31231384 Mon Sep 17 00:00:00 2001
From: jon <jonwoodruff@gmail.com>
Date: Tue, 12 May 2020 17:25:44 +0100
Subject: [PATCH] Temporary resolution of signExtension behaviour for getType.
 Peter intends to use getKind from an updated version of cheri-cap-lib.

---
 src_Core/RISCY_OOO/procs/lib/Exec.bsv | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src_Core/RISCY_OOO/procs/lib/Exec.bsv b/src_Core/RISCY_OOO/procs/lib/Exec.bsv
index 097d0db..b02ee69 100755
--- 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: ?;