* tree-cfg.c (verify_expr): Use CHECK_OK in binary case.

[gcc.git] / gcc / ChangeLog

2004-07-05  Richard Kenner  <kenner@vlsi1.ultra.nyu.edu>

        * tree-cfg.c (verify_expr): Use CHECK_OK in binary case.

        * function.c, langhooks-def.h, langhooks.h: Move max_size hook
        to type hooks; remove bogus PARAMS.

2004-07-05  Nathan Sidwell  <nathan@codesourcery.com>

        * c-tree.h (TYPE_ACTUAL_ARG_TYPES): Use TYPE_LANG_SLOT_1.
        * dwarf2out.c (add_data_member_location_attribute): Check for
        TREE_BINFO.
        * tree.c (tree_node_kinds): Add "binfos".
        (binfo_lang_slots): New.
        (make_node_stat): Add TREE_BINFO.
        (make_tree_binfo_stat): New.
        (tree_node_structure): Add TREE_BINFO.
        * tree.def (TREE_BINFO): New.
        * tree.h (REC_OR_UNION_CHECK): Rename to ...
        (RECORD_OR_UNION_CHECK): ... here.
        (NOT_RECORD_OR_UNION_CHECK): New.
        (TRE_VIA_VIRTUAL): Allow TREE_LIST or TREE_BINFO.
        (TYPE_FIELDS, TYPE_METHODS, TYPE_VFIELD): Adjust for
        RECORD_OR_UNION_CHECK.
        (TYPE_BINFO): Use RECORD_OR_UNION_CHECK.
        (TYPE_LANG_SLOT_1): New.
        (BINFO_TYPE, BINFO_OFFSET, BINFO_VTABLE, BINFO_VIRTUALS,
        BINFO_BASETYPES, TYPE_BINFO_BASETYPES, BINFO_VPTR_FIELD,
        BINFO_BASEACCESSES, BINFO_INHERITANCE_CHAIN): Adjust.
        (BINFO_ELTS): Remove.
        (BINFO_LANG_SLOT): New.
        (struct tree_binfo): New.
        (binfo_lang_slots): Declare.
        (enum tree_node_structure_enum): Add TS_BINFO.
        (union tree_node): Add binfo.
        (make_tree_binfo_stat): Declare.
        (make_tree_binfo): New.
        (enum tree_node_kind): Add binfo_kind.
        
        * objc/objc-act.c (start_class, objc_declare_protocols,
        start_protocols): Use TYPE_LANG_SLOT_1.
        * objc/objc-act.h (CLASS_BINFO_ELTS, PROTOCOL_BINFO_ELTS): Rename
        to ...
        (CLASS_LANG_SLOT_ELTS, PROTOCOL_LANG_SLOT_ELTS): ... here.
        (CLASS_IVARS, CLASS_RAW_IVARS, CLASS_STATIC_TEMPLATE,
        CLASS_CATEGORY_LIST, CLASS_PROTOCOL_LIST, CLASS_OWN_IVARS,
        PROTOCOL_LIST, PROTOCOL_FORWARD_DECL): Use TYPE_LANG_SLOT_1.

2004-07-05  Steven Bosscher  <stevenb@suse.de>

        * rtl.h (struct rtx_def): Remove the integrated flag.
        Use the return_val flag for MEM_SCALAR_P.
        Reshuffle and update flags in CLEAR_RTX_FLAGS.

2004-07-05  Richard Sandiford  <rsandifo@redhat.com>

        PR target/16357
        * config/mips/mips.c (mips_block_move_straight): Pass BLKmode memrefs
        to mips_expand_unaligned_load, mips_expand_unaligned_store, and
        move_by_pieces.

2004-07-05  Josef Zlomek  <zlomekj@suse.cz>

        * var-tracking.c: Fix some comments.
        (frame_stack_adjust): New.
        (vt_stack_adjustments): Init stack_adjust of entry block to
        minus stack adjustment of function prologue.
        (adjust_stack_reference): Do not adjust if adjustment == 0.
        (compute_bb_dataflow): Use plus_constant instead of gen_rtx_PLUS.
        (emit_notes_in_bb): Likewise.
        (vt_add_function_parameters): Do not adjust locations of
        function arguments.
        (vt_initialize): Compute the stack adjustment of function
        prologue and offset the initial "location" of frame_base_decl
        from the stack pointer after prologue.

2004-07-04  Richard Henderson  <rth@redhat.com>

        * function.c (struct assign_parm_data_all): New.
        (struct assign_parm_data_one): New.
        (assign_parms_initialize_all, assign_parms_augmented_arg_list,
        assign_parm_find_data_types, assign_parms_setup_varargs,
        assign_parm_find_entry_rtl, assign_parm_is_stack_parm, 
        assign_parm_find_stack_rtl, assign_parm_adjust_entry_rtl,
        assign_parm_adjust_stack_rtl, assign_parm_setup_block_p,
        assign_parm_setup_block, assign_parm_setup_reg,
        assign_parm_setup_stack, assign_parms_unsplit_complex): Split from ...
        (assign_parms): ... here.

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

        * tree-ssa-pre.c (bb_value_sets): phi_gen, tmp_gen, new_sets
        now are bitmap_set_t's.
        (bitmap_insert_into_set): No point in inserting the value if
        it's invariant.
        (bitmap_set_contains): New function.
        (bitmap_set_replace_value): Add comment on why we do it 
        this way.
        (set_contains): Removed.
        (bitmap_set_subtract_from_value_set): New name of
        set_subtract now that it's arguments are two different
        types of sets.
        Update callers.
        (bitmap_find_leader): Change algorithm used.
        (find_or_generate_expression): Update use of functions for new
        bitmap sets.
        (create_expression_by_pieces): Ditto.
        (insert_aux): Ditto.
        (insert): Ditto.
        (add_to_sets): Ditto.
        (init_pre): Ditto.
        (execute_pre): Ditto.
        (compute_avail): Ditto.
        Also ignore virtual phis.

2004-07-04  Richard Sandiford  <rsandifo@redhat.com>

        * combine.c (simplify_comparison): Fix comment typo.

2004-07-04  Eric Botcazou  <ebotcazou@libertysurf.fr>

        * config/sparc/sparc.c (SIBCALL_SLOT_EMPTY_P): Rename
        into LEAF_SIBCALL_SLOT_RESERVED_P after negation.
        (eligible_for_sibcall_delay): Adjust use of SIBCALL_SLOT_EMPTY_P.
        (output_restore): Change parameter from 'insn' to 'pat'.
        (output_return): Adjust call to output_restore.
        (output_sibcall): Adjust use of SIBCALL_SLOT_EMPTY_P.
        Adjust call to output_restore.

2004-07-04  Neil Booth  <neil@duron.akihabara.co.uk>

        * config/netbsd.h (NETBSD_OS_CPP_BUILTINS_COMMON): Define __unix__
        and assert system is bsd.

2004-07-04  Richard Sandiford  <rsandifo@redhat.com>

        * config/mips/mips.h (MASK_DEBUG_C, TARGET_DEBUG_C_MODE): Delete.
        (TARGET_SWITCHES): Remove -mdebugc.
        * config/mips/mips.md (seq, sne, sgt, sge, slt, sle, sgtu, sgeu)
        (sltu, sleu): Remove TARGET_DEBUG_C_MODE handling.
        (seq_[sd]i, sne_[sd]i, sge_[sd]i, sle_[sd]i_reg, sgeu_[sd]i)
        (sle_[sd]i_reg): Delete.

2004-07-04  Steven Bosscher  <stevenb@suse.de>

        * config/iq2000/iq2000.c (TARGET_SCHED_USE_DFA_PIPELINE_INTERFACE):
        Define.
        * config/iq2000/iq2000.md: Translate old pipeline description to an
        equivalent new one.

2004-07-04  Roger Sayle  <roger@eyesopen.com>

        * tree-ssa-ccp.c (set_rhs): Change function to return a bool.
        Ensure the replacement rhs is valid gimple before performing
        the substitution.  Return false if these sanity checks fail.
        (fold_stmt): Only set changed to true, if set_rhs returns true.
        (execute_fold_all_builtins): Only call modify_stmt if set_rhs
        succeeds.

2004-07-04  Richard Henderson  <rth@redhat.com>

        PR c/16348
        * c-typeck.c (c_finish_loop): Don't clear cond for cond_is_first loops.

2004-07-04  Mark Mitchell  <mark@codesourcery.com>

        * configure.ac (ranlib_flags): New variable.
        * Makefile.in (RANLIB_FLAGS): New variable.
        (libbackend.a): Use it.
        * configure: Regenerated.

2004-07-04  Roger Sayle  <roger@eyesopen.com>

        * ifcvt.c (noce_try_sign_mask): Call emit_store_flag to generate
        a "sign mask" instead of using ashr_optab directly.

2004-07-04  Neil Booth  <neil@duron.akihabara.co.uk>

        * doc/cpp.texi: Don't document what we do for ill-formed expressions.
        * doc/cppopts.texi: Clarify processing of command-line defines.

2004-07-04  Gerald Pfeifer  <gerald@pfeifer.com>

        * doc/contrib.texi (Contributors): Adjust link for GNU Classpath.

2004-07-04  Richard Henderson  <rth@redhat.com>

        * rtl.def (ADDRESSOF): Remove.
        * alias.c (rtx_equal_for_memref_p): Don't handle addressof.
        (find_base_term, memrefs_conflict_p): Likewise.
        * cse.c (fixed_base_plus_p, find_best_addr: Likewise.
        (fold_rtx, cse_insn, set_live_p): Likewise.
        * dwarf2out.c (mem_loc_descriptor): Likewise.
        (add_location_or_const_value_attribute): Likewise.
        * emit-rtl.c (copy_insn_1): Likewise.
        * explow.c (memory_address): Likewise.
        * expmed.c (store_split_bit_field): Likewise.
        * expr.c (expand_expr_real_1): Likewise.
        * function.c (instantiate_decl
        (instantiate_virtual_regs_1, fix_lexical_addr): Likewise.
        * genrecog.c (preds, validate_pattern): Likewise.
        * integrate.c (copy_rtx_and_substitute): Likewise.
        * recog.c (general_operand, register_operand): Likewise.
        (memory_address_p): Likwise.
        * reload1.c (eliminate_regs, elimination_effects): Likewise.
        * rtl.c (copy_rtx): Likewise.
        * rtlanal.c (rtx_unstable_p, rtx_varies_p): Likewise.
        (rtx_addr_can_trap_p, nonzero_address_p, address_cost): Likewise.
        * rtlhooks.c (gen_lowpart_general): Likewise.
        * stmt.c (expand_asm_operands): Likewise.
        * web.c (entry_register, replace_ref, web_main): Likewise.
        * config/alpha/alpha.c (input_operand, alpha_legitimate_address_p,
        alpha_expand_block_move, alpha_expand_block_clear): Likewise.
        * config/arm/arm.c (thumb_rtx_costs): Likewise.
        * config/c4x/c4x.c (c4x_valid_operands): Likewise.
        * config/frv/frv.c (move_destination_operand, move_source_operand,
        condexec_dest_operand, condexec_source_operand,
        condexec_memory_operand): Likewise.
        * config/h8300/h8300.h (PREDICATE_CODES): Likewise.
        * config/ia64/ia64.c (general_xfmode_operand): Likewise.
        (destination_xfmode_operand): Likewise.
        * config/mips/mips.h (PREDICATE_CODES): Likewise.
        * config/mn10300/mn10300.c (mn10300_address_cost_1): Likewise.
        * config/s390/s390.c (general_s_operand): Likewise.
        * config/s390/s390.md (mov*): Likewise.
        * config/sparc/sparc.h (PREDICATE_CODES): Likewise.

        * c-typeck.c (c_mark_addressable): Don't put_var_into_stack.
        * expr.c (expand_expr_real_1): Likewise.
        * stmt.c (expand_decl): Likewise.
        * config/c4x/c4x.c (c4x_expand_builtin): Likewise.

        * function.c (struct fixup_replacement, struct insns_for_mem_entry,
        postponed_insns, put_var_into_stack, put_reg_into_stack,
        schedule_fixup_var_refs, fixup_var_refs, find_fixup_replacement,
        fixup_var_refs_insns, fixup_var_refs_insns_with_hash,
        fixup_var_refs_insn, fixup_var_refs_1, fixup_memory_subreg,
        walk_fixup_memory_subreg, fixup_stack_1, optimize_bit_field,
        gen_mem_addressof, flush_addressof, put_addressof_into_stack,
        purge_bitfield_addressof_replacements, purge_addressof_replacements,
        purge_addressof_1, insns_for_mem_hash, insns_for_mem_comp,
        struct insns_for_mem_walk_info, insns_for_mem_walk, 
        compute_insns_for_mem, is_addressof, purge_addressof, setjmp_protect,
        setjmp_protect_args): Remove.
        (push_function_context_to): Don't handle var_refs_queue.
        (pop_function_context_from, free_after_compilation): Likewise.
        (instantiate_virtual_regs): Don't handle parm_reg_stack_loc.
        (assign_parms, allocate_struct_function): Likewise.
        (use_register_for_decl): New.
        (expand_function_end): Don't setjmp_protect.
        * function.h (struct emit_status): Update commentary.
        (struct function): Remove x_max_parm_reg, x_parm_reg_stack_loc.
        (max_parm_reg, parm_reg_stack_loc): Remove.
        * passes.c (DFI_addressof): Remove.
        (dump_file_info): Remove addressof.
        (rest_of_handle_addressof): Remove.
        (rest_of_compilation): Don't call it.
        * rtl.h (ADDRESSOF_REGNO, ADDRESSOF_DECL): Remove.
        * stmt.c (expand_decl): Use use_register_for_decl.
        * tree.h: Update decls.
        * web.c (mark_addressof): Remove.
        * doc/invoke.texi (-dF): Remove.

2004-07-03  Richard Henderson  <rth@redhat.com>

        * config/ia64/ia64.c (spill_xfmode_operand): Use assign_stack_temp
        instead of gen_mem_addressof.
        * config/ia64/ia64.md (movxf): Use assign_stack_temp to handle
        TImode output register.

2004-07-03  Richard Henderson  <rth@redhat.com>

        PR tree-optimization/16341
        * tree-sra.c (sra_walk_function): Increment to next stmt before
        processing the current stmt.
        (sra_insert_after): Always use BSI_SAME_STMT.

2004-07-03  Richard Henderson  <rth@redhat.com>

        * tree-ssa-dom.c (simplify_rhs_and_lookup_avail_expr): Don't fold
        fp plus with minus.

2004-07-03  Joseph S. Myers  <jsm@polyomino.org.uk>

        * tree.c (type_hash_eq): Allow TYPE_MIN_VALUE which compares equal
        with tree_int_cst_equal.

2004-07-03  Andreas Schwab  <schwab@suse.de>

        * config/ia64/ia64.md: Define new attribute "empty".
        (prologue_use, nop_x, insn_group_barrier): Set it.

        * config/ia64/ia64.c (ia64_reorg): When looking for trailing call
        skip over "empty" insns.

2004-07-03  Richard Kenner  <kenner@vlsi1.ultra.nyu.edu>

        * tree-inline.c (initialize_inlined_parameters): Pass proper function
        context to gimplify_body.
        (walk_tree): Don't walk into types twice.
        (walk_tree, case POINTER_TYPE): Deal with mutually recursive pointers.

        * tree-sra.c (generate_element_init): Remove any useless conversions.
        
        * gimplify.c (gimplify_conversion): Remove stripping useless
        conversions from here.
        (gimplify_expr): Put it here, in place of call to STRIP_MAIN_TYPE_NOPS.
        (gimplify_modify_expr_to_memcpy, gimplify_variable_sized_compare):
        Unshare before substituting PLACEHOLDER_EXPR.
        (gimplify_modify_expr_to_memset): Likewise.
        Pass address of TO to memset, not TO itself.
        (gimplify_init_constructor): Make copy of OBJECT so we have it each
        time we make an expression (to match a PLACEHOLDER_EXPR).

        * tree-ssa.c (tree_ssa_useless_type_conversion): Also look at
        VIEW_CONVERT_EXPR and NON_LVALUE_EXPR.
        * tree-ssa-ccp.c (fold_stmt): Call just STRIP_USELESS_TYPE_CONVERSION.
        * tree-ssa-dom.c (local_fold): Likewise.

        * langhooks-def.h (LANG_HOOKS_TYPE_MAX_SIZE): New langhook.
        * langhooks.h (strct lang_hooks): New field type_max_size.
        * function.c (assign_temp): Call it.

2004-07-03  Steven Bosscher  <stevenb@suse.de>

        * config/sh/sh.c (sh_use_dfa_interface): Add TARGET_SH1.
        * config/sh/sh.md: Convert the SH1 pipeline description to
        a DFA model.

2004-07-02  Zack Weinberg  <zack@codesourcery.com>

        * c-decl.c (struct c_binding): Remove contour field; add
        depth, invisible, nested fields.
        (B_IN_SCOPE, B_IN_CURRENT_SCOPE, B_IN_FILE_SCOPE)
        (B_IN_EXTERNAL_SCOPE): New convenience macros.
        (bind): Add invisible and nested arguments. Initialize
        new fields of struct c_binding; adjust loop scanning for
        insertion point.
        (free_binding_and_advance): Clear structure with memset.
        (pop_scope): Adjust to match.  Set DECL_CONTEXT on everything
        in file scope, even if it's in external scope too.
        (pushdecl): Adjust to match.  Create invisible file-scope
        declarations for block-scope forward declarations of static functions.
        (pushtag, warn_if_shadowing, pushdecl_top_level, implicitly_declare)
        (undeclared_variable, lookup_label, declare_label, define_label)
        (lookup_tag, lookup_name, lookup_name_in_scope, builtin_function)
        (c_make_fname_decl, store_parm_decls_newstyle, identifier_global_value)
        (store_parm_decls_oldstyle): Adjust to match.
        (diagnose_mismatched_decls): Correct handling of linkage clashes.
        (merge_decls): No need to copy C_DECL_IN_EXTERNAL_SCOPE.

        * c-tree.h (C_DECL_IN_EXTERNAL_SCOPE): Delete.
        (C_DECL_DECLARED_BUILTIN, C_DECL_REGISTER): Slide down one.

2004-07-02  Richard Henderson  <rth@redhat.com>

        * c-decl.c (grokdeclarator): Don't frob current_function_decl
        around variable_size.
        (set_decl_nonlocal): Remove.
        (store_parm_decls): Add stmts for pending sizes.
        * calls.c (calls_function, calls_function_1): Remove.
        (precompute_arguments): Don't call it.
        * cfgexpand.c (set_save_expr_context): Remove.
        (tree_expand_cfg): Don't call it.
        * dwarf2out.c (add_bound_info): Don't handle SAVE_EXPR.
        (dwarf2out_finish): Likewise.
        * expr.c (emit_block_move): Adjust addresses to BLKmode.
        (store_constructor): Don't pre-evaluate SAVE_EXPR.
        (safe_from_p): Don't queue SAVE_EXPRs.
        (expand_expr_real_1 <case SAVE_EXPR>): Rewrite to expect,
        or build plain VAR_DECLs.
        * fold-const.c (twoval_comparison_p): Don't look at SAVE_EXPR_RTL.
        (fold): Likewise.
        (fold_checksum_tree): Don't special-case SAVE_EXPR.
        * function.c (free_after_compilation): Don't clear x_save_expr_regs.
        (put_var_into_stack): Don't handle SAVE_EXPR.
        (gen_mem_addressof): Likewise.
        * function.h (struct function): Remove x_save_expr_regs.
        (save_expr_regs): Remove.
        * gengtype.c (adjust_field_tree_exp): Don't special-case SAVE_EXPR.
        * print-tree.c (print_node): Don't dump SAVE_EXPR_NOPLACEHOLDER.
        * stor-layout.c (variable_size): Don't set it.
        (force_type_save_exprs, force_type_save_exprs_1): Remove.
        * tree-inline.c (remap_save_expr): Remove fn argument.  Update
        all callers.  Don't set SAVE_EXPR_CONTEXT.
        * tree-inline.h (remap_save_expr): Update decl.
        * tree.c (save_expr): Update build size.
        (first_rtl_op): Don't handle SAVE_EXPR.
        (unsave_expr_1, contains_placeholder_p): Likewise.
        (decl_function_context): Likewise.
        * tree.def (SAVE_EXPR): Remove args 1 and 2.
        * tree.h (SAVE_EXPR_CONTEXT, SAVE_EXPR_RTL): Remove.
        (SAVE_EXPR_NOPLACEHOLDER, SAVE_EXPR_PERSISTENT_P): Remove.

2004-07-03  Joseph S. Myers  <jsm@polyomino.org.uk>

        * doc/bugreport.texi, doc/configterms.texi, doc/contrib.texi,
        doc/contribute.texi, doc/cpp.texi, doc/cppinternals.texi,
        doc/extend.texi, doc/install.texi, doc/invoke.texi, doc/md.texi,
        doc/portability.texi, doc/tree-ssa.texi, doc/trouble.texi: Avoid
        some first-person references and patronizing comments.  Based on
        printed manual.
        * doc/invoke.texi: Don't reference fortran@gnu.org.
        * doc/trouble.texi (Warning when a non-void function value is
        ignored): Rewrite.  From Russ Allbery and Chris Devers.

2004-07-02  Daniel Berlin  <dberlin@dberlin.org)

        * tree-ssa-pre.c (bitmap_set_t): New.
        (bb_value_sets): avail_out is now a bitmap_set_t.
        (bitmap_find_leader): New function.
        (bitmap_value_insert_into_set): Ditto.
        (bitmap_set_copy): Ditto.
        (bitmap_value_replace_in_set): Ditto.
        (bitmap_set_contains_value): Ditto.
        (bitmap_set_new): Ditto.
        (bitmap_set_pool): New pool.
        (find_or_generate_expression): Use bitmap_ functions on AVAIL sets.
        (insert_aux): Ditto.
        (add_to_sets): Ditto.
        (compute_avail): Ditto
        (eliminate): Ditto.
        (init_pre): Ditto.
        (fini_pre): Ditto.
        (execute_pre): Ditto.

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

        * config/rs6000/rs6000.c (struct processor_costs): New structure
        used to hold instruction latencies/sizes for processor types.
        (rs6000_cost): New global variable pointing to current CPU's costs.
        (rs6000_override_options): Initialize rs6000_cost to point to the
        appropriate cost table based upon rs6000_cpu and optimize_size.
        (rs6000_rtx_costs): Use rs6000_cost to avoid hardcoding processor
        timings inline.

2004-07-02  Richard Henderson  <rth@redhat.com>

        * expmed.c (make_tree): Don't use SET_DECL_RTL.

2004-07-02  Steven Bosscher  <stevenb@suse.de>

        * tree-flow.h (bb_ann_d): Remove ephi_nodes field.

2004-07-01  Richard Henderson  <rth@redhat.com>

        * config/alpha/alpha.c (struct machine_function): Add gp_save_rtx.
        (alpha_gp_save_rtx): Use assign_stack_local instead of
        gen_mem_addressof.

2004-07-01  Richard Henderson  <rth@redhat.com>

        * config/alpha/alpha.c (struct alpha_rtx_cost_data): Add int_div.
        (alpha_rtx_cost_data): Update to match.
        (alpha_rtx_cost_size): New.
        (alpha_rtx_costs): Honor optimize_size.

2004-07-01  Richard Henderson  <rth@redhat.com>

        * gimple-low.c (lower_function_body): Don't reset_block_changes here.
        * cfgexpand.c (tree_expand_cfg): Do it here.
        * config/alpha/alpha.c (alpha_output_mi_thunk_osf): And here.
        * config/ia64/ia64.c (ia64_output_mi_thunk): And here.
        * config/mips/mips.c (mips_output_mi_thunk): And here.
        * config/rs6000/rs6000.c (rs6000_output_mi_thunk): And here.
        * config/sh/sh.c (sh_output_mi_thunk): And here.
        * config/sparc/sparc.c (sparc_output_mi_thunk): And here.

2004-07-01  Richard Henderson  <rth@redhat.com>

        * tree.def (RTL_EXPR): Remove.
        * c-typeck.c (lvalue_p): Don't handle it.
        * expr.c (safe_from_p): Likewise.
        (expand_expr_real_1): Likewise.
        * fold-const.c (non_lvalue, operand_equal_p, fold): Likewise.
        (fold_checksum_tree, tree_expr_nonnegative_p): Likewise.
        * gengtype.c (adjust_field_tree_exp): Likewise.
        * stmt.c (warn_if_unused_value): Likewise.
        * tree-gimple.c (recalculate_side_effects): Likewise.
        * tree-pretty-print.c (dump_generic_node): Likewise.
        * tree.c (make_node_stat, first_rtl_op, unsave_expr_1): Likewise.
        (unsafe_for_reeval, stabilize_reference, build1_stat): Likewise.
        * tree.h (RTL_EXPR_SEQUENCE, RTL_EXPR_RTL, RTL_EXPR_ALT_RTL): Remove.

        * stmt.c (struct stmt_status): Remove x_last_expr_type,
        x_last_expr_value, x_last_expr_alt_rtl, x_expr_stmts_for_value.
        (last_expr_type, last_expr_value, last_expr_alt_rtl): Remove.
        (expand_expr_stmt): Merge with expand_expr_stmt_value.  Remove
        all the bits that tracked last_expr.
        (expand_end_bindings): Don't track last_expr.
        (expand_start_stmt_expr, expand_end_stmt_expr): Remove.
        (clear_last_expr): Remove.
        (expand_asm): Don't call it.
        (expand_asm_operands, expand_end_cond): Likewise.
        (expand_naked_return, expand_null_return_1): Likewise.
        * c-typeck.c (c_begin_compound_stmt): Likewise.
        * cfgexpand.c (expand_block): Use expand_expr_stmt.
        * expr.c (expand_expr_real_1): Likewise.
        * tree.h: Update prototypes.

        * function.h (struct sequence_stack): Remove sequence_rtl_expr.
        (struct emit_status): Remove sequence_rtl_expr.
        (struct function): Remove x_rtl_expr_chain.
        (seq_rtl_expr, rtl_expr_chain): Remove.
        * function.c (struct temp_slot): Remove rtl_expr.
        (assign_stack_temp_for_type): Don't set it.
        (free_temp_slots, pop_temp_slots): Don't check it.
        (free_after_compilation): Don't clear x_rtl_expr_chain.
        (fixup_var_refs): Don't search it.
        (preserve_rtl_expr_result, free_temps_for_rtl_expr): Remove.
        * emit-rtl.c (start_sequence): Don't use sequence_rtl_expr
        or seq_rtl_expr.
        (push_topmost_sequence): Likewise.
        (end_sequence, init_emit): Likewise.
        (start_sequence_for_rtl_expr): Remove.
        * expmed.c (make_tree): Build a VAR_DECL instead of an RTL_EXPR.
        * rtl.h (preserve_rtl_expr_result): Remove.

2004-07-02  Kazu Hirata  <kazu@cs.umass.edu>

        * ifcvt.c, modulo-sched.c, tree-alias-common.c, tree-sra.c,
        tree-ssa-copy.c, tree-ssa-dom.c, tree-ssa-pre.c: Fix comment
        typos.

2004-07-02  Aaron W. LaFramboise <aaronraolete36@aaronwl.com>

        * gcc.c (STANDARD_STARTFILE_PREFIX_1): Define.
        (STANDARD_STARTFILE_PREFIX_2): Define.
        (standard_startfile_prefix_1): Initialize to
        STANDARD_STARTFILE_PREFIX_1.
        (standard_startfile_prefix_2): Initialize to
        STANDARD_STARTFILE_PREFIX_2.
        * config/i386/mingw32.h (MD_STARTFILE_PREFIX): Remove.
        (STANDARD_STARTFILE_PREFIX_1): Define.
        (STANDARD_STARTFILE_PREFIX_2): Define.
        * doc/tm.texi (STANDARD_STARTFILE_PREFIX_1): Document.
        (STANDARD_STARTFILE_PREFIX_2): Document.

2004-07-01  Richard Henderson  <rth@redhat.com>

        * tree-sra.c (sra_walk_expr): Don't maybe_lookup_element_for_expr
        in order to disable scalarization.  Instead set a flag and wait
        for a candidate decl.

2004-07-01  Joseph S. Myers  <jsm@polyomino.org.uk>

        * doc/cppinternals.texi, doc/install.texi, doc/invoke.texi,
        doc/md.texi, doc/sourcebuild.texi, doc/tm.texi, doc/trouble.texi:
        Use terminology "testsuite" and "enumerated".

2004-07-01  Richard Henderson  <rth@redhat.com>

        * dwarf2out.c (reg_save): Use INVALID_REGNUM.
        (dwarf2out_reg_save, dwarf2out_return_save): Likewise.
        (initial_return_save): Likewise.
        (flush_queued_reg_saves): Remap register numbers.
        (dwarf2out_return_reg): Likewise.

2004-07-01  Richard Kenner  <kenner@vlsi1.ultra.nyu.edu>

        * gimplify.c (gimplify_one_sizepos): Don't do anything if any VAR_DECL.

        * tree-pretty-print.c (dump_generic_node, case ARRAY_REF): Use
        access functions for lower bound and element size and only output
        if lower bound nonzero or element size not same as that of type.
        (dump_generic_node, case COMPONENT_REF): Use access func. for offset.

2004-07-01  Paolo Bonzini  <bonzini@gnu.org>

        * c-pretty-print.c (pp_c_postfix_expression): Fix pasto.

2004-07-01  Per Bothner  <per@bothner.com>

        * final.c (final):  Fix typo reported by Aaron W. LaFramboise.

2004-07-01  Jakub Jelinek  <jakub@redhat.com>

        * expr.c (expand_assignment): Optimize bitfld += cst for 1 bit
        bitfields as well.  STRIP_NOPS from src operand and PLUS_EXPR's
        first operand.  Don't optimize if the bitfield is volatile.

2004-07-01  Paolo Bonzini  <bonzini@gnu.org>

        * c-pretty-print.c (pp_c_postfix_expression): Handle
        floating-point comparison operators.
        (pp_c_expression): Pass floating-point comparison
        operators to pp_c_postfix_expression.

2004-07-01  Roger Sayle  <roger@eyesopen.com>

        * simplify-rtx.c (simplify_binary_operation) <PLUS, MINUS>: Use
        rtx_cost instead of "had_mult" to determine whether the transformed
        expression is cheaper than the original.

2004-07-01  Jerry Quinn  <jlquinn@optonline.net>

        * alias.c (get_alias_set, canon_rtx, get_addr,
        nonoverlapping_memrefs_p, nonlocal_referenced_p_1, memory_modified_1):
        Use MEM_P.
        * builtins.c (expand_builtin_prefetch, expand_builtin_profile_func,
        expand_builtin): Likewise.
        * calls.c (expand_call, emit_library_call_value_1, store_one_arg):
        Likewise.
        * combine.c (can_combine_p, combinable_i3pat, try_combine,
        find_split_point, combine_simplify_rtx, simplify_set, make_extraction,
        rtx_equal_for_field_assignment_p, gen_lowpart_for_combine,
        record_dead_and_set_regs_1, get_last_value_validate,
        mark_used_regs_combine, move_deaths, unmentioned_reg_p_1): Likewise.
        * cse.c (check_dependence, canon_hash, equiv_constant,
        gen_lowpart_if_possible, cse_insn, invalidate_from_clobbers,
        cse_around_loop, cse_check_loop_start, cse_set_around_loop,
        count_reg_usage): Likewise.
        * cselib.c (rtx_equal_for_cselib_p, add_mem_for_addr, cselib_lookup,
        cselib_invalidate_mem, cselib_invalidate_rtx, cselib_record_set,
        cselib_record_sets): Likewise.
        * dbxout.c (PARM_PASSED_IN_MEMORY, dbxout_symbol,
        dbxout_symbol_location, dbxout_parms, dbxout_reg_parms): Likewise.
        * ddg.c (mark_mem_use, mark_mem_store, rtx_mem_access_p): Likewise.
        * df.c (df_uses_record): Likewise.
        * dojump (do_jump): Likewise.
        * dwarf2out.c (stack_adjust_offset, mem_loc_descriptor,
        loc_descriptor_from_tree, rtl_for_decl_location, add_bound_info,
        decl_start_label): Likewise.
        * emit-rtl.c (gen_complex_constant_part, gen_highpart,
        operand_subword, change_address_1, make_safe_from): Likewise.
        * explow.c (break_out_memory_refs, copy_all_regs, validize_mem,
        stabilize, force_not_mem): Likewise.
        * expmed.c (store_bit_field, store_split_bit_field, extract_bit_field,
        expand_mult_const, expand_divmod, emit_store_flag): Likewise.
        * expr.c (convert_move, convert_modes, emit_block_move,
        emit_group_load, emit_group_store, clear_storage, emit_move_insn,
        emit_move_insn_1, expand_assignment, store_expr,
        store_constructor_field, store_constructor, store_field,
        force_operand, safe_from_p, expand_expr_real_1, expand_increment):
        Likewise.
        * final.c (cleanup_subreg_operands, alter_subreg,
        get_mem_expr_from_op): Likewise.
        * flow.c (notice_stack_pointer_modification_1,
        init_propagate_block_info, insn_dead_p, mark_set_1, mark_used_regs):
        Likewise.
        * function.c (mark_temp_addr_taken, preserve_temp_slots,
        preserve_rtl_expr_result, put_var_into_stack, fixup_var_refs_1,
        optimize_bit_field, flush_addressof, purge_addressof_1,
        instantiate_decl, instantiate_virtual_regs_1, assign_parms,
        setjmp_protect, setjmp_protect_args, fix_lexical_addr,
        keep_stack_depressed): Likewise.
        * ifcvt.c (noce_try_cmove_arith, noce_try_abs, noce_operand_ok,
        noce_process_if_block, find_memory): Likewise.
        * integrate.c (subst_constants, allocate_initial_values): Likewise.
        * local-alloc.c (validate_equiv_mem_from_store, memref_referenced_p,
        update_equiv_regs): Likewise.
        * loop.c (scan_loop, prescan_loop, note_addr_stored, check_store,
        maybe_eliminate_biv_1, find_mem_in_note_1): Likewise.
        * optabs.c (expand_abs, emit_unop_insn): Likewise.
        * passes.c (rest_of_handle_final): Likewise.
        * postreload.c (reload_cse_simplify_set, reload_cse_simplify_operands,
        move2add_note_store): Likewise.
        * ra-build.c (detect_remat_webs): Likewise.
        * ra-debug.c (dump_static_insn_cost): Likewise.
        * ra-rewrite.c (slots_overlap_p, insert_stores): Likewise.
        * recog.c (validate_change, apply_change_group, cancel_changes,
        validate_replace_rtx_1, general_operand, register_operand,
        nonmemory_operand, push_operand, pop_operand, memory_operand,
        indirect_operand, asm_operand_ok, offsettable_memref_p,
        offsettable_nonstrict_memref_p, constrain_operands,
        store_data_bypass_p): Likewise.
        * reg-stack.c (subst_stack_regs_pat): Likewise.
        * regclass.c (record_operand_costs, scan_one_insn, record_reg_classes,
        copy_cost, reg_scan_mark_refs): Likewise.
        * regmove.c (optimize_reg_copy_3, stack_memref_p,
        combine_stack_adjustments_for_block): Likewise.
        * regrename.c (copyprop_hardreg_forward_1): Likewise.
        * reload.c (can_reload_into, push_reload, decompose, immune_p,
        find_reloads, find_reloads_address, find_reloads_address_1,
        reg_overlap_mentioned_for_reload_p, refers_to_mem_for_reload_p,
        find_equiv_reg): Likewise.
        * reload1.c (reload, eliminate_regs, eliminate_regs_in_insn,
        reload_as_needed, choose_reload_regs, emit_input_reload_insns,
        do_input_reload, emit_reload_insns, gen_reload, delete_output_reload,
        delete_address_reloads): Likewise.
        * resource.c (mark_referenced_resources): Likewise.
        * rtlanal.c (get_jump_table_offset, count_occurrences,
        reg_referenced_p, reg_set_p, set_of_1, set_noop_p,
        reg_overlap_mentioned_p, note_uses, replace_regs, nonzero_bits1,
        num_sign_bit_copies1): Likewise.
        * rtlhooks.c (gen_lowpart_general): Likewise.
        * sched-deps.c (sched_analyze_1, sched_analyze_2): Likewise.
        * sdbout.c (PARM_PASSED_IN_MEMORY, sdbout_symbol,
        sdbout_toplevel_data, sdbout_parms, sdbout_reg_parms,
        sdbout_global_decl): Likewise.
        * simplify-rtx.c (simplify_subreg): Likewise.
        * stmt.c (expand_asm_operands, expand_expr_stmt_value, expand_decl,
        expand_anon_union_decl, expand_end_case_type): Likewise.
        * unroll.c (calculate_giv_inc): Likewise.
        * var-tracking.c (stack_adjust_offset_pre_post,
        bb_stack_adjust_offset, track_expr_p, count_uses, add_uses,
        add_stores, compute_bb_dataflow, vt_get_decl_and_offset,
        vt_add_function_parameters): Likewise.
        * varasm.c (make_var_volatile, notice_global_symbol,
        assemble_external, decode_addr_const, mark_weak,
        default_encode_section_info): Likewise.

2004-07-01  Steven Bosscher  <stevenb@suse.de>

        * stmt.c (check_seenlabel): Remove.
        (pushcase, pushcase_range, expand_end_case_type): Don't call it.

2004-07-01  Richard Henderson  <rth@redhat.com>

        * function.h (struct function): Remove x_function_call_count.
        (function_call_count): Remove.
        * calls.c (expand_call): Don't set it.
        * integrate.c (copy_rtx_and_substitute): Likewise.

        * function.h (struct function): Remove x_cleanup_label.
        (cleanup_label): Remove.
        * stmt.c (expand_value_return): Don't use it.
        * function.c (free_after_compilation): Don't set it.
        (expand_function_start): Likewise.  Remove parms_have_cleanups arg.
        * cfgexpand.c (tree_expand_cfg): Update call.
        * tree.h (expand_function_start): Update decl.

2004-07-01  Joseph S. Myers  <jsm@polyomino.org.uk>

        PR c/1027
        * c-lang.c (c_initialize_diagnostics): Move from here ...
        * c-objc-common.c: ... to here.  Include "c-pretty-print.h".
        (c_tree_printer): Use pretty-printer to format %T.
        * c-pretty-print.c (pp_c_specifier_qualifier_list): Include space
        before '*' if not C++.
        (pp_c_direct_abstract_declarator): Don't try to print array upper
        bound for flexible array members.
        * c-tree.h: Include "diagnostic.h".
        (c_initialize_diagnostics): Declare.
        * objc/objc-lang.c (LANG_HOOKS_INITIALIZE_DIAGNOSTICS): Define.
        * c-format.c (format_type_warning): New function.  Improve
        diagnostics for incorrect format argument types.
        (check_format_types): Use it.  Add two parameters.  Use the
        TYPE_MAIN_VARIANT of wanted_type.
        (check_format_info_main): Pass new parameters to
        check_format_types.
        (struct format_wanted_type): Update comment.

2004-07-01  Nick Clifton  <nickc@redhat.com>

        * target.h (struct gcc_target): Add new field to struct cxx:
        import_export_class.
        * target-def.h (TARGET_CXX): Initialise the new field.
        (TARGET_CXX_IMPORT_EXPORT_CLASS): Provide a default value for
        the new field.
        * doc/tm.texi: Document the new target hook.

2004-07-01  Paolo Bonzini  <bonzini@gnu.org>

        * builtins.c (fold_builtin_classify): Fix typo.

2004-07-01  Richard Henderson  <rth@redhat.com>

        * function.c (identify_blocks, identify_blocks_1): Remove.
        * function.h (identify_blocks): Remove.
        * rtl.h (NOTE_INSN_BLOCK_BEG): Update comment.

2004-07-01  Paolo Bonzini  <bonzini@gnu.org>

        * builtins.c (fold_builtin_classify): New.
        (fold_builtin_unordered_cmp): Fix commentary.
        (fold_builtin): Use it.
        * builtins.def: Define builtins for isnan,
        isnanf, isnanl, finite, finitef, finitel,
        isinf, isinff, isinfl.

2004-07-01  Richard Henderson  <rth@redhat.com>

        * function.h (struct function): Remove dont_emit_block_notes.
        * gimple-low.c (lower_function_body): Don't set it.
        * cfgexpand.c (expand_block): Don't check it.
        * cfglayout.c (insn_locators_initialize): Likewise.
        * expr.c (expand_expr_real, expand_expr_real_1): Likewise.
        * passes.c (rest_of_compilation): Likewise.
        * stmt.c (expand_start_bindings_and_block): Likewise.
        (expand_end_bindings): Likewise.

2004-07-01  Richard Henderson  <rth@redhat.com>

        * cgraph.h (cgraph_build_static_cdtor): Declare.
        * cgraphunit.c (cgraph_build_static_cdtor): New.
        * c-objc-common.c (build_cdtor): Use it.
        * coverage.c (create_coverage): Likewise.
        * libfuncs.h (LTI_gcov_init, gcov_init_libfunc): Remove.
        * optabs.c (init_optabs): Don't set gcov_init_libfunc.

See ChangeLog.11 for earlier changes.