OSDN Git Service

PR middle-end/32628
[pf3gnuchains/gcc-fork.git] / gcc / ChangeLog
index 91a18dc..a20c379 100644 (file)
+2010-04-13  Eric Botcazou  <ebotcazou@adacore.com>
+
+       PR middle-end/32628
+       * c-common.c (pointer_int_sum): Disregard overflow that occured only
+       because of sign-extension change when converting to sizetype here...
+       * fold-const.c (fold_convert_const_int_from_int): ...and not here.
+
+       * fold-const.c (fold_binary_op_with_conditional_arg): Do not restrict
+       the folding to constants.  Remove redundant final conversion.
+       (fold_binary) <associate>: Do not associate if the re-association of
+       constants alone overflows.
+       (fold_binary) <FLOOR_MOD_EXPR>: Move transformation into BIT_AND_EXPR
+       to the end of the list.
+       (multiple_of_p) <COND_EXPR>: New case.
+
+2010-04-13  Manuel López-Ibáñez  <manu@gcc.gnu.org>
+
+       * opt-functions.awk (opt_sanitized_name): New.
+       (opt_enum): New.
+       * optc-gen.awk: Use it
+       * opth-gen.awk: Use it.
+
+2010-04-13  Martin Jambor  <mjambor@suse.cz>
+
+       * tree-sra.c (replace_uses_with_default_def_ssa_name): New function.
+       (sra_modify_assign): Delete stmts loading dead data even if racc has no
+       children.  Call replace_uses_with_default_def_ssa_name to handle
+       SSA_NAES on lhs.
+
+2010-04-13  Michael Matz  <matz@suse.de>
+
+       PR middle-end/43730
+       * builtins.c (expand_builtin_interclass_mathfn): Also create
+       a register if the predicate doesn't match.
+
+2010-04-13  Diego Novillo  <dnovillo@google.com>
+
+       * Makefile.in (c-pch.o, ggc-common.o): Depend on timevar.h.
+       * c-pch.c: Include timevar.h.
+       (c_common_write_pch): Use TV_PCH_SAVE and TV_PCH_CPP_SAVE timers.
+       (c_common_read_pch): Use TV_PCH_RESTORE and TV_PCH_CPP_RESTORE
+       timers.
+       * ggc-common.c: Include timevar.h.
+       (gt_pch_save): Use TV_PCH_PTR_REALLOC and TV_PCH_PTR_SORT
+       timers.
+       * timevar.def (TV_PCH_SAVE): Define.
+       (TV_PCH_CPP_SAVE): Define.
+       (TV_PCH_PTR_REALLOC): Define.
+       (TV_PCH_PTR_SORT): Define.
+       (TV_PCH_RESTORE): Define.
+       (TV_PCH_CPP_RESTORE): Define.
+
+2010-04-13  Michael Matz  <matz@suse.de>
+
+       * tree-ssa-reassoc.c (repropagate_negates): Merge negates also
+       into MINUS_EXPRs.
+       (can_reassociate_p): New function.
+       (break_up_subtract_bb, reassociate_bb): Use it.
+
+2010-04-13  Richard Guenther  <rguenther@suse.de>
+
+       PR bootstrap/43737
+       * builtins.c (c_readstr): Fix assert.
+
+2010-04-13  Uros Bizjak  <ubizjak@gmail.com>
+
+       * config/i386/i386.md (extendsidi2 splitter): Also check for DX_REG
+       when generating cltd insn.
+
+       (*ashl<mode>3_1): Remove special handling for register operand 2.
+       (*ashlsi3_1_zext): Ditto.
+       (*ashlhi3_1): Ditto.
+       (*ashlhi3_1_lea): Ditto.
+       (*ashlqi3_1): Ditto.
+       (*ashlqi3_1_lea): Ditto.
+       (*<shiftrt_insn><mode>3_1): Ditto.
+       (*<shiftrt_insn>si3_1_zext): Ditto.
+       (*<shiftrt_insn>qi3_1_slp): Ditto.
+       (*<rotate_insn><mode>3_1): Ditto.
+       (*<rotate_insn>si3_1_zext): Ditto.
+       (*<rotate_insn>qi3_1_slp): Ditto.
+
+2010-04-13  Richard Guenther  <rguenther@suse.de>
+
+       * tree-ssa-structalias.c (callused_id): Remove.
+       (call_stmt_vars): New.
+       (get_call_vi): Likewise.
+       (lookup_call_use_vi): Likewise.
+       (lookup_call_clobber_vi): Likewise.
+       (get_call_use_vi): Likewise.
+       (get_call_clobber_vi): Likewise.
+       (make_transitive_closure_constraints): Likewise.
+       (handle_const_call): Adjust to do per-call call-used handling.
+       (handle_pure_call): Likewise.
+       (find_what_var_points_to): Remove general callused handling.
+       (init_base_vars): Likewise.
+       (init_alias_vars): Initialize call_stmt_vars.
+       (compute_points_to_sets): Process call-used and call-clobbered
+       vars for call statements.
+       (delete_points_to_sets): Free call_stmt_vars.
+
+2010-04-13  Richard Guenther  <rguenther@suse.de>
+
+       * tree-vect-data-refs.c (vect_analyze_data_ref_dependence):
+       Only add RW dependence for dependence distance zero.
+       Adjust maximal vectorization factor according to dependences.
+       Move alignment handling ...
+       (vect_find_same_alignment_drs): ... here.  New function.
+       (vect_analyze_data_ref_dependences): Adjust.
+       (vect_analyze_data_refs_alignment): Call vect_find_same_alignment_drs.
+       (vect_analyze_data_refs): Adjust minimal vectorization factor
+       according to data references.
+       * tree-vect-loop.c (vect_analyze_loop): Analyze data-ref
+       dependences before determining the vectorization factor.
+       Analyze alignment after determining the vectorization factor.
+       * tree-vect-slp.c ((vect_slp_analyze_bb): Analyze data-ref
+       dependences before alignment.
+       * tree-vectorizer.h (vect_analyze_data_ref_dependences):
+       Adjust prototype.
+       (vect_analyze_data_refs): Likewise.
+       (MAX_VECTORIZATION_FACTOR): New define.
+
+2010-04-13  Duncan Sands  <baldrick@free.fr>
+
+       * except.h (lang_eh_type_covers): Remove.
+       * except.c (lang_eh_type_covers): Likewise.
+
+2010-04-13  Andreas Krebbel  <Andreas.Krebbel@de.ibm.com>
+            Ulrich Weigand  <Ulrich.Weigand@de.ibm.com>
+       
+       * gcc/config/s390/s390.md: Replace TARGET_64BIT with TARGET_ZARCH.
+       * gcc/config/s390/s390.c: Replace UNTIS_PER_WORD with
+       UNITS_PER_LONG where it is ABI relevant.        
+       (s390_return_addr_rtx): Likewise.
+       (s390_back_chain_rtx): Likewise.
+       (s390_frame_area): Likewise.
+       (s390_frame_info): Likewise.
+       (s390_initial_elimination_offset): Likewise.
+       (save_gprs): Likewise.
+       (s390_emit_prologue): Likewise.
+       (s390_emit_epilogue): Likewise.
+       (s390_function_arg_advance): Likewise.
+       (s390_function_arg): Likewise.
+       (s390_va_start): Likewise.
+       (s390_gimplify_va_arg): Likewise.
+       (s390_function_profiler): Likewise.
+       (s390_optimize_prologue): Likewise.
+       (s390_rtx_costs): Likewise.
+       (s390_secondary_reload): Likewise.
+       (s390_promote_function_mode): Likewise.
+       (s390_hard_regno_mode_ok): Replace TARGET_64BIT with TARGET_ZARCH.
+       (s390_scalar_mode_supported_p): Disallow TImode if no 64 bit
+       registers available.
+       (s390_unwind_word_mode): New function.
+       (s390_function_value): Split 64 bit values into register pair if
+       used as return value.
+       (s390_call_saved_register_used): Don't use HARD_REGNO_NREGS for
+       function call parameters.  Handle parallels.
+       (TARGET_SCALAR_MODE_SUPPORTED_P): New macro.
+       (HARD_REGNO_CALL_PART_CLOBBERED): New macro.
+       (DWARF_CIE_DATA_ALIGNMENT): New macro.
+       (s390_expand_setmem): Remove unused variable src_addr.
+       * gcc/longlong.h: Make smul_ppmm and sdiv_qrnnd inline asms to
+       deal with 64 bit registers.     
+       * gcc/config/s390/s390.h: Define __zarch__ predefined macro.
+       Replace UNITS_PER_WORD with UNITS_PER_LONG where it is ABI relevant.
+       (UNITS_PER_LONG): New macro.
+       * libjava/include/s390-signal.h: Define extended ucontext
+       structure containing the upper halfs of the 64 bit registers.
+
+2010-04-13  Simon Baldwin  <simonb@google.com>
+
+       * cfgexpand.c (gimple_expand_cfg): Clarify warning message text.
+
+2010-04-13  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * gimple.c (walk_gimple_op) <GIMPLE_ASSIGN>: Do not request a pure
+       rvalue on the RHS if the LHS is of a non-renamable type.
+       * tree-ssa-ccp.c (maybe_fold_offset_to_component_ref): Fold result.
+
+2010-04-13  Matthias Klose  <doko@ubuntu.com>
+
+       * gcc.c (cc1_options): Handle -iplugindir before processing
+       the cc1 spec. Only add -iplugindir once.
+       (cpp_unique_options): Add -iplugindir option if -fplugin* options
+       found.
+       * common.opt (iplugindir): Remove `Separate' property, initialize.
+       * plugin.c (default_plugin_dir_name): Error with missing -iplugindir
+       option.
+       * Makefile.in (check-%, check-parallel-%): Create plugin dir.
+       (distclean): Remove plugin dir.
+       * doc/invoke.texi: Document -iplugindir.
+
+2010-04-13  Basile Starynkevitch  <basile@starynkevitch.net>
+
+       * doc/plugins.texi (Loading Plugins): Document short
+       -fplugin=foo option.
+       (Plugin API): Mention default_plugin_dir_name function.
+
+       * gcc.c (find_file_spec_function): Add new declaration.
+       (static_spec_func): Use it for "find-file".
+       (find_file_spec_function): Add new function.
+       (cc1_options): Add -iplugindir option if -fplugin* options found.
+
+       * gcc-plugin.h (default_plugin_dir_name): Added new declaration.
+
+       * plugin.c (add_new_plugin): Updated comment, and handle short
+       plugin name.
+       (default_plugin_dir_name): Added new function.
+
+       * common.opt (iplugindir): New option to set the plugin directory.
+
+2010-04-12  Uros Bizjak  <ubizjak@gmail.com>
+
+       * config/i386/i386.md (any_rotate): New code iterator.
+       (rotate_insn): New code attribute.
+       (rotate): Ditto.
+       (SWIM124): New mode iterator.
+       (<rotate_insn>ti3): New expander.
+       (<rotate_insn>di3): Macroize expander from {rotl,rotr}di3 using
+       any_rotate code iterator.
+       (<rotate_insn><mode>3) Macroize expander from {rotl,rotr}{qi,hi,si}3
+       using any_rotate code iterator and SWIM124 mode iterator.
+       (ix86_rotlti3): New insn_and_split pattern.
+       (ix86_rotrti3): Ditto.
+       (ix86_rotl<dwi>3_doubleword): Macroize insn_and_split pattern from
+       ix86_rotl{di,ti}3 patterns.
+       (ix86_rotr<dwi>3_doubleword): Ditto from ix86_rotr{di,ti}3 patterns.
+       (*<rotate_insn><mode>3_1): Merge with *{rotl,rotr}{qi,hi,si}3_1_one_bit
+       and *{rotl,rotr}di3_1_one_bit_rex64. Macroize insn from
+       *{rotl,rotr}{qi,hi,si}3_1 and *{rotl,rotr}di3_1_rex64 using any_rotate
+       code iterator and SWI mode iterator.
+       (*<rotate_insn>si3_1_zext): Merge with *{rotl,rotr}si3_1_one_bit_zext.
+       Macroize insn from {rotl,rotr}si3_1_zext using any_rotate
+       code iterator.
+       (*<rotate_insn>qi3_1_slp): Merge with *{rotl,rotr}qi3_1_one_bit_slp.
+       Macroize insn from {rotl,rotr}qi3_1_slp using any_rotate code iterator.
+       (bswap rotatert splitter): Add splitter.
+       (bswap splitter): Macroize splitter using any_rotate code iterator.
+       Add insn predicate to split only for TARGET_USE_XCHGB or when
+       optimizing function for size.
+
+2010-04-12  Steve Ellcey  <sje@cup.hp.com>
+
+       * config/pa/pa.c (emit_move_sequence): Remove use of
+       deleted variable flag_argument_noalias.
+
+2010-04-12  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
+
+       * config.gcc: Removed *-*-solaris2.7* from list of obsolete
+       configurations.
+       Add to unsupported targets list.
+       * configure.ac (gcc_cv_as_tls): Removed i[34567]86-*-solaris2.[567]*,
+       sparc*-sun-solaris2.[567]* from target lists.
+       * configure: Regenerate.
+       * doc/install.texi (Specific, *-*-solaris2*): Document Solaris 7
+       removal.
+       Remove Solaris 7 patch references.
+       (Specific, sparc-sun-solaris2.7): Removed.
+       (sparc-sun-solaris2*): Update Solaris 7 example.
+       (sparc64-*-solaris2*): Likewise.
+
+2010-04-12  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
+
+       * config.build (alpha*-dec-osf4*): Remove.
+       * config.gcc: Remove alpha*-dec-osf4*, alpha-dec-osf5.0* from list
+       of obsolete configurations.
+       (alpha*-dec-osf[45]*): Remove alpha*-dec-osf4*, alpha-dec-osf5.0*
+       support.
+       * config/alpha/t-osf4: Renamed to ...
+       * config/alpha/t-osf5: ... this.
+       * config/alpha/osf.h: Renamed to ...
+       * config/alpha/osf5.h: ... this.
+       Merged old osf5.h contents.
+       Update comments.
+       (ASM_SPEC): Use ASM_OLDAS_SPEC directly.
+       (EXTRA_SPECS): Removed.
+       * doc/install.texi (Specific, alpha*-dec-osf5.1): Renamed to
+       reflect removal of Tru64 UNIX V4.0/V5.0 support.
+       Document that.
+
+2010-04-12  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
+
+       * doc/contrib.texi (Contributors, Rainer Orth): Update.
+
+2010-04-12  Kai Tietz  <kai.tietz@onevision.com>
+
+       PR/43702
+       * config/i386/i386.c (x86_this_parameter): Handle aggregate for
+       __thiscall convention.
+
+2010-04-12  Steve Ellcey  <sje@cup.hp.com>
+
+       * config/pa/pa.c (hppa_legitimize_address): Remove unused variable
+       orig_base.
+       * config/pa/pa.md (call, call_value): Remove unused variable call_insn.
+
+2010-04-12  Steve Ellcey  <sje@cup.hp.com>
+
+       * function.c (assign_parms_initialize_all): Add unused attribute
+       to fntype.
+
+2010-04-12  Richard Guenther  <rguenther@suse.de>
+
+       * gsstruct.def (GSS_CALL): New.
+       * gimple.def (GIMPLE_CALL): Change to GSS_CALL.
+       * gimple.h: Include tree-ssa-alias.h.
+       (struct gimple_statement_call): New.
+       (union gimple_statement_struct_d): Add gimple_call member.
+       (gimple_call_reset_alias_info): Declare.
+       (gimple_call_use_set): New function.
+       (gimple_call_clobber_set): Likewise.
+       * Makefile.in (GIMPLE_H): Add tree-ssa-alias.h.
+       * gimple.c (gimple_call_reset_alias_info): New function.
+       (gimple_build_call_1): Call it.
+       * lto-streamer-in.c (input_gimple_stmt): Likewise.
+       * tree-inline.c (remap_gimple_stmt): Likewise.
+       (expand_call_inline): Remove callused handling.
+       * cfgexpand.c (update_alias_info_with_stack_vars): Likewise.
+       * tree-dfa.c (dump_variable): Likewise.
+       * tree-parloops.c (parallelize_loops): Likewise.
+       * tree-ssa.c (init_tree_ssa): Likewise.
+       (delete_tree_ssa): Likewise.
+       * tree-flow-inline.h (is_call_used): Remove.
+       * tree-flow.h (struct gimple_df): Remove callused member.
+       * tree-nrv.c (dest_safe_for_nrv_p): Adjust predicate.
+       * tree-ssa-alias.c (dump_alias_info): Remove callused handling.
+       (ref_maybe_used_by_call_p_1): Simplify.
+       (call_may_clobber_ref_p_1): Likewise.
+       * tree-ssa-structalias.c (compute_points_to_sets): Set
+       the call stmt used and clobbered sets.
+       * tree-tailcall.c (suitable_for_tail_opt_p): Adjust predicate.
+       (find_tail_calls): Verify the tail call.
+
 2010-04-12  Richard Guenther  <rguenther@suse.de>
 
        * ipa.c (cgraph_postorder): Adjust postorder to guarantee
        single-iteration always-inline inlining.
        * ipa-inline.c (cgraph_mark_inline): Do not return anything.
-       (cgraph_decide_inlining): Do not handle always-inline
-       specially.
+       (cgraph_decide_inlining): Do not handle always-inline specially.
        (try_inline): Remove always-inline cycle detection special case.
        Do not recurse on always-inlines.
        (cgraph_early_inlining): Do not iterate if not optimizing.
        * config/i386/i386.md (any_shiftrt): New code iterator.
        (shiftrt_insn): New code attribute.
        (shiftrt): Ditto.
-       (<shiftrt_insn><mode>3): Macroize expander from ashr<mode>3 and
-       lshr<mode>3 using any_shiftrt code iterator.
+       (<shiftrt_insn><mode>3): Macroize expander from {ashr,lshr}<mode>3
+       using any_shiftrt code iterator.
        (*<shiftrt_insn><mode>3_doubleword): Macroize insn_and_split from
-       *ashr<mode>3_doubleword and *lshr<mode>3_doubleword using
-       any_shiftrt code iterator.
+       *{ashr,lshr}<mode>3_doubleword using any_shiftrt code iterator.
        (*<shiftrt_insn><mode>3_doubleword peephole2): Macroize peephole2
        pattern from corresponding peephole2 patterns.
-       (*<shiftrt_insn><mode>3_1): Macroize insn from *ashr<mode>3_1
-       and *lshr<mode>3_1 using any_shiftrt code iterator.
-       (*<shiftrt_insn>si3_1_zext): Ditto from *ashrsi3_1_zext
-       and *lshrsi3_1_zext.
-       (*<shiftrt_insn>qi3_1_slp): Ditto from *ashrqi3_1_slp
-       and *lshrqi3_1_slp.
-       (*<shiftrt_insn><mode>3_cmp): Ditto from *ashr<mode>3_cmp
-       and *lshr<mode>3_cmp.
-       (*<shiftrt_insn><mode>3_cmp_zext): Ditto from *ashr<mode>3_cmp_zext
-       and *lshr<mode>3_cmp_zext.
-       (*<shiftrt_insn><mode>3_cconly): Ditto from *ashr<mode>3_cconly
-       and *lshr<mode>3_cconly.
+       (*<shiftrt_insn><mode>3_1): Macroize insn from *{ashr,lshr}<mode>3_1
+       using any_shiftrt code iterator.
+       (*<shiftrt_insn>si3_1_zext): Ditto from *{ashr,lshr}si3_1_zext.
+       (*<shiftrt_insn>qi3_1_slp): Ditto from *{ashr,lshr}qi3_1_slp.
+       (*<shiftrt_insn><mode>3_cmp): Ditto from *{ashr,lshr}<mode>3_cmp.
+       (*<shiftrt_insn><mode>3_cmp_zext): Ditto from
+       *{ashr,lshr}<mode>3_cmp_zext.
+       (*<shiftrt_insn><mode>3_cconly): Ditto from *{ashr,lshr}<mode>3_cconly.
 
 2010-04-11  Uros Bizjak  <ubizjak@gmail.com>
 
        (*lshr<mode>3_doubleword peephole2): Macroize peephole2 pattern
        from corresponding peephole2 patterns.
        (*lshr<mode>3_1): Merge with *lshr{qi,hi,si}3_1_one_bit and
-       *lshrdi3_1_one_bit_rex64. Macroize insn from *lshr{qi,hi,si}3_cmp
-       and *lshrdi3_cmp_rex64 using SWI mode iterator.
+       *lshrdi3_1_one_bit_rex64. Macroize insn from *lshr{qi,hi,si}3_1
+       and *lshrdi3_1_rex64 using SWI mode iterator.
        (*lshrsi3_1_zext): Merge with *lshrsi3_1_one_bit_zext.
        (*lshrqi3_1_slp): Merge with *lshrqi3_1_one_bit_slp.
        (*lshr<mode>3_cmp): Merge with *lshr{qi,hi,si}3_one_bit_cmp and
        (x86_shift<mode>_adj_3): Macroize expander from x86_shift_adj_3
        and x86_64_shift_adj_3 using SWI48 mode iterator.
        (*ashr<mode>3_1): Merge with *ashr{qi,hi,si}3_1_one_bit and
-       *ashrdi3_1_one_bit_rex64. Macroize insn from *ashr{qi,hi,si}3_cmp
-       and *ashrdi3_cmp_rex64 using SWI mode iterator.
+       *ashrdi3_1_one_bit_rex64. Macroize insn from *ashr{qi,hi,si}3_1
+       and *ashrdi3_1_rex64 using SWI mode iterator.
        (*ashrsi3_1_zext): Merge with *ashrsi3_1_one_bit_zext.
        (*ashrqi3_1_slp): Merge with *ashrqi3_1_one_bit_slp.
        (*ashr<mode>3_cmp): Merge with *ashr{qi,hi,si}3_one_bit_cmp and