Lines Matching refs:StartValue

943   Value *StartValue = nullptr;  in addInfoForInductions()  local
945 StartValue = C->getValue(); in addInfoForInductions()
947 StartValue = PN->getIncomingValueForBlock(LoopPred); in addInfoForInductions()
948 assert(SE.getSCEV(StartValue) == StartSCEV && "inconsistent start value"); in addInfoForInductions()
962 FactOrCheck::getConditionFact(DTN, CmpInst::ICMP_UGE, PN, StartValue)); in addInfoForInductions()
965 FactOrCheck::getConditionFact(DTN, CmpInst::ICMP_SGE, PN, StartValue)); in addInfoForInductions()
987 DTN, CmpInst::ICMP_UGE, StartValue, PN, in addInfoForInductions()
988 ConditionTy(CmpInst::ICMP_ULE, B, StartValue))); in addInfoForInductions()
990 DTN, CmpInst::ICMP_SGE, StartValue, PN, in addInfoForInductions()
991 ConditionTy(CmpInst::ICMP_SLE, B, StartValue))); in addInfoForInductions()
996 ConditionTy(CmpInst::ICMP_ULE, B, StartValue))); in addInfoForInductions()
999 ConditionTy(CmpInst::ICMP_SLE, B, StartValue))); in addInfoForInductions()
1022 DTN, CmpInst::ICMP_UGE, PN, StartValue, in addInfoForInductions()
1023 ConditionTy(CmpInst::ICMP_ULE, StartValue, B))); in addInfoForInductions()
1026 DTN, CmpInst::ICMP_SGE, PN, StartValue, in addInfoForInductions()
1027 ConditionTy(CmpInst::ICMP_SLE, StartValue, B))); in addInfoForInductions()
1031 ConditionTy(CmpInst::ICMP_ULE, StartValue, B))); in addInfoForInductions()
1034 ConditionTy(CmpInst::ICMP_SLE, StartValue, B))); in addInfoForInductions()
1042 ConditionTy Precond = {CmpInst::ICMP_ULE, StartValue, B}; in addInfoForInductions()