* dwarf2asm.c (dw2_asm_output_offset): Mark 'base' argument

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

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

        * dwarf2asm.c (dw2_asm_output_offset): Mark 'base' argument
        with ATTRIBUTE_UNUSED.

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

        * dwarf2out.c (dwarf2out_stack_adjust): Always track the stack
        pointer, instead of assuming it is possible to derive the
        correct args size from a call insn.

2006-03-16  Jan-Benedict Glaw  <jbglaw@lug-owl.de>

        * rtl.h (CONST_INT_P): Define.
        * config/vax/vax.c (print_operand_address): Use CONST_INT_P()
        instead of GET_CODE(x) == CONST_INT.
        (vax_rtx_costs): Likewise.
        (vax_output_int_move): Likewise.
        (vax_output_int_add): Likewise.
        (legitimate_constant_address_p): Likewise.
        (index_term_p): Likewise.
        * config/vax/vax.h (PRINT_OPERAND): Likewise.
        * config/vax/vax.md (and<mode>3): Likewise.
        (ashrsi3): Likewise.
        (extv): Likewise.
        (movstricthi): Likewise.
        (movstrictqi): Likewise.
        (rotrsi3): Likewise.
        (five unnamed insns): Likewise.

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

        * doc/tm.texi (SDB and DWARF): Add extra parameter to
        ASM_OUTPUT_DWARF_OFFSET.  Use @var to indicate metavariables.
        * dwarf2asm.h (dw2_asm_output_offset): Add section parameter.
        * dwarf2asm.c (dw2_asm_output_offset): Add base section parameter.
        Pass to ASM_OUTPUT_DWARF_OFFSET.
        * dwarf2out.c (debug_frame_section): New.
        (output_call_frame_info): Use debug_frame_section.  Pass it to
        dw2_asm_output_offset.
        (output_die): Pass appropriate section to dw2_asm_output_offset.
        (output_compilation_unit_header): Likewise.
        (output_pubnames): Likewise.
        (output_aranges): Likewise.
        (enum dw_val_class): Break dw_val_class_lbl_offset into
        dw_val_class_lineptr and dw_val_class_macptr.
        (add_AT_lbl_offset): Delete.
        (add_AT_lineptr): New.
        (add_AT_macptr): New.
        (AT_lbl): Expect a lineptr or macptr.
        (print_die): Handle dw_val_class_lineptr and dw_val_class_macptr.
        (attr_checksum): Likewise.
        (same_dw_val_p): Likewise.
        (size_of_die): Likewise.
        (value_format): Likewise.
        (output_die): Likewise.
        (dwarf2out_finish): Call add_AT_lineptr and add_AT_macptr instead of
        add_AT_lbl_offset.
        * config/i386/cygming.h (ASM_OUTPUT_DWARF_OFFSET): Add extra parameter.
        * config/i386/i386.c (x86_file_start): Call darwin_file_start.
        * config/darwin-protos.h (darwin_file_start): New.
        (darwin_asm_output_dwarf_offset): New.
        * config/ia64/ia64.h (ASM_OUTPUT_DWARF_OFFSET): Add extra parameter.
        * config/rs6000/rs6000.c (rs6000_darwin_file_start): Call
        darwin_file_start.
        * config/darwin.c (darwin_emit_unwind_label): Don't output label
        if not EH section; simplify.
        (darwin_file_start): New.
        (darwin_asm_output_dwarf_offset): New.
        * config/darwin.h (DEBUG_FRAME_SECTION): In __DWARF segment,
        mark as 'debug'.
        (DEBUG_INFO_SECTION): Likewise.
        (DEBUG_ABBREV_SECTION): Likewise.
        (DEBUG_ARANGES_SECTION): Likewise.
        (DEBUG_MACINFO_SECTION): Likewise.
        (DEBUG_LINE_SECTION): Likewise.
        (DEBUG_LOC_SECTION): Likewise.
        (DEBUG_PUBNAMES_SECTION): Likewise.
        (DEBUG_STR_SECTION): Likewise.
        (DEBUG_RANGES_SECTION): Likewise.
        (FRAME_BEGIN_LABEL): Must start with 'L' in debug section.
        (ASM_OUTPUT_DWARF_OFFSET): New.

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

        * config.gcc (tm_defines): Always add to previous value rather
        than replacing it.

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

        * config/mips/predicates.md (splittable_const_int_operand): New,
        split from move_operand.
        (splittable_symbolic_operand): New.
        (move_operand): Add commentary.  Use splittable_const_int_operand.
        Inline mips_atomic_symbolic_constant_p.
        * config/mips/mips.md: Add combine splitters for handling moves
        of splittable_const_int_operands and splittable_symbolic_operands.
        * config/mips/mips-protos.h (mips_atomic_symbolic_constant_p): Delete.
        (mips_split_symbol): Declare.
        (mips_move_integer): Declare.
        * config/mips/mips.c (mips_split_p): Make global.
        (TARGET_MIN_ANCHOR_OFFSET): Override default.
        (TARGET_MAX_ANCHOR_OFFSET): Likewise.
        (TARGET_USE_BLOCKS_FOR_CONSTANT_P): Likewise.
        (TARGET_USE_ANCHORS_FOR_SYMBOL_P): Likewise.
        (mips_offset_within_object_p): Handle block symbols.
        (mips_atomic_symbolic_constant_p): Delete.
        (mips_cannot_force_const_mem): Return false for constants that
        mips_legitimize_move can handle.
        (mips_use_blocks_for_constant_p): New function.
        (mips_split_symbol): Make global.
        (mips_move_integer): Likewise.  Add a temporary register argument.
        (mips_legitimize_const_move): Use splittable_const_int_operand and
        splittable_symbolic_operand.
        (mips_use_anchors_for_symbol_p): New function.
        * config/mips/mips.h: Protect externs with !USED_FOR_TARGET.
        (mips_split_p): Declare.  

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

        * config.gcc (mips64*-*-linux*): Keep existing tm_defines.
        (mips*-*-linux*): Likewise.

2006-03-16  Roger Sayle  <roger@eyesopen.com>
            Daniel Speyer  <dspeyer@wam.umd.edu>

        PR middle-end/18259
        * tree-dump.c (dump_real): New function.
        (dequeue_and_dump) <REAL_CST>: Use it to dump FP constants.
        * Makefile.in (REAL_H): New macro for dependencies on real.h.
        (tree-dump.o): Add $(REAL_H) to the dependencies.

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

        PR middle-end/21781
        * real.c (real_from_string): If the mantissa is zero, don't bother
        parsing the exponent as the result should always be zero.

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

        * simplify-rtx.c (simplify_plus_minus): Simplify within CONST terms.

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

        * config/ia64/ia64.c (stops_p): Added explicit initialization.
        (ia64_first_cycle_multipass_dfa_lookahead_guard_spec,
        ia64_h_i_d_extended, ia64_set_sched_flags, ia64_speculate_insn,
        ia64_needs_block_p, ia64_gen_check, ia64_sched_init_global,
        ia64_sched_finish_global): New static functions to implement
        hooks from gcc_target.sched.
        (spec_check_no, max_uid, pending_data_specs): New static variables.
        (ia64_mode_to_int, ia64_gen_spec_insn, ia64_spec_check_p,
        ia64_spec_check_src_p): New static functions.
        (ia64_adjust_cost): Renamed to ia64_adjust_cost_2.
        (TARGET_SCHED_ADJUST_COST): Removed.
        (TARGET_SCHED_ADJUST_COST_2, TARGET_SCHED_INIT_GLOBAL,
        TARGET_SCHED_FINISH_GLOBAL, TARGET_SCHED_H_I_D_EXTENDED,
        TARGET_SCHED_SPECULATE_INSN, TARGET_SCHED_NEEDS_BLOCK_P,
        TARGET_SCHED_GEN_CHECK,
        TARGET_SCHED_FIRST_CYCLE_MULTIPASS_DFA_LOOKAHEAD_GUARD_SPEC,
        TARGET_SCHED_SET_SCHED_FLAGS): New macros.
        (update_set_flags, group_barrier_needed, set_src_needs_barrier):
        Fixed to handle speculation checks.
        (rtx_needs_barrier): Fixed to handle speculative loads and
        their checks.
        (ia64_variable_issue): Added code to count speculative loads and their
        checks.
        (ia64_first_cycle_multipass_dfa_lookahead_guard): Fixed to handle
        speculative loads.
        (enum SPEC_MODES, enum SPEC_GEN_LD_MAP, SPEC_GEN_CHECK_OFFSET):
        New enumerations.
        (SPEC_GEN_EXTEND_OFFSET, SPEC_N, SPEC_GEN_CHECK_MUTATION_OFFSET):
        New constants.
        (ia64_ld_address_bypass_p): Fixed to handle speculative loads.
        (ia64_reorg): Reset stops_p to NULL after it is freed.
        * config/ia64/ia64.md (UNSPEC_LDA, UNSPEC_LDS, UNSPEC_LDSA,
        UNSPEC_LDCCLR, UNSPEC_CHKACLR, UNSPEC_CHKS): New constants.
        (itanium_class): chk_s renamed to chk_s_i.  New constants: chk_s_f,
        chk_a.
        (data_speculative, control_speculative, check_load): New attributes.
        (mov<mode>_advanced, mov<mode>_speculative,
        mov<mode>_speculative_advanced, zero_extend<mode>di2_advanced,
        zero_extend<mode>di2_speculative,
        zero_extend<mode>di2_speculative_advanced): New patterns for
        data and control speculative loads.
        (mov<mode>_clr, zero_extend<mode>di2_clr): New patterns for
        check loads.
        (advanced_load_check_clr_<mode>, speculation_check_<mode>):
        New pattern for data and control speculation checks.
        (MODE, MODE_FOR_EXTEND, output_a, output_s, output_sa, output_c_clr,
        ld_reg_constr, ldc_reg_constr, chk_reg_constr, mem_constr,
        reg_pred_prefix, ld_class, chka_class, chks_class, attr_yes):
        Auxiliary definitions for the patterns.
        * config/ia64/itanium1.md (1_fldc, 1_fldpc, 1_ldc, 1_chk_s_f, 1_chk_a,
        1b_fldc, 1b_fldpc, 1b_ldc, 1b_chk_s_f, 1b_chk_a): New resource
        constraints.
        (1_fld, 1_fldp, 1_ld, 1b_fld, 1b_fldp, 1b_ld): Add a condition
        for speculation.
        (1_chk_s, 1b_chk_s): Renamed to 1_chk_s_i, 1b_chk_s_i.
        * config/ia64/itanium2.md (2_flda, 2_fldc, 2_fldpc, 2_ldc, 2_chk_s_f,
        2_chk_a, 2b_flda, 2b_fldc, 2b_fldpc, 2b_ldc, 2b_chk_s_f, 2b_chk_a):
        New resource constraints.
        (2_fld, 2_fldp, 2_ld, 2b_fld, 2b_fldp, 2b_ld): Add a condition
        for speculation.
        (2_chk_s, 2b_chk_s): Renamed to 2_chk_s_i, 2b_chk_s_i.
        * config/ia64/ia64.opt (msched-br-data-spec, msched-ar-data-spec,
        msched-control-spec, msched-br-in-data-spec, msched-ar-in-data-spec,
        msched-in-control-spec, msched-ldc, msched-control-ldc,
        msched-spec-verbose, msched-prefer-non-data-spec-insns,
        msched-prefer-non-control-spec-insns,
        msched-count-spec-in-critical-path): New flags to tune speculative
        scheduling.
        * doc/invoke.texi (msched-br-data-spec, msched-ar-data-spec,
        msched-control-spec, msched-br-in-data-spec, msched-ar-in-data-spec,
        msched-in-control-spec, msched-ldc, msched-control-ldc,
        msched-spec-verbose, msched-prefer-non-data-spec-insns,
        msched-prefer-non-control-spec-insns,
        msched-count-spec-in-critical-path): Document new flags.

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

        * target.h (struct spec_info_def): New opaque declaration.
        (struct gcc_target.sched): New fields: adjust_cost_2, h_i_d_extended,
        speculate_insn, needs_block_p, gen_check,
        first_cycle_multipass_dfa_lookahead_guard_spec, set_sched_flags.
        * target-def.h (TARGET_SCHED_ADJUST_COST_2,
        TARGET_SCHED_H_I_D_EXTENDED, TARGET_SCHED_SPECULATE_INSN,
        TARGET_SCHED_NEEDS_BLOCK_P, TARGET_SCHED_GEN_CHECK,
        TARGET_SCHED_FIRST_CYCLE_MULTIPASS_DFA_LOOKAHEAD_GUARD_SPEC,
        TARGET_SCHED_SET_SCHED_FLAGS): New macros to initialize fields in
        gcc_target.sched.
        (TARGET_SCHED): Use new macros.
        * rtl.h (copy_DEPS_LIST_list): New prototype.
        * sched-int.h (struct sched_info): Change signature of new_ready field,
        adjust all initializations. New fields: add_remove_insn,
        begin_schedule_ready, add_block, advance_target_bb, fix_recovery_cfg,
        region_head_or_leaf_p.
        (struct spec_info_def): New structure declaration.
        (spec_info_t): New typedef.
        (struct haifa_insn_data): New fields: todo_spec, done_spec, check_spec,
        recovery_block, orig_pat.
        (glat_start, glat_end): New variables declaraions.
        (TODO_SPEC, DONE_SPEC, CHECK_SPEC, RECOVERY_BLOCK, ORIG_PAT):
        New access macros.
        (enum SCHED_FLAGS): New constants: SCHED_RGN, SCHED_EBB,
        DETACH_LIFE_INFO, USE_GLAT.
        (enum SPEC_SCHED_FLAGS): New enumeration.
        (NOTE_NOTE_BB_P): New macro.
        (extend_dependency_caches, xrecalloc, unlink_bb_notes, add_block,
        attach_life_info, debug_spec_status, check_reg_live): New functions.
        (get_block_head_tail): Change signature to get_ebb_head_tail, adjust
        all uses in ddg.c, modulo-sched.c, haifa-sched.c, sched-rgn.c,
        sched-ebb.c
        (get_dep_weak, ds_merge): Prototype functions from sched-deps.c .
        * ddg.c (get_block_head_tail): Adjust all uses.
        * modulo-sched.c (get_block_head_tail): Adjust all uses.
        (sms_sched_info): Initialize new fields.
        (contributes_to_priority): Removed.
        * haifa-sched.c (params.h): New include.
        (get_block_head_tail): Adjust all uses.
        (ISSUE_POINTS): New macro.
        (glat_start, glat_end): New global variables.
        (spec_info_var, spec_info, added_recovery_block_p, nr_begin_data,
        nr_be_in_data, nr_begin_control, nr_be_in_control, bb_header,
        old_last_basic_block, before_recovery, current_sched_info_var,
        rgn_n_insns, luid): New static variables.
        (insn_cost1): New function.  Move logic from insn_cost to here.
        (find_insn_reg_weight1): New function.  Move logic from
        find_insn_reg_weight to here.
        (reemit_notes, move_insn, max_issue): Change signature.
        (move_insn1): Removed.
        (extend_h_i_d, extend_ready, extend_global, extend_all, init_h_i_d,
        extend_bb): New static functions to support extension of scheduler's
        data structures.
        (generate_recovery_code, process_insn_depend_be_in_spec,
        begin_speculative_block, add_to_speculative_block,
        init_before_recovery, create_recovery_block, create_check_block_twin,
        fix_recovery_deps): New static functions to support
        generation of recovery code.
        (fix_jump_move, find_fallthru_edge, dump_new_block_header,
        restore_bb_notes, move_block_after_check, move_succs): New static
        functions to support ebb scheduling.
        (init_glat, init_glat1, attach_life_info1, free_glat): New static
        functions to support handling of register live information.
        (associate_line_notes_with_blocks, change_pattern, speculate_insn,
        sched_remove_insn, clear_priorities, calc_priorities, bb_note,
        add_jump_dependencies): New static functions.
        (check_cfg, has_edge_p, check_sched_flags): New static functions for
        consistancy checking.
        (debug_spec_status): New function to call from debugger.
        (priority): Added code to handle speculation checks.
        (rank_for_schedule): Added code to distinguish speculative instructions.
        (schedule_insn): Added code to handle speculation checks.
        (unlink_other_notes, rm_line_notes, restore_line_notes, rm_other_notes):
        Fixed to handle ebbs.
        (move_insn): Added code to handle ebb scheduling.
        (max_issue): Added code to use ISSUE_POINTS of instructions.
        (choose_ready): Added code to choose between speculative and
        non-speculative instructions.
        (schedule_block): Added code to handle ebb scheduling and scheduling of
        speculative instructions.
        (sched_init): Initialize new variables.
        (sched_finish): Free new variables.  Print statistics.
        (try_ready): Added code to handle speculative instructions.
        * lists.c (copy_DEPS_LIST_list): New function.
        * sched-deps.c (extend_dependency_caches): New function.  Move logic
        from create_dependency_caches to here.
        (get_dep_weak, ds_merge): Make global.
        * genattr.c (main): Code to output prototype for
        dfa_clear_single_insn_cache.
        * genautomata.c (DFA_CLEAR_SINGLE_INSN_CACHE_FUNC_NAME): New macros.
        (output_dfa_clean_insn_cache_func): Code to output
        dfa_clear_single_insn_cache function.
        * sched-ebb.c (target_n_insns): Remove.  Adjust all users to use
        n_insns.
        (can_schedule_ready_p, fix_basic_block_boundaries, add_missing_bbs):
        Removed.
        (n_insns, dont_calc_deps, ebb_head, ebb_tail, last_bb):
        New static variables.
        (begin_schedule_ready, add_remove_insn, add_block1, advance_target_bb,
        fix_recovery_cfg, ebb_head_or_leaf_p): Implement hooks from
        struct sched_info.
        (ebb_sched_info): Initialize new fields.
        (get_block_head_tail): Adjust all uses.
        (compute_jump_reg_dependencies): Fixed to use glat_start.
        (schedule_ebb): Code to remove unreachable last block.
        (schedule_ebbs): Added code to update register live information.
        * sched-rgn.c (region_sched_info): Initialize new fields.
        (get_block_head_tail): Adjust all uses.
        (last_was_jump): Removed.  Adjust users.
        (begin_schedule_ready, add_remove_insn, insn_points, extend_regions,
        add_block1, fix_recovery_cfg, advance_target_bb, region_head_or_leaf_p):
        Implement new hooks.
        (check_dead_notes1): New static function.
        (struct region): New fields: dont_calc_deps, has_real_ebb.
        (RGN_DONT_CALC_DEPS, RGN_HAS_REAL_EBB): New access macros.
        (BB_TO_BLOCK): Fixed to handle EBBs.
        (EBB_FIRST_BB, EBB_LAST_BB): New macros.
        (ebb_head): New static variable.
        (debug_regions, contributes_to_priority): Fixed to handle EBBs.
        (find_single_block_regions, find_rgns, find_more_rgns): Initialize
        new fields.
        (compute_dom_prob_ps): New assertion.
        (check_live_1, update_live_1): Fixed to work with glat_start instead of
        global_live_at_start.
        (init_ready_list): New assertions.
        (can_schedule_ready_p): Split update code to begin_schedule_ready.
        (new_ready): Add support for BEGIN_CONTROL speculation.
        (schedule_insns): Fixed code that updates register live information
        to handle EBBs.
        (schedule_region): Fixed to handle EBBs.
        (init_regions): Use extend_regions and check_dead_notes1.
        * params.def (PARAM_MAX_SCHED_INSN_CONFLICT_DELAY,
        PARAM_SCHED_SPEC_PROB_CUTOFF): New parameters.
        * doc/tm.texi (TARGET_SCHED_ADJUST_COST_2, TARGET_SCHED_H_I_D_EXTENDED,
        TARGET_SCHED_SPECULATE_INSN, TARGET_SCHED_NEEDS_BLOCK_P,
        TARGET_SCHED_GEN_CHECK,
        TARGET_SCHED_FIRST_CYCLE_MULTIPASS_DFA_LOOKAHEAD_GUARD_SPEC,
        TARGET_SCHED_SET_SCHED_FLAGS): Document.
        * doc/invoke.texi (max-sched-insn-conflict-delay,
        sched-spec-prob-cutoff): Document.

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

        * sched-int.h (struct haifa_insn_data): New fields: resolved_deps,
        inter_tick, queue_index.
        (struct sched_info): Change signature of init_ready_list field.
        Adjust all initializations.
        (RESOLVED_DEPS): New access macro.
        (ready_add): Remove prototype.
        (try_ready): Add prototype.
        * sched-rgn.c (init_ready_list): Use try_ready.
        (schedule_region): Initialize
        current_sched_info->{sched_max_insns_priority, queue_must_finish_empty}.
        * sched-ebb.c (new_ready): Remove.  Adjust ebb_sched_info.
        (init_ready_list): Use try_ready.
        (schedule_ebb): Initialize current_sched_info->sched_max_insns_priority.
        * lists.c (remove_list_elem): Remove `static'.
        (remove_free_INSN_LIST_elem): New function.
        * rtl.h (remove_list_elem, remove_free_INSN_LIST_elem): Add prototypes.
        * haifa-sched.c (INTER_TICK, QUEUE_INDEX): New macros.
        (INVALID_TICK, MIN_TICK, QUEUE_SCHEDULED, QUEUE_NOWHERE, QUEUE_READY):
        New constants.
        (readyp): New variable.
        (queue_remove, ready_remove_insn, fix_inter_tick, fix_tick_ready,
        change_queue_index, resolve_dep): New static functions.
        (try_ready): New function.  Adjust callers in sched-rgn.c and
        sched-ebb.c to use it instead of ready_add.
        (clock_var): Move at the begining of file.
        (rank_for_schedule): Fix typo.
        (queue_insn): Add assertion.  Handle QUEUE_INDEX.
        (ready_lastpos): Enforce assertion.
        (ready_add): Make it static.  Handle QUEUE_INDEX.  Add new argument,
        update all callers.
        (ready_remove_first, ready_remove): Handle QUEUE_INDEX.
        (schedule_insn): Rewrite to use try_ready and resolve_dep.
        (queue_to_ready): Use free_INSN_LIST_list.
        (early_queue_to_ready): Fix typo.
        (schedule_block): Init readyp.  Move init_ready_list call after the
        initialization of clock_var.  Fix error in rejecting insn by
        targetm.sched.dfa_new_cycle.  Add call to fix_inter_tick.  Remove code
        that previously corrected INSN_TICKs.  Add code for handling
        QUEUE_INDEX.
        (set_priorities): Fix typo.
        (sched_init): Initialize INSN_TICK, INTER_TICK and QUEUE_INDEX.
        Clarify comment and code that keeps current_sched_info->next_tail
        non-null.

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

        * sched-rgn.c (extend_rgns): New static function.
        (find_rgns): Use it.
        (gather_region_statistics, print_region_statistics): New static
        functions.
        * params.def (PARAM_MAX_SCHED_EXTEND_REGIONS_ITERS): New parameter.
        * doc/invoke.texi (max-sched-extend-regions-iters): Document.

2006-03-16  Maxim Kuvyrkov <mkuvyrkov@ispras.ru>
            Andrey Belevantsev <abel@ispras.ru>

        * ddg.c (build_intra_loop_deps): Adjust add_forward_dependence call.
        * lists.c (unused_deps_list): New variable.
        (free_list): Add assertions to verify the proper distinguishing 
        between INSN_LISTs and DEPS_LISTs.
        (find_list_elem, remove_list_elem, remove_list_node): New static
        functions.
        (alloc_DEPS_LIST, free_DEPS_LIST, free_DEPS_LIST_node,
        remove_free_INSN_LIST_elem, remove_free_DEPS_LIST_elem,
        remove_free_INSN_LIST_node, remove_free_DEPS_LIST_node): New functions.
        (alloc_INSN_LIST): Assert that the list we're working on is indeed
        an INSN_LIST.
        (free_INSN_LIST_node): Likewise.
        * modulo-sched.c (current_sched_info): Initialize flags field.
        * reg-notes.def: Exchange DEP_ANTI and DEP_OUTPUT.
        * rtl.def (DEPS_LIST): Define.
        * rtl.h: Declare new functions from lists.c.
        * sched-deps.c (spec_dependency_cache): New static variable.
        (maybe_add_or_update_back_dep_1, add_back_dep): New static functions.
        (add_dependence): Change return type to void.  Move the logic to ...
        (add_or_update_back_dep_1): ... here.  Handle speculative dependencies.
        (delete_all_dependences): Add comment about forward_dependency_cache.
        Handle spec_dependency_cache.  Handle DEPS_LISTs.
        (fixup_sched_groups): Clarify the change of priority of output
        and anti dependencies.
        (sched_analyze_2): Adjust add_dependence calls to create data
        speculative dependence.
        (add_forward_dependence): Renamed to add_forw_dep, change prototype.
        Adjust all callers.  Handle DEPS_LISTS.
        (compute_forward_dependences): Use add_forw_dep.  Sort LOG_LINKs in
        presence of speculation.
        (init_dependency_caches, free_dependency_caches):
        Handle spec_dependency_cache.
        (adjust_add_sorted_back_dep, adjust_back_add_forw_dep, delete_forw_dep,
        estimate_dep_weak, get_dep_weak, ds_merge, check_dep_status):
        New static functions.
        (add_or_update_back_dep, add_or_update_back_forw_dep,
        add_back_forw_dep, delete_back_forw_dep): New functions.
        * sched-int.h (ds_t, dw_t): New typedefs.
        (struct sched_info): Add new field flags.
        (struct haifa_insn_data): Add new bitfield has_internal_dep.
        Prototype new sched-deps.c functions.
        (HAS_INTERNAL_DEP, DEP_STATUS): New access macros.
        (BITS_PER_DEP_STATUS, BITS_PER_DEP_WEAK, DEP_WEAK_MASK, MAX_DEP_WEAK,
        MIN_DEP_WEAK, NO_DEP_WEAK, UNCERTAIN_DEP_WEAK, BEGIN_DATA, BE_IN_DATA,
        BEGIN_CONTROL, BE_IN_CONTROL, BEGIN_SPEC, DATA_SPEC, CONTROL_SPEC,
        SPECULATIVE, BE_IN_SPEC, FIRST_SPEC_TYPE, LAST_SPEC_TYPE,
        SPEC_TYPE_SHIFT, DEP_TRUE, DEP_OUTPUT, DEP_ANTI, DEP_TYPES, HARD_DEP):
        New constants.
        (enum SPEC_TYPES_OFFSETS, enum DEPS_ADJUST_RESULT, enum SCHED_FLAGS):
        New enums.
        * sched-rgn.c (current_sched_info): Initialize flags field.
        (schedule_insns): Initialize current_sched_info before the sched_init
        call.
        * sched-ebb.c (current_sched_info): Initialize flags field.
        (add_deps_for_risky_insns): Use control_flow_insn_p instead of JUMP_P.
        Call add_or_update_back_dep instead of add_dependence.
        Create control speculative dependencies.
        (schedule_insns): Initialize current_sched_info before the sched_init
        call.

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

        * config/sh/linux-unwind.h (shmedia_fallback_frame_state): Set
        fs->signal_frame.
        (sh_fallback_frame_state): Likewise.

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

        * config.gcc (*-*-darwin*): Don't build crt2.o for all Darwin ports.
        Do switch on default_use_cxa_atexit.
        (powerpc*-*-darwin*): Build crt2.o on powerpc.
        * config/darwin-crt3.o: New.
        * config/darwin.h (LINK_SPEC): If -shared-libgcc, make linker default
        to 10.3.  Pass '-multiply_defined suppress' if crt3.o is in use.
        (STARTFILE_SPEC): Add crt3.o when -shared-libgcc and appropriate
        OS version.
        * config/rs6000/t-darwin: Move crt2.o building to here.
        * config/rs6000/darwin.h (C_COMMON_OVERRIDE_OPTIONS): Update
        Mac OS version for using __cxa_get_exception_ptr.  Don't test versions
        of __cxa_atexit.

2006-03-15  Jan-Benedict Glaw  <jbglaw@lug-owl.de>

        * config/vax/vax.c (nonindexed_address_p): Change logical negation
        from '! xxx' to '!xxx' for coding-style conformance.
        * config/vax/vax.h (PCC_BITFIELD_TYPE_MATTERS): Likewise.
        (EXTRA_CONSTRAINT): Likewise.
        * config/vax/vax.md (four unnamed insns): Likewise.
        
2006-03-15  Paul Brook  <paul@codesourcery.com>

        * config/arm/arm.c (minipool_pad): New.
        (add_minipool_forward_ref): Include pool alignment padding in address
        calculation.
        (push_minipool_fix): Set minipool_pad.
        (minipool_pad): Ditto.

2006-03-15  Jan-Benedict Glaw  <jbglaw@lug-owl.de>

        * config/vax/vax.c (split_quadword_operands): Use MEM_P()
        instead of GET_CODE() == MEM and REG_P() instead of
        GET_CODE() == REG.
        (print_operand_address): Likewise.
        (vax_address_cost): Likewise.
        (vax_rtx_costs): Likewise.
        (vax_notice_update_cc): Likewise.
        (vax_output_int_add): Likewise.
        (INDEX_REGISTER_P): Likewise.
        (BASE_REGISTER_P): Likewise.
        (nonindexed_address_p): Likewise.
        (vax_mode_dependent_address_p): Likewise.
        * config/vax/vax.h (EXTRA_CONSTRAINT): Likewise.
        (PRINT_OPERAND): Likewise.
        * config/vax/vax.md (ashlsi3): Likewise.
        (ashlsi3): Likewise.
        (some more unnamed insns): Likewise.

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

        * tree-ssa-dce.c (EXECUTE_IF_CONTROL_DEPENDENT): Make it an
        iterator-style macro.
        (mark_control_dependent_edges_necessary): Update the use of
        EXECUTE_IF_CONTROL_DEPENDENT.

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

        * config/sh/predicates.md (cache_address_operand): Special.
        (ua_address_operand): Likewise.

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

        * haifa-sched.c (unlink_other_notes, reemit_notes): Do not handle
        loop notes.
        * sched-deps.c (sched_analyze_insn, sched_analyze): Ditto.

2006-03-15  Andreas Schwab  <schwab@suse.de>

        * gensupport.c (identify_predicable_attribute): Don't free p_false
        when it is still in use.

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

        * config.gcc (default with_cpu setting) <sparc*-*-*>: Do not modify
        the default setting here.

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

        * tree-pass.h (pass_cfg): Remove.
        * alias.c (rest_of_handle_cfg, pass_cfg): Remove.
        * passes.c (pass_cfg): Don't run it.

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

        * Makefile.in (reg-stack.o): Don't depend on gt-reg-stack.h.
        * reg-stack.c (stack_regs_mentioned_data): Change the type to
        VEC(char,heap) *.
        (stack_regs_mentioned): Update the uses of
        stack_regs_mentioned_data.  Don't access the array beyond its
        end.
        (reg_to_stack): Update the uses of stack_regs_mentioned_data.
        Don't include gt-reg-stack.h.

        * config/bfin/bfin.h (UNALIGNED_WORD_ASM_OP): Remove.
        * system.h (UNALIGNED_WORD_ASM_OP): Poison.

        * combine.c (UWIDE_SHIFT_LEFT_BY_BITS_PER_WORD): Remove.

        PR middle-end/26684
        * reg-stack.c (stack_regs_mentioned_data): Put it undef #ifdef
        STACK_REGS.

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

        * pa/pa32-linux.h (CRT_CALL_STATIC_FUNCTION): Fix typo.

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

        PR tree-optimization/26672
        * tree-ssa-propagate.c (set_rhs): Don't walk DEFs if not in
        SSA form.

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

        PR tree-optimization/26667
        * ipa-inline.c (cgraph_check_inline_limits): Walk the correct
        node for the callees.  Always allow inlining if it will shrink
        the function size.

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

        PR middle-end/26659
        * builtins.c (get_pointer_alignment): Prefer alignment
        information from decls over that from types.

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

        PR target/26657
        * config/darwin.h (LINK_COMMAND_SPEC): Handle -fopenmp.

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

        * config/rs6000/rs6000.opt (mdlmzb): New option.
        (msched-prolog, msched-epilog): Use Var not Mask.
        * doc/invoke.texi (-mdlmzb): Document.
        * config/rs6000/rs6000.c (TARGET_DEFAULT_TARGET_FLAGS): Remove
        MASK_SCHED_PROLOG.
        (rs6000_override_options): Enable -mdlmzb for 405 and 440.
        * config/rs6000/rs6000.md: Add dlmzb support for 405 and 440.

2006-03-13  Uttam Pawar  <uttamp@us.ibm.com>

        PR rtl-optimization/25739
        * bt-load.c (augment_live_range): Free tos pointer.

        * gensupport.c (identify_predicable_attribute): Free
        p_false pointer.
        * gcov.c (create_file_names): Free name pointer.

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

        PR middle-end/26557
        * stmt.c (emit_case_nodes): Handle the case where the index is a
        CONST_INT, where the comparison mode is specified by the index type.

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

        * pa/pa32-linux.h (CRT_CALL_STATIC_FUNCTION): Define when CRTSTUFFS_O
        is defined.

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.