[llvm] [ConstraintElim] Bound non-increasing header IVs by start value. (PR #217921)

[Yingwei Zheng via llvm-commits]

================
@@ -1134,9 +1158,10 @@ void State::addInfoForInductions(BasicBlock &BB) {
     WorkList.push_back(FactOrCheck::getConditionFact(
         DTN, CmpInst::ICMP_UGE, StartValue, PN,
         ConditionTy(CmpInst::ICMP_ULE, B, StartValue)));
-    WorkList.push_back(FactOrCheck::getConditionFact(
-        DTN, CmpInst::ICMP_SGE, StartValue, PN,
-        ConditionTy(CmpInst::ICMP_SLE, B, StartValue)));
+    if (!(Info.Decreasing && Info.Signed))
----------------
dtcxzyw wrote:

Can you explain this change?


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