osprey-gcc/gcc/tree-ssa.c File Reference

#include "config.h"
#include "system.h"
#include "coretypes.h"
#include "tm.h"
#include "tree.h"
#include "flags.h"
#include "rtl.h"
#include "tm_p.h"
#include "ggc.h"
#include "langhooks.h"
#include "hard-reg-set.h"
#include "basic-block.h"
#include "output.h"
#include "errors.h"
#include "expr.h"
#include "function.h"
#include "diagnostic.h"
#include "bitmap.h"
#include "pointer-set.h"
#include "tree-flow.h"
#include "tree-gimple.h"
#include "tree-inline.h"
#include "varray.h"
#include "timevar.h"
#include "hashtab.h"
#include "tree-dump.h"
#include "tree-pass.h"

Include dependency graph for tree-ssa.c:

Go to the source code of this file.

Functions/Subroutines

edge ssa_redirect_edge (edge e, basic_block dest)

void flush_pending_stmts (edge e)

static bool verify_ssa_name (tree ssa_name, bool is_virtual)

static bool verify_def (basic_block bb, basic_block *definition_block, tree ssa_name, tree stmt, bool is_virtual)

static bool verify_use (basic_block bb, basic_block def_bb, tree ssa_name, tree stmt, bool check_abnormal, bool is_virtual, bitmap names_defined_in_bb)

static bool verify_phi_args (tree phi, basic_block bb, basic_block *definition_block)

static void verify_flow_insensitive_alias_info (void)

static void verify_flow_sensitive_alias_info (void)

DEF_VEC_MALLOC_P (bitmap)

static void verify_name_tags (void)

static void verify_alias_info (void)

void verify_ssa (void)

void init_tree_ssa (void)

void delete_tree_ssa (void)

bool tree_ssa_useless_type_conversion_1 (tree outer_type, tree inner_type)

bool tree_ssa_useless_type_conversion (tree expr)

bool stmt_references_memory_p (tree stmt)

static bool walk_use_def_chains_1 (tree var, walk_use_def_chains_fn fn, void *data, struct pointer_set_t *visited, bool is_dfs)

void walk_use_def_chains (tree var, walk_use_def_chains_fn fn, void *data, bool is_dfs)

static void propagate_into_addr (tree stmt, tree var, tree *x, tree repl)

static void replace_immediate_uses (tree var, tree repl)

static tree get_eq_name (tree *eq_to, tree var)

static void check_phi_redundancy (tree phi, tree *eq_to)

void kill_redundant_phi_nodes (void)

static void warn_uninit (tree t, const char *gmsgid, location_t *locus)

static tree warn_uninitialized_var (tree *tp, int *walk_subtrees, void *data)

static void warn_uninitialized_phi (tree phi)

static void execute_early_warn_uninitialized (void)

static void execute_late_warn_uninitialized (void)

static bool gate_warn_uninitialized (void)

Variables

struct tree_opt_pass pass_redundant_phi

struct tree_opt_pass pass_early_warn_uninitialized

struct tree_opt_pass pass_late_warn_uninitialized

Function Documentation

static void check_phi_redundancy	(	tree	phi,
		tree *	eq_to
	)			`[static]`

Definition at line 1178 of file tree-ssa.c.

References gcc_assert, get_eq_name(), get_immediate_uses(), i, immediate_use(), may_propagate_copy(), n, NULL_TREE, num_immediate_uses(), operand_equal_for_phi_arg_p(), PHI_ARG_DEF, PHI_NUM_ARGS, PHI_RESULT, SSA_NAME, SSA_NAME_DEF_STMT, SSA_NAME_VERSION, TREE_CODE, unsigned, and val.

Referenced by kill_redundant_phi_nodes().

DEF_VEC_MALLOC_P ( bitmap )

void delete_tree_ssa ( void )

Definition at line 733 of file tree-ssa.c.

static void execute_early_warn_uninitialized ( void ) [static]

Definition at line 1419 of file tree-ssa.c.

References bsi_end_p(), bsi_next(), bsi_start(), bsi_stmt(), bsi_stmt_ptr(), EXPR_LOCUS, FOR_EACH_BB, NULL, walk_tree(), and warn_uninitialized_var().

Referenced by execute_late_warn_uninitialized().

static void execute_late_warn_uninitialized ( void ) [static]

Definition at line 1431 of file tree-ssa.c.

References execute_early_warn_uninitialized(), FOR_EACH_BB, PHI_CHAIN, phi_nodes(), and warn_uninitialized_phi().

void flush_pending_stmts ( edge e )

Definition at line 85 of file tree-ssa.c.

static bool gate_warn_uninitialized ( void ) [static]

Definition at line 1447 of file tree-ssa.c.

References warn_uninitialized.

static tree get_eq_name	(	tree *	eq_to,
		tree	var
	)			`[static]`

Definition at line 1147 of file tree-ssa.c.

References SSA_NAME, SSA_NAME_VERSION, TREE_CODE, and val.

Referenced by check_phi_redundancy(), and kill_redundant_phi_nodes().

void init_tree_ssa ( void )

Definition at line 717 of file tree-ssa.c.

void kill_redundant_phi_nodes ( void )

Definition at line 1248 of file tree-ssa.c.

References bb_for_stmt(), check_phi_redundancy(), compute_immediate_uses(), FOR_EACH_BB, free(), free_df(), get_eq_name(), i, NULL, NULL_TREE, num_ssa_names, PHI_CHAIN, phi_nodes(), PHI_RESULT, remove_phi_node(), replace_immediate_uses(), ssa_name, SSA_NAME_DEF_STMT, TDFA_USE_OPS, TDFA_USE_VOPS, and xcalloc().

Referenced by tree_loop_optimizer_init().

static void propagate_into_addr	(	tree	stmt,
		tree	var,
		tree *	x,
		tree	repl
	)			`[static]`

Definition at line 1004 of file tree-ssa.c.

References bb_for_stmt(), bsi_after_labels(), bsi_insert_after(), BSI_NEW_STMT, build2, duplicate_ssa_name(), handled_component_p(), mark_new_vars_to_rename(), NULL_TREE, tree_block_label(), TREE_CODE, TREE_OPERAND, TREE_TYPE, vars_to_rename, and void_type_node.

Referenced by replace_immediate_uses().

static void replace_immediate_uses	(	tree	var,
		tree	repl
	)			`[static]`

edge ssa_redirect_edge	(	edge	e,
		basic_block	dest
	)

Definition at line 54 of file tree-ssa.c.

bool stmt_references_memory_p ( tree stmt )

Definition at line 878 of file tree-ssa.c.

bool tree_ssa_useless_type_conversion ( tree expr )

Definition at line 858 of file tree-ssa.c.

bool tree_ssa_useless_type_conversion_1	(	tree	outer_type,
		tree	inner_type
	)

Definition at line 779 of file tree-ssa.c.

static void verify_alias_info ( void ) [static]

Definition at line 587 of file tree-ssa.c.

References verify_flow_insensitive_alias_info(), verify_flow_sensitive_alias_info(), and verify_name_tags().

Referenced by verify_ssa().

static bool verify_def	(	basic_block	bb,
		basic_block *	definition_block,
		tree	ssa_name,
		tree	stmt,
		bool	is_virtual
	)			`[static]`

Definition at line 158 of file tree-ssa.c.

References err, error(), fprintf(), index(), basic_block_def::index, print_generic_expr(), print_generic_stmt(), SSA_NAME_DEF_STMT, SSA_NAME_VERSION, TDF_VOPS, and verify_ssa_name().

Referenced by verify_ssa().

static void verify_flow_insensitive_alias_info ( void ) [static]

Definition at line 340 of file tree-ssa.c.

References alias, BITMAP_ALLOC, bitmap_bit_p(), BITMAP_FREE, bitmap_set_bit(), debug_variable(), err, error(), i, internal_error(), may_aliases(), may_be_aliased(), NOT_A_TAG, NULL, num_referenced_vars, referenced_var, var_ann(), VARRAY_ACTIVE_SIZE, VARRAY_TREE, varray_type, and visited.

Referenced by verify_alias_info().

static void verify_flow_sensitive_alias_info ( void ) [static]

Definition at line 397 of file tree-ssa.c.

References bitmap_empty_p, debug_variable(), err, error(), i, internal_error(), is_call_clobbered(), is_gimple_reg(), NULL, num_ssa_names, pi, POINTER_TYPE_P, ptr, ssa_name, SSA_NAME_PTR_INFO, SSA_NAME_VAR, TREE_CODE, TREE_TYPE, TREE_VISITED, and var_ann().

Referenced by verify_alias_info().

static void verify_name_tags ( void ) [static]

Definition at line 476 of file tree-ssa.c.

References alias, BITMAP_ALLOC, bitmap_clear(), bitmap_equal_p(), BITMAP_FREE, bitmap_intersect_compl_p(), bitmap_set_bit(), debug_variable(), err, error(), first, i, internal_error(), NULL, NULL_TREE, num_ssa_names, pi, POINTER_TYPE_P, ptr, second(), ssa_name, SSA_NAME_PTR_INFO, SSA_NAME_VAR, TREE_TYPE, TREE_VISITED, var_ann(), VARRAY_ACTIVE_SIZE, VARRAY_TREE, varray_type, VEC, VEC_free, VEC_index, VEC_iterate, and VEC_safe_push.

Referenced by verify_alias_info().

static bool verify_phi_args	(	tree	phi,
		basic_block	bb,
		basic_block *	definition_block
	)			`[static]`

Definition at line 272 of file tree-ssa.c.

References edge::dest, EDGE_ABNORMAL, EDGE_COUNT, EDGE_PRED, err, error(), edge::flags, fprintf(), i, basic_block_def::index, is_gimple_min_invariant(), is_gimple_reg(), NULL, NULL_TREE, PHI_ARG_DEF, PHI_NUM_ARGS, PHI_RESULT, print_generic_stmt(), edge::src, SSA_NAME, SSA_NAME_VERSION, TDF_VOPS, TREE_CODE, and verify_use().

Referenced by verify_ssa().

void verify_ssa ( void )

Definition at line 599 of file tree-ssa.c.

References bb_for_stmt(), BITMAP_ALLOC, bitmap_clear(), BITMAP_FREE, bitmap_set_bit(), bsi_end_p(), bsi_next(), bsi_start(), bsi_stmt(), calculate_dominance_info(), CDI_DOMINATORS, edge::dest, dom_computed, DOM_NONE, err, error(), FOR_EACH_BB, FOR_EACH_EDGE, FOR_EACH_SSA_TREE_OPERAND, free(), free_dominance_info(), get_stmt_operands(), i, internal_error(), IS_EMPTY_STMT, is_gimple_reg(), iter, NULL, num_ssa_names, NUM_V_MAY_DEFS, PHI_CHAIN, phi_nodes(), PHI_RESULT, print_generic_stmt(), edge::src, ssa_name, SSA_NAME_DEF_STMT, SSA_NAME_VERSION, SSA_OP_ALL_DEFS, SSA_OP_ALL_KILLS, SSA_OP_ALL_USES, stmt_ann(), STMT_V_MAY_DEF_OPS, TDF_VOPS, timevar_pop, timevar_push, TREE_VISITED, verify_alias_info(), verify_def(), verify_phi_args(), verify_use(), and xcalloc().

Referenced by execute_todo(), and verify_loop_closed_ssa().

static bool verify_ssa_name	(	tree	ssa_name,
		bool	is_virtual
	)			`[static]`

Definition at line 109 of file tree-ssa.c.

References error(), is_gimple_reg(), SSA_NAME, SSA_NAME_IN_FREE_LIST, SSA_NAME_VAR, TREE_CODE, and TREE_TYPE.

Referenced by verify_def(), and verify_use().

static bool verify_use	(	basic_block	bb,
		basic_block	def_bb,
		tree	ssa_name,
		tree	stmt,
		bool	check_abnormal,
		bool	is_virtual,
		bitmap	names_defined_in_bb
	)			`[static]`

Definition at line 213 of file tree-ssa.c.

References bitmap_bit_p(), CDI_DOMINATORS, default_def(), dominated_by_p(), err, error(), fprintf(), basic_block_def::index, IS_EMPTY_STMT, NULL, print_generic_expr(), print_generic_stmt(), SSA_NAME_DEF_STMT, SSA_NAME_OCCURS_IN_ABNORMAL_PHI, SSA_NAME_VAR, SSA_NAME_VERSION, TDF_VOPS, TREE_VISITED, var_ann(), and verify_ssa_name().

Referenced by verify_phi_args(), and verify_ssa().

void walk_use_def_chains	(	tree	var,
		walk_use_def_chains_fn	fn,
		void *	data,
		bool	is_dfs
	)

Definition at line 978 of file tree-ssa.c.

static bool walk_use_def_chains_1	(	tree	var,
		walk_use_def_chains_fn	fn,
		void *	data,
		struct pointer_set_t *	visited,
		bool	is_dfs
	)			`[static]`

Definition at line 908 of file tree-ssa.c.

References i, PHI_ARG_DEF, PHI_NUM_ARGS, pointer_set_insert(), SSA_NAME, SSA_NAME_DEF_STMT, and TREE_CODE.

Referenced by walk_use_def_chains(), and walk_use_def_chains_1().

static void warn_uninit	(	tree	t,
		const char *	gmsgid,
		location_t *	locus
	)			`[static]`

Definition at line 1347 of file tree-ssa.c.

References DECL_HARD_REGISTER, DECL_SOURCE_LOCATION, IS_EMPTY_STMT, SSA_NAME_DEF_STMT, SSA_NAME_VAR, TREE_CODE, TREE_NO_WARNING, and warning.

Referenced by warn_uninitialized_phi(), and warn_uninitialized_var().

static void warn_uninitialized_phi ( tree phi ) [static]

Definition at line 1401 of file tree-ssa.c.

References i, is_gimple_reg(), n, NULL, PHI_ARG_DEF, PHI_NUM_ARGS, PHI_RESULT, SSA_NAME, TREE_CODE, and warn_uninit().

Referenced by execute_late_warn_uninitialized().

static tree warn_uninitialized_var	(	tree *	tp,
		int *	walk_subtrees,
		void *	data
	)			`[static]`

Definition at line 1380 of file tree-ssa.c.

References IS_TYPE_OR_DECL_P, NULL_TREE, SSA_NAME, TREE_CODE, and warn_uninit().

Referenced by execute_early_warn_uninitialized().

Variable Documentation

struct tree_opt_pass pass_early_warn_uninitialized

Initial value:

{
  NULL,         
  gate_warn_uninitialized,    
  execute_early_warn_uninitialized, 
  NULL,         
  NULL,         
  0,          
  0,          
  PROP_ssa,       
  0,          
  0,          
  0,          
  0,                                    
  0               
}

Definition at line 1452 of file tree-ssa.c.

struct tree_opt_pass pass_late_warn_uninitialized

Initial value:

{
  NULL,         
  gate_warn_uninitialized,    
  execute_late_warn_uninitialized,  
  NULL,         
  NULL,         
  0,          
  0,          
  PROP_ssa,       
  0,          
  0,          
  0,          
  0,                                    
  0               
}

Definition at line 1469 of file tree-ssa.c.

struct tree_opt_pass pass_redundant_phi

Initial value:

{
  "redphi",       
  NULL,         
  kill_redundant_phi_nodes,   
  NULL,         
  NULL,         
  0,          
  TV_TREE_REDPHI,     
  PROP_cfg | PROP_ssa | PROP_alias, 
  0,          
  0,          
  0,          
  TODO_dump_func | TODO_rename_vars 
    | TODO_ggc_collect | TODO_verify_ssa, 
  0         
}

Definition at line 1310 of file tree-ssa.c.

Referenced by init_tree_optimization_passes().


Functions/Subroutines
edge	ssa_redirect_edge (edge e, basic_block dest)
void	flush_pending_stmts (edge e)
static bool	verify_ssa_name (tree ssa_name, bool is_virtual)
static bool	verify_def (basic_block bb, basic_block *definition_block, tree ssa_name, tree stmt, bool is_virtual)
static bool	verify_use (basic_block bb, basic_block def_bb, tree ssa_name, tree stmt, bool check_abnormal, bool is_virtual, bitmap names_defined_in_bb)
static bool	verify_phi_args (tree phi, basic_block bb, basic_block *definition_block)
static void	verify_flow_insensitive_alias_info (void)
static void	verify_flow_sensitive_alias_info (void)
	DEF_VEC_MALLOC_P (bitmap)
static void	verify_name_tags (void)
static void	verify_alias_info (void)
void	verify_ssa (void)
void	init_tree_ssa (void)
void	delete_tree_ssa (void)
bool	tree_ssa_useless_type_conversion_1 (tree outer_type, tree inner_type)
bool	tree_ssa_useless_type_conversion (tree expr)
bool	stmt_references_memory_p (tree stmt)
static bool	walk_use_def_chains_1 (tree var, walk_use_def_chains_fn fn, void data, struct pointer_set_t visited, bool is_dfs)
void	walk_use_def_chains (tree var, walk_use_def_chains_fn fn, void *data, bool is_dfs)
static void	propagate_into_addr (tree stmt, tree var, tree *x, tree repl)
static void	replace_immediate_uses (tree var, tree repl)
static tree	get_eq_name (tree *eq_to, tree var)
static void	check_phi_redundancy (tree phi, tree *eq_to)
void	kill_redundant_phi_nodes (void)
static void	warn_uninit (tree t, const char gmsgid, location_t locus)
static tree	warn_uninitialized_var (tree tp, int walk_subtrees, void *data)
static void	warn_uninitialized_phi (tree phi)
static void	execute_early_warn_uninitialized (void)
static void	execute_late_warn_uninitialized (void)
static bool	gate_warn_uninitialized (void)
Variables
struct tree_opt_pass	pass_redundant_phi
struct tree_opt_pass	pass_early_warn_uninitialized
struct tree_opt_pass	pass_late_warn_uninitialized