Lines Matching refs:PosPart
2671 SE->getMulExpr(SE->getMinusSCEV(A[K].NegPart, B[K].PosPart), in findBoundsALL()
2674 SE->getMulExpr(SE->getMinusSCEV(A[K].PosPart, B[K].NegPart), in findBoundsALL()
2679 if (isKnownPredicate(CmpInst::ICMP_EQ, A[K].NegPart, B[K].PosPart)) in findBoundsALL()
2682 if (isKnownPredicate(CmpInst::ICMP_EQ, A[K].PosPart, B[K].NegPart)) in findBoundsALL()
2760 const SCEV *PosPart = in findBoundsLT() local
2761 getPositivePart(SE->getMinusSCEV(A[K].PosPart, B[K].Coeff)); in findBoundsLT()
2763 SE->getMinusSCEV(SE->getMulExpr(PosPart, Iter_1), B[K].Coeff); in findBoundsLT()
2772 const SCEV *PosPart = in findBoundsLT() local
2773 getPositivePart(SE->getMinusSCEV(A[K].PosPart, B[K].Coeff)); in findBoundsLT()
2774 if (PosPart->isZero()) in findBoundsLT()
2804 getNegativePart(SE->getMinusSCEV(A[K].Coeff, B[K].PosPart)); in findBoundsGT()
2807 const SCEV *PosPart = in findBoundsGT() local
2810 SE->getAddExpr(SE->getMulExpr(PosPart, Iter_1), A[K].Coeff); in findBoundsGT()
2815 const SCEV *NegPart = getNegativePart(SE->getMinusSCEV(A[K].Coeff, B[K].PosPart)); in findBoundsGT()
2818 const SCEV *PosPart = getPositivePart(SE->getMinusSCEV(A[K].Coeff, B[K].NegPart)); in findBoundsGT() local
2819 if (PosPart->isZero()) in findBoundsGT()
2848 CI[K].PosPart = Zero; in collectCoeffInfo()
2856 CI[K].PosPart = getPositivePart(CI[K].Coeff); in collectCoeffInfo()
2867 DEBUG(dbgs() << *CI[K].PosPart); in collectCoeffInfo()