Some test cases for arg-less enums.

2021-09-09 16:32:28 -07:00
parent edc95c51a0
commit 3f96068f94
1 changed files with 13 additions and 0 deletions
--- a/cranelift/isle/isle_examples/test4.isle
+++ b/cranelift/isle/isle_examples/test4.isle
@@ -19,3 +19,16 @@
      (Ext1 x)
      (Ext2 =x)))
  (C #t))
+
+(type Opcode (enum A B C))
+(type MachInst (enum D E F))
+(decl Lower2 (Opcode) MachInst)
+(rule
+  (Lower2 (Opcode.A))
+  (MachInst.D))
+(rule
+  (Lower2 (Opcode.B))
+  (MachInst.E))
+(rule
+  (Lower2 (Opcode.C))
+  (MachInst.F))