OA::Activity::ManagerDepStandard Class Reference

#include <ManagerDepStandard.hpp>

Inheritance diagram for OA::Activity::ManagerDepStandard:

Collaboration diagram for OA::Activity::ManagerDepStandard:

List of all members.

Public Member Functions
	ManagerDepStandard (OA_ptr< ActivityIRInterface > _ir)
	~ManagerDepStandard ()
OA_ptr< DepStandard >	performAnalysis (ProcHandle, OA_ptr< Alias::Interface > alias, OA_ptr< CFG::CFGInterface > cfg, OA_ptr< InterDep > interDep, OA_ptr< DataFlow::ParamBindings > paramBind, DataFlow::DFPImplement algorithm)
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)
	Core of analysis algorithm. Transfer function for a stmt.
Private Attributes
OA_ptr< ActivityIRInterface >	mIR
OA_ptr< DepStandard >	mDep
OA_ptr< Alias::Interface >	mAlias
OA_ptr< InterDep >	mInterDep
OA_ptr< CFG::CFGInterface >	mCFG
OA_ptr< DataFlow::ParamBindings >	mParamBind
OA_ptr< DataFlow::CFGDFSolver >	mSolver

---

Detailed Description

The AnnotationManager for a DepStandard. This class can build a DepStandard, (eventually) read one in from a file, and write one out to a file.

Definition at line 42 of file ManagerDepStandard.hpp.

---

Constructor & Destructor Documentation

OA::Activity::ManagerDepStandard::ManagerDepStandard

(

OA_ptr< ActivityIRInterface >

_ir

)

Definition at line 23 of file ManagerDepStandard.cpp.

OA::Activity::ManagerDepStandard::~ManagerDepStandard

(

)

[inline]

Definition at line 46 of file ManagerDepStandard.hpp.

---

Member Function Documentation

OA_ptr< DataFlow::DataFlowSet > OA::Activity::ManagerDepStandard::initializeBottom

(

)

[private, virtual]

Return an initialized bottom set.

Implements OA::DataFlow::CFGDFProblem.

Definition at line 37 of file ManagerDepStandard.cpp.

OA_ptr< DataFlow::DataFlowSet > OA::Activity::ManagerDepStandard::initializeNodeIN

(

OA_ptr< CFG::NodeInterface >

n

)

[private, virtual]

Should generate an in and out DataFlowSet for node.

Not doing anything special at entries and exits.

Implements OA::DataFlow::CFGDFProblem.

Definition at line 101 of file ManagerDepStandard.cpp.

OA_ptr< DataFlow::DataFlowSet > OA::Activity::ManagerDepStandard::initializeNodeOUT

(

OA_ptr< CFG::NodeInterface >

n

)

[private, virtual]

Implements OA::DataFlow::CFGDFProblem.

Definition at line 109 of file ManagerDepStandard.cpp.

OA_ptr< DataFlow::DataFlowSet > OA::Activity::ManagerDepStandard::initializeTop

(

)

[private, virtual]

Return an initialized top set.

Implements OA::DataFlow::CFGDFProblem.

Definition at line 30 of file ManagerDepStandard.cpp.

OA_ptr< DataFlow::DataFlowSet > OA::Activity::ManagerDepStandard::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 119 of file ManagerDepStandard.cpp.

References OA::Activity::DepDFSet::clone(), OA::OA_ptr< T >::convert(), OA::Activity::debug, OA::Activity::DepDFSet::dump(), OA::OA_ptr< T >::dump(), and mIR.

Here is the call graph for this function:

OA_ptr< DepStandard > OA::Activity::ManagerDepStandard::performAnalysis	(	ProcHandle	proc,
		OA_ptr< Alias::Interface >	alias,
		OA_ptr< CFG::CFGInterface >	cfg,
		OA_ptr< InterDep >	interDep,
		OA_ptr< DataFlow::ParamBindings >	paramBind,
		DataFlow::DFPImplement	algorithm
	)

interDep is used to get Dep results from procedures we call FIXME: should use side-effect results as backup?

Uses the CFGDFProblem::solve functionality to get In and Out Dep set for each basic block. In transfer function creates a DepDFSet for each stmt and composes that with the In DepDFSet to generate the out DepDFSet.

Definition at line 51 of file ManagerDepStandard.cpp.

OA_ptr< DataFlow::DataFlowSet > OA::Activity::ManagerDepStandard::transfer	(	OA_ptr< DataFlow::DataFlowSet >	in,
		OA::StmtHandle	stmt
	)			[private, virtual]

Core of analysis algorithm. Transfer function for a stmt.

Create a DepDFSet for this stmt and then compose it with in to get out DepDFSet.

Implements OA::DataFlow::CFGDFProblem.

Definition at line 149 of file ManagerDepStandard.cpp.

---

Member Data Documentation

OA_ptr<Alias::Interface> OA::Activity::ManagerDepStandard::mAlias [private]

Definition at line 84 of file ManagerDepStandard.hpp.

OA_ptr<CFG::CFGInterface> OA::Activity::ManagerDepStandard::mCFG [private]

Definition at line 86 of file ManagerDepStandard.hpp.

OA_ptr<DepStandard> OA::Activity::ManagerDepStandard::mDep [private]

Definition at line 83 of file ManagerDepStandard.hpp.

OA_ptr<InterDep> OA::Activity::ManagerDepStandard::mInterDep [private]

Definition at line 85 of file ManagerDepStandard.hpp.

OA_ptr<ActivityIRInterface> OA::Activity::ManagerDepStandard::mIR [private]

Definition at line 82 of file ManagerDepStandard.hpp.

Referenced by meet().

OA_ptr<DataFlow::ParamBindings> OA::Activity::ManagerDepStandard::mParamBind [private]

Definition at line 87 of file ManagerDepStandard.hpp.

OA_ptr<DataFlow::CFGDFSolver> OA::Activity::ManagerDepStandard::mSolver [private]

Definition at line 89 of file ManagerDepStandard.hpp.

---

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

• ManagerDepStandard.hpp
• ManagerDepStandard.cpp