OSDN Git Service

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