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

[Matthias Braun via llvm-commits]

MatzeB wrote:

I am somewhat worried that this sort of constraint is not already added to the system because of compile time considerations. It would be good if you could outline the expected complexity effects here as program inputs grow. And not being too familiar with this part of the compiler myself I have to defer to @nikic and @fhahn for whether we need to be careful with the complexity here or if this is fine?

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