[Mlir-commits] [mlir] [mlir][affine] add remove-single-iteration-loop pass. (PR #129270)

[lonely eagle]

linuxlonelyeagle wrote:

> How is this different from `-affine-loop-normalize` with the `promote-single-iter` option?

1.`promote-single-iter` moves the IR in the loop out of the loop by getting `tripCount`, if the value of `tripCount` is 1.`remove-single-iteration-loop` Use `ValueBoundInterface` to move out of IR if `lower + step >= upper`.This implementation should be more secure.
2.`promote-single-iter` can't remove invalid loops, `remove-single-iteration-loop` can do this.
3.The feature should not be found in the MLIR documentation (it may be hidden and included in other passes), and displaying the implementation of it is more conducive to people using it.

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