OSDN Git Service

db8a7c32465fa2dc0fcabb30a5dd54339a1f1747
[pf3gnuchains/gcc-fork.git] / gcc / ChangeLog
1 2004-06-09  Arnaud Charlet  <charlet@act-europe.fr>
2
3         PR ada/6637
4         * doc/install.texi: List ada, libada as options to --enable-shared
5
6 2004-06-09  Paolo Bonzini  <bonzini@gnu.org>
7
8         * aclocal.m4 (gcc_AC_PROG_LN): Remove.
9         (gcc_AC_CHECK_DECLS): Use AH_TEMPLATE to generate
10         config.in entries.
11         * configure.ac: Call ACX_PROG_LN, falling back to $LN_S
12         if hard links are not available.
13         * configure: Regenerate.
14         * config.in: Regenerate.
15
16 2004-06-08  Per Bothner  <per@bothner.com>
17
18         * configure.ac:  New --enable-mapped-location sets USE_MAPPED_LOCATION.
19
20 2004-06-08  Richard Kenner  <kenner@vlsi1.ultra.nyu.edu>
21
22         * toplev.c (floor_log2_wide): Correct casts for 64-bit hosts.
23         Correct formatting.
24
25 2004-06-08  James E Wilson  <wilson@specifixinc.com>
26
27         PR target/15790
28         * config/i386/i386-coff.h (ASM_OUTPUT_ALIGN): Define.
29
30 2004-06-08  Andrew Pinski  <pinskia@physics.uc.edu>
31
32         * fold-const.c (fold_convert): Treat OFFSET_TYPE like
33         POINTER_TYPE and INTEGER_TYPE.
34
35 2004-06-08  Bernardo Innocenti  <bernie@develer.com>
36
37         * modulo-sched.c: Compile only when INSN_SCHEDULING is
38         defined.
39
40 2004-06-08  Jeff Law  <law@redhat.com>
41
42         * doc/contrib.texi: Add entries for Stefan Olsson and
43         Ola Ronnerup.
44
45 2004-06-08  DJ Delorie  <dj@redhat.com>
46
47         * toplev.c (floor_log2_wide): Replace loop with faster bit
48         operations.
49         (exact_log2_wide): Define in terms of the above.
50         * toplev.h (floor_log2): Use _builtin_clz family of builtins if
51         available.
52
53 2004-06-08  Andrew Pinski  <pinskia@physics.uc.edu>
54
55         * config/rs6000/rs6000.c (print_operand, <case 'z'>):
56         Make sure that we are in INDIRECT mode when getting the
57         stub name.
58
59 2004-06-08  Anil Paranjpe <anilp1@kpitcummins.com>
60
61         * h8300.md (extendqisi2_h8300): Add constraints.
62         (ldm_h8300s_4_normal): Fix typo.
63
64 2004-06-08  Richard Henderson  <rth@redhat.com>
65
66         * gimple-low.c (struct lower_data): Replace the_return_label and
67         one_return_stmt with return_statements.
68         (lower_function_body): Process the entire list of return_statements.
69         (lower_return_expr): Check source value before unifying return_exprs.   
70         * gimplify.c (gimplify_return_expr): Force the use of a temporary
71         for !aggregate_value_p.
72         * tree-gimple.c: Update RETURN_EXPR grammer.
73
74 2004-06-08  Vladimir Makarov  <vmakarov@redhat.com>
75
76         PR target/15598
77         * config/ia64/ia64.c (bundling): Add missed TYPE_A.
78
79 2004-06-08  Zdenek Dvorak  <rakdver@atrey.karlin.mff.cuni.cz>
80
81         PR rtl-optimization/15717
82         * config/i386/i386.c (legitimate_constant_p): Do not allow
83         x - symbol_ref.
84
85 2004-06-08  Alexandre Oliva  <aoliva@redhat.com>
86
87         * gimplify.c (copy_if_shared_r): Revert:
88         2004-05-21  Richard Henderson  <rth@redhat.com>
89         * gimplify.c [...] Don't mark VA_ARG_EXPRs volatile here.
90
91 2004-06-07  Roger Sayle  <roger@eyesopen.com>
92
93         * expmed.c (add_cost, neg_cost, sdiv_pow2_cheap, smod_pow2_cheap):
94         Make arrays indexed by machine mode.  Rename negate_cost to neg_cost.
95         (init_expmed): Initialize these cost arrays as appropriate.
96         (store_bit_field, extract_bit_field): Correct whitespace.
97         (synth_mult, choose_mult_variant, expand_mult, expand_mult_highpart,
98         expand_mult_highpart_optab, expand_divmod): Update uses of add_cost,
99         neg_cost, sdiv_pow2_cheap, smod_pow2_cheap to index with mode,
100         word_mode or compute_mode as appropriate.
101
102 2004-06-07  Eric Botcazou  <ebotcazou@libertysurf.fr>
103
104         PR target/15783
105         * config/sparc/sparc.c (function_arg_union_value): Add 'mode'
106         parameter.  Enumerate the registers inside the PARALLEL.
107         (function_arg): Adjust call to function_arg_union_value.
108         (function_value): Likewise.
109
110         * config/sparc/sparc.c (sparc_function_epilogue): Properly format.
111
112 2004-06-07  Roger Sayle  <roger@eyesopen.com>
113
114         * real.c (real_copysign): New function to implement libm's copysign.
115         * real.h (real_copysign): Prototype here.
116         * fold-const.c (tree_expr_nonnegative_p): The result of sqrt, sqrtf
117         and sqrtl can be negative, as sqrt(-0.0) = -0.0.  Correct whitespace.
118         * builtins.c (fold_builtin_isascii, fold_builtin_toascii,
119         fold_builtin_isdigit): Add function prototypes.
120         (fold_builtin_copysign): New function to fold copysign, copysignf
121         and copysignl.  Optimize copysign(x,x) as x.  Evaluate copysign of
122         constant arguments at compile-time using real_copysign.  Fold
123         copysign(X,Y) as fabs(X) if Y is always non-negative.
124         (fold_builtin_1): Correct minor whitespace/style issues.  Call
125         fold_builtin_copysign for BUILT_IN_COPYSIGN{,F,L}.
126
127 2004-06-07  J"orn Rennecke <joern.rennecke@superh.com>
128
129         * tree.c (iterative_hash_expr): Use real_hash.
130
131 2004-06-07  Joseph S. Myers  <jsm@polyomino.org.uk>
132
133         PR c/14765
134         * c-parse.in (compstmt_primary_start): Set last_expr_type to
135         NULL_TREE.
136
137 2004-06-07  Mark Mitchell  <mark@codesourcery.com>
138
139         PR c++/15815
140         * doc/extend.texi: Deprecate #pragma interface and #pragma
141         implementation.
142
143 2004-06-07  Alexandre Oliva  <aoliva@redhat.com>
144
145         PR middle-end/15666
146         * c-decl.c (finish_decl): Use change_decl_assembler_name for the
147         builtin decl as well.
148
149 2004-06-07  Roger Sayle  <roger@eyesopen.com>
150
151         PR c/14649
152         * c-typeck.c (require_constant_value, require_constant_elements):
153         Move declarations to the top of the file.
154         (build_function_call): If we require a constant value, fold with
155         fold_initializer.  If the result is a constant, and the function
156         wasn't called using __builtin_foo, issue a pedantic warning.
157         (build_unary_op): If we require a constant value, fold tree with
158         fold_initializer.
159         (build_binary_op): Use require_constant_value to determine whether
160         to call fold or fold_initializer.
161
162 2004-06-07  Richard Henderson  <rth@redhat.com>
163
164         * gimple-low.c (struct lower_data): Add the_return_label and
165         one_return_stmt.
166         (lower_function_body): Initialize and use them.
167         (lower_return_expr): New.
168         (lower_stmt): Call it.
169         * gimplify.c (gimplify_return_expr): Force the argument to be either
170         null or a result_decl.
171         * tree-gimple.c: Update gimple grammer to match.
172         * tree-ssa-copyrename.c (copy_rename_partition_coalesce): Deny
173         coalescing of result_decls.
174
175 2004-06-07  Richard Henderson  <rth@redhat.com>
176
177         PR rtl-opt/15193
178         * expmed.c (extract_bit_field): Fix vector_extract return.
179
180         * config/i386/i386.md (negv4sf2): New pattern.
181
182 2004-06-07  Mark Mitchell  <mark@codesourcery.com>
183
184         PR c++/15337
185         * c-common.c (c_sizeof_or_alignof_type): Use more detailed error
186         message.
187
188 2004-06-06  Paolo Bonzini  <bonzini@gnu.org>
189
190         * config.in: Regenerate.
191
192 2004-06-06  Steven Bosscher  <stevenb@suse.de>
193
194         * tree-cfg.c (tree_verify_flow_info): Make sure that labels in
195         SWITCH_LABELS are always sorted.
196
197 2004-06-06  Steven Bosscher  <stevenb@suse.de>
198
199         * hooks.c (hook_int_void_1): New generic hook.
200         * hooks.h (hook_int_void_1): Add prototype.
201         * config/c4x/c4x.c (TARGET_SCHED_USE_DFA_PIPELINE_INTERFACE):
202         Define to hook_int_void_1.
203         * config/c4x/c4x.md: Replace dummies for the old pipeline model
204         with dummies for the new one.
205
206 2004-06-06  Roger Sayle  <roger@eyesopen.com>
207
208         * tree.h (lvalue_or_else): Delete function prototype.
209         * c-typeck.c (lvalue_or_else): Make static.  Add static prototype.
210
211 2004-06-06  Stephane Carrez  <stcarrez@nerim.fr>
212
213         PR target/14542
214         * config/m68hc11/m68hc11.md (move peephole2): Emit a use note to avoid
215         a live change of a register after peephole replacement.
216
217 2004-06-06  Joseph S. Myers  <jsm@polyomino.org.uk>
218
219         PR c/13519
220         * c-typeck.c (composite_type, common_pointer_type): New functions.
221         (common_type): Split parts into composite_type and
222         common_pointer_type.  Ensure that arithmetic operations return
223         unqualified types without attributes.  Don't make composite type
224         of signed enum and compatible integer be unsigned.
225         (build_conditional_expr, build_binary_op): Use
226         common_pointer_type.
227         * c-decl.c (merge_decls): Use composite_type.
228         * c-tree.h (composite_type): Declare.
229
230 2004-06-06  Stephane Carrez  <stcarrez@nerim.fr>
231
232         PR target/14457
233         * config/m68hc11/m68hc11.c (splitable_operand): New predicate.
234         * config/m68hc11/m68hc11-protos.h (splitable_operand): Declare.
235         * config/m68hc11/m68hc11.h (PREDICATE_CODES): Register it.
236         (inhibit_libc): Must define.
237         * config/m68hc11/m68hc11.md ("movhi_const0"): Use splitable_operand.
238         ("*andhi3_gen", "iorhi3", "*iorhi3_gen"): Likewise.
239         ("xorhi3"): Likewise.
240
241 2004-06-06  Eric Botcazou  <ebotcazou@libertysurf.fr>
242
243         * cgraphunit.c (cgraph_decide_inlining): Adjust dump lines in
244         always_inline pass.
245
246 2004-06-05  David S. Miller  <davem@nuts.davemloft.net>
247
248         * config/sparc/linux.h (TARGET_C99_FUNCTIONS): Set.
249         * config/sparc/linux64.h (TARGET_C99_FUNCTIONS): Likewise.
250
251 2004-06-05  Bernardo Innocenti  <bernie@develer.com>
252
253         * regclass.c (init_reg_sets): Check for missing registers in target
254         initializer macros FIXED_REGISTERS and CALL_USED_REGISTERS.
255
256 2004-06-05  Zack Weinberg  <zack@codesourcery.com>
257
258         * Makefile.in (MKDEPS_H): New shorthand.
259         (c-opts.o): Update dependencies.
260         * c-opts.c: Include mkdeps.h.
261         (handle_deferred_opts): Use cpp_get_deps and deps_add_target,
262         not cpp_add_dependency_target.
263
264 2004-06-05  Steven Bosscher  <stevenb@suse.de>
265
266         * config/v850/v850.c (v850_use_dfa_pipeline_interface): New.
267         * config/v850/v850.md: Convert to DFA scheduler description.
268
269 2004-06-05  Tobias Schlueter  <tobias.schlueter@physik.uni-muenchen.de>
270
271         PR fortran/15478
272         * doc/install.texi: Document GMP as prerequisite. Document
273         --with-gmp and --with-gmp-dir configure options.
274         * fortran/gfortran.texi: Remove section "Compiling and testing",
275         remove TOC reference to it.
276
277 2004-06-05  Graham Stott  <graham.stott@btinternet.com>
278
279         * combine.c(simplify_shift_const): Check shift amount is a
280         CONST_INT.
281
282 2004-06-05  Danny Smith  <dannysmith@users.sourceforge.net>
283
284         * toplev.c (init_asm_output): Add explicit 'b' to mode when
285         opening asm_out_file.
286         * c-pch.c (c_common_write_pch): Remove unnecessary fflush before
287         reading asm_out_file. Replace fflush after reading asm_out_file
288         with fseek.
289         * hosthooks-def.h (HOST_HOOKS_GT_PCH_ALLOC_GRANULARITY): Define
290         default and add to HOST_HOOKS_INITIALIZER.
291         * hosthooks.h (gt_pch_alloc_granularity): Declare hook function.
292         * ggc-common.c (default_gt_pch_alloc_granularity): New function.
293         (gt_pch_save): Use host_hooks.gt_pch_alloc_granularity
294         to set mmi.offset padding.
295          * config.gcc (i[34567]86-*-mingw32*): Set target_gtfiles to
296         $(srcdir)/config/i386/winnt.c.
297         (i[34567]86-*-pe | i[34567]86-*-cygwin*): Likewise.
298         (i[34567]86-*-uwin*): Likewise.
299         *i[34567]86-*-interix3*): Likewise.
300         * config.host (i[34567]86-*-mingw32*): Set out_host_hook_obj.
301         * config/i386/host-mingw32.c: New file.
302         * config/i386/x-mingw32: Add rule for host-mingw32.o.
303         * config/i386/winnt.c: (struct extern_list) Tag as GTY.
304         (extern_head): Likewise.
305         (struct export_list) Likewise.
306         (export_head): Likewise.
307         (i386_pe_record_external_function): Use ggc_alloc.
308         (i386_pe_record_exported_symbol): Likewise.
309         Include "gt-winnt.h" at end.
310         * doc/hostconfig.texi: Document
311         HOST_HOOKS_GT_PCH_ALLOC_GRANULARITY.
312
313 2004-06-04  Bernardo Innocenti  <bernie@develer.com>
314
315         * config/m68k/m68k.h: Remove comments copied over from tm.texi.
316         Rename 68000 and 68k to m68k for consistency in comments.  Remove
317         trailing whitespace before EOLs and before TABs.
318         (MAX_CODE_ALIGN): Remove unused macro.
319         (CALL_USED_REGISTERS): Reformat and add comments.
320
321 2004-06-04  Frank Ch. Eigler  <fche@redhat.com>
322
323         * gcc.c (MFLIB_SPEC): Remove library references, to require users
324         to enumerate -lmudflap* and dependencies when linking.
325
326 2004-06-04  Paolo Bonzini  <bonzini@gnu.org>
327
328         PR target/15822
329         * dojump.c (do_jump): Fix uninitialized variable tcode1.
330
331 2004-06-04  Jerry Quinn  <jlquinn@optonline.net>
332
333         * Makefile.in (insn-conditions.o): Back out removal of reload.h.
334         * genconditions.c (write_header): Back out removal of reload.h.
335
336 2004-06-04  Jan Hubicka  <jh@suse.cz>
337
338         Re-apply hopefully fixed patch:
339         * i386.md (UNSPECV_EH_RETURN): Kill.
340         (eh_return): Use jump_insn.
341         (eh_return_si, eh_return_di): Change pattern to jump instruction.
342
343 2004-06-04  Jeff Law  <law@redhat.com>
344
345         * cfgrtl.c (try_redirect_by_replacing_jump): Fix return value.
346
347 2004-06-04  Steven Bosscher  <stevenb@suse.de>
348
349         * except.c (for_each_eh_region): New function.
350         * except.h (for_each_eh_region): Add a prototype for it.
351         * tree-cfg.c (update_eh_labels): New function, callback for
352         for_each_eh_region.
353         (label_for_bb): Make global static, unfortunately.
354         (cleanup_dead_labels): Also update label references for
355         exception regions.
356
357 2004-06-03  Chris Demetriou  <cgd@broadcom.com>
358
359         * config/mips/mips.c (struct irix_section_align_entry): Fix
360         GTY marker.
361
362 2004-06-03  Geoffrey Keating  <geoffk@apple.com>
363
364         * toplev.c (check_global_declarations): Don't ask for
365         DECL_ASSEMBLER_NAME unless the function really is declared
366         static and not defined.
367
368 2004-06-03  Matt Austern  <austern@apple.com>
369
370         PR c++/15428
371         * default.h (TARGET_WEAK_NOT_IN_ARCHIVE_TOC): New name
372         for TARGET_EXPLICIT_INSTANTIATIONS_ONE_ONLY, with reversed sense.
373         * config/darwin.h (TARGET_WEAK_NOT_IN_ARCHIVE_TOC): Likewise.
374         * doc/tm.texi (TARGET_WEAK_NOT_IN_ARCHIVE_TOC): Rewrite
375         documentation to reflect the new macro name and to clarify its
376         meaning.
377
378 2004-06-03  Steven Bosscher  <stevenb@suse.de>
379
380         * rtl.def (VAR_LOCATION): Make RTX_EXTRA.
381
382 2004-06-03  Andrew Pinski  <pinskia@physics.uc.edu>
383
384         * config/darwin.c (machopic_indirect_data_reference): Copy
385         the SYMBOL_REF_DECL from the original RTX for the new
386         non-lazy pointer RTX.
387
388 2004-06-03  Mark G. Adams  <mark.g.adams@sympatico.ca>
389
390         * tree.h: Remove include of version.h
391         * c-cppbuiltin.c: Include version.h
392         * diagnostic.c: Include version.h
393         * dwarf2out.c: Include version.h
394         * toplev.c: Include version.h
395         * vmsdbgout.c: Include version.h
396         * Makefile.in: Remove dependency on version.h from TREE_H, and
397         add dependencies to required .o targets
398
399 2004-06-03  Jerry Quinn  <jlquinn@optonline.net>
400
401         * Makefile.in (RA_H, RESOURCE_H, SCHED_INT_H, CFGLAYOUT_H,
402         CFGLOOP_H, DF_H, DDG_H, TREE_SSA_LIVE_H): New.
403         (TARGET_H): Add insn-modes.h.
404         (tree-ssa.o, tree-cfg.o, tree-ssa-loop.o, toplev.o, passes.o,
405         loop.o, loop-doloop.o, unroll.o, cfgloop.o, cfgloopanal.o,
406         loop-iv.o, cfgloopmanip.o, loop-init.o, loop-unswitch.o,
407         loop-unroll.o, ddg.o, modulo-sched.o, predict.o,
408         cfglayout.o, ifcvt.o): Replace cfgloop.h with CFGLOOP_H.
409         (toplev.o, passes.o, cfghooks.o, cfgloopmanip.o, loop-init.o,
410         loop-unswitch.o, loop-unroll.o, ddg.o, modulo-sched.o,
411         bb-reorder.o, tracer.o, cfglayout.o): Replace cfglayout.h with
412         CFGLAYOUT_H.
413         (ra.o, ra-build.o, ra-colorize.o, ra-debug.o, ra-rewrite.o):
414         Replace ra.h with RA_H.
415         (resource.o, regrename.o, insn-conditions.o, insn-emit.o,
416         insn-recog.o): Replace resource.h with RESOURCE_H.
417         (ddg.o, modulo-sched.o, haifa-sched.o, sched-deps.o, sched-rgn.o,
418         sched-ebb.o, sched-vis.o, out_object_file):  Replace sched-int.h
419         with SCHED_INT_H.
420         (web.o, lcm.o, df.o, ra.o, ra-build.o, ra-colorize.o, ra-debug.o,
421         ra-rewrite.o): Replace df.h with DF_H.
422         (ddg.o, modulo-sched.o): Replace ddf.h with DDG_H.
423         (tree-outof-ssa.o, tree-ssa-live.o, tree-ssa-copyrename.o):
424         Replace tree-ssa-live.h with TREE_SSA_LIVE_H.
425         (insn-conditions.o): Remove unused reload.h.
426         * cfglayout.h: Add include guard.  Include basic-block.h.
427         * cfgloop.h: Add include guard.  Include basic-block.h, rtl.h.
428         * ddg.h: Include sbitmap.h, basic-block.h, df.h.
429         * df.h: Add include guard.  Include bitmap.h, sbitmap.h,
430         basic-block.h.
431         * genconditions.c:  Remove reload.h.
432         * ra.h: Add include guard.  Include bitmap.h, sbitmap.h,
433         hard-reg-set.h, insn-modes.h.
434         * resource.h: Add include guard.  Include hard-reg-set.h.
435         * sched-int.h:  Add include guard.  Include insn-attr.h,
436         basic-block.h, rtl.h.
437         * target.h: Add include guard.  Include insn-modes.h.
438         * tree-ssa-live.h: Include partition.h.
439
440 2004-06-03  Daniel Berlin  <dberlin@dberlin.org>
441                 Kenneth Zadeck <zadeck@naturalbridge.com>
442
443         * tree-ssa-ccp.c (varying_ssa_edges): New worklist.
444         (add_var_to_ssa_edges_worklist): Add value argument.
445         Update callers.
446         Use new worklist.
447         (process_ssa_edge_worklist): New function.
448         (tree_ssa_ccp): Move worklist processing core to
449         process_ssa_edge_worklist, and just call that for the two worklists.
450
451 2004-06-03  Steven Bosscher  <stevenb@suse.de>
452
453         * basic-block.c (tail_recursion_label_list): Don't declare.
454         (CLEANUP_PRE_SIBCALL): Remove.  Renumber the other CLEANUP_*
455         accordingly.
456         * cfgbuild.c (find_label_refs): Remove.
457         (find_basic_blocks_1): Don't handle CALL_PLACEHOLDER insns.
458         * cfgcleanup.c (tail_recursion_label_p): Remove.
459         (merge_blocks_move): Do not check for tail recursion.
460         (try_optimize_cfg): Likewise.
461         (cleanup_cfg): Never handle CLEANUP_PRE_SIBCALL.
462         * cfgrtl.c (tail_recursion_label_list): Remove.
463         * except.c (remove_unreachable_regions): Don't handle
464         CALL_PLACEHOLDER insns.
465         (convert_from_eh_region_ranges_1, can_throw_internal,
466         can_throw_external): Likewise.
467         * function.c (free_after_compilation): Don't clear
468         x_tail_recursion_label.
469         (fixup_var_refs_insns): Don't handle CALL_PLACEHOLDER insns.
470         (identify_blocks_1): Don't recurse for CALL_PLACEHOLDER insns.
471         (reorder_blocks_1): Likewise.
472         * function.h (struct function): Remove x_tail_recursion_label
473         member.  Don't define tail_recursion_label.
474         * jump.c (mark_all_labels): Don't handle CALL_PLACEHOLDER insns.
475         * print-rtl.c (print_rtx): Likewise.
476         * rtl.def (CALL_PLACEHOLDER): Remove.
477         * rtl.h (sibcall_use_t): Remove enum.
478         (optimize_sibling_and_tail_recursive_calls,
479         replace_call_placeholder): Remove function prototypes.
480         * stmt.c (tail_recursion_args): Remove.
481         (optimize_tail_recursion): Remove.
482         (expand_return): Don't check for possible tail recursion.
483         * tree.h (optimize_tail_recursion): Remove prototype.
484
485 2004-06-02  Jan Hubicka  <jh@suse.cz>
486
487         * tree-cfg.c (tree_find_edge_insert_loc):  Allow inserting before
488         return_stmt.
489
490 2004-06-02  Jason Merrill  <jason@redhat.com>
491
492         * Makefile.in (TAGS): Don't mess with c-parse.[ch].
493         Do include c-parse.in.
494
495 2004-06-02  Eric Christopher  <echristo@redhat.com>
496
497         * c-typeck.c (common_type): Don't lose type qualifiers
498         when creating new variants.
499
500 2004-06-02  Andrew Pinski  <pinskia@physics.uc.edu>
501
502         PR tree-optimization/14042
503         PR tree-optimization/14729
504         PR tree-optimization/14736
505         * tree-ssa.c (tree_ssa_useless_type_conversion_1):
506         Check the type which the pointer points to
507         instead of the pointer types.
508
509 2004-06-02  Kazu Hirata  <kazu@cs.umass.edu>
510
511         PR tree-optimization/15738.
512         * builtins.c (fold_builtin_strchr): Transform
513         strrchr (s, '\0') to strchr (s, '\0').
514
515 2004-06-02  Steven Bosscher  <stevenb@suse.de>
516
517         * i386.c (ix86_adjust_cost): Don't increase the cost for
518         load+operation for PROCESSOR_PENTIUMPRO, it is already
519         modelled in the DFA description
520
521 2004-06-01  Jerry Quinn  <jlquinn@optonline.net>
522
523         * Makefile.in (EXPR_H): Add insn-config.h, function.h,
524         $(RTL_H), flags.h, $(TREE_H), $(MACHMODE_H), $(EXPR_H).
525         (ALIAS_H, EMIT_RTL_H): New.
526         (cselib.o): Replace EXPR_H with EMIT_RTL_H.
527         (cfgcleanup.o): Add EMIT_RTL_H.
528         (alias.o): Replace EXPR_H with EMIT_RTL_H and ALIAS_H.
529         * alias.c: Replace expr.h with emit-rtl.h and alias.h.
530         * attribs.c, c-lex.c, c-obj-common.c, c-semantics.c: Remove expr.h.
531         * cfgcleanup.c, cselib.c: Replace expr.h with emit-rtl.h.
532         * expr.h: Add include guard.  Include function.h, rtl.h, flags.h,
533         tree.h, machmode.h, insn-config.h, alias.h, emit-rtl.h.
534         (get_varargs_alias_set, get_frame_alias_set, record_base_value,
535         record_alias_subset, new_alias_set, can_address_p): Move to alias.h.
536         (set_mem_alias_set, set_mem_align, set_mem_expr, set_mem_offset,
537         set_mem_size): Move to emit-rtl.h.
538         * emit-rtl.h: New.
539         * alias.h: New.
540
541 2004-06-01  Eric Botcazou  <ebotcazou@act-europe.fr>
542
543         * function.c (walk_fixup_memory_subreg): New parameter 'var'.
544         Call fixup_memory_subreg only if the MEM is equal to 'var'.
545         Adjust recursive calls to self.
546         (fixup_var_refs_insn): Pass 'var' to walk_fixup_memory_subreg.
547
548 2004-06-01  Richard Henderson  <rth@redhat.com>
549             Andrew Pinski  <pinskia@physics.uc.edu>
550
551         * c-parse.in (OFFSETOF, offsetof_member_designator): New.
552         (primary): Handle offsetof.  Add error productions for faux functions.
553         Move component_ref objc checking to build_component_ref.
554         (reswords): Add offsetof.
555         (rid_to_yy): Add offsetof.
556         * c-tree.h (build_offsetof): Declare.
557         * c-common.h (objc_is_public): Declare.
558         * c-typeck.c (build_component_ref): Check objc_is_public.
559         (build_offsetof): New.
560         * stub-objc.c (objc_is_public): New.
561         * objc/objc-act.c, objc/objc-act.h (objc_is_public): Rename
562         from is_public.
563         * ginclude/stddef.h (offsetof): Use __builtin_offsetof.
564         * doc/extend.texi (Offsetof): Move from C++ section to C section
565         and rewrite for __builtin_offsetof.
566
567 2004-06-01  Peter Barada  <peter@the-baradas.com>
568             Peter Jakubek  <peter@laseranimation.com>
569
570         * config/m68k/m68k.c(m68k_output_mi_thunk):  For ColdFire, use %d0 as
571         a scratch to perform an add to memory.
572
573 2004-06-01  Bernardo Innocenti  <bernie@develer.com>
574
575         PR target/14018
576         * config/m68k/m68k.c (m68k_align_loops_string, m68k_align_jumps_string,
577         m68k_align_funcs_string, m68k_align_loops, m68k_align_jumps,
578         m68k_align_funcs): Remove.
579         (override_options): Remove code to handle -malign-* options.
580         * config/m68k/m68k.h (TARGET_OPTIONS): Remove -malign-* options.
581         (FUNCTION_BOUNDARY, LOOP_ALIGN, LOOP_ALIGN_AFTER_BARRIER): Remove.
582         (m68k_align_loops_string, m68k_align_jumps_string,
583         m68k_align_funcs_string, m68k_align_loops, m68k_align_jumps,
584         m68k_align_funcs): Remove definitions.
585
586 2004-06-01  Paul Eggert  <eggert@cs.ucla.edu>
587
588         PR target/15626
589         * doc/install.texi (sparc-sun-solaris2*): Document messages issued
590         by the Sun linker in conjunction with the Sun assembler.
591         (sparc-sun-solaris2.7): Update revision info for Sun patch 106950.
592
593 2004-06-01  Jeff Law  <law@redhat.com>
594
595         * stmt.c (expand_decl): Be more selective about calling
596         mark_reg_pointer.
597
598 2004-06-01  Nicola Pero  <nicola@brainstorm.co.uk>
599
600         PR objc/7993
601         * objc-act.c (is_private): Do not emit the 'instance variable %s
602         is declared private' error.
603         (is_public): Emit the error after calling is_private.
604         (lookup_objc_ivar): If the instance variable is private, return 0
605         - the instance variable is invisible here.
606
607 2004-06-01  Eric Botcazou  <ebotcazou@libertysurf.fr>
608
609         * doc/invoke.texi (-static-libgcc): Explicitly mention
610         non-GNU linkers.
611
612 2004-06-01  Bernardo Innocenti  <bernie@develer.com>
613
614         PR target/12968
615         * doc/invoke.texi: Document stack alignment side-effect of -mshort.
616
617 2004-05-31  Joseph S. Myers  <jsm@polyomino.org.uk>
618
619         PR c/15749
620         * c-decl.c (grokdeclarator, finish_struct): Don't pedwarn for
621         misuses of structures with flexible array members if
622         in_system_header.
623
624 2004-05-31  Eric Botcazou  <ebotcazou@libertysurf.fr>
625
626         PR target/15693
627         * config/sparc/sparc.c (compare_operand): New predicate.
628         * config/sparc/sparc.h (PREDICATE_CODES): Add it.
629         * config/sparc/sparc.md (cmpsi expander): Use it.  If the first
630         operand is a ZERO_EXTRACT and the second operand is not zero,
631         force the former to a register.
632         (cmpdi expander): Likewise.
633
634 2004-05-31  Geoffrey Keating  <geoffk@apple.com>
635
636         * gengtype-lex.l: Catch stray GTY markers in the files gengtype
637         looks at.
638         * alias.c (alias_invariant_size): Make alias_invariant_size
639         static, fix GTY marker.
640
641 2004-05-31  Kazu Hirata  <kazu@cs.umass.edu>
642
643         PR tree-optimization/15743.
644         * builtins.c (fold_builtin_1): Fold index() and rindex().
645
646 2004-05-31  Roger Sayle  <roger@eyesopen.com>
647
648         PR middle-end/15069
649         * fold-const.c (fold_single_bit_test): Only perform "(X & C) != 0"
650         into "X < 0" (where C is the signbit) if X's type is a full mode.
651
652 2004-05-31  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
653
654         * pa.md: Disable the peephole2 patterns that generate indexed
655         floating-point stores when indexing is disabled.
656
657 2004-05-31  Gabriel Dos Reis  <gdr@integrable-solutions.net>
658
659         * c-pretty-print.c (pp_c_left_bracket): Make a function.
660         (pp_c_right_bracket): Likewise.
661         (pp_c_star): Likewise.
662         (pp_c_ampersand): Define.
663         * c-pretty-print.h (pp_c_left_bracket): Declare.
664         (pp_c_right_bracket): Likewise.
665         (pp_c_star): Likewise.
666         (pp_c_ampersand): Likewise.
667
668 2004-05-31  Eric Botcazou  <ebotcazou@libertysurf.fr>
669
670         * config/sol2.h (__enable_execute_stack): ANSIfy function
671         definition.
672
673 2004-05-31  Danny Smith  <dannysmith@users.sourceforge.net>
674
675         * c-incpath.c (add_path): Canonicalize paths to use '/' if
676         HAVE_DOS_BASED_FILESYSTEM.
677
678 2004-05-31  Steven Bosscher  <stevenb@suse.de>
679
680         * tree-ssa-dom.c (record_equivalences_from_incoming_edge):
681         Only look at case labels if the immediate dominator is also
682         the only predecessor.  Don't look for more case labels if the
683         first seen is a case range.
684
685 2004-05-31  Kazu Hirata  <kazu@cs.umass.edu>
686
687         * builtins.c: Add a prototype for fold_builtin_strchr().
688
689 2004-05-31  Paolo Bonzini  <bonzini@gnu.org>
690
691         Revert this patch:
692         2004-05-27  Paolo Bonzini  <bonzini@gnu.org>
693
694         * combine.c (gen_binary): Remove.
695         (known_cond, simplify_shift_const
696         find_split_point, combine_simplify_rtx,
697         simplify_if_then_else, simplify_set,
698         simplify_logical, expand_field_assignment,
699         extract_left_shift, force_to_mode,
700         if_then_else_cond, apply_distributive_law,
701         simplify_and_const_int, simplify_shift_const,
702         gen_lowpart_for_combine, simplify_comparison,
703         reversed_comparison): Replace with
704         simplify_gen_binary, simplify_gen_relational or
705         distribute_and_simplify_rtx.
706         (distribute_and_simplify_rtx): New function.
707
708 2004-05-30  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
709
710         * pa.c (emit_move_sequence): Fix loading of non 14-bit CONST operands
711         when generating PIC code.
712
713 2004-05-30  Andrew Pinski  <pinskia@physics.uc.edu>
714
715         * c-decl.c (c_expand_body_1): Remove and fold back into ...
716         (c_expand_body): here.
717         (c_expand_decl): Move to ...
718         * c-common.c (c_expand_decl): Here and remove check for nested
719         functions.
720         * c-common.h (c_expand_decl): Add prototype.
721         * c-tree.h (c_expand_decl): Remove.
722
723 2004-05-30  Roger Sayle  <roger@eyesopen.com>
724
725         * fold-const.c (combine_comparisons, optimize_bit_field_compare,
726         range_binop, fold_truthop, fold_binary_op_with_conditional_arg,
727         fold_mathfn_compare, fold_inf_compare, fold,
728         fold_relational_hi_lo, nondestructive_fold_binary_to_constant):
729         Use constant_boolean_node where appropriate.  Don't bother using
730         fold_convert on the second argument to omit_one_operand.
731
732 2004-05-30  Roger Sayle  <roger@eyesopen.com>
733
734         * doc/c-tree.texi (Expressions): Document FLOOR_DIV_EXPR,
735         CEIL_DIV_EXPR, ROUND_DIV_EXPR, FLOOR_MOD_EXPR, CEIL_MOD_EXPR,
736         ROUND_MOD_EXPR, EXACT_DIV_EXPR.  Improve documentation of
737         TRUNC_DIV_EXPR, TRUNC_MOD_EXPR and comparison operations.
738         Add missing (but documented) tree nodes to the index.
739
740 2004-05-30  Steven Bosscher  <stevenb@suse.de>
741
742         PR tree-optimization/14819
743         * builtins.c (fold_builtin_strchr): New.
744         (fold_builtin_1): Handle BUILT_IN_STRCHR and BUILT_IN_STRRCHR
745         with fold_builtin_strchr().
746
747 2004-05-30  Kazu Hirata  <kazu@cs.umass.edu>
748
749         * bb-reorder.c, builtins.c, c-common.c, c-gimplify.c,
750         c-incpath.c, cgraphunit.c, ddg.c, defaults.h, dwarf2out.c,
751         expmed.c, flags.h, gcc.c, gensupport.c, gimplify.c, global.c,
752         passes.c, reg-stack.c, target.h, toplev.c, tree-alias-ander.c,
753         tree-alias-common.c, tree-cfg.c, tree-complex.c, tree-dfa.c,
754         tree-eh.c, tree-mudflap.c, tree-mudflap.h, tree-outof-ssa.c,
755         tree-phinodes.c, tree-pretty-print.c, tree-ssa-alias.c,
756         tree-ssa-ccp.c, tree-ssa-live.c, tree-ssa-live.h,
757         tree-ssa-pre.c, tree.h, value-prof.h, varasm.c: Fix comment
758         formatting.
759
760 2004-05-30  Steven Bosscher  <stevenb@suse.de>
761
762         * gimplify.c (sort_case_labels): New.  Split out from...
763         (gimplify_switch_expr): ...here.  Use it.
764         * tree-eh.c (lower_try_finally_switch): Sort the labels of
765         the SWITCH_EXPR created here before leaving the function.
766         * tree.c (sort_case_labels): Add prototype.
767
768 2004-05-30  Andrew Pinski  <pinskia@physics.uc.edu>
769
770         * fold-const.c (fold) [case TRUTH_NOT_EXPR]: Make sure the type is
771         of BOOLEAN_TYPE.
772
773 2004-05-30  Kazu Hirata  <kazu@cs.umass.edu>
774
775         * c-common.c, calls.c, cfgcleanup.c, cgraph.c, cgraphunit.c,
776         ddg.c, ddg.h, df.c, df.h, except.c, expr.c, flags.h,
777         fold-const.c, gcc.c, gimplify.c, haifa-sched.c,
778         modulo-sched.c, tree-inline.c, tree-into-ssa.c, tree-nested.c,
779         tree-nrv.c, tree-ssa-ccp.c, tree-ssa-dom.c, tree-ssa-live.c,
780         tree-ssa-loop.c, tree-ssa-pre.c, tree-tailcall.c, tree.h: Fix
781         comment typos.  Follow spelling conventions.
782
783 2004-05-29  Geoffrey Keating  <geoffk@apple.com>
784
785         * gengtype-yacc.y: Add NESTED_PTR token.
786         (option): Record `nested_ptr' option.
787         * gengtype-lex.l: Handle `nested_ptr' keyword.
788         * gengtype.c (walk_type): Process `nested_ptr' option.
789         * gengtype.h (struct nested_ptr_data): New.
790         * doc/gty.texi (GTY Options): Document `nested_ptr' option.
791         * stringpool.c (struct string_pool_data): Make 'entries' point to
792         ht_identifier instead of tree.
793         (gt_pch_save_stringpool): Don't adjust pointers.
794         (gt_pch_restore_stringpool): Call ht_load.
795
796 2004-05-29  Jason Merrill  <jason@redhat.com>
797
798         * gimplify.c (gimplify_expr): Don't build a statement list
799         if no gimplification was necessary.
800
801 2004-05-29  Joseph S. Myers  <jsm@polyomino.org.uk>
802
803         * pretty-print.c (pp_base_format_text): Support %< instead of %`
804         and %> as well as %'.
805         * c-format.c: Use %< and %>.
806         (gcc_diag_char_table, gcc_cdiag_char_table,
807         gcc_cxxdiag_char_table): Update.
808
809 2004-05-29  Joseph S. Myers  <jsm@polyomino.org.uk>
810
811         * c-typeck.c (common_type): Correct comment.
812
813 2004-05-29  Peter Barada  <peter@the-baradas.com>
814
815         * config/m68k/m68k.c (CONST_METHOD): Add MVZ, MVS.
816         * config/m68k/m68k.c (const_method): Likewise.
817         * config/m68k/m68k.c (const_int_cost): Likewise.
818         * config/m68k/m68k.c (const_int_cost): Likewise.
819         * config/m68k/m68k.c (output_move_const_into_data_reg): Likewise.
820
821 2004-05-29  Peter Barada  <peter@the-baradas.com>
822
823         * config/m68k/m68k.h (EXTRA_CONSTRAINT): add 'U' for register offset
824         addressing.
825         * config/m68k/m68k.md: Add 'U,U' alternative to ColdFire variants of
826         movsi,movhi,movqi insn patterns.
827
828 2005-05-28  Andrew Pinski  <pinskia@physics.uc.edu>
829
830         * c-semantics.c (emit_local_var): Remove code for DECL_INITIAL.
831
832         PR target/15720
833         * config/darwin.c (machopic_indirect_call_target): Copy
834         the SYMBOL_REF_DECL from the original RTX for the new
835         stub RTX.
836
837 2004-05-28  DJ Delorie  <dj@redhat.com>
838
839         * stor-layout.c (place_field): Revert erroneous commit.
840
841 2004-05-28  Ziemowit Laski  <zlaski@apple.com>
842
843         * config/rs6000/altivec.h (vec_ctf, vec_vcfsx, vec_vcfux, vec_cts,
844         vec_ctu, vec_dss, vec_dst, vec_dstst, vec_dststt, vec_dstt, vec_ld,
845         vec_ldl, vec_lvsl, vec_lvsr, vec_sld, vec_splat, vec_vspltw,
846         vec_vsplth, vec_vspltb, vec_splat_s8, vec_splat_s16, vec_splat_s32,
847         vec_splat_u8, vec_splat_u16, vec_splat_u32, vec_st, vec_stl,
848         vec_ste): Remove type checks for integral parameters and literals
849         from '..._args_eq' macros.
850
851 2004-05-28  Aldy Hernandez  <aldyh@redhat.com>
852
853         * c-common.c (fname_as_string): Fix xcalloc to xmalloc.
854
855 2004-05-28  Aldy Hernandez  <aldyh@redhat.com>
856
857         * testsuite/g++.dg/charset/function.cc: New.
858
859         * testsuite/gcc.dg/charset/function.c: New.
860
861         * c-decl.c (c_make_fname_decl): Free return value from
862         fname_as_string.
863
864         * cp/decl.c (cp_make_fname_decl): Free return value from
865         fname_as_string.
866
867         * c-common.c (fname_as_string): Translate if necessary.
868
869 2004-05-28  Geoffrey Keating  <geoffk@apple.com>
870
871         * stringpool.c: Add comments to PCH saving/restoring routines.
872
873 2004-05-28  Andrew Pinski  <pinskia@physics.uc.edu>
874
875         * c-common.c (c_estimate_num_insns_1): Kill.
876         (c_estimate_num_insns): Kill.
877         * c-common.h (c_estimate_num_insns): Kill.
878
879         * gthr-posix.h: Check for _POSIX_PRIORITY_SCHEDULING
880         when checking for _POSIX_THREAD_PRIORITY_SCHEDULING.
881         Remove comment about not checking for
882         _POSIX_PRIORITY_SCHEDULING.
883         * gthr-posix.c: Likewise.
884
885 2004-05-28  Paolo Bonzini  <bonzini@gnu.org>
886             Roger Sayle  <roger@eyesopen.com>
887
888         PR rtl-optimization/15649
889         Add LTGT_EXPR and improve pretty-printing of unordered
890         comparisons.
891         * c-common.c (c_common_truthvalue_conversion):
892         Handle LTGT_EXPR.
893         * c-typeck.c (build_binary_op): Likewise.
894         * dojump.c (do_jump): Likewise.
895         * expr.c (expand_expr_real_1, do_store_flag): Likewise.
896         * predict.c (tree_predict_by_opcode): Likewise.
897         * real.c (real_compare): Likewise.
898         * tree-cfg.c (verify_expr): Likewise.
899         * tree-inline.c (estimate_num_insns_1): Likewise.
900         * tree-pretty-print.c (dump_generic_node): Likewise.
901         Handle ORDERED_EXPR, UNORDERED_EXPR.
902         (op_symbol): Print unordered comparisons differently
903         than ordered ones.
904         * tree.def (LTGT_EXPR): New '<' tree code.
905         * doc/c-tree.texi (Expressions): Document floating-point
906         comparison nodes.
907
908         Fold comparisons between floating point values.
909         * fold-const.c (enum comparison_code): New, from
910         #define'd constants.  Define compcodes for unordered
911         comparisons and for invalid transformations.
912         (invert_tree_comparison): Add "honor_nans" parameter.
913         (fold_truthop): Revamp to work on floating-point types too.
914         (comparison_to_compcode): Support unordered comparisons.
915         Use new enum comparison_code.
916         (compcode_to_comparison): Likewise.
917         (combine_compcodes): New function.
918         (invert_truthvalue): Let invert_tree_comparison decide
919         whether it is valid to fold the comparison.  Fold ORDERED
920         and UNORDERED even if flag_unsafe_math_optimizations is off,
921         and the remaining even if flag_unsafe_math_optimizations
922         is off but we are under -fno-trapping-math.
923         (fold_relational_const): Integer modes do not honor NaNs.
924
925 2004-05-28  Paul Brook  <paul@codesourcery.com>
926
927         * config/arm/arm.c (arm_output_epilogue): Remove redundant code.
928
929 2004-05-28  Paul Brook  <paul@codesourcery.com>
930
931         * config/arm/arm.c (thumb_force_lr_save): New function.
932         (arm_get_frame_offsets, thumb_unexpanded_epilogue,
933         thumb_output_function_prologue): Use it.
934         (thumb_expand_prologue): Set lr_save_eliminated.
935
936 2004-05-28  Richard Sandiford  <rsandifo@redhat.com>
937
938         * config/mips/mips.md (extendsidi2): Tie the source and destination
939         of the register alternative.  Split it into nothing.
940
941 2004-05-28  Richard Sandiford  <rsandifo@redhat.com>
942
943         * rtl.h (skip_consecutive_labels): Declare.
944         * emit-rtl.c (skip_consecutive_labels): New function.
945         * reorg.c (relax_delay_slots, dbr_schedule): Use it.
946         * jump.c (follow_jumps): Say what null return values mean.
947
948 2004-05-28  Kaz Kojima  <kkojima@gcc.gnu.org>
949
950         PR target/13250
951         * config/sh/sh.md (rotlsi3): Use emit_move_insn.
952
953 2004-05-27  Kaz Kojima  <kkojima@gcc.gnu.org>
954
955         * config/sh/t-linux (SHLIB_MAPFILES): Use sh specific
956         libgcc-std.ver.
957         * config/sh/libgcc-std.ver: New file.
958
959 2004-05-27  Bryce McKinlay  <mckinlay@redhat.com>
960
961         * except.c: Revert change of 2004-05-26.
962         * config/i386/i386.md: Revert change of 2004-05-27.
963
964 2004-05-27  Bryce McKinlay  <mckinlay@redhat.com>
965
966         * configure.ac: Remove --enable-tree-browser option.
967         Define TREEBROWSER when ac_tree_checking is defined.
968         * configure: Rebuilt.
969
970 2004-05-27  Olivier Hainque  <hainque@act-europe.fr>
971
972         * expr.c (store_constructor): Restore sanity check on
973         the size of the type before clearing.
974
975 2004-05-27  Jan Hubicka  <jh@suse.cz>
976
977         * cfgbuild.c (control_flow_insn_p):  Notice noreturn call
978
979 2004-05-27  Paolo Bonzini  <bonzini@gnu.org>
980
981         * combine.c (gen_binary): Remove.
982         (known_cond, simplify_shift_const
983         find_split_point, combine_simplify_rtx,
984         simplify_if_then_else, simplify_set,
985         simplify_logical, expand_field_assignment,
986         extract_left_shift, force_to_mode,
987         if_then_else_cond, apply_distributive_law,
988         simplify_and_const_int, simplify_shift_const,
989         gen_lowpart_for_combine, simplify_comparison,
990         reversed_comparison): Replace with
991         simplify_gen_binary, simplify_gen_relational or
992         distribute_and_simplify_rtx.
993         (distribute_and_simplify_rtx): New function.
994         * simplify-rtx.c (simplify_binary_operation):
995         Use nonzero_bits to simplify ANDs where we are
996         turning off bits already known to be off in OP0.
997
998 2004-05-27  Alan Modra  <amodra@bigpond.net.au>
999
1000         PR target/14478
1001         * config/rs6000/rs6000.c (reg_or_neg_short_operand): Don't allow zero.
1002
1003 2004-05-27  Josef Zlomek  <zlomekj@suse.cz>
1004
1005         PR middle-end/14084
1006         * emit-rtl.c (gen_rtx_REG_offset): Adjust the offset according
1007         to size of decl.
1008
1009 2004-05-26  Aldy Hernandez  <aldyh@redhat.com>
1010
1011         PR/14924
1012         * config/rs6000/rs6000.c (spe_expand_stv_builtin): New.
1013
1014 2004-05-26  Roger Sayle  <roger@eyesopen.com>
1015
1016         * tree.h: Fix comment typo.
1017
1018 2004-05-27  Steven Bosscher  <stevenb@suse.de>
1019
1020         * gimplify.c (compare_case_labels): New function.
1021         (gimplify_switch_expr): Sort case labels, and make sure the
1022         last label in the label vector is the default case.
1023         * tree-cfg.c (group_case_labels): New function.
1024         (build_tree_cfg): Cleanup redundant labels and group case labels
1025         before creating edges.
1026         (cleanup_dead_labels): Handle GOTO_EXPRs.
1027         (find_case_label_for_value): Use a binary search to find the
1028         case label for the given value.
1029         * tree-gimple.c: Mention that labels are sorted, and that the
1030         last label must be the default.
1031
1032 2004-05-27  Jan Hubicka  <jh@suse.cz>
1033
1034         * cfgcleanup.c (try_optimize_cfg): Do not merge across jumptables.
1035
1036 2004-05-27  Jan Hubicka  <jh@suse.cz>
1037
1038         * i386.md (UNSPECV_EH_RETURN): Kill.
1039         (eh_return): Use jump_insn.
1040         (eh_return_si, eh_return_di): Change pattern to jump instruction.
1041
1042 2004-05-26  Jan Hubicka  <jh@suse.cz>
1043
1044         * cfgcleanup.c (try_forward_edges):  Do not check loop structure when
1045         not loop optimizing.
1046
1047 2004-05-26  Jan Hubicka  <jh@suse.cz>
1048
1049         * except.c (can_throw_internal):  Notice RESX instructions.
1050
1051 2004-05-26  Eric Botcazou  <ebotcazou@act-europe.fr>
1052
1053         * varasm.c (output_constant) <INTEGER_TYPE>: Pass the minimum
1054         of the two sizes to assemble_integer.
1055
1056 2004-05-25  Paul Brook  <paul@codesourcery.com>
1057
1058         * config/arm/arm.c (thumb_exit, thumb_unexpanded_epilogue): Remove
1059         pointless #ifdef.
1060
1061 2004-04-25  Paolo Bonzini  <bonzini@gnu.org>
1062
1063         * Makefile.in (top_builddir): Define to .
1064
1065 2004-05-25  Alexandre Oliva  <aoliva@redhat.com>
1066
1067         * configure.ac (gcc_cv_ld): Prefer in-tree ld over whatever the
1068         top-level detects, except when in-tree ld is being cross-built.
1069         (gcc_cv_as): Likewise for as.  Use AS_FOR_TARGET otherwise, and
1070         then AS only if target is host.
1071         * configure: Rebuilt.
1072
1073 2004-05-25  Vladimir Makarov  <vmakarov@redhat.com>
1074
1075         * global.c (global_alloc): Call make_accurate_live_analysis.
1076         (record_one_conflict): Remove dead code.
1077         (mark_reg_clobber): Remove ATTRIBUTE_UNUSED for parameter data.
1078         (bb_info): New structure.
1079         (BB_INFO, BB_INFO_BY_INDEX): New macros.
1080         (allocate_bb_info, free_bb_info, mark_reg_change,
1081         calculate_local_reg_bb_info, set_up_bb_rts_numbers, rpost_cmp,
1082         modify_bb_reg_pav, calculate_reg_pav,
1083         make_accurate_live_analysis): New functions.
1084
1085 2004-05-25  Devang Patel  <dpatel@apple.com>
1086
1087         * alias.c (init_alias_analysis): Use ggc_calloc instead of
1088         xrealloc.
1089         (end_alias_analysis): Use ggc_free instead fo free.
1090
1091 2004-05-25  Andrew Pinski  <pinskia@physics.uc.edu>
1092
1093         PR target/15546
1094         * config/ia64/ia64.h (ASM_OUTPUT_FDESC): Mark the DECL
1095         as needed to be outputted.
1096
1097 2004-05-25  Jan Hubicka  <jh@suse.cz>
1098
1099         * builtins.def (__builtin_expect):  Mark the function as const&nothrow.
1100
1101 2004-05-25  Ayal Zaks  <zaks@il.ibm.com>
1102         Mostafa Hagog  <mustafa@il.ibm.com>
1103
1104         * Makefile.in (modulo-sched.o, ddg.o): New.
1105         * ddg.h, ddg.c, modulo-sched.c: New files.
1106         * cfglayout.c (duplicate_insn_chain): Remove "static" and push
1107         internals to "dupicate_insn".
1108         (duplicate_insn): New function.
1109         * cfglayout.h (duplicate_insn_chain, duplicate_insn): New
1110         declarations.
1111         * common.opt (fmodulo-sched): New flag.
1112         * df.c (df_bb_regno_last_use_find, df_bb_regno_first_def_find):
1113         Remove static and forward declaration.
1114         (df_find_def, df_reg_used, df_bb_regno_last_def_find): New
1115         functions.
1116         * df.h (df_bb_regno_last_use_find, df_bb_regno_first_def_find,
1117         df_bb_regno_last_def_find, df_find_def, df_reg_used): New
1118         declarations.
1119         * flags.h (flag_modulo_sched): New flag.
1120         * opts.c (common_handle_option): Handle modulo-sched flag.
1121         * params.def (max-sms-loop-number, sms-max-ii-factor,
1122         sms-dfa-history, sms-loop-average-count-threshold): New
1123         parameters.
1124         * params.h (MAX_SMS_LOOP_NUMBER, SMS_MAX_II_FACTOR,
1125         SMS_DFA_HISTORY, SMS_LOOP_AVERAGE_COUNT_THRESHOLD): New
1126         parameters.
1127         * passes.c ("sms", "sms-vcg"): New dumps.
1128         (rest_of_handle_sched): Call sms_schedule.
1129         * rtl.h (sms_schedule): New declaration.
1130         * timevar.def (TV_SMS): New.
1131         * toplev.c (flag_modulo_sched): Initialize.
1132         (f_options): Handle -fmodulo-sched option.
1133         * docs/invoke.texi: Document -fmodulo-sched & -dm options.
1134         * docs/passes.texi: Document new SMS pass.
1135
1136 2004-05-25  Paolo Bonzini  <bonzini@gnu.org>
1137
1138         * Makefile.in (OBJS): Add rtlhooks.o.
1139         (rtlanal.o): Depend on function.h.
1140         (cse.o): Depend on rtlhooks-def.h.
1141         (combine.o): Depend on rtlhooks-def.h.
1142         (rtlhooks.o): New rule.
1143         * combine.c: Include rtlhooks-def.h.
1144         (nonzero_bits, cached_nonzero_bits, nonzero_bits1,
1145         num_sign_bit_copies, cached_num_sign_bit_copies,
1146         num_sign_bit_copies1): Move most of the code to rtlanal.c.
1147         (reg_nonzero_bits_for_combine,
1148         reg_num_sign_bit_copies_for_combine): New functions holding
1149         the remnants of the above.
1150         (combine_rtl_hooks): New.
1151         (combine_instructions): Set rtl_hooks instead of gen_lowpart.
1152         * cse.c: Include rtlhooks-def.h.
1153         (cse_rtl_hooks): New.
1154         (cse_main): Set rtl_hooks instead of gen_lowpart.
1155         * emit-rtl.c (gen_lowpart): Remove.
1156         (gen_lowpart_general): Move to rtlhooks.c.
1157         * rtl.h (nonzero_bits, num_sign_bit_copies,
1158         struct rtl_hooks, rtl_hooks, general_rtl_hooks): New.
1159         (gen_lowpart_general): Remove.
1160         (gen_lowpart): Temporarily redefine as a macro.
1161         * rtlanal.c: Include function.h.
1162         (nonzero_bits, cached_nonzero_bits, nonzero_bits1,
1163         num_sign_bit_copies, cached_num_sign_bit_copies,
1164         num_sign_bit_copies1): New, from combine.c.
1165         * rtlhooks.c: New file.
1166
1167 2004-05-25  Svein E. Seldal  <Svein.Seldal@solidas.com>
1168
1169         * config/avr/avr.h (LONG_LONG_TYPE_SIZE): Changed long long type
1170         to support 32-bit -mint8 mode.
1171
1172         * doc/invoke.texi (-mint8): Added documentation for the -mint8
1173         option in the AVR architecture.
1174
1175 2004-05-24  Mike Stump  <mrs@apple.com>
1176
1177         * doc/install.texi: Document that dejagnu 1.4.4 is required.
1178
1179 2004-05-24  Joseph S. Myers  <jsm@polyomino.org.uk>
1180
1181         * intl.h (open_quote, close_quote): New.
1182         * intl.c (open_quote, close_quote): New.
1183         (gcc_init_libintl): Set them.
1184         * pretty-print.c: Include "intl.h".
1185         (pp_base_format_text): Support 'q' format flag and %` and %'
1186         formats.  Use ' instead of ` in comments.
1187         * c-format.c (gcc_diag_flag_specs, gcc_cxxdiag_flag_specs,
1188         gcc_diag_char_table, gcc_cdiag_char_table, gcc_cxxdiag_char_table,
1189         foramt_types_orig): Describe these new formats.
1190         (decode_format_attr, check_function_format,
1191         check_format_info_main): Use these new formats.
1192         (status_warning): Use ATTRIBUTE_GCC_DIAG.
1193         * toplev.c (ATTRIBUTE_GCC_DIAG): Increase required GCC version to
1194         check these formats to 3.5.
1195
1196 2004-05-24  Rainer Orth  <ro@TechFak.Uni-Bielefeld.DE>
1197
1198         * Makefile.in (CPPLIBS): Renamed to CPPLIB.
1199         (BACKEND): Reflect this.
1200         (LIBDEPS): Move CPPLIB before LIBIBERTY.
1201         (LIBS): Likewise.
1202
1203 2004-05-24  Ulrich Weigand  <uweigand@de.ibm.com>
1204
1205         PR tree-optimization/14197
1206         * builtins.c: Include "tree-gimple.h"
1207         (readonly_data_expr): Use get_base_address.  Make sure to call
1208         decl_readonly_section only on trees it can handle.
1209         * tree-gimple.c (get_base_address): Accept STRING_CST and
1210         CONSTRUCTOR expressions.
1211         * Makefile.in: Update dependencies.
1212
1213 2004-05-23  Paolo Bonzini  <bonzini@gnu.org>
1214
1215         Move libcpp to the toplevel.
1216         * Makefile.in: Remove references to libcpp files,
1217         use CPPLIBS instead of libcpp.a.  Define SYMTAB_H
1218         and change hashtable.h to that.
1219         * aclocal.m4 (gcc_AC_HEADER_STDBOOL,
1220         gcc_AC_HEADER_STRING, gcc_AC_C__BOOL): Remove.
1221         * configure.ac (gcc_AC_C__BOOL, HAVE_UCHAR): Remove tests.
1222         * configure: Regenerate.
1223         * config.in: Regenerate.
1224         * c-ppoutput.c: Include ../libcpp/internal.h instead of cpphash.h.
1225         * cppcharset.c: Removed.
1226         * cpperror.c: Removed.
1227         * cppexp.c: Removed.
1228         * cppfiles.c: Removed.
1229         * cpphash.c: Removed.
1230         * cpphash.h: Removed.
1231         * cppinit.c: Removed.
1232         * cpplex.c: Removed.
1233         * cpplib.c: Removed.
1234         * cpplib.h: Removed.
1235         * cppmacro.c: Removed.
1236         * cpppch.c: Removed.
1237         * cpptrad.c: Removed.
1238         * cppucnid.h: Removed.
1239         * cppucnid.pl: Removed.
1240         * cppucnid.tab: Removed.
1241         * hashtable.c: Removed.
1242         * hashtable.h: Removed.
1243         * line-map.c: Removed.
1244         * line-map.h: Removed.
1245         * mkdeps.c: Removed.
1246         * mkdeps.h: Removed.
1247         * stringpool.h: Include symtab.h instead of hashtable.h.
1248         * tree.h: Include symtab.h instead of hashtable.h.
1249         * system.h (O_NONBLOCK, O_NOCTTY): Do not define.
1250
1251 2004-05-23 Paolo Bonzini <bonzini@gnu.org>
1252
1253         * gcc.c (struct prefix_list): Add forward declaration.
1254         (do_spec_path): New function, extracted from...
1255         (do_spec_1) <'D'>: ... here.  Drop support for
1256         SPACE_AFTER_L_OPTION.
1257         (do_spec_1) <'I'>: Use do_spec_path.
1258         (process_command): Do not store the 'include' suffix
1259         in include_prefixes.
1260         * system.h: Poison SPACE_AFTER_L_OPTION.
1261
1262 2002-05-23  Roger Sayle  <roger@eyesopen.com>
1263
1264         * fold-const.c (non_lvalue): Explicitly list the tree codes that
1265         need to be wrapped by NON_LVALUE_EXPR, instead of those that don't.
1266
1267 2004-05-23  Joseph S. Myers  <jsm@polyomino.org.uk>
1268
1269         * doc/gcc.texi, doc/gccint.texi, doc/include/gcc-common.texi:
1270         Update based on printed manual.  Enable setting of offsets for
1271         FSFPRINT and move it to gcc-common.texi.
1272         * doc/gcc.texi: Update FSF printing details.
1273         * doc/gccint.texi: Remove FSF printing details.
1274
1275 2004-05-23  Andrew Pinski  <pinskia@physics.uc.edu>
1276
1277         * config/rs6000/t-rs6000: Remove the disabling -Werror.
1278
1279 2004-05-22  Roger Sayle  <roger@eyesopen.com>
1280
1281         * builtins.c (expand_builtin_strstr, expand_builtin_strchr,
1282         expand_builtin_strrchr, expand_builtin_strpbrk,
1283         expand_builtin_mempcpy, expand_builtin_memcmp,
1284         expand_builtin_strcmp, expand_builtin_strncmp,
1285         expand_builtin_strcat, std_expand_builtin_va_start,
1286         std_expand_builtin_va_arg, expand_builtin_va_copy,
1287         expand_builtin_signbit, fold_builtin_cabs,
1288         fold_builtin_logarithm, fold_builtin_mempcpy,
1289         fold_builtin_signbit, fold_builtin_isascii,
1290         fold_builtin_toascii, fold_builtin_isdigit,
1291         fold_builtin_1, build_function_call_expr,
1292         simplify_builtin_strchr, simplify_builtin_strrchr,
1293         simplify_builtin_strpbrk, simplify_builtin_strncpy,
1294         simplify_builtin_memcmp, simplify_builtin_strcmp,
1295         simplify_builtin_strncmp, simplify_builtin_strncat,
1296         simplify_builtin_strspn, simplify_builtin_strcspn,
1297         simplify_builtin_fputs, simplify_builtin_sprintf): Replace calls
1298         to build with calls to build2, build3 or omit_one_operand.
1299
1300 2004-05-22  Richard Sandiford  <rsandifo@redhat.com>
1301
1302         * config/mips/mips.c (mips_file_start): Emit a .gcc_compiled_longXX
1303         section when generating EABI code.
1304
1305 2004-05-22  Andrew Pinski  <pinskia@physics.uc.edu>
1306
1307         PR 15546
1308         * config/i386/i386.c (output_pic_addr_const <case SYMBOL_REF>):
1309         Call mark_decl_referenced on the SYMBOL_REF_DECL.
1310
1311 2004-05-22  Andrew Pinski  <pinskia@physics.uc.edu>
1312
1313         * c-common.c (c_common_truthvalue_conversion): Handle
1314         UNEQ_EXPR, UNLE_EXPR, UNGE_EXPR, UNLT_EXPR, UNGT_EXPR,
1315         ORDERED_EXPR, and UNORDERED_EXPR as comparison operators,
1316         i.e. set the type to truthvalue_type_node and return.
1317
1318 2004-05-22  Zack Weinberg  <zack@codesourcery.com>
1319
1320        * tree.h (struct tree_decl): Add possibly_inlined bit.
1321         (DECL_POSSIBLY_INLINED): New accessor macro.
1322         * cgraph.h: Remove declaration of cgraph_inline_hash.
1323         * cgraph.c: Remove definition of cgraph_inline_hash.
1324         (hash_node): Revert to hashing DECL_UID.
1325         (eq_node): Take two pointers to cgraph_node structures.
1326         Compare DECL_UIDs.
1327         (cgraph_remove_node): Pass the node directly to htab_find_slot.
1328         (cgraph_varpool_hash_node): Rename hash_varpool_node;
1329         hash on DECL_UID.
1330         (eq_cgraph_varpool_node): Rename eq_varpool_node; take two
1331         pointers to cgraph_varpool_node structures; compare DECL_UIDs.
1332         (cgraph_node): Allocate a temporary node on the stack, fill in
1333         its DECL field, and pass that to htab_find_slot.
1334         (cgraph_varpool_node): Likewise.
1335         (cgraph_function_possibly_inlined_p): If global info is ready,
1336         return the DECL_POSSIBLY_INLINED bit.
1337         * cgraphunit.c (cgraph_mark_inline_edge): Set DECL_POSSIBLY_INLINED
1338         instead of mucking with cgraph_inline_hash.
1339
1340 2004-05-22  Joseph S. Myers  <jsm@polyomino.org.uk>
1341
1342         * doc/contrib.texi: Add g77 contributors.
1343
1344 2004-05-22  Richard Sandiford  <rsandifo@redhat.com>
1345
1346         * calls.c (initialize_argument_information): Forbid sibcalls if a
1347         callee-copied argument is stored in the current function's frame.
1348
1349 2004-05-22  Eric Christopher  <echristo@redhat.com>
1350
1351         * fix-header.c (read_scan_file): Update for add_path change.
1352
1353 2004-05-22  Ben Elliston  <bje@au.ibm.com>
1354
1355         * c.opt (Wmissing-include-dirs): New.
1356         * c-opts.c (c_common_handle_option): Pass true for user_supplied_p
1357         to add_path () for -I, but false for OPT_idirafter, OPT_iquote and
1358         OPT_isystem. Handle case OPT_Wmissing_include_dirs.
1359         * c-incpath.h (add_path): Add fourth (bool) argument.
1360         * c-incpath.c (add_env_var_paths): Pass false to add_path ().
1361         (add_standard_paths): Likewise.
1362         (remove_duplicates) [REASON_NOENT]: Warn if -Wmissing-include-dirs
1363         is used and the directory was user-supplied via -I.
1364         (add_path): Set p->user_supplied_p.  Remove duplicated code by
1365         using add_cpp_dir_path ().
1366         * cpplib.h (struct cpp_options): Add warn_missing_include_dirs.
1367         (struct cpp_dir): Add user_supplied_p.
1368         * doc/invoke.texi (Warning Options): Document new option.
1369
1370 2004-05-21  Ulrich Weigand  <uweigand@de.ibm.com>
1371
1372         * fold-const.c (fold_read_from_constant_string): Convert result to
1373         requested type.
1374
1375 2004-05-21  Richard Henderson  <rth@redhat.com>
1376
1377         * gimplify.c (mostly_copy_tree_r): Don't attempt to copy decls.
1378         (copy_if_shared_r): Don't copy decls, types, constants, BINDs.
1379         Don't mark VA_ARG_EXPRs volatile here.
1380         (gimplify_modify_expr): Unshare TYPE_SIZE_UNIT.
1381
1382 2004-05-21  Richard Henderson  <rth@redhat.com>
1383
1384         * Makefile.in (tree-dump.o): Depend on tree-iterator.h.
1385         * tree-dump.c (dequeue_and_dump): Dump STATEMENT_LISTs.
1386
1387 2004-05-21  Roger Sayle  <roger@eyesopen.com>
1388
1389         * fold-const.c (fold, fold_relational_hi_lo,
1390         nondestructive_fold_binary_to_constant,
1391         fold_read_from_constant_string): Use fold_convert instead of convert.
1392         * builtins.c (simplify_builtin, simplify_builtin_strstr,
1393         simplify_builtin_strchr, simplify_builtin_strrchr,
1394         simplify_builtin_strpbrk): Use fold_convert instead of convert.
1395
1396 2004-05-21  Diego Novillo  <dnovillo@redhat.com>
1397
1398         * tree-flow-inline.h (num_immediate_uses): Don't abort if DF
1399         is NULL.
1400
1401 2004-05-21  Jakub Jelinek  <jakub@redhat.com>
1402
1403         * config/sparc/linux64.h (OPTION_DEFAULT_SPECS): If SPARC_BI_ARCH,
1404         override sparc.h definition.
1405
1406 2004-05-20  Roger Sayle  <roger@eyesopen.com>
1407
1408         * tree.c (array_type_nelts, save_expr, substitute_in_expr,
1409         get_unwidened, get_narrower): Replace build with build2.
1410         * fold-const.c (negate_expr, associate_trees, size_binop,
1411         fold_convert, eval_subst, omit_one_operand, invert_truthvalue,
1412         pedantic_omit_one_operand, distribute_bit_expr,
1413         make_bit_field_ref, optimize_bit_field_compare,
1414         decode_field_reference, range_binop, make_range,
1415         build_range_check, fold_range_test, fold_truthop,
1416         optimize_minmax_comparison, extract_muldiv_1,
1417         fold_binary_op_with_conditional_arg, fold_mathfn_compare,
1418         fold_inf_compare, fold_single_bit_test, fold,
1419         fold_relational_hi_lo, nondestructive_fold_binary_to_constant):
1420         Likewise replace build with either build2 or build3.
1421
1422 2004-05-20  Ian Lance Taylor  <ian@wasabisystems.com>
1423
1424         * system.h: Poison NO_RECURSIVE_FUNCTION_CSE.
1425         * calls.c (prepare_call_address): Don't test
1426         NO_RECURSIVE_FUNCTION_CSE.
1427         * config/arc/arc.h (NO_RECURSIVE_FUNCTION_CSE): Don't define.
1428         * config/arm/arm.h (NO_RECURSIVE_FUNCTION_CSE): Likewise.
1429         * config/avr/avr.h (NO_RECURSIVE_FUNCTION_CSE): Likewise.
1430         * config/frv/frv.h (NO_RECURSIVE_FUNCTION_CSE): Likewise.
1431         * config/i386/i386.h (NO_RECURSIVE_FUNCTION_CSE): Likewise.
1432         * config/ip2k/ip2k.h (NO_RECURSIVE_FUNCTION_CSE): Likewise.
1433         * config/iq2000/iq2000.h (NO_RECURSIVE_FUNCTION_CSE): Likewise.
1434         * config/m32r/m32r.h (NO_RECURSIVE_FUNCTION_CSE): Likewise.
1435         * config/m68k/m68k.h (NO_RECURSIVE_FUNCTION_CSE): Likewise.
1436         * config/mcore/mcore.h (NO_RECURSIVE_FUNCTION_CSE): Likewise.
1437         * config/mips/mips.h (NO_RECURSIVE_FUNCTION_CSE): Likewise.
1438         * config/stormy16/stormy16.h (NO_RECURSIVE_FUNCTION_CSE):
1439         Likewise.
1440         * config/xtensa/xtensa.h (NO_RECURSIVE_FUNCTION_CSE): Likewise.
1441         * config/sh/sh.h: Remove NO_RECURSIVE_FUNCTION_CSE comment.
1442         * doc/tm.texi (Costs): Remove documentation for
1443         NO_RECURSIVE_FUNCTION_CSE.
1444
1445 2004-05-20  Paul Brook  <paul@codesourcery.com>
1446
1447         * unwind-dw2-fde.c (get_cie_encoding): Handle dwarf3 CIE format.
1448         * unwind-dw2.c (extract_cie_info): Ditto.
1449         (_Unwind_FrameState): Change retaddr_column to word type.
1450
1451 2004-05-20  Roger Sayle  <roger@eyesopen.com>
1452
1453         PR middle-end/3074
1454         * fold-const.c (strip_compound_expr): Delete function.
1455         (count_cond): Delete function.
1456         (fold_binary_op_with_conditional_arg): Only perform transformations
1457         "a + (b?c:d) -> b ? a+c : a+d" and "(b?c:d) + a -> b ? c+a : d+a"
1458         when a is constant.  This greatly simplifies this routine.
1459
1460         * tree.c (saved_expr_p): Delete function.
1461         * tree.h (saved_expr_p): Delete function prototype.
1462
1463 2004-05-20  Andrew Pinski  <pinskia@physics.uc.edu>
1464
1465         * common.opt (ftree-loop-optimize): Remove.
1466
1467 2004-05-20  Daniel Jacobowitz  <dan@debian.org>
1468
1469         * Makefile.in (AR_FOR_TARGET, RANLIB_FOR_TARGET)
1470         (NM_FOR_TARGET): Use := and $(shell).
1471         (mainversion): Remove unused variable.
1472
1473 2004-05-20  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
1474
1475         * reorg.c (delete_from_delay_slot): If we have a barrier after the
1476         sequence containing the insn to be deleted, always reemit it.
1477
1478 2004-05-20  Richard Henderson  <rth@redhat.com>
1479
1480         PR 15454
1481         * tree-nested.c (get_chain_decl): Create a PARM_DECL by hand.
1482         * function.c (expand_function_start): Expand static_chain_decl by hand.
1483         * gimplify.c (create_tmp_var_name): Export.
1484         * tree-gimple.h (create_tmp_var_name): Declare.
1485
1486 2004-05-20  Andrew Pinski  <pinskia@physics.uc.edu>
1487
1488         * rs6000.c (print_operand) <case 'z'>: Call
1489         mark_decl_referenced before assemble_name.
1490
1491 2004-05-20  Zack Weinberg  <zack@codesourcery.com>
1492
1493         * cgraph.c (hash_node, eq_node, cgraph_node, cgraph_remove_node)
1494         (cgraph_varpool_hash_node, eq_cgraph_varpool_node)
1495         (cgraph_varpool_node): Hash on the pointer to the decl, not
1496         the DECL_UID.  Fixes 64-bit bootstrap failure.
1497
1498 2004-05-20  Richard Earnshaw <rearnsha@arm.com>
1499
1500         * arm.md (ite_ne_zeroextractsi, ite_ne_zeroextractsi_shifted): Ensure
1501         we don't earlyclobber operands used in the second insn.
1502
1503 2004-05-20  Steven Bosscher  <stevenb@suse.de>
1504
1505         * tree-mudflap.c: Formatting fixes.
1506
1507 2004-05-20  J"orn Rennecke <joern.rennecke@superh.com>
1508
1509         * Makefile.in (GTFILES): Add $(srcdir)/reload.h.
1510         * gengtype.c (open_base_files): Include reload.h in ifiles.
1511         * reload.h (reg_equiv_memory_loc_varray): Declare.
1512         * reload1.c (reg_equiv_memory_loc_varray): New variable.
1513         (init_reload): Initialize it.
1514         (reload): Instead of freeing reg_equiv_memory_loc, 'grow'
1515         reg_equiv_memory_loc_varray to size 0.
1516         * ra.c (reg_alloc): Allocate reg_equiv_memory_loc by
1517         growing reg_equiv_memory_loc_varray to the desired size.
1518         * passes.c (rest_of_handle_old_regalloc): Likewise.
1519         * reload.c: Amend comment on calling init_reload.
1520
1521 2004-05-20  Nick Clifton  <nickc@redhat.com>
1522
1523         * config/c4x/c4x.h (INITIALIZE_TRAMPOLINE): Replace 'tramp'
1524         with 'TRAMP' in the body of the macro definition.
1525
1526 2004-05-19  H.J. Lu  <hongjiu.lu@intel.com>
1527
1528         PR target/15383
1529         * config/ia64/ia64.c (ia64_expand_compare): Don't check
1530         TARGET_HPUX for TFmode compare. Abort if op0 is in TFmode and
1531         cmptf_libfunc isn't set.
1532         (ia64_init_libfuncs): Rename TFmode libfuncs using the HPUX
1533         conventions.
1534         (ia64_sysv4_init_libfuncs): New.
1535
1536         * config/ia64/sysv4.h (TARGET_INIT_LIBFUNCS): New. Defined as
1537         ia64_sysv4_init_libfuncs.
1538
1539 2004-05-20  Falk Hueffner  <falk@debian.org>
1540
1541         PR other/15526
1542         * libgcc2.c (__mulvsi3): Fix overflow test.
1543
1544 2004-05-19  Andrew Pinski  <pinskia@physics.uc.edu>
1545
1546         PR c/14171
1547         * reg-stack.c (nan): Rename to ...
1548         (not_a_num): Here.
1549         (reg_to_stack): Rename nan to not_a_num.
1550         (subst_stack_regs_pat): Likewise.
1551         (convert_regs_entry): Likewise.
1552         (convert_regs_1): Likewise.
1553
1554         * tree-cfg.c (find_case_label_for_value): Replace call to
1555         simple_cst_equal with tree_int_cst_equal.
1556
1557 2004-05-19  Jeff Law <law@redhat.com>
1558
1559         * tree-into-ssa.c (prepare_operand_for_rename): New argument is_use.
1560         If the operand is for a use, then strip away the SSA_NAME, do not
1561         strip away the SSA_NAME for a set.  Never call release_ssa_name.
1562         (mark_def_sites): Appropriately pass additional argument to
1563         prepare_operand_for_rename.  If a VDEF_RESULT is not an SSA_NAME,
1564         then set the VDEF_RESULT to the VDEF_OP.
1565         (set_def_block): Strip away any SSA_NAME to get to the real
1566         underlying variable.
1567
1568         * tree-ssa-phiopt.c (value_replacement): Handle the case where
1569         the desired edge out of COND_BLOCK reaches OTHER_BLOCK rather than
1570         BB directly.
1571
1572 2004-05-19  Zdenek Dvorak  <rakdver@atrey.karlin.mff.cuni.cz>
1573
1574         PR c++/15463
1575         * loop-iv.c (iv_number_of_iterations):  Use trunc_int_for_mode on
1576         result of inverse.
1577
1578         PR rtl-optimization/15274
1579         * loop-iv.c (determine_max_iter, shorten_into_mode,
1580         iv_number_of_iterations): Handle constants correctly.
1581         * rtl.h (get_mode_bounds): Declaration changed.
1582         * stor-layout.c (get_mode_bounds): Return a constant suitable for
1583         the target mode.
1584
1585         PR rtl-optimization/14692
1586         * loop-unswitch.c (may_unswitch_on): Try folding the result.
1587         (unswitch_single_loop): Work correctly when may_unswitch_on
1588         returns a folded constant.
1589
1590         * loop-iv.c (implies_p): Handle A < B ==> A + 1 <= B.
1591         * simplify-rtx.c (simplify_const_relational_operation): Optimize
1592         comparisons with mode bounds.
1593
1594         * function.c (struct temp_slot): Add new field prev.
1595         (free_after_compilation, init_temp_slots): Free new fields.
1596         (cut_slot_from_list, insert_slot_to_list,
1597         temp_slots_at_level, max_slot_level, move_slot_to_level,
1598         make_slot_available): New functions.
1599         (assign_stack_temp_for_type, combine_temp_slots,
1600         find_temp_slot_from_address, preserve_temp_slots,
1601         preserve_rtl_expr_result, free_temp_slots,
1602         free_temps_for_rtl_expr, pop_temp_slots): Work with
1603         the new structure of lists.
1604         (mark_all_temps_used): Removed.
1605         * function.h (struct function): Field x_temp_slots
1606         replaced by x_used_temp_slots and x_avail_temp_slots.
1607         (temp_slots): Replaced by ...
1608         (used_temp_slots, avail_temp_slots): New.
1609         * tree.h (mark_all_temps_used): Declaration removed.
1610
1611         * loop-iv.c (mark_single_set, get_biv_step_1, iv_analyze,
1612         simplify_using_assignment): Take the expression out of
1613         the expr_list wrapper.
1614
1615         * loop-iv.c (iv_number_of_iterations): Improve clasification of
1616         infinite loops.
1617
1618 2004-05-19  Roger Sayle  <roger@eyesopen.com>
1619
1620         * doc/tm.texi (TARGET_RTX_COSTS): Document that instruction
1621         costs should be based on code size when optimizing for size.
1622
1623 2004-05-19  Paolo Bonzini  <bonzini@gnu.org>
1624
1625         * fold-const.c: Remove non-printable character 160.
1626
1627 2004-05-19  Nick Clifton  <nickc@redhat.com>
1628
1629         * doc/invoke.texi (ARM Options): Fix typo.
1630         Remove descrption of -mshort-load-bytes and
1631         -mno-short-load-bytes.
1632
1633         * config/ip2k/ip2k.c (ip2k_composite_xexp_not_uses_reg_p): Add
1634         missing parenthesis.
1635         * config/ip2k/ip2k.c (ip2k_unary_operator): Likewise.
1636         * config/ip2k/ip2k.c (ip2k_binary_operator): Likewise.
1637
1638 2004-05-19  Steven Bosscher  <stevenb@suse.de>
1639
1640         * expr.c (store_constructor): Build loop start and end by hand
1641         instead of via loop functions from stmt.c.
1642         (expand_expr_real_1): Abort if we see an EXIT_EXPR or a LOOP_EXPR.
1643         Remove the code to expand them.
1644
1645         * stmt.c (loop_stack): Remove this and everything related.
1646         (struct nesting, enum nesting_desc): Update.
1647         (expand_fixup): Likewise.
1648         (expand_loop_start, expand_start_loop_continue_elsewhere,
1649         expand_start_null_loop, expand_loop_continue_here, expand_end_loop,
1650         expand_end_null_loop, expand_continue_loop, expand_exit_loop,
1651         expand_exit_loop_if_false, expand_exit_loop_top_cond,
1652         expand_exit_something): Remove.
1653         * tree.h: Remove prototypes.
1654
1655 2004-05-18  Mike Stump  <mrs@apple.com>
1656             Devang Patel  <dpatel@apple.com>
1657
1658         * doc/tm.texi (TARGET_ASM_EMIT_UNWIND_LABEL): Add argument to indicate
1659         if this label is for eh.
1660         * config/darwin-protos.h (darwin_emit_unwind_label): Likewise.
1661         * config/darwin.c (darwin_emit_unwind_label): Likewise.
1662         * dwarf2out.c (output_call_frame_info): Likewise.
1663         * output.h (default_emit_unwind_label): Likewise.
1664         * target.h (unwind_label): Likewise.
1665         * varasm.c (default_emit_unwind_label): Likewise.
1666
1667         * config/darwin.h (DWARF2_DEBUGGING_INFO, PREFERRED_DEBUGGING_TYPE,
1668         DEBUG_FRAME_SECTION, DEBUG_INFO_SECTION, DEBUG_ABBREV_SECTION,
1669         DEBUG_ARANGES_SECTION, DEBUG_MACINFO_SECTION, DEBUG_LINE_SECTION,
1670         DEBUG_LOC_SECTION, DEBUG_PUBNAMES_SECTION, DEBUG_STR_SECTION,
1671         DEBUG_RANGES_SECTION): Define.
1672
1673 2004-05-18  Zack Weinberg  <zack@codesourcery.com>
1674
1675         * cgraph.c (hash_node, eq_node, cgraph_node, cgraph_remove_node)
1676         (cgraph_varpool_hash_node, eq_cgraph_varpool_node)
1677         (cgraph_varpool_node):
1678         Use DECL_UID for the key, not DECL_ASSEMBLER_NAME.
1679         (cgraph_function_possibly_inlined_p): Use the decl itself for
1680         the key, not DECL_ASSEMBLER_NAME.
1681         (change_decl_assembler_name): No need to muck with the hash tables.
1682         (cgraph_node_for_identifier, cgraph_varpool_node_for_identifier):
1683         Delete.
1684         * cgraphunit.c (cgraph_mark_inline_edge): Use the decl itself
1685         for the key, not DECL_ASSEMBLER_NAME.
1686         * cgraph.h: Remove prototypes of deleted functions.
1687         * varasm.c (mark_referenced): Just set TREE_SYMBOL_REFERENCED.
1688         (mark_decl_referenced): New function.
1689         * tree.h: Prototype mark_decl_referenced.
1690         * final.c (output_addr_const) <case SYMBOL_REF>: Call
1691         mark_decl_referenced before assemble_name.
1692         * c-decl.c (finish_decl): Use mark_decl_referenced.
1693
1694 2004-05-18  Andrew Pinski  <pinskia@physics.uc.edu>
1695             Jeff Law <law@redhat.com>
1696
1697         * tree-ssa-phiopt.c (abs_replacement): New function.
1698         (empty_block_p): New function extracted from...
1699         (candidate_bb_for_phi_optimization): Break out empty block test.
1700         (conditional_replacement): Use empty_block_p.
1701         (value_replacement): Similarly.
1702
1703         * Makefile.in (tree-ssa-phiopt.o): Depends on flags.h.
1704         * tree-ssa-phiopt.c: Include flags.h.
1705         (conditional_replacement): Remove argument names from prototype.
1706         Minor formatting and comment fixes.
1707         (tree_ssa_phiopt): If conditional_replacement returns false, then
1708         call value_replacement.
1709         (value_replacement): New function.
1710
1711 2004-05-18  Jeff Law  <law@redhat.com>
1712
1713         * tree-ssa-phiopt.c (replace_phi_with_stmt): New function extracted
1714         from conditional_replacement.
1715         (candidate_bb_for_phi_optimization): Similarly.
1716         (conditional_replacement): Use replace_phi_with_stmt and
1717         candidate_bb_for_phi_optimization.
1718
1719         * tree-ssa-phiopt.c: Fix various formatting issues.
1720
1721 2004-05-18  Steven Bosscher  <stevenb@suse.de>
1722
1723         * config/s390/s390.c (s390_expand_movstr, s390_expand_clrstr,
1724         s390_expand_cmpmem): Do not use expand_start_loop and
1725         expand_end_loop, instead build the loop manually.
1726
1727 2004-05-18  Alan Modra  <amodra@bigpond.net.au>
1728
1729         * config/rs6000/rs6000.md (ctrsi_internal3): Delete.
1730         (ctrsi_internal4, ctrdi_internal3, ctrdi_internal4): Delete.
1731
1732 2004-05-17  Jeff Law  <law@redhat.com>
1733
1734         * toplev.h (flag_delete_null_pointer_checks): Move from here to...
1735         * flags.h (flag_delete_null_pointer_checks): Here.
1736         * tree-flow.h (cprop_into_successor_phis): Add argument to prototype.
1737         * tree-phinodes.c (resize_phi_node): Initialize PHI_ARG_NONZERO.
1738         (add_phi_arg, remove_phi_arg_num): Similarly.
1739         * tree-ssa-copy.c (cprop_into_successor_phis): Propagate nonzero
1740         property into PHI nodes.
1741         * tree-ssa-dom.c: Remove redundant inclusion of flags.h.
1742         (record_equivalences_from_phis): If all PHI arguments are known to be
1743         nonzero, then the result must be nonzero as well.
1744         (cprop_into_phis): Pass nonzero_vars bitmap to cprop_into_successor_phis.
1745         (record_equivalences_from_stmt): Check flag_delete_null_pointer_checks
1746         appropriately.  Walk the USE-DEF chains and propagate nonzero property
1747         as appropriate.
1748         * tree.h (PHI_ARG_NONZERO): Define.
1749         (phi_arg_d): Add nonzero flag.
1750
1751 2004-05-17  Zack Weinberg  <zack@codesourcery.com>
1752
1753         * f: Entire directory removed
1754
1755         * c-common.h (CTI_G77_INTEGER_TYPE, CTI_G77_UINTEGER_TYPE)
1756         (CTI_G77_LONGINT_TYPE, CTI_G77_ULONGINT_TYPE)
1757         (g77_integer_type_node, g77_uinteger_type_node)
1758         (g77_longint_type_node, or g77_ulongint_type_node): Delete.
1759         * c-common.c (c_common_nodes_and_builtins): Do not initialize
1760         the above set of variables.
1761
1762         * config/i386/uwin.h: No need to define WIN32_UWIN_TARGET.
1763         * doc/invoke.texi, doc/standards.texi: Remove cross-references
1764         to g77 manual.
1765
1766 2004-05-17  Steven Bosscher  <stevenb@suse.de>
1767
1768         PR tree-optimization/15438
1769         * tree-ssa-operands.c (get_expr_operands): Do not treat malloc
1770         attributed functions as pure or const.
1771
1772 2004-05-17  Frank Ch. Eigler  <fche@redhat.com>
1773
1774         * tree-mudflap.c (mx_register_decls): Tolerate decl trees resulting
1775         from source code with errors.
1776
1777 2004-05-17  Ranjit Mathew  <rmathew@hotmail.com>
1778
1779         Enable tree browser for all front ends.
1780         * Makefile.in (cc1): Moved @TREEBROWSER@ from here...
1781         (BACKEND): ...to here.
1782
1783 2004-05-17  Jan Hubicka  <jh@suse.cz>
1784
1785         * i386.c (construct_container): Do not produce BLKmode registers.
1786         (classify_argument): Properly compute alignment of complex types.
1787
1788 2004-05-17  H.J. Lu  <hongjiu.lu@intel.com>
1789
1790         PR target/15084
1791         * config/i386/i386.md (*movsi_insv_1_rex64): Changed to DImode
1792         and renamed to movdi_insv_1_rex64.
1793         (insv): Support SImode for 32bit and DImode for 64bit.
1794
1795 2004-05-17  Richard Sandiford  <rsandifo@redhat.com>
1796
1797         * config/mips/mips.h (MASK_DEBUG_G, TARGET_DEBUG_G_MODE): Delete.
1798         (TARGET_SWITCHES): Remove debugg.
1799         * config/mips/mips.md (adddi3, ashldi3, ashrdi3, lshrdi3): Only handle
1800         TARGET_64BIT.
1801         (subdi3): Replace the define_expand with a define_insn, the latter
1802         renamed from subdi3_internal_3.
1803         (negdi2): Likewise negdi2_internal_2.
1804         (adddi3_internal_[12], subdi3_internal, ashldi3_internal{,2,3})
1805         (ashrdi3_internal{,2,3}, lshrdi3_internal{,2,3}): Remove patterns
1806         and associated define_splits.
1807         (adddi3_internal): Renamed from adddi3_internal_3.
1808         (ashldi3_internal): Likewise ashldi3_internal4.
1809         (ashrdi3_internal): Likewise ashrdi3_internal4.
1810         (lshrdi3_internal): Likewise lshrdi3_internal4.
1811
1812 2004-05-17  Richard Sandiford  <rsandifo@redhat.com>
1813
1814         * optabs.c (expand_unop): Try implementing negation using subtraction
1815         from zero.
1816
1817 2004-05-16  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
1818
1819         * pa.md:  Fix typo from last change.  Remove DFmode move to and from
1820         SAR register.
1821
1822 2004-05-16  Richard Earnshaw  <rearnsha@arm.com>
1823
1824         PR target/10982
1825         * arm.md (ne_zeroextractsi): Convert to insn-and-split.
1826         (ne_zeroextractsi_shifted): New pattern.
1827         (ite_ne_zeroextractsi): New pattern.
1828         (ite_ne_zeroextractsi_shifted): New pattern.
1829
1830 2004-05-15  Steven Bosscher  <stevenb@suse.de>
1831
1832         * c-gimplify.c (c_genericize):
1833         Replace calls via (*lang_hooks.foo) with lang_hooks.foo.
1834         * c-parse.in <expr_no_commas>: Likewise.
1835         <if_prefix>: Likewise.
1836         <select_or_iter_stmt>: Likewise.
1837         * expr.c (expand_var, expand_expr_real_1): Likewise.
1838         * expr.h (expand_expr): Make it a static inline function.
1839         Move prototype for expand_expr_real up before this.
1840         * fold-const.c (fold_relational_hi_lo, fold_relational_const):
1841         Likewise.
1842         * gimplify.c (gimple_boolify, gimplify_addr_expr,
1843         gimplify_asm_expr, gimplify_expr): Likewise.
1844         * tree-cfg.c (dump_tree_cfg, dump_cfg_stats, tree_cfg2vcg,
1845         dump_function_to_file): Likewise.
1846         * tree-dfa.c (dump_immediate_uses, dump_dfa_stats): Likewise.
1847         * tree-inline.c (remap_block, save_body, walk_tree): Likewise.
1848         * tree-into-ssa.c (dump_tree_ssa): Likewise.
1849         * tree-mudflap.c (mf_varname_tree, mf_file_function_line_tree):
1850         Likewise.
1851         * tree-optimize.c (execute_one_pass): Likewise.
1852         * tree-pretty-print.c (dump_generic_bb_buff): Likewise.
1853         * tree-ssa-alias.c (dump_alias_stats, dump_alias_info): Likewise.
1854
1855         * objc/objc-act.c (objc_build_try_enter_fragment,
1856         objc_build_try_epilogue, objc_build_catch_stmt,
1857         objc_build_finally_prologue): Replace calls via (*lang_hooks.foo)
1858         with lang_hooks.foo ().
1859
1860 2004-05-15  Roger Sayle  <roger@eyesopen.com>
1861
1862         * builtins.c (simplify_builtin_strcpy): Avoid use of chainon, so
1863         that simplify_builtin doesn't destructively modify its argument.
1864
1865 2004-05-15  Richard Earnshaw  <reanrsha@arm.com>
1866
1867         * arm/lib1funcs.asm (_lshrdi3, _ashrdi3, _ashldi3): Add ASM
1868         implementations for ARM and Thumb.
1869         * arm/t-arm-elf (LIB1ASMFUNCS): Use them.
1870
1871 2004-05-15  Thomas Quinot  <quinot@act-europe.fr>
1872
1873         * prefix.c (update_path): Replace PREFIX with KEY only
1874         when it matches a full directory name in PATH.
1875
1876 2004-05-15  Richard Earnshaw  <reanrsha@arm.com>
1877
1878         * arm.h (TARGET_APCS_32): Delete.
1879         (TARGET_MMU_TRAPS): Delete.
1880         (TARGET_CPU_CPP_BUILTINS): Unconditionally define __APCS_32__.  Never
1881         define __APCS_26__.
1882         (CPP_SPEC): Remove checking of -mapcs-{26,32}.
1883         (ARM_FLAG_APCS_32, ARM_FLAG_MMU_TRAPS): Delete.
1884         (TARGET_SWITCHES): Remove alignment_traps and apcs-{26,32} switches.
1885         (prog_mode_type): Delete.
1886         (PROMOTE_MODE): Always promote unsigned for HImode.
1887         (SECONDARY_INPUT_RELOAD_CLASS): Simplify.
1888         (MASK_RETURN_ADDR): Simplify.
1889         * arm.c (arm_prgmode): Delete.
1890         (arm_override_options, arm_gen_rotated_half_load): Simplify.
1891         (print_multi_reg, output_return_instruction): Simplify.
1892         (arm_output_epilogue, arm_final_prescan_insn): Simplify.
1893         (arm_return_addr): Simplify.
1894         * arm.md (prog_mode): Delete.
1895         (conds): Simplify.
1896         (zero_extendhisi2, extendhisi2, movhi, movhi_bytes): Simplify.
1897         (rotated_loadsi, movhi_insn_littleend, movhi_insn_bigend): Delete.
1898         (loadhi_si_bigend, loadhi_preinc, loadhi_shiftpreinc): Delete.
1899         (loadhi_shiftpredec): Delete.
1900         (peephole for post-increment on HImode load): Delete.
1901         * arm/crtn.asm: (FUNC_END): Simplify.
1902         * arm/lib1funcs.asm: Remove APCS-26 return macros.
1903         * arm/aof.h, arm/coff.h arm/elf.h arm/linux-elf.h arm/netbsd-elf.h
1904         * arm/netbsd.h arm/pe.h arm/semi.h arm/semiaof.h arm/unknown-elf.h
1905         * arm/vxworks.h arm/wince-pe.h: Tidy TARGET_DEFAULTS and
1906         MULTILIB_DEFAULTS as required.
1907         * arm/t-arm-elf arm/t-linux arm/t-pe arm/t-semi arm/t-wince-pe
1908         * arm/t-xscale-coff arm/t-xscale-elf arm/uclinux-elf: Tidy MULTILIB
1909         variables as required.
1910         * doc/invoke.texi (ARM Options): Remove obsolete flags.
1911
1912 2004-05-15  Alan Modra  <amodra@bigpond.net.au>
1913
1914         * config/rs6000/rs6000.c (rs6000_va_arg <ABI_V4>): Don't use
1915         UNITS_PER_WORD to calculate gpr size.  Re-instate code to set reg
1916         count to 8 to handle n_reg > 2.
1917
1918 2004-05-15  Joseph S. Myers  <jsm@polyomino.org.uk>
1919
1920         * doc/extend.texi: Update WG14 URL.
1921
1922 2004-05-15  Steven Bosscher  <stevenb@suse.de>
1923
1924         * basic-block.h (life_analysis, delete_noop_moves):
1925         Update prototypes.
1926         * bt-load.c (branch_target_load_optimize): Don't take the
1927         insns stream as an argument.  Update the life_analysis calls.
1928         * combine.c (combine_instructions): Update delete_noop_moves
1929         calls.
1930         * flow.c (notice_stack_pointer_modification): Don't take the
1931         insns stream as an argument.  Work on the flow graph.
1932         (life_analysis): Likewise.
1933         (delete_noop_moves): Likewise.
1934         * passes.c (rest_of_handle_stack_regs): Update reg_to_stack call.
1935         (rest_of_handle_life): Update life_analysis call.
1936         (rest_of_compilation): Likewise, and also update
1937         branch_target_load_optimize call.
1938         * ra.c (reg_alloc): Update life_analysis call.
1939         * reg-stack.c (reg_to_stack): Likewise.  Also, don't take
1940         the insns stream as an argument.
1941         * regrename.c (copyprop_hardreg_forward): Update delete_noop_moves
1942         call.
1943         * rtl.c (branch_target_load_optimize, reg_to_stack): Update
1944         prototypes.
1945         * value-profile.c (branch_prob): Update life_analysis call.
1946         * web.c (web_main): Work on the CFG, not on the insns stream.
1947
1948         * config/ip2k/ip2k.c (ip2k_reorg): Update life_analysis calls.
1949         * config/m68hc11/m68hc11.c (m68hc11_reorg): Likewise.
1950         * config/sh/sh.c (sh_output_mi_thunk): Likewise.
1951
1952 2004-05-15  Joseph S. Myers  <jsm@polyomino.org.uk>
1953
1954         PR c/15444
1955         * c-format.c (avoid_dollar_number): New function.
1956         (check_format_info_main): Call avoid_dollar_number when operand
1957         numbers might occur but has_operand_number == 0.
1958
1959 2004-05-14  Richard Earnshaw  <rearnsha@arm.com>
1960
1961         * arm.md (all peephole2 patterns): Use predicates that validate
1962         register classes as appropriate.
1963
1964 2004-05-14  Steven Bosscher  <stevenb@suse.de>
1965
1966         PR opt/14472
1967         * tree-tailcall.c (process_assignment): Use STRIP_NOPS to
1968         ignore type conversions that do not inhibit tail calling.
1969         (find_tail_calls): Likewise.
1970
1971 2004-05-14  Jeff Law  <law@redhat.com>
1972
1973         * tree-ssa-dom.c (redirect_edges_and_update_ssa_graph): Don't even
1974         bother marking bypassed virtuals for out-of-ssa.  Instead merge
1975         bypassed virtuals into vars_to_rename just before into-ssa pass.
1976
1977         * tree-ssa-dom.c (simplify_rhs_and_lookup_avail_expr): Reorganize
1978         so that it picks up more opportunities to eliminate ABS expressions
1979         or turn them into negations.
1980
1981 2004-05-14  Steven Bosscher  <stevenb@suse.de>
1982
1983         * passes.c (rest_of_handle_null_pointer): Remove.
1984         (rest_of_handle_cse): Don't call rest_of_handle_null_pointer.
1985         (rest_of_compilation): Likewise.
1986         * rtl.h (delete_null_pointer_checks): Remove prototype.
1987         * gcse.c (rd_kill, rd_gen, reaching_defs, rd_out, ae_in, ae_out):
1988         Remove declarations.
1989         (get_bitmap_width, alloc_rd_mem, free_rd_mem, handle_rd_kill_set,
1990         compute_kill_rd, compute_rd, alloc_avail_expr_mem,
1991         free_avail_expr_mem, compute_ae_gen, expr_killed_p, compute_ae_kill,
1992         expr_reaches_here_p, computing_insn, def_reaches_here_p,
1993         can_disregard_other_sets, handle_avail_expr, classic_gcse,
1994         one_classic_gcse_pass, invalidate_nonnull_info,
1995         delete_null_pointer_checks_1, delete_null_pointer_checks,
1996         expr_reached_here_p_work): Remove.
1997         (gcse_main): Do not perform classic GCSE when optimizing for size.
1998         (alloc_pre_mem, free_pre_mem): Don't touch ae_in and ae_out, they
1999         are never used.
2000
2001 2004-05-14  Andrew Pinski  <pinskia@physics.uc.edu>
2002
2003         PR optimization/14466
2004         * tree-complex.c (make_temp): Remove.
2005         (gimplify_val): Replace make_temp with make_rename_temp
2006         and add NULL as the second argument.
2007         (expand_complex_div_wide): Likewise.
2008         * tree-dfa.c (make_rename_temp): New function.
2009         * tree-flow.h (make_rename_temp): Declare.
2010         * tree-sra.c (make_temp): Remove.
2011         (lookup_scalar): Replace make_temp with make_rename_temp.
2012         (create_scalar_copies): Likewise.
2013         * tree-ssa-phiopt.c (conditional_replacement): When we
2014         get non gimple create a temporary variable to hold the
2015         casted expression.
2016
2017 2004-05-14  Paul Brook  <paul@codesourcery.com>
2018
2019         * stor-layout.c (update_alignment_for_field): Use
2020         targetm.align_anon_bitfield.
2021         * target-def.h (TARGET_ALIGN_ANON_BITFIELD): Define.
2022         (TARGET_INITIALIZER): Use it.
2023         * target.h (struct gcc_target): Add align_anon_bitfield.
2024         * config/arm/arm.c (arm_align_anon_bitfield):  New function.
2025         (TARGET_ALIGN_ANON_BITFIELD): Define.
2026         * doc/tm.texi: Document TARGET_ALIGN_ANON_BITFIELD.
2027
2028 2004-05-13  Zack Weinberg  <zack@codesourcery.com>
2029
2030         * tree.def (documentation): Remove mention of class 'b'.
2031         (BLOCK): Now in class 'x'.
2032         * c-common.c (verify_tree): Remove case 'b'.
2033         * c-typeck.c (same_translation_unit_p): Change 'b' to 'x'.
2034         * calls.c (calls_function_1): Control cannot get past the switch
2035         when exp is a BLOCK.
2036         * print-tree.c (print_node): Move code for class 'b' to the class
2037         'c'/'x' switch, as case BLOCK.
2038         * tree.c (tree_size, make_node_stat, tree_node_structure): Likewise.
2039         (unsafe_for_reeval, substitute_placeholder_in_expr)
2040         (stabilize_reference_1): Remove case 'b'.
2041         * tree-browser.c (browse_tree): Change all tests for TREE_CODE_CLASS
2042         of something being 'b' to tests for TREE_CODE of something being
2043         BLOCK.
2044         * tree-ssa-operands.c (get_expr_operands): Likewise.
2045
2046 2004-05-13  Diego Novillo  <dnovillo@redhat.com>
2047
2048         * tree-gimple.c: Rename from tree-simple.c.
2049         * tree-gimple.h: Rename from tree-simple.h.
2050         * c-gimplify.c: Rename from c-simplify.c
2051         * Makefile.in, c-decl.c, gimple-low.c, gimplify.c,
2052         langhooks.c, tree-alias-ander.c, tree-alias-common.c,
2053         tree-complex.c, tree-dfa.c, tree-flow.h, tree-inline.c,
2054         tree-into-ssa.c, tree-iterator.c, tree-mudflap.c,
2055         tree-nested.c, tree-nomudflap.c, tree-outof-ssa.c, tree-sra.c,
2056         tree-ssa-alias.c, tree-ssa-ccp.c, tree-ssa-copyrename.c,
2057         tree-ssa-dce.c, tree-ssa-live.c, tree-ssa-pre.c, tree-ssa.c:
2058         Update.
2059
2060 2004-05-14  Ranjit Mathew  <rmathew@hotmail.com>
2061
2062         * doc/sourcebuild.texi: Mention libbanshee and libmudflap.
2063
2064 2004-05-13  Andrew Pinski  <pinskia@physics.uc.edu>
2065
2066         * tree-ssa.c (delete_tree_ssa): XFREE
2067         bitmaps allocated with BITMAP_XMALLOC.
2068
2069         * tree-ssa-pre.c (execute_pre): Free ephi_use_pool and
2070         idfs_cache at the end of the function.
2071
2072         * tree-ssa-live.c (calculate_live_on_entry): Free saw_def
2073         at the end of the function.
2074
2075         * tree-ssa-dce.c (perform_tree_ssa_dce): Free
2076         el at the end of the function.
2077
2078         * tree-into-ssa.c (insert_phi_nodes_for): XFREE
2079         bitmaps allocated with BITMAP_XMALLOC.
2080
2081         * loop-unswitch.c (unswitch_single_loop): Free bbs at
2082         the end.
2083
2084         * final.c (shorten_branches): Free uid_shuid before
2085         reallocating it.
2086
2087         * bb-reoder.c (connect_traces): Free cold_traces at the end.
2088
2089 2004-05-13  Jeff Law  <law@redhat.com>
2090
2091         * tree-ssa-live.c (calculate_live_on_entry): Ignore virtual
2092         variables.  Simplify slightly by using USE_OP/DEF_OP instead
2093         of USE_OP_PTR/DEF_OP_PTR and dereferencing the result.
2094
2095         * tree-into-ssa.c (compute_global_livein): Use EXECUTE_IF_SET_IN_BITMAP
2096         rather than iterating through the blocks testing each bit in
2097         livein to initialize the worklist.
2098         (mark_def_sites): Remove useless checks of KILLS for virtual
2099         operands.
2100
2101         * tree-ssa-forwprop.c (record_single_argument_cond_exprs): Accept
2102         new parameters for the statement and variable worklist as well
2103         as a bitmap of interesting SSA_NAMEs.  Walk over the statement
2104         worklist recording interesting variables in the variable worklist
2105         and bitmap.  Handle casts between integral and boolean types.
2106         (substitute_single_use_vars): Accept new parameters for the statement
2107         and variable worklist.  When a substitution is made add a new
2108         entry to the statement worklist.  Handle casts between integral
2109         and boolean types.
2110         (tree_ssa_forward_propagate_single_use_vars): Rework to pass
2111         worklists to children.  Iterate until the statement worklist
2112         is empty.
2113
2114 2004-05-13  Andrew Pinski  <pinskia@physics.uc.edu>
2115
2116         * tree-outof-ssa.c (rewrite_vars_out_of_ssa): Free map at
2117         the end of the block.
2118
2119         * tree-into-ssa.c (def_blocks_free): XFREE bitmaps allocated
2120         with BITMAP_XMALLOC.
2121
2122         * tree-ssa-alias.c (delete_alias_info): XFREE bitmaps allocated
2123         with BITMAP_XMALLOC.
2124
2125         * tree-ssa-dom.c (tree_ssa_dominator_optimize):
2126         Free nonzero_vars at the end of the function.
2127
2128         * convert.c (convert_to_integer): Make a CONVERT_EXPR when there is a
2129         need to generate code instead of a NOP_EXPR.
2130
2131 2004-05-13  Ian Lance Taylor  <ian@wasabisystems.com>
2132
2133         * gcc.c (default_compilers): Fill out initializers for new Fortran
2134         entries.
2135
2136 2004-05-13  Paul Brook  <paul@codesourcery.com>
2137
2138         * config/arm/arm.h (PCC_BITFIELD_TYPE_MATTERS): Define.
2139
2140 2004-05-13  Paul Brook  <paul@codesourcery.com>
2141
2142         * config/arm/arm.c (arm_default_short_enums): New function.
2143         (TARGET_DEFAULT_SHORT_ENUMS): Define.
2144
2145 2004-05-13  Diego Novillo  <dnovillo@redhat.com>
2146
2147         Merge from tree-ssa-20020619-branch.
2148
2149         * Makefile.in (reload1.o-warn): Add.
2150         (tree-alias-ander.o-warn): Add.
2151         (GMPLIBS): Define.
2152         (GMPINC): Define.
2153         (BANSHEELIB): Define.
2154         (BANSHEEINC): Define.
2155         (TREE_DUMP_H): Define.
2156         (TREE_SIMPLE_H): Define.
2157         (TREE_FLOW_H): Define.
2158         (LIBDEPS): Add BANSHEELIB.
2159         (INCLUDES): Add BANSHEEINC and GMPINC.
2160         (C_AND_OBJC_OBJS): Add c-simplify.o, tree-mudflap.o,
2161         c-mudflap.o and c-pretty-print.o.
2162         (C_OBJS): Remove c-pretty-print.o.
2163         (OBJS-common): Remove sibcall.o.
2164         Add tree-cfg.o, tree-dfa.o, tree-eh.o,
2165         tree-ssa.o, tree-optimize.o, tree-simple.o,
2166         tree-alias-type.o, gimplify.o, tree-pretty-print.o,
2167         tree-into-ssa.o, tree-outof-ssa.o, tree-alias-common.o,
2168         tree-ssa-ccp.o, @ANDER@, tree-ssa-dce.o, tree-ssa-copy.o,
2169         tree-nrv.o, tree-ssa-copyrename.o, tree-ssa-pre.o,
2170         tree-ssa-live.o, tree-ssa-operands.o, tree-ssa-alias.o,
2171         tree-ssa-phiopt.o, tree-ssa-forwprop.o, tree-nested.o,
2172         tree-ssa-dse.o, tree-ssa-dom.o, domwalk.o,
2173         tree-tailcall.o, gimple-low.o, tree-iterator.o,
2174         tree-phinodes.o, tree-ssanames.o, tree-sra.o,
2175         tree-complex.o, tree-ssa-loop.o, rtl-profile.o and
2176         tree-profile.o.
2177         (OBJC-archive): Add tree-nomudflap.o.
2178         (cc1): Add dependency on @TREEBROWSER@.
2179         (c-decl.o): Add dependency on TREE_DUMP_H.
2180         (c-dump.o): Likewise.
2181         (c-common.o): Add dependency on tree-iterator.h
2182         (c-pretty-print.o): Add dependency on DIAGNOSTIC_H.
2183         (gtype-desc.o): Add dependency on TREE_FLOW_H.
2184         (tree.o): Add dependency on tree-iterator.h,
2185         BASIC_BLOCK_H and TREE_FLOW_H.
2186         (tree-dump.o): Depend on TREE_DUMP_H instead of tree-dump.h.
2187         (langhooks.o): Add dependency on TREE_SIMPLE_H.
2188         (tree-alias-type.o, tree-alias-ander.o,
2189         tree-alias-common.o, tree-ssa.o, tree-into-ssa.o,
2190         tree-outof-ssa.o, tree-ssa-dse.o, tree-ssa-forwprop.o,
2191         tree-ssa-phiopt.o, tree-nrv.o, tree-ssa-copy.o,
2192         tree-ssa-dom.o, tree-ssanames.o, tree-phinodes.o,
2193         domwalk.o, tree-ssa-live.o, tree-ssa-copyrename.o,
2194         tree-ssa-pre.o, tree-cfg.o, tree-tailcall.o,
2195         tree-nested.o, tree-iterator.o, tree-dfa.o,
2196         tree-ssa-operands.o, tree-eh.o, tree-ssa-loop.o,
2197         tree-ssa-alias.o, tree-optimize.o, c-simplify.o,
2198         gimplify.o, gimple-low.o, tree-browser.o, tree-simple.o,
2199         tree-mudflap.o, c-mudflap.o, tree-nomudflap.o,
2200         tree-pretty-print.o, tree-ssa-dce.o, tree-ssa-ccp.o,
2201         tree-sra.o, tree-complex.o, tree-profile.o,
2202         rtl-profile.o): New rules.
2203         (function.o): Add dependency on basic-block.h
2204         (expr.o): Add dependency on tree-iterator.h.
2205         (sibcall.o): Remove.
2206         (profile.o): Depend on TREE_FLOW_H instead of TREE_H.
2207         (cfg.o): Add dependency on TIMEVAR_H.
2208         (cfghooks.o): Add dependency on TREE_FLOW_H.
2209         (reg-stack.o): Add dependency on basic-block.h.
2210         (GTFILES): Add hwint.h, tree-mudflaph.c, tree-flow.h,
2211         c-objc-common.c, c-common.c, c-parse.in, tree-ssanames.c,
2212         tree-eh.c, tree-phinodes.c, tree-cfg.c, tree-dfa.c,
2213         tree-ssa-ccp.c, tree-iterator.c, gimplify.c,
2214         tree-alias-type.h, tree-alias-common.h,
2215         tree-alias-type.c, tree-alias-common.c,
2216         tree-ssa-operands.h, tree-ssa-operands.c, tree-profile.c,
2217         rtl-profile.c and tree-nested.c.
2218         (gt-tree-alias-common.h, gt-tree-mudflap.h,
2219         gt-tree-ssa-ccp.h, gt-tree-eh.h, gt-tree-ssanames.h,
2220         gt-tree-iterator.h, gt-gimplify.h, gt-tree-phinodes.h,
2221         gt-tree-cfg.h, gt-tree-nested.h): New rules.
2222         (TEXI_GCCINT_FILES): Add cfg.texi and tree-ssa.texi.
2223         * basic-block.h: Include predict.h
2224         (struct edge_def): Add GTY marker.
2225         Change field 'insns' to be a union of tree and rtx.
2226         (EDGE_TRUE_VALUE): Define.
2227         (EDGE_FALSE_VALUE): Define.
2228         (EDGE_EXECUTABLE): Define.
2229         (struct bb_ann_d): Forward declare.
2230         (struct basic_block_def): Add GTY marker.
2231         Remove fields head_tree and end_tree.
2232         Add fields stmt_list, rbi and tree_annotations.
2233         (struct reorder_block_def): Define.
2234         (basic_block_info): Add GTY marker.
2235         (ENTRY_BLOCK_PTR, EXIT_BLOCK_PTR): Change to global
2236         variables instead of macros.
2237         (flow_call_edges_add): Remove declaration.
2238         (make_eh_edge): Remove declaration.
2239         (brief_dump_cfg, find_edge, tree_predicted_by_p,
2240         rtl_predicted_by_p, tree_predict_edge, rtl_predict_edge,
2241         predict_edge_def, rtl_make_eh_edge, find_basic_blocks,
2242         cleanup_cfg, delete_unreachable_blocks, merge_seq_blocks,
2243         alloc_rbi_pool, initialize_bb_rbi, free_rbi_pool): Declare.
2244         (try_redirect_by_replacing_jump): Modfiy return type to
2245         edge instead of bool.
2246         * bb-reorder.c (copy_bb): Call duplicate_block
2247         instead of cfg_layout_duplicate_bb.
2248         (copy_bb_p): Call can_duplicate_block_p instead of
2249         cfg_layout_can_duplicate_bb_p.
2250         * bitmap.c (bitmap_first_set_bit): Abort if word
2251         wasn't found.
2252         (bitmap_last_set_bit): Likewise.
2253         * builtin-types.def (DEF_FUNCTION_TYPE_2): Add
2254         (DEF_FUNCTION_TYPE_3): Add.
2255         * builtins.c (c_strlen): Make extern.
2256         (builtin_save_expr): New.
2257         (expand_builtin_nonlocal_goto): New.
2258         (expand_builtin_constant_p): Remove.
2259         (expand_builtin_mathfn): Call builtin_save_expr instead
2260         of save_expr.
2261         (expand_builtin_mathfn_2): Likewise.
2262         (expand_builtin_strcmp): Likewise.
2263         (expand_builtin_strncmp): Likewise.
2264         (expand_builtin_strcat): Likewise.
2265         (fold_builtin_cabs): Likewise.
2266         (expand_builtin_alloca): Don't trigger if -fmudflap is
2267         given.
2268         (build_string_literal): Set TREE_INVARIANT on new node.
2269         (expand_builtin_profile_fun): New.
2270         (round_trampoline_addr): New.
2271         (expand_builtin_init_trampoline): New.
2272         (expand_builtin_adjust_trampoline): New.
2273         (expand_builtin) <BUILT_IN_NEXT_ARG>: Call simplify_builtin_next_arg.
2274         <BUILT_IN_CONSTANT_P>: Return const0_rtx;
2275         <BUILT_IN_STACK_ALLOC, BUILT_IN_STACK_SAVE,
2276         BUILT_IN_STACK_RESTORE, BUILT_IN_NONLOCAL_GOTO,
2277         BUILT_IN_PROFILE_FUNC_ENTER, BUILT_IN_PROFILE_FUNC_EXIT,
2278         BUILT_IN_INIT_TRAMPOLINE, BUILT_IN_ADJUST_TRAMPOLINE>:
2279         Handle.
2280         (fold_builtin_expect): New.
2281         (fold_builtin_isascii): Don't return non-constant results
2282         in GIMPLE form.
2283         (fold_builtin_isdigit): Likewise.
2284         (fold_builtin_1): New.
2285         (fold_builtin): Call it.
2286         (build_function_call_expr): Update call to build a new
2287         CALL_EXPR.
2288         (purge_builtin_constant_p): Remove.
2289         (simplify_builtin, simplify_builtin_memcmp,
2290         simplify_builtin_strcmp, simplify_builtin_strncmp,
2291         simplify_builtin_strpbrk, simplify_builtin_strstr,
2292         simplify_builtin_strchr, simplify_builtin_strrchr,
2293         simplify_builtin_strcat, simplify_builtin_strncat,
2294         simplify_builtin_strspn, simplify_builtin_strcspn,
2295         simplify_builtin_next_arg, simplify_builtin_va_start,
2296         simplify_builtin_sprintf): New.
2297         * builtins.def (BUILT_IN_STACK_ALLOC,
2298         BUILT_IN_STACK_SAVE, BUILT_IN_STACK_RESTORE,
2299         BUILT_IN_INIT_TRAMPOLINE, BUILT_IN_ADJUST_TRAMPOLINE,
2300         BUILT_IN_NONLOCAL_GOTO, BUILT_IN_PROFILE_FUNC_ENTER,
2301         BUILT_IN_PROFILE_FUNC_EXIT): Define.
2302         * c-common.c: Include tree-iterator.h and hashtab.h.
2303         (lang_statement_code_p): Declare.
2304         (lang_gimplify_stmt): Declare.
2305         (fix_string_type): Set TREE_INVARIANT for value.
2306         (pointer_int_sum): Rely on build to set TREE_CONSTANT.
2307         (c_type_hash): New.
2308         (c_common_get_alias_set): Handle multiple type nodes
2309         referring to "the same" type, currently for C90 only.
2310         (c_add_case_label): Use create_artificial_label.
2311         (finish_label_address_expr): Don't set TREE_CONSTANT on
2312         result.
2313         (c_expand_expr): Don't handle STMT_EXPR.
2314         (handle_alias_attribute): Marke aliased variables to be
2315         TREE_STATIC.
2316         (handle_nonnull_attribute): Initialize arg_num.
2317         (check_function_nonnull): Likewise.
2318         (c_walk_subtrees): New.
2319         (c_estimate_num_insns_1): Don't handle
2320         EXPR_WITH_FILE_LOCATION nor FILE_STMT.
2321         (c_decl_uninit_1): Remove.
2322         (c_decl_uninit): Remove.
2323         (c_warn_unused_result): New.
2324         * c-common.def (ASM_STMT): Change number of operands
2325         to 4.
2326         (FILE_STMT): Remove.
2327         * c-common.h (lang_expand_stmt, lang_expand_decl_stmt):
2328         Remove.
2329         (lang_gimplify_stmt): Add.
2330         (expand_stmt): Remove.
2331         (ASM_CV_QUAL, ASM_STRING, ASM_OUTPUTS, ASM_INPUTS,
2332         ASM_CLOBBERS, STMT_EXPR_WARN_UNUSED_RESULT,
2333         ASM_VOLATILE_P, FILE_STMT_FILENAME_NODE,
2334         FILE_STMT_FILENAME, STMT_LINENO, STMT_LINENO_FOR_FN_P,
2335         ASM_INPUT_P, DECL_C_HARD_REGISTER): Remove.
2336         (genrtl_do_pushlevel, genrtl_goto_stmt, genrtl_expr_stmt,
2337         genrtl_expr_stmt_value, genrtl_decl_stmt, genrtl_if_stmt,
2338         genrtl_while_stmt, genrtl_do_stmt, genrtl_return_stmt,
2339         genrtl_for_stmt, genrtl_break_stmt, genrtl_continue_stmt,
2340         genrtl_scope_stmt, genrtl_switch_stmt, genrtl_case_label,
2341         genrtl_compound_stmt, genrtl_asm_stmt,
2342         genrtl_cleanup_stmt, c_decl_uninit): Remove.
2343         (c_do_switch_warnings, c_gimplify_expr, c_walk_subtrees,
2344         c_tree_chain_matters_p, c_warn_unused_result,
2345         c_genericize, c_gimplify_stmt, stmt_expr_last_stmt):
2346         Declare.
2347         * c-convert.c (convert): Make convert work when
2348         converting to compatible types across translation unit.
2349         * c-decl.c: Include langhooks.h, tree-mudflap.h,
2350         tree-simple.h, diagnostic.h and tree-dump.h
2351         (merge_decls): Initialize oldtype to NULL.
2352         (finish_decl): Use DECL_HARD_REGISTER instead of
2353         DECL_C_HARD_REGISTER.
2354         (check_bitfield_type_and_width): Check for null
2355         lang_type_specific when check the precision of an enum.
2356         (grokdeclarator): Immediately layout an ARRAY_TYPE used
2357         in a pointer-to-array declarator.
2358         (finish_struct): Clear allocated struct lang_type.
2359         (finish_enum): Set enum_min and enum_max.  Set
2360         TYPE_MIN/MAX_VALUE to the limits of the compatible type,
2361         not to the enumerators.
2362         (set_decl_nonlocal): New.
2363         (store_parm_decls): Use it via walk_tree.
2364         (c_finalize): New.
2365         (finish_function): When !targetm.have_ctors_dtors,
2366         record static constructors and destructors here...
2367         (c_expand_body_1): ... not here.
2368         (c_expand_decl): Rename from c_expand_decl_stmt.
2369         Handle all C-specific expansion semantics.
2370         * c-dump.c (dump_stmt): Use EXPR_LOCUS instead of
2371         STMT_LINENO.
2372         * c-format.c (handle_format_arg_attribute): Initialize
2373         format_num.
2374         * c-lang.c: Include tree-inline.h
2375         (LANG_HOOKS_EXPAND_DECL,
2376         LANG_HOOKS_FUNCTION_MISSING_NORETURN_OK_P,
2377         LANG_HOOKS_TREE_INLINING_WALK_SUBTREES,
2378         LANG_HOOKS_TREE_INLINING_TREE_CHAIN_MATTERS_P,
2379         LANG_HOOKS_GIMPLIFY_EXPR, LANG_HOOKS_TYPES_COMPATIBLE_P): Define.
2380         (LANG_HOOKS_DECL_UNINIT, LANG_HOOKS_RTL_EXPAND_STMT,
2381         LANG_HOOKS_TREE_INLINING_ESTIMATE_NUM_INSNS): Remove.
2382         (c_types_compatible_p): New.
2383         * c-mudflap.c: New file.
2384         * c-objc-common.c: Include tree-mudflap.h
2385         (start_cdtor, finish_cdtor): Collapse
2386         together into
2387         (build_cdtor): ...here.  Update to construct a complete tree
2388         for the function.  No need to call push_scope, pop_scope, or
2389         clear_last_expr, or set current_function_cannot_inline.
2390         (c_missing_noreturn_ok_p): Change prototype to return
2391         bool.
2392         (c_objc_common_init): Don't set lang_missing_noreturn_ok_p.
2393         * c-opts.c (c_common_handle_option): Move handling of -fdump- to
2394         opts.c.
2395         (c_common_post_options): Don't ever use rtl inlining.
2396         * c-parse.in: Use EXPR_LOCUS instead of STMT_LINENO.
2397         * c-pragma.c (handle_pragma_redefine_extname): Define
2398         always.
2399         (init_pragma): Activate #pragma redefine_extname for mudflap.
2400         * c-pretty-print.c (pp_c_statement): Remove FILE_STMT.
2401         (pp_c_initializer): Accept any type CONSTRUCTOR.
2402         (pp_c_initializer_list): Fix code expectations for VECTOR_TYPE and
2403         COMPLEX_TYPE.
2404         (decl_name_str): New local function.
2405         (pp_c_direct_declarator): Call it.
2406         (pp_c_primary_expression): Call it.
2407         (pp_c_id_expression): Call it.
2408         (pp_c_statement): Call it.
2409         (print_c_tree): Create new pp object.
2410         * c-pretty-print.h (pp_c_tree_decl_identifier,
2411         print_c_tree): Declare.
2412         * c-semantics.c: Include langhooks.h
2413         (lang_expand_stmt, lang_expand_decl_stmt,
2414         find_reachable_label_1, find_reachable_label,
2415         expand_unreachable_if_stmt, expand_unreachable_stmt,
2416         genrtl_do_stmt_1): Remove.
2417         (begin_stmt_tree): Don't check for changed filename.
2418         Call annotate_with_locus.
2419         (finish_stmt_tree): Don't set line for end of function.
2420         (build_stmt): Don't check type nodes for
2421         side effects.
2422         (build_stmt): Set TREE_SIDE_EFFECTS.
2423         Set EXPR_LOCUS instead of STMT_LINENO.
2424         (lang_expand_stmt, lang_expand_decl_stmt,
2425         expand_cond, genrtl_do_pushlevel, genrtl_goto_stmt, genrtl_expr_stmt,
2426         genrtl_expr_stmt_value, genrtl_decl_stmt, genrtl_if_stmt,
2427         genrtl_while_stmt, genrtl_do_stmt_1, genrtl_do_stmt,
2428         genrtl_return_stmt, genrtl_for_stmt, genrtl_break_stmt,
2429         genrtl_continue_stmt, genrtl_scope_stmt, genrtl_switch_stmt,
2430         genrtl_case_label, genrtl_compound_stmt, genrtl_asm_stmt,
2431         genrtl_cleanup_stmt, expand_stmt, find_reachable_label,
2432         find_reachable_label_1, expand_unreachable_if_stmt,
2433         expand_unreachable_stmt): Remove.
2434         (prep_stmt): Use EXPR_LOCUS instead of STMT_LINENO.
2435         * c-simplify.c: New file.
2436         * c-tree.h (C_LANG_TREE_NODE_CHAIN_NEXT): Define.
2437         (struct lang_type): Add fields enum_min and enum_max.
2438         (c_expand_decl_stmt, c_missing_noreturn_ok_p): Remove.
2439         (c_expand_decl, c_missing_noreturn_ok_p,
2440         c_types_compatible_p): Declare.
2441         * c-typeck.c (tagged_types_tu_compatible_p): Allow for
2442         compiler-generated TYPE_DECLs without a DECL_ORIGINAL_TYPE.
2443         (default_function_array_conversion): Rely on build to
2444         set TREE_CONSTANT.
2445         (parser_build_binary_op, pointer_diff): Likewise.
2446         (build_unary_op, build_binary_op): Likewise.
2447         (build_array_ref):
2448         (build_external_ref): Set TREE_INVARIANT.
2449         (build_c_cast, pop_init_level): Likewise.
2450         (process_init_element): Use ASM_VOLATILE_P.
2451         (build_asm_expr): Adapt to GENERIC/GIMPLE syntax.
2452         (c_finish_case): Call c_do_switch_warnings.
2453         * c.opt (fdump-): Remove.
2454         * calls.c (try_to_integrate): Remove.
2455         (prepare_call_address): Replace fndecl arg with a
2456         precomputed static chain value.
2457         (emit_call_1): New argument for full call expr.
2458         (flags_from_decl_or_type): Call special_function_p.
2459         (initialize_argument_information): Add argument
2460         may_tailcall.
2461         (purge_reg_equiv_notes): New.
2462         (expand_call): Do not try to expand calls inline.
2463         (fixup_tail_calls): New.
2464         * cfg.c: Include timevar.h and ggc.h.
2465         (bb_pool, edge_pool): Remove.
2466         (ENTRY_BLOCK_PTR, EXIT_BLOCK_PTR): Declare.
2467         (entry_exit_blocks): Remove.
2468         (rbi_pool): Declare.
2469         (init_flow): Do not create pools.
2470         Allocate entry/exit block.
2471         (free_edge, alloc_block, expunge_block, unchecked_make_edge): Use GGC.
2472         (alloc_rbi_pool, free_rbi_pool, initialize_bb_rbi): New.
2473         (unlink_block): Clear b->prev_bb and b->next_bb.
2474         (compact_blocks): Clear all slots of BASIC_BLOCK array.
2475         (dump_flow_info): Work on trees too.
2476         (dump_cfg_bb_info): New.
2477         (brief_dump_cfg): New.
2478         * cfganal.c (need_fake_edge_p, flow_call_edges_add): Remove.
2479         (find_edge): New.
2480         * cfgbuild.c (rtl_make_eh_edge): Rename from
2481         make_eh_edge.  Update all users.
2482         (find_basic_blocks): Don't call VARRAY_FREE on
2483         basic_block_info.
2484         * cfgcleanup.c (outgoing_edges_match): Initialize newpos1
2485         and newpos2.
2486         (delete_unreachable_blocks): Return changed status.
2487         (merge_seq_blocks): New.
2488         * cfghooks.c: Include tree-flow.h
2489         (tree_register_cfg_hooks, ir_type): New.
2490         (redirect_edge_and_branch): Change return type to edge.
2491         (predict_edge, predicted_by_p, can_duplicate_block_p,
2492         duplicate_block, block_ends_with_call_p,
2493         block_ends_with_condjump_p, flow_call_edges_add): New.
2494         * cfghooks.h (redirect_edge_and_branch): Change return
2495         type to edge.
2496         (predict_edge, predicted_by_p, can_duplicate_block_p,
2497         duplicate_block, block_ends_with_call_p,
2498         block_ends_with_condjump_p, flow_call_edges_add): Declare.
2499         (redirect_edge_and_branch): Change return type to edge.
2500         (struct cfg_hooks): Add fields block_ends_with_call_p,
2501         block_ends_with_condjump_p, flow_call_edges_add,
2502         predict_edge, predicted_by_p, can_duplicate_block_p and
2503         duplicate_block.
2504         (tree_cfg_hooks, ir_type, tree_register_cfg_hooks): Declare.
2505         * cfglayout.c (cfg_layout_pool, cfg_layout_initialize_rbi): Removed.
2506         (fixup_reorder_chain): Use initialize_bb_rbi.
2507         (cfg_layout_can_duplicate_bb_p, cfg_layout_duplicate_bb): Hookized.
2508         (cfg_layout_initialize): Use cfg.c rbi pool manipulation functions.
2509         (can_copy_bbs_p, copy_bbs): Use cfghooks for bb duplication.
2510         (insn_locators_initialize): Use new info about blocks.
2511         * cfglayout.h (typedef struct reorder_block_def): Moved to
2512         basic_block.h.
2513         (cfg_layout_can_duplicate_bb_p, cfg_layout_duplicate_bb): Declaration
2514         removed.
2515         * cfgloop.c: Include tree.h and tree-flow.h.
2516         * cfgloop.h (create_loop_notes): Declare.
2517         * cfgloopmanip.c (create_loop_notes): New.
2518         * cfgrtl.c (cfg_layout_create_basic_block): Use initialize_bb_rbi.
2519         (rtl_cfg_hooks, cfg_layout_rtl_cfg_hook): Fill in can_duplicate_block_p
2520         and duplicate_block fields.
2521         (create_basic_block_structure): Don't look at
2522         RTX_INTEGRATED_P.
2523         (rtl_block_ends_with_call_p): New.
2524         (rtl_block_ends_with_condjump_p): New.
2525         (need_fake_edge_p): Moved from cfganal.c.
2526         (rtl_flow_call_edges_add): Moved from cfganal.c (flow_call_edges_add).
2527         (rtl_cfg_hooks): Add rtl_block_ends_with_call_p,
2528         rtl_block_ends_with_condjump_p, rtl_flow_call_edges_add.
2529         (cfg_layout_rtl_cfg_hooks): Ditto.
2530         * cgraph.c (cgraph_mark_reachable_node): Don't force nested
2531         functions to be reachable.
2532         * cgraphunit.c (decide_is_function_needed):
2533         * cgraphunit.c (decide_is_function_needed): Nested functions of extern
2534         inline functions don't need to be output.
2535         (cgraph_assemble_pending_functions): Don't do anything
2536         special for nested functions.
2537         (cgraph_mark_functions_to_output): Likewise.
2538         (cgraph_finalize_function): Don't zap DECL_STRUCT_FUNCTION.
2539         (cgraph_analyze_function): Use estimate_num_insns.
2540         (cgraph_mark_functions_to_output): Likewise.
2541         (cgraph_estimate_growth, cgraph_clone_inlined_nodes): Likewise.
2542         (cgraph_expand_function): Allow functions to not be
2543         emitted.
2544         (cgraph_remove_unreachable_nodes):
2545         (cgraph_recursive_inlining_p): Simplify.
2546         (lookup_recursive_calls,
2547         cgraph_decide_recursive_inlining): New.
2548         (cgraph_decide_inlining_*): Update calls of
2549         cgraph_mark_inline.
2550         * combine.c (get_pos_from_mask): Always set *plen.
2551         * common.opt (fdump-, fmudflap, fmudflapth, fmudflapir,
2552         ftree-based-profiling, ftree-ccp, ftree-ch,
2553         ftree-combine-temps, ftree-copyrename, ftree-dce,
2554         ftree-dominator-opts, ftree-dse, ftree-loop-optimize,
2555         ftree-points-to, ftree-pre, ftree-sra, ftree-ter,
2556         ftree-lrs): Add.
2557         * config.in (HAVE_LD_PIE, HAVE_BANSHEE, PREFIX_INCLUDE_DIR):
2558         Undefine.
2559         * configure.ac: Add --enable-tree-browser option.
2560         Add --with-libbanshee option.
2561         Add GMPLIBS and GMPINC.
2562         * configure: Regenerate.
2563         * coverage.c (tree_ctr_tables): New.
2564         (coverage_counter_alloc): Use it.
2565         (build_ctr_info_value): Ditto.
2566         (coverage_counter_ref): Ditto.  Rename to rtl_coverage_counter_ref.
2567         (tree_coverage_counter_ref): New.
2568         * coverage.h (coverage_counter_ref): Remove declaration.
2569         (rtl_coverage_counter_ref): Declare.
2570         (tree_coverage_counter_ref): Declare.
2571         * cppexp.c (append_digit): Rearrange unsignedp/overflow setting.
2572         (eval_token, num_binary_op, num_part_mul, num_div_op): Likewise.
2573         * cse.c (fold_rtx): Do not handle CONSTANT_P_RTX.
2574         (struct cse_basic_block_data): Rename enum values to not
2575         conflict with profile.h; update all uses.
2576         * dbxout.c (dbxout_symbol_location): Don't mention integrate.c
2577         in comments.
2578         * defaults.h (TRAMPOLINE_ALIGNMENT): Move from function.c.
2579         * diagnostic.h (debug_output_buffer, dump_generic_node,
2580         print_generic_stmt, print_generic_stmt_indented,
2581         print_generic_expr, print_generic_decl,
2582         debug_generic_expr, debug_generic_stmt, debug_c_tree):
2583         Declare.
2584         * dominance.c: Cache immediate dominators.
2585         * domwalk.c: New file.
2586         * domwalk.h: New file.
2587         * dwarf2out.c (is_fortran): Support DW_LANG_Fortran95.
2588         (gen_subprogram_die): Generate a DIE for a named
2589         return value.
2590         (loc_descriptor_from_tree): Treat RESULT_DECL like VAR_DECL.
2591         (add_location_or_const_value_attribute): Likewise.
2592         (add_bound_info): Likewise.
2593         (gen_decl_die): Likewise.
2594         * emit-rtl.c (maybe_set_first_label_num): New.
2595         (copy_most_rtx): Don't copy the integrated flag.
2596         Copy the new return_val flag.
2597         * et-forest.c (MAX_NODES): Define.
2598         (record_path_before_1): Abort if len is greater than
2599         MAX_NODES.
2600         * except.c (gen_eh_region, gen_eh_region_cleanup, gen_eh_region_try,
2601         gen_eh_region_catch, gen_eh_region_allowed,
2602         gen_eh_region_must_not_throw, get_eh_region_number,
2603         get_eh_region_may_contain_throw, get_eh_region_tree_label,
2604         set_eh_region_tree_label, expand_resx_expr): New.
2605         (expand_eh_region_start, expand_start_catch): Use them.
2606         (expand_end_catch): Tidy.
2607         (note_eh_region_may_contain_throw): Take region argument.
2608         (note_current_region_may_contain_throw): New.
2609         (get_exception_filter): Export.
2610         (collect_eh_region_array): Export.
2611         (remove_unreachable_regions): Check ERT_TRY based on reachability
2612         of catches, not reachability of continue_label.  Never remove
2613         ERT_MUST_NOT_THROW regions.
2614         (collect_rtl_labels_from_trees): New.
2615         (convert_from_eh_region_ranges): Use it.
2616         (connect_post_landing_pads): Handle dying cleanups.
2617         (struct reachable_info): Add callback data.
2618         (add_reachable_handler): Invoke the callback.
2619         (foreach_reachable_handler): New.
2620         (reachable_handlers): Use it.
2621         (arh_to_landing_pad, arh_to_label): New.
2622         (can_throw_internal_1): Split out from can_throw_internal.
2623         (can_throw_external_1): Similarly.
2624         * except.h: Update.
2625         * explow.c (emit_stack_save): Remove savearea mode check.
2626         (update_nonlocal_goto_save_area): New.
2627         (allocate_dynamic_stack_space): Use it.
2628         (probe_stack_range): Never emit loop notes.
2629         * expmed.c (extract_fixed_bit_field): Always propagate the
2630         target for the shift if it is a REG.
2631         * expr.c: Include tree-iterator.h
2632         (is_zeros_p): Remove.
2633         (categorize_ctor_elements_1, categorize_ctor_elements): New.
2634         (count_type_elements): New.
2635         (mostly_zeros_p): Use them.
2636         (expr_wfl_stack): Remove.
2637         (convert_move): Do nothing if to and from are the same.
2638         (emit_block_move_via_loop): Don't emit LOOP notes.
2639         (emit_move_insn): Don't handle CONSTANT_P_RTX.
2640         (emit_move_insn_1): Don't generate inline warnings.
2641         (expand_vars, expand_var): Split from ...
2642         (expand_expr_1): ... here.
2643         (expand_expr_real, expand_expr_real_1):  Use new macros
2644         EXPR_LOCATION and EXPR_HAS_LOCATION.
2645         * expr.h (simplify_builtin_fputs,
2646         simplify_builtin_strcpy, simplify_builtin_strncpy,
2647         expand_var, fixup_tail_calls,
2648         update_nonlocal_goto_save_area): Declare.
2649         (lookup_static_chain, expand_inline_function,
2650         mark_seen_cases): Remove.
2651         (prepare_call_address): Change type of 2nd argument to
2652         rtx.
2653         * final.c (profile_function): Update static chain test.
2654         (final): Don't look at RTX_INTEGRATED_P.
2655         * flags.h (flag_mudflap, flag_mudflap_threads,
2656         flag_mudflap_ignore_reads, flag_tree_pre, flag_tree_ccp,
2657         flag_tree_dce, flag_tree_combine_temps,
2658         flag_tree_live_range_split, flag_tree_dom, flag_tree_ch,
2659         flag_tree_dse, flag_tree_sra, flag_tree_copyrename,
2660         flag_tree_points_to): Declare.
2661         (enum pta_type): Declare.
2662         * flow.c (lang_missing_noreturn_ok_p): Remove.
2663         (check_function_return_warnings): Remove.
2664         (update_life_info): Update comments.
2665         (free_basic_block_vars): Don't call VARRAY_FREE for
2666         basic_block_info.
2667         (regno_uninitialized): Remove.
2668         * fold-const.c (int_const_binop): Make extern.
2669         (non_lvalue): Rely on build to set TREE_CONSTANT.
2670         (operand_equal_p): Replace only_const argument with
2671         flags.  Allow pure functions if OEP_PURE_SAME.
2672         (fold): Use OEP_ONLY_CONST.
2673         (invert_truthvalue) <NOP_EXPR> Break if argument is of
2674         boolean type.
2675         (fold_relational_hi_lo,
2676         nondestructive_fold_binary_to_constant,
2677         nondestructive_fold_unary_to_constant,
2678         fold_read_from_constant_string): New.
2679         * function.c (struct function): Remove calls_constant_p.
2680         (current_function_calls_constant_p): Remove.
2681         (inline_function_decl): Remove.
2682         (put_var_into_stack): Don't use it.
2683         (fix_lexical_addr): Likewise.
2684         (inline_function_decl): Remove extern declaration.
2685         (TRAMPOLINE_ALIGNMENT): Move to defaults.h.
2686         (trampolines_created): Move to varasm.c.
2687         (free_after_compilation): Update for removed fields.
2688         (allocate_struct_function): Likewise.
2689         (delete_handlers, lookup_static_chain): Remove.
2690         (fix_lexical_addr): Don't consider non-local variable refs.
2691         (trampoline_address): Remove.
2692         (round_trampoline_addr): Move to builtins.c.
2693         (adjust_trampoline_addr): Remove.
2694         (expand_function_start): Update for changes to static chain
2695         and nonlocal goto handling.
2696         (initial_trampoline): Move to varasm.c.
2697         (expand_function_end): Don't build trampolines or kill
2698         unreferenced nonlocal goto labels.
2699         (free_after_compilation): Don't set it.
2700         (expand_function_end): Likewise.
2701         (setjmp_vars_warning): Rename from
2702         uninitialized_vars_warning, remove uninitialized vars warning.
2703         (uninitialized_vars_warning): Remove old comment
2704         and check for DECL_INITIAL, replace with a check of TREE_NO_WARNING
2705         and do not call the langhook.
2706         (expand_function_start, expand_function_end): Don't do
2707         function instrumentation here.
2708         (clear_block_marks): Rename from reorder_blocks_0, export.
2709         (blocks_nreverse): Export.
2710         (uninitialized_vars_warning): Use DECL_RTL_SET_P to test for presence
2711         of rtl.
2712         (reset_block_changes, record_block_change, finalize_block_changes,
2713         check_block_change, free_block_changes): New functions.
2714         (assign_parms): Setting of current_function_stdarg
2715         moved ...
2716         (allocate_struct_function): ... here.
2717         * function.h (struct function): Remove x_nonlocal_labels,
2718         x_nonlocal_goto_handler_slots, x_nonlocal_goto_stack_level,
2719         x_context_display, x_trampoline_list, needs_context.
2720         Add static_chain_decl, nonlocal_goto_save_area.
2721         (struct function): Remove x_clobber_return_insn.
2722         Add tail_call_emit field, last_label_uid,
2723         unexpanded_var_list, dont_emit_block_notes,
2724         ib_boundaries_block, function_end_locus and saved_tree/saved_args.
2725         (clear_block_marks): Declare.
2726         * gcc.c (MFWRAP_SPEC, MFLIB_SPEC): Add -fmudflapth support.
2727         (mfwrap_spec, mflib_spec): Declare.
2728         (cpp_unique_options, cc1_options): Ditto.
2729         (default_compilers): Add .F and .f90.
2730         (static_specs): Add mfwrap and mflib.
2731         * gcse.c (want_to_gcse_p, gcse_constant_p): Don't handle
2732         CONSTANT_RTX_P.
2733         (reg_used_on_edge, reg_killed_on_edge, bypass_block):
2734         Update to match insns field in struct edge_def.
2735         * gdbinit.in (pgs, pge): Define.
2736         * genattrtab.c (ATTR_PERMANENT_P): Use the return_val flag
2737         instead of the integrated flag.
2738         * gengtype-lex.l (IWOrD): Add HOST_WIDEST_INT
2739         * gengtype-yacc.y (bitfieldlen): Add empty action.
2740         (struct_fields): Accept unnamed bitfields.
2741         (bitfieldlen): Split from ...
2742         (bitfieldopt): ... here.
2743         * gengtype.c (ifiles): Add tree-alias-type.h and
2744         tree-flow.h.
2745         * genrecog.c (validate_pattern): Do not handle
2746         CONSTANT_P_RTX.
2747         * gimple-low.c: New file.
2748         * gimplify.c: New file.
2749         * haifa-sched.c (priority): Do not handle CONSTANT_P_RTX.
2750         (restore_line_notes): Do not set RTX_INTEGRATED_P.
2751         * ifcvt.c (dead_or_predicable): Initialize local variable
2752         'earliest'.
2753         * input.h (expr_wfl_stack): Remove.
2754         * integrate.c (INTEGRATE_THRESHOLD): Remove.
2755         (setup_initial_hard_reg_value_integration): Likewise.
2756         (initialize_for_inline): Likewise.
2757         (note_modified_parmregs): Likewise.
2758         (integrate_parm_decls): Likewise.
2759         (process_reg_param): Likewise.
2760         (save_parm_insns): Likewise.
2761         (copy_insn_list): Likewise.
2762         (copy_insn_notes): Likewise.
2763         (compare_blocks): Likewise.
2764         (find_block): Likewise.
2765         (inlining): Likewise.
2766         (function_cannot_inline_p): Likewise.
2767         (parmdecl_map): Likewise.
2768         (in_nonparam_insns): Likewise.
2769         (save_for_inline): Likewise.
2770         (FIXED_BASE_PLUS): Likewise.
2771         (expand_inline_function): Likewise.
2772         (copy_rtx_and_substitute): Don't look at map->integrating,
2773         map->inline_target, and inlining, since we are never copying
2774         for integrating.
2775         Don't abort on RTX_INTEGRATED_P.
2776         (old_fun): Remove.
2777         (output_inline_function): Remove.
2778         * integrate.h (struct inline_map): Remove fields integrating,
2779         block_map, leaf_reg_map, inline_target, and local_return_label.
2780         * jump.c (next_nonnote_insn_in_loop, duplicate_loop_exit_test,
2781         copy_loop_headers, never_reached_warning): Removed.
2782         (any_uncondjump_p): Reject nonlocal goto.
2783         * langhooks-def.h (lhd_types_compatible_p,
2784         lhd_expand_decl, lhd_gimplify_expr): Declare.
2785         (LANG_HOOKS_EXPAND_DECL, LANG_HOOKS_TYPES_COMPATIBLE_P,
2786         LANG_HOOKS_FUNCTION_MISSING_NORETURN_OK_P,
2787         LANG_HOOKS_FUNCTION_LEAVE_NESTED,
2788         LANG_HOOKS_FUNCTION_MISSING_NORETURN_OK_P,
2789         LANG_HOOKS_GIMPLIFY_EXPR,
2790         LANG_HOOKS_GIMPLE_BEFORE_INLINING,
2791         LANG_HOOKS_EXPAND_DECL, LANG_HOOKS_TYPES_COMPATIBLE_P,
2792         LANG_HOOKS_GIMPLIFY_EXPR,
2793         LANG_HOOKS_GIMPLE_BEFORE_INLINING): Define.
2794         (LANG_HOOKS_DECL_UNINIT, LANG_HOOKS_RTL_EXPAND_START,
2795         LANG_HOOKS_RTL_EXPAND_STMT, LANG_HOOKS_RTL_EXPAND_END,
2796         LANG_HOOKS_FUNCTION_LEAVE_NESTED,
2797         LANG_HOOKS_RTL_EXPAND_INITIALIZER,
2798         LANG_HOOKS_DECL_UNINIT,
2799         LANG_HOOKS_RTL_EXPAND_INITIALIZER): Remove.
2800         * langhooks.c: Include tree-simple.h.
2801         (lhd_expand_decl): New.
2802         (lhd_types_compatible_p): New.
2803         (lhd_decl_uninit): Remove.
2804         (lhd_gimplify_expr): New.
2805         * langhooks.h (struct lang_hooks_for_rtl_expansion):
2806         Remove.
2807         (struct lang_hooks_for_functions): Add field
2808         missing_noreturn_ok_p.
2809         (struct lang_hooks): Add field expand_decl,
2810         types_compatible_p, gimplify_expr and
2811         gimple_before_inlining.
2812         Remove fields decl_uninit and rtl_expand
2813         * opts.c (decode_options): Set flag_tree_ccp,
2814         flag_tree_dce, flag_tree_dom, flag_tree_dse,
2815         flag_tree_pre, flag_tree_ter,
2816         flag_tree_live_range_split, flag_tree_sra,
2817         flag_tree_copyrename and flag_tree_ch at -O1 and higher.
2818         (common_handle_option): Handle OPT_fdump_, OPT_fmudflap,
2819         OPT_fmudflapth, OPT_fmudflapir,
2820         OPT_ftree_based_profiling, OPT_ftree_ccp, OPT_ftree_dce,
2821         OPT_ftree_combine_temps, OPT_ftree_ter, OPT_ftree_lrs,
2822         OPT_ftree_dominator_opts, OPT_ftree_copyrename,
2823         OPT_ftree_ch, OPT_ftree_dse, OPT_ftree_sra,
2824         OPT_ftree_points_to_ and OPT_ftree_pre.
2825         * output.h (regno_uninitialized, find_basic_blocks,
2826         cleanup_cfg, delete_unreachable_blocks,
2827         check_function_return_warnings): Remove.
2828         * params.def (PARAM_MAX_INLINE_INSNS_RECURSIVE,
2829         PARAM_MAX_INLINE_INSNS_RECURSIVE_AUTO,
2830         PARAM_MAX_INLINE_RECURSIVE_DEPTH,
2831         PARAM_MAX_INLINE_RECURSIVE_DEPTH_AUTO,
2832         PARAM_GLOBAL_VAR_THRESHOLD, PARAM_MAX_ALIASED_VOPS):
2833         * params.h (GLOBAL_VAR_THRESHOLD, MAX_ALIASED_VOPS):
2834         Define.
2835         * passes.c (rest_of_decl_compilation):
2836         (rest_of_handle_sibling_calls): Remove.
2837         (rest_of_handle_inlining): Remove.
2838         (rest_of_handle_gcse): Do not run
2839         purge_builtin_constant_p.
2840         (rest_of_compilation): Update.
2841         Do not call copy_loop_headers.
2842         Do rtl-based profiling only when
2843         !flag_tree_based_profiling.  Register rtl-based profiling
2844         hooks.
2845         * predict.c:  Include tree-flow.h, ggc.h, tree-dump.h
2846         (predicted_by_p): Rename to ...
2847         (rtl_predicted_by_p): .. this one; make global
2848         (tree_predicted_by_p): New.
2849         (dump_prediction): Add FILE argument.
2850         (predict_edge): Rename to ...
2851         (rtl_predict_edge): .. this one.
2852         (tree_predict_edge): New.
2853         (combine_predictions_for_insn): Update calls of predict_edge.
2854         (predict_loops): Break out from ...
2855         (estimate_probability): ... here; update comments; move updating
2856         of unknown probabilities from ...
2857         (estimate_bb_frequencies): ... here.
2858         (combine_predictions_for_bb): New.
2859         (tree_predict_by_opcode): New.
2860         (tree_estimate_probability): New.
2861         * predict.def (PRED_TREE_POINTER, PRED_TREE_OPCODE_POSITIVE,
2862         PRED_TREE_OPCODE_NONEQUAL, PRED_TREE_FPOPCODE): New predictors.
2863         * predict.h: Add include guard.
2864         (predict_edge, predict_edge_def): Move prototypes to basic_block.h
2865         * pretty-print.c (pp_write_text_to_stream): Make extern.
2866         * pretty-print.h (pp_write_text_to_stream): Declare.
2867         * print-rtl.c (print_rtx): Don't print the integrated flag.
2868         Print the return_val flag.
2869         * print-tree.c: Use TREE_FILENAME and TREE_LINENO instead
2870         of DECL_SOURCE_FILE and DECL_SOURCE_LINE respectively.
2871         Remove support for EXPR_WITH_FILE_LOCATION nodes.
2872         (print_node): Print TREE_INVARIANT and TREE_VISITED.
2873         * profile.c: Include cfghooks.h, tree-flow.h.
2874         (profile_hooks): New.
2875         (profile_dump_file): New.
2876         (instrument_edges): Use hooks instead of RTL-specific code.
2877         (instrument_values): Ditto.
2878         (get_exec_counts): Ditto.
2879         (compute_branch_probabilities): Ditto.
2880         (compute_value_histograms): Ditto.
2881         (branch_prob): Ditto.
2882         (find_spanning_tree): Ditto.
2883         (end_branch_prob): Ditto.
2884         (gen_edge_profiler): Move to rtl-profile.c (rtl_gen_edge_profiler).
2885         (gen_interval_profiler): Ditto (rtl_gen_interval_profiler).
2886         (gen_pow2_profiler): Ditto (rtl_gen_pow2_profiler).
2887         (gen_one_value_profiler): Ditto (rtl_gen_one_value_profiler).
2888         (tree_register_profile_hooks): New.
2889         (rtl_register_profile_hooks): New.
2890         * ra-rewrite.c (rewrite_program): Clear variable info.
2891         * recog.c (immediate_operand): Do not handle CONSTANT_P_RTX.
2892         * regs.h: Add include guards.
2893         * reload.c (decompose): Clear val using memset.
2894         * rtl.def (CONSTANT_P_RTX): Remove.
2895         * rtl.h (CONSTANT_P): Do not handle CONSTANT_P_RTX.
2896         (copy_loop_headers): Remove.
2897         (struct rtx_def): Replace the integrated flag with the
2898         return_val flag.
2899         (maybe_set_first_label_num): Declare.
2900         (init_branch_prob): Move declaration to value-prof.h.
2901         (end_branch_prob): Ditto.
2902         (branch_prob): Ditto.
2903         (never_reached_warning): Don't declare it.
2904         * rtlanal.c (get_related_value): Initialize get_jump_table_offset
2905         (hoist_insn_to_edge): Update to match field insns in
2906         struct edge_def.
2907         * sbitmap.c (sbitmap_realloc): New.
2908         * sbitmap.h (sbitmap_realloc): Declare.
2909         * sibcall.c: Remove file.
2910         * simplify-rtx.c (simplify_rtx): Do not handle
2911         CONSTANT_P_RTX.
2912         * stmt.c (parse_output_constraint): Don't warn for read-write
2913         memory operand.
2914         (tail_recursion_args): Use types_compatible_p langhook.
2915         (force_label_rtx): Don't look at inline_function_decl.
2916         (label_rtx): Set LABEL_PRESERVE_P appropriately.
2917         (expand_label): Handle DECL_NONLOCAL and FORCED_LABEL.
2918         (declare_nonlocal_label): Remove.
2919         (expand_goto): Don't handle nonlocal gotos.
2920         (expand_nl_handler_label): Remove.
2921         (expand_nl_goto_receivers): Remove.
2922         (expand_end_bindings): Don't expand_nl_goto_receivers.  Use
2923         update_nonlocal_goto_save_area.
2924         (expand_expr_stmt_value): Check TREE_NO_WARNING.
2925         (warn_if_unused_value): Likewise.
2926         (expand_start_loop, expand_loop_continue_here,
2927         expand_end_loop): Don't create loop notes.
2928         (all_cases_count, BITARRAY_TEST, BITARRAY_SET,
2929         mark_seen_cases, check_for_full_enumeration_handling): Remove.
2930         (expand_end_case_type): Don't do warn_switch handling.
2931         (pushcase, pushcase_range) Update add_case_node calls.
2932         (add_case_node): Add dont_expand_label argument.
2933         (same_case_target_p): Don't search rtl.
2934         (expand_start_bindings_and_block, expand_end_bindings):
2935         Don't emit block notes when dont_emit_block_notes.
2936         (using_eh_for_cleanups_p): Export.
2937         (expand_return): Allow any typed rhs.
2938         (expand_stack_alloc): New.
2939         (expand_stack_save, expand_stack_restore): New.
2940         (containing_blocks_have_cleanups_or_stack_level): New
2941         function.
2942         (asm_op_is_mem_input): New fn.
2943         (expand_asm_expr): New fn.
2944         (warn_if_unused_value): Check operand 0 of SAVE_EXPR
2945         nodes.
2946         * stor-layout.c (layout_type): Just return if type is
2947         error_mark_node.
2948         (update_alignment_for_field): Export.
2949         (variable_size): We don't care about global_bindings_p if
2950         the frontend doesn't want a list of the expressions.
2951         * system.h: Poison INTEGRATE_THRESHOLD.
2952         * timevar.def (TV_TREE_GIMPLIFY, TV_TREE_EH, TV_TREE_CFG,
2953         TV_TREE_CLEANUP_CFG, TV_TREE_PTA, TV_TREE_MAY_ALIAS,
2954         TV_TREE_INSERT_PHI_NODES, TV_TREE_SSA_REWRITE_BLOCKS,
2955         TV_TREE_SSA_OTHER, TV_TREE_OPS,
2956         TV_TREE_SSA_DOMINATOR_OPTS, TV_TREE_SRA, TV_TREE_CCP,
2957         TV_TREE_SPLIT_EDGES, TV_TREE_PRE, TV_TREE_PHIOPT,
2958         TV_TREE_FORWPROP, TV_TREE_DCE, TV_TREE_CD_DCE,
2959         TV_TREE_DSE, TV_TREE_LOOP, TV_TREE_CH,
2960         TV_TREE_SSA_TO_NORMAL, TV_TREE_SSA_TO_NORMAL,
2961         TV_TREE_NRV, TV_TREE_COPY_RENAME, TV_TREE_SSA_VERIFY,
2962         TV_TREE_STMT_VERIFY, TV_DOM_FRONTIERS,
2963         TV_CONTROL_DEPENDENCES): Define.
2964         * toplev.c: Include tree-alias-common.h
2965         (current_file_decl, flag_mudflap, flag_mudflap_threads,
2966         flag_mudflap_ignore_reads, flag_tree_based_profiling,
2967         flag_tree_gvn, flag_tree_points_to, flag_tree_ccp,
2968         flag_tree_dce, flag_tree_ch, flag_tree_sra,
2969         flag_tree_combine_temps, flag_tree_ter,
2970         flag_tree_live_range_split, flag_tree_dom,
2971         flag_tree_copyrename, flag_tree_dse): Declare.
2972         (f_options): Add tree-based-profiling, tree-gvn,
2973         tree-pre, tree-ccp, tree-dce,
2974         tree-dominator-opts, tree-copyrename, tree-dse,
2975         tree-combine-temps, tree-ter, tree-lrs and tree-ch.
2976         (wrapup_global_declarations): Don't output nested inlined functions.
2977         (general_init): Call init_tree_optimization_passes.
2978         (process_options): Sorry for -ftree-based-profiling plus
2979         -ftest-coverage or -fprofile-values.
2980         * toplev.h (init_tree_optimization_passes,
2981         flag_tree_based_profiling): Declare.
2982         * tracer.c (tail_duplicate): Use cfghooks for bb duplication.
2983         * tree-alias-ander.c: New file.
2984         * tree-alias-ander.h: New file.
2985         * tree-alias-common.c: New file.
2986         * tree-alias-common.h: New file.
2987         * tree-alias-type.c: New file.
2988         * tree-alias-type.h: New file.
2989         * tree-browser.c: New file.
2990         * tree-browser.def: New file.
2991         * tree-cfg.c: New file.
2992         * tree-complex.c: New file.
2993         * tree-dfa.c: New file.
2994         * tree-dump.c (dump_enable_all): New.
2995         (dequeue_and_dump): Do not handle EXPR_WITH_FILE_LOCATION.
2996         (dump_node): Remove const from field suffix and swtch.
2997         (dump_files): Add null entry, .generic, .nested, .vcg,
2998         .xml and a match-all entry.
2999         (extra_dump_files, extra_dump_files_in_use,
3000         extra_dump_files_alloced): Declare
3001         (dump_option_value_info): Add raw, details, stats,
3002         blocks, vops, lineno, uid and all.
3003         (dump_register): New.
3004         (get_dump_file_info): New.
3005         (dump_begin): Call it.
3006         Do nothing for TDI_none.
3007         (dump_begin): Include phase number in dump filename.
3008         (dump_enable_all): New.
3009         (dump_switch_p_1): Split out from dump_switch_p.
3010         (dump_switch_p): Handle extra_dump_files.
3011         Start our scan at TDI_none + 1.
3012         If -fdump-tree-all was given, call dump_enable_all.
3013         * tree-dump.h: Include splay-tree.h.
3014         (dump_function, dump_function_to_file, dump_register):
3015         Declare.
3016         * tree-eh.c: New file.
3017         * tree-flow-inline.h: New file.
3018         * tree-flow.h: New file.
3019         * tree-inline.c: Re-write to handle inlining on GIMPLE.
3020         * tree-inline.h (walk_tree,
3021         walk_tree_without_duplicates): Move to tree.h.
3022         (estimate_num_insns): Declare.
3023         * tree-into-ssa.c: New file.
3024         * tree-iterator.c: New file.
3025         * tree-iterator.h: New file.
3026         * tree-mudflap.c: New file.
3027         * tree-mudflap.h: New file.
3028         * tree-nested.c: New file.
3029         * tree-nomudflap.c: New file.
3030         * tree-nrv.c: New file.
3031         * tree-optimize.c (dump_flags, vars_to_rename,
3032         in_gimple_form, all_passes, pass_gimple,
3033         pass_rebuild_bind, pass_all_optimizations, pass_del_cfg): Declare.
3034         (execute_gimple, execute_rebuild_bind,
3035         gate_all_optimizations, execute_del_cfg,
3036         register_one_dump_file, register_dump_files, dup_pass_1,
3037         init_tree_optimization_passes, execute_todo,
3038         execute_one_pass, execute_pass_list): New.
3039         (clear_decl_rtl): Remove.
3040         (tree_rest_of_compilation): Update to use tree
3041         optimizers.
3042         * tree-outof-ssa.c: New file.
3043         * tree-pass.h: New file.
3044         * tree-phinodes.c: New file.
3045         * tree-pretty-print.c: New file.
3046         * tree-profile.c: New file.
3047         * tree-simple.c: New file.
3048         * tree-simple.h: New file.
3049         * tree-sra.c: New file.
3050         * tree-ssa-alias.c: New file.
3051         * tree-ssa-ccp.c: New file.
3052         * tree-ssa-copy.c: New file.
3053         * tree-ssa-copyrename.c: New file.
3054         * tree-ssa-dce.c: New file.
3055         * tree-ssa-dom.c: New file.
3056         * tree-ssa-dse.c: New file.
3057         * tree-ssa-forwprop.c: New file.
3058         * tree-ssa-live.c: New file.
3059         * tree-ssa-live.h: New file.
3060         * tree-ssa-loop.c: New file.
3061         * tree-ssa-operands.c: New file.
3062         * tree-ssa-operands.h: New file.
3063         * tree-ssa-phiopt.c: New file.
3064         * tree-ssa-pre.c: New file.
3065         * tree-ssa.c: New file.
3066         * tree-ssanames.c: New file.
3067         * tree-tailcall.c: New file.
3068         * tree.c: Include tree-iterator.h, basic-block.h and
3069         tree-flow.h.
3070         (tree_node_kind): Add phi_nodes and ssa names.
3071         (tree_size): Handle PHI_NODE, EPHI_NODE, SSA_NAME,
3072         EUSE_NODE, EKILL_NODE, EEXIT_NODE and STATEMENT_LIST.
3073         (make_node_stat): Handle PHI_NODE and SSA_NAME.
3074         <'c'> Set TREE_INVARIANT.
3075         (copy_node_stat): Abort if trying to copy a
3076         STATEMENT_LIST.
3077         Clear TREE_VISITED.
3078         Clear annotation field.
3079         (build_constructor): Copy TREE_INVARIANT from vals.
3080         Don't clear TREE_CONSTANT.
3081         (expr_first, expr_last, expr_length): Remove.
3082         (staticp): Pass unknown component references to the language.
3083         (save_expr): Check TREE_INVARIANT instead of TREE_CONSTANT.
3084         (skip_simple_arithmetic): Likewise.
3085         (stabilize_reference_1): Likewise.
3086         (tree_node_structure): Handle PHI_NODE, EPHI_NODE,
3087         EUSE_NODE, EKILL_NODE, EEXIT_NODE, SSA_NAME and
3088         STATEMENT_LIST.
3089         (lhd_unsave_expr_now): Remove.
3090         (unsafe_for_reeval): Handle LABEL_EXPR and BIND_EXPR.
3091         (recompute_tree_invarant_for_addr_expr): New.
3092         (build1_stat): Clear EXPR_LOCUS and TREE_BLOCK.
3093         Call recompute_tree_invarant_for_addr_expr.
3094         Set TREE_INVARIANT accordingly.
3095         (build2_stat): Don't handle CALL_EXPR.
3096         (build3_stat): Don't call build2_stat for CALL_EXPRs.
3097         (build_expr_wfl): Remove.
3098         (annotate_with_file_line, annotate_with_locus): New.
3099         (simple_cst_equal): Call simple_cst_list_equal to compare
3100         CONSTRUCTOR_ELTS pointers.
3101         (iterative_hash_expr): Don't hash types associated
3102         with conversions.  Instead hash on the signedness of the
3103         toplevel object and the operand of the conversion.
3104         (dump_tree_statistics): Call ssanames_print_statistics
3105         and phinodes_print_statistics.
3106         (ephi_node_elt_check_failed, phi_node_elt_check_failed,
3107         add_var_to_bind_expr, build_empty_stmt, is_essa_node,
3108         needs_to_live_in_memory): New.
3109         (initializer_zerop): Handle VECTOR_CST.  Don't check
3110         AGGREGATE_TYPE_P for CONSTRUCTOR.
3111         * tree.def (FILTER_EXPR, CASE_LABEL_EXPR, RESX_EXPR,
3112         SSA_NAME, EUSE_NODE, EKILL_NODE, EPHI_NODE, EEXIT_NODE,
3113         PHI_NODE, CATCH_EXPR, EH_FILTER_EXPR, STATEMENT_LIST): Define.
3114         (GOTO_SUBROUTINE_EXPR): Change type to 's'.
3115         (CALL_EXPR): Add another operand.
3116         (EXPR_WITH_FILE_LOCATION): Remove.
3117         (SWITCH_EXPR): Add another operand.
3118         * tree.h: Update various comments.
3119         (union tree_ann_d): Forward declare.
3120         (struct tree_common): Add fields nowarning_flag,
3121         invariant_flag and visited.
3122         (EREF_NODE_CHECK, EPHI_NODE_ELT_CHECK,
3123         PHI_NODE_ELT_CHECK, EREF_NODE_CHECK, PHI_NODE_ELT_CHECK,
3124         EPHI_NODE_ELT_CHECK, TREE_BLOCK,
3125         STRIP_USELESS_TYPE_CONVERSION, CALL_EXPR_TAILCALL,
3126         TREE_NO_WARNING, FORCED_LABEL, TREE_INVARIANT,
3127         IS_EMPTY_STMT, EXPR_LOCUS, SET_EXPR_LOCUS, EXPR_FILENAME,
3128         EXPR_LINENO, EXPR_LOCATION, EXPR_HAS_LOCATION,
3129         EXIT_EXPR_COND, SWITCH_COND, SWITCH_BODY, SWITCH_LABELS,
3130         CASE_LOW, CASE_HIGH, CASE_LABEL, BIND_EXPR_VARS,
3131         BIND_EXPR_BODY, BIND_EXPR_BLOCK, GOTO_DESTINATION,
3132         ASM_STRING, ASM_OUTPUTS, ASM_INPUTS, ASM_CLOBBERS,
3133         ASM_INPUT_P, ASM_VOLATILE_P, COND_EXPR_COND,
3134         COND_EXPR_THEN, COND_EXPR_ELSE, LABEL_EXPR_LABEL,
3135         CATCH_TYPES, CATCH_BODY, EH_FILTER_TYPES,
3136         EH_FILTER_FAILURE, EH_FILTER_MUST_NOT_THROW,
3137         SSA_NAME_VAR, SSA_NAME_DEF_STMT, SSA_NAME_VERSION,
3138         SSA_NAME_OCCURS_IN_ABNORMAL_PHI, SSA_NAME_IN_FREE_LIST,
3139         PHI_RESULT, PHI_REWRITTEN, PHI_NUM_ARGS,
3140         PHI_ARG_CAPACITY, PHI_ARG_ELT, PHI_ARG_EDGE, PHI_ARG_DEF,
3141         EREF_PROCESSED, EREF_ID, EREF_NAME, EREF_STMT,
3142         EREF_RELOAD, EREF_SAVE, EREF_CLASS, EREF_INJURED,
3143         EREF_TEMP, EUSE_DEF, EUSE_PHIOP, EUSE_INSERTED,
3144         EUSE_LVAL, EPHI_NUM_ARGS, EPHI_ARG_CAPACITY,
3145         EPHI_ARG_ELT, EPHI_ARG_EDGE, EPHI_ARG_PRED, EPHI_ARG_DEF,
3146         EPHI_ARG_INJURED, EPHI_ARG_DELAYED_RENAME,
3147         EPHI_ARG_HAS_REAL_USE, EPHI_ARG_STOPS,
3148         EPHI_ARG_PROCESSED2, EPHI_IDENTITY, EPHI_IDENT_INJURED,
3149         EPHI_REP_OCCUR_KNOWN, EPHI_IDENTICAL_TO, EPHI_DOWNSAFE,
3150         EPHI_CANT_BE_AVAIL, EPHI_DEAD, EPHI_USES, EPHI_STOPS,
3151         TREE_VISITED, SSA_VAR_P, DECL_NUM_STMTS,
3152         DECL_HARD_REGISTER, DECL_PTA_ALIASVAR, LABEL_DECL_UID,
3153         DECL_NEEDS_TO_LIVE_IN_MEMORY_INTERNAL,
3154         STATEMENT_LIST_HEAD, STATEMENT_LIST_TAIL, TDF_RAW,
3155         TDF_DETAILS, TDF_STATS, TDF_BLOCKS, TDF_VOPS, TDF_LINENO,
3156         TDF_UID,): Define.
3157         (TREE_NO_UNUSED_WARNING, EXPR_WFL_EMIT_LINE_NOTE,
3158         EXPR_WFL_NODE, EXPR_WFL_FILENAME_NODE, EXPR_WFL_FILENAME,
3159         EXPR_WFL_LINECOL, EXPR_WFL_LINENO, EXPR_WFL_COLNO,
3160         EXPR_WFL_SET_LINECOL): Remove.
3161         (phi_node_elt_check_failed, ephi_node_elt_check_failed,
3162         make_phi_node, init_phinodes, fini_phinodes,
3163         release_phi_node, phinodes_print_statistics,
3164         init_ssanames, fini_ssanames, make_ssa_name,
3165         release_ssa_name, ssanames_print_statistics,
3166         annotate_with_file_line, build_empty_stmt,
3167         annotate_with_locus, expr_only, categorize_ctor_elements,
3168         count_type_elements, add_var_to_bind_expr, is_essa_node,
3169         expand_stack_alloc, expand_stack_save,
3170         expand_stack_restore, add_case_node, operand_equal_p,
3171         nondestructive_fold_unary_to_constant,
3172         nondestructive_fold_binary_to_constant,
3173         fold_read_from_constant_string, int_const_binop,
3174         strip_float_extensions, simplify_builtin, c_strlen,
3175         recompute_tree_invarant_for_addr_expr,
3176         needs_to_live_in_memory, make_vector,
3177         setjmp_vars_warning, update_alignment_for_field,
3178         expand_asm_expr, asm_op_is_mem_input,
3179         containing_blocks_have_cleanups_or_stack_level,
3180         create_artificial_label, gimplify_function_tree,
3181         get_name, unshare_expr, walk_tree,
3182         walk_tree_without_duplicates, in_gimple_form): Declare.
3183         (struct tree_exp): Add fields locus and block.
3184         (struct tree_ssa_name, struct edge_def, struct
3185         tree_phi_node, struct tree_eref_common, struct
3186         tree_euse_node, struct ephi_arg_d, struct tree_ephi_node,
3187         union alias_var_def, struct tree_statement_list_node,
3188         struct tree_statement_list, enum operand_equal_flag): Declare.
3189         (enum tree_node_structure_enum): Add TS_SSA_NAME,
3190         TS_PHI_NODE, TS_EPHI_NODE, TS_EUSE_NODE, TS_EREF_NODE,
3191         TS_STATEMENT_LIST.
3192         (union tree_node): Add fields ssa_name, phi, eref, ephi,
3193         euse and stmt_list.
3194         (function_cannot_inline_p, uninitialized_vars_warning,
3195         save_for_inline, output_inline_function, all_cases_count,
3196         check_for_full_enumeration_handling,
3197         declare_nonlocal_label): Remove.
3198         (enum tree_dump_index): Add TDI_none, TDI_tu,
3199         TDI_generic, TDI_nested, TDI_vcg, TDI_xml.
3200         * unroll.c (unroll_loop): Don't clear map->inline_target.
3201         * unwind-sjlj.c (uw_install_context): Make a proper static inline
3202         function.
3203         * value-prof.c (value_prof_hooks): New.
3204         (find_values_to_profile): Rename to rtl_find_values_to_profile.
3205         Move rtl-specific bits in from branch_prob.
3206         (value_profile_transformations): Rename to
3207         rtl_value_profile_transformations.
3208         (struct value_prof_hooks): New.
3209         (rtl_value_prof_hooks): New.
3210         (rtl_register_value_prof_hooks): New.
3211         (tree_find_values_to_profile): New stub.
3212         (tree_value_profile_transformations): New stub.
3213         (tree_value_prof_hooks): New stub.
3214         (tree_register_value_prof_hooks): New stub.
3215         (find_values_to_profile): New.
3216         (value_profile_transformations): New.
3217         * value-prof.h: Add multiple inclusion guard.
3218         (struct histogram_value): Change rtx fields to void *.
3219         (rtl_register_value_prof_hooks): New declaration.
3220         (tree_register_value_prof_hooks): New declaration.
3221         (find_values_to_profile): New declaration.
3222         (free_profiled_values): New declaration.
3223         (value_profile_transformations): New declaration.
3224         (struct profile_hooks): New declaration.
3225         (init_branch_prob): Declaration moved from rtl.h.
3226         (branch_prob): Declaration moved from rtl.h.
3227         (end_branch_prob): Declaration mooved from rtl.h.
3228         (tree_register_profile_hooks): New declaration.
3229         (rtl_register_profile_hooks): New declaration.
3230         (tree_profile_hooks): New declaration.
3231         (rtl_profile_hooks): New declaration.
3232         * varasm.c: Include tree-mudflap.h.
3233         (TRAMPOLINE_ALIGNMENT): Remove.
3234         (make_decl_rtl): Call mudflap_enqueue_decl.
3235         (assemble_static_space):
3236         (assemble_trampoline_template): Set and return
3237         TRAMPOLINE_ALIGNMENT.
3238         * varray.c (element): Add GENERIC_PTR_NOGC entry.
3239         Add entry for 'tree *'.
3240         Add entry for struct edge_def *.
3241         (varray_copy): New.
3242         * varray.h (enum varray_data_enum): Add
3243         VARRAY_DATA_GENERIC_NOGC, VARRAY_DATA_EDGE and
3244         VARRAY_DATA_TREE_PTR.
3245         (union varray_data_tag): Corresponding changes.
3246         (VARRAY_GENERIC_PTR_NOGC_INIT, VARRAY_EDGE_INIT,
3247         VARRAY_TREE_PTR_INIT, VARRAY_GENERIC_PTR_NOGC,
3248         VARRAY_EDGE, VARRAY_TREE_PTR,
3249         VARRAY_PUSH_GENERIC_PTR_NOGC, VARRAY_PUSH_EDGE,
3250         VARRAY_PUSH_TREE_PTR, VARRAY_TOP_GENERIC_PTR_NOGC,
3251         VARRAY_TOP_EDGE, VARRAY_TOP_TREE_PTR): Define.
3252
3253         * config/*/*: Various updates for changed macros, tree
3254         codes, etc.  Check ChangeLog.tree-ssa.
3255
3256         * doc/cfg.texi: New file.
3257         * doc/tree-ssa.texi: New file.
3258         * doc/c-tree.texi: Document new codes.
3259         * doc/gccint.texi: Include new files.
3260         * doc/install.texi: Document new features.
3261         * doc/invoke.texi: Document new switches.
3262         * doc/passes.texi: Document new passes.
3263         * doc/rtl.texi: Update changed RTL codes.
3264         * doc/sourcebuild.texi: Update build instructions.
3265         * doc/standards.texi: Document Fortran changes.
3266         * doc/tm.texi: Update.
3267
3268 2004-05-12  Paolo Bonzini  <bonzini@gnu.org>
3269
3270         Replace several arrays with a struct of arrays.
3271         * combine.c (struct reg_stat): New.
3272         (init_reg_last_arrays): Renamed to...
3273         (init_reg_last): ...this.  Callers adjusted.
3274         (reg_stat): New.
3275         (combine_instructions): Allocate it and use it.
3276         (reg_last_death, reg_last_set, reg_last_set_value,
3277         reg_last_set_label, reg_last_set_table_tick,
3278         reg_last_set_invalid, reg_nonzero_bits, reg_sign_bit_copies,
3279         reg_last_set_mode, reg_last_set_nonzero_bits,
3280         reg_last_set_sign_bit_copies): Replace throughout
3281         with items of reg_stat.
3282
3283 2004-05-11  Kaz Kojima  <kkojima@gcc.gnu.org>
3284
3285         PR optimization/15100
3286         * combine.c (distribute_notes): Don't create a dangling
3287         REG_LIBCALL/REG_RETVAL note.
3288
3289 2004-05-11  Aldy Hernandez  <aldyh@redhat.com>
3290
3291         * config/rs6000/spe.md (spe_evneg): Rename to negv2si2.
3292
3293         * config/rs6000/rs6000.c (bdesc_1arg): Change spe_evneg to
3294         negv2si2.
3295
3296 2004-05-11  Aldy Hernandez  <aldyh@redhat.com>
3297
3298         * doc/md.texi (Standard Names): Fix typo in vec_init description.
3299
3300 2004-05-11  Geoffrey Keating  <geoffk@apple.com>
3301
3302         * doc/gty.texi (GTY Options): Clarify example.
3303
3304 2004-05-11  Fariborz Jahanian  <fjahanian@apple.com>
3305
3306         * config/rs6000/rs6000.c (rs6000_handle_altivec_attribute):
3307         Add const qualifier to altivec vector type if one is needed.
3308
3309 2004-05-11  Paul Brook  <paul@codesourcery.com>
3310
3311         * flags.h (flag_short_enums): Update comment.
3312         * opts.c (decode_options): Set flag_short_enums to 2.
3313         * toplev.c (flag_short_enums): Update comment.
3314         (process_options): Call default_short_enums target hook.
3315
3316 2004-05-11  Andrew Pinski  <pinskia@gcc.gnu.org>
3317
3318         PR target/14063
3319         * config/rs6000/altivec.md (altivec_dssall):
3320         Change to unspec_volatile.
3321         (altivec_dss): Likewise.
3322
3323 2004-05-10  Aldy Hernandez  <aldyh@redhat.com>
3324
3325         * config/rs6000/altivec.md ("one_cmplv16qi2"): Change vnot to
3326         vnor.
3327         ("one_cmplv8hi2"): Same.
3328         ("one_cmplv4si2"): Same.
3329
3330 2004-05-10  Kaz Kojima  <kkojima@gcc.gnu.org>
3331
3332         PR target/15130
3333         * config/sh/sh-protos.h (sh_expand_epilogue): Change prototype.
3334         * config/sh/sh.c (output_stack_adjust): Take the sibcall epilogue
3335         into account.  Compute the correct number of general registers
3336         for the return value.  Generate a special push/pop sequence when
3337         failing to get a temporary register for non SHmedia epilogue.
3338         (sh_expand_epilogue): Add an argument to show whether it's for
3339         sibcall or not.  Set the 3rd argument of output_stack_adjust to
3340         -1 if needed.
3341         (sh_need_epilogue): Call sh_expand_epilogue with 0.
3342         * config/sh/sh.md (sibcall_epilogue): Call sh_expand_epilogue
3343         with 1.
3344         (epilogue): Call sh_expand_epilogue with 0.
3345
3346 2004-05-10  Andrew Pinski  <pinskia@physics.uc.edu>
3347
3348         * gcse.c (eliminate_partially_redundant_loads): Instead of returning early,
3349         goto a cleanup label.  After the cleanup, free the allocated memory.
3350
3351 2004-05-10  Ziemowit Laski  <zlaski@apple.com>
3352
3353         * config/rs6000/altivec.h (vec_sld): Add overloads for
3354         argument/return types of 'vector bool int', 'vector bool short'
3355         and 'vector bool char'.
3356
3357 2004-05-10  Zack Weinberg  <zack@codesourcery.com>
3358
3359         * c-decl.c (store_parm_decls_newstyle): Correct test for a
3360         nested function.
3361
3362 2004-05-10  Richard Sandiford  <rsandifo@redhat.com>
3363
3364         * read-rtl.c (read_rtx): Allow 's' and 'T' strings to be omitted,
3365         treating missing ones as "".
3366         * config/mips/mips.md: Remove constraints from match_operands and
3367         match_scratches if they appear in define_expands (except reload*),
3368         define_peephole2s, define_splits or attribute specifications.
3369         * config/mips/7000.md, config/mips/sb1.md: Remove match_operand
3370         constraint strings.
3371
3372 2004-05-10  Alan Modra  <amodra@bigpond.net.au>
3373
3374         * config/rs6000/rs6000.c (function_arg_boundary): Always align
3375         AltiVec vectors.
3376         (function_arg_advance): Pass TARGET_32BIT -mabi=no-altivec AltiVec
3377         vectors by refererence.  Align the same for TARGET_64BIT to a 16
3378         byte boundary.  Remove useless code.  Add function comment.
3379         (function_arg): Similarly.  Move gpr rs6000_mixed_function_arg
3380         call to where it belongs.
3381         (function_arg_partial_nregs): Return true for all TARGET_32BIT
3382         -mabi=no-altivec AltiVec vectors.  Fix debug output.
3383         (rs6000_va_arg): Adjust for AltiVec change.
3384
3385 2004-05-10  Paul Brook  <paul@codesourcery.com>
3386
3387         * config/arm/arm.c (arm_promote_prototypes): Use TARGET_AAPCS_BASED.
3388         * config/arm/arm.h (TARGET_AAPCS_BASED): Define.
3389         (TARGET_DOUBLEWORD_ALIGN): Use it.
3390         (WCHAR_TYPE): Define.
3391         (WCHAR_SIZE_TYPE): Define.
3392         (SIZE_TYPE): Define.
3393
3394 2004-05-10  Alan Modra  <amodra@bigpond.net.au>
3395
3396         * config/rs6000/rs6000.c (function_arg_boundary): Align for ABI_V4
3397         when size is 8 bytes.
3398         (function_arg_advance): Account for stack space used by AltiVec
3399         args when -mabi=altivec.  Simplify alignment calculations.  For
3400         ABI_V4, pass AltiVec vectors by reference when -mabi=no-altivec.
3401         (function_arg): Similarly.
3402         (function_arg_pass_by_reference): True for ABI_V4 AltiVec when
3403         not AltiVec ABI.
3404         (rs6000_va_arg): Correct fp arg test.  Adjust for AltiVec change.
3405         Correct alignment, and align before testing reg count.  Remove
3406         TREE_THIS_VOLATILE from reg.  Don't emit unused labels.
3407         (rs6000_complex_function_value): Check TARGET_HARD_FLOAT and
3408         TARGET_FPRS here..
3409         (rs6000_function_value): .. not here before call.
3410
3411 2004-05-09  Aldy Hernandez  <aldyh@redhat.com>
3412
3413         * config/rs6000/spe.md ("tstsflt_gpr"): Fix typo in unspec.
3414
3415 2004-05-09  Zack Weinberg  <zack@codesourcery.com>
3416
3417         PR 15007
3418         * c-decl.c (current_file_decl): Rename to all_translation_units,
3419         adjust comment.
3420         (pop_scope): If popping file_scope, construct a
3421         TRANSLATION_UNIT_DECL and make it the context of all the
3422         symbols in the scope.
3423         (push_file_scope): Don't construct a TRANSLATION_UNIT_DECL here.
3424         (pushdecl): Clarify comment.  Do not set DECL_CONTEXT of
3425         anything to current_file_decl.
3426         (pushdecl_top_level): Likewise.
3427         (store_parm_decls_newstyle): Adjust check for nested function.
3428         (c_write_global_declarations): Update for renamed variable.
3429
3430 2004-05-09  Aldy Hernandez  <aldyh@redhat.com>
3431
3432         * config/rs6000/rs6000-protos.h
3433         (rs6000_conditional_register_usage): Protoize.
3434
3435         * config/rs6000/rs6000.c (rs6000_conditional_register_usage): New.
3436
3437         * config/rs6000/rs6000.h (CONDITIONAL_REGISTER_USAGE): Call
3438         function.
3439
3440 2004-05-08  Roger Sayle  <roger@eyesopen.com>
3441
3442         * fold-const.c (fold_div_compare): New function to optimize X/C1 op C2
3443         where op is a comparison operator and C1 and C2 are integer constants
3444         into a range check.
3445         (fold): Call fold_div_compare.
3446
3447 2004-05-08  Eric Botcazou  <ebotcazou@libertysurf.fr>
3448
3449         * doc/install.texi (sparc-sun-solaris2*): Document bootstrap
3450         problems with earlier versions of the GNU compiler.
3451
3452 2004-05-07  Aldy Hernandez  <aldyh@redhat.com>
3453
3454         * config/rs6000/rs6000-protos.h (rs6000_hard_regno_mode_ok_p):
3455         Declare.
3456
3457         * config/rs6000/rs6000.c (rs6000_hard_regno_mode_ok_p): New.
3458         (rs6000_hard_regno_mode_ok): New.
3459         (rs6000_init_hard_regno_mode_ok): New.
3460         (rs6000_override_options): Call rs6000_init_hard_regno_mode_ok.
3461
3462         * config/rs6000/rs6000.h (HARD_REGNO_NREGS): Use precomputed
3463         result.
3464
3465 2004-05-07  Ziemowit Laski  <zlaski@apple.com>
3466
3467         * config/rs6000/altivec.h (vector, pixel, bool): Do not
3468         define as macros #ifdef __APPLE_ALTIVEC__.
3469
3470 2004-05-07  Fariborz Jahanian  <fjahanian@apple.com>
3471
3472         * config/rs6000/rs6000.c (rs6000_mixed_function_arg):
3473         Generate appropriate parallels for vector arguments
3474         passed to vararg functions. (function_arg): make the call
3475         to rs6000_mixed_function_arg for vector args as needed.
3476
3477 2004-05-07  Richard Sandiford  <rsandifo@redhat.com>
3478
3479         * config/mips/mips.c (mips_va_arg): Fix calculation of osize for
3480         EABI_FLOAT_VARARGS_P.
3481
3482 2004-05-07  Richard Sandiford  <rsandifo@redhat.com>
3483
3484         * config/mips/mips.h (ISA_HAS_BRANCHLIKELY): Remove TARGET_MIPS5500.
3485         * config/mips/mips.c (override_options): Disable branch likely
3486         instructions if TUNE_MIPS5500.
3487
3488 2004-05-07  Richard Sandiford  <rsandifo@redhat.com>
3489
3490         * config/mips/mips.c (override_options): Allow the hi and lo registers
3491         to store any integral mode, not just MODE_INTs.
3492
3493 2004-05-07  Paul Brook  <paul@codesourcery.com>
3494
3495         * config/arm/arm.c (arm_promote_prototypes): Use TARGET_AAPCS_BASED.
3496         * config/arm/arm.h (TARGET_AAPCS_BASED): Define.
3497         (TARGET_DOUBLEWORD_ALIGN): Use it.
3498         (WCHAR_TYPE): Define.
3499         (WCHAR_SIZE_TYPE): Define.
3500         (SIZE_TYPE): Define.
3501
3502 2004-05-07  Uros Bizjak  <uros@kss-loka.si>
3503
3504         * config/i386/i386.c (ix86_emit_fp_unordered_jump): Use
3505         testb $4, %ah insn instead of sahf insn if !TARGET_USE_SAHF.
3506
3507 2004-05-07  Andrew Pinski  <pinskia@physics.uc.edu>
3508
3509         * loop-doloop.c (doloop_valid_p): Make sure that body
3510         gets freed.
3511
3512 2004-05-07  Eric Botcazou  <ebotcazou@act-europe.fr>
3513
3514         * config/sparc/sparc-protos.h (sparc_skip_caller_unimp): New
3515         declaration.
3516         * config/sparc/sparc.c (SKIP_CALLERS_UNIMP_P): Delete.
3517         (sparc_skip_caller_unimp): New global variable.
3518         (sparc_function_epilogue): Set 'sparc_skip_caller_unimp'.
3519         Use it instead of SKIP_CALLERS_UNIMP_P.
3520         * config/sparc/sparc.md (call expander): Add sanity check.
3521         (call_address_struct_value_sp32): Re-sync with expander.
3522         (call_symbolic_struct_value_sp32): Likewise.
3523         (return peepholes): Use 'sparc_skip_caller_unimp' instead
3524         of custom predicate.
3525
3526 2004-05-07  Eric Botcazou  <ebotcazou@libertysurf.fr>
3527
3528         PR c++/14962
3529         * c-pragma.c (handle_pragma_redefine_extname): Only change
3530         the assembler name of FUNCTION_DECLs and VAR_DECLs.
3531
3532 2004-05-07  Uros Bizjak  <uros@kss-loka.si>
3533
3534         * optabs.h (enum optab_index): Add new OTI_log1p.
3535         (log1p_optab): Define corresponding macro.
3536         * optabs.c (init_optabs): Initialize log1p_optab.
3537         * genopinit.c (optabs): Implement log1p_optab using log1p?f2
3538         patterns.
3539         * builtins.c (expand_builtin_mathfn): Handle BUILT_IN_LOG1P{,F,L}
3540         using log1p_optab.
3541         (expand_builtin): Expand BUILT_IN_LOG1P{,F,L} using
3542         expand_builtin_mathfn if flag_unsafe_math_optimizations is set.
3543
3544         * reg-stack.c (subst_stack_regs_pat): Handle UNSPEC_FYL2XP1.
3545
3546         * config/i386/i386.c (ix86_emit_i387_log1p): New function.
3547         * config/i386/i386-protos.h (ix86_emit_i387_log1p):
3548         Prototype here.
3549         * config/i386/i386.md (UNSPEC_FYL2XP1): New unspec to represent
3550         x87's fyl2xp1 instruction.
3551         (*fyl2x_xf3): Rename insn definition to fyl2x_xf3.
3552         (fyl2xp1_xf3): New pattern to implement fyl2xp1 x87 instruction.
3553         (log1psf2, log1pdf2, log1pxf2): New expanders to implement log1pf,
3554         log1p  and log1pl built-ins as inline x87 intrinsics.
3555
3556 2004-05-07  Loren James Rittle  <ljrittle@acm.org>
3557
3558         * config/alpha/freebsd.h (SUBTARGET_EXTRA_SPECS): Proper redefinition.
3559         * config/arm/freebsd.h: Likewise.
3560         * config/ia64/freebsd.h: Likewise.
3561         * config/sparc/freebsd.h: Likewise.
3562
3563 2004-05-07  Hans-Peter Nilsson  <hp@axis.com>
3564
3565         PR optimization/15296
3566         * reorg.c (fill_simple_delay_slots): Use next_real_insn when
3567         getting last consecutive label at a branch.
3568         (relax_delay_slots): Similar, near top of loop.
3569
3570 2004-05-06  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
3571
3572         PR target/15202
3573         * pa.md (movdi, movsi, movhi, movqi): Support move from shift amount
3574         register to general register.
3575
3576 2004-05-07  Alan Modra  <amodra@bigpond.net.au>
3577
3578         * config/rs6000/rs6000.h (STACK_BOUNDARY): Use 128 bit for either
3579         TARGET_ALTIVEC or TARGET_ALTIVEC_ABI.
3580         * config/rs6000/sysv4.h (ABI_STACK_BOUNDARY): Likewise.
3581         (STACK_BOUNDARY): Delete.
3582
3583 2004-05-06  Stuart Hastings  <stuart@apple.com>
3584
3585         * gcc/doc/invoke.texi: Restore -fgcse-after-reload doc from 1.421,
3586         mistakenly clobbered by 1.423.
3587
3588 2004-05-06  Richard Sandiford  <rsandifo@redhat.com>
3589
3590         * doc/invoke.texi: Document -mvr4130-align.
3591         * config/mips/mips.h (MASK_VR4130_ALIGN, TARGET_VR4130_ALIGN)
3592         (TUNE_MIPS4120, TUNE_MIPS4130): New macros.
3593         (TUNE_MACC_CHAINS): Include TUNE_MIPS4120 and TUNE_MIPS4130.
3594         (TARGET_SWITCHES): Add -mvr4130-align and -mno-vr4130-align.
3595         * config/mips/mips.md: Include sched-int.h.
3596         (USEFUL_INSN_P, SEQ_BEGIN, SEQ_END, FOR_EACH_SUBINSN): New macros.
3597         (mips_rtx_costs): Set integer multiplication costs for TUNE_MIPS4130.
3598         (override_options): Enable -mvr4130-align at -O3 and above.
3599         (mips_sim_insn): New variable.
3600         (mips_sim): New structure.
3601         (mips_sim_reset, mips_sim_init, mips_sim_next_cycle, mips_sim_wait_reg)
3602         (mips_sim_wait_regs_2, mips_sim_wait_regs_1, mips_sim_wait_regs)
3603         (mips_sim_wait_units, mips_sim_wait_insn, mips_sim_record_set)
3604         (mips_sim_issue_insn, mips_sim_issue_nop, mips_sim_finish_insn)
3605         (vr4130_avoid_branch_rt_conflict, vr4130_align_insns): New functions.
3606         (mips_reorg): Call vr4130_align_insns.
3607         (vr4130_last_insn): New variable.
3608         (vr4130_true_reg_dependence_p_1, vr4130_true_reg_dependence_p)
3609         (vr4130_swap_insns_p, vr4130_reorder): New functions.
3610         (mips_sched_reorder, mips_variable_issue): Hook in vr4130 code.
3611         (mips_issue_rate): Return 2 for PROCESSOR_R4130.
3612         (mips_use_dfa_pipeline_interface): Return true for the same.
3613         * config/mips/4130.md: New file.
3614         * config/mips/mips.md: Include it.  Add a peephole2 to convert
3615         "mult;mflo" into "mtlo;macc".
3616         (*macc, *umul_acc_di, *smul_acc_di): Use $1 rather than $0 as the
3617         target of maccs.
3618         (*msac_using_macc): New pattern.
3619
3620 2004-05-06  Richard Sandiford  <rsandifo@redhat.com>
3621
3622         * config/mips/5500.md (ir_vr55_store): Set latency to 0.
3623         (ir_vr55_hilo): Split into...
3624         (ir_vr55_mfhilo, ir_vr55_mthilo): ...these new reservations.
3625         (ir_vr55_imul_si, ir_vr55_imadd): Change latency to 5.
3626         (ir_vr55_imul_di): Change latency to 9.  Reserve vr55_mac for 4 cycles.
3627         Add various multiplication bypasses.
3628         * config/mips/mips.c (mips_rtx_costs): Adjust VR5500 costs for integer
3629         multiplication.
3630
3631 2004-05-06  Uros Bizjak  <uros@kss-loka.si>
3632
3633         * config/i386/i386.md (*fscalexf4): Correct insn "mode"
3634         attribute to "XF".
3635
3636 2004-05-05  Uros Bizjak  <uros@kss-loka.si>
3637
3638         * optabs.h (enum optab_index): Add new OTI_fmod and OTI_drem.
3639         (fmod_optab, drem_optab): Define corresponding macros.
3640         * optabs.c (init_optabs): Initialize fmod_optab and drem_optab.
3641         * genopinit.c (optabs): Implement fmod_optab and drem_optab
3642         using fmod?f3 and drem?f3 patterns.
3643         * builtins.c (expand_builtin_mathfn_2): Handle BUILT_IN_FMOD{,F,L}
3644         using fmod_optab and BUILT_IN_DREM{,F,L} using drem_optab.
3645         (expand_builtin): Expand BUILT_IN_FMOD{,F,L} and
3646         BUILT_IN_DREM{,F,L} using expand_builtin_mathfn_2 if
3647         flag_unsafe_math_optimizations is set.
3648
3649         * reg-stack.c (subst_stack_regs_pat): Handle UNSPEC_FPREM_F,
3650         UNSPEC_FPREM_U, UNSPEC_FPREM1_F and UNSPEC_FPREM1_U.
3651
3652         * config/i386/i386.c (ix86_emit_fp_unordered_jump): New function.
3653         * config/i386/i386-protos.h (ix86_emit_fp_unordered_jump):
3654         Prototype here.
3655         * config/i386/i386.md (UNSPEC_FPREM_F, UNSPEC_FPREM_U,
3656         UNSPEC_FPREM1_F, UNSPEC_FPREM1_U): New unspecs to represent x87's
3657         fprem and fprem1 instructions.
3658         (*x86_fnstsw_1): Change input parameter to (reg:CCFP 18).
3659         Rename insn definition to x86_fnstsw_1.
3660         (fpremxf4, fprem1xf4): New patterns to implement fprem and fprem1
3661         x87 instructions.
3662         (fmodsf3, fmoddf3, fmodxf3): New expanders to implement fmodf, fmod
3663         and fmodl built-ins as inline x87 intrinsics.
3664         (dremsf3, dremdf3, dremxf3): New expanders to implement dremf, drem
3665         and dreml built-ins as inline x87 intrinsics.
3666
3667 2004-05-05  Roger Sayle  <roger@eyesopen.com>
3668
3669         * reload1.c (inherit_piecemeal_p): Mark parameters potentially unused.
3670
3671 2004-05-05  Ian Lance Taylor  <ian@wasabisystems.com>
3672
3673         PR driver/9822
3674         * doc/invoke.texi (Spec Files): Remove documentation of %c.
3675
3676 2004-05-05  Chris Demetriou  <cgd@broadcom.com>
3677
3678         * config/mips/mips.md: Update the msub define_split for new mflo/mfhi
3679         representation.
3680
3681 2004-05-06  Paul Brook  <paul@codesourcery.com>
3682
3683         * config/arm/arm-protots.h (vfp_mem_operand): Rename ...
3684         (arm_coproc_mem_operand): ... To this.
3685         * config/arm/arm.c (arm_legitimate_address_p): Allow ldrd modes.
3686         (arm_legitimate_index_p): Ditto.
3687         (vfp_mem_operand): Rename ...
3688         (arm_coproc_mem_operand): ... To this.  Handle writeback modes.
3689         (vfp_secondary_reload_class): Use it.
3690         (output_move_double): Use doubleword load/store instructions.
3691         (arm_hard_regno_mode_ok): Only allow even reg pairs for ldrd.
3692         * config/arm/arm.h (TARGET_LDRD): Define.
3693         (EXTRA_CONSTRAINT_STR_ARM): Add 'Uy'.
3694         * config/gcc/arm/arm.md (arm_movdi): Allow all valid memory operands.
3695         New splitter for invalid doubleword loads.
3696         * config/arm/iwmmxt.md (iwmmxt_arm_movdi): Use Uy constraint.
3697         * config/arm/vfp.md (arm_movdi_vfp): Allow all valid memory operands.
3698         * doc/md.texi: Document Uy constraint.
3699
3700 2004-05-05  Jan Hubicka  <jh@suse.cz>
3701
3702         PR opt/14980
3703         * cgraphunit.c (cgraph_remove_unreachable_nodes): Deal properly with
3704         inline clones.
3705
3706 2004-05-05  H.J. Lu  <hongjiu.lu@intel.com>
3707
3708         PR target/15290
3709         * config/i386/i386.c (ix86_split_to_parts): Use real_to_target
3710         instead of REAL_VALUE_TO_TARGET_LONG_DOUBLE.
3711
3712 2004-05-05  Mike Stump  <mrs@apple.com>
3713
3714         * config/darwin-c.c (add_framework): Copy the directory name as it
3715         can be freed later.  Also, ensure we always allocate enough room
3716         for the cached framework information.
3717         (find_subframework_header): Keep track of the directory where the
3718         subframework header was found.
3719         (framework_construct_pathname): Speed up by not trying to re-add a
3720         framework.
3721         * cppfiles.c (search_path_exhausted): Arrange for the missing
3722         header callback to be able to set the directory where the header
3723         was found.
3724         (cpp_get_dir): Add.
3725         * cpplib.h (missing_header_cb): Add a parameter.
3726         (cpp_get_dir): Add.
3727
3728 2004-05-03  Mike Stump  <mrs@apple.com>
3729
3730         * doc/invoke.texi (Directory Options): Document -iquote.
3731         * doc/cpp.texi: Likewise.
3732         * doc/cppopts.texi: Likewise.
3733         * c-opts.c (c_common_missing_argument): Add -iquote processing.
3734         (c_common_handle_option): Likewise.
3735         * c.opt (iquote): Add.
3736         * gcc.h (DEFAULT_WORD_SWITCH_TAKES_ARG): Add -iquote.
3737         * c-incpath.c (merge_include_chains): Update comment to use -iquote.
3738
3739         * c-opts.c (case OPT_I): Deprecate -I- support.
3740         * doc/invoke.texi: Likewise.
3741         * doc/cpp.texi: Likewise.
3742         * doc/cppopts.texi: Likewise.
3743
3744 2004-05-05  Steven Bosscher  <stevenb@suse.de>
3745
3746         * basic-block.h (free_basic_block_vars): Update prototype.
3747         * flow.c (free_basic_block_vars): Remove the keep_head_end_p
3748         argument.
3749         (life_analysis): Update call.
3750         * ifcvt.c (if_convert): Likewise.
3751         * sibcall.c (optimize_sibling_and_tail_recursive_call): Likewise.
3752         * passes.c (rest_of_handle_final): Likewise.
3753         (rest_of_compilation): Likewise.
3754         * config/sh/sh.c (sh_output_mi_thunk): Likewise.
3755
3756         * emit-rtl.c (next_real_insn): Use INSN_P.
3757         (prev_real_insn): Likewise.
3758
3759 2004-05-05  Eric Christopher  <echristo@redhat.com>
3760
3761         * config/mips/mips.md: Update the madd define_split for new mflo/mfhi
3762         representation.
3763
3764 2004-05-05  Paolo Bonzini  <bonzini@gnu.org>
3765
3766         * config/rs6000/rs6000.c (build_opaque_vector_type):
3767         New function.
3768         (rs6000_init_builtins): Use it.
3769
3770 2004-05-04  Bernard Giroud  <bgiroud2@free.fr>
3771
3772         * gcc/gcc/vmsdbgout.c (vms_func_node, vms_func_ref): New.
3773         (func_table): Change type from char ** to vms_func_ref.
3774         (write_rtnbeg):  Update to reflect func_table change.  Use
3775         fde->funcdef_number instead of rtnnum in output.
3776         (write_rtnend, vmxdbgout_begin_function, vmsdbgout_init): Likewise.
3777
3778 2004-05-04  Paolo Bonzini  <bonzini@gnu.org>
3779             Richard Henderson  <rth@redhat.com>
3780
3781         PR target/14899
3782
3783         * c-common.c (vector_types_convertible_p): New function.
3784         * c-typeck.c (comptypes): Recurse on vector types.
3785         (convert_for_assignment): Use vector_types_convertible_p.
3786         (digest_init): Use vector_types_convertible_p to check
3787         validness of constant vector initializers; otherwise treat
3788         them as scalars.
3789         * tree.c (make_or_reuse_type): New.
3790         (build_common_tree_nodes): Use it.
3791         * cp/call.c (standard_conversion): Likewise.
3792         * cp/typeck.c (comptypes): Recurse on vector types.
3793         (convert_for_assignment): Use vector_types_convertible_p.
3794
3795 2004-05-04  Chris Demetriou  <cgd@broadcom.com>
3796
3797         * config/mips/mips.c (override_options): Default to no
3798         generation of branch-likely operations when tuning for
3799         CPUs where they tend to have a negative performance impact
3800         (e.g., SB-1).
3801
3802 2004-05-04  Richard Kenner  <kenner@vlsi1.ultra.nyu.edu>
3803
3804         * expr.c (store_constructor_field): Don't call store_constructor
3805         if bitsize is not a multiple of a byte.
3806
3807 2004-05-04  Richard Sandiford  <rsandifo@redhat.com>
3808
3809         * reload1.c (inherit_piecemeal_p): New function.
3810         (emit_reload_insns): When reloading a group of hard registers, use
3811         inherit_piecemeal_p to decide whether the values of individual hard
3812         registers can be inherited.
3813
3814 2004-05-04  H.J. Lu  <hongjiu.lu@intel.com>
3815
3816         * config/ia64/t-ia64 (LIB2ADDEH): Remove gthr-gnat.c.
3817         * config/s390/t-tpf (LIB2ADDEHDEP): Likewise.
3818         * config/t-linux (LIB2ADDEHDEP): Likewise.
3819
3820 2004-05-04  Paul Brook  <paul@codesourcery.com>
3821
3822         * config/arm/crti.asm: Push an even number of registers.
3823         * config/arm/crtn.asm: And restore them.  Load via sp.
3824
3825 2004-05-04  Paolo Bonzini  <bonzini@gnu.org>
3826
3827         * ggc-zone.c (ggc_alloc_zone_1): Add MEM_STAT_DECL parameter.
3828         Collect overhead information.
3829         (ggc_alloc_stat): New name of ggc_alloc.  Add MEM_STAT_DECL
3830         parameter and pass it through.
3831         (ggc_alloc_typed_stat): New name of ggc_alloc_typed.  Add
3832         MEM_STAT_DECL parameter and pass it through.
3833         (ggc_alloc_zone_stat): New name of ggc_alloc_zone.  Add
3834         MEM_STAT_DECL parameter and pass it through.
3835
3836 2004-05-03  Aldy Hernandez  <aldyh@redhat.com>
3837
3838         * config/rs6000/rs6000-protos.h: Protoize rs6000_hard_regno_nregs.
3839
3840         * config/rs6000/rs6000.c (rs6000_hard_regno_nregs): New.
3841
3842         * config/rs6000/rs6000.h (HARD_REGNO_NREGS): Call
3843         rs6000_hard_regno_nregs.
3844
3845 2004-05-03  Eric Christopher  <echristo@redhat.com>
3846
3847         * config/s390/s390.c (s390_emit_prologue): Call unspec tpf
3848         prologue insn instead of setting up call.
3849         (s390_emit_epilogue): Ditto.
3850         * config/s390/s390.md (prologue_tpf, epilogue_tpf): New patterns.
3851         (define_constants): Add numbers for above patterns.
3852
3853 2004-05-03  Eric Christopher  <echristo@redhat.com>
3854
3855         * config/s390/s390.h (CONDITIONAL_REGISTER_USAGE): Move body...
3856         * config/s390/s390.c (s390_conditional_register_usage): ...here.
3857         * config/s390/s390-protos.h: Prototype.
3858
3859 2004-05-03  Joe Buck <jbuck@welsh-buck.org>
3860
3861         * cppfiles.c (pchf_adder): Eliminate use of |= in d->have_once_only
3862         assignment.
3863
3864 2004-05-03  Eric Christopher  <echristo@redhat.com>
3865
3866         * config/mips/mips.md: Fix branch length attribute definition.
3867
3868 2004-05-03  Aldy Hernandez  <aldyh@redhat.com>
3869
3870         * config.gcc: Remove --enable-altivec support.
3871
3872         * config/rs6000/altivec-defs.h: Remove.
3873
3874 2004-05-03  Rainer Orth  <ro@TechFak.Uni-Bielefeld.DE>
3875
3876         * fixinc/inclhack.def (svr4_profil): Don't apply on IRIX 5/6.
3877         * fixinc/fixincl.x: Regenerate.
3878
3879 2004-05-03  Uros Bizjak  <uros@kss-loka.si>
3880
3881         * config/i386/i386.md (*fyl2x_sfxf3, *fyl2x_dfxf3): Remove insn
3882         definition.
3883         (log?f2, log10?f2, log2?f2): Reimplement expanders with
3884         float_truncate insn.
3885         (*fxtractsf3, *fxtractdf3): Remove insn definition.
3886         (logb?f2): Reimplement expanders with float_truncate insn.
3887
3888 2004-05-03  Graham Stott  <graham.stott@btinternet.com>
3889
3890         PR 14718
3891         * dwarf2out.c (dwarf2out_imported_module_or_decl): Use
3892         force_type_die for CONST_DECL.
3893
3894 2004-05-03  Eric Botcazou  <ebotcazou@libertysurf.fr>
3895             Rainer Orth  <ro@TechFak.Uni-Bielefeld.DE>
3896
3897         * config.gcc (sparc64-*-solaris2*, sparcv9-*-solaris2*): Add
3898         tm-dwarf2.h to tm_file.
3899         (sparc-*-solaris2*): Add tm-dwarf2.h to tm_file for Solaris 7+.
3900         * config/sparc/sol2-bi.h (PREFERRED_DEBUGGING_TYPE): Delete.
3901         (ASM_DEBUG_SPEC): Delete.
3902
3903 2004-05-03  Uros Bizjak  <uros@kss-loka.si>
3904
3905         * optabs.h (enum optab_index): Add new OTI_expm1.
3906         (expm1_optab): Define corresponding macro.
3907         * optabs.c (init_optabs): Initialize expm1_optab.
3908         * genopinit.c (optabs): Implement expm1_optab using expm1?f2
3909         patterns.
3910         * builtins.c (expand_builtin_mathfn): Handle BUILT_IN_EXPM1{,F,L}
3911         using expm1_optab.
3912         (expand_builtin): Expand BUILT_IN_EXPM1{,F,L} using
3913         expand_builtin_mathfn if flag_unsafe_math_optimizations is set.
3914
3915         * config/i386/i386.md (expm1df2, expm1sf2, expm1xf2): New expanders
3916         to implement expm1, expm1f and expm1l built-ins as inline x87
3917         intrinsics.
3918
3919 2004-05-02  Alexandre Oliva  <aoliva@redhat.com>
3920
3921         2003-11-19  Richard Sandiford  <rsandifo@redhat.com>
3922         * config/frv/frv.md (*return_true, *return_false): New patterns.
3923
3924 2004-05-02  Kazu Hirata  <kazu@cs.umass.edu>
3925
3926         * rtl.h (PHI_NODE_P): Remove.
3927
3928 2004-05-02  Eric Botcazou  <ebotcazou@act-europe.fr>
3929
3930         PR middle-end/14988
3931         * function.c (assign_stack_local_1): Use BITS_PER_UNIT alignment
3932         when passed -2 as 'align'.
3933         (put_var_into_stack): Use 'bool' as the type for the three local
3934         predicates.  Adjust calls to put_reg_into_stack.
3935         When passed a CONCAT, instruct put_reg_into_stack to use
3936         a consecutive stack slot for the second part.
3937         (put_reg_into_stack): Remove 'promoted_mode' parameter, add
3938         'consecutive_p' parameter.  Turn the three predicates into 'bool'
3939         parameters.  Retrieve the register mode from 'reg'.
3940         When consecutive_p is true, instruct assign_stack_local_1 to use
3941         BITS_PER_UNIT alignment.
3942         (put_addressof_into_stack): Use 'bool' as the type for the two
3943         local predicates. Adjust call to put_reg_into_stack.
3944
3945 2004-05-02  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
3946
3947         * fold-const.c (fold_convert_const, fold): Add missing
3948         FIX_ROUND_EXPR case.
3949
3950 2004-05-02  Alexandre Oliva  <aoliva@redhat.com>
3951
3952         * configure.ac (FLEX, BISON): Only use tools from the build tree
3953         if build equals host.
3954         * configure: Rebuilt.
3955
3956         * config/frv/frv-protos.h (frv_expand_epilogue,
3957         frv_expand_fdpic_call): Add bool argument.
3958         * config/frv/frv.c (frv_function_ok_for_sibcall): New.
3959         (TARGET_FUNCTION_OK_FOR_SIBCALL): Define to it.
3960         (frv_expand_epilogue): Use new argument to decide whether to emit
3961         return instruction or copy the return address to LR.
3962         (frv_expand_fdpic_call): Inline PLT entry when emitting direct
3963         sibcalls.
3964         (sibcall_operand): New.
3965         * config/frv/frv.h (PREDICATE_CODES): call_operand doesn't match
3966         PLUS nor LABEL_REF.  Add sibcall_operand.
3967         * config/frv/frv.md (call, call_value): Pass false to
3968         frv_expand_fdpic_call.
3969         (call_fdpicdi, call_value_fdpicdi): Insert %i0 in calll.
3970         (sibcall, sibcall_internal, sibcall_fdpicdi, sibcall_value,
3971         sibcall_value_internal, sibcall_value_fdpicdi): New.
3972         (return_unsigned_true, return_unsigned_false): New.
3973         (epilogue): Adjust call to frv_expand_epilogue.
3974         (sibcall_epilogue): New.
3975
3976         * config/frv/frv.h (ASM_SPEC): Pass -mno-fdpic as -mnopic.
3977         (CPP_SPEC, CPP_SIMPLE_SPEC): Undefine __FRV_ACC__ and __FRV_FPR__
3978         before redefining them.