* ipa-reference.c (check_call): Noreturn notrhow calls do not write

[pf3gnuchains/gcc-fork.git] / gcc / ChangeLog

2009-10-24  Jan Hubicka  <jh@suse.cz>

        * ipa-reference.c (check_call): Noreturn notrhow calls do not write
        to memory.
        (analyze_function): When analyzing noreturn nothrow call, do not compute
        written stats; free bitmaps of vars early if possible.
        (generate_summary): Only update bitmaps if computed.
        (propagate): Only dump bitmaps if computed.
        (ipa_reference_read_summary): Fix pasto.

2009-10-24  Eric Botcazou  <ebotcazou@adacore.com>

        * tree-ssa-alias.c (nonaliasing_component_refs_p): Rename into...
        (aliasing_component_refs_p): ...this.  Return true if there is no
        common base and the base access types have the same alias set.
        (indirect_ref_may_alias_decl_p): Adjust for above renaming.
        (indirect_refs_may_alias_p): Likewise.

2009-10-23  Joseph Myers  <joseph@codesourcery.com>

        PR c/40033
        * c-typeck.c (c_finish_stmt_expr): Do not wrap error_mark_node in
        a C_MAYBE_CONST_EXPR.

2009-10-23  Michael Meissner  <meissner@linux.vnet.ibm.com>

        PR target/41787
        * config/rs6000/rs6000.c (struct machine_function): Add
        vsx_or_altivec_used_p to record if vector types are used.
        (rs6000_expand_to_rtl_hook): Rename from
        rs6000_alloc_sdmode_stack_slot.  If VSX, check to see if there are
        any vector operations, so if there are, we can set VRSAVE to
        non-zero when only floating point vector registers are used.
        (TARGET_EXPAND_TO_RTL_HOOK): Use rs6000_expand_to_rtl_hook.
        (rs6000_check_vector_mode): Inner function to check if vector
        types are used in the code.
        (compute_vrsave_mask): If VSX, make sure VRSAVE is non-zero if
        vector instructions are used.

        * config/rs6000/rs6000.h (HARD_REGNO_CALL_PART_CLOBBERED):
        Indicate that VSX registers which overlap floating point
        registers, can't be used across a call, since the ABI only states
        the scalar part of the register will be saved and restored.

2009-10-23  Joseph Myers  <joseph@codesourcery.com>

        PR c/41673
        * alias.c (get_alias_set): Call langhook before returning 0 for
        types with structural equality.
        * c-common.c (c_common_get_alias_set): Use alias set of element
        type for arrays with structural comparison.

2009-10-23  Richard Guenther  <rguenther@suse.de>

        PR middle-end/41805
        * cfgexpand.c (expand_call_stmt): Use gimple_has_side_effects and
        gimple_call_nothrow_p.

2009-10-23  Richard Guenther  <rguenther@suse.de>

        PR tree-optimization/41778
        * tree-ssa-pre.c (do_regular_insertion): Only insert if a
        redundancy along a path in the CFG we want to optimize for speed
        is going to be removed.
        (execute_pre): Do partial-PRE only if the function is to be
        optimized for speed.
        (gate_pre): Do not turn off all of PRE when not optimizing a
        function for speed.

2009-10-23  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>

        * builtins.c (fold_builtin_cabs): Use validate_arg().
        (fold_builtin_cexp): Fix if-logic.
        (fold_builtin_1): Check subtype for BUILT_IN_CIMAG.

2009-10-22  Jeff Law  <law@redhat.com>

        * ira-lives.c (process_single_reg_class_operands): Update the
        hard reg costs for all the hard registers desired by the
        single reg class operand.

2009-10-22  Richard Sandiford  <rdsandiford@googlemail.com>

        * simplify-rtx.c (simplify_replace_fn_rtx): Add a fallback case
        for rtxes that aren't handled specially.

2009-10-22  Richard Sandiford  <rdsandiford@googlemail.com>

        * rtl.h (shallow_copy_rtvec): Declare.
        * rtl.c (shallow_copy_rtvec): New function.
        * cselib.c (cselib_subst_to_values): Use it.  Only modify an
        rtx field if the subrtx has changed.

2009-10-22  Anatoly Sokolov  <aesok@post.ru>

        * config/m32c/m32c.c (m32c_function_value_regno_p): New function.
        (m32c_function_value): Make static, add new 'outgoing' argument.
        (m32c_libcall_value): Make static, add new 'fun' argument.
        (TARGET_FUNCTION_VALUE, TARGET_LIBCALL_VALUE): Declare.
        * config/m32c/m32c.h: (FUNCTION_VALUE, LIBCALL_VALUE): Remove.
        (FUNCTION_VALUE_REGNO_P): Redefine, use m32c_function_value_regno_p.
        * config/m32c/m32c-protos.h (m32c_function_value_regno_p): Declare.
        (m32c_function_value, m32c_libcall_value): Delete declaration.

2009-10-22  Diego Novillo  <dnovillo@google.com>

        * Makefile.in (PLUGIN_HEADERS): Add output.h and IPA_UTILS_H.

2009-10-22  Razya Ladelsky  <razya@il.ibm.com>
        
        * testsuite/gcc.dg/autopar/outer-4.c: Adjust scan.
        * testsuite/gcc.dg/autopar/outer-5.c: Adjust scan.
        * testsuite/gcc.dg/autopar/outer-5.c: Add scan optimized.
        * tree-cfg.c (gimple_duplicate_sese_tail): Fix typos/indentation/white
        space.

2009-10-22  Richard Guenther  <rguenther@suse.de>

        * lto-streamer.h (lto_symtab_merge_cgraph_nodes): Declare.
        * lto-symtab.c (struct lto_symtab_entry_def): Add node member.
        (lto_symtab_merge): Do not merge cgraph nodes here.
        (lto_symtab_resolve_can_prevail_p): Simplify.
        (lto_symtab_resolve_symbols): Store cgraph node.
        (lto_symtab_merge_decls_1): Simplify.  Do not drop non-prevailing
        functions from the symtab.
        (lto_symtab_merge_cgraph_nodes_1): New function.
        (lto_symtab_merge_cgraph_nodes): Likewise.

2009-10-22  Richard Guenther  <rguenther@suse.de>

        PR lto/41791
        * lto-streamer-out.c (lto_output_location): Stream the
        system header flag.
        * lto-streamer-in.c (lto_input_location): Likewise.

2009-10-22  Razya Ladelsky  <razya@il.ibm.com>
        
        * cfgloopmanip.c  (duplicate_subloops): Export. 
        * tree-parloops.c (loop_parallel_p): Dump if loop is innermost.
        (transform_to_exit_first_loop): Duplicate bbs starting from 
        header up to loop->latch instead of exit->src.
        Initialize control variable to the correct number of iterations.
        (gather_scalar_reductions): Do not register double reductions.
        (parallelize_loops): Dump which loop is tested. 
        Indicate whether the parallelized loop is inner or not. 
        Remove the innermost-loop requirement.
        * cfgloop.h (duplicate_subloops): Export. 
        * tree-cfg.c (add_phi_args_after_redirect): New function.
        (gimple_duplicate_sese_tail): Remove the no-subloops constraint.
        Call duplicate_subloops.
        Update number of iterations at the exit condition.
        Don't redirect nexits always to the loop exit.
        Redirect copied edges from latch to the loop exit.
        * testsuite/libgomp.graphite/force-parallel-2.c: Adjust scan.
        * testsuite/gcc.dg/autopar/outer-1.c: New testcase.
        * testsuite/gcc.dg/autopar/outer-2.c: New testcase.
        * testsuite/gcc.dg/autopar/outer-3.c: New testcase.
        * testsuite/gcc.dg/autopar/outer-4.c: New testcase.
        * testsuite/gcc.dg/autopar/outer-5.c: New testcase.
        * testsuite/gcc.dg/autopar/outer-6.c: New testcase.

2009-10-22  Jan Hubicka  <jh@suse.cz>

        * ipa-cp.c (ipcp_read_summary): Remove now invalid FIXME and
        flag_ltrans check.
        * ipa-inline.c (cgraph_mark_inline_edge,
        cgraph_decide_inlining_of_small_function,
        cgraph_decide_inlining, inline_read_summary): Disable indirect inlining
        for WPA for time being.

        PR tree-optimize/40556                                                                                                                                         
        * ipa-inline.c (cgraph_early_inlining): Fix iterations condition.

2009-10-22  Richard Guenther  <rguenther@suse.de>

        * lto-streamer.h (lto_symtab_clear_resolution): Remove.
        * lto-symtab.c (lto_symtab_clear_resolution): Likewise.

2009-10-22  Jan Hubicka  <jh@suse.cz>

        PR lto/41730
        * ipa-reference.c (has_proper_scope_for_analysis): Add fixme about
        global vars.
        (check_call): Handle only indirect calls.
        (propagate_bits): Update comment.
        (write_node_summary_p): Turn bogus check to assert.
        (ipa_reference_write_summary): Stream calls_read_all properly.
        (ipa_reference_read_summary): Stream in calls_read_all properly.
        (read_write_all_from_decl): New function.
        (propagate): Handle OVERWRITABLE nodes and external calls here.
        * ipa-pre-const.c (check_call): In IPA mode handle indirect calls
        only.
        (analyze_function): Do not check visibility here.
        (add_new_function): We summary OVERWRITABLE too.
        (generate_summary): Stream OVERWRITABLE nodes too.
        (propagate): Handle external calls and OVERWRITABLE nodes here.
        (local_pure_const): Check visibility here.

2009-10-22  Jan Hubicka  <jh@suse.cz>

        * ipa-cp.c (ipcp_write_summary, ipcp_read_summary): New functions.
        (pass_ipa_cp): Register them.
        (ipcp_init_stage): Analyze all functions for whopr/lto.
        (ipcp_propagate_stage): Skip external calls.
        (ipcp_iterate_stage): Call ipa_update_after_lto_read if needed.
        * ipa-reference.c (write_node_summary_p): Fix thinko about availability.
        * cgraphunit.c (ipa_passes): When in lto, ne er produce new summaries;
        when in ltrans, skip executing of ipa passes since everything should've
        been done.
        * ipa-inline.c (cgraph_decide_inlining): Remove FIXMEs.
        (inline_generate_summary): Likewise.
        (inline_read_summary): New function.
        (inline_write_summary): New function.
        (pass_ipa_inline): Register new hooks.
        * ipa-prop.c: Inlcude lto-streamer.h
        (ipa_edge_args_vector): Update declaration.
        (ipa_count_arguments, ipa_compute_jump_functions,
        ipa_free_edge_args_substructures): Move ipa_edge_args_vector into ggc.
        (ipa_write_jump_function, ipa_read_jump_function, ipa_write_node_info,
        ipa_read_node_info): New static functions.
        (ipa_prop_write_jump_functions, ipa_prop_read_jump_functions): Update.
        (duplicate_array): Use xmalloc.
        (duplicate_ggc_array): New.
        (ipa_edge_duplication_hook): Use it.
        (ipa_update_after_lto_read): New function.
        * ipa-prop.h (ipa_prop_write_jump_functions,
        ipa_prop_read_jump_functions): Declare.
        (ipa_pass_through_data, ipa_ancestor_jf_data, ipa_member_ptr_cst,
        jump_func_value, ipa_member_ptr_cst, ipa_edge_args): Add GTY markers.
        (ipa_edge_args_vector): Move into GGC.
        (ipa_check_create_edge_args): Update.
        (ipa_update_after_lto_read): New.
        * passes.c (ipa_write_summaries_1): When in wpa, do not write summaries.
        (ipa_read_summaries): When in ltrans, so not read summaries.
        * lto-streamer.c (lto_get_section_name): Add LTO_section_jump_functions.
        * lto-streamer.h (LTO_section_jump_functions): New section.
        (produce_asm): Declare.
        * lto-cgraph.c (output_cgraph): Output edges in reverse order.
        * lto-streamer-out.c (produce_asm): Export.
        * lto-streamer-in.c: Include tree-pass.h
        (input_function): Free dominance info when done.
        (lto_read_body): Push ipa_inline in ltrans stage.
        * gengtype.c (open_base_files): Add ipa-prop.h into includes.
        * Makefile.in (GTFILES): Add ipa-prop.h

2009-10-22  Matthias Klose  <doko@ubuntu.com>

        * doc/install.texi: Document --enable-browser-plugin.

2009-10-21  Vladimir Makarov  <vmakarov@redhat.com>

        * doc/invoke.texi (fira-loop-pressure): Update default value.
        * opts.c (decode_options): Remove default value setting for
        flag_ira_loop_pressure.
        * config/ia64/ia64.c (ia64_override_options): Set
        flag_ira_loop_pressure up for -O3.
        * config/rs6000/rs6000.c (rs6000_override_options): Ditto.
        
2009-10-21  Sebastian Pop  <sebastian.pop@amd.com>

        PR tree-optimization/41497
        * tree-scalar-evolution.c (analyze_evolution_in_loop): Return
        chrec_dont_know if the evolution function returned by follow_ssa_edge
        is constant in the analyzed loop and is not compatible with the
        initial value before the loop.
        * tree-chrec.h (no_evolution_in_loop_p): Call STRIP_NOPS.

2009-10-21  Joseph Myers  <joseph@codesourcery.com>

        * config/sh/sh.c (nonpic_symbol_mentioned_p): Allow UNSPEC_TPOFF.

2009-10-21  Jakub Jelinek  <jakub@redhat.com>

        PR other/25507
        * doc/invoke.texi: Document -print-multi-os-directory.

2009-10-21  Jack Howarth  <howarth@bromo.med.uc.edu>

        PR c++/41313
        * gcc/config/darwin10.h: Use default_emit_unwind_label.
        * gcc/config/darwin.c: Disable -freorder-blocks-and-partition
        when darwin_emit_unwind_label is used.

2009-10-21  Eric Botcazou  <ebotcazou@adacore.com>

        * tree-vect-stmts.c (exist_non_indexing_operands_for_use_p): Tweak
        order of checks.

2009-10-20  Richard Henderson  <rth@redhat.com>

        * tree-eh.c (lower_try_finally_copy): Do lower_eh_constructs_1
        before emit_post_landing_pad.

2009-10-20  Adam Nemet  <anemet@caviumnetworks.com>

        * config/mips/mips.c (mips_binary_cost): Add new argument speed.
        Use when calling rtx_costs.
        (mips_rtx_costs): Fix formatting.  Use argument speed rather than the
        global optimize_size.  Pass speed to mips_binary_cost.

2009-10-20  Jakub Jelinek  <jakub@redhat.com>

        * config/rs6000/rs6000.c (def_builtin): Set TREE_READONLY instead
        of TREE_CONSTANT.

2009-10-20  Richard Sandiford  <rdsandiford@googlemail.com>

        * rtl.h (simplify_replace_fn_rtx): Declare.
        (wrap_constant, unwrap_constant): Delete.
        * cfgexpand.c (unwrap_constant, wrap_constant): Delete.
        (expand_debug_expr): Don't call wrap_constant.
        * combine.c (rtx_subst_pair): Only define for AUTO_INC_DEC.
        (auto_adjust_pair): Fold into...
        (propagate_for_debug_subst): ...here.  Only define for AUTO_INC_DEC.
        Just return a new value.
        (propagate_for_debug): Use simplify_replace_fn_rtx for AUTO_INC_DEC,
        otherwise use simplify_replace_rtx.
        * cselib.c (wrap_constant): Reinstate old definition.
        (cselib_expand_value_rtx_1): Don't wrap constants.
        * gcse.c (try_replace_reg): Don't use copy_rtx in the call to
        simplify_replace_rtx.
        (bypass_block): Fix formatting in calls to simplify_replace_rtx.
        * reload1.c (reload): Skip all uses for an insn before adjusting it.
        Use simplify_replace_rtx.
        * simplify-rtx.c (simplify_replace_fn_rtx): New function,
        adapted from...
        (simplify_replace_rtx): ...here.  Turn into a wrapper for
        simplify_replace_fn_rtx.
        (simplify_unary_operation): Don't unwrap CONSTs.
        * var-tracking.c (check_wrap_constant): Delete.
        (vt_expand_loc_callback): Don't call it.
        (vt_expand_loc): Likewise.

2009-10-20  Pascal Obry  <obry@adacore.com>
            Eric Botcazou  <ebotcazou@adacore.com>

        * config/i386/cygming.h (DWARF_FRAME_REGNUM): Add enclosing parens.

2009-10-20  Michael Matz  <matz@suse.de>

        * loop-invariant.c (create_new_invariant): Use different magic number.

2009-10-20  Richard Earnshaw  <rearnsha@arm.com>

        PR target/39247
        * arm.c (arm_override_options): Forcibly disable hot/cold block
        partitioning.

2009-10-20  Alexandre Oliva  <aoliva@redhat.com>

        PR debug/41739
        * haifa-sched.c (try_ready): Skip debug deps updating speculation
        status.

2009-10-20  Richard Guenther  <rguenther@suse.de>

        * ggc-page.c: Include cfgloop.h.
        (struct max_alignment): Drop long double, add void *.
        (extra_order_size_table): Add low non-power-of-two multiples
        of MAX_ALIGNMENT.  Drop small type-based entries, add
        tree_type, cgraph_node and loop.
        * alloc-pool.c (struct allocation_object_def): Drop long double
        aligning element.

2009-10-20  Jakub Jelinek  <jakub@redhat.com>

        PR debug/41340
        * loop-invariant.c (calculate_loop_reg_pressure): Don't count regs
        referenced just in DEBUG_INSNs.

2009-10-20  Richard Guenther  <rguenther@suse.de>

        PR lto/41761
        * gimple.c (gimple_register_type): Make sure we register
        the types main variant first.

2009-10-20  Richard Guenther  <rguenther@suse.de>

        * gimple.c (gimple_types_compatible_p): Simplify.  Move
        cheap checks before hashtable queries.  Add checks for
        TYPE_NONALIASED_COMPONENT and DECL_NONADDRESSABLE_P.

2009-10-20  Eric Botcazou  <ebotcazou@adacore.com>

        * tree-sra.c (build_ref_for_offset_1) <RECORD_TYPE>: Skip fields
        without size or with size that can't be represented as a host integer.

2009-10-20  Alexandre Oliva  <aoliva@redhat.com>

        * tree-ssa-dce.c (eliminate_unnecessary_stmts): Don't regard
        the removal of a debug stmt as a significant change.

2009-10-20  Wolfgang Gellerich  <gellerich@de.ibm.com>

        * config/s390/s390.md: Added agen condition to operand
        forwarding bypasses. 
        Added bypass for early address generation use of int results.
        Updated comments.

2009-10-20  Stefan Dösinger  <stefan@codeweavers.com>

        * config/i386/i386.c: Remove signal.h #include.

2009-10-20  Jie Zhang  <jie.zhang@analog.com>

        * simplify-rtx.c (simplify_const_unary_operation): Handle SS_ABS.
        * doc/rtl.texi: Document ss_abs.

2009-10-19  Jakub Jelinek  <jakub@redhat.com>

        * c-common.c (c_parse_error): Handle CPP_UTF8STRING.
        * c-lex.c (c_lex_with_flags): Likewise.  Test C_LEX_STRING_NO_JOIN
        instead of C_LEX_RAW_STRINGS.
        (lex_string): Handle CPP_UTF8STRING.
        * c-parser.c (c_parser_postfix_expression): Likewise.
        * c-pragma.h (C_LEX_RAW_STRINGS): Rename to ...
        (C_LEX_STRING_NO_JOIN): ... this.

2009-10-19  Anatoly Sokolov  <aesok@post.ru>

        * config/cris/cris.c (cris_function_value, cris_libcall_value,
        cris_function_value_regno_p): New functions.
        (cris_promote_function_mode): Update comment.
        (TARGET_FUNCTION_VALUE, TARGET_LIBCALL_VALUE): Declare.
        * config/cris/cris.h (FUNCTION_VALUE, LIBCALL_VALUE): Remove.
        (FUNCTION_VALUE_REGNO_P): Redefine, use cris_function_value_regno_p.
        * config/cris/cris-protos.h (cris_function_value_regno_p): Declare.

2009-10-19  Jakub Jelinek  <jakub@redhat.com>

        * unwind-dw2.c (execute_stack_op): Fix operand order for
        DW_OP_le, DW_OP_ge, DW_OP_lt and DW_OP_gt.

2009-10-19  Eric Botcazou  <ebotcazou@adacore.com>

        * gimple-low.c (struct lower_data): Add cannot_fallthru field.
        (lower_stmt) <GIMPLE_BIND>: Add comment.
        <GIMPLE_COND, GIMPLE_GOTO, GIMPLE_SWITCH>: Set cannot_fallthru to true
        and return.
        <GIMPLE_RETURN>: Remove the statement if cannot_fallthru is set.
        Otherwise lower it and set cannot_fallthru to true.
        <GIMPLE_TRY>: Update cannot_fallthru for GIMPLE_TRY_FINALLY and return.
        <GIMPLE_CATCH, GIMPLE_EH_FILTER>: Set cannot_fallthru to false.
        <GIMPLE_CALL>: Set cannot_fallthru to false for BUILT_IN_SETJMP and
        to true for a noreturn call.  Do not remove statements.
        <GIMPLE_OMP_PARALLEL, GIMPLE_OMP_TASK>: Set cannot_fallthru to false.
        Set cannot_fallthru to false on function exit.
        (gimple_stmt_may_fallthru) <GIMPLE_SWITCH>: Really return false.
        <GIMPLE_ASSIGN>: Remove.

2009-10-19  Andreas Krebbel  <Andreas.Krebbel@de.ibm.com>

        * config/s390/s390.c (s390_z10_optimize_cmp): Don't touch FP compares.

2009-10-19  Andreas Krebbel  <Andreas.Krebbel@de.ibm.com>

        * config/s390/s390.c (s390_z10_optimize_cmp): Use
        next/prev_active_insn to skip DEBUG_INSNs as well.

2009-10-19  Joseph Myers  <joseph@codesourcery.com>

        * config/arm/arm.c (output_move_neon): Use DImode in call to
        adjust_address.

2009-10-19  Matthias Klose  <doko@ubuntu.com>

        PR target/40134
        * config.gcc (arm*-*-linux-*eabi): Use config/t-slibgcc-libgcc.

2009-10-19  Jakub Jelinek  <jakub@redhat.com>

        * cfgexpand.c (expand_debug_expr): Fail if bitpos < 0 for non-MEM op0.

2009-10-17  Andy Hutchinson  <hutchinsonandy@gcc.gnu.org>

        PR middle-end/41738
        * optabs.c (expand_binop): Make mode of shift count expression mode
        of shift count not target.
        Remove indent nit.

2009-10-17  Eric Botcazou  <ebotcazou@adacore.com>

        * tree-nested.c (convert_nonlocal_reference_stmt) <GIMPLE_COND>: New
        case.  Force using values to replace references within the statement.
        (convert_local_reference_stmt): Likewise.

2009-10-17  Eric Botcazou  <ebotcazou@adacore.com>

        * gimple-low.c (lower_stmt) <GIMPLE_CALL>: If the call is noreturn,
        remove a subsequent GOTO or RETURN statement.

2009-10-17  Andy Hutchinson  <hutchinsonandy@aim.com>

        * config/avr.md (*movqi): Add zero as equally preferable constraint
        as general register.
        (*movhi): Ditto.

2009-10-17  Eric Botcazou  <ebotcazou@adacore.com>

        * print-tree.c (print_node): Fix string for DECL_STRUCT_FUNCTION.

2009-10-17  Richard Guenther  <rguenther@suse.de>

        * lto-streamer-in.c (lto_input_location): Try to reuse previous maps.

2009-10-17  Richard Guenther  <rguenther@suse.de>

        * lto-streamer-in.c (input_gimple_stmt): Fixup FIELD_DECL
        operands in COMPONENT_REFs.

2009-10-17  Anatoly Sokolov  <aesok@post.ru>

        * targhooks.c (default_libcall_value): Don't use LIBCALL_VALUE macro
        if not defined. Change type of second argument to const_rtx.
        (default_function_value): Call gcc_unreachable if FUNCTION_VALUE
        macro not defined.
        * targhooks.h (default_libcall_value): Update prototype.
        * target.h (struct gcc_target): Change type of second argument of
        libcall_value to const_rtx.
        * config/arm/arm.c (arm_libcall_value): Change type of second argument
        to const_rtx.
        (arm_libcall_uses_aapcs_base): Change type of argument to const_rtx.
        * doc/tm.texi (TARGET_LIBCALL_VALUE):  Revise documentation.

2009-10-17  Jakub Jelinek  <jakub@redhat.com>

        PR debug/40521
        * debug.h (struct gcc_debug_hooks): Add assembly_start hook.
        * cgraphunit.c (cgraph_optimize): Call it.
        * dwarf2out.c (dwarf2out_init): Move .cfi_sections printing into...
        (dwarf2out_assembly_start): ... here.  New hook.
        (dwarf2out_debug_hooks): Add dwarf2out_assembly_start.
        * debug.c (do_nothing_debug_hooks): Do nothing for assembly_start
        hook.
        * dbxout.c (dbx_debug_hooks, xcoff_debug_hooks): Likewise.
        * sdbout.c (sdb_debug_hooks): Likewise.
        * vmsdbgout.c (vmsdbg_debug_hooks): Add vmsdbgout_assembly_start.
        (vmsdbgout_assembly_start): New hook.

2009-10-17  Alexandre Oliva  <aoliva@redhat.com>

        * rtl.h (RTL_LOCATION): Fix typo.

2009-10-17  Alexandre Oliva  <aoliva@redhat.com>

        * print-rtl.c (print_rtx): Print locators in asm_operands
        and asm_input.

2009-10-17  Alexandre Oliva  <aoliva@redhat.com>

        PR debug/41535
        * sched-deps.c (depl_on_debug_p): New.
        (attach_dep_link): Reject debug deps before nondebug deps.
        (add_to_deps_list): Insert debug deps after nondebug deps.
        (sd_lists_empty_p): Stop at first nonempty list.  Disregard debug
        deps.
        (sd_add_dep): Do not reject debug deps.
        (add_insn_mem_dependence): Don't count debug deps.
        (remove_from_deps): Likewise.
        (sched_analyze_2): Set up mem deps on debug insns.
        (sched_analyze_insn): Record reg uses for deps on debug insns.
        * haifa-sched.c (schedule_insn): Reset deferred debug insn.  Don't
        try_ready nondebug insn after debug insn.
        * ddg.c (create_ddg_dep_from_intra_loop_link,
        create_ddg_dep_no_link): Don't reject debug deps.

2009-10-16  Richard Guenther  <rguenther@suse.de>

        * lto-symtab.c (merge_incomplete_and_complete_type): Remove.
        (maybe_merge_incomplete_and_complete_type): Likewise.
        (lto_symtab_merge): Do not call them.  Do not warn for
        complete vs. incomplete compatible types.
        (lto_symtab_merge_decls_2): Simplify.
        * gimple.c (gimple_force_type_merge): Remove.
        (gimple_types_compatible_p): Make it static.
        * gimple.h (gimple_force_type_merge): Remove.
        (gimple_types_compatible_p): Likewise.

2009-10-16  Jakub Jelinek  <jakub@redhat.com>

        * dwarf2out.c (mem_loc_descriptor) <case ZERO_EXTRACT>: Cast
        DWARF2_ADDR_SIZE to int to avoid signed vs. unsigned warnings.

2009-10-16  Richard Guenther  <rguenther@suse.de>

        PR tree-optimization/41728
        * tree-ssa-dom.c (optimize_stmt): Mark the stmt modified
        if fold_stmt did anything.

2009-10-16  Richard Guenther  <rguenther@suse.de>

        PR lto/41715
        * lto-streamer-in.c (lto_input_tree_ref): Revert last change.
        (maybe_fixup_handled_component): New function.
        (input_gimple_stmt): Fixup mismatched decl replacements.

2009-10-16  Richard Guenther  <rguenther@suse.de>

        PR lto/41713
        * lto-streamer-out.c (lto_output_tree_ref): Handle DEBUG_EXPR_DECL
        the same as VAR_DECL.

2009-10-16  Richard Guenther  <rguenther@suse.de>

        * gimple.c (iterative_hash_gimple_type): For integer types
        also hash their minimum and maximum values and the string flag.
        For array types hash their domain and the string flag.

2009-10-16  Richard Guenther  <rguenther@suse.de>

        * gimple.c (gimple_types_compatible_p): Restrict completing
        types to record or unions.  Simplify completion.
        Do not merge records or unions with different
        TYPE_STRUCTURAL_EQUALITY_P tag.
        (iterative_hash_gimple_type): Restrict non-recursing into
        pointer targets for records and unions.

2009-10-15  Jakub Jelinek  <jakub@redhat.com>

        PR debug/41717
        * cfgexpand.c (expand_debug_expr): Handle CONJ_EXPR.
        * dwarf2out.c (mem_loc_descriptor): Don't handle
        POST_INT/POST_DEC/POST_MODIFY like SUBREG.  For SUBREG
        punt if it is not lowpart subreg or if inner mode isn't
        MODE_INT.

2009-10-16  Andreas Krebbel  <Andreas.Krebbel@de.ibm.com>

        * config/s390/s390.c (s390_z10_optimize_cmp): Skip notes when
        investigating previous or next insns.

2009-10-16  Eric Botcazou  <ebotcazou@adacore.com>

        * tree-sra.c (build_ref_for_offset_1): Update comment.

2009-10-16  Wolfgang Gellerich  <gellerich@de.ibm.com>

        * config/s390/s390.md (atype): Added missing values.

2009-10-15  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>

        PR target/41702
        * pa.md (casesi): Use sign extended index in call to gen_casesi64p.
        (casesi64p): Update pattern to reflect above.

2009-10-15  Steve Ellcey  <sje@cup.hp.com>

        PR rtl-optimization/41697
        * sel-sched-ir.h (_eligible_successor_edge_p): Check successor count.

2009-10-15  Michael Meissner  <meissner@linux.vnet.ibm.com>

        PR target/23983
        * config/rs6000/predicates.md: Update copyright year.
        * config/rs6000/altivec.md: Ditto.
        
        * config/rs6000/t-rs6000 (TM_H): Add rs6000-builtin.def.
        (MD_INCLUDES): Add a2.md.
        
        * config/rs6000/rs6000.c (rs6000_builtin_decls): Change
        RS6000_BUILTIN_COUNT to MAX_RS6000_BUILTINS.
        (builtin_classify): New static vector to classify various builtins
        to get the tree attributes correct.
        (def_builtin): Set the attributes of builtins based on what the
        builtin does (i.e. memory operation, floating point, saturation
        need special attributes, others are pure functions).

        * config/rs6000/rs6000.h (enum rs6000_btc): New enum to classify
        the builtins.
        (enum rs6000_builtins): Include rs6000-builtin.def to define the
        builtins.  Change the end marker to MAX_RS6000_BUILTINS from
        RS6000_BUILTIN_COUNT.
        (rs6000_builtin_decls): Change RS6000_BUILTIN_COUNT to
        MAX_RS6000_BUILTINS.

        * config/rs6000/rs6000-builtin.def: New file that combines the
        builtin enumeration name and attributes.

2009-10-15  H.J. Lu  <hongjiu.lu@intel.com>

        * config/i386/linux.h (ASM_SPEC): Add --32.

2009-10-15  Jakub Jelinek  <jakub@redhat.com>

        * dwarf2out.c (dwarf_tag_name): Handle DW_TAG_rvalue_reference_type
        and DW_TAG_template_alias.
        (dwarf_attr_name): Handle DW_AT_main_subprogram,
        DW_AT_data_bit_offset, DW_AT_const_expr, DW_AT_enum_class,
        DW_AT_linkage_name, DW_AT_GNU_guarded_by, DW_AT_GNU_pt_guarded_by,
        DW_AT_GNU_guarded, DW_AT_GNU_pt_guarded, DW_AT_GNU_locks_excluded,
        DW_AT_GNU_exclusive_locks_required, DW_AT_GNU_shared_locks_required
        and DW_AT_GNU_odr_signature.
        (dwarf_form_name): Handle DW_FORM_sec_offset, DW_FORM_exprloc,
        DW_FORM_flag_present and DW_FORM_ref_sig8.
        (output_signature): Only print name on the first byte.
        (output_die): Likewise for dw_val_class_data8.

2009-10-15  Alexander Monakov  <amonakov@ispras.ru>

        * doc/invoke.texi: Clarify that most optimizations are not enabled
        without -O.

2009-10-15  Richard Guenther  <rguenther@suse.de>

        PR lto/41668
        * gimple.c (compare_type_names_p): Handle anonymous names
        differently based on new mode argument.
        (gimple_types_compatible_p): For structs also compare the tags.
        (iterative_hash_type_name): Rename to ...
        (iterative_hash_name): ... this.  Hash all names.
        (iterative_hash_gimple_type): Fix hashing the struct tag of
        pointer targets.  Hash field decl names.

2009-10-15  Richard Guenther  <rguenther@suse.de>

        PR lto/41669
        * gimple.c (gimple_get_alias_set): Avoid recursing on
        invalid type topology.

2009-10-15  Andrew Pinski  <andrew_pinski@playstation.sony.com>

        * config/spu/spu.c (get_branch_target): Use extract_asm_operands.

2009-10-15  Richard Guenther  <rguenther@suse.de>

        * tree.c (free_lang_data_in_decl): Free DECL_FCONTEXT.

2009-10-15  Jakub Jelinek  <jakub@redhat.com>

        * config/rs6000/option-defaults.h (OPTION_DEFAULT_SPECS): Don't
        add --with-tune{,-32,-64} configured default for -mtune if explicit
        -mcpu is used.

2009-10-14  Daniel Gutson  <dgutson@codesourcery.com>

        * config/arm/neon.md (neon_vshll_n<mode>): Checking Bounds fixed.

2009-10-14  DJ Delorie  <dj@redhat.com>
        
        * config/h8300/h8300.c (F): New.
        (Fpa): New.
        (h8300_emit_stack_adjustment): Call them.
        (push): Likewise.
        (h8300_push_pop): Likewise.
        (h8300_expand_prologue): Likewise.
        * config/h8300/h8300.h (DWARF2_DEBUGGING_INFO): Define.
        (MUST_USE_SJLJ_EXCEPTIONS): Define.
        (INCOMING_RETURN_ADDR_RTX): Define.
        (INCOMING_FRAME_SP_OFFSET): Define.
        (DWARF_CIE_DATA_ALIGNMENT): Define.

2009-10-14  Jakub Jelinek  <jakub@redhat.com>

        * stor-layout.c (place_field): Don't emit -Wpadded warnings for
        fields in builtin structs.
        (finalize_record_size): Likewise.

2009-10-14  Richard Guenther  <rguenther@suse.de>

        * gimple.c (gtc_ob): New global.
        (struct type_pair_d): Replace pointers with type UIDs.
        (type_pair_hash): Adjust.
        (type_pair_eq): Likewise.
        (lookup_type_pair): Likewise.  Allocate from an obstack.
        (gimple_force_type_merge): Adjust.
        (gimple_types_compatible_p): Likewise.
        (free_gimple_type_tables): Free the obstack.

2009-10-14  Jakub Jelinek  <jakub@redhat.com>

        * tree-parloops.c (separate_decls_in_region_debug_bind): Drop debug
        stmts setting DEBUG_EXPR_DECLs.

        * cfgexpand.c (expand_debug_expr): Ignore zero-length bitfields.
        Don't crash if mode1 is VOIDmode.

2009-09-26  Vladimir Makarov  <vmakarov@redhat.com>

        * params.def (PARAM_IRA_LOOP_RESERVED_REGS): New.
        * params.h (IRA_LOOP_RESERVED_REGS): New.
        * tree-pass.h (pass_subregs_of_mode_init,
        pass_subregs_of_mode_finish): Remove.
        * passes.c (pass_subregs_of_mode_init,
        pass_subregs_of_mode_finish): Remove.
        (pass_reginfo_init): Move before loop optimizations.
        * config/i386/i386.h (STACK_REG_COVER_CLASS): Define.
        * common.opt (fira-loop-pressure): New.
        * toplev.h (flag_ira_loop_pressure): New.
        * rtl.h (init_subregs_of_mode, finish_subregs_of_mode): New externals.
        * reginfo.c (init_subregs_of_mode, finish_subregs_of_mode):
        Make external and void type functions.
        (gate_subregs_of_mode_init, pass_subregs_of_mode_init,
        pass_subregs_of_mode_finish): Remove.
        * ira-costs.c (init_costs): Call init_subregs_of_mode.
        * regmove.c: Include ira.h.
        (regmove_optimize): Call ira_set_pseudo_classes after IRA based
        register pressure calculation in loops.
        * loop-invariant.c: Include REGS_H and ira.h.
        (struct loop_data): New members max_reg_pressure, regs_ref, and
        regs_live.
        (struct invariant): New member orig_regno.
        (curr_loop): New variable.
        (find_exits): Initialize regs_ref and regs_live.
        (create_new_invariant): Initialize orig_regno.
        (get_cover_class_and_nregs): New.
        (get_inv_cost): Make aregs_needed an array.  Use regs_needed as an
        array.  Add code for flag_ira_loop_pressure.
        (gain_for_invariant): Make new_regs an array.  Add code for
        flag_ira_loop_pressure.
        (best_gain_for_invariant): Ditto.
        (set_move_mark): New parameter gain.  Use it for debugging output.
        (find_invariants_to_move): Make regs_needed and new_regs an array.
        Add code for flag_ira_loop_pressure.
        (move_invariant_reg): Set up orig_regno.
        (move_invariants): Set up reg classes for pseudos for
        flag_ira_loop_pressure.
        (free_loop_data): Clear regs_ref and regs_live.
        (curr_regs_live, curr_reg_pressure, regs_set, n_regs_set,
        get_regno_cover_class, change_pressure, mark_regno_live,
        mark_regno_death, mark_reg_store, mark_reg_clobber,
        mark_reg_death, mark_ref_regs, calculate_loop_reg_pressure): New.
        (move_loop_invariants): Calculate pressure.  Initialize curr_loop.
        * ira.c (ira): Call ira_set_pseudo_classes after IRA based
        register pressure calculation in loops if new regs were added.
        Call finish_subregs_of_mode.
        * opts.c (decode_options): Set up flag_ira_loop_pressure.
        * Makefile.in (loop-invariant.o): Add ira.h.
        (regmove.o): Ditto.
        * doc/invoke.texi (-fira-loop-pressure, ira-loop-reserved-regs):
        Describe.
        * doc/tm.texi (STACK_REG_COVER_CLASS): Describe.
        
2009-10-14  Richard Guenther  <rguenther@suse.de>

        * lto-symtab.c (lto_symtab_compatible): Fold in ...
        (lto_symtab_merge): ... here.  Rewrite both to take the
        prevailing and a to-be-merged entry and to queue diagnostics properly.
        (lto_symtab_resolve_replaceable_p): New predicate for
        symbol resolution.
        (lto_symtab_resolve_can_prevail_p): Likewise.
        (lto_symtab_resolve_symbols): Rewrite.  Fold in code that
        handles merging commons by choosing the largest decl.  Fold
        in code that gives ODR errors.
        (lto_symtab_merge_decls_2): Simplify a lot.  Emit queued
        diagnostics here.
        (lto_symtab_merge_decls_1): Re-structure.  Deal with the
        case of no prevailing decl here.  Diagnose mismatches
        in object types here.  Drop all but the prevailing decls.
        (lto_symtab_prevailing_decl): Return the single prevailing decl.
        * lto-streamer-in.c (lto_input_tree_ref): Deal with
        VIEW_CONVERT_EXPRs in decl slots.  Unshare the tree in this case.

2009-10-14  Richard Guenther  <rguenther@suse.de>

        PR lto/41521
        * lto-streamer-in.c (input_bb): Replace debug stmts with
        nops instead of dropping them.

2009-10-14  Nick Clifton  <nickc@redhat.com>

        * gcc/doc/extended.texi: Replace the dash character with @minus{}
        in situations where it is being used as a minus symbol.
        * gcc/doc/tm.texi: Likewise.
        * gcc/doc/md.texi: Likewise.

2009-10-14  Jakub Jelinek  <jakub@redhat.com>

        PR preprocessor/41543
        * input.h (BUILTINS_LOCATION): Change to 1 from 2.
        Assert BUILTINS_LOCATION < RESERVED_LOCATION_COUNT.
        * tree.c: Include intl.h.
        (expand_location): Handle BUILTINS_LOCATION.
        * Makefile.in (tree.o): Depend on intl.h.

        PR debug/41695
        * dwarf2out.c (dwarf2out_var_location): Always clear
        last_postcall_label when changing last_label.

2009-10-14  Pascal Obry  <obry@adacore.com>

        * gcc.c (DEFAULT_SWITCH_CURTAILS_COMPILATION): Add -E.
        (process_command): Handle -E as done with -c and -S.  Do not add
        the target executable suffix to the output file when -E is used.
        (main): Adjust error message accordingly.

2009-10-14  Alexandre Oliva  <aoliva@redhat.com>

        PR debug/41343
        PR debug/41447
        PR debug/41264
        PR debug/41338
        * tree.c (tree_node_structure_for_code): DEBUG_EXPR_DECL uses
        decl with rtl.
        (tree_code_size): Likewise.

2009-10-13  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>

        * builtins.c (fold_builtin_1): Support complex "arc" functions.
        * real.h (HAVE_mpc_arc): Define.

2009-10-14  Kaz Kojima  <kkojima@gcc.gnu.org>

        * config/sh/sh.c (TARGET_BUILTIN_DECL): Define.
        (struct builtin_description): Add fndecl field.
        (bdesc): Remove const qualifier.  Update initializer.
        (sh_media_init_builtins): Remove const qualifier for d.  Record
        the result of add_builtin_function to the fndecl field.
        (sh_builtin_decl): New.
        (sh_media_builtin_decl): New.

2009-10-14  Hans-Peter Nilsson  <hp@axis.com>

        PR target/38948
        * config/cris/cris.h (SECONDARY_RELOAD_CLASS): Handle reload
        requests between special registers.

2009-10-13  Eric Botcazou  <ebotcazou@adacore.com>

        * dwarf2out.c (mem_loc_descriptor): Accept UNGT as well.

2009-10-13  Richard Henderson  <rth@redhat.com>

        PR tree-optimization/41377
        * tree-eh.c (unsplit_eh): Propagate degenerate PHIs.
        (cleanup_empty_eh_merge_phis): New change_region parameter;
        pass it on to redirect_eh_edge_1.  Update callers.
        (cleanup_empty_eh_unsplit): Don't require an existing EH label
        at the destination block.

2009-10-13  Basile Starynkevitch  <basile@starynkevitch.net>

        * passes.c (register_pass): Replaced gcc_unreachable by
        fatal_error on failure. Mentions plugins in comments & messages.

2009-10-13  Jakub Jelinek  <jakub@redhat.com>

        PR target/41693
        * rtl.h (DEBUG_EXPR_TREE_DECL): Define.
        * sched-vis.c (print_value): Use it.
        * cselib.c (cselib_hash_rtx): Likewise.
        * print-rtl.c (print_rtx): Likewise.
        * cfgexpand.c (expand_debug_rtx): Likewise.
        * var-tracking.c (vt_expand_loc_callback): Likewise.

2009-10-13  Richard Guenther  <rguenther@suse.de>

        PR lto/41565
        * opts.c (handle_option): Split out code to handle setting
        the options flag var ...
        (set_option): ... here.
        * opts.h (set_option): Declare.
        * lto-opts.c (register_user_option_p): Include -fexceptions
        and all position independent code variants.
        (handle_common_option): Remove.
        (lto_reissue_options): Use set_option.

2009-10-13  Martin Jambor  <mjambor@suse.cz>

        PR tree-optimization/41661
        * ipa-prop.c (compute_complex_pass_through): Allow only operations
        that are tcc_comparisons or do not change the type in any
        un-usleless way.
        * ipa-cp.c (ipcp_lattice_from_jfunc): Request boolean type when
        folding tcc_comparison operations.

2009-10-13  Andreas Krebbel  <Andreas.Krebbel@de.ibm.com>

        * config/s390/s390.c (s390_encode_section_info): Handle BLKmode
        properly.

2009-10-12  Alexandre Oliva  <aoliva@redhat.com>

        PR debug/41343
        PR debug/41447
        PR debug/41264
        PR debug/41338
        * tree.def (DEBUG_EXPR_DECL): New.
        * rtl.def (DEBUG_EXPR): New.
        * gengtype.c (adjust_field_rtx_def): Handle it.
        * tree-ssa.c (propagate_var_def_into_debug_stmts): Rename to...
        (insert_debug_temp_for_var_def): ... this.  Drop support for
        moving.  Take iterator for def stmt; insert debug stmt before it.
        Scan early for use count and kind in debug stmts.
        (propagate_defs_into_debug_stmts): Rename to...
        (insert_debug_temps_for_defs): ... this.  Likewise.
        * tree.h (DEBUG_TEMP_UID): New.
        * tree.c (next_debug_decl_uid): New.
        (make_node_stat): Count debug decls separately.
        (copy_node_stat): Likewise.
        * cfgexpand.c (expand_debug_expr): Handle DEBUG_EXPR_DECL.
        * var-tracking.c (dv_is_decl_p): Recognize it.
        (VALUE_RECURSED_INTO): Apply to DEBUG_EXPRs too.
        (track_expr_p): Track expanded DEBUG_EXPR_DECLs.
        (vt_expand_loc_callback): Expand DEBUG_EXPRs.
        (emit_note_insn_var_location): Don't emit notes for DEBUG_EXPR_DECLs.
        * cselib.c (rtx_equal_for_cselib_p): Handle DEBUG_EXPR.
        (cselib_hash_rtx): Likewise.
        (cselib_expand_value_rtx_1): Use callback for DEBUG_EXPR.
        * tree-ssa-operands.c (get_expr_operands): Skip DEBUG_EXPR_DECLs in
        debug bind stmts.
        * emit-rtl.c (verify_rtx_sharing): Handle DEBUG_EXPR and VALUE.
        (copy_rtx_if_shared_1, reset_used_flags, set_used_flags): Likewise.
        * rtl.c (copy_rtx): Likewise.
        (rtx_equal_p_cb, rtx_equal_p): Handle DEBUG_EXPR.
        * print-rtl.c (print_rtx): Likewise.
        * sched-vis.c (print_value): Likewise.
        (print_insn): Handle DEBUG_EXPR_DECL.
        * tree-dump.c (dequeue_and_dump): Likewise.
        * tree-pretty-print.c (dump_decl_name, dump_generic_node): Likewise.
        * gimple-iterator (gsi_replace): Check for same lhs.
        (gsi_remove): Insert debug temps.
        * tree-ssa-loop-im.c (rewrite_reciprocal): Replace with same lhs.
        (move_computations_stmt): Drop explicit propagation into debug stmts.
        (rewrite_bittest): Likewise.  Use gsi_remove for propagation.
        * tree-ssa-reassoc.c (rewrite_expr_tree, linearize_expr): Likewise.
        * tree-ssa-sink.c (statement_sink_location): Likewise.
        * tree-ssa-forwprop (forward_propagate_addr_expr): Likewise.
        * tree-ssanames.c (release_ssa_name): Adjust for rename.
        * tree-flow.h: Likewise.
        * tree-ssa-dce.c (mark_stmt_if_obviously_necessary): Don't mark
        debug temps without values.
        (eliminate_unnecessary_stmts): Don't discard just-inserted
        debug stmts.

2009-10-12  Hans-Peter Nilsson  <hp@axis.com>

        PR target/26515
        * config/cris/cris.md (andu): Check that operand 1 is one of the
        general registers.  Fix typo in head comment.

2009-10-12  Stefan Dösinger  <stefan@codeweavers.com>

        * config/i386/i386.md (vswapmov): New.
        * config/i386/i386.c (ix86_handle_fndecl_attribute): New.
        (ix86_function_ms_hook_prologue): New.
        (ix86_expand_prologue): Handle ms_hook_prologue attribute.
        * configure.ac: Test for swap suffix support in as.
        * configure: Rebuild.

2009-10-12  Jakub Jelinek  <jakub@redhat.com>

        PR target/41680
        * config/i386/i386.md (split after *testqi_ext_3_rex64): Only narrow
        paradoxical subregs to prevent partial register stalls if the inner
        mode is integer mode.

2009-10-12  Uros Bizjak  <ubizjak@gmail.com>

        * config/i386/i386.md (*setcc_<mode>_2): Remove insn pattern.

2009-10-12  Dodji Seketeli  <dodji@redhat.com>

        PR c++/41570
        * gcc/dwarf2out.c (template_parameter_pack_die,
        gen_formal_parameter_pack_die): Use add_name_and_src_coords_attributes.

2009-10-12  Alexandre Oliva  <aoliva@redhat.com>

        PR debug/41616
        * tree-into-ssa.c (insert_phi_nodes_for): Build debug bind stmts
        on updates too.
        (maybe_register_def): Likewise.  Take stmt iterator.
        (rewrite_update_stmt): Take stmt iterator and pass it on.
        (rewrite_update_enter_block): Pass stmt iterator.

2009-10-11  Andrew Pinski  <andrew_pinski@playstation.sony.com>

        * config/spu/spu.c (TARGET_BUILTIN_DECL): Define.
        (spu_builtin_decl): New function.

2009-10-12  Uros Bizjak  <ubizjak@gmail.com>

        * config/i386/i386.md (SWIM): New mode iterator.
        (mov<mode>cc): Macroize expander from mov{qi,hi,si,di}cc patterns
        using SWIM mode iterator.
        (x86_mov<mode>cc_0_m1): Macroize insn from x86_mov{si,di}cc_0_m1
        patterns using SWI48 mode iterator.
        (*x86_mov<mode>cc_0_m1_se):  Macroize insn from
        *x86_mov{si,di}cc_0_m1_se patterns using SWI48 mode iterator.
        (*x86_mov<mode>cc_0_m1_neg): New insn pattern.
        (*mov<mode>cc_noc): Macroize insn from *mov{hi,si,di}cc_noc
        patterns using SWI248 mode iterator.
        * config/i386/i386.c (ix86_expand_int_movcc): Update the call to
        gen_x86_movdicc_0_m1_rex64 for renamed function

2009-10-11  Jose Ruiz  <ruiz@adacore.com>
            Eric Botcazou  <ebotcazou@adacore.com>

        PR target/33743
        * config/sparc/sol2.h (MD_UNWIND_SUPPORT): Define.
        * config/sparc/sol2-unwind.h: New file.

2009-10-11  Olivier Hainque  <hainque@adacore.com>
            Eric Botcazou  <ebotcazou@adacore.com>

        PR target/33743
        * config/i386/sol2.h (MD_UNWIND_SUPPORT): Define.
        * config/i386/sol2-unwind.h: New file.

2009-10-11  H.J. Lu  <hongjiu.lu@intel.com>

        PR target/41665
        * config/i386/i386.md (addsi_1_zext): Get the proper second
        operand for lea.

2009-10-11  Richard Sandiford  <rdsandiford@googlemail.com>

        * simplify-rtx.c (simplify_replace_rtx): Use rtx_equal_p for
        all OLD_RTXes, not just REGs.  Use copy_rtx to create the
        replacement value.

2009-10-11  Richard Guenther  <rguenther@suse.de>

        * gimple.c (iterative_hash_type_name): Do not handle special
        anonymous names.

2009-10-11  Uros Bizjak  <ubizjak@gmail.com>

        * config/i386/i386.md (*setcc_di_1): New insn_and_split pattern.
        (*setcc_si_1_and): Ditto.
        (*setcc_si_1_movzbl): Ditto.
        (*setcc_<mode>_2): Ditto.
        (*setcc_qi): Rename from *setcc_1.
        (*setcc_qi_slp): Rename from *setcc_2.

        (*zero_extendqihi2_movzbw_and splitter): Use ix86_expand_clear.
        (*zero_extendqisi2_movzbw_and splitter): Ditto.

        * config/i386/i386.c (ix86_expand_clear): Remove reload_completed from
        "if" condition, there is already assert with reload_completed present.

2009-10-11  Gerald Pfeifer  <gerald@pfeifer.com>

        * plugin.c (try_init_one_plugin): Improve constness of variable err.

2009-10-10  Gerald Pfeifer  <gerald@pfeifer.com>

        * doc/install.texi (Final install): Refer to
        http://gcc.gnu.org/bugs/ for bug reporting.

2009-10-10  Peter Bergner  <bergner@vnet.ibm.com>

        * configure.ac: Add test for dci instruction.
        * configure: Regenerate.
        * config.in: Likewise.
        * config.gcc: Handle --with-cpu=476 and --with-cpu=476fp.
        * doc/invoke.texi: Add cpu_type 476 and 476fp.
        (-mmulhw): Add 476 to description.
        (-mdlmzb): Likewise.
        * config/rs6000/t-fprules (MULTILIB_MATCHES_FLOAT): Include -mcpu=476.
        * config/rs6000/rs6000.c (processor_costs): Add ppc476_cost.
        (processor_target_table): Add 476 and 476fp entries.
        (rs6000_override_options): Use ppc476_cost for PROCESSOR_PPC476.
        (rs6000_issue_rate): Add CPU_PPC476.
        * config/rs6000/rs6000.h (ASM_CPU_476_SPEC): Define.
        (ASM_CPU_SPEC): Pass %(asm_cpu_476) for -mcpu=476 and -mcpu=476fp.
        (processor_type): Add PROCESSOR_PPC476.
        (EXTRA_SPECS): Add asm_cpu_476 string.
        * config/rs6000/rs6000.md (define_attr "type"): Add isel attribute.
        (define_attr "cpu"): Add ppc476.
        Include 476.md.
        Update comments for 476.
        (isel_signed, isel_unsigned): Change to use "isel" type attribute.
        * config/rs6000/vxworks.h (CPP_SPEC): Handle 464 and 476.
        Update copyright year.
        * config/rs6000/476.md: New file.
        * config/rs6000/40x.md: Add description for "isel" attribute.
        Update copyright year.
        * config/rs6000/440.md: Likewise.
        * config/rs6000/603.md: Likewise.
        * config/rs6000/6xx.md: Likewise.
        * config/rs6000/7450.md: Likewise.
        * config/rs6000/7xx.md: Likewise.
        * config/rs6000/8540.md: Likewise.
        * config/rs6000/cell.md: Likewise.
        * config/rs6000/e300c2c3.md: Likewise.
        * config/rs6000/e500mc.md: Likewise.
        * config/rs6000/mpc.md: Likewise.
        * config/rs6000/power4.md: Likewise.
        * config/rs6000/power5.md: Likewise.
        * config/rs6000/power6.md: Likewise.
        * config/rs6000/power7.md: Likewise.
        * config/rs6000/rios1.md: Likewise.
        * config/rs6000/rios2.md: Likewise.
        * config/rs6000/rs64.md: Likewise.

2009-10-10  Richard Guenther  <rguenther@suse.de>

        PR tree-optimization/41654
        * tree-ssa-ifcombine.c (ifcombine_ifandif): Properly canonicalize
        a cond expr before calling gimple_cond_set_condition_from_tree.
        (ifcombine_iforif): Likewise.

2009-10-09  Ian Lance Taylor  <iant@google.com>

        * configure.ac: Use AC_SEARCH_LIBS to find dlopen.
        * configure: Rebuild.

2009-10-09  Neil Vachharajani <nvachhar@google.com>

        * doc/cpp.texi (Other Directives): Do not list #ident and #sccs as
        deprecated.

2009-10-09  Richard Guenther  <rguenther@suse.de>

        PR lto/41638
        * target-def.h (TARGET_BUILTIN_DECL): Define.
        (TARGET_INITIALIZER): Add TARGET_BUILTIN_DECL.
        * target.h (struct gcc_target): Add builtin_decl target hook.
        * doc/tm.texi (TARGET_BUILTIN_DECL): Document.
        * lto-streamer-in.c (lto_get_builtin_tree): Fix handling of
        target builtins.
        * lto-streamer-out.c (lto_output_tree_pointers): Use sorry,
        not gcc_unreachable.
        (lto_output_builtin_tree): Sorry if the target does not support
        streaming target builtins.
        * config/rs6000/rs6000.c (TARGET_BUILTIN_DECL): Define.
        (rs6000_builtin_decl): New function.
        * config/i386/i386.c (TARGET_BUILTIN_DECL): Define.
        (ix86_builtin_decl): New function.

2009-10-09  Jakub Jelinek  <jakub@redhat.com>

        PR preprocessor/41445
        * c-ppoutput.c (do_line_change): New function.
        (cb_line_change): Use it.
        (scan_translation_unit): Call do_line_change if
        avoid_paste or PREV_WHITE and token location is on a different line
        than print.src_line.

        PR debug/40521
        * dwarf2out.c (dwarf2out_init): Test whether
        HAVE_GAS_CFI_SECTIONS_DIRECTIVE is non-zero instead of checking
        it is defined.

        PR rtl-optimization/41646
        * calls.c (expand_call): For BLKmode types returned in registers
        avoid likely spilled hard regs in copy_blkmode_from_reg generated
        insns.

2009-10-09  Richard Guenther  <rguenther@suse.de>

        PR tree-optimization/41634
        * tree-ssa-dom.c (remove_local_expressions_from_table): Assert
        we remove the correct elements.
        (optimize_stmt): Make sure to update stmt operands before
        optimizing redundancies.

2009-10-09  Andreas Krebbel  <Andreas.Krebbel@de.ibm.com>

        * config/s390/s390.md ("prefetch"): Remove stcmh for prefetching.

2009-10-09  Richard Guenther  <rguenther@suse.de>

        PR driver/41637
        * lto-wrapper.c (ltrans_output_file, flto_out, args_name): New
        globals.
        (lto_wrapper_exit): New function.
        (fatal): Use it.
        (fatal_perror): Likewise.
        (fork_execute): Use global args_name, do not free it.
        (run_gcc): Use global ltrans_output_file, flto_out, do not free them.
        * lto-streamer.h: Remove duplicate prototypes.

2009-10-09  Richard Guenther  <rguenther@suse.de>

        * cgraph.c (cgraph_create_edge): Check for NULL call_stmt
        before calling stmt_can_throw_external.

2009-10-09  Eric Botcazou  <ebotcazou@adacore.com>

        PR tree-optimization/40071
        * tree-vect-data-refs.c (vect_create_data_ref_ptr): Build a ref-all
        pointer if the original data reference doesn't conflict with the
        created vector data reference.  Fix long line.

2009-10-09  Uros Bizjak  <ubizjak@gmail.com>

        * config/i386/i386.md (any_div): New code iterator.
        (u): Handle div and udiv.
        (sgnprefix): Ditto.
        (<u>divqi3): Macroize insn from {,u}divqi3  using any_div
        code iterator.
        (lfloor<MODEF:mode><SWI48:mode>2): Macroize insn from
        lfloor<mode>{si,di}2 patterns using SWI48 mode iterator.
        (lceil<MODEF:mode><SWI48:mode>2): Macroize insn from
        lceil<mode>{si,di}2 patterns using SWI48 mode iterator.

2009-10-08  Joseph Myers  <joseph@codesourcery.com>

        * gcc.c (main): Remove trailing "." from diagnostics.

2009-10-08  Cary Coutant  <ccoutant@google.com>

        Add support for debugging with ICF (Identical Code Folding).
        * calls.c (debug.h): New #include.
        (emit_call_1): Call virtual_call_token debug hook.
        * common.opt (-fenable-icf-debug): New option.
        * dwarf2out.c (dwarf2_debug_hooks): Add entries for new hooks (two
        locations in the source).
        (poc_label_num): New variable.
        (dcall_entry, vcall_entry): New typedefs.
        (dcall_table, vcall_table): New variables.
        (struct vcall_insn): New type.
        (vcall_insn_table): New variable.
        (DEBUG_DCALL_SECTION, DEBUG_VCALL_SECTION): New macros.
        (size_of_dcall_table): New function.
        (output_dcall_table): New function.
        (size_of_vcall_table): New function.
        (output_vcall_table): New function.
        (dwarf2out_direct_call): New function.
        (vcall_insn_table_hash): New function.
        (vcall_insn_table_eq): New function.
        (dwarf2out_virtual_call_token): New function.
        (dwarf2out_virtual_call): New function.
        (dwarf2out_init): Allocate new tables and sections.
        (prune_unused_types): Mark DIEs referenced from direct call table.
        (dwarf2out_finish): Output direct and virtual call tables.
        * final.c (final_scan_insn): Call direct_call and virtual_call
        debug hooks.
        * debug.h (struct gcc_debug_hooks): Add direct_call,
        virtual_call_token, virtual_call hooks.
        (debug_nothing_uid): New function.
        * debug.c (do_nothing_debug_hooks): Add dummy entries for new hooks.
        (debug_nothing_uid): New function.
        * dbxout.c (dbx_debug_hooks): Add dummy entries for new hooks.
        (xcoff_debug_hooks): Likewise.
        * sdbout.c (sdb_debug_hooks): Likewise.
        * vmsdbgout.c (vmsdbg_debug_hooks): Likewise.
        * doc/invoke.texi (-fenable-icf-debug): New option.

2009-10-08  Alexandre Oliva  <aoliva@redhat.com>

        PR debug/41353
        * regmove.c (regmove_backward_pass): Replace src with dst in the
        debug insn, and check for dst before rather than after.

2009-10-08  Janis Johnson <janis187@us.ibm.com>

        * config/rs6000/rs6000.c (rs6000_delegitimize_address): Remove.
        (TARGET_DELEGITIMIZE_ADDRESS): Likewise.

2009-10-08  Jan Hubicka  <jh@suse.cz>

        PR middle-end/41626
        * cgraphbuild.c (record_reference): When parameter DATA is NULL,
        do not mark cgraph nodes as needed.
        (record_references_in_initializer): Add new only_vars parameter.
        * cgraph.h (record_references_in_initializer): New parameter.
        * varasm.c (assemble_variable): Update call.
        * varpool.c (varpool_analyze_pending_decls): Always look for
        referenced vars.

2009-10-08  Anatoly Sokolov  <aesok@post.ru>

        * config/avr/avr.c (last_insn_address) Remove variable.
        (expand_prologue): Don't initialise last_insn_address variable.
        (final_prescan_insn): Don't output insn size.
        * config/avr/avr.opt (msize): Remove switch.
        * doc/invoke.texi (AVR Options): Remove documentation of -msize
        switch.

2009-10-08  Adam Nemet  <anemet@caviumnetworks.com>

        * combine.c (label_tick_ebb_start): Fix comment.
        (combine_instructions): Set label_tick and label_tick_ebb_start before
        calling setup_incoming_promotions.  Start them from 1.  Increment
        label_tick instead of deriving it from the BB index.  Rather than
        comparing ticks use the block from the previous iteration to decide
        whether to start a new EBB.  Remove empty lines before function.

2009-10-08  Michael Matz  <matz@suse.de>

        PR middle-end/41573
        * builtins.c (fold_builtin_isascii): Use fold_build2.
        (fold_builtin_isdigit): Ditto.
        * except.c (duplicate_eh_regions_1): Tolerate NULL labels.
        * tree-cfg.c (struct rus_data, remove_useless_stmts_warn_notreached,
        remove_useless_stmts_cond, remove_useless_stmts_tf,
        remove_useless_stmts_tc, remove_useless_stmts_bind,
        remove_useless_stmts_goto, remove_useless_stmts_label,
        remove_useless_stmts_1, remove_useless_stmts,
        pass_remove_useless_stmts): Remove.
        * tree-pass.h (pass_remove_useless_stmts): Don't declare.
        * passes.c (init_optimization_passes): Don't add
        pass_remove_useless_stmts.
        * tree-eh.c (lower_eh_constructs_2): Handle empty cleanups.
        * tree.c (free_lang_data_in_decl): Don't clear DECL_INITIAL of
        static constants.
        * lto-symtab.c (lto_symtab_register_decl): Accepts DECL_INITIAL
        for static constants.
        * lto-streamer-out.c (output_gimple_stmt): Handle GIMPLE_NOP.
        * lto-streamer-in.c (input_gimple_stmt): Handle GIMPLE_NOP.

2009-10-08  Richard Guenther  <rguenther@suse.de>

        * gimple.c (free_gimple_type_tables): New function.
        * gimple.h (free_gimple_type_tables): Declare.

2009-10-07  Mark Heffernan  <meheff@google.com>

        * ipa-prop.c (ipa_print_node_params) Only print
        names of named arguments.

2009-10-08  Rafael Avila de Espindola  <espindola@google.com>

        * gcc.c (LINK_COMMAND_SPEC): Pass libc with -pass-through if it is
        being statically linked.

2009-10-08  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>

        * collect2.c (add_lto_object): Only define if OBJECT_FORMAT_NONE.

2009-10-08  Jan Hubicka  <jh@suse.cz>

        PR bootstrap/41620
        * ipa.c (cgraph_externally_visible_p,
        function_and_variable_visibility,
        whole_program_function_and_variable_visibility): Skip non-finalized
        nodes.

2009-10-08  Nick Clifton  <nickc@redhat.com>

        * config/mn10300/mn10300.h (CONSTANT_ADDRESS_P): Do not allow
        CONST_DOUBLEs.

2009-10-08  Andreas Tobler  <a.tobler@schweiz.org>

        PR bootstrap/37739
        * config.host: Use config/x-cflags-O1 for powerpc FreeBSD.

2009-10-07  Joseph Myers  <joseph@codesourcery.com>

        PR c/41182
        * c-common.c (c_fully_fold_internal): Strip nops from the result
        of recursive calls to c_fully_fold_internal.
        (c_wrap_maybe_const): New.
        (c_save_expr): Use c_wrap_maybe_const.
        * c-common.h (c_wrap_maybe_const): Declare.
        * c-typeck.c (build_conditional_expr, c_finish_stmt_expr,
        build_binary_op): Use c_wrap_maybe_const.

2009-10-07  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>

        * real.c: Fix comment to reflect actual exponent size.

2009-10-08  Ben Elliston  <bje@au.ibm.com>

        * config/rs6000/a2.md: Add FSF comment header.

2009-10-07  Uros Bizjak  <ubizjak@gmail.com>

        * config/i386/i386.md (any_extend): New code iterator.
        (u, s): New code attributes.
        (sgnprefix): Ditto.
        (DWIH): Rewrite as code iterator for SI and DI modes.
        (DWI): Rewrite as mode attribute.
        (dwi): New mode attribute.
        (di): Depend on SI mode and DI mode.
        (doubleint_general_operand): Remove mode attribute.

        (*lea_1): Macroize insn from *lea_1_rex64 and *lea_1 patterns using
        DWIH mode iterator.

        (*add<mode>3_doubleword): Use DWIH as the base mode iterator.
        (*sub<mode>3_doubleword): Ditto.

        (mul<mode>3): Macroize expander from mul{hi,si,di}3 patterns
        using SWIM248 mode iterator.
        (*mul<mode>3_1): Macroize insn from mul{si,di}3_1 patterns
        using SWI48 mode iterator.
        (<u>mul<mode><dwi>3): Macroize expander from {,u}mul{sidi,diti}3
        patterns using DWIH mode iterator and any_extend code iterator.
        (<u>mulqihi3): Macroize expander from {,u}mulqihi3 patterns
        using any_extend code iterator.
        (*<u>mul<mode><dwi>3_1): Macroize insn from {,u}mul{sidi,diti}3_1
        patterns using DWIH mode iterator and any_extend code iterator.
        (*<u>mulqihi3_1): Macroize insn from {,u}mulqihi3_1 patterns
        using any_extend code iterator.
        (<s>mul<mode>3_highpart): Macroize expander from
        {s,u}mul{si,di}3_highpart patterns using DWIH mode iterator
        and any_extend code iterator.
        (*<s>muldi3_highpart_1): Macroize insn from
        *{s,u}muldi3_highpart_rex64 patterns using any_extend code iterator.
        (*<s>mulsi3_highpart_1): Macroize insn from *{s,u}mulsi3_highpart_1
        patterns using any_extend code iterator.
        (*<s>mulsi3_highpart_zext): Macroize insn from
        *{s,u}mulsi3_highpart_zext patterns using any_extend code iterator.

2009-10-07  Jakub Jelinek  <jakub@redhat.com>

        * dwarf2out.c (tree_add_const_value_attribute_for_decl): Don't add
        DW_AT_const_value if VAR_DIE already has DW_AT_abstract_origin
        refering to a DIE with DW_AT_const_value.

2009-10-07  Vladimir Makarov  <vmakarov@redhat.com>

        PR middle-end/22072
        * ira-lives.c (check_and_make_def_conflict): Process all operands.

2009-10-06  Jan Hubicka  <jh@suse.cz>

        * cgraph.c (cgraph_node_can_be_local): Handle externally visible nodes
        correctly.

2009-10-06  Uros Bizjak  <ubizjak@gmail.com>

        * config/i386/i386.md (*lea_1_rex64, *lea_1, *lea_1_zext,
        *lea_2_rex64): Move before *add<mode>_1 pattern.

2009-10-07  Jan Hubicka  <jh@suse.cz>

        * collect2.c (main): Add -fno-whole-program.
        * gcc.c (set_collect_gcc_options): Do not remove whole program here.

2009-10-07  Jan Hubicka  <jh@suse.cz>

        * lto-symtab.c (lto_cgraph_replace_node): Assert that inline clones
        has no address taken.
        * cgraph.c (cgraph_mark_needed_node): Assert that inline clones are
        never needed.
        (cgraph_clone_node): Clear externally_visible flag for clones.
        * cgraph.h (cgraph_only_called_directly_p,
        cgraph_can_remove_if_no_direct_calls_p): New predicates.
        * tree-pass.h (pass_ipa_whole_program_visibility): Declare.
        * ipa-cp.c (ipcp_cloning_candidate_p): Use new predicate.
        (ipcp_initialize_node_lattices, ipcp_estimate_growth,
        ipcp_insert_stage): Likwise.
        * cgraphunit.c (cgraph_decide_is_function_needed): Do not compute
        externally_visible flag.
        (verify_cgraph_node): Verify that inline clones look right.
        (process_function_and_variable_attributes): Do not set
        externally_visible flags.
        (ipa_passes): Avoid executing small_ipa_passes at LTO stage; they've
        been already run.
        * lto-cgraph.c (lto_output_node): Assert that inline clones are not
        boundaries.
        * ipa-inline.c (cgraph_clone_inlined_nodes): Use new predicates;
        clear externally_visible when turning into inline clones
        (cgraph_mark_inline_edge): Use new predicates.
        (cgraph_estimate_growth): Likewise.
        (cgraph_decide_inlining): Likewise.
        * ipa.c (cgraph_postorder): Likewise.
        (cgraph_remove_unreachable_nodes): Likewise; sanity check
        that inline clones are not needed.
        (cgraph_externally_visible_p): New predicate.
        (function_and_variable_visibility): Add whole_program parameter;
        always set externally_visible flag; handle COMDAT function
        privatization.
        (local_function_and_variable_visibility): New function.
        (gate_whole_program_function_and_variable_visibility): New function.
        (whole_program_function_and_variable_visibility): New function.
        (pass_ipa_whole_program_visibility): New function.
        * passes.c  (init_optimization_passes): Add whole program visibility
        pass.
        (do_per_function_toporder, function_called_by_processed_nodes_p): Do
        not care about needed/reachable flags.
        * varpool.c: Include flags.h
        (decide_is_variable_needed): When doing LTO assume whole-program mode.
        (varpool_finalize_decl): When we are in LTO read-back, all variables
        are analyzed.
        (varpool_analyze_pending_decls): Skip analyzis of analyzed vars.

2009-10-07  Andreas Krebbel  <Andreas.Krebbel@de.ibm.com>

        * config/s390/tpf.h (TARGET_DEFAULT): Remove MASK_HARD_FLOAT and
        add MASK_HARD_DFP.

2009-10-07  Andreas Krebbel  <Andreas.Krebbel@de.ibm.com>

        * config.gcc: Don't include the makefile fragments intended for
        libgcc.
        * config/s390/fixdfdi.h: File removed.
        * config/s390/libgcc-glibc.ver: File removed.
        * config/s390/s390.h: Remove the fixdfdi.h hack.
        * config/s390/t-crtstuff: File moved to libgcc dir.
        * config/s390/t-linux: Likewise.
        * config/s390/t-tpf: libgcc specific parts removed.
        * config/s390/t-linux64: Likewise.

2009-10-06  Jerry Quinn  <jlquinn@optonline.net>

        * Makefile.in (lto-wrapper): Use COMPILER and ALL_COMPILERFLAGS.
        (lto-compress.o): Likewise.

2009-10-07  Danny Smith  <dannysmith@users.sourceforge.net>

        PR target/41512
        * config/i386/winnt.c (i386_pe_determine_dllexport_p): Don't propagate
        dllexport to class members here.
        (i386_pe_determine_dllimport_p): Only check static class data for
        definition.
        (i386_pe_encode_section_info): Don't recheck DECL_DLLIMPORT_P.
        * config/i386/winnt-cxx.c (i386_pe_type_dllimport_p): Only check
        functions for vague linkage.
        (i386_pe_type_dllexport_p): Fix formatting.
        (maybe_add_dllexport) New function.
        (i386_pe_adjust_class_at_definition): Use it to propagate dllexport
        to class members.

2009-10-07  Ben Elliston  <bje@au.ibm.com>

        * config/rs6000/a2.md: Remove duplicated lines.

2009-10-07  Ben Elliston  <bje@au.ibm.com>

        * config.gcc (powerpc*-*-*): Handle a2.
        * config/rs6000/rs6000.md (cpu): Add ppca2.  Include "a2.md".
        * config/rs6000/a2.md: New file.
        * config/rs6000/rs6000.opt (mno-update): New.
        (mupdate): Return to using a mask, not a var.
        * config/rs6000/rs6000.h (ASM_CPU_SPEC): Add support for a2.
        (enum processor_type): Add PROCESSOR_PPCA2.
        * config/rs6000/rs6000.c (ppca2_cost): New costs.
        (rs6000_override_options): Add "a2" to processor_target_table.
        Update rs6000_always_hint logic.  Correctly set rs6000_cost for a2.
        * doc/invoke.texi (RS/6000 and PowerPC Options): Document -mcpu=a2.

2009-10-06  Uros Bizjak  <ubizjak@gmail.com>

        * config/i386/i386.md (float<SSEMODEI24:mode><X87MODEF:mode>2):
        Use explicit gen_truncxfsf2 and gen_truncxfdf2 references to avoid
        reference to nonexistent gen_truncxfxf2 function.

2009-10-06  Uros Bizjak  <ubizjak@gmail.com>

        * config/i386/i386.md (SWI48, SDWIM, DWI): New mode iterators.
        (DWIH, g, di, doubleint_general_operand): New mode attributes.
        (general_operand): Handle TI mode.
        (add<mode>3): Macroize expander from add{qi,hi,si,di,ti}3 patterns
        using SDWIM mode iterator.
        (*add<mode>3_doubleword): New insn_and_split pattern.  Macroize
        pattern from *add{di,ti}3_1 patterns and corresponding splitters
        using DWI mode iterator.
        (add<mode>3_carry): Macroize insn from add{qi,hi,si,di}3_carry
        patterns using SWI mode iterator.
        (*add<mode>3_cc): Macroize insn from add{si,di}3_cc patterns
        using SWI48 mode iterator.
        (*add<mode>_1): Ditto from add{si,di}_1 patterns.
        (*add<mode>_2): Ditto from add{si,di}_2 patterns.
        (*add<mode>_3): Ditto from add{si,di}_3 patterns.
        (*add<mode>_5): Ditto from add{si,di}_5 patterns.
        (sub<mode>3): Macroize expander from sub{qi,hi,si,di,ti}3 patterns
        using SDWIM mode iterator.
        (*sub<mode>3_doubleword): New insn_and_split pattern.  Macroize
        pattern from *sub{di,ti}3_1 patterns and corresponding splitters
        using DWI mode iterator.
        (sub<mode>3_carry): Macroize insn from sub{qi,hi,si,di}3_carry
        patterns using SWI mode iterator.
        (*sub<mode>_1): Ditto from from sub{qi,hi,si,di}_1 patterns.
        (*sub<mode>_2): Ditto from sub{qi,hi,si,di}_2 patterns.
        (*sub<mode>_3): Ditto from sub{qi,hi,si,di}_3 patterns.
        (<plusminus_insn>xf3): Macroize expander from addxf3 and subxf3
        patterns using plusminus code iterator.
        (<plusminus_insn><mode>3): Macroize expander from add<mode>3 and
        sub<mode>3 patterns using plusminus code iterator.
        * config/i386/i386.c (override_options): Update the call to
        gen_subdi_carry_rex64 for renamed function.
        (ix86_expand_int_addcc): Update calls to gen_subdi3_carry_rex64
        and gen_adddi3_carry_rex64 for renamed functions.  Use indirect
        calls to instruction expanders.

2009-10-06  Martin Jambor  <mjambor@suse.cz>

        PR bootstrap/41395
        * opts.c (decode_options): Run IPA-SRA at -O2.

2009-10-06  Richard Guenther  <rguenther@suse.de>

        * lto-symtab.c (lto_symtab_entry_hash): Hash strings, not pointers.

2009-10-06  Tobias Burnus  <burnus@net-b.de>

        PR lto/41591
        * doc/invoke.texi (-flto,-fwhole-program): Make clear that the
        -flto and -fwhole-program flags can be combined.

2009-10-06  Ryan Mansfield  <rmansfield@qnx.com>

        PR driver/41217
        * gcc.c (process_command): Check that -o argument was specified.

2009-10-06  Jerry Quinn  <jlquinn@optonline.net>

        * gimple.c (gimple_type_hash): Use CONST_CAST_TREE to fix compilation.

2009-10-05  Ralf Wildenhues  <Ralf.Wildenhues@gmx.de>

        * c.opt (Wjump-misses-init): Fix typo to enable for ObjC.
        * doc/invoke.texi (Warning Options): Annotate allowed languages
        for -Wunsuffixed-float-constants.

2009-10-05  Jakub Jelinek  <jakub@redhat.com>

        * dwarf2out.c (modified_type_die): Don't add DW_AT_name to
        DW_TAG_{const,volatile}_type if its DW_AT_type already has the
        same name and isn't the main variant.

        PR debug/41558
        * dwarf2out.c (loc_by_reference): Removed.
        (dw_loc_list_1): New function.
        (dw_loc_list): Remove toplev argument, add want_address argument.
        Don't look at decl_by_reference_p at all.  Use dw_loc_list_1.
        (loc_list_from_tree) <case VAR_DECL>: Pass want_address rather than
        want_address == 2 to dw_loc_list.  For successful dw_loc_list
        set have_address to 1 only if want_address is not 0.

2009-10-05  Richard Sandiford  <rdsandiford@googlemail.com>

        * config/mips/mips-protos.h (mips_trampoline_code_size): Declare.
        * config/mips/mips.h (TRAMPOLINE_SIZE): Redefine as the size of
        a code block followed by two pointers.
        (TRAMPOLINE_ALIGNMENT): Define to 64 for 32-bit targets too.
        * config/mips/mips.c (MIPS_LOAD_PTR): New macro.
        (MIPS_MOVE): Likewise.
        (MIPS_LUI): Likewise.
        (MIPS_JR): Likewise.
        (MIPS_BAL): Likewise.
        (MIPS_NOP): Likewise.
        (mips_asm_trampoline_template): Delete.
        (mips_trampoline_code_size): New function.
        (mips_trampoline_init): Add shorter sequences for all cases
        except Pmode == DImoe && !TARGET_USE_PIC_FN_ADDR_REG.
        Calculate the opcodes directly, rather than copying from a template.
        Only flush the code part of the trampoline.
        (TARGET_ASM_TRAMPOLINE_TEMPLATE): Delete.

2009-10-05  Richard Sandiford  <rdsandiford@googlemail.com>

        * config/mips/mips.h (DWARF_FRAME_RETURN_COLUMN): Replace
        GP_REG_FIRST + 31 with RETURN_ADDR_REGNUM.
        (INCOMING_RETURN_ADDR_RTX): Likewise.
        (FUNCTION_PROFILER): Likewise.  Replace GP_REG_FIRST + 1
        with AT_REGNUM.
        * config/mips/sdemtk.h (FUNCTION_PROFILER): Replace GP_REG_FIRST + 31
        with RETURN_ADDR_REGNUM.
        (MIPS_SAVE_REG_FOR_PROFILING_P): Likewise.
        * config/mips/mips.c (mips16_build_call_stub): Replace
        GP_REG_FIRST + 31 with RETURN_ADDR_REGNUM, GP_REG_FIRST + 1
        with AT_REGNUM and 31 with RETURN_ADDR_REGNUM.
        (mips_print_operand_punctuation): Likewise.
        (mips_frame_set): Likewise.
        (mips16e_output_save_restore): Likewise.
        (mips_cfun_might_clobber_call_saved_reg_p): Likewise.
        (mips_save_reg_p): Likewise.
        (mips_return_addr): Likewise.
        (mips_set_return_address): Likewise.
        (mips_direct_save_slot_move_p): Likewise.
        (mips_output_function_prologue): Likewise.
        (mips_restore_reg): Likewise.
        (mips_expand_epilogue): Likewise.
        (mips_epilogue_uses): Likewise.
        * config/mips/mips.md (RETURN_ADD_REGNUM): Define.
        (*mov<mode>_ra): Use it instead of a hard-coded 31.
        (clear_hazard_<mode>): Likewise.
        (call_internal): Likewise.
        (call_internal_direct): Likewise.
        (call_direct_split): Likewise.
        (call_value_internal): Likewise.
        (call_value_split): Likewise.
        (call_value_internal_direct): Likewise.
        (call_value_direct_split): Likewise.
        (call_value_multiple_internal): Likewise.
        (call_value_multiple_split): Likewise.

2009-10-05  Eric Botcazou  <ebotcazou@adacore.com>
            Jakub Jelinek  <jakub@redhat.com>

        PR rtl-optimization/41511
        * combine.c (record_value_for_reg): Pass explicit values as argument
        to get_last_value_validate.
        (get_last_value_validate): Document INSN parameter.
        For non-readonly MEMs, assume they might have been modified if INSN
        was in another basic block.
        (get_last_value): Minor reformatting.

2009-10-05  Andrew Pinski  <andrew_pinski@playstation.sony.com>

        PR tree-opt/40992
        * final.c (asm_str_count): Split out from asm_insn_count.
        * rtl.h (asm_str_count): New prototype.
        * tree-inline (estimate_num_insns) <case GIMPLE_ASM>: Call
        asm_str_count.

2009-10-05  Sriraman Tallam  <tmsriram@google.com>

        * doc/plugins.texi: Change plugin_pass to register_pass_info.

2009-10-05  Basile Starynkevitch  <basile@starynkevitch.net>
            Rafael Espindola  <espindola@google.com>

        * gengtype.c (write_types): Moved call to write_func_for_structure
        into seperate loops.

2009-10-05  Richard Guenther  <rguenther@suse.de>

        PR lto/41281
        * lto-cgraph.c (output_cgraph): Output toplevel asms.
        (input_cgraph_1): Input toplevel asms.

2009-10-05  Richard Guenther  <rguenther@suse.de>

        PR lto/40902
        * lto-symtab.c (lto_compatible_attributes_p): Remove.
        (external_aggregate_decl_p): Likewise.
        (lto_symtab_compatible): Re-structure.  Remove dead code.
        For variables ignore toplevel qualifiers when comparing types.
        Issue warnings, not errors for mismatched user-alignment.

2009-10-05  Richard Guenther  <rguenther@suse.de>

        PR lto/41552
        PR lto/41487
        * lto-symtab.c (struct lto_symtab_base_def): Remove.
        (struct lto_symtab_identifier_def): Likewise.
        (struct lto_symtab_decl_def): Likewise.
        (struct lto_symtab_entry_def): New.
        (lto_symtab_identifier_t): Rename to ...
        (lto_symtab_entry_t): ... this.
        (lto_symtab_decls): Remove.
        (lto_symtab_base_hash): Rename to ...
        (lto_symtab_entry_hash): ... this.
        (lto_symtab_base_eq): Rename to ...
        (lto_symtab_entry_eq): ... this.
        (lto_symtab_base_marked_p): Rename to ...
        (lto_symtab_entry_marked_p): ... this.
        (lto_symtab_identifier_marked_p): Remove.
        (lto_symtab_decl_marked_p): Likewise.
        (lto_symtab_maybe_init_hash_tables): Rename to ...
        (lto_symtab_maybe_init_hash_table): ... this.
        (lto_symtab_set_resolution_and_file_data): Remove.
        (lto_symtab_register_decl): New function.
        (lto_symtab_get_identifier): Remove.
        (lto_symtab_get): New function.
        (lto_symtab_get_resolution): Adjust.
        (lto_symtab_get_identifier_decl): Remove.
        (lto_symtab_set_identifier_decl): Likewise.
        (lto_symtab_merge_decl): Rename to ...
        (lto_symtab_merge): ... this.  Rewrite.
        (lto_symtab_merge_var): Remove.
        (lto_symtab_merge_fn): Likewise.
        (lto_symtab_prevailing_decl): Adjust.
        (lto_cgraph_replace_node): New function.
        (lto_symtab_merge_decls_2): Likewise.
        (lto_symtab_merge_decls_1): Likewise.
        (lto_symtab_fixup_var_decls): Likewise.
        (lto_symtab_resolve_symbols): Likewise.
        (lto_symtab_merge_decls): Likewise.
        (lto_symtab_prevailing_decl): Adjust.
        (lto_symtab_get_symtab_def): Remove.
        (lto_symtab_get_file_data): Likewise.
        (lto_symtab_clear_resolution): Adjust.
        (lto_symtab_clear_resolution): Likewise.
        * lto-cgraph.c (input_edge): Do not merge cgraph nodes here.
        (input_cgraph_1): Likewise.
        * lto-streamer-in.c (get_resolution): Do not provide fake
        symbol resolutions here.
        (deferred_global_decls): Remove.
        (lto_register_deferred_decls_in_symtab): Likewise.
        (lto_register_var_decl_in_symtab): Change signature, register
        variable via lto_symtab_register_decl.
        (lto_register_function_decl_in_symtab): Likewise.
        (lto_read_tree): Adjust.
        * lto-streamer.h (lto_register_deferred_decls_in_symtab): Remove.
        (lto_symtab_merge_var): Likewise.
        (lto_symtab_merge_fn): Likewise.
        (lto_symtab_register_decl): Declare.
        (lto_symtab_merge_decls): Likewise.

2009-10-05  Richard Guenther  <rguenther@suse.de>

        PR tree-optimization/23821
        * tree-vrp.c (vrp_finalize): Do not perform copy propagation.
        * tree-ssa-dom.c (cprop_operand): Do not propagate copies into
        simple IV increments.

2009-10-05  Ramana Radhakrishnan  <ramana.radhakrishnan@arm.com>

        * config/arm/arm.c (arm_override_options): Really initialize
        flag_dwarf2_cfi_asm to 0.

2009-10-05  Doug Kwan  <dougkwan@google.com>

        PR rtl-optimization/41574
        * combine.c (distribute_and_simplify_rtx): Quit if RTX mode is
        floating point and we are not doing unsafe math optimizations.

2009-10-03  Simon Baldwin  <simonb@google.com>
            Cary Coutant  <ccoutant@google.com>
            Rafael Espindola  <espindola@google.com>
            Richard Guenther  <rguenther@suse.de>
            Jan Hubicka  <jh@suse.cz>
            Doug Kwan <dougkwan@google.com>
            H.J. Lu  <hongjiu.lu@intel.com>
            Bill Maddox  <maddox@google.com>
            Ryan Mansfield  <rmansfield@qnx.com>
            Diego Novillo  <dnovillo@google.com>
            Ollie Wild  <aaw@google.com>
            Kenneth Zadeck <zadeck@naturalbridge.com>

        * lto-cgraph.c: New file.
        * lto-compress.c: New file.
        * lto-compress.h: New file.
        * lto-opts.c: New file.
        * lto-section-in.c: New file.
        * lto-section-out.c: New file.
        * lto-streamer-in.c: New file.
        * lto-streamer-out.c: New file.
        * lto-streamer.c: New file.
        * lto-streamer.h: New file.
        * lto-symtab.c: New file.
        * lto-wpa-fixup.c: New file.
        * lto-wrapper.c: New file.

2009-10-03  Simon Baldwin  <baldwin@google.com>
            Ben Elliston  <bje@au.ibm.com>
            Rafael Espindola  <espindola@google.com>
            Nathan Froyd  <froydnj@codesourcery.com>
            Jan Hubicka  <jh@suse.cz>
            Doug Kwan  <dougkwan@google.com>
            Diego Novillo  <dnovillo@google.com>
            Kenneth Zadeck  <zadeck@naturalbridge.com>

        * Makefile.in (enable_lto): New.
        (site.exp): If @enable_lto@ is set to 'yes' define ENABLE_LTO.
        (LINKER_PLUGIN_API_H): Define.
        (LTO_SYMTAB_H): Define.
        (LTO_STREAMER_H): Define.
        (TREE_VECTORIZER_H): Define.
        (INCLUDES): Add LIBELFINC.
        (OBJS-common): Add lto-cgraph.o, lto-streamer-in.o,
        lto-streamer-out.o, lto-section-in.o, lto-section-out.o, lto-symtab.o,
        lto-opts.o, lto-streamer.o, lto-wpa-fixup.o, lto-compress.o.
        (MOSTLYCLEANFILES): Add lto-wrapper$(exeext)
        (native): Add lto-wrapper$(exeext)
        (lto-compress.o, lto-cgraph.o, lto-streamer-in.o,
        lto-streamer-out.o, lto-section-in.o, lto-section-out.o,
        lto-symtab.o, lto-opts.o, lto-streamer.o, lto-wpa-fixup.o): New rules.
        (gimple.o): Add dependency on LTO_HEADER_H and LTO_SECTION_OUT_H.
        (varasm.o): Add dependency on tree-iterator.h.
        (cgraph.o): Add dependency on cif-code.def.
        (ipa-reference.o): Add dependency on LTO_STREAMER_H.
        (ipa-pure-const.o): Likewise.
        (GTFILES): Add lto-symtab.c.
        (install-lto-wrapper): New.
        * configure.ac: If 'lto' is in enable_languages, define ENABLE_LTO
        and enable_lto.  If LIBELFLIBS is set, define HAVE_libelf.
        * config.in: Regenerate.

2009-10-03  Rafael Espindola  <espindola@google.com>
            Diego Novillo  <dnovillo@google.com>

        * cgraphunit.c (ipa_passes): Prevent lto1 from calling
        ipa_write_summaries.
        Call execute_ipa_summary_passes for all_regular_ipa_passes and
        all_lto_gen_passes.
        (cgraph_optimize): Make extern.

2009-10-03  Nathan Froyd  <froydnj@codesourcery.com>
            Kenneth Zadeck <zadeck@naturalbridge.com>

        * toplev.c (in_lto_p): Declare.
        * collect2.c (scan_prog_file): Read all the output when reading
        information for LTO.
        (enum lto_mode_d): Declare.

2009-10-03  Richard Guenther  <rguenther@suse.de>
            Diego Novillo  <dnovillo@google.com>

        * gimple.c: Include target.h and alias.h.
        (gimple_types): Declare.
        (type_hash_cache): Declare.
        (gimple_alloc_stat): Make extern.
        (gimple_build_eh_must_not_throw): Call
        gimple_eh_must_not_throw_set_fndecl.
        (struct type_pair_d): Declare.
        (type_pair_t): Declare.
        (type_pair_hash): New.
        (type_pair_eq): New.
        (lookup_type_pair): New.
        (gimple_force_type_merge): New.
        (compare_type_names_p): New.
        (compare_field_offset): New.
        (gimple_types_compatible_p): New.
        (struct sccs): Declare.
        (next_dfs_num): Declare.
        (iterative_hash_gimple_type): New.
        (visit): New.
        (iterative_hash_type_name): New.
        (iterative_hash_gimple_type): New.
        (gimple_type_hash): New.
        (gimple_type_eq): New.
        (gimple_register_type): New.
        (print_gimple_types_stats): New.
        (gimple_signed_or_unsigned_type): New.
        (gimple_unsigned_type): New.
        (gimple_signed_type): New.
        (gimple_get_alias_set): New.
        (gimple_decl_printable_name): Do not use DMGL_TYPES.
        * gimple.h (gimple_alloc, gimple_alloc_stat): Declare.
        (gimple_force_type_merge): Declare.
        (gimple_types_compatible_p): Declare.
        (gimple_register_type): Declare.
        (print_gimple_types_stats): Declare.
        (gimple_unsigned_type): Declare.
        (gimple_signed_type): Declare.
        (gimple_get_alias_set): Declare.
        (gimple_eh_must_not_throw_set_fndecl): New.

2009-10-03  Jan Hubicka  <jh@suse.cz>
            Kenneth Zadeck <zadeck@naturalbridge.com>

        * ipa-pure-const.c: Include lto-streamer.h.
        (register_hooks): Factor out of ...
        (generate_summary): ... here.
        (pure_const_write_summary): New.
        (pure_const_read_summary): New.
        (pass_ipa_pure_const): Add pure_const_write_summary and
        pure_const_read_summary.
        * ipa-reference.c: Include lto-streamer.h.
        (add_new_function): New.
        (remove_node_data): New.
        (duplicate_node_data): New.
        (ipa_init): Guard against multiple calls.
        Move hook setup from analyze_function.
        (write_node_summary_p): New.
        (ipa_reference_write_summary): New.
        (ipa_reference_read_summary): New.
        (pass_ipa_reference): Add ipa_reference_write_summary and
        ipa_reference_read_summary.
        * cgraph.h (cgraph_local_info): Add field lto_file_data.
        (struct cgraph_edge): Add fields lto_stmt_uid and
        call_stmt_cannot_inline_p.
        (cgraph_optimize): Declare.
        (cgraph_decide_is_function_needed): Declare.
        (reset_inline_failed): Declare.
        (enum LTO_cgraph_tags): Declare.
        (LTO_cgraph_tag_names): Declare.
        (LCC_NOT_FOUND): Define.

2009-10-03  Doug Kwan  <dougkwan@google.com>
            Rafael Espindola  <espindola@google.com>
            Jan Hubicka  <jh@suse.cz>
            Diego Novillo  <dnovillo@google.com>
            Kenneth Zadeck  <zadeck@naturalbridge.com>

        * passes.c (all_regular_ipa_passes): New.
        (all_ipa_passes): Rename to all_small_ipa_passes.
        (init_optimization_passes): Init all_regular_ipa_passes.
        * tree-pass.h (all_regular_ipa_passes): New.
        (all_ipa_passes): Rename to all_small_ipa_passes.
        * passes.c (all_lto_gen_passes): New.
        (init_optimization_passes): Initialize all_lto_gen_passes.
        (execute_ipa_summary_passes): Make non-static.
        (ipa_write_summaries_1): New.
        (ipa_write_summaries_2): New.
        (ipa_write_summaries): New.
        (ipa_write_summaries_of_cgraph_node_set): New.
        (ipa_read_summaries_1): New.
        (ipa_read_summaries): New.
        (execute_ipa_pass_list): Call cgraph_process_new_functions.
        (execute_regular_ipa_pass_list): Remove.
        (init_optimization_passes): Schedule
        pass_rebuild_cgraph_edges and pass_early_inline outside
        of pass_all_early_optimizations.  Document reason.
        (pass_ipa_lto_gimple_out, pass_ipa_lto_wpa_fixup,
        pass_ipa_lto_finish_out): New pass.
        (pass_ipa_summary_passes): Start and stop timers if the pass has them.
        (execute_all_ipa_transforms): New.
        (execute_one_pass): Don't call execute_one_ipa_transform_pass.
        (dump_properties, debug_properties): New.
        * tree-optimize.c (gate_all_early_local_passes): Return
        false if we are in lto1.
        (tree_rest_of_compilation): Call execute_all_ipa_transforms.
        * tree-pass.h (execute_all_ipa_transforms): Declare.
        (pass_ipa_function_and_variable_visibility): Declare.
        (pass_ipa_early_inline): Declare.
        (pass_ipa_lto_gimple_out): Declare.
        (pass_ipa_lto_wpa_fixup): Declare.
        (pass_ipa_lto_finish_out): Declare.
        (all_small_ipa_passes, all_regular_ipa_passes,
        all_lto_gen_passes): Declare.
        (execute_ipa_summary_passes): Declare.
        (execute_all_ipa_transforms): Declare.
        (ipa_write_summaries): Declare
        (ipa_write_summaries_of_cgraph_node_set): Declare.
        (ipa_read_summaries): Declare.

2009-10-03  Doug Kwan  <dougkwan@google.com>
            Ollie Wild  <aaw@google.com>

        * ipa-prop.c (ipa_propagate_indirect_call_infos): Do nothing in WPA.

        * collect2.c (LTO_MODE_NONE, LTO_MODE_LTO, LTO_MODE_WPA): New enums.
        (lto_mode): New variable.
        (maybe_run_lto_and_relink): Handle the -fwpa option.
        (main): Handle the -fwpa option.
        (maybe_unlink_list): New function.
        * gcc.c (link_lto_options): Replace -flto with -fwpa.
        * common.opt (flto): New flag.
        * toplev.c (flag_generate_lto): Declare.

2009-10-03  Simon Baldwin  <simonb@google.com>

        * common.opt (flto-compression-level): New flag.

        * opts.c: Include lto-opts.h.
        (handle_option): Call lto_register_user_option for each
        valid option handled.
        (decode_options): Clear registered options before the options
        handling loop.

2009-10-03  Cary Coutant  <ccoutant@google.com>

        * collect2.c (is_elf): New function.
        (scan_prog_file): Require LTO object to be in ELF format.

2009-10-03  Rafael Espindola  <espindola@google.com>

        * gcc.c (LINK_COMMAND_SPEC): Use the -pass-through option to pass
        libgcc to the linker.

        * ipa-cp.c (cgraph_gate_cp): Return false if LTRANS is running.

        * collect2.c (maybe_run_lto_and_relink): Execute lto-wrapper.
        (collect_execute): Add flags argument. Pass flags to pex_run. Update
        all callers.
        * collect2.h (collect_execute): Add flags argument.
        * tlink.c (tlink_execute): Update call to collect_execute.
        * gcc.c (main): Set the COLLECT_LTO_WRAPPER environment variable.
        (use_linker_plugin): New.
        (use_linker_plugin_spec_function): New.
        (LINK_COMMAND_SPEC): Pass plugin options to the linker.
        (linker_plugin_file_spec): New.
        (lto_wrapper_spec): New.
        (lto_gcc_spec): New.
        (static_specs): Add linker_plugin_file, lto_wrapper and lto_gcc.
        (static_spec_functions): Add use-linker-plugin.
        (process_command): Handle -use-linker-plugin.
        (main): Use lto_wrapper_spec instead of lto_wrapper. Set
        linker_plugin_file_spec and lto_gcc_spec.
        (use_linker_plugin_spec_function): New.

2009-10-03  Richard Guenther  <rguenther@suse.de>

        PR lto/41547
        PR lto/41548
        * tree.h (is_lang_specific): Include LANG_TYPE.
        * tree.c (find_decls_types_r): Manually add interesting parts
        of TYPE_FIELDS.  Walk BINFO_VIRTUALS.  Do not walk TYPE_METHODS.

        * gimple.c (type_pair_hash): Make symmetric.
        (type_pair_eq): Likewise.
        (lookup_type_pair): Increase initial hashtable size.
        (gimple_force_type_merge): Rely on type-pair symmetry.
        (visit): Remove excessive checking code.
        (iterative_hash_type_name): Do not hash TYPE_NAME of anonymous unions.
        (gimple_register_type): Remove getenv calls, shrink initial
        hashtable size.

        PR middle-end/41502
        * cgraphunit.c (ipa_passes): Do not remove bodies of extern
        inline functions if not generating lto output.

        PR lto/41379
        * toplev.c (finalize): In WPA mode remove the asm file.

2009-10-03  Doug Kwan  <dougkwan@google.com>

        * ipa-inline.c (cgraph_mark_inline): Check
        edge->call_stmt_cannot_inline_p instead of calling
        gimple_call_cannot_inline_p.
        (cgraph_decide_inlining): Do nothing in WPA and LTRANS.
        (cgraph_gate_ipa_early_inlining): Return false if in_lto_p is set.
        (inline_generate_summary): Do nothing in LTRANS.
        * cgraph.c (initialize_inline_failed): Make sure e->call_stmt
        exists before calling gimple_call_cannot_inline_p.
        (cgraph_create_edge): Set edge->call_stmt_cannot_inline_p.
        (cgraph_clone_edge): Add argument STMT_UID.  Modify all callers.
        Update new_edge->lto_stmt_uid.
        * cgraphbuild.c (reset_inline_failed): New.

        * common.opt (fwpa): New flag.
        (fltrans): New option.
        * gcc.c (gcc_lto_option_t): New type.
        (current_lto_option): New variable.
        (lto_single_spec_function): Remove and is replaced by ..
        (lto_option_spec_function): New function.
        (LINK_COMMAND_SPEC): Use link_lto_option spec instead of just
        passing the -flto flag.
        (cc1_options): Separate non-LTO related parts into ..
        (cc1_non_lto_options): Non-LTO related options shared by all FEs.
        (lto1_options): New spec for lto FE.
        (link_lto_options): New spec for handling LTO flags in linker.
        (invoke_lto_single): Re-format to fit in 80 column.  Replace
        lto-single with lto-option.
        (static_specs): Add cc1_non_lto_options, lto1_options and
        link_lto_options.
        (static_spec_function): Replace lto-single with lto-option.
        (process_command): Handle -flto, -fwpa and -fltran by setting
        current_lto_option and not passing it to subprocess unconditionally.

2009-10-03  Bill Maddox  <maddox@google.com>

        Add `gcc' driver support for link-time code generation (LTO).

        * collect2.c (enum pass): Add new literal PASS_LTOINFO.
        (lto_flag, lto_objects, lto_o_file): New variables.
        (struct lto_object, struct lto_object_list): New structures.
        (collect_exit, handler): Remove LTO temporary output file on exit.
        (add_lto_object): New function.
        (maybe_run_lto_and_relink): New function. Perform link time code
        generation and relinking for object files containing LTO information.
        (main): Invoke maybe_run_lto_and_relink().
        (dump_argv): New function.  For debugging, currently disabled.
        (scan_prog_file): Add LTO information pass.
        * gcc.c (LINK_COMMAND_SPEC): Pass `-flto' switch to linker, i.e.,
        collect2.
        * toplev.c (compile_file): Emit assembler directive to create
        the `gnu_lto_v1' marker symbol when compiling with `-flto'.

2009-10-03  Diego Novillo  <dnovillo@google.com>

        * c.opt: Add LTO to warn_abi and warn_psabi.

        * tree.c (fld_worklist_push): Rename from PUSH.  Convert to static
        inline function.  Ignore language-specific nodes.  Update all users.
        (find_decls_types_r): Do not traverse the subtrees of
        language-specific nodes.  Do not traverse DECL_INITIAL for TYPE_DECLs.
        * tree.h (is_lang_specific): New.
        * langhooks.h (struct lang_hooks_for_decls): Remove
        may_need_assembler_name_p.  Update all users.

        * c-common.c (set_builtin_user_assembler_name): Move ...
        * builtins.c (set_builtin_user_assembler_name): ... here.
        (is_builtin_name): Add comment
        (is_builtin_fn): New.
        * except.c (output_ttype): Only call
        lookup_type_for_runtime if TYPE is not a runtime type.

        * passes.c (register_pass): Call position_pass on
        all_small_ipa_passes, all_regular_ipa_passes and all_lto_gen_passes.
        * timevar.def (TV_IPA_LTO_GIMPLE_IO): Define.
        (TV_IPA_LTO_DECL_IO): Define.
        (TV_IPA_LTO_CGRAPH_IO): Define.
        (TV_LTO): Define.
        (TV_WHOPR_WPA): Define.
        (TV_WHOPR_WPA_IO): Define.
        (TV_WHOPR_LTRANS): Define.
        (TV_WHOPR_WPA_FIXUP): Define.
        (TV_WHOPR_WPA_LTRANS_EXEC): Define.
        * tree-cfg.c (tree_node_can_be_shared): Make extern.
        * tree-flow.h (tree_node_can_be_shared): Declare.
        * tree-inline.c (tree_can_inline_p): Check that E has a
        statement associated with it.
        * tree.c (free_lang_data_in_binf): Factor out of ...
        (free_lang_data_in_type): ... here.
        Call RECORD_OR_UNION_TYPE_P.
        (need_assembler_name_p): Ignore DECL if it does not have TREE_PUBLIC
        set.  Call lang_hooks.decls.may_need_assembler_name_p if set.
        (free_lang_data_in_decl): Do not clear DECL_CONTEXT for CONST_DECLs.
        (free_lang_data): Set debug_info_level to DINFO_LEVEL_NONE.  Set
        write_symbols to NO_DEBUG.  Set debug_hooks to do_nothing_debug_hooks.
        (gate_free_lang_data): Return true if flag_generate_lto is set.
        (walk_tree_1): Call RECORD_OR_UNION_TYPE_P.
        * c-common.h (set_builtin_user_assembler_name): Move ...
        * tree.h (set_builtin_user_assembler_name): ... here.

        * common.opt (flto-report): New flag.
        * opts.c (complain_wrong_lang): Do not complain if running lto1.
        * collect2.c (scan_prog_file): Send the error output of
        'nm' to HOST_BIT_BUCKET.

2009-10-03  Ollie Wild  <aaw@google.com>

        * langhooks-def.h (lhd_begin_section): New function declaration.
        (lhd_write_section): New function declaration.
        (lhd_end_section): New function declaration.
        (LANG_HOOKS_BEGIN_SECTION): New macro.
        (LANG_HOOKS_WRITE_SECTION_DATA): New macro.
        (LANG_HOOKS_END_SECTION): New macro.
        (LANG_HOOKS_LTO): New macro.
        (LANG_HOOKS_INITIALIZER): Add LANG_HOOKS_LTO.
        * langhooks.c (output.h): Add include.
        (saved_section): New static variable.
        (lhd_begin_section): New function.
        (lhd_write_section_data): New function.
        (lhd_end_section): New function.
        * langhooks.h (struct lang_hooks_for_lto): New structure.
        (struct lang_hooks): Add member lto.
        * Makefile.in (langhooks.o): Add dependency on output.h.

        * c-opts.c (c_common_post_options): Handle -flto and -fwhopr.

2009-10-03  Richard Guenther  <rguenther@suse.de>

        * config/rs6000/rs6000.c (rs6000_output_function_epilogue):
        Handle LTO.

2009-10-03  Simon Baldwin  <simonb@google.com>
            Richard Guenther  <rguenther@suse.de>
            Janis Johnson  <janis187@us.ibm.com>
            Doug Kwan  <dougkwan@google.com>
            Diego Novillo  <dnovillo@google.com>
            Ramana Radhakrishnan  <ramana.r@gmail.com>
            Ollie Wild  <aaw@google.com>

        * doc/install.texi: Add documentation for libelf and --enable-lto.
        * doc/invoke.texi: Document -fwpa, -flto, -fwhopr, -fltrans,
        -flto-report, -flto-compression-level and -use-linker-plugin.
        * doc/sourcebuild.texi: Document use of zlib.  Document lto-plugin.
        Add section for LTO Testing.

2009-10-02  Cary Coutant  <ccoutant@google.com>

        Add support for comdat type sections for DWARF v4.
        Merge from dwarf4 branch.

        * dwarf2out.c (DWARF_TYPE_SIGNATURE_SIZE): New constant.
        (dw_die_ref): Define vector type.
        (enum dw_val_class): Add dw_val_class_data8.
        (struct dw_val_struct): Add v.val_data8.
        (comdat_type_node_ref): New type.
        (struct die_struct): Move die_symbol into a union; add new field
        die_type_node.  Change all uses.
        (comdat_type_node): New type.
        (skeleton_chain_node): New type.
        (DWARF_COMDAT_TYPE_UNIT_HEADER_SIZE): New constant.
        (comdat_type_list): New variable.
        (dwarf_tag_name): Add DW_TAG_type_unit.
        (dwarf_attr_name): Add DW_AT_signature.
        (add_AT_data8): New function.
        (replace_child): New function.
        (move_all_children): New function.
        (print_signature): New function.
        (print_die): Print signature information; add dw_val_class_data8.
        (attr_checksum): Support dw_val_class_data8.
        (CHECKSUM_STRING): Redefine for DWARF-4 to include trailing NULL byte.
        (CHECKSUM_SLEB128, CHECKSUM_ULEB128): New macros.
        (checksum_sleb128, checksum_uleb128): New functions.
        (checksum_die_context): New function.
        (loc_checksum_ordered): New function.
        (attr_checksum_ordered): New function.
        (struct checksum_attributes): New structure.
        (collect_checksum_attributes): New function.
        (die_checksum_ordered): New function.
        (generate_type_signature): New function.
        (same_dw_val_p): Add dw_val_class_data8.
        (is_symbol_die): Use new is_declaration_die function.
        (is_declaration_die): New function.
        (should_move_die_to_comdat): New function.
        (clone_die): New function.
        (clone_tree): New function.
        (clone_as_declaration): New function.
        (copy_declaration_context): New function.
        (generate_skeleton_ancestor_tree): New function.
        (generate_skeleton_bottom_up): New function.
        (generate_skeleton): New function.
        (remove_child_or_replace_with_skeleton): New function.
        (break_out_comdat_types): New function.
        (struct decl_table_entry): New type.
        (htab_decl_hash): New function.
        (htab_decl_eq): New function.
        (htab_decl_del): New function.
        (copy_ancestor_tree): New function.
        (copy_decls_walk): New function.
        (copy_decls_for_unworthy_types): New function.
        (build_abbrev_table): Don't assert on missing die_symbol when doing
        comdat type sections.
        (size_of_die): Use DW_FORM_sig8 for external references.  Add
        dw_val_class_data8.
        (unmark_dies): Don't assert for unmarked dies when doing comdat
        type sections.
        (value_format): Support DW_FORM_sig8 and dw_val_class_data8.
        (output_signature): New function.
        (output_die): Likewise.
        (output_compilation_unit_header): Mark output as DWARF version 3
        even if generating DWARF 4.
        (output_comdat_type_unit): New function.
        (output_line_info): Mark output as DWARF version 3 even if generating
        DWARF 4.
        (dwarf2out_start_source_file): Don't do eliminate_dwarf2_dups with
        DWARF-4.
        (dwarf2out_end_source_file): Likewise.
        (prune_unused_types_walk_attribs): Don't follow references into
        comdat type sections.
        (prune_unused_types_mark): When generating type units, do not mark
        children of non-defining declarations of types; do mark children of
        type entries.
        (prune_unused_types): Process comdat type sections.
        (htab_ct_hash): New function.
        (htab_ct_eq): New function.
        (dwarf2out_finish): Move types to comdat sections when using DWARF-4.
        Add a pointer to the line table from type unit entries so
        DW_AT_decl_file has meaning.
        * varasm.c (default_elf_asm_named_section): Use identifier name as
        comdat key instead of lang hook.

2009-10-02  Neil Vachharajani  <nvachhar@google.com>

        * gcov-io.c (gcov_open): Open files read-only when MODE < 0.

2009-10-02  Uros Bizjak  <ubizjak@gmail.com>

        * config/i386/i386.md (SWIM248): New mode iterator.
        (divmod<mode>4) Macroize expander from divmoddi4, divmodsi4 and
        divmodhi4 patterns using SWIM248 macro.
        (*divmod<mode>4): Macroize insn_and_split pattern from
        *divmoddi4_cltd_rex64, *divmodsi4_cltd and divmodhi4 insn patterns
        and their corresponding splitters usign SWIM248 macro.  Split SImode
        insn to generate cltd and DImode insn to generate cqto instead of
        move+shift when optimizing for size or TARGET_USE_CLTD is in effect.
        (*divmoddi4_nocltd_rex64, *divmodsi4_nocltd): Remove insn patterns.
        (*divmod<mode>4_noext): Macroize insn from *divmoddi_noext_rex64 and
        *divmodsi_noext patterns using SWIM248 macro.
        (udivmod<mode>4): Macroize expander from udivmoddi4, udivmodsi4 and
        udivmodhi4 patterns using SWIM248 macro.
        (*udivmod<mode>4): Macroize insn_and_split pattern from
        *udivmoddi4, udivmodsi4 and udivmodhi4 patterns and their
        corresponding splitters using SWIM248 macro.
        (*udivmod<mode>4_noext): Macroize insn from *udivmoddi4_noext,
        *udivmodsi4_noext and *udivmodhi_noext patterns using SWIM248 macro.

2009-10-02  Eric Botcazou  <ebotcazou@adacore.com>

        * stor-layout.c (layout_type) <ARRAY_TYPE>: Make sure that an array
        of zero-sized element is zero-sized regardless of its extent.

2009-10-02  Jakub Jelinek  <jakub@redhat.com>

        PR debug/40521
        * configure.ac (HAVE_GAS_CFI_SECTIONS_DIRECTIVE): New test.
        * configure: Regenerated.
        * config.in: Regenerated.
        * dwarf2out.c (dwarf2out_do_cfi_asm): Return false if
        !HAVE_GAS_CFI_SECTIONS_DIRECTIVE and not emitting .eh_frame.
        (dwarf2out_init): If HAVE_GAS_CFI_SECTIONS_DIRECTIVE and
        not emitting .eh_frame, emit .cfi_sections .debug_frame
        directive.

        PR debug/41404
        PR debug/41353
        * cfgexpand.c (expand_debug_expr) <case STRING_CST>: Don't create
        CONST_STRING if STRING_CST contains embedded '\0's or doesn't end
        with '\0'.
        (expand_debug_expr) <case VAR_DECL>: For TREE_STATIC !DECL_EXTERNAL
        vars use DECL_RTL with resetting it back to NULL afterwards.
        * dwarf2out.c (same_dw_val_p): For dw_val_class_addr compare with
        rtx_equal_p instead of asserting it is a SYMBOL_REF.
        (value_format): For dw_val_class_addr only use DW_FORM_addr if
        the attribute type allows it, otherwise use DW_FORM_dataN.
        (mem_loc_descriptor): Handle CONST_STRING.
        (add_const_value_attribute): Handle CONST_STRING using add_AT_addr.
        Handle MEM with CONST_STRING address using add_AT_string.
        (rtl_for_decl_init): Return MEM with CONST_STRING address instead of
        CONST_STRING for const arrays initialized with a string literal.
        (resolve_one_addr, resolve_addr_in_expr, resolve_addr): New functions.
        (dwarf2out_finish): Call resolve_addr.

2009-10-02  Andreas Schwab  <schwab@linux-m68k.org>
            Maxim Kuvyrkov  <maxim@codesourcery.com>

        * config/m68k/lb1sf68.asm (PICCALL): Use variable sized branch.

2009-10-02  Nick Clifton  <nickc@redhat.com>

        * config/mn10300/mn10300.h (USER_LABEL_PREFIX): Define.
        (ASM_OUTPUT_LABELREF): Use asm_fprintf and %U.

2009-10-01  Jan Hubicka  <jh@suse.cz>

        * cgraph.c (cgraph_clone_node): Add redirect_callers parameter.
        (cgraph_create_virtual_clone): Just pass redirect_callers
        around.
        * cgraph.h (cgraph_clone_node): Update prototype.
        * ipa-pure-const.c (self_recursive_p): New function.
        (propagate): Use it.
        * ipa-inline.c (cgraph_clone_inlined_nodes,
        cgraph_decide_recursive_inlining): Update.

2009-10-01  David Daney  <ddaney@caviumnetworks.com>

        * gcc/config/mips/mips.c (mips_process_sync_loop) Emit syncw
        instructions for TARGET_OCTEON.

2009-10-01  Ramana Radhakrishnan  <ramana.radhakrishnan@arm.com>

        * config/arm/arm.c (arm_override_options): Turn off
        flag_dwarf2_cfi_asm for AAPCS variants.

2009-10-01  Martin Jambor  <mjambor@suse.cz>

        PR middle-end/12392
        * tree-sra.c (convert_callers): Do not call
        compute_inline_parameters on one caller more than once.

2009-10-01  Nick Clifton  <nickc@redhat.com>

        * config/vax/netbsd-elf.h (NETBSD_CC1_AND_CC1PLUS_SPEC): Define as
        an empty string if not already defined.

2009-10-01  Martin Jambor  <mjambor@suse.cz>

        PR bootstrap/41395
        * tree-sra.c (is_va_list_type): New function.
        (find_var_candidates): Call is_va_list_type.
        (find_param_candidates): Check that the type or the type pointed
        to are not va_list types.

2009-10-01  Martin Jambor  <mjambor@suse.cz>

        PR c++/41503
        * cp/pt.c (function_parameter_expanded_from_pack_p): Return false if
        DECL_ARTIFICIAL (param_decl) is true.

2009-09-30  Gabriel Dos Reis  <gdr@cs.tamu.edu>

        * tree.h (tree_decl_common::lang_flag_8): New.
        * c-common.c (c_common_reswords): Include "constexpr" as C++0x
        keyword.
        * c-common.h (RID_CONSTEXPR): New.

2009-09-30  Uros Bizjak  <ubizjak@gmail.com>

        * config/alpha/alpha.c (alpha_gimplify_va_arg_1):
        Use ref-all pointers.
        (alpha_gimplify_va_arg): Ditto.

2009-09-30  Jakub Jelinek  <jakub@redhat.com>

        PR target/41279
        * cfgloopanal.c (num_loop_insns): Don't increment ninsns for each bb
        before insn counting loop now that BB_END (bb) is counted.  Ensure
        the return value isn't zero.

2009-09-30  Nick Clifton  <nickc@redhat.com>

        * config.gcc (sh-symbianelf): Replace definition of extra_objs
        with separate definitions of c_target_objs and cxx_target_objs.
        * config/sh/t-sh: Add rules to build symbian-cxx.o, symbian-c.o
        and symbian-base.o.
        * config/sh/sh.c (TARGET_CXX_INPUT_EXPORT_CLASS): Use
        sh_symbian_import_export_class.
        * config/sh/sh-protos.h: Fix names of exported symbian functions.
        * config/sh/symbian.c: Delete, moving code into...
        * config/sh/symbian-base.c: ... here
        * config/sh/symbian-c.c: ... and here
        * config/sh/symbian-cxx.c: ... and here.

2009-09-30  Uros Bizjak  <ubizjak@gmail.com>

        PR target/22093
        * config/alpha/alpha.md (unaligned_storehi_be): Force operand
        of plus RTX into register.

2009-09-30  Ralf Wildenhues  <Ralf.Wildenhues@gmx.de>

        * doc/install.texi: Linguistic and markup fixes.
        (Configuration) <--disable-cpp>: Remove description.
        <--enable-maintainer-mode>: Autotools files are affected, too.
        <--with-sysroot>: Improve description.
        (Building): Bump required GNU make version.

2009-09-29  Harsha Jagasia  <harsha.jagasia@amd.com>

        * config.gcc (i[34567]86-*-*): Include fma4intrin.h.
        (x86_64-*-*): Ditto.

        * config/i386/fma4intrin.h: New file, provide common x86 compiler
        intrinisics for FMA4.
        * config/i386/cpuid.h (bit_FMA4): Define FMA4 bit.
        * config/i386/x86intrin.h: Fix typo to SSE4A instead of SSE4a.
        Add FMA4 check and fma4intrin.h.
        * config/i386/i386-c.c(ix86_target_macros_internal): Check
        ISA_FLAG for FMA4.
        * config/i386/i386.h(TARGET_FMA4): New macro for FMA4.
        * config/i386/i386.md (UNSPEC_FMA4_INTRINSIC): Add new UNSPEC
        constant for FMA4 support.
        (UNSPEC_FMA4_FMADDSUB): Ditto.
        (UNSPEC_FMA4_FMSUBADD): Ditto.
        * config/i386/i386.opt (-mfma4): New switch for FMA4 support.
        * config/i386/i386-protos.h (ix86_fma4_valid_op_p): Add declaration.
        (ix86_expand_fma4_multiple_memory): Ditto.
        * config/i386/i386.c (OPTION_MASK_ISA_FMA4_SET): New.
        (OPTION_MASK_ISA_FMA4_UNSET): New.
        (OPTION_MASK_ISA_SSE4A_UNSET): Change definition to depend on FMA4.
        (OPTION_MASK_ISA_AVX_UNSET): Change definition to depend on FMA4.
        (ix86_handle_option): Handle -mfma4.
        (isa_opts): Handle -mfma4.
        (enum pta_flags): Add PTA_FMA4.
        (override_options): Add FMA4 support.
        (IX86_BUILTIN_VFMADDSS): New for FMA4 intrinsic.
        (IX86_BUILTIN_VFMADDSD): Ditto.
        (IX86_BUILTIN_VFMADDPS): Ditto.
        (IX86_BUILTIN_VFMADDPD): Ditto.
        (IX86_BUILTIN_VFMSUBSS): Ditto.
        (IX86_BUILTIN_VFMSUBSD): Ditto.
        (IX86_BUILTIN_VFMSUBPS): Ditto.
        (IX86_BUILTIN_VFMSUBPD): Ditto.
        (IX86_BUILTIN_VFMADDSUBPS): Ditto.
        (IX86_BUILTIN_VFMADDSUBPD): Ditto.
        (IX86_BUILTIN_VFMSUBADDPS): Ditto.
        (IX86_BUILTIN_VFMSUBADDPD): Ditto.
        (IX86_BUILTIN_VFNMADDSS): Ditto.
        (IX86_BUILTIN_VFNMADDSD): Ditto.
        (IX86_BUILTIN_VFNMADDPS): Ditto.
        (IX86_BUILTIN_VFNMADDPD): Ditto.
        (IX86_BUILTIN_VFNMSUBSS): Ditto.
        (IX86_BUILTIN_VFNMSUBSD): Ditto.
        (IX86_BUILTIN_VFNMSUBPS): Ditto.
        (IX86_BUILTIN_VFNMSUBPD): Ditto.
        (IX86_BUILTIN_VFMADDPS256): Ditto.
        (IX86_BUILTIN_VFMADDPD256): Ditto.
        (IX86_BUILTIN_VFMSUBPS256): Ditto.
        (IX86_BUILTIN_VFMSUBPD256): Ditto.
        (IX86_BUILTIN_VFMADDSUBPS256): Ditto.
        (IX86_BUILTIN_VFMADDSUBPD256): Ditto.
        (IX86_BUILTIN_VFMSUBADDPS256): Ditto.
        (IX86_BUILTIN_VFMSUBADDPD256): Ditto.
        (IX86_BUILTIN_VFNMADDPS256): Ditto.
        (IX86_BUILTIN_VFNMADDPD256): Ditto.
        (IX86_BUILTIN_VFNMSUBPS256): Ditto.
        (IX86_BUILTIN_VFNMSUBPD256): Ditto.
        (enum multi_arg_type): New enum for describing the various FMA4
        intrinsic argument types.
        (bdesc_multi_arg): New table for FMA4 intrinsics.
        (ix86_init_mmx_sse_builtins): Add FMA4 intrinsic support.
        (ix86_expand_multi_arg_builtin): New function for creating FMA4
        intrinsics.
        (ix86_expand_builtin): Add FMA4 intrinsic support.
        (ix86_fma4_valid_op_p): New function to validate FMA4 3 and 4
        operand instructions.
        (ix86_expand_fma4_multiple_memory): New function to split the
        second memory reference from FMA4 instructions.
        * config/i386/sse.md (ssemodesuffixf4): New mode attribute for FMA4.
        (ssemodesuffixf2s): Ditto.
        (fma4_fmadd<mode>4): Add FMA4 floating point multiply/add
        instructions.
        (fma4_fmsub<mode>4): Ditto.
        (fma4_fnmadd<mode>4): Ditto.
        (fma4_fnmsub<mode>4): Ditto.
        (fma4_vmfmadd<mode>4): Ditto.
        (fma4_vmfmsub<mode>4): Ditto.
        (fma4_vmfnmadd<mode>4): Ditto.
        (fma4_vmfnmsub<mode>4): Ditto.
        (fma4_fmadd<mode>4256): Ditto.
        (fma4_fmsub<mode>4256): Ditto.
        (fma4_fnmadd<mode>4256): Ditto.
        (fma4_fnmsub<mode>4256): Ditto.
        (fma4_fmaddsubv8sf4): Ditto.
        (fma4_fmaddsubv4sf4): Ditto.
        (fma4_fmaddsubv4df4): Ditto.
        (fma4_fmaddsubv2df4): Ditto.
        (fma4_fmsubaddv8sf4): Ditto.
        (fma4_fmsubaddv4sf4): Ditto.
        (fma4_fmsubaddv4df4): Ditto.
        (fma4_fmsubaddv2df4): Ditto.
        (fma4i_fmadd<mode>4): Add FMA4 floating point multiply/add
        instructions for intrinsics.
        (fma4i_fmsub<mode>4): Ditto.
        (fma4i_fnmadd<mode>4): Ditto.
        (fma4i_fnmsub<mode>4): Ditto.
        (fma4i_vmfmadd<mode>4): Ditto.
        (fma4i_vmfmsub<mode>4): Ditto.
        (fma4i_vmfnmadd<mode>4): Ditto.
        (fma4i_vmfnmsub<mode>4): Ditto.
        (fma4i_fmadd<mode>4256): Ditto.
        (fma4i_fmsub<mode>4256): Ditto.
        (fma4i_fnmadd<mode>4256): Ditto.
        (fma4i_fnmsub<mode>4256): Ditto.
        (fma4i_fmaddsubv8sf4): Ditto.
        (fma4i_fmaddsubv4sf4): Ditto.
        (fma4i_fmaddsubv4df4): Ditto.
        (fma4i_fmaddsubv2df4): Ditto.
        (fma4i_fmsubaddv8sf4): Ditto.
        (fma4i_fmsubaddv4sf4): Ditto.
        (fma4i_fmsubaddv4df4): Ditto.
        (fma4i_fmsubaddv2df4): Ditto.

        * doc/invoke.texi (-mfma4): Add documentation.
        * doc/extend.texi (x86 intrinsics): Add FMA4 intrinsics.

2009-09-29  Richard Henderson  <rth@redhat.com>

        * tree-eh.c (unsplit_eh): Do not unsplit if there's already
        an edge to the new destination block.

2009-09-29  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>

        PR target/41393
        * pa.c (hppa_profile_hook): Use
        make_reg_eh_region_note_nothrow_nononlocal to add REG_EH_REGION note.

2009-09-29  Steve Ellcey  <sje@cup.hp.com>
            Alexander Monakov  <amonakov@ispras.ru>

        PR target/41365
        * config/ia64/predicates.md (not_postinc_destination_operand): New.
        (not_postinc_memory_operand): New.
        (not_postinc_move_operand): New.
        * config/ia64/ia64.md (*cmovdi_internal): Disallow autoincrement.
        (*cmovsi_internal): Ditto.

2009-09-29  Pat Haugen  <pthaugen@us.ibm.com>

        * config/rs6000/rs6000.c (rs6000_issue_rate): Don't artificially
        restrict issue_rate in first pass when scheduling for register
        pressure.

2009-09-29  Basile Starynkevitch  <basile@starynkevitch.net>
            Rafael Avila de Espindola  <espindola@google.com>

        * gengtype.c (plugin_output): New.
        (get_output_file_with_visibility): Return plugin_output for plugins.
        (main): Parse and use the -P option.
        * gty.texi: Update the command line format.

2009-09-29  Jakub Jelinek  <jakub@redhat.com>

        PR debug/41438
        * dwarf2out.c (const_ok_for_output_1, const_ok_for_output): New
        functions.
        (mem_loc_descriptor, loc_descriptor, add_const_value_attribute): Bail
        out if !const_ok_for_output.

        PR debug/41474
        * dwarf2out.c (mem_loc_descriptor) <case CONCAT, case CONCATN,
        case VAR_LOCATION>: Remove gcc_unreachable ().

2009-09-29  Harsha Jagasia  <harsha.jagasia@amd.com>

        * config.gcc (i[34567]86-*-*): Remove mmintrin-common.h.
        (x86_64-*-*): Ditto.
        * config/i386/smmintrin.h: Move instructions in mmintrin-common.h
        back to smmintrin.h.
        * config/i386/cpuid.h (bit_SSE5): Remove SSE5 bit.
        * config/i386/x86intrin.h: Remove SSE5.
        * config/i386/mmintrin-common.h: Delete file.
        * doc/extend.texi (x86 intrinsics): Remove SSE5 flags and builtins.

2009-09-29  Richard Guenther  <rguenther@suse.de>

        * alias.c (ao_ref_from_mem): Properly deal with off decl accesses
        resulting from stack temporaries on STRICT_ALIGNMENT targets.

2009-09-29  Nick Clifton  <nickc@redhat.com>

        * function.c (current_function_name): If there is no current
        function just return "<none>".

2009-09-28  Sriraman Tallam  <tmsriram@google.com>

        * tree-pass.h (register_pass_info): New structure.
        (pass_positioning_ops): Move enum from gcc-plugin.h.
        (register_pass): New function.
        * gcc-plugin.h (plugin_pass): Delete structure.
        (pass_positioning_ops): Delete enum.
        * plugin.c (regsiter_pass): Delete function.
        (position_pass): Delete function.
        (added_pass_nodes): Delete variable.
        (prev_added_pass_nodes): Delete variable.
        (pass_list_node): Delete structure.
        * passes.c (make_pass_instance): New function.
        (next_pass_1): Change to call make_pass_instance.
        (pass_list_node): Move structure from gcc-plugin.h.
        (added_pass_nodes): Move variable from plugin.c.
        (prev_added_pass_nodes): Move variable from plugin.c.
        (position_pass): New function.
        (register_pass): New function.

2009-09-28  Easwaran Raman  <eraman@google.com>

        * ifcvt.c (noce_try_abs): Recognize pattern and call
        expand_one_cmpl_abs_nojump.
        * optabs.c (expand_one_cmpl_abs_nojump): New function.
        * optabs.h (expand_one_cmpl_abs_nojump): Declare.

2009-09-28  Ian Lance Taylor  <iant@google.com>

        PR middle-end/40500
        * c-opts.c (c_common_handle_option): Don't set
        warn_jump_misses_init for -Wall.
        * doc/invoke.texi (Warning Options): Update documentation.

2009-09-28  Ralf Wildenhues  <Ralf.Wildenhues@gmx.de>

        * Makefile.in ($(out_object_file)): Depend on
        gt-$(basename $(notdir $(out_file))).h.

2009-09-28  Richard Henderson  <rth@redhat.com>

        * except.h (struct eh_region_d): Add use_cxa_end_cleanup.
        * except.c (gen_eh_region): Set it.
        (duplicate_eh_regions_1): Copy it.
        * tree-eh.c (lower_resx): Use it to determine which function
        to call to resume.

        * langhooks.h (struct lang_hooks): Add eh_use_cxa_end_cleanup.
        * langhooks-def.h (LANG_HOOKS_EH_USE_CXA_END_CLEANUP): New.
        * builtins.def (BUILT_IN_CXA_END_CLEANUP): New.
        * tree.c (build_common_builtin_nodes): Remove parameter.  Build
        BUILT_IN_CXA_END_CLEANUP if necessary.

        * c-common.c (c_define_builtins): Update call to
        build_common_builtin_nodes.

2009-09-28  Andrew Pinski  <andrew_pinski@playstation.sony.com>

        * spu.c (get_branch_target): Return NULL for ASM_OPERANDS patterns.

2009-09-28  Michael Matz  <matz@suse.de>

        * builtins.c (interclass_mathfn_icode): New helper.
        (expand_builtin_interclass_mathfn): Use it here, and split folding
        into ...
        (fold_builtin_interclass_mathfn): ... this new folder.
        (build_call_nofold_loc): New static helper.
        (build_call_nofold): New wrapper macro for above.
        (expand_builtin_int_roundingfn): Use it instead of build_call_expr.
        (expand_builtin_pow): Ditto.
        (expand_builtin_memset_args): Ditto.
        (expand_builtin_printf): Ditto.
        (expand_builtin_fprintf): Ditto.
        (expand_builtin_sprintf): Ditto.
        (expand_builtin_memory_chk): Ditto.
        (expand_builtin_mempcpy_args): Ditto and don't call folders.
        (expand_builtin_stpcpy): Ditto.
        (expand_builtin_strcmp): Ditto.
        (expand_builtin_strncmp): Ditto.
        (expand_builtin_strcpy): Remove FNDECL and MODE arguments.
        (expand_builtin_strcpy_args): Don't call folders.
        (expand_builtin_memcmp): Ditto.
        (expand_builtin_strncpy): Ditto, and use target.
        (expand_builtin_memcpy): Ditto.
        (expand_builtin_strstr, expand_builtin_strchr, expand_builtin_strrchr,
        expand_builtin_strpbrk, expand_builtin_memmove,
        expand_builtin_memmove_args, expand_builtin_bcopy,
        expand_builtin_memchr, expand_builtin_strcat, expand_builtin_strncat,
        expand_builtin_strspn, expand_builtin_strcspn,
        expand_builtin_fputs): Remove these.
        (expand_builtin): Don't call the above, change calls to other
        expanders that changed prototype.
        (fold_builtin_stpcpy): New folder split out from expand_builtin_stpcpy.
        (fold_builtin_1 <ISFINITE, ISINF, ISNORMAL>): Call
        fold_builtin_interclass_mathfn.
        (fold_builtin_2 <STPCPY>): Call fold_builtin_stpcpy.
        (fold_builtin_strcat): Add folding split from expand_builtin_strcat.

        * fold-const.c (fold_binary_loc <NE_EXPR>): Add !exp != 0 -> !exp.
        * passes.c (init_optimization_passes): Move pass_fold_builtins
        after last phiopt pass.
        * tree-inline.c (fold_marked_statements): When folding builtins
        iterate over all instruction potentially generated.
        * tree-ssa-ccp.c (gimplify_and_update_call_from_tree): Declare
        earlier.
        (fold_gimple_call): Use it to always fold calls (into potentially
        multiple instructions).
        * tree-ssa-dom.c (optimize_stmt): Resolve __builtin_constant_p
        calls into zero at this time.
        * tree-ssa-propagate.c (substitute_and_fold): Ignore multiple
        statements generated by builtin folding.

2009-09-28  Nick Clifton  <nickc@redhat.com>

        * config/m32r/m32r.c (m32r_is_insn): Return false for debugging insns.

2009-09-28  Duncan Sands  <baldrick@free.fr>

        * gcc-plugin.h (PLUGIN_REGISTER_GGC_CACHES): New event.
        * plugin.c (plugin_event_name): Add PLUGIN_REGISTER_GGC_CACHES.
        (register_callback): Dispatch it.
        (invoke_plugin_callbacks): Incorporate in sanity check.
        * ggc.h (ggc_register_cache_tab): Add declaration.
        * ggc-common.c (ggc_register_root_tab): Simplify.
        (const_ggc_cache_tab_t): New typedef.
        (extra_cache_vec): New vector of dynamically added cache tables.
        (ggc_register_cache_tab): New function.
        (ggc_scan_cache_tab): New function.
        (ggc_mark_roots): Simplify dynamic roots.  Handle dynamic caches.
        * doc/plugins.texi: Document PLUGIN_REGISTER_GGC_CACHES.

2009-09-27  Richard Henderson  <rth@redhat.com>

        * tree-ssa-ccp.c (optimize_stack_restore): Relax the conditions under
        which we remove __builtin_stack_restore.

2009-09-27  Bernd Schmidt  <bernd.schmidt@analog.com>

        * loop-iv.c (iv_analyze_op): Use function_invariant_p, not CONSTANT_P,
        to test for GRD_INVARIANT.
        (simple_rhs_p): Anything that's function_invariant_p is fine.

2009-09-27  Rafael Avila de Espindola  <espindola@google.com>

        * gengtype.c (main): Use plunge_files instead of plugin_output.

2009-09-27  Basile Starynkevitch  <basile@starynkevitch.net>
            Rafael Avila de Espindola  <espindola@google.com>

        * gengtype.c (write_root, write_roots): Add a emit_pch argument.
        Don't print pch related info if it is false.
        (main): Don't print pch info in plugin mode.

2009-09-27  Eric Botcazou  <ebotcazou@adacore.com>

        * dwarf2out.c (enum dw_val_class): Replace dw_val_class_long_long
        with dw_val_class_const_double.
        (struct dw_val_struct): Replace val_long_long with val_double and
        adjust for above change.
        (output_loc_operands): Likewise.
        (add_AT_long_long): Rename into...
        (add_AT_double): ...this.
        (print_die): Replace dw_val_class_long_long with
        dw_val_class_const_double and adjust.
        (attr_checksum): Likewise.
        (same_dw_val_p): Likewise.
        (size_of_die): Likewise.
        (value_format): Likewise.
        (output_die): Likewise.
        (loc_descriptor) <CONST_DOUBLE>: Likewise.
        (add_const_value_attribute) <CONST_DOUBLE>: Call add_AT_double
        instead of add_AT_long_long.
        (add_bound_info) <INTEGER_CST>: Generate the bound as an unsigned
        value with the precision of its type.

2009-09-27  Andreas Schwab  <schwab@linux-m68k.org>

        PR c/41476
        * c-typeck.c (build_conditional_expr): Use the readonly and
        volatile flags of the operand types, not of the operands itself.

2009-09-27  Peter O'Gorman  <pogma@thewrittenword.com>

        * collect2.c (main): Look for -brtl before adding libraries.

2009-09-27  Jonathan Gray  <jsg@openbsd.org>

        * config.gcc: Update OpenBSD targets.
        * config/openbsd-stdint.h: New file.
        * config/openbsd-libpthread.h: New file.
        * config/openbsd.h: Update and break out LIB_SPEC definition.
        * config/alpha/openbsd.h: Overhaul to reflect ELF migration.
        * config/i386/openbsdelf.h: Correct types.
        * config/m68k/openbsd.h: Likewise.
        * config/mips/openbsd.h: Likewise.
        * config/vax/openbsd.h: Likewise.

2009-09-27  Eric Botcazou  <ebotcazou@adacore.com>

        * fold-const.c (maybe_lvalue_p): Return false for M(IN|AX)_EXPR.
        (extract_muldiv_1) <MINUS_EXPR>: Swap operands if necessary.
        * stor-layout.c (layout_type) <ARRAY_TYPE>: Do not take the maximum
        of the length and zero.

2009-09-27  Ralf Wildenhues  <Ralf.Wildenhues@gmx.de>

        * Makefile.in (TOPLEV_H): Use $(INPUT_H) not input.h.
        (FLAGS_H): Add options.h $(REAL_H).
        (SEL_SCHED_IR_H): Add $(BITMAP_H) vecprim.h $(CFGLOOP_H).
        (TREE_VECTORIZER_H): New.
        (EBITMAP_H): Renamed from EBIMAP_H.
        (c-decl.o, c-objc-common.o, c-pretty-print.o, attribs.o, c-omp.o)
        (gtype-desc.o, ggc-common.o, ggc-page.o, ggc-zone.o, langhooks.o)
        (tree.o, tree-ssa-structalias.o, tree-ssa-ter.o, tree-ssanames.o)
        (tree-phinodes.o, tree-ssa-loop.o, tree-ssa-math-opts.o)
        (gimple-low.o, omp-low.o, sese.o, graphite-blocking.o)
        (graphite-clast-to-gimple.o, graphite-dependences.o)
        (graphite-interchange.o, graphite-poly.o, graphite-scop-detection.o)
        (graphite-sese-to-poly.o, tree-vect-loop.o, tree-vect-loop-manip.o)
        (tree-vect-patterns.o, tree-vect-slp.o, tree-vect-stmts.o)
        (tree-vect-data-refs.o, tree-vectorizer.o, gimple.o, tree-mudflap.o)
        (targhooks.o, stmt.o, emit-rtl.o, ipa.o, matrix-reorg.o, ipa-inline.o)
        (gcse.o, tree-ssa-ccp.o, df-byte-scan.o, vec.o, caller-save.o)
        (ira-build.o, ira-costs.o, ira-color.o, ira-emit.o, ira.o)
        (haifa-sched.o, sched-rgn.o, sel-sched.o, sel-sched-dump.o)
        (sel-sched-ir.o, final.o, $(out_object_file)): Dependencies
        updated and fixed as per above changes and per
        check_makefile_deps.sh output.

        PR bootstrap/40928
        * configure.ac: Use $LIBS for '-ldl', not $LDFLAGS.
        * configure: Regenerate.

2009-09-26  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>

        * doc/install.texi: Update minimum MPC version to 0.7.

2009-09-26  Gerald Pfeifer  <gerald@pfeifer.com>

        * doc/install.texi (Binaries): Remove reference to the binary
        distribution CD-ROM from the FSF.

2009-09-26  Michael Matz  <matz@suse.de>

        PR lto/40758
        PR middle-end/41470
        * tree-ssa-coalesce.c (coalesce_ssa_name): Add only SSA names
        that are mentioned in the body.

2009-09-26  Michael Matz  <matz@suse.de>

        PR tree-optimization/41454
        * tree-ssa-dom (stmts_to_rescan): Remove variable.
        (tree_ssa_dominator_optimize): Don't allocate and free it.
        (dom_opt_leave_block): Don't iterate over it.
        (eliminate_redundant_computations): Don't return a value.
        (cprop_operand, cprop_into_stmt): Ditto.
        (optimize_stmt): Don't defer updating stmts.

2009-09-25  Dodji Seketeli  <dodji@redhat.com>

        * dwarf2out.c (dwarf_tag_name, gen_generic_params_dies,
        generic_parameter_die, template_parameter_pack_die,
        gen_formal_parameter_die, gen_subprogram_die): Adjust after
        renaming DW_TAG_formal_parameter_pack and
        DW_TAG_template_parameter_pack into DW_TAG_GNU_formal_parameter_pack
        and DW_TAG_GNU_template_parameter_pack.

2009-09-25  Anatoly Sokolov  <aesok@post.ru>

        * config/v850/v850.h (FUNCTION_VALUE): Remove.
        * config/v850/v850.c (v850_function_value): New function.
        (TARGET_FUNCTION_VALUE): Define.

2009-09-25  Jakub Jelinek  <jakub@redhat.com>

        * tree-vect-stmts.c (vectorizable_call): Call
        mark_symbols_for_renaming after vect_finish_stmt_generation.

        * dwarf2out.c (tls_mem_loc_descriptor): Pass 1 instead of 2
        to loc_descriptor_from_tree.
        (add_location_or_const_value_attribute): Pass 0 instead of 2
        for decl_by_reference_p decls.

2009-09-25  Richard Guenther  <rguenther@suse.de>

        PR middle-end/41463
        * tree-dfa.c (get_ref_base_and_extent): Fix issue with trailing
        arrays again.

2009-09-25  Ben Elliston  <bje@au.ibm.com>

        * doc/invoke.texi (RS/6000 and PowerPC Options): Add missing comma
        after `power7'.

2009-09-25  Alan Modra  <amodra@bigpond.net.au>

        * config/rs6000/rs6000.md (load_toc_v4_PIC_3c): Correct POWER
        form of instruction.

2009-09-24  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>

        PR middle-end/41435
        * fold-const.c (const_binop): Handle complex int division.
        * tree-complex.c (expand_complex_div_straight,
        expand_complex_div_wide): Update comments.

2009-09-24  DJ Delorie  <dj@redhat.com>

        PR target/41456
        * config/m32c/m32c.h (REG_CLASS_CONTENTS): Add R13.
        (reg_class): Likewise.
        (REG_CLASS_NAMES): Likewise.
        * config/m32c/m32c.c (m32c_reg_class_from_constraint): Likewise.
        (m32c_override_options): Disable -fivopts for M32C.

2009-09-24  Michael Meissner  <meissner@linux.vnet.ibm.com>

        * config/rs6000/predicates.md (indexed_or_indirect_operand):
        Delete VSX load/store with update support.
        * config/rs6000/rs6000.c (rs6000_legitimate_address_p): Ditto.
        * config/rs6000/vsx.md (vsx_mov<mode>): Ditto.
        (vsx_movti): Ditto.
        (VSX_U): Delete.
        (VSbit): Ditto.
        (VStype_load_update): Ditto.
        (VStype_store_update): Ditto.
        (vsx_load<VSX_U:mode>_update_<P:mptrsize>): Ditto.
        (vsx_store<VSX_U:mode>_update_<P:mptrsize>): Ditto.

        * config/rs6000/rs6000.h (enum rs6000_builtins): Delete VSX
        load/store with update builtins.

2009-09-24  Kai Tietz  <kai.tietz@onevision.com>

        * libgcc2.c (L_trampoline): Prototype for getpagesize
        and mprotect in WINNT case.

2009-09-24  Anatoly Sokolov  <aesok@post.ru>

        * config/rs6000/rs6000.h (FUNCTION_VALUE): Remove macro.
        * config/rs6000/rs6000-protos.h (rs6000_function_value): Remove.
        * config/rs6000/rs6000.c (rs6000_function_value): Make static, add
        'outgoing' argument.
        (TARGET_FUNCTION_VALUE): Define.

2009-09-24  Iain Sandoe  <iain.sandoe@sandoe-acoustics.co.uk>

        * config/darwin.h (DWARF2_DEBUGGING_INFO): Define as 1.

2009-09-24  Iain Sandoe  <iain.sandoe@sandoe-acoustics.co.uk>

        PR bootstrap/41405
        * common.opt: Initialize dwarf_strict to -1.
        * toplev.c (process_options): Catch unset dwarf_strict
        and set to 0 for all targets not overriding.
        * config/darwin.c (darwin_override_options): Catch unset
        dwarf_strict and override to 1.

2009-09-24  Jeff Law  <law@redhat.com>

        * tree-into-ssa.c (rewrite_into_ssa): Free interesting_blocks.

2009-09-24  Richard Guenther  <rguenther@suse.de>

        PR tree-optimization/36143
        PR tree-optimization/38747
        * tree-ssa-forwprop.c (forward_propagate_addr_expr_1): Only
        create VIEW_CONVERT_EXPRs for TBAA compatible accesses.

2009-09-24  Jakub Jelinek  <jakub@redhat.com>

        PR bootstrap/41457
        * dwarf2out.c (add_const_value_attribute): For HIGH and CONST_FIXED,
        return false instead of gcc_unreachable ().  For CONST return the
        value returned by recursive call instead of always returning true.
        (tree_add_const_value_attribute): Return the value returned by
        add_const_value_attribute instead of always returning true if rtl
        is non-NULL.

2009-09-23  Justin Seyster  <jrseys@gmail.com>

        * Makefile.in (PLUGIN_HEADERS): Include real.h.

2009-09-24  Jakub Jelinek  <jakub@redhat.com>

        * cgraphunit.c (cgraph_lower_function): Revert last change.
        * targhooks.c (default_static_chain): Use !DECL_STATIC_CHAIN
        instead of DECL_NO_STATIC_CHAIN.
        * tree-cfg.c (verify_gimple_call): Likewise.
        * tree-nested.c (get_chain_decl, get_chain_field,
        convert_tramp_reference_op, convert_gimple_call): Likewise.
        (convert_all_function_calls): Likewise.  Always set or clear
        DECL_STATIC_CHAIN initially, for !n->outer clear it.
        (lower_nested_functions): Remove DECL_NO_STATIC_CHAIN checking code.
        * c-parser.c (c_parser_declaration_or_fndef): Set DECL_STATIC_CHAIN
        if nested.
        * print-tree.c (print_node): Handle DECL_STATIC_CHAIN instead of
        DECL_NO_STATIC_CHAIN.
        * config/i386/i386.c (ix86_static_chain): Use !DECL_STATIC_CHAIN
        instead of DECL_NO_STATIC_CHAIN.
        (ix86_function_regparm, find_drap_reg): Likewise.  Don't test
        decl_function_context.
        * varasm.c (initializer_constant_valid_p): Likewise.
        * tree.h (DECL_NO_STATIC_CHAIN): Renamed to ...
        (DECL_STATIC_CHAIN): ... this.
        * config/moxie/moxie.c (moxie_static_chain): Use !DECL_STATIC_CHAIN
        instead of DECL_NO_STATIC_CHAIN.

2009-09-23  Basile Starynkevitch  <basile@starynkevitch.net>
            Rafael Avila de Espindola  <espindola@google.com>

        * gengtype.c (nb_plugin_files): Make it unsigned to match
        num_gt_files. Adjust other variables to avoid warnings.
        (main): Allocate an all zero lang_bitmap before each plugin file name
        to match regular file names.

2009-09-23  Richard Henderson  <rth@redhat.com>

        * doc/tm.texi (STATIC_CHAIN, STATIC_CHAIN_INCOMING): Remove.
        (TARGET_STATIC_CHAIN): Mention that this hook must be used for
        static chain passed in memory.
        * system.h (STATIC_CHAIN, STATIC_CHAIN_INCOMING): Poison.
        * targhooks.c (default_static_chain): Don't handle STATIC_CHAIN,
        STATIC_CHAIN_INCOMING.  Issue a sorry if there's no
        STATIC_CHAIN_REGNUM defined.

        * config/picochip/picochip-protos.h: s/class/klass/.
        * config/picochip/picochip.c (TARGET_STATIC_CHAIN): New.
        (picochip_static_chain): New.
        * config/picochip/picochip.h (STATIC_CHAIN): Remove.
        (STATIC_CHAIN_INCOMING): Remove.

        * config/xtensa/xtensa.c (TARGET_STATIC_CHAIN): New.
        (xtensa_static_chain): New.
        * config/xtensa/xtensa.h (STATIC_CHAIN): Remove.
        (STATIC_CHAIN_INCOMING): Remove.

2009-09-23  Anatoly Sokolov  <aesok@post.ru>

        * config/pa/pa.h (FUNCTION_VALUE): Remove macro.
        * config/pa/pa-protos.h (function_value): Remove.
        * config/pa/pa.c (pa_function_value): Rename from function_value.
        Make static, add 'outgoing' argument.
        (TARGET_FUNCTION_VALUE): Define.

2009-09-23  Anatoly Sokolov  <aesok@post.ru>

        * config/avr/avr.c (avr_regs_to_save): Use current_function_is_leaf
        instead of cfun->machine->is_leaf.
        * config/avr/avr.h (machine_function): Remove is_leaf field.

2009-09-23  Jakub Jelinek  <jakub@redhat.com>

        PR debug/41439
        * dwarf2out.c (address_of_int_loc_descriptor): Don't emit
        DW_OP_piece after DW_OP_stack_value, adjust size calculations
        for it, when DW_OP_stack_value and DW_OP_implicit_value has
        the same size, prefer DW_OP_stack_value.
        (loc_descriptor, loc_list_for_address_of_addr_expr_of_indirect_ref,
        loc_list_from_tree): Don't emit DW_OP_piece after DW_OP_stack_value.

2009-09-23  Alexandre Oliva  <aoliva@redhat.com>

        PR debug/41353
        * var-tracking.c (add_with_sets): Sort MO_VAL_LOC last among uses.

2009-09-23  Alexandre Oliva  <aoliva@redhat.com>

        PR debug/41248
        * cfgexpand.c (convert_debug_memory_address): New.
        (expand_debug_expr): Convert base address and offset to the same
        mode.  Use it to convert addresses to other modes.  Accept
        ptr_mode addresses.

2009-09-23  Richard Guenther  <rguenther@suse.de>

        * alias.c (ao_ref_from_mem): Correct for negative MEM_OFFSET
        produced for bigendian targets with promoted subregs.

2009-09-23  Richard Guenther  <rguenther@suse.de>

        * value-prof.c (gimple_ic): Purge old EH edges only after building
        the new ones.

2009-09-23  Nick Clifton  <nickc@redhat.com>

        * config/arc/arc.c (arc_trampoline_init): Fix typo.

2009-09-23  Jakub Jelinek  <jakub@redhat.com>

        PR bootstrap/41405
        * doc/invoke.texi: Document -gstrict-dwarf and -gno-strict-dwarf.

        PR bootstrap/41436
        * cgraphunit.c (cgraph_lower_function): Set DECL_NO_STATIC_CHAIN
        on non-nested functions.

2009-09-23  Jakub Jelinek  <jakub@redhat.com>
            Jan Hubicka  <jh@suse.cz>

        * dwarf2out.c (loc_list_plus_const): Only define if
        DWARF2_DEBUGGING_INFO.
        (address_of_int_loc_descriptor): Likewise.

        PR debug/41411
        * dwarf2out.c (mem_loc_descriptor): Handle HIGH.

2009-09-23  Uros Bizjak  <ubizjak@gmail.com>

        PR c/39779
        * c-typeck.c (build_binary_op) <short_shift>: Check that integer
        constant is more than zero.

2009-09-23  Alan Modra  <amodra@bigpond.net.au>

        PR target/40473
        * config/rs6000/rs6000.c (rs6000_output_function_prologue): Don't
        call final to emit non-scheduled prologue, instead insert at entry.

2009-09-22  Loren J. Rittle  <ljrittle@acm.org>
            Joseph S. Myers  <joseph@codesourcery.com>

        * doc/install.texi (*-*-freebsd*): Add proper format codes.

2009-09-22  Basile Starynkevitch  <basile@starynkevitch.net>
            Rafael Avila de Espindola  <espindola@google.com>

        * gengtype.c (is_file_equal): New function.
        (close_output_files): Use is_file_equal. Free of->buf.

2009-09-22  Basile Starynkevitch  <basile@starynkevitch.net>
            Rafael Avila de Espindola  <espindola@google.com>

        * gengtype.c (write_types, write_local): Add the output_header
        argument. Update all callers.

2009-09-22  Dodji Seketeli  <dodji@redhat.com>

        * dwarf2out.c (template_parameter_pack_die,
        gen_formal_parameter_pack_die ): New functions.
        (make_ith_pack_parameter_name): Remove this function.
        (dwarf_tag_name): Support printing DW_TAG_template_parameter_pack and
        DW_TAG_formal_parameter_pack.
        (gen_generic_params_dies): Represent each template parameter pack
        by a DW_TAG_template_parameter_pack DIE. Argument pack elements are
        represented by usual DW_TAG_template_*_parameter DIEs that are
        children of the DW_TAG_template_parameter_pack element DIE.
        (generic_parameter_die): This doesn't deal with parameter pack
        names anymore. Don't generate DW_AT_name for some DIEs, e.g. children
        of parameter pack DIEs.
        (gen_formal_parameter_die): Add a flag to not emit DW_AT_name
        in certain cases, e.g. for pack elements.
        (gen_formal_types_die, gen_decl_die): Adjust usage of
        gen_formal_parameter_die.
        (gen_subprogram_die): Represent each function parameter pack by a
        DW_TAG_formal_parameter_pack DIE. Arguments of of the pack are
        represented by usual DW_TAG_formal_parameter DIEs that are children
        of the DW_TAG_formal_parameter_pack DIE. Remove references to
        ____builtin_va_alist decls as no part of the compiler uses those
        anymore.
        * langhooks.h (struct lang_hooks_for_decls): Add
        function_parm_expanded_from_pack_p, get_generic_function_decl
        and function_parameter_pack_p hooks.  Fix comment for
        get_innermost_generic_parms hook.
        * langhooks-def.h (LANG_HOOKS_FUNCTION_PARAMETER_PACK_P,
        LANG_HOOKS_FUNCTION_PARM_EXPANDED_FROM_PACK_P ): Declare new hook
        macros and use them to initialize lang_hook.

2009-09-22  Richard Henderson  <rth@redhat.com>

        * system.h (TRAMPOLINE_TEMPLATE, INITIALIZE_TRAMPOLINE): Poison.
        (TRAMPOLINE_ADJUST_ADDRESS): Poison.
        * target-def.h (TARGET_ASM_TRAMPOLINE_TEMPLATE): Don't conditionalize
        on TRAMPOLINE_TEMPLATE.
        (TARGET_TRAMPOLINE_ADJUST_ADDRESS): Don't conditionalize on
        TRAMPOLINE_ADJUST_ADDRESS.
        * targhooks.c (default_asm_trampoline_template): Remove.
        (default_trampoline_adjust_address): Remove.
        (default_trampoline_init): Don't handle INITIALIZE_TRAMPOLINE.
        * targhooks.h: Update decls.

2009-09-22  Dave Korn  <dave.korn.cygwin@gmail.com>

        * config/i386/cygming.h (TARGET_USE_JCR_SECTION): Enable.
        * config/i386/cygwin.h (LIBGCJ_SONAME): Define.
        * config/i386/mingw32.h (LIBGCJ_SONAME): Likewise.

2009-09-22  Alexandre Oliva  <aoliva@redhat.com>

        PR debug/41295
        * reload1.c (reload): Reset debug insns with pseudos without
        equivalences.

2009-09-22  Janis Johnson  <janis187@us.ibm.com>

        * config/i386/i386.c (ix86_scalar_mode_supported_p): Don't return
        unconditional true for decimal float modes.
        * config/rs6000/rs6000.c (rs6000_scalar_mode_supported_p): Ditto.
        * config/s390/s390.c (s390_scalar_mode_supported_p): Ditto.

2009-09-22  Loren J. Rittle  <ljrittle@acm.org>

        * unwind-dw2-fde-glibc.c: Define and use USE_PT_GNU_EH_FRAME.
        Enable a new case for __FreeBSD__ >= 7.
        * crtstuff.c:  Define USE_PT_GNU_EH_FRAME for __FreeBSD__ >= 7.
        * config/t-freebsd: Define LIB2ADDEH and LIB2ADDEHDEP.
        * config/freebsd-spec.h: Conditionally define LINK_EH_SPEC
        and USE_LD_AS_NEEDED.

        * doc/install.texi (*-*-freebsd*): Update target information.

2009-09-22  Richard Guenther  <rguenther@suse.de>

        PR middle-end/41395
        * tree-dfa.c (get_ref_base_and_extent): Handle trailing
        arrays really properly.

2009-09-22  Richard Henderson  <rth@redhat.com>

        PR target/41246
        * target.h (struct gcc_target): Add asm_out.trampoline_template,
        calls.static_chain, calls.trampoline_init,
        calls.trampoline_adjust_address.
        * target-def.h (TARGET_ASM_TRAMPOLINE_TEMPLATE): New.
        (TARGET_STATIC_CHAIN, TARGET_TRAMPOLINE_INIT): New.
        (TARGET_TRAMPOLINE_ADJUST_ADDRESS): New.
        * builtins.c (expand_builtin_setjmp_receiver): Use
        targetm.calls.static_chain; only clobber registers.
        (expand_builtin_init_trampoline): Use targetm.calls.trampoline_init;
        set up memory attributes properly for the trampoline block.
        (expand_builtin_adjust_trampoline): Use
        targetm.calls.trampoline_adjust_address.
        * calls.c (prepare_call_address): Add fndecl argument.  Use
        targetm.calls.static_chain.
        * df-scan.c (df_need_static_chain_reg): Remove.
        (df_get_entry_block_def_set): Use targetm.calls.static_chain;
        consolodate static chain handling.
        * doc/tm.texi: Document new hooks.
        * emit-rtl.c (static_chain_rtx, static_chain_incoming_rtx): Remove.
        (init_emit_regs): Don't initialize them.
        * expr.h (prepare_call_address): Update decl.
        * final.c (profile_function): Use targetm.calls.static_chain.
        * function.c (expand_function_start): Likewise.
        * rtl.h (static_chain_rtx, static_chain_incoming_rtx): Remove.
        * stmt.c (expand_nl_goto_receiver): Use targetm.calls.static_chain;
        only clobber registers.
        * targhooks.c (default_static_chain): New.
        (default_asm_trampoline_template, default_trampoline_init): New.
        (default_trampoline_adjust_address): New.
        * targhooks.h: Declare them.
        * varasm.c (assemble_trampoline_template): Use
        targetm.asm_out.trampoline_template.  Make the memory block const
        and set its size.

        * config/alpha/alpha.c (alpha_trampoline_init): Rename from
        alpha_initialize_trampoline.  Make static.  Merge VMS parameter
        differences into the TARGET_ABI_OPEN_VMS code block.
        (TARGET_TRAMPOLINE_INIT): New.
        * config/alpha/alpha.h (TRAMPOLINE_TEMPLATE): Remove.
        (TRAMPOLINE_SECTION, INITIALIZE_TRAMPOLINE): Remove.
        * config/alpha/vms.h (TRAMPOLINE_SIZE, TRAMPOLINE_ALIGNMENT): Remove.
        (INITIALIZE_TRAMPOLINE): Remove.

        * config/arc/arc.h (TRAMPOLINE_ALIGNMENT): New.
        (TRAMPOLINE_TEMPLATE): Merge&nbs