Add CToPtr special case

2020-04-21 13:52:33 +01:00
parent 1773530c72
commit 8a4fa786dd
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
@@ -206,7 +206,7 @@ function Data capInspect(CapPipe a, CapPipe b, CapInspectFunc func);
               tagged GetType                :
                   signExtend(getType(a));
               tagged ToPtr                  :
-                   (getAddr(a) - getBase(b));
+                   (isValidCap(a) ? (getAddr(a) - getBase(b)) : 0);
               default: ?;
        endcase);
    return res;