[Mlir-commits] [mlir] [mlir][affine] re-land implement `promoteIfSingleIteration` for `AffineForOp` (PR #72805)

[llvmlistbot at llvm.org]

srcarroll wrote:

i'm no authority here but i feel like just leaving the constant in the parent of the `affine.for` that's being removed is the correct (semantically equivalent) way to do this. after all, `canonicalize` would lift the constant where it should go as dictated by all the parents' canonicalizers.

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