Lines Matching refs:ConstantRange
1435 ConstantRange CR = getUnsignedRange(X); in getZeroExtendExpr()
1635 ConstantRange CR = getSignedRange(X); in getSignExtendExpr()
2005 auto NSWRegion = ConstantRange::makeGuaranteedNoWrapRegion( in StrengthenNoWrapFlags()
2011 auto NUWRegion = ConstantRange::makeGuaranteedNoWrapRegion( in StrengthenNoWrapFlags()
3763 ConstantRange AddRecRange = getSignedRange(AR); in proveNoWrapViaConstantRanges()
3764 ConstantRange IncRange = getSignedRange(AR->getStepRecurrence(*this)); in proveNoWrapViaConstantRanges()
3766 auto NSWRegion = ConstantRange::makeGuaranteedNoWrapRegion( in proveNoWrapViaConstantRanges()
3773 ConstantRange AddRecRange = getUnsignedRange(AR); in proveNoWrapViaConstantRanges()
3774 ConstantRange IncRange = getUnsignedRange(AR->getStepRecurrence(*this)); in proveNoWrapViaConstantRanges()
3776 auto NUWRegion = ConstantRange::makeGuaranteedNoWrapRegion( in proveNoWrapViaConstantRanges()
4418 static Optional<ConstantRange> GetRangeFromMetadata(Value *V) { in GetRangeFromMetadata()
4429 ConstantRange
4432 DenseMap<const SCEV *, ConstantRange> &Cache = in getRange()
4437 DenseMap<const SCEV *, ConstantRange>::iterator I = Cache.find(S); in getRange()
4442 return setRange(C, SignHint, ConstantRange(C->getAPInt())); in getRange()
4445 ConstantRange ConservativeResult(BitWidth, /*isFullSet=*/true); in getRange()
4453 ConstantRange(APInt::getMinValue(BitWidth), in getRange()
4456 ConservativeResult = ConstantRange( in getRange()
4462 ConstantRange X = getRange(Add->getOperand(0), SignHint); in getRange()
4469 ConstantRange X = getRange(Mul->getOperand(0), SignHint); in getRange()
4476 ConstantRange X = getRange(SMax->getOperand(0), SignHint); in getRange()
4483 ConstantRange X = getRange(UMax->getOperand(0), SignHint); in getRange()
4490 ConstantRange X = getRange(UDiv->getLHS(), SignHint); in getRange()
4491 ConstantRange Y = getRange(UDiv->getRHS(), SignHint); in getRange()
4497 ConstantRange X = getRange(ZExt->getOperand(), SignHint); in getRange()
4503 ConstantRange X = getRange(SExt->getOperand(), SignHint); in getRange()
4509 ConstantRange X = getRange(Trunc->getOperand(), SignHint); in getRange()
4521 ConstantRange(C->getAPInt(), APInt(BitWidth, 0))); in getRange()
4534 ConstantRange(APInt(BitWidth, 0), in getRange()
4538 ConstantRange(APInt::getSignedMinValue(BitWidth), in getRange()
4568 Optional<ConstantRange> MDRange = GetRangeFromMetadata(U->getValue()); in getRange()
4582 ConservativeResult.intersectWith(ConstantRange(Ones, ~Zeros + 1)); in getRange()
4589 ConstantRange(APInt::getSignedMinValue(BitWidth).ashr(NS - 1), in getRange()
4599 ConstantRange ScalarEvolution::getRangeForAffineAR(const SCEV *Start, in getRangeForAffineAR()
4607 ConstantRange Result(BitWidth, /* isFullSet = */ true); in getRangeForAffineAR()
4614 ConstantRange MaxBECountRange = getUnsignedRange(MaxBECount); in getRangeForAffineAR()
4615 ConstantRange ZExtMaxBECountRange = in getRangeForAffineAR()
4618 ConstantRange StepSRange = getSignedRange(Step); in getRangeForAffineAR()
4619 ConstantRange SExtStepSRange = StepSRange.sextOrTrunc(BitWidth * 2 + 1); in getRangeForAffineAR()
4621 ConstantRange StartURange = getUnsignedRange(Start); in getRangeForAffineAR()
4622 ConstantRange EndURange = in getRangeForAffineAR()
4626 ConstantRange ZExtStartURange = StartURange.zextOrTrunc(BitWidth * 2 + 1); in getRangeForAffineAR()
4627 ConstantRange ZExtEndURange = EndURange.zextOrTrunc(BitWidth * 2 + 1); in getRangeForAffineAR()
4637 Result.intersectWith(ConstantRange(Min, Max + 1)); in getRangeForAffineAR()
4640 ConstantRange StartSRange = getSignedRange(Start); in getRangeForAffineAR()
4641 ConstantRange EndSRange = in getRangeForAffineAR()
4647 ConstantRange SExtStartSRange = StartSRange.sextOrTrunc(BitWidth * 2 + 1); in getRangeForAffineAR()
4648 ConstantRange SExtEndSRange = EndSRange.sextOrTrunc(BitWidth * 2 + 1); in getRangeForAffineAR()
4658 Result.intersectWith(ConstantRange(Min, Max + 1)); in getRangeForAffineAR()
4664 ConstantRange ScalarEvolution::getRangeViaFactoring(const SCEV *Start, in getRangeViaFactoring()
4745 return ConstantRange(BitWidth, /* isFullSet = */ true); in getRangeViaFactoring()
4749 return ConstantRange(BitWidth, /* isFullSet = */ true); in getRangeViaFactoring()
4755 return ConstantRange(BitWidth, /* isFullSet = */ true); in getRangeViaFactoring()
4771 ConstantRange TrueRange = in getRangeViaFactoring()
4773 ConstantRange FalseRange = in getRangeViaFactoring()
5978 ConstantRange CompRange( in computeExitLimitFromICmp()
7125 ConstantRange CR = getUnsignedRange(Start); in howFarToZero()
7750 [&](const ConstantRange &RangeLHS, const ConstantRange &RangeRHS) { in isKnownPredicateViaConstantRanges()
7751 return ConstantRange::makeSatisfyingICmpRegion(Pred, RangeRHS) in isKnownPredicateViaConstantRanges()
8558 ConstantRange FoundLHSRange = in isImpliedCondOperandsViaRanges()
8559 ConstantRange::makeAllowedICmpRegion(Pred, ConstFoundRHS); in isImpliedCondOperandsViaRanges()
8564 ConstantRange LHSRange = FoundLHSRange.add(ConstantRange(Addend)); in isImpliedCondOperandsViaRanges()
8569 ConstantRange SatisfyingLHSRange = in isImpliedCondOperandsViaRanges()
8570 ConstantRange::makeSatisfyingICmpRegion(Pred, ConstRHS); in isImpliedCondOperandsViaRanges()
8789 const SCEV *SCEVAddRecExpr::getNumIterationsInRange(const ConstantRange &Range, in getNumIterationsInRange()