1 2004-06-11 Jason Merrill <jason@redhat.com>
3 * config/sparc/sparc.c (sparc_gimplify_va_arg): New fn.
4 (TARGET_GIMPLIFY_VA_ARG_EXPR): Define.
6 2004-06-11 Jerry Quinn <jlquinn@optonline.net>
8 * typeclass.h: Add GPL plus exception license. Add include
11 2004-06-10 Jason Merrill <jason@redhat.com>
13 * gimplify.c (gimplify_modify_expr): Don't force a temporary
14 of an aggregate_value_p type.
16 2004-06-10 Jeff Law <law@redhat.com>
18 * fold-const.c (fold_inf_compare): Avoid creating non-gimple
19 code when we are in gimple form.
21 2004-06-10 Diego Novillo <dnovillo@redhat.com>
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.
46 2004-06-10 Joseph S. Myers <jsm@polyomino.org.uk>
48 * doc/sourcebuild.texi (Front End): Add details of more
49 installation documentation required.
51 2004-06-10 Brian Booth <bbooth@redhat.com>
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
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
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
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
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
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
131 (register_definitions_for_stmt): Rename occurences of vdef
132 to v_may_def. Also add code to register definitions made with
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
144 * tree-ssa-operands.c (opf_kill_def): New flag for killing
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
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
178 (get_expr_operands): Update comment and use opf_kill_def for
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
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.
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.
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.
217 2004-06-10 Vladimir Makarov <vmakarov@redhat.com>
220 * haifa-sched.c (schedule_block): Finish cycle after issuing asm
223 2004-06-10 Volker Reichelt <reichelt@igpm.rwth-aachen.de>
226 * doc/install.texi: Remove superfluous linebreak.
228 2004-06-10 Roger Sayle <roger@eyesopen.com>
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.
236 2004-06-10 J"orn Rennecke <joern.rennecke@superh.com>
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:
246 (casesi_worker_2): New insn.
248 2004-06-10 Jason Merrill <jason@redhat.com>
250 * target.h (struct gcc_target): Change gimplify_va_arg_expr
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.
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.
263 2004-06-10 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
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.
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.
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.
296 2004-06-10 Roger Sayle <roger@eyesopen.com>
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.
309 2004-06-10 Jakub Jelinek <jakub@redhat.com>
311 * config/ia64/unwind-ia64.c (uw_frame_state_for): Don't assume a
312 leaf function without unwind info at RP 0.
314 2004-06-10 Jakub Jelinek <jakub@redhat.com>
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*.
336 2004-06-09 Daniel Berlin <dberlin@dberlin.org>
338 * tree-ssa.c (verify_ssa): Verify that vdefs/makes_aliased_stores
341 2004-06-09 Roger Sayle <roger@eyesopen.com>
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.
348 2004-06-09 Richard Henderson <rth@redhat.com>
351 * function.c (assign_parms): Always set_mem_align with the computed
352 FUNCTION_ARG_BOUNDARY. Don't clear stack_parm if !STRICT_ALIGNMENT.
354 2004-06-09 Richard Henderson <rth@redhat.com>
357 * tree-tailcall.c (find_tail_calls): Don't check early for
358 tail_recursion failure.
360 2004-06-09 Diego Novillo <dnovillo@redhat.com>
362 Move SSA_NAME annotations into tree_ssa_name.
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'.
377 2004-06-09 Danny Smith <dannysmith@users.sourceforge.net>
379 * config/i386/winnt.c (i386_pe_output_labelref): Correct
382 2004-06-09 Steven Bosscher <stevenb@suse.de>
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.
390 2004-06-09 Richard Henderson <rth@redhat.com>
392 * config/alpha/alpha.c (alpha_gimplify_va_arg_1,
393 alpha_gimplify_va_arg, TARGET_GIMPLIFY_VA_ARG_EXPR): New.
395 2004-06-09 Richard Henderson <rth@redhat.com>
397 * expmed.c (emit_store_flag): Cope with FLOAT_STORE_FLAG_VALUE.
399 2004-06-09 Geoffrey Keating <geoffk@apple.com>
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.
406 2004-06-09 Mark Mitchell <mark@codesourcery.com>
410 2004-06-07 Mark Mitchell <mark@codesourcery.com>
411 * doc/extend.texi: Deprecate #pragma interface and #pragma
414 2004-06-09 David S. Miller <davem@nuts.davemloft.net>
416 * config/sparc/sparc.h (MOVE_RATIO): New definition.
418 2004-06-09 Richard Henderson <rth@redhat.com>
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.
425 2004-06-08 Anil Paranjpe <anilp1@kpitcummins.com>
427 * h8300.md (ldm_h8300s_4): Fix condition for expander.
429 2004-06-08 Jason Merrill <jason@redhat.com>
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.
456 * c-objc-common.c (c_tree_printer): Improve handling of %T.
458 2004-06-09 Andrew Pinski <pinskia@physics.uc.edu>
460 * tree-complex.c (expand_complex_comparison): Use fold_convert instead
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.
469 2004-06-09 J"orn Rennecke <joern.rennecke@superh.com>
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.
481 2004-06-09 Arnaud Charlet <charlet@act-europe.fr>
484 * doc/install.texi: List ada, libada as options to --enable-shared
486 2004-06-09 Paolo Bonzini <bonzini@gnu.org>
488 * aclocal.m4 (gcc_AC_PROG_LN): Remove.
489 (gcc_AC_CHECK_DECLS): Use AH_TEMPLATE to generate
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.
496 2004-06-08 Per Bothner <per@bothner.com>
498 * configure.ac: New --enable-mapped-location sets USE_MAPPED_LOCATION.
500 2004-06-08 Richard Kenner <kenner@vlsi1.ultra.nyu.edu>
502 * toplev.c (floor_log2_wide): Correct casts for 64-bit hosts.
505 2004-06-08 James E Wilson <wilson@specifixinc.com>
508 * config/i386/i386-coff.h (ASM_OUTPUT_ALIGN): Define.
510 2004-06-08 Andrew Pinski <pinskia@physics.uc.edu>
512 * fold-const.c (fold_convert): Treat OFFSET_TYPE like
513 POINTER_TYPE and INTEGER_TYPE.
515 2004-06-08 Bernardo Innocenti <bernie@develer.com>
517 * modulo-sched.c: Compile only when INSN_SCHEDULING is
520 2004-06-08 Jeff Law <law@redhat.com>
522 * doc/contrib.texi: Add entries for Stefan Olsson and
525 2004-06-08 DJ Delorie <dj@redhat.com>
527 * toplev.c (floor_log2_wide): Replace loop with faster bit
529 (exact_log2_wide): Define in terms of the above.
530 * toplev.h (floor_log2): Use _builtin_clz family of builtins if
533 2004-06-08 Andrew Pinski <pinskia@physics.uc.edu>
535 * config/rs6000/rs6000.c (print_operand, <case 'z'>):
536 Make sure that we are in INDIRECT mode when getting the
539 2004-06-08 Anil Paranjpe <anilp1@kpitcummins.com>
541 * h8300.md (extendqisi2_h8300): Add constraints.
542 (ldm_h8300s_4_normal): Fix typo.
544 2004-06-08 Richard Henderson <rth@redhat.com>
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.
554 2004-06-08 Vladimir Makarov <vmakarov@redhat.com>
557 * config/ia64/ia64.c (bundling): Add missed TYPE_A.
559 2004-06-08 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
561 PR rtl-optimization/15717
562 * config/i386/i386.c (legitimate_constant_p): Do not allow
565 2004-06-08 Alexandre Oliva <aoliva@redhat.com>
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.
571 2004-06-07 Roger Sayle <roger@eyesopen.com>
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.
582 2004-06-07 Eric Botcazou <ebotcazou@libertysurf.fr>
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.
590 * config/sparc/sparc.c (sparc_function_epilogue): Properly format.
592 2004-06-07 Roger Sayle <roger@eyesopen.com>
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}.
607 2004-06-07 J"orn Rennecke <joern.rennecke@superh.com>
609 * tree.c (iterative_hash_expr): Use real_hash.
611 2004-06-07 Joseph S. Myers <jsm@polyomino.org.uk>
614 * c-parse.in (compstmt_primary_start): Set last_expr_type to
617 2004-06-07 Mark Mitchell <mark@codesourcery.com>
620 * doc/extend.texi: Deprecate #pragma interface and #pragma
623 2004-06-07 Alexandre Oliva <aoliva@redhat.com>
626 * c-decl.c (finish_decl): Use change_decl_assembler_name for the
627 builtin decl as well.
629 2004-06-07 Roger Sayle <roger@eyesopen.com>
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
639 (build_binary_op): Use require_constant_value to determine whether
640 to call fold or fold_initializer.
642 2004-06-07 Richard Henderson <rth@redhat.com>
644 * gimple-low.c (struct lower_data): Add the_return_label and
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.
655 2004-06-07 Richard Henderson <rth@redhat.com>
658 * expmed.c (extract_bit_field): Fix vector_extract return.
660 * config/i386/i386.md (negv4sf2): New pattern.
662 2004-06-07 Mark Mitchell <mark@codesourcery.com>
665 * c-common.c (c_sizeof_or_alignof_type): Use more detailed error
668 2004-06-06 Paolo Bonzini <bonzini@gnu.org>
670 * config.in: Regenerate.
672 2004-06-06 Steven Bosscher <stevenb@suse.de>
674 * tree-cfg.c (tree_verify_flow_info): Make sure that labels in
675 SWITCH_LABELS are always sorted.
677 2004-06-06 Steven Bosscher <stevenb@suse.de>
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.
686 2004-06-06 Roger Sayle <roger@eyesopen.com>
688 * tree.h (lvalue_or_else): Delete function prototype.
689 * c-typeck.c (lvalue_or_else): Make static. Add static prototype.
691 2004-06-06 Stephane Carrez <stcarrez@nerim.fr>
694 * config/m68hc11/m68hc11.md (move peephole2): Emit a use note to avoid
695 a live change of a register after peephole replacement.
697 2004-06-06 Joseph S. Myers <jsm@polyomino.org.uk>
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
707 * c-decl.c (merge_decls): Use composite_type.
708 * c-tree.h (composite_type): Declare.
710 2004-06-06 Stephane Carrez <stcarrez@nerim.fr>
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.
721 2004-06-06 Eric Botcazou <ebotcazou@libertysurf.fr>
723 * cgraphunit.c (cgraph_decide_inlining): Adjust dump lines in
726 2004-06-05 David S. Miller <davem@nuts.davemloft.net>
728 * config/sparc/linux.h (TARGET_C99_FUNCTIONS): Set.
729 * config/sparc/linux64.h (TARGET_C99_FUNCTIONS): Likewise.
731 2004-06-05 Bernardo Innocenti <bernie@develer.com>
733 * regclass.c (init_reg_sets): Check for missing registers in target
734 initializer macros FIXED_REGISTERS and CALL_USED_REGISTERS.
736 2004-06-05 Zack Weinberg <zack@codesourcery.com>
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.
744 2004-06-05 Steven Bosscher <stevenb@suse.de>
746 * config/v850/v850.c (v850_use_dfa_pipeline_interface): New.
747 * config/v850/v850.md: Convert to DFA scheduler description.
749 2004-06-05 Tobias Schlueter <tobias.schlueter@physik.uni-muenchen.de>
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.
757 2004-06-05 Graham Stott <graham.stott@btinternet.com>
759 * combine.c(simplify_shift_const): Check shift amount is a
762 2004-06-05 Danny Smith <dannysmith@users.sourceforge.net>
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
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.
793 2004-06-04 Bernardo Innocenti <bernie@develer.com>
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.
801 2004-06-04 Frank Ch. Eigler <fche@redhat.com>
803 * gcc.c (MFLIB_SPEC): Remove library references, to require users
804 to enumerate -lmudflap* and dependencies when linking.
806 2004-06-04 Paolo Bonzini <bonzini@gnu.org>
809 * dojump.c (do_jump): Fix uninitialized variable tcode1.
811 2004-06-04 Jerry Quinn <jlquinn@optonline.net>
813 * Makefile.in (insn-conditions.o): Back out removal of reload.h.
814 * genconditions.c (write_header): Back out removal of reload.h.
816 2004-06-04 Jan Hubicka <jh@suse.cz>
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.
823 2004-06-04 Jeff Law <law@redhat.com>
825 * cfgrtl.c (try_redirect_by_replacing_jump): Fix return value.
827 2004-06-04 Steven Bosscher <stevenb@suse.de>
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
833 (label_for_bb): Make global static, unfortunately.
834 (cleanup_dead_labels): Also update label references for
837 2004-06-03 Chris Demetriou <cgd@broadcom.com>
839 * config/mips/mips.c (struct irix_section_align_entry): Fix
842 2004-06-03 Geoffrey Keating <geoffk@apple.com>
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.
848 2004-06-03 Matt Austern <austern@apple.com>
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
858 2004-06-03 Steven Bosscher <stevenb@suse.de>
860 * rtl.def (VAR_LOCATION): Make RTX_EXTRA.
862 2004-06-03 Andrew Pinski <pinskia@physics.uc.edu>
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.
868 2004-06-03 Mark G. Adams <mark.g.adams@sympatico.ca>
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
879 2004-06-03 Jerry Quinn <jlquinn@optonline.net>
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
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
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,
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.
920 2004-06-03 Daniel Berlin <dberlin@dberlin.org>
921 Kenneth Zadeck <zadeck@naturalbridge.com>
923 * tree-ssa-ccp.c (varying_ssa_edges): New worklist.
924 (add_var_to_ssa_edges_worklist): Add value argument.
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.
931 2004-06-03 Steven Bosscher <stevenb@suse.de>
933 * basic-block.c (tail_recursion_label_list): Don't declare.
934 (CLEANUP_PRE_SIBCALL): Remove. Renumber the other CLEANUP_*
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.
965 2004-06-02 Jan Hubicka <jh@suse.cz>
967 * tree-cfg.c (tree_find_edge_insert_loc): Allow inserting before
970 2004-06-02 Jason Merrill <jason@redhat.com>
972 * Makefile.in (TAGS): Don't mess with c-parse.[ch].
973 Do include c-parse.in.
975 2004-06-02 Eric Christopher <echristo@redhat.com>
977 * c-typeck.c (common_type): Don't lose type qualifiers
978 when creating new variants.
980 2004-06-02 Andrew Pinski <pinskia@physics.uc.edu>
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.
989 2004-06-02 Kazu Hirata <kazu@cs.umass.edu>
991 PR tree-optimization/15738.
992 * builtins.c (fold_builtin_strchr): Transform
993 strrchr (s, '\0') to strchr (s, '\0').
995 2004-06-02 Steven Bosscher <stevenb@suse.de>
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
1001 2004-06-01 Jerry Quinn <jlquinn@optonline.net>
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.
1021 2004-06-01 Eric Botcazou <ebotcazou@act-europe.fr>
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.
1028 2004-06-01 Richard Henderson <rth@redhat.com>
1029 Andrew Pinski <pinskia@physics.uc.edu>
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
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.
1047 2004-06-01 Peter Barada <peter@the-baradas.com>
1048 Peter Jakubek <peter@laseranimation.com>
1050 * config/m68k/m68k.c(m68k_output_mi_thunk): For ColdFire, use %d0 as
1051 a scratch to perform an add to memory.
1053 2004-06-01 Bernardo Innocenti <bernie@develer.com>
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.
1066 2004-06-01 Paul Eggert <eggert@cs.ucla.edu>
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.
1073 2004-06-01 Jeff Law <law@redhat.com>
1075 * stmt.c (expand_decl): Be more selective about calling
1078 2004-06-01 Nicola Pero <nicola@brainstorm.co.uk>
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.
1087 2004-06-01 Eric Botcazou <ebotcazou@libertysurf.fr>
1089 * doc/invoke.texi (-static-libgcc): Explicitly mention
1092 2004-06-01 Bernardo Innocenti <bernie@develer.com>
1095 * doc/invoke.texi: Document stack alignment side-effect of -mshort.
1097 2004-05-31 Joseph S. Myers <jsm@polyomino.org.uk>
1100 * c-decl.c (grokdeclarator, finish_struct): Don't pedwarn for
1101 misuses of structures with flexible array members if
1104 2004-05-31 Eric Botcazou <ebotcazou@libertysurf.fr>
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.
1114 2004-05-31 Geoffrey Keating <geoffk@apple.com>
1116 * gengtype-lex.l: Catch stray GTY markers in the files gengtype
1118 * alias.c (alias_invariant_size): Make alias_invariant_size
1119 static, fix GTY marker.
1121 2004-05-31 Kazu Hirata <kazu@cs.umass.edu>
1123 PR tree-optimization/15743.
1124 * builtins.c (fold_builtin_1): Fold index() and rindex().
1126 2004-05-31 Roger Sayle <roger@eyesopen.com>
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.
1132 2004-05-31 John David Anglin <dave.anglin@nrc-cnrc.gc.ca>
1134 * pa.md: Disable the peephole2 patterns that generate indexed
1135 floating-point stores when indexing is disabled.
1137 2004-05-31 Gabriel Dos Reis <gdr@integrable-solutions.net>
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.
1148 2004-05-31 Eric Botcazou <ebotcazou@libertysurf.fr>
1150 * config/sol2.h (__enable_execute_stack): ANSIfy function
1153 2004-05-31 Danny Smith <dannysmith@users.sourceforge.net>
1155 * c-incpath.c (add_path): Canonicalize paths to use '/' if
1156 HAVE_DOS_BASED_FILESYSTEM.
1158 2004-05-31 Steven Bosscher <stevenb@suse.de>
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.
1165 2004-05-31 Kazu Hirata <kazu@cs.umass.edu>
1167 * builtins.c: Add a prototype for fold_builtin_strchr().
1169 2004-05-31 Paolo Bonzini <bonzini@gnu.org>
1172 2004-05-27 Paolo Bonzini <bonzini@gnu.org>
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.
1188 2004-05-30 John David Anglin <dave.anglin@nrc-cnrc.gc.ca>
1190 * pa.c (emit_move_sequence): Fix loading of non 14-bit CONST operands
1191 when generating PIC code.
1193 2004-05-30 Andrew Pinski <pinskia@physics.uc.edu>
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
1200 * c-common.h (c_expand_decl): Add prototype.
1201 * c-tree.h (c_expand_decl): Remove.
1203 2004-05-30 Roger Sayle <roger@eyesopen.com>
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.
1212 2004-05-30 Roger Sayle <roger@eyesopen.com>
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.
1220 2004-05-30 Steven Bosscher <stevenb@suse.de>
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().
1227 2004-05-30 Kazu Hirata <kazu@cs.umass.edu>
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
1240 2004-05-30 Steven Bosscher <stevenb@suse.de>
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.
1248 2004-05-30 Andrew Pinski <pinskia@physics.uc.edu>
1250 * fold-const.c (fold) [case TRUTH_NOT_EXPR]: Make sure the type is
1253 2004-05-30 Kazu Hirata <kazu@cs.umass.edu>
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.
1263 2004-05-29 Geoffrey Keating <geoffk@apple.com>
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.
1276 2004-05-29 Jason Merrill <jason@redhat.com>
1278 * gimplify.c (gimplify_expr): Don't build a statement list
1279 if no gimplification was necessary.
1281 2004-05-29 Joseph S. Myers <jsm@polyomino.org.uk>
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.
1289 2004-05-29 Joseph S. Myers <jsm@polyomino.org.uk>
1291 * c-typeck.c (common_type): Correct comment.
1293 2004-05-29 Peter Barada <peter@the-baradas.com>
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.
1301 2004-05-29 Peter Barada <peter@the-baradas.com>
1303 * config/m68k/m68k.h (EXTRA_CONSTRAINT): add 'U' for register offset
1305 * config/m68k/m68k.md: Add 'U,U' alternative to ColdFire variants of
1306 movsi,movhi,movqi insn patterns.
1308 2005-05-28 Andrew Pinski <pinskia@physics.uc.edu>
1310 * c-semantics.c (emit_local_var): Remove code for DECL_INITIAL.
1313 * config/darwin.c (machopic_indirect_call_target): Copy
1314 the SYMBOL_REF_DECL from the original RTX for the new
1317 2004-05-28 DJ Delorie <dj@redhat.com>
1319 * stor-layout.c (place_field): Revert erroneous commit.
1321 2004-05-28 Ziemowit Laski <zlaski@apple.com>
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.
1331 2004-05-28 Aldy Hernandez <aldyh@redhat.com>
1333 * c-common.c (fname_as_string): Fix xcalloc to xmalloc.
1335 2004-05-28 Aldy Hernandez <aldyh@redhat.com>
1337 * testsuite/g++.dg/charset/function.cc: New.
1339 * testsuite/gcc.dg/charset/function.c: New.
1341 * c-decl.c (c_make_fname_decl): Free return value from
1344 * cp/decl.c (cp_make_fname_decl): Free return value from
1347 * c-common.c (fname_as_string): Translate if necessary.
1349 2004-05-28 Geoffrey Keating <geoffk@apple.com>
1351 * stringpool.c: Add comments to PCH saving/restoring routines.
1353 2004-05-28 Andrew Pinski <pinskia@physics.uc.edu>
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.
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.
1365 2004-05-28 Paolo Bonzini <bonzini@gnu.org>
1366 Roger Sayle <roger@eyesopen.com>
1368 PR rtl-optimization/15649
1369 Add LTGT_EXPR and improve pretty-printing of unordered
1371 * c-common.c (c_common_truthvalue_conversion):
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
1384 * tree.def (LTGT_EXPR): New '<' tree code.
1385 * doc/c-tree.texi (Expressions): Document floating-point
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.
1405 2004-05-28 Paul Brook <paul@codesourcery.com>
1407 * config/arm/arm.c (arm_output_epilogue): Remove redundant code.
1409 2004-05-28 Paul Brook <paul@codesourcery.com>
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.
1416 2004-05-28 Richard Sandiford <rsandifo@redhat.com>
1418 * config/mips/mips.md (extendsidi2): Tie the source and destination
1419 of the register alternative. Split it into nothing.
1421 2004-05-28 Richard Sandiford <rsandifo@redhat.com>
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.
1428 2004-05-28 Kaz Kojima <kkojima@gcc.gnu.org>
1431 * config/sh/sh.md (rotlsi3): Use emit_move_insn.
1433 2004-05-27 Kaz Kojima <kkojima@gcc.gnu.org>
1435 * config/sh/t-linux (SHLIB_MAPFILES): Use sh specific
1437 * config/sh/libgcc-std.ver: New file.
1439 2004-05-27 Bryce McKinlay <mckinlay@redhat.com>
1441 * except.c: Revert change of 2004-05-26.
1442 * config/i386/i386.md: Revert change of 2004-05-27.
1444 2004-05-27 Bryce McKinlay <mckinlay@redhat.com>
1446 * configure.ac: Remove --enable-tree-browser option.
1447 Define TREEBROWSER when ac_tree_checking is defined.
1448 * configure: Rebuilt.
1450 2004-05-27 Olivier Hainque <hainque@act-europe.fr>
1452 * expr.c (store_constructor): Restore sanity check on
1453 the size of the type before clearing.
1455 2004-05-27 Jan Hubicka <jh@suse.cz>
1457 * cfgbuild.c (control_flow_insn_p): Notice noreturn call
1459 2004-05-27 Paolo Bonzini <bonzini@gnu.org>
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.
1478 2004-05-27 Alan Modra <amodra@bigpond.net.au>
1481 * config/rs6000/rs6000.c (reg_or_neg_short_operand): Don't allow zero.
1483 2004-05-27 Josef Zlomek <zlomekj@suse.cz>
1486 * emit-rtl.c (gen_rtx_REG_offset): Adjust the offset according
1489 2004-05-26 Aldy Hernandez <aldyh@redhat.com>
1492 * config/rs6000/rs6000.c (spe_expand_stv_builtin): New.
1494 2004-05-26 Roger Sayle <roger@eyesopen.com>
1496 * tree.h: Fix comment typo.
1498 2004-05-27 Steven Bosscher <stevenb@suse.de>
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.
1512 2004-05-27 Jan Hubicka <jh@suse.cz>
1514 * cfgcleanup.c (try_optimize_cfg): Do not merge across jumptables.
1516 2004-05-27 Jan Hubicka <jh@suse.cz>
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.
1522 2004-05-26 Jan Hubicka <jh@suse.cz>
1524 * cfgcleanup.c (try_forward_edges): Do not check loop structure when
1525 not loop optimizing.
1527 2004-05-26 Jan Hubicka <jh@suse.cz>
1529 * except.c (can_throw_internal): Notice RESX instructions.
1531 2004-05-26 Eric Botcazou <ebotcazou@act-europe.fr>
1533 * varasm.c (output_constant) <INTEGER_TYPE>: Pass the minimum
1534 of the two sizes to assemble_integer.
1536 2004-05-25 Paul Brook <paul@codesourcery.com>
1538 * config/arm/arm.c (thumb_exit, thumb_unexpanded_epilogue): Remove
1541 2004-04-25 Paolo Bonzini <bonzini@gnu.org>
1543 * Makefile.in (top_builddir): Define to .
1545 2004-05-25 Alexandre Oliva <aoliva@redhat.com>
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.
1553 2004-05-25 Vladimir Makarov <vmakarov@redhat.com>
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.
1565 2004-05-25 Devang Patel <dpatel@apple.com>
1567 * alias.c (init_alias_analysis): Use ggc_calloc instead of
1569 (end_alias_analysis): Use ggc_free instead fo free.
1571 2004-05-25 Andrew Pinski <pinskia@physics.uc.edu>
1574 * config/ia64/ia64.h (ASM_OUTPUT_FDESC): Mark the DECL
1575 as needed to be outputted.
1577 2004-05-25 Jan Hubicka <jh@suse.cz>
1579 * builtins.def (__builtin_expect): Mark the function as const¬hrow.
1581 2004-05-25 Ayal Zaks <zaks@il.ibm.com>
1582 Mostafa Hagog <mustafa@il.ibm.com>
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
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
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
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
1604 * params.h (MAX_SMS_LOOP_NUMBER, SMS_MAX_II_FACTOR,
1605 SMS_DFA_HISTORY, SMS_LOOP_AVERAGE_COUNT_THRESHOLD): New
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.
1616 2004-05-25 Paolo Bonzini <bonzini@gnu.org>
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.
1647 2004-05-25 Svein E. Seldal <Svein.Seldal@solidas.com>
1649 * config/avr/avr.h (LONG_LONG_TYPE_SIZE): Changed long long type
1650 to support 32-bit -mint8 mode.
1652 * doc/invoke.texi (-mint8): Added documentation for the -mint8
1653 option in the AVR architecture.
1655 2004-05-24 Mike Stump <mrs@apple.com>
1657 * doc/install.texi: Document that dejagnu 1.4.4 is required.
1659 2004-05-24 Joseph S. Myers <jsm@polyomino.org.uk>
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.
1676 2004-05-24 Rainer Orth <ro@TechFak.Uni-Bielefeld.DE>
1678 * Makefile.in (CPPLIBS): Renamed to CPPLIB.
1679 (BACKEND): Reflect this.
1680 (LIBDEPS): Move CPPLIB before LIBIBERTY.
1683 2004-05-24 Ulrich Weigand <uweigand@de.ibm.com>
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.
1693 2004-05-23 Paolo Bonzini <bonzini@gnu.org>
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.
1731 2004-05-23 Paolo Bonzini <bonzini@gnu.org>
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.
1742 2002-05-23 Roger Sayle <roger@eyesopen.com>
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.
1747 2004-05-23 Joseph S. Myers <jsm@polyomino.org.uk>
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.
1755 2004-05-23 Andrew Pinski <pinskia@physics.uc.edu>
1757 * config/rs6000/t-rs6000: Remove the disabling -Werror.
1759 2004-05-22 Roger Sayle <roger@eyesopen.com>
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.
1780 2004-05-22 Richard Sandiford <rsandifo@redhat.com>
1782 * config/mips/mips.c (mips_file_start): Emit a .gcc_compiled_longXX
1783 section when generating EABI code.
1785 2004-05-22 Andrew Pinski <pinskia@physics.uc.edu>
1788 * config/i386/i386.c (output_pic_addr_const <case SYMBOL_REF>):
1789 Call mark_decl_referenced on the SYMBOL_REF_DECL.
1791 2004-05-22 Andrew Pinski <pinskia@physics.uc.edu>
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.
1798 2004-05-22 Zack Weinberg <zack@codesourcery.com>
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.
1807 (cgraph_remove_node): Pass the node directly to htab_find_slot.
1808 (cgraph_varpool_hash_node): Rename hash_varpool_node;
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.
1820 2004-05-22 Joseph S. Myers <jsm@polyomino.org.uk>
1822 * doc/contrib.texi: Add g77 contributors.
1824 2004-05-22 Richard Sandiford <rsandifo@redhat.com>
1826 * calls.c (initialize_argument_information): Forbid sibcalls if a
1827 callee-copied argument is stored in the current function's frame.
1829 2004-05-22 Eric Christopher <echristo@redhat.com>
1831 * fix-header.c (read_scan_file): Update for add_path change.
1833 2004-05-22 Ben Elliston <bje@au.ibm.com>
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.
1850 2004-05-21 Ulrich Weigand <uweigand@de.ibm.com>
1852 * fold-const.c (fold_read_from_constant_string): Convert result to
1855 2004-05-21 Richard Henderson <rth@redhat.com>
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.
1862 2004-05-21 Richard Henderson <rth@redhat.com>
1864 * Makefile.in (tree-dump.o): Depend on tree-iterator.h.
1865 * tree-dump.c (dequeue_and_dump): Dump STATEMENT_LISTs.
1867 2004-05-21 Roger Sayle <roger@eyesopen.com>
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.
1876 2004-05-21 Diego Novillo <dnovillo@redhat.com>
1878 * tree-flow-inline.h (num_immediate_uses): Don't abort if DF
1881 2004-05-21 Jakub Jelinek <jakub@redhat.com>
1883 * config/sparc/linux64.h (OPTION_DEFAULT_SPECS): If SPARC_BI_ARCH,
1884 override sparc.h definition.
1886 2004-05-20 Roger Sayle <roger@eyesopen.com>
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.
1902 2004-05-20 Ian Lance Taylor <ian@wasabisystems.com>
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):
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.
1925 2004-05-20 Paul Brook <paul@codesourcery.com>
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.
1931 2004-05-20 Roger Sayle <roger@eyesopen.com>
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.
1940 * tree.c (saved_expr_p): Delete function.
1941 * tree.h (saved_expr_p): Delete function prototype.
1943 2004-05-20 Andrew Pinski <pinskia@physics.uc.edu>
1945 * common.opt (ftree-loop-optimize): Remove.
1947 2004-05-20 Daniel Jacobowitz <dan@debian.org>
1949 * Makefile.in (AR_FOR_TARGET, RANLIB_FOR_TARGET)
1950 (NM_FOR_TARGET): Use := and $(shell).
1951 (mainversion): Remove unused variable.
1953 2004-05-20 John David Anglin <dave.anglin@nrc-cnrc.gc.ca>
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.
1958 2004-05-20 Richard Henderson <rth@redhat.com>
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.
1966 2004-05-20 Andrew Pinski <pinskia@physics.uc.edu>
1968 * rs6000.c (print_operand) <case 'z'>: Call
1969 mark_decl_referenced before assemble_name.
1971 2004-05-20 Zack Weinberg <zack@codesourcery.com>
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.
1978 2004-05-20 Richard Earnshaw <rearnsha@arm.com>
1980 * arm.md (ite_ne_zeroextractsi, ite_ne_zeroextractsi_shifted): Ensure
1981 we don't earlyclobber operands used in the second insn.
1983 2004-05-20 Steven Bosscher <stevenb@suse.de>
1985 * tree-mudflap.c: Formatting fixes.
1987 2004-05-20 J"orn Rennecke <joern.rennecke@superh.com>
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.
2001 2004-05-20 Nick Clifton <nickc@redhat.com>
2003 * config/c4x/c4x.h (INITIALIZE_TRAMPOLINE): Replace 'tramp'
2004 with 'TRAMP' in the body of the macro definition.
2006 2004-05-19 H.J. Lu <hongjiu.lu@intel.com>
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
2014 (ia64_sysv4_init_libfuncs): New.
2016 * config/ia64/sysv4.h (TARGET_INIT_LIBFUNCS): New. Defined as
2017 ia64_sysv4_init_libfuncs.
2019 2004-05-20 Falk Hueffner <falk@debian.org>
2022 * libgcc2.c (__mulvsi3): Fix overflow test.
2024 2004-05-19 Andrew Pinski <pinskia@physics.uc.edu>
2027 * reg-stack.c (nan): Rename to ...
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.
2034 * tree-cfg.c (find_case_label_for_value): Replace call to
2035 simple_cst_equal with tree_int_cst_equal.
2037 2004-05-19 Jeff Law <law@redhat.com>
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.
2048 * tree-ssa-phiopt.c (value_replacement): Handle the case where
2049 the desired edge out of COND_BLOCK reaches OTHER_BLOCK rather than
2052 2004-05-19 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
2055 * loop-iv.c (iv_number_of_iterations): Use trunc_int_for_mode on
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
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.
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.
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.
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.
2095 * loop-iv.c (iv_number_of_iterations): Improve clasification of
2098 2004-05-19 Roger Sayle <roger@eyesopen.com>
2100 * doc/tm.texi (TARGET_RTX_COSTS): Document that instruction
2101 costs should be based on code size when optimizing for size.
2103 2004-05-19 Paolo Bonzini <bonzini@gnu.org>
2105 * fold-const.c: Remove non-printable character 160.
2107 2004-05-19 Nick Clifton <nickc@redhat.com>
2109 * doc/invoke.texi (ARM Options): Fix typo.
2110 Remove descrption of -mshort-load-bytes and
2111 -mno-short-load-bytes.
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.
2118 2004-05-19 Steven Bosscher <stevenb@suse.de>
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.
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.
2135 2004-05-18 Mike Stump <mrs@apple.com>
2136 Devang Patel <dpatel@apple.com>
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.
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.
2153 2004-05-18 Zack Weinberg <zack@codesourcery.com>
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):
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.
2174 2004-05-18 Andrew Pinski <pinskia@physics.uc.edu>
2175 Jeff Law <law@redhat.com>
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.
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.
2191 2004-05-18 Jeff Law <law@redhat.com>
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.
2199 * tree-ssa-phiopt.c: Fix various formatting issues.
2201 2004-05-18 Steven Bosscher <stevenb@suse.de>
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.
2207 2004-05-18 Alan Modra <amodra@bigpond.net.au>
2209 * config/rs6000/rs6000.md (ctrsi_internal3): Delete.
2210 (ctrsi_internal4, ctrdi_internal3, ctrdi_internal4): Delete.
2212 2004-05-17 Jeff Law <law@redhat.com>
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
2228 * tree.h (PHI_ARG_NONZERO): Define.
2229 (phi_arg_d): Add nonzero flag.
2231 2004-05-17 Zack Weinberg <zack@codesourcery.com>
2233 * f: Entire directory removed
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.
2242 * config/i386/uwin.h: No need to define WIN32_UWIN_TARGET.
2243 * doc/invoke.texi, doc/standards.texi: Remove cross-references
2246 2004-05-17 Steven Bosscher <stevenb@suse.de>
2248 PR tree-optimization/15438
2249 * tree-ssa-operands.c (get_expr_operands): Do not treat malloc
2250 attributed functions as pure or const.
2252 2004-05-17 Frank Ch. Eigler <fche@redhat.com>
2254 * tree-mudflap.c (mx_register_decls): Tolerate decl trees resulting
2255 from source code with errors.
2257 2004-05-17 Ranjit Mathew <rmathew@hotmail.com>
2259 Enable tree browser for all front ends.
2260 * Makefile.in (cc1): Moved @TREEBROWSER@ from here...
2261 (BACKEND): ...to here.
2263 2004-05-17 Jan Hubicka <jh@suse.cz>
2265 * i386.c (construct_container): Do not produce BLKmode registers.
2266 (classify_argument): Properly compute alignment of complex types.
2268 2004-05-17 H.J. Lu <hongjiu.lu@intel.com>
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.
2275 2004-05-17 Richard Sandiford <rsandifo@redhat.com>
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
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.
2292 2004-05-17 Richard Sandiford <rsandifo@redhat.com>
2294 * optabs.c (expand_unop): Try implementing negation using subtraction
2297 2004-05-16 John David Anglin <dave.anglin@nrc-cnrc.gc.ca>
2299 * pa.md: Fix typo from last change. Remove DFmode move to and from
2302 2004-05-16 Richard Earnshaw <rearnsha@arm.com>
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.
2310 2004-05-15 Steven Bosscher <stevenb@suse.de>
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):
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):
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.
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 ().
2340 2004-05-15 Roger Sayle <roger@eyesopen.com>
2342 * builtins.c (simplify_builtin_strcpy): Avoid use of chainon, so
2343 that simplify_builtin doesn't destructively modify its argument.
2345 2004-05-15 Richard Earnshaw <reanrsha@arm.com>
2347 * arm/lib1funcs.asm (_lshrdi3, _ashrdi3, _ashldi3): Add ASM
2348 implementations for ARM and Thumb.
2349 * arm/t-arm-elf (LIB1ASMFUNCS): Use them.
2351 2004-05-15 Thomas Quinot <quinot@act-europe.fr>
2353 * prefix.c (update_path): Replace PREFIX with KEY only
2354 when it matches a full directory name in PATH.
2356 2004-05-15 Richard Earnshaw <reanrsha@arm.com>
2358 * arm.h (TARGET_APCS_32): Delete.
2359 (TARGET_MMU_TRAPS): Delete.
2360 (TARGET_CPU_CPP_BUILTINS): Unconditionally define __APCS_32__. Never
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.
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.
2392 2004-05-15 Alan Modra <amodra@bigpond.net.au>
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.
2398 2004-05-15 Joseph S. Myers <jsm@polyomino.org.uk>
2400 * doc/extend.texi: Update WG14 URL.
2402 2004-05-15 Steven Bosscher <stevenb@suse.de>
2404 * basic-block.h (life_analysis, delete_noop_moves):
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
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
2423 * rtl.c (branch_target_load_optimize, reg_to_stack): Update
2425 * value-profile.c (branch_prob): Update life_analysis call.
2426 * web.c (web_main): Work on the CFG, not on the insns stream.
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.
2432 2004-05-15 Joseph S. Myers <jsm@polyomino.org.uk>
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.
2439 2004-05-14 Richard Earnshaw <rearnsha@arm.com>
2441 * arm.md (all peephole2 patterns): Use predicates that validate
2442 register classes as appropriate.
2444 2004-05-14 Steven Bosscher <stevenb@suse.de>
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.
2451 2004-05-14 Jeff Law <law@redhat.com>
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.
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.
2461 2004-05-14 Steven Bosscher <stevenb@suse.de>
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
2481 2004-05-14 Andrew Pinski <pinskia@physics.uc.edu>
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
2497 2004-05-14 Paul Brook <paul@codesourcery.com>
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.
2508 2004-05-13 Zack Weinberg <zack@codesourcery.com>
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
2524 * tree-ssa-operands.c (get_expr_operands): Likewise.
2526 2004-05-13 Diego Novillo <dnovillo@redhat.com>
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:
2540 2004-05-14 Ranjit Mathew <rmathew@hotmail.com>
2542 * doc/sourcebuild.texi: Mention libbanshee and libmudflap.
2544 2004-05-13 Andrew Pinski <pinskia@physics.uc.edu>
2546 * tree-ssa.c (delete_tree_ssa): XFREE
2547 bitmaps allocated with BITMAP_XMALLOC.
2549 * tree-ssa-pre.c (execute_pre): Free ephi_use_pool and
2550 idfs_cache at the end of the function.
2552 * tree-ssa-live.c (calculate_live_on_entry): Free saw_def
2553 at the end of the function.
2555 * tree-ssa-dce.c (perform_tree_ssa_dce): Free
2556 el at the end of the function.
2558 * tree-into-ssa.c (insert_phi_nodes_for): XFREE
2559 bitmaps allocated with BITMAP_XMALLOC.
2561 * loop-unswitch.c (unswitch_single_loop): Free bbs at
2564 * final.c (shorten_branches): Free uid_shuid before
2567 * bb-reoder.c (connect_traces): Free cold_traces at the end.
2569 2004-05-13 Jeff Law <law@redhat.com>
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.
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
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
2590 (tree_ssa_forward_propagate_single_use_vars): Rework to pass
2591 worklists to children. Iterate until the statement worklist
2594 2004-05-13 Andrew Pinski <pinskia@physics.uc.edu>
2596 * tree-outof-ssa.c (rewrite_vars_out_of_ssa): Free map at
2597 the end of the block.
2599 * tree-into-ssa.c (def_blocks_free): XFREE bitmaps allocated
2600 with BITMAP_XMALLOC.
2602 * tree-ssa-alias.c (delete_alias_info): XFREE bitmaps allocated
2603 with BITMAP_XMALLOC.
2605 * tree-ssa-dom.c (tree_ssa_dominator_optimize):
2606 Free nonzero_vars at the end of the function.
2608 * convert.c (convert_to_integer): Make a CONVERT_EXPR when there is a
2609 need to generate code instead of a NOP_EXPR.
2611 2004-05-13 Ian Lance Taylor <ian@wasabisystems.com>
2613 * gcc.c (default_compilers): Fill out initializers for new Fortran
2616 2004-05-13 Paul Brook <paul@codesourcery.com>
2618 * config/arm/arm.h (PCC_BITFIELD_TYPE_MATTERS): Define.
2620 2004-05-13 Paul Brook <paul@codesourcery.com>
2622 * config/arm/arm.c (arm_default_short_enums): New function.
2623 (TARGET_DEFAULT_SHORT_ENUMS): Define.
2625 2004-05-13 Diego Novillo <dnovillo@redhat.com>
2627 Merge from tree-ssa-20020619-branch.
2629 * Makefile.in (reload1.o-warn): Add.
2630 (tree-alias-ander.o-warn): Add.
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
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
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
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
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>:
2760 (fold_builtin_expect): New.
2761 (fold_builtin_isascii): Don't return non-constant results
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
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.
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
2793 (c_expand_expr): Don't handle STMT_EXPR.
2794 (handle_alias_attribute): Marke aliased variables to be
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
2806 (FILE_STMT): Remove.
2807 * c-common.h (lang_expand_stmt, lang_expand_decl_stmt):
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):
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.
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
2852 * c-format.c (handle_format_arg_attribute): Initialize
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
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
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
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
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
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
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
2925 (parser_build_binary_op, pointer_diff): Likewise.
2926 (build_unary_op, build_binary_op): Likewise.
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
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.
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
2964 * cfgcleanup.c (outgoing_edges_match): Initialize newpos1
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
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
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
2993 (cfg_layout_can_duplicate_bb_p, cfg_layout_duplicate_bb): Declaration
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
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
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
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,
3037 * config.in (HAVE_LD_PIE, HAVE_BANSHEE, PREFIX_INCLUDE_DIR):
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
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):
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
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
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.
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
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
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
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
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
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
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
3225 * genrecog.c (validate_pattern): Do not handle
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
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
3255 Don't abort on RTX_INTEGRATED_P.
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):
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):
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
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
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
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
3392 * stmt.c (parse_output_constraint): Don't warn for read-write
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
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
3426 * stor-layout.c (layout_type): Just return if type is
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):
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
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
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
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
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,
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,
3672 (union tree_node): Add fields ssa_name, phi, eref, ephi,
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
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 *.
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.
3733 * config/*/*: Various updates for changed macros, tree
3734 codes, etc. Check ChangeLog.tree-ssa.
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.
3748 2004-05-12 Paolo Bonzini <bonzini@gnu.org>
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.
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.
3763 2004-05-11 Kaz Kojima <kkojima@gcc.gnu.org>
3765 PR optimization/15100
3766 * combine.c (distribute_notes): Don't create a dangling
3767 REG_LIBCALL/REG_RETVAL note.
3769 2004-05-11 Aldy Hernandez <aldyh@redhat.com>
3771 * config/rs6000/spe.md (spe_evneg): Rename to negv2si2.
3773 * config/rs6000/rs6000.c (bdesc_1arg): Change spe_evneg to
3776 2004-05-11 Aldy Hernandez <aldyh@redhat.com>
3778 * doc/md.texi (Standard Names): Fix typo in vec_init description.
3780 2004-05-11 Geoffrey Keating <geoffk@apple.com>
3782 * doc/gty.texi (GTY Options): Clarify example.
3784 2004-05-11 Fariborz Jahanian <fjahanian@apple.com>
3786 * config/rs6000/rs6000.c (rs6000_handle_altivec_attribute):
3787 Add const qualifier to altivec vector type if one is needed.
3789 2004-05-11 Paul Brook <paul@codesourcery.com>
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.
3796 2004-05-11 Andrew Pinski <pinskia@gcc.gnu.org>
3799 * config/rs6000/altivec.md (altivec_dssall):
3800 Change to unspec_volatile.
3801 (altivec_dss): Likewise.
3803 2004-05-10 Aldy Hernandez <aldyh@redhat.com>
3805 * config/rs6000/altivec.md ("one_cmplv16qi2"): Change vnot to
3807 ("one_cmplv8hi2"): Same.
3808 ("one_cmplv4si2"): Same.
3810 2004-05-10 Kaz Kojima <kkojima@gcc.gnu.org>
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
3821 (sh_need_epilogue): Call sh_expand_epilogue with 0.
3822 * config/sh/sh.md (sibcall_epilogue): Call sh_expand_epilogue
3824 (epilogue): Call sh_expand_epilogue with 0.
3826 2004-05-10 Andrew Pinski <pinskia@physics.uc.edu>
3828 * gcse.c (eliminate_partially_redundant_loads): Instead of returning early,
3829 goto a cleanup label. After the cleanup, free the allocated memory.
3831 2004-05-10 Ziemowit Laski <zlaski@apple.com>
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'.
3837 2004-05-10 Zack Weinberg <zack@codesourcery.com>
3839 * c-decl.c (store_parm_decls_newstyle): Correct test for a
3842 2004-05-10 Richard Sandiford <rsandifo@redhat.com>
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
3852 2004-05-10 Alan Modra <amodra@bigpond.net.au>
3854 * config/rs6000/rs6000.c (function_arg_boundary): Always align
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.
3865 2004-05-10 Paul Brook <paul@codesourcery.com>
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.
3874 2004-05-10 Alan Modra <amodra@bigpond.net.au>
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
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
3889 (rs6000_function_value): .. not here before call.
3891 2004-05-09 Aldy Hernandez <aldyh@redhat.com>
3893 * config/rs6000/spe.md ("tstsflt_gpr"): Fix typo in unspec.
3895 2004-05-09 Zack Weinberg <zack@codesourcery.com>
3898 * c-decl.c (current_file_decl): Rename to all_translation_units,
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.
3910 2004-05-09 Aldy Hernandez <aldyh@redhat.com>
3912 * config/rs6000/rs6000-protos.h
3913 (rs6000_conditional_register_usage): Protoize.
3915 * config/rs6000/rs6000.c (rs6000_conditional_register_usage): New.
3917 * config/rs6000/rs6000.h (CONDITIONAL_REGISTER_USAGE): Call
3920 2004-05-08 Roger Sayle <roger@eyesopen.com>
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
3925 (fold): Call fold_div_compare.
3927 2004-05-08 Eric Botcazou <ebotcazou@libertysurf.fr>
3929 * doc/install.texi (sparc-sun-solaris2*): Document bootstrap
3930 problems with earlier versions of the GNU compiler.
3932 2004-05-07 Aldy Hernandez <aldyh@redhat.com>
3934 * config/rs6000/rs6000-protos.h (rs6000_hard_regno_mode_ok_p):
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.
3942 * config/rs6000/rs6000.h (HARD_REGNO_NREGS): Use precomputed
3945 2004-05-07 Ziemowit Laski <zlaski@apple.com>
3947 * config/rs6000/altivec.h (vector, pixel, bool): Do not
3948 define as macros #ifdef __APPLE_ALTIVEC__.
3950 2004-05-07 Fariborz Jahanian <fjahanian@apple.com>
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.
3957 2004-05-07 Richard Sandiford <rsandifo@redhat.com>
3959 * config/mips/mips.c (mips_va_arg): Fix calculation of osize for
3960 EABI_FLOAT_VARARGS_P.
3962 2004-05-07 Richard Sandiford <rsandifo@redhat.com>