Simple state with integers encoding. More...

#include "llvm/Transforms/IPO/Attributor.h"

Inheritance diagram for llvm::IntegerStateBase< base_ty, BestState, WorstState >:

[legend]

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.

bool	isAtFixpoint () const override
	See AbstractState::isAtFixpoint()

ChangeStatus	indicateOptimisticFixpoint () override
	See AbstractState::indicateOptimisticFixpoint(...)

ChangeStatus	indicatePessimisticFixpoint () override
	See AbstractState::indicatePessimisticFixpoint(...)

base_t	getKnown () const
	Return the known state encoding.

base_t	getAssumed () const
	Return the assumed state encoding.

bool	operator== (const IntegerStateBase< base_t, BestState, WorstState > &R) const
	Equality for IntegerStateBase.

bool	operator!= (const IntegerStateBase< base_t, BestState, WorstState > &R) const
	Inequality for IntegerStateBase.

void	operator^= (const IntegerStateBase< base_t, BestState, WorstState > &R)
	"Clamp" this state with `R`.

void	operator+= (const IntegerStateBase< base_t, BestState, WorstState > &R)
	"Clamp" this state with `R`.

void	operator\|= (const IntegerStateBase< base_t, BestState, WorstState > &R)

void	operator&= (const IntegerStateBase< base_t, BestState, WorstState > &R)

Public Member Functions inherited from llvm::AbstractState
virtual	~AbstractState ()=default

virtual bool	isValidState () const =0
	Return if this abstract state is in a valid state.

virtual bool	isAtFixpoint () const =0
	Return if this abstract state is fixed, thus does not need to be updated if information changes as it cannot change itself.

virtual ChangeStatus	indicateOptimisticFixpoint ()=0
	Indicate that the abstract state should converge to the optimistic state.

virtual ChangeStatus	indicatePessimisticFixpoint ()=0
	Indicate that the abstract state should converge to the pessimistic state.

Static Public Member Functions
static constexpr base_t	getBestState ()
	Return the best possible representable state.

static constexpr base_t	getBestState (const IntegerStateBase &)

static constexpr base_t	getWorstState ()
	Return the worst possible representable state.

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.

virtual void	handleNewKnownValue (base_t Value)=0
	Handle a new known value `Value`. Subtype dependent.

virtual void	joinOR (base_t AssumedValue, base_t KnownValue)=0
	Handle a value `Value`. Subtype dependent.

virtual void	joinAND (base_t AssumedValue, base_t KnownValue)=0
	Handle a new assumed value `Value`. Subtype dependent.

Protected Attributes
base_t	Known = getWorstState()
	The known state encoding in an integer of type base_t.

base_t	Assumed = getBestState()
	The assumed state encoding in an integer of type base_t.

Detailed Description

template<typename base_ty, base_ty BestState, base_ty WorstState>
struct llvm::IntegerStateBase< base_ty, BestState, WorstState >

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 monotonicity and thereby the existence of a fixpoint (if used correctly). 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 2652 of file Attributor.h.

Member Typedef Documentation

◆ base_t

template<typename base_ty , base_ty BestState, base_ty WorstState>

using llvm::IntegerStateBase< base_ty, BestState, WorstState >::base_t = base_ty

Definition at line 2653 of file Attributor.h.

Constructor & Destructor Documentation

◆ IntegerStateBase() [1/2]

template<typename base_ty , base_ty BestState, base_ty WorstState>

llvm::IntegerStateBase< base_ty, BestState, WorstState >::IntegerStateBase ( )

default

◆ IntegerStateBase() [2/2]

template<typename base_ty , base_ty BestState, base_ty WorstState>

llvm::IntegerStateBase< base_ty, BestState, WorstState >::IntegerStateBase ( base_t Assumed )

inline

Definition at line 2656 of file Attributor.h.

Member Function Documentation

◆ getAssumed()

template<typename base_ty , base_ty BestState, base_ty WorstState>

base_t llvm::IntegerStateBase< base_ty, BestState, WorstState >::getAssumed ( ) const

inline

Return the assumed state encoding.

Definition at line 2693 of file Attributor.h.

References llvm::IntegerStateBase< base_ty, BestState, WorstState >::Assumed.

Referenced by llvm::AAAlign::getAssumedAlign(), llvm::AADereferenceable::getAssumedDereferenceableBytes(), llvm::AANoFPClass::getAssumedNoFPClass(), llvm::AAMemoryLocation::getAssumedNotAccessedLocation(), llvm::AADereferenceable::isAssumedGlobal(), llvm::operator<<(), and llvm::IntegerStateBase< base_ty, BestState, WorstState >::operator==().

◆ getBestState() [1/2]

template<typename base_ty , base_ty BestState, base_ty WorstState>

static constexpr base_t llvm::IntegerStateBase< base_ty, BestState, WorstState >::getBestState ( )

inlinestaticconstexpr

Return the best possible representable state.

Definition at line 2659 of file Attributor.h.

Referenced by llvm::IntegerStateBase< base_ty, BestState, WorstState >::getBestState().

◆ getBestState() [2/2]

template<typename base_ty , base_ty BestState, base_ty WorstState>

static constexpr base_t llvm::IntegerStateBase< base_ty, BestState, WorstState >::getBestState ( const IntegerStateBase< base_ty, BestState, WorstState > & )

inlinestaticconstexpr

Definition at line 2660 of file Attributor.h.

References llvm::IntegerStateBase< base_ty, BestState, WorstState >::getBestState().

◆ getKnown()

template<typename base_ty , base_ty BestState, base_ty WorstState>

base_t llvm::IntegerStateBase< base_ty, BestState, WorstState >::getKnown ( ) const

inline

Return the known state encoding.

Definition at line 2690 of file Attributor.h.

References llvm::IntegerStateBase< base_ty, BestState, WorstState >::Known.

Referenced by llvm::AAAlign::getKnownAlign(), llvm::AADereferenceable::getKnownDereferenceableBytes(), llvm::AANoFPClass::getKnownNoFPClass(), llvm::AADereferenceable::isKnownGlobal(), llvm::operator<<(), and llvm::IntegerStateBase< base_ty, BestState, WorstState >::operator==().

◆ getWorstState() [1/2]

template<typename base_ty , base_ty BestState, base_ty WorstState>

static constexpr base_t llvm::IntegerStateBase< base_ty, BestState, WorstState >::getWorstState ( )

inlinestaticconstexpr

Return the worst possible representable state.

Definition at line 2665 of file Attributor.h.

Referenced by llvm::IntegerStateBase< base_ty, BestState, WorstState >::getWorstState(), and llvm::IntegerStateBase< base_ty, BestState, WorstState >::isValidState().

◆ getWorstState() [2/2]

template<typename base_ty , base_ty BestState, base_ty WorstState>

static constexpr base_t llvm::IntegerStateBase< base_ty, BestState, WorstState >::getWorstState ( const IntegerStateBase< base_ty, BestState, WorstState > & )

inlinestaticconstexpr

Definition at line 2666 of file Attributor.h.

References llvm::IntegerStateBase< base_ty, BestState, WorstState >::getWorstState().

◆ handleNewAssumedValue()

template<typename base_ty , base_ty BestState, base_ty WorstState>

virtual void llvm::IntegerStateBase< base_ty, BestState, WorstState >::handleNewAssumedValue ( base_t Value )

protectedpure virtual

Handle a new assumed value Value. Subtype dependent.

Referenced by llvm::IntegerStateBase< base_ty, BestState, WorstState >::operator^=().

◆ handleNewKnownValue()

template<typename base_ty , base_ty BestState, base_ty WorstState>

virtual void llvm::IntegerStateBase< base_ty, BestState, WorstState >::handleNewKnownValue ( base_t Value )

protectedpure virtual

Handle a new known value Value. Subtype dependent.

Referenced by llvm::IntegerStateBase< base_ty, BestState, WorstState >::operator+=().

◆ indicateOptimisticFixpoint()

template<typename base_ty , base_ty BestState, base_ty WorstState>

ChangeStatus llvm::IntegerStateBase< base_ty, BestState, WorstState >::indicateOptimisticFixpoint ( )

inlineoverridevirtual

See AbstractState::indicateOptimisticFixpoint(...)

Implements llvm::AbstractState.

Definition at line 2678 of file Attributor.h.

References llvm::IntegerStateBase< base_ty, BestState, WorstState >::Assumed, llvm::IntegerStateBase< base_ty, BestState, WorstState >::Known, and llvm::UNCHANGED.

Referenced by llvm::ValueSimplifyStateType::indicateOptimisticFixpoint(), llvm::PotentialValuesState< MemberTy >::indicateOptimisticFixpoint(), and llvm::AA::PointerInfo::State::indicateOptimisticFixpoint().

◆ indicatePessimisticFixpoint()

template<typename base_ty , base_ty BestState, base_ty WorstState>

ChangeStatus llvm::IntegerStateBase< base_ty, BestState, WorstState >::indicatePessimisticFixpoint ( )

inlineoverridevirtual

See AbstractState::indicatePessimisticFixpoint(...)

Implements llvm::AbstractState.

Definition at line 2684 of file Attributor.h.

References llvm::IntegerStateBase< base_ty, BestState, WorstState >::Assumed, llvm::CHANGED, and llvm::IntegerStateBase< base_ty, BestState, WorstState >::Known.

Referenced by llvm::ValueSimplifyStateType::indicatePessimisticFixpoint(), llvm::PotentialValuesState< MemberTy >::indicatePessimisticFixpoint(), and llvm::AA::PointerInfo::State::indicatePessimisticFixpoint().

◆ isAtFixpoint()

template<typename base_ty , base_ty BestState, base_ty WorstState>

bool llvm::IntegerStateBase< base_ty, BestState, WorstState >::isAtFixpoint ( ) const

inlineoverridevirtual

See AbstractState::isAtFixpoint()

Implements llvm::AbstractState.

Definition at line 2675 of file Attributor.h.

References llvm::IntegerStateBase< base_ty, BestState, WorstState >::Assumed, and llvm::IntegerStateBase< base_ty, BestState, WorstState >::Known.

Referenced by llvm::ValueSimplifyStateType::isAtFixpoint(), llvm::PotentialValuesState< MemberTy >::isAtFixpoint(), and llvm::AA::PointerInfo::State::isAtFixpoint().

◆ isValidState()

template<typename base_ty , base_ty BestState, base_ty WorstState>

bool llvm::IntegerStateBase< base_ty, BestState, WorstState >::isValidState ( ) const

inlineoverridevirtual

See AbstractState::isValidState() NOTE: For now we simply pretend that the worst possible state is invalid.

Implements llvm::AbstractState.

Definition at line 2672 of file Attributor.h.

References llvm::IntegerStateBase< base_ty, BestState, WorstState >::Assumed, and llvm::IntegerStateBase< base_ty, BestState, WorstState >::getWorstState().

Referenced by llvm::ValueSimplifyStateType::isValidState(), llvm::PotentialValuesState< MemberTy >::isValidState(), and llvm::AA::PointerInfo::State::isValidState().

◆ joinAND()

template<typename base_ty , base_ty BestState, base_ty WorstState>

virtual void llvm::IntegerStateBase< base_ty, BestState, WorstState >::joinAND	(	base_t	AssumedValue,
		base_t	KnownValue
	)

protectedpure virtual

Handle a new assumed value Value. Subtype dependent.

Referenced by llvm::IntegerStateBase< base_ty, BestState, WorstState >::operator&=().

◆ joinOR()

template<typename base_ty , base_ty BestState, base_ty WorstState>

virtual void llvm::IntegerStateBase< base_ty, BestState, WorstState >::joinOR	(	base_t	AssumedValue,
		base_t	KnownValue
	)

protectedpure virtual

Handle a value Value. Subtype dependent.

Referenced by llvm::IntegerStateBase< base_ty, BestState, WorstState >::operator|=().

◆ operator!=()

template<typename base_ty , base_ty BestState, base_ty WorstState>

bool llvm::IntegerStateBase< base_ty, BestState, WorstState >::operator!= ( const IntegerStateBase< base_t, BestState, WorstState > & R ) const

inline

Inequality for IntegerStateBase.

Definition at line 2704 of file Attributor.h.

◆ operator&=()

template<typename base_ty , base_ty BestState, base_ty WorstState>

void llvm::IntegerStateBase< base_ty, BestState, WorstState >::operator&= ( const IntegerStateBase< base_t, BestState, WorstState > & R )

inline

Definition at line 2726 of file Attributor.h.

References llvm::IntegerStateBase< base_ty, BestState, WorstState >::joinAND().

◆ operator+=()

template<typename base_ty , base_ty BestState, base_ty WorstState>

void llvm::IntegerStateBase< base_ty, BestState, WorstState >::operator+= ( const IntegerStateBase< base_t, BestState, WorstState > & R )

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 2718 of file Attributor.h.

References llvm::IntegerStateBase< base_ty, BestState, WorstState >::handleNewKnownValue().

◆ operator==()

template<typename base_ty , base_ty BestState, base_ty WorstState>

bool llvm::IntegerStateBase< base_ty, BestState, WorstState >::operator== ( const IntegerStateBase< base_t, BestState, WorstState > & R ) const

inline

Equality for IntegerStateBase.

Definition at line 2697 of file Attributor.h.

References llvm::IntegerStateBase< base_ty, BestState, WorstState >::getAssumed(), and llvm::IntegerStateBase< base_ty, BestState, WorstState >::getKnown().

◆ operator^=()

template<typename base_ty , base_ty BestState, base_ty WorstState>

void llvm::IntegerStateBase< base_ty, BestState, WorstState >::operator^= ( const IntegerStateBase< base_t, BestState, WorstState > & R )

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 2711 of file Attributor.h.

References llvm::IntegerStateBase< base_ty, BestState, WorstState >::handleNewAssumedValue().

◆ operator|=()

template<typename base_ty , base_ty BestState, base_ty WorstState>

void llvm::IntegerStateBase< base_ty, BestState, WorstState >::operator|= ( const IntegerStateBase< base_t, BestState, WorstState > & R )

inline

Definition at line 2722 of file Attributor.h.

References llvm::IntegerStateBase< base_ty, BestState, WorstState >::joinOR().

Member Data Documentation

◆ Assumed

template<typename base_ty , base_ty BestState, base_ty WorstState>

base_t llvm::IntegerStateBase< base_ty, BestState, WorstState >::Assumed = getBestState()

protected

The assumed state encoding in an integer of type base_t.

Definition at line 2747 of file Attributor.h.

◆ Known

template<typename base_ty , base_ty BestState, base_ty WorstState>

base_t llvm::IntegerStateBase< base_ty, BestState, WorstState >::Known = getWorstState()

protected

The known state encoding in an integer of type base_t.

Definition at line 2744 of file Attributor.h.

The documentation for this struct was generated from the following file:

include/llvm/Transforms/IPO/Attributor.h

Public Types

Public Member Functions

Static Public Member Functions

Protected Member Functions

Protected Attributes

Detailed Description

Member Typedef Documentation

◆ base_t

Constructor & Destructor Documentation

◆ IntegerStateBase() [1/2]

◆ IntegerStateBase() [2/2]

Member Function Documentation

◆ getAssumed()

◆ getBestState() [1/2]

◆ getBestState() [2/2]

◆ getKnown()

◆ getWorstState() [1/2]

◆ getWorstState() [2/2]

◆ handleNewAssumedValue()

◆ handleNewKnownValue()

◆ indicateOptimisticFixpoint()

◆ indicatePessimisticFixpoint()

◆ isAtFixpoint()

◆ isValidState()

◆ joinAND()

◆ joinOR()

◆ operator!=()

◆ operator&=()

◆ operator+=()

◆ operator==()

◆ operator^=()

◆ operator|=()

Member Data Documentation

◆ Assumed

◆ Known