From 357f5ede26acbf01a64793cf3875a783260bbb52 Mon Sep 17 00:00:00 2001
From: Prashanth Mundkur
Date: Fri, 4 May 2018 09:33:40 -0700
Subject: Fix printing of ld.

---
 riscv/riscv.sail | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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)
 
-- 
cgit v1.2.3