OSDN Git Service

PR tree-optimization/17549
[pf3gnuchains/gcc-fork.git] / gcc / ChangeLog
index 8419047..d86daf4 100644 (file)
@@ -1,3 +1,518 @@
+2005-02-10  Steven Bosscher  <stevenb@suse.de>
+
+       PR tree-optimization/17549
+       * tree-outof-ssa.c (find_replaceable_in_bb): Do not allow
+       TER to replace a DEF with its expression if the DEF and the
+       rhs of the expression we replace into have the same root
+       variable.
+
+2005-02-10  Richard Sandiford  <rsandifo@redhat.com>
+
+       * config/mips/mips.md: Fix the placement of the match_scratch in the
+       lea64 peephole2.
+
+2005-02-10  Kazu Hirata  <kazu@cs.umass.edu>
+
+       * cse.c, tree-ssa-loop-ivopts.c, config/rs6000/linux-unwind.h:
+       Fix comment typos.
+
+2005-02-10  Zdenek Dvorak  <dvorakz@suse.cz>
+
+       * tree-ssa-loop-ivopts.c (determine_base_object): Ignore casts.
+       (strip_offset): Handle addresses.
+       (add_address_candidates): Use strip_offset.
+       (difference_cost): Reflect strip_offset change.
+       (force_var_cost, difference_cost): Strip nops.
+
+2005-02-10  Kazu Hirata  <kazu@cs.umass.edu>
+
+       * df.h (DF_REF_MODE_CHANGE, DF_REF_MEM_OK): Remove.
+
+       * builtins.def, haifa-sched.c, libgcc2.c, libgcc2.h,
+       tree-ssa-loop-ivcanon.c, tree-ssa-loop-niter.c,
+       config/cris/cris-protos.h, config/cris/cris.c: Update
+       copyright.
+
+2005-02-10  Jeff Law  <law@redhat.com>
+
+       * tree-ssa-dom.c (thread_across_edge): Use xmalloc, not xcalloc.
+       (lookup_avail_expr): Similarly.
+
+2005-02-10  Richard Guenther  <rguenth@gcc.gnu.org>
+
+       * builtins.c (fold_builtin_powi): New function.
+       (fold_builtin_1): Call it.
+
+2005-02-10  Steven Bosscher  <stevenb@suse.de>
+
+       PR documentation/19309
+       * doc/cpp.texi: The __GNUC__ and related predefined macros
+       are also defined for the "standalone" cpp.
+       Some non-GCC compilers may also define __GNUC__.
+
+2005-02-10  Jakub Jelinek  <jakub@redhat.com>
+
+       PR c/19342
+       * c-typeck.c (common_type): New routine.  Old common_type renamed
+       to...
+       (c_common_type): ...this.
+       (build_conditional_expr, build_binary_op): Use c_common_type instead
+       of common_type.
+
+2005-02-10  Steven Bosscher  <stevenb@suse.de>
+
+       * doc/md.texi: Replace @samp{length} with @code{length}.
+
+2005-02-09  Zdenek Dvorak  <dvorakz@suse.cz>
+
+       PR tree-optimization/18687
+       * tree-flow.h (find_loop_niter): Declare.
+       * tree-ssa-loop-ivcanon.c (canonicalize_loop_induction_variables):
+       Try using scev even for loops with more than one exit.
+       * tree-ssa-loop-ivopts.c (struct loop_data): Removed niter field.
+       (struct ivopts_data): Added niters field.
+       (struct nfe_cache_elt): New.
+       (nfe_hash, nfe_eq, niter_for_exit, niter_for_single_dom_exit): New
+       functions.
+       (tree_ssa_iv_optimize_init): Initialize niters cache.
+       (determine_number_of_iterations): Removed.
+       (find_induction_variables): Do not call determine_number_of_iterations.
+       Access niters for single exit through niter_for_single_dom_exit.
+       (add_iv_outer_candidates): Access niters for single exit through
+       niter_for_single_dom_exit.
+       (may_eliminate_iv): Take data argument.  Use niter_for_exit.  Do not use
+       number_of_iterations_cond.
+       (iv_period): New function.
+       (determine_use_iv_cost_condition): Pass data to may_eliminate_iv.
+       (may_replace_final_value): Take data argument.  Use
+       niter_for_single_dom_exit.
+       (determine_use_iv_cost_outer): Pass data to may_replace_final_value.
+       (rewrite_use_compare): Pass data to may_eliminate_iv.
+       (rewrite_use_outer): Pass data to may_replace_final_value.
+       (free_loop_data): Clean up the niters cache.
+       (tree_ssa_iv_optimize_finalize): Free the niters cache.
+       (tree_ssa_iv_optimize_loop): Do not call loop_commit_inserts.
+       * tree-ssa-loop-niter.c (find_loop_niter): New function.
+       (find_loop_niter_by_eval): Use tree_int_cst_lt.
+       (num_ending_zeros): Moved to tree.c.
+       * tree.h (num_ending_zeros): Declare.
+       * tree.c (num_ending_zeros): Moved from tree.c.
+
+2005-02-09  Richard Henderson  <rth@redhat.com>
+
+       * builtins.c (DEF_BUILTIN): Add COND argument.
+       * tree.h (DEF_BUILTIN): Likewise.
+       * builtins.def (DEF_GCC_BUILTIN, DEF_LIB_BUILTIN, DEF_EXT_LIB_BUILTIN,
+       DEF_C94_BUILTIN, DEF_C99_BUILTIN, DEF_C99_C90RES_BUILTIN): Update to
+       match.
+       (DEF_BUILTIN_STUB): New.
+       (BUILT_IN_STACK_SAVE, BUILT_IN_STACK_RESTORE, BUILT_IN_INIT_TRAMPOLINE,
+       BUILT_IN_ADJUST_TRAMPOLINE, BUILT_IN_NONLOCAL_GOTO,
+       BUILT_IN_PROFILE_FUNC_ENTER, BUILT_IN_PROFILE_FUNC_EXIT): Use it.
+       * c-common.c (DEF_BUILTIN): Add COND argument.
+       * tree.c (local_define_builtin): New.
+       (build_common_builtin_nodes): New.
+
+2005-02-09  Roger Sayle  <roger@eyesopen.com>
+
+       * fold-const.c (fold_strip_sign_ops): New function to simplify a
+       floating point expression ignoring the sign of the result.
+       (fold) <ABS_EXPR>: Use it to simplify fabs(x).
+       (fold) <MULT_EXPR>: Use it to simplify x*x.
+       * tree.h (fold_strip_sign_ops): Prototype here.
+       * builtins.c (fold_builtin_copysign): Take an additional FNDECL
+       argument.  Use fold_strip_sign_ops to simplify the first argument.
+       (fold_builtin_pow):  Use fold_strip_sign_ops to simplify the
+       first argument when the second argument is an even integer
+       constant, but only with -funsafe_math_optimizations.
+       (fold_builtin_1): Update call to fold_builtin_copysign.
+
+2005-02-09  Ian Lance Taylor  <ian@airs.com>
+
+       PR middle-end/19583
+       * gimple-low.c (try_catch_may_fallthru): In EH_FILTER_EXPR case,
+       just check whether EH_FILTER_FAILURE falls through.
+
+2005-02-09  Andreas Krebbel  <krebbel1@de.ibm.com>
+
+       * gcc/haifa-sched.c (schedule_block): Make queued sched group
+       insns return to ready list in the next turn.
+
+2005-02-09  Richard Guenther  <rguenth@gcc.gnu.org>
+
+       PR middle-end/19402
+       * builtins.def: New __builtin_powi[lf].
+       * builtins.c (mathfn_built_in): Handle BUILT_IN_POWI.
+       (expand_builtin_powi): New function.
+       (expand_builtin): Dispatch to expand_builtin_powi.
+       * libgcc2.h: Add prototypes for __builtin_powi[lf].
+       * libgcc2.c: Add __builtin_powi[lf] implementation.
+       * mklibgcc.in: Add __builtin_powi[lf] to lib2funcs.
+       * optabs.h: Add powi_optab.
+       * optabs.c (init_optabs): Initialize powi_optab.
+       * doc/extend.texi: Document __builtin_powi[lf].
+
+2005-02-09  Dorit Naishlos  <dorit@il.ibm.com>
+
+       * tree-vectorizer.c (vect_set_dump_settings): Check that dump_file 
+       exists.
+
+2005-02-09  Richard Guenther  <rguenth@gcc.gnu.org>
+
+       PR middle-end/19854
+       * fold-const.c (try_move_mult_to_index): Remove redundant
+       type argument.  Create ADDR_EXPR with correct type.
+       (fold): Update callers of try_move_mult_to_index.  Convert
+       result to the appropriate type.
+
+2005-02-09  Roger Sayle  <roger@eyesopen.com>
+
+       PR target/19597
+       * config/avr/avr.c (default_rtx_costs): Delete.
+       (avr_operand_rtx_cost): New function.
+       (avr_rtx_costs): Completely rewrite.
+
+2005-02-08  Hans-Peter Nilsson  <hp@axis.com>
+
+       PR target/19806
+       * config/cris/cris.c (in_code): New variable.
+       (cris_output_addr_const): Now a static function, a wrapper for
+       output_addr_const.
+       (cris_asm_output_symbol_ref): New function, broken out SYMBOL_REF
+       case from old cris_output_addr_const.
+       (cris_asm_output_label_ref): Similar for LABEL_REF.
+       (cris_output_addr_const_extra): Similar for UNSPEC.
+       * config/cris/cris.h (OUTPUT_ADDR_CONST_EXTRA)
+       (ASM_OUTPUT_SYMBOL_REF, ASM_OUTPUT_LABEL_REF): Define.
+       * config/cris/cris-protos.h (cris_output_addr_const): Remove
+       declaration.
+       (cris_asm_output_symbol_ref, cris_output_addr_const_extra)
+       (cris_asm_output_label_ref): Declare.
+
+2005-02-08  Paolo Bonzini  <bonzini@gnu.org>
+
+       PR preprocessor/19801
+       * doc/cppinternals.texi (Conventions, Lexer, Files): Adjust
+       filenames that changed when libcpp was moved to the toplevel.
+
+2005-02-07  Roger Sayle  <roger@eyesopen.com>
+
+       * simplify-rtx.c (simplify_relational_operation_1): Avoid creating
+       zero extensions of BImode operands.  Call lowpart_subreg instead
+       of gen_lowpart_common and gen_lowpart_SUBREG.
+
+2005-02-07  Nathanael Nerode  <neroden@gcc.gnu.org>
+
+       PR ada/19489
+       * libada-mk.in: Use cc_for_cross_gnattools, not cc_set_by_configure.
+       * configure.ac: Set cc_for_cross_gnattools.
+       * configure: Regenerate.
+
+2005-02-08  Alan Modra  <amodra@bigpond.net.au>
+
+       PR target/19803
+       * predict.c (PROB_VERY_UNLIKELY): Use 1% instead of 10%.
+
+2005-02-07  Eric Botcazou  <ebotcazou@libertysurf.fr>
+
+       PR debug/19327
+       * dbxout.c (dbxout_symbol) <FUNCTION_DECL>: Skip inline instance
+       of nested functions.
+
+2005-02-07  Jonathan Wakely  <redi@gcc.gnu.org>
+
+       * doc/extend.texi: Document deprecated extensions allowing
+       static floating-point members to have initializers and allowing
+       floating-point literals in integral constant expressions.
+
+2005-02-07  Kazu Hirata  <kazu@cs.umass.edu>
+
+       * cfgcleanup.c, df.h, diagnostic.c, rtl.c, tree-vectorizer.h,
+       config/darwin7.h, config/mips/mips.c,
+       config/rs6000/altivec.md, config/rs6000/darwin-tramp.asm:
+       Update copyright.
+
+       * cse.c: Update comments.
+
+2005-02-07  Richard Guenther  <rguenth@gcc.gnu.org>
+
+       PR middle-end/19775
+       * builtins.c (fold_builtin_sqrt): Transform
+       sqrt(pow(x,y)) to pow(fabs(x),y*0.5), not
+       pow(x,y*0.5).
+
+2005-02-07  Leehod Baruch  <leehod@il.ibm.com>
+           Dorit Naishlos  <dorit@il.ibm.com>
+
+       * doc/invoke.texi (ftree-vectorizer-verbose): New.
+       * opts.c (OPT_ftree_vectorizer_verbose_): New case for switch.
+       * common.opt (ftree-vectorizer-verbose): New Flag for the vectorizer
+       was added.
+       * tree.h (vect_set_verbosity_level): New extern function declaration
+       added.
+       * tree-vectorizer.h (verbosity_levels): New enum type.
+       * tree-vectorizer.c (vect_debug_stats): Function removed.
+       (vect_debug_details): Likewise.
+       (vect_verbosity_level): Global variable was defined and initialized.
+       (vect_dump): Global variable definition.
+       (vect_print_dump_info): New function.
+       (vect_set_dump_settings): New function.
+       (vect_set_verbosity_level): New function.
+       (vectorize_loops): Add call to vect_set_dump_settings.
+
+       (slpeel_make_loop_iterate_ntimes): Dump condition was changed.
+       (slpeel_tree_duplicate_loop_to_edge_cfg): Likewise.
+       (slpeel_tree_peel_loop_to_edge): Likewise.
+
+       (vect_analyze_offset_expr): Call to vect_print_dump_info with
+       appropriate verbosity level instead of call to vect_debug_details 
+       or vect_debug_stats. 
+       (vect_get_base_and_offset):
+       (vect_create_addr_base_for_vector_ref):
+       (get_vectype_for_scalar_type):
+       (vect_create_data_ref_ptr):
+       (vect_init_vector):
+       (vect_get_vec_def_for_operand):
+       (vect_finish_stmt_generation):
+       (vectorizable_assignment):
+       (vectorizable_operation):
+       (vectorizable_store):
+       (vectorizable_load):
+       (vect_transform_stmt):
+       (vect_update_ivs_after_vectorizer):
+       (vect_do_peeling_for_loop_bound):
+       (vect_update_inits_of_drs):
+       (vect_do_peeling_for_alignment):
+       (vect_transform_loop):
+       (vect_is_simple_use):
+       (vect_analyze_operations):
+       (vect_is_simple_iv_evolution):
+       (vect_analyze_scalar_cycles):
+       (vect_analyze_data_ref_dependence):
+       (vect_analyze_data_ref_dependences):
+       (vect_compute_data_ref_alignment):
+       (vect_enhance_data_refs_alignment):
+       (vect_analyze_data_refs_alignment):
+       (vect_analyze_data_ref_access):
+       (vect_analyze_data_ref_accesses):
+       (vect_analyze_pointer_ref_access):
+       (vect_get_memtag_and_dr):
+       (vect_analyze_data_refs):
+       (vect_mark_relevant):
+       (vect_stmt_relevant_p):
+       (vect_mark_stmts_to_be_vectorized):
+       (vect_can_advance_ivs_p):
+       (vect_get_loop_niters):
+       (vect_analyze_loop_form):
+       (vect_analyze_loop):
+       (vectorize_loops): Likewise.
+
+       (vect_do_peeling_for_loop_bound): Dump format slightly changed.
+       (vect_update_inits_of_drs):
+       (vect_do_peeling_for_alignment):
+       (vect_transform_loop):
+       (vect_analyze_operations):
+       (vect_analyze_scalar_cycles):
+       (vect_analyze_data_ref_dependences):
+       (vect_analyze_data_refs_alignment):
+       (vect_analyze_data_ref_accesses):
+       (vect_analyze_data_refs):
+       (vect_mark_stmts_to_be_vectorized):
+       (vect_get_loop_niters):
+       (vect_analyze_loop_form):
+       (vect_analyze_loop): Likewise. 
+       (vect_mark_stmts_to_be_vectorized): Add call to print_generic_expr.
+
+2005-02-07  Richard Sandiford  <rsandifo@redhat.com>
+
+       PR bootstrap/19796
+       Revert:
+       2005-01-26  Richard Sandiford  <rsandifo@redhat.com>
+       * config/mips/iris6.h (ENDFILE_SPEC): Don't link in irix-csr.o if
+       either -ffast-math or -funsafe-math-optimizations is in use.
+
+       2005-01-24  Richard Sandiford  <rsandifo@redhat.com>
+       * config/mips/irix-csr.c: New file.
+       * config/mips/t-iris6 (irix-csr.o): New rule to build it.
+       (EXTRA_MULTILIB_PARTS): Add irix-csr.o.
+       * config/mips/iris6.h (ENDFILE_SPEC): Include it in n32 and n64
+       executables.
+
+2005-02-07  Alexandre Oliva  <aoliva@redhat.com>
+
+       * config/mn10300/linux.h (LIB_SPEC, STARTFILE_SPEC): Remove
+       redundant, incorrect definitions.
+
+       * config/frv/frv.md ("tls_indirect_call"): Turn into libcall-like
+       expand.
+       ("*tls_indirect_call"): New, reference hard regs directly.
+       * config/frv/frv.c (gen_inlined_tls_plt): Adjust.
+
+2005-02-07  Ralf Corsepius  <ralf.corsepius@rtems.org>
+
+       * config/arm/rtems-elf.h (SUBTARGET_EXTRA_ASM_SPEC): 
+       Let !-mhard-float !-msoft-float imply -mfpu=softfpa.
+
+2005-02-06  Roger Sayle  <roger@eyesopen.com>
+
+       PR rtl-optimization/19800
+       * simplify_rtx.c (simplify_relational_operation_1): Explicitly
+       call gen_lowpart_common and gen_lowpart_SUBREG instead of calling
+       gen_lowpart.
+
+2005-02-07  Ralf Corsepius  <ralf.corsepius@rtems.org>
+
+       * config/m68k/t-rtems (MULTILIB_MATCHES): Let m528x match m5200.
+
+2005-02-07  Joseph S. Myers  <joseph@codesourcery.com>
+
+       PR other/17135
+       * doc/invoke.texi: Correct documentation of -freorder-functions.
+
+2005-02-06  Joseph S. Myers  <joseph@codesourcery.com>
+
+       PR other/14402
+       * doc/invoke.texi: Don't mention gccbug.
+
+2005-02-06  Roger Sayle  <roger@eyesopen.com>
+           Andrew Pinski  <pinskia@physics.uc.edu>
+           Paolo Bonzini  <paolo.bonzini@lu.unisi.ch>
+
+       * simplify-rtx.c (simplify_relational_operation_1): Simplify
+       (ne:SI (zero_extract:SI FOO (const_int 1) BAR) (const_int 0))
+       into just (zero_extract:SI FOO (const_int 1) BAR).
+
+2005-02-06  Joseph S. Myers  <joseph@codesourcery.com>
+
+       * doc/cpp.texi: Include gcc-common.texi.  Don't define gcctabopt
+       macro locally.  Don't give last revision date.  Use GCC version
+       number from gcc-common.texi.
+       * doc/cppinternals.texi: Include gcc-common.texi.  Don't give last
+       revision date.  Use GCC version number from gcc-common.texi.
+       Describe being a library as current state rather than as 3.x
+       history.
+       * doc/gcc.texi: Remove last update date.
+       * doc/gccint.texi: Likewise.  Update copyright dates.
+       * doc/install.texi: Update copyright dates.
+
+2005-02-06  Joseph S. Myers  <joseph@codesourcery.com>
+
+       PR other/7549
+       * doc/invoke.texi: Mention for each option included in -Wall that
+       it is included in -Wall.
+       * doc/gcc.texi: Update copyright and last modification date.
+
+2005-02-06  Zdenek Dvorak  <dvorakz@suse.cz>
+
+       * tree-ssa-loop-ivopts.c (rewrite_use_nonlinear_expr): Do not add
+       unnecessary cast to original induction variable increments.
+
+2005-02-06  Zdenek Dvorak  <dvorakz@suse.cz>
+
+       PR tree-optimization/18219
+       * tree-ssa-loop-ivopts.c (get_computation_at): Produce computations
+       in distributed form.
+
+2005-02-06  Richard Sandiford  <rsandifo@redhat.com>
+
+       * expmed.c (store_bit_field): Make the SUBREG code adjust bitnum.
+       Set bitpos and offset later in the function.  Do nothing if the
+       target is a register and if the bitfield lies completely outside
+       that register.
+       (extract_bit_field): Make the same SUBREG, bitpos and offset changes
+       here.  Return an uninitialised register if the source value is stored
+       in a register and the bitfield lies completely outside that register.
+
+2005-02-06  Steven Bosscher  <stevenb@suse.de>
+
+       * df.c (df_insn_refs_record): Use XEXP to get the operand of a USE,
+       not SET_DEST.
+
+2005-02-06  Marcin Dalecki  <martin@dalecki.de>
+
+       * diagnostic.c (default_diagnostic_finalizer): Fix use of attribute.
+
+2005-02-06  Geoffrey Keating  <geoffk@apple.com>
+
+       * config.gcc (*-*-darwin*): Separate darwin7 and darwin8 configs.
+       * config/darwin8.h: New.
+       * config/darwin7.h: Update comment.
+
+2005-02-03  Leehod Baruch  <leehod@il.ibm.com>
+           Dorit Naishlos  <dorit@il.ibm.com>
+
+       * tree-vectorizer.h (LOC): New type.
+       (UNKNOWN_LOC, EXPR_LOC, LOC_FILE, LOC_LINE): New macros.
+       (loop_line_number): New field in struct _loop_vec_info.
+       (LOOP_VINFO_LOC, LOOP_LOC): New macros.
+
+       * tree-vectorizer.c (input.h): Included.
+       (find_loop_location): New function.
+       (vect_debug_stats): Argument changed from loop to LOC. Computation of
+       loop line number removed.
+       (vect_debug_details): Likewise.
+       (new_loop_vec_info): Initialize new field LOOP_VINFO_LOC.
+
+       (slpeel_make_loop_iterate_ntimes): Call find_loop_location. Argument in
+       call to vect_debug_details/stats changed from loop to loop_loc.
+       (slpeel_tree_duplicate_loop_to_edge_cfg): Likewise.
+       (slpeel_tree_peel_loop_to_edge): Likewise.
+
+       (vect_analyze_offset_expr): Argument in call to vect_debug_details/stats
+       changed from NULL to UNKNOWN_LOC.
+       (vect_get_base_and_offset):
+       (vect_create_addr_base_for_vector_ref):
+       (get_vectype_for_scalar_type):
+       (vect_create_data_ref_ptr):
+       (vect_init_vector):
+       (vect_get_vec_def_for_operand):
+       (vect_finish_stmt_generation):
+       (vectorizable_assignment):
+       (vectorizable_operation):
+       (vectorizable_store):
+       (vectorizable_load):
+       (vect_transform_stmt):
+       (vect_update_ivs_after_vectorizer):
+       (vect_do_peeling_for_loop_bound):
+       (vect_do_peeling_for_alignment):
+       (vect_transform_loop):
+       (vect_is_simple_use):
+       (vect_analyze_operations):
+       (vect_is_simple_iv_evolution):
+       (vect_analyze_scalar_cycles):
+       (vect_analyze_data_ref_dependences):
+       (vect_compute_data_ref_alignment):
+       (vect_enhance_data_refs_alignment):
+       (vect_analyze_data_ref_access):
+       (vect_analyze_data_ref_accesses):
+       (vect_analyze_pointer_ref_access):
+       (vect_get_memtag_and_dr):
+       (vect_analyze_data_refs):
+       (vect_mark_relevant):
+       (vect_stmt_relevant_p):
+       (vect_mark_stmts_to_be_vectorized):
+       (vect_can_advance_ivs_p):
+       (vect_get_loop_niters):
+       (vect_analyze_loop):
+       (vectorize_loops): Likewise.
+
+       (vectorizable_load): Argument in call to vect_debug_details/stats
+       changed from loop to LOOP_LOC (loop_vinfo).
+       (vect_transform_loop):
+       (vect_analyze_operations):
+       (vect_analyze_scalar_cycles):
+       (vect_analyze_data_ref_dependence):
+       (vect_enhance_data_refs_alignment):
+       (vect_analyze_data_ref_accesses):
+       (vect_analyze_pointer_ref_access):
+       (vect_analyze_data_refs):
+       (vect_analyze_loop): Likewise.
+
+       (vect_analyze_loop_form): Argument in call to vect_debug_details/stats
+       changed from loop to loop_loc.
+
+       (vect_enhance_data_refs_alignment): Removed unused variable loop.       
+
 2005-02-03  Leehod Baruch  <leehod@il.ibm.com>
            Dorit Naishlos  <dorit@il.ibm.com>