OSDN Git Service

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