<table border="1" cellspacing="0" cellpadding="8">
<tr>
<th>Issue</th>
<td>
<a href=https://github.com/llvm/llvm-project/issues/86834>86834</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>
Transform silenceable failure not suppressing
</td>
</tr>
<tr>
<th>Labels</th>
<td>
new issue
</td>
</tr>
<tr>
<th>Assignees</th>
<td>
</td>
</tr>
<tr>
<th>Reporter</th>
<td>
srcarroll
</td>
</tr>
</table>
<pre>
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
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJyEVU1vozwX_TVmcwUiBkKyYNE2E2n23UcGroPnNTavP9rpv39kQ0KbpNOqIom5H8fnHPsya8VZITakeibVIWHeDdo01nTMGC1l0ur-o_lNaD3CwN6EOgNTIKz1CO_CDWD9NBm0Nr4BKySqDlkrETgT0hsEbvQIbkAg29wZpizXZsyk1lM2IUqyzeG6TOgLtN6B0g5sSBY8pk5GtxJHEBYsdoKLDpwGNwibkfxA8qf5-arB4GR07zucV160cqicBc1D_5EJlY1SGLLNl8RtvvzHn9yrLgsPIGXu0LpTAHoKQIU6n5R2pxYVctEJJgndEboHUj_PyUBoJVsgxQGYEW7IOq2sY8pBDqR4AqF6_LuEhlj_MLa8Dya0sg6nR9HVfWXb8YxrE7JETJlhOb30nEtdSl7BAyy1Wd-LmBzUWIrcgq8Pl68GnTdqIfOyfMPqjQqrC_4lxah7LxGYc0a03qENWFerZMF-J8VG7E8W_--D7wKuzztag2_jyjx6LwhYMXPOww4J3awJeiLFC6F0IZNQSopfofYaEjTwI_Zh119sAJ87X40OSyuYe-1-bheqprHtTTRTHyc9zfI8WN4_wvEhUPb3-v2LopG5bjhFON_yNPf8SoxB1mslPxZili08TLpDEXtmekLDnNAqCrwyVz1_5ag6wDeI7grH_d9o8F1W9BHcu-hKznK3WUJ3lwvwxgKk-tW2-Y_EBbGKpzuwXBtk3XCKbIBQF9yrsOHvs0QLy4uvv4Y98Nu1-7fq_OSh9ax_c-iNV4_PtRQm1ZODNA0XbHotn_aCSexcKpRDMxl0aEhxWN9zITENhvi8Gu8QWC_2Ry3n528bJwbg3wk7hz0w1cM82v5468DHISYcvButzuF0aRMmTkxi0PozKY7wOjD1Pxs0Yf0bUx0mfVP0-2LPEmw29WZTVftiS5Oh6XZFt-e8qPe8oozv-Kau621f5j3fV7sqT0RDc1rmBa03db6nNKvzttuULW7qzbYoeU_KHEcmZCbl25hpc07i5G12211RJpK1KG0zHwqF7_NYno9FYpqQk7b-bEmZS2GdXas44SQ2rxcKH47teQRfh3vijWwG5yYb_EqPhB7Pwg2-zTo9EnoMtZePdDL6D3aO0GNEZAk9RsT_BQAA__8W057Q">