diff options
| author | Robert Norton | 2016-04-18 11:42:58 +0100 |
|---|---|---|
| committer | Robert Norton | 2016-04-18 11:42:58 +0100 |
| commit | a732bfdfbacd9be9b06922c1403730aab267c0a7 (patch) | |
| tree | 5f9bb0fd300828d247572fa29d00235919421a83 /cheri | |
| parent | ac3182da3c97544e5585e4d0da2d184ad54599e5 (diff) | |
cheri: fix inverted tag check for cptrcmp.
Diffstat (limited to 'cheri')
| -rw-r--r-- | cheri/cheri_insts.sail | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cheri/cheri_insts.sail b/cheri/cheri_insts.sail index d331e695..84177608 100644 --- a/cheri/cheri_insts.sail +++ b/cheri/cheri_insts.sail @@ -148,7 +148,7 @@ function clause execute(CPtrCmp(rd, cb, ct, op)) = lts := false; if (cb_val.tag != ct_val.tag) then { - if (cb_val.tag) then + if (~(cb_val.tag)) then { ltu := true; lts := true; |