heritage.hh File Reference

Utilities for building Static Single Assignment (SSA) form. More...

#include "block.hh"

Classes
struct	SizePass
	Label for describing extent of address range that has been heritaged. More...
class	LocationMap
	Map object for keeping track of which address ranges have been heritaged. More...
class	PriorityQueue
	Priority queue for the phi-node (MULTIEQUAL) placement algorithm. More...
class	HeritageInfo
	Information about heritage passes performed for a specific address space. More...
class	LoadGuard
	Description of a LOAD operation that needs to be guarded. More...
class	Heritage
	Manage the construction of Static Single Assignment (SSA) form. More...
struct	Heritage::StackNode
	Node for depth-first traversal of stack references. More...

Typedefs
typedef map< Address, vector< Varnode * > >	VariableStack

Detailed Description

Utilities for building Static Single Assignment (SSA) form.

Typedef Documentation

typedef map<Address,vector<Varnode *> > VariableStack

Container holding the stack system for the renaming algorithm. Every disjoint address range (indexed by its initial address) maps to its own Varnode stack.