Changlog libcpp

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

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

        * config.gcc (tm_file): Remove i386/biarch32.h
        for i?86-w64-mingw* case.
        (i?86-*-mingw* andx86_64-*-mingw*): Add multilib
        support.
        * config.host: Set for cygwin and x86/x64 mingw the
        option use_long_long_for_widest_fast_int to yes.

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

        * tree.h (DECL_IGNORED_P): Document further effect for FUNCTION_DECL.
        * dbxout.c (dbxout_function_end): Do not test DECL_IGNORED_P.
        (dbxout_begin_function): Likewise.
        * final.c (dwarf2_debug_info_emitted_p): New predicate.
        (final_start_function): Do not emit debug info if DECL_IGNORED_P is
        set on the function.
        (final_end_function): Likewise.
        (final_scan_insn): Likewise.
        (rest_of_handle_final): Likewise.
        * varasm.c (assemble_start_function): Likewise.
        * config/rs6000/xcoff.h (ASM_DECLARE_FUNCTION_NAME): Likewise.

2009-09-12  Jason Merrill  <jason@redhat.com>

        * dbgcnt.c (dbg_cnt_process_single_pair): constify.
        * opts.c (common_handle_option): constify.

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

        * doc/install.texi (avr): Remove obsolete reference site.

2009-09-12  Gerald Pfeifer  <gerald@pfeifer.com>
        
        * doc/install.texi (Binaries): Adjust AIX link.

2009-09-12  Akim Demaille  <demaille@gostai.com>

        * doc/invoke.texi (-fstrict-aliasing): Correct two examples.
        Use an imperative sentence.

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

        * gsstruct.def (DEFGSSTRUCT): Remove printable-name argument; add
        structure-name and has-tree-operands arguments; update all entries.
        * gimple.def (DEFGSCODE): Replace 3rd argument with GSS_symbol;
        update all entries.
        * gimple.c (gimple_ops_offset_): Use HAS_TREE_OP argument.
        (gsstruct_code_size): New.
        (gss_for_code_): New.
        (gss_for_code): Remove.
        (gimple_size): Rewrite using gsstruct_code_size.
        (gimple_statement_structure): Move to gimple.h.
        * gimple.h (gimple_ops_offset_, gss_for_code_): Declare.
        (gss_for_code, gimple_statement_structure): New.
        (gimple_ops): Use new arrays; tidy.

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

        * config/pa/predicates.md (symbolic_operand): Require a CONST symbolic
        operand to be a PLUS expression.
        * config/pa/pa.c (pa_secondary_reload): Likewise.

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

        * combine.c (propagate_for_debug_subst): Call wrap_constant on top.

        * print-rtl.c (print_rtx): Use JUMP_LABEL (in_rtx) instead of
        XEXP (in_rtx, 8).

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

        From Jie Zhang <jie.zhang@analog.com>:
        * doc/extend.texi (node Function Attributes): Document l2
        function attribute.
        (node Blackfin Variable Attributes): Document l2 variable attributes.

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

        * config.gcc (*-*-freebsd*): Enable default_use_cxa_atexit
        to match the system compiler's configuration at inflection point.
        Add comment to remark a remaining difference with system compiler.

        * configure.ac (*-*-freebsd*): Enable check for __stack_chk_fail.
        * configure: Regenerate.

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

        From Jie Zhang <jie.zhang@analog.com>:
        * config/bfin/bfin.c (bfin_expand_call): Handle L2 functions.
        (bfin_handle_l2_attribute): New.
        (bfin_attribute_table): Add l2 attribute.

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

        PR middle-end/41275
        * tree-inline.c (remap_decls): Don't put DECL_EXTERNAL decls
        on the local_decls list.

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

        PR debug/41276
        PR debug/41307
        * cselib.c (cselib_expand_value_rtx_cb): Document callback
        interface.
        (cselib_expand_value_rtx_1): Use callback for SUBREGs.  Adjust
        for VALUEs, to implement the documented interface.
        * var-tracking.c (vt_expand_loc_callback): Handle SUBREGs.
        Adjust for VALUEs and anything else, to implement the
        documented interface.

2009-09-10  Nathan Froyd  <froydnj@codesourcery.com>

        * config/rs6000/rs6000.h (DATA_ALIGNMENT): Check that we are dealing
        with actual SPE/paired vector modes before using 64-bit alignment.
        Check that TYPE is a REAL_TYPE for TARGET_E500_DOUBLE.

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

        * config/mep/mep.md (eh_epilogue): Defer until after epilogue is
        emitted.

        * config/mep/mep.h (LEGITIMATE_CONSTANT_P): New.
        * config/mep/mep.c (mep_legitimate_constant_p): New.
        * config/mep/mep-protos.h: Prototype it.

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

        * print-rtl.c (print_rtx): Fix JUMP_LABEL index.

2009-09-10  Jason Merrill  <jason@redhat.com>

        * tree.c (chain_index): New fn.
        * tree.h: Declare it.

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

        * config/sol2-c.c (cmn_err_length_specs): Initialize
        scalar_identity_flag.

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

        * tree.h (struct tree_decl_common): Move align member earlier;
        move label_decl_uid member ...
        (struct tree_label_decl): ... here.
        (LABEL_DECL_UID): Update to match.

        * tree-cfg.c (dump_function_to_file): Dump eh tree with TDF_EH,
        not TDF_DETAILS.

        * tree-cfg.c (gimple_redirect_edge_and_branch): Do
        gimple_try_redirect_by_replacing_jump test after no-op and EH tests.

        * tree-cfg.c (split_edge_bb_loc): Don't disallow placement at
        dest_prev if the edge is complex.

        * tree-cfg.c (is_ctrl_stmt): Use a switch.

        * tree-cfg.c (gimple_can_merge_blocks_p): Move label and
        loop latch tests earlier.

        * gimple-iterator.c (gimple_find_edge_insert_loc): Insert
        before GIMPLE_RETURN, not after its predecessor; insert
        before GIMPLE_RESX.

        * gimple-iterator.c (gimple_find_edge_insert_loc): Use
        gimple_seq_empty_p to test for no PHI nodes.
        * tree-cfg.c (split_critical_edges): Likewise.

        * c-common.h (c_dialect_cxx, c_dialect_objc): Boolify.

2009-09-10  Hariharan Sandanagobalane  <hariharan@picochip.com>

        * final.c (shorten_branches) : Ignore DEBUG_INSN_P instructions
        introduced by the VTA branch merge.

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

        * ira-conflicts.c: Use fputs or putc instead of fprintf
        where appropriate.
        * cfg.c: Ditto.
        * toplev.c: Ditto.
        * tree-switch-conversion.c: Ditto.

2009-09-10  Hariharan Sandanagobalane  <hariharan@picochip.com>

        * config/picochip/picochip.c : Ignore DEBUG_INSN_P instructions
        introduced by the VTA branch merge.

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

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

        PR rtl-optimization/39779
        * expr.c (convert_modes): Return when mode == oldmode after
        CONST_INTs are processed.

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

        * config/mep/mep.c (mep_encode_section_info): Copy weakness
        attribute and referring decl when creating renamed symbol.

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

        PR middle-end/41257
        * cgraphunit.c (cgraph_emit_thunks): Emit thunks only for
        reachable nodes.
        (cgraph_finalize_compilation_unit): Compute reachability
        before emitting thunks.  Properly process aliases before
        possibly removing unreachable nodes.

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

        PR middle-end/41254
        * tree.c (struct free_lang_data_d): Add worklist member.
        (find_decls_types_r): Push onto the worklist instead of recursing.
        Handle TREE_BINFOs properly.
        (find_decls_types): New function wrapped around find_decls_types_r
        to process the worklist.
        (find_decls_types_in_eh_region): Use it.
        (find_decls_types_in_node): Likewise.
        (find_decls_types_in_var): Likewise.
        (free_lang_data_in_cgraph): Likewise.  Free the worklist.
        * tree.h (RECORD_OR_UNION_TYPE_P): New.
        (AGGREGATE_TYPE_P): Adjust.

2009-09-09  Jason Merrill  <jason@redhat.com>

        * configure.ac: Check glibc version even if we have an in-tree
        assembler.

2009-09-09  Anthony Green  <green@moxielogic.com>

        * config/moxie/moxie.md (*movsi, *movhi, *movqi): Use xor to load
        the constant 0 when appropriate.
        * config/moxie/constraints.md: Add constraint O.

        * config/moxie/moxie.c (moxie_setup_incoming_varargs): Adjust
        to pass up to 6 32-bit argument values in registers.
        (moxie_function_arg): Ditto.
        (moxie_arg_partial_bytes): Ditto.
        * config/moxie/moxie.h (FUNCTION_ARG_ADVANCE): Ditto.
        (REG_PARM_STACK_SPACE): Ditto.
        (FUNCTION_ARG_REGNO_P): Ditto.

        * config/moxie/moxie.c (moxie_expand_prologue): Use dec
        instruction to allocate stack space.

2009-09-09  Segher Boessenkool  <segher@kernel.crashing.org>

        * config/rs6000/rs6000.md (bswapdi2_64bit): Fix
        unnecessarily stringent constraints.  Fix address
        calculation in the splitters.

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

        PR rtl-optimization/39779
        * expr.c (convert_modes): Return when mode == oldmode after
        CONST_INTs are processed.

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

        PR/41315
        * config/i386.c (ix86_can_use_return_insn_p): Check for padding0, too.
        (ix86_expand_prologue): Take frame.padding0 into logic of
        to_allocate checks.
        (ix86_expand_epilogue): Likewise.

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

        * config/t-slibgcc-elf-ver (SHLIB_MAKE_SOLINK, SHLIB_INSTALL_SOLINK):
        New variables.
        (SHLIB_LINK, SHLIB_INSTALL): Use them.
        * config/t-slibgcc-libgcc: New file.
        * config.gcc (powerpc*-*-linux*, powerpc*-*-gnu*): Use it.

2009-09-09  Martin Jambor  <mjambor@suse.cz>

        PR tree-optimization/41089
        * tree-sra.c (find_var_candidates): Do not consider va_lists in
        early SRA.

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

        * gimple.h (CASE_GIMPLE_OMP): New.
        (is_gimple_omp): Use it.
        * tree-cfg.c (is_ctrl_altering_stmt): Likewise.
        (verify_gimple_debug): Likewise.

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

        PR tree-optimization/41101
        * tree-ssa-pre.c (maximal_set): Remove.
        (compute_antic_aux): Treat the maximal set as implicitly all ones.
        Defer all blocks we didn't visit at least one successor.
        (add_to_exp_gen): Do not add to the maximal set.
        (make_values_for_phi): Likewise.
        (compute_avail): Likewise.
        (init_pre): Do not allocate the maximal set.
        (execute_pre): Do not dump it.

2009-09-09  Martin Jambor  <mjambor@suse.cz>

        * tree-cfg.c (verify_gimple_phi): Check that gimple_phi_result is
        an SSA_NAME rather than a is_gimple_variable.

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

        PR middle-end/41317
        * tree-ssa-ccp.c (maybe_fold_offset_to_component_ref): Remove
        code dealing with plain pointer bases.
        (maybe_fold_offset_to_reference): Likewise.
        (maybe_fold_stmt_addition): Adjust.

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

        * tree.c (free_lang_data_in_type): Do not free the type variant
        chains.
        (free_lang_data): Merge char_type_node with its properly signed
        variant.
        (pass_ipa_free): Collect after freeing language specific data.

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

        PR middle-end/41268
        * cfgexpand.c (expand_gimple_stmt_1): Use an int for storing
        SUBREG_PROMOTED_UNSIGNED_P, instead of a bool.
        * rtl.h (struct rtx, SUBREG_PROMOTED_UNSIGNED_P): Update comments
        to reflect reality.

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

        * config/mep/mep.c (conversions[]): Add "ml" pattern.

2009-09-04  Jason Merrill  <jason@redhat.com>

        * tree.c (tree_find_value): Remove.
        * tree.h: Remove prototype.
        * varasm.c (assemble_external): Use value_member instead.

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

        * toplev.c (process_options): Choose default debugging type when
        gtoggle enables debug info and type is unset.

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

        PR debug/41276
        PR debug/41307
        * cselib.c (cselib_expand_value_rtx_1): Don't return copy of
        invalid subreg.

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

        * configure: Rebuilt with modified libtool.m4.

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

        PR debug/41229
        PR debug/41291
        PR debug/41300
        * tree-ssa.c (execute_update_addresses_taken): Update debug insns.

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

        * tree-ssa-loop-ivopts.c (get_phi_with_result): Remove.
        (remove_statement): Likewise.
        (rewrite_use_nonlinear_expr): Adjust.
        (remove_unused_ivs): Collect SSA NAMEs to remove and call...
        * tree-ssa.c (release_defs_bitset): ... this.  New.
        * tree-flow.h (release_defs_bitset): Declare.

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

        PR debug/41232
        * tree-ssa-phiopt.c (minmax_replacement): Skip debug stmts
        in the middle block.

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

        * tree-ssa-reassoc.c (find_operand_rank): Cast pointer
        via intptr_t to long type.
        (insert_operand_rank): Cast long type via intptr_t to
        pointer type.
        * genattrtab.c (RTL_HASH): Use intptr_t to cast from
        pointer to scalar.
        * c-pretty-print.c (pp_c_tree_decl_identifier): Cast
        from pointer to unsigned via uintptr_t.

        * configure.ac (GCC_STDINT_TYPES): Initialize intptr_t,
        uintptr_t, HAVE_INTTYPES_H, HAVE_STDINT_H, HAVE_UINTPTR_T,
        and HAVE_INTPTR_T.
        * configure: Regenerated.
        * config.in: Regenerated
        * system.h (stdint.h): Add include.
        (inttypes.h): Likewise.
        * Makefile.in (aclocal): Add config/stdint.m4.
        * aclocal.m4: Regenerated.

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

        * config/bfin/bfin.c (np_check_regno, np_after_branch): New static
        variables.
        (note_np_check_stores): New function.
        (harmless_null_pointer_p): New function.
        (trapping_loads_p): New args NP_REG and AFTER_NP_BRANCH.  Callers
        changed.  Take into account whether we're in the shadow of a condjump
        that tested NP_REG for NULL.
        Lose all code that tested for SEQUENCEs.
        (workaround_speculation): Avoid inserting NOPs for loads that are
        either always executed or a NULL pointer.

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

        * doc/invoke.texi (early-inlining-insns): Reduce from 12 to 8.
        * params.def (early-inlining-insns): Likewise.

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

        PR rtl-optimization/41239
        * sched-int.h (struct deps): Add last_function_call_may_noreturn field.
        * sched-rgn.c (deps_join): Join also last_function_call_may_noreturn
        lists.
        * sched-deps.c (sched_analyze_insn): Prevent moving trapping insns
        across calls, as the calls might not always return normally.
        (call_may_noreturn_p): New function.
        (deps_analyze_insn): Update last_function_call_may_noreturn list.
        (init_deps): Initialize it.
        (remove_from_deps): Also remove calls from
        last_function_call_may_noreturn list.

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

        * tree-ssa-sccvn.c (vn_reference_lookup_3): Don't assume there are
        more VR->OPERANDS than LHS operands.  Free LHS before returning.

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

        * config/bfin/bfin.md (UNSPEC_VOLATILE_STALL): New constant.
        (attr "addrtype"): New member "spreg".
        Use it if mem_spfp_address_operand is true for the address.
        (attr "type"): New entry "stall".
        (cpu_unit "load"): New.
        (insn_reservations "load32", "loadp", "loadi"): Add reservation of
        "load".
        (insn_reservation "loadsp"): New.
        (insn_reservation "load_stall1"): New.
        (insn_reservation "load_stall3"): New.
        (stall): New insn.
        * config/bfin/predicates.md (const1_operand, const3_operand): New.
        (mem_p_address_operand): Exclude stack and frame pointer based
        addresses.
        (mem_spfp_address_operand): New; match them here.
        * config/bfin/bfin.c (add_sched_insns_for_speculation): New function.
        (bfin_reorg): Call it if scheduling insns.
        (bfin_gen_bundles): Remove dummy insns created by
        add_sched_insns_for_speculation.

        From Jie Zhang <jie.zhang@analog.com>:
        * config/bfin/bfin-protos.h (enum bfin_cpu_type, bfin_cpu_type,
        bfin_si_revision, bfin_workarounds): Move these ...
        * config/bfin/bfin.h: ... here.

        From Mike Frysinger  <michael.frysinger@analog.com>
        * config/bfin/bfin-protos.h (bfin_cpu_type): Add BFIN_CPU_BF542M,
        BFIN_CPU_BF544M, BFIN_CPU_BF547M, BFIN_CPU_BF548M, and BFIN_CPU_BF549M.
        * config/bfin/bfin.c (bfin_cpus[]): Add 0.3 for bf542m, bf544m,
        bf547m, bf548m, and bf549m.
        * config/bfin/bfin.h (TARGET_CPU_CPP_BUILTINS): Define __ADSPBF542M__
        for BFIN_CPU_BF542M, __ADSPBF544M__ for BFIN_CPU_BF544M,
        __ADSPBF547M__ for BFIN_CPU_BF547M, __ADSPBF548M__ for
        BFIN_CPU_BF548M, and __ADSPBF549M__ for BFIN_CPU_BF549M.
        * config/bfin/t-bfin-elf (MULTILIB_MATCHES): Select bf532-none for
        bf542m-none, bf544m-none, bf547m-none, bf548m-none, and bf549m-none.
        * config/bfin/t-bfin-linux (MULTILIB_MATCHES): Likewise.
        * config/bfin/t-bfin-uclinux (MULTILIB_MATCHES): Likewise.
        * doc/invoke.texi (Blackfin Options): Document that -mcpu now accepts
        bf542m, bf544m, bf547m, bf548m, and bf549m.

        From Jie Zhang <jie.zhang@analog.com>:
        * config/bfin/predicates.md (p_register_operand): New predicate.
        (dp_register_operand): New predicate.
        * config/bfin/bfin-protos.h (WA_05000074): Define.
        (ENABLE_WA_05000074): Define.
        * config/bfin/bfin.c (bfin_cpus[]): Add WA_05000074 for all cpus.
        (bfin_gen_bundles): Put dsp32shiftimm instruction in slot[0].
        * config/bfin/bfin.md (define_attr type): Add dsp32shiftimm.
        (define_attr addrtype): Allow load/store register to be P register.
        (define_attr storereg): New.
        (define_cpu_unit anomaly_05000074): New.
        (define_insn_reservation dsp32shiftimm): New.
        (define_insn_reservation dsp32shiftimm_anomaly_05000074): New.
        (define_insn_reservation loadp): Cannot use slot2.
        (define_insn_reservation loadsp): Cannot use slot2.
        (define_insn_reservation storep): Cannot use slot2. Does not
        apply when working around 05000074.
        (define_insn_reservation storep_anomaly_05000074): New.
        (define_insn_reservation storei): Does not apply when working
        around 05000074.
        (define_insn_reservation storei_anomaly_05000074): New.
        (define_attr length): Add dsp32shiftimm case.
        (define_insn movsi_insn32, movsi_insv, ashlsi3_insn, ashrsi3,
        ror_one, rol_one, lshrsi3, lshrpdi3, ashrpdi3, movhiv2hi_low,
        movhiv2hi_high, composev2hi, packv2hi, movv2hi_hi,
        ssashiftv2hi3, ssashifthi3, ssashiftsi3, lshiftv2hi3, lshifthi3):
        Set type as dsp32shiftimm for dsp32shiftimm alternatives.

2009-09-07  Martin Jambor  <mjambor@suse.cz>

        PR middle-end/41282
        * tree-sra.c (create_artificial_child_access): Return NULL if
        build_ref_for_offset fails.
        (propagate_subacesses_accross_link): Allow build_ref_for_offset
        and create_artificial_child_access to fail.

2009-09-06  Dmitry Gorbachev  <d.g.gorbachev@gmail.com>

        PR c++/41214
        * unwind-dw2.c (uw_init_context_1): Mark noinline.
        * config/ia64/unwind-ia64.c (uw_init_context_1): Likewise.
        * config/xtensa/unwind-dw2-xtensa.c (uw_init_context_1): Likewise.

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

        * config/bfin/bfin.c (bfin_optimize_loop): When creating a new basic
        block, ensure it has an exit edge.  Emit a barrier after a jump.

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

        * gcc.c (this_is_linker_script): New variable.  Like
        this_is_library_file but for the %T constructor.
        (end_going_arg): If this_is_linker_script is set then locate the
        script and insert a --script switch before it
        (do_spec_2): Initialise this_is_linker_script.
        (do_spec_1): Likewise.  Handle %T construct.
        (eval_spec_function): Preserve this_is_linker_script.
        * doc/invoke.texi: Document %T construct in spec files.
        * config/m32c/m32c.h (LIB_SPEC): Use it.

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

        * rtl.h (PREFETCH_SCHEDULE_BARRIER_P): New macro.
        * sched-deps.c (sched_analyze_2): Make prefetches a hard barrier
        when volatile flag is set.
        * doc/rtl.texi (PREFETCH_SCHEDULE_BARRIER_P): Add documentation pieces.

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

        PR bootstrap/41241
        * combine-stack-adj.c (try_apply_stack_adjustment): Handle stores.
        (combine_stack_adjustments_for_block): Allow insns between stack
        adjustments and stores with corresponding pre-(dec|inc)rement or
        pre-modify operation.

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

        PR bootstrap/41241
        * combine-stack-adj.c (struct csa_memlist): Rename to...
        (struct csa_reflist): ... this.  Rename mem field to ref.
        (free_csa_memlist): Rename to...
        (free_csa_reflist): ... this.
        (record_one_stack_memref): Rename to...
        (record_one_stack_ref): ... this.  Handle also REG_P.
        (try_apply_stack_adjustment): Handle also REG_P.
        (struct record_stack_memrefs_data): Rename to...
        (struct record_stack_refs_data): ... this.  Rename memlist field to
        reflist.
        (record_stack_memrefs): Rename to...
        (record_stack_refs): ... this.  For DEBUG_INSNs keep traversing
        subexpressions instead of failing when a MEM contains SP references.
        For SP itself in DEBUG_INSNs queue it also onto reflist chain.
        (combine_stack_adjustments_for_block): Adjust for mem to ref renaming.

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

        PR middle-end/41144
        * tree.c (build_array_type): Do not record types marked
        with structural equality in the canonical type hashtable.

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

        PR middle-end/41261
        * tree-ssa-alias.c (refs_may_alias_p_1): Bail out for function decls.

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

        PR middle-end/41181
        * tree-ssa-ccp.c (maybe_fold_stmt_addition): Use the correct type.

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

        PR debug/41273
        * tree-ssa-operands.c (get_tmr_operands): Pass through opf_no_vops.

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

        PR middle-end/41271
        * tree-ssa.c (useless_type_conversion_p): Drop qualifiers
        before comparing function argument types.

2009-09-05  Francois-Xavier Coudert  <fxcoudert@gcc.gnu.org>

        PR target/41024
        * config/i386/mingw-w64.h (ASM_SPEC): Pass -v instead of -V to
        the assembler.

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

        Revert:
        2009-08-18  Uros Bizjak  <ubizjak@gmail.com>

        * config/alpha/alpha.c (alpha_output_mi_thunk_osf): Allocate insn
        locators before emit_insn is called.

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

        PR bootstrap/41241
        * ira.c (update_equiv_reg): Revert my previous patch for the PR.
        * reginfo.c (resize_reg_info): Call allocate_reg_info if necessary.
        (reginfo_init): Don't call allocate_reg_info.

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

        PR target/41262
        * config/alpha/alpha.c (alpha_does_function_need_gp): Use
        NONDEBUG_INSN_P instead of INSN_P.

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

        PR debug/41225
        * tree-vect-stmts.c (vect_stmt_relevant_p): Skip debug uses.

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

        PR target/41252
        * config/arm/vfp.md (*cmpdf_split_vfp): Fix src mode in the second
        pattern of the split.

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

        * toplev.c (process_options): Move setter of flag_var_tracking
        before other tests that depend on it.  Move down setter of
        flag_rename_registers.  Don't enable var-tracking-assignments
        by default if selective scheduling is enabled.  Warn if both
        are enabled.

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

        * var-tracking.c (dv_is_decl_p): Adjust NULL behavior to match
        comment.  Use switch statement to catch overlaps between rtx
        and tree codes.  Accept FUNCTION_DECLs in addition to those in...
        (IS_DECL_CODE): ... here. Remove.
        (check_value_is_not_decl): Remove.
        (dv_from_decl, dv_from_value): Check after conversion.

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

        PR middle-end/41257
        * (cgraph_finalize_compilation_unit): Move finalizing aliases
        after emitting tunks.  Move emitting thunks and ctors from ...
        (cgraph_optimize): ... here.  Remove redundant
        cgraph_analyze_functions.
        * varasm.c (find_decl_and_mark_needed): Remove no longer
        necessary check.
        (finish_aliases_1): Adjust check for thunk aliases.

2009-09-04  Daniel Gutson  <dgutson@codesourcery.com>

        * config/arm/arm.md (ctzsi2): Added braces
        to avoid warning that broke booststrap.

2009-09-04  Martin Jambor  <mjambor@suse.cz>

        PR tree-optimization/41112
        * tree-sra.c (build_ref_for_offset_1): Signal that we cannot
        handle variable-bounded arrays.
        (expr_with_var_bounded_array_refs_p): New function.
        (analyze_access_subtree): Call expr_with_var_bounded_array_refs_p.

2009-09-04  Wolfgang Gellerich  <gellerich@de.ibm.com>

        * config/s390/2097.md: Removed two incorrect bypasses.
        (z10_fsimpdf): Fixed latency.
        (z10_fhex): New insn_reservation.
        (z10_floaddf): Fixed latency.
        (z10_floadsf): Fixed latency.
        (z10_ftrunctf): Fixed latency.
        (z10_ftruncdf): Fixed latency.
        * config/s390/s390.c (z10_cost): Fixed values.
        (s390_adjust_priority): Added z10 path.
        * config/s390/s390.md (type): Added fhex.
        (*mov<mode>_64dfp): Updated type attribute.
        (*mov<mode>_64): Updated type attribute.
        (*mov<mode>_31): Updated type attribute.
        (*mov<mode>"): Likewise.
        * config/s390/2084.md (x_fsimpdf): Updated condition.

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

        * config/s390/s390.md ("*fmadd<mode>", "*fmsub<mode>"): Enable mem
        RTXs in the predicate for operand 1.

2009-09-03  Daniel Gutson  <dgutson@codesourcery.com>

        * config/arm/arm.md (UNSPEC_RBIT): New constant.
        (rbitsi2): New insn.
        (ctzsi2): New expand.
        * config/arm/arm.h (CTZ_DEFINED_VALUE_AT_ZERO): New macro.

2009-09-03  Martin Jambor  <mjambor@suse.cz>

        * tree-sra.c (duplicate_expr_for_different_base): Removed.
        (create_artificial_child_access): Use build_ref_for_offset instead
        of duplicate_expr_for_different_base.
        (propagate_subacesses_accross_link): Likewise.

2009-09-03  Richard Sandiford  <rdsandiford@googlemail.com>

        * config/mips/mips.c (USEFUL_INSN_P): Use NONDEBUG_INSN_P instead
        of INSN_P.
        (mips16e_collect_argument_saves): Skip debug instructions.
        (mips_74k_agen_init): Use CALL_P || JUMP_P instead of !NONJUMP_INSN_P.
        (mips16_lay_out_constants): Use USEFUL_INSN_P instead of INSN_P.
        (r10k_insert_cache_barriers): Likewise.
        (mips_reorg_process_insns): Likewise.

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

        PR bootstrap/41241
        * ira.c (update_equiv_reg): Remove check on class likely spill.

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

        PR debug/41236
        * dwarf2out.c (loc_descriptor): Don't use SUBREG_REG macro on
        SIGN_EXTEND or ZERO_EXTEND.  Don't assume there is a REG inside of
        it or SUBREG.

        PR debug/41238
        * function.c (assign_parm_find_stack_rtl): Don't set mem attributes on
        the stack slot if it is passed by invisible reference.
        * var-tracking.c (vt_add_function_parameters): Handle arguments passed
        by invisible reference.

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

        * config/bfin/linux.h (TARGET_SUPPORTS_SYNC_CALLS): Define to 1.
        * config/bfin/uclinux.h (TARGET_SUPPORTS_SYNC_CALLS): Define to 1.
        * config/bfin/bfin.h (TARGET_SUPPORTS_SYNC_CALLS): Provide default of
        0.
        * config/bfin/sync.md: New file.
        * config/bfin/bfin.md: Include it.
        (UNSPEC_ATOMIC): New.
        (UNSPEC_ONES): Provide a unique number.

        From Jie Zhang <jie.zhang@analog.com>:
        * config/bfin/bfin.c (ret_regs): New.
        (must_save_fp_p): Don't return true because of frame_pointer_needed.
        (must_save_rets_p): New.
        (n_regs_saved_by_prologue): Use must_save_rets_p instead of
        current_function_is_leaf.
        (do_link): Likewise.
        (do_unlink): Likewise.
        (expand_interrupt_handler_prologue): Use ret_regs array.
        (expand_interrupt_handler_epilogue): Use ret_regs array and
        pass return register to gen_return_internal.
        (bfin_expand_epilogue): Pass return register to
        gen_return_internal.
        (bfin_expand_call): Explicitly clobber RETS.
        * config/bfin/bfin.h (FUNCTION_RETURN_REGISTERS): Define.
        * config/bfin/bfin.md (call_symbol_fdpic, call_value_symbol_fdpic,
        call_insn_fdpic, call_value_insn_fdpic, call_symbol,
        call_value_symbol, call_insn, call_value_insn): Explicitly clobber
        RETS.
        (return_internal): Take a reg rtx rather than the register number.

2009-09-03  H.J. Lu  <hongjiu.lu@intel.com>

        * tree-parloops.c (parallelize_loops): Cast to HOST_WIDE_INT
        when comparing against estimated_loop_iterations_int return.

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

        * dwarf2out.c (dwarf2out_do_cfi_asm): Remove check of
        eh_personality_libfunc.

2009-09-03  Razya Ladelsky  <razya@il.ibm.com>

        * tree-parloops.c (separate_decls_in_region): Add space.

2009-09-03  Razya Ladelsky  <razya@il.ibm.com>

        * tree-parloops.c (separate_decls_in_region): Change the condition
        checking if there are reductions in the loop.

2009-09-03  Razya Ladelsky  <razya@il.ibm.com>

        PR tree-optimization/38275
        * tree-parloops.c (parallelize_loops): Replace profitability condition
        for expected number of iterations.

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

        * doc/invoke.texi (BUILD_CONFIG): Document --with-build-config.
        (bootstrap-debug): Explain conditions in which it becomes default.
        (bootstrap-debug-big): Rather than duplicate bootstrap-debug,
        make it add to it.

2009-09-03  Namhyung Kim  <namhyung@gmail.com>

        * doc/invoke.texi (Optimize Options): Move
        -finline-small-functions to the -O2 list.

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

        * toplev.c (process_options): Enable var-tracking-assignments
        by default if var-tracking is enabled.

2009-09-02  David Daney  <ddaney@caviumnetworks.com>

        * cfgbuild.c (find_bb_boundaries): Split blocks containing a
        barrier.
        * emit-rtl.c (prev_nonnote_insn_bb): New function.
        * rtl.h (prev_nonnote_insn_bb): Declare it.

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

        * cgraph.c (cgraph_node_for_decl): New.
        * cgraph.h (cgraph_node_for_decl): Declare.
        * tree.c (host_integerp): Return 0 if T is NULL.

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

        * tree.h (struct alias_pair): Move from varasm.c.
        (alias_pairs): Likewise.
        (TYPE_MAXVAL): Define.
        (TYPE_MINVAL): Define.
        (iterative_hash_host_wide_int): Declare.
        (remove_unreachable_alias_pairs): Declare.
        * tree-pass.h (pass_ipa_free_lang_data): Declare.
        * diagnostic.c (default_diagnostic_starter): Make extern.
        (default_diagnostic_finalizer): Make extern.
        * diagnostic.h (default_diagnostic_starter): Declare.
        (default_diagnostic_finalizer): Declare.
        (default_tree_printer): Declare.
        * toplev.c (default_tree_printer): Make extern.

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

        * cgraph.c (cgraph_add_new_function): Remove gimplification.
        * cgraphunit.c (cgraph_expand_function): Do not emit
        associated thunks from here.
        (cgraph_emit_thunks): New.
        (cgraph_optimize): Call it.
        Return if any IPA pass finds an error.
        * varasm.c (finish_aliases_1): Ignore errorneous aliases used
        by thunks.

2009-09-03  Simon Baldwin  <simonb@google.com>
            Rafael Espindola  <espindola@google.com>
            Richard Guenther  <rguenther@suse.de>
            Doug Kwan  <dougkwan@google.com>
            Diego Novillo  <dnovillo@google.com>

        * tree.c: Include tree-pass.h, langhooks-def.h,
        diagnostic.h, cgraph.h, timevar.h, except.h and debug.h.
        (free_lang_data_in_type): New.
        (need_assembler_name_p): New.
        (free_lang_data_in_block): New.
        (free_lang_data_in_decl): New.
        (struct free_lang_data_d): New.
        (add_tree_to_fld_list): New.
        (find_decls_types_r): New.
        (get_eh_types_for_runtime): New.
        (find_decls_types_in_eh_region): New.
        (find_decls_types_in_node): New.
        (find_decls_types_in_var): New.
        (free_lang_data_in_cgraph): New.
        (free_lang_data): New.
        (gate_free_lang_data): New.
        (pass_ipa_free_lang_data): New.

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

        * timevar.def (TV_IPA_FREE_LANG_DATA): Define.
        * langhooks.h (struct lang_hooks): Add field free_lang_data.
        (lang_hooks): Remove const qualifier.
        * ipa.c (cgraph_remove_unreachable_nodes): Call
        remove_unreachable_alias_pairs.
        * except.c (add_type_for_runtime): Check if TYPE has
        already been converted.
        (lookup_type_for_runtime): Likewise.
        (check_handled): Handle converted types.
        * varasm.c (remove_unreachable_alias_pairs): New.
        * gimple.c: Include demangle.h.
        (gimple_decl_printable_name): New.
        (gimple_fold_obj_type_ref): New.
        * gimple.h (gimple_decl_printable_name): Declare.
        (gimple_fold_obj_type_ref): Declare.
        * passes.c (init_optimization_passes): Add pass
        pass_ipa_free_lang_data.
        * langhooks-def.h (LANG_HOOKS_FREE_LANG_DATA): Define.
        (LANG_HOOKS_INITIALIZER): Add LANG_HOOKS_FREE_LANG_DATA.

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

        * c-lang.c (lang_hooks): Remove const qualifier.

2009-09-02  Loren James Rittle  <ljrittle@acm.org>

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

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

        * hard-reg-set.h (call_fixed_regs): Remove.
        * reginfo.c (call_fixed_regs): Remove.
        (init_reg_sets_1): Remove initialization of call_fixed_regs.
        (globalize_reg): Don't use call_fixed_regs.
        * caller-save.c (init_caller_save): Use call_fixed_reg_set instead of
        call_fixed_regs.

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

        * expr.h (emit_storent_insn, expand_expr_real_1,
        expand_expr_real_2): Declare.
        * expr.c (emit_storent_insn, expand_expr_real_1,
        expand_expr_real_2): Export.
        (store_expr): Setting and evaluating dont_return_target is useless.
        (expand_expr_real_1, <case GOTO_EXPR, RETURN_EXPR, SWITCH_EXPR,
        LABEL_EXPR and ASM_EXPR>): Move to gcc_unreachable.
        * except.c (expand_resx_expr): Rename to ...
        (expand_resx_stmt): ... this.  Rewrite to take gimple statement.
        * except.h (expand_resx_stmt): Declare.
        * stmt.c: Add include gimple.h
        (expand_asm_expr): Rename to ...
        (expand_asm_stmt): ... this. Rewrite to take gimple statement.
        (expand_case): Rewrite to take gimple statement.
        * tree.h (expand_asm_stmt): Declare.
        (expand_case): Change prototype.
        * Makefile.in (stmt.o): Depend on gimple.h.
        * builtins.c (expand_builtin_synchronize): Build gimple asm
        statement, not an ASM_EXPR.
        * cfgexpand.c (gimple_cond_pred_to_tree, set_expr_location_r,
        gimple_to_tree, release_stmt_tree): Remove.
        (expand_gimple_cond): Don't call gimple_cond_pred_to_tree or
        ggc_free, but hold comparison code and operands separately.
        Call jumpif_1 and jumpifnot_1 instead of jumpif and jumpifnot.
        (expand_call_stmt, expand_gimple_stmt_1,
        expand_gimple_stmt): New helpers.
        (expand_gimple_tailcall): Don't call gimple_to_tree, expand_expr_stmt,
        release_stmt_tree.  Call expand_gimple_stmt instead.
        (expand_gimple_basic_block): Ditto.

        * calls.c (emit_call_1): Don't look at EH regions here, make
        fntree parameter useless.
        (expand_call): New local rettype for TREE_TYPE(exp), use it
        throughout.  Remove local p, use addr instead.
        Don't look at EH regions here.

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

        * doc/invoke.texi (-fsched-pressure): Document it.
        (-fsched-reg-pressure-heuristic): Remove it.

        * reload.c (ira.h): Include.
        (find_reloads): Add choosing reload on number of small spilled
        classes.

        * haifa-sched.c (ira.h): Include.
        (sched_pressure_p, sched_regno_cover_class, curr_reg_pressure,
        saved_reg_pressure, curr_reg_live, saved_reg_live,
        region_ref_regs): New variables.
        (sched_init_region_reg_pressure_info, mark_regno_birth_or_death,
        initiate_reg_pressure_info, setup_ref_regs,
        initiate_bb_reg_pressure_info, save_reg_pressure,
        restore_reg_pressure, dying_use_p, print_curr_reg_pressure): New
        functions.
        (setup_insn_reg_pressure_info): New function.
        (rank_for_schedule): Add pressure checking and insn issue time.
        Remove comparison of insn reg weights.
        (ready_sort): Set insn reg pressure info.
        (update_register_pressure, setup_insn_max_reg_pressure,
        update_reg_and_insn_max_reg_pressure,
        sched_setup_bb_reg_pressure_info): New functions.
        (schedule_insn): Add code for printing and updating reg pressure info.
        (find_set_reg_weight, find_insn_reg_weight): Remove.
        (ok_for_early_queue_removal): Do nothing if pressure_only_p.
        (debug_ready_list): Print reg pressure info.
        (schedule_block): Ditto.  Check insn issue time.
        (sched_init): Set up sched_pressure_p.  Allocate and set up some
        reg pressure related info.
        (sched_finish): Free some reg pressure related info.
        (fix_tick_ready): Make insn always ready if pressure_p.
        (init_h_i_d): Don't call find_insn_reg_weight.
        (haifa_finish_h_i_d): Free insn reg pressure info.

        * ira-int.h (ira_hard_regno_cover_class, ira_reg_class_nregs,
        ira_memory_move_cost, ira_class_hard_regs,
        ira_class_hard_regs_num, ira_no_alloc_regs,
        ira_available_class_regs, ira_reg_class_cover_size,
        ira_reg_class_cover, ira_class_translate): Move to ira.h.

        * ira-lives.c (single_reg_class): Check mode to find how many
        registers are necessary for operand.
        (ira_implicitly_set_insn_hard_regs): New.

        * common.opt (fsched-pressure): New options.
        (fsched-reg-pressure-heuristic): Remove.

        * ira.c (setup_eliminable_regset): Rename to
        ira_setup_eliminable_regset.  Make it external.
        (expand_reg_info): Pass cover class to setup_reg_classes.
        (ira): Call resize_reg_info instead of allocate_reg_info.

        * sched-deps.c: Include ira.h.
        (implicit_reg_pending_clobbers, implicit_reg_pending_uses): New.
        (create_insn_reg_use, create_insn_reg_set, setup_insn_reg_uses,
        reg_pressure_info, insn_use_p, mark_insn_pseudo_birth,
        mark_insn_hard_regno_birth, mark_insn_reg_birth,
        mark_pseudo_death, mark_hard_regno_death, mark_reg_death,
        mark_insn_reg_store, mark_insn_reg_clobber,
        setup_insn_reg_pressure_info): New.
        (sched_analyze_1): Update implicit_reg_pending_uses.
        (sched_analyze_insn): Find implicit sets, uses, clobbers of regs.
        Use them to create dependencies.  Set insn reg uses and pressure
        info.  Process reg_pending_uses in one place.
        (free_deps): Free implicit sets.
        (remove_from_deps): Remove implicit sets if necessary.  Check
        implicit sets when clearing reg_last_in_use.
        (init_deps_global): Clear implicit_reg_pending_clobbers and
        implicit_reg_pending_uses.

        * ira.h (ira_hard_regno_cover_class, ira_reg_class_nregs,
        ira_memory_move_cost, ira_class_hard_regs,
        ira_class_hard_regs_num, ira_no_alloc_regs,
        ira_available_class_regs, ira_reg_class_cover_size,
        ira_reg_class_cover, ira_class_translate): Move from ira-int.h.
        (ira_setup_eliminable_regset, ira_set_pseudo_classes,
        ira_implicitly_set_insn_hard_regs): New prototypes.

        * ira-costs.c (pseudo_classes_defined_p, allocno_p,
        cost_elements_num): New variables.
        (allocno_costs, total_costs): Rename to costs and
        total_allocno_costs.
        (COSTS_OF_ALLOCNO): Rename to COSTS.
        (allocno_pref): Rename to pref.
        (allocno_pref_buffer): Rename to pref_buffer.
        (common_classes): Rename to regno_cover_class.
        (COST_INDEX): New.
        (record_reg_classes): Set allocno attributes only if allocno_p.
        (record_address_regs): Ditto.  Use COST_INDEX instead of ALLOCNO_NUM.
        (scan_one_insn): Use COST_INDEX and COSTS instead of ALLOCNO_NUM
        and COSTS_OF_ALLOCNO.
        (print_costs): Rename to print_allocno_costs.
        (print_pseudo_costs): New.
        (process_bb_node_for_costs): Split into 2 functions with new
        function process_bb_for_costs.  Pass BB to process_bb_for_costs.
        (find_allocno_class_costs): Rename to find_costs_and_classes.  Add
        new parameter dump_file.  Use cost_elements_num instead of
        ira_allocnos_num.  Make one iteration if preferred classes were
        already calculated for scheduler.  Make 2 versions of code
        depending on allocno_p.
        (setup_allocno_cover_class_and_costs): Check allocno_p.  Use
        regno_cover_class and COSTS instead of common_classes and
        COSTS_OF_ALLOCNO.
        (init_costs, finish_costs): New.
        (ira_costs): Set up allocno_p and cost_elements_num.  Call
        init_costs and finish_costs.
        (ira_set_pseudo_classes): New.

        * rtl.h (allocate_reg_info): Remove.
        (resize_reg_info): Change return type.
        (reg_cover_class): New.
        (setup_reg_classes): Add new parameter.

        * sched-int.h (struct deps_reg): New member implicit_sets.
        (sched_pressure_p, sched_regno_cover_class): New external definitions.
        (INCREASE_BITS): New macro.
        (struct reg_pressure_data, struct reg_use_data): New.
        (struct _haifa_insn_data): Remove reg_weight.  Add members
        reg_pressure, reg_use_list, reg_set_list, and
        reg_pressure_excess_cost_change.
        (struct deps): New member implicit_sets.
        (pressure_p): New variable.
        (COVER_CLASS_BITS, INCREASE_BITS): New macros.
        (struct reg_pressure_data, struct reg_use_data): New.
        (INSN_REG_WEIGHT): Remove.
        (INSN_REG_PRESSURE, INSN_MAX_REG_PRESSURE, INSN_REG_USE_LIST,
        INSN_REG_SET_LIST, INSN_REG_PRESSURE_EXCESS_COST_CHANGE): New macros.
        (sched_init_region_reg_pressure_info,
        sched_setup_bb_reg_pressure_info): New prototypes.

        * reginfo.c (struct reg_pref): New member coverclass.
        (reg_cover_class): New function.
        (reginfo_init, pass_reginfo_init): Move after free_reg_info.
        (reg_info_size): New variable.
        (allocate_reg_info): Make static.  Setup reg_info_size.
        (resize_reg_info): Use reg_info_size.  Return flag of resizing.
        (setup_reg_classes): Add a new parameter.  Setup cover class too.

        * Makefile.in (reload.o, haifa-sched.o, sched-deps.o): Add ira.h to
        the dependencies.

        * sched-rgn.c (deps_join): Set up implicit_sets.
        (schedule_region): Set up region and basic blocks pressure
        relative info.

        * passes.c (init_optimization_passes): Move
        pass_subregs_of_mode_init before pass_sched.

2009-09-02  Martin Jambor  <mjambor@suse.cz>

        * tree-sra.c (struct access): New field grp_hint.
        (dump_access): Dump grp_hint.
        (sort_and_splice_var_accesses): Set grp_hint if a group is read
        multiple times.
        (analyze_access_subtree): Only scalarize accesses with grp_hint set or
        those which have been specifically read and somehow written to.
        (propagate_subacesses_accross_link): Set grp_hint of right child and
        also possibly of the left child.

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

        * tree-object-size.c (addr_object_size): Always use object_size_type
        0 or 2 when determining the pointer pointed object size.

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

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

        * builtins.c (fold_builtin_memory_op): Use the alias oracle
        to query if the memory regions for memmove overlap.
        * tree-ssa-alias.c (ptr_deref_may_alias_decl_p): Relax the
        asserts on pointers, instead deal with odd trees.
        (ptr_derefs_may_alias_p): Likewise.
        (refs_may_alias_p_1): Constructor bases also never alias.

2009-08-01  Christian Bruel  <christian.bruel@st.com>

        Revert:
        2009-07-31  Christian Bruel  <christian.bruel@st.com>
        * gcc/config.gcc (sh*-*-elf): test with_libgloss.

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

        * doc/invoke.texi (-fvar-tracking-assignments): New.
        (-fvar-tracking-assignments-toggle): New.
        (-fdump-final-insns=file): Mark filename as optional.
        (--param min-nondebug-insn-uid): New.
        (-gdwarf-@{version}): Mention version 4.
        * opts.c (common_handle_option): Accept it.
        * tree-vrp.c (find_assert_locations_1): Skip debug stmts.
        * regrename.c (regrename_optimize): Drop last.  Don't count debug
        insns as uses.  Don't reject change because of debug insn.
        (do_replace): Reject DEBUG_INSN as chain starter.  Take base_regno
        from the chain starter, and check for inexact matches in DEBUG_INSNS.
        (scan_rtx_reg): Accept inexact matches in DEBUG_INSNs.
        (build_def_use): Simplify and fix the marking of DEBUG_INSNs.
        * sched-ebb.c (schedule_ebbs): Skip boundary debug insns.
        * fwprop.c (forward_propagate_and_simplify): ...into debug insns.
        * doc/gimple.texi (is_gimple_debug): New.
        (gimple_debug_bind_p): New.
        (is_gimple_call, gimple_assign_cast_p): End sentence with period.
        * doc/install.texi (bootstrap-debug): More details.
        (bootstrap-debug-big, bootstrap-debug-lean): Document.
        (bootstrap-debug-lib): More details.
        (bootstrap-debug-ckovw): Update.
        (bootstrap-time): New.
        * tree-into-ssa.c (mark_def_sites): Skip debug stmts.
        (insert_phi_nodes_for): Insert debug stmts.
        (rewrite_stmt): Take iterator.  Insert debug stmts.
        (rewrite_enter_block): Adjust.
        (maybe_replace_use_in_debug_stmt): New.
        (rewrite_update_stmt): Use it.
        (mark_use_interesting): Return early for debug stmts.
        * tree-ssa-loop-im.c (rewrite_bittest): Propagate DEFs into debug
        stmts before replacing stmt.
        (move_computations_stmt): Likewise.
        * ira-conflicts.c (add_copies): Skip debug insns.
        * regstat.c (regstat_init_n_sets_and_refs): Discount debug insns.
        (regstat_bb_compute_ri): Skip debug insns.
        * tree-ssa-threadupdate.c (redirection_block_p): Skip debug stmts.
        * tree-ssa-loop-manip.c (find_uses_to_rename_stmt,
        check_loop_closed_ssa_stmt): Skip debug stmts.
        * tree-tailcall.c (find_tail_calls): Likewise.
        * tree-ssa-loop-ch.c (should_duplicate_loop_header_p): Likewise.
        * tree.h (MAY_HAVE_DEBUG_STMTS): New.
        (build_var_debug_value_stat): Declare.
        (build_var_debug_value): Define.
        (target_for_debug_bind): Declare.
        * reload.c (find_equiv_reg): Skip debug insns.
        * rtlanal.c (reg_used_between_p): Skip debug insns.
        (side_effects_p): Likewise.
        (canonicalize_condition): Likewise.
        * ddg.c (create_ddg_dep_from_intra_loop_link): Check that non-debug
        insns never depend on debug insns.
        (create_ddg_dep_no_link): Likewise.
        (add_cross_iteration_register_deps): Use ANTI_DEP for debug insns.
        Don't add inter-loop dependencies for debug insns.
        (build_intra_loop_deps): Likewise.
        (create_ddg): Count debug insns.
        * ddg.h (struct ddg::num_debug): New.
        (num_backargs): Pair up with previous int field.
        * diagnostic.c (diagnostic_report_diagnostic): Skip notes on
        -fcompare-debug-second.
        * final.c (get_attr_length_1): Skip debug insns.
        (rest_of_clean-state): Don't dump CFA_RESTORE_STATE.
        * gcc.c (invoke_as): Call compare-debug-dump-opt.
        (driver_self_specs): Map -fdump-final-insns to
        -fdump-final-insns=..
        (get_local_tick): New.
        (compare_debug_dump_opt_spec_function): Test for . argument and
        compute output name.  Compute temp output spec without flag name.
        Compute -frandom-seed.
        (OPT): Undef after use.
        * cfgloopanal.c (num_loop_insns): Skip debug insns.
        (average_num_loop_insns): Likewise.
        * params.h (MIN_NONDEBUG_INSN_UID): New.
        * gimple.def (GIMPLE_DEBUG): New.
        * ipa-reference.c (scan_stmt_for_static_refs): Skip debug stmts.
        * auto-inc-dec.c (merge_in_block): Skip debug insns.
        (merge_in_block): Fix whitespace.
        * toplev.c (flag_var_tracking): Update comment.
        (flag_var_tracking_assignments): New.
        (flag_var_tracking_assignments_toggle): New.
        (process_options): Don't open final insns dump file if we're not
        going to write to it.  Compute defaults for var_tracking.
        * df-scan.c (df_insn_rescan_debug_internal): New.
        (df_uses_record): Handle debug insns.
        * haifa-sched.c (ready): Initialize n_debug.
        (contributes_to_priority): Skip debug insns.
        (dep_list_size): New.
        (priority): Use it.
        (rank_for_schedule): Likewise.  Schedule debug insns as soon as
        they're ready.  Disregard previous debug insns to make decisions.
        (queue_insn): Never queue debug insns.
        (ready_add, ready_remove_first, ready_remove): Count debug insns.
        (schedule_insn): Don't reject debug insns because of issue rate.
        (get_ebb_head_tail, no_real_insns_p): Skip boundary debug insns.
        (queue_to_ready): Skip and discount debug insns.
        (choose_ready): Let debug insns through.
        (schedule_block): Check boundary debug insns.  Discount debug
        insns, schedule them early.  Adjust whitespace.
        (set_priorities): Check for boundary debug insns.
        (add_jump_dependencies): Use dep_list_size.
        (prev_non_location_insn): New.
        (check_cfg): Use it.
        * tree-ssa-loop-ivopts.c (find-interesting_users): Skip debug
        stmts.
        (remove_unused_ivs): Reset debug stmts.
        * modulo-sched.c (const_iteration_count): Skip debug insns.
        (res_MII): Discount debug insns.
        (loop_single_full_bb_p): Skip debug insns.
        (sms_schedule): Likewise.
        (sms_schedule_by_order): Likewise.
        (ps_has_conflicts): Likewise.
        * caller-save.c (refmarker_fn): New.
        (save_call_clobbered_regs): Replace regs with saved mem in
        debug insns.
        (mark_referenced_regs): Take pointer, mark and arg.  Adjust.
        Call refmarker_fn mark for hardregnos.
        (mark_reg_as_referenced): New.
        (replace_reg_with_saved_mem): New.
        * ipa-pure-const.c (check_stmt): Skip debug stmts.
        * cse.c (cse_insn): Canonicalize debug insns.  Skip them when
        searching back.
        (cse_extended_basic_block): Skip debug insns.
        (count_reg_usage): Likewise.
        (is_dead_reg): New, split out of...
        (set_live_p): ... here.
        (insn_live_p): Use it for debug insns.
        * tree-stdarg.c (check_all_va_list_escapes): Skip debug stmts.
        (execute_optimize_stdarg): Likewise.
        * tree-ssa-dom.c (propagate_rhs_into_lhs): Likewise.
        * tree-ssa-propagate.c (substitute_and_fold): Don't regard
        changes in debug stmts as changes.
        * sel-sched.c (moving_insn_creates_bookkeeping_block_p): New.
        (moveup_expr): Don't move across debug insns.  Don't move
        debug insn if it would create a bookkeeping block.
        (moveup_expr_cached): Don't use cache for debug insns that
        are heads of blocks.
        (compute_av_set_inside_bb): Skip debug insns.
        (sel_rank_for_schedule): Schedule debug insns first.  Remove
        dead code.
        (block_valid_for_bookkeeping_p); Support lax searches.
        (create_block_for_bookkeeping): Adjust block numbers when
        encountering debug-only blocks.
        (find_place_for_bookkeeping): Deal with debug-only blocks.
        (generate_bookkeeping_insn): Accept no place to insert.
        (remove_temp_moveop_nops): New argument full_tidying.
        (prepare_place_to_insert): Deal with debug insns.
        (advance_state_on_fence): Debug insns don't start cycles.
        (update_boundaries): Take fence as argument.  Deal with
        debug insns.
        (schedule_expr_on_boundary): No full_tidying on debug insns.
        (fill_insns): Deal with debug insns.
        (track_scheduled_insns_and_blocks): Don't count debug insns.
        (need_nop_to_preserve_insn_bb): New, split out of...
        (remove_insn_from_stream): ... this.
        (fur_orig_expr_not_found): Skip debug insns.
        * rtl.def (VALUE): Move up.
        (DEBUG_INSN): New.
        * tree-ssa-sink.c (all_immediate_uses_same_place): Skip debug stmts.
        (nearest_common_dominator_of_uses): Take debug_stmts argument.
        Set it if debug stmts are found.
        (statement_sink_location): Skip debug stmts.  Propagate
        moving defs into debug stmts.
        * ifcvt.c (first_active_insn): Skip debug insns.
        (last_active_insns): Likewise.
        (cond_exec_process_insns): Likewise.
        (noce_process_if_block): Likewise.
        (check_cond_move_block): Likewise.
        (cond_move_convert_if_block): Likewise.
        (block_jumps_and_fallthru_p): Likewise.
        (dead_or_predicable): Likewise.
        * dwarf2out.c (debug_str_hash_forced): New.
        (find_AT_string): Add comment.
        (gen_label_for_indirect_string): New.
        (get_debug_string_label): New.
        (AT_string_form): Use it.
        (mem_loc_descriptor): Handle non-TLS symbols.  Handle MINUS , DIV,
        MOD, AND, IOR, XOR, NOT, ABS, NEG, and CONST_STRING.  Accept but
        discard COMPARE, IF_THEN_ELSE, ROTATE, ROTATERT, TRUNCATE and
        several operations that cannot be represented with DWARF opcodes.
        (loc_descriptor): Ignore SIGN_EXTEND and ZERO_EXTEND.  Require
        dwarf_version 4 for DW_OP_implicit_value and DW_OP_stack_value.
        (dwarf2out_var_location): Take during-call mark into account.
        (output_indirect_string): Update comment.  Output if there are
        label and references.
        (prune_indirect_string): New.
        (prune_unused_types): Call it if debug_str_hash_forced.
        More in dwarf2out.c, from Jakub Jelinek <jakub@redhat.com>:
        (dw_long_long_const): Remove.
        (struct dw_val_struct): Change val_long_long type to rtx.
        (print_die, attr_checksum, same_dw_val_p, loc_descriptor): Adjust for
        val_long_long change to CONST_DOUBLE rtx from a long hi/lo pair.
        (output_die): Likewise.  Use HOST_BITS_PER_WIDE_INT size of each
        component instead of HOST_BITS_PER_LONG.
        (output_loc_operands): Likewise.  For const8* assert
        HOST_BITS_PER_WIDE_INT rather than HOST_BITS_PER_LONG is >= 64.
        (output_loc_operands_raw): For const8* assert HOST_BITS_PER_WIDE_INT
        rather than HOST_BITS_PER_LONG is >= 64.
        (add_AT_long_long): Remove val_hi and val_lo arguments, add
        val_const_double.
        (size_of_die): Use HOST_BITS_PER_WIDE_INT size multiplier instead of
        HOST_BITS_PER_LONG for dw_val_class_long_long.
        (add_const_value_attribute): Adjust add_AT_long_long caller.  Don't
        handle TLS SYMBOL_REFs.  If CONST wraps a constant, tail recurse.
        (dwarf_stack_op_name): Handle DW_OP_implicit_value and
        DW_OP_stack_value.
        (size_of_loc_descr, output_loc_operands, output_loc_operands_raw):
        Handle DW_OP_implicit_value.
        (extract_int): Move prototype earlier.
        (mem_loc_descriptor): For SUBREG punt if inner
        mode size is wider than DWARF2_ADDR_SIZE.  Handle SIGN_EXTEND
        and ZERO_EXTEND by DW_OP_shl and DW_OP_shr{a,}.  Handle
        EQ, NE, GT, GE, LT, LE, GTU, GEU, LTU, LEU, SMIN, SMAX, UMIN,
        UMAX, SIGN_EXTRACT, ZERO_EXTRACT.
        (loc_descriptor): Compare mode size with DWARF2_ADDR_SIZE
        instead of Pmode size.
        (loc_descriptor): Add MODE argument.  Handle CONST_INT, CONST_DOUBLE,
        CONST_VECTOR, CONST, LABEL_REF and SYMBOL_REF if mode != VOIDmode,
        attempt to handle other expressions.  Don't handle TLS SYMBOL_REFs.
        (concat_loc_descriptor, concatn_loc_descriptor,
        loc_descriptor_from_tree_1): Adjust loc_descriptor callers.
        (add_location_or_const_value_attribute): Likewise.  For single
        location loc_lists attempt to use add_const_value_attribute
        for constant decls.  Add DW_AT_const_value even if
        NOTE_VAR_LOCATION is VAR_LOCATION with CONSTANT_P or CONST_STRING
        in its expression.
        * cfgbuild.c (inside_basic_block_p): Handle debug insns.
        (control_flow_insn_p): Likewise.
        * tree-parloops.c (eliminate_local_variables_stmt): Handle debug stmt.
        (separate_decls_in_region_debug_bind): New.
        (separate_decls_in_region): Process debug bind stmts afterwards.
        * recog.c (verify_changes): Handle debug insns.
        (extract_insn): Likewise.
        (peephole2_optimize): Skip debug insns.
        * dse.c (scan_insn): Skip debug insns.
        * sel-sched-ir.c (return_nop_to_pool): Take full_tidying argument.
        Pass it on.
        (setup_id_for_insn): Handle debug insns.
        (maybe_tidy_empty_bb): Adjust whitespace.
        (tidy_control_flow): Skip debug insns.
        (sel_remove_insn): Adjust for debug insns.
        (sel_estimate_number_of_insns): Skip debug insns.
        (create_insn_rtx_from_pattern): Handle debug insns.
        (create_copy_of_insn_rtx): Likewise.
        * sel-sched-.h (sel_bb_end): Declare.
        (sel_bb_empty_or_nop_p): New.
        (get_all_loop_exits): Use it.
        (_eligible_successor_edge_p): Likewise.
        (return_nop_to_pool): Adjust.
        * tree-eh.c (tre_empty_eh_handler_p): Skip debug stmts.
        * ira-lives.c (process_bb_node_lives): Skip debug insns.
        * gimple-pretty-print.c (dump_gimple_debug): New.
        (dump_gimple_stmt): Use it.
        (dump_bb_header): Skip gimple debug stmts.
        * regmove.c (optimize_reg_copy_1): Discount debug insns.
        (fixup_match_2): Likewise.
        (regmove_backward_pass): Likewise.  Simplify combined
        replacement.  Handle debug insns.
        * function.c (instantiate_virtual_regs): Handle debug insns.
        * function.h (struct emit_status): Add x_cur_debug_insn_uid.
        * print-rtl.h: Include cselib.h.
        (print_rtx): Print VALUEs.  Split out and recurse for VAR_LOCATIONs.
        * df.h (df_inns_rescan_debug_internal): Declare.
        * gcse.c (alloc_hash_table): Estimate n_insns.
        (cprop_insn): Don't regard debug insns as changes.
        (bypass_conditional_jumps): Skip debug insns.
        (one_pre_gcse_pass): Adjust.
        (one_code_hoisting_pass): Likewise.
        (compute_ld_motion_mems): Skip debug insns.
        (one_cprop_pass): Adjust.
        * tree-if-conv.c (tree_if_convert_stmt): Reset debug stmts.
        (if_convertible_stmt_p): Handle debug stmts.
        * init-regs.c (initialize_uninitialized_regs): Skip debug insns.
        * tree-vect-loop.c (vect_is_simple_reduction): Skip debug stmts.
        * ira-build.c (create_bb_allocnos): Skip debug insns.
        * tree-flow-inline.h (has_zero_uses): Discount debug stmts.
        (has_single_use): Likewise.
        (single_imm_use): Likewise.
        (num_imm_uses): Likewise.
        * tree-ssa-phiopt.c (empty_block_p): Skip debug stmts.
        * tree-ssa-coalesce.c (build_ssa_conflict_graph): Skip debug stmts.
        (create_outofssa_var_map): Likewise.
        * lower-subreg.c (adjust_decomposed_uses): New.
        (resolve_debug): New.
        (decompose_multiword_subregs): Use it.
        * tree-dfa.c (find_referenced_vars): Skip debug stmts.
        * emit-rtl.c: Include params.h.
        (cur_debug_insn_uid): Define.
        (set_new_first_and_last_insn): Set cur_debug_insn_uid too.
        (copy_rtx_if_shared_1): Handle debug insns.
        (reset_used_flags): Likewise.
        (set_used_flags): LIkewise.
        (get_max_insn_count): New.
        (next_nondebug_insn): New.
        (prev_nondebug_insn): New.
        (make_debug_insn_raw): New.
        (emit_insn_before_noloc): Handle debug insns.
        (emit_jump_insn_before_noloc): Likewise.
        (emit_call_insn_before_noloc): Likewise.
        (emit_debug_insn_before_noloc): New.
        (emit_insn_after_noloc): Handle debug insns.
        (emit_jump_insn_after_noloc): Likewise.
        (emit_call_insn_after_noloc): Likewise.
        (emit_debug_insn_after_noloc): Likewise.
        (emit_insn_after): Take loc from earlier non-debug insn.
        (emit_jump_insn_after): Likewise.
        (emit_call_insn_after): Likewise.
        (emit_debug_insn_after_setloc): New.
        (emit_debug_insn_after): New.
        (emit_insn_before): Take loc from later non-debug insn.
        (emit_jump_insn_before): Likewise.
        (emit_call_insn_before): Likewise.
        (emit_debug_insn_before_setloc): New.
        (emit_debug_insn_before): New.
        (emit_insn): Handle debug insns.
        (emit_debug_insn): New.
        (emit_jump_insn): Handle debug insns.
        (emit_call_insn): Likewise.
        (emit): Likewise.
        (init_emit): Take min-nondebug-insn-uid into account.
        Initialize cur_debug_insn_uid.
        (emit_copy_of_insn_after): Handle debug insns.
        * cfgexpand.c (gimple_assign_rhs_to_tree): Do not overwrite
        location of single rhs in place.
        (maybe_dump_rtl_for_gimple_stmt): Dump lineno.
        (floor_sdiv_adjust): New.
        (cell_sdiv_adjust): New.
        (cell_udiv_adjust): New.
        (round_sdiv_adjust): New.
        (round_udiv_adjust): New.
        (wrap_constant): Moved from cselib.
        (unwrap_constant): New.
        (expand_debug_expr): New.
        (expand_debug_locations): New.
        (expand_gimple_basic_block): Drop hiding redeclaration.  Expand
        debug bind stmts.
        (gimple_expand_cfg): Expand debug locations.
        * cselib.c: Include tree-pass.h.
        (struct expand_value_data): New.
        (cselib_record_sets_hook): New.
        (PRESERVED_VALUE_P, LONG_TERM_PRESERVED_VALUE_P): New.
        (cselib_clear_table): Move, and implemnet in terms of...
        (cselib_reset_table_with_next_value): ... this.
        (cselib_get_next_unknown_value): New.
        (discard_useless_locs): Don't discard preserved values.
        (cselib_preserve_value): New.
        (cselib_preserved_value_p): New.
        (cselib_preserve_definitely): New.
        (cselib_clear_preserve): New.
        (cselib_preserve_only_values): New.
        (new_cselib_val): Take rtx argument.  Dump it in details.
        (cselib_lookup_mem): Adjust.
        (expand_loc): Take regs_active in struct.  Adjust.  Silence
        dumps unless details are requested.
        (cselib_expand_value_rtx_cb): New.
        (cselib_expand_value_rtx): Rename and reimplment in terms of...
        (cselib_expand_value_rtx_1): ... this.  Adjust.  Silence dumps
        without details.  Copy more subregs.  Try to resolve values
        using a callback.  Wrap constants.
        (cselib_subst_to_values): Adjust.
        (cselib_log_lookup): New.
        (cselib_lookup): Call it.
        (cselib_invalidate_regno): Don't count preserved values as useless.
        (cselib_invalidate_mem): Likewise.
        (cselib_record_set): Likewise.
        (struct set): Renamed to cselib_set, moved to cselib.h.
        (cselib_record_sets): Adjust.  Call hook.
        (cselib_process_insn): Reset table when it would be cleared.
        (dump_cselib_val): New.
        (dump_cselib_table): New.
        * tree-cfgcleanup.c (tree_forwarded_block_p): Skip debug stmts.
        (remove_forwarder_block): Support moving debug stmts.
        * cselib.h (cselib_record_sets_hook): Declare.
        (cselib_expand_callback): New type.
        (cselib_expand_value_rtx_cb): Declare.
        (cselib_reset_table_with_next_value): Declare.
        (cselib_get_next_unknown_value): Declare.
        (cselib_preserve_value): Declare.
        (cselib_preserved_value_p): Declare.
        (cselib_preserve_only_values): Declare.
        (dump_cselib_table): Declare.
        * cfgcleanup.c (flow_find_cross_jump): Skip debug insns.
        (try_crossjump_to_edge): Likewise.
        (delete_unreachable_blocks): Remove dominant GIMPLE blocks after
        dominated blocks when debug stmts are present.
        * simplify-rtx.c (delegitimize_mem_from_attrs): New.
        * tree-ssa-live.c (remove_unused_locals): Skip debug stmts.
        (set_var_live_on_entry): Likewise.
        * loop-invariant.c (find_invariants_bb): Skip debug insns.
        * cfglayout.c (curr_location, last_location): Make static.
        (set_curr_insn_source_location): Don't avoid bouncing.
        (get_curr_insn_source_location): New.
        (get_curr_insn_block): New.
        (duplicate_insn_chain): Handle debug insns.
        * tree-ssa-forwprop.c (forward_propagate_addr_expr): Propagate
        into debug stmts.
        * common.opt (fcompare-debug): Move to sort order.
        (fdump-unnumbered-links): Likewise.
        (fvar-tracking-assignments): New.
        (fvar-tracking-assignments-toggle): New.
        * tree-ssa-dce.c (mark_stmt_necessary): Don't mark blocks
        because of debug stmts.
        (mark_stmt_if_obviously_necessary): Mark debug stmts.
        (eliminate_unnecessary_stmts): Walk dominated blocks before
        dominators.
        * tree-ssa-ter.c (find_replaceable_in_bb): Skip debug stmts.
        * ira.c (memref_used_between_p): Skip debug insns.
        (update_equiv_regs): Likewise.
        * sched-deps.c (sd_lists_size): Accept empty list.
        (sd_init_insn): Mark debug insns.
        (sd_finish_insn): Unmark them.
        (sd_add_dep): Reject non-debug deps on debug insns.
        (fixup_sched_groups): Give debug insns group treatment.
        Skip debug insns.
        (sched_analyze_reg): Don't mark debug insns for sched before call.
        (sched_analyze_2): Handle debug insns.
        (sched_analyze_insn): Compute next non-debug insn.  Handle debug
        insns.
        (deps_analyze_insn): Handle debug insns.
        (deps_start_bb): Skip debug insns.
        (init_deps): Initialize last_debug_insn.
        * tree-ssa.c (target_for_debug_bind): New.
        (find_released_ssa_name): New.
        (propagate_var_def_into_debug_stmts): New.
        (propagate_defs_into_debug_stmts): New.
        (verify_ssa): Skip debug bind stmts without values.
        (warn_uninialized_vars): Skip debug stmts.
        * target-def.h (TARGET_DELEGITIMIZE_ADDRESS): Set default.
        * rtl.c (rtx_equal_p_cb): Handle VALUEs.
        (rtx_equal_p): Likewise.
        * ira-costs.c (scan_one_insn): Skip debug insns.
        (process_bb_node_for_hard_reg_moves): Likewise.
        * rtl.h (DEBUG_INSN_P): New.
        (NONDEBUG_INSN_P): New.
        (MAY_HAVE_DEBUG_INSNS): New.
        (INSN_P): Accept debug insns.
        (RTX_FRAME_RELATED_P): Likewise.
        (INSN_DELETED_P): Likewise
        (PAT_VAR_LOCATION_DECL): New.
        (PAT_VAR_LOCATION_LOC): New.
        (PAT_VAR_OCATION_STATUS): New.
        (NOTE_VAR_LOCATION_DECL): Reimplement.
        (NOTE_VAR_LOCATION_LOC): Likewise.
        (NOTE_VAR_LOCATION_STATUS): Likewise.
        (INSN_VAR_LOCATION): New.
        (INSN_VAR_LOCATION_DECL): New.
        (INSN_VAR_LOCATION_LOC): New.
        (INSN_VAR_LOCATION_STATUS): New.
        (gen_rtx_UNKNOWN_VAR_LOC): New.
        (VAR_LOC_UNKNOWN_P): New.
        (NOTE_DURING_CALL_P): New.
        (SCHED_GROUP_P): Accept debug insns.
        (emit_debug_insn_before): Declare.
        (emit_debug_insn_before_noloc): Declare.
        (emit_debug_insn_beore_setloc): Declare.
        (emit_debug_insn_after): Declare.
        (emit_debug_insn_after_noloc): Declare.
        (emit_debug_insn_after_setloc): Declare.
        (emit_debug_insn): Declare.
        (make_debug_insn_raw): Declare.
        (prev_nondebug_insn): Declare.
        (next_nondebug_insn): Declare.
        (delegitimize_mem_from_attrs): Declare.
        (get_max_insn_count): Declare.
        (wrap_constant): Declare.
        (unwrap_constant): Declare.
        (get_curr_insn_source_location): Declare.
        (get_curr_insn_block): Declare.
        * tree-inline.c (insert_debug_decl_map): New.
        (processing_debug_stmt): New.
        (remap_decl): Don't create new mappings in debug stmts.
        (remap_gimple_op_r): Don't add references in debug stmts.
        (copy_tree_body_r): Likewise.
        (remap_gimple_stmt): Handle debug bind stmts.
        (copy_bb): Skip debug stmts.
        (copy_edges_for_bb): Likewise.
        (copy_debug_stmt): New.
        (copy_debug_stmts): New.
        (copy_body): Copy debug stmts at the end.
        (insert_init_debug_bind): New.
        (insert_init_stmt): Take id.  Skip and emit debug stmts.
        (setup_one_parameter): Remap variable earlier, register debug mapping.
        (estimate_num_insns): Skip debug stmts.
        (expand_call_inline): Preserve debug_map.
        (optimize_inline_calls): Check for no debug_stmts left-overs.
        (unsave_expr_now): Preserve debug_map.
        (copy_gimple_seq_and_replace_locals): Likewise.
        (tree_function_versioning): Check for no debug_stmts left-overs.
        Init and destroy debug_map as needed.  Split edges unconditionally.
        (build_duplicate_type): Init and destroy debug_map as needed.
        * tree-inline.h: Include gimple.h instead of pointer-set.h.
        (struct copy_body_data): Add debug_stmts and debug_map.
        * sched-int.h (struct ready_list): Add n_debug.
        (struct deps): Add last_debug_insn.
        (DEBUG_INSN_SCHED_P): New.
        (BOUNDARY_DEBUG_INSN_P): New.
        (SCHEDULE_DEBUG_INSN_P): New.
        (sd_iterator_cond): Accept empty list.
        * combine.c (create_log_links): Skip debug insns.
        (combine_instructions): Likewise.
        (cleanup_auto_inc_dec): New.  From Jakub Jelinek: Make sure the
        return value is always unshared.
        (struct rtx_subst_pair): New.
        (auto_adjust_pair): New.
        (propagate_for_debug_subst): New.
        (propagate_for_debug): New.
        (try_combine): Skip debug insns.  Propagate removed defs into
        debug insns.
        (next_nonnote_nondebug_insn): New.
        (distribute_notes): Use it.  Skip debug insns.
        (distribute_links): Skip debug insns.
        * tree-outof-ssa.c (set_location_for_edge): Likewise.
        * resource.c (mark_target_live_regs): Likewise.
        * var-tracking.c: Include cselib.h and target.h.
        (enum micro_operation_type): Add MO_VAL_USE, MO_VAL_LOC, and
        MO_VAL_SET.
        (micro_operation_type_name): New.
        (enum emit_note_where): Add EMIT_NOTE_AFTER_CALL_INSN.
        (struct micro_operation_def): Update comments.
        (decl_or_value): New type.  Use instead of decls.
        (struct emit_note_data_def): Add vars.
        (struct attrs_def): Use decl_or_value.
        (struct variable_tracking_info_def): Add permp, flooded.
        (struct location_chain_def): Update comment.
        (struct variable_part_def): Use decl_or_value.
        (struct variable_def): Make var_part a variable length array.
        (valvar_pool): New.
        (scratch_regs): New.
        (cselib_hook_called): New.
        (dv_is_decl_p): New.
        (dv_is_value_p): New.
        (dv_as_decl): New.
        (dv_as_value): New.
        (dv_as_opaque): New.
        (dv_onepart_p): New.
        (dv_pool): New.
        (IS_DECL_CODE): New.
        (check_value_is_not_decl): New.
        (dv_from_decl): New.
        (dv_from_value): New.
        (dv_htab_hash): New.
        (variable_htab_hash): Use it.
        (variable_htab_eq): Support values.
        (variable_htab_free): Free from the right pool.
        (attrs_list_member, attrs_list_insert): Use decl_or_value.
        (attrs_list_union): Adjust.
        (attrs_list_mpdv_union): New.
        (tie_break_pointers): New.
        (canon_value_cmp): New.
        (unshare_variable): Return possibly-modified slot.
        (vars_copy_1): Adjust.
        (var_reg_decl_set): Adjust.  Split out of...
        (var_reg_set): ... this.
        (get_init_value): Adjust.
        (var_reg_delete_and_set): Adjust.
        (var_reg_delete): Adjust.
        (var_regno_delete): Adjust.
        (var_mem_decl_set): Split out of...
        (var_mem_set): ... this.
        (var_mem_delete_and_set): Adjust.
        (var_mem_delete): Adjust.
        (val_store): New.
        (val_reset): New.
        (val_resolve): New.
        (variable_union): Adjust.  Speed up merge of 1-part vars.
        (variable_canonicalize): Use unshared slot.
        (VALUED_RECURSED_INTO): New.
        (find_loc_in_1pdv): New.
        (struct dfset_merge): New.
        (insert_into_intersection): New.
        (intersect_loc_chains): New.
        (loc_cmp): New.
        (canonicalize_loc_order_check): New.
        (canonicalize_values_mark): New.
        (canonicalize_values_star): New.
        (variable_merge_over_cur): New.
        (variable_merge_over_src): New.
        (dataflow_set_merge): New.
        (dataflow_set_equiv_regs): New.
        (remove_duplicate_values): New.
        (struct dfset_post_merge): New.
        (variable_post_merge_new_vals): New.
        (variable_post_merge_perm_vals): New.
        (dataflow_post_merge_adjust): New.
        (find_mem_expr_in_1pdv): New.
        (dataflow_set_preserve_mem_locs): New.
        (dataflow_set_remove_mem_locs): New.
        (dataflow_set_clear_at_call): New.
        (onepart_variable_different_p): New.
        (variable_different_p): Use it.
        (dataflow_set_different_1): Adjust.  Make detailed dump more verbose.
        (track_expr_p): Add need_rtl parameter.  Don't generate rtl
        if not needed.
        (track_loc_p): Pass it true.
        (struct count_use_info): New.
        (find_use_val): New.
        (replace_expr_with_values): New.
        (log_op_type): New.
        (use_type): New, partially split out of...
        (count_uses): ... this.  Count new micro-ops.
        (count_uses_1): Adjust.
        (count_stores): Adjust.
        (count_with_sets): New.
        (VAL_NEEDS_RESOLUTION): New.
        (VAL_HOLDS_TRACK_EXPR): New.
        (VAL_EXPR_IS_COPIED): New.
        (VAL_EXPR_IS_CLOBBERED): New.
        (add_uses): Adjust.  Generate new micro-ops.
        (add_uses_1): Adjust.
        (add_stores): Generate new micro-ops.
        (add_with_sets): New.
        (find_src_status): Adjust.
        (find_src_set_src): Adjust.
        (compute_bb_dataflow): Use dataflow_set_clear_at_call.
        Handle new micro-ops.  Canonicalize value equivalances.
        (vt_find_locations): Compute total size of hash tables for
        dumping.  Perform merge for var-tracking-assignments.  Don't
        disregard single-block loops.
        (dump_attrs_list): Handle decl_or_value.
        (dump_variable): Take variable.  Deal with decl_or_value.
        (dump_variable_slot): New.
        (dump_vars): Use it.
        (dump_dataflow_sets): Adjust.
        (set_slot_part): New, extended to support one-part variables
        after splitting out of...
        (set_variable_part): ... this.
        (clobber_slot_part): New, split out of...
        (clobber_variable_part): ... this.
        (delete_slot_part): New, split out of...
        (delete_variable_part): .... this.
        (check_wrap_constant): New.
        (vt_expand_loc_callback): New.
        (vt_expand_loc): New.
        (emit_note_insn_var_location): Adjust.  Handle values.  Handle
        EMIT_NOTE_AFTER_CALL_INSN.
        (emit_notes_for_differences_1): Adjust.  Handle values.
        (emit_notes_for_differences_2): Likewise.
        (emit_notes_for_differences): Adjust.
        (emit_notes_in_bb): Take pointer to set.  Emit AFTER_CALL_INSN notes.
        Adjust.  Handle new micro-ops.
        (vt_add_function_parameters): Adjust.  Create and bind values.
        (vt_initialize): Adjust.  Initialize scratch_regs and
        valvar_pool, flooded and perm..  Initialize and use cselib.  Log
        operations.  Move some code to count_with_sets and add_with_sets.
        (delete_debug_insns): New.
        (vt_debug_insns_local): New.
        (vt_finalize): Release permp, valvar_pool, scratch_regs.  Finish
        cselib.
        (var_tracking_main): If var-tracking-assignments is enabled
        but var-tracking isn't, delete debug insns and leave.  Likewise
        if we exceed limits or fail the stack adjustments tests, and
        after all var-tracking processing.
        More in var-tracking, from Jakub Jelinek <jakub@redhat.com>:
        (dataflow_set): Add traversed_vars.
        (value_chain, const_value_chain): New typedefs.
        (value_chain_pool, value_chains): New variables.
        (value_chain_htab_hash, value_chain_htab_eq, add_value_chain,
        add_value_chains, add_cselib_value_chains, remove_value_chain,
        remove_value_chains, remove_cselib_value_chains): New functions.
        (shared_hash_find_slot_unshare_1, shared_hash_find_slot_1,
        shared_hash_find_slot_noinsert_1, shared_hash_find_1): New
        static inlines.
        (shared_hash_find_slot_unshare, shared_hash_find_slot,
        shared_hash_find_slot_noinsert, shared_hash_find): Update.
        (dst_can_be_shared): New variable.
        (unshare_variable): Unshare set->vars if shared, use shared_hash_*.
        Clear dst_can_be_shared.  If set->traversed_vars is non-NULL and
        different from set->vars, look up slot again instead of using the
        passed in slot.
        (dataflow_set_init): Initialize traversed_vars.
        (variable_union): Use shared_hash_*.  Use initially NO_INSERT
        lookup if set->vars is shared.  Don't keep slot cleared before
        calling unshare_variable.  Unshare set->vars if needed.  Adjust
        unshare_variable callers.  Clear dst_can_be_shared if needed.
        Even ->refcount == 1 vars must be unshared if set->vars is shared
        and var needs to be modified.
        (dataflow_set_union): Set traversed_vars during canonicalization.
        (VALUE_CHANGED, DECL_CHANGED): Define.
        (set_dv_changed, dv_changed_p): New static inlines.
        (track_expr_p): Clear DECL_CHANGED.
        (dump_dataflow_sets): Set it.
        (variable_was_changed): Call set_dv_changed.
        (emit_note_insn_var_location): Likewise.
        (changed_variables_stack): New variable.
        (check_changed_vars_1, check_changed_vars_2): New functions.
        (emit_notes_for_changes): Do nothing if changed_variables is
        empty.  Traverse changed_variables with check_changed_vars_1,
        call check_changed_vars_2 on each changed_variables_stack entry.
        (emit_notes_in_bb): Add SET argument.  Just clear it at the
        beginning, use it instead of local &set, don't destroy it at the end.
        (vt_emit_notes): Call dataflow_set_clear early on all
        VTI(bb)->out sets, never use them, instead use emit_notes_in_bb
        computed set, dataflow_set_clear also VTI(bb)->in when we are
        done with the basic block.  Initialize changed_variables_stack,
        free it afterwards.  If ENABLE_CHECKING verify that after noting
        differences to an empty set value_chains hash table is empty.
        (vt_initialize): Initialize value_chains and value_chain_pool.
        (vt_finalize): Delete value_chains htab, free value_chain_pool.
        (variable_tracking_main): Call dump_dataflow_sets before calling
        vt_emit_notes, not after it.
        * tree-flow.h (propagate_defs_into_debug_stmts): Declare.
        (propagate_var_def_into_debug_stmts): Declare.
        * df-problems.c (df_lr_bb_local_compute): Skip debug insns.
        (df_set_note): Reject debug insns.
        (df_whole_mw_reg_dead_p): Take added_notes_p argument.  Don't
        add notes to debug insns.
        (df_note_bb_compute): Adjust.  Likewise.
        (df_simulate_uses): Skip debug insns.
        (df_simulate_initialize_backwards): Likewise.
        * reg-stack.c (subst_stack_regs_in_debug_insn): New.
        (subst_stack_regs_pat): Reject debug insns.
        (convert_regs_1): Handle debug insns.
        * Makefile.in (TREE_INLINE_H): Take pointer-set.h from GIMPLE_H.
        (print-rtl.o): Depend on cselib.h.
        (cselib.o): Depend on TREE_PASS_H.
        (var-tracking.o): Depend on cselib.h and TARGET_H.
        * sched-rgn.c (rgn_estimate_number_of_insns): Discount debug insns.
        (init_ready_list): Skip boundary debug insns.
        (add_branch_dependences): Skip debug insns.
        (free_block_dependencies): Check for blocks with only debug insns.
        (compute_priorities): Likewise.
        * gimple.c (gss_for_code): Handle GIMPLE_DEBUG.
        (gimple_build_with_ops_stat): Take subcode as unsigned.  Adjust
        all callers.
        (gimple_build_debug_bind_stat): New.
        (empty_body_p): Skip debug stmts.
        (gimple_has_side_effects): Likewise.
        (gimple_rhs_has_side_effects): Likewise.
        * gimple.h (enum gimple_debug_subcode, GIMPLE_DEBUG_BIND): New.
        (gimple_build_debug_bind_stat): Declare.
        (gimple_build_debug_bind): Define.
        (is_gimple_debug): New.
        (gimple_debug_bind_p): New.
        (gimple_debug_bind_get_var): New.
        (gimple_debug_bind_get_value): New.
        (gimple_debug_bind_get_value_ptr): New.
        (gimple_debug_bind_set_var): New.
        (gimple_debug_bind_set_value): New.
        (GIMPLE_DEBUG_BIND_NOVALUE): New internal temporary macro.
        (gimple_debug_bind_reset_value): New.
        (gimple_debug_bind_has_value_p): New.
        (gsi_next_nondebug): New.
        (gsi_prev_nondebug): New.
        (gsi_start_nondebug_bb): New.
        (gsi_last_nondebug_bb): New.
        * sched-vis.c (print_pattern): Handle VAR_LOCATION.
        (print_insn): Handle DEBUG_INSN.
        * tree-cfg.c (remove_bb): Walk stmts backwards.  Let loc
        of first insn prevail.
        (first_stmt): Skip debug stmts.
        (first_non_label_stmt): Likewise.
        (last_stmt): Likewise.
        (has_zero_uses_1): New.
        (single_imm_use_1): New.
        (verify_gimple_debug): New.
        (verify_types_in_gimple_stmt): Handle debug stmts.
        (verify_stmt): Likewise.
        (debug_loop_num): Skip debug stmts.
        (remove_edge_and_dominated_blocks): Remove dominators last.
        * tree-ssa-reasssoc.c (rewrite_expr_tree): Propagate into debug stmts.
        (linearize_expr): Likewise.
        * config/i386/i386.c (ix86_delegitimize_address): Call
        default implementation.
        * config/ia64/ia64.c (ia64_safe_itanium_class): Handle debug insns.
        (group_barrier_needed): Skip debug insns.
        (emit_insn_group_barriers): Likewise.
        (emit_all_insn_group_barriers): Likewise.
        (ia64_variable_issue): Handle debug insns.
        (ia64_dfa_new_cycle): Likewise.
        (final_emit_insn_group_barriers): Skip debug insns.
        (ia64_dwarf2out_def_steady_cfa): Take frame argument.  Don't
        def cfa without frame.
        (process_set): Likewise.
        (process_for_unwind_directive): Pass frame on.
        * config/rs6000/rs6000.c (TARGET_DELEGITIMIZE_ADDRESS): Define.
        (rs6000_delegitimize_address): New.
        (rs6000_debug_adjust_cost): Handle debug insns.
        (is_microcoded_insn): Likewise.
        (is_cracked_insn): Likewise.
        (is_nonpipeline_insn): Likewise.
        (insn_must_be_first_in_group): Likewise.
        (insn_must_be_last_in_group): Likewise.
        (force_new_group): Likewise.
        * cfgrtl.c (rtl_split_block): Emit INSN_DELETED note if block
        contains only debug insns.
        (rtl_merge_blocks): Skip debug insns.
        (purge_dead_edges): Likewise.
        (rtl_block_ends_with_call_p): Skip debug insns.
        * dce.c (deletable_insn_p): Handle VAR_LOCATION.
        (mark_reg_dependencies): Skip debug insns.
        * params.def (PARAM_MIN_NONDEBUG_INSN_UID): New.
        * tree-ssanames.c (release_ssa_name): Propagate def into debug stmts.
        * tree-ssa-threadedge.c
        (record_temporary_equivalences_from_stmts): Skip debug stmts.
        * regcprop.c (replace_oldest_value_addr): Skip debug insns.
        (replace_oldest_value_mem): Use ALL_REGS for debug insns.
        (copyprop_hardreg_forward_1): Handle debug insns.
        * reload1.c (reload): Skip debug insns.  Replace unassigned
        pseudos in debug insns with their equivalences.
        (eliminate_regs_in_insn): Skip debug insns.
        (emit_input_reload_insns): Skip debug insns at first, adjust
        them later.
        * tree-ssa-operands.c (add_virtual_operand): Reject debug stmts.
        (get_indirect_ref_operands): Pass opf_no_vops on.
        (get_expr_operands): Likewise.  Skip debug stmts.
        (parse_ssa_operands): Scan debug insns with opf_no_vops.

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

        * tree-ssa-ccp.c (ccp_initialize): Make sure to simulate
        stmt_ends_pp_p statements at least once.
        * tree-vrp.c (vrp_initialize): Likewise.
        (vrp_visit_stmt): Be prepared for non-interesting stmts.

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

        PR bootstrap/41205
        Fix AIX bootstrap after PR debug/30161
        * dwarf2out.c (make_ith_pack_parameter_name): Don't used strnlen
        that is a GNU extension.
        (tmpl_value_parm_die_table): Move the definition of this global
        outside #ifdef DWARF2_DEBUGGING_INFO region.

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

        * tree.c (tree_expr_size): New function.
        * tree.h (tree_expr_size): Declare.
        * rtlanal.c (rtx_addr_can_trap_p_1): Adjust comment.
        * builtins.c (fold_builtin_memory_op): Use tree_expr_size.
        * langhooks.c (lhd_expr_size): Remove.
        * langhooks.h (struct lang_hooks): Remove expr_size.
        * explow.c (expr_size): Use tree_expr_size.
        (int_expr_size): Likewise.
        * langhooks-def.h (lhd_expr_size): Remove.
        (LANG_HOOKS_EXPR_SIZE): Likewise.
        (LANG_HOOKS_INITIALIZER): Adjust.

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

        * tree-flow.h (mark_addressable): Move declaration ...
        * tree.h (mark_addressable): ... here.
        * stmt.c (expand_asm_operands): Use mark_addressable, not
        lang_hooks.mark_addressable.
        * langhooks-def.h (LANG_HOOKS_INITIALIZER): Remove
        LANG_HOOKS_MARK_ADDRESSABLE.
        * langhooks.h (struct lang_hooks): Remove mark_addressable langhook.
        * c-objc-common.h (LANG_HOOKS_MARK_ADDRESSABLE): Remove.

2009-08-31  Chris Demetriou  <cgd@google.com>

        * config/i386/i386.c (ix86_vectorize_builtin_conversion): Never
        vectorize if not TARGET_SSE2.

2009-08-31  DJ Delorie  <dj@redhat.com>

        * config/mep/mep.h (FUNCTION_ARG_REGNO_P): Exclude coprocessor
        registers if no coprocessor is enabled.

2009-08-31  Dodji Seketeli  <dodji@redhat.com>

        PR debug/30161
        * cgraph.h (cgraph_get_node): Declare ...
        * cgraph.c (cgraph_get_node): ... new function.
        * dwarf2out.c (gen_generic_params_dies,
        generic_parameter_die, tree_add_const_value_attribute_for_decl,
        make_ith_pack_parameter_name,
        append_entry_to_tmpl_value_parm_die_table,
        gen_remaining_tmpl_value_param_die_attribute): New functions.
        (gen_subprogram_die): Generate debug info for template parameters
        if debug info level is higher than DINFO_LEVEL_TERSE.
        Use tree_add_const_value_attribute_for_decl instead of
        tree_add_const_value_attribute.
        (gen_const_die): Use tree_add_const_value_attribute_for_decl
        instead of tree_add_const_value_attribute.
        (gen_struct_or_union_type_die): Generate debug
        info for template parameters if debug info level is higher than
        DINFO_LEVEL_TERSE.
        (tree_add_const_value_attribute): Handle integral and pointer
        constants. Update comment.
        (dwarf_tag_name): Support DW_TAG_GNU_template_template_param.
        (dwarf_attr_name): Support DW_AT_GNU_template_name.
        (reference_to_unused): Fix thinko. Remove redundant predicates from
        tests.
        (tree_add_const_value_attribute): Make this work for constant
        expressions only.
        tree_add_const_value_attribute_for_decl is to be used for variable
        DECLs now.
        (add_location_or_const_value_attribute): Use
        tree_add_const_value_attribute_for_decl now.
        (dwarf2out_finish): Emit the DW_AT_const_value attribute of
        DW_TAG_template_value_param DIEs after function DIEs have been
        emitted.
        * langhooks.h (lang_hooks_for_types): Add
        get_argument_pack_elems.
        (lang_hooks_for_decls): Add generic_generic_parameter_decl_p.
        (lang_hooks): Added get_innermost_generic_parms,
        get_innermost_generic_args.
        * langhooks-def.h (LANG_HOOKS_GET_INNERMOST_GENERIC_PARMS,
        LANG_HOOKS_GET_INNERMOST_GENERIC_ARGS,
        LANG_HOOKS_GET_ARGUMENT_PACK_ELEMS,
        LANG_HOOKS_GENERIC_GENERIC_PARAMETER_DECL_P): New language hooks.

2009-08-31  DJ Delorie  <dj@redhat.com>

        * config/mep/mep.c (machine_function): Add frame_locked flag.  Set
        it once we start generating the prologue or epilogue.
        (mep_call_saves_register): If the frame is locked, re-use
        cached values.
        (mep_assign_save_slots): New, broken out from mep_expand_prologue.
        (mep_expand_prologue): Call it.
        (mep_expand_epilogue): Likewise.
        (mep_start_function): Use the same logic as mep_expand_prologue.
        (mep_pass_by_reference): Make logic more readable.
        (mep_return_in_memory): Zero-sized objects are passed in memory.
        (mep_reorg_noframe): Make sure we have accurate REG_DEAD notes.

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

        * builtins.c (fold_builtin_memory_op): Use the alias oracle
        to query if the memory regions for memmove overlap.
        * tree-ssa-alias.c (ptr_deref_may_alias_decl_p): Relax the
        asserts on pointers, instead deal with odd trees.
        (ptr_derefs_may_alias_p): Likewise.
        (refs_may_alias_p_1): Constructor bases also never alias.

2009-08-31  Gerald Pfeifer  <gerald@pfeifer.com>

        * doc/install.texi (Final install): Adjust reference on where to
        order printed manuals.

2009-08-30  Olivier Hainque  <hainque@adacore.com>

        * dwarf2out.c (switch_to_frame_table_section): Move
        definition prior to first use.

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

        PR tree-optimization/41186
        * tree-ssa-alias.c (ptr_deref_may_alias_ref_p): Remove.
        (ao_ref_init_from_ptr_and_size): New function.
        (ref_maybe_used_by_call_p_1): Be more precise tracking
        used ranges for builtin functions.
        (ref_maybe_used_by_call_p): Adjust.
        (call_may_clobber_ref_p_1): Be more precise tracking clobbered
        ranges for builtin functions.
        * tree-ssa-alias.h (ao_ref_init_from_ptr_and_size): Declare.

2009-08-30  Alan Modra  <amodra@bigpond.net.au>

        PR target/41081
        * fwprop.c (get_reg_use_in): Delete.
        (free_load_extend): New function.
        (forward_propagate_subreg): Use it.

2009-08-29  Kaz Kojima  <kkojima@gcc.gnu.org>

        * config.gcc (sh*-*-elf): Add superh stuff only for sh*-superh-elf.

2009-08-29  Kai Tietz<kai.tietz@onevision.com>

        PR/41184
        * config/i386.c (ix86_expand_epilogue): Correct stack adjustment for
        padding.

2009-08-29  Douglas B Rupp  <rupp@gnat.com>

        * crtstuff.c (__do_global_dtors_aux): Use atexit if no
        fini or fini_array section.

2009-08-28  Sebastian Pop  <sebastian.pop@amd.com>

        * graphite-dependences.c (graphite_legal_transform_bb): Call
        pbb_remove_duplicate_pdrs.
        * graphite-poly.c (can_collapse_pdr): Removed.
        (pdr_find_duplicate): Removed.
        (can_collapse_pdrs): New.
        (pbb_remove_duplicate_pdrs): New.
        (new_poly_dr): Do not look for duplicates.
        * graphite-poly.h (struct poly_bb): New field pdr_duplicates_removed.
        (PBB_PDR_DUPLICATES_REMOVED): New.
        (pbb_remove_duplicate_pdrs): Declared.

2009-08-28  Sebastian Pop  <sebastian.pop@amd.com>

        * graphite-interchange.c (pbb_interchange_profitable_p): Adjust
        the strides by multiplying by PDR_NB_REFS.
        * graphite-poly.c (can_collapse_pdr): New.
        (pdr_find_duplicate): New.
        (new_poly_dr): Call pdr_find_duplicate.  Collapse duplicate PDRs.
        Initialize PDR_NB_REFS.
        * graphite-poly.h (struct poly_dr): Add field nb_refs.
        (PDR_NB_REFS): New.
        (new_poly_dr): Number of subscripts is a graphite_dim_t.

2009-08-28  Sebastian Pop  <sebastian.pop@amd.com>

        PR middle-end/40965
        * graphite-poly.c (apply_poly_transforms): Remove legality test before
        any transform.

2009-08-28  Sebastian Pop  <sebastian.pop@amd.com>

        * graphite-dependences.c (pddr_original_scattering): Return NULL
        for read-read dependence relations.
        * graphite-poly.h (enum poly_dr_type): Fix comment.
        (pdr_read_p): New.
        (pdr_write_p): New.
        (pdr_may_write_p): New.

2009-08-28  Sebastian Pop  <sebastian.pop@amd.com>

        * graphite-poly.h (enum POLY_DR_TYPE): Renamed poly_dr_type.
        (struct poly_dr): Same.
        (new_poly_dr): Same.
        * graphite-poly.c (new_poly_dr): Same.
        * graphite-dependences.c (dot_deps): Disable call to system.

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

        PR debug/41063
        * dwarf2out.c (gen_type_die_with_usage): Use proper context for
        struct/union/enum types local to a function.

2009-08-28  Konrad Trifunovic  <konrad.trifunovic@gmail.com>
            Sebastian Pop  <sebastian.pop@amd.com>

        * graphite-blocking.c (pbb_strip_mine_loop_depth): Renamed
        pbb_strip_mine_time_depth.  Changed the implementation so that
        transformation is expressed as a transformation on
        time (scatttering) dimensions.  Also, ensures that the 2d+1
        scheduling format is preserved.
        (pbb_strip_mine_profitable_p): Profitability is based on the
        iteration number of a given time (scattering) dimension,
        and not on a original loop depth dimension.
        (pbb_strip_mine): Call pbb_number_of_iterations_at_time.
        (pbb_do_strip_mine): Call psct_dynamic_dim.
        * graphite-poly.c (pbb_number_of_iterations_at_time): New.
        * graphite-poly.h (pbb_number_of_iterations_at_time): Declared.
        (pbb_nb_dynamic_scattering_transform): New.
        (psct_dynamic_dim): New.

2009-08-28  Konrad Trifunovic  <konrad.trifunovic@gmail.com>

        * graphite-ppl.c (ppl_max_for_le): Renamed ppl_max_for_le_pointset.
        * graphite-ppl.h (ppl_max_for_le): Renamed ppl_max_for_le_pointset.
        * graphite-poly.c (pbb_number_of_iterations): Rename ppl_max_for_le.
        * graphite-interchange.c (build_linearized_memory_access): Same.
        (memory_stride_in_loop): Same.

2009-08-28  Sebastian Pop  <sebastian.pop@amd.com>

        * graphite-dependences.c (pddr_original_scattering): New.
        (graphite_legal_transform_dr): Call pddr_original_scattering.
        (dot_deps_1): New.
        (dot_deps): New.
        * graphite-dependences.h (dot_deps): Declared.
        * graphite-poly.c (new_poly_dr): Initialize PDR_ID.
        (print_pdr): Print PDR_ID.
        * graphite-poly.h (struct poly_dr): Add field id.
        (PDR_ID): New.
        (pbb_index): New.
        * graphite-scop-detection.c (dot_all_scops_1): Cleanup comment.

2009-08-28  Sebastian Pop  <sebastian.pop@amd.com>

        * graphite-dependences.c (graphite_carried_dependence_level_k): Do
        not delete the original dependence relation.

2009-08-28  Sebastian Pop  <sebastian.pop@amd.com>

        * graphite-dependences.c (new_poly_dr_pair): Renamed new_poly_ddr.
        (eq_poly_dr_pair_p): Renamed eq_poly_ddr_p.
        (hash_poly_dr_pair_p): Renamed hash_poly_ddr_p.
        (free_poly_ddr): New.
        (pddr_is_empty): New.
        (dependence_polyhedron_1): Now returns a poly_ddr_p.
        (dependence_polyhedron): Same.  Remove useless gcc_assert.
        Remove fprintfs.
        (graphite_legal_transform_dr): Call pddr_is_empty and free_poly_ddr.
        (graphite_carried_dependence_level_k): Call pddr_is_empty.
        * graphite-dependences.h (enum poly_dependence_kind): New.
        (poly_dr_pair): Renamed poly_ddr.  Added a field kind.
        (PDRP_SOURCE): Renamed PDDR_SOURCE.
        (PDRP_SINK): Renamed PDDR_SINK.
        (PDRP_DDP): Renamed PDDR_DDP.
        (PDDR_KIND): New.
        (free_poly_ddr): Declared.
        * graphite-poly.c (new_scop): Use the new hash function names.
        * graphite-poly.h (struct scop): Renamed field original_pdr_pairs
        into original_pddrs.
        (SCOP_ORIGINAL_PDR_PAIRS): Renamed SCOP_ORIGINAL_PDDRS.

2009-08-28  Sebastian Pop  <sebastian.pop@amd.com>

        * cfgloopmanip.c (create_empty_loop_on_edge): Generate upper
        bounds with LT_EXPR to make niter analysis more precise on code
        generated by Graphite.

2009-08-28  Sebastian Pop  <sebastian.pop@amd.com>

        * graphite-dependences.c (graphite_legal_transform_dr): Fix formatting.
        (graphite_legal_transform_bb): Same.
        (poly_drs_may_alias_p): Same.

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

        * tree.def: Remove note about obsolete TYPE_NONCOPIED_PARTS.

2009-08-28  Jan Beulich  <jbeulich@novell.com>

        * config/i386/netware.c: Include langhooks.h.
        (i386_nlm_encode_section_info): Simplify.
        (netware_override_options): Delete.
        * config/i386/netware.h (netware_override_options): Delete
        declaration.
        (OVERRIDE_OPTIONS): Delete definition.
        (SUBTARGET_OVERRIDE_OPTIONS): Define.
        (ASM_COMMENT_START): Define.
        * config/i386/nwld.h (SUBSUBTARGET_OVERRIDE_OPTIONS): Define.

2009-08-28  Jan Beulich  <jbeulich@novell.com>

        * configure.ac: For in-tree ld, do a plain version check to
        determine whether comdat groups are supported.
        * configure: Regenerate.

2009-08-28  Olivier Hainque  <hainque@adacore.com>

        * collect2.c (DO_COLLECT_EXPORT_LIST): New internal macro,
        always defined.  Reflect definition or absence of such for
        COLLECT_EXPORT_LIST.  Readability helper.
        (scanfilter): New enum, to help control what symbols
        are to be considered or ignored by scan_prog_file.
        (enum pass): Rename as "scanpass", moved together with scanfilter
        prior to scan_prog_file's prototype.
        (scan_prog_file): Accept and honor scanpass and scanfilter arguments.
        Group prototype with the scanpass/scanfilter definitions, factorize
        head comments for the several implementations at the prototype.
        (main): Reorganize the first pass link control to let AIX
        drag only the needed frame tables in executables.  Prevent
        frame tables collection during the scan aimed at static ctors.
        Pre-link and scan for frame tables later to compensate.
        * doc/tm.texi (ASM_OUTPUT_DWARF_TABLE_REF): New macro.
        A C statement to issue assembly directives that create a reference
        to the given DWARF table identifier label from the current function
        section.
        * dwarf2out.c (switch_to_eh_frame_section): Add a BACK argument
        to differentiate first time section entry.  Only emit a .data
        tables start identifier label the first time around.
        (switch_to_frame_table_section): New function.  Helper for
        output_call_frame_info to switch possibly BACK into the eh_frame
        or the debug_frame section depending on FOR_EH.
        (output_call_frame_info): Use helper to first enter the proper
        frame section.
        (output_fde): Use ASM_OUTPUT_DWARF_TABLE_REF when defined to
        emit a link to the frame table start label from each function
        section.
        * config/rs6000/rs6000.c (rs6000_aix_asm_output_dwarf_table_ref):
        New function.  Implementation of ASM_OUTPUT_DWARF_TABLE_REF.
        * config/rs6000/rs6000-protos.h: Declare it.
        * config/rs6000/aix.h (ASM_OUTPUT_DWARF_TABLE_REF): Define.

2009-08-27  Kaz Kojima  <kkojima@gcc.gnu.org>

        * config/sh/sh.c (split_branches): Check the result of
        next_active_insn.

2009-08-27  Steve Ellcey  <sje@cup.hp.com>

        * config/ia64/hpux.h (LIB_SPEC): Add -lrt for when
        using -pthread -fopenmp

2009-08-27  Gerald Pfeifer  <gerald@pfeifer.com>

        * doc/service.texi (service directory): Update URL.

2009-08-27  Uros Bizjak  <ubizjak@gmail.com>

        PR rtl-optimization/40861
        * simplify-rtx.c (simplify_subreg): Do not call simplify_gen_subreg to
        extract word from a multi-word subreg for negative byte positions.

2009-08-27  Tristan Gingold  <gingold@adacore.com>
            Douglas B Rupp  <rupp@gnat.com>

        * config/ia64/ia64.c (ia64_attribute_table): Add "common_object" entry.
        (SECTION_VMS_OVERLAY): Define.
        (ia64_vms_common_object_attribute): Added.  Handle the "common_object"
        attribute.
        (ia64_vms_elf_asm_named_section): Added.  Generate .section pseudo-op
        for common_object.
        (ia64_vms_output_aligned_decl_common): Added.  Generate pseudo-op for
        common_object declarations.
        (ia64_section_type_flags): Set section flag for common_object.
        * config/ia64/ia64-protos.h
        (ia64_vms_output_aligned_decl_common): Declare.
        (ia64_vms_elf_asm_named_section): Declare.

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

        * expr.c (expand_expr_real_2): New function taking exploded
        unary or binary expression, split out from ...
        (expand_expr_real_1): ... here.  Move over all unary/binary
        switch parts to above function, in particular these codes:
        PAREN_EXPR, NOP_EXPR, CONVERT_EXPR, POINTER_PLUS_EXPR, PLUS_EXPR,
        MINUS_EXPR, MULT_EXPR, TRUNC_DIV_EXPR, FLOOR_DIV_EXPR, CEIL_DIV_EXPR,
        ROUND_DIV_EXPR, EXACT_DIV_EXPR, RDIV_EXPR, TRUNC_MOD_EXPR,
        FLOOR_MOD_EXPR, CEIL_MOD_EXPR, ROUND_MOD_EXPR, FIXED_CONVERT_EXPR,
        FIX_TRUNC_EXPR, FLOAT_EXPR, NEGATE_EXPR, ABS_EXPR, MAX_EXPR, MIN_EXPR,
        BIT_NOT_EXPR, TRUTH_AND_EXPR, BIT_AND_EXPR, TRUTH_OR_EXPR,
        BIT_IOR_EXPR, TRUTH_XOR_EXPR, BIT_XOR_EXPR, LROTATE_EXPR, RROTATE_EXPR,
        LSHIFT_EXPR, RSHIFT_EXPR, LT_EXPR, LE_EXPR, GT_EXPR, GE_EXPR, EQ_EXPR,
        NE_EXPR, UNORDERED_EXPR, ORDERED_EXPR, UNLT_EXPR, UNLE_EXPR, UNGT_EXPR,
        UNGE_EXPR, UNEQ_EXPR, LTGT_EXPR, TRUTH_NOT_EXPR, COMPLEX_EXPR,
        WIDEN_SUM_EXPR, REDUC_MAX_EXPR, REDUC_MIN_EXPR, REDUC_PLUS_EXPR,
        VEC_EXTRACT_EVEN_EXPR, VEC_EXTRACT_ODD_EXPR, VEC_INTERLEAVE_HIGH_EXPR,
        VEC_INTERLEAVE_LOW_EXPR, VEC_LSHIFT_EXPR, VEC_RSHIFT_EXPR,
        VEC_UNPACK_HI_EXPR, VEC_UNPACK_LO_EXPR, VEC_UNPACK_FLOAT_HI_EXPR,
        VEC_UNPACK_FLOAT_LO_EXPR, VEC_WIDEN_MULT_HI_EXPR,
        VEC_WIDEN_MULT_LO_EXPR, VEC_PACK_TRUNC_EXPR, VEC_PACK_SAT_EXPR,
        VEC_PACK_FIX_TRUNC_EXPR.
        (<case PAREN_EXPR>): Call set_mem_attributes() with type, not the
        full expression.

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

        * gengtype.c (main): Handle uint64_t.
        * ipa-utils.c (get_base_var): Indent properly.
        * tree-ssa-live.c (debug_scope_block): New function.
        * tree-flow.h (debug_scope_block): Declare.
        * tree-ssa-copy.c (replace_exp_1): Add vertical space.
        * basic-block.h (enum profile_status): Rename to
        enum profile_status_d.
        (x_profile_status): Adjust type.

2009-08-27  Dodji Seketeli  <dodji@redhat.com>

        PR debug/41170
        * dwarf2out.c (get_context_die): Declare this static function.
        (gen_type_die_with_usage): Make sure a DIE is a generated for
        the context of a typedef.

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

        * doc/invoke.texi (AVR Options): Remove documentation of -minit-stack
        switch.

2009-08-26  Richard Sandiford  <rdsandiford@googlemail.com>

        * config/mips/mips-protos.h (mips_output_sync): Declare.
        (mips_sync_loop_insns): Likewise.
        (mips_output_sync_loop): Replace first two parameters with an rtx.
        * config/mips/mips.c (mips_multi_member): New structure.
        (mips_multi_members): New variable.
        (mips_multi_start): New function.
        (mips_multi_add): Likewise.
        (mips_multi_add_insn): Likewise.
        (mips_multi_add_label): Likewise.
        (mips_multi_last_index): Likewise.
        (mips_multi_copy_insn): Likewise.
        (mips_multi_set_operand): Likewise.
        (mips_multi_write): Likewise.
        (mips_print_operand_punctuation): Remove '%|' and '%-'.
        (mips_init_print_operand_punct): Update accordingly.
        (mips_start_ll_sc_sync_block): New function.
        (mips_end_ll_sc_sync_block): Likewise.
        (mips_output_sync): Likewise.
        (mips_sync_insn1_template): Likewise.
        (mips_sync_insn2_template): Likewise.
        (mips_get_sync_operand): Likewise.
        (mips_process_sync_loop): Likewise.
        (mips_output_sync_loop): Use mips_process_sync_loop.
        (mips_sync_loop_insns): New function.
        * config/mips/mips.h (MIPS_COMPARE_AND_SWAP): Delete.
        (MIPS_COMPARE_AND_SWAP_12): Likewise.
        (MIPS_COMPARE_AND_SWAP_12_ZERO_OP): Likewise.
        (MIPS_COMPARE_AND_SWAP_12_NONZERO_OP): Likewise.
        (MIPS_SYNC_OP, MIPS_SYNC_OP_12): Likewise.
        (MIPS_SYNC_OP_12_AND, MIPS_SYNC_OP_12_XOR): Likewise.
        (MIPS_SYNC_OLD_OP_12): Likewise.
        (MIPS_SYNC_OLD_OP_12_AND, MIPS_SYNC_OLD_OP_12_XOR): Likewise.
        (MIPS_SYNC_NEW_OP_12): Likewise.
        (MIPS_SYNC_NEW_OP_12_AND, MIPS_SYNC_NEW_OP_12_XOR): Likewise.
        (MIPS_SYNC_OLD_OP, MIPS_SYNC_NEW_OP): Likewise.
        (MIPS_SYNC_NAND, MIPS_SYNC_OLD_NAND, MIPS_SYNC_NEW_NAND): Likewise.
        (MIPS_SYNC_EXCHANGE, MIPS_SYNC_EXCHANGE_12): Likewise.
        (MIPS_SYNC_EXCHANGE_12_ZERO_OP): Likewise.
        (MIPS_SYNC_EXCHANGE_12_NONZER_OP): Likewise.
        * config/mips/mips.md (sync_mem): New attribute.
        (sync_oldval, sync_newval, sync_inclusive_mask): Likewise.
        (sync_exclusive_mask, sync_required_oldval): Likewise.
        (sync_insn1_op2, sync_insn1, sync_insn2): Likewise.
        (sync_release_barrier): Likewise.
        (length): Handle sync loops.
        (sync): Use mips_output_sync.
        * config/mips/sync.md (*memory_barrier): Use mips_output_sync.
        (sync_compare_and_swap<mode>): Set the new sync_* attributes
        and use mips_output_sync_loop.
        (compare_and_swap_12, sync_add<mode>, sync_<optab>_12): Likewise.
        (sync_old_<optab>_12, sync_new_<optab>_12, sync_nand_12): Likewise.
        (sync_old_nand_12, sync_new_nand_12, sync_sub<mode>): Likewise.
        (sync_old_add<mode>, sync_old_sub<mode>): Likewise.
        (sync_new_add<mode>, sync_new_sub<mode>): Likewise.
        (sync_<optab><mode>, sync_old_<optab><mode>): Likewise.
        (sync_new_<optab><mode>, sync_nand<mode>): Likewise.
        (sync_old_nand<mode>, sync_new_nand<mode>): Likewise.
        (sync_lock_test_and_set<mode>, test_and_set_12): Likewise.

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

        PR middle-end/41163
        * gimplify.c (gimplify_addr_expr): Canonicalize ADDR_EXPRs if
        the types to not match.
        * tree-cfg.c (verify_gimple_assign_single): Adjust ADDR_EXPR
        verification.
        * tree-ssa.c (useless_type_conversion_p): Conversions to
        pointers to unprototyped functions are useless.

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

        * tree-ssa-structalias.c (create_variable_info_for): Remove strange
        whole-program condition, prepare to be called for non-globals.
        (intra_create_variable_infos): For restrict qualified DECL_BY_REFERENCE
        params build a representative with known type and track its fields.

2009-08-26  Uros Bizjak  <ubizjak@gmail.com>

        * config/alpha/sync.md: Update comment about unpredictable LL/SC lock
        clearing by a taken branch.
        (sync_<fetchop_name><mode>): Split when epilogue_completed is set,
        effectively after bbro pass.
        (sync_nand<mode>): Ditto.
        (sync_old_<fetchop_name><mode>): Ditto.
        (sync_old_nand<mode>): Ditto.
        (sync_new_<fetchop_name><mode>): Dito.
        (sync_new_nand<mode>): Ditto.
        (sync_compare_and_swap<mode>_1): Ditto.
        (*sync_compare_and_swap<mode>): Ditto.
        (sync_lock_test_and_set<mode>_1): Ditto.
        ("sync_lock_test_and_set<mode>): Ditto.

2009-08-25  Douglas B Rupp  <rupp@gnat.com>

        * hwint.h (HOST_LONG_FORMAT): New macro
        * bitmap.c, c-decl.c, mips-tfile.c, print-rtl.c, print-tree.c:
        Use HOST_PTR_PRINTF.
        * system.h (HOST_PTR_PRINTF): Resurrect old macro
        * doc/hostconfig.texi (HOST_LONG_FORMAT): Document.
        (HOST_PTR_PRINTF): Document.

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

        * config/i386/bmmintrin.h: Replace by #error.

        Revert:
        Michael Meissner  <michael.meissner@amd.com>
        Dwarakanath Rajagopal  <dwarak.rajagopal@amd.com>
        Tony Linthicum  <tony.linthicum@amd.com>

        * config/i386/i386.h (TARGET_SSE5): New macro for SSE5.
        (TARGET_ROUND): New macro for the round/ptest instructions which
        are shared between SSE4.1 and SSE5.
        (OPTION_MASK_ISA_ROUND): Ditto.
        (OPTION_ISA_ROUND): Ditto.
        (TARGET_FUSED_MADD): New macro for -mfused-madd swtich.
        (TARGET_CPU_CPP_BUILTINS): Add SSE5 support.

        * config/i386/i386.opt (-msse5): New switch for SSE5 support.
        (-mfused-madd): New switch to give users control over whether the
        compiler optimizes to use the multiply/add SSE5 instructions.

        * config/i386/i386.c (enum pta_flags): Add PTA_SSE5.
        (ix86_handle_option): Turn off 3dnow if -msse5.
        (override_options): Add SSE5 support.
        (print_operand): %Y prints comparison codes for SSE5 com/pcom
        instructions.
        (ix86_expand_sse_movcc): Add SSE5 support.
        (ix86_expand_sse5_unpack): New function to use pperm to unpack a
        vector type to the next largest size.
        (ix86_expand_sse5_pack): New function to use pperm to pack a
        vector type to the next smallest size.
        (IX86_BUILTIN_FMADDSS): New for SSE5 intrinsic.
        (IX86_BUILTIN_FMADDSD): Ditto.
        (IX86_BUILTIN_FMADDPS): Ditto.
        (IX86_BUILTIN_FMADDPD): Ditto.
        (IX86_BUILTIN_FMSUBSS): Ditto.
        (IX86_BUILTIN_FMSUBSD): Ditto.
        (IX86_BUILTIN_FMSUBPS): Ditto.
        (IX86_BUILTIN_FMSUBPD): Ditto.
        (IX86_BUILTIN_FNMADDSS): Ditto.
        (IX86_BUILTIN_FNMADDSD): Ditto.
        (IX86_BUILTIN_FNMADDPS): Ditto.
        (IX86_BUILTIN_FNMADDPD): Ditto.
        (IX86_BUILTIN_FNMSUBSS): Ditto.
        (IX86_BUILTIN_FNMSUBSD): Ditto.
        (IX86_BUILTIN_FNMSUBPS): Ditto.
        (IX86_BUILTIN_FNMSUBPD): Ditto.
        (IX86_BUILTIN_PCMOV_V2DI): Ditto.
        (IX86_BUILTIN_PCMOV_V4SI): Ditto.
        (IX86_BUILTIN_PCMOV_V8HI): Ditto.
        (IX86_BUILTIN_PCMOV_V16QI): Ditto.
        (IX86_BUILTIN_PCMOV_V4SF): Ditto.
        (IX86_BUILTIN_PCMOV_V2DF): Ditto.
        (IX86_BUILTIN_PPERM): Ditto.
        (IX86_BUILTIN_PERMPS): Ditto.
        (IX86_BUILTIN_PERMPD): Ditto.
        (IX86_BUILTIN_PMACSSWW): Ditto.
        (IX86_BUILTIN_PMACSWW): Ditto.
        (IX86_BUILTIN_PMACSSWD): Ditto.
        (IX86_BUILTIN_PMACSWD): Ditto.
        (IX86_BUILTIN_PMACSSDD): Ditto.
        (IX86_BUILTIN_PMACSDD): Ditto.
        (IX86_BUILTIN_PMACSSDQL): Ditto.
        (IX86_BUILTIN_PMACSSDQH): Ditto.
        (IX86_BUILTIN_PMACSDQL): Ditto.
        (IX86_BUILTIN_PMACSDQH): Ditto.
        (IX86_BUILTIN_PMADCSSWD): Ditto.
        (IX86_BUILTIN_PMADCSWD): Ditto.
        (IX86_BUILTIN_PHADDBW): Ditto.
        (IX86_BUILTIN_PHADDBD): Ditto.
        (IX86_BUILTIN_PHADDBQ): Ditto.
        (IX86_BUILTIN_PHADDWD): Ditto.
        (IX86_BUILTIN_PHADDWQ): Ditto.
        (IX86_BUILTIN_PHADDDQ): Ditto.
        (IX86_BUILTIN_PHADDUBW): Ditto.
        (IX86_BUILTIN_PHADDUBD): Ditto.
        (IX86_BUILTIN_PHADDUBQ): Ditto.
        (IX86_BUILTIN_PHADDUWD): Ditto.
        (IX86_BUILTIN_PHADDUWQ): Ditto.
        (IX86_BUILTIN_PHADDUDQ): Ditto.
        (IX86_BUILTIN_PHSUBBW): Ditto.
        (IX86_BUILTIN_PHSUBWD): Ditto.
        (IX86_BUILTIN_PHSUBDQ): Ditto.
        (IX86_BUILTIN_PROTB): Ditto.
        (IX86_BUILTIN_PROTW): Ditto.
        (IX86_BUILTIN_PROTD): Ditto.
        (IX86_BUILTIN_PROTQ): Ditto.
        (IX86_BUILTIN_PROTB_IMM): Ditto.
        (IX86_BUILTIN_PROTW_IMM): Ditto.
        (IX86_BUILTIN_PROTD_IMM): Ditto.
        (IX86_BUILTIN_PROTQ_IMM): Ditto.
        (IX86_BUILTIN_PSHLB): Ditto.
        (IX86_BUILTIN_PSHLW): Ditto.
        (IX86_BUILTIN_PSHLD): Ditto.
        (IX86_BUILTIN_PSHLQ): Ditto.
        (IX86_BUILTIN_PSHAB): Ditto.
        (IX86_BUILTIN_PSHAW): Ditto.
        (IX86_BUILTIN_PSHAD): Ditto.
        (IX86_BUILTIN_PSHAQ): Ditto.
        (IX86_BUILTIN_FRCZSS): Ditto.
        (IX86_BUILTIN_FRCZSD): Ditto.
        (IX86_BUILTIN_FRCZPS): Ditto.
        (IX86_BUILTIN_FRCZPD): Ditto.
        (IX86_BUILTIN_CVTPH2PS): Ditto.
        (IX86_BUILTIN_CVTPS2PH): Ditto.
        (IX86_BUILTIN_COMEQSS): Ditto.
        (IX86_BUILTIN_COMNESS): Ditto.
        (IX86_BUILTIN_COMLTSS): Ditto.
        (IX86_BUILTIN_COMLESS): Ditto.
        (IX86_BUILTIN_COMGTSS): Ditto.
        (IX86_BUILTIN_COMGESS): Ditto.
        (IX86_BUILTIN_COMUEQSS): Ditto.
        (IX86_BUILTIN_COMUNESS): Ditto.
        (IX86_BUILTIN_COMULTSS): Ditto.
        (IX86_BUILTIN_COMULESS): Ditto.
        (IX86_BUILTIN_COMUGTSS): Ditto.
        (IX86_BUILTIN_COMUGESS): Ditto.
        (IX86_BUILTIN_COMORDSS): Ditto.
        (IX86_BUILTIN_COMUNORDSS): Ditto.
        (IX86_BUILTIN_COMFALSESS): Ditto.
        (IX86_BUILTIN_COMTRUESS): Ditto.
        (IX86_BUILTIN_COMEQSD): Ditto.
        (IX86_BUILTIN_COMNESD): Ditto.
        (IX86_BUILTIN_COMLTSD): Ditto.
        (IX86_BUILTIN_COMLESD): Ditto.
        (IX86_BUILTIN_COMGTSD): Ditto.
        (IX86_BUILTIN_COMGESD): Ditto.
        (IX86_BUILTIN_COMUEQSD): Ditto.
        (IX86_BUILTIN_COMUNESD): Ditto.
        (IX86_BUILTIN_COMULTSD): Ditto.
        (IX86_BUILTIN_COMULESD): Ditto.
        (IX86_BUILTIN_COMUGTSD): Ditto.
        (IX86_BUILTIN_COMUGESD): Ditto.
        (IX86_BUILTIN_COMORDSD): Ditto.
        (IX86_BUILTIN_COMUNORDSD): Ditto.
        (IX86_BUILTIN_COMFALSESD): Ditto.
        (IX86_BUILTIN_COMTRUESD): Ditto.
        (IX86_BUILTIN_COMEQPS): Ditto.
        (IX86_BUILTIN_COMNEPS): Ditto.
        (IX86_BUILTIN_COMLTPS): Ditto.
        (IX86_BUILTIN_COMLEPS): Ditto.
        (IX86_BUILTIN_COMGTPS): Ditto.
        (IX86_BUILTIN_COMGEPS): Ditto.
        (IX86_BUILTIN_COMUEQPS): Ditto.
        (IX86_BUILTIN_COMUNEPS): Ditto.
        (IX86_BUILTIN_COMULTPS): Ditto.
        (IX86_BUILTIN_COMULEPS): Ditto.
        (IX86_BUILTIN_COMUGTPS): Ditto.
        (IX86_BUILTIN_COMUGEPS): Ditto.
        (IX86_BUILTIN_COMORDPS): Ditto.
        (IX86_BUILTIN_COMUNORDPS): Ditto.
        (IX86_BUILTIN_COMFALSEPS): Ditto.
        (IX86_BUILTIN_COMTRUEPS): Ditto.
        (IX86_BUILTIN_COMEQPD): Ditto.
        (IX86_BUILTIN_COMNEPD): Ditto.
        (IX86_BUILTIN_COMLTPD): Ditto.
        (IX86_BUILTIN_COMLEPD): Ditto.
        (IX86_BUILTIN_COMGTPD): Ditto.
        (IX86_BUILTIN_COMGEPD): Ditto.
        (IX86_BUILTIN_COMUEQPD): Ditto.
        (IX86_BUILTIN_COMUNEPD): Ditto.
        (IX86_BUILTIN_COMULTPD): Ditto.
        (IX86_BUILTIN_COMULEPD): Ditto.
        (IX86_BUILTIN_COMUGTPD): Ditto.
        (IX86_BUILTIN_COMUGEPD): Ditto.
        (IX86_BUILTIN_COMORDPD): Ditto.
        (IX86_BUILTIN_COMUNORDPD): Ditto.
        (IX86_BUILTIN_COMFALSEPD): Ditto.
        (IX86_BUILTIN_COMTRUEPD): Ditto.
        (IX86_BUILTIN_PCOMEQUB): Ditto.
        (IX86_BUILTIN_PCOMNEUB): Ditto.
        (IX86_BUILTIN_PCOMLTUB): Ditto.
        (IX86_BUILTIN_PCOMLEUB): Ditto.
        (IX86_BUILTIN_PCOMGTUB): Ditto.
        (IX86_BUILTIN_PCOMGEUB): Ditto.
        (IX86_BUILTIN_PCOMFALSEUB): Ditto.
        (IX86_BUILTIN_PCOMTRUEUB): Ditto.
        (IX86_BUILTIN_PCOMEQUW): Ditto.
        (IX86_BUILTIN_PCOMNEUW): Ditto.
        (IX86_BUILTIN_PCOMLTUW): Ditto.
        (IX86_BUILTIN_PCOMLEUW): Ditto.
        (IX86_BUILTIN_PCOMGTUW): Ditto.
        (IX86_BUILTIN_PCOMGEUW): Ditto.
        (IX86_BUILTIN_PCOMFALSEUW): Ditto.
        (IX86_BUILTIN_PCOMTRUEUW): Ditto.
        (IX86_BUILTIN_PCOMEQUD): Ditto.
        (IX86_BUILTIN_PCOMNEUD): Ditto.
        (IX86_BUILTIN_PCOMLTUD): Ditto.
        (IX86_BUILTIN_PCOMLEUD): Ditto.
        (IX86_BUILTIN_PCOMGTUD): Ditto.
        (IX86_BUILTIN_PCOMGEUD): Ditto.
        (IX86_BUILTIN_PCOMFALSEUD): Ditto.
        (IX86_BUILTIN_PCOMTRUEUD): Ditto.
        (IX86_BUILTIN_PCOMEQUQ): Ditto.
        (IX86_BUILTIN_PCOMNEUQ): Ditto.
        (IX86_BUILTIN_PCOMLTUQ): Ditto.
        (IX86_BUILTIN_PCOMLEUQ): Ditto.
        (IX86_BUILTIN_PCOMGTUQ): Ditto.
        (IX86_BUILTIN_PCOMGEUQ): Ditto.
        (IX86_BUILTIN_PCOMFALSEUQ): Ditto.
        (IX86_BUILTIN_PCOMTRUEUQ): Ditto.
        (IX86_BUILTIN_PCOMEQB): Ditto.
        (IX86_BUILTIN_PCOMNEB): Ditto.
        (IX86_BUILTIN_PCOMLTB): Ditto.
        (IX86_BUILTIN_PCOMLEB): Ditto.
        (IX86_BUILTIN_PCOMGTB): Ditto.
        (IX86_BUILTIN_PCOMGEB): Ditto.
        (IX86_BUILTIN_PCOMFALSEB): Ditto.
        (IX86_BUILTIN_PCOMTRUEB): Ditto.
        (IX86_BUILTIN_PCOMEQW): Ditto.
        (IX86_BUILTIN_PCOMNEW): Ditto.
        (IX86_BUILTIN_PCOMLTW): Ditto.
        (IX86_BUILTIN_PCOMLEW): Ditto.
        (IX86_BUILTIN_PCOMGTW): Ditto.
        (IX86_BUILTIN_PCOMGEW): Ditto.
        (IX86_BUILTIN_PCOMFALSEW): Ditto.
        (IX86_BUILTIN_PCOMTRUEW): Ditto.
        (IX86_BUILTIN_PCOMEQD): Ditto.
        (IX86_BUILTIN_PCOMNED): Ditto.
        (IX86_BUILTIN_PCOMLTD): Ditto.
        (IX86_BUILTIN_PCOMLED): Ditto.
        (IX86_BUILTIN_PCOMGTD): Ditto.
        (IX86_BUILTIN_PCOMGED): Ditto.
        (IX86_BUILTIN_PCOMFALSED): Ditto.
        (IX86_BUILTIN_PCOMTRUED): Ditto.
        (IX86_BUILTIN_PCOMEQQ): Ditto.
        (IX86_BUILTIN_PCOMNEQ): Ditto.
        (IX86_BUILTIN_PCOMLTQ): Ditto.
        (IX86_BUILTIN_PCOMLEQ): Ditto.
        (IX86_BUILTIN_PCOMGTQ): Ditto.
        (IX86_BUILTIN_PCOMGEQ): Ditto.
        (IX86_BUILTIN_PCOMFALSEQ): Ditto.
        (IX86_BUILTIN_PCOMTRUEQ): Ditto.
        (enum multi_arg_type): New enum for describing the various SSE5
        intrinsic argument types.
        (bdesc_multi_arg): New table for SSE5 intrinsics.
        (ix86_init_mmx_sse_builtins): Add SSE5 intrinsic support.
        (ix86_expand_multi_arg_builtin): New function for creating SSE5
        intrinsics.
        (ix86_expand_builtin): Add SSE5 intrinsic support.
        (ix86_sse5_valid_op_p): New function to validate SSE5 3 and 4
        operand instructions.
        (ix86_expand_sse5_multiple_memory): New function to split the
        second memory reference from SSE5 instructions.
        (type_has_variadic_args_p): Delete in favor of stdarg_p.
        (ix86_return_pops_args): Use stdarg_p to determine if the function
        has variable arguments.
        (ix86_setup_incoming_varargs): Ditto.
        (x86_this_parameter): Ditto.

        * config/i386/i386-protos.h (ix86_expand_sse5_unpack): Add
        declaration.
        (ix86_expand_sse5_pack): Ditto.
        (ix86_sse5_valid_op_p): Ditto.
        (ix86_expand_sse5_multiple_memory): Ditto.

        * config/i386/i386.md (UNSPEC_SSE5_INTRINSIC): Add new UNSPEC
        constant for SSE5 support.
        (UNSPEC_SSE5_UNSIGNED_CMP): Ditto.
        (UNSPEC_SSE5_TRUEFALSE): Ditto.
        (UNSPEC_SSE5_PERMUTE): Ditto.
        (UNSPEC_SSE5_ASHIFT): Ditto.
        (UNSPEC_SSE5_LSHIFT): Ditto.
        (UNSPEC_FRCZ): Ditto.
        (UNSPEC_CVTPH2PS): Ditto.
        (UNSPEC_CVTPS2PH): Ditto.
        (PCOM_FALSE): Add new constant for true/false SSE5 comparisons.
        (PCOM_TRUE): Ditto.
        (COM_FALSE_S): Ditto.
        (COM_FALSE_P): Ditto.
        (COM_TRUE_S): Ditto.
        (COM_TRUE_P): Ditto.
        (type attribute): Add ssemuladd, sseiadd1, ssecvt1, sse4arg types.
        (unit attribute): Add support for ssemuladd, ssecvt1, sseiadd1 sse4arg
        types.
        (memory attribute): Ditto.
        (sse4_1_round<mode>2): Use TARGET_ROUND instead of TARGET_SSE4_1.
        Use SSE4_1_ROUND_* constants instead of hard coded numbers.
        (rint<mode>2): Use TARGET_ROUND instead of TARGET_SSE4_1.
        (floor<mode>2): Ditto.
        (ceil<mode>2): Ditto.
        (btrunc<mode>2): Ditto.
        (nearbyintdf2): Ditto.
        (nearbyintsf2): Ditto.
        (sse_setccsf): Disable if SSE5.
        (sse_setccdf): Ditto.
        (sse5_setcc<mode>): New support for SSE5 conditional move.
        (sse5_pcmov_<mode>): Ditto.

        * config/i386/sse.md (SSEMODE1248): New mode iterator for SSE5.
        (SSEMODEF4): Ditto.
        (SSEMODEF2P): Ditto.
        (ssemodesuffixf4): New mode attribute for SSE5.
        (ssemodesuffixf2s): Ditto.
        (ssemodesuffixf2c): Ditto.
        (sserotatemax): Ditto.
        (ssescalarmode): Ditto.
        (sse_maskcmpv4sf3): Disable if SSE5.
        (sse_maskcmpv2df3): Ditto.
        (sse_vmmaskcmpv4sf3): Ditto.
        (sse5_fmadd<mode>4): Add SSE5 floating point multiply/add instructions.
        (sse5_vmfmadd<mode>4): Ditto.
        (sse5_fmsub<mode>4): Ditto.
        (sse5_vmfmsub<mode>4): Ditto.
        (sse5_fnmadd<mode>4): Ditto.
        (sse5_vmfnmadd<mode>4): Ditto.
        (sse5_fnmsub<mode>4): Ditto.
        (sse5_vmfnmsub<mode>4): Ditto.
        (sse5i_fmadd<mode>4): Ditto.
        (sse5i_fmsub<mode>4): Ditto.
        (sse5i_fnmadd<mode>4): Ditto.
        (sse5i_fnmsub<mode>4): Ditto.
        (sse5i_vmfmadd<mode>4): Ditto.
        (sse5i_vmfmsub<mode>4): Ditto.
        (sse5i_vmfnmadd<mode>4): Ditto.
        (sse5i_vmfnmsub<mode>4): Ditto.
        (mulv16qi3): Add SSE5 support.
        (mulv4si3): Ditto.
        (sse5_mulv4si3): New insn for 32-bit multiply support on SSE5.
        (sse2_mulv4si3): Disable if SSE5.
        (sse4_1_roundpd): Use TARGET_ROUND instead of TARGET_SSE4_1.
        (sse4_1_roundps): Ditto.
        (sse4_1_roundsd): Ditto.
        (sse4_1_roundss): Ditto.
        (sse_maskcmpv4sf3): Disable if SSE5 so the SSE5 instruction will
        be generated.
        (sse_maskcmpsf3): Ditto.
        (sse_vmmaskcmpv4sf3): Ditto.
        (sse2_maskcmpv2df3): Ditto.
        (sse2_maskcmpdf3): Ditto.
        (sse2_vmmaskcmpv2df3): Ditto.
        (sse2_eq<mode>3): Ditto.
        (sse2_gt<mode>3): Ditto.
        (sse5_pcmov_<mode>): Add SSE5 support.
        (vec_unpacku_hi_v16qi): Ditto.
        (vec_unpacks_hi_v16qi): Ditto.
        (vec_unpacku_lo_v16qi): Ditto.
        (vec_unpacks_lo_v16qi): Ditto.
        (vec_unpacku_hi_v8hi): Ditto.
        (vec_unpacks_hi_v8hi): Ditto.
        (vec_unpacku_lo_v8hi): Ditto.
        (vec_unpacks_lo_v8hi): Ditto.
        (vec_unpacku_hi_v4si): Ditto.
        (vec_unpacks_hi_v4si): Ditto.
        (vec_unpacku_lo_v4si): Ditto.
        (vec_unpacks_lo_v4si): Ditto.
        (sse5_pmacsww): New SSE5 intrinsic insn.
        (sse5_pmacssww): Ditto.
        (sse5_pmacsdd): Ditto.
        (sse5_pmacssdd): Ditto.
        (sse5_pmacssdql): Ditto.
        (sse5_pmacssdqh): Ditto.
        (sse5_pmacsdqh): Ditto.
        (sse5_pmacsswd): Ditto.
        (sse5_pmacswd): Ditto.
        (sse5_pmadcsswd): Ditto.
        (sse5_pmadcswd): Ditto.
        (sse5_pcmov_<move>): Conditional move support on SSE5.
        (sse5_phaddbw): New SSE5 intrinsic insn.
        (sse5_phaddbd): Ditto.
        (sse5_phaddbq): Ditto.
        (sse5_phaddwd): Ditto.
        (sse5_phaddwq): Ditto.
        (sse5_phadddq): Ditto.
        (sse5_phaddubw): Ditto.
        (sse5_phaddubd): Ditto.
        (sse5_phaddubq): Ditto.
        (sse5_phadduwd): Ditto.
        (sse5_phadduwq): Ditto.
        (sse5_phaddudq): Ditto.
        (sse5_phsubbw): Ditto.
        (sse5_phsubwd): Ditto.
        (sse5_phsubdq): Ditto.
        (sse5_pperm): Ditto.
        (sse5_pperm_sign_v16qi_v8hi): New insns for pack/unpack with SSE5.
        (sse5_pperm_zero_v16qi_v8hi): Ditto.
        (sse5_pperm_sign_v8hi_v4si): Ditto.
        (sse5_pperm_zero_v8hi_v4si): Ditto.
        (sse5_pperm_sign_v4si_v2di): Ditto.
        (sse5_pperm_sign_v4si_v2di): Ditto.
        (sse5_pperm_pack_v2di_v4si): Ditto.
        (sse5_pperm_pack_v4si_v8hi): Ditto.
        (sse5_pperm_pack_v8hi_v16qi): Ditto.
        (sse5_perm<mode>): New SSE5 intrinsic insn.
        (rotl<mode>3): Ditto.
        (sse5_rotl<mode>3): Ditto.
        (sse5_ashl<mode>3): Ditto.
        (sse5_lshl<mode>3): Ditto.
        (sse5_frcz<mode>2): Ditto.
        (sse5s_frcz<mode>2): Ditto.
        (sse5_cvtph2ps): Ditto.
        (sse5_cvtps2ph): Ditto.
        (sse5_vmmaskcmp<mode>3): Ditto.
        (sse5_com_tf<mode>3): Ditto.
        (sse5_maskcmp<mode>3): Ditto.
        (sse5_maskcmp_uns<mode>3): Ditto.
        (sse5_maskcmp_uns2<mode>3): Ditto.
        (sse5_pcom_tf<mode>3): Ditto.

        * config/i386/predicates.md (sse5_comparison_float_operator):
        New predicate to match the comparison operators supported by
        the SSE5 com instruction.
        (ix86_comparison_int_operator): New predicate to match just the
        signed int comparisons.
        (ix86_comparison_uns_operator): New predicate to match just the
        unsigned int comparisons.

        * doc/invoke.texi (-msse5): Add documentation.
        (-mfused-madd): Ditto.

        * doc/extend.texi (x86 intrinsics): Document new SSE5 intrinsics.

        * config.gcc (i[34567]86-*-*): Include bmmintrin.h and
        mmintrin-common.h.
        (x86_64-*-*): Ditto.

        * config/i386/cpuid.h (bit_SSE5): Define SSE5 bit.

        * config/i386/bmmintrin.h: New file, provide common x86 compiler
        intrinisics for SSE5.

        * config/i386/smmintrin.h: Move instructions shared with SSE5 to
        mmintrin-common.h.

        * config/i386/mmintrin-common.h: New file, to contain common
        instructions between SSE4.1 and SSE5.

        * config/i386/netware.c (gen_stdcall_or_fastcall_decoration): Use
        FOREACH_FUNCTION_ARGS to iterate over the argument list.
        (gen_regparm_prefix): Ditto.

        * config/i386/winnt.c (gen_stdcall_or_fastcall_suffix): Use
        FOREACH_FUNCTION_ARGS to iterate over the argument list.  Use
        prototype_p to determine if a function is prototyped.

2009-08-25 Ville Voutilainen <ville.voutilainen@gmail.com>

        * c-common.c (c_common_reswords) add the alignof keyword,
        with same RID as __alignof and __alignof__

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

        * hooks.h (hook_bool_const_int_const_int_true): Declare.
        * hooks.c (hook_bool_const_int_const_int_true): New function.
        * target.h (struct gcc_target): Add can_eliminate field.
        * target-def.h (TARGET_CAN_ELIMINATE): Define.
        (TARGET_INITIALIZER): Use TARGET_CAN_ELIMINATE.
        * ira.c (setup_eliminable_regset): Use can_eliminate target hook.
        * reload1.c (update_eliminables, init_elim_table): (Ditto.).
        (elim_table): Revise comment.
        * system.h (CAN_ELIMINATE): Poison.
        * defaults.h (CAN_ELIMINATE): Remove.
        * doc/tm.texi (CAN_ELIMINATE): Revise documentation.

        * config/alpha/vms.h (CAN_ELIMINATE): Remove macro.
        * config/alpha/alpha.c (TARGET_CAN_ELIMINATE) [TARGET_ABI_OPEN_VMS]:
        Define macro.
        (alpha_vms_can_eliminate): Declare as static, change return type to
        bool.
        * config/alpha/alpha-protos.h (alpha_vms_can_eliminate): Remove.

        * config/arm/arm.h (CAN_ELIMINATE): Remove macro.
        * config/arm/arm.c (TARGET_CAN_ELIMINATE): Define macro.
        (arm_can_eliminate): New function.

        * config/avr/avr.h (CAN_ELIMINATE): Remove macro.
        * config/avr/avr.c (TARGET_CAN_ELIMINATE): Define macro.
        (avr_can_eliminate): Declare as static.
        * config/avr/avr-protos.h (avr_can_eliminate): Remove.

        * config/bfin/bfin.h (CAN_ELIMINATE): Remove macro.
        * config/bfin/bfin.c (TARGET_CAN_ELIMINATE): Define macro.
        (bfin_can_eliminate): New function.

        * config/crx/crx.h (CAN_ELIMINATE): Remove macro.
        * config/crx/crx.c (TARGET_CAN_ELIMINATE): Define macro.
        (crx_can_eliminate): New function.

        * config/fr30/fr30.h (CAN_ELIMINATE): Remove macro.
        * config/fr30/fr30.c (TARGET_CAN_ELIMINATE): Define macro.
        (fr30_can_eliminate): New function.

        * config/frv/frv.h (CAN_ELIMINATE): Remove macro.
        * config/frv/frv.c (TARGET_CAN_ELIMINATE): Define macro.
        (frv_can_eliminate): New function.

        * config/h8300/h8300.h (CAN_ELIMINATE): Remove macro.
        * config/h8300/h8300.c (TARGET_CAN_ELIMINATE): Define macro.
        (h8300_can_eliminate): New function.

        * config/i386/i386.h (CAN_ELIMINATE): Remove macro.
        * config/i386/i386.c (TARGET_CAN_ELIMINATE): Define macro.
        (i386_can_eliminate): Declare as static, change return type to bool.
        * config/i386/i386-protos.h (i386_can_eliminate): Remove.

        * config/ia64/ia64.h (CAN_ELIMINATE): Remove macro.
        * config/ia64/ia64.c (TARGET_CAN_ELIMINATE): Define macro.
        (ia64_can_eliminate): New function.

        * config/iq2000/iq2000.h (CAN_ELIMINATE): Remove macro.
        * config/iq2000/iq2000.c (TARGET_CAN_ELIMINATE): Define macro.
        (iq2000_can_eliminate): New function.

        * config/m32r/m32r.h (CAN_ELIMINATE): Remove macro.
        * config/m32r/m32r.c (TARGET_CAN_ELIMINATE): Define macro.
        (m32r_can_eliminate): New function.

        * config/m68hc11/m68hc11.h (CAN_ELIMINATE): Remove macro.
        * config/m68hc11/m68hc11.c (TARGET_CAN_ELIMINATE): Define macro.
        (m68hc11_can_eliminate): New function.

        * config/m68k/m68k.h (CAN_ELIMINATE): Remove macro.
        * config/m68k/m68k.c (TARGET_CAN_ELIMINATE): Define macro.
        (m68k_can_eliminate): New function.

        * config/mep/mep.h (CAN_ELIMINATE): Remove macro.
        * config/mep/mep.c (TARGET_CAN_ELIMINATE): Define macro.
        (mep_can_eliminate): New function.

        * config/mips/mips.h (CAN_ELIMINATE): Remove macro.
        * config/mips/mips.c (TARGET_CAN_ELIMINATE): Define macro.
        (mips_can_eliminate): New function.

        * config/rs6000/rs6000.h (CAN_ELIMINATE): Remove macro.
        * config/rs6000/rs6000.c (TARGET_CAN_ELIMINATE): Define macro.
        (rs6000_can_eliminate): New function.

        * config/s390/s390.h (CAN_ELIMINATE): Remove macro.
        * config/s390/s390.c (TARGET_CAN_ELIMINATE): Define macro.
        (s390_can_eliminate): Declare as static.
        * config/s390/s390-protos.h (sparc_can_eliminate): Remove.

        * config/score/score.h (CAN_ELIMINATE): Remove macro.
        * config/score/score.c (TARGET_CAN_ELIMINATE): Define macro.
        (score_can_eliminate): New function.

        * config/sparc/sparc.h (CAN_ELIMINATE): Remove macro.
        * config/sparc/sparc.c (TARGET_CAN_ELIMINATE): Define macro.
        (sparc_can_eliminate): Declare as static.
        * config/sparc/sparc-protos.h (sparc_can_eliminate): Remove.

        * config/stormy16/stormy16.h (CAN_ELIMINATE): Remove macro.
        * config/stormy16/stormy16.c (TARGET_CAN_ELIMINATE): Define macro.
        (xstormy16_can_eliminate): New function.

        * config/v850/v850.h (CAN_ELIMINATE): Remove macro.
        * config/v850/v850.c (TARGET_CAN_ELIMINATE): Define macro.
        (v850_can_eliminate): New function.

2009-08-25  Uros Bizjak  <ubizjak@gmail.com>

        * config/alpha/alpha.md (*cmpdf_ieee_ext[123]): Remove.
        (*cmpdf_internal): Enable for all ALPHA_FPTM levels.
        (*movdfcc_ext[1234]): Disable for IEEE mode.

2009-08-25  Eric Botcazou  <ebotcazou@adacore.com>

        * gimplify.c (prepare_gimple_addressable): New static function.
        (gimplify_modify_expr_to_memcpy): Invoke it on the RHS before marking
        it addressable.
        (gimplify_addr_expr): Invoke it similarly on the operand instead of
        manually fiddling with it.

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

        * expr.h (jumpifnot_1, jumpif_1, do_jump_1): Declare.
        * dojump.c (do_jump_by_parts_greater): Take two operands instead of
        full expression.
        (do_jump_by_parts_equality, do_compare_and_jump): Ditto.
        (jumpifnot_1, jumpif_1): New wrappers for do_jump_1.
        (do_jump): Split out code for simple binary comparisons into ...
        (do_jump_1): ... this, taking the individual operands and code.
        Change callers to helper function above accordingly.
        * expr.c (expand_expr_real_1): Use jumpifnot_1 for simple binary
        comparisons.

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

        * expr.h (struct separate_ops, sepops): New type for passing
        around an exploded simple expression.
        * optabs.c (expand_widen_pattern_expr, expand_vec_shift_expr):
        Use this structure instead of expression tree.
        (get_vcond_icode, expand_vec_cond_expr_p): Don't take whole
        expression, only its type.
        (expand_vec_cond_expr): Take type and individual operands instead
        of full expression.
        * optabs.h (expand_widen_pattern_expr, expand_vec_cond_expr,
        expand_vec_shift_expr): Change prototype accordingly.
        * tree-vect-stmts.c (vectorizable_condition): Change call of
        expand_vec_cond_expr_p to pass only type.
        * expr.c (do_store_flags): Change prototype and implementation
        to take an exploded expression.
        (expand_expr_real_1): New local ops initialized with details
        of the full expression.  Use it instead of full
        expression in calls to do_store_flags, expand_vec_cond_expr,
        expand_widen_pattern_expr and expand_vec_shift_expr.

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

        * expr.c (expand_expr_real_1): New local treeop0, treeop1,
        treeop2 initialized with first three operands of the full expression.
        Substitute all TREE_OPERAND (exp, [012]) calls with them.

2009-08-25  Kai Tietz  <kai.tietz@onevision.com>

        * gcc/gthr-win32.h (__UNUSED_PARAM): Define, if not already present.
        (__gthread_objc_condition_allocate): Mark arguments as unused.
        (__gthread_objc_condition_deallocate): Likewise.
        (__gthread_objc_condition_wait): Likewise.
        (__gthread_objc_condition_broadcast): Likewise.
        (__gthread_objc_condition_signal): Likewise.
        (__gthread_objc_thread_detach): Cast via INT_PTR to pointer.
        (__gthread_objc_thread_id): Likewise.

2009-08-25  Janus Weil  <janus@gcc.gnu.org>

        PR middle-end/41149
        * tree-pretty-print.c (print_call_name): Print the correct call name
        for procedure pointer components.

2009-08-24  Steve Ellcey  <sje@cup.hp.com>

        * config/ia64/ia64.c (ia64_promote_function_mode): Call
        default_promote_function_mode when not VMS.

2009-08-24  Olivier Hainque  <hainque@adacore.com>

        * convert.c (convert_to_integer): Don't assume an input pointer is
        POINTER_SIZE wide.  Fetch from the type instead.

2009-08-24  Ralf Wildenhues  <Ralf.Wildenhues@gmx.de>

        * configure.ac (AC_PREREQ): Bump to 2.64.

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

        * gcc.c (standard_exec_prefix_1,standard_exec_prefix_2): Remove.
        (process_command): Don't search standard_exec_prefix_1 and
        standard_exec_prefix_2.

2009-08-24  Ramana Radhakrishnan  <ramana.radhakrishnan@arm.com>

        * config/arm/arm.c (output_return_instruction): Handle for
        unified syntax.

2009-08-24  Ramana Radhakrishnan  <ramana.radhakrishnan@arm.com>

        * config/arm/arm.c (arm_select_cc_mode): Handle subreg.

2009-08-24  Ramana Radhakrishnan  <ramana.radhakrishnan@arm.com>

        * config/arm/vfp.md (*arm_movdi_vfp): Mark as predicable.
        (*arm_movdf_vfp): Likewise.

2009-08-24  Ramana Radhakrishnan  <ramana.radhakrishnan@arm.com>

        * config/arm/neon.md (vashl<mode>3): Rename from ashl<mode>3.
        (vashr<mode>3): Rename from ashr<mode>3.
        (vlshr<mode>3): Rename from lshr<mode>3.

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

        PR/40786
        * c-format.c (format_wanted_type): Add new member scalar_identity_flag.
        (check_format_info_main): Use scalar_identify_flag.
        (check_format_types): Check for scalar size identity if
        scalar_identify_flag is set.
        (printf_length_specs): Extend by new field.
        (asm_fprintf_length_specs): Likewise.
        (gcc_diag_length_specs): Likewise.
        (scanf_length_specs): Likewise.
        (strfmon_length_specs): Likewise.
        (gcc_gfc_length_specs): Likewise.
        * config/i386/msformat-c.c (ms_printf_length_specs): Likewise.
        (ms_printf_flag_specs): Likewise.
        * c-format.h (format_length_info): Add new member scalar_identity_flag.

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

        PR target/40718
        * config/i386/i386.c (*call_pop_1): Disable for sibling calls.
        (*call_value_pop_1): Ditto.
        (*sibcall_pop_1): New insn pattern.
        (*sibcall_value_pop_1): Ditto.

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

        PR target/41081
        * config/rs6000/rs6000.md (rotlsi3_64, ashlsi3_64, lshrsi3_64,
        ashrsi3_64): New.

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

        PR target/41081
        * fwprop.c (try_fwprop_subst): Allow multiple sets.
        (get_reg_use_in): New function.
        (forward_propagate_subreg): Propagate through subreg of zero_extend
        or sign_extend.

2009-08-22  Kaz Kojima  <kkojima@gcc.gnu.org>

        * config/sh/t-sh (TARGET_LIBGCC2_CFLAGS): Define.
        * config/sh/t-netbsd (TARGET_LIBGCC2_CFLAGS): Add -mieee.

2009-08-22  Ralf Wildenhues  <Ralf.Wildenhues@gmx.de>

        * configure.ac: Remove --with-datarootdir, --with-docdir,
        --with-htmldir switches.  No need to call AC_SUBST for
        datarootdir, docdir, htmldir any more.
        * configure: Regenerate.
        * doc/install.texi (Configuration): Document --datarootdir,
        --docdir, --htmldir, --pdfdir; update documentation for
        --infodir, --mandir.
        (Prerequisites): Bump Autoconf version to 2.64, Automake to 1.11,
        M4 to 1.4.6.

        * aclocal.m4: Regenerate.
        * config.in: Regenerate.
        * configure: Regenerate.

2009-08-21  Douglas B Rupp  <rupp@gnat.com>
            Olivier Hainque  <hainque@adacore.com>

        * config/ia64/ia64.c: Include libfuncs.h.
        (TARGET_PROMOTE_FUNCITON_MODE): Define target macro.
        (ia64_expand_call): Use reg 25 on VMS.
        (ia64_initialize_trampoline): Fix for VMS ABI.
        (ia64_function_arg_offset): Always returns 0 when TARGET_ABI_OPEN_VMS.
        (ia64_function_arg): Initialize reg 25 on VMS.
        Fix OpenVMS ABI issues for varargs.
        For OpenVMS, emit the Argument Information register set in the
        incoming/sibcall case as well.
        (ia64_arg_type): New function.
        (ia64_function_arg_advance): Keep track of cum->words.
        Fix OpenVMS ABI issues for varargs.
        (ia64_function_value): On VMS, promote mode of non-aggregate types.
        (ia64_override_options): Set flag_no_common on VMS.
        (ia64_init_builtins): Disable FWRITE builtin.
        (ia64_asm_output_external): Call DO_CRTL_NAMES.
        (ia64_vms_init_libfuncs): Add decc$ routines.
        (ia64_vms_valid_pointer_mode): New function.
        (ia64_struct_value_rtx): Allways NULL_RTX on VMS.
        (ia64_promote_function_mode): New function
        * config/ia64/ia64.h (TARGET_ABI_OPEN_VMS): Define as 0 for default.
        (LONG_DOUBLE_TYPE_SIZE): Force to 64 on VMS.
        (LIBCGC2_LONG_DOUBLE_TYPE_SIZE): Likewise.
        (INIT_CUMULATIVE_ARGS): Add atypes for VMS.
        (INIT_CUMULATIVE_INCOMING_ARGS): Likewise.
        (ASM_OUTPUT_DEF): Use ISDIGIT instead of isdigit.
        Suppress trailing '#' if VALUE is numeric.
        * config/ia64/vms.h (PROMOTE_FUNCTION_MODE): Remove, code moved to
        ia64_promote_function_mode.
        (TARGET_VALID_POINTER_MODE): Define.

2009-08-21  Michael Meissner  <meissner@linux.vnet.ibm.com>

        PR target/40671
        * config/rs6000/rs6000.c (rs6000_override_options): Use
        TARGET_64BIT instead of TARGET_POWERPC64 to set the size of pointers.

        PR target/41145
        * config/rs6000/rs6000.c (rs6000_handle_altivec_attribute): Fix
        reporting of vector + decimal/boolean/complex error.

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

        * config/rs6000/rs6000.c (rs6000_init_builtins): Fix type of
        __vector double TYPE_DECL.

2009-08-21  Richard Earnshaw  <rearnsha@arm.com>

        * arm.h (MACHMODE): New define.  Include insn-modes.h if available.
        (CUMULATIVE_ARGS): Use MACHMODE for declaration of aapcs_vfp_mode.
        * arm.c (aapcs_vfp_is_call_or_return_candidate): Change base_mode
        to pointer to enum machine_mode.  Update all callers as needed.

2009-08-21 Uros Bizjak <ubizjak@gmail.com>

        * config/alpha/alpha.md (exception_receiver): Emit alternative
        GP load sequence if flag_reorder_blocks_and_partition is set.
        (*exception_receiver_2): Also enable when
        flag_reorder_blocks_and_partition is set.

2009-08-20  Matt Rice  <ratmice@gmail.com>
            Diego Novillo  <dnovillo@google.com>

        * Makefile.in (PLUGIN_HEADERS): Include incpath.h and
        tree-ssa-sccvn.h.

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

        * c-objc-common.h (LANG_HOOKS_DUP_LANG_SPECIFIC_DECL): Do not define.
        * c-tree.h (c_dup_lang_specific_decl): Remove.
        (struct lang_decl, struct lang_type): Move definitions ...
        * c-lang.h: ... here.  New file.
        * c-decl.c: Include c-lang.h.
        (c_dup_lang_specific_decl): Remove.
        * c-typeck.c: Include c-lang.h.
        * Makefile.in (c-decl.o): Add c-lang.h dependency.
        (c-typeck.o): Likewise.
        * c-config-lang.in (gtfiles): Add c-lang.h.
        * gengtype.c (get_output_file_with_visibility): Handle c-lang.h
        like c-tree.h.

2009-08-20  Uros Bizjak  <ubizjak@gmail.com>

        * config/alpha/alpha.c (alpha_end_function): Do not clear
        crtl->emit structure and free insn locators if cfun->is_thunk is true,
        this is now handled in generic code.

2009-08-20  Andreas Krebbel  <krebbel1@de.ibm.com>

        * config/s390/s390.c (Z10_PREDICT_DISTANCE): New macro.
        (s390_z10_fix_long_loop_prediction): New function.
        (s390_z10_optimize_cmp): INSN walk moved to callee - s390_reorg.
        (s390_reorg): Walk over the INSNs and invoke
        s390_z10_fix_long_loop_prediction and s390_z10_optimize_cmp.

2009-08-20  Andreas Krebbel  <krebbel1@de.ibm.com>

        * config/s390/s390.md ("*brx_stage1_<GPR:mode>", "*brxg_64bit",
        "*brx_64bit", "*brx_31bit"): New patterns.
        * config/s390/s390.c ('E'): New output modifier.

2009-08-20  Ramana Radhakrishnan  <ramana.radhakrishnan@arm.com>
            Richard Earnshaw  <richard.earnshaw@arm.com>

        * config/arm/arm.c (arm_emit_movpair): Handle CONST_INT.
        * config/arm/arm.md (*arm_movtas_ze): New pattern for movt.

2009-08-19  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>

        * pa.md (reload_inhi, reload_outhi, reload_inqi, reload_outqi): New
        patterns.
        * pa.c (emit_move_sequence): Check if address of operand1 is valid
        for mode mode of operand0 when doing secondary reload for SAR.

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

        PR middle-end/41123
        * expr.c (expand_expr_real_1) <normal_inner_ref>: Handle all kinds
        of CONCAT, not just bitpos 0 bitsize size of the whole CONCAT.

2009-08-19  Jason Merrill  <jason@redhat.com>

        * doc/invoke.texi (C++ Dialect Options): Note change of minimum
        supported template depth in C++0x.

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

        * config/rs6000/rs6000.c (rs6000_output_mi_thunk): Don't call
        free_after_compilation.
        * config/score/score7.c (score7_output_mi_thunk): Likewise.
        * config/score/score3.c (score3_output_mi_thunk): Likewise.
        * config/ia64/ia64.c (ia64_output_mi_thunk): Likewise.
        * config/mips/mips.c (mips_output_mi_thunk): Likewise.
        * config/sh/sh.c (sh_output_mi_thunk): Likewise.
        * config/m68k/m68k.c (m68k_output_mi_thunk): Likewise.
        * config/sparc/sparc.c (sparc_output_mi_thunk): Likewise.

2009-08-19  Ian Lance Taylor  <iant@google.com>

        * doc/md.texi (Insn Canonicalizations): Correct canonicalization
        of (plus (mult (neg B) C) A).

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

        * omp-low.c (optimize_omp_library_calls): Use types_compatible_p
        instead of comparing TYPE_MAIN_VARIANT for equality.
        * tree-vect-patterns.c (vect_recog_dot_prod_pattern,
        vect_recog_widen_mult_pattern, vect_recog_widen_sum_pattern): Ditto.
        * tree-vect-loop.c (vect_is_simple_reduction): Ditto.
        * gimplify.c (goa_lhs_expr_p): Ditto and use
        STRIP_USELESS_TYPE_CONVERSION.

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

        * tree-ssa-structalias.c (create_variable_info_for): Also mark
        first field in a struct.
        (intra_create_variable_infos): Don't deal with flag_argument_noalias.

2009-08-18  Uros Bizjak  <ubizjak@gmail.com>

        * config/alpha/alpha.c (alpha_output_mi_thunk_osf): Allocate insn
        locators before emit_insn is called.  Remove assert that
        cfun->is_thunk.