OA::AvailableExpressions::ManagerAvailableExpressionsStandard Class Reference

#include <auto_ManagerAvailableExpressionsStandard.hpp>

Inheritance diagram for OA::AvailableExpressions::ManagerAvailableExpressionsStandard:

Collaboration diagram for OA::AvailableExpressions::ManagerAvailableExpressionsStandard:

List of all members.

Public Member Functions
	ManagerAvailableExpressionsStandard (OA_ptr< AvailableExpressionsIRInterface > _ir)
	~ManagerAvailableExpressionsStandard ()
OA_ptr < AvailableExpressionsStandard >	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< AvailableExpressionsDFSet > 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 < AvailableExpressionsIRInterface >	mIR
OA_ptr< Alias::Interface >	mAlias
OA_ptr < AvailableExpressionsStandard >	mAvailableExpressionsMap
OA_ptr< DataFlow::CFGDFSolver >	mSolver
std::map< StmtHandle, set < OA_ptr< Location > > >	mStmt2MayDefMap
std::map< StmtHandle, set < OA_ptr< Location > > >	mStmt2MustDefMap
std::map< StmtHandle, set < OA_ptr< NewExprTree > > >	mStmt2MayExprMap
std::map< StmtHandle, set < OA_ptr< NewExprTree > > >	mStmt2MustExprMap
std::map< StmtHandle, set < OA_ptr< Location > > >	mStmt2MayUseMap
std::map< StmtHandle, set < OA_ptr< Location > > >	mStmt2MustUseMap

---

Detailed Description

Definition at line 31 of file auto_ManagerAvailableExpressionsStandard.hpp.

---

Constructor & Destructor Documentation

OA::AvailableExpressions::ManagerAvailableExpressionsStandard::ManagerAvailableExpressionsStandard

(

OA_ptr< AvailableExpressionsIRInterface >

_ir

)

Definition at line 18 of file auto_ManagerAvailableExpressionsStandard.cpp.

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

OA::AvailableExpressions::ManagerAvailableExpressionsStandard::~ManagerAvailableExpressionsStandard

(

)

[inline]

Definition at line 36 of file auto_ManagerAvailableExpressionsStandard.hpp.

---

Member Function Documentation

void OA::AvailableExpressions::ManagerAvailableExpressionsStandard::dumpset

(

OA_ptr< AvailableExpressionsDFSet >

inSet

)

[private]

Definition at line 221 of file auto_ManagerAvailableExpressionsStandard.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::AvailableExpressions::ManagerAvailableExpressionsStandard::genSet

(

StmtHandle

stmt

)

[private]

Definition at line 263 of file auto_ManagerAvailableExpressionsStandard.cpp.

References mStmt2MustExprMap.

Referenced by transfer().

OA_ptr< DataFlowSet > OA::AvailableExpressions::ManagerAvailableExpressionsStandard::initializeBottom

(

)

[private, virtual]

Return an initialized bottom set.

Implements OA::DataFlow::CFGDFProblem.

Definition at line 36 of file auto_ManagerAvailableExpressionsStandard.cpp.

OA_ptr< DataFlowSet > OA::AvailableExpressions::ManagerAvailableExpressionsStandard::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_ManagerAvailableExpressionsStandard.cpp.

OA_ptr< DataFlowSet > OA::AvailableExpressions::ManagerAvailableExpressionsStandard::initializeNodeOUT

(

OA_ptr< CFG::NodeInterface >

n

)

[private, virtual]

Implements OA::DataFlow::CFGDFProblem.

Definition at line 54 of file auto_ManagerAvailableExpressionsStandard.cpp.

OA_ptr< DataFlowSet > OA::AvailableExpressions::ManagerAvailableExpressionsStandard::initializeTop

(

)

[private, virtual]

Return an initialized top set.

Implements OA::DataFlow::CFGDFProblem.

Definition at line 28 of file auto_ManagerAvailableExpressionsStandard.cpp.

OA_ptr< DataFlowSet > OA::AvailableExpressions::ManagerAvailableExpressionsStandard::killSet	(	StmtHandle	stmt,
		OA_ptr< DataFlow::DataFlowSet >	X
	)			[private]

Definition at line 276 of file auto_ManagerAvailableExpressionsStandard.cpp.

References OA::OA_ptr< T >::convert(), OA::DataFlow::DFAGenDFSet< T >::isEmpty(), mStmt2MayDefMap, and mStmt2MayUseMap.

Referenced by transfer().

Here is the call graph for this function:

OA_ptr< DataFlowSet > OA::AvailableExpressions::ManagerAvailableExpressionsStandard::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 234 of file auto_ManagerAvailableExpressionsStandard.cpp.

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

Here is the call graph for this function:

OA_ptr< AvailableExpressionsStandard > OA::AvailableExpressions::ManagerAvailableExpressionsStandard::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_ManagerAvailableExpressionsStandard.cpp.

References OA::OA_ptr< T >::convert(), OA::AvailableExpressions::debug, OA::DataFlow::ITERATIVE, mAlias, mAvailableExpressionsMap, mIR, mSolver, mStmt2MayDefMap, mStmt2MayExprMap, mStmt2MayUseMap, mStmt2MustDefMap, and mStmt2MustUseMap.

Here is the call graph for this function:

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

OK to modify in set and return it again as result because solver clones the BB in sets

Implements OA::DataFlow::CFGDFProblem.

Definition at line 315 of file auto_ManagerAvailableExpressionsStandard.cpp.

References OA::OA_ptr< T >::convert(), OA::AvailableExpressions::debug, dumpset(), genSet(), killSet(), mAvailableExpressionsMap, and mIR.

Here is the call graph for this function:

---

Member Data Documentation

OA_ptr<Alias::Interface> OA::AvailableExpressions::ManagerAvailableExpressionsStandard::mAlias [private]

Definition at line 70 of file auto_ManagerAvailableExpressionsStandard.hpp.

Referenced by performAnalysis().

OA_ptr<AvailableExpressionsStandard> OA::AvailableExpressions::ManagerAvailableExpressionsStandard::mAvailableExpressionsMap [private]

Definition at line 71 of file auto_ManagerAvailableExpressionsStandard.hpp.

Referenced by performAnalysis(), and transfer().

OA_ptr<AvailableExpressionsIRInterface> OA::AvailableExpressions::ManagerAvailableExpressionsStandard::mIR [private]

Definition at line 69 of file auto_ManagerAvailableExpressionsStandard.hpp.

Referenced by dumpset(), performAnalysis(), and transfer().

OA_ptr<DataFlow::CFGDFSolver> OA::AvailableExpressions::ManagerAvailableExpressionsStandard::mSolver [private]

Definition at line 72 of file auto_ManagerAvailableExpressionsStandard.hpp.

Referenced by ManagerAvailableExpressionsStandard(), and performAnalysis().

std::map<StmtHandle, set<OA_ptr<Location> > > OA::AvailableExpressions::ManagerAvailableExpressionsStandard::mStmt2MayDefMap [private]

Definition at line 74 of file auto_ManagerAvailableExpressionsStandard.hpp.

Referenced by killSet(), and performAnalysis().

std::map<StmtHandle, set<OA_ptr<NewExprTree> > > OA::AvailableExpressions::ManagerAvailableExpressionsStandard::mStmt2MayExprMap [private]

Definition at line 76 of file auto_ManagerAvailableExpressionsStandard.hpp.

Referenced by performAnalysis().

std::map<StmtHandle, set<OA_ptr<Location> > > OA::AvailableExpressions::ManagerAvailableExpressionsStandard::mStmt2MayUseMap [private]

Definition at line 78 of file auto_ManagerAvailableExpressionsStandard.hpp.

Referenced by killSet(), and performAnalysis().

std::map<StmtHandle, set<OA_ptr<Location> > > OA::AvailableExpressions::ManagerAvailableExpressionsStandard::mStmt2MustDefMap [private]

Definition at line 75 of file auto_ManagerAvailableExpressionsStandard.hpp.

Referenced by performAnalysis().

std::map<StmtHandle, set<OA_ptr<NewExprTree> > > OA::AvailableExpressions::ManagerAvailableExpressionsStandard::mStmt2MustExprMap [private]

Definition at line 77 of file auto_ManagerAvailableExpressionsStandard.hpp.

Referenced by genSet().

std::map<StmtHandle, set<OA_ptr<Location> > > OA::AvailableExpressions::ManagerAvailableExpressionsStandard::mStmt2MustUseMap [private]

Definition at line 79 of file auto_ManagerAvailableExpressionsStandard.hpp.

Referenced by performAnalysis().

---

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

• auto_ManagerAvailableExpressionsStandard.hpp
• auto_ManagerAvailableExpressionsStandard.cpp