[Mlir-commits] [mlir] [SCF] Added canonicalizer for recursively dead uses of iter_args. (PR #191085)

[Mehdi Amini]

joker-eph wrote:

> I believe the intent is that populateRegionBranchOpInterfaceCanonicalizationPatterns should handle this. We need to investigate why it isn't the case.

I actually had a look, the issue is that we can only remove trivially dead iter_args. Not ones that are transitively dead.

Right now this kind of IR simplifications is in scope for the `remove-dead-values` pass.

https://github.com/llvm/llvm-project/pull/191085