LiveDeadVarsAnalysis Class Reference

#include <liveDeadVarAnalysis.h>

Inheritance diagram for LiveDeadVarsAnalysis:

Collaboration diagram for LiveDeadVarsAnalysis:

Public Member Functions
	LiveDeadVarsAnalysis (SgProject *project, funcSideEffectUses *fseu=NULL)
void	genInitState (const Function &func, const DataflowNode &n, const NodeState &state, std::vector< Lattice * > &initLattices, std::vector< NodeFact * > &initFacts)
boost::shared_ptr < IntraDFTransferVisitor >	getTransferVisitor (const Function &func, const DataflowNode &n, NodeState &state, const std::vector< Lattice * > &dfInfo)
bool	transfer (const Function &func, const DataflowNode &n, NodeState &state, const std::vector< Lattice * > &dfInfo)
Public Member Functions inherited from IntraBWDataflow
	IntraBWDataflow ()
NodeState *	initializeFunctionNodeState (const Function &func, NodeState *fState)
VirtualCFG::dataflow *	getInitialWorklist (const Function &func, bool firstVisit, bool analyzeDueToCallers, const set< Function > &calleesUpdated, NodeState *fState)
virtual vector< Lattice * >	getLatticeAnte (NodeState *state)
virtual vector< Lattice * >	getLatticePost (NodeState *state)
void	transferFunctionCall (const Function &func, const DataflowNode &n, NodeState *state)
vector< DataflowNode >	getDescendants (const DataflowNode &n)
DataflowNode	getUltimate (const Function &func)
Public Member Functions inherited from IntraUniDirectionalDataflow
bool	runAnalysis (const Function &func, NodeState *state, bool analyzeDueToCallers, std::set< Function > calleesUpdated)

Protected Attributes
funcSideEffectUses *	fseu

Additional Inherited Members
Public Attributes inherited from IntraProceduralDataflow
std::set< Function >	visited
Protected Member Functions inherited from IntraUniDirectionalDataflow
bool	propagateStateToNextNode (const std::vector< Lattice * > &curNodeState, DataflowNode curDFNode, int nodeIndex, const std::vector< Lattice * > &nextNodeState, DataflowNode nextDFNode)
std::vector< DataflowNode >	gatherDescendants (std::vector< DataflowEdge > edges, DataflowNode(DataflowEdge::*edgeFn)() const)

Detailed Description

Definition at line 159 of file liveDeadVarAnalysis.h.

Constructor & Destructor Documentation

LiveDeadVarsAnalysis::LiveDeadVarsAnalysis	(	SgProject *	project,
		funcSideEffectUses *	fseu = NULL
	)

Member Function Documentation

void LiveDeadVarsAnalysis::genInitState ( const Function &  func, const DataflowNode &  n, const NodeState &  state, std::vector< Lattice * > &  initLattices, std::vector< NodeFact * > &  initFacts  )

virtual

Implements IntraProceduralDataflow.

boost::shared_ptr<IntraDFTransferVisitor> LiveDeadVarsAnalysis::getTransferVisitor ( const Function &  func, const DataflowNode &  n, NodeState &  state, const std::vector< Lattice * > &  dfInfo  )

inlinevirtual

Reimplemented from IntraUnitDataflow.

Definition at line 171 of file liveDeadVarAnalysis.h.

References fseu.

bool LiveDeadVarsAnalysis::transfer ( const Function &  func, const DataflowNode &  n, NodeState &  state, const std::vector< Lattice * > &  dfInfo  )

inlinevirtual

Implements IntraUnitDataflow.

Definition at line 175 of file liveDeadVarAnalysis.h.

Member Data Documentation

funcSideEffectUses* LiveDeadVarsAnalysis::fseu

protected

Definition at line 162 of file liveDeadVarAnalysis.h.

Referenced by getTransferVisitor().

---

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

• liveDeadVarAnalysis.h