summaryrefslogtreecommitdiff
path: root/risc-v/hgen/map.hgen
diff options
context:
space:
mode:
authorShaked Flur2017-08-17 13:41:21 +0100
committerShaked Flur2017-08-17 13:41:21 +0100
commitcc46b5a2366cd73d34117590448f6779fac4d312 (patch)
tree7a5cad41c3cfb46fcf2b9b3a57a2cb2e1bbe2adb /risc-v/hgen/map.hgen
parentc6d639e0f03053b905a9cb0ab6929f4efe6153f4 (diff)
added RISC-V load-acquire
Diffstat (limited to 'risc-v/hgen/map.hgen')
-rw-r--r--risc-v/hgen/map.hgen2
1 files changed, 1 insertions, 1 deletions
diff --git a/risc-v/hgen/map.hgen b/risc-v/hgen/map.hgen
index ff14c428..1deacc06 100644
--- a/risc-v/hgen/map.hgen
+++ b/risc-v/hgen/map.hgen
@@ -5,7 +5,7 @@
| `RISCVIType (x, r0, r1, y) -> `RISCVIType (x, map_reg r0, map_reg r1, y)
| `RISCVShiftIop (x, r0, r1, y) -> `RISCVShiftIop (x, map_reg r0, map_reg r1, y)
| `RISCVRType (r0, r1, r2, y) -> `RISCVRType (r0, map_reg r1, map_reg r2, y)
-| `RISCVLoad (x, r0, r1, y, z) -> `RISCVLoad (x, map_reg r0, map_reg r1, y, z)
+| `RISCVLoad (x, r0, r1, y, z, a) -> `RISCVLoad (x, map_reg r0, map_reg r1, y, z, a)
| `RISCVStore (x, r0, r1, y) -> `RISCVStore (x, map_reg r0, map_reg r1, y)
| `RISCVADDIW (x, r0, r1) -> `RISCVADDIW (x, map_reg r0, map_reg r1)
| `RISCVSHIFTW (x, r0, r1, y) -> `RISCVSHIFTW (x, map_reg r0, map_reg r1, y)