OA::ReachingDefs::ManagerReachingDefsStandard Class Reference

#include <auto_ManagerReachingDefsStandard.hpp>

Inheritance diagram for OA::ReachingDefs::ManagerReachingDefsStandard:

Collaboration diagram for OA::ReachingDefs::ManagerReachingDefsStandard:

Public Member Functions
	ManagerReachingDefsStandard (OA_ptr< ReachingDefsIRInterface > _ir)
	~ManagerReachingDefsStandard ()
OA_ptr< ReachingDefsStandard >	performAnalysis (ProcHandle proc, OA_ptr< CFG::CFGInterface > cfg, OA_ptr< Alias::Interface > alias, OA_ptr< SideEffect::InterSideEffectInterface > interSE)
Private Member Functions
OA_ptr< DataFlow::DataFlowSet >	initializeTop ()
	Return an initialized top set.
OA_ptr< DataFlow::DataFlowSet >	initializeBottom ()
	Return an initialized bottom set.
OA_ptr< DataFlow::DataFlowSet >	initializeNodeIN (OA_ptr< CFG::NodeInterface > n)
	Should generate an in and out DataFlowSet for node.
OA_ptr< DataFlow::DataFlowSet >	initializeNodeOUT (OA_ptr< CFG::NodeInterface > n)
void	dumpset (OA_ptr< ReachingDefsDFSet > inSet)
OA_ptr< DataFlow::DataFlowSet >	meet (OA_ptr< DataFlow::DataFlowSet > set1, OA_ptr< DataFlow::DataFlowSet > set2)
OA_ptr< DataFlow::DataFlowSet >	genSet (StmtHandle stmt)
OA_ptr< DataFlow::DataFlowSet >	killSet (StmtHandle stmt, OA_ptr< DataFlow::DataFlowSet > X)
OA_ptr< DataFlow::DataFlowSet >	transfer (OA_ptr< DataFlow::DataFlowSet > X, OA::StmtHandle Stmt)
Private Attributes
OA_ptr< ReachingDefsIRInterface >	mIR
OA_ptr< Alias::Interface >	mAlias
OA_ptr< ReachingDefsStandard >	mReachingDefsMap
OA_ptr< DataFlow::CFGDFSolver >	mSolver
std::map< StmtHandle, set < OA_ptr< Location > > >	mStmt2MayDefMap
std::map< StmtHandle, set < OA_ptr< Location > > >	mStmt2MustDefMap

Detailed Description

Definition at line 31 of file auto_ManagerReachingDefsStandard.hpp.

Constructor & Destructor Documentation

OA::ReachingDefs::ManagerReachingDefsStandard::ManagerReachingDefsStandard ( OA_ptr< ReachingDefsIRInterface > _ir )

Definition at line 18 of file auto_ManagerReachingDefsStandard.cpp.

References OA::ReachingDefs::debug, mSolver, and OA_DEBUG_CTRL_MACRO.

OA::ReachingDefs::ManagerReachingDefsStandard::~ManagerReachingDefsStandard ( ) [inline]

Definition at line 36 of file auto_ManagerReachingDefsStandard.hpp.

Member Function Documentation

void OA::ReachingDefs::ManagerReachingDefsStandard::dumpset ( OA_ptr< ReachingDefsDFSet > inSet ) [private]

Definition at line 141 of file auto_ManagerReachingDefsStandard.cpp.

References OA::OA_ptr< T >::convert(), and mIR.

Referenced by meet(), and transfer().

Here is the call graph for this function:

OA_ptr< DataFlowSet > OA::ReachingDefs::ManagerReachingDefsStandard::genSet ( StmtHandle stmt ) [private]

Definition at line 183 of file auto_ManagerReachingDefsStandard.cpp.

References mStmt2MayDefMap.

Referenced by transfer().

OA_ptr< DataFlowSet > OA::ReachingDefs::ManagerReachingDefsStandard::initializeBottom ( ) [private, virtual]

Return an initialized bottom set.

Implements OA::DataFlow::CFGDFProblem.

Definition at line 36 of file auto_ManagerReachingDefsStandard.cpp.

OA_ptr< DataFlowSet > OA::ReachingDefs::ManagerReachingDefsStandard::initializeNodeIN ( OA_ptr< CFG::NodeInterface > n ) [private, virtual]

Should generate an in and out DataFlowSet for node.

Should generate an in and out DataFlowSet for node and store these in mNodeInSetMap and mNodeOutSetMap.

Implements OA::DataFlow::CFGDFProblem.

Definition at line 45 of file auto_ManagerReachingDefsStandard.cpp.

OA_ptr< DataFlowSet > OA::ReachingDefs::ManagerReachingDefsStandard::initializeNodeOUT ( OA_ptr< CFG::NodeInterface > n ) [private, virtual]

Implements OA::DataFlow::CFGDFProblem.

Definition at line 54 of file auto_ManagerReachingDefsStandard.cpp.

OA_ptr< DataFlowSet > OA::ReachingDefs::ManagerReachingDefsStandard::initializeTop ( ) [private, virtual]

Return an initialized top set.

Implements OA::DataFlow::CFGDFProblem.

Definition at line 28 of file auto_ManagerReachingDefsStandard.cpp.

OA_ptr< DataFlowSet > OA::ReachingDefs::ManagerReachingDefsStandard::killSet	(	StmtHandle	stmt,
		OA_ptr< DataFlow::DataFlowSet >	X
	)			`[private]`

Definition at line 211 of file auto_ManagerReachingDefsStandard.cpp.

References OA::OA_ptr< T >::convert(), mStmt2MayDefMap, and mStmt2MustDefMap.

Referenced by transfer().

Here is the call graph for this function:

OA_ptr< DataFlowSet > OA::ReachingDefs::ManagerReachingDefsStandard::meet	(	OA_ptr< DataFlow::DataFlowSet >	set1,
		OA_ptr< DataFlow::DataFlowSet >	set2
	)			`[private, virtual]`

OK to modify set1 and return it as result, because solver only passes a tempSet in as set1

Implements OA::DataFlow::CFGDFProblem.

Definition at line 154 of file auto_ManagerReachingDefsStandard.cpp.

References OA::OA_ptr< T >::convert(), OA::ReachingDefs::debug, and dumpset().

Here is the call graph for this function:

OA_ptr< ReachingDefsStandard > OA::ReachingDefs::ManagerReachingDefsStandard::performAnalysis	(	ProcHandle	proc,
		OA_ptr< CFG::CFGInterface >	cfg,
		OA_ptr< Alias::Interface >	alias,
		OA_ptr< SideEffect::InterSideEffectInterface >	interSE
	)

Definition at line 62 of file auto_ManagerReachingDefsStandard.cpp.

References OA::OA_ptr< T >::convert(), OA::ReachingDefs::debug, OA::DataFlow::ITERATIVE, mAlias, mIR, mReachingDefsMap, mSolver, mStmt2MayDefMap, and mStmt2MustDefMap.

Here is the call graph for this function:

OA_ptr< DataFlowSet > OA::ReachingDefs::ManagerReachingDefsStandard::transfer	(	OA_ptr< DataFlow::DataFlowSet >	in,
		OA::StmtHandle	stmt
	)			`[private, virtual]`