LLVM: llvm::IntegerRangeState Struct Reference (original) (raw)

State for an integer range. More...

#include "[llvm/Transforms/IPO/Attributor.h](Attributor%5F8h%5Fsource.html)"

Public Member Functions
IntegerRangeState (uint32_t BitWidth)
IntegerRangeState (const ConstantRange &CR)
uint32_t getBitWidth () const
Return associated values' bit width.
bool isValidState () const override
See AbstractState::isValidState()
bool isAtFixpoint () const override
See AbstractState::isAtFixpoint()
ChangeStatus indicateOptimisticFixpoint () override
See AbstractState::indicateOptimisticFixpoint(...)
ChangeStatus indicatePessimisticFixpoint () override
See AbstractState::indicatePessimisticFixpoint(...)
ConstantRange getKnown () const
Return the known state encoding.
ConstantRange getAssumed () const
Return the assumed state encoding.
void unionAssumed (const ConstantRange &R)
Unite assumed range with the passed state.
void unionAssumed (const IntegerRangeState &R)
See IntegerRangeState::unionAssumed(..).
void intersectKnown (const ConstantRange &R)
Intersect known range with the passed state.
void intersectKnown (const IntegerRangeState &R)
See IntegerRangeState::intersectKnown(..).
bool operator== (const IntegerRangeState &R) const
Equality for IntegerRangeState.
IntegerRangeState operator^= (const IntegerRangeState &R)
"Clamp" this state with R.
IntegerRangeState operator&= (const IntegerRangeState &R)
Public Member Functions inherited from llvm::AbstractState
virtual ~AbstractState ()=default
Static Public Member Functions
static ConstantRange getWorstState (uint32_t BitWidth)
Return the worst possible representable state.
static ConstantRange getBestState (uint32_t BitWidth)
Return the best possible representable state.
static ConstantRange getBestState (const IntegerRangeState &IRS)
Public Attributes
uint32_t BitWidth
Bitwidth of the associated value.
ConstantRange Assumed
State representing assumed range, initially set to empty.
ConstantRange Known
State representing known range, initially set to [-inf, inf].

State for an integer range.

Definition at line 2968 of file Attributor.h.

llvm::IntegerRangeState::IntegerRangeState ( uint32_t BitWidth) inline

◆ IntegerRangeState() [2/2]

◆ getAssumed()

ConstantRange llvm::IntegerRangeState::getAssumed ( ) const inline

◆ getBestState() [1/2]

◆ getBestState() [2/2]

◆ getBitWidth()

uint32_t llvm::IntegerRangeState::getBitWidth ( ) const inline

◆ getKnown()

◆ getWorstState()

◆ indicateOptimisticFixpoint()

ChangeStatus llvm::IntegerRangeState::indicateOptimisticFixpoint ( ) inlineoverridevirtual

◆ indicatePessimisticFixpoint()

ChangeStatus llvm::IntegerRangeState::indicatePessimisticFixpoint ( ) inlineoverridevirtual

◆ intersectKnown() [1/2]

◆ intersectKnown() [2/2]

◆ isAtFixpoint()

bool llvm::IntegerRangeState::isAtFixpoint ( ) const inlineoverridevirtual

◆ isValidState()

bool llvm::IntegerRangeState::isValidState ( ) const inlineoverridevirtual

◆ operator&=()

◆ operator==()

◆ operator^=()

"Clamp" this state with R.

The result is subtype dependent but it is intended that only information assumed in both states will be assumed in this one afterwards.

Definition at line 3059 of file Attributor.h.

References IntegerRangeState(), and unionAssumed().

◆ unionAssumed() [1/2]

◆ unionAssumed() [2/2]

◆ Assumed

State representing assumed range, initially set to empty.

Definition at line 2974 of file Attributor.h.

Referenced by getAssumed(), indicateOptimisticFixpoint(), indicatePessimisticFixpoint(), IntegerRangeState(), IntegerRangeState(), intersectKnown(), isAtFixpoint(), isValidState(), operator&=(), and unionAssumed().

◆ BitWidth

uint32_t llvm::IntegerRangeState::BitWidth

◆ Known

State representing known range, initially set to [-inf, inf].

Definition at line 2977 of file Attributor.h.

Referenced by getKnown(), indicateOptimisticFixpoint(), indicatePessimisticFixpoint(), IntegerRangeState(), IntegerRangeState(), intersectKnown(), isAtFixpoint(), operator&=(), and unionAssumed().

The documentation for this struct was generated from the following file: