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

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.
        (alpha_end_function): Clear crtl->emit structure and free insn
        locators if cfun->is_thunk is true.

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

        * config/elfos.h (ASM_DECLARE_OBJECT_NAME): Use gnu_unique_object
        type if available.
        * configure.ac: Test for it.
        * configure, config.in: Regenerate.
        * doc/install.texi: Document --enable-gnu-unique-object.

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

        PR middle-end/41094
        * builtins.c (fold_builtin_pow): Fold pow(pow(x,y),z) to
        pow(x,y*z) only if x is nonnegative.

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

        * bb-reorder.c (fix_up_fall_thru_edges): Only call invert_jump
        on jumps.

        PR target/40971
        * config/rs6000/rs6000.c (rs6000_legitimize_address): For
        [DT][FDI]mode ensure the offset isn't 4/8/12 bytes below 0x8000.

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

        * config/m32c/m32c.md (UNS_FSETB, UNS_FREIT): New.
        * config/m32c/prologue.md (epilogue_freit): New.
        (fset_b): New.
        * config/m32c/m32c.c (m32c_function_needs_enter): Add prototype.
        (bank_switch_p): Likewise.
        (fast_interrupt_p): Likewise.
        (interrupt_p): Likewise.
        (m32c_conditional_register_usage): Round memregs size up.
        (need_to_save): We only need to save $a0 when we use ENTER.
        (interrupt_p): Check for fast_interrupt too.
        (bank_switch_p): New.
        (fast_interrupt_p): New.
        (m32c_attribute_table): Add bank_switch and fast_interrupt.
        (m32c_emit_prolog): Support bank switching and fast interrupts.
        * doc/extend.texi (Function Attributes): Add bank_switch and
        fast_interrupt.

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

        * config/alpha/alpha.c (vms_valid_pointer_mode): New function.
        * config/alpha/vms.h (TARGET_VALID_POINTER_MODE): Define.

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

        * doc/invoke.texi (Target options):
        Add new option list for IA-64/VMS.
        (menu): Add IA-64/VMS Options.
        (IA-64/VMS Options): Likewise.

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

        PR target/38599
        * config/mips/mips.md (*lwxs): Use :P for pointer values.

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

        * config/mips/mips-protos.h (mips_push_asm_switch): New function.
        (mips_pop_asm_switch): Likewise.
        * config/mips/mips.c (set_noreorder, set_nomacro, set_noat): Replace
        with...
        (mips_noreorder, mips_nomacro, mips_noat): ...these new variables.
        (mips_push_asm_switch_1, mips_pop_asm_switch_1): New functions.
        (mips_push_asm_switch, mips_pop_asm_switch): Likewise.
        (mips_print_operand_punctuation): Use them.  Check mips_noreorder
        instead of set_noreorder.
        (mips_output_function_prologue): Use the new functions.
        (mips_output_function_epilogue): Likewise.
        (mips_need_noat_wrapper_p): New function, split out from...
        (mips_final_prescan_insn, mips_final_postscan_insn): ...here.
        Use mips_push_asm_switch and mips_pop_asm_switch.
        * config/mips/mips.h (FUNCTION_PROFILER): Use mips_push_asm_switch
        and mips_pop_asm_switch.
        (ASM_OUTPUT_REG_POP): Likewise.
        (DBR_OUTPUT_SEQEND): Remove boilerplate comment.
        Use mips_pop_asm_switch.
        (mips_asm_switch): New structure.
        (set_noreorder, set_nomacro): Replace with...
        (mips_noreorder, mips_nomacro, mips_noat): ...these new variables.
        * config/mips/mips.md (fix_truncdfsi2_macro): Use mips_nomacro
        instead of set_nomacro.
        (fix_truncsfsi2_macro): Likewise.
        (cprestore): Likewise.
        (hazard): Use mips_noreorder instead of set_noreorder.
        * config/mips/sdemtk.h (FUNCTION_PROFILER): As for mips.h.

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

        * config/alpha/alpha.c (alpha_and_function): Handle NULL_RTX returned
        from prev_active_insn.

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

        * config/avr/avr.h (AVR_HAVE_8BIT_SP): New macros.
        * config/avr/avr.c (avr_override_options): Initialize
        avr_current_arch variable.
        (avr_cpu_cpp_builtins): Define __AVR_HAVE_8BIT_SP__ or
        __AVR_HAVE_16BIT_SP__ according to the device type.
        (expand_prologue, output_movhi): Use AVR_HAVE_8BIT_SP instead of
        TARGET_TINY_STACK.
        (expand_epilogue): Use correct QI mode frame pointer for tiny stack.
        Use AVR_HAVE_8BIT_SP instead of TARGET_TINY_STACK.

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

        PR debug/37801
        * gcc/dwarf2out.c (gen_inlined_subroutine_die): Concentrate on
        generating inlined subroutine die only. We shouldn't be
        called for anything else.
        (gen_block_die): Don't generate inline subroutine debug info for
        abstract blocks.

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

        * graphite-poly.c (print_pbb): Print PBB index.

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

        PR middle-end/40981
        * graphite-interchange.c (ppl_max_for_le): Moved...
        * graphite-poly.c (pbb_number_of_iterations): Call ppl_max_for_le.
        * graphite-ppl.c (ppl_max_for_le): ... here.  Correct the use of
        ppl_Pointset_Powerset_C_Polyhedron_maximize.
        * graphite-ppl.h (ppl_max_for_le): Declared.

2009-08-14  Olatunji Ruwase <tjruwase@google.com>

        * doc/extend.texi (Symbol-Renaming Pragmas): redefine_extname is
        supported on all platforms.
        * target.h (struct gcc_target): Remove
        handle_pragma_redefine_extname.
        * c-cppbuiltin.c: Remove use of
        targetm.handle_pragma_redefine_extname.
        * c-pragma.c: Likewise.
        * target-def.h (TARGET_INITIALIZER): Remove
        TARGET_HANDLE_PRAGMA_REDEFINE_EXTNAME.
        * config/sol2.h: Remove use of
        TARGET_HANDLE_PRAGMA_REDEFINE_EXTNAME.

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

        * config/ia64/fde-vms.c: New file.
        * config/ia64/fde-glibc.c (_Unwind_FindTableEntry): Add dummy arg.
        * config/ia64/unwind-ia64.c (UNW_ accessors): Move to unwind-ia64.h
        (MD_UNW_COMPATIBLE_PERSONALITY_P): Provide default.
        (uw_frame_state_for): Only register a personality routine if it is
        known to be compatible with our expectations.
        (_Unwind_FindEnclosingFunction, uw_frame_state_for):
        Declare unw_table_entry stack variable and
        mod all calls to _Unwind_FindTableEntry to add arg.
        * config/ia64/unwind-ia64.h (UNW_ accessors): Move here.
        (_Unwind_FindTableEntry): Add arg to prototype.

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

        * config/ia64/unwind-ia64.c (struct _Unwind_Context): Add new
        field 'signal_pfs_loc'.
        (uw_frame_state_for): Remove duplicate code dealing with leaf
        procedures without unwind info.
        If in the frame after unwinding through a signal handler, restore
        the AR.PFS register instead of the CFM if AR.PFS has not been saved.
        * config/ia64/linux-unwind.h (ia64_fallback_frame_state): Do not set
        'pfs_loc' to the AR.PFS location in the signal context; instead
        set 'signal_pfs_loc'.
        Manually generate the unwind info for the AR.PFS register.
        (ABI_MARKER_OLD_LINUX_SIGTRAMP, ABI_MARKER_OLD_LINUX_INTERRUPT,
        ABI_MARKER_LINUX_SIGTRAMP, ABI_MARKER_LINUX_INTERRUPT): Define.
        (ia64_handle_unwabi): Test 'fs->unwabi' against them.
        Do not set 'pfs_loc' to the AR.PFS location in the signal context;
        instead set 'signal_pfs_loc'.
        Remove code preventing the AR.PFS register from being restored
        from the signal context.

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

        * config.gcc (ia64-hp-*vms*): Insert ia64/t-ia64 in tmake_file.
        * config/ia64/t-vms: New file.
        * config/ia64/vms64.h: New file.
        * config/ia64/vms.h: New file.
        * config/ia64/vms-crtinit.asm: New file.
        * config/ia64/vms_symvec_libgcc_s.opt: New file.
        * config/ia64/vms-unwind.h: New file.

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

        * config/alpha/alpha.c (alpha_emit_conditional_move): Handle
        TFmode compares.

2009-08-14  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>

        PR middle-end/30789
        * builtins.c (do_mpc_arg2): Make extern, define for any MPC
        version.  Move declaration...
        * real.h (do_mpc_arg2): ... here.
        * fold-const.c (const_binop): Use MPC for complex MULT_EXPR
        and RDIV_EXPR.

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

        * final.c (add_debug_prefix_map): Don't use GC memory for
        old_prefix and new_prefix.

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

        * ipa-prop.c (compute_complex_pass_through): If we cannot
        compute a non-varying offset for IPA_JF_ANCESTOR punt.

2009-08-14  Ulrich Weigand  <Ulrich.Weigand@de.ibm.com>

        * c-lex.c (c_lex_with_flags): Increase size of local variable
        to avoid memory clobber.

2009-08-14  Paolo Bonzini  <bonzini@gnu.org>

        PR target/40934
        * config/i386/i386.c (ix86_fp_comparison_strategy):
        Only enable/disable sahf at function granularity.

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

        PR rtl-optimization/41064
        * reload1.c (reload_as_needed): Don't call extract_insn
        for known invalid replacements after calling
        validate_replace_rtx_group and verify_changes.

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

        PR target/41019
        * config/i386/sse.md (SSEMODE124C8): New mode iterator.
        (vcond<SSEMODEF2P:mode>): Assert that operation is supported by
        ix86_expand_fp_vcond.
        (vcond<SSEMODE124C8:mode>): Use SSEMODE124C8 instead of SSEMODE124.
        Assert that operation is supported by ix86_expand_int_vcond.
        (vcondu<SSEMODE124C8:mode>): Ditto.

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

        * config/i386/djgpp-stdint.h: New.
        * config.gcc (djgpp): Use it.

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

        * config/sh/sh.c (sh_override_options): When flag_exceptions or
        flag_unwind_tables is on, turn flag_reorder_blocks_and_partition off.

2009-08-13  Ghassan Shobaki  <ghassan.shobaki@amd.com>

        * tree-ssa-loop-prefetch.c
        (prune_ref_by_group_reuse): Enhance probabilistic analysis
        for long-stride pruning.
        (compute_miss_rate): New function to compute the probability
        that two memory references access different cache lines.

2009-08-13  Dave Korn  <dave.korn.cygwin@gmail.com>

        * gcc/config/i386/cygwin.h (LINK_SPEC): Add --enable-auto-image-base.

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

        PR middle-end/41047
        * tree-ssa-ccp.c (ccp_fold): When folding pointer additions
        use the constant pointer type.
        * gimplify.c (canonicalize_addr_expr): Canonicalize independent
        of CV qualifiers on the target pointer type.
        * tree-ssa.c (useless_type_conversion_p): Move incomplete pointer
        conversion check before restrict check.

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

        PR target/41029
        * config/sh/sh.md (reload_outdf__RnFRm+4): Fix thinko.

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

        * config/sh/sh.c (sh_promote_function_mode): Add ATTRIBUTE_UNUSED.

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

        PR tree-optimization/41011
        * ipa-cp.c (ipcp_lattice_from_jfunc): Deal with failing fold
        and reference constructing.

2009-08-12  Xinliang David Li  <davidxl@google.com>

        PR tree-optimization/41012
        * tree-flow.h : New external interface.
        * gimple-low.c (check_call_arg): Change to public function.
        Remove argument mismatch check in lowering.
        * tree-inline.h (tree_can_inline_p): Interface change.
        * tree-inline.c (tree_can_inline_p): Fold argument mismatch check
        into this function.
        * ipa-inline.c (cgraph_decide_inlining_of_small_functions):
        Call change to tree_can_inline_p function.
        (cgraph_decide_inlining_incrementally): Ditto.

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

        PR tree-optimization/41031
        * tree-outof-ssa.c (insert_value_copy_on_edge): Use promote_decl_mode
        on the partition variable rather than promote_mode on the source
        type.  Assert that the partition variable's type has the same
        mode as the source value's.

2009-08-12  Paolo Bonzini  <bonzini@gnu.org>

        * doc/tm.texi (TARGET_PROMOTE_FUNCTION_MODE): Add documentation
        for for_return == 2.
        * function.c (assign_parm_setup_reg): Use for_return == 2, improve
        comments.
        * calls.c (expand_call): Fix typo.
        * explow.c (promote_decl_mode): Use for_return == 2 for RESULT_DECL
        and PARM_DECL.
        * stmt.c (expand_value_return): Use promote_function_mode to copy out
        of pseudo.
        * targhooks.c (default_promote_function_mode): Handle for_return == 2.
        * config/cris/cris.c (cris_promote_function_mode): Likewise.
        * config/mmix/mmix.c (mmix_promote_function_mode): Likewise.
        * config/pa/pa.c (pa_promote_function_mode): Likewise.

2009-08-11  Andrew Haley  <aph@redhat.com>

        * config/arm/arm.c (arm_init_libfuncs): Add __sync_synchronize.

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

        PR bootstrap/40103
        * graphite.c: Remove pragma GCC diagnostic warning "-Wc++-compat".

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

        * alias.c (get_alias_set): Honor TYPE_STRUCTURAL_EQUALITY_P.
        * gimplify.c (gimplify_modify_expr): Do not use
        lang_hooks.types_compatible_p.
        * tree-ssa.c (useless_type_conversion_p): For aggregates
        just return false if the canonical types differ.

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

        PR middle-end/40980
        * sese.c (convert_for_phi_arg): New.
        (add_guard_exit_phis): Use convert_for_phi_arg.

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

        * graphite-sese-to-poly.c (pdr_add_data_dimensions): Dont add
        unknown subscript upper bounds.

2009-08-12  Sebastian Pop  <sebastian.pop@amd.com>
            Pranav Garg  <pranav.garg2107@gmail.com>

        * graphite-interchange.c (gather_access_strides): Removed.
        (ppl_max_for_le): New.
        (build_linearized_memory_access): New.
        (memory_stride_in_loop): New.
        (pbb_interchange_profitable_p): Reimplemented.
        * graphite-ppl.h (ppl_new_id_map): New.
        (ppl_interchange): New.

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

        * graphite-interchange.c (compute_subscript): Removed.
        (compute_array_size_cstr): Removed.
        (compute_array_size_poly): Removed.
        (compute_array_size): Removed.
        (gather_access_strides_poly): Removed.
        (gather_access_strides): Empty.

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

        * graphite-dependences.c (dependence_polyhedron_1): Replace
        pdr_nb_subscripts with PDR_NB_SUBSCRIPTS.
        (graphite_legal_transform_dr): Same.
        (graphite_carried_dependence_level_k): Same.
        * graphite-poly.c (new_poly_dr): Add a parameter nb_subscripts.
        Initialize PDR_NB_SUBSCRIPTS.
        (print_pdr_access_layout): Replace pdr_nb_subscripts with
        PDR_NB_SUBSCRIPTS.
        * graphite-poly.h (struct poly_dr): Add nb_subscripts field.
        (PDR_NB_SUBSCRIPTS): New.
        (pdr_nb_subscripts): Removed.
        (pdr_dim): Simplified.
        * graphite-sese-to-poly.c (build_poly_dr): Replace pdr_nb_subscripts
        with PDR_NB_SUBSCRIPTS.

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

        * graphite-interchange.c (compute_array_size): Remove use of
        PDR_DATA_CONTAINER.
        * graphite-poly.c (new_poly_dr): Remove argument data_container.
        Do not initialize PDR_DATA_CONTAINER.
        (print_pdr): Do not print PDR_DATA_CONTAINER.
        * graphite-poly.h (struct poly_dr): Remove data_container field.
        (PDR_DATA_CONTAINER): Removed.
        * graphite-sese-to-poly.c (pdr_add_data_dimensions): Remove use of
        PDR_DATA_CONTAINER.
        (build_poly_dr): Same.

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

        * graphite-dependences.c (graphite_legal_transform_dr): Work on a
        copy of the dependence polyhedron.  Free the temporary objects.
        (graphite_carried_dependence_level_k): Free unused objects before
        returning.

        * testsuite/gcc.dg/graphite/interchange-1.c: XFAILed.
        * testsuite/gcc.dg/graphite/interchange-2.c: XFAILed.
        * testsuite/gcc.dg/graphite/interchange-3.c: XFAILed.
        * testsuite/gcc.dg/graphite/interchange-4.c: XFAILed.
        * testsuite/gcc.dg/graphite/interchange-7.c: XFAILed.

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

        * graphite-blocking.c (scop_do_strip_mine): Call store_scattering.
        Early return without analyzing the data dependences if no
        transform has been done.  Call restore_scattering if the transform
        is not legal.
        (graphite-interchange.c): Same.
        * graphite-poly.c (print_scattering_function): Test for
        PBB_TRANSFORMED.
        (graphite_read_transforms): Initialize PBB_TRANSFORMED.
        (apply_poly_transforms): Do not gcc_assert that
        the transform is legal.
        (new_poly_bb): Initialize PBB_TRANSFORMED, PBB_SAVED and PBB_ORIGINAL.
        Do not initialize PBB_NB_SCATTERING_TRANSFORM, PBB_NB_LOCAL_VARIABLES,
        PBB_TRANSFORMED_SCATTERING, and PBB_ORIGINAL_SCATTERING.
        (free_poly_dr): Free PBB_TRANSFORMED, PBB_SAVED, and PBB_ORIGINAL.
        * graphite-poly.h (struct poly_scattering): New.
        (struct poly_bb): Add original, transformed, and saved fields.
        Remove transformed_scattering, original_scattering,
        nb_local_variables and nb_scattering_transform fields.
        (PBB_ORIGINAL, PBB_TRANSFORMED, PBB_SAVED): New.
        (poly_scattering_new): New.
        (poly_scattering_free): New.
        (poly_scattering_copy): New.
        (store_scattering_pbb): New.
        (store_scattering): New.
        (restore_scattering_pbb): New.
        (restore_scattering): New.
        * graphite-sese-to-poly.c (build_pbb_scattering_polyhedrons):
        Initialize PBB_TRANSFORMED and PBB_ORIGINAL.

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

        * graphite-poly.c (print_pbb): Add parentheses in the pretty print.
        (print_scop): Same.

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

        * Makefile.in (graphite.o): Depends on PREDICT_H.
        * graphite.c: Include predict.h.
        (graphite_finalize): Call tree_estimate_probability.
        * predict.c (predict_loops): Do not call scev_initialize and
        scev_finalize.
        (tree_estimate_probability_bb): New.
        (tree_estimate_probability): Do not initialize loops: move that
        code to the driver.  Call tree_estimate_probability_bb.
        (tree_estimate_probability_driver): New.
        (pass_profile): Use tree_estimate_probability_driver.
        * predict.h (tree_estimate_probability): Declared.

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

        * graphite-clast-to-gimple.c (gloog): Add time to TV_GRAPHITE_CODE_GEN.
        * graphite-dependences.c (graphite_legal_transform): Add time to
        TV_GRAPHITE_DATA_DEPS.
        (dependency_between_pbbs_p): Same.
        * timevar.def (TV_GRAPHITE_DATA_DEPS, TV_GRAPHITE_CODE_GEN): New.

2009-08-12  Andrey Belevantsev  <abel@ispras.ru>

        PR rtl-optimization/41033
        * alias.c (nonoverlapping_component_refs_p): Punt when strict
        aliasing is disabled.

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

        * config/mips/predicates.md (qi_mask_operand, hi_mask_operand,
        si_mask_operand, and_load_operand, low_bitmask_operand,
        and_reg_operand, and_operand): New predicates.
        * config/mips/constraints.md (Yb, Yh, Yw, Yz): New constraints.
        * config/mips/mips.c (and_operands_ok): New function.
        * config/mips/mips-protos.h (and_operands_ok): Declare it.
        * config/mips/mips.md (move_type): Add ext_ins and logical.
        (type): Handle them.
        (and<mode>3): Use and_reg_operand as the second operand's predicate.
        (*and<mode>3): Add alternatives for lbu, lhu, lwu, <d>ext and
        shift_shift.  Remove commutative constraint modifier.
        (*and<mode>3_mips16): Add alternatives for lbu, lhu, lwu and
        shift_shift.
        (*clear_upper32_dext): Remove define_insn_and_split.
        (*clear_upper32): Turn this define_insn_and_split ...
        (splitter for ANDing register with 0xffff_ffff): .. into this.

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

        * combine.c (try_widen_shift_mode): Factor out code to check if an
        integer constant is a low-order bitmask from here ...
        * rtlanal.c (low_bitmask_len): ... to here.
        * rtl.h (low_bitmask_len): Declare.

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

        PR target/8603
        * config/alpha/alpha.md (addsi3): Remove expander.
        (addsi3): Rename from *addsi3_internal insn pattern.
        (subsi3): Remove expander.
        (subsi3): Rename from *subsi3_internal insn pattern.

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

        * config/alpha/alpha.c (alpha_init_builtins): Nullify FWRITE and
        FWRITE_UNLOCKED.

2009-08-11  Vasiliy Fofanov  <fofanov@adacore.com>
            Eric Botcazou  <botcazou@adacore.com>
            Douglas B Rupp  <rupp@gnat.com>

        * config/alpha/alpha.c (alpha_return_in_memory): On VMS, ensure
        that records that fit in 64 bits are returned by immediate value,
        as required by OpenVMS Calling Standard.
        (function_value): Adjust for above modification.
        (alpha_va_start) <TARGET_ABI_OPEN_VMS>: Use
        virtual_incoming_args_rtx as base object, not next_arg.
        * config/alpha/vms.h: (DEFAULT_PCC_STRUCT_RETURN): Define as 0.

2009-08-11  Ulrich Weigand  <Ulrich.Weigand@de.ibm.com>

        * reload.c (find_reloads_subreg_address): Check the original
        req_equiv_mem address to detect the case where an address is
        not valid in the outer mode.

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

        PR bootstrap/40788
        * builtins.c (gimplify_va_arg_expr): Do not call SET_EXPR_LOCATION.

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

        * config/alpha/vms.h (OPTIMIZATION_OPTIONS): Remove
        (OVERRIDE_OPTIONS): Incorporate removed OPTIMIZATION_OPTIONS.

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

        * config/alpha/alpha.c (alpha_sa_size): Force procedure type to
        PT_STACK when frame_pointer_needed on OpenVMS.
        (alpha_pv_save_size, alpha_using_fp): Remove.
        (alpha_vms_can_eliminate): New function. Support for CAN_ELIMINATE
        with proper processing for PT_NULL.
        (alpha_vms_initial_elimination_offset): New function. Support for
        INITIAL_ELIMINATION_OFFSET with proper processing for PT_NULL.
        (alpha_sa_size): Force procedure type to PT_STACK when
        frame_pointer_needed on OpenVMS.
        * config/alpha/alpha-protos.h (alpha_pv_save_size): Remove prototype.
        (alpha_using_fp): Likewise.
        (alpha_vms_can_eliminate): Add prototype.
        (alpha_vms_initial_elimination_offset): Likewise.
        * config/alpha/vms.h (CAN_ELIMINATE, INITIAL_ELIMINATION_OFFSET):
        Call alpha_vms_can_eliminate and alpha_vms_initial_elimination_offset.

2009-08-10  Eric Botcazou  <botcazou@adacore.com>
            Douglas B Rupp  <rupp@gnat.com>

        * config/alpha/alpha.c (common_object_handler): New function.
        (vms_attribute_table): Declare a single attribute "common_object".
        (vms_output_aligned_decl_common): New global function.
        (SECTION_VMS_OVERLAY): Delete.
        (SECTION_VMS_GLOBAL): Likewise.
        (SECTION_VMS_INITIALIZE): Likewise.
        (vms_asm_named_section): Remove support for above flags.
        (vms_section_type_flags): Delete.
        (TARGET_SECTION_TYPE_FLAGS): Likewise.
        * config/alpha/alpha-protos.h (vms_output_aligned_decl_common): New.
        * config/alpha/vms.h (ASM_OUTPUT_ALIGNED_COMMON): Delete.
        (ASM_OUTPUT_ALIGNED_DECL_COMMON): New macro.

2009-08-10  SUGIOKA Toshinobu  <sugioka@itonet.co.jp>

        PR target/41015
        * longlong.h [__sh__] (udiv_qrnnd): Add T register to clobber list.
        (sub_ddmmss): Likewise.

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

        PR bootstrap/41018
        * config/rs6000/freebsd.h: Define SVR4_ASM_SPEC. Adjust copyright
        year.

2009-08-10  Ulrich Weigand  <Ulrich.Weigand@de.ibm.com>

        PR target/37053
        * reload1.c (reload_as_needed): Use cancel_changes to completely
        undo a failed replacement attempt.

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

        PR middle-end/41006
        * tree-ssa.c (useless_type_conversion_p_1): Fold into ...
        (useless_type_conversion_p): ... here.  Require pointer targets
        to be compatible.

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

        PR c++/40866
        * tree-inline.c (copy_statement_list): The resulting copy shouldn't
        loose the original type of the statement list.

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

        * config/alpha/alpha.c: Include libfuncs.h
        (avms_asm_output_extern): New function.
        (alpha_init_libfuncs): Init some decc libfuncs.
        * config/alpha/alpha-protos.h (avms_asm_output_external): Declare.
        * config/alpha/vms.h (ASM_OUTPUT_EXTERNAL): Define.
        (DO_CRTL_NAMES): Define.
        (LIB_SPEC): Remove.
        * config/alpha/vms64.h: (POINTERS_EXTEND_UNSIGNED): Remove undef.
        (LONG_TYPE_SIZE): Define.
        (TARGET_OS_CPP_BUILTINS): Define with __LONG_POINTERS=1
        (SUBTARGET_SWITCHES): Define malloc64 switch.
        (TARGET_DEFAULT): Default MASK_MALLOC64 set.
        (MASK_RETURN_ADDR): Define.
        doc/invoke.texi (mmalloc64): Document switch.

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

        * config/alpha/alpha.c (struct machine_function): New flag for VMS,
        uses_condition_handler.
        (alpha_expand_builtin_establish_vms_condition_handler): New expander.
        (alpha_expand_builtin_revert_vms_condition_handler): New expander.
        (enum alpha_builtin): New ALPHA_BUILTIN_REVERT_VMS_CONDITION_HANDLER
        and ALPHA_BUILTIN_ESTABLISH_VMS_CONDITION_HANDLER values.
        (code_for_builtin): New insn codes for the new alpha_builtins.
        (alpha_init_builtins): Register the new functions as BUILT_IN_MD.
        (alpha_sa_size): Account for uses_condition_handler.
        (alpha_expand_prologue): Likewise.
        (alpha_start_function): Likewise.
        (alpha_expand_epilogue): Likewise.
        * config/alpha/alpha-protos.h: Prototype the new alpha.c builtin
        establish/revert expanders.
        * config/alpha/alpha.h (DWARF_FRAME_REGNUM): Define.
        * config/alpha/alpha.md (builtin_establish_vms_condition_handler):
        New expander, resorting to the alpha.c associated function.
        (builtin_revert_vms_condition_handler): Likewise.
        * config/alpha/vms-gcc_shell_handler.c: New file. Implements
        __gcc_shell_handler, the static VMS condition handler used as
        an indirection wrapper to the current dynamically established
        handler.
        * config/alpha/vms-unwind.h: Complete rewrite.
        * config/alpha/t-vms (LIB2FUNCS_EXTRA): Add vms-gcc_shell_handler.c
        * config/alpha/vms.h (MD_UNWIND_SUPPORT):

2009-08-09  Eric Botcazou  <botcazou@adacore.com>
            Douglas B Rupp  <rupp@gnat.com>

        * config/alpha/alpha.c (alpha_links): Add 'target' field.
        (alpha_need_linkage): Handle aliases.  Return function symbol.
        (alpha_use_linkage): Rename 'linkage' argument to 'func'.
        Use ultimate alias target for the linkage name.
        * config/alpha/alpha.md (movmemdi): Use the symbol returned
        by alpha_need_linkage for the function symbol.
        (setmemdi): Likewise.

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

        * config/alpha/alpha.c (TARGET_ASM_UNALIGNED_*_OP): Define if on VMS.
        * config/alpha/vms.h (OBJECT_FORMAT_ELF): Define.
        (ASM_WEAKEN_LABEL): Define.
        (CRT_CALL_STATIC_FUNCTION): Define.
        (STARTFILE_SPEC): Add crtbegin.o crtbeginS.o.
        (ENDFILE_SPEC): Define.
        (INIT_SECTION_ASM_OP): Define.
        * config/alpha/vms-dwarf2eh.asm (__EH_FRAME_BEGIN__): Remove.
        * config/alpha/t-vms (EXTRA_PARTS): Add crtbegin.o crtbeginS.o
        crtend.o crtendS.o.
        (MULTILIB_OSDIRNAMES): Define.
        (shlib_version): Define.
        (SHLIB_EXT): Define.
        (SHLIB_OBJS): Define.
        (SHLIB_NAME): Define.
        (SHLIB_MULTILIB): Define.
        (SHLIB_INSTALL): Define.
        (SHLIB_SYMVEC): Define.
        (SHLIB_SYMVECX2): Define.
        (SHLIB_LINK): Define.

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

        * config/alpha/alpha.c (alpha_initialize_trampoline):
        Initialize VMS trampoline IAW ABI for bounded procedure calls.
        (alpha_start_function): Emit transfer address on nested functions
        for VMS trampoline call.
        * config/alpha/t-vms (LIB2FUNCS_EXTRA): Remove vms_tramp.asm
        since no longer used.
        * config/alpha/vms-tramp.asm: Remove.
        * config/alpha/vms.h (TRAMPOLINE_TEMPLATE): Leave undefined
        since now only data initialized at runtime.

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

        * config/alpha/vms.h (HANDLE_SYSV_PRAGMA): Define.
        (LINK_GCC_C_SEQUENCE_SPEC): Define.
        (MD_EXEC_PREFIX): Remove, no longer used.
        (MD_STARTFILE_PREFIX): Likewise.
        (INCLUDE_DEFAULTS): Likewise.
        * config/alpha/t-vms:
        (vms-dwarf2.o, vms-dwarf2eh.o): Use GCC_FOR_TARGET to compile.

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

        PR tree-optimization/41016
        * tree-ssa-ifcombine.c (get_name_for_bit_test): Fix tuplification bug.
        (operand_precision): Remove.
        (integral_operand_p): Likewise.
        (recognize_single_bit_test): Adjust.

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

        * c-common.c (c_fully_fold_internal): Issue a warning if a binary
        operation overflows.  Likewise non-cast unary arithmetic.
        If one arm of a conditional expression is always taken,
        inhibit evaluation warnings for the other arm.  Likewise inhibit
        evaluation warnings for the second && or || operand if the first
        operand is enough to determine the result.
        * c-typeck.c (build_conditional_expr): Apply the same inhibition
        rules here.
        (build_binary_op): Prevent duplicate evaluation warnings.

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

        * tree-out-of-ssa.c (insert_value_copy_on_edge): If the source
        and destination have different modes, Use promote_mode to
        determine the signedness of the conversion.  Assert that the
        promoted source mode matches the destination mode.  Don't pass
        the destination and destination mode to expand_expr if the source
        mode is different.  Simplify conversion logic.

2009-08-09  Ira Rosen  <irar@il.ibm.com>

        PR tree-optimization/41008
        * tree-vect-loop.c (vect_is_simple_reduction): Get operands
        from condition only in case it's a comparison. Adjust checks.

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

        * tree-dfa.c (renumber_gimple_stmt_uids_in_blocks): New function.
        * tree-flow.h (renumber_gimple_stmt_uids_in_blocks): Declare it.
        * tree-ssa-loop-ivopts.c (comp_cost): Make COST an integer.
        (enum iv_position): Add IP_AFTER_USE and IP_BEFORE_USE.
        (dump_cand): Handle them.
        (struct iv_cand): New members COST_STEP and AINC_USE.
        (stmt_after_increment): Likewise.
        (stmt_after_inc_pos): Renamed from stmt_after_ip_original_pos.  All
        callers changed.  Use gimple_uid comparison instead of scanning.
        (add_candidate_1): When looking for identical candidates, take
        AINC_USE into account.  Set it for new candidates.
        (force_expr_to_var_cost): Cast target_spill_cost to int.
        (get_address_cost): New arguments STMT_AFTER_INC and MAY_AUTOINC.
        All callers changed.  Check for availability of autoinc addressing
        modes, both in general for a given mode, and in the specific use case.
        (get_computation_cost_at): New argument CAN_AUTOINC.  All callers
        changed.
        (get_computation_cost): Likewise.
        (autoinc_possible_for_pair, set_autoinc_for_original_candidates,
        add_autoinc_candidates): New static functions.
        (add_candidate): Call add_autoinc_candidates for candidates based on
        a USE_ADDRESS use.
        (find_iv_candidates): Call set_autoinc_for_original_candidates.
        (determine_use_iv_cost_address): If we have an autoinc candidate at
        the matching use, verify autoinc is possible and subtract the cost
        of the candidate's step from the cost.
        (determine_iv_cost): Record the cost of the increment in the COST_STEP
        member of the candidate.
        (tree_ssa_iv_optimize_loop): Swap the calls to determine_iv_costs and
        determine_use_iv_costs.  Call renumber_gimple_stmt_uids_in_blocks.

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

        * config.build (ia64-hp-*vms*): New target.
        (alpha64-dec-*vms*,alpha*-dec-*vms*): Fix for config/vms and unify
        with ia64-hp-*vms*.
        * config.gcc (ia64-hp-*vms*): New target.
        (alpha64-dec-*vms*,alpha*-dec-*vms*): Fix for config/vms and unify
        with ia64-hp-*vms*.
        * config.host (ia64-hp-*vms*): New target.
        (alpha64-dec-*vms*,alpha*-dec-*vms*): Fix for config/vms and unify
        with ia64-hp-*vms*.

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

        PR tree-optimization/40991
        * tree-ssa-pre.c (eliminate): Delay purging EH edges.

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

        * combine.c (gen_lowpart_or_truncate): Exclude CONST_INTs from
        mode check.  Do truncations in an integer mode.
        (force_to_mode): Handle subregs for all mode types.  Only do
        arithmetic simplifications on integer modes.

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

        PR tree-optimization/40999
        * tree-ssa-ccp.c (get_symbol_constant_value): Handle CONST_DECLs.
        (maybe_fold_reference): Lookup constant initializers.
        (fold_gimple_assign): Likewise.

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

        * tree-ssa.c (useless_type_conversion_p_1): Only for types
        that require structural equality defer to the langhook.

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

        * ipa-prop.h (enum jump_func_type): New value IPA_JF_ANCESTOR, changed
        comments.
        (struct ipa_pass_through_data): New type.
        (struct ipa_ancestor_jf_data): New type.
        (union jump_func_value): Removed field formal_id, added fields
        pass_through and ancestor.
        (struct ipa_param_call_note): Changed type of formal_id to int from
        unsigned.
        * ipa-prop.c (ipa_print_node_jump_functions): Print pass through with
        operations jump functions and ancestor jump functions.
        (compute_complex_pass_through): New function.
        (compute_scalar_jump_functions): Call compute_complex_pass_through,
        reflect changes in the jump function strucutre.
        (update_jump_functions_after_inlining): Ignore complex pass-through
        and ancestor jump functions.
        * ipa-cp.c (ipcp_lattice_from_jfunc): Added support for ancestor and
        polynomial pass-through with operation jump functions.

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

        * dwarf2out.c (output_fde): When doing hot/cold partitioning, use
        fde->dw_fde_begin as begin label instead of hot/cold label.
        Use LLSDAC label instead of LLSDA for second section lsda.
        (dwarf2out_do_cfi_startproc): Add SECOND argument.  Use LLSDAC
        label instead of LLSDA if it is true.
        (dwarf2out_begin_prologue, dwarf2out_switch_text_section): Adjust
        callers.
        * except.c (add_call_site, dw2_size_of_call_site_table): Add
        SECTION argument.  Use it as index into crtl->eh.call_site_record
        array.
        (dw2_output_call_site_table): Likewise.  Add CS_FORMAT argument,
        use it to determine how to print table entries instead of using
        #ifdef HAVE_AS_LEB128.  For SECTION > 0 use hot resp. cold
        label instead of normal begin label as base.
        (sjlj_assign_call_site_values): Adjust add_call_site caller.
        (convert_to_eh_region_ranges): When doing hot/cold partitioning,
        ensure no EH range spans between sections and that landing pads
        are always in the corresponding section.
        (sjlj_size_of_call_site_table, sjlj_output_call_site_table): Adjust
        for crtl->eh.call_site_record being an array rather than scalar.
        (output_one_function_exception_table): New function, copied
        from output_function_exception_table.  Adjust
        dw2_size_of_call_site_table, dw2_output_call_site_table
        callers.  For SECOND section use *C suffixed labels.
        (output_function_exception_table): Call
        output_one_function_exception_table and, when doing hot/cold
        partitioning, also another time for the second section.
        * opts.c: Include except.h.
        (decode_options): Allow -freorder-blocks-and-partition with
        exceptions, unless SJLJ or TARGET_UNWIND_INFO.
        * Makefile.in (opts.o): Depend on $(EXCEPT_H).
        * function.h (struct rtl_eh): Change call_site_record from
        scalar into array of 2 elements.

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

        * ipa-prop.c (count_formal_params_1): New function.
        (ipa_get_vector_of_formal_parms): New function.
        (get_vector_of_formal_parm_types): New function.
        (ipa_modify_formal_parameters): New function.
        (ipa_modify_call_arguments): New function.
        (index_in_adjustments_multiple_times_p): New function.
        (ipa_combine_adjustments): New function.
        (ipa_dump_param_adjustments): New function.
        * ipa-prop.h (struct ipa_parm_adjustment): New type.
        (ipa_get_vector_of_formal_parms): Declare.
        (ipa_modify_formal_parameters): Declare.
        (ipa_modify_call_arguments): Declare.
        (ipa_combine_adjustments): Declare.
        (ipa_dump_param_adjustments): Declare.
        (build_ref_for_offset): Declare.
        * Makefile.in (tree-sra.o): Add ipa-prop.h to dependencies.
        * tree-sra.c: Include ipa-prop.c.
        (build_ref_for_offset): Make public.

2009-08-06  Neil Vachharajani  <nvachhar@gmail.com>

        * value-prof.c (init_pid_map): Replace xmalloc with XCNEWVEC.

2009-08-06  Thomas Schwinge  <tschwinge@gnu.org>

        * gcc/doc/extend.texi (__builtin_extract_return_address)
        (__builtin_frob_return_address): Document.

2009-08-06  Paul Brook  <paul@codesourcery.com>

        * config/arm/lib1funcs.asm (ARM_DIV_BODY): Add Thumb-2 implementation.
        (udivsi3, aeabi_uidivmod, divsi3, aeabi_idivmod): Only use Thumb-1
        implementation on ARMv6-M.

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

        * doc/extend.texi (pcs): Document new attribute for ARM.

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

        * arm.c (pcs_attribute_args): Comment out unsupported attribute
        variants.

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

        * arm.c (arm_handle_pcs_attribute): Pass the entire name object to
        warning ().

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

        * arm.c (arm_handle_pcs_attribute): Use %qE in warning.

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

        Merge ARM/hard_vfp_branch to trunk.

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

        * arm.c (libcall_eq): New function.
        (libcall_hash): New function.
        (add_libcall): New function.
        (arm_libcall_uses_aapcs_base): New function.
        (arm_libcall_value): Use arm_libcall_uses_aapcs_base to check for
        libcalls using the base PCS.
        (arm_init_cumulative_args): Likewise.

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

        * config/arm/arm.c (arm_libcall_value, arm_init_cumulative_args):
        Use base ABI for conversion libfuncs between HFmode and SFmode.

        2009-05-12  Joseph Myers  <joseph@codesourcery.com>

        * config/arm/arm.c (aapcs_vfp_sub_candidate): Use V2SImode and
        V4SImode as representatives of all 64-bit and 128-bit vector
        types.  Allow vector types without vector modes.
        (aapcs_vfp_is_call_or_return_candidate): Handle vector types
        without vector modes like BLKmode.
        (aapcs_vfp_allocate): Handle TImode for non-TARGET_NEON like
        BLKmode.  Avoid unsupported vector modes or TImode moves for
        non-TARGET_NEON.
        (aapcs_vfp_allocate_return_reg): Likewise.
        (arm_vector_mode_supported_p): Only support V2SImode, V4HImode and
        V8QImode if TARGET_NEON || TARGET_IWMMXT.

        2009-05-12  Joseph Myers  <joseph@codesourcery.com>

        * config/arm/arm.c (arm_handle_pcs_attribute): New.
        (arm_get_pcs_model): Pass attribute arguments to
        arm_pcs_from_attribute.
        (arm_init_cumulative_args): Use base AAPCS for conversions from
        floating-point types to DImode.
        (arm_attribute_table): Add pcs attribute.
        (arm_handle_pcs_attribute): New.
        * config/arm/bpabi.h (DECLARE_LIBRARY_RENAMES): When renaming
        conversions from floating-point types to DImode, also declare them
        to use base AAPCS and declare functions they call to use base
        AAPCS and their RTABI names.

        2009-05-12  Joseph Myers  <joseph@codesourcery.com>

        * doc/invoke.texi (-mfloat-abi=@var{name}): Remove statement about
        -mfloat-abi=hard not being supported for VFP.

        2009-05-11  Kazu Hirata  <kazu@codesourcery.com>

        * config/sparc/sparc.c (sparc_emit_float_lib_cmp): Pass a libcall
        SYMBOL_REF to hard_libcall_value.

        2009-03-05  Joseph Myers  <joseph@codesourcery.com>
            Richard Earnshaw  <rearnsha@arm.com>

        * config/arm/arm.c (aapcs_layout_arg): Once a co-processor argument
        has been put on the stack, all remaining co-processory arguments for
        that co-processor also go on the stack.

        2009-03-05  Joseph Myers  <joseph@codesourcery.com>

        * config/arm/arm.c (arm_return_in_memory): Handle returning
        vectors of suitable size in registers also for AAPCS case.

        2009-01-13  Richard Earnshaw <rearnsha@arm.com>

        * doc/tm.texi (TARGET_LIBCALL_VALUE): Add missing end statement.

        2008-12-09  Richard Earnshaw <rearnsha@arm.com>

        ARM Hard-VFP calling convention
        * target-def.h (TARGET_LIBCALL_VALUE): New hook.
        * target.h (gcc_target): Add libcall_value to table of call hooks.
        * targhooks.h (default_libcall_value): Default implementation.
        * targhooks.c (default_libcall_value): Likewise.
        * doc/tm.texi (TARGET_LIBCALL_VALUE): Document it.
        * optabs.c (expand_unop): Use it.
        * expr.h (hard_libcall_value): Pass the function RTX through.
        * calls.c (emit_library_call_value_1): Update call to
        hard_libcall_value.
        * explow.c (hard_libcall_value): Use new target hook.
        * testsuite/lib/target-supports.exp
        (check_effective_target_arm_hard_vfp_ok): New hook.
        (check_effective_target_arm_neon_ok): Improve test for neon
        availability.
        * testsuite/gcc.target/arm/eabi1.c: Only run test in base variant.
        * config/arm/arm.c: Include cgraph.h
        (TARGET_FUNCTION_VALUE): Override default hook.
        (arm_pcs_default): New variable.
        (arm_override_options): Don't fault hard calling convention with VFP.
        Add support for AAPCS variants.
        (arm_function_value): Make static.  Handle AAPCS variants.
        (arm_libcall_value): New function.
        (arm_apply_result_size): Handle VFP registers in results.
        (arm_return_in_memory): Rework all AAPCS variants; handle hard-vfp
        conventions.
        (pcs_attribute_args): New variable.
        (arm_pcs_from_attribute): New function.
        (arm_get_pcs_model): New function.
        (aapcs_vfp_cum_init): New function.
        (aapcs_vfp_sub_candidate): New function.
        (aapcs_vfp_is_return_candidate): New function.
        (aapcs_vfp_is_call_candidate): New function.
        (aapcs_vfp_allocate): New function.
        (aapcs_vfp_allocate_return_reg): New function.
        (aapcs_vfp_advance): New function.
        (aapcs_cp_arg_layout): New variable.
        (aapcs_select_call_coproc): New function.
        (aapcs_select_return_coproc): New function.
        (aapcs_allocate_return_reg): New function.
        (aapcs_libcall_value): New function.
        (aapcs_layout_arg): New function.
        (arm_init_cumulative_args): Initialize AAPCS args data.
        (arm_function_arg): Handle AAPCS variants using new interface.
        (arm_arg_parital_bytes): Likewise.
        (arm_function_arg_advance): New function.
        (arm_function_ok_for_sibcall): Ensure that sibling calls agree on
        calling conventions.
        (arm_setup_incoming_varargs): Handle new AAPCS args data.
        * arm.h (NUM_VFP_ARG_REGS): Define.
        (LIBCALL_VALUE): Update.
        (FUNCTION_VALUE): Delete.
        (FUNCTION_VALUE_REGNO_P): Add VFP regs.
        (arm_pcs): New enum.
        (CUMULATIVE_ARGS): New data to support AAPCS argument marshalling.
        (FUNCTION_ARG_ADVANCE): Call arm_function_arg_advance.
        (FUNCTION_ARG_REGNO_P): Add VFP regs.
        * arm-protos.h (arm_function_arg_advance): Add.
        (aapcs_libcall_value): Add.
        (arm_function_value): Delete.

2009-08-06  Uros Bizjak  <ubizjak@gmail.com>
            H.J. Lu  <hongjiu.lu@intel.com>

        PR target/40957
        * config/i386/i386.c (standard_sse_mode_p): Remove.
        (standard_sse_constant_p): Return 2 for integer mode
        vector_all_ones_operand when SSE2 is enabled.
        (standard_sse_constant_opcode)<case 2>: Always return [v]pcmpeqd.
        (ix86_expand_vector_move): Do not check for negative values from
        standard_sse_constant_p.

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

        * tree-ssa.c (useless_type_conversion_p_1): Make function and
        array type comparisons frontend independent.
        * Makefile.in (tree-ssa.o): Add $(TARGET_H) dependency.
        * tree-ssa-sccvn.c (copy_reference_ops_from_ref): Always fill
        out array reference lower bound and element size operands.
        (ao_ref_init_from_vn_reference): Properly compute the offset
        for ARRAY_RANGE_REF.
        (vn_reference_fold_indirect): Fill out array reference lower
        bound and element size operands.
        * tree-ssa-pre.c (phi_translate_1): Fail if we have to translate
        a non gimple valued reference operand which can happen for
        array reference lower bound or element size.
        (create_component_ref_by_pieces_1): Properly generate the
        element size operand for array references.

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

        PR tree-optimization/40964
        * tree.c (iterative_hash_host_wide_int): Export.
        * tree.h (iterative_hash_host_wide_int): Declare.
        * tree-ssa-structalias.c (heapvar_map): New struct.
        (heapvar_map_eq): New function.
        (heapvar_map_hash): Likewise.
        (heapvar_lookup): Adjust.
        (heapvar_insert): Likewise.
        (make_constraint_from_heapvar): Allow multiple heap variables
        per decl at different offsets.
        (init_alias_heapvars): Adjust.

2009-08-04  David Daney  <ddaney@caviumnetworks.com>

        * config/mips/mips.h (TARGET_SYNC_AFTER_SC): New macro.
        * mips_output_sync_loop (mips_output_sync_loop): Only emit
        trailing sync if TARGET_SYNC_AFTER_SC.

2009-08-05  David Daney  <ddaney@caviumnetworks.com>

        * gcc/config/mips/sync.md (sync_compare_and_swap<mode>,
        compare_and_swap_12, sync_add<mode>, sync_<optab>_12,
        sync_old_<optab>_12, sync_new_<optab>_12, sync_nand_12,
        sync_old_nand_12, sync_new_nand_12, sync_sub<mode>,
        sync_old_add<mode>, sync_old_sub<mode>, sync_new_add<mode>,
        sync_new_sub<mode>, sync_<optab><mode>, sync_old_<optab><mode>,
        sync_new_<optab><mode>, sync_nand<mode>, sync_old_nand<mode>,
        sync_new_nand<mode>, sync_lock_test_and_set<mode>,
        test_and_set_12): Rewrite calls to mips_output_sync_loop.
        * gcc/config/mips/mips-protos.h (mips_output_sync_loop): Make
        the prototype declaration match the definition.
        * gcc/config/mips/mips.c (mips_output_sync_loop):  Emit sync
        instructions explicitly.  Add barrier_before and operands
        parameters.
        * gcc/config/mips/mips.h (MIPS_COMPARE_AND_SWAP,
        MIPS_COMPARE_AND_SWAP_12, MIPS_SYNC_OP, MIPS_SYNC_OP_12,
        MIPS_SYNC_OLD_OP_12, MIPS_SYNC_NEW_OP_12, MIPS_SYNC_OLD_OP,
        MIPS_SYNC_NEW_OP, MIPS_SYNC_NAND, MIPS_SYNC_OLD_NAND,
        MIPS_SYNC_NEW_NAND, MIPS_SYNC_EXCHANGE,
        MIPS_SYNC_EXCHANGE_12): Remove sync instructions.

2009-08-05  Andrew Pinski  <pinskia@gmail.com>

        * tree-ssa-alias.c: Fix intervals to use [) syntax.

2009-08-05  Uros Bizjak  <ubizjak@gmail.com>
            Mikulas Patocka  <mikulas@artax.karlin.mff.cuni.cz>

        PR target/40906
        * config/i386/i386.c (ix86_split_long_move): Fix push of multi-part
        source operand.

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

        PR rtl-optimization/40924
        * dse.c (canon_address): Before calling cselib_expand_value_rtx
        make sure canon_rtx (mem_address) isn't simpler than
        canon_rtx (expanded_mem_address).

2009-08-05  Li Feng  <nemokingdom@gmail.com>

        * graphite-sese-to-poly.c (build_pbb_drs): Remove build alias set
        for each poly_bb_p.
        (build_scop_drs): Build alias set for each SCoP.

2009-08-04  Sandra Loosemore  <sandra@codesourcery.com>

        * doc/invoke.texi (MIPS Options): Document new 1004K -march options.
        * config/mips/mips.c (mips_cpu_info_table): Add 1004K cores.
        * config/mips/mips.h (MIPS_ISA_LEVEL_SPEC): Add pattern for 1004K.
        (MIPS_ARCH_FLOAT_SPEC): Likewise.
        (BASE_DRIVER_SELF_SPECS): Likewise.

2009-08-04  Andrew Pinski  <pinskia@gmail.com>

        * tree-ssa-alias.c: Fix some comment typos.

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

        * config/sh/linux-atomic.asm (ATOMIC_BOOL_COMPARE_AND_SWAP,
        ATOMIC_OP_AND_FETCH, ATOMIC_COMBOP_AND_FETCH): Define.

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

        PR c/39902
        * simplify-rtx.c (simplify_binary_operation_1): Disable
        simplifications for decimal float operations.

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

        PR middle-end/40943
        * tree-ssa.c (warn_uninitialized_var): Even on LHS warn for
        operand of INDIRECT_REF.

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

        * config/alpha/alpha.c (alpha_legitimate_constant_p): Reject CONST
        constants referencing TLS symbols.

2009-08-03  SUGIOKA Toshinobu  <sugioka@itonet.co.jp>

        * config/sh/linux-atomic.asm (ATOMIC_COMPARE_AND_SWAP): Rename
        __sync_compare_and_swap_* to __sync_val_compare_and_swap_*.

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

        * tree.c (make_vector_type): Build a main variant first,
        get the canonical one and then build the variant.
        * tree-ssa.c (useless_type_conversion_p_1): Handle
        fixed-point types.
        (useless_type_conversion_p): Conversions to pointers to
        incomplete record types are useless.

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

        * tree-cfg.c (pass_warn_unused_result): Mark name that no dump
        file will be created.
        * omp-low.c (pass_diagnose_omp_blocks): Likewise.
        * toplev.c (compile_file): Adjust comment.

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

        * config/sh/sh-protos.h (sh_promote_function_mode): Remove.
        * config/sh/sh.c (sh_promote_function_mode): Wrap long lines.
        (TARGET_PROMOTE_FUNCTION_MODE): Define.
        (TARGET_PROMOTE_FUNCTION_ARGS): Remove.
        (sh_promote_function_mode): Fix typo.

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

        * explow.c (promote_mode): Mark TYPE and PUNSIGNEDP as possibly unused.

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

        * pa.c (pa_promote_function_mode): Remove ATTRIBUTE_UNUSED from
        declaration arguments.

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

        * config/i386/i386.c (ix86_expand_fp_compare): Use const0_rtx instead
        of GEN_INT (0x00) and const1_rtx instead of GEN_INT (0x01).
        (ix86_split_ashl): Ditto.
        (ix86_expand_vector_init_one_nonzero): Ditto.
        (ix86_expand_vector_set): Ditto.
        (ix86_expand_reduc_v4sf): Ditto.

2009-08-02  Paolo Bonzini  <bonzini@gnu.org>

        * explow.c (promote_function_mode): Remove assert.
        * config/sh/sh.c (sh_promote_function_mode): Declare.

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

        * config/pa/pa.c (pa_promote_function_mode): Declare.
        Change to static.  Fix promote_mode call.

        * gthr-dce.h (CONST_CAST2): Define if not defined.
        (__gthread_setspecific): Use CONST_CAST2 to fix warning.

        * config.gcc (hppa[12]*-*-hpux10*): Add stdint support.

2009-08-01  Paolo Bonzini  <bonzini@gnu.org>

        * expr.c (store_constructor): Use promote_decl_mode.  Remove
        now write-only variable unsignedp.
        (expand_expr_real_1): Use promote_decl_mode.
        * expr.h (promote_function_mode, promote_decl_mode): New.
        (promote_mode): Remove last argument.
        * function.c (assign_temp): Drop last argument of promote_mode.
        (assign_parm_find_data_types): Use promote_function_mode.
        (assign_parm_setup_reg): Likewise.
        (expand_function_end): Use promote_function_mode.
        * calls.c (initialize_argument_information): Use promote_function_mode.
        (precompute_arguments): Use promote_mode instead of checking if
        only PROMOTE_FUNCTION_MODE is defined.
        (expand_call): When making sibcall decisions, use promote_function_mode.
        Below, remove an if for targetm.calls.promote_function_return and
        and use promote_function_mode.
        (emit_library_call_value_1): Use promote_function_mode, fix bug
        where promote_mode was passed FOR_CALL == 0 for a return value in an
        assertion.
        * cfgexpand.c (expand_one_register_var): Use promote_decl_mode.
        * explow.c (promote_function_mode, promote_decl_mode): New.
        (promote_mode): Keep only the FOR_CALL == 0 case.
        * combine.c (setup_incoming_promotion): Remove test of
        promote_function_args.  Use promote_function_mode.
        * stmt.c (expand_value_return): Use promote_decl_mode.
        (expand_decl): Use promote_decl_mode.

        * expr.c (store_constructor): Use promote_decl_mode.  Remove
        now write-only variable unsignedp.
        (expand_expr_real_1): Use promote_decl_mode.
        * expr.h (promote_function_mode, promote_decl_mode): New.
        (promote_mode): Remove last argument.
        * function.c (assign_temp): Drop last argument of promote_mode.
        (assign_parm_find_data_types): Use promote_function_mode.
        (assign_parm_setup_reg): Likewise.
        (expand_function_end): Use promote_function_mode.
        * calls.c (initialize_argument_information): Use promote_function_mode.
        (precompute_arguments): Use promote_mode instead of checking if
        only PROMOTE_FUNCTION_MODE is defined.
        (expand_call): When making sibcall decisions, use promote_function_mode.
        Below, remove an if for targetm.calls.promote_function_return and
        and use promote_function_mode.
        (emit_library_call_value_1): Use promote_function_mode, fix bug
        where promote_mode was passed FOR_CALL == 0 for a return value in an
        assertion.
        * cfgexpand.c (expand_one_register_var): Use promote_decl_mode.
        * explow.c (promote_function_mode, promote_decl_mode): New.
        (promote_mode): Keep only the FOR_CALL == 0 case.
        * combine.c (setup_incoming_promotion): Remove test of
        promote_function_args.  Use promote_function_mode.
        * stmt.c (expand_value_return): Use promote_decl_mode.
        (expand_decl): Use promote_decl_mode.

        * explow.c (promote_function_mode): Just call the target hook.
        * targhooks.c (default_promote_function_mode,
        default_promote_function_mode_always_promote): New.
        * targhooks.h (default_promote_function_mode,
        default_promote_function_mode_always_promote): Declare.
        * target.h (promote_function_args, promote_function_return): Remove.
        (promote_function_mode): New.
        * target-def.h (TARGET_PROMOTE_FUNCTION_ARGS,
        TARGET_PROMOTE_FUNCTION_RETURN): Remove.
        (TARGET_PROMOTE_FUNCTION_MODE): New.
        (TARGET_CALLS): Adjust.
        * system.h (TARGET_PROMOTE_FUNCTION_ARGS,
        TARGET_PROMOTE_FUNCTION_RETURN, PROMOTE_FUNCTION_MODE): Poison.

        * config/s390/s390.h (PROMOTE_FUNCTION_MODE): Move...
        * config/s390/s390.c (s390_promote_function_mode): ... here,
        with pointer handling.
        (TARGET_PROMOTE_FUNCTION_MODE): Define.
        (TARGET_PROMOTE_FUNCTION_ARGS, TARGET_PROMOTE_FUNCTION_RETURN): Remove.

        * config/sparc/sparc.h (PROMOTE_FUNCTION_MODE): Move...
        * config/sparc/sparc.c (sparc_promote_function_mode): ... here,
        with pointer handling.
        (TARGET_PROMOTE_FUNCTION_MODE): Define.
        (TARGET_PROMOTE_FUNCTION_ARGS, TARGET_PROMOTE_FUNCTION_RETURN): Remove.

        * config/sh/sh-protos.h (sh_promote_function_mode): New.
        * config/sh/sh.c (sh_promote_function_mode): New.
        (TARGET_PROMOTE_FUNCTION_MODE): Define.
        (TARGET_PROMOTE_FUNCTION_ARGS, TARGET_PROMOTE_FUNCTION_RETURN): Remove.

        * config/cris/cris.h (PROMOTE_FUNCTION_MODE): Move...
        * config/cris/cris.c (cris_promote_function_mode): ... here.
        (TARGET_PROMOTE_FUNCTION_MODE): Define.
        (TARGET_PROMOTE_FUNCTION_ARGS): Remove.

        * config/mmix/mmix.h (PROMOTE_FUNCTION_MODE): Move...
        * config/mmix/mmix.c (mmix_promote_function_mode): ... here.
        (TARGET_PROMOTE_FUNCTION_MODE): Define.
        (TARGET_PROMOTE_FUNCTION_ARGS): Remove.

        * config/arm/arm.h (PROMOTE_FUNCTION_MODE): Move...
        * config/arm/arm.c (arm_promote_function_mode): ... here, without
        complex type handling.
        (TARGET_PROMOTE_FUNCTION_MODE): Define.
        (TARGET_PROMOTE_FUNCTION_ARGS, TARGET_PROMOTE_FUNCTION_RETURN): Remove.

        * config/pa/pa.c (pa_promote_function_mode): New.
        (TARGET_PROMOTE_FUNCTION_MODE): Define.
        (TARGET_PROMOTE_FUNCTION_RETURN): Remove.

        * config/alpha/alpha.c (TARGET_PROMOTE_FUNCTION_ARGS,
        TARGET_PROMOTE_FUNCTION_RETURN): Remove.
        (TARGET_PROMOTE_FUNCTION_MODE): Define equivalently.
        * config/xtensa/xtensa.c: Likewise.
        * config/stormy16/stormy16.c: Likewise.
        * config/iq2000/iq2000.c: Likewise.
        * config/rs6000/rs6000.c: Likewise.
        * config/picochip/picochip.c: Likewise.
        * config/arc/arc.c: Likewise.
        * config/mcore/mcore.c: Likewise.
        * config/score/score.c: Likewise.
        * config/mips/mips.c: Likewise.
        * config/bfin/bfin.c: Likewise.
        * config/ia64/ia64.c: Likewise (disabled though).

        * config/frv/frv.h: Remove pointless remark.

        * doc/tm.texi (PROMOTE_FUNCTION_MODE,
        TARGET_PROMOTE_FUNCTION_ARGS,
        TARGET_PROMOTE_FUNCTION_RETURN): Consolidate into...
        (TARGET_PROMOTE_FUNCTION_MODE): ... this.

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

        * doc/invoke.texi (-fgraphite-force-parallel): Renamed
        -floop-parallelize-all.
        * toplev.c (process_options): Rename flag_graphite_force_parallel to
        flag_loop_parallelize_all.
        * tree-ssa-loop.c (gate_graphite_transforms): Same.
        * graphite.c (graphite_transform_loops): Same.
        * common.opt: Same.
        * graphite-poly.c (apply_poly_transforms): Same.

2009-07-31  Richard Earnshaw  <rearnsha@arm.com>

        PR tree-optimization/40914
        * ipa-prop.c (ipa_get_ptr_load_param): New argument use_delta,
        if set, then check the delta field of the PMF record.
        (ipa_get_stmt_member_ptr_load_param): Propagate new param use_delta.
        (ipa_analyze_call_uses): Handle machines where the vbit for a PMF
        call is stored in the delta.

2009-07-31  Adam Nemet  <anemet@caviumnetworks.com>

        * config/mips/mips.md (*clear_upper32_dext): New pattern.

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

        * config/i386/bsd.h (ASM_BYTE): New define.
        * config/i386/darwin.h (ASM_BYTE): Rename from ASM_BYTE_OP.
        * config/i386/att.h (ASM_BYTE): New define. Use ASM_BYTE instead of
        .byte.  Use fputs or putc instead of fprintf where appropriate.
        * config/i386/i386-interix.h: Use ASM_BYTE instead of .byte.  Use
        fputs or putc instead of fprintf where appropriate.
        * config/i386/i386elf.h: Ditto.
        * config/i386/sysv4.h: Ditto.

        * config/i386/i386.c (TARGET_ASM_BYTE_OP): New define.
        * config/i386/i386.md (x86_sahf_1): Use ASM_BYTE instead of .byte.
        (*tls_global_dynamic_64): Ditto.

2009-07-31  Christian Bruel  <christian.bruel@st.com>

        * gcc/config.gcc (sh*-*-elf): test with_libgloss.

2009-07-31  Ramana Radhakrishnan  <ramana.radhakrishnan@arm.com>

        * config/arm/arm.c (arm_arm_address_cost): Fix typo.
        Remove dead code for MINUS.

2009-07-31  Anthony Green  <green@moxielogic.com>

        * config/moxie/moxie.c (moxie_expand_prologue): Use $r5 instead of
        $r12 in prologue.
        (moxie_expand_epilogue): Ditto for epilogue.
        (moxie_setup_incoming_varargs): ABI change.  Use 5 registers for
        incoming arguments.
        (moxie_function_arg): Ditto.
        (moxie_pass_by_reference): Ditto.
        (moxie_arg_partial_bytes): Ditto.
        * config/moxie/moxie.h (CALL_USED_REGISTERS): Ditto.
        (FUNCTION_ARG_ADVANCE) Ditto.
        (REG_PARM_STACK_SPACE) Ditto.
        (FUNCTION_ARG_REGNO_P) Dito.

        * config.gcc: Add moxie linux config support.
        * gcc/config/moxie/uclinux.h: New file.

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

        * config/sh/sh.md (UNSPECV_SP_SWITCH_B): New.
        (UNSPECV_SP_SWITCH_E): New.
        (sp_switch_1): Change to an unspec.
        (sp_switch_2): Change to an unspec.  Don't use post-inc when we
        replace $r15.
        * config/sh/sh.c (sh_expand_prologue): Use the constant pool to
        reference the new stack's address

2009-07-30  Sebastian Pop  <sebastian.pop@amd.com>

        * Makefile.in (OBJS-common): Added dependence on graphite-blocking.o,
        graphite-clast-to-gimple.o, graphite-dependences.o,
        graphite-interchange.o, graphite-poly.o, graphite-ppl.o,
        graphite-scop-detection.o, graphite-sese-to-poly.o, and sese.o.
        (graphite-blocking.o,
        graphite-clast-to-gimple.o, graphite-dependences.o,
        graphite-interchange.o, graphite-poly.o, graphite-ppl.o,
        graphite-scop-detection.o, graphite-sese-to-poly.o, and sese.o): New.
        * cfgloop.c (alloc_loop): Set loop->can_be_parallel to false.
        * cfgloop.h (struct loop): Add can_be_parallel field.
        * common.opt (fgraphite-identity): Moved up.
        (fgraphite-force-parallel): New flag.
        * graphite.c: Rewrite.
        * graphite.h: Rewrite.
        * passes.c (init_optimization_passes): Schedule a pass of DCE and LIM
        after Graphite.
        * toplev.c (graphite_out_file): New file descriptor.
        (graphite_in_file): New.
        (process_options): flag_graphite_force_parallel cannot be used without
        Graphite.
        * tree-ssa-loop.c: Include toplev.h.
        (gate_graphite_transforms): Enable flag_graphite for
        flag_graphite_force_parallel.

2009-07-30  Sebastian Pop  <sebastian.pop@amd.com>

        * ChangeLog.graphite: New.
        * graphite-blocking.c: New.
        * graphite-clast-to-gimple.c: New.
        * graphite-clast-to-gimple.h: New.
        * graphite-dependences.c: New.
        * graphite-dependences.h: New.
        * graphite-interchange.c: New.
        * graphite-poly.c: New.
        * graphite-poly.h: New.
        * graphite-ppl.c: New.
        * graphite-ppl.h: New.
        * graphite-scop-detection.c: New.
        * graphite-scop-detection.h: New.
        * graphite-sese-to-poly.c: New.
        * graphite-sese-to-poly.h: New.
        * sese.c: New.
        * sese.h: New.

2009-07-30  Sebastian Pop  <sebastian.pop@amd.com>

        * tree-chrec.c (evolution_function_right_is_integer_cst): New.
        * tree-chrec.h (evolution_function_right_is_integer_cst): Declared.

2009-07-30  Sebastian Pop  <sebastian.pop@amd.com>

        * tree-chrec.c (operator_is_linear): Handle BIT_NOT_EXPR.
        (scev_is_linear_expression): Return false if the evolution is not
        affine multivariate.

2009-07-30  Sebastian Pop  <sebastian.pop@amd.com>

        * tree-data-ref.c (graphite_find_data_references_in_stmt): New.
        * tree-data-ref.h (graphite_find_data_references_in_stmt): Declared.

2009-07-30  Sebastian Pop  <sebastian.pop@amd.com>

        * tree-data-ref.c (debug_data_references): New.
        (debug_data_reference): New.
        * tree-data-ref.h (debug_data_references): Declared.
        (debug_data_reference): Declared.

2009-07-30  Sebastian Pop  <sebastian.pop@amd.com>

        * tree-data-ref.c (stmt_simple_memref_p: Removed.
        * tree-data-ref.h (scop_p): Removed.
        (struct data_reference): Remove field scop.
        (DR_SCOP): Removed.
        (stmt_simple_memref_p): Removed.

2009-07-30  Sebastian Pop  <sebastian.pop@amd.com>

        * cfgloop.h (create_empty_loop_on_edge): Pass an extra argument.
        * cfgloopmanip.c (create_empty_loop_on_edge): Leave the loop_latch
        basic block empty.

2009-07-30  Sebastian Pop  <sebastian.pop@amd.com>

        * doc/invoke.texi (-fgraphite-force-parallel): Documented.

2009-07-30  Sebastian Pop  <sebastian.pop@amd.com>

        * doc/invoke.texi (-fgraphite-identity): Documented.

2009-07-30  Sebastian Pop  <sebastian.pop@amd.com>

        * tree-scalar-evolution.c: Fix comment.
        (instantiate_scev_1): Return unknow from scev instantiation if the
        result is not above instantiate_below.

2009-07-30  Sebastian Pop  <sebastian.pop@amd.com>

        * tree-scalar-evolution.c (compute_overall_effect_of_inner_loop): Not
        static anymore.  Instantiate the symbols that may have been introduced
        by chrec_apply.
        * tree-scalar-evolution.h (compute_overall_effect_of_inner_loop):
        Declared.

2009-07-30  DJ Delorie  <dj@redhat.com>

        * config/mep/mep.c (mep_asm_init_sections): Add section flags and
        .vliw directive to VLIW sections.

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

        * Makefile.in (AUTOCONF, ACLOCAL, ACLOCAL_AMFLAGS, aclocal_deps):
        New variables.
        ($(srcdir)/configure, $(srcdir)/aclocal.m4): New rules.
        (AUTOHEADER): New variable.
        ($(srcdir)/cstamp-h.in): Use it.

2009-07-30  Michael Meissner  <meissner@linux.vnet.ibm.com>
            Pat Haugen  <pthaugen@us.ibm.com>
            Revital Eres <ERES@il.ibm.com>

        * config/rs6000/vector.md (VEC_F): Add VSX support.
        (VEC_A): Ditto.
        (VEC_N): Ditto.
        (mov<mode>): Ditto.
        (vector_load_<mode>): Ditto.
        (vector_store_<mode>): Ditto.
        (vector GPR move split): Ditto.
        (vec_reload_and_plus_<mptrsize>): Ditto.
        (vec_reload_and_reg_<mptrsize>): Ditto.
        (add<mode>3): Ditto.
        (sub<mode>3): Ditto.
        (mul<mode>3): Ditto.
        (neg<mode>2): Ditto.
        (abs<mode>2): Ditto.
        (smin<mode>3): Ditto.
        (smax<mode>3): Ditto.
        (vector_eq<mode>): Ditto.
        (vector_gt<mode>): Ditto.
        (vector_ge<mode>): Ditto.
        (vector_gtu<mode>): Ditto.
        (vector_select_<mode>_uns): Ditto.
        (vector_eq_<mode>_p): Ditto.
        (vector_gt_<mode>_p): Ditto.
        (vector_ge_<mode>_p): Ditto.
        (vector_gtu_<mode>_p): Ditto.
        (cr6_test_for_zero): Ditto.
        (cr6_test_for_zero_reverse): Ditto.
        (cr6_test_for_lt): Ditto.
        (cr6_test_for_lt_reverse): Ditto.
        (xor<mode>3): Ditto.
        (ior<mode>3): Ditto.
        (and<mode>3): Ditto.
        (one_cmpl<mode>2): Ditto.
        (nor<mode>2): Ditto.
        (andc<mode>2): Ditto.
        (float<VEC_int<mode>2): Ditto.
        (unsigned_float<VEC_int><mode>2): Ditto.
        (fix_trunc<mode><VEC_int>2): Ditto.
        (fixuns_trunc<mode><VEC_int>2): Ditto.
        (vec_init<mode>):
        (vec_set<mode>): Ditto.
        (vec_extract<mode>): Ditto.
        (vec_interleave_highv4sf): Ditto.
        (vec_interleave_lowv4sf): Ditto.
        (vec_realign_load_<mode>): Ditto.
        (vec_shl_<mode>): Ditto.
        (vec_shr_<mode>): Ditto.
        (div<mode>3): New patterns for VSX.
        (vec_interleave_highv2df): Ditto.
        (vec_interleave_lowv2df): Ditto.
        (vec_pack_trunc_v2df): Ditto.
        (vec_pack_sfix_trunc_v2df): Ditto.
        (vec_pack_ufix_trunc_v2df): Ditto.
        (vec_unpacks_hi_v4sf): Ditto.
        (vec_unpacks_lo_v4sf): Ditto.
        (vec_unpacks_float_hi_v4si): Ditto.
        (vec_unpacks_float_lo_v4si): Ditto.
        (vec_unpacku_float_hi_v4si): Ditto.
        (vec_unpacku_float_lo_v4si): Ditto.
        (movmisalign<mode>): Ditto.
        (vector_ceil<mode>2): New patterns for vectorizing math library.
        (vector_floor<mode>2): Ditto.
        (vector_btrunc<mode>2): Ditto.
        (vector_copysign<mode>3): Ditto.

        * config/rs6000/predicates.md (easy_vector_constant_msb): New
        predicate for setting the high bit in each word, used for copysign.

        * config/rs6000/ppc-asm.h (f19): Whitespace.
        (f32-f63): Define if VSX.
        (v0-v31): Define if Altivec.
        (vs0-vs63): Define if VSX.

        * config/rs6000/t-rs6000 (MD_INCLUDES): Add power7.md and vsx.md.

        * config/rs6000/power7.md: New file, provide tuning parameters for
        -mcpu=power7.

        * config/rs6000/rs6000-c.c (rs6000_macro_to_expand): Add VSX support.
        (rs6000_cpu_cpp_builtins): Ditto.
        (altivec_overloaded_builtins): Ditto.
        (altivec_resolve_overloaded_builtin): Ditto.

        * config/rs6000/rs6000.opt (-mno-vectorize-builtins): Add new
        debug switch to disable vectorizing simple math builtin
        functions.

        * config/rs6000/rs6000.c (rs6000_builtin_vectorized_function):
        Vectorize simple math builtin functions.
        (TARGET_VECTORIZE_BUILTIN_VECTORIZED_FUNCTION): Define target
        hook to vectorize math builtins.
        (rs6000_override_options): Enable -mvsx on -mcpu=power7.
        (rs6000_builtin_conversion): Add VSX/power7 support.
        (rs6000_builtin_vec_perm): Ditto.
        (vsplits_constant): Add support for loading up a vector constant
        with just the high bit set in each part.
        (rs6000_expand_vector_init): Add VSX/power7 support.
        (rs6000_expand_vector_set): Ditto.
        (rs6000_expand_vector_extract): Ditto.
        (rs6000_emit_move): Ditto.
        (bdesc_3arg): Ditto.
        (bdesc_2arg): Ditto.
        (bdesc_1arg): Ditto.
        (rs6000_expand_ternop_builtin): Ditto.
        (altivec_expand_builtin): Ditto.
        (rs6000_expand_unop_builtin): Ditto.
        (rs6000_init_builtins): Ditto.
        (altivec_init_builtins): Ditto.
        (builtin_function_type): Ditto.
        (rs6000_common_init_builtins): Ditto.
        (rs6000_handle_altivec_attribute); Ditto.
        (rs6000_mangle_type): Ditto.
        (rs6000_vector_mode_supported_p): Ditto.
        (rs6000_mode_dependent_address): Altivec addresses with AND -16
        are mode dependent.

        * config/rs6000/vsx.md: New file for VSX support.

        * config/rs6000/rs6000.h (EASY_VECTOR_MSB): New macro for
        identifing values with just the most significant bit set.
        (enum rs6000_builtins): Add builtins for VSX.  Add simple math
        vectorized builtins.

        * config/rs6000/altivec.md (UNSPEC_VRFIP): Delete.
        (UNSPEC_VRFIM): Delete.
        (splitter for loading up vector with most significant bit): New
        splitter for vectorizing copysign.
        (altivec_vrfiz): Rename from altivec_fturncv4sf2.  Add support for
        vectorizing simple math functions.
        (altivec_vrfip): Add support for vectorizing simple math functions.
        (altivec_vrfim): Ditto.
        (altivec_copysign_v4sf3): New insn for Altivec copysign support.

        * config/rs6000/rs6000.md (UNSPEC_BPERM): New constant.
        (power7.md, vsx.md): Include for power7 support.
        (copysigndf3): Use VSX instructions if -mvsx.
        (negdf2_fpr): Ditto.
        (absdf2_fpr): Ditto.
        (nabsdf2_fpr): Ditto.
        (adddf3_fpr): Ditto.
        (subdf3_fpr): Ditto.
        (muldf3_fpr): Ditto.
        (divdf3_fpr): Ditto.
        (fix_truncdfdi2_fpr): Ditto.
        (cmpdf_internal1): Ditto.
        (fred, fred_fpr): Convert into expander/insn to add VSX support.
        (btruncdf2, btruncdf2_fpr): Ditto.
        (ceildf2, ceildf2_fpr): Ditto.
        (floordf2, floordf2_fpr): Ditto.
        (floatdidf2, floatdidf2_fpr): Ditto.
        (fmadddf4_fpr): Name insn.  Use VSX instructions if -mvsx.
        (fmsubdf4_fpr): Ditto.
        (fnmadddf4_fpr_1): Ditto.
        (fnmadddf4_fpr_2): Ditto.
        (fnmsubdf4_fpr_1): Ditto.
        (fnmsubdf4_fpr_2): Ditto.
        (fixuns_truncdfdi2): Add expander for VSX support.
        (fix_truncdfdi2): Ditto.
        (fix_truncdfsi2): Ditto.
        (ftruncdf2): Ditto.
        (btruncsf2): Whitespace.
        (movdf_hardfloat32): Add support for VSX registers.
        (movdf_softfloat32): Ditto.
        (movdf_hardfloat64): Ditto.
        (movdf_hardfloat64_mfpgpr): Ditto.
        (movdf_softfloat64): Ditto.
        (movti splitters): Add check for vector registers supporting
        TImode in the future.
        (bpermd): Add power7 bpermd instruction.

        * config/rs6000/altivec.h (vec_div): Define if VSX.
        (vec_mul): Ditto.
        (vec_msub): Ditto.
        (vec_nmadd): Ditto.
        (vec_nearbyint): Ditto.
        (vec_rint): Ditto.
        (vec_sqrt): Ditto.
        (all predicates): Use the generic builtin function, and not the V4SF
        specific function so that the predicates will work with VSX's V2DF.
        (vec_all_*): Ditto.
        (vec_any_*): Ditto.

        * doc/extend.texi (PowerPC Altivec/VSX Built-in Functions):
        Document new VSX functions and types.

        * doc/invoke.texi (PowerPc options): Document -mpopcntd, -mvsx
        switches.

        * doc/md.texi (PowerPC constraints): Document "wd", "wf", "ws",
        "wa", and "j" constraints.  Modify "v" to talk about Altivec
        instead of just vector.

2009-07-30  Andrew MacLeod  <amacleod@redhat.com>

        PR debug/26475
        * tree-into-ssa.c (insert_phi_nodes_for, rewrite_add_phi_arguments): Set
        location for phi arguments.
        (rewrite_update_phi_arguments): Find locations for reaching defs.
        * tree-ssa-threadupdate.c (create_edge_and_update_destination_phis):
        Add location to add_phi_arg calls.
        * tree-loop-districbution.c (update_phis_for_loop_copy): Add locations.
        * tree-ssa-loop-manip.c (create_iv, add_exit_phis_edge,
        split_loop_exit_edge, tree_transform_and_unroll_loop): Add locations.
        * tree-tailcall.c (add_successor_phi_arg, eliminate_tail_call,
        create_tailcall_accumulator, tree_optimize_tail_calls_1): Add locations.
        * tree.h (struct phi_arg_d): Add location_t to PHI arguments.
        * tree-phinodes.c (make_phi_node): Initialize location.
        (resize_phi_node): Initialize location to UNKNOWN_LOCATION.
        (add_phi_arg): Add location parameter.
        (remove_phi_arg_num): Move location when moving phi argument.
        * omp-low.c (expand_parallel_call, expand_omp_for_static_chunk): Set
        location.
        * tree-vect-loop-manip.c (slpeel_update_phis_for_duplicate_loop,
        slpeel_update_phi_nodes_for_guard1,
        slpeel_update_phi_nodes_for_guard2,
        slpeel_tree_duplicate_loop_to_edge_cfg, set_prologue_iterations,
        vect_loop_versioning): Set locations.
        * tree-parloops.c (create_phi_for_local_result,
        transform_to_exit_first_loop, create_parallel_loop): Add locations.
        * gimple-pretty-print.c (dump_gimple_phi): Dump lineno's if present.
        * tree-vect-loop.c (get_initial_def_for_induction,
        vect_create_epilog_for_reduction, vect_finalize_reduction): Add
        locations.
        * tree-flow-inline.h (gimple_phi_arg_location): New.  Return locus.
        (gimple_phi_arg_location_from_edge): New.  Return locus from an edge.
        (gimple_phi_arg_set_location): New.  Set locus.
        (gimple_phi_arg_has_location): New.  Check for locus.
        (redirect_edge_var_map_location): New.  Return locus from var_map.
        * tree-vect-data-refs.c (vect_setup_realignment): Set location.
        * tree-ssa-phiopt.c (conditional_replacement): Set locus when
        combining PHI arguments.
        (cond_store_replacement): Set location.
        * cfgexpand.c (gimple_assign_rhs_to_tree): Transfer locus if possible.
        * grpahite.c (add_loop_exit_phis, add_guard_exit_phis,
        scop_add_exit_phis_edge): Add locations.
        * tree-cfgcleanup.c (remove_forwarder_block,
        remove_forwarder_block_with_phi): Add locations.
        * tree-ssa-pre.c (insert_into_preds_of_block): Add locations.
        * tree-predcom.c (initialize_root_vars, initialize_root_vars_lm): Add
        locations.
        * tree-ssa-dce.c (forward_edge_to_pdom): Add locations.
        * tree-ssa.c (redirect_edge_var_map_add, ssa_redirect_edge,
        flush_pending_stmts): Add source location.
        * lambda-code.c (perfect_nestify): Maintain location stack with argument
        stack to preserve locations.
        * tree-vect-stmts.c (vectorizable_load): Add location.
        * tree-inline.c (copy_phis_for_bb): Copy locus.
        (setup_one_parameter): Add call locus to inlined parameter stmts.
        (initialize_inlined_parameters): Pass in call location as parameter
        assignment locus.
        (tree_function_versioning): Pass location to setup_one_parameter.
        * tree-ssa-phiprop.c (phiprop_insert_phi): Set locations.
        * tree-outof-ssa.c (struct _elim_graph): Add source_location vecs for
        copy and edge lists.
        (insert_partition_copy_on_edge, insert_value_copy_on_edge,
        insert_rtx_to_part_on_edge, insert_part_to_rtx_on_edge): Provide a
        locus parameter and override the stmt default if provided.
        (new_elim_graph, clear_elim_graph, delete_elim_graph,
        elim_graph_add_edge, elim_graph_remove_succ_edge,
        FOR_EACH_ELIM_GRAPH_SUCC, FOR_EACH_ELIM_GRAPH_PRED, eliminate_build,
        elim_forward, elim_unvisited_predecessor, elim_backward, elim_create,
        eliminate_phi):  Add locus info in elimination graph for each edge and
        value copy.
        (insert_backedge_copies): Copy locus if present.
        * tree-flow.h (struct _edge_var_map): Add locus field.
        * tree-switch_conversions.c (fix_phi_nodes): Add locations.
        * tree-cfg.c (reinstall_phi_args, gimple_make_forwarder_block,
        add_phi_args_after_copy_edge, gimple_lv_adjust_loop_header_phi): Add
        locations.
        * ipa-struct-reorg.c (make_edge_and_fix_phis_of_dest): Add locations.

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

        PR tree-optimization/40570
        * ipa-inline.c (cgraph_decide_inlining): Watch out for dead single
        use inlining loops.

2009-07-30  Razya Ladelsky <razya@il.ibm.com>

        * ssa-loop-manip.c: Include langhooks.h.
        (rewrite_phi_with_iv): New.
        (rewrite_all_phi_nodes_with_iv): New.
        (canonicalize_loop_ivs): Move here from tree-parloops.c.
        Remove reduction_list argument. Use rewrite_all_phi_nodes_with_iv.
        * tree-parloops.c (loop_parallel_p): Move out all conditions
        except dependency check.
        (canonicalize_loop_ivs): Move to tree-ssa-loop-manip.c.
        (gen_parallel_loop): Call canonicalize_loop_ivs without
        reduction_list argument.
        (build_new_reduction): New.
        (gather_scalar_reductions): New.
        (try_get_loop_niter): New.
        (try_create_reduction_list): New.
        (parallleize_loops): Change the parallel conditions check.
        * tree-flow.h (canonicalize_loop_ivs): Remove one argument.
        * Makefile.in (tree-ssa-loop-manip.o): Add langhooks.h dependency.

2009-07-30  Dave Korn  <dave.korn.cygwin@gmail.com>

        * opt-functions.awk (opt_args): Allow argument to be enclosed in
        curly braces.
        * doc/options.texi (Option properties):  Mention new quoting syntax.

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

        * config/alpha/alpha.c (alpha_start_function):
        Handle VMS_DEBUG_MAIN_POINTER
        * config/alpha/vms.h (VMS_DEBUG_MAIN_POINTER): Define new macro.
        * doc/invoke.texi: Document -mdebug-main switch.

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

        * cgraph.c (cgraph_set_call_stmt_including_clones): Tidy.
        (cgraph_create_edge_including_clones): Likewise.
        * tree-inline.c (copy_bb): Operate on the correct edges
        when updating the callgraph.

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

        * config/alpha/vms-cc.c: Deleted.
        * config/alpha/vms-ld.c: Deleted.
        * config/alpha/t-vms64: Moved to config/vms
        * config/alpha/vms-crt0-64.c: Moved to config/vms
        * config/alpha/vms-crt0.c: Moved to config/vms
        * config/alpha/vms-psxcrt0-64.c: Moved to config/vms
        * config/alpha/vms-psxcrt0.c: Moved to config/vms
        * config/alpha/xm-vms.h: Moved to config/vms
        * config/alpha/x-vms: Moved to config/vms
        * config/alpha/t-vms (vcrt0.o, pcrt0.o): Move rules to new file
        config/vms/t-vms.
        * config/vms/t-vms: Moved here from config/alpha. Alpha specific
        parts removed. (STMP_FIXPROTO, STMP_FIXINC, LIMITS_H_TEST): Set.
        (version): Set.
        * config/vms/t-vms64: Moved here from config/alpha
        * config/vms/vms-crt0-64.c: Moved here from config/alpha.
        (argc,argv,envp): Enforce 32bit malloc'ing.
        * config/vms/vms-psxcrt0-64.c: Likewise.
        * config/vms/vms-crt0.c: Moved here from config/alpha.
        * config/vms/vms-psxcrt0.c: Likewise.
        * config/vms/vms-crtl-64.h: New file.
        * config/vms/vms-crtl.h: New file.
        * config/vms/vms.opt: New file.
        * config/vms/xm-vms64.h: New file.
        * config/vms/xm-vms.h: Moved here from config/alpha.
        (STANARD_EXEC_PREFIX, STANDARD_STARTFILE_PREFIX, STANDARD_INCLUDE_DIR):
        Set.
        * config/vms/x-vms: Moved here from config/alpha.
        (version, VMS_EXTRA_PARTS): Moved to t-vms.
        (vms-ld.o, vms-cc.o): Removed.
        (LN, LN_S, USE_COLLECT2, POD2MAN): Set.

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

        * dwarf2out.c (add_name_and_src_coords_attributes): Push on the
        correct stack (obvious VMS fix).

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

        * dwarf2out.c (output_file_names): Output VMS style file name, size,
        date, version info if VMS_DEBUGGING_INFO defined.
        * vmsdgbout.c (vms_file_stats_name): New functon. VMS style file name,
        size, date calculating code moved here.

2009-07-29  Paul Brook  <paul@codesourcery.com>

        * config/arm/lib1funcs.asm (clear_cache): Use ARM_FUNC_START and
        do_push/do_pop.

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

        PR target/40577
        * config/alpha/alpha.c (alpha_expand_unaligned_store): Convert src
        to DImode when generating insq_le insn.

2009-07-28  Douglas B Rupp  <rupp@gnat.com>

        * dwarf2out.c (DWARF2_INDIRECT_STRING_SUPPORT_MISSING_ON_TARGET):
        New macro set for VMS_DEBUGGGING_INFO.
        (AT_string_form): Use it.

2009-07-28  DJ Delorie  <dj@redhat.com>

        * config/mep/mep.c (vtext_section): New.
        (vftext_section): New.
        (ftext_section): New.
        (mep_select_section): Add support for functions.
        (mep_unique_section): Likewise.
        (mep_asm_init_sections): Likewise.
        (mep_encode_section_info): Remove it from here.

        * config/mep/mep.h (USE_SELECT_SECTION_FOR_FUNCTIONS): Define.

2009-07-28  Paolo Bonzini  <bonzinI@gnu.org>

        * tree.h (TREE_DEPRECATED): Document it is used for types too.
        (TYPE_VECTOR_OPAQUE): Use default_def_flag

2009-07-28  Douglas B Rupp  <rupp@gnat.com>

        * dwarf2out.c (output_file_names): Test new macro
        DWARF2_DIR_SHOULD_END_WITH_SEPARATOR.
        (add_comp_dir_attribute): Likewise.

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

        * config/i386/mingw-w64.h (LINK_SPEC): Add
        separating space between commands.

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

        PR tree-optimization/40759
        * tree-ssa-dce.c (mark_virtual_phi_result_for_renaming): Mark all uses
        for renaming.

2009-07-27  DJ Delorie  <dj@redhat.com>

        * config/mep/mep.c (mep_expand_builtin_saveregs): Make sure 64-bit
        types are dword-aligned.
        (mep_expand_va_start): Likewise.

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

        * convert.c (convert_to_pointer): Don't assume the target
        pointer type is POINTER_SIZE long. Fetch its precision instead.

2009-07-27  Douglas B Rupp  <rupp@gnat.com>

        * system.h (fopen): Undefine if macro.

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

        * dwarf2out.c (output_cfi_p): Removed.
        (output_cfis): New function.
        (output_fde): New function, split from output_call_frame_info.
        (output_call_frame_info): Use it.
        (dwarf2out_switch_text_section): Use output_cfis.

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

        * config/i386/cygming.h (DWARF2_UNWIND_INFO): Error build when
        TARGET_BI_ARCH is specified without enabling SJLJ.
        * config/i386/mingw32.h (MD_UNWIND_SUPPORT): Define MD_UNWIND_SUPPORT,
        if TARGET_64BIT and TARGET_BI_ARCH aren't defined.

2009-07-26  Mikael Pettersson <mikpe@it.uu.se>

        * arm.md (negdi2): Use DImode if forcing a value into a register.

2009-07-26  Ira Rosen  <irar@il.ibm.com>

        PR tree-optimization/40801
        * tree-vect-stmts.c (vectorizable_call): Get previous copy
        of vector operand from the previous copy of vector statement.
        Pass the correct definition type value to
        vect_get_vec_def_for_stmt_copy().

2009-07-25  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>

        * collect2.c (scan_libraries): Use CONST_CAST2 to perform char ** to
        const char ** conversion.

2009-07-25 David Daney <ddaney@caviumnetworks.com>

        * system.h (gcc_assert): Invoke __builtin_unreachable() instead of
        fancy_abort() if !ENABLE_ASSERT_CHECKING.
        (gcc_unreachable): Invoke __builtin_unreachable() if
        !ENABLE_ASSERT_CHECKING.

2009-07-25  David Daney  <ddaney@caviumnetworks.com>

        PR rtl-optimization/40445
        * emit-rtl.c (next_nonnote_insn_bb): New function.
        * rtl.h (next_nonnote_insn_bb): Declare new function.
        * cfgcleanup.c (try_optimize_cfg): Don't remove an empty block
        with no successors that is the successor of the ENTRY_BLOCK.
        Continue from the top after removing an empty fallthrough block.
        * cfgrtl.c (get_last_bb_insn): Call next_nonnote_insn_bb instead
        of next_nonnote_insn.

2009-07-25  David Daney  <ddaney@caviumnetworks.com>

        * cfgcleanup.c (old_insns_match_p): Handle the case of empty blocks.

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

        * c-common.c (c_common_attribute_table): New element for noclone.
        (handle_noclone_attribute): New function. Forward-declare.
        * tree-inline.c (tree_versionable_function_p): Check for noclone
        attribute.
        * doc/extend.texi (Labels as Values): Document need for noclone.
        (Function Attributes): Document noclone attribute.

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

        PR rtl-optimization/34999
        * dwarf2out.c (struct dw_fde_struct): Add dw_fde_switch_cfi
        and dw_fde_switched_cold_to_hot fields.
        (output_cfi_p): New function.
        (output_call_frame_info): If fde->dw_fde_switched_sections,
        output 2 FDEs instead of one with corrupted header.
        (dwarf2out_do_cfi_startproc): New function.
        (dwarf2out_begin_prologue): Use it.  Initialize fde->dw_fde_switch_cfi
        and fde->dw_fde_switched_cold_to_hot.
        (dwarf2out_switch_text_section): Compute
        fde->dw_fde_switched_cold_to_hot.  Switch to new text section here.
        If dwarf2out_do_cfi_asm, emit .cfi_endproc before it and call
        dwarf2out_do_cfi_startproc plus emit again currently active CFI insns.
        Otherwise, compute fde->dw_fde_switch_cfi.

2009-07-24  Cary Coutant  <ccoutant@google.com>

        * tree-cfg.c (assign_discriminator): Add explicit parentheses.

2009-07-24  Cary Coutant  <ccoutant@google.com>

        * cfghooks.c (split_block): Copy discriminator to new block.
        * tree-cfg.c (assign_discriminator): Check location of last
        instruction in block as well as first.

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

        * config/i386/linux.c: Use fputs or putc instead of fprintf
        where appropriate.
        * config/i386/gas.h: Ditto.
        * config/i386/x86-64.h: Ditto.
        * config/i386/att.h: Ditto.

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

        * expmed.c (emit_store_flag): Use a recursive call to optimize the
        xor case.

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

        * ipa-prop.h (struct ipa_node_params): New flag node_enqued.
        (ipa_push_func_to_list_1): Declare.
        (ipa_push_func_to_list): New function.

        * ipa-prop.c (ipa_push_func_to_list_1): New function.
        (ipa_init_func_list): Call ipa_push_func_to_list_1.
        (ipa_push_func_to_list): Removed.
        (ipa_pop_func_from_list): Clear node_enqueued flag.

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

        * config/s390/s390.c (override_options): Default
        max-unrolled-insns to 100 for z10 tuning.

2009-07-24  Tobias Grosser  <grosser@fim.uni-passau.de>

        * Makefile.in (TREE_DATA_REF_H, tree-vrp.o, tree-cfg.o, tree-if-conv.o
        tree-ssa-loop.o, tree-ssa-loop-niter.o, tree-ssa-loop-ivcanon.o,
        tree-ssa-loop-prefetch.o, tree-predcom.o, tree-affine.o,
        tree-scalar-evolution.o, tree-data-ref.o, tree-vect-loop.o,
        tree-vect-data-refs.o, tree-loop-linear.o, tree-loop-distribution.o
        tree-parloops.o, tree-pretty-printer.o, fold-const.o, tree-ssa-dce.o,
        lambda-code.o, params.o): Cleanup use of SCEV_H and TREE_DATA_REF_H.

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

        * config/i386/mingw-w64.h (STANDARD_INCLUDE_DIR): Remove and
        use default set in mingw32.h header.
        * config/i386/mingw32.h (STANDARD_INCLUDE_DIR): Use for 32-bit and
        64-bit /mingw/include path.
        (STANDARD_STARTFILE_PREFIX_1): Use for 32-bit and 64-bit /mingw/lib
        path.

2009-07-23  Neil Vachharajani  <nvachhar@google.com>

        PR rtl-optimization/40209
        * loop-iv.c (iv_analysis_loop_init): Call df_note_add_problem.

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

        * config/i386/i386.c: Use ASM_LONG instead of .long.  Concatenate
        ASM_LONG, LPREFIX, MCOUNT_NAME and PROFILE_COUNT_REGISTER strings
        with the rest of string where appropriate.  Use fputs or putc
        instead of fprintf where appropriate.

2009-07-22  Michael Meissner  <meissner@linux.vnet.ibm.com>
            Pat Haugen  <pthaugen@us.ibm.com>
            Revital Eres <ERES@il.ibm.com>

        * config/rs6000/vector.md: New file.  Move most of the vector
        expander support here from altivec.md to allow for the VSX vector
        unit in the future.  Add support for secondary_reload patterns.
        Rewrite the patterns for vector comparison, and vector comparison
        predicate instructions so that the RTL expresses the desired
        behavior, instead of using unspec.

        * config/rs6000/constraints.md ("f" constraint): Use
        rs6000_constraints to hold the precalculated register class.
        ("d" constraint): Ditto.
        ("wd" constraint): New constraint for VSX.
        ("wf" constraint): Ditto.
        ("ws" constraint): Ditto.
        ("wa" constraint): Ditto.
        ("wZ" constraint): Ditto.
        ("j" constraint): Ditto.

        * config/rs6000/predicates.md (vsx_register_operand): New
        predicate for VSX.
        (vfloat_operand): New predicate for vector.md.
        (vint_operand): Ditto.
        (vlogical_operand): Ditto.
        (easy_fp_constant): If VSX, 0.0 is an easy constant.
        (easy_vector_constant): Add VSX support.
        (altivec_indexed_or_indirect_operand): New predicate for
        recognizing Altivec style memory references with AND -16.

        * config/rs6000/rs6000.c (rs6000_vector_reload): New static global
        for vector secondary reload support.
        (rs6000_vector_reg_class): Delete, replacing it with
        rs6000_constraints.
        (rs6000_vsx_reg_class): Ditto.
        (rs6000_constraints): New array to hold the register classes of
        each of the register constraints that can vary at runtime.
        (builtin_mode_to_type): New static array for builtin function type
        creation.
        (builtin_hash_table): New static hash table for builtin function
        type creation.
        (TARGET_SECONDARY_RELOAD): Define target hook.
        (TARGET_IRA_COVER_CLASSES): Ditto.
        (rs6000_hard_regno_nregs_internal): If -mvsx, floating point
        registers are 128 bits if VSX memory reference instructions are used.
        (rs6000_hard_regno_mode_ok): For VSX, only check if the VSX memory
        unit is being used.
        (rs6000_debug_vector_unit): Move into rs6000_debug_reg_global.
        (rs6000_debug_reg_global): Move -mdebug=reg statements here.
        Print several of the scheduling related parameters.
        (rs6000_init_hard_regno_mode_ok): Switch to putting constraints in
        rs6000_constraints instead of rs6000_vector_reg_class.  Move
        -mdebug=reg code to rs6000_debug_reg_global.  Add support for
        -mvsx-align-128 debug switch.  Drop testing float_p if VSX or
        Altivec.  Add VSX support.  Setup for secondary reload support on
        Altivec/VSX registers.
        (rs6000_override_options): Make power7 set the scheduling groups
        like the power5.  Add support for new debug switches to override
        the scheduling defaults.  Temporarily disable -mcpu=power7 from
        setting -mvsx.  Add support for debug switches -malways-hint,
        -msched-groups, and -malign-branch-targets.
        (rs6000_buitlin_conversion): Add support for returning unsigned
        vector conversion functions to fix regressions due to stricter
        type checking.
        (rs6000_builtin_mul_widen_even): Ditto.
        (rs6000_builtin_mul_widen_odd): Ditto.
        (rs6000_builtin_vec_perm): Ditto.
        (rs6000_vec_const_move): On VSX, use xxlxor to clear register.
        (rs6000_expand_vector_init): Initial VSX support for using xxlxor
        to zero a register.
        (rs6000_emit_move): Fixup invalid const symbol_ref+reg that is
        generated upstream.
        (bdesc_3arg): Add builtins for unsigned types.  Add builtins for
        VSX types for bit operations.  Changes to accomidate vector.md.
        (bdesc_2arg): Ditto.
        (bdesc_1arg): Ditto.
        (struct builtin_description_predicates): Rewrite predicate
        handling so that RTL describes the operation, instead of passing
        the instruction to be used as a string argument.
        (bdesc_altivec_preds): Ditto.
        (altivec_expand_predicate_builtin): Ditto.
        (altivec_expand_builtin): Ditto.
        (rs6000_expand_ternop_builtin): Use a switch instead of an if
        statement for vsldoi support.
        (altivec_expand_ld_builtin): Change to use new names from vector.md.
        (altivec_expand_st_builtin): Ditto.
        (paired_expand_builtin): Whitespace changes.
        (rs6000_init_builtins): Add V2DF/V2DI types.  Initialize the
        builtin_mode_to_type table for secondary reload.  Call
        builtin_function_type to build random builtin functions.
        (altivec_init_builtins): Change to use builtin_function_type to
        create builtin function types dynamically as we need them.
        (builtin_hash_function): New support for hashing the tree types
        for builtin function as we need it, rather than trying to build
        all of the trees that we need.  Add initial preliminary VSX support.
        (builtin_function_type): Ditto.
        (builtin_function_eq): Ditto.
        (builtin_hash_struct): Ditto.
        (rs6000_init_builtins): Ditto.
        (rs6000_common_init_builtins): Ditto.
        (altivec_init_builtins): Ditto.
        (rs6000_common_init_builtins): Ditto.
        (enum reload_reg_type): New enum for simplifing reg classes.
        (rs6000_reload_register_type): Simplify register classes into GPR,
        Vector, and other registers.  Altivec and VSX addresses in reload.
        (rs6000_secondary_reload_inner): Ditto.
        (rs6000_ira_cover_classes): New target hook, that returns the
        appropriate cover classes, based on -mvsx being used or not.
        (rs6000_secondary_reload_class): Add VSX support.
        (get_vec_cmp_insn): Delete, rewrite vector conditionals.
        (get_vsel_insn): Ditto.
        (rs6000_emit_vector_compare): Rewrite vector conditional support
        so that where we can, we use RTL operators, instead of blindly use
        UNSPEC.
        (rs6000_emit_vector_select): Ditto.
        (rs6000_emit_vector_cond_expr): Ditto.
        (rs6000_emit_minmax): Directly generate min/max under altivec, vsx.
        (create_TOC_reference): Add -mdebug=addr support.
        (emit_frame_save): VSX loads/stores need register indexed addressing.

        * config/rs6000/rs6000.md: Include vector.md.

        * config/rs6000/t-rs6000 (MD_INCLUDES): Add vector.md.

        * config/rs6000/rs6000-c.c (altivec_overloaded_builtins): Add
        support for V2DI, V2DF in logical, permute, select operations.

        * config/rs6000/rs6000.opt (-mvsx-scalar-double): Add new debug
        switch for vsx/power7.
        (-mvsx-scalar-memory): Ditto.
        (-mvsx-align-128): Ditto.
        (-mallow-movmisalign): Ditto.
        (-mallow-df-permute): Ditto.
        (-msched-groups): Ditto.
        (-malways-hint): Ditto.
        (-malign-branch-targets): Ditto.

        * config/rs6000/rs6000.h (IRA_COVER_CLASSES): Delete, use target
        hook instead.
        (IRA_COVER_CLASSES_PRE_VSX): Cover classes if not -mvsx.
        (IRA_COVER_CLASSES_VSX): Cover classes if -mvsx.
        (rs6000_vector_reg_class): Delete.
        (rs6000_vsx_reg_class): Ditto.
        (enum rs6000_reg_class_enum): New enum for the constraints that
        vary based on target switches.
        (rs6000_constraints): New array to hold the register class for all
        of the register constraints that vary based on the switches used.
        (ALTIVEC_BUILTIN_*_UNS): Add unsigned builtin functions.
        (enum rs6000_builtins): Add unsigned varients for the builtin
        declarations returned by target hooks for expanding multiplies,
        select, and permute operations.  Add VSX builtins.
        (enum rs6000_builtin_type_index): Add entries for VSX.
        (V2DI_type_node): Ditto.
        (V2DF_type_node): Ditto.
        (unsigned_V2DI_type_node): Ditto.
        (bool_long_type_node): Ditto.
        (intDI_type_internal_node): Ditto.
        (uintDI_type_internal_node): Ditto.
        (double_type_internal_node): Ditto.

        * config/rs6000/altivec.md (whole file): Move all expanders to
        vector.md from altivec.md.  Rename insn matching functions to be
        altivec_foo.
        (UNSPEC_VCMP*): Delete, rewrite vector comparisons.
        (altivec_vcmp*): Ditto.
        (UNSPEC_VPERM_UNS): New, add for unsigned types using vperm.
        (VM): New iterator for moves that includes the VSX types.
        (altivec_vperm_<mode>): Add VSX types.  Add unsigned types.
        (altivec_vperm_<mode>_uns): New, for unsigned types.
        (altivec_vsel_*): Rewrite vector comparisons and predicate builtins.
        (altivec_eq<mode>): Ditto.
        (altivec_gt<mode>): Ditto.
        (altivec_gtu<mode>): Ditto.
        (altivec_eqv4sf): Ditto.
        (altivec_gev4sf): Ditto.
        (altivec_gtv4sf): Ditto.
        (altivec_vcmpbfp_p): Ditto.

2009-07-23  Richard Earnshaw  <rearnsha@arm.com>

        * arm.md (split for ior/xor with shift and zero-extend): Cast op3 to
        unsigned HWI.

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

        PR target/40832
        * config/i386/i386.c (output_387_ffreep): Rewrite to use
        ASM_SHORT instead of .word.
        * config/i386/i386.md (*tls_global_dynamic_64): Use ASM_SHORT
        instead of .word in asm template.

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

        PR target/37488
        * ira-lives.c (bb_has_abnormal_call_pred): New function.
        (process_bb_node_lives): Use it.

        * ira.c (setup_cover_and_important_classes): Don't setup
        ira_important_class_nums.  Add cover classes to the end of
        important classes.
        (cover_class_order, comp_reg_classes_func, reorder_important_classes):
        New.
        (find_reg_class_closure): Use reorder_important_classes.

        * config/i386/i386.h (IRA_COVER_CLASSES): Remove.

        * config/i386/i386.c (i386_ira_cover_classes): New function.
        (TARGET_IRA_COVER_CLASSES): Redefine.

        * doc/tm.texi (TARGET_IRA_COVER_CLASSES): Add a comment about
        importance of order of cover classes in the array.

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

        * tree-pass.h (TDF_EH): Define.
        * gimple-pretty-print.c (dump_gimple_stmt): If FLAGS
        contains TDF_EH, print the EH region number holding GS.
        * tree-dump.c (dump_options): Add "eh".
        * doc/invoke.texi: Document it.

2009-07-22  Doug Kwan  <dougkwan@google.com>

        * config/arm/arm.md (subdi3) Copy non-reg values to DImode registers.

2009-07-22  Michael Matz  <matz@suse.de>

        PR tree-optimization/35229
        PR tree-optimization/39300

        * tree-ssa-pre.c (includes): Include tree-scalar-evolution.h.
        (inhibit_phi_insertion): New function.
        (insert_into_preds_of_block): Call it for REFERENCEs.
        (init_pre): Initialize and finalize scalar evolutions.
        * Makefile.in (tree-ssa-pre.o): Depend on tree-scalar-evolution.h .

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

        * config/i386/predicates.md (zero_extended_scalar_load_operand):
        Use CONST_VECTOR_NUNITS to determine number of elements.

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

        * config/s390/constraints.md (ZQ, ZR, ZS, ZT): New constraints.
        (U, W): Constraints are now deprecated and will be removed if we
        run out of letters.
        * config/s390/s390.md (U, W): Replaced with ZQZR, ZSZT throughout
        the file.
        ("prefetch"): Add the stcmh instruction for prefetching.
        * config/s390/s390.c (s390_symref_operand_p): Function moved. No
        changes.
        (s390_short_displacement): Return always true if compiling for
        machines not providing the long displacement facility.
        (s390_mem_constraint): Support the new constraint letter Z.
        (s390_check_qrst_address): New function.

2009-07-21  DJ Delorie  <dj@redhat.com>

        * config/mep/mep.c (mep_legitimize_arg): Leave control registers
        alone too.

2009-07-21  Jason Merrill  <jason@redhat.com>

        * c-common.c (max_tinst_depth): Increase default to 1024.

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

        * config/i386/sse.md (vec_unpacku_float_hi_v4si): New expander.
        (vec_unpacku_float_lo_v4si): Ditto.

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

        PR target/40811
        * config/i386/sse.md (sse2_cvtudq2ps): New expander.
        (enum ix86_builtins): Add IX86_BUILTIN_CVTUDQ2PS.
        (builtin_description): Add __builtin_ia32_cvtudq2ps.
        (ix86_vectorize_builtin_conversion): Handle IX86_BUILTIN_CVTUDQ2PS.

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

        PR tree-optimization/40813
        * tree-inline.c (copy_bb): Regimplify RHS after last stmt, not before
        it.

2009-07-21  Kaz Kojima  <kkojima@gcc.gnu.org>

        * config/sh/sh.c (sh_gimplify_va_arg_expr): Wrap the result
        with a NOP_EXPR if needed.

2009-07-21  Paul Brook <paul@codesourcery.com>

        * tree-vectorizer.c (increase_alignment): Handle nested arrays.
        Terminate debug dump with newline.

2009-07-20  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>

        * pa.c (compute_zdepwi_operands): Limit deposit length to 32 - lsb.
        Cast "1" to unsigned HOST_WIDE_INT.
        (compute_zdepdi_operands): Limit maximum length to 64 bits.  Limit
        deposit length to the maximum length - lsb.  Extend length if
        HOST_BITS_PER_WIDE_INT is 32.

2009-07-20  Olatunji Ruwase <tjruwase@google.com>

        * cgraph.h (constant_pool_htab): New function.
        (constant_descriptor_tree): Move from varasm.c.
        * varasm.c (constant_pool_htab): New function.
        (constant_descriptor_tree): Move to cgraph.h.

2009-07-20  Olatunji Ruwase  <tjruwase@google.com>

        * toplev.c: Invoke FINISH_UNIT callbacks before call to finalize().

2009-07-20  Shujing Zhao  <pearly.zhao@oracle.com>

        * Makefile.in (TREE_INLINE_H, tree-inline.o, cgraph.o): Remove
        $(VARRAY_H).

2009-07-20  Xinliang David Li  <davidxl@google.com>

        * dbgcnt.c (dbg_cnt_set_limit_by_name): Add length check.

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

        * config/mips/mips.md (move_type): Add arith.
        (type): Handle arith.
        (zero_extendsidi2): Rename this into ...
        (*zero_extendsidi2): ... this.  Don't match if ISA_HAS_EXT_INS.
        (zero_extendsidi2): New expander.
        (*zero_extendsidi2_dext): New pattern.

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

        * config.gcc (mips64-*-*): Add definition of tm_defines in order
        to set MIPS_ABI_DEFAULT.
        * config/mips/vr.h (MIPS_ABI_DEFAULT): Remove definition.

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

        * tree-object-size.c (addr_object_size): Handle unions with
        array in it as last field of structs in __bos (, 1) as __bos (, 0).

        PR tree-optimization/40792
        * tree.c (build_function_type_skip_args): Remove bogus assert.

2009-07-20  Jan Hubicka  <jh@suse.cz>
            Martin Jambor  <mjambor@suse.cz>

        * cgraph.h (combined_args_to_skip): New field.
        * cgraph.c (cgraph_create_virtual_clone): Properly handle
        combined_args_to_skip and args_to_skip.
        * tree-inline.c (update_clone_info): New function.
        (tree_function_versioning): Call update_clone_info.
        * cgraphunit.c: (cgraph_materialize_clone): Dump materialized
        functions.
        (cgraph_materialize_all_clones): More extensive dumping, working
        with combined_args_to_skip rather than args_to_skip.

2009-07-20  Ira Rosen  <irar@il.ibm.com>

        * tree-vectorizer.h (vectorizable_condition): Add parameters.
        * tree-vect-loop.c (vect_is_simple_reduction): Support COND_EXPR.
        (get_initial_def_for_reduction): Likewise.
        (vectorizable_reduction): Skip the check of first operand in case
        of COND_EXPR. Add check that it is outer loop vectorization if
        nested cycle was detected. Call vectorizable_condition() for
        COND_EXPR. If reduction epilogue cannot be created do not fail for
        nested cycles (if it is not double reduction). Assert that there
        is only one type in the loop in case of COND_EXPR. Call
        vectorizable_condition() to vectorize COND_EXPR.
        * tree-vect-stmts.c (vectorizable_condition): Update comment.
        Add parameters. Allow nested cycles if called from
        vectorizable_reduction(). Use reduction vector variable if provided.
        (vect_analyze_stmt): Call vectorizable_reduction() before
        vectorizable_condition().
        (vect_transform_stmt): Update call to vectorizable_condition().

2009-07-20  Christian Bruel  <christian.bruel@st.com>

        * config/sh/sh.opt (-mfmovd): Resurrect and document.
        * doc/invoke.texi (-mfmovd): Likewise.
        * config/sh/sh.h (TARGET_FMOVD, MASK_FMOVD): Remove default setting.

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

        * tree-ssa-dce.c (remove_dead_phis): Only look for abnormal PHIs
        when handling SSA name.

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

        PR tree-optimization/40676
        * tree-ssa-dce.c (eliminate_unnecessary_stmts): Do renaming on all
        virtual PHIs in empty BBs.

2009-07-18  Adam Nemet  <anemet@caviumnetworks.com>

        * combine.c (make_compound_operation) <SUBREG>: If force_to_mode
        re-expanded the compound use gen_lowpart instead to convert to the
        desired mode.

2009-07-18  Adam Nemet  <anemet@caviumnetworks.com>

        * combine.c (try_widen_shift_mode): Add COUNT, OUTER_CODE and
        OUTER_CONST arguments.
        <LSHIFTRT>: Use them to allow widening if the bits shifted in from
        the new wider mode will be masked off.
        (simplify_shift_const_1): Adjust calls to try_widen_shift_mode.

2009-07-18  Adam Nemet  <anemet@caviumnetworks.com>

        * combine.c (try_widen_shift_mode) <LSHIFTRT>: Allow widening if the
        high-order bits are zero.

2009-07-18  Adam Nemet  <anemet@caviumnetworks.com>

        * combine.c (simplify_shift_const_1): Split code to determine
        shift_mode into ...
        (try_widen_shift_mode): ... here.  Allow widening for ASHIFTRT if the
        new bits shifted in are identical to the old sign bit.

2009-07-18  Richard Guenther  <rguenther@suse.de>

        PR c/40787
        * gimplify.c (gimplify_call_expr): Reject code using results from
        functions returning void.

2009-07-18  Richard Sandiford  <r.sandiford@uk.ibm.com>

        * doc/md.texi: Document the new PowerPC "es" constraint.
        Document that "m" can include automodified addresses on this target,
        and explain how %U must be used.  Extend the "Q" and "Z" documentation
        to suggest "es" as well as "m".
        * config/rs6000/constraints.md (es): New memory constraint.
        (Q, Z): Update strings to match new documentation.

2009-07-18  Richard Sandiford  <r.sandiford@uk.ibm.com>

        * config/rs6000/rs6000.c (rs6000_mode_dependent_address): Allow any
        offset from virtual_stack_vars_rtx and arg_pointer_rtx.
        * config/rs6000/predicates.md (volatile_mem_operand): Use
        offsettable_nonstrict_memref_p.
        * config/rs6000/rs6000.md (*floatsidf2_internal): Remove split check.
        (*floatunssidf2_internal): Likewise.
        (*fix_truncdfsi2_internal): Likewise.
        (*fix_trunctfsi2_internal): Likewise.

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

        * config/avr/avr-devices.c (avr_mcu_t): Add atmega8u2, atmega16u2 and
        atmega32u2 devices.
        * config/avr/t-avr (MULTILIB_MATCHES): (Ditto.).

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

        PR c/40401
        * tree-pass.h (pass_diagnose_omp_blocks): Declare.
        (pass_warn_unused_result): Likewise.
        (TODO_set_props): Remove.
        * omp-low.c (diagnose_omp_structured_block_errors): Change to
        run as a pass.
        (pass_diagnose_omp_blocks): Define.
        * c-decl.c (pop_file_scope): Do not finalize the CU here.
        (c_gimple_diagnostics_recursively): Remove.
        (finish_function): Do not call it.
        (c_write_global_declarations): Continue after errors.
        Finalize the CU here.
        * c-gimplify.c (c_genericize): Do not gimplify here.
        * c-common.c (c_warn_unused_result): Move ...
        * tree-cfg.c (do_warn_unused_result): ... here.
        (run_warn_unused_result): New function.
        (gate_warn_unused_result): New function.
        (pass_warn_unused_result): New pass.
        * c-common.h (c_warn_unused_result): Remove.
        * flags.h (flag_warn_unused_result): Declare.
        * c-opts.c (c_common_init_options): Enable flag_warn_unused_result.
        * opts.c (flag_warn_unused_result): Initialize to false.
        * toplev.c (compile_file): Add comment.
        * omp-low.c (create_omp_child_function): Do not register
        the function with the frontend.
        (diagnose_omp_structured_block_errors): Prepare to be
        called as optimization pass.
        (gate_diagnose_omp_blocks): New function.
        (pass_diagnose_omp_blocks): New pass.
        * cgraph.h (cgraph_optimize): Remove.
        (cgraph_analyze_function): Likewise.
        * cgraph.c (cgraph_add_new_function): Gimplify C++ thunks.
        * cgraphunit.c (cgraph_lower_function): Lower nested functions
        before their parents here.
        (cgraph_finalize_function): Not here.
        (cgraph_analyze_function): Gimplify functions here.
        (cgraph_finalize_compilation_unit): Continue after errors.
        Optimize the callgraph from here.
        (cgraph_optimize): Make static.
        * langhooks.c (write_global_declarations): Finalize the CU.
        * gimplify.c (gimplify_asm_expr): Do not emit ASMs with errors.
        (gimplify_function_tree): Assert we gimplify only once.
        Set PROP_gimple_any property.
        * tree-nested.c (gimplify_all_functions): New function.
        (lower_nested_functions): Gimplify all nested functions.
        * gimple.h (diagnose_omp_structured_block_errors): Remove.
        * passes.c (init_optimization_passes): Add pass_warn_unused_result
        and pass_diagnose_omp_blocks after gimplification.  Do not
        set TODO_set_props on all_lowering_passes.
        (execute_one_pass): Do not handle TODO_set_props.
        * Makefile.in (cgraphunit.o): Add $(TREE_DUMP_H) dependency.
        (gimplify.o): Add tree-pass.h dependency.
        * tree-inline.c (copy_statement_list): Properly copy STATEMENT_LIST.
        (copy_tree_body_r): Properly handle TARGET_EXPR like SAVE_EXPR.
        (unsave_r): Likewise.
        * c-omp.c (c_finish_omp_atomic): Set DECL_CONTEXT on the
        temporary variable.

2009-07-17  Sandra Loosemore  <sandra@codesourcery.com>

        * doc/service.texi (Service): Restore previously removed link,
        which isn't broken after all.

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

        PR tree-optimization/40321
        * tree-ssa-pre.c (add_to_exp_gen): Also add names defined by
        PHI nodes to the maximal set.
        (make_values_for_phi): Add PHI arguments to the maximal set.
        (execute_pre): Dump PHI_GEN and the maximal set.

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

        PR c++/40780
        * gimplify.c (gimplify_conversion): Don't change non-conversions into
        VIEW_CONVERT_EXPR.

2009-07-16  Sandra Loosemore  <sandra@codesourcery.com>

        * doc/extend.texi (Nested Functions): Replace broken link with
        textual reference.
        * doc/service.texi (Service): Remove broken link.

2009-07-16  H.J. Lu  <hongjiu.lu@intel.com>

        PR bootstrap/40781
        * builtins.c (expand_builtin_memcmp): Use loc instead of
        EXPR_LOCATION (exp).
        (expand_builtin_strncmp): Likewise.

2009-07-17  Aldy Hernandez  <aldyh@redhat.com>
            Manuel López-Ibáñez  <manu@gcc.gnu.org>

        PR 40435
        * tree-complex.c, tree-loop-distribution.c, tree.c, tree.h,
        builtins.c, fold-const.c, omp-low.c, cgraphunit.c, tree-ssa-ccp.c,
        tree-ssa-dom.c, gimple-low.c, expr.c, tree-ssa-ifcombine.c,
        c-decl.c, stor-layout.c, tree-if-conv.c, c-typeck.c, gimplify.c,
        calls.c, tree-sra.c, tree-mudflap.c, tree-ssa-copy.c,
        tree-ssa-forwprop.c, c-convert.c, c-omp.c, varasm.c,
        tree-inline.c, c-common.c, c-common.h, gimple.c,
        tree-switch-conversion.c, gimple.h, tree-cfg.c, c-parser.c,
        convert.c: Add location argument to fold_{unary,binary,ternary},
        fold_build[123], build_call_expr, build_size_arg,
        build_fold_addr_expr, build_call_array, non_lvalue, size_diffop,
        fold_build1_initializer, fold_build2_initializer,
        fold_build3_initializer, fold_build_call_array,
        fold_build_call_array_initializer, fold_single_bit_test,
        omit_one_operand, omit_two_operands, invert_truthvalue,
        fold_truth_not_expr, build_fold_indirect_ref, fold_indirect_ref,
        combine_comparisons, fold_builtin_*, fold_call_expr,
        build_range_check, maybe_fold_offset_to_address, round_up,
        round_down.

2009-07-16  Jason Merrill  <jason@redhat.com>

        PR libstdc++/37907
        * c-common.c (c_common_reswords): Add __is_standard_layout
        and __is_trivial.
        * c-common.h (enum rid): Add RID_IS_STD_LAYOUT and RID_IS_TRIVIAL.
        * doc/implement-cxx.texi: New.
        * doc/gcc.texi: Include it.

2009-07-16  DJ Delorie  <dj@redhat.com>

        * config/m32c/m32c.c (m32c_compare_redundant): Avoid removing
        compares that may be indirectly affected by previous instructions.

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

        * builtins.c (do_mpc_arg2): New.
        (fold_builtin_2): Fold builtin cpow.
        * real.h (HAVE_mpc_pow): New.

2009-07-16  Bingfeng Mei  <bmei@broadcom.com>

        * modulo-sched.c (sms_schedule): stage_count <= 1 as correct
        comparison to skip unprofitable schedule

2009-07-16  Simon Baldwin  <simonb@google.com>

        * gcc.c (option_map): New flag -no-canonical-prefixes.
        * (display_help): Print help text for new flag.
        * (process_command): Move options translation and language specifics
        and handle new flag early.  Use it to set a function pointer to a
        prefix builder.  Replace make_relative_prefix calls with calls to
        the function pointed to.  Ignore new flag in regular options handling.
        * doc/invoke.texi (Overall Options): Documented -no-canonical-prefixes.

2009-07-15  DJ Delorie  <dj@redhat.com>

        * config/mep/mep.md (sibcall_internal): Change register to avoid
        argument registers.
        (sibcall_value_internal): Likewise.

2009-07-15  Eric Botcazou  <ebotcazou@adacore.com>

        PR rtl-optimization/40710
        * resource.c (mark_target_live_regs): Reset DF problem to LR.

2009-07-15  Adam Nemet  <anemet@caviumnetworks.com>

        * config/mips/mips.md (*extenddi_truncate<mode>,
        *extendsi_truncate<mode>): Change type attribute to move_type
        with shift_shift.  Split out code handling exts from here ...
        (*extend<GPR:mode>_truncate<SHORT:mode>_exts): ... to this new
        pattern.
        (*extendhi_truncateqi): Change type attribute to move_type with
        shift_shift.  Split out code handling exts from here ...
        (*extendhi_truncateqi_exts): ... to this new pattern.

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

        * config/i386/sse.md (copysign<mode>3): Use "and-not" SSE instruction
        instead of "and" with inverted sign bit mask value.  Use
        "nonimmediate_operand" for operand 1 and operand 2 predicate.
        Allocate registers only for operand 4 and operand 5.

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

        PR middle-end/40747
        * fold-const.c (fold_cond_expr_with_comparison): When folding
        < and <= to MIN, make sure the MIN uses the same type as the
        comparison's operands.

2009-07-15  Richard Earnshaw  <rearnsha@arm.com>

        * arm.md (ior_xor): New code iterator.
        (split for ior/xor with shift and zero-extend): New split pattern.
        * arm/predicates.md (subreg_lowpart_operator): New special predicate.

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

        * tree-ssa-structalias.c (make_constraint_from_heapvar): Initialize
        offset member.

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

        PR middle-end/40753
        * alias.c (ao_ref_from_mem): Reject FUNCTION_DECL and LABEL_DECL bases.

2009-07-15  Maxim Kuvyrkov  <maxim@codesourcery.com>

        * config/m68k/linux-unwind.h (m68k_fallback_frame_state): Update to
        handle 2.6.30 kernel.

2009-07-15  DJ Delorie  <dj@redhat.com>

        * config/mep/mep.md (sibcall_internal): Change register to allow
        for 24-bit addresses.
        (sibcall_value_internal): Likewise.

2009-07-14  Ghassan Shobaki  <ghassan.shobaki@amd.com>

        * doc/invoke.texi: Added descriptions of the  scheduling heuristics
        that are enabled/disabled by the flags introduced by a previous patch.

2009-07-14  DJ Delorie  <dj@redhat.com>

        * config/mep/mep.md (sibcall_internal): Include non-toggling
        non-jmp case.
        (sibcall_value_internal): Likewise.

2009-07-14  Taras Glek  <tglek@mozilla.com>
            Rafael Espindola  <espindola@google.com>

        * doc/sourcebuild.texi: Document install-plugin target.
        * configure.ac: Added install-plugin target to language makefiles.
        * configure: Regenerate.
        * Makefile.in: (install-plugin): Install more headers,
        depend on lang.install-plugin.

2009-07-15  Manuel López-Ibáñez  <manu@gcc.gnu.org>

        * tree-vrp.c (vrp_evaluate_conditional): Mark strings for
        translation.

2009-07-14  DJ Delorie  <dj@redhat.com>

        * config/mep/mep.c (mep_vliw_jmp_match): New function.
        * config/mep/mep-protos.h (mep_vliw_jmp_match): Prototype it.
        * config/mep/mep.md (sibcall_internal): Change test from
        mep_vliw_mode_match to mep_vliw_jmp_match.
        (sibcall_value_internal): Likewise.

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

        * config/i386/sse.md (copysign<mode>3): New expander.
        * config/i386/i386-protos.h (ix86_build_signbit_mask): New prototype.
        * config/i386/i386.c (ix86_build_signbit_mask): Make public.
        Use ix86_build_const_vector.
        (enum ix86_builtins): Add IX86_BUILTIN_CPYSGNPS and
        IX86_BUILTIN_CPYSGNPD.
        (builtin_description): Add __builtin_ia32_copysignps and
        __builtin_ia32_copysignpd.
        (ix86_builtin_vectorized_function): Handle BUILT_IN_COPYSIGN
        and BUILT_IN_COPYSIGNF.

2009-07-13  Jason Merrill  <jason@redhat.com>

        * builtins.c (can_trust_pointer_alignment): New fn.
        (get_pointer_alignment): Factor it out from here.
        * tree.h: Declare it.

2009-07-14  David Edelsohn  <edelsohn@gnu.org>

        * config/rs6000/predicates.md (offsettable_mem_operand): Test
        RTX_AUTOINC class.

2009-07-14  Dodji Seketeli  <dodji@redhat.com>

        PR debug/40705
        PR c++/403057
        * dwarf2.out.c (gen_type_die_with_usage): Added comment.

2009-07-14  Richard Guenther  <rguenther@suse.de>
            Andrey Belevantsev <abel@ispras.ru>

        PR middle-end/40745
        * cfgexpand.c (partition_stack_vars): Do not bother to update
        alias information when not optimizing.

2009-07-14  Richard Guenther  <rguenther@suse.de>
            Andrey Belevantsev <abel@ispras.ru>

        * tree-ssa-alias.h (refs_may_alias_p_1): Declare.
        (pt_solution_set): Likewise.
        * tree-ssa-alias.c (refs_may_alias_p_1): Export.
        * tree-ssa-structalias.c (pt_solution_set): New function.
        * final.c (rest_of_clean_state): Free SSA data structures.
        * print-rtl.c (print_decl_name): Remove.
        (print_mem_expr): Implement in terms of print_generic_expr.
        * alias.c (ao_ref_from_mem): New function.
        (rtx_refs_may_alias_p): Likewise.
        (true_dependence): Query alias-export info.
        (canon_true_dependence): Likewise.
        (write_dependence_p): Likewise.
        * tree-dfa.c (get_ref_base_and_extent): For void types leave
        size unknown.
        * emit-rtl.c (component_ref_for_mem_expr): Remove.
        (mem_expr_equal_p): Use operand_equal_p.
        (set_mem_attributes_minus_bitpos): Do not use
        component_ref_for_mem_expr.
        * cfgexpand.c (add_partitioned_vars_to_ptset): New function.
        (update_alias_info_with_stack_vars): Likewise.
        (partition_stack_vars): Call update_alias_info_with_stack_vars.
        * tree-ssa.c (delete_tree_ssa): Do not release SSA names
        explicitly nor clear stmt operands.
        Free the decl-to-pointer map.
        * tree-optimize.c (execute_free_datastructures): Do not free
        SSA data structures here.
        * tree-flow.h (struct gimple_df): Add decls_to_pointers member.
        * Makefile.in (emit-rtl.o): Add pointer-set.h dependency.
        (alias.o): Add tree-ssa-alias.h, pointer-set.h and $(TREE_FLOW_H)
        dependencies.
        (print-rtl.o): Add $(DIAGNOSTIC_H) dependency.

2009-07-13  DJ Delorie  <dj@redhat.com>

        * config/mep/mep.h (CC1_SPEC): Tweak parameters to trigger
        unrolling at the right iteration count.

        * config/mep/mep.c (mep_expand_prologue): Fix frame pointer
        calculations.

2009-07-13  Ghassan Shobaki  <ghassan.shobaki@amd.com>

        * haifa-sched.c (rank_for_schedule): Introduced flags to
        enable/disable individual scheduling heuristics.
        * common.opt: Introduced flags to enable/disable individual
        heuristics in the scheduler.
        * doc/invoke.texi: Introduced flags to enable/disable individual
        heuristics in the scheduler.

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

        * config/i386/t-gthr-win32 (LIB2FUNCS_EXTRA): Remove file
        config/i386/mingw-tls.c.
        * config/i386/mingw-tls.c: Removed.

2009-07-13  Ira Rosen  <irar@il.ibm.com>

        * tree-vect-loop.c (get_initial_def_for_reduction): Ensure that the
        checks access only relevant statements.
        (vectorizable_reduction): Likewise.

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

        * config/i386/cygming.h (TARGET_OS_CPP_BUILTINS): Define _X86_
        just for 32-bit case.

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

        PR tree-optimization/40585
        * except.c (expand_resx_expr): When there already is resume
        instruction, produce linked list.
        (build_post_landing_pads): Assert that resume is empty.
        (connect_post_landing_pads): Handle resume lists.
        (dump_eh_tree): Dump resume list.

2009-07-12  Ira Rosen  <irar@il.ibm.com>

        * tree-parloops.c (loop_parallel_p): Call vect_is_simple_reduction
        with additional argument.
        * tree-vectorizer.h (enum vect_def_type): Add
        vect_double_reduction_def.
        (vect_is_simple_reduction): Add argument.
        * tree-vect-loop.c (vect_determine_vectorization_factor): Fix
        indentation.
        (vect_analyze_scalar_cycles_1): Detect double reduction. Call
        vect_is_simple_reduction with additional argument.
        (vect_analyze_loop_operations): Handle exit phi nodes in case of
        double reduction.
        (reduction_code_for_scalar_code): Handle additional codes by
        returning ERROR_MARK for them. Fix comment and indentation.
        (vect_is_simple_reduction): Fix comment, add argument to specify
        double reduction. Detect double reduction.
        (get_initial_def_for_induction): Fix indentation.
        (get_initial_def_for_reduction): Fix comment and indentation.
        Handle double reduction. Create initial definitions that do not
        require adjustment if ADJUSTMENT_DEF is NULL. Handle additional cases.
        (vect_create_epilog_for_reduction): Fix comment, add argument to
        handle double reduction. Use PLUS_EXPR in case of MINUS_EXPR in
        epilogue result extraction. Create double reduction phi node and
        replace relevant uses.
        (vectorizable_reduction): Call vect_is_simple_reduction with
        additional argument. Fix indentation. Update epilogue code treatment
        according to the changes in reduction_code_for_scalar_code. Check
        for double reduction. Call vect_create_epilog_for_reduction with
        additional argument.
        * tree-vect-stmts.c (process_use): Handle double reduction, update
        documentation.
        (vect_mark_stmts_to_be_vectorized): Handle double reduction.
        (vect_get_vec_def_for_operand): Likewise.

2009-07-12  Danny Smith  <dansmister@gmail.com>

        * config/i386/winnt.c (i386_pe_determine_dllexport_p): Don't
        dllexport if !TREE_PUBLIC.
        (i386_pe_maybe_record_exported_symbol): Assert TREE_PUBLIC.

2009-07-11  Anatoly Sokolov  <aesok@post.ru>

        * config/avr/avr.h (TARGET_CPU_CPP_BUILTINS): Redefine.
        (avr_extra_arch_macro) Remove declatation.
        * config/avr/avr.c (avr_cpu_cpp_builtins): New function.
        (avr_extra_arch_macro) Declare as static.
        * config/avr/avr-protos.h (avr_cpu_cpp_builtins): Dclare.

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

        PR middle-end/48388
        * except.c (can_be_reached_by_runtime): Test for NULL aka bitmap.

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

        PR debug/40713
        * dwarf2out.c (dw_fde_struct): Add in_std_section and
        cold_in_std_section bits.
        (dwarf2out_begin_prologue): Initialize them.
        (dwarf2out_finish): Don't emit FDE range into .debug_ranges
        if already covered by text_section or cold_text_section range.

        PR rtl-optimization/40667
        * defaults.h (MINIMUM_ALIGNMENT): Define if not defined.
        * doc/tm.texi (MINIMUM_ALIGNMENT): Document it.
        * config/i386/i386.h (MINIMUM_ALIGNMENT): Define.
        * config/i386/i386.c (ix86_minimum_alignment): New function.
        * config/i386/i386-protos.h (ix86_minimum_alignment): New prototype.
        * cfgexpand.c (expand_one_var): Use MINIMIM_ALIGNMENT.
        * emit-rtl.c (gen_reg_rtx): Likewise.
        * function.c (assign_parms): Likewise.  If nominal_type needs
        bigger alignment than FUNCTION_ARG_BOUNDARY, use its alignment
        rather than passed_type's alignment.

        PR target/40668
        * function.c (assign_parm_setup_stack): Adjust
        MEM_OFFSET (data->stack_parm) if promoted_mode is different
        from nominal_mode on big endian.

2009-07-11  Paolo Bonzini  <bonzini@gnu.org>

        * expmed.c (emit_store_flag_1): Fix choice of zero vs. sign extension.

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

        * config/mep/mep.c (mep_can_inline_p): Correct logic, and simplify.

2009-07-10  Mark Mitchell  <mark@codesourcery.com>

        * config/arm/thumb2.md (thumb2_cbz): Correct computation of length
        attribute.
        (thumb2_cbnz): Likewise.

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

        PR target/39079
        * config.gcc (supported_defaults): Add synci.
        (with_synci): Add validation.
        (all_defaults): Add synci.
        * config/mips/mips.md (clear_cache): Use TARGET_SYNCI instead of
        ISA_HAS_SYNCI.
        (synci): Same.
        * config/mips/mips.opt (msynci): New option.
        * config/mips/mips.c (mips_override_options): Warn on use of
        -msynci for targets that do now support it.
        * gcc/config/mips/mips.h (OPTION_DEFAULT_SPECS): Add a default for
        msynci.
        * gcc/doc/invoke.texi (-msynci): Document the new option.
        * doc/install.texi (--with-synci): Document the new option.

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

        PR tree-optimization/40496
        * tree-ssa-loop-manip.c (tree_transform_and_unroll_loop): Create
        the PHI result with a compatible type.

2009-07-10  Manuel López-Ibáñez  <manu@gcc.gnu.org>

        PR 25509
        PR 40614
        * c.opt (Wunused-result): New.
        * doc/invoke.texi: Document it.
        * c-common.c (c_warn_unused_result): Use it.

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

        * targhooks.c (default_target_can_inline_p): Rename from
        default_target_option_can_inline_p.
        * targhooks.h (default_target_can_inline_p): Likewise.
        * target-def.h (TARGET_CAN_INLINE_P): Rename from
        TARGET_OPTION_CAN_INLINE_P.
        * config/i386/i386.c (TARGET_CAN_INLINE_P): Likewise.
        * config/mep/mep.c (TARGET_CAN_INLINE_P): Likewise.
        (mep_target_can_inline_p): Rename from
        mep_target_option_can_inline_p.

        PR target/40626
        * config/mep/mep.h (FUNCTION_ARG_REGNO_P): Add coprocessor
        registers used to pass vectors.

        * config/mep/mep.c (mep_option_can_inline_p): Remove error call.

2009-07-09  Tom Tromey  <tromey@redhat.com>

        * unwind-dw2-fde-darwin.c: Include dwarf2.h.
        * config/mmix/mmix.c: Include dwarf2.h.
        * config/rs6000/darwin-fallback.c: Include dwarf2.h.
        * config/xtensa/unwind-dw2-xtensa.c: Include dwarf2.h.
        * config/sh/sh.c: Include dwarf2.h.
        * config/i386/i386.c: Include dwarf2.h.
        * Makefile.in (DWARF2_H): Remove 'elf'.
        * except.c: Include dwarf2.h.
        * unwind-dw2.c: Include dwarf2.h.
        * dwarf2out.c: Include dwarf2.h.
        * unwind-dw2-fde-glibc.c: Include dwarf2.h.
        * unwind-dw2-fde.c: Include dwarf2.h.
        * dwarf2asm.c: Include dwarf2.h.

2009-07-09  Maxim Kuvyrkov  <maxim@codesourcery.com>

        * haifa-sched.c (insn_finishes_cycle_p): New static function.
        (max_issue): Use it.
        * sched-int.h (struct sched_info: insn_finishes_block_p): New
        scheduler hook.
        * sched-rgn.c (rgn_insn_finishes_block_p): Implement it.
        (region_sched_info): Update.
        * sched-ebb.c (ebb_sched_info): Update.
        * modulo-sched.c (sms_sched_info): Update.
        * sel-sched-ir.c (sched_sel_haifa_sched_info): Update.

2009-07-09  Maxim Kuvyrkov  <maxim@codesourcery.com>

        * varasm.c (build_constant_desc): Don't share RTL in pool entries.

2009-07-09  Basile Starynkevitch  <basile@starynkevitch.net>

        * plugin.c (try_init_one_plugin): passes RTLD_GLOBAL to dlopen.

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

        PR middle-end/40692
        * fold-const.c (fold_cond_expr_with_comparison): Don't replace
        arg1 with arg01 if arg1 is already INTEGER_CST.

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

        * simplify-rtx.c (simplify_binary_operation_1) <AND>:
        Transform (and (truncate)) into (truncate (and)).

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

        * combine.c (make_extraction): Check TRULY_NOOP_TRUNCATION before
        creating LHS paradoxical subregs.  Fix surrounding returns to
        use NULL_RTX rather than 0.

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

        * config/mep/mep.c: (mep_option_can_inline_p): New.
        (TARGET_OPTION_CAN_INLINE_P): Define.

2009-07-08  Mark Wielaard  <mjw@redhat.com>

        PR debug/40659
        * dwarf2out.c (add_data_member_location_attribute): When we have
        only a constant offset don't emit a new location description using
        DW_OP_plus_uconst, but just add the constant with add_AT_int, when
        dwarf_version > 2.

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

        PR target/38900
        * config/i386/i386.h (CONDITIONAL_REGISTER_USAGE): Move to i386.c.
        (enum reg_class): Add CLOBBERED_REGS.
        (REG_CLASS_NAMES, REG_CLASS_CONTENTS): Likewise.
        * config/i386/i386.c (ix86_conditional_register_usage): Moved
        from CONDITIONAL_REGISTER_USAGE; build CLOBBERED_REGS for 64-bit.
        (ix86_function_ok_for_sibcall): Tidy.  Disallow MS->SYSV sibcalls.
        (ix86_expand_call): Use sibcall_insn_operand when needed.  Don't
        force 64-bit sibcalls into R11.
        * config/i386/constraints.md (U): New constraint.
        * config/i386/i386.md (sibcall_1, sibcall_value_1): Use it.
        (sibcall_1_rex64, sibcall_value_1_rex64): Likewise.
        (sibcall_1_rex64_v, sibcall_value_1_rex64_v): Remove.

2009-07-08  Shujing Zhao  <pearly.zhao@oracle.com>

        * basic-block.h (dump_regset, debug_regset): Remove duplicate
        prototypes.
        * c-objc-common.h (c_initialize_diagnostics): Ditto.
        * ebitmap.h (dump_ebitmap): Ditto.
        * optabs.h (optab_libfunc): Ditto.
        * tree.h (tree_expr_nonzero_warnv_p): Ditto.
        * tree-flow.h (vect_can_force_dr_alignment_p,
        get_vectype_for_scalar_type): Ditto.
        (vectorize_loops): Move prototype to ...
        * tree-vectorizer.h: ... here. Also, adjust comment.
        (vect_set_verbosity_level): Remove duplicate prototype.
        * tree-ssa-loop.c: Include tree-vectorizer.h.
        * Makefile.in (tree-ssa-loop.o): Depend on tree-vectorizer.h.

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

        * config/i386/unix.h (ASM_COMMENT_START): Add a space after the
        forward slash.

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

        * config/mep/mep-ivc2.cpu (cpmovtocsar0_C3, cpmovtocsar1_C3,
        cpmovtocc_C3, cpmovtocsar0_P0S_P1, cpmovtocsar1_P0S_P1,
        cpmovtocc_P0S_P1): Mark volatile.  Note which registers are
        written to.
        * config/mep/intrinsics.md: Regenerated.
        * config/mep/mep.c (mep_interrupt_saved_reg): Save IVC2 control
        registers when asm() or calls are detected.

2009-07-08  Manuel López-Ibáñez  <manu@gcc.gnu.org>

        PR c++/31246
        * gimplify.c (gimplify_expr): Propagate no_warning flag when
        gimplifying.
        * gimple (gimple_build_call_from_tree): Likewise.
        * tree-cfg.c (remove_useless_stmts_warn_notreached): Check
        no_warning flag before warning.

2009-07-07  Manuel López-Ibáñez  <manu@gcc.gnu.org>

        * tree.c (set_expr_locus): Remove.
        * tree.h (EXPR_LOCUS,SET_EXPR_LOCUS,set_expr_locus): Remove.
        * c-typeck.c (c_finish_stmt_expr):  Replace EXPR_LOCUS by
        EXPR_LOCATION.
        * gimplify.c (internal_get_tmp_var): Likewise.
        (gimplify_call_expr): Likewise.
        (gimplify_one_sizepos): Likewise.

2009-07-07  Eric Botcazou  <ebotcazou@adacore.com>

        PR debug/40666
        * dbxout.c (dbxout_symbol) <PARM_DECL>: Deal with parameters pointing
        to variables for debugging purposes.

2009-06-23  Mark Loeser  <mark@halcy0n.com>

        PR build/40010
        * Makefile.in (gcc.pod): Depend on gcc-vers.texi.

2009-07-07  Manuel López-Ibáñez  <manu@gcc.gnu.org>

        * pretty-print.c (pp_base_format): Remove %J.
        * c-format.c (gcc_diag_char_table, gcc_tdiag_char_table,
        gcc_cxxdiag_char_table): Likewise.
        (init_dynamic_diag_info): Likewise.

2009-07-07  Manuel López-Ibáñez  <manu@gcc.gnu.org>

        * pretty-print.c (pp_base_format): Remove %H.
        * c-format.c (gcc_diag_char_table, gcc_tdiag_char_table,
        gcc_cxxdiag_char_table): Likewise.
        (init_dynamic_diag_info): Likewise.
        * config/mep/mep.c (mep_select_section): Likewise.

2009-07-07  Duncan Sands  <baldrick@free.fr>

        * final.c (pass_clean_state): Give the pass a name.
        * passes.c (pass_rest_of_compilation): Likewise.
        * tree-optimize.c (pass_all_optimizations): Likewise.

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

        * config/ia64/ia64.c (ia64_handle_model_attribute): Remove
        an extra 'decl' for error_at.

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

        PR middle-end/40669
        * tree-tailcall.c (adjust_return_value_with_ops,
        create_tailcall_accumulator): Set DECL_GIMPLE_REG_P on the temporary
        if it has complex or vector type.

2009-07-07  Olivier Hainque  <hainque@adacore.com>

        * config/alpha/t-osf4 (SHLIB_LINK): Do not hide the dummy weak
        pthread symbols.

2009-07-07  Basile Starynkevitch  <basile@starynkevitch.net>

        * Makefile.in: added more lists of includes to PLUGIN_HEADERS.

2009-07-07  Manuel López-Ibáñez  <manu@gcc.gnu.org>

        * cgraphunit.c: Replace %J by an explicit location.  Update all calls.
        * c-decl.c: Likewise.
        * function.c: Likewise.
        * varasm.c: Likewise.
        * tree-ssa.c: Likewise.
        * c-common.c: Likewise.
        * tree-cfg.c: Likewise.
        * config/spu/spu.c: Likewise.
        * config/ia64/ia64.c: Likewise.
        * config/v850/v850.c: Likewise.

2009-07-06  DJ Delorie  <dj@redhat.com>

        * config/mep/mep-core.cpu (fsft, ssarb): Mark as VOLATILE.
        * config/mep/mep-ivc2.cpu (many): Add VOLATILE to more insns that make
        unspecified accesses to control registers.
        * config/mep/intrinsics.md: Regenerate.
        * config/mep/intrinsics.h: Regenerate.
        * config/mep/mep-intrin.h: Regenerate.

2009-07-07  Manuel López-Ibáñez  <manu@gcc.gnu.org>

        * c-lex.c: Replace %H by an explicit location. Update all calls.
        * c-common.c: Likewise.
        * c-decl.c: Likewise.
        * c-typeck.c: Likewise.
        * fold-const.c: Likewise.
        * gimplify.c: Likewise.
        * stmt.c: Likewise.
        * tree-cfg.c: Likewise.
        * tree-ssa-loop-niter.c: Likewise.
        * tree-vrp.c: Likewise.
        * value-prof.c: Likewise.

2009-07-06  Diego Novillo  <dnovillo@google.com>

        * tree-dfa.c (dump_variable): Write DECL_INITIAL for VAR
        if it has one.  Handle cases where VAR does not have an
        annotation or cfun is NULL.

2009-07-06  Diego Novillo  <dnovillo@google.com>

        * tree.c: Include debug.h.
        (initialize_tree_contains_struct): New.
        (init_ttree): Call it.
        (tree_node_structure_for_code): Factor out of ...
        (tree_node_structure): ... here.
        * treestruct.def (TS_PHI_NODE): Remove.
        (TS_GIMPLE_STATEMENT): Remove.

2009-07-06  Diego Novillo  <dnovillo@google.com>

        * tree-pretty-print.c (dump_generic_node): Protect against NULL op0.
        (debug_tree_chain): Handle cycles.

2009-07-06  Nick Clifton  <nickc@redhat.com>
            DJ Delorie  <dj@redhat.com>

        * config.sh/lib1funcs.h (FMOVD_WORKS): Only define if
        __FMOVD_ENABLED__ is defined.
        * config/sh/sh.h
        (TARGET_FMOVD): Provide a default definition.
        (MASK_FMOVD): Likewise.
        (TARGET_CPU_CPP_BUILTINS): Define
        __FMOVD_ENABLED__ if TARGET_FMOVD is true.
        * config/sh/sh.md (movdf_i4): For alternative 0 use either one or
        two fmov instructions depending upon whether TARGET_FMOVD is enabled.
        (split for DF load from memory into register): Also handle
        MEMs which consist of REG+DISP addressing.
        (split for DF store from register to memory): Likewise.
        (movsf_ie): Always use single fp_mode.
        * config/sh/sh.c (sh_override_options): Do not automatically
        enable TARGET_MOVD for the SH2A when supporting doubles - leave
        that to the -mfmovd command line switch.
        (broken_move): Do not restrict fldi test to only the SH4 and SH4A.
        (fldi_ok): Always allow.
        * config/sh/sh.opt (mfmovd): Remove this switch.
        * doc/invoke.texi (-mfmovd): Remove documentation of this switch.

2009-07-06  J"orn Rennecke  <joern.rennecke@arc.com>
            Kaz Kojima  <kkojima@gcc.gnu.org>

        PR rtl-optimization/30807
        * postreload.c (reload_combine): For every new use of REG_SUM,
        record the use of BASE.

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

        * params.def: Revert my accidental commit at 2009-06-30.

2009-07-04  Ian Lance Taylor  <iant@google.com>

        PR target/40636
        * config/i386/msformat-c.c (mingw_format_attributes): Declare as
        EXPORTED_CONST.
        (mingw_format_attribute_overrides): Likewise.

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

        PR debug/40596
        * dwarf2out.c (based_loc_descr): For crtl->stack_realign_tried
        don't check cfa.reg.  Instead of cfa.indirect use
        fde && fde->drap_reg != INVALID_REGNUM test.

2009-07-04  Eric Botcazou  <ebotcazou@adacore.com>

        * postreload.c (reload_combine): Replace CONST_REG with INDEX_REG.

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

        PR target/40587
        * ira.c (build_insn_chain): Use DF_LR_OUT instead of df_get_live_out.

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

        PR tree-optimization/40640
        * tree-switch-conversion.c (build_arrays): Perform arithmetic
        in original type.

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

        * ipa-inline.c (cgraph_decide_inlining_incrementally): When optimizing
        for size, reduce amount of inlining.

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

        PR middle-end/34163
        * tree-chrec.c (chrec_convert_1): Fold (T2)(t +- x) to (T2)t +- (T2)x
        if t +- x is known to not overflow and the conversion widens the
        operation.
        * Makefile.in (tree-chrec.o): Add $(FLAGS_H) dependency.

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

        * ipa-pure-const.c (analyze): Update loop optimizer init.
        * tree-ssa-loop-iv-canon.c (empty_loop_p, remove_empty_loop,
        try_remove_empty_loop, remove_empty_loops): Remove.
        * tree-ssa-loop.c (tree_ssa_empty_loop, pass_empty_loop): Remove.
        * tree-ssa-dce.c (find_obviously_necessary_stmts): Use finiteness info
        to mark regular loops as neccesary.
        (degenerate_phi_p): New function.
        (propagate_necessity, remove_dead_phis): Use it.
        (forward_edge_to_pdom): Likewise.
        (eliminate_unnecessary_stmts): Take care to remove uses of results of
        virtual PHI nodes that became unreachable.
        (perform_tree_ssa_dce): Initialize/deinitialize loop optimizer.
        * tree-flow.h (remove_empty_loops): Remove.
        * passes.c (init_optimization_passes): Remove.

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

        * config/i386/i386.md (fix_trunc<mode>_fisttp_i387_1): Use
        can_create_pseudo_p.
        (*fix_trunc<mode>_i387_1): Ditto.
        (*floathi<mode>2_1): Ditto.
        (*float<SSEMODEI24:mode><X87MODEF:mode>2_1): Ditto.
        (*fistdi2_1): Ditto.
        (*fist<mode>2_1): Ditto.
        (frndintxf2_floor): Ditto.
        (*fist<mode>2_floor_1): Ditto.
        (frndintxf2_ceil): Ditto.
        (*fist<mode>2_ceil_1): Ditto.
        (frndintxf2_trunc): Ditto.
        (frndintxf2_mask_pm): Ditto.
        (fxam<mode>2_i387_with_temp): Ditto.
        * config/i386/sse.md (mulv16qi3): Ditto.
        (*sse2_mulv4si3): Ditto.
        (mulv2di3): Ditto.
        (sse4_2_pcmpestr): Ditto.
        (sse4_2_pcmpistr): Ditto.

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

        * tree-ssa-dce.c (bb_contains_live_stmts): New bitmap.
        (mark_stmt_necessary): Set it.
        (mark_operand_necessary): Set it.
        (mark_control_dependent_edges_necessary): Set it.
        (mark_virtual_phi_result_for_renaming): New function.
        (get_live_post_dom): New function.
        (forward_edge_to_pdom): New function.
        (remove_dead_stmt): Fix handling of control dependences.
        (tree_dce_init): Init new bitmap.
        (tree_dce_done): Free it.

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

        PR bootstrap/40617
        * tree-ssa-structalias.c (new_var_info): Initialize
        is_restrict_var.

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

        * ipa-pure-const.c (check_op): Use PTA info to see if indirect_ref is
        local.

2009-07-02  Paolo Bonzini  <bonzini@gnu.org>

        * expmed.c (emit_cstore, emit_store_flag_1): Accept target_mode
        instead of recomputing it.  Adjust calls.
        (emit_store_flag): Adjust recursive calls.

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

        * tree-ssa-live.c (remove_unused_locals): Do not remove
        heap variables.
        * tree-ssa-structalias.c (handle_lhs_call): Delay setting
        of DECL_EXTERNAL for HEAP variables.
        (compute_points_to_sets): Set DECL_EXTERNAL for escaped
        HEAP variables.  Do not adjust RESTRICT vars.
        (find_what_var_points_to): Nobody cares if something
        points to READONLY.

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

        * unwind-dw2-fde-glibc.c (_Unwind_IteratePhdrCallback): Move
        pc_low and pc_high declarations to the top of the function.

2009-07-01  DJ Delorie  <dj@redhat.com>

        * config/mep/mep.c (mep_handle_option): Leave IVC2 control
        registers as fixed.
        (mep_interrupt_saved_reg): Save appropriate IVC2 control registers.
        * config/mep/mep-ivc2.cpu: Add VOLATILE to insns that make
        unspecified accesses to control registers.
        * config/mep/intrinsics.md: Regenerate.
        * config/mep/intrinsics.h: Regenerate.
        * config/mep/mep-intrin.h: Regenerate.

2009-07-01  Anthony Green  <green@moxielogic.com>

        * config/moxie/moxie.c (moxie_expand_prologue): Use dec
        instruction when possible.
        (moxie_expand_prologue): Ditto.  Also, save an instruction and
        some complexity by popping off of $r12 instead of $sp.
        * config/moxie/moxie.md (movsi_pop): Don't assume $sp.  Take two
        operands.

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

        PR bootstrap/40347
        * function.c (reposition_prologue_and_epilogue_notes): If epilogue
        contained no insns, reposition note before last insn.

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

        PR debug/40431
        * dwarf2out.c (def_cfa_1): Revert 2009-06-11 change for
        DW_CFA_def_cfa_offset and DW_CFA_def_cfa.

2009-07-01  Michael Meissner  <meissner@linux.vnet.ibm.com>

        PR bootstrap/40558
        * config/rs6000/rs6000.c (print_operand): Undo change that breaks
        darwin9 for printing reg addresses with %y.

2009-07-01  Adam Nemet  <anemet@caviumnetworks.com>

        * combine.c (force_to_mode): Handle TRUNCATE.  Factor out
        truncation from operands in binary operations.

2009-07-01  Adam Nemet  <anemet@caviumnetworks.com>

        Revert:
        2009-01-11  Adam Nemet  <anemet@caviumnetworks.com>
        * expmed.c (store_bit_field_1): Properly truncate the paradoxical
        subreg of op0 to the original op0.

        * expmed.c (store_bit_field_1): Use a temporary as the destination
        instead of a paradoxical subreg when we need to truncate the result.

2009-07-01  DJ Delorie  <dj@redhat.com>

        * config/mep/mep-ivc2.cpu (cmov, cmovc, cmovh): Add intrinsic
        names to VLIW variants.
        (ivc2rm, ivc2crn): Make data type consistent with non-VLIW variants.
        * config/mep/intrinsics.md: Regenerate.
        * config/mep/intrinsics.h: Regenerate.
        * config/mep/mep-intrin.h: Regenerate.

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

        PR debug/40462
        * jump.c (returnjump_p): Revert last patch.
        * dwarf2out.c (dwarf2out_begin_epilogue): Handle SEQUENCEs.

2009-07-01  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>

        PR target/40575
        * pa.md (casesi32p): Use jump table label to determine the offset
        of the jump table.
        (casesi64p): Likewise.

        * pa.c (forward_branch_p): Return bool type.  Use instruction
        addresses when available.  Assert that INSN has a jump label.
        (pa_adjust_insn_length): Don't call forward_branch_p if INSN doesn't
        have a jump label.

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

        PR tree-optimization/19831
        * tree-ssa-dce.c (propagate_necessity): Calls to functions
        that only act as barriers do not make any previous stores necessary.
        * tree-ssa-structalias.c (handle_lhs_call): Delay making
        HEAP variables global, do not add a constraint from nonlocal.
        (find_func_aliases): Handle escapes through return statements.
        (compute_points_to_sets): Make escaped HEAP variables global.

2009-07-01  Paolo Bonzini  <bonzini@gnu.org>

        PR bootstrap/40597
        * expmed.c (emit_store_flag): Perform a conversion if necessary,
        after reducing a DImode cstore to SImode.

2009-07-01  Paolo Bonzini  <bonzini@gnu.org>

        * expr.c (expand_expr_real_1): Reinstate fallthrough to
        TRUTH_ANDIF_EXPR if do_store_flag returns NULL.

2009-07-01  Maciej W. Rozycki  <macro@linux-mips.org>

        * config/vax/vax.h (TARGET_BSD_DIVMOD): New macro.  Set to 1.
        * config/vax/linux.h (TARGET_BSD_DIVMOD): New macro.  Redefine the
        to 0.
        * config/vax/vax.c (vax_init_libfuncs): Only redefine udiv_optab
        and umod_optab if TARGET_BSD_DIVMOD.
        * config/vax/lib1funcs.asm: New file.
        * config/vax/t-linux: New file.
        * config.gcc (vax-*-linux*): Set tmake_file to vax/t-linux.

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

        PR c++/40566
        * convert.c (convert_to_integer) <case COND_EXPR>: Don't convert
        to type arguments that have void type.

        PR debug/40573
        * dwarf2out.c (gen_formal_parameter_die): Call
        equate_decl_number_to_die if node is different from origin.

2009-06-30  Anthony Green  <green@moxielogic.com>

        Clean up moxie port for --enable-build-with-cxx.
        * config/moxie/moxie.c (moxie_function_value): First two
        parameters are const_tree, not tree.
        * config/moxie/moxie.h (enum reg_class): Rename CC_REG to CC_REGS.
        (REG_CLASS_NAMES): Ditto.
        (REGNO_REG_CLASS): Ditto.
        * config/moxie/moxie-protos.h (moxie_override_options): Declare.
        (moxie_function_value): Fix constyness of arguments.

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

        * cgraphunit.c (cgraph_finalize_compilation_unit): Call
        finalize_size_functions before further processing.
        * stor-layout.c: Include cgraph.h, tree-inline.h and tree-dump.h.
        (variable_size): Call self_referential_size on size expressions
        that contain a PLACEHOLDER_EXPR.
        (size_functions): New static variable.
        (copy_self_referential_tree_r): New static function.
        (self_referential_size): Likewise.
        (finalize_size_functions): New global function.
        * tree.c: Include tree-inline.h.
        (push_without_duplicates): New static function.
        (find_placeholder_in_expr): New global function.
        (substitute_in_expr) <tcc_declaration>: Return the replacement object
        on equality.
        <tcc_expression>: Likewise.
        <tcc_vl_exp>: If the replacement object is a constant, try to inline
        the call in the expression.
        * tree.h (finalize_size_functions): Declare.
        (find_placeholder_in_expr): Likewise.
        (FIND_PLACEHOLDER_IN_EXPR): New macro.
        (substitute_placeholder_in_expr): Update comment.
        * tree-inline.c (remap_decl): Do not unshare trees if do_not_unshare
        is true.
        (copy_tree_body_r): Likewise.
        (copy_tree_body): New static function.
        (maybe_inline_call_in_expr): New global function.
        * tree-inline.h (struct copy_body_data): Add do_not_unshare field.
        (maybe_inline_call_in_expr): Declare.
        * Makefile.in (tree.o): Depend on TREE_INLINE_H.
        (stor-layout.o): Depend on CGRAPH_H, TREE_INLINE_H, TREE_DUMP_H and
        GIMPLE_H.

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

        * tree-ssa-dce.c (mark_all_reaching_defs_necessary_1): Always
        continue walking.
        (propagate_necessity): Do not mark reaching defs of stores
        as necessary.

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

        * cfgloopanal.c (check_irred): Move into ...
        (mark_irreducible_loops): ... here; return true if ireducible
        loops was found.
        * ipa-pure-const.c: Include cfgloop.h and tree-scalar-evolution.h
        (analyze_function): Try to prove loop finiteness.
        * cfgloop.h (mark_irreducible_loops): Update prototype.
        * Makefile.in (ipa-pure-const.o): Add dependency on SCEV and CFGLOOP.

2009-06-30  Basile Starynkevitch  <basile@starynkevitch.net>

        * Makefile.in (PLUGIN_HEADERS): added ggc, tree-dump, pretty-print.

2009-06-30  Ira Rosen  <irar@il.ibm.com>

        PR tree-optimization/40542
        * tree-vect-stmts.c (vect_analyze_stmt): Don't vectorize volatile
        types.

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

        PR tree-optimization/40582
        * tree-sra.c (build_ref_for_offset_1): Use types_compatible_p rather
        than useless_type_conversion_p.
        (generate_subtree_copies): Increment sra_stats.subtree_copies at a
        proper place.

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

        PR middle-end/40554
        * tree-sra.c (sra_modify_expr): Add access->offset to start_offset.

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

        * tree-ssa-alias.c (walk_aliased_vdefs_1): Change interface to
        use ao_ref references.
        (walk_aliased_vdefs): Likewise.
        * tree-ssa-alias.h (walk_aliased_vdefs): Adjust prototype.
        * tree-ssa-dce.c (struct ref_data): Remove.
        (mark_aliased_reaching_defs_necessary_1): Use the ao_ref argument.
        (mark_aliased_reaching_defs_necessary): Adjust.
        (mark_all_reaching_defs_necessary_1): Likewise.

2009-06-30  Paolo Bonzini  <bonzini@gnu.org>

        PR boostrap/40597
        * expmed.c (emit_cstore): New name of emit_store_flag_1.
        (emit_store_flag_1): Extract from emit_store_flag, adjust
        calls to (what now is) emit_cstore.
        (emit_store_flag): Call emit_store_flag_1 and also use it
        for what used to be recursive calls.

2009-06-30  Wei Guozhi  <carrot@google.com>

        PR/40416
        * tree-ssa-sink.c (statement_sink_location): Stop sinking expression
        if the target bb post dominates from bb.
        * config/i386/i386.c (memory_address_length): Check existence of base
        register before using it.

2009-06-30  Nick Clifton  <nickc@redhat.com>
            DJ Delorie  <dj@redhat.com>

        * config.sh/lib1funcs.h (FMOVD_WORKS): Only define if
        __FMOVD_ENABLED__ is defined.
        * config/sh/sh.h
        (TARGET_FMOVD): Provide a default definition.
        (MASK_FMOVD): Likewise.
        (TARGET_CPU_CPP_BUILTINS): Define
        __FMOVD_ENABLED__ if TARGET_FMOVD is true.
        * config/sh/sh.md (movdf_i4): For alternative 0 use either one or
        two fmov instructions depending upon whether TARGET_FMOVD is
        enabled.
        (split for DF load from memory into register): Also handle
        MEMs which consist of REG+DISP addressing.
        (split for DF store from register to memory): Likewise.
        * config/sh/sh.opt (mfmovd): Remove this switch.
        * doc/invoke.texi (-mfmovd): Remove documentation of this switch.
        * config/sh/sh.c (sh_override_options): Do not automatically
        enable TARGET_MOVD for the SH2A when supporting doubles - leave
        that to the -mfmovd command line switch.

        * config/sh/sh.c (broken_move): Do not restrict fldi test to only
        the SH4 and SH4A.
        (fldi_ok): Always allow.
        * config/sh/sh.md (movsf_ie): Always use single fp_mode.

2009-06-29  DJ Delorie  <dj@redhat.com>

        * doc/install.texi (mep-x-elf): Correct chip's full name.

2009-06-29  H.J. Lu  <hongjiu.lu@intel.com>

        * doc/extend.texi: Fix typo.

2009-06-29  Tom Tromey  <tromey@redhat.com>

        * dwarf2.h: Remove.
        * Makefile.in (DWARF2_H): New variable.
        (except.o): Use it.
        (dwarf2out.o): Likewise.
        (dwarf2asm.o): Likewise.
        * config/i386/t-i386: Use DWARF2_H.
        * except.c: Include elf/dwarf2.h.
        * unwind-dw2.c: Include elf/dwarf2.h.
        * dwarf2out.c: Include elf/dwarf2.h.
        (dw_loc_descr_struct) <dw_loc_opc>: Now a bitfield.
        <dtprel>: New field.
        (dwarf_stack_op_name): Don't handle INTERNAL_DW_OP_tls_addr.
        (size_of_loc_descr): Likewise.
        (output_loc_operands_raw): Likewise.
        (output_loc_operands): Handle new dtprel field.
        (loc_checksum): Update.
        (loc_descriptor_from_tree_1) <VAR_DDECL>: Set dtprel field.
        * unwind-dw2-fde-glibc.c: Include elf/dwarf2.h.
        * unwind-dw2-fde.c: Include elf/dwarf2.h.
        * dwarf2asm.c: Include elf/dwarf2.h.
        * unwind-dw2-fde-darwin.c: Include elf/dwarf2.h.
        * config/mmix/mmix.c: Include elf/dwarf2.h.
        * config/rs6000/darwin-fallback.c: Include elf/dwarf2.h.
        * config/xtensa/unwind-dw2-xtensa.c: Include elf/dwarf2.h.
        * config/sh/sh.c: Include elf/dwarf2.h.
        * config/i386/i386.c: Include elf/dwarf2.h.

2009-06-29  DJ Delorie  <dj@redhat.com>

        * config/mep/mep.h (CPP_SPEC): Remove __cop macro.

        * doc/extend.texi: Add MeP attributes and pragmas.
        * doc/invoke.text: Add MeP Options.
        * doc/contrib.texi: Add MeP contribution.
        * doc/md.texi: Add MeP constraints.
        * doc/install.texi: Add MeP target.

2009-06-30  Anatoly Sokolov  <aesok@post.ru>

        * target.h (struct gcc_target): Add frame_pointer_required field.
        * target-def.h (TARGET_FRAME_POINTER_REQUIRED): New.
        (TARGET_INITIALIZER): Use TARGET_FRAME_POINTER_REQUIRED.
        * ira.c (setup_eliminable_regset): Use frame_pointer_required target
        hook.
        * reload1.c (update_eliminables): (Ditto.).
        * gcc/system.h (FRAME_POINTER_REQUIRED): Poison.
        * doc/tm.texi (FRAME_POINTER_REQUIRED): Revise documentation.
        (INITIAL_FRAME_POINTER_OFFSET): (Ditto.).

        * config/arc/arc.h (FRAME_POINTER_REQUIRED): Remove macro.

        * config/arm/arm.h (FRAME_POINTER_REQUIRED): Remove macro.
        * config/arm/arm.c (TARGET_FRAME_POINTER_REQUIRED): Define.
        (arm_frame_pointer_required): New function.

        * config/avr/avr.h (FRAME_POINTER_REQUIRED): Remove macro.
        * config/avr/avr.c (TARGET_FRAME_POINTER_REQUIRED): Define macro.
        (avr_frame_pointer_required_p): Declare as static.
        * config/avr/avr-protos.h (avr_frame_pointer_required_p): Remove.

        * config/bfin/bfin.h (FRAME_POINTER_REQUIRED): Remove macro.
        * config/bfin/bfin.c (TARGET_FRAME_POINTER_REQUIRED): Define.
        (bfin_frame_pointer_required): Make as static, change return type
        to bool.
        * config/bfin/bfin-protos.h (bfin_frame_pointer_required): Remove.

        * config/cris/cris.h (FRAME_POINTER_REQUIRED): Remove macro.
        * config/cris/cris.c (TARGET_FRAME_POINTER_REQUIRED): Define macro.
        (cris_frame_pointer_required): New function.

        * config/crx/crx.h (FRAME_POINTER_REQUIRED): Remove macro.

        * config/fr30/fr30.h (FRAME_POINTER_REQUIRED): Remove macro.
        * config/fr30/fr30.c (TARGET_FRAME_POINTER_REQUIRED): Define macro.
        (fr30_frame_pointer_required): New function.

        * config/frv/frv.h (FRAME_POINTER_REQUIRED): Remove macro.
        * config/frv/frv.c (TARGET_FRAME_POINTER_REQUIRED): Define.
        (frv_frame_pointer_required): Make as static, change return type
        to bool.
        * config/bfin/bfin-protos.h (frv_frame_pointer_required): Remove.

        * config/i386/i386.h (FRAME_POINTER_REQUIRED): Remove macro.
        * config/i386/i386.c (TARGET_FRAME_POINTER_REQUIRED): Define macro.
        (ix86_frame_pointer_required): Make as static, change return type to
        bool.
        * config/i386/i386-protos.h (ix86_frame_pointer_required): Remove.

        * config/m32c/m32c.h (FRAME_POINTER_REQUIRED): Remove macro.
        * config/m32c/m32c.c (TARGET_FRAME_POINTER_REQUIRED): Define macro.

        * config/m32r/m32r.h (FRAME_POINTER_REQUIRED): Remove macro.

        * config/mcore/mcore.h (CAN_ELIMINATE): Remove macro.

        * config/mep/mep.h (FRAME_POINTER_REQUIRED): Remove macro.

        * config/mips/mips.h (FRAME_POINTER_REQUIRED): Remove macro.
        * config/mips/mips.c (TARGET_FRAME_POINTER_REQUIRED): Define macro.
        (mips_frame_pointer_required): Make as static.
        * config/mips/mips-protos.h (mips_frame_pointer_required): Remove.

        * config/mmix/mmix.h (FRAME_POINTER_REQUIRED): Remove macro.
        * config/mmix/mmix.c (TARGET_FRAME_POINTER_REQUIRED): Define macro.
        (mmix_frame_pointer_required): Mew function.

        * config/moxie/moxie.h (FRAME_POINTER_REQUIRED): Remove macro.
        * config/moxie/moxie.c (TARGET_FRAME_POINTER_REQUIRED): Define macro.

        * config/pa/pa.h (FRAME_POINTER_REQUIRED): Remove macro.

        * config/score/score.h (FRAME_POINTER_REQUIRED): Remove macro.

        * config/sh/sh.h (CAN_ELIMINATE): Remove macro.

        * config/sparc/sparc.h (FRAME_POINTER_REQUIRED): Remove macro.
        (CAN_ELIMINATE): Redefine.
        * config/sparc/sparc.c (TARGET_FRAME_POINTER_REQUIRED): Define macro.
        (sparc_frame_pointer_required): New function.
        (sparc_can_eliminate): New function.
        * config/sparc/sparc-protos.h (sparc_can_eliminate): Declare.

        * config/vax/vax.h (FRAME_POINTER_REQUIRED): Remove macro.
        * config/vax/vax.c (TARGET_FRAME_POINTER_REQUIRED): Define.

        * config/xtensa/xtensa.h (FRAME_POINTER_REQUIRED): Remove macro.
        * config/xtensa/xtensa.c (TARGET_FRAME_POINTER_REQUIRED): Define.
        (xtensa_frame_pointer_required): Make as static, change return type
        to bool.
        * config/xtensa/xtensa-protos.h (xtensa_frame_pointer_required):
        Remove.

2009-06-29  Olatunji Ruwase  <tjruwase@google.com>

        * doc/plugins.texi: Document PLUGIN_START_UNIT.
        * toplev.c (compile_file): Call PLUGIN_START_UNIT.
        * gcc-plugin.h (PLUGIN_START_UNIT): Added new event.
        * plugin.c (plugin_event_name): Added PLUGIN_START_UNIT.
        (register_callback): Handle PLUGIN_START_UNIT.
        (invoke_plugin_callbacks): Handle PLUGIN_START_UNIT.

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

        * tree.c (process_call_operands): Propagate TREE_READONLY from the
        operands.
        (PROCESS_ARG): Do not clear TREE_READONLY if CONSTANT_CLASS_P.
        (build3_stat): Propagate TREE_READONLY for COND_EXPR.

2009-06-29  Daniel Jacobowitz  <dan@codesourcery.com>

        * config/arm/arm.h (REGISTER_MOVE_COST): Increase VFP register
        move cost.

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

        * doc/extend.texi (Additional Floating Types): __float128 is also
        supported on i386 targets.

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

        PR middle-end/14187
        * tree-ssa-alias.h (struct pt_solution): Add vars_contains_restrict
        flag.
        (pt_solutions_same_restrict_base): Declare.
        * tree-ssa-structalias.c (struct variable_info): Add is_restrict_var
        flag.
        (new_var_info): Initialize is_global_var properly for SSA_NAMEs.
        (make_constraint_from, make_copy_constraint): Move earlier.
        (make_constraint_from_heapvar): New function.
        (make_constraint_from_restrict): Likewise.
        (handle_lhs_call): Use it.
        (find_func_aliases): Use it to track conversions to restrict
        qualified pointers.
        (struct fieldoff): Add only_restrict_pointers flag.
        (push_fields_onto_fieldstack): Initialize it.
        (create_variable_info_for): Track global restrict qualified pointers.
        (intra_create_variable_infos): Use make_constraint_from_heapvar.
        Track restrict qualified pointer arguments.
        (set_uids_in_ptset): Use varinfo is_global_var flag.
        (find_what_var_points_to): Set the vars_contains_restrict flag.
        Always create the points-to solution for sets including restrict tags.
        (pt_solutions_same_restrict_base): New function.
        * tree-ssa-alias.c (ptr_derefs_may_alias_p): For two restrict
        qualified pointers use pt_solutions_same_restrict_base as
        additional source for disambiguation.

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

        PR middle-end/38212
        * alias.c (find_base_decl): Remove.
        (get_deref_alias_set_1): Remove restrict handling.
        * c-common.c (c_apply_type_quals_to_decl): Do not set
        DECL_POINTER_ALIAS_SET.
        * gimplify.c (find_single_pointer_decl_1): Remove.
        (find_single_pointer_decl): Likewise.
        (internal_get_tmp_var): Remove restrict handling.
        (gimple_regimplify_operands): Likewise.
        * omp-low.c (expand_omp_atomic_pipeline): Do not set
        DECL_POINTER_ALIAS_SET. Use ref-all pointers.
        * print-tree.c (print_node): Do not print DECL_POINTER_ALIAS_SET.
        * tree.c (restrict_base_for_decl): Remove.
        (init_ttree): Do not allocate it.
        (make_node_stat): Do not set DECL_POINTER_ALIAS_SET.  Set
        LABEL_DECL_UID for label decls.