Lines Matching refs:NegPart
2720 SE->getMulExpr(SE->getMinusSCEV(A[K].NegPart, B[K].PosPart), in findBoundsALL()
2723 SE->getMulExpr(SE->getMinusSCEV(A[K].PosPart, B[K].NegPart), in findBoundsALL()
2728 if (isKnownPredicate(CmpInst::ICMP_EQ, A[K].NegPart, B[K].PosPart)) in findBoundsALL()
2731 if (isKnownPredicate(CmpInst::ICMP_EQ, A[K].PosPart, B[K].NegPart)) in findBoundsALL()
2804 const SCEV *NegPart = in findBoundsLT() local
2805 getNegativePart(SE->getMinusSCEV(A[K].NegPart, B[K].Coeff)); in findBoundsLT()
2807 SE->getMinusSCEV(SE->getMulExpr(NegPart, Iter_1), B[K].Coeff); in findBoundsLT()
2816 const SCEV *NegPart = in findBoundsLT() local
2817 getNegativePart(SE->getMinusSCEV(A[K].NegPart, B[K].Coeff)); in findBoundsLT()
2818 if (NegPart->isZero()) in findBoundsLT()
2850 const SCEV *NegPart = in findBoundsGT() local
2853 SE->getAddExpr(SE->getMulExpr(NegPart, Iter_1), A[K].Coeff); in findBoundsGT()
2855 getPositivePart(SE->getMinusSCEV(A[K].Coeff, B[K].NegPart)); in findBoundsGT()
2862 const SCEV *NegPart = getNegativePart(SE->getMinusSCEV(A[K].Coeff, B[K].PosPart)); in findBoundsGT() local
2863 if (NegPart->isZero()) in findBoundsGT()
2865 const SCEV *PosPart = getPositivePart(SE->getMinusSCEV(A[K].Coeff, B[K].NegPart)); in findBoundsGT()
2896 CI[K].NegPart = Zero; in collectCoeffInfo()
2904 CI[K].NegPart = getNegativePart(CI[K].Coeff); in collectCoeffInfo()
2916 DEBUG(dbgs() << *CI[K].NegPart); in collectCoeffInfo()