summaryrefslogtreecommitdiff
path: root/riscv
diff options
context:
space:
mode:
authorPrashanth Mundkur2018-05-04 09:33:40 -0700
committerPrashanth Mundkur2018-05-04 15:59:57 -0700
commit357f5ede26acbf01a64793cf3875a783260bbb52 (patch)
tree892be021e9d1a4befa6e76437c92d02a2aa53f5f /riscv
parent066ecac9d79769e1a759f8ed1b13b18548aef36c (diff)
Fix printing of ld.
Diffstat (limited to 'riscv')
-rw-r--r--riscv/riscv.sail3
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)