tree-ssa-threadedge.h File Reference

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

Go to the source code of this file.

Data Structures
class	jt_state
class	jt_simplifier
class	hybrid_jt_state
class	hybrid_jt_simplifier
class	jump_threader

Macros
#define	SSA_NAME_VALUE(x)

Functions
void	propagate_threaded_block_debug_into (basic_block, basic_block)
bool	single_succ_to_potentially_threadable_block (basic_block)
void	set_ssa_name_value (tree, tree)

Variables
vec< tree >	ssa_name_values

Macro Definition Documentation

SSA_NAME_VALUE

#define SSA_NAME_VALUE

(

x

)

Value:

    (SSA_NAME_VERSION (x) < ssa_name_values.length () \
     ? ssa_name_values[SSA_NAME_VERSION (x)] \
     : NULL_TREE)

Referenced by cprop_into_successor_phis(), cprop_operand(), dom_valueize(), avail_exprs_stack::lookup_avail_expr(), const_and_copies::pop_to_marker(), const_and_copies::record_const_or_copy(), const_and_copies::record_const_or_copy(), record_equality(), jt_state::register_equivs_stmt(), jump_threader::simplify_control_stmt_condition(), and threadedge_valueize().

Function Documentation

propagate_threaded_block_debug_into()

void propagate_threaded_block_debug_into ( basic_block dest, basic_block src )

extern

Copy debug stmts from DEST's chain of single predecessors up to
SRC, so that we don't lose the bindings as PHI nodes are introduced
when DEST gains new predecessors.   

References hash_set< KeyId, Lazy, Traits >::add(), gcc_checking_assert, gcc_unreachable, ggc_alloc(), gimple_copy(), gimple_debug_bind_get_var(), gimple_debug_bind_p(), gimple_debug_nonbind_marker_p(), gimple_debug_source_bind_get_var(), gimple_debug_source_bind_p(), gsi_after_labels(), gsi_end_p(), gsi_insert_before(), gsi_last_bb(), GSI_NEW_STMT, gsi_next(), gsi_prev(), gsi_stmt(), i, is_gimple_debug(), MAY_HAVE_DEBUG_BIND_STMTS, NULL, si, single_pred(), and single_pred_p().

Referenced by jump_threader::thread_across_edge().

set_ssa_name_value()

void set_ssa_name_value ( tree name, tree value )

extern

Set the value for the SSA name NAME to VALUE.   

References drop_tree_overflow(), ssa_name_values, SSA_NAME_VERSION, and TREE_OVERFLOW_P.

Referenced by const_and_copies::pop_to_marker(), const_and_copies::record_const_or_copy_raw(), record_equivalences_from_phis(), and record_equivalences_from_stmt().

single_succ_to_potentially_threadable_block()

bool single_succ_to_potentially_threadable_block ( basic_block bb )

extern

Return TRUE if BB has a single successor to a block with multiple
incoming and outgoing edges.   

References EDGE_COMPLEX, ggc_alloc(), potentially_threadable_block(), single_succ(), single_succ_edge(), and single_succ_p().

Referenced by jump_threader::thread_outgoing_edges().

Variable Documentation

ssa_name_values

vec<tree> ssa_name_values

extern

Array to record value-handles per SSA_NAME.   

Referenced by jump_threader::jump_threader(), set_ssa_name_value(), and jump_threader::~jump_threader().