A collection of metadata nodes that might be associated with a memory access used by the alias-analysis infrastructure. More...

#include "llvm/IR/Metadata.h"

Public Member Functions
	AAMDNodes ()=default

	AAMDNodes (MDNode T, MDNode TS, MDNode S, MDNode N)

bool	operator== (const AAMDNodes &A) const

bool	operator!= (const AAMDNodes &A) const

	operator bool () const

AAMDNodes	intersect (const AAMDNodes &Other) const
	Given two sets of AAMDNodes that apply to the same pointer, give the best AAMDNodes that are compatible with both (i.e.

AAMDNodes	shift (size_t Offset) const
	Create a new AAMDNode that describes this AAMDNode after applying a constant offset to the start of the pointer.

AAMDNodes	extendTo (ssize_t Len) const
	Create a new AAMDNode that describes this AAMDNode after extending it to apply to a series of bytes of length Len.

AAMDNodes	merge (const AAMDNodes &Other) const
	Given two sets of AAMDNodes applying to potentially different locations, determine the best AAMDNodes that apply to both.

AAMDNodes	concat (const AAMDNodes &Other) const
	Determine the best AAMDNodes after concatenating two different locations together.

AAMDNodes	adjustForAccess (unsigned AccessSize)
	Create a new AAMDNode for accessing `AccessSize` bytes of this AAMDNode.

AAMDNodes	adjustForAccess (size_t Offset, Type *AccessTy, const DataLayout &DL)

AAMDNodes	adjustForAccess (size_t Offset, unsigned AccessSize)

Static Public Member Functions
static MDNode *	shiftTBAA (MDNode *M, size_t off)

static MDNode *	shiftTBAAStruct (MDNode *M, size_t off)

static MDNode *	extendToTBAA (MDNode *TBAA, ssize_t len)

Public Attributes
MDNode *	TBAA = nullptr
	The tag for type-based alias analysis.

MDNode *	TBAAStruct = nullptr
	The tag for type-based alias analysis (tbaa struct).

MDNode *	Scope = nullptr
	The tag for alias scope specification (used with noalias).

MDNode *	NoAlias = nullptr
	The tag specifying the noalias scope.

Detailed Description

A collection of metadata nodes that might be associated with a memory access used by the alias-analysis infrastructure.

Definition at line 760 of file Metadata.h.

Constructor & Destructor Documentation

◆ AAMDNodes() [1/2]

llvm::AAMDNodes::AAMDNodes ( )

explicitdefault

◆ AAMDNodes() [2/2]

llvm::AAMDNodes::AAMDNodes	(	MDNode *	T,
		MDNode *	TS,
		MDNode *	S,
		MDNode *	N
	)

inlineexplicit

Definition at line 762 of file Metadata.h.

Member Function Documentation

◆ adjustForAccess() [1/3]

AAMDNodes AAMDNodes::adjustForAccess	(	size_t	Offset,
		Type *	AccessTy,
		const DataLayout &	DL
	)

Definition at line 838 of file TypeBasedAliasAnalysis.cpp.

References DL, llvm::Offset, shift(), and Size.

◆ adjustForAccess() [2/3]

AAMDNodes AAMDNodes::adjustForAccess	(	size_t	Offset,
		unsigned	AccessSize
	)

Definition at line 850 of file TypeBasedAliasAnalysis.cpp.

References llvm::Offset, and shift().

◆ adjustForAccess() [3/3]

AAMDNodes AAMDNodes::adjustForAccess ( unsigned AccessSize )

Create a new AAMDNode for accessing AccessSize bytes of this AAMDNode.

If this AAMDNode has !tbaa.struct and AccessSize matches the size of the field at offset 0, get the TBAA tag describing the accessed field. If such an AAMDNode already embeds !tbaa, the existing one is retrieved. Finally, !tbaa.struct is zeroed out.

Definition at line 822 of file TypeBasedAliasAnalysis.cpp.

◆ concat()

AAMDNodes AAMDNodes::concat ( const AAMDNodes & Other ) const

Determine the best AAMDNodes after concatenating two different locations together.

Different from merge, where different locations should overlap each other, concat puts non-overlapping locations together.

Definition at line 531 of file TypeBasedAliasAnalysis.cpp.

References llvm::MDNode::getMostGenericAliasScope(), llvm::MDNode::intersect(), NoAlias, llvm::Other, and Scope.

Referenced by foldLoadsRecursive().

◆ extendTo()

AAMDNodes llvm::AAMDNodes::extendTo ( ssize_t Len ) const

inline

Create a new AAMDNode that describes this AAMDNode after extending it to apply to a series of bytes of length Len.

A size of -1 denotes an unknown size.

Definition at line 827 of file Metadata.h.

References extendToTBAA(), NoAlias, Scope, TBAA, and TBAAStruct.

◆ extendToTBAA()

MDNode * AAMDNodes::extendToTBAA	(	MDNode *	TBAA,
		ssize_t	len
	)

static

Definition at line 788 of file TypeBasedAliasAnalysis.cpp.

References llvm::ConstantInt::equalsInt(), llvm::ConstantAsMetadata::get(), llvm::MDNode::get(), llvm::MDNode::getContext(), llvm::Value::getType(), isStructPathTBAA(), and llvm::MDNode::operands().

Referenced by extendTo().

◆ intersect()

AAMDNodes llvm::AAMDNodes::intersect ( const AAMDNodes & Other ) const

inline

Given two sets of AAMDNodes that apply to the same pointer, give the best AAMDNodes that are compatible with both (i.e.

a set of nodes whose allowable aliasing conclusions are a subset of those allowable by both of the inputs). However, for efficiency reasons, do not create any new MDNodes.

Definition at line 803 of file Metadata.h.

References NoAlias, llvm::Other, Scope, TBAA, and TBAAStruct.