From 3f96068f948d6e073f68b6af16e32a442c032c6a Mon Sep 17 00:00:00 2001 From: Chris Fallin Date: Thu, 9 Sep 2021 16:32:28 -0700 Subject: [PATCH] Some test cases for arg-less enums. --- cranelift/isle/isle_examples/test4.isle | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/cranelift/isle/isle_examples/test4.isle b/cranelift/isle/isle_examples/test4.isle index 4a8457e886..0e1f45901f 100644 --- 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))