Lines Matching refs:Delta
1076 const SCEV *Delta = SE->getMinusSCEV(X, Y); in isKnownPredicate() local
1079 return Delta->isZero(); in isKnownPredicate()
1081 return SE->isKnownNonZero(Delta); in isKnownPredicate()
1083 return SE->isKnownNonNegative(Delta); in isKnownPredicate()
1085 return SE->isKnownNonPositive(Delta); in isKnownPredicate()
1087 return SE->isKnownPositive(Delta); in isKnownPredicate()
1089 return SE->isKnownNegative(Delta); in isKnownPredicate()
1245 const SCEV *Delta = SE->getMinusSCEV(SrcConst, DstConst); in strongSIVtest() local
1246 LLVM_DEBUG(dbgs() << "\t Delta = " << *Delta); in strongSIVtest()
1247 LLVM_DEBUG(dbgs() << ", " << *Delta->getType() << "\n"); in strongSIVtest()
1250 if (const SCEV *UpperBound = collectUpperBound(CurLoop, Delta->getType())) { in strongSIVtest()
1254 SE->isKnownNonNegative(Delta) ? Delta : SE->getNegativeSCEV(Delta); in strongSIVtest()
1267 if (isa<SCEVConstant>(Delta) && isa<SCEVConstant>(Coeff)) { in strongSIVtest()
1268 APInt ConstDelta = cast<SCEVConstant>(Delta)->getAPInt(); in strongSIVtest()
1292 else if (Delta->isZero()) { in strongSIVtest()
1294 Result.DV[Level].Distance = Delta; in strongSIVtest()
1295 NewConstraint.setDistance(Delta, CurLoop); in strongSIVtest()
1301 LLVM_DEBUG(dbgs() << "\t Distance = " << *Delta << "\n"); in strongSIVtest()
1302 Result.DV[Level].Distance = Delta; // since X/1 == X in strongSIVtest()
1303 NewConstraint.setDistance(Delta, CurLoop); in strongSIVtest()
1309 SE->getNegativeSCEV(Delta), CurLoop); in strongSIVtest()
1313 bool DeltaMaybeZero = !SE->isKnownNonZero(Delta); in strongSIVtest()
1314 bool DeltaMaybePositive = !SE->isKnownNonPositive(Delta); in strongSIVtest()
1315 bool DeltaMaybeNegative = !SE->isKnownNonNegative(Delta); in strongSIVtest()
1378 const SCEV *Delta = SE->getMinusSCEV(DstConst, SrcConst); in weakCrossingSIVtest() local
1379 LLVM_DEBUG(dbgs() << "\t Delta = " << *Delta << "\n"); in weakCrossingSIVtest()
1380 NewConstraint.setLine(Coeff, Coeff, Delta, CurLoop); in weakCrossingSIVtest()
1381 if (Delta->isZero()) { in weakCrossingSIVtest()
1389 Result.DV[Level].Distance = Delta; // = 0 in weakCrossingSIVtest()
1401 Delta = SE->getNegativeSCEV(Delta); in weakCrossingSIVtest()
1407 SE->getSMaxExpr(SE->getZero(Delta->getType()), Delta), in weakCrossingSIVtest()
1408 SE->getMulExpr(SE->getConstant(Delta->getType(), 2), ConstCoeff)); in weakCrossingSIVtest()
1411 const SCEVConstant *ConstDelta = dyn_cast<SCEVConstant>(Delta); in weakCrossingSIVtest()
1417 LLVM_DEBUG(dbgs() << "\t Delta = " << *Delta << "\n"); in weakCrossingSIVtest()
1419 if (SE->isKnownNegative(Delta)) { in weakCrossingSIVtest()
1428 if (const SCEV *UpperBound = collectUpperBound(CurLoop, Delta->getType())) { in weakCrossingSIVtest()
1434 if (isKnownPredicate(CmpInst::ICMP_SGT, Delta, ML)) { in weakCrossingSIVtest()
1440 if (isKnownPredicate(CmpInst::ICMP_EQ, Delta, ML)) { in weakCrossingSIVtest()
1450 Result.DV[Level].Distance = SE->getZero(Delta->getType()); in weakCrossingSIVtest()
1494 const APInt &Delta, APInt &G, APInt &X, APInt &Y) { in findGCD() argument
1514 R = Delta.srem(G); in findGCD()
1517 Q = Delta.sdiv(G); in findGCD()
1580 const SCEV *Delta = SE->getMinusSCEV(DstConst, SrcConst); in exactSIVtest() local
1581 LLVM_DEBUG(dbgs() << "\t Delta = " << *Delta << "\n"); in exactSIVtest()
1582 NewConstraint.setLine(SrcCoeff, SE->getNegativeSCEV(DstCoeff), Delta, in exactSIVtest()
1584 const SCEVConstant *ConstDelta = dyn_cast<SCEVConstant>(Delta); in exactSIVtest()
1610 collectConstantUpperBound(CurLoop, Delta->getType())) { in exactSIVtest()
1776 const SCEV *Delta = SE->getMinusSCEV(SrcConst, DstConst); in weakZeroSrcSIVtest() local
1777 NewConstraint.setLine(SE->getZero(Delta->getType()), DstCoeff, Delta, in weakZeroSrcSIVtest()
1779 LLVM_DEBUG(dbgs() << "\t Delta = " << *Delta << "\n"); in weakZeroSrcSIVtest()
1795 SE->isKnownNegative(ConstCoeff) ? SE->getNegativeSCEV(Delta) : Delta; in weakZeroSrcSIVtest()
1799 if (const SCEV *UpperBound = collectUpperBound(CurLoop, Delta->getType())) { in weakZeroSrcSIVtest()
1828 if (isa<SCEVConstant>(Delta) && in weakZeroSrcSIVtest()
1829 !isRemainderZero(cast<SCEVConstant>(Delta), ConstCoeff)) { in weakZeroSrcSIVtest()
1885 const SCEV *Delta = SE->getMinusSCEV(DstConst, SrcConst); in weakZeroDstSIVtest() local
1886 NewConstraint.setLine(SrcCoeff, SE->getZero(Delta->getType()), Delta, in weakZeroDstSIVtest()
1888 LLVM_DEBUG(dbgs() << "\t Delta = " << *Delta << "\n"); in weakZeroDstSIVtest()
1904 SE->isKnownNegative(ConstCoeff) ? SE->getNegativeSCEV(Delta) : Delta; in weakZeroDstSIVtest()
1908 if (const SCEV *UpperBound = collectUpperBound(CurLoop, Delta->getType())) { in weakZeroDstSIVtest()
1937 if (isa<SCEVConstant>(Delta) && in weakZeroDstSIVtest()
1938 !isRemainderZero(cast<SCEVConstant>(Delta), ConstCoeff)) { in weakZeroDstSIVtest()
1965 const SCEV *Delta = SE->getMinusSCEV(DstConst, SrcConst); in exactRDIVtest() local
1966 LLVM_DEBUG(dbgs() << "\t Delta = " << *Delta << "\n"); in exactRDIVtest()
1967 const SCEVConstant *ConstDelta = dyn_cast<SCEVConstant>(Delta); in exactRDIVtest()
1992 collectConstantUpperBound(SrcLoop, Delta->getType())) { in exactRDIVtest()
2002 collectConstantUpperBound(DstLoop, Delta->getType())) { in exactRDIVtest()
2448 const SCEV *Delta = SE->getMinusSCEV(DstConst, SrcConst); in gcdMIVtest() local
2449 LLVM_DEBUG(dbgs() << " Delta = " << *Delta << "\n"); in gcdMIVtest()
2450 const SCEVConstant *Constant = dyn_cast<SCEVConstant>(Delta); in gcdMIVtest()
2451 if (const SCEVAddExpr *Sum = dyn_cast<SCEVAddExpr>(Delta)) { in gcdMIVtest()
2544 Delta = SE->getMinusSCEV(SrcCoeff, DstCoeff); in gcdMIVtest()
2547 Constant = getConstantPart(Delta); in gcdMIVtest()
2617 const SCEV *Delta = SE->getMinusSCEV(B0, A0); in banerjeeMIVtest() local
2618 LLVM_DEBUG(dbgs() << "\tDelta = " << *Delta << '\n'); in banerjeeMIVtest()
2642 if (testBounds(Dependence::DVEntry::ALL, 0, Bound, Delta)) { in banerjeeMIVtest()
2646 Loops, DepthExpanded, Delta); in banerjeeMIVtest()
2689 const SCEV *Delta) const { in exploreDirections()
2780 if (testBounds(Dependence::DVEntry::LT, Level, Bound, Delta)) in exploreDirections()
2782 Loops, DepthExpanded, Delta); in exploreDirections()
2785 if (testBounds(Dependence::DVEntry::EQ, Level, Bound, Delta)) in exploreDirections()
2787 Loops, DepthExpanded, Delta); in exploreDirections()
2790 if (testBounds(Dependence::DVEntry::GT, Level, Bound, Delta)) in exploreDirections()
2792 Loops, DepthExpanded, Delta); in exploreDirections()
2798 return exploreDirections(Level + 1, A, B, Bound, Loops, DepthExpanded, Delta); in exploreDirections()
2804 BoundInfo *Bound, const SCEV *Delta) const { in testBounds()
2807 if (isKnownPredicate(CmpInst::ICMP_SGT, LowerBound, Delta)) in testBounds()
2810 if (isKnownPredicate(CmpInst::ICMP_SGT, Delta, UpperBound)) in testBounds()
2875 const SCEV *Delta = SE->getMinusSCEV(A[K].Coeff, B[K].Coeff); in findBoundsEQ() local
2876 const SCEV *NegativePart = getNegativePart(Delta); in findBoundsEQ()
2879 const SCEV *PositivePart = getPositivePart(Delta); in findBoundsEQ()
2886 const SCEV *Delta = SE->getMinusSCEV(A[K].Coeff, B[K].Coeff); in findBoundsEQ() local
2887 const SCEV *NegativePart = getNegativePart(Delta); in findBoundsEQ()
2890 const SCEV *PositivePart = getPositivePart(Delta); in findBoundsEQ()