A class for a set state. More...

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

Inheritance diagram for llvm::PotentialValuesState< MemberTy >:

[legend]

Public Types
using	SetTy = SmallSetVector< MemberTy, 8 >

Public Member Functions
	PotentialValuesState ()

	PotentialValuesState (bool IsValid)

bool	isValidState () const override
	See AbstractState::isValidState(...)

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

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

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

PotentialValuesState &	getAssumed ()
	Return the assumed state.

const PotentialValuesState &	getAssumed () const

const SetTy &	getAssumedSet () const
	Return this set.

bool	undefIsContained () const
	Returns whether this state contains an undef value or not.

bool	operator== (const PotentialValuesState &RHS) const

void	unionAssumed (const MemberTy &C)
	Union assumed set with the passed value.

void	unionAssumed (const PotentialValuesState &PVS)
	Union assumed set with assumed set of the passed state `PVS`.

void	unionAssumedWithUndef ()
	Union assumed set with an undef value.

PotentialValuesState	operator^= (const PotentialValuesState &PVS)
	"Clamp" this state with `PVS`.

PotentialValuesState	operator&= (const PotentialValuesState &PVS)

bool	contains (const MemberTy &V) const

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 PotentialValuesState	getBestState ()
	Return empty set as the best state of potential values.

static PotentialValuesState	getBestState (const PotentialValuesState &PVS)

static PotentialValuesState	getWorstState ()
	Return full set as the worst state of potential values.

Static Public Attributes
static unsigned	MaxPotentialValues = 0
	Maximum number of potential values to be tracked.

Protected Member Functions
SetTy &	getAssumedSet ()

Detailed Description

template<typename MemberTy>
struct llvm::PotentialValuesState< MemberTy >

A class for a set state.

The assumed boolean state indicates whether the corresponding set is full set or not. If the assumed state is false, this is the worst state. The worst state (invalid state) of set of potential values is when the set contains every possible value (i.e. we cannot in any way limit the value that the target position can take). That never happens naturally, we only force it. As for the conditions under which we force it, see AAPotentialConstantValues.

Definition at line 4606 of file Attributor.h.

Member Typedef Documentation

◆ SetTy

template<typename MemberTy >

using llvm::PotentialValuesState< MemberTy >::SetTy = SmallSetVector<MemberTy, 8>

Definition at line 4607 of file Attributor.h.

Constructor & Destructor Documentation

◆ PotentialValuesState() [1/2]

template<typename MemberTy >

llvm::PotentialValuesState< MemberTy >::PotentialValuesState ( )

inline

Definition at line 4609 of file Attributor.h.

Referenced by llvm::PotentialValuesState< MemberTy >::getBestState(), and llvm::PotentialValuesState< MemberTy >::getWorstState().

◆ PotentialValuesState() [2/2]

template<typename MemberTy >

llvm::PotentialValuesState< MemberTy >::PotentialValuesState ( bool IsValid )

inline

Definition at line 4611 of file Attributor.h.

Member Function Documentation

◆ contains()

template<typename MemberTy >

bool llvm::PotentialValuesState< MemberTy >::contains ( const MemberTy & V ) const

inline

Definition at line 4697 of file Attributor.h.

References llvm::SetVector< T, Vector, Set >::contains(), llvm::PotentialValuesState< MemberTy >::isValidState(), and true.

◆ getAssumed() [1/2]

template<typename MemberTy >

PotentialValuesState & llvm::PotentialValuesState< MemberTy >::getAssumed ( )

inline

Return the assumed state.

Definition at line 4631 of file Attributor.h.

◆ getAssumed() [2/2]

template<typename MemberTy >

const PotentialValuesState & llvm::PotentialValuesState< MemberTy >::getAssumed ( ) const

inline

Definition at line 4632 of file Attributor.h.

◆ getAssumedSet() [1/2]

template<typename MemberTy >

SetTy & llvm::PotentialValuesState< MemberTy >::getAssumedSet ( )

inlineprotected

Definition at line 4702 of file Attributor.h.

References assert(), and llvm::PotentialValuesState< MemberTy >::isValidState().

◆ getAssumedSet() [2/2]

template<typename MemberTy >

const SetTy & llvm::PotentialValuesState< MemberTy >::getAssumedSet ( ) const

inline

Return this set.

We should check whether this set is valid or not by isValidState() before calling this function.

Definition at line 4636 of file Attributor.h.

References assert(), and llvm::PotentialValuesState< MemberTy >::isValidState().

Referenced by llvm::AAPotentialConstantValues::getAssumedConstant(), and llvm::operator<<().

◆ getBestState() [1/2]

template<typename MemberTy >

static PotentialValuesState llvm::PotentialValuesState< MemberTy >::getBestState ( )

inlinestatic

Return empty set as the best state of potential values.

Definition at line 4662 of file Attributor.h.

References llvm::PotentialValuesState< MemberTy >::PotentialValuesState().

Referenced by llvm::PotentialValuesState< MemberTy >::getBestState().

◆ getBestState() [2/2]

template<typename MemberTy >

static PotentialValuesState llvm::PotentialValuesState< MemberTy >::getBestState ( const PotentialValuesState< MemberTy > & PVS )

inlinestatic

Definition at line 4666 of file Attributor.h.

References llvm::PotentialValuesState< MemberTy >::getBestState().

◆ getWorstState()

template<typename MemberTy >

static PotentialValuesState llvm::PotentialValuesState< MemberTy >::getWorstState ( )

inlinestatic

Return full set as the worst state of potential values.

Definition at line 4671 of file Attributor.h.

References llvm::PotentialValuesState< MemberTy >::PotentialValuesState().

◆ indicateOptimisticFixpoint()

template<typename MemberTy >

ChangeStatus llvm::PotentialValuesState< MemberTy >::indicateOptimisticFixpoint ( )

inlineoverridevirtual

See AbstractState::indicateOptimisticFixpoint(...)

Implements llvm::AbstractState.

Definition at line 4626 of file Attributor.h.

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

◆ indicatePessimisticFixpoint()

template<typename MemberTy >

ChangeStatus llvm::PotentialValuesState< MemberTy >::indicatePessimisticFixpoint ( )

inlineoverridevirtual

See AbstractState::indicatePessimisticFixpoint(...)

Implements llvm::AbstractState.

Definition at line 4621 of file Attributor.h.

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

◆ isAtFixpoint()

template<typename MemberTy >

bool llvm::PotentialValuesState< MemberTy >::isAtFixpoint ( ) const

inlineoverridevirtual

See AbstractState::isAtFixpoint(...)

Implements llvm::AbstractState.

Definition at line 4618 of file Attributor.h.

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

◆ isValidState()

template<typename MemberTy >

bool llvm::PotentialValuesState< MemberTy >::isValidState ( ) const

inlineoverridevirtual

See AbstractState::isValidState(...)

Implements llvm::AbstractState.

Definition at line 4615 of file Attributor.h.

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

Referenced by llvm::PotentialValuesState< MemberTy >::contains(), llvm::AAPotentialConstantValues::getAssumedConstant(), llvm::PotentialValuesState< MemberTy >::getAssumedSet(), llvm::operator<<(), llvm::PotentialValuesState< MemberTy >::operator==(), and llvm::PotentialValuesState< MemberTy >::undefIsContained().

◆ operator&=()

template<typename MemberTy >

PotentialValuesState llvm::PotentialValuesState< MemberTy >::operator&= ( const PotentialValuesState< MemberTy > & PVS )

inline

Definition at line 4691 of file Attributor.h.

References llvm::PotentialValuesState< MemberTy >::unionAssumed().

◆ operator==()

template<typename MemberTy >

bool llvm::PotentialValuesState< MemberTy >::operator== ( const PotentialValuesState< MemberTy > & RHS ) const

inline

Definition at line 4647 of file Attributor.h.

References llvm::PotentialValuesState< MemberTy >::isValidState(), RHS, and llvm::PotentialValuesState< MemberTy >::undefIsContained().

◆ operator^=()

template<typename MemberTy >

PotentialValuesState llvm::PotentialValuesState< MemberTy >::operator^= ( const PotentialValuesState< MemberTy > & PVS )

inline

"Clamp" this state with PVS.

Definition at line 4685 of file Attributor.h.

References llvm::PotentialValuesState< MemberTy >::unionAssumed().

◆ undefIsContained()

template<typename MemberTy >

bool llvm::PotentialValuesState< MemberTy >::undefIsContained ( ) const

inline

Returns whether this state contains an undef value or not.

Definition at line 4642 of file Attributor.h.

References assert(), and llvm::PotentialValuesState< MemberTy >::isValidState().

Referenced by llvm::AAPotentialConstantValues::getAssumedConstant(), llvm::operator<<(), and llvm::PotentialValuesState< MemberTy >::operator==().

◆ unionAssumed() [1/2]

template<typename MemberTy >

void llvm::PotentialValuesState< MemberTy >::unionAssumed ( const MemberTy & C )

inline

Union assumed set with the passed value.

Definition at line 4676 of file Attributor.h.

References llvm::CallingConv::C.

Referenced by llvm::PotentialValuesState< MemberTy >::operator&=(), and llvm::PotentialValuesState< MemberTy >::operator^=().

◆ unionAssumed() [2/2]

template<typename MemberTy >

void llvm::PotentialValuesState< MemberTy >::unionAssumed ( const PotentialValuesState< MemberTy > & PVS )

inline

Union assumed set with assumed set of the passed state PVS.

Definition at line 4679 of file Attributor.h.

◆ unionAssumedWithUndef()

template<typename MemberTy >

void llvm::PotentialValuesState< MemberTy >::unionAssumedWithUndef ( )

inline

Union assumed set with an undef value.

Definition at line 4682 of file Attributor.h.

Member Data Documentation

◆ MaxPotentialValues

unsigned llvm::PotentialLLVMValuesState::MaxPotentialValues = 0

static

Maximum number of potential values to be tracked.

This is set by -attributor-max-potential-values command line option

Definition at line 4659 of file Attributor.h.

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

include/llvm/Transforms/IPO/Attributor.h
lib/Transforms/IPO/AttributorAttributes.cpp

Public Types

Public Member Functions

Static Public Member Functions

Static Public Attributes

Protected Member Functions

Detailed Description

Member Typedef Documentation

◆ SetTy

Constructor & Destructor Documentation

◆ PotentialValuesState() [1/2]

◆ PotentialValuesState() [2/2]

Member Function Documentation

◆ contains()

◆ getAssumed() [1/2]

◆ getAssumed() [2/2]

◆ getAssumedSet() [1/2]

◆ getAssumedSet() [2/2]

◆ getBestState() [1/2]

◆ getBestState() [2/2]

◆ getWorstState()

◆ indicateOptimisticFixpoint()

◆ indicatePessimisticFixpoint()

◆ isAtFixpoint()

◆ isValidState()

◆ operator&=()

◆ operator==()

◆ operator^=()

◆ undefIsContained()

◆ unionAssumed() [1/2]

◆ unionAssumed() [2/2]

◆ unionAssumedWithUndef()

Member Data Documentation

◆ MaxPotentialValues