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.

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 738 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 740 of file Metadata.h.

Member Function Documentation

◆ 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 530 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 805 of file Metadata.h.

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

◆ extendToTBAA()

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

static

Definition at line 787 of file TypeBasedAliasAnalysis.cpp.

References llvm::ArrayRef< T >::begin(), llvm::ArrayRef< T >::end(), llvm::ConstantInt::equalsInt(), llvm::ConstantAsMetadata::get(), llvm::MDNode::get(), llvm::ConstantInt::get(), llvm::MDNode::getContext(), llvm::ConstantInt::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 781 of file Metadata.h.

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