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:1508

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 llvm::ConstantRange getAssumed() const
• public static llvm::ConstantRange getBestState(uint32_t BitWidth)
• 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)
• public void unionKnown(const llvm::ConstantRange & R)
• public void unionKnown(const llvm::IntegerRangeState & R)

Inherited from AbstractState:

• public indicateOptimisticFixpoint
• public indicatePessimisticFixpoint
• public isAtFixpoint
• public isValidState

Methods

¶IntegerRangeState(uint32_t BitWidth)

Declared at: llvm/include/llvm/Transforms/IPO/Attributor.h:1519

Parameters

uint32_t BitWidth

¶llvm::ConstantRange getAssumed() const

Description

Return the assumed state encoding.

Declared at: llvm/include/llvm/Transforms/IPO/Attributor.h:1560

¶static llvm::ConstantRange getBestState(
    uint32_t BitWidth)

Description

Return the best possible representable state.

Declared at: llvm/include/llvm/Transforms/IPO/Attributor.h:1529

Parameters

uint32_t BitWidth

¶uint32_t getBitWidth() const

Description

Return associated values' bit width.

Declared at: llvm/include/llvm/Transforms/IPO/Attributor.h:1534

¶llvm::ConstantRange getKnown() const

Description

Return the known state encoding

Declared at: llvm/include/llvm/Transforms/IPO/Attributor.h:1557

¶static llvm::ConstantRange getWorstState(
    uint32_t BitWidth)

Description

Return the worst possible representable state.

Declared at: llvm/include/llvm/Transforms/IPO/Attributor.h:1524

Parameters

uint32_t BitWidth

¶llvm::ChangeStatus indicateOptimisticFixpoint()

Description

See AbstractState::indicateOptimisticFixpoint(...)

Declared at: llvm/include/llvm/Transforms/IPO/Attributor.h:1545

¶llvm::ChangeStatus indicatePessimisticFixpoint()

Description

See AbstractState::indicatePessimisticFixpoint(...)

Declared at: llvm/include/llvm/Transforms/IPO/Attributor.h:1551

¶void intersectKnown(const llvm::ConstantRange& R)

Description

Intersect known range with the passed state.

Declared at: llvm/include/llvm/Transforms/IPO/Attributor.h:1584

Parameters

const llvm::ConstantRange& R

¶void intersectKnown(
    const llvm::IntegerRangeState& R)

Description

See IntegerRangeState::intersectKnown(..).

Declared at: llvm/include/llvm/Transforms/IPO/Attributor.h:1590

Parameters

const llvm::IntegerRangeState& R

¶bool isAtFixpoint() const

Description

See AbstractState::isAtFixpoint()

Declared at: llvm/include/llvm/Transforms/IPO/Attributor.h:1542

¶bool isValidState() const

Description

See AbstractState::isValidState()

Declared at: llvm/include/llvm/Transforms/IPO/Attributor.h:1537

¶void unionAssumed(const llvm::ConstantRange& R)

Description

Unite assumed range with the passed state.

Declared at: llvm/include/llvm/Transforms/IPO/Attributor.h:1563

Parameters

const llvm::ConstantRange& R

¶void unionAssumed(
    const llvm::IntegerRangeState& R)

Description

See IntegerRangeState::unionAssumed(..).

Declared at: llvm/include/llvm/Transforms/IPO/Attributor.h:1569

Parameters

const llvm::IntegerRangeState& R

¶void unionKnown(const llvm::ConstantRange& R)

Description

Unite known range with the passed state.

Declared at: llvm/include/llvm/Transforms/IPO/Attributor.h:1574

Parameters

const llvm::ConstantRange& R

¶void unionKnown(const llvm::IntegerRangeState& R)

Description

See IntegerRangeState::unionKnown(..).

Declared at: llvm/include/llvm/Transforms/IPO/Attributor.h:1581

Parameters

const llvm::IntegerRangeState& R