[Mlir-commits] [mlir] [mlir][SCF] Do not peel already peeled loops (PR #71900)

[Matthias Springer]

matthias-springer wrote:

Note: This new simplification rule is based on the tree-based representation of affine maps. I was trying to implement the simplification logic based on the flattened representation (with the hope that more simplifications around modulo expressions could be supported), but I think that is not possible if the RHS of the modulo expression is not a constant.

Please let me know if you know a better way to do this.

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