X-Git-Url: http://git.sourceforge.jp/view?a=blobdiff_plain;f=gcc%2FChangeLog;h=e9e2b6a799affa16178de47ed199022ffab127e0;hb=5aaf9e3934432b01b5e05476e88a00d125cb6068;hp=9a4d954a785a2f1d8c55dabda603a9c38b01078c;hpb=50925cd02010fd3e50567cae98fd0df6033cda54;p=pf3gnuchains%2Fgcc-fork.git diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 9a4d954a785..e9e2b6a799a 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,480 @@ +2007-10-03 Sebastian Pop + + 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 + + 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 + Richard Guenther + + PR debug/31899 + * dwarf2out.c (reference_to_unused): Disable sanity checking, + be conservative instead. + +2007-10-03 Francois-Xavier Coudert + + PR fortran/26682 + * doc/invoke.texi (-fwhole-program): Document that Fortran + doesn't support this option. + +2007-10-02 Richard Sandiford + + PR middle-end/33617 + * expr.c (expand_expr_addr_expr_1): Pass CONSTRUCTORs to + expand_expr. + +2007-10-02 David Daney + + * config/mips/mips.md (sync_compare_and_swap): Handle compare + against constant zero. + * config/mips/mips.h (MIPS_COMPARE_AND_SWAP): Handle constant zero + operand. + +2007-09-02 Kenneth Zadeck + + * 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 + + * 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 + + * 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 + + 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 + + * simplify-rtx.c (comparison_result, simplify_relational_operation_1): + Rename CR_* constants to CMP_*. Fix spacing. + +2007-10-01 Manuel Lopez-Ibanez + + 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 + + * doc/invoke.texi (Wall): List the options enabled by Wall. + (Wstrict-aliasing): Add missing @option. + +2007-09-30 Richard Sandiford + + * 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 + + PR 33593 + * tree-ssa-ter.c (is_replaceable_p): Return false if STMT may + throw an exception. + +2007-09-30 Uros Bizjak + + 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 + + * 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 + + Revert + 2007-09-27 Ollie Wild + + * 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 + + 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 + + * 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 + + PR rtl-optimization/33552 + * function.c (match_asm_constraints_1): Check for overlap in + inputs and replace all occurences. + +2007-09-28 Richard Sandiford + + * config/mips/mips.c (override_options): Fix comment typo. + +2007-09-28 Jie Zhang + + * 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 + + * 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 + + 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 + + * 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 + + * 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 + + 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 + + * 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 + + * 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 + + * 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 + + PR target/33479 + * config/mips/mips.md (sync_compare_and_swap, sync_old_add, + sync_new_add, sync_old_, sync_new_, + sync_old_nand, sync_new_nand, + sync_lock_test_and_set): Fix '&' constraint modifiers. + Update length attributes. + (sync_add, sync_sub, sync_old_sub, + sync_new_sub, sync_, sync_nand): 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 + + 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 + + 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 + + PR tree-optimization/30375 + PR tree-optimization/33560 + * tree-ssa-dse.c (get_use_of_stmt_lhs): Give up on uses + with calls. + + Revert + 2006-05-22 Aldy Hernandez + + * tree-ssa-dse.c (aggregate_vardecl_d): New. + (dse_global_data): Add aggregate_vardecl field. + (dse_possible_dead_store_p): New. + Add prev_defvar variable. + Allow immediate uses and previous immediate uses to differ + if they are setting different parts of the whole. + (get_aggregate_vardecl): New. + (dse_record_partial_aggregate_store): New. + (dse_whole_aggregate_clobbered_p): New. + (dse_partial_kill_p): New. + Call dse_maybe_record_aggregate_store(). + When checking whether a STMT and its USE_STMT refer to the + same memory address, check also for partial kills that clobber + the whole. + Move some variable definitions to the block where they are used. + (aggregate_vardecl_hash): New. + (aggregate_vardecl_eq): New. + (aggregate_vardecl_free): New. + (aggregate_whole_store_p): New. + (tree_ssa_dse): Initialize and free aggregate_vardecl. + Mark which aggregate stores we care about. + +2007-09-25 DJ Delorie + + PR target/33551 + * config/m32c/m32c.c (m32c_immd_dbl_mov): Use INTVAL instead of + XINT. + +2007-09-25 Michael Meissner + + 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 + of the allocated vector for int32 -> int64 conversions. + 2007-09-25 Revital Eres * config/rs6000/paired.h (paired_sel): New.