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

[Grigory Pastukhov via llvm-commits]

grigorypas wrote:


> The IR diff looks OK. Wait for @fhahn and @nikic to see if there are correctness issues :) I am sorry I have no bandwidth to take a deep look.

Thanks for your feedback. I appreciate your insights!

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