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, 17 insertions, 0 deletions
diff --git a/risc-v/gen/ast.hgen b/risc-v/gen/ast.hgen
new file mode 100644
index 00000000..b1968173
--- /dev/null
+++ b/risc-v/gen/ast.hgen
@@ -0,0 +1,17 @@
+| `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