InfiniteVarsExprsProductLattice Class Reference

Description

Definition at line 373 of file liveDeadVarAnalysis.h.

Inheritance diagram for InfiniteVarsExprsProductLattice:

Collaboration diagram for InfiniteVarsExprsProductLattice:

Public Member Functions
	InfiniteVarsExprsProductLattice (Lattice *perVarLattice, const std::map< varID, Lattice * > &constVarLattices, Lattice *allVarLattice, LiveDeadVarsAnalysis *ldva, const DataflowNode &n, const NodeState &state)
	InfiniteVarsExprsProductLattice (const FiniteVarsExprsProductLattice &that)
Lattice *	copy () const override
void	copy (Lattice *that)
void	copy (const VarsExprsProductLattice *that)
Public Member Functions inherited from VarsExprsProductLattice
	VarsExprsProductLattice (Lattice *perVarLattice, const std::map< varID, Lattice * > &constVarLattices, Lattice *allVarLattice, LiveDeadVarsAnalysis *ldva, const DataflowNode &n, const NodeState &state)
	VarsExprsProductLattice (const VarsExprsProductLattice &that)
Lattice *	getVarLattice (const varID &var)
std::set< varID >	getAllVars ()
void	copy (Lattice *that)
void	copy (const VarsExprsProductLattice *that)
bool	meetUpdate (Lattice *that)
void	remapVars (const std::map< varID, varID > &varNameMap, const Function &newFunc)
	*Lattice**‍/void remapVars(const std::map<varID, varID>& varNameMap, const Function& newFunc, bool (*f)(CFGNode));
void	incorporateVars (Lattice *that)
Lattice *	project (SgExpression *expr)
bool	unProject (SgExpression *expr, Lattice *exprState)
bool	addVar (const varID &var)
bool	remVar (const varID &var)
bool	addVar (const varID &var, Lattice *lat)
std::string	str (std::string indent="")
Public Member Functions inherited from ProductLattice
	ProductLattice (const std::vector< Lattice * > &lattices)
void	init (const std::vector< Lattice * > &lattices)
void	initialize ()
const std::vector< Lattice * > &	getLattices ()
void	copy_lattices (std::vector< Lattice * > &newLattices) const
virtual bool	operator== (Lattice *that)
int	getLevel ()
Public Member Functions inherited from Lattice
bool	operator!= (Lattice *that)
bool	operator== (Lattice &that)
bool	operator!= (Lattice &that)
Public Member Functions inherited from InfiniteProductLattice
	InfiniteProductLattice (const std::vector< Lattice * > &lattices)
	InfiniteProductLattice (const InfiniteProductLattice &that)
bool	widenUpdate (InfiniteLattice *that) override
Public Member Functions inherited from InfiniteLattice
bool	finiteLattice ()
	Check if this lattice is finite or not.

Protected Member Functions
	InfiniteVarsExprsProductLattice (const DataflowNode &n, const NodeState &state)
VarsExprsProductLattice *	blankVEPL (const DataflowNode &n, const NodeState &state) override
Protected Member Functions inherited from VarsExprsProductLattice
	VarsExprsProductLattice (const DataflowNode &n, const NodeState &state, bool(*filter)(CFGNode cfgn))
int	getVarIndex (const varID &var)

Additional Inherited Members
Public Attributes inherited from ProductLattice
short	level
Static Public Attributes inherited from ProductLattice
static const int	uninitialized =0
static const int	initialized =1
Protected Attributes inherited from VarsExprsProductLattice
Lattice *	perVarLattice
Lattice *	allVarLattice
std::map< varID, Lattice * >	constVarLattices
std::map< varID, int >	varLatticeIndex
LiveDeadVarsAnalysis *	ldva
bool(*	filter )(CFGNode cfgn)
DataflowNode	n
const NodeState &	state
Protected Attributes inherited from ProductLattice
std::vector< Lattice * >	lattices

Member Function Documentation

blankVEPL()

VarsExprsProductLattice * InfiniteVarsExprsProductLattice::blankVEPL ( const DataflowNode &  n, const NodeState &  state  )

overrideprotectedvirtual

Implements VarsExprsProductLattice.

copy() [1/2]

Lattice * InfiniteVarsExprsProductLattice::copy ( ) const

overridevirtual

Implements Lattice.

copy() [2/2]

void VarsExprsProductLattice::copy ( Lattice *  that )

virtual

Reimplemented from ProductLattice.

---

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

• liveDeadVarAnalysis.h