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

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

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",
        "*negabs<mode>2_nocc", "copysign<mode>3"): Insn definitions added.
        * config/s390/s390.h (SECONDARY_MEMORY_NEEDED): Due to a new instruction
        no secondary memory is needed when moving DFmode values between GPRs
        and FPRs.

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

        * config/s390/s390.opt ("mhard-float", "msoft-float"): Bit value
        inverted and documentation adjusted.
        ("mhard-dfp", "msoft-dfp"): New options.
        * config/s390/s390.c (s390_handle_arch_option): New architecture
        switch: z9-ec.
        (override_options): Sanity checks for the new options added.
        * config.gcc: New architecture switch: z9-ec.
        * config/s390/s390.h (processor_flags): PF_DFP added.
        (TARGET_CPU_DFP, TARGET_DFP): Macro definitions added.
        (TARGET_DEFAULT): Due to the s390.opt changes hard float is enabled
        when the bit is NOT set so remove it from the defaults.

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

        * genemit.c (main): Print include statement for dfp.h.
        * dfp.h (decimal_real_arithmetic): Hide prototype if tree_code enum
        is not available.

2007-03-19  Hans-Peter Nilsson  <hp@axis.com>

        * config/cris/t-elfmulti (EXTRA_MULTILIB_PARTS): Do not define here.

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

        PR target/31022
        * config/sh/sh.c (sh_adjust_cost): Use the result of single_set
        instead of PATTERN.

2007-03-18  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>

        * pa.c (output_deferred_plabels, output_bb, output_millicode_call,
        attr_length_call, output_call, output_indirect_call): Cleanup
        formatting of targetm calls.

2007-03-19  Hans-Peter Nilsson  <hp@axis.com>

        * config/cris/cris.h (HANDLE_PRAGMA_PACK_PUSH_POP): Define to 1.

2007-03-18  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>

        * pa.md: Add fpstore_load and store_fpload instruction types.  Provide
        reservation, bypass and anti-bypass descriptions for these instructions.
        Update move patterns.
        * pa.c (hppa_fpstore_bypass_p): Check for both TYPE_FPSTORE_LOAD and
        TYPE_FPSTORE.
        
2007-03-18  Dorit Nuzman  <dorit@il.ibm.com>

        * tree-vect-transform.c (get_initial_def_for_induction): Replace
        GET_MODE_NUNITS with TYPE_VECTOR_SUBPARTS.
        (get_initial_def_for_reduction): Likewise.

2007-03-16  Daniel Berlin  <dberlin@dberlin.org>

        Fix PR tree-optimization/29922
        * tree-ssa-pre.c (bb_bitmap_sets): Remove RVUSE_* members.
        (get_representative): Removed.
        (value_dies_in_block_x): Update for rvuse removal.
        (valid_in_sets): Update for renaming of vuses_dies_in_block_x.
        (compute_antic_aux): Handle when PHI nodes appear in
        non-single-successors. 
        (dump_bitmap_of_names): Removed.
        (compute_antic_safe): Renamed and removed rvuse calculation.
        Calculate only antic safe.
        (insert_into_preds_of_block): Remove assert.
        (execute_pre): Update for renamed functions.
        (defer_or_phi_translate_block): New function.
        
2007-03-17  Kazu Hirata  <kazu@codesourcery.com>

        * config/arm/arm.c, config/arm/thumb2.md, config/m68k/m68k.c,
        config/spu/spu.c, omega.h, passes.c, predict.c: Fix comment
        typos.
        * doc/cpp.texi, doc/extend.texi, doc/invoke.texi: Fix typos.
        Follow spelling conventions.

        * tree-data-ref.h: Remove the prototype for analyze_array.

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

        PR tree-optimization/31041
        * tree-vect-transform.c (get_initial_def_for_induction): Call
        force_gimple_operand.
        
2007-03-17  Olga Golovanevsky  <olga@il.ibm.com>
  
        * ipa-type-escape.c (look_for_casts) : Revert code to use
        handled_component_p due to ada test a-numaux.adb.

2007-03-17  Kazu Hirata  <kazu@codesourcery.com>

        * final.c (final_scan_insn): Alter the condition of a
        conditional trap if we have nonstandard CC.

2007-03-16  Alexandre Oliva  <aoliva@redhat.com>

        * configure.ac: Remove excess quoting from asm line 0 test.
        * configure: Rebuilt.

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

        * doc/invoke.texi (-Wconversion): Document warnings specific to C++.
        * c-common.c (convert_and_check): Move warning logic to...
        (warnings_for_convert_and_check): ...here. Define.
        * c-common.h (warnings_for_convert_and_check): Declare.
        
2007-03-16  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>

        * pa.c (attr_length_call): Partially revert change of 2007-03-09.
        (output_call): Likewise.

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

        * config/vxworks.h (SUPPORTS_INIT_PRIORITY): Define.

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

        * config/vx-common.h (WINT_TYPE, WINT_TYPE_SIZE): Define.

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

        * config/i386/i386.c (override_options): Add PTA_NO_SAHF to k8,
        opteron, athlon-64 and athlon-fx processor_alias_table entries.

2007-03-16  Sebastian Pop  <sebastian.pop@inria.fr>

        PR tree-optimization/31183
        * tree-loop-linear.c (gather_interchange_stats, try_interchange_loops): 
        Use double_int instead of unsigned int for representing access_strides.
        * testsuite/gcc.dg/tree-ssa/pr31183.c: New.

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

        PR tree-optimization/31146
        * tree-ssa-forwprop.c (forward_propagate_addr_expr_1): Restructure
        to allow recursion of forward_propagate_addr_expr.
        (forward_propagate_addr_into_variable_array_index): Likewise.
        (forward_propagate_addr_expr): Likewise.
        (tree_ssa_forward_propagate_single_use_vars): Likewise.
        (forward_propagate_addr_expr_1): Recurse on simple copies
        instead of propagating into them.  Do so for useless conversions
        as well.
        (forward_propagate_addr_expr): Clean up unused statements after
        recursion.

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

        * builtins.c (expand_builtin_cexpi): Use the right argument
        for the expansion via cexp.

2007-03-16  Alexandre Oliva  <aoliva@redhat.com>

        * configure.ac: Don't require ELF binutils to tolerate # 0 "".
        * configure: Rebuilt.

2007-03-16  Alexandre Oliva  <aoliva@redhat.com>

        PR debug/29906
        * dwarf2out.c (force_type_die): Adjust comment.
        (dwarf2out_imported_module_or_decl): Handle base AT_import types.

2007-03-15  DJ Delorie  <dj@redhat.com>

        * config/frv/predicates.md (minmax_operator): Don't check operands
        here.

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

        * tree-ssa-loop-niter.c (record_estimate): Add "upper" argument.
        Update constant estimates of number of iterations.
        (record_nonwrapping_iv): Add "upper" argument.  "data_size_bounds_p"
        argument renamed to "realistic".
        (compute_estimated_nb_iterations): Removed.
        (record_niter_bound): New function.
        (idx_infer_loop_bounds): For possible but unlikely tail arrays,
        call record_nonwrapping_iv with upper = false.
        (infer_loop_bounds_from_signedness): Pass upper argument to
        record_nonwrapping_iv.
        (estimate_numbers_of_iterations_loop): Do not call
        compute_estimated_nb_iterations.  Record estimate based on profile
        information.  Initialize the constant estimates of number of
        iterations.
        * tree-data-ref.c (estimated_loop_iterations): Return the recorded
        estimates.
        * tree-ssa-loop-prefetch.c (loop_prefetch_arrays): Add dump when
        number of iterations is too small.
        * cfgloop.h (struct nb_iter_bound): Remove "realistic" field.
        (EST_NOT_AVAILABLE): Removed.
        (struct loop): Replace estimated_nb_iterations by any_upper_bound,
        nb_iterations_upper_bound, any_estimate and nb_iterations_estimate
        fields.

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

        * tree-ssa-loop-niter.c (refine_bounds_using_guard, bound_difference):
        Handle NE_EXPR guards.

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

        PR c++/24924
        * c-opts.c (c_common_post_options): Handle C++ post-processing here.
        Set also -pedantic-errors by default for the  preprocessor unless
        -fpermissive is given.
        
2007-03-15  Richard Guenther  <rguenther@suse.de>

        PR middle-end/29719
        PR middle-end/31161
        * builtins.c (expand_builtin_cexpi): As a fallback if we
        don't have builtins for sincos or cexp create a function
        declaration for cexp and expand to a call to that.
        (expand_builtin_int_roundingfn): Always fall
        back to floor/ceil and its variants even if they may be
        not available.

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

        PR middle-end/31159
        * cfglayout.c (fixup_reorder_chain): Postpone deleting dead
        jump tables, move the call to delete_dead_jumptables from here...
        (cfg_layout_finalize): ...to here.  But rebuild jump labels first.
        * cfgrtl.c (cfg_layout_can_merge_blocks_p): When not optimizing,
        don't allow merging of blocks that try_redirect_by_replacing_jump
        also does not handle when not optimizing.

2007-03-15  Uros Bizjak  <ubizjak@gmail.com>
            Francois-Xavier Coudert  <coudert@clipper.ens.fr>

        * config/i386/i386.md (x86_sahf_1): Correctly handle
        HAVE_AS_IX86_SAHF.

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

        PR target/31167
        * config/i386/i386.md (*addti3_1, *addti3_1 splitter): Use
        x86_64_general_operand as operand[2] predicate.  Remove "iF"
        from operand constraints and use "e" constraint instead.
        (*subti3_1, *subti3_1 splitter): Ditto.
        (*negti2_1, *negti2_1 splitter): Use nonimmediate_operand as
        operand[1] predicate.

2007-03-14  Sebastian Pop  <sebastian.pop@inria.fr>

        * tree-loop-linear.c (gather_interchange_stats): For multidimensional
        arrays, multiply the access strides by the size of the sub-array.
        * testsuite/gcc.dg/tree-ssa/ltrans-5.c: New.

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

        * configure.ac (HAVE_AS_IX86_SAHF): On x86 targets check whether
        the configured assembler supports the sahf mnemonic.
        * configure: Regenerate.
        * config.in: Regenerate.

        * config/i386/i386.md (x86_sahf_1): Depending on HAVE_AS_IX86_SAHF,
        emit "sahf" or ".byte\t0x9e" as asm template.

2007-03-14  Michael Meissner  <michael.meissner@amd.com>

        PR 31018
        * config/i386/i386.h (X86_TUNE_SHORTEN_X87_SSE): New tuning
        option to replace hard coded TARGET_xxx in md file.
        (X86_TUNE_AVOID_VECTOR_DECODE): Ditto.
        (X86_TUNE_SLOW_IMUL_IMM32_MEM): Ditto.
        (X86_TUNE_SLOW_IMUL_IMM8): Ditto.
        (X86_TUNE_MOVE_M1_VIA_OR): Ditto.
        (X86_TUNE_NOT_UNPAIRABLE): Ditto.
        (X86_TUNE_NOT_VECTORMODE): Ditto.
        (TUNE_SHORTEN_X87_SSE): Use new tuning option.
        (TUNE_AVOID_VECTOR_DECODE): Ditto.
        (TUNE_SLOW_IMUL_IMM32_MEM): Ditto.
        (TUNE_SLOW_IMUL_IMM8): Ditto.
        (TUNE_MOVE_M1_VIA_OR): Ditto.
        (TUNE_NOT_UNPAIRABLE): Ditto.
        (TUNE_NOT_VECTORMODE): Ditto.
        
        * config/i386/i386.c (ix86_tune_features): Fill in new tuning
        options.

        * config/i386/i386.md (fix_trunc?f?1_sse peephole2): Use new
        tuning options instead of hard coded TARGET_xxx.
        (fix ssemode peephole2's): Ditto.
        (imul peephole2's): Ditto.
        (movsi_or): Ditto.
        (movdi_or_rex64): Ditto.
        (move peephole2): Ditto.
        (not peephole2's): Ditto.

2007-03-14  Dirk Mueller  <dmueller@suse.de>

        * c-common.h (empty_body_warning): Rename to empty_if_body_warning.
        * c-common.c (empty_if_body_warning): Rephrase diagnostic message.
        * c-parser.c (c_parser_if_body): Always add an empty statement in case
        of empty body.
        * c-parser.c (c_parser_do_statement): Warn about empty body in
        do/while statement.
        * c-typeck (c_finish_if_stmt): Call empty_if_body_warning.
        * doc/invoke.texi (-Wempty-body): Update documentation.

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

        PR c/21438
        * c-common.h (warn_for_div_by_zero): Declare.
        * c-common.c (warn_for_div_by_zero): Define.
        * c-typeck.c (build_binary_op): Call warn_for_div_zero instead of
        warning.

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

        * Makefile.in (PREPROCESSOR_DEFINES): Add directory terminators
        to PREFIX and STANDARD_PREFIX.

2007-03-14  Richard Sandiford  <richard@codesourcery.com>
            Phil Edwards  <phil@codesourcery.com>

        * gthr-vxworks.h: Add an extern "C" wrapper for C++.
        (__gthread_once_t): Remove busy field for RTPs.
        (__GTHREAD_ONCE_INIT): Update accordingly.

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

        * doc/invoke.texi: Document VxWorks options.

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

        * doc/invoke.texi (i386 and x86-64 Options): Clarify -msahf option.

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

        PR tree-optimization/30590
        * tree-nrv.c (tree_nrv): Check for the partial update of the
        return value.

2007-03-13  Alexandre Oliva  <aoliva@redhat.com>

        * flags.h (flag_random_seed): Remove declaration, in favor of...
        * toplev.h (get_random_seed, set_random_seed): ... these.
        * tree.c (get_file_function_name): Use the former.
        * opts.c (common_handle_option): Use the latter.
        * toplev.c

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

        PR middle-end/31127
        * cse.c (cse_find_path): Do not bail out if a basic block that
        we already visited now becomes part of a path that starts at a
        different basic block.  Just disallow this, to make sure we
        visit each basic block at most once.

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

        * ipa-inline.c (cgraph_maybe_hot_edge_p): Look for hot/cold attributes,
        when profile esitmate is present, calls with very low frequency are
        cold.

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

        PR tree-optimization/30730
        PR tree-optimization/26900
        * tree-ssa-loop-niter.c: Include gmp.h.
        (bounds): New type.
        (mpz_set_double_int, get_type_bounds, mpz_to_double_int,
        split_to_var_and_offset, determine_value_range,
        bound_difference_of_offsetted_base, refine_bounds_using_guard,
        bound_difference, bounds_add, bounds_negate,
        number_of_iterations_ne_max, dump_affine_iv): New functions.
        (number_of_iterations_ne, number_of_iterations_lt_to_ne,
        assert_loop_rolls_lt, assert_loop_rolls_le): Use bounds on the
        difference of initial and final value of control iv to validate
        results.
        (number_of_iterations_cond): Add loop parameter.  Determine bounds
        on the difference of the extremes of the control iv.  Add dumps.
        (expand_simple_operations): Handle phi nodes.
        (simplify_using_initial_conditions): Do not record used conditions.
        (number_of_iterations_exit): Pass loop to number_of_iterations_cond.
        Do not set additional_info.
        (implies_nonnegative_p, implies_ge_p): Removed.
        (derive_constant_upper_bound): Do not use parameter `additional'.
        (record_estimate): Parameter `additional' removed.  Parameter
        `i_bound' added.  Do not call derive_constant_upper_bound.
        (record_nonwrapping_iv): Use derive_constant_upper_bound to
        bound the number of iterations estimate.
        (estimate_numbers_of_iterations_loop): Pass the estimate from
        the number of iterations analysis to record_estimate.
        * tree.h (multiple_of_p): Declare.
        * tree-scalar-evolution.c (expression_expensive_p): Removed.
        (scev_const_prop): Do not check expression_expensive_p.
        * fold-const.c (multiple_of_p): Exported.
        * double-int.c (double_int_mask): Exported.
        * double-int.h (double_int_mask): Declare.
        * tree-flow.h (struct tree_niter_desc): Removed additional_info
        field.  Added max field.

2007-03-13  David Taylor  <taylor@candd.org>

        PR driver/12448:
        * gcc.c (cpp_unique_options): If -MT or -MQ is seen, don't pass
        default -MQ.

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

        PR target/31123
        * pa.md (vdepi_ior): Don't allow zero length deposit.  Likewise for
        two unamed patterns.
        
2007-03-13  Uros Bizjak  <ubizjak@gmail.com>

        * config/i386/i386.opt (mcx16, msahf): New options.
        * config/i386/i386.c (x86_cmpxchg16b, x86_sahf): Remove.
        (ix86_tune_features) [X86_TUNE_USE_SAHF]: Enable for m_GENERIC.

        * config/i386/driver-i386.c (bit_LAHF_LM): New define.
        (host_detect_local_cpu): Detect cx16 and lahf_lm cpuid bits.
        Output -mcx16 and -msahf options when corresponding bit is set.

        * doc/invoke.texi (i386 and x86-64 Options): Document -mcx16
        and -msahf options.

2007-03-13  Alexandre Oliva  <aoliva@redhat.com>

        * configure.ac: Test for assembler tolerance to # 0 "".
        * configure, config.in: Rebuilt.
        * final.c (final_scan_insn): Emit it if HAVE_AS_LINE_ZERO.

2007-03-13  Geoffrey Keating  <geoffk@apple.com>

        * doc/invoke.texi (Spec Files): Update for '%{,' spec.

        * config/rs6000/darwin-fallback.c: Compile file only on powerpc.
        (handle_syscall): Handle direct system calls.
        * config/rs6000/darwin.h (HAS_MD_FALLBACK_FRAME_STATE_FOR): Delete.

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

        * doc/invoke.texi: Fix cpp.info cross-reference.
        * doc/passes.texi: Fix gcc.info cross-reference.

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

        PR tree-optimization/30835
        * lambda-code.c (can_convert_to_perfect_nest): Check whether
        bb_for_stmt is not NULL before accessing it.

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

        * gcc.c (main): Handle target_sysroot_hdrs_suffix being NULL for
        some multilibs.

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

        PR 30635
        * doc/install.texi: Document --enable-stage1-languages

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

        * tree-pass.h (pass_into_cfg_layout_mode,
        pass_outof_cfg_layout_mode): Declare.
        * cfglayout.c (into_cfg_layout_mode, outof_cfg_layout_mode,
        pass_into_cfg_layout_mode, pass_outof_cfg_layout_mode): New.
        * passes.c (pass_into_cfg_layout_mode): Schedule before jump2.
        (pass_outof_cfg_layout_mode): Schedule after pass_rtl_ifcvt.

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

        * c-decl.c (warn_variable_length_array): New function.
        Refactored from grokdeclarator to handle warn_vla
        and handle unnamed array case.
        (grokdeclarator): Refactored VLA warning case.
        * c.opt (Wvla): New flag.
        * doc/invoke.texi (Wvla): New warning.

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

        * config/alpha/alpha.c (alpha_elf_section_type_flags): New.
        (TARGET_SECTION_TYPE_FLAGS): New.

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

        * config/darwin.c (machopic_reloc_rw_mask): New.
        * config/darwin-protos.h (machopic_reloc_rw_mask): Declare.
        * config/darwin.h (TARGET_ASM_RELOC_RW_MASK): New.

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

        * cppdefault.c (cpp_EXEC_PREFIX): New variable.
        * cppdefault.h (cpp_PREFIX): Document.
        (cpp_PREFIX_len): Likewise.
        (cpp_EXEC_PREFIX): New variable.
        * Makefile.in (PREPROCESSOR_DEFINES): Add STANDARD_EXEC_PREFIX.
        * c-incpath.c (add_standard_paths): Correct logic for relocating
        paths within prefix.

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

        * config/i386/i386.md (fixuns_trunc<mode>hi2): Implement from
        fixuns_truncsfhi2 and fixuns_truncdfhi2 using SSEMODEF
        mode macro.
        (fix_trunc<mode>di_sse): Implement from fix_truncsfdi_sse and
        fix_truncdfdi_sse using SSEMODEF mode macro.
        (fix_trunc<mode>si_sse): Implement from fix_truncsfsi_sse and
        fix_truncdfsi_sse using SSEMODEF mode macro.
        (fix_trunc?f?i_sse peephole2): Implement using SSEMODEF mode macro.
        (fix_trunc?f?i_sse K8 peephole2): Fix register constraint.

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

        * config.gcc (i[4567]86-wrs-vxworks, i[4567]86-wrs-vxworksae): Add
        elfos.h to tm_file.

2007-03-12  Olga Golovanevsky  <olga@il.ibm.com>
  
        * tree.h : Add multiple_of_p declaration.
        * fold-const.c (multiple_of_p): Make multiple_of_p public. 
        * ipa-type-escape.c (results_of_malloc): Redundant.
        (visited_stmts): New. Visited stmt for walk_use_def_chains.
        (cast_type): Extended with new members.
        (check_cast): Returns cast_type.
        (cast): New structure for data of walk_use_def_chains.
        (is_malloc_result, is_cast_from_non_pointer_1,
        is_cast_from_non_pointer, 
        is_array_access_through_pointer_and_index): New functions.
        (look_for_casts): Returns cast types.
        (check_call): Returns void.
        (okay_pointer_operation): Use support of pointer plus index,
        pointer plus constant and allow all multiplications.
        
2007-03-11  Richard Guenther  <rguenther@suse.de>

        PR tree-optimization/31115
        * tree-vrp.c (extract_range_from_binary_expr): Make sure
        the shift count is positive and non-anti-range for RSHIFT_EXPR.
        A shift count of zero is not special as with *_DIV_EXPR.
        (vrp_int_const_binop): Handle RSHIFT_EXPR for determining overflow
        direction.

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

        * tree-vrp.c (vrp_int_const_binop): Handle PLUS_EXPR and
        the *_DIV_EXPR codes correctly with overflow infinities.

2007-03-11  Ira Rosen  <irar@il.ibm.com>

        * tree-data-ref.c (analyze_offset): Add a return value (bool) to 
        indicate success/failure of the analysis. Add negation to subtrahend
        in case of subtraction. Fail if both operands contain constants.
        (create_data_ref): Fail if analyze_offset fails.

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

        * config/i386/i386.md (frndintxf2): Rename to ...
        (rintxf2): ... this. Remove expander having same name.
        (rintsf2, rintdf2): Implement using SSEMODEF macro.
        (roundsf2, rounddf2): Ditto.
        (lrint<mode>di2, lrint<mode>si2): Implement using SSEMODEI24 macro.
        (lround<mode>di2, lround<mode>si2): Ditto.

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

        * lower-subreg.c: Include except.h.
        (decompose_multiword_subregs): Verify that the only control flow
        insns we can split are loads to multi-words pseudos.
        Handle breaking such blocks after splitting, instead of calling
        find_many_sub_basic_blocks.

        * loop-unroll.c (split_edge_and_insert): Don't set BB_SUPERBLOCK
        on the new basic block.  Add a lengthy comment explaining why we
        thought this was necessary.
        * cfglayout.c (cfg_layout_finalize): Don't break superblocks.

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

        PR c++/30924
        * tree.c (walk_type_fields): Recurse into the element type of
        ARRAY_TYPEs if there is a pointer set.

2007-03-10  Dirk Mueller  <dmueller@suse.de>

        * c-common.c (warn_logical_operator): Fix condition.

2007-03-10  Tobias Schlüter  <tobi@gcc.gnu.org>

        * config/i386/darwin.h (DARWIN_MINVERSION_SPEC): Add missing
        quotation mark.
        * config/darwin.c (machopic_select_section): Remove superfluous
        argument in call to categorize_decl_for_section.  Remove unused
        variable shlib.

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

        * configure.ac (glibc_header_dir): Set using with_build_sysroot if
        defined.
        * configure: Regenerate.

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

        PR target/31101
        * config/i386/i386.md (UNSPEC_C2_FLAG): New constant.
        (fpremxf4_i387, fprem1xf4_i387): Use UNSPEC_C2_FLAG.
        (fmodxf3, fmod<mode>3, remainderxf3, remainder<mode>3):
        Add LABEL_NUSES to emitted label.
        * config/i386/i386.c (ix86_emit_fp_unordered_jump): Add
        branch probability value to emitted jump insn.
        * reg-stack.c (subst_stack_regs_pat)[UNSPEC]: Handle UNSPEC_C2_FLAG.
        Do not check life information and do not re-arrange input operands
        for UNSPEC_FSCALE_EXP, UNSPEC_FPREM_U and UNSPEC_FPREM1_U.

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

        * config/sh/sh.c (sh_insn_length_adjustment): Adjust for
        the change of decode_asm_operands.

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

        * mode-switching.c (create_pre_exit): Skip blockage insn.

2007-03-09  Diego Novillo  <dnovillo@redhat.com>

        * tree-pass.h (TODO_update_smt_usage): Remove.
        Update all users.
        * tree-ssa-forwprop.c (forward_propagate_addr_expr_1): Remove
        argument SOME.
        Update all users.

2007-03-09  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>

        * pa.c (attr_length_call): Revise condition for long pc-relative branch.
        (output_call): Use "LONG_PIC_SDIFF" instruction sequence for long local
        calls on the SOM target.  Don't use "LONG_PIC_PCREL" call sequence on
        SOM target.

2007-03-09  Geoffrey Keating  <geoffk@apple.com>

        * gcc.c: Document %{, in big comment at top.
        (input_suffix_matches): Remove special handling for .s and
        .S.
        (input_spec_matches): New.
        (handle_braces): Handle %{,.
        (validate_switches): ',' indicates a value which is not a switch.
        * config/alpha/osf.h (ASM_FINAL_SPEC): Use %{, rather than %{.
        to detect assembler input.
        * config/i386/sol2.h (CPP_SPEC): Likewise.
        * config/rs6000/sysv4.h (ASM_SPEC): Likewise.
        * config/rs6000/vxworks.h (ASM_SPEC): Likewise.
        * config/rs6000/lynx.h (ASM_SPEC): Likewise.
        * config/rs6000/linux64.h (ASM_SPEC_COMMON): Likewise.
        * config/i386/darwin.h (DARWIN_MINVERSION_SPEC): Objective-C plus
        -m64 causes deployment target to default to 10.5.
        * config/rs6000/darwin.h (DARWIN_MINVERSION_SPEC): Likewise.

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

        PR target/26090
        * target.h (targetm.asm.out.reloc_rw_mask): New.
        * target-def.h (TARGET_ASM_RELOC_RW_MASK): New.
        (TARGET_ASM_OUT): Use it.
        * targhooks.c, targhooks.h (default_reloc_rw_mask): New.
        * varasm.c (categorize_decl_for_section): Remove shlib argument;
        use the new reloc_rw_mask target hook instead.
        (default_section_type_flags_1): Merge into...
        (default_section_type_flags): ... here.
        (decl_readonly_section_1): Merge into...
        (decl_readonly_section): ... here.
        (default_elf_select_section_1): Merge into...
        (default_elf_select_section): ... here.
        (default_unique_section_1): Merge into...
        (default_unique_section): ... here.
        (compute_reloc_for_rtx_1, compute_reloc_for_rtx): New.
        (default_select_rtx_section): Use it.
        (default_elf_select_rtx_section): Likewise.
        * output.h: Update to match.
        * doc/tm.texi (TARGET_ASM_RELOC_RW_MASK): New.
        * config/alpha/alpha.c (alpha_elf_reloc_rw_mask): New.
        (TARGET_ASM_RELOC_RW_MASK): New.
        * config/i386/i386.c (x86_64_elf_select_section): Adjust call
        to categorize_decl_for_section.
        (x86_64_elf_unique_section): Likewise.
        * config/ia64/hpux.h (TARGET_ASM_SELECT_SECTION,
        TARGET_ASM_UNIQUE_SECTION, TARGET_ASM_SELECT_RTX_SECTION): Remove.
        (TARGET_ASM_RELOC_RW_MASK): New.
        * config/ia64/ia64.c (ia64_rwreloc_select_section,
        ia64_rwreloc_unique_section, ia64_rwreloc_select_rtx_section): Remove.
        (ia64_hpux_reloc_rw_mask, ia64_reloc_rw_mask): New.
        (TARGET_RWRELOC): Remove.
        (ia64_section_type_flags): Adjust call to default_section_type_flags.
        * config/ia64/sysv4.h (TARGET_ASM_RELOC_RW_MASK): New.
        * config/rs6000/rs6000.c (rs6000_elf_section_type_flags): Remove.
        (rs6000_elf_select_section, rs6000_elf_unique_section): Remove.
        (rs6000_elf_reloc_rw_mask, rs6000_xcoff_reloc_rw_mask): New.
        (rs6000_xcoff_select_section): Use decl_readonly_section.
        (rs6000_xcoff_section_type_flags): Use default_section_type_flags.
        * config/rs6000/sysv4.h (TARGET_ASM_RELOC_RW_MASK): New.
        (TARGET_ASM_SELECT_SECTION, TARGET_ASM_UNIQUE_SECTION): Remove.
        (TARGET_SECTION_TYPE_FLAGS): Remove.
        * config/rs6000/xcoff.h (TARGET_ASM_RELOC_RW_MASK): New.

2007-03-09  Roger Sayle  <roger@eyesopen.com>

        * fold-const.c (fold_comparison): Remove compile-time evaluation of
        complex constant equality/inequality comparisons for here.
        (fold_binary) <EQ_EXPR>: Simplify complex comparisons that are
        known at compile-time or can be simplified to a scalar comparison.
        (fold_relational_const): Move compile-time evaluation of complex
        constant equality/inequality comparisons to here.

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

        PR rtl-optimization/30643
        * cse.c (cse_insn): Recompute dest_hash after insert_regs for
        dest_addr_elt.
        (fold_rtx): Recurse, like before 2006-11-03.

2007-03-09  DJ Delorie  <dj@redhat.com>

        * config/m32c/t-m32c (m32c-pragma.o): Add TM_H dependency to
        m32c-pragma.o.

2007-03-09  Aldy Hernandez  <aldyh@redhat.com>

        PR tree-optimization/30375
        * tree-ssa-dse.c (dse_possible_dead_store_p): Do not eliminate if
        LHS of statements is not the same.
        * testsuite/gcc.dg/tree-ssa/ssa-dse-10.c: New.

2007-03-09  Chao-ying Fu  <fu@mips.com>

        * doc/extend.texi (MIPS DSP Built-in Functions): Document the DSP
        REV 2.
        * doc/invoke.texi (-mdspr2): Document new option.
        * config/mips/mips.md (UNSPEC_ABSQ_S_QB .. UNSPEC_DPSQX_SA_W_PH):
        New unspec for DSP REV 2.
        (<u>mulsidi3_32bit_internal): Check if !TARGET_DSPR2, because
        these instructions are extended in DSP REV 2.
        (mips-dspr2.md): Include.
        * config/mips/mips.opt (mdspr2): New option.
        * config/mips/mips.c (mips_function_type): Add MIPS_V4QI_FTYPE_V4QI,
        MIPS_SI_FTYPE_SI_SI_SI, MIPS_DI_FTYPE_DI_USI_USI, MIPS_DI_FTYPE_SI_SI,
        MIPS_DI_FTYPE_USI_USI, MIPS_V2HI_FTYPE_SI_SI_SI.
        (override_options): Check TARGET_DSPR2 to enable MASK_DSP.
        (CODE_FOR_mips_mul_ph): Define it to CODE_FOR_mulv2hi3.
        (dsp_bdesc): Add DSP REV 2 builtins.  Remove 32-bit only DSP builtins.
        (dsp_32only_bdesc): New description table for 32-bit only DSP REV 1
        and 2 builtins.
        (bdesc_map): Add one field of unsupported_target_flags.
        (bdesc_arrays):  Update entries to have extra fields.  Add
        dsp_32only_bdesc.
        (mips_init_builtins): Initialize new function types.
        Check unsupported_target_fileds to filter out builtins.
        * config/mips/mips.h (TARGET_CPU_CPP_BUILTINS): Define __mips_dspr2 if
        TARGET_DSPR2.
        (ASM_SPEC): Pass mdspr2 to the assembler.
        * config/mips/mips-dspr2.md: New file.

2007-03-09  Sa Liu  <saliu@de.ibm.com>

        * config/rs6000/altivec.md: Fix vcond patterns using if_then_else.

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

        * opts.c (common_handle_option): Treat -Wstrict-overflow (with no
        argument) like -Wstrict-overflow=2.
        * doc/invoke.texi (Warning Options): Update documentation.

2007-03-09  Dirk Mueller  <dmueller@suse.de>

        PR c++/17946
        * doc/invoke.texi (-Wlogical-op): Document.
        * common.opt (-Wlogical-op): New.
        * c-common.h (warn_logical_operator): Declare.
        * c-common.c (warn_logical_operator): Define.
        * c-typeck.c (parser_build_binary_op): Call
        warn_logical_operator.

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

        * rtl.h (gen_rtx_ASM_INPUT): Use "" instead of NULL file name.
        * final.c (final_scan_insn): Test for non-"" file name.

2007-03-09  Sebastian Pop  <sebastian.pop@inria.fr>

        * doc/loop.texi: Document the Omega linear constraints solver.
        * doc/invoke.texi: Document -fcheck-data-deps, omega-max-vars,
        omega-max-geqs, omega-max-eqs, omega-max-wild-cards, 
        omega-hash-table-size, omega-max-keys, and 
        omega-eliminate-redundant-constraints.
        * tree-pass.h (pass_check_data_deps): Declared.
        * omega.c: New.
        * omega.h: New.
        * timevar.def (TV_CHECK_DATA_DEPS): Declared.
        * tree-ssa-loop.c (check_data_deps, gate_check_data_deps, 
        pass_check_data_deps): New.
        * tree-data-ref.c (init_data_ref): Remove declaration.
        (dump_data_dependence_relation): Dump DDR_INNER_LOOP.
        (analyze_array): Renamed init_array_ref, move up initializations.
        (init_data_ref): Renamed init_pointer_ref.  Moved before its call.
        Removed arguments that are set to NULL.
        (analyze_indirect_ref): Correct indentation, correct call to 
        init_pointer_ref.
        (object_analysis): Call init_array_ref instead of analyze_array.
        (initialize_data_dependence_relation): Initialize DDR_INNER_LOOP.
        (access_functions_are_affine_or_constant_p): Use DR_ACCESS_FNS instead
        of DR_ACCESS_FNS_ADDR.
        (init_omega_eq_with_af, omega_extract_distance_vectors, 
        omega_setup_subscript, init_omega_for_ddr_1, init_omega_for_ddr,
        ddr_consistent_p): New.
        (compute_affine_dependence): Check consistency of ddrs when 
        flag_check_data_deps is passed.
        (analyze_all_data_dependences): Uncomment.
        (tree_check_data_deps): New.
        * tree-data-ref.h: Include omega.h.
        (DR_ACCESS_FNS_ADDR): Removed.
        (data_dependence_relation): Add inner_loop.
        (DDR_INNER_LOOP): New.
        * common.opt (fcheck-data-deps): New.
        * tree-flow.h (tree_check_data_deps): Declare.
        * Makefile.in (TREE_DATA_REF_H): Depend on omega.h.
        (OBJS-common): Depend on omega.o.
        (omega.o): Define.
        * passes.c (pass_check_data_deps): Scheduled.
        * params.def (PARAM_OMEGA_MAX_VARS, PARAM_OMEGA_MAX_GEQS, 
        PARAM_OMEGA_MAX_EQS, PARAM_OMEGA_MAX_WILD_CARDS,
        PARAM_OMEGA_HASH_TABLE_SIZE, PARAM_OMEGA_MAX_KEYS,
        PARAM_VECT_MAX_VERSION_CHECKS,
        PARAM_OMEGA_ELIMINATE_REDUNDANT_CONSTRAINTS): New.

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

        PR tree-optimization/30904
        PR middle-end/31058
        * tree-vrp.c (extract_range_from_binary_expr): Handle RSHIFT_EXPR
        the same way as *_DIV_EXPR.

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

        * recog.c (decode_asm_operands): No mixed declarations and code.

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

        * rtl.def (ASM_INPUT): Add location.
        * rtl.h (ASM_INPUT_SOURCE_LOCATION): New.
        (ASM_INPUT_SOURCE_FILE, ASM_INPUT_SOURCE_LINE): New.
        (decode_asm_operands): Add loc operand.
        (gen_rtx_ASM_INPUT, gen_rtx_ASM_INPUT_loc): Define.
        * stmt.c (expand_asm): Rename to...
        (expand_asm_loc): ... this.  Add locus argument.  Pass it on to
        gen_rtx_ASM_INPUT_loc.
        (expand_asm_expr): Adjust.
        * recog.c (decode_asm_operands): Add loc operand.
        (check_asm_operands, extract_insn): Adjust.
        * reload1.c (maybe_fix_stack_asms): Likewise.
        * final.c (asm_insn_count): Likewise.
        (final_scan_insn): Output # line before and after asm.

2007-03-09  Daniel Berlin  <dberlin@dberlin.org>

        * tree-ssa-structalias.c (variable_info): Remove
        finished_solution.
        (new_var_info): Ditto.
        (shared_bitmap_info_t): New structure.
        (shared_bitmap_table): New variable.
        (shared_bitmap_hash): New function.
        (shared_bitmap_eq): Ditto
        (shared_bitmap_lookup): Ditto.
        (shared_bitmap_add): Ditto.
        (merge_smts_into): Change to take bitmap directly.
        (find_what_p_points_to): Rewrite to use shared bitmap hashtable.
        (init_alias_vars): Init shared bitmap hashtable.
        (delete_points_to_sets): Delete shared bitmap hashtable.
        * tree-ssa-operands.c (add_virtual_operand): Partially revert the
        is_aliased removal as a change that was still necessary was
        deleted.

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

        * config/i386/i386.h (override_options): Conditionally disable
        x86_sahf for 64bit targets only.

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

        PR C/31072
        * c-decl.c (merge_decls): Don't call make_var_volatile.
        * varasm.c (make_var_volatile): Remove.
        * output.h (make_var_volatile): Remove.

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

        PR tree-optimization/31085
        * tree-ssa-address.c (create_mem_ref): Fix test of type of base.

2007-03-08  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>

        * builtins.def (lceil, lceilf, lceill, lfloor, lfloorf, lfloorl,
        llceil, llceilf, llceill, llfloor, llfloorf, llfloorl): Mark with
        ATTR_CONST_NOTHROW_LIST.
        
        * fold-const.c (tree_expr_nonnegative_warnv_p): Handle
        FIX_TRUNC_EXPR.

2007-03-08  Diego Novillo  <dnovillo@redhat.com>

        * doc/tree-ssa.texi: Remove documentation for V_MUST_DEF.

2007-03-08  Geoffrey Keating  <geoffk@apple.com>

        PR 31013
        * gccspec.c (lang_specific_driver): Do nothing when NEXT_OBJC_RUNTIME
        is declared.
        * config/darwin.h (REAL_LIBGCC_SPEC): When -fgnu-runtime is
        passed, use shared libgcc.

2007-03-08  Roger Sayle  <roger@eyesopen.com>

        * tree-eh.c (do_return_redirection): Call build_gimple_modify_stmt
        instead of calling build2 with a GIMPLE_MODIFY_STMT.
        (honor_protect_cleanup_actions, lower_try_finally_switch):
        Likewise.
        * tree-if-conv.c (replace_phi_with_cond_gimple_modify_stmt,
        ifc_temp_var): Likewise.
        * tree-inline.c (setup_one_parameter): Likewise.
        * tree-mudflap.c (mf_decl_cache_locals,
        mf_build_check_statement_for): Likewise.
        * tree-nested.c (init_tmp_var, save_tmp_var,
        finalize_nesting_tree_1): Likewise.
        * tree-outof-ssa.c (insert_copy_on_edge,
        insert_backedge_copies): Likewise.
        * tree-profile.c (tree_gen_edge_profiler,
        tree_gen_ic_profiler): Likewise.
        * tree-scalar-evolution.c (scev_const_prop): Likewise.
        * tree-sra.c (sra_build_assignment): Likewise.
        * tree-ssa-loop-im.c (determine_invariantness_stmt): Likewise.
        * tree-ssa-math-opts.c (insert_reciprocals,
        execute_cse_sincos_1): Likewise.
        * tree-tailcall.c (adjust_accumulator_values,
        adjust_return_value): Likewise.
        * tree-vect-patterns.c (vect_pattern_recog_1): Likewise.
        * tree-vect-transform.c (vect_create_data_ref_ptr,
        bump_vector_ptr, vect_init_vector, get_initial_def_for_induction,
        vect_create_epilog_for_reduction, vectorizable_reduction,
        vectorizable_call, vectorizable_conversion,
        vectorizable_assignment, vectorizable_operation,
        vectorizable_type_demotion, vect_gen_widened_results_half,
        vect_permute_store_chain, vectorizable_store,
        vect_setup_realignment, vect_permute_load_chain,
        vectorizable_load, vectorizable_condition,
        vect_create_cond_for_align_checks): Likewise.
        * tree-vrp.c (build_assert_expr_for): Likewise.

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

        * tree-vrp.c: Include "intl.h".
        (usable_range_p): New static function.
        (compare_values_warnv): Don't test TYPE_OVERFLOW_UNDEFINED for
        overflowed values, juts set *strict_overflow_p.
        (compare_values): Only return -2 if one of the operands is not a
        constant.
        (compare_ranges): Call usable_range_p.
        (compare_range_with_value): Likewise.
        (vrp_evaluate_conditional_warnv): Rename from
        vrp_evaluate_conditional.  Make static.  Change all callers.
        (vrp_evaluate_conditional): New function.
        (simplify_div_or_mod_using_ranges): Issue warning about reliance
        on signed overflow.
        (simplify_abs_using_ranges): Likewise.
        (simplify_stmt_for_jump_threading): Add within_stmt parameter.
        * tree-ssa-dom.c (simplify_stmt_for_jump_threading): Add
        within_stmt parameter.
        * tree-ssa-propagate.c (fold_predicate_in): Update call to
        vrp_evaluate_conditional.
        * tree-ssa-threadedge.c
        (record_temporary_equivalences_from_stmts_at_dest): Change
        simplify parameter to take a second tree parameter.
        (simplify_control_stmt_condition): Likewise.
        (thread_across_edge): Likewise.
        * tree-flow.h (vrp_evaluate_conditional): Update declaration.
        (thread_across_edge): Likewise.
        * gcc/Makefile.in (tree-vrp.o): Depend upon intl.h.

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

        * config/i386/i386.h (TARGET_SAHF): New define.
        * config/i386/i386.c (ix86_tune_features) [X86_TUNE_USE_SAHF]:
        Also enable for m_K8, m_AMDFAM10 and m_CORE2.
        (x86_sahf): New global variable.
        (override_options): Add PTA_NO_SAHF to pta_flags enum.  Recode
        pta_flags masks using shifts.  Add PTA_NO_SAHF to x86_64 and
        nocona processor flags.  Set x86_sahf when PTA_NO_SAHF is not set
        in processor flags.  Do not unconditionally disable TARGET_USE_SAHF
        for 64-bit.
        (ix86_fp_comparison_sahf_cost): Return high value for !TARGET_SAHF.
        (ix86_expand_fp_compare): Check for TARGET_CMOVE or TARGET_SAHF
        when expanding fcomi/sahf based tests.
        (ix86_emit_fp_unordered_jump): Check for TARGET_SAHF when
        expanding sahf based alternative. Emit sahf based sequence when
        optimizing for code size.
        * config/i386/i386.md (x86_sahf_1): Do not disable for
        TARGET_64BIT, enable for TARGET_SAHF. 

2007-03-08  Martin Michlmayr  <tbm@cyrius.com>

        * tree-ssa-coalesce.c (fail_abnormal_edge_coalesce): Remove
        spurious whitespace from error message.

2007-03-08  Volker Reichelt  <reichelt@netcologne.de>

        PR c++/30852
        * c-common.c (fold_offsetof_1): Handle COMPOUND_EXPR.

2007-03-08  Alexandre Oliva  <aoliva@redhat.com>

        * c-decl.c (grokdeclarator): Disable warnings for anonymous
        bitfields.
        * tree-sra.c (instantiate_element): Propagate disabled warnings
        from the element itself to the created variable.

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

        PR target/30848
        * reg-stack.c (emit_swap_insn): If a malformed asm was seen,
        silently fix up the stack in the case of a missing register.

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

        * config/arm/libunwind.S: Add .arch/.object_arch for armv4 builds.

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

        * config/arm/unwind-arm.c (struct wmmxd_regs, struct wmmxc_regs):
        New.
        (phase1_vrs): Use them.
        (DEMAND_SAVE_WMMXD, DEMAND_SAVE_WMMXC): New.
        (__gnu_Unwind_Save_WMMXD, __gnu_Unwind_Restore_WMMXD,
        __gnu_Unwind_Save_WMMXC, __gnu_Unwind_Restore_WMMXC): Declare.
        (restore_non_core_regs): Call __gnu_Unwind_Restore_WMMXD and
        __gnu_Unwind_Restore_WMMXC if required.
        (_Unwind_VRS_Pop): Implement iWMMXt support.
        * config/arm/libunwind.S (gnu_Unwind_Restore_WMMXD,
        gnu_Unwind_Save_WMMXD, gnu_Unwind_Restore_WMMXC,
        gnu_Unwind_Save_WMMXC): Define.

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

        * config/vxworks.h (vxworks_override_options): Declare.
        (VXWORKS_OVERRIDE_OPTIONS): Use it.
        * config/vxworks.c: Include target.h and toplev.h.
        (vxworks_override_options): New function.
        * config/t-vxworks (vxworks.o): Depend on $(TARGET_H) and toplev.h.

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

        * config/s390/s390.c (override_options): Don't emit an error when
        -mstack-size is used without providing -mstack-guard.
        (s390_emit_prologue): Choose stack_guard value automatically if not
        provided via command line.
        * doc/invoke.texi: Adjust description of -mstack-guard and -mstack-size.

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

        * config/i386/i386.c (output_set_got): Add a GOT initialization
        sequence for VxWorks PIC.
        (legitimate_pic_address_disp_p): Allow UNSPEC_GOT wrappers
        around labels as well as symbols.  Use gotoff_operand instead
        of local_symbolic_operand.
        (legitimize_pic_address): Use gotoff_operand instead of
        local_symbolic_operand.  Use @GOT accesses for labels as
        well as symbols.
        (ix86_output_addr_diff_elt): Use PC-relative rather than
        GP-relative offsets for VxWorks PIC.
        (ix86_expand_move): Pass NULL_RTX to legitimize_pic_address unless
        no_new_pseudos.  Check whether the returned register is op0.
        * config/i386/i386.md (tablejump): Use PC-relative rather than
        GP-relative offsets for VxWorks PIC.
        * config/i386/predicates.md (gotoff_operand): New predicate.

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

        * config/vxworks.h (VXWORKS_GOTT_BASE, VXWORKS_GOTT_INDEX): Undefine
        before defining.
        * config/vxworks-dummy.h: New file.
        * config/i386/i386.h: Include it.

2007-03-07  Alexandre Oliva  <aoliva@redhat.com>

        * dwarf2out.c (is_inlined_entry_point): New
        (add_high_low_attributes): Emit DW_AT_entry_pc along with
        DW_AT_ranges if the first subblock is the entry point.

2007-03-06  David Daney  <ddaney@avtrex.com>

        * doc/install.texi (mips-*-*): Change recommended binutils
        version.

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

        * config/avr/avr.c (avr_mcu_types): Add support for ATmega325P,
        ATmega3250P, ATmega329P, ATmega3290P, AT90USB82 and AT90USB162 
        devices.
        * config/avr/avr.h (LINK_SPEC, CRT_BINUTILS_SPECS): (Ditto.).
        * config/avr/t-avr (MULTILIB_MATCHES): (Ditto.).

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

        * errors.h (warning, error, fatal, internal_error): Mark as cold.
        * predict.c (maybe_hot_bb): Cold functions are never hot; hot functions
        are hot.
        (probably_cold_bb_p): Cold functions are cold.
        (probably_never_executed_bb_p): Cold functions are cold.
        (tree_bb_level_predictions): Predict calls to cold functions as not
        taken.
        (compute_function_frequency): Check hot/cold attributes.
        * function.h (function_frequency): Update comments.
        * predict.def (PRED_COLD_FUNCTION): Predict cold function.
        * c-common.c (handle_hot_attribute, handle_cold_attribute): New.
        (c_common_att): Add cold and hot.

        * doc/extend.texi (hot,cold attributes): Document.

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

        * function.c (expand_function_end): Move blockage to just after we
        emit the label for the naked return from the function.

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

        * config/i386/att.h (ASM_OUTPUT_ASCII, ASM_OUTPUT_SKIP): Undefine
        before redefining.

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

        * reg-stack.c (reg_to_stack): Large models don't allow NAN to be
        loaded for constant large models.  Non-large 64bit PIC can do.
        * i386.h (CASE_VECTOR_MODE): Large PIC cases are 64bit.
        * cmodel.h: Add LARGE PIC.
        * i386.md (UNSPEC_PLTOFF): New.
        (UNSPEC_SET_RIP, UNSPEC_SET_GOT_OFFSET): New; renumber other unspecs as
        needed.
        (*call_1_rex64): Disable for large models.
        (*call_1_rex64_large): New.
        (*call_value_1_rex64): Disable for large models.
        (*call_value_1_rex64_large): New.
        (set_rip_rex4): New.
        (set_got_offset_rex64): New.
        * predicates.md (constant_call_address_operand): For large model
        constant calls are not possible.
        * i386-protos.h (construct_plt_address): Declare.
        * i386.c (override_options): Accept large models.
        (ix86_expand_prologue): Expand large PIC GOT pointer load.
        (legitimate_constant_p): Add new UNSPECs.
        (legitimate_pic_operand_p): Likewise.
        (legitimate_pic_address_disp_p): Disallow local symbols for large PICs.
        (legitimize_pic_address): Do easy RIP relative way for TLS only for
        non-large model.
        (output_pic_addr_const): Add PLTOFF.
        (ix86_output_addr_diff_elt): Output 64bit tables when needed.
        (ix86_expand_move): Legitimize pic address when in PIC mode.
        (construct_plt_address): New function.
        (ix86_expand_call): Offload the address to register and use GOT pointer
        for large model.
        * invoke.texi (mcmodel=large): Update documentation.

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

        * config/i386/i386.c (x86_use_leave, x86_push_memory,
        x86_zero_extend_with_and, x86_movx, x86_double_with_add,
        x86_use_bit_test, x86_unroll_strlen, x86_deep_branch,
        x86_branch_hints, x86_use_sahf, x86_partial_reg_stall,
        x86_partial_flag_reg_stall, x86_use_himode_fiop, x86_use_simode_fiop,
        x86_use_mov0, x86_use_cltd, x86_read_modify_write, x86_read_modify,
        x86_split_long_moves, x86_promote_QImode, x86_fast_prefix, 
        x86_single_stringop, x86_qimode_math, x86_promote_qi_regs,
        x86_himode_math, x86_promote_hi_regs, x86_sub_esp_4, x86_sub_esp_8,
        x86_add_esp_4, x86_add_esp_8, x86_integer_DFmode_moves, 
        x86_partial_reg_dependency, x86_memory_mismatch_stall, 
        x86_prologue_using_move, x86_epilogue_using_move, x86_shift1,
        x86_sse_partial_reg_dependency, x86_sse_split_regs, 
        x86_sse_unaligned_move_optimal, x86_sse_typeless_stores,
        x86_sse_load0_by_pxor, x86_use_ffreep, x86_use_incdec,
        x86_inter_unit_moves, x86_ext_80387_constants, x86_four_jump_limit,
        x86_schedule, x86_use_bt, x86_pad_returns,
        x86_use_xchgb): Merge into ...
        (ix86_tune_features): ... here.  New array.
        (x86_cmove, x86_cmpxchg, x86_cmpxchg8b, x86_xadd,
        x86_bswap): Merge into ...
        (ix86_arch_features): ... here.  New array.
        (x86_3dnow_a): Remove.
        (x86_accumulate_outgoing_args): Make static.
        (x86_arch_always_fancy_math_387): Make static.
        (ix86_tune_mask, ix86_arch_mask): Move ...
        (override_options): ... to local variables here.  Apply the
        appropriate mask to each element of ix86_arch_features and
        ix86_tune_features.  Adjust TARGET_CMOVE and TARGET_USE_SAHF
        as were done in the old macros.
        (standard_80387_constant_p): Use TARGET_EXT_80387_CONSTANTS.
        * config/i386/i386.h (x86_use_leave, x86_push_memory,
        x86_zero_extend_with_and, x86_use_bit_test, x86_cmove, x86_deep_branch,
        x86_branch_hints, x86_unroll_strlen, x86_double_with_add,
        x86_partial_reg_stall, x86_movx, x86_use_himode_fiop,
        x86_use_simode_fiop, x86_use_mov0, x86_use_cltd, x86_use_xchgb,
        x86_read_modify_write, x86_read_modify, x86_split_long_moves,
        x86_promote_QImode, x86_single_stringop, x86_fast_prefix,
        x86_himode_math, x86_qimode_math, x86_promote_qi_regs,
        x86_promote_hi_regs, x86_integer_DFmode_moves, x86_add_esp_4,
        x86_add_esp_8, x86_sub_esp_4, x86_sub_esp_8,
        x86_partial_reg_dependency, x86_memory_mismatch_stall,
        x86_accumulate_outgoing_args, x86_prologue_using_move,
        x86_epilogue_using_move, x86_decompose_lea,
        x86_arch_always_fancy_math_387, x86_shift1,
        x86_sse_partial_reg_dependency, x86_sse_split_regs,
        x86_sse_unaligned_move_optimal, x86_sse_typeless_stores,        
        x86_sse_load0_by_pxor, x86_use_ffreep, x86_inter_unit_moves,
        x86_schedule, x86_use_bt, x86_cmpxchg, x86_cmpxchg8b, x86_xadd,
        x86_use_incdec, x86_pad_returns, x86_bswap,
        x86_partial_flag_reg_stall): Remove.
        (enum ix86_tune_indices): New.
        (ix86_tune_features): New.
        (TARGET_USE_LEAVE, TARGET_PUSH_MEMORY, TARGET_ZERO_EXTEND_WITH_AND,
        TARGET_USE_BIT_TEST, TARGET_UNROLL_STRLEN,
        TARGET_DEEP_BRANCH_PREDICTION, TARGET_BRANCH_PREDICTION_HINTS,
        TARGET_DOUBLE_WITH_ADD, TARGET_USE_SAHF, TARGET_MOVX,
        TARGET_PARTIAL_REG_STALL, TARGET_PARTIAL_FLAG_REG_STALL,
        TARGET_USE_HIMODE_FIOP, TARGET_USE_SIMODE_FIOP, TARGET_USE_MOV0,
        TARGET_USE_CLTD, TARGET_USE_XCHGB, TARGET_SPLIT_LONG_MOVES,
        TARGET_READ_MODIFY_WRITE, TARGET_READ_MODIFY, TARGET_PROMOTE_QImode,
        TARGET_FAST_PREFIX, TARGET_SINGLE_STRINGOP, TARGET_QIMODE_MATH,
        TARGET_HIMODE_MATH, TARGET_PROMOTE_QI_REGS, TARGET_PROMOTE_HI_REGS,
        TARGET_ADD_ESP_4, TARGET_ADD_ESP_8, TARGET_SUB_ESP_4,
        TARGET_SUB_ESP_8, TARGET_INTEGER_DFMODE_MOVES,
        TARGET_PARTIAL_REG_DEPENDENCY, TARGET_SSE_PARTIAL_REG_DEPENDENCY,
        TARGET_SSE_UNALIGNED_MOVE_OPTIMAL, TARGET_SSE_SPLIT_REGS,
        TARGET_SSE_TYPELESS_STORES, TARGET_SSE_LOAD0_BY_PXOR,
        TARGET_MEMORY_MISMATCH_STALL, TARGET_PROLOGUE_USING_MOVE,
        TARGET_EPILOGUE_USING_MOVE, TARGET_SHIFT1, TARGET_USE_FFREEP,
        TARGET_INTER_UNIT_MOVES, TARGET_FOUR_JUMP_LIMIT, TARGET_SCHEDULE,
        TARGET_USE_BT, TARGET_USE_INCDEC, TARGET_PAD_RETURNS,
        TARGET_EXT_80387_CONSTANTS): Use it.
        (enum ix86_arch_indices): New.
        (ix86_arch_features): New.
        (TARGET_CMOVE, TARGET_CMPXCHG, TARGET_CMPXCHG8B, TARGET_XADD,
        TARGET_BSWAP): Use it.
        (ix86_tune_mask, ix86_arch_mask): Remove.

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

        PR bootstrap/31020
        * configure.ac (CROSS_SYSTEM_HEADER_DIR, build_system_header_dir):
        Define using $${sysroot_headers_suffix}.
        * configure: Regenerate.
        * cppdefault.c (cpp_include_defaults): Make FIXED_INCLUDE_DIR a
        multilib-suffixed directory if SYSROOT_HEADERS_SUFFIX_SPEC
        defined.
        * doc/invoke.texi (-print-sysroot-headers-suffix): Document.
        * gcc.c (print_sysroot_headers_suffix): New.
        (option_map): Include --print-sysroot-headers-suffix.
        (display_help): Mention -print-sysroot-headers-suffix.
        (process_command): Handle -print-sysroot-headers-suffix.
        (do_spec_1): Append multilib directory to include-fixed path if
        sysroot suffixes in use.
        (main): Handle -print-sysroot-headers-suffix.
        * Makefile.in (start.encap): Don't depend on xlimits.h
        (xlimits.h): Remove.
        (stmp-int-hdrs): Don't depend on xlimits.h.  Inline generation of
        limits.h for each multilib in fixinc_list.
        (fixinc_list, s-fixinc_list): New.
        (stmp-fixinc): Depend on fixinc_list.  If not copying headers,
        generate them for each multilib in fixinc_list.
        (stmp-fixproto): Use include-fixed.  Run fixproto for each
        multilib in fixinc_list.
        (mostlyclean): Don't remove xlimits.h.
        (clean): Remove include-fixed.
        (real-install-headers-tar, real-install-headers-cpio,
        real-install-headers-cp): Don't copy include, only include-fixed.
        (install-mkheaders): Depend on fixinc_list.  Don't depend on
        xlimits.h.  Save limits.h files for each multilib in fixinc_list.
        Always save mkinstalldirs.  Preserve ${sysroot_headers_suffix} in
        SYSTEM_HEADER_DIR setting in mkheaders.conf.

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

        * regstack.c (reg_to_stack): When in 64bit PIC mode, we still can load
        NANs easilly.

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

        * configure.ac: Allow tm_file to contain build-directory files.
        * configure: Regenerate.
        * config.gcc (m68k-*-uclinux*): Add ./sysroot-suffix.h to tm_file.
        * config/m68k/t-uclinux (sysroot-suffix.h): New target.
        * config/m68k/print-sysroot-suffix.sh: New file.

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

        * config/m68k/m68k.h (PIC_OFFSET_TABLE_REGNUM): Use the REGNO
        of pic_offset_table_rtx if reload_completed.
        (CONDITIONAL_REGISTER_USAGE): Use PIC_REG instead of
        PIC_OFFSET_TABLE_REGNUM.
        * config/m68k/m68k.c (TARGET_ASM_CAN_OUTPUT_MI_THUNK): Always
        return true.
        (m68k_save_reg): Use PIC_REG instead of PIC_OFFSET_TABLE_REGNO.
        (m68k_output_mi_thunk): Rewrite to use RTL.  Honor vcall_offset.

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

        * config/m68k/m68k.c (m68k_save_reg): Save the PIC register in
        functions that call eh_return.

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

        * config/m68k/m68k.c (m68k_save_reg): Save the PIC register in
        functions that need a constant pool.

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

        PR target/28181
        * config/m68k/m68k-protos.h (m68k_secondary_reload_class): Declare.
        (m68k_preferred_reload_class): Likewise.
        * config/m68k/m68k.h (HARD_REGNO_MODE_OK): Remove duplicated comment.
        (SECONDARY_RELOAD_CLASS): Define.
        (PREFERRED_RELOAD_CLASS): Use m68k_preferred_reload_class.
        (LIMIT_RELOAD_CLASS): Delete.
        * config/m68k/m68k.c (m68k_regno_mode_ok): Don't prevent address
        registers from storing bytes.
        (m68k_secondary_reload_class): New function.
        (m68k_preferred_reload_class): Likewise.

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

        * config/m68k/m68k.c (m68k_save_reg): Remove special case for
        leaf functions.
        (m68k_expand_prologue): Likewise.

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

        * config/m68k/m68k-protos.h (output_sibcall): Declare.
        (mips_expand_epilogue): Add a bool parameter.
        (m68k_legitimize_sibcall_address): Declare.
        * config/m68k/m68k.c (TARGET_FUNCTION_OK_FOR_SIBCALL): Define.
        (m68k_expand_epilogue): Add a parameter to select between sibling
        and normal epilogues.  Only generate a return for the latter.
        (m68k_ok_for_sibcall_p): New function.
        (m68k_legitimize_sibcall_address, output_sibcall): New functions.
        * config/m68k/m68k.md (sibcall, *sibcall): New patterns.
        (sibcall_value, *sibcall_value): Likewise.
        (*call, *call_value): Require !SIBLING_CALL_P.
        (epilogue): Update call to m68k_expand_epilogue.
        (sibcall_epilogue): New pattern.
        * config/m68k/predicates.md (const_call_operand): Say that this
        predicate applies to sibling calls too.
        (sibcall_operand): New predicate.

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

        * config/m68k/m68k.md (movsf_cf_soft): Provide the same non-mov3q
        alternatives as movsi_cf.
        (movsf_cf_hard): Add commentary.

2007-03-06  Kazu Hirata  <kazu@codesourcery.com>
            Richard Sandiford  <richard@codesourcery.com>

        * config/m68k/m68k-protos.h (m68k_interrupt_function_p): Declare.
        (m68k_movem_pattern_p, m68k_output_movem): Likewise.
        (m68k_expand_prologue, m68k_expand_epilogue): Likewise.
        * config/m68k/m68k.h (EPILOGUE_USES): Define.  Treat all registers
        as being live on exit from an interrupt function.
        (PRINT_OPERAND_PUNCT_VALID_P): Return true for '?'.
        * config/m68k/m68k.c (MIN_MOVEM_REGS, MIN_FMOVEM_REGS): New macros.
        (m68k_frame): Remove reg_rev_mask and fpu_rev_mask.
        (TARGET_ASM_FUNCTION_PROLOGUE, TARGET_ASM_FUNCTION_EPILOGUE): Delete.
        (m68k_interrupt_function_p): Globalize.
        (m68k_compute_frame_layout): Remove reverse mask code.
        (m68k_emit_movem, m68k_set_frame_related): New functions.
        (m68k_output_function_prologue): Delete in favor of...
        (m68k_expand_prologue): ...this new function.
        (m68k_output_function_epilogue): Delete in favor of...
        (m68k_expand_epilogue): ...this new function.
        (m68k_split_offset, m68k_movem_pattern_p, m68k_output_movem): New
        functions.
        (print_operand): Handle %?.
        * config/m68k/m68k.md (UNSPEC_SIN, UNSPEC_COS): Remove excess space.
        (UNSPEC_GOT, A1_REG, PIC_REG, FP0_REG): New constants.
        (prologue, epilogue): New patterns.
        (return): Turn into a define_expand.
        (*return): New pattern, derived from old "return" pattern.  Use rte
        rather than rts for interrupt functions.  Only use rtd if the pop
        count is nonzero.
        (*m68k_store_multiple, *m68k_store_multiple_automod): New patterns.
        (*m68k_load_multiple, *m68k_load_multiple_automod): Likewise.
        (link, *link, unlink, *unlink, load_got): Likewise.

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

        PR target/23482
        PR target/17114
        * config/m68k/m68k-protos.h (m68k_legitimate_base_reg_p): Declare.
        (m68k_legitimate_index_reg_p, m68k_legitimate_address_p): Likewise.
        (m68k_matches_q_p, m68k_matches_u_p): Likewise.
        * config/m68k/m68k.h (EXTRA_CONSTRAINT): Use m68k_matches_q_p
        and m68k_matches_u_p.
        (PCREL_GENERAL_OPERAND_OK, LEGITIMATE_BASE_REG_P): Delete.
        (INDIRECTABLE_1_ADDRESS_P, GO_IF_NONINDEXED_ADDRESS): Delete.
        (GO_IF_INDEXABLE_BASE, GO_IF_INDEXING, GO_IF_INDEXED_ADDRESS): Delete.
        (LEGITIMATE_INDEX_REG_P, LEGITIMATE_INDEX_P): Delete.
        (GO_IF_COLDFIRE_FPU_LEGITIMATE_ADDRESS): Delete.
        (REG_STRICT_P): New macro.
        (LEGITIMATE_PIC_OPERAND_P): Use REG_STRICT_P rather than
        PCREL_GENERAL_OPERAND_OK.
        (REG_OK_FOR_BASE_P): Merge definitions.  Use REG_STRICT_P and
        m68k_legitimate_base_reg_p.
        (REG_MODE_OK_FOR_INDEX_P): Likewise m68k_legitimate_index_reg_p.
        (GO_IF_LEGITIMATE_ADDRESS): Likewise m68k_legitimate_address_p.
        (PIC_CASE_VECTOR_ADDRESS): Update comment.
        * config/m68k/m68k.c (m68k_address): New structure.
        (m68k_legitimate_base_reg_p, m68k_legitimate_index_reg_p)
        (m68k_decompose_index, m68k_legitimate_constant_address_p)
        (m68k_jump_table_ref_p, m68k_decompose_address)
        (m68k_legitimate_address_p, m68k_legitimate_mem_p, m68k_matches_q_p)
        (m68k_matches_u_p): New functions.
        (print_operand_address): Rewrite to use m68k_decompose_index.

2007-03-05  David Taylor  <dtaylor@emc.com>

        * gcc.c: Correct copyright date in --version output.

2007-03-05  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>

        * pa.md: In unamed move patterns, disparge copies between general
        and floating point registers using '?' modifier.  Don't include 'f'
        constraint for register preferences in DImode, SImode, HImode and
        QImode patterns.  Likewise for 'r' in DFmode and SFmode patterns.
        Remove constraints for copies between general and floating registers
        in soft-float DFmode pattern.
        (movdf): Fail if operand1 is a CONST_DOUBLE and operand0 is a hard
        floating register.
        (movsf): Likewise. 

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

        * c-common.c (targetcm): Add.
        * c-opts.c (c_common_handle_option): Handle language specific
        target options.
        * opts.c (handle_option): Verify language for target options, if
        any are given.
        * opth-gen.awk: Add CL_LANG_ALL.
        * target-def.h (TARGET_HANDLE_C_OPTION): Add.
        (TARGETCM_INITIALIZER): Add.
        * target.h (struct gcc_targetcm): Add.
        (targetcm): Add.
        * targhooks.c (default_handle_c_option): Add.
        * targhooks.h (default_handle_c_option): Add.
        * doc/tm.texi (TARGET_HANDLE_C_OPTION): Add.

        * config/darwin.opt (iframework): Add.
        * config/darwin.h (TARGET_HAS_TARGETCM): Add.
        * config/darwin-c.c (handle_c_option): Add.
        (TARGET_HANDLE_C_OPTION): Add.
        (targetcm): Add.
        * doc/invoke.texi (Darwin Options): Add -iframework.

2007-03-05  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>

        * convert.c (convert_to_integer): Fix nearbyint/rint -> *lrint
        conversion.

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

        * c.opt (fgnu89-inline): New option.
        * c-opts.c (c_common_post_options): Set default value for
        flag_gnu89_inline.
        * c-decl.c (WANT_C99_INLINE_SEMANTICS): Remove.
        (pop_scope): Check flag_gnu89_inline rather than flag_isoc99 for
        inline functions.
        (diagnose_mismatched_decls, merge_decls, start_decl): Likewise.
        (grokdeclarator, start_function): Likewise.
        * c-cppbuiltin.c (c_cpp_builtins): Define either
        __GNUC_GNU_INLINE__ or __GNUC_STDC_INLINE__.
        * doc/invoke.texi (Option Summary): Mention -fgnu89-inline.
        (C Dialect Options): Document -fgnu89-inline.
        * doc/extend.texi (Function Attributes): Explain what the
        gnu_inline attribute does.
        * doc/cpp.texi (Common Predefined Macros): Document
        __GNUC_GNU_INLINE__ and __GNUC_STDC_INLINE__.

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

        PR tree-optimization/31034
        * tree-vrp.c (extract_range_from_assert): Don't try to handle a
        half-range if the other side is an overflow infinity.

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

        * config.gcc (bfin*-uclinux*): Use t-bfin-uclinux.
        (bfin*-linux-uclibc*): New configuration.
        * config/linux.h (LINK_GCC_C_SEQUENCE_SPEC): Undefined before
        defining.
        * config/bfin/linux.h: New file.
        * config/bfin/libgcc-bfin.ver: New file.
        * config/bfin/t-bfin-uclinux: New file.
        * config/bfin/t-bfin-linux: New file.
        * config/bfin/uclinux.h (LINUX_TARGET_OS_CPP_BUILTINS): New macro.
        (TARGET_OS_CPP_BUILTINS): New macro.

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

        * fold-const.c (fold_binary): Remove duplicate folding
        of comparison of non-null ADDR_EXPR against null.

2007-03-05  Richard Guenther  <rguenther@suse.de>
            Dorit Nuzman  <dorit@il.ibm.com>

        PR tree-optimization/26420
        * tree-vectorizer.c (vectorize_loops): Bail out early if there
        are no loops in the function.  Only print the number of
        vectorized loops if it is greater than zero or we are supposed
        to print information about unvectorized loops.

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

        * gcc.dg/var-expand1.c: New test.
        * loop-unroll.c (analyze_insn_to_expand_var): Add dump info
        when an accumulator is expanded.

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

        PR other/30465
        * c-common.c (convert_and_check): Don't give warnings for
        conversion if 'expr' already overflowed.
        
2007-03-04  Roger Sayle  <roger@eyesopen.com>

        PR middle-end/30744
        * fold-const.c (fold_comparison): Enforce type consistency when
        transforming ~X op ~Y to Y op X, and ~X op C to X op' ~C.

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

        * tree-ssa-address.c (create_mem_ref): Do not put an expression
        containing a cast to the base of TARGET_MEM_REF.

2007-03-04  Martin Michlmayr  <tbm@cyrius.com>

        * tree.c (tree_contains_struct_check_failed): Remove spurious
        whitespace from error message.

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

        PR target/30406
        * config/rs6000/rs6000.c (rs6000_function_value): Look at bit size
        instead of precision.

2007-03-04  Roman Zippel <zippel@linux-m68k.org>
            Nathan Sidwell  <nathan@codesourcery.com>

        * emit-rtl.c (find_auto_inc): New.
        (try_split): recreate REG_INC notes,
        Use regular for loops rather than whiles.

2007-03-03  Andreas Schwab  <schwab@suse.de>

        * configure.ac (HAVE_AS_REL16): Move test back to correct place.
        * configure: Regenerate.

2007-03-03  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>

        * builtins.def (ATTR_MATHFN_FPROUNDING): Rely on
        flag_rounding_math, not flag_unsafe_math_optimizations.

        * c-pretty-print.c (pp_c_direct_abstract_declarator): Use
        fold_build2.
        * config/alpha/alpha.c (alpha_fold_builtin_zapnot,
        alpha_fold_vector_minmax): Likewise.
        * config/i386/i386.c (ix86_gimplify_va_arg): Likewise.
        * config/sparc/sparc.c (sparc_gimplify_va_arg): Likewise.

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

        * tree-sra.c (sra_walk_fns) <ldst>: Document new restriction.
        (sra_walk_modify_expr) <rhs_elt>: Treat the reference as a use
        if the lhs has side-effects.
        <lhs_elt>: Treat the reference as a use if the rhs has side-effects.

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

        * config/i386/i386.h (TUNEMASK): Remove define.
        (ARCHMASK): Remove define.
        (TARGET_*): Use ix86_tune_mask variable instead of TUNEMASK.
         Use ix86_arch_mask variable instead of ARCHMASK.
        * config/i386/i386.c (override_options): Ditto.
        (standard_80387_constant_p): Ditto.

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

        Used signed infinities in VRP.
        * tree-vrp.c (uses_overflow_infinity): New static function.
        (supports_overflow_infinity): New static function.
        (make_overflow_infinity): New static function.
        (negative_overflow_infinity): New static function.
        (positive_overflow_infinity): New static function.
        (is_negative_overflow_infinity): New static function.
        (is_positive_overflow_infinity): New static function.
        (is_overflow_infinity): New static function.
        (overflow_infinity_range_p): New static function.
        (compare_values_warnv): New function split out of compare_values.
        (compare_value): Call it.
        (set_value_range_to_nonnegative): Add overflow_infinity
        parameter.  Change caller.
        (vrp_expr_computes_nonnegative): Add strict_overflow_p parameter.
        Change callers.
        (vrp_expr_computes_nonzero): Likewise.
        (compare_ranges, compare_range_with_value): Likewise.
        (compare_name_with_value, compare_names): Likewise.
        (vrp_evaluate_conditional): Likewise.
        (set_value_range): Handle infinity
        (vrp_operand_equal_p, operand_less_p): Likewise.
        (extract_range_from_assert): Likewise.
        (vrp_int_const_binop): Likewise.
        (extract_range_from_binary_expr): Likewise.
        (extract_range_from_unary_expr): Likewise.
        (extract_range_from_comparison): Likewise.
        (extract_range_from_expr): Likewise.
        (dump_value_range): Likewise.
        (vrp_visit_cond_stmt, vrp_visit_phi_node): Likewise.
        (test_for_singularity): Likewise.
        (vrp_int_const_binop): Remove inline qualifier.
        (adjust_range_with_scev): Add comment.
        * tree-flow.h (vrp_evaluate_conditional): Update declaration.

2007-03-02  Diego Novillo  <dnovillo@redhat.com>

        * tree-ssa-structalias.c (could_have_pointers): Tidy.
        (get_constraint_for): Likewise.
        (do_structure_copy): Likewise.
        (find_func_aliases): Fix references to MODIFY_EXPR.
        (intra_create_variable_infos): Tidy.
        * tree-ssa-operands.c (add_virtual_operand): Add argument
        IS_CALL_SITE.
        When adding members of alias sets, if IS_CALL_SITE is true and
        the symbol is not call-clobbered, skip it.
        Adjust all callers.

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

        * config/alpha/alpha.c (alpha_gp_save_rtx): Insert the insns at the
        entry by means of emit_insn_at_entry.

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

        * expr.h (promoted_input_arg): Remove decl.
        * function.c (promoted_input_arg): Merge into ...
        * combine.c (setup_incoming_promotions): ... only caller.
        Rearrange to avoid double loop.

2007-03-02  Ben Elliston  <bje@au.ibm.com>
            Peter Bergner  <bergner@vnet.ibm.com>
            Janis Johnson  <janis187@us.ibm.com>

        * config/rs6000/dfp.md: New file.
        * config/rs6000/rs6000.md: Include dfp.md.
        (add<mode>3_internal1): Disable for DECIMAL_FLOAT_MODE_P operands.
        * config/rs6000/rs6000.c (rs6000_hard_regno_mode_ok): Handle DDmode
        and TDmode decimal float modes in FP registers.
        (num_insns_constant): Likewise.
        (rs6000_legitimate_offset_address_p): Likewise.
        (rs6000_legitimize_address): Likewise.
        (rs6000_legitimize_reload_address): Likewise.
        (rs6000_legitimate_address): Likewise.
        (rs6000_emit_move): Likewise.
        (function_arg_boundary): Likewise.
        (function_arg_advance): Likewise.
        (rs6000_darwin64_record_arg_recurse): Likewise.
        (function_arg): Likewise.
        (rs6000_gimplify_va_arg): Likewise.
        (rs6000_split_multireg_move): Likewise.
        (rs6000_output_function_epilogue): Likewise.
        (rs6000_output_function_epilogue): Likewise.
        (rs6000_register_move_cost): Likewise.
        (rs6000_function_value): Likewise.
        (rs6000_libcall_value): Likewise.

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

        * config/t-vxworks (LIMITS_H_TEST): Define to true for VxWorks.

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

        * config/t-vxworks (LIBGCC2_INCLUDES): Pass -nostdinc.
        Use $MULTIDIR to choose between the kernel and RTP headers,
        and use $WIND_BASE and $WIND_USR to locate them.

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

        * config/i386/i386.c (override_options): Put initialization of
        ix86_tune_mask and ix86_arch_mask to the correct place.

2007-03-02  Uros Bizjak  <ubizjak@gmail.com>
            Michael Meissner  <michael.meissner@amd.com>

        PR target/31019
        * config/i386/i386.h (TUNEMASK): Redefine to use ix86_tune_mask.
        (ARCHMASK): Define.
        (TARGET_CMOVE): Use ARCHMASK.
        (TARGET_CMPXCHG): Ditto.
        (TARGET_CMPXCHG8B): Ditto.
        (TARGET_XADD): Ditto.
        (TARGET_BSWAP): Ditto.
        * config/i386/i386.c (ix86_tune_mask): New global variable.
        (ix86_arch_mask): Ditto.
        (override_options): Initialize ix86_tune_mask and
        ix86_arch_mask. Use ARCHMASK to clear MASK_NO_FANCY_MATH_387 in
        target_flags.

2007-03-02  Ben Elliston  <bje@au.ibm.com>

        PR 30992
        * config/dfp-bit.c (DFP_TO_INT): Initialise qval with "1.".

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

        * target.h (init_dwarf_reg_sizes_extra): New target hook.
        * target-def.h (TARGET_INIT_DWARF_REG_SIZES_EXTRA): New default.
        * doc/tm.texi (TARGET_INIT_DWARF_REG_SIZES_EXTRA): Document.
        * dwarf2out.c (expand_builtin_init_dwarf_reg_sizes): Call this
        hook.
        * config/rs6000/rs6000.c (TARGET_INIT_DWARF_REG_SIZES_EXTRA,
        rs6000_init_dwarf_reg_sizes_extra): New.
        * config/rs6000/linux-unwind.h (ppc_fallback_frame_state): Support
        SPE register high parts.

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

        * Makefile.in: Add install-pdf target as
        copied from automake v1.10 rules.
        * configure.ac: Add install-pdf to target list.
        * configure: Regenerate.

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

        * config/arm/arm.c (arm_legitimate_index_p): Limit iWMMXt addressing
        modes to LDRD for DImode.
        (output_move_double): Fixup out of range ldrd/strd.
        (vfp_secondary_reload_class): Rename...
        (coproc_secondary_reload_class): ... to this.  Add wb argument.
        * config/arm/arm.h (SECONDARY_OUTPUT_RELOAD_CLASS): Use
        coproc_secondary_reload_class for CLASS_IWMMXT.
        (SECONDARY_INPUT_RELOAD_CLASS): Ditto.
        * arm-protos.h (coproc_secondary_reload_class): Update prototype.

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

        * tree-ssa-loop-prefetch.c (determine_unroll_factor):  Bound the unroll
        factor by the estimated number of iterations.
        (loop_prefetch_arrays): Do not prefetch in loops that iterate less than
        prefetch latency.

        * config/i386/driver-i386.c (describe_cache, detect_caches_amd,
        decode_caches_intel, detect_caches_intel): New functions.
        (host_detect_local_cpu): Use detect_caches_amd and
        detect_caches_intel.

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

        * expr.c (emit_move_complex_push): Export.
        (emit_move_complex_parts): Split out from ...
        (emit_move_complex): ... here.
        * expr.h (emit_move_complex_push, emit_move_complex_parts): Declare.
        * config/i386/i386.md (movcdi): New.

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

        * config/i386/i386.c (ix86_modes_tieable_p): Fix typo, use also
        size of mode1 to check for tieable modes in MMX case.

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

        * Makefile.in (rtlanal.o): Depend on tree.h.
        * rtl.h (offset_within_section_p, split_const): Declare.
        * rtlanal.c: Include tree.h.
        (offset_within_block_p): New function, taken from
        mips_offset_within_object_p.
        (split_const): New function, taken from mips_split_const.
        * config/m68k/m68k-protos.h (m68k_illegitimate_symbolic_constant_p):
        Declare.
        * config/m68k/m68k.h (M68K_OFFSETS_MUST_BE_WITHIN_SECTIONS_P): Define.
        (CONSTANT_ADDRESS_P): Only accept legitimate constants.
        (LEGITIMATE_CONSTANT_P): Check m68k_illegitimate_symbolic_constant_p.
        * config/m68k/m68k.c (TARGET_CANNOT_FORCE_CONST_MEM): Define.
        (m68k_illegitimate_symbolic_constant_p): New function.
        * config/m68k/m68k.md (movsi): Remove misleading predicates.
        If M68K_OFFSETS_MUST_BE_WITHIN_SECTIONS_P and the source is a
        symbolic constant that might be outside the symbol's section,
        move the symbol first and then add the offset.
        * config/m68k/uclinux.h (M68K_OFFSETS_MUST_BE_WITHIN_SECTIONS_P):
        Override.
        * config/mips/mips.c (mips_split_const): Delete.
        (mips_offset_within_object_p): Delete.
        (mips_symbolic_constant_p): Use offset_within_section_p and
        split_const instead of mips_offset_within_object_p and
        mips_split_const.
        (mips_cannot_force_const_mem, mips_const_insns, mips_unspec_address)
        (mips_legitimize_const_move, print_operand_reloc)
        (mips_dangerous_for_la25_p): Use split_const instead of
        mips_split_const.

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

        * Makefile.in (install-include-dir): Don't rm -rf include.

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

        PR middle-end/30364
        * fold-const.c (fold_binary): Do not associate expressions
        with more than one variable for integer types that do not wrap.

2007-02-28  Sandra Loosemore  <sandra@codesourcery.com>

        * builtins.c (fold_builtin_call_list, fold_builtin_call_valist):
        Delete, and replace with...
        (fold_builtin_call_array): This.  Update callers to use it.
        * fold-const.c (fold_build_call_list): Delete, and replace with...
        (fold_build_call_array): This.
        (fold_build_call_list_initializer): Delete, and replace with...
        (fold_build_call_array_initializer): This.
        * tree.h: Update declarations to reflect above changes.

        * c-typeck.c (build_function_call): Store converted arguments
        in a stack-allocated array instead of building a list.
        (convert_arguments): Store arguments in the array passed in as an
        argument, and return the actual number of arguments.
        * c-format.c: (check_function_format): Pass arguments in an
        array instead of a list.
        * c-common.c (check_function_nonnull): Likewise.
        (check_function_sentinel): Likewise.
        (check_function_arguments): Likewise.
        * c-common.h: Update declarations to reflect above changes.

2007-02-28  Jan Hubicka  <jh@suse.cz>

        * predict.def (PRED_TREE_EARLY_RETURN, PRED_CONST_RETURN,
        PRED_NEGATIVE_RETURN): Update outcomes.

2007-02-28  Bernd Schmidt  <bernd.schmidt@analog.com>

        * calls.c (emit_library_call_value_1): Handle partial registers
        correctly when building up CALL_INSN_FUNCTION_USAGE.

2007-02-27  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>

        * pa/predicates.md (move_src_operand): Allow zero for mode.
        * pa/pa.md: Fix constraints for zero CONST_DOUBLE in 64-bit DFmode
        move pattern.

2007-02-27  Uros Bizjak  <ubizjak@gmail.com>

        PR target/30970
        * config/i386/sse.md (*mov<mode>_internal, *movv4sf_internal,
        *movv2df_internal): Enable pattern only for valid operand
        combinations.
        * config/i386/i386.c (ix86_modes_tieable_p): For SSE registers,
        tie only 128bit modes. For MMX registers, tie only 64bit modes.

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

        * config/darwin-crt3.c: Avoid compilation when compiling for a
        kext multilib.

2007-02-27  Joseph Myers  <joseph@codesourcery.com>

        * Makefile.in (PREPROCESSOR_DEFINES, test-protoize-simple): Define
        FIXED_INCLUDE_DIR.
        (stmp-int-hdrs, stmp-fixinc, install-headers): Use include-fixed
        for fixed headers and limits.h.
        (install-include-dir, install-headers-tar, install-headers-cpio,
        install-headers-cp, real-install-headers-tar,
        real-install-headers-cpio, real-install-headers-cp): Handle
        include-fixed as well as include.
        (install-mkheaders): Don't install files that go only in include
        not include-fixed.
        * cppdefault.c (cpp_include_defaults): Separate FIXED_INCLUDE_DIR
        from GCC_INCLUDE_DIR.
        * gcc.c (process_command): Remove special -BstageN/ handling.
        (do_spec_1): Add include-fixed directories.

2007-02-27  Bernd Schmidt  <bernd.schmidt@analog.com>

        * config/bfin/t-bfin-elf (LIB1ASMFUNCS): Add _umulsi3_highpart and
        _smulsi3_highpart.
        * config/bfin/lib1funcs.asm (___umulsi3_highpart, ___smulsi3_highpart):
        New functions.
        * config/bfin/bfin.md (smulsi3_highpart, umulsi3_highpart): New
        patterns.

2007-02-27  Mark Mitchell  <mark@codesourcery.com>

        * c-common.c (get_priority): Add check for
        SUPPORTS_INIT_PRIORITY.

2007-02-27  Bernd Schmidt  <bernd.schmidt@analog.com>

        * config/bfin/bfin.md (doloop_end): FAIL if counter reg isn't SImode.

        * config/bfin/bfin.c: Include "cfglayout.h".
        (MAX_LSETUP_DISTANCE): New macro.
        (struct loop_info): New members incoming, incoming_src and
        incoming_dest.  Delete member predecessor.
        (length_for_loop): New function.
        (bfin_optimize_loop): Handle more different loop structures.
        (bfin_discover_loop): Rework detection of predecessor blocks by
        examining incoming edges.
        (bfin_discover_loops, bfin_free_loops): New functions, broken out of
        bfin_reorg_loops.
        (bfin_reorder_loops): New function.
        (bfin_reorg_loops): Use these three new functions.

        * config/bfin/bfin.h (enum reg_class, REG_CLASS_NAMES,
        REG_CLASS_CONTENTS): Add D0REGS through D7REGS.
        (CONSTRAINT_LEN): Add entry for 'q'.
        (REG_CLASS_FROM_CONSTRAINT): Renamed from REG_CLASS_FROM_LETTER.
        Add 'q' constraints.
        (REGNO_REG_CLASS): For R0 through R7, return corresponding regclass.
        (CLASS_LIKELY_SPILLED_P): True for R0, R1 and R2.

        * config/bfin/bfin.md (add_with_carry): New pattern.
        (s_or_u, su_optab, su_modifier): New code macros/attrs.
        (<su_optab>hisi_ll, <su_optab>hisi_lh, <su_optab>hisi_hl,
        <su_optab>hisi_hh): Renamed from mulhisi_xx patterns; macroized to
        support unsigned multiplies too.  Removed incorrect commutativity from
        operand 1 constraint where appropriate.
        (usmulhisi_ull, usmulhisi_ulh, usmulhisi_uhl, usmulhisi_uhh): New
        patterns.
        (<su_optab>hisi_ll_lh, <su_optab>hisi_ll_hl, <su_optab>hisi_ll_hh,
        <su_optab>hisi_lh_hl, <su_optab>hisi_lh_hh, <su_optab>hisi_hl_hh):
        New patterns.
        (usmulhisi_ll_lul, usmulhisi_ll_luh, usmulhisi_ll_hul,
        usmulhisi_ll_huh, usmulhisi_lh_lul, usmulhisi_lh_luh, usmulhisi_lh_hul,
        usmulhisi_lh_huh, usmulhisi_hl_lul, usmulhisi_hl_luh, usmulhisi_hl_hul,
        usmulhisi_hl_huh, usmulhisi_hh_lul, usmulhisi_hh_luh, usmulhisi_hh_hul,
        usmulhisi_hh_huh): New patterns.

        * config/bfin/bfin.md (ssashiftv2hi3, ssashifthi3, lshiftv2hi3,
        lshifthi3): Fix output template to use half reg for operand 2.

        * config/bfin/bfin.c (bfin_output_mi_thunk): Use R3 as scratch reg
        instead of R2.

        * config/bfin/bfin.md (rotl16, rotlsi3, rotrsi3): New patterns.

2007-02-27  Andreas Schwab  <schwab@suse.de>

        * Makefile.in (TEXI_GCCINSTALL_FILES): Add gcc-common.texi.

2007-02-27  Jan Hubicka  <jh@suse.cz>

        * predict.c (last_basic_block_p): Remove.
        (tree_estimate_probability): Update return heuristic for commonized
        return blocks.

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

        * Makefile.in (TEXI_GCCINSTALL_FILES): Add gcc-vers.texi dependency.

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

        * doc/include/gcc-common.texi (versionsubtitle): New macro.
        * doc/cpp.texi: Standardize title page.
        * doc/cppinternals.texi: Likewise.
        * doc/gcc.texi: Standardize title page, remove version number
        from copyright page.
        * doc/gccint.texi: Likewise.
        * doc/install.texi: Standardize title page, add table of
        contents.

2007-02-26  Jan Hubicka  <jh@suse.cz>

        * predict.def: Set outcomes according to more recent results.
        (PRED_LOOP_CONDITION, PRED_LOOP_PRECONDITIONING, PRED_LOOP_HEADER):
        Remove dead predictors.
        * predict.c (return_prediction): Fix pasto.

2007-02-27  Bernd Schmidt  <bernd.schmidt@analog.com>

        * loop-iv.c (simplify_using_initial_values): Fix oversight in previous
        change; avoid a memory leak when returning early.

2007-02-26  Mark Mitchell  <mark@codesourcery.com>

        * c-decl.c (static_ctors): Move to c-common.c.
        (static_dtors): Likewise.
        (finish_function): Use c_record_cdtor_fn.
        (build_cdtor): Move to c-common.c.
        (c_write_global_declarations): Use c_build_cdtor_fns.
        * c-common.h (static_ctors): Declare.
        (static_dtors): Likewise.
        (c_record_cdtor_fn): Likewise.
        (c_build_cdtor_fns): Likewise.
        * c-common.c (static_ctors): New variable.
        (static_dtors): Likewise.
        (c_record_cdtor_fn): New function.
        (build_cdtor): Move from c-decl.c
        (c_build_cdtor_fns): New function.

        * output.h (assemble_addr_to_section): Declare.
        (get_cdtor_priority_section): Likewise.
        * varasm.c (assemble_addr_to_section): New function.
        (get_cdtor_priority_section): Likewise.
        (default_named_section_asm_out_destructor): Use them.
        (destor_dtor_section_asm_out_destructor): Likewise.
        (default_named_section_asm_out_constructor): Likewise.
        (default_ctor_section_asm_out_constructor): Likewise.
        * config.gcc (*-*-vxworks*): Include vxworks.o.
        * config/t-vxworks (vxworks.o): New target.
        * config/vxworks.h (ALWAYS_NUMBER_CTORS_SECTIONS): Remove.
        (TARGET_ASM_CONSTRUCTOR): Define.
        (TARGET_ASM_DESTRUCTOR): Likewise.
        (vxworks_asm_out_constructor): Declare.
        (vxworks_asm_out_destructor): Likewise.

        * c-common.c (get_priority): Check that we have not just an
        INTEGER_CST, but an integer constant with integeral type.

2007-02-25  Uros Bizjak  <ubizjak@gmail.com>

        PR tree-optimization/30938
        * tree-vect-transform.c (vectorizable_call): Fix off-by-one error:
        use &dt[nargs-1] instead of &dt[nargs] in the call to
        vect_is_simple_use().

2007-02-25  Ulrich Weigand  <uweigand@de.ibm.com>

        * reload.c (find_reloads_address_1): Handle PLUS expressions resulting
        from register elimination as PRE_MODIFY / POST_MODIFY increments.
        Do not attempt to handle MEM inside auto-inc expressions.
        * reload1.c (eliminate_regs_1): Do not attempt to handle elimination
        of a register modified by an auto-inc expression.  However, do handle
        elimination of a register used as PRE_MODIFY / POST_MODIFY increment.
        (elimination_effects): Prohibit elimination of a register modified
        by an auto-inc expression.  Disable register elimination rules whose
        target register is modified by an auto-inc expression with variable
        increment.

2007-02-25  Zdenek Dvorak  <dvorakz@suse.cz>

        * tree-ssa-loop-niter.c (compute_estimated_nb_iterations): Fix
        off-by-one error.
        (array_at_struct_end_p): New function.
        (idx_infer_loop_bounds): Use it.
        (estimate_numbers_of_iterations_loop): Export.
        * predict.c (predict_loops): Use estimated_loop_iterations_int.
        Do not use PRED_LOOP_EXIT on exits predicted by # of iterations.
        (tree_estimate_probability): Call record_loop_exits.
        * tree-data-ref.c (get_number_of_iters_for_loop): Replaced by ...
        (estimated_loop_iterations, estimated_loop_iterations_int,
        estimated_loop_iterations_tree): New functions.
        (analyze_siv_subscript_cst_affine,
        compute_overlap_steps_for_affine_1_2,
        analyze_subscript_affine_affine): Use estimated_loop_iterations_int.
        (analyze_miv_subscript): Use estimated_loop_iterations_tree.
        * predict.def (PRED_LOOP_ITERATIONS): Update comment.
        (PRED_LOOP_ITERATIONS_GUESSED): New.
        * cfgloop.c (record_loop_exits): Do nothing if there are no loops.
        * cfgloop.h (estimate_numbers_of_iterations_loop,
        estimated_loop_iterations_int): Declare.

2007-02-25  Mark Mitchell  <mark@codesourcery.com>

        * doc/extend.texi: Document optional priority argument to
        constructors and destructors.
        * tree.c (init_priority_for_decl): Adjust GTY markers.
        (init_ttree): Use priority-info hash functions for
        init_priority_for_decl.
        (tree_map_eq): Rename to ...
        (tree_map_base_eq): ... this.
        (tree_map_marked_p): Rename to ...
        (tree_map_base_marked_p): ... this.
        (tree_map_base_hash): New function.
        (decl_init_priority_lookup): Rework.
        (decl_fini_priority_lookup): New function.
        (decl_priority_info): New function.
        (decl_init_priority_insert): Use it.
        (decl_fini_priority_insert): Likewise.
        (decl_restrict_base_lookup): Adjust for refactoring of tree_map
        hierarchy.
        (decl_restrict_base_insert): Likewise.
        (decl_debug_expr_insert): Likewise.
        (decl_value_expr_lookup): Likewise.
        (decl_value_expr_insert): Likewise.
        * tree.h (priority_type): New type.
        (decl_init_priority_lookup): Use priority_type.
        (decl_fini_priority_lookup): New function.
        (decl_init_priority_insert): Use priority_type.
        (decl_fini_priority_insert): New function.
        (DECL_HAS_INIT_PRIORITY): Tweak comments.
        (DECL_INIT_PRIORITY): Likewise.
        (SET_DECL_INIT_PRIORITY): Add comment.
        (DECL_FINI_PRIORITY): New macro.
        (SET_DECL_FINI_PRIORITY): Likewise.
        (DEFAULT_INIT_PRIORITY): Document.
        (MAX_INIT_PRIORITY): Likewise.
        (MAX_RESERVED_INIT_PRIORITY): Likewise.
        (tree_map_base): New type.
        (tree_map_base_eq): New function.
        (tree_map_base_hash): Likewise.
        (tree_map_base_marked_p): Likewise.
        (tree_map): Inherit from tree_map_base.
        (tree_map_eq): Make it a macro.
        (tree_map_marked_p): Likewise.
        (tree_int_map): Inherit from tree_map_base.
        (tree_int_map_eq): Make it a macro.
        (tree_int_map_hash): Likewise.
        (tree_int_map_marked_p): Likewise.
        (tree_priority_map): New type.
        (tree_priority_map_eq): New macro.
        (tree_priority_map_hash): Likewise.
        (tree_priority_map_marked_p): Likewise.
        * varasm.c (emults_decl): Adjust for refactoring of tree_map
        hierarchy.
        (emutls_common_1): Likewise.
        * lambda-code.c (replace_uses_equiv_to_x_with_y): Likewise.
        * tree-ssa-structalias.c (heapvar_lookup): Adjust for refactoring
        of tree_map hierarchy.
        * tree-cfg.c (move_stmt_r): Likewise.
        (new_label_mapper): Likewise.
        * c-tree.h (c_expand_body): Move to ...
        * c-common.h (c_expand_body): ... here.
        * c-decl.c (c_expand_body): Move to ...
        * c-common.c (c_expand_body): ... here.
        (c_common_attribute_table): Allow 1 argument for the constructor
        and destructor attributes.
        (get_priority): New function.
        (handle_constructor_attribute): Set DECL_INIT_PRIORITY.
        (handle_destructor_attribute): Set DECL_FINI_PRIORITY.

2007-02-24  Jan Hubicka  <jh@suse.cz>

        PR middle-end/30509
        * tree-inline.c (copy_bb): Produce exact copy of EH info when copying for inlining.

2007-02-24  Uros Bizjak  <ubizjak@gmail.com>
            Jan Hubicka  <jh@suse.cz>

        PR target/30778
        * i386.c (counter_mode): New function.
        (expand_set_or_movmem_via_loop): Use it.
        (expand_movmem_epilogue): Likewise; fix pasto.
        (ix86_expand_movmem): Do emit guard even for constant counts.
        (ix86_expand_setmem): Likewise.

2007-02-25  Nick Clifton  <nickc@redhat.com>

        * config/frv/frv.h (ASM_OUTPUT_CASE_LABEL): Delete.
        (JUMP_TABLES_IN_TEXT_SECTION): Define.

2007-02-24  Uros Bizjak  <ubizjak@gmail.com>

        PR target/30770
        * config/i386/i386.md (expand_movmem_epilogue): Fix typo, mask
        count argument with 0x10, not with 0x16.
        (expand_setmem_epilogue): Ditto.

2007-02-24  Mike Stump  <mrs@apple.com>

        * config/i386/i386.c (output_pic_addr_const): Stubify optimized
        symbols.

2007-02-24  Richard Guenther  <rguenther@suse.de>

        PR middle-end/30951
        * fold-const.c (fold_binary): Fold x +- CST op x for
        EQ_EXPR and NE_EXPR.

2007-02-24  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>

        * pa.md (muldi3): Force subregs to registers in 64-bit expander.

2007-02-24  Jan Hubicka  <jh@suse.cz>

        * cgraphunit.c (decide_is_function_needed): Honor
        -fkeep-inline-functions.

2007-02-24  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>

        * builtins.c (fold_builtin_modf): New.
        (fold_builtin_2): Use it.

2007-02-24  Bernd Schmidt  <bernd.schmidt@analog.com>

        * loop-iv.c (implies_p): Detect additional cases where A implies B.
        (determine_max_iter): Take additional LOOP arg; all callers changed.
        Lose broken logic dealing with PLUS.  Try to limit the upper bound by
        one using simplifications.
        (simplify_using_initial_values): Return if the expression becomes
        invalid due to altered regs.

2007-02-23  DJ Delorie  <dj@redhat.com>

        * doc/tm.h (BIGGEST_ALIGNMENT): Clarify the purpose of this macro.

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

        * tlink.c (scan_linker_output): Parse linker messages from
        darwin9's linker better.

2007-02-23  Steve Ellcey  <sje@cup.hp.com>

        PR debug/29614
        * varpool.c (varpool_assemble_pending_decls):  Set
        varpool_last_needed_node to null.

2007-02-23  DJ Delorie  <dj@redhat.com>

        * config/i386/i386.c (ix86_data_alignment): Don't specify an
        alignment bigger than the object file can handle.

2007-02-23  Uros Bizjak  <ubizjak@gmail.com>

        PR target/30825
        * config/i386/i386.md (*movdi_1_rex64, zero_extendsidi2_32,
        zero_extendsidi2_rex64): Penalize MMX register<->memory moves.
        (*movsf_1): Penalize MMX moves.

2007-02-23  Bernd Schmidt  <bernd.schmidt@analog.com>

        * config/bfin/bfin.md (doloop_end): Fail for loops that can iterate
        2^32-1 or more times unless flag_unsafe_loop_optimizations.

        * loop-iv.c (determine_max_iter): Moved in front of its sole user.

2007-02-23  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>

        * builtins.c (fold_builtin_logb, fold_builtin_significand): New.
        (fold_builtin_1): Use them.
        * fold-const.c (tree_expr_nonnegative_warnv_p): Handle
        BUILT_IN_SIGNIFICAND.

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

        * config/i386/i386.c (bdesc_1arg): Initialize
        IX86_BUILTIN_MOVSHDUP and IX86_BUILTIN_MOVSLDUP with
        "__builtin_ia32_movshdup" and "__builtin_ia32_movsldup".
        (ix86_init_mmx_sse_builtins): Remove IX86_BUILTIN_MOVSHDUP
        and IX86_BUILTIN_MOVSLDUP.

2007-02-22  Paolo Bonzini  <bonzini@gnu.org>

        PR rtl-optimization/30841
        * fwprop.c (propagate_rtx_1): Accept a VOIDmode replacement address.

2007-02-22  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>

        * builtins.c (fold_builtin_frexp): New.
        (fold_builtin_2): Use it.

2007-02-22  Mark Mitchell  <mark@codesourcery.com>

        * doc/invoke.texi (Spec Files): Document getenv spec function.

        * gcc.c (getenv_spec_function): New function.
        (static_spec_functions): Add it.
        * config/vxworks.h (VXWORKS_TARGET_DIR): Remove.
        (VXWORKS_ADDITIONAL_CPP_SPEC): Use getenv to find the VxWorks
        header files.

2007-02-22  Michael Matz  <matz@suse.de

        PR c++/29433
        * dwarf2out.c (add_AT_string): Call ggc_strdup once per string.
        (type_tag): Use lang_hooks.dwarf_name instead of DECL_NAME.

2007-02-22  Ian Lance Taylor  <iant@google.com>

        PR debug/30898
        * dwarf2out.c (concatn_mem_loc_descriptor): New static function.
        (mem_loc_descriptor): Call it.

2007-02-22  Zdenek Dvorak  <dvorakz@suse.cz>
            Ira Rosen  <irar@il.ibm.com>

        * tree-data-ref.c (ptr_ptr_may_alias_p): Take alias sets into account.

2007-02-22  Ira Rosen  <irar@il.ibm.com>

        PR tree-optimization/30843
        * tree-vect-transform.c (vect_transform_loop): Remove strided scalar
        stores only after all the group is vectorized.

2007-02-22  Dorit Nuzman  <dorit@il.ibm.com>

        PR tree-optimization/30858
        * tree-vectorizer.c (vect_is_simple_reduction): Check that the stmts
        in the reduction cycle have a single use in the loop.
        * tree-vectorizer.h (relevant): Add documentation.

2007-02-20  Mike Stump  <mrs@apple.com>

        * configure.ac (powerpc*-*-darwin*): #include <sys/cdefs.h>.
        * configure: Regenerate.

2007-02-21  Trevor Smigiel  <trevor_smigiel@playstation.sony.com>

        Change the defaults of some parameters and options.
        * config/spu/spu-protos.h (spu_optimization_options): Declare.
        * config/spu/spu.c (spu_optimization_options): Add.
        (spu_override_options): Change params in spu_optimization_options.
        * config/spu/spu.h (OPTIMIZATION_OPTIONS): Define.

        Register 127 is only 16 byte aligned when used as a frame pointer.
        * config/spu/spu-protos.h (spu_init_expanders): Declare.
        * config/spu/spu.c (spu_expand_prologue): Set REGNO_POINTER_ALIGN for
        HARD_FRAME_POINTER_REGNUM.
        (spu_legitimate_address):  Use regno_aligned_for_reload.
        (regno_aligned_for_load):  HARD_FRAME_POINTER_REGNUM is only 16 byte
        aligned when frame_pointer_needed is true.
        (spu_init_expanders): New.  Set alignment of HARD_FRAME_POINTER_REGNUM
        to 8 bits.
        * config/spu/spu.h (INIT_EXPANDERS): Define.

        Make sure shift and rotate instructions have valid immediate operands.
        * config/spu/predicates.md (spu_shift_operand): Remove.
        * config/spu/spu.c (print_operand): Add [efghEFGH] modifiers.
        * config/spu/constraints.md (W, O): Extend range.
        * config/spu/spu.md (umask, nmask): Define.
        (ashl<mode>3, ashldi3, ashlti3_imm, shlqbybi_ti, shlqbi_ti, shlqby_ti,
        lshr<mode>3, rotm_<mode>, lshr<mode>3_imm, rotqmbybi_<mode>,
        rotqmbi_<mode>, rotqmby_<mode>, ashr<mode>3, rotma_<mode>,
        rotl<mode>3, rotlti3, rotqbybi_ti, rotqby_ti, rotqbi_ti): Use
        spu_nonmem_operand instead of spu_shift_operands.  Use new modifiers.
        (lshr<mode>3_reg):  Fix rtl description.

        Make sure mulhisi immediate operands are valid.
        * config/spu/predicates.md (imm_K_operand): Add.
        * config/spu/spu.md (mulhisi3_imm, umulhisi3_imm): Use imm_K_operand.

        Generate constants using fsmbi and andi.
        * config/spu/spu.c (enum immediate_class): Add IC_FSMBI2.
        (print_operand, spu_split_immediate, classify_immediate,
        fsmbi_const_p): Handle IC_FSMBI2.

        Correctly handle a CONST_VECTOR containing symbols.
        * config/spu/spu.c (print_operand): Handle HIGH correctly.
        (spu_split_immediate): Split CONST_VECTORs with -mlarge-mem.
        (immediate_load_p): Allow symbols that use 2 instructions to create.
        (classify_immediate, spu_builtin_splats):  Don't accept a CONST_VECTOR
        with symbols when flag_pic is set.
        (const_vector_immediate_p): New.
        (logical_immediate_p, iohl_immediate_p, arith_immediate_p): Don't
        accept a CONST_VECTOR with symbols.
        (spu_legitimate_constant_p): Use const_vector_immediate_p.  Don't
        accept a CONST_VECTOR with symbols when flag_pic is set.  Handle HIGH
        correctly.
        * config/spu/spu.md (high, low): Delete.
        (low_<mode>): Define.

        Remove INTRmode and INTR_REGNUM, which didn't work.
        * config/spu/spu.c (spu_conditional_register_usage): Remove reference
        of INTR_REGNUM.
        * config/spu/spu-builtins.md (spu_idisable, spu_ienable, set_intr,
        set_intr_pic, set_intr_cc, set_intr_cc_pic, set_intr_return, unnamed
        peephole2 pattern): Don't use INTR or 131.
        (movintrcc): Delete.
        * config/spu/spu.h (FIRST_PSEUDO_REGISTER, FIXED_REGISTERS,
        CALL_USED_REGISTERS, REGISTER_NAMES, INTR_REGNUM): Remove INTR_REGNUM.
        * config/spu/spu.md (UNSPEC_IDISABLE, UNSPEC_IENABLE): Remove.
        (UNSPEC_SET_INTR): Add.
        * config/spu/spu-modes.def (INTR): Remove.

        More accurate warnings about run-time relocations.
        * config/spu/spu.c (reloc_diagnostic): Test in_section.

        Correctly warn about immediate arguments to specific intrinsics.
        * config/spu/spu.c (spu_check_builtin_parm): Handle CONST_VECTORs.
        (spu_expand_builtin_1): Call spu_check_builtin_parm before checking
        the instruction predicate.

        Fix tree check errors with latest update.
        * config/spu/spu.c (expand_builtin_args, spu_expand_builtin_1): Use
        CALL_EXPR_ARG.
        (spu_expand_builtin): Use CALL_EXPR_FN.

        Add missing specific intrinsics.
        * config/spu/spu-builtins.def: Add si_bisled, si_bisledd and
        si_bislede.
        * config/spu/spu_internals.h: Ditto.

        Fix incorrect operand modifiers.
        * config/spu/spu-builtins.md (spu_mpy, spu_mpyu):  Remove use of %H.
        * config/spu/spu.md (xor<mode>3):  Change %S to %J.

        Optimize one case of zero_extend of a vec_select.
        * config/spu/spu.md (_vec_extractv8hi_ze):  Add.

        Accept any immediate for hbr.
        * config/spu/spu.md (hbr):  Change s constraints to i.

2007-02-21  Paul Brook  <paul@codesourcery.com>

        * config/arm/arm.c (thumb2_final_prescan_insn): Don't incrememnt
        condexec_count when skipping USE and CLOBBER.

2007-02-21  Nick Clifton  <nickc@redhat.com>

        * common.opt (Warray-bounds): Add Warning attribute.
        (Wstrict-overflow, Wstrict-overflow=, Wcoverage-mismatch):
        Likewise.
        (fsized-zeroes): Add Optimization attribute.
        (fsplit-wide-types, ftree-scev-cprop): Likewise.
        * c.opt (Wc++0x-compat): Add Warning attribute.

2007-02-21  Ulrich Weigand  <uweigand@de.ibm.com>

        PR middle-end/30761
        * reload1.c (eliminate_regs_in_insn): In the single_set special
        case, attempt to re-recognize the insn before falling back to
        having reload fix it up.

2007-02-20  Eric Christopher  <echristo@gmail.com>

        * config/frv/frv.c (frv_read_argument): Take a tree and int argument.
        Rewrite accordingly.
        (frv_read_iacc_argument): Ditto.
        (frv_expand_set_builtin): Take a call instead of arglist, update for
        above changes.
        (frv_expand_unop_builtin): Ditto.
        (frv_expand_binop_builtin): Ditto.
        (frv_expand_cut_builtin): Ditto.
        (frv_expand_binopimm_builtin): Ditto.
        (frv_expand_voidbinop_builtin): Ditto.
        (frv_expand_int_void2arg): Ditto.
        (frv_expand_prefetches): Ditto.
        (frv_expand_voidtriop_builtin): Ditto.
        (frv_expand_voidaccop_builtin): Ditto.
        (frv_expand_load_builtin): Ditto.
        (frv_expand_store_builtin): Ditto.
        (frv_expand_mdpackh_builtin): Ditto.
        (frv_expand_mclracc_builtin): Ditto.
        (frv_expand_mrdacc_builtin): Ditto.
        (frv_expand_mwtacc_builtin): Ditto.
        (frv_expand_builtin): Remove usage of CALL_EXPR_ARGS, update
        calls for above.

2007-02-20  Janis Johnson  <janis187@us.ibm.com>

        * doc/invoke.texi (RS/6000 and PowerPC Options): Add -mcmpb and -mdfp.
        * configure.ac (HAVE_GAS_CMPB): Check for assembler support of the
        cmpb instruction.
        (HAVE_GAS_DFP): Check for assembler support of decimal floating
        point instructions.
        * configure: Regenerate.
        * config.in: Regenerate.
        * config/rs6000/rs6000.opt (mcmpb, mdfp): New.
        * config/rs6000/rs6000.c (rs6000_override_options): Add CMPB and DFP
        masks to power6 and power6x and to POWERPC_MASKS.
        * config/rs6000/rs6000-c.c (rs6000_cpu_cpp_builtins): Define
        _ARCH_PWR6.
        * config/rs6000/rs6000.h: Check assembler support for CMPB and DFP.
        * config/rs6000/sysv4.opt (mprototype): Use variable, not mask.
        * config/rs6000/linux64.h (SUBSUBTARGET_OVERRIDE_OPTIONS):
        Access PROTOTYPE as variable, not mask.

2007-02-20  Steven Bosscher  <steven@gcc.gnu.org>

        * rtl.h (remove_reg_equal_equiv_notes): New prototype.
        * rtlanal.c (remove_reg_equal_equiv_notes): New function.
        * combine.c (adjust_for_new_dest): Use it.
        * postreload.c (reload_combine): Likewise.

2007-02-20  Steven Bosscher  <steven@gcc.gnu.org>

        * rtlanal.c (find_reg_equal_equiv_note): Do not find REG_EQ*
        notes on an insn with multiple sets, even if single_set returns
        non-NULL for that insn.

2007-02-20  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>

        * fold-const.c (tree_expr_nonnegative_warnv_p): Handle scalb,
        scalbn and scalbln.

2007-02-20  Geoffrey Keating  <geoffk@apple.com>

        * config/darwin.h (LINK_SPEC): Default -mmacosx-version-min only
        if user didn't pass it.
        * config/i386/darwin.h (CC1_SPEC): Likewise.
        * config/rs6000/darwin.h (CC1_SPEC): Likewise.
        (DARWIN_MINVERSION_SPEC): Don't depend on user's setting of
        -mmacosx-version-min.

2007-02-20  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
            Uros Bizjak  <ubizjak@gmail.com>

        * optabs.h (enum optab_index): Add new OTI_scalb.
        (scalb_optab): Define corresponding macro.
        * optabs.c (init_optabs): Initialize scalb_optab.
        * genopinit.c (optabs): Implement scalb_optab using scalb?f3
        patterns.
        * builtins.c (expand_builtin_mathfn_2, expand_builtin): Handle
        BUILT_IN_SCALB{,F,L}, BUILT_IN_SCALBN{,F,L} and BUILT_IN_SCALBLN{,F,L}.
        (expand_builtin): Expand BUILT_IN_SCALB{,F,L}, BUILT_IN_SCALBN{,F,L}
        and BUILT_IN_SCALBLN{,F,L} using expand_builtin_mathfn_2 if
        flag_unsafe_math_optimizations is set.

        * config/i386/i386.md (scalbxf3, scalb<mode>3): New expanders
        to implement scalbf, scalb and scalbl built-ins as inline x87
        intrinsics.

2007-02-20  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
            DJ Delorie <dj@redhat.com>

        PR other/30824
        * diagnostic.c (diagnostic_count_diagnostic): Move -Werror logic to...
        (diagnostic_report_diagnostic): ... here, and turn them into real
        errors. If warnings are inhibited, no need to do anything.

2007-02-20  Uros Bizjak  <ubizjak@gmail.com>

        * config/i386/i386.md (expm1xf2): Reorder insn sequence for
        better code generation.

2007-02-20  Ben Elliston  <bje@au.ibm.com>

        * config/m68hc11/m68hc11.h (OVERRIDE_OPTIONS): Remove extra ;.

2007-02-20  Kazu Hirata  <kazu@codesourcery.com>

        * config/alpha/alpha.c, config/alpha/alpha.md,
        config/alpha/lib1funcs.asm, config/alpha/vms-crt0-64.c,
        config/alpha/vms-psxcrt0-64.c, config/arc/arc.c,
        config/arc/arc.h, config/arm/arm.c, config/arm/arm.md,
        config/arm/lib1funcs.asm: Follow spelling conventions.

        * config/c4x/c4x.md, config/cris/cris.c, config/crx/crx.c,
        config/fr30/fr30.md, config/i386/i386.h,
        config/iq2000/iq2000.h, config/iq2000/predicates.md,
        config/pa/milli64.S, config/pa/pa.c, config/pa/pa.h,
        config/pa/pa.md, config/pa/pa32-regs.h, config/pa/pa64-regs.h,
        config/pdp11/pdp11.c, config/pdp11/pdp11.h,
        config/rs6000/altivec.md, config/rs6000/rs6000.c,
        config/s390/s390-modes.def, config/sparc/netbsd-elf.h,
        config/sparc/sparc.c, config/sparc/sparc.h,
        config/sparc/sparc.md, config/spu/constraints.md,
        config/spu/spu.c, config/stormy16/stormy16.md: Follow spelling
        conventions.

2007-02-20  Alan Modra  <amodra@bigpond.net.au>

        PR target/29943
        * varasm.c (use_blocks_for_decl_p): Return false for decls with
        alias attribute.

2007-02-19  Kazu Hirata  <kazu@codesourcery.com>

        * doc/invoke.texi (-ftree-lrs): Remove.

2007-02-19  Diego Novillo  <dnovillo@redhat.com>

        * tree-ssa-pre.c (create_value_expr_from): Initialize POOL to
        NULL.

2007-02-19  Lee Millward  <lee.millward@codesourcery.com>

        * config/ia64/ia64.c (ia64_expand_builtin): Use the
        new CALL_EXPR_FN macro for retrieving the function
        declaration of the input expression.

2007-02-19  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>

        * c.opt (Waddress): New.
        * common.opt (Walways-true): Delete.
        (Wstring-literal-comparison): Delete.
        * doc/invoke.texi (Warning Options): Delete -Walways-true and
        -Wstring-literal-comparison. Add -Waddress.
        (Waddress): New.
        (Walways-true): Delete.
        (Wstring-literal-comparison): Delete.
        * doc/extend.texi (#pragma GCC diagnostic): Use -Wformat
        consistently instead of -Walways-true in example.
        * c-opts.c (c_common_handle_option): -Waddress is enabled by -Wall.
        * c-typeck.c (parser_build_binary_op): Replace
        -Wstring-literal-comparison and -Walways-true with -Waddress.
        * c-common.c (c_common_truthvalue_conversion): Replace -Walways-true
        with -Waddress.

2007-02-19  Eric Botcazou  <ebotcazou@adacore.com>

        * tree-cfg.c (dump_function_to_file): Be prepared for functions
        without DECL_STRUCT_FUNCTION initialized.

2007-02-19  Eric Botcazou  <ebotcazou@adacore.com>

        * gimplify.c (gimplify_init_ctor_preeval_1): Detect potential overlap
        due to calls to functions taking pointers as parameters.

2007-02-19  Richard Henderson  <rth@redhat.com>

        PR debug/29558
        * var-tracking.c (track_expr_p): Disallow AGGREGATE_TYPE_P
        in memory.

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

        * config/s390/s390.c (s390_call_saved_register_used,
        s390_function_ok_for_sibcall): Adjust the way CALL_EXPR arguments are
        accessed to the new scheme.

2007-02-19  Jan-Benedict Glaw  <jbglaw@lug-owl.de>

        * config/cris/cris.c (cris_movem_load_rest_p, cris_store_multiple_op_p)
        (cris_print_index, cris_print_operand, cris_print_operand_address)
        (cris_reload_address_legitimized, cris_rtx_costs, cris_address_cost)
        (cris_side_effect_mode_ok, cris_valid_pic_const, cris_split_movdx)
        (cris_expand_pic_call_address): Use xxx_P predicate macros instead of
        GET_CODE () == xxx.
        * config/cris/cris.h (SECONDARY_RELOAD_CLASS, EXTRA_CONSTRAINT_Q,
        EXTRA_CONSTRAINT_T, BDAP_INDEX_P, BIAP_INDEX_P, SIMPLE_ADDRESS_P,
        GO_IF_LEGITIMATE_ADDRESS): Ditto.
        * config/cris/cris.md (define_insns: *btst, movdi, *mov_side<mode>)
        (*mov_sidesisf, *mov_side<mode>_mem, *mov_sidesisf_mem)
        (*clear_side<mode>, movsi, *movsi_internal, *ext_sideqihi)
        (*ext_side<mode>si, *op_side<mode>, *op_swap_side<mode>, addsi3)
        (*extopqihi_side, *extop<mode>si_side, *extopqihi_swap_side)
        (*extop<mode>si_swap_side, addi_mul, *addi,andsi3, andhi3, ashl<mode>3)
        (uminsi3, call, call_value): Ditto.
        (define_split: indir_to_reg_split, unnamed): Ditto.

2007-02-19  Dorit Nuzman  <dorit@il.ibm.com>

        PR tree-optimization/30975
        * tree-vect-trasnform.c (vect_get_vec_def_for_stmt_copy): Remove
        wrong assert.

2007-02-18  Eric Christopher  <echristo@gmail.com>

        * mips.c (mips_prepare_builtin_arg): Add argnum parameter.
        Remove use of arglist.
        (mips_expand_builtin): Remove use of arglist, pass in expr.
        (mips_expand_builtin_direct): Rewrite handling for arglist removal.
        (mips_expand_builtin_movtf): Ditto.
        (mips_expand_builtin_compare): Ditto.

2007-02-19  Alexandre Oliva  <aoliva@redhat.com>

        * tree-sra.c (sra_build_assignment): Replace assertion
        checking with a comment explaining why it can't be done.

2007-02-18  Sandra Loosemore  <sandra@codesourcery.com>

        PR middle-end/30833
        * tree-dump.c (dequeue_and_dump): Add tcc_vl_exp case missed
        during CALL_EXPR representation conversion.
        * tree-ssa-propagate.c (set_rhs): Likewise.

2007-02-19  Alexandre Oliva  <aoliva@redhat.com>

        * tree-sra.c (sra_build_assignment): Disable assertion checking
        for now.

2007-02-18  Roger Sayle  <roger@eyesopen.com>

        * function.c (gimplify_parameters): Call build_gimple_modify_stmt
        instead of calling build2 with a GIMPLE_MODIFY_STMT.
        * gimple-low.c (lower_function_body, lower_builtin_setjmp):
        Likewise.
        * gimplify.c (build_stack_save_restore, gimplify_return_expr,
        gimplify_decl_expr,  gimplify_self_mod_expr, gimplify_cond_expr,
        gimplify_init_ctor_eval_range, gimple_push_cleanup,
        gimplify_omp_for, gimplify_omp_atomic_pipeline,
        gimplify_omp_atomic_mutex, gimplify_expr, gimplify_one_sizepos,
        force_gimple_operand): Likewise.
        * ipa-cp.c (constant_val_insert): Likewise.
        * lambda-code.c (lbv_to_gcc_expression, lle_to_gcc_expression,
        lambda_loopnest_to_gcc_loopnest, replace_uses_equiv_to_x_with_y,
        perfect_nestify): Likewise.
        * langhooks.c (lhd_omp_assignment): Likewise.
        * omp-low.c (lower_rec_input_clauses, lower_reduction_clauses,
        lower_copyprivate_clauses, lower_send_clauses,
        lower_send_shared_vars, expand_parallel_call,
        expand_omp_for_generic, expand_omp_for_static_nochunk,
        expand_omp_for_static_chunk, expand_omp_sections,
        lower_omp_single_copy, lower_omp_for_lastprivate,
        lower_omp_parallel, init_tmp_var, save_tmp_var): Likewise.
        * value-prof.c (tree_divmod_fixed_value, tree_mod_pow2,
        tree_mod_subtract, tree_ic, tree_stringop_fixed_value):
        Likewise.

2007-02-19  Kazu Hirata  <kazu@codesourcery.com>

        * config/sh/divtab.c, config/sh/sh.c, config/sh/sh.h,
        config/sh/sh.md: Follow spelling conventions.

        * config/frv/frv.c, config/frv/frv.h, config/frv/frv.md,
        config/frv/predicates.md: Follow spelling conventions.

        * config/m68k/linux-unwind.h: Fix a comment typo.
        * target.h: Follow spelling conventions.

2007-02-18  Roger Sayle  <roger@eyesopen.com>

        PR rtl-optimization/28173
        * simplify-rtx.c (simplify_binary_operation_1) <IOR>:  Optimize
        (X & C1) | C2 as C2 when (C1 & C2) == C1 and X has no side-effects.
        Optimize (X & C1) | C2 as X | C2 when (C1 | C2) == ~0.
        Canonicalize (X & C1) | C2 as (X & (C1 & ~C2)) | C2.
        <AND>: Canonicalize (X | C1) & C2 as (X & C2) | (C1 & C2).

2007-02-18  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>

        * builtins.c (fold_builtin_load_exponent): New.
        (fold_builtin_2): Use it.

2007-02-18  Steven Bosscher  <steven@gcc.gnu.org>

        PR rtl-optimization/30773
        * local-alloc.c (update_equiv_regs): Do not set reg_equiv_init
        if we fail to attach a REG_EQUIV note.

2007-02-18  David Edelsohn  <edelsohn@gnu.org>
            Roger Sayle  <roger@eyesopen.com>

        * config/rs6000/rs6000.md (bswapsi2): New define_insn and splitter.

2007-02-18  Sandra Loosemore  <sandra@codesourcery.com>

        * calls.c (initialize_argument_information): Pass original EXP
        and STRUCT_VALUE_ADDR_VALUE instead of a list of arguments.  Move
        code to split complex arguments here, as part of initializing the
        ARGS array.
        (expand_call): Remove code that builds a list of arguments and
        inserts implicit arguments into it.  Instead, just count how many
        implicit arguments there will be so we can determine the size of
        the ARGS array, and let initialize_argument_information do the work.
        (split_complex_values): Delete unused function.

2007-02-18  Eric Botcazou  <ebotcazou@adacore.com>

        * tree-eh.c (tree_could_trap_p): Handle VIEW_CONVERT_EXPR.

2007-02-18  Eric Botcazou  <ebotcazou@adacore.com>

        * calls.c (mem_overlaps_already_clobbered_arg_p): Return true
        for arg pointer based indexed addressing.

2007-02-18  Kazu Hirata  <kazu@codesourcery.com>

        * config/ia64/ia64.h, config/ia64/ia64.md,
        config/ia64/predicates.md, config/ia64/sysv4.h: Follow
        spelling conventions.

2007-02-18  Roman Zippel <zippel@linux-m68k.org>

        * config/m68k/m68k.c (split_di): New.
        * config/m68k/m68k-protos.h: Declare split_di.
        * config/m68k/m68k.md (extendsidi2*,ashldi3*,ashrdi3*,lshrdi3*):
          Improve predicate handling and split constant shifts.

2007-02-18  Roman Zippel <zippel@linux-m68k.org>

        * config/m68k/m68k.md (extv,extzv,insv): disable dynamic
        parameter for register bitfield operations, general predicates
        cleanup

2007-02-18  Roman Zippel <zippel@linux-m68k.org>

        * config/m68k/linux.h (MD_UNWIND_SUPPORT): Define.
        * config/m68k/linux-unwind.h: New file.

2007-02-18  Kazu Hirata  <kazu@codesourcery.com>

        * cfgloop.c, config/alpha/alpha.c, config/bfin/bfin.c,
        config/i386/athlon.md, config/ia64/ia64.md,
        config/rs6000/rs6000.c, config/s390/s390.c, config/spu/spu.md,
        df-problems.c, df.h, fold-const.c, ipa-cp.c, ipa-inline.c,
        ipa-prop.h, see.c, struct-equiv.c, tree-inline.c,
        tree-ssa-loop-niter.c, tree-vect-analyze.c,
        tree-vect-transform.c: Fix comment typos.

2007-02-17  Kazu Hirata  <kazu@codesourcery.com>

        * sched-deps.c (find_insn_list): Remove.
        * sched-int.h: Remove the prototype for find_insn_list.

2007-02-16  Geoffrey Keating  <geoffk@apple.com>

        * config/darwin.h (LINK_SPEC): Always pass -macosx_version_min
        to linker.
        (DARWIN_EXTRA_SPECS): Add %(darwin_minversion).
        * config/rs6000/darwin.h (SUBTARGET_OVERRIDE_OPTIONS): Just call
        darwin_rs6000_override_options.
        (C_COMMON_OVERRIDE_OPTIONS): Expect
        darwin_macosx_version_min to be non-NULL always.
        (TARGET_C99_FUNCTIONS): Likewise.
        (CC1_SPEC): Always pass -mmacosx-version-min to cc1*.
        (DARWIN_MINVERSION_SPEC): New.
        * config/rs6000/rs6000.c (darwin_rs6000_override_options): New.
        * config/i386/darwin.h (CC1_SPEC): Always pass -mmacosx-version-min
        to cc1*.
        (DARWIN_MINVERSION_SPEC): New.
        * config/darwin.opt (mmacosx-version-min): Initialize to non-NULL
        value.
        * config/darwin-c.c (darwin_cpp_builtins): Expect
        darwin_macosx_version_min to be non-NULL always.

        * config/rs6000/rs6000.c: Clean up trailing whitespace.

2007-02-16  Uros Bizjak  <ubizjak@gmail.com>

        * config/i386/i386.h (x86_use_xchgb): New.
        (TARGET_USE_XCHGB): New macro.
        * config/i386/i386.c (x86_use_xchgb): Set for PENT4.
        * config/i386/i386.md (*rotlhi3_1 splitter, *rotrhi3_1 splitter):
        Split after reload into bswaphi for shifts of 8.
        (bswaphi_lowpart): Generate rolw insn for HImode byte swaps.
        (*bswaphi_lowpart_1): Generate xchgb for Q registers for TARGET_XCHGB
        or when optimizing for size.

2007-02-16  Richard Guenther  <rguenther@suse.de>
            Christian Bruel  <christian.bruel@st.com>

        * fold-const.c (tree_swap_operands_p): Treat SSA_NAMEs like
        DECLs but prefer SSA_NAMEs over DECLs.

2007-02-16  Richard Guenther  <rguenther@suse.de>

        * tree-flow-inline.h (single_imm_use_p): Remove.
        (zero_imm_uses_p): Likewise.
        * tree-ssa-coalesce.c (create_outofssa_var_map): Use has_single_use
        instead of single_imm_use_p.
        * tree-cfg.c (replace_uses_by): Use has_zero_use instead of
        zero_imm_uses_p.

2007-02-16  Ralf Wildenhues  <Ralf.Wildenhues@gmx.de>

        PR other/27843
        * Makefile.in (SYSTEM_HEADER_DIR): Use single quotes to avoid
        nested double- and backquotes.

2007-02-15  Roger Sayle  <roger@eyesopen.com>

        PR middle-end/30391
        * tree.c (expr_align): Handle MODIFY_EXPR.  GIMPLE_MODIFY_STMT
        should be unreachable.
        (build2_stat): Allow construction of MODIFY_EXPR at any time.
        For the time being redirect GIMPLE_MODIFY_STMT to the new
        (renamed) build_gimple_modify_stmt_stat.
        (build2_gimple_stat): Rename to...
        (build_gimple_modify_stmt_stat): Now longer take a CODE argument.
        Always build a GIMPLE_MODIFY_STMT node.
        * tree.h (build2_gimple, build2_gimple_stat): Delete.
        (build_gimple_modify_stmt, build_gimple_modify_stmt_stat): New
        declarations.

        * tree-cfg.c (factor_computed_gotos, tree_merge_blocks,
        gimplify_val): Use build_gimple_modify_stmt instead of build2_gimple.
        * tree-complex.c (set_component_ssa_name, expand_complex_move,
        expand_complex_div_wide): Likewise.
        * tree-ssa-dom.c (record_equivalences_from_stmt): Likewise.
        * tree-ssa-loop-im.c (schedule_sm): Likewise.
        * tree-ssa-loop-ivopts.c (rewrite_use_nonlinear_expr): Likewise.
        * tree-ssa-loop-manip.c (create_iv): Likewise.
        * tree-ssa-phiopt.c (conditional_replacement, minmax_replacement,
        abs_replacement): Likewise.
        * tree-ssa-pre.c (create_expression_by_pieces, poolify_modify_stmt,
        realify_fake_stores): Likewise.

        * builtins.c (std_expand_builtin_va_start): Build a MODIFY_EXPR
        node rather than a GIMPLE_MODIFY_STMT node.
        (std_gimpify_va_arg_expr, expand_builtin_va_copy,
        fold_builtin_memset, fold_builtin_memory_op, do_mpfr_sincos):
        Likewise.
        (integer_valued_real_p): Handle MODIFY_EXPR, not GIMPLE_MODIFY_STMT.
        * expr.c (expand_expr_real_1): Handle both MODIFY_EXPR and
        GIMPLE_MODIFY_STMT.

2007-02-15  Andrew Pinski  <andrew_pinski@playstation.sony.com>

        PR middle-end/30433
        * fold-const.c (fold_comparison): Add back the
        folding of constant complex comparisions.

2007-02-15  Andrew Pinski  <andrew_pinski@playstation.sony.com>

        PR middle-end/30729
        * stmt.c (warn_if_unused_value): VA_ARG_EXPR has side
        effects unknown to this function, return early.

2007-02-15  Ian Lance Taylor  <iant@google.com>

        * lower-subreg.c (move_eh_region_note): New static function.
        (resolve_simple_move): Call it.
        (decompose_multiword_subregs): Track blocks for which we resolve a
        simple move which is also a control flow insn.  Pass them to
        find_many_sub_basic_blocks.
        (pass_lower_subreg): Add TODO_verify_flow.
        (pass_lower_subreg2): Likewise.

2007-02-15  Sandra Loosemore  <sandra@codesourcery.com>
            Brooks Moses  <brooks.moses@codesourcery.com>
            Lee Millward  <lee.millward@codesourcery.com>

        * tree.h (enum tree_code_class): Add tcc_vl_exp.
        (VL_EXP_CLASS_P): New.
        (TREE_OPERAND_CHECK): Use TREE_OPERAND_LENGTH instead of
        TREE_CODE_LENGTH.
        (TREE_OPERAND_CHECK_CODE): Likewise.
        (GIMPLE_STMT_OPERAND_CHECK): Likewise.
        (TREE_RTL_OPERAND_CHECK): Likewise.
        (tree_operand_check_failed): Make second parameter the whole tree
        instead of its code.  Fixed callers.
        (VL_EXP_CHECK): New.
        (TREE_OPERAND_LENGTH): New.
        (VL_EXP_OPERAND_LENGTH): New.
        (CALL_EXPR_FN): New.
        (CALL_EXPR_STATIC_CHAIN): New.
        (CALL_EXPR_ARGS): New.
        (CALL_EXPR_ARG): New.
        (call_expr_nargs): New.
        (CALL_EXPR_ARGP): New.
        (build_nt_call_list): Declare.
        (build_vl_exp_stat): Declare.
        (build_vl_exp): New.
        (build_call_list): Declare.
        (build_call_nary): Declare.
        (build_call_valist): Declare.
        (build_call_array): Declare.
        (call_expr_arg): Declare.
        (call_expr_argp): Declare.
        (call_expr_arglist): Declare.
        (fold_build_call_list): Declare.
        (fold_build_call_list_initializer): Declare.
        (fold_call_expr): Declare to replace fold_builtin.
        (fold_builtin_fputs): Update to agree with modified definition.
        (fold_builtin_strcpy): Likewise.
        (fold_builtin_strncpy): Likewise.
        (fold_builtin_memory_chk): Likewise.
        (fold_builtin_stxcpy_chk): Likewise.
        (fold_builtin_strncpy_chk): Likewise.
        (fold_builtin_next_arg): Likewise.
        (fold_build_call_expr): Declare.
        (fold_builtin_call_list): Declare.
        (fold_builtin_call_valist): Declare.
        (build_call_expr): Declare.
        (validate_arglist): Update to agree with modified definition.
        (tree_operand_length): New.
        (call_expr_arg_iterator): New.
        (init_call_expr_arg_iterator): New.
        (next_call_expr_arg): New.
        (first_call_expr_arg): New.
        (more_call_expr_args_p): New.
        (FOR_EACH_CALL_EXPR_ARG): New.

        * tree.c (tree_code_class_string): Add entries for tcc_vl_exp
        and tcc_gimple_stmt.
        (tree_code_size): Update documentation.  Use sizeof (tree) rather
        than sizeof (char *).
        (tree_size): Likewise.  Add case for tcc_vl_exp.
        (tree_node_structure): Add case for tcc_vl_exp.
        (contains_placeholder_p): Likewise.
        (substitute_in_expr): Likewise.
        (substitute_placeholder_in_expr): Likewise.
        (stabilize_reference_1): Likewise.
        (build3_stat): Remove logic for CALL_EXPRs.  Replace with assertion
        to diagnose breakage of this interface for constructing CALL_EXPRs.
        (build_nt): Add similar assertion here.
        (build_nt_call_list): New.
        (simple_cst_equal) <CALL_EXPR>: Rewrite to use new accessors.
        (iterative_hash_expr): Use TREE_OPERAND_LENGTH instead of
        TREE_CODE_LENGTH.
        (get_callee_fndecl): Use new CALL_EXPR accessors.
        (tree_operand_check_failed): Change parameters to pass entire node
        instead of its code, so that we can call TREE_OPERAND_LENGTH on it.
        (process_call_operands): New.
        (build_vl_exp_stat): New.
        (build_call_list): New.
        (build_call_nary): New.
        (build_call_valist): New.
        (build_call_array): New.
        (walk_tree): Use TREE_OPERAND_LENGTH instead of TREE_CODE_LENGTH.
        (call_expr_arglist): New.

        * tree.def (CALL_EXPR): Change representation of CALL_EXPRs to use
        tcc_vl_exp instead of a fixed-size tcc_expression.

        * doc/c-tree.texi (CALL_EXPR): Document new representation and
        accessors for CALL_EXPRs.
        (AGGR_INIT_EXPR): Likewise.

2007-02-15  Sandra Loosemore  <sandra@codesourcery.com>
            Brooks Moses  <brooks.moses@codesourcery.com>
            Lee Millward  <lee.millward@codesourcery.com>

        * builtins.c (c_strlen): Return NULL_TREE instead of 0.
        (expand_builtin_nonlocal_goto): Change parameter to be entire
        CALL_EXPR instead of an arglist.  Use new CALL_EXPR accessors.
        (expand_builtin_prefetch): Likewise.
        (expand_builtin_classify_type): Likewise.
        (mathfn_built_in): Return NULL_TREE instead of 0.
        (expand_errno_check): Use new CALL_EXPR accessors.
        (expand_builtin_mathfn): Use new CALL_EXPR accessors and constructors.
        Return NULL_RTX instead of 0.
        (expand_builtin_mathfn_2): Likewise.
        (expand_builtin_mathfn_3): Likewise.
        (expand_builtin_interclass_mathfn): Likewise.
        (expand_builtin_sincos): Likewise.
        (expand_builtin_cexpi): Likewise.
        (expand_builtin_int_roundingfn): Likewise.
        (expand_builtin_int_roundingfn_2): Likewise.
        (expand_builtin_pow): Likewise.
        (expand_builtin_powi): Likewise.
        (expand_builtin_strlen): Pass entire CALL_EXPR as parameter instead
        of arglist, fixing callers appropriately.  Use new CALL_EXPR
        accessors and constructors.  Return NULL_RTX instead of 0.
        (expand_builtin_strstr): Likewise.
        (expand_builtin_strchr): Likewise.
        (expand_builtin_strrchr): Likewise.
        (expand_builtin_strpbrk): Likewise.
        (expand_builtin_memcpy): Likewise.
        (expand_builtin_mempcpy): Likewise.
        (expand_builtin_mempcpy_args): New.
        (expand_builtin_memmove): Similarly to expand_builtin_mempcpy.
        (expand_builtin_memmove_args): New.
        (expand_builtin_bcopy): Similarly to expand_builtin_mempcpy.
        (expand_movstr): Likewise.
        (expand_builtin_strcpy): Likewise.
        (expand_builtin_strcpy_args): New.
        (expand_builtin_stpcpy): Similarly to expand_builtin_strcpy.
        (expand_builtin_strncpy): Likewise.
        (expand_builtin_memset): Likewise.
        (expand_builtin_memset_args): New.
        (expand_builtin_bzero): Similarly to expand_builtin_memset.
        (expand_builtin_memcmp): Likewise.
        (expand_builtin_strcmp): Likewise.
        (expand_builtin_strncmp): Likewise.
        (expand_builtin_strcat): Likewise.
        (expand_builtin_strncat): Likewise.
        (expand_builtin_strspn): Likewise.
        (expand_builtin_strcspn): Likewise.
        (expand_builtin_args_info): Likewise.
        (expand_builtin_va_start): Likewise.
        (gimplify_va_arg_expr): Likewise.
        (expand_builtin_va_end): Likewise.
        (expand_builtin_va_copy): Likewise.
        (expand_builtin_frame_address): Likewise.
        (expand_builtin_alloca): Likewise.
        (expand_builtin_bswap): Likewise.
        (expand_builtin_unop): Likewise.
        (expand_builtin_fputs): Likewise.
        (expand_builtin_expect): Likewise.
        (expand_builtin_fabs): Likewise.
        (expand_builtin_copysign): Likewise.
        (expand_builtin_printf): Likewise.
        (expand_builtin_fprintf): Likewise.
        (expand_builtin_sprintf): Likewise.
        (expand_builtin_init_trampoline): Likewise.
        (expand_builtin_signbit): Likewise.
        (expand_builtin_fork_or_exec): Likewise.
        (expand_builtin_sync_operation): Likewise.
        (expand_builtin_compare_and_swap): Likewise.
        (expand_builtin_lock_test_and_set): Likewise.
        (expand_builtin_lock_release): Likewise.
        (expand_builtin): Likewise.
        (builtin_mathfn_code): Likewise.

        (fold_builtin_constant_p): Pass call arguments individually instead
        of as an arglist, fixing callers appropriately.  Use new CALL_EXPR
        accessors and constructors.  Return NULL_TREE instead of 0.
        (fold_builtin_expect): Likewise.
        (fold_builtin_classify_type): Likewise.
        (fold_builtin_strlen): Likewise.
        (fold_builtin_nan): Likewise.
        (integer_valued_real_p): Likewise.
        (fold_trunc_transparent_mathfn): Likewise.
        (fold_fixed_mathfn): Likewise.
        (fold_builtin_cabs): Likewise.
        (fold_builtin_sqrt): Likewise.
        (fold_builtin_cbrt): Likewise.
        (fold_builtin_cos): Likewise.
        (fold_builtin_cosh): Likewise.
        (fold_builtin_tan): Likewise.
        (fold_builtin_sincos): Likewise.
        (fold_builtin_cexp): Likewise.
        (fold_builtin_trunc): Likewise.
        (fold_builtin_floor): Likewise.
        (fold_builtin_ceil): Likewise.
        (fold_builtin_round): Likewise.
        (fold_builtin_int_roundingfn): Likewise.
        (fold_builtin_bitop): Likewise.
        (fold_builtin_bswap): Likewise.
        (fold_builtin_logarithm): Likewise.
        (fold_builtin_hypot): Likewise.
        (fold_builtin_pow): Likewise.
        (fold_builtin_powi): Likewise.
        (fold_builtin_exponent): Likewise.
        (fold_builtin_memset): Likewise.
        (fold_builtin_bzero): Likewise.
        (fold_builtin_memory_op): Likewise.
        (fold_builtin_bcopy): Deleted; call site changed to invoke
        fold_builtin_memory_op directly.
        (fold_builtin_strcpy): Similarly as for fold_builtin_memory_op.
        (fold_builtin_strncpy): Likewise.
        (fold_builtin_memcmp): Likewise.
        (fold_builtin_strcmp): Likewise.
        (fold_builtin_strncmp): Likewise.
        (fold_builtin_signbit): Likewise.
        (fold_builtin_copysign): Likewise.
        (fold_builtin_isascii): Likewise.
        (fold_builtin_toascii): Likewise.
        (fold_builtin_isdigit): Likewise.
        (fold_builtin_fabs): Likewise.
        (fold_builtin_abs): Likewise.
        (fold_builtin_fmin_fmax): Likewise.
        (fold_builtin_carg): Likewise.
        (fold_builtin_classify): Likewise.
        (fold_builtin_unordered_cmp): Likewise.

        (fold_builtin_0, fold_builtin_2, fold_builtin_3, fold_builtin_4):
        New functions split out from fold_builtin_1.
        (fold_builtin_n): New.
        (fold_builtin_varargs): New.
        (fold_builtin): Deleted.  Most callers changed to use fold_call_expr
        instead.
        (fold_call_expr): New.
        (build_function_call_expr): Rewrite to use new helper function.
        (fold_builtin_call_list): New.
        (build_call_expr): New.
        (fold_builtin_call_valist): New.
        (rewrite_call_expr): New.
        (validate_arg): New.
        (validate_arglist): Change parameter to be entire CALL_EXPR instead
        of an arglist.  Change return type to bool.  Use new CALL_EXPR
        accessors.

        (fold_builtin_strstr):  Pass call arguments individually instead
        of as an arglist, fixing callers appropriately.  Use new CALL_EXPR
        accessors and constructors.  Return NULL_TREE instead of 0.
        (fold_builtin_strchr): Likewise.
        (fold_builtin_strrchr): Likewise.
        (fold_builtin_strpbrk): Likewise.
        (fold_builtin_strcat): Likewise.
        (fold_builtin_strncat): Likewise.
        (fold_builtin_strspn): Likewise.
        (fold_builtin_strcspn): Likewise.
        (fold_builtin_fputs): Likewise.
        (fold_builtin_next_arg): Likewise.
        (fold_builtin_sprintf): Likewise.

        (expand_builtin_object_size): Use new CALL_EXPR accessors.  Use
        NULL_RTX instead of 0.
        (expand_builtin_memory_chk): Likewise.
        (maybe_emit_chk_warning): Likewise.
        (maybe_emit_sprintf_chk_warning): Likewise.

        (fold_builtin_object_size): Pass call arguments individually instead
        of as an arglist, fixing callers appropriately.  Use new CALL_EXPR
        accessors and constructors.  Return NULL_TREE instead of 0.
        (fold_builtin_memory_chk): Likewise.
        (fold_builtin_stxcpy_chk): Likewise.
        (fold_builtin_strncpy_chk): Likewise.
        (fold_builtin_strcat_chk): Likewise.
        (fold_builtin_strcat_chk): Likewise.
        (fold_builtin_strncat_chk): Likewise.
        (fold_builtin_sprintf_chk): Likewise.
        (fold_builtin_snprintf_chk): Likewise.
        (fold_builtin_printf): Likewise.
        (fold_builtin_vprintf): Likewise.

        * fold-const.c (negate_expr_p): Use new CALL_EXPR accessors and
        constructors.
        (operand_equal_p): Add separate tcc_vl_exp/CALL_EXPR case.
        (make_range): Use TREE_OPERAND_LENGTH instead of TREE_CODE_LENGTH.
        (extract_muldiv_1): Add VL_EXP_CLASS_P case.
        (fold_mathfn_compare): Use new CALL_EXPR accessors and constructors.
        (fold_unary): Likewise.
        (fold_binary): Likewise.
        (fold_ternary): Remove CALL_EXPR case, since they are no longer
        ternary expressions.
        (fold): Add logic for tcc_vl_exp.
        (fold_checksum_tree):  Make it know about tcc_vl_exp.  Use
        TREE_OPERAND_LENGTH instead of TREE_CODE_LENGTH.
        (fold_build3_stat): Add assertion to flag broken interface for
        constructing CALL_EXPRs.
        (fold_build_call_list): New.
        (fold_build_call_list_initializer): New.
        (tree_expr_nonnegative_p): Use new CALL_EXPR accessors and
        constructors.
        (fold_strip_sign_ops): Likewise.

2007-02-15  Sandra Loosemore  <sandra@codesourcery.com>
            Brooks Moses  <brooks.moses@codesourcery.com>
            Lee Millward  <lee.millward@codesourcery.com>

        * tree-dump.c (dequeue_and_dump) <CALL_EXPR>: Use new CALL_EXPR
        accessors and dump arguments explicitly.

        * tree-pretty-print.c (do_niy): Use TREE_OPERAND_LENGTH instead of
        TREE_CODE_LENGTH.
        (dump_generic_node): Use new CALL_EXPR accessors and walk arguments
        explicitly.
        (print_call_name): Use new CALL_EXPR accessors.

        * print-tree.c (print_node): Add case tcc_vl_exp.  Print
        CALL_EXPR arguments explicitly instead of as a list.  Use
        TREE_OPERAND_LENGTH instead of TREE_CODE_LENGTH.

        * tree-vrp.c (stmt_interesting_for_vrp): Use new CALL_EXPR accessors.
        (vrp_visit_stmt): Likewise.

        * tree-ssa-loop-im.c (outermost_invariant_loop_expr):  Make it
        know about tcc_vl_exp.  Use TREE_OPERAND_LENGTH instead of
        TREE_CODE_LENGTH.
        (force_move_till_expr): Likewise.

        * targhooks.c (default_external_stack_protect_fail): Use
        build_call_expr instead of build_function_call_expr.
        (default_hidden_stack_protect_fail): Likewise.

        * tree-complex.c (expand_complex_libcall): Use build_call_expr to
        build the call.

        * cgraphbuild.c (build_cgraph_edges): Use new CALL_EXPR accessors
        and walk arguments explicitly.

        * tree-ssa-loop-niter.c (simplify_replace_tree): Use
        TREE_OPERAND_LENGTH instead of TREE_CODE_LENGTH.
        (expand_simple_operations): Likewise.
        (infer_loop_bounds_from_array): Use new CALL_EXPR accessors.

        * gengtype.c (adjust_field_tree_exp): Use TREE_OPERAND_LENGTH instead
        of TREE_CODE_LENGTH.
        (walk_type): Tweak walking of arrays not to blow up on CALL_EXPRs.

        * optabs.c (expand_widen_pattern-expr): Use TREE_OPERAND_LENGTH
        instead of TREE_CODE_LENGTH.

        * value_prof.c (tree_ic): Use new CALL_EXPR accessors.
        (tree_ic_transform): Likewise.
        (interesting_stringop_to_profile_p): Pass entire CALL_EXPR as
        parameter instead of arglist.  Fix callers.
        (tree_stringop_fixed_value): Use new CALL_EXPR accessors.
        (tree_stringops_transform): Likewise.
        (tree_indirect_call_to_profile): Likewise.
        (tree_stringops_values_to_profile): Likewise.

        * tree-tailcall.c (find_tail_calls): Use new CALL_EXPR iterator.
        (eliminate_tail_call): Likewise.

        * ipa-cp.c (ipcp_update_callgraph): Use new CALL_EXPR accessors.

        * tree-scalar-evolution.c (chrec_contains_symbols_defined_in_loop):
        Use TREE_OPERAND_LENGTH and generalize to handle any number of
        operands.
        (instantiate_parameters_1): Can't handle tcc_vl_exp here.

        * omp-low.c (build_omp_barrier): Use build_call_expr.
        (lower_rec_input_clauses): Likewise.
        (lower_reduction_clauses): Likewise.
        (expand_parallel_call): Likewise.
        (maybe_catch_exception): Likewise.
        (expand_omp_for_generic): Likewise.
        (expand_omp_for_static_nochunk): Likewise.
        (expand_omp_sections): Likewise.
        (lower_omp_single_simple): Likewise.
        (lower_omp_single_copy): Likewise.
        (lower_omp_master): Likewise.
        (lower_omp_ordered): Likewise.
        (lower_omp_critical): Likewise.

        * ipa-reference.c (check-call): Use new CALL_EXPR iterator.
        (scan_for_static_refs): Create tcc_vl_exp case for CALL_EXPR.

        * tree-gimple.c (is_gimple_call_addr): Fix doc.
        (recalculate_side_effects): Use TREE_OPERAND_LENGTH instead of
        TREE_CODE_LENGTH.  Add tcc_vl_exp case.

        * tree-chrec.c (chrec_contains_symbols): Use TREE_OPERAND_LENGTH
        and generalize to handle any number of operands.
        (chrec_contains_undetermined): Likewise.
        (tree_contains_chrecs): Likewise.
        (evolution_function_is_invariant_rec_p): Use TREE_OPERAND_LENGTH.

        * cgraphunit.c (update_call_expr): Use new CALL_EXPR accessors.

        * tree-ssa-ccp.c (ccp_fold): Use new CALL_EXPR accessors.  Use
        fold_call_expr instead of fold_builtin.
        (ccp_fold_builtin): Likewise.  Update calls into builtins.c to
        match declarations there.
        (fold_stmt): Use new CALL_EXPR constructor and accessors.  Doc
        updates.

        * tree-ssa-loop-ivopts.c (expr_invariant_in_loop_p): Use
        TREE_OPERAND_LENGTH instead of TREE_CODE_LENGTH.

        * ipa-pure-const.c (check_call): Use new CALL_EXPR accessors.
        (scan_function): Add case tcc_vl_exp for CALL_EXPR.

        * tree-stdarg.c (execute_optimize_stdarg): Use new CALL_EXPR
        accessors.

        * tree-ssa-math-opts.c (execute_cse_sincos_1): Use build_call_expr.
        (execute_cse_sincos): Use new CALL_EXPR accessors.

        * tree-ssa-alias.c (find_used_portions): Use new CALL_EXPR iterator.

        * gimple-low.c (lower_function_body): Use build_call_expr.
        (lower_builtin_setjmp): Likewise.

        * expr.c (emit_block_move_via_libcall): Use build_call_expr.
        (set_storage_via_libcall): Likewise.