OSDN Git Service

* tree-ssa-operands.c (add_call_clobber_ops): Fix unused variable
[pf3gnuchains/gcc-fork.git] / gcc / ChangeLog
index 3cd560d..175bd11 100644 (file)
@@ -1,3 +1,328 @@
+2004-09-15  Richard Henderson  <rth@redhat.com>
+
+       * tree-ssa-operands.c (add_call_clobber_ops): Fix unused variable
+       warning with code disable.  Fix formatting.
+
+2004-09-15  Steven Bosscher  <stevenb@suse.de>
+
+       * Makefile.in (tree-ssa-dom.o): Depend on tree-ssa-propagate.h.
+       * tree-ssa-dom.c (cprop_into_stmt): Recompute TREE_INVARIANT
+        after propagating into an ADDR_EXPR.
+
+2004-09-15  Andrew Pinski  <apinski@apple.com>
+
+       PR rtl-opt/17427
+       * gcse.c (process_insert_insn): insn_invalid_p has side effects.
+       Move it out of gcc_assert.
+
+2004-09-15  Joseph S. Myers  <jsm@polyomino.org.uk>
+
+       * attribs.c, builtins.c, c-format.c, c-pch.c, coverage.c,
+       except.c, fold-const.c, function.c, langhooks.c, params.c,
+       reload.c, reload1.c, stmt.c, stor-layout.c, toplev.c, tree-cfg.c,
+       tree-dump.c, tree-mudflap.c, tree.c, varasm.c: Use %<, %> and %q
+       for quoting in diagnostics going through pretty-print.c.  Use ''
+       for quoting in other diagnostic text.
+       * langhooks.c: Include intl.h.  Mark text locating diagnostics for
+       translation.
+       * Makefile.in (langhooks.o): Update dependencies.
+       * pretty-print.h (pp_printf): Mark as accepting GCC diagnostic
+       formats.
+
+2004-09-15  Mark Mitchell  <mark@codesourcery.com>
+
+       * configure.ac: Check for COMDAT support.  Robustify check for
+       SHF_MERGE support.
+       * configure: Regenerated.
+       * config.in: Likewise.
+       * langhooks-def.h (lhd_comdat_group): New function.
+       (LANG_HOOKS_COMDAT_GROUP): New macro.
+       (LANG_HOOKS_DECLS): Use it.
+       * langhooks.c (lhd_comdat_group): Define.
+       * langhooks.h (lang_hooks_for_decls): Add comdat_group.
+       * output.h (named_section_flags): Make it a macro.
+       (named_section_real): New function.
+       (default_no_named_section): Add decl parameter.
+       (default_elf_asm_named_section): Likewise.
+       (default_coff_asm_named_section): Likewise.
+       (default_pe_asm_named_section): Likewise.
+       * target.h (gcc_target): Adjust type of named_section.
+       * varasm.c (named_section_flags): Rename to named_section_real.
+       Add decl parameter.
+       (default_no_named_section): Add decl parameter.
+       (default_elf_asm_named_section): Use COMDAT, if available.  Deal
+       with the case that ASM_COMMENT_START is "@".
+       (default_coff_asm_named_section): Add decl parameter.
+       (default_pe_asm_named_section): Likewise.
+       * config/alpha/alpha.c (vms_asm_named_section): Add decl
+       parameter.
+       (unicosmk_asm_named_section): Likewise.
+       * config/arm/arm.c (arm_elf_asm_named_section): Remove.
+       * config/arm/elf.h (TARGET_ASM_NAMED_SECTION): Likewise.
+       * config/c4x/c4x.c (c4x_asm_named_section): Add decl parameter.
+       * config/cris/cris-protos.h (cris_target_asm_named_section):
+       Likewise.
+       * config/cris/cris.c (cris_target_asm_named_section):
+       Likewise.
+       * config/darwin/darwin-protos.h (darwin_asm_named_section):
+       Likewise.
+       * config/darwin/darwin.c (darwin_asm_named_section): Likewise.
+       * config/h8300/h8300.c (h8300_asm_named_section): Likewise.
+       * config/i386/i386-protos.h (i386_pe_asm_named_section):
+       Likewise.
+       * config/i386/winnt.c (i386_pe_asm_named_section): Likewise.
+       * config/m68k/m68k.c (m68k_coff_asm_named_section): Likewise.
+       * config/mcore/mcore.c (mcore_asm_named_section): Likewise.
+       * config/rs6000/rs6000.c (rs6000_xcoff_asm_named_section):
+       Likewise.
+       * config/sparc/sparc.c (sparce_elf_asm_named_section): Likewise.
+       * cp/cp-lang.h (LANG_HOOKS_COMDAT_GROUP): Define.
+       * cp/cp-tree.h (cxx_comdat_group): Declare.
+       * cp/decl.c (cxx_comdat_group): New function.
+
+2004-09-15  Jan Hubicka  <jh@suse.cz>
+
+       * tree-ssa.c (verify_flow_sensitive_alias_info): Do not walk dead nodes.
+       * tree-tailcall.c (eliminate_tail_call): Release SSA name.
+
+       * tree-cfg.c (remove_bb): Release SSA defs.
+
+2004-09-15  Kazu Hirata  <kazu@cs.umass.edu>
+
+       * doc/tm.texi: Follow spelling conventions.
+
+2004-09-15  Kazu Hirata  <kazu@cs.umass.edu>
+
+       * tree-ssa-dom.c: Fix comment typos.
+
+2004-09-15  Alan Modra  <amodra@bigpond.net.au>
+
+       * config/rs6000/linux-unwind.h (struct gcc_pt_regs): Extend to
+       include ccr.
+       (ppc_fallback_frame_state): Save location of CR.
+
+2004-09-15  Jakub Jelinek  <jakub@redhat.com>
+
+       * expr.c (string_constant): Handle also read-only variables
+       initialized to string literals.
+
+       * builtins.c (expand_builtin_memmove): Optimize memmove (x, y, 1)
+       into memcpy (x, y, 1) if memcpy can be expanded inline.
+
+2004-09-15  Zdenek Dvorak  <rakdver@atrey.karlin.mff.cuni.cz>
+
+       PR tree-optimization/17468
+       * tree-ssa.c (verify_use, verify_phi_args, verify_ssa):  Verify that
+       definition inside a block precede uses.
+       * tree-tailcall.c (adjust_return_value): Emit statements in the
+       correct order.
+
+2004-09-15  Richard Sandiford  <rsandifo@redhat.com>
+
+       * config/mips/mips.h (POINTERS_EXTEND_UNSIGNED): Delete.
+
+2004-09-15  Eric Botcazou  <ebotcazou@libertysurf.fr>
+
+       * doc/install.texi (sparc-sun-solaris2*): Properly format warning.
+
+2004-09-14 Jeff Law  <law@redhat.com>
+
+       * tree-ssa-dom.c (avail_exprs_stack): New global varray.
+       (struct dom_walk_block_data): Remove avail_exprs member.
+       (tree_ssa_dominator_optimize): Initialize avail_exprs_stack.
+       (lookup_avail_expr): No longer need to pass in address of
+       the block local available exprs stack.  All callers changed.
+       (simplify_cond_and_lookup_avail_expr): Similarly.
+       (simplify_switch_and_lookup_avail_expr): Similarly.
+       (get_eq_expr_value, record_cond): Likewise.
+       (record_dominating_conditions): Likewise.
+       (update_rhs_and_lookup_avail_expr): Likewise.
+       (record_equivalences_from_stmt): Likewise.
+       (dom_opt_initialize_block_local_data): No longer test state of
+       block local avail_exprs.
+       (dom_opt_initialize_block): Mark unwind point in the global
+       avail_expr stack.
+       (remove_expressions_from_table): Update to unwind to the
+       most recent unwind marker in the global avail_expr stack.
+       All callers changed.
+       (dom_opt_finalize_block): Mark unwind point in the global
+       avail_expr stack as needed.
+       (record_cond): Push elements into the global avail_exprs stack.
+
+       * tree-dfa.c (free_df_for_stmt): No longer static.
+       (free_df): Update comments.
+       * tree-flow.h (free_df_for_stmt): Prototype.
+       * tree-ssa-dse.c (dse_optimize_stmt): Call free_df_for_stmt.  Also
+       call release_defs.
+
+2004-09-14  Diego Novillo  <dnovillo@redhat.com>
+
+       PR tree-optimization/17252
+       * tree-ssa-alias.c (may_alias_p): Don't assume that a
+       pointer may not point to itself when using relaxed
+       aliasing rules.
+
+2004-09-14  Richard Henderson  <rth@redhat.com>
+
+       PR middle-end/17397
+       * gimplify.c (gimplify_addr_expr): Don't inadvertently change types
+       while folding <ADDR_EXPR <INDIRECT_REF X>>.
+
+2004-09-14  Andrew Pinski  <apinski@apple.com>
+
+       * tree-ssa-copy.c (may_propagate_copy): Don't check the aliasing
+       sets of the pointers but the aliasing sets of what they point to.
+
+2004-09-14  Roger Sayle  <roger@eyesopen.com>
+
+       PR rtl-optimization/9771
+       * regclass.c (CALL_REALLY_USED_REGNO_P): New macro to eliminate
+       conditional compilation in init_reg_sets_1.
+       (init_reg_sets_1): Let global_regs[i] take priority over the frame
+       (but not stack) pointer exceptions to regs_invalidated_by_call.
+       (globalize_reg): Globalizing a fixed register may need to update
+       regs_invalidated_by_call.
+
+2004-09-14  Diego Novillo  <dnovillo@redhat.com>
+
+       PR tree-optimization/15262
+       * tree-dfa.c (dump_variable): Also print the type of the
+       variable.
+       * tree-ssa-alias.c (compute_flow_insensitive_aliasing): If two
+       memory tags are of conflicting alias sets but have no aliased
+       symbols in common, add one tag to the alias set of the other.
+       (setup_pointers_and_addressables): Remove hack to deal with
+       programs with no aliased symbols.
+       (may_alias_p): Don't special case aggregate types.
+
+2004-09-14  Joseph S. Myers  <jsm@polyomino.org.uk>
+
+       PR c/15498
+       * doc/invoke.texi (Environment Variables): Correct example locale.
+
+2004-09-14  Jan Hubicka  <jh@suse.cz>
+
+       * cfg.c (expunge_block): Revert previous change adding ggc_free call.
+
+2004-09-14  Mark Mitchell  <mark@codesourcery.com>
+
+       * config.gcc: Do not build a shared libgcc for arm-none-eabi.
+
+2004-09-14  Joseph S. Myers  <jsm@polyomino.org.uk>
+
+       * c-tree.h (struct c_declspecs): Add const_p, volatile_p and
+       restrict_p.
+       (struct c_declarator): Change u.array.quals and pointer_quals to
+       int.  Add u.array.attrs.
+       (quals_from_declspecs): New.
+       * c-decl.c (quals_from_declspecs): New.
+       (shadow_tag_warned): Give more specific message for useless type
+       qualifiers.
+       (build_array_declarator, set_array_declarator_inner,
+       grokdeclarator, make_pointer_declarator, build_null_declspecs,
+       declspecs_add_qual): Update for changed structures.
+
+2004-09-14  Jeff Law  <law@redhat.com>
+
+       * tree-ssa-dom.c (stmts_to_rescan): Move from a block-local
+       to a global varray.  
+       (tree_ssa_dominator_optimize): Allocate stmts_to_rescan.
+       (dom_opt_initialize_block_local_data): No longer test state
+       of stmts_to_rescan.
+       (dom_opt_finalize_block): Update due to change in scope of
+       stmts_to_rescan.
+       (optimize_stmt): Similarly.
+
+2004-09-14  Kazu Hirata  <kazu@cs.umass.edu>
+
+       * cgraph.h, cgraphunit.c, fold-const.c, lambda-mat.c,
+       lambda.h, profile.c, tree-optimize.c, tree-sra.c, vec.h: Fix
+       comment typos.  Follow spelling conventions.
+
+2004-09-14  Kazu Hirata  <kazu@cs.umass.edu>
+
+       * config/darwin-c.c, config/alpha/alpha.c, config/i386/i386.c,
+       config/i386/predicates.md, config/sparc/sparc.c: Follow
+       spelling conventions.
+
+2004-09-14  Zdenek Dvorak  <rakdver@atrey.karlin.mff.cuni.cz>
+           Steven Bosscher  <stevenb@suse.de>
+
+       * Makefile.in (loop-unroll.o): Add HASHTAB_H and RECOG_H dependency.
+       * basic-block.h (struct reorder_block_def): Add copy_number field.
+       * cfgloop.h (biv_p): Declare.
+       * cfgloopmanip.c (duplicate_loop_to_header_edge): Set copy_number.
+       * common.opt (fsplit-ivs-in-unroller): New flag.
+       * loop-iv.c (biv_p): New function.
+       * loop-unroll.c: Include hashtab.h and recog.h.
+       (struct iv_to_split, struct split_ivs_info): New types.
+       (analyze_ivs_to_split, si_info_start_duplication, split_ivs_in_copies,
+       free_si_info, si_info_hash, si_info_eq, analyze_iv_to_split_insn,
+       determine_split_iv_delta, get_ivts_expr, allocate_basic_variable,
+       insert_base_initialization, split_iv): New functions.
+       (peel_loop_completely, unroll_loop_constant_iterations,
+       unroll_loop_runtime_iterations, peel_loop_simple, unroll_loop_stupid):
+       Use them.
+       * doc/invoke.texi (-fsplit-ivs-in-unroller): Document.
+
+2004-09-14  Zdenek Dvorak  <rakdver@atrey.karlin.mff.cuni.cz>
+
+       * tree-cfg.c (thread_jumps): Update dominators correctly in
+       case destination of threaded edge dominates its source.
+
+2004-09-14  Zdenek Dvorak  <rakdver@atrey.karlin.mff.cuni.cz>
+
+       * unroll.c: Removed.
+       * loop.h: Removed.
+       * Makefile.in (LOOP_H, unroll.o): Removed.
+       (toplev.o, passes.o, stmt.o, integrate.o, loop.o): Remove LOOP_H
+       dependency.
+       * alias.c (init_alias_analysis): Remove flag_old_unroll_loops
+       reference.
+       * cfgloop.h (LOOP_PREFETCH, loop_optimize): Moved from loop.h.
+       * common.opt (fold-unroll-loops, fold-unroll-all-loops): Removed.
+       * loop.c: Do not include loop.h.
+       (LOOP_INFO, LOOP_MOVABLES, LOOP_REGS, LOOP_IVS, INSN_LUID,
+       REGNO_FIRST_LUID, REGNO_LAST_LUID, enum g_types, struct induction,
+       struct iv_class, enum iv_mode, struct iv, REG_IV_TYPE, REG_IV_INFO,
+       REG_IV_CLASS, struct loop_ivs, struct loop_mem_info, struct loop_reg,
+       struct loop_regs, struct loop_movables, struct loop_info): Moved
+       from loop.h.
+       (back_branch_in_range_p, fold_rtx_mult_add, biv_total_increment,
+       reg_dead_after_loop, final_biv_value, loop_find_equiv_value,
+       find_common_reg_term, loop_iterations, final_giv_value): Moved
+       from unroll.c.
+       (uid_luid, uid_loop, max_uid_for_loop, max_reg_before_loop,
+       loop_dump_stream, for_each_insn_in_loop, express_from,
+       extend_value_for_giv, loop_iv_add_mult_emit_before,
+       loop_iv_add_mult_sink, loop_iv_add_mult_hoist,
+       loop_insn_first_p, get_condition_for_loop,
+       loop_insn_emit_before, loop_insn_hoist,
+       loop_insn_sink): Made static.
+       (loop_invariant_p): Made static.  Removed flag_old_unroll_loops
+       reference.
+       (strength_reduce): Do not call unroller.
+       (record_giv): Do not initialize unrolled field.
+       (prescan_loop): Do not set loop_info->preconditioned.
+       * passes.c: Do not include loop.h.
+       (rest_of_handle_loop_optimize): Do not call unroller.
+       * predict.c: Do not include loop.h.
+       * rtl.h (NOTE_PRECONDITIONED): Removed.
+       * stmt.c: Do not include loop.h.
+       * toplev.c: Do not include loop.h.
+       (process_options): Do not handle flag_old_unroll_loops.
+
+       * doc/invoke.texi (fold-unroll-loops, fold-unroll-all-loops):
+       Documentation removed.
+       * doc/passes.texi (unroll.c, loop.h): Documentation removed.
+
+2004-09-14  Nathan Sidwell  <nathan@codesourcery.com>
+
+       * Makefile.in (STAGE1_CHECKING): New variable.
+       (stage1_build): Use it.
+       * tree-ssa.c (verify_ssa): Preserve state of dominance
+       information.
+
 2004-09-14  Uros Bizjak  <uros@kss-loka.si>
 
        * config/i386/i386.c (output_fp_compare): Add generation