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

[Grigory Pastukhov via llvm-commits]

grigorypas wrote:

> * I think the requires some sort check to rule out overflows to be correct? (add a test showing that no transformation happens in cases with potential overflow).
SE.getMonotonicPredicateType should return empty in the case of overflow. I added a test to cover that.

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