Lines Matching refs:ConstantRange
1606 ConstantRange CR = getUnsignedRange(X); in getZeroExtendExprImpl()
1947 ConstantRange CR = getSignedRange(X); in getSignExtendExprImpl()
2471 auto NSWRegion = ConstantRange::makeGuaranteedNoWrapRegion( in StrengthenNoWrapFlags()
2479 auto NUWRegion = ConstantRange::makeGuaranteedNoWrapRegion( in StrengthenNoWrapFlags()
3288 ConstantRange NSWRegion = ConstantRange::makeGuaranteedNoWrapRegion( in getMulExpr()
5095 ConstantRange StepCR = getSignedRange(AR->getStepRecurrence(*this)); in proveNoWrapViaConstantRanges()
5105 ConstantRange AddRecRange = getSignedRange(AR); in proveNoWrapViaConstantRanges()
5106 ConstantRange IncRange = getSignedRange(AR->getStepRecurrence(*this)); in proveNoWrapViaConstantRanges()
5108 auto NSWRegion = ConstantRange::makeGuaranteedNoWrapRegion( in proveNoWrapViaConstantRanges()
5115 ConstantRange AddRecRange = getUnsignedRange(AR); in proveNoWrapViaConstantRanges()
5116 ConstantRange IncRange = getUnsignedRange(AR->getStepRecurrence(*this)); in proveNoWrapViaConstantRanges()
5118 auto NUWRegion = ConstantRange::makeGuaranteedNoWrapRegion( in proveNoWrapViaConstantRanges()
6391 static std::optional<ConstantRange> GetRangeFromMetadata(Value *V) { in GetRangeFromMetadata()
6396 if (std::optional<ConstantRange> Range = CB->getRange()) in GetRangeFromMetadata()
6400 if (std::optional<ConstantRange> Range = A->getRange()) in GetRangeFromMetadata()
6416 ConstantRange ScalarEvolution::
6421 const ConstantRange FullSet(BitWidth, /*isFullSet=*/true); in getRangeForUnknownRecurrence()
6503 return ConstantRange::getNonEmpty(KnownEnd.getMinValue(), in getRangeForUnknownRecurrence()
6507 return ConstantRange::getNonEmpty(KnownStart.getMinValue(), in getRangeForUnknownRecurrence()
6519 return ConstantRange::getNonEmpty(KnownEnd.getMinValue(), in getRangeForUnknownRecurrence()
6527 return ConstantRange(KnownStart.getMinValue(), in getRangeForUnknownRecurrence()
6535 const ConstantRange &
6538 DenseMap<const SCEV *, ConstantRange> &Cache = in getRangeRefIter()
6617 const ConstantRange &ScalarEvolution::getRangeRef( in getRangeRef()
6619 DenseMap<const SCEV *, ConstantRange> &Cache = in getRangeRef()
6622 ConstantRange::PreferredRangeType RangeType = in getRangeRef()
6623 SignHint == ScalarEvolution::HINT_RANGE_UNSIGNED ? ConstantRange::Unsigned in getRangeRef()
6624 : ConstantRange::Signed; in getRangeRef()
6627 DenseMap<const SCEV *, ConstantRange>::iterator I = Cache.find(S); in getRangeRef()
6632 return setRange(C, SignHint, ConstantRange(C->getAPInt())); in getRangeRef()
6640 ConstantRange ConservativeResult(BitWidth, /*isFullSet=*/true); in getRangeRef()
6650 ConstantRange(APInt::getMinValue(BitWidth), in getRangeRef()
6656 ConservativeResult = ConstantRange( in getRangeRef()
6669 ConstantRange X = getRangeRef(Trunc->getOperand(), SignHint, Depth + 1); in getRangeRef()
6676 ConstantRange X = getRangeRef(ZExt->getOperand(), SignHint, Depth + 1); in getRangeRef()
6683 ConstantRange X = getRangeRef(SExt->getOperand(), SignHint, Depth + 1); in getRangeRef()
6690 ConstantRange X = getRangeRef(PtrToInt->getOperand(), SignHint, Depth + 1); in getRangeRef()
6695 ConstantRange X = getRangeRef(Add->getOperand(0), SignHint, Depth + 1); in getRangeRef()
6709 ConstantRange X = getRangeRef(Mul->getOperand(0), SignHint, Depth + 1); in getRangeRef()
6717 ConstantRange X = getRangeRef(UDiv->getLHS(), SignHint, Depth + 1); in getRangeRef()
6718 ConstantRange Y = getRangeRef(UDiv->getRHS(), SignHint, Depth + 1); in getRangeRef()
6730 ConstantRange(UnsignedMinValue, APInt(BitWidth, 0)), RangeType); in getRangeRef()
6749 ConstantRange::getNonEmpty(getSignedRangeMin(AddRec->getStart()), in getRangeRef()
6754 ConstantRange::getNonEmpty(APInt::getSignedMinValue(BitWidth), in getRangeRef()
6830 ConstantRange X = getRangeRef(NAry->getOperand(0), SignHint, Depth + 1); in getRangeRef()
6842 std::optional<ConstantRange> MDRange = GetRangeFromMetadata(V); in getRangeRef()
6881 ConstantRange(Known.getMinValue(), Known.getMaxValue() + 1), in getRangeRef()
6885 ConstantRange(APInt::getSignedMinValue(BitWidth).ashr(NS - 1), in getRangeRef()
6913 ConstantRange::getNonEmpty(MinVal, MaxVal + 1), RangeType); in getRangeRef()
6921 ConstantRange RangeFromOps(BitWidth, /*isFullSet=*/false); in getRangeRef()
6941 ConstantRange Disallowed = APInt::getZero(BitWidth); in getRangeRef()
6958 static ConstantRange getRangeForAffineARHelper(APInt Step, in getRangeForAffineARHelper()
6959 const ConstantRange &StartRange, in getRangeForAffineARHelper()
6974 return ConstantRange::getFull(BitWidth); in getRangeForAffineARHelper()
6990 return ConstantRange::getFull(BitWidth); in getRangeForAffineARHelper()
7009 return ConstantRange::getFull(BitWidth); in getRangeForAffineARHelper()
7018 return ConstantRange::getNonEmpty(std::move(NewLower), std::move(NewUpper)); in getRangeForAffineARHelper()
7021 ConstantRange ScalarEvolution::getRangeForAffineAR(const SCEV *Start, in getRangeForAffineAR()
7030 ConstantRange StartSRange = getSignedRange(Start); in getRangeForAffineAR()
7031 ConstantRange StepSRange = getSignedRange(Step); in getRangeForAffineAR()
7035 ConstantRange SR = getRangeForAffineARHelper( in getRangeForAffineAR()
7042 ConstantRange UR = getRangeForAffineARHelper( in getRangeForAffineAR()
7047 return SR.intersectWith(UR, ConstantRange::Smallest); in getRangeForAffineAR()
7050 ConstantRange ScalarEvolution::getRangeForAffineNoSelfWrappingAR( in getRangeForAffineNoSelfWrappingAR()
7060 return ConstantRange::getFull(BitWidth); in getRangeForAffineNoSelfWrappingAR()
7068 return ConstantRange::getFull(BitWidth); in getRangeForAffineNoSelfWrappingAR()
7075 return ConstantRange::getFull(BitWidth); in getRangeForAffineNoSelfWrappingAR()
7096 ConstantRange StartRange = getRangeRef(Start, SignHint); in getRangeForAffineNoSelfWrappingAR()
7097 ConstantRange EndRange = getRangeRef(End, SignHint); in getRangeForAffineNoSelfWrappingAR()
7098 ConstantRange RangeBetween = StartRange.unionWith(EndRange); in getRangeForAffineNoSelfWrappingAR()
7107 return ConstantRange::getFull(BitWidth); in getRangeForAffineNoSelfWrappingAR()
7115 return ConstantRange::getFull(BitWidth); in getRangeForAffineNoSelfWrappingAR()
7118 ConstantRange ScalarEvolution::getRangeViaFactoring(const SCEV *Start, in getRangeViaFactoring()
7203 return ConstantRange::getFull(BitWidth); in getRangeViaFactoring()
7207 return ConstantRange::getFull(BitWidth); in getRangeViaFactoring()
7213 return ConstantRange::getFull(BitWidth); in getRangeViaFactoring()
7229 ConstantRange TrueRange = in getRangeViaFactoring()
7231 ConstantRange FalseRange = in getRangeViaFactoring()
8164 ConstantRange ExitCountRange = in getTripCountFromExitCount()
9008 ConstantRange NWR = in computeExitLimitFromCondImpl()
9009 ConstantRange::makeExactNoWrapRegion(WO->getBinaryOp(), *C, in computeExitLimitFromCondImpl()
9165 ConstantRange CompRange = in computeExitLimitFromICmp()
9166 ConstantRange::makeExactICmpRegion(Pred, RHSC->getAPInt()); in computeExitLimitFromICmp()
10302 const ConstantRange &Range, ScalarEvolution &SE) { in SolveQuadraticAddRecRange()
10530 ConstantRange CR = getUnsignedRange(DistancePlusOne); in howFarToZero()
10712 ConstantRange ExactCR = ConstantRange::makeExactICmpRegion(Pred, RA); in SimplifyICmpOperands()
11232 auto CheckRanges = [&](const ConstantRange &RangeLHS, in isKnownPredicateViaConstantRanges()
11233 const ConstantRange &RangeRHS) { in isKnownPredicateViaConstantRanges()
12654 ConstantRange FoundLHSRange = in isImpliedCondOperandsViaRanges()
12655 ConstantRange::makeExactICmpRegion(FoundPred, ConstFoundRHS); in isImpliedCondOperandsViaRanges()
12658 ConstantRange LHSRange = FoundLHSRange.add(ConstantRange(*Addend)); in isImpliedCondOperandsViaRanges()
13355 const SCEV *SCEVAddRecExpr::getNumIterationsInRange(const ConstantRange &Range, in getNumIterationsInRange()
15127 ConstantRange::makeExactICmpRegion(Predicate, C2->getAPInt()) in collect()