+2004-07-05 Joseph S. Myers <jsm@polyomino.org.uk>
+
+ * doc/sourcebuild.texi: Revert previous patch.
+
+2004-07-05 Joseph S. Myers <jsm@polyomino.org.uk>
+
+ * c-decl.c, config/m32r/m32r.c, expr.c, optabs.c: Don't check
+ TARGET_MEM_FUNCTIONS.
+ * system.h: Poison TARGET_MEM_FUNCTIONS.
+ * libfuncs.h (LTI_bcopy, LTI_bcmp, LTI_bzero, bcopy_libfunc,
+ bcmp_libfunc, bzero_libfunc): Remove.
+ * optabs.c (init_obtabs): Don't set bcopy_libfunc, bcmp_libfunc or
+ bzero_libfunc.
+ * doc/tm.texi (TARGET_MEM_FUNCTIONS): Remove.
+ * doc/standards.texi: Don't mention calling BSD string functions.
+ * doc/invoke.texi: Likewise. Mention that memmove may be called.
+ * config/vax/t-memfuncs: New.
+ * config/memcmp.c, config/memcpy.c, config/memmove.c,
+ config/memset.c: New.
+ * config/pdp11/t-pdp11 (LIB2FUNCS_EXTRA): Use these files.
+ * config.gcc (vax-*-bsd*, vax-*-sysv*, vax-*-ultrix*): Use
+ vax/t-memfuncs.
+ * config/alpha/alpha.h, config/arc/arc.h, config/arm/arm.h,
+ config/avr/avr.h, config/c4x/c4x.h, config/cris/aout.h,
+ config/elfos.h, config/gnu.h, config/h8300/h8300.h,
+ config/i386/gas.h, config/ia64/ia64.h, config/interix.h,
+ config/ip2k/ip2k.h, config/lynx-ng.h, config/m32r/m32r.h,
+ config/mcore/mcore.h, config/mips/mips.h, config/mmix/mmix.h,
+ config/netbsd.h, config/openbsd.h, config/pa/pa.h,
+ config/rs6000/rs6000.h, config/rtems.h, config/s390/s390.h,
+ config/sh/sh.h, config/sparc/sparc.h, config/stormy16/stormy16.h,
+ config/svr3.h: Don't define TARGET_MEM_FUNCTIONS.
+
+2004-07-05 Richard Henderson <rth@redhat.com>
+
+ * function.c (assign_parm_setup_reg): Properly rename variables in
+ FUNCTION_ARG_CALLEE_COPIES section.
+
+2004-07-05 Zack Weinberg <zack@codesourcery.com>
+
+ * tree-mudflap.c: Include cgraph.h.
+ (mf_init_extern_trees): Rename to mudflap_init. Export.
+ Rewrite to create synthetic declarations instead of looking
+ up declarations from mf-runtime.h.
+ (mf_make_builtin, mf_make_cache_struct_type): New functions.
+ (mf_cache_shift_decl, mf_cache_mask_decl, mf_unregister_fndecl):
+ Correct commentary.
+ (execute_mudflap_function_decls, mudflap_register_call):
+ Don't call mf_init_extern_trees.
+ (mudflap_finish_file): Use cgraph_build_static_cdtor.
+
+ * tree-mudflap.h: Update prototypes.
+ * c-mudflap.c: Delete file.
+ * c-common.c: Include tree-mudflap.h.
+ (c_common_nodes_and_builtins): Call mudflap_init if appropriate.
+ * Makefile.in: Remove all references to c-mudflap.o.
+ Update dependencies.
+
+2004-07-05 John David Anglin <dave.anglin@nrc-cnrc.gc.ca>
+
+ * pa.md (prefetch, prefetch_32, prefetch_64): Only allow short
+ displacements with the spatial-locality cache-control completer.
+
+2004-07-05 Zack Weinberg <zack@codesourcery.com>
+
+ * langhooks.c: Don't include gt-langhooks.h.
+ (var_labelno): Delete.
+ (lhd_set_decl_assembler_name): Do not append a distinguishing
+ number to file-scope internal-linkage declarations for the first
+ input file, even if they have DECL_CONTEXT set. Use DECL_UID of
+ the declaration itself (if at block scope), or its containing
+ TRANSLATION_UNIT_DECL (if at file scope) for the distinguishing
+ number.
+
+ * opts.c (cur_in_fname): New global.
+ * opts.h: Declare it.
+ * tree.c: Include opts.h.
+ (make_node_stat): If creating a TRANSLATION_UNIT_DECL, give it
+ DECL_UID equal to cur_in_fname.
+ (copy_node_stat): Do not change DECL_UID when copying a
+ TRANSLATION_UNIT_DECL.
+ (build_common_tree_nodes): Adjust next_decl_uid to reserve the
+ range 0 .. num_in_fnames-1 for TRANSLATION_UNIT_DECLs.
+
+ * c-decl.c (c_static_assembler_name): Delete.
+ * c-tree.h (c_static_assembler_name): Delete prototype.
+ * c-lang.c, objc/objc-lang.c: Don't override
+ LANG_HOOKS_SET_DECL_ASSEMBLER_NAME.
+
+ * Makefile.in (tree.o): Update dependencies.
+ (GTFILES): Remove langhooks.c.
+
+2004-07-05 Roger Sayle <roger@eyesopen.com>
+
+ * fold-const.c (fold) <TRUNC_MOD_EXPR>: Optimize unsigned modulus
+ by a power of two into a bit-wise AND, i.e. "X % C" as "X & (C-1)".
+ Normalize "X % C" as "X % -C" for signed modulus and negative C.
+ Optimize "X % -Y" as "X % Y" for signed modulus.
+ <EQ_EXPR>: Recursively call "fold" when transforming "(X % Y) == 0"
+ into "((unsigned) X % Y) == 0".
+
+2004-07-05 Joseph S. Myers <jsm@polyomino.org.uk>
+
+ * sourcebuild.texi (Config Fragments): Use @comma{} in
+ cross-reference to section title.
+
+2004-07-05 Richard Kenner <kenner@vlsi1.ultra.nyu.edu>
+
+ * tree.h (DECL_SEEN_IN_BIND_EXPR_P): New macro.
+ * gimplify.c (gimple_add_tmp_var, gimplify_bind_expr): Use it.
+ (gimplify_target_expr, gimplify_expr): Likewise.
+ (copy_if_shared_r): No longer need special case for BIND_EXPR.
+ (unshare_body, unvisit_body): Only look at nested if BODY_P is
+ whole function.
+ (gimplify_compound_lval): See if we can strip any useless conversion.
+ (gimplify_modify_expr, gimplify_modify_expr_to_memcpy): Take size
+ from RHS, not LHS.
+ (gimplify_modify_expr_to_memset): Likewise.
+ (gimplify_expr, case CONSTRUCTOR): Handle use as statement.
+ * tree-inline.c (setup_one_parameter): Use DECL_SEEN_IN_BIND_EXPR_P.
+ (declare_inline_vars): Likewise.
+ (walk_type_fields): New function.
+ (walk_tree): Use it.
+ * tree-nested.c (create_tmp_var_for): Show seen in BIND_EXPR.
+
+ * tree-sra.c (struct sra_walk_fns): Init function now returns bool.
+ (sra_walk_modify_expr): Allow init function to fail.
+ (scan_init): Now returns bool.
+ (generate_element_init): If can't understand INIT, return false.
+ (scalarize_init): Return false if generate_element_init does.
+
+ * tree-pretty-print.c (dump_generic_node, case ARRAY_TYPE): Properly
+ print bounds.
+
+ * expr.c (expand_expr_real_1, case SWITCH_EXPR): Don't check against
+ bounds if bounds aren't constant.
+
+ * tree-cfg.c (verify_expr): Use CHECK_OP 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,
* 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.
+ 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,
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.
+ 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.
+ 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,
* 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.
+ * 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>