reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

Declarations

include/llvm/Analysis/ScalarEvolution.h

  851   bool isKnownPositive(const SCEV *S);

References

lib/Analysis/DependenceAnalysis.cpp

 1003     return SE->isKnownPositive(Delta);
 1319   assert(SE->isKnownPositive(ConstCoeff) && "ConstCoeff should be positive");
 2114       if (SE->isKnownPositive(C2_C1)) {

lib/Analysis/LoopAccessAnalysis.cpp

 1392   if (SE.isKnownPositive(Minus))
 1399   if (SE.isKnownPositive(Minus))
 2331   if (SE->isKnownPositive(StrideMinusBETaken)) {

lib/Analysis/LoopInfo.cpp

  274       if (SE.isKnownPositive(StepRecur))

lib/Analysis/ScalarEvolution.cpp

 1349   if (SE->isKnownPositive(Step)) {
 1478       !isa<SCEVCouldNotCompute>(BECount) && SE->isKnownPositive(BECount))
 1789         if (isKnownPositive(Step)) {
 5097             if (isKnownPositive(getMinusSCEV(getSCEV(GEP), Ptr)))
 8183               isKnownPositive(BackedgeTakenCount) &&
 9108   return isKnownNegative(S) || isKnownPositive(S);
10307       if (!HasSameValue(Numerator, FoundLHS) || !isKnownPositive(Denominator))
10482   assert(isKnownPositive(Stride) && "Positive stride expected!");
10607   bool PositiveStride = isKnownPositive(Stride);
10748   if (!isKnownPositive(Stride))

lib/Transforms/Scalar/LoopFuse.cpp

  855         bool Pos = SE.isKnownPositive(Expr->getStepRecurrence(SE));