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

Inherited from AbstractState:

Methods

IntegerRangeState(uint32_t BitWidth)

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

Parameters

uint32_t BitWidth

IntegerRangeState(const llvm::ConstantRange& CR)

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

Parameters

const llvm::ConstantRange& CR

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)

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)

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

Parameters

const llvm::IntegerRangeState& IRS

uint32_t getBitWidth() const

Description

Return associated values' bit width.

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

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)

Description

Return the worst possible representable state.

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

Parameters

uint32_t BitWidth

llvm::ChangeStatus indicateOptimisticFixpoint()

Description

See AbstractState::indicateOptimisticFixpoint(...)

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

llvm::ChangeStatus indicatePessimisticFixpoint()

Description

See AbstractState::indicatePessimisticFixpoint(...)

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

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)

Description

See IntegerRangeState::intersectKnown(..).

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

Parameters

const llvm::IntegerRangeState& R

bool isAtFixpoint() const

Description

See AbstractState::isAtFixpoint()

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

bool isValidState() const

Description

See AbstractState::isValidState()

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

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)

Description

See IntegerRangeState::unionAssumed(..).

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

Parameters

const llvm::IntegerRangeState& R