llvm-project

5b927130 - [ConstraintElim] Use cond from header as upper bound on IV in exit BB. (#94610)

[ConstraintElim] Use cond from header as upper bound on IV in exit BB. (#94610) For loops, we can use the condition in the loop header as upper bound on the compared induction in the unique exit block, if it exists. This can be done even if there are multiple in-loop edges to the unique exit block, as any other exit may only exit earlier. More generally, we could add the OR of all exit conditions to the exit, but that's a possible future extension. PR: https://github.com/llvm/llvm-project/pull/94610