DominatorAnalysis Class Reference

Description

Definition at line 108 of file dominatorAnalysis.h.

Inheritance diagram for DominatorAnalysis:

Collaboration diagram for DominatorAnalysis:

Public Member Functions
	DominatorAnalysis (const set< DataflowNode > &allNodes, string indent="")
void	genInitState (const Function &func, const DataflowNode &n, const NodeState &state, vector< Lattice * > &initLattices, vector< NodeFact * > &initFacts)
bool	transfer (const Function &func, const DataflowNode &n, NodeState &state, const vector< Lattice * > &dfInfo)
Public Member Functions inherited from IntraFWDataflow
NodeState *	initializeFunctionNodeState (const Function &func, NodeState *fState)
VirtualCFG::dataflow *	getInitialWorklist (const Function &func, bool firstVisit, bool analyzeDueToCallers, const set< Function > &calleesUpdated, NodeState *fState)
vector< Lattice * >	getLatticeAnte (NodeState *state)
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)
Public Member Functions inherited from IntraUnitDataflow
virtual boost::shared_ptr< IntraDFTransferVisitor >	getTransferVisitor (const Function &func, const DataflowNode &n, NodeState &state, const std::vector< Lattice * > &dfInfo)
Public Member Functions inherited from IntraProceduralDataflow
void	setInterAnalysis (InterProceduralDataflow *interDataflowAnalysis)
void	setInterAnalysis (IntraProceduralDataflow *intraDFAnalysis)
bool	runAnalysis (const Function &func, NodeState *state)
InterProceduralDataflow *	getInterAnalysis () const
Public Member Functions inherited from IntraProceduralAnalysis
void	setInterAnalysis (InterProceduralAnalysis *interAnalysis)
Public Member Functions inherited from Analysis
	Analysis (bool(*f)(CFGNode)=defaultFilter)

Protected Attributes
const set< DataflowNode > &	allNodes
Protected Attributes inherited from IntraProceduralAnalysis
InterProceduralAnalysis *	interAnalysis

Additional Inherited Members
Public Attributes inherited from IntraProceduralDataflow
std::set< Function >	visited
Public Attributes inherited from Analysis
bool(*	filter )(CFGNode cfgn)
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)

Member Function Documentation

genInitState()

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

virtual

Implements IntraProceduralDataflow.

transfer()

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

virtual

Implements IntraUnitDataflow.

Member Data Documentation

allNodes

const set<DataflowNode>& DominatorAnalysis::allNodes

protected

Definition at line 111 of file dominatorAnalysis.h.

---

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

• dominatorAnalysis.h