Lines Matching refs:ConstantRange
1632 ConstantRange CR = getUnsignedRange(X); in getZeroExtendExpr()
1939 ConstantRange CR = getSignedRange(X); in getSignExtendExpr()
2415 auto NSWRegion = ConstantRange::makeGuaranteedNoWrapRegion( in StrengthenNoWrapFlags()
2423 auto NUWRegion = ConstantRange::makeGuaranteedNoWrapRegion( in StrengthenNoWrapFlags()
4929 ConstantRange AddRecRange = getSignedRange(AR); in proveNoWrapViaConstantRanges()
4930 ConstantRange IncRange = getSignedRange(AR->getStepRecurrence(*this)); in proveNoWrapViaConstantRanges()
4932 auto NSWRegion = ConstantRange::makeGuaranteedNoWrapRegion( in proveNoWrapViaConstantRanges()
4939 ConstantRange AddRecRange = getUnsignedRange(AR); in proveNoWrapViaConstantRanges()
4940 ConstantRange IncRange = getUnsignedRange(AR->getStepRecurrence(*this)); in proveNoWrapViaConstantRanges()
4942 auto NUWRegion = ConstantRange::makeGuaranteedNoWrapRegion( in proveNoWrapViaConstantRanges()
6258 static Optional<ConstantRange> GetRangeFromMetadata(Value *V) { in GetRangeFromMetadata()
6275 ConstantRange ScalarEvolution::
6280 const ConstantRange FullSet(BitWidth, /*isFullSet=*/true); in getRangeForUnknownRecurrence()
6362 return ConstantRange::getNonEmpty(KnownEnd.getMinValue(), in getRangeForUnknownRecurrence()
6366 return ConstantRange::getNonEmpty(KnownStart.getMinValue(), in getRangeForUnknownRecurrence()
6378 return ConstantRange::getNonEmpty(KnownEnd.getMinValue(), in getRangeForUnknownRecurrence()
6386 return ConstantRange(KnownStart.getMinValue(), in getRangeForUnknownRecurrence()
6397 const ConstantRange &
6400 DenseMap<const SCEV *, ConstantRange> &Cache = in getRangeRef()
6403 ConstantRange::PreferredRangeType RangeType = in getRangeRef()
6405 ? ConstantRange::Unsigned : ConstantRange::Signed; in getRangeRef()
6408 DenseMap<const SCEV *, ConstantRange>::iterator I = Cache.find(S); in getRangeRef()
6413 return setRange(C, SignHint, ConstantRange(C->getAPInt())); in getRangeRef()
6416 ConstantRange ConservativeResult(BitWidth, /*isFullSet=*/true); in getRangeRef()
6425 ConstantRange(APInt::getMinValue(BitWidth), in getRangeRef()
6428 ConservativeResult = ConstantRange( in getRangeRef()
6434 ConstantRange X = getRangeRef(Add->getOperand(0), SignHint); in getRangeRef()
6448 ConstantRange X = getRangeRef(Mul->getOperand(0), SignHint); in getRangeRef()
6476 ConstantRange X = getRangeRef(NAry->getOperand(0), SignHint); in getRangeRef()
6484 ConstantRange X = getRangeRef(UDiv->getLHS(), SignHint); in getRangeRef()
6485 ConstantRange Y = getRangeRef(UDiv->getRHS(), SignHint); in getRangeRef()
6491 ConstantRange X = getRangeRef(ZExt->getOperand(), SignHint); in getRangeRef()
6498 ConstantRange X = getRangeRef(SExt->getOperand(), SignHint); in getRangeRef()
6505 ConstantRange X = getRangeRef(PtrToInt->getOperand(), SignHint); in getRangeRef()
6510 ConstantRange X = getRangeRef(Trunc->getOperand(), SignHint); in getRangeRef()
6523 ConstantRange(UnsignedMinValue, APInt(BitWidth, 0)), RangeType); in getRangeRef()
6542 ConstantRange::getNonEmpty(getSignedRangeMin(AddRec->getStart()), in getRangeRef()
6547 ConstantRange::getNonEmpty( in getRangeRef()
6592 Optional<ConstantRange> MDRange = GetRangeFromMetadata(U->getValue()); in getRangeRef()
6631 ConstantRange(Known.getMinValue(), Known.getMaxValue() + 1), in getRangeRef()
6635 ConstantRange(APInt::getSignedMinValue(BitWidth).ashr(NS - 1), in getRangeRef()
6643 ConstantRange RangeFromOps(BitWidth, /*isFullSet=*/false); in getRangeRef()
6662 ConstantRange Disallowed = APInt::getZero(BitWidth); in getRangeRef()
6676 static ConstantRange getRangeForAffineARHelper(APInt Step, in getRangeForAffineARHelper()
6677 const ConstantRange &StartRange, in getRangeForAffineARHelper()
6689 return ConstantRange::getFull(BitWidth); in getRangeForAffineARHelper()
6705 return ConstantRange::getFull(BitWidth); in getRangeForAffineARHelper()
6724 return ConstantRange::getFull(BitWidth); in getRangeForAffineARHelper()
6733 return ConstantRange::getNonEmpty(std::move(NewLower), std::move(NewUpper)); in getRangeForAffineARHelper()
6736 ConstantRange ScalarEvolution::getRangeForAffineAR(const SCEV *Start, in getRangeForAffineAR()
6748 ConstantRange StartSRange = getSignedRange(Start); in getRangeForAffineAR()
6749 ConstantRange StepSRange = getSignedRange(Step); in getRangeForAffineAR()
6753 ConstantRange SR = in getRangeForAffineAR()
6761 ConstantRange UR = getRangeForAffineARHelper( in getRangeForAffineAR()
6766 return SR.intersectWith(UR, ConstantRange::Smallest); in getRangeForAffineAR()
6769 ConstantRange ScalarEvolution::getRangeForAffineNoSelfWrappingAR( in getRangeForAffineNoSelfWrappingAR()
6779 return ConstantRange::getFull(BitWidth); in getRangeForAffineNoSelfWrappingAR()
6787 return ConstantRange::getFull(BitWidth); in getRangeForAffineNoSelfWrappingAR()
6794 return ConstantRange::getFull(BitWidth); in getRangeForAffineNoSelfWrappingAR()
6815 ConstantRange StartRange = getRangeRef(Start, SignHint); in getRangeForAffineNoSelfWrappingAR()
6816 ConstantRange EndRange = getRangeRef(End, SignHint); in getRangeForAffineNoSelfWrappingAR()
6817 ConstantRange RangeBetween = StartRange.unionWith(EndRange); in getRangeForAffineNoSelfWrappingAR()
6826 return ConstantRange::getFull(BitWidth); in getRangeForAffineNoSelfWrappingAR()
6834 return ConstantRange::getFull(BitWidth); in getRangeForAffineNoSelfWrappingAR()
6837 ConstantRange ScalarEvolution::getRangeViaFactoring(const SCEV *Start, in getRangeViaFactoring()
6918 return ConstantRange::getFull(BitWidth); in getRangeViaFactoring()
6922 return ConstantRange::getFull(BitWidth); in getRangeViaFactoring()
6928 return ConstantRange::getFull(BitWidth); in getRangeViaFactoring()
6944 ConstantRange TrueRange = in getRangeViaFactoring()
6946 ConstantRange FalseRange = in getRangeViaFactoring()
8743 ConstantRange NWR = in computeExitLimitFromCondImpl()
8744 ConstantRange::makeExactNoWrapRegion(WO->getBinaryOp(), *C, in computeExitLimitFromCondImpl()
8894 ConstantRange CompRange = in computeExitLimitFromICmp()
8895 ConstantRange::makeExactICmpRegion(Pred, RHSC->getAPInt()); in computeExitLimitFromICmp()
9992 const ConstantRange &Range, ScalarEvolution &SE) { in SolveQuadraticAddRecRange()
10217 ConstantRange CR = getUnsignedRange(DistancePlusOne); in howFarToZero()
10370 ConstantRange ExactCR = ConstantRange::makeExactICmpRegion(Pred, RA); in SimplifyICmpOperands()
10846 auto CheckRanges = [&](const ConstantRange &RangeLHS, in isKnownPredicateViaConstantRanges()
10847 const ConstantRange &RangeRHS) { in isKnownPredicateViaConstantRanges()
12264 ConstantRange FoundLHSRange = in isImpliedCondOperandsViaRanges()
12265 ConstantRange::makeExactICmpRegion(Pred, ConstFoundRHS); in isImpliedCondOperandsViaRanges()
12268 ConstantRange LHSRange = FoundLHSRange.add(ConstantRange(*Addend)); in isImpliedCondOperandsViaRanges()
12909 const SCEV *SCEVAddRecExpr::getNumIterationsInRange(const ConstantRange &Range, in getNumIterationsInRange()
14599 ConstantRange::makeExactICmpRegion(Predicate, C2->getAPInt()) in applyLoopGuards()