diff options
| author | Robert Norton | 2017-07-28 11:54:27 +0100 |
|---|---|---|
| committer | Robert Norton | 2017-08-08 14:12:24 +0100 |
| commit | be571f711102cd6659257e5ee1de3b708ebee6ab (patch) | |
| tree | 08bb49fb6ae408996247f85e9613e38b60985435 | |
| parent | 3ee583761a8b7801d0870c0b47e050ac5c8851cd (diff) | |
work around missing >=_u in sail.
| -rw-r--r-- | risc-v/risc-v.sail | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/risc-v/risc-v.sail b/risc-v/risc-v.sail index edf95c62..4b90e792 100644 --- a/risc-v/risc-v.sail +++ b/risc-v/risc-v.sail @@ -126,7 +126,7 @@ function clause execute (BTYPE(imm, rs2, rs1, op)) = case BLT -> rs1_val <_s rs2_val case BGE -> rs1_val >=_s rs2_val case BLTU -> rs1_val <_u rs2_val - case BGEU -> rs1_val >= rs2_val (* XXX is this signed or unsigned? *) + case BGEU -> unsigned(rs1_val) >= unsigned(rs2_val) (* XXX sail missing >=_u *) } in if (taken) then nextPC := PC + EXTS(imm : 0b0) |