diff options
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 88516bb4..d331e695 100644 --- a/cheri/cheri_insts.sail +++ b/cheri/cheri_insts.sail @@ -160,7 +160,7 @@ function clause execute(CPtrCmp(rd, cb, ct, op)) = cursor2 := getCapCursor(ct_val); equal := (cursor1 == cursor2); ltu := (cursor1 < cursor2); - lts := (cursor1 <_s cursor2); + lts := (((bit[64])cursor1) <_s ((bit[64])cursor2)); }; wGPR(rd) := EXTZ(switch (op) { case CEQ -> [equal] |