Searched refs:isKnownNegative (Results 1 – 9 of 9) sorted by relevance
99 if (StepRec && SE.isKnownNegative(StepRec)) in isOneDimensionalArray()297 if (SE.isKnownNegative(Stride)) in computeRefCost()372 if (StepRec && SE.isKnownNegative(StepRec)) in delinearize()424 Stride = SE.isKnownNegative(Stride) ? SE.getNegativeSCEV(Stride) : Stride; in isConsecutive()
1004 return SE->isKnownNegative(Delta); in isKnownPredicate()1031 if (SE->isKnownNegative(Limit)) in isKnownLessThan()1040 return SE->isKnownNegative(LimitedBound); in isKnownLessThan()1312 if (SE->isKnownNegative(ConstCoeff)) { in weakCrossingSIVtest()1334 if (SE->isKnownNegative(Delta)) { in weakCrossingSIVtest()1707 SE->isKnownNegative(ConstCoeff) ? in weakZeroSrcSIVtest()1710 SE->isKnownNegative(ConstCoeff) ? SE->getNegativeSCEV(Delta) : Delta; in weakZeroSrcSIVtest()1735 if (SE->isKnownNegative(NewDelta)) { in weakZeroSrcSIVtest()1816 SE->isKnownNegative(ConstCoeff) ? in weakZeroDstSIVtest()1819 SE->isKnownNegative(ConstCoeff) ? SE->getNegativeSCEV(Delta) : Delta; in weakZeroDstSIVtest()[all …]
280 if (SE.isKnownNegative(StepRecur)) in getDirection()
337 bool llvm::isKnownNegative(const Value *V, const DataLayout &DL, unsigned Depth, in isKnownNegative() function in llvm414 bool isKnownNegative = false; in computeKnownBitsMul() local432 isKnownNegative = in computeKnownBitsMul()448 else if (isKnownNegative && !Known.isNonNegative()) in computeKnownBitsMul()
1282 if (SE->isKnownNegative(Step)) { in getSignedOverflowLimitForStep()1728 if (isKnownNegative(Step)) { in getZeroExtendExpr()6205 else if (isKnownNegative(Step) && in getRangeForAffineNoSelfWrappingAR()9548 bool ScalarEvolution::isKnownNegative(const SCEV *S) { in isKnownNegative() function in ScalarEvolution9565 return isKnownNegative(S) || isKnownPositive(S); in isKnownNonZero()11052 if (isKnownNegative(RHS) && in isImpliedViaOperations()
163 bool isKnownNegative(const Value *V, const DataLayout &DL, unsigned Depth = 0,
882 bool isKnownNegative(const SCEV *S);
671 assert(SE.isKnownNegative(Step) && "expecting negative step"); in isSafeDecreasingBound()
1610 if (!SE->isKnownNegative(RHS)) in widenWithVariantUse()