| // RUN: mlir-pdll %s -I %S -split-input-file | FileCheck %s |
| |
| // CHECK: Module |
| // CHECK: `-PatternDecl |
| // CHECK: `-CompoundStmt |
| // CHECK: `-EraseStmt |
| Pattern { |
| erase _: Op; |
| } |
| |
| // ----- |
| |
| // CHECK: Module |
| // CHECK: `-PatternDecl {{.*}} Name<NamedPattern> |
| Pattern NamedPattern { |
| erase _: Op; |
| } |
| |
| // ----- |
| |
| // CHECK: Module |
| // CHECK: `-PatternDecl {{.*}} Name<NamedPattern> Benefit<10> Recursion |
| Pattern NamedPattern with benefit(10), recursion { |
| erase _: Op; |
| } |
| |
| // ----- |
| |
| // CHECK: Module |
| // CHECK: `-PatternDecl {{.*}} Name<NamedPattern> |
| // CHECK: `-CompoundStmt |
| // CHECK: `-EraseStmt |
| Pattern NamedPattern => erase _: Op; |