Index: gcc/ChangeLog

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

2007-07-12  Geoffrey Keating  <geoffk@apple.com>

        * ginclude/tgmath.h: New.
        * config.gcc: Use GCC's tgmath.h on non-glibc systems.
        * doc/sourcebuild.texi (Headers): Document use_gcc_tgmath.
        * configure.ac (STMP_FIXPROTO): Honor use_gcc_tgmath.
        * configure: Regenerate.

2007-07-13  Kaz Kojima  <kkojima@gcc.gnu.org>

        * config/sh/linux-unwind.h (sh_fallback_frame_state): Use
        correct index when setting register save state for xd
        registers.

2007-07-13  Kaz Kojima  <kkojima@gcc.gnu.org>

        * config/sh/sh.c (mark_use): Remove.

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

        * config/arm/arm.c (thumb1_compute_save_reg_mask): Make sure scratch
        reg does not overlap return value.

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

        * tree-ssa-pre.c (get_expression_vuses): Move out side-effect.
        (set_expression_vuses): Ditto.
        (init_pre): Initialize expression_vuses.

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

        * config/i386/sse.md (storentdf, storentsf): New.

2007-07-12  Geoffrey Keating  <geoffk@apple.com>

        * builtins.c (get_pointer_alignment): Honor DECL_ALIGN on a
        FUNCTION_DECL.
        * tree.c (build_decl_stat): Move code from here...
        (make_node_stat): ... to here.  Don't uselessly clear DECL_USER_ALIGN.
        (expr_align): Honor DECL_ALIGN on a FUNCTION_DECL.  Add comment
        about using DECL_ALIGN of LABEL_DECL and CONST_DECL.
        * tree.h (DECL_USER_ALIGN): Fix misplaced comment.
        * varasm.c (assemble_start_function): Use DECL_ALIGN instead of
        FUNCTION_BOUNDARY.

2007-07-12  Dorit Nuzman  <dorit@il.ibm.com>
            Devang Patel  <dpatel@apple.com>

        PR tree-optimization/25413
        * targhooks.c (default_builtin_vector_alignment_reachable): New.
        * targhooks.h (default_builtin_vector_alignment_reachable): New.
        * tree.h (contains_packed_reference): New.
        * expr.c (contains_packed_reference): New.
        * tree-vect-analyze.c (vector_alignment_reachable_p): New.
        (vect_enhance_data_refs_alignment): Call
        vector_alignment_reachable_p.
        * target.h (vector_alignment_reachable): New builtin.
        * target-def.h (TARGET_VECTOR_ALIGNMENT_REACHABLE): New.
        * config/rs6000/rs6000.c (rs6000_vector_alignment_reachable): New.
        (TARGET_VECTOR_ALIGNMENT_REACHABLE): Define.

2007-07-12  Dorit Nuzman  <dorit@il.ibm.com>

        * target.h (builtin_vectorization_cost): Add new target builtin.
        * target-def.h (TARGET_VECTORIZE_BUILTIN_VECTORIZATION_COST): New.
        * tree-vectorizer.h (TARG_SCALAR_STMT_COST): New.
        (TARG_SCALAR_LOAD_COST, TARG_SCALAR_STORE_COST): New.
        * tree-vect-analyze.c (vect_analyze_slp_instance): Initisliaze
        uninitialized variables.
        * tree-vect-transform.c (cost_for_stmt): New function.
        (vect_estimate_min_profitable_iters): Call cost_for_stmt instead of
        using cost 1 for all scalar stmts. Be less conservative when
        estimating the number of prologue/epulogue iterations. Call
        targetm.vectorize.builtin_vectorization_cost. Return
        min_profitable_iters-1.
        (vect_model_reduction_cost): Use TARG_SCALAR_TO_VEC_COST for
        initialization cost instead of TARG_VEC_STMT_COST. Use
        TARG_VEC_TO_SCALAR_COST instead of TARG_VEC_STMT_COST for reduction
        epilogue code. Fix epilogue cost computation.
        * config/spu/spu.c (spu_builtin_vectorization_cost): New.
        (TARGET_VECTORIZE_BUILTIN_VECTORIZATION_COST): Implement.
        * config/spu/spu.h (TARG_COND_BRANCH_COST, TARG_SCALAR_STMT_COST):
        (TARG_SCALAR_LOAD_COST, TARG_SCALAR_STORE_COST, TARG_VEC_STMT_COST):
        (TARG_VEC_TO_SCALAR_COST, TARG_SCALAR_TO_VEC, TARG_VEC_LOAD_COST):
        (TARG_VEC_UNALIGNED_LOAD_COST, TARG_VEC_STORE_COST): Define.

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

        * gimplify.c (gimplify_conversion): Make sure that the result
        from maybe_fold_offset_to_reference is trivially convertible
        to the desired type before doing the simplification.
        (gimplify_expr): Likewise.
        * fold-const.c (fold_binary): Use the correct types for
        building the simplified expression.

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

        PR rtl-optimization/32729
        * cfghooks.c (can_duplicate_block_p): Do not forbid duplicating blocks
        that fallthru to exit.

2007-07-12  Kaz Kojima  <kkojima@gcc.gnu.org>

        * config/sh/sh.md (symGOTOFF2reg): Add missing parenthesis.
        (symDTPOFF2reg): Likewise.

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

        PR tree-optimization/32663
        
        * tree.h (VALUE_HANDLE_VUSES): Remove.
        (struct tree_value_handle): Remove vuses.

        * tree-vn.c (create_value_handle_for_expr): Don't set
        VALUE_HANDLE_VUSES. 

        * tree-ssa-pre.c (expression_vuses): New.
        (alloc_expression_id): Set up expression_vuses.
        (get_expression_vuses): New.
        (set_expression_vuses): Ditto.
        (clear_expression_ids): Modify for expression_vuses.
        (phi_translate_1): Ditto.
        (phi_translate_set): Ditto.
        (value_dies_in_block_x): Ditto
        (valid_in_sets): Ditto.
        (add_to_sets): Ditto.
        (find_existing_value_expr): Ditto.
        (create_value_handle_for_expr): Ditto.
        (make_values_for_stmt): Ditto.
        (vuse_equiv): Remove.

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

        * Makefile.in (mostlyclean): Remove object files.

2007-07-11  Kenneth Zadeck <zadeck@naturalbridge.com>

        * toplev.c (no_new_pseudos): Deleted.
        * rtl.h (no_new_pseudos): Deleted.
        * tree-pass.h (pass_no_new_pseudos): Deleted. 
        * passes.c (pass_no_new_pseudos): Deleted.
        * final.c (rest_of_clean_state): Removed no_new_pseudos.
        (rest_of_no_new_pseudos, pass_no_new_pseudos): Deleted.
        * struct-equiv.c (rtx_equiv_p): Replaced no_new_pseudos with 
        reload_completed.
        * cfgcleanup.c (try_crossjump_to_edge): Ditto. 
        * rtlhooks.c (gen_lowpart_general): Ditto.
        * optabs.c (prepare_operand): Ditto.
        * mode-switching.c (rest_of_handle_mode_switching): Deleted set of
        no_new_pseudos.
        * modulo-sched.c (rest_of_handle_sms): Ditto.
        * see.c (rest_of_handle_see): Ditto.
        * ifcvt.c (if_convert): Ditto.
        (gate_handle_if_after_combine): Replaced no_new_pseudos with 
        reload_completed.
        * init-regs.c (gate_initialize_regs): Deleted set of
        no_new_pseudos.
        * lower-subreg.c (decompose_multiword_subregs): Ditto. 
        * bb-reorder.c (rest_of_handle_partition_blocks): Ditto.
        * doc/md.texi: Changed no_new_pseudos to can_create_pseudo_p.
        
2007-07-11  Uros Bizjak  <ubizjak@gmail.com>

        PR target/32661
        * config/i386/sse.md (*sse2_storeq_rex64): Handle 64bit mem->reg moves.
        (*vec_extractv2di_1_sse2): Disable for TARGET_64BIT.
        (*vec_extractv2di_1_rex64): New insn pattern.

2007-07-11  David Daney  <ddaney@avtrex.com>

        * config/mips/linux-unwind.h (mips_fallback_frame_state): Rewrite
        return address calculation.  Substitute DWARF_ALT_FRAME_RETURN_COLUMN
        for SIGNAL_UNWIND_RETURN_COLUMN.
        * config/mips/mips.h (SIGNAL_UNWIND_RETURN_COLUMN): Remove.
        (DWARF_FRAME_REGNUM): Rewrite.
        (DWARF_ALT_FRAME_RETURN_COLUMN) Define.

2007-07-11  Nick Clifton  <nickc@redhat.com>

        * config/m32r/m32r.h (INITIALIZE_TRAMPOLINE): Revert previous
        delta and use gen_int_mode in place of GET_INT instead.

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

        * reg-stack.c (struct tree_opt_pass pass_stack_regs): Nullify name
        and letter field.

2007-07-11  Douglas Gregor  <doug.gregor@gmail.com>

        * params.def (PARAM_VERIFY_CANONICAL_TYPES): Remove.
        (PARAM_USE_CANONICAL_TYPES): New; decides whether to use canonical 
        types or not.
        * params.h (VERIFY_CANONICAL_TYPES): Remove.
        (USE_CANONICAL_TYPES): New.
        * doc/invoke.texi (verify-canonical-types): Remove.
        (use-canonical-types): Add.

2007-07-11  Ulrich Weigand  <uweigand@de.ibm.com>

        * config/spu/spu.c (spu_optimization_options): Remove setting of
        parameter PARAM_MAX_COMPLETELY_PEEL_TIMES.
        (spu_override_options): Move it here.

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

        * config/mips/mips.h (MIPS_ISA_LEVEL_SPEC): Handle -m4ksc and -m4ksd.
        * config/mips/mips.c (mips_cpu_info_table): Mention
        MIPS_ISA_LEVEL_SPEC in the comment.

2007-07-11  Eric Botcazou  <ebotcazou@adacore.com>

        PR tree-optimization/32713
        * tree-ssa-sccvn.c (copy_reference_ops_from_ref): Handle REAL_CST.

2007-07-11  Paolo Carlini  <pcarlini@suse.de>

        PR middle-end/30482
        * c-opts.c (c_common_post_options): Do not change flag_complex_method
        conditional to flag_isoc99.
        (c_common_init_options): Do it here, unconditionally.

2007-07-11  Eric Botcazou  <ebotcazou@adacore.com>

        PR tree-optimization/32589
        * doc/tree-ssa.texi (Rough GIMPLE Grammar): Add missing rule.
        * tree-gimple.c (is_gimple_min_invariant): Clarify head comment.
        * tree-ssa-propagate.c (valid_gimple_expression_p): New
        predicate, extracted from...
        (set_rhs): ...here.  Call it for the expression on entry.
        * tree-ssa-propagate.h (valid_gimple_expression_p): Declare.
        * tree-ssa-sccvn.c: Include tree-ssa-propagate.h.
        (simplify_binary_expression): Use valid_gimple_expression_p
        to validate the simplification.
        * Makefile.in (tree-ssa-sccvn.o): Depends on tree-ssa-propagate.h.

2007-07-11  Danny Smith  <dannysmith@users.sourceforge.net>

        * config/i386/cygming.h (PREFERRED_DEBUGGING_TYPE): Define to
        DWARF2_DEBUG on 32 bit target too.
        (DWARF2_UNWIND_INFO): Reorganize 64-bit vs 32-bit definition. 

2007-07-11  Nick Clifton  <nickc@redhat.com>

        * config/m32r/m32r.h (INITIALIZE_TRAMPOLINE): Provide alternative
        version for 64-bit hosts.

2007-07-10  David Daney  <ddaney@avtrex.com>

        * config/mips/mips.h (ISA_HAS_SYNCI): New target capability
        predicate.
        (INITIALIZE_TRAMPOLINE): Emit clear_cache insn instead of  library
        call.
        * config/mips/mips.c (mips_expand_synci_loop): New function.
        * config/mips/mips.md (UNSPEC_CLEAR_HAZARD): New constant.
        (UNSPEC_RDHWR): Same.
        (UNSPEC_SYNCI): Same.
        (UNSPEC_SYNC): Same.
        (clear_cache): New expand.
        (sync): New insn.
        (synci): Same.
        (rdhwr): Same.
        (clear_hazard): Same.
        * config/mips/mips-protos.h (mips_expand_synci_loop): Declare
        function.
        * testsuite/gcc.target/mips/clear-cache-1.c: New test.
        * testsuite/gcc.target/mips/clear-cache-2.c: New test.

2007-07-10  Ian Lance Taylor  <iant@google.com>

        * emit-rtl.c (gen_reg_rtx): Check can_create_pseudo_p rather than
        no_new_pseudos.

2007-07-10  David Daney  <ddaney@avtrex.com>

        * builtins.def (BUILT_IN_CLEAR_CACHE): New builtin.
        * builtins.c (expand_builtin___clear_cache): New function.
        (expand_builtin): Call expand_builtin___clear_cache for
        BUILT_IN_CLEAR_CACHE case.
        * doc/extend.texi (__builtin___clear_cache): Document new builtin.
        * doc/md.texi (clear_cache): Document new instruction pattern.
        * testsuite/gcc.dg/builtins-64.c: New test.

2007-07-11  Hans-Peter Nilsson  <hp@axis.com>

        * config/cris/cris.md ("movsi"): Fix typo in last change.

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

        PR 32617
        * c-common.c (c_alignof_expr): Look at DECL_ALIGN of
        FUNCTION_DECLs.
        (handle_aligned_attribute): Allow use on FUNCTION_DECLs.
        * varasm.c (assemble_start_function): Honor DECL_ALIGN
        for FUNCTION_DECLs.  Don't use align_functions_log if
        DECL_USER_ALIGN.
        * print-tree.c (print_node): Print DECL_ALIGN and DECL_USER_ALIGN
        even for FUNCTION_DECLs.
        * c-decl.c (merge_decls): Propagate DECL_ALIGN even for
        FUNCTION_DECLs.
        * tree.h (DECL_ALIGN): Update for new location of 'align'.
        (DECL_FUNCTION_CODE): Update for new location and name of
        'function_code'.
        (DECL_OFFSET_ALIGN): Update for new location of 'off_align'.
        (struct tree_decl_common): Move 'align' and 'off_align' out
        of union, ensure they're still on a 32-bit boundary.  Remove
        other fields in union 'u1'.
        (struct tree_function_decl): Add field 'function_code' replacing
        'u1.f' in tree_decl_common.
        * tree.c (build_decl_stat): Set initial value of DECL_ALIGN.
        * doc/extend.texi (Function Attributes): Add 'aligned' attribute.
        (Variable Attributes): Cross-reference 'aligned' attribute
        to Function Attributes.
        * flags.h (force_align_functions_log): Delete.
        * toplev.c (force_align_functions_log): Delete.

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

        PR target/32708
        * config/i386/sse.md (vec_concatv2di): Disable for TARGET_64BIT.
        (*vec_concatv2di_rex): New insn pattern.

2007-07-10  Rainer Orth  <ro@TechFak.Uni-Bielefeld.DE>

        PR target/32538
        * config/mips/iris6.h (LIBGCC_SPEC): Add libm.

2007-07-10  Ian Lance Taylor  <iant@google.com>

        Replace no_new_pseudos in backends.
        * rtl.h (can_create_pseudo_p): Define.
        * config/darwin.c (machopic_indirect_data_reference): Use
        can_create_pseudo_p () instead of no_new_pseudos.
        (machopic_indirect_data_reference): Likewise.
        (machopic_legitimize_pic_address): Likewise.
        * config/alpha/alpha.c (alpha_legitimize_address): Likewise.
        (alpha_emit_set_const_1): Likewise.
        (alpha_emit_set_const): Likewise.
        (alpha_emit_conditional_move): Likewise.
        (alpha_split_conditional_move): Likewise.
        * config/alpha/alpha.md (various splitters): Likewise.
        (movti): Likewise.
        * config/arm/arm.c (legitimize_pic_address): Likewise.
        (arm_load_pic_register): Likewise.
        * config/arm/arm.md (addsi3, subsi3, andsi3, iorsi3): Likewise.
        (movdi, movsi, movhi, movqi, movsf, movdf): Likewise.
        * config/bfin/bfin.c (legitimize_pic_address): Likewise.
        * config/cris/cris.c (cris_expand_pic_call_address): Likewise.
        * config/cris/cris.md (movsi): Likewise.
        * config/frv/frv.md (symGOT2reg_hilo): Likewise.
        (symGOTOFF2reg_hilo): Likewise.
        (symGPREL2reg, symGPREL2reg_hilo): Likewise.
        * config/h8300/h8300.md (insv, extzv): Likewise.
        * config/i386/i386.c (ix86_expand_move): Likewise.
        (ix86_expand_vector_move): Likewise.
        (ix86_prepare_fp_compare_args): Likewise.
        (ix86_expand_carry_flag_compare): Likewise.
        * config/i386/i386.md (tls_dynamic_gnu2_32): Likewise.
        (tls_dynamic_gnu2_combine_32): Likewise.
        (tls_dynamic_gnu2_64, tls_dynamic_gnu2_combine_64): Likewise.
        * config/ia64/ia64.c (ia64_expand_move): Likewise.
        (ia64_expand_movxf_movrf): Likewise.
        * config/m32c/m32c.c (m32c_prepare_move): Likewise.
        (m32c_split_move): Likewise.
        (m32c_expand_insv): Likewise.
        * config/m68k/m68k.md (movsi): Likewise.
        * config/mips/mips.c (mips_force_temporary): Likewise.
        (mips_split_symbol): Likewise.
        (mips_move_integer): Likewise.
        (mips_legitimize_const_move): Likewise.
        * config/mn10300/mn10300.md (movsi): Likewise.
        * config/pa/pa.c (emit_move_sequence): Likewise.
        * config/rs6000/rs6000.c (rs6000_emit_move): Likewise.
        (rs6000_got_register): Likewise.
        (create_TOC_reference): Likewise.
        (rs6000_machopic_legitimize_pic_address): Likewise.
        * config/rs6000/rs6000.md (add<mode>3): Likewise.
        (various splitters): Likewise.
        (iorsi3, xorsi3, iordi3, xordi3): Likewise.
        (movsi_got): Likewise.
        * config/s390/s390.c (emit_symbolic_move): Likewise.
        * config/s390/s390.md (movhi, movqi): Likewise.
        (load_multiple, store_multiple): Likewise.
        * config/score/score.c (score_force_temporary): Likewise.
        * config/sh/sh.c (prepare_move_operands): Likewise.
        (prepare_cbranch_operands): Likewise.
        (emit_fpu_switch): Likewise.
        (fpscr_set_from_mem): Likewise.
        * config/sh/sh.md (movdicc, movsicc, movsicc_umin): Likewise.
        (adddi3, subsi3): Likewise.
        (various splitters): Likewise.
        (divsi_inv_fp_combine): Likewise.
        (symGOT_load, symGOTOFF2reg, symDTPOFF2reg): Likewise.
        (seq, slt, sle, sgt, sge, sgtu, sltu, sleu, sgeu): Likewise.
        (sne): Likewise.
        * config/sh/predicates.md (xor_operand): Likewise.
        * config/sparc/sparc.c (legitimize_tls_address): Likewise.
        * config/sparc/sparc.md (movsi_pic_label_ref): Likewise.
        (movdi_pic_label_ref): Likewise.
        * config/spu/spu.c (spu_split_immediate): Likewise.
        * config/alpha/alpha.md (various splitters): Remove test
        !no_new_pseudos || reload_completed.
        * config/ia64/ia64.c (ia64_output_mi_thunk): Don't set
        no_new_pseudos.
        * config/m68k/m68k.c (m68k_output_mi_thunk): Likewise.
        * config/mips/mips.c (mips_output_mi_thunk): Likewise.
        * config/rs6000/rs6000.c (rs6000_output_mi_thunk): Likewise.
        * config/score/score.c (th_output_mi_thunk): Likewise.
        * config/sh/sh.c (sh_output_mi_thunk): Likewise.
        * config/sparc/sparc.c (sparc_output_mi_thunk): Likewise.

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

        PR rtl-optimization/32664
        * mode-switching.c (create_pre_exit): Skip barrier insns.

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

        * tree-scalar-evolution.c (scev_const_prop): Add arguments to
        force_gimple_operand_bsi.
        * tree-ssa-loop-ivopts.c (rewrite_use_nonlinear_expr,
        rewrite_use_compare): Ditto.
        * tree-ssa-address.c (gimplify_mem_ref_parts, create_mem_ref):
        Ditto.
        * tree-ssa-ifcombine.c (ifcombine_ifandif): Ditto.
        * tree-ssa-loop-prefetch.c (issue_prefetch_ref): Ditto.
        * lambda-code.c (replace_uses_equiv_to_x_with_y): Ditto.
        * tree-profile.c (prepare_instrumented_value,
        tree_gen_interval_profiler, tree_gen_pow2_profiler,
        tree_gen_one_value_profiler, tree_gen_ic_profiler,
        tree_gen_ic_func_profiler, tree_gen_average_profiler,
        tree_gen_ior_profiler): Ditto.
        * tree-ssa-reassoc.c (negate_value): Ditto.
        * matrix-reorg.c (transform_access_sites, transform_allocation_sites):
        Use force_gimple_operand_bsi.
        * tree-vect-transform.c (vect_update_ivs_after_vectorizer): Ditto.
        * tree-if-conv.c (add_to_dst_predicate_list,
        find_phi_replacement_condition): Ditto.
        * gimplify.c (force_gimple_operand_bsi): Add before and m arguments.
        Call mark_symbols_for_renaming for new statements.
        * tree-flow.h (force_gimple_operand_bsi): Declaration changed.

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

        * cfghooks.c (remove_edge): New function.
        (redirect_edge_and_branch, remove_branch, merge_blocks): Updated
        loop exit rescans.
        * cfghooks.h (remove_edge): Declare.
        * cfg.c (remove_edge): Renamed to remove_edge_raw.
        * basic-block.h (remove_edge): Declaration changed to remove_edge_raw.

2007-07-09  Wolfgang Gellerich  <gellerich@de.ibm.com>

        * optabs.h: Added declaration for signbit_optab.  
        * optabs.c: (init_optabs): Added initialization for signbit_optab.
        * genoptinit.c (optabs): Added entry for signbit insns.  
        * builtins.c (expand_builtin_signbit): Added code to use a signbit
        insn, if available.  
        * config/s390/s390.h (S390_TDC_SIGNBIT_SET): New constant.  
        * config/s390/s390.md (signbit<mode>2): New expander.  

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

        PR middle-end/32698
        * fold-const.c (fold_plusminus_mult_expr): Move constant
        arguments second to allow decomposing.

2007-07-09  Alexandre Oliva  <aoliva@oliva.athome.lsd.ic.unicamp.br>

        Revert:
        2007-07-06  Alexandre Oliva  <aoliva@redhat.com>
        PR debug/23551
        * tree-ssa-copyrename.c (copy_rename_partition_coalesce):
        Disregard DECL_FROM_INLINE.

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

        PR target/27855
        * doc/invoke.texi: Add ftree-reassoc flag.
        * common.opt (ftree-reassoc): New flag.
        * tree-ssa-reassoc.c (gate_tree_ssa_reassoc): New static function.
        (struct tree_opt_pass pass_reassoc): Use gate_tree_ssa_reassoc.

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

        PR tree-optimization/32681
        * tree-if-conv.c (find_phi_replacement_condition): Use the condition
        saved in second_edge->aux when first_bb is a loop header.

2007-07-09  Jan HUbicka  <jh@suse.cz>

        * cse.c (cse_insn): Avoid invalid sharing on trial replacement.

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

        * c-decl.c (start_function): Do not promote return type.

2007-07-08  Daniel Franke  <franke.daniel@gmail.com>

        * function.c (do_warn_unused_parameter): Do not warn if
        TREE_NO_WARNING is set.

2007-07-08  Andreas Schwab  <schwab@suse.de>

        * doc/invoke.texi (DEC Alpha/VMS Options): Fix typo.

2007-07-08  Sandra Loosemore  <sandra@codesourcery.com>

        Revert this patch:
        2007-07-06  Sandra Loosemore  <sandra@codesourcery.com>

        * c-opts.c (c_common_handle_option): Make DOLLARS_IN_IDENTIFIERS
        apply to assembly language, too.
        * doc/tm.texi (DOLLARS_IN_IDENTIFIERS): Update.

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

        Revert (note the sccvn portions are *not* reverted)
        2007-07-06  Daniel Berlin  <dberlin@dberlin.org>

        Fix PR tree-optimization/23488

        * tree-vn.c (set_value_handle): Use decl_vh_map for decl value
        handles.
        * tree-flow-inline.h (get_value_handle): Ditto.
        * tree-ssa-pre.c (decl_vh_map): New.
        (decl_node_pool): New.
        (can_value_number_operation): Support DECL_P.
        (can_PRE_operation): Ditto.
        (create_expression_by_pieces): Ditto.
        (find_existing_value_expr): Modify to differnetiate between
        addressing and top level.
        (create_value_handle_for_expr): Handle DECL's.
        (poolify_tree): Ditto.
        (make_values_for_phi): Don't insert into PHI_GEN during FRE.
        (make_values_for_stmt): Handle DECL's properly.
        (init_pre): Reorg to not init useless things during FRE.
        (fini_pre): Ditto.
        * tree-flow.h: Include pointer-set.h.
        (decl_vh_map): Declare.
        * Makefile.in (TREE_FLOW_H): Add pointer-set.h

2007-07-07 Eric Weddington  <eweddington@cso.atmel.com>

        * config/avr/constraints.md (define_memory_constraint "Q"): Fix
        the constraint description.
        * doc/md.texi: Update documentation of AVR constraints.

2007-07-07  Kazu Hirata  <kazu@codesourcery.com>

        * auto-inc-dec.c, config/arm/arm.c,
        config/m32r/constraints.md, config/mips/mips.md,
        config/rs6000/rs6000.c, cselib.c, dce.c, df-core.c,
        df-problems.c, df-scan.c, df.h, dse.c, gimplify.c,
        tree-if-conv.c, tree-ssa-sccvn.c, tree-ssa.c: Fix comment
        typos.  Follow spelling conventions.
        * doc/invoke.texi, doc/rtl.texi: Fix typos.

        * cfgrtl.c (delete_insn_chain_and_edges): Remove.
        * rtl.h: Remove the prototype for delete_insn_chain_and_edges.

        * tree-ssa-operands.c (realloc_vop, realloc_vdef,
        realloc_vuse): Remove.
        * tree-ssa-operands.h: Remove the prototype for realloc_vdef
        and realloc_vuse.

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

        Fix PR tree-optimization/23488

        * tree-ssa-sccvn.c (expr_has_constants): Handle tcc_declaration.
        (try_to_simplify): Ditto.
        (visit_use): Ditto.
        * tree-vn.c (set_value_handle): Use decl_vh_map for decl value
        handles.
        * tree-flow-inline.h (get_value_handle): Ditto.
        * tree-ssa-pre.c (decl_vh_map): New.
        (decl_node_pool): New.
        (can_value_number_operation): Support DECL_P.
        (can_PRE_operation): Ditto.
        (create_expression_by_pieces): Ditto.
        (find_existing_value_expr): Modify to differnetiate between
        addressing and top level.
        (create_value_handle_for_expr): Handle DECL's.
        (poolify_tree): Ditto.
        (make_values_for_phi): Don't insert into PHI_GEN during FRE.
        (make_values_for_stmt): Handle DECL's properly.
        (init_pre): Reorg to not init useless things during FRE.
        (fini_pre): Ditto.
        * tree-flow.h: Include pointer-set.h.
        (decl_vh_map): Declare.
        * Makefile.in (TREE_FLOW_H): Add pointer-set.h
                
2007-07-06  Sandra Loosemore  <sandra@codesourcery.com>

        * c-opts.c (c_common_handle_option): Make DOLLARS_IN_IDENTIFIERS
        apply to assembly language, too.
        * doc/tm.texi (DOLLARS_IN_IDENTIFIERS): Update.

2007-07-06  Ian Lance Taylor  <iant@google.com>
            Zack Weinberg  <zackw@panix.com>

        PR middle-end/32441
        * builtins.c (std_expand_builtin_va_start): Don't use make_tree.

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

        * config/sh/sh.md (*prefetch_i4): Disable for TARGET_VXWORKS_RTP.
        (prefetch): Likewise if "pref" would be used.

2007-07-06  Josh Conner  <jconner@apple.com>

        PR middle-end/32602
        PR middle-end/32603
        * calls.c (store_one_arg): Handle arguments which are partially
        on the stack when detecting argument overlap.

2007-07-06  Bernd Schmidt  <bernd.schmidt@analog.com>

        * reload1.c (choose_reload_regs): Set reload_spill_index for regs
        chosen during find_reloads.

2007-07-06  Richard Guenther  <rguenther@suse.de>

        * gimplify.c (gimplify_call_expr): Prefer DECL_ARGUMENTS over
        TYPE_ARG_TYPES for verification of argument types.  Use
        DECL_ARG_TYPE instead of the PARM_DECL type.  Take excess
        parameters as variable arguments.

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

        * libgcc2.h (word_type): Type definition removed.
        (cmp_return_type, shift_count_type): Type definitions added.
        (__lshrdi3, __ashldi3, __ashrdi3): word_type of second parameter
        replaced with shift_count_type.
        (__cmpdi2, __ucmpdi2): word_type of return type replaced with
        cmp_return_type.
        * libgcc2.c (__udivmoddi4, __moddi3): Type of local variable c
        changed from word_type to Wtype.
        (__lshrdi3, __ashldi3, __ashrdi3): word_type of second parameter
        replaced with shift_count_type.
        (__cmpdi2, __ucmpdi2): word_type of return type replaced with
        cmp_return_type.
        * c-common.c (handle_mode_attribute): Handling for libgcc_cmp_return
        and libgcc_shift_count attribute added.
        * target-def.h (TARGET_LIBGCC_CMP_RETURN_MODE,
        TARGET_LIBGCC_SHIFT_COUNT_MODE): New target hooks defined.
        (TARGET_INITIALIZER): New target hooks added.
        * targhooks.c (default_libgcc_cmp_return_mode,
        default_libgcc_shift_count_mode): Default implementations for the new
        target hooks added.
        * targhooks.h (default_libgcc_cmp_return_mode,
        default_libgcc_shift_count_mode): Function prototypes added.
        * target.h (struct gcc_target): Fields for the new target hooks added.
        * optabs.c (expand_binop): Use shift_count_mode when expanding shift
        as library call.
        (prepare_cmp_insn): Use cmp_return_mode when expanding comparison as
        library call.

        * doc/tm.texi (TARGET_LIBGCC_CMP_RETURN_MODE,
        TARGET_LIBGCC_SHIFT_COUNT_MODE): Documentation added.

        * config/s390/s390.c (s390_libgcc_cmp_return_mode,
        s390_libgcc_shift_count_mode): Functions added.
        (TARGET_LIBGCC_CMP_RETURN_MODE, TARGET_LIBGCC_SHIFT_COUNT_MODE):
        Target hooks defined.

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

        * config/mips/mips.c (compute_frame_size): Restore the original
        gp_sp_offset for !GENERATE_MIPS16E_SAVE_RESTORE and remove the
        fp_size term from the GENERATE_MIPS16E_SAVE_RESTORE calculation.
        Document why the difference is needed.

2007-07-06  Richard Guenther  <rguenther@suse.de>

        * c-common.c (boolean_increment): Use correctly typed
        constant.

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

        * config/mips/mips.c (mips16e_save_restore_pattern_p): Check that
        the topmost argument register is not also included in the save mask.
        (mips16e_collect_argument_save_p): Take a pointer to the argument
        register, rather than a pointer to the number of arguments.
        (mips16e_collect_argument_saves): Only include argument saves
        that aren't in the register mask.

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

        PR rtl-optimization/32450
        * function.c (thread_prologue_and_epilogue_insns): Emit blockage insn
        to ensure that instructions are not moved into the prologue when
        profiling is on.  Remove unused prologue_end variable.
        (expand_function_end): Emit blockage insn instead of ASM_INPUT rtx
        as a scheduling barrier.

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

        PR debug/23551
        * tree-ssa-copyrename.c (copy_rename_partition_coalesce):
        Disregard DECL_FROM_INLINE.

2007-07-05  Adam Nemet  <anemet@caviumnetworks.com>

        * rtlanal.c (num_sign_bit_copies1): Improve cases of ANDing or
        IORing with a constant.

2007-07-05  Seongbae Park  <seongbae.park@gmail.com>

        PR rtl-optimization/32475
        * df-scan.c (df_def_record_1): Add a use of the stack pointer
        for every definition of the stack pointer.

2007-07-05  Richard Earnshaw  <rearnsha@arm.com>

        * arm.c (vfp3_const_double_index): Copy signed results of
        REAL_VALUE_TO_INT into unsigned vars.

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

        PR middle-end/32639
        * alias.c (get_alias_set): Tread METHOD_TYPE the same as
        FUNCTION_TYPE.
        * tree-ssa.c (useless_type_conversion_p): Check canonical
        types early.

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

        * config/avr/avr.md (zero_extendqihi2, zero_extendqisi2, 
        zero_extendhisi2): Change to define_insn_and_split. 
        (zero_extendqidi2, zero_extendhidi2, zero_extendsidi2): New.

2007-07-05  Paolo Bonzini  <bonzini@gnu.org>

        * function.c (match_asm_constraints_1, rest_of_match_asm_constraints,
        pass_match_asm_constraints): New.
        * passes.c (init_optimization_passes): Add new pass.
        * stmt.c (expand_asm_operands): Set cfun->has_asm_statement.
        * function.h (struct function): Add has_asm_statement bit.
        (current_function_has_asm_statement): New.
        * tree-pass.h (pass_match_asm_constraints): New.

2007-07-05  Richard Sandiford  <rsandifo@nildram.co.uk>

        * config/mips/mips.c (mips_file_start): Avoid declaration
        after code.

2007-07-05  Sandra Loosemore  <sandra@codesourcery.com>

        * optabs.c (expand_binop_directly): Fix signed/unsigned comparison.

2007-07-05  Uros Bizjak  <ubizjak@gmail.com>

        * rtl.def (NOTE): Change print format string to print
        operand 5 as a note insn name.

2007-07-05  Sandra Loosemore  <sandra@codesourcery.com>
            David Ung  <davidu@mips.com>

        * config/mips/mips.c (mips_cpu_info): Add 4ksc and 4ksd processors.
        * doc/invoke.texi: (MIPS Options): Document them.

2007-07-05  Sandra Loosemore  <sandra@codesourcery.com>
            David Ung  <davidu@mips.com>

        Add support for SmartMIPS ASE.

        * optabs.c (expand_binop_directly): New, broken out from...
        (expand_binop): Here.  Make it try rotating in the other
        direction even when the second operand isn't constant.
        * config/mips/mips.md (*lwxs): New.
        * config/mips/mips.opt (msmartmips): New.
        * config/mips/mips.c (mips_lwxs_address_p): New.
        (mips_rtx_costs): Make it recognize scaled indexed addressing.
        * config/mips/mips.h (TARGET_CPU_CPP_BUILTINS): Define
        __mips_smartmips when compiling for TARGET_SMARTMIPS.
        (ISA_HAS_ROR): Define for TARGET_SMARTMIPS.
        (ISA_HAS_LWXS): New.
        (ASM_SPEC): Add -msmartmips/-mno-smartmips.
        * doc/invoke.texi (MIPS Options): Document -msmartmips/-mno-smartmips.
        * testsuite/gcc.target/mips/smartmips-lwxs.c: New test case.
        * testsuite/gcc.target/mips/smartmips-ror-1.c: New test case.
        * testsuite/gcc.target/mips/smartmips-ror-2.c: New test case.
        * testsuite/gcc.target/mips/smartmips-ror-3.c: New test case.
        * testsuite/gcc.target/mips/smartmips-ror-4.c: New test case.

2007-07-05  Dorit Nuzman  <dorit@il.ibm.com>

        * tree-vectorizer.c (new_loop_vec_info): Initialize
        LOOP_VINFO_COST_MODEL_MIN_ITERS.
        * tree-vectorizer.h (_loop_vec_info): Added new filed
        min_profitable_iters.
        (LOOP_VINFO_COST_MODEL_MIN_ITERS): New access macro to above new field.
        (TARG_SCALAR_TO_VEC_COST): Define cost of scalar to vector operation.
        * tree-vect-analyze.c (vect_analyze_operations): Set
        LOOP_VINFO_COST_MODEL_MIN_ITERS.
        * tree-vect-transform.c (vect_estimate_min_profitable_iters): Use
        VEC_length to determine if there are any LOOP_VINFO_MAY_MISALIGN_STMTS.
        Fix calculation of peel_iters_prologue. Move consideration of epilogue
        and prologue cost to after they are computed.
        (vect_model_induction_cost): Use TARG_SCALAR_TO_VEC_COST instead of
        TARG_VEC_STMT_COST.
        (vect_model_simple_cost): Takes additional argument dt. Consider cost
        of creating vectors from scalars according to dt.
        (vect_model_store_cost): Likewise.
        (vectorizable_call): Use dt array instead of scalar dt. Call
        vect_model_simple_cost with additional argument dt.
        (vectorizable_assignment): Likewise.
        (vectorizable_operation): Likewise.
        (vectorizable_type_demotion): Likewise.
        (vectorizable_type_promotion): Likewise.
        (vectorizable_store): Use dt array instead of scalar dt. Call
        vect_model_store_cost with additional argument dt.
        (vect_do_peeling_for_loop_bound): Don't call
        vect_estimate_min_profitable_iters. Instead, lookup
        LOOP_VINFO_COST_MODEL_MIN_ITERS. Don't always print
        "may not be profitable".

2007-07-05  Dorit Nuzman  <dorit@il.ibm.com>

        PR testsuite/32014
        * config/rs6000/altivec.md (UNSPEC_VUPKHS_V4SF, UNSPEC_VUPKLS_V4SF):
        (UNSPEC_VUPKHU_V4SF, UNSPEC_VUPKLU_V4SF): New.
        (vec_unpacks_float_hi_v8hi, vec_unpacks_float_lo_v8hi): New patterns.
        (vec_unpacku_float_hi_v8hi, vec_unpacku_float_lo_v8hi): New patterns. 

2007-07-05  Zdenek Dvorak  <dvorakz@suse.cz>

        * config/i386/i386.c (ix86_address_cost): Do not consider more complex
        addressing modes cheaper.

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

        * dwarf2out.c (dw_ranges_by_label_ref): New typedef.
        (dw_ranges_struct): Rename block_num to num.  Adjust.
        (dw_ranges_by_label_struct): New.
        (ranges_by_label, ranges_by_label_allocated,
        ranges_by_label_in_use): New variables.
        (add_ranges_num): Factored most of the code out of...
        (add_ranges): ... this one.  Rewrite in terms of the former.
        (add_ranges_by_labels): New.
        (output_ranges): Output by-label ranges.
        (dwarf2out_finish): Output range for multiple-section
        compile_unit.  Output standard DW_AT_low_pc in addition to
        unexpected DW_AT_entry_pc.

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

        PR tree-optimization/32604
        PR tree-optimization/32606

        * tree-ssa-pre.c (bb_bitmap_sets): Removed antic_safe_loads.
        (compute_antic_safe): Removed.
        (ANTIC_SAFE_LOADS): Ditto.
        (compute_antic_aux): Don't print ANTIC_SAFE_LOADS.
        (execute_pre): Don't call compute_antic_safe.
        (vuse_equiv): New function.
        (make_values_for_stmt): Use it
        * tree-ssa-sccvn.c (set_ssa_val_to): Remove assert, since it is
        not always true.

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

        PR target/31331
        * config/avr/avr.c (avr_naked_function_p): Handle receiving a type
        rather than a decl. 
        (avr_attribute_table): Make "naked" attribute apply to function types
        rather than to decls.
        (avr_handle_fntype_attribute): New function.

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

        * target-def.h (TARGET_INITIALIZER): Remove trailing whitespace
        after \.

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

        * config/mips/mips.md (type): Add logical, signext and move.
        (one_cmpl<mode>2, *and<mode>3, *and<mode>3_mips16, *ior<mode>3,
        *ior<mode>3_mips16, two unnamed insns after *ior<mode>3_mips16,
        *nor<mode>3, "Combiner patterns to optimize truncate/zero_extend
        combinations", *zero_extend<SHORT:mode><GPR:mode>2,
        *zero_extendqihi2, *extend<SHORT:mode><GPR:mode>2_mips16e,
        *extend<SHORT:mode><GPR:mode>2_se<SHORT:size>, *movdi_64bit,
        *movdi_64bit_mips16, *movsi_internal, *movsi_mips16, movcc,
        *movhi_internal, *movhi_mips16, *movqi_internal, *movqi_mips16,
        *movsf_hardfloat, *movsf_softfloat, *movsf_mips16,
        *movdf_hardfloat_64bit, *movdf_hardfloat_32bit,
        movv2sf_hardfloat_64bit): Use the new types.
        (*movdi_32bit, *movdi_gp32_fp64, *movdi_32bit_mips16,
        *movdf_softfloat, *movdf_mips16): Use "multi".
        (extendqihi2): Replace with a define_expand.
        (*extendqihi2_mips16e, *extendqihi2, *extendqihi2_seb): New.
        Based on extend<SHORT:mode><GPR:mode>2 patterns.
        * config/mips/74k.md (r74k_int_logical): New reservation and
        bypasses.
        (r74k_int_arith): Remove "slt".
        * config/mips/24k.md, config/mips/4130.md, config/mips/4k.md,
        config/mips/5400.md, config/mips/5500.md, config/mips/5k.md,
        config/mips/7000.md, config/mips/9000.md, config/mips/generic.md,
        config/mips/sb1.md, config/mips/sr71k.md: Add new types to
        reservations for "arith".

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

        * tree-ssa.c (useless_type_conversion_p): Add handling for
        scalar float and vector types.  Only call the types_compatible_p
        langhook for aggregate types as last resort.  Follow the
        rules.

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

        * tree-inline.c (estimate_num_insns_1): Treat CONVERT_EXPR
        the same as NOP_EXPR.

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

        * target.h (struct gcc_target): Add target_help field.
        * target-def.h (TARGET_HELP): New.
        (TARGET_INITIALIZER): Use TARGET_HELP.
        * opts.c (command_handle_option): Invoke target_help function, if
        defined, when the user has specified --target-help on the command
        line.
        * doc/invoke.texi: Mention that --target-help might print
        additional information.
        * doc/tm.texi: Document TARGET_HELP hook.

        * arm.c (TARGET_HELP): Override default definition.
        (arm_target_help): New - display a wrapped list of cores and
        architectures supported.

2007-07-04  Rask Ingemann Lambertsen  <rask@sygehus.dk>

        * config/gcc/v850/v850.c (expand_prologue): Make sure
        GEN_INT() argument is sign extended rather than zero extended.
        (expand_epilogue): Likewise.
        (output_move_double): Delete.
        * config/gcc/v850/v850-protos.h (output_move_double): Delete.
        * config/gcc/v850/v850.md (movdi): Delete.
        (*movdi_internal): Delete.
        (movdf): Delete.
        (*movdf_internal): Delete.

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

        * config/sh/vxworks.h (SUBTARGET_OVERRIDE_OPTIONS): Reject -mrelax
        unless compiling RTP PIC.

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

        PR tree-optimization/32482
        * tree-ssa-ifcombine.c (recognize_single_bit_test): Use the
        original ssa name if we didn't find a shift expression.
        Fix shift constant for bit zero test.

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

        * config/sh/lib1funcs.asm (ic_invalidate): Align constant pool.

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

        * config.gcc (arm-wrs-vxworks): Don't include svr4.h.
        * config/vxworks.h (PTRDIFF_TYPE, SIZE_TYPE, TARGET_POSIX_IO): Define.
        * config/arm/vxworks.h (ASM_SPEC): Delete.
        (SUBTARGET_EXTRA_ASM_SPEC): Define.

2007-07-04  Sebastian Pop  <sebpop@gmail.com>

        * tree-data-ref.h (data_dependence_relation): New flag reversed_p.
        (DDR_REVERSED_P): New.
        * tree-data-ref.c (initialize_data_dependence_relation,
        build_classic_dist_vector): Set DDR_REVERSED_P.

2007-07-04  Sebastian Pop  <sebpop@gmail.com>

        PR middle-end/32457
        * tree-data-ref.c (analyze_siv_subscript_cst_affine,
        compute_overlap_steps_for_affine_1_2, analyze_subscript_affine_affine,
        init_omega_for_ddr_1): Use non conservative number of iterations
        estimations.
        (analyze_subscript_affine_affine): Use HOST_WIDE_INT instead of int.
        (analyze_siv_subscript): Remove FIXME and reinitialization of 
        last_conflicts to chrec_dont_know.
        * testsuite/gfortran.dg/vect/pr32457.f90: New.

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

        * tree.c (maybe_canonicalize_argtypes): Improve description.

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

        * tree.c (maybe_canonicalize_argtypes): New.
        (build_function_type): Set canonical type.
        (build_method_type_directly): Ditto.
        (reconstruct_complex_type): Rebuild the METHOD_TYPE node
        properly.

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

        * tree-ssa-loop-ivopts.c (strip_offset_1): Treat POINTER_PLUS_EXPR
        like PLUS_EXPR.
        (rewrite_use_nonlinear_expr): Likewise.

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

        * rtl.def (UNSPEC, USE, CLOBBER): More comments.

2007-07-04  Ben Elliston  <bje@au.ibm.com>

        * dwarf2out.c: Move DWARF2 abbreviation glossary closer to the top
        of this file.

        * c-objc-common.c (c_types_compatible_p): Fix indentation.

        * doc/tm.texi (Run-time Target): Capitalise "CPU".
        (Exception Handling): Likewise.

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

        * ifcvt.c (find_cond_trap): Avoid invalid RTL sharing.

2007-07-03  Eric Christopher  <echristo@apple.com>

        * doc/cppopts.texi: Add conflicting option note to -dM.
        * doc/invoke.texi: Add note about possible conflicts with
        -E for -dCHARS and note that -dM will not produce
        any results if there is no machine dependent reorg.
        
2007-07-03  Geoffrey Keating  <geoffk@apple.com>

        * tree.h (DECL_ALIGN): Back out previous change.

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

        * configure.ac: Test for .dtprelword support on MIPS.
        * configure, config.in: Regenerate.
        * config/mips/mips.c (mips_output_dwarf_dtprel): New.
        (TARGET_ASM_OUTPUT_DWARF_DTPREL): Define.

2007-07-03  Julian Brown  <julian@codesourcery.com>

        * config.gcc (with_fpu): Allow --with-fpu=vfp3.
        * config/arm/aout.h (REGISTER_NAMES): Add D16-D31.
        * config/arm/aof.h (REGISTER_NAMES): Add D16-D31.
        * config/arm/arm.c (FL_VFPV3): New flag for VFPv3 processor
        capability.
        (all_fpus): Add FPUTYPE_VFP3.
        (fp_model_for_fpu): Add VFPv3 field.
        (arm_rtx_costs_1): Give cost to VFPv3 constants.
        (vfp3_const_double_index): New function. Return integer index of
        VFPv3 constant suitable for fconst[sd] insns, or -1 if constant
        isn't suitable.
        (vfp3_const_double_rtx): New function. True if VFPv3 is enabled
        and argument represents a valid RTX for a VFPv3 constant.
        (vfp_output_fldmd): Split fldmd with > 16 registers in the list into
        two instructions.
        (vfp_emit_fstmd): Similar, for fstmd.
        (arm_print_operand): Implement new code 'G' for VFPv3 floating-point
        constants, represented as integer indices.
        (arm_hard_regno_mode_ok): Use VFP_REGNO_OK_FOR_SINGLE,
        VFP_REGNO_OK_FOR_DOUBLE macros.
        (arm_regno_class): Handle VFPv3 d0-d7, low, high register split.
        (arm_file_start): Set float-abi attribute for VFPv3, and output
        correct ".fpu" assembler directive.
        (arm_dbx_register_numbering): Add FIXME.
        * config/arm/arm.h (TARGET_VFP3): New macro. Target supports VFPv3.
        (fputype): Add FPUTYPE_VFP3.
        (FIXED_REGISTERS): Add 32 registers for D16-D31.
        (CALL_USED_REGISTERS): Likewise.
        (CONDITIONAL_REGISTER_USAGE): Add note about conditional definition
        of LAST_VFP_REGNUM. Make D16-D31 caller-saved, if present.
        (LAST_VFP_REGNUM): Extend available VFP registers for VFPv3.
        (D7_VFP_REGNUM): New.
        (LAST_LO_VFP_REGNUM, FIRST_HI_VFP_REGNUM, LAST_HI_VFP_REGNUM)
        (VFP_REGNO_OK_FOR_SINGLE, VFP_REGNO_OK_FOR_SINGLE)
        (VFP_REGNO_OK_FOR_DOUBLE): Define new macros.
        (FIRST_PSEUDO_REGISTER): Shift up to 128 to accommodate VFPv3.
        (REG_ALLOC_ORDER): Adjust for VFPv3.
        (reg_class): Add VFP_D0_D7_REGS, VFP_LO_REGS, VFP_HI_REGS.
        (REG_CLASS_NAMES): Add entries corresponding to VFP_D0_D7_REGS,
        VFP_LO_REGS, VFP_HI_REGS.
        (REG_CLASS_CONTENTS): Likewise. Extend contents for VFP_REGS.
        (IS_VFP_CLASS): Define macro.
        (SECONDARY_OUTPUT_RELOAD_CLASS, SECONDARY_INPUT_RELOAD_CLASS): Use
        IS_VFP_CLASS.
        (REGISTER_MOVE_COST): Likewise.
        * config/arm/arm-protos.h (vfp3_const_double_rtx): Add prototype.
        * config/arm/vfp.md (VFPCC_REGNUM): Redefine as 127.
        (*arm_movsi_vfp, *thumb2_movsi_vfp, *movsfcc_vfp)
        (*thumb2_movsfcc_vfp, *abssf2_vfp, *negsf2_vfp, *addsf3_vfp)
        (*subsf3_vfp, *divsf_vfp, *mulsf_vfp, *mulsf3negsf_vfp)
        (*mulsf3addsf_vfp, *mulsf3subsf_vfp, *mulsf3negsfaddsf_vfp)
        (*extendsfdf2_vfp, *truncdfsf2_vfp, *truncsisf2_vfp)
        (*truncsidf2_vfp, fixuns_truncsfsi2, fixuns_truncdfsi2)
        (*floatsisf2_vfp, *floatsidf2_vfp, floatunssisf2)
        (floatunssidf2, *sqrtsf2_vfp, *cmpsf_split_vfp)
        (*cmpsf_trap_split_vfp, *cmpsf_vfp, *cmpsf_trap_vfp): Use 't'
        where appropriate for single-word registers.
        (*movsf_vfp, *thumb2_movsf_vfp, *movdf_vfp, *thumb2_movdf_vfp):
        As above. Fix type attributes.
        * config/arm/constraints.md (register_contraint "t"): Define.
        (register_constraint "w"): Change to D0-D15, or D0-D31 for
        VFPv3/NEON.
        (register_constraint "x"): Define.
        (constraint "Dv"): Define.

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

        * tree.h (DECL_ALIGN): Prevent use on a FUNCTION_DECL.

2007-07-03  Tom Tromey  <tromey@redhat.com>

        * c-parser.c (objc_pq_context): Removed.
        (objc_need_raw_identifier): Likewise.
        (c_parser) <objc_pq_context>: New field.
        <objc_need_raw_identifier>: Likewise.
        (OBJC_NEED_RAW_IDENTIFIER): Removed.
        (c_lex_one_token): Update.
        (c_parser_objc_protocol_definition): Update.
        (c_parser_objc_method_definition): Update.
        (c_parser_objc_methodproto): Update.
        (c_parser_declspecs): Update.

2007-07-03  David Ung  <davidu@mips.com>

        * config/mips/mips.c (mips_issue_rate): Return 4 for 74K processors.

2007-07-03  David Ung  <davidu@mips.com>
            Richard Sandiford  <richard@codesourcery.com>

        * doc/invoke.texi: Document -march=74kf3_2.
        * config/mips/mips.h (PROCESSOR_74KF3_2): New processor_type.
        (TUNE_74K): Check for it.
        * config/mips/mips.c (mips_cpu_info): Add 74kf3_2.
        (mips_rtx_cost_data): Add an entry for PROCESSOR_74KF3_2.
        * config/mips/mips.md (cpu): Add 74kf3_2.
        * config/mips/74k.md (r74k_int_logical, r74k_int_arith, r74k_int_nop)
        (r74k_int_cmove, r74k_int_mult, r74k_int_mul3, r74k_int_mfhilo)
        (r74k_int_mthilo, r74k_int_div, r74k_int_call, r74k_int_jump)
        (r74k_int_load, r74k_int_store, r74k_unknown, r74k_multi): Add
        74kf3_2 to the CPU list.
        (r74kf3_2_fadd, r74kf3_2_fmove, r74kf3_2_fload, r74kf3_2_fstore)
        (r74kf3_2_fmul_sf, r74kf3_2_fmul_df, r74kf3_2_fdiv_sf)
        (r74kf3_2_fdiv_df, r74kf3_2_frsqrt_sf, r74kf3_2_frsqrt_df)
        (r74kf3_2_fcmp, r74kf3_2_fcvt, r74kf3_2_fxfer_to_c1)
        (r74kf3_2_fxfer_from_c1): New insn reservations.

2007-07-03  Richard Sandiford  <richard@codesourcery.com>
            David Ung  <davidu@mips.com>

        * doc/invoke.texi: Replace -march=24kf with -march=24kf2_1 and
        -march=24kx with -march=24kf1_1.  Likewise 24ke[fx], 34k[fx]
        and 74k[fx].  Document aliases for the new options.
        * config/mips/mips.h (PROCESSOR_24KF): Rename to...
        (PROCESSOR_24KF2_1): ...this.
        (PROCESSOR_24KX): Rename to...
        (PROCESSOR_24KF1_1): ...this.
        (PROCESSOR_74KF): Rename to...
        (PROCESSOR_74KF2_1): ...this.
        (PROCESSOR_74KX): Rename to...
        (PROCESSOR_74KF1_1): ...this.
        (TUNE_74K): Update PROCESSOR_* names.
        * config/mips/mips.c (mips_cpu_info): Add 24kf2_1 as a synonym
        for 24kf.  Add 24kf1_1 and 24kfx as synonyms for 24kx.  Likewise
        the 24ke*, 34k* and 74k* processors.  Update PROCESSOR_* names.
        (mips_rtx_cost_data): Update processor names in comments.
        (mips_issue_rate): Update PROCESSOR_* names.
        * config/mips/mips.md (cpu): Rename 24kf to 24kf2_1, 24kx to
        24kf1_1, 74kf to 74kf2_1 and 74kx to 74kf1_1.
        * config/mips/24k.md: Rename FPU-related r24k_* insn reservations
        to r24kf2_1_*.  Rename r24kx_* insn reservations to r24kf1_1_*.
        Update cpu attribute names.
        (r24k_fpu_iss): Rename this reservation to...
        (r24kf2_1_fpu_iss): ...this and update all uses.
        (r24kx_fpu_iss): Rename this reservation to...
        (r24kf1_1_fpu_iss): ...this and update all uses.
        * config/mips/74k.md: Rename FPU-related r74kf_* insn reservations
        to r74kf2_1_*.  Rename r74kx_* insn reservations to r74kf1_1_*.
        Update cpu attribute names.

2007-07-01  Kaz Kojima  <kkojima@gcc.gnu.org>

        * config/m32r/constraints.md: New file.
        * config/m32r/m32r.c: Include tm-constrs.h.
        (small_data_operand): Use satisfies_constraint_* instead of macro.
        (addr24_operand, gen_compare): Likewise.
        * config/m32r/m32r.h (REG_CLASS_FROM_LETTER): Remove.
        (INT8_P, UPPER16_P, UINT32_P, UINT5_P, INVERTED_SIGNED_8BIT,
        CONST_OK_FOR_LETTER_P, CONST_DOUBLE_OK_FOR_LETTER_P,
        EXTRA_CONSTRAINT): Likewise.
        * config/m32r/m32r.md: Include constraints.md.
        (*movsi_insn): Use satisfies_constraint_* instead of macro.
        (andsi3, iorsi3, xorsi3, seq_insn+1, sne): Likewise.
        * config/m32r/predicates.md (conditional_move_operand): Likewise.
        (two_insn_const_operand, int8_operand, uint16_operand,
        reg_or_int16_operand, reg_or_uint16_operand,
        reg_or_cmp_int16_operand, cmp_int16_operand,
        seth_add3_operand): Likewise.

2007-07-03  Eric Christopher  <echristo@gmail.com>

        * libgcc2.h: Conditionally declare __bswapsi2 and
        __bswapdi2.
        
2007-07-03  H.J. Lu  <hongjiu.lu@intel.com>

        * ddg.c (check_sccs): Define only if ENABLE_CHECKING is
        defined.

2007-07-03  Rainer Orth  <ro@TechFak.Uni-Bielefeld.DE>

        PR target/28307
        * gthr-posix.h [SUPPORTS_WEAK && GTHREAD_USE_WEAK]
        (__gthrw_pragma): Provide default definition.
        (__gthrw2): Use it.
        * gthr-posix.c (__gthrw_pragma): Define.

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

        * tree-ssa-sccvn.c (set_ssa_val_to): Check for operand_equal_p
        before declaring inequality.

2007-07-03  Rask Ingemann Lambertsen  <rask@sygehus.dk>

        * combine.c (recog_for_combine): Log the success or failure of
          matching new insn patterns against the machine description in
          detailed dumps.

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

        * ddg.c (print_sccs): New function.
        (check_sccs): New function.
        (create_ddg_all_sccs): Use it.
        * ddg.h (print_sccs): Declare.
        * modulo-sched.c (sms_order_nodes): Call print_sccs.

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

        * targhooks.h (default_mode_for_suffix): New function declaration.
        * targhooks.c (default_mode_for_suffix): New default target hook.
        * target.h (struct c): New structure in the targetm struct.
        (mode_for_suffix): New target hook as part of struct c.
        target-def.h (TARGET_C_MODE_FOR_SUFFIX): Define as
        default_mode_for_suffix.
        (TARGET_C): New define.
        * c-lex.c: Include "target.h".
        (interpret_float): Use targetm.c.mode_for_suffix to determine
        the mode for a given non-standard suffix.
        Makefile.in (c-lex.o): Depend on $(TARGET_H).

        * config/i386/i386.c (ix86_c_mode_for_suffix): New static function.
        (TARGET_C_MODE_FOR_SUFFIX): Define to ix86_c_mode_for_suffix.

        * doc/extend.texi (Floating Types): New node.  Document __float80 and
        __float128 types.  Document 'w', 'W', 'q' and 'Q' suffixes.

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

        PR target/32506
        * config/sh/sh.md (udivsi3_i1_media): Use target_reg_operand
        predicate instead of target_operand.
        (divsi3_i1_media, divsi3_media_2): Likewise.

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

        * tree.h (alias_sets_might_conflict_p): Rename into
        alias_sets_must_conflict_p.
        * alias.c (alias_sets_might_conflict_p): Likewise.
        (alias_sets_conflict_p): Use it.
        (objects_must_conflict_p): Likewise.
        * c-common.c (strict_aliasing_warning): Adjust.

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

        * rtlhooks.c (gen_lowpart_if_possible): Check for
        invalid subreg before calling gen_lowpart_SUBREG.

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

        * config/darwin9.h: Add copyright notice.
        (LINK_COMMAND_SPEC): Add comment.
        (DARWIN_LIBSYSTEM_HAS_UNWIND): Define.
        * config/rs6000/darwin.h (MD_UNWIND_SUPPORT): Conditionalise on
        DARWIN_LIBSYSTEM_HAS_UNWIND.

2007-07-02  Jakub Jelinek  <jakub@redhat.com>

        PR libgomp/32468
        * omp-low.c (check_combined_parallel): New function.
        (lower_omp_parallel): Call it via walk_stmts, set
        OMP_PARALLEL_COMBINED if appropriate.
        (determine_parallel_type): If OMP_FOR resp. OMP_SECTIONS
        isn't the only statement in WS_ENTRY_BB or OMP_RETURN
        the only one in PAR_EXIT_BB and not OMP_PARALLEL_COMBINED,
        don't consider it as combined parallel.

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

        * configure.ac (gcc_gxx_include_dir): Use $(libsubdir_to_prefix).
        (gcc_tooldir): Likewise.
        * configure: Regenerate.
        * Makefile.in (libsubdir_to_prefix): New variable, based on the
        old configure.ac gcc_tooldir setting.
        (prefix_to_exec_prefix): New variable.
        (DRIVER_DEFINES): Use $(libsubdir_to_prefix)$(prefix_to_exec_prefix)
        rather than $(unlibsubdir)/../ to derive TOOLDIR_BASE_PREFIX.

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

        Fix PR tree-optimization/32583
        Fix PR tree-optimization/32584
        * tree-ssa-pre.c (phi_translate): Always pass seen bitmap.
        (phi_translate_set): Use phi_translate directly now.
        (make_values_for_stmt): Don't value number RHS if we already know
        it is constant.

2007-07-02  Steve Ellcey  <sje@cup.hp.com>
            Jim Wilson <wilson@specifix.com>

        PR target/31684
        * haifa-sched.c (add_to_speculative_block): Change copy_rtx to
        copy_insn.

2007-07-02  Sandra Loosemore  <sandra@codesourcery.com>
            Richard Sandiford  <richard@codesourcery.com>
            Nigel Stephens  <nigel@mips.com>

        * config/mips/mips-protos.h (mips16e_save_restore_info): New struct.
        (mips16e_output_save_restore): Declare.
        (mips16e_save_restore_pattern_p): Likewise.
        * config/mips/mips.h (GENERATE_MIPS16E_SAVE_RESTORE): New macro.
        * config/mips/mips.c (MIPS_MAX_FIRST_STACK_STEP): Return 0x7f8
        for GENERATE_MIPS16E_SAVE_RESTORE.  Return 0x400 for TARGET_MIPS16
        && !GENERATE_MIPS16E_SAVE_RESTORE && !TARGET_64BIT.
        (BITSET_P): New global macro, extracted from...
        (mips_for_each_saved_reg): ...here.
        (mips16e_save_restore_info): New struct.
        (mips16e_s2_s8_regs, mips16e_a0_a3_regs): New variables.
        (mips16e_save_restore_regs): New variable.
        (mips_split_plus, mips16e_find_first_register): New functions.
        (mips16e_mask_registers): New function.
        (compute_frame_size): Expand the commentary before the function.
        Enforce the MIPS16e save and restore register range restrictions.
        Pad the general register save area at the low end.
        (mips16e_save_restore_reg, mips16e_build_save_restore)
        (mips16e_save_restore_pattern_p, mips16e_add_register_range)
        (mips16e_output_save_restore, mips16e_collect_propagate_value)
        (mips16e_collect_argument_save, mips16e_collect_argument_saves):
        New functions.
        (mips_expand_prologue, mips_expand_epilogue): Handle
        GENERATE_MIPS16E_SAVE_RESTORE.
        * config/mips/mips.md (*mips16e_save_restore): New pattern.

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

        PR tree-optimization/31966
        PR tree-optimization/32533
        * tree-if-conv.c (add_to_dst_predicate_list): Use "edge", not
        "basic_block" description as its third argument.  Update function
        calls to get destination bb from "edge" argument.  Save "cond" into
        aux field of the edge.  Update prototype for changed arguments.
        (if_convertible_loop_p): Clear aux field of incoming edges if bb
        contains phi node.
        (find_phi_replacement_condition): Operate on incoming edges, not
        on predecessor blocks.  If there is a condition saved in the
        incoming edge aux field, AND it with incoming bb predicate.
        Return source bb of the first edge.
        (clean_predicate_lists): Clean aux field of outgoing node edges.
        (tree_if_conversion): Do not initialize cond variable. Move
        variable declaration into the loop.
        (replace_phi_with_cond_gimple_modify_stmt): Remove unneded
        initializations of new_stmt, arg0 and arg1 variables.

2007-07-02  Jakub Jelinek  <jakub@redhat.com>

        * tree-nrv.c (dest_safe_for_nrv_p): Grok any handled_component_p,
        SSA_NAMEs, RESULT_DECLs and PARM_DECLs.

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

        * tree-ssa.c (useless_type_conversion_p): Document
        future intent as defining the middle-end type system.
        Re-structure to call langhook last, group by type class,
        mark questionable parts.

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

        * tree-flow.h (types_compatible_p): Declare.
        * tree-ssa.c (types_compatible_p): New function.
        * ipa-type-escape.c (discover_unique_type): Use
        types_compatible_p instead of lang_hooks.types_compatible_p.
        * tree-ssa-copyrename.c (copy_rename_partition_coalesce): Likewise.
        * tree-vn.c (expressions_equal_p): Likewise.
        * tree.c (fields_compatible_p): Likewise.
        * tree-ssa-dom.c (avail_expr_eq): Likewise.
        (cprop_operand): Use useless_type_conversion_p instead of
        lang_hooks.types_compatible_p.
        * tree-inline.c (setup_one_parameter): Likewise.
        (declare_return_variable): Likewise.
        * tree-nrv.c (tree_nrv): Likewise.
        * tree-ssa-ccp.c (maybe_fold_offset_to_array_ref): Likewise.
        (maybe_fold_offset_to_component_ref): Likewise.
        (maybe_fold_offset_to_reference): Likewise.
        * tree-ssa-copy.c (may_propagate_copy): Likewise.
        (merge_alias_info): Likewise.
        * tree-ssa-forwprop.c (forward_propagate_addr_expr_1): Likewise.
        * tree-ssa-phiopt.c (conditional_replacement): Likewise.
        * tree-ssa-reassoc.c (optimize_ops_list): Likewise.
        * tree-tailcall.c (find_tail_calls): Likewise.
        * tree-vect-generic.c (expand_vector_operations_1): Likewise.
        * gimplify.c (canonicalize_addr_expr): Likewise.
        (fold_indirect_ref_rhs): Likewise.
        (gimplify_addr_expr): Likewise.  Swap parameters to cpt_same_type.
        (cpt_same_type): Likewise.
        (check_pointer_types_r): Swap parameters to cpt_same_type
        where appropriate.
        * fold-const.c (fold_convert): Revert fix for PR15988.
        * tree-inline.c (setup_one_parameter): Instead fix it here by
        using fold_build1 instead of fold_convert and checking for
        error_mark_node.  Convert only if the conversion is necessary.

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

        * configure.ac: Check for .gnu_attribute on Power.
        * configure: Regenerate.
        * config/rs6000/rs6000.c (rs6000_file_start): If supported, output
        attribute for floating-point ABI.

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

        PR tree-optimization/32230
        PR tree-optimization/32477
        * tree-vect-analyze.c (vect_analyze_data_refs): Fail if base 
        address is a constant.

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

        * config.gcc (mipsisa32-*-elf*, mipsisa32el-*-elf*)
        (mipsisa32r2-*-elf*, mipsisa32r2el-*-elf*)
        (mipsisa64-*-elf*, mipsisa64el-*-elf*): Combine top-level
        stanzas.  Use the first part of the triplet to set MIPS_ISA_DEFAULT.
        Remove redundant setting of MASK_FLOAT64 and MASK_64BIT for the
        64-bit targets.  Add support for *-elfoabi*.
        * config/mips/t-isa3264 (MULTILIB_OPTIONS, MULTILIB_DIRNAMES): Use
        different settings if $(tm_defines) does not select the EABI.
        (MULTILIB_EXCLUSIONS): Define in those circumstances.
        * config/mips/mips.h (MIPS_ISA_LEVEL_OPTION_SPEC): New macro.
        (MIPS_ARCH_OPTION_SPEC): Likewise.
        (MIPS_ISA_LEVEL_SPEC): Likewise.
        (OPTION_DEFAULT_SPECS): Use MIPS_ARCH_OPTION_SPEC.
        * config/mips/elfoabi.h: New file.

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

        * tree-flow.h (tree_ssa_useless_type_conversion_1): Rename to ...
        (useless_type_conversion_p): ... this.
        * tree-ssa.c (tree_ssa_useless_type_conversion_1): Rename to ...
        (useless_type_conversion_p): ... this.
        * builtins.c (fold_builtin_memory_op): Rename
        tree_ssa_useless_type_conversion_1 to useless_type_conversion_p.
        * tree-cfg.c (verify_expr): Likewise.
        * tree-ssa-address.c (tree_ssa_useless_type_conversion_1): Likewise.
        * tree-ssa-ccp.c (ccp_fold): Likewise.
        * tree-ssa-copy.c (may_propagate_copy): Likewise.
        * tree-ssa-dom.c (eliminate_redundant_computations): Likewise.
        * tree-ssa-forwprop.c (forward_propagate_addr_expr_1): Likewise.
        * tree-ssa-loop-niter.c (refine_bounds_using_guard): Likewise.
        * tree-ssa-pre.c (eliminate): Likewise.
        * tree-ssa.c (delete_tree_ssa): Likewise.
        (tree_ssa_useless_type_conversion): Likewise.
        * tree.c (build2_stat): Likewise.

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

        Fix PR tree-optimization/32571
        * tree-ssa-sccvn.c (visit_use): Shortcut copies to avoid
        simplifying them.

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

        * tree-ssa-sccvn.c (copy_reference_ops_from_ref): Handle constants
        and other expected operations explicitly, change default to
        gcc_unreachable. 

2007-07-01  Daniel Jacobowitz  <dan@codesourcery.com>

        * config/arm/arm.c (arm_cannot_copy_insn_p): Do not expect a
        PARALLEL.
        * config/arm/arm.md (pic_add_dot_plus_four, pic_add_dot_plus_eight)
        (tls_load_dot_plus_eight): Move the label number into the unspec.
        * config/arm/thumb2.md (pic_load_dot_plus_four): Likewise.

2007-07-01  Andreas Schwab  <schwab@suse.de>

        * dwarf2out.c (initial_return_save): Define only if used.

2007-07-01  Kenneth Zadeck <zadeck@naturalbridge.com>

        Unreverting Richard's Revert of:

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

        * dce.c (deletable_insn_p_1): New function, split out from...
        (deletable_insn_p): ...here.  Only treat bare USEs and CLOBBERs
        specially, not those inside PARALLELs.  Remove BODY argument
        and adjust recursive call accordingly.
        (prescan_insns_for_dce): Update call to delete_insn_p.

2007-07-01  Vladimir Yanovsky  <yanov@il.ibm.com>
            Revital Eres  <eres@il.ibm.com>

        * ddg.c (create_ddg_all_sccs): Fix missed
        initialization of scc_nodes.

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

        PR middle-end/32559
        * fold-const.c (fold-binary) [PLUS_EXPR]: Convert ~X + X to 1 or
        X + ~X to 1 only for INTEGRAL_TYPE_P type.

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

        * configure.ac: Check for .gnu_attribute on MIPS.
        * configure, config.in: Regenerate.
        * config/mips/mips.c (mips_file_start): If supported, output
        attribute for floating-point ABI.

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

        PR target/32433
        * config/i386/i386.md (ffssi2): Expand as ffs_cmove for TARGET_CMOVE.
        (ffs_cmove): New expander to expand using ctz pattern.
        (*ffs_cmove): Remove pattern.
        (*ffs_no_cmove): Enable only for !TARGET_CMOVE.
        (ffsdi2): Expand using ctz pattern.
        (*ffs_rex64): Remove pattern.

2007-06-30  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>

        PR rtl-optimization/32296
        * pa.md (return): Delete pattern.
        (return_internal): Remove "(const_int 1)" from pattern.
        (epilogue): Use return_internal pattern for trivial returns.
        * pa-protos.h (hppa_can_use_return_insn_p): Delete declaration.
        * pa.c (hppa_can_use_return_insn_p): Delete function.  Include "df.h".

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

        * tree-ssa-pre.c (is_exception_related): New function
        (can_value_number_operation): Use it.

2007-06-30  Daniel Berlin  <dberlin@dberlin.org>
        
        Fix PR tree-optimization/32540
        Fix PR tree-optimization/31651

        * tree-ssa-sccvn.c: New file.

        * tree-ssa-sccvn.h: Ditto.
        
        * tree-vn.c: Include tree-ssa-sccvn.h
        (val_expr_paid_d): Removed.
        (value_table): Ditto.
        (vn_compute): Ditto.
        (val_expr_pair_hash): Ditto.
        (val_expr_pair_expr_eq): Ditto.
        (copy_vuses_from_stmt): Ditto.
        (vn_delete): Ditto.
        (vn_init): Ditto.
        (shared_vuses_from_stmt): Ditto.
        (print_creation_to_file): Moved up.
        (sort_vuses): Ditto.
        (sort_vuses_heap): Ditto.
        (set_value_handle): Make non-static.
        (make_value_handle): Ditto.
        (vn_add): Rewritten to use sccvn lookups.
        (vn_add_with_vuses): Ditto.
        (vn_lookup): Ditto (and second argument removed).
        (vn_lookup_with_vuses): Ditto.
        (vn_lookup_or_add): Ditto (and second argument removed);
        (vn_lookup_or_add_with_vuses): Ditto.
        (vn_lookup_with_stmt): New.
        (vn_lookup_or_add_with_stmt): Ditto.
        (create_value_handle_for_expr): Ditto.

        * tree-ssa-pre.c: Include tree-ssa-sccvn.h.
        (seen_during_translate): New function.
        (phi_trans_lookup): Use iterative_hash_expr, not vn_compute.
        (phi_trans_add): Ditto.
        (constant_expr_p): FIELD_DECL is always constant.
        (phi_translate_1): Renamed from phi_translate, add seen bitmap.
        Use constant_expr_p.
        Avoid infinite recursion on mutually valued expressions.
        Change callers of vn_lookup_or_add.
        (phi_translate): New function.
        (compute_antic_safe): Allow phi nodes.
        (create_component_ref_by_pieces): Update for FIELD_DECL change.
        (find_or_generate_expression): Rewrite slightly.
        (create_expression_by_pieces): Updated for vn_lookup_or_add
        change.
        Update VN_INFO for new names.
        (insert_into_preds_of_block): Update for new names.
        (add_to_exp_gen): New function.
        (add_to_sets): Use vn_lookup_or_add_with_stmt.
        (find_existing_value_expr): Rewrite to changed vn_lookup.
        (create_value_expr_from): Ditto, and use add_to_exp_gen.
        (try_look_through_load): Removed.
        (try_combine_conversion): Ditto.
        (get_sccvn_value): New function.
        (make_values_for_phi): Ditto.
        (make_values_for_stmt): Ditto.
        (compute_avail): Rewritten for vn_lookup_or_add changes and to use
        SCCVN.
        (init_pre): Update for SCCVN changes.
        (fini_pre): Ditto.
        (execute_pre): Ditto.

        * tree-flow.h (make_value_handle): Declare.
        (set_value_handle): Ditto.
        (sort_vuses_heap): Ditto.
        (vn_lookup_or_add_with_stmt): Ditto.
        (vn_lookup_with_stmt): Ditto.
        (vn_compute): Remove.
        (vn_init): Ditto.
        (vn_delete): Ditto.
        (vn_lookup): Update arguments.

        * Makefile.in (tree-ssa-pre.o): Add tree-ssa-sccvn.h
        (tree-vn.o): Ditto.
        (tree-ssa-sccvn.o): New.
        (OBJS-common): Add tree-ssa-sccvn.o
        
2007-06-30  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>

        PR c/4076
        * c-typeck.c (build_external_ref): Don't mark as used if called
        from itself.
        * calls.c (rtx_for_function_call): Likewise.
        
2007-06-30  Richard Sandiford  <richard@codesourcery.com>

        Revert:

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

        * dce.c (deletable_insn_p_1): New function, split out from...
        (deletable_insn_p): ...here.  Only treat bare USEs and CLOBBERs
        specially, not those inside PARALLELs.  Remove BODY argument
        and adjust recursive call accordingly.
        (prescan_insns_for_dce): Update call to delete_insn_p.

2007-06-30  Rask Ingemann Lambertsen <rask@sygehus.dk>

        * combine.c (combine_validate_cost): New parameter NEWOTHERPAT.
        (try_combine): Move potential calls to undo_all() so they happen
        before we commit to using the combined insns.

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

        * loop-unroll.c (unroll_loop_runtime_iterations): Unshare newly emit
        code.

2006-06-30  Thomas Neumann  <tneumann@users.sourceforge.net>

        * ipa.c (cgraph_postorder): Cast according to the coding conventions.
        (cgraph_remove_unreachable_nodes): Likewise.
        * ipa-cp.c (ipcp_propagate_stage): Use BOTTOM instead of integer 0.
        * ipa-inline.c (update_caller_keys): Cast according to the coding
        conventions.
        (cgraph_decide_recursive_inlining): Likewise.
        (cgraph_decide_inlining_of_small_function): Likewise.
        (try_inline): Likewise.
        (cgraph_decide_inlining_incrementally): Likewise.
        * ipa-pure-const.c (get_function_state): Likewise.
        (scan_function): Likewise.
        (analyze_function): Likewise.
        (static_execute): Likewise.
        * gcc/ipa-reference.c (scan_for_static_refs): Likewise.
        (merge_callee_local_info): Likewise.
        (analyze_function): Use type safe memory macros.
        (static_execute): Likewise. Cast according to the coding conventions.
        * ipa-type-escape.c (scan_for_regs): Cast according to the coding
        conventions.
        * ipa-utils.c (searchc): Likewise. Avoid using C++ keywords as variable
        names.
        (ipa_utils_reduced_inorder): Likewise. Use type safe memory macros.
        * ipa-utils.h (struct ipa_dfa_info): Avoid using C++ keywords as
        variable names.

2007-06-29  Andrew Pinski  <andrew_pinski@playstation.sony.com>

        PR middle-end/30024
        * emit-rtl.c (init_emit_once): Intilize const_tiny_rtx[0]
        for complex modes (both int and real).

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

        * cse.c: Rever accidentally comitted TODO_verify_rtl_sharing change.

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

        PR middle-end/32372
        * cse.c (cse_insn): Avoid invalid sharing in between register note and
        the insn pattern.

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

        PR target/32335
        * config/avr/avr.c: Include dataflow header file.
        (expand_prologue): Adjust for prologue insn change.
        * config/avr/avr.md (call_prologue_saves): Only modify REG_SP once
        inside a insn.

2007-06-29  Richard Guenther  <rguenther@suse.de>

        PR middle-end/32493
        * gimplify.c (gimplify_call_expr): Ignore variable argument parts
        during type verification.

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

        * recog.c (validate_change_rtx_1): Unshare TO argument.

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

        PR tree-optimization/24659
        * tree-vect-transform.c (vectorizable_call): Handle
        (nunits_in == nunits_out / 2) and (nunits_out == nunits_in / 2) cases.

        * config/i386/sse.md (vec_pack_sfix_v2df): New expander.
        * config/i386/i386.c (enum ix86_builtins)
        [IX86_BUILTIN_VEC_PACK_SFIX]: New constant.
        (struct bdesc_2arg) [__builtin_ia32_vec_pack_sfix]: New builtin
        description.
        (ix86_init_mmx_sse_builtins): Define all builtins with 2 arguments as
        const using def_builtin_const.
        (ix86_expand_binop_builtin): Remove bogus assert() that insn wants
        input operands in the same modes as the result.
        (ix86_builtin_vectorized_function): Handle BUILT_IN_LRINT.

2007-06-29  Richard Sandiford  <rsandifo@nildram.co.uk>

        * df-problems.c (df_set_unused_notes_for_mw): Fix formatting.
        (df_set_dead_notes_for_mw): Likewise.

2007-06-29  Eric Botcazou  <ebotcazou@adacore.com>

        * c-common.c (pointer_int_sum): Do the negation in sizetype.

2007-06-28  DJ Delorie  <dj@redhat.com>

        * config/m32c/m32c.h (OVERRIDE_OPTIONS): Omit unneeded semicolon.

2007-06-28  Geoffrey Keating  <geoffk@apple.com>

        * doc/invoke.texi (C++ Dialect Options): Document
        fvisibility-ms-compat.
        * c.opt (fvisibility-ms-compat): New.

2007-06-28  Andrew Pinski  <andrew_pinski@playstation.sony.com>

        PR tree-opt/32417
        * tree-affine.c (aff_combination_add_elt): Handle
        pointer addition specially.

2007-06-28  Jakub Jelinek  <jakub@redhat.com>

        * config/rs6000/rs6000.c (rs6000_function_ok_for_sibcall): Ensure
        decl is non-external for AIX ABI.

2007-06-28  David Edelsohn  <edelsohn@gnu.org>

        * config/rs6000/predicates.md (current_file_function_operand):
        Ensure the symbol is non-external for AIX ABI.

2007-06-28  Nick Clifton  <nickc@redhat.com>

        * common.opt (fipa-matrix-reorg): Add Optimization attribute.
        (fdce, fdse, fpredictive-commoning): Likewise.

2007-06-28 Francois-Xavier Coudert <fxcoudert@gcc.gnu.org>

        PR other/31400
        * gcc.c (process_command): Recognize the new -static-libgfortran
        option.

2007-06-27  Rask Ingemann Lambertsen  <rask@sygehus.dk>

        PR target/32418
        * config/m32c/m32c.c (m32c_eh_return_stackadj_rtx): Dataflow fix:
        Use a call clobbered hard reg instead of a pseudo reg.

2007-06-27  Kaz Kojima  <kkojima@gcc.gnu.org>

        * config/sh/sh.md (load_gbr): Use correct operand constraint.

2007-06-27  Kaz Kojima  <kkojima@gcc.gnu.org>

        PR target/32479
        * config/sh/sh.md (udivsi3): Don't wrap the sequence with
        REG_LIBCALL and REG_RETVAL notes.
        (divsi3, mulsi3): Likewise.
        (mulhisi3): Likewise.  Use emit_libcall_block.
        (umulhisi3, smulsi3_highpart, umulsi3_highpart_i): Likewise.

2007-06-27  Seongbae Park  <seongbae.park@gmail.com>

        PR rtl-optimization/32481
        * combine.c (adjust_for_new_dest): Rescan the changed insn.

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

        * dce.c (deletable_insn_p_1): New function, split out from...
        (deletable_insn_p): ...here.  Only treat bare USEs and CLOBBERs
        specially, not those inside PARALLELs.  Remove BODY argument
        and adjust recursive call accordingly.
        (prescan_insns_for_dce): Update call to delete_insn_p.

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

        PR middle-end/32492
        * tree.h (fold_convertible_p): Declare.
        * fold-const.c (fold_convertible_p): New function.
        * gimplify.c (gimplify_call_expr): Use fold_convertible_p
        instead of lang_hooks.types_compatible_p.

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

        * fwprop.c (try_fwprop_subst): Use validate_unshare_change.
        * postreload.c (reload_cse_simplify_set): Instead of copying the rtx
        early use validate_unshare_change.
        (reload_combine): Likewise.
        * recog.c (change_t): New field unshare.
        (validate_change_1): Rename from validate_change; add argument unshare.
        (validate_change): Turn into wrapper of validate_change_1; update
        prototype for bools.
        (validate_unshare_change): New.
        (confirm_change_group): Unshare changes if asked for; avoid unnecesary
        calls of df_insn_rescan.
        * recog.h (validate_change): Replace ints by bools.
        (validate_unshare_change): Declare.

2007-06-26  Kenneth Zadeck <zadeck@naturalbridge.com>

        * tree.def (VEC_WIDEN_MULT_LO_EXPR): Corrected string name.
        
2007-06-26  Steve Ellcey  <sje@cup.hp.com>

        * builtins.c (expand_builtin_next_arg): Change Pmode to ptr_mode.

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

        * ipa-inline.c (cgraph_mark_inline): Assert that we never inline
        uninlinable call.
        (cgraph_decide_inlining_of_small_function, cgraph_decide_inlining,
        cgraph_decide_inlining_incrementally): Move uninlinability checks to
        places other call site specific checks are performed.

2007-06-25  Andrew Pinski  <andrew_pinski@playstation.sony.com>

        PR tree-opt/32421
        * tree-vect-transform.c (vectorizable_operation): Convert
        POINTER_PLUS_EXPR over to PLUS_EXPR.

2007-06-25  Chao-ying Fu  <fu@mips.com>

        * doc/rtl.texi (Machine Modes): Document QQ, HQ, SQ, DQ, TQ,
        UQQ, UHQ, USQ, UDQ, UTQ, HA, SA, DA, TA, UHA, USA, UDA, and UTAmodes.
        Document MODE_FRACT, MODE_UFRACT, MODE_ACCUM, MODE_UACCUM.
        Document GET_MODE_IBIT, and GET_MODE_FBIT.

        * machmode.h (VECTOR_MODE_P): Test MODE_VECTOR_FRACT,
        MODE_VECTOR_UFRACT, MODE_VECTOR_ACCUM, MODE_VECTOR_UACCUM.
        (SCALAR_FRACT_MODE_P, SCALAR_UFRACT_MODE_P, ALL_SCALAR_FRACT_MODE_P,
        SCALAR_ACCUM_MODE_P, SCALAR_UACCUM_MODE_P, ALL_SCALAR_ACCUM_MODE_P,
        SIGNED_SCALAR_FIXED_POINT_MODE_P, UNSIGNED_SCALAR_FIXED_POINT_MODE_P,
        ALL_SCALAR_FIXED_POINT_MODE_P, FRACT_MODE_P, UFRACT_MODE_P,
        ALL_FRACT_MODE_P, ACCUM_MODE_P, UACCUM_MODE_P, ALL_ACCUM_MODE_P,
        SIGNED_FIXED_POINT_MODE_P, UNSIGNED_FIXED_POINT_MODE_P,
        ALL_FIXED_POINT_MODE_P): New define.
        (CLASS_HAS_WIDER_MODES_P): Test MODE_FRACT, MODE_UFRACT, MODE_ACCUM,
        MODE_UACCUM.
        (GET_MODE_IBIT, GET_MODE_FBIT): New define.

        * mode-classes.def (MODE_FRACT, MODE_UFRACT, MODE_ACCUM, MODE_UACCUM,
        MODE_VECTOR_FRACT, MODE_VECTOR_UFRACT, MODE_VECTOR_ACCUM,
        MODE_VECTOR_UACCUM): New mode classes.

        * machmode.def: Document FRACT_MODE, UFRACT_MODE, ACCUM_MODE,
        UACCUM_MODE, ADJUST_IBIT, and ADJUST_FBIT.
        Add QQ, HQ, SQ, DQ, TQ, UQQ, UHQ, USQ, UDQ, UTQ, HA, SA, DA, TA, UHA,
        USA, UDA, and UTA.

        * genmodes.c (struct mode_data): Add ibit and fbit fields.
        (blank_mode): Initialize ibit and fbit.
        (adj_ibit, adj_fbit): New to adjust ibit and fbit.
        (vector_class): Handle MODE_FRACT, MODE_UFRACT, MODE_ACCUM,
        MODE_UACCUM.
        (new_adjust): Change required_class to required_class_from and
        required_class_to for testing within a range.
        (complete_mode): Handle MODE_FRACT, MODE_UFRACT, MODE_ACCUM,
        MODE_UACCUM, MODE_VECTOR_FRACT, MODE_VECTOR_UFRACT, MODE_VECTOR_ACCUM,
        MODE_VECTOR_UACCUM.
        (FRACT_MODE, UFRACT_MODE, ACCUM_MODE, UACCUM_MODE): New define.
        (make_fixed_point_mode): New.
        (_ADD_ADJUST): Change C to C1 and C2.
        (ADJUST_BYTESIZE, ADJUST_ALIGNMENT, ADJUST_FLOAT_FORMAT): Change to
        use a range for machine classes.
        (ADJUST_IBIT, ADJUST_FBIT): New.
        (emit_insn_modes_h): Output defines of CONST_MODE_IBIT and
        CONST_MODE_FBIT.
        (emit_mode_adjustments): Handle MODE_VECTOR_FRACT, MODE_VECTOR_UFRACT,
        MODE_VECTOR_ACCUM, MODE_VECTOR_UACCUM.
        Emit adjustment for ibit and fbit.
        (emit_mode_ibit, emit_mode_fbit): New.
        (emit_insn_modes_c): Add emit_mode_ibit and emit_mode_fbit.

2007-06-25  Nathan Froyd  <froydnj@codesourcery.com>

        * config/rs6000/spe.md (*frob_ti_tf_2): Specify an input_operand
        as the source of the set.

2007-06-25  Roman Zippel <zippel@linux-m68k.org>

        * config/m68k/m68k.h (DATA_REGNO_P, ADDRESS_REGNO_P, INT_REGNO_P,
        FP_REGNO_P): Use IN_RANGE.
        (REGNO_OK_FOR_DATA_P, REGNO_OK_FOR_FP_P): Remove.
        (REGNO_OK_FOR_INDEX_NONSTRICT_P, REGNO_OK_FOR_BASE_NONSTRICT_P): New.
        (DATA_REG_P): Use DATA_REGNO_P.
        (FP_REG_P): Use FP_REGNO_P.
        (ADDRESS_REG_P): Use ADDRESS_REGNO_P.
        * config/m68k/m68k.c (m68k_legitimate_base_reg_p): Use
        REGNO_OK_FOR_INDEX_NONSTRICT_P, REGNO_OK_FOR_BASE_NONSTRICT_P.

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

        PR middle-end/30563
        * cgraphunit.c (cgraph_analyze_function): Fix ordering problem.

2007-06-24  Sebastian Pop  <sebpop@gmail.com>

        PR middle-end/32461
        * fold-const.c (fold_binary): Strip nops of operand 0
        of BIT_NOT_EXPR before calling operand_equal_p.
        * testsuite/gcc.dg/tree-ssa/pr32461-1.c: New.
        * testsuite/gcc.dg/tree-ssa/pr32461-2.c: New.

2007-06-23  Mark Mitchell  <mark@codesourcery.com>

        * doc/extend.texi: Document that dllimport and dllexport imply
        default visibility.
        * tree.c (handle_dll_attribute): Set DECL_VISIBILITY on the
        imported or exported declaration, including type declarations.
        * c-common.c (handle_visibility_attribute): Check for conflicts
        with dllimport/dllexport.
        (c_determine_visibility): Handle dllimport/dllexport as an
        explicit visibility atttribute.

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

        PR tree-optimization/16876
        PR middle-end/29478
        * tree.h (CALL_CANNOT_INLINE_P): New macro to access static_flag
        for CALL_EXPRs.
        * tree-inline.c (initialize_inlined_parameters): Do not call
        lang_hooks.tree_inlining.convert_parm_for_inlining.
        * cgraphbuild.c (initialize_inline_failed): Set inline failed
        reason for mismatched types.
        * gimplify.c (gimplify_call_expr): Verify the call expression
        arguments match the called function type signature.  Otherwise
        mark the call expression to be not considered for inlining
        using CALL_CANNOT_INLINE_P flag.
        * ipa-inline.c (cgraph_mark_inline): Honor CALL_CANNOT_INLINE_P on the
        edges call expression.
        (cgraph_decide_inlining_of_small_function): Likewise.
        (cgraph_decide_inlining): Likewise.
        * c-objc-common.h (LANG_HOOKS_TREE_INLINING_CONVERT_PARM_FOR_INLINING):
        Remove define.
        * c-tree.h (c_convert_parm_for_inlining): Remove declaration.
        * c-typeck.c (c_convert_parm_for_inlining): Remove.
        * langhooks-def.h (lhd_tree_inlining_convert_parm_for_inlining):
        Remove declaration.
        (LANG_HOOKS_TREE_INLINING_CONVERT_PARM_FOR_INLINING): Remove define.
        * langhooks.c (lhd_tree_inlining_convert_parm_for_inlining):
        Remove.
        * langhooks.h (struct lang_hooks_for_tree_inlining): Remove
        convert_parm_for_inlining member.

2007-06-23  Richard Earnshaw  <rearnsha@arm.com>

        PR target/31152
        * arm.md (negscc): Match the correct operand for optimized LT0 test.
        Remove optimization for GT.

2007-06-23  Kenneth Zadeck <zadeck@naturalbridge.com>

        PR middle-end/32437
        * dce.c (deletable_insn_p): Add extra parameter and recurse if insn
        is a PARALLEL.
        (prescan_insns_for_dce): Add extra parameter.
        
2007-06-23  Jan Hubicka  <jh@suse.cz>

        PR middle-end/31541
        * gimplify.c (mark_addressable): New function.
        (gimplify_modify_expr_rhs, gimplify_addr_expr, gimplify_expr): Use it.

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

        PR middle-end/32374
        * expr.c (store_constructor): Do not clobber non-zeroed memory. 

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

        PR target/32413
        * config/i386/i386.c (ix86_register_move_cost): Rise the cost of
        moves between MMX/SSE registers to at least 8 units to prevent
        ICE caused by non-tieable SI/HI/QImodes in SSE registers. 

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

        * config/i386/i386.c (override_options): Correct x86_sahf
        setting condition.

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

        PR target/32406
        * config/mips/mips.md (define_constants): Rename UNSPEC_EH_RECEIVER
        to UNSPEC_NONLOCAL_GOTO_RECEIVER globally.
        (exception_receiver): Renamed to ...
        (nonlocal_goto_receiver): ... this.

2007-06-22  Roman Zippel <zippel@linux-m68k.org>

        * df-scan.c (df_read_modify_subreg_p): Use REGMODE_NATURAL_SIZE.
        (df_def_record_1): Set (DF_REF_READ_WRITE | DF_REF_PARTIAL) for
        partial register accesses.

2007-06-21  Adam Nemet  <anemet@caviumnetworks.com>

        * fold-const.c (debug_fold_checksum): Move it under
        ENABLE_FOLD_CHECKING.

2007-06-21  Sebastian Pop  <sebpop@gmail.com>

        PR middle-end/20623
        * tree.h (debug_fold_checksum): Declared.
        * fold-const.c (build_fold_addr_expr_with_type_1): New.
        (build_fold_addr_expr_with_type, build_fold_addr_expr): Use 
        build_fold_addr_expr_with_type_1.
        (fold_addr_expr, debug_fold_checksum): New.
        (fold_checksum_tree): Don't fold TREE_CHAIN of an SSA_NAME.
        (fold_unary, fold_comparison, split_address_to_core_and_offset):
        Use fold_addr_expr.
        
2007-06-21  Sebastian Pop  <sebpop@gmail.com>

        PR tree-optimization/19590
        * tree-vrp.c (adjust_range_with_scev): Set the range when the result
        of scev is a constant.
        * gcc/testsuite/gcc.dg/tree-ssa/pr19590.c: New.

2007-06-21  Kenneth Zadeck <zadeck@naturalbridge.com>

        * df-problems.c (df_note_bb_compute): Made computation of live
        info consistent with df_lr.

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

        PR tree-optimization/32453
        * tree-vrp.c (extract_range_from_assert): Build POINTER_PLUS_EXPR
        for pointer anti-range.

2007-06-21  H.J. Lu  <hongjiu.lu@intel.com>

        * config/i386/i386.c (processor_target_table): Increase maximum
        skip from 7 byte to 10 byte for Pentium Pro, Core 2 Duo and
        default 64bit.

        * config/i386/linux.h (ASM_OUTPUT_MAX_SKIP_ALIGN): Ensure 8
        byte alignment if > 8 byte alignment is preferred.
        * config/i386/x86-64.h (ASM_OUTPUT_MAX_SKIP_ALIGN): Likewise.

2007-06-21  Jakub Jelinek  <jakub@redhat.com>

        PR tree-optimization/31866
        * tree-ssa-coalesce.c (create_outofssa_var_map): Do nothing
        if ASM_EXPR's input is not a SSA_NAME.

        PR middle-end/32362
        * omp-low.c (lookup_decl_in_outer_ctx): Don't ICE if t is NULL,
        but decl is a global var, instead return decl.
        * gimplify.c (gimplify_adjust_omp_clauses_1): Add shared clauses
        even for is_global_var decls, if they are private in some outer
        context.

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

        PR tree-optimization/32451
        * tree-ssa-threadupdate.c (thread_single_edge): Fixup edge flags.

2007-06-21  Christian Bruel  <christian.bruel@st.com>

        * config/sh/sh-protos.h (sh_loads_bankedreg_p): Declare.
        * config/sh/sh.c (sh_loads_bankedreg_p): New function.
        (push_regs): Changed saving order or banked registers.
        (sh_expand_epilogue): Likewise.
        * config/sh/sh.h (BANKED_REGISTER_P): New macro.
        (FIRST_BANKED_REG): Likewise.
        (LAST_BANKED_REG): Likewise.
        * config/sh/sh.md (banked) New attribute.
        (in_delay_slot): Check banked attribute.
        
2007-06-20  Sebastian Pop  <sebpop@gmail.com>

        PR tree-optimization/32075
        * tree-data-ref.c (subscript_dependence_tester_1, 
        analyze_miv_subscript, analyze_overlapping_iterations,
        add_distance_for_zero_overlaps, build_classic_dist_vector,
        subscript_dependence_tester_1, analyze_overlapping_iterations,
        subscript_dependence_tester, access_functions_are_affine_or_constant_p,
        compute_affine_dependence, compute_all_dependences): Pass loop_nest 
        to evolution_function_is_affine_multivariate_p.

2007-06-20  Eric Botcazou  <ebotcazou@libertysurf.fr>

        * df-scan.c (df_get_call_refs): Be prepared for MEMs inside CLOBBERs.

2007-06-20  Rask Ingemann Lambertsen  <rask@sygehus.dk>

        PR target/32335
        * config/m32c/m32c.c (m32c_emit_epilogue): Use new HImode epilogue
        for TARGET_A16.
        * config/m32c/prologue.md (epilogue_exitd_16): New.
        (epilogue_reit_16): New.
        (epilogue_exitd): Rename to epilogue_exitd_24.
        (epilogue_reit): Rename to epilogue_reit_24.

2007-06-20  Seongbae Park  <seongbae.park@gmail.com>
            Maxim Kuvyrkov  <mkuvyrkov@ispras.ru>

        * dbgcnt.def (global_alloc_at_func, global_alloc_at_reg):
        New counters.
        * haifa-sched.c (queue_to_ready): Don't requeue next insn
        if dbg_cnt (sched_insn) reaches the limit.
        (choose_ready): New parameter INSN_PTR and new return value.
        (schedule_block): Handle dbg_cnt (sched_insn). Handle
        the new return value from choose_ready.
        * global.c (global_aloc): New dbgcnt global_alloc_at_reg.
        (rest_of_handle_global_alloc): New global_alloc_at_func.

2007-06-20  Adam Nemet  <anemet@caviumnetworks.com>

        PR tree-optimization/25737
        * tree.h (struct tree_struct_field_tag): Add new field alias_set.
        (SFT_NONADDRESSABLE_P, SFT_ALIAS_SET): New macros.
        * tree-flow.h (struct fieldoff): Add new field alias_set.
        * tree-ssa-structalias.c (push_fields_onto_fieldstack): Add new
        argument addressable_type.  Set alias_set of fieldoff.
        * tree-ssa-alias.c (create_sft): Add new argument alias_set.
        (create_overlap_variables_for): Pass alias_set from fieldoff to
        create_sft.
        * alias.c (get_alias_set): Use alias_set from SFT if set.

2007-06-20  Hui-May Chang  <hm.chang@apple.com>

        * config/i386/darwin.h (ASM_OUTPUT_COMMON): Print the size
        of a variable as an unsigned HOST_WIDE_INT integer.

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

        PR rtl-optimization/32405
        * loop-iv.c (iv_get_reaching_def): Fail for partial defs.

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

        * Makefile.in (omega.o): Depend on $(DIAGNOSTIC_H).

        PR middle-end/31959
        * builtins.c: Include diagnostic.h.
        (expand_builtin_expect): Make gcc_assert more permissive.
        * Makefile.in (builtins.o): Depend on $(DIAGNOSTIC_H).

        PR inline-asm/32109
        * gimplify.c (gimplify_asm_expr): Issue error if type is addressable
        and !allows_mem.

        PR middle-end/32285
        * calls.c (precompute_arguments): Also precompute CALL_EXPR arguments
        if ACCUMULATE_OUTGOING_ARGS.

2007-06-19  Rask Ingemann Lambertsen  <rask@sygehus.dk>

        * config/m68hc11/m68hc11.c: Include dataflow header file.
        (m68hc11_reorg): Port to dataflow.

2007-06-19  Kenneth Zadeck <zadeck@naturalbridge.com>

        * df.h (DF_FIRST_OPTIONAL_PROBLEM): Removed.
        (struct df_problem.free_blocks_on_set_blocks): New field.
        (struct dataflow.optional_p): New field.
        (df_bb_regno_last_use_find, df_insn_regno_def_p): Removed.
        (df_live_set_all_dirty): New function.
        * df-scan.c (df_scan_alloc): Initialize optional_p.
        (problem_SCAN): Initialize free_blocks_on_set_blocks.
        * df-core.c (df_set_blocks): Removed use of
        DF_FIRST_OPTIONAL_PROBLEM.  Now uses
        df_problem.free_blocks_on_set_blocks to determine which blocks are
        recycled.
        (df_remove_problem): Removed use of DF_FIRST_OPTIONAL_PROBLEM.
        (df_finish_pass): Removed use of DF_FIRST_OPTIONAL_PROBLEM.  Now
        uses dataflow.optional_p to determine if problem should be
        deleted.
        (rest_of_handle_df_initialize): Only start live problem if 
        -02 or above.
        (df_bb_regno_last_use_find, df_insn_regno_def_p): Removed.
        * df-problems.c (df_ru_alloc, df_rd_alloc, df_lr_alloc,
        df_live_alloc, df_urec_alloc, df_note_alloc): set optional_p.
        (problem_RU, problem_RD, problem_LR, problem_UREC, problem_CHAIN,
        problem_NOTE):  Initialize free_blocks_on_set_blocks.
        (df_lr_bb_local_compute): Recompute luids if df_live problem is
        not active.
        (df_live_set_all_dirty, df_note_alloc): New function.
        * regrename.c (merge_overlapping_regs): Change DF_LIVE_* to
        df_get_live_*.
        * sched_ebb.c (compute_jump_reg_dependencies): Ditto.
        * postreload.c (reload_combine): Ditto.
        * cse.c (cse_extended_basic_block): Ditto.
        * regmove.c (mark_flags_life_zones): Ditto.
        * rtlfactoring.c (split_blocks_after_seqs, split_pattern_seq,
        erase_matching_seqs): Ditto.
        * bt-load.c (compute_defs_uses_and_gen): Ditto.
        * integrate (allocate_initial_values): Ditto.
        * combine.c (reg_dead_at_p): Ditto.
        * resource.c (mark_target_live_regs): Ditto.
        * sched-rgn.c (check_live_1, update_live_1): Ditto.
        * config/sh/sh.c (find_r0_life_regions): Ditto.
        * global.c (rest_of_handle_global_alloc): Only add back df_live
        for -O > 1.
        * local-alloc.c (rest_of_handle_local_alloc): Only remove
        df_live for -O > 1.
        * ifcvt.c (dead_or_predicable): Change DF_LIVE_* to
        df_get_live_*.
        (if_convert): Make sure df_live is there at -O == 1.
        (pass_if_after_combine): Cleanup flags.
        * init-regs.c (initialize_uninitialized_regs): Make sure df_live
        is there at -O == 1.
        
2007-06-19  Seongbae Park  <seongbae.park@gmail.com>

        * config/arm/arm.c (arm_get_frame_offsets): Set
        offsets->locals_base to avoid negative stack size.
        (thumb1_expand_prologue): Assert on negative stack size.

2007-04-19  Sebastian Pop  <sebpop@gmail.com>

        PR tree-optimization/32367
        * tree-chrec.h (build_polynomial_chrec): Verify that the left hand side 
        of the chrec has no evolution in that loop.
        * testsuite/gcc.dg/tree-ssa/pr32367.c: New.

2007-06-19  Bob Wilson  <bob.wilson@acm.org>

        * config/xtensa/xtensa.c: Include "df.h".
        (xtensa_builtin_saveregs): Use adjust_address instead of
        change_address.
        (xtensa_va_start): Invoke make_tree with sizetype for
        expand_builtin_saveregs and then convert the result to a pointer.
        Use POINTER_PLUS_EXPR.  Use size_int instead of build_int_cst.
        (xtensa_gimplify_va_arg_expr): Use size_int instead of build_int_cst.
        Subtract argument size from index value as integers and then use
        POINTER_PLUS_EXPR to add the result to the array address.
        
2007-06-19  Rask Ingemann Lambertsen  <rask@sygehus.dk>

        PR target/32335
        * config/m32c/m32c.c: Include dataflow header file.
        (m32c_emit_prologue): Adjust for prologue insn change.
        * config/m32c/prologue.md (prologue_enter_16): Only modify SP_REGNO
        once inside a PARALLEL. Assume frame size passed in operand 0
        includes space to save the fb register.
        (prologue_enter_24): Likewise.
        (epilogue_exitd): Only modify SP_REGNO once inside a PARALLEL.

2007-06-19  David Daney  <ddaney@avtrex.com

        PR target/32313
        * config/mips/mips.md (cprestore): Mark $gp as used.

2007-06-19  Rask Ingemann Lambertsen  <rask@sygehus.dk>

        PR target/32369
        * config/frv/frv.c (frv_ifcvt_modify_tests): Dataflow merge fix.
        (frv_ifcvt_modify_insn): Likewise.

2007-06-19  Richard Guenther  <rguenther@suse.de>

        * tree-ssa-structalias.c (handle_ptr_arith): Make sure to
        only handle positive offsets that fit in a HOST_WIDE_INT.

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

        * config/i386/i386.c (ix86_emit_swsqrtsf): Filter out infinity
        result of rsqrt insn for zero input argument to avoid NaN.

2007-06-19  Richard Guenther  <rguenther@suse.de>

        PR middle-end/31950
        * tree-ssa-alias-warnings.c (ffan_walker): Punt on MTAGs.

2007-06-19  Jakub Jelinek  <jakub@redhat.com>

        PR tree-optimization/32353
        * tree-ssa-structalias.c (set_uids_in_ptset): Also handle RESULT_DECL.

2007-06-19  Nick Clifton  <nickc@redhat.com>

        * config/m32r/linux.h (LIB_SPEC): Always imply -lpthread for -pthread.

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

        PR target/32389
        * config/i386/i386.h (enum ix86_stack_slot): Add SLOT_VIRTUAL.
        * config/i386/i386.c (assign_386_stack_local): Assert that
        SLOT_VIRTUAL is valid only before virtual regs are instantiated.
        (ix86_expand_builtin) [IX86_BUILTIN_LDMXCSR, IX86_BUILTIN_STMXCSR]:
        Use SLOT_VIRTUAL stack slot instead of SLOT_TEMP.
        * config/i386/i386.md (truncdfsf2, truncxf<mode>2): Ditto.

2007-06-18  Steve Ellcey  <sje@cup.hp.com>

        * config/ia64/ia64.h (LIBGCC2_TF_CEXT): New.

2007-06-18  Seongbae Park  <seongbae.park@gmail.com>

        PR rtl-optimization/32321
        * gcse.c (replace_store_insn): Update the note before
        calling emit_insn_after.

2007-06-18  Kenneth Zadeck <zadeck@naturalbridge.com>

        PR middle-end/32355
        * gcse (rest_of_handle_gcse): Add call to df_finish_pass after
        cse_main.
        * df-problems.c (df_note_bb_compute): Fix dumping info.
        
2007-06-18  Kazu Hirata  <kazu@codesourcery.com>

        * config/m68k/m68k.c (m68k_expand_epilogue): Emit a return
        insn with emit_jump_insn.

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

        PR tree-optimization/32383
        * targhooks.c (default_builtin_reciprocal): Add new bool argument.
        * targhooks.h (default_builtin_reciprocal): Update prototype.
        * target.h (struct gcc_target): Update builtin_reciprocal.
        * doc/tm.texi (TARGET_BUILTIN_RECIPROCAL): Update description.
        * tree-ssa-math-opts (execute_cse_reciprocals): Skip statements
        where arg1 is not SSA_NAME.  Pass true to targetm.builtin_reciprocal
        when fndecl is in BUILT_IN_MD class.
        (execute_convert_to_rsqrt): Ditto.

        * config/i386/i386.c (ix86_builtin_reciprocal): Update for new bool
        argument.  Convert IX86_BUILTIN_SQRTPS code only when md_fn is true.
        Convert BUILT_IN_SQRTF code only  when md_fn is false.

2007-06-18  Kaz Kojima  <kkojima@gcc.gnu.org>

        * bt-load.c (move_btr_def): Fix the order of arguments
        to validate_replace_rtx.

2007-06-18  Nathan Sidwell  <nathan@codesourcery.com>

        * config/m68k/m68k-devices.def: Add 54450..54455.

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

        PR rtl-optimization/32366
        * simplify-rtx.c (simplify_unary_operation_1) [FLOAT_TRUNCATE,
        FLOAT_EXTEND]: Prevent non-scalar modes from entering
        significand_size.

2007-06-17  Kenneth Zadeck <zadeck@naturalbridge.com>

        PR middle-end/32349
        * modulo-sched (generate_reg_moves): Added rescan parameter and if
        this is true, rescan insn being modified.
        (sms_schedule): Added rescan parameter.
        (rest_of_handle_sms): Moved freeing of dominance info to before
        getting out of cfg_layout.
        
2007-06-17  Nathan Sidwell  <nathan@codesourcery.com>

        * config/m68k/m68k.h (ISA_HAS_FF1, ISA_HAS_MVS_MVZ): New.
        * config/m68k/m68k.md: Use ISA_HAS_FF1 and ISA_HAS_MVS_MVZ as
        appropriate.

        * config/m68k/m68k.c (all_isas): Remove FL_CF_FPU and
        FL_CF_EMAC from the entry for isac.

        * config/m68k/predicates.md (const_call_operand): Adjust comment.
        (const_sibcall_operand): New.
        (sibcall_operand): Use it.
        * config/m68k/m68k.c (FL_FOR_isa_c): Not ISA_B compatible.
        (m68k_isas): ISAC does not imply FPU or EMAC.
        (override_options): Add ISA_C logic for symbolic jump & call.

2007-06-17  Eric Botcazou  <ebotcazou@libertysurf.fr>

        * config/sparc/sparc.c (sparc_vis_init_builtins): Retrieve the
        return mode from the builtin itself.
        (sparc_fold_builtin): Fix cast of zero constant.

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

        * targhooks.c (default_builtin_reciprocal): New default target hook.
        * targhooks.h (default_builtin_reciprocal): Add prototype.
        * hooks.c (hook_tree_tree_bool_null): Remove hook.
        * hooks.h (hook_tree_tree_bool_null): Remove prototype.
        * target-def.h (TARGET_BUILTIN_RECIPROCAL): Define as
        default_builtin_reciprocal.

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

        PR middle-end/31723
        * hooks.c (hook_tree_tree_bool_null): New hook.
        * hooks.h (hook_tree_tree_bool_null): Add prototype.
        * tree-pass.h (pass_convert_to_rsqrt): Declare.
        * passes.c (init_optimization_passes): Add pass_convert_to_rsqrt.
        * tree-ssa-math-opts.c (execute_cse_reciprocals): Scan for a/func(b)
        and convert it to reciprocal a*rfunc(b).
        (execute_convert_to_rsqrt): New function.
        (gate_convert_to_rsqrt): New function.
        (pass_convert_to_rsqrt): New pass definition.
        * target.h (struct gcc_target): Add builtin_reciprocal.
        * target-def.h (TARGET_BUILTIN_RECIPROCAL): New define.
        (TARGET_INITIALIZER): Initialize builtin_reciprocal with
        TARGET_BUILTIN_RECIPROCAL.
        * doc/tm.texi (TARGET_BUILTIN_RECIPROCAL): Document.

        * config/i386/i386.h (TARGET_RECIP): New define.
        * config/i386/i386.md (divsf3): Expand by calling ix86_emit_swdivsf
        for TARGET_SSE_MATH and TARGET_RECIP when flag_finite_math_only and
        flag_unsafe_math_optimizations are set, flag_trapping_math is unset
        and not optimizing for size.
        (*rcpsf2_sse): New insn pattern.
        (*rsqrtsf2_sse): Ditto.
        (rsqrtsf2): New expander.  Expand by calling ix86_emit_swsqrtsf
        for TARGET_SSE_MATH and TARGET_RECIP when flag_finite_math_only and
        flag_unsafe_math_optimizations are set, flag_trapping_math is unset
        and not optimizing for size.
        (sqrt<mode>2): Expand SFmode operands by calling ix86_emit_swsqrtsf
        for TARGET_SSE_MATH and TARGET_RECIP when flag_finite_math_only and
        flag_unsafe_math_optimizations are set, flag_trapping_math is unset
        and not optimizing for size.
        * config/i386/sse.md (divv4sf): Expand by calling ix86_emit_swdivsf
        for TARGET_SSE_MATH and TARGET_RECIP when flag_finite_math_only and
        flag_unsafe_math_optimizations are set, flag_trapping_math is unset
        and not optimizing for size.
        (*sse_rsqrtv4sf2): Do not export.
        (sqrtv4sf2): Ditto.
        (sse_rsqrtv4sf2): New expander.  Expand by calling ix86_emit_swsqrtsf
        for TARGET_SSE_MATH and TARGET_RECIP when flag_finite_math_only and
        flag_unsafe_math_optimizations are set, flag_trapping_math is unset
        and not optimizing for size.
        (sqrtv4sf2): Ditto.
        * config/i386/i386.opt (mrecip): New option.
        * config/i386/i386-protos.h (ix86_emit_swdivsf): Declare.
        (ix86_emit_swsqrtsf): Ditto.
        * config/i386/i386.c (IX86_BUILTIN_RSQRTF): New constant.
        (ix86_init_mmx_sse_builtins): __builtin_ia32_rsqrtf: New
        builtin definition.
        (ix86_expand_builtin): Expand IX86_BUILTIN_RSQRTF using
        ix86_expand_unop1_builtin.
        (ix86_emit_swdivsf): New function.
        (ix86_emit_swsqrtsf): Ditto.
        (ix86_builtin_reciprocal): New function.
        (TARGET_BUILTIN_RECIPROCAL): Use it.
        (ix86_vectorize_builtin_conversion): Rename from
        ix86_builtin_conversion.
        (TARGET_VECTORIZE_BUILTIN_CONVERSION): Use renamed function.
        * doc/invoke.texi (Machine Dependent Options): Add -mrecip to
        "i386 and x86_64 Options" section.
        (Intel 386 and AMD x86_64 Options): Document -mrecip.

2007-06-15  Andrew Pinski <andrew_pinski@playstation.sony.com>
            Zdenek Dvorak <dvorakz@suse.cz>
            Richard Guenther  <rguenther@suse.de>
            Kaz Kojima  <kkojima@gcc.gnu.org>

        * tree-vrp.c (compare_values_warnv): Convert val2 to
        the type of val1.
        (extract_range_from_assert): Create
        POINTER_PLUS_EXPR for pointer types.
        (extract_range_from_binary_expr): Handle
        only POINTER_PLUS_EXPR, MIN_EXPR, and MAX_EXPR
        for pointer types.
        * doc/c-tree.texi (POINTER_PLUS_EXPR): Document.
        * tree-ssa-loop-niter.c (split_to_var_and_offset): Handle
        POINTER_PLUS_EXPR as PLUS_EXPR.
        (number_of_iterations_lt_to_ne):
        For pointer types, use sizetype when
        creating MINUS_EXPR/PLUS_EXPRs.
        (assert_loop_rolls_lt): For pointer types, use sizetype when
        creating MINUS_EXPR/PLUS_EXPRs.
        (number_of_iterations_le): Likewise.
        (expand_simple_operations): POINTER_PLUS_EXPR are simple also.
        (derive_constant_upper_bound): Handle POINTER_PLUS_EXPR just
        like PLUS_EXPR and MINUS_EXPR.
        * tree-pretty-print.c (dump_generic_node): Handle
        POINTER_PLUS_EXPR.
        (op_prio): Likewise.
        (op_symbol_1): Likewise.
        * optabs.c (optab_for_tree_code): Likewise.
        * tree-ssa-loop-manip.c (create_iv): Handle pointer base
        specially.
        * tree-tailcall.c (process_assignment): Mention
        POINTER_PLUS_EXPR in a TODO comment.
        * tree.c (build2_stat): Assert when trying to use PLUS_EXPR or 
        MINUS_EXPR with a pointer. Also assert for POINTER_PLUS_EXPR
        not used with a pointer and an integer type.
        * tree-scalar-evolution.c (add_to_evolution_1): Convert the
        increment using chrec_convert_rhs instead of chrec_convert.
        (follow_ssa_edge_in_rhs): Handle POINTER_PLUS_EXPR like
        PLUS_EXPR except for the right hand side's type will be
        sizetype.
        (interpret_rhs_modify_stmt): Handle POINTER_PLUS_EXPR.
        (fold_used_pointer_cast): Kill.
        (pointer_offset_p): Kill.
        (fold_used_pointer): Kill.
        (pointer_used_p): Kill.
        (analyze_scalar_evolution_1 <case GIMPLE_MODIFY_STMT>): Don't
        call fold_used_pointer.
        (instantiate_parameters_1): Convert the increment
        using chrec_convert_rhs instead of chrec_convert.
        Handle POINTER_PLUS_EXPR as PLUS_EXPR.
        * builtins.c (get_pointer_alignment): Handle POINTER_PLUS_EXPR
        instead of PLUS_EXPR.
        (expand_builtin_strcat): Create a POINTER_PLUS_EXPR instead of
        PLUS_EXPR for pointers.
        (std_gimplify_va_arg_expr): Likewise.
        (fold_builtin_memory_op): Likewise.
        (fold_builtin_strstr): Likewise.
        (fold_builtin_strchr): Likewise.
        (fold_builtin_strrchr): Likewise.
        (fold_builtin_strpbrk): Likewise.
        (expand_builtin_memory_chk): Likewise.
        (fold_builtin_memory_chk): Likewise.
        (std_expand_builtin_va_start): Use
        sizetype for the call to make_tree and then convert
        to the pointer type.
        (fold_builtin_memchr): Use POINTER_PLUS_EXPR
        instead of PLUS_EXPR for adding to a pointer.
        (std_gimplify_va_arg_expr): Use fold_build2 for
        the creating of POINTER_PLUS_EXPR.  For the BIT_AND_EXPR, cast
        the operands to sizetype first and then cast the BIT_AND_EXPR
        back to the pointer type.
        * fold-const.c (build_range_check): Handle pointer types
        specially.
        (extract_array_ref): Look for POINTER_PLUS_EXPR instead
        of PLUS_EXPR's. Make sure the offset is converted to
        sizetype.
        (try_move_mult_to_index): Strip the NOPs from the offset.
        Remove code argument and replace all uses with PLUS_EXPR.
        (fold_to_nonsharp_ineq_using_bound): Handle pointer types
        specially. Don't use a pointer type for MINUS_EXPR.
        (fold_unary): Handle for (T1)(X op Y),
        only p+ as that is the only as that can be handled for
        binary operators now.
        (fold_binary <case POINTER_PLUS_EXPR>): Add folding of
        POINTER_PLUS_EXPR.
        <case PLUS_EXPR>: Add folding of PTR+INT into
        PTR p+ INT.
        Don't call try_move_mult_to_index.
        <case MINUS_EXPR>: Fold (PTR0 p+ A) - (PTR1 p+ B)
        into (PTR0 - PTR1) + (A - B). Fold (PTR0 p+ A) - PTR1 into
        (PTR0 - PTR1) + A iff (PTR0 - PTR1) simplifies.
        Don't call try_move_mult_to_index.
        (tree_expr_nonnegative_warnv_p): Handle POINTER_PLUS_EXPR.
        (tree_expr_nonzero_p): Likewise.
        (fold_indirect_ref_1): Look at POINTER_PLUS_EXPR instead
        of PLUS_EXPR for the complex expression folding.
        * tree-chrec.c (chrec_fold_plus_poly_poly): If the
        first chrec is a pointer type, then the second should
        be sizetype and not the first's type.
        For POINTER_PLUS_EXPR, use a different right hand side type.
        Handle POINTER_PLUS_EXPR like PLUS_EXPR.
        (chrec_fold_plus_1): For POINTER_PLUS_EXPR, use a
        different right hand side type.
        Handle POINTER_PLUS_EXPR like PLUS_EXPR.
        (chrec_fold_plus): For pointer types, use POINTER_PLUS_EXPR
        instead of PLUS_EXPR.
        When either operand is zero, convert the other operand.
        (chrec_apply): Use chrec_convert_rhs
        on the argument x instead of chrec_convert.
        (reset_evolution_in_loop): For pointer types, the new_evol
        should be sizetype.
        (convert_affine_scev): For POINTER_PLUS_EXPR, use a
        different right hand side type.
        Handle POINTER_PLUS_EXPR like PLUS_EXPR.
        (chrec_convert_rhs): New function.
        (chrec_convert_aggressive): For POINTER_PLUS_EXPR, use a
        different right hand side type.
        Handle POINTER_PLUS_EXPR like PLUS_EXPR.
        * tree-chrec.h (chrec_convert_rhs): New prototype.
        (build_polynomial_chrec): For pointer types, the right hand
        * tree-ssa-ccp.c (maybe_fold_stmt_indirect): Look for
        POINTER_PLUS_EXPR instead of PLUS_EXPR's.
        Remove subtraction case as it is always addition now.
        Make sure the offset is converted to sizetype.
        (fold_stmt_r): Don't handle PLUS_EXPR/MINUS_EXPR specially.
        Handle POINTER_PLUS_EXPR like PLUS_EXPR was handled before.
        * tree-ssa-loop-ivopts.c (determine_base_object): Abort for 
        PLUS_EXPR in pointer type.
        Handle POINTER_PLUS_EXPR.
        (tree_to_aff_combination): Likewise.
        (force_expr_to_var_cost): Likewise.
        (force_expr_to_var_cost): Likewise. Create a POINTER_PLUS_EXPR
        instead of PLUS_EXPR for pointers.
        * c-format.c (check_format_arg): Handle POINTER_PLUS_EXPR
        instead of PLUS_EXPR of pointer types.
        * tree-stdarg.c (va_list_counter_bump): Handle POINTER_PLUS_EXPR
        as PLUS_EXPR.
        (check_va_list_escapes): Likewise.
        (check_all_va_list_escapes): Likewise.
        * dwarf2out.c (loc_descriptor_from_tree_1):
        Handle POINT_PLUS_EXPR as a PLUS_EXPR.
        * expr.c (expand_expr_real_1): Handle POINTER_PLUS_EXPR.
        (string_constant): Likewise.
        * tree-ssa-address.c (tree_mem_ref_addr): When adding
        the offset to the base, use POINTER_PLUS_EXPR.
        (add_to_parts): Convert the index to sizetype.
        (create_mem_ref): Create A POINTER_PLUS_EXPR for the one case.
        * matrix-reorg.c (collect_data_for_malloc_call): Stmt
        will now only be either INDIRECT_REF and POINTER_PLUS_EXPR.
        Offset only holds something for PLUS_EXPR.
        (ssa_accessed_in_tree): Handle POINTER_PLUS_EXPR just as
        a PLUS_EXPR.
        (analyze_transpose): POINTER_PLUS_EXPR will only show up now
        and not PLUS_EXPR.
        (analyze_accesses_for_modify_stmt): Likewise.
        Remove comment about the type being integral type as it is
        wrong now.
        (can_calculate_expr_before_stmt): Handle POINTER_PLUS_EXPR as
        PLUS_EXPR.
        (transform_access_sites): POINTER_PLUS_EXPR will only show up now
        and not PLUS_EXPR.
        Correct the type which the artimentic is done in (is now
        sizetype).
        Reindent one loop.
        * tree-data-ref.c (split_constant_offset): Handle
        POINTER_PLUS_EXPR
        * tree-affine.c (tree_to_aff_combination): Likewise.
        * c-typeck.c (build_unary_op): For pointers create the increment
        as a sizetype. Create a POINTER_PLUS_EXPR instead of PLUS_EXPR
        for pointers.
        * gimplify.c (gimplify_self_mod_expr): Create a
        POINTER_PLUS_EXPR instead of PLUS_EXPR for pointers.
        (gimplify_omp_atomic_fetch_op): Handle POINTER_PLUS_EXPR.
        * tree.def (POINTER_PLUS_EXPR): New tree code.
        * tree-predcom.c (ref_at_iteration): If we have a pointer
        type do the multiplication in sizetype.
        * tree-mudflap.c (mf_xform_derefs_1): Create a
        POINTER_PLUS_EXPR instead of PLUS_EXPR for pointers.
        * tree-ssa-forwprop.c 
        (forward_propagate_addr_into_variable_array_index):
        Don't expect there to be a cast for the index as that
        does not exist anymore.
        (forward_propagate_addr_expr_1): Check for POINTER_PLUS_EXPR
        instead of PLUS_EXPR.
        Don't check for the first operand of the POINTER_PLUS_EXPR
        was the index as it cannot be.
        Call forward_propagate_addr_into_variable_array_index with
        the SSA_NAME instead of the statement.
        * varasm.c (const_hash_1): Handle POINTER_PLUS_EXPR.
        (compare_constant): Likewise.
        (copy_constant): Likewise.
        (compute_reloc_for_constant): Likewise.
        (output_addressed_constants): Likewise.
        (initializer_constant_valid_p): Likewise.
        * tree-ssa.c (tree_ssa_useless_type_conversion_1):
        Convert the MIN/MAX of the inner type to the outer
        type before comparing them.
        * tree-ssa-loop-prefetch.c (idx_analyze_ref):  Handle
        POINTER_PLUS_EXPR instead of PLUS_EXPR.
        (issue_prefetch_ref): Create a POINTER_PLUS_EXPR instead
        of PLUS_EXPR for pointers.
        * tree-inline.c (estimate_num_insns_1): Handle
        POINTER_PLUS_EXPR.
        * tree-vect-transform.c (vect_create_addr_base_for_vector_ref): 
        Create a POINTER_PLUS_EXPR instead of PLUS_EXPR for pointers.
        (bump_vector_ptr): Create a POINTER_PLUS_EXPR
        instead of PLUS_EXPR for the pointer increment statement.
        (vect_update_ivs_after_vectorizer): For pointer types, create
        POINTER_PLUS_EXPR instead of PLUS_EXPR and also create
        MULT_EXPR in sizetype.
        (vect_gen_niters_for_prolog_loop): Add a cast when creating
        byte_misalign.
        * tree-object-size.c (plus_expr_object_size): Handle
        POINTER_PLUS_EXPR instead of PLUS_EXPR.  Removing all the extra
        code which is trying to figure out which side is a pointer and 
        is the index.
        (check_for_plus_in_loops_1): Likewise.
        (check_for_plus_in_loops): Likewise.
        * c-common.c (pointer_int_sum): Create a
        POINTER_PLUS_EXPR instead of PLUS_EXPR for pointers.
        * tree-ssa-structalias.c (handle_ptr_arith): Handle
        only POINTER_PLUS_EXPR.  Removing all the extra
        code which is trying to figure out which side is a pointer and 
        is the index.
        * tree-cfg.c (verify_expr): Add extra checking for pointers and
        PLUS_EXPR and MINUS_EXPR.
        Also add checking to make sure the operands of POINTER_PLUS_EXPR
        are correct.
        * config/frv/frv.c (frv_expand_builtin_va_start): Use sizetype
        with make_tree, instead of a pointer type.
        * config/s390/s390.c (s390_va_start): Use POINTER_PLUS_EXPR
        for pointers instead of PLUS_EXPR.
        (s390_gimplify_va_arg): Likewise.
        * config/spu/spu.c (spu_va_start): Create POINTER_PLUS_EXPR
        instead of PLUS_EXPR when doing addition on pointer
        types.  Use sizetype for the second operand.
        (spu_gimplify_va_arg_expr): Likewise.
        * config/sparc/sparc.c (sparc_gimplify_va_arg): Use 
        POINTER_PLUS_EXPR instead of PLUS_EXPR when the operand was
        a pointer.  Don't create a BIT_AND_EXPR for pointer types.
        * config/i386/i386.c (ix86_va_start): Use POINTER_PLUS_EXPR
        for the pointer addition and also use size_int/sizetype
        for the offset.
        (ix86_gimplify_va_arg): Likewise.
        Perform BIT_AND_EXPR on sizetype arguments.
        * config/sh/sh.c (sh_va_start): Call make_tree with sizetype
        and convert its result to a pointer type.  Use POINTER_PLUS_EXPR
        for the pointer additions and also use size_int for the offsets.
        (sh_gimplify_va_arg_expr): Use POINTER_PLUS_EXPR for the pointer
        additions and also use size_int for the offsets.  Perform
        BIT_AND_EXPR on sizetype arguments.
        * config/ia64/ia64.c (ia64_gimplify_va_arg): Use
        POINTER_PLUS_EXPR for pointers and create the
        BIT_AND_EXPR in sizetype.
        * config/rs6000/rs6000.c (rs6000_va_start): Use POINTER_PLUS_EXPR
        instead of PLUS_EXPR for pointer addition.
        (rs6000_va_start): Likewise.
        Also use sizetype for the offset.
        * config/pa/pa.c (reloc_needed): Handle POINTER_PLUS_EXPR
        as PLUS_EXPR/MINUS_EXPR.
        (hppa_gimplify_va_arg_expr): Don't create MINUS_EXPR or
        PLUS_EXPR for pointers, instead use POINTER_PLUS_EXPR.
        Don't use BIT_AND_EXPR on a pointer type, convert the
        expression to sizetype first.
        * config/mips/mips.c (mips_va_start): Use POINTER_PLUS_EXPR
        for pointers.
        (mips_gimplify_va_arg_expr): Likewise.
        Don't create BIT_AND_EXPR in a pointer type.

2007-06-15  Eric Christopher  <echristo@apple.com>

        * config.gcc (i?86-*-darwin*): Add t-crtfm and t-crtpc.
        (x86_64-*-darwin*): Ditto.
        * config/i386/darwin.h (CRTEND_SPEC): New. Add support
        for above.

2007-06-15  Matthew Wilcox <matthew@wil.cx>

        * doc/extend.texi: Document behavior of __attribute__((aligned))
        on typedefs.

2007-06-15  Mark Mitchell  <mark@codesourcery.com>

        * rtlanal.c (note_stores): Improve documentation.

2007-06-15  Bernd Schmidt  <bernd.schmidt@analog.com>

        * config/bfin/elf.h (ASM_GENERATE_INTERNAL_LABEL,
        LOCAL_LABEL_PREFIX): Delete.
        * config/bfin/bfin.c (TARGET_ASM_INTERNAL_LABEL): Delete.
        (bfin_internal_label): Delete.

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

        * libgcc2.c (CEXT): When compiling L_multc3 and L_divtc3,
        define to "l" if LIBGCC_LONG_DOUBLE_SIZE == 128,
        otherwise define to LIBGCC2_TF_CEXT.
        * config/i386/linux64.h (LIBGCC2_HAS_TF_MODE): New define.
        (LIBGCC_TF_CEXT): Ditto.
        (TF_SIZE): Ditto.

2007-06-14  Seongbae Park  <seongbae.park@gmail.com>

        PR rtl-optimization/32339
        * df-scan.c (df_uses_record): Don't modify flags but just add to
        it for df_ref_record.

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

        * tree-mudflap.c: Fix whitespace issues.

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

        * config/m68k/m68k.c (ASM_DOT, ASM_DOTW, ASM_DOTL): Remove.

2007-06-14  Eric Christopher  <echristo@apple.com>

        * config/i386/sse.md (movdi_to_sse): Rewrite body.
        (movv4sf): Use gcc_unreachable instead of abort.

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

        PR target/32268
        * config/i386/sfp-machine.h (CMPtype): New define.
        (mach stubs): Use CMPtype instead of int as a return type.

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

        * config/soft-fp/eqdf2.c, config/soft-fp/eqsf2.c,
        config/soft-fp/eqtf2.c, config/soft-fp/gedf2.c,
        config/soft-fp/gesf2.c, config/soft-fp/getf2.c,
        config/soft-fp/ledf2.c, config/soft-fp/lesf2.c,
        config/soft-fp/letf2.c, config/soft-fp/unorddf2.c,
        config/soft-fp/unordsf2.c, config/soft-fp/unordtf2.c,
        config/soft-fp/soft-fp.h: Update from glibc CVS.

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

        * config/bfin/uclinux.h (MFWRAP_SPEC): New.

2007-06-14  Rask Ingemann Lambertsen  <rask@sygehus.dk>

        PR target/32341
        * config/v850/v850.c: Include dataflow header file.
        (substitute_ep_register): Fix typo.

2007-06-14  Paolo Bonzini  <bonzini@gnu.org>

        * configure.ac: Fix earlier checkin.
        * configure: Regenerated.

2007-06-14  Paolo Bonzini  <bonzini@gnu.org>

        * acinclude.m4 (gcc_AC_CHECK_PROG_VER): Remove.
        * aclocal.m4: Regenerate.
        * configure.ac: Use ACX_PROG_CC_WARNING_OPTS,
        ACX_PROG_CC_WARNINGS_ARE_ERRORS,
        ACX_PROG_CC_WARNING_ALMOST_PEDANTIC, ACX_CHECK_PROG_VER.
        * configure: Regenerate.
        * Makefile.in (LOOSE_WARN): Subst loose_warn.

        * Makefile.in (quickstrap): Build libgcc too.

2007-06-14  Paolo Bonzini  <bonzini@gnu.org>

        * configure.ac: Add --enable-checking=df.  Explicitly mention that
        the variables are initialized as for "release".
        * df-core.c: Use it.
        * configure: Regenerate.
        * config.in: Regenerate.

2007-06-14  Bob Wilson  <bob.wilson@acm.org>

        * config/xtensa/xtensa.c (xtensa_expand_nonlocal_goto): Use
        validate_replace_rtx instead of replace_rtx.
        (xtensa_expand_prologue): Call df_insn_rescan after replace_rtx.

2007-06-14  Danny Smith  <dannysmith@users.sourceforge.net>

        * config/i386/cygming.h (DWARF_FRAME_REGNUM): Define.
        (DWARF2_UNWIND_INFO): Override default if configured with
        SJLJ EH disabled.
        * config/i386/cygwin.h (STARTFILE_SPEC): Add crtbegin.o.
        (ENDFILE_SPEC): Add crtend.o.
        * config/i386/mingw32.h (STARTFILE_SEC): Add crtbegin.o.
        (ENDFILE_SPEC): Add crtend.o.
        (TARGET_USE_JCR_SECTION): Define.
        (MD_UNWIND_SUPPORT): Define for 32-bit target.

        * config/i386/cygming-crtbegin.c: New file.
        * config/i386/cygming-crtend.c: New file.

2007-06-14  Pascal Obry Pascal Obry  <obry@adacore.com>

        * config/i386/w32-unwind.h: New file.

2007-06-13  Eric Christopher  <echristo@apple.com>

        * config/i386/darwin.h (PREFERRED_STACK_BOUNDARY): Don't let
        the user set a value below STACK_BOUNDARY.

2007-06-13  Thiemo Seufer  <ths@networkno.de>

        * config/mips/linux.h, config/mips/linux64.h (LIB_SPEC): Always
        imply -lpthread for -pthread.

2007-06-13  Kazu Hirata  <kazu@codesourcery.com>

        * basic-block.h: Remove the prototype for
        free_basic_block_vars.
        * cfglayout.h: Remove the prototype for
        insn_locators_initialize.
        * tree.h: Remove the prototype for emit_line_note.

        * tree-ssa-pre.c (mergephitemp): Remove.
        (init_pre): Don't use mergephitemp.

2007-06-13  Eric Christopher  <echristo@apple.com>

        * config/i386/i386.c (override_options): If we've specified
        an arch then don't use TARGET_SUBTARGET_ISA_DEFAULTs.

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

        * df-scan.c (df_get_entry_block_def_set): Check if STATIC_CHAIN_REGNUM
        is defined.

2007-06-13  Bernd Schmidt  <bernd.schmidt@analog.com>

        * config/bfin/bfin.h (EH_RETURN_HANDLER_RTX): Use gen_frame_mem.
        * config/bfin/bfin.md (UNSPEC_VOLATILE_STORE_EH_HANDLER): New constant.
        (eh_store_handler): New pattern.
        (eh_return): Emit it instead of a plain move.

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

        * config/i386/i386.c (ix86_init_mmx_sse_builtins)
        [__builtin_infq, __builtin_fabsq]: Define usign def_builtin.
        [__builtin_ia32_rsqrtps, __builtin_ia32_rsqrtss]: Define using
        def_builtin_const.

2007-06-13  Bernd Schmidt  <bernd.schmidt@analog.com>

        * config/bfin/bfin.c (gen_one_bundle): Delete unused local variables.
        (find_next_insn_start, find_load): New functions.
        (bfin_reorg): Use them to deal with the fact that parallel insns are
        no longer represented as a SEQUENCE.

2007-06-13  Eric Botcazou  <ebotcazou@libertysurf.fr>

        * config/sparc/sparc.c (sparc_override_options): Initialize
        fpu mask correctly.

2007-06-13  Dave Korn  <dave.korn@artimi.com>

        * config/i386/i386.c (ix86_eax_live_at_start_p): Use
        df_get_live_out.

2007-06-13  Kazu Hirata  <kazu@codesourcery.com>

        * auto-inc-dec.c, c-incpath.c, config/c4x/libgcc.S,
        config/sh/divcost-analysis, dbgcnt.def, df-core.c,
        df-problems.c, df-scan.c, df.h, dominance.c, dse.c, regstat.c,
        tree-data-ref.c, tree-ssa-loop-im.c, tree-ssa-loop-prefetch.c,
        tree-vect-transform.c: Fix comment typos.  Follow spelling
        conventions.

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

       * df-scan.c (df_get_exit-block_use_set): Always add the stack pointer
       to the exit block use set.
       (df_insn_delete, df_insn_rescan): Fixed spelling of "deferring". 
       * gcse.c (cpro_jump): Don't emit barrier in cfglayout mode.
       * config/sparc/sparc.c (sparc_check_64): Check df != NULL.

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

        * opts.c (common_handle_option): Handle new option -fdbg-cnt-list.
        * dbgcnt.c (dbg_cnt_set_limit_by_name): Return value
        to indicate an error.
        (dbg_cnt_process_single_pair, dbg_cnt_list_all_counters):
        New functions.
        (dbg_cnt_process_opt): Print an error on a bad argument.
        * dbgcnt.h (dbg_cnt_list_all_counters): New function declaration.
        * common.opt (-fdbg-cnt-list): New.
        * doc/invoke.texi (-fdbg-cnt-list,-fdbg-cnt=): New.

2007-06-12  Eric Botcazou  <ebotcazou@adacore.com>

        * tree-ssa-alias.c (finalize_ref_all_pointers): Clear pt_anything
        flag on ref-all pointers.

2007-06-12  Andrew Pinski  <andrew_pinski@playstation.sony.com>

        PR middle-end/31579
        * expr.c (expand_expr_addr_expr_1): Call expand_expr
        for the offset with the modifier as EXPAND_INITIALIZER
        if the modifier is EXPAND_INITIALIZER.
        (expand_expr_real_1 <case INTEGER_CST>): Don't force to
        a register if we had an overflow.

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

        * real.c (real_isfinite): New.
        (real_sqrt): Use it.
        * real.h (real_isfinite): New.
        * builtins.c: Use it.

2007-06-12  Ian Lance Taylor  <iant@google.com>
            Daniel Berlin  <dberlin@dberlin.org>

        PR libstdc++/29286
        * tree.def: Add CHANGE_DYNAMIC_TYPE_EXPR.
        * tree.h (CHANGE_DYNAMIC_TYPE_NEW_TYPE): Define.
        (CHANGE_DYNAMIC_TYPE_LOCATION): Define.
        (DECL_NO_TBAA_P): Define.
        (struct tree_decl_common): Add no_tbaa_flag field.
        * tree-ssa-structalias.c (struct variable_info): Add
        no_tbaa_pruning field.
        (new_var_info): Initialize no_tbaa_pruning field.
        (unify_nodes): Copy no_tbaa_pruning field.
        (find_func_aliases): Handle CHANGE_DYNAMIC_TYPE_EXPR.
        (dump_solution_for_var): Print no_tbaa_pruning flag.
        (set_uids_in_ptset): Add no_tbaa_pruning parameter.  Change all
        callers.
        (compute_tbaa_pruning): New static function.
        (compute_points_to_sets): Remove CHANGE_DYNAMIC_TYPE_EXPR nodes.
        Call compute_tbaa_pruning.
        * tree-ssa-alias.c (may_alias_p): Test no_tbaa_flag for pointers.
        * gimplify.c (gimplify_expr): Handle CHANGE_DYNAMIC_TYPE_EXPR.
        * gimple-low.c (lower_stmt): Likewise.
        * tree-gimple.c (is_gimple_stmt): Likewise.
        * tree-ssa-operands.c (get_expr_operands): Likewise.
        * tree-ssa-dce.c (mark_stmt_if_obviously_necessary): Likewise.
        * tree-inline.c (estimate_num_insns_1): Likewise.
        (copy_result_decl_to_var): Likewise.
        * expr.c (expand_expr_real_1): Likewise.
        * tree-pretty-print.c (dump_generic_node): Likewise.
        * tree-inline.c (copy_decl_to_var): Copy DECL_NO_TBAA_P flag.
        * omp-low.c (omp_copy_decl_2): Likewise.
        * print-tree.c (print_node): Print DECL_NO_TBAA_P flag.
        * doc/c-tree.texi (Expression trees): Document
        CHANGE_DYNAMIC_TYPE_EXPR.

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

        * fold-const.c (fold_binary): Guard (X-X) -> 0 transformation
        with !HONOR_NANS and !HONOR_INFINITIES.
        * simplify-rtx.c (simplify_binary_operation_1): Likewise.

2007-06-12  Tristan Gingold  <gingold@adacore.com>

        * gcov.c: Comments updated.
        (source_info): Add file_time field.
        (source_index): New variable.
        (mutiple_files): New variable.
        (generate_results): New function extracted from process_file.
        (process_file): Save and restore chain of functions, generate
        results and free structures only if not merging results.
        (release_structures): File names are now freed in create_file_names
        (create_file_names): Free previous file names.
        (find_source): File date is now read here and modifications in
        source files is checked here.
        (read_graph_file): Only reverse order of functions for the current
        object file.
        (make_gcov_file_name): Do not generate long names if input_name is
        NULL.
        (output_lines): If merging results do not display graph, data and
        runs informations.
        Checking source file modification is done in find_source.

        * doc/gcov.texi: Append an s to sourcefile.

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

        * config/bfin/bfin.md (UNSPEC_NOP): New constant.
        (forced_nop): New pattern.
        * config/bfin/bfin.c: Include "df.h".
        (add_to_reg): Use df_regs_ever_live_p instead of regs_ever_live.
        (bfin_discover_loop): Use df_get_live_in instead of
        global_live_at_start.
        (bfin_reorder_loops): Pass 0 to cfg_layout_initialize.  Call
        df_analyze when done.
        (gen_one_bundle): Don't generate SEQUENCE insns, just put modes on
        the insns.  Use QImode for the final insn in a bundle.  Call
        df_insn_rescan on generated NOPs; use gen_forced_nop instead of
        gen_nop.
        (reorder_var_tracking_notes): New function.
        (bfin_reorg): Pass no argument to split_all_insns.  Don't call
        update_life_info.  Call df_analyze after scheduling and bundle
        generation.  Call reorder_var_tracking_notes if generating these
        notes.  Call df_finish_pass at the end.

2007-06-12  Dirk Mueller  <dmueller@suse.de>

        * optabs.c (debug_optab_libfuncs): fix gcc_assert to
        a comparison, not an assignment.

2007-06-12  Olivier Hainque  <hainque@adacore.com>

        * tree-nested.c (convert_local_reference): Handle VIEW_CONVERT_EXPR.
        Request walking the subtrees only, leaving the current is_lhs/val_only
        untouched.
        (convert_non_local_reference): Likewise.

2007-06-12  Nathan Sidwell  <nathan@codesourcery.com>

        * config/m68k/m68k-devices.def (52221, 52223, 5253): New.

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

        PR tree-optimization/15353
        PR tree-optimization/31657
        * passes.c (init_optimization_passes): Add pass_tree_ifcombine.
        * timevar.def: Add TV_TREE_IFCOMBINE.
        * tree-pass.h (pass_tree_ifcombine): Declare.
        * tree-ssa-ifcombine.c: New file.
        * tree-ssa-phiopt.c (blocks_in_phiopt_order): Export.
        * tree-flow.h (blocks_in_phiopt_order): Declare.
        * Makefile.in (OBJS-common): Add tree-ssa-ifcombine.o.
        (tree-ssa-ifcombine.o): New dependencies.

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

        PR rtl-optimization/32293
        * combine.c (simplify_if_then_else): Truncate return from
        nonzero_bits() to correct mode.

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

        * fold-const (fold_binary) [RDIV_EXPR]: Also optimize a/cbrt(b/c)
        into a*cbrt(c/b) if flag_unsafe_math_optimizations is set.

2007-06-11  Diego Novillo  <dnovillo@google.com>

        * Makefile.in (reload1.o-warn): Remove.

2007-06-11  Seongbae Park <seongbae.park@gmail.com>

        * combine.c (subst): Use reg_overlap_mentioned_p
        instead of comparing register numbers directly.

2007-06-11  Kenneth Zadeck <zadeck@naturalbridge.com>

        * reload1.c (mark_home_live_1): Use the mode parameter.

2007-06-11  Kenneth Zadeck <zadeck@naturalbridge.com>

        * df-scan.c (df_insn_delete, df_insn_rescan, df_insn_rescan_all,
        df_process_deferred_rescans, df_notes_rescan): Fixed spelling of
        word "deferred".
        * df-core.c: Ditto.

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

        * Merge dataflow-branch into mainline (see ChangeLog.dataflow)

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

        * config/i386/i386.md ("*movtf_internal): Penalize moves to and
        from integer registers.
        (FP mode splitters): Handle TFmode.

2007-06-11  Eric Botcazou  <ebotcazou@adacore.com>

        * tree-ssa-structalias.c (find_what_p_points_to): Return false
        for ref-all pointers that point-to anything.

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

        * config/arm/arm.c (arm_output_dwarf_dtprel,
        TARGET_ASM_OUTPUT_DWARF_DTPREL): New.

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

        * config/bfin/bfin.md (movdi_insn, movsi_insn, movv2hi_insn,
        movhi_insn, movqi_insn, movsf_insn, movdf_insn): Don't allow constant
        to memory moves.

2007-06-11  Rafael Avila de Espindola  <espindola@google.com>

        * gcc/tree.c (signed_or_unsigned_type_for): New.
        (unsigned_type_for): Use signed_or_unsigned_type_for.
        (signed_type_for): Use signed_or_unsigned_type_for.
        * gcc/tree.h (signed_or_unsigned_type_for): New.
        (get_signed_or_unsigned_type): Remove.
        * gcc/fold-const.c (fold_negate_expr): Use signed_type_for instead of
        lang_hooks.types.signed_type
        (size_diffop): Likewise.
        (all_ones_mask_p): Likewise.
        (build_range_check): Likewise.
        (fold_cond_expr_with_comparison): Likewise.
        (fold_cond_expr_with_comparison): Likewise.
        (unextend): Likewise.
        (extract_muldiv_1): Likewise.
        (fold_single_bit_test_into_sign_test): Likewise.
        (fold_binary): Likewise.
        (fold_ternary): Likewise.
        (operand_equal_for_comparison_p): Use signed_or_unsigned_type_for
        instead of get_signed_or_unsigned_type.
        * gcc/c-objc-common.h (LANG_HOOKS_SIGNED_TYPE): Remove.
        (LANG_HOOKS_SIGNED_OR_UNSIGNED_TYPE): Remove.
        * gcc/expr.c (signed_or_unsigned_type_for): Use
        signed_or_unsigned_type_for instead of get_signed_or_unsigned_type.
        * gcc/langhooks.c (get_signed_or_unsigned_type): Remove.
        (lhd_signed_or_unsigned_type): Remove.
        * gcc/langhooks.h (lang_hooks_for_types): Remove signed_type and
        signed_or_unsigned_type.
        (lhd_signed_or_unsigned_type): Remove.
        * gcc/expmed.c (make_tree): Use signed_type_for instead of
        lang_hooks.types.signed_type.
        * gcc/c-common.c (same_scalar_type_ignoring_signedness): Use
        c_common_signed_type instead of lang_hooks.types.signed_type.
        (c_common_unsigned_type): New.
        (c_common_signed_type): Just call c_common_signed_or_unsigned_type.
        (shorten_compare): Use c_common_unsigned_type instead of
        c_common_signed_or_unsigned_type.
        (c_common_nodes_and_builtins): Use c_common_unsigned_type instead of
        unsigned_type_for.
        * gcc/convert.c (convert_to_integer): Use signed_type_for instead of
        lang_hooks.types.signed_type.
        * gcc/langhooks-def.h (LANG_HOOKS_SIGNED_OR_UNSIGNED_TYPE): Remove.
        (LANG_HOOK_FOR_TYPES_INITIALIZER): Remove LANG_HOOKS_SIGNED_TYPE and
        LANG_HOOKS_SIGNED_OR_UNSIGNED_TYPE.
        * gcc/c-format.c (check_format_types): Use c_common_unsigned_type
        instead of unsigned_type_for.
        * gcc/c-decl.c (groakdeclarator): Likewise.
        * gcc/c-typeck.c (convert_for_assignment): Likewise.
        * gcc/c-common.h (c_common_unsigned_type): New.

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

        PR target/32280
        * config/i386/sse.md ("sse2_ashlti", "sse2_lshrti3"): Move ...
        * config/i386/i386.md ("sse2_ashlti", "sse2_lshrti3"): ... to here.

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

        PR middle-end/32279
        * fold-const (fold_binary) [RDIV_EXPR]: Optimize a/sqrt(b/c)
        into a*sqrt(c/b) if flag_unsafe_math_optimizations is set.

2007-06-10  Jan Sjodin  <jan.sjodin@amd.com>
            Sebastian Pop  <sebpop@gmail.com>

        * lambda-code.c (remove_iv): New.
        (lambda_loopnest_to_gcc_loopnest): Use remove_iv.

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

        * tree-data-ref.c (dr_analyze_alias): Handle case smt is NULL.
        * tree-predcom.c (mark_virtual_ops_for_renaming): Exported.
        * tree-ssa-loop-prefetch.c: Include optabs.h.
        (FENCE_FOLLOWING_MOVNT): New macro.
        (struct mem_ref): Add independent_p and storent_p fields.
        (record_ref): Initalize the new fields.
        (gather_memory_references_ref): Return true if the reference
        could be analysed.
        (gather_memory_references): Check whether all memory accesses
        in loop were recorded.
        (should_issue_prefetch_p): Return false for nontemporal stores.
        (nontemporal_store_p, mark_nontemporal_store, emit_mfence_after_loop,
        may_use_storent_in_loop_p, mark_nontemporal_stores): New functions.
        (determine_loop_nest_reuse): Detect independent memory references.
        (loop_prefetch_arrays): Call mark_nontemporal_stores.
        * tree-flow.h (mark_virtual_ops_for_renaming): Declare.
        * Makefile.in (tree-ssa-loop-prefetch.o): Add OPTABS_H dependency.
        * config/i386/i386.h (x86_mfence): Declare.
        (FENCE_FOLLOWING_MOVNT): Return x86_mfence.
        * config/i386/i386.c (x86_mfence): New variable.
        (ix86_init_mmx_sse_builtins): Initialize x86_mfence.

        * tree-pretty-print.c (dump_generic_node): Mark nontemporal stores.
        * optabs.c (init_optabs): Initialize storent_optab.
        * optabs.h (enum optab_index): Add OTI_storent.
        (storent_optab): Declare.
        * genopinit.c (optabs): Add initialization for storent_optab.
        * tree.h (MOVE_NONTEMPORAL): New macro.
        * expr.c (expand_assignment, store_expr, store_constructor_field,
        store_constructor, store_field, expand_expr_real_1): Propagate
        nontemporality of the expanded store.
        (emit_storent_insn): New function.
        * expr.h (expand_assignment, store_expr): Declaration changed.
        * function.c (assign_parm_setup_reg): Pass false as nontemporality
        to expand_assignment.
        * stmt.c (expand_asm_expr): Ditto.
        * calls.c (initialize_argument_information): Pass false as
        nontemporality to store_expr.
        * config/i386/sse.md (storentv4sf, storentv2df, storentv2di,
        storentsi): New.

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

        * tree-ssa-structalias.c (set_uids_in_ptset): Add is_deref'd
        parameter, use it.
        (find_what_p_points_to): Pass new parameter to set_uids_in_ptset.

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

        * tree-data-ref.c (dr_may_alias_p): Check that decl_a != decl_b,
        and allow DECL_P here.

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

        * tree-scalar-evolution.c (follow_ssa_edge_in_rhs,
        follow_ssa_edge_in_condition_phi, follow_ssa_edge): Keep more precise
        track of the size of the expression.
        * cfghooks.c (merge_blocks): Remove block from loops structure only
        after call of the merge_blocks hook.

2007-06-09  Tom Tromey  <tromey@redhat.com>

        * c-decl.c (grokdeclarator): Added 'deprecated_state' argument.
        (deprecated_state): Removed.
        (start_decl): Update.
        (enum deprecated_states): Moved earlier.
        (groktypename): Update.
        (push_parm_decl): Likewise.
        (grokfield): Likewise.
        (start_function): Likewise.

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

        PR tree-optimization/32169
        * tree-vrp.c (extract_range_from_unary_expr): For NOP_EXPR and
        CONVERT_EXPR, check whether min and max both converted to an
        overflow infinity representation.

2007-06-08  Eric Botcazou  <ebotcazou@adacore.com>

        * reload1.c (fixup_abnormal_edges): Clear bb field for insns
        not inserted on the edge.

2007-06-08  Bob Wilson  <bob.wilson@acm.org>

        * config/xtensa/lib1funcs.asm (__udivsi3): Use hardware divide
        instructions if they are supported.
        (__divsi3, __umodsi3, __modsi3): Likewise.
        (__ashldi3, __ashrdi3, __lshrdi3): New.
        * config/xtensa/t-xtensa (LIB1ASMFUNCS): Add DImode shift functions.

2007-06-08  Harsha Jagasia <harsha.jagasia@amd.com>
            Tony Linthicum <tony.linthicum@amd.com>

        * doc/invoke.texi: Add fvect-cost-model flag.
        * common.opt (fvect-cost-model): New flag.
        * tree-vectorizer.c (new_stmt_vec_info): Initialize inside and outside
        cost fields in stmt_vec_info struct for STMT.
        * tree-vectorizer.h (stmt_vec_info): Define inside and outside cost
        fields in stmt_vec_info struct and access functions for the same.
        (TARG_COND_BRANCH_COST): Define cost of conditional branch.
        (TARG_VEC_STMT_COST): Define cost of any vector operation, excluding
        load, store and vector to scalar operation.
        (TARG_VEC_TO_SCALAR_COST): Define cost of vector to scalar operation.
        (TARG_VEC_LOAD_COST): Define cost of aligned vector load.
        (TARG_VEC_UNALIGNED_LOAD_COST): Define cost of misasligned vector load.
        (TARG_VEC_STORE_COST): Define cost of vector store.
        (vect_estimate_min_profitable_iters): Define new function.
        * tree-vect-analyze.c (vect_analyze_operations): Add a compile-time
        check to evaluate if loop iterations are less than minimum profitable
        iterations determined by cost model or minimum vect loop bound defined
        by user, whichever is more conservative.
        * tree-vect-transform.c (vect_do_peeling_for_loop_bound): Add a
        run-time check to evaluate if loop iterations are less than minimum
        profitable iterations determined by cost model or minimum vect loop
        bound defined by user, whichever is more conservative.
        (vect_estimate_min_profitable_iterations): New function to estimate
        mimimimum iterartions required for vector version of loop to be
        profitable over scalar version.
        (vect_model_reduction_cost): New function.
        (vect_model_induction_cost): New function.
        (vect_model_simple_cost): New function.
        (vect_cost_strided_group_size): New function.
        (vect_model_store_cost): New function.
        (vect_model_load_cost): New function.
        (vectorizable_reduction): Call vect_model_reduction_cost during
        analysis phase.
        (vectorizable_induction): Call vect_model_induction_cost during
        analysis phase.
        (vectorizable_load): Call vect_model_load_cost during analysis phase.
        (vectorizable_store): Call vect_model_store_cost during analysis phase.
        (vectorizable_call, vectorizable_assignment, vectorizable_operation,
        vectorizable_promotion, vectorizable_demotion): Call
        vect_model_simple_cost during analysis phase.

2007-06-08  Simon Baldwin  <simonb@google.com>

        * reg-stack.c (get_true_reg): Readability change.  Moved default case
        label into direct switch statement scope.

2007-06-08  Simon Baldwin  <simonb@google.com>

        * tree-flow-inline.h (var_ann): Replaced erroneous '=' assignment
        in gcc_assert() with '==' comparison.

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

        * config/i386/i386.c (override_options): Merge TARGET_SSE4_2 and
        TARGET_ABM handling of x86_popcnt variable.

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

        * doc/extend.texi (X86 Built-in Functions): Document __builtin_fabsq,
        __builtin_copysignq and __builtin_infq built-in functions.

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

        * doc/extend.texi (X86 Built-in Functions): Add missing `@item's in
        SSE4.2 section.  Correct built-in function names in SSE4A section.

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

        PR tree-optimization/32243
        * tree-vect-transform.c (vectorizable_type_promotion): Move check
        for ncopies after ratio check between nunits_out and nunits_in.
        (vectorizable_type_demotion): Remove single-use variable "scalar_type".

2007-06-08  Dorit Nuzman  <dorit@il.ibm.com>

        PR tree-optimization/32224
        * tree-vect-analyze.c (vect_determine_vectorization_factor): Fail
        vectorization upon a non GIMPLE_MODIFY_STMT.

2007-06-08  Christian Bruel  <christian.bruel@st.com>

        PR target/29953
        * config/sh/sh.md (doloop_end): New pattern and splitter.
        * loop-iv.c (simple_rhs_p): Check for hardware registers.

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