struct IntegerRangeState
Declaration
struct IntegerRangeState : public AbstractState { /* full declaration omitted */ };
Description
State for an integer range.
Declared at: llvm/include/llvm/Transforms/IPO/Attributor.h:2571
Inherits from: AbstractState
Member Variables
- public uint32_t BitWidth
- Bitwidth of the associated value.
- public llvm::ConstantRange Assumed
- State representing assumed range, initially set to empty.
- public llvm::ConstantRange Known
- State representing known range, initially set to [-inf, inf].
Method Overview
- public IntegerRangeState(uint32_t BitWidth)
- public IntegerRangeState(const llvm::ConstantRange & CR)
- public llvm::ConstantRange getAssumed() const
- public static llvm::ConstantRange getBestState(uint32_t BitWidth)
- public static llvm::ConstantRange getBestState(const llvm::IntegerRangeState & IRS)
- public uint32_t getBitWidth() const
- public llvm::ConstantRange getKnown() const
- public static llvm::ConstantRange getWorstState(uint32_t BitWidth)
- public llvm::ChangeStatus indicateOptimisticFixpoint()
- public llvm::ChangeStatus indicatePessimisticFixpoint()
- public void intersectKnown(const llvm::ConstantRange & R)
- public void intersectKnown(const llvm::IntegerRangeState & R)
- public bool isAtFixpoint() const
- public bool isValidState() const
- public void unionAssumed(const llvm::ConstantRange & R)
- public void unionAssumed(const llvm::IntegerRangeState & R)
Inherited from AbstractState:
- public indicateOptimisticFixpoint
- public indicatePessimisticFixpoint
- public isAtFixpoint
- public isValidState
Methods
¶IntegerRangeState(uint32_t BitWidth)
IntegerRangeState(uint32_t BitWidth)
Declared at: llvm/include/llvm/Transforms/IPO/Attributor.h:2582
Parameters
- uint32_t BitWidth
¶IntegerRangeState(const llvm::ConstantRange& CR)
IntegerRangeState(const llvm::ConstantRange& CR)
Declared at: llvm/include/llvm/Transforms/IPO/Attributor.h:2586
Parameters
- const llvm::ConstantRange& CR
¶llvm::ConstantRange getAssumed() const
llvm::ConstantRange getAssumed() const
Description
Return the assumed state encoding.
Declared at: llvm/include/llvm/Transforms/IPO/Attributor.h:2630
¶static llvm::ConstantRange getBestState(
uint32_t BitWidth)
static llvm::ConstantRange getBestState(
uint32_t BitWidth)
Description
Return the best possible representable state.
Declared at: llvm/include/llvm/Transforms/IPO/Attributor.h:2596
Parameters
- uint32_t BitWidth
¶static llvm::ConstantRange getBestState(
const llvm::IntegerRangeState& IRS)
static llvm::ConstantRange getBestState(
const llvm::IntegerRangeState& IRS)
Declared at: llvm/include/llvm/Transforms/IPO/Attributor.h:2599
Parameters
- const llvm::IntegerRangeState& IRS
¶uint32_t getBitWidth() const
uint32_t getBitWidth() const
Description
Return associated values' bit width.
Declared at: llvm/include/llvm/Transforms/IPO/Attributor.h:2604
¶llvm::ConstantRange getKnown() const
llvm::ConstantRange getKnown() const
Description
Return the known state encoding
Declared at: llvm/include/llvm/Transforms/IPO/Attributor.h:2627
¶static llvm::ConstantRange getWorstState(
uint32_t BitWidth)
static llvm::ConstantRange getWorstState(
uint32_t BitWidth)
Description
Return the worst possible representable state.
Declared at: llvm/include/llvm/Transforms/IPO/Attributor.h:2591
Parameters
- uint32_t BitWidth
¶llvm::ChangeStatus indicateOptimisticFixpoint()
llvm::ChangeStatus indicateOptimisticFixpoint()
Description
See AbstractState::indicateOptimisticFixpoint(...)
Declared at: llvm/include/llvm/Transforms/IPO/Attributor.h:2615
¶llvm::ChangeStatus indicatePessimisticFixpoint()
llvm::ChangeStatus indicatePessimisticFixpoint()
Description
See AbstractState::indicatePessimisticFixpoint(...)
Declared at: llvm/include/llvm/Transforms/IPO/Attributor.h:2621
¶void intersectKnown(const llvm::ConstantRange& R)
void intersectKnown(const llvm::ConstantRange& R)
Description
Intersect known range with the passed state.
Declared at: llvm/include/llvm/Transforms/IPO/Attributor.h:2644
Parameters
- const llvm::ConstantRange& R
¶void intersectKnown(
const llvm::IntegerRangeState& R)
void intersectKnown(
const llvm::IntegerRangeState& R)
Description
See IntegerRangeState::intersectKnown(..).
Declared at: llvm/include/llvm/Transforms/IPO/Attributor.h:2650
Parameters
- const llvm::IntegerRangeState& R
¶bool isAtFixpoint() const
bool isAtFixpoint() const
Description
See AbstractState::isAtFixpoint()
Declared at: llvm/include/llvm/Transforms/IPO/Attributor.h:2612
¶bool isValidState() const
bool isValidState() const
Description
See AbstractState::isValidState()
Declared at: llvm/include/llvm/Transforms/IPO/Attributor.h:2607
¶void unionAssumed(const llvm::ConstantRange& R)
void unionAssumed(const llvm::ConstantRange& R)
Description
Unite assumed range with the passed state.
Declared at: llvm/include/llvm/Transforms/IPO/Attributor.h:2633
Parameters
- const llvm::ConstantRange& R
¶void unionAssumed(
const llvm::IntegerRangeState& R)
void unionAssumed(
const llvm::IntegerRangeState& R)
Description
See IntegerRangeState::unionAssumed(..).
Declared at: llvm/include/llvm/Transforms/IPO/Attributor.h:2639
Parameters
- const llvm::IntegerRangeState& R