OSDN Git Service

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