MicroTESK » MicroTESK for RISC-V

The print_imm12 operation defined in riscv.nml seems to be redundant:

// Prints the sign-extended 12-bit immediate
pseudo op print_imm12(imm: card(12))
  syntax = format("%d", cast(int(12), imm))

All operations that use print_imm12 (e.g., addi) can be refactored in the following way:

op addi(rd: X, rs1: X, imm: card(12))
  syntax = format("addi %s, %s, %s", rd.syntax, rs1.syntax, print_imm12(imm).syntax)
  ...

=>

op addi(rd: X, rs1: X, imm: int(12))
  syntax = format("addi %s, %s, %d", rd.syntax, rs1.syntax, imm)
  ...