1 2004-06-13 Joseph S. Myers <jsm@polyomino.org.uk>
3 * c-typeck.c (comptypes, tagged_types_tu_compatible_p,
4 function_types_compatible_p, type_lists_compatible_p): Remove
6 * c-tree.h (comptypes): Likewise.
7 (COMPARE_STRICT): Remove.
8 * c-decl.c, c-lang.c, c-parse.in, c-typeck.c, objc/objc-act.c: All
11 2004-06-13 Eric Christopher <echristo@redhat.com>
13 * c-decl.c (diagnose_mismatched_decls): Improve error message.
15 * c-typeck.c (comptypes): Add location in standard we're checking.
17 2004-06-13 Kaz Kojima <kkojima@gcc.gnu.org>
19 * config/sh/libgcc-std.ver: Add __unorddf2 and __unordsf2 with
22 2004-06-12 Roger Sayle <roger@eyesopen.com>
24 * expmed.c (shift_cost, shiftadd_cost, shiftsub_cost): Additionally
25 index by machine mode.
26 (init_expmed): Initialize shift_cost, shiftadd_cost and shiftsub_cost
27 tables inside the loop over machine modes.
28 (synth_mult, expand_mult_highpart_optab, expand_mult_highpart,
29 expand_divmod): Index shift*_cost by the appropriate machine mode.
31 2004-06-12 Eric Christopher <echristo@redhat.com>
33 * config/s390/s390.h: Rename TARGET_TPF to TARGET_TPF_PROFILING.
34 * config/s390/s390.md: Ditto.
35 * config/s390/s390.c: Ditto.
36 (s390_frame_info): Conditionalize frame and setup info on
38 (s390_arg_frame_offset): Ditto.
40 2004-06-12 Roger Sayle <roger@eyesopen.com>
42 * fold-const.c (omit_two_operands): New function.
43 * tree.h (omit_two_operands): Prototype here.
44 * builtins.c (fold_builtin_unordered_cmp): New function to lower
45 C99 unordered comparison builtins to the appropriate tree nodes.
46 (fold_builtin_1): Use fold_builtin_unordered_cmp to lower
47 BUILT_IN_ISGREATER, BUILT_IN_ISGREATEREQUAL, BUILT_IN_ISLESS,
48 BUILT_IN_ISLESSEQUAL and BUILT_IN_ISLESSGREATER. Manually lower
49 BUILT_IN_ISUNORDERED comparisons to an UNORDERED_EXPR tree node.
50 (simplify_builtin_memcmp, simplify_builtin_strncmp,
51 simplify_builtin_strncat, simplify_builtin_strspn): Use the new
52 omit_two_operands function to build the required COMPOUND_EXPRs.
54 2004-06-12 Steven Bosscher <stevenb@suse.de>,
55 Andreas Jaeger <aj@suse.de>
57 * gcse.c (record_set_info): Use predicates like REG_P.
58 (mems_conflict_for_gcse_p): Likewise.
59 (load_killed_in_block_p): Likewise.
60 (hash_expr_1): Likewise.
61 (insert_set_in_table): Likewise.
62 (gcse_constant_p): Likewise.
63 (hash_scan_set): Likewise.
64 (hash_scan_insn): Likewise.
65 (canon_list_insert): Likewise.
66 (record_last_mem_set_info): Likewise.
67 (record_last_set_info): Likewise.
68 (compute_hash_table_work): Likewise.
70 (mark_clobber): Likewise.
71 (mark_oprs_set): Likewise.
72 (compute_transp): Likewise.
73 (find_avail_set): Likewise.
74 (cprop_insn): Likewise.
75 (do_local_cprop): Likewise.
77 (find_implicit_sets): Likewise.
78 (find_bypass_set): Likewise.
79 (bypass_conditional_jumps): Likewise.
80 (insert_insn_end_bb): Likewise.
81 (pre_insert_copy_insn): Likewise.
82 (compute_transpout): Likewise.
83 (next_ls_expr): Likewise.
84 (invalidate_any_buried_refs): Likewise.
85 (compute_ld_motion_mems): Likewise.
86 (reg_set_info): Likewise.
87 (reg_clear_last_set): Likewise.
88 (find_moveable_store): Likewise.
89 (compute_store_table): Likewise.
90 (find_loads): Likewise.
91 (store_killed_in_insn): Likewise.
92 (insert_insn_start_bb): Likewise.
93 (reg_set_between_after_reload_p): Likewise.
94 (reg_used_between_after_reload_p): Likewise.
95 (is_jump_table_basic_block): Likewise.
96 (gcse_after_reload): Likewise.
97 (hash_scan_set_after_reload): Likewise.
98 (compute_hash_table_after_reload): Likewise.
100 2004-06-12 Steven Bosscher <stevenb@suse.de>
102 * rtl.h (MEM_P, NONJUMP_INSN_P, CALL_INSN_P): New predicates.
103 (INSN_P): Don't look at the rtx code class, just explicitly
104 check for one of the tree RTX_INSN codes.
106 2004-06-11 Zack Weinberg <zack@codesourcery.com>
108 * c-typeck.c (default_function_array_conversion): Use
109 build_pointer_type not TYPE_POINTER_TO.
111 2004-06-11 Zack Weinberg <zack@codesourcery.com>
113 * configure.ac: Don't invoke ACX_HEADER_STDBOOL.
114 * configure, config.in: Regenerate.
115 * system.h: Unconditionally define bool as unsigned char,
116 BOOL_BITFIELD as unsigned int.
117 * domwalk.h: Use BOOL_BITFIELD.
119 2004-06-12 Andreas Jaeger <aj@suse.de>
121 * libgcc-std.ver: Add __unorddf2 and __unordsf2 with version 3.3.4.
122 * libgcc-darwin.ver: Likewise.
124 2004-06-12 Peter Jakubek <peter@laseranimation.com>
126 * reload.c (find_reloads): Force reload for pseudo registers on big
129 2004-06-11 Steven Bosscher <stevenb@suse.de>
131 * tree-ssa-dce.c (mark_control_dependent_edges_necessary):
132 Don't try to mark anything control dependent on the entry or
135 2004-06-11 Daniel Berlin <dberlin@dberlin.org>
139 * tree.h (SSA_NAME_VALUE): New macro.
140 (struct tree_ssa_name): Add value_handle member.
141 * tree-ssa-pre.c: Replaced.
142 * tree-flow.h (tree_ann_type): Add CST_ANN, EXPR_ANN.
143 (struct cst_ann_d): New.
144 (struct expr_ann_d): New.
145 (union tree_ann_d): Add cst_ann, expr_ann.
146 * tree-dfa.c (create_cst_ann): New function.
147 (create_expr_ann): Ditto.
148 * tree-flow-inline.h (cst_ann): New function.
150 (get_cst_ann): Ditto.
151 (get_expr_ann): Ditto..
153 2004-06-11 John David Anglin <dave.anglin@nrc-cnrc.gc.ca>
155 * pa.c (pa_hpux_init_libfunc): Add support for unord_optab.
156 * pa/quadlib.c (enum qfcmp_magic): Define magic values for call to
157 _U_Qfcmp library function.
158 (_U_Qfltgt, _U_Qfunle, _U_Qfunlt, _U_Qfunge, _U_Qfungt, _U_Qfuneq,
159 _U_Qfunord, _U_Qford): Add more TFmode builtin compare functions.
161 * pa.c (legitimize_pic_address): Use UNSPEC_DLTIND14R to identify
162 unspec used for loading address from DLT.
163 * pa.md: Define constants for the uses of UNSPEC and UNSPEC_VOLATILE.
164 Change all users of UNSPEC and UNSPEC_VOLATILE to use new constants.
165 Don't use short code sequence when loading the address of a nonlocal
167 (nonlocal_goto): New expander.
168 (indirect_goto): New jump pattern for nonlocal gotos.
169 (short_jump): Remove extra whitespace.
170 (builtin_longjmp): Clobber memory and hard frame pointer. Restore
171 frame pointer via virtual_stack_vars_rtx when we have a nonlocal goto
174 2004-06-11 Roger Sayle <roger@eyesopen.com>
176 * expmed.c (synth_mult): Add an additional MODE argument for the
177 machine mode of the multiplication. Update recursive calls. Use
178 mode instead of word_mode for determining operation costs.
179 (choose_mult_variant): Update calls to synth_mult with "mode".
181 2004-06-11 Richard Henderson <rth@redhat.com>
183 * tree-ssa-operands.c (get_stmt_operands): Clear makes_aliased_loads
184 and makes_aliased_stores.
186 2004-06-11 Andrew Pinski <pinskia@physics.uc.edu>
188 * doc/install.text (--enable-shared): Fix typo.
190 2004-06-11 Richard Henderson <rth@redhat.com>
192 * config/alpha/alpha.c (alpha_gimplify_va_arg_1): Remove post_p
193 argument. Use internal post for call to gimplify_expr. Tidy
194 rounded type size computation.
195 (alpha_gimplify_va_arg): Use get_formal_tmp_var and
196 get_initialized_tmp_var.
198 2004-06-11 Andrew Pinski <pinskia@physics.uc.edu>
200 * doc/install.texi (--enable-shared): Update libobjc's shared library
201 status. Remove reference to libf2c.
203 2004-06-11 Jason Merrill <jason@redhat.com>
205 * config/i386/i386.h (EXPAND_BUILTIN_VA_ARG): Just abort.
206 * config/i386/i386.c (ix86_va_arg): Remove.
207 * config/rs6000/rs6000.h (EXPAND_BUILTIN_VA_ARG): Just abort.
208 * config/rs6000/rs6000.c (rs6000_va_arg): Remove.
209 * config/alpha/alpha.h (EXPAND_BUILTIN_VA_ARG): Just abort.
210 * config/alpha/alpha.c (alpha_va_arg): Remove.
211 * config/sparc/sparc.h (EXPAND_BUILTIN_VA_ARG): Just abort.
212 * config/sparc/sparc.c (sparc_va_arg): Remove.
214 * tree-ssa-operands.c (get_stmt_operands): Use a V_MAY_DEF if the
215 assignment might throw.
216 * tree-eh.c (tree_could_throw_p): Support non-call exceptions in
219 2004-06-11 J"orn Rennecke <joern.rennecke@superh.com>
222 * sh.h (ALLOCATE_INITIAL_VALUE): Use return_address_pointer_rtx.
224 2004-06-11 Joseph S. Myers <jsm@polyomino.org.uk>
226 * doc/install.texi (Prerequisites): Update documentation of
227 required versions of autoconf and automake. Remove mention of
230 2004-06-11 Jason Merrill <jason@redhat.com>
232 * config/sparc/sparc.c (sparc_gimplify_va_arg): New fn.
233 (TARGET_GIMPLIFY_VA_ARG_EXPR): Define.
235 2004-06-11 Jerry Quinn <jlquinn@optonline.net>
237 * typeclass.h: Add GPL plus exception license. Add include
240 2004-06-10 Jason Merrill <jason@redhat.com>
242 * gimplify.c (gimplify_modify_expr): Don't force a temporary
243 of an aggregate_value_p type.
245 2004-06-10 Jeff Law <law@redhat.com>
247 * fold-const.c (fold_inf_compare): Avoid creating non-gimple
248 code when we are in gimple form.
250 2004-06-10 Diego Novillo <dnovillo@redhat.com>
252 * Makefile.in (tree-ssanames.o): Depend on TREE_FLOW_H.
253 * tree-flow.h (ssa_names, num_ssa_names, ssa_name): Declare.
254 (highest_ssa_version): Remove.
255 * tree-outof-ssa.c (new_temp_expr_table): Replace
256 highest_ssa_version with num_ssa_names.
257 (dump_replaceable_exprs): Likewise.
258 (rewrite_vars_out_of_ssa): Likewise.
259 * tree-ssa-ccp.c (initialize): Likewise
260 * tree-ssa-copyrename.c (rename_ssa_copies): Likewise.
261 * tree-ssa-dce.c (tree_dce_init): Likewise.
262 * tree-ssa-dom.c (tree_ssa_dominator_optimize): Likewise.
263 * tree-ssa-live.c (create_ssa_var_map): Likewise.
264 (dump_var_map): Likewise.
265 * tree-ssa.c (verify_ssa): Likewise.
266 (kill_redundant_phi_nodes): Likewise.
267 Do not build a local array of SSA_NAMEs. Use the ssa_names table.
268 * tree-ssanames.c: Include tree-flow.h
269 (ssa_names): New varray.
270 (init_ssa_names): Initialize ssa_names.
271 Reserve the first slot of the ssa_names table.
272 (make_ssa_name): Push the newly created SSA_NAME into ssa_names.
273 Assign version numbers using num_ssa_names.
275 2004-06-10 Joseph S. Myers <jsm@polyomino.org.uk>
277 * doc/sourcebuild.texi (Front End): Add details of more
278 installation documentation required.
280 2004-06-10 Brian Booth <bbooth@redhat.com>
282 * doc/tree-ssa.texi: Remove references to VDEF and add descriptions
283 of V_MAY_DEF and V_MUST_DEF.
284 * tree-dfa.c (dfa_stats_d): Add num_v_must_defs and rename
285 num_vdefs to num_v_may_defs.
286 (compute_immediate_uses_for_stmt): Rename occurences of vdef
288 (redirect_immediate_uses): Ditto.
289 (dump_dfa_stats): Ditto. Also added code to dump num_v_must_defs.
290 (collect_dfa_stats_r): Rename occurences of vdef to v_may_def.
291 Also add code to sum up the number of v_must_defs.
292 (vdefs_disappeared_p): Replace with...
293 (v_may_defs_disappeared_p): This.
294 (v_must_defs_disappeared_p): New function.
295 (mark_new_vars_to_rename): Rename occurences of vdef to v_may_def.
296 Also add code to mark new variables found in V_MUST_DEFs for
298 * tree-flow.h (stmt_ann_d): Add v_must_def_ops and replace
299 vdef_ops to v_may_def_ops.
300 (get_vdef_ops): Replace with...
301 (get_v_may_def_ops): This.
302 * tree-flow-inline.h (get_vdef_ops): Replace with...
303 (get_v_may_def_ops): This.
304 (get_v_must_def_ops): New function.
305 (get_vdef_result_ptr): Replace with...
306 (get_v_may_def_result_ptr): This.
307 (get_vdef_op_ptr): Ditto with...
308 (get_v_may_def_op_ptr); This.
309 (get_v_must_def_op_ptr): New function.
310 * tree-into-ssa.c (mark_def_sites): Rename occurences of vdef
311 to v_may_def. Also add code to mark statements with
312 V_MUST_DEFs as definition sites.
313 (rewrite_stmt): Rename occurences of vdef to v_may_def. Also
314 add code to register new V_MUST_DEFs made by the statement.
315 * tree-outof-ssa.c (VIRTUAL_PARTITION): Update comments.
316 (check_replaceable): Rename occurences of vdef to v_may_def. Also
317 add check for V_MUST_DEFs.
318 (find_replaceable_in_bb): Ditto.
319 * tree-pretty-print.c (dump_vops): Rename occurences of vdef
320 to v_may_def. Also add code to dump V_MUST_DEFs.
321 * tree-sra.c (mark_all_vdefs): Replace with...
322 (mark_all_v_may_defs): This.
323 (mark_all_v_must_defs): New function.
324 (create_scalar_copies): Replace call to mark_all_vdefs with
325 calls to mark_all_v_may_defs and mark_all_v_must_defs.
326 (scalarize_structures): Rename occurences of vdef to v_may_def.
327 Also add a check for V_MUST_DEFs.
328 (scalarize_modify_expr): Rename occurences of vdef to v_may_def.
329 * tree-ssa-alias.c (global_var): Update comment.
330 (compute_may_aliases): Ditto.
331 (compute_points_to_and_addr_escape): Rename occurences of vdef
332 to v_may_def. Also add code to mark variables in V_MUST_DEF
333 operands as being written to.
334 (group_aliases): Update comment.
335 (maybe_create_global_var): Ditto.
336 * tree-ssa.c (verify_ssa): Rename occurences of vdef to v_may_def.
337 Also add a check for V_MUST_DEFs on GIMPLE registers.
338 (replace_immediate_uses): Rename occurences of vdef to v_may_def.
339 * tree-ssa-ccp.c (visit_stmt): Rename occurences of vdef
340 to v_may_def. Also add code to mark all V_MUST_DEF operands
343 (set_rhs): Rename occurences of vdef to v_may_def. Also add
344 code to update SSA_NAMEs in V_MUST_DEFs.
345 * tree-ssa-copy.c (cprop_into_stmt): Rename occurences of vdef
347 * tree-ssa-dce.c (mark_stmt_if_obviously_necessary): Rename
348 occurences of vdef to v_may_def. Also add code to mark statements
349 with V_MUST_DEFs as necessary.
350 (propagate_necessity): Rename occurences of vdef to v_may_def.
351 * tree-ssa-dom.c (redirect_edges_and_update_ssa_graph): Rename
352 occurences of vdef to v_may_def. Also add code to mark operands
353 in V_MUST_DEFs for renaming.
354 (eliminate_redundant_computations): Rename occurences of vdef
356 (record_equivalences_from_stmt): Rename occurences of vdef
357 to v_may_def. Also add code to record VUSEs for V_MUST_DEFs.
358 (optimize_stmt): Remove unnesessary variable vdefs. Update
360 (register_definitions_for_stmt): Rename occurences of vdef
361 to v_may_def. Also add code to register definitions made with
363 * tree-ssa-dse.c (fix_stmt_vdefs): Replace with...
364 (fix_stmt_v_may_defs): This.
365 (fix_phi_uses): Rename occurences of vdef to v_may_def.
366 (dse_optimize_stmt): Ditto.
367 * tree-ssa-live.c (create_ssa_var_map): Rename occurences of vdef
368 to v_may_def. Also add code to mark V_MUST_DEF operands as being
369 used in virtual operators.
370 * tree-ssa-loop.c (mark_defs_for_rewrite): Rename occurences of
371 vdef to v_may_def. Also add code to mark V_MUST_DEF operands for
373 * tree-ssa-operands.c (opf_kill_def): New flag for killing
375 (build_vdefs): Renamed to...
376 (build_v_may_defs): This.
377 (build_v_must_defs): New variable.
378 (voperands_d): Add v_must_def_ops and replace vdef_ops with
380 (append_vdef): Replace with...
381 (append_v_may_def): This.
382 (append_v_must_def): New function.
383 (NUM_FREE): Increment for V_MUST_DEF
384 (optype_freelist): Increment its size for V_MUST_DEF
385 (allocate_vdef_optype): Replace with...
386 (allocate_v_may_def_optype): This.
387 (allocate_v_must_def_optype): New function.
388 (free_vdefs): Replace with...
389 (free_v_may_defs): This.
390 (free_v_must_defs): New function.
391 (remove_vdefs): Replace with...
392 (remove_v_may_defs): This.
393 (remove_v_must_defs): New function.
394 (init_ssa_operands): Rename occurences of vdef to v_may_def. Also
395 add code to initialize build_v_must_defs.
396 (finalize_ssa_vdefs): Replace with...
397 (finalize_ssa_v_may_defs): This.
398 (finalize_ssa_vuses): Rename occurences of vdef to v_may_def.
399 (finalize_ssa_v_must_defs): New function.
400 (finalize_ssa_stmt_operands): Replace call to finalize_ssa_vdefs
401 with calls to finalize_ssa_v_may_defs and finalize_ssa_v_must_defs.
402 (verify_start_operands): Rename occurences of vdef to v_may_def.
403 Also add check for build_v_must_defs.
404 (get_stmt_operands): Rename occurences of vdef to v_may_def.
405 Also add code to handle V_MUST_DEFs and to use opf_kill_def for
407 (get_expr_operands): Update comment and use opf_kill_def for
409 (add_stmt_operand): Replace code that appends VDEFs with code
410 that appends V_MUST_DEFs when opf_kill_def is set and V_MAY_DEFs
412 (add_call_clobber_ops): Update comments.
413 * tree-ssa-operands.h (vdef_optype_d): Replace with...
414 (v_may_def_optype_d): This.
415 (v_must_def_optype_d): New structure.
416 (VDEF_OPS): Replace with...
417 (V_MAY_DEF_OPS): This.
418 (STMT_VDEF_OPS): Same with...
419 (STMT_V_MAY_DEF_OPS): This.
421 (NUM_V_MAY_DEFS): This.
422 (VDEF_RESULT_PTR): As well as...
423 (V_MAY_DEF_RESULT_PTR): This.
424 (VDEF_RESULT): Same goes for...
425 (V_MAY_DEF_RESULT): This.
426 (VDEF_OP_PTR): And...
427 (V_MAY_DEF_OP_PTR): This.
429 (V_MAY_DEF_OP): This.
430 (V_MUST_DEF_OPS): New macro.
431 (STMT_V_MUST_DEF_OPS): Ditto.
432 (NUM_V_MUST_DEFS): Ditto.
433 (V_MUST_DEF_OP_PTR): Ditto.
434 (V_MUST_DEF_OP): Ditto.
435 (remove_vdefs): Replace signature with...
436 (remove_v_may_defs): This.
437 (remove_v_must_defs): New function signature.
438 * tree-ssa-pre.c (subst_phis): Replace call to remove_vdefs
439 with calls to remove_v_may_defs and remove_v_must_defs.
440 (process_left_occs_and_kills): Rename occurences of vdef to v_may_def.
441 Also add code that marks left occurences of operands in V_MUST_DEFs.
442 * tree-tailcall.c (find_tail_calls): Rename occurences of vdef
443 to v_may_def. Also add check for V_MUST_DEFs.
444 (eliminate_tail_call):Rename occurences of vdef to v_may_def.
446 2004-06-10 Vladimir Makarov <vmakarov@redhat.com>
449 * haifa-sched.c (schedule_block): Finish cycle after issuing asm
452 2004-06-10 Volker Reichelt <reichelt@igpm.rwth-aachen.de>
455 * doc/install.texi: Remove superfluous linebreak.
457 2004-06-10 Roger Sayle <roger@eyesopen.com>
459 * builtins.c (expand_builtin): Fall back to library function call for
460 conj, conjf, conjl, creal, crealf, creall, cimag, cimagf and cimagl.
461 (fold_builtin_1): Lower built-ins BUILT_IN_CONJ{,F,L} to CONJ_EXPR,
462 BUILT_IN_CREAL{,F,L} to REALPART_EXPR, and BUILT_IN_CIMAG{,F,L} to
463 IMAGPART_EXPR respectively.
465 2004-06-10 J"orn Rennecke <joern.rennecke@superh.com>
467 * sh.c (dump_table): New argument start. Changed caller.
468 (fixup_mova): New function.
469 (find_barrier): Use it.
470 (sh_reorg): Likewise. Check for CODE_FOR_casesi_worker_2.
471 If the label a mova refers to is above the mova itself, change
472 the mova into a load.
473 * sh.md (*casesi_worker): Rename to:
475 (casesi_worker_2): New insn.
477 2004-06-10 Jason Merrill <jason@redhat.com>
479 * target.h (struct gcc_target): Change gimplify_va_arg_expr
481 * tree-gimple.h: Adjust.
482 * config/alpha/alpha.c (alpha_gimplify_va_arg): Adjust.
483 * config/i386/i386.c (ix86_gimplify_va_arg): Adjust.
485 * config/ia64/ia64.c (ia64_gimplify_va_arg): Adjust.
486 * config/rs6000/rs6000.c (rs6000_gimplify_va_arg): Adjust.
487 Use COMPLEX_EXPR for complex numbers. Use fold_convert.
488 * builtins.c (std_gimplify_va_arg_expr): Adjust. Use fold_convert.
489 (gimplify_va_arg_expr): Return GS_ERROR in error case.
490 Gimplify valist rather than calling stabilize_va_list.
492 2004-06-10 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
494 * Makefile.in (df.o): Remove fibheap dependency.
495 * df.h: Do not include sbitmap.h.
496 (struct ref): New field "data".
497 (DF_REF_DATA): New accessor macro.
498 (struct df): Field "dom" removed.
499 (df_analyze_subcfg): New function.
500 (transfer_function_sbitmap, transfer_function_bitmap): Replaced by ...
501 (transfer_function): ... new type.
502 (iterative_dataflow_sbitmap, iterative_dataflow_bitmap): Replaced by ...
503 (iterative_dataflow): ... new function.
504 (enum set_representation, struct dataflow): New.
505 * df.c: Do not include fibheap.h.
507 (df_reg_def_chain_clean, df_reg_use_chain_clean,
508 (df_bb_table_realloc, df_analyse_subcfg, free_reg_ref_chain,
509 prune_to_subcfg, df_bb_modify): New functions.
510 (df_bitmaps_alloc, df_reg_def_chain_create, df_reg_use_chain_create,
511 df_refs_update, df_reg_table_realloc, df_ref_create,
512 df_bb_reg_def_chain_create, df_bb_reg_use_chain_create,
513 df_bb_rd_local_compute, df_bb_ru_local_compute, df_bb_lr_local_compute,
514 df_analyse_1, df_insn_modify): Support analysing only a part of the cfg.
516 (dataflow_set_a_op_b, dataflow_set_copy): New functions.
517 (df_rd_transfer_function, df_ru_transfer_function,
518 df_lr_transfer_function): Type of bitmaps changed to void *.
519 (hybrid_search_bitmap, hybrid_search_sbitmap): Merge into ...
520 (hybrid_search): ... new function.
521 (iterative_dataflow_bitmap, iterative_dataflow_sbitmap): Merge into ...
522 (iterative_dataflow): ... new function. Avoid use of fibheaps for
523 a worklist. Do not process basic blocks unnecessarily.
525 2004-06-10 Roger Sayle <roger@eyesopen.com>
527 * fold-const.c (fold_abs_const): Make extern.
528 * tree.h (fold_abs_const): Prototype here.
529 * builtins.c (fold_builtin_fabs): New function to transform
530 fabs, fabsf and fabsl builtins into ABS_EXPR tree nodes.
531 (fold_builtin_abs): New function to transform abs, labs, llabs
532 and imaxabs builtins into ABS_EXPR tree nodes.
533 (expand_builtin): Fall back to a function call for abs, labs,
534 llabs and imaxabs builtins that survive constant folding.
535 (fold_builtin_1): Call fold_builtin_fabs for FABS, FABSF and
536 FABSL, and fold_builtin_abs for ABS, LABS, LLABS and IMAXABS.
538 2004-06-10 Jakub Jelinek <jakub@redhat.com>
540 * config/ia64/unwind-ia64.c (uw_frame_state_for): Don't assume a
541 leaf function without unwind info at RP 0.
543 2004-06-10 Jakub Jelinek <jakub@redhat.com>
546 * tree.h (enum tree_index): Add TI_FILEPTR_TYPE.
547 (fileptr_type_node): Define.
548 * tree.c (build_common_tree_nodes_2): Initialize
549 fileptr_type_node to ptr_type_node.
550 * c-common.c (c_common_nodes_and_builtins): For C++, make
551 fileptr_type_node a distinct type copy.
552 * builtin-types.def (BT_FILEPTR, BT_FN_INT_CONST_STRING_FILEPTR,
553 BT_FN_INT_INT_FILEPTR, BT_FN_INT_FILEPTR_CONST_STRING_VALIST_ARG,
554 BT_FN_SIZE_CONST_PTR_SIZE_SIZE_FILEPTR,
555 BT_FN_INT_FILEPTR_CONST_STRING_VAR): Add.
556 (BT_FN_INT_CONST_STRING_PTR, BT_FN_INT_INT_PTR,
557 BT_FN_SIZE_CONST_PTR_SIZE_SIZE_PTR, BT_FN_INT_PTR_CONST_STRING_VAR,
558 BT_FN_INT_PTR_CONST_STRING_VALIST_ARG): Remove.
559 * builtins.def (BUILT_IN_FPRINTF, BUILT_IN_FPRINTF_UNLOCKED,
560 BUILT_IN_FPUTC, BUILT_IN_FPUTC_UNLOCKED, BUILT_IN_FPUTS,
561 BUILT_IN_FPUTS_UNLOCKED, BUILT_IN_FSCANF, BUILT_IN_FWRITE,
562 BUILT_IN_FWRITE_UNLOCKED, BUILT_IN_VFPRINTF, BUILT_IN_VFSCANF): Use
563 the above *FILEPTR* types instead of *PTR*.
565 2004-06-09 Daniel Berlin <dberlin@dberlin.org>
567 * tree-ssa.c (verify_ssa): Verify that vdefs/makes_aliased_stores
570 2004-06-09 Roger Sayle <roger@eyesopen.com>
572 * fold-const.c (fold_not_const): New function.
573 (fold) <ABS_EXPR>: Don't bother testing wins.
574 (fold) <BIT_NOT_EXPR>: Call fold_not_const.
575 (nondestructive_fold_unary_to_constant) <BIT_NOT_EXPR>: Likewise.
577 2004-06-09 Richard Henderson <rth@redhat.com>
580 * function.c (assign_parms): Always set_mem_align with the computed
581 FUNCTION_ARG_BOUNDARY. Don't clear stack_parm if !STRICT_ALIGNMENT.
583 2004-06-09 Richard Henderson <rth@redhat.com>
586 * tree-tailcall.c (find_tail_calls): Don't check early for
587 tail_recursion failure.
589 2004-06-09 Diego Novillo <dnovillo@redhat.com>
591 Move SSA_NAME annotations into tree_ssa_name.
593 * tree-dfa.c (create_ssa_name_ann): Remove.
594 * tree-flow-inline.h (ssa_name_ann, get_ssa_name_ann): Remove.
595 * tree-flow.h (enum tree_ann_type): Remove SSA_NAME_ANN.
596 (struct ssa_name_ann_d): Remove.
597 (union tree_ann_d): Update.
598 (ssa_name_ann_t): Remove.
599 * tree-ssa-alias.c: (get_ptr_info): New local function.
600 Replace references to ssa_name_ann_t with struct ptr_info_def.
601 * tree-ssa-operands.c (get_expr_operands): Likewise.
602 * tree.h (SSA_NAME_PTR_INFO): Define.
603 (struct ptr_info_def): Declare.
604 (struct tree_ssa_name): Add field 'ptr_info'.
606 2004-06-09 Danny Smith <dannysmith@users.sourceforge.net>
608 * config/i386/winnt.c (i386_pe_output_labelref): Correct
611 2004-06-09 Steven Bosscher <stevenb@suse.de>
613 * config/i386/k6.md: Rewrite using the DFA model.
614 * config/i386/i386.c (ix86_adjust_cost): Don't increase the
615 cost of load-operation insns for the K6.
616 (ia32_use_dfa_pipeline_interface): Add TARGET_K6.
617 (ia32_multipass_dfa_lookahead): Likewise.
619 2004-06-09 Richard Henderson <rth@redhat.com>
621 * config/alpha/alpha.c (alpha_gimplify_va_arg_1,
622 alpha_gimplify_va_arg, TARGET_GIMPLIFY_VA_ARG_EXPR): New.
624 2004-06-09 Richard Henderson <rth@redhat.com>
626 * expmed.c (emit_store_flag): Cope with FLOAT_STORE_FLAG_VALUE.
628 2004-06-09 Geoffrey Keating <geoffk@apple.com>
630 * Makefile.in (CPPLIB_H): Put files in order of inclusion.
631 (CPP_ID_DATA_H): New.
632 (gtype-desc.o): Update dependencies.
633 (GTFILES): Use CPP_ID_DATA_H.
635 2004-06-09 Mark Mitchell <mark@codesourcery.com>
639 2004-06-07 Mark Mitchell <mark@codesourcery.com>
640 * doc/extend.texi: Deprecate #pragma interface and #pragma
643 2004-06-09 David S. Miller <davem@nuts.davemloft.net>
645 * config/sparc/sparc.h (MOVE_RATIO): New definition.
647 2004-06-09 Richard Henderson <rth@redhat.com>
649 * basic-block.h (struct edge_def): Add goto_locus.
650 * tree-cfg.c (make_goto_expr_edges): Set it.
651 (disband_implicit_edges): Use it.
652 * tree-pretty-print.c (dump_implicit_edges): Print it.
654 2004-06-08 Anil Paranjpe <anilp1@kpitcummins.com>
656 * h8300.md (ldm_h8300s_4): Fix condition for expander.
658 2004-06-08 Jason Merrill <jason@redhat.com>
660 Gimplify VA_ARG_EXPR into simpler forms.
661 * target.h: Add gimplify_va_arg_expr hook.
662 * target-def.h: Add TARGET_GIMPLIFY_VA_ARG_EXPR.
663 * fold-const.c (build_fold_addr_expr)
664 (build_fold_addr_expr_with_type): Move from gimplify.c.
665 * tree.h: Declare them.
666 * gimplify.c (gimplify_and_add): New fn.
667 (build_addr_expr, build_addr_expr_with_type): Move to fold-const.c.
668 (gimplify_array_ref_to_plus, gimplify_modify_expr)
669 (gimplify_expr): Use build_fold_*.
670 (copy_if_shared_r): Only mark VA_ARG_EXPR volatile if we
671 don't know how to gimplify it.
672 * builtins.c (std_gimplify_va_arg_expr): New fn.
673 (dummy_object): New static fn.
674 (gimplify_va_arg_expr): New fn.
675 (stabilize_va_list): Use build_fold_*.
676 * tree-gimple.h: Declare new fns.
677 * config/i386/i386.c (TARGET_GIMPLIFY_VA_ARG_EXPR): Define.
678 (ix86_gimplify_va_arg): New fn.
679 * config/ia64/ia64.c (TARGET_GIMPLIFY_VA_ARG_EXPR): Define.
680 (ia64_gimplify_va_arg): New fn.
681 * config/rs6000/rs6000.c (rs6000_gimplify_va_arg): New fn.
682 (TARGET_GIMPLIFY_VA_ARG_EXPR): Define.
683 * alias.c (get_varargs_alias_set): Just return 0 for now.
685 * c-objc-common.c (c_tree_printer): Improve handling of %T.
687 2004-06-09 Andrew Pinski <pinskia@physics.uc.edu>
689 * tree-complex.c (expand_complex_comparison): Use fold_convert instead
691 * tree-inline.c (setup_one_parameter): Likewise.
692 * tree-sra.c (csc_build_component_ref): Likewise.
693 * tree-ssa-ccp.c (ccp_fold): Likewise.
694 * tree-ssa-copy.c (cprop_operand): Likewise.
695 * tree-ssa-dom.c (simplify_rhs_and_lookup_avail_expr): Likewise.
696 * tree-tailcall.c (tree_optimize_tail_calls_1): Likewise.
698 2004-06-09 J"orn Rennecke <joern.rennecke@superh.com>
700 PR rtl-optimization/15521:
701 * sched-int.h (in_post_call_group_p): Change type to enum.
702 * sched-deps.c (sched_analyze_insn):
703 (sched_analyze): When in_post_call_group_p is post_call_initial,
704 don't add a dependency, but still set SCHED_GROUP_P and CANT_MOVE,
705 and also reset in_post_call_group_p to post_call.
706 (sched_analyze): When the previous basic block ended in a CALL_INSN,
707 initialize in_post_call_group_p as post_call_initial.
708 (init_deps): initialize in_post_call_group_p to not_post_call.
710 2004-06-09 Arnaud Charlet <charlet@act-europe.fr>
713 * doc/install.texi: List ada, libada as options to --enable-shared
715 2004-06-09 Paolo Bonzini <bonzini@gnu.org>
717 * aclocal.m4 (gcc_AC_PROG_LN): Remove.
718 (gcc_AC_CHECK_DECLS): Use AH_TEMPLATE to generate
720 * configure.ac: Call ACX_PROG_LN, falling back to $LN_S
721 if hard links are not available.
722 * configure: Regenerate.
723 * config.in: Regenerate.
725 2004-06-08 Per Bothner <per@bothner.com>
727 * configure.ac: New --enable-mapped-location sets USE_MAPPED_LOCATION.
729 2004-06-08 Richard Kenner <kenner@vlsi1.ultra.nyu.edu>
731 * toplev.c (floor_log2_wide): Correct casts for 64-bit hosts.
734 2004-06-08 James E Wilson <wilson@specifixinc.com>
737 * config/i386/i386-coff.h (ASM_OUTPUT_ALIGN): Define.
739 2004-06-08 Andrew Pinski <pinskia@physics.uc.edu>
741 * fold-const.c (fold_convert): Treat OFFSET_TYPE like
742 POINTER_TYPE and INTEGER_TYPE.
744 2004-06-08 Bernardo Innocenti <bernie@develer.com>
746 * modulo-sched.c: Compile only when INSN_SCHEDULING is
749 2004-06-08 Jeff Law <law@redhat.com>
751 * doc/contrib.texi: Add entries for Stefan Olsson and
754 2004-06-08 DJ Delorie <dj@redhat.com>
756 * toplev.c (floor_log2_wide): Replace loop with faster bit
758 (exact_log2_wide): Define in terms of the above.
759 * toplev.h (floor_log2): Use _builtin_clz family of builtins if
762 2004-06-08 Andrew Pinski <pinskia@physics.uc.edu>
764 * config/rs6000/rs6000.c (print_operand, <case 'z'>):
765 Make sure that we are in INDIRECT mode when getting the
768 2004-06-08 Anil Paranjpe <anilp1@kpitcummins.com>
770 * h8300.md (extendqisi2_h8300): Add constraints.
771 (ldm_h8300s_4_normal): Fix typo.
773 2004-06-08 Richard Henderson <rth@redhat.com>
775 * gimple-low.c (struct lower_data): Replace the_return_label and
776 one_return_stmt with return_statements.
777 (lower_function_body): Process the entire list of return_statements.
778 (lower_return_expr): Check source value before unifying return_exprs.
779 * gimplify.c (gimplify_return_expr): Force the use of a temporary
780 for !aggregate_value_p.
781 * tree-gimple.c: Update RETURN_EXPR grammer.
783 2004-06-08 Vladimir Makarov <vmakarov@redhat.com>
786 * config/ia64/ia64.c (bundling): Add missed TYPE_A.
788 2004-06-08 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
790 PR rtl-optimization/15717
791 * config/i386/i386.c (legitimate_constant_p): Do not allow
794 2004-06-08 Alexandre Oliva <aoliva@redhat.com>
796 * gimplify.c (copy_if_shared_r): Revert:
797 2004-05-21 Richard Henderson <rth@redhat.com>
798 * gimplify.c [...] Don't mark VA_ARG_EXPRs volatile here.
800 2004-06-07 Roger Sayle <roger@eyesopen.com>
802 * expmed.c (add_cost, neg_cost, sdiv_pow2_cheap, smod_pow2_cheap):
803 Make arrays indexed by machine mode. Rename negate_cost to neg_cost.
804 (init_expmed): Initialize these cost arrays as appropriate.
805 (store_bit_field, extract_bit_field): Correct whitespace.
806 (synth_mult, choose_mult_variant, expand_mult, expand_mult_highpart,
807 expand_mult_highpart_optab, expand_divmod): Update uses of add_cost,
808 neg_cost, sdiv_pow2_cheap, smod_pow2_cheap to index with mode,
809 word_mode or compute_mode as appropriate.
811 2004-06-07 Eric Botcazou <ebotcazou@libertysurf.fr>
814 * config/sparc/sparc.c (function_arg_union_value): Add 'mode'
815 parameter. Enumerate the registers inside the PARALLEL.
816 (function_arg): Adjust call to function_arg_union_value.
817 (function_value): Likewise.
819 * config/sparc/sparc.c (sparc_function_epilogue): Properly format.
821 2004-06-07 Roger Sayle <roger@eyesopen.com>
823 * real.c (real_copysign): New function to implement libm's copysign.
824 * real.h (real_copysign): Prototype here.
825 * fold-const.c (tree_expr_nonnegative_p): The result of sqrt, sqrtf
826 and sqrtl can be negative, as sqrt(-0.0) = -0.0. Correct whitespace.
827 * builtins.c (fold_builtin_isascii, fold_builtin_toascii,
828 fold_builtin_isdigit): Add function prototypes.
829 (fold_builtin_copysign): New function to fold copysign, copysignf
830 and copysignl. Optimize copysign(x,x) as x. Evaluate copysign of
831 constant arguments at compile-time using real_copysign. Fold
832 copysign(X,Y) as fabs(X) if Y is always non-negative.
833 (fold_builtin_1): Correct minor whitespace/style issues. Call
834 fold_builtin_copysign for BUILT_IN_COPYSIGN{,F,L}.
836 2004-06-07 J"orn Rennecke <joern.rennecke@superh.com>
838 * tree.c (iterative_hash_expr): Use real_hash.
840 2004-06-07 Joseph S. Myers <jsm@polyomino.org.uk>
843 * c-parse.in (compstmt_primary_start): Set last_expr_type to
846 2004-06-07 Mark Mitchell <mark@codesourcery.com>
849 * doc/extend.texi: Deprecate #pragma interface and #pragma
852 2004-06-07 Alexandre Oliva <aoliva@redhat.com>
855 * c-decl.c (finish_decl): Use change_decl_assembler_name for the
856 builtin decl as well.
858 2004-06-07 Roger Sayle <roger@eyesopen.com>
861 * c-typeck.c (require_constant_value, require_constant_elements):
862 Move declarations to the top of the file.
863 (build_function_call): If we require a constant value, fold with
864 fold_initializer. If the result is a constant, and the function
865 wasn't called using __builtin_foo, issue a pedantic warning.
866 (build_unary_op): If we require a constant value, fold tree with
868 (build_binary_op): Use require_constant_value to determine whether
869 to call fold or fold_initializer.
871 2004-06-07 Richard Henderson <rth@redhat.com>
873 * gimple-low.c (struct lower_data): Add the_return_label and
875 (lower_function_body): Initialize and use them.
876 (lower_return_expr): New.
877 (lower_stmt): Call it.
878 * gimplify.c (gimplify_return_expr): Force the argument to be either
879 null or a result_decl.
880 * tree-gimple.c: Update gimple grammer to match.
881 * tree-ssa-copyrename.c (copy_rename_partition_coalesce): Deny
882 coalescing of result_decls.
884 2004-06-07 Richard Henderson <rth@redhat.com>
887 * expmed.c (extract_bit_field): Fix vector_extract return.
889 * config/i386/i386.md (negv4sf2): New pattern.
891 2004-06-07 Mark Mitchell <mark@codesourcery.com>
894 * c-common.c (c_sizeof_or_alignof_type): Use more detailed error
897 2004-06-06 Paolo Bonzini <bonzini@gnu.org>
899 * config.in: Regenerate.
901 2004-06-06 Steven Bosscher <stevenb@suse.de>
903 * tree-cfg.c (tree_verify_flow_info): Make sure that labels in
904 SWITCH_LABELS are always sorted.
906 2004-06-06 Steven Bosscher <stevenb@suse.de>
908 * hooks.c (hook_int_void_1): New generic hook.
909 * hooks.h (hook_int_void_1): Add prototype.
910 * config/c4x/c4x.c (TARGET_SCHED_USE_DFA_PIPELINE_INTERFACE):
911 Define to hook_int_void_1.
912 * config/c4x/c4x.md: Replace dummies for the old pipeline model
913 with dummies for the new one.
915 2004-06-06 Roger Sayle <roger@eyesopen.com>
917 * tree.h (lvalue_or_else): Delete function prototype.
918 * c-typeck.c (lvalue_or_else): Make static. Add static prototype.
920 2004-06-06 Stephane Carrez <stcarrez@nerim.fr>
923 * config/m68hc11/m68hc11.md (move peephole2): Emit a use note to avoid
924 a live change of a register after peephole replacement.
926 2004-06-06 Joseph S. Myers <jsm@polyomino.org.uk>
929 * c-typeck.c (composite_type, common_pointer_type): New functions.
930 (common_type): Split parts into composite_type and
931 common_pointer_type. Ensure that arithmetic operations return
932 unqualified types without attributes. Don't make composite type
933 of signed enum and compatible integer be unsigned.
934 (build_conditional_expr, build_binary_op): Use
936 * c-decl.c (merge_decls): Use composite_type.
937 * c-tree.h (composite_type): Declare.
939 2004-06-06 Stephane Carrez <stcarrez@nerim.fr>
942 * config/m68hc11/m68hc11.c (splitable_operand): New predicate.
943 * config/m68hc11/m68hc11-protos.h (splitable_operand): Declare.
944 * config/m68hc11/m68hc11.h (PREDICATE_CODES): Register it.
945 (inhibit_libc): Must define.
946 * config/m68hc11/m68hc11.md ("movhi_const0"): Use splitable_operand.
947 ("*andhi3_gen", "iorhi3", "*iorhi3_gen"): Likewise.
948 ("xorhi3"): Likewise.
950 2004-06-06 Eric Botcazou <ebotcazou@libertysurf.fr>
952 * cgraphunit.c (cgraph_decide_inlining): Adjust dump lines in
955 2004-06-05 David S. Miller <davem@nuts.davemloft.net>
957 * config/sparc/linux.h (TARGET_C99_FUNCTIONS): Set.
958 * config/sparc/linux64.h (TARGET_C99_FUNCTIONS): Likewise.
960 2004-06-05 Bernardo Innocenti <bernie@develer.com>
962 * regclass.c (init_reg_sets): Check for missing registers in target
963 initializer macros FIXED_REGISTERS and CALL_USED_REGISTERS.
965 2004-06-05 Zack Weinberg <zack@codesourcery.com>
967 * Makefile.in (MKDEPS_H): New shorthand.
968 (c-opts.o): Update dependencies.
969 * c-opts.c: Include mkdeps.h.
970 (handle_deferred_opts): Use cpp_get_deps and deps_add_target,
971 not cpp_add_dependency_target.
973 2004-06-05 Steven Bosscher <stevenb@suse.de>
975 * config/v850/v850.c (v850_use_dfa_pipeline_interface): New.
976 * config/v850/v850.md: Convert to DFA scheduler description.
978 2004-06-05 Tobias Schlueter <tobias.schlueter@physik.uni-muenchen.de>
981 * doc/install.texi: Document GMP as prerequisite. Document
982 --with-gmp and --with-gmp-dir configure options.
983 * fortran/gfortran.texi: Remove section "Compiling and testing",
984 remove TOC reference to it.
986 2004-06-05 Graham Stott <graham.stott@btinternet.com>
988 * combine.c(simplify_shift_const): Check shift amount is a
991 2004-06-05 Danny Smith <dannysmith@users.sourceforge.net>
993 * toplev.c (init_asm_output): Add explicit 'b' to mode when
994 opening asm_out_file.
995 * c-pch.c (c_common_write_pch): Remove unnecessary fflush before
996 reading asm_out_file. Replace fflush after reading asm_out_file
998 * hosthooks-def.h (HOST_HOOKS_GT_PCH_ALLOC_GRANULARITY): Define
999 default and add to HOST_HOOKS_INITIALIZER.
1000 * hosthooks.h (gt_pch_alloc_granularity): Declare hook function.
1001 * ggc-common.c (default_gt_pch_alloc_granularity): New function.
1002 (gt_pch_save): Use host_hooks.gt_pch_alloc_granularity
1003 to set mmi.offset padding.
1004 * config.gcc (i[34567]86-*-mingw32*): Set target_gtfiles to
1005 $(srcdir)/config/i386/winnt.c.
1006 (i[34567]86-*-pe | i[34567]86-*-cygwin*): Likewise.
1007 (i[34567]86-*-uwin*): Likewise.
1008 *i[34567]86-*-interix3*): Likewise.
1009 * config.host (i[34567]86-*-mingw32*): Set out_host_hook_obj.
1010 * config/i386/host-mingw32.c: New file.
1011 * config/i386/x-mingw32: Add rule for host-mingw32.o.
1012 * config/i386/winnt.c: (struct extern_list) Tag as GTY.
1013 (extern_head): Likewise.
1014 (struct export_list) Likewise.
1015 (export_head): Likewise.
1016 (i386_pe_record_external_function): Use ggc_alloc.
1017 (i386_pe_record_exported_symbol): Likewise.
1018 Include "gt-winnt.h" at end.
1019 * doc/hostconfig.texi: Document
1020 HOST_HOOKS_GT_PCH_ALLOC_GRANULARITY.
1022 2004-06-04 Bernardo Innocenti <bernie@develer.com>
1024 * config/m68k/m68k.h: Remove comments copied over from tm.texi.
1025 Rename 68000 and 68k to m68k for consistency in comments. Remove
1026 trailing whitespace before EOLs and before TABs.
1027 (MAX_CODE_ALIGN): Remove unused macro.
1028 (CALL_USED_REGISTERS): Reformat and add comments.
1030 2004-06-04 Frank Ch. Eigler <fche@redhat.com>
1032 * gcc.c (MFLIB_SPEC): Remove library references, to require users
1033 to enumerate -lmudflap* and dependencies when linking.
1035 2004-06-04 Paolo Bonzini <bonzini@gnu.org>
1038 * dojump.c (do_jump): Fix uninitialized variable tcode1.
1040 2004-06-04 Jerry Quinn <jlquinn@optonline.net>
1042 * Makefile.in (insn-conditions.o): Back out removal of reload.h.
1043 * genconditions.c (write_header): Back out removal of reload.h.
1045 2004-06-04 Jan Hubicka <jh@suse.cz>
1047 Re-apply hopefully fixed patch:
1048 * i386.md (UNSPECV_EH_RETURN): Kill.
1049 (eh_return): Use jump_insn.
1050 (eh_return_si, eh_return_di): Change pattern to jump instruction.
1052 2004-06-04 Jeff Law <law@redhat.com>
1054 * cfgrtl.c (try_redirect_by_replacing_jump): Fix return value.
1056 2004-06-04 Steven Bosscher <stevenb@suse.de>
1058 * except.c (for_each_eh_region): New function.
1059 * except.h (for_each_eh_region): Add a prototype for it.
1060 * tree-cfg.c (update_eh_labels): New function, callback for
1062 (label_for_bb): Make global static, unfortunately.
1063 (cleanup_dead_labels): Also update label references for
1066 2004-06-03 Chris Demetriou <cgd@broadcom.com>
1068 * config/mips/mips.c (struct irix_section_align_entry): Fix
1071 2004-06-03 Geoffrey Keating <geoffk@apple.com>
1073 * toplev.c (check_global_declarations): Don't ask for
1074 DECL_ASSEMBLER_NAME unless the function really is declared
1075 static and not defined.
1077 2004-06-03 Matt Austern <austern@apple.com>
1080 * default.h (TARGET_WEAK_NOT_IN_ARCHIVE_TOC): New name
1081 for TARGET_EXPLICIT_INSTANTIATIONS_ONE_ONLY, with reversed sense.
1082 * config/darwin.h (TARGET_WEAK_NOT_IN_ARCHIVE_TOC): Likewise.
1083 * doc/tm.texi (TARGET_WEAK_NOT_IN_ARCHIVE_TOC): Rewrite
1084 documentation to reflect the new macro name and to clarify its
1087 2004-06-03 Steven Bosscher <stevenb@suse.de>
1089 * rtl.def (VAR_LOCATION): Make RTX_EXTRA.
1091 2004-06-03 Andrew Pinski <pinskia@physics.uc.edu>
1093 * config/darwin.c (machopic_indirect_data_reference): Copy
1094 the SYMBOL_REF_DECL from the original RTX for the new
1095 non-lazy pointer RTX.
1097 2004-06-03 Mark G. Adams <mark.g.adams@sympatico.ca>
1099 * tree.h: Remove include of version.h
1100 * c-cppbuiltin.c: Include version.h
1101 * diagnostic.c: Include version.h
1102 * dwarf2out.c: Include version.h
1103 * toplev.c: Include version.h
1104 * vmsdbgout.c: Include version.h
1105 * Makefile.in: Remove dependency on version.h from TREE_H, and
1106 add dependencies to required .o targets
1108 2004-06-03 Jerry Quinn <jlquinn@optonline.net>
1110 * Makefile.in (RA_H, RESOURCE_H, SCHED_INT_H, CFGLAYOUT_H,
1111 CFGLOOP_H, DF_H, DDG_H, TREE_SSA_LIVE_H): New.
1112 (TARGET_H): Add insn-modes.h.
1113 (tree-ssa.o, tree-cfg.o, tree-ssa-loop.o, toplev.o, passes.o,
1114 loop.o, loop-doloop.o, unroll.o, cfgloop.o, cfgloopanal.o,
1115 loop-iv.o, cfgloopmanip.o, loop-init.o, loop-unswitch.o,
1116 loop-unroll.o, ddg.o, modulo-sched.o, predict.o,
1117 cfglayout.o, ifcvt.o): Replace cfgloop.h with CFGLOOP_H.
1118 (toplev.o, passes.o, cfghooks.o, cfgloopmanip.o, loop-init.o,
1119 loop-unswitch.o, loop-unroll.o, ddg.o, modulo-sched.o,
1120 bb-reorder.o, tracer.o, cfglayout.o): Replace cfglayout.h with
1122 (ra.o, ra-build.o, ra-colorize.o, ra-debug.o, ra-rewrite.o):
1123 Replace ra.h with RA_H.
1124 (resource.o, regrename.o, insn-conditions.o, insn-emit.o,
1125 insn-recog.o): Replace resource.h with RESOURCE_H.
1126 (ddg.o, modulo-sched.o, haifa-sched.o, sched-deps.o, sched-rgn.o,
1127 sched-ebb.o, sched-vis.o, out_object_file): Replace sched-int.h
1129 (web.o, lcm.o, df.o, ra.o, ra-build.o, ra-colorize.o, ra-debug.o,
1130 ra-rewrite.o): Replace df.h with DF_H.
1131 (ddg.o, modulo-sched.o): Replace ddf.h with DDG_H.
1132 (tree-outof-ssa.o, tree-ssa-live.o, tree-ssa-copyrename.o):
1133 Replace tree-ssa-live.h with TREE_SSA_LIVE_H.
1134 (insn-conditions.o): Remove unused reload.h.
1135 * cfglayout.h: Add include guard. Include basic-block.h.
1136 * cfgloop.h: Add include guard. Include basic-block.h, rtl.h.
1137 * ddg.h: Include sbitmap.h, basic-block.h, df.h.
1138 * df.h: Add include guard. Include bitmap.h, sbitmap.h,
1140 * genconditions.c: Remove reload.h.
1141 * ra.h: Add include guard. Include bitmap.h, sbitmap.h,
1142 hard-reg-set.h, insn-modes.h.
1143 * resource.h: Add include guard. Include hard-reg-set.h.
1144 * sched-int.h: Add include guard. Include insn-attr.h,
1145 basic-block.h, rtl.h.
1146 * target.h: Add include guard. Include insn-modes.h.
1147 * tree-ssa-live.h: Include partition.h.
1149 2004-06-03 Daniel Berlin <dberlin@dberlin.org>
1150 Kenneth Zadeck <zadeck@naturalbridge.com>
1152 * tree-ssa-ccp.c (varying_ssa_edges): New worklist.
1153 (add_var_to_ssa_edges_worklist): Add value argument.
1156 (process_ssa_edge_worklist): New function.
1157 (tree_ssa_ccp): Move worklist processing core to
1158 process_ssa_edge_worklist, and just call that for the two worklists.
1160 2004-06-03 Steven Bosscher <stevenb@suse.de>
1162 * basic-block.c (tail_recursion_label_list): Don't declare.
1163 (CLEANUP_PRE_SIBCALL): Remove. Renumber the other CLEANUP_*
1165 * cfgbuild.c (find_label_refs): Remove.
1166 (find_basic_blocks_1): Don't handle CALL_PLACEHOLDER insns.
1167 * cfgcleanup.c (tail_recursion_label_p): Remove.
1168 (merge_blocks_move): Do not check for tail recursion.
1169 (try_optimize_cfg): Likewise.
1170 (cleanup_cfg): Never handle CLEANUP_PRE_SIBCALL.
1171 * cfgrtl.c (tail_recursion_label_list): Remove.
1172 * except.c (remove_unreachable_regions): Don't handle
1173 CALL_PLACEHOLDER insns.
1174 (convert_from_eh_region_ranges_1, can_throw_internal,
1175 can_throw_external): Likewise.
1176 * function.c (free_after_compilation): Don't clear
1177 x_tail_recursion_label.
1178 (fixup_var_refs_insns): Don't handle CALL_PLACEHOLDER insns.
1179 (identify_blocks_1): Don't recurse for CALL_PLACEHOLDER insns.
1180 (reorder_blocks_1): Likewise.
1181 * function.h (struct function): Remove x_tail_recursion_label
1182 member. Don't define tail_recursion_label.
1183 * jump.c (mark_all_labels): Don't handle CALL_PLACEHOLDER insns.
1184 * print-rtl.c (print_rtx): Likewise.
1185 * rtl.def (CALL_PLACEHOLDER): Remove.
1186 * rtl.h (sibcall_use_t): Remove enum.
1187 (optimize_sibling_and_tail_recursive_calls,
1188 replace_call_placeholder): Remove function prototypes.
1189 * stmt.c (tail_recursion_args): Remove.
1190 (optimize_tail_recursion): Remove.
1191 (expand_return): Don't check for possible tail recursion.
1192 * tree.h (optimize_tail_recursion): Remove prototype.
1194 2004-06-02 Jan Hubicka <jh@suse.cz>
1196 * tree-cfg.c (tree_find_edge_insert_loc): Allow inserting before
1199 2004-06-02 Jason Merrill <jason@redhat.com>
1201 * Makefile.in (TAGS): Don't mess with c-parse.[ch].
1202 Do include c-parse.in.
1204 2004-06-02 Eric Christopher <echristo@redhat.com>
1206 * c-typeck.c (common_type): Don't lose type qualifiers
1207 when creating new variants.
1209 2004-06-02 Andrew Pinski <pinskia@physics.uc.edu>
1211 PR tree-optimization/14042
1212 PR tree-optimization/14729
1213 PR tree-optimization/14736
1214 * tree-ssa.c (tree_ssa_useless_type_conversion_1):
1215 Check the type which the pointer points to
1216 instead of the pointer types.
1218 2004-06-02 Kazu Hirata <kazu@cs.umass.edu>
1220 PR tree-optimization/15738.
1221 * builtins.c (fold_builtin_strchr): Transform
1222 strrchr (s, '\0') to strchr (s, '\0').
1224 2004-06-02 Steven Bosscher <stevenb@suse.de>
1226 * i386.c (ix86_adjust_cost): Don't increase the cost for
1227 load+operation for PROCESSOR_PENTIUMPRO, it is already
1228 modelled in the DFA description
1230 2004-06-01 Jerry Quinn <jlquinn@optonline.net>
1232 * Makefile.in (EXPR_H): Add insn-config.h, function.h,
1233 $(RTL_H), flags.h, $(TREE_H), $(MACHMODE_H), $(EXPR_H).
1234 (ALIAS_H, EMIT_RTL_H): New.
1235 (cselib.o): Replace EXPR_H with EMIT_RTL_H.
1236 (cfgcleanup.o): Add EMIT_RTL_H.
1237 (alias.o): Replace EXPR_H with EMIT_RTL_H and ALIAS_H.
1238 * alias.c: Replace expr.h with emit-rtl.h and alias.h.
1239 * attribs.c, c-lex.c, c-obj-common.c, c-semantics.c: Remove expr.h.
1240 * cfgcleanup.c, cselib.c: Replace expr.h with emit-rtl.h.
1241 * expr.h: Add include guard. Include function.h, rtl.h, flags.h,
1242 tree.h, machmode.h, insn-config.h, alias.h, emit-rtl.h.
1243 (get_varargs_alias_set, get_frame_alias_set, record_base_value,
1244 record_alias_subset, new_alias_set, can_address_p): Move to alias.h.
1245 (set_mem_alias_set, set_mem_align, set_mem_expr, set_mem_offset,
1246 set_mem_size): Move to emit-rtl.h.
1250 2004-06-01 Eric Botcazou <ebotcazou@act-europe.fr>
1252 * function.c (walk_fixup_memory_subreg): New parameter 'var'.
1253 Call fixup_memory_subreg only if the MEM is equal to 'var'.
1254 Adjust recursive calls to self.
1255 (fixup_var_refs_insn): Pass 'var' to walk_fixup_memory_subreg.
1257 2004-06-01 Richard Henderson <rth@redhat.com>
1258 Andrew Pinski <pinskia@physics.uc.edu>
1260 * c-parse.in (OFFSETOF, offsetof_member_designator): New.
1261 (primary): Handle offsetof. Add error productions for faux functions.
1262 Move component_ref objc checking to build_component_ref.
1263 (reswords): Add offsetof.
1264 (rid_to_yy): Add offsetof.
1265 * c-tree.h (build_offsetof): Declare.
1266 * c-common.h (objc_is_public): Declare.
1267 * c-typeck.c (build_component_ref): Check objc_is_public.
1268 (build_offsetof): New.
1269 * stub-objc.c (objc_is_public): New.
1270 * objc/objc-act.c, objc/objc-act.h (objc_is_public): Rename
1272 * ginclude/stddef.h (offsetof): Use __builtin_offsetof.
1273 * doc/extend.texi (Offsetof): Move from C++ section to C section
1274 and rewrite for __builtin_offsetof.
1276 2004-06-01 Peter Barada <peter@the-baradas.com>
1277 Peter Jakubek <peter@laseranimation.com>
1279 * config/m68k/m68k.c(m68k_output_mi_thunk): For ColdFire, use %d0 as
1280 a scratch to perform an add to memory.
1282 2004-06-01 Bernardo Innocenti <bernie@develer.com>
1285 * config/m68k/m68k.c (m68k_align_loops_string, m68k_align_jumps_string,
1286 m68k_align_funcs_string, m68k_align_loops, m68k_align_jumps,
1287 m68k_align_funcs): Remove.
1288 (override_options): Remove code to handle -malign-* options.
1289 * config/m68k/m68k.h (TARGET_OPTIONS): Remove -malign-* options.
1290 (FUNCTION_BOUNDARY, LOOP_ALIGN, LOOP_ALIGN_AFTER_BARRIER): Remove.
1291 (m68k_align_loops_string, m68k_align_jumps_string,
1292 m68k_align_funcs_string, m68k_align_loops, m68k_align_jumps,
1293 m68k_align_funcs): Remove definitions.
1295 2004-06-01 Paul Eggert <eggert@cs.ucla.edu>
1298 * doc/install.texi (sparc-sun-solaris2*): Document messages issued
1299 by the Sun linker in conjunction with the Sun assembler.
1300 (sparc-sun-solaris2.7): Update revision info for Sun patch 106950.
1302 2004-06-01 Jeff Law <law@redhat.com>
1304 * stmt.c (expand_decl): Be more selective about calling
1307 2004-06-01 Nicola Pero <nicola@brainstorm.co.uk>
1310 * objc-act.c (is_private): Do not emit the 'instance variable %s
1311 is declared private' error.
1312 (is_public): Emit the error after calling is_private.
1313 (lookup_objc_ivar): If the instance variable is private, return 0
1314 - the instance variable is invisible here.
1316 2004-06-01 Eric Botcazou <ebotcazou@libertysurf.fr>
1318 * doc/invoke.texi (-static-libgcc): Explicitly mention
1321 2004-06-01 Bernardo Innocenti <bernie@develer.com>
1324 * doc/invoke.texi: Document stack alignment side-effect of -mshort.
1326 2004-05-31 Joseph S. Myers <jsm@polyomino.org.uk>
1329 * c-decl.c (grokdeclarator, finish_struct): Don't pedwarn for
1330 misuses of structures with flexible array members if
1333 2004-05-31 Eric Botcazou <ebotcazou@libertysurf.fr>
1336 * config/sparc/sparc.c (compare_operand): New predicate.
1337 * config/sparc/sparc.h (PREDICATE_CODES): Add it.
1338 * config/sparc/sparc.md (cmpsi expander): Use it. If the first
1339 operand is a ZERO_EXTRACT and the second operand is not zero,
1340 force the former to a register.
1341 (cmpdi expander): Likewise.
1343 2004-05-31 Geoffrey Keating <geoffk@apple.com>
1345 * gengtype-lex.l: Catch stray GTY markers in the files gengtype
1347 * alias.c (alias_invariant_size): Make alias_invariant_size
1348 static, fix GTY marker.
1350 2004-05-31 Kazu Hirata <kazu@cs.umass.edu>
1352 PR tree-optimization/15743.
1353 * builtins.c (fold_builtin_1): Fold index() and rindex().
1355 2004-05-31 Roger Sayle <roger@eyesopen.com>
1358 * fold-const.c (fold_single_bit_test): Only perform "(X & C) != 0"
1359 into "X < 0" (where C is the signbit) if X's type is a full mode.
1361 2004-05-31 John David Anglin <dave.anglin@nrc-cnrc.gc.ca>
1363 * pa.md: Disable the peephole2 patterns that generate indexed
1364 floating-point stores when indexing is disabled.
1366 2004-05-31 Gabriel Dos Reis <gdr@integrable-solutions.net>
1368 * c-pretty-print.c (pp_c_left_bracket): Make a function.
1369 (pp_c_right_bracket): Likewise.
1370 (pp_c_star): Likewise.
1371 (pp_c_ampersand): Define.
1372 * c-pretty-print.h (pp_c_left_bracket): Declare.
1373 (pp_c_right_bracket): Likewise.
1374 (pp_c_star): Likewise.
1375 (pp_c_ampersand): Likewise.
1377 2004-05-31 Eric Botcazou <ebotcazou@libertysurf.fr>
1379 * config/sol2.h (__enable_execute_stack): ANSIfy function
1382 2004-05-31 Danny Smith <dannysmith@users.sourceforge.net>
1384 * c-incpath.c (add_path): Canonicalize paths to use '/' if
1385 HAVE_DOS_BASED_FILESYSTEM.
1387 2004-05-31 Steven Bosscher <stevenb@suse.de>
1389 * tree-ssa-dom.c (record_equivalences_from_incoming_edge):
1390 Only look at case labels if the immediate dominator is also
1391 the only predecessor. Don't look for more case labels if the
1392 first seen is a case range.
1394 2004-05-31 Kazu Hirata <kazu@cs.umass.edu>
1396 * builtins.c: Add a prototype for fold_builtin_strchr().
1398 2004-05-31 Paolo Bonzini <bonzini@gnu.org>
1401 2004-05-27 Paolo Bonzini <bonzini@gnu.org>
1403 * combine.c (gen_binary): Remove.
1404 (known_cond, simplify_shift_const
1405 find_split_point, combine_simplify_rtx,
1406 simplify_if_then_else, simplify_set,
1407 simplify_logical, expand_field_assignment,
1408 extract_left_shift, force_to_mode,
1409 if_then_else_cond, apply_distributive_law,
1410 simplify_and_const_int, simplify_shift_const,
1411 gen_lowpart_for_combine, simplify_comparison,
1412 reversed_comparison): Replace with
1413 simplify_gen_binary, simplify_gen_relational or
1414 distribute_and_simplify_rtx.
1415 (distribute_and_simplify_rtx): New function.
1417 2004-05-30 John David Anglin <dave.anglin@nrc-cnrc.gc.ca>
1419 * pa.c (emit_move_sequence): Fix loading of non 14-bit CONST operands
1420 when generating PIC code.
1422 2004-05-30 Andrew Pinski <pinskia@physics.uc.edu>
1424 * c-decl.c (c_expand_body_1): Remove and fold back into ...
1425 (c_expand_body): here.
1426 (c_expand_decl): Move to ...
1427 * c-common.c (c_expand_decl): Here and remove check for nested
1429 * c-common.h (c_expand_decl): Add prototype.
1430 * c-tree.h (c_expand_decl): Remove.
1432 2004-05-30 Roger Sayle <roger@eyesopen.com>
1434 * fold-const.c (combine_comparisons, optimize_bit_field_compare,
1435 range_binop, fold_truthop, fold_binary_op_with_conditional_arg,
1436 fold_mathfn_compare, fold_inf_compare, fold,
1437 fold_relational_hi_lo, nondestructive_fold_binary_to_constant):
1438 Use constant_boolean_node where appropriate. Don't bother using
1439 fold_convert on the second argument to omit_one_operand.
1441 2004-05-30 Roger Sayle <roger@eyesopen.com>
1443 * doc/c-tree.texi (Expressions): Document FLOOR_DIV_EXPR,
1444 CEIL_DIV_EXPR, ROUND_DIV_EXPR, FLOOR_MOD_EXPR, CEIL_MOD_EXPR,
1445 ROUND_MOD_EXPR, EXACT_DIV_EXPR. Improve documentation of
1446 TRUNC_DIV_EXPR, TRUNC_MOD_EXPR and comparison operations.
1447 Add missing (but documented) tree nodes to the index.
1449 2004-05-30 Steven Bosscher <stevenb@suse.de>
1451 PR tree-optimization/14819
1452 * builtins.c (fold_builtin_strchr): New.
1453 (fold_builtin_1): Handle BUILT_IN_STRCHR and BUILT_IN_STRRCHR
1454 with fold_builtin_strchr().
1456 2004-05-30 Kazu Hirata <kazu@cs.umass.edu>
1458 * bb-reorder.c, builtins.c, c-common.c, c-gimplify.c,
1459 c-incpath.c, cgraphunit.c, ddg.c, defaults.h, dwarf2out.c,
1460 expmed.c, flags.h, gcc.c, gensupport.c, gimplify.c, global.c,
1461 passes.c, reg-stack.c, target.h, toplev.c, tree-alias-ander.c,
1462 tree-alias-common.c, tree-cfg.c, tree-complex.c, tree-dfa.c,
1463 tree-eh.c, tree-mudflap.c, tree-mudflap.h, tree-outof-ssa.c,
1464 tree-phinodes.c, tree-pretty-print.c, tree-ssa-alias.c,
1465 tree-ssa-ccp.c, tree-ssa-live.c, tree-ssa-live.h,
1466 tree-ssa-pre.c, tree.h, value-prof.h, varasm.c: Fix comment
1469 2004-05-30 Steven Bosscher <stevenb@suse.de>
1471 * gimplify.c (sort_case_labels): New. Split out from...
1472 (gimplify_switch_expr): ...here. Use it.
1473 * tree-eh.c (lower_try_finally_switch): Sort the labels of
1474 the SWITCH_EXPR created here before leaving the function.
1475 * tree.c (sort_case_labels): Add prototype.
1477 2004-05-30 Andrew Pinski <pinskia@physics.uc.edu>
1479 * fold-const.c (fold) [case TRUTH_NOT_EXPR]: Make sure the type is
1482 2004-05-30 Kazu Hirata <kazu@cs.umass.edu>
1484 * c-common.c, calls.c, cfgcleanup.c, cgraph.c, cgraphunit.c,
1485 ddg.c, ddg.h, df.c, df.h, except.c, expr.c, flags.h,
1486 fold-const.c, gcc.c, gimplify.c, haifa-sched.c,
1487 modulo-sched.c, tree-inline.c, tree-into-ssa.c, tree-nested.c,
1488 tree-nrv.c, tree-ssa-ccp.c, tree-ssa-dom.c, tree-ssa-live.c,
1489 tree-ssa-loop.c, tree-ssa-pre.c, tree-tailcall.c, tree.h: Fix
1490 comment typos. Follow spelling conventions.
1492 2004-05-29 Geoffrey Keating <geoffk@apple.com>
1494 * gengtype-yacc.y: Add NESTED_PTR token.
1495 (option): Record `nested_ptr' option.
1496 * gengtype-lex.l: Handle `nested_ptr' keyword.
1497 * gengtype.c (walk_type): Process `nested_ptr' option.
1498 * gengtype.h (struct nested_ptr_data): New.
1499 * doc/gty.texi (GTY Options): Document `nested_ptr' option.
1500 * stringpool.c (struct string_pool_data): Make 'entries' point to
1501 ht_identifier instead of tree.
1502 (gt_pch_save_stringpool): Don't adjust pointers.
1503 (gt_pch_restore_stringpool): Call ht_load.
1505 2004-05-29 Jason Merrill <jason@redhat.com>
1507 * gimplify.c (gimplify_expr): Don't build a statement list
1508 if no gimplification was necessary.
1510 2004-05-29 Joseph S. Myers <jsm@polyomino.org.uk>
1512 * pretty-print.c (pp_base_format_text): Support %< instead of %`
1513 and %> as well as %'.
1514 * c-format.c: Use %< and %>.
1515 (gcc_diag_char_table, gcc_cdiag_char_table,
1516 gcc_cxxdiag_char_table): Update.
1518 2004-05-29 Joseph S. Myers <jsm@polyomino.org.uk>
1520 * c-typeck.c (common_type): Correct comment.
1522 2004-05-29 Peter Barada <peter@the-baradas.com>
1524 * config/m68k/m68k.c (CONST_METHOD): Add MVZ, MVS.
1525 * config/m68k/m68k.c (const_method): Likewise.
1526 * config/m68k/m68k.c (const_int_cost): Likewise.
1527 * config/m68k/m68k.c (const_int_cost): Likewise.
1528 * config/m68k/m68k.c (output_move_const_into_data_reg): Likewise.
1530 2004-05-29 Peter Barada <peter@the-baradas.com>
1532 * config/m68k/m68k.h (EXTRA_CONSTRAINT): add 'U' for register offset
1534 * config/m68k/m68k.md: Add 'U,U' alternative to ColdFire variants of
1535 movsi,movhi,movqi insn patterns.
1537 2005-05-28 Andrew Pinski <pinskia@physics.uc.edu>
1539 * c-semantics.c (emit_local_var): Remove code for DECL_INITIAL.
1542 * config/darwin.c (machopic_indirect_call_target): Copy
1543 the SYMBOL_REF_DECL from the original RTX for the new
1546 2004-05-28 DJ Delorie <dj@redhat.com>
1548 * stor-layout.c (place_field): Revert erroneous commit.
1550 2004-05-28 Ziemowit Laski <zlaski@apple.com>
1552 * config/rs6000/altivec.h (vec_ctf, vec_vcfsx, vec_vcfux, vec_cts,
1553 vec_ctu, vec_dss, vec_dst, vec_dstst, vec_dststt, vec_dstt, vec_ld,
1554 vec_ldl, vec_lvsl, vec_lvsr, vec_sld, vec_splat, vec_vspltw,
1555 vec_vsplth, vec_vspltb, vec_splat_s8, vec_splat_s16, vec_splat_s32,
1556 vec_splat_u8, vec_splat_u16, vec_splat_u32, vec_st, vec_stl,
1557 vec_ste): Remove type checks for integral parameters and literals
1558 from '..._args_eq' macros.
1560 2004-05-28 Aldy Hernandez <aldyh@redhat.com>
1562 * c-common.c (fname_as_string): Fix xcalloc to xmalloc.
1564 2004-05-28 Aldy Hernandez <aldyh@redhat.com>
1566 * testsuite/g++.dg/charset/function.cc: New.
1568 * testsuite/gcc.dg/charset/function.c: New.
1570 * c-decl.c (c_make_fname_decl): Free return value from
1573 * cp/decl.c (cp_make_fname_decl): Free return value from
1576 * c-common.c (fname_as_string): Translate if necessary.
1578 2004-05-28 Geoffrey Keating <geoffk@apple.com>
1580 * stringpool.c: Add comments to PCH saving/restoring routines.
1582 2004-05-28 Andrew Pinski <pinskia@physics.uc.edu>
1584 * c-common.c (c_estimate_num_insns_1): Kill.
1585 (c_estimate_num_insns): Kill.
1586 * c-common.h (c_estimate_num_insns): Kill.
1588 * gthr-posix.h: Check for _POSIX_PRIORITY_SCHEDULING
1589 when checking for _POSIX_THREAD_PRIORITY_SCHEDULING.
1590 Remove comment about not checking for
1591 _POSIX_PRIORITY_SCHEDULING.
1592 * gthr-posix.c: Likewise.
1594 2004-05-28 Paolo Bonzini <bonzini@gnu.org>
1595 Roger Sayle <roger@eyesopen.com>
1597 PR rtl-optimization/15649
1598 Add LTGT_EXPR and improve pretty-printing of unordered
1600 * c-common.c (c_common_truthvalue_conversion):
1602 * c-typeck.c (build_binary_op): Likewise.
1603 * dojump.c (do_jump): Likewise.
1604 * expr.c (expand_expr_real_1, do_store_flag): Likewise.
1605 * predict.c (tree_predict_by_opcode): Likewise.
1606 * real.c (real_compare): Likewise.
1607 * tree-cfg.c (verify_expr): Likewise.
1608 * tree-inline.c (estimate_num_insns_1): Likewise.
1609 * tree-pretty-print.c (dump_generic_node): Likewise.
1610 Handle ORDERED_EXPR, UNORDERED_EXPR.
1611 (op_symbol): Print unordered comparisons differently
1613 * tree.def (LTGT_EXPR): New '<' tree code.
1614 * doc/c-tree.texi (Expressions): Document floating-point
1617 Fold comparisons between floating point values.
1618 * fold-const.c (enum comparison_code): New, from
1619 #define'd constants. Define compcodes for unordered
1620 comparisons and for invalid transformations.
1621 (invert_tree_comparison): Add "honor_nans" parameter.
1622 (fold_truthop): Revamp to work on floating-point types too.
1623 (comparison_to_compcode): Support unordered comparisons.
1624 Use new enum comparison_code.
1625 (compcode_to_comparison): Likewise.
1626 (combine_compcodes): New function.
1627 (invert_truthvalue): Let invert_tree_comparison decide
1628 whether it is valid to fold the comparison. Fold ORDERED
1629 and UNORDERED even if flag_unsafe_math_optimizations is off,
1630 and the remaining even if flag_unsafe_math_optimizations
1631 is off but we are under -fno-trapping-math.
1632 (fold_relational_const): Integer modes do not honor NaNs.
1634 2004-05-28 Paul Brook <paul@codesourcery.com>
1636 * config/arm/arm.c (arm_output_epilogue): Remove redundant code.
1638 2004-05-28 Paul Brook <paul@codesourcery.com>
1640 * config/arm/arm.c (thumb_force_lr_save): New function.
1641 (arm_get_frame_offsets, thumb_unexpanded_epilogue,
1642 thumb_output_function_prologue): Use it.
1643 (thumb_expand_prologue): Set lr_save_eliminated.
1645 2004-05-28 Richard Sandiford <rsandifo@redhat.com>
1647 * config/mips/mips.md (extendsidi2): Tie the source and destination
1648 of the register alternative. Split it into nothing.
1650 2004-05-28 Richard Sandiford <rsandifo@redhat.com>
1652 * rtl.h (skip_consecutive_labels): Declare.
1653 * emit-rtl.c (skip_consecutive_labels): New function.
1654 * reorg.c (relax_delay_slots, dbr_schedule): Use it.
1655 * jump.c (follow_jumps): Say what null return values mean.
1657 2004-05-28 Kaz Kojima <kkojima@gcc.gnu.org>
1660 * config/sh/sh.md (rotlsi3): Use emit_move_insn.
1662 2004-05-27 Kaz Kojima <kkojima@gcc.gnu.org>
1664 * config/sh/t-linux (SHLIB_MAPFILES): Use sh specific
1666 * config/sh/libgcc-std.ver: New file.
1668 2004-05-27 Bryce McKinlay <mckinlay@redhat.com>
1670 * except.c: Revert change of 2004-05-26.
1671 * config/i386/i386.md: Revert change of 2004-05-27.
1673 2004-05-27 Bryce McKinlay <mckinlay@redhat.com>
1675 * configure.ac: Remove --enable-tree-browser option.
1676 Define TREEBROWSER when ac_tree_checking is defined.
1677 * configure: Rebuilt.
1679 2004-05-27 Olivier Hainque <hainque@act-europe.fr>
1681 * expr.c (store_constructor): Restore sanity check on
1682 the size of the type before clearing.
1684 2004-05-27 Jan Hubicka <jh@suse.cz>
1686 * cfgbuild.c (control_flow_insn_p): Notice noreturn call
1688 2004-05-27 Paolo Bonzini <bonzini@gnu.org>
1690 * combine.c (gen_binary): Remove.
1691 (known_cond, simplify_shift_const
1692 find_split_point, combine_simplify_rtx,
1693 simplify_if_then_else, simplify_set,
1694 simplify_logical, expand_field_assignment,
1695 extract_left_shift, force_to_mode,
1696 if_then_else_cond, apply_distributive_law,
1697 simplify_and_const_int, simplify_shift_const,
1698 gen_lowpart_for_combine, simplify_comparison,
1699 reversed_comparison): Replace with
1700 simplify_gen_binary, simplify_gen_relational or
1701 distribute_and_simplify_rtx.
1702 (distribute_and_simplify_rtx): New function.
1703 * simplify-rtx.c (simplify_binary_operation):
1704 Use nonzero_bits to simplify ANDs where we are
1705 turning off bits already known to be off in OP0.
1707 2004-05-27 Alan Modra <amodra@bigpond.net.au>
1710 * config/rs6000/rs6000.c (reg_or_neg_short_operand): Don't allow zero.
1712 2004-05-27 Josef Zlomek <zlomekj@suse.cz>
1715 * emit-rtl.c (gen_rtx_REG_offset): Adjust the offset according
1718 2004-05-26 Aldy Hernandez <aldyh@redhat.com>
1721 * config/rs6000/rs6000.c (spe_expand_stv_builtin): New.
1723 2004-05-26 Roger Sayle <roger@eyesopen.com>
1725 * tree.h: Fix comment typo.
1727 2004-05-27 Steven Bosscher <stevenb@suse.de>
1729 * gimplify.c (compare_case_labels): New function.
1730 (gimplify_switch_expr): Sort case labels, and make sure the
1731 last label in the label vector is the default case.
1732 * tree-cfg.c (group_case_labels): New function.
1733 (build_tree_cfg): Cleanup redundant labels and group case labels
1734 before creating edges.
1735 (cleanup_dead_labels): Handle GOTO_EXPRs.
1736 (find_case_label_for_value): Use a binary search to find the
1737 case label for the given value.
1738 * tree-gimple.c: Mention that labels are sorted, and that the
1739 last label must be the default.
1741 2004-05-27 Jan Hubicka <jh@suse.cz>
1743 * cfgcleanup.c (try_optimize_cfg): Do not merge across jumptables.
1745 2004-05-27 Jan Hubicka <jh@suse.cz>
1747 * i386.md (UNSPECV_EH_RETURN): Kill.
1748 (eh_return): Use jump_insn.
1749 (eh_return_si, eh_return_di): Change pattern to jump instruction.
1751 2004-05-26 Jan Hubicka <jh@suse.cz>
1753 * cfgcleanup.c (try_forward_edges): Do not check loop structure when
1754 not loop optimizing.
1756 2004-05-26 Jan Hubicka <jh@suse.cz>
1758 * except.c (can_throw_internal): Notice RESX instructions.
1760 2004-05-26 Eric Botcazou <ebotcazou@act-europe.fr>
1762 * varasm.c (output_constant) <INTEGER_TYPE>: Pass the minimum
1763 of the two sizes to assemble_integer.
1765 2004-05-25 Paul Brook <paul@codesourcery.com>
1767 * config/arm/arm.c (thumb_exit, thumb_unexpanded_epilogue): Remove
1770 2004-04-25 Paolo Bonzini <bonzini@gnu.org>
1772 * Makefile.in (top_builddir): Define to .
1774 2004-05-25 Alexandre Oliva <aoliva@redhat.com>
1776 * configure.ac (gcc_cv_ld): Prefer in-tree ld over whatever the
1777 top-level detects, except when in-tree ld is being cross-built.
1778 (gcc_cv_as): Likewise for as. Use AS_FOR_TARGET otherwise, and
1779 then AS only if target is host.
1780 * configure: Rebuilt.
1782 2004-05-25 Vladimir Makarov <vmakarov@redhat.com>
1784 * global.c (global_alloc): Call make_accurate_live_analysis.
1785 (record_one_conflict): Remove dead code.
1786 (mark_reg_clobber): Remove ATTRIBUTE_UNUSED for parameter data.
1787 (bb_info): New structure.
1788 (BB_INFO, BB_INFO_BY_INDEX): New macros.
1789 (allocate_bb_info, free_bb_info, mark_reg_change,
1790 calculate_local_reg_bb_info, set_up_bb_rts_numbers, rpost_cmp,
1791 modify_bb_reg_pav, calculate_reg_pav,
1792 make_accurate_live_analysis): New functions.
1794 2004-05-25 Devang Patel <dpatel@apple.com>
1796 * alias.c (init_alias_analysis): Use ggc_calloc instead of
1798 (end_alias_analysis): Use ggc_free instead fo free.
1800 2004-05-25 Andrew Pinski <pinskia@physics.uc.edu>
1803 * config/ia64/ia64.h (ASM_OUTPUT_FDESC): Mark the DECL
1804 as needed to be outputted.
1806 2004-05-25 Jan Hubicka <jh@suse.cz>
1808 * builtins.def (__builtin_expect): Mark the function as const¬hrow.
1810 2004-05-25 Ayal Zaks <zaks@il.ibm.com>
1811 Mostafa Hagog <mustafa@il.ibm.com>
1813 * Makefile.in (modulo-sched.o, ddg.o): New.
1814 * ddg.h, ddg.c, modulo-sched.c: New files.
1815 * cfglayout.c (duplicate_insn_chain): Remove "static" and push
1816 internals to "dupicate_insn".
1817 (duplicate_insn): New function.
1818 * cfglayout.h (duplicate_insn_chain, duplicate_insn): New
1820 * common.opt (fmodulo-sched): New flag.
1821 * df.c (df_bb_regno_last_use_find, df_bb_regno_first_def_find):
1822 Remove static and forward declaration.
1823 (df_find_def, df_reg_used, df_bb_regno_last_def_find): New
1825 * df.h (df_bb_regno_last_use_find, df_bb_regno_first_def_find,
1826 df_bb_regno_last_def_find, df_find_def, df_reg_used): New
1828 * flags.h (flag_modulo_sched): New flag.
1829 * opts.c (common_handle_option): Handle modulo-sched flag.
1830 * params.def (max-sms-loop-number, sms-max-ii-factor,
1831 sms-dfa-history, sms-loop-average-count-threshold): New
1833 * params.h (MAX_SMS_LOOP_NUMBER, SMS_MAX_II_FACTOR,
1834 SMS_DFA_HISTORY, SMS_LOOP_AVERAGE_COUNT_THRESHOLD): New
1836 * passes.c ("sms", "sms-vcg"): New dumps.
1837 (rest_of_handle_sched): Call sms_schedule.
1838 * rtl.h (sms_schedule): New declaration.
1839 * timevar.def (TV_SMS): New.
1840 * toplev.c (flag_modulo_sched): Initialize.
1841 (f_options): Handle -fmodulo-sched option.
1842 * docs/invoke.texi: Document -fmodulo-sched & -dm options.
1843 * docs/passes.texi: Document new SMS pass.
1845 2004-05-25 Paolo Bonzini <bonzini@gnu.org>
1847 * Makefile.in (OBJS): Add rtlhooks.o.
1848 (rtlanal.o): Depend on function.h.
1849 (cse.o): Depend on rtlhooks-def.h.
1850 (combine.o): Depend on rtlhooks-def.h.
1851 (rtlhooks.o): New rule.
1852 * combine.c: Include rtlhooks-def.h.
1853 (nonzero_bits, cached_nonzero_bits, nonzero_bits1,
1854 num_sign_bit_copies, cached_num_sign_bit_copies,
1855 num_sign_bit_copies1): Move most of the code to rtlanal.c.
1856 (reg_nonzero_bits_for_combine,
1857 reg_num_sign_bit_copies_for_combine): New functions holding
1858 the remnants of the above.
1859 (combine_rtl_hooks): New.
1860 (combine_instructions): Set rtl_hooks instead of gen_lowpart.
1861 * cse.c: Include rtlhooks-def.h.
1862 (cse_rtl_hooks): New.
1863 (cse_main): Set rtl_hooks instead of gen_lowpart.
1864 * emit-rtl.c (gen_lowpart): Remove.
1865 (gen_lowpart_general): Move to rtlhooks.c.
1866 * rtl.h (nonzero_bits, num_sign_bit_copies,
1867 struct rtl_hooks, rtl_hooks, general_rtl_hooks): New.
1868 (gen_lowpart_general): Remove.
1869 (gen_lowpart): Temporarily redefine as a macro.
1870 * rtlanal.c: Include function.h.
1871 (nonzero_bits, cached_nonzero_bits, nonzero_bits1,
1872 num_sign_bit_copies, cached_num_sign_bit_copies,
1873 num_sign_bit_copies1): New, from combine.c.
1874 * rtlhooks.c: New file.
1876 2004-05-25 Svein E. Seldal <Svein.Seldal@solidas.com>
1878 * config/avr/avr.h (LONG_LONG_TYPE_SIZE): Changed long long type
1879 to support 32-bit -mint8 mode.
1881 * doc/invoke.texi (-mint8): Added documentation for the -mint8
1882 option in the AVR architecture.
1884 2004-05-24 Mike Stump <mrs@apple.com>
1886 * doc/install.texi: Document that dejagnu 1.4.4 is required.
1888 2004-05-24 Joseph S. Myers <jsm@polyomino.org.uk>
1890 * intl.h (open_quote, close_quote): New.
1891 * intl.c (open_quote, close_quote): New.
1892 (gcc_init_libintl): Set them.
1893 * pretty-print.c: Include "intl.h".
1894 (pp_base_format_text): Support 'q' format flag and %` and %'
1895 formats. Use ' instead of ` in comments.
1896 * c-format.c (gcc_diag_flag_specs, gcc_cxxdiag_flag_specs,
1897 gcc_diag_char_table, gcc_cdiag_char_table, gcc_cxxdiag_char_table,
1898 foramt_types_orig): Describe these new formats.
1899 (decode_format_attr, check_function_format,
1900 check_format_info_main): Use these new formats.
1901 (status_warning): Use ATTRIBUTE_GCC_DIAG.
1902 * toplev.c (ATTRIBUTE_GCC_DIAG): Increase required GCC version to
1903 check these formats to 3.5.
1905 2004-05-24 Rainer Orth <ro@TechFak.Uni-Bielefeld.DE>
1907 * Makefile.in (CPPLIBS): Renamed to CPPLIB.
1908 (BACKEND): Reflect this.
1909 (LIBDEPS): Move CPPLIB before LIBIBERTY.
1912 2004-05-24 Ulrich Weigand <uweigand@de.ibm.com>
1914 PR tree-optimization/14197
1915 * builtins.c: Include "tree-gimple.h"
1916 (readonly_data_expr): Use get_base_address. Make sure to call
1917 decl_readonly_section only on trees it can handle.
1918 * tree-gimple.c (get_base_address): Accept STRING_CST and
1919 CONSTRUCTOR expressions.
1920 * Makefile.in: Update dependencies.
1922 2004-05-23 Paolo Bonzini <bonzini@gnu.org>
1924 Move libcpp to the toplevel.
1925 * Makefile.in: Remove references to libcpp files,
1926 use CPPLIBS instead of libcpp.a. Define SYMTAB_H
1927 and change hashtable.h to that.
1928 * aclocal.m4 (gcc_AC_HEADER_STDBOOL,
1929 gcc_AC_HEADER_STRING, gcc_AC_C__BOOL): Remove.
1930 * configure.ac (gcc_AC_C__BOOL, HAVE_UCHAR): Remove tests.
1931 * configure: Regenerate.
1932 * config.in: Regenerate.
1933 * c-ppoutput.c: Include ../libcpp/internal.h instead of cpphash.h.
1934 * cppcharset.c: Removed.
1935 * cpperror.c: Removed.
1936 * cppexp.c: Removed.
1937 * cppfiles.c: Removed.
1938 * cpphash.c: Removed.
1939 * cpphash.h: Removed.
1940 * cppinit.c: Removed.
1941 * cpplex.c: Removed.
1942 * cpplib.c: Removed.
1943 * cpplib.h: Removed.
1944 * cppmacro.c: Removed.
1945 * cpppch.c: Removed.
1946 * cpptrad.c: Removed.
1947 * cppucnid.h: Removed.
1948 * cppucnid.pl: Removed.
1949 * cppucnid.tab: Removed.
1950 * hashtable.c: Removed.
1951 * hashtable.h: Removed.
1952 * line-map.c: Removed.
1953 * line-map.h: Removed.
1954 * mkdeps.c: Removed.
1955 * mkdeps.h: Removed.
1956 * stringpool.h: Include symtab.h instead of hashtable.h.
1957 * tree.h: Include symtab.h instead of hashtable.h.
1958 * system.h (O_NONBLOCK, O_NOCTTY): Do not define.
1960 2004-05-23 Paolo Bonzini <bonzini@gnu.org>
1962 * gcc.c (struct prefix_list): Add forward declaration.
1963 (do_spec_path): New function, extracted from...
1964 (do_spec_1) <'D'>: ... here. Drop support for
1965 SPACE_AFTER_L_OPTION.
1966 (do_spec_1) <'I'>: Use do_spec_path.
1967 (process_command): Do not store the 'include' suffix
1968 in include_prefixes.
1969 * system.h: Poison SPACE_AFTER_L_OPTION.
1971 2002-05-23 Roger Sayle <roger@eyesopen.com>
1973 * fold-const.c (non_lvalue): Explicitly list the tree codes that
1974 need to be wrapped by NON_LVALUE_EXPR, instead of those that don't.
1976 2004-05-23 Joseph S. Myers <jsm@polyomino.org.uk>
1978 * doc/gcc.texi, doc/gccint.texi, doc/include/gcc-common.texi:
1979 Update based on printed manual. Enable setting of offsets for
1980 FSFPRINT and move it to gcc-common.texi.
1981 * doc/gcc.texi: Update FSF printing details.
1982 * doc/gccint.texi: Remove FSF printing details.
1984 2004-05-23 Andrew Pinski <pinskia@physics.uc.edu>
1986 * config/rs6000/t-rs6000: Remove the disabling -Werror.
1988 2004-05-22 Roger Sayle <roger@eyesopen.com>
1990 * builtins.c (expand_builtin_strstr, expand_builtin_strchr,
1991 expand_builtin_strrchr, expand_builtin_strpbrk,
1992 expand_builtin_mempcpy, expand_builtin_memcmp,
1993 expand_builtin_strcmp, expand_builtin_strncmp,
1994 expand_builtin_strcat, std_expand_builtin_va_start,
1995 std_expand_builtin_va_arg, expand_builtin_va_copy,
1996 expand_builtin_signbit, fold_builtin_cabs,
1997 fold_builtin_logarithm, fold_builtin_mempcpy,
1998 fold_builtin_signbit, fold_builtin_isascii,
1999 fold_builtin_toascii, fold_builtin_isdigit,
2000 fold_builtin_1, build_function_call_expr,
2001 simplify_builtin_strchr, simplify_builtin_strrchr,
2002 simplify_builtin_strpbrk, simplify_builtin_strncpy,
2003 simplify_builtin_memcmp, simplify_builtin_strcmp,
2004 simplify_builtin_strncmp, simplify_builtin_strncat,
2005 simplify_builtin_strspn, simplify_builtin_strcspn,
2006 simplify_builtin_fputs, simplify_builtin_sprintf): Replace calls
2007 to build with calls to build2, build3 or omit_one_operand.
2009 2004-05-22 Richard Sandiford <rsandifo@redhat.com>
2011 * config/mips/mips.c (mips_file_start): Emit a .gcc_compiled_longXX
2012 section when generating EABI code.
2014 2004-05-22 Andrew Pinski <pinskia@physics.uc.edu>
2017 * config/i386/i386.c (output_pic_addr_const <case SYMBOL_REF>):
2018 Call mark_decl_referenced on the SYMBOL_REF_DECL.
2020 2004-05-22 Andrew Pinski <pinskia@physics.uc.edu>
2022 * c-common.c (c_common_truthvalue_conversion): Handle
2023 UNEQ_EXPR, UNLE_EXPR, UNGE_EXPR, UNLT_EXPR, UNGT_EXPR,
2024 ORDERED_EXPR, and UNORDERED_EXPR as comparison operators,
2025 i.e. set the type to truthvalue_type_node and return.
2027 2004-05-22 Zack Weinberg <zack@codesourcery.com>
2029 * tree.h (struct tree_decl): Add possibly_inlined bit.
2030 (DECL_POSSIBLY_INLINED): New accessor macro.
2031 * cgraph.h: Remove declaration of cgraph_inline_hash.
2032 * cgraph.c: Remove definition of cgraph_inline_hash.
2033 (hash_node): Revert to hashing DECL_UID.
2034 (eq_node): Take two pointers to cgraph_node structures.
2036 (cgraph_remove_node): Pass the node directly to htab_find_slot.
2037 (cgraph_varpool_hash_node): Rename hash_varpool_node;
2039 (eq_cgraph_varpool_node): Rename eq_varpool_node; take two
2040 pointers to cgraph_varpool_node structures; compare DECL_UIDs.
2041 (cgraph_node): Allocate a temporary node on the stack, fill in
2042 its DECL field, and pass that to htab_find_slot.
2043 (cgraph_varpool_node): Likewise.
2044 (cgraph_function_possibly_inlined_p): If global info is ready,
2045 return the DECL_POSSIBLY_INLINED bit.
2046 * cgraphunit.c (cgraph_mark_inline_edge): Set DECL_POSSIBLY_INLINED
2047 instead of mucking with cgraph_inline_hash.
2049 2004-05-22 Joseph S. Myers <jsm@polyomino.org.uk>
2051 * doc/contrib.texi: Add g77 contributors.
2053 2004-05-22 Richard Sandiford <rsandifo@redhat.com>
2055 * calls.c (initialize_argument_information): Forbid sibcalls if a
2056 callee-copied argument is stored in the current function's frame.
2058 2004-05-22 Eric Christopher <echristo@redhat.com>
2060 * fix-header.c (read_scan_file): Update for add_path change.
2062 2004-05-22 Ben Elliston <bje@au.ibm.com>
2064 * c.opt (Wmissing-include-dirs): New.
2065 * c-opts.c (c_common_handle_option): Pass true for user_supplied_p
2066 to add_path () for -I, but false for OPT_idirafter, OPT_iquote and
2067 OPT_isystem. Handle case OPT_Wmissing_include_dirs.
2068 * c-incpath.h (add_path): Add fourth (bool) argument.
2069 * c-incpath.c (add_env_var_paths): Pass false to add_path ().
2070 (add_standard_paths): Likewise.
2071 (remove_duplicates) [REASON_NOENT]: Warn if -Wmissing-include-dirs
2072 is used and the directory was user-supplied via -I.
2073 (add_path): Set p->user_supplied_p. Remove duplicated code by
2074 using add_cpp_dir_path ().
2075 * cpplib.h (struct cpp_options): Add warn_missing_include_dirs.
2076 (struct cpp_dir): Add user_supplied_p.
2077 * doc/invoke.texi (Warning Options): Document new option.
2079 2004-05-21 Ulrich Weigand <uweigand@de.ibm.com>
2081 * fold-const.c (fold_read_from_constant_string): Convert result to
2084 2004-05-21 Richard Henderson <rth@redhat.com>
2086 * gimplify.c (mostly_copy_tree_r): Don't attempt to copy decls.
2087 (copy_if_shared_r): Don't copy decls, types, constants, BINDs.
2088 Don't mark VA_ARG_EXPRs volatile here.
2089 (gimplify_modify_expr): Unshare TYPE_SIZE_UNIT.
2091 2004-05-21 Richard Henderson <rth@redhat.com>
2093 * Makefile.in (tree-dump.o): Depend on tree-iterator.h.
2094 * tree-dump.c (dequeue_and_dump): Dump STATEMENT_LISTs.
2096 2004-05-21 Roger Sayle <roger@eyesopen.com>
2098 * fold-const.c (fold, fold_relational_hi_lo,
2099 nondestructive_fold_binary_to_constant,
2100 fold_read_from_constant_string): Use fold_convert instead of convert.
2101 * builtins.c (simplify_builtin, simplify_builtin_strstr,
2102 simplify_builtin_strchr, simplify_builtin_strrchr,
2103 simplify_builtin_strpbrk): Use fold_convert instead of convert.
2105 2004-05-21 Diego Novillo <dnovillo@redhat.com>
2107 * tree-flow-inline.h (num_immediate_uses): Don't abort if DF
2110 2004-05-21 Jakub Jelinek <jakub@redhat.com>
2112 * config/sparc/linux64.h (OPTION_DEFAULT_SPECS): If SPARC_BI_ARCH,
2113 override sparc.h definition.
2115 2004-05-20 Roger Sayle <roger@eyesopen.com>
2117 * tree.c (array_type_nelts, save_expr, substitute_in_expr,
2118 get_unwidened, get_narrower): Replace build with build2.
2119 * fold-const.c (negate_expr, associate_trees, size_binop,
2120 fold_convert, eval_subst, omit_one_operand, invert_truthvalue,
2121 pedantic_omit_one_operand, distribute_bit_expr,
2122 make_bit_field_ref, optimize_bit_field_compare,
2123 decode_field_reference, range_binop, make_range,
2124 build_range_check, fold_range_test, fold_truthop,
2125 optimize_minmax_comparison, extract_muldiv_1,
2126 fold_binary_op_with_conditional_arg, fold_mathfn_compare,
2127 fold_inf_compare, fold_single_bit_test, fold,
2128 fold_relational_hi_lo, nondestructive_fold_binary_to_constant):
2129 Likewise replace build with either build2 or build3.
2131 2004-05-20 Ian Lance Taylor <ian@wasabisystems.com>
2133 * system.h: Poison NO_RECURSIVE_FUNCTION_CSE.
2134 * calls.c (prepare_call_address): Don't test
2135 NO_RECURSIVE_FUNCTION_CSE.
2136 * config/arc/arc.h (NO_RECURSIVE_FUNCTION_CSE): Don't define.
2137 * config/arm/arm.h (NO_RECURSIVE_FUNCTION_CSE): Likewise.
2138 * config/avr/avr.h (NO_RECURSIVE_FUNCTION_CSE): Likewise.
2139 * config/frv/frv.h (NO_RECURSIVE_FUNCTION_CSE): Likewise.
2140 * config/i386/i386.h (NO_RECURSIVE_FUNCTION_CSE): Likewise.
2141 * config/ip2k/ip2k.h (NO_RECURSIVE_FUNCTION_CSE): Likewise.
2142 * config/iq2000/iq2000.h (NO_RECURSIVE_FUNCTION_CSE): Likewise.
2143 * config/m32r/m32r.h (NO_RECURSIVE_FUNCTION_CSE): Likewise.
2144 * config/m68k/m68k.h (NO_RECURSIVE_FUNCTION_CSE): Likewise.
2145 * config/mcore/mcore.h (NO_RECURSIVE_FUNCTION_CSE): Likewise.
2146 * config/mips/mips.h (NO_RECURSIVE_FUNCTION_CSE): Likewise.
2147 * config/stormy16/stormy16.h (NO_RECURSIVE_FUNCTION_CSE):
2149 * config/xtensa/xtensa.h (NO_RECURSIVE_FUNCTION_CSE): Likewise.
2150 * config/sh/sh.h: Remove NO_RECURSIVE_FUNCTION_CSE comment.
2151 * doc/tm.texi (Costs): Remove documentation for
2152 NO_RECURSIVE_FUNCTION_CSE.
2154 2004-05-20 Paul Brook <paul@codesourcery.com>
2156 * unwind-dw2-fde.c (get_cie_encoding): Handle dwarf3 CIE format.
2157 * unwind-dw2.c (extract_cie_info): Ditto.
2158 (_Unwind_FrameState): Change retaddr_column to word type.
2160 2004-05-20 Roger Sayle <roger@eyesopen.com>
2163 * fold-const.c (strip_compound_expr): Delete function.
2164 (count_cond): Delete function.
2165 (fold_binary_op_with_conditional_arg): Only perform transformations
2166 "a + (b?c:d) -> b ? a+c : a+d" and "(b?c:d) + a -> b ? c+a : d+a"
2167 when a is constant. This greatly simplifies this routine.
2169 * tree.c (saved_expr_p): Delete function.
2170 * tree.h (saved_expr_p): Delete function prototype.
2172 2004-05-20 Andrew Pinski <pinskia@physics.uc.edu>
2174 * common.opt (ftree-loop-optimize): Remove.
2176 2004-05-20 Daniel Jacobowitz <dan@debian.org>
2178 * Makefile.in (AR_FOR_TARGET, RANLIB_FOR_TARGET)
2179 (NM_FOR_TARGET): Use := and $(shell).
2180 (mainversion): Remove unused variable.
2182 2004-05-20 John David Anglin <dave.anglin@nrc-cnrc.gc.ca>
2184 * reorg.c (delete_from_delay_slot): If we have a barrier after the
2185 sequence containing the insn to be deleted, always reemit it.
2187 2004-05-20 Richard Henderson <rth@redhat.com>
2190 * tree-nested.c (get_chain_decl): Create a PARM_DECL by hand.
2191 * function.c (expand_function_start): Expand static_chain_decl by hand.
2192 * gimplify.c (create_tmp_var_name): Export.
2193 * tree-gimple.h (create_tmp_var_name): Declare.
2195 2004-05-20 Andrew Pinski <pinskia@physics.uc.edu>
2197 * rs6000.c (print_operand) <case 'z'>: Call
2198 mark_decl_referenced before assemble_name.
2200 2004-05-20 Zack Weinberg <zack@codesourcery.com>
2202 * cgraph.c (hash_node, eq_node, cgraph_node, cgraph_remove_node)
2203 (cgraph_varpool_hash_node, eq_cgraph_varpool_node)
2204 (cgraph_varpool_node): Hash on the pointer to the decl, not
2205 the DECL_UID. Fixes 64-bit bootstrap failure.
2207 2004-05-20 Richard Earnshaw <rearnsha@arm.com>
2209 * arm.md (ite_ne_zeroextractsi, ite_ne_zeroextractsi_shifted): Ensure
2210 we don't earlyclobber operands used in the second insn.
2212 2004-05-20 Steven Bosscher <stevenb@suse.de>
2214 * tree-mudflap.c: Formatting fixes.
2216 2004-05-20 J"orn Rennecke <joern.rennecke@superh.com>
2218 * Makefile.in (GTFILES): Add $(srcdir)/reload.h.
2219 * gengtype.c (open_base_files): Include reload.h in ifiles.
2220 * reload.h (reg_equiv_memory_loc_varray): Declare.
2221 * reload1.c (reg_equiv_memory_loc_varray): New variable.
2222 (init_reload): Initialize it.
2223 (reload): Instead of freeing reg_equiv_memory_loc, 'grow'
2224 reg_equiv_memory_loc_varray to size 0.
2225 * ra.c (reg_alloc): Allocate reg_equiv_memory_loc by
2226 growing reg_equiv_memory_loc_varray to the desired size.
2227 * passes.c (rest_of_handle_old_regalloc): Likewise.
2228 * reload.c: Amend comment on calling init_reload.
2230 2004-05-20 Nick Clifton <nickc@redhat.com>
2232 * config/c4x/c4x.h (INITIALIZE_TRAMPOLINE): Replace 'tramp'
2233 with 'TRAMP' in the body of the macro definition.
2235 2004-05-19 H.J. Lu <hongjiu.lu@intel.com>
2238 * config/ia64/ia64.c (ia64_expand_compare): Don't check
2239 TARGET_HPUX for TFmode compare. Abort if op0 is in TFmode and
2240 cmptf_libfunc isn't set.
2241 (ia64_init_libfuncs): Rename TFmode libfuncs using the HPUX
2243 (ia64_sysv4_init_libfuncs): New.
2245 * config/ia64/sysv4.h (TARGET_INIT_LIBFUNCS): New. Defined as
2246 ia64_sysv4_init_libfuncs.
2248 2004-05-20 Falk Hueffner <falk@debian.org>
2251 * libgcc2.c (__mulvsi3): Fix overflow test.
2253 2004-05-19 Andrew Pinski <pinskia@physics.uc.edu>
2256 * reg-stack.c (nan): Rename to ...
2258 (reg_to_stack): Rename nan to not_a_num.
2259 (subst_stack_regs_pat): Likewise.
2260 (convert_regs_entry): Likewise.
2261 (convert_regs_1): Likewise.
2263 * tree-cfg.c (find_case_label_for_value): Replace call to
2264 simple_cst_equal with tree_int_cst_equal.
2266 2004-05-19 Jeff Law <law@redhat.com>
2268 * tree-into-ssa.c (prepare_operand_for_rename): New argument is_use.
2269 If the operand is for a use, then strip away the SSA_NAME, do not
2270 strip away the SSA_NAME for a set. Never call release_ssa_name.
2271 (mark_def_sites): Appropriately pass additional argument to
2272 prepare_operand_for_rename. If a VDEF_RESULT is not an SSA_NAME,
2273 then set the VDEF_RESULT to the VDEF_OP.
2274 (set_def_block): Strip away any SSA_NAME to get to the real
2275 underlying variable.
2277 * tree-ssa-phiopt.c (value_replacement): Handle the case where
2278 the desired edge out of COND_BLOCK reaches OTHER_BLOCK rather than
2281 2004-05-19 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
2284 * loop-iv.c (iv_number_of_iterations): Use trunc_int_for_mode on
2287 PR rtl-optimization/15274
2288 * loop-iv.c (determine_max_iter, shorten_into_mode,
2289 iv_number_of_iterations): Handle constants correctly.
2290 * rtl.h (get_mode_bounds): Declaration changed.
2291 * stor-layout.c (get_mode_bounds): Return a constant suitable for
2294 PR rtl-optimization/14692
2295 * loop-unswitch.c (may_unswitch_on): Try folding the result.
2296 (unswitch_single_loop): Work correctly when may_unswitch_on
2297 returns a folded constant.
2299 * loop-iv.c (implies_p): Handle A < B ==> A + 1 <= B.
2300 * simplify-rtx.c (simplify_const_relational_operation): Optimize
2301 comparisons with mode bounds.
2303 * function.c (struct temp_slot): Add new field prev.
2304 (free_after_compilation, init_temp_slots): Free new fields.
2305 (cut_slot_from_list, insert_slot_to_list,
2306 temp_slots_at_level, max_slot_level, move_slot_to_level,
2307 make_slot_available): New functions.
2308 (assign_stack_temp_for_type, combine_temp_slots,
2309 find_temp_slot_from_address, preserve_temp_slots,
2310 preserve_rtl_expr_result, free_temp_slots,
2311 free_temps_for_rtl_expr, pop_temp_slots): Work with
2312 the new structure of lists.
2313 (mark_all_temps_used): Removed.
2314 * function.h (struct function): Field x_temp_slots
2315 replaced by x_used_temp_slots and x_avail_temp_slots.
2316 (temp_slots): Replaced by ...
2317 (used_temp_slots, avail_temp_slots): New.
2318 * tree.h (mark_all_temps_used): Declaration removed.
2320 * loop-iv.c (mark_single_set, get_biv_step_1, iv_analyze,
2321 simplify_using_assignment): Take the expression out of
2322 the expr_list wrapper.
2324 * loop-iv.c (iv_number_of_iterations): Improve clasification of
2327 2004-05-19 Roger Sayle <roger@eyesopen.com>
2329 * doc/tm.texi (TARGET_RTX_COSTS): Document that instruction
2330 costs should be based on code size when optimizing for size.
2332 2004-05-19 Paolo Bonzini <bonzini@gnu.org>
2334 * fold-const.c: Remove non-printable character 160.
2336 2004-05-19 Nick Clifton <nickc@redhat.com>
2338 * doc/invoke.texi (ARM Options): Fix typo.
2339 Remove descrption of -mshort-load-bytes and
2340 -mno-short-load-bytes.
2342 * config/ip2k/ip2k.c (ip2k_composite_xexp_not_uses_reg_p): Add
2343 missing parenthesis.
2344 * config/ip2k/ip2k.c (ip2k_unary_operator): Likewise.
2345 * config/ip2k/ip2k.c (ip2k_binary_operator): Likewise.
2347 2004-05-19 Steven Bosscher <stevenb@suse.de>
2349 * expr.c (store_constructor): Build loop start and end by hand
2350 instead of via loop functions from stmt.c.
2351 (expand_expr_real_1): Abort if we see an EXIT_EXPR or a LOOP_EXPR.
2352 Remove the code to expand them.
2354 * stmt.c (loop_stack): Remove this and everything related.
2355 (struct nesting, enum nesting_desc): Update.
2356 (expand_fixup): Likewise.
2357 (expand_loop_start, expand_start_loop_continue_elsewhere,
2358 expand_start_null_loop, expand_loop_continue_here, expand_end_loop,
2359 expand_end_null_loop, expand_continue_loop, expand_exit_loop,
2360 expand_exit_loop_if_false, expand_exit_loop_top_cond,
2361 expand_exit_something): Remove.
2362 * tree.h: Remove prototypes.
2364 2004-05-18 Mike Stump <mrs@apple.com>
2365 Devang Patel <dpatel@apple.com>
2367 * doc/tm.texi (TARGET_ASM_EMIT_UNWIND_LABEL): Add argument to indicate
2368 if this label is for eh.
2369 * config/darwin-protos.h (darwin_emit_unwind_label): Likewise.
2370 * config/darwin.c (darwin_emit_unwind_label): Likewise.
2371 * dwarf2out.c (output_call_frame_info): Likewise.
2372 * output.h (default_emit_unwind_label): Likewise.
2373 * target.h (unwind_label): Likewise.
2374 * varasm.c (default_emit_unwind_label): Likewise.
2376 * config/darwin.h (DWARF2_DEBUGGING_INFO, PREFERRED_DEBUGGING_TYPE,
2377 DEBUG_FRAME_SECTION, DEBUG_INFO_SECTION, DEBUG_ABBREV_SECTION,
2378 DEBUG_ARANGES_SECTION, DEBUG_MACINFO_SECTION, DEBUG_LINE_SECTION,
2379 DEBUG_LOC_SECTION, DEBUG_PUBNAMES_SECTION, DEBUG_STR_SECTION,
2380 DEBUG_RANGES_SECTION): Define.
2382 2004-05-18 Zack Weinberg <zack@codesourcery.com>
2384 * cgraph.c (hash_node, eq_node, cgraph_node, cgraph_remove_node)
2385 (cgraph_varpool_hash_node, eq_cgraph_varpool_node)
2386 (cgraph_varpool_node):
2387 Use DECL_UID for the key, not DECL_ASSEMBLER_NAME.
2388 (cgraph_function_possibly_inlined_p): Use the decl itself for
2389 the key, not DECL_ASSEMBLER_NAME.
2390 (change_decl_assembler_name): No need to muck with the hash tables.
2391 (cgraph_node_for_identifier, cgraph_varpool_node_for_identifier):
2393 * cgraphunit.c (cgraph_mark_inline_edge): Use the decl itself
2394 for the key, not DECL_ASSEMBLER_NAME.
2395 * cgraph.h: Remove prototypes of deleted functions.
2396 * varasm.c (mark_referenced): Just set TREE_SYMBOL_REFERENCED.
2397 (mark_decl_referenced): New function.
2398 * tree.h: Prototype mark_decl_referenced.
2399 * final.c (output_addr_const) <case SYMBOL_REF>: Call
2400 mark_decl_referenced before assemble_name.
2401 * c-decl.c (finish_decl): Use mark_decl_referenced.
2403 2004-05-18 Andrew Pinski <pinskia@physics.uc.edu>
2404 Jeff Law <law@redhat.com>
2406 * tree-ssa-phiopt.c (abs_replacement): New function.
2407 (empty_block_p): New function extracted from...
2408 (candidate_bb_for_phi_optimization): Break out empty block test.
2409 (conditional_replacement): Use empty_block_p.
2410 (value_replacement): Similarly.
2412 * Makefile.in (tree-ssa-phiopt.o): Depends on flags.h.
2413 * tree-ssa-phiopt.c: Include flags.h.
2414 (conditional_replacement): Remove argument names from prototype.
2415 Minor formatting and comment fixes.
2416 (tree_ssa_phiopt): If conditional_replacement returns false, then
2417 call value_replacement.
2418 (value_replacement): New function.
2420 2004-05-18 Jeff Law <law@redhat.com>
2422 * tree-ssa-phiopt.c (replace_phi_with_stmt): New function extracted
2423 from conditional_replacement.
2424 (candidate_bb_for_phi_optimization): Similarly.
2425 (conditional_replacement): Use replace_phi_with_stmt and
2426 candidate_bb_for_phi_optimization.
2428 * tree-ssa-phiopt.c: Fix various formatting issues.
2430 2004-05-18 Steven Bosscher <stevenb@suse.de>
2432 * config/s390/s390.c (s390_expand_movstr, s390_expand_clrstr,
2433 s390_expand_cmpmem): Do not use expand_start_loop and
2434 expand_end_loop, instead build the loop manually.
2436 2004-05-18 Alan Modra <amodra@bigpond.net.au>
2438 * config/rs6000/rs6000.md (ctrsi_internal3): Delete.
2439 (ctrsi_internal4, ctrdi_internal3, ctrdi_internal4): Delete.
2441 2004-05-17 Jeff Law <law@redhat.com>
2443 * toplev.h (flag_delete_null_pointer_checks): Move from here to...
2444 * flags.h (flag_delete_null_pointer_checks): Here.
2445 * tree-flow.h (cprop_into_successor_phis): Add argument to prototype.
2446 * tree-phinodes.c (resize_phi_node): Initialize PHI_ARG_NONZERO.
2447 (add_phi_arg, remove_phi_arg_num): Similarly.
2448 * tree-ssa-copy.c (cprop_into_successor_phis): Propagate nonzero
2449 property into PHI nodes.
2450 * tree-ssa-dom.c: Remove redundant inclusion of flags.h.
2451 (record_equivalences_from_phis): If all PHI arguments are known to be
2452 nonzero, then the result must be nonzero as well.
2453 (cprop_into_phis): Pass nonzero_vars bitmap to cprop_into_successor_phis.
2454 (record_equivalences_from_stmt): Check flag_delete_null_pointer_checks
2455 appropriately. Walk the USE-DEF chains and propagate nonzero property
2457 * tree.h (PHI_ARG_NONZERO): Define.
2458 (phi_arg_d): Add nonzero flag.
2460 2004-05-17 Zack Weinberg <zack@codesourcery.com>
2462 * f: Entire directory removed
2464 * c-common.h (CTI_G77_INTEGER_TYPE, CTI_G77_UINTEGER_TYPE)
2465 (CTI_G77_LONGINT_TYPE, CTI_G77_ULONGINT_TYPE)
2466 (g77_integer_type_node, g77_uinteger_type_node)
2467 (g77_longint_type_node, or g77_ulongint_type_node): Delete.
2468 * c-common.c (c_common_nodes_and_builtins): Do not initialize
2469 the above set of variables.
2471 * config/i386/uwin.h: No need to define WIN32_UWIN_TARGET.
2472 * doc/invoke.texi, doc/standards.texi: Remove cross-references
2475 2004-05-17 Steven Bosscher <stevenb@suse.de>
2477 PR tree-optimization/15438
2478 * tree-ssa-operands.c (get_expr_operands): Do not treat malloc
2479 attributed functions as pure or const.
2481 2004-05-17 Frank Ch. Eigler <fche@redhat.com>
2483 * tree-mudflap.c (mx_register_decls): Tolerate decl trees resulting
2484 from source code with errors.
2486 2004-05-17 Ranjit Mathew <rmathew@hotmail.com>
2488 Enable tree browser for all front ends.
2489 * Makefile.in (cc1): Moved @TREEBROWSER@ from here...
2490 (BACKEND): ...to here.
2492 2004-05-17 Jan Hubicka <jh@suse.cz>
2494 * i386.c (construct_container): Do not produce BLKmode registers.
2495 (classify_argument): Properly compute alignment of complex types.
2497 2004-05-17 H.J. Lu <hongjiu.lu@intel.com>
2500 * config/i386/i386.md (*movsi_insv_1_rex64): Changed to DImode
2501 and renamed to movdi_insv_1_rex64.
2502 (insv): Support SImode for 32bit and DImode for 64bit.
2504 2004-05-17 Richard Sandiford <rsandifo@redhat.com>
2506 * config/mips/mips.h (MASK_DEBUG_G, TARGET_DEBUG_G_MODE): Delete.
2507 (TARGET_SWITCHES): Remove debugg.
2508 * config/mips/mips.md (adddi3, ashldi3, ashrdi3, lshrdi3): Only handle
2510 (subdi3): Replace the define_expand with a define_insn, the latter
2511 renamed from subdi3_internal_3.
2512 (negdi2): Likewise negdi2_internal_2.
2513 (adddi3_internal_[12], subdi3_internal, ashldi3_internal{,2,3})
2514 (ashrdi3_internal{,2,3}, lshrdi3_internal{,2,3}): Remove patterns
2515 and associated define_splits.
2516 (adddi3_internal): Renamed from adddi3_internal_3.
2517 (ashldi3_internal): Likewise ashldi3_internal4.
2518 (ashrdi3_internal): Likewise ashrdi3_internal4.
2519 (lshrdi3_internal): Likewise lshrdi3_internal4.
2521 2004-05-17 Richard Sandiford <rsandifo@redhat.com>
2523 * optabs.c (expand_unop): Try implementing negation using subtraction
2526 2004-05-16 John David Anglin <dave.anglin@nrc-cnrc.gc.ca>
2528 * pa.md: Fix typo from last change. Remove DFmode move to and from
2531 2004-05-16 Richard Earnshaw <rearnsha@arm.com>
2534 * arm.md (ne_zeroextractsi): Convert to insn-and-split.
2535 (ne_zeroextractsi_shifted): New pattern.
2536 (ite_ne_zeroextractsi): New pattern.
2537 (ite_ne_zeroextractsi_shifted): New pattern.
2539 2004-05-15 Steven Bosscher <stevenb@suse.de>
2541 * c-gimplify.c (c_genericize):
2542 Replace calls via (*lang_hooks.foo) with lang_hooks.foo.
2543 * c-parse.in <expr_no_commas>: Likewise.
2544 <if_prefix>: Likewise.
2545 <select_or_iter_stmt>: Likewise.
2546 * expr.c (expand_var, expand_expr_real_1): Likewise.
2547 * expr.h (expand_expr): Make it a static inline function.
2548 Move prototype for expand_expr_real up before this.
2549 * fold-const.c (fold_relational_hi_lo, fold_relational_const):
2551 * gimplify.c (gimple_boolify, gimplify_addr_expr,
2552 gimplify_asm_expr, gimplify_expr): Likewise.
2553 * tree-cfg.c (dump_tree_cfg, dump_cfg_stats, tree_cfg2vcg,
2554 dump_function_to_file): Likewise.
2555 * tree-dfa.c (dump_immediate_uses, dump_dfa_stats): Likewise.
2556 * tree-inline.c (remap_block, save_body, walk_tree): Likewise.
2557 * tree-into-ssa.c (dump_tree_ssa): Likewise.
2558 * tree-mudflap.c (mf_varname_tree, mf_file_function_line_tree):
2560 * tree-optimize.c (execute_one_pass): Likewise.
2561 * tree-pretty-print.c (dump_generic_bb_buff): Likewise.
2562 * tree-ssa-alias.c (dump_alias_stats, dump_alias_info): Likewise.
2564 * objc/objc-act.c (objc_build_try_enter_fragment,
2565 objc_build_try_epilogue, objc_build_catch_stmt,
2566 objc_build_finally_prologue): Replace calls via (*lang_hooks.foo)
2567 with lang_hooks.foo ().
2569 2004-05-15 Roger Sayle <roger@eyesopen.com>
2571 * builtins.c (simplify_builtin_strcpy): Avoid use of chainon, so
2572 that simplify_builtin doesn't destructively modify its argument.
2574 2004-05-15 Richard Earnshaw <reanrsha@arm.com>
2576 * arm/lib1funcs.asm (_lshrdi3, _ashrdi3, _ashldi3): Add ASM
2577 implementations for ARM and Thumb.
2578 * arm/t-arm-elf (LIB1ASMFUNCS): Use them.
2580 2004-05-15 Thomas Quinot <quinot@act-europe.fr>
2582 * prefix.c (update_path): Replace PREFIX with KEY only
2583 when it matches a full directory name in PATH.
2585 2004-05-15 Richard Earnshaw <reanrsha@arm.com>
2587 * arm.h (TARGET_APCS_32): Delete.
2588 (TARGET_MMU_TRAPS): Delete.
2589 (TARGET_CPU_CPP_BUILTINS): Unconditionally define __APCS_32__. Never
2591 (CPP_SPEC): Remove checking of -mapcs-{26,32}.
2592 (ARM_FLAG_APCS_32, ARM_FLAG_MMU_TRAPS): Delete.
2593 (TARGET_SWITCHES): Remove alignment_traps and apcs-{26,32} switches.
2594 (prog_mode_type): Delete.
2595 (PROMOTE_MODE): Always promote unsigned for HImode.
2596 (SECONDARY_INPUT_RELOAD_CLASS): Simplify.
2597 (MASK_RETURN_ADDR): Simplify.
2598 * arm.c (arm_prgmode): Delete.
2599 (arm_override_options, arm_gen_rotated_half_load): Simplify.
2600 (print_multi_reg, output_return_instruction): Simplify.
2601 (arm_output_epilogue, arm_final_prescan_insn): Simplify.
2602 (arm_return_addr): Simplify.
2603 * arm.md (prog_mode): Delete.
2605 (zero_extendhisi2, extendhisi2, movhi, movhi_bytes): Simplify.
2606 (rotated_loadsi, movhi_insn_littleend, movhi_insn_bigend): Delete.
2607 (loadhi_si_bigend, loadhi_preinc, loadhi_shiftpreinc): Delete.
2608 (loadhi_shiftpredec): Delete.
2609 (peephole for post-increment on HImode load): Delete.
2610 * arm/crtn.asm: (FUNC_END): Simplify.
2611 * arm/lib1funcs.asm: Remove APCS-26 return macros.
2612 * arm/aof.h, arm/coff.h arm/elf.h arm/linux-elf.h arm/netbsd-elf.h
2613 * arm/netbsd.h arm/pe.h arm/semi.h arm/semiaof.h arm/unknown-elf.h
2614 * arm/vxworks.h arm/wince-pe.h: Tidy TARGET_DEFAULTS and
2615 MULTILIB_DEFAULTS as required.
2616 * arm/t-arm-elf arm/t-linux arm/t-pe arm/t-semi arm/t-wince-pe
2617 * arm/t-xscale-coff arm/t-xscale-elf arm/uclinux-elf: Tidy MULTILIB
2618 variables as required.
2619 * doc/invoke.texi (ARM Options): Remove obsolete flags.
2621 2004-05-15 Alan Modra <amodra@bigpond.net.au>
2623 * config/rs6000/rs6000.c (rs6000_va_arg <ABI_V4>): Don't use
2624 UNITS_PER_WORD to calculate gpr size. Re-instate code to set reg
2625 count to 8 to handle n_reg > 2.
2627 2004-05-15 Joseph S. Myers <jsm@polyomino.org.uk>
2629 * doc/extend.texi: Update WG14 URL.
2631 2004-05-15 Steven Bosscher <stevenb@suse.de>
2633 * basic-block.h (life_analysis, delete_noop_moves):
2635 * bt-load.c (branch_target_load_optimize): Don't take the
2636 insns stream as an argument. Update the life_analysis calls.
2637 * combine.c (combine_instructions): Update delete_noop_moves
2639 * flow.c (notice_stack_pointer_modification): Don't take the
2640 insns stream as an argument. Work on the flow graph.
2641 (life_analysis): Likewise.
2642 (delete_noop_moves): Likewise.
2643 * passes.c (rest_of_handle_stack_regs): Update reg_to_stack call.
2644 (rest_of_handle_life): Update life_analysis call.
2645 (rest_of_compilation): Likewise, and also update
2646 branch_target_load_optimize call.
2647 * ra.c (reg_alloc): Update life_analysis call.
2648 * reg-stack.c (reg_to_stack): Likewise. Also, don't take
2649 the insns stream as an argument.
2650 * regrename.c (copyprop_hardreg_forward): Update delete_noop_moves
2652 * rtl.c (branch_target_load_optimize, reg_to_stack): Update
2654 * value-profile.c (branch_prob): Update life_analysis call.
2655 * web.c (web_main): Work on the CFG, not on the insns stream.
2657 * config/ip2k/ip2k.c (ip2k_reorg): Update life_analysis calls.
2658 * config/m68hc11/m68hc11.c (m68hc11_reorg): Likewise.
2659 * config/sh/sh.c (sh_output_mi_thunk): Likewise.
2661 2004-05-15 Joseph S. Myers <jsm@polyomino.org.uk>
2664 * c-format.c (avoid_dollar_number): New function.
2665 (check_format_info_main): Call avoid_dollar_number when operand
2666 numbers might occur but has_operand_number == 0.
2668 2004-05-14 Richard Earnshaw <rearnsha@arm.com>
2670 * arm.md (all peephole2 patterns): Use predicates that validate
2671 register classes as appropriate.
2673 2004-05-14 Steven Bosscher <stevenb@suse.de>
2676 * tree-tailcall.c (process_assignment): Use STRIP_NOPS to
2677 ignore type conversions that do not inhibit tail calling.
2678 (find_tail_calls): Likewise.
2680 2004-05-14 Jeff Law <law@redhat.com>
2682 * tree-ssa-dom.c (redirect_edges_and_update_ssa_graph): Don't even
2683 bother marking bypassed virtuals for out-of-ssa. Instead merge
2684 bypassed virtuals into vars_to_rename just before into-ssa pass.
2686 * tree-ssa-dom.c (simplify_rhs_and_lookup_avail_expr): Reorganize
2687 so that it picks up more opportunities to eliminate ABS expressions
2688 or turn them into negations.
2690 2004-05-14 Steven Bosscher <stevenb@suse.de>
2692 * passes.c (rest_of_handle_null_pointer): Remove.
2693 (rest_of_handle_cse): Don't call rest_of_handle_null_pointer.
2694 (rest_of_compilation): Likewise.
2695 * rtl.h (delete_null_pointer_checks): Remove prototype.
2696 * gcse.c (rd_kill, rd_gen, reaching_defs, rd_out, ae_in, ae_out):
2697 Remove declarations.
2698 (get_bitmap_width, alloc_rd_mem, free_rd_mem, handle_rd_kill_set,
2699 compute_kill_rd, compute_rd, alloc_avail_expr_mem,
2700 free_avail_expr_mem, compute_ae_gen, expr_killed_p, compute_ae_kill,
2701 expr_reaches_here_p, computing_insn, def_reaches_here_p,
2702 can_disregard_other_sets, handle_avail_expr, classic_gcse,
2703 one_classic_gcse_pass, invalidate_nonnull_info,
2704 delete_null_pointer_checks_1, delete_null_pointer_checks,
2705 expr_reached_here_p_work): Remove.
2706 (gcse_main): Do not perform classic GCSE when optimizing for size.
2707 (alloc_pre_mem, free_pre_mem): Don't touch ae_in and ae_out, they
2710 2004-05-14 Andrew Pinski <pinskia@physics.uc.edu>
2712 PR optimization/14466
2713 * tree-complex.c (make_temp): Remove.
2714 (gimplify_val): Replace make_temp with make_rename_temp
2715 and add NULL as the second argument.
2716 (expand_complex_div_wide): Likewise.
2717 * tree-dfa.c (make_rename_temp): New function.
2718 * tree-flow.h (make_rename_temp): Declare.
2719 * tree-sra.c (make_temp): Remove.
2720 (lookup_scalar): Replace make_temp with make_rename_temp.
2721 (create_scalar_copies): Likewise.
2722 * tree-ssa-phiopt.c (conditional_replacement): When we
2723 get non gimple create a temporary variable to hold the
2726 2004-05-14 Paul Brook <paul@codesourcery.com>
2728 * stor-layout.c (update_alignment_for_field): Use
2729 targetm.align_anon_bitfield.
2730 * target-def.h (TARGET_ALIGN_ANON_BITFIELD): Define.
2731 (TARGET_INITIALIZER): Use it.
2732 * target.h (struct gcc_target): Add align_anon_bitfield.
2733 * config/arm/arm.c (arm_align_anon_bitfield): New function.
2734 (TARGET_ALIGN_ANON_BITFIELD): Define.
2735 * doc/tm.texi: Document TARGET_ALIGN_ANON_BITFIELD.
2737 2004-05-13 Zack Weinberg <zack@codesourcery.com>
2739 * tree.def (documentation): Remove mention of class 'b'.
2740 (BLOCK): Now in class 'x'.
2741 * c-common.c (verify_tree): Remove case 'b'.
2742 * c-typeck.c (same_translation_unit_p): Change 'b' to 'x'.
2743 * calls.c (calls_function_1): Control cannot get past the switch
2744 when exp is a BLOCK.
2745 * print-tree.c (print_node): Move code for class 'b' to the class
2746 'c'/'x' switch, as case BLOCK.
2747 * tree.c (tree_size, make_node_stat, tree_node_structure): Likewise.
2748 (unsafe_for_reeval, substitute_placeholder_in_expr)
2749 (stabilize_reference_1): Remove case 'b'.
2750 * tree-browser.c (browse_tree): Change all tests for TREE_CODE_CLASS
2751 of something being 'b' to tests for TREE_CODE of something being
2753 * tree-ssa-operands.c (get_expr_operands): Likewise.
2755 2004-05-13 Diego Novillo <dnovillo@redhat.com>
2757 * tree-gimple.c: Rename from tree-simple.c.
2758 * tree-gimple.h: Rename from tree-simple.h.
2759 * c-gimplify.c: Rename from c-simplify.c
2760 * Makefile.in, c-decl.c, gimple-low.c, gimplify.c,
2761 langhooks.c, tree-alias-ander.c, tree-alias-common.c,
2762 tree-complex.c, tree-dfa.c, tree-flow.h, tree-inline.c,
2763 tree-into-ssa.c, tree-iterator.c, tree-mudflap.c,
2764 tree-nested.c, tree-nomudflap.c, tree-outof-ssa.c, tree-sra.c,
2765 tree-ssa-alias.c, tree-ssa-ccp.c, tree-ssa-copyrename.c,
2766 tree-ssa-dce.c, tree-ssa-live.c, tree-ssa-pre.c, tree-ssa.c:
2769 2004-05-14 Ranjit Mathew <rmathew@hotmail.com>
2771 * doc/sourcebuild.texi: Mention libbanshee and libmudflap.
2773 2004-05-13 Andrew Pinski <pinskia@physics.uc.edu>
2775 * tree-ssa.c (delete_tree_ssa): XFREE
2776 bitmaps allocated with BITMAP_XMALLOC.
2778 * tree-ssa-pre.c (execute_pre): Free ephi_use_pool and
2779 idfs_cache at the end of the function.
2781 * tree-ssa-live.c (calculate_live_on_entry): Free saw_def
2782 at the end of the function.
2784 * tree-ssa-dce.c (perform_tree_ssa_dce): Free
2785 el at the end of the function.
2787 * tree-into-ssa.c (insert_phi_nodes_for): XFREE
2788 bitmaps allocated with BITMAP_XMALLOC.
2790 * loop-unswitch.c (unswitch_single_loop): Free bbs at
2793 * final.c (shorten_branches): Free uid_shuid before
2796 * bb-reoder.c (connect_traces): Free cold_traces at the end.
2798 2004-05-13 Jeff Law <law@redhat.com>
2800 * tree-ssa-live.c (calculate_live_on_entry): Ignore virtual
2801 variables. Simplify slightly by using USE_OP/DEF_OP instead
2802 of USE_OP_PTR/DEF_OP_PTR and dereferencing the result.
2804 * tree-into-ssa.c (compute_global_livein): Use EXECUTE_IF_SET_IN_BITMAP
2805 rather than iterating through the blocks testing each bit in
2806 livein to initialize the worklist.
2807 (mark_def_sites): Remove useless checks of KILLS for virtual
2810 * tree-ssa-forwprop.c (record_single_argument_cond_exprs): Accept
2811 new parameters for the statement and variable worklist as well
2812 as a bitmap of interesting SSA_NAMEs. Walk over the statement
2813 worklist recording interesting variables in the variable worklist
2814 and bitmap. Handle casts between integral and boolean types.
2815 (substitute_single_use_vars): Accept new parameters for the statement
2816 and variable worklist. When a substitution is made add a new
2817 entry to the statement worklist. Handle casts between integral
2819 (tree_ssa_forward_propagate_single_use_vars): Rework to pass
2820 worklists to children. Iterate until the statement worklist
2823 2004-05-13 Andrew Pinski <pinskia@physics.uc.edu>
2825 * tree-outof-ssa.c (rewrite_vars_out_of_ssa): Free map at
2826 the end of the block.
2828 * tree-into-ssa.c (def_blocks_free): XFREE bitmaps allocated
2829 with BITMAP_XMALLOC.
2831 * tree-ssa-alias.c (delete_alias_info): XFREE bitmaps allocated
2832 with BITMAP_XMALLOC.
2834 * tree-ssa-dom.c (tree_ssa_dominator_optimize):
2835 Free nonzero_vars at the end of the function.
2837 * convert.c (convert_to_integer): Make a CONVERT_EXPR when there is a
2838 need to generate code instead of a NOP_EXPR.
2840 2004-05-13 Ian Lance Taylor <ian@wasabisystems.com>
2842 * gcc.c (default_compilers): Fill out initializers for new Fortran
2845 2004-05-13 Paul Brook <paul@codesourcery.com>
2847 * config/arm/arm.h (PCC_BITFIELD_TYPE_MATTERS): Define.
2849 2004-05-13 Paul Brook <paul@codesourcery.com>
2851 * config/arm/arm.c (arm_default_short_enums): New function.
2852 (TARGET_DEFAULT_SHORT_ENUMS): Define.
2854 2004-05-13 Diego Novillo <dnovillo@redhat.com>
2856 Merge from tree-ssa-20020619-branch.
2858 * Makefile.in (reload1.o-warn): Add.
2859 (tree-alias-ander.o-warn): Add.
2862 (BANSHEELIB): Define.
2863 (BANSHEEINC): Define.
2864 (TREE_DUMP_H): Define.
2865 (TREE_SIMPLE_H): Define.
2866 (TREE_FLOW_H): Define.
2867 (LIBDEPS): Add BANSHEELIB.
2868 (INCLUDES): Add BANSHEEINC and GMPINC.
2869 (C_AND_OBJC_OBJS): Add c-simplify.o, tree-mudflap.o,
2870 c-mudflap.o and c-pretty-print.o.
2871 (C_OBJS): Remove c-pretty-print.o.
2872 (OBJS-common): Remove sibcall.o.
2873 Add tree-cfg.o, tree-dfa.o, tree-eh.o,
2874 tree-ssa.o, tree-optimize.o, tree-simple.o,
2875 tree-alias-type.o, gimplify.o, tree-pretty-print.o,
2876 tree-into-ssa.o, tree-outof-ssa.o, tree-alias-common.o,
2877 tree-ssa-ccp.o, @ANDER@, tree-ssa-dce.o, tree-ssa-copy.o,
2878 tree-nrv.o, tree-ssa-copyrename.o, tree-ssa-pre.o,
2879 tree-ssa-live.o, tree-ssa-operands.o, tree-ssa-alias.o,
2880 tree-ssa-phiopt.o, tree-ssa-forwprop.o, tree-nested.o,
2881 tree-ssa-dse.o, tree-ssa-dom.o, domwalk.o,
2882 tree-tailcall.o, gimple-low.o, tree-iterator.o,
2883 tree-phinodes.o, tree-ssanames.o, tree-sra.o,
2884 tree-complex.o, tree-ssa-loop.o, rtl-profile.o and
2886 (OBJC-archive): Add tree-nomudflap.o.
2887 (cc1): Add dependency on @TREEBROWSER@.
2888 (c-decl.o): Add dependency on TREE_DUMP_H.
2889 (c-dump.o): Likewise.
2890 (c-common.o): Add dependency on tree-iterator.h
2891 (c-pretty-print.o): Add dependency on DIAGNOSTIC_H.
2892 (gtype-desc.o): Add dependency on TREE_FLOW_H.
2893 (tree.o): Add dependency on tree-iterator.h,
2894 BASIC_BLOCK_H and TREE_FLOW_H.
2895 (tree-dump.o): Depend on TREE_DUMP_H instead of tree-dump.h.
2896 (langhooks.o): Add dependency on TREE_SIMPLE_H.
2897 (tree-alias-type.o, tree-alias-ander.o,
2898 tree-alias-common.o, tree-ssa.o, tree-into-ssa.o,
2899 tree-outof-ssa.o, tree-ssa-dse.o, tree-ssa-forwprop.o,
2900 tree-ssa-phiopt.o, tree-nrv.o, tree-ssa-copy.o,
2901 tree-ssa-dom.o, tree-ssanames.o, tree-phinodes.o,
2902 domwalk.o, tree-ssa-live.o, tree-ssa-copyrename.o,
2903 tree-ssa-pre.o, tree-cfg.o, tree-tailcall.o,
2904 tree-nested.o, tree-iterator.o, tree-dfa.o,
2905 tree-ssa-operands.o, tree-eh.o, tree-ssa-loop.o,
2906 tree-ssa-alias.o, tree-optimize.o, c-simplify.o,
2907 gimplify.o, gimple-low.o, tree-browser.o, tree-simple.o,
2908 tree-mudflap.o, c-mudflap.o, tree-nomudflap.o,
2909 tree-pretty-print.o, tree-ssa-dce.o, tree-ssa-ccp.o,
2910 tree-sra.o, tree-complex.o, tree-profile.o,
2911 rtl-profile.o): New rules.
2912 (function.o): Add dependency on basic-block.h
2913 (expr.o): Add dependency on tree-iterator.h.
2914 (sibcall.o): Remove.
2915 (profile.o): Depend on TREE_FLOW_H instead of TREE_H.
2916 (cfg.o): Add dependency on TIMEVAR_H.
2917 (cfghooks.o): Add dependency on TREE_FLOW_H.
2918 (reg-stack.o): Add dependency on basic-block.h.
2919 (GTFILES): Add hwint.h, tree-mudflaph.c, tree-flow.h,
2920 c-objc-common.c, c-common.c, c-parse.in, tree-ssanames.c,
2921 tree-eh.c, tree-phinodes.c, tree-cfg.c, tree-dfa.c,
2922 tree-ssa-ccp.c, tree-iterator.c, gimplify.c,
2923 tree-alias-type.h, tree-alias-common.h,
2924 tree-alias-type.c, tree-alias-common.c,
2925 tree-ssa-operands.h, tree-ssa-operands.c, tree-profile.c,
2926 rtl-profile.c and tree-nested.c.
2927 (gt-tree-alias-common.h, gt-tree-mudflap.h,
2928 gt-tree-ssa-ccp.h, gt-tree-eh.h, gt-tree-ssanames.h,
2929 gt-tree-iterator.h, gt-gimplify.h, gt-tree-phinodes.h,
2930 gt-tree-cfg.h, gt-tree-nested.h): New rules.
2931 (TEXI_GCCINT_FILES): Add cfg.texi and tree-ssa.texi.
2932 * basic-block.h: Include predict.h
2933 (struct edge_def): Add GTY marker.
2934 Change field 'insns' to be a union of tree and rtx.
2935 (EDGE_TRUE_VALUE): Define.
2936 (EDGE_FALSE_VALUE): Define.
2937 (EDGE_EXECUTABLE): Define.
2938 (struct bb_ann_d): Forward declare.
2939 (struct basic_block_def): Add GTY marker.
2940 Remove fields head_tree and end_tree.
2941 Add fields stmt_list, rbi and tree_annotations.
2942 (struct reorder_block_def): Define.
2943 (basic_block_info): Add GTY marker.
2944 (ENTRY_BLOCK_PTR, EXIT_BLOCK_PTR): Change to global
2945 variables instead of macros.
2946 (flow_call_edges_add): Remove declaration.
2947 (make_eh_edge): Remove declaration.
2948 (brief_dump_cfg, find_edge, tree_predicted_by_p,
2949 rtl_predicted_by_p, tree_predict_edge, rtl_predict_edge,
2950 predict_edge_def, rtl_make_eh_edge, find_basic_blocks,
2951 cleanup_cfg, delete_unreachable_blocks, merge_seq_blocks,
2952 alloc_rbi_pool, initialize_bb_rbi, free_rbi_pool): Declare.
2953 (try_redirect_by_replacing_jump): Modfiy return type to
2954 edge instead of bool.
2955 * bb-reorder.c (copy_bb): Call duplicate_block
2956 instead of cfg_layout_duplicate_bb.
2957 (copy_bb_p): Call can_duplicate_block_p instead of
2958 cfg_layout_can_duplicate_bb_p.
2959 * bitmap.c (bitmap_first_set_bit): Abort if word
2961 (bitmap_last_set_bit): Likewise.
2962 * builtin-types.def (DEF_FUNCTION_TYPE_2): Add
2963 (DEF_FUNCTION_TYPE_3): Add.
2964 * builtins.c (c_strlen): Make extern.
2965 (builtin_save_expr): New.
2966 (expand_builtin_nonlocal_goto): New.
2967 (expand_builtin_constant_p): Remove.
2968 (expand_builtin_mathfn): Call builtin_save_expr instead
2970 (expand_builtin_mathfn_2): Likewise.
2971 (expand_builtin_strcmp): Likewise.
2972 (expand_builtin_strncmp): Likewise.
2973 (expand_builtin_strcat): Likewise.
2974 (fold_builtin_cabs): Likewise.
2975 (expand_builtin_alloca): Don't trigger if -fmudflap is
2977 (build_string_literal): Set TREE_INVARIANT on new node.
2978 (expand_builtin_profile_fun): New.
2979 (round_trampoline_addr): New.
2980 (expand_builtin_init_trampoline): New.
2981 (expand_builtin_adjust_trampoline): New.
2982 (expand_builtin) <BUILT_IN_NEXT_ARG>: Call simplify_builtin_next_arg.
2983 <BUILT_IN_CONSTANT_P>: Return const0_rtx;
2984 <BUILT_IN_STACK_ALLOC, BUILT_IN_STACK_SAVE,
2985 BUILT_IN_STACK_RESTORE, BUILT_IN_NONLOCAL_GOTO,
2986 BUILT_IN_PROFILE_FUNC_ENTER, BUILT_IN_PROFILE_FUNC_EXIT,
2987 BUILT_IN_INIT_TRAMPOLINE, BUILT_IN_ADJUST_TRAMPOLINE>:
2989 (fold_builtin_expect): New.
2990 (fold_builtin_isascii): Don't return non-constant results
2992 (fold_builtin_isdigit): Likewise.
2993 (fold_builtin_1): New.
2994 (fold_builtin): Call it.
2995 (build_function_call_expr): Update call to build a new
2997 (purge_builtin_constant_p): Remove.
2998 (simplify_builtin, simplify_builtin_memcmp,
2999 simplify_builtin_strcmp, simplify_builtin_strncmp,
3000 simplify_builtin_strpbrk, simplify_builtin_strstr,
3001 simplify_builtin_strchr, simplify_builtin_strrchr,
3002 simplify_builtin_strcat, simplify_builtin_strncat,
3003 simplify_builtin_strspn, simplify_builtin_strcspn,
3004 simplify_builtin_next_arg, simplify_builtin_va_start,
3005 simplify_builtin_sprintf): New.
3006 * builtins.def (BUILT_IN_STACK_ALLOC,
3007 BUILT_IN_STACK_SAVE, BUILT_IN_STACK_RESTORE,
3008 BUILT_IN_INIT_TRAMPOLINE, BUILT_IN_ADJUST_TRAMPOLINE,
3009 BUILT_IN_NONLOCAL_GOTO, BUILT_IN_PROFILE_FUNC_ENTER,
3010 BUILT_IN_PROFILE_FUNC_EXIT): Define.
3011 * c-common.c: Include tree-iterator.h and hashtab.h.
3012 (lang_statement_code_p): Declare.
3013 (lang_gimplify_stmt): Declare.
3014 (fix_string_type): Set TREE_INVARIANT for value.
3015 (pointer_int_sum): Rely on build to set TREE_CONSTANT.
3017 (c_common_get_alias_set): Handle multiple type nodes
3018 referring to "the same" type, currently for C90 only.
3019 (c_add_case_label): Use create_artificial_label.
3020 (finish_label_address_expr): Don't set TREE_CONSTANT on
3022 (c_expand_expr): Don't handle STMT_EXPR.
3023 (handle_alias_attribute): Marke aliased variables to be
3025 (handle_nonnull_attribute): Initialize arg_num.
3026 (check_function_nonnull): Likewise.
3027 (c_walk_subtrees): New.
3028 (c_estimate_num_insns_1): Don't handle
3029 EXPR_WITH_FILE_LOCATION nor FILE_STMT.
3030 (c_decl_uninit_1): Remove.
3031 (c_decl_uninit): Remove.
3032 (c_warn_unused_result): New.
3033 * c-common.def (ASM_STMT): Change number of operands
3035 (FILE_STMT): Remove.
3036 * c-common.h (lang_expand_stmt, lang_expand_decl_stmt):
3038 (lang_gimplify_stmt): Add.
3039 (expand_stmt): Remove.
3040 (ASM_CV_QUAL, ASM_STRING, ASM_OUTPUTS, ASM_INPUTS,
3041 ASM_CLOBBERS, STMT_EXPR_WARN_UNUSED_RESULT,
3042 ASM_VOLATILE_P, FILE_STMT_FILENAME_NODE,
3043 FILE_STMT_FILENAME, STMT_LINENO, STMT_LINENO_FOR_FN_P,
3044 ASM_INPUT_P, DECL_C_HARD_REGISTER): Remove.
3045 (genrtl_do_pushlevel, genrtl_goto_stmt, genrtl_expr_stmt,
3046 genrtl_expr_stmt_value, genrtl_decl_stmt, genrtl_if_stmt,
3047 genrtl_while_stmt, genrtl_do_stmt, genrtl_return_stmt,
3048 genrtl_for_stmt, genrtl_break_stmt, genrtl_continue_stmt,
3049 genrtl_scope_stmt, genrtl_switch_stmt, genrtl_case_label,
3050 genrtl_compound_stmt, genrtl_asm_stmt,
3051 genrtl_cleanup_stmt, c_decl_uninit): Remove.
3052 (c_do_switch_warnings, c_gimplify_expr, c_walk_subtrees,
3053 c_tree_chain_matters_p, c_warn_unused_result,
3054 c_genericize, c_gimplify_stmt, stmt_expr_last_stmt):
3056 * c-convert.c (convert): Make convert work when
3057 converting to compatible types across translation unit.
3058 * c-decl.c: Include langhooks.h, tree-mudflap.h,
3059 tree-simple.h, diagnostic.h and tree-dump.h
3060 (merge_decls): Initialize oldtype to NULL.
3061 (finish_decl): Use DECL_HARD_REGISTER instead of
3062 DECL_C_HARD_REGISTER.
3063 (check_bitfield_type_and_width): Check for null
3064 lang_type_specific when check the precision of an enum.
3065 (grokdeclarator): Immediately layout an ARRAY_TYPE used
3066 in a pointer-to-array declarator.
3067 (finish_struct): Clear allocated struct lang_type.
3068 (finish_enum): Set enum_min and enum_max. Set
3069 TYPE_MIN/MAX_VALUE to the limits of the compatible type,
3070 not to the enumerators.
3071 (set_decl_nonlocal): New.
3072 (store_parm_decls): Use it via walk_tree.
3074 (finish_function): When !targetm.have_ctors_dtors,
3075 record static constructors and destructors here...
3076 (c_expand_body_1): ... not here.
3077 (c_expand_decl): Rename from c_expand_decl_stmt.
3078 Handle all C-specific expansion semantics.
3079 * c-dump.c (dump_stmt): Use EXPR_LOCUS instead of
3081 * c-format.c (handle_format_arg_attribute): Initialize
3083 * c-lang.c: Include tree-inline.h
3084 (LANG_HOOKS_EXPAND_DECL,
3085 LANG_HOOKS_FUNCTION_MISSING_NORETURN_OK_P,
3086 LANG_HOOKS_TREE_INLINING_WALK_SUBTREES,
3087 LANG_HOOKS_TREE_INLINING_TREE_CHAIN_MATTERS_P,
3088 LANG_HOOKS_GIMPLIFY_EXPR, LANG_HOOKS_TYPES_COMPATIBLE_P): Define.
3089 (LANG_HOOKS_DECL_UNINIT, LANG_HOOKS_RTL_EXPAND_STMT,
3090 LANG_HOOKS_TREE_INLINING_ESTIMATE_NUM_INSNS): Remove.
3091 (c_types_compatible_p): New.
3092 * c-mudflap.c: New file.
3093 * c-objc-common.c: Include tree-mudflap.h
3094 (start_cdtor, finish_cdtor): Collapse
3096 (build_cdtor): ...here. Update to construct a complete tree
3097 for the function. No need to call push_scope, pop_scope, or
3098 clear_last_expr, or set current_function_cannot_inline.
3099 (c_missing_noreturn_ok_p): Change prototype to return
3101 (c_objc_common_init): Don't set lang_missing_noreturn_ok_p.
3102 * c-opts.c (c_common_handle_option): Move handling of -fdump- to
3104 (c_common_post_options): Don't ever use rtl inlining.
3105 * c-parse.in: Use EXPR_LOCUS instead of STMT_LINENO.
3106 * c-pragma.c (handle_pragma_redefine_extname): Define
3108 (init_pragma): Activate #pragma redefine_extname for mudflap.
3109 * c-pretty-print.c (pp_c_statement): Remove FILE_STMT.
3110 (pp_c_initializer): Accept any type CONSTRUCTOR.
3111 (pp_c_initializer_list): Fix code expectations for VECTOR_TYPE and
3113 (decl_name_str): New local function.
3114 (pp_c_direct_declarator): Call it.
3115 (pp_c_primary_expression): Call it.
3116 (pp_c_id_expression): Call it.
3117 (pp_c_statement): Call it.
3118 (print_c_tree): Create new pp object.
3119 * c-pretty-print.h (pp_c_tree_decl_identifier,
3120 print_c_tree): Declare.
3121 * c-semantics.c: Include langhooks.h
3122 (lang_expand_stmt, lang_expand_decl_stmt,
3123 find_reachable_label_1, find_reachable_label,
3124 expand_unreachable_if_stmt, expand_unreachable_stmt,
3125 genrtl_do_stmt_1): Remove.
3126 (begin_stmt_tree): Don't check for changed filename.
3127 Call annotate_with_locus.
3128 (finish_stmt_tree): Don't set line for end of function.
3129 (build_stmt): Don't check type nodes for
3131 (build_stmt): Set TREE_SIDE_EFFECTS.
3132 Set EXPR_LOCUS instead of STMT_LINENO.
3133 (lang_expand_stmt, lang_expand_decl_stmt,
3134 expand_cond, genrtl_do_pushlevel, genrtl_goto_stmt, genrtl_expr_stmt,
3135 genrtl_expr_stmt_value, genrtl_decl_stmt, genrtl_if_stmt,
3136 genrtl_while_stmt, genrtl_do_stmt_1, genrtl_do_stmt,
3137 genrtl_return_stmt, genrtl_for_stmt, genrtl_break_stmt,
3138 genrtl_continue_stmt, genrtl_scope_stmt, genrtl_switch_stmt,
3139 genrtl_case_label, genrtl_compound_stmt, genrtl_asm_stmt,
3140 genrtl_cleanup_stmt, expand_stmt, find_reachable_label,
3141 find_reachable_label_1, expand_unreachable_if_stmt,
3142 expand_unreachable_stmt): Remove.
3143 (prep_stmt): Use EXPR_LOCUS instead of STMT_LINENO.
3144 * c-simplify.c: New file.
3145 * c-tree.h (C_LANG_TREE_NODE_CHAIN_NEXT): Define.
3146 (struct lang_type): Add fields enum_min and enum_max.
3147 (c_expand_decl_stmt, c_missing_noreturn_ok_p): Remove.
3148 (c_expand_decl, c_missing_noreturn_ok_p,
3149 c_types_compatible_p): Declare.
3150 * c-typeck.c (tagged_types_tu_compatible_p): Allow for
3151 compiler-generated TYPE_DECLs without a DECL_ORIGINAL_TYPE.
3152 (default_function_array_conversion): Rely on build to
3154 (parser_build_binary_op, pointer_diff): Likewise.
3155 (build_unary_op, build_binary_op): Likewise.
3157 (build_external_ref): Set TREE_INVARIANT.
3158 (build_c_cast, pop_init_level): Likewise.
3159 (process_init_element): Use ASM_VOLATILE_P.
3160 (build_asm_expr): Adapt to GENERIC/GIMPLE syntax.
3161 (c_finish_case): Call c_do_switch_warnings.
3162 * c.opt (fdump-): Remove.
3163 * calls.c (try_to_integrate): Remove.
3164 (prepare_call_address): Replace fndecl arg with a
3165 precomputed static chain value.
3166 (emit_call_1): New argument for full call expr.
3167 (flags_from_decl_or_type): Call special_function_p.
3168 (initialize_argument_information): Add argument
3170 (purge_reg_equiv_notes): New.
3171 (expand_call): Do not try to expand calls inline.
3172 (fixup_tail_calls): New.
3173 * cfg.c: Include timevar.h and ggc.h.
3174 (bb_pool, edge_pool): Remove.
3175 (ENTRY_BLOCK_PTR, EXIT_BLOCK_PTR): Declare.
3176 (entry_exit_blocks): Remove.
3177 (rbi_pool): Declare.
3178 (init_flow): Do not create pools.
3179 Allocate entry/exit block.
3180 (free_edge, alloc_block, expunge_block, unchecked_make_edge): Use GGC.
3181 (alloc_rbi_pool, free_rbi_pool, initialize_bb_rbi): New.
3182 (unlink_block): Clear b->prev_bb and b->next_bb.
3183 (compact_blocks): Clear all slots of BASIC_BLOCK array.
3184 (dump_flow_info): Work on trees too.
3185 (dump_cfg_bb_info): New.
3186 (brief_dump_cfg): New.
3187 * cfganal.c (need_fake_edge_p, flow_call_edges_add): Remove.
3189 * cfgbuild.c (rtl_make_eh_edge): Rename from
3190 make_eh_edge. Update all users.
3191 (find_basic_blocks): Don't call VARRAY_FREE on
3193 * cfgcleanup.c (outgoing_edges_match): Initialize newpos1
3195 (delete_unreachable_blocks): Return changed status.
3196 (merge_seq_blocks): New.
3197 * cfghooks.c: Include tree-flow.h
3198 (tree_register_cfg_hooks, ir_type): New.
3199 (redirect_edge_and_branch): Change return type to edge.
3200 (predict_edge, predicted_by_p, can_duplicate_block_p,
3201 duplicate_block, block_ends_with_call_p,
3202 block_ends_with_condjump_p, flow_call_edges_add): New.
3203 * cfghooks.h (redirect_edge_and_branch): Change return
3205 (predict_edge, predicted_by_p, can_duplicate_block_p,
3206 duplicate_block, block_ends_with_call_p,
3207 block_ends_with_condjump_p, flow_call_edges_add): Declare.
3208 (redirect_edge_and_branch): Change return type to edge.
3209 (struct cfg_hooks): Add fields block_ends_with_call_p,
3210 block_ends_with_condjump_p, flow_call_edges_add,
3211 predict_edge, predicted_by_p, can_duplicate_block_p and
3213 (tree_cfg_hooks, ir_type, tree_register_cfg_hooks): Declare.
3214 * cfglayout.c (cfg_layout_pool, cfg_layout_initialize_rbi): Removed.
3215 (fixup_reorder_chain): Use initialize_bb_rbi.
3216 (cfg_layout_can_duplicate_bb_p, cfg_layout_duplicate_bb): Hookized.
3217 (cfg_layout_initialize): Use cfg.c rbi pool manipulation functions.
3218 (can_copy_bbs_p, copy_bbs): Use cfghooks for bb duplication.
3219 (insn_locators_initialize): Use new info about blocks.
3220 * cfglayout.h (typedef struct reorder_block_def): Moved to
3222 (cfg_layout_can_duplicate_bb_p, cfg_layout_duplicate_bb): Declaration
3224 * cfgloop.c: Include tree.h and tree-flow.h.
3225 * cfgloop.h (create_loop_notes): Declare.
3226 * cfgloopmanip.c (create_loop_notes): New.
3227 * cfgrtl.c (cfg_layout_create_basic_block): Use initialize_bb_rbi.
3228 (rtl_cfg_hooks, cfg_layout_rtl_cfg_hook): Fill in can_duplicate_block_p
3229 and duplicate_block fields.
3230 (create_basic_block_structure): Don't look at
3232 (rtl_block_ends_with_call_p): New.
3233 (rtl_block_ends_with_condjump_p): New.
3234 (need_fake_edge_p): Moved from cfganal.c.
3235 (rtl_flow_call_edges_add): Moved from cfganal.c (flow_call_edges_add).
3236 (rtl_cfg_hooks): Add rtl_block_ends_with_call_p,
3237 rtl_block_ends_with_condjump_p, rtl_flow_call_edges_add.
3238 (cfg_layout_rtl_cfg_hooks): Ditto.
3239 * cgraph.c (cgraph_mark_reachable_node): Don't force nested
3240 functions to be reachable.
3241 * cgraphunit.c (decide_is_function_needed):
3242 * cgraphunit.c (decide_is_function_needed): Nested functions of extern
3243 inline functions don't need to be output.
3244 (cgraph_assemble_pending_functions): Don't do anything
3245 special for nested functions.
3246 (cgraph_mark_functions_to_output): Likewise.
3247 (cgraph_finalize_function): Don't zap DECL_STRUCT_FUNCTION.
3248 (cgraph_analyze_function): Use estimate_num_insns.
3249 (cgraph_mark_functions_to_output): Likewise.
3250 (cgraph_estimate_growth, cgraph_clone_inlined_nodes): Likewise.
3251 (cgraph_expand_function): Allow functions to not be
3253 (cgraph_remove_unreachable_nodes):
3254 (cgraph_recursive_inlining_p): Simplify.
3255 (lookup_recursive_calls,
3256 cgraph_decide_recursive_inlining): New.
3257 (cgraph_decide_inlining_*): Update calls of
3259 * combine.c (get_pos_from_mask): Always set *plen.
3260 * common.opt (fdump-, fmudflap, fmudflapth, fmudflapir,
3261 ftree-based-profiling, ftree-ccp, ftree-ch,
3262 ftree-combine-temps, ftree-copyrename, ftree-dce,
3263 ftree-dominator-opts, ftree-dse, ftree-loop-optimize,
3264 ftree-points-to, ftree-pre, ftree-sra, ftree-ter,
3266 * config.in (HAVE_LD_PIE, HAVE_BANSHEE, PREFIX_INCLUDE_DIR):
3268 * configure.ac: Add --enable-tree-browser option.
3269 Add --with-libbanshee option.
3270 Add GMPLIBS and GMPINC.
3271 * configure: Regenerate.
3272 * coverage.c (tree_ctr_tables): New.
3273 (coverage_counter_alloc): Use it.
3274 (build_ctr_info_value): Ditto.
3275 (coverage_counter_ref): Ditto. Rename to rtl_coverage_counter_ref.
3276 (tree_coverage_counter_ref): New.
3277 * coverage.h (coverage_counter_ref): Remove declaration.
3278 (rtl_coverage_counter_ref): Declare.
3279 (tree_coverage_counter_ref): Declare.
3280 * cppexp.c (append_digit): Rearrange unsignedp/overflow setting.
3281 (eval_token, num_binary_op, num_part_mul, num_div_op): Likewise.
3282 * cse.c (fold_rtx): Do not handle CONSTANT_P_RTX.
3283 (struct cse_basic_block_data): Rename enum values to not
3284 conflict with profile.h; update all uses.
3285 * dbxout.c (dbxout_symbol_location): Don't mention integrate.c
3287 * defaults.h (TRAMPOLINE_ALIGNMENT): Move from function.c.
3288 * diagnostic.h (debug_output_buffer, dump_generic_node,
3289 print_generic_stmt, print_generic_stmt_indented,
3290 print_generic_expr, print_generic_decl,
3291 debug_generic_expr, debug_generic_stmt, debug_c_tree):
3293 * dominance.c: Cache immediate dominators.
3294 * domwalk.c: New file.
3295 * domwalk.h: New file.
3296 * dwarf2out.c (is_fortran): Support DW_LANG_Fortran95.
3297 (gen_subprogram_die): Generate a DIE for a named
3299 (loc_descriptor_from_tree): Treat RESULT_DECL like VAR_DECL.
3300 (add_location_or_const_value_attribute): Likewise.
3301 (add_bound_info): Likewise.
3302 (gen_decl_die): Likewise.
3303 * emit-rtl.c (maybe_set_first_label_num): New.
3304 (copy_most_rtx): Don't copy the integrated flag.
3305 Copy the new return_val flag.
3306 * et-forest.c (MAX_NODES): Define.
3307 (record_path_before_1): Abort if len is greater than
3309 * except.c (gen_eh_region, gen_eh_region_cleanup, gen_eh_region_try,
3310 gen_eh_region_catch, gen_eh_region_allowed,
3311 gen_eh_region_must_not_throw, get_eh_region_number,
3312 get_eh_region_may_contain_throw, get_eh_region_tree_label,
3313 set_eh_region_tree_label, expand_resx_expr): New.
3314 (expand_eh_region_start, expand_start_catch): Use them.
3315 (expand_end_catch): Tidy.
3316 (note_eh_region_may_contain_throw): Take region argument.
3317 (note_current_region_may_contain_throw): New.
3318 (get_exception_filter): Export.
3319 (collect_eh_region_array): Export.
3320 (remove_unreachable_regions): Check ERT_TRY based on reachability
3321 of catches, not reachability of continue_label. Never remove
3322 ERT_MUST_NOT_THROW regions.
3323 (collect_rtl_labels_from_trees): New.
3324 (convert_from_eh_region_ranges): Use it.
3325 (connect_post_landing_pads): Handle dying cleanups.
3326 (struct reachable_info): Add callback data.
3327 (add_reachable_handler): Invoke the callback.
3328 (foreach_reachable_handler): New.
3329 (reachable_handlers): Use it.
3330 (arh_to_landing_pad, arh_to_label): New.
3331 (can_throw_internal_1): Split out from can_throw_internal.
3332 (can_throw_external_1): Similarly.
3334 * explow.c (emit_stack_save): Remove savearea mode check.
3335 (update_nonlocal_goto_save_area): New.
3336 (allocate_dynamic_stack_space): Use it.
3337 (probe_stack_range): Never emit loop notes.
3338 * expmed.c (extract_fixed_bit_field): Always propagate the
3339 target for the shift if it is a REG.
3340 * expr.c: Include tree-iterator.h
3341 (is_zeros_p): Remove.
3342 (categorize_ctor_elements_1, categorize_ctor_elements): New.
3343 (count_type_elements): New.
3344 (mostly_zeros_p): Use them.
3345 (expr_wfl_stack): Remove.
3346 (convert_move): Do nothing if to and from are the same.
3347 (emit_block_move_via_loop): Don't emit LOOP notes.
3348 (emit_move_insn): Don't handle CONSTANT_P_RTX.
3349 (emit_move_insn_1): Don't generate inline warnings.
3350 (expand_vars, expand_var): Split from ...
3351 (expand_expr_1): ... here.
3352 (expand_expr_real, expand_expr_real_1): Use new macros
3353 EXPR_LOCATION and EXPR_HAS_LOCATION.
3354 * expr.h (simplify_builtin_fputs,
3355 simplify_builtin_strcpy, simplify_builtin_strncpy,
3356 expand_var, fixup_tail_calls,
3357 update_nonlocal_goto_save_area): Declare.
3358 (lookup_static_chain, expand_inline_function,
3359 mark_seen_cases): Remove.
3360 (prepare_call_address): Change type of 2nd argument to
3362 * final.c (profile_function): Update static chain test.
3363 (final): Don't look at RTX_INTEGRATED_P.
3364 * flags.h (flag_mudflap, flag_mudflap_threads,
3365 flag_mudflap_ignore_reads, flag_tree_pre, flag_tree_ccp,
3366 flag_tree_dce, flag_tree_combine_temps,
3367 flag_tree_live_range_split, flag_tree_dom, flag_tree_ch,
3368 flag_tree_dse, flag_tree_sra, flag_tree_copyrename,
3369 flag_tree_points_to): Declare.
3370 (enum pta_type): Declare.
3371 * flow.c (lang_missing_noreturn_ok_p): Remove.
3372 (check_function_return_warnings): Remove.
3373 (update_life_info): Update comments.
3374 (free_basic_block_vars): Don't call VARRAY_FREE for
3376 (regno_uninitialized): Remove.
3377 * fold-const.c (int_const_binop): Make extern.
3378 (non_lvalue): Rely on build to set TREE_CONSTANT.
3379 (operand_equal_p): Replace only_const argument with
3380 flags. Allow pure functions if OEP_PURE_SAME.
3381 (fold): Use OEP_ONLY_CONST.
3382 (invert_truthvalue) <NOP_EXPR> Break if argument is of
3384 (fold_relational_hi_lo,
3385 nondestructive_fold_binary_to_constant,
3386 nondestructive_fold_unary_to_constant,
3387 fold_read_from_constant_string): New.
3388 * function.c (struct function): Remove calls_constant_p.
3389 (current_function_calls_constant_p): Remove.
3390 (inline_function_decl): Remove.
3391 (put_var_into_stack): Don't use it.
3392 (fix_lexical_addr): Likewise.
3393 (inline_function_decl): Remove extern declaration.
3394 (TRAMPOLINE_ALIGNMENT): Move to defaults.h.
3395 (trampolines_created): Move to varasm.c.
3396 (free_after_compilation): Update for removed fields.
3397 (allocate_struct_function): Likewise.
3398 (delete_handlers, lookup_static_chain): Remove.
3399 (fix_lexical_addr): Don't consider non-local variable refs.
3400 (trampoline_address): Remove.
3401 (round_trampoline_addr): Move to builtins.c.
3402 (adjust_trampoline_addr): Remove.
3403 (expand_function_start): Update for changes to static chain
3404 and nonlocal goto handling.
3405 (initial_trampoline): Move to varasm.c.
3406 (expand_function_end): Don't build trampolines or kill
3407 unreferenced nonlocal goto labels.
3408 (free_after_compilation): Don't set it.
3409 (expand_function_end): Likewise.
3410 (setjmp_vars_warning): Rename from
3411 uninitialized_vars_warning, remove uninitialized vars warning.
3412 (uninitialized_vars_warning): Remove old comment