From ccbd64bf8f4223e1934d9f6d73e172c986e5563d Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Thu, 22 Jun 2017 15:17:34 +0100
Subject: fix a typo spotted in CPtrCmp instruction -- CLEU was using signed
 comparison instead of unsigned.

---
 cheri/cheri_insts.sail | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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]
       })
     }
-- 
cgit v1.2.3