* config/rs6000/darwin.h (ALWAYS_PUSH_CONSTS_USING_REGS_P): Remove.

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

2007-04-27  Mike Stump  <mrs@apple.com>

        * config/rs6000/darwin.h (ALWAYS_PUSH_CONSTS_USING_REGS_P): Remove.

2007-04-27  Ian Lance Taylor  <iant@google.com>

        PR middle-end/31710
        * tree.c (build_distinct_type_copy): If TYPE_MIN_VALUE or
        TYPE_MAX_VALUE exist, convert them to the new type.

2007-04-27  Zdenek Dvorak  <dvorakz@suse.cz>

        * tree-cfgcleanup.c (cleanup_tree_cfg): Verify dominance info
        if it claims to be available.
        * tree-ssa-dce.c (remove_dead_stmt): Mark cfg as altered when
        edge is redirected.
        (perform_tree_ssa_dce): Always free postdominators.

2007-04-27  Richard Henderson  <rth@redhat.com>

        * config/alpha/predicates.md (aligned_memory_operand): Mark
        as define_special_predicate.
        (unaligned_memory_operand, normal_memory_operand): Likewise.
        (reg_or_unaligned_mem_operand): Remove.
        (any_memory_operand): Match the documentation and check for
        non-renumbered pseudos during reload.
        * config/alpha/alpha.c (alpha_secondary_reload): Rename from
        alpha_secondary_reload_class, update to new interface, make static.
        Handle CQImode like HImode.  Remove FP subreg check.
        (alpha_expand_mov): Use replace_equiv_address.
        (alpha_expand_mov_nobwx): Use any_memory_operand.
        (TARGET_SECONDARY_RELOAD): New.
        * config/alpha/alpha.h (SECONDARY_INPUT_RELOAD_CLASS): Remove.
        (SECONDARY_OUTPUT_RELOAD_CLASS): Remove.
        * config/alpha/sync.md (I12MODE, I48MODE, modesuffix): Move ...
        * config/alpha/alpha.md: ... here.
        (RELOAD12, reloadmode): New.
        (movcqi): New.
        (reload_in<RELOAD12>): Macro-ize from reload_inqi, reload_inhi.
        Don't handle the aligned case here.
        (reload_out<RELOAD12>): Macro-ize from reload_outqi, reload_outhi.
        (reload_in<I12MODE>_aligned): Macro-ize from reload_inqi_help,
        reload_inhi_help.  Don't expect a scratch register.
        (reload_out<I12MODE>_aligned): Macro-ize from reload_outqi_help,
        reload_outhi_help.
        * config/alpha/alpha-protos.h (alpha_secondary_reload_class): Remove.

2007-04-27  Richard Guenther  <rguenther@suse.de>

        * tree-ssa-forwprop.c (get_prop_dest_stmt): Fix comment typo.

2007-04-27  Richard Guenther  <rguenther@suse.de>

        PR tree-optimization/30965
        PR tree-optimization/30978
        * Makefile.in (tree-ssa-forwprop.o): Depend on $(FLAGS_H).
        * tree-ssa-forwprop.c (forward_propagate_into_cond_1): Remove.
        (find_equivalent_equality_comparison): Likewise.
        (simplify_cond): Likewise.
        (get_prop_source_stmt): New helper.
        (get_prop_dest_stmt): Likewise.
        (can_propagate_from): Likewise.
        (remove_prop_source_from_use): Likewise.
        (combine_cond_expr_cond): Likewise.
        (forward_propagate_comparison): New function.
        (forward_propagate_into_cond): Rewrite to use fold for
        tree combining.
        (tree_ssa_forward_propagate_single_use_vars): Call
        forward_propagate_comparison to propagate comparisons.

2007-04-27  Richard Guenther  <rguenther@suse.de>

        PR tree-optimization/31715
        * tree-ssa-ccp.c (maybe_fold_offset_to_array_ref): Make
        sure to do computation on the offset in an appropriate
        signed type.

2007-04-27  Richard Sandiford  <richard@codesourcery.com>

        * reload.h (elimination_target_reg_p): Declare.
        * reload.c (find_reloads): Don't apply the reg_rtx move
        optimization if the SET_DEST satisfies elimination_target_reg_p.
        * reload1.c (elimination_target_reg_p): New function.
        (gen_reload): In the move/add2 fallback, make sure that op0
        does not overlap the destination register.

2007-04-27  Zdenek Dvorak  <dvorakz@suse.cz>

        * tree-ssa-loop-im.c (determine_invariantness_stmt): Attempt to
        transform only GIMPLE_MODIFY_STMTs.
        * tree-complex.c (expand_complex_operations_1): Ditto.
        (expand_complex_div_wide): Do not create gotos in COND_EXPR branches.
        * tree-ssa-loop-manip.c (build_if_stmt): Removed.
        (tree_transform_and_unroll_loop): Do not create gotos in COND_EXPR
        branches.
        * value-prof.c (tree_divmod_fixed_value, tree_mod_pow2,
        tree_mod_subtract, tree_ic, tree_stringop_fixed_value): Ditto.
        * omp-low.c (expand_parallel_call, expand_omp_for_generic,
        expand_omp_for_static_chunk, expand_omp_for_static_nochunk): Ditto.
        * tree-vectorizer.c (slpeel_make_loop_iterate_ntimes,
        slpeel_add_loop_guard): Ditto.
        * tree-mudflap.c (mf_build_check_statement_for): Ditto.
        * lambda-code.c (perfect_nestify): Ditto.
        * tree-iterator.c (tsi_split_statement_list_before): Fix splitting
        before the first statement.
        * tree-optimize.c (execute_free_datastructures): Fix comments.
        (execute_free_cfg_annotations): Do not call disband_implicit_edges.
        * tree-flow.h (disband_implicit_edges): Declaration removed.
        * tree-cfg.c (make_cond_expr_edges): Remove gotos from COND_EXPR
        branches.
        (cleanup_dead_labels, tree_redirect_edge_and_branch): Handle COND_EXPRs
        without gotos.
        (disband_implicit_edges, has_label_p): Removed.
        (tree_verify_flow_info): Verify that COND_EXPR branches are empty.
        (tree_lv_add_condition_to_bb): Do not create gotos in COND_EXPR
        branches.
        * tree.c (build3_stat): Mark COND_EXPRs used as statements as having
        side effects.
        * tree-pretty-print.c (dump_implicit_edges): Dump implicit edges
        also for COND_EXPRs.
        * cfgexpand.c (label_rtx_for_bb): New function.
        (expand_gimple_cond_expr): Do not expect gotos in COND_EXPR branches.
        Use label_rtx_for_bb to find the labels.
        (expand_gimple_basic_block): Remove RETURN_EXPR at the end of the
        last block.  Detect fallthru edges.

2007-04-26  Ian Lance Taylor  <iant@google.com>

        PR target/28675
        * reload.c (find_reloads_subreg_address): If the address was valid
        in the original mode but not in the new mode, reload the whole
        address.

2007-04-27  Zdenek Dvorak  <dvorakz@suse.cz>

        * tree-cfgcleanup.c (cfgcleanup_altered_bbs): New global variable.
        (remove_fallthru_edge): Use remove_edge_and_dominated_blocks.
        (cleanup_control_expr_graph): Do not invalidate dominance info.
        Record altered blocks.
        (cleanup_control_flow, cleanup_forwarder_blocks): Removed.
        (cleanup_control_flow_bb, split_bbs_on_noreturn_calls,
        cleanup_tree_cfg_bb): New functions.
        (remove_forwarder_block): Do not maintain the worklist of blocks.
        Record altered blocks.
        (cleanup_tree_cfg_1): Iterate over cfgcleanup_altered_bbs,
        not over whole cfg.
        (cleanup_tree_cfg): Do not iterate cleanup_tree_cfg_1.  Only call
        delete_unreachable_blocks if dominators are not available.
        * tree-inline.c (optimize_inline_calls): Free dominance information
        earlier.
        * tree-flow.h (remove_edge_and_dominated_blocks,
        cfgcleanup_altered_bbs): Altered.
        * tree-cfg.c (replace_uses_by, tree_merge_blocks): Record altered
        blocks.
        (get_all_dominated_blocks, remove_edge_and_dominated_blocks): New
        functions.
        (tree_purge_dead_eh_edges): Use remove_edge_and_dominated_blocks,
        do not invalidate dominators.

2007-04-26  Anatoly Sokolov <aesok@post.ru>

        * config/avr/avr.c (avr_mcu_types): Add support for ATmega8HVA and 
        ATmega16HVA devices. Move AT90USB82 device to 'avr5' architecture.
        * config/avr/avr.h (LINK_SPEC, CRT_BINUTILS_SPECS): (Ditto.).
        * config/avr/t-avr (MULTILIB_MATCHES): (Ditto.).

2007-04-26  Steve Ellcey  <sje@cup.hp.com>

        * config/ia64/ia64.md (ip_value):  Fix itanium_class attribute.

2007-04-26  Richard Guenther  <rguenther@suse.de>

        PR tree-optimization/31703
        * tree-ssa-loop-im.c (rewrite_bittest): Make sure to use
        the right type for the target of the bittest.

2007-04-26  Richard Sandiford  <richard@codesourcery.com>

        * config/i386/vx-common.h (RETURN_IN_MEMORY): Use
        ix86_sol10_return_in_memory.

2007-04-26  Richard Sandiford  <richard@codesourcery.com>

        * config/i386/i386.c (ix86_sol10_return_in_memory): Remove unused
        variables.

2007-04-26  Jakub Jelinek  <jakub@redhat.com>

        PR c++/31598
        * tree-inline.c (copy_body_r): Don't touch TREE_TYPE of OMP_CLAUSE.

        PR tree-optimization/30558
        * tree-eh.c (lower_eh_filter): If EH_FILTER_MUST_NOT_THROW
        clear this_state.prev_try.

2007-04-26  Richard Sandiford  <richard@codesourcery.com>
            Mark Mitchell  <mark@codesourcery.com>

        * config/i386/i386-protos.h (ix86_sol10_return_in_memory): Declare.
        * config/i386/i386.c (ix86_sol10_return_in_memory): New function.
        * config/i386/sol2-10.h (RETURN_IN_MEMORY): Use it.

2007-04-26  Richard Sandiford  <richard@codesourcery.com>

        PR driver/31107
        * doc/invoke.texi (%:print-asm-header): Document.
        * gcc.c (asm_options): Use %:print-asm-header() for --target-help
        and -ftarget-help.
        (static_spec_functions): Add print-asm-header.
        (main): Print a banner before the --target-help linker options.
        (print_asm_header_spec_function): New function.

2007-04-25  Kaz Kojima  <kkojima@gcc.gnu.org>

        PR target/31403
        * config/sh/sh.md (movsi_ie): Fix length for TARGET_SH2A.
        (movsf_ie): Likewise.

2007-04-25  Paolo Carlini  <pcarlini@suse.de>

        * doc/extend.texi ([Type Traits]): Adjust per N2255.

2007-04-25  Bob Wilson  <bob.wilson@acm.org>

        * config/xtensa/lib1funcs.asm (__udivsi3, __divsi3): Throw an exception
        for divide-by-zero.
        (__umodsi3, __modsi3): Likewise.

2007-04-25  Dirk Mueller  <dmueller@suse.de>

        * c-typeck.c (build_compound_expr): Annotate warning()
        call with OPT_Wunused_value.
        * tree-ssa.c (warn_uninit): Annotate warning with
        OPT_Wunintialized.
        * c-common.c (handle_sentinel_attribute): Annotate warning
        call with OPT_Wattributes.

2007-04-25  Thiemo Seufer  <ths@mips.com>

        * config/mips/mips.opt (mdmx, mmt, mno-mdmx): New options.
        (mips16): Fix typo.
        * config/mips/mips.h (ASM_SPEC): Pass -mmt/-mno-mt and -mdmx/-mno-mdmx
        on to the assembler.  Improve handling of -mno-mips16.  Add handling
        of -mno-mips3d, -mno-dsp, -mno-dspr2.
        * doc/invoke.texi (MIPS Options): Whitespace cleanup.  Fix wrong use
        of @itemx.  Document -mno-dsp, -mno-dspr2, -mno-paired-single, -mdmx,
        -mno-mdmx, -mno-mips3d, -mmt and -mno-mt.

2007-04-25  Danny Smith  <dannysmith.users.sourceforge.net>

        PR target/31680
        * config/i386/winnt.c (i386_pe_file_end): Strip only
        USER_LABEL_PREFIX when writing export name.

2007-04-25  Richard Sandiford  <richard@codesourcery.com>

        * config.gcc (sh-wrs-vxworks): Don't include dbxelf.h.  Include
        sh/elf.h, vx-common.h and vxworks.h.
        * config/sh/sh.h: Include config/vxworks-dummy.h.
        (SUBTARGET_OVERRIDE_OPTIONS): Define.
        (OVERRIDE_OPTIONS): Use it.
        * config/sh/sh.md (GOTaddr2picreg): Add suport for VxWorks RTPs.
        (vxworks_picreg): New pattern.
        * config/sh/vxworks.h (TARGET_OS_CPP_BUILTINS): Use
        VXWORKS_OS_CPP_BUILTINS.
        (LIB_SPEC, LINK_SPEC, STARTFILE_SPEC, ENDFILE_SPEC): Redefine
        to their VXWORKS_* equivalents.
        (SUBTARGET_OVERRIDE_OPTIONS, SUBTARGET_CPP_SPEC): Define.
        (SUBTARGET_LINK_EMUL_SUFFIX, FUNCTION_PROFILER): Define.
        * config/sh/lib1funcs.asm (NO_FPSCR_VALUES): Define for VxWorks PIC.
        (set_fpscr, ic_invalidate): Add VxWorks PIC sequences.
        * config/sh/t-vxworks (MULTILIB_OPTIONS): Add m4a, -mrtp and
        -mrtp/-fPIC multilibs.
        (MULTILIB_EXCEPTIONS): Generalize globs accordingly.
        (MULTILIB_MATCHES, EXTRA_MULTILIB_PARTS): Define.
        (MULTILIB_OSDIRNAMES): Delete.

2007-04-25  Anatoly Sokolov <aesok@post.ru>

        PR target/18989
        * config/avr/avr.h (ASM_OUTPUT_ALIGN): Redefine.

2007-04-24  Brooks Moses  <brooks.moses@codesourcery.com>

        * real.c (mpfr_from_real): Handle Inf and NaN, and allow the
        rounding mode to be specified by the caller.
        (real_to_mpfr) Likewise.
        * real.h: Update mpfr_from_real, mpfr_to_real prototypes to
        include new arguments.
        * builtins.c: Update mpfr_from_real, mpfr_to_real calls.

2007-04-24  Ian Lance Taylor  <iant@google.com>

        PR tree-optimization/31605
        * tree-vrp.c (set_value_range): Check that min and max are not
        both overflow infinities.
        (set_value_range_to_value): New static function.
        (extract_range_from_binary_expr): Call set_value_range_to_value.
        (extract_range_from_cond_expr): Likewise.
        (extract_range_from_expr): Likewise.
        (extract_range_from_unary_expr): Likewise.  Don't create a range
        which overflows on both sides.
        (vrp_meet): Check for a useless range.
        (vrp_visit_phi_node): If we see a constant which looks like an
        overflow infinity, turn off the TREE_OVERFLOW flag.

2007-04-24  Ian Lance Taylor  <iant@google.com>

        * flow.c (elim_reg_cond): Handle a comparison of a subreg.

2007-04-24  Simon Martin  <simartin@users.sourceforge.net>

        PR diagnostic/25923
        * tree-pass.h (TDF_DIAGNOSTIC): New dump control to specify that a
        diagnostic message is being built.
        * tree-pretty-print.c (dump_generic_node): Only write the
        formatted text into BUFFER's stream if we are not building a
        diagnostic message.
        * toplev.c (default_tree_printer): Pass TDF_DIAGNOSTIC to
        dump_generic_node.
        * Makefile.in (toplev.o): Depend on tree-pass.h.

2007-04-24  Ian Lance Taylor  <iant@google.com>

        PR tree-optimization/31602
        * tree-ssa-loop-ch.c (copy_loop_headers): Set TREE_NO_WARNING for
        conditionals in the copied loop header.
        * tree-cfg.c (fold_cond_expr_cond): Don't issue undefined overflow
        warnings if TREE_NO_WARNING is set.
        * doc/invoke.texi (Warning Options): Clarify that
        -Wstrict-overflow does not warn about loops.

2007-04-24  Janis Johnson  <janis187@us.ibm.com>

        * config/rs6000/rs6000.c (function_arg_advance): For 32-bit ELF ABI,
        expand on the comment about _Decimal128 arguments and check the
        integer result of the modulus operation; for 64-bit ELF ABI, ensure
        that _Decimal128 argument uses even/odd register pair.
        (function_arg): Ditto.

2007-04-24  Hui-May Chang <hm.chang@apple.com>

        * reload1.c (merge_assigned_reloads) : Do not merge a RELOAD_OTHER
        instruction with a RELOAD_FOR_OPERAND_ADDRESS instruction.

2007-04-24  Richard Guenther  <rguenther@suse.de>
            Olga Golovanevsky  <olga@il.ibm.com>

        * fold-const.c (multiple_of_p): Check for bottom 
        to be zero. 

2007-04-24  Richard Henderson  <rth@redhat.com>

        * libgcc2.h (AVOID_FP_TYPE_CONVERSION): Rename from 
        IS_IBM_EXTENDED.  Also define in terms of WIDEST_HARDWARE_FP_SIZE.
        * libgcc2.c (__floatdisf): Avoid double-word arithmetic when
        looking for non-zero bits shifted out.  Avoid a recursive call
        when constructing the scalar.
        (__floatundisf): Likewise.

2007-04-24  Nathan Froyd  <froydnj@codesourcery.com>

        * dwarf2out.c (field_byte_offset): Move the existing logic
        under the control of PCC_BITFIELD_TYPE_MATTERS and just use
        the bit offset of the field if !PCC_BITFIELD_TYPE_MATTERS.

2007-04-24  Andreas Krebbel  <krebbel1@de.ibm.com>

        PR target/31641
        * config/s390/s390.c (s390_expand_setmem): Don't ICE for constant length
        argument of 0 for memset.
        (s390_expand_movmem, s390_expand_setmem, s390_expand_cmpmem): Use
        unsigned shift instead of the signed variant.

2007-04-24  Andreas Krebbel  <krebbel1@de.ibm.com>

        * config/s390/s390.md ("*cmp<mode>_ccs_0_ibm", "*cmp<mode>_ccs_ibm",
        "fix_trunc<BFP:mode><GPR:mode>2_ieee", "fix_truncdfsi2_ibm",
        "floatsidf2_ibm", "floatsisf2", "truncdfsf2_ieee", "truncdfsf2_ibm",
        "*trunctfdf2_ieee", "*trunctfdf2_ibm", "*trunctfsf2_ieee",
        "*trunctfsf2_ibm", "extendsfdf2_ieee", "extendsfdf2_ibm",
        "*extenddftf2_ieee", "*extenddftf2_ibm", "*extendsftf2_ieee",
        "*extendsftf2_ibm", "*add<mode>3", "*add<mode>3_ibm", "*sub<mode>3_ibm",
        "*mul<mode>3", "*mul<mode>3_ibm", "*div<mode>3", "*div<mode>3_ibm",
        "*neg<mode>2_ibm", "*abs<mode>2_ibm"): Insn definitions removed.
        ("fix_trunc<BFP:mode><GPR:mode>2_bfp", "floatsi<mode>2",
        "truncdfsf2", "trunctf<mode>2", "add<mode>3", "sub<mode>3",
        "mul<mode>3", "div<mode>3"): Insn definitions added.
        ("fixuns_trunc<BFP:mode><GPR:mode>2", "fix_trunc<mode>di2",
        "fix_trunc<mode>si2"): gen_fix_trunc<BFP:mode><GPR:mode>2_ieee renamed
        to gen_fix_trunc<BFP:mode><GPR:mode>2_bfp.
        ("fix_truncdfsi2", "floatsitf2", "truncdfsf2", "trunctfdf2",
        "trunctfsf2", "extendsfdf2", "extenddftf2", "extendsftf2", "add<mode>3",
        "sub<mode>3", "mul<mode>3", "div<mode>3"): Expander removed.
        ("fix_trunc<mode>si2", "extend<DSF:mode><BFP:mode>2"): Expander added.
        * config/s390/s390.h (TARGET_IBM_FLOAT, TARGET_IEEE_FLOAT,
        TARGET_FLOAT_FORMAT): Macro definitions removed.
        (FP_REGNO_P): No special case for !TARGET_IEEE_FLOAT anymore.
        * config/s390/s390.c (struct processor_costs, z900_cost, z990_cost,
        z9_109_cost): Remove fields for hexfloat instructions: dxr, ddr and der.
        (s390_rtx_costs): Remove !TARGET_IEEE_FLOAT special branches.
        (s390_gen_rtx_const_DI): Function removed.
        * config/s390/s390-protos.h (s390_gen_rtx_const_DI): Prototype removed.

2007-04-24  Richard Sandiford  <richard@codesourcery.com>

        * optabs.c (set_conv_libfunc): Prefer libgcc2's __ffsMM2 functions
        over an external ffs function.

2007-04-24  Chao-ying Fu  <fu@mips.com>
            Richard Sandiford  <richard@nildram.co.uk>

        * doc/md.texi (madd@var{m}@var{n}4, umadd@var{m}@var{n}4): Document.
        * optabs.h (OTI_smadd_widen, OTI_umadd_widen): New optab_indexes.
        (smadd_widen_optab, umadd_widen_optab): Define.
        * optabs.c (init_optabs): Initialize smadd_widen_optab and
        umadd_widen_optab.
        * genopinit.c (optabs): Fill in smadd_widen_optab and
        umadd_widen_optab.
        * expr.c (expand_expr_real_1): Try to use smadd_widen_optab
        and umadd_widen_optab to implement multiply-add sequences.
        * config/mips/mips.md (*<su>mul_acc_di): Rename to...
        (<u>maddsidi4): ...this.  Extend condition to include
        GENERATE_MADD_MSUB and TARGET_DSPR2.  Change the constraint
        of operand 0 to "ka" and use the three-operand form of madd<u>
        for TARGET_DSPR2.
        * config/mips/mips-dspr2.md (mips_madd, mips_maddu): Convert
        to define_expands.
        * config/mips/constraints.md (ka): New register constraint.

2007-04-24  Jan Hubicka  <j@suse.cz>

        Revert:

        2007-04-23  Jan Hubicka  <jh@suse.cz>
        * function.c (init_function_start): Don't init line number info.
        (expand_function_end): Update.
        (reset_block_changes, record_block_change, finalize_block_changes,
        check_block_change, free_block_changes): Kill.
        * function.h (reset_block_changes, record_block_change,
        finalize_block_changes, check_block_change, free_block_changes): Remove
        prototypes.
        (struct function): Remove ib_boundaries_block.
        * emit-rtl.c (make_insn_raw, make_jump_insn_raw, make_call_insn_raw):
        Use curr_insn_locator to initialize locator.
        (emit_line_note): Remove.
        * cfgexpand.c (expand_gimple_cond_expr): Update.
        (construct_exit_block): Likewise.
        (tree_expand_cfg): Initialize/finalize locators.
        * expr.c (expand_expr_real): Update.
        * cfglayout.c (line_locators_locs, line_locators_lines,
        file_locators_locs, file_locators_files): Remove.
        (set_block_levels): Move to cfgexpand.c.
        (insn_locators_initialize): Remove.
        (pass_insn_locators_initialize): Remove.
        (locations_locators_locs, locations_locators_vals): New static vars.
        (curr_location, last_location, curr_block, last_block, curr_rtl_loc):
        Likewise.
        (insn_locators_alloc, insn_locators_finalize,
        set_curr_insn_source_location, set_curr_insn_block, curr_insn_locator):
        New functions.
        (locator_location): New.
        (locator_line, locator_file): Rewrite.
        * rtl.h (emit_line_note): Kill.
        (insn_locators_alloc, insn_locators_finalize,
        set_curr_insn_source_location, set_curr_insn_block, curr_insn_locator):
        Declare.
        * tree-inline.c (initialize_cfun): Do not initialize
        ib_boundaries_block.
        * passes.c (pass_insn_locators_initialize): Remove.

2007-04-24  Daniel Franke  <franke.daniel@gmail.com>

        * doc/invoke.texi: Removed leading '-' from option index entries.

2007-04-23  Zdenek Dvorak  <dvorakz@suse.cz>

        * tree-phinodes.c (reserve_phi_args_for_new_edge, remove_phi_node):
        Use phi_nodes_ptr.
        (create_phi_node): Use set_phi_nodes.
        * omp-low.c (expand_omp_parallel): Use bb_stmt_list.
        * tree-if-conv.c (process_phi_nodes): Use set_phi_nodes.
        (combine_blocks):  Use bb_stmt_list and set_bb_stmt_list.
        * tree-flow-inline.h (phi_nodes, set_phi_nodes,
        (bsi_start, bsi_last): Use bb_stmt_list.
        (phi_nodes_ptr, bb_stmt_list, set_bb_stmt_list): New functions.
        * cfgexpand.c (expand_gimple_basic_block): Use bb_stmt_list.
        Traverse the statements using tsi iterator.
        * basic-block.h (struct basic_block_def): Fields stmt_list
        and phi_nodes moved to ...
        (struct tree_bb_info): ... new structure.
        * tree-cfg.c (create_bb): Allocate il.tree.  Use set_bb_stmt_list.
        (tree_merge_blocks): Use bb_stmt_list and set_bb_stmt_list.
        (remove_bb): Handle blocks with NULL stmt list.  Clear il.tree field.
        (tree_verify_flow_info): Verify that il.tree is not set for
        entry and exit block.
        (tree_split_block): Use set_bb_stmt_list.

2007-04-23  Mike Stump  <mrs@apple.com>

        * config/i386/i386.c (ix86_tune_features
        [X86_TUNE_DEEP_BRANCH_PREDICTION]: Prefer call over thunks on
        nocona and core2.

2007-04-23  H.J. Lu  <hongjiu.lu@intel.com>

        * config/i386/i386.md (prefix_extra): New attribute.
        (length): Add prefix_extra.

        * onfig/i386/sse.md (sse2_movdqu): Set prefix_data16.
        (sse2_movntv2di): Likewise.
        (sse2_cvtps2dq): Likewise.
        (sse2_cvtpd2pi): Likewise.
        (sse2_cvttpd2pi): Likewise.
        (*sse2_cvtpd2ps): Likewise.
        (*add<mode>3): Likewise.
        (sse2_ssadd<mode>3): Likewise.
        (sse2_usadd<mode>3): Likewise.
        (*sub<mode>3): Likewise.
        (sse2_sssub<mode>3): Likewise.
        (sse2_ussub<mode>3): Likewise.
        (*mulv8hi3): Likewise.
        (*smulv8hi3_highpart): Likewise.
        (*umulv8hi3_highpart): Likewise.
        (sse2_umulv2siv2di3): Likewise.
        (sse2_pmaddwd): Likewise.
        (ashr<mode>3): Likewise.
        (lshr<mode>3): Likewise.
        (ashl<mode>3): Likewise.
        (sse2_ashlti3): Likewise.
        (sse2_lshrti3): Likewise.
        (*umaxv16qi3): Likewise.
        (*smaxv8hi3): Likewise.
        (*uminv16qi3): Likewise.
        (*sminv8hi3): Likewise.
        (sse2_eq<mode>3): Likewise.
        (sse2_gt<mode>3): Likewise.
        (*and<mode>3): Likewise.
        (sse2_nand<mode>3): Likewise.
        (*ior<mode>3): Likewise.
        (*xor<mode>3): Likewise.
        (sse2_packsswb): Likewise.
        (sse2_packssdw): Likewise.
        (sse2_packuswb): Likewise.
        (sse2_punpckhbw): Likewise.
        (sse2_punpcklbw): Likewise.
        (sse2_punpckhwd): Likewise.
        (sse2_punpcklwd): Likewise.
        (sse2_punpckhdq): Likewise.
        (sse2_punpckldq): Likewise.
        (sse2_punpckhqdq): Likewise.
        (sse2_punpcklqdq): Likewise.
        (*sse2_pinsrw): Likewise.
        (*sse2_pextrw): Likewise.
        (sse2_pshufd_1): Likewise.
        (sse2_uavgv16qi3): Likewise.
        (sse2_uavgv8hi3): Likewise.
        (sse2_psadbw): Likewise.
        (sse2_pmovmskb): Likewise.
        (*sse2_maskmovdqu): Likewise.
        (*sse2_maskmovdqu_rex64): Likewise.
        (sse4a_extrqi): Likewise.
        (sse4a_extrq): Likewise.
        (sse3_lddqu): Set prefix_rep.
        (sse3_addsubv4sf3): Likewise.
        (sse3_haddv4sf3): Likewise.
        (sse3_hsubv4sf3): Likewise.
        (sse_cvtss2si): Likewise.
        (sse_cvtss2si_2): Likewise.
        (sse_cvtss2siq): Likewise.
        (sse_cvtss2siq_2): Likewise.
        (sse_cvttss2si): Likewise.
        (sse_cvttss2siq): Likewise.
        (sse2_cvttps2dq): Likewise.
        (sse3_movshdup): Likewise.
        (sse3_movsldup): Likewise.
        (sse2_cvtsd2si): Likewise.
        (sse2_cvtsd2si_2): Likewise.
        (sse2_cvtsd2siq): Likewise.
        (sse2_cvtsd2siq_2): Likewise.
        (sse2_cvttsd2si): Likewise.
        (sse2_cvttsd2siq): Likewise.
        (*sse2_cvtpd2dq): Likewise.
        (*sse2_cvttpd2dq): Likewise.
        (sse2_pshuflw_1): Likewise.
        (sse2_pshufhw_1): Likewise.
        (sse4a_insertqi): Likewise.
        (sse4a_insertq): Likewise.
        (ssse3_phaddwv8hi3): Set prefix_data16 and prefix_extra.
        (ssse3_phadddv4si3): Likewise.
        (ssse3_phaddswv8hi3): Likewise.
        (ssse3_phsubwv8hi3): Likewise.
        (ssse3_phsubdv4si3): Likewise.
        (ssse3_phsubswv8hi3): Likewise.
        (ssse3_pmaddubswv8hi3): Likewise.
        (ssse3_pmulhrswv8hi3): Likewise.
        (ssse3_pshufbv16qi3): Likewise.
        (ssse3_psign<mode>3): Likewise.
        (ssse3_palignrti): Likewise.
        (abs<mode>2): Likewise.
        (ssse3_phaddwv4hi3): Set prefix_extra.
        (ssse3_phadddv2si3): Likewise.
        (ssse3_phaddswv4hi3): Likewise.
        (ssse3_phsubwv4hi3): Likewise.
        (ssse3_phsubdv2si3): Likewise.
        (ssse3_phsubswv4hi3): Likewise.
        (ssse3_pmaddubswv4hi3): Likewise.
        (ssse3_pmulhrswv4hi3): Likewise.
        (ssse3_pshufbv8qi3): Likewise.
        (ssse3_psign<mode>3): Likewise.
        (ssse3_palignrdi): Likewise.
        (abs<mode>2): Likewise.
        (sse2_cvtdq2ps): Set mode to V4SF instead of V2DF.
        (*vec_dupv2df): Set mode to V2DF instead of V4SF.
        (sse2_pmovmskb): Set mode to SI instead of V2DF.

2007-04-23  Nick Clifton  <nickc@redhat.com>

        * params.def: Fix formatting of emacs local variables.

2007-04-23  H.J. Lu  <hongjiu.lu@intel.com>

        * config/i386/sse.md (sse2_stored): Don't split to inter-unit
        move if inter-unit move isn't allowed.
        Don't split moving the first element of V2DI to DI to inter-unit
        move if inter-unit move isn't allowed.

2007-04-23  Richard Guenther  <rguenther@suse.de>

        * tree-ssa-sink.c (execute_sink_code): Calculate CDI_DOMINATORS
        and CDI_POST_DOMINATORS separately.

2007-04-23  Nick Clifton  <nickc@redhat.com>

        * c.opt (Wformat-contains-nul): Add warning attribute.

2007-04-23  Jan Hubicka  <jh@suse.cz>

        * function.c (init_function_start): Don't init line number info.
        (expand_function_end): Update.
        (reset_block_changes, record_block_change, finalize_block_changes,
        check_block_change, free_block_changes): Kill.
        * function.h (reset_block_changes, record_block_change,
        finalize_block_changes, check_block_change, free_block_changes): Remove
        prototypes.
        (struct function): Remove ib_boundaries_block.
        * emit-rtl.c (make_insn_raw, make_jump_insn_raw, make_call_insn_raw):
        Use curr_insn_locator to initialize locator.
        (emit_line_note): Remove.
        * cfgexpand.c (expand_gimple_cond_expr): Update.
        (construct_exit_block): Likewise.
        (tree_expand_cfg): Initialize/finalize locators.
        * expr.c (expand_expr_real): Update.
        * cfglayout.c (line_locators_locs, line_locators_lines,
        file_locators_locs, file_locators_files): Remove.
        (set_block_levels): Move to cfgexpand.c.
        (insn_locators_initialize): Remove.
        (pass_insn_locators_initialize): Remove.
        (locations_locators_locs, locations_locators_vals): New static vars.
        (curr_location, last_location, curr_block, last_block, curr_rtl_loc):
        Likewise.
        (insn_locators_alloc, insn_locators_finalize,
        set_curr_insn_source_location, set_curr_insn_block, curr_insn_locator):
        New functions.
        (locator_location): New.
        (locator_line, locator_file): Rewrite.
        * rtl.h (emit_line_note): Kill.
        (insn_locators_alloc, insn_locators_finalize,
        set_curr_insn_source_location, set_curr_insn_block, curr_insn_locator):
        Declare.
        * tree-inline.c (initialize_cfun): Do not initialize
        ib_boundaries_block.
        * passes.c (pass_insn_locators_initialize): Remove.

2007-04-22  Andrew Pinski  <andrew_pinski@playstation.sony.com>

        PR middle-end/31448
        * expr.c (reduce_to_bit_field_precision): Handle
        CONST_INT rtx's.

2007-04-22  Uros Bizjak  <ubizjak@gmail.com>

        PR tree-optimization/24659
        * optabs.h (enum optab_index) [OTI_vec_unpacks_hi,
        OTI_vec_unpacks_lo]: Update comment to mention floating point operands.
        (vec_pack_trunc_optab): Rename from vec_pack_mod_optab.
        * genopinit.c (optabs): Rename vec_pack_mod_optab
        to vec_pack_trunc_optab.
        * tree-vect-transform.c (vectorizable_type_demotion): Do not fail
        early for scalar floating point operands for NOP_EXPR.
        (vectorizable_type_promotion): Ditto.
        * optabs.c (optab_for_tree_code) [VEC_PACK_TRUNC_EXPR]: Return
        vec_pack_trunc_optab.
        (expand_binop): Rename vec_float_trunc_optab to vec_pack_mod_optab.

        * tree.def (VEC_PACK_TRUNC_EXPR): Rename from VEC_PACK_MOD_EXPR.
        * tree-pretty-print.c (dump_generic_node) [VEC_PACK_TRUNC_EXPR]:
        Rename from VEC_PACK_MOD_EXPR.
        (op_prio) [VEC_PACK_TRUNC_EXPR]: Ditto.
        * expr.c (expand_expr_real_1): Ditto.
        * tree-inline.c (estimate_num_insns_1): Ditto.
        * tree-vect-generic.c (expand_vector_operations_1): Ditto.

        * config/i386/sse.md (vec_unpacks_hi_v4sf): New expander.
        (vec_unpacks_lo_v4sf): Ditto.
        (vec_pack_trunc_v2df): Ditto.
        (vec_pack_trunc_v8hi): Rename from vec_pack_mod_v8hi.
        (vec_pack_trunc_v4si): Rename from vec_pack_mod_v4si.
        (vec_pack_trunc_v2di): Rename from vec_pack_mod_v2di.

        * config/rs6000/altivec.md (vec_pack_trunc_v8hi): Rename from
        vec_pack_mod_v8hi.
        (vec_pack_trunc_v4si): Rename from vec_pack_mod_v4si.

        * doc/c-tree.texi (Expression trees) [VEC_PACK_TRUNC_EXPR]:
        Rename from VEC_PACK_MOD_EXPR.  This expression also represent
        packing of floating point operands.
        [VEC_UNPACK_HI_EXPR, VEC_UNPACK_LO_EXPR]: These expression also
        represent unpacking of floating point operands.
        * doc/md.texi (Standard Names) [vec_pack_trunc]: Update documentation.
        [vec_unpacks_hi]: Ditto.
        [vec_unpacks_lo]: Ditto.

2007-04-22  Jan Hubicka  <jh@suse.cz>

        * final.c (rest_of_handle_final): Call
        targetm.asm_out.constructor/targetm.asm_out.destructor
        * cgraphunit.c (cgraph_build_static_cdtor): Don't do it here; set
        proper priority via decl_*_priority_insert.
        * c-common.c (c_expand_body): Likewise.

2007-04-22  Richard Guenther  <rguenther@suse.de>

        PR tree-optimization/29789
        * tree-ssa-loop-im.c (stmt_cost): Adjust cost of shifts.
        (rewrite_reciprocal): New helper split out from
        determine_invariantness_stmt.
        (rewrite_bittest): Likewise.
        (determine_invariantness_stmt): Rewrite (A >> B) & 1 to
        A & (1 << B) if (1 << B) is loop invariant but (A >> B)
        is not.

2007-04-22  Revital Eres  <eres@il.ibm.com>

        * loop-unroll.c (var_to_expand): New field to support also
        insns of the form x = something + x.
        (analyze_insn_to_expand_var): Use it.
        (expand_var_during_unrolling): Likewise.

2007-04-21  Zdenek Dvorak  <dvorakz@suse.cz>

        * predict.c: Include pointer-set.h.
        (bb_predictions): New variable.
        (tree_predicted_by_p, tree_predict_edge,
        remove_predictions_associated_with_edge): Use bb_predictions map
        instead of bb->predictions.
        (clear_bb_predictions, assert_is_empty): New functions.
        (combine_predictions_for_bb): Use bb_predictions map.  Call
        clear_bb_predictions.
        (tree_estimate_probability): Create and free bb_predictions map.
        * Makefile.in (predict.o): Add pointer-set.h dependency.
        * basic-block.h (struct basic_block_def): Remove predictions
        field.
        * cfgrtl.c (rtl_verify_flow_info_1): Do not check bb->predictions.

2007-04-21  Kaz Kojima  <kkojima@gcc.gnu.org>

        PR target/31480
        * config/sh/sh.md (length): Check if prev_nonnote_insn (insn)
        is null.

2007-04-21  Andrew Pinski  <andrew_pinski@playstation.sony.com>

        * timevar.c (timevar_print): Change reference of --disable-checking to
        --enable-checking=release.  Also warn if assert checking is disabled.

2007-04-21  Andrew Pinski  <andrew_pinski@playstation.sony.com>

        PR C/30265
        * c-gimplifier.c (gimplify_compound_literal_expr): Mark the
        decl as addressable if the compound literal was marked as
        addressable.
        Mark the decl as a gimple register if it is a complex or
        vector decl and does not live in memory.

2007-04-21  Andrew Pinski  <andrew_pinski@playstation.sony.com>

        * tree.h (GIMPLE_TUPLE_P): Also true for PHI_NODEs.
        (GENERIC_NEXT): New function macro.
        (PHI_CHAIN): Use phi_node's new chain variable.
        (tree_phi_node): Change tree_common to tree_base
        and add the chain field.
        * tree-phinodes.c (make_phi_node): Don't set
        TREE_TYPE on the new node.
        * c-decl.c (lang_tree_node): Use GENERIC_NEXT
        instead of checking GIMPLE_TUPLE_P in chain_next.
        * tree-vect-transform.c
        (get_initial_def_for_induction): Look at
        PHI_RESULT_TREE for the type of the phi node.
        (update_vuses_to_preheader): Use PHI_CHAIN
        instead of TREE_CHAIN on the phi node.
        * tree-ssa-structalias.c (compute_points_to_sets):
        Likewise.
        (ipa_pta_execute): Likewise.

2007-04-21  Richard Guenther  <rguenther@suse.de>

        PR middle-end/31136
        * fold-const.c (fold_unary): Call fold_convert_const on the
        original tree.

2007-04-21  Alexandre Oliva  <aoliva@redhat.com>

        * gcse.c (store_killed_in_insn): Handle PARALLELs.
        (store_killed_in_pat): New.

2007-04-20  Richard Henderson  <rth@redhat.com>

        PR target/31628
        * config/i386/i386.c (type_has_variadic_args_p): Look for any
        TREE_LIST with a void_type_node value, not void_list_node exactly.

2007-04-21  Douglas Gregor  <doug.gregor@gmail.com>

        * doc/standards.texi: Re-arrange into language-specific
        subsections. Add a C++ section, documenting which standards we
        support.

2007-04-21  Zdenek Dvorak  <dvorakz@suse.cz>

        * tree-ssa-structalias.c (delete_points_to_sets): Free graph->complex.
        * tree-ssa-operands.c (finalize_ssa_vuse_ops): Free new_ops.

2007-04-20  Daniel Jacobowitz  <dan@codesourcery.com>

        * config/rs6000/sysv4.h (STARTFILE_DEFAULT_SPEC): Include
        ecrti.o and crtbegin.o.
        (LIB_DEFAULT_SPEC): Include -lc.
        (ENDFILE_DEFAULT_SPEC): Include crtend.o and ecrtn.o.

2007-04-20  Richard Henderson  <rth@redhat.com>

        PR target/28623
        * config/alpha/alpha.c (get_unaligned_address): Remove extra_offset
        argument; update all callers.
        (get_unaligned_offset): New.
        * config/alpha/alpha.md (extendqidi2, extendhidi2): Don't use
        get_unaligned_address, just pass on the address directly.
        (unaligned_extendqidi): Use gen_lowpart instead of open-coding
        the subreg in the helper patterns.
        (unaligned_extendqidi_le): Use get_unaligned_offset.
        (unaligned_extendqidi_be, unaligned_extendhidi_le): Likewise.
        (unaligned_extendhidi_be): Likewise.
        (unaligned_extendhidi): Tidy.
        * config/alpha/alpha-protos.h: Update.

2007-04-20  Richard Henderson  <rth@redhat.com>

        * config/alpha/alpha.h (CPP_SPEC, CPP_SUBTARGET_SPEC): Remove.
        (EXTRA_SPECS, SUBTARGET_EXTRA_SPECS): Remove.
        * config/alpha/linux.h (CPP_SPEC): Undef before redefine.
        * config/alpha/linux-elf.h (EXTRA_SPECS): Rename SUBTARGET_EXTRA_SPECS.
        * config/alpha/freebsd.h (EXTRA_SPECS): Rename SUBTARGET_EXTRA_SPECS.
        (CPP_SPEC): Don't include %(cpp_subtarget).
        * config/alpha/netbsd.h (CPP_SPEC): Rename CPP_SUBTARGET_SPEC.
        (EXTRA_SPECS): Rename SUBTARGET_EXTRA_SPECS.
        * config/alpha/osf.h (CPP_SPEC, EXTRA_SPECS): Similarly.

2007-04-20  Jakub Jelinek  <jakub@redhat.com>

        * config/i386/i386.c (bdesc_2arg): Use ORDERED rather than UNORDERED
        for __builtin_ia32_cmpordss.

        PR tree-optimization/31632
        * fold-const.c (fold_binary): Use op0 and op1 instead of arg0
        and arg1 for optimizations of comparison against min/max values.
        Fold arg0 to arg1's type for optimizations of comparison against
        min+1 and max-1 values.

2007-04-19  Bernd Schmidt  <bernd.schmidt@analog.com>

        * reload.c (combine_reloads): When trying to use a dying register,
        check whether it's uninitialized and don't use if so.

2007-04-19  Brooks Moses  <brooks.moses@codesourcery.com>

        * fold-const.c: Remove prototypes for native_encode_expr and
        native_interpret_expr.
        (native_encode_expr): Make non-static.
        (native_interpret_expr): Likewise.
        * tree.h: Add prototypes for the above.

2007-04-19  Joseph Myers  <joseph@codesourcery.com>

        * config/rs6000/spe.md (*frob_tf_ti, *frob_ti_tf, *frob_ti_tf_2,
        *mov_si<mode>_e500_subreg0, *mov_si<mode>_e500_subreg0_2,
        *mov_sitf_e500_subreg8, *mov_sitf_e500_subreg8_2, spe_extenddftf2,
        spe_fix_trunctfsi2_internal, spe_negtf2_internal, cmptfeq_gpr,
        tsttfeq_gpr, cmptfgt_gpr, tsttfgt_gpr, cmptflt_gpr, tsttflt_gpr):
        Add length attributes.

2007-04-19  Janis Johnson  <janis187@us.ibm.com>

        * ginclude/float.h: Check that __STDC_WANT_DEC_FP__ is defined,
        not that it is 1.

        * c-cppbuiltin.c (c_cpp_builtins): Remove definition of
        __STDC_WANT_DEC_FP__.

2007-04-19  Joseph Myers  <joseph@codesourcery.com>

        * configure.ac: Allow both powerpc*-*-linux* and powerpc*-*-gnu*
        for long double compatibility.
        * configure: Regenerate.

2007-04-19  Eric Botcazou  <ebotcazou@libertysurf.fr>

        PR rtl-optimization/29841
        * cfgbuild.c (control_flow_insn_p): Return TRUE for unconditional
        trap instructions.
        * sched-deps.c (sched_analyze_insn): Prevent all non-jump instructions
        that may cause control flow transfer from being moved.

2007-04-18  Jan Hubicka  <jh@suse.cz>

        * fold-const.c (div_if_zero_remainder): Do signed divide for pointer
        types.

2007-04-18  Eric Christopher  <echristo@apple.com>

        * config/rs6000/darwin.md (load_macho_picbase): Use link register
        only. Update operands.
        * config/rs6000/rs6000.c (rs6000_emit_prologue): Update caller.
        * config/rs6000/rs6000.md (builtin_setjmp_receiver): Ditto. Move from
        link register to pic register.

2007-04-18  Dirk Mueller  <dmueller@suse.de>

        PR diagnostic/31227
        * tree-vrp.c (search_for_addr_array): New.
        (check_array_bounds): Suppress warning about
        address taken of array refs if its not de-referenced.

2007-04-18  Dorit Nuzman  <dorit@il.ibm.com>

        * tree-vectorizer.c (destroy_loop_vec_info): Set loop->aux to NULL.
        * tree-vect-analyze.c (vect_analyze_loop_form): Set loop->aux.

        * tree-vectorizer.h (NITERS_KNOWN_P): New.
        * tree-vect-analyze.c (vect_analyze_loop_form): Call NITERS_KNOWN_P
        instead of LOOP_VINFO_INT_NITERS to avoid having to geneate loop_info.

        * tree-vect-analyze.c (vect_determine_vectorization_factor): Add
        dump print.
        (vect_analyze_operations): Fix indenetation.  Fix a comment.  Fix a
        print message.
        (vect_analyze_scalar_cycles): Fix indentation.
        (vect_enhance_data_refs_alignment): Fix check in case of peeling.
        (vect_mark_relevant): Include phis in relevance analysis.

        * tree-vect-transform.c (vect_transform_loop): Add an assert.

2007-04-18  Anatoly Sokolov <aesok@post.ru>

        * config/avr/avr.c (ptrreg_to_str): Replace error() with
        output_operand_lossage().

2007-04-18  Dorit Nuzman  <dorit@il.ibm.com>

        * tree-vect-transform.c (get_initial_def_for_reduction): Clean away
        the unused code for reduction without adjust-in-epilog to simplify the
        function.

2007-04-18  Wolfgang Gellerich  <gellerich@de.ibm.com>

        * config/s390/s390.h (S390_TDC_POSITIVE_ZERO): New constant.
        (S390_TDC_NEGATIVE_ZERO): New constant.
        (S390_TDC_POSITIVE_NORMALIZED_NUMBER): New constant.
        (S390_TDC_NEGATIVE_NORMALIZED_NUMBER): New constant.
        (S390_TDC_POSITIVE_DENORMALIZED_NUMBER): New constant.
        (S390_TDC_NEGATIVE_DENORMALIZED_NUMBER): New constant.
        (S390_TDC_POSITIVE_INFINITY): New constant.
        (S390_TDC_NEGATIVE_INFINITY): New constant.
        (S390_TDC_POSITIVE_QUIET_NAN): New constant.
        (S390_TDC_NEGATIVE_QUIET_NAN): New constant.
        (S390_TDC_POSITIVE_SIGNALING_NAN): New constant.
        (S390_TDC_NEGATIVE_SIGNALING_NAN): New constant.
        (S390_TDC_INFINITY): New constant.
        * config/s390/s390.c (s390_canonicalize_comparison): Renamed
        UNSPEC_CMPINT to UNSPEC_CCU_TO_INT, added a UNSPEC_CCU_TO_INT-like
        optimization for UNSPEC_CCZ_TO_INT.
        * config/s390/s390.md ("*TDC_insn_<mode>"): New insn.
        ("*ccz_to_int"): New insn.
        ("isinf<mode>2"): New insn.
        (UNSPEC_CMPINT): Renamed to UNSPEC_CCU_TO_INT.
        (UNSPEC_CCU_TO_INT): New constant, replaces UNSPEC_CMPINT.
        (UNSPEC_CCZ_TO_INT): New constant.

2007-04-18  Richard Guenther  <rguenther@suse.de>

        PR tree-optimization/19431
        PR tree-optimization/21463
        * tree-pass.h (pass_phiprop): Declare.
        * passes.c (init_optimization_passes): New phiprop pass.
        * tree-ssa-forwprop.c (struct phiprop_d): New structure.
        (phivn_valid_p): New helper function.
        (phiprop_insert_phi): Likewise.
        (propagate_with_phi): Likewise.
        (tree_ssa_phiprop): New propagator propagating loads
        through phi nodes if profitable.

2007-04-18  Dorit Nuzman  <dorit@il.ibm.com>

        * tree-vect-analyze.c (process_use): New function.
        (vect_mark_stmts_to_be_vectorized): Factor out code to process_use.
        Check phis in all bbs.
        * tree-vectorizer.c (vect_is_simple_use): Remove a no longer relavant
        assert.

2007-04-18  Bernd Schmidt  <bernd.schmidt@analog.com>

        * reload1.c (eliminte_regs_in_insn): Use REG_EQUIV notes the same way
        we use REG_EQUAL.

2007-04-17  Anatoly Sokolov <aesok@post.ru>

        PR target/30483
        * config/avr/avr.c (ptrreg_to_str): Replace gcc_unreachable() with
        error().

2007-04-17  H.J. Lu  <hongjiu.lu@intel.com>

        * config/i386/sse.md (sse_vmaddv4sf3): Use register_operand
        on "0".
        (sse_vmmulv4sf3): Likewise.
        (sse2_vmaddv2df3): Likewise.
        (sse2_vmmulv2df3): Likewise.

2007-04-17  Zdenek Dvorak  <dvorakz@suse.cz>

        PR rtl-optimization/31360
        * cfgloopanal.c (target_small_cost, target_pres_cost): Removed.
        (target_reg_cost): New.
        (init_set_costs): Initialize target_reg_cost.  Add comments
        regarding the rationale of the costs.
        (global_cost_for_size): Renamed to...
        (estimate_reg_pressure_cost): ... and simplify.  Decrease importance
        of register pressure.
        * tree-ssa-loop-ivopts.c (ivopts_global_cost_for_size): Use
        estimate_reg_pressure_cost.  Add number of ivs.
        (determine_set_costs): Dump target_reg_cost.
        * loop-invariant.c (gain_for_invariant):  Use
        estimate_reg_pressure_cost.  Removed n_inv_uses argument.
        (best_gain_for_invariant, find_invariants_to_move): Remove
        n_inv_uses.
        * cfgloop.h (target_small_cost, target_pres_cost): Removed.
        (target_reg_cost): Declare.
        (global_cost_for_size): Declaration removed.
        (estimate_reg_pressure_cost): Declare.

2007-04-17  Peter Bergner  <bergner@vnet.ibm.com>

        * config/rs6000/rs6000.c (rs6000_hard_regno_mode_ok): Force TDmode
        regnos into even/odd register pairs.
        * config/rs6000/rs6000.h [SLOW_UNALIGNED_ACCESS]: Treat DDmode and
        TDmode similar to the other floating point modes.
        [SECONDARY_MEMORY_NEEDED]: Treat DDmode similar to DFmode.
        * config/rs6000/dfp.md (negdd2, absdd2, negtd2, abstd2): New
        define_expand's.
        (negdd2_fpr, absdd2_fpr, nabsdd2_fpr, negtd2_fpr, abstd2_fpr,
        nabstd2_fpr, movdd_hardfloat64_mfpgpr): New define_insn's.
        (movdd_hardfloat64): Use TARGET_MFPGPR.

2007-04-17  Bernd Schmidt  <bernd.schmidt@analog.com>

        * reload1.c (delete_output_reload): Don't count output in n_inherited.

        Revert
        2005-01-05  Richard Henderson  <rth@redhat.com>
        PR rtl-opt/10692
        * reload1.c (do_input_reload): Restrict the optimization deleteing
        a previous output reload to RELOAD_FOR_INPUT.

2007-04-17  Dorit Nuzman  <dorit@il.ibm.com>

        * tree-vectorizer.h (stmt_vec_info_type): Add enum value
        induc_vec_info_type.
        (vectorizable_induction): New function declaration.
        * tree-vect-transform.c (get_initial_def_for_induction): No need to
        check if already vectorized.  Find first place in BB where new stmts
        can be inserted.  Takes only one argument.
        (vectorizable_induction): New function.
        (vect_transform_stmt): Add case for induc_vec_info_type to call
        vectorizable_induction.
        (vect_transform_loop): Consider phis for vectorization.
        * tree-vect-analyze.c (vect_determine_vectorization_factor): Simplify
        condition.
        (analyze_operations): Call vectorizable_induction when analyzing phis.
        Fix comment.
        (vect_mark_stmts_to_be_vectorized): Remove redundant checks.
        (vect_mark_relevant): Include phis in relevance analysis.
        (vect_mark_stmts_to_be_vectorize): Likewise.
        * tree-vect-patterns.c (widened_name_p): Remove obsolete asserts.

2007-04-16  Lawrence Crowl  <crowl@google.com>

        * doc/invoke.texi (Debugging Options): Add documentation for the
        -femit-struct-debug options -femit-struct-debug-baseonly,
        -femit-struct-debug-reduced, and
        -femit-struct-debug-detailed[=...].

        * c-opts.c (c_common_handle_option): Add
        OPT_femit_struct_debug_baseonly, OPT_femit_struct_debug_reduced,
        and OPT_femit_struct_debug_detailed_.
        * c.opt: Add specifications for
        -femit-struct-debug-baseonly, -femit-struct-debug-reduced,
        and -femit-struct-debug-detailed[=...].
        * opts.c (set_struct_debug_option): Parse the
        -femit-struct-debug-... options.
        * opts.c (matches_main_base, main_input_basename,
        main_input_baselength, base_of_path, matches_main_base): Add
        variables and functions to compare header base name to compilation
        unit base name.
        * opts.c (should_emit_struct_debug): Add to determine to emit a
        structure based on the option.
        (dump_struct_debug) Also disabled function to debug this
        function.
        * opts.c (handle_options): Save the base name of the
        compilation unit.

        * langhooks-def.h (LANG_HOOKS_GENERIC_TYPE_P): Define.
        (LANG_HOOKS_FOR_TYPES_INITIALIZER): Add.
        This hook indicates if a type is generic.  Set it by default
        to "never generic".
        * langhooks.h (struct lang_hooks_for_types): Add a new hook
        to determine if a struct type is generic or not.
        * cp/cp-tree.h (class_tmpl_impl_spec_p): Declare a C++ hook.
        * cp/tree.c (class_tmpl_impl_spec_p): Implement the C++ hook.
        * cp/cp-lang.c (LANG_HOOKS_GENERIC_TYPE_P): Override null C hook
        with live C++ hook.

        * flags.h (enum debug_info_usage): Add an enumeration to describe
        a program's use of a structure type.
        * dwarf2out.c (gen_struct_or_union_type_die): Add a new parameter
        to indicate the program's usage of the type.  Filter structs based
        on the -femit-struct-debug-... specification.
        (gen_type_die): Split into two routines, gen_type_die and
        gen_type_die_with_usage.  gen_type_die is now a wrapper
        that assumes direct usage.
        (gen_type_die_with_usage): Replace calls to gen_type_die
        with gen_type_die_with_usage adding the program usage of
        the referenced type.
        (dwarf2out_imported_module_or_decl): Suppress struct debug
        information using should_emit_struct_debug when appropriate.

2007-04-16  Ian Lance Taylor  <iant@google.com>

        PR tree-optimization/31522
        * tree-vrp.c (vr_phi_edge_counts): New static variable.
        (vrp_initialize): Allocate vr_phi_edge_counts.
        (vrp_visit_phi_node): Don't push to infinity if we saw a new
        executable edge.  Drop test for all constants.
        (vrp_finalize): Free vrp_phi_edge_counts.

        * doc/cpp.texi (Common Predefined Macros): Clarify description of
        __GNUC_GNU_INLINE__ and __GNUC_STDC_INLINE__.

        * tree-ssa-propagate.c (cfg_blocks_add): Insert blocks with fewer
        predecessors at head rather than tail.

2007-04-16  Matthias Klose  <doko@debian.org>

        * config/alpha/linux.h (CPP_SPEC): Define.
        * config/arm/linux-gas.h (SUBTARGET_CPP_SPEC): Extend.

2007-04-16  Aldy Hernandez  <aldyh@redhat.com>

        * function.h: Remove sequence_stack extern declaration.

2007-04-16  Kazu Hirata  <kazu@codesourcery.com>

        * config/m68k/m68k.h (LONG_DOUBLE_TYPE_SIZE): Change to 64 on
        TARGET_FIDOA.
        (LIBGCC2_LONG_DOUBLE_TYPE_SIZE): Change to 64 if __mfido__ is
        defined.

2007-04-16  Anatoly Sokolov <aesok@post.ru>

        * config/avr/avr.c (avr_arch_types): Rearranging  array.
        (enum avr_arch): Add.
        (avr_mcu_types): Use avr_arch enumeration constants instead of
        numbers.
        * config/avr/avr.h (LINK_SPEC): Simplify.

2007-04-16  Kazu Hirata  <kazu@codesourcery.com>

        * config/m68k/m68k.c (m68k_libcall_value,
        m68k_function_value): Use macros for register names more.

        * config/m68k/m68k.h (FRAME_POINTER_REGNUM): Use A6_REG
        instead.
        (M68K_REGNAME): Use A6_REG.
        * config/m68k/m68k.md (FP_REG): Rename to A6_REG.

2007-04-16  Maxim Kuvyrkov  <mkuvyrkov@ispras.ru>

        PR middle-end/28071
        * sched-int.h (struct deps): Split field 'pending_lists_length' into
        'pending_read_list_length' and 'pending_write_list_length'.  Update
        comment.
        * sched-deps.c (add_insn_mem_dependence): Change signature.  Update
        to handle two length counters instead of one.  Update all uses.
        (flush_pending_lists, sched_analyze_1, init_deps): Update to handle
        two length counters instead of one.
        * sched-rgn.c (propagate_deps): Update to handle two length counters
        instead of one.

2007-04-16  H.J. Lu  <hongjiu.lu@intel.com>

        PR target/31582
        * config/i386/i386.c (ix86_expand_vec_set_builtin): Make a
        copy of source, pass it to ix86_expand_vector_set and return
        it as target.

2007-04-16  David Ung  <davidu@mips.com>
            Joseph Myers  <joseph@codesourcery.com>

        * config/mips/mips.h (PROCESSOR_74KC, PROCESSOR_74KF,
        PROCESSOR_74KX, TUNE_74K, GENERATE_MADD_MSUB): Define.
        * config/mips/mips.c (mips_cpu_info_table, mips_rtx_cost_data):
        Add 74K processor information.
        * config/mips/mips.md: Include 74k.md.
        (cpu): Add 74kc,74kf,74kx.
        (ISA_HAS_MADD_MSUB): Change to GENERATE_MADD_MSUB throughout.
        * config/mips/74k.md: New.
        * doc/invoke.texi (MIPS Options): Document 74K support.

2007-04-16  Dorit Nuzman  <dorit@il.ibm.com>

        * tree-vect-analyze.c (vect_analyze_operations): Reorganize calls to
        vectorizable_* functions.
        * tree-vect-transform.c (vectorizable_call): Add check for
        STMT_VINFO_RELEVANT_P, STMT_VINFO_DEF_TYPE and STMT_VINFO_LIVE_P.
        (vectorizable_store): likewise.
        (vectorizable_conversion): Add check for STMT_VINFO_DEF_TYPE.
        Add comments.
        (vectorizable_operation, vectorizable_type_demotion): Likewise.
        (vectorizable_type_promotion, vectorizable_load): Likewise.
        (vectorizable_live_operation, vectorizable_condition): Likewise.
        (vectorizable_assignment): Add check for STMT_VINFO_DEF_TYPE and
        STMT_VINFO_LIVE_P.
        (vect_transform_stmt): Reorganize calls to vectorizable_* functions.

2007-04-15  Kazu Hirata  <kazu@codesourcery.com>

        * config/m68k/linux.h (FUNCTION_VALUE_REGNO_P): Use macros for
        register numbers more.
        * config/m68k/m68k.h (STACK_POINTER_REGNUM,
        FRAME_POINTER_REGNUM, STATIC_CHAIN_REGNUM,
        M68K_STRUCT_VALUE_REGNUM, FUNCTION_VALUE, LIBCALL_VALUE,
        FUNCTION_VALUE_REGNO_P): Likewise.
        * config/m68k/m68kelf.h (M68K_STRUCT_VALUE_REGNUM,
        STATIC_CHAIN_REGNUM): Likewise.
        * config/m68k/m68kemb.h (FUNCTION_VALUE_REGNO_P): Likewise.
        * config/m68k/netbsd-elf.h (M68K_STRUCT_VALUE_REGNUM,
        STATIC_CHAIN_REGNUM, FUNCTION_VALUE_REGNO_P): Likewise.
        * config/m68k/m68k.md (FP_REG): New.

2007-04-15  Kazu Hirata  <kazu@codesourcery.com>

        * config/m68k/m68k.h (PREFERRED_STACK_BOUNDARY): Prefer 32-bit
        alignment on fido.

2007-04-15  Kazu Hirata  <kazu@codesourcery.com>

        * config/i386/i386.c, config/s390/s390.c, config/s390/s390.md,
        tree-ssa-loop-niter.c, tree-ssa-structalias.c, tree-vrp.c: Fix
        comment typos.

2007-04-11  Zdenek Dvorak  <dvorakz@suse.cz>

        * tree-ssa-loop-prefetch.c (loop_prefetch_arrays): Ignore
        cold loops.

2007-04-14  Andrew Pinski  <andrew_pinski@playstation.sony.com>

        PR c/31520
        * c-decl.c (finish_decl): Grab the type of the decl after the call
        to store_init_value.

2007-04-14  Steven Bosscher  <steven@gcc.gnu.org>

        * common.opt (fforward-propagate): Fix "Optimization" annotation.

2007-04-14  Jakub Jelinek  <jakub@redhat.com>

        PR c++/25874
        * omp-low.c (expand_omp_parallel): If child_cfun->cfg, free dominators,
        post dominators and cleanup cfg before returning.

2007-04-14  Bernd Schmidt  <bernd.schmidt@analog.com>

        * config/bfin/bfin.h (MODES_TIEABLE_P): Allow more modes to be tied.
        * config/bfin/bfin.md (movsi_insn): Delete two unused alternatives.

2007-04-14  Kazu Hirata  <kazu@codesourcery.com>

        * config.gcc: Recognize fido.
        * config/m68k/m68k-devices.def (fidoa): New.
        * config/m68k/m68k.h (TARGET_CPU_CPP_BUILTINS): Define
        __mfido__.
        (FL_FIDOA, TARGET_FIDOA): New.
        * config/m68k/m68k.opt (mfidoa): New.

2007-04-13  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>

        PR middle-end/31322
        * dwarf2out.c (output_call_frame_info): Call assemble_external_libcall
        when a personality function is used.

2007-04-13  Bob Wilson  <bob.wilson@acm.org>

        * config/xtensa/xtensa.c (xtensa_expand_builtin): Use CALL_EXPR_FN.

2007-04-13  Mike Stump  <mrs@apple.com>

        * config/darwin-c.c (handle_c_option): Handle -fapple-kext here so
        we can...
        * config/darwin.opt (fapple-kext): Make C++ only.
        * config/darwin.c (darwin_override_options): Remove code to ensure
        -fapple-kext is given for C++ only.

2007-04-13  Richard Sandiford  <richard@codesourcery.com>

        * config/mips/vxworks.h (SUBTARGET_OVERRIDE_OPTIONS): Define.
        * config/mips/mips.c (override_options): Call
        SUBTARGET_OVERRIDE_OPTIONS, if defined.

2007-04-13  H.J. Lu  <hongjiu.lu@intel.com>

        * config/i386/i386.opt (msvr3-shlib): Removed.

        * doc/invoke.texi: Remove -msvr3-shlib.

2007-04-13  H.J. Lu  <hongjiu.lu@intel.com>

        * config/i386/i386.opt (mpopcnt): Replace "popcount" instruction
        with "popcnt" instruction.

2007-04-13  Richard Guenther  <rguenther@suse.de>

        PR tree-optimization/21258
        * tree-vrp.c (compare_case_labels): New helper.
        (find_switch_asserts): New function.
        (find_assert_locations): Call it for SWITCH_EXPRs.

2007-04-13  Uros Bizjak  <ubizjak@gmail.com>

        * config/i386/i386.h (X87_FLOAT_MODE_P): Check for TARGET_80387.
        * config/i386/i386.md (*cmpfp0): Remove check for TARGET_80387, this
        check is now implied in X87_FLOAT_MODE_P.
        (*cmpfp_u, *cmpfp_<mode>, *cmpfp_i_i387): Ditto.
        (*cmpfp_iu_387, fix_trunc<mode>_fisttp_i386_1): Ditto.
        (fix_trunc<mode>_i386_fisttp): Ditto.
        (fix_trunc<mode>_i387_fisttp_with_temp): Ditto.
        (*fix_trunc<mode>_i387_1, fix_truncdi_i387): Ditto.
        (fix_truncdi_i387_with_temp, fix_trunc<mode>_i387): Ditto.
        (fix_trunc<mode>_i387_with_temp, *fp_jcc_1_387): Ditto.
        (*fp_jcc_2_387, *fp_jcc_5_387, *fp_jcc_6_387): Ditto.
        (*fp_jcc_7_387, *fp_jcc_8<mode>_387): Ditto.
        (unnamed_splitters): Ditto.
        * config/i386/i386.c (function_value_32): Generate FIRST_FLOAT_REG
        for X87_FLOAT_MODE_P mode.  Override FIRST_FLOAT_REG with
        FIRST_SSE_REG for local functions when SSE math is enabled or
        for functions with sseregparm attribute.
        (standard_80387_constant_p): Return -1 if mode is not
        X87_FLOAT_MODE_P.
        (ix86_cc_mode): Assert that scalar mode is not DECIMAL_FLOAT_MODE_P.
        (ix86_expand_compare): Ditto.
        (ix86_expand_carry_flag_compare): Ditto.
        (ix86_expand_int_movcc): Check for SCALAR_FLOAT_MODE_P instead
        of FLOAT_MODE_P for cmp_mode and assert that cmp_mode is not
        DECIMAL_FLOAT_MODE_P.
        (ix86_preferred_output_reload_class): Use X87_FLOAT_MODE_P instead
        of SCALAR_FLOAT_MODE_P.
        (ix86_rtx_costs) [PLUS] Remove FLOAT_MODE_P and fall through to ...
        [MINUS]: ... here.  Add SSE_FLOAT_MODE_P and X87_FLOAT_MODE_P
        checks before FLOAT_MODE_P.
        [MULT]: Add SSE_FLOAT_MODE_P and X87_FLOAT_MODE_P checks
        before FLOAT_MODE_P.
        [DIV]: Ditto.
        [NEG]: Ditto.
        [ABS]: Ditto.
        [SQRT]: Ditto.
        [FLOAT_EXTEND]: Use SSE_FLOAT_MODE_P.

2007-04-12  Paolo Bonzini  <bonzini@gnu.org>
            Charles Wilson  <libtool@cwilson.fastmail.fm>

        * Makefile.in (stamp-as, stamp-collect-ld, stamp-nm): Remove.
        (libgcc.mvars): Don't depend on them.
        * configure.ac (as, collect-ld, nm): Create from exec-tool.in.
        * exec-tool.in: New.

2007-04-12  Brooks Moses  <brooks.moses@codesourcery.com>

        * doc/invoke.text (--help): Document --help=common.

2007-04-12  Thomas Neumann  <tneumann@users.sourceforge.net>

        * stub-objc.c (objc_build_keyword_decl): Avoid C++ keywords.

2007-04-12  Richard Sandiford  <richard@codesourcery.com>

        * Makefile.in (insn-emit.o): Depend on $(INTEGRATE_H).
        * genemit.c (main): Emit #include "integrate.h".
        * config/mips/mips-protos.h (SYMBOL_HALF): New mips_symbol_type.
        (LOADGP_RTP): New mips_loadgp_style.
        * config/mips/mips.h: Include config/vxworks-dummy.h.
        (TARGET_RTP_PIC): New macro.
        (TARGET_USE_GOT): Return true for TARGET_RTP_PIC.
        (TARGET_USE_PIC_FN_ADDR_REG): Return true for TARGET_VXWORKS_RTP.
        (ASM_OUTPUT_ADDR_DIFF_ELT): Emit function-relative case tables
        for TARGET_RTP_PIC.
        * config/mips/vxworks.h (SUBTARGET_ASM_SPEC): Define.  Pass down
        -mvxworks-pic when using -mrtp and a PIC option.
        * config/mips/mips.c (mips_classify_symbol): Return SYMBOL_GOT_DISP
        for RTP PIC.
        (mips_symbolic_constant_p, mips_symbolic_address_p)
        (mips_symbol_insns): Handle SYMBOL_HALF.
        (override_options): Warn about -G and -mrtp being used together.
        Initialize mips_lo_relocs[SYMBOL_HALF].
        (mips_current_loadgp_style): Return LOADGP_RTP for RTP PIC.
        (mips_emit_loadgp): Handle LOADGP_RTP.
        (mips_in_small_data_p): Return false for TARGET_VXWORKS_RTP.
        * config/mips/mips.md (loadgp_rtp): New insn and splitter.
        (tablejump): Handle function-relative case table entries if
        TARGET_RTP_PIC.
        * config/mips/predicates.md (symbol_ref_operand): New predicate.

2007-04-12  Richard Sandiford  <richard@codesourcery.com>

        * config/mips/mips.md (load_call<mode>): Allow any general register.
        destination.
        (sibcall_value_internal, sibcall_value_multiple_internal)
        (call_value_internal, call_value_split, call_value_multiple_internal)
        (call_value_multiple_split): Remove constraints from operand 0.

2007-04-12  Richard Sandiford  <richard@codesourcery.com>

        * config/mips/mips-protos.h: In comments, refer to loadgp_absolute
        rather than loadgp_noshared.
        * config/mips/mips.c (mips_emit_loadgp): Use gen_loadgp_absolute
        instead of gen_loadgp_noshared.  Use gen_loadgp_newabi instead of
        gen_loadgp.
        * config/mips/mips.md (loadgp): Rename to...
        (loadgp_newabi): ...this.
        (loadgp_noshared): Rename to...
        (loadgp_absolute): ...this.

2007-04-12  Richard Sandiford  <richard@codesourcery.com>

        * config/mips/mips.c (mips_ok_for_lazy_binding_p): Always return
        false for locally-binding symbols.
        (mips_dangerous_for_la25_p): Check mips_global_symbol_p.

2007-04-12  Richard Sandiford  <richard@codesourcery.com>

        * config/mips/mips-protos.h (SYMBOL_GOT_LOCAL): Rename to...
        (SYMBOL_GOT_PAGE_OFST): ...this.
        (SYMBOL_GOT_GLOBAL): Rename to...
        (SYMBOL_GOT_DISP): ...this.
        (SYMBOL_GOTOFF_GLOBAL): Rename to...
        (SYMBOL_GOTOFF_DISP): ...this.  Update comments accordingly.
        * config/mips/mips.c (mips_global_symbol_p): New function.
        (mips_symbol_binds_local_p): Likewise.
        (mips_classify_symbol): Rename SYMBOL_GOT_GLOBAL to SYMBOL_GOT_DISP
        and SYMBOL_GOT_LOCAL to SYMBOL_GOT_PAGE_OFST.  Use mips_global_symbol_p
        and mips_symbol_binds_local_p.
        (mips_symbolic_constant_p, mips_symbolic_address_p, mips_symbol_insns)
        (override_options): Rename SYMBOL_GOT_GLOBAL to SYMBOL_GOT_DISP,
        SYMBOL_GOT_LOCAL to SYMBOL_GOT_PAGE_OFST and SYMBOL_GOTOFF_GLOBAL to
        SYMBOL_GOTOFF_DISP.
        (mips_ok_for_lazy_binding_p): New function.
        (mips_load_call_address, mips_expand_call): Use it.
        (mips_dangerous_for_la25_p): Likewise.
        * config/mips/mips.md (*xgot_hi<mode>, *xgot_lo<mode>)
        (*got_disp<mode>): Use got_disp_operand instead of
        global_got_operand.  Use SYMBOL_GOTOFF_DISP instead of
        SYMBOL_GOTOFF_GLOBAL.
        (*got_page<mode>): Use got_page_ofst_operand instead of
        local_got_operand.
        * config/mips/predicates.md (const_call_insn_operand): Use
        SYMBOL_GOT_DISP instead of SYMBOL_GOT_GLOBAL.
        (global_got_operand): Rename to...
        (got_disp_operand): ...this and use SYMBOL_GOT_DISP instead of
        SYMBOL_GOT_GLOBAL.
        (local_got_operand): Rename to...
        (got_page_ofst_operand): ...this and use SYMBOL_GOT_PAGE_OFST instead
        of SYMBOL_GOT_LOCAL.

2007-04-12  Richard Sandiford  <richard@codesourcery.com>

        * config/mips/mips.h (TARGET_SPLIT_CALLS): Check
        TARGET_CALL_CLOBBERED_GP.
        (TARGET_SIBCALLS): Check TARGET_USE_GOT instead of TARGET_ABICALLS.
        (TARGET_USE_GOT, TARGET_CALL_CLOBBERED_GP): New macros.
        (TARGET_CALL_SAVED_GP, TARGET_USE_PIC_FN_ADDR_REG): Likewise.
        (STARTING_FRAME_OFFSET): Check TARGET_CALL_CLOBBERED_GP instead
        of TARGET_ABICALLS && !TARGET_NEWABI.
        (MIPS_CALL): Check TARGET_USE_GOT instead of TARGET_ABICALLS.
        * config/mips/mips.c (mips_load_call_address): Check
        TARGET_CALL_SAVED_GP instead of TARGET_NEWABI.
        (mips_global_pointer): Check TARGET_USE_GOT instead of TARGET_ABICALLS.
        Check TARGET_CALL_SAVED_GP instead of TARGET_NEWABI.
        (mips_save_reg_p): Check TARGET_CALL_SAVED_GP instead of
        TARGET_ABICALLS && TARGET_NEWABI.
        (mips_current_loadgp_style): Check TARGET_USE_GOT instead of
        TARGET_ABICALLS.
        (mips_expand_prologue): Check TARGET_OLDABI instead of !TARGET_NEWABI.
        (mips_expand_epilogue): Check TARGET_CALL_SAVED_GP instead of
        TARGET_ABICALLS && TARGET_NEWABI.
        (mips_output_mi_thunk): Check TARGET_USE_GOT instead of
        TARGET_ABICALLS.  Check TARGET_CALL_SAVED_GP instead of
        TARGET_NEWABI.  Use TARGET_USE_PIC_FN_ADDR_REG to decide
        whether indirect calls must use $25.
        (mips_extra_live_on_entry): Check TARGET_GOT instead of
        TARGET_ABICALLS.
        * config/mips/mips.md (jal_macro): Check flag_pic and
        TARGET_CALL_CLOBBERED_GP instead of TARGET_ABICALLS and TARGET_NEWABI.
        (builtin_setjmp_setup, builtin_longjmp): Check TARGET_USE_GOT
        instead of TARGET_ABICALLS.
        (exception_receiver): Check TARGET_CALL_CLOBBERED_GP instead of
        TARGET_ABICALLS && TARGET_OLDABI.
        (load_call<mode>): Check TARGET_USE_GOT instead of TARGET_ABICALLS.
        (sibcall): In the comment above the define_insn, mention
        TARGET_USE_PIC_FN_ADDR_REG instead of TARGET_ABICALLS.
        * config/mips/constraints.md (c): Check TARGET_USE_PIC_FN_ADDR_REG
        instead of TARGET_ABICALLS.

2007-04-12  Bernd Schmidt  <bernd.schmidt@analog.com>

        * doc/md.texi (Blackfin family constraints): Document PA and PB.
        * config/bfin/bfin.h (CONST_OK_FOR_P): Handle PA and PB.
        (MACFLAGS_MATCH_P): New macro.
        * config/bfin/bfin.c (print_operand): Handle MACFLAG_IS_M.
        (bfin_secondary_reload): Treat EVEN_AREGS and ODD_AREGS like AREGS.
        * config/bfin/bfin.md (MACFLAG_IS_M): New constant.  Renumber some of
        the other MACFLAG constants.
        (sum_of_accumulators, lshrpdi3, ashrpdi3): New patterns.
        (flag_machi): Tighten constraints.  Renumber some of the operands.
        (flag_machi_acconly): Tighten constraints.  Correct operand numbers in
        output template.
        (flag_machi_parts_acconly): New pattern.
        (flag_macinithi): Tighten constraints.  Allow any accumulator to be
        used.
        (flag_macinit1hi): Tighten constraints.
        (flag_mul_macv2hi_parts_acconly): New pattern.

        * config/bfin/lib1funcs.asm (___umulsi3_highpart, __smulsi3_highpart):
        Use a more efficient implementation.
        * config/bfin/bfin.md (umulsi3_highpart, smulsi3_highpart): Emit
        inline sequences when not optimizing for size.

        * config/bfin/bfin.md (movhi_low2high, movhi_high2high, movhi_low2low,
        movhi_high2low): Delete, merge functionality into...
        (packv2hi): ... this pattern.

        2007-02-11  Jie Zhang  <jie.zhang@analog.com>
        * config/bfin/bfin.opt (msim): New option.
        (mcpu=): New option.
        * config/bfin/bfin-protos.h (enum bfin_cpu): New.
        (bfin_cpu_t): Typedef of enum bfin_cpu.
        (bfin_cpu_type): New declaration.
        * config/bfin/elf.h (STARTFILE_SPEC): Add support for
        -msim and -mcpu= options.
        (LIB_SPEC): Likewise.
        * config/bfin/bfin.c (bfin_cpu_type): Define.
        (bfin_handle_option): Handle -mcpu= option.
        * config/bfin/bfin.h (DEFAULT_CPU_TYPE): Define as BFIN_CPU_BF532.
        (TARGET_CPU_CPP_BUILTINS): Define __ADSPBF531__, __ADSPBF532__,
        __ADSPBF533__ or __ADSPBF537__ according to the cpu type.

2007-04-12  Richard Sandiford  <richard@codesourcery.com>

        * config.gcc (*-*-vxworks*): Don't add to tm_files in this stanza.
        (arm-wrs-vxworks, mips-wrs-vxworks, powerpc-wrs-vxworks)
        (powerpc-wrs-vxworksae): Use ${tm_file}.
        (i[4567]86-wrs-vxworks, i[4567]86-wrs-vxworksae): Add svr4.h
        after elfos.h.  Remove i386/sysv4.h and add i386/vx-common.h.
        * config/i386/vx-common.h: New file.

2007-04-12  Richard Sandiford  <richard@codesourcery.com>

        * config/vxworks.h (VXWORKS_STARTFILE_SPEC): Use -l:crt0.o instead
        of crt0.o%s.

2007-04-12  Andreas Krebbel  <krebbel1@de.ibm.com>

        * config/s390/s390.md ("trunctddd2"): Use TDmode for the target of
        ldxtr.

2007-04-12  Douglas Gregor  <doug.gregor@gmail.com>

        PR c++/31078
        PR c++/31103
        * c-common.c (c_build_qualified_type): Set canonical type
        appropriately.

2007-04-12  Richard Guenther  <rguenther@suse.de>

        * tree-pretty-print.c (dump_generic_node): Print ARRAY_REF
        lower bound and element size if lower bound is not zero
        or either of the ARRAY_REF operands is set.

2007-04-12  Richard Guenther  <rguenther@suse.de>

        PR tree-optimization/24689
        PR tree-optimization/31307
        * fold-const.c (operand_equal_p): Compare INTEGER_CST array
        indices by value.
        * gimplify.c (canonicalize_addr_expr): To be consistent with
        gimplify_compound_lval only set operands two and three of
        ARRAY_REFs if they are not gimple_min_invariant.  This makes
        it never at this place.
        * tree-ssa-ccp.c (maybe_fold_offset_to_array_ref): Likewise.

2007-04-11  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>

        * pa.c (pa_som_asm_init_sections): Ensure that cfun->machine is not
        null before emitting a .nsubspa directive.

2007-04-11  Diego Novillo  <dnovillo@redhat.com>

        * tree-ssa-alias.c (dump_mem_ref_stats): Do not call
        need_to_partition_p if there are no memory statements in the
        function.

2007-04-11  Zdenek Dvorak  <dvorakz@suse.cz>

        * tree-data-ref.c (chrec_steps_divide_constant_p): Removed.
        (gcd_of_steps_may_divide_p): New function.
        (analyze_miv_subscript): Use gcd_of_steps_may_divide_p.

2007-04-11  Bernd Schmidt  <bernd.schmidt@analog.com>

        * reload.c (find_reloads_toplev, find_reloads_address,
        find_reloads_address_1, find_reloads_subreg_address): Use rtx_equal_p,
        not a pointer equality test, to decide if we need to call
        push_reg_equiv_alt_mem.

2007-04-11  Sebastian Pop  <sebastian.pop@inria.fr>

        * tree-data-ref.c (affine_function_zero_p, constant_access_functions,
        insert_innermost_unit_dist_vector, add_distance_for_zero_overlaps): New.
        (build_classic_dist_vector): Call add_distance_for_zero_overlaps.

2007-04-11  Zdenek Dvorak  <dvorakz@suse.cz>

        * tree-data-ref.c (add_multivariate_self_dist): Force the distance
        vector to be positive.

2007-04-11  Diego Novillo  <dnovillo@redhat.com>

        PR 30735
        PR 31090
        * doc/invoke.texi: Document --params max-aliased-vops and
        avg-aliased-vops.
        * tree-ssa-operands.h (get_mpt_for, dump_memory_partitions,
        debug_memory_partitions): Move to tree-flow.h
        * params.h (AVG_ALIASED_VOPS): Define.
        * tree-ssa-alias.c (struct mp_info_def): Remove.  Update all
        users.
        (mp_info_t): Likewise.
        (get_mem_sym_stats_for): New.
        (set_memory_partition): Move from tree-flow-inline.h.
        (mark_non_addressable): Only clear the set of symbols for the
        partition if it exists.
        (dump_memory_partitions): Move from tree-ssa-operands.c
        (debug_memory_partitions): Likewise.
        (need_to_partition_p): New.
        (dump_mem_ref_stats): New.
        (debug_mem_ref_stats): New.
        (dump_mem_sym_stats): New.
        (debug_mem_sym_stats): New.
        (update_mem_sym_stats_from_stmt): New.
        (compare_mp_info_entries): New.
        (mp_info_cmp): Call it.
        (sort_mp_info): Change argument to a list of mem_sym_stats_t
        objects.
        (get_mpt_for): Move from tree-ssa-operands.c.
        (find_partition_for): New.
        (create_partition_for): Remove.
        (estimate_vop_reduction): New.
        (update_reference_counts): New.
        (build_mp_info): New.
        (compute_memory_partitions): Refactor.
        Document new heuristic.
        Call build_mp_info, update_reference_counts,
        find_partition_for and estimate_vop_reduction.
        (compute_may_aliases): Populate virtual operands before
        calling debugging dumps.
        (delete_mem_sym_stats): New.
        (delete_mem_ref_stats): New.
        (init_mem_ref_stats): New.
        (init_alias_info): Call it.
        (maybe_create_global_var): Remove alias_info argument.
        Get number of call sites and number of pure/const call sites
        from gimple_mem_ref_stats().
        (dump_alias_info): Call dump_memory_partitions first.
        (dump_points_to_info_for): Show how many times a pointer has
        been dereferenced.
        * opts.c (decode_options): For -O2 set --param
        max-aliased-vops to 500.
        For -O3 set --param max-aliased-vops to 1000 and --param
        avg-aliased-vops to 3.
        * fortran/options.c (gfc_init_options): Remove assignment to
        MAX_ALIASED_VOPS.
        * tree-flow-inline.h (gimple_mem_ref_stats): New.
        * tree-dfa.c (dump_variable): Dump memory reference
        statistics.
        Dump NO_ALIAS* settings.
        (referenced_var_lookup): Tidy.
        (mem_sym_stats): New.
        * tree-ssa-copy.c (may_propagate_copy): Return true if DEST
        and ORIG are different SSA names for a memory partition.
        * tree-ssa.c (delete_tree_ssa): Call delete_mem_ref_stats.
        * tree-flow.h (struct mem_sym_stats_d): Define.
        (mem_sym_stats_t): Define.
        (struct mem_ref_stats_d): Define.
        (struct gimple_df): Add field mem_ref_stats.
        (enum noalias_state): Define.
        (struct var_ann_d): Add bitfield noalias_state.
        (mem_sym_stats, delete_mem_ref_stats, dump_mem_ref_stats,
        debug_mem_ref_stats, debug_memory_partitions,
        debug_mem_sym_stats): Declare.
        * tree-ssa-structalias.c (update_alias_info): Update call
        sites, pure/const call sites and asm sites in structure
        returned by gimple_mem_ref_stats.
        Remove local variable IS_POTENTIAL_DEREF.
        Increase NUM_DEREFS if the memory expression is a potential
        dereference.
        Call update_mem_sym_stats_from_stmt.
        If the memory references memory, call
        update_mem_sym_stats_from_stmt for all the direct memory
        symbol references found.
        (intra_create_variable_infos): Set noalias_state field for
        pointer arguments according to the value of
        flag_argument_noalias.
        * tree-ssa-structalias.h (struct alias_info): Remove fields
        num_calls_found and num_pure_const_calls_found.
        (update_mem_sym_stats_from_stmt): Declare.
        * params.def (PARAM_MAX_ALIASED_VOPS): Change description.
        Set default value to 100.
        (PARAM_AVG_ALIASED_VOPS): Define.

2007-04-11  Richard Guenther  <rguenther@suse.de>

        PR middle-end/31530
        * simplify-rtx.c (simplify_binary_operation_1): Do not simplify
        a * -b + c as c - a * b if we honor sign dependent rounding.

2007-04-11  Bernd Schmidt  <bernd.schmidt@analog.com>

        * config/bfin/bfin-protos.h (bfin_expand_movmem): Renamed from
        bfin_expand_strmov.
        * config/bfin/bfin.c (bfin_expand_prologue, bfin_delegitimize_address,
        bfin_function_ok_for_sibcall, split_load_immediate): Remove unused
        variables.
        (initialize_trampoline): Don't use old-style function definition.
        (bfin_secondary_reload): Mark IN_P argument as unused.

2007-04-10  Sebastian Pop  <sebastian.pop@inria.fr>

        PR tree-optimization/31343
        * tree-chrec.h (chrec_zerop): Moved before build_polynomial_chrec.
        (build_polynomial_chrec): Return a scalar when the evolution is zero.
        * testsuite/gcc.dg/vect/pr31343.c: New.

2007-04-10  Eric Christopher  <echristo@apple.com>

        * config/i386/i386.h (X87_FLOAT_MODE_P): New.
        * config/i386/i386.md (*cmpfp0): Use.
        (*cmpfp_u, *cmpfp_<mode>, *cmpfp_i_i387): Ditto.
        (*cmpfp_iu_387, fix_trunc<mode>_fisttp_i386_1): Ditto.
        (fix_trunc<mode>_i386_fisttp): Ditto.
        (fix_trunc<mode>_i387_fisttp_with_temp): Ditto.
        (*fix_trunc<mode>_i387_1, fix_truncdi_i387): Ditto.
        (fix_truncdi_i387_with_temp, fix_trunc<mode>_i387): Ditto.
        (fix_trunc<mode>_i387_with_temp, *fp_jcc_1_387): Ditto.
        (*fp_jcc_2_387, *fp_jcc_5_387, *fp_jcc_6_387): Ditto.
        (*fp_jcc_7_387, *fp_jcc_8<mode>_387): Ditto.
        (unnamed_splitters): Ditto.
        * config/i386/i386.c (output_fix_trunc): Assert that
        we're not being passed a TFmode operand.

2007-04-10  Zdenek Dvorak  <dvorakz@suse.cz>

        PR tree-optimization/31526
        * tree-inline.c (copy_cfg_body): Use last_basic_block instead of
        n_basic_blocks to find newly added blocks.

2007-04-10  Uros Bizjak  <ubizjak@gmail.com>

        * config/i386/i386.md (fix_trunc<mode>di_sse): Remove "x" from "xm"
        alternative.
        (fix_trunc<mode>si_sse): Ditto.
        (*floatsisf2_mixed, *floatsisf2_sse): Ditto.
        (*floatsidf2_mixed, *floatsidf2_sse): Ditto.
        (*floatdisf2_mixed, *floatdisf2_sse): Ditto.
        (*floatdidf2_mixed, *floatdidf2_sse): Ditto.
        (floathi<mode>2): Rename from floathisf2 and floathidf2. Macroize
        expander using SSEMODEF mode macro.
        (floatsi<mode>2): Rename from floatsisf2 and floashidf2. Macroize
        expander using SSEMODEF mode macro.
        (*floathi<mode>2_i387): Rename from *floathisf2_i387 and
        *floathidf2_i387. Macroize insn using X87MODEF12 mode macro.
        (*floatsi<mode>2_i387): Rename from *floatsisf2_i387 and
        *floatsidf2_i387. Macroize insn using X87MODEF12 mode macro.
        (*floatdi<mode>2_i387): Rename from *floatdisf2_i387 and
        *floatdidf2_i387. Macroize insn using X87MODEF12 mode macro.
        (float<mode>xf2): Rename from floathixf2, floatsixf2 and floatdixf2.
        Macroize insn using X87MODEF mode macro.

2007-04-09  H.J. Lu  <hongjiu.lu@intel.com>

        * config/i386/sse.md (sse2_pinsrw): Removed.
        (sse2_pextrw): Renamed to ...
        (*sse2_pextrw): This.

2007-04-09  Jan Hubicka  <jh@suse.cz>

        PR target/27869
        * config/i386/sse.md
        (sse_vmaddv4sf3, sse_vmmulv4sf3): Remove '%' modifier.
        (sse_vmsmaxv4sf3_finite, sse_vmsminv4sf3_finite): Remove.
        (sse2_vmaddv2df3, sse2_vmmulv2df3): Remove '%' modifier.
        (sse2_vmsmaxv2df3_finite, sse2_vmsminv2df3_finite): Remove.

2007-04-09  Jan Hubicka  <jh@suse.cz>

        * tree-ssa-ccp (maybe_fold_offset_to_component_ref): Recurse into
        multiple fields of union.

2007-04-09  Zdenek Dvorak  <dvorakz@suse.cz>

        * cfgloopmanip.c (create_preheader): Do not use loop_preheader_edge.
        (create_preheaders): Check that loops are available.
        (fix_loop_structure): Clean up, improve comments.
        * tree-ssa-loop-manip.c (rewrite_into_loop_closed_ssa):
        Check that loops are available.  Set LOOP_CLOSED_SSA to the loops
        state flags.
        * tree-scalar-evolution.c (scev_finalize): Clear scalar_evolution_info.
        * predict.c (tree_estimate_probability): Do not call
        calculate_dominance_info.  Call create_preheaders.
        * tree-cfgcleanup.c (cleanup_tree_cfg_loop): Only call
        rewrite_into_loop_closed_ssa if LOOP_CLOSED_SSA is set in loops state
        flags.
        * cfgloop.c (loop_preheader_edge): Assert that loops have preheaders.
        * cfgloop.h (LOOP_CLOSED_SSA): New constant.
        * tree-cfg.c (tree_split_edge): Make an assert more precise.
        * tree-ssa-threadedge.c (thread_across_edge): Comment the function
        arguments.

2007-04-08  Jan Hubicka  <jh@suse.cz>

        * tree.h (maybe_fold_offset_to_component_ref): Declare.
        * tree-ssa-ccp.c (maybe_fold_offset_to_component_ref): Export.
        * fold-const.c (fold_unary): Use it.

2007-04-08  Andrew Pinski  <andrew_pinski@playstation.sony.com>

        * varasm.c (assemble_variable): Remove call to
        lang_hooks.decls.prepare_assemble_variable.
        * langhooks-def.h (LANG_HOOKS_PREPARE_ASSEMBLE_VARIABLE): Kill.
        (LANG_HOOKS_DECLS): Remove LANG_HOOKS_PREPARE_ASSEMBLE_VARIABLE.
        * langhooks.h (lang_hooks_for_decls): Remove
        prepare_assemble_variable.

2007-04-08  Mike Stump  <mrs@apple.com>

        * config/i386/i386.c: Use inc/dec on Core2.

2007-04-08  Steven Bosscher  <steven@gcc.gnu.org>

        * langhooks.c (lhd_tree_inlining_add_pending_fn_decls,
        lhd_tree_inlining_anon_aggr_type_p, lhd_tree_inlining_start_inlining,
        lhd_tree_inlining_end_inlining): Remove.
        * langhooks.h (struct lang_hooks_for_tree_inlining): Remove then
        add_pending_fn_decls, anon_aggr_type_p, start_inlining, and
        end_inlining hooks.
        * langhooks-def.h (lhd_tree_inlining_add_pending_fn_decls,
        lhd_tree_inlining_anon_aggr_type_p, lhd_tree_inlining_start_inlining,
        lhd_tree_inlining_end_inlining): Remove prototypes.
        (LANG_HOOKS_TREE_INLINING_ADD_PENDING_FN_DECLS,
        LANG_HOOKS_TREE_INLINING_ANON_AGGR_TYPE_P,
        LANG_HOOKS_TREE_INLINING_START_INLINING,
        LANG_HOOKS_TREE_INLINING_END_INLINING): Remove.

        * c-objc-common.h (LANG_HOOKS_TREE_INLINING_ANON_AGGR_TYPE_P): Do
        not set it.

2007-04-08  Anatoly Sokolov <aesok@post.ru>

        PR target/29932
        * config/avr/predicates.md (io_address_operand): Delete predicate.
        (low_io_address_operand): Don't use 'mode' argument.
        (higth_io_address_operand): Rename ...
        (high_io_address_operand): ... to this. Don't use 'mode' argument.
        * config/avr/avr.md (*sbix_branch_tmp, *sbix_branch_tmp_bit7): Adjust
        for above change.

2007-04-07  Daniel Berlin  <dberlin@dberlin.org>

        Revert change removing staticp.

2007-04-07  Anatoly Sokolov <aesok@post.ru>

        PR target/30289
        * config/avr/avr.md (*clrmemqi, *clrmemhi): Mark operand 4 as
        earlyclobber.

2007-04-07  Bruce Korb  <bkorb@gnu.org>

        * c.opt: Add -Wformat-contains-nul.
        * c-format.c (set_Wformat):  Set warn_format_contains_nul to the
          -Wformat setting.
        (check_format_info_main): Check OPT_Wformat_contains_nul before emitting
        the NUL byte warning.

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

        * config/i386/i386.c (ix86_handle_option): Handle SSSE3.

2007-04-06  Daniel Berlin  <dberlin@dberlin.org>

        * tree.c (staticp): No longer use staticp langhook.
        * langhooks.c (lhd_staticp): Removed.
        * langhooks.h (struct lang_hooks): Remove staticp.
        * c-common.c (c_staticp): Remove.
        * c-common.h (c_staticp): Ditto.
        * langhooks-defs.h (lhd_staticp): Ditto.
        (LHD_HOOKS_STATICP): Ditto
        * tree.h (gcc_assert_lowered): New macro.

2007-04-06  Zdenek Dvorak  <dvorakz@suse.cz>

        * tree-ssa-loop-niter.c (idx_infer_loop_bounds): Add and use
        argument "reliable".
        (infer_loop_bounds_from_ref, infer_loop_bounds_from_array):
        Add argument "reliable".  Propagate it through calls.
        (infer_loop_bounds_from_undefined):  Derive number of iterations
        estimates from references in blocks that do not dominate loop latch.
        (gcov_type_to_double_int): New function.
        (estimate_numbers_of_iterations_loop): Use gcov_type_to_double_int
        and expected_loop_iterations_unbounded.
        * cfgloopanal.c (expected_loop_iterations_unbounded): New function.
        (expected_loop_iterations): Use expected_loop_iterations_unbounded.
        * tree-data-ref.c (estimated_loop_iterations): Export.
        (get_references_in_stmt): Fix -- do not return addresses of local
        objects.
        * cfgloop.h (expected_loop_iterations_unbounded,
        estimated_loop_iterations): Declare.

2007-04-06  Andreas Tobler  <a.tobler@schweiz.org>

        * tree-sra.c (sra_build_elt_assignment): Initialize min/maxshift.

2007-04-06  Uros Bizjak  <ubizjak@gmail.com>

        * config/i386/i386.md (extend<mode>xf2): Rename from extendsfxf2
        and extenddfxf2. Macroize expander using X87MODEF12 mode macro.
        (*truncdfsf_mixed, *truncdfsf_i387, *truncdfsf2_i387_1):
        Use output_387_reg_move().
        (*truncxf<mode>2): Rename from *truncxfsf2 and truncxfdf2. Macroize
        expander using X87MODEF12 mode macro.
        (*truncxfsf2_mixed): Combine alternatives, ignore "r" alternative when
        choosing register preferences.  Use output_387_reg_move().
        (*truncxfdf2_mixed): Combine alternatives, use "r" alternative
        instead of "x".  Use output_387_reg_move().
        (*truncxf<mode>2_i387_noop): Rename from *truncxfsf2_i387_noop and
        *truncxfdf2_i387_noop.  Macroize insn using X87MODEF12 mode macro.
        (*truncxf<mode>2_i387): Rename from *truncxfsf2_i387 and
        *truncxfdf2_i387.  Macroize insn using X87MODEF12 mode macro.
        Use output_387_reg_move().
        (*truncxf?f_mixed splitter): Macroize splitter using X87MODEF12
        mode macro.
        (*truncxf?f_i387 splitter): Ditto.

2007-04-06  Daniel Berlin  <dberlin@dberlin.org>

        * langhooks-def.h (LANG_HOOKS_INITIALIZER): Remove
        LANG_HOOKS_SAFE_FROM_P.
        * expr.c (safe_from_p): Remove langhook call.
        * langhooks.h (lang_hooks): Remove safe_from_p.
        (lhd_safe_from_p): Remove prototype.
        * langhooks.c (lhd_safe_from_p): Remove.

2007-04-06  Jan Hubicka  <jh@suse.cz>

        * cgraphunit.c (decide_is_function_needed): Do not keep always_inline
        functions.

2007-04-06  Uros Bizjak  <ubizjak@gmail.com>

        * config/i386/i386.c (output_387_reg_move): Handle memory operand[0].
        * config/i386/i386.md (*movsf_1, *movdf_nointeger,
        *movdf_integer_rex64, *movdf_integer, *movxf_nointeger,
        *movxf_integer): Use output_387_reg_move() for x87 reg->mem
        alternative.
        (*extendsfdf2_mixed, *extendsfdf2_i387, *extendsfxf2_i387,
        *extenddfxf2_i387, *truncdfsf_fast_mixed): Ditto.

2007-04-05  Richard Henderson  <rth@redhat.com>

        * config/alpha/alpha.c (print_operand) [+]: Remove.
        (alpha_end_function): Print nop if call at end of function.
        * config/alpha/alpha.h (PRINT_OPERAND_PUNCT_VALID_P): Remove +.
        * config/alpha/alpha.md (UNSPEC_LDGP1): New.
        (call_osf_1_er_noreturn, call_value_osf_1_er_noreturn): New.
        (call_osf_2_er_nogp, call_value_osf_2_er_nogp): New.
        (call_osf_2_er, call_value_osf_2_er): Merge the ldgp highpart into
        the call pattern. Update peepholes to match.

2007-04-05  Janis Johnson  <janis187@us.ibm.com>

        * doc/extend.texi (Other Builtins): Add decimal float variants
        of signbit.
        * builtins.def: Ditto.
        * builtins.c (expand_builtin): Ditto.

2007-04-05  Uros Bizjak  <ubizjak@gmail.com>
            H.J. Lu  <hongjiu.lu@intel.com>

        PR target/31478
        * config/i386/sse.md (sse2_umulv2siv2di3): Use V4SImode instead
        of V8HImode when calling ix86_binary_operator_ok.
        (sse2_pmaddwd): Call ix86_binary_operator_ok.
        (sdot_prodv8hi): Operands 1 and 2 must be register.

2007-04-05  Alexandre Oliva  <aoliva@redhat.com>

        * tree-sra.c (try_instantiate_multiple_fields): Needlessly
        initialize align to silence bogus warning.

2007-04-05  Alexandre Oliva  <aoliva@redhat.com>

        PR middle-end/22156
        * tree-sra.c (struct sra_elt): Add in_bitfld_block.  Remove
        all_no_warning.
        (struct sra_walk_fns): Remove use_all parameter from use.
        (sra_hash_tree): Handle BIT_FIELD_REFs.
        (sra_elt_hash): Don't hash bitfld blocks.
        (sra_elt_eq): Skip them in parent compares as well.  Handle
        BIT_FIELD_REFs.
        (sra_walk_expr): Don't maintain or pass down use_all_p.
        (scan_use): Remove use_all parameter.
        (scalarize_use): Likewise.  Re-expand assignment to
        BIT_FIELD_REF of gimple_reg.  De-scalarize before input or
        output, and re-scalarize after output.  Don't mark anything
        for no warning.
        (scalarize_ldst): Adjust.
        (scalarize_walk_gimple_modify_statement): Likewise.
        (build_element_name_1): Handle BIT_FIELD_REFs.
        (instantiate_element): Don't warn for any element whose parent
        is used as a whole.
        (instantiate_missing_elements_1): Return the sra_elt.
        (canon_type_for_field): New.
        (try_instantiate_multiple_fields): New.
        (instantiate_missing_elemnts): Use them.
        (mark_no_warning): Removed.
        (generate_one_element_ref): Handle BIT_FIELD_REFs.
        (REPLDUP, sra_build_elt_assignment): New.
        (generate_copy_inout): Use them.
        (generate_element_copy): Likewise.  Handle bitfld differences.
        (generate_element_zero): Don't recurse for blocks.  Use
        sra_build_elt_assignment.
        (generate_one_element_int): Take elt instead of var.  Use
        sra_build_elt_assignment.
        (generate_element_init_1): Adjust.
        (scalarize_use, scalarize_copy): Use REPLDUP.
        (scalarize_ldst): Move assert before dereference.
        (dump_sra_elt_name): Handle BIT_FIELD_REFs.

2007-04-05  Steven Bosscher  <steven@gcc.gnu.org>

        * regmove.c: Fix unused variable warnings due to previous commit.

2007-04-05  Steven Bosscher  <steven@gcc.gnu.org>

        * regmove.c (STACK_GROWS_DOWNWARD): Don't boolean-ize.
        (regmove_bb_head): Remove.
        (copy_src_to_dest): Don't update regmove_bb_head and BB_HEAD.
        (regmove_optimize): Don't do unnecessary CFG fixes for non-existing
        problems with fixup_match_1.
        Don't initialize/free regmove_bb_head.

        (reg_is_remote_constant_p): If an insn is in the same basic block
        but not before INSN, consider it remote, too.

2007-04-05  Anatoly Sokolov <aesok@post.ru>

        PR target/25448
        * config/avr/avr.c (avr_handle_fndecl_attribute): Use the
        DECL_ASSEMBLER_NAME, not the DECL_NAME.

2007-04-05  H.J. Lu  <hongjiu.lu@intel.com>

        * config/i386/i386.h (TARGET_CPU_CPP_BUILTINS): Reformat.
        (CONDITIONAL_REGISTER_USAGE): Likewise.

2007-04-04  Richard Henderson  <rth@redhat.com>

        * config/alpha/lib1funcs.asm: Remove unused file.

2007-04-04  Brooks Moses  <brooks.moses@codesourcery.com>

        PR other/31356
        * opts.c (print_specific_help): Fix --help=<language>
        header line.
        (common_handle_option): Support --help=common.

2007-04-04  Brooks Moses  <brooks.moses@codesourcery.com>

        PR other/31353
        * gcc.c (main): Do not run the linker if
        print_subprocess_help indicates that it shouldn't be
        run.

2007-04-04  Brooks Moses  <brooks.moses@codesourcery.com>

        PR doc/31355
        * doc/invoke.texi (--help=): Document <languages> value, fix
        formatting in tables of values.

2007-04-04  Danny Smith  <dannysmith.users.sourceforge.net>

        * config/i386/winnt-cxx.c (i386_pe_type_dllimport_p): Don't ignore
        dllimport attribute of virtual methods.

2007-04-04  Chen Liqin  <liqin@sunnorth.com.cn>

        * config/score/crti.asm: Change _bss_start to __bss_start.
        * config/score/score.h (CONDITIONAL_REGISTER_USAGE): Added.
        (OUTGOING_REG_PARM_STACK_SPACE) update.
        * config/score/score.opt: add options to make backend support
        score5, score5u, score7 and score7d.
        * config/score/score.md: Likewise.
        * config/score/misc.md: Likewise.
        * config/score/mac.md: Likewise.
        * doc/invoke.texi: Likewise.
        * doc/md.texi: update constraints define.

2007-04-03  Richard Henderson  <rth@redhat.com>

        * expr.c (store_expr): If get_signed_or_unsigned_type doesn't yield
        an appropriate type, use the mode instead.

2007-04-03  Richard Sandiford  <richard@codesourcery.com>

        * config.gcc (mips-wrs-vxworks): Add vx-common.h to tm_file.
        Set the default --with-arch setting to mips2.
        * config/mips/t-vxworks (MULTILIB_OPTIONS, MULTILIB_MATCHES)
        (MULTILIB_EXCEPTIONS): Redefine with new multilibs.
        (MULTILIB_OSDIRNAMES): Delete.
        (MULTILIB_DIRNAMES): Define.
        * config/mips/vxworks.h (LINK_SPEC): Add VXWORKS_LINK_SPEC.
        (LIB_SPEC, STARTFILE_SPEC, ENDFILE_SPEC): Define.
        (TARGET_OS_CPP_BUILTINS): Incorporate old SUBTARGET_CPP_SPEC
        definitions, except for _WRS_R3K_EXC_SUPPORT.  Call
        VXWORKS_OS_CPP_BUILTINS.
        (SUBTARGET_CPP_SPEC): Redefine to VXWORKS_ADDITIONAL_CPP_SPEC.
        (MIPS_DEBUGGING_INFO): Undefine.
        (FUNCTION_PROFILER): Define to VXWORKS_FUNCTION_PROFILER.

2007-04-03  Jakub Jelinek  <jakub@redhat.com>

        PR middle-end/30704
        * fold-const.c (native_encode_real): Encode real.c provided longs
        as a series of 32-bit native integers.
        (native_interpret_real): Interpret buffer as a series of 32-bit
        native integers.

2007-04-03  Richard Guenther  <rguenther@suse.de>

        * genpreds.c (write_insn_constraint_len): Write function
        optimized for CONSTRAINT_LEN implementation.
        (write_tm_preds_h): Output insn_constraint_len inline and
        use it for CONSTRAINT_LEN.
        (write_insn_preds_c): Don't output insn_constraint_len.
        * doc/md.texi (define_register_constraint): Document multi-letter
        constraints shall have the same length if they start with the same
        letter.

2007-04-03  Uros Bizjak  <ubizjak@gmail.com>

        PR target/31175
        * config/i386/i386.md (isinf<mode>2): Expand only when
        TARGET_C99_FUNCTIONS is set.

2007-04-03  Uros Bizjak  <ubizjak@gmail.com>

        * config.gcc (i[34567]86-*-linux*): Add i386/t-crtpc to tm-file.
        (x86_64-*-linux*): Ditto.
        * config/i386/i386.opt (mpc): New option.
        * config/i386/i386.c (overrride_options): Handle
        ix87_precision_string.
        * config/i386/crtprec.c: New file.
        * config/i386/t-crtpc: Ditto.
        * config/i386/linux.h (ENDFILE_SPEC): Add handling of -mpc32, -mpc64
        and -mpc80 options.
        * config/i386/linux64.h (ENDFILE_SPEC): Ditto.
        * config/i386/t-linux64 (EXTRA_MULTILIB_PARTS): Add
        crtprec32.o, crtprec64.o and crtprec80.o.

        * doc/invoke.texi (Machine Dependent Options): Add -mpc32, -mpc64
        and -mpc80 options.
        (i386 and x86-64 Options): Document -mpc32, -mpc64 and -mpc80 options.

2007-04-02  Eric Christopher  <echristo@apple.com>

        * doc/invoke.texi (i386 and x86-64 Options): Document -m64
        limitations on darwin.

2007-04-02  Anatoly Sokolov <aesok@post.ru>

        PR target/31137
        * config/avr/avr.c (avr_rtx_costs): Add missing 'break' statements.

2007-04-02  Dave Korn  <dave.korn@artimi.com>

        * doc/tm.texi (FUNCTION_MODE): Update and extend documentation.

2007-04-02  Dave Korn  <dave.korn@artimi.com>

        * libgcc2.h (exception_descriptor): Don't forward-declare.
        (__get_eh_table_language, __get_eh_table_version): Delete
        prototypes of long-dead functions.

2007-04-01  Daniel Berlin  <dberlin@dberlin.org>

        * ebitmap.h: New file
        * ebitmap.c: New file
        * Makefile.in (ebitmap.o): New target.

2007-04-01  Jan Hubicka  <jh@suse.cz>

        * emit-rtl.c (emit_insn_before_setloc): Do not ICE when asked to emit
        before very first instruction.

2007-04-01  Jan Hubicka  <jh@suse.cz>

        * ggc-page.c (ggc_print_statistics): Fix formatting string to avoid
        waring on 64bit hosts.
        * bitmap.h: Fix typo in bitmap_head_def.

2007-04-01  Steven Bosscher  <steven@gcc.gnu.org>

        PR rtl-optimization/31391
        * cfgcleanup.c (try_optimize_cfg): If a removed label is turned
        into a DELETED_LABEL note, and the label is in an empty basic
        block, update BB_END as well as BB_HEAD.

2007-04-01  Richard Henderson  <rth@redhat.com>

        PR tree-optimization/31169
        * tree-vrp.c (extract_range_from_binary_expr) <RSHIFT_EXPR>: Drop
        to varying if the range is outside [0,  prec-1].

2007-04-01  Richard Sandiford  <richard@codesourcery.com>

        PR target/31388
        * config/mips/mips.md (load_const_gp): New insn.
        * config/mips/mips.c (mips_split_symbol): Avoid using or creating
        the MIPS16 GP pseudo register if no_new_pseudos.
        (mips16_gp_pseudo_reg): Use gen_load_const_gp.

2007-03-31  Andrew Pinski  <andrew_pinski@playstation.sony.com>

        PR target/31364
        * config/rs6000/rs6000.md (call): Convert to LR hard reg for
        secureplt.
        (call_value): Likewise.

2007-03-31  Wolfgang Bangerth  <bangerth@dealii.org>
            Manuel Lopez-Ibanez  <manu@gcc.gnu.org>

        PR 14737
        * doc/invoke.texi: (optimization options): Reword description
        of -ffast-math. Document its primary purpose.

2007-03-31  Richard Guenther  <rguenther@suse.de>

        * omp-low.c (splay-tree.h): Include.
        (lookup_decl): Replace splay-tree usage by pointer-map.
        (maybe_lookup_decl): Likewise.
        (new_omp_context): Likewise.
        (delete_omp_context): Likewise.
        * gimplify.c (splay-tree.h): Include.
        * tree-inline.c (insert_decl_map): Replace splay-tree usage by
        pointer-map.
        (remap_ssa_name): Likewise.
        (remap_decl): Likewise.
        (remap_type_1): Likewise.
        (remap_type): Likewise.
        (copy_body_r): Likewise.
        (expand_call_inline): Likewise.
        (clone_body): Likewise.
        (copy_tree_r): Likewise.
        (remap_save_expr): Likewise.
        (unsave_r): Likewise.
        (unsave_expr_now): Likewise.
        (tree_function_versioning): Likewise.
        (build_duplicate_type): Likewise.
        * tree-inline.h (pointer-set.h): Include instead of splay-tree.h.
        (struct copy_body_data): Replace splay-tree by pointer-map.
        * Makefile.in (TREE_INLINE_H): Depend on pointer-map.h,
        not $(SPLAY_TREE_H).
        (gimplify.o): Depend on $(SPLAY_TREE_H).
        (omp-low.p): Likewise.

2007-03-31  Anatoly Sokolov <aesok@post.ru>

        * config/avr/predicates.md (even_register_operand,
        odd_register_operand): New predicates.
        * config/avr/avr.md (movw peephole2): New.
        (movw_r peephole2): New.

2007-03-30  Rafael Avila de Espindola  <espindola@google.com>

        * tree.h (get_signed_or_unsigned_type): New.
        * fold-const.c (operand_equal_for_comparison_p): Use
        get_signed_or_unsigned_type instead of
        lang_hooks.types.signed_or_unsigned_type.
        * expr.c (store_expr): Ditto.
        * langhooks.c (get_signed_or_unsigned_type): New.
        (lhd_signed_or_unsigned_type): New.
        * langhooks.h (lhd_signed_or_unsigned_type): New.
        * langhooks-def.h (LANG_HOOKS_SIGNED_OR_UNSIGNED_TYPE): Define.

2007-03-30  Richard Henderson  <rth@redhat.com>

        * tree-ssa-loop-ivopts.c: Include target.h.
        (produce_memory_decl_rtl): Pass the rtx through encode_section_info.
        (get_address_cost): Force SYMBOL_FLAG_LOCAL set.
        (force_expr_to_var_cost): Use produce_memory_decl_rtl.
        * Makefile.in (tree-ssa-loop-ivopts.o): Depend on TARGET_H.

2007-03-30  Richard Henderson  <rth@redhat.com>
            Kai Tietz  <kai.tietz@onevision.com>

        * config/i386/cygming.h (DWARF2_DEBUGGING_INFO): Enable by
        default for 64-bit.
        (PREFERRED_DEBUGGING_TYPE): Prefer dwarf2 for 64-bit.
        (TARGET_64BIT_MS_ABI): New.
        (DBX_REGISTER_NUMBER): Handle 64-bit.
        (SIZE_TYPE, PTRDIFF_TYPE): Use long long for 64-bit.
        (LONG_TYPE_SIZE): Force to 32.
        (REG_PARM_STACK_SPACE): New.
        (OUTGOING_REG_PARM_STACK_SPACE): New.
        (REGPARM_MAX, SSE_REGPARM_MAX): New.
        (HANDLE_PRAGMA_PUSH_POP_MACRO): New.
        (STACK_BOUNDARY): Use 128 for 64-bit.
        * config/i386/cygwin.asm: Use push/ret to preserve call stack.
        Add 64-bit implementation.
        * config/i386/gthr-win32.c (__gthr_win32_key_create): Mark dtor
        argument unused.
        * config/i386/i386.c (x86_64_ms_abi_int_parameter_registers): New.
        (override_options): Set ix86_cmodel for TARGET_64BIT_MS_ABI.
        Warn for -mregparm, -mrtd in 64-bit mode; force ix86_regparm
        for 64-bit; use TARGET_SUBTARGET64_DEFAULT.
        (ix86_handle_cconv_attribute): Don't warn when ignoring if
        TARGET_64BIT_MS_ABI.
        (ix86_function_arg_regno_p): Handle TARGET_64BIT_MS_ABI.
        (ix86_pass_by_reference): Likewise.
        (ix86_function_value_regno_p): Likewise.
        (ix86_build_builtin_va_list): Likewise.
        (ix86_va_start, ix86_gimplify_va_arg): Likewise.
        (function_arg_advance_ms_64): New.
        (function_arg_advance): Call it.
        (function_arg_ms_64): New.
        (function_arg): Call it.
        (function_value_ms_64): New.
        (ix86_function_value_1): Call it.
        (return_in_memory_ms_64): New.
        (ix86_return_in_memory): Call it.
        (setup_incoming_varargs_ms_64): New.
        (ix86_setup_incoming_varargs): Call it.
        (ix86_expand_prologue): Handle 64-bit stack probing.
        (legitimize_pic_address): Handle TARGET_64BIT_MS_ABI.
        (output_pic_addr_const): Likewise.
        (x86_this_parameter): Likewise.
        (x86_output_mi_thunk): Likewise.
        (x86_function_profiler): Likewise.
        (TARGET_STRICT_ARGUMENT_NAMING): New.
        * config/i386/i386.h (TARGET_SUBTARGET64_DEFAULT): New.
        (TARGET_64BIT_MS_ABI): New.
        (CONDITIONAL_REGISTER_USAGE): Handle TARGET_64BIT_MS_ABI.
        * config/i386/i386.md (allocate_stack_worker): Remove.
        (allocate_stack_worker_32): Rename from allocate_stack_worker_1;
        describe the clobber of eax without a match_scratch.
        (allocate_stack_worker_postreload): Remove.
        (allocate_stack_worker_64): Rename from allocate_stack_worker_rex64;
        describe the clobbers of rax, r10, r11 properly; use __chkstk symbol.
        (allocate_stack_worker_rex64_postreload): Remove.
        (allocate_stack): Handle 64-bit.
        * config/i386/i386elf (TARGET_SUBTARGET_DEFAULT): Remove.
        * config/i386/mingw32.h (TARGET_VERSION): Set correctly for 64-bit.
        (EXTRA_OS_CPP_BUILTINS): Handle 64-bit.
        (STANDARD_INCLUDE_DIR): Handle TARGET_64BIT_DEFAULT.
        (STANDARD_STARTFILE_PREFIX_1): Likewise.
        * config/i386/unix.h (TARGET_SUBTARGET64_DEFAULT): New.
        * config.build (x86_64-*-mingw*): New host.
        * config.host (x86_64-*-mingw*): New host.
        * config.gcc (x86_64-*-mingw*): New target.
        * gthr-win32.h (__gthread_key_create): Mark dtor unused.

2007-03-30  Richard Henderson  <rth@redhat.com>
            Kai Tietz  <kai.tietz@onevision.com>

        * c-pragma.c (struct def_pragma_macro_value): New.
        (struct def_pragma_macro): New.
        (pushed_macro_table): New.
        (dpm_hash, dpm_eq): New.
        (handle_pragma_push_macro, handle_pragma_pop_macro): New.
        (init_pragma): Install them.
        * doc/tm.texi (HANDLE_PRAGMA_PUSH_POP_MACRO): New.

2007-03-30  Anatoly Sokolov <aesok@post.ru>

        * config/avr/avr.c (avr_override_options): Clear
        'flag_delete_null_pointer_checks'.

2007-03-30  Paolo Carlini  <pcarlini@suse.de>

        PR c++/26099
        * c-common.h (enum rid): Add RID_HAS_NOTHROW_ASSIGN,
        RID_HAS_NOTHROW_CONSTRUCTOR, RID_HAS_NOTHROW_COPY,
        RID_HAS_TRIVIAL_ASSIGN, RID_HAS_TRIVIAL_CONSTRUCTOR,
        RID_HAS_TRIVIAL_COPY, RID_HAS_TRIVIAL_DESTRUCTOR,
        RID_HAS_VIRTUAL_DESTRUCTOR, RID_IS_ABSTRACT, RID_IS_BASE_OF,
        RID_IS_CONVERTIBLE_TO, RID_IS_CLASS, RID_IS_EMPTY, RID_IS_ENUM,
        RID_IS_POD, RID_IS_POLYMORPHIC, RID_IS_UNION, as
        C++ extensions.
        * doc/extend.texi (Extensions to the C++ Language): Add Type Traits.

2007-03-30  Steven Bosscher  <steven@gcc.gnu.org>

        * regmove.c: Move all of pass_stack_adjustments from here...
        * combine-stack-adj.c: ...to this new file.
        * Makefile.in: Add rules for combine-stack-adj.o.

2007-03-30  Zdenek Dvorak  <dvorakz@suse.cz>

        PR tree-optimization/31383
        * tree-data-ref.c (affine_function_equal_p): Do not require the vectors
        to have the same length.

2007-03-30  Jan Hubicka  <jh@suse.cz>

        PR middle-end/30700
        * dwarf2out.c (reference_to_unused): Ask cgraph for functions
        availablility; add more sanity checking; ask varpool only about
        VAR_DECL.

2007-03-29  Richard Henderson  <rth@redhat.com>

        * unwind-generic.h (_sleb128_t, _uleb128_t): Don't use HAVE_LONG_LONG
        to decide, but __SIZEOF_LONG_LONG__.

2007-03-29  Richard Henderson  <rth@redhat.com>

        * emutls.c (struct __emutls_array): New.
        (emutls_destroy): Use it instead of casting element 0 from void*.
        (__emutls_get_address): Likewise.

2007-03-29  Richard Henderson  <rth@redhat.com>

        * varasm.c (initializer_constant_valid_p): Don't deny
        DECL_DLLIMPORT_P on functions.

        * config/i386/cygming.h: Remove function declarations.
        (SUBTARGET_ENCODE_SECTION_INFO): Don't undef first.
        (ASM_OUTPUT_LABELREF): Remove.
        (COMMON_ASM_OP): Remove.
        (ASM_OUTPUT_COMMON): Remove.
        (ASM_OUTPUT_ALIGNED_DECL_COMMON): New.
        (ASM_DECLARE_OBJECT_NAME): Use i386_pe_maybe_record_exported_symbol.
        (ASM_DECLARE_FUNCTION_NAME): Likewise.
        * config/i386/i386-interix.h (SUBTARGET_ENCODE_SECTION_INFO):
        Rename from TARGET_ENCODE_SECTION_INFO.
        * config/i386/netware.h: Likewise.
        * config/i386/i386-protos.h: Update.
        * config/i386/i386.c (ix86_function_ok_for_sibcall): Turn ifdef
        of TARGET_DLLIMPORT_DECL_ATTRIBUTES into straight if.
        (legitimate_constant_p): Reject dllimports.
        (dllimport_map, get_dllimport_decl): New.
        (legitimize_dllimport_symbol): New.
        (legitimize_address, ix86_expand_move): Use it.
        (TARGET_BINDS_LOCAL_P): Redefine for TARGET_DLLIMPORT_DECL_ATTRIBUTES.
        * config/i386/i386.h (DLL_IMPORT_EXPORT_PREFIX): Remove.
        (SYMBOL_FLAG_DLLIMPORT, SYMBOL_REF_DLLIMPORT_P): New.
        (SYMBOL_FLAG_DLLEXPORT, SYMBOL_REF_DLLEXPORT_P): New.
        * config/i386/predicates.md (constant_call_address_operand): Only
        accept symbols; reject dllimport_p symbols.
        * config/i386/uwin.h (ASM_DECLARE_FUNCTION_NAME): Use
        i386_pe_maybe_record_exported_symbol.
        * config/i386/winnt.c (DLL_IMPORT_PREFIX, DLL_EXPORT_PREFIX): Remove.
        (i386_pe_determine_dllexport_p): Rename from i386_pe_dllexport_p.
        (i386_pe_determine_dllimport_p): Rename from i386_pe_dllimport_p;
        trust the setting of DECL_DLLIMPORT_P.
        (i386_pe_dllexport_name_p, i386_pe_dllimport_name_p): Remove.
        (i386_pe_mark_dllexport, i386_pe_mark_dllimport): Remove.
        (gen_stdcall_or_fastcall_suffix): Return NULL if no change required;
        tidy the argument scanning loop.
        (i386_pe_encode_section_info): Set SYMBOL_FLAG_DLLIMPORT and
        SYMBOL_FLAG_DLLEXPORT in SYMBOL_REF_FLAGS.
        (i386_pe_strip_name_encoding): Remove.
        (i386_pe_binds_local_p): New.
        (i386_pe_strip_name_encoding_full): Use default_strip_name_encoding.
        (i386_pe_output_labelref): Remove.
        (i386_pe_asm_output_aligned_decl_common): New.
        (i386_pe_maybe_record_exported_symbol): Rename from
        i386_pe_record_exported_symbol; check for dllexported symbols.

2007-03-29  Zack Weinberg  <zack@mrtock.ucsd.edu>

        * gengtype.c (oprintf): Mostly revert changes from 2007-03-26;
        add comment explaining why vsnprintf cannot be used.

2007-03-29  Douglas Gregor  <doug.gregor@gmail.com>

        PR tree-optimization/30666
        * tree.c (build_complex_type): When creating type names for DWARF2
        debug info, create TYPE_DECLs for TYPE_NAME instead of
        IDENTIFIER_NODEs.
        (build_common_tree_nodes_2): Use build_complex_type when building
        predefined complex types, to preserve canonical types.

2007-03-29  Steven Bosscher  <steven@gcc.gnu.org>

        * ifcvt.c (struct noce_if_info): Add then_else_reversed field.
        (noce_get_alt_condition): Look at it to determine whether to
        reverse the condition or not.
        (noce_get_condition): Substitute the truth for lies.
        (noce_find_if_block): Set the then_else_reversed field.

2007-03-29  Lars Poeschel <larsi@wh2.tu-dresden.de>

        * config/fr30/fr30.md (movdi): Do not accept immediates as the
        destination of this insn.
        * config/fr30/fr30.c (fr30_move_double): Use emit_move_insn rather
        than calling gen_rtx_SET directly.  Use r0 to hold the value of
        'address + 4' rather than a stack based temporary which can be
        mis-optimized away.

2007-03-29  Andreas Krebbel  <krebbel1@de.ibm.com>

        * config/s390/s390.c (s390_secondary_input_reload_class,
        s390_secondary_output_reload_class): Functions removed.
        (s390_secondary_reload): New function.
        (TARGET_SECONDARY_RELOAD): Target macro defined.
        * config/s390/s390.h (SECONDARY_INPUT_RELOAD_CLASS,
        SECONDARY_OUTPUT_RELOAD_CLASS): Macro definitions removed.
        * config/s390/s390.md ("reload_outti", "reload_outdi",
        "reload_indi", "reload_insi", "reload_out<mode>", "reload_in<mode>",
        "reload_out<mode>"): Expanders removed.
        ("reload<mode>_plus", "reload<mode>_nonoffmem_in",
        "reload<mode>_nonoffmem_out"): Expanders added.

2007-03-29  Andreas Krebbel  <krebbel1@de.ibm.com>

        * regmove.c (optimize_reg_copy_1): Don't perform DEST->SRC repair action if
        SRC->DEST replacement failed anyway.

2007-03-28  Mike Stump  <mrs@apple.com>

        * config/darwin9.h (ASM_OUTPUT_ALIGNED_COMMON): Add.
        * config/darwin.h (MAX_OFILE_ALIGNMENT): Fix.
        * config/rs6000/darwin.h (ASM_OUTPUT_ALIGNED_COMMON): Removed #undef.

2007-03-28  Dwarakanath Rajagopal  <dwarak.rajagopal@amd.com>

        * config.gcc: Accept barcelona as a variant of amdfam10.
        * config/i386/i386.c (override_options): Likewise.
        * doc/invoke.texi: Likewise.

2007-03-28  Eric Botcazou  <ebotcazou@adacore.com>

        * tree-dfa.c (get_ref_base_and_extent): Do not expect positive
        offsets for BIT_FIELD_REF and COMPONENT_REF.

2007-03-28  Richard Guenther  <rguenther@suse.de>

        * tree.c (is_global_var): Move ...
        * tree-flow-inline.h (is_global_var): ... here.
        * tree.h (is_global_var): Remove declaration.

2007-03-28  Uros Bizjak  <ubizjak@gmail.com>

        * config/i386/i386.h (X86_TUNE_PROMOTE_HIMODE_IMUL): New tuning
        option.
        (TARGET_TUNE_PROMOTE_HIMODE_IMUL): New define. Use new tuning option.
        * config/i386/i386.c (ix86_tune_features): Initialize new
        tuning option.
        * config/i386/predicates.md (promotable_binary_operator): Use
        TARGET_TUNE_PROMOTE_HIMODE_IMUL.

2007-03-28  Grigory Zagorodnev <grigory_zagorodnev@linux.intel.com>

        PR target/31380
        * config/i386/sse.md (uminv16qi3): Use UMIN instead of UMAX.

2007-03-28  Lars Poeschel <larsi@wh2.tu-dresden.de>

        * config/fr30/fr30.md (movsi_internal): Change destination
        constraint from m to V and add m to the end.

2007-03-28  Christian Bruel  <christian.bruel@st.com>

        * config/sh/sh.md (movsi_i): Fix type attribute.

2007-03-28  Christian Bruel  <christian.bruel@st.com>

        * config/sh/sh.md (movsi_ie): Fix memory constraints attribute length.
        (movsf_ie): Likewise.

2007-03-28  Christian Bruel  <christian.bruel@st.com>

        * config.gcc: Add sh4-300 to multilib.
        * config/sh/t-mlib-sh4-300: New file.

2007-03-28  Andreas Krebbel  <krebbel1@de.ibm.com>

        * config/s390/s390.md ("fix_trunc<mode>di2"): New expander.
        ("fix_trunc<DFP:mode>di2_dfp"): New insn definition renamed from
        fix_trunc<mode>di2.
        ("fixuns_truncdddi2", "fixuns_trunctddi2"): Use
        fix_trunc<DFP:mode>di2_dfp instead of fix_trunc<mode>di2.
        ("fix_truncdfsi2", "fix_truncsfsi2", "fixuns_truncdddi2",
        "fixuns_trunctddi2"): Whitespace fix.

2007-03-28  Kaz Kojima  <kkojima@gcc.gnu.org>

        * config/sh/sh.h (CALL_COOKIE_RET_TRAMP_SHIFT): Move after
        the definition of struct sh_args.
        (CALL_COOKIE_RET_TRAMP, CALL_COOKIE_STACKSEQ_SHIFT,
        CALL_COOKIE_INT_REG_GET): Likewise.

2007-03-28  Steven Bosscher  <steven@gcc.gnu.org>

        * ifcvt.c (cond_exec_find_if_block): Return FALSE if no
        transformations are applied successfully.

2007-03-27  Douglas Gregor  <doug.gregor@gmail.com>

        * tree.c (tree_contains_struct): Permit 512 tree codes.
        * tree.h (tree_contains_struct): Ditto.
        (MAX_TREE_CODES): Ditto.
        (struct tree_base): Make CODE 16 bits, instead of 8 bits. Add
        SPARE member to store remaining padding bits.

2007-03-27  Anatoly Sokolov <aesok@post.ru>

        * config/avr/avr.c (avr_mcu_types): Move at90usb82 device to 'avr4'
        architecture.

2007-03-27  Janis Johnson  <janis187@us.ibm.com>

        * configure.ac: Fix assembler test for powerpc*-linux decimal float.
        * configure: Regenerate.

        * configure: Regenerate using the correct version of autoconf.

2007-03-27  Anatoly Sokolov  <aesok@post.ru>

        * config/avr/avr.c (avr_hard_regno_mode_ok): Disallow QImode in stack
        pointer regs.
        * config/avr/avr.h (REGISTER_NAMES): Rename "__SPL__" and "__SPH__"
        regs to "__SP_L__" and "__SP_H__".

2007-03-27  Richard Guenther  <rguenther@suse.de>

        * tree-dfa.c (get_ref_base_and_extent): Replace bit_offset and
        computations with it with a HOST_WIDE_INT variable.

2007-03-26  Mike Stump  <mrs@apple.com>

        * config/rs6000/darwin.h (DARWIN_MINVERSION_SPEC): Add
        objective-c-header, objective-c++-header and objc++-cpp-output
        support.
        * config/i386/darwin.h (DARWIN_MINVERSION_SPEC): Likewise.

2007-03-26  Richard Henderson  <rth@redhat.com>

        PR target/31361
        * config/i386/i386.c (IX86_BUILTIN_PSLLDQ128, IX86_BUILTIN_PSLLW128,
        IX86_BUILTIN_PSLLD128, IX86_BUILTIN_PSLLQ128, IX86_BUILTIN_PSRAW128,
        IX86_BUILTIN_PSRAD128, IX86_BUILTIN_PSRLW128, IX86_BUILTIN_PSRLD128,
        IX86_BUILTIN_PSRLQ128): New.
        (ix86_init_mmx_sse_builtins): Add them.
        (ix86_expand_builtin): Expand them.
        * config/i386/sse.md (ashr<mode>3, lshr<mode>3, ashl<mode>3): Make
        operand 2 be TImode.
        * config/i386/emmintrin.h (_mm_slli_epi64, _mm_srai_epi16,
        _mm_srai_epi32, _mm_srli_epi16, _mm_srli_epi32,
        _mm_srli_epi64): Mark __B const.
        (_mm_srli_si128, _mm_srli_si128): Fix disabled inline versions.
        (_mm_sll_epi16, _mm_sll_epi32, _mm_sll_epi64, _mm_sra_epi16,
        _mm_sra_epi32, _mm_srl_epi16, _mm_srl_epi32, _mm_srl_epi64): Use
        new two-vector shift builtins.

2007-03-26  Ian Lance Taylor  <iant@google.com>

        PR tree-optimization/31345
        * tree-vrp.c (extract_range_from_binary_expr): Turn ranges like
        [+INF, +INF(OVF)] into VARYING.

2007-03-26  Zack Weinberg  <zackw@panix.com>

        * gengtype-parse.c: New file.
        * gengtype-yacc.y: Delete.
        * gengtype-lex.l: Don't include gengtype-yacc.h.
        Define YY_DECL and yyterminate appropriately for recursive
        descent parser.  yylval is now a string out-parameter to yylex.
        (HWS, EOID): New shorthand.
        (IWORD): Add a couple more types.
        (yylex): Add a setup stanza.  Remove the complex rules for
        detecting GTY'ed types and typedefs; replace with simple
        keyword detectors.  Adjust everything for the changed
        definition of yylval.  Ignore all pp-directives, not just #define.
        (yyerror): Delete.
        (parse_file): Rename yybegin; do not call yyparse.
        (yyend): New.
        * gengtype.c (xasprintf): Export again.
        (this_file): New.  Use everywhere __FILE__ was being used.
        (get_lang_bitmap): Special case types defined in gengtype.c.
        (do_typedef, new_structure): Suppress definition of certain types.
        (new_structure): Improve diagnostics of duplicate definitions.
        Make sure location_s is associated with input.h.
        (nreverse_pairs, define_location_structures): New functions.
        (main): Improve tagging of kludge types.  Remove old kludges
        for input.h types; use define_location_structures.
        * gengtype.h: Update prototypes.  Define token codes here.
        * Makefile.in: Remove all references to gengtype-yacc.
        Add rules for gengtype-parse.o.  Adjust rules for gengtype-lex.o
        and gengtype.
        * bitmap.h (struct bitmap_head_def): Coalesce definitions,
        add GTY((skip)) to the field that's only conditionally there.
        * doc/install.texi: Document that Bison is no longer required
        unless building treelang.

        * gengtype.c: Don't include gtyp-gen.h.
        (srcdir): Declare here.
        (base_files, lang_dir_names): Allocate dynamically.
        (gt_files, num_gt_files, num_lang_dirs): New globals.
        (measure_input_list, read_input_line, read_input_list)
        (set_lang_bitmap): New functions.
        (get_base_file_bitmap): Rename get_lang_bitmap and drastically
        simplify, relying on read_input_list to set up the bitmaps.
        (main): Arguments are no longer unused.  Check for correct number
        of command line arguments, set srcdir and srcdir_len, then call
        read_input_list, before doing anything else.  No need to worry
        about duplicates in main loop.
        * configure.ac: Simplify the calculation of all_gtfiles.
        Put language tags in there.  Don't set or substitute
        all_gtfiles_files_langs or all_gtfiles_files_frags.
        * Makefile.in: Revamp the way gengtype is invoked, now that it
        takes a file on its command line with a much simpler format.
        Remove or replace with gtyp-input.list all references to gtyp-gen.h.
        (GTFILES): Remove duplicates and C source files.
        * c-config-lang.in, cp/config-lang.in, objc/config-lang.in
        * objcp/config-lang.in: Add c-pragma.h to gtfiles.
        * configure: Regenerate.

        * gengtype.h: Remove all type definitions to gengtype.c; leave
        only definitions of options_p, type_p, and pair_p as opaque
        pointers.  Update prototypes.
        * gengtype.c: Many type definitions moved here from gengtype.h.
        Consolidate type definitions at the top of the file.
        (xvasprintf): Delete.
        (xasprintf): Make static.
        (create_nested_pointer_option): Add 'next' parameter.
        (create_field_all, create_field_at): New functions.
        (create_field): Now a thin wrapper around create_field_all.
        (create_optional_field): Rename create_optional_field_ and add
        line argument.  Original name is now a macro which supplies
        __LINE__.
        (oprintf): Use vsnprintf directly.
        (close_output_files): Use fatal rather than perror/exit.
        (note_def_vec, note_def_vec_alloc): Use create_field_at.
        (main): Set progname.  Don't use exit.
        * gengtype-yacc.y (struct_fields): Use create_field_at.
        (option, optionseqopt): Delete.
        (optionseq): Consolidate productions from option here so we
        can use the first argument to create_option.

        * gengtype-lex.l: Distinguish unions from structures in the
        token type.  Don't call find_structure; return the tag as a string.
        * gengtype-yacc.y: Add new token types ENT_TYPEDEF_UNION and ENT_UNION.
        Type of these, ENT_TYPEDEF_STRUCT, and ENT_STRUCT is string.
        Reorganize typedef_struct production accordingly.
        Use create_nested_ptr_option.
        * gengtype.c (create_nested_ptr_option): New function.
        * gengtype.h: Declare it.

        * gengtype.h (struct type): Replace 'sc' with boolean, scalar_is_char.
        (string_type): Don't declare.
        (do_scalar_typedef): Declare.
        (create_scalar_type): Update prototype.
        * gengtype.c (string_type): Make static.
        (scalar_nonchar, scalar_char): New.
        (do_scalar_typedef): Export.  Always use scalar_nonchar for the type.
        (resolve_typedef): Use scalar_nonchar for error recovery.
        (create_scalar_type): Remove name_len field.  Return scalar_char
        or scalar_nonchar as appropriate.
        (adjust_field_type): Look at scalar_is_char boolean to decide whether
        to use string_type.
        (throughout): Use scalar_nonchar instead of calling create_scalar_type,
        whenever possible.
        (main): Initialize scalar_char and scalar_nonchar before calling
        gen_rtx_next.
        * gengtype-lex.l: Adjust for removal of second argument to
        create_scalar_type.  Use yylval.s instead of yylval.t when
        returning SCALAR.
        * gengtype-yacc.y: Type of SCALAR is string.  Call
        create_scalar_type from type:SCALAR rule.  Adjust for removal of
        second argument to create_scalar_type.

        * vec.h: Remove all #if IN_GENGTYPE blocks.
        Add comment saying that changes may require adjustments to gengtype.
        * gengtype.c: Don't include coretypes.h or tm.h.
        Add comment to inclusion of errors.h.
        (note_def_vec, note_def_vec_alloc): New functions.
        * gengtype.h: Declare new functions.
        * gengtype-lex.l: Don't include coretypes.h.
        (YY_INPUT, macro_input, push_macro_expansion, mangle_macro_name):
        Delete.
        (update_lineno): Remove unnecessary prototype.
        (DEF_VEC_* rules): Simplify using note_def_vec / note_def_vec_alloc.
        (VEC rule): Just return VEC_TOKEN.
        * gengtype-yacc.y (VEC_TOKEN): New token type.
        (type): Add a production for VEC(a,b).
        * Makefile.in: Update dependencies.

        * gengtype-lex.l: Remove rules for parsing pointer-to-function
        typedefs that use the old PARAMS macro.

        * gengtype-lex.l: Remove all rules and states relating to yacc
        input files.
        * gengtype-yacc.y: Similarly.
        * gengtype.c (note_yacc_type): Delete function.
        * gengtype.h: Update prototypes.

2007-03-26  Joseph Myers  <joseph@codesourcery.com>

        * tree-pretty-print.c (dump_generic_node): Report precision of
        unnamed integer types.

2007-03-26  Steven Bosscher  <steven@gcc.gnu.org>

        * ifcvt.c (noce_try_store_flag_constants): Don't check
        no_new_pseudos here.
        (noce_try_store_flag_constants): Don't check no_new_pseudos.
        (noce_try_addcc, noce_try_store_flag_mask, noce_try_cmove_arith,
        noce_try_cmove_arith, noce_try_minmax, noce_try_abs,
        noce_try_sign_mask): Likewise.
        (if_convert): Check no_new_pseudos here.

        (cond_exec_process_if_block, noce_process_if_block, find_if_block):
        Remove prototypes.
        (struct noce_if_info): Add then_bb, else_bb, join_bb members.
        (noce_get_condition): Handle new then_else_reversed argument.
        (noce_init_if_info): Remove, fold into noce_find_if_block.
        (noce_process_if_block): Take a struct noce_if_info as the
        argument.  Don't set up one based on ce_if_info.  Update pointer
        references accordingly.
        (cond_move_process_if_block): Likewise.
        (process_if_block): Removed.
        (find_if_block): Removed.  Move functionality two new functions,
        noce_find_if_block and cond_exec_find_if_block.
        (noce_find_if_block): New function.  Be aware of IF-THEN-JOIN
        blocks and the symmetric IF-ELSE-JOIN case.
        (cond_exec_find_if_block): Also new function mostly based on old
        find_if_block and process_if_block.
        (find_if_header): Replace find_if_block call with separately
        guarded calls to noce_find_if_block and cond_exec_find_if_block.
        (find_cond_trap): Update noce_get_condition call.
        (dead_or_predicable): Likewise.

2007-03-26  Jakub Jelinek  <jakub@redhat.com>

        * config/i386/i386.c (IX86_BUILTIN_CMPNEPD, IX86_BUILTIN_CMPNESD):
        Remove.
        (IX86_BUILTIN_PSLLW128, IX86_BUILTIN_PSLLD128, IX86_BUILTIN_PSLLQ128,
        IX86_BUILTIN_PSRAW128, IX86_BUILTIN_PSRAD128, IX86_BUILTIN_PSRLW128,
        IX86_BUILTIN_PSRLD128, IX86_BUILTIN_PSRLQ128): Remove.
        (ix86_init_mmx_sse_builtins): Remove v8hi_ftype_v8hi_v2di and
        v4si_ftype_v4si_v2di.  Remove __builtin_ia32_psllw128,
        __builtin_ia32_pslld128, __builtin_ia32_psllq128,
        __builtin_ia32_psrlw128, __builtin_ia32_psrld128,
        __builtin_ia32_psrlq128, __builtin_ia32_psraw128 and
        __builtin_ia32_psrad128 builtins.

2007-03-26  Uros Bizjak  <ubizjak@gmail.com>

        * reg-stack.c (replace_reg): Use IN_RANGE macro in gcc_assert().
        * config/i386/constraints.md
        (define_constraint "I"): Use IN_RANGE macro.
        (define_constraint "J"): Ditto.
        (define_constraint "K"): Ditto.
        (define_constraint "M"): Ditto.
        (define_constraint "N"): Ditto.
        (define_constraint "O"): Ditto.
        * config/i386/predicates.md
        (define_predicate "register_no_elim_operand"): Use IN_RANGE macro.
        (define_predicate "const_0_to_3_operand"): Ditto.
        (define_predicate "const_0_to_7_operand"): Ditto.
        (define_predicate "const_0_to_15_operand"): Ditto.
        (define_predicate "const_0_to_63_operand"): Ditto.
        (define_predicate "const_0_to_255_operand"): Ditto.
        (define_predicate "const_1_to_31_operand"): Ditto.
        (define_predicate "const_2_to_3_operand"): Ditto.
        (define_predicate "const_4_to_7_operand"): Ditto.

2007-03-25  David Edelsohn  <edelsohn@gnu.org>

        * config/rs6000/rs6000.c (rs6000_emit_prologue): Always clobber LR
        in SImode for save_world.
        * config/rs6000/altivec.md (save_world, restore_world): Convert to
        LR hard reg.

2007-03-25  Dorit Nuzman  <dorit@il.ibm.com>

        PR tree-optimization/30784
        * fold-const.c (fold_ternary): Handle CONSTRUCTOR in case
        BIT_FIELD_REF.

2007-03-25  Revital Eres  <eres@il.ibm.com>

        * tree-if-conv.c (if_convertible_gimple_modify_stmt_p):
          Fold movement_possibility function into it.

2007-03-25  David Edelsohn  <edelsohn@gnu.org>

        * config/rs6000/darwin.md (load_macho_picbase): Ignore operand 0.
        (load_macho_picbase_{si,di}): Convert to LR hard reg.
        (call_indirect_nonlocal_darwin64): Same.
        (call_nonlocal_darwin64): Same.
        (call_value_indirect_nonlocal_darwin64): Same.
        (call_value_nonlocal_darwin64): Same.
        (sibcall_nonlocal_darwin64): Same.
        (sibcall_value_nonlocal_darwin64): Same.
        (sibcall_symbolic_64): Same.
        (sibcall_value_symbolic_64): Same.
        * config/rs6000/rs6000.c (rs6000_legitimize_tls_address): Remove
        LR pseudo.
        (rs6000_emit_load_toc_table): Same.
        * config/rs6000/altivec.md (restore_world): Convert to LR hard reg.
        * config/rs6000/rs6000.md (mulh_call): Convert to LR hard reg.
        (mull_call): Same.
        (divss_call): Same.
        (divus_call): Same.
        (quoss_call): Same.
        (quous_call): Same.
        (load_toc_v4_pic_si): Same
        (load_toc_v4_PIC_1): Same.
        (load_toc_v4_PIC_1b): Same.
        (call_indirect_aix{32,64}): Same.
        (call_value_indirect_aix{32,64}): Same.
        (call): Same.
        (call_value): Same.
        (call_local{32,64}): Same.
        (call_value_local{32,64}): Same.
        (call_indirect_nonlocal_aix{32,64}): Same.
        (call_nonlocal_aix{32,64}): Same.
        (call_value_indirect_nonlocal_aix{32,64}): Same.
        (call_value_nonlocal_aix{32,64}): Same.
        (call_indirect_nonlocal_sysv<mode>): Same.
        (call_nonlocal_sysv<mode>): Same.
        (call_value_indirect_nonlocal_sysv<mode>): Same.
        (call_value_nonlocal_sysv<mode>): Same.
        (sibcall): Same.
        (sibcall_local{32,64}): Same.
        (sibcall_value_local{32,64}): Same.
        (sibcall_nonlocal_aix{32,64}): Same.
        (sibcall_value_nonlocal_aix{32,64}): Same.
        (sibcall_nonlocal_sysv<mode>): Same.
        (sibcall_value): Same.
        (sibcall_value_nonlocal_sysv<mode>): Same.

2007-03-24  Paul Brook  <paul@codesourcery.com>

        * config/arm/lib1funcs.asm (div0): Use ARM_FUNC_START and do_push.
        * config/arm/linux-eabi.h: Remove legacy syscall hack.

2007-03-24  Richard Henderson  <rth@redhat.com>

        * config/ia64/constraints.md: New file.
        * config/ia64/predicates.md: Replace CONST_OK_FOR_? with
        satisfies_constraint_?.
        * config/ia64/ia64.c (ia64_move_ok, ia64_legitimate_constant_p,
        ia64_reload_gp, spill_restore_mem, ia64_expand_prologue,
        ia64_expand_epilogue, ia64_split_return_addr_rtx, ia64_rtx_costs,
        ia64_output_mi_thunk): Likewise.
        (ia64_const_ok_for_letter_p): Remove.
        (ia64_const_double_ok_for_letter_p): Remove.
        (ia64_extra_constraint): Remove.
        * config/ia64/ia64.h (REG_CLASS_FROM_LETTER): Remove.
        (CONST_OK_FOR_I, CONST_OK_FOR_J, CONST_OK_FOR_K, CONST_OK_FOR_L,
        CONST_OK_FOR_M, CONST_OK_FOR_N, CONST_OK_FOR_O, CONST_OK_FOR_P,
        CONST_OK_FOR_LETTER_P, CONST_DOUBLE_OK_FOR_G,
        CONST_DOUBLE_OK_FOR_LETTER_P, EXTRA_CONSTRAINT,
        EXTRA_MEMORY_CONSTRAINT): Remove.
        * config/ia64/ia64.md: Include constriants.md.  Replace
        CONST_OK_FOR_? with satisfies_constraint_?.

2007-03-23  Michael Meissner  <michael.meissner@amd.com>
            H.J. Lu  <hongjiu.lu@intel.com>

        * config/dfp-bit.h (DPD_BID_NAME): New macro to give either the
        DPD or BID name.
        (name macros): Use DPD_BID_NAME to convert names properly.

        * optabs.c (DECIMAL_PREFIX): Prefix string to use for the current
        decimal floating point format.
        (init_floating_libfuncs): Change decimal functions so that they
        have a "bid_" prefix if the decimal system uses the BID format,
        and "dpd_" prefix if the decimal system uses the DPD format.
        (init_interclass_conv_libfuncs): Ditto.
        (init_intraclass_conv_libfuncs): Ditto.

        * config.in (ENABLE_DECIMAL_BID_FORMAT): New macro to say we are
        using the BID format.

        * configure.ac (ENABLE_DECIMAL_BID_FORMAT): Set to 1/0 to say
        whether we are using the BID decimal format.
        * configure: Regenerate.

        * c-cppbuiltin.c (c_cpp_builtins): Define __STDC_WANT_DEC_FP__ if
        the compiler has decimal floating point enabled.  Define
        __DECIMAL_BID_FORMAT__ if BID decimal floating point is used
        instead of DPD.

        * config.in (ENABLE_DECIMAL_BID_FORMAT): New macro to say we are
        using the BID format.

        * configure.ac (ENABLE_DECIMAL_BID_FORMAT): Set to 1/0 to say
        whether we are using the BID decimal format.
        * configure: Regenerate.

        * c-cppbuiltin.c (c_cpp_builtins): Define __STDC_WANT_DEC_FP__ if
        the compiler has decimal floating point enabled.  Define
        __DECIMAL_BID_FORMAT__ if BID decimal floating point is used
        instead of DPD.

        * doc/install.texi (--enable-decimal-float): Document BID and DPD
        options, and that it is enabled for i386/x86_64 systems.

        * Makefile.in (enable_decimal_float): New.
        (DECNUMFMT): New.
        (DECNUMINC): Add  -I$(DECNUMFMT).
        (DECNUM_H): Mov decimal32.h, decimal64.h and decimal128.h
        to $(DECNUMFMT) from $(DECNUM).

        * configure.ac: Support * --enable-decimal-float={no,yes,bid,dpd}.
        Substitute enable_decimal_float.
        * configure: Regenerated.

        PR other/30529
        * config/dfp-bit.c (__dec_byte_swap): Use uint32_t instead of
        unsigned long.

        * configure.ac: Enable decimal float for x86_64-*-linux*.
        * configure: Regenerated.

        PR other/30530
        * dfp.c (decimal_real_arithmetic): Use decimal128FlipSign and
        decimal128ClearSign to flip and clear the sign bit in decimal128.
        (decimal_real_maxval): Set decimal128SetSign to set the sign
        bit in decimal128.

2007-03-23  Ian Lance Taylor  <iant@google.com>

        * fold-const.c (fold_binary): Correct warning for X - c >= X.

2007-03-23  Ian Lance Taylor  <iant@google.com>

        * tree-dump.c (dump_files): Correct comment.

2007-03-23  Ian Lance Taylor  <iant@google.com>

        * tree-vrp.c (operand_less_p): Ignore fold overflow warnings.

2007-03-23  Steven Bosscher  <steven@gcc.gnu.org>

        * tracer.c (tracer): Don't take FLAGS argument.  Assert we are
        in cfglayout mode.  Don't go into and out of cfglayout mode.
        Link the blocks in the order of the constructed traces.
        (rest_of_handle_tracer): Adjust call to tracer.
        * loop-init.c (rtl_loop_init): Assert we are in cfglayout mode.
        Don't go into cfglayout mode.
        (rtl_loop_done): Don't go out of cfglayout mode.
        * cfglayout.c (relink_block_chain): New function, split out from...
        (fixup_reorder_chain): ...here.  Remove redundant checking.
        (cfg_layout_finalize): Don't clear the header, footer, and aux
        fields here, move the code to do so to relink_block_chain.  Likewise
        for free_original_copy_tables.
        * rtl.h (tracer): Update prototype.
        * bb-reorder.c (reorder_basic_blocks): Don't take FLAGS argument.
        Assert we are in cfglayout mode.  Don't go into and out of cfglayout
        mode.  Use relink_block_chain to serialize the CFG according to the
        new basic block order.  Move targetm.cannot_modify_jumps_p check from
        here...
        (gate_handle_reorder_blocks): ...to here.
        (duplicate_computed_gotos): Move targetm.cannot_modify_jumps_p check
        from here...
        (gate_duplicate_computed_gotos): ...to here.
        (rest_of_handle_reorder_blocks): Don't see if anything has changed,
        something always changes when going into and out of cfglayout mode.
        Perform an expensive cfg cleanup while going into cfglayout mode.
        Always update liveness information on HAVE_conditional_execution
        targets.  Reserialize the basic blocks and go out of cfglayout mode.
        * reg-stack.c: Include cfglayout.h.
        (rest_of_handle_stack_regs): Go into and out of cfglayout mode around
        the call to reorder_basic_blocks.
        * basic-block.h (reorder_basic_blocks): Update prototype.
        (relink_block_chain): New prototype.
        * passes.c (pass_outof_cfg_layout_mode): Move after cse2.

2007-03-23  Joseph Myers  <joseph@codesourcery.com>

        * config/mips/mips.md (type, hazard, *movdi_32bit,
        *movdi_gp32_fp64, *movdi_64bit, *movsi_internal, movcc,
        *movhi_internal, *movqi_internal, *movsf_hardfloat,
        *movdf_hardfloat_64bit, *movdf_hardfloat_32bit, *movdf_softfloat,
        movv2sf_hardfloat_64bit, load_df_low, load_df_high, store_df_high,
        mthc1, mfhc1): Change xfer instruction type to mfc and mtc, as
        applicable.
        (movcc): Change first xfer to multi.
        * config/mips/24k.md, config/mips/4100.md, config/mips/4300.md,
        config/mips/5000.md, config/mips/5400.md, config/mips/5500.md,
        config/mips/5k.md, config/mips/7000.md, config/mips/9000.md,
        config/mips/generic.md: Change reservations using "xfer" to use
        "mfc,mtc".
        * config/mips/sb1.md (ir_sb1_mtxfer): Use "mtc" instead of
        using match_operand.
        (ir_sb1_mfxfer): Use "mfc" instead of using match_operand.
        * config/mips/sr71k.md (ir_sr70_xfer_from): Use "mfc" instead of
        examining mode.
        (ir_sr70_xfer_to): Use "mtc" instead of examining mode.

2007-03-22  Richard Henderson  <rth@redhat.com>

        * config/i386/i386.c: Remove unnecessary function declarations.
        Move targetm definition, and all related macros, to the end of
        the file.  Resort some functions to put definitions before uses.
        (ix86_attribute_table): Make static.  Move to end of file.
        (ix86_gimplify_va_arg): Make static.

2007-03-22  Richard Henderson  <rth@redhat.com>

        * config/i386/i386.c (ix86_function_regparm): Early exit for 64-bit;
        don't increase local_regparm with force_align_arg_pointer check.
        (ix86_function_sseregparm): Assert 32-bit.
        (type_has_variadic_args_p): New.
        (ix86_return_pops_args): Early exit for 64-bit.  Reindent; use
        type_has_variadic_args_p.
        (ix86_function_arg_regno_p): Use == 0 instead of ! test for eax.
        (init_cumulative_args): Remove TARGET_DEBUG_ARG.  Remove zero_cum;
        use memset instead.  Do maybe_vaarg check first; skip attribute
        tests if true; skip attribute tests for 64-bit.
        (construct_container): Remove TARGET_DEBUG_ARG.
        (function_arg_advance_32, function_arg_advance_64): Split out ...
        (function_arg_advance): ... from here.
        (function_arg_32, function_arg_64): Split out ...
        (function_arg): ... from here.
        (ix86_pass_by_reference): Tidy.
        (ix86_function_value_regno_p): Rearrange w/ switch on regno.
        (function_value_32): New, from parts of ix86_function_value
        and ix86_value_regno.
        (function_value_64): New, from parts of ix86_function_value
        and ix86_libcall_value.
        (ix86_function_value_1): New.
        (ix86_function_value, ix86_libcall_value): Use it.
        (return_in_memory_32, return_in_memory_64): Split out ...
        (ix86_return_in_memory): ... from here.
        (ix86_struct_value_rtx): Skip for 64-bit.
        (ix86_libcall_value, ix86_value_regno): Remove.
        (setup_incoming_varargs_64): Split out ...
        (ix86_setup_incoming_varargs): ... from here.
        (ix86_va_start): Remove TARGET_DEBUG_ARG.
        (legitimate_address_p, legitimize_address): Remove TARGET_DEBUG_ADDR.
        * config/i386/i386-protos.h (ix86_function_value): Remove.
        * config/i386/i386.opt (TARGET_DEBUG_ADDR, TARGET_DEBUG_ARG): Remove.

2007-03-22  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>

        PR other/23572
        * c-lex.c (interpret_float): On overflow, emit pedantic warning if
        infinities not supported, otherwise emit warning if -Woverflow. On
        underflow, emit warning if -Woverflow.
        * real.c (real_from_string): Return -1 if underflow, +1 if overflow
        and 0 otherwise.
        * real.h (real_from_string): Update declaration

2007-03-22  Kai Tietz  <kai.tietz@onevision.com>
            Richard Henderson  <rth@redhat.com>

        * defaults.h (OUTGOING_REG_PARM_STACK_SPACE): Provide default.
        * calls.c (compute_argument_block_size, expand_call,
        emit_library_call_value_1): Don't ifdef OUTGOING_REG_PARM_STACK_SPACE.
        * expr.c (block_move_libcall_safe_for_call_parm): Likewise.
        * function.c (STACK_DYNAMIC_OFFSET): Likewise.
        * doc/tm.texi (OUTGOING_REG_PARM_STACK_SPACE): Update.
        * config/alpha/unicosmk.h, config/bfin/bfin.h, config/iq2000/iq2000.h,
        config/mips/mips.h, config/mn10300/mn10300.h, config/mt/mt.h,
        config/pa/pa.h, config/rs6000/rs6000.h, config/score/score.h,
        config/spu/spu.h, config/v850/v850.h (OUTGOING_REG_PARM_STACK_SPACE):
        Set to 1.

2007-03-22  Joseph Myers  <joseph@codesourcery.com>

        * c-incpath.c (add_sysroot_to_chain): New.
        (merge_include_chains): Add sysroot argument.  Call
        add_sysroot_to_chain if sysrooted.
        (register_include_chains): Update call to merge_include_chains.
        * doc/cppopts.texi: Document use of '=' in include directory
        arguments.

2007-03-22  Uros Bizjak  <ubizjak@gmail.com>

        * config/i386/i386.md (cmp<mode>): Rename from cmpsf and cmpdf.
        Macroize expander using SSEMODEF mode macro.  Use SSE_FLOAT_MODE_P.
        (*cmpfp_<mode>): Rename from *cmpfp_sf and *cmpfp_df. Macroize
        insn pattern using X87MODEF12 mode macro.

2007-03-21  Seongbae Park <seongbae.park@gmail.com>

        * regmove.c (regmove_optimize): Use reg_mentioned_p
        instead of reg_overlap_mentioned_p for DST.

2007-03-21  Mike Stump  <mrs@apple.com>

        * c.opt: Fixup for Objective-C/C++.

2007-03-21  Steve Ellcey  <sje@cup.hp.com>

        * explow.c (convert_memory_address): Fold memory reference when
        POINTERS_EXTEND_UNSIGNED < 0

2007-03-21  Richard Henderson  <rth@redhat.com>

        PR target/31245
        * config/i386/emmintrin.h (__m128i, __m128d): Mark may_alias.
        * config/i386/mmintrin.h (__m64): Likewise.
        * config/i386/xmmintrin.h (__m128): Likewise.

2007-03-21  Richard Sandiford  <richard@codesourcery.com>

        * config/vxworks.h (VXWORKS_ADDITIONAL_CPP_SPEC): Remove -D options.
        (VXWORKS_OS_CPP_BUILTINS): Define.
        * config/i386/vxworks.h (VXWORKS_CPU_DEFINE): Fold into...
        (TARGET_OS_CPP_BUILTINS): ...here.  Use VXWORKS_OS_CPP_BUILTINS.

2007-03-21  Richard Sandiford  <richard@codesourcery.com>

        * rtl.h (constant_pool_reference_p): Delete.
        (find_constant_src): Declare.
        * rtlanal.c (find_constant_src): New function.
        * simplify-rtx.c (constant_pool_reference_p): Delete.
        * config/i386/i386.md: Use find_constant_src instead of
        constant_pool_reference_p/avoid_constant_pool_reference pairs.

2007-03-21  Richard Sandiford  <richard@codesourcery.com>

        * doc/invoke.texi (-fpie, -fPIE): Document __pie__ and __PIE__.
        * c-cppbuiltin.c (c_cpp_builtins): Define them.

2007-03-20  Mark Mitchell  <mark@codesourcery.com>

        * config/arm/elf.h (TARGET_ASM_DESTRUCTOR): Define.
        * config/arm/arm.c (arm_elf_asm_cdtor): New function.
        (arm_elf_asm_constructor): Use it.
        (arm_elf_asm_destructor): New function.

2007-03-20  Bernd Schmidt  <bernd.schmidt@analog.com>

        * jump.c (mark_jump_label): Treat SEQUENCE specially.

2007-03-20  Nathan Sidwell  <nathan@codesourcery.com>

        * config/vxlib.c (tls_delete_hook): Use TCB for kernel tasks.

2007-03-19  Andrew Haley  <aph@redhat.com>

        PR tree-optimization/31264
        * tree-vrp.c (register_edge_assert_for_1): Don't look though
        VIEW_CONVERT_EXPRs.

2007-03-19  Paolo Bonzini  <bonzini@gnu.org>

        PR rtl-optimization/30907
        * fwprop.c (forward_propagate_into): Never propagate inside a loop.
        (fwprop_init): Always call loop_optimizer_initialize.
        (fwprop_done): Always call loop_optimizer_finalize.
        (fwprop): We always have loop info now.
        (gate_fwprop_addr): Remove.
        (pass_fwprop_addr): Use gate_fwprop as gate.

        PR rtl-optimization/30841
        * df-problems.c (df_ru_local_compute, df_rd_local_compute,
        df_chain_alloc): Call df_reorganize_refs unconditionally.
        * df-scan.c (df_rescan_blocks, df_reorganize_refs): Change
        refs_organized to refs_organized_size.
        (df_ref_create_structure): Use refs_organized_size instead of
        bitmap_size if refs had been organized, and keep refs_organized_size
        up-to-date.
        * df.h (struct df_ref_info): Change refs_organized to
        refs_organized_size.
        (DF_DEFS_SIZE, DF_USES_SIZE): Use refs_organized_size instead of
        bitmap_size.

2007-03-19  Mark Mitchell  <mark@codesourcery.com>

        * except.c (output_function_exception_table): Do not reference the
        EH personality routine for functions that do not require an
        exception table.

2007-03-20  Jakub Jelinek  <jakub@redhat.com>

        PR c/30762
        * c-typeck.c (convert_for_assignment): Call comptypes for
        RECORD_TYPE or UNION_TYPE.

        PR inline-asm/30505
        * reload1.c (reload): Do invalid ASM checking after
        cleanup_subreg_operands.

2007-03-19  Jeff Law  <law@redhat.com>

        * tree-cfg.c (find_taken_edge): Tighten conditions for
        optimizing computed gotos.

2007-03-19  Michael Matz  <matz@suse.de>

        * builtins.c (expand_builtin_sync_operation,
        expand_builtin_compare_and_swap,
        expand_builtin_lock_test_and_set): Care for extending CONST_INTs
        correctly.

        * config/i386/sync.md (sync_double_compare_and_swapdi_pic,
        sync_double_compare_and_swap_ccdi_pic): Use "SD" as constraint
        for operand 3.

2007-03-19  Andreas Krebbel  <krebbel1@de.ibm.com>

        * doc/tm.texi: Add brackets around the return type of
        TARGET_SECONDARY_RELOAD.

2007-03-19  Andrew Pinski  <andrew_pinski@playstation.sony.com>
        Richard Guenther  <rguenther@suse.de>

        PR tree-optimization/31254
        * tree-ssa-forwprop.c (forward_propagate_addr_expr_1):
        Use handled_component_p () where appropriate.  Continue
        propagating into the rhs if we propagated into an INDIRECT_REF
        on the lhs.

2007-03-19  Andreas Krebbel  <krebbel1@de.ibm.com>

        * config/s390/s390.md (op_type attribute): RRR instruction type added.
        (FP, DFP, SD_SF, DD_DF, TD_TF): New mode macros.
        (xde, xdee): Mode attributes adjusted to support DFP modes.
        (RRer, f0, op1, Rf, bt, bfp, HALF_TMODE): New mode attributes added.
        ("cmp<mode>", "*cmp<mode>_css_0", "*cmp<mode>_ccs", TF move splitters,
        DF move splitters, "floatdi<mode>2", "add<mode>3", "*add<mode>3",
        "*add<mode>3_cc", "*add<mode>3_cconly", "sub<mode>3", "*sub<mode>3",
        "*sub<mode>3_cc", "*sub<mode>3_cconly", "mul<mode>3", "*mul<mode>3",
        "div<mode>3", "*div<mode>3", "*neg<mode>2_nocc", "*abs<mode>2_nocc",
        "*negabs<mode>2_nocc", "copysign<mode>3"): Adjusted to support DFP
        numbers.
        ("*movtf_64", "*movtf_31", "*movdf_64dfp", "*movdf_64", "*movdf_31",
        "movsf"): Insn definitions removed.
        ("*mov<mode>_64", "*mov<mode>_31", "mov<mode>", "*mov<mode>_64dfp",
        "*mov<mode>_64", "*mov<mode>_31", "fix_trunc<DFP:mode>di2",
        "trunctddd2", "truncddsd2", "extendddtd2", "extendsddd2"): Insn
        definitions added.
        ("fixuns_truncdddi2", "fixuns_trunctddi2", "mov<mode>",
        "reload_in<mode>", "reload_out<mode>"): Expander added.
        ("movtf", "movdf", "reload_outtf", "reload_outdf", "reload_intf"):
        Expander removed.

2007-03-19  Andreas Krebbel  <krebbel1@de.ibm.com>

        * config/s390/s390.md: Only non-functional changes.  Renamed
        FPR mode macro to BFP all over the file.

2007-03-19  Andreas Krebbel  <krebbel1@de.ibm.com>

        * config/s390/s390.md (UNSPEC_COPYSIGN): New constant.
        (op_type attribute): RRF instruction type added.
        (fT0): New mode attribute.
        ("*movdi_64dfp", "*movdf_64dfp", "*neg<mode>2_nocc", "*abs<mode>2_nocc",