OA::Linearity::ManagerLinearity Class Reference

#include <ManagerLinearityStandard.hpp>

Inheritance diagram for OA::Linearity::ManagerLinearity:

[legend]

Collaboration diagram for OA::Linearity::ManagerLinearity:

[legend]

List of all members.

Public Member Functions
	ManagerLinearity (OA_ptr< LinearityIRInterface > _ir)
virtual	~ManagerLinearity ()
virtual OA_ptr< LinearityMatrix >	performAnalysis (ProcHandle proc, OA_ptr< CFG::CFGInterface > cfg, OA_ptr< Alias::Interface > alias, OA_ptr< DataFlow::ParamBindings > paramBind, DataFlow::DFPImplement algorithm)
virtual OA_ptr< LinearityMatrix >	performAnalysis2 (SymHandle)
virtual OA_ptr< LinearityMatrix >	performAnalysis3 (ProcHandle proc, OA_ptr< CFG::CFGInterface > cfg, OA_ptr< Alias::Interface > alias, OA_ptr< DataFlow::ParamBindings > paramBind)
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)
	Transfer function for Linearity, LinearityMatrix in/out Sets.
Private Attributes
OA_ptr< LinearityIRInterface >	mIR
OA_ptr< LinearityMatrix >	mLM
ProcHandle	mProc
OA_ptr< CFG::CFGInterface >	mCFG
OA_ptr< Alias::Interface >	mAlias
OA_ptr< DataFlow::ParamBindings >	mParamBind
OA_ptr< DataFlow::CFGDFSolver >	mSolver
OA_ptr< CFG::NodeInterface >	mExitNode

---

Detailed Description

Definition at line 54 of file ManagerLinearityStandard.hpp.

---

Constructor & Destructor Documentation

OA::Linearity::ManagerLinearity::ManagerLinearity

(

OA_ptr< LinearityIRInterface >

_ir

)

Definition at line 32 of file ManagerLinearityStandard.cpp.

References OA::DataFlow::CFGDFSolver::Forward, and mSolver.

virtual OA::Linearity::ManagerLinearity::~ManagerLinearity

(

)

[inline, virtual]

Definition at line 57 of file ManagerLinearityStandard.hpp.

---

Member Function Documentation

OA_ptr< DataFlow::DataFlowSet > OA::Linearity::ManagerLinearity::initializeBottom

(

)

[private, virtual]

Return an initialized bottom set.

Implements OA::DataFlow::CFGDFProblem.

Definition at line 44 of file ManagerLinearityStandard.cpp.

OA_ptr< DataFlow::DataFlowSet > OA::Linearity::ManagerLinearity::initializeNodeIN

(

OA_ptr< CFG::NodeInterface >

n

)

[private, virtual]

Should generate an in and out DataFlowSet for node.

Implements OA::DataFlow::CFGDFProblem.

Definition at line 52 of file ManagerLinearityStandard.cpp.

OA_ptr< DataFlow::DataFlowSet > OA::Linearity::ManagerLinearity::initializeNodeOUT

(

OA_ptr< CFG::NodeInterface >

n

)

[private, virtual]

Implements OA::DataFlow::CFGDFProblem.

Definition at line 60 of file ManagerLinearityStandard.cpp.

OA_ptr< DataFlow::DataFlowSet > OA::Linearity::ManagerLinearity::initializeTop

(

)

[private, virtual]

Return an initialized top set.

Implements OA::DataFlow::CFGDFProblem.

Definition at line 37 of file ManagerLinearityStandard.cpp.

OA_ptr< DataFlow::DataFlowSet > OA::Linearity::ManagerLinearity::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 197 of file ManagerLinearityStandard.cpp.

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

Here is the call graph for this function:

OA_ptr< Linearity::LinearityMatrix > OA::Linearity::ManagerLinearity::performAnalysis	(	ProcHandle	proc,
		OA_ptr< CFG::CFGInterface >	cfg,
		OA_ptr< Alias::Interface >	alias,
		OA_ptr< DataFlow::ParamBindings >	paramBind,
		DataFlow::DFPImplement	algorithm
	)			[virtual]

Definition at line 67 of file ManagerLinearityStandard.cpp.

References OA::OA_ptr< T >::convert(), mAlias, mCFG, mExitNode, mLM, mParamBind, mProc, and mSolver.

Here is the call graph for this function:

OA_ptr< Linearity::LinearityMatrix > OA::Linearity::ManagerLinearity::performAnalysis2

(

SymHandle

sym

)

[virtual]

Definition at line 284 of file ManagerLinearityStandard.cpp.

OA_ptr< Linearity::LinearityMatrix > OA::Linearity::ManagerLinearity::performAnalysis3	(	ProcHandle	proc,
		OA_ptr< CFG::CFGInterface >	cfg,
		OA_ptr< Alias::Interface >	alias,
		OA_ptr< DataFlow::ParamBindings >	paramBind
	)			[virtual]

Definition at line 421 of file ManagerLinearityStandard.cpp.

References OA::Linearity::LinearityDepsSet::addsub(), OA::Linearity::LinearityDepsSet::anyopk(), OA::Linearity::LinearityDepsSet::func(), mLM, OA::Linearity::LinearityDepsSet::multdiv(), and OA::Linearity::LinearityDepsSet::power1().

Here is the call graph for this function:

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

Transfer function for Linearity, LinearityMatrix in/out Sets.

Implements OA::DataFlow::CFGDFProblem.

Definition at line 228 of file ManagerLinearityStandard.cpp.

References OA::OA_ptr< T >::convert(), OA::Linearity::debug, OA::LinearityLocsVisitor::getDepsSet(), mAlias, mIR, mParamBind, and OA::OA_ptr< T >::ptrEqual().

Here is the call graph for this function:

---

Member Data Documentation

OA_ptr<Alias::Interface> OA::Linearity::ManagerLinearity::mAlias [private]

Definition at line 105 of file ManagerLinearityStandard.hpp.

Referenced by performAnalysis(), and transfer().

OA_ptr<CFG::CFGInterface> OA::Linearity::ManagerLinearity::mCFG [private]

Definition at line 104 of file ManagerLinearityStandard.hpp.

Referenced by performAnalysis().

OA_ptr<CFG::NodeInterface> OA::Linearity::ManagerLinearity::mExitNode [private]

Definition at line 108 of file ManagerLinearityStandard.hpp.

Referenced by performAnalysis().

OA_ptr<LinearityIRInterface> OA::Linearity::ManagerLinearity::mIR [private]

Definition at line 101 of file ManagerLinearityStandard.hpp.

Referenced by meet(), and transfer().

OA_ptr<LinearityMatrix> OA::Linearity::ManagerLinearity::mLM [private]

Definition at line 102 of file ManagerLinearityStandard.hpp.

Referenced by performAnalysis(), and performAnalysis3().

OA_ptr<DataFlow::ParamBindings> OA::Linearity::ManagerLinearity::mParamBind [private]

Definition at line 106 of file ManagerLinearityStandard.hpp.

Referenced by performAnalysis(), and transfer().

ProcHandle OA::Linearity::ManagerLinearity::mProc [private]

Definition at line 103 of file ManagerLinearityStandard.hpp.

Referenced by performAnalysis().

OA_ptr<DataFlow::CFGDFSolver> OA::Linearity::ManagerLinearity::mSolver [private]

Definition at line 107 of file ManagerLinearityStandard.hpp.

Referenced by ManagerLinearity(), and performAnalysis().

---

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

• ManagerLinearityStandard.hpp
• ManagerLinearityStandard.cpp