LLVM
15.0.0git
|
State for an integer range. More...
#include "llvm/Transforms/IPO/Attributor.h"
Static Public Member Functions | |
static ConstantRange | getWorstState (uint32_t BitWidth) |
Return the worst possible representable state. More... | |
static ConstantRange | getBestState (uint32_t BitWidth) |
Return the best possible representable state. More... | |
static ConstantRange | getBestState (const IntegerRangeState &IRS) |
Public Attributes | |
uint32_t | BitWidth |
Bitwidth of the associated value. More... | |
ConstantRange | Assumed |
State representing assumed range, initially set to empty. More... | |
ConstantRange | Known |
State representing known range, initially set to [-inf, inf]. More... | |
State for an integer range.
Definition at line 2504 of file Attributor.h.
|
inline |
Definition at line 2515 of file Attributor.h.
|
inline |
Definition at line 2519 of file Attributor.h.
|
inline |
Return the assumed state encoding.
Definition at line 2563 of file Attributor.h.
References Assumed.
Referenced by operator==(), and stripAndAccumulateOffsets().
|
inlinestatic |
Definition at line 2532 of file Attributor.h.
References getBestState(), and getBitWidth().
|
inlinestatic |
Return the best possible representable state.
Definition at line 2529 of file Attributor.h.
References BitWidth.
Referenced by getBestState().
|
inline |
Return associated values' bit width.
Definition at line 2537 of file Attributor.h.
References BitWidth.
Referenced by getBestState().
|
inline |
Return the known state encoding.
Definition at line 2560 of file Attributor.h.
References Known.
Referenced by operator==(), and stripAndAccumulateOffsets().
|
inlinestatic |
Return the worst possible representable state.
Definition at line 2524 of file Attributor.h.
References BitWidth.
|
inlineoverridevirtual |
See AbstractState::indicateOptimisticFixpoint(...)
Implements llvm::AbstractState.
Definition at line 2548 of file Attributor.h.
References Assumed, llvm::CHANGED, and Known.
|
inlineoverridevirtual |
See AbstractState::indicatePessimisticFixpoint(...)
Implements llvm::AbstractState.
Definition at line 2554 of file Attributor.h.
References Assumed, llvm::CHANGED, and Known.
|
inline |
Intersect known range with the passed state.
Definition at line 2587 of file Attributor.h.
References Assumed, llvm::ConstantRange::intersectWith(), and Known.
Referenced by intersectKnown().
|
inline |
See IntegerRangeState::intersectKnown(..).
Definition at line 2593 of file Attributor.h.
References intersectKnown().
|
inlineoverridevirtual |
See AbstractState::isAtFixpoint()
Implements llvm::AbstractState.
Definition at line 2545 of file Attributor.h.
|
inlineoverridevirtual |
See AbstractState::isValidState()
Implements llvm::AbstractState.
Definition at line 2540 of file Attributor.h.
References Assumed, BitWidth, and llvm::ConstantRange::isFullSet().
|
inline |
Definition at line 2612 of file Attributor.h.
References unionAssumed(), and unionKnown().
|
inline |
Equality for IntegerRangeState.
Definition at line 2598 of file Attributor.h.
References getAssumed(), and getKnown().
|
inline |
"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 2605 of file Attributor.h.
References unionAssumed().
|
inline |
Unite assumed range with the passed state.
Definition at line 2566 of file Attributor.h.
References Assumed, llvm::ConstantRange::intersectWith(), Known, and llvm::ConstantRange::unionWith().
Referenced by operator&=(), operator^=(), and unionAssumed().
|
inline |
See IntegerRangeState::unionAssumed(..).
Definition at line 2572 of file Attributor.h.
References unionAssumed().
|
inline |
Unite known range with the passed state.
Definition at line 2577 of file Attributor.h.
References Assumed, Known, and llvm::ConstantRange::unionWith().
Referenced by operator&=().
|
inline |
See IntegerRangeState::unionKnown(..).
Definition at line 2584 of file Attributor.h.
References unionKnown().
Referenced by unionKnown().
ConstantRange llvm::IntegerRangeState::Assumed |
State representing assumed range, initially set to empty.
Definition at line 2510 of file Attributor.h.
Referenced by getAssumed(), indicateOptimisticFixpoint(), indicatePessimisticFixpoint(), intersectKnown(), isAtFixpoint(), isValidState(), unionAssumed(), and unionKnown().
uint32_t llvm::IntegerRangeState::BitWidth |
Bitwidth of the associated value.
Definition at line 2507 of file Attributor.h.
Referenced by getBestState(), getBitWidth(), getWorstState(), and isValidState().
ConstantRange llvm::IntegerRangeState::Known |
State representing known range, initially set to [-inf, inf].
Definition at line 2513 of file Attributor.h.
Referenced by getKnown(), indicateOptimisticFixpoint(), indicatePessimisticFixpoint(), intersectKnown(), isAtFixpoint(), unionAssumed(), and unionKnown().