| Issue |
86834
|
| Summary |
Transform silenceable failure not suppressing
|
| Labels |
new issue
|
| Assignees |
|
| Reporter |
srcarroll
|
I'm having an issue with suppressing a silenceable failure from the `transform.loop.peel` transform, but not sure if the problem is secific to this.
To reproduce
Contents of `main.mlir`
```
func.func @test_loop_peeling_not_beneficial() {
%lb = arith.constant 0 : index
%ub = arith.constant 40 : index
%step = arith.constant 5 : index
scf.for %i = %lb to %ub step %step {
arith.addi %i, %i : index
}
return
}
```
Contents of `transform.mlir`
```
module attributes { transform.with_named_sequence } {
transform.named_sequence @peel(%arg0: !transform.op<"scf.for"> {transform.consumed}) {
transform.loop.peel %arg0 : (!transform.op<"scf.for">) -> (!transform.any_op, !transform.any_op)
transform.yield
}
transform.named_sequence @match_for(%arg0: !transform.any_op {transform.readonly}) -> !transform.any_op {
transform.match.operation_name %arg0 ["scf.for"] : !transform.any_op
transform.yield %arg0 : !transform.any_op
}
transform.sequence failures(suppress) {
^bb0(%arg0: !transform.any_op):
transform.foreach_match in %arg0
@match_for -> @peel
: (!transform.any_op) -> !transform.any_op
transform.yield
}
}
```
run
```
mlir-opt --test-transform-dialect-interpreter=transform-file-name=transform.mlir main.mlir
```
Is this expected and I'm just using it wrong, or is this a bug? Thanks in advance
![]()
_______________________________________________
llvm-bugs mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
