diff options
| author | Robert Norton | 2016-02-02 17:17:42 +0000 |
|---|---|---|
| committer | Robert Norton | 2016-02-02 17:17:46 +0000 |
| commit | 713c429ca2d797df4a7e3dedb02f903b33cdb00e (patch) | |
| tree | 21e164834069020719ee6260070625d3b0a68cc3 /mips/mips.sail | |
| parent | 62dbe7ae33a9ca3932b0c6c1d7c4c75df1008861 (diff) | |
mips.sail: workaround for sail bug
Diffstat (limited to 'mips/mips.sail')
| -rw-r--r-- | mips/mips.sail | 2 |
1 files changed, 1 insertions, 1 deletions
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]) |
