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

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

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`.
AAPointerInfo::const_bin_iterator	begin () const
AAPointerInfo::const_bin_iterator	end () const
int64_t	numOffsetBins () 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.
static State	getWorstState (const State &SIS)
	Return the worst possible representable state.

Protected Member Functions
template<typename F>
bool	forallInterferingAccesses (AA::RangeTy Range, F CB) const
	See AAPointerInfo::forallInterferingAccesses.
template<typename F>
bool	forallInterferingAccesses (Instruction &I, F CB, AA::RangeTy &Range) const
	See AAPointerInfo::forallInterferingAccesses.

Protected Attributes
SmallVector< AAPointerInfo::Access >	AccessList
AAPointerInfo::OffsetBinsTy	OffsetBins
DenseMap< const Instruction *, SmallVector< unsigned > >	RemoteIMap
AAPointerInfo::OffsetInfo	ReturnedOffsets
	Flag to determine if the underlying pointer is reaching a return statement in the associated function or not.

Detailed Description

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

Definition at line 784 of file AttributorAttributes.cpp.

Constructor & Destructor Documentation

◆ State() [1/2]

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

default

Referenced by getAssumed(), getBestState(), getWorstState(), operator=(), operator=(), and State().

◆ State() [2/2]

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

default

References State().

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

References A(), AccessList, assert(), llvm::Bin, llvm::CHANGED, llvm::dbgs(), I, llvm::InnerAnalysisManagerProxy< AnalysisManagerT, IRUnitT, ExtraArgTs... >::Key, LLVM_DEBUG, OffsetBins, RemoteIMap, llvm::AAPointerInfo::RangeList::set_difference(), ToRemove, and llvm::UNCHANGED.