+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.
(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
(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_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,
(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
+ (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
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,
+ 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.
(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.