OSDN Git Service

* cfgrtl.c (rtl_block_ends_with_call_p): Skip notes at the end.
[pf3gnuchains/gcc-fork.git] / gcc / ChangeLog
index f5fb4a6..5d7d7a1 100644 (file)
@@ -1,3 +1,443 @@
+2007-10-03  Alexandre Oliva  <aoliva@redhat.com>
+
+       * cfgrtl.c (rtl_block_ends_with_call_p): Skip notes at the end.
+
+2007-10-03  Alexandre Oliva  <aoliva@redhat.com>
+
+       * gcse.c (hash_scan_set): Insert set in insn before note at
+       the end of basic block.
+
+2007-10-03  Sebastian Pop  <sebastian.pop@amd.com>
+
+       PR tree-optimization/33576
+       * testsuite/gcc.dg/tree-ssa/pr33576.c: New.
+       * tree-loop-linear.c (linear_transform_loops): Call remove_iv.
+       * lambda.h (lambda_loopnest_to_gcc_loopnest): New parameter.
+       (remove_iv): Declared.
+       * lambda-code.c (remove_iv): Not static.
+       (lambda_loopnest_to_gcc_loopnest): New parameter remove_ivs.
+       Don't remove ivs there, save ivs in the buffer.
+
+2007-10-03  Jason Merrill  <jason@redhat.com>
+
+       PR c++/15764
+       * tree-eh.c (same_handler_p): New fn.
+       (optimize_double_finally): New fn.
+       (refactor_eh_r): New fn.
+       (refactor_eh): New fn.
+       (pass_refactor_eh): New pass.
+       * tree-pass.h: Declare it.
+       * passes.c (init_optimization_passes): Add it.
+
+2007-10-03  Doug Kwan  <dougkwan@google.com>
+       Richard Guenther  <rguenther@suse.de>
+
+       PR debug/31899
+       * dwarf2out.c (reference_to_unused): Disable sanity checking,
+       be conservative instead.
+
+2007-10-03  Francois-Xavier Coudert  <fxcoudert@gcc.gnu.org>
+
+       PR fortran/26682
+       * doc/invoke.texi (-fwhole-program): Document that Fortran
+       doesn't support this option.
+
+2007-10-02  Richard Sandiford  <rsandifo@nildram.co.uk>
+
+       PR middle-end/33617
+       * expr.c (expand_expr_addr_expr_1): Pass CONSTRUCTORs to
+       expand_expr.
+
+2007-10-02  David Daney  <ddaney@avtrex.com>
+
+       * config/mips/mips.md (sync_compare_and_swap<mode>): Handle compare
+       against constant zero.
+       * config/mips/mips.h (MIPS_COMPARE_AND_SWAP):  Handle constant zero
+       operand.
+
+2007-09-02  Kenneth Zadeck <zadeck@naturalbridge.com>
+
+       * ra-conflict.c: New file.
+       * ra.h: New file.
+       * reload.c (push_reload, find_dummy_reload): Change DF_RA_LIVE
+       usage to DF_LIVE usage.
+       * rtlanal.c (subreg_nregs_with_regno): New function.  
+       * df-scan.c (df_def_record_1, df_uses_record): Add code to set
+       DF_REF_EXTRACT, DF_REF_STRICT_LOWER_PART, and DF_REF_SUBREG flags.
+       (df_has_eh_preds): Removed.
+       (df_bb_refs_collect, df_bb_refs_collect, df_bb_refs_collect,
+       df_exit_block_uses_collect): Changed call from df_has_eh_preds to
+       bb_has_eh_pred.
+       * global.c (allocno, max_allocno, conflicts, allocno_row_words,
+       reg_allocno, EXECUTE_IF_SET_IN_ALLOCNO_SET): Moved to ra.h
+       (SET_ALLOCNO_LIVE, CLEAR_ALLOCNO_LIVE): Moved to ra-conflicts.c.
+       (regs_set, record_one_conflict, record_conflicts, mark_reg_store,
+       mark_reg_clobber, mark_reg_conflicts, mark_reg_death): Deleted.
+       (global_alloc): Turn off rescanning insns after call to
+       global_conflicts and added call to set_preferences.
+       (global_conflicts): Moved to ra-alloc.c.
+       (set_preferences_1, set_preferences): New function.
+       (mirror_conflicts): Changed types for various variables.
+       (mark_elimination): Change DF_RA_LIVE
+       usage to DF_LIVE usage.
+       (build_insn_chain): Rewritten from scratch and made local.
+       (print_insn_chain, print_insn_chains): New functions.
+       (dump_conflicts): Do not print conflicts for fixed_regs.
+       (rest_of_handle_global_alloc): Turn off insn rescanning.
+       * hard-reg-set.h: Fixed comment.
+       * local-alloc.c (update_equiv_regs): Change DF_RA_LIVE
+       usage to DF_LIVE usage and delete refs to TOP sets.
+       (block_alloc): Mark regs as live if they are in the artificial
+       defs at top of block.
+       (find_stack_regs): New function.
+       (rest_of_handle_local_alloc): Changed urec problem to live
+       problem and do not turn off df rescanning.
+       * df.h (DF_UREC, DF_UREC_BB_INFO, DF_LIVE_TOP, DF_RA_LIVE_IN,
+       DF_RA_LIVE_TOP, DF_RA_LIVE_OUT, df_urec_bb_info, df_urec,
+       df_urec_add_problem, df_urec_get_bb_info, df_has_eh_preds): Removed.
+       (DF_CHAIN, DF_NOTE, DF_CHAIN): Renumbered.
+       (DF_REF_EXTRACT, DF_REF_STRICT_LOWER_PART, DF_REF_SUBREG): New
+       fields in df_ref_flags.  The rest have been renumbered.  
+       * init-regs.c (initialize_uninitialized_regs): Enhanced debugging
+       at -O1.
+       * rtl.h (subreg_nregs_with_regno): New function.
+       * df-problems.c: (df_get_live_out, df_get_live_in,
+       df_get_live_top): Removed reference to DF_RA_LIVE.
+       (df_lr_reset, df_lr_transfer_function, df_live_free_bb_info,
+       df_live_alloc, df_live_reset, df_live_local_finalize,
+       df_live_free): Make top set only if different from in set.
+       (df_lr_top_dump, df_live_top_dump): Only print top set if
+       different from in set.
+       (df_lr_bb_local_compute): Removed unnecessary check.
+       (df_urec_problem_data, df_urec_set_bb_info, df_urec_free_bb_info, 
+       df_urec_alloc, df_urec_mark_reg_change, earlyclobber_regclass, 
+       df_urec_check_earlyclobber, df_urec_mark_reg_use_for_earlyclobber,
+       df_urec_mark_reg_use_for_earlyclobber_1, df_urec_bb_local_compute,
+       df_urec_local_compute, df_urec_init, df_urec_local_finalize, 
+       df_urec_confluence_n, df_urec_transfer_function, df_urec_free, 
+       df_urec_top_dump, df_urec_bottom_dump, problem_UREC,
+       df_urec_add_problem): Removed.
+       (df_simulate_fixup_sets): Changed call from df_has_eh_preds to
+       bb_has_eh_pred. 
+       * Makefile.in (ra-conflict.o, ra.h): New dependencies.
+       * basic_block.h (bb_has_abnormal_pred): New function.
+       * reload1.c (compute_use_by_pseudos): Change DF_RA_LIVE
+       usage to DF_LIVE usage.
+       
+2007-10-02  Revital Eres  <eres@il.ibm.com>
+
+       * config/rs6000/predicates.md (easy_vector_constant): Return false
+       for 750CL paired vectors.
+       * config/rs6000/paired.md (movv2sf_paired): Fix move of easy
+       vector constant.
+       (vec_initv2sf): Add new description.
+       (vconcatsf): Likewise.
+       * config/rs6000/rs6000-protos.h: Declare paired_expand_vector_init.
+       * config/rs6000/rs6000.c (paired_expand_vector_init): New function.
+
+2007-10-01  Alexandre Oliva  <aoliva@redhat.com>
+
+       * tree-ssa-sink.c (sink_code_in_bb): Don't stop sinking after
+       sinking the last stmt in a BB.
+
+2007-10-01  Alexandre Oliva  <aoliva@redhat.com>
+
+       PR middle-end/22156
+       * tree-sra.c (struct sra_elt): Add in_bitfld_block.
+       (sra_hash_tree): Handle BIT_FIELD_REFs.
+       (sra_elt_hash): Don't hash bitfld blocks.
+       (sra_elt_eq): Skip them in parent compares as well.  Handle
+       BIT_FIELD_REFs.
+       (build_element_name_1): Handle BIT_FIELD_REFs.
+       (instantiate_element): Propagate nowarn from parents.  Create
+       BIT_FIELD_REF for variables that are widened by scalarization.
+       Gimple-zero-initialize all bit-field variables that are not
+       part of parameters that are going to be scalarized on entry.
+       (instantiate_missing_elements_1): Return the sra_elt.
+       (canon_type_for_field): New.
+       (try_instantiate_multiple_fields): New.  Infer widest possible
+       access mode from decl or member type, but clip it at word
+       size, and only widen it if a field crosses an alignment
+       boundary.
+       (instantiate_missing_elements): Use them.
+       (generate_one_element_ref): Handle BIT_FIELD_REFs.
+       (scalar_bitfield_p): New.
+       (sra_build_assignment): Optimize assignments from scalarizable
+       BIT_FIELD_REFs.  Use BITS_BIG_ENDIAN to determine shift
+       counts.
+       (REPLDUP): New.
+       (sra_build_bf_assignment): New.  Optimize assignments to
+       scalarizable BIT_FIELD_REFs.
+       (sra_build_elt_assignment): New.  Optimize BIT_FIELD_REF
+       assignments to full variables.
+       (generate_copy_inout): Use the new macros and functions.
+       (generate_element_copy): Likewise.  Handle bitfld differences.
+       (generate_element_zero): Don't recurse for blocks.  Use
+       sra_build_elt_assignment.
+       (generate_one_element_init): Take elt instead of var.  Use
+       sra_build_elt_assignment.
+       (generate_element_init_1): Adjust.
+       (bitfield_overlap_info): New struct.
+       (bitfield_overlaps_p): New.
+       (sra_explode_bitfield_assignment): New.  Adjust widened
+       variables to account for endianness.
+       (sra_sync_for_bitfield_assignment): New.
+       (scalarize_use): Re-expand assignment to/from scalarized
+       BIT_FIELD_REFs.  Explode or sync needed members for
+       BIT_FIELD_REFs accesses or assignments.  Use REPLDUP.
+       (scalarize_copy): Use REPLDUP.
+       (scalarize_ldst): Move assert before dereference.  Adjust EH
+       handling.
+       (dump_sra_elt_name): Handle BIT_FIELD_REFs.
+
+2007-10-01  Paolo Bonzini  <bonzini@gnu.org>
+
+       * simplify-rtx.c (comparison_result, simplify_relational_operation_1):
+       Rename CR_* constants to CMP_*.  Fix spacing.
+
+2007-10-01  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
+
+       PR other/33585
+       * Makefile.in (build_html_dir/gccinstall): gccinstall.texi needs
+       to be processed with the special script doc/install.texi2html.
+       
+2007-09-30  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
+
+       * doc/invoke.texi (Wall): List the options enabled by Wall.
+       (Wstrict-aliasing): Add missing @option.
+       
+2007-09-30  Richard Sandiford  <rsandifo@nildram.co.uk>
+
+       * config/mips/mips.c (mips_split_64bit_move): Use gen_rtx_REG_offset
+       rather than gen_lowpart to change a register from DImode to DFmode.
+       (mips_cannot_change_mode_class): Only allow FPRs to change mode if
+       both FROM and TO are integer modes that are no bigger than 4 bytes.
+       (mips_mode_ok_for_mov_fmt_p): New function.
+       (mips_preferred_reload_class): Use it instead of FLOAT_MODE_P.
+       (mips_secondary_reload_class): Tweak formatting and comments.
+       Use reg_class_subset_p instead of direct comparisons with
+       classes.  Only allow direct FPR<->FPR moves for modes that
+       satisfy mips_mode_ok_for_mov_fmt_p.  Only allow loads and stores
+       for 4- and 8-byte types.  Handle reloads in which X is an FPR.
+       * config/mips/mips.md (*movdi_gp32_fp64): Remove f<-f alternative.
+       (*movdi_64bit): Likewise.
+       (*movsi_internal): Likewise.
+       (*movhi_internal): Likewise.
+       (*movqi_internal): Likewise.
+
+2007-09-30  Diego Novillo  <dnovillo@google.com>
+
+       PR 33593
+       * tree-ssa-ter.c (is_replaceable_p): Return false if STMT may
+       throw an exception.
+
+2007-09-30  Uros Bizjak  <ubizjak@gmail.com>
+
+       PR tree-optimization/33597
+       * tree-vect-analyze.c (vect_build_slp_tree): Check if optab handler
+       for LSHIFT_EXPR and RSHIFT_EXPR is available for vec_mode.
+
+2007-09-28  Uros Bizjak  <ubizjak@gmail.com>
+
+       * config/i386/i386.c (ix86_expand_move): Use can_create_pseudo_p ()
+       instead of variants of (!reload_in_progress && !reload_completed).
+       (x86_expand_vector_move): Ditto.
+
+2007-09-28  Ollie Wild  <aaw@google.com>
+
+       Revert
+       2007-09-27  Ollie Wild  <aaw@google.com>
+
+       * varasm.c (compare_constant): Removed call to
+       lang_hooks.expand_constant.
+       (copy_constants): Removed call to lang_hooks.expand_constant.
+       (compute_reloc_for_constant): Removed call to
+       lang_hooks.expand_constant.
+       (output_addressed_constants): Removed call to
+       lang_hooks.expand_constant.
+       (constructor_static_from_elts_p): Removed call to
+       lang_hooks.expand_constant.
+       (output_constant): Removed calls to lang_hooks.expand_constant.
+       * langhooks.h (struct lang_hooks): Removed field expand_constant.
+       * langhooks-def.h (lhd_return_tree): Removed.
+       (LANG_HOOKS_EXPAND_CONSTANT): Removed.
+       (LANG_HOOKS_INITIALIZER): Removed LANG_HOOKS_EXPAND_CONSTANT.
+       * langhooks.c (lhd_return_tree): Removed.
+
+2007-09-28  Andrew Pinski  <andrew_pinski@playstation.sony.com>
+
+       PR target/33347
+       * config/spu/spu.c (spu_expand_insv): Call copy_rtx on the second
+       argument to gen_selb.
+
+2007-09-28  Chao-ying Fu  <fu@mips.com>
+
+       * libgcc-std.ver: Add fixed-point routines to GCC_4.3.0 section.
+       * doc/libgcc.texi (Fixed-point fractional library routines):
+       Fix typos for neg and cmp functions.
+
+2007-09-28  Michael Matz  <matz@suse.de>
+
+       PR rtl-optimization/33552
+       * function.c (match_asm_constraints_1): Check for overlap in
+       inputs and replace all occurences.
+
+2007-09-28  Richard Sandiford  <rsandifo@nildram.co.uk>
+
+       * config/mips/mips.c (override_options): Fix comment typo.
+
+2007-09-28  Jie Zhang  <jie.zhang@analog.com>
+
+       * config.gcc (bfin*-linux-uclibc*): Set extra_parts
+       to "crtbegin.o crtbeginS.o crtend.o crtendS.o".
+       * config/bfin/t-bfin-linux (crti.o): Don't build.
+       (crtn.o): Likewise.
+       (EXTRA_MULTILIB_PARTS): Remove crti.o and crtn.o.
+       * config/bfin/t-bfin-uclinux (crti.o): Don't build.
+       (crtn.o): Likewise.
+       (EXTRA_MULTILIB_PARTS): Remove crti.o and crtn.o.
+
+2007-09-27  Ollie Wild  <aaw@google.com>
+
+       * varasm.c (compare_constant): Removed call to
+       lang_hooks.expand_constant.
+       (copy_constants): Removed call to lang_hooks.expand_constant.
+       (compute_reloc_for_constant): Removed call to
+       lang_hooks.expand_constant.
+       (output_addressed_constants): Removed call to
+       lang_hooks.expand_constant.
+       (constructor_static_from_elts_p): Removed call to
+       lang_hooks.expand_constant.
+       (output_constant): Removed calls to lang_hooks.expand_constant.
+       * langhooks.h (struct lang_hooks): Removed field expand_constant.
+       * langhooks-def.h (lhd_return_tree): Removed.
+       (LANG_HOOKS_EXPAND_CONSTANT): Removed.
+       (LANG_HOOKS_INITIALIZER): Removed LANG_HOOKS_EXPAND_CONSTANT.
+       * langhooks.c (lhd_return_tree): Removed.
+
+2007-09-27  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
+
+       PR middle-end/33436
+       * expr.c (emit_group_load_1): Split constant double when destination
+       length is half source length.
+
+2007-09-27  Richard Sandiford  <rsandifo@nildram.co.uk>
+
+       * config/mips/mips.h (PTF_AVOID_BRANCHLIKELY): New macro.
+       (mips_cpu_info): Add tune_flags.
+       (GENERATE_BRANCHLIKELY): Remove TARGET_SR71K check.
+       * config/mips/mips.c (mips_cpu_info_table): Add tune_flags fields.
+       Remove end marker.
+       (override_options): Remove deprecation code.  Use branch-likely
+       instructions for optimize_size or if the tuning flags do not
+       suggest otherwise.  Tweak warning.
+       (mips_matching_cpu_name_p, mips_parse_cpu): Use ARRAY_SIZE.
+
+2007-09-27  Matthias Klose  <doko@ubuntu.com>
+
+       * config/i386/t-linux64 (MULTILIB_OSDIRNAMES): Use ../lib32 as the
+       multilib osdirname if it exists.
+       * config/rs6000/t-linux64 (MULTILIB_OSDIRNAMES): Likewise.
+
+2007-09-27  Ian Lance Taylor  <iant@google.com>
+
+       PR tree-optimization/33565
+       * tree-ssa-loop-ch.c (copy_loop_headers): Set TREE_NO_WARNING on
+       assignments of comparisons.
+       * tree-ssa-sccvn.c (simplify_binary_expression): Add stmt
+       parameter.  Change caller.  Defer overflow warnings around call to
+       fold_binary.
+       * fold-const.c (fold_undefer_overflow_warnings): Don't warn if
+       TREE_NO_WARNING is set on the statement.
+       * tree-ssa-forwprop.c
+       (tree_ssa_forward_propagate_single_use_vars): Don't test
+       TREE_NO_WARNING when calling fold_undefer_overflow_warnings.
+       * tree-cfg.c (fold_cond_expr_cond): Likewise.
+
+2007-09-27  Joseph Myers  <joseph@codesourcery.com>
+
+       * config/rs6000/rs6000.c (rs6000_legitimize_address): Do not
+       reduce offset by units of 0x10000 for SPE vector modes or modes
+       used with E500 double instructions.
+
+2007-09-04  Paolo Bonzini  <bonzini@gnu.org>
+
+       * simplify-rtx.c (comparison_result): New.
+       (simplify_const_relational_operation): Use it instead of the five
+       "equal|op[01]ltu?" variables; consequently remove redundant "else"s.
+       Improve bounds-checking optimizations; remove subsumed POPCOUNT
+       optimizations.  Extract nonzero_address_p optimizations into a
+       separate "if" together with optimizations where op1 is const0_rtx.
+       Optimize comparing an IOR with zero.  Simplify op0 RELOP op0 for
+       floating-point arguments too when appropriate.  Hoist test for ABS
+       outside the final switch statement.
+       * cse.c (fold_rtx): Don't look for an IOR equivalent of
+       folded_arg0 if we found a constant equivalent.  Remove
+       transformations done in simplify-rtx.c for "op0 RELOP op0".
+
+2007-09-27  Jakub Jelinek  <jakub@redhat.com>
+
+       * builtins.c (expand_builtin, expand_builtin_object_size,
+       expand_builtin_memory_chk, maybe_emit_chk_warning,
+       maybe_emit_sprintf_chk_warning): Use new %K format string specifier
+       for diagnostics.
+       * expr.c (expand_expr_real_1): Likewise.
+       * langhooks-def.h (struct diagnostic_info): Add forward decl.
+       (lhd_print_error_function): Add third argument.
+       * langhooks.h (struct diagnostic_info): Add forward decl.
+       (struct lang_hooks): Add third argument to print_error_function.
+       * diagnostic.h (diagnostic_info): Add abstract_origin field.
+       (diagnostic_last_function_changed, diagnostic_set_last_function): Add
+       second argument.
+       (diagnostic_report_current_function): Likewise.
+       * toplev.c (announce_function): Pass NULL as second argument to
+       diagnostic_set_last_function.
+       * diagnostic.c (diagnostic_report_current_function): Add second
+       argument, pass it as third argument to lang_hooks.print_error_function.
+       (default_diagnostic_starter): Pass DIAGNOSTIC as second argument
+       to diagnostic_report_current_function.
+       (diagnostic_report_diagnostic): Initialize diagnostic->abstract_origin
+       and message.abstract_origin.
+       (verbatim): Initialize abstract_origin.
+       * pretty-print.h (text_info): Add abstract_origin field.
+       * pretty-print.c (pp_base_format): Handle %K.
+       * langhooks.c (lhd_print_error_function): Add third argument.  If
+       diagnostic->abstract_origin, print virtual backtrace.
+       * c-format.c (gcc_diag_char_table, gcc_tdiag_char_table,
+       gcc_cdiag_char_table, gcc_cxxdiag_char_table): Support %K.
+       (init_dynamic_diag_info): Likewise.
+
+2007-09-26  David Daney  <ddaney@avtrex.com>
+
+       PR target/33479
+       * config/mips/mips.md (sync_compare_and_swap<mode>, sync_old_add<mode>,
+       sync_new_add<mode>, sync_old_<optab><mode>, sync_new_<optab><mode>,
+       sync_old_nand<mode>, sync_new_nand<mode>,
+       sync_lock_test_and_set<mode>): Fix '&' constraint modifiers.
+       Update length attributes.
+       (sync_add<mode>, sync_sub<mode>, sync_old_sub<mode>,
+       sync_new_sub<mode>, sync_<optab><mode>, sync_nand<mode>): Update
+       length attributes.
+       * config/mips/mips.h (MIPS_COMPARE_AND_SWAP, MIPS_SYNC_OP,
+       MIPS_SYNC_OLD_OP, MIPS_SYNC_NEW_OP, MIPS_SYNC_NAND,
+       MIPS_SYNC_OLD_NAND, MIPS_SYNC_NEW_NAND, MIPS_SYNC_EXCHANGE): Add
+       post-loop sync.
+
+2007-09-26  Richard Guenther  <rguenther@suse.de>
+
+       PR tree-optimization/33563
+       * tree-ssa-dse.c (get_use_of_stmt_lhs): Rename to ...
+       (get_kill_of_stmt_lhs): ... this.  Re-structure.  Handle
+       aggregate stores.
+       (dse_optimize_stmt): Call get_kill_of_stmt_lhs instead of
+       get_use_of_stmt_lhs.
+
+2007-09-26  Joseph Myers  <joseph@codesourcery.com>
+
+       PR c/25309
+       * c-common.c (complete_array_type): Diagnose too-large arrays and
+       set type to error_mark_node.
+
 2007-09-26  Richard Guenther  <rguenther@suse.de>
 
        PR tree-optimization/30375
 
 2007-09-25  Michael Meissner  <michael.meissner@amd.com>
 
-       PR c/33524
+       PR target/33524
        * config/i386/i386.c (ix86_expand_sse5_unpack): Change to call
        gen_sse5_pperm_sign_v4si_v2di and gen_sse5_pperm_zero_v4si_v2di
        for vector int32 -> int64 conversions.  Don't write beyond the end