1 files changed, 0 insertions, 44 deletions
diff --git a/riscv/riscv.sail b/riscv/riscv.sail
index 8e734576..e80604ac 100644
--- a/riscv/riscv.sail
+++ b/riscv/riscv.sail
@@ -139,50 +139,6 @@ function clause print_insn (ITYPE(imm, rs1, rd, op)) =
   insn ^ rd ^ ", " ^ rs1 ^ ", " ^ BitStr(imm)
 
 
-
-
-
-val reg_name : bits(5) <-> string
-mapping reg_name = {
-    0b00000 <-> "zero",
-    0b00001 <-> "ra",
-    0b00010 <-> "sp",
-    0b00011 <-> "gp",
-    0b00100 <-> "tp",
-    0b00101 <-> "t0",
-    0b00110 <-> "t1",
-    0b00111 <-> "t2",
-    0b01000 <-> "fp",
-    0b01001 <-> "s1",
-    0b01010 <-> "a0",
-    0b01011 <-> "a1",
-    0b01100 <-> "a2",
-    0b01101 <-> "a3",
-    0b01110 <-> "a4",
-    0b01111 <-> "a5",
-    0b10000 <-> "a6",
-    0b10001 <-> "a7",
-    0b10010 <-> "s2",
-    0b10011 <-> "s3",
-    0b10100 <-> "s4",
-    0b10101 <-> "s5",
-    0b10110 <-> "s6",
-    0b10111 <-> "s7",
-    0b11000 <-> "s8",
-    0b11001 <-> "s9",
-    0b11010 <-> "s10",
-    0b11011 <-> "s11",
-    0b11100 <-> "t3",
-    0b11101 <-> "t4",
-    0b11110 <-> "t5",
-    0b11111 <-> "t6"
-}
-
-val operand_sep : unit <-> string
-mapping operand_sep = {
-  () <-> opt_spaces() ^^ "," ^^ def_spaces()
-}
-
 val itype_operands : (bits(12), regbits, regbits) <-> string
 mapping itype_operands = {
   (imm, rs1, rd) <-> spaces() ^^ reg_name(rd) ^^ operand_sep() ^^ reg_name(rs1) ^^ operand_sep() ^^ hex_bits_12(imm)