diff options
| author | Robert Norton | 2018-04-27 11:15:49 +0100 |
|---|---|---|
| committer | Robert Norton | 2018-04-27 11:19:55 +0100 |
| commit | 7e4e9d2deb22bd076df225aaf08bfebcc420c4f7 (patch) | |
| tree | 73920df5b965cd95a60f2f369baa8ad461530fe6 | |
| parent | 43bfa97764b499b177b9918d91d25d6b8116b7fd (diff) | |
Cheri ISA change in CTestSubset -- ignore sealed bits when testing for subset (aids garbage collection).
| -rw-r--r-- | cheri/cheri_insts.sail | 2 |
1 files changed, 0 insertions, 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 |