From 47b02bcbf94c24f258cb7d5c67c11d020352b34c Mon Sep 17 00:00:00 2001
From: Prashanth Mundkur
Date: Wed, 2 May 2018 11:22:56 -0700
Subject: Fix printing of csr immediates.

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

diff --git a/riscv/riscv.sail b/riscv/riscv.sail
index 9c61e65f..d409481e 100644
--- a/riscv/riscv.sail
+++ b/riscv/riscv.sail
@@ -847,7 +847,8 @@ function clause print_insn (CSR(csr, rs1, rd, is_imm, op)) =
       (CSRRC, true)  => "csrrci ",
       (CSRRC, false) => "csrrc  "
     } in
-  insn ^ rd ^ ", " ^ rs1 ^ ", " ^ csr_name(csr)
+  let rs1_str : string = if is_imm then BitStr(rs1) else reg_name_abi(rs1) in
+  insn ^ rd ^ ", " ^ rs1_str ^ ", " ^ csr_name(csr)
 
 /* ****************************************************************** */
 union clause ast = NOP : unit
-- 
cgit v1.2.3