Lines Matching refs:PosPart
2653 SE->getMulExpr(SE->getMinusSCEV(A[K].NegPart, B[K].PosPart),
2656 SE->getMulExpr(SE->getMinusSCEV(A[K].PosPart, B[K].NegPart),
2661 if (isKnownPredicate(CmpInst::ICMP_EQ, A[K].NegPart, B[K].PosPart))
2664 if (isKnownPredicate(CmpInst::ICMP_EQ, A[K].PosPart, B[K].NegPart))
2742 const SCEV *PosPart =
2743 getPositivePart(SE->getMinusSCEV(A[K].PosPart, B[K].Coeff));
2745 SE->getMinusSCEV(SE->getMulExpr(PosPart, Iter_1), B[K].Coeff);
2754 const SCEV *PosPart =
2755 getPositivePart(SE->getMinusSCEV(A[K].PosPart, B[K].Coeff));
2756 if (PosPart->isZero())
2786 getNegativePart(SE->getMinusSCEV(A[K].Coeff, B[K].PosPart));
2789 const SCEV *PosPart =
2792 SE->getAddExpr(SE->getMulExpr(PosPart, Iter_1), A[K].Coeff);
2797 const SCEV *NegPart = getNegativePart(SE->getMinusSCEV(A[K].Coeff, B[K].PosPart));
2800 const SCEV *PosPart = getPositivePart(SE->getMinusSCEV(A[K].Coeff, B[K].NegPart));
2801 if (PosPart->isZero())
2830 CI[K].PosPart = Zero;
2838 CI[K].PosPart = getPositivePart(CI[K].Coeff);
2849 DEBUG(dbgs() << *CI[K].PosPart);