Searched refs:isKnownNegative (Results 1 – 12 of 12) sorted by relevance
100 if (StepRec && SE.isKnownNegative(StepRec)) in isOneDimensionalArray()428 if (StepRec && SE.isKnownNegative(StepRec)) in delinearize()493 Stride = SE.isKnownNegative(Stride) ? SE.getNegativeSCEV(Stride) : Stride; in isConsecutive()
1026 return SE->isKnownNegative(Delta); in isKnownPredicate()1053 if (SE->isKnownNegative(Limit)) in isKnownLessThan()1062 return SE->isKnownNegative(LimitedBound); in isKnownLessThan()1334 if (SE->isKnownNegative(ConstCoeff)) { in weakCrossingSIVtest()1356 if (SE->isKnownNegative(Delta)) { in weakCrossingSIVtest()1729 SE->isKnownNegative(ConstCoeff) ? in weakZeroSrcSIVtest()1732 SE->isKnownNegative(ConstCoeff) ? SE->getNegativeSCEV(Delta) : Delta; in weakZeroSrcSIVtest()1757 if (SE->isKnownNegative(NewDelta)) { in weakZeroSrcSIVtest()1838 SE->isKnownNegative(ConstCoeff) ? in weakZeroDstSIVtest()1866 if (SE->isKnownNegative(NewDelta)) { in weakZeroDstSIVtest()[all …]
276 if (SE.isKnownNegative(StepRecur)) in getDirection()
1310 if (SE->isKnownNegative(Step)) { in getSignedOverflowLimitForStep()1756 if (isKnownNegative(Step)) { in getZeroExtendExpr()6831 else if (isKnownNegative(Step) && in getRangeForAffineNoSelfWrappingAR()10521 bool ScalarEvolution::isKnownNegative(const SCEV *S) { in isKnownNegative() function in ScalarEvolution11417 (isKnownNegative(FoundLHS) && isKnownNegative(FoundRHS))) in isImpliedCondBalancedTypes()11442 if (ICmpInst::isUnsigned(CanonicalPred) && isKnownNegative(CanonicalRHS)) in isImpliedCondBalancedTypes()12144 if (isKnownNegative(RHS) && in isImpliedViaOperations()
368 bool llvm::isKnownNegative(const Value *V, const DataLayout &DL, unsigned Depth, in isKnownNegative() function in llvm453 bool isKnownNegative = false; in computeKnownBitsMul() local471 isKnownNegative = in computeKnownBitsMul()492 else if (isKnownNegative && !Known.isNonNegative()) in computeKnownBitsMul()
162 bool isKnownNegative(const Value *V, const DataLayout &DL, unsigned Depth = 0,
979 bool isKnownNegative(const SCEV *S);
489 if (SE.isKnownNegative(Divisor)) { in visitUDivExpr()
694 if (SE.isKnownNegative(Factor)) { in extractConstantFactor()
669 assert(SE.isKnownNegative(Step) && "expecting negative step"); in isSafeDecreasingBound()
1614 if (!SE->isKnownNegative(RHS)) in widenWithVariantUse()
2441 bool NeedPosCheck = !SE.isKnownNegative(Step); in generateOverflowCheck()