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

[Matthias Braun via llvm-commits]

MatzeB wrote:

> * While this already appears to seems to improve existing tests (which is a good sign), a change like this should probably add new tests specifically geared towards this change as well.

Just notice that there is already a test added, so please ignore this.


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