Searched refs:isKnownNonNegative (Results 1 – 6 of 6) sorted by relevance
205 if ((!IsSigned || SE->isKnownNonNegative(S)) && in eliminateIVRemainder()213 if (IsSigned && !SE->isKnownNonNegative(LessOne)) in eliminateIVRemainder()
929 return SE->isKnownNonNegative(Delta); in isKnownPredicate()1053 SE->isKnownNonNegative(Delta) ? Delta : SE->getNegativeSCEV(Delta); in strongSIVtest()1055 SE->isKnownNonNegative(Coeff) ? Coeff : SE->getNegativeSCEV(Coeff); in strongSIVtest()1114 bool DeltaMaybeNegative = !SE->isKnownNonNegative(Delta); in strongSIVtest()1116 bool CoeffMaybeNegative = !SE->isKnownNonNegative(Coeff); in strongSIVtest()1961 if (SE->isKnownNonNegative(A1)) { in symbolicRDIVtest()1962 if (SE->isKnownNonNegative(A2)) { in symbolicRDIVtest()2004 if (SE->isKnownNonNegative(A2)) { in symbolicRDIVtest()3159 if (!SE->isKnownNonNegative(Level.Distance)) // if may be negative in updateDirection()
281 bool isKnownNonNegative = false; in computeKnownBitsMul() local286 isKnownNonNegative = true; in computeKnownBitsMul()293 isKnownNonNegative = (isKnownNegativeOp1 && isKnownNegativeOp0) || in computeKnownBitsMul()297 if (!isKnownNonNegative) in computeKnownBitsMul()326 if (isKnownNonNegative && !KnownOne.isNegative()) in computeKnownBitsMul()
1606 if (isKnownNonNegative(Op)) in getSignExtendExpr()1943 std::bind(std::mem_fn(&ScalarEvolution::isKnownNonNegative), SE, _1); in StrengthenNoWrapFlags()3949 if (!isKnownNonNegative(AddRec->getOperand(i))) AllNonNeg = false; in getRange()6542 bool ScalarEvolution::isKnownNonNegative(const SCEV *S) { in isKnownNonNegative() function in ScalarEvolution
875 bool isKnownNonNegative(const SCEV *S);
269 SE.isKnownNonNegative(S); in parseRangeCheckICmp()