SeqStructAnalysis Class Reference

#include <sequenceStructAnalysis.h>

Inheritance diagram for SeqStructAnalysis:

Collaboration diagram for SeqStructAnalysis:

Public Member Functions
	SeqStructAnalysis (LiveDeadVarsAnalysis *ldva, DivAnalysis *divAnalysis)
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
	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 bool	transfer (const Function &func, const DataflowNode &n, NodeState &state, const std::vector< Lattice * > &dfInfo)=0
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
virtual void	genInitState (const Function &func, const DataflowNode &n, const NodeState &state, std::vector< Lattice * > &initLattices, std::vector< NodeFact * > &initFacts)=0
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)
virtual	~IntraProceduralAnalysis ()
Public Member Functions inherited from Analysis
	Analysis (bool(*f)(CFGNode)=defaultFilter)

Protected Attributes
LiveDeadVarsAnalysis *	ldva
DivAnalysis *	divAnalysis
ConstrGraphAnalysis *	cgAnalysis

Static Protected Attributes
static map< varID, Lattice * >	constVars
static bool	constVars_init

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 167 of file sequenceStructAnalysis.h.

Constructor & Destructor Documentation

SeqStructAnalysis::SeqStructAnalysis ( LiveDeadVarsAnalysis *  ldva, DivAnalysis *  divAnalysis  )

inline

Definition at line 185 of file sequenceStructAnalysis.h.

References cgAnalysis, divAnalysis, and ldva.

Member Function Documentation

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

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

Member Data Documentation

map<varID, Lattice*> SeqStructAnalysis::constVars

staticprotected

Definition at line 170 of file sequenceStructAnalysis.h.

bool SeqStructAnalysis::constVars_init

staticprotected

Definition at line 171 of file sequenceStructAnalysis.h.

LiveDeadVarsAnalysis* SeqStructAnalysis::ldva

protected

Definition at line 175 of file sequenceStructAnalysis.h.

Referenced by SeqStructAnalysis().

DivAnalysis* SeqStructAnalysis::divAnalysis

protected

Definition at line 178 of file sequenceStructAnalysis.h.

Referenced by SeqStructAnalysis().

ConstrGraphAnalysis* SeqStructAnalysis::cgAnalysis

protected

Definition at line 182 of file sequenceStructAnalysis.h.

Referenced by SeqStructAnalysis().

---

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

• sequenceStructAnalysis.h