OSDN Git Service

* function.c (assign_parm_setup_reg): Properly rename variables in
[pf3gnuchains/gcc-fork.git] / gcc / ChangeLog
1 2004-07-05  Richard Henderson  <rth@redhat.com>
2
3         * function.c (assign_parm_setup_reg): Properly rename variables in
4         FUNCTION_ARG_CALLEE_COPIES section.
5
6 2004-07-05  Zack Weinberg  <zack@codesourcery.com>
7
8         * tree-mudflap.c: Include cgraph.h.
9         (mf_init_extern_trees): Rename to mudflap_init.  Export.
10         Rewrite to create synthetic declarations instead of looking
11         up declarations from mf-runtime.h.
12         (mf_make_builtin, mf_make_cache_struct_type): New functions.
13         (mf_cache_shift_decl, mf_cache_mask_decl, mf_unregister_fndecl):
14         Correct commentary.
15         (execute_mudflap_function_decls, mudflap_register_call):
16         Don't call mf_init_extern_trees.
17         (mudflap_finish_file): Use cgraph_build_static_cdtor.
18
19         * tree-mudflap.h: Update prototypes.
20         * c-mudflap.c: Delete file.
21         * c-common.c: Include tree-mudflap.h.
22         (c_common_nodes_and_builtins): Call mudflap_init if appropriate.
23         * Makefile.in: Remove all references to c-mudflap.o.
24         Update dependencies.
25
26 2004-07-05  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
27
28         * pa.md (prefetch, prefetch_32, prefetch_64): Only allow short
29         displacements with the spatial-locality cache-control completer.
30
31 2004-07-05  Zack Weinberg  <zack@codesourcery.com>
32
33         * langhooks.c: Don't include gt-langhooks.h.
34         (var_labelno): Delete.
35         (lhd_set_decl_assembler_name): Do not append a distinguishing
36         number to file-scope internal-linkage declarations for the first
37         input file, even if they have DECL_CONTEXT set.  Use DECL_UID of
38         the declaration itself (if at block scope), or its containing
39         TRANSLATION_UNIT_DECL (if at file scope) for the distinguishing
40         number.
41
42         * opts.c (cur_in_fname): New global.
43         * opts.h: Declare it.
44         * tree.c: Include opts.h.
45         (make_node_stat): If creating a TRANSLATION_UNIT_DECL, give it
46         DECL_UID equal to cur_in_fname.
47         (copy_node_stat): Do not change DECL_UID when copying a
48         TRANSLATION_UNIT_DECL.
49         (build_common_tree_nodes): Adjust next_decl_uid to reserve the
50         range 0 .. num_in_fnames-1 for TRANSLATION_UNIT_DECLs.
51
52         * c-decl.c (c_static_assembler_name): Delete.
53         * c-tree.h (c_static_assembler_name): Delete prototype.
54         * c-lang.c, objc/objc-lang.c: Don't override
55         LANG_HOOKS_SET_DECL_ASSEMBLER_NAME.
56
57         * Makefile.in (tree.o): Update dependencies.
58         (GTFILES): Remove langhooks.c.
59
60 2004-07-05  Roger Sayle  <roger@eyesopen.com>
61
62         * fold-const.c (fold) <TRUNC_MOD_EXPR>: Optimize unsigned modulus
63         by a power of two into a bit-wise AND, i.e. "X % C" as "X & (C-1)".
64         Normalize "X % C" as "X % -C" for signed modulus and negative C.
65         Optimize "X % -Y" as "X % Y" for signed modulus.
66         <EQ_EXPR>: Recursively call "fold" when transforming "(X % Y) == 0"
67         into "((unsigned) X % Y) == 0".
68
69 2004-07-05  Joseph S. Myers  <jsm@polyomino.org.uk>
70
71         * sourcebuild.texi (Config Fragments): Use @comma{} in
72         cross-reference to section title.
73
74 2004-07-05  Richard Kenner  <kenner@vlsi1.ultra.nyu.edu>
75
76         * tree.h (DECL_SEEN_IN_BIND_EXPR_P): New macro.
77         * gimplify.c (gimple_add_tmp_var, gimplify_bind_expr): Use it.
78         (gimplify_target_expr, gimplify_expr): Likewise.
79         (copy_if_shared_r): No longer need special case for BIND_EXPR.
80         (unshare_body, unvisit_body): Only look at nested if BODY_P is
81         whole function.
82         (gimplify_compound_lval): See if we can strip any useless conversion.
83         (gimplify_modify_expr, gimplify_modify_expr_to_memcpy): Take size
84         from RHS, not LHS.
85         (gimplify_modify_expr_to_memset): Likewise.
86         (gimplify_expr, case CONSTRUCTOR): Handle use as statement.
87         * tree-inline.c (setup_one_parameter): Use DECL_SEEN_IN_BIND_EXPR_P.
88         (declare_inline_vars): Likewise.
89         (walk_type_fields): New function.
90         (walk_tree): Use it.
91         * tree-nested.c (create_tmp_var_for): Show seen in BIND_EXPR.
92
93         * tree-sra.c (struct sra_walk_fns): Init function now returns bool.
94         (sra_walk_modify_expr): Allow init function to fail.
95         (scan_init): Now returns bool.
96         (generate_element_init): If can't understand INIT, return false.
97         (scalarize_init): Return false if generate_element_init does.
98
99         * tree-pretty-print.c (dump_generic_node, case ARRAY_TYPE): Properly
100         print bounds.
101
102         * expr.c (expand_expr_real_1, case SWITCH_EXPR): Don't check against
103         bounds if bounds aren't constant.
104
105         * tree-cfg.c (verify_expr): Use CHECK_OP in binary case.
106
107         * function.c, langhooks-def.h, langhooks.h: Move max_size hook
108         to type hooks; remove bogus PARAMS.
109
110 2004-07-05  Nathan Sidwell  <nathan@codesourcery.com>
111
112         * c-tree.h (TYPE_ACTUAL_ARG_TYPES): Use TYPE_LANG_SLOT_1.
113         * dwarf2out.c (add_data_member_location_attribute): Check for
114         TREE_BINFO.
115         * tree.c (tree_node_kinds): Add "binfos".
116         (binfo_lang_slots): New.
117         (make_node_stat): Add TREE_BINFO.
118         (make_tree_binfo_stat): New.
119         (tree_node_structure): Add TREE_BINFO.
120         * tree.def (TREE_BINFO): New.
121         * tree.h (REC_OR_UNION_CHECK): Rename to ...
122         (RECORD_OR_UNION_CHECK): ... here.
123         (NOT_RECORD_OR_UNION_CHECK): New.
124         (TRE_VIA_VIRTUAL): Allow TREE_LIST or TREE_BINFO.
125         (TYPE_FIELDS, TYPE_METHODS, TYPE_VFIELD): Adjust for
126         RECORD_OR_UNION_CHECK.
127         (TYPE_BINFO): Use RECORD_OR_UNION_CHECK.
128         (TYPE_LANG_SLOT_1): New.
129         (BINFO_TYPE, BINFO_OFFSET, BINFO_VTABLE, BINFO_VIRTUALS,
130         BINFO_BASETYPES, TYPE_BINFO_BASETYPES, BINFO_VPTR_FIELD,
131         BINFO_BASEACCESSES, BINFO_INHERITANCE_CHAIN): Adjust.
132         (BINFO_ELTS): Remove.
133         (BINFO_LANG_SLOT): New.
134         (struct tree_binfo): New.
135         (binfo_lang_slots): Declare.
136         (enum tree_node_structure_enum): Add TS_BINFO.
137         (union tree_node): Add binfo.
138         (make_tree_binfo_stat): Declare.
139         (make_tree_binfo): New.
140         (enum tree_node_kind): Add binfo_kind.
141
142         * objc/objc-act.c (start_class, objc_declare_protocols,
143         start_protocols): Use TYPE_LANG_SLOT_1.
144         * objc/objc-act.h (CLASS_BINFO_ELTS, PROTOCOL_BINFO_ELTS): Rename
145         to ...
146         (CLASS_LANG_SLOT_ELTS, PROTOCOL_LANG_SLOT_ELTS): ... here.
147         (CLASS_IVARS, CLASS_RAW_IVARS, CLASS_STATIC_TEMPLATE,
148         CLASS_CATEGORY_LIST, CLASS_PROTOCOL_LIST, CLASS_OWN_IVARS,
149         PROTOCOL_LIST, PROTOCOL_FORWARD_DECL): Use TYPE_LANG_SLOT_1.
150
151 2004-07-05  Steven Bosscher  <stevenb@suse.de>
152
153         * rtl.h (struct rtx_def): Remove the integrated flag.
154         Use the return_val flag for MEM_SCALAR_P.
155         Reshuffle and update flags in CLEAR_RTX_FLAGS.
156
157 2004-07-05  Richard Sandiford  <rsandifo@redhat.com>
158
159         PR target/16357
160         * config/mips/mips.c (mips_block_move_straight): Pass BLKmode memrefs
161         to mips_expand_unaligned_load, mips_expand_unaligned_store, and
162         move_by_pieces.
163
164 2004-07-05  Josef Zlomek  <zlomekj@suse.cz>
165
166         * var-tracking.c: Fix some comments.
167         (frame_stack_adjust): New.
168         (vt_stack_adjustments): Init stack_adjust of entry block to
169         minus stack adjustment of function prologue.
170         (adjust_stack_reference): Do not adjust if adjustment == 0.
171         (compute_bb_dataflow): Use plus_constant instead of gen_rtx_PLUS.
172         (emit_notes_in_bb): Likewise.
173         (vt_add_function_parameters): Do not adjust locations of
174         function arguments.
175         (vt_initialize): Compute the stack adjustment of function
176         prologue and offset the initial "location" of frame_base_decl
177         from the stack pointer after prologue.
178
179 2004-07-04  Richard Henderson  <rth@redhat.com>
180
181         * function.c (struct assign_parm_data_all): New.
182         (struct assign_parm_data_one): New.
183         (assign_parms_initialize_all, assign_parms_augmented_arg_list,
184         assign_parm_find_data_types, assign_parms_setup_varargs,
185         assign_parm_find_entry_rtl, assign_parm_is_stack_parm,
186         assign_parm_find_stack_rtl, assign_parm_adjust_entry_rtl,
187         assign_parm_adjust_stack_rtl, assign_parm_setup_block_p,
188         assign_parm_setup_block, assign_parm_setup_reg,
189         assign_parm_setup_stack, assign_parms_unsplit_complex): Split from ...
190         (assign_parms): ... here.
191
192 2004-07-04  Daniel Berlin  <dberlin@dberlin.org>
193
194         * tree-ssa-pre.c (bb_value_sets): phi_gen, tmp_gen, new_sets
195         now are bitmap_set_t's.
196         (bitmap_insert_into_set): No point in inserting the value if
197         it's invariant.
198         (bitmap_set_contains): New function.
199         (bitmap_set_replace_value): Add comment on why we do it
200         this way.
201         (set_contains): Removed.
202         (bitmap_set_subtract_from_value_set): New name of
203         set_subtract now that it's arguments are two different
204         types of sets.
205         Update callers.
206         (bitmap_find_leader): Change algorithm used.
207         (find_or_generate_expression): Update use of functions for new
208         bitmap sets.
209         (create_expression_by_pieces): Ditto.
210         (insert_aux): Ditto.
211         (insert): Ditto.
212         (add_to_sets): Ditto.
213         (init_pre): Ditto.
214         (execute_pre): Ditto.
215         (compute_avail): Ditto.
216         Also ignore virtual phis.
217
218 2004-07-04  Richard Sandiford  <rsandifo@redhat.com>
219
220         * combine.c (simplify_comparison): Fix comment typo.
221
222 2004-07-04  Eric Botcazou  <ebotcazou@libertysurf.fr>
223
224         * config/sparc/sparc.c (SIBCALL_SLOT_EMPTY_P): Rename
225         into LEAF_SIBCALL_SLOT_RESERVED_P after negation.
226         (eligible_for_sibcall_delay): Adjust use of SIBCALL_SLOT_EMPTY_P.
227         (output_restore): Change parameter from 'insn' to 'pat'.
228         (output_return): Adjust call to output_restore.
229         (output_sibcall): Adjust use of SIBCALL_SLOT_EMPTY_P.
230         Adjust call to output_restore.
231
232 2004-07-04  Neil Booth  <neil@duron.akihabara.co.uk>
233
234         * config/netbsd.h (NETBSD_OS_CPP_BUILTINS_COMMON): Define __unix__
235         and assert system is bsd.
236
237 2004-07-04  Richard Sandiford  <rsandifo@redhat.com>
238
239         * config/mips/mips.h (MASK_DEBUG_C, TARGET_DEBUG_C_MODE): Delete.
240         (TARGET_SWITCHES): Remove -mdebugc.
241         * config/mips/mips.md (seq, sne, sgt, sge, slt, sle, sgtu, sgeu)
242         (sltu, sleu): Remove TARGET_DEBUG_C_MODE handling.
243         (seq_[sd]i, sne_[sd]i, sge_[sd]i, sle_[sd]i_reg, sgeu_[sd]i)
244         (sle_[sd]i_reg): Delete.
245
246 2004-07-04  Steven Bosscher  <stevenb@suse.de>
247
248         * config/iq2000/iq2000.c (TARGET_SCHED_USE_DFA_PIPELINE_INTERFACE):
249         Define.
250         * config/iq2000/iq2000.md: Translate old pipeline description to an
251         equivalent new one.
252
253 2004-07-04  Roger Sayle  <roger@eyesopen.com>
254
255         * tree-ssa-ccp.c (set_rhs): Change function to return a bool.
256         Ensure the replacement rhs is valid gimple before performing
257         the substitution.  Return false if these sanity checks fail.
258         (fold_stmt): Only set changed to true, if set_rhs returns true.
259         (execute_fold_all_builtins): Only call modify_stmt if set_rhs
260         succeeds.
261
262 2004-07-04  Richard Henderson  <rth@redhat.com>
263
264         PR c/16348
265         * c-typeck.c (c_finish_loop): Don't clear cond for cond_is_first loops.
266
267 2004-07-04  Mark Mitchell  <mark@codesourcery.com>
268
269         * configure.ac (ranlib_flags): New variable.
270         * Makefile.in (RANLIB_FLAGS): New variable.
271         (libbackend.a): Use it.
272         * configure: Regenerated.
273
274 2004-07-04  Roger Sayle  <roger@eyesopen.com>
275
276         * ifcvt.c (noce_try_sign_mask): Call emit_store_flag to generate
277         a "sign mask" instead of using ashr_optab directly.
278
279 2004-07-04  Neil Booth  <neil@duron.akihabara.co.uk>
280
281         * doc/cpp.texi: Don't document what we do for ill-formed expressions.
282         * doc/cppopts.texi: Clarify processing of command-line defines.
283
284 2004-07-04  Gerald Pfeifer  <gerald@pfeifer.com>
285
286         * doc/contrib.texi (Contributors): Adjust link for GNU Classpath.
287
288 2004-07-04  Richard Henderson  <rth@redhat.com>
289
290         * rtl.def (ADDRESSOF): Remove.
291         * alias.c (rtx_equal_for_memref_p): Don't handle addressof.
292         (find_base_term, memrefs_conflict_p): Likewise.
293         * cse.c (fixed_base_plus_p, find_best_addr: Likewise.
294         (fold_rtx, cse_insn, set_live_p): Likewise.
295         * dwarf2out.c (mem_loc_descriptor): Likewise.
296         (add_location_or_const_value_attribute): Likewise.
297         * emit-rtl.c (copy_insn_1): Likewise.
298         * explow.c (memory_address): Likewise.
299         * expmed.c (store_split_bit_field): Likewise.
300         * expr.c (expand_expr_real_1): Likewise.
301         * function.c (instantiate_decl
302         (instantiate_virtual_regs_1, fix_lexical_addr): Likewise.
303         * genrecog.c (preds, validate_pattern): Likewise.
304         * integrate.c (copy_rtx_and_substitute): Likewise.
305         * recog.c (general_operand, register_operand): Likewise.
306         (memory_address_p): Likwise.
307         * reload1.c (eliminate_regs, elimination_effects): Likewise.
308         * rtl.c (copy_rtx): Likewise.
309         * rtlanal.c (rtx_unstable_p, rtx_varies_p): Likewise.
310         (rtx_addr_can_trap_p, nonzero_address_p, address_cost): Likewise.
311         * rtlhooks.c (gen_lowpart_general): Likewise.
312         * stmt.c (expand_asm_operands): Likewise.
313         * web.c (entry_register, replace_ref, web_main): Likewise.
314         * config/alpha/alpha.c (input_operand, alpha_legitimate_address_p,
315         alpha_expand_block_move, alpha_expand_block_clear): Likewise.
316         * config/arm/arm.c (thumb_rtx_costs): Likewise.
317         * config/c4x/c4x.c (c4x_valid_operands): Likewise.
318         * config/frv/frv.c (move_destination_operand, move_source_operand,
319         condexec_dest_operand, condexec_source_operand,
320         condexec_memory_operand): Likewise.
321         * config/h8300/h8300.h (PREDICATE_CODES): Likewise.
322         * config/ia64/ia64.c (general_xfmode_operand): Likewise.
323         (destination_xfmode_operand): Likewise.
324         * config/mips/mips.h (PREDICATE_CODES): Likewise.
325         * config/mn10300/mn10300.c (mn10300_address_cost_1): Likewise.
326         * config/s390/s390.c (general_s_operand): Likewise.
327         * config/s390/s390.md (mov*): Likewise.
328         * config/sparc/sparc.h (PREDICATE_CODES): Likewise.
329
330         * c-typeck.c (c_mark_addressable): Don't put_var_into_stack.
331         * expr.c (expand_expr_real_1): Likewise.
332         * stmt.c (expand_decl): Likewise.
333         * config/c4x/c4x.c (c4x_expand_builtin): Likewise.
334
335         * function.c (struct fixup_replacement, struct insns_for_mem_entry,
336         postponed_insns, put_var_into_stack, put_reg_into_stack,
337         schedule_fixup_var_refs, fixup_var_refs, find_fixup_replacement,
338         fixup_var_refs_insns, fixup_var_refs_insns_with_hash,
339         fixup_var_refs_insn, fixup_var_refs_1, fixup_memory_subreg,
340         walk_fixup_memory_subreg, fixup_stack_1, optimize_bit_field,
341         gen_mem_addressof, flush_addressof, put_addressof_into_stack,
342         purge_bitfield_addressof_replacements, purge_addressof_replacements,
343         purge_addressof_1, insns_for_mem_hash, insns_for_mem_comp,
344         struct insns_for_mem_walk_info, insns_for_mem_walk,
345         compute_insns_for_mem, is_addressof, purge_addressof, setjmp_protect,
346         setjmp_protect_args): Remove.
347         (push_function_context_to): Don't handle var_refs_queue.
348         (pop_function_context_from, free_after_compilation): Likewise.
349         (instantiate_virtual_regs): Don't handle parm_reg_stack_loc.
350         (assign_parms, allocate_struct_function): Likewise.
351         (use_register_for_decl): New.
352         (expand_function_end): Don't setjmp_protect.
353         * function.h (struct emit_status): Update commentary.
354         (struct function): Remove x_max_parm_reg, x_parm_reg_stack_loc.
355         (max_parm_reg, parm_reg_stack_loc): Remove.
356         * passes.c (DFI_addressof): Remove.
357         (dump_file_info): Remove addressof.
358         (rest_of_handle_addressof): Remove.
359         (rest_of_compilation): Don't call it.
360         * rtl.h (ADDRESSOF_REGNO, ADDRESSOF_DECL): Remove.
361         * stmt.c (expand_decl): Use use_register_for_decl.
362         * tree.h: Update decls.
363         * web.c (mark_addressof): Remove.
364         * doc/invoke.texi (-dF): Remove.
365
366 2004-07-03  Richard Henderson  <rth@redhat.com>
367
368         * config/ia64/ia64.c (spill_xfmode_operand): Use assign_stack_temp
369         instead of gen_mem_addressof.
370         * config/ia64/ia64.md (movxf): Use assign_stack_temp to handle
371         TImode output register.
372
373 2004-07-03  Richard Henderson  <rth@redhat.com>
374
375         PR tree-optimization/16341
376         * tree-sra.c (sra_walk_function): Increment to next stmt before
377         processing the current stmt.
378         (sra_insert_after): Always use BSI_SAME_STMT.
379
380 2004-07-03  Richard Henderson  <rth@redhat.com>
381
382         * tree-ssa-dom.c (simplify_rhs_and_lookup_avail_expr): Don't fold
383         fp plus with minus.
384
385 2004-07-03  Joseph S. Myers  <jsm@polyomino.org.uk>
386
387         * tree.c (type_hash_eq): Allow TYPE_MIN_VALUE which compares equal
388         with tree_int_cst_equal.
389
390 2004-07-03  Andreas Schwab  <schwab@suse.de>
391
392         * config/ia64/ia64.md: Define new attribute "empty".
393         (prologue_use, nop_x, insn_group_barrier): Set it.
394
395         * config/ia64/ia64.c (ia64_reorg): When looking for trailing call
396         skip over "empty" insns.
397
398 2004-07-03  Richard Kenner  <kenner@vlsi1.ultra.nyu.edu>
399
400         * tree-inline.c (initialize_inlined_parameters): Pass proper function
401         context to gimplify_body.
402         (walk_tree): Don't walk into types twice.
403         (walk_tree, case POINTER_TYPE): Deal with mutually recursive pointers.
404
405         * tree-sra.c (generate_element_init): Remove any useless conversions.
406
407         * gimplify.c (gimplify_conversion): Remove stripping useless
408         conversions from here.
409         (gimplify_expr): Put it here, in place of call to STRIP_MAIN_TYPE_NOPS.
410         (gimplify_modify_expr_to_memcpy, gimplify_variable_sized_compare):
411         Unshare before substituting PLACEHOLDER_EXPR.
412         (gimplify_modify_expr_to_memset): Likewise.
413         Pass address of TO to memset, not TO itself.
414         (gimplify_init_constructor): Make copy of OBJECT so we have it each
415         time we make an expression (to match a PLACEHOLDER_EXPR).
416
417         * tree-ssa.c (tree_ssa_useless_type_conversion): Also look at
418         VIEW_CONVERT_EXPR and NON_LVALUE_EXPR.
419         * tree-ssa-ccp.c (fold_stmt): Call just STRIP_USELESS_TYPE_CONVERSION.
420         * tree-ssa-dom.c (local_fold): Likewise.
421
422         * langhooks-def.h (LANG_HOOKS_TYPE_MAX_SIZE): New langhook.
423         * langhooks.h (strct lang_hooks): New field type_max_size.
424         * function.c (assign_temp): Call it.
425
426 2004-07-03  Steven Bosscher  <stevenb@suse.de>
427
428         * config/sh/sh.c (sh_use_dfa_interface): Add TARGET_SH1.
429         * config/sh/sh.md: Convert the SH1 pipeline description to
430         a DFA model.
431
432 2004-07-02  Zack Weinberg  <zack@codesourcery.com>
433
434         * c-decl.c (struct c_binding): Remove contour field; add
435         depth, invisible, nested fields.
436         (B_IN_SCOPE, B_IN_CURRENT_SCOPE, B_IN_FILE_SCOPE)
437         (B_IN_EXTERNAL_SCOPE): New convenience macros.
438         (bind): Add invisible and nested arguments. Initialize
439         new fields of struct c_binding; adjust loop scanning for
440         insertion point.
441         (free_binding_and_advance): Clear structure with memset.
442         (pop_scope): Adjust to match.  Set DECL_CONTEXT on everything
443         in file scope, even if it's in external scope too.
444         (pushdecl): Adjust to match.  Create invisible file-scope
445         declarations for block-scope forward declarations of static functions.
446         (pushtag, warn_if_shadowing, pushdecl_top_level, implicitly_declare)
447         (undeclared_variable, lookup_label, declare_label, define_label)
448         (lookup_tag, lookup_name, lookup_name_in_scope, builtin_function)
449         (c_make_fname_decl, store_parm_decls_newstyle, identifier_global_value)
450         (store_parm_decls_oldstyle): Adjust to match.
451         (diagnose_mismatched_decls): Correct handling of linkage clashes.
452         (merge_decls): No need to copy C_DECL_IN_EXTERNAL_SCOPE.
453
454         * c-tree.h (C_DECL_IN_EXTERNAL_SCOPE): Delete.
455         (C_DECL_DECLARED_BUILTIN, C_DECL_REGISTER): Slide down one.
456
457 2004-07-02  Richard Henderson  <rth@redhat.com>
458
459         * c-decl.c (grokdeclarator): Don't frob current_function_decl
460         around variable_size.
461         (set_decl_nonlocal): Remove.
462         (store_parm_decls): Add stmts for pending sizes.
463         * calls.c (calls_function, calls_function_1): Remove.
464         (precompute_arguments): Don't call it.
465         * cfgexpand.c (set_save_expr_context): Remove.
466         (tree_expand_cfg): Don't call it.
467         * dwarf2out.c (add_bound_info): Don't handle SAVE_EXPR.
468         (dwarf2out_finish): Likewise.
469         * expr.c (emit_block_move): Adjust addresses to BLKmode.
470         (store_constructor): Don't pre-evaluate SAVE_EXPR.
471         (safe_from_p): Don't queue SAVE_EXPRs.
472         (expand_expr_real_1 <case SAVE_EXPR>): Rewrite to expect,
473         or build plain VAR_DECLs.
474         * fold-const.c (twoval_comparison_p): Don't look at SAVE_EXPR_RTL.
475         (fold): Likewise.
476         (fold_checksum_tree): Don't special-case SAVE_EXPR.
477         * function.c (free_after_compilation): Don't clear x_save_expr_regs.
478         (put_var_into_stack): Don't handle SAVE_EXPR.
479         (gen_mem_addressof): Likewise.
480         * function.h (struct function): Remove x_save_expr_regs.
481         (save_expr_regs): Remove.
482         * gengtype.c (adjust_field_tree_exp): Don't special-case SAVE_EXPR.
483         * print-tree.c (print_node): Don't dump SAVE_EXPR_NOPLACEHOLDER.
484         * stor-layout.c (variable_size): Don't set it.
485         (force_type_save_exprs, force_type_save_exprs_1): Remove.
486         * tree-inline.c (remap_save_expr): Remove fn argument.  Update
487         all callers.  Don't set SAVE_EXPR_CONTEXT.
488         * tree-inline.h (remap_save_expr): Update decl.
489         * tree.c (save_expr): Update build size.
490         (first_rtl_op): Don't handle SAVE_EXPR.
491         (unsave_expr_1, contains_placeholder_p): Likewise.
492         (decl_function_context): Likewise.
493         * tree.def (SAVE_EXPR): Remove args 1 and 2.
494         * tree.h (SAVE_EXPR_CONTEXT, SAVE_EXPR_RTL): Remove.
495         (SAVE_EXPR_NOPLACEHOLDER, SAVE_EXPR_PERSISTENT_P): Remove.
496
497 2004-07-03  Joseph S. Myers  <jsm@polyomino.org.uk>
498
499         * doc/bugreport.texi, doc/configterms.texi, doc/contrib.texi,
500         doc/contribute.texi, doc/cpp.texi, doc/cppinternals.texi,
501         doc/extend.texi, doc/install.texi, doc/invoke.texi, doc/md.texi,
502         doc/portability.texi, doc/tree-ssa.texi, doc/trouble.texi: Avoid
503         some first-person references and patronizing comments.  Based on
504         printed manual.
505         * doc/invoke.texi: Don't reference fortran@gnu.org.
506         * doc/trouble.texi (Warning when a non-void function value is
507         ignored): Rewrite.  From Russ Allbery and Chris Devers.
508
509 2004-07-02  Daniel Berlin  <dberlin@dberlin.org)
510
511         * tree-ssa-pre.c (bitmap_set_t): New.
512         (bb_value_sets): avail_out is now a bitmap_set_t.
513         (bitmap_find_leader): New function.
514         (bitmap_value_insert_into_set): Ditto.
515         (bitmap_set_copy): Ditto.
516         (bitmap_value_replace_in_set): Ditto.
517         (bitmap_set_contains_value): Ditto.
518         (bitmap_set_new): Ditto.
519         (bitmap_set_pool): New pool.
520         (find_or_generate_expression): Use bitmap_ functions on AVAIL sets.
521         (insert_aux): Ditto.
522         (add_to_sets): Ditto.
523         (compute_avail): Ditto
524         (eliminate): Ditto.
525         (init_pre): Ditto.
526         (fini_pre): Ditto.
527         (execute_pre): Ditto.
528
529 2004-07-02  Roger Sayle  <roger@eyesopen.com>
530
531         * config/rs6000/rs6000.c (struct processor_costs): New structure
532         used to hold instruction latencies/sizes for processor types.
533         (rs6000_cost): New global variable pointing to current CPU's costs.
534         (rs6000_override_options): Initialize rs6000_cost to point to the
535         appropriate cost table based upon rs6000_cpu and optimize_size.
536         (rs6000_rtx_costs): Use rs6000_cost to avoid hardcoding processor
537         timings inline.
538
539 2004-07-02  Richard Henderson  <rth@redhat.com>
540
541         * expmed.c (make_tree): Don't use SET_DECL_RTL.
542
543 2004-07-02  Steven Bosscher  <stevenb@suse.de>
544
545         * tree-flow.h (bb_ann_d): Remove ephi_nodes field.
546
547 2004-07-01  Richard Henderson  <rth@redhat.com>
548
549         * config/alpha/alpha.c (struct machine_function): Add gp_save_rtx.
550         (alpha_gp_save_rtx): Use assign_stack_local instead of
551         gen_mem_addressof.
552
553 2004-07-01  Richard Henderson  <rth@redhat.com>
554
555         * config/alpha/alpha.c (struct alpha_rtx_cost_data): Add int_div.
556         (alpha_rtx_cost_data): Update to match.
557         (alpha_rtx_cost_size): New.
558         (alpha_rtx_costs): Honor optimize_size.
559
560 2004-07-01  Richard Henderson  <rth@redhat.com>
561
562         * gimple-low.c (lower_function_body): Don't reset_block_changes here.
563         * cfgexpand.c (tree_expand_cfg): Do it here.
564         * config/alpha/alpha.c (alpha_output_mi_thunk_osf): And here.
565         * config/ia64/ia64.c (ia64_output_mi_thunk): And here.
566         * config/mips/mips.c (mips_output_mi_thunk): And here.
567         * config/rs6000/rs6000.c (rs6000_output_mi_thunk): And here.
568         * config/sh/sh.c (sh_output_mi_thunk): And here.
569         * config/sparc/sparc.c (sparc_output_mi_thunk): And here.
570
571 2004-07-01  Richard Henderson  <rth@redhat.com>
572
573         * tree.def (RTL_EXPR): Remove.
574         * c-typeck.c (lvalue_p): Don't handle it.
575         * expr.c (safe_from_p): Likewise.
576         (expand_expr_real_1): Likewise.
577         * fold-const.c (non_lvalue, operand_equal_p, fold): Likewise.
578         (fold_checksum_tree, tree_expr_nonnegative_p): Likewise.
579         * gengtype.c (adjust_field_tree_exp): Likewise.
580         * stmt.c (warn_if_unused_value): Likewise.
581         * tree-gimple.c (recalculate_side_effects): Likewise.
582         * tree-pretty-print.c (dump_generic_node): Likewise.
583         * tree.c (make_node_stat, first_rtl_op, unsave_expr_1): Likewise.
584         (unsafe_for_reeval, stabilize_reference, build1_stat): Likewise.
585         * tree.h (RTL_EXPR_SEQUENCE, RTL_EXPR_RTL, RTL_EXPR_ALT_RTL): Remove.
586
587         * stmt.c (struct stmt_status): Remove x_last_expr_type,
588         x_last_expr_value, x_last_expr_alt_rtl, x_expr_stmts_for_value.
589         (last_expr_type, last_expr_value, last_expr_alt_rtl): Remove.
590         (expand_expr_stmt): Merge with expand_expr_stmt_value.  Remove
591         all the bits that tracked last_expr.
592         (expand_end_bindings): Don't track last_expr.
593         (expand_start_stmt_expr, expand_end_stmt_expr): Remove.
594         (clear_last_expr): Remove.
595         (expand_asm): Don't call it.
596         (expand_asm_operands, expand_end_cond): Likewise.
597         (expand_naked_return, expand_null_return_1): Likewise.
598         * c-typeck.c (c_begin_compound_stmt): Likewise.
599         * cfgexpand.c (expand_block): Use expand_expr_stmt.
600         * expr.c (expand_expr_real_1): Likewise.
601         * tree.h: Update prototypes.
602
603         * function.h (struct sequence_stack): Remove sequence_rtl_expr.
604         (struct emit_status): Remove sequence_rtl_expr.
605         (struct function): Remove x_rtl_expr_chain.
606         (seq_rtl_expr, rtl_expr_chain): Remove.
607         * function.c (struct temp_slot): Remove rtl_expr.
608         (assign_stack_temp_for_type): Don't set it.
609         (free_temp_slots, pop_temp_slots): Don't check it.
610         (free_after_compilation): Don't clear x_rtl_expr_chain.
611         (fixup_var_refs): Don't search it.
612         (preserve_rtl_expr_result, free_temps_for_rtl_expr): Remove.
613         * emit-rtl.c (start_sequence): Don't use sequence_rtl_expr
614         or seq_rtl_expr.
615         (push_topmost_sequence): Likewise.
616         (end_sequence, init_emit): Likewise.
617         (start_sequence_for_rtl_expr): Remove.
618         * expmed.c (make_tree): Build a VAR_DECL instead of an RTL_EXPR.
619         * rtl.h (preserve_rtl_expr_result): Remove.
620
621 2004-07-02  Kazu Hirata  <kazu@cs.umass.edu>
622
623         * ifcvt.c, modulo-sched.c, tree-alias-common.c, tree-sra.c,
624         tree-ssa-copy.c, tree-ssa-dom.c, tree-ssa-pre.c: Fix comment
625         typos.
626
627 2004-07-02  Aaron W. LaFramboise <aaronraolete36@aaronwl.com>
628
629         * gcc.c (STANDARD_STARTFILE_PREFIX_1): Define.
630         (STANDARD_STARTFILE_PREFIX_2): Define.
631         (standard_startfile_prefix_1): Initialize to
632         STANDARD_STARTFILE_PREFIX_1.
633         (standard_startfile_prefix_2): Initialize to
634         STANDARD_STARTFILE_PREFIX_2.
635         * config/i386/mingw32.h (MD_STARTFILE_PREFIX): Remove.
636         (STANDARD_STARTFILE_PREFIX_1): Define.
637         (STANDARD_STARTFILE_PREFIX_2): Define.
638         * doc/tm.texi (STANDARD_STARTFILE_PREFIX_1): Document.
639         (STANDARD_STARTFILE_PREFIX_2): Document.
640
641 2004-07-01  Richard Henderson  <rth@redhat.com>
642
643         * tree-sra.c (sra_walk_expr): Don't maybe_lookup_element_for_expr
644         in order to disable scalarization.  Instead set a flag and wait
645         for a candidate decl.
646
647 2004-07-01  Joseph S. Myers  <jsm@polyomino.org.uk>
648
649         * doc/cppinternals.texi, doc/install.texi, doc/invoke.texi,
650         doc/md.texi, doc/sourcebuild.texi, doc/tm.texi, doc/trouble.texi:
651         Use terminology "testsuite" and "enumerated".
652
653 2004-07-01  Richard Henderson  <rth@redhat.com>
654
655         * dwarf2out.c (reg_save): Use INVALID_REGNUM.
656         (dwarf2out_reg_save, dwarf2out_return_save): Likewise.
657         (initial_return_save): Likewise.
658         (flush_queued_reg_saves): Remap register numbers.
659         (dwarf2out_return_reg): Likewise.
660
661 2004-07-01  Richard Kenner  <kenner@vlsi1.ultra.nyu.edu>
662
663         * gimplify.c (gimplify_one_sizepos): Don't do anything if any VAR_DECL.
664
665         * tree-pretty-print.c (dump_generic_node, case ARRAY_REF): Use
666         access functions for lower bound and element size and only output
667         if lower bound nonzero or element size not same as that of type.
668         (dump_generic_node, case COMPONENT_REF): Use access func. for offset.
669
670 2004-07-01  Paolo Bonzini  <bonzini@gnu.org>
671
672         * c-pretty-print.c (pp_c_postfix_expression): Fix pasto.
673
674 2004-07-01  Per Bothner  <per@bothner.com>
675
676         * final.c (final):  Fix typo reported by Aaron W. LaFramboise.
677
678 2004-07-01  Jakub Jelinek  <jakub@redhat.com>
679
680         * expr.c (expand_assignment): Optimize bitfld += cst for 1 bit
681         bitfields as well.  STRIP_NOPS from src operand and PLUS_EXPR's
682         first operand.  Don't optimize if the bitfield is volatile.
683
684 2004-07-01  Paolo Bonzini  <bonzini@gnu.org>
685
686         * c-pretty-print.c (pp_c_postfix_expression): Handle
687         floating-point comparison operators.
688         (pp_c_expression): Pass floating-point comparison
689         operators to pp_c_postfix_expression.
690
691 2004-07-01  Roger Sayle  <roger@eyesopen.com>
692
693         * simplify-rtx.c (simplify_binary_operation) <PLUS, MINUS>: Use
694         rtx_cost instead of "had_mult" to determine whether the transformed
695         expression is cheaper than the original.
696
697 2004-07-01  Jerry Quinn  <jlquinn@optonline.net>
698
699         * alias.c (get_alias_set, canon_rtx, get_addr,
700         nonoverlapping_memrefs_p, nonlocal_referenced_p_1, memory_modified_1):
701         Use MEM_P.
702         * builtins.c (expand_builtin_prefetch, expand_builtin_profile_func,
703         expand_builtin): Likewise.
704         * calls.c (expand_call, emit_library_call_value_1, store_one_arg):
705         Likewise.
706         * combine.c (can_combine_p, combinable_i3pat, try_combine,
707         find_split_point, combine_simplify_rtx, simplify_set, make_extraction,
708         rtx_equal_for_field_assignment_p, gen_lowpart_for_combine,
709         record_dead_and_set_regs_1, get_last_value_validate,
710         mark_used_regs_combine, move_deaths, unmentioned_reg_p_1): Likewise.
711         * cse.c (check_dependence, canon_hash, equiv_constant,
712         gen_lowpart_if_possible, cse_insn, invalidate_from_clobbers,
713         cse_around_loop, cse_check_loop_start, cse_set_around_loop,
714         count_reg_usage): Likewise.
715         * cselib.c (rtx_equal_for_cselib_p, add_mem_for_addr, cselib_lookup,
716         cselib_invalidate_mem, cselib_invalidate_rtx, cselib_record_set,
717         cselib_record_sets): Likewise.
718         * dbxout.c (PARM_PASSED_IN_MEMORY, dbxout_symbol,
719         dbxout_symbol_location, dbxout_parms, dbxout_reg_parms): Likewise.
720         * ddg.c (mark_mem_use, mark_mem_store, rtx_mem_access_p): Likewise.
721         * df.c (df_uses_record): Likewise.
722         * dojump (do_jump): Likewise.
723         * dwarf2out.c (stack_adjust_offset, mem_loc_descriptor,
724         loc_descriptor_from_tree, rtl_for_decl_location, add_bound_info,
725         decl_start_label): Likewise.
726         * emit-rtl.c (gen_complex_constant_part, gen_highpart,
727         operand_subword, change_address_1, make_safe_from): Likewise.
728         * explow.c (break_out_memory_refs, copy_all_regs, validize_mem,
729         stabilize, force_not_mem): Likewise.
730         * expmed.c (store_bit_field, store_split_bit_field, extract_bit_field,
731         expand_mult_const, expand_divmod, emit_store_flag): Likewise.
732         * expr.c (convert_move, convert_modes, emit_block_move,
733         emit_group_load, emit_group_store, clear_storage, emit_move_insn,
734         emit_move_insn_1, expand_assignment, store_expr,
735         store_constructor_field, store_constructor, store_field,
736         force_operand, safe_from_p, expand_expr_real_1, expand_increment):
737         Likewise.
738         * final.c (cleanup_subreg_operands, alter_subreg,
739         get_mem_expr_from_op): Likewise.
740         * flow.c (notice_stack_pointer_modification_1,
741         init_propagate_block_info, insn_dead_p, mark_set_1, mark_used_regs):
742         Likewise.
743         * function.c (mark_temp_addr_taken, preserve_temp_slots,
744         preserve_rtl_expr_result, put_var_into_stack, fixup_var_refs_1,
745         optimize_bit_field, flush_addressof, purge_addressof_1,
746         instantiate_decl, instantiate_virtual_regs_1, assign_parms,
747         setjmp_protect, setjmp_protect_args, fix_lexical_addr,
748         keep_stack_depressed): Likewise.
749         * ifcvt.c (noce_try_cmove_arith, noce_try_abs, noce_operand_ok,
750         noce_process_if_block, find_memory): Likewise.
751         * integrate.c (subst_constants, allocate_initial_values): Likewise.
752         * local-alloc.c (validate_equiv_mem_from_store, memref_referenced_p,
753         update_equiv_regs): Likewise.
754         * loop.c (scan_loop, prescan_loop, note_addr_stored, check_store,
755         maybe_eliminate_biv_1, find_mem_in_note_1): Likewise.
756         * optabs.c (expand_abs, emit_unop_insn): Likewise.
757         * passes.c (rest_of_handle_final): Likewise.
758         * postreload.c (reload_cse_simplify_set, reload_cse_simplify_operands,
759         move2add_note_store): Likewise.
760         * ra-build.c (detect_remat_webs): Likewise.
761         * ra-debug.c (dump_static_insn_cost): Likewise.
762         * ra-rewrite.c (slots_overlap_p, insert_stores): Likewise.
763         * recog.c (validate_change, apply_change_group, cancel_changes,
764         validate_replace_rtx_1, general_operand, register_operand,
765         nonmemory_operand, push_operand, pop_operand, memory_operand,
766         indirect_operand, asm_operand_ok, offsettable_memref_p,
767         offsettable_nonstrict_memref_p, constrain_operands,
768         store_data_bypass_p): Likewise.
769         * reg-stack.c (subst_stack_regs_pat): Likewise.
770         * regclass.c (record_operand_costs, scan_one_insn, record_reg_classes,
771         copy_cost, reg_scan_mark_refs): Likewise.
772         * regmove.c (optimize_reg_copy_3, stack_memref_p,
773         combine_stack_adjustments_for_block): Likewise.
774         * regrename.c (copyprop_hardreg_forward_1): Likewise.
775         * reload.c (can_reload_into, push_reload, decompose, immune_p,
776         find_reloads, find_reloads_address, find_reloads_address_1,
777         reg_overlap_mentioned_for_reload_p, refers_to_mem_for_reload_p,
778         find_equiv_reg): Likewise.
779         * reload1.c (reload, eliminate_regs, eliminate_regs_in_insn,
780         reload_as_needed, choose_reload_regs, emit_input_reload_insns,
781         do_input_reload, emit_reload_insns, gen_reload, delete_output_reload,
782         delete_address_reloads): Likewise.
783         * resource.c (mark_referenced_resources): Likewise.
784         * rtlanal.c (get_jump_table_offset, count_occurrences,
785         reg_referenced_p, reg_set_p, set_of_1, set_noop_p,
786         reg_overlap_mentioned_p, note_uses, replace_regs, nonzero_bits1,
787         num_sign_bit_copies1): Likewise.
788         * rtlhooks.c (gen_lowpart_general): Likewise.
789         * sched-deps.c (sched_analyze_1, sched_analyze_2): Likewise.
790         * sdbout.c (PARM_PASSED_IN_MEMORY, sdbout_symbol,
791         sdbout_toplevel_data, sdbout_parms, sdbout_reg_parms,
792         sdbout_global_decl): Likewise.
793         * simplify-rtx.c (simplify_subreg): Likewise.
794         * stmt.c (expand_asm_operands, expand_expr_stmt_value, expand_decl,
795         expand_anon_union_decl, expand_end_case_type): Likewise.
796         * unroll.c (calculate_giv_inc): Likewise.
797         * var-tracking.c (stack_adjust_offset_pre_post,
798         bb_stack_adjust_offset, track_expr_p, count_uses, add_uses,
799         add_stores, compute_bb_dataflow, vt_get_decl_and_offset,
800         vt_add_function_parameters): Likewise.
801         * varasm.c (make_var_volatile, notice_global_symbol,
802         assemble_external, decode_addr_const, mark_weak,
803         default_encode_section_info): Likewise.
804
805 2004-07-01  Steven Bosscher  <stevenb@suse.de>
806
807         * stmt.c (check_seenlabel): Remove.
808         (pushcase, pushcase_range, expand_end_case_type): Don't call it.
809
810 2004-07-01  Richard Henderson  <rth@redhat.com>
811
812         * function.h (struct function): Remove x_function_call_count.
813         (function_call_count): Remove.
814         * calls.c (expand_call): Don't set it.
815         * integrate.c (copy_rtx_and_substitute): Likewise.
816
817         * function.h (struct function): Remove x_cleanup_label.
818         (cleanup_label): Remove.
819         * stmt.c (expand_value_return): Don't use it.
820         * function.c (free_after_compilation): Don't set it.
821         (expand_function_start): Likewise.  Remove parms_have_cleanups arg.
822         * cfgexpand.c (tree_expand_cfg): Update call.
823         * tree.h (expand_function_start): Update decl.
824
825 2004-07-01  Joseph S. Myers  <jsm@polyomino.org.uk>
826
827         PR c/1027
828         * c-lang.c (c_initialize_diagnostics): Move from here ...
829         * c-objc-common.c: ... to here.  Include "c-pretty-print.h".
830         (c_tree_printer): Use pretty-printer to format %T.
831         * c-pretty-print.c (pp_c_specifier_qualifier_list): Include space
832         before '*' if not C++.
833         (pp_c_direct_abstract_declarator): Don't try to print array upper
834         bound for flexible array members.
835         * c-tree.h: Include "diagnostic.h".
836         (c_initialize_diagnostics): Declare.
837         * objc/objc-lang.c (LANG_HOOKS_INITIALIZE_DIAGNOSTICS): Define.
838         * c-format.c (format_type_warning): New function.  Improve
839         diagnostics for incorrect format argument types.
840         (check_format_types): Use it.  Add two parameters.  Use the
841         TYPE_MAIN_VARIANT of wanted_type.
842         (check_format_info_main): Pass new parameters to
843         check_format_types.
844         (struct format_wanted_type): Update comment.
845
846 2004-07-01  Nick Clifton  <nickc@redhat.com>
847
848         * target.h (struct gcc_target): Add new field to struct cxx:
849         import_export_class.
850         * target-def.h (TARGET_CXX): Initialise the new field.
851         (TARGET_CXX_IMPORT_EXPORT_CLASS): Provide a default value for
852         the new field.
853         * doc/tm.texi: Document the new target hook.
854
855 2004-07-01  Paolo Bonzini  <bonzini@gnu.org>
856
857         * builtins.c (fold_builtin_classify): Fix typo.
858
859 2004-07-01  Richard Henderson  <rth@redhat.com>
860
861         * function.c (identify_blocks, identify_blocks_1): Remove.
862         * function.h (identify_blocks): Remove.
863         * rtl.h (NOTE_INSN_BLOCK_BEG): Update comment.
864
865 2004-07-01  Paolo Bonzini  <bonzini@gnu.org>
866
867         * builtins.c (fold_builtin_classify): New.
868         (fold_builtin_unordered_cmp): Fix commentary.
869         (fold_builtin): Use it.
870         * builtins.def: Define builtins for isnan,
871         isnanf, isnanl, finite, finitef, finitel,
872         isinf, isinff, isinfl.
873
874 2004-07-01  Richard Henderson  <rth@redhat.com>
875
876         * function.h (struct function): Remove dont_emit_block_notes.
877         * gimple-low.c (lower_function_body): Don't set it.
878         * cfgexpand.c (expand_block): Don't check it.
879         * cfglayout.c (insn_locators_initialize): Likewise.
880         * expr.c (expand_expr_real, expand_expr_real_1): Likewise.
881         * passes.c (rest_of_compilation): Likewise.
882         * stmt.c (expand_start_bindings_and_block): Likewise.
883         (expand_end_bindings): Likewise.
884
885 2004-07-01  Richard Henderson  <rth@redhat.com>
886
887         * cgraph.h (cgraph_build_static_cdtor): Declare.
888         * cgraphunit.c (cgraph_build_static_cdtor): New.
889         * c-objc-common.c (build_cdtor): Use it.
890         * coverage.c (create_coverage): Likewise.
891         * libfuncs.h (LTI_gcov_init, gcov_init_libfunc): Remove.
892         * optabs.c (init_optabs): Don't set gcov_init_libfunc.
893
894 See ChangeLog.11 for earlier changes.