Lines Matching refs:ConstantRange

467     ConstantRange Range(Lower->getValue(), Upper->getValue());  in computeKnownBitsFromRangeMetadata()
584 ConstantRange TrueValues = ConstantRange::makeExactICmpRegion(Pred, *C); in cmpExcludesZero()
2237 ConstantRange Range(Lower->getValue(), Upper->getValue()); in rangeMetadataExcludesValue()
4673 static OverflowResult mapOverflowResult(ConstantRange::OverflowResult OR) { in mapOverflowResult()
4675 case ConstantRange::OverflowResult::MayOverflow: in mapOverflowResult()
4677 case ConstantRange::OverflowResult::AlwaysOverflowsLow: in mapOverflowResult()
4679 case ConstantRange::OverflowResult::AlwaysOverflowsHigh: in mapOverflowResult()
4681 case ConstantRange::OverflowResult::NeverOverflows: in mapOverflowResult()
4688 static ConstantRange computeConstantRangeIncludingKnownBits( in computeConstantRangeIncludingKnownBits()
4694 ConstantRange CR1 = ConstantRange::fromKnownBits(Known, ForSigned); in computeConstantRangeIncludingKnownBits()
4695 ConstantRange CR2 = computeConstantRange(V, UseInstrInfo); in computeConstantRangeIncludingKnownBits()
4696 ConstantRange::PreferredRangeType RangeType = in computeConstantRangeIncludingKnownBits()
4697 ForSigned ? ConstantRange::Signed : ConstantRange::Unsigned; in computeConstantRangeIncludingKnownBits()
4709 ConstantRange LHSRange = ConstantRange::fromKnownBits(LHSKnown, false); in computeOverflowForUnsignedMul()
4710 ConstantRange RHSRange = ConstantRange::fromKnownBits(RHSKnown, false); in computeOverflowForUnsignedMul()
4761 ConstantRange LHSRange = computeConstantRangeIncludingKnownBits( in computeOverflowForUnsignedAdd()
4764 ConstantRange RHSRange = computeConstantRangeIncludingKnownBits( in computeOverflowForUnsignedAdd()
4799 ConstantRange LHSRange = computeConstantRangeIncludingKnownBits( in computeOverflowForSignedAdd()
4801 ConstantRange RHSRange = computeConstantRangeIncludingKnownBits( in computeOverflowForSignedAdd()
4849 ConstantRange LHSRange = computeConstantRangeIncludingKnownBits( in computeOverflowForUnsignedSub()
4851 ConstantRange RHSRange = computeConstantRangeIncludingKnownBits( in computeOverflowForUnsignedSub()
4868 ConstantRange LHSRange = computeConstantRangeIncludingKnownBits( in computeOverflowForSignedSub()
4870 ConstantRange RHSRange = computeConstantRangeIncludingKnownBits( in computeOverflowForSignedSub()
6493 ConstantRange DomCR = in isImpliedCondMatchingImmOperands()
6494 ConstantRange::makeExactICmpRegion(APred, C1->getValue()); in isImpliedCondMatchingImmOperands()
6495 ConstantRange CR = ConstantRange::makeExactICmpRegion(BPred, C2->getValue()); in isImpliedCondMatchingImmOperands()
6496 ConstantRange Intersection = DomCR.intersectWith(CR); in isImpliedCondMatchingImmOperands()
6497 ConstantRange Difference = DomCR.difference(CR); in isImpliedCondMatchingImmOperands()
6999 ConstantRange llvm::computeConstantRange(const Value *V, bool UseInstrInfo, in computeConstantRange()
7006 return ConstantRange::getFull(V->getType()->getScalarSizeInBits()); in computeConstantRange()
7010 return ConstantRange(*C); in computeConstantRange()
7023 ConstantRange CR = ConstantRange::getNonEmpty(Lower, Upper); in computeConstantRange()
7047 ConstantRange RHS = computeConstantRange(Cmp->getOperand(1), UseInstrInfo, in computeConstantRange()
7050 ConstantRange::makeSatisfyingICmpRegion(Cmp->getPredicate(), RHS)); in computeConstantRange()