[Mlir-commits] [mlir] [MLIR][RemoveDeadValues] Fix affine.for induction variable incorrectly removed (PR #172612)

[Oleksandr Alex Zinenko]

https://github.com/ftynse requested changes to this pull request.

There is https://github.com/llvm/llvm-project/pull/169816 that seems to be addressing the same problem. I put a blocker on it for a testing/understanding reason, but generally I prefer that approach. Specifically, here, liveness is set on arguments at the very end of the process and is never propagated. So we will incorrectly mark as dead a result of a side-effect free operation whose operand is such an argument.

Could you folks collaborate with @linuxlonelyeagle to find a good way to test these?

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