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

Declarations

include/llvm/Analysis/ScalarEvolution.h

  848   bool isKnownNegative(const SCEV *S);

References

lib/Analysis/DependenceAnalysis.cpp

 1005     return SE->isKnownNegative(Delta);
 1032         if (SE->isKnownNegative(Limit))
 1041   return SE->isKnownNegative(LimitedBound);
 1313   if (SE->isKnownNegative(ConstCoeff)) {
 1335   if (SE->isKnownNegative(Delta)) {
 1735     SE->isKnownNegative(ConstCoeff) ?
 1738     SE->isKnownNegative(ConstCoeff) ? SE->getNegativeSCEV(Delta) : Delta;
 1763   if (SE->isKnownNegative(NewDelta)) {
 1844     SE->isKnownNegative(ConstCoeff) ?
 1847     SE->isKnownNegative(ConstCoeff) ? SE->getNegativeSCEV(Delta) : Delta;
 1872   if (SE->isKnownNegative(NewDelta)) {
 2093       if (SE->isKnownNegative(C2_C1)) {

lib/Analysis/LoopInfo.cpp

  276       if (SE.isKnownNegative(StepRecur))

lib/Analysis/ScalarEvolution.cpp

 1354   if (SE->isKnownNegative(Step)) {
 1804         } else if (isKnownNegative(Step)) {
 9108   return isKnownNegative(S) || isKnownPositive(S);
10343       if (isKnownNegative(RHS) &&

lib/Transforms/Scalar/InductiveRangeCheckElimination.cpp

  654   assert(SE.isKnownNegative(Step) && "expecting negative step");

tools/polly/lib/Support/SCEVAffinator.cpp

  474   if (SE.isKnownNegative(Divisor)) {

tools/polly/lib/Support/SCEVValidator.cpp

  736     if (SE.isKnownNegative(Factor)) {