OSDN Git Service

* c-decl.c (static_ctors, static_dtors): Make static.
[pf3gnuchains/gcc-fork.git] / gcc / ChangeLog
1 2004-07-08  Zack Weinberg  <zack@codesourcery.com>
2
3         * c-decl.c (static_ctors, static_dtors): Make static.
4         (pop_file_scope): Call c_common_write_pch and
5         cgraph_finalize_compilation_unit here.
6         (build_cdtor): Moved here from c-objc-common.c; simplify.
7         (c_write_global_declarations_1): Clarify comment.
8         (c_write_global_declarations): Close the external scope before
9         doing anything else.  Call build_cdtor, cgraph_optimize, and
10         mudflap_finish_file here.
11         * c-lang.c (finish_file): Don't call c_objc_common_finish_file.
12         Clarify comment.
13         * c-objc-common.c: No need to include cgraph.h.
14         (build_cdtor): Moved to c-decl.c.
15         (c_objc_common_finish_file): Delete.
16         * c-tree.h: Update to match.
17         * objc/objc-act.c (finish_file): Don't call c_objc_common_finish_file.
18         (generate_static_references): Set TREE_USED before calling finish_decl.
19         Eliminate unnecessary dummy declaration.  Call rest_of_decl_compilation
20         on the static_instances_decl.
21
22 2004-07-08  Zack Weinberg  <zack@codesourcery.com>
23
24         * c-decl.c (pop_scope): Do not set DECL_CONTEXT on file-scope
25         decls when there is only one input translation unit.
26         * langhooks.c (lhd_set_decl_assembler_name): Partially revert
27         change of 2004-07-05; do not treat declarations with
28         DECL_CONTEXT a TRANSLATION_UNIT_DECL specially.
29         * opts.c (cur_in_fname): Delete.
30         * opts.h: Likewise.
31         * tree.c: Revert changes of 2004-07-05; no special treatment
32         for TRANSLATION_UNIT_DECLs.
33         * Makefile.in (tree.o): Update dependencies.
34
35 2004-07-08  Roger Sayle  <roger@eyesopen.com>
36
37         * builtins.c (fold_builtin_strcpy): Merge functionality from
38         simplify_builtin_strcpy.  Add additional len argument.  No longer
39         static.  Remove function prototype.
40         (fold_builtin_strncpy): Likewise integrate functionality from
41         simplify_builtin_strncpy.  Add additional slen argument.  No
42         longer static.  Remove function prototype.
43         (simplify_builtin_strcy, simplify_builtin_strncpy): Delete.
44         (simplify_builtin_fputs): Rename to fold_builtin_fputs.  Change
45         types of "ignore" and "unlocked" parameters to bool.
46         (fold_builtin_1):  Add additional ignore argument.  Call renamed
47         fold_builtin_fputs to simplify GCC "fputs" and "fputs_unlocked"
48         builtins.  Update arguments to fold_builtin_strncpy and
49         fold_builtin_strcpy.  Add function prototype.
50         (fold_builtin): Add additional Boolean ignore argument to pass
51         to fold_builtin_1.
52         (simplify_builtin): Call fold_builtin_fputs, fold_builtin_strcpy
53         and fold_builtin_strncpy instead of simplify_builtin_fputs,
54         simplify_builtin_strcpy and simplify_builtin_strncpy respectively.
55
56         * expr.h (simplify_builtin_fputs, simplify_builtin_strcpy,
57         simplify_builtin_strncpy): Delete function prototypes.
58         * tree.h (fold_builtin_fputs, fold_builtin_strcpy,
59         fold_builtin_strncpy): Add function prototypes here.
60         (fold_builtin): Update function prototype with new "bool ignore".
61
62         * tree-ssa-ccp.c (ccp_fold): Update call to fold_builtin.
63         (ccp_fold_builtin):  Update call to fold_builtin.  Call
64         fold_builtin_fputs, fold_builtin_strcpy and fold_builtin_strncpy
65         instead of simplify_builtin_fputs, simplify_builtin_strcpy and
66         simplify_builtin_strncpy respectively.
67         * fold-const.c (fold): Update call to fold_builtin.
68
69 2004-07-08  Alexandre Oliva  <aoliva@redhat.com>
70
71         * builtins.c (expand_builtin_stpcpy): Un-simplify decay of stpcpy
72         to strcpy.
73
74         * expr.h (FUNCTION_ARG_PARTIAL_NREGS): Default to 0.
75         (FUNCTION_ARG_PASS_BY_REFERENCE): Likewise.
76         (FUNCTION_ARG_CALLEE_COPIES): Likewise.
77         * calls.c: Remove ifdefs of macros above.
78         * functions.c: Likewise.
79         * expr.c: Likewise.
80
81 2004-07-08  Eric Botcazou  <ebotcazou@libertysurf.fr>
82
83         * config/sparc/sparc.md (UNSPECV_GOTO_V9): Delete.
84         (arch attribute): Delete.
85         (current_function_calls_alloca attribute): Rename into calls_alloca.
86         (calls_eh_return): New attribute.
87         (leaf_function): Likewise.
88         (length attribute): Fix formula for sibcalls.
89         (return insn): Correctly compute the 'length' attribute.
90         (do_builtin_setjmp_setup): Adjust use of current_function_calls_alloca.
91
92 2004-07-08  Richard Henderson  <rth@redhat.com>
93
94         * tree-cfg.c (make_exit_edges): Use get_call_expr_in.
95         (remove_useless_stmts_1, is_ctrl_altering_stmt): Likewise.
96         (tree_block_ends_with_call_p, need_fake_edge_p): Likewise.
97         * tree-eh.c (lower_eh_constructs_1): Likewise.
98         * tree-sra.c (sra_walk_modify_expr): Likewise.
99         * tree-ssa-dce.c (mark_stmt_if_obviously_necessary): Likewise.
100         (eliminate_unnecessary_stmts): Likewise.
101         * tree-ssa-dse.c (dse_optimize_stmt): Likewise.
102         * tree-tailcall.c (optimize_tail_call): Likewise.
103         * tree-ssa-ccp.c (get_rhs, set_rhs): Reorg to use switch.
104
105 2004-07-08  Paolo Bonzini  <bonzini@gnu.org>
106             Jakub Jelinek  <jakub@redhat.com>
107
108         * config/i386/i386.c (override_options): Enable
109         SSE prefetches with -mtune, as long as we are
110         compiling for i686 or higher.  All i686 processors
111         accept SSE prefetches as NOPS, some i586's don't.
112
113 2004-07-08  Eric Botcazou  <ebotcazou@libertysurf.fr>
114
115         PR target/10567
116         * config/sparc/sparc.md (update_return): Honor flag_delayed_branch.
117
118 2004-07-08  Diego Novillo  <dnovillo@redhat.com>
119
120         * tree-ssa-operands.c (get_asm_expr_operands): Fix thinkos in
121         the handling of clobbering ASM_EXPRs.
122
123 2004-07-08  Eric Botcazou  <ebotcazou@libertysurf.fr>
124
125         PR target/16430
126         * config/sparc/sparc.c (function_value): In 64-bit mode,
127         return the aggregates larger than 16 bytes like unions.
128
129 2004-07-08  Eric Botcazou  <ebotcazou@libertysurf.fr>
130
131         PR target/16199
132         * config/sparc/sparc.c (sparc_emit_set_symbolic_const64): When
133         'temp' is zero, generate new pseudos as needed and emit the
134         sequence of insns in single-assignment form.  Resync comments
135         with code.
136         (sparc_emit_set_const64): Pass zero as 'temp' argument to above
137         function before reload.
138
139 2004-07-08  Nathan Sidwell  <nathan@codesourcery.com>
140
141         * vec.c (vec_assert_fail): Remove duplicate 'function'.
142
143         * vec.c (vec_p_reserve, vec_o_reserve): Allocation is signed.
144
145         * vec.h (VEC_alloc, VEC_embedded_size, VEC_embedded_init):
146         Allocation is signed.
147         (VEC_reserve): Return flag, allocation is signed.
148
149 2004-07-08  Richard Henderson  <rth@redhat.com>
150
151         * tree-ssa-ccp.c (fold_stmt): Get type directly from
152         OBJ_TYPE_REF_OBJECT.
153
154 2004-07-08  Joseph S. Myers  <jsm@polyomino.org.uk>
155             Neil Booth  <neil@daikokuya.co.uk>
156
157         PR c/2511
158         PR c/3325
159         * c-decl.c (finish_struct): Ensure bit-fields are given the
160         correct type.
161         * c-common.c (c_common_signed_or_unsigned_type): For C, require
162         the precision to match as well as the mode.
163         * expr.c (reduce_to_bit_field_precision): New function.
164         (expand_expr_real_1): Reduce expressions of bit-field type to
165         proper precision.
166         * langhooks.h (reduce_bit_field_operations): New hook.
167         * langhooks-def.h (LANG_HOOKS_REDUCE_BIT_FIELD_OPERATIONS):
168         Define.
169         * c-lang.c, objc/objc-lang.c
170         (LANG_HOOKS_REDUCE_BIT_FIELD_OPERATIONS): Define.
171         * objc/objc-act.c (check_ivars): Convert types to bit-field types
172         before checking.
173         * tree.c (build_nonstandard_integer_type): New function.
174         * tree.h (build_nonstandard_integer_type): New prototype.
175         * tree-ssa.c (tree_ssa_useless_type_conversion_1): Don't treat
176         conversions between integer and boolean types as useless.
177
178 2004-07-08  Paolo Bonzini  <bonzini@gnu.org>
179
180         * c-common.c (c_common_nodes_and_builtins): Do not
181         create __builtin_ptrdiff_t and __builtin_size_t.
182
183 2004-07-08  Andrew Pinski  <apinski@apple.com>
184
185         * Makefile.in (libbackend.o): Add -combine to the gcc
186         command line.
187
188 2004-07-08  Nick Clifton  <nickc@redhat.com>
189
190         * config/stormy16/t-stormy16 (TARGET_LIBGCC2_CFLAGS): Define.
191         Set to -Os.
192
193 2004-07-08  Richard Henderson  <rth@redhat.com>
194
195         * except.c (expand_eh_region_start, expand_eh_region_end,
196         expand_eh_handler, expand_eh_region_end_cleanup,
197         expand_start_all_catch, expand_start_catch, expand_end_catch,
198         expand_end_all_catch, expand_eh_region_end_allowed,
199         expand_eh_region_end_must_not_throw, expand_eh_region_end_throw,
200         expand_eh_region_end_fixup): Remove.
201         * stmt.c (struct nesting): Remove stack_level, innermost_stack_block,
202         cleanups, outer_cleanups, label_chain, exception_region.
203         (struct goto_fixup): Remove stack_level, cleanup_list_list.
204         (struct label_chain): Remove.
205         (struct stmt_status): Remove x_stack_block_stack.
206         (stack_block_stack, expand_goto_internal, expand_fixup, expand_fixups,
207         fixup_gotos, save_stack_pointer, expand_decl_cleanup,
208         expand_decl_cleanup_eh, expand_cleanups, start_cleanup_deferral,
209         end_cleanup_deferral, last_cleanup_this_contour,
210         containing_blocks_have_cleanups_or_stack_level,
211         any_pending_cleanups): Remove.
212         (expand_null_return_1): Take no arguments.
213         (expand_label, expand_naked_return, expand_return,
214         expand_start_bindings_and_block, expand_end_bindings, expand_decl,
215         expand_anon_union_decl, expand_start_case, pushcase, pushcase_range,
216         expand_end_case_type): Don't use any of them.
217         * calls.c (expand_call): Likewise.
218         * dojump.c (do_jump): Likewise.
219         * function.c (expand_function_end): Likewise.
220         * expr.c (store_expr, expand_expr_real_1): Likewise.
221         (safe_from_p): Don't handle WITH_CLEANUP_EXPR, CLEANUP_POINT_EXPR.
222         (expand_expr_real_1): Don't handle WITH_CLEANUP_EXPR,
223         CLEANUP_POINT_EXPR, TARGET_EXPR, TRY_CATCH_EXPR, CATCH_EXPR,
224         EH_FILTER_EXPR, TRY_FINALLY_EXPR, GOTO_SUBROUTINE_EXPR.
225         * fold-const.c (fold_checksum_tree): Use first_rtl_op.
226         * gengtype.c (adjust_field_tree_exp): Remove rtl op handling.
227         * gimplify.c (gimplify_cleanup_point_expr): Renumber operands
228         for WITH_CLEANUP_EXPR.
229         (gimple_push_cleanup): Likewise.
230         * integrate.c (copy_decl_for_inlining): Don't DECL_TOO_LATE.
231         * print-tree.c (print_node): Likewise.
232         * tree-pretty-print.c (dump_generic_node): Remove GOTO_SUBROUTINE_EXPR.
233         * tree.c (first_rtl_op): Always just TREE_CODE_LENGTH.
234         (has_cleanups): Remove GOTO_SUBROUTINE_EXPR.
235         * tree.def (WITH_CLEANUP_EXPR): Remove op1 and op2.
236         (GOTO_SUBROUTINE_EXPR): Remove.
237         * tree.h (WITH_CLEANUP_EXPR_RTL): Remove.
238         (DECL_TOO_LATE): Remove.
239         * except.h, tree.h: Update decls.
240
241 2004-07-08  Paolo Bonzini  <bonzini@gnu.org>
242
243         * explow.c (optimize_save_area_alloca): Do not accept parameters.
244         * passes.c (rest_of_handle_final): Handle symout.
245         (rest_of_handle_new_regalloc, rest_of_handle_old_regalloc):
246         Push timevar here.
247         (rest_of_handle_sched): Break out SMS.  Remove ifs for
248         flag_schedule_insns and flag_modulo_sched.
249         (rest_of_handle_addressof, rest_of_handle_cse2): Garbage
250         collect at the end.
251         (rest_of_handle_gcse2): Put under timevar TV_RELOAD_CSE_REGS.
252         (rest_of_handle_partition_blocks, rest_of_handle_sms,
253         rest_of_handle_if_after_reload, rest_of_handle_peephole2,
254         rest_of_handle_mode_switching, rest_of_handle_jump,
255         rest_of_handle_guess_branch_prob, rest_of_handle_eh,
256         rest_of_handle_jump2, rest_of_handle_postreload,
257         rest_of_handle_flow2, rest_of_clean_state,
258         rest_of_handle_shorten_branches,
259         rest_of_handle_prologue_epilogue,
260         rest_of_handle_branch_target_load_optimize): New.
261         (rest_of_compilation): Call the above.  Remove ggc_collect
262         calls moved to rest_of_handle_*.
263         * rtl.h (optimize_save_area_alloca): Do not accept parameters.
264
265         * dwarf2out.c (dwarf2out_begin_prologue): Use TREE_NOTHROW.
266         * except.c (set_nothrow_function_flags): Set TREE_NOTHROW.
267         * except.h (set_nothrow_function_flags): Update comment.
268         * function.c (current_function_nothrow): Remove.
269         * output.h (current_function_nothrow): Remove.
270         * passes.c (rest_of_compilation): Do not set TREE_NOTHROW.
271         * config/arm/arm.c (arm_compute_func_type): Use TREE_NOTHROW.
272
273 2004-07-08  Eric Botcazou  <ebotcazou@libertysurf.fr>
274
275         PR bootstrap/16326
276         * reorg.c: Revert 2004-06-30 change.
277         (find_end_label): If HAVE_epilogue and !HAVE_return,
278         return 0 instead of creating a label at the end of the insn chain.
279         (optimize_skip): Account for the failure mode of find_end_label.
280         (fill_simple_delay_slots): Likewise.
281         (fill_slots_from_thread): Likewise.
282         (relax_delay_slots): Likewise.
283
284 2004-07-08  Diego Novillo  <dnovillo@redhat.com>
285
286         * tree-flow.h (addressable_vars): Declare.
287         * tree-ssa-alias.c (addressable_vars): Define.
288         (setup_pointers_and_addressables): Add addressable variables
289         to addressable_vars.
290         * tree-ssa-operands.c (get_stmt_operands): Move
291         handling of ASM_EXPRs ...
292         (get_asm_expr_operands): ... here.
293         When the ASM_EXPR clobbers memory, also clobber addressable
294         variables.
295         * tree-ssa.c (init_tree_ssa): Initialize addressable_vars.
296         (delete_tree_ssa): Reset addressable_vars.
297
298 2004-07-07  Jan Beulich  <jbeulich@novell.com>
299             Richard Henderson  <rth@redhat.com>
300
301         * varasm.c (assemble_variable): Use assemble_zeros for
302         zero-initialized variables.
303         (categorize_decl_for_section): Honor flag_zero_initialized_in_bss
304         for SECCAT_BSS and SECCAT_TBSS.
305
306 2004-07-07  Jan Beulich  <jbeulich@novell.com>
307
308         * varasm.c (asm_output_bss): Don't declare unless BSS_SECTION_ASM_OP.
309
310         * expmed.c (emit_store_flag): Also special-case double-word
311         (in-)equality comparison against -1.
312
313         * config/i386/i386.c (ix86_gimplify_va_arg): Don't need temporary for
314         passing arguments the containers for which are registers.
315
316         * calls.c (emit_library_call_value_1): Use mode of function parameter
317         rather than that of argument since constants have none.
318
319 2004-07-08  Alexandre Oliva  <aoliva@redhat.com>
320
321         Introduce H8SX support.
322         * expr.c (expand_strcpy): Renamed and moved to...
323         * builtins.c (expand_movstr): ... here.  Tweak.
324         (expand_builtin_strcpy): Adjust.  Use movstr if len can't be
325         computed or has side effects.
326         (expand_builtin_stpcpy): Likewise.  Use strcpy if return value is
327         unused, or if mempcpy fails.  Adjust the return value in the
328         latter case.  Use movstr if everything else fails.
329         * doc/md.texi (movstr): Document.
330         (movmemM, clrmemM): Fix explanation of memory block operands.
331         * config/h8300/h8300.md (stpcpy): Renamed to...
332         (movstr): ... this.  Adjust.
333         2004-07-07  Alexandre Oliva  <aoliva@redhat.com>
334         * config/h8300/h8300.md: Rename movstr*, except for movstrict*, to
335         movmem* and clrstr* to clrmem*.
336         2004-06-27  Alexandre Oliva  <aoliva@redhat.com>
337         * config/h8300/h8300.c (h8300_reg_class_from_letter): Map 'D' to
338         GENERAL_REGS, always.
339         (h8300_swap_into_er6, h8300_swap_into_er6): Handle the case of
340         getting the stack pointer as addr.
341         * config/h8300/h8300.h (PREDICATE_CODES): Remove constant rtxes
342         from general_operand_dst.
343         * config/h8300/h8300.md (movmd_internal_normal): New, normal-mode
344         variant of...
345         (movmd_internal): ... this.  Add modes to operands.  Disparage `D'
346         instead of requiring it to match only before reload.
347         (stpcpy_internal_normal): New, normal-mode variant of...
348         (stpcpy_internal): ... this.  Add modes to operands.  Disparage
349         `D' instead of requiring it to match only before reload.
350         * config/h8300/h8300-protos.h (h8300_legitimate_address_p): Add
351         mode argument.
352         * config/h8300/h8300.h (GO_IF_LEGITIMATE_ADDRESS): Pass it to...
353         * config/h8300/h8300.c (h8300_legitimate_address_p): Pass it to
354         h8300_get_index.
355         * config/h8300/h8300.md (attr type): Add call.
356         (attr can_delay): If type is call, set it no.
357         (call, call_value): Set type to call.
358         2004-06-21  Alexandre Oliva  <aoliva@redhat.com>
359         * config/h8300/h8300.md (logicalhi3_sn, logicalsi3_sn): New.
360         2004-06-16  Alexandre Oliva  <aoliva@redhat.com>
361         * tree.c (get_narrower): Don't narrow integral types into
362         non-integral types.
363         * config/h8300/h8300.c (h8300_expand_epilogue): Initialize
364         frame_size *before* the first use.
365         * config/h8300/h8300.md (movstrictqi): Reintroduce post-increment
366         on input.
367         (peephole2): Don't widen instructions that push SP.  Move
368         decrement of SP to the end of all stm-generating peepholes.
369         2003-07-24  Richard Sandiford  <rsandifo@redhat.com>
370         * config/h8300/h8300.md (insv): Prefer to use AND to clear a bitfield
371         and OR to set it to all ones.
372         2003-07-24  Richard Sandiford  <rsandifo@redhat.com>
373         * config/h8300/h8300.md (can_delay): Default to "no" for bit branches.
374         (call, call_value): Set can_delay to "no".
375         2003-07-22  Richard Sandiford  <rsandifo@redhat.com>
376         * config/h8300/h8300.md (extzv): Make subreg check more robust.
377         2003-07-21  Richard Sandiford  <rsandifo@redhat.com>
378         * config/h8300/h8300.md (*brabit): Remove.
379         * config/h8300/h8300.md (*brabc, *brabs): Remove mode from
380         zero_extract.  Use bit_memory_operand as the predicate for
381         operand 1 and 'WU' as the constraint.  Check the difference
382         between the base length and the final one when deciding which
383         type of branch to use.
384         2003-07-21  Richard Sandiford  <rsandifo@redhat.com>
385         * config/h8300/h8300.md (extzv): Remove mode from operands 0 and 1.
386         Use convert_move to extend the result for TARGET_H8300SX.  Check
387         for QImode memory references.  Optimize the case where the
388         destination is a paradoxical subreg.
389         2003-07-21  Richard Sandiford  <rsandifo@redhat.com>
390         * config/h8300/h8300.md (*movsf_h8sx): Add an r <- G alternative.
391         * config/h8300/h8300.md (andqi): Remove bclr from h8sx version.
392         2003-07-21  Richard Sandiford  <rsandifo@redhat.com>
393         * config/h8300/h8300.md: Include mova.md
394         (length_table): Add mova and mova_zero.
395         * config/h8300/h8300.c (print_operand): Handle '%o'.  Print a length
396         after all constant addresses for '%R', '%X', '%T' and '%S'.
397         (h8300_mova_length): New function.
398         (h8300_insn_length_from_table): Use it to handle mova and mova_zero.
399         * config/h8300/t-h8300 (mova.md): Generate from genmova.sh.  Add to
400         dependencies for s-config, etc.
401         * config/h8300/gemova.sh: New file.
402         * config/h8300/mova.md: Generated.
403         2003-07-20  Alexandre Oliva  <aoliva@redhat.com>
404         * config/h8300/h8300.c (h8300_bitfield_length): New.
405         (nibble_operand): Adjust.
406         (h8300_binary_length): Handle conditional binary op.
407         (h8300_insn_length_from_table): Handle bitfield and bitbranch.
408         * config/h8300/h8300.h: Change constraints W# and Y# to P#>X and
409         P#<X, respectively.  The original P is now IP4>X.  Introduced P#>0
410         and P#<0, unused so far.  W and Y are now prefixes to multi-letter
411         constraints.  WU is introduced as a variant of U that requires a
412         mem, and is therefore considered an EXTRA_MEMORY_CONSTRAINT.
413         * config/h8300/h8300.md (attr type): Added bitbranch.
414         (attr length_table): Added bitfield and bitbranch.
415         (attr length): Compute bitbranch length.
416         (andqi): Separate pattern for H8300SX.  Use bfld for loading the
417         least-significant bit of a byte.
418         (brabit, brabc, brabs): New.
419         (insv, extzv): Emit bfst and bfld on H8300SX.
420         (bfld, bfst, seq, sne): New.
421         (bstzhireg, cmpstz, bstz, bistz): New.
422         (cmpcondbset, condbset, cmpcondbclr, condbclr): New.
423         (cmpcondbsetreg, condbsetreg, cmpcondbclrreg, condbclrreg): New.
424         2003-07-11  Richard Sandiford  <rsandifo@redhat.com>
425         * config/h8300/h8300.c (h8sx_binary_memory_operator): New function.
426         (h8sx_unary_memory_operator): New function.
427         * config/h8300/h8300.h (EXTRA_MEMORY_CONSTRAINT): Disable.
428         (PREDICATE_CODES): Add h8sx_{unary,binary}_memory_operator.
429         * config/h8300/h8300.md: Add peepholes to combine reloads and
430         arithmetic insns.
431         2003-07-10  Richard Sandiford  <rsandifo@redhat.com>
432         * config/h8300/h830.md (cmpqi): Use 'i' rather than 'n' in constraints.
433         (*cmphi_h8300hs, *addqi3, *addhi3_h8sx, subhi3): Likewise.
434         (and?i, ior?i, xor?i): Likewise.
435         2003-07-10  Richard Sandiford  <rsandifo@redhat.com>
436         * config/h8300/h8300.c: Move enums and prototypes to head of file.
437         Various whitespace fixes.
438         (h8300_constant_length): New function, split out from...
439         (h8300_displacement_size): ...here.  Rename h8300_displacement_length.
440         (h8300_classify_operand): Use IN_RANGE.
441         (h8300_classify_operand): Use h8300_constant_length.
442         (h8300_short_move_mem_p): Tighten size check.
443         (h8sx_mergeable_memrefs_p): Tighten equality check.
444         2003-06-30  Richard Sandiford  <rsandifo@redhat.com>
445         * config/h8300/h8300.h (TARGET_CPU_CPP_BUILTINS): Define __H8300SX__
446         for -msx.
447         * config/h8300/crti.asm: Use .h8300sx or .h8300sxn for -msx code.
448         * config/h8300/crtn.asm: Likewise.
449         * config/h8300/lib1funcs.asm: Likewise.  Use 32-bit pointers
450         if __H8300SX__ is defined.
451         2003-06-27  Richard Sandiford  <rsandifo@redhat.com>
452         * config/h8300/h8300-protos.h (h8300_get_index): Add mode parameter.
453         * config/h8300/h8300.h (GO_IF_LEGITIMATE_ADDRESS): Update accordingly.
454         (GO_IF_MODE_DEPENDENT_ADDRESS): Treat POST_DEC, PRE_INC and indexed
455         addresses as mode-dependent.
456         * config/h8300/h8300.c (print_operand_address): Update call to
457         h8300_get_index.
458         (h8300_get_index): Take a mode argument.  Rework to fix an
459         earlier misunderstanding.
460         2003-06-26  Richard Sandiford  <rsandifo@redhat.com>
461         * config/h8300/h8300.c (zero_extendqisi2): Force the source operand
462         into a register if TARGET_H8300SX.
463         (*zero_extendqisi2_h8300hs, *extendqisi2_h8300): Disable for
464         TARGET_H8300SX.  Also disable related define_splits.
465         (*zero_extendqisi2_h8sx, *extendqisi2_h8sx): New patterns.
466         2003-06-23  Richard Sandiford  <rsandifo@redhat.com>
467         * config/h8300/h8300.c (h8300_rtx_costs): Add h8sx handling.
468         2003-06-20  Richard Sandiford  <rsandifo@redhat.com>
469         * config/h8300/h8300.h (OK_FOR_Z): New macro.
470         (EXTRA_CONSTRAINT_STR): Check it.
471         * config/h8300/h8300.c (h8300_classify_operand): Accept null
472         class arguments.
473         (h8300_insn_length_from_table): Handle LENGTH_TABLE_MOV_IMM4.
474         * config/h8300/h8300.md (length_table): Add mov_imm4.
475         (movqi, movhi): Add Z <- W4 alternatives to h8sx patterns.
476         2003-06-20  Richard Sandiford  <rsandifo@redhat.com>
477         * genattrtab.c (write_eligible_delay): Allow candidate_insn to
478         be a label.
479         * config/h8300/h8300.h (DELAY_SLOT_LENGTH): New macro.
480         * config/h8300/h8300.c (h8300_reorg): New function.
481         (TARGET_MACHINE_DEPENDENT_REORG): Define.
482         * config/h8300/h8300.md (length): Subtract the length of the
483         delay slot from (pc) when checking the range of forward branches.
484         (delay_slot, can_delay): New attributes.
485         (define_delay): Add bra/s handling.
486         (movmd_internal, return_h8sx, *return_1): Set can_delay to no.
487         (jump): Add delayed-branch handling.
488         2003-06-17  Richard Sandiford  <rsandifo@redhat.com>
489         * expr.c (expand_strcpy): New function.
490         * builtins.c (expand_builtin_strcpy): Fall back on expand_strcpy.
491         (expand_builtin_stpcpy): Likewise.
492         * config/h8300/h8300-protos.h (h8sx_split_movmd): Remove.
493         (h8300_swap_into_er6, h8300_swap_out_of_er6): Declare.
494         * config/h8300/h8300.c (h8300_reg_class_from_letter): Tweak 'd'
495         handling to improve register allocation for -fno-omit-frame-pointer.
496         (h8sx_split_movmd): Delete, moving er6 handling into...
497         (h8300_swap_into_er6, h8300_swap_out_of_er6): ...these new functions.
498         * config/h8300/h8300.md (UNSPEC_STPCPY): New unspec constant.
499         (movmd): Add calls to copy_rtx.
500         (movmd_internal): In the second alternative, allow the initial and
501         final destination registers to be different .  Update the splitter
502         accordingly.  Call h8300_swap_into_er6 and h8300_swap_out_of_er6
503         instead of h8sx_split_movmd.
504         (stpcpy, movsd): New expanders.
505         (movsd_internal): New define_insn.
506         2003-06-13  Richard Sandiford  <rsandifo@redhat.com>
507         * config/h8300/h8300-protos.h (h8300_reg_class_from_letter): Declare.
508         (h8sx_emit_movmd, h8sx_split_movmd): Declare.
509         * config/h8300/h8300.h (reg_class): Add COUNTER_REGS, SOURCE_REGS
510         and DESTINATION_REGS.
511         (REG_CLASS_NAMES, REG_CLASS_CONTENTS): Update accordingly.
512         (REGNO_REG_CLASS): Map er4, er5 and er6 to the new classes.
513         (REG_CLASS_FROM_LETTER): Use h8300_reg_class_from_letter.
514         (h8300_move_ratio): Declare.
515         (MOVE_RATIO): Use it.
516         * config/h8300/h8300.c (h8300_move_ratio): New variable.
517         (h8300_init_once): Initialize it.
518         (h8300_reg_class_from_letter): New function.
519         (print_operand): Add an 'm' prefix for printing ".b", ".w" or ".l".
520         (h8sx_emit_movmd, h8sx_split_movmd): New functions.
521         * config/h8300/h8300.md (UNSPEC_MOVMD): New unspec constant.
522         (COUNTER_REG, SOURCE_REG, DESTINATION_REG): New register constants.
523         (movstrsi, movmd): New expanders.
524         (movmd_internal): New insn.
525         2003-06-06  Richard Sandiford  <rsandifo@redhat.com>
526         * config/h8300/h8300.h (EXTRA_MEMORY_CONSTRAINT): Define.
527         2003-06-04  Richard Sandiford  <rsandifo@redhat.com>
528         * config/h8300/elf.h (LINK_SPEC): Use -m h8300sxnelf for -msx -mn.
529         * config/h8300/h8300.c (asm_file_start): Use .h8300sxn likewise.
530         2003-06-03  Richard Sandiford  <rsandifo@redhat.com>
531         * config/h8300/h8300.c (nibble_operand): Fix warning.
532         * config/h8300/h8300.md (movstricthi): Set adjust_length to no.
533         (movsi_h8sx): Likewise here and the normal h8sx movhi pattern.
534         (movsf_h8300h): Disable for TARGET_H8300SX.
535         2003-06-03  Richard Sandiford  <rsandifo@redhat.com>
536         * config/h8300/h8300.h (PREDICATE_CODES): Add h8300_ldm_parallel,
537         h8300_stm_parallel and h8300_return_parallel.
538         * config/h8300/h8300.c (h8300_push_pop, h8300_stack_offset_p,
539         h8300_ldm_stm_regno, h8300_ldm_stm_parallel, h8300_ldm_parallel,
540         h8300_stm_parallel, h8300_return_parallel): New functions.
541         (h8300_expand_prologue): Don't enforce ldm/stm register alignment
542         if TARGET_H8300SX.  Use h8300_push_pop.
543         (h8300_expand_epilogue): Likewise.  Try to merge the return insn
544         and final pop when generating h8sx code.  Always emit some form
545         of return insn.
546         * config/h8300/h8300.md: Don't enforce register alignment in
547         stm peepholes if TARGET_H8300SX.
548         (ldm_h8300s, stm_h8300s, return_h8sx): New patterns.
549         (ldm_h8300s_[234], stm_h8300_[234]): Disable.
550         (epilogue): Expect h8300_expand_epilogue to emit a return insn.
551         2003-06-03  Richard Sandiford  <rsandifo@redhat.com>
552         * config/h8300/t-h8300 (MULTILIB_OPTIONS): Add a -msx multilib.
553         (MULTILIB_DIRNAMES): Add a directory for it.
554         (MULTILIB_MATCHES): Delete.
555         2003-05-28  Richard Sandiford  <rsandifo@redhat.com>
556         * final.c (walk_alter_subreg): Handle addresses with subregs
557         inside a ZERO_EXTEND or AND.
558         * config/h8300/h8300-protos.h (h8300_get_index): Declare.
559         * config/h8300/h8300.h (INDEX_REG_CLASS): Set to GENERAL_REGS
560         if TARGET_H8300SX.
561         (GO_IF_LEGITIMATE_ADDRESS): Use h8300_get_index.
562         * config/h8300/h8300.c (print_operand_address): Handle @(dd,RnL.b),
563         @(dd,Rn.w) and @(dd,ERn.L).
564         (h8300_displacement_size): Take the whole address as argument.
565         (h8300_classify_operand, h8300_short_move_mem_p): Adjust accordingly.
566         2003-05-28  Richard Sandiford  <rsandifo@redhat.com>
567         * config/mips/mips-protos.h (h8300_operands_match_p): Declare.
568         (h8sx_mergeable_memrefs_p): Declare.
569         * config/h8300/h8300.h (HAVE_POST_DECREMENT): Define to TARGET_H8300SX.
570         (HAVE_PRE_INCREMENT): Likewise.
571         (GO_IF_LEGITIMATE_ADDRESS): Accept pre/post increment/decrement
572         addresses for TARGET_H8300SX,
573         * config/h8300/h8300.c (print_operand_address): Deal with PRE_INC
574         and POST_DEC.
575         (movb_length_table, movl_length_table): New tables.
576         (movw_length_table): Define to movb_length_table.
577         (h8300_displacement_size): New, split out from...
578         (h8300_classify_address): ...here.  Handle pre/post inc/dec.
579         (h8300_short_immediate_length): Allow H8OP_MEM_COMPLEX operands.
580         (h8300_insn_length_from_table): Add cases for movb, movw and movl.
581         (h8sx_mergeable_memrefs_p, h8300_operands_match_p): New functions.
582         (output_plussi): Use add.l #xx:3,Rn and sub.l #xx:3,Rn for h8sx.
583         (compute_plussi_length, compute_plussi_cc): Update accordingly.
584         (h8sx_unary_shift_operator): Get the mode from the operator.
585         (binary_shift_operator): Likewise.
586         * config/h8300/h8300.md: If a peephole2 applies gen_lowpart to
587         a memory reference, check whether the reference is offsettable.
588         (length_table): Add movb, movw and movl.
589         (movqi): Add new h8sx pattern.  Don't force one operand to be a
590         register when generating h8sx code.
591         (movhi, movsi, movsf): Likewise.
592         (movstrictqi): Use the length_table attribute.
593         (movstricthi): Likewise.  Add h8sx alternative for mov.w #xx:3,Rn.
594         (addqi3): Split into a define_expand and define_insn.  Don't accept
595         memory operands in the expander.  Use h8300_operands_match_p to
596         check for matching operands in the define_insn.
597         (subqi3, negqi2, one_cmplqi2): Likewise.
598         (add[hs]i3): Don't accept memory operands in the expander.  Likewise
599         in any patterns that are unused in h8sx code.  In the h8sx patterns,
600         use h8300_operands_match_p to check whether operands match.
601         (sub[hs]i3, and[hi]3, ior[hs]i3, xor[hs]i3, neg[hsi]3,
602         one_cmpl[hs]i3): Likewise.
603         (andqi3, iorqi3, xorqi3): Likewise.  Don't call fix_bit_operand
604         in the expander.
605         2003-05-23  Richard Sandiford  <rsandifo@redhat.com>
606         * config/h8300/h8300-protos.h (expand_a_shift): Return a bool.
607         (h8300_insn_length_from_table): Add a second parameter.
608         (output_h8sx_shift): Declare.
609         * config/h8300/h8300.h (OK_FOR_W, OK_FOR_Y): New macros.
610         (EXTRA_CONSTRAINT): Replace with...
611         (EXTRA_CONSTRAINT_STR): ...this.  Use OK_FOR_W and OK_FOR_Y.
612         (CONSTRAINT_LEN): Define, returning 2 for 'W' and 'Y'.
613         (PREDICATE_CODES): Add entries for h8sx_unary_shift_operator
614         and h8sx_binary_shift_operator.
615         * config/h8300/h8300.c (two_insn_adds_subs_operand): Return false
616         for TARGET_H8300SX.
617         (bit_operand): Replace use of EXTRA_CONSTRAINT with OK_FOR_U.
618         (bit_memory_operand, fix_bit_operand): Likewise.
619         (h8300_length_table_for_insn): Remove.
620         (h8300_classify_operand): Fix check for 16-bit operands in 32-bit
621         instructions.
622         (h8300_short_immediate_length, h8300_binary_length): New functions.
623         (h8300_insn_length_from_table): Add an opcodes parameter.  Rework.
624         (output_plussi): Use sub to add negative constants.
625         (compute_plussi_length): Adjust accordingly.
626         (h8sx_single_shift_type): New enum.
627         (h8sx_single_shift, h8sx_unary_shift_operator,
628         h8sx_binary_shift_operator, output_h8sx_shift): New functions.
629         (expand_a_shift, expand_a_rotate): Emit nothing if the shift is a
630         single h8sx instruction.  Return false in this case.
631         * config/h8300/h8300.md (length_table): Add short_immediate.
632         (length): Pass the operand array to h8300_insn_length_from_table.
633         (adjust_length): Assume "no" for insns with a length_table attribute.
634         (*cmphi_h8300hs, cmpsi): Add alternatives for #xx:3.
635         (*addhi3_h8300hs): Don't use for h8sx.
636         (*addhi3_h8sx): New pattern, with alternatives for add.w #xx:3
637         and sub.w #xx:3.
638         (ashl[qhs]i3, lshr[qhs]i3, ashr[qhs]i3, rotl[qhs]i3): Change operand
639         1's predicate to nonimmediate_operand.  Only skip default expansion
640         if expand_a_shift or expand_a_rotate returns true.  Add new patterns
641         for single h8sx shift instructions.
642         2003-05-22  Alexandre Oliva  <aoliva@redhat.com>
643         * config/h8300/h8300.c (nibble_operand): Split out of...
644         (reg_or_nibble_operand): ... this.
645         * config/h8300/h8300.h (PREDICATE_CODES): Added nibble_operand.
646         * config/h8300/h8300.md: (mulqihi3, mulhisi3, umulqihi3,
647         umulhisi3): Introduce expand, and introduce separate insns for
648         sign- or zero-extended REG and already-extended CONST_INT.
649         2003-05-20  Richard Sandiford  <rsandifo@redhat.com>
650         * config/h8300/h8300.c (h8300_unary_length): Fix miscounting.
651         * config/h8300/h8300.md (subqi3): Generalize for h8sx.
652         (subhi3): Likewise.  Don't accept immediates for operand 1.
653         Remove the early clobber from second alternative of the h8300s pattern.
654         (subsi3): Generalize for h8sx.  Force operand 2 into a register
655         on plain h8300 targets.
656         (subsi3_h8300): Use h8300_dst_operand for consistency with expander.
657         (subsi3_h8300h): Generalize for h8sx.
658         (one_cmplqi2, one_cmplhi2, one_cmplsi2): Likewise.
659         2003-05-19  Alexandre Oliva  <aoliva@redhat.com>
660         * config/h8300/h8300.c (reg_or_nibble_operand): New.
661         * config/h8300/h8300.h (PREDICATE_CODES): Adjust.
662         (TARGET_H8300SXMUL): New.
663         (CONST_OK_FOR_P): New.
664         (CONST_OK_FOR_LETTER_P): Adjust.
665         * config/h8300/h8300.md (mulqihi3, mulhisi3, umulqihi3,
666         umulhisi3): Accept 4-bit immediate on H8SX.
667         (mulhi3, mulsi3, smulsi3_highpart, umulsi3_highpart): New.
668         (udivsi3, divhi3, udivsi3, divsi3): New.
669         2003-05-19  Richard Sandiford  <rsandifo@redhat.com>
670         * config/h8300/h8300-protos.h (h8300_insn_length_from_table): Declare.
671         * config/h8300/h8300.h (OK_FOR_Q): New macro.
672         (EXTRA_CONSTRAINT): Use it to check the 'Q' constraint.
673         (PREDICATE_CODES): Add h8300_src_operand and h8300_dst_operand.
674         Add ADDRESSOF to the bit_operand entry.
675         * config/h8300/h8300.c (h8300_dst_operand): New predicate.
676         (h8300_src_operand): Likewise.
677         (bit_operand): Check nonimmediate_operand rather than general_operand.
678         Accept any nonimmediate_operand in h8sx code.
679         (h8300_and_costs): Initialize operands[1].
680         (h8300_rtx_costs) <AND>: Return false if the operands aren't valid.
681         (h8300_operand_class): New enum.
682         (h8300_length_table): New typedef.
683         (addb_length_table, addw_length_table, addl_length_table,
684         logicl_length_table): New tables.
685         (logicb_length_table, logicw_length_table): New macros.
686         (h8300_classify_operand, h8300_length_from_table,
687         h8300_length_table_for_insn, h8300_unary_length,
688         h8300_insn_length_from_table): New functions.
689         (output_plussi): Only use adds and subs for register destinations.
690         Disable redundant clause.
691         (compute_plussi_cc): Likewise.
692         (compute_plussi_length): Likewise.  Use h8300_length_from_table
693         to work out the length of an insn.
694         (output_logical_op): Only use narrower immediate instructions
695         if the destination is a register.
696         (compute_logical_op_cc): Likewise.
697         (compute_logical_op_length): Likewise.  Use h8300_length_from_table.
698         (h8300_adjust_insn_length): Tighten check for reg<->mem moves.
699         * config/h8300/h8300.md (length_table): New attribute.
700         (length): When an instruction has a length_table attribute, use
701         h8300_insn_length_from_table to calculate its default length.
702         (cmpqi): Use h8300_dst_operand for the first operand and
703         h8300_src_operand for the second.
704         (cmphi, *cmphi_h8300hs, cmpsi, negqi2, neghi2, neghi2_h8300h, negsi2,
705         negsi2_h8300h, addqi3, addhi3, *addhi3_h8300, *addhi3_h8300hs, addsi3,
706         addsi_h8300, addsi_h8300h, andhi3, andsi3, iorhi3,
707         iorsi3, xorhi3, xorsi3): Likewise.
708         (andqi3): Use h8300_src_operand for operand 2.  Adjust the condition
709         so that it allows any combination of operands for TARGET_H8300SX.
710         (iorqi3, xorqi3): Likewise.
711         (cmpqi): Use the length_table attribute.
712         (*cmphi_h8300hs, cmpsi, addqi, *addhi3_h8300hs, andqi3, iorqi3,
713         xorqi3, negqi2, neghi2_h8300h, negsi2_h8300h): Likewise.
714         (cmpqi): Add 'Q' constraint.
715         (*cmphi_h8300hs, cmpsi, addqi, *addhi3_h8300hs, addsi_h8300h, andqi3,
716         iorqi3, xorqi3, negqi2, neghi2_h8300h, negsi2_h8300h): Likewise.
717         2003-05-14  Richard Sandiford  <rsandifo@redhat.com>
718         * config/h8300/h8300.h (MASK_H8300SX): New macro.
719         (TARGET_H8300S): True for both -ms and -msx.
720         (TARGET_H8300SX): New macro.
721         (TARGET_SWITCHES): Add entries for -msx and -mno-sx.
722         * config/h8300/h8300.c (asm_file_start): Write .h8300sx for -msx.
723         * config/h8300/elf.h (LINK_SPEC): Use -m h8300sxelf for -msx.
724         * config/h8300/t-h8300 (MULTILIB_MATCHES): Use -ms multilibs for -msx.
725         [Temporary change.]
726         2003-02-28  Alexandre Oliva  <aoliva@redhat.com>
727         * config/h8300/h8300.h (SIZE_TYPE, PTRDIFF_TYPE): Use short with
728         16-bit pointers and 32-bit ints.
729         * config/h8300/h8300.h (LEGITIMATE_CONSTANT_P): Accept
730         CONST_DOUBLE with mode no wider than SImode.
731         * config/h8300/h8300.md (extendqisi2_h8300): Add constraints for
732         output operand.
733         2003-02-27  Alexandre Oliva  <aoliva@redhat.com>
734         * config/h8300/h8300.c (general_operand_src): Match CONSTANT_P_RTX
735         or SUBREG thereof.
736         * config/h8300/h8300.h (PREDICATE_CODES): Adjust.
737         2003-02-22  Alexandre Oliva  <aoliva@redhat.com>
738         * config/h8300/h8300.c (dosize): Truncate sign * size to Pmode.
739
740 2004-05-28  Aaron W. LaFramboise <aaronraolete36@aaronwl.com>
741
742         * config.gcc (i[34567]86-*-mingw32*): Enable threads by default.
743
744 2004-07-07  Per Bothner  <per@bothner.com>
745
746         * flow.c (attempt_auto_inc):  Remove now-redundant PUT_CODE.
747
748 2004-07-07  Mike Stump  <mrs@apple.com>
749
750         * darwin.h (ASM_OUTPUT_LABELREF): Fix -fno-leading-underscore.
751         * darwin.c (machopic_non_lazy_ptr_name, machopic_stub_name)
752         (machopic_finish): Likewise.
753
754 2004-07-07  Richard Henderson  <rth@redhat.com>
755
756         * tree-ssa-dom.c (simplify_switch_and_lookup_avail_expr): Look
757         through any value-preserving cast.
758
759 2004-07-07  Alexandre Oliva  <aoliva@redhat.com>
760
761         * function.c (assign_parm_find_data_types): Call
762         FUNCTION_ARG_PASS_BY_REFERENCE only if it's defined.
763
764 2004-07-07  Steven Bosscher  <stevenb@suse.de>
765
766         * tree-cfg.c (group_case_labels): Remove case labels that have
767         the same target as the default case.
768
769 2004-07-07  Steven Bosscher  <stevenb@suse.de>
770
771         * tree-inline.c (optimize_inline_calls): Set DECL_INLINED_FNS
772         regardless of DECL_LANG_SPECIFIC being present or not.
773         * tree.h (DECL_NUM_STMTS): Purge.
774
775 2004-07-07  Andrew Pinski  <apinski@apple.com>
776
777         * configure: Regenerate with the right autoconf.
778
779 2004-07-07  David Edelsohn  <edelsohn@gnu.org>
780
781         * ifcvt.c (total_bb_rtx_cost): New function.
782         (find_if_case_1): Compare rtx_cost of basic block to cost of
783         BRANCH_COST insns.
784         (find_if_case_2): Same.
785
786 2004-07-07  Eric Botcazou  <ebotcazou@libertysurf.fr>
787
788         PR target/10567
789         * config/sparc/sparc.c (load_pic_register): Honor flag_delayed_branch.
790         (output_return): Likewise.
791         (output_sibcall): Abort if !flag_delayed_branch.
792         (sparc_function_ok_for_sibcall): Return 0 if !flag_delayed_branch.
793         (emit_and_preserve): New function.
794         (sparc_output_mi_thunk): Use it.  Honor flag_delayed_branch.  Emit an
795         indirect jump to the thunked-to function if !flag_delayed_branch.
796         * config/sparc/sparc.md (delayed_branch): New attribute.
797         (load_pcrel_sym): Honor flag_delayed_branch.  Use above
798         attribute to compute the length of the insn.
799         (goto_handler_and_restore): Likewise.
800
801 2004-07-07  Andrew Pinski  <apinski@apple.com>
802
803         PR tree-optimization/15777
804         * fold-const.c (fold_single_bit_test): Fold the x^1 expression.
805
806         * expr.c (expand_expr_real_1): Fix formating.
807         BUFFER_REF and IN_EXPR are dead.
808         * fold-const.c (non_lvalue): BUFFER_REF is dead.
809         * tree-inline.c (estimate_num_insns_1): Likewise.
810         * tree-pretty-print.c (dump_generic_node): BUFFER_REF,
811         IN_EXPR, SET_LE_EXPR, and CARD_EXPR are dead.
812         * tree.def (BUFFER_REF, IN_EXPR, SET_LE_EXPR, CARD_EXPR): Kill.
813
814 2004-07-07  H.J. Lu  <hongjiu.lu@intel.com>
815
816         * collect2.c (dump_file): Don't call cplus_demangle if
817         HAVE_LD_DEMANGLE is defined.
818         (main): Pass "--demangle" to ld if no_demangle is not 0 and
819         HAVE_LD_DEMANGLE is defined. Don't set current_demangling_style
820         if HAVE_LD_DEMANGLE is defined.
821
822         * configure.ac (--with-demangler-in-ld): Added
823         (HAVE_LD_DEMANGLE): Define if ld supports --demangle when
824         --with-demangler-in-ld is used.
825         * config.in: Regenerated.
826         * configure: Likewise.
827
828 2004-07-07  Roger Sayle  <roger@eyesopen.com>
829
830         * config/rs6000/rs6000.c (struct processor_costs): Add new fields
831         for simple floating point operations "fp", double precision
832         multiplication "dmul", and single and double precision division
833         "sdiv" and "ddiv".  Update all CPU variant tables as appropriate.
834         (ppc630_cost): New table split from ppc620_cost, to distinguish
835         differences in floating point latencies.
836         (rs6000_override_options): Use ppc630_cost for PROCESSOR_PPC630.
837         (rs6000_rtx_costs): Add support for single and double precision
838         floating point addition, subtraction, multiplication, division,
839         fused-multiply-add, fused-multiply-sub, negation, absolute value
840         and negative absolute value.  Tweak MEM case to use prefered idiom.
841
842 2004-07-07  Richard Henderson  <rth@redhat.com>
843
844         * tree-flow-inline.h (may_propagate_copy): Move...
845         * tree-ssa-copy.c (may_propagate_copy): ... here.  Fail if we
846         attempt to copy between types requiring conversion.
847         * tree-flow.h (may_propagate_copy): Update decl.
848         * tree-ssa-dom.c (cprop_operand): Tidy redundant tests.
849
850 2004-07-07  Jakub Jelinek  <jakub@redhat.com>
851
852         * config/i386/i386.c (override_options): Don't set x86_prefetch_sse
853         from -mtune= option.
854
855 2004-07-07  Alexandre Oliva  <aoliva@redhat.com>
856
857         * builtins.c: Rename movstr*, except for movstrict*, to
858         movmem* and clrstr* to clrmem*.
859         * expr.c: Likewise.
860         * expr.h: Likewise.
861         * genopinit.c: Likewise.
862         * integrate.c: Likewise.
863         * local-alloc.c: Likewise.
864         * optabs.c: Likewise.
865         * optabs.h: Likewise.
866         * config/alpha/alpha.h: Likewise.
867         * config/alpha/alpha.md: Likewise.
868         * config/arm/arm-protos.h: Likewise.
869         * config/arm/arm.c: Likewise.
870         * config/arm/arm.md: Likewise.
871         * config/avr/avr.md: Likewise.
872         * config/c4x/c4x.c: Likewise.
873         * config/c4x/c4x.md: Likewise.
874         * config/frv/frv.md: Likewise.
875         * config/i386/i386-protos.h: Likewise.
876         * config/i386/i386.c: Likewise.
877         * config/i386/i386.h: Likewise.
878         * config/i386/i386.md: Likewise.
879         * config/i860/i860.c: Likewise.
880         * config/i860/i860.md: Likewise.
881         * config/ip2k/ip2k.md: Likewise.
882         * config/ip2k/libgcc.S: Likewise.
883         * config/ip2k/t-ip2k: Likewise.
884         * config/m32r/m32r.c: Likewise.
885         * config/m32r/m32r.md: Likewise.
886         * config/mcore/mcore.md: Likewise.
887         * config/mips/mips.c: Likewise.
888         * config/mips/mips.md: Likewise.
889         * config/ns32k/ns32k.c: Likewise.
890         * config/ns32k/ns32k.h: Likewise.
891         * config/ns32k/ns32k.md: Likewise.
892         * config/pa/pa.c: Likewise.
893         * config/pa/pa.md: Likewise.
894         * config/pdp11/pdp11.h: Likewise.
895         * config/pdp11/pdp11.md: Likewise.
896         * config/rs6000/rs6000.c: Likewise.
897         * config/rs6000/rs6000.md: Likewise.
898         * config/s390/s390-protos.h: Likewise.
899         * config/s390/s390.c: Likewise.
900         * config/s390/s390.md: Likewise.
901         * config/sh/lib1funcs.asm: Likewise.
902         * config/sh/sh.c: Likewise.
903         * config/sh/sh.md: Likewise.
904         * config/sh/t-sh: Likewise.
905         * config/sparc/sparc.h: Likewise.
906         * config/vax/vax.md: Likewise.
907         * config/xtensa/xtensa.c: Likewise.
908         * config/xtensa/xtensa.md: Likewise.
909         * doc/invoke.texi: Likewise.
910         * doc/md.texi: Likewise.
911         * doc/rtl.texi: Likewise.
912
913 2004-07-07  Richard Sandiford  <rsandifo@redhat.com>
914
915         PR target/16407
916         * config/mips/mips-protos.h (mips_declare_common_object): Declare.
917         * config/mips/mips.c (mips_declare_common_object): New function,
918         mostly split out from...
919         (mips_output_aligned_decl_common): ...here.
920         * config/mips/mips.h (ASM_OUTPUT_LOCAL): Remove in favor of...
921         (ASM_OUTPUT_ALIGNED_LOCAL): ...this new definition.
922         * config/mips/iris6.h (ASM_OUTPUT_ALIGNED_LOCAL): Undefine this
923         rather than ASM_OUTPUT_LOCAL.  Call mips_declare_common_object.
924
925 2004-07-07  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
926
927         PR c/16392
928         * function.c (assign_parms): Fix typo from previous change.
929
930 2004-07-07  Jason Merrill  <jason@redhat.com>
931
932         PR c++/15815
933         * doc/extend.texi (C++ Interface): Correct information and
934         discourage use.
935
936 2004-07-07  Vladimir Makarov  <vmakarov@redhat.com>
937
938         PR target/16130
939         PR target/16142
940         PR target/16143
941         * config/ia64/ia64.c (ia64_dfa_new_cycle): Reset DFA state for asm
942         insn.
943
944 2004-07-06  Kazuhiro Inaoka  <inaoka.kazuhiro@renesas.com>
945
946         PR target/1679.
947         * config/m32r/m32r.c (m32r_function_symbol): New function:
948         Generate a symbol name RTX with the correct m32r specific flags
949         set.
950         (block_move_call): Use new function to generate correct symbol.
951         * config/m32r/m32r-protos.h: Add prototype for new funcion.
952         * config/m32r/m32r.h (INITIALIZE_TRAMPOLINE): Use the new
953         function.
954
955 2004-07-07  Nathan Sidwell  <nathan@codesourcery.com>
956
957         * tree.h (TYPE_BINFO_OFFSET, TYPE_BINFO_VTABLE,
958         TYPE_BINFO_VIRTUALS, TYPE_BINFO_BASETYPES,
959         TYPE_BINFO_BASETYPE): Remove.
960         (BINFO_BASETYPES, BINFO_N_BASETYPES, BINFO_BASETYPE): Rename
961         to ...
962         (BINFO_BASE_BINFOS, BINFO_N_BASE_BINFOS, BINFO_BASE_BINFO): ...
963         here.
964         (BINFO_BASEACCESSES, BINFO_BASEACCESS): Rename to ...
965         (BINFO_BASE_ACCESSES, BINFO_BASE_ACCESS): ... here.
966         (BINFO_INHERITANCE_CHAIN): Redocument as it is actually used.
967         (struct tree_binfo): Rename base_types to base_binfos.
968         * alias.c (record_component_aliases): Adjust BINFO macros.
969         * dbxout.c (dbxout_type): Likewise.
970         * dwarf2out.c (gen_member_die): Likewise.
971         * sdbout.c (sdbout_one_type): Likewise.
972         * tree-dump.c (deque_and_dump): Likewise.
973         * config/i386/i386.c (classify_argument,
974         contains_128bit_aligned_vector_p): Likewise.
975
976 2004-07-07  Nick Clifton  <nickc@redhat.com>
977
978         * config/fr30/fr30.c (fr30_setup_incoming_varargs): Change
979         arguments to match TARGET_SETUP_INCOMING_VARARGS prototype.
980
981 2004-07-07  Nathan Sidwell  <nathan@codesourcery.com>
982
983         * vec.h: Fix the example use.
984
985 2004-07-06  Richard Henderson  <rth@redhat.com>
986
987         * langhooks-def.h (LANG_HOOKS_GIMPLE_BEFORE_INLINING): Remove.
988         * langhooks.h (struct lang_hooks): Remove gimple_before_inlining.
989         * tree-inline.c (copy_body_r, setup_one_parameter,
990         initialize_inlined_parameters, expand_call_inline,
991         declare_inline_vars): Don't check it.
992         (expand_calls_inline): Remove old version, rename new version
993         from gimple_expand_calls_inline.
994         * tree-optimize.c (execute_gimple): Remove.
995         (pass_gimple): Don't run anything.
996
997 2004-07-06  Joseph S. Myers  <jsm@polyomino.org.uk>
998
999         * doc/sourcebuild.texi: Use semicolons instead of commas in
1000         section title.
1001
1002 2004-07-06  Richard Henderson  <rth@redhat.com>
1003
1004         * tree-sra.c (struct sra_walk_fns): Revert 2004-07-05 change.
1005         (sra_walk_modify_expr, scan_init): Likewise.
1006         (generate_element_zero): Check visited before scanning children.
1007         (generate_element_init): Set visited on error.
1008         (scalarize_init): Handle generate_element_init failure similar
1009         to use_block_copy.
1010
1011 2004-07-06  Joseph S. Myers  <jsm@polyomino.org.uk>
1012
1013         * toplev.h (NO_FRONT_END_DIAG, ATTRIBUTE_GCC_FE_DIAG): Define.
1014         (warning, error, pedwarn, sorry): Use ATTRIBUTE_GCC_FE_DIAG.
1015
1016 2004-07-06  Richard Henderson  <rth@redhat.com>
1017
1018         * config/i386/i386.c (legitimize_pic_address): Make static.
1019         (legitimize_address): Handle CONST with TLS operand.
1020         (ix86_expand_move): Don't call legitimize_pic_address directly.
1021         * config/i386/i386-protos.h (legitimize_pic_address): Remove.
1022
1023 2004-07-06  Roger Sayle  <roger@eyesopen.com>
1024
1025         * ifcvt.c (struct noce_if_info): Add a Boolean b_unconditional field.
1026         (noce_try_sign_mask): Tweak rtx_cost check if t is evaluated anyway.
1027         (noce_process_if_block): Initialize if_info.b_unconditional if insn_b
1028         is currently executed unconditionally, i.e. not in "else_bb".
1029
1030 2004-07-06  Steven Bosscher  <stevenb@suse.de>
1031
1032         * config/alpha/alpha.c (alpha_use_dfa_pipeline_interface): Remove.
1033         (TARGET_SCHED_USE_DFA_PIPELINE_INTERFACE): Define to hook_int_void_1.
1034         * config/arm/arm.c (arm_use_dfa_pipeline_interface): Remove.
1035         (TARGET_SCHED_USE_DFA_PIPELINE_INTERFACE): Define to hook_int_void_1.
1036         * config/frv/frv.c (frv_use_dfa_pipeline_interface): Remove.
1037         (TARGET_SCHED_USE_DFA_PIPELINE_INTERFACE): Define to hook_int_void_1.
1038         * config/i386/i386.c (ia32_use_dfa_pipeline_interface): Remove.
1039         (TARGET_SCHED_USE_DFA_PIPELINE_INTERFACE): Define to hook_int_void_1.
1040         * config/ia64/ia64.c (ia64_use_dfa_pipeline_interface): Remove.
1041         (TARGET_SCHED_USE_DFA_PIPELINE_INTERFACE): Define to hook_int_void_1.
1042         * config/pa/pa.c (hhpa_use_dfa_pipeline_interface): Remove.
1043         (TARGET_SCHED_USE_DFA_PIPELINE_INTERFACE): Define to hook_int_void_1.
1044         * config/sparc/sparc.c (sparc_use_dfa_pipeline_interface): Remove.
1045         (TARGET_SCHED_USE_DFA_PIPELINE_INTERFACE): Define to hook_int_void_1.
1046         * config/v850/v850.c (v850_use_dfa_pipeline_interface): Remove.
1047         (TARGET_SCHED_USE_DFA_PIPELINE_INTERFACE): Define to hook_int_void_1.
1048
1049 2004-07-06  Daniel Berlin  <dberlin@dberlin.org>
1050
1051         * dojump.c (do_jump): REFERENCE_EXPR is dead.
1052         * expr.c (expand_expr_real_1): Ditto.
1053         * tree-inline.c (estimate_num_insns_1): Ditto.
1054         * tree-pretty-print.c (dump_generic_node): Ditto.
1055         (op_symbol): Ditto.
1056         * tree.def: Ditto.
1057
1058 2004-07-06  Daniel Berlin  <dberlin@dberlin.org>
1059
1060         * tree-ssa-pre.c (reference_node_pool): New pool.
1061         (find_or_generate_expression): Class 'r' is okay too.
1062         (create_value_expr_from): Ditto.
1063         (add_to_sets): LHS should not include vuses.
1064         (eliminate): Ditto.
1065         (compute_avail): Reverse ordering of tests.
1066         Valuize INDIRECT_REF as well.
1067
1068 2004-07-06  Richard Sandiford  <rsandifo@redhat.com>
1069
1070         PR rtl-optimization/16380
1071         * loop.c (check_dbra_loop): Sink comparison instructions if they
1072         do something other than set cc0.
1073
1074 2004-07-06  James E Wilson  <wilson@specifixinc.com>
1075
1076         * doc/interface.texi (longjmp and automatic variables): Delete
1077         paragraph recommending taking the address of a variable.
1078
1079 2004-07-06  Nathan Sidwell  <nathan@codesourcery.com>
1080
1081         * vec.h (VEC_embedded_alloc): Remove.
1082         (VEC_embedded_size, VEC_embedded_init): New.
1083         (VEC_alloc, VEC_reserve, VEC_safe_push, VEC_safe_insert): Add
1084         MEM_STAT_INFO.
1085         (VEC_truncate): New.
1086         (vec_p_reserve, vec_o_reserve): Add MEM_STAT_DECL.
1087         (vec_embedded_alloc): Remove.
1088         * vec.c (vec_p_reserve, vec_o_reserve): Add MEM_STAT_DECL, adjust.
1089         (vec_embedded_alloc): Remove.
1090
1091 2004-07-06  Mark Mitchell  <mark@codesourcery.com>
1092
1093         * Makefile.in (langhooks.o): Do not depend on gt-langhooks.h.
1094         (gt-langhooks.h): Remove.
1095
1096 2004-07-06  George Helffrich <george@gly.bris.ac.uk>
1097
1098         * xcoffout.h (DBX_FINISH_SYMBOL): Fix typo.
1099
1100 2004-07-06  Eric Botcazou  <ebotcazou@libertysurf.fr>
1101
1102         * config/sparc/sparc.c (get_pc_symbol): Rename into
1103         add_pc_to_pic_symbol.
1104         (get_pc_symbol_name): Rename into add_pc_to_pic_symbol_name.
1105         (load_pic_register): Account for previous changes.
1106         Use reg_names.  Don't create the label twice.
1107         * config/sparc/sparc.md (UNSPEC_GET_PC): Rename into
1108         UNSPEC_LOAD_PCREL_SYM.
1109         (get_pc): Rename into load_pcrel_sym.  Add predicate to
1110         operands.  Remove condition.
1111
1112 2004-07-06  Nathan Sidwell  <nathan@codesourcery.com>
1113
1114         * dbxout.c (dbxout_type): Don't test whether the binfo slot of
1115         RECORD, UNION & QUAL_UNION is actually a binfo.
1116
1117         * tree.h (TREE_VIA_VIRTUAL): Rename to ...
1118         (BINFO_VIRTUAL_P): ... here. Require TREE_BINFO only.
1119         (BINFO_MARKED, BINFO_FLAG_[16]): New binfo flags.
1120         * dbxout.c (dbxout_type): Use BINFO_VIRTUAL_P.
1121         * dwarf2out.c (add_data_member_location_attribute): Likewise.
1122         (gen_inheritance_die): Likewise.
1123         * tree-dump.c (deque_and_dump): Likewise.
1124         * doc/c-tree.texi (Binfos): Add under reconstruction note.
1125
1126 2004-07-06  Steven Bosscher  <stevenb@suse.de>
1127
1128         * config/mcore/mcore.c (TARGET_SCHED_USE_DFA_PIPELINE_INTERFACE):
1129         Define.
1130         * config/mcore/mcore.md: Model memory latency with a simple DFA
1131         pipeline description instead of a define_function_unit.
1132
1133 2004-07-05  Richard Kenner  <kenner@vlsi1.ultra.nyu.edu>
1134
1135         * langhooks-def.h (LANG_HOOKS_TREE_INLINING_VAR_MOD_TYPE_P): Extra arg.
1136         * langhooks.h (var_mod_type_p): Likewise.
1137         * c-decl.c (finish_decl): Add extra arg to variably_modified_type_p.
1138         * expr.c (count_type_elements): Properly handle return from
1139         array_type_nelts and properly test for overflow.
1140         * gimplify.c (gimplify_init_constructor): Properly handle return
1141         from array_type_nelts.
1142         (gimplify_addr_expr): Remove redundant clear of TREE_SIDE_EFFECTS.
1143         * integrate.c (copy_decl_for_inlining): Correct comments.
1144         * tree-inline.c (remap_decl): Update comments, remove dead code,
1145         and copy DECL_FIELD_OFFSET and DECL_QUALIFIER, if they exist.
1146         (remap_type): Only remap if variably modified by vars in function
1147         being inlined.
1148         (copy_body_r): Use compatible_type langhooks to see when can fold.
1149         (setup_one_parameter): Don't remap type.
1150         (inline_forbidden_p_1): Add arg to variably_modified_type_p.
1151         * tree.c (recompute_tree_invarant_for_addr_expr): Properly
1152         compute TREE_INVARIANT for decl case.
1153         (find_var_from_fn): New function.
1154         (variably_modified_type_p): Add arg and call new function.
1155         * tree.h (variably_modified_type_p): Add extra arg.
1156
1157 2004-07-05  Eric Botcazou  <ebotcazou@libertysurf.fr>
1158
1159         * config/sparc/sparc.md (nonlocal_goto): Remove disabled code.
1160         (goto_handler_and_restore_v9): Delete disabled insn.
1161         (goto_handler_and_restore_v9_sp64): Likewise.
1162
1163 2004-07-05  Roger Sayle  <roger@eyesopen.com>
1164
1165         * calls.c (load_register_parameters): Call expand_shift instead
1166         of expand_binop with ashl_optab (or other shift optab) directly.
1167         * expr.c (emit_group_load, emit_group_store): Likewise.
1168         * function.c (assign_parm_setup_block): Likewise.
1169         * stmt.c (shift_return_value): Likewise.
1170
1171 2004-07-05  Jakub Jelinek  <jakub@redhat.com>
1172
1173         * expr.c (expand_assignment): Disable the bitfield += optimizations.
1174
1175 2004-07-05  Joseph S. Myers  <jsm@polyomino.org.uk>
1176
1177         * doc/sourcebuild.texi: Revert previous patch.
1178
1179 2004-07-05  Joseph S. Myers  <jsm@polyomino.org.uk>
1180
1181         * c-decl.c, config/m32r/m32r.c, expr.c, optabs.c: Don't check
1182         TARGET_MEM_FUNCTIONS.
1183         * system.h: Poison TARGET_MEM_FUNCTIONS.
1184         * libfuncs.h (LTI_bcopy, LTI_bcmp, LTI_bzero, bcopy_libfunc,
1185         bcmp_libfunc, bzero_libfunc): Remove.
1186         * optabs.c (init_obtabs): Don't set bcopy_libfunc, bcmp_libfunc or
1187         bzero_libfunc.
1188         * doc/tm.texi (TARGET_MEM_FUNCTIONS): Remove.
1189         * doc/standards.texi: Don't mention calling BSD string functions.
1190         * doc/invoke.texi: Likewise.  Mention that memmove may be called.
1191         * config/vax/t-memfuncs: New.
1192         * config/memcmp.c, config/memcpy.c, config/memmove.c,
1193         config/memset.c: New.
1194         * config/pdp11/t-pdp11 (LIB2FUNCS_EXTRA): Use these files.
1195         * config.gcc (vax-*-bsd*, vax-*-sysv*, vax-*-ultrix*): Use
1196         vax/t-memfuncs.
1197         * config/alpha/alpha.h, config/arc/arc.h, config/arm/arm.h,
1198         config/avr/avr.h, config/c4x/c4x.h, config/cris/aout.h,
1199         config/elfos.h, config/gnu.h, config/h8300/h8300.h,
1200         config/i386/gas.h, config/ia64/ia64.h, config/interix.h,
1201         config/ip2k/ip2k.h, config/lynx-ng.h, config/m32r/m32r.h,
1202         config/mcore/mcore.h, config/mips/mips.h, config/mmix/mmix.h,
1203         config/netbsd.h, config/openbsd.h, config/pa/pa.h,
1204         config/rs6000/rs6000.h, config/rtems.h, config/s390/s390.h,
1205         config/sh/sh.h, config/sparc/sparc.h, config/stormy16/stormy16.h,
1206         config/svr3.h: Don't define TARGET_MEM_FUNCTIONS.
1207
1208 2004-07-05  Richard Henderson  <rth@redhat.com>
1209
1210         * function.c (assign_parm_setup_reg): Properly rename variables in
1211         FUNCTION_ARG_CALLEE_COPIES section.
1212
1213 2004-07-05  Zack Weinberg  <zack@codesourcery.com>
1214
1215         * tree-mudflap.c: Include cgraph.h.
1216         (mf_init_extern_trees): Rename to mudflap_init.  Export.
1217         Rewrite to create synthetic declarations instead of looking
1218         up declarations from mf-runtime.h.
1219         (mf_make_builtin, mf_make_cache_struct_type): New functions.
1220         (mf_cache_shift_decl, mf_cache_mask_decl, mf_unregister_fndecl):
1221         Correct commentary.
1222         (execute_mudflap_function_decls, mudflap_register_call):
1223         Don't call mf_init_extern_trees.
1224         (mudflap_finish_file): Use cgraph_build_static_cdtor.
1225
1226         * tree-mudflap.h: Update prototypes.
1227         * c-mudflap.c: Delete file.
1228         * c-common.c: Include tree-mudflap.h.
1229         (c_common_nodes_and_builtins): Call mudflap_init if appropriate.
1230         * Makefile.in: Remove all references to c-mudflap.o.
1231         Update dependencies.
1232
1233 2004-07-05  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
1234
1235         * pa.md (prefetch, prefetch_32, prefetch_64): Only allow short
1236         displacements with the spatial-locality cache-control completer.
1237
1238 2004-07-05  Zack Weinberg  <zack@codesourcery.com>
1239
1240         * langhooks.c: Don't include gt-langhooks.h.
1241         (var_labelno): Delete.
1242         (lhd_set_decl_assembler_name): Do not append a distinguishing
1243         number to file-scope internal-linkage declarations for the first
1244         input file, even if they have DECL_CONTEXT set.  Use DECL_UID of
1245         the declaration itself (if at block scope), or its containing
1246         TRANSLATION_UNIT_DECL (if at file scope) for the distinguishing
1247         number.
1248
1249         * opts.c (cur_in_fname): New global.
1250         * opts.h: Declare it.
1251         * tree.c: Include opts.h.
1252         (make_node_stat): If creating a TRANSLATION_UNIT_DECL, give it
1253         DECL_UID equal to cur_in_fname.
1254         (copy_node_stat): Do not change DECL_UID when copying a
1255         TRANSLATION_UNIT_DECL.
1256         (build_common_tree_nodes): Adjust next_decl_uid to reserve the
1257         range 0 .. num_in_fnames-1 for TRANSLATION_UNIT_DECLs.
1258
1259         * c-decl.c (c_static_assembler_name): Delete.
1260         * c-tree.h (c_static_assembler_name): Delete prototype.
1261         * c-lang.c, objc/objc-lang.c: Don't override
1262         LANG_HOOKS_SET_DECL_ASSEMBLER_NAME.
1263
1264         * Makefile.in (tree.o): Update dependencies.
1265         (GTFILES): Remove langhooks.c.
1266
1267 2004-07-05  Roger Sayle  <roger@eyesopen.com>
1268
1269         * fold-const.c (fold) <TRUNC_MOD_EXPR>: Optimize unsigned modulus
1270         by a power of two into a bit-wise AND, i.e. "X % C" as "X & (C-1)".
1271         Normalize "X % C" as "X % -C" for signed modulus and negative C.
1272         Optimize "X % -Y" as "X % Y" for signed modulus.
1273         <EQ_EXPR>: Recursively call "fold" when transforming "(X % Y) == 0"
1274         into "((unsigned) X % Y) == 0".
1275
1276 2004-07-05  Joseph S. Myers  <jsm@polyomino.org.uk>
1277
1278         * sourcebuild.texi (Config Fragments): Use @comma{} in
1279         cross-reference to section title.
1280
1281 2004-07-05  Richard Kenner  <kenner@vlsi1.ultra.nyu.edu>
1282
1283         * tree.h (DECL_SEEN_IN_BIND_EXPR_P): New macro.
1284         * gimplify.c (gimple_add_tmp_var, gimplify_bind_expr): Use it.
1285         (gimplify_target_expr, gimplify_expr): Likewise.
1286         (copy_if_shared_r): No longer need special case for BIND_EXPR.
1287         (unshare_body, unvisit_body): Only look at nested if BODY_P is
1288         whole function.
1289         (gimplify_compound_lval): See if we can strip any useless conversion.
1290         (gimplify_modify_expr, gimplify_modify_expr_to_memcpy): Take size
1291         from RHS, not LHS.
1292         (gimplify_modify_expr_to_memset): Likewise.
1293         (gimplify_expr, case CONSTRUCTOR): Handle use as statement.
1294         * tree-inline.c (setup_one_parameter): Use DECL_SEEN_IN_BIND_EXPR_P.
1295         (declare_inline_vars): Likewise.
1296         (walk_type_fields): New function.
1297         (walk_tree): Use it.
1298         * tree-nested.c (create_tmp_var_for): Show seen in BIND_EXPR.
1299
1300         * tree-sra.c (struct sra_walk_fns): Init function now returns bool.
1301         (sra_walk_modify_expr): Allow init function to fail.
1302         (scan_init): Now returns bool.
1303         (generate_element_init): If can't understand INIT, return false.
1304         (scalarize_init): Return false if generate_element_init does.
1305
1306         * tree-pretty-print.c (dump_generic_node, case ARRAY_TYPE): Properly
1307         print bounds.
1308
1309         * expr.c (expand_expr_real_1, case SWITCH_EXPR): Don't check against
1310         bounds if bounds aren't constant.
1311
1312         * tree-cfg.c (verify_expr): Use CHECK_OP in binary case.
1313
1314         * function.c, langhooks-def.h, langhooks.h: Move max_size hook
1315         to type hooks; remove bogus PARAMS.
1316
1317 2004-07-05  Nathan Sidwell  <nathan@codesourcery.com>
1318
1319         * c-tree.h (TYPE_ACTUAL_ARG_TYPES): Use TYPE_LANG_SLOT_1.
1320         * dwarf2out.c (add_data_member_location_attribute): Check for
1321         TREE_BINFO.
1322         * tree.c (tree_node_kinds): Add "binfos".
1323         (binfo_lang_slots): New.
1324         (make_node_stat): Add TREE_BINFO.
1325         (make_tree_binfo_stat): New.
1326         (tree_node_structure): Add TREE_BINFO.
1327         * tree.def (TREE_BINFO): New.
1328         * tree.h (REC_OR_UNION_CHECK): Rename to ...
1329         (RECORD_OR_UNION_CHECK): ... here.
1330         (NOT_RECORD_OR_UNION_CHECK): New.
1331         (TRE_VIA_VIRTUAL): Allow TREE_LIST or TREE_BINFO.
1332         (TYPE_FIELDS, TYPE_METHODS, TYPE_VFIELD): Adjust for
1333         RECORD_OR_UNION_CHECK.
1334         (TYPE_BINFO): Use RECORD_OR_UNION_CHECK.
1335         (TYPE_LANG_SLOT_1): New.
1336         (BINFO_TYPE, BINFO_OFFSET, BINFO_VTABLE, BINFO_VIRTUALS,
1337         BINFO_BASETYPES, TYPE_BINFO_BASETYPES, BINFO_VPTR_FIELD,
1338         BINFO_BASEACCESSES, BINFO_INHERITANCE_CHAIN): Adjust.
1339         (BINFO_ELTS): Remove.
1340         (BINFO_LANG_SLOT): New.
1341         (struct tree_binfo): New.
1342         (binfo_lang_slots): Declare.
1343         (enum tree_node_structure_enum): Add TS_BINFO.
1344         (union tree_node): Add binfo.
1345         (make_tree_binfo_stat): Declare.
1346         (make_tree_binfo): New.
1347         (enum tree_node_kind): Add binfo_kind.
1348
1349         * objc/objc-act.c (start_class, objc_declare_protocols,
1350         start_protocols): Use TYPE_LANG_SLOT_1.
1351         * objc/objc-act.h (CLASS_BINFO_ELTS, PROTOCOL_BINFO_ELTS): Rename
1352         to ...
1353         (CLASS_LANG_SLOT_ELTS, PROTOCOL_LANG_SLOT_ELTS): ... here.
1354         (CLASS_IVARS, CLASS_RAW_IVARS, CLASS_STATIC_TEMPLATE,
1355         CLASS_CATEGORY_LIST, CLASS_PROTOCOL_LIST, CLASS_OWN_IVARS,
1356         PROTOCOL_LIST, PROTOCOL_FORWARD_DECL): Use TYPE_LANG_SLOT_1.
1357
1358 2004-07-05  Steven Bosscher  <stevenb@suse.de>
1359
1360         * rtl.h (struct rtx_def): Remove the integrated flag.
1361         Use the return_val flag for MEM_SCALAR_P.
1362         Reshuffle and update flags in CLEAR_RTX_FLAGS.
1363
1364 2004-07-05  Richard Sandiford  <rsandifo@redhat.com>
1365
1366         PR target/16357
1367         * config/mips/mips.c (mips_block_move_straight): Pass BLKmode memrefs
1368         to mips_expand_unaligned_load, mips_expand_unaligned_store, and
1369         move_by_pieces.
1370
1371 2004-07-05  Josef Zlomek  <zlomekj@suse.cz>
1372
1373         * var-tracking.c: Fix some comments.
1374         (frame_stack_adjust): New.
1375         (vt_stack_adjustments): Init stack_adjust of entry block to
1376         minus stack adjustment of function prologue.
1377         (adjust_stack_reference): Do not adjust if adjustment == 0.
1378         (compute_bb_dataflow): Use plus_constant instead of gen_rtx_PLUS.
1379         (emit_notes_in_bb): Likewise.
1380         (vt_add_function_parameters): Do not adjust locations of
1381         function arguments.
1382         (vt_initialize): Compute the stack adjustment of function
1383         prologue and offset the initial "location" of frame_base_decl
1384         from the stack pointer after prologue.
1385
1386 2004-07-04  Richard Henderson  <rth@redhat.com>
1387
1388         * function.c (struct assign_parm_data_all): New.
1389         (struct assign_parm_data_one): New.
1390         (assign_parms_initialize_all, assign_parms_augmented_arg_list,
1391         assign_parm_find_data_types, assign_parms_setup_varargs,
1392         assign_parm_find_entry_rtl, assign_parm_is_stack_parm,
1393         assign_parm_find_stack_rtl, assign_parm_adjust_entry_rtl,
1394         assign_parm_adjust_stack_rtl, assign_parm_setup_block_p,
1395         assign_parm_setup_block, assign_parm_setup_reg,
1396         assign_parm_setup_stack, assign_parms_unsplit_complex): Split from ...
1397         (assign_parms): ... here.
1398
1399 2004-07-04  Daniel Berlin  <dberlin@dberlin.org>
1400
1401         * tree-ssa-pre.c (bb_value_sets): phi_gen, tmp_gen, new_sets
1402         now are bitmap_set_t's.
1403         (bitmap_insert_into_set): No point in inserting the value if
1404         it's invariant.
1405         (bitmap_set_contains): New function.
1406         (bitmap_set_replace_value): Add comment on why we do it
1407         this way.
1408         (set_contains): Removed.
1409         (bitmap_set_subtract_from_value_set): New name of
1410         set_subtract now that it's arguments are two different
1411         types of sets.
1412         Update callers.
1413         (bitmap_find_leader): Change algorithm used.
1414         (find_or_generate_expression): Update use of functions for new
1415         bitmap sets.
1416         (create_expression_by_pieces): Ditto.
1417         (insert_aux): Ditto.
1418         (insert): Ditto.
1419         (add_to_sets): Ditto.
1420         (init_pre): Ditto.
1421         (execute_pre): Ditto.
1422         (compute_avail): Ditto.
1423         Also ignore virtual phis.
1424
1425 2004-07-04  Richard Sandiford  <rsandifo@redhat.com>
1426
1427         * combine.c (simplify_comparison): Fix comment typo.
1428
1429 2004-07-04  Eric Botcazou  <ebotcazou@libertysurf.fr>
1430
1431         * config/sparc/sparc.c (SIBCALL_SLOT_EMPTY_P): Rename
1432         into LEAF_SIBCALL_SLOT_RESERVED_P after negation.
1433         (eligible_for_sibcall_delay): Adjust use of SIBCALL_SLOT_EMPTY_P.
1434         (output_restore): Change parameter from 'insn' to 'pat'.
1435         (output_return): Adjust call to output_restore.
1436         (output_sibcall): Adjust use of SIBCALL_SLOT_EMPTY_P.
1437         Adjust call to output_restore.
1438
1439 2004-07-04  Neil Booth  <neil@duron.akihabara.co.uk>
1440
1441         * config/netbsd.h (NETBSD_OS_CPP_BUILTINS_COMMON): Define __unix__
1442         and assert system is bsd.
1443
1444 2004-07-04  Richard Sandiford  <rsandifo@redhat.com>
1445
1446         * config/mips/mips.h (MASK_DEBUG_C, TARGET_DEBUG_C_MODE): Delete.
1447         (TARGET_SWITCHES): Remove -mdebugc.
1448         * config/mips/mips.md (seq, sne, sgt, sge, slt, sle, sgtu, sgeu)
1449         (sltu, sleu): Remove TARGET_DEBUG_C_MODE handling.
1450         (seq_[sd]i, sne_[sd]i, sge_[sd]i, sle_[sd]i_reg, sgeu_[sd]i)
1451         (sle_[sd]i_reg): Delete.
1452
1453 2004-07-04  Steven Bosscher  <stevenb@suse.de>
1454
1455         * config/iq2000/iq2000.c (TARGET_SCHED_USE_DFA_PIPELINE_INTERFACE):
1456         Define.
1457         * config/iq2000/iq2000.md: Translate old pipeline description to an
1458         equivalent new one.
1459
1460 2004-07-04  Roger Sayle  <roger@eyesopen.com>
1461
1462         * tree-ssa-ccp.c (set_rhs): Change function to return a bool.
1463         Ensure the replacement rhs is valid gimple before performing
1464         the substitution.  Return false if these sanity checks fail.
1465         (fold_stmt): Only set changed to true, if set_rhs returns true.
1466         (execute_fold_all_builtins): Only call modify_stmt if set_rhs
1467         succeeds.
1468
1469 2004-07-04  Richard Henderson  <rth@redhat.com>
1470
1471         PR c/16348
1472         * c-typeck.c (c_finish_loop): Don't clear cond for cond_is_first loops.
1473
1474 2004-07-04  Mark Mitchell  <mark@codesourcery.com>
1475
1476         * configure.ac (ranlib_flags): New variable.
1477         * Makefile.in (RANLIB_FLAGS): New variable.
1478         (libbackend.a): Use it.
1479         * configure: Regenerated.
1480
1481 2004-07-04  Roger Sayle  <roger@eyesopen.com>
1482
1483         * ifcvt.c (noce_try_sign_mask): Call emit_store_flag to generate
1484         a "sign mask" instead of using ashr_optab directly.
1485
1486 2004-07-04  Neil Booth  <neil@duron.akihabara.co.uk>
1487
1488         * doc/cpp.texi: Don't document what we do for ill-formed expressions.
1489         * doc/cppopts.texi: Clarify processing of command-line defines.
1490
1491 2004-07-04  Gerald Pfeifer  <gerald@pfeifer.com>
1492
1493         * doc/contrib.texi (Contributors): Adjust link for GNU Classpath.
1494
1495 2004-07-04  Richard Henderson  <rth@redhat.com>
1496
1497         * rtl.def (ADDRESSOF): Remove.
1498         * alias.c (rtx_equal_for_memref_p): Don't handle addressof.
1499         (find_base_term, memrefs_conflict_p): Likewise.
1500         * cse.c (fixed_base_plus_p, find_best_addr: Likewise.
1501         (fold_rtx, cse_insn, set_live_p): Likewise.
1502         * dwarf2out.c (mem_loc_descriptor): Likewise.
1503         (add_location_or_const_value_attribute): Likewise.
1504         * emit-rtl.c (copy_insn_1): Likewise.
1505         * explow.c (memory_address): Likewise.
1506         * expmed.c (store_split_bit_field): Likewise.
1507         * expr.c (expand_expr_real_1): Likewise.
1508         * function.c (instantiate_decl
1509         (instantiate_virtual_regs_1, fix_lexical_addr): Likewise.
1510         * genrecog.c (preds, validate_pattern): Likewise.
1511         * integrate.c (copy_rtx_and_substitute): Likewise.
1512         * recog.c (general_operand, register_operand): Likewise.
1513         (memory_address_p): Likwise.
1514         * reload1.c (eliminate_regs, elimination_effects): Likewise.
1515         * rtl.c (copy_rtx): Likewise.
1516         * rtlanal.c (rtx_unstable_p, rtx_varies_p): Likewise.
1517         (rtx_addr_can_trap_p, nonzero_address_p, address_cost): Likewise.
1518         * rtlhooks.c (gen_lowpart_general): Likewise.
1519         * stmt.c (expand_asm_operands): Likewise.
1520         * web.c (entry_register, replace_ref, web_main): Likewise.
1521         * config/alpha/alpha.c (input_operand, alpha_legitimate_address_p,
1522         alpha_expand_block_move, alpha_expand_block_clear): Likewise.
1523         * config/arm/arm.c (thumb_rtx_costs): Likewise.
1524         * config/c4x/c4x.c (c4x_valid_operands): Likewise.
1525         * config/frv/frv.c (move_destination_operand, move_source_operand,
1526         condexec_dest_operand, condexec_source_operand,
1527         condexec_memory_operand): Likewise.
1528         * config/h8300/h8300.h (PREDICATE_CODES): Likewise.
1529         * config/ia64/ia64.c (general_xfmode_operand): Likewise.
1530         (destination_xfmode_operand): Likewise.
1531         * config/mips/mips.h (PREDICATE_CODES): Likewise.
1532         * config/mn10300/mn10300.c (mn10300_address_cost_1): Likewise.
1533         * config/s390/s390.c (general_s_operand): Likewise.
1534         * config/s390/s390.md (mov*): Likewise.
1535         * config/sparc/sparc.h (PREDICATE_CODES): Likewise.
1536
1537         * c-typeck.c (c_mark_addressable): Don't put_var_into_stack.
1538         * expr.c (expand_expr_real_1): Likewise.
1539         * stmt.c (expand_decl): Likewise.
1540         * config/c4x/c4x.c (c4x_expand_builtin): Likewise.
1541
1542         * function.c (struct fixup_replacement, struct insns_for_mem_entry,
1543         postponed_insns, put_var_into_stack, put_reg_into_stack,
1544         schedule_fixup_var_refs, fixup_var_refs, find_fixup_replacement,
1545         fixup_var_refs_insns, fixup_var_refs_insns_with_hash,
1546         fixup_var_refs_insn, fixup_var_refs_1, fixup_memory_subreg,
1547         walk_fixup_memory_subreg, fixup_stack_1, optimize_bit_field,
1548         gen_mem_addressof, flush_addressof, put_addressof_into_stack,
1549         purge_bitfield_addressof_replacements, purge_addressof_replacements,
1550         purge_addressof_1, insns_for_mem_hash, insns_for_mem_comp,
1551         struct insns_for_mem_walk_info, insns_for_mem_walk,
1552         compute_insns_for_mem, is_addressof, purge_addressof, setjmp_protect,
1553         setjmp_protect_args): Remove.
1554         (push_function_context_to): Don't handle var_refs_queue.
1555         (pop_function_context_from, free_after_compilation): Likewise.
1556         (instantiate_virtual_regs): Don't handle parm_reg_stack_loc.
1557         (assign_parms, allocate_struct_function): Likewise.
1558         (use_register_for_decl): New.
1559         (expand_function_end): Don't setjmp_protect.
1560         * function.h (struct emit_status): Update commentary.
1561         (struct function): Remove x_max_parm_reg, x_parm_reg_stack_loc.
1562         (max_parm_reg, parm_reg_stack_loc): Remove.
1563         * passes.c (DFI_addressof): Remove.
1564         (dump_file_info): Remove addressof.
1565         (rest_of_handle_addressof): Remove.
1566         (rest_of_compilation): Don't call it.
1567         * rtl.h (ADDRESSOF_REGNO, ADDRESSOF_DECL): Remove.
1568         * stmt.c (expand_decl): Use use_register_for_decl.
1569         * tree.h: Update decls.
1570         * web.c (mark_addressof): Remove.
1571         * doc/invoke.texi (-dF): Remove.
1572
1573 2004-07-03  Richard Henderson  <rth@redhat.com>
1574
1575         * config/ia64/ia64.c (spill_xfmode_operand): Use assign_stack_temp
1576         instead of gen_mem_addressof.
1577         * config/ia64/ia64.md (movxf): Use assign_stack_temp to handle
1578         TImode output register.
1579
1580 2004-07-03  Richard Henderson  <rth@redhat.com>
1581
1582         PR tree-optimization/16341
1583         * tree-sra.c (sra_walk_function): Increment to next stmt before
1584         processing the current stmt.
1585         (sra_insert_after): Always use BSI_SAME_STMT.
1586
1587 2004-07-03  Richard Henderson  <rth@redhat.com>
1588
1589         * tree-ssa-dom.c (simplify_rhs_and_lookup_avail_expr): Don't fold
1590         fp plus with minus.
1591
1592 2004-07-03  Joseph S. Myers  <jsm@polyomino.org.uk>
1593
1594         * tree.c (type_hash_eq): Allow TYPE_MIN_VALUE which compares equal
1595         with tree_int_cst_equal.
1596
1597 2004-07-03  Andreas Schwab  <schwab@suse.de>
1598
1599         * config/ia64/ia64.md: Define new attribute "empty".
1600         (prologue_use, nop_x, insn_group_barrier): Set it.
1601
1602         * config/ia64/ia64.c (ia64_reorg): When looking for trailing call
1603         skip over "empty" insns.
1604
1605 2004-07-03  Richard Kenner  <kenner@vlsi1.ultra.nyu.edu>
1606
1607         * tree-inline.c (initialize_inlined_parameters): Pass proper function
1608         context to gimplify_body.
1609         (walk_tree): Don't walk into types twice.
1610         (walk_tree, case POINTER_TYPE): Deal with mutually recursive pointers.
1611
1612         * tree-sra.c (generate_element_init): Remove any useless conversions.
1613
1614         * gimplify.c (gimplify_conversion): Remove stripping useless
1615         conversions from here.
1616         (gimplify_expr): Put it here, in place of call to STRIP_MAIN_TYPE_NOPS.
1617         (gimplify_modify_expr_to_memcpy, gimplify_variable_sized_compare):
1618         Unshare before substituting PLACEHOLDER_EXPR.
1619         (gimplify_modify_expr_to_memset): Likewise.
1620         Pass address of TO to memset, not TO itself.
1621         (gimplify_init_constructor): Make copy of OBJECT so we have it each
1622         time we make an expression (to match a PLACEHOLDER_EXPR).
1623
1624         * tree-ssa.c (tree_ssa_useless_type_conversion): Also look at
1625         VIEW_CONVERT_EXPR and NON_LVALUE_EXPR.
1626         * tree-ssa-ccp.c (fold_stmt): Call just STRIP_USELESS_TYPE_CONVERSION.
1627         * tree-ssa-dom.c (local_fold): Likewise.
1628
1629         * langhooks-def.h (LANG_HOOKS_TYPE_MAX_SIZE): New langhook.
1630         * langhooks.h (strct lang_hooks): New field type_max_size.
1631         * function.c (assign_temp): Call it.
1632
1633 2004-07-03  Steven Bosscher  <stevenb@suse.de>
1634
1635         * config/sh/sh.c (sh_use_dfa_interface): Add TARGET_SH1.
1636         * config/sh/sh.md: Convert the SH1 pipeline description to
1637         a DFA model.
1638
1639 2004-07-02  Zack Weinberg  <zack@codesourcery.com>
1640
1641         * c-decl.c (struct c_binding): Remove contour field; add
1642         depth, invisible, nested fields.
1643         (B_IN_SCOPE, B_IN_CURRENT_SCOPE, B_IN_FILE_SCOPE)
1644         (B_IN_EXTERNAL_SCOPE): New convenience macros.
1645         (bind): Add invisible and nested arguments. Initialize
1646         new fields of struct c_binding; adjust loop scanning for
1647         insertion point.
1648         (free_binding_and_advance): Clear structure with memset.
1649         (pop_scope): Adjust to match.  Set DECL_CONTEXT on everything
1650         in file scope, even if it's in external scope too.
1651         (pushdecl): Adjust to match.  Create invisible file-scope
1652         declarations for block-scope forward declarations of static functions.
1653         (pushtag, warn_if_shadowing, pushdecl_top_level, implicitly_declare)
1654         (undeclared_variable, lookup_label, declare_label, define_label)
1655         (lookup_tag, lookup_name, lookup_name_in_scope, builtin_function)
1656         (c_make_fname_decl, store_parm_decls_newstyle, identifier_global_value)
1657         (store_parm_decls_oldstyle): Adjust to match.
1658         (diagnose_mismatched_decls): Correct handling of linkage clashes.
1659         (merge_decls): No need to copy C_DECL_IN_EXTERNAL_SCOPE.
1660
1661         * c-tree.h (C_DECL_IN_EXTERNAL_SCOPE): Delete.
1662         (C_DECL_DECLARED_BUILTIN, C_DECL_REGISTER): Slide down one.
1663
1664 2004-07-02  Richard Henderson  <rth@redhat.com>
1665
1666         * c-decl.c (grokdeclarator): Don't frob current_function_decl
1667         around variable_size.
1668         (set_decl_nonlocal): Remove.
1669         (store_parm_decls): Add stmts for pending sizes.
1670         * calls.c (calls_function, calls_function_1): Remove.
1671         (precompute_arguments): Don't call it.
1672         * cfgexpand.c (set_save_expr_context): Remove.
1673         (tree_expand_cfg): Don't call it.
1674         * dwarf2out.c (add_bound_info): Don't handle SAVE_EXPR.
1675         (dwarf2out_finish): Likewise.
1676         * expr.c (emit_block_move): Adjust addresses to BLKmode.
1677         (store_constructor): Don't pre-evaluate SAVE_EXPR.
1678         (safe_from_p): Don't queue SAVE_EXPRs.
1679         (expand_expr_real_1 <case SAVE_EXPR>): Rewrite to expect,
1680         or build plain VAR_DECLs.
1681         * fold-const.c (twoval_comparison_p): Don't look at SAVE_EXPR_RTL.
1682         (fold): Likewise.
1683         (fold_checksum_tree): Don't special-case SAVE_EXPR.
1684         * function.c (free_after_compilation): Don't clear x_save_expr_regs.
1685         (put_var_into_stack): Don't handle SAVE_EXPR.
1686         (gen_mem_addressof): Likewise.
1687         * function.h (struct function): Remove x_save_expr_regs.
1688         (save_expr_regs): Remove.
1689         * gengtype.c (adjust_field_tree_exp): Don't special-case SAVE_EXPR.
1690         * print-tree.c (print_node): Don't dump SAVE_EXPR_NOPLACEHOLDER.
1691         * stor-layout.c (variable_size): Don't set it.
1692         (force_type_save_exprs, force_type_save_exprs_1): Remove.
1693         * tree-inline.c (remap_save_expr): Remove fn argument.  Update
1694         all callers.  Don't set SAVE_EXPR_CONTEXT.
1695         * tree-inline.h (remap_save_expr): Update decl.
1696         * tree.c (save_expr): Update build size.
1697         (first_rtl_op): Don't handle SAVE_EXPR.
1698         (unsave_expr_1, contains_placeholder_p): Likewise.
1699         (decl_function_context): Likewise.
1700         * tree.def (SAVE_EXPR): Remove args 1 and 2.
1701         * tree.h (SAVE_EXPR_CONTEXT, SAVE_EXPR_RTL): Remove.
1702         (SAVE_EXPR_NOPLACEHOLDER, SAVE_EXPR_PERSISTENT_P): Remove.
1703
1704 2004-07-03  Joseph S. Myers  <jsm@polyomino.org.uk>
1705
1706         * doc/bugreport.texi, doc/configterms.texi, doc/contrib.texi,
1707         doc/contribute.texi, doc/cpp.texi, doc/cppinternals.texi,
1708         doc/extend.texi, doc/install.texi, doc/invoke.texi, doc/md.texi,
1709         doc/portability.texi, doc/tree-ssa.texi, doc/trouble.texi: Avoid
1710         some first-person references and patronizing comments.  Based on
1711         printed manual.
1712         * doc/invoke.texi: Don't reference fortran@gnu.org.
1713         * doc/trouble.texi (Warning when a non-void function value is
1714         ignored): Rewrite.  From Russ Allbery and Chris Devers.
1715
1716 2004-07-02  Daniel Berlin  <dberlin@dberlin.org)
1717
1718         * tree-ssa-pre.c (bitmap_set_t): New.
1719         (bb_value_sets): avail_out is now a bitmap_set_t.
1720         (bitmap_find_leader): New function.
1721         (bitmap_value_insert_into_set): Ditto.
1722         (bitmap_set_copy): Ditto.
1723         (bitmap_value_replace_in_set): Ditto.
1724         (bitmap_set_contains_value): Ditto.
1725         (bitmap_set_new): Ditto.
1726         (bitmap_set_pool): New pool.
1727         (find_or_generate_expression): Use bitmap_ functions on AVAIL sets.
1728         (insert_aux): Ditto.
1729         (add_to_sets): Ditto.
1730         (compute_avail): Ditto
1731         (eliminate): Ditto.
1732         (init_pre): Ditto.
1733         (fini_pre): Ditto.
1734         (execute_pre): Ditto.
1735
1736 2004-07-02  Roger Sayle  <roger@eyesopen.com>
1737
1738         * config/rs6000/rs6000.c (struct processor_costs): New structure
1739         used to hold instruction latencies/sizes for processor types.
1740         (rs6000_cost): New global variable pointing to current CPU's costs.
1741         (rs6000_override_options): Initialize rs6000_cost to point to the
1742         appropriate cost table based upon rs6000_cpu and optimize_size.
1743         (rs6000_rtx_costs): Use rs6000_cost to avoid hardcoding processor
1744         timings inline.
1745
1746 2004-07-02  Richard Henderson  <rth@redhat.com>
1747
1748         * expmed.c (make_tree): Don't use SET_DECL_RTL.
1749
1750 2004-07-02  Steven Bosscher  <stevenb@suse.de>
1751
1752         * tree-flow.h (bb_ann_d): Remove ephi_nodes field.
1753
1754 2004-07-01  Richard Henderson  <rth@redhat.com>
1755
1756         * config/alpha/alpha.c (struct machine_function): Add gp_save_rtx.
1757         (alpha_gp_save_rtx): Use assign_stack_local instead of
1758         gen_mem_addressof.
1759
1760 2004-07-01  Richard Henderson  <rth@redhat.com>
1761
1762         * config/alpha/alpha.c (struct alpha_rtx_cost_data): Add int_div.
1763         (alpha_rtx_cost_data): Update to match.
1764         (alpha_rtx_cost_size): New.
1765         (alpha_rtx_costs): Honor optimize_size.
1766
1767 2004-07-01  Richard Henderson  <rth@redhat.com>
1768
1769         * gimple-low.c (lower_function_body): Don't reset_block_changes here.
1770         * cfgexpand.c (tree_expand_cfg): Do it here.
1771         * config/alpha/alpha.c (alpha_output_mi_thunk_osf): And here.
1772         * config/ia64/ia64.c (ia64_output_mi_thunk): And here.
1773         * config/mips/mips.c (mips_output_mi_thunk): And here.
1774         * config/rs6000/rs6000.c (rs6000_output_mi_thunk): And here.
1775         * config/sh/sh.c (sh_output_mi_thunk): And here.
1776         * config/sparc/sparc.c (sparc_output_mi_thunk): And here.
1777
1778 2004-07-01  Richard Henderson  <rth@redhat.com>
1779
1780         * tree.def (RTL_EXPR): Remove.
1781         * c-typeck.c (lvalue_p): Don't handle it.
1782         * expr.c (safe_from_p): Likewise.
1783         (expand_expr_real_1): Likewise.
1784         * fold-const.c (non_lvalue, operand_equal_p, fold): Likewise.
1785         (fold_checksum_tree, tree_expr_nonnegative_p): Likewise.
1786         * gengtype.c (adjust_field_tree_exp): Likewise.
1787         * stmt.c (warn_if_unused_value): Likewise.
1788         * tree-gimple.c (recalculate_side_effects): Likewise.
1789         * tree-pretty-print.c (dump_generic_node): Likewise.
1790         * tree.c (make_node_stat, first_rtl_op, unsave_expr_1): Likewise.
1791         (unsafe_for_reeval, stabilize_reference, build1_stat): Likewise.
1792         * tree.h (RTL_EXPR_SEQUENCE, RTL_EXPR_RTL, RTL_EXPR_ALT_RTL): Remove.
1793
1794         * stmt.c (struct stmt_status): Remove x_last_expr_type,
1795         x_last_expr_value, x_last_expr_alt_rtl, x_expr_stmts_for_value.
1796         (last_expr_type, last_expr_value, last_expr_alt_rtl): Remove.
1797         (expand_expr_stmt): Merge with expand_expr_stmt_value.  Remove
1798         all the bits that tracked last_expr.
1799         (expand_end_bindings): Don't track last_expr.
1800         (expand_start_stmt_expr, expand_end_stmt_expr): Remove.
1801         (clear_last_expr): Remove.
1802         (expand_asm): Don't call it.
1803         (expand_asm_operands, expand_end_cond): Likewise.
1804         (expand_naked_return, expand_null_return_1): Likewise.
1805         * c-typeck.c (c_begin_compound_stmt): Likewise.
1806         * cfgexpand.c (expand_block): Use expand_expr_stmt.
1807         * expr.c (expand_expr_real_1): Likewise.
1808         * tree.h: Update prototypes.
1809
1810         * function.h (struct sequence_stack): Remove sequence_rtl_expr.
1811         (struct emit_status): Remove sequence_rtl_expr.
1812         (struct function): Remove x_rtl_expr_chain.
1813         (seq_rtl_expr, rtl_expr_chain): Remove.
1814         * function.c (struct temp_slot): Remove rtl_expr.
1815         (assign_stack_temp_for_type): Don't set it.
1816         (free_temp_slots, pop_temp_slots): Don't check it.
1817         (free_after_compilation): Don't clear x_rtl_expr_chain.
1818         (fixup_var_refs): Don't search it.
1819         (preserve_rtl_expr_result, free_temps_for_rtl_expr): Remove.
1820         * emit-rtl.c (start_sequence): Don't use sequence_rtl_expr
1821         or seq_rtl_expr.
1822         (push_topmost_sequence): Likewise.
1823         (end_sequence, init_emit): Likewise.
1824         (start_sequence_for_rtl_expr): Remove.
1825         * expmed.c (make_tree): Build a VAR_DECL instead of an RTL_EXPR.
1826         * rtl.h (preserve_rtl_expr_result): Remove.
1827
1828 2004-07-02  Kazu Hirata  <kazu@cs.umass.edu>
1829
1830         * ifcvt.c, modulo-sched.c, tree-alias-common.c, tree-sra.c,
1831         tree-ssa-copy.c, tree-ssa-dom.c, tree-ssa-pre.c: Fix comment
1832         typos.
1833
1834 2004-07-02  Aaron W. LaFramboise <aaronraolete36@aaronwl.com>
1835
1836         * gcc.c (STANDARD_STARTFILE_PREFIX_1): Define.
1837         (STANDARD_STARTFILE_PREFIX_2): Define.
1838         (standard_startfile_prefix_1): Initialize to
1839         STANDARD_STARTFILE_PREFIX_1.
1840         (standard_startfile_prefix_2): Initialize to
1841         STANDARD_STARTFILE_PREFIX_2.
1842         * config/i386/mingw32.h (MD_STARTFILE_PREFIX): Remove.
1843         (STANDARD_STARTFILE_PREFIX_1): Define.
1844         (STANDARD_STARTFILE_PREFIX_2): Define.
1845         * doc/tm.texi (STANDARD_STARTFILE_PREFIX_1): Document.
1846         (STANDARD_STARTFILE_PREFIX_2): Document.
1847
1848 2004-07-01  Richard Henderson  <rth@redhat.com>
1849
1850         * tree-sra.c (sra_walk_expr): Don't maybe_lookup_element_for_expr
1851         in order to disable scalarization.  Instead set a flag and wait
1852         for a candidate decl.
1853
1854 2004-07-01  Joseph S. Myers  <jsm@polyomino.org.uk>
1855
1856         * doc/cppinternals.texi, doc/install.texi, doc/invoke.texi,
1857         doc/md.texi, doc/sourcebuild.texi, doc/tm.texi, doc/trouble.texi:
1858         Use terminology "testsuite" and "enumerated".
1859
1860 2004-07-01  Richard Henderson  <rth@redhat.com>
1861
1862         * dwarf2out.c (reg_save): Use INVALID_REGNUM.
1863         (dwarf2out_reg_save, dwarf2out_return_save): Likewise.
1864         (initial_return_save): Likewise.
1865         (flush_queued_reg_saves): Remap register numbers.
1866         (dwarf2out_return_reg): Likewise.
1867
1868 2004-07-01  Richard Kenner  <kenner@vlsi1.ultra.nyu.edu>
1869
1870         * gimplify.c (gimplify_one_sizepos): Don't do anything if any VAR_DECL.
1871
1872         * tree-pretty-print.c (dump_generic_node, case ARRAY_REF): Use
1873         access functions for lower bound and element size and only output
1874         if lower bound nonzero or element size not same as that of type.
1875         (dump_generic_node, case COMPONENT_REF): Use access func. for offset.
1876
1877 2004-07-01  Paolo Bonzini  <bonzini@gnu.org>
1878
1879         * c-pretty-print.c (pp_c_postfix_expression): Fix pasto.
1880
1881 2004-07-01  Per Bothner  <per@bothner.com>
1882
1883         * final.c (final):  Fix typo reported by Aaron W. LaFramboise.
1884
1885 2004-07-01  Jakub Jelinek  <jakub@redhat.com>
1886
1887         * expr.c (expand_assignment): Optimize bitfld += cst for 1 bit
1888         bitfields as well.  STRIP_NOPS from src operand and PLUS_EXPR's
1889         first operand.  Don't optimize if the bitfield is volatile.
1890
1891 2004-07-01  Paolo Bonzini  <bonzini@gnu.org>
1892
1893         * c-pretty-print.c (pp_c_postfix_expression): Handle
1894         floating-point comparison operators.
1895         (pp_c_expression): Pass floating-point comparison
1896         operators to pp_c_postfix_expression.
1897
1898 2004-07-01  Roger Sayle  <roger@eyesopen.com>
1899
1900         * simplify-rtx.c (simplify_binary_operation) <PLUS, MINUS>: Use
1901         rtx_cost instead of "had_mult" to determine whether the transformed
1902         expression is cheaper than the original.
1903
1904 2004-07-01  Jerry Quinn  <jlquinn@optonline.net>
1905
1906         * alias.c (get_alias_set, canon_rtx, get_addr,
1907         nonoverlapping_memrefs_p, nonlocal_referenced_p_1, memory_modified_1):
1908         Use MEM_P.
1909         * builtins.c (expand_builtin_prefetch, expand_builtin_profile_func,
1910         expand_builtin): Likewise.
1911         * calls.c (expand_call, emit_library_call_value_1, store_one_arg):
1912         Likewise.
1913         * combine.c (can_combine_p, combinable_i3pat, try_combine,
1914         find_split_point, combine_simplify_rtx, simplify_set, make_extraction,
1915         rtx_equal_for_field_assignment_p, gen_lowpart_for_combine,
1916         record_dead_and_set_regs_1, get_last_value_validate,
1917         mark_used_regs_combine, move_deaths, unmentioned_reg_p_1): Likewise.
1918         * cse.c (check_dependence, canon_hash, equiv_constant,
1919         gen_lowpart_if_possible, cse_insn, invalidate_from_clobbers,
1920         cse_around_loop, cse_check_loop_start, cse_set_around_loop,
1921         count_reg_usage): Likewise.
1922         * cselib.c (rtx_equal_for_cselib_p, add_mem_for_addr, cselib_lookup,
1923         cselib_invalidate_mem, cselib_invalidate_rtx, cselib_record_set,
1924         cselib_record_sets): Likewise.
1925         * dbxout.c (PARM_PASSED_IN_MEMORY, dbxout_symbol,
1926         dbxout_symbol_location, dbxout_parms, dbxout_reg_parms): Likewise.
1927         * ddg.c (mark_mem_use, mark_mem_store, rtx_mem_access_p): Likewise.
1928         * df.c (df_uses_record): Likewise.
1929         * dojump (do_jump): Likewise.
1930         * dwarf2out.c (stack_adjust_offset, mem_loc_descriptor,
1931         loc_descriptor_from_tree, rtl_for_decl_location, add_bound_info,
1932         decl_start_label): Likewise.
1933         * emit-rtl.c (gen_complex_constant_part, gen_highpart,
1934         operand_subword, change_address_1, make_safe_from): Likewise.
1935         * explow.c (break_out_memory_refs, copy_all_regs, validize_mem,
1936         stabilize, force_not_mem): Likewise.
1937         * expmed.c (store_bit_field, store_split_bit_field, extract_bit_field,
1938         expand_mult_const, expand_divmod, emit_store_flag): Likewise.
1939         * expr.c (convert_move, convert_modes, emit_block_move,
1940         emit_group_load, emit_group_store, clear_storage, emit_move_insn,
1941         emit_move_insn_1, expand_assignment, store_expr,
1942         store_constructor_field, store_constructor, store_field,
1943         force_operand, safe_from_p, expand_expr_real_1, expand_increment):
1944         Likewise.
1945         * final.c (cleanup_subreg_operands, alter_subreg,
1946         get_mem_expr_from_op): Likewise.
1947         * flow.c (notice_stack_pointer_modification_1,
1948         init_propagate_block_info, insn_dead_p, mark_set_1, mark_used_regs):
1949         Likewise.
1950         * function.c (mark_temp_addr_taken, preserve_temp_slots,
1951         preserve_rtl_expr_result, put_var_into_stack, fixup_var_refs_1,
1952         optimize_bit_field, flush_addressof, purge_addressof_1,
1953         instantiate_decl, instantiate_virtual_regs_1, assign_parms,
1954         setjmp_protect, setjmp_protect_args, fix_lexical_addr,
1955         keep_stack_depressed): Likewise.
1956         * ifcvt.c (noce_try_cmove_arith, noce_try_abs, noce_operand_ok,
1957         noce_process_if_block, find_memory): Likewise.
1958         * integrate.c (subst_constants, allocate_initial_values): Likewise.
1959         * local-alloc.c (validate_equiv_mem_from_store, memref_referenced_p,
1960         update_equiv_regs): Likewise.
1961         * loop.c (scan_loop, prescan_loop, note_addr_stored, check_store,
1962         maybe_eliminate_biv_1, find_mem_in_note_1): Likewise.
1963         * optabs.c (expand_abs, emit_unop_insn): Likewise.
1964         * passes.c (rest_of_handle_final): Likewise.
1965         * postreload.c (reload_cse_simplify_set, reload_cse_simplify_operands,
1966         move2add_note_store): Likewise.
1967         * ra-build.c (detect_remat_webs): Likewise.
1968         * ra-debug.c (dump_static_insn_cost): Likewise.
1969         * ra-rewrite.c (slots_overlap_p, insert_stores): Likewise.
1970         * recog.c (validate_change, apply_change_group, cancel_changes,
1971         validate_replace_rtx_1, general_operand, register_operand,
1972         nonmemory_operand, push_operand, pop_operand, memory_operand,
1973         indirect_operand, asm_operand_ok, offsettable_memref_p,
1974         offsettable_nonstrict_memref_p, constrain_operands,
1975         store_data_bypass_p): Likewise.
1976         * reg-stack.c (subst_stack_regs_pat): Likewise.
1977         * regclass.c (record_operand_costs, scan_one_insn, record_reg_classes,
1978         copy_cost, reg_scan_mark_refs): Likewise.
1979         * regmove.c (optimize_reg_copy_3, stack_memref_p,
1980         combine_stack_adjustments_for_block): Likewise.
1981         * regrename.c (copyprop_hardreg_forward_1): Likewise.
1982         * reload.c (can_reload_into, push_reload, decompose, immune_p,
1983         find_reloads, find_reloads_address, find_reloads_address_1,
1984         reg_overlap_mentioned_for_reload_p, refers_to_mem_for_reload_p,
1985         find_equiv_reg): Likewise.
1986         * reload1.c (reload, eliminate_regs, eliminate_regs_in_insn,
1987         reload_as_needed, choose_reload_regs, emit_input_reload_insns,
1988         do_input_reload, emit_reload_insns, gen_reload, delete_output_reload,
1989         delete_address_reloads): Likewise.
1990         * resource.c (mark_referenced_resources): Likewise.
1991         * rtlanal.c (get_jump_table_offset, count_occurrences,
1992         reg_referenced_p, reg_set_p, set_of_1, set_noop_p,
1993         reg_overlap_mentioned_p, note_uses, replace_regs, nonzero_bits1,
1994         num_sign_bit_copies1): Likewise.
1995         * rtlhooks.c (gen_lowpart_general): Likewise.
1996         * sched-deps.c (sched_analyze_1, sched_analyze_2): Likewise.
1997         * sdbout.c (PARM_PASSED_IN_MEMORY, sdbout_symbol,
1998         sdbout_toplevel_data, sdbout_parms, sdbout_reg_parms,
1999         sdbout_global_decl): Likewise.
2000         * simplify-rtx.c (simplify_subreg): Likewise.
2001         * stmt.c (expand_asm_operands, expand_expr_stmt_value, expand_decl,
2002         expand_anon_union_decl, expand_end_case_type): Likewise.
2003         * unroll.c (calculate_giv_inc): Likewise.
2004         * var-tracking.c (stack_adjust_offset_pre_post,
2005         bb_stack_adjust_offset, track_expr_p, count_uses, add_uses,
2006         add_stores, compute_bb_dataflow, vt_get_decl_and_offset,
2007         vt_add_function_parameters): Likewise.
2008         * varasm.c (make_var_volatile, notice_global_symbol,
2009         assemble_external, decode_addr_const, mark_weak,
2010         default_encode_section_info): Likewise.
2011
2012 2004-07-01  Steven Bosscher  <stevenb@suse.de>
2013
2014         * stmt.c (check_seenlabel): Remove.
2015         (pushcase, pushcase_range, expand_end_case_type): Don't call it.
2016
2017 2004-07-01  Richard Henderson  <rth@redhat.com>
2018
2019         * function.h (struct function): Remove x_function_call_count.
2020         (function_call_count): Remove.
2021         * calls.c (expand_call): Don't set it.
2022         * integrate.c (copy_rtx_and_substitute): Likewise.
2023
2024         * function.h (struct function): Remove x_cleanup_label.
2025         (cleanup_label): Remove.
2026         * stmt.c (expand_value_return): Don't use it.
2027         * function.c (free_after_compilation): Don't set it.
2028         (expand_function_start): Likewise.  Remove parms_have_cleanups arg.
2029         * cfgexpand.c (tree_expand_cfg): Update call.
2030         * tree.h (expand_function_start): Update decl.
2031
2032 2004-07-01  Joseph S. Myers  <jsm@polyomino.org.uk>
2033
2034         PR c/1027
2035         * c-lang.c (c_initialize_diagnostics): Move from here ...
2036         * c-objc-common.c: ... to here.  Include "c-pretty-print.h".
2037         (c_tree_printer): Use pretty-printer to format %T.
2038         * c-pretty-print.c (pp_c_specifier_qualifier_list): Include space
2039         before '*' if not C++.
2040         (pp_c_direct_abstract_declarator): Don't try to print array upper
2041         bound for flexible array members.
2042         * c-tree.h: Include "diagnostic.h".
2043         (c_initialize_diagnostics): Declare.
2044         * objc/objc-lang.c (LANG_HOOKS_INITIALIZE_DIAGNOSTICS): Define.
2045         * c-format.c (format_type_warning): New function.  Improve
2046         diagnostics for incorrect format argument types.
2047         (check_format_types): Use it.  Add two parameters.  Use the
2048         TYPE_MAIN_VARIANT of wanted_type.
2049         (check_format_info_main): Pass new parameters to
2050         check_format_types.
2051         (struct format_wanted_type): Update comment.
2052
2053 2004-07-01  Nick Clifton  <nickc@redhat.com>
2054
2055         * target.h (struct gcc_target): Add new field to struct cxx:
2056         import_export_class.
2057         * target-def.h (TARGET_CXX): Initialise the new field.
2058         (TARGET_CXX_IMPORT_EXPORT_CLASS): Provide a default value for
2059         the new field.
2060         * doc/tm.texi: Document the new target hook.
2061
2062 2004-07-01  Paolo Bonzini  <bonzini@gnu.org>
2063
2064         * builtins.c (fold_builtin_classify): Fix typo.
2065
2066 2004-07-01  Richard Henderson  <rth@redhat.com>
2067
2068         * function.c (identify_blocks, identify_blocks_1): Remove.
2069         * function.h (identify_blocks): Remove.
2070         * rtl.h (NOTE_INSN_BLOCK_BEG): Update comment.
2071
2072 2004-07-01  Paolo Bonzini  <bonzini@gnu.org>
2073
2074         * builtins.c (fold_builtin_classify): New.
2075         (fold_builtin_unordered_cmp): Fix commentary.
2076         (fold_builtin): Use it.
2077         * builtins.def: Define builtins for isnan,
2078         isnanf, isnanl, finite, finitef, finitel,
2079         isinf, isinff, isinfl.
2080
2081 2004-07-01  Richard Henderson  <rth@redhat.com>
2082
2083         * function.h (struct function): Remove dont_emit_block_notes.
2084         * gimple-low.c (lower_function_body): Don't set it.
2085         * cfgexpand.c (expand_block): Don't check it.
2086         * cfglayout.c (insn_locators_initialize): Likewise.
2087         * expr.c (expand_expr_real, expand_expr_real_1): Likewise.
2088         * passes.c (rest_of_compilation): Likewise.
2089         * stmt.c (expand_start_bindings_and_block): Likewise.
2090         (expand_end_bindings): Likewise.
2091
2092 2004-07-01  Richard Henderson  <rth@redhat.com>
2093
2094         * cgraph.h (cgraph_build_static_cdtor): Declare.
2095         * cgraphunit.c (cgraph_build_static_cdtor): New.
2096         * c-objc-common.c (build_cdtor): Use it.
2097         * coverage.c (create_coverage): Likewise.
2098         * libfuncs.h (LTI_gcov_init, gcov_init_libfunc): Remove.
2099         * optabs.c (init_optabs): Don't set gcov_init_libfunc.
2100
2101 See ChangeLog.11 for earlier changes.