diff options
| author | Robert Norton | 2016-05-09 17:26:51 +0100 |
|---|---|---|
| committer | Robert Norton | 2016-05-09 17:26:51 +0100 |
| commit | 1436e658046c21e6f4435289c20a69174aee13de (patch) | |
| tree | 5436973ac71cd2a0d6703a8df9911fbaaa495c42 /mips | |
| parent | 75f573a90e3b658bed20fd2c8257ecf36b7d476a (diff) | |
explicitly give result value for slti to workaround probable sail bug producing '?'
Diffstat (limited to 'mips')
| -rw-r--r-- | mips/mips_insts.sail | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mips/mips_insts.sail b/mips/mips_insts.sail index cfa35ab1..8bb56245 100644 --- a/mips/mips_insts.sail +++ b/mips/mips_insts.sail @@ -516,7 +516,7 @@ function clause execute (SLTI(rs, rt, imm)) = { let imm_val = signed(imm) in let rs_val = signed(rGPR(rs)) in - wGPR(rt) := EXTZ(if (rs_val < imm_val) then 1 else 0) + wGPR(rt) := if (rs_val < imm_val) then 0x0000000000000001 else 0x0000000000000000 } (* SLTU set if less than unsigned *) |