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

Declarations

include/llvm/Analysis/ScalarEvolution.h

  904   bool isKnownPredicate(ICmpInst::Predicate Pred, const SCEV *LHS,

References

lib/Analysis/DependenceAnalysis.cpp

  985   if (SE->isKnownPredicate(Pred, X, Y))

lib/Analysis/LoopCacheAnalysis.cpp

  395   return SE.isKnownPredicate(ICmpInst::ICMP_ULT, Stride, CacheLineSize);

lib/Analysis/ScalarEvolution.cpp

 1592       if (Limit && isKnownPredicate(Pred, PreAR, Limit))  // proves (1)
 4851            isKnownPredicate(ICmpInst::ICMP_NE, Expr, ExtendedExpr);
 4871         !isKnownPredicate(ICmpInst::ICMP_EQ, Expr, ExtendedExpr)) {
 9427          isKnownPredicate(CmpInst::ICMP_SGE, LHS, getZero(LHS->getType())) &&
 9428          isKnownPredicate(CmpInst::ICMP_SLT, LHS, RHS);
10172   return SE.isKnownPredicate(Pred, LAR->getStart(), RAR->getStart());

lib/Transforms/Scalar/IndVarSimplify.cpp

 1696       SE->isKnownPredicate(ICmpInst::ICMP_SGE, NarrowSCEV,

lib/Transforms/Scalar/InductiveRangeCheckElimination.cpp

  201         return SE.isKnownPredicate(ICmpInst::ICMP_SGE, Begin, End);
  203         return SE.isKnownPredicate(ICmpInst::ICMP_UGE, Begin, End);
 1116       SE.isKnownPredicate(PredLE, Range.getBegin(), Smallest);
 1121       SE.isKnownPredicate(PredLT, GreatestSeen, Range.getEnd());

lib/Transforms/Scalar/LoopFuse.cpp

  918     bool IsAlwaysGE = SE.isKnownPredicate(Pred, SCEVPtr0, SCEVPtr1);

lib/Transforms/Scalar/LoopPredication.cpp

  654       SE->isKnownPredicate(ICmpInst::ICMP_ULE, RC.IV->getStart(), RC.Limit))

lib/Transforms/Utils/LoopUnrollPeel.cpp

  197     if (SE.isKnownPredicate(Pred, LeftSCEV, RightSCEV) ||
  198         SE.isKnownPredicate(ICmpInst::getInversePredicate(Pred), LeftSCEV,
  237     if (!SE.isKnownPredicate(Pred, IterVal, RightSCEV))
  242            SE.isKnownPredicate(Pred, IterVal, RightSCEV)) {
  250         SE.isKnownPredicate(ICmpInst::getInversePredicate(Pred), IterVal,

lib/Transforms/Utils/SimplifyIndVar.cpp

  264   if (SE->isKnownPredicate(Pred, S, X)) {
  268   } else if (SE->isKnownPredicate(ICmpInst::getInversePredicate(Pred), S, X)) {
  384     if (SE->isKnownPredicate(LT, N, D)) {
  391     if (SE->isKnownPredicate(LT, NLessOne, D)) {

tools/polly/lib/CodeGen/IslNodeBuilder.cpp

  556       !SE.isKnownPredicate(Predicate, SE.getSCEV(ValueLB), SE.getSCEV(ValueUB));