Searched refs:isKnownNegative (Results 1 – 6 of 6) sorted by relevance
998 return SE->isKnownNegative(Delta); in isKnownPredicate()1025 if (SE->isKnownNegative(Limit)) in isKnownLessThan()1034 return SE->isKnownNegative(LimitedBound); in isKnownLessThan()1306 if (SE->isKnownNegative(ConstCoeff)) { in weakCrossingSIVtest()1328 if (SE->isKnownNegative(Delta)) { in weakCrossingSIVtest()1728 SE->isKnownNegative(ConstCoeff) ? in weakZeroSrcSIVtest()1731 SE->isKnownNegative(ConstCoeff) ? SE->getNegativeSCEV(Delta) : Delta; in weakZeroSrcSIVtest()1756 if (SE->isKnownNegative(NewDelta)) { in weakZeroSrcSIVtest()1837 SE->isKnownNegative(ConstCoeff) ? in weakZeroDstSIVtest()1865 if (SE->isKnownNegative(NewDelta)) { in weakZeroDstSIVtest()[all …]
268 bool llvm::isKnownNegative(const Value *V, const DataLayout &DL, unsigned Depth, in isKnownNegative() function in llvm331 bool isKnownNegative = false; in computeKnownBitsMul() local349 isKnownNegative = (isKnownNegativeOp1 && isKnownNonNegativeOp0 && in computeKnownBitsMul()436 else if (isKnownNegative && !Known.isNonNegative()) in computeKnownBitsMul()
1314 if (SE->isKnownNegative(Step)) { in getSignedOverflowLimitForStep()1764 } else if (isKnownNegative(Step)) { in getZeroExtendExpr()9011 bool ScalarEvolution::isKnownNegative(const SCEV *S) { in isKnownNegative() function in ScalarEvolution9028 return isKnownNegative(S) || isKnownPositive(S); in isKnownNonZero()10285 if (isKnownNegative(RHS) && in isImpliedViaOperations()
134 bool isKnownNegative(const Value *V, const DataLayout &DL, unsigned Depth = 0,
830 bool isKnownNegative(const SCEV *S);
663 assert(SE.isKnownNegative(Step) && "expecting negative step"); in isSafeDecreasingBound()