1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
|
// RUN: mlir-opt %s --test-transform-dialect-interpreter -allow-unregistered-dialect --split-input-file --verify-diagnostics | FileCheck %s
// CHECK-LABEL: func @successful_pass_application(
// CHECK: %[[c5:.*]] = arith.constant 5 : index
// CHECK: return %[[c5]]
func.func @successful_pass_application(%t: tensor<5xf32>) -> index {
%c0 = arith.constant 0 : index
%dim = tensor.dim %t, %c0 : tensor<5xf32>
return %dim : index
}
transform.sequence failures(propagate) {
^bb1(%arg1: !transform.any_op):
%1 = transform.structured.match ops{["func.func"]} in %arg1 : (!transform.any_op) -> !transform.any_op
transform.apply_registered_pass "canonicalize" to %1 : (!transform.any_op) -> !transform.any_op
}
// -----
// CHECK-LABEL: func @pass_pipeline(
func.func @pass_pipeline() {
return
}
transform.sequence failures(propagate) {
^bb1(%arg1: !transform.any_op):
%1 = transform.structured.match ops{["func.func"]} in %arg1 : (!transform.any_op) -> !transform.any_op
// This pipeline does not do anything. Just make sure that the pipeline is
// found and no error is produced.
transform.apply_registered_pass "test-options-pass-pipeline" to %1 : (!transform.any_op) -> !transform.any_op
}
// -----
func.func @invalid_pass_name() {
return
}
transform.sequence failures(propagate) {
^bb1(%arg1: !transform.any_op):
%1 = transform.structured.match ops{["func.func"]} in %arg1 : (!transform.any_op) -> !transform.any_op
// expected-error @below {{unknown pass or pass pipeline: non-existing-pass}}
transform.apply_registered_pass "non-existing-pass" to %1 : (!transform.any_op) -> !transform.any_op
}
// -----
func.func @not_isolated_from_above(%t: tensor<5xf32>) -> index {
%c0 = arith.constant 0 : index
// expected-note @below {{target op}}
// expected-error @below {{trying to schedule a pass on an operation not marked as 'IsolatedFromAbove'}}
%dim = tensor.dim %t, %c0 : tensor<5xf32>
return %dim : index
}
transform.sequence failures(propagate) {
^bb1(%arg1: !transform.any_op):
%1 = transform.structured.match ops{["tensor.dim"]} in %arg1 : (!transform.any_op) -> !transform.any_op
// expected-error @below {{pass pipeline failed}}
transform.apply_registered_pass "canonicalize" to %1 : (!transform.any_op) -> !transform.any_op
}
// -----
func.func @invalid_pass_option() {
return
}
transform.sequence failures(propagate) {
^bb1(%arg1: !transform.any_op):
%1 = transform.structured.match ops{["func.func"]} in %arg1 : (!transform.any_op) -> !transform.any_op
// expected-error @below {{failed to add pass or pass pipeline to pipeline: canonicalize}}
transform.apply_registered_pass "canonicalize" to %1 {options = "invalid-option=1"} : (!transform.any_op) -> !transform.any_op
}
// -----
// CHECK-LABEL: func @valid_pass_option()
func.func @valid_pass_option() {
return
}
transform.sequence failures(propagate) {
^bb1(%arg1: !transform.any_op):
%1 = transform.structured.match ops{["func.func"]} in %arg1 : (!transform.any_op) -> !transform.any_op
transform.apply_registered_pass "canonicalize" to %1 {options = "top-down=false"} : (!transform.any_op) -> !transform.any_op
}
// -----
module {
// expected-error @below {{trying to schedule a pass on an unsupported operation}}
// expected-note @below {{target op}}
func.func @invalid_target_op_type() {
return
}
transform.sequence failures(propagate) {
^bb1(%arg1: !transform.any_op):
%1 = transform.structured.match ops{["func.func"]} in %arg1 : (!transform.any_op) -> !transform.any_op
// func-bufferize can be applied only to ModuleOps.
// expected-error @below {{pass pipeline failed}}
transform.apply_registered_pass "func-bufferize" to %1 : (!transform.any_op) -> !transform.any_op
}
}
|
