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 5987 of file Attributor.h.

Member Typedef Documentation

◆ const_iterator

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

Definition at line 6130 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 5988 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 5994 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 6004 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 6120 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 6131 of file Attributor.h.

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

◆ end()

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

inline

Definition at line 6132 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 6112 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 6054 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 6084 of file Attributor.h.

Referenced by llvm::operator<<().

◆ getRanges()

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

inline

Definition at line 6128 of file Attributor.h.

◆ getRemoteInst()

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

inline

Return the actual instruction that causes the access.

Definition at line 6087 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 6101 of file Attributor.h.

◆ getUniqueRange()

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

inline

Definition at line 6115 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 6104 of file Attributor.h.

References assert(), and isWrittenValueYetUndetermined().

Referenced by getPotentialCopiesOfMemoryValue().

◆ hasUniqueRange()

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

inline

Definition at line 6114 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 6066 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 6075 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 6068 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 6057 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 6060 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 6063 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 6093 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 6090 of file Attributor.h.

Referenced by getPotentialCopiesOfMemoryValue(), and getWrittenValue().

◆ operator!=()

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

inline

Definition at line 6018 of file Attributor.h.

◆ operator&=()

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

inline

Definition at line 6020 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 6014 of file Attributor.h.

◆ setWrittenValueUnknown()

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

inline

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

Definition at line 6098 of file Attributor.h.

◆ verify()

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

inline

Definition at line 6044 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()