OSDN Git Service

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