2006-03-13 Paul Thomas <pault@gcc.gnu.org>

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

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

        * config/mips/mips.md (*branch_fp): Use %Z2 for the condition.
        (*branch_fp_inverted): Likewise.

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

        PR middle-end/25989
        * omp-low.c (expand_omp_for_generic): Mark istart0
        and iend0 as addressable.

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

        * config/bfin/uclinux.h: Define _GNU_SOURCE in CPLUSPLUS_CPP_SPEC.

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

        * tree-vrp.c (stmt_interesting_for_vrp): Some statements with
        virtual operands are interesting.
        (vrp_visit_stmt): Corresponding changes.

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

        * config/bfin/lib1funcs.asm (___umodsi3): Use stack to save contents
        of RETS.
        * config/bfin/bfin.h (TARGET_CPU_CPP_BUILTINS): If
        TARGET_ID_SHARED_LIBRARY, define __ID_SHARED_LIB__.
        * config/bfin/crti.S: Use it instead of __PIC__.
        * config/bfin/crtn.S: Likewise.

        * config/bfin/bfin.md (call_value_symbol, sibcall_value_symbol,
        call_symbol, sibcall_symbol): Disallow if TARGET_ID_SHARED_LIBRARY,
        not if flag_pic.
        Lose 'G' modifier for call operand.
        * config/bfin/bfin.c (print_operand) <case SYMBOL_REF>: Don't
        recognize 'G' modifier.

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

        PR middle-end/18859
        * gimplify.c (gimplify_switch_expr): Discard empty ranges.
        * stmt.c (expand_case): Likewise.

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

        PR rtl-optimization/26254
        * loop-invariant.c (seq_insns_valid_p): New function.
        (move_invariant_reg): Only emit new code if it is valid.

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

        * cfgrtl.c (last_loop_beg_note, back_edge_of_syntactic_loop_p):
        Removed.
        (force_nonfallthru_and_redirect): Do not use last_loop_beg_note.
        (rtl_split_edge): Do not use back_edge_of_syntactic_loop_p.
        (commit_one_edge_insertion): Do not look for loop notes.

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

        * jump.c (follow_jumps): Do not check for loop notes.  Move check for
        flag_test_coverage out of loop.

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

        * final.c (shorten_branches): Remove outdated comment, and turn
        the if branch that guards it to continue.

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

        * cfgloop.c (flow_loop_dump): Do not dump loop->invalid field.
        * cfgloop.h (struct loop): Remove unused fields.

2006-03-13  Kazu Hirata  <kazu@codesourcery.com>

        * doc/invoke.texi (-fdump-rtl-loop): Remove.
        (-dL, -fdump-rtl-loop2): Update the dump file names 

        * doc/invoke.texi: Update dump file names.

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

        * predict.c (estimate_probability): Remove.
        * profile.c (rest_of_handle_branch_prob, pass_branch_prob): Remove.
        * basic-block.h (estimate_probability): Remove prototype.
        * passes.c (finish_optimization_passes): Dump branch prediction or
        profiling heuristics to the .profile tree dump.
        (init_optimization_passes): Unqueue pass_branch_prob.

        * doc/invoke.texi (-fdump-rtl-bp): Remove.

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

        * rtl.def (LABEL_REF): Remove the field for LABEL_NEXTREF.
        * rtl.h (LABEL_NEXTREF): Remove field accessor.

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

        * function.h (frame_offset_overflow): Declare.
        * function.c (frame_offset_overflow): New function.
        (assign_stack_local_1): Call it to detect that the offset overflows.
        * cfgexpand.c (alloc_stack_frame_space): Likewise.

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

        * config/sh/sh.c: Include alloc-pool.h.
        (label_ref_list_pool): New alloc pool.
        (label_ref_list_t): New type for lists of labels.
        (struct pool_node): Make wend a label_ref_list_t.
        (add_constant): Use the new type, eradicate LABEL_NEXTREF
        references.
        (dump_table): Likewise.
        (sh_reorg): Set up the alloc pool before using add_constant and
        dump_table, and destroy it when finishing.

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

        * config/mips/mips.c: Remove redundant comment.

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

        PR c/26004
        * gimplify.c (gimplify_modify_expr_rhs): Don't do return slot opt if 
        the target was declared 'register'.

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

        * genpreds.c (write_insn_constraint_len): Change definition of
        insn_constraint_len to return size_t to match the declaration.

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

        * config/m32c/m32c.c (m32c_const_ok_for_constraint_p): Bit numbers
        start at zero.
        (m32c_expand_insv): Fix test for an AND mask.

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

        PR middle-end/26565
        * builtins.c (get_pointer_alignment): Handle component
        references for field alignment.

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

        * config.gcc (sh*-superh-elf, sh*elf (newlib)): Use newlib.h
        when building with libgloss.
        (sh*elf): Implement --without-fp option.
        (sh64-superh-linux*): Don't multilib. 

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

        * struct-equiv.c (rtx_equiv_p): Fix POST_MODIFY case.

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

        * tree-ssa-phiopt.c (tree_ssa_phiopt): Add cfgchanged variable.
        Set it when one of the replacement functions returned true.
        Return TODO_cleanup_cfg if cfgchanged is true.
        (pass_phiopt) <todo_flags_finish>: Remove TODO_cleanup_cfg.

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

        * combine.c (simplify_shift_const_1): Use gen_lowpart_or_truncate
        instead of gen_lowpart.

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

        * config/mips/mips-protos.h (mips_output_conditional_branch): Change
        interface.
        (mips_output_order_conditional_branch): Declare.
        * config/mips/mips.h (MIPS_BRANCH): New macro.
        * config/mips/mips.c (gen_conditional_branch): Use VOIDmode
        for the comparison.  Use gen_condjump.
        (mips_output_conditional_branch): Rework interface to take the
        asm templates for a direct branch and the inverse of a direct branch.
        (mips_output_order_conditional_branch): New function.
        (mips_builtin_branch_and_move): New function.
        (mips_expand_builtin_compare): Use it.  Use VOIDmode for the
        branch condition.  Use gen_single_cc as the condition for
        __builtin_mips_upper_* or __builtin_mips_lower_*.
        (mips_expand_builtin_bposge): Use mips_builtin_branch_and_move.
        Use VOIDmode for the branch condition.
        * config/mips/predicates.md (order_operator): New predicate.
        * config/mips/mips.md (UNSPEC_SINGLE_CC): New constant.
        (branch_fp): Rename to...
        (*branch_fp): ...this.  Remove mode from comparison operator.
        Use new mips_output_conditional_branch interface.
        (branch_fp_inverted): Rename to...
        (*branch_fp_inverted): ...this and update as for *branch_fp.
        (*branch_zero<mode>): Rename to...
        (*branch_order<mode>): ...this.  Remove mode from comparison operator.
        Use mips_output_order_conditional_branch.  Only accept ordered
        comparisons.  
        (*branch_zero<mode>_inverted): Rename to...
        (*branch_order<mode>_inverted): ...this and update as for
        *branch_order<mode>.
        (*branch_equality<mode>): Accept zero as the second operand to
        the equality operator.  Use the new mips_output_conditional_branch
        interface.
        (*branch_equality<mode>_inverted): Likewise.
        (condjump): New expander.
        * config/mips/mips-dsp.md (mips_bposge): Remove mode from comparison
        operator.
        * config/mips/mips-ps-3d.md (bc1any4t, bc1any4f): Likewise.
        (bc1any2t, bc1any2f): Likewise.
        (single_cc): New expander.
        (*branch_upper_lower, *branch_upper_lower_inverted): New patterns.

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

        * doc/md.texi: Update documentation of MIPS constraints.
        * config/mips/constraints.md: New file.
        * config/mips/mips.md: Include it.
        * config/mips/mips.c (mips_char_to_class): Delete.
        (override_options): Don't initialize mips_char_to_class.
        * config/mips/mips.h (mips_char_to_class): Delete.
        (REG_CLASS_FROM_LETTER): Delete.
        (CONST_OK_FOR_LETTER_P): Delete.
        (CONST_DOUBLE_OK_FOR_LETTER_P): Delete.
        (EXTRA_CONSTRAINT_Y): Delete.
        (EXTRA_CONSTRAINT_STR): Delete.
        (CONSTRAINT_LEN): Delete.
        (EXTRA_MEMORY_CONSTRAINT): Delete.

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

        * tree-cfg.c (move_block_to_fn): Remove the statements from the
        original fn's eh regions.

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

        * fold-const.c (build_range_check): Make sure to use a valid type to
        apply the "(c>=low) && (c<=high) into (c-low>=0) && (c-low<=high-low)"
        transformation.

        (range_predecessor): New static function.
        (range_successor): Likewise.
        (merge_ranges): Use them to compute predecessors and successors of
        range bounds.

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

        PR middle-end/26561
        * fold-const.c (fold_div_compare): When optimizing X/C1 op C2 as
        X op C3, consider whether C3 overflows towards +Inf or -Inf.

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

        * config/m32c/addsub.md (addqi3): Disparage a0/a1.
        (addpsi3): Expand to include memory operands.  Remove
        reload-specific splits.
        * config/m32c/bitops.md (bset_qi, bset_hi, bclr_qi): New.
        (andqi3_16, andhi3_16, iorqi3_16, iorhi3_16): New.
        (andqi3_24, andhi3_24, iorqi3_24, iorhi3_24): New.
        (andqi3, andhi3, iorqi3, iorhi3): Convert to expanders.
        (shift1_qi, shift1_hi, insv): New.
        * config/m32c/cond.md (cbranchqi4, cbranchhi4): Remove.
        (cbranch<mode>4, stzx_16, stzx_24_<mode>, stzx_reversed,
        cmp<mode>, b<code>, s<code>, s<code>_24, movqicc, movhicc,
        cond_to_int): New.
        * config/m32c/m32c-protos.h: Update as needed.
        * config/m32c/m32c.c (m32c_reg_class_from_constraint): Don't
        default the Rcr, Rcl, Raw, and Ral constraints.  Add Ra0 and Ra1.
        Fail for unrecognized R* constraints.
        (m32c_cannot_change_mode_class): Be more picky about pseudos.
        (m32c_const_ok_for_constraint_p): Add Imb, Imw, and I00.
        (m32c_extra_constraint_p2): Allow (mem (plus (plus fb int) int)).
        Add Sp constraint.
        (m32c_init_libfuncs): New.
        (m32c_legitimate_address_p): Add debug wrapper.
        (m32c_rtx_costs): New.
        (m32c_address_cost): New.
        (conversions): Add 'B' prefix.
        (m32c_print_operand): 'h' and 'H' pick lower and upper halves of
        operands, or word regnames for QI operands.  'B' prints bit
        position.
        (m32c_expand_setmemhi): New.
        (m32c_expand_movmemhi): New.
        (m32c_expand_movstr): New.
        (m32c_expand_cmpstr): New.
        (m32c_prepare_shift): Shift counts are limited to 16 bits at a time.
        (m32c_expand_neg_mulpsi3): Handle non-ints.
        (m32c_cmp_flg_0): New.
        (m32c_expand_movcc): New.
        (m32c_expand_insv): New.
        (m32c_scc_pattern): New.
        * config/m32c/m32c.h (reg classes): Add AO_REGS and A1_REGS.  Take
        a0/a1 out of SIregs.
        (STORE_FLAG_VALUE): New.
        * config/m32c/m32c.md: Add unspecs for string moves.  Define various mode and
        code macros.
        (no_insn): New.
        * config/m32c/mov.md: Make constraints more liberal.
        (zero_extendqihi2): Optimize r0/r1 case.
        * config/m32c/muldiv.md (mulpsi3): Check for intvals.
        * config/m32c/predicates.md (m32c_any_operand): New.
        (m32c_nonimmediate_operand): New.
        (m32c_hl_operand): New.
        (m32c_r3_operand): New.
        (ap_operand): New.
        (ma_operand): New.
        (memsym_operand): New.
        (memimmed_operand): New.
        (a_qi_operand): New.
        (m32c_eqne_operator): New.
        (m32c_1bit8_operand): New.
        (m32c_1bit16_operand): New.
        (m32c_1mask8_operand): New.
        (m32c_1mask16_operand): New.
        * config/m32c/blkmov.md: New file.
        * config/m32c/t-m32c (MD_FILES): Add blkmov.

2006-03-08  Andreas Tobler  <a.tobler@schweiz.ch>

        * dwarf2out.c (expand_builtin_dwarf_sp_column): Make dwarf_regnum
        unsigned to fix signed/unsigned comparison issue in
        DWARF2_FRAME_REG_OUT.
        (expand_builtin_init_dwarf_reg_sizes): Make i unsigned to fix signed/
        unsigned comparison issue in DWARF2_FRAME_REG_OUT.

        * tree-ssa-operands.c (finalize_ssa_def_ops): Move the declaration
        of ptr into the ENABLE_CHECKING section.

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

        * tree-vrp.c (infer_value_range): Only count pointer uses
        and dereferences if -fdelete-null-pointer-checks is enabled.

        * tree-vrp.c (find_assert_locations): Infer value ranges for
        single use pointers, but do not create ASSERT_EXPRs for them.
        When a non-null range is inferred for a pointer, backwards
        propagate that range to other equivalent pointers through the
        use-def chain.

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

        PR bootstrap/26500
        * Makefile.in (dvi, html, install-info): Invoke the corresponding
        language hook targets.
        * ada/Make-lang.in, cp/Make-lang.in, objc/Make-lang.in,
        objcp/Make-lang.in: Create stub rules for dvi, html, install-info
        if language hook targets were missing.

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

        * tree-ssa-opfinalize.h: Removed.
        * Makefile.in (tree-ssa-operands.o): Remove tree-ssa-opfinalize.h
        dependency.
        * tree-ssa-operands.c: Do not include tree-ssa-opfinalize.h.
        (ALLOC_OPTYPE, APPEND_OP_AFTER, MOVE_HEAD_AFTER, MOVE_HEAD_TO_FREELIST,
        INITIALIZE_USE, add_def_op, add_use_op, add_vuse_op, add_maydef_op,
        add_mustdef_op, finalize_ssa_def_ops, finalize_ssa_use_ops,
        finalize_ssa_v_may_def_ops, finalize_ssa_vuse_ops,
        finalize_ssa_v_must_def_ops): New.

2006-03-07  Kenneth Zadeck <zadeck@naturalbridge.com>

        * df-scan.c: (df_bb_refs_record): Fix obvious typo with wrong
        block as parameter.

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

        * varasm.c (assemble_end_function): Say that 'fnname' is unused.

        * config/i386/i386.c (ix86_delegitimize_address): Handle Darwin
        addresses with offsets; reorganize.

        * dwarf2out.c (DWARF2_FRAME_REG_OUT): Move up in file.
        (expand_builtin_dwarf_sp_column): Call DWARF2_FRAME_REG_OUT.
        (expand_builtin_init_dwarf_reg_sizes): Likewise.

2006-03-08  David Billinghurst <David.Billinghurst@riotinto.com>

        PR target/26588
        * config/i386/cygwin.h (GOMP_SELF_SPECS): Define.

2006-03-08  Ben Elliston  <bje@au.ibm.com>

        * config/fp-bit.h (CMPtype): Typedef to a word mode integer.

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

        PR gomp/26238
        * doc/passes.texi (Tree-SSA passes): Document omp lowering and
        expansion.

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

        PR tree-optimization/26587
        * tree-ssa-structalias.c (handle_ptr_arith): Handle MINUS_EXPR.

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

        * varasm.c (assemble_variable): Fix setting of DECL_IN_TEXT_SECTION.

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

        * hooks.c (hook_bool_mode_rtx_true): New function.
        * hooks.h (hook_bool_mode_rtx_true): Declare.
        * toplev.c (compile_file): Call output_shared_constant_pool.
        * varasm.c (shared_constant_pool): New variable.
        (assemble_start_function, assemble_end_function): Remove arguments
        from call to output_constant_pool.
        (create_constant_pool): New function, split out from...
        (init_varasm_status): ...here.
        (force_const_mem): Choose between the shared and per-function constant
        pools.  Set current_function_uses_const_pool when reusing old entries
        as well as when creating new ones.
        (mark_constant): Ignore data argument.
        (mark_constants): Remove pool argument.
        (mark_constant_pool): Likewise.  Use current_function_uses_const_pool
        to decide whether the function uses a constant pool.
        (output_constant_pool_contents): New function, split out from...
        (output_constant_pool): ...here.
        (output_shared_constant_pool): New function.
        (init_varasm_once): Initialize shared_constant_pool.
        * output.h (output_constant_pool): Delete.
        (output_shared_constant_pool): Declare.
        * config/s390/s390-protos.h (s390_output_constant_pool): Delete.
        * config/i386/i386.c (TARGET_USE_BLOCKS_FOR_CONSTANT_P): Override.

2006-03-06  Nick Clifton  <nickc@redhat.com>

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

2006-03-06  Ben Elliston  <bje@au.ibm.com>

        * config.gcc: Add t-dfprules to $tmake_file for i*86-*-linux* and
        x86_64-*-linux* configurations.

        * config/dfp-bit.h (CMPtype): Typedef to a word mode integer.
        (LIBGCC2_WORDS_BIG_ENDIAN): Define.

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

        * tree-ssa-threadupdate.c (rediscover_loops_after_threading):
        Remove.
        * basic-block.h: Remove the extern for
        rediscover_loops_after_threading.

        * cfgloop.c (cancel_loop): Make it static.
        * cfgloop.h: Remove the prototype for cancel_loop.

        * flow.c (recompute_reg_usage): Make it static.
        * rtl.h: Remove the prototype for recompute_reg_usage.

        * function.c (use_return_register): Make it static.
        * function.h: Remove the prototype.

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

        * recog.c (volatile_mem_p, validate_change_maybe_volatile):
        Remove.
        * recog.h: Remove the prototype for
        validate_change_maybe_volatile.

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

        * rtlanal.c (replace_reg): Remove.
        * rtl.h: Remove the prototype for replace_reg.

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

        * regclass.c (reg_scan_update): Remove.
        (reg_scan_mark_refs): Remove the last argument.
        * rtl.h: Remove the prototype for reg_scan_update.

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

        * builtins.c, c-pragma.h, c-typeck.c, cgraph.c, cgraphunit.c,
        combine.c, common.opt, config/dfp-bit.c, config/i386/i386.c,
        config/m68k/m68k.c, config/m68k/m68k.md, config/mt/mt.c,
        config/mt/mt.h, config/s390/s390.md, df-core.c, df-problems.c,
        df-scan.c, df.h, diagnostic.c, expr.c, function.h, gimplify.c,
        loop-invariant.c, omp-low.c, opts.c, passes.c,
        rtl-factoring.c, rtlanal.c, struct-equiv.c, tree-cfgcleanup.c,
        tree-ssa-loop-niter.c, tree-ssa-loop-prefetch.c,
        tree-ssa-structalias.c, tree-ssa-threadedge.c,
        tree-ssa-threadupdate.c, tree-vect-patterns.c,
        tree-vect-transform.c, tree-vectorizer.h, tree-vrp.c,
        unwind-dw2.c: Fix comment typos.  Follow spelling conventions.

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

        * dwarf2out.c (dwarf2out_add_library_unit_info): Remove.
        * dwarf2out.h: Remove the prototype for
        dwarf2out_add_library_unit_info.

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

        * tree.c (add_var_to_bind_expr): Remove.
        * tree.h: Remove the prototype for add_var_to_bind_expr.

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

        * regclass.c (n_non_fixed_regs): Remove.
        (init_reg_sets_1, globalize_reg): Remove all uses of
        n_non_fixed_regs.
        * hard-reg-set.h: Remove the extern for n_non_fixed_regs.

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

        * rtlanal.c (insns_safe_to_move_p): Remove.
        * rtl.h: Remove the prototype for insns_safe_to_move_p.

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

        * expmed.c (expand_mult_add): Remove.
        * expr.h: Remove the prototype for expand_mult_add.

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

        * unwind-dw2.h (_Unwind_FrameState): Add REG_SAVED_VAL_OFFSET
        and REG_SAVED_VAL_EXP constants.
        * unwind-dw2.c (struct _Unwind_Context): Add by_value array.
        (_Unwind_GetGR, _Unwind_SetGR, _Unwind_GetGRPtr, _Unwind_SetGRPtr):
        Handle regs stored by value.
        (_Unwind_SetGRValue, _Unwind_GRByValue): New functions.
        (execute_cfa_program): Handle DW_CFA_val_offset,
        DW_CFA_val_offset_sf and DW_CFA_val_expression.
        (uw_update_context_1): Handle REG_SAVED_REG with regs stored by
        value specially.  Handle REG_SAVED_VAL_OFFSET and REG_SAVED_VAL_EXP.
        (uw_install_context_1): Handle target regs stored by value.

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

        * tree-sra.c (tree_sra): Return todoflags;
        (generate_one_element): Set TODO_update_smt_usage if needed.
        (pass_sra): Remove TODO_update_smt_usage.
        * tree-ssa-forwprop.c (forward_propagate_addr_expr): Add some
        parameter.
        (tree_ssa_forward_propagate_single_use_vars): Return
        TODO_update_smt_usage if we need to update SMT usage.
        (pass_forwprop): Remove TODO_update_smt_usage.
        
2006-03-03  Diego Novillo  <dnovillo@redhat.com>

        * tree-ssa-operands.c: Tidy whitespace.  Fix spelling.
        (correct_use_link): Remove reference to get_stmt_operands.
        (update_stmt_operands): Likewise.
        (get_modify_expr_operands): New function factored out of
        parse_ssa_operands and get_expr_operands.
        Try to create V_MUST_DEFs for LHS by default.
        (get_expr_operands) <case MODIFY_EXPR>: Call
        get_modify_expr_operands.
        <case ARRAY_RANGE_REF>: Handle together with ARRAY_REF.
        <case BIT_FIELD_REF>: Clear opf_kill_def from FLAGS.
        (parse_ssa_operands) <case MODIFY_EXPR>: Call
        get_modify_expr_operands.

2006-03-03  Kazu Hirata  <kazu@codesourcery.com>

        * tree-dfa.c (referenced_var_lookup_if_exists): Remove.
        * tree-flow.h: Remove the prototype for
        referenced_var_lookup_if_exists.

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

        PR rtl-optimization/26345
        PR target/19061
        * config/ia64/predicates.md (basereg_operand): Don't look in subregs.

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

        PR tree-optimization/26524
        * tree-scalar-evolution.c (interpret_rhs_modify_expr): Use
        fold_convert to create a constant of the appropriate type.

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

        * doc/tm.texi: Refer to SYMBOL_REF_HAS_BLOCK_INFO_P instead of
        SYMBOL_REF_IN_BLOCK_P.
        * doc/rtl.texi: Likewise.  Refer to SYMBOL_FLAG_HAS_BLOCK_INFO instead
        of SYMBOL_FLAG_IN_BLOCK.
        * gengtype.c (adjust_field_rtx_def): Use SYMBOL_REF_HAS_BLOCK_INFO_P
        instead of SYMBOL_REF_IN_BLOCK_P.
        * explow.c (use_anchored_address): Likewise.
        * rtl.c (rtx_size): Likewise.
        * varasm.c (create_block_symbol): Set SYMBOL_FLAG_HAS_BLOCK_INFO
        instead of SYMBOL_FLAG_IN_BLOCK.
        (make_decl_rtl): Use SYMBOL_REF_HAS_BLOCK_INFO_P instead of
        SYMBOL_REF_IN_BLOCK_P.
        (assemble_variable): Likewise.
        (output_constant_def_contents): Likewise.
        (output_constant_pool): Likewise.
        (default_encode_section_info): Preserve SYMBOL_FLAG_HAS_BLOCK_INFO
        instead of SYMBOL_FLAG_IN_BLOCK.
        * rtl.h (block_symbol): Refer to SYMBOL_REF_HAS_BLOCK_INFO_P instead of
        SYMBOL_REF_IN_BLOCK_P.
        (SYMBOL_REF_BLOCK): Likewise.
        (SYMBOL_REF_OFFSET): Likewise.
        (BLOCK_SYMBOL_CHECK): Use SYMBOL_REF_HAS_BLOCK_INFO_P instead of
        SYMBOL_REF_IN_BLOCK_P.
        (SYMBOL_FLAG_IN_BLOCK): Replace with...
        (SYMBOL_FLAG_HAS_BLOCK_INFO): ...this.
        (SYMBOL_REF_IN_BLOCK_P): Replace with...
        (SYMBOL_REF_HAS_BLOCK_INFO_P): ...this.

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

        * config/arm/unwind-arm.h (_Unwind_GetIPInfo): Fix pasto.

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

        * simplify-rtx.c (simplify_unary_operation): When simplifying
        (neg (lt X 0)) into (ashiftrt X C) or (lshiftrt X C), make sure
        that we perform the right shift in the appropriate mode, and
        then extend or truncate the result to requested mode.

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

        * gengtype.c (main): Handle double_int type.
        * tree.h (struct tree_int_cst): Make type of int_cst double_int.
        * double-int.c: New file.
        * double-int.h: New file.
        * system.h: Include doubleint.h.
        * Makefile.in (SYSTEM_H): Include double-int.h.
        (double-int.o): Add.

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

        PR bootstrap/26478
        * Makefile.in (stmp-int-hdrs): Remove include/unwind.h before
        copying over it.

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

        * tree-vrp.c (remove_range_assertions): Do not update statements
        unnecessarily.

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

        * cse.c (rest_of_handle_cse): Do not pass CLEANUP_PRE_LOOP to cfg
        cleanup.
        * gcse.c (rest_of_handle_gcse): Ditto.
        * except.c (gate_handle_eh): Ditto.
        * cfgcleanup.c (rest_of_handle_jump2): Ditto.
        * basic-block.h (CLEANUP_PRE_LOOP): Remove.

2006-03-02  Eric Christopher  <echristo@apple.com>

        * config/i386/i386.c (machopic_output_stub): Add indirection to
        jump.

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

        * loop.c: Removed.

2006-03-02  David S. Miller  <davem@sunset.davemloft.net>

        Sun Niagara specific optimizations.
        * config.gcc: Recognize niagara as target.
        * config/sparc/sparc.h (SPARC_RELAXED_ORDERING): Mention Niagara.
        (TARGET_CPU_niagara): Define.
        (CPP_CPU64_DEFAULT_SPEC): Define __sparc_v9__ for Niagara.
        (ASM_CPU64_DEFAULT_SPEC): Pass -Av9b for Niagara.
        (CPP_CPU_SPEC): Handle -mcpu=niagara.
        (ASM_CPU_SPEC): Likewise.
        (PROCESSOR_NIAGARA): New enum entry.
        (REGISTER_MOVE_COST): Handle Niagara.
        (BRANCH_COST, PREFETCH_BLOCK, SIMULTANEOUS_PREFETCHES): Likewise.
        * config/sparc/sparc.c (niagara_costs): New processor_costs entry.
        (sparc_override_options): Recognize "niagara", set appropriate
        default MASK_* values for it, and align functions to 32-bytes
        by default just like ULTRASPARC/ULTRASPARC3.
        (sparc_initialize_trampoline): Handle niagara like ultrasparc.
        (sparc64_initialize_trampoline): Likewise.
        (sparc_use_sched_lookahead): Use zero for niagara.
        (sparc_issue_rate): Use one for niagara.
        * config/sparc/niagara.md: New file.
        * config/sparc/sparc.md: Include it.
        * config/sparc/sol2-bi.h (CPP_CPU64_DEFAULT_SPEC,
        ASM_CPU32_DEFAULT_SPEC, ASM_CPU64_DEFAULT_SPEC): Set appropriately
        when default cpu is niagara.
        (CPP_CPU_SPEC): Handle -mcpu=niagara.
        (ASM_CPU_SPEC): Likewise.
        * config/sparc/sol2.h (ASM_CPU_DEFAULT_SPEC): Set appropriately
        when default cpu is niagara.
        (ASM_CPU_SPEC): Handle -mcpu=niagara.
        * config/sparc/linux64.h: Handle a default of TARGET_CPU_niagara
        just like v9/ultrasparc/ultrasparc3.
        * doc/invoke.texi: Add documentation for "niagara" and improve
        existing documentation for ultrasparc variants.

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

        * tree-ssa-operands.c (update_stmt_operands): Update documentation.

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

        * doc/tm.texi (TARGET_HAVE_SWITCHABLE_BSS_SECTIONS): Document.
        (ASM_OUTPUT_BSS): Describe the two ways of handling global BSS,
        and say that only one is needed.
        * doc/rtl.texi (SYMBOL_REF_BLOCK): Say that the block can be null.
        * target.h (have_switchable_bss_sections): New hook.
        * explow.c (use_anchored_address): Check that the symbol is in a block.
        * varasm.c (tls_comm_section, comm_section, lcomm_section)
        (bss_noswitch_section): New variables.
        (get_unnamed_section): Add SECTION_UNNAMED to the flags.
        (get_noswitch_section): New function.
        (get_block_for_section): Allow SECT to be null.
        (unlikely_text_section_p): Use SECTION_STYLE.
        (bss_initializer_p): New function.
        (get_variable_section): Move earlier in file.  Take a new argument,
        prefer_noswitch_p.  Move bss checks from assemble_variable to here.
        Return one of the new *_sections in such cases.
        (get_block_for_decl): New function, extracting some logic from
        use_blocks_for_decl_p.
        (change_symbol_section): Remove in favor of...
        (change_symbol_block): ...this new function.
        (use_blocks_for_decl_p): Remove checks now performed by
        get_block_for_decl.
        (make_decl_rtl): Use change_symbol_block and get_block_for_decl.
        (ASM_EMIT_LOCAL, ASM_EMIT_BSS, ASM_EMIT_COMMON): Delete in favor of...
        (emit_local, emit_bss, emit_common): ...these new functions.
        Return true if the alignment was honored.
        (emit_tls_common): New function.
        (asm_emit_uninitialised): Delete.
        (assemble_variable_noswitch): New function, split out from...
        (assemble_variable): ...here.  Don't make decisions about common
        variables here.  Globalize all public decls that go into non-common
        sections.  Check whether SYMBOL_REF_BLOCK is null.
        (output_constant_def_contents): Check whether SYMBOL_REF_BLOCK is null.
        (output_constant_pool): Likewise.
        (init_varasm_once): Initialize the new section variables.
        (have_global_bss_p): New function.
        (categorize_decl_for_section): Use bss_initializer_p.
        (switch_to_section): Use SECTION_STYLE.  Abort for SECTION_NOSWITCH.
        (place_block_symbol): Assert that the symbol must be in a block.
        * target-def.h (TARGET_HAVE_SWITCHABLE_BSS_SECTIONS): New macro.
        (TARGET_INITIALIZER): Include it.
        * rtl.h (SYMBOL_REF_BLOCK): Document the null alternative.
        * output.h (SECTION_STYLE_MASK, SECTION_COMMON): New macros.
        (SECTION_MACH_DEP): Bump by two.
        (SECTION_UNNAMED, SECTION_NOSWITCH): New macros.
        (unnamed_section): Mention SECTION_UNNAMED in comment.
        (named_section): Likewise SECTION_NAMED.
        (noswitch_section_callback): New type.
        (noswitch_section): New structure.
        (section): Add a noswitch_section alternative.
        (SECTION_STYLE): New macro.
        (tls_comm_section, comm_section, lcomm_section): Declare.
        (bss_noswitch_section, have_global_bss_p): Declare.
        * config/elfos.h (TARGET_HAVE_SWITCHABLE_BSS_SECTIONS): Override.
        * config/iq2000/iq2000.c (TARGET_HAVE_SWITCHABLE_BSS_SECTIONS):
        Override.
        * config/v850/v850.c (TARGET_HAVE_SWITCHABLE_BSS_SECTIONS): Override.
        * config/stormy16/stormy16.c (TARGET_HAVE_SWITCHABLE_BSS_SECTIONS):
        Override.

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

        * gcc/tree-vrp.c (execute_vrp): Return value.
        * gcc/regrename.c (rest_of_handle_regrename): Ditto.
        * gcc/tree-into-ssa.c (rewrite_into_ssa): Ditto.
        * gcc/tree-complex.c (tree_lower_complex): Ditto.
        (tree_lower_complex_O0): Ditto.
        * gcc/tracer.c (rest_of_handle_tracer): Ditto.
        * gcc/postreload-gcse.c (rest_of_handle_gcse2): Ditto.
        * gcc/postreload.c (rest_of_handle_postreload): Ditto.
        * gcc/tree-tailcall.c (execute_tail_recursion): Ditto.
        (execute_tail_calls): Ditto.
        * gcc/tree-ssa-loop-ch.c (copy_loop_headers): Ditto.
        * gcc/tree.h (init_function_for_compilation): Ditto.
        * gcc/ipa-cp.c (ipcp_driver): Ditto.
        * gcc/tree-scalar-evolution.c (scev_const_prop): Ditto.
        * gcc/tree-scalar-evolution.h (scev_const_prop): Ditto.
        * gcc/final.c (compute_alignments): Ditto.
        (rest_of_handle_final): Ditto.
        (rest_of_handle_shorten_branches): Ditto.
        (rest_of_clean_state): Ditto.
        * gcc/omp-low.c (execute_expand_omp): Ditto.
        (execute_lower_omp): Ditto.
        * gcc/tree-ssa-dse.c (tree_ssa_dse): Ditto.
        * gcc/ipa-reference.c (static_execute): Ditto.
        * gcc/tree-ssa-uncprop.c (tree_ssa_uncprop): Ditto.
        * gcc/reorg.c (rest_of_handle_delay_slots): Ditto.
        (rest_of_handle_machine_reorg): Ditto.
        * gcc/cgraphunit.c (rebuild_cgraph_edges): Ditto.
        * gcc/flow.c (recompute_reg_usage): Ditto.
        (rest_of_handle_remove_death_notes): Ditto.
        (rest_of_handle_life): Ditto.
        (rest_of_handle_flow2): Ditto.
        * gcc/tree-ssa-copyrename.c (rename_ssa_copies): Ditto.
        * gcc/tree-ssa-ccp.c (do_ssa_ccp): Ditto.
        (do_ssa_store_ccp): Ditto.
        (execute_fold_all_builtins): Ditto.
        * gcc/mode-switching.c (rest_of_handle_mode_switching): Ditto.
        * gcc/modulo-sched.c (rest_of_handle_sms): Ditto.
        * gcc/ipa-pure-const.c (static_execute): Ditto.
        * gcc/cse.c (rest_of_handle_cse): Ditto.
        (rest_of_handle_cse2): Ditto.
        * gcc/web.c (rest_of_handle_web): Ditto.
        * gcc/tree-stdarg.c (execute_optimize_stdarg): Ditto.
        * gcc/tree-ssa-math-opts.c (execute_cse_reciprocals): Ditto.
        * gcc/tree-ssa-dom.c (tree_ssa_dominator_optimize): Ditto.
        * gcc/tree-nrv.c (tree_nrv): Ditto.
        (execute_return_slot_opt): Ditto.
        * gcc/tree-ssa-alias.c (compute_may_aliases): Ditto.
        (create_structure_vars): Ditto.
        * gcc/loop-init.c (rtl_loop_init): Ditto.
        (rtl_loop_done): Ditto.
        (rtl_move_loop_invariants): Ditto.
        (rtl_unswitch): Ditto.
        (rtl_unroll_and_peel_loops): Ditto.
        (rtl_doloop): Ditto.
        * gcc/gimple-low.c (lower_function_body): Ditto.
        (mark_used_blocks): Ditto.
        * gcc/tree-ssa-sink.c (execute_sink_code): Ditto.
        * gcc/ipa-inline.c (cgraph_decide_inlining): Ditto.
        (cgraph_early_inlining): Ditto.
        * gcc/global.c (rest_of_handle_global_alloc): Ditto.
        * gcc/jump.c (cleanup_barriers): Ditto.
        (purge_line_number_notes): Ditto.
        * gcc/ifcvt.c (rest_of_handle_if_conversion): Ditto.
        (rest_of_handle_if_after_reload): Ditto.
        * gcc/tree-ssa-loop.c (tree_ssa_loop_init): Ditto.
        (tree_ssa_loop_im): Ditto.
        (tree_ssa_loop_unswitch): Ditto.
        (tree_vectorize): Ditto.
        (tree_linear_transform): Ditto.
        (tree_ssa_loop_ivcanon): Ditto.
        (tree_ssa_empty_loop): Ditto.
        (tree_ssa_loop_bounds): Ditto.
        (tree_complete_unroll): Ditto.
        (tree_ssa_loop_prefetch): Ditto.
        (tree_ssa_loop_ivopts): Ditto.
        (tree_ssa_loop_done): Ditto.
        * gcc/predict.c (tree_estimate_probability): Ditto.
        * gcc/recog.c (split_all_insns_noflow): Ditto.
        (rest_of_handle_peephole2): Ditto.
        (rest_of_handle_split_all_insns): Ditto.
        * gcc/tree-eh.c (lower_eh_constructs): Ditto.
        * gcc/regmove.c (rest_of_handle_regmove): Ditto.
        (rest_of_handle_stack_adjustments): Ditto.
        * gcc/local-alloc.c (rest_of_handle_local_alloc): Ditto.
        * gcc/function.c (instantiate_virtual_regs): Ditto.
        (init_function_for_compilation): Ditto.
        (rest_of_handle_check_leaf_regs): Ditto.
        * gcc/gcse.c (rest_of_handle_jump_bypass): Ditto.
        (rest_of_handle_gcse): Ditto.
        * gcc/ipa-type-escape.c (type_escape_execute): Ditto.
        * gcc/alias.c (rest_of_handle_cfg): Ditto.
        * gcc/tree-if-conv.c (main_tree_if_conversion): Ditto.
        * gcc/profile.c (rest_of_handle_branch_prob): Ditto.
        * gcc/tree-ssa-phiopt.c (tree_ssa_phiopt): Ditto.
        * gcc/rtl-factoring.c (rest_of_rtl_seqabstr): Ditto.
        * gcc/bt-load.c (rest_of_handle_branch_target_load_optimize): Ditto
        * gcc/tree-dfa.c (find_referenced_vars): Ditto.
        * gcc/except.c (set_nothrow_function_flags): Ditto.
        (convert_to_eh_region_ranges): Ditto.
        (rest_of_handle_eh): Ditto.
        * gcc/emit-rtl.c (unshare_all_rtl): Ditto.
        (remove_unnecessary_notes): Ditto.
        * gcc/except.h (set_nothrow_function_flags): Ditto.
        (convert_to_eh_region_ranges): Ditto.
        * gcc/cfgexpand.c (tree_expand_cfg): Ditto.
        * gcc/tree-cfgcleanup.c (merge_phi_nodes): Ditto.
        * gcc/tree-ssa-pre.c (do_pre): Ditto.
        (execute_fre): Ditto.
        * gcc/cfgcleanup.c (rest_of_handle_jump): Ditto.
        (rest_of_handle_jump2): Ditto.
        * gcc/tree-sra.c (tree_sra): Ditto.
        * gcc/tree-mudflap.c (execute_mudflap_function_ops): Ditto.
        (execute_mudflap_function_decls): Ditto.
        * gcc/tree-ssa-copy.c (do_copy_prop): Ditto.
        (do_store_copy_prop): Ditto.
        * gcc/ipa-prop.h (ipcp_driver): Ditto.
        * gcc/cfglayout.c (insn_locators_initialize): Ditto.
        * gcc/tree-ssa-forwprop.c
        (tree_ssa_forward_propagate_single_use_vars): Ditto.
        * gcc/cfglayout.h (insn_locators_initialize): Ditto.
        * gcc/tree-ssa-dce.c (tree_ssa_dce): Ditto.
        * gcc/tree-ssa.c (execute_early_warn_uninitialized): Ditto.
        (execute_late_warn_uninitialized): Ditto.
        * gcc/rtl.h (cleanup_barriers): Ditto.
        (split_all_insns_noflow): Ditto.
        (purge_line_number_notes): Ditto.
        (unshare_all_rtl): Ditto.
        (remove_unnecessary_notes): Ditto.
        (recompute_reg_usage): Ditto.
        (variable_tracking_main): Ditto.
        * gcc/integrate.c (emit_initial_value_sets): Ditto.
        * gcc/integrate.h (emit_initial_value_sets): Ditto.
        * gcc/tree-optimize.c (execute_free_datastructures): Ditto
        (execute_free_cfg_annotations): Ditto.
        (execute_fixup_cfg): Ditto.
        (execute_cleanup_cfg_pre_ipa): Ditto.
        (execute_cleanup_cfg_post_optimizing): Ditto.
        (execute_init_datastructures): Ditto.
        * gcc/tree-object-size.c (compute_object_sizes): Ditto.
        * gcc/combine.c (rest_of_handle_combine): Ditto.
        * gcc/tree-outof-ssa.c (rewrite_out_of_ssa): Ditto.
        * gcc/bb-reorder.c (duplicate_computed_gotos): Ditto.
        (rest_of_handle_reorder_blocks): Ditto.
        (rest_of_handle_partition_blocks): Ditto.
        * gcc/var-tracking.c (variable_tracking_main): Ditto.
        * gcc/tree-profile.c (tree_profiling): Ditto.
        * gcc/tree-vect-generic.c (expand_vector_operations): Ditto.
        * gcc/reg-stack.c (rest_of_handle_stack_regs): Ditto.
        * gcc/sched-rgn.c (rest_of_handle_sched): Ditto.
        (rest_of_handle_sched2): Ditto.
        * gcc/basic-block.h (free_bb_insn): Ditto.
        * gcc/tree-ssa-structalias.c (ipa_pta_execute): Ditto.
        * gcc/tree-cfg.c (execute_build_cfg): Ditto.
        (remove_useless_stmts): Ditto.
        (split_critical_edges): Ditto.
        (execute_warn_function_return): Ditto.
        (execute_warn_function_noreturn): Ditto.
        * gcc/tree-ssa-reassoc.c (execute_reassoc): Ditto.
        * gcc/cfgrtl.c (free_bb_for_insn): Ditto.
        * gcc/passes.c (execute_one_pass): Run additional
        todos returned by execute function.
        * gcc/tree-pass.h (struct tree_opt_pass): Make execute
        return a value.

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

        * tree-ssa-alias.c (find_used_portions): Consider taking
        the address as making the variable not write-only.

2006-03-02  Nick Clifton  <nickc@redhat.com>

        * config.gcc (default_use_cxa_atexit): Extend the description of
        this configure variable.  Set its default value to "yes" for
        Linux, NetBSD and ELF targets on the assumption that they will
        use C libraries with the __cxa_atexit function.

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

        * config/rs6000/linux-unwind.h (frob_update_context): Mark `fs'
        parameter as unused to suppress a build warning.

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

        * mklibgcc.in: Depend on config/dfp-bit.h in rules that compile
        config/dfp-bit.c.

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

        PR other/26489
        * gthr-posix.h (__gthrw2): Define to take three parameters, the
        declared name, the weak reference name, and the typeof name.
        (__gthrw): Avoid expanding the declared name suffix.
        (__gthrw3): New Tru64 specific macro to simplify the OSF/1 decls.

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

        * dwarf2.h (DW_TAG_condition, DW_TAG_shared_type): New constants
        from DWARF 3.
        (DW_AT_description, DW_AT_binary_scale, DW_AT_decimal_scale,
        DW_AT_small, DW_AT_decimal_sign, DW_AT_digit_count,
        DW_AT_picture_string, DW_AT_mutable, DW_AT_threads_scaled,
        DW_AT_explicit, DW_AT_object_pointer, DW_AT_endianity,
        DW_AT_elemental, DW_AT_pure, DW_AT_recursive): New.
        (DW_OP_form_tls_address, DW_OP_call_frame_cfa, DW_OP_bit_piece): New.
        (DW_ATE_packed_decimal, DW_ATE_numeric_string, DW_ATE_edited,
        DW_ATE_signed_fixed, DW_ATE_unsigned_fixed): New.
        (DW_DS_unsigned, DW_DS_leading_overpunch, DW_DS_trailing_overpunch,
        DW_DS_leading_separate, DW_DS_trailing_separate): New.
        (DW_END_default, DW_END_big, DW_END_little): New.
        (DW_END_lo_user, DW_END_hi_user): Define.
        (DW_LNE_lo_user, DW_LNE_hi_user): Define.
        (DW_CFA_val_offset, DW_CFA_val_offset_sf, DW_CFA_val_expression): New.
        (DW_LANG_PLI, DW_LANG_ObjC, DW_LANG_ObjC_plus_plus, DW_LANG_UPC,
        DW_LANG_D): New.

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

        * tree.def (SYMBOL_MEMORY_TAG): Rename from TYPE_MEMORY_TAG.
        Update all users.
        * tree-pass.h (PROP_smt_usage): Rename from PROP_tmt_usage.
        Update all users.
        (TODO_update_smt_usage): Rename from TODO_update_tmt_usage.
        Update all users.
        * tree.h (SMT_USED_ALONE): Rename from TMT_USED_ALONE.
        Update all users.
        * tree-flow.h (struct var_ann_d): Rename field 'type_mem_tag'
        to 'symbol_mem_tag'.
        Update all users.
        * doc/tree-ssa.texi: Update documentation to reflect TMT->SMT
        rename.

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

        * builtins.c (fold_builtin_copysign): Delete unreachable code.

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

        PR target/25761
        * config/darwin.h (MACHOPIC_JUST_INDIRECT): Check just
        MACHO_DYNAMIC_NO_PIC_P.
        (MACHOPIC_PURE): Check flag_pic and not MACHO_DYNAMIC_NO_PIC_P.

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

        PR target/26389
        * config/darwin-protos.h (darwin_asm_output_anchor):
        Declare.
        * config/darwin-sections.def (cstring_section):
        Add SECTION_MERGE to the flags.
        (literal4_section): Likewise.
        (literal8_section): Likewise.
        (objc_selector_refs_section): Likewise.
        (objc_cls_refs_section): Likewise.
        * config/darwin.c (darwin_asm_output_anchor): New
        function.
        * config/darwin.h (TARGET_ASM_OUTPUT_ANCHOR): Define.

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

        Fix PR tree-optimization/26443
        * tree-vrp.c (pass_vrp): Add TODO_update_tmt_usage
        to todo and PROP_tmt_usage to properties_destroyed.
        * tree-ssa-ccp.c (pass_ccp): Ditto.
        (pass_store_ccp): Ditto.
        * tree-ssa-dom.c (pass_dominator): Ditto.

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

        * tree-ssa-operands.c: Cleanup whitespace.
        (get_asm_expr_operands): Move before first invocation.
        (get_indirect_ref_operands): Likewise.
        (get_tmr_operands): Likewise.
        (get_call_expr_operands): Likewise.
        (append_def): Likewise.
        (append_use): Likewise.
        (append_v_may_def): Likewise.
        (append_v_must_def): Likewise.
        (add_call_clobber_ops): Likewise.
        (add_call_read_ops): Likewise.
        (add_stmt_operand): Likewise.
        (add_virtual_operand): Likewise.
        (build_ssa_operands): Likewise.

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

        PR middle-end/26022
        Revert:
        PR middle-end/24437
        * tree-ssa-ccp.c (fold_stmt): Move folding of OBJ_TYPE_REF
        with a call expr to ...
        * fold-const.c (fold_ternary) <case CALL_EXPR>: Here.

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

        * tree-vrp.c (extract_range_from_assert): Remove special
        handling for types with super-types.

2006-03-01  Ben Elliston  <bje@au.ibm.com>

        * config.gcc: Add t-dfprules to $tmake_file for powerpc-*-linux*
        and powerpc64-*-linux* configurations.
        * config/t-dfprules: New file.

        * mklibgcc.in: Add logic to handle $DFP_ENABLE and $DFP_CFLAGS.
        Compile dfp-bit.c from the source directory using -DWIDTH and
        $DFP_CFLAGS to control the compilation of that file, rather than
        generating width-specific versions in the build directory.
        * Makefile.in (libgcc.mk): Pass down DFP_ENABLE and DFP_CFLAGS.
        (LIBGCC_DEPS): Replace $(D32PBIT) et al with config/dfp-bit.[hc].

2006-02-28  Zack Weinberg  <zackw@panix.com>

        * doc/md.texi: Avoid use of @headitem so that makeinfo <4.7
        continues to work.

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

        * config/rs6000/darwin.h (ENABLE_STACK_EXECUTE): Define.
        Set up IN_LIBGCC definition of TARGET_64BIT.
        * config/i386/darwin.h (ENABLE_STACK_EXECUTE): Define.

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

        PR middle-end/14752
        * c-common.c (c_common_truthvalue_conversion) <MINUS_EXPR,
        BIT_XOR_EXPR, BIT_AND_EXPR>: Delete.  Let fold optimize these
        cases via the construction of "expr != 0".

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

        * alias.c (alias_invariant, alias_invariant_size): Remove.
        (record_base_value): Remove.
        (memrefs_conflict_p): Don't look at alias_invariant.
        (end_alias_analysis): Don't free it.
        * alias.h (record_base_value): Remove prototype.

2006-02-28  Paolo Bonzini  <bonzini@gnu.org>
            Adam Nemet  <anemet@caviumnetworks.com>

        * rtl.h (truncated_to_mode): Declare it.
        (struct rtl_hooks): Add reg_truncated_to_mode hook.
        * rtlhooks-def.h (RTL_HOOKS_REG_TRUNCATED_TO_MODE): New macro.
        (RTL_HOOKS_INITIALIZER): Include it.
        * rtlhooks.c (reg_truncated_to_mode_general): New function.
        * combine.c (RTL_HOOKS_REG_TRUNCATED_TO_MODE): Override to
        reg_truncated_to_mode.
        * rtlanal.c (truncated_to_mode): Define it.
        * simplify-rtx.c (simplify_unary_operation_1): Use it.

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

        * tree-chrec.c (chrec_convert_aggressive): Do not eliminate
        conversions where TYPE_MIN_VALUE/TYPE_MAX_VALUE do not cover
        the range allowed by TYPE_PRECISION.

        * tree.h (strct phi_arg_d): Remove unused NONZERO field.

2006-02-28  Dorit Nuzman  <dorit@il.ibm.com>

        PR tree-optimization/26419
        * doc/invoke.texi (ftree-vectorizer-verbose): Add information on
        values of n.

2006-02-27  Zack Weinberg  <zackw@panix.com>

        * doc/md.texi: Fix typo in previous change.

2006-02-27  Kenneth Zadeck <zadeck@naturalbridge.com>

        * df.c: Remove.

2006-02-27  Zack Weinberg  <zackw@panix.com>

        * rtl.def (define_constraint, define_register_constraint)
        (define_memory_constraint, define_address_constraint): New MD forms.
        * gensupport.c (process_rtx): Put define_constraint etc on the
        predicate queue.
        * genpreds.c (process_define_predicate): Adjust comment.  Validate
        the name, and call validate_exp to validate the expression.
        (mark_mode_tests, write_extract_subexp): Can assume correct input.
        (write_predicate_expr): Likewise.  NAME argument no longer necessary;
        all callers changed.
        (validate_exp, needs_variable, struct constraint_data)
        (constraints_by_letter_table, first_constraint, last_constraint_ptr)
        (FOR_ALL_CONSTRAINTS, generic_constraint_letters, const_int_constraints)
        (const_dbl_constraints, constraint_max_namelen)
        (have_register_constraints, have_memory_constraints)
        (have_address_constraints, have_address_constraints)
        (have_extra_constraints, have_const_int_constraints)
        (have_const_dbl_constraints, mangle, add_constraint)
        (process_define_constraint, process_define_register_constraint)
        (write_enum_constraint_num, write_lookup_constraint)
        (write_insn_constraint_len, write_regclass_for_constraint)
        (write_constraint_satisfied_p, write_insn_const_int_ok_for_constraint)
        (write_insn_extra_memory_constraint)
        (write_insn_extra_address_constraint)
        (write_satisfies_constraint_fns): New.
        (write_tm_preds_h): If we have new-style constraint definitions,
        prototype the functions generated from them, and define the
        old constraint interface (still used by generic code) in terms of
        those functions.
        (write_insn_preds_c): If we have new-style constraint definitions,
        generate all relevant functions from those definitions.
        (main): Handle define_constraint etc.
        * genoutput.c (struct constraint_data, indep_constraints)
        (mdep_constraint_letters, constraints_by_letter_table, note_constraint)
        (mdep_constraint_len): New data structures and functions, defined
        #ifdef USE_MD_CONSTRAINTS.
        (check_constraint_len): Don't define #ifdef USE_MD_CONSTRAINTS.
        (validate_insn_alternatives): If USE_MD_CONSTRAINTS is defined,
        use new logic to validate operand constraints against constraint
        definitions.
        (main): Process define_constraint etc. if USE_MD_CONSTRAINTS is
        defined.
        * defaults.h: If none of the old-style constraint macros are
        defined, define USE_MD_CONSTRAINTS; do not provide defaults for any
        old-style macros; and poison REG_CLASS_FROM_LETTER,
        CONST_OK_FOR_LETTER_P, CONST_DOUBLE_OK_FOR_LETTER_P, and
        EXTRA_CONSTRAINT.
        * recog.c (reg_fits_class_p): If cl is NO_REGS, return 0 immediately.
        * doc/md.texi: Document new constraint-definition mechanism and the
        C interface it provides.  Remove references to old mechanism
        elsewhere in the document.
        (Machine Constraints): Use pathnames relative to gcc directory,
        i.e. config/ARCH/FILE.  Change i386 section to refer to
        config/i386/predicates.md; update that section to match docstrings.
        * doc/tm.texi: Move all documentation of the old constraint-
        definition macros to their own section, clearly mark as obsolete.

        * config/i386/predicates.md (R, q, Q, l, a, b, c, d, S, D, A, f, t)
        (u, y, x, Y, I, J, K, L, M, N, O, G, C, e, Z): New constraint
        definitions.
        * config/i386/i386.h (REG_CLASS_FROM_LETTER, CONST_OK_FOR_LETTER_P)
        (CONST_DOUBLE_OK_FOR_LETTER_P, EXTRA_CONSTRAINT): Delete.
        * config/i386/i386.md (*movdf_nointeger): Remove stray 'H' from
        constraint strings.
        (splits and peepholes): Use satisfies_constraint_*.
        * config/i386/i386.c (memory_address_length)
        (ix86_attr_length_immediate_default): Use satisfies_constraint_*.

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

        * lambda-code.c (can_convert_to_perfect_nest): Allow any type of
        scalar operation to be put back into the loop.

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

        PR other/26208
        * unwind-dw2.c (struct _Unwind_Context): Add signal_frame field.
        (extract_cie_info): Handle S flag in augmentation string.
        (execute_cfa_program): If context->signal_frame, execute also
        fs->pc == context->ra instructions.
        (uw_frame_state_for): If context->signal_frame, don't subtract one
        from context->ra to find FDE.
        (uw_update_context_1): Set context->signal_frame to
        fs->signal_frame.
        (_Unwind_GetIPInfo): New function.
        * unwind-dw2.h (_Unwind_FrameState): Add signal_frame field.
        * unwind-c.c (PERSONALITY_FUNCTION): Use _Unwind_GetIPInfo instead
        of _Unwind_GetIP.
        * unwind-sjlj.c (_Unwind_GetIPInfo): New function.
        * unwind-generic.h (_Unwind_GetIPInfo): New prototype.
        * unwind-compat.c (_Unwind_GetIPInfo): New function.
        * libgcc-std.ver (_Unwind_GetIPInfo): Export @@GCC_4.2.0.
        * config/ia64/unwind-ia64.c (_Unwind_GetIPInfo): New function.
        * config/arm/unwind-arm.h (_Unwind_GetIPInfo): Define.
        * config/i386/linux-unwind.h (x86_fallback_frame_state,
        x86_64_fallback_frame_state): Set fs->signal_frame.
        * config/rs6000/linux-unwind.h (ppc_fallback_frame_state): Likewise.
        (MD_FROB_UPDATE_CONTEXT): Define unconditionally.
        (frob_update_context): Likewise.  Workaround missing S flag in
        Linux 2.6.12 - 2.6.16 kernel vDSOs.
        * config/s390/linux-unwind.h (s390_fallback_frame_state): Likewise.
        Remove the psw_addr + 1 hack.

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

        * tree-ssa-structalias.c (get_constraint_for): Move code to deal
        with aggregates here.
        (find_func_aliases): Remove code for &<aggregate> from here.

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

        * fold-const.c (fold_binary) <EQ_EXPR>:  Fold (~X & C) eq/ne 0 as
        (X & C) ne/eq 0, where C is a single bit, i.e. a power of two.
        Fold both "((X & C) ^ C) eq/ne 0" and "((X ^ C) & C) eq/ne 0"
        as (X & C) ne/eq 0.

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

        PR middle-end/19983
        * real.c (real_nan): Allow both 0x and 0X as hexadecimal prefixes.

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

        * opts.c (decode_options): Do not handle flag_strength_reduce.
        (common_handle_option): Handle OPT_floop_optimize, OPT_frerun_loop_opt
        and OPT_fstrength_reduce.
        * tree-ssa-loop.c (tree_ssa_loop_prefetch): Only test
        flag_prefetch_loop_arrays for being nonzero.
        * common.opt (floop-optimize, frerun-loop-opt): Resurrected as
        no-ops.
        (fprefetch-loop-arrays-rtl): Removed.
        (flag_prefetch_loop_arrays): Do not specify the value.

        * doc/passes.texi: Update documentation of loop optimizer
        passes.
        * doc/invoke.texi (-fstrength-reduce, -fprefetch-loop-arrays-rtl,
        -frerun-loop-opt): Remove.

2006-02-26  Richard Guenther  <rguenther@suse.de>

        PR tree-optimization/26421
        * tree-ssa-alias.c (find_used_portions): Don't treat parameters
        in function calls that are ADDR_EXPRs as using the whole structure.

2006-02-26  Steven Bosscher  <stevenb.gcc@gmail.com>

        * common.opt (-floop-optimize, -frerun-loop-opt): Remove.
        * tree-pass.h (pass_loop_optimize): Remove.
        * passes.c (pass_loop_optimize): Never run it.
        * toplev.c (backend_init): Don't call init_loop.
        * opts.c (flag_loop_optimize_set): Remove.
        (decode_options): Never set flag_loop_optimize or flag_rerun_loop_opt.
        (common_handle_option) <OPT_floop_optimize>: Remove.  Don't disable
        the old RTL loop optimizer when profiling enabled.
        * predict.c (tree_estimate_probability): Always strip builtin_expect.
        * cfgcleanup.c (try_forward_edges): Don't avoid killing loop
        pre-headers for the sake of the old RTL loop optimizer.
        * Makefile.in: Remove all references to loop.o.

        * doc/invoke.texi: Remove all references to -floop-optimize
        and -frerun-loop-opt.

2006-02-26  Zack Weinberg  <zackw@panix.com>

        * doc/md.texi (Machine Constraints): Refer to all files with paths
        relative to gcc directory (i.e. config/CPU/file).  Add missing
        @table @code ... @end table to M32C subsection.

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

        * fold-const.c (fold_binary) <BIT_XOR_EXPR>: Fold (X & 1) ^ 1 as
        (X & 1) == 0.
        <BIT_AND_EXPR>: Fold (X ^ 1) & 1 and ~X & 1 as (X & 1) == 0.

2006-02-26  Roger Sayle  <roger@eyesopen.com>
            James A. Morrison  <phython@gcc.gnu.org>

        PR middle-end/21137
        * fold-const.c (fold_binary) <EQ_EXPR>:  Fold ((X>>C1)&C2) eq/ne 0,
        when C2 is a power of two, as either (X&(C2<<C1)) eq/ne 0 if the
        new constant C2<<C1, or as (X<0) or (X,false) depending upon the
        signedness of the shift operation.

2006-02-26  Dorit Nuzman  <dorit@il.ibm.com>

        PR tree-optimization/26359
        * tree-ssa-alias.c (new_type_alias): Set fields for new tag.

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

        * simplify-rtx.c (simplify_relational_operation_1):  Simplify
        (X^Y) == 0 as X == Y and (X^Y) != 0 as X != Y.  Simplify (X^Y) == Y
        as X == 0, and some symmetry related transformations.
        Simplify (X^C1) == C2 as X == (C1^C2).  Split long comment line.

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

        PR middle-end/23673
        * fold-const.c (fold_binary) <EQ_EXPR>:  Fold (X^Y) == 0 as X == Y
        and (X^Y) != 0 as X != Y.  Fold (X^Y) == Y as X == 0, and some
        symmetry related transformations.  Fold (X^C1) == C2 as
        X == (C1^C2).

2006-02-25  Juergen Weigert  <jw@suse.de>
        Richard Guenther  <rguenther@suse.de>

        * scan-decls.c (scan_decls): Don't fetch new statement after CPP_EOF.

2006-02-24  Adam Nemet  <anemet@caviumnetworks.com>

        * combine.c (gen_lowpart_or_truncate): Call
        simplify_gen_unary(TRUNCATE, ...) instead of gen_rtx_TRUNCATE.

2006-02-24  Diego Novillo  <dnovillo@redhat.com>

        * doc/invoke.texi: Move -fopenmp description to "Options for
        Code Generation".
        Remove reference to -lgomp.

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

        * doc/install.texi: Require GNU tar version 1.14.

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

        * doc/tm.texi (Run-time Target): Document C_COMMON_OVERRIDE_OPTIONS.
        * doc/invoke.texi (C++ Dialect Options): Document
        -fno-use-cxa-get-exception-ptr.
        * configure.ac: Define DEFAULT_USE_CXA_ATEXIT to 2 not 1.
        * configure: Regenerate.
        * c.opt (fuse-cxa-get-exception-ptr): New.
        * c-opts.c (c_common_handle_option): Handle
        OPT_fuse_cxa_get_exception_ptr.
        * c-common.c (flag_use_cxa_atexit): Update documentation.
        (flag_use_cxa_get_exception_ptr): New.
        * c-common.h (flag_use_cxa_get_exception_ptr): New.
        * config/rs6000/darwin.h (SUBTARGET_OVERRIDE_OPTIONS): Improve
        documentation.
        (C_COMMON_OVERRIDE_OPTIONS): New.

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

        PR middle-end/24952
        * combine.c (try_combine): Explicitly check whether GET_CODE is
        a SET or a CLOBBER, instead on checking that it isn't a USE.

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

        * fold-const.c (fold_comparison): New subroutine of fold_binary
        containing transformations common to both the equality and
        ordering relational operators, factored out of fold_binary.
        (fold_binary): Separate out the equality operators (EQ_EXPR
        and NE_EXPR) from the ordering operators (LT_EXPR, GT_EXPR,
        LE_EXPR and GE_EXPR), calling fold_comparison to perform the
        transformations common to both.
        (fold_div_compare): Fix latent bugs in the previously unreachable
        LT_EXPR and GE_EXPR cases.

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

        * config/rs6000/rs6000.c (rs6000_init_builtins): Change
        decl libname for clog to __clog on AIX.

        * config/rs6000/xcoff.h (MAX_OFILE_ALIGNMENT): Define.

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

        PR target/26453
        * config/rs6000/rs6000.c (rs6000_output_function_epilogue): Don't
        output traceback table for thunks.  Localise rs6000_stack_info call.

2006-02-23  Roger Sayle  <roger@eyesopen.com>
            Rainer Orth  <ro@TechFak.Uni-Bielefeld.DE>

        * gthr-posix.h (__gthrw): Fix typo in comment.

2006-02-23  Geoffrey Keating  <geoffk@apple.com>

        * doc/cpp.texi (Character sets): Document that we do support
        input files to be in any character set.

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

        * tree.h (PHI_ARG_NONZERO): Remove.
        * tree-phinodes.c (add_phi_arg): No longer initialize PHI_ARG_NONZERO.
        (remove_phi_arg_num): No longer copy PHI_ARG_NONZERO from the old
        node to the new node.

        PR tree-optimization/26425
        * tree-vrp.c (vrp_visit_assignment): If the LHS's type has a NULL
        min/max, then assume its varying.

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

        PR rtl-optimization/26316
        * rtlanal.c (enum may_trap_p_flags): New.
        (may_trap_p_1): Take flags instead of unaligned_mems argument.  Ignore
        MEM_NOTRAP_P if flags & MTP_AFTER_MOVE.
        (may_trap_p, may_trap_or_fault_p): Pass flags to may_trap_p_1.
        (may_trap_after_code_motion_p): New function.
        * loop-invariant.c (find_identical_invariants): Fix dump formating.
        (find_invariant_insn): Use may_trap_after_code_motion_p.
        * rtl.h (may_trap_after_code_motion_p): Declare.

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

        * emit-rtl.c (immed_double_const): Cleanup.

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

        Fix PR tree-optimization/26376
        * tree-ssa-structalias.c (find_func_aliases):  Use get_id_for_tree,
        remove assert.

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

        PR middle-end/26412
        * gimplify.c (omp_add_variable): Guard variable size decl test with
        DECL_SIZE (decl) check.

2006-02-23  Richard Guenther  <rguenther@suse.de>

        PR middle-end/26439
        * tree-ssa-structalias.c (find_func_aliases): Handle complex types
        like aggregate types.

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

        * configure.ac: Add --with{,out}-long-double-128 configure option.
        (TARGET_DEFAULT_LONG_DOUBLE_128): New test.
        * configure: Rebuilt.
        * config.in: Rebuilt.
        * doc/install.texi (Options specification): Document
        --with-long-double-128.

        * config/rs6000/linux.h [TARGET_DEFAULT_LONG_DOUBLE_128]
        (RS6000_DEFAULT_LONG_DOUBLE_SIZE): Define to 128.
        * config/rs6000/linux64.h [TARGET_DEFAULT_LONG_DOUBLE_128]
        (RS6000_DEFAULT_LONG_DOUBLE_SIZE): Define to 128.

2006-02-23  Aldy Hernandez  <aldyh@redhat.com>

        * config/s390/s390.c (override_options): Handle
        TARGET_DEFAULT_LONG_DOUBLE_128.

        * config/alpha/alpha.c (override_options): Handle
        TARGET_DEFAULT_LONG_DOUBLE_128.

        * config/sparc/sparc.c (sparc_override_options): Handle
        TARGET_DEFAULT_LONG_DOUBLE_128.

2006-02-22  Daniel Jacobowitz  <dan@codesourcery.com>

        * Makefile.in (stmp-fixinc): Use real-$(INSTALL_HEADERS_DIR).
        (real-install-headers-tar, real-install-headers-cpio)
        (real-install-headers-cp): New targets.

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

        * tree.h (variable_section): Delete.
        * varasm.c (variable_section): Delete.

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

        * install.texi: Add notes on install.texi2html.
        (Building in parallel): Do not use footnotes.

2006-02-21  Aldy Hernandez  <aldyh@redhat.com>

        PR libgomp/26234
        * doc/install.texi (Configuration): Document --disable-libgomp.

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

        * config/i386/darwin.h (DWARF2_FRAME_REG_OUT): New.

2006-02-21  Alexandre Oliva  <aoliva@redhat.com>

        * config/i386/sse.md (vec_extractv2df_1_sse): New.
        (vec_extractv2df_0_sse): New.

2006-02-21  Alexandre Oliva  <aoliva@redhat.com>

        * defaults.h (CFA_FRAME_BASE_OFFSET): Define.
        * config/ia64/ia64.h (CFA_FRAME_BASE_OFFSET): Override.
        * doc/tm.texi (CFA_FRAME_BASE_OFFSET): Document.
        * dwarf2out.c (build_cfa_loc): New offset parameter.  Add it
        to the result of the expression.
        (def_cfa_1): Adjust.
        (frame_pointer_cfa_offset): Rename to...
        (frame_pointer_fb_offset): ... this.  Adjust all uses.
        (convert_cfa_to_loc_list): Rename to...
        (convert_cfa_to_fb_loc_list): ... this.  New offset parameter.
        Pass it on to build_cfa_loc.
        (compute_frame_pointer_to_cfa_displacement): Rename to...
        (compute_frame_pointer_to_fb_displacement): ... this.  New
        offset parameter.  Use it in computation.
        (gen_subprogram_die): Compute cfa_fb_offset with the new
        macro, and use it to compute the fb loc list and the
        displacement.

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

        * config/bfin/predicates.md (cc_operand): Delete predicate.  All uses
        replaced with register_operand.
        * config/bfin/bfin.c (bfin_register_move_cost): Moving CC to any
        non-DREG is expensive.
        * config/bfin/bfin.h (FIXED_REGISTERS): CC isn't fixed.
        * config/bfin/bfin.md (movbi): Fix constraints and template for moves
        involving memory.

2006-02-21  Joseph S. Myers  <joseph@codesourcery.com>

        * doc/install.texi2html: Use set -e.

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

        * doc/tm.texi (ASM_OUTPUT_SHARED_COMMON, ASM_OUTPUT_SHARED_BSS)
        (ASM_OUTPUT_SHARED_LOCAL): Delete.
        * doc/invoke.texi (-fshared-data): Delete.
        * common.opt (fshared-data): Delete.
        * varasm.c (asm_emit_uninitialised): Remove flag_shared_data handling.
        (assemble_static_space): Remove #if 0 code.
        * system.h (ASM_OUTPUT_SHARED_COMMON, ASM_OUTPUT_SHARED_BSS)
        (ASM_OUTPUT_SHARED_LOCAL): Poison.
        * config/cris/cris.h: Remove FIXME.

2006-02-21  Paolo Bonzini  <bonzini@gnu.org>

        * doc/sourcebuild.texi (Front End Directory): No more double-colon
        hooks.

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

        PR middle-end/26379
        * combine.c (simplify_shift_const_1): Disable nested shifts
        optimization for vector shifts.

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

        PR tree-optimization/26361
        * tree-vrp.c (extract_range_from_unary_expr): Handle NEGATE_EXPR
        of unsigned integer types.

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

        * tree-chrec.c (eq_evolutions_p): New.
        * tree-chrec.h (eq_evolutions_p): Declared.
        * tree-data-ref.c: Fix formatting.
        (datadep_stats, dependence_stats): New.
        (gcd): Moved...
        (print_direction_vector): New.
        (dump_data_dependence_relation): Use print_direction_vector.
        (object_analysis, create_data_ref): Handle COMPONENT_REF.
        (compute_subscript_distance): Static.
        (initialize_data_dependence_relation): Static.  Get the number
        of loops surrounding the references from the callers, and initialize
        DDR_SIZE_VECT to nb_loops.  Use both base_addr_differ_p and
        base_object_differ_p analyzers.
        (analyze_ziv_subscript, analyze_siv_subscript_cst_affine,
        compute_overlap_steps_for_affine_1_2,
        analyze_subscript_affine_affine): Count the classified dependences.
        Print a message when a test failed.
        (can_use_analyze_subscript_affine_affine): New.
        (analyze_siv_subscript): Compute the data dependences on symbolic
        scevs that verify can_use_analyze_subscript_affine_affine.
        (chrec_steps_divide_constant_p): Returns true, false, or unknown.
        (analyze_miv_subscript): Update use of chrec_steps_divide_constant_p.
        Handle symbolic scevs.
        (analyze_overlapping_iterations): Let symbolic affine scevs to be
        analyzed.
        (subscript_dependence_tester): Moved...
        (build_classic_dist_vector, build_classic_dir_vector): Don't use
        lambda_vector_clear on newly allocated vectors.  Get nb_loops from
        DDR_SIZE_VECT instead of getting it in parameter.
        (subscript_dependence_tester): ... here.  Take as a parameter
        loop_nest_depth.  Call build_classic_dist_vector and
        build_classic_dir_vector.
        (compute_affine_dependence): Update subscript_dependence_tester
        parameters.  Update datadep_stats counters.  Call
        compute_subscript_distance.
        (compute_self_dependence): Save the dist and dir vectors.  Call
        compute_subscript_distance.
        (ddr_p, DEF_VEC_P(ddr_p), DEF_VEC_ALLOC_P(ddr_p,heap)): Moved...
        (compute_all_dependences): Reorder parameters as they were before
        conversion to VEC.  Pass nb_loops and loop_nest_depth.  Don't call
        compute_subscript_distance.  Update the use of
        compute_affine_dependence and initialize_data_dependence_relation.
        (find_data_references_in_loop): Handle COMPONENT_REF.
        (compute_data_dependences_for_loop): Initialize dependence_stats.
        Don't call build_classic_dist_vector and build_classic_dir_vector.
        Update the parameters of initialize_data_dependence_relation and
        compute_all_dependences.  Print the statistics from datadep_stats.
        (analyze_all_data_dependences): Static.  Not used until the pass for
        checking the data dependences is contributed.
        * tree-data-ref.h (ddr_p, DEF_VEC_P(ddr_p),
        DEF_VEC_ALLOC_P(ddr_p,heap)): ... here.
        (initialize_data_dependence_relation, compute_affine_dependence,
        analyze_all_data_dependences, compute_subscript_distance): Removed.
        (print_direction_vector): New.
        * lambda.h (gcd): ... here.
        (lambda_vector_gcd): Moved here from gcd_vector.
        * lambda-code.c (gcd, gcd_vector): Removed.
        (lambda_compute_target_space): Use lambda_vector_gcd.  Fix formatting.
        * Makefile.in (tree-vect-patterns.o): Depends on TREE_DATA_REF_H.

2006-02-20  Diego Novillo  <dnovillo@redhat.com>

        * ipa-type-escape.c: Tidy some comments and white space.
        * tree-ssa-operands.c: Likewise.

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

        PR tree-opt/25879
        * tree-pretty-print.c (debug_tree_chain): Walk the chains.
        (dump_decl_name): Do not walk the decl tree chains.
        * tree-pass.h (TDF_CHAIN): Remove.

2006-02-20  Rafael Ávila de Espíndola  <rafael.espindola@gmail.com>

        * Makefile.in (C): Remove
        (PROTO): Remove
        (.PHONY): Remove C and PROTO

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

        PR middle-end/26236
        * doc/c-tree.texi (INTEGER_TYPE): Remove reference to the now
        deprecated CHAR_TYPE tree code.

2006-02-20  Paolo Bonzini  <bonzini@gnu.org>

        * configure.ac (target_list): Add install-info, dvi, html.
        * configure: Regenerate.

        * ada/Make-lang.in, cp/Make-lang.in, fortran/Make-lang.in,
        java/Make-lang.in, objc/Make-lang.in, objcp/Make-lang.in,
        treelang/Make-lang.in: Do not use double-colon rules.

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

        * tree.h (struct tree_memory_tag): Add is_used_alone member.
        (TMT_USED_ALONE): New macro.
        * tree-pass.h (PROP_tmt_usage): New property.
        (TODO_update_tmt_usage): New todo.
        * tree-ssa-alias.c (updating_used_alone): New variable.
        (recalculate_used_alone): New function.
        (compute_may_aliases): Set updating_used_alone, call
        recalculate_used_alone.
        * tree-sra.c (pass_sra): Note that this pass destroys
        PROP_tmt_usage, and add TODO_update_tmt_usage.
        * tree-ssa-forwprop.c (pass_forwprop): Ditto.
        * tree-flow.h (updating_used_alone): Prototype.
        (recalculate_used_alone): Ditto.
        * passes.c (execute_todo): Add code to set updating_used_alone,
        and call recalculate.
        * tree-ssa-operands.c (add_virtual_operand): Only append bare def
        for clobber if used alone, and add assert to verify used_alone
        status.

2006-02-20  Angel Nunez Mencias  <anunez@de.ibm.com>

        * config/s390/s390.c (legitimize_pic_address): Assertions checking
        for non tls symbols added.
        (legitimize_address): Do nothing for PLUS expressions if one of the
        addends is a tls symbol reference.

2006-02-20  Paolo Bonzini  <bonzini@gnu.org>

        PR bootstrap/25476

        * Makefile.in (LDFLAGS): Define from autoconf substitution.

        * Makefile.in (BOOTSTRAPPING): New.
        (quickstrap): New definition if BOOTSTRAPPING=yes.

        * Makefile.in (CONFIG_LANGUAGES): Substitute all_selected_languages.
        * configure.ac: Substitute all_selected_languages with the languages
        that were configured.  For all the other variables except
        lang_specs_files, include all the languages in the tree.
        * configure: Regenerate.

        * Makefile.in (stmp-fixinc): Copy includes from the prev-gcc directory,
        if there is one.  Run the commands to run fixincludes in the same
        subshell.

        * doc/makefile.texi: Document new makefile targets from toplevel bootstrap.
        * doc/install.texi: Document exact conventions for searching target tools.
        Document --with-build-time-tools.  Document toplevel bootstrap.  Document
        something more about building an Ada cross-compiler.  Don't list GNU Make
        requirements which affect all platforms.

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

        PR middle-end/19543
        * varasm.c (compare_constant) <INTEGER_CST>: Integer constants are
        only equivalent if the have both the same mode and precision.

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

        * doc/tree-ssa.texi (Interfaces): Describe low vs. high GIMPLE.

2006-02-19  Roger Sayle  <roger@eyesopen.com>
            Steven Bosscher  <stevenb.gcc@gmail.com>

        * gcse.c (want_to_gcse_p): On STACK_REGS targets, look through
        constant pool references to identify stack mode constants.
        * rtlanal.c (constant_pool_constant_p): New predicate to check
        whether operand is a floating point constant in the pool.
        * rtl.h (constant_pool_constant_p): Prototype here.
        * loop.c (scan_loop): Avoid hoisting constants from the constant
        pool on STACK_REGS targets.
        (load_mems): Likewise.
        * loop-invariant.c (get_inv_cost): Make hoisting constant pool
        loads into x87 registers expensive in terms of register pressure.

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

        * gthr-posix.h: On Tru64, map __gthr_foo as a weak reference to
        __foo and not foo when _PTHREAD_USE_MANGLED_NAMES_ is defined.

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

        * config/rs6000/xcoff.h (TARGET_ASM_OUTPUT_ANCHOR): Define.
        * config/rs6000/rs6000.c (rs6000_xcoff_asm_output_anchor): Define.

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

        * doc/invoke.texi: Document -fipa-pta.
        * common.opt: Add ipa-pta option.
        * tree-ssa-structalias.c (DONT_PROPAGATE_WITH_ANYTHING): Removed.
        (do_sd_constraint): Enable DONT_PROPAGATE_WITH_ANYTHING code.
        (do_ds_constraint): Ditto.
        (get_constraint_for): Only add to referenced_vars if
        referenced_vars exists.
        (insert_into_field_list): Rewrite to do this unsorted.
        (insert_into_field_list_sorted): Rename old insert_into_field_list
        to this.
        (create_function_info_for): Use insert_into_field_list_sorted.
        (create_variable_info_for): Rewrite so it uses unsorted version,
        since the field list is sorted.
        (intra_create_variable_infos): Only add to referenced_vars if
        referenced_vars exists.
        (ipa_pta_execute): Init heapvars, and delete when done.
        * passes.c (init_optimization_passes): Add call to pass_ipa_pta.

2006-02-19  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>

        * doc/install.texi: Add missing `@samp'.

2006-02-18  Andrew Pinski <pinskia@physics.uc.edu>

        * config/rs6000/darwin.h (ASM_OUTPUT_SPECIAL_POOL_ENTRY_P):
        Use the arguments.

2006-02-18  Mark Wielaard  <mark@klomp.org>

        * doc/contrib.texi (Contributors): Add classpath/libgcj hackers
        who added new 4.1 features, bug fixes and integration support.

2006-02-18  David Edelsohn  <edelsohn@gnu.org>

        PR target/26350
        * config/rs6000/rs6000.md (extenddftf2): Force 0.0 to validized
        MEM for ABI_V4 pic.

2006-02-18  Richard Sandiford  <richard@codesourcery.com>

        * cselib.c (cselib_init): Change RTX_SIZE to RTX_CODE_SIZE.
        * emit-rtl.c (copy_rtx_if_shared_1): Use shallow_copy_rtx.
        (copy_insn_1): Likewise.  Don't copy each field individually.
        Reindent.
        * read-rtl.c (apply_macro_to_rtx): Use RTX_CODE_SIZE instead
        of RTX_SIZE.
        * reload1.c (eliminate_regs): Use shallow_copy_rtx.
        * rtl.c (rtx_size): Rename variable to...
        (rtx_code_size): ...this.
        (rtx_size): New function.
        (rtx_alloc_stat): Use RTX_CODE_SIZE instead of RTX_SIZE.
        (copy_rtx): Use shallow_copy_rtx.  Don't copy each field individually.
        Reindent.
        (shallow_copy_rtx_stat): Use rtx_size instead of RTX_SIZE.
        * rtl.h (rtx_code_size): New variable.
        (rtx_size): Change from a variable to a function.
        (RTX_SIZE): Rename to...
        (RTX_CODE_SIZE): ...this.

        PR target/9703
        PR tree-optimization/17106
        * doc/tm.texi (TARGET_USE_BLOCKS_FOR_CONSTANT_P): Document.
        (Anchored Addresses): New section.
        * doc/invoke.texi (-fsection-anchors): Document.
        * doc/rtl.texi (SYMBOL_REF_IN_BLOCK_P, SYMBOL_FLAG_IN_BLOCK): Likewise.
        (SYMBOL_REF_ANCHOR_P, SYMBOL_FLAG_ANCHOR): Likewise.
        (SYMBOL_REF_BLOCK, SYMBOL_REF_BLOCK_OFFSET): Likewise.
        * hooks.c (hook_bool_mode_rtx_false): New function.
        * hooks.h (hook_bool_mode_rtx_false): Declare.
        * gengtype.c (create_optional_field): New function.
        (adjust_field_rtx_def): Add the "block_sym" field for SYMBOL_REFs when
        SYMBOL_REF_IN_BLOCK_P is true.
        * target.h (output_anchor, use_blocks_for_constant_p): New hooks.
        (min_anchor_offset, max_anchor_offset): Likewise.
        (use_anchors_for_symbol_p): New hook.
        * toplev.c (compile_file): Call output_object_blocks.
        (target_supports_section_anchors_p): New function.
        (process_options): Check that -fsection-anchors is only used on
        targets that support it and when -funit-at-a-time is in effect.
        * tree-ssa-loop-ivopts.c (prepare_decl_rtl): Only create DECL_RTL
        if the decl doesn't have one.
        * dwarf2out.c: Remove instantiations of VEC(rtx,gc).
        * expr.c (emit_move_multi_word, emit_move_insn): Pass the result
        of force_const_mem through use_anchored_address.
        (expand_expr_constant): New function.
        (expand_expr_addr_expr_1): Call it.  Use the same modifier when
        calling expand_expr for INDIRECT_REF.
        (expand_expr_real_1): Pass DECL_RTL through use_anchored_address
        for all modifiers except EXPAND_INITIALIZER.  Use expand_expr_constant.
        * expr.h (use_anchored_address): Declare.
        * loop-unroll.c: Don't declare rtx vectors here.
        * explow.c: Include output.h.
        (validize_mem): Call use_anchored_address.
        (use_anchored_address): New function.
        * common.opt (-fsection-anchors): New switch.
        * varasm.c (object_block_htab, anchor_labelno): New variables.
        (hash_section, object_block_entry_eq, object_block_entry_hash)
        (use_object_blocks_p, get_block_for_section, create_block_symbol)
        (use_blocks_for_decl_p, change_symbol_section): New functions.
        (get_variable_section): New function, split out from assemble_variable.
        (make_decl_rtl): Create a block symbol if use_object_blocks_p and
        use_blocks_for_decl_p say so.  Use change_symbol_section if the
        symbol has already been created.
        (assemble_variable_contents): New function, split out from...
        (assemble_variable): ...here.  Don't output any code for
        block symbols; just pass them to place_block_symbol.
        Use get_variable_section and assemble_variable_contents.
        (get_constant_alignment, get_constant_section, get_constant_size): New
        functions, split from output_constant_def_contents.
        (build_constant_desc): Create a block symbol if use_object_blocks_p
        says so.  Or into SYMBOL_REF_FLAGS.
        (assemble_constant_contents): New function, split from...
        (output_constant_def_contents): ...here.  Don't output any code
        for block symbols; just pass them to place_section_symbol.
        Use get_constant_section and get_constant_alignment.
        (force_const_mem): Create a block symbol if use_object_blocks_p and
        use_blocks_for_constant_p say so.  Or into SYMBOL_REF_FLAGS.
        (output_constant_pool_1): Add an explicit alignment argument.
        Don't switch sections here.
        (output_constant_pool): Adjust call to output_constant_pool_1.
        Switch sections here instead.  Don't output anything for block symbols;
        just pass them to place_block_symbol.
        (init_varasm_once): Initialize object_block_htab.
        (default_encode_section_info): Keep the old SYMBOL_FLAG_IN_BLOCK.
        (default_asm_output_anchor, default_use_aenchors_for_symbol_p)
        (place_block_symbol, get_section_anchor, output_object_block)
        (output_object_block_htab, output_object_blocks): New functions.
        * target-def.h (TARGET_ASM_OUTPUT_ANCHOR): New macro.
        (TARGET_ASM_OUT): Include it.
        (TARGET_USE_BLOCKS_FOR_CONSTANT_P): New macro.
        (TARGET_MIN_ANCHOR_OFFSET, TARGET_MAX_ANCHOR_OFFSET): New macros.
        (TARGET_USE_ANCHORS_FOR_SYMBOL_P): New macro.
        (TARGET_INITIALIZER): Include them.
        * rtl.c (rtl_check_failed_block_symbol): New function.
        * rtl.h: Include vec.h.  Declare heap and gc rtx vectors.
        (block_symbol, object_block): New structures.
        (rtx_def): Add a block_symbol field to the union.
        (BLOCK_SYMBOL_CHECK): New macro.
        (rtl_check_failed_block_symbol): Declare.
        (SYMBOL_FLAG_IN_BLOCK, SYMBOL_FLAG_ANCHOR): New SYMBOL_REF flags.
        (SYMBOL_REF_IN_BLOCK_P, SYMBOL_REF_ANCHOR_P): New predicates.
        (SYMBOL_FLAG_MACH_DEP_SHIFT): Bump by 2.
        (SYMBOL_REF_BLOCK, SYMBOL_REF_BLOCK_OFFSET): New accessors.
        * output.h (output_section_symbols): Declare.
        (object_block): Name structure.
        (place_section_symbol, get_section_anchor, default_asm_output_anchor)
        (default_use_anchors_for_symbol_p): Declare.
        * Makefile.in (RTL_BASE_H): Add vec.h.
        (explow.o): Depend on output.h.
        * config/rs6000/rs6000.c (TARGET_MIN_ANCHOR_OFFSET): Override default.
        (TARGET_MAX_ANCHOR_OFFSET): Likewise.
        (TARGET_USE_BLOCKS_FOR_CONSTANT_P): Likewise.
        (rs6000_use_blocks_for_constant_p): New function.

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

        * doc/install.texi (hppa*-hp-hpux*): Update for 4.1.0.

2006-02-18  Andrew Pinski  <pinskia@physics.uc.edu>

        PR tree-opt/25680
        * tree-ssa-ccp.c (ccp_fold): Handle store CCP of REALPART_EXPR and
        IMAGPART_EXPR.

2006-02-18  Diego Novillo  <dnovillo@redhat.com>

        * tree-flow.h (struct var_ann_d): Rename field is_alias_tag to
        is_aliased.
        Update all users.

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

        PR middle-end/26334
        * stmt.c (decl_overlaps_hard_reg_set_p): Use DECL_HARD_REGISTER
        instead of DECL_REGISTER.

2006-02-18  Olivier Hainque  <hainque@adacore.com>

        PR ada/13408
        * pa.h (WIDEST_HARDWARE_FP_SIZE): Define.

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

        PR target/24837
        * config.gcc: Define UCLIBC_DEFAULT to 0 or 1.
        * opth-gen.awk: Handle Var and InverseMask together.
        * config/linux.opt (muclibc, mglibc): Use Var(linux_uclibc).
        * config/linux.h: Use #if not #ifdef for testing UCLIBC_DEFAULT.
        (TARGET_C99_FUNCTIONS): Test OPTION_GLIBC not TARGET_GLIBC.
        (CHOOSE_DYNAMIC_LINKER): Give an error for -mglibc and -muclibc
        used together.
        (UCLIBC_DYNAMIC_LINKER32, UCLIBC_DYNAMIC_LINKER64,
        LINUX_DYNAMIC_LINKER32, LINUX_DYNAMIC_LINKER64): Define.
        * config/alpha/linux-elf.h (GLIBC_DYNAMIC_LINKER,
        UCLIBC_DYNAMIC_LINKER, CHOOSE_DYNAMIC_LINKER,
        LINUX_DYNAMIC_LINKER): Define.
        (ELF_DYNAMIC_LINKER): Define to LINUX_DYNAMIC_LINKER.
        * config/alpha/linux.h (TARGET_C99_FUNCTIONS): Define to
        TARGET_GLIBC.
        * config/cris/linux.h (GLIBC_DYNAMIC_LINKER): Define.
        (CRIS_LINK_SUBTARGET_SPEC): Pass a -dynamic-linker option.
        * config/frv/linux.h (GLIBC_DYNAMIC_LINKER): Define.
        (LINK_SPEC): Use LINUX_DYNAMIC_LINKER.
        (TARGET_C99_FUNCTIONS): Don't define.
        * config/i386/linux.h (DYNAMIC_LINKER): Rename to
        GLIBC_DYNAMIC_LINKER.
        (SUBTARGET_EXTRA_SPECS): Use LINUX_DYNAMIC_LINKER.
        * config/i386/linux64.h (GLIBC_DYNAMIC_LINKER32,
        GLIBC_DYNAMIC_LINKER64): Define.
        (LINK_SPEC): Use LINUX_DYNAMIC_LINKER32 and
        LINUX_DYNAMIC_LINKER64.
        * config/ia64/linux.h (GLIBC_DYNAMIC_LINKER): Define.
        (LINK_SPEC): Use LINUX_DYNAMIC_LINKER.
        * config/m32r/linux.h (GLIBC_DYNAMIC_LINKE): Define.
        (LINK_SPEC): Use LINUX_DYNAMIC_LINKER.
        * config/m68k/linux.h (GLIBC_DYNAMIC_LINKER): Define.
        (LINK_SPEC): Use LINUX_DYNAMIC_LINKER.
        * config/mips/linux64.h (GLIBC_DYNAMIC_LINKER32,
        GLIBC_DYNAMIC_LINKER64, GLIBC_DYNAMIC_LINKERN32,
        UCLIBC_DYNAMIC_LINKERN32, LINUX_DYNAMIC_LINKERN32): Define.
        (LINK_SPEC): Use LINUX_DYNAMIC_LINKERN32, LINUX_DYNAMIC_LINKER64
        and LINUX_DYNAMIC_LINKER32.
        * config/mn10300/linux.h (GLIBC_DYNAMIC_LINKER): Define.
        (LINK_SPEC): Use LINUX_DYNAMIC_LINKER.
        * config/pa/pa-linux.h (GLIBC_DYNAMIC_LINKER): Define.
        (LINK_SPEC): Use LINUX_DYNAMIC_LINKER.
        * config/rs6000/linux.h (TARGET_C99_FUNCTIONS): Define to
        TARGET_GLIBC.
        * config/rs6000/linux64.h (TARGET_C99_FUNCTIONS): Likewise.
        (GLIBC_DYNAMIC_LINKER32, GLIBC_DYNAMIC_LINKER64,
        UCLIBC_DYNAMIC_LINKER32, UCLIBC_DYNAMIC_LINKER64,
        CHOOSE_DYNAMIC_LINKER, CHOOSE_DYNAMIC_LINKER,
        LINUX_DYNAMIC_LINKER32, LINUX_DYNAMIC_LINKER64): Define.
        (LINK_OS_LINUX_SPEC32): Use LINUX_DYNAMIC_LINKER32.
        (LINK_OS_LINUX_SPEC64): Use LINUX_DYNAMIC_LINKER64.
        * config/rs6000/sysv4.h (GLIBC_DYNAMIC_LINKER,
        UCLIBC_DYNAMIC_LINKER, CHOOSE_DYNAMIC_LINKER,
        LINUX_DYNAMIC_LINKER): Define.
        (LINK_OS_LINUX_SPEC): Use LINUX_DYNAMIC_LINKE.
        * config/s390/linux.h (GLIBC_DYNAMIC_LINKER32,
        GLIBC_DYNAMIC_LINKER64): Define.
        (LINK_SPEC): Use LINUX_DYNAMIC_LINKER32 and
        LINUX_DYNAMIC_LINKER64.
        * config/sh/linux.h (GLIBC_DYNAMIC_LINKER): Define.
        (SUBTARGET_LINK_SPEC): Use LINUX_DYNAMIC_LINKER.
        * config/sparc/linux.h (GLIBC_DYNAMIC_LINKER,
        UCLIBC_DYNAMIC_LINKER, CHOOSE_DYNAMIC_LINKER,
        LINUX_DYNAMIC_LINKER): Define.
        (LINK_SPEC): Use LINUX_DYNAMIC_LINKER.
        (TARGET_C99_FUNCTIONS): Define to TARGET_GLIBC.
        * config/sparc/linux64.h (GLIBC_DYNAMIC_LINKER32,
        GLIBC_DYNAMIC_LINKER64, UCLIBC_DYNAMIC_LINKER32,
        UCLIBC_DYNAMIC_LINKER64, CHOOSE_DYNAMIC_LINKER,
        LINUX_DYNAMIC_LINKER32, LINUX_DYNAMIC_LINKER64): Define.
        (LINK_ARCH32_SPEC): Use LINUX_DYNAMIC_LINKER32.
        (LINK_ARCH64_SPEC, LINK_SPEC): Use LINUX_DYNAMIC_LINKER64.
        (TARGET_C99_FUNCTIONS): Define to TARGET_GLIBC.
        * config/xtensa/linux.h (GLIBC_DYNAMIC_LINKER): Define.
        (LINK_SPEC): Use LINUX_DYNAMIC_LINKER.
        * doc/invoke.texi (-muclibc): Remove caveat about supported
        targets.

2006-02-17  Grigory Zagorodnev <grigory_zagorodnev@linux.intel.com>

        * doc/cpp.texi (__TIMESTAMP__): Document.

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

        PR middle-end/25600
        * fold-const.c (fold_binary): Fold (X >> C) != 0 into X < 0 when
        C is one less than the width of X (and related transformations).
        * simplify-rtx.c (simplify_unary_operation_1): Transform
        (neg (lt x 0)) into either (ashiftrt X C) or (lshiftrt X C)
        depending on STORE_FLAG_VALUE, were C is one less then the
        width of X.

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

        Fix PR tree-optimization/26341
        * tree-ssa-operands.c (add_virtual_operand): Remove assert
        about NAME_MEMORY_TAG's.

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

        PR target/26255
        * pa.md: Create separate HI and QI move patterns for 32-bit and 64-bit
        with hardware float support, and software float support.  Add fcpy
        alternative to hardware patterns.  Add alternatives to copy between
        general and floating-point registers to the 32-bit pattern.
        * pa.c (pa_secondary_reload): Don't abort if reload tries to find a
        secondary reload to load a QI or HI mode constant into a floating
        point register.
        * pa32-regs.h (VALID_FP_MODE_P): Allow QImode and HImode.
        * pa64-regs.h (VALID_FP_MODE_P): Likewise.

2006-02-17  Andrew Pinski  <pinskia@physics.uc.edu>

        PR target/26272
        * config/rs6000/darwin.md (load_macho_picbase_si): Add
        pc to the pattern.
        (load_macho_picbase_di): Likewise.

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

        * tree-vrp.c (set_value_range_to_nonnegative): New function.
        (vrp_expr_computes_nonnegative, ssa_name_nonnegative_p): Likewise.
        (ssa_name_nonzero_p): Likewise.
        (get_value_range): Return NULL if VRP is not running.
        (extract_range_from_expr): Fallback to tree_expr_XXX_p if
        VRP routines do not discover a range.
        (vrp_finalize): Clear VR_VALUE to indicate VRP is not running.
        * tree.h (ssa_name_nonzero_p, ssa_name_nonnegative_p): Prototype.
        * fold-const.c (tree_expr_nonzero_p): For SSA_NAMEs, query VRP.
        (tree_expr_nonnegative_p): Similarly.
        * tree-ssa-dom.c (nonzero_vars, nonzero_vars_stack): Remove.
        (restore_nonzero_vars_to_original_value): Remove.
        (unsafe_associative_fp_binop): Remove.
        (tree_ssa_dominator_optimize): Remove initialization and
        finalization of nonzero_vars and nonzero_vars_stack.
        (dom_opt_initialize_block): No longer push marker on
        nonzero_vars_stack.
        (dom_opt_finalize_block): No longer call
        restore_nonzero_vars_to_original_value.
        (record_equivalences_from_phis): No longer look for
        nonzero PHI arguments.
        (cprop_into_successor_phis): No longer propagate nonzero
        property into PHI arguments.  Lose unused argument.  Caller
        updated.
        (record_equivalences_from_stmt): No longer record nonzero
        values for SSA_NAMEs.
        (lookup_avail_expr): No longer use nonzero_vars.

        * stor-layout.c (set_sizetype): Set TYPE_MAX_VALUE properly
        for sizetype when sizetype is unsigned.

2006-02-16  Denis Nagorny <denis_nagorny@linux.intel.com>

        PR rtl-optimization/25603
        * reload.c (reg_inc_found_and_valid_p): New. Check REG_INC note.
        (regno_clobbered_p): Use it. Reusing SETS argument for REG_INC case.
        * reload1.c (choose_reload_regs): Added call of regno_clobbered_p
        with new meaning of SETS.

2006-02-16  Joseph S. Myers  <joseph@codesourcery.com>

        PR target/20353
        PR target/24578
        PR target/24837
        * config/linux.opt: New file.
        * config/linux.h (CHOOSE_DYNAMIC_LINKER, UCLIBC_DYNAMIC_LINKER,
        LINUX_DYNAMIC_LINKER): Define.
        (TARGET_C99_FUNCTIONS): Define depending on TARGET_GLIBC.
        * config.gcc (*-*-linux*): Define extra_options.
        (*-*-*uclibc*): Define UCLIBC_DEFAULT.
        (arm*-*-linux-gnueabi): Change to arm*-*-linux-*eabi.
        * config/arm/linux-eabi.h (LINUX_TARGET_INTERPRETER): Change to
        GLIBC_DYNAMIC_LINKER.
        * config/arm/linux-elf.h (LINUX_TARGET_INTERPRETER): Likewise.
        (LINUX_TARGET_LINK_SPEC): Use LINUX_DYNAMIC_LINKER.
        * config/mips/linux.h (GLIBC_DYNAMIC_LINKER): Define.
        (LINK_SPEC): Use LINUX_DYNAMIC_LINKER.
        * doc/invoke.texi (GNU/Linux Options): New section.

2006-02-16  Eric Botcazou  <ebotcazou@libertysurf.fr>

        * config/sparc/sparc.md (setjmp): Rewrite.
        (setjmp_32): Delete.
        (setjmp_64): Likewise.

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

        * tree-ssa-operands.c (access_can_touch_variable): Fix typo in
         previous change.

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

        * loop-invariant.c (invariant_for_use, check_dependencies): Fail for
        read-write uses.

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

        PR rtl-optimization/26296
        * Makefile.in (loop-invariant.c): Add except.h dependency.
        * loop-invariant.c: Include except.h.
        (find_invariant_insn): Ignore insns satisfying can_throw_internal.

2005-02-16  Paul Brook  <paul@codesourcery.com>

        * reload1.c (emit_reload_insns): Invalidate dead input registers used
        for reloads.

2006-02-16  Bernd Schmidt  <bernd.schmidt@analog.com>

        PR rtl-optimization/25636
        * local-alloc.c (update_equiv_regs): Lose a bogus rtx_equal_p test
        when deciding whether an insn is an initializing insn.

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

        * tree.c (init_ttree): Add STRUCT_FIELD_TAG handling.
        (tree_code_size): Ditto.
        * tree.h (struct tree_memory_tag): Remove parent_var.
        (struct tree_struct_field_tag): New.
        (SFT_OFFSET): New.
        (SFT_SIZE): New.
        (union tree_node): Add sft member.
        * tree-ssa-alias.c (get_tmt_for): Don't handle TYPE_READONLY
        specially here.
        (create_sft): Add size and offset argument, set SFT_OFFSET and
        SFT_SIZE.
        (create_overlap_variables_for): Update for SFT_OFFSET/SFT_SIZE.
        * treestruct.def: Add TS_STRUCT_FIELD_TAG.
        * tree-flow-inline.h (get_subvar_at): Update for
        SFT_OFFSET/SFT_SIZE.
        (var_can_have_subvars): Ditto.
        (overlap_subvar): Ditto.
        * print-tree.c (print_node): Print out interesting things for
        SFT's.
        * tree-flow.h (struct subvar): Remove offset and size members.
        * tree-ssa-operands.c (get_expr_operands): Update for
        get_indirect_ref_operands changes.
        (get_indirect_ref_operands): Call add_virtual_operand instead of
        add_stmt_operand.  Only recurse on base var if requested.
        (access_can_touch_variable): New function.
        (add_stmt_operand): Split virtual operand handling into ...
        (add_virtual_operand): Here.  Add offset, size, and for_clobber
        arguments.  Prune alias sets.
        (add_call_clobber_ops): Call add_virtual_operand.

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

        PR middle-end/26300
        * combine.c (make_extraction): Bail out if ORIG_POS is negative.

        * tree.h (struct tree_omp_clause): Use OMP_CLAUSE_CODE rather
        than TREE_CODE as index into omp_clause_num_ops array.

2006-02-15  Uttam Pawar  <uttamp@us.ibm.com>

        PR rtl-optimization/26184
        * modulo-sched.c (generate_reg_moves): Free bitmap vector
        uses_of_defs.
        * modulo-sched.c (sms_schedule): Free g_arr pointer.
        * modulo-sched.c (sms_schedule_by_order): Free bitmap pointers
        must_precede, must_follow and tobe_scheduled.

        PR other/26147
        * opts.c (common_handle_option): Free new_option pointer.
        * df-core.c (df_analyze): Free postorder pointer.

2006-02-15  Rafael Ávila de Espíndola <rafael.espindola@gmail.com>

        * Makefile.in: Fix the examples about the use of stamps

2006-02-15  Michael Matz  <matz@suse.de>

        PR middle-end/22275

        * stor-layout.c (layout_decl): Zero-width bitfields aren't
        influenced by maximum_field_alignment or DECL_PACKED.
        (update_alignment_for_field): Ditto.
        (place_field): Ditto.
        * doc/extend.texi (<#pragma pack>, <Type Attributes>): Document
        this behaviour.

2006-02-15  Paolo Bonzini  <bonzini@gnu.org>

        * cfg.c (dump_flow_info): Get dump flags as an additional parameter.
        (debug_flow_info): Pass it.
        * alias.c (rest_of_handle_cfg): Adjust calls to dump_flow_info.
        * bb-reorder.c (reorder_basic_blocks): Likewise.
        * cfgcleanup.c (rest_of_handle_jump2): Likewise.
        * cse.c (rest_of_handle_cse, rest_of_handle_cse2): Likewise.
        * flow.c (life_analysis, recompute_reg_usage): Likewise.
        * gcse.c (gcse_main, bypass_jumps): Likewise.
        * ifcvt.c (rest_of_handle_if_conversion): Likewise.
        * local-alloc.c (rest_of_handle_local_alloc): Likewise.
        * loop-init.c (rtl_loop_init, rtl_loop_done): Likewise.
        * profile.c (compute_branch_probabilities, branch_prob): Likewise.
        * rtl.h (dump_flow_info): Adjust prototype.
        * tracer.c (rest_of_handle_tracer, tracer): Likewise.
        * var-tracking.c (variable_tracking_main): Likewise.
        * passes.c (execute_todo): Obey TDF_BLOCKS for RTL.
        * tree-dump.c (enable_rtl_dump_file): Enable the details and blocks
        options.

2006-02-15  Marcin Dalecki <martin@dalecki.de>

        * tree-ssa-dom.c (dom_thread_across_edge): fix tag expression
        construction.

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

        PR tree-optimization/26209
        * tree-ssa-loop.c (pass_scev_cprop): Add TODO_cleanup_cfg.
        * tree-cfgcleanup.c (cleanup_control_flow): Remove dead
        eh edges.
        * tree-cfg.c (replace_uses_by): Do not alter cfg.

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

        PR middle-end/23670
        * fold-const.c (fold_binary) <BIT_IOR_EXPR>: Optimize (X&Y)|Y into
        (X,Y) and the corresponding symmetry related transformations.
        (fold_binary) <BIT_AND_EXPR>: Likewise, optimize (X|Y)&Y into
        (X,Y) and its symmetry related transformations.

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

        * dojump.c (do_compare_rtx_and_jump): Also handle multi-word GTU
        and GEU.

2006-02-14  Adam Nemet  <anemet@caviumnetworks.com>

        * simplify-rtx.c (simplify_subreg): Combine SUBREG and TRUNCATE.

2006-02-14  Rainer Orth  <ro@TechFak.Uni-Bielefeld.DE>

        PR bootstrap/26053
        * configure.ac (HAVE_COMDAT_GROUP): Don't assume non-GNU linkers
        support COMDAT group.
        * configure: Regenerate.

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

        PR middle-end/26279
        PR middle-end/26280
        PR middle-end/26283
        * dojump.c (do_compare_rtx_and_jump): Handle multi-word LE.

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

        Fix PR tree-optimization/26260

        * doc/invoke.texi (max-fields-for-field-sensitive): Document
        param.
        * params.h (MAX_FIELDS_FOR_FIELD_SENSITIVE): New.
        * params.def (PARAM_MAX_FIELDS_FOR_FIELD_SENSITIVE): Ditto.
        * tree-ssa-structalias.c (create_variable_info_for): Use
        MAX_FIELDS_FOR_FIELD_SENSITIVE.

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

        * doc/invoke.texi (-fprefetch-loop-arrays, -fprefetch-loop-arrays-rtl):
        Document.
        * tree-ssa-loop-niter.c (number_of_iterations_ne,
        number_of_iterations_lt, number_of_iterations_cond): Remember the shape
        of the ending condition.
        * tree-ssa-loop-manip.c: Include params.h.
        (build_if_stmt, can_unroll_loop_p, determine_exit_conditions,
        tree_unroll_loop): New functions.
        * tree-pass.h (pass_loop_prefetch): Declare.
        * loop.c (rest_of_handle_loop_optimize): Test for
        -fprefetch-loop-arrays-rtl.
        * tree-scalar-evolution.h (affine_iv): Moved to tree-flow.h.
        * timevar.def (TV_TREE_PREFETCH): New timevar.
        * tree-ssa-loop.c (tree_ssa_loop_prefetch, gate_tree_ssa_loop_prefetch,
        pass_loop_prefetch): New.
        * tree-cfgcleanup.c: Include tree-scalar-evolution.h.
        (cleanup_tree_cfg_loop): Call scev_reset.
        * common.opt (fprefetch-loop-arrays-rtl): Add.
        * tree-ssa-loop-prefetch.c: New file.
        * tree-outof-ssa.c (struct value_expr_d): Add expr_vars field.
        (new_temp_expr_table): Initialize expr_vars.
        (free_temp_expr_table): Cleanup expr_vars.
        (check_replaceable, find_replaceable_in_bb): Prevent accumulating
        expressions from being merged into one.
        * tree-flow.h (affine_iv): Moved from tree-scalar-evolution.h.
        (struct tree_niter_desc): Add control, bound and cmp fields.
        (tree_ssa_prefetch_arrays, can_unroll_loop_p, tree_unroll_loop):
        Declare.
        * Makefile.in (tree-ssa-loop-prefetch.o): Add.
        (tree-cfgcleanup.o): Add SCEV_H dependency.
        (tree-ssa-loop-manip.o): Add PARAMS_H dependency.
        * passes.c (init_optimization_passes): Add pass_loop_prefetch.

2006-02-14  Richard Guenther  <rguenther@suse.de>

        PR tree-optimization/26258
        * tree-ssa-structalias.c (find_func_aliases): Handle aggregates
        in PHI argument processing.

2006-02-13  Adam Nemet  <anemet@caviumnetworks.com>

        * simplify-rtx.c (simplify_unary_operation_1) <TRUNCATE>: Return
        new expression in the requested machine mode.

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

        * optabs.c (expand_abs): Don't call do_jump_by_parts_greater_rtx
        directly, instead let do_compare_rtx_and_jump handle this for us.
        * expr.c (expand_expr_real_1): Likewise.
        * dojump.c (do_jump_by_parts_greater_rtx): Make static.  Move
        before do_jump_by_parts_greater.
        (do_jump_by_parts_greater): Move after do_jump_by_parts_greater_rtx.
        * expr.h (do_jump_by_parts_greater_rtx): Delete prototype.

2006-02-13  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>

        * pa/quadlib.c: Use defines instead of enum qfcmp_magic.

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

        PR rtl-optimization/26235
        * loop-invariant.c (hash_invariant_expr_1): Handle 'i' and 'n' formats.
        (invariant_expr_equal_p): Handle 'i' and 'n' formats.  Fail on unknown
        format.

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

        * tree-vrp.c (extract_range_from_binary_expr): Remove handling of
        TRUTH_XOR_EPR.

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

        PR middle-end/26092
        * gimplify.c (gimplify_call_expr): Don't call get_callee_fndecl
        twice if decl is a builtin.  When trying again, call get_callee_fndecl
        first to verify it is still a builtin.

2006-02-13  Geoffrey Keating  <geoffk@apple.com>

        * dwarf2out.c (base_type_die): Don't add AT_name here.
        (subrange_type_die): Don't add AT_name here.
        (modified_type_die): Rearrange code flow.  Do add AT_name here.

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

        PR rtl-optimization/26247
        PR rtl-optimization/26248
        * loop-invariant.c (may_assign_reg_p): Do not allow VOIDmode.

2006-02-13  Richard Sandiford  <richard@codesourcery.com>

        * config/floatunditf.c: Use if __LDBL_MANT_DIG__ == 113.
        * config/fixtfdi.c: Likewise.
        * config/fixunstfdi.c: Likewise.
        * config/floatditf.c: Likewise.

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

        PR middle-end/24427
        * fold-const.c (fold_binary) <BIT_IOR_EXPR>: Transform (X&C1)|C2
        into (X,C2) if C1 is a subset of the bits of C2.  Transform
        (X&C1)|C2 into X|C2 if C1|C2 == ~0.  Canonicalize (X&C1)|C2 as
        (X&(C1&~C2))|C2.
        <BIT_AND_EXPR>: Canonicalize (X|C1)&C2 as (X&C2)|(C1&C2).

2006-02-13  Josh Conner  <jconner@apple.com>

        PR target/25376
        * varasm.c (function_section): Check for section name before
        calling select_section on targets that define
        USE_SELECT_SECTION_FOR_FUNCTIONS.  On other targets, use
        unlikely_text_section instead of hot_function_section if
        first_function_block_is_cold.

2006-02-13  J"orn Rennecke <joern.rennecke@st.com>

        PR middle-end/25335
        * reload1.c (gen_reload): Also use find_replacement in UNARY_P case.

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

        PR rtl-optimization/26222
        * function.c (assign_stack_temp_for_type): Do not reuse stack slots
        after tree->rtl expansion.
        * loop-invariant.c (move_invariant_reg): Use force_operand on rhs
        before passing it to emit_move_insn.

2006-02-12  Gabriel Dos Reis  <gdr@integrable-solutions.net>

        * doc/invoke.texi (-Write-strings): Document that it is enabled by
        default.
        * c.opt (-Wwrite-strings): Declare variable warn_write_strings.
        Clarify documentation.
        * c-common.h (warn_write_strings): Remove.
        * c-common.c (warn_write_strings): Likewise.
        * c-opts.c (c_common_init_options): Enable -Wwrite-strings by
        default for C++.

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

        PR middle-end/25724
        * dojump.c (do_jump): Call do_compare_rtx_and_jump.
        (do_jump_parts_zero_rtx): New function renamed from
        do_jump_parts_equality_rtx.  Made static.  Add a mode argument.
        (do_jump_parts_equality_rtx): New function split out from
        do_jump_parts_equality.  Old implementation renamed as above.
        Call do_jump_parts_zero_rtx if either operand is zero.
        (do_jump_parts_equality): Call do_jump_parts_equality_rtx to
        do all of the heavy lifting.
        (do_compare_rtx_and_jump): Handle multi-word comparisons by
        calling either do_jump_by_parts_greater_rtx or
        do_jump_by_parts_equality_rtx.
        * expr.h (do_jump_by_parts_equality_rtx): Remove prototype.
        * expmed.c (do_cmp_and_jump): Now multi-word optimization has
        moved to do_compare_rtx_and_jump, call it directly.
        * stmt.c (do_jump_if_equal): Remove static prototype.  Add a
        mode argument.  Call do_compare_rtx_and_jump.
        (emit_case_nodes): Update calls to do_jump_if_equal.

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

        PR rtl-optimization/26225
        * loop-invariant.c (may_assign_reg_p): Do not allow BLKmode operands.

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

        PR rtl-optimization/26232
        * loop-invariant.c (find_invariant_insn): Ignore insns that set CC0.

2006-02-11  Jason Merrill  <jason@redhat.com>

        PR tree-opt/24365
        * tree-inline.c (declare_return_variable): Just don't use the
        modify target if it's a gimple complex reg and the return slot
        isn't.

2006-02-11  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>

        * doc/contrib.texi: Update my entry.

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

        * config/i386/darwin.h (DBX_REGISTER_NUMBER): Define.

2006-02-10  Diego Novillo  <dnovillo@redhat.com>

        * tree-inline.c (estimate_num_insns_1): Make OpenMP directives
        expensive.

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

        * doc/invoke.texi (-floop-optimize2): Removed.
        * toplev.c (process_options): Remove handling of flag_loop_optimize2.
        * loop-init.c (gate_handle_loop2): Do not test flag_loop_optimize2.
        Test flag_branch_on_count_reg only if HAVE_doloop_end.
        * common.opt (floop-optimize2): Removed.
        (fmove-loop-invariants): Enabled by default.

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

        * tree-if-conv.c (combine_blocks): Free the result of
        get_loop_exit_edges.

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

        * fold-const.c (tree_expr_nonzero_p): Fix thinko.

        PR tree-optimization/26213
        * tree-ssa-threadedge.c (simplify_control_stmt_condition): Do not
        loop trying to follow SSA_NAME_VALUE chains.

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

        * tree-dfa.c (get_ref_base_and_extent): When computing maxsize
        deal with structures that end in implicitly variable sized arrays.

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

        PR rtl-optimization/24762
        * df-scan.c (df_bb_refs_record): Record correct registers defined on
        eh edges.

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

        * tree-ssa-loop-ivopts.c (struct loop_data, loop_data): Removed.
        (struct ivopts_data): Add regs_used field.
        (tree_ssa_iv_optimize_init): Do not allocate aux fields for loops.
        (ivopts_global_cost_for_size, determine_set_costs): Use data->regs_used
        instead of loop_data->regs_used;
        (free_loop_data): Do not free aux fields for loops.
        (tree_ssa_iv_optimize): Do not pass loops to tree_ssa_iv_optimize_init
        and tree_ssa_iv_optimize_finalize.

2006-02-09  Kaz Kojima  <kkojima@gcc.gnu.org>

        * config/sh/sh.h (FUNCTION_VALUE): Don't handle CHAR_TYPE.

2006-02-09  J"orn Rennecke <joern.rennecke@st.com>

        PR target/26141
        * sh.c (sh_gimplify_va_arg_expr): Don't change the result type when
        computing the effective result type.

2006-02-09  J"orn Rennecke <joern.rennecke@st.com>

        PR inline-asm/16194
        * tree.h (decl_overlaps_hard_reg_set_p) Don't declare.
        (tree_overlaps_hard_reg_set): Declare.
        * stmt.c (decl_overlaps_hard_reg_set_p): Now static.  Change return
        type and signature to match function type expected by walk_tree.
        (tree_overlaps_hard_reg_set): New function.
        (decl_conflicts_with_clobbers_p): Rename to:
        (tree_conflicts_with_clobbers_p).  Take HARD_REG_SET * argument.
        Use tree_overlaps_hard_reg_set.  Changed caller.
        * doc/tm.texi (TARGET_MD_ASM_CLOBBERS): Replace
        decl_overlaps_hard_reg_set_p with tree_overlaps_hard_reg_set.
        * cris.c (cris_md_asm_clobbers): Likewise.

2006-02-09  Bernd Schmidt  <bernd.schmidt@analog.com>

        * reload1.c (emit_input_reload_insns): Delete code that tries to
        inherit using find_equiv_reg.

2006-02-09  Gabriel Dos Reis  <gdr@integrable-solutions.net>

        * c-common.h (flag_const_strings): Don't declare.
        * c-common.c (flag_const_strings): Remove.
        * c.opt (fconst_strings): Remove.
        * c-opts.c (c_common_handle_option): Remove <OPT_fconst_strings>.
        <OPT_Wwrite_strings>: Don't set flag_const_strings.
        (c_common_init_options): Don't set flag_const_strings.
        * doc/invoke.texi (-fno-const-strings): Remove documentation.

2006-02-09  Richard Earnshaw  <richard.earnshaw@arm.com>

        * arm.md (tlobits_cbranch): New pattern.
        * arm.h (arm_select_cc_mode): For thumb, only return CC_Nmode if
        testing a single bit.

2006-02-09  Andrew Pinski  <pinskia@physics.uc.edu>

        PR tree-opt/26179
        * tree-ssa-pre.c (create_component_ref_by_pieces):
        Handle RETURN_DECL like VAR_DECL.

2006-02-09  Andrew Pinski  <pinskia@physics.uc.edu>

        PR middle-end/26134
        * fold-const.c (fold_indirect_ref_1): Fold
        "*(foo *)&complexfoo" to "__real__ complexfoo"
        and "((foo*)&complexfoo)[1]" to "__imag__ complexfoo".

2006-02-09  Andrew Pinski  <pinskia@physics.uc.edu>

        * tree-flow-inline.h (var_can_have_subvars):
        Volatile variables should not have subvariables.

2006-02-09  Diego Novillo  <dnovillo@redhat.com>

        PR 26180
        * tree-vrp.c (vrp_int_const_binop): Detect overflow when
        multiplying unsigned values.
        Tidy comments.

2006-02-09  Eric Botcazou  <ebotcazou@libertysurf.fr>

        * config/sparc/sparc.c (tls_call_delay): Fix oversight.

2006-02-08  Jason Merrill  <jason@redhat.com>

        PR c++/25979
        * tree.def: Elaborate on difference from MODIFY_EXPR.
        * doc/c-tree.texi (INIT_EXPR): Likewise.
        * gimplify.c (internal_get_tmp_var): Use INIT_EXPR.
        (gimplify_decl_expr, gimplify_init_ctor_eval): Likewise.
        (gimplify_target_expr): Likewise.
        (gimplify_cond_expr): Remove target handling.
        (gimplify_modify_expr): Don't clobber INIT_EXPR code here.
        (gimplify_expr): Clobber it here.
        (gimplify_modify_expr_rhs): Push assignment into COND_EXPR here.
        Do return slot optimization if we have an INIT_EXPR.

        PR tree-opt/24365
        * tree-inline.c (declare_return_variable): Also clear
        DECL_COMPLEX_GIMPLE_REG_P as needed in the modify_dest case.

        PR c++/16405
        * gimplify.c (gimplify_modify_expr_rhs): Re-enable *& handling.

        PR middle-end/22439
        * gimplify.c (gimplify_one_sizepos): Fix typo.

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

        PR tree-optimization/21417
        * tree-ssa-threadedge.c (thread_across_edge): Reject threading
        across a backedge if the control statement at the end of the
        block is data dependent on other statements in the same block.
        (record_temporary_equivalences_from_stmts): Remove over-conservative
        test for threading across backedges.

        * tree-ssa-dce.c (remove_dead_statement): When removing a dead
        control statement, handle all three special cases in the same
        manner as they all have the same desired solution.  No longer
        special case edge flag updating when the post dominator is
        the exit block.

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

        * tree.def (CHAR_TYPE): Remove.
        * dbxout.c (dbxout_type): Delete dead handling of CHAR_TYPE.
        * dwarf2out.c (base_type_die, is_base_type): Likewise.
        (gen_type_die) <ARRAY_TYPE>: Remove handling of CHAR_TYPE arrays.
        (gen_string_type_die): Delete unreachable function.

        * tree-pretty-print.c (dump_generic_node): Don't handle CHAR_TYPE.
        * tree.c (build_int_cst_wide, type_contains_placeholder_1,
        type_hash_eq, variably_modified_type_p, walk_type_fields): Likewise.
        * tree.h (NUMERICAL_TYPE_CHECK, INTEGRAL_TYPE_P): Likewise.
        * builtins.c (type_to_class): Likewise.
        * fold-const.c (fold_convert, build_range_check,
        merge_ranges): Likewise.
        * expr.c (count_type_elements): Likewise.
        * c-pretty-print.c (pp_c_type_specifier): Likewise.
        * stor-layout.c (layout_type): Likewise.
        * ipa-type-escape.c (type_to_consider): Likewise.
        * gimplify.c (omp_firstprivatize_type_sizes,
        gimplify_type_sizes): Likewise.
        * explow.c (promote_mode): Likewise.
        * tree-sra.c (is_sra_scalar_type): Likewise.
        * varasm.c (output_constant): Likewise.
        * tree-inline.c (remap_type_1): Likewise.
        * convert.c (convert_to_pointer, convert_to_real,
        convert_to_integer, convert_to_complex): Likewise.

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

        * df-scan.c (df_def_record_1): A set destination may
        be a parallel regardless of mode.

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

        PR target/22209
        * config/mips/mips.h (MIN_UNITS_PER_WORD): Don't define for libgcc.
        * config/mips/_tilib.c: Remove.
        * 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-02-08  Jeff Law  <law@redhat.com>

        PR tree-optimization/26169
        * tree-vrp.c (execute_vrp): Perform any queued SSA updates before
        threading jumps.

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

        * df.h (DF_REG_SIZE): Return the length of the initialized
        part of the array.

2006-02-08  Nathan Sidwell  <nathan@codesourcery.com>

        * gcc/config/m68k/lb1sf68.asm (__divsf3, __divdf3, __mulsf3,
        __muldf3): Return a correctly signed zero.

2006-02-08  Paolo Bonzini  <bonzini@gnu.org>

        * passes.c (register_one_dump_file): Accept the current properties
        instead of pass number.  Adjust call to dump_register.  Remove
        duplicated code.
        (register_dump_files): Now a wrapper around...
        (register_dump_files_1): ... this one.  Do not modify the pass
        structure.
        (next_pass_1): Cosmetic fix.
        (execute_todo): Keep second parameter only.  Use curr_properties
        instead of fetching it from the pass structure.  Check and set
        last_verified.
        (execute_one_pass): Handle TODO_set_props.  Use curr_properties
        instead of fetching it from the pass structure.  Fix calls to
        execute_todo.  Update curr_properties and initialize .vcg RTL dump
        after running the pass.  Reset last_verified.
        * tree-dump.c (dump_files): Renumber consecutively.  Put .cgraph dump
        at the beginning.
        (FIRST_AUTO_NUMBERED_DUMP): New.
        (dump_register): Remove "num" parameter, assign it within the
        function.
        (get_dump_file_name): Modify template for dumps.
        * tree-dump.h (dump_register): Adjust prototype.
        * tree-pass.h (enum tree_dump_index): Move cgraph at the beginning.
        (PROP_trees): Add PROP_gimple_lomp.
        (TODO_set_props): New.
        * gimple-low.c (pass_lower_cf): Do not destroy PROP_gimple_lcf.
        * tree-eh.c (pass_lower_eh): Do not destroy PROP_gimple_leh.
        * cfgexpand.c (pass_expand): Destroy PROP_trees.

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

        * config.gcc (sparc-*-linux*): Add sparc/t-linux to tmake_file.
        (sparc64-*-linux*): Likewise.
        * config/sparc/t-linux64 (SHLIB_MAPFILES): Removed.
        * config/sparc/t-linux: New file.
        * config/sparc/libgcc-sparc-glibc.ver (__fixtfdi, __fixunstfdi,
        __floatditf): Export at GCC_LDBL_3.0 if -m32 -mlong-double-128.
        (__divtc3, __multc3, __powitf2): Export at GCC_LDBL_4.0.0 if
        -m32 -mlong-double-128.

        * config.gcc (alpha*-*-linux*): Add alpha/t-linux to tmake_file.
        * config/alpha/t-linux: New file.
        * config/alpha/libgcc-alpha-ldbl.ver: New file.

        * config/sparc/linux.h (TARGET_OS_CPP_BUILTINS): Define
        __LONG_DOUBLE_128__ if TARGET_LONG_DOUBLE_128.
        (CPP_SUBTARGET_SPEC): Don't add -D__LONG_DOUBLE_128__ here.
        * config/sparc/linux64.h (TARGET_OS_CPP_BUILTINS): Define
        __LONG_DOUBLE_128__ if TARGET_LONG_DOUBLE_128 and TARGET_ARCH32.
        (CPP_ARCH32_SPEC): Remove.

2006-02-07  Uttam Pawar  <uttamp@us.ibm.com>

        PR tree-optimization/26145
        * tree-ssa-loop-unswitch.c (tree_unswitch_single_loop): Free
        bbs pointer.

2006-02-07  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>

        PR target/26109
        * pa.c (attr_length_indirect_call): Don't return length 8 for distances
        >= 240000 when generating code for SOM runtime.
        (output_indirect_call): Don't use "b,l" instruction for indirect calls
        to $$dyncall when generating code for SOM runtime..

2006-02-07  Dirk Mueller  <dmueller@suse.com>

        PR c++/18150
        * doc/invoke.texi (-Wsequence-point): Update documentation
        that -Wsequence-point is implemented for C++ as well.

2006-02-07  Eric Botcazou  <ebotcazou@libertysurf.fr>

        * config/sol26.h (CPP_SUBTARGET_SPEC): Accept -pthread.
        * config/sol2.h (CPP_SUBTARGET_SPEC): Likewise.
        (LIB_SPEC): Likewise.
        * doc/invoke.texi (SPARC options): Document -pthread.

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

        * config/i386/i386.c (ix86_delegitimize_address): Support Darwin
        PIC addresses.

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

        * config/sparc/sparc.c (sparc_type_code): Don't handle CHAR_TYPE.
        Correct comment describing BOOLEAN_TYPE.

2006-02-07  Dirk Mueller  <dmueller@suse.com>

        * c.opt: C++ frontend supports -Wdiv-by-zero.
        * c-opts.c (c_common_handle_option): Remove dead case.

2006-02-07  Eric Botcazou  <ebotcazou@libertysurf.fr>

        * configure.ac (TLS assembler check): Do not enable TLS by
        default on SPARC/Solaris before version 10.
        * configure: Regenerate.

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

        * doc/invoke.texi (xl-compat): Document conversion and support
        routine names.

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

        * tree-vrp.c (find_conditional_asserts): Update comments.
        (simplify_stmt_for_jump_threading): New.
        (identify_jump_threads, finalize_jump_threads): New.
        (vrp_finalize): Call identify_jump_threads.
        (execute_vrp): Call finalize_jump_threads.
        * tree-ssa-dom.c (struct opt_stats_d): Remove num_iterations field.
        (vrp_element, vrp_data, vrp_element_p): Remove.
        (vrp_hash_elt, vrp_variables_stack): Remove.
        (vrp_hash, vrp_eq, record_range): Remove.
        (simplify_cond_and_lookup_avail_expr): Remove.
        (extract_range_from_cond): Remove.
        (thread_across_edge): Relocated into tree-ssa-threadedge.c.
        (simplify_stmt_for_jump_threading): New.
        (dom_thread_across_edge): New wrapper.
        (tree_ssa_dominator_optimize): No longer initialize or
        finalize any of the VRP datastructures.  Remove iteration
        step and simplify as a result of removal of iteration step.
        (pass_dominator): Perform a cfg cleanup after DOM.
        (dom_opt_finalize_block): Use the new common routines
        for threading jumps.  Simplify stack management slightly.
        No longer need to unwind VRP state.
        (record_equivalences_from_incoming_edge): No longer record
        VRP information.
        (eliminate_redundant_computations): No longer call
        simplify_cond_and_lookup_avail_expr.
        * tree-flow.h (potentially_threadable_block): Prototype.
        (thread_across_edge): Likewise.
        * Makefile.in (OBJS-common):  Add tree-ssa-threadedge.o
        (tree-ssa-threadedge.o): Add dependencies.
        * tree-ssa-threadedge.c: New file.
        * passes.c (init_optimization_passes): Merge PHIs before
        calling VRP.  Run VRP again late in the SSA optimization pipeline.

2006-02-07  Eric Botcazou  <ebotcazou@libertysurf.fr>

        * df-core.c (df_set_blocks): Do not dereference function pointers.
        (df_finish1): Likewise.
        (df_hybrid_search_forward): Likewise.
        (df_hybrid_search_backward): Likewise.
        (df_iterative_dataflow): Likewise.
        (df_analyze_problem): Likewise.
        (df_compact_blocks): Likewise.
        (df_dump): Likewise.
        * df-scan.c (df_rescan_blocks): Likewise.
        (df_record_entry_block_defs): Likewise.

        * genconditions.c (write_conditions): Guard the definition of
        'insn_conditions' with the check on GCC version.
        (write_writer): Guard the traversal 'insn_conditions' with
        the check on GCC version.

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

        PR c++/26140
        Revert
        2006-01-30  Richard Guenther  <rguenther@suse.de>
        PR c++/23372
        * gimplify.c (gimplify_target_expr): Handle easy cases
        without creating a temporary.

2006-02-07  Pete Steinmetz  <steinmtz@us.ibm.com>

        * sched-rgn.c (compute_dom_prob_ps, compute_trg_info): Eradicate
        use of float in probability computations.  Use edge probabilities
        in place of statically computed probabilities.
        (min_spec_prob): New static variable.
        (schedule_insns): Initialize it.
        (GET_SRC_PROB): Removed.
        * doc/invoke.texi (min-sched-prob): Renamed to min-spec-prob.

2006-02-07  Alexandre Oliva  <aoliva@redhat.com>

        PR debug/24444
        * config/ia64/unwind-ia64.c: Revert last change.
        * config/ia64/ia64.h (ARG_POINTER_CFA_OFFSET): Removed.
        (INCOMING_FRAME_SP_OFFSET): Define.

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

        * config/ia64/ia64.c (hfa_element_mode): Don't handle CHAR_TYPE.

2006-02-07  Ben Elliston  <bje@au.ibm.com>

        * config/i386/i386.c (ix86_scalar_mode_supported_p): New.
        (TARGET_SCALAR_MODE_SUPPORTED_P): Define hook.
        (classify_argument): Handle SDmode, DDmode, TDmode for 64-bit.
        (ix86_return_in_memory): Handle TDmode.
        (ix86_libcall_value): Handle SDmode, DDmode, TDmode.
        (ix86_value_regno): Return non-TDmode decimal float modes in %eax.

2006-02-06  Richard Sandiford  <richard@codesourcery.com>

        * reorg.c (dbr_schedule): Use dump_file instead of file.

2006-02-06  Steve Ellcey  <sje@cup.hp.com>

        PR target/25917
        * config/ia64/predicates.md (extr_len_operand): New predicate.
        * config/ia64/ia64.md (extv): Tighten constraints.
        (extzv): Ditto.
        (*tbit_and_2): Ditto.
        (*tbit_and_3): Ditto.
        (*tbit_or_2): Ditto.
        (*tbit_or_3): Ditto.
        (*bit_zero): Ditto.
        (*bit_one): Ditto.

2006-02-06  Andrew Pinski  <pinskia@physics.uc.edu>

        PR target/23359
        * config/i386/i386.md (trap): Use ASM_SHORT instead of .word.

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

        * tree-vrp.c (execute_vrp): Do not pass dump argument to.
        loop_optimizer_init and loop_optimizer_finalize
        * tree-ssa-sink.c (execute_sink_code): Ditto.
        * tree-ssa-loop-ch.c (copy_loop_headers): Ditto.
        * tree-ssa-loop.c (tree_loop_optimizer_init, tree_ssa_loop_init,
        tree_ssa_loop_done): Ditto.
        * tree-ssa-pre.c (init_pre, fini_pre): Ditto.
        * sched-ebb.c: Include output.h.
        (schedule_ebbs): Do not use dump argument.
        * value-prof.h (struct profile_hooks): Remove profile_dump_file.
        * loop.c (loop_dump_stream): Removed.
        (loop_optimize, rest_of_handle_loop_optimize): Do not use dump
        argument.
        (scan_loop, move_movables, find_and_verify_loops, mark_loop_jump,
        emit_prefetch_instructions, loop_bivs_find, loop_bivs_check,
        final_biv_value, loop_biv_eliminable_p, loop_givs_rescan,
        loop_iterations, strength_reduce, record_biv, record_giv,
        final_giv_value, check_final_value, check_ext_dependent_givs,
        combine_givs, check_dbra_loop, maybe_eliminate_biv, load_mems,
        try_copy_prop, loop_delete_insns, try_swap_copy_prop): Use
        dump_file instead of loop_dump_stream.
        * ddg.c (print_ddg_edge, print_ddg, vcg_print_ddg): Do not call
        argument dump_file.
        * reorg.c (dbr_schedule, rest_of_handle_delay_slots): Do not use
        dump argument.
        * flow.c (life_analysis, rest_of_handle_life): Ditto.
        * haifa-sched.c: Include output.h
        (schedule_insns, sched_init): Do not use dump argument.
        * mode-switching.c (optimize_mode_switching): Ditto.
        * modulo-sched.c (stats_file): Removed.
        (print_node_sched_params): Do not call argument dump_file.
        (sms_schedule_by_order, loop_canon_p, sms_schedule,
        rest_of_handle_sms): Do not use dump argument.  Use dump_file instead
        of stats_file.
        * cse.c (cse_main, rest_of_handle_cse, rest_of_handle_cse2): Do not
        use dump argument.
        * loop-init.c (loop_optimizer_init, loop_optimizer_finalize,
        rtl_loop_init, rtl_loop_done): Ditto.
        * global.c (global_alloc, rest_of_handle_global_alloc): Ditto.
        * predict.c (combine_predictions_for_bb, tree_estimate_probability):
        Ditto.
        * recog.c (peephole2_optimize, rest_of_handle_peephole2): Ditto.
        * lcm.c (pre_edge_lcm, pre_edge_rev_lcm): Ditto.
        * regmove.c (fixup_match_1, fixup_match_2, regmove_optimize,
        rest_of_handle_regmove, rest_of_handle_stack_adjustments): Ditto.
        * emit-rtl.c (renumber_insns): Ditto.
        * cfgexpand.c (add_reg_br_prob_note, expand_gimple_cond_expr,
        expand_gimple_basic_block, tree_expand_cfg): Ditto.
        * regclass.c (regclass): Ditto.
        * tree-outof-ssa.c (analyze_edges_for_bb, perform_edge_inserts,
        remove_ssa_form, rewrite_out_of_ssa): Ditto.
        * reg-stack.c (compensate_edge, compensate_edges, convert_regs_1,
        convert_regs_2, convert_regs, reg_to_stack, rest_of_handle_stack_regs):
        Ditto.
        * sched-rgn.c (schedule_insns, rest_of_handle_sched): Ditto.
        * local-alloc.c (rest_of_handle_local_alloc): Do not pass dump_file
        to regclass.
        * gcse.c (gcse_file, debug_stderr): Removed.
        (gcse_main, bypass_jumps, rest_of_handle_jump_bypass,
        rest_of_handle_gcse): Do not use dump argument.
        (cprop_jump, cprop_insn, do_local_cprop, cprop, find_implicit_sets,
        one_cprop_pass, bypass_block, compute_pre_data, insert_insn_end_bb,
        pre_edge_insert, pre_insert_copy_insn, pre_delete, one_pre_gcse_pass,
        compute_code_hoist_vbeinout, compute_code_hoist_data,
        one_code_hoisting_pass, trim_ld_motion_mems, update_ld_motion_stores,
        compute_store_table, build_store_vectors, insert_insn_start_bb,
        insert_store, remove_reachable_equiv_notes, replace_store_insn,
        store_motion): Use dump_file instead of gcse_file.
        * ipa-type-escape.c (type_escape_execute): Remove debugging comments.
        * profile.c (profile_dump_file): Removed.
        (branch_prob): Use dump_file instead of profile_dump_file.
        * ipa.c (cgraph_remove_unreachable_nodes): Do not call argument
        dump_file.
        * tree-ssa-copy.c (dump_copy_of): Ditto.
        * rtl-factoring.c (rtl_seqabstr, rest_of_rtl_seqabstr): Do not pass
        dump file to life_analysis.
        * bt-load.c (branch_target_load_optimize): Ditto.
        * cfgcleanup.c (rest_of_handle_jump2): Do not pass dump_file to
        renumber_insns.
        * rtl.h (cse_main, renumber_insns, schedule_insns, schedule_ebbs,
        regclass, dbr_schedule): Declaration changed.
        * sched-int.h (sched_init): Declaration changed.
        * tree-profile.c (tree_profile_dump_file): Removed.
        (tree_profile_hooks): Removed profile_dump_file hook.
        * rtl-profile (rtl_profile_dump_file): Removed.
        (rtl_profile_hooks): emoved profile_dump_file hook.
        * cfgloop.h (loop_optimizer_init, loop_optimizer_finalize): Declaration
        changed.
        * c-gimplify.c (c_genericize): Do not call local variable dump_file.
        * tree-cfg.c (build_tree_cfg): Ditto.
        * Makefile.in (haifa-sched.o, sched-ebb.o): Add output.h dependency.
        * basic-block.h (life_analysis, pre_edge_lcm, pre_edge_rev_lcm):
        Declaration changed.
        * config/sh/sh.c (sh_output_mi_thunk): Do not pass dump_file to
        life_analysis and schedule_insns.
        * config/m68hc11/m68hc11.c (m68hc11_reorg): Do not pass dump_file to
        life_analysis.
        * config/mt/mt.c (mt_machine_reorg): Do not pass dump_file to
        dbr_schedule.
        * config/mips/mips.c (mips_reorg): Ditto.
        * config/ia64/ia64.c (ia64_reorg): Do not pass dump_file to
        schedule_ebbs.

2006-02-06  Aldy Hernandez  <aldyh@redhat.com>

        * config/s390/s390.c (TARGET_MANGLE_FUNDAMENTAL_TYPE): Define.
        (s390_mangle_fundamental_type): New.
        * config/s390/linux.h (TARGET_ALTERNATE_LONG_DOUBLE_MANGLING):
        Define.

        * config/alpha/alpha.c (TARGET_MANGLE_FUNDAMENTAL_TYPE): Define.
        (alpha_mangle_fundamental_type): New.
        * config/alpha/linux.h (TARGET_ALTERNATE_LONG_DOUBLE_MANGLING):
        Define.

        * config/sparc/linux.h (TARGET_ALTERNATE_LONG_DOUBLE_MANGLING):
        Define.
        * config/sparc/linux64.h (TARGET_ALTERNATE_LONG_DOUBLE_MANGLING):
        Define.
        * config/sparc/sparc.c (TARGET_MANGLE_FUNDAMENTAL_TYPE): Define.
        (sparc_mangle_fundamental_type): New.

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

        * config.gcc (s390-*-linux*): Add s390/t-linux to tmake_file.
        (s390x-*-linux*): Likewise.
        * config/s390/t-linux64 (SHLIB_MAPFILES): Removed.
        * config/s390/t-linux: New file.

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

        * config/i386/sync.md (sync_add<mode>, sync_sub<mode>, sync_ior<mode>,
        sync_and<mode>, sync_xor<mode>): Operand 0 is in-out.

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

        * tree-ssa-pre.c (bb_value_sets_t): Add antic_safe_loads.
        (ANTIC_SAFE_LOADS): New macro.
        (find_or_generate_expression): Add prototype.
        (set_contains_value): Allow null set for sake of not always having
        to allocate ANTIC_SAFE_LOADS.
        (phi_translate): Move placement of AGGREGATE_TYPE_P check.
        Allow COMPONENT_REF too.
        (valid_in_set): Allow COMPONENT_REF.
        Check ANTIC_SAFE_LOADS too.
        (compute_antic_aux): Print out ANTIC_SAFE_LOADS.
        (compute_rvuse_and_antic_safe): Add ANTIC_SAFE computation, and
        rename.
        (can_PRE_operation): Add COMPONENT_REF.
        (create_component_ref_by_pieces): New function.
        (create_expression_by_pieces): Use create_component_ref_by_pieces.
        (insert_aux): Move AGGREGATE_TYPE_P check here.
        (compute_avail): Set bb local stmt uids.
        (pass_pre): Use TODO_update_ssa_only_virtuals.

2006-02-06  Ben Elliston  <bje@au.ibm.com>

        * configure.ac: Unconditionally disable decimal float by default.
        * configure: Regenerate.

2006-02-06  Ben Elliston  <bje@au.ibm.com>

        * read-rtl.c (read_name): Terminate reading on EOF.

2006-02-06  Ben Elliston  <bje@au.ibm.com>

        * dfp.c (decimal_real_arithmetic): Change second argument type
        from int to enum tree_code. Do not always return true, but now
        return result of any call to decimal_do helper functions.
        * dfp.h (decimal_real_arithmetic): Update prototype.

2006-02-05  Eric Botcazou  <ebotcazou@libertysurf.fr>

        * config/sparc/sol2-bi.h (SPARC_DEFAULT_CMODEL): Set to CM_MEDMID.

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

        PR tree-opt/25251
        * tree-cfg.c (cleanup_dead_labels): Also don't remove
        forced labels.

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

        * tree-vrp.c (cfg_loops): Removed.
        (adjust_range_with_scev, vrp_visit_assignment, execute_vrp):
        Use current_loops instead of cfg_loops.  Pass flags to
        loop_optimizer_init.
        * cfgloopmanip.c (fix_loop_structure): Update only available
        information.
        * tree-ssa-loop-ch.c (copy_loop_headers): Pass flags to
        loop_optimizer_init.
        * modulo-sched.c (build_loops_structure): Removed.
        (sms_schedule): Use loop_optimizer_init.
        * loop-init.c (loop_optimizer_init): Use flags to determine
        which properties of loops to prepare.
        (rtl_loop_init): Pass flags to loop_optimizer_init.
        * tree-ssa-sink.c (execute_sink_code): Ditto.
        * tree-ssa-loop.c (tree_loop_optimizer_init): Ditto.
        * tree-ssa-pre.c (init_pre): Ditto.
        * cfgloop.h (LOOPS_NORMAL): New.
        (loop_optimizer_init): Declaration changed.

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

        * pa/x-ada-hpux10, pa/t-pa-hpux10, pa/t-pa-hpux11: New files.
        * config.gcc (hppa[12]*-*-hpux10*): Use pa/t-pa-hpux10 instead of
        pa/t-pa.
        * config.gcc (hppa[12]*-*-hpux11*): Use pa/t-pa-hpux11 instead of
        pa/t-pa.
        * config.host (hppa*-*-hpux10*): Use pa/x-ada-hpux10 instead of
        pa/x-ada.
        * pa/t-pa-hpux: Add lib2funcs.asm and quadlib.c rules.
        * pa/t-pa64: Delete quadlib.c rule.
        * pa/x-ada: Revert last change.
        * pa/t-pa: Revert last change.  Delete quadlib.c rule.

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

        PR rtl-optimization/26087
        * rtlanal.c (canonicalize_condition): Do not cross basic block
        boundaries.

2006-02-04  Alexandre Oliva  <aoliva@redhat.com>

        PR debug/24444
        * config/ia64/ia64.c: Include debug.h.
        (MAX_ARTIFICIAL_LABEL_BYTES): New.
        (ia64_label_after_insn, ia64_dwarf2out_def_steady_cfa): New.
        (IA64_CHANGE_CFA_IN_EPILOGUE): Define to 0.
        (process_epilogue, process_set, process_for_unwind_directive):
        Output unwind info only if requested.  Add CFA info if requested.
        Add new arguments as needed.  Adjust callers.
        * config/ia64/ia64.h (ARG_POINTER_CFA_OFFSET): Override
        incorrect default.
        (DWARF2_FRAME_INFO): Define to zero.
        * config/ia64/unwind-ia64.c: Remove code that compensated for
        the CFA offset error fixed above.
        * config/ia64/t-ia64 (ia64.o): Depend on debug.h.
        * dwarf2out.c (DWARF2_FRAME_INFO): Define default.
        (dwarf2out_do_frame): Require nonzero DWARF2_UNWIND_INFO for
        -funwind-tables and -fexceptions to enable frame info.
        (dwarf2out_frame_init): Define initial CFA even if
        DWARF2_UNWIND_INFO is disabled.  Call initial_return_save if
        DWARF2_UNWIND_INFO is nonzero, not just defined.
        (dwarf2out_frame_finish): Output non-EH call frame info only
        if DWARF2_FRAME_INFO is nonzero.
        (convert_cfa_to_loc_list,
        compute_frame_pointer_to_cfa_displacement): Define even if
        unwind info is not supported.
        (gen_subprogram_die): Use the above unconditionally.  Remove
        legacy alternate code.
        * toplev.c (compile_file): Compile in call to
        dwarf2out_frame_finish if DWARF2_DEBUGGING_INFO is defined.
        (lang_dependent_init): Ditto for dwarf2out_frame_init.

2006-02-04  David Edelsohn  <edelsohn@gnu.org>
            Jakub Jelinek  <jakub@redhat.com>

        * config/rs6000/rs6000.c (rs6000_mangle_fundamental_type): Mangle
        IBM extended float format long double as "g" on powerpc*-linux.

2006-02-03  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>

        PR target/25926
        * pa/x-ada (X_ADA_CFLAGS): Define _X_HPUX10 on HP-UX 10.
        * pa/t-pa (TARGET_LIBGCC2_CFLAGS): Define _T_HPUX10 on HP-UX 10.

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

        PR c++/25979
        * gimplify.c (gimplify_modify_expr_rhs): Disable *& optimization for now.

        PR middle-end/25977
        * gimplify.c (gimplify_modify_expr_rhs): It's not always safe to do RVO
        on the return slot if it's an NRV.

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

        * tree-ssa-loop-ivopts.c (enum use_type): Remove USE_OUTER.
        (dump_use, add_derived_ivs_candidates, determine_use_iv_cost,
        rewrite_use): Do not handle USE_OUTER.
        (find_interesting_uses_outer_or_nonlin, find_interesting_uses_outer,
        add_iv_outer_candidates, may_replace_final_value,
        determine_use_iv_cost_outer, rewrite_use_outer): Removed.
        (find_interesting_uses_op): Functionality of
        find_interesting_uses_outer_or_nonlin moved here.
        (find_interesting_uses_outside): Use find_interesting_uses_op.

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

        PR target/25960
        * config/rs6000/darwin-ldouble.c (__gcc_qadd): Preserve -0.0 result.

2006-02-03  Andreas Krebbel  <krebbel1@de.ibm.com>
            Ulrich Weigand  <uweigand@de.ibm.com>

        PR target/25864
        * config/s390/2084.md ("x_fsimptf", "x_fmultf", "x_fdivtf",
        "x_floadtf", "x_ftrunctf", "x_ftruncdf"): New insn reservations.
        * config/s390/fixdfdi.h (__fixunstfdi, __fixtfdi): New functions.
        * config/s390/s390.c (struct processor_costs): Add mxbr, sqxbr, dxbr
        and dxr fields.
        (z900_cost, z990_cost, z9_109_cost): Values for the new fields added.
        (s390_rtx_costs): Use the new fields to calculate rtx costs.
        (s390_secondary_input_reload_class, s390_secondary_output_reload_class):
        Define secondary reloads for TFmode moves.
        (constant_modes): Add TFmode.
        (NR_C_MODES): Set to 8.
        * config/s390/s390.h (TARGET_CPU_CPP_BUILTINS): Add __LONG_DOUBLE_128__
        builtin define.
        (LONG_DOUBLE_TYPE_SIZE): Set to 128 or 64.
        (LIBGCC2_LONG_DOUBLE_TYPE_SIZE, WIDEST_HARDWARE_FP_SIZE): Define.
        (HARD_REGNO_NREGS, HARD_REGNO_MODE_OK, CLASS_MAX_NREGS,
        CANNOT_CHANGE_MODE_CLASS): Consider TFmode.
        * config/s390/s390.md ("type" attribute): Add fsimptf, floadtf, fmultf,
        fdivtf, fsqrttf, ftrunctf, ftruncdf as possible values.
        (FPR mode macro): Add TFmode.
        (DSF mode macro): New.
        (<de>, <dee> mode attributes): Removed.
        (<xde>, <xdee>, <RRe>, <RXe>, <Rf> mode attributes): New.
        ("*cmp<mode>_ccs_0", "*cmp<mode>_ccs_0_ibm", "*cmp<mode>_ccs",
        "*cmp<mode>_ccs_ibm", "fix_trunc<FPR:mode><GPR:mode>2_ieee",
        "floatdi<mode>2", "floatsi<mode>2_ieee", "*add<mode>3",
        "*add<mode>3_cc", "*add<mode>3_cconly", "*add<mode>3_ibm",
        "*sub<mode>3", "*sub<mode>3_cc", "*sub<mode>3_cconly",
        "*sub<mode>3_ibm", "*mul<mode>3_ibm", "*fmadd<mode>", "*fmsub<mode>",
        "*div<mode>3", "*div<mode>3_ibm", "*neg<mode>2_cc",
        "*neg<mode>2_cconly", "*neg<mode>2", "*neg<mode>2_ibm",
        "*abs<mode>2_cc", "*abs<mode>2_cconly", "*abs<mode>2",
        "*abs<mode>2_ibm", "*negabs<mode>2_cc", "*negabs<mode>2_cconly",
        "*negabs<mode>2", "sqrt<mode>2"):
        Changed <de> to <xde>. R constraint replaced by <Rf>.
        ("*mul<mode>3"): Changed <dee> to <xdee>. R constraint replaced by
        <Rf>.
        ("fix_trunc<FPR:mode>di2"): 'FPR:' removed.
        ("*fmadd<mode>", "*fmsub<mode>"): FPR mode replaced by DSF.
        ("*movtf_64", "*movtf_31"): New insn definitions followed by 5
        splitters.
        ("movtf", "reload_outtf", "reload_intf", "trunctfdf2", "trunctfsf2",
        "extenddftf2", "extendsftf2"): New expanders.
        ("*trunctfdf2_ieee", "*trunctfdf2_ibm", "*trunctfsf2_ieee",
        "*trunctfsf2_ibm", "*extenddftf2_ieee", "*extenddftf2_ibm",
        "*extendsftf2_ieee", "*extendsftf2_ibm"): New insn patterns.
        * config/s390/s390.opt (mlong-double-128, mlong-double-64):
        New options.
        * config/s390/t-crtstuff (TARGET_LIBGCC2_CFLAGS): Macro defined.
        * config/s390/libgcc-glibc.ver (__divtc3, __multc3, __powitf2,
        __fixtfti, __fixunstfti, __floattitf, __fixtfdi, __fixunstfdi,
        __floatditf): Add a GCC_4.1.0 symbol version tag.
        * doc/invoke.texi (-mlong-double-128, -mlong-double-64): Document
        the new options.

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

        PR target/25377
        * config/i386/i386.c (ix86_function_ok_for_sibcall):
        Use targetm.binds_local_p instead of TREE_PUBLIC.

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

        * tree.h (TYPE_STRING_FLAG): Document that this field may be used
        on INTEGER_TYPEs to indicate that it denotes a character type.
        * tree.c (build_common_tree_nodes): Set TYPE_STRING_FLAG on
        signed_char_type_node, unsigned_char_type_node and char_type_node.
        * dwarf2out.c (base_type_die): Treat CHAR_TYPE identically to
        INTEGER_TYPE.  Use TYPE_STRING_FLAG to decide whether to emit
        a DW_ATE_[un]signed_char instead of a DW_ATE_[un]signed.

2006-02-02  Zdenek Dvorak <dvorakz@suse.cz>
            Daniel Berlin  <dberlin@dberlin.org>

        * tree-tailcall.c (arg_needs_copy_p): New function.
        (eliminate_tail_call): Use arg_needs_copy_p.
        (tree_optimize_tail_calls_1): Ditto. Also call add_virtual_phis.
        (add_virtual_phis): New function.

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

        * config/sparc/sparc.c (sparc_output_scratch_registers): Use
        #ignore instead of #scratch for %g7 .register directive.

2006-02-02  Andreas Tobler  <a.tobler@schweiz.ch>

        * config/sparc/freebsd.h (ENDFILE_SPEC): Add space to separate
        object files.

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

        * flow.c (calculate_global_regs_live): Assert that there aren't any
        EDGE_FAKE edges.

2006-02-02  Paolo Bonzini  <bonzini@gnu.org>

        * tree-flow-inline.h (bsi_after_labels): Rewrite, return
        what its name says.
        * lambda-code.c (perfect_nestify): Use bsi_insert_before on
        bsi_after_labels iterator.
        * tree-if-conv.c (find_phi_replacement_condition,
        replace_phi_with_cond_modify_expr): Likewise.
        * tree-scalar-evolution.c (scev_const_prop): Likewise.
        * tree-ssa-loop-ivopts.c (compute_phi_arg_on_exit): Likewise.

2006-02-02  Diego Novillo  <dnovillo@redhat.com>

        * tree-inline.c (copy_tree_r): Also copy OMP_CLAUSE nodes.

2006-02-02  Diego Novillo  <dnovillo@redhat.com>

        PR 25990
        * tree-cfg.c (move_block_to_fn): Clear out the basic block
        array after growing it.

2006-02-01  Steve Ellcey  <sje@cup.hp.com>

        PR middle-end/24901
        * fold-const.c (fold_checksum_tree): Change type of buf.

2006-02-01  Bernd Schmidt  <bernd.schmidt@analog.com>

        * reload.c (push_secondary_reload): Initialize t_icode.

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

        * config/rs6000/sysv4.h (SUBTARGET_OVERRIDE_OPTIONS): For
        -msoft-float -mlong-double-128 only issue a warning, but don't
        swich to DFmode long double.

2006-02-01  Hans-Peter Nilsson  <hp@axis.com>

        * cse.c (fold_rtx) <case RTX_COMM_COMPARE, RTX_COMPARE>: When arg1
        has a constant equivalent, iterate over equivalents for arg0,
        calling simplify_relational_operation and if there's a result
        cheaper than X, apply fold_rtx and return the result.

2006-02-01  Jan Hubicka  <jh@suse.cz>

        * opts.c (no_unit_at_a_time_default): New global variable.
        (decode_options): Use it.
        * opts.h (no_unit_at_a_time_default): Declare.

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

        * function.c (assign_parm_setup_reg): Use function argument promotion
        rules.
        * expr.c (expand_expr_real_1): Use function argument promotion rules
        for PARM_DECLs.

2006-02-01  Steve Ellcey  <sje@cup.hp.com>

        * gcc.c (process_command): Change j to 'unsigned int'.

2006-01-31  Andrew Pinski  <pinskia@physics.uc.edu>

        PR middle-end/26001
        * expr.c (expand_expr_real_1) <case ARRAY_REF>:
        Use the corrected index for the character
        out of the string constant.

2006-01-31  Andrew Pinski  <pinskia@physics.uc.edu>

        * mode-switching.c (optimize_mode_switching): Fix size
        allocated for bb_info[n_entities].

2006-01-31  Andrew Pinski  <pinskia@physics.uc.edu>

        * gcc.c (main): Correct type that is allocated for
        explicit_link_files.

2006-01-31  Jakub Jelinek  <jakub@redhat.com>

        * config/s390/s390.c (init_alignment_context): Set
        ALIAS_SET_MEMORY_BARRIER on the MEM.
        * config/sparc/sparc.c (sparc_expand_compare_and_swap_12): Likewise.

2006-01-31  Uttam Pawar  <uttamp@us.ibm.com>

        PR middle-end/25933
        * loop-unroll.c (unroll_loop_runtime_iterations): Free
        dom_bbs pointer.
        * tree-ssa-live.c (type_var_init): Allocate bitmap after
        call to tpa_init.

2006-01-31  Marcin Dalecki  <martin@dalecki.de>

        * tree-vrp.c: Use XNEW/XCNEW allocation wrappers.
        * regrename.c: Ditto.