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

[Nikita Popov via llvm-commits]

================
@@ -1031,6 +1031,27 @@ void State::addInfoForInductions(BasicBlock &BB) {
   WorkList.push_back(FactOrCheck::getConditionFact(
       DTN, CmpInst::ICMP_SLT, PN, B,
       ConditionTy(CmpInst::ICMP_SLE, StartValue, B)));
+
+  assert(!StepOffset.isNegative() && "induction must be increasing");
+  // Try to add condition from header to the unique exit block, if there is one.
+  // When exiting either with EQ or NE, we know that the induction value must be
+  // u<= B, as a different exit may exit earlier.
+  ConditionTy Precond;
+  if (!MonotonicallyIncreasingUnsigned)
+    Precond = {CmpInst::ICMP_ULE, StartValue, B};
----------------
nikic wrote:

I don't think so. It just implies that PN is monotonically increasing from StartValue, but it doesn't make a statement about how that relates to B.

If I take your first test case from https://alive2.llvm.org/ce/z/UYsbAQ, the current patch still folds it to true.

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