summaryrefslogtreecommitdiff
path: root/risc-v/gen/ast.hgen
diff options
context:
space:
mode:
Diffstat (limited to 'risc-v/gen/ast.hgen')
-rw-r--r--risc-v/gen/ast.hgen17
1 files changed, 0 insertions, 17 deletions
diff --git a/risc-v/gen/ast.hgen b/risc-v/gen/ast.hgen
deleted file mode 100644
index b1968173..00000000
--- a/risc-v/gen/ast.hgen
+++ /dev/null
@@ -1,17 +0,0 @@
-| `RISCVUTYPE of bit20 * reg * riscvUop
-| `RISCVJAL of bit20 * reg
-| `RISCVJALR of bit12 * reg * reg
-| `RISCVBType of bit12 * reg * reg * riscvBop
-| `RISCVIType of bit12 * reg * reg * riscvIop
-| `RISCVShiftIop of bit6 * reg * reg * riscvSop
-| `RISCVRType of reg * reg * reg * riscvRop
-| `RISCVLoad of bit12 * reg * reg * bool * wordWidth * bool * bool
-| `RISCVStore of bit12 * reg * reg * wordWidth * bool * bool
-| `RISCVADDIW of bit12 * reg * reg
-| `RISCVSHIFTW of bit5 * reg * reg * riscvSop
-| `RISCVRTYPEW of reg * reg * reg * riscvRopw
-| `RISCVFENCE of bit4 * bit4
-| `RISCVFENCEI
-| `RISCVLoadRes of bool * bool * reg * wordWidth * reg
-| `RISCVStoreCon of bool * bool * reg * reg * wordWidth * reg
-| `RISCVAMO of riscvAmoop * bool * bool * reg * reg * wordWidth * reg