Lines Matching refs:transform
1 // RUN: mlir-opt %s --transform-dialect-check-uses --split-input-file --verify-diagnostics
5 %0 = transform.test_produce_self_handle_or_forward_operand : () -> !transform.any_op
6 transform.test_transform_op_with_regions {
7 "transform.test_branching_transform_op_terminator"() : () -> ()
11 "transform.test_branching_transform_op_terminator"()[^bb1, ^bb2] : () -> ()
14 transform.test_consume_operand_of_op_kind_or_fail %0, "transform.test_produce_self_handle_or_forward_operand" : !transform.any_op
15 "transform.test_branching_transform_op_terminator"()[^bb3] : () -> ()
17 "transform.test_branching_transform_op_terminator"()[^bb3] : () -> ()
20 transform.sequence %0 : !transform.any_op failures(propagate) {
21 ^bb0(%arg0: !transform.any_op):
23 "transform.test_branching_transform_op_terminator"() : () -> ()
32 %0 = transform.test_produce_self_handle_or_forward_operand : () -> !transform.any_op
34 transform.test_transform_op_with_regions {
35 "transform.test_branching_transform_op_terminator"() : () -> ()
39 "transform.test_branching_transform_op_terminator"()[^bb1, ^bb2] : () -> ()
41 transform.test_consume_operand_of_op_kind_or_fail %0, "transform.test_produce_self_handle_or_forward_operand" : !transform.any_op
42 "transform.test_branching_transform_op_terminator"()[^bb3] : () -> ()
44 "transform.test_branching_transform_op_terminator"()[^bb3] : () -> ()
46 "transform.test_branching_transform_op_terminator"() : () -> ()
49 transform.sequence %0 : !transform.any_op failures(propagate) {
50 ^bb0(%arg0: !transform.any_op):
58 transform.sequence failures(propagate) {
59 ^bb0(%arg0: !transform.any_op):
61 %0 = transform.sequence %arg0 : !transform.any_op -> !transform.any_op failures(propagate) attributes { ord = 1 } {
62 ^bb1(%arg1: !transform.any_op):
63 yield %arg1 : !transform.any_op
65 transform.sequence %0 : !transform.any_op failures(propagate) attributes { ord = 2 } {
66 ^bb2(%arg2: !transform.any_op):
68 transform.sequence %0 : !transform.any_op failures(propagate) attributes { ord = 3 } {
69 ^bb3(%arg3: !transform.any_op):
72 // `transform.sequence` has recursive side effects so it has the same "free"
75 transform.sequence %0 : !transform.any_op failures(propagate) attributes { ord = 4 } {
76 ^bb4(%arg4: !transform.any_op):
77 test_consume_operand_of_op_kind_or_fail %0, "transform.sequence" : !transform.any_op
80 transform.sequence %0 : !transform.any_op failures(propagate) attributes { ord = 5 } {
81 ^bb3(%arg3: !transform.any_op):
90 transform.sequence failures(propagate) {
91 ^bb0(%arg0: !transform.any_op):
93 %0 = transform.sequence %arg0 : !transform.any_op -> !transform.any_op failures(propagate) attributes { ord = 1 } {
94 ^bb1(%arg1: !transform.any_op):
95 yield %arg1 : !transform.any_op
97 transform.sequence %0 : !transform.any_op failures(propagate) attributes { ord = 2 } {
98 ^bb2(%arg2: !transform.any_op):
100 transform.sequence %0 : !transform.any_op failures(propagate) attributes { ord = 3 } {
101 ^bb3(%arg3: !transform.any_op):
105 test_consume_operand_of_op_kind_or_fail %0, "transform.sequence" : !transform.any_op
107 transform.sequence %0 : !transform.any_op failures(propagate) attributes { ord = 5 } {
108 ^bb3(%arg3: !transform.any_op):
121 %0 = transform.test_produce_self_handle_or_forward_operand : () -> !transform.any_op
122 transform.test_transform_op_with_regions {
123 "transform.test_branching_transform_op_terminator"() : () -> ()
127 "transform.test_branching_transform_op_terminator"()[^bb1] : () -> ()
130 transform.sequence %0 : !transform.any_op failures(propagate) {
131 ^bb0(%arg0: !transform.any_op):
135 transform.test_consume_operand_of_op_kind_or_fail %0, "transform.test_produce_self_handle_or_forward_operand" : !transform.any_op
136 "transform.test_branching_transform_op_terminator"()[^bb1, ^bb2] : () -> ()
138 "transform.test_branching_transform_op_terminator"() : () -> ()
150 %0 = transform.test_produce_self_handle_or_forward_operand : () -> !transform.any_op
151 transform.test_transform_op_with_regions {
152 "transform.test_branching_transform_op_terminator"() : () -> ()
156 "transform.test_branching_transform_op_terminator"()[^bb1, ^bb2] : () -> ()
160 transform.test_consume_operand_of_op_kind_or_fail %0, "transform.test_produce_self_handle_or_forward_operand" : !transform.any_op
161 "transform.test_branching_transform_op_terminator"()[^bb2, ^bb3] : () -> ()
163 "transform.test_branching_transform_op_terminator"()[^bb1] : () -> ()
165 "transform.test_branching_transform_op_terminator"() : () -> ()
174 transform.sequence failures(propagate) {
175 ^bb0(%arg0: !transform.any_op):
176 alternatives %arg0 : !transform.any_op {
177 ^bb0(%arg1: !transform.any_op):
185 module attributes {transform.with_named_sequence} {
186 transform.named_sequence @__transform_main(%arg0: !transform.any_op {transform.readonly}) {
187 %0 = transform.structured.match ops{["func.func"]} in %arg0 : (!transform.any_op) -> !transform.any_op
188 transform.apply_patterns to %0 {
189 transform.apply_patterns.memref.extract_address_computations
190 } : !transform.any_op
191 transform.yield