927   Value *StartValue = nullptr;  in addInfoForInductions()  local
929     StartValue = C->getValue();  in addInfoForInductions()
931     StartValue = PN->getIncomingValueForBlock(LoopPred);  in addInfoForInductions()
932     assert(SE.getSCEV(StartValue) == StartSCEV && "inconsistent start value");  in addInfoForInductions()
946         FactOrCheck::getConditionFact(DTN, CmpInst::ICMP_UGE, PN, StartValue));  in addInfoForInductions()
949         FactOrCheck::getConditionFact(DTN, CmpInst::ICMP_SGE, PN, StartValue));  in addInfoForInductions()
971         DTN, CmpInst::ICMP_UGE, StartValue, PN,  in addInfoForInductions()
972         ConditionTy(CmpInst::ICMP_ULE, B, StartValue)));  in addInfoForInductions()
974         DTN, CmpInst::ICMP_SGE, StartValue, PN,  in addInfoForInductions()
975         ConditionTy(CmpInst::ICMP_SLE, B, StartValue)));  in addInfoForInductions()
980         ConditionTy(CmpInst::ICMP_ULE, B, StartValue)));  in addInfoForInductions()
983         ConditionTy(CmpInst::ICMP_SLE, B, StartValue)));  in addInfoForInductions()
1006         DTN, CmpInst::ICMP_UGE, PN, StartValue,  in addInfoForInductions()
1007         ConditionTy(CmpInst::ICMP_ULE, StartValue, B)));  in addInfoForInductions()
1010         DTN, CmpInst::ICMP_SGE, PN, StartValue,  in addInfoForInductions()
1011         ConditionTy(CmpInst::ICMP_SLE, StartValue, B)));  in addInfoForInductions()
1015       ConditionTy(CmpInst::ICMP_ULE, StartValue, B)));  in addInfoForInductions()
1018       ConditionTy(CmpInst::ICMP_SLE, StartValue, B)));  in addInfoForInductions()