OSDN Git Service

PR c/16392
[pf3gnuchains/gcc-fork.git] / gcc / ChangeLog
index 7a161eb..22e1c66 100644 (file)
@@ -1,5 +1,707 @@
-2004-07-03  Richard Kenner  <kenner@vlsi1.ultra.nyu.edu>
+2004-07-07  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
+
+       PR c/16392
+       * function.c (assign_parms): Fix typo from previous change.
+
+2004-07-07  Jason Merrill  <jason@redhat.com>
+
+       PR c++/15815
+       * doc/extend.texi (C++ Interface): Correct information and
+       discourage use.
+
+2004-07-07  Vladimir Makarov  <vmakarov@redhat.com>
+
+       PR target/16130
+       PR target/16142
+       PR target/16143
+       * config/ia64/ia64.c (ia64_dfa_new_cycle): Reset DFA state for asm
+       insn.
+       
+2004-07-06  Kazuhiro Inaoka  <inaoka.kazuhiro@renesas.com>
+
+       PR target/1679.
+       * config/m32r/m32r.c (m32r_function_symbol): New function:
+       Generate a symbol name RTX with the correct m32r specific flags
+       set. 
+       (block_move_call): Use new function to generate correct symbol.
+       * config/m32r/m32r-protos.h: Add prototype for new funcion.
+       * config/m32r/m32r.h (INITIALIZE_TRAMPOLINE): Use the new
+       function.
+
+2004-07-07  Nathan Sidwell  <nathan@codesourcery.com>
+
+       * tree.h (TYPE_BINFO_OFFSET, TYPE_BINFO_VTABLE,
+       TYPE_BINFO_VIRTUALS, TYPE_BINFO_BASETYPES,
+       TYPE_BINFO_BASETYPE): Remove.
+       (BINFO_BASETYPES, BINFO_N_BASETYPES, BINFO_BASETYPE): Rename
+       to ...
+       (BINFO_BASE_BINFOS, BINFO_N_BASE_BINFOS, BINFO_BASE_BINFO): ...
+       here.
+       (BINFO_BASEACCESSES, BINFO_BASEACCESS): Rename to ...
+       (BINFO_BASE_ACCESSES, BINFO_BASE_ACCESS): ... here.
+       (BINFO_INHERITANCE_CHAIN): Redocument as it is actually used.
+       (struct tree_binfo): Rename base_types to base_binfos.
+       * alias.c (record_component_aliases): Adjust BINFO macros.
+       * dbxout.c (dbxout_type): Likewise.
+       * dwarf2out.c (gen_member_die): Likewise.
+       * sdbout.c (sdbout_one_type): Likewise.
+       * tree-dump.c (deque_and_dump): Likewise.
+       * config/i386/i386.c (classify_argument,
+       contains_128bit_aligned_vector_p): Likewise.
+
+2004-07-07  Nick Clifton  <nickc@redhat.com>
+
+       * config/fr30/fr30.c (fr30_setup_incoming_varargs): Change
+       arguments to match TARGET_SETUP_INCOMING_VARARGS prototype. 
+
+2004-07-07  Nathan Sidwell  <nathan@codesourcery.com>
+
+       * vec.h: Fix the example use.
+
+2004-07-06  Richard Henderson  <rth@redhat.com>
+
+       * langhooks-def.h (LANG_HOOKS_GIMPLE_BEFORE_INLINING): Remove.
+       * langhooks.h (struct lang_hooks): Remove gimple_before_inlining.
+       * tree-inline.c (copy_body_r, setup_one_parameter,
+       initialize_inlined_parameters, expand_call_inline,
+       declare_inline_vars): Don't check it.
+       (expand_calls_inline): Remove old version, rename new version
+       from gimple_expand_calls_inline.
+       * tree-optimize.c (execute_gimple): Remove.
+       (pass_gimple): Don't run anything.
+
+2004-07-06  Joseph S. Myers  <jsm@polyomino.org.uk>
+
+       * doc/sourcebuild.texi: Use semicolons instead of commas in
+       section title.
+
+2004-07-06  Richard Henderson  <rth@redhat.com>
+
+       * tree-sra.c (struct sra_walk_fns): Revert 2004-07-05 change.
+       (sra_walk_modify_expr, scan_init): Likewise.
+       (generate_element_zero): Check visited before scanning children.
+       (generate_element_init): Set visited on error.
+       (scalarize_init): Handle generate_element_init failure similar
+       to use_block_copy.
+
+2004-07-06  Joseph S. Myers  <jsm@polyomino.org.uk>
+
+       * toplev.h (NO_FRONT_END_DIAG, ATTRIBUTE_GCC_FE_DIAG): Define.
+       (warning, error, pedwarn, sorry): Use ATTRIBUTE_GCC_FE_DIAG.
+
+2004-07-06  Richard Henderson  <rth@redhat.com>
+
+       * config/i386/i386.c (legitimize_pic_address): Make static.
+       (legitimize_address): Handle CONST with TLS operand.
+       (ix86_expand_move): Don't call legitimize_pic_address directly.
+       * config/i386/i386-protos.h (legitimize_pic_address): Remove.
+
+2004-07-06  Roger Sayle  <roger@eyesopen.com>
+
+       * ifcvt.c (struct noce_if_info): Add a Boolean b_unconditional field.
+       (noce_try_sign_mask): Tweak rtx_cost check if t is evaluated anyway.
+       (noce_process_if_block): Initialize if_info.b_unconditional if insn_b
+       is currently executed unconditionally, i.e. not in "else_bb".
+
+2004-07-06  Steven Bosscher  <stevenb@suse.de>
+
+       * config/alpha/alpha.c (alpha_use_dfa_pipeline_interface): Remove.
+       (TARGET_SCHED_USE_DFA_PIPELINE_INTERFACE): Define to hook_int_void_1.
+       * config/arm/arm.c (arm_use_dfa_pipeline_interface): Remove.
+       (TARGET_SCHED_USE_DFA_PIPELINE_INTERFACE): Define to hook_int_void_1.
+       * config/frv/frv.c (frv_use_dfa_pipeline_interface): Remove.
+       (TARGET_SCHED_USE_DFA_PIPELINE_INTERFACE): Define to hook_int_void_1.
+       * config/i386/i386.c (ia32_use_dfa_pipeline_interface): Remove.
+       (TARGET_SCHED_USE_DFA_PIPELINE_INTERFACE): Define to hook_int_void_1.
+       * config/ia64/ia64.c (ia64_use_dfa_pipeline_interface): Remove.
+       (TARGET_SCHED_USE_DFA_PIPELINE_INTERFACE): Define to hook_int_void_1.
+       * config/pa/pa.c (hhpa_use_dfa_pipeline_interface): Remove.
+       (TARGET_SCHED_USE_DFA_PIPELINE_INTERFACE): Define to hook_int_void_1.
+       * config/sparc/sparc.c (sparc_use_dfa_pipeline_interface): Remove.
+       (TARGET_SCHED_USE_DFA_PIPELINE_INTERFACE): Define to hook_int_void_1.
+       * config/v850/v850.c (v850_use_dfa_pipeline_interface): Remove.
+       (TARGET_SCHED_USE_DFA_PIPELINE_INTERFACE): Define to hook_int_void_1.
+
+2004-07-06  Daniel Berlin  <dberlin@dberlin.org>
+
+       * dojump.c (do_jump): REFERENCE_EXPR is dead.
+       * expr.c (expand_expr_real_1): Ditto.
+       * tree-inline.c (estimate_num_insns_1): Ditto.
+       * tree-pretty-print.c (dump_generic_node): Ditto.
+       (op_symbol): Ditto.
+       * tree.def: Ditto.
+
+2004-07-06  Daniel Berlin  <dberlin@dberlin.org>
+
+       * tree-ssa-pre.c (reference_node_pool): New pool.
+       (find_or_generate_expression): Class 'r' is okay too.
+       (create_value_expr_from): Ditto.
+       (add_to_sets): LHS should not include vuses.
+       (eliminate): Ditto.
+       (compute_avail): Reverse ordering of tests.
+       Valuize INDIRECT_REF as well.
+
+2004-07-06  Richard Sandiford  <rsandifo@redhat.com>
+
+       PR rtl-optimization/16380
+       * loop.c (check_dbra_loop): Sink comparison instructions if they
+       do something other than set cc0.
+
+2004-07-06  James E Wilson  <wilson@specifixinc.com>
+
+       * doc/interface.texi (longjmp and automatic variables): Delete
+       paragraph recommending taking the address of a variable.
+
+2004-07-06  Nathan Sidwell  <nathan@codesourcery.com>
+
+       * vec.h (VEC_embedded_alloc): Remove.
+       (VEC_embedded_size, VEC_embedded_init): New.
+       (VEC_alloc, VEC_reserve, VEC_safe_push, VEC_safe_insert): Add
+       MEM_STAT_INFO.
+       (VEC_truncate): New.
+       (vec_p_reserve, vec_o_reserve): Add MEM_STAT_DECL.
+       (vec_embedded_alloc): Remove.
+       * vec.c (vec_p_reserve, vec_o_reserve): Add MEM_STAT_DECL, adjust.
+       (vec_embedded_alloc): Remove.
+
+2004-07-06  Mark Mitchell  <mark@codesourcery.com>
+
+       * Makefile.in (langhooks.o): Do not depend on gt-langhooks.h.
+       (gt-langhooks.h): Remove.
+
+2004-07-06  George Helffrich <george@gly.bris.ac.uk>
+
+       * xcoffout.h (DBX_FINISH_SYMBOL): Fix typo.
+
+2004-07-06  Eric Botcazou  <ebotcazou@libertysurf.fr>
+
+       * config/sparc/sparc.c (get_pc_symbol): Rename into
+       add_pc_to_pic_symbol.
+       (get_pc_symbol_name): Rename into add_pc_to_pic_symbol_name.
+       (load_pic_register): Account for previous changes.
+       Use reg_names.  Don't create the label twice.
+       * config/sparc/sparc.md (UNSPEC_GET_PC): Rename into
+       UNSPEC_LOAD_PCREL_SYM.
+       (get_pc): Rename into load_pcrel_sym.  Add predicate to
+       operands.  Remove condition.
+
+2004-07-06  Nathan Sidwell  <nathan@codesourcery.com>
+
+       * dbxout.c (dbxout_type): Don't test whether the binfo slot of
+       RECORD, UNION & QUAL_UNION is actually a binfo.
+
+       * tree.h (TREE_VIA_VIRTUAL): Rename to ...
+       (BINFO_VIRTUAL_P): ... here. Require TREE_BINFO only.
+       (BINFO_MARKED, BINFO_FLAG_[16]): New binfo flags.
+       * dbxout.c (dbxout_type): Use BINFO_VIRTUAL_P.
+       * dwarf2out.c (add_data_member_location_attribute): Likewise.
+       (gen_inheritance_die): Likewise.
+       * tree-dump.c (deque_and_dump): Likewise.
+       * doc/c-tree.texi (Binfos): Add under reconstruction note.
+
+2004-07-06  Steven Bosscher  <stevenb@suse.de>
+
+       * config/mcore/mcore.c (TARGET_SCHED_USE_DFA_PIPELINE_INTERFACE):
+       Define.
+       * config/mcore/mcore.md: Model memory latency with a simple DFA
+       pipeline description instead of a define_function_unit.
+
+2004-07-05  Richard Kenner  <kenner@vlsi1.ultra.nyu.edu>
+
+       * langhooks-def.h (LANG_HOOKS_TREE_INLINING_VAR_MOD_TYPE_P): Extra arg.
+       * langhooks.h (var_mod_type_p): Likewise.
+       * c-decl.c (finish_decl): Add extra arg to variably_modified_type_p.
+       * expr.c (count_type_elements): Properly handle return from
+       array_type_nelts and properly test for overflow.
+       * gimplify.c (gimplify_init_constructor): Properly handle return
+       from array_type_nelts.
+       (gimplify_addr_expr): Remove redundant clear of TREE_SIDE_EFFECTS.
+       * integrate.c (copy_decl_for_inlining): Correct comments.
+       * tree-inline.c (remap_decl): Update comments, remove dead code,
+       and copy DECL_FIELD_OFFSET and DECL_QUALIFIER, if they exist.
+       (remap_type): Only remap if variably modified by vars in function
+       being inlined.
+       (copy_body_r): Use compatible_type langhooks to see when can fold.
+       (setup_one_parameter): Don't remap type.
+       (inline_forbidden_p_1): Add arg to variably_modified_type_p.
+       * tree.c (recompute_tree_invarant_for_addr_expr): Properly
+       compute TREE_INVARIANT for decl case.
+       (find_var_from_fn): New function.
+       (variably_modified_type_p): Add arg and call new function.
+       * tree.h (variably_modified_type_p): Add extra arg.
        
+2004-07-05  Eric Botcazou  <ebotcazou@libertysurf.fr>
+
+       * config/sparc/sparc.md (nonlocal_goto): Remove disabled code.
+       (goto_handler_and_restore_v9): Delete disabled insn.
+       (goto_handler_and_restore_v9_sp64): Likewise.
+
+2004-07-05  Roger Sayle  <roger@eyesopen.com>
+
+       * calls.c (load_register_parameters): Call expand_shift instead
+       of expand_binop with ashl_optab (or other shift optab) directly.
+       * expr.c (emit_group_load, emit_group_store): Likewise.
+       * function.c (assign_parm_setup_block): Likewise.
+       * stmt.c (shift_return_value): Likewise.
+
+2004-07-05  Jakub Jelinek  <jakub@redhat.com>
+
+       * expr.c (expand_assignment): Disable the bitfield += optimizations.
+
+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.