[Mlir-commits] [mlir] [mlir][affine] Use ValueBoundsConstraintSet to improve promoteIfSingleIteration (PR #129270)

[lonely eagle]

linuxlonelyeagle wrote:

Could you please review this when you have time? 
It resolves the two issues mentioned above: 
* Since affine-loop-normalize already includes the promoteIfSingleIteration logic, this PR builds upon the existing foundation to provide further enhancements.
* It was not added as a canonicalization pattern.

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