Lines Matching full:pattern

3 // CHECK: expected `{` or `=>` to start pattern body
4 Pattern }
10 Pattern Foo { erase root: Op; }
11 Pattern Foo { erase root: Op; }
16 Pattern {
22 // CHECK: expected Pattern body to terminate with an operation rewrite statement
23 Pattern {
29 // CHECK: Pattern body was terminated by an operation rewrite statement, but found trailing stateme…
30 Pattern {
37 // CHECK: expected Pattern lambda body to contain a single operation rewrite statement, such as `er…
38 Pattern => op<>;
45 Pattern {
55 // CHECK: expected pattern metadata identifier
56 Pattern with {}
60 // CHECK: unknown pattern metadata
61 Pattern with unknown {}
65 // CHECK: expected `(` before pattern benefit
66 Pattern with benefit) {}
70 // CHECK: expected integral pattern benefit
71 Pattern with benefit(foo) {}
75 // CHECK: expected pattern benefit to fit within a 16-bit integer
76 Pattern with benefit(65536) {}
80 // CHECK: expected `)` after pattern benefit
81 Pattern with benefit(1( {}
85 // CHECK: pattern benefit has already been specified
87 Pattern with benefit(1), benefit(1) {}
91 // CHECK: pattern recursion metadata has already been specified
93 Pattern with recursion, recursion {}