#include <ManagerAutoDFAGenReachingDefinitionsStandard.hpp>

Inheritance diagram for OA::DFAGenReachingDefinitions::ManagerDFAGenReachingDefinitionsStandard:

Collaboration diagram for OA::DFAGenReachingDefinitions::ManagerDFAGenReachingDefinitionsStandard:

Public Member Functions
	ManagerDFAGenReachingDefinitionsStandard (OA_ptr< DFAGenReachingDefinitionsIRInterface > _ir)
	~ManagerDFAGenReachingDefinitionsStandard ()
OA_ptr < DFAGenReachingDefinitionsStandard >	performAnalysis (ProcHandle, 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)
OA_ptr< DataFlow::DataFlowSet >	meet (OA_ptr< DataFlow::DataFlowSet > set1, OA_ptr< DataFlow::DataFlowSet > set2)
OA_ptr< DataFlow::DataFlowSet >	transfer (OA_ptr< DataFlow::DataFlowSet > in, OA::StmtHandle Stmt)
Private Attributes
OA_ptr < DFAGenReachingDefinitionsIRInterface >	mIR
OA_ptr< Alias::Interface >	mAlias
OA_ptr < DFAGenReachingDefinitionsStandard >	mDFAGenReachingDefinitionsMap

Detailed Description

Definition at line 29 of file ManagerAutoDFAGenReachingDefinitionsStandard.hpp.

Constructor & Destructor Documentation

OA::DFAGenReachingDefinitions::ManagerDFAGenReachingDefinitionsStandard::ManagerDFAGenReachingDefinitionsStandard ( OA_ptr< DFAGenReachingDefinitionsIRInterface > _ir )

Definition at line 14 of file ManagerAutoDFAGenReachingDefinitionsStandard.cpp.

References OA::DFAGenReachingDefinitions::debug, OA::DataFlow::CFGDFSolver::Forward, and OA_DEBUG_CTRL_MACRO.

OA::DFAGenReachingDefinitions::ManagerDFAGenReachingDefinitionsStandard::~ManagerDFAGenReachingDefinitionsStandard ( ) [inline]

Definition at line 33 of file ManagerAutoDFAGenReachingDefinitionsStandard.hpp.

Member Function Documentation

OA_ptr< DataFlow::DataFlowSet > OA::DFAGenReachingDefinitions::ManagerDFAGenReachingDefinitionsStandard::initializeBottom ( ) [private, virtual]

Return an initialized bottom set.

Implements OA::DataFlow::CFGDFProblem.

Definition at line 28 of file ManagerAutoDFAGenReachingDefinitionsStandard.cpp.

OA_ptr< DataFlow::DataFlowSet > OA::DFAGenReachingDefinitions::ManagerDFAGenReachingDefinitionsStandard::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 143 of file ManagerAutoDFAGenReachingDefinitionsStandard.cpp.

OA_ptr< DataFlow::DataFlowSet > OA::DFAGenReachingDefinitions::ManagerDFAGenReachingDefinitionsStandard::initializeNodeOUT ( OA_ptr< CFG::NodeInterface > n ) [private, virtual]

Implements OA::DataFlow::CFGDFProblem.

Definition at line 151 of file ManagerAutoDFAGenReachingDefinitionsStandard.cpp.

OA_ptr< DataFlow::DataFlowSet > OA::DFAGenReachingDefinitions::ManagerDFAGenReachingDefinitionsStandard::initializeTop ( ) [private, virtual]

Return an initialized top set.

Implements OA::DataFlow::CFGDFProblem.

Definition at line 21 of file ManagerAutoDFAGenReachingDefinitionsStandard.cpp.

OA_ptr< DataFlow::DataFlowSet > OA::DFAGenReachingDefinitions::ManagerDFAGenReachingDefinitionsStandard::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 159 of file ManagerAutoDFAGenReachingDefinitionsStandard.cpp.

References OA::DataFlow::IRHandleDataFlowSet< T >::clone(), OA::OA_ptr< T >::convert(), OA::DFAGenReachingDefinitions::debug, OA::DataFlow::IRHandleDataFlowSet< T >::dump(), OA::OA_ptr< T >::dump(), and mIR.

Here is the call graph for this function:

OA_ptr< DFAGenReachingDefinitionsStandard > OA::DFAGenReachingDefinitions::ManagerDFAGenReachingDefinitionsStandard::performAnalysis	(	ProcHandle	proc,
		OA_ptr< CFG::CFGInterface >	cfg,
		OA_ptr< Alias::Interface >	alias,
		OA_ptr< SideEffect::InterSideEffectInterface >	interSE
	)

Definition at line 36 of file ManagerAutoDFAGenReachingDefinitionsStandard.cpp.

References OA::OA_ptr< T >::convert(), OA::DFAGenReachingDefinitions::debug, OA::OA_ptr< T >::dump(), OA::IRHandle::hval(), mAlias, mDFAGenReachingDefinitionsMap, and mIR.

Here is the call graph for this function:

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