From 713c429ca2d797df4a7e3dedb02f903b33cdb00e Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Tue, 2 Feb 2016 17:17:42 +0000
Subject: mips.sail: workaround for sail bug

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

diff --git a/mips/mips.sail b/mips/mips.sail
index 99054cdb..81ab5583 100644
--- a/mips/mips.sail
+++ b/mips/mips.sail
@@ -1308,7 +1308,7 @@ function clause execute (Store(width, conditional, base, rt, offset)) =
           {
                 if (conditional) then
                   {
-                    success := if (CP0LLBit) then switch(width)
+                    success := if (CP0LLBit[0]) then switch(width)
                     {
                       case B -> MEMw_conditional(pAddr, 1, rt_val[7..0])
                       case H -> MEMw_conditional(pAddr, 2, rt_val[15..0])
-- 
cgit v1.2.3