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

[Grigory Pastukhov via llvm-commits]

grigorypas wrote:

@dtcxzyw, can you please re-run the performance analysis? I restricted the logic to be applied to the functions with smaller number of conditional branches. Hopefully, it will avoid hitting MaxRaws threshold. 

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