variables.h File Reference

#include "genericDataflowCommon.h"
#include <map>
#include <vector>
#include <list>
#include <utility>
#include <set>
#include <string>
#include <iosfwd>

Include dependency graph for variables.h:

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

Go to the source code of this file.

Classes
class	variable
class	varID
class	arrayElt

Typedefs
typedef std::set< varID, std::less< varID > >	varIDSet
typedef std::map< varID, varIDSet * >	m_varID2setPtr
typedef std::map< varID, quad >	m_varID2quad
typedef std::map< varID, std::string >	m_varID2str
typedef std::map< varID, bool >	m_varID2bool
typedef std::pair< varID, varID >	varIDpair
typedef std::list< varID >	varIDlist
typedef std::map< varID, m_varID2quad >	m_varID2varID2quad
typedef std::set< quad, std::less< quad > >	setQuad
typedef std::map< quad, setQuad * >	m_quad2setPtr

Functions
std::ostream &	operator<< (std::ostream &stream, varID v)
std::ostream &	operator<< (std::ostream &stream, const std::set< varID >::iterator &v)
bool	operator== (const varID &var, SgInitializedName *iName)
bool	operator!= (const varID &var, SgInitializedName *iName)
bool	operator== (SgInitializedName *iName, const varID &var)
bool	operator!= (SgInitializedName *iName, const varID &var)
bool	operator== (const varID &var, SgExpression *expr)
bool	operator!= (const varID &var, SgExpression *expr)
bool	operator== (SgExpression *expr, const varID &var)
bool	operator!= (SgExpression *expr, const varID &var)
varID	SgExpr2Var (const SgExpression *expr)
bool	isVarExpr (SgExpression *expr)
void	addPredefinedVars (varIDSet &vars)
bool	existsVariable (varID x, m_varID2str &vars2Name)
bool	existsVariable (SgVarRefExp *x, m_varID2str &vars2Name)
bool	isTypeConsidered (SgNode *exp)
varIDSet	getVarRefsInSubtree (SgNode *root)
varIDSet	getReadVarRefsInSubtree (SgNode *root)
varIDSet	getWriteVarRefsInSubtree (SgNode *root)
varIDSet	getArrayVarRefsInSubtree (SgNode *root)
std::set< arrayElt >	getArrayRefsInSubtree (SgNode *root)

Variables
std::map< SgFunctionDefinition *, std::set< varID > >	allVars
std::map< SgFunctionDefinition *, std::set< varID > >	activeVars
varID	zeroVar
varID	oneVar
varID	allVar

Typedef Documentation

typedef std::set<varID, std::less<varID> > varIDSet

Definition at line 276 of file variables.h.

typedef std::map<varID, varIDSet *> m_varID2setPtr

Definition at line 277 of file variables.h.

typedef std::map<varID, quad> m_varID2quad

Definition at line 278 of file variables.h.

typedef std::map<varID, std::string> m_varID2str

Definition at line 279 of file variables.h.

typedef std::map<varID, bool> m_varID2bool

Definition at line 280 of file variables.h.

typedef std::pair<varID, varID> varIDpair

Definition at line 281 of file variables.h.

typedef std::list<varID> varIDlist

Definition at line 282 of file variables.h.

typedef std::map<varID, m_varID2quad> m_varID2varID2quad

Definition at line 283 of file variables.h.

typedef std::set<quad, std::less<quad> > setQuad

Definition at line 286 of file variables.h.

typedef std::map<quad, setQuad *> m_quad2setPtr

Definition at line 287 of file variables.h.

Function Documentation

std::ostream& operator<<	(	std::ostream &	stream,
		varID	v
	)

std::ostream& operator<<	(	std::ostream &	stream,
		const std::set< varID >::iterator &	v
	)

bool operator==	(	const varID &	var,
		SgInitializedName *	iName
	)

bool operator!=	(	const varID &	var,
		SgInitializedName *	iName
	)

bool operator==	(	SgInitializedName *	iName,
		const varID &	var
	)

bool operator!=	(	SgInitializedName *	iName,
		const varID &	var
	)

bool operator==	(	const varID &	var,
		SgExpression *	expr
	)

bool operator!=	(	const varID &	var,
		SgExpression *	expr
	)

bool operator==	(	SgExpression *	expr,
		const varID &	var
	)

bool operator!=	(	SgExpression *	expr,
		const varID &	var
	)

varID SgExpr2Var

(

const SgExpression *

expr)

Referenced by VariableStateTransfer< DivLattice >::getLattice().

bool isVarExpr

(

SgExpression *

expr)

void addPredefinedVars

(

varIDSet &

vars)

bool existsVariable	(	varID	x,
		m_varID2str &	vars2Name
	)

bool existsVariable	(	SgVarRefExp *	x,
		m_varID2str &	vars2Name
	)

bool isTypeConsidered

(

SgNode *

exp)

varIDSet getVarRefsInSubtree

(

SgNode *

root)

varIDSet getReadVarRefsInSubtree

(

SgNode *

root)

varIDSet getWriteVarRefsInSubtree

(

SgNode *

root)

varIDSet getArrayVarRefsInSubtree

(

SgNode *

root)

std::set<arrayElt> getArrayRefsInSubtree

(

SgNode *

root)

Variable Documentation

std::map<SgFunctionDefinition*, std::set<varID> > allVars

std::map<SgFunctionDefinition*, std::set<varID> > activeVars

varID zeroVar

varID oneVar

varID allVar