add test

Xilinx · Jun 23, 2023 · 3ec1761 · 3ec1761
1 parent 0e497f8
commit 3ec1761
Showing 1 changed file with 12 additions and 0 deletions.
diff --git a/mlir/test/mlir-pdll/Parser/expr-failure.pdll b/mlir/test/mlir-pdll/Parser/expr-failure.pdll
@@ -183,6 +183,18 @@ Pattern {
 
 // -----
 
+Rewrite Foo(op: Op);
+
+Pattern {
+  // CHECK: negation of Rewrites is not supported
+  let root = op<>;
+  rewrite root with {
+    !Foo(root);
+  }
+}
+
+// -----
+
 Pattern {
   // CHECK: expected expression
   let tuple = (10 = _: Value);