Searched refs:isKnownNegative (Results 1 – 11 of 11) sorted by relevance
100 if (StepRec && SE.isKnownNegative(StepRec)) in isOneDimensionalArray()427 if (StepRec && SE.isKnownNegative(StepRec)) in delinearize()492 Stride = SE.isKnownNegative(Stride) ? SE.getNegativeSCEV(Stride) : Stride; in isConsecutive()
1089 return SE->isKnownNegative(Delta); in isKnownPredicate()1116 if (SE->isKnownNegative(Limit)) in isKnownLessThan()1125 return SE->isKnownNegative(LimitedBound); in isKnownLessThan()1397 if (SE->isKnownNegative(ConstCoeff)) { in weakCrossingSIVtest()1419 if (SE->isKnownNegative(Delta)) { in weakCrossingSIVtest()1792 SE->isKnownNegative(ConstCoeff) ? in weakZeroSrcSIVtest()1795 SE->isKnownNegative(ConstCoeff) ? SE->getNegativeSCEV(Delta) : Delta; in weakZeroSrcSIVtest()1820 if (SE->isKnownNegative(NewDelta)) { in weakZeroSrcSIVtest()1901 SE->isKnownNegative(ConstCoeff) ? in weakZeroDstSIVtest()1929 if (SE->isKnownNegative(NewDelta)) { in weakZeroDstSIVtest()[all …]
280 if (SE.isKnownNegative(StepRecur)) in getDirection()
1239 if (SE->isKnownNegative(Step)) { in getSignedOverflowLimitForStep()1723 if (isKnownNegative(Step)) { in getZeroExtendExprImpl()7096 if (isKnownNegative(Step) && in getRangeForAffineNoSelfWrappingAR()10769 bool ScalarEvolution::isKnownNegative(const SCEV *S) { in isKnownNegative() function in ScalarEvolution11725 (isKnownNegative(FoundLHS) && isKnownNegative(FoundRHS))) in isImpliedCondBalancedTypes()11750 if (ICmpInst::isUnsigned(CanonicalPred) && isKnownNegative(CanonicalRHS)) in isImpliedCondBalancedTypes()12455 if (isKnownNegative(RHS) && in isImpliedViaOperations()12659 if (IsSigned && isKnownNegative(Stride)) in computeMaxBECountForLT()
301 bool llvm::isKnownNegative(const Value *V, const SimplifyQuery &SQ, in isKnownNegative() function in llvm374 bool isKnownNegative = false; in computeKnownBitsMul() local392 isKnownNegative = in computeKnownBitsMul()412 else if (isKnownNegative && !Known.isNonNegative()) in computeKnownBitsMul()
150 bool isKnownNegative(const Value *V, const SimplifyQuery &DL,
1009 bool isKnownNegative(const SCEV *S);
30 assert(SE.isKnownNegative(Step) && "expecting negative step"); in isSafeDecreasingBound()
1646 if (!SE->isKnownNegative(RHS)) in widenWithVariantUse()
2061 bool NeedPosCheck = !SE.isKnownNegative(Step); in generateOverflowCheck()
4369 isKnownNegative(X, SQ.getWithInstruction(NotVal))) in foldNot()