OSDN Git Service

patch for PR rtl-optimization/25130
[pf3gnuchains/gcc-fork.git] / gcc / ChangeLog
index a590463..2db3153 100644 (file)
@@ -1,3 +1,345 @@
+2005-12-21  Steven Bosscher  <stevenb@suse.de>
+
+       PR rtl-optimization/25130
+       * postreload-gcse.c (record_last_set_info): Notice stack pointer
+       changes in push insns without REG_INC notes.
+
+2005-12-21  Kazu Hirata  <kazu@codesourcery.com>
+
+       PR tree-optimization/25382.
+       * tree-vrp.c (extract_range_from_binary_expr): Extract a range
+       from BIT_AND_EXPR.
+
+2005-12-21  Janis Johnson  <janis187@us.ibm.com>
+           Ben Elliston  <bje@au.ibm.com>
+
+       * configure.ac: Enable C extension for decimal float if invoked
+       with --enable-decimal-float.
+       * doc/install.texi (Configuration): Document it.
+       * configure, config.in: Regenerate.
+
+2005-12-20  Mike Stump  <mrs@apple.com>
+
+       * config/darwin.h (TARGET_OPTION_TRANSLATE_TABLE): Handle the
+       ambiguity between -seg_addr_table and -seg_addr_table_filename.
+       (WORD_SWITCH_TAKES_ARG): Likewise.
+       (LINK_SPEC): Likewise.
+
+2005-12-20  Kenneth Zadeck <zadeck@naturalbridge.com>
+
+       * cfganal.c (flow_reverse_top_sort_order_compute):
+       Renamed to post_order_compute and additional parameter added which
+       allows the inclusion of entry and exit blocks into list.
+       (mark_dfs_back_edges): Fixed comment.
+       (flow_depth_first_order_compute): Renamed to
+       pre_and_rev_post_order_compute additional parameter added which
+       allows the inclusion of entry and exit blocks into list.
+       * global.c (set_up_bb_rts_numbers): Call to
+       flow_reverse_top_sort_order_compute renamed to
+       post_order_compute.
+       * var-tracking.c (vt_stack_adjustments): Fixed comment.
+       (vt_find_locations): Call to
+       flow_depth_first_order_compute renamed to
+       pre_and_rev_post_order_compute.
+       * cfgloop.c (flow_find_loops): Ditto.
+       * tree-ssa-reassoc.c (init_reassoc): Ditto.
+       * df.c (df_analyze_1, df_analyze_subcfg): Calls to
+       flow_reverse_top_sort_order_compute renamed to post_order_compute
+       and calls to flow_reverse_top_sort_order_compute renamed to
+       post_order_compute.
+       * basic_block.h: Ditto.
+
+
+2005-12-20  Roger Sayle  <roger@eyesopen.com>
+           Paolo Bonzini  <bonzini@gnu.org>
+
+       PR rtl-optimization/25115
+       * gcse.c (pre_insert_copy_insn): Fall back to the sole
+       SET in the insn if there is no SET for an
+       expression that is equivalent to EXPR.
+
+2005-12-20  Richard Guenther  <rguenther@suse.de>
+
+       PR middle-end/24306
+       * builtins.c (std_gimplify_va_arg_expr): Do not align
+       va frame for zero sized types.
+       * config/i386/i386.c (ix86_gimplify_va_arg): Likewise.
+
+2005-12-20  Kazu Hirata  <kazu@codesourcery.com>
+
+       PR tree-optimization/25501
+       * tree-cfgcleanup.c (merge_phi_nodes): Check that RESULT is
+       used in the PHI argument corresponding to the edge from BB to
+       DEST.
+
+2005-12-20  Richard Guenther  <rguenther@suse.de>
+
+       Revert
+       2005-12-02  Richard Guenther  <rguenther@suse.de>
+
+       * tree-cfg.c (mark_used_vars): New function.
+       (dump_function_to_file): Dump only used VAR_DECLs.
+
+2005-12-19  Roger Sayle  <roger@eyesopen.com>
+
+       * combine.c (try_combine): Improve splitting of binary operators
+       by taking advantage of reassociative transformations.
+
+2005-12-19  Jeff Law  <law@redhat.com>
+
+       * tree-ssa-dom.c (thread_across_edge): Do not use local_fold.
+       Strip away all type conversions after simplifying the
+       condition.
+
+        * tree-cfgcleanup.c (merge_phi_nodes): Allow merging in some
+        cases the forwarder block dominates the destination.
+
+2005-12-19  DJ Delorie  <dj@redhat.com>
+
+       * reload1.c (spill_failure): Dump reload data to dump file.
+       (find_reload_regs): Likewise.
+
+2005-12-19  Zdenek Dvorak <dvorakz@suse.cz>
+
+       PR tree-optimization/24793
+       * tree-ssa-loop-ivopts.c (get_ref_tag): Remember the
+       original reference if there are subvars.
+       * tree-ssa-operands.c (get_tmr_operands): Handle subvars.
+
+2005-12-19  Kenneth Zadeck <zadeck@naturalbridge.com>
+
+       * df.c (df_analyze_1, df_analyze_subcfg, iterative_dataflow):
+       Corrected basic block number calculations for changes in entry and
+       exit numbering.
+       
+2005-12-19  Zdenek Dvorak <dvorakz@suse.cz>
+
+       * tree-flow.h (struct var_ann_d): Change type of
+       may_aliases field to VEC(tree, gc) *.
+       (may_aliases): Declaration changed.
+       * tree-ssa-alias.c (group_aliases, add_may_alias,
+       replace_may_alias, dump_may_aliases_for,
+       is_aliased_with, add_type_alias, new_type_alias):
+       Work with VEC(tree, gc) * instead of varray.
+       * tree-flow-inline.h (may_aliases): Ditto.
+       * tree-ssa.c (verify_flow_insensitive_alias_info,
+       verify_name_tags): Ditto.
+       * tree-ssa-operands.c (add_stmt_operand): Ditto.
+
+2005-12-19  J"orn Rennecke <joern.rennecke@st.com>
+
+       * cfgcleanup.c: Temporarily revert patches for PR 20070 till Bernd
+       comes back.
+
+2005-12-19  J"orn Rennecke <joern.rennecke@st.com>
+
+       * struct-equiv.c (struct_equiv_improve_checkpoint): Fix sets_cc0_p
+       check.
+
+2005-12-19  Ben Elliston  <bje@au.ibm.com>
+
+       * doc/install.texi (Configuration): Typo in Fortran subheading.
+
+2005-12-19  Nathan Sidwell  <nathan@codesourcery.com>
+
+       * config/mt/mt.md (decrement_and_branch_until_zero): Add another
+       scratch.  Correct its reload split. Adjust its peephole.
+       (doloop_end): Add additional scratch.
+       (nop): Use 'nop'.
+       * config/mt/mt.c (MT_INT_ARG_FIRST): Remove.
+       (mt_asm_output_opcode, mt_print_operand): Use 'nop'.
+       (mt_function_arg_slotno): Use FIRST_ARG_REGNUM.
+       (mt_builtin_saveregs): Replace with ...
+       (mt_setup_incoming_varargs): ... here.  Save just the varadic
+       args.
+       (mt_va_start): Remove.
+       (mt_reorg_hazard): Ignore USE insns.  Don't call set_noop_p.
+       (mt_machine_reorg): Split all insns here.
+       (TARGET_SETUP_INCOMING_VARARGS): Override.
+       * config/mt/mt.h (TARGET_CPU_CPP_BUILTINS): Define __mt__ only.
+       Set to CPU type.
+       (EXPAND_BUILTIN_VA_START): Remove.
+
+2005-12-17  Kenneth Zadeck <zadeck@naturalbridge.com>
+
+        * flow.c (update_life_info, count_or_remove_death_notes): Fixed
+       latent bug that could happen if update_life_info was called with a
+       blocks parameter and the call to cleanup_cfg actually deleted one
+       of those blocks. 
+
+2005-12-19  Zdenek Dvorak <dvorakz@suse.cz>
+
+       * tree-ssa-structalias.c (update_alias_info): Remove handling
+       of may_be_aliased (SSA_NAME_VAR (op)) case.
+
+2005-12-19  Zdenek Dvorak <dvorakz@suse.cz>
+
+       * tree-flow.h (struct stmt_ann_d): Remove
+       makes_aliased_loads and makes_aliased_stores fields.
+       * tree-ssa-ccp.c (likely_value): Do not use makes_aliased_stores
+       and makes_aliased_loads fields.
+       * tree-ssa-dom.c (eliminate_redundant_computations): Do not
+       use makes_aliased_stores.
+       * tree-ssa-operands.c (clobbered_aliased_loads,
+       clobbered_aliased_stores, ro_call_aliased_loads): Removed.
+       (build_ssa_operands, add_stmt_operand, add_call_clobber_ops,
+       add_call_read_ops): Do not set makes_aliased_stores and
+       makes_aliased_loads fields.
+       * tree-ssa.c (verify_ssa): Do not verify makes_aliased_stores
+       field.
+
+2005-12-18  Geoffrey Keating  <geoffk@apple.com>
+
+       * config/darwin.h: Don't include darwin-sections.def to declare
+       global variables; instead create darwin_section_enum.
+       (darwin_section_enum): New.
+       (darwin_sections): New.
+       * config/darwin.c: Don't include darwin-sections.def to define
+       global variables.
+       (darwin_sections): New.
+       (output_objc_section_asm_op): Rewrite to take advantage of
+       darwin_sections.
+       (darwin_init_sections): Rewrite to use darwin_sections.
+       (machopic_output_indirection): Update for darwin_sections array.
+       (machopic_select_section): Likewise.
+       (machopic_select_rtx_section): Likewise.
+       (machopic_asm_out_constructor): Likewise.
+       (machopic_asm_out_destructor): Likewise.
+       (darwin_file_end): Likewise.
+       * config/rs6000/rs6000.c (machopic_output_stub): Likewise.
+       * config/i386/i386.c (machopic_output_stub): Likewise.
+
+2005-12-18  Richard Guenther  <rguenther@suse.de>
+
+       PR tree-optimization/25481
+       * tree-ssa-structalias.c (handle_ptr_arith): Handle accesses we
+       don't have a varinfo for.
+
+2005-12-18  Jon Grimm  <jgrimm2@us.ibm.com>
+           Janis Johnson  <janis187@us.ibm.com>
+           Ben Elliston  <bje@au.ibm.com>
+
+       * optabs.c (init_floating_libfuncs): Handle decimal float modes.
+       (init_optabs): Handle libfuncs for decimal float.
+       * genopinit.c (gen_insn): Handle MODE_DECIMAL_FLOAT.
+       * stor-layout.c (int_mode_for_mode): Likewise.
+       * simplify-rtx.c (simplify_immed_subreg): Likewise.
+       (simplify_unary_operation_1): Skip optimisations for decimal float
+       modes.
+       * varasm.c (output_constant_pool_2): Handle MODE_DECIMAL_FLOAT.
+       * emit-rtl.c (gen_const_vector): Add assertion check.
+       (init_emit_once): Populate const_tiny_rtx with constants in each
+       decimal float mode.
+       * expmed.c (extract_high_half, expand_mult_highpart_optab,
+       expand_mult_highpart): Assert that mode is not a scalar float
+       mode.
+       * expr.c (convert_move): Handle conversion between decimal and
+       binary floats of the same size.
+       * convert.c (convert_to_real): Consider decimal float types when
+       folding.
+       * dwarf2out.c (base_type_die): Use DW_ATE_decimal_float to
+       describe decimal floating point types.
+       
+2005-12-18  Ulrich Weigand  <uweigand@de.ibm.com>
+
+       PR rtl-optimization/21041
+       * reload.c (find_reloads_subreg_address): Replace paradoxical
+       subreg of MEM by widened access only if the resulting memory
+       is properly aligned, even on !STRICT_ALIGNMENT targets.
+
+2005-12-18  Andreas Krebbel  <krebbel1@de.ibm.com>
+
+       * tree-cfg.c (tree_flow_call_edges_add): Check for empty basic blocks.
+
+2005-12-18  Steven Bosscher  <stevenb@suse.de>
+
+       * gcse.c (gcse_main, bypass_jumps): Fix non-GNU-isms from
+       the 2005-12-17 patch to renumber the entry and exit blocks.
+
+2005-12-18  Gabriel Dos Reis  <gdr@integrable-solutions.net>
+
+       * doc/objc.texi (Type encoding): Fix typo.
+
+2005-12-17  Gabriel Dos Reis  <gdr@integrable-solutions.net>
+
+       * tree-tailcall.c (find_tail_calls): Use XNEW.
+       * tree-ssa-dom.c (allocate_edge_info): Use XCNEW.
+       (free_all_edge_infos): Use explicit cast to convert from void *.
+       (vrp_free): Likewise.
+       (dom_opt_finalize_block): Likewise.
+       (record_equivalences_from_incoming_edge): Likewise.
+       (thread_across_edge): Likewise.  Use XCNEWVEC.
+       (record_cond): Use XCNEW.
+       (record_conditions): Use XNEWVEC.
+       (record_edge_info): Use XCNEWVEC.
+       (lookup_avail_expr): Use XNEW.
+       (record_range): Likewise.  Use GGC_NEW.
+       * tree-nested.c (var_map_hash): Use explicit cast to convert from
+       void *.
+       (var_map_eq): Likewise.
+       (lookup_field_for_decl): Likewise.
+       (convert_nonlocal_reference): Likewise.
+       (convert_local_reference): Likewise.
+       (convert_nl_goto_reference): Likewise.
+       (convert_nl_goto_receiver): Likewise.
+       (convert_call_expr): Likewise.
+       (convert_tramp_reference): Likewise.
+       (lookup_tramp_for_decl): Likewise.Use GGC_NEW.
+       (convert_nl_goto_reference): Likewise.
+       (lookup_field_for_decl): Use GGC_NEW.
+       (create_nesting_tree): Use GGC_CNEW.
+       * tree-ssa-phiopt.c (blocks_in_phiopt_order): Use XNEWVEC.
+       * tree-ssa-alias.c (init_alias_info): Use XCNEW.
+       (create_alias_map_for): Likewise.
+       (setup_pointers_and_addressables): Use XCNEWVEC.
+       (get_ptr_info): Use GGC_NEW.
+       (used_part_map_eq): Use explicit cast to convert from void *.
+       (up_lookup): Likewise.
+       (up_insert): Use XNEW.
+       (get_or_create_used_part_for): Use XCNEW.
+       (get_tmt_for): Likewise.
+       * tree-ssa-operands.c (ssa_operand_alloc): Use GGC_NEW.
+       * tree-ssa-pre.c (phi_trans_add): Use XNEW.
+       (bitmap_set_new): Use explicit cast to convert from void *.
+       (set_new): Likewise.
+       (insert_into_set): Likewise.
+       (pool_copy_list): Likewise.
+       (phi_translate): Likewise.
+       (create_value_expr_from): Likewise.
+       (insert_aux): Use XCNEWVEC.
+       (compute_avail): Use XNEWVEC.
+       * tree-ssa-live.c (calculate_live_on_entry): Likewise.
+       (sort_coalesce_list): Likewise.
+       (build_tree_conflict_graph): Use XCNEWVEC.
+       * tree-ssa-dce.c (tree_dce_init): Use XNEWVEC.
+       * tree-ssa-copy.c (init_copy_prop): Likewise.
+       (fini_copy_prop): Likewise.
+       * tree-ssa-uncprop.c (associate_equivalences_with_edges): Use XNEW
+       and XCNEWVEC.
+       (record_equiv): Use XNEW.
+       (uncprop_into_successor_phis): Use explicit cast to convert from
+       void *.
+       (uncprop_initialize_block): Likewise.
+
+2005-12-18  Dorit Nuzman  <dorit@il.ibm.com>
+
+       PR tree-optimization/24378      
+       * tree-vect-transform.c (vect_transform_loop): Create single-predecessor
+       basic-block after loop-versioning. 
+
+2005-12-18  Jeff Law  <law@redhat.com>
+
+       * tree-ssa-dom.c (simplify_switch_and_lookup_avail_expr): Code
+       to simplify SWITCH_EXPR_CODE moved from here to ...
+       * tree-ssa-forwprop.c (simplify_switch_expr): Here.
+       (tree-ssa-forward_propagate_single_use_vars): Call
+       simplify_switch_expr when appropriate.
+
+2005-12-17  Andrew Pinski  <pinskia@physics.uc.edu>
+
+       * doc/objc.texi (Type encoding): Add documentation about encoding
+       complex types and _Bool.
+
 2005-12-17  Paul Brook  <paul@codesourcery.com>
 
        * config/m68k/m68k.md (m68k_output_function_prologue): Always call
 
 2005-12-13  Nathan Sidwell  <nathan@codesourcery.com>
 
-       * sim/common/sim-signal.c (sim_signal_to_target): Add missing ':'.
-       * sim/common/sim-signal.h (sim_signal_to_target): Return an int.
-
        * config/mt/t-mt (crti.o, crtn.o): Add multilib options.
        (EXTRA_MULTILIB_PARTS): Define.
 
        * config/arm/bpabi.h (SUBTARGET_EXTRA_ASM_SPEC): Pass -meabi=gnu for
        apcs/atpcs.
 
-2005-12-11 Rafael Ávila de Espíndola <rafael.espindola@gmail.com>
+2005-12-11 Rafael vila de Espndola <rafael.espindola@gmail.com>
 
        * tree-flow.h: Allow compilation with a C++ compiler.
        (struct edge_prediction): Prefix all field names  with "ep_".
 
 2005-12-09  Aldy Hernandez  <aldyh@redhat.com>
 
-        * config/ms1/t-ms1 (MULTILIB_OPTIONS): Define.
-        (MULTILIB_DIRNAMES): Define.
+       * config/ms1/t-ms1 (MULTILIB_OPTIONS): Define.
+       (MULTILIB_DIRNAMES): Define.
 
 2005-12-09  Ulrich Weigand  <uweigand@de.ibm.com>
 
        * coretypes.h (section): Provide dummy definition for target files.
        * config/darwin.h: Revert previous change.
 
-2005-12-07  Rafael Ávila de Espíndola  <rafael.espindola@gmail.com>
+2005-12-07  Rafael vila de Espndola  <rafael.espindola@gmail.com>
 
        * doc/sourcebuild.texi (all.build, install-normal): Remove.
        * configure.ac: Remove all.build and install-normal from target_list
        * configure: Regenerate.
        * Makefile.in (install): Don't depend on install-normal.
 
-2005-12-07  Rafael Ávila de Espíndola  <rafael.espindola@gmail.com>
+2005-12-07  Rafael vila de Espndola  <rafael.espindola@gmail.com>
 
        * Makefile.in: Document the use of stamps.
 
-2005-12-07  Rafael Ávila de Espíndola  <rafael.espindola@gmail.com>
+2005-12-07  Rafael vila de Espndola  <rafael.espindola@gmail.com>
 
        * doc/gty.texi: Remove instructions for adding a dependency on s-gtype.
        * Makefile.in: Add code to compute some dependencies on s-gtype
        * gcc.c (main): Compare language[0] with '*' when iterating over
        the infiles.
 
-2005-07-13  Adrian Strae½tling  <straetling@de.ibm.com>
+2005-07-13  Adrian Straetling  <straetling@de.ibm.com>
 
        * config/s390/s390.c: (s390_cc_modes_compatible): Move before
        "s390_emit_compare".  Add handling of CCZ1mode.
        Use CCZ1mode instead of CCZmode.
        * config/s390/s390-modes.def: Add CCZ1mode.  Comment new mode.
 
-2005-07-13  Adrian Strae½tling  <straetling@de.ibm.com>
+2005-07-13  Adrian Straetling  <straetling@de.ibm.com>
 
        * config/s390/s390.md: ("cmpstrsi", "*cmpstr<mode>"): New
        pattern.