Lines Matching refs:Delta
991 const SCEV *Delta = SE->getMinusSCEV(X, Y); in isKnownPredicate() local
994 return Delta->isZero(); in isKnownPredicate()
996 return SE->isKnownNonZero(Delta); in isKnownPredicate()
998 return SE->isKnownNonNegative(Delta); in isKnownPredicate()
1000 return SE->isKnownNonPositive(Delta); in isKnownPredicate()
1002 return SE->isKnownPositive(Delta); in isKnownPredicate()
1004 return SE->isKnownNegative(Delta); in isKnownPredicate()
1160 const SCEV *Delta = SE->getMinusSCEV(SrcConst, DstConst); in strongSIVtest() local
1161 LLVM_DEBUG(dbgs() << "\t Delta = " << *Delta); in strongSIVtest()
1162 LLVM_DEBUG(dbgs() << ", " << *Delta->getType() << "\n"); in strongSIVtest()
1165 if (const SCEV *UpperBound = collectUpperBound(CurLoop, Delta->getType())) { in strongSIVtest()
1169 SE->isKnownNonNegative(Delta) ? Delta : SE->getNegativeSCEV(Delta); in strongSIVtest()
1182 if (isa<SCEVConstant>(Delta) && isa<SCEVConstant>(Coeff)) { in strongSIVtest()
1183 APInt ConstDelta = cast<SCEVConstant>(Delta)->getAPInt(); in strongSIVtest()
1207 else if (Delta->isZero()) { in strongSIVtest()
1209 Result.DV[Level].Distance = Delta; in strongSIVtest()
1210 NewConstraint.setDistance(Delta, CurLoop); in strongSIVtest()
1216 LLVM_DEBUG(dbgs() << "\t Distance = " << *Delta << "\n"); in strongSIVtest()
1217 Result.DV[Level].Distance = Delta; // since X/1 == X in strongSIVtest()
1218 NewConstraint.setDistance(Delta, CurLoop); in strongSIVtest()
1224 SE->getNegativeSCEV(Delta), CurLoop); in strongSIVtest()
1228 bool DeltaMaybeZero = !SE->isKnownNonZero(Delta); in strongSIVtest()
1229 bool DeltaMaybePositive = !SE->isKnownNonPositive(Delta); in strongSIVtest()
1230 bool DeltaMaybeNegative = !SE->isKnownNonNegative(Delta); in strongSIVtest()
1293 const SCEV *Delta = SE->getMinusSCEV(DstConst, SrcConst); in weakCrossingSIVtest() local
1294 LLVM_DEBUG(dbgs() << "\t Delta = " << *Delta << "\n"); in weakCrossingSIVtest()
1295 NewConstraint.setLine(Coeff, Coeff, Delta, CurLoop); in weakCrossingSIVtest()
1296 if (Delta->isZero()) { in weakCrossingSIVtest()
1304 Result.DV[Level].Distance = Delta; // = 0 in weakCrossingSIVtest()
1316 Delta = SE->getNegativeSCEV(Delta); in weakCrossingSIVtest()
1322 SE->getSMaxExpr(SE->getZero(Delta->getType()), Delta), in weakCrossingSIVtest()
1323 SE->getMulExpr(SE->getConstant(Delta->getType(), 2), ConstCoeff)); in weakCrossingSIVtest()
1326 const SCEVConstant *ConstDelta = dyn_cast<SCEVConstant>(Delta); in weakCrossingSIVtest()
1332 LLVM_DEBUG(dbgs() << "\t Delta = " << *Delta << "\n"); in weakCrossingSIVtest()
1334 if (SE->isKnownNegative(Delta)) { in weakCrossingSIVtest()
1343 if (const SCEV *UpperBound = collectUpperBound(CurLoop, Delta->getType())) { in weakCrossingSIVtest()
1349 if (isKnownPredicate(CmpInst::ICMP_SGT, Delta, ML)) { in weakCrossingSIVtest()
1355 if (isKnownPredicate(CmpInst::ICMP_EQ, Delta, ML)) { in weakCrossingSIVtest()
1365 Result.DV[Level].Distance = SE->getZero(Delta->getType()); in weakCrossingSIVtest()
1409 const APInt &Delta, APInt &G, APInt &X, APInt &Y) { in findGCD() argument
1429 R = Delta.srem(G); in findGCD()
1432 Q = Delta.sdiv(G); in findGCD()
1495 const SCEV *Delta = SE->getMinusSCEV(DstConst, SrcConst); in exactSIVtest() local
1496 LLVM_DEBUG(dbgs() << "\t Delta = " << *Delta << "\n"); in exactSIVtest()
1497 NewConstraint.setLine(SrcCoeff, SE->getNegativeSCEV(DstCoeff), Delta, in exactSIVtest()
1499 const SCEVConstant *ConstDelta = dyn_cast<SCEVConstant>(Delta); in exactSIVtest()
1525 collectConstantUpperBound(CurLoop, Delta->getType())) { in exactSIVtest()
1691 const SCEV *Delta = SE->getMinusSCEV(SrcConst, DstConst); in weakZeroSrcSIVtest() local
1692 NewConstraint.setLine(SE->getZero(Delta->getType()), DstCoeff, Delta, in weakZeroSrcSIVtest()
1694 LLVM_DEBUG(dbgs() << "\t Delta = " << *Delta << "\n"); in weakZeroSrcSIVtest()
1710 SE->isKnownNegative(ConstCoeff) ? SE->getNegativeSCEV(Delta) : Delta; in weakZeroSrcSIVtest()
1714 if (const SCEV *UpperBound = collectUpperBound(CurLoop, Delta->getType())) { in weakZeroSrcSIVtest()
1743 if (isa<SCEVConstant>(Delta) && in weakZeroSrcSIVtest()
1744 !isRemainderZero(cast<SCEVConstant>(Delta), ConstCoeff)) { in weakZeroSrcSIVtest()
1800 const SCEV *Delta = SE->getMinusSCEV(DstConst, SrcConst); in weakZeroDstSIVtest() local
1801 NewConstraint.setLine(SrcCoeff, SE->getZero(Delta->getType()), Delta, in weakZeroDstSIVtest()
1803 LLVM_DEBUG(dbgs() << "\t Delta = " << *Delta << "\n"); in weakZeroDstSIVtest()
1819 SE->isKnownNegative(ConstCoeff) ? SE->getNegativeSCEV(Delta) : Delta; in weakZeroDstSIVtest()
1823 if (const SCEV *UpperBound = collectUpperBound(CurLoop, Delta->getType())) { in weakZeroDstSIVtest()
1852 if (isa<SCEVConstant>(Delta) && in weakZeroDstSIVtest()
1853 !isRemainderZero(cast<SCEVConstant>(Delta), ConstCoeff)) { in weakZeroDstSIVtest()
1880 const SCEV *Delta = SE->getMinusSCEV(DstConst, SrcConst); in exactRDIVtest() local
1881 LLVM_DEBUG(dbgs() << "\t Delta = " << *Delta << "\n"); in exactRDIVtest()
1882 const SCEVConstant *ConstDelta = dyn_cast<SCEVConstant>(Delta); in exactRDIVtest()
1907 collectConstantUpperBound(SrcLoop, Delta->getType())) { in exactRDIVtest()
1917 collectConstantUpperBound(DstLoop, Delta->getType())) { in exactRDIVtest()
2363 const SCEV *Delta = SE->getMinusSCEV(DstConst, SrcConst); in gcdMIVtest() local
2364 LLVM_DEBUG(dbgs() << " Delta = " << *Delta << "\n"); in gcdMIVtest()
2365 const SCEVConstant *Constant = dyn_cast<SCEVConstant>(Delta); in gcdMIVtest()
2366 if (const SCEVAddExpr *Sum = dyn_cast<SCEVAddExpr>(Delta)) { in gcdMIVtest()
2459 Delta = SE->getMinusSCEV(SrcCoeff, DstCoeff); in gcdMIVtest()
2462 Constant = getConstantPart(Delta); in gcdMIVtest()
2532 const SCEV *Delta = SE->getMinusSCEV(B0, A0); in banerjeeMIVtest() local
2533 LLVM_DEBUG(dbgs() << "\tDelta = " << *Delta << '\n'); in banerjeeMIVtest()
2557 if (testBounds(Dependence::DVEntry::ALL, 0, Bound, Delta)) { in banerjeeMIVtest()
2561 Loops, DepthExpanded, Delta); in banerjeeMIVtest()
2604 const SCEV *Delta) const { in exploreDirections()
2682 if (testBounds(Dependence::DVEntry::LT, Level, Bound, Delta)) in exploreDirections()
2684 Loops, DepthExpanded, Delta); in exploreDirections()
2687 if (testBounds(Dependence::DVEntry::EQ, Level, Bound, Delta)) in exploreDirections()
2689 Loops, DepthExpanded, Delta); in exploreDirections()
2692 if (testBounds(Dependence::DVEntry::GT, Level, Bound, Delta)) in exploreDirections()
2694 Loops, DepthExpanded, Delta); in exploreDirections()
2700 return exploreDirections(Level + 1, A, B, Bound, Loops, DepthExpanded, Delta); in exploreDirections()
2706 BoundInfo *Bound, const SCEV *Delta) const { in testBounds()
2709 if (isKnownPredicate(CmpInst::ICMP_SGT, LowerBound, Delta)) in testBounds()
2712 if (isKnownPredicate(CmpInst::ICMP_SGT, Delta, UpperBound)) in testBounds()
2777 const SCEV *Delta = SE->getMinusSCEV(A[K].Coeff, B[K].Coeff); in findBoundsEQ() local
2778 const SCEV *NegativePart = getNegativePart(Delta); in findBoundsEQ()
2781 const SCEV *PositivePart = getPositivePart(Delta); in findBoundsEQ()
2788 const SCEV *Delta = SE->getMinusSCEV(A[K].Coeff, B[K].Coeff); in findBoundsEQ() local
2789 const SCEV *NegativePart = getNegativePart(Delta); in findBoundsEQ()
2792 const SCEV *PositivePart = getPositivePart(Delta); in findBoundsEQ()