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

[Nikita Popov via llvm-commits]

https://github.com/nikic commented:

We need to be careful with use of SCEV in CE because it is expensive. I just checked, and at least as-is, this causes a major compile-time regression: https://llvm-compile-time-tracker.com/compare.php?from=95a2eb70cf850597a5e871380807911e55f341a7&to=5bb2e9f2f1462c637ce2eec82b8cd2626fcb21d2&stat=instructions:u

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