A type to track pointer/struct usage and accesses for AAPointerInfo. More...

Inheritance diagram for llvm::AA::PointerInfo::State:

Public Types
using	OffsetBinsTy = DenseMap< RangeTy, SmallSet< unsigned, 4 > >

using	const_bin_iterator = OffsetBinsTy::const_iterator

Public Member Functions
	State ()=default

	State (State &&SIS)=default

const State &	getAssumed () const

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

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

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

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

State &	operator= (const State &R)

State &	operator= (State &&R)

ChangeStatus	addAccess (Attributor &A, const AAPointerInfo::RangeList &Ranges, Instruction &I, std::optional< Value * > Content, AAPointerInfo::AccessKind Kind, Type Ty, Instruction RemoteI=nullptr)
	Add a new Access to the state at offset `Offset` and with size `Size`.

const_bin_iterator	begin () const

const_bin_iterator	end () const

const AAPointerInfo::Access &	getAccess (unsigned Index) 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 State	getBestState (const State &SIS)
	Return the best possible representable state.

static State	getWorstState (const State &SIS)
	Return the worst possible representable state.

Protected Member Functions
bool	forallInterferingAccesses (AA::RangeTy Range, function_ref< bool(const AAPointerInfo::Access &, bool)> CB) const
	See AAPointerInfo::forallInterferingAccesses.

bool	forallInterferingAccesses (Instruction &I, function_ref< bool(const AAPointerInfo::Access &, bool)> CB, AA::RangeTy &Range) const
	See AAPointerInfo::forallInterferingAccesses.

Protected Attributes
SmallVector< AAPointerInfo::Access >	AccessList

OffsetBinsTy	OffsetBins

DenseMap< const Instruction *, SmallVector< unsigned > >	RemoteIMap

Detailed Description

A type to track pointer/struct usage and accesses for AAPointerInfo.

Definition at line 817 of file AttributorAttributes.cpp.

Member Typedef Documentation

◆ const_bin_iterator

using llvm::AA::PointerInfo::State::const_bin_iterator = OffsetBinsTy::const_iterator

Definition at line 886 of file AttributorAttributes.cpp.

◆ OffsetBinsTy

using llvm::AA::PointerInfo::State::OffsetBinsTy = DenseMap<RangeTy, SmallSet<unsigned, 4> >

Definition at line 884 of file AttributorAttributes.cpp.

Constructor & Destructor Documentation

◆ State() [1/2]

llvm::AA::PointerInfo::State::State ( )

default

Referenced by llvm::AA::PointerInfo::State::getBestState().

◆ State() [2/2]

llvm::AA::PointerInfo::State::State ( State && SIS )

default

Member Function Documentation

◆ addAccess()

ChangeStatus llvm::AA::PointerInfo::State::addAccess	(	Attributor &	A,
		const AAPointerInfo::RangeList &	Ranges,
		Instruction &	I,
		std::optional< Value * >	Content,
		AAPointerInfo::AccessKind	Kind,
		Type *	Ty,
		Instruction *	RemoteI = `nullptr`
	)

Add a new Access to the state at offset Offset and with size Size.

The access is associated with I, writes Content (if anything), and is of kind Kind. If an Access already exists for the same I and same RemoteI, the two are combined, potentially losing information about offset and size. The resulting access must now be moved from its original OffsetBin to the bin for its new offset.

\Returns CHANGED, if the state changed, UNCHANGED otherwise.

Definition at line 960 of file AttributorAttributes.cpp.

References A, llvm::AA::PointerInfo::State::AccessList, assert(), llvm::Bin, llvm::CHANGED, Content, llvm::DenseMapBase< DerivedT, KeyT, ValueT, KeyInfoT, BucketT >::count(), llvm::dbgs(), I, llvm::DenseMapBase< DerivedT, KeyT, ValueT, KeyInfoT, BucketT >::insert(), LLVM_DEBUG, llvm::AA::PointerInfo::State::OffsetBins, llvm::AA::PointerInfo::State::RemoteIMap, llvm::AAPointerInfo::RangeList::set_difference(), ToRemove, and llvm::UNCHANGED.

◆ begin()

const_bin_iterator llvm::AA::PointerInfo::State::begin ( ) const

inline

Definition at line 887 of file AttributorAttributes.cpp.

References llvm::DenseMapBase< DerivedT, KeyT, ValueT, KeyInfoT, BucketT >::begin(), and llvm::AA::PointerInfo::State::OffsetBins.

◆ end()

const_bin_iterator llvm::AA::PointerInfo::State::end ( ) const

inline

Definition at line 888 of file AttributorAttributes.cpp.

References llvm::DenseMapBase< DerivedT, KeyT, ValueT, KeyInfoT, BucketT >::end(), and llvm::AA::PointerInfo::State::OffsetBins.

◆ forallInterferingAccesses() [1/2]

bool llvm::AA::PointerInfo::State::forallInterferingAccesses	(	AA::RangeTy	Range,
		function_ref< bool(const AAPointerInfo::Access &, bool)>	CB
	)		const

inlineprotected

See AAPointerInfo::forallInterferingAccesses.

Definition at line 912 of file AttributorAttributes.cpp.

References llvm::AA::PointerInfo::State::AccessList, llvm::AA::PointerInfo::State::isValidState(), and llvm::AA::PointerInfo::State::OffsetBins.

Referenced by llvm::AA::PointerInfo::State::forallInterferingAccesses().

◆ forallInterferingAccesses() [2/2]

bool llvm::AA::PointerInfo::State::forallInterferingAccesses	(	Instruction &	I,
		function_ref< bool(const AAPointerInfo::Access &, bool)>	CB,
		AA::RangeTy &	Range
	)		const