Home | History | Annotate | Download | only in Analysis

Lines Matching refs:NegPart

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))
2738 const SCEV *NegPart =
2739 getNegativePart(SE->getMinusSCEV(A[K].NegPart, B[K].Coeff));
2741 SE->getMinusSCEV(SE->getMulExpr(NegPart, Iter_1), B[K].Coeff);
2750 const SCEV *NegPart =
2751 getNegativePart(SE->getMinusSCEV(A[K].NegPart, B[K].Coeff));
2752 if (NegPart->isZero())
2785 const SCEV *NegPart =
2788 SE->getAddExpr(SE->getMulExpr(NegPart, Iter_1), A[K].Coeff);
2790 getPositivePart(SE->getMinusSCEV(A[K].Coeff, B[K].NegPart));
2797 const SCEV *NegPart = getNegativePart(SE->getMinusSCEV(A[K].Coeff, B[K].PosPart));
2798 if (NegPart->isZero())
2800 const SCEV *PosPart = getPositivePart(SE->getMinusSCEV(A[K].Coeff, B[K].NegPart));
2831 CI[K].NegPart = Zero;
2839 CI[K].NegPart = getNegativePart(CI[K].Coeff);
2851 DEBUG(dbgs() << *CI[K].NegPart);