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

Declarations

include/llvm/Analysis/ScalarEvolution.h

  854   bool isKnownNonNegative(const SCEV *S);

References

lib/Analysis/DependenceAnalysis.cpp

  999     return SE->isKnownNonNegative(Delta);
 1053         if (SE->isKnownNonNegative(AddRec->getStart()) &&
 1054             SE->isKnownNonNegative(AddRec->getOperand(1)))
 1060   return SE->isKnownNonNegative(S);
 1170       SE->isKnownNonNegative(Delta) ? Delta : SE->getNegativeSCEV(Delta);
 1172       SE->isKnownNonNegative(Coeff) ? Coeff : SE->getNegativeSCEV(Coeff);
 1231     bool DeltaMaybeNegative = !SE->isKnownNonNegative(Delta);
 1233     bool CoeffMaybeNegative = !SE->isKnownNonNegative(Coeff);
 2057   if (SE->isKnownNonNegative(A1)) {
 2058     if (SE->isKnownNonNegative(A2)) {
 2100     if (SE->isKnownNonNegative(A2)) {
 3226     if (!SE->isKnownNonNegative(Level.Distance)) // if may be negative

lib/Analysis/ScalarEvolution.cpp

 2182   if (isKnownNonNegative(Op))
 2355     return SE->isKnownNonNegative(S);
 4026     if (RHSIsNotMinSigned || isKnownNonNegative(LHS)) {
 5662         if (!isKnownNonNegative(AddRec->getOperand(i))) AllNonNeg = false;
 9253     if (isKnownNonNegative(Step)) {
 9426   return isKnownNonNegative(RHS) &&
 9776       isKnownNonNegative(FoundLHS) && isKnownNonNegative(FoundRHS))
 9776       isKnownNonNegative(FoundLHS) && isKnownNonNegative(FoundRHS))

lib/Transforms/Utils/SimplifyIndVar.cpp

  275              SE->isKnownNonNegative(S) && SE->isKnownNonNegative(X)) {
  275              SE->isKnownNonNegative(S) && SE->isKnownNonNegative(X)) {
  303   if (SE->isKnownNonNegative(N) && SE->isKnownNonNegative(D)) {
  303   if (SE->isKnownNonNegative(N) && SE->isKnownNonNegative(D)) {
  373   bool IsNumeratorNonNegative = !IsSigned || SE->isKnownNonNegative(N);
  399   if (!IsSigned || !SE->isKnownNonNegative(D))
  575     return SE->isKnownNonNegative(SCEVOP1) && SE->isKnownNonNegative(SCEVOP2);
  575     return SE->isKnownNonNegative(SCEVOP1) && SE->isKnownNonNegative(SCEVOP2);