#include <CFGDFSolver.hpp>

Inheritance diagram for OA::DataFlow::CFGDFSolver:

Collaboration diagram for OA::DataFlow::CFGDFSolver:

Public Types
enum	DFDirectionType { Forward, Backward }

Public Member Functions
	CFGDFSolver (DFDirectionType pDirection, CFGDFProblem &prob)

virtual	~CFGDFSolver ()

OA_ptr< DataFlowSet >	solve (OA_ptr< CFG::CFGInterface > cfg, DFPImplement algorithm)

OA_ptr< DataFlow::DataFlowSet >	getInSet (OA_ptr< CFG::NodeInterface > node)

OA_ptr< DataFlow::DataFlowSet >	getOutSet (OA_ptr< CFG::NodeInterface > node)

void	dump (std::ostream &os, OA_ptr< IRHandlesIRInterface > ir)

Protected Attributes
std::map< OA_ptr < CFG::NodeInterface >, OA_ptr < DataFlowSet > >	mNodeInSetMap

std::map< OA_ptr < CFG::NodeInterface >, OA_ptr < DataFlowSet > >	mNodeOutSetMap

std::map< OA_ptr < CFG::NodeInterface >, bool >	mNodeInitTransApp

CFGDFProblem &	mDFProb

Private Member Functions
void	initialize (OA_ptr< DGraph::DGraphInterface > dg)

bool	atDGraphNode (OA_ptr< DGraph::NodeInterface > node, DGraph::DGraphEdgeDirection pOrient)

void	finalizeNode (OA_ptr< DGraph::NodeInterface > node)

OA_ptr< DataFlowSet >	transfer (OA_ptr< DataFlowSet > in, OA_ptr< DGraph::NodeInterface > n)

Private Member Functions inherited from OA::DataFlow::DGraphSolverDFP
	DGraphSolverDFP ()

	~DGraphSolverDFP ()

void	solve (OA_ptr< DGraph::DGraphInterface > dg, DGraph::DGraphEdgeDirection alongFlow, DFPImplement algorithm)

int	afterSolve_getNumIter ()

Private Attributes
OA_ptr< DataFlowSet >	mTop

DFDirectionType	mDirection

Detailed Description

Definition at line 42 of file CFGDFSolver.hpp.

Member Enumeration Documentation

enum OA::DataFlow::CFGDFSolver::DFDirectionType

Enumerator
Forward
Backward

Definition at line 45 of file CFGDFSolver.hpp.

Constructor & Destructor Documentation

OA::DataFlow::CFGDFSolver::CFGDFSolver	(	DFDirectionType	pDirection,
		CFGDFProblem &	prob
	)

Definition at line 27 of file CFGDFSolver.cpp.

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

virtual OA::DataFlow::CFGDFSolver::~CFGDFSolver ( )

inlinevirtual

Definition at line 57 of file CFGDFSolver.hpp.

Member Function Documentation

bool OA::DataFlow::CFGDFSolver::atDGraphNode	(	OA_ptr< DGraph::NodeInterface >	node,
		DGraph::DGraphEdgeDirection	pOrient
	)

privatevirtual

Reimplemented from OA::DataFlow::DGraphSolverDFP.

Definition at line 111 of file CFGDFSolver.cpp.

References OA::OA_ptr< T >::convert(), OA::DataFlow::debug, OA::DGraph::DEdgeOrg, OA::CFG::NodeInterface::getCFGPredNodesIterator(), OA::CFG::NodeInterface::getCFGSuccNodesIterator(), OA::DGraph::NodeInterface::getId(), OA::IRHandle::hval(), mDFProb, OA::DataFlow::CFGDFProblem::meet(), mNodeInitTransApp, mNodeInSetMap, mNodeOutSetMap, mTop, and OA::DataFlow::CFGDFProblem::transfer().

Here is the call graph for this function:

void OA::DataFlow::CFGDFSolver::dump	(	std::ostream &	os,
		OA_ptr< IRHandlesIRInterface >	ir
	)

    commented out by PLM 08/08/06

iterate over all entries in mNodeInSetMap and mNodeOutSetMap std::map<OA_ptr<CFG::NodeInterface>, OA_ptr<DataFlowSet> >::iterator mapIter; for (mapIter=mNodeInSetMap.begin(); mapIter!=mNodeInSetMap.end(); mapIter++) { OA_ptr<DataFlowSet> dfset = mapIter->second; os << "Node (" << mapIter->first << ") In: "; dfset->dump(os,ir); os << std::endl; } for (mapIter=mNodeOutSetMap.begin(); mapIter!=mNodeOutSetMap.end(); mapIter++) { OA_ptr<DataFlowSet> dfset = mapIter->second; os << "Node (" << mapIter->first << ") Out: "; dfset->dump(os,ir); os << std::endl; }

Definition at line 269 of file CFGDFSolver.cpp.

void OA::DataFlow::CFGDFSolver::finalizeNode ( OA_ptr< DGraph::NodeInterface > node)

privatevirtual

Reimplemented from OA::DataFlow::DGraphSolverDFP.

Definition at line 256 of file CFGDFSolver.cpp.

OA_ptr<DataFlow::DataFlowSet> OA::DataFlow::CFGDFSolver::getInSet ( OA_ptr< CFG::NodeInterface > node)

inline

Definition at line 75 of file CFGDFSolver.hpp.

References mNodeInSetMap.

OA_ptr<DataFlow::DataFlowSet> OA::DataFlow::CFGDFSolver::getOutSet ( OA_ptr< CFG::NodeInterface > node)

inline

Definition at line 77 of file CFGDFSolver.hpp.

References mNodeOutSetMap.

Referenced by OA::AvailableExpressions::ManagerAvailableExpressionsStandard::performAnalysis(), OA::ReachDefsOverwrite::ManagerReachDefsOverwriteStandard::performAnalysis(), OA::ReachingDefs::ManagerReachingDefsStandard::performAnalysis(), OA::Liveness::ManagerLivenessStandard::performAnalysis(), OA::Activity::ManagerUsefulStandard::performAnalysis(), OA::ReachDefs::ManagerReachDefsStandard::performAnalysis(), and OA::Linearity::ManagerLinearity::performAnalysis().

void OA::DataFlow::CFGDFSolver::initialize ( OA_ptr< DGraph::DGraphInterface > dg)

privatevirtual

added by PLM 08/10/06

Implements OA::DataFlow::DGraphSolverDFP.

Definition at line 74 of file CFGDFSolver.cpp.

References OA::OA_ptr< T >::convert(), OA::CFG::CFGInterface::getCFGNodesIterator(), OA::DataFlow::CFGDFProblem::initializeNodeIN(), OA::DataFlow::CFGDFProblem::initializeNodeOUT(), mDFProb, mNodeInitTransApp, mNodeInSetMap, and mNodeOutSetMap.

Here is the call graph for this function:

OA_ptr< DataFlowSet > OA::DataFlow::CFGDFSolver::solve	(	OA_ptr< CFG::CFGInterface >	cfg,
		DFPImplement	algorithm
	)

returns DataFlowSet for Exit for a forward problem and for Entry for a backward proble

Definition at line 33 of file CFGDFSolver.cpp.

References OA::DGraph::DEdgeOrg, OA::DGraph::DEdgeRev, Forward, OA::CFG::CFGInterface::getEntry(), OA::CFG::CFGInterface::getExit(), OA::DataFlow::CFGDFProblem::initializeTop(), mDFProb, mDirection, mNodeInitTransApp, mNodeInSetMap, mNodeOutSetMap, mTop, and OA::DataFlow::DGraphSolverDFP::solve().

Referenced by OA::AvailableExpressions::ManagerAvailableExpressionsStandard::performAnalysis(), OA::Liveness::ManagerLivenessStandard::performAnalysis(), OA::ReachDefsOverwrite::ManagerReachDefsOverwriteStandard::performAnalysis(), OA::ReachingDefs::ManagerReachingDefsStandard::performAnalysis(), OA::Activity::ManagerUsefulStandard::performAnalysis(), OA::Activity::ManagerDepStandard::performAnalysis(), OA::ReachDefs::ManagerReachDefsStandard::performAnalysis(), OA::ReachConsts::ManagerReachConstsStandard::performAnalysis(), and OA::Linearity::ManagerLinearity::performAnalysis().

Here is the call graph for this function:

OA_ptr<DataFlowSet> OA::DataFlow::CFGDFSolver::transfer	(	OA_ptr< DataFlowSet >	in,
		OA_ptr< DGraph::NodeInterface >	n
	)

private

transfer function for a CFG::Interface::Node Will clone in set to block before passing it to this function so ok to return a modified in set

Member Data Documentation

CFGDFProblem& OA::DataFlow::CFGDFSolver::mDFProb

protected

Definition at line 127 of file CFGDFSolver.hpp.

Referenced by atDGraphNode(), initialize(), and solve().

DFDirectionType OA::DataFlow::CFGDFSolver::mDirection

private

Definition at line 50 of file CFGDFSolver.hpp.

Referenced by solve().

std::map<OA_ptr<CFG::NodeInterface>,bool> OA::DataFlow::CFGDFSolver::mNodeInitTransApp

protected

Definition at line 126 of file CFGDFSolver.hpp.

Referenced by atDGraphNode(), initialize(), and solve().

std::map<OA_ptr<CFG::NodeInterface>,OA_ptr<DataFlowSet> > OA::DataFlow::CFGDFSolver::mNodeInSetMap

protected

Definition at line 121 of file CFGDFSolver.hpp.

Referenced by atDGraphNode(), getInSet(), initialize(), and solve().

std::map<OA_ptr<CFG::NodeInterface>,OA_ptr<DataFlowSet> > OA::DataFlow::CFGDFSolver::mNodeOutSetMap

protected

Definition at line 122 of file CFGDFSolver.hpp.

Referenced by atDGraphNode(), getOutSet(), initialize(), and solve().

OA_ptr<DataFlowSet> OA::DataFlow::CFGDFSolver::mTop

private

Definition at line 48 of file CFGDFSolver.hpp.

Referenced by atDGraphNode(), and solve().

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

OpenAnalysis/src/OpenAnalysis/DataFlow/CFGDFSolver.hpp
OpenAnalysis/src/OpenAnalysis/DataFlow/CFGDFSolver.cpp

Public Types

Public Member Functions

Protected Attributes

Private Member Functions

Private Attributes

Detailed Description

Member Enumeration Documentation

Constructor & Destructor Documentation

Member Function Documentation

Member Data Documentation