OSDN Git Service

2004-05-17 Frank Ch. Eigler <fche@redhat.com>
[pf3gnuchains/gcc-fork.git] / gcc / ChangeLog
index 4486260..db93d50 100644 (file)
@@ -1,3 +1,362 @@
+2004-05-17  Frank Ch. Eigler  <fche@redhat.com>
+
+       * tree-mudflap.c (mx_register_decls): Tolerate decl trees resulting
+       from source code with errors.
+
+2004-05-17  Ranjit Mathew  <rmathew@hotmail.com>
+
+       Enable tree browser for all front ends.
+       * Makefile.in (cc1): Moved @TREEBROWSER@ from here...
+       (BACKEND): ...to here.
+
+2004-05-17  Jan Hubicka  <jh@suse.cz>
+
+       * i386.c (construct_container): Do not produce BLKmode registers.
+       (classify_argument): Properly compute alignment of complex types.
+
+2004-05-17  H.J. Lu  <hongjiu.lu@intel.com>
+
+       PR target/15084
+       * config/i386/i386.md (*movsi_insv_1_rex64): Changed to DImode
+       and renamed to movdi_insv_1_rex64.
+       (insv): Support SImode for 32bit and DImode for 64bit.
+
+2004-05-17  Richard Sandiford  <rsandifo@redhat.com>
+
+       * config/mips/mips.h (MASK_DEBUG_G, TARGET_DEBUG_G_MODE): Delete.
+       (TARGET_SWITCHES): Remove debugg.
+       * config/mips/mips.md (adddi3, ashldi3, ashrdi3, lshrdi3): Only handle
+       TARGET_64BIT.
+       (subdi3): Replace the define_expand with a define_insn, the latter
+       renamed from subdi3_internal_3.
+       (negdi2): Likewise negdi2_internal_2.
+       (adddi3_internal_[12], subdi3_internal, ashldi3_internal{,2,3})
+       (ashrdi3_internal{,2,3}, lshrdi3_internal{,2,3}): Remove patterns
+       and associated define_splits.
+       (adddi3_internal): Renamed from adddi3_internal_3.
+       (ashldi3_internal): Likewise ashldi3_internal4.
+       (ashrdi3_internal): Likewise ashrdi3_internal4.
+       (lshrdi3_internal): Likewise lshrdi3_internal4.
+
+2004-05-17  Richard Sandiford  <rsandifo@redhat.com>
+
+       * optabs.c (expand_unop): Try implementing negation using subtraction
+       from zero.
+
+2004-05-16  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
+
+       * pa.md:  Fix typo from last change.  Remove DFmode move to and from
+       SAR register.
+
+2004-05-16  Richard Earnshaw  <rearnsha@arm.com>
+
+       PR target/10982
+       * arm.md (ne_zeroextractsi): Convert to insn-and-split.
+       (ne_zeroextractsi_shifted): New pattern.
+       (ite_ne_zeroextractsi): New pattern.
+       (ite_ne_zeroextractsi_shifted): New pattern.
+
+2004-05-15  Steven Bosscher  <stevenb@suse.de>
+
+       * c-gimplify.c (c_genericize):
+       Replace calls via (*lang_hooks.foo) with lang_hooks.foo.
+       * c-parse.in <expr_no_commas>: Likewise.
+       <if_prefix>: Likewise.
+       <select_or_iter_stmt>: Likewise.
+       * expr.c (expand_var, expand_expr_real_1): Likewise.
+       * expr.h (expand_expr): Make it a static inline function.
+       Move prototype for expand_expr_real up before this.
+       * fold-const.c (fold_relational_hi_lo, fold_relational_const):
+       Likewise.
+       * gimplify.c (gimple_boolify, gimplify_addr_expr,
+       gimplify_asm_expr, gimplify_expr): Likewise.
+       * tree-cfg.c (dump_tree_cfg, dump_cfg_stats, tree_cfg2vcg,
+       dump_function_to_file): Likewise.
+       * tree-dfa.c (dump_immediate_uses, dump_dfa_stats): Likewise.
+       * tree-inline.c (remap_block, save_body, walk_tree): Likewise.
+       * tree-into-ssa.c (dump_tree_ssa): Likewise.
+       * tree-mudflap.c (mf_varname_tree, mf_file_function_line_tree):
+       Likewise.
+       * tree-optimize.c (execute_one_pass): Likewise.
+       * tree-pretty-print.c (dump_generic_bb_buff): Likewise.
+       * tree-ssa-alias.c (dump_alias_stats, dump_alias_info): Likewise.
+
+       * objc/objc-act.c (objc_build_try_enter_fragment,
+       objc_build_try_epilogue, objc_build_catch_stmt,
+       objc_build_finally_prologue): Replace calls via (*lang_hooks.foo)
+       with lang_hooks.foo ().
+
+2004-05-15  Roger Sayle  <roger@eyesopen.com>
+
+       * builtins.c (simplify_builtin_strcpy): Avoid use of chainon, so
+       that simplify_builtin doesn't destructively modify its argument.
+
+2004-05-15  Richard Earnshaw  <reanrsha@arm.com>
+
+       * arm/lib1funcs.asm (_lshrdi3, _ashrdi3, _ashldi3): Add ASM 
+       implementations for ARM and Thumb.
+       * arm/t-arm-elf (LIB1ASMFUNCS): Use them.
+
+2004-05-15  Thomas Quinot  <quinot@act-europe.fr>
+
+       * prefix.c (update_path): Replace PREFIX with KEY only
+       when it matches a full directory name in PATH.
+
+2004-05-15  Richard Earnshaw  <reanrsha@arm.com>
+
+       * arm.h (TARGET_APCS_32): Delete.
+       (TARGET_MMU_TRAPS): Delete.
+       (TARGET_CPU_CPP_BUILTINS): Unconditionally define __APCS_32__.  Never
+       define __APCS_26__.
+       (CPP_SPEC): Remove checking of -mapcs-{26,32}.
+       (ARM_FLAG_APCS_32, ARM_FLAG_MMU_TRAPS): Delete.
+       (TARGET_SWITCHES): Remove alignment_traps and apcs-{26,32} switches.
+       (prog_mode_type): Delete.
+       (PROMOTE_MODE): Always promote unsigned for HImode.
+       (SECONDARY_INPUT_RELOAD_CLASS): Simplify.
+       (MASK_RETURN_ADDR): Simplify.
+       * arm.c (arm_prgmode): Delete.
+       (arm_override_options, arm_gen_rotated_half_load): Simplify.
+       (print_multi_reg, output_return_instruction): Simplify.
+       (arm_output_epilogue, arm_final_prescan_insn): Simplify.
+       (arm_return_addr): Simplify.
+       * arm.md (prog_mode): Delete.
+       (conds): Simplify.
+       (zero_extendhisi2, extendhisi2, movhi, movhi_bytes): Simplify.
+       (rotated_loadsi, movhi_insn_littleend, movhi_insn_bigend): Delete.
+       (loadhi_si_bigend, loadhi_preinc, loadhi_shiftpreinc): Delete.
+       (loadhi_shiftpredec): Delete.
+       (peephole for post-increment on HImode load): Delete.
+       * arm/crtn.asm: (FUNC_END): Simplify.
+       * arm/lib1funcs.asm: Remove APCS-26 return macros.
+       * arm/aof.h, arm/coff.h arm/elf.h arm/linux-elf.h arm/netbsd-elf.h
+       * arm/netbsd.h arm/pe.h arm/semi.h arm/semiaof.h arm/unknown-elf.h 
+       * arm/vxworks.h arm/wince-pe.h: Tidy TARGET_DEFAULTS and
+       MULTILIB_DEFAULTS as required.
+       * arm/t-arm-elf arm/t-linux arm/t-pe arm/t-semi arm/t-wince-pe
+       * arm/t-xscale-coff arm/t-xscale-elf arm/uclinux-elf: Tidy MULTILIB
+       variables as required.
+       * doc/invoke.texi (ARM Options): Remove obsolete flags.
+
+2004-05-15  Alan Modra  <amodra@bigpond.net.au>
+
+       * config/rs6000/rs6000.c (rs6000_va_arg <ABI_V4>): Don't use
+       UNITS_PER_WORD to calculate gpr size.  Re-instate code to set reg
+       count to 8 to handle n_reg > 2.
+
+2004-05-15  Joseph S. Myers  <jsm@polyomino.org.uk>
+
+       * doc/extend.texi: Update WG14 URL.
+
+2004-05-15  Steven Bosscher  <stevenb@suse.de>
+
+       * basic-block.h (life_analysis, delete_noop_moves):
+       Update prototypes.
+       * bt-load.c (branch_target_load_optimize): Don't take the
+       insns stream as an argument.  Update the life_analysis calls.
+       * combine.c (combine_instructions): Update delete_noop_moves
+       calls.
+       * flow.c (notice_stack_pointer_modification): Don't take the
+       insns stream as an argument.  Work on the flow graph.
+       (life_analysis): Likewise.
+       (delete_noop_moves): Likewise.
+       * passes.c (rest_of_handle_stack_regs): Update reg_to_stack call.
+       (rest_of_handle_life): Update life_analysis call.
+       (rest_of_compilation): Likewise, and also update
+       branch_target_load_optimize call.
+       * ra.c (reg_alloc): Update life_analysis call.
+       * reg-stack.c (reg_to_stack): Likewise.  Also, don't take
+       the insns stream as an argument.
+       * regrename.c (copyprop_hardreg_forward): Update delete_noop_moves
+       call.
+       * rtl.c (branch_target_load_optimize, reg_to_stack): Update
+       prototypes.
+       * value-profile.c (branch_prob): Update life_analysis call.
+       * web.c (web_main): Work on the CFG, not on the insns stream.
+
+       * config/ip2k/ip2k.c (ip2k_reorg): Update life_analysis calls.
+       * config/m68hc11/m68hc11.c (m68hc11_reorg): Likewise.
+       * config/sh/sh.c (sh_output_mi_thunk): Likewise.
+
+2004-05-15  Joseph S. Myers  <jsm@polyomino.org.uk>
+
+       PR c/15444
+       * c-format.c (avoid_dollar_number): New function.
+       (check_format_info_main): Call avoid_dollar_number when operand
+       numbers might occur but has_operand_number == 0.
+
+2004-05-14  Richard Earnshaw  <rearnsha@arm.com>
+
+       * arm.md (all peephole2 patterns): Use predicates that validate
+       register classes as appropriate.
+
+2004-05-14  Steven Bosscher  <stevenb@suse.de>
+
+       PR opt/14472
+       * tree-tailcall.c (process_assignment): Use STRIP_NOPS to
+       ignore type conversions that do not inhibit tail calling.
+       (find_tail_calls): Likewise.
+
+2004-05-14  Jeff Law  <law@redhat.com>
+
+       * tree-ssa-dom.c (redirect_edges_and_update_ssa_graph): Don't even
+       bother marking bypassed virtuals for out-of-ssa.  Instead merge
+       bypassed virtuals into vars_to_rename just before into-ssa pass.
+
+       * tree-ssa-dom.c (simplify_rhs_and_lookup_avail_expr): Reorganize
+       so that it picks up more opportunities to eliminate ABS expressions
+       or turn them into negations.
+
+2004-05-14  Steven Bosscher  <stevenb@suse.de>
+
+       * passes.c (rest_of_handle_null_pointer): Remove.
+       (rest_of_handle_cse): Don't call rest_of_handle_null_pointer.
+       (rest_of_compilation): Likewise.
+       * rtl.h (delete_null_pointer_checks): Remove prototype.
+       * gcse.c (rd_kill, rd_gen, reaching_defs, rd_out, ae_in, ae_out):
+       Remove declarations.
+       (get_bitmap_width, alloc_rd_mem, free_rd_mem, handle_rd_kill_set,
+       compute_kill_rd, compute_rd, alloc_avail_expr_mem,
+       free_avail_expr_mem, compute_ae_gen, expr_killed_p, compute_ae_kill,
+       expr_reaches_here_p, computing_insn, def_reaches_here_p,
+       can_disregard_other_sets, handle_avail_expr, classic_gcse,
+       one_classic_gcse_pass, invalidate_nonnull_info,
+       delete_null_pointer_checks_1, delete_null_pointer_checks,
+       expr_reached_here_p_work): Remove.
+       (gcse_main): Do not perform classic GCSE when optimizing for size.
+       (alloc_pre_mem, free_pre_mem): Don't touch ae_in and ae_out, they
+       are never used.
+
+2004-05-14  Andrew Pinski  <pinskia@physics.uc.edu>
+
+       PR optimization/14466
+       * tree-complex.c (make_temp): Remove.
+       (gimplify_val): Replace make_temp with make_rename_temp
+       and add NULL as the second argument.
+       (expand_complex_div_wide): Likewise.
+       * tree-dfa.c (make_rename_temp): New function.
+       * tree-flow.h (make_rename_temp): Declare.
+       * tree-sra.c (make_temp): Remove.
+       (lookup_scalar): Replace make_temp with make_rename_temp.
+       (create_scalar_copies): Likewise.
+       * tree-ssa-phiopt.c (conditional_replacement): When we
+       get non gimple create a temporary variable to hold the
+       casted expression.
+
+2004-05-14  Paul Brook  <paul@codesourcery.com>
+
+       * stor-layout.c (update_alignment_for_field): Use
+       targetm.align_anon_bitfield.
+       * target-def.h (TARGET_ALIGN_ANON_BITFIELD): Define.
+       (TARGET_INITIALIZER): Use it.
+       * target.h (struct gcc_target): Add align_anon_bitfield.
+       * config/arm/arm.c (arm_align_anon_bitfield):  New function.
+       (TARGET_ALIGN_ANON_BITFIELD): Define.
+       * doc/tm.texi: Document TARGET_ALIGN_ANON_BITFIELD.
+
+2004-05-13  Zack Weinberg  <zack@codesourcery.com>
+
+       * tree.def (documentation): Remove mention of class 'b'.
+       (BLOCK): Now in class 'x'.
+       * c-common.c (verify_tree): Remove case 'b'.
+       * c-typeck.c (same_translation_unit_p): Change 'b' to 'x'.
+       * calls.c (calls_function_1): Control cannot get past the switch
+       when exp is a BLOCK.
+       * print-tree.c (print_node): Move code for class 'b' to the class
+       'c'/'x' switch, as case BLOCK.
+       * tree.c (tree_size, make_node_stat, tree_node_structure): Likewise.
+       (unsafe_for_reeval, substitute_placeholder_in_expr)
+       (stabilize_reference_1): Remove case 'b'.
+       * tree-browser.c (browse_tree): Change all tests for TREE_CODE_CLASS
+       of something being 'b' to tests for TREE_CODE of something being
+       BLOCK.
+       * tree-ssa-operands.c (get_expr_operands): Likewise.
+
+2004-05-13  Diego Novillo  <dnovillo@redhat.com>
+
+       * tree-gimple.c: Rename from tree-simple.c.
+       * tree-gimple.h: Rename from tree-simple.h.
+       * c-gimplify.c: Rename from c-simplify.c
+       * Makefile.in, c-decl.c, gimple-low.c, gimplify.c,
+       langhooks.c, tree-alias-ander.c, tree-alias-common.c,
+       tree-complex.c, tree-dfa.c, tree-flow.h, tree-inline.c,
+       tree-into-ssa.c, tree-iterator.c, tree-mudflap.c,
+       tree-nested.c, tree-nomudflap.c, tree-outof-ssa.c, tree-sra.c,
+       tree-ssa-alias.c, tree-ssa-ccp.c, tree-ssa-copyrename.c,
+       tree-ssa-dce.c, tree-ssa-live.c, tree-ssa-pre.c, tree-ssa.c:
+       Update.
+
+2004-05-14  Ranjit Mathew  <rmathew@hotmail.com>
+
+       * doc/sourcebuild.texi: Mention libbanshee and libmudflap.
+
+2004-05-13  Andrew Pinski  <pinskia@physics.uc.edu>
+
+       * tree-ssa.c (delete_tree_ssa): XFREE
+       bitmaps allocated with BITMAP_XMALLOC.
+
+       * tree-ssa-pre.c (execute_pre): Free ephi_use_pool and
+       idfs_cache at the end of the function.
+
+       * tree-ssa-live.c (calculate_live_on_entry): Free saw_def
+       at the end of the function.
+
+       * tree-ssa-dce.c (perform_tree_ssa_dce): Free
+       el at the end of the function.
+
+       * tree-into-ssa.c (insert_phi_nodes_for): XFREE
+       bitmaps allocated with BITMAP_XMALLOC.
+
+       * loop-unswitch.c (unswitch_single_loop): Free bbs at
+       the end.
+
+       * final.c (shorten_branches): Free uid_shuid before
+       reallocating it.
+
+       * bb-reoder.c (connect_traces): Free cold_traces at the end.
+
+2004-05-13  Jeff Law  <law@redhat.com>
+
+       * tree-ssa-live.c (calculate_live_on_entry): Ignore virtual
+       variables.  Simplify slightly by using USE_OP/DEF_OP instead
+       of USE_OP_PTR/DEF_OP_PTR and dereferencing the result.
+
+       * tree-into-ssa.c (compute_global_livein): Use EXECUTE_IF_SET_IN_BITMAP
+       rather than iterating through the blocks testing each bit in
+       livein to initialize the worklist.
+       (mark_def_sites): Remove useless checks of KILLS for virtual
+       operands.
+
+       * tree-ssa-forwprop.c (record_single_argument_cond_exprs): Accept
+       new parameters for the statement and variable worklist as well
+       as a bitmap of interesting SSA_NAMEs.  Walk over the statement
+       worklist recording interesting variables in the variable worklist
+       and bitmap.  Handle casts between integral and boolean types.
+       (substitute_single_use_vars): Accept new parameters for the statement
+       and variable worklist.  When a substitution is made add a new
+       entry to the statement worklist.  Handle casts between integral
+       and boolean types.
+       (tree_ssa_forward_propagate_single_use_vars): Rework to pass
+       worklists to children.  Iterate until the statement worklist
+       is empty.
+
+2004-05-13  Andrew Pinski  <pinskia@physics.uc.edu>
+
+       * tree-outof-ssa.c (rewrite_vars_out_of_ssa): Free map at
+       the end of the block.
+
+       * tree-into-ssa.c (def_blocks_free): XFREE bitmaps allocated
+       with BITMAP_XMALLOC.
+
+       * tree-ssa-alias.c (delete_alias_info): XFREE bitmaps allocated
+       with BITMAP_XMALLOC.
+
+       * tree-ssa-dom.c (tree_ssa_dominator_optimize):
+       Free nonzero_vars at the end of the function.
+
+       * convert.c (convert_to_integer): Make a CONVERT_EXPR when there is a
+       need to generate code instead of a NOP_EXPR.
+
 2004-05-13  Ian Lance Taylor  <ian@wasabisystems.com>
 
        * gcc.c (default_compilers): Fill out initializers for new Fortran
        * simplify-rtx.c (simplify_rtx): Do not handle
        CONSTANT_P_RTX.
        * stmt.c (parse_output_constraint): Don't warn for read-write
-        memory operand.
+       memory operand.
        (tail_recursion_args): Use types_compatible_p langhook.
        (force_label_rtx): Don't look at inline_function_decl.
        (label_rtx): Set LABEL_PRESERVE_P appropriately.
 2004-05-12  Paolo Bonzini  <bonzini@gnu.org>
 
        Replace several arrays with a struct of arrays.
-        * combine.c (struct reg_stat): New.
-        (init_reg_last_arrays): Renamed to...
-        (init_reg_last): ...this.  Callers adjusted.
-        (reg_stat): New.
-        (combine_instructions): Allocate it and use it.
-        (reg_last_death, reg_last_set, reg_last_set_value,
-        reg_last_set_label, reg_last_set_table_tick,
-        reg_last_set_invalid, reg_nonzero_bits, reg_sign_bit_copies,
-        reg_last_set_mode, reg_last_set_nonzero_bits,
-        reg_last_set_sign_bit_copies): Replace throughout
-        with items of reg_stat.
+       * combine.c (struct reg_stat): New.
+       (init_reg_last_arrays): Renamed to...
+       (init_reg_last): ...this.  Callers adjusted.
+       (reg_stat): New.
+       (combine_instructions): Allocate it and use it.
+       (reg_last_death, reg_last_set, reg_last_set_value,
+       reg_last_set_label, reg_last_set_table_tick,
+       reg_last_set_invalid, reg_nonzero_bits, reg_sign_bit_copies,
+       reg_last_set_mode, reg_last_set_nonzero_bits,
+       reg_last_set_sign_bit_copies): Replace throughout
+       with items of reg_stat.
 
 2004-05-11  Kaz Kojima  <kkojima@gcc.gnu.org>
 
 
 2004-03-24  David Edelsohn  <edelsohn@gnu.org>
 
-       * doc/invoke.texi (-frename-registers: Add enabled at -O3.
+       * doc/invoke.texi (-frename-registers): Add enabled at -O3.
        (-fprofile-values): Add enabled with profile-{generate,use}.
        (-fvpt): Same.
        (-ftracer): Add enabled with profile-use.