#include <LocDFSet.hpp>

Inheritance diagram for OA::DataFlow::LocDFSet:

Collaboration diagram for OA::DataFlow::LocDFSet:

Public Member Functions
	LocDFSet ()
	LocDFSet (const LocDFSet &other)
	~LocDFSet ()
OA_ptr< DataFlowSet >	clone ()
bool	operator== (DataFlowSet &other) const
bool	operator!= (DataFlowSet &other) const
LocDFSet &	setUnion (DataFlowSet &other)
LocDFSet &	setIntersect (LocDFSet &other)
LocDFSet &	setDifference (LocDFSet &other)
void	dump (std::ostream &os)
void	dump (std::ostream &os, OA_ptr< IRHandlesIRInterface > ir)
void	output (OA::IRHandlesIRInterface &ir)
void	insert (OA_ptr< Location > loc)
void	remove (OA_ptr< Location > loc)
bool	empty ()
	whether or not the set is empty
bool	hasLoc (OA_ptr< Location > loc)
	whether or not the set contains the given location
bool	hasOverlapLoc (OA_ptr< Location > loc)
OA_ptr< LocIterator >	getLocIterator ()
	iterator over locations
OA_ptr< LocIterator >	getOverlapLocIterator (OA_ptr< Location > loc)
	iterator over locations in set that overlap with given location
OA_ptr< LocDFSet >	callerToCallee (ProcHandle caller, CallHandle call, ProcHandle callee, OA_ptr< Alias::InterAliasInterface > interAlias, OA_ptr< ParamBindings > paramBind, OA_ptr< CalleeToCallerVisitorIRInterface > ir)
OA_ptr< LocDFSet >	callerToCalleeTransitive (ProcHandle caller, CallHandle call, ProcHandle callee, OA_ptr< Alias::InterAliasInterface > interAlias, OA_ptr< ParamBindings > paramBind, OA_ptr< CalleeToCallerVisitorIRInterface > ir)
OA_ptr< LocDFSet >	calleeToCaller (ProcHandle callee, CallHandle call, ProcHandle caller, OA_ptr< Alias::InterAliasInterface > interAlias, OA_ptr< ParamBindings > paramBind, OA_ptr< CalleeToCallerVisitorIRInterface > ir)
OA_ptr< LocDFSet >	calleeToCallerTransitive (ProcHandle callee, CallHandle call, ProcHandle caller, OA_ptr< Alias::InterAliasInterface > interAlias, OA_ptr< ParamBindings > paramBind, OA_ptr< CalleeToCallerVisitorIRInterface > ir)
OA_ptr< LocDFSet >	callerToCalleeNot (ProcHandle caller, CallHandle call, ProcHandle callee, OA_ptr< Alias::InterAliasInterface > interAlias, OA_ptr< ParamBindings > paramBind, OA_ptr< CalleeToCallerVisitorIRInterface > ir)
Protected Attributes
OA_ptr< LocSet >	mSetPtr
Private Member Functions
void	updateMap ()
void	removeFromMap (OA_ptr< Location > loc)
void	addToMap (OA_ptr< Location > loc)
void	associateWithBaseHandle (IRHandle baseHandle, OA_ptr< Location > loc)
void	disassociateWithBaseHandle (IRHandle baseHandle, OA_ptr< Location > loc)
bool	setHasOverlapLoc (OA_ptr< Location > loc, OA_ptr< LocSet > aSet)
	whether the give loc overlaps with anything in the given set
OA_ptr< LocDFSet >	overlapLocSet (OA_ptr< Location > loc, OA_ptr< LocSet > aSet)
	whether the give loc overlaps with anything in the given set
Private Attributes
bool	mBaseLocToSetMapValid
bool	mHasUnknownLoc
OA_ptr< LocSet >	mInvLocs
std::map< IRHandle, OA_ptr < LocSet > >	mBaseLocToSetMap
OA_ptr < CalleeToCallerVisitorIRInterface >	mIR
Friends
class	LocDFSetIterator

Detailed Description

Definition at line 35 of file LocDFSet.hpp.

Constructor & Destructor Documentation

OA::DataFlow::LocDFSet::LocDFSet ( )

Definition at line 21 of file LocDFSet.cpp.

References OA::DataFlow::debug, mSetPtr, and OA_DEBUG_CTRL_MACRO.

Referenced by calleeToCaller(), calleeToCallerTransitive(), callerToCallee(), callerToCalleeTransitive(), and overlapLocSet().

OA::DataFlow::LocDFSet::LocDFSet ( const LocDFSet & other )

Definition at line 31 of file LocDFSet.cpp.

OA::DataFlow::LocDFSet::~LocDFSet ( ) [inline]

Definition at line 39 of file LocDFSet.hpp.

Member Function Documentation

void OA::DataFlow::LocDFSet::addToMap ( OA_ptr< Location > loc ) [private]

Definition at line 725 of file LocDFSet.cpp.

References associateWithBaseHandle(), OA::OA_ptr< T >::convert(), mHasUnknownLoc, and mInvLocs.

Here is the call graph for this function:

void OA::DataFlow::LocDFSet::associateWithBaseHandle	(	IRHandle	baseHandle,
		OA_ptr< Location >	loc
	)			`[private]`

Definition at line 715 of file LocDFSet.cpp.

Referenced by addToMap().

OA_ptr< LocDFSet > OA::DataFlow::LocDFSet::calleeToCaller	(	ProcHandle	callee,
		CallHandle	call,
		ProcHandle	caller,
		OA_ptr< Alias::InterAliasInterface >	interAlias,
		OA_ptr< ParamBindings >	paramBind,
		OA_ptr< CalleeToCallerVisitorIRInterface >	ir
	)

converts this set of locations to equivalent set in caller and returns a newly created set Since this needs an IRInterface, probably only callable from within a Manager

converts this set of locations to equivalent set in caller and returns a newly created set

Definition at line 350 of file LocDFSet.cpp.

References OA::DataFlow::debug, getLocIterator(), and LocDFSet().

Here is the call graph for this function:

OA_ptr< LocDFSet > OA::DataFlow::LocDFSet::calleeToCallerTransitive	(	ProcHandle	callee,
		CallHandle	call,
		ProcHandle	caller,
		OA_ptr< Alias::InterAliasInterface >	interAlias,
		OA_ptr< ParamBindings >	paramBind,
		OA_ptr< CalleeToCallerVisitorIRInterface >	ir
	)

converts this set of locations transitively to equivalent set in caller and returns a newly created set Since this needs an IRInterface, probably only callable from within a Manager

converts this set of locations transitively to equivalent set in caller and returns a newly created set

Definition at line 384 of file LocDFSet.cpp.

References OA::DataFlow::debug, OA::OA_ptr< T >::dump(), OA::MemRefsVisitor::getMemRefsIterator(), OA::MemRefsVisitor::hasMemRef(), hasOverlapLoc(), and LocDFSet().

Here is the call graph for this function:

OA_ptr< LocDFSet > OA::DataFlow::LocDFSet::callerToCallee	(	ProcHandle	caller,
		CallHandle	call,
		ProcHandle	callee,
		OA_ptr< Alias::InterAliasInterface >	interAlias,
		OA_ptr< ParamBindings >	paramBind,
		OA_ptr< CalleeToCallerVisitorIRInterface >	ir
	)

Converts this set of locations to equivalent set in callee and returns a newly created set. Since this needs an IRInterface, probably only callable from within a Manager

converts this set of locations to equivalent set in callerToCallee and returns a newly created set

Definition at line 103 of file LocDFSet.cpp.

References OA::DataFlow::debug, OA::EvalToMemRefVisitor::getMemRef(), hasOverlapLoc(), OA::EvalToMemRefVisitor::isMemRef(), LocDFSet(), and OA::MemRefExpr::USE.

Here is the call graph for this function:

OA_ptr< LocDFSet > OA::DataFlow::LocDFSet::callerToCalleeNot	(	ProcHandle	caller,
		CallHandle	call,
		ProcHandle	callee,
		OA_ptr< Alias::InterAliasInterface >	interAlias,
		OA_ptr< ParamBindings >	paramBind,
		OA_ptr< CalleeToCallerVisitorIRInterface >	ir
	)

Identifies the residual locations within this set that cannot be converted to an equivalent set in callee. and returns a newly created set of those residual locations. Since this needs an IRInterface, probably only callable from within a Manager

Definition at line 453 of file LocDFSet.cpp.

OA_ptr< LocDFSet > OA::DataFlow::LocDFSet::callerToCalleeTransitive	(	ProcHandle	caller,
		CallHandle	call,
		ProcHandle	callee,
		OA_ptr< Alias::InterAliasInterface >	interAlias,
		OA_ptr< ParamBindings >	paramBind,
		OA_ptr< CalleeToCallerVisitorIRInterface >	ir
	)

converts this set of locations transitively to equivalent set in callee and returns a newly created set Since this needs an IRInterface, probably only callable from within a Manager

converts this set of locations transitively to equivalent set in callee and returns a newly created set

Definition at line 280 of file LocDFSet.cpp.

References OA::DataFlow::debug, OA::OA_ptr< T >::dump(), OA::MemRefsVisitor::getMemRefsIterator(), OA::MemRefsVisitor::hasMemRef(), hasOverlapLoc(), and LocDFSet().

Here is the call graph for this function: