LLVM
15.0.0git
|
Simple state with integers encoding. More...
#include "llvm/Transforms/IPO/Attributor.h"
Public Types | |
using | base_t = base_ty |
Public Member Functions | |
IntegerStateBase ()=default | |
IntegerStateBase (base_t Assumed) | |
bool | isValidState () const override |
See AbstractState::isValidState() NOTE: For now we simply pretend that the worst possible state is invalid. More... | |
bool | isAtFixpoint () const override |
See AbstractState::isAtFixpoint() More... | |
ChangeStatus | indicateOptimisticFixpoint () override |
See AbstractState::indicateOptimisticFixpoint(...) More... | |
ChangeStatus | indicatePessimisticFixpoint () override |
See AbstractState::indicatePessimisticFixpoint(...) More... | |
base_t | getKnown () const |
Return the known state encoding. More... | |
base_t | getAssumed () const |
Return the assumed state encoding. More... | |
bool | operator== (const IntegerStateBase< base_t, BestState, WorstState > &R) const |
Equality for IntegerStateBase. More... | |
bool | operator!= (const IntegerStateBase< base_t, BestState, WorstState > &R) const |
Inequality for IntegerStateBase. More... | |
void | operator^= (const IntegerStateBase< base_t, BestState, WorstState > &R) |
"Clamp" this state with R . More... | |
void | operator+= (const IntegerStateBase< base_t, BestState, WorstState > &R) |
"Clamp" this state with R . More... | |
void | operator|= (const IntegerStateBase< base_t, BestState, WorstState > &R) |
void | operator&= (const IntegerStateBase< base_t, BestState, WorstState > &R) |
![]() | |
virtual | ~AbstractState ()=default |
Static Public Member Functions | |
static constexpr base_t | getBestState () |
Return the best possible representable state. More... | |
static constexpr base_t | getBestState (const IntegerStateBase &) |
static constexpr base_t | getWorstState () |
Return the worst possible representable state. More... | |
static constexpr base_t | getWorstState (const IntegerStateBase &) |
Protected Member Functions | |
virtual void | handleNewAssumedValue (base_t Value)=0 |
Handle a new assumed value Value . Subtype dependent. More... | |
virtual void | handleNewKnownValue (base_t Value)=0 |
Handle a new known value Value . Subtype dependent. More... | |
virtual void | joinOR (base_t AssumedValue, base_t KnownValue)=0 |
Handle a value Value . Subtype dependent. More... | |
virtual void | joinAND (base_t AssumedValue, base_t KnownValue)=0 |
Handle a new assumed value Value . Subtype dependent. More... | |
Protected Attributes | |
base_t | Known = getWorstState() |
The known state encoding in an integer of type base_t. More... | |
base_t | Assumed = getBestState() |
The assumed state encoding in an integer of type base_t. More... | |
Simple state with integers encoding.
The interface ensures that the assumed bits are always a subset of the known bits. Users can only add known bits and, except through adding known bits, they can only remove assumed bits. This should guarantee monotoniticy and thereby the existence of a fixpoint (if used corretly). The fixpoint is reached when the assumed and known state/bits are equal. Users can force/inidicate a fixpoint. If an optimistic one is indicated, the known state will catch up with the assumed one, for a pessimistic fixpoint it is the other way around.
Definition at line 2257 of file Attributor.h.
using llvm::IntegerStateBase< base_ty, BestState, WorstState >::base_t = base_ty |
Definition at line 2258 of file Attributor.h.
|
default |
|
inline |
Definition at line 2261 of file Attributor.h.
|
inline |
Return the assumed state encoding.
Definition at line 2298 of file Attributor.h.
Referenced by llvm::AADereferenceable::getAssumedDereferenceableBytes(), llvm::AADereferenceable::isAssumedGlobal(), and llvm::IntegerStateBase< uint8_t, BestState, WorstState >::operator==().
|
inlinestaticconstexpr |
Return the best possible representable state.
Definition at line 2264 of file Attributor.h.
Referenced by llvm::IntegerStateBase< uint8_t, BestState, WorstState >::getBestState().
|
inlinestaticconstexpr |
Definition at line 2265 of file Attributor.h.
|
inline |
Return the known state encoding.
Definition at line 2295 of file Attributor.h.
Referenced by llvm::AADereferenceable::getKnownDereferenceableBytes(), llvm::AADereferenceable::isKnownGlobal(), and llvm::IntegerStateBase< uint8_t, BestState, WorstState >::operator==().
|
inlinestaticconstexpr |
Return the worst possible representable state.
Definition at line 2270 of file Attributor.h.
Referenced by llvm::IntegerStateBase< uint8_t, BestState, WorstState >::getWorstState(), and llvm::IntegerStateBase< uint8_t, BestState, WorstState >::isValidState().
|
inlinestaticconstexpr |
Definition at line 2271 of file Attributor.h.
|
protectedpure virtual |
Handle a new assumed value Value
. Subtype dependent.
Referenced by llvm::IntegerStateBase< uint8_t, BestState, WorstState >::operator^=().
|
protectedpure virtual |
Handle a new known value Value
. Subtype dependent.
Referenced by llvm::IntegerStateBase< uint8_t, BestState, WorstState >::operator+=().
|
inlineoverridevirtual |
See AbstractState::indicateOptimisticFixpoint(...)
Implements llvm::AbstractState.
Definition at line 2283 of file Attributor.h.
Referenced by AA::PointerInfo::State::indicateOptimisticFixpoint(), llvm::ValueSimplifyStateType::indicateOptimisticFixpoint(), and llvm::PotentialValuesState< MemberTy >::indicateOptimisticFixpoint().
|
inlineoverridevirtual |
See AbstractState::indicatePessimisticFixpoint(...)
Implements llvm::AbstractState.
Definition at line 2289 of file Attributor.h.
Referenced by AA::PointerInfo::State::indicatePessimisticFixpoint(), llvm::ValueSimplifyStateType::indicatePessimisticFixpoint(), and llvm::PotentialValuesState< MemberTy >::indicatePessimisticFixpoint().
|
inlineoverridevirtual |
See AbstractState::isAtFixpoint()
Implements llvm::AbstractState.
Definition at line 2280 of file Attributor.h.
Referenced by AA::PointerInfo::State::isAtFixpoint(), llvm::ValueSimplifyStateType::isAtFixpoint(), and llvm::PotentialValuesState< MemberTy >::isAtFixpoint().
|
inlineoverridevirtual |
See AbstractState::isValidState() NOTE: For now we simply pretend that the worst possible state is invalid.
Implements llvm::AbstractState.
Definition at line 2277 of file Attributor.h.
Referenced by AA::PointerInfo::State::isValidState(), llvm::ValueSimplifyStateType::isValidState(), and llvm::PotentialValuesState< MemberTy >::isValidState().
|
protectedpure virtual |
Handle a new assumed value Value
. Subtype dependent.
Referenced by llvm::IntegerStateBase< uint8_t, BestState, WorstState >::operator&=().
|
protectedpure virtual |
Handle a value Value
. Subtype dependent.
Referenced by llvm::IntegerStateBase< uint8_t, BestState, WorstState >::operator|=().
|
inline |
Inequality for IntegerStateBase.
Definition at line 2309 of file Attributor.h.
|
inline |
Definition at line 2331 of file Attributor.h.
|
inline |
"Clamp" this state with R
.
The result is subtype dependent but it is intended that information known in either state will be known in this one afterwards.
Definition at line 2323 of file Attributor.h.
|
inline |
Equality for IntegerStateBase.
Definition at line 2302 of file Attributor.h.
|
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 2316 of file Attributor.h.
|
inline |
Definition at line 2327 of file Attributor.h.
|
protected |
The assumed state encoding in an integer of type base_t.
Definition at line 2352 of file Attributor.h.
Referenced by llvm::IntegerStateBase< uint8_t, BestState, WorstState >::getAssumed(), llvm::IntegerStateBase< uint8_t, BestState, WorstState >::indicateOptimisticFixpoint(), llvm::IntegerStateBase< uint8_t, BestState, WorstState >::indicatePessimisticFixpoint(), llvm::IntegerStateBase< uint8_t, BestState, WorstState >::isAtFixpoint(), and llvm::IntegerStateBase< uint8_t, BestState, WorstState >::isValidState().
|
protected |
The known state encoding in an integer of type base_t.
Definition at line 2349 of file Attributor.h.
Referenced by llvm::IntegerStateBase< uint8_t, BestState, WorstState >::getKnown(), llvm::IntegerStateBase< uint8_t, BestState, WorstState >::indicateOptimisticFixpoint(), llvm::IntegerStateBase< uint8_t, BestState, WorstState >::indicatePessimisticFixpoint(), and llvm::IntegerStateBase< uint8_t, BestState, WorstState >::isAtFixpoint().