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

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

Collaboration diagram for llvm::AA::PointerInfo::State:

[legend]

Public Types
using	OffsetBinsTy = DenseMap< OffsetAndSize, 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(). More...

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

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

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

State &	operator= (const State &R)

State &	operator= (State &&R)

ChangeStatus	addAccess (Attributor &A, int64_t Offset, int64_t Size, Instruction &I, 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`. More...

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

Static Public Member Functions
static State	getBestState (const State &SIS)
	Return the best possible representable state. More...

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

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

bool	forallInterferingAccesses (Instruction &I, function_ref< bool(const AAPointerInfo::Access &, bool)> CB, AA::OffsetAndSize &OAS) const
	See AAPointerInfo::forallInterferingAccesses. More...

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 760 of file AttributorAttributes.cpp.

Member Typedef Documentation

◆ const_bin_iterator

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

Definition at line 829 of file AttributorAttributes.cpp.

◆ OffsetBinsTy

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

Definition at line 827 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,
		int64_t	Offset,
		int64_t	Size,
		Instruction &	I,
		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 900 of file AttributorAttributes.cpp.

References A, llvm::AA::PointerInfo::State::AccessList, assert(), llvm::Bin, Content, llvm::DenseMapBase< DerivedT, KeyT, ValueT, KeyInfoT, BucketT >::count(), llvm::dbgs(), llvm::AAPointerInfo::Access::getOffset(), llvm::AAPointerInfo::Access::getSize(), I, Index, llvm::DenseMapBase< DerivedT, KeyT, ValueT, KeyInfoT, BucketT >::insert(), LLVM_DEBUG, Offset, llvm::AA::PointerInfo::State::OffsetBins, llvm::AA::PointerInfo::State::RemoteIMap, and Size.

◆ begin()

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

inline

Definition at line 830 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 831 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::OffsetAndSize	OAS,
		function_ref< bool(const AAPointerInfo::Access &, bool)>	CB
	)		const

inlineprotected

See AAPointerInfo::forallInterferingAccesses.

Definition at line 855 of file AttributorAttributes.cpp.

References llvm::AA::PointerInfo::State::AccessList, Index, llvm::AA::PointerInfo::State::isValidState(), llvm::AA::OffsetAndSize::mayOverlap(), llvm::AA::PointerInfo::State::OffsetBins, and llvm::AA::OffsetAndSize::offsetOrSizeAreUnknown().

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::OffsetAndSize &	OAS
	)		const