From c3735deb33560cfafae33659bfa3c00a57e4af0a Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Wed, 13 Apr 2016 15:04:44 +0100
Subject: Put in a cast into slti

Note to self: consider removing this cast after fixing overload resolution
---
 mips/mips_insts.sail | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/mips/mips_insts.sail b/mips/mips_insts.sail
index d6288b15..15aad01d 100644
--- a/mips/mips_insts.sail
+++ b/mips/mips_insts.sail
@@ -514,7 +514,7 @@ function clause decode (0b001010 : (regno) rs : (regno) rt : (imm16) imm) =
   Some(SLTI(rs, rt, imm))
 function clause execute (SLTI(rs, rt, imm)) =
   {
-    wGPR(rt) := if (rGPR(rs) <_s EXTS(imm)) then 1 else 0
+    wGPR(rt) := if (rGPR(rs) <_s ((bit[64]) (EXTS(imm)))) then 1 else 0
   }
 
 (* SLTU set if less than unsigned *)
-- 
cgit v1.2.3