[Mlir-commits] [mlir] [mlir][scf] Fold Self-addition of the induction variable into the loop range (PR #228725)

[Matthias Springer]

https://github.com/matthias-springer approved this pull request.

This looks good, but there a pre-existing correctness issue here. The behavior of an `scf.for` is undefined if the IV overflows (wraps around). I don't see a good way to fix that correctness issue.

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