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

[Yingwei Zheng via llvm-commits]

dtcxzyw wrote:

> I see that the compilation time "by files" is improved, but "by projects" is worsened.

It is possible since I calculate them with geomean.

> Is it acceptable? If not, what should be the threshold?

It is acceptable for me. Overall compile time regression < 0.3% should be OK since this patch eliminates many branches.

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.



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