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

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

[legend]

Public Types
using	Accesses = DenseSet< AAPointerInfo::Access, AccessAsInstructionInfo >
	We store accesses in a set with the instruction as key. More...

using	AccessBinsTy = DenseMap< OffsetAndSize, Accesses >
	We store all accesses in bins denoted by their offset and size. More...

Public Member Functions
	State ()

	State (const State &SIS)

	State (State &&SIS)

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)

bool	operator== (const State &R) const

bool	operator!= (const State &R) const

AccessBinsTy::const_iterator	begin () const

AccessBinsTy::const_iterator	end () const

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

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
ChangeStatus	addAccess (int64_t Offset, int64_t Size, Instruction &I, Optional< Value * > Content, AAPointerInfo::AccessKind Kind, Type Ty, Instruction RemoteI=nullptr, Accesses *BinPtr=nullptr)
	Add a new access to the state at offset `Offset` and with size `Size`. More...

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

Protected Attributes
DenseMap< OffsetAndSize, Accesses >	AccessBins
	The bins with all the accesses for the associated pointer. More...

Detailed Description

}

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

Definition at line 882 of file AttributorAttributes.cpp.

Member Typedef Documentation

◆ AccessBinsTy

using llvm::AA::PointerInfo::State::AccessBinsTy = DenseMap<OffsetAndSize, Accesses>

We store all accesses in bins denoted by their offset and size.

Definition at line 965 of file AttributorAttributes.cpp.

◆ Accesses

using llvm::AA::PointerInfo::State::Accesses = DenseSet<AAPointerInfo::Access, AccessAsInstructionInfo>

We store accesses in a set with the instruction as key.

Definition at line 962 of file AttributorAttributes.cpp.

Constructor & Destructor Documentation

◆ State() [1/3]

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

inline

Definition at line 894 of file AttributorAttributes.cpp.

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

◆ State() [2/3]

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

inline

Definition at line 895 of file AttributorAttributes.cpp.

◆ State() [3/3]

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

inline

Definition at line 896 of file AttributorAttributes.cpp.

Member Function Documentation

◆ addAccess()

ChangeStatus llvm::AA::PointerInfo::State::addAccess	(	int64_t	Offset,
		int64_t	Size,
		Instruction &	I,
		Optional< Value * >	Content,
		AAPointerInfo::AccessKind	Kind,
		Type *	Ty,
		Instruction *	RemoteI = `nullptr`,
		Accesses *	BinPtr = `nullptr`
	)

inlineprotected

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. \Returns CHANGED, if the state changed, UNCHANGED otherwise.

Definition at line 978 of file AttributorAttributes.cpp.

References llvm::AA::PointerInfo::State::AccessBins, llvm::CHANGED, Content, llvm::detail::DenseSetImpl< ValueT, MapTy, ValueInfoT >::end(), llvm::detail::DenseSetImpl< ValueT, MapTy, ValueInfoT >::find(), I, llvm::detail::DenseSetImpl< ValueT, MapTy, ValueInfoT >::insert(), Offset, llvm::Check::Size, and llvm::UNCHANGED.