liveDeadVarAnalysis.h File Reference

#include "genericDataflowCommon.h"
#include "VirtualCFGIterator.h"
#include "cfgUtils.h"
#include "CallGraphTraverse.h"
#include "analysisCommon.h"
#include "analysis.h"
#include "dataflow.h"
#include "latticeFull.h"
#include "printAnalysisStates.h"
#include <map>
#include <set>
#include <vector>
#include <string>
#include <iostream>

Include dependency graph for liveDeadVarAnalysis.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	LiveVarsLattice
class	funcSideEffectUses
class	LiveDeadVarsTransfer
class	LiveDeadVarsAnalysis
class	VarsExprsProductLattice
class	FiniteVarsExprsProductLattice
class	InfiniteVarsExprsProductLattice

Functions
void	getAllLiveVarsAt (LiveDeadVarsAnalysis *ldva, const NodeState &state, std::set< varID > &vars, std::string indent="")
std::set< varID >	getAllLiveVarsAt (LiveDeadVarsAnalysis *ldva, const NodeState &state, std::string indent="")
LiveVarsLattice *	getLiveInVarsAt (LiveDeadVarsAnalysis *ldva, SgNode *n, unsigned int index=0)
LiveVarsLattice *	getLiveOutVarsAt (LiveDeadVarsAnalysis *ldva, SgNode *n, unsigned int index=0)
void	printLiveDeadVarsAnalysisStates (LiveDeadVarsAnalysis *da, std::string indent="")

Variables
int	liveDeadAnalysisDebugLevel

Function Documentation

void getAllLiveVarsAt	(	LiveDeadVarsAnalysis *	ldva,
		const NodeState &	state,
		std::set< varID > &	vars,
		std::string	indent = ""
	)

std::set<varID> getAllLiveVarsAt	(	LiveDeadVarsAnalysis *	ldva,
		const NodeState &	state,
		std::string	indent = ""
	)

LiveVarsLattice* getLiveInVarsAt	(	LiveDeadVarsAnalysis *	ldva,
		SgNode *	n,
		unsigned int	index = 0
	)

LiveVarsLattice* getLiveOutVarsAt	(	LiveDeadVarsAnalysis *	ldva,
		SgNode *	n,
		unsigned int	index = 0
	)

void printLiveDeadVarsAnalysisStates	(	LiveDeadVarsAnalysis *	da,
		std::string	indent = ""
	)

Variable Documentation

int liveDeadAnalysisDebugLevel

Referenced by LiveDeadVarsTransfer::LiveDeadVarsTransfer().