diff options
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 *) |