Searched refs:isKnownNegative (Results 1 – 14 of 14) sorted by relevance
100 if (StepRec && SE.isKnownNegative(StepRec)) in isOneDimensionalArray()432 if (StepRec && SE.isKnownNegative(StepRec)) in delinearize()497 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()1904 SE->isKnownNegative(ConstCoeff) ? SE->getNegativeSCEV(Delta) : Delta; in weakZeroDstSIVtest()[all …]
281 if (SE.isKnownNegative(StepRecur)) in getDirection()
1241 if (SE->isKnownNegative(Step)) { in getSignedOverflowLimitForStep()1725 if (isKnownNegative(Step)) { in getZeroExtendExprImpl()7112 if (isKnownNegative(Step) && in getRangeForAffineNoSelfWrappingAR()10504 bool CountDown = isKnownNegative(StepWLG); in howFarToZero()10848 bool ScalarEvolution::isKnownNegative(const SCEV *S) { in isKnownNegative() function in ScalarEvolution11803 (isKnownNegative(FoundLHS) && isKnownNegative(FoundRHS))) in isImpliedCondBalancedTypes()11828 if (ICmpInst::isUnsigned(CanonicalPred) && isKnownNegative(CanonicalRHS)) in isImpliedCondBalancedTypes()12533 if (isKnownNegative(RHS) && in isImpliedViaOperations()12737 if (IsSigned && isKnownNegative(Stride)) in computeMaxBECountForLT()13033 if (isKnownNegative(RHSStride) && in howManyLessThans()
301 bool llvm::isKnownNegative(const Value *V, const SimplifyQuery &SQ, in isKnownNegative() function in llvm381 bool isKnownNegative = false; in computeKnownBitsMul() local399 isKnownNegative = in computeKnownBitsMul()419 else if (isKnownNegative && !Known.isNonNegative()) in computeKnownBitsMul()
163 bool isKnownNegative(const Value *V, const SimplifyQuery &DL,
1017 bool isKnownNegative(const SCEV *S);
474 else if (SE.isKnownNegative(Step)) in countToEliminateCompares()
30 assert(SE.isKnownNegative(Step) && "expecting negative step"); in isSafeDecreasingBound()
1747 if (!SE->isKnownNegative(RHS)) in widenWithVariantUse()
2159 bool NeedPosCheck = !SE.isKnownNegative(Step); in generateOverflowCheck()
4501 isKnownNegative(X, SQ.getWithInstruction(NotVal))) in foldNot()
4822 if (isKnownNegative(Op1, IC.getSimplifyQuery().getWithInstruction(&I))) in foldICmpAndXX()