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

Member Typedef Documentation

◆ const_iterator

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

Definition at line 6131 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 5989 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 5995 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 6005 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 6121 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 6132 of file Attributor.h.

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

◆ end()

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

inline

Definition at line 6133 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 6113 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 6055 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 6085 of file Attributor.h.

Referenced by llvm::operator<<().

◆ getRanges()

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

inline

Definition at line 6129 of file Attributor.h.

◆ getRemoteInst()

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

inline

Return the actual instruction that causes the access.

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

◆ getUniqueRange()

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

inline

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

References assert(), and isWrittenValueYetUndetermined().

Referenced by getPotentialCopiesOfMemoryValue().

◆ hasUniqueRange()

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

inline

Definition at line 6115 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 6067 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 6076 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 6069 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 6058 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 6061 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 6064 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 6094 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 6091 of file Attributor.h.

Referenced by getPotentialCopiesOfMemoryValue(), and getWrittenValue().

◆ operator!=()

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

inline

Definition at line 6019 of file Attributor.h.

◆ operator&=()

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

inline

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

◆ setWrittenValueUnknown()

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

inline

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

Definition at line 6099 of file Attributor.h.

◆ verify()

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

inline

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