diff options
| author | Jon French | 2018-06-28 14:32:47 +0100 |
|---|---|---|
| committer | Jon French | 2018-06-28 15:52:18 +0100 |
| commit | 854ec08dd95363d1d43e0af9fc7a5d3e678e1aa8 (patch) | |
| tree | 33e7b1abb634afb3fc61dfa8b63ddc5a0c1c3d40 /riscv/gen/map.hgen | |
| parent | 40b8a7334da948e7f368defa2b913056d9c55a59 (diff) | |
further changes to support rmem
Diffstat (limited to 'riscv/gen/map.hgen')
| -rw-r--r-- | riscv/gen/map.hgen | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/riscv/gen/map.hgen b/riscv/gen/map.hgen new file mode 100644 index 00000000..28e36e08 --- /dev/null +++ b/riscv/gen/map.hgen @@ -0,0 +1,20 @@ +| `RISCVThreadStart -> `RISCVThreadStart +| `RISCVStopFetching -> `RISCVStopFetching + +| `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, a, b) -> `RISCVLoad (x, map_reg r0, map_reg r1, y, z, a, b) +| `RISCVStore (x, r0, r1, y, z, a) -> `RISCVStore (x, map_reg r0, map_reg r1, y, z, a) +| `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) +| `RISCVFENCE (m, p, s) -> `RISCVFENCE (m, p, s) +| `RISCVFENCEI -> `RISCVFENCEI +| `RISCVLoadRes (aq, rl, rs1, w, rd) -> `RISCVLoadRes (aq, rl, map_reg rs1, w, map_reg rd) +| `RISCVStoreCon (aq, rl, rs2, rs1, w, rd) -> `RISCVStoreCon (aq, rl, map_reg rs2, map_reg rs1, w, map_reg rd) +| `RISCVAMO (op, aq, rl, rs2, rs1, w, rd) -> `RISCVAMO (op, aq, rl, map_reg rs2, map_reg rs1, w, map_reg rd) |