gcc/ChangeLog.ipa

   1 2005-11-03  Jan Hubicka  <jh@suse.cz>
   2
   3         * Merge from mainline (revision 106423).
   4
   5 2005-09-30  Jan Hubicka  <jh@suse.cz>
   6
   7         * loop-init.c (loop_optimizer_init): Avoid calling RTL optimizer too
   8         early.
   9         * passes.c (init_optimization_passes): Schedule early VRP pass.
  10
  11 2005-09-22  Jan Hubicka  <jh@suse.cz>
  12
  13         * tree-ssa-operands (get_indirect_ref_operands, add_stmt_operand):
  14         Be more cureful with volatilizing.
  15
  16 2005-09-21  Jan Hubicka  <jh@suse.cz>
  17
  18         * tree-inline.c (optimize_inline_calls): Rebuild SSA if needed.
  19
  20         * ipa-type-escape.c (check_operand, check_tree, scan_for_refs): Handle
  21         SSA_NAMEs.
  22         (init_optimization_passes): Re-enable IPA passes.
  23
  24 2005-09-19  Jan Hubicka  <jh@suse.cz>
  25
  26         * passes.c (init_optimization_passes): Remove commented out items; add early ccp/dce.
  27         * tree-ssa-operands (get_indirect_ref_operands): Mark statments wirting
  28         to memory as volatile before aliasing is built.
  29         (add_stmt_operand): Likewise.
  30
  31 2005-09-18  Jan Hubicka  <jh@suse.cz>
  32
  33         * cgraphunit.c (cgraph_finalize_compilation_unit): Better dumping at -Q
  34         (cgraph_optimize): Likewise.
  35         * passes.c (execute_one_pass): New announce parameter.
  36         (execute_ipa_pass_list): Use it.
  37         (execute_pass_list): Likewise.
  38         * tree-optimize.c (pass_early_local_passes,
  39         gate_all_early_optimizations): Add names.
  40
  41 2005-09-16  Jan Hubicka  <jh@suse.cz>
  42
  43         * Merge from mainline (ipa-merge-20050915)
  44
  45 2005-09-03  Jan Hubicka  <jh@suse.cz>
  46
  47         * Merge from mainline (ipa-branch-merge-20050903)
  48
  49 2005-08-19  Jan Hubicka  <jh@suse.cz>
  50
  51         * cgraph.h (rebuild_cgraph_edges): Declare.
  52         * cgraphunit.c (rebuild_cgraph_edges): Rebuild.
  53         * ipa-inline.c (cgraph_apply_inline_plan): Initialize bitmaps; free
  54         dominance info.
  55         (cgraph_decide_inlining_incrementally): Likewise.
  56         * opts.c (decode_options): Temporarily disable salias.
  57         * passes.c (init_optimization_passes): Temporariliy disable all IPA
  58         passes; move SSA construction into early_optimization_passes.
  59         * tree-inline.c: Include tree-pass.h
  60         (remap_ssa_name): New function.
  61         (remap_decl): Initialize SSA structs.
  62         (copy_body_r): Handle SSA names; register global vars.
  63         (copy_bb): Fold all new statements; update SSA_DEF_STMTs.
  64         (copy_edges_for_bb): Update PHI nodes of EH edges.
  65         (copy_phis_for_bb): New function.
  66         (initialize_cfun): Break out from ...
  67         (copy_cfg_body): ... here.
  68         (setup_one_parameter): Handle SSA form.
  69         (declare_return_variable): Likewise.
  70         (expand_call_inline): Initialize calle_cfun early; deal with
  71         SSA when replacing original assignment.
  72         (optimize_inline_call): Some extra checking and rebuilding.
  73         (tree_function_versioning): Use initialize_cfun; do not construct
  74         temporary decl; free dominance info.
  75         * tree-optimize.c (gate_all_optimizations): FOrce optimizations when in
  76         SSA form.
  77         (gate_all_early_optimizations): New.
  78         (pass_all_early_optimizations): New.
  79         (tree_lowering_passes): Do not compact blocks; do early
  80         optimizations when called late; free dominance info.
  81         * tree-pass.h (pass_all_early_optimizations): Declare.
  82         * tree-ssa-ccp (get_maxval_strlen): Allow SSA to not be complette yet.
  83
  84 2005-08-18  Jan Hubicka  <jh@suse.cz>
  85
  86         * Makefile.in (tree-ssanames, tree-eh, tree-ssa-operands): Kill GGC
  87         file.
  88         * function.h (struct function): Add struct ssa.
  89         * tree-cfgcleanup (modified_noreturn_calls): Kill.
  90         (cleanup_control_flow): Set modified_noreturn_calls only when in SSA.
  91         * tree-dfa.c (referenced_vars): Kill.
  92         (make_rename_temp): Touch referenced_vars only when in SSA.
  93         (default_def_fn, default_def, set_default_def): New.
  94         * tree-flow-inline.h (mark_stmt_modified): Only touch noreturn calls
  95         when in SSA.
  96         (default_def, set_default_def): Kill.
  97         (is_call_clobbered, mark_call_clobbered, clear_call_clobbered,
  98         mark_non_addressable): Update call_clobbered_vars and operand caches.
  99         * tree-flow.h (in_ssa_p): Kill variable.
 100         (struct opbuild_list_d): Declare here.
 101         (struct ssa): New struct.
 102         (referenced_vars, ssa_names, modified_noreturn_calls, global_var,
 103         aliases_computed_p, in_ssa_p, free_ssanames, build_defs, build_uses,
 104         build_v_may_defs, build_vuses, build_v_must_defs, operand_memory,
 105         operand_memory_index, free_defs, free_uses, free_vuses, free_maydefs,
 106         free_mustdefs): New macros.
 107         (var_ann_d): Kill default_def.
 108         (modified_noreturn_calls, referenced_vars, ssa_names, global_var,
 109         call_clobbered_vars, addressable_vars, aliases_computed_p): Kill global
 110         variable.
 111         (set_default_def, default_def): No longer inline.
 112         * tree-intossa.c (in_ssa_p): Kill.
 113         (rewrite_into_ssa): Set in_ssa_p using x_ field.
 114         * tree-optimize.c (execute_free_datastructures): Only kill SSA when
 115         present.
 116         * tree-outof-ssa.c (rewrite_out_of_ssa): Set in_ssa_p using x_ field.
 117         * tree-ssa-alias.c (aliases_computed_p, call_clobbered_vars,
 118         addressable_vars, global_var): Kill.
 119         (init_alias_info, setup_pointers_and_addressables,
 120         maybe_create_global_var): Update name of call clobbered bitmaps.
 121         * tree-ssa-operands.c (opbuild_list_d): Kill structure definition.
 122         (build_defs, build_uses, build_v_may_defs, build_vuses,
 123         build_v_must_defs, ssa_call_clobbered_cache_valid,
 124         ssa_ro_call_cache_valid): Kill.
 125         (ssa_call_clobbered_cache_valid_for, ssa_ro_call_cache_valid_for): New.
 126         (ops_active, operand_memory, operand_memory_index): Kill.
 127         (free_defs, free_uses, free_vuses, free_maydefs, free_mustdefs): Kill.
 128         (ssa_operands_active): Use cfun->ssa.
 129         (init_ssa_operands): Likewise.
 130         (fini_ssa_operands): Update clobbered cache.
 131         (get_asm_expr_operands, get_call_expr_operands, add_call_clobber_ops,
 132         debug_immediate_uses_for): Update.
 133         * tree-ssa-operands.h (ssa_call_clobbered_cache_valid,
 134         ssa_ro_call_cache_valid): Rename to...
 135         (ssa_call_clobbered_cache_valid_for, ssa_ro_call_cache_valid_for): ...
 136         this one.
 137         * tree-ssa-opfinalize.h (FINALIZE_FUNC): Check datastructure sanity.
 138         * tree-ssa-structalias (update_alias_info): Update.
 139         * tree-ssa.c (init_tree_ssa): Allocate SSA structure; update for new
 140         names.
 141         (delete_tree_ssa): Similarly.
 142         * tree-ssanames.c (ssa_names, free_ssanames): Kill; do not include
 143         gt-tree-ssanames.h
 144         * tree-vect-generic.c (expand_vector_operations): Do not update stmt
 145         when not in SSA form.
 146
 147 2005-08-14  Jan Hubicka  <jh@suse.cz>
 148
 149         * cgraph.h (cgraph_preserve_function_body_p): New argument.
 150         * cgraphunit.c (cgraph_expand_function): Update call of
 151         cgraph_preserve_function_body_p.
 152         (cgraph_preserve_function_body_p): New argument.
 153         * ipa-inline.c (cgraph_apply_inline_plan): New function.
 154         (cgraph_decide_inlining): Use it; remove unreachable nodes.
 155         (cgraph_decide_inlining_incrementally): Update call of
 156         optimize_inline_calls.
 157         * tree-inline.c (inline_data): New field early_inlining_p.
 158         (expand_call_inline): Use it.
 159         (optimize_inline_calls): New argument.
 160         * tree-inline.h (optimize_inline_calls): Declare.
 161         * tree-optimize.c (update_inlined_to_pointers): Kill
 162         (tree_rest_of_compilation): Don't perform inlining.
 163
 164 2005-08-13  Jan Hubicka  <jh@suse.cz>
 165
 166         * cgraph.c (cgraph_insert_node_to_hashtable): New function.
 167         * cgraph.h (cgraph_node): Add inline_decl.
 168         (cgraph_insert_node_to_hashtable): Declare.
 169         (save_inline_function_body): Declare.
 170         * cgraphunit.c (verify_cgraph_node): Inline edges might point to inline
 171         clones.
 172         (cgraph_preserve_function_body_p): Do not presrve when dump is enabled.
 173         (cgraph_function_versioning): Update call of tree_function_versioning.
 174         (save_inline_function_body): New function.
 175         * function.h (struct function): Kill saved_eh, saved_cfg, saved_args,
 176         saved_static_chain_decl, saved_blocks and saved-unexpanded_var_list.
 177         * ipa-inline.c (cgraph_mark_inline_edge): Look for inline clones.
 178         (cgraph_default_inline_p): Likewise.
 179         (cgraph_decide_inlining_incrementally): Likewise.
 180         * tree-inline.c (inline_data): Kill saving_p add update_clones_p.
 181         (copy_bb): Kill saving; do updating of clones.
 182         (copy_cfg_body): Kill saving.
 183         (initialize_inlined-parameters): Likewise.
 184         (expand_call_inline): Likewise.
 185         (save_body): Kill.
 186         (tree_function_versioning): New parameter "update_clones".
 187         (inlining_p): Kill saving.
 188         * tree-inline.h (tree_function_versioning): Update prototype.
 189         * tree-optimize.c (tree_rest_of_compilation): Use clonning instead of saving.
 190
 191         * java/decl.c (flag_unit_at_a_time): Kill.
 192
 193 2005-08-08  Olga Golovanevsky  <olga@il.ibm.com>
 194
 195         * common.opt (flag_ipa_alias): New flag.
 196         * ipa-prop.c (ipa_methodlist_init_empty): New function.
 197         (ipa_callsite_tree, ipa_method_is_modified): Non-static.
 198         (ipa_callsite_compute_param): Check for valid index.
 199         (ipa_method_compute_tree_map, ipa_method_compute_modify):
 200         Exit if count is 0.
 201         (ipa_calc_formals_counts): New function.
 202         * ipa_prop.h (ipaa_aliasing, ipaa_num_pairs_args):
 203         New fields in ipa_node structure.
 204         (ipaa_num_pairs_arg, ipaa_aliasing): New field in
 205         ipa_edge structure.
 206         (alias_info_d): New enums.
 207         (ipaa_driver): New declaration.
 208         (IS_VALID_TREE_MAP_INDEX): New macro.
 209         (ipa_callsite_tree, ipa_methodlist_init_empty,
 210         ipa_method_is_modified, ipaa_func_tree_alias_info_print,
 211         ipa_calc_formals_counts, ipaa_get_aliasing_of_formals):
 212         New declarations.
 213         * timervar.def (TV_IPA_ALIAS_ANALYSIS): New time var.
 214         * tree-flow.h (ipa-prop.h): New include file.
 215         (ipa_alias): New field in var_ann_d struct.
 216         * passes.c (pass_ipa_alias) : New ipa pass.
 217         * tree-pass.h (pass_ipa_alias): New ipa pass structure.
 218         * tree-ssa-alias.c (ipa-prop.h): New include file.
 219         (may_alias_p): User ipaa interface to disambiguate formals.
 220         * tree-data-ref.c: (ptr_ptr_may_alias_p): User ipaa
 221         interface to disambiguate formals.
 222         * Makefile.in (ipaa.c) : Added to GTFILES.
 223         (ipa-alias.o): Added as target and into OBJS-archive.
 224         (IPA_PROP_H): New variable, added to TREE_FLOW_H.
 225         * ipa-alias.c New file.