diff options
Diffstat (limited to 'risc-v/hgen/pretty.hgen')
| -rw-r--r-- | risc-v/hgen/pretty.hgen | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/risc-v/hgen/pretty.hgen b/risc-v/hgen/pretty.hgen index 0b6548ea..b5068c71 100644 --- a/risc-v/hgen/pretty.hgen +++ b/risc-v/hgen/pretty.hgen @@ -31,3 +31,10 @@ (pp_reg rd) (pp_reg rs2) (pp_reg rs1) +| `RISCVAMO(op, aq, rl, rs2, rs1, width, rd) + -> + sprintf "%s %s, %s, (%s)" + (pp_riscv_amo_op (op, aq, rl, width)) + (pp_reg rd) + (pp_reg rs2) + (pp_reg rs1) |
