An access description. More...

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

Public Types
using	const_iterator = RangeList::const_iterator

Public Member Functions
	Access (Instruction I, int64_t Offset, int64_t Size, std::optional< Value > Content, AccessKind Kind, Type *Ty)

	Access (Instruction LocalI, Instruction RemoteI, const RangeList &Ranges, std::optional< Value * > Content, AccessKind K, Type *Ty)

	Access (Instruction LocalI, Instruction RemoteI, int64_t Offset, int64_t Size, std::optional< Value * > Content, AccessKind Kind, Type *Ty)

	Access (const Access &Other)=default

Access &	operator= (const Access &Other)=default

bool	operator== (const Access &R) const

bool	operator!= (const Access &R) const

Access &	operator&= (const Access &R)

void	verify ()

AccessKind	getKind () const
	Return the access kind.

bool	isRead () const
	Return true if this is a read access.

bool	isWrite () const
	Return true if this is a write access.

bool	isWriteOrAssumption () const
	Return true if this is a write access.

bool	isAssumption () const
	Return true if this is an assumption access.

bool	isMustAccess () const

bool	isMayAccess () const

Instruction *	getLocalInst () const
	Return the instruction that causes the access with respect to the local scope of the associated attribute.

Instruction *	getRemoteInst () const
	Return the actual instruction that causes the access.

bool	isWrittenValueYetUndetermined () const
	Return true if the value written is not known yet.

bool	isWrittenValueUnknown () const
	Return true if the value written cannot be determined at all.

void	setWrittenValueUnknown ()
	Set the value written to nullptr, i.e., unknown.

Type *	getType () const
	Return the type associated with the access, if known.

Value *	getWrittenValue () const
	Return the value writen, if any.

std::optional< Value * >	getContent () const
	Return the written value which can be `llvm::null` if it is not yet determined.

bool	hasUniqueRange () const

const AA::RangeTy &	getUniqueRange () const

void	addRange (int64_t Offset, int64_t Size)
	Add a range accessed by this Access.

const RangeList &	getRanges () const

const_iterator	begin () const

const_iterator	end () const

Detailed Description

An access description.

Definition at line 5327 of file Attributor.h.

Member Typedef Documentation

◆ const_iterator

using llvm::AAPointerInfo::Access::const_iterator = RangeList::const_iterator

Definition at line 5470 of file Attributor.h.

Constructor & Destructor Documentation

◆ Access() [1/4]

llvm::AAPointerInfo::Access::Access	(	Instruction *	I,
		int64_t	Offset,
		int64_t	Size,
		std::optional< Value * >	Content,
		AccessKind	Kind,
		Type *	Ty
	)

inline

Definition at line 5328 of file Attributor.h.

References Content, and verify().

◆ Access() [2/4]

llvm::AAPointerInfo::Access::Access	(	Instruction *	LocalI,
		Instruction *	RemoteI,
		const RangeList &	Ranges,
		std::optional< Value * >	Content,
		AccessKind	K,
		Type *	Ty
	)

inline

Definition at line 5334 of file Attributor.h.

References llvm::AAPointerInfo::AK_MAY, llvm::AAPointerInfo::AK_MUST, Content, and verify().

◆ Access() [3/4]

llvm::AAPointerInfo::Access::Access	(	Instruction *	LocalI,
		Instruction *	RemoteI,
		int64_t	Offset,
		int64_t	Size,
		std::optional< Value * >	Content,
		AccessKind	Kind,
		Type *	Ty
	)

inline

Definition at line 5344 of file Attributor.h.

References Content, and verify().

◆ Access() [4/4]

llvm::AAPointerInfo::Access::Access ( const Access & Other )

default

Member Function Documentation

◆ addRange()

void llvm::AAPointerInfo::Access::addRange	(	int64_t	Offset,
		int64_t	Size
	)

inline

Add a range accessed by this Access.

If there are multiple ranges, then this is a "may access".

Definition at line 5460 of file Attributor.h.

References llvm::AAPointerInfo::AK_MAY, llvm::AAPointerInfo::AK_MUST, hasUniqueRange(), llvm::AAPointerInfo::RangeList::insert(), llvm::Offset, and Size.

◆ begin()

const_iterator llvm::AAPointerInfo::Access::begin ( ) const

inline

Definition at line 5471 of file Attributor.h.

References llvm::AAPointerInfo::RangeList::begin().

◆ end()

const_iterator llvm::AAPointerInfo::Access::end ( ) const

inline

Definition at line 5472 of file Attributor.h.

References llvm::AAPointerInfo::RangeList::end().

◆ getContent()

std::optional< Value * > llvm::AAPointerInfo::Access::getContent ( ) const

inline

Return the written value which can be llvm::null if it is not yet determined.

Definition at line 5452 of file Attributor.h.

Referenced by getPotentialCopiesOfMemoryValue(), and llvm::operator<<().

◆ getKind()

AccessKind llvm::AAPointerInfo::Access::getKind ( ) const

inline

Return the access kind.

Definition at line 5394 of file Attributor.h.

Referenced by llvm::operator<<().

◆ getLocalInst()

Instruction * llvm::AAPointerInfo::Access::getLocalInst ( ) const

inline

Return the instruction that causes the access with respect to the local scope of the associated attribute.

Definition at line 5424 of file Attributor.h.

Referenced by llvm::operator<<().

◆ getRanges()

const RangeList & llvm::AAPointerInfo::Access::getRanges ( ) const

inline

Definition at line 5468 of file Attributor.h.

◆ getRemoteInst()

Instruction * llvm::AAPointerInfo::Access::getRemoteInst ( ) const

inline

Return the actual instruction that causes the access.

Definition at line 5427 of file Attributor.h.

Referenced by getPotentialCopiesOfMemoryValue(), and llvm::operator<<().

◆ getType()

Type * llvm::AAPointerInfo::Access::getType ( ) const

inline

Return the type associated with the access, if known.

Definition at line 5441 of file Attributor.h.

◆ getUniqueRange()

const AA::RangeTy & llvm::AAPointerInfo::Access::getUniqueRange ( ) const

inline

Definition at line 5455 of file Attributor.h.

References llvm::AAPointerInfo::RangeList::getUnique().

◆ getWrittenValue()

Value * llvm::AAPointerInfo::Access::getWrittenValue ( ) const

inline

Return the value writen, if any.

Definition at line 5444 of file Attributor.h.

References assert(), and isWrittenValueYetUndetermined().

Referenced by getPotentialCopiesOfMemoryValue().

◆ hasUniqueRange()

bool llvm::AAPointerInfo::Access::hasUniqueRange ( ) const

inline

Definition at line 5454 of file Attributor.h.

References llvm::AAPointerInfo::RangeList::isUnique().

Referenced by addRange().

◆ isAssumption()

bool llvm::AAPointerInfo::Access::isAssumption ( ) const

inline

Return true if this is an assumption access.

Definition at line 5406 of file Attributor.h.

References llvm::AAPointerInfo::AK_ASSUMPTION.

Referenced by isWriteOrAssumption(), and verify().

◆ isMayAccess()

bool llvm::AAPointerInfo::Access::isMayAccess ( ) const

inline

Definition at line 5415 of file Attributor.h.

References llvm::AAPointerInfo::AK_MAY, assert(), and llvm::AAPointerInfo::RangeList::size().

Referenced by verify().

◆ isMustAccess()

bool llvm::AAPointerInfo::Access::isMustAccess ( ) const

inline

Definition at line 5408 of file Attributor.h.

References llvm::AAPointerInfo::AK_MUST, assert(), and llvm::AAPointerInfo::RangeList::size().

Referenced by verify().

◆ isRead()

bool llvm::AAPointerInfo::Access::isRead ( ) const

inline

Return true if this is a read access.

Definition at line 5397 of file Attributor.h.

References llvm::AAPointerInfo::AK_R.

Referenced by getPotentialCopiesOfMemoryValue().

◆ isWrite()

bool llvm::AAPointerInfo::Access::isWrite ( ) const

inline

Return true if this is a write access.

Definition at line 5400 of file Attributor.h.

References llvm::AAPointerInfo::AK_W.

Referenced by isWriteOrAssumption(), and verify().

◆ isWriteOrAssumption()

bool llvm::AAPointerInfo::Access::isWriteOrAssumption ( ) const

inline

Return true if this is a write access.

Definition at line 5403 of file Attributor.h.

References isAssumption(), and isWrite().

Referenced by getPotentialCopiesOfMemoryValue().

◆ isWrittenValueUnknown()

bool llvm::AAPointerInfo::Access::isWrittenValueUnknown ( ) const

inline

Return true if the value written cannot be determined at all.

Definition at line 5433 of file Attributor.h.

Referenced by getPotentialCopiesOfMemoryValue().

◆ isWrittenValueYetUndetermined()

bool llvm::AAPointerInfo::Access::isWrittenValueYetUndetermined ( ) const

inline

Return true if the value written is not known yet.

Definition at line 5430 of file Attributor.h.

Referenced by getPotentialCopiesOfMemoryValue(), and getWrittenValue().

◆ operator!=()

bool llvm::AAPointerInfo::Access::operator!= ( const Access & R ) const

inline

Definition at line 5358 of file Attributor.h.

◆ operator&=()

Access & llvm::AAPointerInfo::Access::operator&= ( const Access & R )

inline

Definition at line 5360 of file Attributor.h.

References llvm::AAPointerInfo::AK_MAY, llvm::AAPointerInfo::AK_MUST, assert(), llvm::AA::combineOptionalValuesInAAValueLatice(), llvm::AAPointerInfo::RangeList::merge(), llvm::AAPointerInfo::RangeList::size(), and verify().

◆ operator=()

Access & llvm::AAPointerInfo::Access::operator= ( const Access & Other )

default

◆ operator==()

bool llvm::AAPointerInfo::Access::operator== ( const Access & R ) const

inline

Definition at line 5354 of file Attributor.h.

◆ setWrittenValueUnknown()

void llvm::AAPointerInfo::Access::setWrittenValueUnknown ( )

inline

Set the value written to nullptr, i.e., unknown.

Definition at line 5438 of file Attributor.h.

◆ verify()

void llvm::AAPointerInfo::Access::verify ( )

inline

Definition at line 5384 of file Attributor.h.

References assert(), isAssumption(), isMayAccess(), isMustAccess(), isWrite(), and llvm::AAPointerInfo::RangeList::size().

Referenced by Access(), and operator&=().

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

include/llvm/Transforms/IPO/Attributor.h

Public Types

Public Member Functions

Detailed Description

Member Typedef Documentation

◆ const_iterator

Constructor & Destructor Documentation

◆ Access() [1/4]

◆ Access() [2/4]

◆ Access() [3/4]

◆ Access() [4/4]

Member Function Documentation

◆ addRange()

◆ begin()

◆ end()

◆ getContent()

◆ getKind()

◆ getLocalInst()

◆ getRanges()

◆ getRemoteInst()

◆ getType()

◆ getUniqueRange()

◆ getWrittenValue()

◆ hasUniqueRange()

◆ isAssumption()

◆ isMayAccess()

◆ isMustAccess()

◆ isRead()

◆ isWrite()

◆ isWriteOrAssumption()

◆ isWrittenValueUnknown()

◆ isWrittenValueYetUndetermined()

◆ operator!=()

◆ operator&=()

◆ operator=()

◆ operator==()

◆ setWrittenValueUnknown()

◆ verify()