OSDN Git Service

* pa.c (hppa_gimplify_va_arg_expr): Remove comment.
[pf3gnuchains/gcc-fork.git] / gcc / ChangeLog
1 2004-07-11  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
2
3         * pa.c (hppa_gimplify_va_arg_expr): Remove comment.
4
5 2004-07-11  Zdenek Dvorak  <rakdver@atrey.karlin.mff.cuni.cz>
6
7         PR tree-optimization/15654
8         * tree-tailcall.c (eliminate_tail_call): Remove unreachable code.
9
10 2004-07-11  Roger Sayle  <roger@eyesopen.com>
11
12         * builtins.c (fold_builtin_fputs): Don't bother converting the
13         return type to integer_type_node, as we've already checked that
14         the result will be ignored.
15
16         * tree-eh.c (tree_could_trap_p): Add support for -ftrapv such
17         that signed addition, subtraction, multiplication, division,
18         remainder, negation and absolute value may potentially trap.
19
20         * fold-const.c (fold_ignored_result): New function to strip
21         non-side-effecting tree nodes from an expression whose result
22         is ignored.
23         (fold_convert): Call fold_ignored_result when casting a value
24         to VOID_TYPE.
25         (omit_one_operand):  Call fold_ignored_result on the "omitted"
26         operand when building a COMPOUND_EXPR.
27         (pedantic_omit_one_operand): Likewise.
28         * tree.h (fold_ignored_result): Prototype here.
29         * tree-ssa-ccp.c (ccp_fold_builtin): Call fold_ignored_result
30         when we're going to ignore the result.
31
32 2004-07-11  Richard Henderson  <rth@redhat.com>
33
34         PR tree-opt/16383
35         * tree-ssa-ccp.c (fold_stmt_r): Split out...
36         * tree.c (fields_compatible_p, find_compatible_field): ... new.
37         * tree.h (fields_compatible_p, find_compatible_field): Declare.
38         * tree-sra.c (sra_hash_tree): Hash fields by offset.
39         (sra_elt_eq): Use fields_compatible_p.
40         (generate_one_element_ref): Use find_compatible_field.
41
42 2004-07-11  Richard Henderson  <rth@redhat.com>
43
44         PR tree-opt/16422
45         * tree-sra.c (generate_one_element_init): New.
46         (generate_element_init): Use it.
47         (scalarize_init): Push/pop gimplify context around it.
48         (find_new_referenced_vars_1, find_new_referenced_vars): New.
49         * gimplify.c (gimplify_expr): Allow SSA_NAME.
50
51 2004-07-11  Roger Sayle  <roger@eyesopen.com>
52
53         * rtlanal.c (insn_rtx_cost): New function, moved and renamed from
54         combine.c's combine_insn_cost.
55         * rtl.h (insn_rtx_cost): Prototype here.
56         * combine.c (combine_insn_cost): Delete function.
57         (combine_validate_cost): Update callers of combine_insn_cost to
58         call insn_rtx_cost instead.
59         (combine_instructions): Likewise.  Use NONJUMP_INSN_P to avoid
60         requesting the rtx_cost of call and/or jump instructions.
61
62         * ifcvt.c (total_bb_rtx_cost): Use insn_rtx_cost instead of calling
63         rtx_cost directly.  Don't request/use the cost of call or jump
64         instructions.  Return -1 if the cost of any instruction can't be
65         determined (or the BB contains a function call).
66         (find_if_case_1): Abort transformation if total_bb_rtx_cost returns
67         -1 (i.e. can't determine the cost of any instruction or the basic
68         block contains a subroutine call).
69         (find_if_case_2): Likewise.
70
71 2004-07-11  Roger Sayle  <roger@eyesopen.com>
72
73         * rs6000.c (struct processor_costs): Change semantics of fields to
74         include the COST_N_INSNS scaling, and update all initializers.
75         (rs6000_rtx_costs): Don't use COSTS_N_INSNS on rs6000_cost fields.
76         Use COSTS_N_INSNS(1) for NOT, SIGN_EXTEND, ZERO_EXTEND and COMPARE.
77         Use rs6000_cost->fp for both FLOAT_TRUNCATE and UNSPEC_FRSP.  When
78         optimizing for size, use COSTS_N_INSNS(1) for CALL and IF_THEN_ELSE.
79
80 2004-07-11  Joseph S. Myers  <jsm@polyomino.org.uk>
81
82         * LANGUAGES: Remove obsolete information.
83
84 2004-07-11  Ulrich Weigand  <uweigand@de.ibm.com>
85
86         * config/s390/linux.h (MD_FALLBACK_FRAME_STATE_FOR): For SIGSEGV and 
87         SIGBUS signal frames, the PSW address points *to* the faulting
88         instruction, not after it.
89
90 2004-07-11  Ulrich Weigand  <uweigand@de.ibm.com>
91
92         * config/s390/s390.c (legitimize_tls_address): Handle constant offsets
93         added to TLS symbol addresses.
94
95 2004-07-11  Richard Henderson  <rth@redhat.com>
96
97         * expmed.c (init_expmed): Use stack-local structures for 
98         temporary rtl.  Don't recognize shifts.
99
100 2004-07-11  Richard Henderson  <rth@redhat.com>
101
102         * expr.c (store_expr): Don't fiddle subreg promotion for types
103         with precision smaller than the mode.
104
105 2004-07-11  Joseph S. Myers  <jsm@polyomino.org.uk>
106
107         * tree.h (all_types_permanent): Remove.
108
109 2004-07-11  Joseph S. Myers  <jsm@polyomino.org.uk>
110
111         * langhooks.h (estimate_num_insns, pushlevel, poplevel, set_block,
112         maybe_build_cleanup, update_decl_after_saving): Remove hooks.
113         * langhooks.c (lhd_clear_binding_stack): Remove.
114         * langhooks-def.h (lhd_clear_binding_stack,
115         LANG_HOOKS_MAYBE_BUILD_CLEANUP,
116         LANG_HOOKS_UPDATE_DECL_AFTER_SAVING,
117         LANG_HOOKS_TREE_INLINING_ESTIMATE_NUM_INSNS, LANG_HOOKS_PUSHLEVEL,
118         LANG_HOOKS_POPLEVEL, LANG_HOOKS_SET_BLOCK): Remove.
119         (LANG_HOOKS_CLEAR_BINDING_STACK): Define to lhd_do_nothing.
120         * system.h (LANG_HOOKS_TREE_INLINING_ESTIMATE_NUM_INSNS,
121         LANG_HOOKS_PUSHLEVEL, LANG_HOOKS_SET_BLOCK,
122         LANG_HOOKS_MAYBE_BUILD_CLEANUP,
123         LANG_HOOKS_UPDATE_DECL_AFTER_SAVING, LANG_HOOKS_POPLEVEL): Poison.
124         * tree.h (poplevel): Don't declare.
125         * c-lang.c (LANG_HOOKS_CLEAR_BINDING_STACK, LANG_HOOKS_PUSHLEVEL,
126         LANG_HOOKS_POPLEVEL, LANG_HOOKS_SET_BLOCK): Remove.
127         * objc/objc-lang.c (LANG_HOOKS_CLEAR_BINDING_STACK,
128         LANG_HOOKS_PUSHLEVEL, LANG_HOOKS_POPLEVEL, LANG_HOOKS_SET_BLOCK):
129         Remove.
130
131 2004-07-11  Joseph S. Myers  <jsm@polyomino.org.uk>
132
133         PR tree-optimization/16437
134         * c-common.c (shorten_compare): Don't mark result of conversion to
135         narrower signed type as overflowing.
136         * fold-const.c (decode_field_reference): Determine whether
137         signedness comes from outer type using precision rather than size.
138
139 2004-07-11  Phil Edwards  <phil@codesourcery.com>
140
141         * configure.ac:  Alphabetize --enable-checking list, add
142         missing valgrind entry.
143         * configure:  Regenerate.
144
145 2004-07-11  Phil Edwards  <phil@codesourcery.com>
146
147         * doc/install.texi (Testing):  Fix syntax in "make check" example.
148
149 2004-07-10  James E Wilson  <wilson@specifixinc.com>
150
151         * config/gofast.h (gofast_maybe_init_libfuncs): Use SImode for litodp.
152
153 2004-07-10  Zdenek Dvorak  <rakdver@atrey.karlin.mff.cuni.cz>
154
155         PR rtl-optimization/16001
156         * loop-iv.c (iv_number_of_iterations): Prevent copy propagation in
157         niter_expr.
158
159 2004-07-10  Geoffrey Keating  <geoffk@apple.com>
160
161         * config/darwin.h (LINK_COMMAND_SPEC): Don't call c++filt.
162
163 2004-07-10  Steve Kargl  <sgk@troutmask.apl.washington.edu>
164             James Morrison  <phython@gcc.gnu.org>
165
166         * doc/contrib.texi (Contributors): Add gfortran contributors and
167         fix a couple of typos.
168
169 2004-07-10  Zdenek Dvorak  <rakdver@atrey.karlin.mff.cuni.cz>
170
171         PR rtl-optimization/15387
172         * calls.c (check_sibcall_argument_overlap_1): Handle pointers
173         to incoming args space correctly.
174
175 2004-07-10  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
176
177         * pa.c (output_indirect_call): Only use %r2 as the link register in
178         indirect calls with the long PA 2.0 pc-relative branch.
179
180 2004-07-10  Daniel Jacobowitz  <dan@debian.org>
181
182         * config/i386/i386.c (override_options): Pick a 64-bit CPU
183         for the default tuning if TARGET_64BIT.
184
185 2004-07-10  Richard Henderson  <rth@redhat.com>
186
187         * builtins.c (std_gimplify_va_arg_expr): Widen align/boundary
188         to HOST_WIDE_INT.  Fold pad-args-down arithmetic.
189
190 2004-07-10  Jakub Jelinek  <jakub@redhat.com>
191
192         * expr.h (store_bit_field, extract_bit_field): Remove last argument.
193         * expmed.c (store_bit_field, extract_bit_field): Remove last
194         argument.
195         * builtins.c (expand_builtin_signbit): Adjust callers.
196         * optabs.c (expand_vector_binop, expand_vector_unop): Likewise.
197         * calls.c (store_unaligned_arguments_into_pseudos): Likewise.
198         * ifcvt.c (noce_emit_move_insn): Likewise.
199         * stmt.c (expand_return): Likewise.
200         * expr.c (emit_group_load, emit_group_store, copy_blkmode_from_reg,
201         store_field, expand_expr_real_1): Likewise.
202
203 2004-07-10  Richard Henderson  <rth@redhat.com>
204
205         * builtins.c (std_gimplify_va_arg_expr): Fix borked BIT_AND_EXPR.
206
207 2004-07-09  Mike Stump  <mrs@apple.com>
208
209         * config/darwin.c (no_dead_strip): Add.
210         (HAVE_DEAD_STRIP): Add.
211         (darwin_emit_unwind_label): Ensure that we don't dead code strip
212         the .eh label.
213
214 2004-07-09  Zdenek Dvorak  <rakdver@atrey.karlin.mff.cuni.cz>
215
216         * tree-ssa-loop-im.c: New file.
217         * Makefile.in (tree-ssa-loop-im.o): Add.
218         * cfgloop.c (superloop_at_depth): New function.
219         * cfgloop.h (superloop_at_depth): Declare.
220         * common.opt (ftree-lim): New flag.
221         * expr.c (array_ref_up_bound): New function.
222         * params.def (PARAM_LIM_EXPENSIVE): New parameter.
223         * timevar.def (TV_LIM): New timevar.
224         * tree-dfa.c (compute_immediate_uses): Respect TDFA_USE flags when
225         computing immediate uses of a phi node.
226         * tree-flow.h (struct tree_ann_common_d): Add aux field.
227         (loop_commit_inserts, for_each_index, tree_ssa_lim): Declare.
228         * tree-optimize.c (init_tree_optimization_passes): Add pass_lim.
229         * tree-pass.h (pass_lim): Declare.
230         * tree-ssa-loop.c (tree_ssa_loop_im, gate_tree_ssa_loop_im): New
231         functions.
232         (pass_lim): New pass structure.
233         * tree-eh.c (tree_could_trap_p): Handle ARRAY_REFs correctly.
234         * tree.c (in_array_bounds_p): New function.
235         * tree.h (TREE_THIS_NOTRAP): Define also for ARRAY_REFs.
236         (in_array_bounds_p, array_ref_up_bound): Declare.
237         * doc/invoke.texi (-ftree-lim, --param lim-expensive): Document.
238         * doc/passes.texi (tree-ssa-loop-im.c): Document.
239
240 2004-07-09  Richard Henderson  <rth@redhat.com>
241
242         * builtins.c (expand_builtin_stpcpy): Don't modify len.
243
244         * tree-ssa-ccp.c (ccp_fold_builtin): Strip conversion exprs
245         with prejudice.
246
247 2004-07-10  Kelley Cook  <kcook@gcc.gnu.org>
248
249         * flags.h: Delete redundant prototypes that are being generated
250         in options.h from common.opt.
251         * common.opt: Add in the expository comments formerly in flags.h.
252
253 2004-07-09  Jan Beulich  <jbeulich@novell.com>
254
255         * config/i386/i386.c (init_cumulative_args): Set mmx/sse registers
256         available for use only when TARGET_MMX/_SSE is set, and check for
257         variable argument function if any register count is non-zero.
258         (function_arg): Correctly suppress repeated warnings for passing SSE
259         vectors are arguments without SSE enabled.
260         (ix86_function_arg_boundary): Without SSE enabled, the use of what
261         would be SSE register modes does no longer influence the alignment.
262
263 2004-07-09  Richard Henderson  <rth@redhat.com>
264
265         * builtins.c (std_gimplify_va_arg_expr): Deny ARGS_GROW_DOWNWARD.
266         Always align upward to arg boundary.  Use size_in_bytes/round_up.
267         Maintain type-correctness of constants.
268         * stor-layout.c (round_up, round_down): Special-case powers of 2.
269
270 2004-07-09  David S. Miller  <davem@nuts.davemloft.net>
271
272         * config/sparc/sparc.c (*_costs): Scale instruction costs
273         by COSTS_N_INSNS.
274         (sparc_rtx_costs): Adjust as appropriate.
275
276 2004-07-09  Jan Beulich  <jbeulich@novell.com>
277
278         * config/i386/mm3dnow.h: New.
279         * config.gcc: Add mm3dnow.h to extra_headers for i?86 and x86-64.
280
281 2004-07-09  Richard Henderson  <rth@redhat.com>
282
283         * simplify-rtx.c (simplify_const_relational_operation): Only
284         look at bounds of scalar integers.
285
286 2004-07-09  Jan Beulich  <jbeulich@novell.com>
287
288         * config/i386/i386.md (sse2_clflush): Use correct operand for clflush.
289
290 2004-07-09  Andrew Pinski  <apinski@apple.com>
291
292         * objc/objc-act.c (build_module_descriptor): Mark UOBJC_MODULES_decl as
293         always referenced.
294         (synth_forward_declarations): Likewise for UOBJC_CLASS_decl and
295         UOBJC_METACLASS_decl.
296
297 2004-07-09  James E Wilson  <wilson@specifixinc.com>
298
299         PR target/16364
300         * config/ia64/ia64.c (ia64_function_arg): For a single element HFA,
301         do return a parallel if hfa_mode == XFmode and mode == TImode.
302
303 2004-07-09  Jan Beulich  <jbeulich@novell.com>
304
305         * c-typeck.c (build_unary_op): include VECTOR_TYPE in set of codes
306         permissible for unary plus.
307
308 2004-07-09  Jan Beulich  <jbeulich@novell.com>
309
310         * builtin-types.def (BT_UINT): Rename from BT_UNSIGNED.
311         (BT_FN_UINT): Rename from BT_FN_UNSIGNED.
312         (BT_FN_PTR_UINT): Rename from BT_FN_PTR_UNSIGNED.
313         (BT_ULONG, BT_ULONGLONG, BT_UINTMAX, BT_FN_INT_UINT, BT_FN_INT_ULONG,
314         BT_FN_INT_ULONGLONG, BT_FN_INT_INTMAX, BT_FN_INT_UINTMAX): New.
315         * builtins.def (BUILTIN_CLZxxx, BUILTIN_CTXxxx, BUILTIN_PARITYxxx,
316         BUILTIN_POPCOUNTxxx): Arguments are unsigned.
317         (BUILTIN_xxxIMAX): New.
318         * builtins.c (expand_builtin): Handle BUILT_IN_FFSIMAX,
319         BUILT_IN_CLZIMAX, BUILT_IN_CTZIMAX, BUILT_IN_POPCOUNIMAX, and
320         BUILT_IN_PARITYIMAX.
321
322 2004-07-09  David S. Miller  <davem@nuts.davemloft.net>
323
324         * config/sparc/sparc.h (processor_costs): Define.
325         (sparc_costs): Declare.
326         * config/sparc/sparc.c (cypress_costs, supersparc_costs,
327         hypersparc_costs, sparclet_costs, ultrasparc_costs,
328         ultrasparc3_costs): New.
329         (sparc_override_options): Set sparc_costs as appropriate.
330         (sparc_rtx_costs): Use sparc_costs instead of messy
331         conditionals.
332         
333 2004-07-09  Steven Bosscher  <stevenb@suse.de>
334
335         * doc/md.texi (Processor pipeline description): Mention that
336         the old pipeline description is deprecated.
337
338         * config/rs6000/7450.md (automaton ppc7450): Split up, move
339         mciu_7450 function unit to...
340         (automaton ppc7450mciu): ...new automaton.
341
342         * haifa-sched.c (insert_schedule_bubbles_p): Remove.
343         (schedule_block): Don't consider inserting bubbles.
344         (sched_init): Don't initialize DFA bubbles.
345         * target-def.h (TARGET_SCHED_INIT_DFA_BUBBLES,
346         TARGET_SCHED_DFA_BUBBLE): Remove.
347         * target.h (init_dfa_bubbles, dfa_bubble): Remove hooks.
348         * doc/tm.texi (TARGET_SCHED_INIT_DFA_BUBBLES,
349         TARGET_SCHED_DFA_BUBBLE): Remove documentation.
350
351         * stmt.c (conditional_context): Remove prototype.
352         * tree.h (conditional_context): Remove.
353         * tree-cfg.c (pre_insert_on_edge): Remove.
354
355         * c-common.h (c_expand_asm_operands): Remove prototype.
356         * c-typeck.c (c_expand_asm_operands): Remove.
357
358 2004-07-09  Jan Beulich  <jbeulich@novell.com>
359
360         * config/i386/i386.c (classify_argument): Treat V1xx modes the same as
361         their base modes. CTImode, TCmode, and XCmode must be passed in memory.
362         TFmode (__float128) must be is an SSE/SSEUP pair. V2SImode, V4HImode,
363         and V8QI are class SSE. All sufficiently small remaining vector modes
364         must be passed in one or two integer registers.
365         (ix86_libcall_value): TFmode must be returned in xmm0, XCmode must be
366         returned in memory.
367         (bdesc_2arg, ix86_init_mmx_sse_builtins): __builtin_ia32_pmuludq and
368         __builtin_ia32_pmuludq128 have non-uniform argument and return types
369         and must thus be handled explicitly.
370         * config/i386/i386.md (*movdi_1_rex64): Add cases for moving between
371         MMX and XMM regs.
372         (movv8qi_internal, movv4hi_internal, movv2si_internal,
373         movv2sf_internal): Permit moving between MMX and XMM registers (since
374         MMX areguments and return values are passed in XMM registers).
375         (sse2_umulsidi3): Correct type and mode.
376
377 2004-07-09  Richard Henderson  <rth@redhat.com>
378
379         * tree-cfg.c (dump_cfg_stats): Fix 64-bit format mismatch errors.
380
381 2004-07-09  Eric Christopher  <echristo@redhat.com>
382
383         * config/rs6000/40x.md: Split into two automatons.
384
385 2004-07-09  Zack Weinberg  <zack@codesourcery.com>
386             Andrew Pinski  <apinski@apple.com>
387
388         * c-opts.c (c_common_post_options): Force unit-at-a-time mode
389         on when we have more than one input file.
390         (c_common_parse_file): Restore loop over all input files.
391         Clarify diagnostic for -dy when YYDEBUG wasn't defined.
392
393         * c-decl.c (set_type_context): New function.
394         (pop_scope): Use it to set context of types.  When we
395         encounter a TYPE_DECL, set the context of the attached type too.
396         (pop_file_scope): Don't call cpp_undef_all here.
397         (diagnose_mismatched_decls): Do not complain about a second
398         definition of an 'extern inline' function if it's not in the
399         same translation unit.  Do not complain about inline
400         declaration after use if the use was in a different
401         translation unit.
402         (merge_decls): Don't clobber olddecl's DECL_CONTEXT.
403         (pushdecl): Do not put DECL_EXTERNAL, !TREE_PUBLIC decls in
404         the external scope.
405         (pushdecl_top_level): Likewise.
406         (grokdeclarator): Clarify what is going on with setting
407         DECL_EXTERNAL on function types, a little.
408         (c_write_global_declarations): Don't do anything if
409         -fsyntax-only or errors have been encountered.
410
411 2004-07-09  Zack Weinberg  <zack@codesourcery.com>
412
413         * vec.c, vec.h (vec_assert_fail): Use unsigned int for LINE argument.
414
415 2004-07-09  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
416
417         PR target/16459
418         * pa.c (output_indirect_call): Use %r2 as the link register when
419         calling $$dyncall with a pc-relative branch.
420
421 2004-07-08  Gerald Pfeifer  <gerald@pfeifer.com>
422
423         * doc/install.texi (Binaries): Mention OpenPKG.
424
425 2004-07-09  Diego Novillo  <dnovillo@redhat.com>
426
427         Fix PR tree-optimization/15555
428         * tree-dfa.c (dump_variable): If the variable is a pointer
429         SSA_NAME, also dump its points-to information.
430         * tree-flow.h (struct ptr_info_def): Add field
431         is_dereferenced.
432         (dump_points_to_info_for): Declare.
433         (debug_points_to_info_for): Declare.
434         * tree-optimize.c (init_tree_optimization_passes): Add a
435         second alias analysis pass after DOM2.
436         Move pass_del_pta to a later spot.
437         * tree-ssa-alias.c (compute_points_to_and_addr_escape): Do not
438         create a name tags when we find a dereferenced pointer.  Just
439         mark the pointer dereferenced.
440         (collect_points_to_info_for): Move code to clear points-to
441         information to create_name_tags.
442         (create_name_tags): New function.
443         (compute_flow_sensitive_aliasing): Call it.
444         (setup_pointers_and_addressables): Mark type tags for renaming
445         here instead of ...
446         (create_memory_tag): ... here.
447         (merge_pointed_to_info): Do not merge PT_MALLOC attributes.
448         (dump_points_to_info_for): Declare extern.
449         (debug_points_to_info_for): New function.
450
451 2004-07-09  Paolo Bonzini  <bonzini@gnu.org>
452
453         * config/arc/arc.md: Switch to DFA-based scheduler description.
454         * config/arc/arc.c: Switch to DFA-based scheduler description.
455
456 2004-07-09  Richard Earnshaw  <rearnsha@arm.com>
457
458         * arm/unknown-elf.h (TARGET_DEFAULT): Don't require an APCS frame
459         pointer.
460
461 2004-07-09  Richard Henderson  <rth@redhat.com>
462
463         * config/xtensa/xtensa-protos.h (xtensa_va_arg): Remove.
464         * config/xtensa/xtensa.c (TARGET_GIMPLIFY_VA_ARG_EXPR): New.
465         (xtensa_gimplify_va_arg_expr): Rewrite from xtensa_va_arg.
466         * config/xtensa/xtensa.h (EXPAND_BUILTIN_VA_ARG): Remove.
467
468         * config/v850/v850-protos.h (v850_va_arg): Remove.
469         * config/v850/v850.c (TARGET_GIMPLIFY_VA_ARG_EXPR): New.
470         (v850_gimplify_va_arg_expr): Rewrite from v850_va_arg.
471         * config/v850/v850.h (EXPAND_BUILTIN_VA_ARG): Remove.
472         (FUNCTION_ARG_PASS_BY_REFERENCE): Handle variable size types.
473         (FUNCTION_ARG_CALLEE_COPIES): Use FUNCTION_ARG_PASS_BY_REFERENCE.
474
475 2004-07-09  Richard Earnshaw  <rearnsha@arm.com>
476
477         PR target/12133
478         * arm.c (arm_legitimate_index_p) Allow DFmode for soft-float
479         and DImode to use +/-4k offset.
480
481 2004-07-09  Richard Henderson  <rth@redhat.com>
482
483         * config/stormy16/stormy16-protos.h (xstormy16_expand_builtin_va_arg):
484         Remove.
485         * config/stormy16/stormy16.c (TARGET_GIMPLIFY_VA_ARG_EXPR): New.
486         (xstormy16_gimplify_va_arg_expr): Rewrite from
487         xstormy16_expand_builtin_va_arg.
488         * config/stormy16/stormy16.h (EXPAND_BUILTIN_VA_ARG): Remove.
489
490         * config/sparc/sparc-protos.h (sparc_va_arg): Remove.
491         * config/sparc/sparc.c (sparc_gimplify_va_arg): Mark static.
492
493         * config/sh/sh-protos.h (sh_va_arg): Remove.
494         * config/sh/sh.c (TARGET_GIMPLIFY_VA_ARG_EXPR): New.
495         (sh_gimplify_va_arg_expr): Rewrite from sh_va_arg.
496         * config/sh/sh.h (EXPAND_BUILTIN_VA_ARG): Remove.
497
498         * config/pa/pa-protos.h (hppa_va_arg): Remove.
499         * config/pa/pa.c (TARGET_GIMPLIFY_VA_ARG_EXPR): New.
500         (hppa_gimplify_va_arg_expr): Rewrite from hppa_va_arg.
501         * config/pa/pa.h (EXPAND_BUILTIN_VA_ARG): Remove.
502
503         * config/mn10300/mn10300-protos.h (mn10300_va_arg): Remove.
504         * config/mn10300/mn10300.c (TARGET_GIMPLIFY_VA_ARG_EXPR): New.
505         (mn10300_gimplify_va_arg_expr): Rewrite from mn10300_va_arg.
506         * config/mn10300/mn10300.h (EXPAND_BUILTIN_VA_ARG): Remove.
507
508 2004-07-09  Eric Botcazou  <ebotcazou@libertysurf.fr>
509
510         * config/sparc/sparc.md (return): Rewrite length formula.
511         * config/sparc/sparc.c (output_return): Pass 1 as 5th
512         argument to final_scan_insn when in a delay slot.
513         (output_sibcall): Likewise.
514
515 2004-07-09  Richard Earnshaw  <rearnsha@arm.com>
516
517         * arm.c (arm_cpp_interwork): New variable.
518         (arm_override_options): Set it if TARGET_INTERWORK was on the command
519         line.
520         * arm.h (arm_cpp_interwork): Declare it.
521         (TARGET_CPU_CPP_BUILTINS): Use it to control definition of
522         __THUMB_INTERWORK__ in the preprocessor.
523
524 2004-07-09  Nathan Sidwell  <nathan@codesourcery.com>
525
526         * vec.h (VEC_T_alloc): Fix MEM_STAT_DECL pasto.
527
528 2004-07-09  Eric Botcazou  <ebotcazou@libertysurf.fr>
529
530         PR target/16416
531         * config/sparc/sol2-bi.h (OPTION_DEFAULT_SPECS): New macro.
532         Override default settings to account for -m32 and -m64.
533
534 2004-07-08  Randolph Chung  <tausq@debian.org>
535
536         * pa32-linux.h (MD_FALLBACK_FRAME_STATE_FOR): Define.
537
538 2004-07-09  Alexandre Oliva  <aoliva@redhat.com>
539
540         * builtins.c (fold_builtin_strncpy): Make sure len is a constant
541         before comparing it as such.
542
543 2004-07-08  Richard Henderson  <rth@redhat.com>
544
545         * builtins.c (std_gimplify_va_arg_expr): Hoist valist into a
546         temporary.  Use bit arithmetic to align.
547
548 2004-07-08  Jerry Quinn  <jlquinn@optonline.net>
549
550         * alias.c (nonlocal_mentioned_p, nonlocal_referenced_p,
551         nonlocal_set_p, init_alias_analysis): Use, LABEL_P, JUMP_P, CALL_P,
552         NONJUMP_INSN_P, INSN_P, NOTE_P, BARRIER_P.
553         * bb-reorder.c (mark_bb_for_unlikely_executed_section,
554         add_labels_and_missing_jumps, find_jump_block,
555         fix_crossing_unconditional_branches, add_reg_crossing_jump_notes):
556         Likewise.
557         * bt-load.c (btr_referenced_p, compute_defs_uses_and_gen,
558         link_btr_uses, move_btr_def): Likewise.
559         * builtins.c (expand_builtin_longjmp, expand_builtin_nonlocal_goto,
560         expand_builtin_expect_jump): Likewise.
561         * caller-save.c (save_call_clobbered_regs, insert_one_insn): Likewise.
562         * calls.c (expand_call, emit_library_call_value_1): Likewise.
563         * cfganal.c (forwarder_block_p): Likewise.
564         * cfgbuild.c (inside_basic_block_p, count_basic_blocks,
565         make_label_edge, rtl_make_eh_edge, make_edges, find_basic_blocks_1,
566         find_bb_boundaries): Likewise.
567         * cfgcleanup.c (try_simplify_condjump, try_forward_edges,
568         merge_blocks_move_predecessor_nojumps,
569         merge_blocks_move_successor_nojumps, insns_match_p,
570         flow_find_cross_jump, outgoing_edges_match, try_crossjump_to_edge,
571         try_optimize_cfg): Likewise.
572         * cfgexpand.c (expand_block, construct_exit_block): Likewise.
573         * cfglayout.c (skip_insns_after_block, label_for_bb,
574         record_effective_endpoints, insn_locators_initialize,
575         fixup_reorder_chain, update_unlikely_executed_notes): Likewise.
576         * cfgmainloop.c (create_loop_notes): Likewise.
577         * cfgrtl.c (delete_insn, delete_insn_chain,
578         create_basic_block_structure, rtl_delete_block, free_bb_for_insn,
579         update_bb_for_insn, rtl_merge_blocks, rtl_can_merge_blocks,
580         block_label, try_redirect_by_replacing_jump, last_loop_beg_note,
581         redirect_branch_edge, force_nonfallthru_and_redirect,
582         rtl_tidy_fallthru_edge, back_edge_of_syntactic_loop_p,
583         rtl_split_edge, commit_one_edge_insertion, print_rtl_with_bb,
584         update_br_prob_note, rtl_verify_flow_info_1, rtl_verify_flow_info,
585         purge_dead_edges, cfg_layout_redirect_edge_and_branch,
586         cfg_layout_delete_block, cfg_layout_can_merge_blocks_p,
587         cfg_layout_merge_blocks, rtl_block_ends_with_call_p,
588         need_fake_edge_p, rtl_flow_call_edges_add): Likewise.
589         * combine.c (combine_instructions, can_combine_p, try_combine,
590         find_split_point, record_dead_and_set_regs, reg_dead_at_p,
591         distribute_notes, distribute_links, insn_cuid): Likewise.
592         * cse.c (fold_rtx, cse_insn, cse_around_loop,
593         invalidate_skipped_block, cse_set_around_loop,
594         cse_end_of_basic_block, cse_main, cse_basic_block,
595         cse_condition_code_reg): Likewise.
596         * cselib.c (cselib_process_insn): Likewise.
597         * ddg.c (create_ddg): Likewise.
598         * df.c (df_insn_refs_record, df_bb_rd_local_compute, df_insns_modify):
599         Likewise.
600         * dwarf2out.c (dwarf2out_stack_adjust, dwarf2out_frame_debug,
601         gen_label_die, dwarf2out_var_location): Likewise.
602         * emit-rtl.c (get_first_nonnote_insn, get_last_nonnote_insn,
603         next_insn, previous_insn, next_nonnote_insn, prev_nonnote_insn,
604         last_call_insn, active_insn_p, next_label, prev_label,
605         link_cc0_insns, next_cc0_user, try_split, add_insn_after,
606         add_insn_before, remove_insn, add_function_usage_to,
607         reorder_insns, find_line_note, remove_unnecessary_notes,
608         emit_insn_after_1, classify_insn): Likewise.
609         * except.c (convert_from_eh_region_ranges_1, emit_to_new_bb_before,
610         connect_post_landing_pads, sjlj_mark_call_sites,
611         sjlj_emit_function_enter, sjlj_emit_function_exit, reachable_handlers,
612         can_throw_internal, can_throw_external, set_nothrow_function_flags,
613         convert_to_eh_region_ranges): Likewise.
614         * explow.c (optimize_save_area_alloca): Likewise.
615         * expr.c (expand_expr_real): Likewise.
616         * final.c (insn_current_reference_address, compute_alignments,
617         shorten_branches, final, scan_ahead_for_unlikely_executed_note,
618         final_scan_insn, output_asm_label, leaf_function_p): Likewise.
619         * flow.c (first_insn_after_basic_block_note, delete_dead_jumptables,
620         propagate_block_delete_insn, propagate_one_insn,
621         init_propagate_block_info, propagate_block, libcall_dead_p,
622         mark_set_1, attempt_auto_inc, find_auto_inc, try_pre_increment):
623         Likewise.
624         * function.c (instantiate_virtual_regs, reorder_blocks_1,
625         expand_function_start, expand_function_end, contains,
626         thread_prologue_and_epilogue_insns,
627         reposition_prologue_and_epilogue_notes): Likewise.
628         * gcse.c (constprop_register, bypass_conditional_jumps,
629         insert_insn_end_bb, gcse_after_reload): Likewise.
630         * genemit.c (gen_expand, gen_split): Likewise.
631         * genpeep.c (gen_peephole, main): Likewise.
632         * global.c (build_insn_chain): Likewise.
633         * graph.c (node_data, print_rtl_graph_with_bb): Likewise.
634         * haifa-sched.c (unlink_other_notes, unlink_line_notes,
635         get_block_head_tail, no_real_insns_p, rm_line_notes, save_line_notes,
636         restore_line_notes, rm_redundant_line_notes, rm_other_notes,
637         ok_for_early_queue_removal, set_priorities, sched_init): Likewise.
638         * ifcvt.c (count_bb_insns, first_active_insn, last_active_insn,
639         cond_exec_process_insns, end_ifcvt_sequence, noce_process_if_block,
640         merge_if_block, block_jumps_and_fallthru_p, find_if_block,
641         dead_or_predicable): Likewise.
642         * integrate.c (try_constants): Likewise.
643         * jump.c (rebuild_jump_labels, cleanup_barriers,
644         purge_line_number_notes, init_label_info, mark_all_labels,
645         squeeze_notes, get_label_before, get_label_after,
646         reversed_comparison_code_parts, simplejump_p, pc_set,
647         returnjump_p, onlyjump_p, follow_jumps, mark_jump_label,
648         delete_barrier, delete_prior_computation, delete_computation,
649         delete_related_insns, delete_for_peephole, redirect_jump):
650         Likewise.
651         * lcm.c (optimize_mode_switching): Likewise.
652         * local-alloc.c (validate_equiv_mem, update_equiv_regs, block_alloc):
653         Likewise.
654         * loop-doloop.c (doloop_valid_p, doloop_optimize): Likewise.
655         * loop-invariant.c (find_exits, find_invariants_bb): Likewise.
656         * loop-iv.c (simplify_using_assignment): Likewise.
657         * loop.c (compute_luids, loop_optimize, scan_loop, libcall_other_reg,
658         libcall_benefit, skip_consec_insns, move_movables, prescan_loop,
659         find_and_verify_loops, labels_in_range_p, for_each_insn_in_loop,
660         loop_bivs_init_find, strength_reduce, check_insn_for_bivs,
661         check_insn_for_givs, check_final_value, update_giv_derive,
662         basic_induction_var, product_cheap_p, check_dbra_loop,
663         loop_insn_first_p, last_use_this_basic_block,
664         canonicalize_condition, get_condition, loop_regs_scan, load_mems,
665         try_copy_prop, LOOP_BLOCK_NUM, loop_dump_aux): Likewise.
666         * modulo-sched.c (doloop_register_get, find_line_note, sms_schedule,
667         sms_schedule_by_order): Likewise.
668         * optabs.c (emit_no_conflict_block, emit_libcall_block): Likewise.
669         * postreload.c (reload_cse_simplify_operands, reload_combine,
670         reload_cse_move2add): Likewise.
671         * predict.c (can_predict_insn_p, estimate_probability,
672         expected_value_to_br_prob, process_note_predictions): Likewise.
673         * print-rtl.c (print_rtx, print_rtl, print_rtl_single): Likewise.
674         * profile.c (branch_prob): Likewise.
675         * ra-build.c (live_out_1, livethrough_conflicts_bb,
676         detect_webs_set_in_cond_jump): Likewise.
677         * ra-debug.c (ra_print_rtx_object, ra_debug_insns,
678         ra_print_rtl_with_bb): Likewise.
679         * ra-rewrite.c (insert_stores, rewrite_program2): Likewise.
680         * recog.c (next_insn_tests_no_inequality, find_single_use,
681         split_all_insns, peephole2_optimize, if_test_bypass_p): Likewise.
682         * reg-stack.c (next_flags_user, record_label_references,
683         emit_swap_insn, swap_rtx_condition, subst_stack_regs,
684         compensate_edge, convert_regs_1): Likewise.
685         * regclass.c (scan_one_insn): Likewise.
686         * regmove.c (optimize_reg_copy_1, optimize_reg_copy_2, fixup_match_2,
687         regmove_optimize, fixup_match_1, single_set_for_csa,
688         combine_stack_adjustments_for_block): Likewise.
689         * regrename.c (build_def_use, copyprop_hardreg_forward_1): Likewise.
690         * reload.c (find_reloads, find_reloads_address_1, subst_reloads,
691         find_equiv_reg): Likewise.
692         * reload1.c (reload, calculate_needs_all_insns, set_label_offsets,
693         reload_as_needed, emit_input_reload_insns, do_output_reload,
694         delete_output_reload, delete_address_reloads_1, fixup_abnormal_edges):
695         Likewise.
696         * reorg.c (find_end_label, emit_delay_sequence,
697         delete_from_delay_slot, delete_scheduled_jump, optimize_skip,
698         get_jump_flags, rare_destination, mostly_true_jump,
699         try_merge_delay_insns, redundant_insn, own_thread_p,
700         fill_simple_delay_slots, fill_slots_from_thread,
701         fill_eager_delay_slots, relax_delay_slots, make_return_insns,
702         dbr_schedule): Likewise.
703         * resource.c (find_basic_block, next_insn_no_annul,
704         find_dead_or_set_registers, mark_target_live_regs): Likewise.
705         * rtl.h (RTX_PREV): Likewise.
706         * rtlanal.c (global_reg_mentioned_p, no_labels_between_p,
707         no_jumps_between_p, reg_used_between_p, reg_referenced_between_p,
708         reg_set_p, find_last_value, dead_or_set_regno_p, find_reg_fusage,
709         find_regno_fusage, pure_call_p, replace_label, rtx_referenced_p_1,
710         tablejump_p, computed_jump_p, insns_safe_to_move_p,
711         find_first_parameter_load, can_hoist_insn_p): Likewise.
712         * sched-deps.c (get_condition, add_dependence, sched_analyze_2,
713         sched_analyze_insn, sched_analyze, add_forward_dependence): Likewise.
714         * sched-ebb.c (fix_basic_block_boundaries, add_deps_for_risky_insns,
715         schedule_ebbs): Likewise.
716         * sched-rgn.c (is_cfg_nonregular, find_conditional_protection,
717         is_conditionally_protected, can_schedule_ready_p,
718         add_branch_dependences, debug_dependencies): Likewise.
719         * stmt.c (emit_nop, expand_start_case, emit_jump_if_reachable):
720         Likewise.
721         * unroll.c (unroll_loop, copy_loop_body, back_branch_in_range_p,
722         reg_dead_after_loop, loop_find_equiv_value, loop_iterations,
723         set_dominates_use, ujump_to_loop_cont): Likewise.
724         * var-tracking.c (prologue_stack_adjust, vt_initialize): Likewise.
725         * varasm.c (output_constant_pool_1): Likewise.
726
727 2004-07-08  Zdenek Dvorak  <rakdver@atrey.karlin.mff.cuni.cz>
728
729         * tree-scalar-evolution.c: New file.
730         * tree-scalar-evolution.h: New file.
731         * tree-ssa-loop-niter.c: New file.
732         * Makefile.in (SCEV_H): New.
733         (tree-scalar-evolution.o, tree-ssa-loop-niter.o): Add new files.
734         * cfgloop.h (struct loop): Add bounds field.
735         * tree-flow.h (struct tree_niter_desc): New type.
736         (number_of_iterations_cond, number_of_iterations_exit,
737         loop_niter_by_eval, find_loop_niter_by_eval,
738         estimate_numbers_of_iterations, can_count_iv_in_wider_type,
739         free_numbers_of_iterations_estimates): Declare.
740         * tree.h (lower_bound_in_type, upper_bound_in_type): Declare.
741         * params.def (PARAM_MAX_ITERATIONS_TO_TRACK): New parameter.
742         * doc/invoke.texi (max-iterations-to-track): Document.
743
744 2004-07-08  Kaz Kojima  <kkojima@gcc.gnu.org>
745
746         * config/sh/sh.c (sh_va_arg): Initinalize lab_over.
747         * config/sh/sh.h (CONST_OK_FOR_J16): Use parentheses.
748         (MODE_AFTER): Add cast appropriately.
749         * config/sh/sh.md (movdi splitter): Likewise.
750         (casesi_worker_2): Add const qualifier appropriately.
751         (eh_return): Remove unused variable.
752         (insv): Initialize v;
753
754 2004-07-08  Richard Henderson  <rth@redhat.com>
755
756         * config/mmix/mmix-protos.h (mmix_expand_builtin_va_arg): Remove.
757         * config/mmix/mmix.c (TARGET_GIMPLIFY_VA_ARG_EXPR): New.
758         (mmix_gimplify_va_arg_expr): Rewrite from mmix_expand_builtin_va_arg.
759         * config/mmix/mmix.h (EXPAND_BUILTIN_VA_ARG): Remove.
760         (FRAME_POINTER_REQUIRED): Use current_function_has_nonlocal_label.
761
762         * config/m32r/m32r-protos.h (m32r_va_arg): Remove.
763         * config/m32r/m32r.c (TARGET_GIMPLIFY_VA_ARG_EXPR): New.
764         (m32r_gimplify_va_arg_expr): Rewrite from m32r_va_arg.
765         * config/m32r/m32r.h (EXPAND_BUILTIN_VA_ARG): Remove.
766
767         * config/iq2000/iq2000-protos.h (iq2000_va_arg): Remove.
768         * config/iq2000/iq2000.c (TARGET_GIMPLIFY_VA_ARG_EXPR): New.
769         (iq2000_gimplify_va_arg_expr): Rewrite from iq2000_va_arg.
770         * config/iq2000/iq2000.h (EXPAND_BUILTIN_VA_ARG): Remove.
771
772         * config/frv/frv-protos.h (frv_expand_builtin_va_arg): Remove.
773         * config/frv/frv.c (TARGET_GIMPLIFY_VA_ARG_EXPR): New.
774         (frv_gimplify_va_arg_expr): Rewrite from frv_expand_builtin_va_arg.
775         * config/frv/frv.h (EXPAND_BUILTIN_VA_ARG): Remove.
776
777         * config/i860/i860-protos.h (i860_va_arg): Remove.
778         * config/i860/i860.c (TARGET_GIMPLIFY_VA_ARG_EXPR): New.
779         (i860_gimplify_va_arg_expr): Rewrite from i860_va_arg.
780         * config/i860/i860.h (EXPAND_BUILTIN_VA_ARG): Remove.
781
782 2004-05-31  Aaron W. LaFramboise <aaronraolete36@aaronwl.com>
783
784         * system.h: Prototype getpagesize if missing.
785         * configure.ac: Add getpagesize to gcc_AC_CHECK_DECLS.
786         * configure: Regenerate.
787         * config.in: Regenerate.
788
789 2004-07-08  Richard Henderson  <rth@redhat.com>
790
791         * config/fr30/fr30-protos.h (fr30_va_arg): Remove.
792         * config/fr30/fr30.c (TARGET_GIMPLIFY_VA_ARG_EXPR): New.
793         (fr30_gimplify_va_arg_expr): New.
794         (fr30_pass_by_reference, fr30_pass_by_value, fr30_va_arg): Remove.
795         * config/fr30/fr30.h (EXPAND_BUILTIN_VA_ARG): Remove.
796
797 2004-07-08  Vladimir Makarov  <vmakarov@redhat.com>
798
799         PR target/16414
800         * config/ia64/ia64.c (ia64_dfa_new_cycle): Fix typo in comparison
801         of asm_noperands result.
802
803 2004-07-08  Richard Henderson  <rth@redhat.com>
804
805         * config/cris/cris-protos.h (cris_expand_builtin_va_arg): Remove.
806         * config/cris/cris.c (TARGET_GIMPLIFY_VA_ARG_EXPR): New.
807         (cris_gimplify_va_arg_expr): Rewrite from cris_expand_builtin_va_arg.
808         * config/cris/cris.h (EXPAND_BUILTIN_VA_ARG): Remove.
809
810 2004-07-08  Richard Henderson  <rth@redhat.com>
811
812         * builtins.c (ind_gimplify_va_arg_expr): New.
813         * tree.h (ind_gimplify_va_arg_expr): Declare.
814         * config/arc/arc.c (arc_gimplify_va_arg_expr): Use it.
815
816 2004-07-08  Jan Beulich  <jbeulich@novell.com>
817
818         * expmed.c (extract_bit_field): Correct condition to use vec_extract
819         patterns also on vector elements other than the first one.
820         * config/i386/i386.md (vec_extractv2df, vec_extractv4sf): Add missing
821         break statements.
822
823 2004-07-08  Geoffrey Keating  <geoffk@apple.com>
824
825         * config/rs6000/darwin-ldouble.c: Correct reference
826         to the Linnainmaa paper.
827
828 2004-07-08  Richard Henderson  <rth@redhat.com>
829
830         * config/arc/arc-protos.h (arc_va_arg): Remove.
831         * config/arc/arc.c (TARGET_GIMPLIFY_VA_ARG_EXPR): New.
832         (arc_gimplify_va_arg_expr): Rewrite from arc_va_arg.
833         * config/arc/arc.h (EXPAND_BUILTIN_VA_ARG): Remove.
834
835         * config/c4x/c4x-protos.h (c4x_va_arg): Remove.
836         * config/c4x/c4x.c (TARGET_GIMPLIFY_VA_ARG_EXPR): New.
837         (c4x_gimplify_va_arg_expr): Rewrite from c4x_va_arg.
838         * config/c4x/c4x.h (EXPAND_BUILTIN_VA_ARG): Remove.
839
840 2004-07-08  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
841
842         * pa.md (prefetch_32, prefetch_64): Simplify constraint checks.
843
844 2004-07-08  Zack Weinberg  <zack@codesourcery.com>
845
846         * c-decl.c (static_ctors, static_dtors): Make static.
847         (pop_file_scope): Call c_common_write_pch and
848         cgraph_finalize_compilation_unit here.
849         (build_cdtor): Moved here from c-objc-common.c; simplify.
850         (c_write_global_declarations_1): Clarify comment.
851         (c_write_global_declarations): Close the external scope before
852         doing anything else.  Call build_cdtor, cgraph_optimize, and
853         mudflap_finish_file here.
854         * c-lang.c (finish_file): Don't call c_objc_common_finish_file.
855         Clarify comment.
856         * c-objc-common.c: No need to include cgraph.h.
857         (build_cdtor): Moved to c-decl.c.
858         (c_objc_common_finish_file): Delete.
859         * c-tree.h: Update to match.
860         * objc/objc-act.c (finish_file): Don't call c_objc_common_finish_file.
861         (generate_static_references): Set TREE_USED before calling finish_decl.
862         Eliminate unnecessary dummy declaration.  Call rest_of_decl_compilation
863         on the static_instances_decl.
864
865 2004-07-08  Zack Weinberg  <zack@codesourcery.com>
866
867         * c-decl.c (pop_scope): Do not set DECL_CONTEXT on file-scope
868         decls when there is only one input translation unit.
869         * langhooks.c (lhd_set_decl_assembler_name): Partially revert
870         change of 2004-07-05; do not treat declarations with
871         DECL_CONTEXT a TRANSLATION_UNIT_DECL specially.
872         * opts.c (cur_in_fname): Delete.
873         * opts.h: Likewise.
874         * tree.c: Revert changes of 2004-07-05; no special treatment
875         for TRANSLATION_UNIT_DECLs.
876         * Makefile.in (tree.o): Update dependencies.
877
878 2004-07-08  Roger Sayle  <roger@eyesopen.com>
879
880         * builtins.c (fold_builtin_strcpy): Merge functionality from
881         simplify_builtin_strcpy.  Add additional len argument.  No longer
882         static.  Remove function prototype.
883         (fold_builtin_strncpy): Likewise integrate functionality from
884         simplify_builtin_strncpy.  Add additional slen argument.  No
885         longer static.  Remove function prototype.
886         (simplify_builtin_strcy, simplify_builtin_strncpy): Delete.
887         (simplify_builtin_fputs): Rename to fold_builtin_fputs.  Change
888         types of "ignore" and "unlocked" parameters to bool.
889         (fold_builtin_1):  Add additional ignore argument.  Call renamed
890         fold_builtin_fputs to simplify GCC "fputs" and "fputs_unlocked"
891         builtins.  Update arguments to fold_builtin_strncpy and
892         fold_builtin_strcpy.  Add function prototype.
893         (fold_builtin): Add additional Boolean ignore argument to pass
894         to fold_builtin_1.
895         (simplify_builtin): Call fold_builtin_fputs, fold_builtin_strcpy
896         and fold_builtin_strncpy instead of simplify_builtin_fputs,
897         simplify_builtin_strcpy and simplify_builtin_strncpy respectively.
898
899         * expr.h (simplify_builtin_fputs, simplify_builtin_strcpy,
900         simplify_builtin_strncpy): Delete function prototypes.
901         * tree.h (fold_builtin_fputs, fold_builtin_strcpy,
902         fold_builtin_strncpy): Add function prototypes here.
903         (fold_builtin): Update function prototype with new "bool ignore".
904
905         * tree-ssa-ccp.c (ccp_fold): Update call to fold_builtin.
906         (ccp_fold_builtin):  Update call to fold_builtin.  Call
907         fold_builtin_fputs, fold_builtin_strcpy and fold_builtin_strncpy
908         instead of simplify_builtin_fputs, simplify_builtin_strcpy and
909         simplify_builtin_strncpy respectively.
910         * fold-const.c (fold): Update call to fold_builtin.
911
912 2004-07-08  Alexandre Oliva  <aoliva@redhat.com>
913
914         * builtins.c (expand_builtin_stpcpy): Un-simplify decay of stpcpy
915         to strcpy.
916
917         * expr.h (FUNCTION_ARG_PARTIAL_NREGS): Default to 0.
918         (FUNCTION_ARG_PASS_BY_REFERENCE): Likewise.
919         (FUNCTION_ARG_CALLEE_COPIES): Likewise.
920         * calls.c: Remove ifdefs of macros above.
921         * functions.c: Likewise.
922         * expr.c: Likewise.
923
924 2004-07-08  Eric Botcazou  <ebotcazou@libertysurf.fr>
925
926         * config/sparc/sparc.md (UNSPECV_GOTO_V9): Delete.
927         (arch attribute): Delete.
928         (current_function_calls_alloca attribute): Rename into calls_alloca.
929         (calls_eh_return): New attribute.
930         (leaf_function): Likewise.
931         (length attribute): Fix formula for sibcalls.
932         (return insn): Correctly compute the 'length' attribute.
933         (do_builtin_setjmp_setup): Adjust use of current_function_calls_alloca.
934
935 2004-07-08  Richard Henderson  <rth@redhat.com>
936
937         * tree-cfg.c (make_exit_edges): Use get_call_expr_in.
938         (remove_useless_stmts_1, is_ctrl_altering_stmt): Likewise.
939         (tree_block_ends_with_call_p, need_fake_edge_p): Likewise.
940         * tree-eh.c (lower_eh_constructs_1): Likewise.
941         * tree-sra.c (sra_walk_modify_expr): Likewise.
942         * tree-ssa-dce.c (mark_stmt_if_obviously_necessary): Likewise.
943         (eliminate_unnecessary_stmts): Likewise.
944         * tree-ssa-dse.c (dse_optimize_stmt): Likewise.
945         * tree-tailcall.c (optimize_tail_call): Likewise.
946         * tree-ssa-ccp.c (get_rhs, set_rhs): Reorg to use switch.
947
948 2004-07-08  Paolo Bonzini  <bonzini@gnu.org>
949             Jakub Jelinek  <jakub@redhat.com>
950
951         * config/i386/i386.c (override_options): Enable
952         SSE prefetches with -mtune, as long as we are
953         compiling for i686 or higher.  All i686 processors
954         accept SSE prefetches as NOPS, some i586's don't.
955
956 2004-07-08  Eric Botcazou  <ebotcazou@libertysurf.fr>
957
958         PR target/10567
959         * config/sparc/sparc.md (update_return): Honor flag_delayed_branch.
960
961 2004-07-08  Diego Novillo  <dnovillo@redhat.com>
962
963         * tree-ssa-operands.c (get_asm_expr_operands): Fix thinkos in
964         the handling of clobbering ASM_EXPRs.
965
966 2004-07-08  Eric Botcazou  <ebotcazou@libertysurf.fr>
967
968         PR target/16430
969         * config/sparc/sparc.c (function_value): In 64-bit mode,
970         return the aggregates larger than 16 bytes like unions.
971
972 2004-07-08  Eric Botcazou  <ebotcazou@libertysurf.fr>
973
974         PR target/16199
975         * config/sparc/sparc.c (sparc_emit_set_symbolic_const64): When
976         'temp' is zero, generate new pseudos as needed and emit the
977         sequence of insns in single-assignment form.  Resync comments
978         with code.
979         (sparc_emit_set_const64): Pass zero as 'temp' argument to above
980         function before reload.
981
982 2004-07-08  Nathan Sidwell  <nathan@codesourcery.com>
983
984         * vec.c (vec_assert_fail): Remove duplicate 'function'.
985
986         * vec.c (vec_p_reserve, vec_o_reserve): Allocation is signed.
987
988         * vec.h (VEC_alloc, VEC_embedded_size, VEC_embedded_init):
989         Allocation is signed.
990         (VEC_reserve): Return flag, allocation is signed.
991
992 2004-07-08  Richard Henderson  <rth@redhat.com>
993
994         * tree-ssa-ccp.c (fold_stmt): Get type directly from
995         OBJ_TYPE_REF_OBJECT.
996
997 2004-07-08  Joseph S. Myers  <jsm@polyomino.org.uk>
998             Neil Booth  <neil@daikokuya.co.uk>
999
1000         PR c/2511
1001         PR c/3325
1002         * c-decl.c (finish_struct): Ensure bit-fields are given the
1003         correct type.
1004         * c-common.c (c_common_signed_or_unsigned_type): For C, require
1005         the precision to match as well as the mode.
1006         * expr.c (reduce_to_bit_field_precision): New function.
1007         (expand_expr_real_1): Reduce expressions of bit-field type to
1008         proper precision.
1009         * langhooks.h (reduce_bit_field_operations): New hook.
1010         * langhooks-def.h (LANG_HOOKS_REDUCE_BIT_FIELD_OPERATIONS):
1011         Define.
1012         * c-lang.c, objc/objc-lang.c
1013         (LANG_HOOKS_REDUCE_BIT_FIELD_OPERATIONS): Define.
1014         * objc/objc-act.c (check_ivars): Convert types to bit-field types
1015         before checking.
1016         * tree.c (build_nonstandard_integer_type): New function.
1017         * tree.h (build_nonstandard_integer_type): New prototype.
1018         * tree-ssa.c (tree_ssa_useless_type_conversion_1): Don't treat
1019         conversions between integer and boolean types as useless.
1020
1021 2004-07-08  Paolo Bonzini  <bonzini@gnu.org>
1022
1023         * c-common.c (c_common_nodes_and_builtins): Do not
1024         create __builtin_ptrdiff_t and __builtin_size_t.
1025
1026 2004-07-08  Andrew Pinski  <apinski@apple.com>
1027
1028         * Makefile.in (libbackend.o): Add -combine to the gcc
1029         command line.
1030
1031 2004-07-08  Nick Clifton  <nickc@redhat.com>
1032
1033         * config/stormy16/t-stormy16 (TARGET_LIBGCC2_CFLAGS): Define.
1034         Set to -Os.
1035
1036 2004-07-08  Richard Henderson  <rth@redhat.com>
1037
1038         * except.c (expand_eh_region_start, expand_eh_region_end,
1039         expand_eh_handler, expand_eh_region_end_cleanup,
1040         expand_start_all_catch, expand_start_catch, expand_end_catch,
1041         expand_end_all_catch, expand_eh_region_end_allowed,
1042         expand_eh_region_end_must_not_throw, expand_eh_region_end_throw,
1043         expand_eh_region_end_fixup): Remove.
1044         * stmt.c (struct nesting): Remove stack_level, innermost_stack_block,
1045         cleanups, outer_cleanups, label_chain, exception_region.
1046         (struct goto_fixup): Remove stack_level, cleanup_list_list.
1047         (struct label_chain): Remove.
1048         (struct stmt_status): Remove x_stack_block_stack.
1049         (stack_block_stack, expand_goto_internal, expand_fixup, expand_fixups,
1050         fixup_gotos, save_stack_pointer, expand_decl_cleanup,
1051         expand_decl_cleanup_eh, expand_cleanups, start_cleanup_deferral,
1052         end_cleanup_deferral, last_cleanup_this_contour,
1053         containing_blocks_have_cleanups_or_stack_level,
1054         any_pending_cleanups): Remove.
1055         (expand_null_return_1): Take no arguments.
1056         (expand_label, expand_naked_return, expand_return,
1057         expand_start_bindings_and_block, expand_end_bindings, expand_decl,
1058         expand_anon_union_decl, expand_start_case, pushcase, pushcase_range,
1059         expand_end_case_type): Don't use any of them.
1060         * calls.c (expand_call): Likewise.
1061         * dojump.c (do_jump): Likewise.
1062         * function.c (expand_function_end): Likewise.
1063         * expr.c (store_expr, expand_expr_real_1): Likewise.
1064         (safe_from_p): Don't handle WITH_CLEANUP_EXPR, CLEANUP_POINT_EXPR.
1065         (expand_expr_real_1): Don't handle WITH_CLEANUP_EXPR,
1066         CLEANUP_POINT_EXPR, TARGET_EXPR, TRY_CATCH_EXPR, CATCH_EXPR,
1067         EH_FILTER_EXPR, TRY_FINALLY_EXPR, GOTO_SUBROUTINE_EXPR.
1068         * fold-const.c (fold_checksum_tree): Use first_rtl_op.
1069         * gengtype.c (adjust_field_tree_exp): Remove rtl op handling.
1070         * gimplify.c (gimplify_cleanup_point_expr): Renumber operands
1071         for WITH_CLEANUP_EXPR.
1072         (gimple_push_cleanup): Likewise.
1073         * integrate.c (copy_decl_for_inlining): Don't DECL_TOO_LATE.
1074         * print-tree.c (print_node): Likewise.
1075         * tree-pretty-print.c (dump_generic_node): Remove GOTO_SUBROUTINE_EXPR.
1076         * tree.c (first_rtl_op): Always just TREE_CODE_LENGTH.
1077         (has_cleanups): Remove GOTO_SUBROUTINE_EXPR.
1078         * tree.def (WITH_CLEANUP_EXPR): Remove op1 and op2.
1079         (GOTO_SUBROUTINE_EXPR): Remove.
1080         * tree.h (WITH_CLEANUP_EXPR_RTL): Remove.
1081         (DECL_TOO_LATE): Remove.
1082         * except.h, tree.h: Update decls.
1083
1084 2004-07-08  Paolo Bonzini  <bonzini@gnu.org>
1085
1086         * explow.c (optimize_save_area_alloca): Do not accept parameters.
1087         * passes.c (rest_of_handle_final): Handle symout.
1088         (rest_of_handle_new_regalloc, rest_of_handle_old_regalloc):
1089         Push timevar here.
1090         (rest_of_handle_sched): Break out SMS.  Remove ifs for
1091         flag_schedule_insns and flag_modulo_sched.
1092         (rest_of_handle_addressof, rest_of_handle_cse2): Garbage
1093         collect at the end.
1094         (rest_of_handle_gcse2): Put under timevar TV_RELOAD_CSE_REGS.
1095         (rest_of_handle_partition_blocks, rest_of_handle_sms,
1096         rest_of_handle_if_after_reload, rest_of_handle_peephole2,
1097         rest_of_handle_mode_switching, rest_of_handle_jump,
1098         rest_of_handle_guess_branch_prob, rest_of_handle_eh,
1099         rest_of_handle_jump2, rest_of_handle_postreload,
1100         rest_of_handle_flow2, rest_of_clean_state,
1101         rest_of_handle_shorten_branches,
1102         rest_of_handle_prologue_epilogue,
1103         rest_of_handle_branch_target_load_optimize): New.
1104         (rest_of_compilation): Call the above.  Remove ggc_collect
1105         calls moved to rest_of_handle_*.
1106         * rtl.h (optimize_save_area_alloca): Do not accept parameters.
1107
1108         * dwarf2out.c (dwarf2out_begin_prologue): Use TREE_NOTHROW.
1109         * except.c (set_nothrow_function_flags): Set TREE_NOTHROW.
1110         * except.h (set_nothrow_function_flags): Update comment.
1111         * function.c (current_function_nothrow): Remove.
1112         * output.h (current_function_nothrow): Remove.
1113         * passes.c (rest_of_compilation): Do not set TREE_NOTHROW.
1114         * config/arm/arm.c (arm_compute_func_type): Use TREE_NOTHROW.
1115
1116 2004-07-08  Eric Botcazou  <ebotcazou@libertysurf.fr>
1117
1118         PR bootstrap/16326
1119         * reorg.c: Revert 2004-06-30 change.
1120         (find_end_label): If HAVE_epilogue and !HAVE_return,
1121         return 0 instead of creating a label at the end of the insn chain.
1122         (optimize_skip): Account for the failure mode of find_end_label.
1123         (fill_simple_delay_slots): Likewise.
1124         (fill_slots_from_thread): Likewise.
1125         (relax_delay_slots): Likewise.
1126
1127 2004-07-08  Diego Novillo  <dnovillo@redhat.com>
1128
1129         * tree-flow.h (addressable_vars): Declare.
1130         * tree-ssa-alias.c (addressable_vars): Define.
1131         (setup_pointers_and_addressables): Add addressable variables
1132         to addressable_vars.
1133         * tree-ssa-operands.c (get_stmt_operands): Move
1134         handling of ASM_EXPRs ...
1135         (get_asm_expr_operands): ... here.
1136         When the ASM_EXPR clobbers memory, also clobber addressable
1137         variables.
1138         * tree-ssa.c (init_tree_ssa): Initialize addressable_vars.
1139         (delete_tree_ssa): Reset addressable_vars.
1140
1141 2004-07-07  Jan Beulich  <jbeulich@novell.com>
1142             Richard Henderson  <rth@redhat.com>
1143
1144         * varasm.c (assemble_variable): Use assemble_zeros for
1145         zero-initialized variables.
1146         (categorize_decl_for_section): Honor flag_zero_initialized_in_bss
1147         for SECCAT_BSS and SECCAT_TBSS.
1148
1149 2004-07-07  Jan Beulich  <jbeulich@novell.com>
1150
1151         * varasm.c (asm_output_bss): Don't declare unless BSS_SECTION_ASM_OP.
1152
1153         * expmed.c (emit_store_flag): Also special-case double-word
1154         (in-)equality comparison against -1.
1155
1156         * config/i386/i386.c (ix86_gimplify_va_arg): Don't need temporary for
1157         passing arguments the containers for which are registers.
1158
1159         * calls.c (emit_library_call_value_1): Use mode of function parameter
1160         rather than that of argument since constants have none.
1161
1162 2004-07-08  Alexandre Oliva  <aoliva@redhat.com>
1163
1164         Introduce H8SX support.
1165         * expr.c (expand_strcpy): Renamed and moved to...
1166         * builtins.c (expand_movstr): ... here.  Tweak.
1167         (expand_builtin_strcpy): Adjust.  Use movstr if len can't be
1168         computed or has side effects.
1169         (expand_builtin_stpcpy): Likewise.  Use strcpy if return value is
1170         unused, or if mempcpy fails.  Adjust the return value in the
1171         latter case.  Use movstr if everything else fails.
1172         * doc/md.texi (movstr): Document.
1173         (movmemM, clrmemM): Fix explanation of memory block operands.
1174         * config/h8300/h8300.md (stpcpy): Renamed to...
1175         (movstr): ... this.  Adjust.
1176         2004-07-07  Alexandre Oliva  <aoliva@redhat.com>
1177         * config/h8300/h8300.md: Rename movstr*, except for movstrict*, to
1178         movmem* and clrstr* to clrmem*.
1179         2004-06-27  Alexandre Oliva  <aoliva@redhat.com>
1180         * config/h8300/h8300.c (h8300_reg_class_from_letter): Map 'D' to
1181         GENERAL_REGS, always.
1182         (h8300_swap_into_er6, h8300_swap_into_er6): Handle the case of
1183         getting the stack pointer as addr.
1184         * config/h8300/h8300.h (PREDICATE_CODES): Remove constant rtxes
1185         from general_operand_dst.
1186         * config/h8300/h8300.md (movmd_internal_normal): New, normal-mode
1187         variant of...
1188         (movmd_internal): ... this.  Add modes to operands.  Disparage `D'
1189         instead of requiring it to match only before reload.
1190         (stpcpy_internal_normal): New, normal-mode variant of...
1191         (stpcpy_internal): ... this.  Add modes to operands.  Disparage
1192         `D' instead of requiring it to match only before reload.
1193         * config/h8300/h8300-protos.h (h8300_legitimate_address_p): Add
1194         mode argument.
1195         * config/h8300/h8300.h (GO_IF_LEGITIMATE_ADDRESS): Pass it to...
1196         * config/h8300/h8300.c (h8300_legitimate_address_p): Pass it to
1197         h8300_get_index.
1198         * config/h8300/h8300.md (attr type): Add call.
1199         (attr can_delay): If type is call, set it no.
1200         (call, call_value): Set type to call.
1201         2004-06-21  Alexandre Oliva  <aoliva@redhat.com>
1202         * config/h8300/h8300.md (logicalhi3_sn, logicalsi3_sn): New.
1203         2004-06-16  Alexandre Oliva  <aoliva@redhat.com>
1204         * tree.c (get_narrower): Don't narrow integral types into
1205         non-integral types.
1206         * config/h8300/h8300.c (h8300_expand_epilogue): Initialize
1207         frame_size *before* the first use.
1208         * config/h8300/h8300.md (movstrictqi): Reintroduce post-increment
1209         on input.
1210         (peephole2): Don't widen instructions that push SP.  Move
1211         decrement of SP to the end of all stm-generating peepholes.
1212         2003-07-24  Richard Sandiford  <rsandifo@redhat.com>
1213         * config/h8300/h8300.md (insv): Prefer to use AND to clear a bitfield
1214         and OR to set it to all ones.
1215         2003-07-24  Richard Sandiford  <rsandifo@redhat.com>
1216         * config/h8300/h8300.md (can_delay): Default to "no" for bit branches.
1217         (call, call_value): Set can_delay to "no".
1218         2003-07-22  Richard Sandiford  <rsandifo@redhat.com>
1219         * config/h8300/h8300.md (extzv): Make subreg check more robust.
1220         2003-07-21  Richard Sandiford  <rsandifo@redhat.com>
1221         * config/h8300/h8300.md (*brabit): Remove.
1222         * config/h8300/h8300.md (*brabc, *brabs): Remove mode from
1223         zero_extract.  Use bit_memory_operand as the predicate for
1224         operand 1 and 'WU' as the constraint.  Check the difference
1225         between the base length and the final one when deciding which
1226         type of branch to use.
1227         2003-07-21  Richard Sandiford  <rsandifo@redhat.com>
1228         * config/h8300/h8300.md (extzv): Remove mode from operands 0 and 1.
1229         Use convert_move to extend the result for TARGET_H8300SX.  Check
1230         for QImode memory references.  Optimize the case where the
1231         destination is a paradoxical subreg.
1232         2003-07-21  Richard Sandiford  <rsandifo@redhat.com>
1233         * config/h8300/h8300.md (*movsf_h8sx): Add an r <- G alternative.
1234         * config/h8300/h8300.md (andqi): Remove bclr from h8sx version.
1235         2003-07-21  Richard Sandiford  <rsandifo@redhat.com>
1236         * config/h8300/h8300.md: Include mova.md
1237         (length_table): Add mova and mova_zero.
1238         * config/h8300/h8300.c (print_operand): Handle '%o'.  Print a length
1239         after all constant addresses for '%R', '%X', '%T' and '%S'.
1240         (h8300_mova_length): New function.
1241         (h8300_insn_length_from_table): Use it to handle mova and mova_zero.
1242         * config/h8300/t-h8300 (mova.md): Generate from genmova.sh.  Add to
1243         dependencies for s-config, etc.
1244         * config/h8300/gemova.sh: New file.
1245         * config/h8300/mova.md: Generated.
1246         2003-07-20  Alexandre Oliva  <aoliva@redhat.com>
1247         * config/h8300/h8300.c (h8300_bitfield_length): New.
1248         (nibble_operand): Adjust.
1249         (h8300_binary_length): Handle conditional binary op.
1250         (h8300_insn_length_from_table): Handle bitfield and bitbranch.
1251         * config/h8300/h8300.h: Change constraints W# and Y# to P#>X and
1252         P#<X, respectively.  The original P is now IP4>X.  Introduced P#>0
1253         and P#<0, unused so far.  W and Y are now prefixes to multi-letter
1254         constraints.  WU is introduced as a variant of U that requires a
1255         mem, and is therefore considered an EXTRA_MEMORY_CONSTRAINT.
1256         * config/h8300/h8300.md (attr type): Added bitbranch.
1257         (attr length_table): Added bitfield and bitbranch.
1258         (attr length): Compute bitbranch length.
1259         (andqi): Separate pattern for H8300SX.  Use bfld for loading the
1260         least-significant bit of a byte.
1261         (brabit, brabc, brabs): New.
1262         (insv, extzv): Emit bfst and bfld on H8300SX.
1263         (bfld, bfst, seq, sne): New.
1264         (bstzhireg, cmpstz, bstz, bistz): New.
1265         (cmpcondbset, condbset, cmpcondbclr, condbclr): New.
1266         (cmpcondbsetreg, condbsetreg, cmpcondbclrreg, condbclrreg): New.
1267         2003-07-11  Richard Sandiford  <rsandifo@redhat.com>
1268         * config/h8300/h8300.c (h8sx_binary_memory_operator): New function.
1269         (h8sx_unary_memory_operator): New function.
1270         * config/h8300/h8300.h (EXTRA_MEMORY_CONSTRAINT): Disable.
1271         (PREDICATE_CODES): Add h8sx_{unary,binary}_memory_operator.
1272         * config/h8300/h8300.md: Add peepholes to combine reloads and
1273         arithmetic insns.
1274         2003-07-10  Richard Sandiford  <rsandifo@redhat.com>
1275         * config/h8300/h830.md (cmpqi): Use 'i' rather than 'n' in constraints.
1276         (*cmphi_h8300hs, *addqi3, *addhi3_h8sx, subhi3): Likewise.
1277         (and?i, ior?i, xor?i): Likewise.
1278         2003-07-10  Richard Sandiford  <rsandifo@redhat.com>
1279         * config/h8300/h8300.c: Move enums and prototypes to head of file.
1280         Various whitespace fixes.
1281         (h8300_constant_length): New function, split out from...
1282         (h8300_displacement_size): ...here.  Rename h8300_displacement_length.
1283         (h8300_classify_operand): Use IN_RANGE.
1284         (h8300_classify_operand): Use h8300_constant_length.
1285         (h8300_short_move_mem_p): Tighten size check.
1286         (h8sx_mergeable_memrefs_p): Tighten equality check.
1287         2003-06-30  Richard Sandiford  <rsandifo@redhat.com>
1288         * config/h8300/h8300.h (TARGET_CPU_CPP_BUILTINS): Define __H8300SX__
1289         for -msx.
1290         * config/h8300/crti.asm: Use .h8300sx or .h8300sxn for -msx code.
1291         * config/h8300/crtn.asm: Likewise.
1292         * config/h8300/lib1funcs.asm: Likewise.  Use 32-bit pointers
1293         if __H8300SX__ is defined.
1294         2003-06-27  Richard Sandiford  <rsandifo@redhat.com>
1295         * config/h8300/h8300-protos.h (h8300_get_index): Add mode parameter.
1296         * config/h8300/h8300.h (GO_IF_LEGITIMATE_ADDRESS): Update accordingly.
1297         (GO_IF_MODE_DEPENDENT_ADDRESS): Treat POST_DEC, PRE_INC and indexed
1298         addresses as mode-dependent.
1299         * config/h8300/h8300.c (print_operand_address): Update call to
1300         h8300_get_index.
1301         (h8300_get_index): Take a mode argument.  Rework to fix an
1302         earlier misunderstanding.
1303         2003-06-26  Richard Sandiford  <rsandifo@redhat.com>
1304         * config/h8300/h8300.c (zero_extendqisi2): Force the source operand
1305         into a register if TARGET_H8300SX.
1306         (*zero_extendqisi2_h8300hs, *extendqisi2_h8300): Disable for
1307         TARGET_H8300SX.  Also disable related define_splits.
1308         (*zero_extendqisi2_h8sx, *extendqisi2_h8sx): New patterns.
1309         2003-06-23  Richard Sandiford  <rsandifo@redhat.com>
1310         * config/h8300/h8300.c (h8300_rtx_costs): Add h8sx handling.
1311         2003-06-20  Richard Sandiford  <rsandifo@redhat.com>
1312         * config/h8300/h8300.h (OK_FOR_Z): New macro.
1313         (EXTRA_CONSTRAINT_STR): Check it.
1314         * config/h8300/h8300.c (h8300_classify_operand): Accept null
1315         class arguments.
1316         (h8300_insn_length_from_table): Handle LENGTH_TABLE_MOV_IMM4.
1317         * config/h8300/h8300.md (length_table): Add mov_imm4.
1318         (movqi, movhi): Add Z <- W4 alternatives to h8sx patterns.
1319         2003-06-20  Richard Sandiford  <rsandifo@redhat.com>
1320         * genattrtab.c (write_eligible_delay): Allow candidate_insn to
1321         be a label.
1322         * config/h8300/h8300.h (DELAY_SLOT_LENGTH): New macro.
1323         * config/h8300/h8300.c (h8300_reorg): New function.
1324         (TARGET_MACHINE_DEPENDENT_REORG): Define.
1325         * config/h8300/h8300.md (length): Subtract the length of the
1326         delay slot from (pc) when checking the range of forward branches.
1327         (delay_slot, can_delay): New attributes.
1328         (define_delay): Add bra/s handling.
1329         (movmd_internal, return_h8sx, *return_1): Set can_delay to no.
1330         (jump): Add delayed-branch handling.
1331         2003-06-17  Richard Sandiford  <rsandifo@redhat.com>
1332         * expr.c (expand_strcpy): New function.
1333         * builtins.c (expand_builtin_strcpy): Fall back on expand_strcpy.
1334         (expand_builtin_stpcpy): Likewise.
1335         * config/h8300/h8300-protos.h (h8sx_split_movmd): Remove.
1336         (h8300_swap_into_er6, h8300_swap_out_of_er6): Declare.
1337         * config/h8300/h8300.c (h8300_reg_class_from_letter): Tweak 'd'
1338         handling to improve register allocation for -fno-omit-frame-pointer.
1339         (h8sx_split_movmd): Delete, moving er6 handling into...
1340         (h8300_swap_into_er6, h8300_swap_out_of_er6): ...these new functions.
1341         * config/h8300/h8300.md (UNSPEC_STPCPY): New unspec constant.
1342         (movmd): Add calls to copy_rtx.
1343         (movmd_internal): In the second alternative, allow the initial and
1344         final destination registers to be different .  Update the splitter
1345         accordingly.  Call h8300_swap_into_er6 and h8300_swap_out_of_er6
1346         instead of h8sx_split_movmd.
1347         (stpcpy, movsd): New expanders.
1348         (movsd_internal): New define_insn.
1349         2003-06-13  Richard Sandiford  <rsandifo@redhat.com>
1350         * config/h8300/h8300-protos.h (h8300_reg_class_from_letter): Declare.
1351         (h8sx_emit_movmd, h8sx_split_movmd): Declare.
1352         * config/h8300/h8300.h (reg_class): Add COUNTER_REGS, SOURCE_REGS
1353         and DESTINATION_REGS.
1354         (REG_CLASS_NAMES, REG_CLASS_CONTENTS): Update accordingly.
1355         (REGNO_REG_CLASS): Map er4, er5 and er6 to the new classes.
1356         (REG_CLASS_FROM_LETTER): Use h8300_reg_class_from_letter.
1357         (h8300_move_ratio): Declare.
1358         (MOVE_RATIO): Use it.
1359         * config/h8300/h8300.c (h8300_move_ratio): New variable.
1360         (h8300_init_once): Initialize it.
1361         (h8300_reg_class_from_letter): New function.
1362         (print_operand): Add an 'm' prefix for printing ".b", ".w" or ".l".
1363         (h8sx_emit_movmd, h8sx_split_movmd): New functions.
1364         * config/h8300/h8300.md (UNSPEC_MOVMD): New unspec constant.
1365         (COUNTER_REG, SOURCE_REG, DESTINATION_REG): New register constants.
1366         (movstrsi, movmd): New expanders.
1367         (movmd_internal): New insn.
1368         2003-06-06  Richard Sandiford  <rsandifo@redhat.com>
1369         * config/h8300/h8300.h (EXTRA_MEMORY_CONSTRAINT): Define.
1370         2003-06-04  Richard Sandiford  <rsandifo@redhat.com>
1371         * config/h8300/elf.h (LINK_SPEC): Use -m h8300sxnelf for -msx -mn.
1372         * config/h8300/h8300.c (asm_file_start): Use .h8300sxn likewise.
1373         2003-06-03  Richard Sandiford  <rsandifo@redhat.com>
1374         * config/h8300/h8300.c (nibble_operand): Fix warning.
1375         * config/h8300/h8300.md (movstricthi): Set adjust_length to no.
1376         (movsi_h8sx): Likewise here and the normal h8sx movhi pattern.
1377         (movsf_h8300h): Disable for TARGET_H8300SX.
1378         2003-06-03  Richard Sandiford  <rsandifo@redhat.com>
1379         * config/h8300/h8300.h (PREDICATE_CODES): Add h8300_ldm_parallel,
1380         h8300_stm_parallel and h8300_return_parallel.
1381         * config/h8300/h8300.c (h8300_push_pop, h8300_stack_offset_p,
1382         h8300_ldm_stm_regno, h8300_ldm_stm_parallel, h8300_ldm_parallel,
1383         h8300_stm_parallel, h8300_return_parallel): New functions.
1384         (h8300_expand_prologue): Don't enforce ldm/stm register alignment
1385         if TARGET_H8300SX.  Use h8300_push_pop.
1386         (h8300_expand_epilogue): Likewise.  Try to merge the return insn
1387         and final pop when generating h8sx code.  Always emit some form
1388         of return insn.
1389         * config/h8300/h8300.md: Don't enforce register alignment in
1390         stm peepholes if TARGET_H8300SX.
1391         (ldm_h8300s, stm_h8300s, return_h8sx): New patterns.
1392         (ldm_h8300s_[234], stm_h8300_[234]): Disable.
1393         (epilogue): Expect h8300_expand_epilogue to emit a return insn.
1394         2003-06-03  Richard Sandiford  <rsandifo@redhat.com>
1395         * config/h8300/t-h8300 (MULTILIB_OPTIONS): Add a -msx multilib.
1396         (MULTILIB_DIRNAMES): Add a directory for it.
1397         (MULTILIB_MATCHES): Delete.
1398         2003-05-28  Richard Sandiford  <rsandifo@redhat.com>
1399         * final.c (walk_alter_subreg): Handle addresses with subregs
1400         inside a ZERO_EXTEND or AND.
1401         * config/h8300/h8300-protos.h (h8300_get_index): Declare.
1402         * config/h8300/h8300.h (INDEX_REG_CLASS): Set to GENERAL_REGS
1403         if TARGET_H8300SX.
1404         (GO_IF_LEGITIMATE_ADDRESS): Use h8300_get_index.
1405         * config/h8300/h8300.c (print_operand_address): Handle @(dd,RnL.b),
1406         @(dd,Rn.w) and @(dd,ERn.L).
1407         (h8300_displacement_size): Take the whole address as argument.
1408         (h8300_classify_operand, h8300_short_move_mem_p): Adjust accordingly.
1409         2003-05-28  Richard Sandiford  <rsandifo@redhat.com>
1410         * config/mips/mips-protos.h (h8300_operands_match_p): Declare.
1411         (h8sx_mergeable_memrefs_p): Declare.
1412         * config/h8300/h8300.h (HAVE_POST_DECREMENT): Define to TARGET_H8300SX.
1413         (HAVE_PRE_INCREMENT): Likewise.
1414         (GO_IF_LEGITIMATE_ADDRESS): Accept pre/post increment/decrement
1415         addresses for TARGET_H8300SX,
1416         * config/h8300/h8300.c (print_operand_address): Deal with PRE_INC
1417         and POST_DEC.
1418         (movb_length_table, movl_length_table): New tables.
1419         (movw_length_table): Define to movb_length_table.
1420         (h8300_displacement_size): New, split out from...
1421         (h8300_classify_address): ...here.  Handle pre/post inc/dec.
1422         (h8300_short_immediate_length): Allow H8OP_MEM_COMPLEX operands.
1423         (h8300_insn_length_from_table): Add cases for movb, movw and movl.
1424         (h8sx_mergeable_memrefs_p, h8300_operands_match_p): New functions.
1425         (output_plussi): Use add.l #xx:3,Rn and sub.l #xx:3,Rn for h8sx.
1426         (compute_plussi_length, compute_plussi_cc): Update accordingly.
1427         (h8sx_unary_shift_operator): Get the mode from the operator.
1428         (binary_shift_operator): Likewise.
1429         * config/h8300/h8300.md: If a peephole2 applies gen_lowpart to
1430         a memory reference, check whether the reference is offsettable.
1431         (length_table): Add movb, movw and movl.
1432         (movqi): Add new h8sx pattern.  Don't force one operand to be a
1433         register when generating h8sx code.
1434         (movhi, movsi, movsf): Likewise.
1435         (movstrictqi): Use the length_table attribute.
1436         (movstricthi): Likewise.  Add h8sx alternative for mov.w #xx:3,Rn.
1437         (addqi3): Split into a define_expand and define_insn.  Don't accept
1438         memory operands in the expander.  Use h8300_operands_match_p to
1439         check for matching operands in the define_insn.
1440         (subqi3, negqi2, one_cmplqi2): Likewise.
1441         (add[hs]i3): Don't accept memory operands in the expander.  Likewise
1442         in any patterns that are unused in h8sx code.  In the h8sx patterns,
1443         use h8300_operands_match_p to check whether operands match.
1444         (sub[hs]i3, and[hi]3, ior[hs]i3, xor[hs]i3, neg[hsi]3,
1445         one_cmpl[hs]i3): Likewise.
1446         (andqi3, iorqi3, xorqi3): Likewise.  Don't call fix_bit_operand
1447         in the expander.
1448         2003-05-23  Richard Sandiford  <rsandifo@redhat.com>
1449         * config/h8300/h8300-protos.h (expand_a_shift): Return a bool.
1450         (h8300_insn_length_from_table): Add a second parameter.
1451         (output_h8sx_shift): Declare.
1452         * config/h8300/h8300.h (OK_FOR_W, OK_FOR_Y): New macros.
1453         (EXTRA_CONSTRAINT): Replace with...
1454         (EXTRA_CONSTRAINT_STR): ...this.  Use OK_FOR_W and OK_FOR_Y.
1455         (CONSTRAINT_LEN): Define, returning 2 for 'W' and 'Y'.
1456         (PREDICATE_CODES): Add entries for h8sx_unary_shift_operator
1457         and h8sx_binary_shift_operator.
1458         * config/h8300/h8300.c (two_insn_adds_subs_operand): Return false
1459         for TARGET_H8300SX.
1460         (bit_operand): Replace use of EXTRA_CONSTRAINT with OK_FOR_U.
1461         (bit_memory_operand, fix_bit_operand): Likewise.
1462         (h8300_length_table_for_insn): Remove.
1463         (h8300_classify_operand): Fix check for 16-bit operands in 32-bit
1464         instructions.
1465         (h8300_short_immediate_length, h8300_binary_length): New functions.
1466         (h8300_insn_length_from_table): Add an opcodes parameter.  Rework.
1467         (output_plussi): Use sub to add negative constants.
1468         (compute_plussi_length): Adjust accordingly.
1469         (h8sx_single_shift_type): New enum.
1470         (h8sx_single_shift, h8sx_unary_shift_operator,
1471         h8sx_binary_shift_operator, output_h8sx_shift): New functions.
1472         (expand_a_shift, expand_a_rotate): Emit nothing if the shift is a
1473         single h8sx instruction.  Return false in this case.
1474         * config/h8300/h8300.md (length_table): Add short_immediate.
1475         (length): Pass the operand array to h8300_insn_length_from_table.
1476         (adjust_length): Assume "no" for insns with a length_table attribute.
1477         (*cmphi_h8300hs, cmpsi): Add alternatives for #xx:3.
1478         (*addhi3_h8300hs): Don't use for h8sx.
1479         (*addhi3_h8sx): New pattern, with alternatives for add.w #xx:3
1480         and sub.w #xx:3.
1481         (ashl[qhs]i3, lshr[qhs]i3, ashr[qhs]i3, rotl[qhs]i3): Change operand
1482         1's predicate to nonimmediate_operand.  Only skip default expansion
1483         if expand_a_shift or expand_a_rotate returns true.  Add new patterns
1484         for single h8sx shift instructions.
1485         2003-05-22  Alexandre Oliva  <aoliva@redhat.com>
1486         * config/h8300/h8300.c (nibble_operand): Split out of...
1487         (reg_or_nibble_operand): ... this.
1488         * config/h8300/h8300.h (PREDICATE_CODES): Added nibble_operand.
1489         * config/h8300/h8300.md: (mulqihi3, mulhisi3, umulqihi3,
1490         umulhisi3): Introduce expand, and introduce separate insns for
1491         sign- or zero-extended REG and already-extended CONST_INT.
1492         2003-05-20  Richard Sandiford  <rsandifo@redhat.com>
1493         * config/h8300/h8300.c (h8300_unary_length): Fix miscounting.
1494         * config/h8300/h8300.md (subqi3): Generalize for h8sx.
1495         (subhi3): Likewise.  Don't accept immediates for operand 1.
1496         Remove the early clobber from second alternative of the h8300s pattern.
1497         (subsi3): Generalize for h8sx.  Force operand 2 into a register
1498         on plain h8300 targets.
1499         (subsi3_h8300): Use h8300_dst_operand for consistency with expander.
1500         (subsi3_h8300h): Generalize for h8sx.
1501         (one_cmplqi2, one_cmplhi2, one_cmplsi2): Likewise.
1502         2003-05-19  Alexandre Oliva  <aoliva@redhat.com>
1503         * config/h8300/h8300.c (reg_or_nibble_operand): New.
1504         * config/h8300/h8300.h (PREDICATE_CODES): Adjust.
1505         (TARGET_H8300SXMUL): New.
1506         (CONST_OK_FOR_P): New.
1507         (CONST_OK_FOR_LETTER_P): Adjust.
1508         * config/h8300/h8300.md (mulqihi3, mulhisi3, umulqihi3,
1509         umulhisi3): Accept 4-bit immediate on H8SX.
1510         (mulhi3, mulsi3, smulsi3_highpart, umulsi3_highpart): New.
1511         (udivsi3, divhi3, udivsi3, divsi3): New.
1512         2003-05-19  Richard Sandiford  <rsandifo@redhat.com>
1513         * config/h8300/h8300-protos.h (h8300_insn_length_from_table): Declare.
1514         * config/h8300/h8300.h (OK_FOR_Q): New macro.
1515         (EXTRA_CONSTRAINT): Use it to check the 'Q' constraint.
1516         (PREDICATE_CODES): Add h8300_src_operand and h8300_dst_operand.
1517         Add ADDRESSOF to the bit_operand entry.
1518         * config/h8300/h8300.c (h8300_dst_operand): New predicate.
1519         (h8300_src_operand): Likewise.
1520         (bit_operand): Check nonimmediate_operand rather than general_operand.
1521         Accept any nonimmediate_operand in h8sx code.
1522         (h8300_and_costs): Initialize operands[1].
1523         (h8300_rtx_costs) <AND>: Return false if the operands aren't valid.
1524         (h8300_operand_class): New enum.
1525         (h8300_length_table): New typedef.
1526         (addb_length_table, addw_length_table, addl_length_table,
1527         logicl_length_table): New tables.
1528         (logicb_length_table, logicw_length_table): New macros.
1529         (h8300_classify_operand, h8300_length_from_table,
1530         h8300_length_table_for_insn, h8300_unary_length,
1531         h8300_insn_length_from_table): New functions.
1532         (output_plussi): Only use adds and subs for register destinations.
1533         Disable redundant clause.
1534         (compute_plussi_cc): Likewise.
1535         (compute_plussi_length): Likewise.  Use h8300_length_from_table
1536         to work out the length of an insn.
1537         (output_logical_op): Only use narrower immediate instructions
1538         if the destination is a register.
1539         (compute_logical_op_cc): Likewise.
1540         (compute_logical_op_length): Likewise.  Use h8300_length_from_table.
1541         (h8300_adjust_insn_length): Tighten check for reg<->mem moves.
1542         * config/h8300/h8300.md (length_table): New attribute.
1543         (length): When an instruction has a length_table attribute, use
1544         h8300_insn_length_from_table to calculate its default length.
1545         (cmpqi): Use h8300_dst_operand for the first operand and
1546         h8300_src_operand for the second.
1547         (cmphi, *cmphi_h8300hs, cmpsi, negqi2, neghi2, neghi2_h8300h, negsi2,
1548         negsi2_h8300h, addqi3, addhi3, *addhi3_h8300, *addhi3_h8300hs, addsi3,
1549         addsi_h8300, addsi_h8300h, andhi3, andsi3, iorhi3,
1550         iorsi3, xorhi3, xorsi3): Likewise.
1551         (andqi3): Use h8300_src_operand for operand 2.  Adjust the condition
1552         so that it allows any combination of operands for TARGET_H8300SX.
1553         (iorqi3, xorqi3): Likewise.
1554         (cmpqi): Use the length_table attribute.
1555         (*cmphi_h8300hs, cmpsi, addqi, *addhi3_h8300hs, andqi3, iorqi3,
1556         xorqi3, negqi2, neghi2_h8300h, negsi2_h8300h): Likewise.
1557         (cmpqi): Add 'Q' constraint.
1558         (*cmphi_h8300hs, cmpsi, addqi, *addhi3_h8300hs, addsi_h8300h, andqi3,
1559         iorqi3, xorqi3, negqi2, neghi2_h8300h, negsi2_h8300h): Likewise.
1560         2003-05-14  Richard Sandiford  <rsandifo@redhat.com>
1561         * config/h8300/h8300.h (MASK_H8300SX): New macro.
1562         (TARGET_H8300S): True for both -ms and -msx.
1563         (TARGET_H8300SX): New macro.
1564         (TARGET_SWITCHES): Add entries for -msx and -mno-sx.
1565         * config/h8300/h8300.c (asm_file_start): Write .h8300sx for -msx.
1566         * config/h8300/elf.h (LINK_SPEC): Use -m h8300sxelf for -msx.
1567         * config/h8300/t-h8300 (MULTILIB_MATCHES): Use -ms multilibs for -msx.
1568         [Temporary change.]
1569         2003-02-28  Alexandre Oliva  <aoliva@redhat.com>
1570         * config/h8300/h8300.h (SIZE_TYPE, PTRDIFF_TYPE): Use short with
1571         16-bit pointers and 32-bit ints.
1572         * config/h8300/h8300.h (LEGITIMATE_CONSTANT_P): Accept
1573         CONST_DOUBLE with mode no wider than SImode.
1574         * config/h8300/h8300.md (extendqisi2_h8300): Add constraints for
1575         output operand.
1576         2003-02-27  Alexandre Oliva  <aoliva@redhat.com>
1577         * config/h8300/h8300.c (general_operand_src): Match CONSTANT_P_RTX
1578         or SUBREG thereof.
1579         * config/h8300/h8300.h (PREDICATE_CODES): Adjust.
1580         2003-02-22  Alexandre Oliva  <aoliva@redhat.com>
1581         * config/h8300/h8300.c (dosize): Truncate sign * size to Pmode.
1582
1583 2004-05-28  Aaron W. LaFramboise <aaronraolete36@aaronwl.com>
1584
1585         * config.gcc (i[34567]86-*-mingw32*): Enable threads by default.
1586
1587 2004-07-07  Per Bothner  <per@bothner.com>
1588
1589         * flow.c (attempt_auto_inc):  Remove now-redundant PUT_CODE.
1590
1591 2004-07-07  Mike Stump  <mrs@apple.com>
1592
1593         * darwin.h (ASM_OUTPUT_LABELREF): Fix -fno-leading-underscore.
1594         * darwin.c (machopic_non_lazy_ptr_name, machopic_stub_name)
1595         (machopic_finish): Likewise.
1596
1597 2004-07-07  Richard Henderson  <rth@redhat.com>
1598
1599         * tree-ssa-dom.c (simplify_switch_and_lookup_avail_expr): Look
1600         through any value-preserving cast.
1601
1602 2004-07-07  Alexandre Oliva  <aoliva@redhat.com>
1603
1604         * function.c (assign_parm_find_data_types): Call
1605         FUNCTION_ARG_PASS_BY_REFERENCE only if it's defined.
1606
1607 2004-07-07  Steven Bosscher  <stevenb@suse.de>
1608
1609         * tree-cfg.c (group_case_labels): Remove case labels that have
1610         the same target as the default case.
1611
1612 2004-07-07  Steven Bosscher  <stevenb@suse.de>
1613
1614         * tree-inline.c (optimize_inline_calls): Set DECL_INLINED_FNS
1615         regardless of DECL_LANG_SPECIFIC being present or not.
1616         * tree.h (DECL_NUM_STMTS): Purge.
1617
1618 2004-07-07  Andrew Pinski  <apinski@apple.com>
1619
1620         * configure: Regenerate with the right autoconf.
1621
1622 2004-07-07  David Edelsohn  <edelsohn@gnu.org>
1623
1624         * ifcvt.c (total_bb_rtx_cost): New function.
1625         (find_if_case_1): Compare rtx_cost of basic block to cost of
1626         BRANCH_COST insns.
1627         (find_if_case_2): Same.
1628
1629 2004-07-07  Eric Botcazou  <ebotcazou@libertysurf.fr>
1630
1631         PR target/10567
1632         * config/sparc/sparc.c (load_pic_register): Honor flag_delayed_branch.
1633         (output_return): Likewise.
1634         (output_sibcall): Abort if !flag_delayed_branch.
1635         (sparc_function_ok_for_sibcall): Return 0 if !flag_delayed_branch.
1636         (emit_and_preserve): New function.
1637         (sparc_output_mi_thunk): Use it.  Honor flag_delayed_branch.  Emit an
1638         indirect jump to the thunked-to function if !flag_delayed_branch.
1639         * config/sparc/sparc.md (delayed_branch): New attribute.
1640         (load_pcrel_sym): Honor flag_delayed_branch.  Use above
1641         attribute to compute the length of the insn.
1642         (goto_handler_and_restore): Likewise.
1643
1644 2004-07-07  Andrew Pinski  <apinski@apple.com>
1645
1646         PR tree-optimization/15777
1647         * fold-const.c (fold_single_bit_test): Fold the x^1 expression.
1648
1649         * expr.c (expand_expr_real_1): Fix formating.
1650         BUFFER_REF and IN_EXPR are dead.
1651         * fold-const.c (non_lvalue): BUFFER_REF is dead.
1652         * tree-inline.c (estimate_num_insns_1): Likewise.
1653         * tree-pretty-print.c (dump_generic_node): BUFFER_REF,
1654         IN_EXPR, SET_LE_EXPR, and CARD_EXPR are dead.
1655         * tree.def (BUFFER_REF, IN_EXPR, SET_LE_EXPR, CARD_EXPR): Kill.
1656
1657 2004-07-07  H.J. Lu  <hongjiu.lu@intel.com>
1658
1659         * collect2.c (dump_file): Don't call cplus_demangle if
1660         HAVE_LD_DEMANGLE is defined.
1661         (main): Pass "--demangle" to ld if no_demangle is not 0 and
1662         HAVE_LD_DEMANGLE is defined. Don't set current_demangling_style
1663         if HAVE_LD_DEMANGLE is defined.
1664
1665         * configure.ac (--with-demangler-in-ld): Added
1666         (HAVE_LD_DEMANGLE): Define if ld supports --demangle when
1667         --with-demangler-in-ld is used.
1668         * config.in: Regenerated.
1669         * configure: Likewise.
1670
1671 2004-07-07  Roger Sayle  <roger@eyesopen.com>
1672
1673         * config/rs6000/rs6000.c (struct processor_costs): Add new fields
1674         for simple floating point operations "fp", double precision
1675         multiplication "dmul", and single and double precision division
1676         "sdiv" and "ddiv".  Update all CPU variant tables as appropriate.
1677         (ppc630_cost): New table split from ppc620_cost, to distinguish
1678         differences in floating point latencies.
1679         (rs6000_override_options): Use ppc630_cost for PROCESSOR_PPC630.
1680         (rs6000_rtx_costs): Add support for single and double precision
1681         floating point addition, subtraction, multiplication, division,
1682         fused-multiply-add, fused-multiply-sub, negation, absolute value
1683         and negative absolute value.  Tweak MEM case to use prefered idiom.
1684
1685 2004-07-07  Richard Henderson  <rth@redhat.com>
1686
1687         * tree-flow-inline.h (may_propagate_copy): Move...
1688         * tree-ssa-copy.c (may_propagate_copy): ... here.  Fail if we
1689         attempt to copy between types requiring conversion.
1690         * tree-flow.h (may_propagate_copy): Update decl.
1691         * tree-ssa-dom.c (cprop_operand): Tidy redundant tests.
1692
1693 2004-07-07  Jakub Jelinek  <jakub@redhat.com>
1694
1695         * config/i386/i386.c (override_options): Don't set x86_prefetch_sse
1696         from -mtune= option.
1697
1698 2004-07-07  Alexandre Oliva  <aoliva@redhat.com>
1699
1700         * builtins.c: Rename movstr*, except for movstrict*, to
1701         movmem* and clrstr* to clrmem*.
1702         * expr.c: Likewise.
1703         * expr.h: Likewise.
1704         * genopinit.c: Likewise.
1705         * integrate.c: Likewise.
1706         * local-alloc.c: Likewise.
1707         * optabs.c: Likewise.
1708         * optabs.h: Likewise.
1709         * config/alpha/alpha.h: Likewise.
1710         * config/alpha/alpha.md: Likewise.
1711         * config/arm/arm-protos.h: Likewise.
1712         * config/arm/arm.c: Likewise.
1713         * config/arm/arm.md: Likewise.
1714         * config/avr/avr.md: Likewise.
1715         * config/c4x/c4x.c: Likewise.
1716         * config/c4x/c4x.md: Likewise.
1717         * config/frv/frv.md: Likewise.
1718         * config/i386/i386-protos.h: Likewise.
1719         * config/i386/i386.c: Likewise.
1720         * config/i386/i386.h: Likewise.
1721         * config/i386/i386.md: Likewise.
1722         * config/i860/i860.c: Likewise.
1723         * config/i860/i860.md: Likewise.
1724         * config/ip2k/ip2k.md: Likewise.
1725         * config/ip2k/libgcc.S: Likewise.
1726         * config/ip2k/t-ip2k: Likewise.
1727         * config/m32r/m32r.c: Likewise.
1728         * config/m32r/m32r.md: Likewise.
1729         * config/mcore/mcore.md: Likewise.
1730         * config/mips/mips.c: Likewise.
1731         * config/mips/mips.md: Likewise.
1732         * config/ns32k/ns32k.c: Likewise.
1733         * config/ns32k/ns32k.h: Likewise.
1734         * config/ns32k/ns32k.md: Likewise.
1735         * config/pa/pa.c: Likewise.
1736         * config/pa/pa.md: Likewise.
1737         * config/pdp11/pdp11.h: Likewise.
1738         * config/pdp11/pdp11.md: Likewise.
1739         * config/rs6000/rs6000.c: Likewise.
1740         * config/rs6000/rs6000.md: Likewise.
1741         * config/s390/s390-protos.h: Likewise.
1742         * config/s390/s390.c: Likewise.
1743         * config/s390/s390.md: Likewise.
1744         * config/sh/lib1funcs.asm: Likewise.
1745         * config/sh/sh.c: Likewise.
1746         * config/sh/sh.md: Likewise.
1747         * config/sh/t-sh: Likewise.
1748         * config/sparc/sparc.h: Likewise.
1749         * config/vax/vax.md: Likewise.
1750         * config/xtensa/xtensa.c: Likewise.
1751         * config/xtensa/xtensa.md: Likewise.
1752         * doc/invoke.texi: Likewise.
1753         * doc/md.texi: Likewise.
1754         * doc/rtl.texi: Likewise.
1755
1756 2004-07-07  Richard Sandiford  <rsandifo@redhat.com>
1757
1758         PR target/16407
1759         * config/mips/mips-protos.h (mips_declare_common_object): Declare.
1760         * config/mips/mips.c (mips_declare_common_object): New function,
1761         mostly split out from...
1762         (mips_output_aligned_decl_common): ...here.
1763         * config/mips/mips.h (ASM_OUTPUT_LOCAL): Remove in favor of...
1764         (ASM_OUTPUT_ALIGNED_LOCAL): ...this new definition.
1765         * config/mips/iris6.h (ASM_OUTPUT_ALIGNED_LOCAL): Undefine this
1766         rather than ASM_OUTPUT_LOCAL.  Call mips_declare_common_object.
1767
1768 2004-07-07  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
1769
1770         PR c/16392
1771         * function.c (assign_parms): Fix typo from previous change.
1772
1773 2004-07-07  Jason Merrill  <jason@redhat.com>
1774
1775         PR c++/15815
1776         * doc/extend.texi (C++ Interface): Correct information and
1777         discourage use.
1778
1779 2004-07-07  Vladimir Makarov  <vmakarov@redhat.com>
1780
1781         PR target/16130
1782         PR target/16142
1783         PR target/16143
1784         * config/ia64/ia64.c (ia64_dfa_new_cycle): Reset DFA state for asm
1785         insn.
1786
1787 2004-07-06  Kazuhiro Inaoka  <inaoka.kazuhiro@renesas.com>
1788
1789         PR target/1679.
1790         * config/m32r/m32r.c (m32r_function_symbol): New function:
1791         Generate a symbol name RTX with the correct m32r specific flags
1792         set.
1793         (block_move_call): Use new function to generate correct symbol.
1794         * config/m32r/m32r-protos.h: Add prototype for new funcion.
1795         * config/m32r/m32r.h (INITIALIZE_TRAMPOLINE): Use the new
1796         function.
1797
1798 2004-07-07  Nathan Sidwell  <nathan@codesourcery.com>
1799
1800         * tree.h (TYPE_BINFO_OFFSET, TYPE_BINFO_VTABLE,
1801         TYPE_BINFO_VIRTUALS, TYPE_BINFO_BASETYPES,
1802         TYPE_BINFO_BASETYPE): Remove.
1803         (BINFO_BASETYPES, BINFO_N_BASETYPES, BINFO_BASETYPE): Rename
1804         to ...
1805         (BINFO_BASE_BINFOS, BINFO_N_BASE_BINFOS, BINFO_BASE_BINFO): ...
1806         here.
1807         (BINFO_BASEACCESSES, BINFO_BASEACCESS): Rename to ...
1808         (BINFO_BASE_ACCESSES, BINFO_BASE_ACCESS): ... here.
1809         (BINFO_INHERITANCE_CHAIN): Redocument as it is actually used.
1810         (struct tree_binfo): Rename base_types to base_binfos.
1811         * alias.c (record_component_aliases): Adjust BINFO macros.
1812         * dbxout.c (dbxout_type): Likewise.
1813         * dwarf2out.c (gen_member_die): Likewise.
1814         * sdbout.c (sdbout_one_type): Likewise.
1815         * tree-dump.c (deque_and_dump): Likewise.
1816         * config/i386/i386.c (classify_argument,
1817         contains_128bit_aligned_vector_p): Likewise.
1818
1819 2004-07-07  Nick Clifton  <nickc@redhat.com>
1820
1821         * config/fr30/fr30.c (fr30_setup_incoming_varargs): Change
1822         arguments to match TARGET_SETUP_INCOMING_VARARGS prototype.
1823
1824 2004-07-07  Nathan Sidwell  <nathan@codesourcery.com>
1825
1826         * vec.h: Fix the example use.
1827
1828 2004-07-06  Richard Henderson  <rth@redhat.com>
1829
1830         * langhooks-def.h (LANG_HOOKS_GIMPLE_BEFORE_INLINING): Remove.
1831         * langhooks.h (struct lang_hooks): Remove gimple_before_inlining.
1832         * tree-inline.c (copy_body_r, setup_one_parameter,
1833         initialize_inlined_parameters, expand_call_inline,
1834         declare_inline_vars): Don't check it.
1835         (expand_calls_inline): Remove old version, rename new version
1836         from gimple_expand_calls_inline.
1837         * tree-optimize.c (execute_gimple): Remove.
1838         (pass_gimple): Don't run anything.
1839
1840 2004-07-06  Joseph S. Myers  <jsm@polyomino.org.uk>
1841
1842         * doc/sourcebuild.texi: Use semicolons instead of commas in
1843         section title.
1844
1845 2004-07-06  Richard Henderson  <rth@redhat.com>
1846
1847         * tree-sra.c (struct sra_walk_fns): Revert 2004-07-05 change.
1848         (sra_walk_modify_expr, scan_init): Likewise.
1849         (generate_element_zero): Check visited before scanning children.
1850         (generate_element_init): Set visited on error.
1851         (scalarize_init): Handle generate_element_init failure similar
1852         to use_block_copy.
1853
1854 2004-07-06  Joseph S. Myers  <jsm@polyomino.org.uk>
1855
1856         * toplev.h (NO_FRONT_END_DIAG, ATTRIBUTE_GCC_FE_DIAG): Define.
1857         (warning, error, pedwarn, sorry): Use ATTRIBUTE_GCC_FE_DIAG.
1858
1859 2004-07-06  Richard Henderson  <rth@redhat.com>
1860
1861         * config/i386/i386.c (legitimize_pic_address): Make static.
1862         (legitimize_address): Handle CONST with TLS operand.
1863         (ix86_expand_move): Don't call legitimize_pic_address directly.
1864         * config/i386/i386-protos.h (legitimize_pic_address): Remove.
1865
1866 2004-07-06  Roger Sayle  <roger@eyesopen.com>
1867
1868         * ifcvt.c (struct noce_if_info): Add a Boolean b_unconditional field.
1869         (noce_try_sign_mask): Tweak rtx_cost check if t is evaluated anyway.
1870         (noce_process_if_block): Initialize if_info.b_unconditional if insn_b
1871         is currently executed unconditionally, i.e. not in "else_bb".
1872
1873 2004-07-06  Steven Bosscher  <stevenb@suse.de>
1874
1875         * config/alpha/alpha.c (alpha_use_dfa_pipeline_interface): Remove.
1876         (TARGET_SCHED_USE_DFA_PIPELINE_INTERFACE): Define to hook_int_void_1.
1877         * config/arm/arm.c (arm_use_dfa_pipeline_interface): Remove.
1878         (TARGET_SCHED_USE_DFA_PIPELINE_INTERFACE): Define to hook_int_void_1.
1879         * config/frv/frv.c (frv_use_dfa_pipeline_interface): Remove.
1880         (TARGET_SCHED_USE_DFA_PIPELINE_INTERFACE): Define to hook_int_void_1.
1881         * config/i386/i386.c (ia32_use_dfa_pipeline_interface): Remove.
1882         (TARGET_SCHED_USE_DFA_PIPELINE_INTERFACE): Define to hook_int_void_1.
1883         * config/ia64/ia64.c (ia64_use_dfa_pipeline_interface): Remove.
1884         (TARGET_SCHED_USE_DFA_PIPELINE_INTERFACE): Define to hook_int_void_1.
1885         * config/pa/pa.c (hhpa_use_dfa_pipeline_interface): Remove.
1886         (TARGET_SCHED_USE_DFA_PIPELINE_INTERFACE): Define to hook_int_void_1.
1887         * config/sparc/sparc.c (sparc_use_dfa_pipeline_interface): Remove.
1888         (TARGET_SCHED_USE_DFA_PIPELINE_INTERFACE): Define to hook_int_void_1.
1889         * config/v850/v850.c (v850_use_dfa_pipeline_interface): Remove.
1890         (TARGET_SCHED_USE_DFA_PIPELINE_INTERFACE): Define to hook_int_void_1.
1891
1892 2004-07-06  Daniel Berlin  <dberlin@dberlin.org>
1893
1894         * dojump.c (do_jump): REFERENCE_EXPR is dead.
1895         * expr.c (expand_expr_real_1): Ditto.
1896         * tree-inline.c (estimate_num_insns_1): Ditto.
1897         * tree-pretty-print.c (dump_generic_node): Ditto.
1898         (op_symbol): Ditto.
1899         * tree.def: Ditto.
1900
1901 2004-07-06  Daniel Berlin  <dberlin@dberlin.org>
1902
1903         * tree-ssa-pre.c (reference_node_pool): New pool.
1904         (find_or_generate_expression): Class 'r' is okay too.
1905         (create_value_expr_from): Ditto.
1906         (add_to_sets): LHS should not include vuses.
1907         (eliminate): Ditto.
1908         (compute_avail): Reverse ordering of tests.
1909         Valuize INDIRECT_REF as well.
1910
1911 2004-07-06  Richard Sandiford  <rsandifo@redhat.com>
1912
1913         PR rtl-optimization/16380
1914         * loop.c (check_dbra_loop): Sink comparison instructions if they
1915         do something other than set cc0.
1916
1917 2004-07-06  James E Wilson  <wilson@specifixinc.com>
1918
1919         * doc/interface.texi (longjmp and automatic variables): Delete
1920         paragraph recommending taking the address of a variable.
1921
1922 2004-07-06  Nathan Sidwell  <nathan@codesourcery.com>
1923
1924         * vec.h (VEC_embedded_alloc): Remove.
1925         (VEC_embedded_size, VEC_embedded_init): New.
1926         (VEC_alloc, VEC_reserve, VEC_safe_push, VEC_safe_insert): Add
1927         MEM_STAT_INFO.
1928         (VEC_truncate): New.
1929         (vec_p_reserve, vec_o_reserve): Add MEM_STAT_DECL.
1930         (vec_embedded_alloc): Remove.
1931         * vec.c (vec_p_reserve, vec_o_reserve): Add MEM_STAT_DECL, adjust.
1932         (vec_embedded_alloc): Remove.
1933
1934 2004-07-06  Mark Mitchell  <mark@codesourcery.com>
1935
1936         * Makefile.in (langhooks.o): Do not depend on gt-langhooks.h.
1937         (gt-langhooks.h): Remove.
1938
1939 2004-07-06  George Helffrich <george@gly.bris.ac.uk>
1940
1941         * xcoffout.h (DBX_FINISH_SYMBOL): Fix typo.
1942
1943 2004-07-06  Eric Botcazou  <ebotcazou@libertysurf.fr>
1944
1945         * config/sparc/sparc.c (get_pc_symbol): Rename into
1946         add_pc_to_pic_symbol.
1947         (get_pc_symbol_name): Rename into add_pc_to_pic_symbol_name.
1948         (load_pic_register): Account for previous changes.
1949         Use reg_names.  Don't create the label twice.
1950         * config/sparc/sparc.md (UNSPEC_GET_PC): Rename into
1951         UNSPEC_LOAD_PCREL_SYM.
1952         (get_pc): Rename into load_pcrel_sym.  Add predicate to
1953         operands.  Remove condition.
1954
1955 2004-07-06  Nathan Sidwell  <nathan@codesourcery.com>
1956
1957         * dbxout.c (dbxout_type): Don't test whether the binfo slot of
1958         RECORD, UNION & QUAL_UNION is actually a binfo.
1959
1960         * tree.h (TREE_VIA_VIRTUAL): Rename to ...
1961         (BINFO_VIRTUAL_P): ... here. Require TREE_BINFO only.
1962         (BINFO_MARKED, BINFO_FLAG_[16]): New binfo flags.
1963         * dbxout.c (dbxout_type): Use BINFO_VIRTUAL_P.
1964         * dwarf2out.c (add_data_member_location_attribute): Likewise.
1965         (gen_inheritance_die): Likewise.
1966         * tree-dump.c (deque_and_dump): Likewise.
1967         * doc/c-tree.texi (Binfos): Add under reconstruction note.
1968
1969 2004-07-06  Steven Bosscher  <stevenb@suse.de>
1970
1971         * config/mcore/mcore.c (TARGET_SCHED_USE_DFA_PIPELINE_INTERFACE):
1972         Define.
1973         * config/mcore/mcore.md: Model memory latency with a simple DFA
1974         pipeline description instead of a define_function_unit.
1975
1976 2004-07-05  Richard Kenner  <kenner@vlsi1.ultra.nyu.edu>
1977
1978         * langhooks-def.h (LANG_HOOKS_TREE_INLINING_VAR_MOD_TYPE_P): Extra arg.
1979         * langhooks.h (var_mod_type_p): Likewise.
1980         * c-decl.c (finish_decl): Add extra arg to variably_modified_type_p.
1981         * expr.c (count_type_elements): Properly handle return from
1982         array_type_nelts and properly test for overflow.
1983         * gimplify.c (gimplify_init_constructor): Properly handle return
1984         from array_type_nelts.
1985         (gimplify_addr_expr): Remove redundant clear of TREE_SIDE_EFFECTS.
1986         * integrate.c (copy_decl_for_inlining): Correct comments.
1987         * tree-inline.c (remap_decl): Update comments, remove dead code,
1988         and copy DECL_FIELD_OFFSET and DECL_QUALIFIER, if they exist.
1989         (remap_type): Only remap if variably modified by vars in function
1990         being inlined.
1991         (copy_body_r): Use compatible_type langhooks to see when can fold.
1992         (setup_one_parameter): Don't remap type.
1993         (inline_forbidden_p_1): Add arg to variably_modified_type_p.
1994         * tree.c (recompute_tree_invarant_for_addr_expr): Properly
1995         compute TREE_INVARIANT for decl case.
1996         (find_var_from_fn): New function.
1997         (variably_modified_type_p): Add arg and call new function.
1998         * tree.h (variably_modified_type_p): Add extra arg.
1999
2000 2004-07-05  Eric Botcazou  <ebotcazou@libertysurf.fr>
2001
2002         * config/sparc/sparc.md (nonlocal_goto): Remove disabled code.
2003         (goto_handler_and_restore_v9): Delete disabled insn.
2004         (goto_handler_and_restore_v9_sp64): Likewise.
2005
2006 2004-07-05  Roger Sayle  <roger@eyesopen.com>
2007
2008         * calls.c (load_register_parameters): Call expand_shift instead
2009         of expand_binop with ashl_optab (or other shift optab) directly.
2010         * expr.c (emit_group_load, emit_group_store): Likewise.
2011         * function.c (assign_parm_setup_block): Likewise.
2012         * stmt.c (shift_return_value): Likewise.
2013
2014 2004-07-05  Jakub Jelinek  <jakub@redhat.com>
2015
2016         * expr.c (expand_assignment): Disable the bitfield += optimizations.
2017
2018 2004-07-05  Joseph S. Myers  <jsm@polyomino.org.uk>
2019
2020         * doc/sourcebuild.texi: Revert previous patch.
2021
2022 2004-07-05  Joseph S. Myers  <jsm@polyomino.org.uk>
2023
2024         * c-decl.c, config/m32r/m32r.c, expr.c, optabs.c: Don't check
2025         TARGET_MEM_FUNCTIONS.
2026         * system.h: Poison TARGET_MEM_FUNCTIONS.
2027         * libfuncs.h (LTI_bcopy, LTI_bcmp, LTI_bzero, bcopy_libfunc,
2028         bcmp_libfunc, bzero_libfunc): Remove.
2029         * optabs.c (init_obtabs): Don't set bcopy_libfunc, bcmp_libfunc or
2030         bzero_libfunc.
2031         * doc/tm.texi (TARGET_MEM_FUNCTIONS): Remove.
2032         * doc/standards.texi: Don't mention calling BSD string functions.
2033         * doc/invoke.texi: Likewise.  Mention that memmove may be called.
2034         * config/vax/t-memfuncs: New.
2035         * config/memcmp.c, config/memcpy.c, config/memmove.c,
2036         config/memset.c: New.
2037         * config/pdp11/t-pdp11 (LIB2FUNCS_EXTRA): Use these files.
2038         * config.gcc (vax-*-bsd*, vax-*-sysv*, vax-*-ultrix*): Use
2039         vax/t-memfuncs.
2040         * config/alpha/alpha.h, config/arc/arc.h, config/arm/arm.h,
2041         config/avr/avr.h, config/c4x/c4x.h, config/cris/aout.h,
2042         config/elfos.h, config/gnu.h, config/h8300/h8300.h,
2043         config/i386/gas.h, config/ia64/ia64.h, config/interix.h,
2044         config/ip2k/ip2k.h, config/lynx-ng.h, config/m32r/m32r.h,
2045         config/mcore/mcore.h, config/mips/mips.h, config/mmix/mmix.h,
2046         config/netbsd.h, config/openbsd.h, config/pa/pa.h,
2047         config/rs6000/rs6000.h, config/rtems.h, config/s390/s390.h,
2048         config/sh/sh.h, config/sparc/sparc.h, config/stormy16/stormy16.h,
2049         config/svr3.h: Don't define TARGET_MEM_FUNCTIONS.
2050
2051 2004-07-05  Richard Henderson  <rth@redhat.com>
2052
2053         * function.c (assign_parm_setup_reg): Properly rename variables in
2054         FUNCTION_ARG_CALLEE_COPIES section.
2055
2056 2004-07-05  Zack Weinberg  <zack@codesourcery.com>
2057
2058         * tree-mudflap.c: Include cgraph.h.
2059         (mf_init_extern_trees): Rename to mudflap_init.  Export.
2060         Rewrite to create synthetic declarations instead of looking
2061         up declarations from mf-runtime.h.
2062         (mf_make_builtin, mf_make_cache_struct_type): New functions.
2063         (mf_cache_shift_decl, mf_cache_mask_decl, mf_unregister_fndecl):
2064         Correct commentary.
2065         (execute_mudflap_function_decls, mudflap_register_call):
2066         Don't call mf_init_extern_trees.
2067         (mudflap_finish_file): Use cgraph_build_static_cdtor.
2068
2069         * tree-mudflap.h: Update prototypes.
2070         * c-mudflap.c: Delete file.
2071         * c-common.c: Include tree-mudflap.h.
2072         (c_common_nodes_and_builtins): Call mudflap_init if appropriate.
2073         * Makefile.in: Remove all references to c-mudflap.o.
2074         Update dependencies.
2075
2076 2004-07-05  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
2077
2078         * pa.md (prefetch, prefetch_32, prefetch_64): Only allow short
2079         displacements with the spatial-locality cache-control completer.
2080
2081 2004-07-05  Zack Weinberg  <zack@codesourcery.com>
2082
2083         * langhooks.c: Don't include gt-langhooks.h.
2084         (var_labelno): Delete.
2085         (lhd_set_decl_assembler_name): Do not append a distinguishing
2086         number to file-scope internal-linkage declarations for the first
2087         input file, even if they have DECL_CONTEXT set.  Use DECL_UID of
2088         the declaration itself (if at block scope), or its containing
2089         TRANSLATION_UNIT_DECL (if at file scope) for the distinguishing
2090         number.
2091
2092         * opts.c (cur_in_fname): New global.
2093         * opts.h: Declare it.
2094         * tree.c: Include opts.h.
2095         (make_node_stat): If creating a TRANSLATION_UNIT_DECL, give it
2096         DECL_UID equal to cur_in_fname.
2097         (copy_node_stat): Do not change DECL_UID when copying a
2098         TRANSLATION_UNIT_DECL.
2099         (build_common_tree_nodes): Adjust next_decl_uid to reserve the
2100         range 0 .. num_in_fnames-1 for TRANSLATION_UNIT_DECLs.
2101
2102         * c-decl.c (c_static_assembler_name): Delete.
2103         * c-tree.h (c_static_assembler_name): Delete prototype.
2104         * c-lang.c, objc/objc-lang.c: Don't override
2105         LANG_HOOKS_SET_DECL_ASSEMBLER_NAME.
2106
2107         * Makefile.in (tree.o): Update dependencies.
2108         (GTFILES): Remove langhooks.c.
2109
2110 2004-07-05  Roger Sayle  <roger@eyesopen.com>
2111
2112         * fold-const.c (fold) <TRUNC_MOD_EXPR>: Optimize unsigned modulus
2113         by a power of two into a bit-wise AND, i.e. "X % C" as "X & (C-1)".
2114         Normalize "X % C" as "X % -C" for signed modulus and negative C.
2115         Optimize "X % -Y" as "X % Y" for signed modulus.
2116         <EQ_EXPR>: Recursively call "fold" when transforming "(X % Y) == 0"
2117         into "((unsigned) X % Y) == 0".
2118
2119 2004-07-05  Joseph S. Myers  <jsm@polyomino.org.uk>
2120
2121         * sourcebuild.texi (Config Fragments): Use @comma{} in
2122         cross-reference to section title.
2123
2124 2004-07-05  Richard Kenner  <kenner@vlsi1.ultra.nyu.edu>
2125
2126         * tree.h (DECL_SEEN_IN_BIND_EXPR_P): New macro.
2127         * gimplify.c (gimple_add_tmp_var, gimplify_bind_expr): Use it.
2128         (gimplify_target_expr, gimplify_expr): Likewise.
2129         (copy_if_shared_r): No longer need special case for BIND_EXPR.
2130         (unshare_body, unvisit_body): Only look at nested if BODY_P is
2131         whole function.
2132         (gimplify_compound_lval): See if we can strip any useless conversion.
2133         (gimplify_modify_expr, gimplify_modify_expr_to_memcpy): Take size
2134         from RHS, not LHS.
2135         (gimplify_modify_expr_to_memset): Likewise.
2136         (gimplify_expr, case CONSTRUCTOR): Handle use as statement.
2137         * tree-inline.c (setup_one_parameter): Use DECL_SEEN_IN_BIND_EXPR_P.
2138         (declare_inline_vars): Likewise.
2139         (walk_type_fields): New function.
2140         (walk_tree): Use it.
2141         * tree-nested.c (create_tmp_var_for): Show seen in BIND_EXPR.
2142
2143         * tree-sra.c (struct sra_walk_fns): Init function now returns bool.
2144         (sra_walk_modify_expr): Allow init function to fail.
2145         (scan_init): Now returns bool.
2146         (generate_element_init): If can't understand INIT, return false.
2147         (scalarize_init): Return false if generate_element_init does.
2148
2149         * tree-pretty-print.c (dump_generic_node, case ARRAY_TYPE): Properly
2150         print bounds.
2151
2152         * expr.c (expand_expr_real_1, case SWITCH_EXPR): Don't check against
2153         bounds if bounds aren't constant.
2154
2155         * tree-cfg.c (verify_expr): Use CHECK_OP in binary case.
2156
2157         * function.c, langhooks-def.h, langhooks.h: Move max_size hook
2158         to type hooks; remove bogus PARAMS.
2159
2160 2004-07-05  Nathan Sidwell  <nathan@codesourcery.com>
2161
2162         * c-tree.h (TYPE_ACTUAL_ARG_TYPES): Use TYPE_LANG_SLOT_1.
2163         * dwarf2out.c (add_data_member_location_attribute): Check for
2164         TREE_BINFO.
2165         * tree.c (tree_node_kinds): Add "binfos".
2166         (binfo_lang_slots): New.
2167         (make_node_stat): Add TREE_BINFO.
2168         (make_tree_binfo_stat): New.
2169         (tree_node_structure): Add TREE_BINFO.
2170         * tree.def (TREE_BINFO): New.
2171         * tree.h (REC_OR_UNION_CHECK): Rename to ...
2172         (RECORD_OR_UNION_CHECK): ... here.
2173         (NOT_RECORD_OR_UNION_CHECK): New.
2174         (TRE_VIA_VIRTUAL): Allow TREE_LIST or TREE_BINFO.
2175         (TYPE_FIELDS, TYPE_METHODS, TYPE_VFIELD): Adjust for
2176         RECORD_OR_UNION_CHECK.
2177         (TYPE_BINFO): Use RECORD_OR_UNION_CHECK.
2178         (TYPE_LANG_SLOT_1): New.
2179         (BINFO_TYPE, BINFO_OFFSET, BINFO_VTABLE, BINFO_VIRTUALS,
2180         BINFO_BASETYPES, TYPE_BINFO_BASETYPES, BINFO_VPTR_FIELD,
2181         BINFO_BASEACCESSES, BINFO_INHERITANCE_CHAIN): Adjust.
2182         (BINFO_ELTS): Remove.
2183         (BINFO_LANG_SLOT): New.
2184         (struct tree_binfo): New.
2185         (binfo_lang_slots): Declare.
2186         (enum tree_node_structure_enum): Add TS_BINFO.
2187         (union tree_node): Add binfo.
2188         (make_tree_binfo_stat): Declare.
2189         (make_tree_binfo): New.
2190         (enum tree_node_kind): Add binfo_kind.
2191
2192         * objc/objc-act.c (start_class, objc_declare_protocols,
2193         start_protocols): Use TYPE_LANG_SLOT_1.
2194         * objc/objc-act.h (CLASS_BINFO_ELTS, PROTOCOL_BINFO_ELTS): Rename
2195         to ...
2196         (CLASS_LANG_SLOT_ELTS, PROTOCOL_LANG_SLOT_ELTS): ... here.
2197         (CLASS_IVARS, CLASS_RAW_IVARS, CLASS_STATIC_TEMPLATE,
2198         CLASS_CATEGORY_LIST, CLASS_PROTOCOL_LIST, CLASS_OWN_IVARS,
2199         PROTOCOL_LIST, PROTOCOL_FORWARD_DECL): Use TYPE_LANG_SLOT_1.
2200
2201 2004-07-05  Steven Bosscher  <stevenb@suse.de>
2202
2203         * rtl.h (struct rtx_def): Remove the integrated flag.
2204         Use the return_val flag for MEM_SCALAR_P.
2205         Reshuffle and update flags in CLEAR_RTX_FLAGS.
2206
2207 2004-07-05  Richard Sandiford  <rsandifo@redhat.com>
2208
2209         PR target/16357
2210         * config/mips/mips.c (mips_block_move_straight): Pass BLKmode memrefs
2211         to mips_expand_unaligned_load, mips_expand_unaligned_store, and
2212         move_by_pieces.
2213
2214 2004-07-05  Josef Zlomek  <zlomekj@suse.cz>
2215
2216         * var-tracking.c: Fix some comments.
2217         (frame_stack_adjust): New.
2218         (vt_stack_adjustments): Init stack_adjust of entry block to
2219         minus stack adjustment of function prologue.
2220         (adjust_stack_reference): Do not adjust if adjustment == 0.
2221         (compute_bb_dataflow): Use plus_constant instead of gen_rtx_PLUS.
2222         (emit_notes_in_bb): Likewise.
2223         (vt_add_function_parameters): Do not adjust locations of
2224         function arguments.
2225         (vt_initialize): Compute the stack adjustment of function
2226         prologue and offset the initial "location" of frame_base_decl
2227         from the stack pointer after prologue.
2228
2229 2004-07-04  Richard Henderson  <rth@redhat.com>
2230
2231         * function.c (struct assign_parm_data_all): New.
2232         (struct assign_parm_data_one): New.
2233         (assign_parms_initialize_all, assign_parms_augmented_arg_list,
2234         assign_parm_find_data_types, assign_parms_setup_varargs,
2235         assign_parm_find_entry_rtl, assign_parm_is_stack_parm,
2236         assign_parm_find_stack_rtl, assign_parm_adjust_entry_rtl,
2237         assign_parm_adjust_stack_rtl, assign_parm_setup_block_p,
2238         assign_parm_setup_block, assign_parm_setup_reg,
2239         assign_parm_setup_stack, assign_parms_unsplit_complex): Split from ...
2240         (assign_parms): ... here.
2241
2242 2004-07-04  Daniel Berlin  <dberlin@dberlin.org>
2243
2244         * tree-ssa-pre.c (bb_value_sets): phi_gen, tmp_gen, new_sets
2245         now are bitmap_set_t's.
2246         (bitmap_insert_into_set): No point in inserting the value if
2247         it's invariant.
2248         (bitmap_set_contains): New function.
2249         (bitmap_set_replace_value): Add comment on why we do it
2250         this way.
2251         (set_contains): Removed.
2252         (bitmap_set_subtract_from_value_set): New name of
2253         set_subtract now that it's arguments are two different
2254         types of sets.
2255         Update callers.
2256         (bitmap_find_leader): Change algorithm used.
2257         (find_or_generate_expression): Update use of functions for new
2258         bitmap sets.
2259         (create_expression_by_pieces): Ditto.
2260         (insert_aux): Ditto.
2261         (insert): Ditto.
2262         (add_to_sets): Ditto.
2263         (init_pre): Ditto.
2264         (execute_pre): Ditto.
2265         (compute_avail): Ditto.
2266         Also ignore virtual phis.
2267
2268 2004-07-04  Richard Sandiford  <rsandifo@redhat.com>
2269
2270         * combine.c (simplify_comparison): Fix comment typo.
2271
2272 2004-07-04  Eric Botcazou  <ebotcazou@libertysurf.fr>
2273
2274         * config/sparc/sparc.c (SIBCALL_SLOT_EMPTY_P): Rename
2275         into LEAF_SIBCALL_SLOT_RESERVED_P after negation.
2276         (eligible_for_sibcall_delay): Adjust use of SIBCALL_SLOT_EMPTY_P.
2277         (output_restore): Change parameter from 'insn' to 'pat'.
2278         (output_return): Adjust call to output_restore.
2279         (output_sibcall): Adjust use of SIBCALL_SLOT_EMPTY_P.
2280         Adjust call to output_restore.
2281
2282 2004-07-04  Neil Booth  <neil@duron.akihabara.co.uk>
2283
2284         * config/netbsd.h (NETBSD_OS_CPP_BUILTINS_COMMON): Define __unix__
2285         and assert system is bsd.
2286
2287 2004-07-04  Richard Sandiford  <rsandifo@redhat.com>
2288
2289         * config/mips/mips.h (MASK_DEBUG_C, TARGET_DEBUG_C_MODE): Delete.
2290         (TARGET_SWITCHES): Remove -mdebugc.
2291         * config/mips/mips.md (seq, sne, sgt, sge, slt, sle, sgtu, sgeu)
2292         (sltu, sleu): Remove TARGET_DEBUG_C_MODE handling.
2293         (seq_[sd]i, sne_[sd]i, sge_[sd]i, sle_[sd]i_reg, sgeu_[sd]i)
2294         (sle_[sd]i_reg): Delete.
2295
2296 2004-07-04  Steven Bosscher  <stevenb@suse.de>
2297
2298         * config/iq2000/iq2000.c (TARGET_SCHED_USE_DFA_PIPELINE_INTERFACE):
2299         Define.
2300         * config/iq2000/iq2000.md: Translate old pipeline description to an
2301         equivalent new one.
2302
2303 2004-07-04  Roger Sayle  <roger@eyesopen.com>
2304
2305         * tree-ssa-ccp.c (set_rhs): Change function to return a bool.
2306         Ensure the replacement rhs is valid gimple before performing
2307         the substitution.  Return false if these sanity checks fail.
2308         (fold_stmt): Only set changed to true, if set_rhs returns true.
2309         (execute_fold_all_builtins): Only call modify_stmt if set_rhs
2310         succeeds.
2311
2312 2004-07-04  Richard Henderson  <rth@redhat.com>
2313
2314         PR c/16348
2315         * c-typeck.c (c_finish_loop): Don't clear cond for cond_is_first loops.
2316
2317 2004-07-04  Mark Mitchell  <mark@codesourcery.com>
2318
2319         * configure.ac (ranlib_flags): New variable.
2320         * Makefile.in (RANLIB_FLAGS): New variable.
2321         (libbackend.a): Use it.
2322         * configure: Regenerated.
2323
2324 2004-07-04  Roger Sayle  <roger@eyesopen.com>
2325
2326         * ifcvt.c (noce_try_sign_mask): Call emit_store_flag to generate
2327         a "sign mask" instead of using ashr_optab directly.
2328
2329 2004-07-04  Neil Booth  <neil@duron.akihabara.co.uk>
2330
2331         * doc/cpp.texi: Don't document what we do for ill-formed expressions.
2332         * doc/cppopts.texi: Clarify processing of command-line defines.
2333
2334 2004-07-04  Gerald Pfeifer  <gerald@pfeifer.com>
2335
2336         * doc/contrib.texi (Contributors): Adjust link for GNU Classpath.
2337
2338 2004-07-04  Richard Henderson  <rth@redhat.com>
2339
2340         * rtl.def (ADDRESSOF): Remove.
2341         * alias.c (rtx_equal_for_memref_p): Don't handle addressof.
2342         (find_base_term, memrefs_conflict_p): Likewise.
2343         * cse.c (fixed_base_plus_p, find_best_addr: Likewise.
2344         (fold_rtx, cse_insn, set_live_p): Likewise.
2345         * dwarf2out.c (mem_loc_descriptor): Likewise.
2346         (add_location_or_const_value_attribute): Likewise.
2347         * emit-rtl.c (copy_insn_1): Likewise.
2348         * explow.c (memory_address): Likewise.
2349         * expmed.c (store_split_bit_field): Likewise.
2350         * expr.c (expand_expr_real_1): Likewise.
2351         * function.c (instantiate_decl
2352         (instantiate_virtual_regs_1, fix_lexical_addr): Likewise.
2353         * genrecog.c (preds, validate_pattern): Likewise.
2354         * integrate.c (copy_rtx_and_substitute): Likewise.
2355         * recog.c (general_operand, register_operand): Likewise.
2356         (memory_address_p): Likwise.
2357         * reload1.c (eliminate_regs, elimination_effects): Likewise.
2358         * rtl.c (copy_rtx): Likewise.
2359         * rtlanal.c (rtx_unstable_p, rtx_varies_p): Likewise.
2360         (rtx_addr_can_trap_p, nonzero_address_p, address_cost): Likewise.
2361         * rtlhooks.c (gen_lowpart_general): Likewise.
2362         * stmt.c (expand_asm_operands): Likewise.
2363         * web.c (entry_register, replace_ref, web_main): Likewise.
2364         * config/alpha/alpha.c (input_operand, alpha_legitimate_address_p,
2365         alpha_expand_block_move, alpha_expand_block_clear): Likewise.
2366         * config/arm/arm.c (thumb_rtx_costs): Likewise.
2367         * config/c4x/c4x.c (c4x_valid_operands): Likewise.
2368         * config/frv/frv.c (move_destination_operand, move_source_operand,
2369         condexec_dest_operand, condexec_source_operand,
2370         condexec_memory_operand): Likewise.
2371         * config/h8300/h8300.h (PREDICATE_CODES): Likewise.
2372         * config/ia64/ia64.c (general_xfmode_operand): Likewise.
2373         (destination_xfmode_operand): Likewise.
2374         * config/mips/mips.h (PREDICATE_CODES): Likewise.
2375         * config/mn10300/mn10300.c (mn10300_address_cost_1): Likewise.
2376         * config/s390/s390.c (general_s_operand): Likewise.
2377         * config/s390/s390.md (mov*): Likewise.
2378         * config/sparc/sparc.h (PREDICATE_CODES): Likewise.
2379
2380         * c-typeck.c (c_mark_addressable): Don't put_var_into_stack.
2381         * expr.c (expand_expr_real_1): Likewise.
2382         * stmt.c (expand_decl): Likewise.
2383         * config/c4x/c4x.c (c4x_expand_builtin): Likewise.
2384
2385         * function.c (struct fixup_replacement, struct insns_for_mem_entry,
2386         postponed_insns, put_var_into_stack, put_reg_into_stack,
2387         schedule_fixup_var_refs, fixup_var_refs, find_fixup_replacement,
2388         fixup_var_refs_insns, fixup_var_refs_insns_with_hash,
2389         fixup_var_refs_insn, fixup_var_refs_1, fixup_memory_subreg,
2390         walk_fixup_memory_subreg, fixup_stack_1, optimize_bit_field,
2391         gen_mem_addressof, flush_addressof, put_addressof_into_stack,
2392         purge_bitfield_addressof_replacements, purge_addressof_replacements,
2393         purge_addressof_1, insns_for_mem_hash, insns_for_mem_comp,
2394         struct insns_for_mem_walk_info, insns_for_mem_walk,
2395         compute_insns_for_mem, is_addressof, purge_addressof, setjmp_protect,
2396         setjmp_protect_args): Remove.
2397         (push_function_context_to): Don't handle var_refs_queue.
2398         (pop_function_context_from, free_after_compilation): Likewise.
2399         (instantiate_virtual_regs): Don't handle parm_reg_stack_loc.
2400         (assign_parms, allocate_struct_function): Likewise.
2401         (use_register_for_decl): New.
2402         (expand_function_end): Don't setjmp_protect.
2403         * function.h (struct emit_status): Update commentary.
2404         (struct function): Remove x_max_parm_reg, x_parm_reg_stack_loc.
2405         (max_parm_reg, parm_reg_stack_loc): Remove.
2406         * passes.c (DFI_addressof): Remove.
2407         (dump_file_info): Remove addressof.
2408         (rest_of_handle_addressof): Remove.
2409         (rest_of_compilation): Don't call it.
2410         * rtl.h (ADDRESSOF_REGNO, ADDRESSOF_DECL): Remove.
2411         * stmt.c (expand_decl): Use use_register_for_decl.
2412         * tree.h: Update decls.
2413         * web.c (mark_addressof): Remove.
2414         * doc/invoke.texi (-dF): Remove.
2415
2416 2004-07-03  Richard Henderson  <rth@redhat.com>
2417
2418         * config/ia64/ia64.c (spill_xfmode_operand): Use assign_stack_temp
2419         instead of gen_mem_addressof.
2420         * config/ia64/ia64.md (movxf): Use assign_stack_temp to handle
2421         TImode output register.
2422
2423 2004-07-03  Richard Henderson  <rth@redhat.com>
2424
2425         PR tree-optimization/16341
2426         * tree-sra.c (sra_walk_function): Increment to next stmt before
2427         processing the current stmt.
2428         (sra_insert_after): Always use BSI_SAME_STMT.
2429
2430 2004-07-03  Richard Henderson  <rth@redhat.com>
2431
2432         * tree-ssa-dom.c (simplify_rhs_and_lookup_avail_expr): Don't fold
2433         fp plus with minus.
2434
2435 2004-07-03  Joseph S. Myers  <jsm@polyomino.org.uk>
2436
2437         * tree.c (type_hash_eq): Allow TYPE_MIN_VALUE which compares equal
2438         with tree_int_cst_equal.
2439
2440 2004-07-03  Andreas Schwab  <schwab@suse.de>
2441
2442         * config/ia64/ia64.md: Define new attribute "empty".
2443         (prologue_use, nop_x, insn_group_barrier): Set it.
2444
2445         * config/ia64/ia64.c (ia64_reorg): When looking for trailing call
2446         skip over "empty" insns.
2447
2448 2004-07-03  Richard Kenner  <kenner@vlsi1.ultra.nyu.edu>
2449
2450         * tree-inline.c (initialize_inlined_parameters): Pass proper function
2451         context to gimplify_body.
2452         (walk_tree): Don't walk into types twice.
2453         (walk_tree, case POINTER_TYPE): Deal with mutually recursive pointers.
2454
2455         * tree-sra.c (generate_element_init): Remove any useless conversions.
2456
2457         * gimplify.c (gimplify_conversion): Remove stripping useless
2458         conversions from here.
2459         (gimplify_expr): Put it here, in place of call to STRIP_MAIN_TYPE_NOPS.
2460         (gimplify_modify_expr_to_memcpy, gimplify_variable_sized_compare):
2461         Unshare before substituting PLACEHOLDER_EXPR.
2462         (gimplify_modify_expr_to_memset): Likewise.
2463         Pass address of TO to memset, not TO itself.
2464         (gimplify_init_constructor): Make copy of OBJECT so we have it each
2465         time we make an expression (to match a PLACEHOLDER_EXPR).
2466
2467         * tree-ssa.c (tree_ssa_useless_type_conversion): Also look at
2468         VIEW_CONVERT_EXPR and NON_LVALUE_EXPR.
2469         * tree-ssa-ccp.c (fold_stmt): Call just STRIP_USELESS_TYPE_CONVERSION.
2470         * tree-ssa-dom.c (local_fold): Likewise.
2471
2472         * langhooks-def.h (LANG_HOOKS_TYPE_MAX_SIZE): New langhook.
2473         * langhooks.h (strct lang_hooks): New field type_max_size.
2474         * function.c (assign_temp): Call it.
2475
2476 2004-07-03  Steven Bosscher  <stevenb@suse.de>
2477
2478         * config/sh/sh.c (sh_use_dfa_interface): Add TARGET_SH1.
2479         * config/sh/sh.md: Convert the SH1 pipeline description to
2480         a DFA model.
2481
2482 2004-07-02  Zack Weinberg  <zack@codesourcery.com>
2483
2484         * c-decl.c (struct c_binding): Remove contour field; add
2485         depth, invisible, nested fields.
2486         (B_IN_SCOPE, B_IN_CURRENT_SCOPE, B_IN_FILE_SCOPE)
2487         (B_IN_EXTERNAL_SCOPE): New convenience macros.
2488         (bind): Add invisible and nested arguments. Initialize
2489         new fields of struct c_binding; adjust loop scanning for
2490         insertion point.
2491         (free_binding_and_advance): Clear structure with memset.
2492         (pop_scope): Adjust to match.  Set DECL_CONTEXT on everything
2493         in file scope, even if it's in external scope too.
2494         (pushdecl): Adjust to match.  Create invisible file-scope
2495         declarations for block-scope forward declarations of static functions.
2496         (pushtag, warn_if_shadowing, pushdecl_top_level, implicitly_declare)
2497         (undeclared_variable, lookup_label, declare_label, define_label)
2498         (lookup_tag, lookup_name, lookup_name_in_scope, builtin_function)
2499         (c_make_fname_decl, store_parm_decls_newstyle, identifier_global_value)
2500         (store_parm_decls_oldstyle): Adjust to match.
2501         (diagnose_mismatched_decls): Correct handling of linkage clashes.
2502         (merge_decls): No need to copy C_DECL_IN_EXTERNAL_SCOPE.
2503
2504         * c-tree.h (C_DECL_IN_EXTERNAL_SCOPE): Delete.
2505         (C_DECL_DECLARED_BUILTIN, C_DECL_REGISTER): Slide down one.
2506
2507 2004-07-02  Richard Henderson  <rth@redhat.com>
2508
2509         * c-decl.c (grokdeclarator): Don't frob current_function_decl
2510         around variable_size.
2511         (set_decl_nonlocal): Remove.
2512         (store_parm_decls): Add stmts for pending sizes.
2513         * calls.c (calls_function, calls_function_1): Remove.
2514         (precompute_arguments): Don't call it.
2515         * cfgexpand.c (set_save_expr_context): Remove.
2516         (tree_expand_cfg): Don't call it.
2517         * dwarf2out.c (add_bound_info): Don't handle SAVE_EXPR.
2518         (dwarf2out_finish): Likewise.
2519         * expr.c (emit_block_move): Adjust addresses to BLKmode.
2520         (store_constructor): Don't pre-evaluate SAVE_EXPR.
2521         (safe_from_p): Don't queue SAVE_EXPRs.
2522         (expand_expr_real_1 <case SAVE_EXPR>): Rewrite to expect,
2523         or build plain VAR_DECLs.
2524         * fold-const.c (twoval_comparison_p): Don't look at SAVE_EXPR_RTL.
2525         (fold): Likewise.
2526         (fold_checksum_tree): Don't special-case SAVE_EXPR.
2527         * function.c (free_after_compilation): Don't clear x_save_expr_regs.
2528         (put_var_into_stack): Don't handle SAVE_EXPR.
2529         (gen_mem_addressof): Likewise.
2530         * function.h (struct function): Remove x_save_expr_regs.
2531         (save_expr_regs): Remove.
2532         * gengtype.c (adjust_field_tree_exp): Don't special-case SAVE_EXPR.
2533         * print-tree.c (print_node): Don't dump SAVE_EXPR_NOPLACEHOLDER.
2534         * stor-layout.c (variable_size): Don't set it.
2535         (force_type_save_exprs, force_type_save_exprs_1): Remove.
2536         * tree-inline.c (remap_save_expr): Remove fn argument.  Update
2537         all callers.  Don't set SAVE_EXPR_CONTEXT.
2538         * tree-inline.h (remap_save_expr): Update decl.
2539         * tree.c (save_expr): Update build size.
2540         (first_rtl_op): Don't handle SAVE_EXPR.
2541         (unsave_expr_1, contains_placeholder_p): Likewise.
2542         (decl_function_context): Likewise.
2543         * tree.def (SAVE_EXPR): Remove args 1 and 2.
2544         * tree.h (SAVE_EXPR_CONTEXT, SAVE_EXPR_RTL): Remove.
2545         (SAVE_EXPR_NOPLACEHOLDER, SAVE_EXPR_PERSISTENT_P): Remove.
2546
2547 2004-07-03  Joseph S. Myers  <jsm@polyomino.org.uk>
2548
2549         * doc/bugreport.texi, doc/configterms.texi, doc/contrib.texi,
2550         doc/contribute.texi, doc/cpp.texi, doc/cppinternals.texi,
2551         doc/extend.texi, doc/install.texi, doc/invoke.texi, doc/md.texi,
2552         doc/portability.texi, doc/tree-ssa.texi, doc/trouble.texi: Avoid
2553         some first-person references and patronizing comments.  Based on
2554         printed manual.
2555         * doc/invoke.texi: Don't reference fortran@gnu.org.
2556         * doc/trouble.texi (Warning when a non-void function value is
2557         ignored): Rewrite.  From Russ Allbery and Chris Devers.
2558
2559 2004-07-02  Daniel Berlin  <dberlin@dberlin.org)
2560
2561         * tree-ssa-pre.c (bitmap_set_t): New.
2562         (bb_value_sets): avail_out is now a bitmap_set_t.
2563         (bitmap_find_leader): New function.
2564         (bitmap_value_insert_into_set): Ditto.
2565         (bitmap_set_copy): Ditto.
2566         (bitmap_value_replace_in_set): Ditto.
2567         (bitmap_set_contains_value): Ditto.
2568         (bitmap_set_new): Ditto.
2569         (bitmap_set_pool): New pool.
2570         (find_or_generate_expression): Use bitmap_ functions on AVAIL sets.
2571         (insert_aux): Ditto.
2572         (add_to_sets): Ditto.
2573         (compute_avail): Ditto
2574         (eliminate): Ditto.
2575         (init_pre): Ditto.
2576         (fini_pre): Ditto.
2577         (execute_pre): Ditto.
2578
2579 2004-07-02  Roger Sayle  <roger@eyesopen.com>
2580
2581         * config/rs6000/rs6000.c (struct processor_costs): New structure
2582         used to hold instruction latencies/sizes for processor types.
2583         (rs6000_cost): New global variable pointing to current CPU's costs.
2584         (rs6000_override_options): Initialize rs6000_cost to point to the
2585         appropriate cost table based upon rs6000_cpu and optimize_size.
2586         (rs6000_rtx_costs): Use rs6000_cost to avoid hardcoding processor
2587         timings inline.
2588
2589 2004-07-02  Richard Henderson  <rth@redhat.com>
2590
2591         * expmed.c (make_tree): Don't use SET_DECL_RTL.
2592
2593 2004-07-02  Steven Bosscher  <stevenb@suse.de>
2594
2595         * tree-flow.h (bb_ann_d): Remove ephi_nodes field.
2596
2597 2004-07-01  Richard Henderson  <rth@redhat.com>
2598
2599         * config/alpha/alpha.c (struct machine_function): Add gp_save_rtx.
2600         (alpha_gp_save_rtx): Use assign_stack_local instead of
2601         gen_mem_addressof.
2602
2603 2004-07-01  Richard Henderson  <rth@redhat.com>
2604
2605         * config/alpha/alpha.c (struct alpha_rtx_cost_data): Add int_div.
2606         (alpha_rtx_cost_data): Update to match.
2607         (alpha_rtx_cost_size): New.
2608         (alpha_rtx_costs): Honor optimize_size.
2609
2610 2004-07-01  Richard Henderson  <rth@redhat.com>
2611
2612         * gimple-low.c (lower_function_body): Don't reset_block_changes here.
2613         * cfgexpand.c (tree_expand_cfg): Do it here.
2614         * config/alpha/alpha.c (alpha_output_mi_thunk_osf): And here.
2615         * config/ia64/ia64.c (ia64_output_mi_thunk): And here.
2616         * config/mips/mips.c (mips_output_mi_thunk): And here.
2617         * config/rs6000/rs6000.c (rs6000_output_mi_thunk): And here.
2618         * config/sh/sh.c (sh_output_mi_thunk): And here.
2619         * config/sparc/sparc.c (sparc_output_mi_thunk): And here.
2620
2621 2004-07-01  Richard Henderson  <rth@redhat.com>
2622
2623         * tree.def (RTL_EXPR): Remove.
2624         * c-typeck.c (lvalue_p): Don't handle it.
2625         * expr.c (safe_from_p): Likewise.
2626         (expand_expr_real_1): Likewise.
2627         * fold-const.c (non_lvalue, operand_equal_p, fold): Likewise.
2628         (fold_checksum_tree, tree_expr_nonnegative_p): Likewise.
2629         * gengtype.c (adjust_field_tree_exp): Likewise.
2630         * stmt.c (warn_if_unused_value): Likewise.
2631         * tree-gimple.c (recalculate_side_effects): Likewise.
2632         * tree-pretty-print.c (dump_generic_node): Likewise.
2633         * tree.c (make_node_stat, first_rtl_op, unsave_expr_1): Likewise.
2634         (unsafe_for_reeval, stabilize_reference, build1_stat): Likewise.
2635         * tree.h (RTL_EXPR_SEQUENCE, RTL_EXPR_RTL, RTL_EXPR_ALT_RTL): Remove.
2636
2637         * stmt.c (struct stmt_status): Remove x_last_expr_type,
2638         x_last_expr_value, x_last_expr_alt_rtl, x_expr_stmts_for_value.
2639         (last_expr_type, last_expr_value, last_expr_alt_rtl): Remove.
2640         (expand_expr_stmt): Merge with expand_expr_stmt_value.  Remove
2641         all the bits that tracked last_expr.
2642         (expand_end_bindings): Don't track last_expr.
2643         (expand_start_stmt_expr, expand_end_stmt_expr): Remove.
2644         (clear_last_expr): Remove.
2645         (expand_asm): Don't call it.
2646         (expand_asm_operands, expand_end_cond): Likewise.
2647         (expand_naked_return, expand_null_return_1): Likewise.
2648         * c-typeck.c (c_begin_compound_stmt): Likewise.
2649         * cfgexpand.c (expand_block): Use expand_expr_stmt.
2650         * expr.c (expand_expr_real_1): Likewise.
2651         * tree.h: Update prototypes.
2652
2653         * function.h (struct sequence_stack): Remove sequence_rtl_expr.
2654         (struct emit_status): Remove sequence_rtl_expr.
2655         (struct function): Remove x_rtl_expr_chain.
2656         (seq_rtl_expr, rtl_expr_chain): Remove.
2657         * function.c (struct temp_slot): Remove rtl_expr.
2658         (assign_stack_temp_for_type): Don't set it.
2659         (free_temp_slots, pop_temp_slots): Don't check it.
2660         (free_after_compilation): Don't clear x_rtl_expr_chain.
2661         (fixup_var_refs): Don't search it.
2662         (preserve_rtl_expr_result, free_temps_for_rtl_expr): Remove.
2663         * emit-rtl.c (start_sequence): Don't use sequence_rtl_expr
2664         or seq_rtl_expr.
2665         (push_topmost_sequence): Likewise.
2666         (end_sequence, init_emit): Likewise.
2667         (start_sequence_for_rtl_expr): Remove.
2668         * expmed.c (make_tree): Build a VAR_DECL instead of an RTL_EXPR.
2669         * rtl.h (preserve_rtl_expr_result): Remove.
2670
2671 2004-07-02  Kazu Hirata  <kazu@cs.umass.edu>
2672
2673         * ifcvt.c, modulo-sched.c, tree-alias-common.c, tree-sra.c,
2674         tree-ssa-copy.c, tree-ssa-dom.c, tree-ssa-pre.c: Fix comment
2675         typos.
2676
2677 2004-07-02  Aaron W. LaFramboise <aaronraolete36@aaronwl.com>
2678
2679         * gcc.c (STANDARD_STARTFILE_PREFIX_1): Define.
2680         (STANDARD_STARTFILE_PREFIX_2): Define.
2681         (standard_startfile_prefix_1): Initialize to
2682         STANDARD_STARTFILE_PREFIX_1.
2683         (standard_startfile_prefix_2): Initialize to
2684         STANDARD_STARTFILE_PREFIX_2.
2685         * config/i386/mingw32.h (MD_STARTFILE_PREFIX): Remove.
2686         (STANDARD_STARTFILE_PREFIX_1): Define.
2687         (STANDARD_STARTFILE_PREFIX_2): Define.
2688         * doc/tm.texi (STANDARD_STARTFILE_PREFIX_1): Document.
2689         (STANDARD_STARTFILE_PREFIX_2): Document.
2690
2691 2004-07-01  Richard Henderson  <rth@redhat.com>
2692
2693         * tree-sra.c (sra_walk_expr): Don't maybe_lookup_element_for_expr
2694         in order to disable scalarization.  Instead set a flag and wait
2695         for a candidate decl.
2696
2697 2004-07-01  Joseph S. Myers  <jsm@polyomino.org.uk>
2698
2699         * doc/cppinternals.texi, doc/install.texi, doc/invoke.texi,
2700         doc/md.texi, doc/sourcebuild.texi, doc/tm.texi, doc/trouble.texi:
2701         Use terminology "testsuite" and "enumerated".
2702
2703 2004-07-01  Richard Henderson  <rth@redhat.com>
2704
2705         * dwarf2out.c (reg_save): Use INVALID_REGNUM.
2706         (dwarf2out_reg_save, dwarf2out_return_save): Likewise.
2707         (initial_return_save): Likewise.
2708         (flush_queued_reg_saves): Remap register numbers.
2709         (dwarf2out_return_reg): Likewise.
2710
2711 2004-07-01  Richard Kenner  <kenner@vlsi1.ultra.nyu.edu>
2712
2713         * gimplify.c (gimplify_one_sizepos): Don't do anything if any VAR_DECL.
2714
2715         * tree-pretty-print.c (dump_generic_node, case ARRAY_REF): Use
2716         access functions for lower bound and element size and only output
2717         if lower bound nonzero or element size not same as that of type.
2718         (dump_generic_node, case COMPONENT_REF): Use access func. for offset.
2719
2720 2004-07-01  Paolo Bonzini  <bonzini@gnu.org>
2721
2722         * c-pretty-print.c (pp_c_postfix_expression): Fix pasto.
2723
2724 2004-07-01  Per Bothner  <per@bothner.com>
2725
2726         * final.c (final):  Fix typo reported by Aaron W. LaFramboise.
2727
2728 2004-07-01  Jakub Jelinek  <jakub@redhat.com>
2729
2730         * expr.c (expand_assignment): Optimize bitfld += cst for 1 bit
2731         bitfields as well.  STRIP_NOPS from src operand and PLUS_EXPR's
2732         first operand.  Don't optimize if the bitfield is volatile.
2733
2734 2004-07-01  Paolo Bonzini  <bonzini@gnu.org>
2735
2736         * c-pretty-print.c (pp_c_postfix_expression): Handle
2737         floating-point comparison operators.
2738         (pp_c_expression): Pass floating-point comparison
2739         operators to pp_c_postfix_expression.
2740
2741 2004-07-01  Roger Sayle  <roger@eyesopen.com>
2742
2743         * simplify-rtx.c (simplify_binary_operation) <PLUS, MINUS>: Use
2744         rtx_cost instead of "had_mult" to determine whether the transformed
2745         expression is cheaper than the original.
2746
2747 2004-07-01  Jerry Quinn  <jlquinn@optonline.net>
2748
2749         * alias.c (get_alias_set, canon_rtx, get_addr,
2750         nonoverlapping_memrefs_p, nonlocal_referenced_p_1, memory_modified_1):
2751         Use MEM_P.
2752         * builtins.c (expand_builtin_prefetch, expand_builtin_profile_func,
2753         expand_builtin): Likewise.
2754         * calls.c (expand_call, emit_library_call_value_1, store_one_arg):
2755         Likewise.
2756         * combine.c (can_combine_p, combinable_i3pat, try_combine,
2757         find_split_point, combine_simplify_rtx, simplify_set, make_extraction,
2758         rtx_equal_for_field_assignment_p, gen_lowpart_for_combine,
2759         record_dead_and_set_regs_1, get_last_value_validate,
2760         mark_used_regs_combine, move_deaths, unmentioned_reg_p_1): Likewise.
2761         * cse.c (check_dependence, canon_hash, equiv_constant,
2762         gen_lowpart_if_possible, cse_insn, invalidate_from_clobbers,
2763         cse_around_loop, cse_check_loop_start, cse_set_around_loop,
2764         count_reg_usage): Likewise.
2765         * cselib.c (rtx_equal_for_cselib_p, add_mem_for_addr, cselib_lookup,
2766         cselib_invalidate_mem, cselib_invalidate_rtx, cselib_record_set,
2767         cselib_record_sets): Likewise.
2768         * dbxout.c (PARM_PASSED_IN_MEMORY, dbxout_symbol,
2769         dbxout_symbol_location, dbxout_parms, dbxout_reg_parms): Likewise.
2770         * ddg.c (mark_mem_use, mark_mem_store, rtx_mem_access_p): Likewise.
2771         * df.c (df_uses_record): Likewise.
2772         * dojump (do_jump): Likewise.
2773         * dwarf2out.c (stack_adjust_offset, mem_loc_descriptor,
2774         loc_descriptor_from_tree, rtl_for_decl_location, add_bound_info,
2775         decl_start_label): Likewise.
2776         * emit-rtl.c (gen_complex_constant_part, gen_highpart,
2777         operand_subword, change_address_1, make_safe_from): Likewise.
2778         * explow.c (break_out_memory_refs, copy_all_regs, validize_mem,
2779         stabilize, force_not_mem): Likewise.
2780         * expmed.c (store_bit_field, store_split_bit_field, extract_bit_field,
2781         expand_mult_const, expand_divmod, emit_store_flag): Likewise.
2782         * expr.c (convert_move, convert_modes, emit_block_move,
2783         emit_group_load, emit_group_store, clear_storage, emit_move_insn,
2784         emit_move_insn_1, expand_assignment, store_expr,
2785         store_constructor_field, store_constructor, store_field,
2786         force_operand, safe_from_p, expand_expr_real_1, expand_increment):
2787         Likewise.
2788         * final.c (cleanup_subreg_operands, alter_subreg,
2789         get_mem_expr_from_op): Likewise.
2790         * flow.c (notice_stack_pointer_modification_1,
2791         init_propagate_block_info, insn_dead_p, mark_set_1, mark_used_regs):
2792         Likewise.
2793         * function.c (mark_temp_addr_taken, preserve_temp_slots,
2794         preserve_rtl_expr_result, put_var_into_stack, fixup_var_refs_1,
2795         optimize_bit_field, flush_addressof, purge_addressof_1,
2796         instantiate_decl, instantiate_virtual_regs_1, assign_parms,
2797         setjmp_protect, setjmp_protect_args, fix_lexical_addr,
2798         keep_stack_depressed): Likewise.
2799         * ifcvt.c (noce_try_cmove_arith, noce_try_abs, noce_operand_ok,
2800         noce_process_if_block, find_memory): Likewise.
2801         * integrate.c (subst_constants, allocate_initial_values): Likewise.
2802         * local-alloc.c (validate_equiv_mem_from_store, memref_referenced_p,
2803         update_equiv_regs): Likewise.
2804         * loop.c (scan_loop, prescan_loop, note_addr_stored, check_store,
2805         maybe_eliminate_biv_1, find_mem_in_note_1): Likewise.
2806         * optabs.c (expand_abs, emit_unop_insn): Likewise.
2807         * passes.c (rest_of_handle_final): Likewise.
2808         * postreload.c (reload_cse_simplify_set, reload_cse_simplify_operands,
2809         move2add_note_store): Likewise.
2810         * ra-build.c (detect_remat_webs): Likewise.
2811         * ra-debug.c (dump_static_insn_cost): Likewise.
2812         * ra-rewrite.c (slots_overlap_p, insert_stores): Likewise.
2813         * recog.c (validate_change, apply_change_group, cancel_changes,
2814         validate_replace_rtx_1, general_operand, register_operand,
2815         nonmemory_operand, push_operand, pop_operand, memory_operand,
2816         indirect_operand, asm_operand_ok, offsettable_memref_p,
2817         offsettable_nonstrict_memref_p, constrain_operands,
2818         store_data_bypass_p): Likewise.
2819         * reg-stack.c (subst_stack_regs_pat): Likewise.
2820         * regclass.c (record_operand_costs, scan_one_insn, record_reg_classes,
2821         copy_cost, reg_scan_mark_refs): Likewise.
2822         * regmove.c (optimize_reg_copy_3, stack_memref_p,
2823         combine_stack_adjustments_for_block): Likewise.
2824         * regrename.c (copyprop_hardreg_forward_1): Likewise.
2825         * reload.c (can_reload_into, push_reload, decompose, immune_p,
2826         find_reloads, find_reloads_address, find_reloads_address_1,
2827         reg_overlap_mentioned_for_reload_p, refers_to_mem_for_reload_p,
2828         find_equiv_reg): Likewise.
2829         * reload1.c (reload, eliminate_regs, eliminate_regs_in_insn,
2830         reload_as_needed, choose_reload_regs, emit_input_reload_insns,
2831         do_input_reload, emit_reload_insns, gen_reload, delete_output_reload,
2832         delete_address_reloads): Likewise.
2833         * resource.c (mark_referenced_resources): Likewise.
2834         * rtlanal.c (get_jump_table_offset, count_occurrences,
2835         reg_referenced_p, reg_set_p, set_of_1, set_noop_p,
2836         reg_overlap_mentioned_p, note_uses, replace_regs, nonzero_bits1,
2837         num_sign_bit_copies1): Likewise.
2838         * rtlhooks.c (gen_lowpart_general): Likewise.
2839         * sched-deps.c (sched_analyze_1, sched_analyze_2): Likewise.
2840         * sdbout.c (PARM_PASSED_IN_MEMORY, sdbout_symbol,
2841         sdbout_toplevel_data, sdbout_parms, sdbout_reg_parms,
2842         sdbout_global_decl): Likewise.
2843         * simplify-rtx.c (simplify_subreg): Likewise.
2844         * stmt.c (expand_asm_operands, expand_expr_stmt_value, expand_decl,
2845         expand_anon_union_decl, expand_end_case_type): Likewise.
2846         * unroll.c (calculate_giv_inc): Likewise.
2847         * var-tracking.c (stack_adjust_offset_pre_post,
2848         bb_stack_adjust_offset, track_expr_p, count_uses, add_uses,
2849         add_stores, compute_bb_dataflow, vt_get_decl_and_offset,
2850         vt_add_function_parameters): Likewise.
2851         * varasm.c (make_var_volatile, notice_global_symbol,
2852         assemble_external, decode_addr_const, mark_weak,
2853         default_encode_section_info): Likewise.
2854
2855 2004-07-01  Steven Bosscher  <stevenb@suse.de>
2856
2857         * stmt.c (check_seenlabel): Remove.
2858         (pushcase, pushcase_range, expand_end_case_type): Don't call it.
2859
2860 2004-07-01  Richard Henderson  <rth@redhat.com>
2861
2862         * function.h (struct function): Remove x_function_call_count.
2863         (function_call_count): Remove.
2864         * calls.c (expand_call): Don't set it.
2865         * integrate.c (copy_rtx_and_substitute): Likewise.
2866
2867         * function.h (struct function): Remove x_cleanup_label.
2868         (cleanup_label): Remove.
2869         * stmt.c (expand_value_return): Don't use it.
2870         * function.c (free_after_compilation): Don't set it.
2871         (expand_function_start): Likewise.  Remove parms_have_cleanups arg.
2872         * cfgexpand.c (tree_expand_cfg): Update call.
2873         * tree.h (expand_function_start): Update decl.
2874
2875 2004-07-01  Joseph S. Myers  <jsm@polyomino.org.uk>
2876
2877         PR c/1027
2878         * c-lang.c (c_initialize_diagnostics): Move from here ...
2879         * c-objc-common.c: ... to here.  Include "c-pretty-print.h".
2880         (c_tree_printer): Use pretty-printer to format %T.
2881         * c-pretty-print.c (pp_c_specifier_qualifier_list): Include space
2882         before '*' if not C++.
2883         (pp_c_direct_abstract_declarator): Don't try to print array upper
2884         bound for flexible array members.
2885         * c-tree.h: Include "diagnostic.h".
2886         (c_initialize_diagnostics): Declare.
2887         * objc/objc-lang.c (LANG_HOOKS_INITIALIZE_DIAGNOSTICS): Define.
2888         * c-format.c (format_type_warning): New function.  Improve
2889         diagnostics for incorrect format argument types.
2890         (check_format_types): Use it.  Add two parameters.  Use the
2891         TYPE_MAIN_VARIANT of wanted_type.
2892         (check_format_info_main): Pass new parameters to
2893         check_format_types.
2894         (struct format_wanted_type): Update comment.
2895
2896 2004-07-01  Nick Clifton  <nickc@redhat.com>
2897
2898         * target.h (struct gcc_target): Add new field to struct cxx:
2899         import_export_class.
2900         * target-def.h (TARGET_CXX): Initialise the new field.
2901         (TARGET_CXX_IMPORT_EXPORT_CLASS): Provide a default value for
2902         the new field.
2903         * doc/tm.texi: Document the new target hook.
2904
2905 2004-07-01  Paolo Bonzini  <bonzini@gnu.org>
2906
2907         * builtins.c (fold_builtin_classify): Fix typo.
2908
2909 2004-07-01  Richard Henderson  <rth@redhat.com>
2910
2911         * function.c (identify_blocks, identify_blocks_1): Remove.
2912         * function.h (identify_blocks): Remove.
2913         * rtl.h (NOTE_INSN_BLOCK_BEG): Update comment.
2914
2915 2004-07-01  Paolo Bonzini  <bonzini@gnu.org>
2916
2917         * builtins.c (fold_builtin_classify): New.
2918         (fold_builtin_unordered_cmp): Fix commentary.
2919         (fold_builtin): Use it.
2920         * builtins.def: Define builtins for isnan,
2921         isnanf, isnanl, finite, finitef, finitel,
2922         isinf, isinff, isinfl.
2923
2924 2004-07-01  Richard Henderson  <rth@redhat.com>
2925
2926         * function.h (struct function): Remove dont_emit_block_notes.
2927         * gimple-low.c (lower_function_body): Don't set it.
2928         * cfgexpand.c (expand_block): Don't check it.
2929         * cfglayout.c (insn_locators_initialize): Likewise.
2930         * expr.c (expand_expr_real, expand_expr_real_1): Likewise.
2931         * passes.c (rest_of_compilation): Likewise.
2932         * stmt.c (expand_start_bindings_and_block): Likewise.
2933         (expand_end_bindings): Likewise.
2934
2935 2004-07-01  Richard Henderson  <rth@redhat.com>
2936
2937         * cgraph.h (cgraph_build_static_cdtor): Declare.
2938         * cgraphunit.c (cgraph_build_static_cdtor): New.
2939         * c-objc-common.c (build_cdtor): Use it.
2940         * coverage.c (create_coverage): Likewise.
2941         * libfuncs.h (LTI_gcov_init, gcov_init_libfunc): Remove.
2942         * optabs.c (init_optabs): Don't set gcov_init_libfunc.
2943
2944 See ChangeLog.11 for earlier changes.