[llvm] [polly] [llvm][ConstraintElimination]Insert ConditionFact into loop header in case of monotonic induction variables (PR #112080)

[Matthias Braun via llvm-commits]

https://github.com/MatzeB commented:

The changes look good to me and I'm ready to accept this!

Leaving this open to give other folks more time to react (as I am not the most familiar in this part of the code), but will approve in a week or so then...

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