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
|
// RUN: mlir-opt --test-transform-dialect-interpreter='enable-expensive-checks=1' --split-input-file --verify-diagnostics %s
// expected-note @below {{ancestor op}}
func.func @func() {
// expected-note @below {{nested op}}
return
}
transform.with_pdl_patterns {
^bb0(%arg0: !pdl.operation):
pdl.pattern @return : benefit(1) {
%0 = operands
%1 = types
%2 = operation "func.return"(%0 : !pdl.range<value>) -> (%1 : !pdl.range<type>)
rewrite %2 with "transform.dialect"
}
sequence %arg0 {
^bb1(%arg1: !pdl.operation):
// expected-note @below {{other handle}}
%0 = pdl_match @return in %arg1
%1 = get_closest_isolated_parent %0
// expected-error @below {{invalidated the handle to payload operations nested in the payload operation associated with its operand #0}}
test_consume_operand %1
test_print_remark_at_operand %0, "remark"
}
}
// -----
func.func @func1() {
// expected-note @below {{repeated target op}}
return
}
func.func private @func2()
transform.with_pdl_patterns {
^bb0(%arg0: !pdl.operation):
pdl.pattern @func : benefit(1) {
%0 = operands
%1 = types
%2 = operation "func.func"(%0 : !pdl.range<value>) -> (%1 : !pdl.range<type>)
rewrite %2 with "transform.dialect"
}
pdl.pattern @return : benefit(1) {
%0 = operands
%1 = types
%2 = operation "func.return"(%0 : !pdl.range<value>) -> (%1 : !pdl.range<type>)
rewrite %2 with "transform.dialect"
}
sequence %arg0 {
^bb1(%arg1: !pdl.operation):
%0 = pdl_match @func in %arg1
%1 = pdl_match @return in %arg1
%2 = replicate num(%0) %1
// expected-error @below {{a handle passed as operand #0 and consumed by this operation points to a payload operation more than once}}
test_consume_operand %2
test_print_remark_at_operand %0, "remark"
}
}
|
