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

2006-05-21  Mike Stump  <mrs@apple.com>

        * config/darwin-c.c (BAD): Conditionalize on OPT_Wpragmas.
        (BAD2): Add.
        
2006-05-21  David Edelsohn  <edelsohn@gnu.org>

        * config/rs6000/rs6000.md (floatsitf2): Remove constraints.

2006-05-21  Kazu Hirata  <kazu@codesourcery.com>

        PR rtl-optimization/27671
        * simplify-rtx.c (simplify_relational_operation_1): Fix
        simplifications of (eq/ne (xor x y) y) and
        (eq/ne (xor x y) x).

        PR tree-optimization/26622.
        * fold-const.c (fold_ternary) <COND_EXPR>: Call fold_convert
        on arg1.

2006-05-21  Bernhard Fischer  <aldot@gcc.gnu.org>

        * tree-cfg.c: Prune whitespace.
        (debug_tree_cfg): Point to correct header containing the
        TDF_* defines.

2006-05-21  Bernhard Fischer  <aldot@gcc.gnu.org>

        PR middle-end/25776
        * cgraphunit.c (verify_cgraph_node): Typo in error message.

2006-05-20  Andrew Pinski  <pinskia@physics.uc.edu>

        PR middle-end/25776
        * cgraphunit.c (cgraph_optimize): Don't run ipa passes if error
        or sorry count is non zero.

2006-05-20  Andreas Schwab  <schwab@suse.de>

        * config/pa/pa-linux.h (STRING_ASM_OP): Prepend and append a tab.

2006-05-19  Daniel Berlin  <dberlin@dberlin.org>
            Kenneth Zadeck <zadeck@naturalbridge.com>

        PR rtl-optimization/26855

        * df-scan.c (mw_reg_pool, mw_link_pool): New allocation pools for
        multiword refs.
        (df_scan_alloc): Added code to properly handle multiword hard
        registers and add all_blocks parameter.
        (df_scan_free_internal, df_insn_refs_delete, df_ref_record): Added
        code to properly handle multiword hard registers.
        (df_rescan_blocks): Added code to remove deleted blocks from
        bitmap.
        (df_ref_create_structure, df_ref_record): Added code to properly
        handle subregs.
        (df_ref_record_1): Changed DF_REF_CLOBBER into DF_REF_MUST_CLOBBER
        and set DF_REF_PARTIAL.
        (df_defs_record): Changed DF_REF_CLOBBER into DF_REF_MUST_CLOBBER.
        (df_uses_record): Added DF_REF_PARTIAL for subreg. 
        (df_scan_add_problem): Added flags parameter.
        (df_ref_create_structure): Changed switching structure.
        (df_bb_refs_record): Fixed case where duplicate artificial refs
        were created.  Changed location of flags.
        (df_record_entry_block_defs): Added code to make stack pointer
        live in entry block.  Refined cases where frame pointer is needed.
        Changed location of flags.
        (df_record_exit_block_uses, df_insn_refs_record): Changed location of flags.
        (df_set_state): Removed function.
        (df_grow_reg_info, df_reg_chain_unlink, df_ref_remove,
        df_insn_create_insn_record, df_insn_refs_delete, 
        df_ref_create_structure): Formatting changes.  
        * df-core.c (df_mvs_dump, df_set_flags, df_clear_flags,
        df_delete_basic_block): New function.
        (df_init): Changed location of flags.
        (df_add_problem): Added flags parameter and the way flags are
        processed.
        (df_insn_uid_debug, df_ref_debug, debug_df_defno, debug_df_ref,
        debug_df_chain): Improved debugging output.
        (df_insn_debug, df_insn_uid_debug): Added multiword reg support.
        (df_refs_chain_dump): Removed df parameter.
        (df_iterative_dataflow): Added consistency check.
        (df_prune_to_subcfg): Made public.
        (df_analyze_problem): Added blocks_to_init parameter and made
        public.
        (df_ref_record, df_bb_refs_record, df_mark_reg, 
         df_record_exit_block_uses): Whitespace changes.
        (df_dump): Whitespace changes.
        * df.h: Some reordering to remove forward references.
        (df_ref_flags.DF_REF_MW_HARDREG, DF_REF_PARTIAL,
        DF_REF_MUST_CLOBBER, DF_REF_MAY_CLOBBER): New fields.
        (df_ref_flags.DF_REF_CLOBBER): Deleted field.
        (dataflow.flags): New field.
        (df.flag): Deleted field.
        (df_alloc_function): Added additional bitmap parameter.
        (df_dependent_problem_function): New type.
        (df_problem.changeable_flags): New field.
        (df_ref_flags.DF_REF_DIES_AFTER_THIS_USE, DF_SCAN_INITIAL,
        DF_SCAN_GLOBAL, DF_SCAN_POST_ALLOC, df_state): Removed.
        (df_mw_hardreg): New struct.
        (DF_INSN_UID_MWS): New macro.
        (df_refs_chain_dump, df_ref_debug, df_chain_dump): Removed df
        parameter.
        (df_add_problem, df_ru_add_problem, df_rd_add_problem,
        df_lr_add_problem, df_ur_add_problem, df_urec_add_problem,
        df_ri_add_problem, df_scan_add_problem): Added flags parameter.
        (df_set_state): Removed function.
        (df_set_flags, df_clear_flags, df_delete_basic_block) New functions.
        * df-problems.c (df_chain_dump): Removed df parameter.
        (df_ru_alloc, df_rd_alloc, df_lr_alloc, df_ur_alloc,
        df_urec_alloc, df_chain_alloc, df_ri_alloc): Added all blocks
        parameter.
        (df_ru_alloc, df_rd_alloc): Now resets all blocks.
        (df_rd_bb_local_compute_process_def, df_ur_bb_local_compute,
        df_chain_create_bb, df_create_unused_note, df_ri_bb_compute):
        Split DF_REF_CLOBBER into DF_REF_MAY_CLOBBER and
        DF_REF_MUST_CLOBBER cases.
        (df_ru_bb_local_compute_process_def,
        df_rd_bb_local_compute_process_def, df_lr_bb_local_compute,
        df_lr_bb_local_compute, df_ur_bb_local_compute,
        df_chain_create_bb): Made subreg aware.
        (df_ru_bb_local_compute, df_rd_bb_local_compute,
        df_lr_bb_local_compute, df_lr_bb_local_compute,
        df_chain_create_bb): Cleanup to use proper macros.
        (df_ur_local_finalize, df_urec_local_finalize): Removed unnecessary
        code to fixup bitvectors.
        (df_ri_alloc): Cleared lifetime.
        (df_ignore_stack_reg, df_kill_notes, df_set_notes_for_mw,
        df_create_unused_note): New function.
        (df_ri_bb_compute, df_ri_compute): Added code to create/update
        REG_DEAD and REG_UNUSED notes as well as register information.
        (df_ru_dump, df_rd_dump, df_lr_dump, df_ur_dump, df_urec_dump,
        df_chains_dump): Fixed crash if problem was never run.
        (df_ru_add_problem, df_rd_add_problem, df_lr_add_problem,
        df_ur_add_problem, df_urec_add_problem, df_chain_add_problem,
        df_ri_add_problem): Processes flags in uniform manner.
        (df_ru_alloc, df_ru_local_compute, df_ru_confluence_n, df_ru_free,
        df_ru_dump, df_rd_local_compute, df_rd_confluence_n, df_rd_free,
        df_rd_dump, df_urec_free_bb_info): Formatting changes.
        (df_ru_free_bb_info, df_ru_bb_local_compute, df_ru_dump,
        df_rd_free_bb_info, df_rd_bb_local_compute_process_def,
        df_rd_bb_local_compute, df_rd_dump, df_lr_free_bb_info,
        df_lr_bb_local_compute, df_lr_local_compute, df_ur_free_bb_info,
        df_ur_dump, df_urec_free_bb_info, df_urec_dump,
        df_chain_create_bb, df_ri_bb_compute): Whitespace changes.
        * modulo-sched.c (sms_schedule): Added flag parameter to calls.
        * see.c (see_initialize_data): Ditto.
        * final.c (rest_of_clean_state) Added regstack_completed.
        * rtl.h (regstack_completed): Ditto.
        * reg-stack.c (regstack_completed): Ditto.

2006-05-19  Mike Stump  <mrs@apple.com>

        * c-tree.h (default_conversion): Remove.
        * c-common.h (default_conversion): Add.

2006-05-19  Zdenek Dvorak <dvorakz@suse.cz>

        * tree-vrp.c (valid_value_p): New function.
        (adjust_range_with_scev): Fail if the value of bound is not
        simple.

2006-05-19  Richard Sandiford  <richard@codesourcery.com>

        * config/mips/linux-unwind.h: Include <asm/unistd.h>
        (mips_fallback_frame_state): Use syscall numbers to determine
        the appropriate li instruction for the current ABI.  Only use
        __NR_sigreturn for o32.

2006-05-19  Nicolas Setton  <setton@adacore.com>

        * langhooks.h (struct lang_hooks): Add dwarf_name language hook.
        * langhooks.c (lhd_dwarf_name): New function.
        * langhooks-def.h (lhd_dwarf_name): Declare.
        (LANG_HOOKS_DWARF_NAME): New macro, defaults to lhd_dwarf_name.
        * dwarf2out.c (dwarf2_name): Use the dwarf_name language hook.
        * ada/misc.c (gnat_dwarf_name): New function.
        (LANG_HOOKS_DWARF_NAME): Define to gnat_dwarf_name.
        
2006-05-19  Richard Sandiford  <richard@codesourcery.com>

        * libgcc2.c (MIN_UNITS_PER_WORD): Move default definition from
        libgcc2.h.
        (LIBGCC2_UNITS_PER_WORD): Provide default definition, using old
        MIN_UNITS_PER_WORD logic from libgcc2.h.  Do nothing if
        LIBGCC2_UNITS_PER_WORD > MIN_UNITS_PER_WORD.
        * libgcc2.h (MIN_UNITS_PER_WORD): Remove definition from here.
        Use LIBGCC2_UNITS_PER_WORD rather than MIN_UNITS_PER_WORD to
        determine the size of Wtype, etc.
        * mklibgcc.in (LIB2_SIDITI_CONV_FUNCS): New argument.
        (swfloatfuncs): New variable.
        (dwfloatfuncs): Likewise.
        (lib2funcs): Remove floating-point conversion functions from
        initial assignment.  Use LIB2_SIDITI_CONV_FUNCS to determine
        the set of conversion routines needed.  Allow entries to specify
        an object name, filename and word size.  Update users accordingly.
        * Makefile.in (libgcc.mk): Pass LIB2_SIDITI_CONV_FUNCS.
        * config/mips/t-mips (LIB2_SIDITI_CONV_FUNCS): Define.

        Revert:

        2006-02-08  Roger Sayle  <roger@eyesopen.com>

        PR target/22209
        * config/fixtfdi.c: New libgcc source file.
        * config/fixunstfdi.c: New source file.
        * config/floatditf.c: New source file.
        * config/floatunditf.c: New souce file.
        * config/mips/t-iris6 (LIB2FUNCS_EXTRA): Include the new source
        files above instead of config/mips/_tilib.c.
        * config/mips/t-linux64 (LIB2FUNCS_EXTRA): Likewise.

2006-05-18  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>

        * pa/t-hpux-shlib (SHLIB_LINK): Remove `-lc'.
        * pa/pa-hpux11.h (LIB_SPEC): Update comment.

2006-05-18  Mike Stump  <mrs@apple.com>

        Fix up vla, vm and [*] sematics.

        PR c/18740
        PR c/7948
        PR c/25802
        PR c/27673
        * c-tree.h (struct c_arg_info): Add had_vla_unspec.
        (c_vla_unspec_p): Add.
        (c_vla_type_p): Add.
        * c-decl.c (struct c_scope): Add had_vla_unspec.
        (build_array_declarator): Add support for [*].
        (grokdeclarator): Likewise.
        (grokparms): Likewise.
        (get_parm_info): Likewise.
        * c-objc-common.c (c_vla_unspec_p): Likewise.
        * c-objc-common.h (LANG_HOOKS_TREE_INLINING_VAR_MOD_TYPE_P): Likewise.
        * c-parser.c (c_parser_typeof_specifier): Evaluate arguments to
        typeof when argument is a variably modified type not inside sizeof or alignof.
        (c_parser_direct_declarator_inner): Propagate errors.
        (c_parser_sizeof_expression): Add support for [*].
        (c_parser_parms_declarator): Initialize had_vla_unspec.
        (c_parser_parms_list_declarator): Likewise.
        * c-typeck.c (c_vla_type_p): Add.
        (composite_type): Add support for vla compositing.
        (comptypes_internal): Add support for vla compatibility.
        (c_expr_sizeof_expr): Evaluate vla arguments.
        * tree.c (variably_modified_type_p): Update comment for [*].

2006-05-18  Michael Matz  <matz@suse.de>

        PR target/27599
        * config.host: Make assignments to host_xmake_file cumulative.
        * config.host (*-darwin*): Test $host, not $target.

2006-05-12  Stuart Hastings  <stuart@apple.com>

        * config/i386/i386.opt (-mstackrealign): New flag.
        * config/i386/i386.c (force_align_arg_pointer): New attribute.
        (ix86_handle_cconv_attribute): Emit error when
        force_align_arg_pointer attribute collides with too many regparms.
        (ix86_function_regparm): Limit regparms when used with
        force_align_arg_pointer attribute.  (ix86_internal_arg_pointer):
        Support stack-realigning prologue in non-main functions.  Emit
        warning for nested functions under -mstackrealign, emit error for
        nested functions with force_align_arg_pointer attribute.
        * doc/extend.texi (force_align_arg_pointer): Document it.
        * doc/invoke.texi (-mstackrealign): Document it.

2006-05-17  Kazu Hirata  <kazu@codesourcery.com>

        PR rtl-optimization/27477
        * combine.c (try_combine): Don't split a parallel consisting
        of two sets into two individual sets if both sets reference
        cc0.

2006-05-17  H.J. Lu  <hongjiu.lu@intel.com>

        * config/arm/arm.opt (target_fpe_name): Remove VarExists.
        * config/rs6000/rs6000.opt (TARGET_NO_FP_IN_TOC): Likewise.

        * doc/options.texi (VarExists): Updated.

2006-05-17  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>

        * unwind-dw2.c: Add declarations for uw_update_context and
        uw_frame_state_for.
        * pa/hpux-unwind.h (pa_fallback_frame_state): When an export stub is
        detected, advance frame state and context once to skip over stub.

2006-05-17  Sebastian Pop  <pop@cri.ensmp.fr>

        PR middle-end/20256
        PR middle-end/26435
        * tree-loop-linear.c (linear_transform_loops): Don't test perfect_nest_p.
        Call rewrite_into_loop_closed_ssa only when something changed.
        * lambda.h (gcc_loopnest_to_lambda_loopnest): Update declaration.
        * lambda-code.c (can_convert_to_perfect_nest): Declared.
        (gcc_loopnest_to_lambda_loopnest): Removed need_perfect_nest parameter.
        Test for perfect_nest_p here.  Fix formating.
        (replace_uses_equiv_to_x_with_y): Fix formating.
        (stmt_uses_op): Removed.
        (can_convert_to_perfect_nest): Removed loopivs parameter.
        Complete the test by checking the scalar dependences.
        (perfect_nestify): Remove the test for can_convert_to_perfect_nest.
        Fix formating.

2005-05-17  Bernd Schmidt  <bernd.schmidt@analog.com>

        PR bootstrap/22541
        From Dan Kegel <dank@kegel.com>:
        * Makefile.in: Strip "dir/../" combinations from SYSTEM_INCLUDE_DIR.

2006-05-17  Eric Botcazou  <ebotcazou@adacore.com>

        * tree.c (variably_modified_type_p) <ARRAY_TYPE>: Return true
        if the element type is variably modified without recursing.

2006-05-17  Sebastian Pop  <pop@cri.ensmp.fr>

        PR middle-end/27332
        * tree-loop-linear.c (try_interchange_loops): Test for
        no data dependences.

2006-05-17  Zdenek Dvorak <dvorakz@suse.cz>

        PR tree-optimization/27548
        * tree-scalar-evolution.c (scev_const_prop): Do not prolong life
        range of ssa names that appear on abnormal edges.
        * tree-ssa-loop-ivopts.c (contains_abnormal_ssa_name_p): Export.
        * tree-flow.h (contains_abnormal_ssa_name_p): Declare.

2005-05-17  Bernd Schmidt  <bernd.schmidt@analog.com>

        PR middle-end/27620
        * expr.c (safe_from_p): Handle CONSTRUCTOR again.

2006-05-17  Jakub Jelinek  <jakub@redhat.com>

        PR middle-end/27415
        * tree.h (OMP_PARALLEL_COMBINED): Define.
        * gimplify.c (struct gimplify_omp_ctx): Add is_combined_parallel field.
        (new_omp_context): Add is_combined_parallel argument.
        (gimplify_scan_omp_clauses): Add in_combined_parallel argument, adjust
        new_omp_context caller.
        (gimplify_omp_parallel, gimplify_omp_for, gimplify_omp_workshare):
        Adjust gimplify_scan_omp_clauses callers.
        (omp_is_private): Issue errors if iteration variable is firstprivate
        or reduction in the current context.
        * c-parser.c (c_parser_omp_parallel): Set OMP_PARALLEL_COMBINED
        on combined parallel workshare constructs.

2006-05-16  H.J. Lu  <hongjiu.lu@intel.com>

        * Makefile.in (GCC_OBJS): Replace options.o with gcc-options.o.
        (gcc-options.o): New rule.

        * optc-gen.awk: Protect variables for gcc-options.o with
        #ifdef GCC_DRIVER/#endif.

2006-05-16  Daniel Berlin <dberlin@dberlin.org>

        Fix PR tree-optimization/27373
        * tree-ssa-forwprop.c: (forward_propagate_addr_expr_1): Add argument.
         (forward_propagate_addr_expr): Update call.

2006-05-16  H.J. Lu  <hongjiu.lu@intel.com>

        * doc/options.texi: Move the Negative option.

2006-05-16  Richard Guenther  <rguenther@suse.de>

        PR tree-optimization/22303
        * tree-ssa-ccp.c (fold_const_aggregate_ref): Handle reads
        from STRING_CSTs.
        (evaluate_stmt): Fall back to fold_const_aggregate_ref, if
        ccp_fold did not simplify the statement.

2006-05-16  H.J. Lu  <hongjiu.lu@intel.com>

        PR driver/26885
        * Makefile.in (GCC_OBJS): New.
        (OBJS-common): Add opts-common.o.
        (xgcc$(exeext)): Replace gcc.o with $(GCC_OBJS).
        (cpp$(exeext)): Likewise.
        (gcc.o): Also depend on opts.h.
        (opts-common.o): New.

        * common.opt (gcoff): Add Negative(gdwarf-2).
        (gdwarf-2): Add Negative(gstabs).
        (gstabs): Add Negative(gstabs+).
        (gstabs+): Add Negative(gvms).
        (gvms): Add Negative(gxcoff).
        (gxcoff): Add Negative(gxcoff+).
        (gxcoff+): Add Negative(gcoff).
        * config/i386/i386.opt (m32): Add Negative(m64).
        (m64): Add Negative(m32).

        * doc/options.texi: Document the Negative option.

        * gcc.c: Include "opts.h".
        (main): Call prune_options after expandargv.

        * optc-gen.awk: Generate common declarations for all flag
        variables in options.c. Output the neg_index field.

        * opts.c (find_opt): Moved to ...
        * opts-common.c: Here. New file.

        * opts.h (cl_option): Add a neg_index field.
        (find_opt): New.
        (prune_options): Likewise.

2006-05-16  Jakub Jelinek  <jakub@redhat.com>

        PR middle-end/27573
        * omp-low.c (expand_omp_parallel): Don't assert
        .OMP_DATA_I = &.OMP_DATA_O is the first statement in the block,
        instead search for it.

        PR c/27499
        * gimplify.c (gimplify_omp_for): Remove assertion that iteration var
        is signed.

2006-05-16  Andreas Schwab  <schwab@suse.de>

        * doc/tm.texi (TARGET_LIBGCC_SDATA_SECTION): Add missing @end
        defmac.

2006-05-15  Roger Sayle  <roger@eyesopen.com>

        PR target/26600
        * config/i386/i386.c (legitimate_constant_p) <CONST_DOUBLE>: TImode
        integer constants other than zero are only legitimate on TARGET_64BIT.
        <CONST_VECTOR> Only zero vectors are legitimate.
        (ix86_cannot_force_const_mem): Integral and vector constants can
        always be put in the constant pool.

2006-05-16  DJ Delorie  <dj@redhat.com>

        * crtstuff.c (__dso_handle): Set section from
        TARGET_LBIGCC_SDATA_SECTION if defined.
        * doc/tm.texi (TARGET_LIBGCC_SDATA_SECTION): Document.
        * config/mips/mips.h (TARGET_LIBGCC_SDATA_SECTION): Define.

2006-05-16  Danny Smith  <dannysmith@users.sourceforge.net>

        PR target/27599
        * config.host (i[34567]86-*-mingw*): Append i386/x-mingw32 to
        host_xmake_file.

2006-05-16  Ben Elliston  <bje@au.ibm.com>

        * tree-cfg.c (split_edge_bb_loc): Remove unused variable `src'.

2006-05-15  Per Bothner  <per@bothner.com>

        * tree.c: (last_annotated_node): Use sources_locus typedef.
        This permits bootstrapping with --enable-mapped-location.

2006-05-15  Zdenek Dvorak <dvorakz@suse.cz>

        PR tree-optimization/26830
        * tree-into-ssa.c (struct ssa_name_info): Add age field.
        (info_for_ssa_name, current_info_for_ssa_name_age,
        blocks_to_update): New variables.
        (get_ssa_name_ann): Use info_for_ssa_name instead of SSA_NAME_AUX.
        (clear_ssa_name_info, initialize_flags_in_bb,
        mark_block_for_update): New functions.
        (mark_def_sites, rewrite_stmt): Assert that blocks_to_update is NULL.
        (insert_phi_nodes_for, mark_use_interesting, prepare_block_for_update,
        prepare_def_site_for): Use mark_block_for_update.
        (mark_def_interesting): Assert that the processed block is marked in
        blocks_to_update.  Do not take blocks argument.
        (prepare_use_sites_for, prepare_names_to_update): Do not take blocks
        argument.
        (rewrite_update_init_block, rewrite_update_stmt): Only process
        blocks with statements to rewrite.
        (delete_update_ssa): Do not clear SSA_NAME_AUX.
        (update_ssa): Initialize and free blocks_to_update.  Do not
        clear flags on statements.  Do not use blocks bitmap.
        * tree.h (SSA_NAME_AUX): Removed.
        (struct tree_ssa_name): Removed aux field.
        * print-tree.c (print_node): Do not print SSA_NAME_AUX.

2006-05-15  Richard Guenther  <rguenther@suse.de>

        PR tree-optimization/27603
        * tree-ssa-loop-niter.c (infer_loop_bounds_from_undefined):
        Do computations in original type.

2006-05-15  Mircea Namolaru  <namolaru@il.ibm.com>

        * see.c: Code style changes such as redundant paranthesis,
        redundant intialization of local variables etc.
        (see_main): Declared now as static.
        * doc/invoke.texi: Update that -fsee is not enabled by
        default at -O3.

2006-05-15  Jakub Jelinek  <jakub@redhat.com>

        * omp-low.c (check_omp_nesting_restrictions): New function.
        (scan_omp_1): Call it.

        PR middle-end/27416
        * omp-low.c (build_outer_var_ref): If VAR is reference in orphaned
        construct, return *VAR.

2006-05-14  Kaz Kojima  <kkojima@gcc.gnu.org>

        PR rtl-optimization/27406
        * bt-load.c (migrate_btr_def): Skip the block having abnormal
        edges.

2006-05-14  Roger Sayle  <roger@eyesopen.com>

        PR rtl-optimization/27538
        * combine.c (expand_compound_operation): Call gen_lowpart
        before calling simplify_shift_const.

2006-05-14  Roger Sayle  <roger@eyesopen.com>

        PR rtl-optimization/22563
        * expmed.c (store_fixed_bit_field): When using AND and IOR to store
        a fixed width bitfield, always force the intermediates into psuedos.

2006-05-14  Bernhard Fischer  <aldot@gcc.gnu.org>

        PR 27501
        * mkconfig.sh: Use operator = instead of == for test.

2006-05-13  Nick Clifton  <nickc@redhat.com>

        * dwarf2out.c (dbx_reg_number): Check return value from
        LEAF_REG_REMAP and only use it if it is valid.
        (multiple_reg_loc_descriptor): Likewise.

2006-05-13  Richard Guenther  <rguenther@suse.de>

        * config.host <i[34567]86-*-cygwin*>: Append i386/x-cygwin to
        host_xmake_file.

2006-05-13  Steven Bosscher  <stevenb.gcc@gmail.com>

        * df-core.c (df_bb_regno_last_use_find): Do not look for dataflow
        information attached to non-INSNs such as NOTEs.
        (df_bb_regno_first_def_find, df_bb_regno_last_def_find): Likewise.

2006-05-12  Andreas Krebbel  <krebbel1@de.ibm.com>

        * config/s390/s390.c (s390_const_ok_for_constraint_p): Disallow -4G for
        On contraint.
        * config/s390/s390.md: Adjust comment describing On constraint.

2006-05-11  Jan Hubicka  <jh@suse.cz>

        * cgraphunit.c (decide_is_function_needed): Don't force always_inline
        to be output at -O0.

2006-05-11  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>

        PR middle-end/27384
        * fold-const.c (size_binop): Move sanity check for arguments to
        the beginning of the function.

        PR middle-end/27488
        * fold-const.c (tree_expr_nonnegative_p): Return early on invalid
        expression.

2006-05-11  Richard Guenther  <rguenther@suse.de>

        PR middle-end/27529
        * fold-const.c (fold_unary): Handle intermediate conversion
        to a pointer type like intermediate conversion to an integer
        type in folding of (T1)(T2)var to var.
        Match the code to the comment in the final conversion for
        (T1)(T2)var to (T1)var regarding to type precision.  Rather
        than disallow T1 being of pointer type, assert that both T1
        and var are of pointer type or not.  Make sure not to fall
        over the frontends lazyness wrt array to pointer decay though.

2006-05-10  Richard Earnshaw  <rearnsha@arm.com>

        * arm.c (arm_struct_value_rtx): Delete.
        (TARGET_STRUCT_VALUE_RTX): Use the default definition.
        (arm_init_cumulative_args): Always initialize nregs to zero.

2006-05-10  Richard Guenther  <rguenther@suse.de>

        PR tree-optimization/27532
        * tree-object-size.c (plus_expr_object_size): Fix typo.

2006-05-10  Kazu Hirata  <kazu@codesourcery.com>

        PR target/24949
        * config/m68k/m68k.md (ashrdi_const32, ashrdi_const32_mem,
        ashrdi_const, ashrdi3): Use a scratch register.

2006-05-10  Richard Guenther  <rguenther@suse.de>

        PR tree-optimization/27302
        * fold-const.c (operand_equal_p): For two comparisons,
        try comparison of one comparison code swapped if that yields
        the same code.

2006-05-10  Ben Elliston  <bje@au.ibm.com>

        * tree-pretty-print.c (pretty_print_string): No need to handle
        '\0' as a special character.

        * tree.h: Include "hashtab.h".
        (iterative_hash_expr): Use hashval_t in its prototype.
        * Makefile.in (TREE_H): Add $(HASHTAB_H).

2006-05-09  Steve Ellcey  <sje@cup.hp.com>

        PR bootstrap/26872
        * config.gcc (hppa[12]*-*-hpux10*): Set gas to yes.
        (hppa*64*-*-hpux11*): Ditto.
        (hppa[12]*-*-hpux11*): Ditto.

2006-05-09  David Edelsohn  <edelsohn@gnu.org>

        PR target/26545
        * config/rs6000/aix41.h (TARGET_64BIT): Define.

2006-05-09  Michael Matz  <matz@suse.de>

        * config.host (<i[34567]86-*-*, x86_64-*-*>): Set
        host_extra_gcc_objs and host_xmake_file.
        (<*-*-linux*>): Don't overwrite host_xmake_file.
        * gcc.c (static_spec_functions): Add EXTRA_SPEC_FUNCTIONS.
        * config/i386/i386.h (EXTRA_SPEC_FUNCTIONS): Define.
        (host_detect_local_cpu): Declare.
        (CC1_CPU_SPEC): Add -march=native and -mtune=native cases.
        * config/i386/i386.c (override_options): Handle -mtune=native
        as -mtune=generic.
        * config/i386/x-i386: New file.
        * config/i386/driver-i386.c: New file.
        * doc/invoke.texi (<i386 and x86-64 Options>): Describe
        cpu-type "native".

2006-05-09  Dirk Mueller  <dmueller@suse.de>
        Richard Guenther  <rguenther@suse.de>

        PR middle-end/27498
        * fold-const.c (fold_read_from_constant_string): Relax check
        for matching types to matching modes.

2006-05-09  Zdenek Dvorak <dvorakz@suse.cz>

        PR rtl-optimization/27335
        * loop-unroll.c (peel_loops_completely): Use loops->parray to walk the
        loops.

2006-05-08  Chao-ying Fu  <fu@mips.com>
            Richard Sandiford  <richard@codesourcery.com>

        * config/mips/mips-ps-3d.md (scc_ps, s<code>_ps): New patterns.
        (vcondv2sf, sminv2sf3, smaxv2sf3): Likewise.
        * config/mips/mips.md (UNSPEC_SCC): New constant.
        * config/mips/mips-protos.h (mips_expand_vcondv2sf): Declare.
        * config/mips/mips.c (mips_reverse_fp_cond_p): New function.
        (mips_emit_compare): Use it.
        (mips_expand_vcondv2sf): New function.

2006-05-08  Daniel Berlin  <dberlin@dberlin.org>

        Fix PR tree-optimization/27093
        * tree-ssa-alias.c (recalculate_used_alone): Mark variables for
        renaming when they become not-used_alone.

2006-05-08  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>

        * hpux-unwind.h (pa_fallback_frame_state): Handle return parameter
        relocation and relocation stubs.

2006-05-08  Eric Christopher  <echristo@apple.com>

        * unwind-dw2-fde-darwin.c (examine_objects): Only check data
        section for ppc.

2006-05-08  Jan Hubicka  <jh@suse.cz>

        PR middle-end/25962
        * cgraphunit.c (decide_is_function_needed): When not optimizing even
        unused static functions are needed.

2006-05-08  Roger Sayle  <roger@eyesopen.com>

        PR target/27158
        * reload.c (find_reloads_toplev): Only return the simplified SUBREG
        of a reg_equiv_constant if the result is a legitimate constant.

2006-05-08  Uros Bizjak  <uros@kss-loka.si>

        PR target/27277
        * config/i386/i386.c (ix86_rtx_costs) [FLOAT_EXTEND]: For
        standard 80387 constants, raise the cost to prevent
        compress_float_constant() to generate load from memory.

2006-05-08  Kazu Hirata  <kazu@codesourcery.com>

        * config/arm/constraints.md (c): Fix a typo.

        * see.c, tree-flow-inline.h, tree-phinodes.c: Fix comment
        typos.

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

        PR target/24879
        * config/i386/pmmintrin.h (_mm_monitor): Remove macro. Use
        inline function.
        (_mm_mwait): Likewise.

        * config/i386/sse.md (sse3_mwait): Replace "mwait\t%0, %1" with
        "mwait".
        (sse3_monitor): Make it 32bit only.
        (sse3_monitor64): New. 64bit monitor.

2006-05-07  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>

        PR target/27421
        * config/i386/i386.c (classify_argument): Skip fields with invalid
        types.

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

        PR tree-optimization/27409
        * tree-ssa-structalias.c (get_constraint_for_component_ref):
        Do not try to find zero-sized subvars.

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

        PR tree-optimization/27136
        * tree-ssa-loop-niter.c (get_val_for): Correct function
        comment, assert requirements.
        (loop_niter_by_eval): Stop processing if the iterated
        value did not simplify.

2006-05-07  Mircea Namolaru  <namolaru@il.ibm.com>

        * opts.c (flag_see): remove its setting at -O3.

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

        * genpeep.c (main): Make insn-peep.c depend on flags.h.
        * arm/constraints.md: New file.
        * arm.h (REG_CLASS_FROM_LETTER_P): Delete.
        (CONST_OK_FOR_ARM_LETTER, CONST_OK_FOR_THUMB_LETTER)
        (CONST_OK_FOR_LETTER_P, CONST_DOUBLE_OK_FOR_ARM_LETTER)
        (CONST_DOUBLE_OK_FOR_LETTER_P, EXTRA_CONSTRAINT_STR_ARM)
        (CONSTRAINT_LEN, EXTRA_CONSTRAINT_THUMB, EXTRA_CONSTRAINT_STR)
        (EXTRA_MEMORY_CONSTRAINT): Likewise.
        * arm.md: Include constraints.md.
        (thumb_movsi_insn): Use satisfies_constraint_J.
        (movhi, movqi): Use satisfies_constraint_I.

2006-04-29 Anatoly Sokolov <aesok@post.ru>

        * config/avr/avr.h (CRT_BINUTILS_SPECS): Fixed crt* file name
        for atmeg a645 device.

2006-05-06   Richard Guenther  <rguenther@suse.de>

        PR tree-optimization/27151
        * tree-vect-transform.c (vectorizable_condition): Punt on
        values that have a different type than the condition.

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

        PR/21391
        * c-parser.c (c_parser_cast_expression): Only insert casts into
        hash table if pointer.
        * function.c (used_types_insert_helper): Rename from
        used_types_insert.
        (used_types_insert): Call used_types_insert_helper.
        * function.h (used_types_insert): Accept only one argument.

2006-05-05  David Edelsohn  <edesohn@gnu.org>

        * config/rs6000/rs6000.md: Mark all "X" constraints for clobbered
        scratch with output modifier.

2006-05-04  David Edelsohn  <edelsohn@gnu.org>

        PR target/26481
        * config/rs6000/rs6000.md (stmsi_power): Mark clobber constraint
        with output modifier.

2006-05-04  Richard Sandiford  <richard@codesourcery.com>

        PR target/26765
        * config/mips/mips.c (mips_symbolic_address_p): Return true
        for SYMBOL_TLSGD, SYMBOL_TLSLDM, SYMBOL_DTPREL, SYMBOL_TPREL,
        SYMBOL_GOTTPREL, and SYMBOL_TLS.

2006-05-04  Richard Guenther  <rguenther@suse.de>

        PR tree-optimization/14287
        PR tree-optimization/14844
        PR tree-optimization/19792
        PR tree-optimization/21608
        PR tree-optimization/27090
        * tree-ssa-pre.c (try_combine_conversion): New function.
        (compute_avail): After constructing the value-handle
        expression, use try_combine_conversion to combine NOP_EXPRs
        with previous value-handle expressions and use the result if it
        is available.

2006-05-04  Joseph S. Myers  <joseph@codesourcery.com>

        * config/mips/linux64.h (DWARF_OFFSET_SIZE): Remove.

2006-05-04  Jan Hubicka  <jh@suse.cz>

        PR middle-end/25962
        * cgraphunit.c (verify_cgraph_node): Fix cgraph_hash testing.

2006-05-04  Bernd Schmidt  <bernd.schmidt@analog.com>

        * config/bfin/predicates.md (const01_rtx): Tell generator programs
        that this only matches CONST_INTs.  All users changed to VOIDmode
        operands.

        * config/bfin/bfin.c: Include "optabs.h".
        (bfin_rtx_costs): Some costs for vector operations, to allow combine
        to do more work.
        (enum bfin_builtins): Add a number of fractional and vector builtins.
        (bfin_init_builtins): Likewise.
        (struct builtin_description, bdesc_2arg, bdesc_1arg): New.
        (safe_vector_operand, bfin_expand_binop_builtin,
        bfin_expand_unop_builtin): New functions.
        (bfin_expand_builtin): Handle the new builtins.
        * config/bfin/bfin.h (TARGET_CPU_CPP_BUILTINS): Define
        __ADSPBLACKFIN__.

2006-05-04  Leehod Baruch  <leehod@il.ibm.com>

        * see.c: New file.
        * Makefile.in (OBJS-common): Add see.o.
        (see.o): Add dependencies.
        * common.opt (fsee): New flag for the see optimization was added.
        * opts.c (flag_see): Initialized.
        * passes.c (init_optimization_passes, pass_see): New pass.
        * rtl.h (see_main): Declaration as extern.
        * timevar.def (TV_SEE): New.
        * tree-pass.h (pass_see): Declaration as extern.
        * invoke.texi (-fsee): Document.
        * recog.c (validate_simplify_insn): New function.
        * recog.h (validate_simplify_insn): Declaration as extern.
        * df-problems.c (df_chain_dump): Check for NULL.

2006-05-04  Kenneth Zadeck <zadeck@naturalbridge.com>
            Daniel Berlin  <dberlin@dberlin.org>

        * cfgrtl.c (insert_insn_bb_end_new): New function.
        * basic-block.h (insert_insn_bb_end_new): Declaration as extern.

2006-05-04  Leehod Baruch  <leehod.baruch@weizmann.ac.il>

        * df.h (struct web_entry): Moved from web.c.
        (union_defs): Declaration as extern.
        (unionfind_root): Likewise.
        (unionfind_union): Likewise.
        * web.c (struct web_entry): Moved to df.h.
        (unionfind_root): Remove static declaration.
        (unionfind_union): Likewise.
        (union_defs): Likewise and generalize to use callback function.
        (web_main): Update arguments for union_defs function call.

2006-05-04  Richard Guenther  <rguenther@suse.de>

        PR tree-optimization/26447
        * tree-ssa-pre.c (realify_fake_stores): For necessary loads
        produce SSA_NAME copies before the store stmt to avoid
        breaking exception handling.

2006-05-04  Jakub Jelinek  <jakub@redhat.com>

        PR middle-end/27388
        * gimplify.c (omp_is_private): If var is shared in some outer context,
        return false instead of true.  Stop searching on parallel context
        boundary.

2006-05-03  Alexandre Oliva  <aoliva@redhat.com>

        PR java/8260
        * coverage.c: Use get_gcov_unsigned_t() instead of
        unsigned_type_node all over.

2006-05-02  Andrew MacLeod  <amacleod@redhat.com>

        PR tree-optimization/27381
        * tree-phinodes.c (remove_phi_arg_num): When moving a phi argument,
        maintain the same immediate_use links.
        * tree-ssa-operands.c (dump_immediate_uses_for): Show iteration marker
        node rather than segfaulting.

2006-05-03  Jakub Jelinek  <jakub@redhat.com>

        PR fortran/27395
        * gimplify.c (gimplify_scan_omp_clauses): Compare OMP_CLAUSE_CODE
        rather than TREE_CODE to OMP_CLAUSE_REDUCTION.  Set also GOVD_SEEN
        bit for OMP_CLAUSE_REDUCTION_PLACEHOLDER.

2006-05-02  Daniel Berlin  <dberlin@dberlin.org>

        Fix PR tree-optimization/26626
        * tree-ssa-structalias.c (compute_points_to_sets): For now, solve
        always.
        * tree-ssa-operands.c (access_can_touch_variable): Allow
        typecasting through union pointers.

2006-05-02  Jakub Jelinek  <jakub@redhat.com>

        PR c++/26943
        * omp-low.c (maybe_lookup_decl_in_outer_ctx): New function.
        (build_outer_var_ref): Use maybe_lookup_decl_in_outer_ctx
        to find if var will be a global variable even in the nested context.
        (omp_copy_decl): Only check for global variable at the end, it might
        be overridden in outer contexts.
        (scan_sharing_clauses): For global variables don't create a field.
        (lower_rec_input_clauses): Do nothing for global shared variables.
        Emit a barrier at the end of ILIST if there were any decls in both
        firstprivate and lastprivate clauses.
        (lower_send_clauses): Do nothing for global variables except for
        COPYIN.

2006-05-02  Zdenek Dvorak <dvorakz@suse.cz>

        * tree.c (unsigned_type_for, signed_type_for): Make sure a type
        of the correct signedness is returned.

2006-05-02  Jeff Law  <law@redhat.com>

        PR tree-optimization/27364
        * tree-vrp.c (vrp_int_const_binop): Fix detection of overflow from
        multiply expressions.

2006-05-02  Tom Tromey  <tromey@redhat.com>

        * tree-flow-inline.h (op_iter_init_phiuse): Fixed typo.

2006-05-02  Kazu Hirata  <kazu@codesourcery.com>

        PR target/27387
        * arm.c (arm_output_mi_thunk): Use pc-relative addressing when
        -mthumb -fPIC are used.

2006-05-02  Stanislaw Skowronek  <skylark@linux-mips.org>
            Joshua Kinard  <kumba@gentoo.org>

        PR target/25871
        * config/mips/mips.h (TRAMPOLINE_TEMPLATE): Avoid 32-bit moves
        with 64-bit pointers.

2006-05-02  Paul Brook  <paul@codesourcery.com>

        * config/arm/arm.c (add_minipool_forward_ref): Check if insn
        and pool overlap.
        (create_fix_barrier): Check that a suitable barrier location is
        found.
        (arm_reorg): Include ftmp->address in allowable range of addresses.

2006-05-02  David Billinghurst <David.Billinghurst@riotinto.com>

        PR ada/27366
        * ada/env.c (__gnat_clearenv): Use unsetenv() to clear environment
        on Cygwin.

2006-05-02  Jakub Jelinek  <jakub@redhat.com>

        PR middle-end/27337
        * gimplify.c (gimplify_scan_omp_clauses): Handle INDIRECT_REF
        around RESULT_DECL for result passed by reference.
        (gimplify_expr): Call omp_notice_variable when RESULT_DECL is seen.
        * omp-low.c (use_pointer_for_field): Don't look at
        DECL_HAS_VALUE_EXPR_P for RESULT_DECLs.
        (scan_omp_1): Call remap_decl on RESULT_DECLs.
        (lower_rec_input_clauses): Don't allocate VLA memory for the second
        time or var for passing by reference for
        OMP_CLAUSE_LASTPRIVATE_FIRSTPRIVATE clauses.  Allow creation of
        TREE_ADDRESSABLE variables when passing by reference.

        * omp-low.c (dump_omp_region): Fix output formatting.

        PR middle-end/27328
        * omp-low.c (remove_exit_barrier): Handle NULL exit_bb.
        (expand_omp_parallel): Likewise.
        * tree-cfg.c (move_sese_region_to_fn): Likewise.

        PR middle-end/27325
        * omp-low.c (lower_omp_sections): Call maybe_catch_exception
        on statement list containing also constructors and destructors.
        (lower_omp_single, lower_omp_for, lower_omp_parallel): Likewise.

        PR middle-end/27310
        * except.c (duplicate_eh_regions): Fix clearing of
        cfun->eh->region_array entries.

2006-05-01  DJ Delorie  <dj@redhat.com>

        * configure.ac (gcc_cv_nm): Don't use an in-tree nm if
        build!=host.
        (gcc_cv_objdump): Likewise.
        * configure: Regenerated.

2006-05-01  Kazu Hirata  <kazu@codesourcery.com>

        PR target/27374
        * config/arm/vfp.md (*arm_movdi_vfp): Correct the output
        templates for case 3 and 4.

2006-05-01  DJ Delorie  <dj@redhat.com>

        * vec.c: Include bconfig.h when appropriate.
        * Makefile.in (build/vec.o): Adjust dependencies.
        * mkconfig.sh: Make sure config.h isn't used for build machine
        compiles.

2006-05-01  Zdenek Dvorak <dvorakz@suse.cz>

        * tree-into-ssa.c (phis_to_rewrite, blocks_with_phis_to_rewrite): New
        variables.
        (mark_phi_for_rewrite): New function.
        (insert_phi_nodes_for, mark_use_interesting): Call
        mark_phi_for_rewrite.
        (rewrite_update_phi_arguments): Traverse only phis in phis_to_rewrite.
        (update_ssa): Initialize and free phis_to_rewrite.

2006-05-01  Zdenek Dvorak <dvorakz@suse.cz>

        PR rtl-optimization/27291
        * loop-doloop.c (add_test, doloop_modify): Handle the case condition is
        folded to a constant.

2006-05-01  Zdenek Dvorak <dvorakz@suse.cz>

        PR tree-optimization/27283
        * tree-ssa-loop-ivopts.c (struct nfe_cache_elt): Store just trees,
        not whole # of iteration descriptions.
        (niter_for_exit): Return just # of iterations.  Fail if # of iterations
        uses abnormal ssa name.
        (niter_for_single_dom_exit): Ditto.
        (find_induction_variables, may_eliminate_iv): Expect niter_for_exit to
        return just the number of iterations.

2006-05-01  Zdenek Dvorak <dvorakz@suse.cz>

        PR tree-optimization/27144
        * tree-ssa-loop-niter.c (derive_constant_upper_bound): New function.
        (record_estimate): Only record constant upper bound.
        (infer_loop_bounds_from_undefined): Call
        compute_estimated_nb_iterations just once.
        (proved_non_wrapping_p): Renamed to ...
        (n_of_executions_at_most): ... this.  Expect bound to be a constant.
        (convert_step_widening, scev_probably_wraps_p): Call
        n_of_executions_at_most instead of proved_non_wrapping_p.
        (substitute_in_loop_info): Do not replace values in bounds.
        * cfgloop.h (struct nb_iter_bound): Remove "additional" field.  Update
        comments.

2006-05-01  Richard Henderson  <rth@redhat.com>

        PR c/27358
        * c-parser.c (c_parser_skip_to_end_of_block_or_statement): Move after
        c_parser_skip_to_pragma_eol.  Convert to switch statement.  Handle
        CPP_PRAGMA.

2006-05-01  Roger Sayle  <roger@eyesopen.com>

        * c-typeck.c (parser_build_binary_op): Don't call the function
        unsigned_conversion_warning to spot operand/result type overflow.
        (build_binary_op): Instead, call convert_and_check instead of
        convert to report the problem when the operands are promoted.
        * c-common.c (unsigned_conversion_warning): Make static.
        * c-common.h (unsigned_conversion_warning): Delete prototype.

2006-05-01  Richard Guenther  <rguenther@suse.de>

        PR tree-optimization/26726
        * tree-ssa-loop-ivopts.c (idx_find_step): Mark source of the
        problem ...
        (find_interesting_uses_address): ... we work around here
        by folding INDIRECT_REFs in the substituted base.

2006-05-01  Diego Novillo  <dnovillo@redhat.com>

        * omp-low.c (dump_omp_region): Add newlines.

2006-04-30  Roger Sayle  <roger@eyesopen.com>

        * common.opt (Woverflow): New command line option.
        * c-common.c (constant_expression_warning): Check warn_overflow.
        (overflow_waring): Pass OPT_Woverflow to warning.
        (unsigned_conversion_warning): Likewise.
        (convert_and_check): Likewise.
        * doc/invoke.texi: Document new command line option.

2006-04-30  David Edelsohn  <edelsohn@gnu.org>

        * config/rs6000/rs6000.c (rs6000_override_options): Enable
        TARGET_NO_FP_IN_TOC for section anchors.
        (optimization_options): Enable section anchors for all
        non-"Objective" languages.

2006-04-28  Eric Christopher  <echristo@apple.com>

        * config/darwin-c.c (darwin_ms_struct): Move this
        (darwin_set_default_type_attributes): and this...
        * config/darwin.c: ... here.
        * config/darwin.h (darwin_ms_struct): Declare.

2006-04-28  Andrew MacLeod  <amacleod@redhat.com>

        * tree-ssa-dom.c (propagate_rhs_into_lhs): Fix assert clause.

2006-04-28  Roger Sayle  <roger@eyesopen.com>

        PR c/25309
        * c-typeck.c (struct spelling): Make I an unsigned HOST_WIDE_INT.
        (push_array_bounds): Delete prototype.  Change BOUNDS argument to
        an unsigned HOST_WIDE_INT.
        (print_spelling): Use HOST_WIDE_INT_PRINT_UNSIGNED to output the
        array index.
        (really_start_incremental_init): No need to call convert because
        bitsize_zero_node is already of type bitsizetype.
        (push_init_level): Extract the value of constructor_index as an
        unsigned HOST_WIDE_INT quantity, using tree_low_cst.
        (process_init_element): Likewise.

2006-04-28  Joseph S. Myers  <joseph@codesourcery.com>

        * gcc.c (process_command): Add program name to GCC_EXEC_PREFIX
        value before passing to make_relative_prefix.

2006-04-28  Alan Modra  <amodra@bigpond.net.au>

        PR middle-end/27260
        * builtins.c (expand_builtin_memset): Expand val in original mode.

2006-04-27  Eric Christopher  <echristo@apple.com>

        * target-def.h (TARGET_SET_DEFAULT_TYPE_ATTRIBUTES): Bracket
        with #ifndef/#endif.
        * config/darwin-c.c (darwin_ms_struct): New.
        (darwin_pragma_ms_struct): Ditto.
        (darwin_set_default_type_attributes): Ditto.
        * config/darwin-protos.h (darwin_pragma_ms_struct): Declare.
        * config/darwin.h (DARWIN_REGISTER_TARGET_PRAGMAS):
        Register ms_struct pragma.
        * config/i386/darwin.h (REGISTER_TARGET_PRAGMAS): Declare.
        (TARGET_SET_DEFAULT_TYPE_ATTRIBUTES): Ditto.
        * config/rs6000/rs6000.c (rs6000_set_default_type_attributes): Call
        darwin_set_default_type_attributes if TARGET_MACHO.

2006-04-27  Andrew MacLeod  <amacleod@redhat.com>

        PR tree-optimization/26854
        * tree-vrp.c (remove_range_assertions): Use new Immuse iterator.
        * doc/tree-ssa.texi: Update immuse iterator documentation.
        * tree-ssa-math-opts.c (execute_cse_reciprocals_1): Use new iterator.
        * tree-ssa-dom.c (propagate_rhs_into_lhs): Use new iterator.
        * tree-flow-inline.h (end_safe_imm_use_traverse, end_safe_imm_use_p,
        first_safe_imm_use, next_safe_imm_use): Remove.
        (end_imm_use_stmt_p): New.  Check for end of immuse stmt traversal.
        (end_imm_use_stmt_traverse): New.  Terminate immuse stmt traversal.
        (move_use_after_head): New.  Helper function to sort immuses in a stmt.
        (link_use_stmts_after): New.  Link all immuses in a stmt consescutively.
        (first_imm_use_stmt): New.  Get first stmt in an immuse list.
        (next_imm_use_stmt): New.  Get next stmt in an immuse list.
        (first_imm_use_on_stmt): New.  Get first immuse on a stmt.
        (end_imm_use_on_stmt_p): New.  Check for end of immuses on a stmt.
        (next_imm_use_on_stmt): New.  Move to next immuse on a stmt.
        * tree-ssa-forwprop.c (forward_propagate_addr_expr): Use new iterator.
        * lambda-code.c (lambda_loopnest_to_gcc_loopnest): Use new iterator.
        (perfect_nestify): Use new iterator.
        * tree-vect-transform.c (vect_create_epilog_for_reduction): Use new
        iterator.
        * tree-flow.h (struct immediate_use_iterator_d): Add comments.
        (next_imm_name): New field in struct immediate_use_iterator_d.
        (FOR_EACH_IMM_USE_SAFE, BREAK_FROM_SAFE_IMM_USE): Remove.
        (FOR_EACH_IMM_USE_STMT, BREAK_FROM_IMM_USE_STMT,
        FOR_EACH_IMM_USE_ON_STMT): New immediate use iterator macros.
        * tree-cfg.c (replace_uses_by): Use new iterator.
        * tree-ssa-threadedge.c (lhs_of_dominating_assert): Use new iterator.
        * tree-ssa-operands.c (correct_use_link): Remove.
        (finalize_ssa_use_ops): No longer call correct_use_link.

2006-04-27  Stuart Hastings  <stuart@apple.com>

        * config/rs6000/t-darwin (DARWIN_EXTRA_CRT_BUILD_CFLAGS): New.
        * config/t-darwin (crt3.o): Use it.
        * config/rs6000/rs6000.c (rs6000_initialize_trampoline): Remove
        'pmode', use Pmode instead of SImode for SYMBOL_REF.
        * config/rs6000/rs6000.md (call_indirect_nonlocal_sysv,
        call_nonlocal_sysv, call_value_indirect_nonlocal_sysv,
        call_value_nonlocal_sysv): Suffix with the "P" macro for 32/64
        support.

2006-04-27  Roger Sayle  <roger@eyesopen.com>

        * expmed.c (store_fixed_bit_field): If we're not optimizing for
        size, force the intermediate into a new pseudo rather instead of
        performing both a bitwise AND and a bitwise IOR in memory.

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

        PR rtl-optimization/26685
        * params.def (PARAM_MAX_CSE_INSNS): Correct typo that named
        this one "max-flow-memory-locations".

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

        PR tree-optimization/25148
        * tree-vrp.c (compare_values): Remove code dealing with
        comparisons against type min/max value.  Honour overflow
        and negative constants in code dealing with comparisons
        of plus and minus expressions.
        (value_inside_range): Use fold_binary with LE_EXPR and
        GE_EXPR rather than compare_values.

2006-04-27  Dirk Mueller  <dmueller@suse.de>

        * config/i386/xmmintrin.h (_mm_shuffle_pi16): Declare
        prototype for SSE.

2006-04-26  Kenneth Zadeck <zadeck@naturalbridge.com>

        * basic-block.h (safe_insert_insn_on_edge): Removed.
        * cfgrtl.c (mark_killed_regs, safe_insert_insn_on_edge): Removed.

2006-04-26  David Edelsohn  <edelsohn@gnu.org>
            Paolo Bonzini  <bonzini@gnu.org>

        PR middle-end/27282
        * combine.c (simplify_and_const_int_1): Use gen_int_mode.
        (simplify_and_const_int): Same.

2006-04-26  Aldy Hernandez  <aldyh@redhat.com>

        * tree-ssa-dse.c (dse_optimize_stmt): Remove unused variable USE.

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

        PR c/26171
        * cgraph.c (cgraph_varpool_finalize_decl): Don't call
        cgraph_varpool_assemble_pending_decls if -fopenmp, unless
        cgraph_global_info_ready.

        PR middle-end/26913
        * tree-cfg.c (find_outermost_region_in_block): Handle RESX_EXPR.

        PR c/25996
        * c-parser.c (c_parser_omp_for_loop): Don't call c_finish_omp_for if
        either decl or init is error_mark_node.

        PR middle-end/25989
        * tree-flow.h (struct omp_region): Add sched_kind.
        * omp-low.c (expand_parallel_call): Use region->inner->sched_kind
        instead of extracting omp for data.
        (expand_omp_for): Save extracted sched_kind.

2006-04-25  Roger Sayle  <roger@eyesopen.com>

        * expmed.c (store_bit_field): Also check whether the bitsize is
        valid for the machine's "insv" instruction before moving the
        target into a pseudo for use with the insv.
        * config/i386/predicates.md (const8_operand): New predicate.
        * config/i386/i386.md (extv, extzv, insv): Use the new
        const8_operand predicate where appropriate.

2006-04-25  DJ Delorie  <dj@redhat.com>

        * doc/install.texi (Specific): Clarify that this is not a list of
        supported hosts or targets.

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

        PR rtl-optimization/26725
        * cfgrtl.c (rtl_redirect_edge_and_branch_force): Set the source
        block's BB_DIRTY flag.

2006-04-25  Geoffrey Keating  <geoffk@apple.com>

        * dwarf2out.c (size_of_locs): Don't fill dw_loc_addr if there
        are no branches.

        * dwarf2asm.c (dw2_asm_output_data): Don't generate RTL just
        to print an integer.

2006-04-25  David Edelsohn  <edelsohn@gnu.org>

        * varasm.c (align_variable): New function.
        (get_block_for_decl): Apply align_variable to DECL before
        calculating section information.
        (assemble_variable): Split out alignment computation.

2006-04-25  Andreas Krebbel  <krebbel1@de.ibm.com>

        * expmed.c (store_bit_field): Handle paradoxical subregs on big endian
        machines.

2006-04-25  Bernd Schmidt  <bernd.schmidt@analog.com>

        * genmodes.c (make_vector_mode): Allow making VECTOR_MODE_INT of a
        MODE_PARTIAL_INT mode.
        * config/bfin/bfin-modes.def: Add V2PDI and V2SI.
        * config/bfin/bfin.c (print_operand): Add macflag and mac/msu modifiers
        for CONST_INTs.
        (hard_regno_mode_ok): V2PDImode is ok for accumulators.
        * config/bfin/bfin.h (CLASS_MAX_NREGS, HARD_REGNO_NREGS): Handle
        V2PDImode.
        * config/bfin/predicates.md (const01_operand, vec_shift_operand):
        New predicates.
        * config/bfin/bfin.md (UNSPEC_MUL_WITH_FLAG, UNSPEC_MAC_WITH_FLAG):
        New constants.
        (MACFLAG_NONE, MACFLAG_T, MACFLAG_FU, MACFLAG_TFU, MACFLAG_IS,
        MACFLAG_IU, MACFLAG_W32, MACFLAG_M, MACFLAG_S2RND, MACFLAG_ISS2,
        MACFLAG_IH): Likewise.
        (movstricthi_1): Renamed from "*movstricthi".
        (load_accumulator, load_accumulator_pair, movsi_insv, insv,
        ssaddsi3, sssubsi3, ssnegsi2, signbitssi2, smaxhi3, sminhi3,
        abshi2, neghi2, ssneghi2, signbitshi2, movhi_low2high,
        movhi_high2high, movhi_low2low, movhi_high2low, movhiv2hi_low,
        movhiv2hi_high, composev2hi, movv2hi_hi, movv2hi_hi_low,
        movv2hi_hi_high, ssaddhi3, sssubhi3, ssaddv2hi3, sssubv2hi3,
        addsubv2hi3, subaddv2hi3, ssaddsubv2hi3, sssubaddv2hi3,
        sublohiv2hi3, subhilov2hi3, sssublohiv2hi3, sssubhilov2hi3,
        addlohiv2hi3, addhilov2hi3, ssaddlohiv2hi3, ssaddhilov2hi3,
        mulhisi_ll, mulhisi_lh, mulhisi_hl, mulhisi_hh, ssnegv2hi2,
        ssashiftv2hi3, ssashifthi3, lshiftv2hi3, lshifthi3, packv2hi,
        flag_mulhi, flag_mulhisi_parts, flag_machi, flag_machi_acconly,
        flag_macinithi, flag_macinit1hi, flag_mulv2hi, flag_mulv2hi_parts,
        flag_macv2hi_parts, flag_macv2hi_parts_acconly,
        flag_macinitv2hi_parts, flag_macinit1v2hi_parts): New patterns.

        * doc/rtl.texi (ss_ashift): Improve wording.

2006-04-24  Geoffrey Keating  <geoffk@apple.com>

        * dwarf2out.c (verify_marks_clear): New.
        (prune_unused_types): Call verify_marks_clear initially, not
        prune_unmark_dies.

2006-04-24  Bernd Schmidt  <bernd.schmidt@analog.com>

        * rtl.def (SS_ASHIFT, SS_NEG): New codes.
        * doc/rtl.texi: Document them.
        * simplify-rtx.c (simplify_unary_operation,
        simplify_binary_operation_1): Don't abort when we see them.

2006-04-24  Mark Mitchell  <mark@codesourcery.com>

        Revert:
        2006-04-23  Mark Mitchell  <mark@codesourcery.com>
        * configure.ac: Completely disregard languages that are not
        enabled.
        * configure: Regenerated.

2006-04-24  Andrew Pinski  <pinskia@gcc.gnu.org>
        Richard Guenther  <rguenther@suse.de>

        PR tree-optimization/27236
        * tree-inline.c (copy_body_r): Make sure to copy
        TREE_THIS_VOLATILE flag.

2006-04-24  Richard Guenther  <rguenther@suse.de>

        PR middle-end/26869
        * tree-complex.c (update_parameter_components): Don't handle
        unused parameters which have no default def.

2006-04-24  Andrew Pinski  <pinskia@gcc.gnu.org>
        Richard Guenther  <rguenther@suse.de>

        PR tree-optimization/27218
        * tree-inline.c (expand_call_inline): Strip useless type
        conversions for the return slot address.

2006-04-24  Richard Guenther  <rguenther@suse.de>

        * cfgloop.h (struct loops): Remove unused field array.  Reorder
        state after num.
        (LOOP_PREFETCH): Remove.

2006-04-24  Richard Guenther  <rguenther@suse.de>

        PR tree-optimization/22525
        * value-prof.c (tree_mod_pow2): Remove unnecessary temporary
        variable, adjust types of generated expressions.

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

        * Makefile.in (c-convert.o): Add dependency on $(TARGET_H)
        (tree-vect-patterns.o): Likewise.
        (jump.o): Likewise.
        (cselib.o): Likewise.
        (loop-doloop.o): Likewise.
        (regclass.o): Likewise.
        (reload1.o): Likewise.
        (explow.o): Replace target.h with $(TARGET_H).
        (ipa-prop.o): Likewise.
        (ipa-cp.o): Likewise.
        (ipa-inline.o): Likewise.
        (reorg.o): Likewise.
        (reg-stack.o): Likewise.

2006-04-23  Eric Botcazou  <ebotcazou@adacore.com>

        * tree-tailcall.c (pass_tail_recursion): Use gate_tail_calls too.

2006-04-23  Mark Mitchell  <mark@codesourcery.com>

        * print-tree.c (print_node): Print DECL_BIT_FIELD_TYPE.

        * configure.ac: Completely disregard languages that are not
        enabled.
        * configure: Regenerated.

        PR c++/26534
        * c-common.h (c_build_bitfield_integer_type): Declare.
        * c-decl.c (c_build_bitfield_integer_type): Move to ...
        * c-common.c (c_build_bitfield_integer_type): ... here.

2006-04-23  Roger Sayle  <roger@eyesopen.com>

        PR target/21283
        * config/fr30/fr30.md (define_split): Avoid calling gen_lowpart on
        a SImode SUBREG of a floating point register after no_new_pseudos.

2006-04-23  Roger Sayle  <roger@eyesopen.com>

        * config/fr30/fr30.md (addsi_small_int): Use REGNO_PTR_FRAME_P to
        identify potentially eliminable registers to additionally catch
        VIRTUAL_INCOMING_ARGS_REGNUM.
        (addsi3): Update the conditions on when to use addsi_small_int.

2006-04-23  Roger Sayle  <roger@eyesopen.com>

        PR target/16641
        * config/fr30/fr30.h (GO_IF_LEGITIMATE_ADDRESS): Check REGNO for
        STACK_POINTER_RTX and FRAME_POINTER_RTX instead of comparing the
        rtx to stack_pointer_rtx or frame_pointer_rtx directly.

2006-04-23  Eric Botcazou  <ebotcazou@adacore.com>

        * fold-const.c (range_predecessor): Use operand_equal_p
        as the predicate for equality.
        (range_successor): Likewise.

2006-04-22  Kazu Hirata  <kazu@codesourcery.com>

        Revert:
        * config/soft-fp/op-common.h: Fix a typo.

2006-04-22  Frank Ch. Eigler  <fche@redhat.com>

        PR libmudflap/26864
        * common.opt (flag_mudflap_threads): Overload flag_mudflap.
        * tree-mudflap.c (flag_mudflap_threads): Derive from flag_mudflap.

2006-04-22  Kazu Hirata  <kazu@codesourcery.com>

        * config/soft-fp/op-common.h, double-int.h, tree-ssa-dom.c:
        Fix comment typos.
        * doc/tm.texi: Fix a typo.

2006-04-21  Geoffrey Keating  <geoffk@apple.com>

        * dwarf2out.c (struct die_struct): Document that die_sib makes
        a circular linked list.
        (FOR_EACH_CHILD): New.
        (reverse_die_lists): Delete.
        (reverse_all_dies): Delete.
        (add_dwarf_attr): Correct documentation.
        (remove_child_with_prev): New.
        (remove_child_TAG): Update for change to die_struct, use
        remove_child_with_prev.
        (add_child_die): Update for change to die_struct.
        (splice_child_die): Use remove_child_with_prev and add_child_die.
        (print_die): Use FOR_EACH_CHILD.
        (die_checksum): Likewise.
        (assign_symbol_names): Likewise.
        (output_location_lists): Likewise.
        (build_abbrev_table): Likewise.
        (calc_die_sizes): Likewise.
        (mark_dies): Likewise.
        (unmark_dies): Likewise.
        (unmark_all_dies): Likewise.
        (output_die): Likewise.
        (prune_unused_types_mark): Likewise.
        (prune_unused_types_walk): Likewise.
        (same_die_p): Update for change to die_struct.
        (break_out_includes): Likewise.
        (prune_unused_types_prune): Likewise.
        (add_sibling_attributes): Use FOR_EACH_CHILD, simplify logic.
        (prune_unmark_dies): Use FOR_EACH_CHILD, don't clear die_mark if
        it's already clear.
        (dwarf2out_finish): Don't call reverse_all_dies.

2006-04-21  Eric Christopher  <echristo@apple.com>

        * df-core.c, tree-outof-ssa.c, config/i386/i386.c: Fix typos
        in comments and function names.

2006-04-21  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>

        PR c/25875
        * c-typeck.c (digest_init): Robustify.

        * c-typeck.c (pop_init_level): Simplify.

2006-04-21  Steve Ellcey  <sje@cup.hp.com>

        * config/pa/t-pa64: Add dependencies on $(GCC_PASSES).

2006-04-21  Paul Brook  <paul@codesourcery.com>

        * config/arm/arm.c (arm_override_options): Error on iWMMXt and
        hardware floating point.

2006-04-21  David Edelsohn  <edelsohn@gnu.org>

        * config/rs6000/rs6000.h (REG_CLASS_CONTENTS): Add sfp to
        NON_FLOAT_REGS.

2006-04-21  Nick Clifton  <nickc@redhat.com>

        * config/sh/t-elf (EXTRA_MULTILIB_PARTS): Include
        OPT_EXTRA_PARTS.

2006-04-21  Alan Modra  <amodra@bigpond.net.au>

        PR target/27230
        * config/rs6000/rs6000.c (rs6000_output_function_epilogue): Use
        C++ lang type in traceback table for Objective-C++.

        * config/rs6000/rs6000.c (rs6000_gimplify_va_arg): Update comment.

2006-04-20  H.J. Lu  <hongjiu.lu@intel.com>

        * config/i386/i386.c (asm_preferred_eh_data_format): Reformat.

2006-04-20  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>

        PR mudflap/26789
        * tree-mudflap.c (mudflap_finish_file): Skip function when there
        were errors.  Remove check for erroneous objects.

2006-04-20  Jeff Law  <law@redhat.com>

        PR tree-optimization/26854
        * tree-ssa-dse.c (dse_optimize_stmt): Avoid num_imm_uses when
        checking for zero or one use.
        * tree-ssa-dom.c (propagate_rhs_into_lhs): Similarly.
        * tree-cfgcleanup.c (merge_phi_nodes): Similarly.
        * tree-ssa-reassoc.c (negate_value): Similarly.
        (reassociate_bb): Similarly.

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

        * c-pretty-print.c (pp_c_direct_abstract_declarator): Print
        TYPE_MAX_VALUE (TYPE_DOMAIN (t)) + 1 for ARRAY_TYPE rather
        than plain TYPE_MAX_VALUE (TYPE_DOMAIN (t)).

2006-04-20  Alan Modra  <amodra@bigpond.net.au>

        * config/rs6000/rs6000.c (rs6000_gimplify_va_arg): Consume all
        fp regs if the last fp arg doesn't fit in regs.

2006-04-20  Kaz Kojima  <kkojima@gcc.gnu.org>

        PR target/27182
        * config/sh/sh.md (movsicc_true+3): Tweak condition for the case
        that the last insn has the REG_INC note.

2006-04-19  Carlos O'Donell  <carlos@codesourcery.com>
            Nathan Sidwell  <nathan@codesourcery.com>

        PR c/26774
        * stor-layout.c (update_alignment_for_field): Do not align
        ERROR_MARK nodes.
        (place_union_field): Place union field at the start of the union.
        (place_field): Move ERROR_MARK check later, and use the current
        allocation position to maintain monotonicity.

2006-04-19  Zdenek Dvorak <dvorakz@suse.cz>

        * dominance.c: Include timevar.h.
        (calculate_dominance_info): Use TV_DOMINANCE.
        * timevar.def (TV_DOMINANCE): New timevar.
        * Makefile.in (dominance.o): Add TIMEVAR_H dependency.

2006-04-19  Andreas Krebbel  <krebbel1@de.ibm.com>

        PR rtl-optimization/14261
        * ifcvt.c (noce_emit_move_insn): Call store_bit_field if the resulting
        move would be an INSV insn.
        (noce_process_if_block): Don't optimize if the destination is a
        ZERO_EXTRACT which can't be handled by noce_emit_move_insn.

2006-04-19  Andreas Krebbel  <krebbel1@de.ibm.com>

        * config/s390/s390.md: Add comments with the instructions emitted
        by an insn pattern if macros are used.

2006-04-19  Alan Modra  <amodra@bigpond.net.au>

        PR rtl-optimization/26026
        * fold-const.c (fold_binary): Optimize div and mod where the divisor
        is a known power of two shifted left a variable amount.

2006-04-18  Geoffrey Keating  <geoffk@apple.com>

        * dwarf2out.c (prune_unused_types_update_strings): Don't add strings
        to hash table twice when the debug_str section has SECTION_MERGE.

2006-04-18  Joseph S. Myers  <joseph@codesourcery.com>

        * config/soft-fp: New directory.  From glibc.
        * config/soft-fp/t-softfp: New.
        * config/soft-fp/README: New.
        * mklibgcc.in: Handle LIB2FUNCS_EXCLUDE.
        * Makefile.in (LIB2FUNCS_EXCLUDE, SFP_MACHINE): New.
        (libgcc.mk): Pass LIB2FUNCS_EXCLUDE.
        (LIBGCC_DEPS): Add $(SFP_MACHINE).
        * config.gcc: Use rs6000/t-fprules-fpbit or
        rs6000/t-fprules-softfp and soft-fp/t-softfp together with
        rs6000/t-fprules.
        * config/rs6000/sfp-machine.h: New.  Based on glibc.
        * config/rs6000/t-fprules-fpbit, config/rs6000/t-fprules-softfp:
        New.
        * config/rs6000/t-fprules: Remove fp-bit rules.
        * config/rs6000/t-ppccomm (LIB2FUNCS_EXTRA): Use +=.
        * config/rs6000/t-linux64: Likewise.  Remove duplicates from
        LIB2FUNCS_EXTRA.  Remove fp-bit rules.
        (softfp_wrap_start, softfp_wrap_end): New.

2006-04-18  DJ Delorie  <dj@redhat.com>

        * config/m32c/m32c.h (PTRDIFF_TYPE): Define.

2006-04-18  Devang Patel  <dpatel@apple.com>

        * doc/invoke.texi (-Wuninitialized): Clarify -O connection.

2006-04-18  Nick Clifton  <nickc@redhat.com>

        * config/sh/t-symbian: Add rule to build sh-c.o
        * config/sh/symbian.c (sh_symbian_mark_dllexport): Replace use
        of DECL_NON_ADDR_CONST_P with DECL_DLLIMPORT_P.
        (sh_symbian_encode_section_info): Likewise.

2006-04-18  Andreas Krebbel  <krebbel1@de.ibm.com>

        * builtins.c (expand_builtin_strcmp): Cover label definition of
        do_libcall with HAVE_cmpstrnsi.

2006-04-18  Kazu Hirata  <kazu@codesourcery.com>

        * function.c (temp_slots_at_level, max_slot_level): Use VEC
        instead of VARRAY.
        * function.h (temp_slot_p): New.
        (function): Change the type of x_used_temp_slots to
        VEC(temp_slot_p,gc) *.

2006-04-18  Nick Clifton  <nickc@redhat.com>

        * config/mmix/mmix.h (OPTIMIZATION_OPTIONS): Remove reference to
        flag_strength_reduce.

        * doc/tm.texi (TARGET_SECTION_TYPE_FLAGS): Fix typo.

2006-04-18  Paolo Bonzini  <bonzini@gnu.org>

        PR target/27117

        Partial revert of revision 112637
        2006-04-03  Paolo Bonzini  <bonzini@gnu.org>
                    Dale Johannesen  <dalej@apple.com>

        PR target/19653
        * regclass.c (struct reg_pref): Update documentation.
        (regclass): Set prefclass to NO_REGS if memory is the best option.
        (record_reg_classes): Cope with a prefclass set to NO_REGS.

2006-04-18  Paolo Bonzini  <bonzini@gnu.org>

        PR tree-optimization/26821
        * tree-ssa-math-opts.c (get_constant_one): New.
        (insert_reciprocals): Use it.

2006-04-17  Geoffrey Keating  <geoffk@apple.com>

        * dwarf2out.c (free_AT): Delete.
        (remove_AT): Update string ref counts.
        (remove_child_TAG): Don't call free_die.
        (free_die): Delete.
        (break_out_includes): Don't call free_die on DW_TAG_GNU_BINCL
        or DW_TAG_GNU_EINCL.
        (prune_unused_types_walk_attribs): Reset string refcounts.
        (prune_unused_types_update_strings): New.
        (prune_unused_types_prune): Don't make unnecessary stores.  Don't
        call free_die.  Do call prune_unused_types_update_strings.
        (prune_unused_types): Empty debug_str_hash.

2006-04-17  Roger Sayle  <roger@eyesopen.com>

        * expr.c (expand_assignment): Optimize away no-op moves where the
        source and destination are equal and have no side-effects.

2006-04-17  Richard Guenther  <rguenther@suse.de>

        PR target/26826
        * reload.c (push_reload): Guard calls to get_secondary_mem
        for memory subregs.

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

        * alias.c (reg_base_value, old_reg_base_value): Change the
        type to VEC(rtx,gc) *.
        (REG_BASE_VALUE, find_base_value, record_set,
        init_alias_analysis): Use VEC instead of VARRAY.

        * alias.c (alias_sets): Change the type to
        VEC(alias_set_entry,gc) *.
        (get_alias_set_entry, new_alias_set, record_alias_subset): Use
        VEC instead of VARRAY.
        (last_alias_set): Remove.

        * cgraph.h (cgraph_edge_p): New.
        Update the prototype of cgraph_function_versioning.
        * cgraphunit.c (cgraph_copy_node_for_versioning,
        cgraph_function_versioning): Use VEC instead of VARRAY.
        * ipa-cp.c (ipcp_insert_stage): Likewise.

2006-04-16  Roger Sayle  <roger@eyesopen.com>

        PR target/26961
        * fold-const.c (fold_ternary): When converting "A ? B : C" into either
        "A op B" or "A op C", we may need to convert A to the type of B and C.

2006-04-16  Adam Nemet  <anemet@caviumnetworks.com>

        * target.h (struct gcc_target): Add mode_rep_extended.
        * rtlanal.c (num_sign_bit_copies_in_rep): New global.
        (init_num_sign_bit_copies_in_rep): Initialize it using
        mode_rep_extended.
        (truncate_to_mode): Use it.
        (init_rtlanal): Call init_num_sign_bit_copies_in_rep.
        * targhooks.h (default_mode_rep_extended): Declare it.
        * targhooks.c (default_mode_rep_extended): Define it.
        * target-def.h (TARGET_MODE_REP_EXTENDED): New macro.  Default to
        default_mode_rep_extended.
        (TARGET_INITIALIZER): Include it.
        * doc/tm.texi (Misc): Document it.
        * config/mips/mips.c (TARGET_TRUNCATED_TO_MODE): Override it.
        (mips_truncated_to_mode): New function.

2006-04-16  Roger Sayle  <roger@eyesopen.com>

        PR middle-end/25474
        * expr.c (compress_float_constant): Copy the narrow constant into
        a new pseudo before extending it to its final width.

2006-04-16  Roger Sayle  <roger@eyesopen.com>
            Andrew Pinski  <pinskia@gcc.gnu.org>
            Dale Johannesen  <dalej@apple.com>

        PR target/24076
        * config/i386/i386.c (ix86_expand_vector_init_duplicate): Add
        special case code to implement V8HImode and V16QImode with SSE2.

2006-04-15  Roger Sayle  <roger@eyesopen.com>

        * config/i386/i386.c (ix86_va_start): Ensure all integer constant
        trees are constructed with a suitable tree type.

2006-04-15  Roger Sayle  <roger@eyesopen.com>

        * tree.c (integer_zerop): Ignore TREE_CONSTANT_OVERFLOW.
        (integer_onep): Likewise.
        (integer_all_onesp): Likewise.
        (integer_pow2p): Likewise.
        (integer_nonzerop): Likewise.
        (real_zerop): Likewise.
        (real_onep): Likewise.
        (real_twop): Likewise.
        (real_minus_onep): Likewise.
        (int_size_in_bytes): Likewise.
        (host_integerp): Likewise.

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

        * cfgcleanup.c, config/dfp-bit.c, expr.c, fold-const.c,
        jump.c, mips-tfile.c, omp-low.c, sched-int.h,
        tree-ssa-loop-prefetch.c, tree-vrp.c: Fix comment typos.

        * tree-ssa-structalias.h (alias_info): Remove num_references.

2006-04-15  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>

        * pa.md (output_bb patterns): Shorten long branch alternatives by 4.
        (output_bvb patterns): Likewise.
        * pa.c (output_bb): Use 'bb' insn for long branch case.
        (output_bvb): Likewise use '{bvb|bb}' for long branch case.
        (output_dbra): Use '{comb|cmpb}' for long branch case for alternative
        1.  Correct length operand for alternatives 1 and 2.
        (output_movb): Use '{comb|cmpb}' for long branch case for alternatives
        1, 2 and 3.  Correct length operand for alternatives 1, 2 and 3.

2006-04-14  Roger Sayle  <roger@eyesopen.com>

        * tree-cfg.c (make_edges, make_omp_sections_edges, move_stmt_r,
        is_ctrl_altering_stmt): Reinstate RTH's changes from r112935 that
        were accidentally reverted by r112959.

2006-04-15  Jakub Jelinek  <jakub@redhat.com>

        PR middle-end/26823
        * except.h (eh_region_outermost): New prototype.
        * except.c (eh_region_outermost): New function.
        * tree-cfg.c (find_outermost_region_in_block): Use it.

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

        * local-alloc.c (rest_of_handle_local_alloc): Use VEC instead
        of VARRAY.
        * reload1.c (reg_equiv_memory_loc_varray): Rename to
        reg_equiv_memory_loc_vec.  Change the type to VEC(rtx,gc) *.
        (init_reload, reload): Use VEC instead of VARRAY.
        * reload.h: Update the prototype for
        reg_equiv_memory_loc_varray.

2006-04-14  Alexey Starovoytov  <alexey.starovoytov@sun.com>
            Eric Botcazou  <ebotcazou@libertysurf.fr>

        * config/sparc/sparc.c (emit_and_preserve): Allocate space for the
        register save area.

2005-04-13  Uros Bizjak  <uros@kss-loka.si>

        PR middle-end/27134
        * builtins.c (expand_builtin_int_roundingfn): Use expand_normal()
        to expand fallback builtin function call.

2006-04-14  Alan Modra  <amodra@bigpond.net.au>

        PR middle-end/27095
        * builtins.c: (expand_builtin_memset): Stabilize args before expansion
        and emit libcall here in case the builtin fails.
        (expand_builtin_strcmp): Always emit the libcall here on failure.

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

        * basic-block.h (REG_BASIC_BLOCK): Use VEC instead of VARRAY.
        * flow.c (reg_n_info): Change the type to
        VEC(reg_info_p,heap) *.
        * regclass.c (allocate_reg_info, free_reg_info): Use VEC
        instead of VARRAY.
        * regs.h (reg_info_p): New.
        (REG_N_REFS, REG_FREQ, REG_N_SETS, REG_N_DEATHS,
        REG_N_CALLS_CROSSED, REG_N_THROWING_CALLS_CROSSED,
        REG_LIVE_LENGTH, REGNO_FIRST_UID, REGNO_LAST_UID): Use VEC
        instead of VARRAY.

2006-04-13  Eric Botcazou  <ebotcazou@adacore.com>

        * params.def (PARAM_MAX_SCHED_READY_INSNS): New parameter,
        defaulting to 100.
        * params.h (MAX_SCHED_READY_INSNS): New macro.
        * haifa-sched.c: (queue_to_ready): Re-queue insns for the next cycle
        past MAX_SCHED_READY_INSNS during the first scheduling pass.
        (schedule_block): Delay insns past MAX_SCHED_READY_INSNS in
        the ready list for 1 cycle during the first scheduling pass.
        * doc/invoke.texi (--param): New parameter max-sched-ready-insns.

2006-04-13  Richard Henderson  <rth@redhat.com>

        PR libgomp/26651
        * gimple-low.c (lower_omp_directive): Remove dead code.
        (lower_stmt): Do nothing except for openmp, except for OMP_PARALLEL.
        * gimplify.c (gimplify_expr): Update for OMP_RETURN, OMP_CONTINUE.
        * omp-low.c (struct omp_region): Move to tree-flow.h.
        (root_omp_region): Export.
        (omp_regions, lookup_omp_region): Remove.
        (determine_parallel_type): Update for struct omp_region changes.
        (dump_omp_region): Dump regions with block numbers.
        (new_omp_region): Take type and block instead of stmt; malloc
        instead of ggc.
        (free_omp_region_1, free_omp_regions): New.
        (expand_parallel_call): Take entry_stmt as argument; update for
        changes to omp_region.
        (remove_exit_barrier): Rewrite to update OMP_RETURN_NOWAIT.
        (remove_exit_barriers): New.
        (expand_omp_parallel): Update for struct omp_region changes.
        (expand_omp_synch): Likewise.
        (expand_omp): Likewise.
        (expand_omp_for_static_nochunk): Likewise; update for OMP_CONTINUE.
        (expand_omp_for_static_chunk): Likewise.
        (expand_omp_for): Likewise.
        (expand_omp_for_generic): Likewise; emit the proper GOMP_loop_end call.
        (expand_omp_sections): Similarly, with GOMP_sections_end.
        (expand_omp_single): New.
        (build_omp_regions_1): Update for OMP_CONTINUE.
        (execute_expand_omp): Call remove_exit_barriers, free_omp_regions.
        (lower_omp_sections): Expand with OMP_CONTINUE, do not collect
        OMP_SECTIONS_SECTIONS.
        (lower_omp_single_simple): Don't emit barrier here.
        (lower_omp_single_copy): Likewise.
        (lower_omp_single): Fix bindings, and lower to straightline now.
        (lower_omp_master, lower_omp_ordered): Likewise.
        (lower_omp_critical): Likewise.
        (lower_omp_for): Likewise.  Emit OMP_CONTINUE.
        * tree-cfg.c (make_edges): Collect an omp_region tree, use it for
        omp edges, free it afterward.
        (make_omp_sections_edges): Remove.
        (is_ctrl_altering_stmt): Don't bother checking flag_openmp.
        (move_stmt_r): Handle OMP_CONTINUE.
        * tree-flow.h (struct omp_region): Move from omp-low.c.  Switch
        statement pointers to basic blocks.  Add type member.
        (root_omp_region, new_omp_region, free_omp_regions): Declare.
        * tree-gimple.c (is_gimple_stmt): Handle OMP_RETURN, OMP_CONTINUE.
        * tree-inline.c (estimate_num_insns_1): Likewise.
        * tree-pretty-print.c (dump_generic_node): Likewise.
        * tree-ssa-operands.c (get_expr_operands): Likewise.
        * tree.def (OMP_SECTIONS): Remove OMP_SECTIONS_SECTIONS operand.
        (OMP_RETURN): Rename from OMP_RETURN_EXPR.
        (OMP_CONTINUE): New.
        * tree.h (OMP_DIRECTIVE_P): Add OMP_CONTINUE.
        (OMP_SECTIONS_SECTIONS): Remove.
        (OMP_SECTION_LAST): New.
        (OMP_RETURN_NOWAIT): New.

2006-04-13  Roger Sayle  <roger@eyesopen.com>

        * fold-const.c (native_encode_vector, native_interpret_real):
        Correct obvious mistakes in the previous check-in.

2006-04-13  Roger Sayle  <roger@eyesopen.com>

        * fold-const.c (native_encode_expr): New function to encode
        the target representation of an INTEGER_CST, REAL_CST, COMPLEX_CST
        or VECTOR_CST into a specified buffer.
        (native_encode_int): New function.
        (native_encode_real): New function.
        (native_encode_complex): New function.
        (native_encode_vector): New function.
        (native_interpret_expr): Inverse of native_encode_expr to convert
        a target representation into an INTEGER_CST, REAL_CST etc...
        (native_interpret_int): New function.
        (native_interpret_real): New function.
        (native_interpret_complex): New function.
        (native_interpret_vector): New function.
        (fold_view_convert_expr): New function to constant fold/evaluate
        a VIEW_CONVERT_EXPR of a suitable constant expression.
        (fold_unary) <VIEW_CONVERT_EXPR>: Call fold_view_convert_expr.
        Change call of build1 to fold_build1 when constructing a
        VIEW_CONVERT_EXPR.

2006-04-13  Paolo Bonzini  <bonzini@gnu.org>
            Ulrich Weigand  <uweigand@de.ibm.com>

        PR target/27006
        * config/rs6000/rs6000.h (EASY_VECTOR_15_ADD_SELF): Require n
        to be even.

2006-04-13  Alan Modra  <amodra@bigpond.net.au>

        PR target/26459
        * config/rs6000/rs6000.c (rs6000_legitimize_reload_address): Don't
        optimize to lo_sum for DFmode if !TARGET_FPRS.

2006-04-12  Kazu Hirata  <kazu@codesourcery.com>

        * tree-ssa-alias.c (set_initial_properties, init_alias_info,
        delete_alias_info, compute_flow_sensitive_aliasing,
        group_aliases): Use VEC instead of VARRAY.
        * tree-ssa-structalias.c (update_alias_info): Likewise.
        * tree-ssa-structalias.h (alias_info): Change the type of
        processed_ptrs to VEC(tree,heap) *.

2006-04-12  J"orn Rennecke <joern.rennecke@st.com>

        PR target/27060
        * config/sh/lib1funcs.h: New file, broken out of:
        * config/sh/lib1funcs.asm.
        * config/sh/lib1funcs.h (DR00, DR01, DR20, DR21, DR40, DR41):
        New macros.
        * config/sh/lib1funcs.asm (udivsi3_i4): Use them.
        * config/sh/lib1funcs-Os-4-200.asm: New file.
        * config/sh/embed-elf.h (LIBGCC_SPEC): Use -lgcc-Os-4-200.
        * config/sh/t-sh (OPT_EXTRA_PARTS): New variable.
        (EXTRA_MULTILIB_PARTS): Include it.
        ($(T)sdivsi3_i4i-Os-4-200.o): New rule.
        ($(T)udivsi3_i4i-Os-4-200.o, $(T)libgcc-Os-4-200.a): Likewise.
        * config/sh/t-superh (EXTRA_MULTILIB_PARTS): Include OPT_EXTRA_PARTS.
        * config/sh/sh.h (OVERRIDE_OPTIONS): Recognize -mdiv=call-table for
        TARGET_SH2.

2006-04-12  Kazu Hirata  <kazu@codesourcery.com>

        * Makefile.in (TREE_SSA_LIVE_H): Add vecprim.h.
        * tree-ssa-live.c (tpa_init, tpa_remove_partition, tpa_delete,
        tpa_compact, root_var_init, type_var_init): Use VEC instead of
        VARRAY.
        * tree-ssa-live.h: Include vecprim.h.
        (tree_partition_associator_d): Change the type of
        first_partition to VEC(int,heap) *.
        (tpa_first_partition): Use VEC instead of VARRAY.

        * Makefile.in (GTFILES): Move functions.h after tree.h.
        * function.c (reset_block_changes, record_block_change,
        check_block_change, free_block_changes): Use VEC instead of
        VARRAY.
        * function.h (function): Change the type of
        ib_boundaries_block to VEC(tree,gc) *.
        * tree-inline.c (copy_cfg_body): Initialize
        ib_boundaries_block to NULL instead of (varray_type) 0.

2006-04-12  Roger Sayle  <roger@eyesopen.com>

        * expr.c (emit_group_store): Correct operand order in call to
        subreg_lowpart_offset.  Always create paradoxical SUBREGs with
        a SUBREG_BYTE of zero.

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

        * profile.c (compute_branch_probabilities): Remove code
        encapsulated in !ir_type (), which are remanents of the
        removed RTL profiling code.
        * rtl-profile.c: Remove.

2006-04-12  Alan Modra  <amodra@bigpond.net.au>

        * config/rs6000/rs6000.c (rs6000_mixed_function_arg): Update
        magic NULL_RTX comment.
        (function_arg): Store entire fp arg to mem if any part should go
        on stack.
        (rs6000_arg_partial_bytes): Adjust for above change.

2006-04-11  Roger Sayle  <roger@eyesopen.com>

        * dwarf2out.c (output_call_frame_info): Create debug_frame_section
        if it hasn't been initialized by dwarf2out_init.

2006-04-11  John David Anglin  <dava.anglin@nrc-cnrc.gc.ca>

        * pa.md (MAX_12BIT_OFFSET, MAX_17BIT_OFFSET): Define and use new
        symbolic constants in branch patterns.

2006-04-11  Roger Sayle  <roger@eyesopen.com>

        * caller-save.c: #include "addresses.h" after #include "tm_p.h".

2006-04-11  Richard Sandiford  <richard@codesourcery.com>

        PR rtl-optimization/27073
        * gcse.c (try_replace_reg): Revert last change.  Continue to search
        for both REG_EQUAL and REG_EQUIV notes, but only perform replacements
        on the former.

2006-04-11  Eric Botcazou  <ebotcazou@libertysurf.fr>

        * config/sparc/sparc.c (function_arg_slotno) <BLKmode>: Handle
        aggregate types other than record and union types.
        (function_arg): Likewise.
        (function_arg_pass_by_reference): In 64-bit mode, return 0 for
        small arrays.
        (function_value): In 64-bit mode, return objects that require it
        in FP registers.

2006-04-11  Roger Sayle  <roger@eyesopen.com>

        * dwarf2out.c (premark_used_types): Remove problematic prototype.

2006-04-11  Jakub Jelinek  <jakub@redhat.com>

        * gcc.c (LINK_COMMAND_SPEC): Move link_gomp after %o.

2006-04-03  Jeff Law  <law@redhat.com>

        PR/27087
        * tree-ssa-copy.c (may_propagate_copy): Test flow sensitive
        alias information too.

2006-04-10  Mike Frysinger  <vapier@gentoo.org>

        * Makefile.in (gcc-cross): Add $(exeext) to target name.

2006-04-10  Aldy Hernandez  <aldyh@redhat.com>

        PR/21391
        * dwarf2out.c (struct die_struct): Add die_perennial_p field.
        (premark_used_types_helper): New.
        (premark_used_types): New.
        (gen_subprogram_die): Call premark_used_types.
        (prune_unused_types_walk): Do not prune perennial dies.
        * function.c (used_types_insert): New.
        * function.h (struct function): Add used_types_hash field.
        (used_types_insert): Add prototype.
        * Makefile.in (FUNCTION_H): Depend on HASHTAB_H.
        * c-parser.c (c_parser_cast_expression): Save casted types in used
        types hash table.

2006-04-11  Mark Mitchell  <mark@codesourcery.com>

        PR target/26459
        * config/rs6000/e500-double.h (SUB3TARGET_OVERRIDE_OPTIONS): Test
        rs6000_explicit_options.float_gprs.

2006-04-10  Roger Sayle  <roger@eyesopen.com>

        * config/i386/i386.c (ix86_expand_vector_init_one_nonzero): Renamed
        from ix86_expand_vector_init_low_nonzero.  Take an additional
        one_var argument indicating which element is non-zero.  Support
        one_var != 0 for V4SFmode and V4SImode by permuting the result.
        (ix86_expand_vector_init): Call ix86_expand_vector_init_one_nonzero
        with one_var instead of ix86_expand_vector_init_low_nonzero.

2006-04-10  Kazu Hirata  <kazu@codesourcery.com>

        * Makefile.in (tree-into-ssa.o, tree-outof-ssa.o,
        tree-ssa-live.o, tree-ssa-alias.o, function.o, df-problems.o,
        global.o, cfglayout.o, lambda-code.o, reg-stack.o,
        build/genextract.o): Depend on vecprim.h.
        * cfglayout.c, df-problems.c, function.c, genextract.c,
        global.c, lambda-code.c, reg-stack.c, tree-into-ssa.c,
        tree-outof-ssa.c, tree-ssa-alias.c, tree-ssa-live.c: Include
        vecprim.h.
        * vecprim.h: New.

2006-04-10  Geoffrey Keating  <geoffk@apple.com>

        * dwarf2out.c (struct dw_attr_struct): Remove dw_attr_next.
        Declare VECs of this type.
        (struct die_struct): Make field die_attr a VEC of dw_attr_struct.
        (remove_children): Delete.
        (add_dwarf_attr): Use VEC routines.
        (add_AT_flag): Update for changes to add_dwarf_attr.
        (add_AT_int): Likewise.
        (add_AT_unsigned): Likewise.
        (add_AT_long_long): Likewise.
        (add_AT_vec): Likewise.
        (add_AT_string): Likewise.
        (add_AT_die_ref): Likewise.
        (add_AT_fde_ref): Likewise.
        (add_AT_loc): Likewise.
        (add_AT_loc_list): Likewise.
        (add_AT_addr): Likewise.
        (add_AT_lbl_id): Likewise.
        (add_AT_lineptr): Likewise.
        (add_AT_macptr): Likewise.
        (add_AT_offset): Likewise.
        (add_AT_range_list): Likewise.
        (get_AT): Use VEC_iterate.
        (remove_AT): Use VEC_ordered_remove.
        (free_die): Fold remove_children into here; have it use VEC_iterate.
        (print_die): Use VEC_iterate on attrs.
        (reverse_die_lists): Don't reverse attr lists.
        (die_checksum): Use VEC_iterate on attrs.
        (same_die_p): Likewise.
        (output_location_lists): Likewise.
        (build_abbrev_table): Likewise.
        (size_of_die): Likewise.
        (unmark_all_dies): Likewise.
        (output_abbrev_section): Likewise.
        (output_die): Likewise.
        (prune_unused_types_walk_attribs): Likewise.

2006-04-10  Eric Botcazou  <ebotcazou@libertysurf.fr>

        * doc/install.texi (*-*-solaris2*): Point to the configure page.

2006-04-10  Jakub Jelinek  <jakub@redhat.com>

        PR debug/27057
        * dwarf2out.c (is_symbol_die): Return true also for namespaces.

2006-04-09  Roger Sayle  <roger@eyesopen.com>

        * expr.c (store_constructor): Don't bother clearing target if
        we're about to assign a vector to it using vec_init_optab.

2006-04-10 Daniel Berlin  <dberlin@dberlin.org>

        * tree-ssa-alias.c (lhs_may_store_to): New function.
        (recalculate_used_alone): Handle LHS of calls.

2006-04-09  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>

        PR target/27034
        PR target/26508
        * config.gcc (hppa*64*-*-hpux11*): Add 'libgcc_stub.a' to extra_parts.
        * pa64-hpux.h (LIB_SPEC): Correct typo.  Don't append milli.a.
        (LINK_GCC_C_SEQUENCE_SPEC): Define.  Append milli.a here.
        (PA_CXA_FINALIZE_STUB, PA_JV_REGISTERCLASSES_STUB): Delete defines.
        (PA_INIT_FINI_HACK): Rename to PA_CRTBEGIN_HACK.
        (PA_CRTBEGIN_HACK): Ensure __do_global_ctors_aux is placed in text
        section.  Delete PA_CXA_FINALIZE_STUB and PA_JV_REGISTERCLASSES_STUB
        stubs.  Add ".align 8" directives before all ".dword" directives.
        (GTHREAD_USE_WEAK): Revise comment.
        (TARGET_ATTRIBUTE_WEAK): Define.
        * pa/t-pa64 (LIBGCCSTUB_OBJS): Add new rules for stublib.c, rfi-stub.o,
        dfi-stub.o, cxaf-stub.o and jvrc-stub.o.
        * stublib.c: New file.

        PR target/26743
        PR target/11254
        PR target/10274
        * pa.md (cbranch patterns): Revise arguments used in calls to
        output_cbranch, output_bb and output_bvd.  Add long branch length
        attributes.
        (fbranch patterns): Handle long branches.
        (jump): Revise length check.  Revise arguments for output_lbranch call.
        Add long branch length attributes.
        (decrement_and_branch_until_zero): Add long branch length attributes.
        (output_movb, output_parallel_addb and output_parallel_movb patterns):
        Likewise.  Revise arguments for output_parallel_addb and
        output_parallel_movb calls.
        * pa-protos.h (output_cbranch, output_lbranch, output_bb, output_bvb,
        output_parallel_movb and output_parallel_addb): Update prototypes.
        * pa.c (output_cbranch): Revise arguments.  Correct handling of
        nullification in long branches.
        (output_lbranch): Add new argument to control extraction of delay
        instruction.
        (output_bb): Handle long branches.
        (output_bvb, output_dbra, output_movb, output_parallel_movb,
        output_parallel_addb): Likewise.

2006-04-09  Richard Sandiford  <richard@codesourcery.com>

        PR rtl-optimization/27073
        * gcse.c (try_replace_reg): Just propagate into REG_EQUAL notes,
        not REG_EQUIVs.

2006-04-08  Daniel Berlin  <dberlin@dberlin.org>

        * tree.h (tree_memory_tag): Add old_used_alone.
        (SMT_OLD_USED_ALONE): New macro.
        * tree-ssa-alias.c (recalculate_used_alone): Stop
        marking things for renaming unnecessarily.

2006-04-08  Kazu Hirata  <kazu@codesourcery.com>

        * builtins.c, config/arm/arm.c, config/i386/cygwin.h,
        config/i386/i386.c, config/ia64/ia64.c, config/s390/fixdfdi.h,
        config/sh/sh.c, config/sh/sh.h, df-scan.c, except.c,
        haifa-sched.c, optabs.c, rtl.h, sched-deps.c, sched-int.h,
        sched-rgn.c, tree-inline.h, tree-ssa-dom.c,
        tree-ssa-loop-prefetch.c, tree-ssa-operands.c,
        tree-vect-patterns.c, tree-vrp.c: Fix comment typos.  Follow
        spelling convensions.
        * config/ia64/ia64.opt, doc/contrib.texi, doc/invoke.texi,
        doc/passes.texi, doc/tm.texi, doc/tree-ssa.texi: Fix comment
        typos.  Follow spelling conventions.

2006-04-07  DJ Delorie  <dj@redhat.com>

        * config/m32c/m32c.c (m32c_function_arg): Structures are always
        passed on the stack.
        (m32c_init_cumulative_args): When a function returns a structure,
        always pass the pointer to that return area on the stack.
        (m32c_function_arg_advance): Don't increment the parameter number
        if we're processing the returned structure pointer.
        (pushm_info): Reverse order of registers.

2006-04-07  Sebastian Pop  <pop@cri.ensmp.fr>

        * tree-ssa-loop-niter.c (inverse, number_of_iterations_ne,
        assert_no_overflow_lt, assert_loop_rolls_lt, number_of_iterations_lt,
        number_of_iterations_le, number_of_iterations_cond, find_loop_niter,
        estimate_numbers_of_iterations_loop): Use build_int_cst instead of
        build_int_cst_type.
        * tree-chrec.c (chrec_fold_multiply_poly_poly,
        chrec_fold_multiply): Same.
        * tree-ssa-loop-ivopts.c (strip_offset_1, force_expr_to_var_cost,
        force_expr_to_var_cost): Same.
        * tree-mudflap.c (mf_xform_derefs_1): Same.
        * tree-ssa-loop-prefetch.c (idx_analyze_ref): Same.

2006-04-07  David Edelsohn  <edelsohn@gnu.org>

        * config/rs6000/rs6000.c (rs6000_rtx_costs) <CONST_DOUBLE>: Do not
        treat CONST_DOUBLE as INTVAL.  and64_2_operands require an extra
        insn.

2006-04-07  Jan Hubicka  <jh@suse.cz>

        * ipa-inline.c (cgraph_early_inlining): Collect garbage.

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

        PR tree-optimization/26135
        * tree-ssa-copy.c (stmt_may_generate_copy): Handle memory
        loads for store copy-prop.
        (copy_prop_visit_stmt): Likewise.

2006-04-05  Robert Millan  <robertmh@gnu.org>

        * config/i386/linux.h: Add a comment to mark macros that are
        being overriden in config/k*bsd-gnu.h.
        * config/kfreebsd-gnu.h: Redefine GLIBC_DYNAMIC_LINKER instead of
        DYNAMIC_LINKER.
        * config/knetbsd-gnu.h: Ditto.

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

        PR profile/20815
        PR profile/26399
        * coverage.c (coverage_checksum_string): Reorganize loop to not read
        after buffer.

2006-04-06  Mike Stump  <mrs@apple.com>

        * builtins.c (expand_builtin_longjmp):Use #ifdef instead of #if
        for HAVE_nonlocal_goto to be consistent.
        (expand_builtin_nonlocal_goto): Likewise.
        (expand_builtin_strcmp): Use #ifdef instead of #if
        for HAVE_cmpstrnsi to be consistent.

2006-04-05  DJ Delorie  <dj@redhat.com>

        * config/m32c/m32c.h (INCOMING_FRAME_SP_OFFSET): Adjust for m16c
        vs m32c.

2006-04-05  Bernd Schmidt  <bernd.schmidt@analog.com>

        * config/bfin/bfin.c (bfin_legitimate_address_p): Disallow
        got-relative addressing for anything but SImode.

        * config/bfin/lib1funcs.asm (modsi): P1/P2 can be call-clobbered
        even if the calling function doesn't modify them.

2006-04-05  Richard Guenther  <rguenther@suse.de>

        PR tree-optimization/26919
        * ipa-inline.c (cgraph_decide_inlining_incrementally): Fix argument
        to cgraph_estimate_size_after_inlining.

2006-04-05  Alan Modra  <amodra@bigpond.net.au>

        * reload.c (find_dummy_reload): Fix typo in 2006-04-03 change.

2006-04-05  Sebastian Pop  <pop@cri.ensmp.fr>

        PR tree-optimization/26996
        * tree-scalar-evolution.c (analyze_scalar_evolution_1): Don't analyze
        VECTOR_TYPE variables.

2006-04-05  Richard Guenther  <rguenther@suse.de>

        PR tree-optimization/26763
        * fold-const.c (fold_comparison): Move folding of
        PTR + CST CMP PTR + CST ...
        (fold_binary): ... here.  Fold only for EQ_EXPR and NE_EXPR.

2006-04-05  Gerald Pfeifer  <gerald@pfeifer.com>

        * doc/install.texi (Prerequisites): Refine some wording on
        bootstrapping and ksh.
        Move the version numbers of DejaGnu here from the testing section
        and fix casing of names.
        Fix markup and clarify wording for autogen requirements.
        Refer to GCJ instead of just java.
        Refer to SVN instead of CVS.
        Describe diffutils as useful instead of necessary.
        (Downloading the source): Refer to SVN instead of CVS.
        Adjust a link to our web site accordingly.
        (Configuration): Fix casing of Bison.
        (Building): Refer to SVN instead of CVS.
        Fix a sentence on the use of Bison and remove duplicate (and
        incorrect) version number of Bison requirement.
        Remove one redundant list of packages needed for building.
        (Specific): Avoid reference to CVS.

2006-04-04  Eric Christopher  <echristo@apple.com>

        * config/rs6000/rs6000.c (TARGET_MS_BITFIELD_LAYOUT_P): Define.
        (TARGET_USE_MS_BITFIELD_LAYOUT): Ditto.
        (rs6000_handle_struct_attribute): New.
        (rs6000_ms_bitfield_layout_p): Ditto.

2006-04-04  Geoffrey Keating  <geoffk@apple.com>

        * config/darwin-crt3.c (atexit): Pass &__dso_handle rather than
        NULL for dso parameter to atexit_common.

2006-04-04  Eric Christopher  <echristo@apple.com>

        * config/i386/i386.c (machopic_output_stub): Output \t
        between instructions and operands.

2006-04-04  David Edelsohn  <edelsohn@gnu.org>

        * config/rs6000/rs6000.c (num_insns_constant_wide): Change
        satisfies_constraint_[IL] to explicit tests on value.

2006-04-04  Sebastian Pop  <pop@cri.ensmp.fr>

        * tree-scalar-evolution.c (compute_overall_effect_of_inner_loop,
        set_nb_iterations_in_loop): Use build_int_cst instead of
        build_int_cst_type.
        * tree-data-ref.c (can_use_analyze_subscript_affine_affine): Use
        build_int_cst instead of convert.

2006-04-04  Carlos O'Donell  <carlos@codesourcery.com>

        * doc/tm.texi (TARGET_STRUCT_VALUE_RTX): Document
        new value 2 for incoming.
        * function.c (expand_function_start): Call struct_value_rtx
        with incoming as 2.
        * config/sparc/sparc.md: Comment updated_return.
        * config/sparc/sparc.opt: Add -mstd-struct-return option.
        * config/sparc/sparc.c (sparc_struct_value_rtx): Use standard
        struct return if sparc_std_struct_return and incoming is 2.
        (print_operand): Do not adjust return if
        sparc_std_struct_return.

2006-04-04  Roger Sayle  <roger@eyesopen.com>

        * builtins.c (fold_builtin_sprintf): Use fold_convert instead of
        convert in the middle-end.
        * expr.c (store_expr, store_constructor, get_inner_reference,
        expand_expr_real_1, string_constant, try_casesi, try_tablejump):
        Likewise.
        * tree.c (build_range_type): Likewise.

2006-04-04  Tom Tromey  <tromey@redhat.com>

        * doc/install.texi (Prerequisites): Mention jar.

2006-04-04  Daniel Berlin  <dberlin@dberlin.org>

        * doc/tree-ssa.texi (Preserving the virtual ssa form): New
        subsection.

2006-04-04  Matthias Klose  <doko@debian.org>

        * Makefile.in (unprotoize.o): Same dependencies as for protoize.o.
        * Makefile.in (s-macro_list): Conform to POSIX rules in single quoted
        strings.

2006-04-03  Geoffrey Keating  <geoffk@apple.com>

        * doc/extend.texi (Function Attributes): Rewrite visibility
        attribute documentation.
        * doc/invoke.texi (C++ Dialect Options): Rewrite
        -fvisibility-inlines-hidden documentation to describe something
        entirely different, although in practise compatible.
        (Code Gen Options): Warn about system headers in -fvisibiltity=
        documentation.

        * doc/extend.texi (Other Builtins): Document that
        __builtin_nan is a compile-time constant only when its argument
        is valid.

2006-04-03  Adam Nemet  <anemet@caviumnetworks.com>

        * simplify-rtx.c (simplify_unary_operation_1) <TRUNCATE>: When
        trying to remove TRUNCATE check if all bits outside the new mode
        are identical to the sign bit.

2006-04-03  Jeff Law  <law@redhat.com>

        * tree-ssa-dom.c (propagate_rhs_into_lhs): Avoid useless folding
        and operand scanning in some common cases.

2006-04-03  Paolo Bonzini  <bonzini@gnu.org>
            Dale Johannesen  <dalej@apple.com>

        PR target/19653
        * regclass.c (struct reg_pref): Update documentation.
        (regclass): Set prefclass to NO_REGS if memory is the best option.
        (record_reg_classes): Cope with a prefclass set to NO_REGS.
        * reload.c (find_reloads): Take PREFERRED_OUTPUT_RELOAD_CLASS
        into account.  For non-registers, equate an empty preferred
        reload class to a `!' in the constraint; move the if clause to
        do so after those that reject the insn.
        (push_reload): Allow PREFERRED_*_RELOAD_CLASS to liberally
        return NO_REGS.
        (find_dummy_reload): Likewise.
        * doc/tm.texi (Register Classes): Document what it means
        if PREFERRED_*_RELOAD_CLASS return NO_REGS.
        * config/i386/i386.c (ix86_preferred_reload_class): Force
        using SSE registers (and return NO_REGS for floating-point
        constants) if math is done with SSE.
        (ix86_preferred_output_reload_class): New.
        * config/i386/i386-protos.h (ix86_preferred_output_reload_class): New.
        * config/i386/i386.h (PREFERRED_OUTPUT_RELOAD_CLASS): New.
        * config/i386/i386.md: Remove # register preferences.

2006-04-02  Sebastian Pop  <pop@cri.ensmp.fr>

        PR bootstrap/26992
        * tree-scalar-evolution.c (compute_overall_effect_of_inner_loop,
        chrec_is_positive, set_nb_iterations_in_loop): Use a variable for
        the type of nb_iter.
        (instantiate_parameters_1): Convert the operands before calling
        chrec_fold_minus, chrec_fold_plus, or chrec_fold_multiply.
        * tree-data-ref.c (can_use_analyze_subscript_affine_affine): Same.

2006-04-02  Roger Sayle  <roger@eyesopen.com>

        * builtins.c (dummy_object): Use build_int_cst instead of convert.
        * tree-ssa-ccp.c (maybe_fold_stmt_addition): Use fold_convert
        instead of convert.
        * dojump.c (do_jump): Likewise.
        * expr.h (ADD_PARM_SIZE, SUB_PARM_SIZE, ARGS_SIZE_TREE): Likewise.
        * gimplify.c (gimple_boolify, gimplify_init_constructor,
        gimplify_boolean_expr): Likewise.
        * emit-rtl.c (set_mem_attributes_minus_bitpos): Likewise.
        * varasm.c (array_size_for_constructor): Likewise.
        * tree-object-size.c (compute_object_offset): Likewise.

2006-04-02  Roger Sayle  <roger@eyesopen.com>

        PR middle-end/26977
        * expr.c (emit_group_store): Check whether simplify_gen_subreg returns
        NULL_RTX, indicating it couldn't create a valid paradoxical subreg.

2006-04-02  Sebastian Pop  <pop@cri.ensmp.fr>

        PR tree-optimization/26939
        * tree-chrec.c (chrec_merge): Use eq_evolutions_p.

2006-04-02  Sebastian Pop  <pop@cri.ensmp.fr>

        * tree-scalar-evolution.c (add_to_evolution_1): Pass an extra argument
        at_stmt.  Convert the type of operands before calling
        build_polynomial_chrec.
        (add_to_evolution): Pass an extra argument at_stmt.  Adjust the call to
        add_to_evolution_1.
        (follow_ssa_edge_in_rhs): Adjust call to add_to_evolution.
        (instantiate_parameters_1): Convert the type of operands before calling
        build_polynomial_chrec.
        * tree-chrec.c (chrec_fold_poly_cst, chrec_fold_plus_poly_poly,
        chrec_fold_multiply_poly_poly, chrec_replace_initial_condition,
        reset_evolution_in_loop): Insert asserts to check the types of the
        operands.
        (chrec_type): Moved...
        (eq_evolutions_p): Use operand_equal_p.
        * tree-chrec.h (build_polynomial_chrec): Insert an assert to check
        the types of the operands.
        (chrec_type): ...here.
        * tree-data-ref.c (create_data_ref): Convert the operands before
        calling chrec_replace_initial_condition.
        (same_access_functions, analyze_subscript_affine_affine,
        analyze_miv_subscript, all_chrecs_equal_p): Use eq_evolutions_p.
        (compute_subscript_distance, analyze_ziv_subscript,
        analyze_siv_subscript_cst_affine, compute_overlap_steps_for_affine_1_2,
        analyze_miv_subscript): Convert the operands before calling
        chrec_fold_minus or chrec_fold_plus.

2006-04-02  Sebastian Pop  <pop@cri.ensmp.fr>

        * tree-data-ref.c (compute_all_dependences): Use a pointer to
        the dependence_relations vector.
        (compute_data_dependences_for_loop): Adjust call to
        compute_all_dependences.

2006-04-01  Roger Sayle  <roger@eyesopen.com>
            Richard Henderson  <rth@redhat.com>

        * gimplify.c (gimplify_scan_omp_clauses) <OMP_CLAUSE_IF>: Call
        gimple_boolify on the condition before calling gimplify_expr.

2006-03-31  Bob Wilson  <bob.wilson@acm.org>

        * config/xtensa/lib1funcs.asm: Rename abi_entry/abi_return macros
        to leaf_entry/leaf_return.  Change leaf_entry to add 16 bytes to
        the frame size.  Update to use the new macros.
        * config/xtensa/ieee754-sf.S: Use new leaf_entry/leaf_return macros.
        * config/xtensa/ieee754-df.S: Likewise.

2006-03-31  Richard Henderson  <rth@redhat.com>

        * tree-cfg.c (make_ctrl_stmt_edges, make_exit_edges): Merge into...
        (make_edges): ... here.  Control fallthru creation with a local
        variable.  Do not play with fake edges.
        (make_omp_sections_edges): Don't set EDGE_ABNORMAL.
        (make_goto_expr_edges): Don't play with fake edges.  Make for_call
        a boolean.

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

        * dwarf2.h (DW64_CIE_ID): Define.
        * dwarf2out.c (DWARF_CIE_ID): Define.
        (output_call_frame_info): Output 0xffffffff before standard 8-byte
        length header.  Use DWARF_CIE_ID.
        (value_format): Use DW_FORM_data4 or DW_FORM_data8 for
        dw_val_class_loc_list depending on DWARF_OFFSET_SIZE.

2006-03-31  Kaz Kojima  <kkojima@gcc.gnu.org>

        * config/sh/linux-atomic.asm: New file.
        * config/sh/t-linux (LIB2FUNCS_EXTRA): Add linux-atomic.asm.

2006-03-31  DJ Delorie  <dj@redhat.com>

        * config/m32c/cond.md: Set condition flags properly throughout.
        * config/m32c/minmax.md: Likewise.
        * config/m32c/prologue.md: Likewise.
        * config/m32c/bitops.md: Likewise.
        * config/m32c/muldiv.md: Likewise.
        * config/m32c/mov.md: Likewise.
        * config/m32c/addsub.md: Likewise.
        * config/m32c/m32c.md: Likewise.
        * config/m32c/jump.md: Likewise.
        * config/m32c/shift.md: Likewise.

        * config/m32c/cond.md (cmp<mode>): Call m32c_output_compare to
        conditionally output the pattern for this.
        * config/m32c/m32c.c (flags_needed_for_conditional): New.
        (m32c_compare_redundant): New.
        (m32c_output_compare): New.
        * config/m32c/m32c-protos.h (m32c_output_compare): New.

        * config/m32c/m32c.c (m32c_prepare_shift): Fix logic to clobber
        dest, not src.  Allow other 4-byte modes.

2006-03-30  Denis Chertykov  <denisc@overta.ru>

        * doc/md.texi: Refer to avr/constraints.md instead of
        avr/avr.h.

2006-03-30  Roger Sayle  <roger@eyesopen.com>

        * expr.c (emit_group_store): Make BYTEPOS a HOST_WIDE_INT to
        signed vs. unsigned comparison failures on some hosts.

2006-03-31  Alan Modra  <amodra@bigpond.net.au>

        PR target/26459
        * config/rs6000/rs6000.h (CANNOT_CHANGE_MODE_CLASS): Limit 2003-12-08
        change to FLOAT_REGS.

        * config/rs6000/rs6000.c (rs6000_explicit_options): Add ieee.
        (rs6000_override_options): Use it.
        (rs6000_handle_option): Set it.  Set rs6000_explicit_options.abi
        only for -mabi=spe/no-spe and -mabi=altivec.

2006-03-30  Geoffrey Keating  <geoffk@apple.com>

        * config/darwin.h (LINK_COMMAND_SPEC): Don't try to protect %S with
        !Zdynamiclib.

2006-03-30  Carlos O'Donell  <carlos@codesourcery.com>

        * Makefile.in: Rename docdir to gcc_docdir.

2006-03-30  Roger Sayle  <roger@eyesopen.com>

        PR target/17959
        * expr.c (emit_group_store): Optimize group stores into a pseudo
        register by using a paradoxical subreg to initialize the destination
        if the first or last member of the group specifies a "low part".

2006-03-30  Maxim Kuvyrkov  <mkuvyrkov@ispras.ru>

        PR target/26734
        * rtl.def (DEPS_LIST): Change type of the second operand to 'int'.
        * target.h (struct gcc_target.speculate_insn): Change type of the
        second parameter to 'int'.
        * lists.c (alloc_DEPS_LIST): Change signature.  Update reference to
        the second operand of the DEPS_LIST.
        (copy_DEPS_LIST_list): Update reference to the second operand of the
        DEPS_LIST.
        * rtl.h (alloc_DEPS_LIST): Update signature.
        * sched-int.h (ds_t): Change typedef to 'int'.
        (DEP_STATUS, BITS_PER_DEP_STATUS): Update.

2006-03-30  Maxim Kuvyrkov  <mkuvyrkov@ispras.ru>

        * haifa-sched.c (try_ready): Change condition to restore
        non-speculative pattern of the instruction.
        (process_insn_depend_be_in_spec): Code to keep probability of the
        speculative dependence non-decreasing.

2006-03-30  Jie Zhang  <jie.zhang@analog.com>

        * config/bfin/bfin.c (single_move_for_strmov): Renamed to...
        (single_move_for_movmem): ... this. Also change all uses.
        (bfin_expand_strmov): Renamed to...
        (bfin_expand_movmem): ... this. Also change all uses.
        * config/bfin/bfin.md (movstrsi): Renamed to...
        (movstrsi): ...this.

2006-03-30  Paolo Bonzini  <bonzini@gnu.org>

        PR tree-optimization/26830

        * tree-ssa-copy.c (copy_prop_visit_assignment): Do not check loop depth.
        (copy_prop_visit_stmt): Remove write-only variable ann.
        (init_copy_prop): Check variable loop depth here.  Do not simulate
        memory-tag and virtual operand PHIs except for store copy prop.

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

        * config/i386/i386.c: Remove builtins for SSE2 ABI intrinsic
        variants with double arguments.

2006-03-29  David Edelsohn  <edelsohn@gnu.org>

        * genpreds.c (write_tm_constrs_h): Delete variable p.
        * genconditions.c (write_header): Add tm-constrs.h to included
        headers.
        * genpeep.c (main): Add toplev.h to included headers.
        * Makefile.in (build/gencondmd.o): Add tm-constrs.h dependency.
        (build/genpeep.o): Add toplev.h dependency.
        * config/rs6000/constraints.md: Add "W" constraint.

2006-03-29  Roger Sayle  <roger@eyesopen.com>

        * stor-layout.c (mode_for_size_tree): Remove restiction on type
        sizes by correctly testing whether the size fits a host integer.
        (initialize_sizetypes): Use set_min_and_max_values_for_integral_type
        to correctly set TYPE_MIN_VALUE and TYPE_MAX_VALUE to the full
        SImode range for the default sizetype and bitsizetype.

2006-03-29  Roger Sayle  <roger@eyesopen.com>

        * convert.c (convert_to_pointer): Preserve the TREE_OVERFLOW
        and TREE_CONSTANT_OVERFLOW bits of the argument.  Return
        quickly if the argument is already of the correct type.
        Call fold_build1 instead of build1.  Tidy up blank lines.

2006-03-29  David Edelsohn  <edelsohn@gnu.org>

        * genemit.c (main): Add tm-constrs.h to included headers.
        * genoutput.c (output_prologue): Add tm-constrs.h to included headers.
        * genpeep.c (main): Add tm-constrs.h to included headers.
        * genpreds.c (write_satisfies_constraint_fns): Rename to ...
        (write_tm_constrs_h): this and write complete file.
        (write_tm_preds_h): Do not emit satisfies_constraint fns.
        (write_insn_preds_c): Add tm-constrs.h to included headers.
        (gen_constrs): New variable.
        (parse_option): Parse "-c".
        (main): Invoke write_tm_constrs_h.
        * genrecog.c (write_header): Add tm-constrs.h to included headers.
        * Makefile.in (STAGECOPYSTUFF): Add tm-constrs.h.
        (object_out_file): Add tm-constrs.h dependency.
        (insn-emit.o): Same.
        (insn-output.o): Same.
        (insn-peep.o): Same.
        (insn-preds.o): Same.
        (insn-recog.o): Same.
        (tm-constsr.h): New target.
        (s-constrs-h): New target.

        * config/rs6000/constraints.md: New file.
        * config/rs6000/rs6000.c: Include tm-constrs.h.
        (num_insn_constant_wide): Convert to satisfies_constraint.
        (rs6000_rtx_costs): Convert to satisfies_constraint.
        * config/rs6000/rs6000.h (REG_CLASS_FROM_LETTER): Delete.
        (CONST_OK_FOR_LETTER_P): Delete.
        (CONST_DOUBLE_OK_FOR_LETTER_P): Delete.
        (EXTRA_CONSTRAINT): Delete.
        (EXTRA_MEMORY_CONSTRAINT): Delete.
        (EXTRA_ADDRESS_CONSTRAINT): Delete.
        * config/rs6000/predicates.md: Convert to satisfies_constraint.
        * config/rs6000/rs6000.md: Include constraints.md.  Convert to
        satisfies_constraint.

        * config/i386/i386.c: Include tm-constrs.h.

2006-03-29  Sebastian Pop  <pop@cri.ensmp.fr>

        * tree-loop-linear.c (compute_data_dependences_for_loop): Adjust calls.
        * tree-data-ref.c (find_data_references_in_loop,
        compute_data_dependences_for_loop): Use pointers to VEC.
        (analyze_all_data_dependences): Adjust calls.
        * tree-data-ref.h (find_data_references_in_loop,
        compute_data_dependences_for_loop): Adjust declarations.
        * tree-vect-analyze.c (vect_analyze_data_refs): Adjust call to
        compute_data_dependences_for_loop.

2006-03-29  Paul Brook  <paul@codesourcery.com>

        * config/arm/vfp.md (movsf_vfp): Disparage w<->r alternatives.
        (movdf_vfp): Ditto.

2006-03-29  Sebastian Pop  <pop@cri.ensmp.fr>

        PR tree-optimization/26859
        * tree-ssa-loop-niter.c (infer_loop_bounds_from_undefined): Avoid
        division by zero.
        (convert_step): Remove TREE_OVERFLOW and TREE_CONSTANT_OVERFLOW flags
        for the step after fold_convert.

2006-03-29  Paul Brook  <paul@codesourcery.com>

        * reload1.c (choose_reload_regs): Check for all RTX_AUTOINC operators.
        (inc_for_reload): Handle PRE_MODIFY and POST_MODIFY addresses.

2006-03-29  Paul Brook  <paul@codesourcery.com>

        PR middle-end/23623
        * targhooks.c (default_narrow_bitfield): New fuction.
        * targhooks.h (default_narrow_bitfield): add prototype.
        * target.h (gcc_target): Add narrow_volatile_bitfield.
        * target-def.h (TARGET_NARROW_VOLATILE_BITFIELD): Define.
        * stor-layout.c (get_best_mode): Use targetm.narrow_volatile_bitfield.
        * doc/tm.texi: Document TARGET_NARROW_VOLATILE_BITFIELDS.
        * config/arm/arm.c (TARGET_NARROW_VOLATILE_BITFIELD): Define.

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

        * config.gcc (s390-*-linux-*, s390x-*-linux*): Add t-dfprules to
        tmake_file.
        * config/s390/s390.c (S390_scalar_mode_supported_p): New function.
        (NR_C_MODES): Add TDmode, DDmode and SDmode.
        (s390_output_pool_entry, ): Accept MODE_DECIMAL_FLOAT.
        (s390_hard_regno_mode_ok): Disallow TDmode in integer regs.
        (s390_function_arg_float): Allow SDmode and DDmode values to be
        passed in floating point registers.
        (s390_function_arg_integer, s390_function_value): Replace MODE_FLOAT
        check with SCALAR_FLOAT_MODE_P.
        (TARGET_SCALAR_MODE_SUPPORTED_P): Define target macro.

2006-03-28  Zdenek Dvorak <dvorakz@suse.cz>

        PR tree-optimization/25985
        * tree-ssa-loop-niter.c (number_of_iterations_le,
        number_of_iterations_ne): Make comments more precise.
        (number_of_iterations_cond): Add only_exit argument.  Use the
        fact that signed variables do not overflow only when only_exit
        is true.
        (loop_only_exit_p): New.
        (number_of_iterations_exit): Pass result of loop_only_exit_p to
        number_of_iterations_cond.

2006-03-28  Zdenek Dvorak <dvorakz@suse.cz>

        PR tree-optimization/26643
        * tree-ssa-loop-ivopts.c (find_interesting_uses_address): Do not handle
        bit_field_refs.

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

        * config/sh/sh.md (udivsi3_i4_int): Clobber MACH_REG and MACL_REG.
        (divsi3_i4_int): Likewise.

2006-03-28  Roger Sayle  <roger@eyesopen.com>

        * expr.c (emit_group_store): Only create a new pseudo reg if the
        quantity it needs to hold isn't already a suitable pseudo.

2006-03-28  Jeff Law  <law@redhat.com>

        * timevar.def (TV_TREE_PHI_CPROP): New timevar.
        * tree-ssa-dom.c (pass_phi_only_cprop): Use it.

2006-03-28  Roger Sayle  <roger@eyesopen.com>

        * fold-const.c (fold_binary) <BIT_XOR_EXPR>: Fold (X & Y) ^ Y as
        the equivalent ~X & Y, and the symmetry related transformations.
        (fold_binary) <BIT_AND_EXPR>: Similarly, fold (X ^ Y) & Y as
        ~X & Y, and symmetry related transforms.

2006-03-28  Maxim Kuvyrkov  <mkuvyrkov@ispras.ru>

        Revert my 2006-03-27 patches.

2006-03-28  Roger Sayle  <roger@eyesopen.com>

        * fold-const.c (fold_unary) <NOP_EXPR>: Fold (T1)(~(T2)X) as
        ~(T1)X, when T1 and T2 are integer types of the same precision
        and (T2)X isn't an extension.

2006-03-28  Jeff Law  <law@redhat.com>

        PR tree-optimization/26796
        * tree-ssa-dom.c (propagate_rhs_into_lhs): Queue blocks which
        need EH edge cleanups rather than purging them immediately.
        (eliminate_degenerate_phis): Handle queued EH cleanups.

2006-03-28  Daniel Berlin  <dberlin@dberlin.org>

        * tree-ssa-alias.c (create_sft): Initially inherit TREE_ADDRESSABLE
        from parent_var.

2006-03-27  Roger Sayle  <roger@eyesopen.com>

        PR middle-end/22524
        * fold-const.c (fold_binary) <MINUS_EXPR>: Call fold_convert to
        cast BIT_NOT_EXPR operand to the correct type.

2006-03-27  Sebastian Pop  <pop@cri.ensmp.fr>

        * tree-loop-linear.c: Don't include varray.h.
        (gather_interchange_stats, try_interchange_loops,
        linear_transform_loops): Use VEC instead of VARRAY.
        * lambda-mat.c: Don't include varray.h.
        * tree-chrec.c: Same.
        * lambda-trans.c: Same.
        * tree-vectorizer.c (new_loop_vec_info, destroy_loop_vec_info): Use
        VEC instead of VARRAY.
        * tree-vectorizer.h: Idem.
        * tree-data-ref.c (dump_data_references,
        dump_data_dependence_relations, dump_dist_dir_vectors, dump_ddrs,
        initialize_data_dependence_relation, finalize_ddr_dependent,
        compute_all_dependences, find_data_references_in_loop,
        compute_data_dependences_for_loop, analyze_all_data_dependences,
        free_dependence_relation, free_dependence_relations,
        free_data_refs): Idem.
        * tree-data-ref.h (data_reference_p, subscript_p): New.
        (data_dependence_relation, DDR_SUBSCRIPT, DDR_NUM_SUBSCRIPTS): Use
        VEC instead of VARRAY.
        (DDR_SUBSCRIPTS_VECTOR_INIT): Removed.
        (find_data_references_in_loop, compute_data_dependences_for_loop,
        dump_ddrs, dump_dist_dir_vectors, dump_data_references,
        dump_data_dependence_relations, free_dependence_relations,
        free_data_refs): Adjust declaration.
        (lambda_transform_legal_p): Move declaration here...
        * tree-vect-analyze.c (vect_analyze_data_ref_dependences,
        vect_compute_data_refs_alignment, vect_verify_datarefs_alignment,
        vect_enhance_data_refs_alignment, vect_analyze_data_ref_accesses,
        vect_analyze_data_refs): Use VEC instead of VARRAY.
        * lambda.h (lambda_transform_legal_p): ...from here.
        * lambda-code.c (lambda_transform_legal_p): Use VEC instead of VARRAY.
        * tree-vect-transform.c (vect_update_inits_of_drs): Idem.
        * Makefile.in (tree-loop-linear.o, lambda-mat.o, lambda-trans.o,
        tree-chrec.o): Don't depend on VARRAY_H.

2006-03-27  Maxim Kuvyrkov  <mkuvyrkov@ispras.ru>

        * rtl.def (Copyright): Update date.
        (DEPS_LIST): Change type of the second operand to 'int'.
        * target.h (Copyright): Update date.
        (struct gcc_target.speculate_insn): Change type of the second parameter
        to 'int'.
        * lists.c (Copyright): Update date.
        (alloc_DEPS_LIST): Change signature.  Update reference to the second
        operand of the DEPS_LIST.
        (copy_DEPS_LIST_list): Update reference to the second operand of the
        DEPS_LIST.
        * rtl.h (Copyright): Update date.
        (alloc_DEPS_LIST): Update signature.
        * sched-int.h (Copyright): Update date.
        (ds_t): Change typedef to 'int'.
        (DEP_STATUS, BITS_PER_DEP_STATUS): Update.

2006-03-27  Maxim Kuvyrkov  <mkuvyrkov@ispras.ru>

        * haifa-sched.c (Copyright): Update date.
        (try_ready): Change condition to restore non-speculative pattern
        of the instruction.
        (process_insn_depend_be_in_spec): Code to keep probability of the
        speculative dependence non-decreasing.

2006-03-27  Bernd Schmidt  <bernd.schmidt@analog.com>

        * regrename.c (replace_oldest_value_addr): Initialize a variable to
        shut up the compiler.

2006-03-27  J"orn Rennecke <joern.rennecke@st.com>

        * config/sh/t-sh ($(T)libic_invalidate_array_4-100.a): Fix rule
        to use lib prefix for target.
        ($(T)libic_invalidate_array_4-200.a): Likewise.
        ($(T)libic_invalidate_array_4a.a): Likewise.

2006-03-27  Andrew Stubbs <andrew.stubbs@st.com>
            J"orn Rennecke <joern.rennecke@st.com>

        * superh.opt: New file.
        * sh.c (boardtype, osruntime): Remove.
        * superh.h (SUBTARGET_OPTIONS): Remove.
        * config.gcc (sh*-superh-elf): Add sh/superh.opt to extra_options.

        * config.gcc (sh*-*-*): Don't use c-c ranges for tr.  Quote sed
        arguments with ^ and/or [].

        * config.gcc (sh-*-*): Add quoting to account for quirk of
        Solaris /bin/sh.
        Replace == with = in enable_incomplete_targets test.

        * config/sh/superh.h (SUBTARGET_LINK_SPEC): Replace LITTLE_ENDIAN_BIT
        with MASK_LITTLE_ENDIAN.

        * config.gcc (sh*-superh-elf): Add sh/superh.h to tm_file.
        * config/sh/sh.opt: Added to some comments.
        * config/sh/superh.h: Removed some chaff.

        * config/sh/sh.opt: Add m4-[1234]00* options.
        * config/sh/sh.c (sh_handle_option): Likewise.
        * config/sh/t-sh (IC_EXTRA_PARTS, EXTRA_MULTILIB_PARTS): Define.
        (ic_invalidate_array_4-100.o): New rule.
        ($(T)libic_invalidate_array_4-100.a): Likewise.
        (ic_invalidate_array_4-200.o): Likewise.
        ($(T)libic_invalidate_array_4-200.a): Likewise.
        (ic_invalidate_array_4a.o): Likewise.
        ($(T)libic_invalidate_array_4a.a): Likewise.
        * config/sh/t-elf (EXTRA_MULTILIB_PARTS): Add IC_EXTRA_PARTS.
        * config/sh/embed-elf.h (LIBGCC_SPEC): Add clauses for m4-100*,
        m4-200*, and m4a*.
        * config/sh/crt1.asm: Merged in profiling code.
        * config/sh/superh.h (STARTFILE_SPEC): Override.
        * config/sh/t-superh: Override EXTRA_MULTILIB_PARTS.
        Add rules for $(T)crt1-mmu.o, $(T)gcrt1-mmu.o and $(T)gcrt1.o.
        * config.gcc (sh*-superh-elf): Add t-superh to tmake_file.

        * t-sh (MULTILIB_MATCHES): Add sh4-[1245]00* variants.
        * config/sh/t-superh: Removed now-redundant MULTILIB_OPTIONS /
        MULTILIB_DIRNAMES / MULTILIB_MATCHES settings.

        * sh.opt (mpretend-cmove): New option.
        * sh.h (OPERRIDE_OPTIONS): Switch it off if not TARGET_SH1.
        * sh.md (movsicc_t_false, movsicc_t_tru): New patterns.
        (movsicc): Add TARGET_PRETEND_CMOVE code.

2006-03-27  Andreas Krebbel  <krebbel1@de.ibm.com>

        * config/s390/s390-protos.h (s390_hard_regno_mode_ok,
        s390_class_max_nregs): New function prototypes.
        * config/s390/s390.c (REGNO_PAIR_OK): New macro.
        (s390_hard_regno_mode_ok, s390_class_max_nregs): New functions.
        * config/s390/s390.h (HARD_REGNO_NREGS, HARD_REGNO_MODE_OK,
        CLASS_MAX_NREGS): Macro bodies replaced by function calls.

2006-03-26  Geoffrey Keating  <geoffk@apple.com>

        * dwarf2out.c (add_location_or_const_value_attribute): Call
        tree_add_const_value_attribute if nothing else works.
        (reference_to_unused): New.
        (rtl_for_decl_init): Use reference_to_unused to decide whether
        to output an initializer.

2006-03-27  Alan Modra  <amodra@bigpond.net.au>

        PR target/26459
        * config/rs6000/rs6000.md (DF reg move peephole): Prevent
        peephole removing spe frob_di_df_2.

2006-03-26  Sebastian Pop  <pop@cri.ensmp.fr>

        * tree-data-ref.c: Rename DDR_SIZE_VECT to DDR_NB_LOOPS.
        (subscript_dependence_tester_1): Declared.
        (print_dir_vectors, print_dist_vectors): New.
        (debug_data_dependence_relation): New.
        (dump_data_dependence_relation): Print more details.
        (initialize_data_dependence_relation): Initialize DDR_LOOP_NEST.
        (analyze_subscript_affine_affine): Don't ICE when gcd_alpha_beta is 0.
        (save_dist_v, save_dir_v, add_outer_distances,
        build_classic_dist_vector_1): New.
        (build_classic_dist_vector): Rewrite to work on DDR_LOOP_NEST.
        Don't test for lambda_vector_lexico_pos.
        (same_access_functions, add_multivariate_self_dist,
        add_other_self_distances, dir_from_dist): New.
        (build_classic_dir_vector): Replace implementation almost identical to
        build_classic_dist_vector with a walk of DDR_DIST_VECTS with a call to
        dir_from_dist.
        (subscript_dependence_tester_1): New.
        (subscript_dependence_tester): Handle the lexicographically negative
        distance vectors by recomputing the dependence relation.
        (compute_affine_dependence): Remove parameter loop_nest_depth.
        (compute_self_dependence): Don't call compute_subscript_distance.
        (compute_all_dependences): Remove parameters nb_loops, loop_nest_depth.
        Add a parameter for the loop_nest.
        (find_loop_nest_1, find_loop_nest): New.
        (compute_data_dependences_for_loop): Compute the loop nest, and give
        up if the nest is not well formed.
        * tree-data-ref.h (loop_p): New.
        (struct data_dependence_relation): Replace size_vect field with
        loop_nest, a vec of loops.
        (DDR_SIZE_VECT): Renamed DDR_NB_LOOPS.
        (DDR_LOOP_NEST): New.
        (print_dir_vectors, print_dist_vectors,
        debug_data_dependence_relation): Declared.
        (index_in_loop_nest): New.
        * tree-vect-analyze.c (vect_analyze_data_ref_dependence): Use
        DDR_LOOP_NEST and index_in_loop_nest to determine the dependence
        distance.

2006-03-25  Adam Nemet  <anemet@caviumnetworks.com>

        * simplify-rtx.c (simplify_relational_operation): Call
        simplify_relational_operation_1 even if mode is VOIDmode.

2006-03-25  Daniel Berlin  <dberlin@dberlin.org>

        PR tree-optimization/26804
        * tree.h (DECL_CALL_CLOBBERED): New macro.
        (tree_decl_common): Add call_clobbered_flag.
        * tree-flow-inline.h (is_call_clobbered): Use DECL_CALL_CLOBBERED.
        (mark_call_clobbered): Set DECL_CALL_CLOBBERED.
        (clear_call_clobbered): Clear DECL_CALL_CLOBBERED.
        (mark_non_addressable): Ditto.
        * tree-ssa.c (verify_call_clobbered): New function.
        (verify_alias_info): Use it.
        * tree-pass.h (pass_reset_cc_flags): New prototype.
        * tree-ssa-alias.c (pass_reset_cc_flags): New structure.
        (reset_cc_flags): New function.
        * passes.c (init_optimization_passes): Call reset_cc_flags after
        initializing referenced_vars.

2006-03-25  Uros Bizjak  <uros@kss-loka.si>
            Roger Sayle  <roger@eyesopen.com>

        PR middle-end/26717
        * fold-const.c (fold_binary) [RDIV_EXPR]: Do not optimize A / A
        to 1.0 for non-real operands. Implement A / A optimization for
        complex operands.

2006-03-25  H.J. Lu  <hongjiu.lu@intel.com>

        * config/i386/i386.c (size_cost): Correct the comment for
        cost of storing fp registers.
        (i386_cost): Likewise.
        (i486_cost): Likewise.
        (pentium_cost): Likewise.
        (pentiumpro_cost): Likewise.
        (k6_cost): Likewise.
        (athlon_cost): Likewise.
        (k8_cost): Likewise.
        (pentium4_cost): Likewise.
        (nocona_cost): Likewise.
        (generic64_cost): Likewise.
        (generic32_cost): Likewise.

2006-03-24  Denis Chertykov  <denisc@overta.ru>

        * config/avr/avr-protos.h (extra_constraint): Delete.
        (extra_constraint_Q): New declaration.
        * config/avr/constraints.md: New file.
        * config/avr/avr.md: Include it.
        (REG_X, REG_Y, REG_Z, REG_W): New constants.
        (TMP_REGNO, ZERO_REGNO): Likewise.
        (UNSPEC_STRLEN, UNSPEC_INDEX_JMP): Likewise.
        * config/avr/avr.c (avr_reg_class_from_letter): Delete.
        (extra_constraint): Delete.
        (extra_constraint_Q): Test for memory constraint 'Q'.
        * config/avr/avr.h (REG_X,REG_Y,REG_Z,REG_W): Delete.
        (REG_CLASS_FROM_LETTER): Delete.
        (CONST_OK_FOR_LETTER_P): Delete.
        (CONST_DOUBLE_OK_FOR_LETTER_P): Delete.
        (EXTRA_CONSTRAINT): Delete.
        (TMP_REGNO): Delete.
        (ZERO_REGNO): Delete.

2006-03-24  Jeff Law  <law@redhat.com>

        * tree-ssa-dom.c (propagate_rhs_into_lhs): Don't call update_stmt
        directly.  Call mark_new_vars_to_rename slightly earlier.

2006-03-24  Geoffrey Keating  <geoffk@apple.com>

        * dwarf2out.c (is_c_family): Understand new DWARF3 language types.
        (is_cxx): Likewise.
        (gen_compile_unit_die): Use new language types for Objective-C and
        Objective-C++.
        (dwarf2out_decl): Use is_cxx rather than testing explicitly against
        DW_LANG_C_plus_plus.

        PR 26793
        * config/t-darwin (crt3.o): Work around bug 26840.
        * config/darwin-crt3.c: Rewrite.
        * config/darwin.h (STARTFILE_SPEC): Don't use -l for crt3.o.

2006-03-24  Carlos O'Donell  <carlos@codesourcery.com>

        * doc/invoke.texi: Document -femit-class-debug-always
        * common.opt: Add -femit-class-debug-always.

2006-03-24  Andreas Krebbel  <krebbel1@de.ibm.com>

        * config/s390/s390.c (s390_decompose_address): Allow SImode for
        index and base register.
        (s390_expand_plug_operand, legitimate_address_p, preferred_la_operand_p,
        print_operand_address, print_operand): Replaced REG_OK_FOR_BASE_STRICT_P
        with REGNO_OK_FOR_BASE_P and REG_OK_FOR_INDEX_STRICT_P with
        REGNO_OK_FOR_INDEX_P.
        * config/s390/s390.h (REGNO_OK_FOR_INDEX_P): Replaced check with
        ADDR_REGNO_P.
        (REG_OK_FOR_INDEX_NONSTRICT_P, REG_OK_FOR_BASE_NONSTRICT_P,
        REG_OK_FOR_INDEX_STRICT_P, REG_OK_FOR_BASE_STRICT_P, REG_OK_FOR_INDEX_P,
        REG_OK_FOR_BASE_P): Definitions removed.

2006-03-24  Jakub Jelinek  <jakub@redhat.com>

        PR middle-end/26611
        * gimplify.c (gimplify_bind_expr): Only call omp_add_variable on
        non-global variables that don't have DECL_SEEN_IN_BIND_EXPR_P bit
        set yet or weren't marked as local yet.

2006-03-24  Bernd Schmidt  <bernd.schmidt@analog.com>

        * regrename.c (scan_rtx_address): Initialize a variable to shut up
        the compiler.

2006-03-24  Eric Botcazou  <ebotcazou@adacore.com>

        * config/rs6000/rs6000-protos.h (rs6000_offsettable_memref_p): Declare.
        (rs6000_legitimate_small_data_p): Delete.
        * config/rs6000/rs6000.c (rs6000_offsettable_memref_p): New predicate.
        (rs6000_legitimate_small_data_p): Rename to legitimate_small_data_p
        and make static.  Add forward declaration.  Update uses.
        (rs6000_split_multireg_move): Use rs6000_offsettable_memref_p instead
        of offsettable_memref_p.
        * config/rs6000/rs6000.md (movdf_hardfloat32): Revert 2005-08-23 fix.
        Use rs6000_offsettable_memref_p instead of a less accurate predicate.

2006-03-24  Jeff Law  <law@redhat.com>

        * tree-ssa-dom.c (propagate_rhs_into_lhs): Temporarily work
        around bug in immediate-use iterator.

2006-03-24  Alan Modra  <amodra@bigpond.net.au>

        PR target/26607
        * config/rs6000/darwin-ldouble.c: Don't compile when __NO_FPRS__
        or __LITTLE_ENDIAN__.

2006-03-23  J"orn Rennecke <joern.rennecke@st.com>

        * config/sh/divtab-sh4.c, config/sh/divcost-analysis: New files.
        * config/sh/lib1funcs.asm (div_table): Add !__SH5__ variant.
        * config/sh/t-sh (LIB1ASMFUNCS): Add _div_table.
        * config/sh/sh.opt (mdiv=): Amend description.
        * config/sh/sh.h (TARGET_DIVIDE_CALL_DIV1): New macro.
        (TARGET_DIVIDE_CALL_FP, TARGET_DIVIDE_CALL_TABLE): Likewise.
        (sh_divide_strategy_e): Add new members SH_DIV_CALL_DIV1,
        SH_DIV_CALL_FP, SH_DIV_CALL_TABLE and SH_DIV_INTRINSIC.
        (OVERRIDE_OPTIONS): Also process sh_div_str for TARGET_SH1.
        Calculate sh_divsi3_libfunc using TARGET_DIVIDE_* macros.
        * config/sh/sh.md (udivsi3_i4_int, divsi3_i4_int): New patterns.
        (udivsi3, divsi3): Use them.  Check TARGET_DIVIDE_CALL_TABLE /
        TARGET_DIVIDE_CALL_FP.

2006-03-23  Maxim Kuvyrkov  <mkuvyrkov@ispras.ru>

        * haifa-sched.c (choose_ready): Fix type of the local variable.
        Move local variables.  Add comment.
        (check_reg_live): Change signature.  Make callable from debugger.
        * sched-int.h (check_reg_live): Update signature.
        * sched-ebb.c (check_reg_live): Update parameters.
        * sched-rgn.c (check_reg_live): Ditto.
        (region_head_or_leaf_p): Check pointer before dereferencing.
        * config/ia64/ia64.c (ia64_set_sched_flags): Disable data speculation
        before reload on optimization levels below 1.

2006-03-23  Richard Henderson  <rth@redhat.com>

        * config/alpha/alpha.c (alpha_legitimate_constant_p): Reject
        tls symbols.

        PR target/26347
        * config/alpha/predicates.md (local_symbolic_operand): Reject
        weak symbols.

2006-03-23  Andrew Pinski  <pinskia@physics.uc.edu>

        PR tree-opt/26795
        * tree-ssa-pre.c (create_value_expr_from): Don't reject
        expressions which have overflowed constants.

2006-03-23  Zdenek Dvorak <dvorakz@suse.cz>

        * cse.c (cse_end_of_basic_block): Do not check for LOOP_END note.

2006-03-23  Zdenek Dvorak <dvorakz@suse.cz>

        * cfgloopmanip.c (create_loop_notes): Removed.
        * final.c (final_scan_insn): Do not handle loop notes.
        * jump.c (squeeze_notes): Ditto.
        * cfglayout.c (skip_insns_after_block,
        duplicate_insn_chain): Ditto.
        * cfgcleanup.c (rest_of_handle_jump2): Do not call
        create_loop_notes.
        * cfgloop.h (create_loop_notes): Declaration removed.

2006-03-23  Richard Sandiford  <richard@codesourcery.com>

        * varasm.c (output_constant_pool): Restore fnname and fndecl
        arguments.
        (assemble_start_function): Adjust call accordingly.
        (assemble_end_function): Likewise.

2006-03-22  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>

        PR mudflap/26789
        * tree-mudflap.c (mudflap_finish_file): Skip erroneous objects.

        PR mudflap/26790
        * tree-mudflap.c (mf_xform_derefs_1): Return early on error_mark_node.

2006-03-22  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>

        PR driver/22600
        * system.h (ICE_EXIT_CODE): New macro.
        * diagnostic.c (diagnostic_count_diagnostic): Exit with ICE_EXIT_CODE.
        (diagnostic_action_after_output): Likewise.
        * gcc.c (fatal_ice): New function.
        (execute): Use it instead of fatal.
        (fancy_abort): Likewise.
        * doc/invoke.texi (-pass-exit-codes): Document return code for ICEs.

2006-03-22  Jeff Law  <law@redhat.com>

        * loop-unroll.c (analyze_iv_to_split_insn): Handle
        iv_analyze_result returning false.

2006-03-22  Jie Zhang  <jie.zhang@analog.com>

        * config/bfin/bfin.h (ASM_FORMAT_PRIVATE_NAME): Remove.

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

        PR middle-end/26084
        * except.c (duplicate_eh_regions_0): New.
        (duplicate_eh_region_1): Duplicate the children of the node as
        well as the node itself.  Link them up properly.
        (duplicate_eh_region_2): Merge into ...
        (duplicate_eh_regions): ... here.  Take copy_region argument, and
        copy only a sub-tree if asked.  Simplify copying and fixup.
        (eh_region_outer_p): New.
        * except.h (duplicate_eh_regions): Update decl.
        (eh_region_outer_p): Declare.
        * omp-low.c (lower_omp_single): Fix eh region placement wrt OMP_RETURN.
        (lower_omp_master): Likewise.
        (lower_omp_ordered): Likewise.
        * tree-cfg.c (struct move_stmt_d): Add new_label_map.
        (move_stmt_r): Use it to remap labels.  Handle recursion vs
        remap_decls_p properly.
        (move_block_to_fn): Pass in new_label_map.  Remap RESX_EXPR.
        (find_outermost_region_in_block): New.
        (new_label_mapper): New.
        (move_sese_region_to_fn): Copy eh information to the new function
        properly.
        * tree-inline.c (copy_cfg_body): Update for new duplicate_eh_regions
        argument.
        * tree-pretty-print.c (dump_generic_node): Dump RESX_EXPR region
        number.

2006-03-22  Richard Sandiford  <richard@codesourcery.com>

        * doc/md.texi (-mshared): Mention that -mshared code can be linked
        into shared libraries.

2006-03-22  Richard Sandiford  <richard@codesourcery.com>

        * doc/md.texi: Refer to i386/constraints.md instead of
        i386/predicates.md.
        * config/i386/constraints.md: New file, extracted from...
        * config/i386/predicates.md: ...here.
        * config/i386/i386.md: Include constraints.md.

2006-03-21  Jason Merrill  <jason@redhat.com>

        * builtins.c (expand_builtin_fork_or_exec): Fix pasto.

        PR middle-end/20297
        * expr.c (init_block_move_fn): Force default visibility.
        (init_block_clear_fn): Likewise.
        * builtins.c (expand_builtin_fork_or_exec): Likewise.
        * targhooks.c (default_external_stack_protect_fail): Likewise.

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

        * config/mips/predicates.md (const_call_insn_operand): Allow direct
        calls to locally-defined functions if TARGET_ABSOLUTE_ABICALLS.
        * config/mips/mips.md (jal_macro): Test TARGET_ABSOLUTE_ABICALLS.
        Use TARGET_OLDABI instead of !TARGET_NEWABI.
        (loadgp): Use mips_current_loadgp_style.
        (loadgp_noshared): New pattern.
        (sibcall_internal): Use MIPS_CALL.
        (sibcall_value_internal): Likewise.
        (sibcall_value_multiple_internal): Likewise.
        (call_internal): Likewise.
        (call_value_internal): Likewise.
        (call_value_multiple_internal): Likewise.
        (call_split): Use MIPS_CALL and add an 'S' constraint.
        (call_value_split): Likewise.
        (call_value_multiple_split): Likewise.
        * config/mips/mips.opt (-mabicalls): Tweak docstring.
        (-mshared): New option.
        * config/mips/mips-protos.h (mips_loadgp_style): New enum.
        (mips_current_loadgp_style): Declare.
        * config/mips/mips.c (mips_classify_symbol): Avoid using
        SYMBOL_GOT_LOCAL if TARGET_ABSOLUTE_ABICALLS.  Use SYMBOL_GENERAL
        rather than SYMBOL_GOT_GLOBAL for locally-binding symbols if
        TARGET_ABSOLUTE_ABICALLS.
        (override_options): Adjust comments.  Improve the warning that is
        issued when -mabicalls and -G are used together.
        (mips_file_start): Remove comment.
        (mips_current_loadgp_style): New function.
        (mips_gnu_local_gp): New variable.
        (mips_emit_loadgp): Use mips_current_loadgp_style.  Handle
        LOADGP_ABSOLUTE.
        (mips_output_function_prologue): Use mips_current_laodgp_style.
        (mips_expand_prologue): Call mips_emit_loadgp before emitting
        the cprestore instruction.
        (mips_extra_live_on_entry): Fix reversed test.  Don't make $25
        live for TARGET_ABSOLUTE_ABICALLS.
        * config/mips/mips.h (TARGET_ABSOLUTE_ABICALLS): New macro.
        (ASM_SPEC): Pass down -mshared and -mno-shared.
        (MIPS_CALL): New macro.
        * config/mips/netbsd.h (TARGET_OS_CPP_BUILTINS): Remove __ABICALLS__
        definition.
        * doc/invoke.texi (-mabicalls): Update documentation.
        (-mshared): Document.

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

        * config/ia64/unwind-hpux.c: New file.
        * config/ia64/t-hpux: Add unwind-hpux.c to libgcc.

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

        PR libgomp/26384
        * config/pa/pa64-hpux.h (LIB_SPEC): Fix for -mt and -pthread options.

2006-03-21  Jeff Law  <law@redhat.com>

        * tree-vrp.c (extract_range_from_unary_expr): Derive ranges for
        type conversions of a VR_VARYING source to a wider type.

2006-03-21  Eric Botcazou  <ebotcazou@libertysurf.fr>

        * config.gcc (i[34567]86-*-solaris2*): Add config/sol2-10.h to
        tm_file on Solaris 10 and later.
        (sparc64-*-solaris2*): Likewise.
        (sparc-*-solaris2*): Likewise.
        * config/sol26.h: Rename to config/sol2-6.h.
        * config/sol2-10.h: New file.

2006-03-21  Andrew Pinski  <pinskia@physics.uc.edu>

        PR tree-opt/26781
        * tree-ssa-pre.c (create_component_ref_by_pieces):
        Handle STRING_CST.

2006-03-21  Jakub Jelinek  <jakub@redhat.com>

        PR c++/26690
        * tree.c (get_callee_fndecl): If CALL is error_mark_node,
        return it immediately.

2006-03-21  Michael Matz  <matz@suse.de>

        * genautomata.c (<struct state>, num_out_arcs, presence_signature):
        New members.
        (remove_arc, add_arc): Update num_out_arcs member.
        (set_out_arc_insns_equiv_num): Returns nothing instead of number
        of out arcs.
        (cache_presence): New function.
        (compare_states_for_equiv): New function.
        (state_is_differed): Don't take number of outargs, adjust callers.
        Use new invariant for speeding up.
        (init_equiv_class): Create initial classes based on sorted
        input.
        (partition_equiv_class): Don't track out_arcs_num.
        (evaluate_equiv_classes): Call cache_presence on all states and
        sort them.

2006-03-21  Bernd Schmidt  <bernd.schmidt@analog.com>

        * config/bfin/bfin-protos.h (bfin_dsp_memref_p): Declare.
        * config/bfin/bfin.c (bfin_dsp_memref_p): New function.
        (bfin_valid_reg_p): Test for pseudos explicitly and use only
        REGNO_MODE_CODE_OK_FOR_BASE_P.  New args MODE and OUTER_CODE; all
        callers changed.
        * config/bfin/bfin.h (PREG_P): Use P_REGNO_P.
        (IREG_P, P_REGNO_P, I_REGNO_P): New macros.
        (enum reg_class, REG_CLASS_CONTENTS): Add IPREGS.
        (BASE_REG_CLASS, REG_OK_FOR_BASE_P, REG_OK_FOR_INDEX_P,
        REGNO_OK_FOR_BASE_STRICT_P, REGNO_OK_FOR_BASE_NONSTRICT_P): Delete
        macros.
        (IREG_POSSIBLE_P, MODE_CODE_BASE_REG_CLASS,
        REGNO_MODE_CODE_OK_FOR_BASE_P): New macros.
        (REGNO_REG_CLASS): ARGP is in PREGS.
        * config/bfin/bfin.md (movhi_insn): Allow for addresses containing
        IREGS.
        (zero_extendhisi2, extendhisi2): Likewise; changed to define_and_split
        to deal with those addresses.
        * addresses.h: New file.
        * caller-save.c: Include "addresses.h".
        (init_caller_save): Use new base_reg_class function.
        * rtl-factoring.c: Include "addresses.h".
        (recompute_gain_for_pattern_seq): Use new function ok_for_base_p_1.
        * recog.c: Include "addresses.h".
        (preprocess_constraints): Use new base_reg_class function.
        * regrename.c: Include "addresses.h".
        (scan_rtx_address): Use new regno_ok_for_base_p and base_reg_class
        functions.  Keep track of a new var INDEX_CODE to compute valid
        classes.
        (replace_oldest_value_addr): Likewise.
        (replace_oldest_value_mem): Use base_reg_class.
        * reload.c: Include "addresses.h".
        (REGNO_MODE_OK_FOR_BASE_P, REG_MODE_OK_FOR_BASE_P): Delete macros.
        (find_reloads): Use new base_reg_class function.
        (find_reloads_address): Likewise; also use regno_ok_for_base_p.
        (find_reloads_address_1): Likewise. New args OUTER_CODE and INDEX_CODE;
        all callers and prototype changed.
        * reload1.c: Include "addresses.h".
        (maybe_fix_stack_asms): Use base_reg_class.
        * regclass.c: Include "addresses.h".
        (ok_for_index_p_nonstrict, ok_for_base_p_nonstrict): New functions.
        (init_reg_autoinc): Use new base_reg_class function.
        (record_reg_classes): Likewise.
        (record_address_regs): Delete arg CLASS; add args CONTEXT, MODE,
        OUTER_CODE and INDEX_CODE.  All callers and prototype changed.
        Use new args to compute necessary class.

        * Makefile.in (regclass.o, reload.o, reload1.o, caller-save.o, recog.o,
        regrename.o, rtl-factoring.o): Update dependencies.
        * doc/tm.texi (MODE_CODE_BASE_REG_CLASS): Document.
        (REGNO_MODE_CODE_OK_FOR_BASE_P): Likewise.
        (REG_OK_FOR_BASE_P, REG_MODE_OK_FOR_BASE_P, REG_MODE_OK_FOR_REG_BASE_P,
        REG_OK_FOR_INDEX_P): Delete documentation.

2006-03-21  Alexey Starovoytov  <alexey.starovoytov@sun.com>

        * config.gcc (sparc-*-solaris2*): Change the default CPU setting
        from V7 to V9 for Solaris 7 and above.

2006-03-21  Toon Moene  <toon@moene.indiv.nluug.nl>

        * doc/invoke.texi: Document new flag -fargument-noalias-anything.
        * tree-ssa-alias.c (may_alias_p): If flag_argument_noalias > 2,
        argument pointers may not alias any other storage.
        * common.opt: Define option -fargument-noalias-anything.
        * tree-ssa-structalias.c (intra_create_variable_infos): Fortran
        alias semantics is specified by flag_argument_noalias > 2.

2006-03-20  Jeff Law  <law@redhat.com>

        * tree-pass.h (pass_phi_only_copy_prop): Delete.
        (pass_phi_only_cprop): Declare.
        * passes.c (init_optimization_passes): Replace pass_phi_only_copy_prop
        with phi_only_cprop
        * tree-ssa-dom.c (degenerate_phi_result): New function.
        (remove_stmt_or_phi, get_lhs_or_phi_result): Likewise.
        (get_rhs_or_phi_arg, propagate_rhs_into_lhs): Likewise.
        (eliminate_const_or_copy, eliminate_degenerate_phis_1): Likewise.
        (eliminate_degenerate_phis): Likewise.
        (pass_phi_only_cprop): New pass descriptor.
        * tree-ssa-copy.c (init_copy_prop): Lose PHIS_ONLY argument and
        support code.  Callers updated.
        (execute_copy_prop, do_copy_prop): Likewise and corresponding changes.
        (store_copy_prop): Likewise.
        (do_phi_only_copy_prop, pass_phi_only_copy_prop): Remove.

2006-03-20  Jason Merrill  <jason@redhat.com>

        PR c++/21764
        * c-pragma.c (visstack): Move out of handle_pragma_visibility.
        (push_visibility, pop_visibility): Likewise.
        * c-pragma.h: Declare them.

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

        * config/sh/sh.c (untangle_mova): Initialize n_addr and n_target.

        * config/sh/sh.c (find_regmode_weight): Change the type of the first
        parameter and use get_ebb_head_tail.
        (sh_md_init_global): Adjust uses of find_regmode_weight.

2006-03-20  Steven Bosscher  <stevenb.gcc@gmail.com>

        * function.h (struct function) <x_tail_recursion_reentry>:
        Rename to x_stack_check_probe_note.
        (tail_recursion_reentry): Rename to stack_check_probe_note.
        * function.c: Replace tail_recursion_reentry with
        stack_check_probe_note everywhere.
        (expand_function_start): Only emit a note for
        stack_check_probe_note with -fstack-protect.
        * stmt.c (expand_case): Don't emit NOTE_INSN_DELETED notes.

        * emit-rtl.c (remove_unnecessary_notes): Remove.
        (pass_remove_unnecessary_notes): Remove.
        * rtl.h (remove_unnecessary_notes): Remove prototype.
        * final.c (final_start_function): Don't call remove_unnecessary_notes.
        * tree-pass.h (pass_remove_unnecessary_notes): Remove.
        * passes.c (pass_remove_unnecessary_notes): Don't run it.

2006-03-20  Andrew Pinski  <pinskia@physics.uc.edu>

        PR tree-opt/26629
        * tree-ssa-pre (phi_translate): Handle ARRAY_REF's operands.
        (valid_in_set): Handle ARRAY_REF.
        Change "if min_variant or VH" to asserts.
        (create_component_ref_by_pieces): Handle ARRAY_REF.
        (create_expression_by_pieces): Likewise.
        (can_PRE_operation): ARRAY_REFs can now be PRE'd.

2006-03-20  David Edelsohn  <edelsohn@gnu.org>

        * genpreds.c (write_insn_extra_address_constraint): Argument `c'
        is operand of switch, not str[0].

2006-03-20  Alan Modra  <amodra@bigpond.net.au>

        * config/rs6000/rs6000.c (rs6000_handle_option): Use
        TARGET_NO_FP_IN_TOC inside #ifdef TARGET_USES_SYSV4_OPT too.

2006-03-19  David Edelsohn  <edelsohn@gnu.org>

        * genpreds.c (write_tm_preds_h): Add semicolon and newline at
        end of insn_extra_address_constraint declaration.

2006-03-19  David Edelsohn  <edelsohn@gnu.org>

        * config/rs6000/rs6000.opt (no-fp-in-toc): Use Var not Mask.
        (no-sum-in-toc): Same.
        * config/rs6000/rs6000.c (rs6000_handle_option): Use new
        variables.
        * config/rs6000/sysv4.h (SUBTARGET_OVERRIDE_OPTIONS): Set
        NO_FP_IN_TOC for -fPIC instead of mask.

        * config/rs6000/t-aix43 (T_ADAFLAGS): Delete.
        (BOOT_LDFLAGS): Delete.
        (LDFLAGS): Delete.
        * config/rs6000/t-aix52: Same.

        * config/rs6000/rs6000.md (store_multiple_power): Delete.
        (stmsi[345678]_power): New.

2006-03-17  Steve Ellcey  <sje@cup.hp.com>

        * config/ia64/ia64.opt: Add empty line to end of file.

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

        PR middle-end/26721
        * builtins.c (get_pointer_alignment): For component style references
        adjust alignment to the component type alignment.  Make sure
        to adjust alignment for component access of constants.

2006-03-17  David Edelsohn  <edelsohn@gnu.org>

        * config/rs6000/rs6000.md (strlensi): Emit barrier after
        unconditional jump.

2006-03-17  Paul Brook  <paul@codesourcery.com>

        * doc/install.texi: Docuemnt --with-mode.
        * config.gcc: Add --with-mode for arm*-*-*.
        * config/arm/arm.h (OPTION_DEFAULT_SPECS): Add "mode".

2006-03-17  J"orn Rennecke <joern.rennecke@st.com>

        * sh.c (max_labelno_before_reorg): New variable.
        (sh_reorg): Initialize it.
        (find_barrier): Check max_labelno_before_reorg before using
        label_to_alignment.  Take length of explicit alignment insns
        into account.  When seeing a UNSPECV_CONST_END, return it.

        * sh.c (fixup_mova): Set mode of affected label to QImode.
        (untangle_mova): New function.
        (find_barrier): Use it.  Check mode of label before decrementing
        num_mova.
        (sh_reorg): Likewise.
        Set mode of all insns back to VOIDmode.

        * sh.c (MOVA_LABELREF): New macro.
        (mova_p, fixup_mova, sh_reorg): Use it.
        (find_barrier, sh_reorg): Don't count num_mova back to 0 unless
        ADDR_DIFF_VEC matches mova.

2006-03-17  Steven Bosscher  <stevenb.gcc@gmail.com>

        * dwarf2asm.c (dw2_asm_output_offset): Mark 'base' argument
        with ATTRIBUTE_UNUSED.

2006-03-17  Alexandre Oliva  <aoliva@redhat.com>

        * dwarf2out.c (dwarf2out_stack_adjust): Always track the stack
        pointer, instead of assuming it is possible to derive the
        correct args size from a call insn.

2006-03-16  Jan-Benedict Glaw  <jbglaw@lug-owl.de>

        * rtl.h (CONST_INT_P): Define.
        * config/vax/vax.c (print_operand_address): Use CONST_INT_P()
        instead of GET_CODE(x) == CONST_INT.
        (vax_rtx_costs): Likewise.
        (vax_output_int_move): Likewise.
        (vax_output_int_add): Likewise.
        (legitimate_constant_address_p): Likewise.
        (index_term_p): Likewise.
        * config/vax/vax.h (PRINT_OPERAND): Likewise.
        * config/vax/vax.md (and<mode>3): Likewise.
        (ashrsi3): Likewise.
        (extv): Likewise.
        (movstricthi): Likewise.
        (movstrictqi): Likewise.
        (rotrsi3): Likewise.
        (five unnamed insns): Likewise.

2006-03-16  Geoffrey Keating  <geoffk@apple.com>

        * doc/tm.texi (SDB and DWARF): Add extra parameter to
        ASM_OUTPUT_DWARF_OFFSET.  Use @var to indicate metavariables.
        * dwarf2asm.h (dw2_asm_output_offset): Add section parameter.
        * dwarf2asm.c (dw2_asm_output_offset): Add base section parameter.
        Pass to ASM_OUTPUT_DWARF_OFFSET.
        * dwarf2out.c (debug_frame_section): New.
        (output_call_frame_info): Use debug_frame_section.  Pass it to
        dw2_asm_output_offset.
        (output_die): Pass appropriate section to dw2_asm_output_offset.
        (output_compilation_unit_header): Likewise.
        (output_pubnames): Likewise.
        (output_aranges): Likewise.
        (enum dw_val_class): Break dw_val_class_lbl_offset into
        dw_val_class_lineptr and dw_val_class_macptr.
        (add_AT_lbl_offset): Delete.
        (add_AT_lineptr): New.
        (add_AT_macptr): New.
        (AT_lbl): Expect a lineptr or macptr.
        (print_die): Handle dw_val_class_lineptr and dw_val_class_macptr.
        (attr_checksum): Likewise.
        (same_dw_val_p): Likewise.
        (size_of_die): Likewise.
        (value_format): Likewise.
        (output_die): Likewise.
        (dwarf2out_finish): Call add_AT_lineptr and add_AT_macptr instead of
        add_AT_lbl_offset.
        * config/i386/cygming.h (ASM_OUTPUT_DWARF_OFFSET): Add extra parameter.
        * config/i386/i386.c (x86_file_start): Call darwin_file_start.
        * config/darwin-protos.h (darwin_file_start): New.
        (darwin_asm_output_dwarf_offset): New.
        * config/ia64/ia64.h (ASM_OUTPUT_DWARF_OFFSET): Add extra parameter.
        * config/rs6000/rs6000.c (rs6000_darwin_file_start): Call
        darwin_file_start.
        * config/darwin.c (darwin_emit_unwind_label): Don't output label
        if not EH section; simplify.
        (darwin_file_start): New.
        (darwin_asm_output_dwarf_offset): New.
        * config/darwin.h (DEBUG_FRAME_SECTION): In __DWARF segment,
        mark as 'debug'.
        (DEBUG_INFO_SECTION): Likewise.
        (DEBUG_ABBREV_SECTION): Likewise.
        (DEBUG_ARANGES_SECTION): Likewise.
        (DEBUG_MACINFO_SECTION): Likewise.
        (DEBUG_LINE_SECTION): Likewise.
        (DEBUG_LOC_SECTION): Likewise.
        (DEBUG_PUBNAMES_SECTION): Likewise.
        (DEBUG_STR_SECTION): Likewise.
        (DEBUG_RANGES_SECTION): Likewise.
        (FRAME_BEGIN_LABEL): Must start with 'L' in debug section.
        (ASM_OUTPUT_DWARF_OFFSET): New.

2006-03-16  Joseph S. Myers  <joseph@codesourcery.com>

        * config.gcc (tm_defines): Always add to previous value rather
        than replacing it.

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

        * config/mips/predicates.md (splittable_const_int_operand): New,
        split from move_operand.
        (splittable_symbolic_operand): New.
        (move_operand): Add commentary.  Use splittable_const_int_operand.
        Inline mips_atomic_symbolic_constant_p.
        * config/mips/mips.md: Add combine splitters for handling moves
        of splittable_const_int_operands and splittable_symbolic_operands.
        * config/mips/mips-protos.h (mips_atomic_symbolic_constant_p): Delete.
        (mips_split_symbol): Declare.
        (mips_move_integer): Declare.
        * config/mips/mips.c (mips_split_p): Make global.
        (TARGET_MIN_ANCHOR_OFFSET): Override default.
        (TARGET_MAX_ANCHOR_OFFSET): Likewise.
        (TARGET_USE_BLOCKS_FOR_CONSTANT_P): Likewise.
        (TARGET_USE_ANCHORS_FOR_SYMBOL_P): Likewise.
        (mips_offset_within_object_p): Handle block symbols.
        (mips_atomic_symbolic_constant_p): Delete.
        (mips_cannot_force_const_mem): Return false for constants that
        mips_legitimize_move can handle.
        (mips_use_blocks_for_constant_p): New function.
        (mips_split_symbol): Make global.
        (mips_move_integer): Likewise.  Add a temporary register argument.
        (mips_legitimize_const_move): Use splittable_const_int_operand and
        splittable_symbolic_operand.
        (mips_use_anchors_for_symbol_p): New function.
        * config/mips/mips.h: Protect externs with !USED_FOR_TARGET.
        (mips_split_p): Declare.

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

        * config.gcc (mips64*-*-linux*): Keep existing tm_defines.
        (mips*-*-linux*): Likewise.

2006-03-16  Roger Sayle  <roger@eyesopen.com>
            Daniel Speyer  <dspeyer@wam.umd.edu>

        PR middle-end/18259
        * tree-dump.c (dump_real): New function.
        (dequeue_and_dump) <REAL_CST>: Use it to dump FP constants.
        * Makefile.in (REAL_H): New macro for dependencies on real.h.
        (tree-dump.o): Add $(REAL_H) to the dependencies.

2006-03-16  Roger Sayle  <roger@eyesopen.com>

        PR middle-end/21781
        * real.c (real_from_string): If the mantissa is zero, don't bother
        parsing the exponent as the result should always be zero.

2006-03-16  Andreas Krebbel  <krebbel1@de.ibm.com>

        * simplify-rtx.c (simplify_plus_minus): Simplify within CONST terms.

2006-03-16  Maxim Kuvyrkov <mkuvyrkov@ispras.ru>

        * config/ia64/ia64.c (stops_p): Added explicit initialization.
        (ia64_first_cycle_multipass_dfa_lookahead_guard_spec,
        ia64_h_i_d_extended, ia64_set_sched_flags, ia64_speculate_insn,
        ia64_needs_block_p, ia64_gen_check, ia64_sched_init_global,
        ia64_sched_finish_global): New static functions to implement
        hooks from gcc_target.sched.
        (spec_check_no, max_uid, pending_data_specs): New static variables.
        (ia64_mode_to_int, ia64_gen_spec_insn, ia64_spec_check_p,
        ia64_spec_check_src_p): New static functions.
        (ia64_adjust_cost): Renamed to ia64_adjust_cost_2.
        (TARGET_SCHED_ADJUST_COST): Removed.
        (TARGET_SCHED_ADJUST_COST_2, TARGET_SCHED_INIT_GLOBAL,
        TARGET_SCHED_FINISH_GLOBAL, TARGET_SCHED_H_I_D_EXTENDED,
        TARGET_SCHED_SPECULATE_INSN, TARGET_SCHED_NEEDS_BLOCK_P,
        TARGET_SCHED_GEN_CHECK,
        TARGET_SCHED_FIRST_CYCLE_MULTIPASS_DFA_LOOKAHEAD_GUARD_SPEC,
        TARGET_SCHED_SET_SCHED_FLAGS): New macros.
        (update_set_flags, group_barrier_needed, set_src_needs_barrier):
        Fixed to handle speculation checks.
        (rtx_needs_barrier): Fixed to handle speculative loads and
        their checks.
        (ia64_variable_issue): Added code to count speculative loads and their
        checks.
        (ia64_first_cycle_multipass_dfa_lookahead_guard): Fixed to handle
        speculative loads.
        (enum SPEC_MODES, enum SPEC_GEN_LD_MAP, SPEC_GEN_CHECK_OFFSET):
        New enumerations.
        (SPEC_GEN_EXTEND_OFFSET, SPEC_N, SPEC_GEN_CHECK_MUTATION_OFFSET):
        New constants.
        (ia64_ld_address_bypass_p): Fixed to handle speculative loads.
        (ia64_reorg): Reset stops_p to NULL after it is freed.
        * config/ia64/ia64.md (UNSPEC_LDA, UNSPEC_LDS, UNSPEC_LDSA,
        UNSPEC_LDCCLR, UNSPEC_CHKACLR, UNSPEC_CHKS): New constants.
        (itanium_class): chk_s renamed to chk_s_i.  New constants: chk_s_f,
        chk_a.
        (data_speculative, control_speculative, check_load): New attributes.
        (mov<mode>_advanced, mov<mode>_speculative,
        mov<mode>_speculative_advanced, zero_extend<mode>di2_advanced,
        zero_extend<mode>di2_speculative,
        zero_extend<mode>di2_speculative_advanced): New patterns for
        data and control speculative loads.
        (mov<mode>_clr, zero_extend<mode>di2_clr): New patterns for
        check loads.
        (advanced_load_check_clr_<mode>, speculation_check_<mode>):
        New pattern for data and control speculation checks.
        (MODE, MODE_FOR_EXTEND, output_a, output_s, output_sa, output_c_clr,
        ld_reg_constr, ldc_reg_constr, chk_reg_constr, mem_constr,
        reg_pred_prefix, ld_class, chka_class, chks_class, attr_yes):
        Auxiliary definitions for the patterns.
        * config/ia64/itanium1.md (1_fldc, 1_fldpc, 1_ldc, 1_chk_s_f, 1_chk_a,
        1b_fldc, 1b_fldpc, 1b_ldc, 1b_chk_s_f, 1b_chk_a): New resource
        constraints.
        (1_fld, 1_fldp, 1_ld, 1b_fld, 1b_fldp, 1b_ld): Add a condition
        for speculation.
        (1_chk_s, 1b_chk_s): Renamed to 1_chk_s_i, 1b_chk_s_i.
        * config/ia64/itanium2.md (2_flda, 2_fldc, 2_fldpc, 2_ldc, 2_chk_s_f,
        2_chk_a, 2b_flda, 2b_fldc, 2b_fldpc, 2b_ldc, 2b_chk_s_f, 2b_chk_a):
        New resource constraints.
        (2_fld, 2_fldp, 2_ld, 2b_fld, 2b_fldp, 2b_ld): Add a condition
        for speculation.
        (2_chk_s, 2b_chk_s): Renamed to 2_chk_s_i, 2b_chk_s_i.
        * config/ia64/ia64.opt (msched-br-data-spec, msched-ar-data-spec,
        msched-control-spec, msched-br-in-data-spec, msched-ar-in-data-spec,
        msched-in-control-spec, msched-ldc, msched-control-ldc,
        msched-spec-verbose, msched-prefer-non-data-spec-insns,
        msched-prefer-non-control-spec-insns,
        msched-count-spec-in-critical-path): New flags to tune speculative
        scheduling.
        * doc/invoke.texi (msched-br-data-spec, msched-ar-data-spec,
        msched-control-spec, msched-br-in-data-spec, msched-ar-in-data-spec,
        msched-in-control-spec, msched-ldc, msched-control-ldc,
        msched-spec-verbose, msched-prefer-non-data-spec-insns,
        msched-prefer-non-control-spec-insns,
        msched-count-spec-in-critical-path): Document new flags.

2006-03-16  Maxim Kuvyrkov <mkuvyrkov@ispras.ru>

        * target.h (struct spec_info_def): New opaque declaration.
        (struct gcc_target.sched): New fields: adjust_cost_2, h_i_d_extended,
        speculate_insn, needs_block_p, gen_check,
        first_cycle_multipass_dfa_lookahead_guard_spec, set_sched_flags.
        * target-def.h (TARGET_SCHED_ADJUST_COST_2,
        TARGET_SCHED_H_I_D_EXTENDED, TARGET_SCHED_SPECULATE_INSN,
        TARGET_SCHED_NEEDS_BLOCK_P, TARGET_SCHED_GEN_CHECK,
        TARGET_SCHED_FIRST_CYCLE_MULTIPASS_DFA_LOOKAHEAD_GUARD_SPEC,
        TARGET_SCHED_SET_SCHED_FLAGS): New macros to initialize fields in
        gcc_target.sched.
        (TARGET_SCHED): Use new macros.
        * rtl.h (copy_DEPS_LIST_list): New prototype.
        * sched-int.h (struct sched_info): Change signature of new_ready field,
        adjust all initializations. New fields: add_remove_insn,
        begin_schedule_ready, add_block, advance_target_bb, fix_recovery_cfg,
        region_head_or_leaf_p.
        (struct spec_info_def): New structure declaration.
        (spec_info_t): New typedef.
        (struct haifa_insn_data): New fields: todo_spec, done_spec, check_spec,
        recovery_block, orig_pat.
        (glat_start, glat_end): New variables declaraions.
        (TODO_SPEC, DONE_SPEC, CHECK_SPEC, RECOVERY_BLOCK, ORIG_PAT):
        New access macros.
        (enum SCHED_FLAGS): New constants: SCHED_RGN, SCHED_EBB,
        DETACH_LIFE_INFO, USE_GLAT.
        (enum SPEC_SCHED_FLAGS): New enumeration.
        (NOTE_NOTE_BB_P): New macro.
        (extend_dependency_caches, xrecalloc, unlink_bb_notes, add_block,
        attach_life_info, debug_spec_status, check_reg_live): New functions.
        (get_block_head_tail): Change signature to get_ebb_head_tail, adjust
        all uses in ddg.c, modulo-sched.c, haifa-sched.c, sched-rgn.c,
        sched-ebb.c
        (get_dep_weak, ds_merge): Prototype functions from sched-deps.c .
        * ddg.c (get_block_head_tail): Adjust all uses.
        * modulo-sched.c (get_block_head_tail): Adjust all uses.
        (sms_sched_info): Initialize new fields.
        (contributes_to_priority): Removed.
        * haifa-sched.c (params.h): New include.
        (get_block_head_tail): Adjust all uses.
        (ISSUE_POINTS): New macro.
        (glat_start, glat_end): New global variables.
        (spec_info_var, spec_info, added_recovery_block_p, nr_begin_data,
        nr_be_in_data, nr_begin_control, nr_be_in_control, bb_header,
        old_last_basic_block, before_recovery, current_sched_info_var,
        rgn_n_insns, luid): New static variables.
        (insn_cost1): New function.  Move logic from insn_cost to here.
        (find_insn_reg_weight1): New function.  Move logic from
        find_insn_reg_weight to here.
        (reemit_notes, move_insn, max_issue): Change signature.
        (move_insn1): Removed.
        (extend_h_i_d, extend_ready, extend_global, extend_all, init_h_i_d,
        extend_bb): New static functions to support extension of scheduler's
        data structures.
        (generate_recovery_code, process_insn_depend_be_in_spec,
        begin_speculative_block, add_to_speculative_block,
        init_before_recovery, create_recovery_block, create_check_block_twin,
        fix_recovery_deps): New static functions to support
        generation of recovery code.
        (fix_jump_move, find_fallthru_edge, dump_new_block_header,
        restore_bb_notes, move_block_after_check, move_succs): New static
        functions to support ebb scheduling.
        (init_glat, init_glat1, attach_life_info1, free_glat): New static
        functions to support handling of register live information.
        (associate_line_notes_with_blocks, change_pattern, speculate_insn,
        sched_remove_insn, clear_priorities, calc_priorities, bb_note,
        add_jump_dependencies): New static functions.
        (check_cfg, has_edge_p, check_sched_flags): New static functions for
        consistancy checking.
        (debug_spec_status): New function to call from debugger.
        (priority): Added code to handle speculation checks.
        (rank_for_schedule): Added code to distinguish speculative instructions.
        (schedule_insn): Added code to handle speculation checks.
        (unlink_other_notes, rm_line_notes, restore_line_notes, rm_other_notes):
        Fixed to handle ebbs.
        (move_insn): Added code to handle ebb scheduling.
        (max_issue): Added code to use ISSUE_POINTS of instructions.
        (choose_ready): Added code to choose between speculative and
        non-speculative instructions.
        (schedule_block): Added code to handle ebb scheduling and scheduling of
        speculative instructions.
        (sched_init): Initialize new variables.
        (sched_finish): Free new variables.  Print statistics.
        (try_ready): Added code to handle speculative instructions.
        * lists.c (copy_DEPS_LIST_list): New function.
        * sched-deps.c (extend_dependency_caches): New function.  Move logic
        from create_dependency_caches to here.
        (get_dep_weak, ds_merge): Make global.
        * genattr.c (main): Code to output prototype for
        dfa_clear_single_insn_cache.
        * genautomata.c (DFA_CLEAR_SINGLE_INSN_CACHE_FUNC_NAME): New macros.
        (output_dfa_clean_insn_cache_func): Code to output
        dfa_clear_single_insn_cache function.
        * sched-ebb.c (target_n_insns): Remove.  Adjust all users to use
        n_insns.
        (can_schedule_ready_p, fix_basic_block_boundaries, add_missing_bbs):
        Removed.
        (n_insns, dont_calc_deps, ebb_head, ebb_tail, last_bb):
        New static variables.
        (begin_schedule_ready, add_remove_insn, add_block1, advance_target_bb,
        fix_recovery_cfg, ebb_head_or_leaf_p): Implement hooks from
        struct sched_info.
        (ebb_sched_info): Initialize new fields.
        (get_block_head_tail): Adjust all uses.
        (compute_jump_reg_dependencies): Fixed to use glat_start.
        (schedule_ebb): Code to remove unreachable last block.
        (schedule_ebbs): Added code to update register live information.
        * sched-rgn.c (region_sched_info): Initialize new fields.
        (get_block_head_tail): Adjust all uses.
        (last_was_jump): Removed.  Adjust users.
        (begin_schedule_ready, add_remove_insn, insn_points, extend_regions,
        add_block1, fix_recovery_cfg, advance_target_bb, region_head_or_leaf_p):
        Implement new hooks.
        (check_dead_notes1): New static function.
        (struct region): New fields: dont_calc_deps, has_real_ebb.
        (RGN_DONT_CALC_DEPS, RGN_HAS_REAL_EBB): New access macros.
        (BB_TO_BLOCK): Fixed to handle EBBs.
        (EBB_FIRST_BB, EBB_LAST_BB): New macros.
        (ebb_head): New static variable.
        (debug_regions, contributes_to_priority): Fixed to handle EBBs.
        (find_single_block_regions, find_rgns, find_more_rgns): Initialize
        new fields.
        (compute_dom_prob_ps): New assertion.
        (check_live_1, update_live_1): Fixed to work with glat_start instead of
        global_live_at_start.
        (init_ready_list): New assertions.
        (can_schedule_ready_p): Split update code to begin_schedule_ready.
        (new_ready): Add support for BEGIN_CONTROL speculation.
        (schedule_insns): Fixed code that updates register live information
        to handle EBBs.
        (schedule_region): Fixed to handle EBBs.
        (init_regions): Use extend_regions and check_dead_notes1.
        * params.def (PARAM_MAX_SCHED_INSN_CONFLICT_DELAY,
        PARAM_SCHED_SPEC_PROB_CUTOFF): New parameters.
        * doc/tm.texi (TARGET_SCHED_ADJUST_COST_2, TARGET_SCHED_H_I_D_EXTENDED,
        TARGET_SCHED_SPECULATE_INSN, TARGET_SCHED_NEEDS_BLOCK_P,
        TARGET_SCHED_GEN_CHECK,
        TARGET_SCHED_FIRST_CYCLE_MULTIPASS_DFA_LOOKAHEAD_GUARD_SPEC,
        TARGET_SCHED_SET_SCHED_FLAGS): Document.
        * doc/invoke.texi (max-sched-insn-conflict-delay,
        sched-spec-prob-cutoff): Document.

2006-03-16  Maxim Kuvyrkov <mkuvyrkov@ispras.ru>

        * sched-int.h (struct haifa_insn_data): New fields: resolved_deps,
        inter_tick, queue_index.
        (struct sched_info): Change signature of init_ready_list field.
        Adjust all initializations.
        (RESOLVED_DEPS): New access macro.
       &n