LLVM
15.0.0git
|
This class represents a range of values. More...
#include "llvm/IR/ConstantRange.h"
Public Types | |
enum | PreferredRangeType { Smallest, Unsigned, Signed } |
If represented precisely, the result of some range operations may consist of multiple disjoint ranges. More... | |
enum | OverflowResult { OverflowResult::AlwaysOverflowsLow, OverflowResult::AlwaysOverflowsHigh, OverflowResult::MayOverflow, OverflowResult::NeverOverflows } |
Represents whether an operation on the given constant range is known to always or never overflow. More... | |
Public Member Functions | |
ConstantRange (uint32_t BitWidth, bool isFullSet) | |
Initialize a full or empty set for the specified bit width. More... | |
ConstantRange (APInt Value) | |
Initialize a range to hold the single specified value. More... | |
ConstantRange (APInt Lower, APInt Upper) | |
Initialize a range of values explicitly. More... | |
bool | icmp (CmpInst::Predicate Pred, const ConstantRange &Other) const |
Does the predicate Pred hold between ranges this and Other ? NOTE: false does not mean that inverse predicate holds! More... | |
bool | getEquivalentICmp (CmpInst::Predicate &Pred, APInt &RHS) const |
Set up Pred and RHS such that ConstantRange::makeExactICmpRegion(Pred, RHS) == *this. More... | |
void | getEquivalentICmp (CmpInst::Predicate &Pred, APInt &RHS, APInt &Offset) const |
Set up Pred , RHS and Offset such that (V + Offset) Pred RHS is true iff V is in the range. More... | |
const APInt & | getLower () const |
Return the lower value for this range. More... | |
const APInt & | getUpper () const |
Return the upper value for this range. More... | |
uint32_t | getBitWidth () const |
Get the bit width of this ConstantRange. More... | |
bool | isFullSet () const |
Return true if this set contains all of the elements possible for this data-type. More... | |
bool | isEmptySet () const |
Return true if this set contains no members. More... | |
bool | isWrappedSet () const |
Return true if this set wraps around the unsigned domain. More... | |
bool | isUpperWrapped () const |
Return true if the exclusive upper bound wraps around the unsigned domain. More... | |
bool | isSignWrappedSet () const |
Return true if this set wraps around the signed domain. More... | |
bool | isUpperSignWrapped () const |
Return true if the (exclusive) upper bound wraps around the signed domain. More... | |
bool | contains (const APInt &Val) const |
Return true if the specified value is in the set. More... | |
bool | contains (const ConstantRange &CR) const |
Return true if the other range is a subset of this one. More... | |
const APInt * | getSingleElement () const |
If this set contains a single element, return it, otherwise return null. More... | |
const APInt * | getSingleMissingElement () const |
If this set contains all but a single element, return it, otherwise return null. More... | |
bool | isSingleElement () const |
Return true if this set contains exactly one member. More... | |
bool | isSizeStrictlySmallerThan (const ConstantRange &CR) const |
Compare set size of this range with the range CR. More... | |
bool | isSizeLargerThan (uint64_t MaxSize) const |
Compare set size of this range with Value. More... | |
bool | isAllNegative () const |
Return true if all values in this range are negative. More... | |
bool | isAllNonNegative () const |
Return true if all values in this range are non-negative. More... | |
APInt | getUnsignedMax () const |
Return the largest unsigned value contained in the ConstantRange. More... | |
APInt | getUnsignedMin () const |
Return the smallest unsigned value contained in the ConstantRange. More... | |
APInt | getSignedMax () const |
Return the largest signed value contained in the ConstantRange. More... | |
APInt | getSignedMin () const |
Return the smallest signed value contained in the ConstantRange. More... | |
bool | operator== (const ConstantRange &CR) const |
Return true if this range is equal to another range. More... | |
bool | operator!= (const ConstantRange &CR) const |
unsigned | getActiveBits () const |
Compute the maximal number of active bits needed to represent every value in this range. More... | |
unsigned | getMinSignedBits () const |
Compute the maximal number of bits needed to represent every value in this signed range. More... | |
ConstantRange | subtract (const APInt &CI) const |
Subtract the specified constant from the endpoints of this constant range. More... | |
ConstantRange | difference (const ConstantRange &CR) const |
Subtract the specified range from this range (aka relative complement of the sets). More... | |
ConstantRange | intersectWith (const ConstantRange &CR, PreferredRangeType Type=Smallest) const |
Return the range that results from the intersection of this range with another range. More... | |
ConstantRange | unionWith (const ConstantRange &CR, PreferredRangeType Type=Smallest) const |
Return the range that results from the union of this range with another range. More... | |
Optional< ConstantRange > | exactIntersectWith (const ConstantRange &CR) const |
Intersect the two ranges and return the result if it can be represented exactly, otherwise return None. More... | |
Optional< ConstantRange > | exactUnionWith (const ConstantRange &CR) const |
Union the two ranges and return the result if it can be represented exactly, otherwise return None. More... | |
ConstantRange | castOp (Instruction::CastOps CastOp, uint32_t BitWidth) const |
Return a new range representing the possible values resulting from an application of the specified cast operator to this range. More... | |
ConstantRange | zeroExtend (uint32_t BitWidth) const |
Return a new range in the specified integer type, which must be strictly larger than the current type. More... | |
ConstantRange | signExtend (uint32_t BitWidth) const |
Return a new range in the specified integer type, which must be strictly larger than the current type. More... | |
ConstantRange | truncate (uint32_t BitWidth) const |
Return a new range in the specified integer type, which must be strictly smaller than the current type. More... | |
ConstantRange | zextOrTrunc (uint32_t BitWidth) const |
Make this range have the bit width given by BitWidth . More... | |
ConstantRange | sextOrTrunc (uint32_t BitWidth) const |
Make this range have the bit width given by BitWidth . More... | |
ConstantRange | binaryOp (Instruction::BinaryOps BinOp, const ConstantRange &Other) const |
Return a new range representing the possible values resulting from an application of the specified binary operator to an left hand side of this range and a right hand side of Other . More... | |
ConstantRange | overflowingBinaryOp (Instruction::BinaryOps BinOp, const ConstantRange &Other, unsigned NoWrapKind) const |
Return a new range representing the possible values resulting from an application of the specified overflowing binary operator to a left hand side of this range and a right hand side of Other given the provided knowledge about lack of wrapping NoWrapKind . More... | |
ConstantRange | add (const ConstantRange &Other) const |
Return a new range representing the possible values resulting from an addition of a value in this range and a value in Other . More... | |
ConstantRange | addWithNoWrap (const ConstantRange &Other, unsigned NoWrapKind, PreferredRangeType RangeType=Smallest) const |
Return a new range representing the possible values resulting from an addition with wrap type NoWrapKind of a value in this range and a value in Other . More... | |
ConstantRange | sub (const ConstantRange &Other) const |
Return a new range representing the possible values resulting from a subtraction of a value in this range and a value in Other . More... | |
ConstantRange | subWithNoWrap (const ConstantRange &Other, unsigned NoWrapKind, PreferredRangeType RangeType=Smallest) const |
Return a new range representing the possible values resulting from an subtraction with wrap type NoWrapKind of a value in this range and a value in Other . More... | |
ConstantRange | multiply (const ConstantRange &Other) const |
Return a new range representing the possible values resulting from a multiplication of a value in this range and a value in Other , treating both this and Other as unsigned ranges. More... | |
ConstantRange | smul_fast (const ConstantRange &Other) const |
Return range of possible values for a signed multiplication of this and Other . More... | |
ConstantRange | smax (const ConstantRange &Other) const |
Return a new range representing the possible values resulting from a signed maximum of a value in this range and a value in Other . More... | |
ConstantRange | umax (const ConstantRange &Other) const |
Return a new range representing the possible values resulting from an unsigned maximum of a value in this range and a value in Other . More... | |
ConstantRange | smin (const ConstantRange &Other) const |
Return a new range representing the possible values resulting from a signed minimum of a value in this range and a value in Other . More... | |
ConstantRange | umin (const ConstantRange &Other) const |
Return a new range representing the possible values resulting from an unsigned minimum of a value in this range and a value in Other . More... | |
ConstantRange | udiv (const ConstantRange &Other) const |
Return a new range representing the possible values resulting from an unsigned division of a value in this range and a value in Other . More... | |
ConstantRange | sdiv (const ConstantRange &Other) const |
Return a new range representing the possible values resulting from a signed division of a value in this range and a value in Other . More... | |
ConstantRange | urem (const ConstantRange &Other) const |
Return a new range representing the possible values resulting from an unsigned remainder operation of a value in this range and a value in Other . More... | |
ConstantRange | srem (const ConstantRange &Other) const |
Return a new range representing the possible values resulting from a signed remainder operation of a value in this range and a value in Other . More... | |
ConstantRange | binaryNot () const |
Return a new range representing the possible values resulting from a binary-xor of a value in this range by an all-one value, aka bitwise complement operation. More... | |
ConstantRange | binaryAnd (const ConstantRange &Other) const |
Return a new range representing the possible values resulting from a binary-and of a value in this range by a value in Other . More... | |
ConstantRange | binaryOr (const ConstantRange &Other) const |
Return a new range representing the possible values resulting from a binary-or of a value in this range by a value in Other . More... | |
ConstantRange | binaryXor (const ConstantRange &Other) const |
Return a new range representing the possible values resulting from a binary-xor of a value in this range by a value in Other . More... | |
ConstantRange | shl (const ConstantRange &Other) const |
Return a new range representing the possible values resulting from a left shift of a value in this range by a value in Other . More... | |
ConstantRange | lshr (const ConstantRange &Other) const |
Return a new range representing the possible values resulting from a logical right shift of a value in this range and a value in Other . More... | |
ConstantRange | ashr (const ConstantRange &Other) const |
Return a new range representing the possible values resulting from a arithmetic right shift of a value in this range and a value in Other . More... | |
ConstantRange | uadd_sat (const ConstantRange &Other) const |
Perform an unsigned saturating addition of two constant ranges. More... | |
ConstantRange | sadd_sat (const ConstantRange &Other) const |
Perform a signed saturating addition of two constant ranges. More... | |
ConstantRange | usub_sat (const ConstantRange &Other) const |
Perform an unsigned saturating subtraction of two constant ranges. More... | |
ConstantRange | ssub_sat (const ConstantRange &Other) const |
Perform a signed saturating subtraction of two constant ranges. More... | |
ConstantRange | umul_sat (const ConstantRange &Other) const |
Perform an unsigned saturating multiplication of two constant ranges. More... | |
ConstantRange | smul_sat (const ConstantRange &Other) const |
Perform a signed saturating multiplication of two constant ranges. More... | |
ConstantRange | ushl_sat (const ConstantRange &Other) const |
Perform an unsigned saturating left shift of this constant range by a value in Other . More... | |
ConstantRange | sshl_sat (const ConstantRange &Other) const |
Perform a signed saturating left shift of this constant range by a value in Other . More... | |
ConstantRange | inverse () const |
Return a new range that is the logical not of the current set. More... | |
ConstantRange | abs (bool IntMinIsPoison=false) const |
Calculate absolute value range. More... | |
OverflowResult | unsignedAddMayOverflow (const ConstantRange &Other) const |
Return whether unsigned add of the two ranges always/never overflows. More... | |
OverflowResult | signedAddMayOverflow (const ConstantRange &Other) const |
Return whether signed add of the two ranges always/never overflows. More... | |
OverflowResult | unsignedSubMayOverflow (const ConstantRange &Other) const |
Return whether unsigned sub of the two ranges always/never overflows. More... | |
OverflowResult | signedSubMayOverflow (const ConstantRange &Other) const |
Return whether signed sub of the two ranges always/never overflows. More... | |
OverflowResult | unsignedMulMayOverflow (const ConstantRange &Other) const |
Return whether unsigned mul of the two ranges always/never overflows. More... | |
KnownBits | toKnownBits () const |
Return known bits for values in this range. More... | |
void | print (raw_ostream &OS) const |
Print out the bounds to a stream. More... | |
void | dump () const |
Allow printing from a debugger easily. More... | |
Static Public Member Functions | |
static ConstantRange | getEmpty (uint32_t BitWidth) |
Create empty constant range with the given bit width. More... | |
static ConstantRange | getFull (uint32_t BitWidth) |
Create full constant range with the given bit width. More... | |
static ConstantRange | getNonEmpty (APInt Lower, APInt Upper) |
Create non-empty constant range with the given bounds. More... | |
static ConstantRange | fromKnownBits (const KnownBits &Known, bool IsSigned) |
Initialize a range based on a known bits constraint. More... | |
static ConstantRange | makeAllowedICmpRegion (CmpInst::Predicate Pred, const ConstantRange &Other) |
Produce the smallest range such that all values that may satisfy the given predicate with any value contained within Other is contained in the returned range. More... | |
static ConstantRange | makeSatisfyingICmpRegion (CmpInst::Predicate Pred, const ConstantRange &Other) |
Produce the largest range such that all values in the returned range satisfy the given predicate with all values contained within Other. More... | |
static ConstantRange | makeExactICmpRegion (CmpInst::Predicate Pred, const APInt &Other) |
Produce the exact range such that all values in the returned range satisfy the given predicate with any value contained within Other. More... | |
static bool | areInsensitiveToSignednessOfICmpPredicate (const ConstantRange &CR1, const ConstantRange &CR2) |
Return true iff CR1 ult CR2 is equivalent to CR1 slt CR2. More... | |
static bool | areInsensitiveToSignednessOfInvertedICmpPredicate (const ConstantRange &CR1, const ConstantRange &CR2) |
Return true iff CR1 ult CR2 is equivalent to CR1 sge CR2. More... | |
static CmpInst::Predicate | getEquivalentPredWithFlippedSignedness (CmpInst::Predicate Pred, const ConstantRange &CR1, const ConstantRange &CR2) |
If the comparison between constant ranges this and Other is insensitive to the signedness of the comparison predicate, return a predicate equivalent to Pred , with flipped signedness (i.e. More... | |
static ConstantRange | makeGuaranteedNoWrapRegion (Instruction::BinaryOps BinOp, const ConstantRange &Other, unsigned NoWrapKind) |
Produce the largest range containing all X such that "X BinOp Y" is guaranteed not to wrap (overflow) for all Y in Other. More... | |
static ConstantRange | makeExactNoWrapRegion (Instruction::BinaryOps BinOp, const APInt &Other, unsigned NoWrapKind) |
Produce the range that contains X if and only if "X BinOp Other" does not wrap. More... | |
static bool | isIntrinsicSupported (Intrinsic::ID IntrinsicID) |
Returns true if ConstantRange calculations are supported for intrinsic with IntrinsicID . More... | |
static ConstantRange | intrinsic (Intrinsic::ID IntrinsicID, ArrayRef< ConstantRange > Ops) |
Compute range of intrinsic result for the given operand ranges. More... | |
This class represents a range of values.
Definition at line 47 of file ConstantRange.h.
|
strong |
Represents whether an operation on the given constant range is known to always or never overflow.
Definition at line 530 of file ConstantRange.h.
If represented precisely, the result of some range operations may consist of multiple disjoint ranges.
As only a single range may be returned, any range covering these disjoint ranges constitutes a valid result, but some may be more useful than others depending on context. The preferred range type specifies whether a range that is non-wrapping in the unsigned or signed domain, or has the smallest size, is preferred. If a signedness is preferred but all ranges are non-wrapping or all wrapping, then the smallest set size is preferred. If there are multiple smallest sets, any one of them may be returned.
Enumerator | |
---|---|
Smallest | |
Unsigned | |
Signed |
Definition at line 319 of file ConstantRange.h.
|
explicit |
Initialize a full or empty set for the specified bit width.
Definition at line 43 of file ConstantRange.cpp.
References llvm::Upper.
Referenced by abs(), add(), binaryNot(), castOp(), fromKnownBits(), intersectWith(), inverse(), makeAllowedICmpRegion(), makeExactNoWrapRegion(), makeGuaranteedNoWrapRegion(), multiply(), sdiv(), signExtend(), srem(), sub(), subtract(), truncate(), unionWith(), and zeroExtend().
ConstantRange::ConstantRange | ( | APInt | Value | ) |
Initialize a range to hold the single specified value.
Definition at line 47 of file ConstantRange.cpp.
References llvm::Upper.
Initialize a range of values explicitly.
This will assert out if Lower==Upper and Lower != Min or Max value for its type. It will also assert out if the two APInt's are not the same bit width.
Definition at line 50 of file ConstantRange.cpp.
References assert(), llvm::APInt::getBitWidth(), llvm::LegacyLegalizeActions::Lower, and llvm::Upper.
ConstantRange ConstantRange::abs | ( | bool | IntMinIsPoison = false | ) | const |
Calculate absolute value range.
If the original range contains signed min, then the resulting range will contain signed min if and only if IntMinIsPoison
is false.
Definition at line 1621 of file ConstantRange.cpp.
References ConstantRange(), getBitWidth(), getSignedMax(), getSignedMin(), llvm::APInt::getSignedMinValue(), llvm::APInt::getZero(), isEmptySet(), isSignWrappedSet(), llvm::APInt::isStrictlyPositive(), llvm::MipsISD::Lo, llvm::LegacyLegalizeActions::Lower, llvm::SMax, llvm::SMin, llvm::APIntOps::umax(), and llvm::APIntOps::umin().
ConstantRange ConstantRange::add | ( | const ConstantRange & | Other | ) | const |
Return a new range representing the possible values resulting from an addition of a value in this range and a value in Other
.
Definition at line 981 of file ConstantRange.cpp.
References ConstantRange(), getLower(), getUpper(), isEmptySet(), isFullSet(), move, Other, and X.
Referenced by addWithNoWrap(), binaryOp(), llvm::JumpThreadingPass::computeValueKnownInPredecessorsImpl(), and getEquivalentICmp().
ConstantRange ConstantRange::addWithNoWrap | ( | const ConstantRange & | Other, |
unsigned | NoWrapKind, | ||
PreferredRangeType | RangeType = Smallest |
||
) | const |
Return a new range representing the possible values resulting from an addition with wrap type NoWrapKind
of a value in this range and a value in Other
.
If the result range is disjoint, the preferred range is determined by the PreferredRangeType
.
Definition at line 1000 of file ConstantRange.cpp.
References add(), isEmptySet(), isFullSet(), Other, sadd_sat(), and uadd_sat().
Referenced by overflowingBinaryOp().
|
static |
Return true iff CR1 ult CR2 is equivalent to CR1 slt CR2.
Does not depend on strictness/direction of the predicate.
Definition at line 168 of file ConstantRange.cpp.
References isAllNegative(), isAllNonNegative(), and isEmptySet().
Referenced by getEquivalentPredWithFlippedSignedness().
|
static |
Return true iff CR1 ult CR2 is equivalent to CR1 sge CR2.
Does not depend on strictness/direction of the predicate.
Definition at line 177 of file ConstantRange.cpp.
References isAllNegative(), isAllNonNegative(), and isEmptySet().
Referenced by getEquivalentPredWithFlippedSignedness().
ConstantRange ConstantRange::ashr | ( | const ConstantRange & | Other | ) | const |
Return a new range representing the possible values resulting from a arithmetic right shift of a value in this range and a value in Other
.
Definition at line 1477 of file ConstantRange.cpp.
References llvm::APInt::ashr(), getNonEmpty(), getSignedMax(), getSignedMin(), isEmptySet(), isNonNegative(), llvm::max(), llvm::min(), move, and Other.
Referenced by binaryOp(), and makeGuaranteedNoWrapRegion().
ConstantRange ConstantRange::binaryAnd | ( | const ConstantRange & | Other | ) | const |
Return a new range representing the possible values resulting from a binary-and of a value in this range by a value in Other
.
Definition at line 1389 of file ConstantRange.cpp.
References fromKnownBits(), getBitWidth(), getNonEmpty(), getUnsignedMax(), llvm::APInt::getZero(), intersectWith(), isEmptySet(), Other, toKnownBits(), and llvm::APIntOps::umin().
Referenced by binaryOp(), and canScalarizeAccess().
ConstantRange ConstantRange::binaryNot | ( | ) | const |
Return a new range representing the possible values resulting from a binary-xor of a value in this range by an all-one value, aka bitwise complement operation.
Definition at line 1385 of file ConstantRange.cpp.
References ConstantRange(), llvm::APInt::getAllOnes(), and getBitWidth().
Referenced by binaryXor().
ConstantRange ConstantRange::binaryOp | ( | Instruction::BinaryOps | BinOp, |
const ConstantRange & | Other | ||
) | const |
Return a new range representing the possible values resulting from an application of the specified binary operator to an left hand side of this range and a right hand side of Other
.
Definition at line 870 of file ConstantRange.cpp.
References llvm::MCID::Add, add(), ashr(), assert(), binaryAnd(), binaryOr(), binaryXor(), llvm::Instruction::isBinaryOp(), lshr(), Mul, multiply(), Other, sdiv(), shl(), srem(), sub(), udiv(), and urem().
Referenced by overflowingBinaryOp().
ConstantRange ConstantRange::binaryOr | ( | const ConstantRange & | Other | ) | const |
Return a new range representing the possible values resulting from a binary-or of a value in this range by a value in Other
.
Definition at line 1401 of file ConstantRange.cpp.
References getBitWidth(), getNonEmpty(), getSingleElement(), getUnsignedMin(), llvm::APInt::getZero(), isEmptySet(), isSingleElement(), move, Other, umax(), and llvm::APIntOps::umax().
Referenced by binaryOp().
ConstantRange ConstantRange::binaryXor | ( | const ConstantRange & | Other | ) | const |
Return a new range representing the possible values resulting from a binary-xor of a value in this range by a value in Other
.
Definition at line 1415 of file ConstantRange.cpp.
References binaryNot(), fromKnownBits(), getSingleElement(), isEmptySet(), isSingleElement(), Other, and toKnownBits().
Referenced by binaryOp().
ConstantRange ConstantRange::castOp | ( | Instruction::CastOps | CastOp, |
uint32_t | BitWidth | ||
) | const |
Return a new range representing the possible values resulting from an application of the specified cast operator to this range.
BitWidth
is the target bitwidth of the cast. For casts which don't change bitwidth, it must be the same as the source bitwidth. For casts which do change bitwidth, the bitwidth must be consistent with the requested cast and source bitwidth.
Definition at line 720 of file ConstantRange.cpp.
References ConstantRange(), getBitWidth(), llvm::APInt::getMaxValue(), llvm::APInt::getMinValue(), llvm::APInt::getSignedMaxValue(), llvm::APInt::getSignedMinValue(), llvm_unreachable, move, llvm::APInt::sextOrSelf(), signExtend(), llvm::SMax, llvm::SMin, truncate(), zeroExtend(), and llvm::APInt::zextOrSelf().
Return true if the specified value is in the set.
Definition at line 449 of file ConstantRange.cpp.
References isFullSet(), isUpperWrapped(), llvm::LegacyLegalizeActions::Lower, and llvm::APInt::ult().
Referenced by canScalarizeAccess(), cmpExcludesZero(), llvm::JumpThreadingPass::computeValueKnownInPredecessorsImpl(), llvm::copyRangeMetadata(), llvm::SCEVAddRecExpr::getNumIterationsInRange(), getPredicateResult(), getRangeForAffineARHelper(), llvm::ScalarEvolution::getSignExtendExpr(), llvm::ScalarEvolution::getZeroExtendExpr(), icmp(), llvm::ValueLatticeElement::markConstantRange(), processAShr(), processBinOp(), rangeMetadataExcludesValue(), sdiv(), simplifyICmpWithConstant(), SolveQuadraticAddRecRange(), and willNotOverflow().
bool ConstantRange::contains | ( | const ConstantRange & | CR | ) | const |
Return true if the other range is a subset of this one.
Definition at line 458 of file ConstantRange.cpp.
References isEmptySet(), isFullSet(), isUpperWrapped(), llvm::LegacyLegalizeActions::Lower, and Other.
ConstantRange ConstantRange::difference | ( | const ConstantRange & | CR | ) | const |
Subtract the specified range from this range (aka relative complement of the sets).
Definition at line 499 of file ConstantRange.cpp.
References intersectWith(), and inverse().
Referenced by llvm::InstCombinerImpl::foldICmpWithDominatingICmp(), getEdgeValueLocal(), and isImpliedCondMatchingImmOperands().
LLVM_DUMP_METHOD void ConstantRange::dump | ( | ) | const |
Allow printing from a debugger easily.
Definition at line 1785 of file ConstantRange.cpp.
References llvm::dbgs(), and print().
Optional< ConstantRange > ConstantRange::exactIntersectWith | ( | const ConstantRange & | CR | ) | const |
Intersect the two ranges and return the result if it can be represented exactly, otherwise return None.
Definition at line 703 of file ConstantRange.cpp.
References intersectWith(), inverse(), llvm::None, and unionWith().
Optional< ConstantRange > ConstantRange::exactUnionWith | ( | const ConstantRange & | CR | ) | const |
Union the two ranges and return the result if it can be represented exactly, otherwise return None.
Definition at line 712 of file ConstantRange.cpp.
References intersectWith(), inverse(), llvm::None, and unionWith().
|
static |
Initialize a range based on a known bits constraint.
The IsSigned flag indicates whether the constant range should not wrap in the signed or unsigned domain.
Definition at line 58 of file ConstantRange.cpp.
References assert(), llvm::APInt::clearSignBit(), ConstantRange(), llvm::KnownBits::getBitWidth(), llvm::KnownBits::getMaxValue(), llvm::KnownBits::getMinValue(), llvm::KnownBits::hasConflict(), llvm::KnownBits::isNegative(), llvm::KnownBits::isNonNegative(), llvm::KnownBits::isUnknown(), and llvm::LegacyLegalizeActions::Lower.
Referenced by binaryAnd(), binaryXor(), computeConstantRangeIncludingKnownBits(), llvm::computeOverflowForUnsignedMul(), and getValueFromICmpCondition().
unsigned ConstantRange::getActiveBits | ( | ) | const |
Compute the maximal number of active bits needed to represent every value in this range.
Definition at line 476 of file ConstantRange.cpp.
References llvm::APInt::getActiveBits(), getUnsignedMax(), and isEmptySet().
Referenced by processUDivOrURem().
|
inline |
Get the bit width of this ConstantRange.
Definition at line 204 of file ConstantRange.h.
Referenced by abs(), binaryAnd(), binaryNot(), binaryOr(), castOp(), computeOverflowForSignedAdd(), getEquivalentICmp(), getRangeForAffineARHelper(), getSignedMax(), getSignedMin(), getUnsignedMax(), getUnsignedMin(), intersectWith(), isSizeLargerThan(), isSizeStrictlySmallerThan(), makeAllowedICmpRegion(), multiply(), sdiv(), sextOrTrunc(), shl(), signedAddMayOverflow(), signedSubMayOverflow(), signExtend(), srem(), subtract(), toKnownBits(), truncate(), unionWith(), urem(), zeroExtend(), and zextOrTrunc().
|
inlinestatic |
Create empty constant range with the given bit width.
Definition at line 73 of file ConstantRange.h.
References llvm::BitWidth.
bool ConstantRange::getEquivalentICmp | ( | CmpInst::Predicate & | Pred, |
APInt & | RHS | ||
) | const |
Set up Pred
and RHS
such that ConstantRange::makeExactICmpRegion(Pred, RHS) == *this.
Return true if successful.
Definition at line 234 of file ConstantRange.cpp.
Referenced by llvm::ScalarEvolution::SimplifyICmpOperands(), and llvm::InstCombinerImpl::visitExtractValueInst().
void ConstantRange::getEquivalentICmp | ( | CmpInst::Predicate & | Pred, |
APInt & | RHS, | ||
APInt & | Offset | ||
) | const |
Set up Pred
, RHS
and Offset
such that (V + Offset) Pred RHS is true iff V is in the range.
Prefers using Offset == 0 if possible.
Definition at line 204 of file ConstantRange.cpp.
References add(), assert(), getBitWidth(), getLower(), getSingleElement(), getSingleMissingElement(), getUpper(), llvm::CmpInst::ICMP_EQ, llvm::CmpInst::ICMP_NE, llvm::CmpInst::ICMP_SGE, llvm::CmpInst::ICMP_SLT, llvm::CmpInst::ICMP_UGE, llvm::CmpInst::ICMP_ULT, isEmptySet(), isFullSet(), llvm::APInt::isMinSignedValue(), makeExactICmpRegion(), Offset, and RHS.
|
static |
If the comparison between constant ranges this and Other is insensitive to the signedness of the comparison predicate, return a predicate equivalent to Pred
, with flipped signedness (i.e.
unsigned instead of signed or vice versa), and maybe inverted, otherwise returns CmpInst::Predicate::BAD_ICMP_PREDICATE.
Definition at line 186 of file ConstantRange.cpp.
References areInsensitiveToSignednessOfICmpPredicate(), areInsensitiveToSignednessOfInvertedICmpPredicate(), assert(), llvm::CmpInst::getFlippedSignednessPredicate(), llvm::CmpInst::getInversePredicate(), llvm::CmpInst::isIntPredicate(), and llvm::CmpInst::isRelational().
Referenced by processICmp().
|
inlinestatic |
Create full constant range with the given bit width.
Definition at line 78 of file ConstantRange.h.
References llvm::BitWidth.
Return the lower value for this range.
Definition at line 198 of file ConstantRange.h.
Referenced by add(), getEquivalentICmp(), getRangeForAffineARHelper(), getSignedMin(), getUnsignedMin(), makeAllowedICmpRegion(), llvm::operator<<(), SolveQuadraticAddRecRange(), and sub().
unsigned ConstantRange::getMinSignedBits | ( | ) | const |
Compute the maximal number of bits needed to represent every value in this signed range.
Definition at line 483 of file ConstantRange.cpp.
References getSignedMax(), getSignedMin(), isEmptySet(), and llvm::max().
|
inlinestatic |
Create non-empty constant range with the given bounds.
If Lower and Upper are the same, a full range is returned.
Definition at line 84 of file ConstantRange.h.
References move, and llvm::Upper.
Referenced by ashr(), binaryAnd(), binaryOr(), llvm::computeConstantRange(), getRangeForAffineARHelper(), getValueFromICmpCondition(), lshr(), makeAllowedICmpRegion(), makeExactMulNUWRegion(), makeGuaranteedNoWrapRegion(), sadd_sat(), shl(), smax(), smin(), smul_fast(), smul_sat(), sshl_sat(), ssub_sat(), uadd_sat(), udiv(), umax(), umin(), umul_sat(), urem(), ushl_sat(), and usub_sat().
APInt ConstantRange::getSignedMax | ( | ) | const |
Return the largest signed value contained in the ConstantRange.
Definition at line 437 of file ConstantRange.cpp.
References getBitWidth(), llvm::APInt::getSignedMaxValue(), getUpper(), isFullSet(), and isUpperSignWrapped().
Referenced by abs(), ashr(), getMinSignedBits(), llvm::ScalarEvolution::getSignedRangeMax(), makeAllowedICmpRegion(), multiply(), sadd_sat(), signedAddMayOverflow(), signedSubMayOverflow(), smax(), smin(), smul_fast(), smul_sat(), srem(), sshl_sat(), and ssub_sat().
APInt ConstantRange::getSignedMin | ( | ) | const |
Return the smallest signed value contained in the ConstantRange.
Definition at line 443 of file ConstantRange.cpp.
References getBitWidth(), getLower(), llvm::APInt::getSignedMinValue(), isFullSet(), and isSignWrappedSet().
Referenced by abs(), ashr(), getMinSignedBits(), llvm::ScalarEvolution::getSignedRangeMin(), makeAllowedICmpRegion(), multiply(), sadd_sat(), signedAddMayOverflow(), signedSubMayOverflow(), smax(), smin(), smul_fast(), smul_sat(), srem(), sshl_sat(), ssub_sat(), and stripAndAccumulateOffsets().
If this set contains a single element, return it, otherwise return null.
Definition at line 246 of file ConstantRange.h.
References llvm::Upper.
Referenced by llvm::ValueLatticeElement::asConstantInteger(), binaryOr(), binaryXor(), llvm::InstCombinerImpl::foldICmpWithDominatingICmp(), llvm::AAValueConstantRange::getAssumedConstantInt(), llvm::LazyValueInfo::getConstant(), llvm::LazyValueInfo::getConstantOnEdge(), getEquivalentICmp(), srem(), and urem().
If this set contains all but a single element, return it, otherwise return null.
Definition at line 254 of file ConstantRange.h.
References llvm::Upper.
Referenced by getEquivalentICmp().
APInt ConstantRange::getUnsignedMax | ( | ) | const |
Return the largest unsigned value contained in the ConstantRange.
Definition at line 425 of file ConstantRange.cpp.
References getBitWidth(), llvm::APInt::getMaxValue(), getUpper(), isFullSet(), and isUpperWrapped().
Referenced by llvm::SCEVAAResult::alias(), binaryAnd(), llvm::computeKnownBitsFromRangeMetadata(), getActiveBits(), llvm::ScalarEvolution::getUnsignedRangeMax(), llvm::SelectionDAGBuilder::lowerRangeToAssertZExt(), lshr(), makeAllowedICmpRegion(), makeGuaranteedNoWrapRegion(), multiply(), mustBeFiniteCountedLoop(), processAnd(), shl(), srem(), subWithNoWrap(), toKnownBits(), uadd_sat(), udiv(), umax(), umin(), umul_sat(), unsignedAddMayOverflow(), unsignedMulMayOverflow(), unsignedSubMayOverflow(), urem(), ushl_sat(), and usub_sat().
APInt ConstantRange::getUnsignedMin | ( | ) | const |
Return the smallest unsigned value contained in the ConstantRange.
Definition at line 431 of file ConstantRange.cpp.
References getBitWidth(), getLower(), llvm::APInt::getMinValue(), isFullSet(), and isWrappedSet().
Referenced by llvm::SCEVAAResult::alias(), binaryOr(), llvm::computeKnownBitsFromRangeMetadata(), llvm::ScalarEvolution::getUnsignedRangeMin(), getValueFromICmpCondition(), llvm::SelectionDAGBuilder::lowerRangeToAssertZExt(), lshr(), makeAllowedICmpRegion(), multiply(), shl(), srem(), toKnownBits(), uadd_sat(), udiv(), umax(), umin(), umul_sat(), unsignedAddMayOverflow(), unsignedMulMayOverflow(), unsignedSubMayOverflow(), ushl_sat(), and usub_sat().
Return the upper value for this range.
Definition at line 201 of file ConstantRange.h.
References llvm::Upper.
Referenced by add(), getEquivalentICmp(), getRangeForAffineARHelper(), getSignedMax(), getUnsignedMax(), makeAllowedICmpRegion(), multiply(), llvm::operator<<(), SolveQuadraticAddRecRange(), and sub().
bool ConstantRange::icmp | ( | CmpInst::Predicate | Pred, |
const ConstantRange & | Other | ||
) | const |
Does the predicate Pred
hold between ranges this and Other
? NOTE: false does not mean that inverse predicate holds!
Definition at line 241 of file ConstantRange.cpp.
References contains(), makeSatisfyingICmpRegion(), and Other.
ConstantRange ConstantRange::intersectWith | ( | const ConstantRange & | CR, |
PreferredRangeType | Type = Smallest |
||
) | const |
Return the range that results from the intersection of this range with another range.
If the intersection is disjoint, such that two results are possible, the preferred range is determined by the PreferredRangeType.
Definition at line 523 of file ConstantRange.cpp.
References assert(), ConstantRange(), getBitWidth(), getPreferredRange(), intersectWith(), isEmptySet(), isFullSet(), isUpperWrapped(), llvm::LegacyLegalizeActions::Lower, llvm::APInt::ule(), and llvm::APInt::ult().
Referenced by areNonOverlapSameBaseLoadAndStore(), binaryAnd(), llvm::computeConstantRange(), computeConstantRangeIncludingKnownBits(), difference(), exactIntersectWith(), exactUnionWith(), llvm::InstCombinerImpl::foldICmpWithDominatingICmp(), llvm::IntegerRangeState::intersectKnown(), intersectWith(), isImpliedCondMatchingImmOperands(), makeGuaranteedNoWrapRegion(), sdiv(), smax(), smin(), umax(), umin(), and llvm::IntegerRangeState::unionAssumed().
|
static |
Compute range of intrinsic result for the given operand ranges.
Definition at line 949 of file ConstantRange.cpp.
References llvm::abs(), assert(), llvm::APInt::getBitWidth(), llvm::APInt::getBoolValue(), isIntrinsicSupported(), llvm_unreachable, llvm::APIntOps::smax(), llvm::APIntOps::smin(), llvm::APIntOps::umax(), and llvm::APIntOps::umin().
ConstantRange ConstantRange::inverse | ( | ) | const |
Return a new range that is the logical not of the current set.
Definition at line 1613 of file ConstantRange.cpp.
References ConstantRange(), isEmptySet(), isFullSet(), and llvm::LegacyLegalizeActions::Lower.
Referenced by llvm::JumpThreadingPass::computeValueKnownInPredecessorsImpl(), difference(), exactIntersectWith(), exactUnionWith(), getPredicateResult(), getValueFromOverflowCondition(), makeSatisfyingICmpRegion(), and simplifyICmpWithConstant().
bool ConstantRange::isAllNegative | ( | ) | const |
Return true if all values in this range are negative.
Definition at line 410 of file ConstantRange.cpp.
References isEmptySet(), isFullSet(), llvm::APInt::isStrictlyPositive(), and isUpperSignWrapped().
Referenced by areInsensitiveToSignednessOfICmpPredicate(), areInsensitiveToSignednessOfInvertedICmpPredicate(), and computeOverflowForSignedAdd().
bool ConstantRange::isAllNonNegative | ( | ) | const |
Return true if all values in this range are non-negative.
Definition at line 420 of file ConstantRange.cpp.
References isSignWrappedSet(), and llvm::LegacyLegalizeActions::Lower.
Referenced by areInsensitiveToSignednessOfICmpPredicate(), areInsensitiveToSignednessOfInvertedICmpPredicate(), and computeOverflowForSignedAdd().
bool ConstantRange::isEmptySet | ( | ) | const |
Return true if this set contains no members.
Definition at line 370 of file ConstantRange.cpp.
References llvm::LegacyLegalizeActions::Lower.
Referenced by abs(), add(), addWithNoWrap(), areInsensitiveToSignednessOfICmpPredicate(), areInsensitiveToSignednessOfInvertedICmpPredicate(), areNonOverlapSameBaseLoadAndStore(), ashr(), binaryAnd(), binaryOr(), binaryXor(), contains(), llvm::InstCombinerImpl::foldICmpWithDominatingICmp(), getActiveBits(), llvm::AAValueConstantRange::getAssumedConstantInt(), getEquivalentICmp(), getMinSignedBits(), llvm::ValueLatticeElement::getRange(), getValueFromICmpCondition(), intersectWith(), inverse(), isAllNegative(), isImpliedCondMatchingImmOperands(), llvm::SelectionDAGBuilder::lowerRangeToAssertZExt(), lshr(), makeAllowedICmpRegion(), makeGuaranteedNoWrapRegion(), llvm::ValueLatticeElement::markConstantRange(), multiply(), print(), sadd_sat(), sdiv(), shl(), signedAddMayOverflow(), signedSubMayOverflow(), signExtend(), llvm::ScalarEvolution::SimplifyICmpOperands(), simplifyICmpWithConstant(), smax(), smin(), smul_fast(), smul_sat(), srem(), sshl_sat(), ssub_sat(), sub(), subWithNoWrap(), toKnownBits(), truncate(), uadd_sat(), udiv(), umax(), umin(), umul_sat(), unionWith(), unsignedAddMayOverflow(), unsignedMulMayOverflow(), unsignedSubMayOverflow(), urem(), ushl_sat(), usub_sat(), and zeroExtend().
bool ConstantRange::isFullSet | ( | ) | const |
Return true if this set contains all of the elements possible for this data-type.
Definition at line 366 of file ConstantRange.cpp.
References llvm::LegacyLegalizeActions::Lower.
Referenced by add(), addWithNoWrap(), contains(), getEquivalentICmp(), llvm::MDNode::getMostGenericRange(), llvm::SCEVAddRecExpr::getNumIterationsInRange(), llvm::ValueLatticeElement::getRange(), getRangeForAffineARHelper(), getSignedMax(), getSignedMin(), getUnsignedMax(), getUnsignedMin(), intersectWith(), inverse(), isAllNegative(), isSizeLargerThan(), isSizeStrictlySmallerThan(), llvm::IntegerRangeState::isValidState(), llvm::SelectionDAGBuilder::lowerRangeToAssertZExt(), llvm::ValueLatticeElement::markConstantRange(), print(), signExtend(), llvm::ScalarEvolution::SimplifyICmpOperands(), simplifyICmpWithConstant(), sub(), subWithNoWrap(), truncate(), unionWith(), and zeroExtend().
|
static |
Returns true if ConstantRange calculations are supported for intrinsic with IntrinsicID
.
Definition at line 932 of file ConstantRange.cpp.
References llvm::abs(), llvm::APIntOps::smax(), llvm::APIntOps::smin(), llvm::APIntOps::umax(), and llvm::APIntOps::umin().
Referenced by intrinsic().
bool ConstantRange::isSignWrappedSet | ( | ) | const |
Return true if this set wraps around the signed domain.
Special cases:
Definition at line 382 of file ConstantRange.cpp.
References llvm::APInt::isMinSignedValue(), and llvm::LegacyLegalizeActions::Lower.
Referenced by abs(), getPreferredRange(), getSignedMin(), isAllNonNegative(), signExtend(), smax(), and smin().
|
inline |
Return true if this set contains exactly one member.
Definition at line 261 of file ConstantRange.h.
Referenced by binaryOr(), binaryXor(), getPredicateResult(), hasSingleValue(), isConstant(), llvm::ValueLatticeElement::isConstantRange(), makeAllowedICmpRegion(), and llvm::runIPSCCP().
bool ConstantRange::isSizeLargerThan | ( | uint64_t | MaxSize | ) | const |
Compare set size of this range with Value.
Definition at line 401 of file ConstantRange.cpp.
References getBitWidth(), llvm::APInt::getMaxValue(), isFullSet(), llvm::LegacyLegalizeActions::Lower, and llvm::APInt::ugt().
bool ConstantRange::isSizeStrictlySmallerThan | ( | const ConstantRange & | CR | ) | const |
Compare set size of this range with the range CR.
Definition at line 391 of file ConstantRange.cpp.
References assert(), getBitWidth(), isFullSet(), llvm::LegacyLegalizeActions::Lower, and Other.
Referenced by getPreferredRange(), and multiply().
bool ConstantRange::isUpperSignWrapped | ( | ) | const |
Return true if the (exclusive) upper bound wraps around the signed domain.
Special cases:
Definition at line 386 of file ConstantRange.cpp.
References llvm::LegacyLegalizeActions::Lower.
Referenced by getSignedMax(), and isAllNegative().
bool ConstantRange::isUpperWrapped | ( | ) | const |
Return true if the exclusive upper bound wraps around the unsigned domain.
Special cases:
Definition at line 378 of file ConstantRange.cpp.
References llvm::LegacyLegalizeActions::Lower.
Referenced by contains(), getUnsignedMax(), intersectWith(), llvm::SelectionDAGBuilder::lowerRangeToAssertZExt(), multiply(), truncate(), unionWith(), and zeroExtend().
bool ConstantRange::isWrappedSet | ( | ) | const |
Return true if this set wraps around the unsigned domain.
Special cases:
Definition at line 374 of file ConstantRange.cpp.
References llvm::APInt::isZero(), and llvm::LegacyLegalizeActions::Lower.
Referenced by getPreferredRange(), getUnsignedMin(), umax(), and umin().
ConstantRange ConstantRange::lshr | ( | const ConstantRange & | Other | ) | const |
Return a new range representing the possible values resulting from a logical right shift of a value in this range and a value in Other
.
Definition at line 1467 of file ConstantRange.cpp.
References getNonEmpty(), getUnsignedMax(), getUnsignedMin(), isEmptySet(), llvm::APInt::lshr(), llvm::max(), llvm::min(), move, and Other.
Referenced by binaryOp(), and makeGuaranteedNoWrapRegion().
|
static |
Produce the smallest range such that all values that may satisfy the given predicate with any value contained within Other is contained in the returned range.
Formally, this returns a superset of 'union over all y in Other . { x : icmp op x y is true }'. If the exact answer is not representable as a ConstantRange, the return value will be a proper superset of the above.
Example: Pred = ult and Other = i8 [2, 5) returns Result = [0, 4)
Definition at line 96 of file ConstantRange.cpp.
References ConstantRange(), getBitWidth(), getLower(), llvm::APInt::getMinValue(), getNonEmpty(), getSignedMax(), getSignedMin(), llvm::APInt::getSignedMinValue(), getUnsignedMax(), getUnsignedMin(), getUpper(), llvm::APInt::getZero(), llvm::CmpInst::ICMP_EQ, llvm::CmpInst::ICMP_NE, llvm::CmpInst::ICMP_SGE, llvm::CmpInst::ICMP_SGT, llvm::CmpInst::ICMP_SLE, llvm::CmpInst::ICMP_SLT, llvm::CmpInst::ICMP_UGE, llvm::CmpInst::ICMP_UGT, llvm::CmpInst::ICMP_ULE, llvm::CmpInst::ICMP_ULT, isEmptySet(), isSingleElement(), llvm_unreachable, move, llvm::SMax, llvm::SMin, llvm::UMax, llvm::UMin, and llvm::RISCVFenceField::W.
Referenced by llvm::computeConstantRange(), getValueFromSimpleICmpCondition(), makeExactICmpRegion(), and makeSatisfyingICmpRegion().
|
static |
Produce the exact range such that all values in the returned range satisfy the given predicate with any value contained within Other.
Formally, this returns the exact answer when the superset of 'union over all y in Other is exactly same as the subset of intersection over all y in Other. { x : icmp op x y is true}'.
Example: Pred = ult and Other = i8 3 returns [0, 3)
Definition at line 156 of file ConstantRange.cpp.
References assert(), makeAllowedICmpRegion(), and makeSatisfyingICmpRegion().
Referenced by llvm::ScalarEvolution::applyLoopGuards(), cmpExcludesZero(), llvm::JumpThreadingPass::computeValueKnownInPredecessorsImpl(), llvm::InstCombinerImpl::foldICmpAddConstant(), llvm::InstCombinerImpl::foldICmpWithDominatingICmp(), getEquivalentICmp(), getPredicateResult(), getValueFromICmpCondition(), isImpliedCondMatchingImmOperands(), simplifyAndOrOfICmpsWithConstants(), llvm::ScalarEvolution::SimplifyICmpOperands(), and simplifyICmpWithConstant().
|
static |
Produce the range that contains X if and only if "X BinOp Other" does not wrap.
Definition at line 358 of file ConstantRange.cpp.
References ConstantRange(), makeGuaranteedNoWrapRegion(), and Other.
Referenced by getValueFromOverflowCondition(), and llvm::InstCombinerImpl::visitExtractValueInst().
|
static |
Produce the largest range containing all X such that "X BinOp Y" is guaranteed not to wrap (overflow) for all Y in Other.
However, there may be some Y in Other for which additional X not contained in the result also do not overflow.
NoWrapKind must be one of OBO::NoUnsignedWrap or OBO::NoSignedWrap.
Examples: typedef OverflowingBinaryOperator OBO; #define MGNR makeGuaranteedNoWrapRegion MGNR(Add, [i8 1, 2), OBO::NoSignedWrap) == [-128, 127) MGNR(Add, [i8 1, 2), OBO::NoUnsignedWrap) == [0, -1) MGNR(Add, [i8 0, 1), OBO::NoUnsignedWrap) == Full Set MGNR(Add, [i8 -1, 6), OBO::NoSignedWrap) == [INT_MIN+1, INT_MAX-4) MGNR(Sub, [i8 1, 2), OBO::NoSignedWrap) == [-127, 128) MGNR(Sub, [i8 1, 2), OBO::NoUnsignedWrap) == [1, 0)
Definition at line 288 of file ConstantRange.cpp.
References llvm::MCID::Add, ashr(), assert(), llvm::BitWidth, ConstantRange(), llvm::APInt::getMaxValue(), llvm::APInt::getMinValue(), getNonEmpty(), llvm::APInt::getSignedMaxValue(), llvm::APInt::getSignedMinValue(), getUnsignedMax(), llvm::APInt::getZero(), intersectWith(), llvm::Instruction::isBinaryOp(), isEmptySet(), llvm_unreachable, lshr(), makeExactMulNSWRegion(), makeExactMulNUWRegion(), Mul, Other, llvm::SMax, llvm::SMin, and Unsigned.
Referenced by makeExactNoWrapRegion(), processBinOp(), StrengthenNoWrapFlags(), and willNotOverflow().
|
static |
Produce the largest range such that all values in the returned range satisfy the given predicate with all values contained within Other.
Formally, this returns a subset of 'intersection over all y in Other . { x : icmp op x y is true }'. If the exact answer is not representable as a ConstantRange, the return value will be a proper subset of the above.
Example: Pred = ult and Other = i8 [2, 5) returns [0, 2)
Definition at line 146 of file ConstantRange.cpp.
References llvm::CmpInst::getInversePredicate(), inverse(), and makeAllowedICmpRegion().
Referenced by icmp(), and makeExactICmpRegion().
ConstantRange ConstantRange::multiply | ( | const ConstantRange & | Other | ) | const |
Return a new range representing the possible values resulting from a multiplication of a value in this range and a value in Other
, treating both this and Other
as unsigned ranges.
Definition at line 1078 of file ConstantRange.cpp.
References A, B, Compare, ConstantRange(), getBitWidth(), getSignedMax(), getSignedMin(), getUnsignedMax(), getUnsignedMin(), getUpper(), isEmptySet(), llvm::APInt::isMinSignedValue(), llvm::APInt::isNonNegative(), isSizeStrictlySmallerThan(), isUpperWrapped(), llvm::max(), llvm::min(), Other, llvm::APInt::sext(), truncate(), and llvm::APInt::zext().
Referenced by binaryOp().
|
inline |
Definition at line 291 of file ConstantRange.h.
References llvm::operator==().
|
inline |
Return true if this range is equal to another range.
Definition at line 288 of file ConstantRange.h.
References llvm::Upper.
ConstantRange ConstantRange::overflowingBinaryOp | ( | Instruction::BinaryOps | BinOp, |
const ConstantRange & | Other, | ||
unsigned | NoWrapKind | ||
) | const |
Return a new range representing the possible values resulting from an application of the specified overflowing binary operator to a left hand side of this range and a right hand side of Other
given the provided knowledge about lack of wrapping NoWrapKind
.
Definition at line 915 of file ConstantRange.cpp.
References llvm::MCID::Add, addWithNoWrap(), assert(), binaryOp(), llvm::Instruction::isBinaryOp(), Other, and subWithNoWrap().
void ConstantRange::print | ( | raw_ostream & | OS | ) | const |
Print out the bounds to a stream.
Definition at line 1775 of file ConstantRange.cpp.
References isEmptySet(), isFullSet(), and llvm::LegacyLegalizeActions::Lower.
Referenced by dump(), llvm::operator<<(), and llvm::ScalarEvolution::print().
ConstantRange ConstantRange::sadd_sat | ( | const ConstantRange & | Other | ) | const |
Perform a signed saturating addition of two constant ranges.
Definition at line 1536 of file ConstantRange.cpp.
References getNonEmpty(), getSignedMax(), getSignedMin(), isEmptySet(), move, Other, and llvm::APInt::sadd_sat().
Referenced by addWithNoWrap().
ConstantRange ConstantRange::sdiv | ( | const ConstantRange & | Other | ) | const |
Return a new range representing the possible values resulting from a signed division of a value in this range and a value in Other
.
Division by zero and division of SignedMin by -1 are considered undefined behavior, in line with IR, and do not contribute towards the result.
Definition at line 1227 of file ConstantRange.cpp.
References ConstantRange(), contains(), getBitWidth(), llvm::APInt::getSignedMinValue(), llvm::APInt::getZero(), intersectWith(), llvm::APInt::isAllOnes(), isEmptySet(), llvm::APInt::isMinSignedValue(), llvm::APInt::isZero(), llvm::MipsISD::Lo, llvm::LegacyLegalizeActions::Lower, move, RHS, llvm::APInt::sdiv(), Signed, and unionWith().
Referenced by binaryOp().
ConstantRange ConstantRange::sextOrTrunc | ( | uint32_t | BitWidth | ) | const |
Make this range have the bit width given by BitWidth
.
The value is sign extended, truncated, or left alone to make it that width.
Definition at line 861 of file ConstantRange.cpp.
References getBitWidth(), signExtend(), and truncate().
Referenced by llvm::ScalarEvolution::getSignExtendExpr().
ConstantRange ConstantRange::shl | ( | const ConstantRange & | Other | ) | const |
Return a new range representing the possible values resulting from a left shift of a value in this range by a value in Other
.
TODO: This isn't fully implemented yet.
Definition at line 1433 of file ConstantRange.cpp.
References llvm::countLeadingZeros(), llvm::APInt::getBitsSetFrom(), getBitWidth(), getNonEmpty(), getUnsignedMax(), getUnsignedMin(), llvm::APInt::getZero(), isEmptySet(), move, Other, RHS, and llvm::APInt::ugt().
Referenced by binaryOp().
ConstantRange::OverflowResult ConstantRange::signedAddMayOverflow | ( | const ConstantRange & | Other | ) | const |
Return whether signed add of the two ranges always/never overflows.
Definition at line 1679 of file ConstantRange.cpp.
References AlwaysOverflowsHigh, AlwaysOverflowsLow, getBitWidth(), getSignedMax(), llvm::APInt::getSignedMaxValue(), getSignedMin(), llvm::APInt::getSignedMinValue(), isEmptySet(), llvm::APInt::isNegative(), llvm::APInt::isNonNegative(), MayOverflow, NeverOverflows, Other, llvm::APInt::sgt(), and llvm::APInt::slt().
Referenced by computeOverflowForSignedAdd().
ConstantRange::OverflowResult ConstantRange::signedSubMayOverflow | ( | const ConstantRange & | Other | ) | const |
Return whether signed sub of the two ranges always/never overflows.
Definition at line 1725 of file ConstantRange.cpp.
References AlwaysOverflowsHigh, AlwaysOverflowsLow, getBitWidth(), getSignedMax(), llvm::APInt::getSignedMaxValue(), getSignedMin(), llvm::APInt::getSignedMinValue(), isEmptySet(), llvm::APInt::isNegative(), llvm::APInt::isNonNegative(), MayOverflow, NeverOverflows, Other, llvm::APInt::sgt(), and llvm::APInt::slt().
Referenced by llvm::computeOverflowForSignedSub().
ConstantRange ConstantRange::signExtend | ( | uint32_t | BitWidth | ) | const |
Return a new range in the specified integer type, which must be strictly larger than the current type.
The returned range will correspond to the possible range of values if the source range had been sign extended to BitWidth.
Definition at line 780 of file ConstantRange.cpp.
References assert(), ConstantRange(), getBitWidth(), llvm::APInt::getHighBitsSet(), llvm::APInt::getLowBitsSet(), isEmptySet(), isFullSet(), llvm::APInt::isMinSignedValue(), isSignWrappedSet(), llvm::LegacyLegalizeActions::Lower, llvm::APInt::sext(), and llvm::APInt::zext().
Referenced by castOp(), llvm::ScalarEvolution::getSignExtendExpr(), and sextOrTrunc().
ConstantRange ConstantRange::smax | ( | const ConstantRange & | Other | ) | const |
Return a new range representing the possible values resulting from a signed maximum of a value in this range and a value in Other
.
Definition at line 1151 of file ConstantRange.cpp.
References getNonEmpty(), getSignedMax(), getSignedMin(), intersectWith(), isEmptySet(), isSignWrappedSet(), move, Other, Signed, llvm::APIntOps::smax(), and unionWith().
ConstantRange ConstantRange::smin | ( | const ConstantRange & | Other | ) | const |
Return a new range representing the possible values resulting from a signed minimum of a value in this range and a value in Other
.
Definition at line 1179 of file ConstantRange.cpp.
References getNonEmpty(), getSignedMax(), getSignedMin(), intersectWith(), isEmptySet(), isSignWrappedSet(), move, Other, Signed, llvm::APIntOps::smin(), and unionWith().
ConstantRange ConstantRange::smul_fast | ( | const ConstantRange & | Other | ) | const |
Return range of possible values for a signed multiplication of this and Other
.
However, if overflow is possible always return a full range rather than trying to determine a more precise result.
Definition at line 1131 of file ConstantRange.cpp.
References A, B, Compare, getNonEmpty(), getSignedMax(), getSignedMin(), isEmptySet(), llvm::max(), llvm::min(), Other, and llvm::APInt::smul_ov().
ConstantRange ConstantRange::smul_sat | ( | const ConstantRange & | Other | ) | const |
Perform a signed saturating multiplication of two constant ranges.
Definition at line 1572 of file ConstantRange.cpp.
References A, B, Compare, getNonEmpty(), getSignedMax(), getSignedMin(), isEmptySet(), llvm::max(), llvm::min(), Other, and llvm::APInt::smul_sat().
ConstantRange ConstantRange::srem | ( | const ConstantRange & | Other | ) | const |
Return a new range representing the possible values resulting from a signed remainder operation of a value in this range and a value in Other
.
Definition at line 1334 of file ConstantRange.cpp.
References ConstantRange(), getBitWidth(), getSignedMax(), getSignedMin(), getSingleElement(), getUnsignedMax(), getUnsignedMin(), llvm::APInt::getZero(), isEmptySet(), llvm::APInt::isNonNegative(), llvm::APInt::isZero(), llvm::LegacyLegalizeActions::Lower, move, RHS, llvm::APInt::ugt(), llvm::APIntOps::umax(), llvm::APIntOps::umin(), and llvm::Upper.
Referenced by binaryOp().
ConstantRange ConstantRange::sshl_sat | ( | const ConstantRange & | Other | ) | const |
Perform a signed saturating left shift of this constant range by a value in Other
.
Definition at line 1602 of file ConstantRange.cpp.
References getNonEmpty(), getSignedMax(), getSignedMin(), isEmptySet(), llvm::APInt::isNonNegative(), move, Other, and llvm::APInt::sshl_sat().
ConstantRange ConstantRange::ssub_sat | ( | const ConstantRange & | Other | ) | const |
Perform a signed saturating subtraction of two constant ranges.
Definition at line 1554 of file ConstantRange.cpp.
References getNonEmpty(), getSignedMax(), getSignedMin(), isEmptySet(), move, Other, and llvm::APInt::ssub_sat().
Referenced by subWithNoWrap().
ConstantRange ConstantRange::sub | ( | const ConstantRange & | Other | ) | const |
Return a new range representing the possible values resulting from a subtraction of a value in this range and a value in Other
.
Definition at line 1028 of file ConstantRange.cpp.
References ConstantRange(), getLower(), getUpper(), isEmptySet(), isFullSet(), move, Other, and X.
Referenced by llvm::ScalarEvolution::applyLoopGuards(), binaryOp(), and subWithNoWrap().
ConstantRange ConstantRange::subtract | ( | const APInt & | CI | ) | const |
Subtract the specified constant from the endpoints of this constant range.
Definition at line 491 of file ConstantRange.cpp.
References assert(), ConstantRange(), getBitWidth(), llvm::APInt::getBitWidth(), and llvm::LegacyLegalizeActions::Lower.
Referenced by llvm::InstCombinerImpl::foldICmpAddConstant(), llvm::SCEVAddRecExpr::getNumIterationsInRange(), and getValueFromSimpleICmpCondition().
ConstantRange ConstantRange::subWithNoWrap | ( | const ConstantRange & | Other, |
unsigned | NoWrapKind, | ||
PreferredRangeType | RangeType = Smallest |
||
) | const |
Return a new range representing the possible values resulting from an subtraction with wrap type NoWrapKind
of a value in this range and a value in Other
.
If the result range is disjoint, the preferred range is determined by the PreferredRangeType
.
Definition at line 1047 of file ConstantRange.cpp.
References getUnsignedMax(), isEmptySet(), isFullSet(), Other, ssub_sat(), sub(), and usub_sat().
Referenced by overflowingBinaryOp().
KnownBits ConstantRange::toKnownBits | ( | ) | const |
Return known bits for values in this range.
Definition at line 78 of file ConstantRange.cpp.
References llvm::APInt::clearLowBits(), getBitWidth(), llvm::APIntOps::GetMostSignificantDifferentBit(), getUnsignedMax(), getUnsignedMin(), isEmptySet(), llvm::KnownBits::makeConstant(), llvm::KnownBits::One, and llvm::KnownBits::Zero.
Referenced by binaryAnd(), and binaryXor().
ConstantRange ConstantRange::truncate | ( | uint32_t | BitWidth | ) | const |
Return a new range in the specified integer type, which must be strictly smaller than the current type.
The returned range will correspond to the possible range of values if the source range had been truncated to the specified type.
Definition at line 798 of file ConstantRange.cpp.
References assert(), llvm::APInt::clearBit(), ConstantRange(), llvm::APInt::countTrailingOnes(), llvm::APInt::getActiveBits(), llvm::APInt::getBitsSetFrom(), getBitWidth(), llvm::APInt::getMaxValue(), isEmptySet(), isFullSet(), isUpperWrapped(), llvm::LegacyLegalizeActions::Lower, llvm::APInt::setAllBits(), llvm::APInt::trunc(), and llvm::APInt::ult().
Referenced by castOp(), llvm::ScalarEvolution::getSignExtendExpr(), llvm::ScalarEvolution::getZeroExtendExpr(), multiply(), sextOrTrunc(), and zextOrTrunc().
ConstantRange ConstantRange::uadd_sat | ( | const ConstantRange & | Other | ) | const |
Perform an unsigned saturating addition of two constant ranges.
Definition at line 1527 of file ConstantRange.cpp.
References getNonEmpty(), getUnsignedMax(), getUnsignedMin(), isEmptySet(), move, Other, and llvm::APInt::uadd_sat().
Referenced by addWithNoWrap().
ConstantRange ConstantRange::udiv | ( | const ConstantRange & | Other | ) | const |
Return a new range representing the possible values resulting from an unsigned division of a value in this range and a value in Other
.
Definition at line 1207 of file ConstantRange.cpp.
References getNonEmpty(), getUnsignedMax(), getUnsignedMin(), isEmptySet(), llvm::APInt::isZero(), llvm::LegacyLegalizeActions::Lower, move, RHS, llvm::APInt::udiv(), and llvm::Upper.
Referenced by binaryOp().
ConstantRange ConstantRange::umax | ( | const ConstantRange & | Other | ) | const |
Return a new range representing the possible values resulting from an unsigned maximum of a value in this range and a value in Other
.
Definition at line 1165 of file ConstantRange.cpp.
References getNonEmpty(), getUnsignedMax(), getUnsignedMin(), intersectWith(), isEmptySet(), isWrappedSet(), move, Other, llvm::APIntOps::umax(), unionWith(), and Unsigned.
Referenced by binaryOr().
ConstantRange ConstantRange::umin | ( | const ConstantRange & | Other | ) | const |
Return a new range representing the possible values resulting from an unsigned minimum of a value in this range and a value in Other
.
Definition at line 1193 of file ConstantRange.cpp.
References getNonEmpty(), getUnsignedMax(), getUnsignedMin(), intersectWith(), isEmptySet(), isWrappedSet(), move, Other, llvm::APIntOps::umin(), unionWith(), and Unsigned.
ConstantRange ConstantRange::umul_sat | ( | const ConstantRange & | Other | ) | const |
Perform an unsigned saturating multiplication of two constant ranges.
Definition at line 1563 of file ConstantRange.cpp.
References getNonEmpty(), getUnsignedMax(), getUnsignedMin(), isEmptySet(), move, Other, and llvm::APInt::umul_sat().
ConstantRange ConstantRange::unionWith | ( | const ConstantRange & | CR, |
PreferredRangeType | Type = Smallest |
||
) | const |
Return the range that results from the union of this range with another range.
The resultant range is guaranteed to include the elements of both sets, but may contain more. For example, [3, 9) union [12,15) is [3, 15), which includes 9, 10, and 11, which were not included in either set before.
Definition at line 629 of file ConstantRange.cpp.
References assert(), ConstantRange(), getBitWidth(), getPreferredRange(), isEmptySet(), isFullSet(), isUpperWrapped(), llvm::APInt::isZero(), llvm::LegacyLegalizeActions::Lower, move, llvm::APInt::uge(), llvm::APInt::ugt(), llvm::APInt::ule(), llvm::APInt::ult(), and unionWith().
Referenced by exactIntersectWith(), exactUnionWith(), llvm::getConstantRangeFromMetadata(), getEdgeValueLocal(), llvm::ValueLatticeElement::mergeIn(), sdiv(), smax(), smin(), tryMergeRange(), umax(), umin(), llvm::IntegerRangeState::unionAssumed(), llvm::IntegerRangeState::unionKnown(), and unionWith().
ConstantRange::OverflowResult ConstantRange::unsignedAddMayOverflow | ( | const ConstantRange & | Other | ) | const |
Return whether unsigned add of the two ranges always/never overflows.
Definition at line 1663 of file ConstantRange.cpp.
References AlwaysOverflowsHigh, getUnsignedMax(), getUnsignedMin(), isEmptySet(), MayOverflow, NeverOverflows, Other, and llvm::APInt::ugt().
Referenced by llvm::computeOverflowForUnsignedAdd().
ConstantRange::OverflowResult ConstantRange::unsignedMulMayOverflow | ( | const ConstantRange & | Other | ) | const |
Return whether unsigned mul of the two ranges always/never overflows.
Definition at line 1755 of file ConstantRange.cpp.
References AlwaysOverflowsHigh, getUnsignedMax(), getUnsignedMin(), isEmptySet(), MayOverflow, NeverOverflows, Other, and llvm::APInt::umul_ov().
Referenced by llvm::computeOverflowForUnsignedMul().
ConstantRange::OverflowResult ConstantRange::unsignedSubMayOverflow | ( | const ConstantRange & | Other | ) | const |
Return whether unsigned sub of the two ranges always/never overflows.
Definition at line 1709 of file ConstantRange.cpp.
References AlwaysOverflowsLow, getUnsignedMax(), getUnsignedMin(), isEmptySet(), MayOverflow, NeverOverflows, Other, and llvm::APInt::ult().
Referenced by llvm::computeOverflowForUnsignedSub().
ConstantRange ConstantRange::urem | ( | const ConstantRange & | Other | ) | const |
Return a new range representing the possible values resulting from an unsigned remainder operation of a value in this range and a value in Other
.
Definition at line 1312 of file ConstantRange.cpp.
References getBitWidth(), getNonEmpty(), getSingleElement(), getUnsignedMax(), llvm::APInt::getZero(), isEmptySet(), move, RHS, llvm::APIntOps::umin(), and llvm::Upper.
Referenced by binaryOp(), and canScalarizeAccess().
ConstantRange ConstantRange::ushl_sat | ( | const ConstantRange & | Other | ) | const |
Perform an unsigned saturating left shift of this constant range by a value in Other
.
Definition at line 1593 of file ConstantRange.cpp.
References getNonEmpty(), getUnsignedMax(), getUnsignedMin(), isEmptySet(), move, Other, and llvm::APInt::ushl_sat().
ConstantRange ConstantRange::usub_sat | ( | const ConstantRange & | Other | ) | const |
Perform an unsigned saturating subtraction of two constant ranges.
Definition at line 1545 of file ConstantRange.cpp.
References getNonEmpty(), getUnsignedMax(), getUnsignedMin(), isEmptySet(), move, Other, and llvm::APInt::usub_sat().
Referenced by subWithNoWrap().
ConstantRange ConstantRange::zeroExtend | ( | uint32_t | BitWidth | ) | const |
Return a new range in the specified integer type, which must be strictly larger than the current type.
The returned range will correspond to the possible range of values if the source range had been zero extended to BitWidth.
Definition at line 763 of file ConstantRange.cpp.
References assert(), ConstantRange(), getBitWidth(), llvm::APInt::getOneBitSet(), isEmptySet(), isFullSet(), isUpperWrapped(), llvm::LegacyLegalizeActions::Lower, move, and llvm::APInt::zext().
Referenced by castOp(), llvm::ScalarEvolution::getZeroExtendExpr(), and zextOrTrunc().
ConstantRange ConstantRange::zextOrTrunc | ( | uint32_t | BitWidth | ) | const |
Make this range have the bit width given by BitWidth
.
The value is zero extended, truncated, or left alone to make it that width.
Definition at line 852 of file ConstantRange.cpp.
References getBitWidth(), truncate(), and zeroExtend().
Referenced by llvm::ScalarEvolution::getZeroExtendExpr().