[Mlir-commits] [mlir] [mlir] Fix RemoveDeadRegionBranchOpSuccessorInputs producing invalid scf.for (LoopLikeOpInterface tie) (PR #216627)

[Matthias Springer]

https://github.com/matthias-springer commented:

I think this is still broken for `scf.while`. I still think that [this](https://discourse.llvm.org/t/rfc-structural-and-reachable-control-flow-edges-in-regionbranchopinterface/90496) is the right approach (happy to be convinced otherwise if there's another strategy that fixes the problem), but there was pushback and I stopped working on this for now. Your fix in this PR is actually somewhat similar, but limited to loop-like ops.

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