#include <AliasSetTracker.h>

Classes
class	ASTCallbackVH
struct	ASTCallbackVHDenseMapInfo
Public Types
typedef ilist< AliasSet >::iterator	iterator
typedef ilist< AliasSet > ::const_iterator	const_iterator
Public Member Functions
	AliasSetTracker (AliasAnalysis &aa)
	~AliasSetTracker ()
bool	add (Value *Ptr, uint64_t Size, const AAMDNodes &AAInfo)
bool	add (LoadInst *LI)
bool	add (StoreInst *SI)
bool	add (VAArgInst *VAAI)
bool	add (Instruction *I)
void	add (BasicBlock &BB)
void	add (const AliasSetTracker &AST)
bool	addUnknown (Instruction *I)
bool	remove (Value *Ptr, uint64_t Size, const AAMDNodes &AAInfo)
bool	remove (LoadInst *LI)
bool	remove (StoreInst *SI)
bool	remove (VAArgInst *VAAI)
bool	remove (Instruction *I)
void	remove (AliasSet &AS)
bool	removeUnknown (Instruction *I)
void	clear ()
const ilist< AliasSet > &	getAliasSets () const
AliasSet &	getAliasSetForPointer (Value P, uint64_t Size, const AAMDNodes &AAInfo, bool New=nullptr)
AliasSet *	getAliasSetForPointerIfExists (Value *P, uint64_t Size, const AAMDNodes &AAInfo)
bool	containsPointer (Value *P, uint64_t Size, const AAMDNodes &AAInfo) const
AliasAnalysis &	getAliasAnalysis () const
void	deleteValue (Value *PtrVal)
void	copyValue (Value From, Value To)
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 282 of file AliasSetTracker.h.

Member Typedef Documentation

typedef ilist<AliasSet>::const_iterator llvm::AliasSetTracker::const_iterator

Definition at line 394 of file AliasSetTracker.h.

typedef ilist<AliasSet>::iterator llvm::AliasSetTracker::iterator

Definition at line 393 of file AliasSetTracker.h.

Constructor & Destructor Documentation

llvm::AliasSetTracker::AliasSetTracker ( AliasAnalysis & aa ) [inline, explicit]

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

Definition at line 311 of file AliasSetTracker.h.

llvm::AliasSetTracker::~AliasSetTracker ( ) [inline]

Definition at line 312 of file AliasSetTracker.h.

References clear().

Member Function Documentation

bool AliasSetTracker::add	(	Value *	Ptr,
		uint64_t	Size,
		const AAMDNodes &	AAInfo
	)

add methods - 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:

1. If the instruction doesn't alias any other sets, create a new set. 2. If the instruction aliases exactly one set, add it to the set 3. 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 291 of file AliasSetTracker.cpp.

Referenced by add().

bool AliasSetTracker::add ( LoadInst * LI )

Definition at line 298 of file AliasSetTracker.cpp.

References addUnknown(), llvm::Instruction::getAAMetadata(), llvm::User::getOperand(), llvm::LoadInst::getOrdering(), llvm::Value::getType(), llvm::AliasAnalysis::getTypeStoreSize(), llvm::LoadInst::isVolatile(), and llvm::Monotonic.

bool AliasSetTracker::add ( StoreInst * SI )

Definition at line 313 of file AliasSetTracker.cpp.

References addUnknown(), llvm::Instruction::getAAMetadata(), llvm::User::getOperand(), llvm::StoreInst::getOrdering(), llvm::Value::getType(), llvm::AliasAnalysis::getTypeStoreSize(), llvm::StoreInst::isVolatile(), and llvm::Monotonic.

bool AliasSetTracker::add ( VAArgInst * VAAI )

Definition at line 329 of file AliasSetTracker.cpp.

References llvm::Instruction::getAAMetadata(), llvm::User::getOperand(), and llvm::AliasAnalysis::UnknownSize.

bool AliasSetTracker::add ( Instruction * I )

Definition at line 357 of file AliasSetTracker.cpp.

References add(), addUnknown(), and LI.

void AliasSetTracker::add ( BasicBlock & BB )

Definition at line 368 of file AliasSetTracker.cpp.

References add(), llvm::BasicBlock::begin(), llvm::BasicBlock::end(), and I.

void AliasSetTracker::add ( const AliasSetTracker & AST )

Definition at line 373 of file AliasSetTracker.cpp.

References add(), llvm::AliasSet::begin(), begin(), llvm::AliasSet::end(), end(), I, llvm::AliasSet::isVolatile(), and llvm::X.

bool AliasSetTracker::addUnknown ( Instruction * I )

Definition at line 340 of file AliasSetTracker.cpp.

References AliasSet, llvm::iplist< NodeTy, Traits >::back(), llvm::Instruction::mayReadOrWriteMemory(), and llvm::ilist< NodeTy >::push_back().

Referenced by add().

const_iterator llvm::AliasSetTracker::begin ( ) const [inline]

Definition at line 396 of file AliasSetTracker.h.

References llvm::iplist< NodeTy, Traits >::begin().

Referenced by add(), containsPointer(), deleteValue(), and print().

iterator llvm::AliasSetTracker::begin ( ) [inline]

Definition at line 399 of file AliasSetTracker.h.

References llvm::iplist< NodeTy, Traits >::begin().

void AliasSetTracker::clear ( )

Definition at line 200 of file AliasSetTracker.cpp.

References llvm::DenseMapBase< DerivedT, KeyT, ValueT, KeyInfoT >::begin(), llvm::DenseMapBase< DerivedT, KeyT, ValueT, KeyInfoT >::clear(), llvm::iplist< NodeTy, Traits >::clear(), llvm::DenseMapBase< DerivedT, KeyT, ValueT, KeyInfoT >::end(), and I.

Referenced by ~AliasSetTracker().

bool AliasSetTracker::containsPointer	(	Value *	Ptr,
		uint64_t	Size,
		const AAMDNodes &	AAInfo
	)		const

containsPointer - Return true if the specified location is represented by this alias set, false otherwise. This does not modify the AST object or alias sets.

Definition at line 237 of file AliasSetTracker.cpp.

References begin(), end(), and I.

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

copyValue - 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 538 of file AliasSetTracker.cpp.

References llvm::AliasAnalysis::copyValue(), llvm::DenseMapBase< DerivedT, KeyT, ValueT, KeyInfoT >::end(), and llvm::DenseMapBase< DerivedT, KeyT, ValueT, KeyInfoT >::find_as().

void AliasSetTracker::deleteValue ( Value * PtrVal )

deleteValue method - 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 499 of file AliasSetTracker.cpp.

References begin(), llvm::AliasAnalysis::deleteValue(), llvm::DenseMapBase< DerivedT, KeyT, ValueT, KeyInfoT >::end(), end(), llvm::DenseMapBase< DerivedT, KeyT, ValueT, KeyInfoT >::erase(), llvm::DenseMapBase< DerivedT, KeyT, ValueT, KeyInfoT >::find_as(), I, and llvm::Instruction::mayReadOrWriteMemory().

Referenced by promoteSingleBlockAlloca(), and rewriteSingleStoreAlloca().

void AliasSetTracker::dump ( ) const

Definition at line 608 of file AliasSetTracker.cpp.

References llvm::dbgs(), and print().

const_iterator llvm::AliasSetTracker::end ( ) const [inline]

Definition at line 397 of file AliasSetTracker.h.

References llvm::iplist< NodeTy, Traits >::end().

Referenced by add(), containsPointer(), deleteValue(), and print().

iterator llvm::AliasSetTracker::end ( ) [inline]

Definition at line 400 of file AliasSetTracker.h.

References llvm::iplist< NodeTy, Traits >::end().

AliasAnalysis& llvm::AliasSetTracker::getAliasAnalysis ( ) const [inline]

getAliasAnalysis - Return the underlying alias analysis object used by this tracker.

Definition at line 375 of file AliasSetTracker.h.

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

AliasSet & AliasSetTracker::getAliasSetForPointer	(	Value *	Pointer,
		uint64_t	Size,
		const AAMDNodes &	AAInfo,
		bool *	New = `nullptr`
	)

getAliasSetForPointer - Return the alias set that the specified pointer lives in. If the New argument is non-null, this method sets the value to true if a new alias set is created to contain the pointer (because the pointer didn't alias anything).

getAliasSetForPointer - Return the alias set that the specified pointer lives in.

Definition at line 266 of file AliasSetTracker.cpp.

References AliasSet, llvm::iplist< NodeTy, Traits >::back(), and llvm::ilist< NodeTy >::push_back().

AliasSet* llvm::AliasSetTracker::getAliasSetForPointerIfExists	(	Value *	P,
		uint64_t	Size,
		const AAMDNodes &	AAInfo
	)		`[inline]`

getAliasSetForPointerIfExists - Return the alias set containing the location specified if one exists, otherwise return null.

Definition at line 363 of file AliasSetTracker.h.

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

getAliasSets - Return the alias sets that are active.

Definition at line 351 of file AliasSetTracker.h.

void AliasSetTracker::print ( raw_ostream & OS ) const

Definition at line 598 of file AliasSetTracker.cpp.

References begin(), end(), I, llvm::Value::print(), llvm::DenseMapBase< DerivedT, KeyT, ValueT, KeyInfoT >::size(), and llvm::iplist< NodeTy, Traits >::size().

Referenced by dump(), and llvm::operator<<().

bool AliasSetTracker::remove	(	Value *	Ptr,
		uint64_t	Size,
		const AAMDNodes &	AAInfo
	)

remove methods - These methods are used to remove all entries that might be aliased by the specified instruction. These methods return true if any alias sets were eliminated.

Definition at line 430 of file AliasSetTracker.cpp.

bool AliasSetTracker::remove ( LoadInst * LI )

Definition at line 437 of file AliasSetTracker.cpp.

References llvm::Instruction::getAAMetadata(), llvm::User::getOperand(), llvm::Value::getType(), and llvm::AliasAnalysis::getTypeStoreSize().

bool AliasSetTracker::remove ( StoreInst * SI )

Definition at line 449 of file AliasSetTracker.cpp.

References llvm::Instruction::getAAMetadata(), llvm::User::getOperand(), llvm::Value::getType(), and llvm::AliasAnalysis::getTypeStoreSize().

bool AliasSetTracker::remove ( VAArgInst * VAAI )

Definition at line 461 of file AliasSetTracker.cpp.

References llvm::Instruction::getAAMetadata(), llvm::User::getOperand(), and llvm::AliasAnalysis::UnknownSize.

bool AliasSetTracker::remove ( Instruction * I )

Definition at line 482 of file AliasSetTracker.cpp.