Lines Matching refs:ConstantRange
1615 ConstantRange CR = getUnsignedRange(X); in getZeroExtendExpr()
1923 ConstantRange CR = getSignedRange(X); in getSignExtendExpr()
2378 auto NSWRegion = ConstantRange::makeGuaranteedNoWrapRegion( in StrengthenNoWrapFlags()
2386 auto NUWRegion = ConstantRange::makeGuaranteedNoWrapRegion( in StrengthenNoWrapFlags()
4637 ConstantRange AddRecRange = getSignedRange(AR); in proveNoWrapViaConstantRanges()
4638 ConstantRange IncRange = getSignedRange(AR->getStepRecurrence(*this)); in proveNoWrapViaConstantRanges()
4640 auto NSWRegion = ConstantRange::makeGuaranteedNoWrapRegion( in proveNoWrapViaConstantRanges()
4647 ConstantRange AddRecRange = getUnsignedRange(AR); in proveNoWrapViaConstantRanges()
4648 ConstantRange IncRange = getUnsignedRange(AR->getStepRecurrence(*this)); in proveNoWrapViaConstantRanges()
4650 auto NUWRegion = ConstantRange::makeGuaranteedNoWrapRegion( in proveNoWrapViaConstantRanges()
5845 static Optional<ConstantRange> GetRangeFromMetadata(Value *V) { in GetRangeFromMetadata()
5862 ConstantRange ScalarEvolution::
5867 const ConstantRange FullSet(BitWidth, /*isFullSet=*/true); in getRangeForUnknownRecurrence()
5949 return ConstantRange::getNonEmpty(KnownEnd.getMinValue(), in getRangeForUnknownRecurrence()
5953 return ConstantRange::getNonEmpty(KnownStart.getMinValue(), in getRangeForUnknownRecurrence()
5965 return ConstantRange::getNonEmpty(KnownEnd.getMinValue(), in getRangeForUnknownRecurrence()
5973 return ConstantRange(KnownStart.getMinValue(), in getRangeForUnknownRecurrence()
5984 const ConstantRange &
5987 DenseMap<const SCEV *, ConstantRange> &Cache = in getRangeRef()
5990 ConstantRange::PreferredRangeType RangeType = in getRangeRef()
5992 ? ConstantRange::Unsigned : ConstantRange::Signed; in getRangeRef()
5995 DenseMap<const SCEV *, ConstantRange>::iterator I = Cache.find(S); in getRangeRef()
6000 return setRange(C, SignHint, ConstantRange(C->getAPInt())); in getRangeRef()
6003 ConstantRange ConservativeResult(BitWidth, /*isFullSet=*/true); in getRangeRef()
6012 ConstantRange(APInt::getMinValue(BitWidth), in getRangeRef()
6015 ConservativeResult = ConstantRange( in getRangeRef()
6021 ConstantRange X = getRangeRef(Add->getOperand(0), SignHint); in getRangeRef()
6035 ConstantRange X = getRangeRef(Mul->getOperand(0), SignHint); in getRangeRef()
6043 ConstantRange X = getRangeRef(SMax->getOperand(0), SignHint); in getRangeRef()
6051 ConstantRange X = getRangeRef(UMax->getOperand(0), SignHint); in getRangeRef()
6059 ConstantRange X = getRangeRef(SMin->getOperand(0), SignHint); in getRangeRef()
6067 ConstantRange X = getRangeRef(UMin->getOperand(0), SignHint); in getRangeRef()
6075 ConstantRange X = getRangeRef(UDiv->getLHS(), SignHint); in getRangeRef()
6076 ConstantRange Y = getRangeRef(UDiv->getRHS(), SignHint); in getRangeRef()
6082 ConstantRange X = getRangeRef(ZExt->getOperand(), SignHint); in getRangeRef()
6089 ConstantRange X = getRangeRef(SExt->getOperand(), SignHint); in getRangeRef()
6096 ConstantRange X = getRangeRef(PtrToInt->getOperand(), SignHint); in getRangeRef()
6101 ConstantRange X = getRangeRef(Trunc->getOperand(), SignHint); in getRangeRef()
6114 ConstantRange(UnsignedMinValue, APInt(BitWidth, 0)), RangeType); in getRangeRef()
6133 ConstantRange::getNonEmpty(getSignedRangeMin(AddRec->getStart()), in getRangeRef()
6138 ConstantRange::getNonEmpty( in getRangeRef()
6183 Optional<ConstantRange> MDRange = GetRangeFromMetadata(U->getValue()); in getRangeRef()
6222 ConstantRange(Known.getMinValue(), Known.getMaxValue() + 1), in getRangeRef()
6226 ConstantRange(APInt::getSignedMinValue(BitWidth).ashr(NS - 1), in getRangeRef()
6234 ConstantRange RangeFromOps(BitWidth, /*isFullSet=*/false); in getRangeRef()
6260 static ConstantRange getRangeForAffineARHelper(APInt Step, in getRangeForAffineARHelper()
6261 const ConstantRange &StartRange, in getRangeForAffineARHelper()
6273 return ConstantRange::getFull(BitWidth); in getRangeForAffineARHelper()
6289 return ConstantRange::getFull(BitWidth); in getRangeForAffineARHelper()
6308 return ConstantRange::getFull(BitWidth); in getRangeForAffineARHelper()
6317 return ConstantRange::getNonEmpty(std::move(NewLower), std::move(NewUpper)); in getRangeForAffineARHelper()
6320 ConstantRange ScalarEvolution::getRangeForAffineAR(const SCEV *Start, in getRangeForAffineAR()
6332 ConstantRange StartSRange = getSignedRange(Start); in getRangeForAffineAR()
6333 ConstantRange StepSRange = getSignedRange(Step); in getRangeForAffineAR()
6337 ConstantRange SR = in getRangeForAffineAR()
6345 ConstantRange UR = getRangeForAffineARHelper( in getRangeForAffineAR()
6350 return SR.intersectWith(UR, ConstantRange::Smallest); in getRangeForAffineAR()
6353 ConstantRange ScalarEvolution::getRangeForAffineNoSelfWrappingAR( in getRangeForAffineNoSelfWrappingAR()
6363 return ConstantRange::getFull(BitWidth); in getRangeForAffineNoSelfWrappingAR()
6371 return ConstantRange::getFull(BitWidth); in getRangeForAffineNoSelfWrappingAR()
6378 return ConstantRange::getFull(BitWidth); in getRangeForAffineNoSelfWrappingAR()
6399 ConstantRange StartRange = getRangeRef(Start, SignHint); in getRangeForAffineNoSelfWrappingAR()
6400 ConstantRange EndRange = getRangeRef(End, SignHint); in getRangeForAffineNoSelfWrappingAR()
6401 ConstantRange RangeBetween = StartRange.unionWith(EndRange); in getRangeForAffineNoSelfWrappingAR()
6410 return ConstantRange::getFull(BitWidth); in getRangeForAffineNoSelfWrappingAR()
6418 return ConstantRange::getFull(BitWidth); in getRangeForAffineNoSelfWrappingAR()
6421 ConstantRange ScalarEvolution::getRangeViaFactoring(const SCEV *Start, in getRangeViaFactoring()
6502 return ConstantRange::getFull(BitWidth); in getRangeViaFactoring()
6506 return ConstantRange::getFull(BitWidth); in getRangeViaFactoring()
6512 return ConstantRange::getFull(BitWidth); in getRangeViaFactoring()
6528 ConstantRange TrueRange = in getRangeViaFactoring()
6530 ConstantRange FalseRange = in getRangeViaFactoring()
8066 ConstantRange CompRange = in computeExitLimitFromICmp()
8067 ConstantRange::makeExactICmpRegion(Pred, RHSC->getAPInt()); in computeExitLimitFromICmp()
9279 const ConstantRange &Range, ScalarEvolution &SE) { in SolveQuadraticAddRecRange()
9506 ConstantRange CR = getUnsignedRange(DistancePlusOne); in howFarToZero()
9659 ConstantRange ExactCR = ConstantRange::makeExactICmpRegion(Pred, RA); in SimplifyICmpOperands()
10129 auto CheckRanges = [&](const ConstantRange &RangeLHS, in isKnownPredicateViaConstantRanges()
10130 const ConstantRange &RangeRHS) { in isKnownPredicateViaConstantRanges()
11457 ConstantRange FoundLHSRange = in isImpliedCondOperandsViaRanges()
11458 ConstantRange::makeExactICmpRegion(Pred, ConstFoundRHS); in isImpliedCondOperandsViaRanges()
11461 ConstantRange LHSRange = FoundLHSRange.add(ConstantRange(*Addend)); in isImpliedCondOperandsViaRanges()
12047 const SCEV *SCEVAddRecExpr::getNumIterationsInRange(const ConstantRange &Range, in getNumIterationsInRange()
13965 ConstantRange::makeExactICmpRegion(Predicate, C2->getAPInt()) in applyLoopGuards()