diff options
| -rw-r--r-- | riscv/riscv.sail | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/riscv/riscv.sail b/riscv/riscv.sail index d93c7dae..1b5a632c 100644 --- a/riscv/riscv.sail +++ b/riscv/riscv.sail @@ -254,7 +254,8 @@ function clause print_insn (LOAD(imm, rs1, rd, is_unsigned, width, aq, rl)) = (HALF, true) => "lhu ", (WORD, false) => "lw ", (WORD, true) => "lwu ", - (_, _) => "ld.bad " + (DOUBLE, false) => "ld ", + (DOUBLE, true) => "ldu " } in insn ^ rd ^ ", " ^ rs1 ^ ", " ^ BitStr(imm) |