diff options
Diffstat (limited to 'risc-v/hgen/parser.hgen')
| -rw-r--r-- | risc-v/hgen/parser.hgen | 36 |
1 files changed, 0 insertions, 36 deletions
diff --git a/risc-v/hgen/parser.hgen b/risc-v/hgen/parser.hgen deleted file mode 100644 index 37fd8d8d..00000000 --- a/risc-v/hgen/parser.hgen +++ /dev/null @@ -1,36 +0,0 @@ -| UTYPE reg COMMA NUM - { `RISCVUTYPE($4, $2, $1.op) } -| JAL reg COMMA NUM - { `RISCVJAL($4, $2) } -| JALR reg COMMA reg COMMA NUM - { `RISCVJALR($6, $4, $2) } -| BTYPE reg COMMA reg COMMA NUM - { `RISCVBType($6, $4, $2, $1.op) } -| ITYPE reg COMMA reg COMMA NUM - { `RISCVIType($6, $4, $2, $1.op) } -| SHIFTIOP reg COMMA reg COMMA NUM - { `RISCVShiftIop($6, $4, $2, $1.op) } -| RTYPE reg COMMA reg COMMA reg - { `RISCVRType ($6, $4, $2, $1.op) } -| LOAD reg COMMA NUM LPAR reg RPAR - { `RISCVLoad($4, $6, $2, $1.unsigned, $1.width) } -| STORE reg COMMA NUM LPAR reg RPAR - { `RISCVStore($4, $2, $6, $1.width) } -| ADDIW reg COMMA reg COMMA NUM - { `RISCVADDIW ($6, $4, $2) } -| SHIFTW reg COMMA reg COMMA NUM - { `RISCVSHIFTW ($6, $4, $2, $1.op) } -| RTYPEW reg COMMA reg COMMA reg - { `RISCVRTYPEW ($6, $4, $2, $1.op) } -| FENCE FENCEOPTION COMMA FENCEOPTION - { match ($2, $4) with - | (Fence_RW, Fence_RW) -> `RISCVFENCE (0b0011, 0b0011) - | (Fence_R, Fence_RW) -> `RISCVFENCE (0b0010, 0b0011) - | (Fence_RW, Fence_W) -> `RISCVFENCE (0b0011, 0b0001) - | (Fence_RW, Fence_R) -> failwith "'fence rw,r' is not supported" - | (Fence_R, Fence_R) -> failwith "'fence r,r' is not supported" - | (Fence_R, Fence_W) -> failwith "'fence r,w' is not supported" - | (Fence_W, Fence_RW) -> failwith "'fence w,rw' is not supported" - | (Fence_W, Fence_R) -> failwith "'fence w,r' is not supported" - | (Fence_W, Fence_W) -> failwith "'fence w,w' is not supported" - } |