diff options
| author | Brian Campbell | 2017-08-17 10:30:34 +0100 |
|---|---|---|
| committer | Brian Campbell | 2017-08-17 10:30:34 +0100 |
| commit | f88cb793118d28d061fdee4d5bd8317f541136b8 (patch) | |
| tree | e71c1bf514a01288f56b9d59f8bcdc6ec749f39e /risc-v/hgen/map.hgen | |
| parent | f5ce4223dbd99349fd1cdbeb99a2839a799589c5 (diff) | |
| parent | c6d639e0f03053b905a9cb0ab6929f4efe6153f4 (diff) | |
Merge remote-tracking branch 'origin' into mono-experiments
# Conflicts:
# src/type_internal.ml
Diffstat (limited to 'risc-v/hgen/map.hgen')
| -rw-r--r-- | risc-v/hgen/map.hgen | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/risc-v/hgen/map.hgen b/risc-v/hgen/map.hgen new file mode 100644 index 00000000..ff14c428 --- /dev/null +++ b/risc-v/hgen/map.hgen @@ -0,0 +1,12 @@ +| `RISCVUTYPE (x, r0, y) -> `RISCVUTYPE (x, map_reg r0, y) +| `RISCVJAL (x, r0) -> `RISCVJAL (x, map_reg r0) +| `RISCVJALR (x, r0, r1) -> `RISCVJALR (x, map_reg r0, map_reg r1) +| `RISCVBType (x, r0, r1, y) -> `RISCVBType (x, map_reg r0, map_reg r1, y) +| `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) +| `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) +| `RISCVRTYPEW (r0, r1, r2, x) -> `RISCVRTYPEW (r0, map_reg r1, map_reg r2, x) |