* config/i386/i386.md (*float<SSEMODEI24:mode><X87MODEF:mode>2_1):

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

2008-04-02  Uros Bizjak  <ubizjak@gmail.com>

        * config/i386/i386.md (*float<SSEMODEI24:mode><X87MODEF:mode>2_1):
        Emit gen_floatdi<X87MODEF:mode>2_i387_with_xmm for DImode values
        in 32bit mode when XMM registers are available to avoid store
        forwarding stalls.
        (floatdi<X87MODEF:mode>2_i387_with_xmm): New insn pattern and
        corresponding post-reload splitters.

2008-04-02  H.J. Lu  <hongjiu.lu@intel.com>

        * config/i386/i386.c (bdesc_sse_3arg): Add __builtin_ia32_shufps
        and __builtin_ia32_shufpd.  Provide __builtin_ia32_roundsd and
        __builtin_ia32_roundss.
        (ix86_init_mmx_sse_builtins): Remove __builtin_ia32_shufps,
        __builtin_ia32_shufpd, __builtin_ia32_roundsd and
        __builtin_ia32_roundss.
        (ix86_expand_builtin): Don't handle IX86_BUILTIN_SHUFPS and
        IX86_BUILTIN_SHUFPD here.

2008-04-02  H.J. Lu  <hongjiu.lu@intel.com>

        * config/i386/i386.md (plogic): New.
        (plogicprefix): Likewise.

        * config/i386/mmx.md (mmx_<code><mode>3): New.
        (mmx_and<mode>3): Removed.
        (mmx_ior<mode>3): Likewise.
        (mmx_xor<mode>3): Likewise.

        * config/i386/sse.md (<code><mode>3): New.
        (*<code><mode>3): Likewise.
        (*<code><mode>3): Likewise.
        (<code><mode>3): Likewise.
        (*sse_<code><mode>3): Likewise.
        (*sse2_<code><mode>3): Likewise.
        (<code>tf3): Likewise.
        (*<code>tf3): Likewise.
        (and<mode>3): Likewise.
        (*and<mode>3): Likewise.
        (ior<mode>3): Removed.
        (*ior<mode>3): Likewise.
        (xor<mode>3): Likewise.
        (*xor<mode>3): Likewise.
        (*and<mode>3): Likewise.
        (*ior<mode>3): Likewise.
        (*xor<mode>3): Likewise.
        (and<mode>3): Likewise.
        (*sse_and<mode>3): Likewise.
        (*sse2_and<mode>3): Likewise.
        (andtf3): Likewise.
        (*andtf3): Likewise.
        (ior<mode>3): Likewise.
        (*sse_ior<mode>3): Likewise.
        (*sse2_ior<mode>3): Likewise.
        (iortf3): Likewise.
        (*iortf3): Likewise.
        (xor<mode>3): Likewise.
        (*sse_xor<mode>3): Likewise.
        (*sse2_xor<mode>3): Likewise.
        (xortf3): Likewise.
        (*xortf3): Likewise.

2008-04-02  Richard Guenther  <rguenther@suse.de>

        PR tree-optimization/14495
        PR tree-optimization/34793
        * tree-vrp.c (struct switch_update): New structure.
        (to_remove_edges, to_update_switch_stmts): New VECs.
        (simplify_switch_using_ranges): New function.  Remove not taken
        case labels and edges.
        (simplify_stmt_using_ranges): Call it.
        (identify_jump_threads): Mark edges we have queued for removal
        so we don't thread them.
        (execute_vrp): Remove edges queued for removal, update SWITCH_STMT
        case label vector.
        * tree-cfg.c (group_case_labels): Deal with missing default label.
        (tree_verify_flow_info): Allow missing default label.
        * stmt.c (emit_case_bit_tests): Deal with NULL default_label.
        (emit_case_nodes): Likewise.
        (expand_case): Do not rely on the default label to be present.
        * expr.c (try_casesi): Deal with NULL default_label.
        (do_tablejump): Likewise.

2008-04-02  Richard Guenther  <rguenther@suse.de>

        PR tree-optimization/14495
        * tree-vrp.c (vrp_visit_cond_stmt): Do not handle
        SWITCH_EXPR here ...
        (vrp_visit_switch_stmt): ... but here (new function).
        (find_case_label_index): New helper function.
        (vrp_visit_stmt): Dispatch to vrp_visit_switch_stmt.

2008-04-02  Paolo Bonzini  <bonzini@gnu.org>

        * fwprop.c: Fix ISO-C99ism.

2008-04-02  Paolo Bonzini  <bonzini@gnu.org>

        PR bootstrap/35752
        * Makefile.in (objdir): Set it here.
        * configure.ac: Not here.  Find dynamic linker characteristics.
        * exec-tool.in: Use them.
        * aclocal.m4: Regenerate.
        * configure: Regenerate.

2008-04-02  Paolo Bonzini  <bonzini@gnu.org>

        * expr.c (expand_var): Delete it.
        * expr.h (expand_var): Delete prototype.
        * function.c (expand_function_start): Use expand_decl instead.
        * cfgexpand.c (expand_one_static_var, expand_one_var): Don't call
        langhook.

2008-04-02  Andy Hutchinson <hutchinsonamdy@aim.com>

        PR rtl-optimization/35542
        * fwprop.c (forward_propagate_and_simplify): Replace
        loc_reg_mentioned_in_p with reg_mentioned_p.

2008-04-02  Paolo Bonzini  <bonzini@gnu.org>

        PR rtl-optimization/35281
        * fwprop.c (PR_CAN_APPEAR, PR_HANDLE_MEM): New.
        (propagate_rtx_1): Handle PR_HANDLE_MEM.
        (propagate_rtx): Pass PR_HANDLE_MEM if appropriate.
        (varying_mem_p): Move above propagate_rtx.
        (all_uses_available_at): Do not check MEMs.

2008-04-02  Rafael Espindola  <espindola@google.com>

        * tree-vrp.c (extract_code_and_val_from_cond): Remove.
        (register_edge_assert_for_2): Split the cond argument.
        (register_edge_assert_for_1): Adjust for the change in
        register_edge_assert_for_2.
        (register_edge_assert_for): Split the cond argument.
        (find_switch_asserts): Adjust for the change in
        register_edge_assert_for.

2008-04-02  Kai Tietz  <kai.tietz@onevision.com>

        * config.gcc: Add for x86_64-*-mingw* the t-crtfm to tbuild.
        * gcc/config/i386/cygming.h (ASM_OUTPUT_DWARF_OFFSET): Add 8 byte
        offsets for 64-bit mingw.
        * gcc/config/i386/i386.c (ix86_pass_by_reference): Correct calling
        abi for x86_64-pc-mingw.

2008-04-02  Richard Guenther  <rguenther@suse.de>

        * tree-vrp.c (extract_range_from_assert): Make sure to not
        produce range min/max with TREE_OVERFOW set.
        If merging a anti-range and a range keep the anti-range if
        the range covers all values of the type.
        (register_edge_assert_for_2): Only allow sign-changing
        conversions in detecting canonical range checks.  Also
        register an assert for the unsigned name if useful.

        PR tree-optimization/35787
        * tree-vrp.c (vrp_val_max): New function.
        (vrp_val_min): Likewise.
        (vrp_val_is_max): Move earlier, use vrp_val_{min,max}.
        (vrp_val_is_min): Likewise.
        (supports_overflow_infinity): Use vrp_val_{min,max}.
        (negative_overflow_infinity): Likewise.
        (positive_overflow_infinity): Likewise.
        (is_negative_overflow_infinity): Use vrp_val_is_{min,max}.
        (is_positive_overflow_infinity): Likewise.
        (is_overflow_infinity): Likewise.
        (avoid_overflow_infinity): Use vrp_val_{min,max} and
        vrp_val_is_{min,max}.
        (set_and_canonicalize_value_range): Canonicalize anti-ranges
        to ranges if possible.  Avoid empty ranges.

2008-04-01  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>

        PR middle-end/35705
        * fold-const.c (get_pointer_modulus_and_residue): Return modulus 1 if
        the expression is a function address.

2008-04-01  George Helffrich  <george@gcc.gnu.org>

        PR fortran/PR35154, fortran/PR23057
        * fortran/trans-common.c (create_common):  Add decl to function
        chain to preserve identifier scope in debug output.

        * dbxout.c: Emit .stabs debug info for Fortran COMMON block
        variables as base symbol name + offset using N_BCOMM/N_ECOMM.
        (is_fortran, dbxout_common_name, dbxout_common_check): New functions.
        (dbxout_symbol_location): Transform N_LCSYM to N_GSYM for storage
        in common.
        (dbxout_syms): Check for COMMON-based symbol and wrap in
        N_BCOMM/N_ECOMM stab bracket, including as many symbols as possible
        in bracket for efficiency.

        * dwarf2out.c: Emit DWARF debug info for Fortran COMMON block
        using DW_TAG_common_block + member offset.
        (add_pubname_string): New function.
        (dw_expand_expr): New function to find block name and offset for
        COMMON var.
        (common_check): New function to check whether symbol in Fortran COMMON.
        (gen_variable_die): If COMMON, use DW_TAG_common_block.

        * testsuite/gcc.dg/debug/pr35154.c:  New test to check that non-Fortran
        use of common is unchanged.

        * testsuite/lib/gfortran-dg.exp:  New harness to compile Fortran progs
        with all combinations of debug options available on target.
        * testsuite/gfortran.dg/debug/debug.exp:  Ditto.
        * testsuite/gfortran.dg/debug/trivial.f:  Ditto.
        * testsuite/gfortran.dg/debug/pr35154-stabs.f:  New test case for
        .stabs functionality.
        * testsuite/gfortran.dg/debug/pr35154-dwarf2.f:  New test case for
        DWARF functionality.

2008-04-01  Volker Reichelt  <v.reichelt@netcologne.de>

        PR c/35436
        * c-format.c (init_dynamic_gfc_info): Ignore invalid locus type.

2008-04-02  Ben Elliston  <bje@au.ibm.com>

        * config/v850/v850.md (casesi): Remove if (0) code.
        * config/i386/uwin.h (ASM_DECLARE_FUNCTION_NAME): Likewise.
        * config/alpha/alpha.c (alpha_initialize_trampoline): Likewise.

2008-04-01  Uros Bizjak  <ubizjak@gmail.com>

        * config/i386/i386.md (rex64suffix): New mode attribute.
        (floathi<mode>2): Disable expander for SSE math.
        (*floathi<mode>2_1): New insn insn_and_split pattern.
        (*floathi<mode>2_i387_with_temp): New macroized instruction pattern and
        corresponding post-reload splitters.
        (*floathi<mode>2_i387): New macroized insn pattern.
        (float<SSEMODEI24:mode><X87MODEF:mode>2): New macroized expander.
        (*float<SSEMODEI24:mode><X87MODEF:mode>2_1): New macroized
        insn_and_split pattern.
        (*floatsi<mode>2_vector_mixed_with_temp, *floatsi<mode>2_vector_mixed):
        New macroized instruction patterns and corresponding post-reload
        splitters.
        (*floatsi<mode>2_mixed_with_temp): New macroized instruction pattern
        and corresponding post-reload splitters.
        (*floatsi<mode>2_mixed_interunit, *floatsi<mode>2_mixed_nointerunit):
        New macroized instruction patterns.
        (*floatsi<mode>2_vector_sse_with_temp, *floatsi<mode>2_vector_sse): New
        macroized instruction patterns and corresponding post-reload splitters.
        (*floatsi<mode>2_sse_with_temp): New macroized instruction pattern and
        corresponding post-reload splitters.
        (*floatsi<mode>2_sse_interunit, *floatsi<mode>2_mixed_nointerunit):
        New macroized instruction patterns.
        (*floatsi<mode>2_i387_with_temp): New macroized instruction pattern and
        corresponding post-reload splitters.
        (*floatsi<mode>2_i387): New macroized instruction patterns.

2008-04-01  H.J. Lu  <hongjiu.lu@intel.com>

        * config/i386/i386.md (smaxmin): New.
        (umaxmin): Likewise.
        (maxminiprefix): Likewise.
        (maxminfprefix): Likewise.
        (<code><mode>3): Likewise.
        (smin<mode>3): Removed.
        (smax<mode>3): Likewise.

        * config/i386/mmx.md (mmx_<code>v2sf3): New.
        (mmx_<code>v4hi3): Likewise.
        (mmx_<code>v8qi3): Likewise.
        (mmx_smaxv2sf3): Removed.
        (mmx_sminv2sf3): Likewise.
        (mmx_umaxv8qi3): Likewise.
        (mmx_smaxv4hi3): Likewise.
        (mmx_uminv8qi3): Likewise.
        (mmx_sminv4hi3): Likewise.

        * config/i386/sse.md (<addsub><mode>3): New.
        (*<addsub><mode>3): Likewise.
        (<sse>_vm<addsub><mode>3): Likewise.
        (<maxmin><mode>3): Likewise.
        (*<maxmin><mode>3_finite): Likewise.
        (*<maxmin><mode>3): Likewise.
        (<sse>_vm<maxmin><mode>3): Likewise.
        (sse3_h<addsub>v4sf3): Likewise.
        (sse3_h<addsub>v2df3): Likewise.
        (<maxmin>v16qi3): Likewise.
        (*<maxmin>v16qi3): Likewise.
        (<maxmin>v8hi3): Likewise.
        (*<maxmin>v8hi3): Likewise.
        (*sse4_1_<maxmin><mode>3): Likewise.
        (*sse4_1_<maxmin><mode>3): Likewise.
        (add<mode>3): Removed.
        (*add<mode>3): Likewise.
        (<sse>_vmadd<mode>3): Likewise.
        (sub<mode>3): Likewise.
        (*sub<mode>3): Likewise.
        (<sse>_vmsub<mode>3): Likewise.
        (smin<mode>3): Likewise.
        (*smin<mode>3_finite): Likewise.
        (*smin<mode>3): Likewise.
        (<sse>_vmsmin<mode>3): Likewise.
        (smax<mode>3): Likewise.
        (*smax<mode>3_finite): Likewise.
        (*smax<mode>3): Likewise.
        (<sse>_vmsmax<mode>3): Likewise.
        (sse3_haddv4sf3): Likewise.
        (sse3_haddv2df3): Likewise.
        (sse3_hsubv4sf3): Likewise.
        (sse3_hsubv2df3): Likewise.
        (umaxv16qi3): Likewise.
        (*umaxv16qi3): Likewise.
        (smaxv8hi3): Likewise.
        (*smaxv8hi3): Likewise.
        (*sse4_1_smax<mode>3): Likewise.
        (*sse4_1_umax<mode>3): Likewise.
        (uminv16qi3): Likewise.
        (*uminv16qi3): Likewise.
        (sminv8hi3): Likewise.
        (*sminv8hi3): Likewise.
        (*sse4_1_smin<mode>3): Likewise.
        (*sse4_1_umin<mode>3): Likewise.

2008-04-01  Rafael Espindola  <espindola@google.com>

        * tree-cfg.c (verify_expr): remove in_phi.
        (verify_stmt): Don't call walk_tree with verify_expr. Use
        is_gimple_min_invariant instead of is_gimple_val.

2008-04-01  Joseph Myers  <joseph@codesourcery.com>

        * doc/include/gpl_v3.texi: Update for manpage generation.
        * doc/gcc.texi, doc/gccint.texi: Include gpl_v3.texi instead of
        gpl.texi.
        * doc/sourcebuild.texi: Document gpl_v3.texi as well as gpl.texi.
        * Makefile.in (TEXI_GCC_FILES, TEXI_GCCINT_FILES): Include
        gpl_v3.texi instead of gpl.texi.
        (gpl.pod): New.

2008-04-01  Jakub Jelinek  <jakub@redhat.com>

        PR pch/13675
        * c-pch.c (c_common_read_pch): On error close (fd) resp. fclose (f).

2008-04-01  Rafael Espindola  <espindola@google.com>

        * tree-vrp.c (extract_code_and_val_from_cond_with_ops): New.
        (extract_code_and_val_from_cond): Use
        extract_code_and_val_from_cond_with_ops.

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

        * function.c (free_after_compilation): Free epilogue_delay_list.
        (prepare_function_start): Assert that previous compilation was freed.

2008-04-01  Jan Hubicka  <jh@suse.cz>
            Jim Wilson  <wilson@tuliptree.org>
            Andreas Tobler <andreast@gcc.gnu.org>

        PR middle-end/35781
        * m32c/m32.c (m32c_leaf_function_p, m32c_function_needs_enter): Use
        rtl.emit instead cfun->emit.
        * sparc/sparc.h (INIT_EXPANDERS): Likewise.
        * ia64/ia64.h (INIT_EXPANDERS): Likewise.

2008-04-01  Ben Elliston  <bje@au.ibm.com>

        * doc/c-tree.texi (Function Basics): Fix grammatical error.

2008-03-31  Seongbae Park <seongbae.park@gmail.com>

        * common.opt (fprofile-dir=, fprofile-use=, fprofile-generate=):
        New options
        (fprofile-use): Add var flag_profile_use
        * coverage.c (coverage_begin_output): Do not open a gcno file for
        output only if -ftest-coverage is set.
        Do not add getpwd() to gcda file path.
        (build_gcov_info): Check the new flag
        flag_profile_datafile_relative_path.
        (coverage_init): Use profile_data_prefix.
        Read profile counter only if flag_profile_use is set.
        * opts.c (common_handle_option): New option fprofile-use=,
        fprofile-dir=, fprofile-generate=.
        * toplev.c (profile_data_prefix): New variable definition.
        * toplev.h (profile_data_prefix): New declaration.
        * doc/invoke.tex (Option Summary, Optimization Options):
        Add new options.

2008-03-31  James E. Wilson  <wilson@tuliptree.org>

        * varasm.c (output_constant_pool_1): In LABEL_REF check,
        use tmp consistently.

        PR target/35695
        * config/ia64/div.md (recip_approx_rf): Use UNSPEC not DIV.
        * config/ia64/ia64.c (rtx_needs_barrier): Handle
        UNSPEC_FR_RECIP_APPROX_RES.
        * config/ia64/ia64.md (UNSPEC_FR_RECIP_APPROX_RES): Define.

2008-03-31  Volker Reichelt  <v.reichelt@netcologne.de>

        PR c/35750
        * c-decl.c (store_parm_decls_oldstyle): Skip invalid parameters.

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

        PR middle-end/30186
        * fold-const.c (fold_indirect_ref_1): Support accessing non first
        element of the vector via a pointer.

2008-03-31  Ian Lance Taylor  <iant@google.com>

        * tlink.c (scan_linker_output): Look for symbol name in single quotes.

2008-03-31  Jan Hubicka  <jh@suse.cz>

        * builtins.c (expand_builtin_setjmp_receiver): Update call of
        get_arg_pointer_save_area.
        * expr.c (init_expr): Just clear out rtl.expr.
        * function.c (free_after_compilation): Clear out whole RTL structure.
        (get_func_frame_size): Merge into ...
        (get_frame_size): ... this one.
        (assign_stack_local_1): Merge into ...
        (assign_stack_local): ... this one.
        (expand_function_end): Update call of get_arg_pointer_save_area.
        (get_art_pointer_save_area): Remove cfun argument.
        * function.h (emit_status): regno_pointer_align does not need length
        attribute. Move x_regno_reg_rtx to ...
        (regno_reg_rtx): ... new global array.
        (reg_rtx_no, seq_stack, REGNO_POINTER_ALIGN): Update accestors.
        (pending_stack_adjust, inhibit_defer_pop, saveregs_value,
        apply_args_value, forced_labels, stack_pointer_delta):
        Update accestors.
        (struct varasm_status): Move here from varasm.c
        (struct rtl_data): New. Move here some fields from struct function.
        (return_label, naked_return_label, stack_slot_list, parm_birth_insn,
        frame_offset, stack_check_probe_note, arg_pointer_save_area,
        used_temp_slots avail_temp_slots, temp_slot_level,
        nonlocal_goto_handler_labels): Update accesstors.
        (rtl): New global variable.
        (struct function): Move some fileds to rtl_data.
        (get_arg_pointer_save_area): Update prototype.
        * emit-rtl.c (rtl): Declare.
        (regno_reg_rtx): Declare.
        (first_insn, last_insn, cur_insn_uid, last_location, first_label_num):
        Update.
        (gen_reg_rtx): Update.
        (init_virtual_regs): Do not tate emit_status argument.
        (init_emit): Do not allocate emit.
        * varasm.c (varasm_statuc): Move to function.h.
        (n_deferred_constatns): Update accestor.
        (init_varasm_status): Do not allocate varasm_status.
        (force_const_mem, get_pool_size, output_constant_pool): Update.
        * stmt.c (force_label_rtx): Do not use x_ prefixes.
        (expand_nl_goto_receiver): Update get_arg_pointer_save_area.

2008-03-31  Zdenek Dvorak  <ook@ucw.cz>

        PR rtl-optimization/35729
        * loop-invariant.c (check_maybe_invariant): Disallow volatile memory
        references.

2008-03-31  H.J. Lu  <hongjiu.lu@intel.com>

        PR target/32000
        * config/i386/i386.md (*movti_internal): Emit unaligned SSE
        load/store if memory is unaligned.
        (*movti_rex64): Likewise.

        * config/i386/predicates.md (misaligned_operand): New.

2008-03-31  Andrew Pinski  <pinskia@gmail.com>

        PR tree-opt/35431
        * tree-ssa-phiopt.c (conditional_replacement): Return early for
        complex types.

2008-03-31  Jan Beulich  <jbeulich@novell.com>

        * config/ia64/constraints.md: Add 'j' constraint.
        * config/ia64/ia64.md (movsi_internal): Add addp4 case.
        (movdi_internal): Likewise.

2008-03-30  Volker Reichelt  <v.reichelt@netcologne.de>

        PR c/35748
        * c-typeck.c (build_c_cast): Skip invalid fields in unions.

2008-03-30  H.J. Lu  <hongjiu.lu@intel.com>

        PR target/35757
        * config/i386/i386.c (ix86_expand_sse_4_operands_builtin): Issue
        proper error message for the third argument on blendpd and
        blendps.

        * config/i386/sse.md (blendbits): New.
        (sse4_1_blendp<ssemodesuffixf2c>): Use it.

2008-03-30  Eric Botcazou  <ebotcazou@adacore.com>

        * fold-const.c (fold_binary) <BIT_IOR_EXPR>: Add missing conversions.

2008-03-30  Richard Guenther  <rguenther@suse.de>

        PR middle-end/31023
        * fold-const.c (fold_sign_changed_comparison): Do leave
        conversions to base-types alone.

2008-03-29  Andrew Pinski  <andrew_pinski@playstation.sony.com>

        * config/rs6000/rs6000.c (rs6000_stack_info): Don't force saving of
        the link register if one altivec register is be saved.

2008-03-30  Ben Elliston  <bje@au.ibm.com>

        * final.c (final_scan_insn): Remove if (0) code.

2008-03-28  Volker Reichelt  <v.reichelt@netcologne.de>

        * c-parser.c (c_parser_next_token_is_keyword): Simplify.

2008-03-28  H.J. Lu  <hongjiu.lu@intel.com>

        * config/i386/sse.md (*and<mode>3): Pass <MODE>mode instead
        of V4SFmode to ix86_binary_operator_ok.

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

        * config/i386/i386.c (override_options): Initialize
        ix86_veclib_handler to ix86_veclibabi_svml when
        -mveclibabi=svml is used.
        (ix86_veclibabi_svml): New function for SVML ABI style
        vectorization support.
        * doc/invoke.texi (-mveclibabi) [svml]: Document new target option.

2008-03-28  Rafael Espindola  <espindola@google.com>

        * fold-const.c (tree_unary_nonnegative_warnv_p): Make it public.
        (tree_binary_nonnegative_warnv_p): Make it public.
        (tree_single_nonnegative_warnv_p): Make it public.
        (tree_invalid_nonnegative_warnv_p): Make it public.
        (tree_unary_nonzero_warnv_p): Make it public.
        (tree_binary_nonzero_warnv_p): Make it public
        (tree_single_nonzero_warnv_p): Make it public.
        * tree-vrp.c (vrp_evaluate_conditional_warnv_with_ops): New function.
        (extract_range_from_binary_expr): Split the expr argument.
        (extract_range_from_unary_expr): Split the expr argument.
        (extract_range_from_comparison): Split the expr argument.
        (extract_range_from_expr): Use the new aux functions.
        (vrp_evaluate_conditional_warnv): Use
        vrp_evaluate_conditional_warnv_with_ops.
        * tree.h (tree_unary_nonzero_warnv_p): Declare.
        (tree_binary_nonzero_warnv_p): Declare.
        (tree_single_nonzero_warnv_p): Declare.
        (tree_expr_nonzero_warnv_p): Declare.
        (tree_unary_nonnegative_warnv_p): Declare.
        (tree_binary_nonnegative_warnv_p): Declare.
        (tree_single_nonnegative_warnv_p): Declare.
        (tree_invalid_nonnegative_warnv_p): Declare.

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

        PR tree-optimization/30317
        PR tree-optimization/30911
        PR tree-optimization/34793
        * tree-vrp.c (set_and_canonicalize_value_range): New function.
        (struct assert_locus_d): New member EXPR.
        (register_new_assert_for): Add EXPR parameter to support
        ASSERT_EXPR <name, expr OP limit>.
        (register_edge_assert_for_1): Adjust callers.
        (find_assert_locations): Likewise.
        (process_assert_insertions_for): Build condition from expression.
        (extract_range_from_assert): Handle ASSERT_EXPRs
        of the form ASSERT_EXPR <name, expr OP limit>.
        (register_edge_assert_for_2): New helper registering
        asserts for comparisons.  Recognize range tests of the form
        (unsigned)i - CST1 OP CST2.
        (register_edge_assert_for_1): Use it.
        (register_edge_assert_for): Likewise.
        (needs_overflow_infinity): Integer sub-types
        do not need overflow infinities.
        (vrp_val_is_max): The extreme values of integer sub-types
        are those of the base type.
        (vrp_val_is_min): Likewise.
        * tree.def (ASSERT_EXPR): Document extra allowed conditional
        expressions.

2008-03-28  Nick Clifton  <nickc@redhat.com>

        * config/mn10300/mn10300.c (mn10300_secondary_reload_class):
        Return GENERAL_REGS for stack adjustment reloads.

2008-03-28  Andrew Pinski  <andrew_pinski@playstation.sony.com>

        PR target/31334
        * config/rs6000/rs6000.c (rs6000_expand_vector_init): Create a
        const_vector when all the vectors are constant.

2008-03-27  Bob Wilson  <bob.wilson@acm.org>

        * config/xtensa/xtensa.c (gen_float_relational): Handle unordered
        comparisons.
        * config/xtensa/xtensa.md (any_cond): Add unordered comparisons.
        (any_scc_sf): Add uneq, unlt, unle and unordered operators.
        (scc_sf): New.
        (s<code>_sf): Use new scc_sf attribute for opcode names.

2008-03-27  Tom Tromey  <tromey@redhat.com>

        * doc/sourcebuild.texi, doc/install.texi, configure, aclocal.m4,
        configure.ac, Makefile.in, config/t-darwin, config/m32c/t-m32c,
        config/spu/t-spu-elf, config/i386/t-interix,
        config/i386/t-cygming, config/i386/x-i386, config/i386/t-cygwin,
        config/i386/x-darwin, config/i386/x-mingw32,
        config/i386/t-netware, config/i386/x-cygwin, config/i386/t-nwld,
        config/sh/t-sh, config/sh/t-symbian, config/x-linux,
        config/t-sol2, config/x-hpux, config/x-darwin, config/ia64/t-ia64,
        config/x-solaris, config/t-vxworks, config/m68k/t-uclinux,
        config/rs6000/x-rs6000, config/rs6000/x-darwin64,
        config/rs6000/x-darwin, config/rs6000/t-rs6000,
        config/score/t-score-elf, config/arm/t-strongarm-pe,
        config/arm/t-pe, config/arm/t-arm, config/arm/t-wince-pe,
        config/v850/t-v850, config/v850/t-v850e, config/bfin/t-bfin-linux:
        Revert automatic dependency patch.

2008-03-27  H.J. Lu  <hongjiu.lu@intel.com>

        PR target/35657
        * config/i386/i386.c (ix86_function_arg_boundary): Align
        decimal floating point to its natural boundary.

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

        PR middle-end/35716
        * fold-const.c (fold_comparison): Restrict distinct decl
        comparison folding to VAR_DECLs and PARM_DECLs.  Do not
        solely rely on operand_equal_p.

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

        PR c/32511
        * c-common.c (handle_weak_attribute): Reject combination of
        weak and inline.

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

        PR tree-optimization/32810
        * tree-ssa-ccp.c (get_symbol_constant_value): Strip useless
        conversions from DECL_INITIAL.
        (fold_const_aggregate_ref): Likewise from constructor elements.

2008-03-27  Zdenek Dvorak  <ook@ucw.cz>

        * tree-affine.h (aff_combination_expand): Declare.
        (get_inner_reference_aff): Likewise.
        * tree-affine.c (aff_combination_expand): Split out from
        tree_to_aff_combination_expand.
        (get_inner_reference_aff): New function.
        * tree-parloops.c (loop_parallel_p): Free vectorizer info.
        * tree-ssa-loop-im.c: Include tree-affine.h and pointer-set.h.
        (struct lim_aux_data): sm_done field removed.
        (mem_ref_loc_p, mem_ref_locs_p): New types.
        (struct mem_ref): Added id, stored, accesses_in_loop,
        indep_loop, dep_loop, indep_ref, dep_ref fields.
        Removed is_stored, locs and next fields.
        (memory_accesses): New variable.
        (movement_possibility): Do not allow moving statements
        that store to memory.
        (outermost_indep_loop, simple_mem_ref_in_stmt, mem_ref_in_stmt):
        New functions.
        (determine_max_movement): For statements with memory references,
        find the outermost loop in that the reference is independent.
        (move_computations_stmt): Mark the virtual operands for renaming.
        (memref_free, mem_ref_alloc, mem_ref_locs_alloc, mark_ref_stored,
        gather_mem_refs_stmt, gather_mem_refs_in_loops, vtoe_hash, vtoe_eq,
        vtoe_free, record_vop_access, get_vop_accesses, get_vop_stores,
        add_vop_ref_mapping, create_vop_ref_mapping_loop,
        create_vop_ref_mapping, analyze_memory_references,
        cannot_overlap_p, mem_refs_may_alias_p, rewrite_mem_ref_loc,
        get_all_locs_in_loop, ref_always_accessed_p,
        refs_independent_p, record_indep_loop, ref_indep_loop_p_1,
        ref_indep_loop_p, can_sm_ref_p, find_refs_for_sm,
        store_motion_loop, store_motion): New functions.
        (struct vop_to_refs_elt): New type.
        (record_mem_ref_loc, free_mem_ref_locs, rewrite_mem_refs,
        memref_hash, memref_eq, hoist_memory_references): Rewritten.
        (schedule_sm): Replaced by...
        (execute_sm): ... this.
        (determine_lsm_ref, hoist_memory_references,
        loop_suitable_for_sm, gather_mem_refs_stmt, gather_mem_refs,
        find_more_ref_vops, free_mem_ref, free_mem_refs,
        determine_lsm_loop, determine_lsm): Removed.
        (tree_ssa_lim_finalize): Free data structures used by store motion.
        (tree_ssa_lim): Call analyze_memory_references.  Use
        store_motion instead of determine_lsm.

2008-03-27  Paolo Bonzini  <bonzini@gnu.org>

        * config.cc (m68hc11, m6811, m68hc12, m6812): Add usegas.h,
        rename tmake_file to m68hc11/t-m68hc11.
        (mcore): Set inhibit_libc to true.
        * config.host (alpha*-dec-*vms*): Set extra_programs.
        (interix3*): Don't use host_xmake_file.
        * configure.ac: Let config.gcc override inhibit_libc.
        * configure: Regenerate.

        * config/alpha/x-vms (EXTRA_PROGRAMS): Remove.
        * config/t-openbsd-thread: Remove commented out lines.
        
        * config/x-interix: Remove.

        * config/m68hc11/t-m68hc11-gas: Rename to...
        * config/m68hc11/t-m68hc11: ... this.  Remove T_CPPFLAGS.

        * config/mcore/t-mcore: Remove T_CFLAGS.
        * config/mcore/t-mcore-pe: Likewise.

2008-03-27  Paolo Bonzini  <bonzini@gnu.org>

        * configure.ac: Replace custom __GNU_SOURCE test with
        AC_USE_SYSTEM_EXTENSIONS.  Move it earlier.
        * aclocal.m4: Regenerate.
        * configure: Regenerate.
        * config.in: Regenerate.

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

        * fold-const.c (target.h): Include.
        (fold_comparison): Fold comparison of addresses of decls
        that bind locally or of constants.  Consolidate address folding code.
        * tree-vrp.c (operand_less_p): Deal with non-INTEGER_CST
        results from fold_binary_to_constant.
        (compare_values_warnv): Likewise.

2008-03-27  Andrew Pinski  <pinskia@gmail.com>

        PR middle-end/35429
        * fold-const.c (fold_truthop): Check for integeral types when folding
        a == 0 && b == 0 and a != 0 || b != 0 .

2008-03-26  Eric Botcazou  <ebotcazou@adacore.com>

        * tree.c (get_unwidened): Remove code fiddling with COMPONENT_REF.

2008-03-26  Andreas Schwab  <schwab@suse.de>

        * doc/invoke.texi: Fix use of @item vs. @itemx.

2008-03-26  Tom Tromey  <tromey@redhat.com>

        * Makefile.in (build/gensupport.o, build/print-rtl.o,
        build/read-rtl.o, build/rtl.o, build/gencondmd.o, build/genattr.o,
        build/genattrtab.o, build/genautomata.o, build/gencheck.o,
        build/gencodes.o, build/genconditions.o, build/genconfig.o,
        build/genconstants.o, build/genemit.o, build/genextract.o,
        build/genflags.o, build/genmddeps.o, build/genopinit.o,
        build/genoutput.o, build/genpeep.o, build/genrecog.o): Depend on
        options.h.

2008-03-26  Richard Guenther  <rguenther@suse.de>

        Revert
        2008-03-26  Richard Guenther  <rguenther@suse.de>

        * fold-const.c (target.h): Include.
        (fold_comparison): Fold comparison of addresses of two decls
        that bind locally.  Consolidate address folding code.

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

        * builtins.c (expand_builtin_pow, fold_builtin_cabs,
        fold_builtin_sqrt, fold_builtin_cbrt, fold_builtin_logarithm,
        fold_builtin_hypot, fold_builtin_pow): Remove uses of dconst3,
        dconstsqrt2, dconstthird, dconste and/or dconst10.
        * config/i386/i386.c (ix86_emit_swsqrtsf): Likewise.
        * emit-rtl.c (dconst3, dconst10, dconstm2, dconstthird,
        dconstsqrt2, dconste): Delete.
        (init_emit_once): Likewise.  Simplify initializing dconstm1.
        Constify variable.
        * real.c (get_real_const): New.
        * real.h (dconst3, dconst10, dconstm2, dconstthird,
        dconstsqrt2, dconste): Delete.
        (real_value_const, get_real_const): New.

2008-03-26  H.J. Lu  <hongjiu.lu@intel.com>

        * config/i386/cygming.h (BIGGEST_ALIGNMENT): Removed.

        * config/i386/i386.c (ix86_function_arg_boundary): Check
        BIGGEST_ALIGNMENT instead of 128.
        (setup_incoming_varargs_64): Likewise.

2008-03-26  Tom Tromey  <tromey@redhat.com>

        * Makefile.in (DEPFILES): Add missing '/'.

2008-03-26  Richard Guenther  <rguenther@suse.de>

        * fold-const.c (target.h): Include.
        (fold_comparison): Fold comparison of addresses of two decls
        that bind locally.  Consolidate address folding code.

2008-03-26  Nick Clifton  <nickc@redhat.com>

        PR target/31232
        * config/stormy16/stormy16.c (xstormy16_legitimate_address_p): Do
        not allow INT+INT as a legitimate addressing mode.

2008-03-26  Richard Guenther  <rguenther@suse.de>

        * tree-flow.h (widen_bitfield): Remove declaration.
        * tree-ssa-ccp.c (visit_assignment): Remove unneeded code.
        (widen_bitfield): Remove function.
        * tree-ssa-dom.c (record_equivalences_from_stmt): Remove unneeded
        code.

2008-03-25  Andrew Pinski  <andrew_pinski@playstation.sony.com>

        PR target/31558
        * config/rs6000/rs6000-c.c (rs6000_builtin_type_compatible): Handle
        error_mark_node's.

2008-03-25  Richard Sandiford  <rsandifo@nildram.co.uk>

        PR rtl-optimization/35232
        * reload1.c (reg_reloaded_call_part_clobbered): Clarify comment.
        (forget_old_reloads_1, forget_marked_reloads): Don't clear
        reg_reloaded_call_part_clobbered here.
        (reload_regs_reach_end_p): New function.
        (reload_reg_rtx_for_input): New variable.
        (reload_reg_rtx_for_output): Likewise.
        (emit_input_reload_insns): Use reloadreg rather than rl->reg_rtx
        when reassigning a pseudo register.  Load reloadreg from 
        reload_reg_rtx_for_input, moving the mode and register
        calculation to...
        (do_input_reload): ...here.  Use the mode-adjusted reg_rtx
        instead of the original when deciding whether an input reload
        would be a no-op or whether an output reload can be deleted.
        (emit_output_reload_insns): Use the mode-adjusted reg_rtx
        when setting up new_spill_reg_store.  Load it from
        reload_reg_rtx_for_output, moving the mode and register
        calculation to...
        (do_output_reload): ...here.  Use the mode-adjusted reg_rtx
        instead of the original when deciding whether an output reload
        would be a no-op.  Do the same when modifying insn notes.
        Use rtx_equal_p instead of == to compare the registers.
        (inherit_piecemeal_p): Take a mode and two register numbers
        as argument.
        (emit_reload_insns): Clear new_spill_reg_store for every hard
        register in the reload register.  Remove spill registers
        from reg_reloaded_valid before considering whether to record
        inheritance information for them.  Use reload_reg_rtx_for_output
        instead of reg_rtx when recording output reloads.  Use
        reload_reg_rtx_for_input instead of reg_rtx when recording
        input reloads.  Set or clear reg_reloaded_call_part_clobbered
        at the same time as setting reg_reloaded_valid.
        (delete_output_reload): Add a new_reload_reg parameter and use it
        instead of rld[j].reg_rtx.
        (emit_input_reload_insns, do_input_reload, do_output_reload): Adjust
        calls accordingly.

2008-03-25  Tom Tromey  <tromey@redhat.com>

        * Makefile.in (build/gensupport.o): Depend on insn-modes.h.
        (build/genattr.o): Likewise.
        (build/genattrtab.o): Likewise.
        (build/gencodes.o): Likewise.
        (build/genconfig.o): Likewise.
        (build/genconstants.o): Likewise.
        (build/genemit.o): Likewise.
        (build/genextract.o): Likewise.
        (build/genflags.o): Likewise.

2008-03-25  Bob Wilson  <bob.wilson@acm.org>
        
        * config/xtensa/xtensa.c (xtensa_va_start): Use build_int_cst
        instead of size_int for integer types.
        (xtensa_gimplify_va_arg_expr): Likewise.  Convert index to sizetype
        to match type of MINUS_EXPR.
        
2008-03-25  Tom Tromey  <tromey@redhat.com>

        * configure: Rebuilt.
        * configure.ac (BUILD_DEPMODE): Extract CCDEPMODE from temporary
        Makefile.

2008-03-25  Tom Tromey  <tromey@redhat.com>

        * config/x-solaris (host-solaris.o): Update.
        * config/x-linux (host-linux.o): Update.
        * config/x-hpux (host-hpux.o): Update.
        * config/x-darwin (host-darwin.o): Update.
        * config/v850/t-v850e (v850-c.o): Update.
        * config/v850/t-v850 (v850-c.o): Update.
        * config/t-vxworks (vxworks.o): Update.
        * config/t-sol2 (sol2-c.o, sol2.o): Update.
        * config/t-darwin (darwin.o, darwin-c.o, darwin-driver.o): Update.
        * config/spu/t-spu-elf (spu-c.o): Update.
        (spu.o): Remove.
        * config/sh/t-symbian (sh-c.o): Update.
        (symbian.o): Update.
        * config/sh/t-sh (sh-c.o): Update.
        * config/score/t-score-elf (score7.o, score3.o): Update.
        * config/rs6000/x-rs6000 (driver-rs6000.o): Update.
        * config/rs6000/x-darwin64 (host-ppc64-darwin.o): Update.
        * config/rs6000/x-darwin (host-ppc-darwin.o): Update.
        * config/rs6000/t-rs6000 (rs6000-c.o): Update.
        (rs6000.o): Remove.
        * config/m68k/t-uclinux (generated_files): Add sysroot-suffix.h.
        * config/m32c/t-m32c (m32c-pragma.o): Update.
        * config/ia64/t-ia64 (ia64-c.o): Update.
        * config/i386/x-mingw32 (host-mingw32.o): Update.
        * config/i386/x-i386 (driver-i386.o): Update.
        * config/i386/x-darwin (host-i386-darwin.o): Update.
        * config/i386/x-cygwin (host-cygwin.o): Update.
        * config/i386/t-nwld (nwld.o): Update.
        * config/i386/t-netware (netware.o): Update.
        * config/i386/t-interix (winnt.o): Update.
        * config/i386/t-cygwin (cygwin1.o, cygwin2.o): Update.
        * config/i386/t-cygming (winnt.o, winnt-cxx.o, winnt-stubs.o,
        msformat-c.o): Update.
        * config/bfin/t-bfin-linux (generated_files): Add
        linux-sysroot-suffix.h.
        * config/arm/t-wince-pe (pe.o): Update.
        * config/arm/t-strongarm-pe (pe.o): Update.
        * config/arm/t-pe (pe.o): Update.
        * config/arm/t-arm (arm-c.o): Update.
        * doc/install.texi (Prerequisites): Require make 3.80.
        * Makefile.in: Remove .o targets.
        (CCDEPMODE, DEPDIR, depcomp, BUILD_DEPMODE): New variables.
        (OBSTACK_H, FIBHEAP_H, PARTITION_H, MD5_H, BCONFIG_H): Remove.
        (simple_generated_h, simple_generated_c): Move earlier.
        (generated_files): New variable.
        (TARGET_H, MACHMODE_H, HOOKS_H, HOSTHOOKS_DEF_H, LANGHOOKS_DEF_H,
        TARGET_DEF_H, RTL_BASE_H, RTL_H, PARAMS_H, BUILTINS_DEF, TREE_H,
        BASIC_BLOCK_H, GCOV_IO_H, COVERAGE_H, DEMANGLE_H, RECOG_H,
        ALIAS_H, EMIT_RTL_H, FLAGS_H, FUNCTION_H, EXPR_H, OPTABS_H,
        REGS_H, RA_H, RESOURCE_H, SCHED_INT_H, INTEGRATE_H, CFGLAYOUT_H,
        CFGLOOP_H, IPA_UTILS_H, IPA_REFERENCE_H, IPA_TYPE_ESCAPE_H,
        CGRAPH_H, DF_H, RESOURCE_H, DDG_H, GCC_H, GGC_H, TIMEVAR_H,
        INSN_ATTR_H, C_COMMON_H, C_PRAGMA_H, C_TREE_H, SYSTEM_H,
        PREDICT_H, DECNUM_H, MKDEPS_H, SYMTAB_H, TREE_DUMP_H,
        TREE_GIMPLE_H, TREE_FLOW_H, TREE_SSA_LIVE_H, PRETTY_PRINT_H,
        DIAGNOSTIC_H, C_PRETTY_PRINT_H, SCEV_H, LAMBDA_H, TREE_DATA_REF_H,
        VARRAY_H, TREE_INLINE_H, REAL_H, DBGCNT_H, EBIMAP_H): Remove.
        (.c.o): Remove.
        (COMPILE.base, COMPILE): New variables.
        (%.o): New pattern rule.
        (ALL_HOST_OBJS): New variable.
        (xgcc$(exeext), cpp$(exeext)): Remove extra version.o.
        (dummy-checksum.o, cc1-checksum.o): Remove.
        (DRIVER_SHLIB): New variable.
        (DRIVER_DEFINES): Use it.
        (gencondmd.c): Move out of build/.
        (s-conditions): Update.
        (BUILDCOMPILE.base, BUILDCOMPILE): New variables.
        (ALL_BUILD_OBJS): Likewise.
        (build/%.o): Use BUILDCOMPILE.
        (build/ggc-none.o, build/ggc-none.o, build/min-insn-modes.o,
        build/print-rtl.o, build/read-rtl.o, build/rtl.o, build/vec.o,
        build/gencondmd.o, build/genattrtab.o, build/genautomata.o,
        build/gencheck.o, build/gencodes.o, build/genconditions.o,
        build/genconfig.o, build/genconstants.o, build/genemit.o,
        build/genextract.o, build/genflags.o, build/genmddeps.o,
        build/genopinit.o, build/genoutput.o, build/genpeep.o,
        build/genpreds.o, build/genrecog.o, build/gcov-iov.o,
        build/gen-protos.o, build/scan.o, build/fix-header.o,
        build/scan-decls.o): Simplify.
        (collect2.o, c-opts.o, gcc.o, gccspec.o, gcc-options.o,
        cppdefault.o, protoize.o, unprotoize.o, intl.o, version.o,
        prefix.o, toplev.o): Reduce to variable setting.
        (libbackend.o): Use COMPILE.  Remove most dependencies.  Move later.
        ($(out_object_file), gcc-options.o): New targets.
        ($(ALL_HOST_OBJS)): New target.  Include dependency files.
        * configure: Rebuilt.
        * configure.ac: Call ZW_CREATE_DEPDIR, ZW_PROG_COMPILER_DEPENDENCIES.
        * doc/sourcebuild.texi (Front End Directory): Document new variable.

2008-03-25  Douglas Gregor  <doug.gregor@gmail.com>

        * c-common.c (c_sizeof_or_alignof_type): If we're not allowed to
        complain when we hit an error, return ERROR_MARK_NODE.

2008-03-25  Naveen.H.S  <naveen.hs@kpitcummins.com>

        * config/sh/constraints.md (Pso, Psz): New constraints.
        * config/sh/sh.c (print_operand): Add %V and %W operand codes.
        * config/sh/sh.md (*andsi3_bclr, *iorsi3_bset): New insns.

2008-03-25  Naveen.H.S  <naveen.hs@kpitcummins.com>

        * config/sh/sh.c (sh_expand_t_scc): Emit movrt for SH2A if possible.
        * config/sh/sh.md (xorsi3_movrt, movrt): New insns.

2008-03-25  Naveen.H.S  <naveen.hs@kpitcummins.com>

        * config/sh/sh.md (prefetch): Add condition for SH2A target.
        (prefetch_sh2a): New.   

2008-03-25  Jayant Sonar  <Jayant.sonar@kpitcummins.com>
            Naveen.H.S  <naveen.hs@kpitcummins.com>

        * config/sh/constraints.md (I28): New constraint.
        * config/sh/sh.c (broken_move): Add support for movi20s.
        * config/sh/sh.md (movsi_ie): Add the alternative for movi20s.

2008-03-25  Anil Paranjape  <anil.paranjape@kpitcummins.com>
            Jayant Sonar  <Jayant.sonar@kpitcummins.com>
            Naveen.H.S  <naveen.hs@kpitcummins.com>

        * config/sh/sh.c (SH_ATTRIBUTES): Define.
        (SYMBOL_FLAG_FUNCVEC_FUNCTION): Define.
        (print_operand): Handle resbank in %@ operand code.
        (sh_encode_section_info): New.
        (push_regs): Add conditions for resbank.
        (sh_expand_epilogue): Likewise.
        (sh_insert_attributes): Likewise.
        (sh_attribute_table): Likewise.
        (sh_handle_resbank_handler_attribute): New.
        (sh2a_handle_function_vector_handler_attribute): New.
        (sh2a_is_function_vector_call): New.
        (sh2a_get_function_vector_number): New.
        (sh2a_function_vector_p): New.
        (sh_cfun_resbank_handler_p): New.
        * config/sh/sh.md (calli): Emit jsr/n if possible.
        (calli_tbr_rel): New.
        (calli_pcrel): Emit jsr/n if possible.
        (return_i): Emit rts/n if possible.
        (call_valuei_tbr_rel): New.
        (call_valuei_pcrel): Add condition for SH2A target.
        (call_value): Likewise.
        * config/sh/sh-protos.h (sh_cfun_resbank_handler_p): Declare.
        (sh2a_get_function_vector_number): Likewise.
        (sh2a_is_function_vector_call): Likewise.
        * doc/extend.texi: Document TBR relative addressing of SH2A.
        (resbank): Add description for SH2A.

2008-03-24  Richard Guenther  <rguenther@suse.de>

        PR c/22371
        * gimplify.c (gimplify_modify_expr): For frontend type-correct
        pointer assignments change conversions according to middle-end rules.
        (gimplify_modify_expr_rhs): Deal with NULL TARGET_EXPR_INITIAL.
        * configure.ac: Include type checking in yes.
        * configure: Regenerate.

2008-03-24  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>

        * diagnostic.c (diagnostic_count_diagnostic): Delete.
        (diagnostic_report_diagnostic): Update. Handle ICEs here.
        
2008-03-24  Nathan Sidwell  <nathan@codesourcery.com>

        * gthr-vxworks.h (UNUSED): Define.

2008-03-23  H.J. Lu  <hongjiu.lu@intel.com>

        * config/i386/i386.h (STATIC_CHAIN_REGNUM): Use R10_REG and CX_REG.

2008-03-23  Zuxy Meng <zuxy.meng@gmail.com>

        * doc/extend.texi (Function Attributes): Add missing comma in the
        example of the "alloc_size" attribute.
        
2008-03-23  Uros Bizjak  <ubizjak@gmail.com>

        Revert:
        2008-03-05  H.J. Lu  <hongjiu.lu@intel.com>

        * config/i386/i386-modes.def: Use 4 byte alignment on DI for
        32bit host.

        2008-03-19  Uros Bizjak  <ubizjak@gmail.com>

        PR target/35496
        * stor-layout.c (update_alignment_for_field): Set minimum alignment
        of the underlying type of a MS bitfield layout to the natural
        alignment of the type.

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

        * config/i386/i386.c (assign_386_stack_local): Align DImode slots
        to their natural alignment to avoid store forwarding stalls.

2008-03-22  Richard Guenther  <rguenther@suse.de>

        * tree-cfg.c (verify_expr): Recurse again for invariant addresses.
        For PHI nodes verify the address is invariant.
        * tree-ssa-ccp.c (ccp_decl_initial_min_invariant): Remove.
        (get_symbol_constant_value): Use is_gimple_min_invariant.
        (maybe_fold_stmt_indirect): Likewise.

2008-03-22  Richard Sandiford  <rsandifo@nildram.co.uk>

        PR rtl-optimization/33927
        * Makefile.in (dse.o): Depend on $(TM_P_H).
        * expr.h (extract_low_bits): Declare.
        * expmed.c (extract_low_bits): New function.
        * rtlhooks.c (gen_lowpart_general): Generalize SUBREG handling.
        * dse.c: Include tm_p.h.
        (find_shift_sequence): Remove the read_reg argument and return the
        read value.  Emit the instructions instead of returning them.
        Iterate on new_mode rather than calculating it each time.
        Check MODES_TIEABLE_P.  Use simplify_gen_subreg to convert the
        source to NEW_MODE and extract_low_bits to convert the shifted
        value to READ_MODE.
        (replace_read): Allow the load and store to have different mode
        classes.  Use extract_low_bits when SHIFT == 0.  Create the shift
        or extraction instructions before trying the replacement.  Update
        dump-file code accordingly, avoiding use of REGNO (store_info->rhs).

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

        * config/i386/i386.c (assign_386_stack_local): Align DImode slots
        to their natural alignment to avoid store forwarding stalls.

2008-03-21  Andrew Pinski  <andrew_pinski@playstation.sony.com>

        PR target/27946
        * config/rs6000/rs6000.md (floatdidf2): Discouraging fprs and
        encouraging but not allowing gprs for input;
        change the input constraint to !f#r.
        (fix_truncdfdi2): Discouraging fprs and encouraging but not allowing
        gprs for output;
        change the output constraint to !f#r.

2008-03-21  Uros Bizjak  <ubizjak@gmail.com>

        PR target/13958
        * config/i386/i386.md ("*floatunssi<mode2>_1"): New pattern with
        corresponding post-reload splitters.
        ("floatunssi<mode>2"): Expand to unsigned_float x87 insn pattern
        when x87 FP math is selected.
        * config/i386/i386-protos.h (ix86_expand_convert_uns_sixf_sse):
        New function prototype.
        * config/i386/i386.c (ix86_expand_convert_uns_sixf_sse): New
        unreachable function to ease macroization of insn patterns.

2008-03-21  Martin Jambor  <mjambor@suse.cz>

        * tree-data-ref.c (dump_data_dependence_relation): Avoid data
        reference dumps if ddr is NULL or dependence is unknown.

2008-03-20  Kaz Kojima  <kkojima@gcc.gnu.org>

        * config/sh/linux-atomic.asm (ATOMIC_TEST_AND_SET): Take
        unsigned extension into account.
        (ATOMIC_COMPARE_AND_SWAP): Likewise.
        (ATOMIC_FETCH_AND_OP, ATOMIC_FETCH_AND_COMBOP): Likewise.
        Do computations on a scratch register.

2008-03-21  Richard Guenther  <rguenther@suse.de>

        * tree-scalar-evolution.c (chrec_contains_symbols_defined_in_loop):
        Use is_gimple_min_invariant instead of TREE_INVARIANT.
        * tree-ssa-loop-ivopts.c (force_expr_to_var_cost): Likewise.
        * tree-ssa-dom.c (record_equality): Likewise.
        * tree-inline.c (copy_body_r): Likewise.
        * tree-ssa-pre.c (make_values_for_stmt): Remove test for
        TREE_INVARIANT.

2008-03-20  Kaz Kojima  <kkojima@gcc.gnu.org>

        * config/sh/sh.c (split_branches): Pass zero to redirect_jump
        as 'delete_unused' argument.

2008-03-20  Richard Guenther  <rguenther@suse.de>

        * tree-ssa-forwprop.c (forward_propagate_addr_expr_1): Remove
        special casing of constant qualifiers.
        * tree-ssa.c (useless_type_conversion_p_1): Instead do not
        care about them in general.
        * tree-ssa-ccp.c (ccp_fold): Addresses are constant or not
        regardless of their type.
        (fold_stmt_r): Forcefully fold *& if we end up with that.

2008-03-20  Paul Brook  <paul@codesourcery.com>

        * config.gcc (arm*-*-uclinux*): Remove duplicate arm/uclinux-elf.h.
        * config/arm/uclinux-eabi.h (SUBTARGET_EXTRA_LINK_SPEC): Add extra
        linker flags.
        * config/arm/bpabi.h (SUBTARGET_EXTRA_LINK_SPEC): Provide default
        definition.
        (LINK_SPEC): Use SUBTARGET_EXTRA_LINK_SPEC.
        * config/arm/unwind-arm.h (_Unwind_decode_target2): Add uClinux.

2008-03-20  Volker Reichelt  <v.reichelt@netcologne.de>

        * common.opt (Wmudflap): New option.
        * tree-mudflap.c (mf_xform_derefs_1): Guard warning by OPT_Wmudflap.
        (mx_register_decls): Likewise.
        (mudflap_finish_file): Likewise.
        * doc/invoke.texi: Document -Wno-mudflap.

2008-03-20  Kai Tietz  <kai.tietz@onevision.com>

        * c-format.c (replace_format_name_to_system_name): New.
        (cmp_attribs): New.
        (convert_format_name_to_system_name): New.
        (decode_format_attr): Add use of convert_format_name_to_system_name.
        (format_types_orig): Add gnu_ prefix to names.
        (check_format_info_main): Special treating of \0 escaped names for
        supporting multi-character format specifiers as I32, I64.
        (TARGET_OVERRIDES_FORMAT_ATTRIBUTES): Use of user defined attributes.
        (gnu_target_overrides_format_attributes): New.
        * c-format.h: Add structure target_ovr_attr to hold
        system specific formatter names.
        * config.gcc: Add for x86&x86_64 cygwin and mingw32 targets the
        msformat-c.o file to c_target_objs and cxx_target_objs.
        * config/i386/mingw32.h (TARGET_OVERRIDES_FORMAT_ATTRIBUTES): New.
        (TARGET_OVERRIDES_FORMAT_ATTRIBUTES_COUNT): New.
        (TARGET_N_FORMAT_TYPES): New.
        * config/i386/msformat-c.c: New.
        * config/i386/t-cygming: Add build rule for msformat-c.o.
        * doc/extend.texi: Add new format names gnu_* and ms_* and
        further details.
        * doc/tm.texi: (TARGET_OVERRIDES_FORMAT_ATTRIBUTES): New.

2008-03-20  Ira Rosen  <irar@il.ibm.com>

        * doc/invoke.texi (-O3): Add -ftree-vectorize to the list of
        optimizations turned on under -O3.
        (ftree-vectorize): Add that the flag is turned on with -O3.

2008-03-20  Ben Elliston  <bje@au.ibm.com>

        * regmove.c (try_auto_increment): Fix spelling error in comment.
        * final.c (final_scan_insn): Likewise.

2008-03-20  Uros Bizjak  <ubizjak@gmail.com>

        PR target/14552
        * config/i386/mmx.md (*mov<mode>_internal_rex64"): Adjust register
        allocator preferences for "y" and "r" class registers.
        ("*mov<mode>_internal"): Ditto.
        ("*movv2sf_internal_rex64"): Ditto.
        ("*movv2sf_internal"): Ditto.

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

        PR middle-end/35616
        * calls.c (expand_call): Check overlap of arguments with call
        address for sibcalls.

2008-03-19  Uros Bizjak  <ubizjak@gmail.com>

        PR target/35496
        * stor-layout.c (update_alignment_for_field): Set minimum alignment
        of the underlying type of a MS bitfield layout to the natural
        alignment of the type.

2008-03-19  Jan Hubicka  <jh@suse.cz>

        PR other/35094
        * toplev.c (decode_d_option): Handle all CPP flags.
        * tree-vrp.c: Update tree_pass descriptors.
        * regrename.c: Update tree_pass descriptors.
        * fwprop.c: Update tree_pass descriptors.
        * doc/invoke.texi: Remove documentation of dropped -d? flags.
        * tree-into-ssa.c: Update tree_pass descriptors.
        * tree-dump.c: Update tree_pass descriptors.
        * tree-complex.c: Update tree_pass descriptors.
        * tree-dump.h: Update tree_pass descriptors.
        * see.c: Update tree_pass descriptors.
        * cgraphbuild.c: Update tree_pass descriptors.
        * tracer.c: Update tree_pass descriptors.
        * tree-loop-distribution.c: Update tree_pass descriptors.
        * cgraph.c: Update tree_pass descriptors.
        * postreload-gcse.c: Update tree_pass descriptors.
        * postreload.c: Update tree_pass descriptors.
        * tree-ssa-loop-ch.c: Update tree_pass descriptors.
        * tree-tailcall.c: Update tree_pass descriptors.
        * tree-pass.h (tree_opt_pass): Rename to ...
        (opt_pass) ... this one; add "type" field and remove letter field.
        (gimple_opt_pass, rtl_opt_pass, simple_ipa_opt_pass): New.
        (execute_pass_list, execute_ipa_pass_list, all_passes, all_ipa_passes,
        all_lowering_passes): Update declaration.
        * ipa-cp.c: Update tree_pass descriptors.
        * final.c: Update tree_pass descriptors.
        * omp-low.c: Update tree_pass descriptors.
        * tree-ssa-dse.c: Update tree_pass descriptors.
        * ipa-reference.c: Update tree_pass descriptors.
        * tree-ssa-uncprop.c: Update tree_pass descriptors.
        * auto-inc-dec.c: Update tree_pass descriptors.
        * reorg.c: Update tree_pass descriptors.
        * cgraphunit.c: Update tree_pass descriptors.
        * tree-ssa-copyrename.c: Update tree_pass descriptors.
        * tree-ssa-ccp.c: Update tree_pass descriptors.
        * df-core.c: Update tree_pass descriptors.
        * mode-switching.c: Update tree_pass descriptors.
        * tree-nomudflap.c: Update tree_pass descriptors.
        * modulo-sched.c: Update tree_pass descriptors.
        * ipa-pure-const.c: Update tree_pass descriptors.
        * cse.c: Update tree_pass descriptors.
        * web.c: Update tree_pass descriptors.
        * tree-stdarg.c: Update tree_pass descriptors.
        * tree-ssa-math-opts.c: Update tree_pass descriptors.
        * tree-ssa-dom.c: Update tree_pass descriptors.
        * tree-nrv.c: Update tree_pass descriptors.
        * tree-ssa-alias.c: Update tree_pass descriptors.
        * loop-init.c: Update tree_pass descriptors.
        * gimple-low.c: Update tree_pass descriptors.
        * ipa-inline.c: Update tree_pass descriptors.
        * tree-ssa-sink.c: Update tree_pass descriptors.
        * global.c: Update tree_pass descriptors.
        * ifcvt.c: Update tree_pass descriptors.
        * jump.c: Update tree_pass descriptors.
        * predict.c: Update tree_pass descriptors.
        * tree-ssa-loop.c: Update tree_pass descriptors.
        * recog.c: Update tree_pass descriptors.
        * dse.c: Update tree_pass descriptors.
        * tree-ssa-ifcombine.c: Update tree_pass descriptors.
        * tree-eh.c: Update tree_pass descriptors.
        * regmove.c: Update tree_pass descriptors.
        * local-alloc.c
        * function.c: Update tree_pass descriptors.
        * tree-vectorizer.c: Update tree_pass descriptors.
        * gcse.c: Update tree_pass descriptors.
        * ipa-type-escape.c: Update tree_pass descriptors.
        * tree-if-conv.c: Update tree_pass descriptors.
        * init-regs.c: Update tree_pass descriptors.
        * ipa.c: Update tree_pass descriptors.
        * tree-ssa-phiopt.c: Update tree_pass descriptors.
        * rtl-factoring.c: Update tree_pass descriptors.
        * lower-subreg.c: Update tree_pass descriptors.
        * bt-load.c: Update tree_pass descriptors.
        * tree-dfa.c: Update tree_pass descriptors.
        * except.c: Update tree_pass descriptors.
        * emit-rtl.c: Update tree_pass descriptors.
        * cfgexpand.c: Update tree_pass descriptors.
        * tree-cfgcleanup.c: Update tree_pass descriptors.
        * cfgcleanup.c: Update tree_pass descriptors.
        * tree-ssa-pre.c: Update tree_pass descriptors.
        * tree-sra.c: Update tree_pass descriptors.
        * tree-mudflap.c: Update tree_pass descriptors.
        * tree-ssa-copy.c: Update tree_pass descriptors.
        * cfglayout.c: Update tree_pass descriptors.
        * tree-ssa-forwprop.c: Update tree_pass descriptors.
        * tree-ssa-dce.c: Update tree_pass descriptors.
        * tree-ssa.c: Update tree_pass descriptors.
        * regclass.c: Update tree_pass descriptors.
        * integrate.c: Update tree_pass descriptors.
        * tree-optimize.c: Update tree_pass descriptors.
        * tree-ssa-phiprop.c: Update tree_pass descriptors.
        * tree-object-size.c: Update tree_pass descriptors.
        * combine.c: Update tree_pass descriptors.
        * tree-outof-ssa.c: Update tree_pass descriptors.
        * bb-reorder.c: Update tree_pass descriptors.
        * stack-ptr-mod.c: Update tree_pass descriptors.
        * var-tracking.c: Update tree_pass descriptors.
        * tree-profile.c: Update tree_pass descriptors.
        * tree-vect-generic.c: Update tree_pass descriptors.
        * reg-stack.c: Update tree_pass descriptors.
        * sched-rgn.c: Update tree_pass descriptors.
        * tree-ssa-structalias.c: Update tree_pass descriptors.
        * tree-cfg.c: Update tree_pass descriptors.
        * passes.c (current_pass): Update declaration.
        (finish_optimization_passes): Update.
        (all_passes, all_ipa_passes, all_lowering_passes): Update declaration.
        (register_one_dump_file, register_dump_files_1, next_pass_1):
        Update arguments.
        (init_optimization_passes): Update handling of new types.
        (execute_one_pass, execute_pass_list, execute_ipa_pass_list): Update.
        * ipa-struct-reorg.c: Update tree_pass descriptors.
        * tree-ssa-reassoc.c: Update tree_pass descriptors.
        * combine-stack-adj.c: Update tree_pass descriptors.
        * cfgrtl.c: Update tree_pass descriptors.
        * dce.c: Update tree_pass descriptors.
        * tree-ssanames.c: Update tree_pass descriptors.

2008-03-19  Richard Guenther  <rguenther@suse.de>

        PR middle-end/35609
        * tree-ssa.c (walk_data): New structure.
        (warn_uninitialized_var): If not always_executed warn with "maybe"
        instead of "is".
        (execute_early_warn_uninitialized): Compute post-dominators.
        Initialize always_executed before processing each basic block.

2008-03-18  Mikulas Patocka  <mikulas@artax.karlin.mff.cuni.cz>

        PR target/35504
        * config/i386/i386.c (x86_this_parameter): Calculate correct location
        of "this" pointer when "regparm = N" or "fastcall" is in effect.

2008-03-18  Ralf Wildenhues  <Ralf.Wildenhues@gmx.de>

        * doc/include/texinfo.tex: Update to version 2008-03-17.10.

2008-03-18  Paolo Bonzini  <bonzini@gnu.org>

        * expr.c (store_expr): Assume lang_hooks.reduce_bit_field_operations
        is true.
        (expand_expr_real_1) <REDUCE_BIT_FIELD>: Don't look at ignore.
        (expand_expr_real_1): Assume lang_hooks.reduce_bit_field_operations
        is true.  Add "&& !ignore" condition to reduce_bit_field.  Modify
        target after ignore has been set, and move there also the commputation
        of subtarget and original_target.
        * langhooks-def.h (LANG_HOOKS_REDUCE_BIT_FIELD_OPERATIONS): Delete.
        (LANG_HOOKS_INITIALIZER): Remove it.
        * langhooks.h (struct lang_hooks): Remove reduce_bit_field_operations.

2008-03-18  Richard Guenther  <rguenther@suse.de>

        * tree-ssa-sccvn.c (visit_reference_op_load): If the lookup
        found an expression with constants, note that in the VN for the lhs.
        * tree-ssa-pre.c (eliminate): Visit COND_EXPR statements and
        fold them to constants if possible.  Run cleanup_cfg if done so.
        (execute_pre): Return todo.
        (do_pre): Likewise.
        (execute_fre): Likewise.
        * tree-ssa-forwprop.c (can_propagate_from): Allow propagation
        of constants.
        (get_prop_source_stmt): Look through pointer conversions.

2008-03-18  Jan Hubicka  <jh@suse.cz>

        * tree-pretty-print.c: Include predict.h.
        (dump_generic_node): Dump predictor.
        * tree.h (PREDICT_EXPR_OUTCOME, PREDICT_EXPR_PREDICTION): Update.
        * tree-gimple.c (is_gimple_stmt): Add PREDICT_EXPR.
        * gimple-low.c (lower_stmt): Likewise.
        * expr.c (expand_expr_real): Likewise.
        * predict.c (tree_bb_level_predictions): Use PREDICT_EXPRs and remove
        them.
        (build_predict_expr, build_predict_expr): New.
        * predict.h (predictor_name, build_predict_expr): Update.
        * c-typeck.c (c_finish_bc_stmt): Add prediction.
        * gimplify.c (gimplify_expr): Add PREDICT_EXPR.
        * predict.def (PRED_CONTINUE): Update hitrate.
        * tree.def (PREDICT_EXPR): Define.
        * tree-ssa-dce.c (mark_stmt_if_obviously_necessary): Mark PREDICT_EXPR;
        do not handle BIND_EXPR.
        * tree-inline.c (estimate_num_insns_1): PREDICT_EXPR is free.
        * tree-cfg.c (verify_gimple_stmt): PREDICT_EXPR is valid.
        * tree-ssa-operands.c (get_expr_operands): PREDICT_EXPR takes no
        operands.

2008-03-18  Michael Matz  <matz@suse.de>

        * gcov-io.h (__gcov_merge_ior, __gcov_fork): Mark hidden.

2008-03-18  Richard Guenther  <rguenther@suse.de>

        * tree-gimple.h (is_gimple_invariant_address): Declare.
        (is_gimple_constant): Likewise.
        * tree-gimple.c (is_gimple_constant): New function.
        (is_gimple_invariant_address): Likewise.
        (is_gimple_min_invariant): Implement in terms of is_gimple_constant
        and is_gimple_invariant_address.
        * tree-ssa-loop-niter.c (expand_simple_operations): Revert
        previous change.
        * tree-data-ref.c (get_references_in_stmt): A SSA_NAME is not
        an addressable base.

2008-03-18  Jakub Jelinek  <jakub@redhat.com>

        PR middle-end/35611
        * gimplify.c (gimplify_expr): Gimplify second operand of
        OMP_ATOMIC_LOAD.

2008-03-17  Richard Guenther  <rguenther@suse.de>

        PR tree-optimization/19637
        * fold-const.c (fold_unary): Remove restrictions of removing
        intermediate pointer-conversions (P2)(P1)P0.
        * tree-ssa-ccp.c (maybe_fold_stmt_addition): Recover from
        conversion to void pointer.
        (get_maxval_strlen): Handle addresses of the form &(*p)[0].

2008-03-16  James E. Wilson  <wilson@tuliptree.org>

        PR debug/31510
        * dbxout.c (dbxout_expand_expr, case VAR_DECL): Return NULL for
        emulated thread local variables.

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

        PR middle-end/35607
        * tree-ssa-loop-niter.c (expand_simple_operations): Do not
        expand TREE_INVARIANT operations that are not gimple invariant.

2008-03-16  Hans-Peter Nilsson  <hp@axis.com>

        * doc/extend.texi (Alignment): Say that the ABI controls
        the __alignof__ for non-strict-alignment targets rather
        than being a recommendation.

2008-03-15  Paul Brook  <paul@codesourcery.com>

        * config/arm/arm.c (arm_unwind_emit): Suppress unused unwinding
        annotations.
        (arm_output_fn_unwind): Mark functions that can not be unwound.

2008-03-15  Paul Brook  <paul@codesourcery.com>

        * config/arm/arm.c (arm_rtx_costs_1): Add costs for ARMv6 value
        extension instructions.

2008-03-15  Richard Guenther  <rguenther@suse.de>

        * tree-ssa-ccp.c (ccp_fold): Also read from constant values
        and fold constant aggregate refs.
        (fold_const_aggregate_ref): Handle string constants
        and constructors in ARRAY_REFs.  Handle INDIRECT_REF.
        (evaluate_stmt): Simplify now that ccp_fold folds constant
        aggregate refs.

2008-03-15  Paul Brook  <paul@codesourcery.com>

        * config/arm/arm.md (insv): Use gen_insv_t2 and gen_insv_zero.
        (extzv): Use gen_extzv_t2.
        (insv_t2, insv_zero, extv, extzv_t2): New patterns.

2008-03-15  Richard Guenther  <rguenther@suse.de>

        * tree-ssa-ccp.c (get_symbol_constant_value): Export.
        (fold_const_aggregate_ref): Likewise.
        (get_value): Return NULL if we don't have any values.
        (ccp_finalize): Set const_val to NULL after freeing it.
        * tree-flow.h (get_symbol_constant_value): Declare.
        (fold_const_aggregate_ref): Likewise.
        * tree-ssa-sccvn.c (try_to_simplify): Use them.

2008-03-15  Richard Guenther  <rguenther@suse.de>

        PR middle-end/35593
        * tree-ssa-ccp.c (maybe_fold_offset_to_array_ref): Make sure
        to not produce negative array indices if not allowed.  Add
        parameter to indicate that.
        (maybe_fold_offset_to_component_ref): Allow negative array
        indices only for the first member of a structure.
        (maybe_fold_offset_to_reference): Allow negative array indices.
        (maybe_fold_stmt_addition): Likewise.

2008-03-15  Bjoern Haase  <bjoern.m.haase@web.de>
            Anatoly Sokolov <aesok@post.ru>

        * gcc/gcc/config/avr/avr.c (avr_arch_types): Add avr6 entry.
        (avr_arch): Add ARCH_AVR6.
        (avr_mcu_types): Add 'atmega2560' and 'atmega2561' entry.
        (initial_elimination_offset): Initialize and use 'avr_pc_size' 
        instead of fixed value 2.
        (print_operand_address): Use gs() asm specifier instead of pm().
        (avr_assemble_integer): (Ditto.).
        (avr_output_addr_vec_elt): (Ditto.).
        (print_operand): Handle "!" code.
        * gcc/gcc/config/avr/avr.h (TARGET_CPU_CPP_BUILTINS): Add 
        __AVR_3_BYTE_PC__, __AVR_2_BYTE_PC__ and __AVR_HAVE_JMP_CALL__.
        (AVR_HAVE_EIJMP_EICALL): Define.
        (AVR_3_BYTE_PC): Redefine.
        (AVR_2_BYTE_PC): (Ditto.).
        (PRINT_OPERAND_PUNCT_VALID_P): Add '!' code.
        (LINK_SPEC): Add atmega2560 and atmega2561.
        (CRT_BINUTILS_SPEC): Add atmega2560 (crtm2560.o) and atmega2561 
        (crtm2561.o).
        * gcc/gcc/config/avr/avr.md (call_insn): Use eicall instead of icall 
        for 3 byte PC devices.
        (call_value_insn): (Ditto.).
        (*tablejump_enh): Use eijmp instead of ijmp for 3 byte PC devices.
        (indirect_jump): Use only for for 2 byte PC devices.
        (*tablejump): (Ditto.).
        (*indirect_jump_avr6): Add insn.
        (*tablejump_rjmp): Don't use for 3 byte PC devices.
        * gcc/gcc/config/avr/libgcc.S (__prologue_saves__): Use eijmp 
        instead of ijmp for 3 byte PC devices.
        (__tablejump2__): (Ditto.).
        * gcc/gcc/config/avr/t-avr (MULITLIB_OPTIONS): Add avr6 architecture.
        (MULITLIB_DIRNAMES): (Ditto.). 
        (MULTILIB_MATCHES): Add atmega2560 and atmega2561 to list.

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

        * config/i386/mmx.md ("sse2_umulv1siv2di3"): Rename from
        "sse2_umulsidi3".  Use V1DI mode for operand 0.
        ("mmx_psadbw"): Use V1DI mode for operand 0.
        * config/i386/i386-modes.def (V1SI): New vector mode.
        * config/i386/i386.c (struct builtin_description)
        [IX86_BUILTIN_PMULUDQ]: Use CODE_FOR_sse2_umulv1siv1di3.
        (v1di_ftype_v8qi_v8qi): Rename from di_ftype_v8qi_v8qi.
        (v1di_ftype_v2si_v2si): Rename from di_ftype_v2si_v2si.
        (ix86_init_mmx_sse_builtins) [__builtin_ia32_psadbw]: Use
        v1di_ftype_v8qi_v8qi type.
        [__builtin_ia32_pmuludq]: Use v1di_ftype_v2si_v2si type.

        * doc/extend.texi (X86 Built-in Functions) [__builtin_ia32_psadbw,
        __builtin_ia32_pmuludq]: Fix the mode of return value.

2008-03-15  Richard Guenther  <rguenther@suse.de>

        PR middle-end/35595
        * tree-ssa-pre.c (bitmap_find_leader): Handle expression
        being a PHI_NODE.

2008-03-14  Bob Wilson  <bob.wilson@acm.org>
        
        * doc/invoke.texi (Option Summary, Xtensa Options): Document
        -mserialize-volatile and -mno-serialize-volatile Xtensa options.
        * config/xtensa/xtensa.c (print_operand): Do not emit MEMW instructions
        unless TARGET_SERIALIZE_VOLATILE is enabled.
        * config/xtensa/xtensa.md (*lsiu, *ssiu): Likewise.
        * config/xtensa/xtensa.h (TARGET_DEFAULT): Add MASK_SERIALIZE_VOLATILE.
        * config/xtensa/xtensa.opt (mserialize_volatile): New option.

2008-03-14  Richard Guenther  <rguenther@suse.de>

        PR tree-optimization/34172
        * tree-flow.h (refs_may_alias_p): Declare.
        (get_single_def_stmt): Likewise.
        (get_single_def_stmt_from_phi): Likewise.
        (get_single_def_stmt_with_phi): Likewise.
        * tree-dfa.c (refs_may_alias_p): New function.
        (get_single_def_stmt): Likewise.
        (get_single_def_stmt_from_phi): Likewise.
        (get_single_def_stmt_with_phi): Likewise.
        * tree-ssa-sccvn.c (get_def_ref_stmt_vuses): New function.
        (vn_reference_lookup_1): New helper function.
        (vn_reference_lookup): Walk the virtual use-def chain to
        continue searching for a match if the def does not alias the
        reference we are looking for.

2008-03-14  David Edelsohn  <edelsohn@gnu.org>

        * doc/install.texi (Binaries): Remove UCLA archive.  Add HVCC
        archive and Perzl.  Update The Written Word listing.

2008-03-14  Richard Guenther  <rguenther@suse.de>

        PR tree-optimization/34043
        PR tree-optimization/33989
        * tree-ssa-pre.c (execute_pre): Allow SCCVN to do insertion
        when doing FRE.
        (bitmap_find_leader): Use extra argument to verify dominance
        relationship inside a basic-block.
        (can_PRE_operation): Add VIEW_CONVERT_EXPR.
        (find_leader_in_sets): Adjust.
        (create_component_ref_by_pieces): Take extra argument for
        dominance check, handle lookup failures.
        (find_or_generate_expression): Likewise.
        (create_expression_by_pieces): Likewise.
        (insert_into_preds_of_block): Adjust.
        (create_value_expr_from): If asked for, verify all operands
        are in the blocks AVAIL_OUT set.
        (make_values_for_stmt): Check for SSA_NAMEs that are life
        over an abnormal edge.
        (compute_avail): Remove such check.
        (do_SCCVN_insertion): New function.
        (eliminate): If we do not find a leader suitable for replacement
        insert a replacement expression from SCCVN if available.
        * tree-ssa-sccvn.h (run_scc_vn): Update prototype.
        (struct vn_ssa_aux): Add needs_insertion flag.
        * tree-ssa-sccvn.c (may_insert): New global flag.
        (copy_reference_ops_from_ref): Value-number union member access
        based on its size, not type and member if insertion is allowed.
        (visit_reference_op_load): For a weak match from union type
        punning lookup a view-converted value and insert a SSA_NAME
        for that value if that is not found.
        (visit_use): Make dumps shorter.  Do not disallow value numbering
        SSA_NAMEs that are life over an abnormal edge to constants.
        (free_scc_vn): Release inserted SSA_NAMEs.
        (run_scc_vn): New flag to specify whether insertion is allowed.
        Process SSA_NAMEs in forward order.
        * tree-ssa-loop-im.c (for_each_index): Handle invariant
        ADDR_EXPRs inside VIEW_CONVERT_EXPR.
        * fold-const.c (fold_unary): Fold VIEW_CONVERT_EXPRs from/to
        pointer type to/from integral types that do not change the
        precision to regular conversions.

2008-03-13  Uros Bizjak  <ubizjak@gmail.com>

        * doc/extend.texi (X86 Built-in Functions) [__builtin_ia32_psll?,
        __builtin_ia32_psrl?, __builtin_ia32_psra?, __builtin_ia32_psll?i,
        __builtin_ia32_psrl?i, __builtin_ia32_psra?i, __builtin_ia32_psll?128,
        __builtin_ia32_psrl?128, __builtin_ia32_psra?128]: Fix the mode of
        input arguments and the mode of return value.  Built-in functions
        that operate on whole 64-bit MMX register now use V1DI mode.

2008-03-13  Alon Dayan  <alond@il.ibm.com>
            Olga Golovanevsky  <olga@il.ibm.com>

        PR tree-optimization/35041
        * ipa-struct-reorg.c (find_pos_in_stmt_1): Add another option
        to locate the right position in a statement.

2008-03-13  Uros Bizjak  <ubizjak@gmail.com>

        PR target/34000
        PR target/35553
        * config/i386/xmmintrin.h:  Change all static inline functions to
        extern inline and add __gnu_inline__ attribute.
        * config/i386/bmintrin.h: Ditto.
        * config/i386/smmintrin.h: Ditto.
        * config/i386/tmmintrin.h: Ditto.
        * config/i386/mmintrin-common.h: Ditto.
        * config/i386/ammintrin.h: Ditto.
        * config/i386/emmintrin.h: Ditto.
        * config/i386/pmmintrin.h: Ditto.
        * config/i386/mmintrin.h: Ditto.
        * config/i386/mm3dnow.h: Ditto.

2008-03-13  Jakub Jelinek  <jakub@redhat.com>

        PR middle-end/35185
        * omp-low.c (lower_regimplify, init_tmp_var, save_tmp_var): Removed.
        (lower_omp_2): New function.
        (lower_omp_1, lower_omp): Rewritten.

2008-03-13  Danny Smith  <dannysmith@users.sourceforge.net>

        PR 35054
        * doc/extend.texi (Structure-Packing Pragmas): Replace "Win32"
        with the phrase "Microsoft Windows compilers".
        (Push/Pop Macro Pragmas): New subsection. Document
        #pragma push_macro and pragma pop_macro.

2008-03-12  Paul Brook  <paul@codesourcery.com>

        * config/arm/arm.c (output_move_double): Prefer LDRD to LDM.

2008-03-12  Paul Brook  <paul@codesourcery.com>

        * config/arm/thumb2.md: Extend peephole to cover 3-arg subs.
        (thumb2_alusi3_short): Exclude PLUS and MINUS.
        (thumb2_addsi_shortim): Rename ...
        (thumb2_addsi_short): ... to this.  Allow register operands.
        (thumb2_subsi_short): New pattern.
        (thumb2_one_cmplsi2_short,
        thumb2_negsi2_short): New patterns and peepholes.

2008-03-12  Paul Brook  <paul@codesourcery.com>

        * config/arm/arm.c (arm_size_rtx_costs): Use ARM costs for Thumb-2.

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

        * config/i386/i386.md (int_cond): New code iterator.
        (fp_cond): Ditto.
        ("s<code>"): Macroize expander from seq, sne, sgt, sgtu, slt, sltu,
        sge, sgeu, sle and sleu expanders usign int_cond code iterator.
        ("s<code>"): Macroize expander from sunordered, sordered, suneq, sunge,
        sungt, sunle, sunlt and sltgt expanders usign fp_cond code iterator.
        ("b<code>"): Macroize expander from beq, bne, bgt, bgtu, blt, bltu,
        bge, bgeu, ble and bleu expanders usign int_cond code iterator.
        ("b<code>"): Macroize expander from bunordered, bordered, buneq, bunge,
        bungt, bunle, bunlt and bltgt expanders usign fp_cond code iterator.

2008-03-12  Paul Brook  <paul@codesourcery.com>

        * config/arm/arm.c (use_return_insn): Use offsets->saved_regs_mask
        instead of {arm,thumb}_compute_save_reg_mask.
        (output_return_instruction): Ditto.
        (thumb_unexpanded_epilogue): Ditto.
        (thumb1_expand_prologue): Ditto.
        (thumb1_output_function_prologue): Ditto.
        (arm_set_return_address): Ditto.
        (thumb_set_return_address): Ditto.
        (arm_get_frame_offsets): Set offsets->saved_regs_mask.  Push extra
        regs to achieve stack alignment.
        (thumb1_compute_save_reg_mask): Fix compiler warning.
        (arm_output_epilogue): Use offsets->saved_regs_mask.
        Adjust stack pointer by poping call clobered registers.
        (arm_expand_prologue): Use offsets->saved_regs_mask.
        Adjust stack pointer by pushing extra registers.
        * config/arm.h (arm_stack_offsets): Add saved_regs_mask.

2008-03-12  Paolo Bonzini  <bonzini@gnu.org>

        PR tree-opt/35422
        * fold-const.c (fold_unary) <NOP_EXPR>: Distribute a narrowing
        conversion to the operands of a multiplication.

2008-03-12  Richard Guenther  <rguenther@suse.de>

        * Makefile.in (OBJS-common): Add tree-ssa-phiprop.o
        (tree-ssa-phiprop.o): Copy dependencies from tree-ssa-forwprop.o.
        * timevar.def (TV_TREE_PHIPROP): Add.
        * tree-ssa-phiprop.c: Split from tree-ssa-forwprop.c, added
        pass description.  Use TV_TREE_PHIPROP.
        * tree-ssa-forwprop.c: Remove phiprop code.

2008-03-12  Jakub Jelinek  <jakub@redhat.com>

        PR middle-end/35549
        * omp-low.c (maybe_lookup_decl): Constify first argument.
        (use_pointer_for_field): Change last argument from bool to
        omp_context *.  Disallow shared copy-in/out in nested
        parallel if decl is shared in outer parallel too.
        (build_outer_var_ref, scan_sharing_clauses,
        lower_rec_input_clauses, lower_copyprivate_clauses,
        lower_send_clauses, lower_send_shared_vars): Adjust callers.

2008-03-12  Victor Kaplansky  <victork@il.ibm.com>
            Ira Rosen  <irar@il.ibm.com>

        * tree-vectorizer.c (free_stmt_vec_info): New function.
        (destroy_loop_vec_info): Move code to free_stmt_vec_info().
        Call free_stmt_vec_info(). Free LOOP_VINFO_STRIDED_STORES..
        * tree-vectorizer.h (free_stmt_vec_info): Declare.
        * tree-vect-transform.c (vectorizable_conversion): Free
        vec_oprnds0 if it was allocated.
        (vect_permute_store_chain): Remove unused VECs.
        (vectorizable_store): Free VECs that are allocated in the..
        function.
        (vect_transform_strided_load, vectorizable_load): Likewise.
        (vect_remove_stores): Simplify the code.
        (vect_transform_loop): Move code to vect_remove_stores().
        Call vect_remove_stores() and free_stmt_vec_info().

2008-03-11  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>

        * pa.h (TARGET_LONG_PIC_SDIFF_CALL): Conditionalize define on
        TARGET_HPUX.  Revise comment.
        (TARGET_LONG_PIC_PCREL_CALL): Revise comment.
        * pa.c (output_call): Update for revised TARGET_LONG_PIC_SDIFF_CALL.
        Use sr4 variant of `be' instruction when not generating PIC code.
        (attr_length_call): Adjust for above change.

2008-03-11  Andrew Pinski  <andrew_pinski@playstation.sony.com>

        * ipa-reference.c (static_execute): Remove module_statics_const and
        associated setting code.

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

        PR target/35540
        * config/i386/i386.md (paritysi2, paritydi2): Use register_operand
        predicate for operand 1.
        (paritysi2_cmp): Use register_operand predicate for operand 2.
        Use earlyclobber modifier for operand 1.  Remove support for
        memory operands.
        (paritydi2_cmp): Use register_operand predicate for operand 3.
        Use earlyclobber modifier for operand 1.  Remove support for
        memory operands.

2008-03-11  Paul Brook  <paul@codesourcery.com>
            Vladimir Prus  <vladimir@codesourcery.com>

        * config/arm/arm.c (use_return_insn): Check TARGET_APCS_FRAME.
        (arm_compute_save_reg0_reg12_mask): Always
        check if register 11 must be saved.  Always safe hard frame pointer
        when frame_pointer_needeed.
        (arm_compute_save_reg_mask): Save IP and PC
        only with apcs frames.
        (arm_output_epilogue): Adjust Thumb2 codepath to
        be also invoked and work for ARM non-apcs frames.
        (arm_expand_prologue): Don't bother saving IP
        for non-apcs frame, since it's not clobbered by
        prologue code.  Implement non-apcs frame
        layout.

2008-03-11  Paolo Bonzini  <bonzini@gnu.org>

        PR rtl-optimization/35281
        * expr.c (convert_move): Use a new pseudo for the intermediate
        from_mode->word_mode result.

2008-03-11  Paolo Bonzini  <bonzini@gnu.org>

        * langhooks-def.h (LANG_HOOKS_CLEAR_BINDING_STACK): Delete.
        * langhooks.h (struct lang_hooks): Delete clear_binding_stack member.
        * toplev.c (compile_file): Don't call it.

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

        PR middle-end/35526
        * expr.c (store_expr): Call emit_block_move if the mode
        of "temp" RTX is BLKmode.

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

        PR tree-optimization/31358
        * tree-ssa-loop-manip.c (create_iv): Call force_gimple_operand for
        the step with a NULL_TREE.
        * tree-ssa-loop-ivopts.c (find_bivs): Convert the step
        to sizetype if type is a pointer type.
        (add_candidate_1): Don't convert the base and step to
        the generic type if the orginal type is a pointer type.
        (add_iv_value_candidates): Use sizetype for the step
        if type is a pointer type.
        (cand_value_at): Likewise.
        * tree-ssa-address.c (add_to_parts): Use POINTER_PLUS_EXPR
        for pointer types.
        * tree-affine.c (tree_to_aff_combination <POINTER_PLUS_EXPR>):
        Don't convert the tem affine to the type.
        (add_elt_to_tree): Use sizetype for the step if a pointer.
        Use POINTER_PLUS_EXPR for pointers.
        (aff_combination_to_tree): Use sizetype for the step if a
        pointer.

2008-03-10  Vladimir Makarov  <vmakarov@redhat.com>

        * config/i386/sse.md (ssse3_pmaddubswv8hi3, ssse3_pmaddubswv4hi3):
        Remove commutativity hint.

2008-03-10  Jakub Jelinek  <jakub@redhat.com>

        PR c/35438
        PR c/35439
        * c-parser.c (c_parser_omp_threadprivate): Don't add vars with
        errorneous type.  Check that v is a VAR_DECL.

        PR middle-end/35099
        * tree-cfg.c (new_label_mapper): Update cfun->last_label_uid.

2008-03-10  H.J. Lu  <hongjiu.lu@intel.com>

        PR tree-optimization/35494
        * tree-ssa-ccp.c (get_symbol_constant_value): Check if value
        may be overriden at link and run time.

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

        PR tree-optimization/34677
        * tree-ssa-pre.c (modify_expr_node_pool): Remove.
        (poolify_tree): Likewise.
        (modify_expr_template): Likewise.
        (poolify_modify_stmt): Likewise.
        (insert_fake_stores): Handle all component-ref style stores
        in addition to INDIRECT_REF.  Also handle complex types.
        Do not poolify the inserted load.
        (realify_fake_stores): Do not rebuild the tree but only
        make it a SSA_NAME copy.
        (init_pre): Remove initialzation of modify_expr_template.
        Do not allocate modify_expr_node_pool.
        (fini_pre): Do not free modify_expr_node_pool.

2008-03-10  Paul Brook  <paul@codesourcery.com>

        * config/arm/arm.md (UNSPEC_STACK_ALIGN, UNSPEC_PIC_OFFSET): Renumber
        to avoid conflicts.

2008-03-10  Paul Brook  <paul@codesourcery.com>
            Mark Shinwell  <shinwell@codesourcery.com>

        * config/arm/cortex-r4.md: New.
        * config/arm/thumb2.md (divsi3, udivsi3): Annotate with
        insn attributes.
        * config/arm/arm.md: Include cortex-r4.md.
        (insn): Add smmls, sdiv and udiv values.
        (generic_sched): Don't use generic scheduling for Cortex-R4.
        (arm_issue_rate): New function.
        (TARGET_SCHED_ISSUE_RATE): Define.

2008-03-10  Sebastian Pop  <sebastian.pop@amd.com>

        * doc/invoke.texi (-ftree-loop-distribution): Add an example.

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

        * tree-ssa-pre.c (get_sccvn_value): Simplify.
        (compute_avail): Do not add stmt uses to AVAIL_OUT.

2008-03-10  Paolo Bonzini  <bonzini@gnu.org>

        * langhooks-def.h (LANG_HOOKS_REDUCE_BIT_FIELD_OPERATIONS):
        Set default to true.

2008-03-09  Ralf Wildenhues  <Ralf.Wildenhues@gmx.de>

        * c.opt (Wsynth): Deprecate.
        * doc/invoke.texi (Option Summary, Warning Options): Document
        -Wno-format-contains-nul.

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

        PR target/35496
        * config/i386/i386.c (ix86_constant_alignment): Compute alignment using
        ALIGN_MODE_128 for VECTOR_CST and INTEGER_CST in addition to REAL_CST.

2008-03-09  Ira Rosen  <irar@il.ibm.com>

        * config/rs6000/rs6000.c (builtin_description): Rename vector
        left shift operations.
        * config/rs6000/altivec.md (UNSPEC_VSL): Remove.
        (altivec_vsl<VI_char>): Rename to ...
        (ashl<mode>3): ... new name.
        (mulv4sf3, mulv4si3, negv4sf2): Replace gen_altivec_vslw with
        gen_ashlv4si3.
        (absv4sf2): Convert to use ashift:V4SI instead of UNSPEC_VSL.

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

        * coverage.h (tree_coverage_counter_addr): Declare.
        * coverage.c (tree_coverage_counter_addr): New function.
        * tree-profile.c (tree_gen_edge_profiler): Unshare counter
        before using again.
        (tree_gen_pow2_profiler): Use tree_coverage_counter_addr.
        (tree_gen_one_value_profiler): Likewise.
        (tree_gen_ic_profiler): Likewise.
        (tree_gen_average_profiler): Likewise.
        (tree_gen_ior_profiler): Likewise.

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

        * tree-ssa-sccvn.h (vn_binary_op_lookup): Remove.
        (vn_binary_op_insert): Likewise.
        (vn_unary_op_lookup): Likewise.
        (vn_unary_op_insert): Likewise.
        (vn_nary_op_lookup): Declare.
        (vn_nary_op_insert): Likewise.
        * tree-ssa-sccvn.c (struct vn_tables_s): Merge unary
        and binary hashes, use a single obstack for unary_op_pool
        and binary_op_pool.
        (struct vn_binary_op_s, struct vn_unary_op_s): Replace with
        a single struct vn_nary_op_s.  Store tree code length and
        a variable number of operands.
        (struct vn_reference_op_struct): Remove unused op2.
        (vn_reference_op_eq): Do not compare op2.
        (vn_reference_op_compute_hash): Do not compute hash of op2.
        (vn_unary_op_hash, vn_binary_op_hash): Replace with vn_nary_op_hash.
        (vn_unary_op_compute_hash, vn_binary_op_compute_hash): Replace
        with vn_nary_op_compute_hash.
        (vn_unary_op_eq, vn_binary_op_eq): Replace with vn_nary_op_eq.
        (vn_unary_op_lookup, vn_binary_op_lookup): Replace with
        vn_nary_op_lookup.
        (vn_unary_op_insert, vn_binary_op_insert): Replace with
        vn_nary_op_insert.
        (visit_unary_op): Call nary functions.
        (visit_binary_op): Likewise.
        (process_scc): Adjust for struct vn_tables_s changes.
        (allocate_vn_table): Likewise.
        (free_vn_table): Likewise.
        * tree-vn.c (vn_add): Call nary functions.
        (vn_lookup): Likewise.

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

        PR target/35498
        * config/rs6000/rs6000.c (rs6000_expand_compare_and_swapqhi): Shift
        wdst back after sync_compare_and_swapqhi_internal.

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

        PR target/22152
        * config/i386/i386-modes.def (V1DI): New vector mode.
        * config/i386/i386.h (VALID_MMX_REG_MODE): Add V1DImode.
        * config/i386/mmx.md (MMXMODEI8): New mode iterator.
        (MMXMODE248): Ditto.
        (MMXMODE): Add V1DI mode.
        (mmxvecsize): Change DI mode to V1DI mode.
        ("mov<mode>): Use MMXMODEI8 mode iterator.
        ("*mov<mode>_internal_rex64"): Ditto.
        ("*mov<mode>_internal"): Ditto.
        ("mmx_add<mode>3"): Ditto.  Handle V1DImode for TARGET_SSE2.
        ("mmx_sub<mode>3"): Ditto.
        ("mmx_adddi3"): Remove insn pattern.
        ("mmx_subdi3"): Ditto.
        ("mmx_ashr<mode>3"): Use SImode and "yN" constraint for operand 2.
        ("mmx_lshr<mode>3"): Ditto. Use MMXMODE248 mode iterator.
        ("mmx_ashl<mode>3"): Ditto.
        ("mmx_lshrdi3"): Remove insn pattern.
        ("mmx_ashldi3"): Ditto.
        * config/i386/i386.c (classify_argument): Handle V1DImode.
        (function_arg_advance_32): Ditto.
        (function_arg_32): Ditto.
        (struct builtin_description) [IX86_BUILTIN_PADDQ]: Use
        mmx_addv1di3 insn pattern.
        [IX86_BUILTIN_PSUBQ]: Use mmx_subv1di3 insn pattern.
        [IX86_BUILTIN_PSLL?, IX86_BUILTIN_PSRL?, IX86_BUILTIN_PSRA?,
        IX86_BUILTIN_PSLL?I, IX86_BUILTIN_PSRL?I, IX86_BUILTIN_PSRA?I,
        IX86_BUILTIN_PSLL?I128, IX86_BUILTIN_PSRL?I128, IX86_BUILTIN_PSRA?I128]:
        Remove definitions of built-in functions.
        (V1DI_type_node): New node.
        (v1di_ftype_v1di_int): Ditto.
        (v1di_ftype_v1di_v1di): Ditto.
        (v2si_ftype_v2si_si): Ditto.
        (v4hi_ftype_v4hi_di): Remove node.
        (v2si_ftype_v2si_di): Ditto.
        (ix86_init_mmx_sse_builtins): Handle V1DImode.
        (__builtin_ia32_psll?, __builtin_ia32_psrl?, __builtin_ia32_psra?):
        Redefine builtins using def_builtin_const with *_ftype_*_int node.
        (__builtin_ia32_psll?i, __builtin_ia32_psrl?i, __builtin_ia32_psra?i):
        Add new builtins using def_builtin_const.
        (ix86_expand_builtin) [IX86_BUILTIN_PSLL?, IX86_BUILTIN_PSRL?,
        IX86_BUILTIN_PSRA?, IX86_BUILTIN_PSLL?I, IX86_BUILTIN_PSRL?I,
        IX86_BUILTIN_PSRA?I]: Handle builtin definitions.
        * config/i386/mmintrin.h (__v1di): New typedef.
        (_mm_add_si64): Cast arguments to __v1di type.
        (_mm_sub_si64): Ditto.
        (_mm_sll_pi16): Cast __count to __v4hi type.
        (_mm_sll_pi32): Cast __count to __v2si type.
        (_mm_sll_si64): Cast arguments to __v1di type.
        (_mm_srl_pi16): Cast __count to __v4hi type.
        (_mm_srl_pi32): Cast __count to __v2si type.
        (_mm_srl_si64): Cast arguments to __v1di type.
        (_mm_sra_pi16): Cast __count to __v4hi type.
        (_mm_sra_pi32): Cast __count to __v2si type.
        (_mm_slli_pi16): Use __builtin_ia32_psllwi.
        (_mm_slli_pi32): Use __builtin_ia32_pslldi.
        (_mm_slli_si64): Use __builtin_ia32_psllqi. Cast __m to __v1di type.
        (_mm_srli_pi16): Use __builtin_ia32_psrlwi.
        (_mm_srli_pi32): Use __builtin_ia32_psrldi.
        (_mm_srli_si64): Use __builtin_ia32_psrlqi. Cast __m to __v1di type.
        (_mm_srai_pi16): Use __builtin_ia32_psrawi.
        (_mm_srai_pi32): Use __builtin_ia32_psradi.
        * config/i386/i386.md (UNSPEC_NOP): Remove unspec definition.
        * doc/extend.texi (X86 Built-in Functions) [__builtin_ia32_psll?,
        __builtin_ia32_psrl?, __builtin_ia32_psra?, __builtin_ia32_psll?i,
        __builtin_ia32_psrl?i, __builtin_ia32_psra?i]: Add new builtins.

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

        * doc/include/texinfo.tex: Update to version 2008-03-07.10.

2008-03-07  Peter Bergner  <bergner@vnet.ibm.com>

        PR target/35373
        * config/rs6000/rs6000.c (rs6000_legitimize_address): Don't generate
        reg+const addressing for Altivec modes.  Don't generate reg+reg
        addressing for TFmode or TDmode quantities.

2008-03-07  Paolo Bonzini  <bonzini@gnu.org>

        * c-common.c (vector_types_convertible_p): Call langhook
        instead of comptypes.

2008-03-06  Andrew Pinski  <andrew_pinski@playstation.sony.com>

        PR tree-opt/35402
        * tree-ssa-ccp.c (get_symbol_constant_value): Handle
        integral and scalar float variables which have a
        NULL DECL_INITIAL.

2008-03-06  Nathan Froyd  <froydnj@codesourcery.com>

        * dwarf2out.c (dwarf2out_frame_debug_expr): Consult the
        dwarf_register_span hook when emitting unwind information for
        register-to-memory saves.
        * config/rs6000/rs6000.c (spe_synthesize_frame): Delete.
        (rs6000_frame_related): Remove call to spe_synthesize_frame.

2008-03-06  Jakub Jelinek  <jakub@redhat.com>

        * gimplify.c (goa_lhs_expr_p): Allow different ADDR_EXPR nodes
        for the same VAR_DECL.

2008-03-06  Tom Tromey  <tromey@redhat.com>

        * treelang: Delete.
        * doc/standards.texi (Standards): Don't mention treelang.
        * doc/invoke.texi (Overall Options): Don't mention treelang.
        * doc/install.texi (Prerequisites): Don't mention bison or
        treelang.
        (Configuration): Don't mention treelang.
        (Building): Likewise.
        * doc/frontends.texi (G++ and GCC): Don't mention treelang.

2008-03-06  Paolo Bonzini  <bonzini@gnu.org>

        * simplify-rtx.c (simplify_subreg): Remove useless shifts from
        word-extractions out of a multi-word object.

2008-03-06  Richard Guenther  <rguenther@suse.de>

        * tree.def (BIT_FIELD_REF): Constrain result type and its precision.
        * tree-cfg.c (verify_expr): Verify BIT_FIELD_REF constraints on
        result type and precision.
        * expr.c (get_inner_reference): Set unsignedp based on the result
        type of BIT_FIELD_REF.
        * tree.h (BIT_FIELD_REF_UNSIGNED): Remove.
        * tree-sra.c (instantiate_element): Do not set BIT_FIELD_REF_UNSIGNED.
        (try_instantiate_multiple_fields): Likewise.  Use the correct type
        for BIT_FIELD_REF.
        (sra_build_assignment): Likewise.
        (sra_build_elt_assignment): Likewise.
        (sra_explode_bitfield_assignment): Likewise.
        * print-tree.c (print_node): Do not check BIT_FIELD_REF_UNSIGNED.
        * tree-vect-transform.c (vect_create_epilog_for_reduction): Do not
        set BIT_FIELD_REF_UNSIGNED.
        (vectorizable_load): Likewise.

2008-03-06  Andreas Krebbel  <krebbel1@de.ibm.com>

        * cse.c (cse_extended_basic_block): Invalidate artificial defs
        at bb start.

2008-03-06  Richard Guenther  <rguenther@suse.de>

        * alias.c (struct alias_set_entry): Move has_zero_child field
        to pack with alias_set.

2008-03-05  H.J. Lu  <hongjiu.lu@intel.com>

        * config/i386/i386-modes.def: Use 4 byte alignment on DI for
        32bit host.

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

        * alias.h (alias_set_type): Change from HOST_WIDE_INT to int.

2008-03-05  Kenneth Zadeck <zadeck@naturalbridge.com>

        * fwprop.c (update_df): Support width and offset parameters of
        df_ref_create.
        * ra-conflict.c (mark_reg_store, clear_reg_in_live,
        global_conflicts): Change DF_REF_EXTRACT to either
        DF_REF_ZERO_EXTRACT or DF_REF_SIGN_EXTRACT.  Change
        DF_REF_STRICT_LOWER_PART to DF_REF_STRICT_LOW_PART.
        * df-scan.c (df_ref_record, df_defs_record,
        df_ref_create_structure, df_def_record_1, df_uses_record,
        df_get_conditional_uses, df_get_call_refs, df_insn_refs_collect,
        df_bb_refs_collect, df_entry_block_defs_collect,
        df_exit_block_uses_collect): Support new width and offset fields.
        (ref_extract_pool): New storage pool.
        (df_free_ref): New function.
        (df_reg_chain_unlink, df_free_collection_rec,
        df_sort_and_compress_refs): Call df_free_ref.
        (df_ref_equal_p, df_ref_compare): Compare offset and width fields
        of df_ref_extract.
        (df_ref_create_structure): Allocate df_ref_extract if offset and
        width fields are used.
        (df_def_record_1): Get offset and width from ZERO_EXTRACT.
        (df_uses_record): Get offset and width from ZERO_EXTRACT 
        and SIGN_EXTRACT.
        * global.c (build_insn_chain): Change DF_REF_EXTRACT to either
        DF_REF_ZERO_EXTRACT or DF_REF_SIGN_EXTRACT.  Change
        DF_REF_STRICT_LOWER_PART to DF_REF_STRICT_LOW_PART.
        * df.h (df_ref_flags): Change DF_REF_EXTRACT to either
        DF_REF_ZERO_EXTRACT or DF_REF_SIGN_EXTRACT.  Change
        DF_REF_STRICT_LOWER_PART to DF_REF_STRICT_LOW_PART.
        (df_ref_extract): New structure.
        (DF_REF_WIDTH, DF_REF_OFFSET): New macros.
        (df_ref_create): Add width and offset parameters.
        
2008-03-05  Richard Guenther  <rguenther@suse.de>

        * tree-ssa-structalias.c (get_constraint_for_component_ref):
        Use ranges_overlap_p.
        (offset_overlaps_with_access): Rename
        to ranges_overlap_p and move ...
        * tree-flow-inline.h (ranges_overlap_p): ... here.

        * tree.h (get_inner_reference, handled_component_p): Update
        comments.

        * tree.h (record_component_aliases, get_alias_set,
        alias_sets_conflict_p, alias_sets_must_conflict_p,
        objects_must_conflict_p): Move declarations ...
        * alias.h (record_component_aliases, get_alias_set,
        alias_sets_conflict_p, alias_sets_must_conflict_p,
        objects_must_conflict_p): ... here.
        Include coretypes.h.
        * Makefile.in (ALIAS_H): Add coretypes.h dependency.

2008-03-05  Aldy Hernandez  <aldyh@redhat.com>

        * cfg.c: Include tree-flow.h.
        (remove_edge_raw): Call redirect_edge_var_map_clear.
        (redirect_edge_succ_nodup): Call redirect_edge_var_map_dup.
        * tree-flow-inline.h (redirect_edge_var_map_def): New.
        (redirect_edge_var_map_result): New.
        * tree-cfgcleanup.c (remove_forwarder_block_with_phi): Replace
        PENDING_STMT use with redirect_edge_var_map_*.
        * tree-ssa.c (edge_var_maps): New definition.
        (redirect_edge_var_map_add): New.
        (redirect_edge_var_map_clear): New.
        (redirect_edge_var_map_dup): New.
        (redirect_edge_var_map_vector): New.
        (redirect_edge_var_map_destroy): New.
        (ssa_redirect_edge): Replace PENDING_STMT use with
        redirect_edge_var_map_*.
        (flush_pending_stmts): Same.
        (delete_tree_ssa): Destroy edge var map.
        * tree-flow.h (struct _edge_var_map): New.
        Define edge_var_map vector type.
        Declare redirect_edge_var_map_* prototypes.
        * Makefile.in (cfg.o): Depend on TREE_FLOW_H.
        * tree-cfg.c (reinstall_phi_args): Replace
        PENDING_STMT use with redirect_edge_var_map_*.

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

        PR tree-optimization/35472
        * tree-ssa-dse.c (dse_optimize_stmt): Do not delete a store
        whose single use_stmt has a overlapping set of loaded and
        stored symbols as that use_stmt might be a noop assignment then.

2008-03-05  Joel Sherrill <joel.sherrill@oarcorp.com>

        * gthr-rtems.h: Implement __gthread_mutex_destroy.

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

        PR c++/35336
        * tree.def (BIT_FIELD_REF): Document that operands 1 and 2
        should be constants.
        * tree-cfg.c (verify_expr): Verify it.
        * fold-const.c (fold_truthop): Remove code generating
        BIT_FIELD_REFs of structure bases.
        (fold_binary): Likewise.
        (fold_ternary): Position and size of BIT_FIELD_REFs are
        always host integers.
        (make_bit_field_ref): Remove.
        (optimize_bit_field_compare): Remove.
        (all_ones_mask_p): Remove.

2008-03-05  Gabor Loki  <loki@gcc.gnu.org>

        PR gcc/33009
        * rtl-factoring.c (clear_regs_live_in_seq): Fix backward steps.
        (split_block_and_df_analyze): New. Split basic block and rebuild
        dataflow.
        (block_label_after): Use SPLIT_BLOCK_AND_DF_ANALYZE instead of
        SPLIT_BLOCK.
        (split_pattern_seq): Likewise.
        (erase_matching_seqs): Likewise.
        (split_pattern_seq): Skip return insn in case of REG_NORETURN note.

2008-03-04  Geoff Keating  <geoffk@apple.com>

        * fold-const.c (tree_single_nonnegative_warnv_p): Fix mixed
        declaration and code.
        (tree_invalid_nonnegative_warnv_p): Likewise.

2008-03-05  Serge Belyshev  <belyshev@depni.sinp.msu.ru>

        * doc/install.texi (Testing): Correct quoting for the RUNTESTFLAGS
        examples.  Truncate option-names then causing overfull hbox.

2008-03-04  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>

        PR target/35222
        * configure.ac (CONFIG_SJLJ_EXCEPTIONS): Force SJLJ exceptions
        on hpux10.
        * configure: Rebuilt.

2008-03-04  Rafael Espindola  <espindola@google.com>

        * fold-const.c (tree_simple_nonnegative_warnv_p): New.
        (tree_unary_nonnegative_warnv_p): New.
        (tree_binary_nonnegative_warnv_p): New.
        (tree_single_nonnegative_warnv_p): New.
        (tree_invalid_nonnegative_warnv_p): New.
        (tree_expr_nonnegative_warnv_p): Redefine in term of the new functions.

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

        PR 28322
        * opts.c (handle_option): Postpone 'unknown option' errors only for
        warning options.

2008-03-04  H.J. Lu  <hongjiu.lu@intel.com>

        PR target/35453
        * config/i386/smmintrin.h (SIDD_XXX): Renamed to ...
        (_SIDD_XXX): This.

2008-03-04  Rafael Espindola  <espindola@google.com>

        * fold-const.c (tree_unary_nonzero_warnv_p): New.
        (tree_binary_nonzero_warnv_p): New.
        (tree_single_nonzero_warnv_p): New.
        (tree_expr_nonzero_warnv_p): Redefine using the new functions.

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

        PR middle-end/35456
        * fold-const.c (fold_cond_expr_with_comparison): Prevent
        transformations for modes that have signed zeros.
        * ifcvt.c (noce_try_abs): Ditto.

2008-03-04  Joseph Myers  <joseph@codesourcery.com>

        * config/i386/i386.c (override_options): Force
        -maccumulate-outgoing-args on if TARGET_STACK_PROBE.

2008-03-04  Jan Hubicka  <jh@suse.cz>

        PR c++/35262
        * ipa-inline.c (cgraph_decide_inlining_of_small_function): Fix typo
        in last commit.

2008-03-04  Danny Smith  <dannysmith@users.sourceforge.net>

        * config/i386/i386.md (allocate_stack_worker_32): Use  __chkstk
        label to probe the stack.

2008-03-04  Danny Smith  <dannysmith@users.sourceforge.net>

        * gthr-win32.h [__GTHREAD_HIDE_WIN32API]
        (__gthr_win32_mutex_destroy): Declare.
        [__GTHREAD_HIDE_WIN32API] (__gthread_mutex_destroy): Use
        __gthr_win32_mutex_destroy.
        * config/i386/gthr-win32.c  (__gthr_win32_mutex_destroy): Define.

2008-03-03  Jan Hubicka  <jh@suse.cz>

        PR c++/35262
        * ipa-inline.c (cgraph_decide_inlining_of_small_function): Be more
        aggressive on inlining cold calls.

2008-03-03  Richard Guenther  <rguenther@suse.de>

        * tree-ssa-sccvn.c (visit_reference_op_store): Do not insert
        struct copies into the expression table.
        (simplify_unary_expression): Handle VIEW_CONVERT_EXPR.
        (try_to_simplify): Likewise.
        * fold-const.c (fold_unary): Fold VIEW_CONVERT_EXPR of
        integral and pointer arguments which do not change the
        precision to NOP_EXPRs.
        * tree-ssa-loop-ivopts.c (may_be_nonaddressable_p): Adjust
        VIEW_CONVERT_EXPR case.

2008-03-02  Sebastian Pop  <sebastian.pop@amd.com>

        * tree-scalar-evolution.c (instantiate_parameters_1): An SSA_NAME
        defined in a loop at depth 0 is invariant.
        * tree-chrec.c (evolution_function_is_invariant_rec_p): Ditto.
        * tree-ssa-loop-ivopts.c (expr_invariant_in_loop_p): Should never
        be called at loop depth 0.

2008-03-02  Jakub Jelinek  <jakub@redhat.com>

        PR driver/35420
        * gcc.c (process_command): Update copyright notice dates.
        * gcov.c (print_version): Likewise.
        * gcov-dump.c (print_version): Likewise.
        * mips-tfile.c (main): Likewise.
        * mips-tdump.c (main): Likewise.

2008-03-02  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>

        PR 24924
        * c-common.c (flag_permissive): Delete.
        (constant_expression_warnings): Check flags first.
        (constant_expression_error): New.
        * c-common.h (flag_permissive): Delete.
        (constant_expression_error): Declare.
        * flags.h (flag_permissive): Declare. Update description.
        * diagnostic.c (pedwarn): Update.
        (permerror): New.
        * diagnostic.h: (pedantic_error_kind): Rename as pedantic_warning_kind.
        (permissive_error_kind): New.
        * toplev.c (flag_permissive): Define. Update description.
        * toplev.h (permissive_error_kind): Declare.
        * c-errors.c (pedwarn_c99): Use pedantic_warning_kind.
        (pedwarn_c90): Use pedantic_warning_kind.
        * c-opts.c (c_common_post_options): flag_permissive does not affect
        flag_pedantic_errors.

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

        * libgcc2.c (__addvSI3, __addvsi3, __addvDI3, __subvSI3,
        __subvsi3, __subvDI3, __negvSI2, __negvsi2, __negvDI2, __absvSI2,
        __absvsi2, __absvDI2): Use unsigned arithmetic.

2008-03-02  Andi Kleen  <ak@suse.de>
            Richard Guenther  <rguenther@suse.de>

        * struct-equiv.c: Remove file.
        * cfg_cleanup.c (condjump_equiv_p): Remove.
        * Makefile.in (OBJS-common): Remove struct-equiv.o.
        (struct-equiv.o): Remove rule.
        * basic-block.h (struct_equiv_checkpoint, STRUCT_EQUIV_*,
        insns_match_p, struct_equiv_block_eq, struct_equiv_init, 
        rtx_equiv_p, condjump_equiv_p): Remove prototypes.

2008-03-01  Alexandre Oliva  <aoliva@redhat.com>

        * ifcvt.c (noce_process_if_block): Try to handle only the then
        block if the else block exists but isn't suitable.

2008-03-01  Janne Blomqvist  <jb@gcc.gnu.org>

        PR gcc/35063
        * gthr-posix.h (__gthread_mutex_destroy): Remove extra declarations.
        * gthr-posix95.h (__gthread_mutex_destroy): Likewise. Note this fixes
        regression from previous patch.

2008-03-01  Janne Blomqvist  <jb@gcc.gnu.org>

        PR gcc/35063
        * gthr.h: Add __gthread_mutex_destroy as a function that must be
        implemented.
        * gthr-vxworks.h (__gthread_mutex_destroy): Null implementation.
        * gthr-single.h (__gthread_mutex_destroy): Likewise.
        * gthr-rtems.h (__gthread_mutex_destroy): Likewise.
        * gthr-mipssde.h (__gthread_mutex_destroy): Likewise.
        * gthr-nks.h (__gthread_mutex_destroy): Likewise.
        * gthr-solaris.h (__gthread_mutex_destroy): Call mutex_destroy.
        * gthr-win32.h (__GTHREAD_MUTEX_DESTROY_FUNCTION): Remove.
        (__gthread_mutex_destroy_function): Rename to
        __gthread_mutex_destroy.
        * gthr-dce.h (__gthread_mutex_destroy): Call
        pthread_mutex_destroy.
        * gthr-tpf.h (__gthread_mutex_destroy): Likewise.
        * gthr-posix.h (__gthread_mutex_destroy): Likewise.
        * gthr-posix95.h (__gthread_mutex_destroy): Likewise.

2008-03-01  Alexandre Oliva  <aoliva@redhat.com>

        * df-scan.c (df_ref_chain_change_bb): Simplify.
        (df_insn_change_bb): Add new_bb argument.  Simplify.  Call
        set_block_for_insn if there's any change.
        * df.h ((df_insn_change_bb): Fix prototype.
        * cfgrtl.c (update_bb_for_insn_chain): Pass bb to
        df_insn_change_bb, don't call set_block_for_insn.
        * emit-rtl.c (reorder_insns): Likewise.
        * haifa-sched.c (move_insn): Likewise.

2008-03-01  Alexandre Oliva  <aoliva@redhat.com>

        * rtlanal.c (loc_mentioned_in_p): Test XVECEXPs correctly.

2008-03-01  Alexandre Oliva  <aoliva@redhat.com>

        * tree-flow-inline.h (next_readonly_imm_use): Return
        NULL_USE_OPERAND_P after the end.

2008-03-01  Richard Guenther  <rguenther@suse.de>

        PR tree-optimization/35411
        * tree-sra.c (sra_build_assignment): Split conversion to
        final type to a separate statement if we are not assigning
        to a register.

2008-02-29  Francois-Xavier Coudert  <coudert@clipper.ens.fr>

        * fold-const.c (fold_convertible_p): Correct the logic to follow
        that in fold_convert().

2008-02-29  Douglas Gregor  <doug.gregor@gmail.com>

        PR c++/35315
        * tree-inline.c (build_duplicate_type): When we make a
        duplicate type, make it unique in the canonical types system.

2008-02-29  Tom Tromey  <tromey@redhat.com>

        * toplev.c (input_file_stack, input_file_stack_tick, fs_p,
        input_file_stack_history, input_file_stack_restored): Remove.
        (push_srcloc, pop_srcloc, restore_input_file_stack): Likewise.
        * input.h (struct file_stack): Remove.
        (push_srcloc, pop_srcloc, restore_input_file_stack): Likewise.
        (input_file_stack, input_file_stack_tick, INPUT_FILE_STACK_BITS):
        Likewise.
        * diagnostic.h (struct diagnostic_context) <last_module>: Change
        type.
        (diagnostic_last_module_changed): Add 'map' argument.
        (diagnostic_set_last_function): Likewise.
        * diagnostic.c (undiagnostic_report_current_module): Iterate using
        line map, not input_file_stack.
        * c-lex.c (fe_file_change): Don't use push_srcloc or pop_srcloc.

2008-02-29  Paul Brook  <paul@codesourcery.com>

        * config/arm/arm.md (arm_addsi3): Add r/k/n alternative.

2008-02-29  Paul Brook  <paul@codesourcery.com>

        * config/arm/ieee754-df.S (muldf3): Use RET macros.

2008-02-29  Richard Guenther  <rguenther@suse.de>

        * tree-ssa-pre.c (get_sccvn_value): Create missing VNs via
        vn_lookup_or_add.
        * tree-ssa-sccnv.c (visit_reference_op_store): Use the rhs
        value for comparing for a store match.
        (simplify_unary_expression): Do nothing for SSA_NAMEs.
        (try_to_simplify): Do not do a full-blown reference lookup.

2008-02-29  Kaz Kojima  <kkojima@gcc.gnu.org>

        * config/sh/sh.c (sh_scalar_mode_supported_p): New function.
        (TARGET_SCALAR_MODE_SUPPORTED_P): Define.

        * config/sh/sh.h (OVERRIDE_OPTIONS): Don't warn for profiling.

2008-02-29  Sebastian Pop  <sebastian.pop@amd.com>

        * tree-loop-linear.c (try_interchange_loops): Compare memory access
        strides against cache sizes.

2008-02-29  Kaz Kojima  <kkojima@gcc.gnu.org>

        * config/sh/sh.c (sh_secondary_reload): Handle loading a float
        constant to fpul.

2008-02-28  Richard Sandiford  <rsandifo@nildram.co.uk>

        * simplify-rtx.c (simplify_unary_operation_1): Extend the handling
        of SUBREG_PROMOTED_VAR_P to cope with cases where the extended value
        is smaller than the original promoted value.
        (simplify_subreg): If OP is a SUBREG, try to preserve its
        SUBREG_PROMOTED_VAR_P information.

2008-02-28  Steven Bosscher  <stevenb.gcc@gmail.com>

        * tree-ssa-sccvn (vn_ssa_aux_obstack): New obstack.
        (VN_INFO_GET): Allocate new objects on the obstack.
        (init_scc_vn): Initialize the obstack.  Use XDELETE instead of free
        for rpo_numbers_temp, for consistency.
        (free_scc_vn): Free the obstack.

2008-02-28  Sebastian Pop  <sebastian.pop@amd.com>

        * doc/invoke.texi: Document -ftree-loop-distribution.
        * tree-loop-distribution.c: New.
        * tree-pass.h (pass_loop_distribution): New.
        * graphds.h (struct graph): Add htab_t indices.
        * timevar.def (TV_TREE_LOOP_DISTRIBUTION): New.
        * tree-vectorizer.c (rename_variables_in_loop): Extern.
        (slpeel_tree_duplicate_loop_to_edge_cfg): Init PENDING_STMT to NULL.
        * tree-vectorizer.h (tree_duplicate_loop_on_edge): Declared.
        * tree-data-ref.c (debug_data_dependence_relations): New.
        (dump_data_dependence_relation): Also print data references.
        (free_data_ref): Extern.
        (same_access_functions): Moved...
        (find_vertex_for_stmt): Renamed rdg_vertex_for_stmt.
        (dump_rdg_vertex, debug_rdg_vertex, dump_rdg_component,
        debug_rdg_component, dump_rdg, debug_rdg, dot_rdg_1, dot_rdg,
        struct rdg_vertex_info, rdg_vertex_for_stmt): New.
        (create_rdg_edge_for_ddr, create_rdg_vertices): Cleaned up.
        (stmts_from_loop): Skip LABEL_EXPR.
        (hash_stmt_vertex_info, eq_stmt_vertex_info, hash_stmt_vertex_del):
        New.
        (build_rdg): Initialize rdg->indices htab.
        (free_rdg, stores_from_loop, ref_base_address,
        rdg_defs_used_in_other_loops_p, have_similar_memory_accesses,
        have_similar_memory_accesses_1, ref_base_address_1,
        remove_similar_memory_refs): New.
        * tree-data-ref.h: Depend on tree-chrec.h.
        (debug_data_dependence_relations, free_data_ref): Declared.
        (same_access_functions): ... here.
        (ddr_is_anti_dependent, ddrs_have_anti_deps, ddr_dependence_level):
        New.
        (struct rdg_vertex): Add has_mem_write and has_mem_reads.
        (RDGV_HAS_MEM_WRITE, RDGV_HAS_MEM_READS, RDG_STMT,
        RDG_MEM_WRITE_STMT, RDG_MEM_READS_STMT): New.
        (dump_rdg_vertex, debug_rdg_vertex, dump_rdg_component,
        debug_rdg_component, dump_rdg, debug_rdg, dot_rdg,
        rdg_vertex_for_stmt): Declared.
        (struct rdg_edge): Add level.
        (RDGE_LEVEL): New.
        (free_rdg, stores_from_loop, remove_similar_memory_refs,
        rdg_defs_used_in_other_loops_p, have_similar_memory_accesses):
        Declared.
        (rdg_has_similar_memory_accesses): New.
        * tree-vect-analyze.c: Remove unused static decls.
        * lambda.h (dependence_level): New.
        * common.opt (ftree-loop-distribution): New.
        * tree-flow.h (mark_virtual_ops_in_bb, 
        slpeel_tree_duplicate_loop_to_edge_cfg,
        rename_variables_in_loop): Declared.
        * Makefile.in (TREE_DATA_REF_H): Depend on tree-chrec.h.
        (OBJS-common): Add tree-loop-distribution.o.
        (tree-loop-distribution.o): New rule.
        * tree-cfg.c (mark_virtual_ops_in_bb): New.
        (mark_virtual_ops_in_region): Use mark_virtual_ops_in_bb.
        * passes.c (init_optimization_passes): Schedule pass_loop_distribution.

2008-02-28  Joseph Myers  <joseph@codesourcery.com>

        PR target/33963
        * tree.c (handle_dll_attribute): Disallow TYPE_DECLs for types
        other than structures and unions.

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

        Revert:
        2008-02-26  Richard Guenther  <rguenther@suse.de>

        * tree-flow.h (uid_decl_map_hash, uid_decl_map_eq): Move ...
        * tree.h (uid_decl_map_hash, uid_decl_map_eq): ... here.
        (lookup_decl_from_uid): Declare.
        (remove_decl_from_map): Likewise.
        * tree-ssa.c (uid_decl_map_eq, uid_decl_map_hash): Move ...
        * tree.c (uid_decl_map_eq, uid_decl_map_hash): ... here.
        (decl_for_uid_map): New global hashtable mapping DECL_UID
        to the decl tree.
        (init_ttree): Allocate it.
        (insert_decl_to_uid_decl_map): New helper function.
        (make_node_stat): Insert new decls into the map.
        (copy_node_stat): Likewise.
        (lookup_decl_from_uid): New function.
        (remove_decl_from_map): Likewise.
        (print_decl_for_uid_map_statistics): New helper.
        (dump_tree_statistics): Call it.

        * tree-flow.h (struct gimple_df): Make referenced_vars a bitmap.
        (referenced_var_iterator): Adjust.
        (FOR_EACH_REFERENCED_VAR): Adjust.
        (FOR_EACH_REFERENCED_VAR_IN_BITMAP): New iterator.
        (num_referenced_vars): Adjust.
        * tree-flow-inline.h (gimple_referenced_vars): Adjust.
        (first_referenced_var): Remove.
        (end_referenced_vars_p): Likewise.
        (next_referenced_var): Likewise.
        (referenced_var_iterator_set): New helper function.
        * tree-dfa.c (referenced_var_lookup): Adjust.
        (referenced_var_check_and_insert): Likewise.
        (remove_referenced_var): Likewise.
        * tree-ssa.c (verify_flow_insensitive_alias_info): Use
        FOR_EACH_REFERENCED_VAR_IN_BITMAP.
        (verify_call_clobbering): Likewise.
        (verify_memory_partitions): Likewise.
        (init_tree_ssa): Allocate bitmap instead of hashtable for
        referenced_vars.
        (delete_tree_ssa): Adjust.
        * tree-ssa-alias.c (mark_aliases_call_clobbered): Use
        FOR_EACH_REFERENCED_VAR_IN_BITMAP.
        (compute_tag_properties): Likewise.
        (set_initial_properties): Likewise.
        (find_partition_for): Likewise.
        (update_reference_counts): Likewise.
        (dump_may_aliases_for): Likewise.
        * tree-ssa-operands.c (add_virtual_operand): Likewise.
        (add_call_clobber_ops): Likewise.
        (add_call_read_ops): Likewise.
        (get_asm_expr_operands): Likewise.
        * tree-into-ssa.c (dump_decl_set): Likewise.
        (update_ssa): Likewise.
        * tree-sra.c (scan_function): Likewise.
        (decide_instantiations): Likewise.
        (scalarize_parms): Likewise.
        * tree-ssa-alias-warnings.c (build_reference_table): Likewise.
        (dsa_named_for): Likewise.
        * tree-ssa-structalias.c (update_alias_info): Likewise.
        (merge_smts_into): Likewise.

2008-02-27  David Daney  <ddaney@avtrex.com>

        PR target/34409
        * config/mips/iris.h (MIPS_DEBUGGING_INFO): Define.
        * config/mips/openbsd.h (MIPS_DEBUGGING_INFO): Same.
        * config/mips/sde.h (MIPS_DEBUGGING_INFO): Remove undef.
        * config/mips/vxworks.h (MIPS_DEBUGGING_INFO): Same.
        * config/mips/mips.h (MIPS_DEBUGGING_INFO): Remove define.

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

        PR target/25477
        * config/darwin-ppc-ldouble-patch.def (BUILT_IN_NANL): Add.
        (BUILT_IN_NEXTTOWARD): Remove.
        (BUILT_IN_NEXTTOWARDF): Ditto.
        * config/darwin.c (darwin_patch_builtin): Use ACONCAT instead of
        alloca/strcpy/strcat.  Remove commented-out code.  Fix whitespace.

2008-02-27  Tom Tromey  <tromey@redhat.com>

        * tree-dump.c (dequeue_and_dump) <FUNCTION_DECL>: Check
        DECL_SAVED_TREE, not DECL_LANG_SPECIFIC, when dumping body.

2008-02-27  Jan Beulich  <jbeulich@novell.com>

        * c-decl.c (merge_decls): Use DECL_USER_ALIGN() on olddecl to
        update the respective field on newdecl.

2008-02-27  Revital Eres  <eres@il.ibm.com>

        PR rtl-optimization/34999
        * bb-reorder.c (add_labels_and_missing_jumps): Do not handle
        crossing edges that ends with a call insn.
        (fix_up_fall_thru_edges): Handle crossing edges that ends with a
        call insn and clear the EDGE_CROSSING flag of the crossing edge
        when fixing fallthru edges.

2008-02-27  Richard Guenther  <rguenther@suse.de>

        PR middle-end/35390
        * fold-const.c (fold_unary): Return the correct argument,
        converted to the result type.

2008-02-27  Richard Guenther  <rguenther@suse.de>

        PR middle-end/34971
        * expr.c (expand_expr_real_1): Assert on rotates that operate
        on partial modes.
        * fold-const.c (fold_binary): Use the types precision, not the
        bitsize of the mode if folding rotate expressions.  Build rotates
        only for full modes.

2008-02-27  Jakub Jelinek  <jakub@redhat.com>

        * c-ppoutput.c (scan_translation_unit): Handle CPP_PRAGMA
        and CPP_PRAGMA_EOL.
        * c-pragma.c (pragma_ns_name): New typedef.
        (registered_pp_pragmas): New variable.
        (c_pp_lookup_pragma): New function.
        (c_register_pragma_1): If flag_preprocess_only, do nothing
        for non-expanded pragmas, for expanded ones push pragma's
        namespace and name into registered_pp_pragmas vector.
        (c_invoke_pragma_handler): Register OpenMP pragmas even when
        flag_preprocess_only, don't register GCC pch_preprocess
        pragma if flag_preprocess_only.
        * c-opts.c (c_common_init): Call init_pragma even if
        flag_preprocess_only.
        * c-pragma.c (c_pp_lookup_pragma): New prototype.
        * config/darwin.h (DARWIN_REGISTER_TARGET_PRAGMAS): Don't call
        cpp_register_pragma if flag_preprocess_only.

2008-02-26  Ralf Wildenhues  <Ralf.Wildenhues@gmx.de>

        PR c/28800
        * c-parser.c (c_parser_translation_unit): Warn for empty
        translation unit, not empty source file.

2008-02-26  Paul Brook  <paul@codesourcery.com>

        * config/arm/arm.c (thumb_set_frame_pointer): Ensure SP is first
        operand for Thumb-2.
        * config/arm/arm.h (reg_class): Add CORE_REGS.
        (REG_CLASS_NAMES, REG_CLASS_CONTENTS): Ditto.
        (BASE_REG_CLASS): Use CORE_REGS.
        (PREFERRED_RELOAD_CLASS): Add STACK_REG.
        (REGNO_MODE_OK_FOR_REG_BASE_P): Use REGNO_MODE_OK_FOR_BASE_P.
        (REGNO_OK_FOR_INDEX_P): Exclude SP.
        (ARM_REG_OK_FOR_INDEX_P): Always define.  Use
        ARM_REGNO_OK_FOR_INDEX_P.
        (ARM_PRINT_OPERAND_ADDRESS): Swap operands for [reg, sp].
        * config/arm/arm.md (arm_addsi3, thumb1_addsi3, arm_subsi3_insn,
        arm_movsi_insn, thumb1_movsi_insni, stack_tie): Add "k" alternatives.
        (ldm/stm peepholes): Ditto.
        * config/arm/thumb2.md (thumb2_movdi): Add "k" alternatives.
        * config/arm/vfp.md (arm_movsi_vfp, thumb2_movsi_vfp): Ditto.
        * config/arm/iwmmxt.md (iwmmxt_movsi_insn): Ditto.
        * config/arm/constraints.md: Enable "k" constraint on ARM.

2008-02-27  Ben Elliston  <bje@au.ibm.com>

        * config/rs6000/rs6000.c: Annotate cache line size field in all
        instances of struct processor_costs.

2008-02-26  David Edelsohn  <edelsohn@gnu.org>

        * dbgcnt.def (cfg_cleanup, cprop1, cprop2, dce_fast, dce_ud, dse1,
        dse2, gcse, if_conversion, if_after_combine, if_after_reload,
        jump_bypass): New counters.
        * cfgcleanup.c (cleanup_cfg): Add dbg_cnt.
        * dce.c (gate_ud_dce): Same.
        (gate_fast_dce): Same.
        * dse.c (gate_dse1): New function.
        (gate_dse2): New function.
        (gate_dse): Merge results of new gate functions.
        * gcse.c (gcse_main): Bracket cprop1 and cprop2 with dbg_cnt.
        (gate_handle_jump_bypass): Add dbg_cnt.
        (gate_handle_gcse): Add dbg_cnt.
        * ifcvt.c (gate_handle_if_conversion): Same.
        (gate_handle_if_after_combine): Same.
        (gate_handle_if_after_reload): Same.
        * Makefile.in: Add DBGCNT_H to cfgcleanup.o and ifcvt.o.

2008-02-26  Edmar Wienskoski  <edmar@freescale.com>

        * config/rs6000/rs6000.c (processor_costs): Update e300 cache
        line sizes.
        * doc/invoke.texi: Add e300c2 and e300c3 to list of cpus.

2008-02-26  Jason Merrill  <jason@redhat.com>

        PR c++/35315
        * attribs.c (decl_attributes): Leave ATTR_FLAG_TYPE_IN_PLACE 
        alone if it's the naming decl for the type's main variant.

2008-02-26  Tom Tromey  <tromey@redhat.com>

        * system.h (USE_MAPPED_LOCATION): Poison.
        * Makefile.in (GTFILES): Put CPP_ID_DATA_H first.
        * tree-cfg.c (make_cond_expr_edges): Remove old location code.
        (make_goto_expr_edges): Likewise.
        (remove_bb): Likewise.
        (execute_warn_function_return): Likewise.
        * basic-block.h (struct edge_def) <goto_locus>: Change type to
        location_t.
        * c-common.c (fname_decl): Remove old location code.
        * tree-vect-transform.c (vect_finish_stmt_generation): Remove old
        location code.
        * rtl.h (ASM_OPERANDS_SOURCE_LOCATION): Remove old-location
        variant.
        (ASM_INPUT_SOURCE_LOCATION): Likewise.
        (gen_rtx_ASM_INPUT): Likewise.
        (gen_rtx_ASM_INPUT_loc): Likewise.
        (get_rtx_asm_OPERANDS): Remove.
        * cfglayout.c (insn_locators_alloc): Remove old location code.
        (set_curr_insn_source_location): Likewise.
        (curr_insn_locator): Likewise.
        * print-tree.c (print_node): Remove old location code.
        * tree-mudflap.c (mf_varname_tree): Remove old location code.
        (mf_file_function_line_tree): Remove test of USE_MAPPED_LOCATION.
        * cfgexpand.c (expand_gimple_cond_expr): Don't use
        location_from_locus.
        (construct_exit_block): Remove old location code.
        * emit-rtl.c (force_next_line_note): Remove old location code.
        * profile.c (branch_prob): Remove old location code.
        * tree-vectorizer.h (LOC, UNKNOWN_LOC, EXPR_LOC, LOC_FILE,
        LOC_LINE): Remove old-location variants.
        * langhooks.c (lhd_print_error_function): Remove old location
        code.
        * configure, config.in: Rebuilt.
        * configure.ac (--enable-mapped-location): Remove.
        * c-decl.c (c_init_decl_processing): Remove old location code.
        (finish_function): Likewise.
        * recog.c (decode_asm_operands): Remove old location code.
        * c-pch.c (c_common_read_pch): Remove old location code.
        * rtl.def (ASM_INPUT, ASM_OPERANDS): Remove old location
        variants.
        * gimple-low.c (lower_function_body): Remove old location code.
        * toplev.c (unknown_location): Remove.
        (push_srcloc): Remove old-location variant.
        (process_options): Remove old location code.
        (lang_dependent_init): Likewise.
        * input.h (UNKNOWN_LOCATION): Move definition.
        (location_t): Undeprecate.
        (source_locus): Remove.
        (location_from_locus): Remove.
        (struct location_s): Remove.
        Remove all old-location code.
        (input_line, input_filename): Remove.
        * final.c (final_scan_insn): Remove old location code.
        * diagnostic.c (diagnostic_build_prefix): Remove
        USE_MAPPED_LOCATION test.
        * tree.h (gimple_stmt) <locus>: Now a location_t.
        (tree_exp) <locus>: Likewise.
        (DECL_IS_BUILTIN): Remove old-location variant.
        (annotate_with_file_line, annotate_with_locus): Likewise.
        (expr_locus, set_expr_locus): Update.
        * tree.c (build1_stat): Remove old location code.
        (last_annotated_node): Remove.
        (annotate_with_file_line): Remove old-location variant.
        (annotate_with_locus): Likewise.
        (expr_location): Remove old location code.
        (set_expr_location): Likewise.
        (expr_has_location): Likewise.
        (expr_locus): Likewise.
        (set_expr_locus): Likewise.
        (expr_filename): Don't use location_from_locus.
        (expr_lineno): Likewise.
        * rtl-error.c (location_for_asm): Remove old location code.
        * c-lex.c (cb_line_change): Remove old location code.
        (fe_file_change): Likewise.
        (cb_def_pragma): Likewise.
        (c_lex_with_flags): Likewise.
        * gengtype.c (do_typedef): Don't special-case location types.
        (define_location_structures): Remove.
        (main): Don't call define_location_structures.
        * tree-pretty-print.c (dump_implicit_edges): Remove old location
        code.

2008-02-26  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>

        PR 26264
        * builtins.def (BUILT_IN_STDARG_START): Remove.
        * builtins.c (expand_builtin): Remove BUILT_IN_STDARG_START.
        * tree-stdarg.c (execute_optimize_stdarg): Likewise.
        * tree-inline.c (inline_forbidden_p_1): Likewise.
        
2008-02-26  Richard Guenther  <rguenther@suse.de>

        * tree-flow.h (uid_decl_map_hash, uid_decl_map_eq): Move ...
        * tree.h (uid_decl_map_hash, uid_decl_map_eq): ... here.
        (lookup_decl_from_uid): Declare.
        (remove_decl_from_map): Likewise.
        * tree-ssa.c (uid_decl_map_eq, uid_decl_map_hash): Move ...
        * tree.c (uid_decl_map_eq, uid_decl_map_hash): ... here.
        (decl_for_uid_map): New global hashtable mapping DECL_UID
        to the decl tree.
        (init_ttree): Allocate it.
        (insert_decl_to_uid_decl_map): New helper function.
        (make_node_stat): Insert new decls into the map.
        (copy_node_stat): Likewise.
        (lookup_decl_from_uid): New function.
        (remove_decl_from_map): Likewise.
        (print_decl_for_uid_map_statistics): New helper.
        (dump_tree_statistics): Call it.

        * tree-flow.h (struct gimple_df): Make referenced_vars a bitmap.
        (referenced_var_iterator): Adjust.
        (FOR_EACH_REFERENCED_VAR): Adjust.
        (FOR_EACH_REFERENCED_VAR_IN_BITMAP): New iterator.
        (num_referenced_vars): Adjust.
        * tree-flow-inline.h (gimple_referenced_vars): Adjust.
        (first_referenced_var): Remove.
        (end_referenced_vars_p): Likewise.
        (next_referenced_var): Likewise.
        (referenced_var_iterator_set): New helper function.
        * tree-dfa.c (referenced_var_lookup): Adjust.
        (referenced_var_check_and_insert): Likewise.
        (remove_referenced_var): Likewise.
        * tree-ssa.c (verify_flow_insensitive_alias_info): Use
        FOR_EACH_REFERENCED_VAR_IN_BITMAP.
        (verify_call_clobbering): Likewise.
        (verify_memory_partitions): Likewise.
        (init_tree_ssa): Allocate bitmap instead of hashtable for
        referenced_vars.
        (delete_tree_ssa): Adjust.
        * tree-ssa-alias.c (mark_aliases_call_clobbered): Use
        FOR_EACH_REFERENCED_VAR_IN_BITMAP.
        (compute_tag_properties): Likewise.
        (set_initial_properties): Likewise.
        (find_partition_for): Likewise.
        (update_reference_counts): Likewise.
        (dump_may_aliases_for): Likewise.
        * tree-ssa-operands.c (add_virtual_operand): Likewise.
        (add_call_clobber_ops): Likewise.
        (add_call_read_ops): Likewise.
        (get_asm_expr_operands): Likewise.
        * tree-into-ssa.c (dump_decl_set): Likewise.
        (update_ssa): Likewise.
        * tree-sra.c (scan_function): Likewise.
        (decide_instantiations): Likewise.
        (scalarize_parms): Likewise.
        * tree-ssa-alias-warnings.c (build_reference_table): Likewise.
        (dsa_named_for): Likewise.
        * tree-ssa-structalias.c (update_alias_info): Likewise.
        (merge_smts_into): Likewise.

2008-02-26  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>

        PR 34351
        * doc/invoke.texi (-Wall): Add -Wvolatile-register-var.
        * c-opts.c (c_common_handle_option): Wall enables
        Wvolatile-register-var.
        * common.opt: Move Wvolatile-register-var to...
        * c.opt: ...here.
        
2008-02-26  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>

        * common.opt (Wlarger-than=): New.
        * doc/invoke.texi (Warning Options): Replace -Wlarger-than- with
        -Wlarger-than=.
        * opts.c (common_handle_option): Handle -Wlarger-than=.
        * optc-gen.awk: Likewise.
        * opth-gen.awk: Likewise.
        * stor-layout.c (layout_decl): Use -Wlarger-than= for warning.
        * tree-optimize.c (tree_rest_of_compilation): Likewise.
        
2008-02-26  Manuel Lopez-Ibanez <manu@gcc.gnu.org>

        * c-common.c (match_case_to_enum_1): Add appropriate
        OPT_W* parameter to warning.
        (c_do_switch_warnings): Likewise.
        * c-typeck.c (warning_init): Add one more parameter following
        'warning' function.
        (push_init_level): Update call to warning_init.
        (pop_init_level): Likewise.
        (add_pending_init): Likewise.
        (output_init_element: Likewise.

2008-02-26  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>

        PR 28322
        * toplev.c (toplev_main): If there are warnings or error, print
        errors for ignored options.
        * opts.c (ignored_options): New static variable.
        (postpone_unknown_option_error): New.
        (print_ignored_options): New.
        (handle_option): Postpone errors for unknown -Wno-* options.
        * opts.h (print_ignored_options): Declare.
        
2008-02-25  Richard Sandiford  <rsandifo@nildram.co.uk>

        * config/mips/mips.md (loadgp_blockage, blockage): Change type
        to "ghost".

2008-02-25  Richard Guenther  <rguenther@suse.de>

        Revert:
        2008-02-25  Richard Guenther  <rguenther@suse.de>

        * tree-flow.h (uid_decl_map_hash, uid_decl_map_eq): Move ...
        * tree.h (uid_decl_map_hash, uid_decl_map_eq): ... here.
        (lookup_decl_from_uid): Declare.
        * tree-ssa.c (uid_decl_map_eq, uid_decl_map_hash): Move ...
        * tree.c (uid_decl_map_eq, uid_decl_map_hash): ... here.
        (decl_for_uid_map): New global hashtable mapping DECL_UID
        to the decl tree.
        (init_ttree): Allocate it.
        (insert_decl_to_uid_decl_map): New helper function.
        (make_node_stat): Insert new decls into the map.
        (copy_node_stat): Likewise.
        (lookup_decl_from_uid): New function.
        (print_decl_for_uid_map_statistics): New helper.
        (dump_tree_statistics): Call it.

        * tree-flow.h (struct gimple_df): Make referenced_vars a bitmap.
        (referenced_var_iterator): Adjust.
        (FOR_EACH_REFERENCED_VAR): Adjust.
        (FOR_EACH_REFERENCED_VAR_IN_BITMAP): New iterator.
        (num_referenced_vars): Adjust.
        * tree-flow-inline.h (gimple_referenced_vars): Adjust.
        (first_referenced_var): Remove.
        (end_referenced_vars_p): Likewise.
        (next_referenced_var): Likewise.
        (referenced_var_iterator_set): New helper function.
        * tree-dfa.c (referenced_var_lookup): Adjust.
        (referenced_var_check_and_insert): Likewise.
        (remove_referenced_var): Likewise.
        * tree-ssa.c (verify_flow_insensitive_alias_info): Use
        FOR_EACH_REFERENCED_VAR_IN_BITMAP.
        (verify_call_clobbering): Likewise.
        (verify_memory_partitions): Likewise.
        (init_tree_ssa): Allocate bitmap instead of hashtable for
        referenced_vars.
        (delete_tree_ssa): Adjust.
        * tree-ssa-alias.c (mark_aliases_call_clobbered): Use
        FOR_EACH_REFERENCED_VAR_IN_BITMAP.
        (compute_tag_properties): Likewise.
        (set_initial_properties): Likewise.
        (find_partition_for): Likewise.
        (update_reference_counts): Likewise.
        (dump_may_aliases_for): Likewise.
        * tree-ssa-operands.c (add_virtual_operand): Likewise.
        (add_call_clobber_ops): Likewise.
        (add_call_read_ops): Likewise.
        (get_asm_expr_operands): Likewise.
        * tree-into-ssa.c (dump_decl_set): Likewise.
        (update_ssa): Likewise.
        * tree-sra.c (scan_function): Likewise.
        (decide_instantiations): Likewise.
        (scalarize_parms): Likewise.
        * tree-ssa-alias-warnings.c (build_reference_table): Likewise.
        (dsa_named_for): Likewise.
        * tree-ssa-structalias.c (update_alias_info): Likewise.
        (merge_smts_into): Likewise.

2008-02-25  Janne Blomqvist  <jb@gcc.gnu.org>

        PR fortran/29549
        * doc/invoke.texi (-fcx-limited-range): Document new option.
        * toplev.c (process_options): Handle -fcx-fortran-rules.
        * common.opt: Add documentation for -fcx-fortran-rules.

2008-02-25  Janne Blomqvist  <jb@gcc.gnu.org>

        PR c/35162
        * doc/invoke.texi (-fcx-limited-range): Correct to be in line with
        actual behaviour and C99.
        
2008-02-26  Ben Elliston  <bje@au.ibm.com>

        * config/rs6000/rs6000.h (ASM_CPU_POWER5_SPEC): Define.
        (ASM_CPU_POWER6_SPEC): Likewise.
        (ASM_CPU_SPEC): Pass %(asm_cpu_power5) for -mcpu=power5.
        Likewise, pass %(asm_cpu_power6) for -mcpu=power6.
        (EXTRA_SPECS): Add asm_cpu_power5, asm_cpu_power6 spec strings.

2008-02-25  Richard Guenther  <rguenther@suse.de>

        * tree-flow.h (uid_decl_map_hash, uid_decl_map_eq): Move ...
        * tree.h (uid_decl_map_hash, uid_decl_map_eq): ... here.
        (lookup_decl_from_uid): Declare.
        * tree-ssa.c (uid_decl_map_eq, uid_decl_map_hash): Move ...
        * tree.c (uid_decl_map_eq, uid_decl_map_hash): ... here.
        (decl_for_uid_map): New global hashtable mapping DECL_UID
        to the decl tree.
        (init_ttree): Allocate it.
        (insert_decl_to_uid_decl_map): New helper function.
        (make_node_stat): Insert new decls into the map.
        (copy_node_stat): Likewise.
        (lookup_decl_from_uid): New function.
        (print_decl_for_uid_map_statistics): New helper.
        (dump_tree_statistics): Call it.

        * tree-flow.h (struct gimple_df): Make referenced_vars a bitmap.
        (referenced_var_iterator): Adjust.
        (FOR_EACH_REFERENCED_VAR): Adjust.
        (FOR_EACH_REFERENCED_VAR_IN_BITMAP): New iterator.
        (num_referenced_vars): Adjust.
        * tree-flow-inline.h (gimple_referenced_vars): Adjust.
        (first_referenced_var): Remove.
        (end_referenced_vars_p): Likewise.
        (next_referenced_var): Likewise.
        (referenced_var_iterator_set): New helper function.
        * tree-dfa.c (referenced_var_lookup): Adjust.
        (referenced_var_check_and_insert): Likewise.
        (remove_referenced_var): Likewise.
        * tree-ssa.c (verify_flow_insensitive_alias_info): Use
        FOR_EACH_REFERENCED_VAR_IN_BITMAP.
        (verify_call_clobbering): Likewise.
        (verify_memory_partitions): Likewise.
        (init_tree_ssa): Allocate bitmap instead of hashtable for
        referenced_vars.
        (delete_tree_ssa): Adjust.
        * tree-ssa-alias.c (mark_aliases_call_clobbered): Use
        FOR_EACH_REFERENCED_VAR_IN_BITMAP.
        (compute_tag_properties): Likewise.
        (set_initial_properties): Likewise.
        (find_partition_for): Likewise.
        (update_reference_counts): Likewise.
        (dump_may_aliases_for): Likewise.
        * tree-ssa-operands.c (add_virtual_operand): Likewise.
        (add_call_clobber_ops): Likewise.
        (add_call_read_ops): Likewise.
        (get_asm_expr_operands): Likewise.
        * tree-into-ssa.c (dump_decl_set): Likewise.
        (update_ssa): Likewise.
        * tree-sra.c (scan_function): Likewise.
        (decide_instantiations): Likewise.
        (scalarize_parms): Likewise.
        * tree-ssa-alias-warnings.c (build_reference_table): Likewise.
        (dsa_named_for): Likewise.
        * tree-ssa-structalias.c (update_alias_info): Likewise.
        (merge_smts_into): Likewise.

2008-02-25  Andreas Krebbel  <krebbel1@de.ibm.com>

        PR target/35258
        * cse.c (cse_insn): Avoid creation of overlapping MEMs.
        * alias.c (nonoverlapping_memrefs_p): Export for use in other modules.
        * alias.h (nonoverlapping_memrefs_p): Likewise.

2008-02-25  Jan Beulich  <jbeulich@novell.com>

        * Makefile.in: Also prefix uses of crt0.o and mcrt0.o with $(T).
        * config/i386/netware-libgcc.exp: Add __bswap?i2,
        __emultls_get_address, __emultls_register_common,
        __floatundi?f, and _Unwind_GetIPInfo.
        * config/i386/netware.c (gen_stdcall_or_fastcall_decoration):
        Sync with config/i386/winnt.c:gen_stdcall_or_fastcall_suffix().
        (gen_regparm_prefix): Likewise.
        (i386_nlm_encode_section_info): Sync with
        config/i386/winnt.c:i386_pe_encode_section_info().
        (i386_nlm_maybe_mangle_decl_assembler_name): New.
        i386_nlm_mangle_decl_assembler_name): New.
        (netware_override_options): New.
        * config/i386/netware.h (netware_override_options): Declare.
        (OVERRIDE_OPTIONS): Re-define to netware_override_options.
        (i386_nlm_mangle_decl_assembler_name): Declare.
        (TARGET_MANGLE_DECL_ASSEMBLER_NAME): Define.

2008-02-25  Ben Elliston  <bje@au.ibm.com>

        PR other/32948
        * c-decl.c (grokdeclarator): Remove unused local variables
        `typedef_type' and `type_as_written'.
        * bb-reorder.c
        (find_rarely_executed_basic_blocks_and_crossing_edges): Remove
        unused local variable `has_hot_blocks'.
        (fix_crossing_conditional_branches): Remove unused local variable
        `prev_bb'.
        
2008-02-25  Uros Bizjak  <ubizjak@gmail.com>

        PR middle-end/19984
        * builtins.def (BUILT_IN_NAN): Define as c99 builtin
        using DEF_C99_BUILTIN.
        (BUILT_IN_NANF): Ditto.
        (BUILT_IN_NANL): Ditto.

2008-02-25  Ayal Zaks  <zaks@il.ibm.com>
            Revital Eres  <eres@il.ibm.com>

        * modulo-sched.c (calculate_must_precede_follow): Address TODO
        regarding the order of two dependent insns in the same row.

2008-02-25  Eric Botcazou  <ebotcazou@adacore.com>

        * stor-layout.c (layout_decl): Do not bump the alignment of a
        bit-field to more than byte alignment if it is packed.

2008-02-24  David Edelsohn  <edelsohn@gnu.org>

        * config/rs6000/rs6000.c (processor_costs): Add cache costs for
        e300c2 and e300c3.

2008-02-24  Diego Novillo  <dnovillo@google.com>

        http://gcc.gnu.org/ml/gcc-patches/2008-02/msg01094.html

        PR 33738
        * tree-vrp.c (vrp_evaluate_conditional): With
        -Wtype-limits, emit a warning when comparing against a
        constant outside the natural range of OP0's type.
        * c.opt (Wtype-limits): Move ...
        * common.opt (Wtype-limits): ... here.

2008-02-24  Edmar Wienskoski  <edmar@freescale.com>

        * config.gcc (powerpc*-*-*): Add new cores e300c2 and e300c3.
        * config/rs6000/e300c2c3.md: New file.
        * config/rs6000/rs6000.c (processor_costs): Add new costs for
        e300c2 and e300c3.
        (rs6000_override_options): Add e300c2 and e300c3 cases to
        processor_target_table. Do not allow usage of Altivec or Spe
        with e300 cores. Initialize rs6000_cost for e300c2 and e300c3.
        (rs6000_issue_rate): Set issue rate for e300c2 and e300c3.
        * config/rs6000/rs6000.h (processor_type): Add
        PROCESSOR_PPCE300C2 and PROCESSOR_PPCE300C3.
        (ASM_CPU_SPEC): Add e300c2 and e300c3.
        * config/rs6000/rs6000.md (define_attr "cpu"): Add ppce300c2
        and ppce300c3. Include e300c2c3.md.

2008-02-23  David Edelsohn  <edelsohn@gnu.org>

        * config/rs6000/rs6000.h (CONSTANT_ALIGNMENT): Use STRICT_ALIGNMENT
        instead of TARGET_STRICT_ALIGN.

2008-02-23  Joseph Myers  <joseph@codesourcery.com>

        * explow.c (memory_address): Assert that the generated address is
        valid.

2008-02-23  Francois-Xavier Coudert  <coudert@clipper.ens.fr>

        PR target/25477
        * config/darwin-protos.h: Add darwin_patch_builtins prototype.
        * config/darwin-ppc-ldouble-patch.def: New file.
        * config/rs6000/darwin.h (SUBTARGET_INIT_BUILTINS): New macro.
        * config/rs6000/rs6000.c (rs6000_init_builtins): Call
        SUBTARGET_INIT_BUILTINS if defined.
        * config/darwin.c (darwin_patch_builtin, darwin_patch_builtins):
        New functions.

2008-02-23  Andrew Pinski  <andrew_pinski@playstation.sony.com>

        PR rtl-opt/33512
        * simplify-rtx.c (simplify_binary_operation_1): Add simplification
        of (and X (ior (not X) Y) and (and (ior (not X) Y) X).

2008-02-23  Andrew Pinski  <andrew_pinski@playstation.sony.com>

        PR pch/35027
        * c-pch.c (c_common_valid_pch): Make the "too short to be a PCH
        file" warning condtional on -Winvalid-PCH.

2008-02-23  Daniel Jacobowitz  <dan@codesourcery.com>

        * expmed.c (extract_bit_field): Always use adjust_address for MEM.

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

        PR target/22076
        PR target/34256 
        * config/i386/mmx.md (*mov<mode>_internal_rex64): Use "!y" to
        prevent reload from using MMX registers.
        (*mov<mode>_internal): Ditto.
        (*movv2sf_internal_rex64): Ditto.
        (*movv2sf_internal): Ditto.

2008-02-23  Ralf Wildenhues  <Ralf.Wildenhues@gmx.de>

        PR documentation/31569
        * doc/install.texi2html: Use makeinfo --no-number-sections.

2008-02-22  Nathan Froyd  <froydnj@codesourcery.com>

        * config/rs6000/rs6000.c (rs6000_legitimize_address): Check to
        ensure that we can address an entire entity > 8 bytes.  Don't
        generate reg+reg addressing for such data.

2008-02-22  Nathan Froyd  <froydnj@codesourcery.com>

        * config/rs6000/rs6000.h (CONSTANT_ALIGNMENT): Don't overalign
        strings when optimizing for size, unless the target cares about
        alignment.

2008-02-22  Tom Tromey  <tromey@redhat.com>

        * regclass.c (current_pass): Remove declaration.

2008-02-22  Anatoly Sokolov <aesok@post.ru>

        * config/avr/libgcc.S (__RAMPZ__): Define.
        (__do_copy_data): Add for devices with 128KB code memory.

2008-02-22  Nathan Froyd  <froydnj@codesourcery.com>

        * config/rs6000/linuxspe.h (SUBSUBTARGET_OVERRIDE_OPTIONS):
        Use spe_abi.
        * config/rs6000/eabispe.h (SUBSUBTARGET_OVERRIDE_OPTIONS): Likewise.

2008-02-22  Hans-Peter Nilsson  <hp@axis.com>

        * config/cris/cris.h (REG_CLASS_FROM_LETTER): Recognize 'b' for
        GENNONACR_REGS.

2008-02-22  Ralf Wildenhues  <Ralf.Wildenhues@gmx.de>

        PR c/19999
        * c-typeck.c (build_binary_op): Warn about floating point
        comparisons if FLOAT_TYPE_P, not only for REAL_TYPE.

2008-02-21  Janis Johnson  <janis187@us.ibm.com>

        PR target/34526
        * config/rs6000/rs6000.c (rs6000_altivec_abi): Clarify comment.
        (rs6000_explicit_options): Split abi into spe_abi and altivec_abi,
        add vrsave.
        (rs6000_override_options): Set altivec_abi as default, not override,
        for 64-bit GNU/Linux; for 32-bit GNU/Linux default to altivec_abi for
        TARGET_ALTIVEC; default to TARGET_ALTIVEC_VRSAVE when AltiVec ABI
        is used; use new member spe_abi.
        (rs6000_handle_option): Set rs6000_explicit_options.vrsave; use
        spe_abi and altivec_abi.

2008-02-22  Tomas Bily  <tbily@suse.cz>

        * tree-vectorizer.c (vect_is_simple_reduction): Fix comment typo.

2008-02-21  Ralf Wildenhues  <Ralf.Wildenhues@gmx.de>

        PR bootstrap/35273
        * config.build (build_file_translate): Set to `CMD //c' only if
        it works.
        * Makefile.in (build_file_translate): Improve comment.

2008-02-21  Jan Hubicka  <jh@suse.cz>

        * predict.def (PRED_TREE_OPCODE_POSITIVE, PRED_TREE_OPCODE_NONEQUAL,
        PRED_TREE_OPCODE_POSITIVE, PRED_TREE_OPCODE_NONEQUAL, PRED_CALL,
        PRED_TREE_EARLY_RETURN, PRED_NULL_RETURN): Update.

2008-02-21  Michael Matz  <matz@suse.de>

        PR target/35264
        * config/i386/i386.c (ix86_expand_branch): Add missing breaks.

2008-02-21  Uros Bizjak  <ubizjak@gmail.com>

        * config/i386/i386.md (mov<mode>cc): Macroize expander from movsfcc,
        movdfcc and movxfcc using X87MODEF mode iterator and SSE_FLOAT_MODE_P
        as insn constraint.
        * config/i386/sse.md (<sse>_movup<ssemodesuffixf2c>): Macroize insn
        from sse_movups adn sse2_movupd using SSEMODEF2P mode iterator and
        SSE_VEC_FLOAT_MODE_P as insn constraint.
     &nb