Lines Matching refs:ConstantRange
1604 ConstantRange CR = getUnsignedRange(X); in getZeroExtendExprImpl()
1945 ConstantRange CR = getSignedRange(X); in getSignExtendExprImpl()
2469 auto NSWRegion = ConstantRange::makeGuaranteedNoWrapRegion( in StrengthenNoWrapFlags()
2477 auto NUWRegion = ConstantRange::makeGuaranteedNoWrapRegion( in StrengthenNoWrapFlags()
3286 ConstantRange NSWRegion = ConstantRange::makeGuaranteedNoWrapRegion( in getMulExpr()
5090 ConstantRange StepCR = getSignedRange(AR->getStepRecurrence(*this)); in proveNoWrapViaConstantRanges()
5100 ConstantRange AddRecRange = getSignedRange(AR); in proveNoWrapViaConstantRanges()
5101 ConstantRange IncRange = getSignedRange(AR->getStepRecurrence(*this)); in proveNoWrapViaConstantRanges()
5103 auto NSWRegion = ConstantRange::makeGuaranteedNoWrapRegion( in proveNoWrapViaConstantRanges()
5110 ConstantRange AddRecRange = getUnsignedRange(AR); in proveNoWrapViaConstantRanges()
5111 ConstantRange IncRange = getUnsignedRange(AR->getStepRecurrence(*this)); in proveNoWrapViaConstantRanges()
5113 auto NUWRegion = ConstantRange::makeGuaranteedNoWrapRegion( in proveNoWrapViaConstantRanges()
6382 static std::optional<ConstantRange> GetRangeFromMetadata(Value *V) { in GetRangeFromMetadata()
6400 ConstantRange ScalarEvolution::
6405 const ConstantRange FullSet(BitWidth, /*isFullSet=*/true); in getRangeForUnknownRecurrence()
6487 return ConstantRange::getNonEmpty(KnownEnd.getMinValue(), in getRangeForUnknownRecurrence()
6491 return ConstantRange::getNonEmpty(KnownStart.getMinValue(), in getRangeForUnknownRecurrence()
6503 return ConstantRange::getNonEmpty(KnownEnd.getMinValue(), in getRangeForUnknownRecurrence()
6511 return ConstantRange(KnownStart.getMinValue(), in getRangeForUnknownRecurrence()
6519 const ConstantRange &
6522 DenseMap<const SCEV *, ConstantRange> &Cache = in getRangeRefIter()
6601 const ConstantRange &ScalarEvolution::getRangeRef( in getRangeRef()
6603 DenseMap<const SCEV *, ConstantRange> &Cache = in getRangeRef()
6606 ConstantRange::PreferredRangeType RangeType = in getRangeRef()
6607 SignHint == ScalarEvolution::HINT_RANGE_UNSIGNED ? ConstantRange::Unsigned in getRangeRef()
6608 : ConstantRange::Signed; in getRangeRef()
6611 DenseMap<const SCEV *, ConstantRange>::iterator I = Cache.find(S); in getRangeRef()
6616 return setRange(C, SignHint, ConstantRange(C->getAPInt())); in getRangeRef()
6624 ConstantRange ConservativeResult(BitWidth, /*isFullSet=*/true); in getRangeRef()
6634 ConstantRange(APInt::getMinValue(BitWidth), in getRangeRef()
6640 ConservativeResult = ConstantRange( in getRangeRef()
6653 ConstantRange X = getRangeRef(Trunc->getOperand(), SignHint, Depth + 1); in getRangeRef()
6660 ConstantRange X = getRangeRef(ZExt->getOperand(), SignHint, Depth + 1); in getRangeRef()
6667 ConstantRange X = getRangeRef(SExt->getOperand(), SignHint, Depth + 1); in getRangeRef()
6674 ConstantRange X = getRangeRef(PtrToInt->getOperand(), SignHint, Depth + 1); in getRangeRef()
6679 ConstantRange X = getRangeRef(Add->getOperand(0), SignHint, Depth + 1); in getRangeRef()
6693 ConstantRange X = getRangeRef(Mul->getOperand(0), SignHint, Depth + 1); in getRangeRef()
6701 ConstantRange X = getRangeRef(UDiv->getLHS(), SignHint, Depth + 1); in getRangeRef()
6702 ConstantRange Y = getRangeRef(UDiv->getRHS(), SignHint, Depth + 1); in getRangeRef()
6714 ConstantRange(UnsignedMinValue, APInt(BitWidth, 0)), RangeType); in getRangeRef()
6733 ConstantRange::getNonEmpty(getSignedRangeMin(AddRec->getStart()), in getRangeRef()
6738 ConstantRange::getNonEmpty(APInt::getSignedMinValue(BitWidth), in getRangeRef()
6814 ConstantRange X = getRangeRef(NAry->getOperand(0), SignHint, Depth + 1); in getRangeRef()
6826 std::optional<ConstantRange> MDRange = GetRangeFromMetadata(V); in getRangeRef()
6865 ConstantRange(Known.getMinValue(), Known.getMaxValue() + 1), in getRangeRef()
6869 ConstantRange(APInt::getSignedMinValue(BitWidth).ashr(NS - 1), in getRangeRef()
6897 ConstantRange::getNonEmpty(MinVal, MaxVal + 1), RangeType); in getRangeRef()
6905 ConstantRange RangeFromOps(BitWidth, /*isFullSet=*/false); in getRangeRef()
6925 ConstantRange Disallowed = APInt::getZero(BitWidth); in getRangeRef()
6942 static ConstantRange getRangeForAffineARHelper(APInt Step, in getRangeForAffineARHelper()
6943 const ConstantRange &StartRange, in getRangeForAffineARHelper()
6958 return ConstantRange::getFull(BitWidth); in getRangeForAffineARHelper()
6974 return ConstantRange::getFull(BitWidth); in getRangeForAffineARHelper()
6993 return ConstantRange::getFull(BitWidth); in getRangeForAffineARHelper()
7002 return ConstantRange::getNonEmpty(std::move(NewLower), std::move(NewUpper)); in getRangeForAffineARHelper()
7005 ConstantRange ScalarEvolution::getRangeForAffineAR(const SCEV *Start, in getRangeForAffineAR()
7014 ConstantRange StartSRange = getSignedRange(Start); in getRangeForAffineAR()
7015 ConstantRange StepSRange = getSignedRange(Step); in getRangeForAffineAR()
7019 ConstantRange SR = getRangeForAffineARHelper( in getRangeForAffineAR()
7026 ConstantRange UR = getRangeForAffineARHelper( in getRangeForAffineAR()
7031 return SR.intersectWith(UR, ConstantRange::Smallest); in getRangeForAffineAR()
7034 ConstantRange ScalarEvolution::getRangeForAffineNoSelfWrappingAR( in getRangeForAffineNoSelfWrappingAR()
7044 return ConstantRange::getFull(BitWidth); in getRangeForAffineNoSelfWrappingAR()
7052 return ConstantRange::getFull(BitWidth); in getRangeForAffineNoSelfWrappingAR()
7059 return ConstantRange::getFull(BitWidth); in getRangeForAffineNoSelfWrappingAR()
7080 ConstantRange StartRange = getRangeRef(Start, SignHint); in getRangeForAffineNoSelfWrappingAR()
7081 ConstantRange EndRange = getRangeRef(End, SignHint); in getRangeForAffineNoSelfWrappingAR()
7082 ConstantRange RangeBetween = StartRange.unionWith(EndRange); in getRangeForAffineNoSelfWrappingAR()
7091 return ConstantRange::getFull(BitWidth); in getRangeForAffineNoSelfWrappingAR()
7099 return ConstantRange::getFull(BitWidth); in getRangeForAffineNoSelfWrappingAR()
7102 ConstantRange ScalarEvolution::getRangeViaFactoring(const SCEV *Start, in getRangeViaFactoring()
7187 return ConstantRange::getFull(BitWidth); in getRangeViaFactoring()
7191 return ConstantRange::getFull(BitWidth); in getRangeViaFactoring()
7197 return ConstantRange::getFull(BitWidth); in getRangeViaFactoring()
7213 ConstantRange TrueRange = in getRangeViaFactoring()
7215 ConstantRange FalseRange = in getRangeViaFactoring()
8148 ConstantRange ExitCountRange = in getTripCountFromExitCount()
8964 ConstantRange NWR = in computeExitLimitFromCondImpl()
8965 ConstantRange::makeExactNoWrapRegion(WO->getBinaryOp(), *C, in computeExitLimitFromCondImpl()
9121 ConstantRange CompRange = in computeExitLimitFromICmp()
9122 ConstantRange::makeExactICmpRegion(Pred, RHSC->getAPInt()); in computeExitLimitFromICmp()
10241 const ConstantRange &Range, ScalarEvolution &SE) { in SolveQuadraticAddRecRange()
10468 ConstantRange CR = getUnsignedRange(DistancePlusOne); in howFarToZero()
10624 ConstantRange ExactCR = ConstantRange::makeExactICmpRegion(Pred, RA); in SimplifyICmpOperands()
11154 auto CheckRanges = [&](const ConstantRange &RangeLHS, in isKnownPredicateViaConstantRanges()
11155 const ConstantRange &RangeRHS) { in isKnownPredicateViaConstantRanges()
12576 ConstantRange FoundLHSRange = in isImpliedCondOperandsViaRanges()
12577 ConstantRange::makeExactICmpRegion(FoundPred, ConstFoundRHS); in isImpliedCondOperandsViaRanges()
12580 ConstantRange LHSRange = FoundLHSRange.add(ConstantRange(*Addend)); in isImpliedCondOperandsViaRanges()
13229 const SCEV *SCEVAddRecExpr::getNumIterationsInRange(const ConstantRange &Range, in getNumIterationsInRange()
15038 ConstantRange::makeExactICmpRegion(Predicate, C2->getAPInt()) in applyLoopGuards()