diff options
| author | Robert Norton | 2017-06-22 15:17:34 +0100 |
|---|---|---|
| committer | Robert Norton | 2017-06-22 15:17:34 +0100 |
| commit | ccbd64bf8f4223e1934d9f6d73e172c986e5563d (patch) | |
| tree | 58f17d95141e09a608a4e46caa1f71845640f9d3 | |
| parent | 122d572397571c60f3857ad7342b469da57153d6 (diff) | |
fix a typo spotted in CPtrCmp instruction -- CLEU was using signed comparison instead of unsigned.
| -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 2a5ae43f..76a76ea9 100644 --- a/cheri/cheri_insts.sail +++ b/cheri/cheri_insts.sail @@ -328,7 +328,7 @@ function clause execute(CPtrCmp(rd, cb, ct, op)) = case CLT -> [lts] case CLE -> [lts | equal] case CLTU -> [ltu] - case CLEU -> [lts | equal] + case CLEU -> [ltu | equal] case CEXEQ -> [cb_val == ct_val] }) } |