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
|
// RUN: mlir-opt %s | mlir-opt | FileCheck %s
transform.sequence failures(propagate) {
^bb0(%arg0: !transform.any_op):
transform.match.structured %arg0 : !transform.any_op {
^bb1(%arg1: !transform.any_op):
// Checking the syntax of positional specifications.
// CHECK: dim %{{.*}}[all]
transform.match.structured.dim %arg1[all] : !transform.any_op
// CHECK: dim %{{.*}}[0]
transform.match.structured.dim %arg1[0] : !transform.any_op
// CHECK: dim %{{.*}}[0, 1, -2]
transform.match.structured.dim %arg1[0, 1, -2] : !transform.any_op
// CHECK: dim %{{.*}}[except(0)]
transform.match.structured.dim %arg1[except(0)] : !transform.any_op
// CHECK: dim %{{.*}}[except(0, -1, 2)]
transform.match.structured.dim %arg1[except(0, -1, 2)] : !transform.any_op
transform.match.structured.yield
}
// Checking the syntax of trailing types.
// CHECK: structured %{{.*}} : !transform.any_op
transform.match.structured %arg0 : !transform.any_op {
^bb1(%arg1: !transform.any_op):
transform.match.structured.yield
}
// CHECK: structured %{{.*}} : (!transform.any_op) -> !transform.any_op
transform.match.structured %arg0 : (!transform.any_op) -> !transform.any_op {
^bb1(%arg1: !transform.any_op):
transform.match.structured.yield %arg1 : !transform.any_op
}
// CHECK: structured %{{.*}} : (!transform.any_op) -> (!transform.any_op, !transform.any_op)
transform.match.structured %arg0 : (!transform.any_op) -> (!transform.any_op, !transform.any_op) {
^bb1(%arg1: !transform.any_op):
transform.match.structured.yield %arg1, %arg1 : !transform.any_op, !transform.any_op
}
transform.yield
}
|
