From be571f711102cd6659257e5ee1de3b708ebee6ab Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Fri, 28 Jul 2017 11:54:27 +0100
Subject: work around missing >=_u in sail.

---
 risc-v/risc-v.sail | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/risc-v/risc-v.sail b/risc-v/risc-v.sail
index edf95c62..4b90e792 100644
--- a/risc-v/risc-v.sail
+++ b/risc-v/risc-v.sail
@@ -126,7 +126,7 @@ function clause execute (BTYPE(imm, rs2, rs1, op)) =
     case BLT  -> rs1_val <_s rs2_val
     case BGE  -> rs1_val >=_s rs2_val
     case BLTU -> rs1_val <_u rs2_val
-    case BGEU -> rs1_val >= rs2_val (* XXX is this signed or unsigned? *)
+    case BGEU -> unsigned(rs1_val) >= unsigned(rs2_val) (* XXX sail missing >=_u *)
   } in
   if (taken) then
       nextPC := PC + EXTS(imm : 0b0)
-- 
cgit v1.2.3