summaryrefslogtreecommitdiff
path: root/risc-v/hgen/pretty.hgen
diff options
context:
space:
mode:
Diffstat (limited to 'risc-v/hgen/pretty.hgen')
-rw-r--r--risc-v/hgen/pretty.hgen1
1 files changed, 1 insertions, 0 deletions
diff --git a/risc-v/hgen/pretty.hgen b/risc-v/hgen/pretty.hgen
index 0587c321..d8572ae2 100644
--- a/risc-v/hgen/pretty.hgen
+++ b/risc-v/hgen/pretty.hgen
@@ -12,3 +12,4 @@
| `RISCVADDIW(imm, rs, rd) -> sprintf "addiw %s, %s, %d" (pp_reg rd) (pp_reg rs) imm
| `RISCVSHIFTW(imm, rs, rd, op) -> sprintf "%s %s, %s, %d" (pp_riscv_sop op) (pp_reg rd) (pp_reg rs) imm
| `RISCVRTYPEW(rs2, rs1, rd, op) -> sprintf "%s %s, %s, %s" (pp_riscv_ropw op) (pp_reg rd) (pp_reg rs1) (pp_reg rs2)
+| `RISCVFENCE -> "fence"