OSDN Git Service

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