diff options
| author | Robert Norton | 2016-02-01 17:01:49 +0000 |
|---|---|---|
| committer | Robert Norton | 2016-02-01 17:01:49 +0000 |
| commit | 904487ad8c5741c46c4127c3955d4813fdf589dc (patch) | |
| tree | 4616ba223961b705f1f151741bcc71a985a6a0d3 /mips | |
| parent | 9d589979b654cf314268139883bbacd957134fb7 (diff) | |
mips.sail: workaround oddness in comparison in MOVN and MOVZ. sail bug?
Diffstat (limited to 'mips')
| -rw-r--r-- | mips/mips.sail | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/mips/mips.sail b/mips/mips.sail index fedc580e..b34096ff 100644 --- a/mips/mips.sail +++ b/mips/mips.sail @@ -805,7 +805,7 @@ function clause decode (0b000000 : (regno) rs : (regno) rt : (regno) rd : 0b0000 Some(MOVN(rs, rt, rd)) function clause execute (MOVN(rs, rt, rd)) = { - if (rGPR(rt) != 0) then + if (rGPR(rt) != 0x0000000000000000) then wGPR(rd) := rGPR(rs) } @@ -816,7 +816,7 @@ function clause decode (0b000000 : (regno) rs : (regno) rt : (regno) rd : 0b0000 Some(MOVZ(rs, rt, rd)) function clause execute (MOVZ(rs, rt, rd)) = { - if (rGPR(rt) == 0) then + if (rGPR(rt) == 0x0000000000000000) then wGPR(rd) := rGPR(rs) } |