[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.

@dtcxzyw, can you please help me interpret the results? I see that the compilation time "by files" is improved, but "by projects" is worsened. Is it acceptable? If not, what should be the threshold?  

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