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

References

lib/Transforms/Scalar/InductiveRangeCheckElimination.cpp
  804     if (isa<SCEVAddRecExpr>(RightSCEV)) {
  805       std::swap(LeftSCEV, RightSCEV);
  881             isKnownNonNegativeInLoop(RightSCEV, &L, SE))
  892             cannotBeMinInLoop(RightSCEV, &L, SE, /*Signed*/false)) {
  894           RightSCEV = SE.getMinusSCEV(RightSCEV,
  894           RightSCEV = SE.getMinusSCEV(RightSCEV,
  895                                       SE.getOne(RightSCEV->getType()));
  897         } else if (cannotBeMinInLoop(RightSCEV, &L, SE, /*Signed*/true)) {
  899           RightSCEV = SE.getMinusSCEV(RightSCEV,
  899           RightSCEV = SE.getMinusSCEV(RightSCEV,
  900                                       SE.getOne(RightSCEV->getType()));
  922     if (!isSafeIncreasingBound(IndVarStart, RightSCEV, Step, Pred,
  957             cannotBeMaxInLoop(RightSCEV, &L, SE, /* Signed */ false)) {
  959           RightSCEV = SE.getAddExpr(RightSCEV, SE.getOne(RightSCEV->getType()));
  959           RightSCEV = SE.getAddExpr(RightSCEV, SE.getOne(RightSCEV->getType()));
  959           RightSCEV = SE.getAddExpr(RightSCEV, SE.getOne(RightSCEV->getType()));
  961         } else if (cannotBeMaxInLoop(RightSCEV, &L, SE, /* Signed */ true)) {
  963           RightSCEV = SE.getAddExpr(RightSCEV, SE.getOne(RightSCEV->getType()));
  963           RightSCEV = SE.getAddExpr(RightSCEV, SE.getOne(RightSCEV->getType()));
  963           RightSCEV = SE.getAddExpr(RightSCEV, SE.getOne(RightSCEV->getType()));
  988     if (!isSafeDecreasingBound(IndVarStart, RightSCEV, Step, Pred,