State for an integer range.

Synopsis

Declared in <llvm/Transforms/IPO/Attributor.h>

struct IntegerRangeState
    : AbstractState

Base Classes

Name

Description

AbstractState

An interface to query the internal state of an abstract attribute.

Member Functions

Name

Description

IntegerRangeState [constructor]

Constructors

getAssumed

Return the assumed state encoding.

getBitWidth

Return associated values' bit width.

getKnown

Return the known state encoding

indicateOptimisticFixpoint [virtual]

See AbstractState::indicateOptimisticFixpoint(...)

indicatePessimisticFixpoint [virtual]

See AbstractState::indicatePessimisticFixpoint(...)

intersectKnown

intersectKnown overloads

isAtFixpoint [virtual]

See AbstractState::isAtFixpoint()

isValidState [virtual]

See AbstractState::isValidState()

operator&=

Join assumed and known ranges with R using set union.

operatorˆ=

Clamp this state with R.

unionAssumed

unionAssumed overloads

operator==

Equality for IntegerRangeState.

Static Member Functions

Name

Description

getBestState

getBestState overloads

getWorstState

Return the worst possible representable state.

Data Members

Name

Description

Assumed

State representing assumed range, initially set to empty.

BitWidth

Bitwidth of the associated value.

Known

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

Created with MrDocs