Fix printing of csr immediates.

1 files changed, 2 insertions, 1 deletions

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