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

References

lib/Transforms/Scalar/InductiveRangeCheckElimination.cpp
 1598   const SCEV *A = NoopOrExtend(IndVar->getStart(), RCType, SE, IsLatchSigned);
 1600       NoopOrExtend(IndVar->getStepRecurrence(SE), RCType, SE, IsLatchSigned));
 1600       NoopOrExtend(IndVar->getStepRecurrence(SE), RCType, SE, IsLatchSigned));
 1612   const SCEV *SIntMax = SE.getConstant(APInt::getSignedMaxValue(BitWidth));
 1642       const SCEV *XMinusSIntMax = SE.getMinusSCEV(X, SIntMax);
 1643       return SE.getMinusSCEV(X, SE.getSMaxExpr(Y, XMinusSIntMax),
 1643       return SE.getMinusSCEV(X, SE.getSMaxExpr(Y, XMinusSIntMax),
 1656       return SE.getMinusSCEV(X, SE.getSMinExpr(X, Y), SCEV::FlagNUW);
 1656       return SE.getMinusSCEV(X, SE.getSMinExpr(X, Y), SCEV::FlagNUW);
 1658   const SCEV *M = SE.getMinusSCEV(C, A);
 1659   const SCEV *Zero = SE.getZero(M->getType());
 1664     const SCEV *One = SE.getOne(X->getType());
 1666     if (isKnownNonNegativeInLoop(X, L, SE))
 1668     else if (isKnownNegativeInLoop(X, L, SE))
 1672     const SCEV *NegOne = SE.getNegativeSCEV(One);
 1673     return SE.getAddExpr(SE.getSMaxExpr(SE.getSMinExpr(X, Zero), NegOne), One);
 1673     return SE.getAddExpr(SE.getSMaxExpr(SE.getSMinExpr(X, Zero), NegOne), One);
 1673     return SE.getAddExpr(SE.getSMaxExpr(SE.getSMinExpr(X, Zero), NegOne), One);
 1686   const SCEV *Begin = SE.getMulExpr(ClampedSubtract(Zero, M), EndIsNonNegative);
 1687   const SCEV *End = SE.getMulExpr(ClampedSubtract(REnd, M), EndIsNonNegative);