#include "llvm/Analysis/AliasSetTracker.h"

Public Types
using	iterator = ilist< AliasSet >::iterator

using	const_iterator = ilist< AliasSet >::const_iterator

Public Member Functions
	AliasSetTracker (AliasAnalysis &aa)
	Create an empty collection of AliasSets, and use the specified alias analysis object to disambiguate load and store addresses. More...

	~AliasSetTracker ()

void	add (Value *Ptr, LocationSize Size, const AAMDNodes &AAInfo)
	These methods are used to add different types of instructions to the alias sets. More...

void	add (LoadInst *LI)

void	add (StoreInst *SI)

void	add (VAArgInst *VAAI)

void	add (AnyMemSetInst *MSI)

void	add (AnyMemTransferInst *MTI)

void	add (Instruction *I)

void	add (BasicBlock &BB)

void	add (const AliasSetTracker &AST)

void	addUnknown (Instruction *I)

void	clear ()

const ilist< AliasSet > &	getAliasSets () const
	Return the alias sets that are active. More...

AliasSet &	getAliasSetFor (const MemoryLocation &MemLoc)
	Return the alias set which contains the specified memory location. More...

AliasAnalysis &	getAliasAnalysis () const
	Return the underlying alias analysis object used by this tracker. More...

void	deleteValue (Value *PtrVal)
	This method is used to remove a pointer value from the AliasSetTracker entirely. More...

void	copyValue (Value From, Value To)
	This method should be used whenever a preexisting value in the program is copied or cloned, introducing a new value. More...

const_iterator	begin () const

const_iterator	end () const

iterator	begin ()

iterator	end ()

void	print (raw_ostream &OS) const

void	dump () const

Friends
class	AliasSet

Detailed Description

Definition at line 325 of file AliasSetTracker.h.

Member Typedef Documentation

◆ const_iterator

using llvm::AliasSetTracker::const_iterator = ilist<AliasSet>::const_iterator

Definition at line 408 of file AliasSetTracker.h.

◆ iterator

using llvm::AliasSetTracker::iterator = ilist<AliasSet>::iterator

Definition at line 407 of file AliasSetTracker.h.

Constructor & Destructor Documentation

◆ AliasSetTracker()

llvm::AliasSetTracker::AliasSetTracker ( AliasAnalysis & aa )

inlineexplicit

Create an empty collection of AliasSets, and use the specified alias analysis object to disambiguate load and store addresses.

Definition at line 355 of file AliasSetTracker.h.

◆ ~AliasSetTracker()

llvm::AliasSetTracker::~AliasSetTracker ( )

inline

Definition at line 356 of file AliasSetTracker.h.

References llvm::ARM_AM::add, clear(), I, and SI.

Member Function Documentation

◆ add() [1/9]

void AliasSetTracker::add	(	Value *	Ptr,
		LocationSize	Size,
		const AAMDNodes &	AAInfo
	)

These methods are used to add different types of instructions to the alias sets.

Adding a new instruction can result in one of three actions happening:

If the instruction doesn't alias any other sets, create a new set.
If the instruction aliases exactly one set, add it to the set
If the instruction aliases multiple sets, merge the sets, and add the instruction to the result.

These methods return true if inserting the instruction resulted in the addition of a new alias set (i.e., the pointer did not alias anything).

Definition at line 376 of file AliasSetTracker.cpp.

Referenced by isIgnorableInst(), and sinkLoopInvariantInstructions().

◆ add() [2/9]

void AliasSetTracker::add ( LoadInst * LI )

Definition at line 381 of file AliasSetTracker.cpp.

References llvm::MemoryLocation::get(), llvm::LoadInst::getOrdering(), and llvm::isStrongerThanMonotonic().

◆ add() [3/9]

void AliasSetTracker::add ( StoreInst * SI )

Definition at line 387 of file AliasSetTracker.cpp.

References llvm::MemoryLocation::get(), llvm::StoreInst::getOrdering(), and llvm::isStrongerThanMonotonic().

◆ add() [4/9]

void AliasSetTracker::add ( VAArgInst * VAAI )

Definition at line 393 of file AliasSetTracker.cpp.

References llvm::MemoryLocation::get().

◆ add() [5/9]

void AliasSetTracker::add ( AnyMemSetInst * MSI )

Definition at line 397 of file AliasSetTracker.cpp.

References llvm::MemoryLocation::getForDest().

◆ add() [6/9]

void AliasSetTracker::add ( AnyMemTransferInst * MTI )

Definition at line 401 of file AliasSetTracker.cpp.

References llvm::MemoryLocation::getForDest(), and llvm::MemoryLocation::getForSource().

◆ add() [7/9]

void AliasSetTracker::add ( Instruction * I )

Definition at line 435 of file AliasSetTracker.cpp.

References llvm::ARM_AM::add, Arg, llvm::clearMod(), llvm::createModRefInfo(), llvm::enumerate(), llvm::AAResults::getArgModRefInfo(), llvm::MemoryLocation::getForArgument(), llvm::AAResults::getModRefBehavior(), llvm::Value::getType(), llvm::intersectModRef(), llvm::isModSet(), llvm::isNoModRef(), llvm::Type::isPointerTy(), llvm::isRefSet(), llvm::PatternMatch::match(), MRI, and SI.

◆ add() [8/9]

void AliasSetTracker::add ( BasicBlock & BB )

Definition at line 490 of file AliasSetTracker.cpp.

References llvm::ARM_AM::add.

◆ add() [9/9]

void AliasSetTracker::add ( const AliasSetTracker & AST )

Definition at line 495 of file AliasSetTracker.cpp.

References llvm::ARM_AM::add, assert(), llvm::AliasSet::begin(), E, and llvm::AliasSet::end().

◆ addUnknown()

void AliasSetTracker::addUnknown ( Instruction * I )

Definition at line 406 of file AliasSetTracker.cpp.

References llvm::Intrinsic::assume, llvm::Instruction::mayReadOrWriteMemory(), and llvm::Intrinsic::sideeffect.

◆ begin() [1/2]

const_iterator llvm::AliasSetTracker::begin ( ) const

inline

Definition at line 410 of file AliasSetTracker.h.

Referenced by llvm::canSinkOrHoistInst().

◆ begin() [2/2]

iterator llvm::AliasSetTracker::begin ( )

inline

Definition at line 413 of file AliasSetTracker.h.

◆ clear()

void AliasSetTracker::clear ( )

Definition at line 279 of file AliasSetTracker.cpp.

References llvm::AliasSet::begin(), E, llvm::AliasSet::end(), I, and llvm::AliasSet::mergeSetIn().

◆ copyValue()

void AliasSetTracker::copyValue	(	Value *	From,
		Value *	To
	)

This method should be used whenever a preexisting value in the program is copied or cloned, introducing a new value.

Note that it is ok for clients that use this method to introduce the same value multiple times: if the tracker already knows about a value, it will ignore the request.

Definition at line 552 of file AliasSetTracker.cpp.

References assert(), llvm::AliasSet::begin(), E, llvm::AliasSet::end(), and SaturationThreshold.

Referenced by dump(), llvm::hoistRegion(), and isSafeToExecuteUnconditionally().

◆ deleteValue()

void AliasSetTracker::deleteValue ( Value * PtrVal )

This method is used to remove a pointer value from the AliasSetTracker entirely.

It should be used when an instruction is deleted from the program to update the AST. If you don't use this, you would have dangling pointers to deleted instructions.

Definition at line 524 of file AliasSetTracker.cpp.

Referenced by dump(), eraseInstruction(), and isSafeToExecuteUnconditionally().

◆ dump()

LLVM_DUMP_METHOD void AliasSetTracker::dump ( ) const

◆ end() [1/2]

const_iterator llvm::AliasSetTracker::end ( ) const

inline

Definition at line 411 of file AliasSetTracker.h.

Referenced by llvm::canSinkOrHoistInst().

◆ end() [2/2]

iterator llvm::AliasSetTracker::end ( )

inline

Definition at line 414 of file AliasSetTracker.h.

References llvm::AliasSet::dump(), and llvm::AliasSet::print().

◆ getAliasAnalysis()

AliasAnalysis& llvm::AliasSetTracker::getAliasAnalysis ( ) const

inline

Return the underlying alias analysis object used by this tracker.

Definition at line 393 of file AliasSetTracker.h.

References From.

Referenced by llvm::AliasSet::mergeSetIn().

◆ getAliasSetFor()

AliasSet & AliasSetTracker::getAliasSetFor ( const MemoryLocation & MemLoc )

Return the alias set which contains the specified memory location.

If the memory location aliases two or more existing alias sets, will have the effect of merging those alias sets before the single resulting alias set is returned.

Definition at line 327 of file AliasSetTracker.cpp.

References llvm::MemoryLocation::AATags, assert(), llvm::MemoryLocation::Ptr, and llvm::MemoryLocation::Size.

Referenced by llvm::canSinkOrHoistInst(), and pointerInvalidatedByLoop().

◆ getAliasSets()

const ilist<AliasSet>& llvm::AliasSetTracker::getAliasSets ( ) const

inline

Return the alias sets that are active.

Definition at line 384 of file AliasSetTracker.h.

◆ print()

void AliasSetTracker::print ( raw_ostream & OS ) const

Definition at line 665 of file AliasSetTracker.cpp.

References llvm::AliasSet::print().

Referenced by llvm::operator<<().

Friends And Related Function Documentation

◆ AliasSet

friend class AliasSet

friend

Definition at line 420 of file AliasSetTracker.h.

The documentation for this class was generated from the following files:

include/llvm/Analysis/AliasSetTracker.h
lib/Analysis/AliasSetTracker.cpp

Public Types

Public Member Functions

Friends

Detailed Description

Member Typedef Documentation

◆ const_iterator

◆ iterator

Constructor & Destructor Documentation

◆ AliasSetTracker()

◆ ~AliasSetTracker()

Member Function Documentation

◆ add() [1/9]

◆ add() [2/9]

◆ add() [3/9]

◆ add() [4/9]

◆ add() [5/9]

◆ add() [6/9]

◆ add() [7/9]

◆ add() [8/9]

◆ add() [9/9]

◆ addUnknown()

◆ begin() [1/2]

◆ begin() [2/2]

◆ clear()

◆ copyValue()

◆ deleteValue()

◆ dump()

◆ end() [1/2]

◆ end() [2/2]

◆ getAliasAnalysis()

◆ getAliasSetFor()

◆ getAliasSets()

◆ print()

Friends And Related Function Documentation

◆ AliasSet