From 9f09921268c2f7bf020c8327016fdaa3685d8c68 Mon Sep 17 00:00:00 2001
From: Nathaniel Wesley Filardo <wes.filardo@scisemi.com>
Date: Mon, 2 Dec 2024 18:28:55 +0000
Subject: [PATCH] candperm: brown paper bag fix for #83

Sigh, sorry.  This was originally "~(mask | perm_global) == zeros()" and
had one too many inversions applied.
---
 src/cheri_insts.sail | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/cheri_insts.sail b/src/cheri_insts.sail
index e1a34ef..79a8053 100644
--- a/src/cheri_insts.sail
+++ b/src/cheri_insts.sail
@@ -456,7 +456,7 @@ function clause execute(CAndPerm(cd, cs1, rs2)) = {
    */
   let perm_global = getCapPerms({ null_cap with global = true });
   let inCap = clearTagIf(cs1_val,
-                isCapSealed(cs1_val) & ((mask | perm_global) == ones()));
+                isCapSealed(cs1_val) & ((mask | perm_global) != ones()));
 
   let newCap = setCapPerms(inCap, newperms);