Lines Matching refs:ConstantRange
1635 ConstantRange CR = getUnsignedRange(X); in getZeroExtendExpr()
1946 ConstantRange CR = getSignedRange(X); in getSignExtendExpr()
2343 auto NSWRegion = ConstantRange::makeGuaranteedNoWrapRegion( in StrengthenNoWrapFlags()
2351 auto NUWRegion = ConstantRange::makeGuaranteedNoWrapRegion( in StrengthenNoWrapFlags()
4426 ConstantRange AddRecRange = getSignedRange(AR); in proveNoWrapViaConstantRanges()
4427 ConstantRange IncRange = getSignedRange(AR->getStepRecurrence(*this)); in proveNoWrapViaConstantRanges()
4429 auto NSWRegion = ConstantRange::makeGuaranteedNoWrapRegion( in proveNoWrapViaConstantRanges()
4436 ConstantRange AddRecRange = getUnsignedRange(AR); in proveNoWrapViaConstantRanges()
4437 ConstantRange IncRange = getUnsignedRange(AR->getStepRecurrence(*this)); in proveNoWrapViaConstantRanges()
4439 auto NUWRegion = ConstantRange::makeGuaranteedNoWrapRegion( in proveNoWrapViaConstantRanges()
5537 static Optional<ConstantRange> GetRangeFromMetadata(Value *V) { in GetRangeFromMetadata()
5548 const ConstantRange &
5551 DenseMap<const SCEV *, ConstantRange> &Cache = in getRangeRef()
5556 DenseMap<const SCEV *, ConstantRange>::iterator I = Cache.find(S); in getRangeRef()
5561 return setRange(C, SignHint, ConstantRange(C->getAPInt())); in getRangeRef()
5564 ConstantRange ConservativeResult(BitWidth, /*isFullSet=*/true); in getRangeRef()
5572 ConstantRange(APInt::getMinValue(BitWidth), in getRangeRef()
5575 ConservativeResult = ConstantRange( in getRangeRef()
5581 ConstantRange X = getRangeRef(Add->getOperand(0), SignHint); in getRangeRef()
5588 ConstantRange X = getRangeRef(Mul->getOperand(0), SignHint); in getRangeRef()
5595 ConstantRange X = getRangeRef(SMax->getOperand(0), SignHint); in getRangeRef()
5602 ConstantRange X = getRangeRef(UMax->getOperand(0), SignHint); in getRangeRef()
5609 ConstantRange X = getRangeRef(UDiv->getLHS(), SignHint); in getRangeRef()
5610 ConstantRange Y = getRangeRef(UDiv->getRHS(), SignHint); in getRangeRef()
5616 ConstantRange X = getRangeRef(ZExt->getOperand(), SignHint); in getRangeRef()
5622 ConstantRange X = getRangeRef(SExt->getOperand(), SignHint); in getRangeRef()
5628 ConstantRange X = getRangeRef(Trunc->getOperand(), SignHint); in getRangeRef()
5640 ConstantRange(C->getAPInt(), APInt(BitWidth, 0))); in getRangeRef()
5653 ConstantRange(APInt(BitWidth, 0), in getRangeRef()
5657 ConstantRange(APInt::getSignedMinValue(BitWidth), in getRangeRef()
5687 Optional<ConstantRange> MDRange = GetRangeFromMetadata(U->getValue()); in getRangeRef()
5700 ConservativeResult.intersectWith(ConstantRange(Known.One, in getRangeRef()
5708 ConstantRange(APInt::getSignedMinValue(BitWidth).ashr(NS - 1), in getRangeRef()
5716 ConstantRange RangeFromOps(BitWidth, /*isFullSet=*/false); in getRangeRef()
5741 static ConstantRange getRangeForAffineARHelper(APInt Step, in getRangeForAffineARHelper()
5742 const ConstantRange &StartRange, in getRangeForAffineARHelper()
5754 return ConstantRange(BitWidth, /* isFullSet = */ true); in getRangeForAffineARHelper()
5770 return ConstantRange(BitWidth, /* isFullSet = */ true); in getRangeForAffineARHelper()
5789 return ConstantRange(BitWidth, /* isFullSet = */ true); in getRangeForAffineARHelper()
5799 return ConstantRange(BitWidth, /* isFullSet = */ true); in getRangeForAffineARHelper()
5802 return ConstantRange(std::move(NewLower), std::move(NewUpper)); in getRangeForAffineARHelper()
5805 ConstantRange ScalarEvolution::getRangeForAffineAR(const SCEV *Start, in getRangeForAffineAR()
5817 ConstantRange StartSRange = getSignedRange(Start); in getRangeForAffineAR()
5818 ConstantRange StepSRange = getSignedRange(Step); in getRangeForAffineAR()
5822 ConstantRange SR = in getRangeForAffineAR()
5830 ConstantRange UR = getRangeForAffineARHelper( in getRangeForAffineAR()
5838 ConstantRange ScalarEvolution::getRangeViaFactoring(const SCEV *Start, in getRangeViaFactoring()
5919 return ConstantRange(BitWidth, /* isFullSet = */ true); in getRangeViaFactoring()
5923 return ConstantRange(BitWidth, /* isFullSet = */ true); in getRangeViaFactoring()
5929 return ConstantRange(BitWidth, /* isFullSet = */ true); in getRangeViaFactoring()
5945 ConstantRange TrueRange = in getRangeViaFactoring()
5947 ConstantRange FalseRange = in getRangeViaFactoring()
7342 ConstantRange CompRange = in computeExitLimitFromICmp()
7343 ConstantRange::makeExactICmpRegion(Pred, RHSC->getAPInt()); in computeExitLimitFromICmp()
8495 const ConstantRange &Range, ScalarEvolution &SE) { in SolveQuadraticAddRecRange()
8719 ConstantRange CR = getUnsignedRange(DistancePlusOne); in howFarToZero()
8866 ConstantRange ExactCR = ConstantRange::makeExactICmpRegion(Pred, RA); in SimplifyICmpOperands()
9251 [&](const ConstantRange &RangeLHS, const ConstantRange &RangeRHS) { in isKnownPredicateViaConstantRanges()
9252 return ConstantRange::makeSatisfyingICmpRegion(Pred, RangeRHS) in isKnownPredicateViaConstantRanges()
10372 ConstantRange FoundLHSRange = in isImpliedCondOperandsViaRanges()
10373 ConstantRange::makeAllowedICmpRegion(Pred, ConstFoundRHS); in isImpliedCondOperandsViaRanges()
10376 ConstantRange LHSRange = FoundLHSRange.add(ConstantRange(*Addend)); in isImpliedCondOperandsViaRanges()
10381 ConstantRange SatisfyingLHSRange = in isImpliedCondOperandsViaRanges()
10382 ConstantRange::makeSatisfyingICmpRegion(Pred, ConstRHS); in isImpliedCondOperandsViaRanges()
10708 const SCEV *SCEVAddRecExpr::getNumIterationsInRange(const ConstantRange &Range, in getNumIterationsInRange()