X-Git-Url: http://git.sourceforge.jp/view?a=blobdiff_plain;f=gcc%2Ftree-flow.h;h=abca6593ba35cdd0958cc05f0fe1e6f8b2b9c63f;hb=af0ecff34e2b6e3a50642dc00cd2c2e7a7c1523a;hp=96a2e10f1cfa2ad4d94775ff7d6e95a480d9674a;hpb=90aca266ceba90050158e8146fef07ad8f976e7d;p=pf3gnuchains%2Fgcc-fork.git diff --git a/gcc/tree-flow.h b/gcc/tree-flow.h index 96a2e10f1cf..abca6593ba3 100644 --- a/gcc/tree-flow.h +++ b/gcc/tree-flow.h @@ -1,5 +1,5 @@ /* Data and Control Flow Analysis for Trees. - Copyright (C) 2001, 2003, 2004 Free Software Foundation, Inc. + Copyright (C) 2001, 2003, 2004, 2005 Free Software Foundation, Inc. Contributed by Diego Novillo This file is part of GCC. @@ -66,6 +66,9 @@ struct ptr_info_def GTY(()) /* Nonzero if this pointer points to a global variable. */ unsigned int pt_global_mem : 1; + /* Nonzero if this pointer points to NULL. */ + unsigned int pt_null : 1; + /* Set of variables that this pointer may point to. */ bitmap pt_vars; @@ -135,7 +138,26 @@ enum mem_tag_kind { TYPE_TAG, /* This variable is a name memory tag (NMT). */ - NAME_TAG + NAME_TAG, + + /* This variable represents a structure field. */ + STRUCT_FIELD +}; +struct subvar; +typedef struct subvar *subvar_t; + +/* This structure represents a fake sub-variable for a structure field. */ + +struct subvar GTY(()) +{ + /* Fake variable name */ + tree var; + /* Offset inside structure. */ + HOST_WIDE_INT offset; + /* Size of field. */ + HOST_WIDE_INT size; + /* Next subvar for this structure. */ + subvar_t next; }; struct var_ann_d GTY(()) @@ -166,6 +188,14 @@ struct var_ann_d GTY(()) states. */ ENUM_BITFIELD (need_phi_state) need_phi_state : 2; + /* Used during operand processing to determine if this variable is already + in the vuse list. */ + unsigned in_vuse_list : 1; + + /* Used during operand processing to determine if this variable is already + in the v_may_def list. */ + unsigned in_v_may_def_list : 1; + /* An artificial variable representing the memory location pointed-to by all the pointers that TBAA (type-based alias analysis) considers to be aliased. If the variable is not a pointer or if it is never @@ -200,11 +230,8 @@ struct var_ann_d GTY(()) live at the same time and this can happen for each call to the dominator optimizer. */ tree current_def; - - /* Pointer to the structure that contains the sets of global - variables modified by function calls. This field is only used - for FUNCTION_DECLs. */ - static_vars_info_t static_vars_info; + + subvar_t subvars; }; @@ -291,6 +318,8 @@ union tree_ann_d GTY((desc ("ann_type ((tree_ann_t)&%h)"))) struct stmt_ann_d GTY((tag ("STMT_ANN"))) stmt; }; +extern GTY(()) VEC(tree) *modified_noreturn_calls; + typedef union tree_ann_d *tree_ann_t; typedef struct var_ann_d *var_ann_t; typedef struct stmt_ann_d *stmt_ann_t; @@ -304,6 +333,7 @@ static inline stmt_ann_t get_stmt_ann (tree); static inline enum tree_ann_type ann_type (tree_ann_t); static inline basic_block bb_for_stmt (tree); extern void set_bb_for_stmt (tree, basic_block); +static inline bool noreturn_call_p (tree); static inline void modify_stmt (tree); static inline void unmodify_stmt (tree); static inline bool stmt_modified_p (tree); @@ -342,10 +372,6 @@ struct bb_ann_d GTY(()) /* Chain of PHI nodes for this block. */ tree phi_nodes; - /* Nonzero if this block is forwardable during cfg cleanups. This is also - used to detect loops during cfg cleanups. */ - unsigned forwardable: 1; - /* Nonzero if this block contains an escape point (see is_escape_site). */ unsigned has_escape_site : 1; @@ -416,7 +442,7 @@ typedef struct { static inline block_stmt_iterator bsi_start (basic_block); static inline block_stmt_iterator bsi_last (basic_block); static inline block_stmt_iterator bsi_after_labels (basic_block); -block_stmt_iterator stmt_for_bsi (tree); +block_stmt_iterator bsi_for_stmt (tree); static inline bool bsi_end_p (block_stmt_iterator); static inline void bsi_next (block_stmt_iterator *); static inline void bsi_prev (block_stmt_iterator *); @@ -473,23 +499,22 @@ extern void print_loop_ir (FILE *); extern void cleanup_dead_labels (void); extern void group_case_labels (void); extern bool cleanup_tree_cfg (void); +extern void cleanup_tree_cfg_loop (void); extern tree first_stmt (basic_block); extern tree last_stmt (basic_block); extern tree *last_stmt_ptr (basic_block); extern tree last_and_only_stmt (basic_block); extern edge find_taken_edge (basic_block, tree); extern void cfg_remove_useless_stmts (void); -extern edge thread_edge (edge, basic_block); extern basic_block label_to_block (tree); -extern void tree_optimize_tail_calls (bool, enum tree_dump_index); -extern edge tree_block_forwards_to (basic_block bb); extern void bsi_insert_on_edge (edge, tree); extern basic_block bsi_insert_on_edge_immediate (edge, tree); -extern void bsi_commit_edge_inserts (int *); +extern void bsi_commit_one_edge_insert (edge, basic_block *); +extern void bsi_commit_edge_inserts (void); extern void notice_special_calls (tree); extern void clear_special_calls (void); extern void verify_stmts (void); -extern tree tree_block_label (basic_block bb); +extern tree tree_block_label (basic_block); extern void extract_true_false_edges_from_block (basic_block, edge *, edge *); extern bool tree_duplicate_sese_region (edge, edge, basic_block *, unsigned, basic_block *); @@ -515,12 +540,13 @@ extern void dump_generic_bb (FILE *, basic_block, int, int); extern var_ann_t create_var_ann (tree); extern stmt_ann_t create_stmt_ann (tree); extern tree_ann_t create_tree_ann (tree); +extern void reserve_phi_args_for_new_edge (basic_block); extern tree create_phi_node (tree, basic_block); -extern void add_phi_arg (tree *, tree, edge); -extern void remove_phi_arg (tree, basic_block); -extern void remove_phi_arg_num (tree, int); -extern void remove_phi_node (tree, tree, basic_block); +extern void add_phi_arg (tree, tree, edge); +extern void remove_phi_args (edge); +extern void remove_phi_node (tree, tree); extern void remove_all_phi_nodes_for (bitmap); +extern tree phi_reverse (tree); extern void dump_dfa_stats (FILE *); extern void debug_dfa_stats (void); extern void debug_referenced_vars (void); @@ -535,23 +561,25 @@ extern void compute_immediate_uses (int, bool (*)(tree)); extern void free_df (void); extern void free_df_for_stmt (tree); extern tree get_virtual_var (tree); -extern void add_referenced_tmp_var (tree var); +extern void add_referenced_tmp_var (tree); extern void mark_new_vars_to_rename (tree, bitmap); extern void find_new_referenced_vars (tree *); +void mark_call_clobbered_vars_to_rename (void); extern void redirect_immediate_uses (tree, tree); extern tree make_rename_temp (tree, const char *); /* Flags used when computing reaching definitions and reached uses. */ -#define TDFA_USE_OPS 1 << 0 -#define TDFA_USE_VOPS 1 << 1 +#define TDFA_USE_OPS (1 << 0) +#define TDFA_USE_VOPS (1 << 1) /* In gimple-low.c */ -struct lower_data; -extern void lower_stmt_body (tree, struct lower_data *); extern void record_vars (tree); extern bool block_may_fallthru (tree block); +typedef tree tree_on_heap; +DEF_VEC_MALLOC_P (tree_on_heap); + /* In tree-ssa-alias.c */ extern void dump_may_aliases_for (FILE *, tree); extern void debug_may_aliases_for (tree); @@ -562,33 +590,42 @@ extern void debug_points_to_info (void); extern void dump_points_to_info_for (FILE *, tree); extern void debug_points_to_info_for (tree); extern bool may_be_aliased (tree); +extern struct ptr_info_def *get_ptr_info (tree); +static inline subvar_t get_subvars_for_var (tree); +static inline bool ref_contains_array_ref (tree); +extern tree okay_component_ref_for_subvars (tree, HOST_WIDE_INT *, + HOST_WIDE_INT *); +static inline bool var_can_have_subvars (tree); +static inline bool overlap_subvar (HOST_WIDE_INT, HOST_WIDE_INT, + subvar_t, bool *); /* Call-back function for walk_use_def_chains(). At each reaching definition, a function with this prototype is called. */ typedef bool (*walk_use_def_chains_fn) (tree, tree, void *); + /* In tree-ssa.c */ extern void init_tree_ssa (void); -extern void dump_reaching_defs (FILE *); -extern void debug_reaching_defs (void); extern void dump_tree_ssa (FILE *); extern void debug_tree_ssa (void); extern void debug_def_blocks (void); extern void dump_tree_ssa_stats (FILE *); extern void debug_tree_ssa_stats (void); -extern void ssa_remove_edge (edge); extern edge ssa_redirect_edge (edge, basic_block); +extern void flush_pending_stmts (edge); extern bool tree_ssa_useless_type_conversion (tree); extern bool tree_ssa_useless_type_conversion_1 (tree, tree); extern void verify_ssa (void); extern void delete_tree_ssa (void); -extern void register_new_def (tree, varray_type *); +extern void register_new_def (tree, VEC (tree_on_heap) **); extern void walk_use_def_chains (tree, walk_use_def_chains_fn, void *, bool); extern void kill_redundant_phi_nodes (void); +extern bool stmt_references_memory_p (tree); /* In tree-into-ssa.c */ extern void rewrite_into_ssa (bool); extern void rewrite_ssa_into_ssa (void); +extern void rewrite_def_def_chains (void); void compute_global_livein (bitmap, bitmap); tree duplicate_ssa_name (tree, tree); @@ -658,12 +695,13 @@ void number_of_iterations_cond (tree, tree, tree, enum tree_code, tree, tree, struct tree_niter_desc *); bool number_of_iterations_exit (struct loop *, edge, struct tree_niter_desc *niter); +tree find_loop_niter (struct loop *, edge *); tree loop_niter_by_eval (struct loop *, edge); tree find_loop_niter_by_eval (struct loop *, edge *); void estimate_numbers_of_iterations (struct loops *); tree can_count_iv_in_wider_type (struct loop *, tree, tree, tree, tree); void free_numbers_of_iterations_estimates (struct loops *); -void rewrite_into_loop_closed_ssa (void); +void rewrite_into_loop_closed_ssa (bitmap); void verify_loop_closed_ssa (void); void loop_commit_inserts (void); bool for_each_index (tree *, bool (*) (tree, tree *, void *), void *); @@ -694,12 +732,7 @@ enum move_pos }; extern enum move_pos movement_possibility (tree); -/* In tree-if-conv.c */ -bool tree_if_conversion (struct loop *, bool); - - /* In tree-flow-inline.h */ -static inline int phi_arg_from_edge (tree, edge); static inline bool is_call_clobbered (tree); static inline void mark_call_clobbered (tree); static inline void set_is_used (tree); @@ -731,17 +764,17 @@ tree vn_lookup (tree, vuse_optype); void vn_init (void); void vn_delete (void); +/* In tree-ssa-sink.c */ +bool is_hidden_global_store (tree); /* In tree-sra.c */ -void insert_edge_copies (tree stmt, basic_block bb); - -/* In tree-ssa-operands.c */ -extern void build_ssa_operands (tree, stmt_ann_t, stmt_operands_p, - stmt_operands_p); +void insert_edge_copies (tree, basic_block); /* In tree-loop-linear.c */ extern void linear_transform_loops (struct loops *); +/* In tree-ssa-loop-ivopts.c */ +extern bool expr_invariant_in_loop_p (struct loop *, tree); /* In gimplify.c */ tree force_gimple_operand (tree, tree *, bool, tree);