[Mlir-commits] [mlir] [mlir][affine] Add SimplifyTrivialLoops pattern to AffineForOp (PR #165091)

[lonely eagle]

linuxlonelyeagle wrote:

I had previously submitted such a pull request, but for various reasons it was not pursued further.I've recently encountered some issues; please see  https://github.com/llvm/llvm-project/pull/129270#issuecomment-3425439526.

I plan to unify the functionality of loop elimination. In the future, perhaps to address the issues in the comments, the patterns（use ValueBoundsConstraintSet） mentioned in the comments will be introduced into both SCF and Affine.

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