Lines Matching refs:Coeff
1230 bool DependenceInfo::strongSIVtest(const SCEV *Coeff, const SCEV *SrcConst, in strongSIVtest() argument
1235 LLVM_DEBUG(dbgs() << "\t Coeff = " << *Coeff); in strongSIVtest()
1236 LLVM_DEBUG(dbgs() << ", " << *Coeff->getType() << "\n"); in strongSIVtest()
1256 SE->isKnownNonNegative(Coeff) ? Coeff : SE->getNegativeSCEV(Coeff); in strongSIVtest()
1267 if (isa<SCEVConstant>(Delta) && isa<SCEVConstant>(Coeff)) { in strongSIVtest()
1269 APInt ConstCoeff = cast<SCEVConstant>(Coeff)->getAPInt(); in strongSIVtest()
1300 if (Coeff->isOne()) { in strongSIVtest()
1307 NewConstraint.setLine(Coeff, in strongSIVtest()
1308 SE->getNegativeSCEV(Coeff), in strongSIVtest()
1316 bool CoeffMaybePositive = !SE->isKnownNonPositive(Coeff); in strongSIVtest()
1317 bool CoeffMaybeNegative = !SE->isKnownNonNegative(Coeff); in strongSIVtest()
1367 const SCEV *Coeff, const SCEV *SrcConst, const SCEV *DstConst, in weakCrossingSIVtest() argument
1371 LLVM_DEBUG(dbgs() << "\t Coeff = " << *Coeff << "\n"); in weakCrossingSIVtest()
1380 NewConstraint.setLine(Coeff, Coeff, Delta, CurLoop); in weakCrossingSIVtest()
1392 const SCEVConstant *ConstCoeff = dyn_cast<SCEVConstant>(Coeff); in weakCrossingSIVtest()
2416 const SCEV *Coeff = AddRec->getStepRecurrence(*SE); in gcdMIVtest() local
2419 const auto *Constant = getConstantPart(Coeff); in gcdMIVtest()
2435 const SCEV *Coeff = AddRec->getStepRecurrence(*SE); in gcdMIVtest() local
2438 const auto *Constant = getConstantPart(Coeff); in gcdMIVtest()
2513 const SCEV *Coeff = AddRec->getStepRecurrence(*SE); in gcdMIVtest() local
2519 Constant = getConstantPart(Coeff); in gcdMIVtest()
2530 const SCEV *Coeff = AddRec->getStepRecurrence(*SE); in gcdMIVtest() local
2532 DstCoeff = Coeff; in gcdMIVtest()
2536 Constant = getConstantPart(Coeff); in gcdMIVtest()
2847 SE->getZero(A[K].Coeff->getType()); in findBoundsALL()
2850 SE->getZero(A[K].Coeff->getType()); in findBoundsALL()
2875 const SCEV *Delta = SE->getMinusSCEV(A[K].Coeff, B[K].Coeff); in findBoundsEQ()
2886 const SCEV *Delta = SE->getMinusSCEV(A[K].Coeff, B[K].Coeff); in findBoundsEQ()
2918 getNegativePart(SE->getMinusSCEV(A[K].NegPart, B[K].Coeff)); in findBoundsLT()
2920 SE->getMinusSCEV(SE->getMulExpr(NegPart, Iter_1), B[K].Coeff); in findBoundsLT()
2922 getPositivePart(SE->getMinusSCEV(A[K].PosPart, B[K].Coeff)); in findBoundsLT()
2924 SE->getMinusSCEV(SE->getMulExpr(PosPart, Iter_1), B[K].Coeff); in findBoundsLT()
2930 getNegativePart(SE->getMinusSCEV(A[K].NegPart, B[K].Coeff)); in findBoundsLT()
2932 Bound[K].Lower[Dependence::DVEntry::LT] = SE->getNegativeSCEV(B[K].Coeff); in findBoundsLT()
2934 getPositivePart(SE->getMinusSCEV(A[K].PosPart, B[K].Coeff)); in findBoundsLT()
2936 Bound[K].Upper[Dependence::DVEntry::LT] = SE->getNegativeSCEV(B[K].Coeff); in findBoundsLT()
2962 getNegativePart(SE->getMinusSCEV(A[K].Coeff, B[K].PosPart)); in findBoundsGT()
2964 SE->getAddExpr(SE->getMulExpr(NegPart, Iter_1), A[K].Coeff); in findBoundsGT()
2966 getPositivePart(SE->getMinusSCEV(A[K].Coeff, B[K].NegPart)); in findBoundsGT()
2968 SE->getAddExpr(SE->getMulExpr(PosPart, Iter_1), A[K].Coeff); in findBoundsGT()
2973 const SCEV *NegPart = getNegativePart(SE->getMinusSCEV(A[K].Coeff, B[K].PosPart)); in findBoundsGT()
2975 Bound[K].Lower[Dependence::DVEntry::GT] = A[K].Coeff; in findBoundsGT()
2976 const SCEV *PosPart = getPositivePart(SE->getMinusSCEV(A[K].Coeff, B[K].NegPart)); in findBoundsGT()
2978 Bound[K].Upper[Dependence::DVEntry::GT] = A[K].Coeff; in findBoundsGT()
3004 CI[K].Coeff = Zero; in collectCoeffInfo()
3012 CI[K].Coeff = AddRec->getStepRecurrence(*SE); in collectCoeffInfo()
3013 CI[K].PosPart = getPositivePart(CI[K].Coeff); in collectCoeffInfo()
3014 CI[K].NegPart = getNegativePart(CI[K].Coeff); in collectCoeffInfo()
3022 LLVM_DEBUG(dbgs() << "\t " << K << "\t" << *CI[K].Coeff); in collectCoeffInfo()