Lines Matching refs:Delta
1013 const SCEV *Delta = SE->getMinusSCEV(X, Y); in isKnownPredicate() local
1016 return Delta->isZero(); in isKnownPredicate()
1018 return SE->isKnownNonZero(Delta); in isKnownPredicate()
1020 return SE->isKnownNonNegative(Delta); in isKnownPredicate()
1022 return SE->isKnownNonPositive(Delta); in isKnownPredicate()
1024 return SE->isKnownPositive(Delta); in isKnownPredicate()
1026 return SE->isKnownNegative(Delta); in isKnownPredicate()
1182 const SCEV *Delta = SE->getMinusSCEV(SrcConst, DstConst); in strongSIVtest() local
1183 LLVM_DEBUG(dbgs() << "\t Delta = " << *Delta); in strongSIVtest()
1184 LLVM_DEBUG(dbgs() << ", " << *Delta->getType() << "\n"); in strongSIVtest()
1187 if (const SCEV *UpperBound = collectUpperBound(CurLoop, Delta->getType())) { in strongSIVtest()
1191 SE->isKnownNonNegative(Delta) ? Delta : SE->getNegativeSCEV(Delta); in strongSIVtest()
1204 if (isa<SCEVConstant>(Delta) && isa<SCEVConstant>(Coeff)) { in strongSIVtest()
1205 APInt ConstDelta = cast<SCEVConstant>(Delta)->getAPInt(); in strongSIVtest()
1229 else if (Delta->isZero()) { in strongSIVtest()
1231 Result.DV[Level].Distance = Delta; in strongSIVtest()
1232 NewConstraint.setDistance(Delta, CurLoop); in strongSIVtest()
1238 LLVM_DEBUG(dbgs() << "\t Distance = " << *Delta << "\n"); in strongSIVtest()
1239 Result.DV[Level].Distance = Delta; // since X/1 == X in strongSIVtest()
1240 NewConstraint.setDistance(Delta, CurLoop); in strongSIVtest()
1246 SE->getNegativeSCEV(Delta), CurLoop); in strongSIVtest()
1250 bool DeltaMaybeZero = !SE->isKnownNonZero(Delta); in strongSIVtest()
1251 bool DeltaMaybePositive = !SE->isKnownNonPositive(Delta); in strongSIVtest()
1252 bool DeltaMaybeNegative = !SE->isKnownNonNegative(Delta); in strongSIVtest()
1315 const SCEV *Delta = SE->getMinusSCEV(DstConst, SrcConst); in weakCrossingSIVtest() local
1316 LLVM_DEBUG(dbgs() << "\t Delta = " << *Delta << "\n"); in weakCrossingSIVtest()
1317 NewConstraint.setLine(Coeff, Coeff, Delta, CurLoop); in weakCrossingSIVtest()
1318 if (Delta->isZero()) { in weakCrossingSIVtest()
1326 Result.DV[Level].Distance = Delta; // = 0 in weakCrossingSIVtest()
1338 Delta = SE->getNegativeSCEV(Delta); in weakCrossingSIVtest()
1344 SE->getSMaxExpr(SE->getZero(Delta->getType()), Delta), in weakCrossingSIVtest()
1345 SE->getMulExpr(SE->getConstant(Delta->getType(), 2), ConstCoeff)); in weakCrossingSIVtest()
1348 const SCEVConstant *ConstDelta = dyn_cast<SCEVConstant>(Delta); in weakCrossingSIVtest()
1354 LLVM_DEBUG(dbgs() << "\t Delta = " << *Delta << "\n"); in weakCrossingSIVtest()
1356 if (SE->isKnownNegative(Delta)) { in weakCrossingSIVtest()
1365 if (const SCEV *UpperBound = collectUpperBound(CurLoop, Delta->getType())) { in weakCrossingSIVtest()
1371 if (isKnownPredicate(CmpInst::ICMP_SGT, Delta, ML)) { in weakCrossingSIVtest()
1377 if (isKnownPredicate(CmpInst::ICMP_EQ, Delta, ML)) { in weakCrossingSIVtest()
1387 Result.DV[Level].Distance = SE->getZero(Delta->getType()); in weakCrossingSIVtest()
1431 const APInt &Delta, APInt &G, APInt &X, APInt &Y) { in findGCD() argument
1451 R = Delta.srem(G); in findGCD()
1454 Q = Delta.sdiv(G); in findGCD()
1517 const SCEV *Delta = SE->getMinusSCEV(DstConst, SrcConst); in exactSIVtest() local
1518 LLVM_DEBUG(dbgs() << "\t Delta = " << *Delta << "\n"); in exactSIVtest()
1519 NewConstraint.setLine(SrcCoeff, SE->getNegativeSCEV(DstCoeff), Delta, in exactSIVtest()
1521 const SCEVConstant *ConstDelta = dyn_cast<SCEVConstant>(Delta); in exactSIVtest()
1547 collectConstantUpperBound(CurLoop, Delta->getType())) { in exactSIVtest()
1713 const SCEV *Delta = SE->getMinusSCEV(SrcConst, DstConst); in weakZeroSrcSIVtest() local
1714 NewConstraint.setLine(SE->getZero(Delta->getType()), DstCoeff, Delta, in weakZeroSrcSIVtest()
1716 LLVM_DEBUG(dbgs() << "\t Delta = " << *Delta << "\n"); in weakZeroSrcSIVtest()
1732 SE->isKnownNegative(ConstCoeff) ? SE->getNegativeSCEV(Delta) : Delta; in weakZeroSrcSIVtest()
1736 if (const SCEV *UpperBound = collectUpperBound(CurLoop, Delta->getType())) { in weakZeroSrcSIVtest()
1765 if (isa<SCEVConstant>(Delta) && in weakZeroSrcSIVtest()
1766 !isRemainderZero(cast<SCEVConstant>(Delta), ConstCoeff)) { in weakZeroSrcSIVtest()
1822 const SCEV *Delta = SE->getMinusSCEV(DstConst, SrcConst); in weakZeroDstSIVtest() local
1823 NewConstraint.setLine(SrcCoeff, SE->getZero(Delta->getType()), Delta, in weakZeroDstSIVtest()
1825 LLVM_DEBUG(dbgs() << "\t Delta = " << *Delta << "\n"); in weakZeroDstSIVtest()
1841 SE->isKnownNegative(ConstCoeff) ? SE->getNegativeSCEV(Delta) : Delta; in weakZeroDstSIVtest()
1845 if (const SCEV *UpperBound = collectUpperBound(CurLoop, Delta->getType())) { in weakZeroDstSIVtest()
1874 if (isa<SCEVConstant>(Delta) && in weakZeroDstSIVtest()
1875 !isRemainderZero(cast<SCEVConstant>(Delta), ConstCoeff)) { in weakZeroDstSIVtest()
1902 const SCEV *Delta = SE->getMinusSCEV(DstConst, SrcConst); in exactRDIVtest() local
1903 LLVM_DEBUG(dbgs() << "\t Delta = " << *Delta << "\n"); in exactRDIVtest()
1904 const SCEVConstant *ConstDelta = dyn_cast<SCEVConstant>(Delta); in exactRDIVtest()
1929 collectConstantUpperBound(SrcLoop, Delta->getType())) { in exactRDIVtest()
1939 collectConstantUpperBound(DstLoop, Delta->getType())) { in exactRDIVtest()
2385 const SCEV *Delta = SE->getMinusSCEV(DstConst, SrcConst); in gcdMIVtest() local
2386 LLVM_DEBUG(dbgs() << " Delta = " << *Delta << "\n"); in gcdMIVtest()
2387 const SCEVConstant *Constant = dyn_cast<SCEVConstant>(Delta); in gcdMIVtest()
2388 if (const SCEVAddExpr *Sum = dyn_cast<SCEVAddExpr>(Delta)) { in gcdMIVtest()
2481 Delta = SE->getMinusSCEV(SrcCoeff, DstCoeff); in gcdMIVtest()
2484 Constant = getConstantPart(Delta); in gcdMIVtest()
2554 const SCEV *Delta = SE->getMinusSCEV(B0, A0); in banerjeeMIVtest() local
2555 LLVM_DEBUG(dbgs() << "\tDelta = " << *Delta << '\n'); in banerjeeMIVtest()
2579 if (testBounds(Dependence::DVEntry::ALL, 0, Bound, Delta)) { in banerjeeMIVtest()
2583 Loops, DepthExpanded, Delta); in banerjeeMIVtest()
2626 const SCEV *Delta) const { in exploreDirections()
2717 if (testBounds(Dependence::DVEntry::LT, Level, Bound, Delta)) in exploreDirections()
2719 Loops, DepthExpanded, Delta); in exploreDirections()
2722 if (testBounds(Dependence::DVEntry::EQ, Level, Bound, Delta)) in exploreDirections()
2724 Loops, DepthExpanded, Delta); in exploreDirections()
2727 if (testBounds(Dependence::DVEntry::GT, Level, Bound, Delta)) in exploreDirections()
2729 Loops, DepthExpanded, Delta); in exploreDirections()
2735 return exploreDirections(Level + 1, A, B, Bound, Loops, DepthExpanded, Delta); in exploreDirections()
2741 BoundInfo *Bound, const SCEV *Delta) const { in testBounds()
2744 if (isKnownPredicate(CmpInst::ICMP_SGT, LowerBound, Delta)) in testBounds()
2747 if (isKnownPredicate(CmpInst::ICMP_SGT, Delta, UpperBound)) in testBounds()
2812 const SCEV *Delta = SE->getMinusSCEV(A[K].Coeff, B[K].Coeff); in findBoundsEQ() local
2813 const SCEV *NegativePart = getNegativePart(Delta); in findBoundsEQ()
2816 const SCEV *PositivePart = getPositivePart(Delta); in findBoundsEQ()
2823 const SCEV *Delta = SE->getMinusSCEV(A[K].Coeff, B[K].Coeff); in findBoundsEQ() local
2824 const SCEV *NegativePart = getNegativePart(Delta); in findBoundsEQ()
2827 const SCEV *PositivePart = getPositivePart(Delta); in findBoundsEQ()