ana::state_purge_per_ssa_name Class Reference

#include <state-purge.h>

Inheritance diagram for ana::state_purge_per_ssa_name:

Collaboration diagram for ana::state_purge_per_ssa_name:

Public Member Functions
	state_purge_per_ssa_name (const state_purge_map &map, tree name, const function &fun)
bool	needed_at_supernode_p (const supernode *snode) const
void	on_duplicated_node (const supernode &old_snode, const supernode &new_snode)
const function &	get_function () const
tree	get_fndecl () const

Protected Types
typedef hash_set< const supernode * >	point_set_t

Private Member Functions
void	add_to_worklist (const supernode &node, auto_vec< const supernode * > *worklist, logger *logger)
void	process_supernode (const supernode &node, auto_vec< const supernode * > *worklist, const state_purge_map &map)

Private Attributes
point_set_t	m_snodes_needing_name
tree	m_name
const function &	m_fun

Detailed Description

The part of a state_purge_map relating to a specific SSA name.

The result of analyzing a given SSA name, recording which
function_points need to retain state information about it to handle
their successor states, so that we can simplify program_state objects,
in the hope of reducing state-blowup.   

Member Typedef Documentation

point_set_t

typedef hash_set<const supernode *> ana::state_purge_per_tree::point_set_t

protectedinherited

Constructor & Destructor Documentation

state_purge_per_ssa_name()

ana::state_purge_per_ssa_name::state_purge_per_ssa_name	(	const state_purge_map &	map,
		tree	name,
		const function &	fun )

References map.

Member Function Documentation

add_to_worklist()

void ana::state_purge_per_ssa_name::add_to_worklist ( const supernode & node, auto_vec< const supernode * > * worklist, logger * logger )

private

get_fndecl()

tree ana::state_purge_per_tree::get_fndecl ( ) const

inlineinherited

References m_fun.

get_function()

const function & ana::state_purge_per_tree::get_function ( ) const

inlineinherited

References m_fun.

needed_at_supernode_p()

bool ana::state_purge_per_ssa_name::needed_at_supernode_p

(

const supernode *

snode

)

const

on_duplicated_node()

void ana::state_purge_per_ssa_name::on_duplicated_node	(	const supernode &	old_snode,
		const supernode &	new_snode )

process_supernode()

void ana::state_purge_per_ssa_name::process_supernode ( const supernode & node, auto_vec< const supernode * > * worklist, const state_purge_map & map )

private

References map.

Field Documentation

m_fun

const function& ana::state_purge_per_tree::m_fun

privateinherited

Referenced by get_fndecl(), get_function(), and state_purge_per_tree().

m_name

tree ana::state_purge_per_ssa_name::m_name

private

m_snodes_needing_name

point_set_t ana::state_purge_per_ssa_name::m_snodes_needing_name

private

---

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

• state-purge.h