From 7e4e9d2deb22bd076df225aaf08bfebcc420c4f7 Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Fri, 27 Apr 2018 11:15:49 +0100
Subject: Cheri ISA change in CTestSubset -- ignore sealed bits when testing
 for subset (aids garbage collection).

---
 cheri/cheri_insts.sail | 2 --
 1 file changed, 2 deletions(-)

diff --git a/cheri/cheri_insts.sail b/cheri/cheri_insts.sail
index cfd3b153..532f0fef 100644
--- a/cheri/cheri_insts.sail
+++ b/cheri/cheri_insts.sail
@@ -923,8 +923,6 @@ function clause execute (CTestSubset(rd, cb, ct)) =
   else {
      result : bits(1) = if (cb_val.tag != ct_val.tag) then
              0b0
-        else if (cb_val.sealed != ct_val.sealed) then
-             0b0
         else if (ct_base < cb_base) then
              0b0
         else if (ct_top > cb_top) then
-- 
cgit v1.2.3