Home | History | Annotate | Download | only in Analysis

Lines Matching refs:NegPart

2665       SE->getMulExpr(SE->getMinusSCEV(A[K].NegPart, B[K].PosPart),
2668 SE->getMulExpr(SE->getMinusSCEV(A[K].PosPart, B[K].NegPart),
2673 if (isKnownPredicate(CmpInst::ICMP_EQ, A[K].NegPart, B[K].PosPart))
2676 if (isKnownPredicate(CmpInst::ICMP_EQ, A[K].PosPart, B[K].NegPart))
2745 const SCEV *NegPart =
2746 getNegativePart(SE->getMinusSCEV(A[K].NegPart, B[K].Coeff));
2748 SE->getMinusSCEV(SE->getMulExpr(NegPart, Iter_1), B[K].Coeff);
2757 const SCEV *NegPart =
2758 getNegativePart(SE->getMinusSCEV(A[K].NegPart, B[K].Coeff));
2759 if (NegPart->isZero())
2789 const SCEV *NegPart =
2792 SE->getAddExpr(SE->getMulExpr(NegPart, Iter_1), A[K].Coeff);
2794 getPositivePart(SE->getMinusSCEV(A[K].Coeff, B[K].NegPart));
2801 const SCEV *NegPart = getNegativePart(SE->getMinusSCEV(A[K].Coeff, B[K].PosPart));
2802 if (NegPart->isZero())
2804 const SCEV *PosPart = getPositivePart(SE->getMinusSCEV(A[K].Coeff, B[K].NegPart));
2834 CI[K].NegPart = Zero;
2842 CI[K].NegPart = getNegativePart(CI[K].Coeff);
2854 DEBUG(dbgs() << *CI[K].NegPart);