diff options
| author | Robert Norton | 2017-08-08 14:11:57 +0100 |
|---|---|---|
| committer | Robert Norton | 2017-08-08 14:12:25 +0100 |
| commit | ad0d53e799c0a3dcb2548a42554d5dcae7de5a01 (patch) | |
| tree | e442098ea9def6f9a097767dd05708837d870762 /risc-v/hgen/map.hgen | |
| parent | be571f711102cd6659257e5ee1de3b708ebee6ab (diff) | |
work on integrating risc-v model with rmem (incomplete).
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) |