OSDN Git Service

e1b7265e6f267f25d053adcd840fc541766204c0
[pf3gnuchains/gcc-fork.git] / gcc / ChangeLog
1 2005-04-19  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
2
3         * system.h (fopen, fdopen, freopen): Define these to the unlocked
4         libiberty functions.
5
6 2005-04-19  Kazu Hirata  <kazu@cs.umass.edu>
7
8         PR tree-optimization/21096
9         * tree-ssa-copy.c (fini_copy_prop): Free cached_last_copy_of.
10
11 2005-04-19  Alan Modra  <amodra@bigpond.net.au>
12
13         PR target/21098
14         * config/rs6000/rs6000.c (rs6000_elf_end_indicate_exec_stack): New.
15         * config/rs6000/linux64.h (TARGET_ASM_FILE_END): Use the above.
16
17 2005-04-19  Alexandre Oliva  <aoliva@redhat.com>
18
19         * tree-cfg.c (dump_function_to_file): Use cfun info only if it
20         refers to the function being dumped.
21
22 2005-04-18  Daniel Jacobowitz  <dan@codesourcery.com>
23
24         * varasm.c (assemble_start_function): Remove reset of in_section.
25
26 2005-04-18  James A. Morrison  <phython@gcc.gnu.org>
27
28         PR tree-optimization/21085
29         * fold-const (fold_binary): Don't change X % -C to X % C if C has
30         overflowed.
31
32 2005-04-19  Ben Elliston  <bje@au.ibm.com>
33
34         * doc/invoke.texi (Optimize Options): Refer to the correct
35         optimisation flag -ftree-dominator-opts, not -ftree-dom.
36
37 2005-04-18  Christopher Jaillet <christophe.jaillet@wanadoo.fr>
38
39         * config/rs6000/rs6000.c (machopic_output_stub):  Increase
40         alloca argument to be big enough.
41
42 2005-04-18  Alexandre Oliva  <aoliva@redhat.com>
43
44         PR middle-end/21049
45         * tree-cfg.c (dump_function_to_file): Do not crash if cfun or
46         cfun->cfg are NULL.
47
48 2005-04-18  Tom Tromey  <tromey@redhat.com>
49
50         * cgraphunit.c (cgraph_finalize_compilation_unit): Fix a comment
51         typo.
52
53 2005-04-18  Richard Henderson  <rth@redhat.com>
54
55         * config/alpha/alpha.c (alpha_split_atomic_op): New.
56         (alphaev5_insn_pipe): Add LD_L, ST_C, MB types.
57         (alphaev4_insn_pipe): Likewise.  Correct IST and LDSYM pipes.
58         * config/alpha/alpha-protos.h: Update.
59         * config/alpha/alpha.md (UNSPECV_MB, UNSPECV_LL, UNSPECV_SC): New.
60         (UNSPECV_ATOMIC, UNSPECV_CMPXCHG, UNSPECV_XCHG): New.
61         (attr type): Add ld_l, st_c, mb.
62         (andsi_internal, andnotsi3, iorsi_internal, one_cmplsi_internal,
63         iornotsi3, xorsi_internal, xornotsi3): New.
64         * config/alpha/ev4.md (ev4_ld): Add ld_l.
65         (ev4_ist_c, ev4_mb): New.
66         * config/alpha/ev5.md (ev5_st): Add st_c, mb.
67         (ev5_ld_l): New.
68         * config/alpha/ev6.md (ev6_ild): Add ld_l.
69         (ev6_ist): Add st_c.
70         (ev6_mb): New.
71         * config/alpha/sync.md: New file.
72
73 2005-04-18  Richard Henderson  <rth@redhat.com>
74
75         * builtins.c (expand_builtin_sync_operation): Fold nand to and
76         for constants.
77
78         * optabs.c (expand_sync_operation): Fix typo expanding nand to and.
79
80 2005-04-18  Devang Patel  <dpatel@apple.com>
81
82         * config/rs6000/atlivec.md (mulv4si3): New pattern.
83         
84 2005-04-18  James A. Morrison  <phython@gcc.gnu.org>
85
86         PR tree-optimization/20922
87         * fold-const.c (fold_binary): Fold X - c > X and X + c < X to false.
88         Fold X + c >= X and fold X - c <= X to true.
89
90 2005-04-18  James A. Morrison  <phython@gcc.gnu.org>
91
92         * config/ia64/unwind-ia64.c (emergency_reg_state_free): Make an
93         unsigned int.
94         (emergency_labeled_state_free): Likewise.
95
96 2005-04-18  Nick Clifton  <nickc@redhat.com>
97
98         * config/h8300/h8300.md (jump): Remove prescan parameter from
99         calls to final_scan_insn.
100
101         * config/arc/arc.c (arc_output_function_epilogue): Remove prescan
102         parameter from calls to final_scan_insn.
103
104         * config.gcc (m68hc12): Use the m68hc11.opt file for target
105         specific options.
106         (v850e, v850e1): Use the v850.opt file for target specific
107         options.
108
109 2005-04-18  Kazu Hirata  <kazu@cs.umass.edu>
110
111         PR tree-optimization/21001
112         * tree-optimize.c (init_tree_optimization_passes): Move the
113         first pass_forwprop immediately before pass_vrp.
114
115 2005-04-17  Ian Lance Taylor  <ian@airs.com>
116
117         * c-common.def (SIZEOF_EXPR, ARROW_EXPR, ALIGNOF_EXPR): Remove.
118         * c-common.c (c_sizeof_or_alignof_type): Change second parameter
119         from enum tree_code op to bool is_sizeof.
120         * c-common.h (c_sizeof_or_alignof_type): Update declaration.
121         (c_sizeof, c_alignof): Update calls to c_sizeof_or_alignof_type.
122         * c-pretty-print.c (pp_c_postfix_expression): Remove ARROW_EXPR
123         case.
124         (pp_c_unary_expression): Remove SIZEOF_EXPR and ALIGNOF_EXPR
125         cases.
126         (pp_c_expression): Remove ARROW_EXPR, SIZEOF_EXPR, and
127         ALIGNOF_EXPR cases.
128
129 2005-04-17  Ian Lance Taylor  <ian@airs.com>
130
131         * system.h: Poison DONT_ACCESS_GBLS_AFTER_EPILOGUE.
132
133 2005-04-17  Richard Henderson  <rth@redhat.com>
134
135         * config/alpha/alpha.c (va_list_skip_additions): Only define if
136         TARGET_ABI_OSF.
137         (TARGET_STDARG_OPTIMIZE_HOOK): Likewise.
138         (alpha_stdarg_optimize_hook): Likewise.  Allow for one more round
139         of indirection through ssa names while looking for the gpr counter
140         field.
141         (alpha_setup_incoming_varargs) <TARGET_ABI_OSF>: Make use of the
142         saved va_list_gpr_size and va_list_fpr_size.
143
144 2005-04-17  Kazu Hirata  <kazu@cs.umass.edu>
145
146         * tree-vrp.c (compare_values): Check that VAL1 and VAL2 are
147         both pointers or both integers.
148
149         * tree-vrp.c (maybe_add_assert_expr): Don't assert
150         ASSERT_EXPRs for single-use variable.
151
152         * tree-into-ssa.c: Fix a comment typo.
153
154 2005-04-17  Richard Sandiford  <rsandifo@redhat.com>
155
156         * config/mips/iris6.h (DRIVER_SELF_SPECS): Check -march as well as
157         -mipsN before forcing a default of -mips2.
158
159 2005-04-17  Kazu Hirata  <kazu@cs.umass.edu>
160
161         * predict.h (IS_TAKEN): Remove.
162         * rtl.h (NOTE_PREDICTION): Likewise.
163
164         * modulo-sched.c (CFG_HOOKS): Remove.
165
166         * c-parser.c (N_C_TTYPES): Remove.
167
168         * tree-flow-inline.h (get_stmt_operands): Remove.
169         * lambda-code.c, tree-ssa-loop-unswitch.c,
170         tree-ssa-operands.c, tree-ssa-pre.c, tree-ssa-propagate.c,
171         tree-ssa-sink.c, tree-ssa.c, tree-tailcall.c,
172         tree-vect-transform.c, tree-vectorizer.c, tree-vrp.c): Remove
173         calls to get_stmt_operands.
174         * doc/tree-ssa.texi: Don't mention get_stmt_operands.
175
176 2005-04-17  Richard Henderson  <rth@redhat.com>
177
178         PR target/20375
179         * config/alpha/alpha.c (alpha_setup_incoming_varargs): Advance a copy
180         of CUMULATIVE_ARGS past the last named argument.
181         (alpha_va_start): Expect pretend_args_size only if strictly less than
182         6 named arguments.
183
184 2005-04-17  Kazu Hirata  <kazu@cs.umass.edu>
185
186         PR middle-end/21024
187         * builtins.c (expand_builtin_strcat): Convert the result of
188         strlen to the right type.
189         * fold-const.c (fold_binary) <PLUS_EXPR>: Use fold_convert to
190         avoid creating type mismatches.
191         <GE_EXPR>: Pass op0 and op1 to fold_build2 to avoid creating
192         type mismatches.
193
194         * c-lex.c (WCHAR_TYPE_SIZE, WCHAR_BYTES): Remove.
195
196 2005-04-16  Richard Henderson  <rth@redhat.com>
197
198         PR target/21051
199         * builtins.c (expand_builtin) <BUILT_IN_BOOL_COMPARE_AND_SWAP_*>:
200         Use the mode of boolean_type_node when the user doesn't provide one.
201         * config/ia64/sync.md (sync_lock_release<I48MODE>): Use operand 1.
202
203 2005-04-16  Alexandre Oliva  <aoliva@redhat.com>
204
205         PR target/20126
206         * loop.c (loop_givs_rescan): Handle non-replaceable (plus (reg)
207         (const)).
208
209         * tree-scalar-evolution.c (interpret_rhs_modify_expr): Fix typo in
210         comment.
211
212 2005-04-16  Roger Sayle  <roger@eyesopen.com>
213             Steven Bosscher  <stevenb@suse.de>
214
215         * fold-const.c (fold_binary_to_constant): Delete obsolete comment.
216         (fold_unary_to_constant): Likewise.
217
218 2005-04-16  Kazu Hirata  <kazu@cs.umass.edu>
219
220         * basic-block.h: Adjust the value of PROP_SCAN_DEAD_STORES,
221         PROP_ASM_SCAN.
222
223 2005-04-16  Gerald Pfeifer  <gerald@pfeifer.com>
224
225         * doc/install.texi (Specific): Avoid using asterisks in @anchor
226         names related to target triplets.
227         Remove i?86-*-esix from platform directory.
228         Remove powerpc-*-eabiaix from platform directory.
229
230 2005-04-16  Joseph S. Myers  <joseph@codesourcery.com>
231
232         PR middle-end/20491
233         * config/ia64/ia64.c (rtx_needs_barrier): Recurse instead of
234         falling through from SUBREG case to REG.
235
236 2005-04-15  Roger Sayle  <roger@eyesopen.com>
237
238         * fold-const.c (fold_relational_hi_lo): Delete function and prototype.
239         (fold_binary): Update comment mentioning fold_relational_hi_lo.
240         (fold_binary_to_constant): Simplify using fold_binary.
241         (fold_unary_to_constant): Likewise, simplify using fold_unary.
242
243 2005-04-15  Rainer Orth  <ro@TechFak.Uni-Bielefeld.DE>
244
245         * gthr-posix.c (pthread_cancel): Define.
246         (pthread_mutexattr_init): Likewise.
247         (pthread_mutexattr_settype): Likewise.
248         (pthread_mutexattr_destroy): Likewise.
249
250 2005-04-15  David S. Miller  <davem@davemloft.net>
251
252         PR target/20673
253         * config/sparc/sparc.h (sparc_hard_reg_printed): Mark as GTY(()).
254
255 2005-04-15  Kazu Hirata  <kazu@cs.umass.edu>
256
257         PR tree-optimization/21031
258         * tree-ssa-forwprop.c (ssa_name_defined_by_comparison_p): New.
259         (forward_propagate_into_cond_1): Call it.  Forward propagate
260         integer-integer casts into COND_EXPRs.
261
262 2005-04-15  Dave Korn  <dave.korn@artimi.com>
263
264         * gcc.c (default_compilers): Clarify obscure error message when
265         reading from standard input.
266
267 2005-04-15  Kazu Hirata  <kazu@cs.umass.edu>
268
269         * basic-block.h (PROP_EQUAL_NOTES): Remove.
270         * flow.c (propagate_one_insn): Don't use PROP_EQUAL_NOTES.
271
272         * tree-ssa-alias.c (init_alias_info): Remove a call to
273         get_stmt_operands.
274
275 2005-04-15  Andrew MacLeod  <amacleod@redhat.com>
276
277         * tree-vect-analyze.c (vect_stmt_relevant_p): Process immediate uses
278         of non-virtual PHI nodes like we use to.
279
280 2005-05-15  Paolo Bonzini  <bonzini@gnu.org>
281
282         * genattrtab.c (ATTR_EQ_ATTR_P): Remove.
283         (attr_copy_rtx): Do not use it.
284
285 2005-04-15  Andrew Macleod  <amacleod@redhat.com>
286
287         * doc/tree-ssa.texi: Grammer/abbreviation updates.
288
289 2005-04-15  Diego Novillo  <dnovillo@redhat.com>
290
291         * tree-vect-transform.c (vectorizable_store): Mark necessary
292         objects in the vectorized store needing renaming.  Update the
293         SSA graph for V_MAY_DEF operands in the original store.
294
295 2005-04-14  Daniel Berlin <dberlin@dberlin.org>
296
297         * tree-ssa-pre.c (compute_avail): It's okay to have
298         TREE_INVARIANT's here, and value number the resulting expressions.
299         (create_expression_by_pieces): Make sure operands that were
300         min_invariant when we started, stay that way.
301
302 2005-04-15  David Edelsohn  <edelsohn@gnu.org>
303
304         * doc/install.texi (*-ibm-aix*): Add comment about system limits.
305
306 2005-04-15  Kazu Hirata  <kazu@cs.umass.edu>
307
308         PR tree-optimization/20936.
309         * tree-ssa-ccp.c (visit_assignment): Fix a typo.
310
311 2005-04-15  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
312
313         * doc/invoke.texi: Fix typos.
314         * doc/md.texi: Likewise.
315         * doc/rtl.texi: Likewise.
316         * doc/sourcebuild.texi: Likewise.
317         * doc/tm.texi: Likewise.
318
319 2005-04-15  Uros Bizjak  <uros@kss-loka.si>
320
321         PR tree-optimization/21004
322         * convert.c (convert_to_integer): Convert ceilf, ceill, floorf
323         and floorl in c99 mode only.
324         * builtins.c (expand_builtin_int_roundingfn): Assert that
325         fallback_fndecl is not NULL_TREE.
326
327 2005-04-15  Kazu Hirata  <kazu@cs.umass.edu>
328
329         * cfgrtl.c (purge_all_dead_edge): Remove an unused argument.
330         * basic-block.h: Update the prototype for
331         purge_all_dead_edges.
332         * cfgexpand.c (tree_expand_cfg): Update a call to
333         purge_all_dead_edges.
334         * combine.c (combine_instructions): Likewise.
335         * passes.c (rest_of_handle_old_regalloc, rest_of_handle_cse,
336         rest_of_handle_cse2, rest_of_handle_gcse,
337         rest_of_handle_postreload): likewise.
338
339 2005-04-15  Alexandre Oliva  <aoliva@redhat.com>
340
341         PR middle-end/20739
342         * gimplify.c (gimplify_addr_expr): Compensate for removal of
343         e.g. cv-qualification conversions.
344
345 2005-04-14  Mike Stump  <mrs@apple.com>
346
347         * config/darwin-c.c (framework_construct_pathname): We must
348         find all headers of a framework in the first instance of it
349         found in the seach path.
350
351 2005-04-14  Kazu Hirata  <kazu@cs.umass.edu>
352
353         PR tree-optimization/21021
354         * tree-vrp.c (compare_values): Work around a bug in the front
355         end that produces a comparison of mismatched types.
356
357 2004-04-14  Richard Henderson  <rth@redhat.com>
358
359         * config/ia64/ia64.h (enum fetchop_code): Remove.
360         (enum ia64_builtins): Move ...
361         * config/ia64/ia64.c (enum ia64_builtins): ... here.  Remove all
362         members except BSP and FLUSHRS.
363         (ia64_init_builtins): Remove __sync builtins.
364         (ia64_expand_builtin): Likewise.
365         (ia64_expand_fetch_and_op, ia64_expand_op_and_fetch): Remove.
366         (ia64_expand_compare_and_swap, ia64_expand_lock_test_and_set): Remove.
367         (ia64_expand_lock_release): Remove.
368         * config/ia64/ia64.md (mf): Move to sync.md.
369         (mf_internal, fetchadd_acq_si, fetchadd_acq_di, cmpxchg_acq_si,
370         cmpxchg_acq_di, xchgsi, xchgdi): Likewise.
371         * config/ia64/sync.md: New file.
372         (memory_barrier): Rename from mf.
373         (fetchadd_acq_<I48MODE>): Macroize from _si/_di patterns.
374         (cmpxchg_acq_<I48MODE>): Likewise.
375         (sync_lock_test_and_set<I48MODE>): Likewise.
376
377         * config/ia64/ia64intrin.h: Define nothing for C; limit #defines
378         to c++.  Remove __sync* declarations.  s/_si/_4/.  s/_di/_8/.
379
380 2004-04-14  Richard Henderson  <rth@redhat.com>
381
382         * config/i386/i386.c (x86_cmpxchg, x86_xadd): New.
383         (ix86_compare_emitted): New.
384         (ix86_expand_compare): Use ix86_compare_emitted if set.
385         (ix86_expand_setcc): Only emit REG_EQUAL if both ix86_compare_op0
386         and ix86_compare_op0 are set.
387         * config/i386/i386.h (x86_cmpxchg, x86_xadd): Declare.
388         (TARGET_CMPXCHG, TARGET_XADD): New.
389         (ix86_compare_emitted): Declare.
390         * config/i386/i386.md: Include sync.md
391         (UNSPECV_CMPXCHG_1, UNSPECV_CMPXCHG_2): New.
392         (UNSPECV_XCHG, UNSPECV_LOCK): New.
393         * config/i386/sync.md: New file.
394
395 2004-04-14  Richard Henderson  <rth@redhat.com>
396
397         PR middle-end/14311
398         * builtin-types.def (BT_BOOL, BT_VOLATILE_PTR, BT_I1, BT_I2,
399         BT_I4, BT_I8, BT_FN_VOID_VPTR, BT_FN_I1_VPTR_I1, BT_FN_I2_VPTR_I2,
400         BT_FN_I4_VPTR_I4, BT_FN_I8_VPTR_I8, BT_FN_BOOL_VPTR_I1_I1,
401         BT_FN_BOOL_VPTR_I2_I2, BT_FN_BOOL_VPTR_I4_I4, BT_FN_BOOL_VPTR_I8_I8,
402         BT_FN_I1_VPTR_I1_I1, BT_FN_I2_VPTR_I2_I2, BT_FN_I4_VPTR_I4_I4,
403         BT_FN_I8_VPTR_I8_I8): New.
404         * builtins.def (DEF_SYNC_BUILTIN): New.
405         (BUILT_IN_FETCH_AND_ADD_N, BUILT_IN_FETCH_AND_ADD_1,
406         BUILT_IN_FETCH_AND_ADD_2, BUILT_IN_FETCH_AND_ADD_4,
407         BUILT_IN_FETCH_AND_ADD_8, BUILT_IN_FETCH_AND_SUB_N,
408         BUILT_IN_FETCH_AND_SUB_1, BUILT_IN_FETCH_AND_SUB_2,
409         BUILT_IN_FETCH_AND_SUB_4, BUILT_IN_FETCH_AND_SUB_8,
410         BUILT_IN_FETCH_AND_OR_N, BUILT_IN_FETCH_AND_OR_1,
411         BUILT_IN_FETCH_AND_OR_2, BUILT_IN_FETCH_AND_OR_4,
412         BUILT_IN_FETCH_AND_OR_8, BUILT_IN_FETCH_AND_AND_N,
413         BUILT_IN_FETCH_AND_AND_1, BUILT_IN_FETCH_AND_AND_2,
414         BUILT_IN_FETCH_AND_AND_4, BUILT_IN_FETCH_AND_AND_8,
415         BUILT_IN_FETCH_AND_XOR_N, BUILT_IN_FETCH_AND_XOR_1,
416         BUILT_IN_FETCH_AND_XOR_2, BUILT_IN_FETCH_AND_XOR_4,
417         BUILT_IN_FETCH_AND_XOR_8, BUILT_IN_FETCH_AND_NAND_N,
418         BUILT_IN_FETCH_AND_NAND_1, BUILT_IN_FETCH_AND_NAND_2,
419         BUILT_IN_FETCH_AND_NAND_4, BUILT_IN_FETCH_AND_NAND_8,
420         BUILT_IN_ADD_AND_FETCH_N, BUILT_IN_ADD_AND_FETCH_1,
421         BUILT_IN_ADD_AND_FETCH_2, BUILT_IN_ADD_AND_FETCH_4,
422         BUILT_IN_ADD_AND_FETCH_8, BUILT_IN_SUB_AND_FETCH_N,
423         BUILT_IN_SUB_AND_FETCH_1, BUILT_IN_SUB_AND_FETCH_2,
424         BUILT_IN_SUB_AND_FETCH_4, BUILT_IN_SUB_AND_FETCH_8,
425         BUILT_IN_OR_AND_FETCH_N, BUILT_IN_OR_AND_FETCH_1,
426         BUILT_IN_OR_AND_FETCH_2, BUILT_IN_OR_AND_FETCH_4,
427         BUILT_IN_OR_AND_FETCH_8, BUILT_IN_AND_AND_FETCH_N,
428         BUILT_IN_AND_AND_FETCH_1, BUILT_IN_AND_AND_FETCH_2,
429         BUILT_IN_AND_AND_FETCH_4, BUILT_IN_AND_AND_FETCH_8,
430         BUILT_IN_XOR_AND_FETCH_N, BUILT_IN_XOR_AND_FETCH_1,
431         BUILT_IN_XOR_AND_FETCH_2, BUILT_IN_XOR_AND_FETCH_4,
432         BUILT_IN_XOR_AND_FETCH_8, BUILT_IN_NAND_AND_FETCH_N,
433         BUILT_IN_NAND_AND_FETCH_1, BUILT_IN_NAND_AND_FETCH_2,
434         BUILT_IN_NAND_AND_FETCH_4, BUILT_IN_NAND_AND_FETCH_8,
435         BUILT_IN_BOOL_COMPARE_AND_SWAP_N, BUILT_IN_BOOL_COMPARE_AND_SWAP_1,
436         BUILT_IN_BOOL_COMPARE_AND_SWAP_2, BUILT_IN_BOOL_COMPARE_AND_SWAP_4,
437         BUILT_IN_BOOL_COMPARE_AND_SWAP_8, BUILT_IN_VAL_COMPARE_AND_SWAP_N,
438         BUILT_IN_VAL_COMPARE_AND_SWAP_1, BUILT_IN_VAL_COMPARE_AND_SWAP_2,
439         BUILT_IN_VAL_COMPARE_AND_SWAP_4, BUILT_IN_VAL_COMPARE_AND_SWAP_8,
440         BUILT_IN_LOCK_TEST_AND_SET_N, BUILT_IN_LOCK_TEST_AND_SET_1,
441         BUILT_IN_LOCK_TEST_AND_SET_2, BUILT_IN_LOCK_TEST_AND_SET_4,
442         BUILT_IN_LOCK_TEST_AND_SET_8, BUILT_IN_LOCK_RELEASE_N,
443         BUILT_IN_LOCK_RELEASE_1, BUILT_IN_LOCK_RELEASE_2,
444         BUILT_IN_LOCK_RELEASE_4, BUILT_IN_LOCK_RELEASE_8,
445         BUILT_IN_SYNCHRONIZE: New.
446         * builtins.c (called_as_built_in): Rewrite from CALLED_AS_BUILT_IN
447         as a function.  Accept __sync_ as a prefix as well.
448         (expand_builtin_sync_operation, expand_builtin_compare_and_swap,
449         expand_builtin_lock_test_and_set, expand_builtin_synchronize,
450         expand_builtin_lock_release): New.
451         (expand_builtin): Call them.
452         * c-common.c (DEF_BUILTIN): Don't require __builtin_ prefix if
453         neither BOTH_P nor FALLBACK_P are defined.
454         (builtin_type_for_size): New.
455         (sync_resolve_size, sync_resolve_params, sync_resolve_return): New.
456         (resolve_overloaded_builtin): New.
457         * c-common.h (resolve_overloaded_builtin): Declare.
458         (builtin_type_for_size): Declare.
459         * c-typeck.c (build_function_call): Invoke resolve_overloaded_builtin.
460         * expr.c (sync_add_optab, sync_sub_optab, sync_ior_optab,
461         sync_and_optab, sync_xor_optab, sync_nand_optab, sync_old_add_optab,
462         sync_old_sub_optab, sync_old_ior_optab, sync_old_and_optab,
463         sync_old_xor_optab, sync_old_nand_optab, sync_new_add_optab,
464         sync_new_sub_optab, sync_new_ior_optab, sync_new_and_optab,
465         sync_new_xor_optab, sync_new_nand_optab, sync_compare_and_swap,
466         sync_compare_and_swap_cc, sync_lock_test_and_set,
467         sync_lock_release): New.
468         * optabs.h: Declare them.
469         * expr.h (expand_val_compare_and_swap, expand_bool_compare_and_swap,
470         expand_sync_operation, expand_sync_fetch_operation,
471         expand_sync_lock_test_and_set): Declare.
472         * genopinit.c (optabs): Add sync optabs.
473         * optabs.c (init_optabs): Initialize sync optabs.
474         (expand_val_compare_and_swap_1, expand_val_compare_and_swap,
475         expand_bool_compare_and_swap, expand_compare_and_swap_loop,
476         expand_sync_operation, expand_sync_fetch_operation,
477         expand_sync_lock_test_and_set): New.
478         * doc/extend.texi (Atomic Builtins): New section
479         * doc/md.texi (Standard Names): Add sync patterns.
480
481 2005-04-14  Alexandre Oliva  <aoliva@redhat.com>
482
483         * tree-eh.c (lower_try_finally_copy): Generate new code in
484         response to goto_queue entries as if the queue was sorted by
485         index, not pointers.
486         (lower_try_finally_switch): Likewise.
487
488 2005-04-14  Richard Henderson  <rth@redhat.com>
489
490         * config/i386/i386.c (ix86_expand_sse_cmp): Split out from ...
491         (ix86_expand_sse_movcc): ... here.  Take cmp as a pre-computed
492         register.
493         (ix86_expand_fp_movcc): Update to match.
494         (ix86_expand_fp_vcond, ix86_expand_int_vcond): New.
495         * config/i386/i386-protos.h: Update.
496         * config/i386/sse.md (vcondv4sf, vcondv2df): New.
497         (vcond<SSEMODE124>, vcondu<SSEMODE12>): New.
498
499 2005-04-14  Joseph S. Myers  <joseph@codesourcery.com>
500
501         * doc/cpp.texi, doc/install.texi: Change references to GCC 3.5 to
502         refer to 4.0.
503
504 2005-04-14  Julian Brown  <julian@codesourcery.com>
505
506         * Revert elfos.h part of my patch from 2005-04-13 for causing libstdc++
507         link failures on ppc64 Linux.
508
509 2005-04-14  Andreas Krebbel  <krebbel1@de.ibm.com>
510
511         * config.gcc: Set cpu_type for s390.
512
513 2005-04-14  Daniel Berlin  <dberlin@dberlin.org>
514
515         Fix PR tree-optimization/20963
516         * tree-ssa-pre.c (compute_avail): Remove special case for
517         TREE_INVARIANT.
518         (create_expression_by_pieces): Add value numbers for forced out
519         statements.
520
521 2005-04-14  Hans-Peter Nilsson  <hp@axis.com>
522
523         * config/cris/cris.md: Replace references to (reg:SI 16) with
524         (reg:SI CRIS_SRP_REGNUM).
525
526 2005-04-14  Kazu Hirata  <kazu@cs.umass.edu>
527
528         PR tree-optimization/20657
529         * tree-vrp.c (extract_range_from_expr): Notice INTEGER_CST to
530         create an appropriate range from it.
531
532 2005-04-14  Uros Bizjak  <uros@kss-loka.si>
533
534         * reg-stack.c (subst_stack_regs_pat): Handle <UNSPEC_FIST_FLOOR> and
535         <UNSPEC_FIST_CEIL> case.
536
537         * config/i386/i386.md (UNSPEC_FIST_FLOOR, UNSPEC_FIST_CEIL): New.
538         (*fist<mode>2_floor_1, fistdi2_floor, fistdi2_floor_with_temp)
539         (fist<mode>2_floor, fist<mode>2_floor_with_temp): New isns patterns
540         to implement lfloor and llfloor built-ins as x87 intrinsic function.
541         (fistdi2_floor, fist<mode>2_floor splitters): New splitters.
542         (lfloor<mode>2): New expanders.
543         (*fist<mode>2_ceil_1, fistdi2_ceil, fistdi2_ceil_with_temp)
544         (fist<mode>2_ceil, fist<mode>2_ceil_with_temp): New isns patterns
545         to implement lceil and llceil built-ins as x87 intrinsic function.
546         (fistdi2_ceil, fist<mode>2_ceil splitters): New splitters.
547         (lceil<mode>2): New expanders.
548
549 2005-04-14  Uros Bizjak  <uros@kss-loka.si>
550
551         * convert.c (convert_to_integer): Convert (long int)trunc{,f,l},
552         and (long long int)ceil{,f,l} into FIX_TRUNC_EXPR.
553
554 2005-04-14  Ulrich Weigand  <uweigand@de.ibm.com>
555
556         PR target/20927
557         * config/s390/s390-modes.def: Define TFmode.
558
559 2005-04-13  Richard Sandiford  <rsandifo@redhat.com>
560
561         * config/mips/mips.h (ASM_OUTPUT_CASE_LABEL): Delete.
562         (JUMP_TABLES_IN_TEXT_SECTION): Define.
563         * config/mips/mips.c (mips16_insn_length): Remove reference to
564         JUMP_TABLES_IN_TEXT_SECTION.
565
566 2005-04-13 Fariborz Jahanian <fjahanian@apple.com>
567
568         * simplify-rtx.c (simplify_binary_operation_1): Return
569         scalar or vector of constant 0, depending on the xor's
570         mode.
571
572 2005-04-13  Dale Johannesen  <dalej@apple.com>
573
574         * objc/Make-lang.in (objc-lang.o):  Depend on tree-gimple.h.
575         (objc-act.o):  Ditto.
576         * objc/objc-act.c (objc_gimplify_expr):  New.
577         (objc_get_callee_fndecl):  New.
578         * objc/objc-act.h:  Include tree-gimple.h.  Declare new functions.
579         * objc/objc-lang.c (LANG_HOOKS_GIMPLIFY_EXPR):  Define.
580         (LANG_HOOKS_GET_CALLEE_FNDECL):  Define.
581
582 2005-04-13  Devang Patel  <dpatel@apple.com>
583
584         * tree-if-conv.c (tree_if_convert_cond_expr): Do not create extra
585         temp variables.
586
587 2005-04-13  Hans-Peter Nilsson  <hp@axis.com>
588
589         CRIS prologue as RTL.
590         * config/cris/cris-protos.h (cris_emit_movem_store)
591         (cris_expand_prologue): Prototype.
592         * config/cris/cris.c (struct machine_function): New member
593         stdarg_regs.
594         (cfa_label_num, cris_target_asm_function_prologue): Remove.
595         (TARGET_ASM_FUNCTION_PROLOGUE): Don't override.
596         (cris_general_operand_or_gotless_symbol): Accept CRIS_UNSPEC_GOT.
597         (cris_load_multiple_op, cris_return_address_on_stack)
598         (cris_return_address_on_stack_for_return): ISO-Cify.
599         (cris_store_multiple_op): New predicate function.
600         (cris_expand_prologue, cris_emit_movem_store): New functions.
601         (cris_print_operand) <case 'O'>: Handle modifications other than
602         post-increment.
603         (cris_symbol, cris_got_symbol): Return 0 for CRIS_UNSPEC_GOT.
604         (cris_gotless_symbol): Return 1 for CRIS_UNSPEC_GOT.
605         (cris_gen_movem_load): Rearrange slightly to make local variable
606         src a parameter, removing osrc.
607         (cris_setup_incoming_varargs): Set machine_function member
608         stdarg_regs to correspond to the number of registers that need to
609         be saved.
610         * config/cris/cris.h (EXTRA_CONSTRAINT_S): Accept
611         CRIS_UNSPEC_GOT.
612         (PREDICATE_CODES): Add cris_store_multiple_op.  Make
613         cris_general_operand_or_gotless_symbol accept UNSPEC.
614         * config/cris/cris.md (CRIS_UNSPEC_GOT): New constant.
615         ("*movsi_internal") <alternative 8>: Handle CRIS_UNSPEC_GOT.
616         ("*cris_store_multiple"): New pattern.  Tweak common comment above
617         this and "*cris_load_multiple".
618         ("prologue"): New define_expand.
619
620         * config/cris/cris.md ("epilogue"): Conditionalize on
621         TARGET_PROLOGUE_EPILOGUE.
622
623 2005-04-13  Steve Ellcey  <sje@cup.hp.com>
624
625         PR target/20924
626         * config/ia64/ia64.md (divsf3_internal_lat): Generate frcpa with
627         fpsr 0 instead of fpsr 1.
628         (divsf3_internal_thr): Ditto.
629         (divdf3_internal_lat): Ditto.
630         (divdf3_internal_thr): Ditto.
631         (divxf3_internal_lat): Ditto.
632         (divxf3_internal_thr): Ditto.
633
634 2005-04-13  Kazu Hirata  <kazu@cs.umass.edu>
635
636         PR tree-optimization/20913
637         * tree-ssa-copy.c (copy_prop_visit_cond_stmt): Fold COND_EXPR.
638
639         PR tree-optimization/20702
640         * tree-vrp.c (maybe_add_assert_expr): Recurse into
641         dominator children that haven't been walked into.
642
643 2005-04-13  Julian Brown  <julian@codesourcery.com>
644
645         * config/elfos.h (MAKE_DECL_ONE_ONLY): Redefined to stop DECL_WEAK from
646         being used for symbols with vague linkage when HAVE_GAS_COMDAT_GROUP
647         is true.
648
649 2005-04-13  Kazu Hirata  <kazu@cs.umass.edu>
650
651         * basic-block.h, tree-ssa-uncprop.c, varasm.c,
652         config/i386/sse.md: Fix comment typos.
653
654         * genattrtab.c (NULL_ATTR): Remove.
655         * ifcvt.c (NULL_EDGE): Likewise.
656
657         * rtl.h (RTX_EXPR_FIRST, RTX_EXPR_LAST): Remove.
658
659         * rtl.h (NOTE_PREDICTION_ALG, NOTE_PREDICTION_FLAGS,
660         NOTE_PREDICT): Remove.
661
662 2005-04-13  Eric Botcazou  <ebotcazou@libertysurf.fr>
663
664         * configure.ac (gcc_AC_CHECK_DECLS): Add vsnprintf.
665         * configure: Regenerate.
666         * config.in: Likewise.
667         * system.h: Declare vsnprintf if not already declared.
668
669 2005-04-13  Eric Botcazou  <ebotcazou@libertysurf.fr>
670
671         * optc-gen.awk: Handle stand-alone Mask records.
672         * opth-gen.awk: Likewise.
673         * doc/options.texi (Option file format): Document them.
674         * config.gcc (sparc-*-netbsdelf*, sparc-*-linux*, sparc64-*-freebsd*,
675         sparc64-*-linux*, sparc64-*-netbsd*): Add long-double-switch.opt.
676         (sparc64-*-openbsd*, sparc64-*-elf*): Add little-endian.opt.
677         * config/sparc/sparc.h (MASK_FPU, MASK_UNALIGNED_DOUBLES,
678         MASK_V8, MASK_SPARCLITE, MASK_SPARCLET, MASK_V9,
679         MASK_DEPRECATED_V8_INSNS, MASK_IMPURE_TEXT, MASK_APP_REGS,
680         MASK_HARD_QUAD, MASK_LITTLE_ENDIAN, MASK_PTR64, MASK_64BIT,
681         MASK_STACK_BIAS, MASK_FPU_SET, MASK_VIS, MASK_V8PLUS,
682         MASK_FASTER_STRUCTS, MASK_LONG_DOUBLE_128): Delete.
683         (TARGET_FPU, TARGET_UNALIGNED_DOUBLES, TARGET_V8, TARGET_SPARCLITE,
684         TARGET_SPARCLET, TARGET_V9, TARGET_DEPRECATED_V8_INSNS,
685         TARGET_IMPURE_TEXT, TARGET_APP_REGS, MASK_HARD_QUAD,
686         TARGET_LITTLE_ENDIAN, TARGET_PTR64, TARGET_64BIT, MASK_STACK_BIAS,
687         TARGET_FPU_SET, TARGET_VIS, TARGET_V8PLUS, TARGET_FASTER_STRUCTS,
688         TARGET_LONG_DOUBLE_128): Likewise.
689         (TARGET_SWITCHES, SUBTARGET_SWITCHES): Likewise.
690         (TARGET_OPTIONS, SUBTARGET_OPTIONS): Likewise.
691         * config/sparc/freebsd.h (SUBTARGET_SWITCHES): Likewise.
692         * config/sparc/linux.h (SUBTARGET_SWITCHES): Likewise.
693         * config/sparc/linux64.h (SUBTARGET_SWITCHES): Likewise.
694         * config/sparc/netbsd-elf.h (SUBTARGET_SWITCHES): Likewise.
695         * config/sparc/sp64-elf.h (SUBTARGET_SWITCHES): Likewise.
696         * config/sparc/sparc.c (fpu_option_set): New global.
697         (sparc_handle_option): New function.
698         (sparc_override_options): Test fpu_option_set.
699         (TARGET_DEFAULT_TARGET_FLAGS): Set to TARGET_DEFAULT.
700         (TARGET_HANDLE_OPTION): Set to sparc_handle_option.
701         * config/sparc/sparc.opt: New file.
702         * config/sparc/little-endian.opt: Likewise.
703         * config/sparc/long-double-switch.opt: Likewise.
704
705 2005-04-13  Bernd Schmidt  <bernd.schmidt@analog.com>
706
707         * config/bfin/bfin.c (bfin_lib_id_given): New static variable.
708         (bfin_handle_options): Set it if -mshared-library-id= is seen.
709         * config/bfin/bfin.opt (mshared-library-id=): Lose
710         Var(bfin_lib_id_given).
711
712 2005-04-13  Matt Thomas  <matt@3am-software.com>
713
714         * config/rs6000/sysv4.h (NO_IMPLICIT_EXTERN_C): undefine before
715         defining.
716
717 2005-04-13  Kazu Hirata  <kazu@cs.umass.edu>
718
719         * rtl.h (CLEAR_RTX_FLAGS): Remove.
720
721         * cgraphunit.c (INSNS_PER_CALL): Remove.
722
723         * tree-ssa-forwprop.c (vars,
724         record_single_argument_cond_exprs,
725         substitute_single_use_vars): Remove.
726         (forward_propagate_into_cond_1, forward_propagate_into_cond):
727         New.
728         (tree_ssa_forward_propagate_single_use_vars): Call
729         forward_propagate_into_cond for each COND_EXPR.
730
731         * tree-inline.c (INSNS_PER_STMT): Remove.
732
733 2005-04-12  Richard Henderson  <rth@redhat.com>
734
735         * config/i386/i386.c (ix86_prepare_sse_fp_compare_args): Split ...
736         (ix86_expand_sse_fp_minmax): ... from ...
737         (ix86_expand_fp_movcc): ... here.
738         (ix86_expand_sse_movcc): Rewrite from ix86_split_sse_movcc.
739         * config/i386/i386-protos.h: Update.
740         * config/i386/i386.md (UNSPEC_IEEE_MIN, UNSPEC_IEEE_MAX): New.
741         (sse_setccsf, sse_setccdf): Allow before reload.
742         (movsfcc_1_sse_min, movsfcc_1_sse_max, movsfcc_1_sse): Remove.
743         (movdfcc_1_sse_min, movdfcc_1_sse_max, movdfcc_1_sse): Remove.
744         (ieee_sminsf3, ieee_smaxsf3, ieee_smindf3, ieee_smaxdf3): New.
745         * config/i386/sse.md (andsf3, nandsf3, iorsf3, xorsf3): New.
746         (anddf3, nanddf3, iordf3, xordf3): New.
747
748 2005-04-12  Jeff Law  <law@redhat.com>
749
750         * Makefile.in (OBJS-common): Add tree-ssa-uncprop.o.
751         (tree-ssa-uncprop.o): Add dependencies.
752         * tree-cfg.c (remove_useless_stmts_bb, remove_useless_stmts): Remove.
753         * tree-flow.h (remove_useless_stmts): Remove prototype.
754         * tree-outof-ssa.c (rewrite_out_of_ssa): Remove call to
755         remove_useless_stmts.
756         * timevar.def (TV_TREE_SSA_UNCPROP): New timevar.
757         * tree-optimize.c (init_tree_optimization_passes): Add uncprop pass.
758         * tree-pass.h (pass_uncprop): Declare.
759         * tree-ssa-uncprop.c: New file.
760
761 2005-04-12  James E. Wilson  <wilson@specifixinc.com>
762
763         PR target/20670
764         * unwind-ia64.c (uw_intall_context): Add missing load of r27.
765
766 2005-04-12  Caroline Tice  <ctice@apple.com>
767
768         Temporary fix for partitioning problems.
769         * passes.c (rest_of_handle_final): Remove code that
770         frees unlikely_text_section_name,
771         * varasm.c (assemble_start_function): Test for partitioning
772         flag before writing out section labels.
773         (assemble_end_function): Test for partitioning flag before
774         writing out section labels.
775
776 2005-04-12  Steven Bosscher  <stevenb@suse.de>
777             Stuart Hastings <stuart@apple.com>
778             Jan Hubicka  <jh@suse.cz>
779
780         * Makefile.in: Add function.h to BASIC_BLOCK_H.  Remove all
781         references to gt-tree-cfg.h.
782         * basic-block.h (struct basic_block_def): Don't skip rbi
783         for garbage collection.
784         (struct reorder_block_def): Make GTY-able.
785         (struct control_flow_graph): New structure.
786         (n_edges, n_basic_blocks, last_basic_block, basic_block_info,
787         BASIC_BLOCK, EXIT_BLOCK_PTR, ENTRY_BLOCK_PTR): No longer vars,
788         but instead defines to the control_flow_graph for cfun.
789         (label_to_block_map): New define, points to the label map of
790         the control_flow_graph for cfun.
791         (n_edges_for_function, n_basic_blocks_for_function,
792         last_basic_block_for_function, basic_block_info_for_function,
793         EXIT_BLOCK_PTR_FOR_FUNCTION, ENTRY_BLOCK_PTR_FOR_FUNCTION,
794         basic_block_info_for_function, label_to_block_map_for_function):
795         Counterparts for the above, taking a struct function as an extra
796         argument.
797         (alloc_rbi_pool, free_rbi_pool): Remove prototypes.
798         * cfg.c: (n_edges, n_basic_blocks, last_basic_block,
799         basic_block_info, ENTRY_BLOCK_PTR, EXIT_BLOCK_PTR): Remove.
800         (alloc_rbi_pool, free_rbi_pool): Remove.
801         (initialize_bb_rbi): Use ggc_alloc_cleared instead of pool_alloc.
802         * cfglayout.c: (cfg_layout_initialize): Don't allocate the rbi pool
803         here...
804         (cfg_layout_finalize) ... and don't free it here.
805         * cfgrtl.c (cfg_layout_delete_block): Zero out rbi so it gets
806         garbage collected.
807         * flow.c (free_basic_block_vars): Set label_to_block_map and
808         n_edges to zero too.
809         * function.h (struct function): Add cfg field.
810         * function.c (allocate_struct_function): Allocate the cfg.
811         * tree-cfg.c (label_to_block_map): Remove.
812         (build_tree_cfg): Don't allocate the rbi pool here...
813         (delete_tree_cfg_annotations): ...and don't free it here.
814         Also don't nullify label_to_block_map for cfun.
815
816 2005-04-12  Caroline Tice  <ctice@apple.com>
817
818         * bb-reorder.c (find_rarely_executed_basic_blocks_and_crossing_edges):
819         Revert my patch from April 9.
820         (fix_edges_for_rarely_executed_code): Revert my patch from April 9.
821         (reorder_basic_blocks): Revert my patch from April 9.
822         (insert_section_boundary_note): Revert my patch from April 9.
823         * dbxout.c (dbxout_function_end): Revert my patch from April 9.
824         * dwarf2out.c (COLD_TEXT_SECTION_LABEL): Revert my patch from April 9.
825         (COLD_END_LABEL):  Revert my patch from April 9.
826         (cold_text_section_label):  Revert my patch from April 9.
827         (cold_end_label): Revert my patch from April 9.
828         (dwarf2out_switch_text_section): Revert my patch from April 9.
829         (output_aranges): Revert my patch from April 9.
830         (output_ranges):  Revert my patch from April 9.
831         (output_line_info): Revert my patch from April 9.
832         (add_location_or_const_value_attribute):  Revert my patch from April 9.
833         (dwarf2out_var_location): Revert my patch from April 9.
834         (dwarf2out_init):  Revert my patch from April 9.
835         (dwarf2out_finish): Revert my patch from April 9.
836         * function.h (struct function): Revert my patch from April 9.
837         * opts.c (decode_options): Revert my patch from April 9.
838         * output.h (unlikely_section_label, hot_section_label,
839         hot_section_end_label, cold_section_end_label,
840         unlikely_text_section_name): Revert my patch from April 9.
841         * passes.c (rest_of_handle_final): Revert my patch from April 9.
842         * varasm.c (unlikely_section_label, hot_section_label,
843         hot_section_end_label, cold_section_end_label,
844         unlikely_text_section_name): Revert my patch from April 9.
845         (initialize_cold_section_name): Revert my patch from April 9.
846         (unlikely_text_section): Revert my patch from April 9.
847         (in_unlikely_text_section): Revert my patch from April 9.
848         (named_section): Revert my patch from April 9.
849         (function_section): Revert my patch from April 9.
850         (current_function_section): Revert my patch from April 9.
851         (assemble_start_function): Revert my patch from April 9.
852         (assemble_end_function): Revert my patch from April 9.
853         (default_section_type_flags_1): Revert my patch from April 9.
854
855 2005-04-12  Eric Botcazou  <ebotcazou@libertysurf.fr>
856
857         * config/sparc/sparc.h (APPLY_RESULT_SIZE): Set to 24 in 64-bit mode.
858         * config/sparc/sparc.md (untyped_call): Save the registers manually.
859
860         * config/sparc/sparc.c (legitimate_address_p): Use TARGET_ARCH32.
861
862 2005-04-12  Ulrich Weigand  <uweigand@de.ibm.com>
863
864         PR middle-end/20917
865         * config/s390/s390.md ("*set_tp"): Use SET in pattern.
866         ("set_tp_64", "set_tp_31"): Adapt expanded pattern.
867
868 2004-04-12  Richard Henderson  <rth@redhat.com>
869
870         * config/i386/i386.md (UNSPEC_FIX, UNSPEC_MOVA, UNSPEC_SHUFFLE,
871         UNSPEC_PSHUFLW, UNSPEC_PSHUFHW, UNSPEC_ADDSUB, UNSPEC_HADD,
872         UNSPEC_HSUB, UNSPEC_MOVSHDUP, UNSPEC_MOVSLDUP, UNSPEC_MOVDDUP): Remove.
873         (UNSPEC_*, UNSPECV_*): Renumber.
874
875 2005-04-12  Frank Ch. Eigler  <fche@redhat.com>
876
877         PR mudflap/19266
878         From Richard Henderson <rth@redhat.com>:
879         * tree-mudflap.c (mf_build_check_statement_for): Correct block
880         splitting logic.
881
882 2005-04-12  Dorit Naishlos  <dorit@il.ibm.com>
883
884         * tree-cfg.c (tree_verify_flow_info): Use LABEL_EXPR_LABEL.
885
886 2005-04-12  Bernd Schmidt  <bernd.schmidt@analog.com>
887
888         * config/bfin/bfin.c (bfin_library_id_string): Remove.
889         (bfin_library_id): New variable.
890         (bfin_expand_prologue): Use bfin_library_id and bfin_lib_id_given
891         instead of bfin_library_id_string.
892         (bfin_handle_option): New function.
893         (override_options): Remove most code to deal with shared library IDs,
894         just check they aren't used without -mid-shared-library.
895         (TARGET_HANDLE_OPTION): Define.
896         * config/bfin/bfin.h (TARGET_OPTIONS): Delete macro.
897         * config/bfin/bfin.opt (mshared-library-id=): New.
898
899 2005-04-12  Kazu Hirata  <kazu@cs.umass.edu>
900
901         * tree-vect-transform.c: Fix comment typos.
902
903 2005-04-12 Mostafa Hagog <mustafa@il.ibm.com>
904
905         * postreload-gcse.c (eliminate_partially_redundant_load): Don't
906         split critical edges when not possible/profitable.
907
908 2005-04-12  Richard Sandiford  <rsandifo@redhat.com>
909
910         * config/ns32k/ns32k.h (target_flags, MASK_32081, MASK_RTD)
911         (MASK_REGPARM, MASK_32532, MASK_32332, MASK_NO_SB, MASK_NO_BITFIELD)
912         (MASK_HIMEM, MASK_32381, MASK_MULT_ADD, MASK_SRC, MASK_IEEE_COMPARE)
913         (TARGET_32081, TARGET_32381, TARGET_MULT_ADD, TARGET_RTD)
914         (TARGET_REGPARM, TARGET_32532, TARGET_32332, TARGET_SB, TARGET_HIMEM)
915         (TARGET_BITFIELD, TARGET_IEEE_COMPARE, TARGET_SWITCHES): Delete.
916         (OVERRIDE_OPTIONS): Clear MASK_SB instead of setting MASK_NO_SB.
917         * config/ns32k/netbsd.h (TARGET_DEFAULT): Remove MASK_NO_SB and
918         MASK_NO_BITFIELD.
919         * config/ns32k/ns32k.c (ns32k_handle_option): New function.
920         (TARGET_DEFAULT_TARGET_FLAGS, TARGET_HANDLE_OPTION): Override defaults.
921         * config/ns32k/ns32k.opt: New file.
922
923 2005-04-12  Richard Sandiford  <rsandifo@redhat.com>
924
925         * config.gcc (m68k-*-linux*): Add m68k/ieee.opt to $extra_options.
926         * config/m68k/m68k.h (target_flags, MASK_68020, TARGET_68020)
927         (MASK_68030, TARGET_68030, MASK_68040, TARGET_68040, MASK_68040_ONLY)
928         (TARGET_68040_ONLY, MASK_68060, TARGET_68060, MASK_5200, TARGET_5200)
929         (MASK_CFV3, TARGET_CFV3, MASK_CFV4, TARGET_CFV4, MASK_528x)
930         (TARGET_528x, MASK_CF_HWDIV, TARGET_CF_HWDIV, MASK_68881, TARGET_68881)
931         (MASK_BITFIELD, TARGET_BITFIELD, MASK_SHORT, TARGET_SHORT)
932         (MASK_ALIGN_INT, TARGET_ALIGN_INT, MASK_PCREL, TARGET_PCREL)
933         (MASK_NO_STRICT_ALIGNMENT, TARGET_STRICT_ALIGNMENT, MASK_RTD)
934         (TARGET_RTD, MASK_SEP_DATA, TARGET_SEP_DATA, MASK_ID_SHARED_LIBRARY)
935         (TARGET_ID_SHARED_LIBRARY, MASK_ALL_CF_BITS, TARGET_SWITCHES)
936         (TARGET_OPTIONS, SUBTARGET_SWITCHES, SUBTARGET_OPTIONS): Delete.
937         (MASK_COLDFIRE): Formatting fixes.
938         (TARGET_COLDFIRE): Turn into a boolean value for consistency.
939         * config/m68k/linux.h (SUBTARGET_SWITCHES): Delete.
940         * config/m68k/m68k.c (m68k_library_id_string): Initialize to
941         "_current_shared_library_a5_offset_".
942         (TARGET_DEFAULT_TARGET_FLAGS, TARGET_HANDLE_OPTION): Override defaults.
943         (MASK_ALL_CPU_BITS): New macro.
944         (m68k_handle_option): New function.
945         (override_options): Remove handling of m68k_library_id_string.
946         * config/m68k/m68k.opt: New file.
947         * config/m68k/ieee.opt: New file.
948
949 2005-04-11  Mark Mitchell  <mark@codesourcery.com>
950
951         * target-def.h (TARGET_CXX_EXPORT_CLASS_DATA): Remove.
952         (TARGET_CXX_DETERMINE_CLASS_VISIBILITY): New macro.
953         (TARGET_CXX_CLASS_DATA_ALWAYS_COMDAT): Likewise.
954         (TARGET_CXX): Adjust accordingly.
955         * target.h (struct gcc_target): Remove epxort_class_data.  Add
956         determine_class_data_visibility and class_data_always_comdat.
957         * doc/tm.texi (TARGET_CXX_EXPORT_CLASS_DATA): Remove.
958         (TARGET_CXX_DETERMINE_CLASS_DATA_VISIBILITY): Document.
959         (TARGET_CXX_CLASS_DATA_ALWAYS_COMDAT): Likewise.
960         * config/arm/arm.c (arm_cxx_export_class_data): Remove.
961         (arm_cxx_determine_class_data_visibility): New.
962         (arm_cxx_class_data_always_comdat): Likewise.
963         (TARGET_CXX_EXPORT_CLASS_DATA): Remove.
964         (TARGET_CXX_DETERMINE_CLASS_DATA_VISIBILITY): Define.
965         (TARGET_CXX_CLASS_DATA_ALWAYS_COMDAT): Likewise.
966         * config/arm/arm.h (TARGET_ARM_DYNAMIC_VAGUE_LINKAGE_P): Define.
967         * config/arm/symbian.h (TARGET_ARM_DYNAMIC_VAGUE_LINKAGE_P):
968         Define.
969
970 2005-04-11  Devang Patel  <dpatel@apple.com>
971
972         * tree-data-ref.c (build_classic_dist_vector,
973         compute_subscript_distance): Make externally visible.
974         * tree-data-ref.h (build_classic_dist_vector,
975         compute_subscript_distance): Same.
976         * tree-vect-analyze.c (vect_analyze_data_ref_dependence):
977         Check distance vector against vectorization factor.
978         (vect_analyze_loop): Determine vectorizaion factor before
979         analyzing data dependences.
980         * tree-vectorizer.c (loops_num): Make it externally visible and
981         rename ...
982         * tree-vectorizer.c (vect_loops_num): ... new name.
983         * tree-vectorizer.h  (vect_loops_num): New.
984
985 2005-04-11  Devang Patel  <dpatel@apple.com>
986
987         * tree-vect-analyze.c (vect_analyze_operations): Check
988         vectorizable codition.
989         * tree-vect-transform.c (vect_is_simple_cond): New function.
990         (vectorizable_condition): New function.
991         (vect_transform_stmt): Handle condition_vec_info_type.
992         * tree-vectorizer.h (enum stmt_vec_info_type): Add
993         condition_vec_info_type.
994         (vectorizable_condition): New.
995
996 2005-04-11  Geoffrey Keating  <geoffk@apple.com>
997
998         * config/i386/i386.h (TARGET_FPMATH_DEFAULT): New.
999         * config/i386/darwin.h (TARGET_FPMATH_DEFAULT): New.
1000         * config/i386/i386.c (override_options): Use TARGET_FPMATH_DEFAULT.
1001
1002         * config/i386/darwin.h (ASM_SPEC): Use -arch i386 not -arch i686.
1003         (SUBTARGET_EXTRA_SPECS): Always 'i386'.
1004
1005         * dwarf2out.c (output_line_info): Don't try to dereference
1006         a NULL current_function_decl.
1007
1008         * config/t-slibgcc-darwin: Don't put shared libraries in
1009         directories other than $(slibdir).
1010         * config/rs6000/darwin.h: Find -m64 libgcc under the name the
1011         OS uses for it.
1012
1013 2005-04-11  Diego Novillo  <dnovillo@redhat.com>
1014
1015         PR tree-optimization/20933
1016         * tree-ssa-alias.c (compute_flow_insensitive_aliasing): Move
1017         logic to reject aliases between read-only and writable
1018         variables ...
1019         (may_alias_p): ... here.
1020         (get_tmt_for): Do not associate read-only tags to pointers
1021         whose pointed-to type is not read-only.
1022         * tree-ssa.c (verify_ssa): Check that memory stores have at
1023         least one V_MAY_DEF or V_MUST_DEF.
1024
1025 2005-04-11  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
1026
1027         PR/17092
1028         * configure.ac (gcc_UNLOCKED_FUNCS): New.
1029         (AC_CHECK_FUNCS, AC_CHECK_DECLS): Check for gcc_UNLOCKED_FUNCS.
1030         * system.h (putchar, getc, getchar, clearerr, feof, fileno,
1031         fflush, fgetc, fgets, ferror, fread): Redefine to the associated
1032         _unlocked function.
1033         (fwrite_unlocked): Fix prototype.
1034
1035         * configure, config.in: Regenerate.
1036
1037 2005-04-11  David Edelsohn  <edelsohn@gnu.org>
1038
1039         * tree-ssa-loop-im.c: Include real.h.
1040         (determine_invariantness_stmt): If real division divisor is
1041         invariant and flag_unsafe_math_optimizations enabled, generate
1042         invariant reciprocal for hoisting.
1043         * Makefile.in (tree-ssa-loop-im.o): Add real.h dependency.
1044
1045 2005-04-11  Daniel Berlin  <dberlin@dberlin.org>
1046
1047         Fix PR tree-optimization/20926
1048
1049         * tree-ssa-alias.c (add_type_alias): Handle subvars.
1050
1051 2005-04-11  Devang Patel  <dpatel@apple.com>
1052
1053         * config/rs6000.c (rs6000_emit_vector_select): Fix vector select
1054         operand ordering.
1055
1056 2005-04-11  Andrew Pinski  <pinskia@physics.uc.edu>
1057
1058         * fold-const.c (fold_binary_op_with_conditional_arg):
1059         use fold_buildN instead of "fold (buildN" in some
1060         non obvious places.
1061         (fold_unary): Likewise.
1062         (fold_binary): Likewise.
1063
1064 2005-04-11  Daniel Berlin  <dberlin@dberlin.org>
1065
1066         Fix PR tree-optimization/20612
1067         * lambda-code.c (lambda_loopnest_to_gcc_loopnest): Fix increment
1068         handling
1069         (perfect_nestify): preheaderbb is *not* part of loop of the
1070         old destination.
1071
1072 2005-04-11  Andrew Pinski  <pinskia@physics.uc.edu>
1073
1074         * tree-ssa-alias.c (may_alias_p): If the variable
1075         is a global variable and the pointer is parameter
1076         and -fargument-noalias-global is used, then
1077         the pointer cannot alias the variable.
1078
1079 2005-04-11  James A. Morrison  <phython@gcc.gnu.org>
1080
1081         * config/sparc/sparc.c: Use gcc_assert and gcc_unreachable.
1082         * config/sparc/sparc.h: Likewise.
1083         * config/sparc/sparc.md: Likewise.
1084
1085 2005-04-11  Kazu Hirata  <kazu@cs.umass.edu>
1086
1087         * tree-vrp.c (maybe_add_assert_expr): Move a comment.
1088
1089         * tree-vrp.c: Fix a comment typo.
1090
1091 2005-04-11  Diego Novillo  <dnovillo@redhat.com>
1092
1093         PR tree-optimization/20920
1094         * tree-pretty-print.c (dump_generic_node): Show '(ab)' if an
1095         SSA_NAME flows through an abnormal edge.
1096         * tree-vrp.c (infer_value_range): Ignore SSA names that flow
1097         through abnormal edges.
1098         (maybe_add_assert_expr): Likewise.
1099
1100 2005-04-11  Richard Sandiford  <rsandifo@redhat.com>
1101
1102         * config/s390/s390.h (s390_tune_string, s390_arch_string)
1103         (s390_warn_framesize_string, s390_warn_dynamicstack_string)
1104         (s390_stack_size_string, s390_stack_guard_string, target_flags)
1105         (MASK_HARD_FLOAT, MASK_SMALL_EXEC, MASK_DEBUG_ARG, MASK_64BIT)
1106         (MASK_ZARCH, MASK_MVCLE, MASK_TPF_PROFILING, MASK_NO_FUSED_MADD)
1107         (MASK_BACKCHAIN, MASK_PACKED_STACK, TARGET_HARD_FLOAT)
1108         (TARGET_SOFT_FLOAT, TARGET_SMALL_EXEC, TARGET_DEBUG_ARG)
1109         (TARGET_64BIT, TARGET_ZARCH, TARGET_MVCLE, TARGET_TPF_PROFILING)
1110         (TARGET_NO_FUSED_MADD, TARGET_FUSED_MADD, TARGET_BACKCHAIN)
1111         (TARGET_PACKED_STACK, TARGET_SWITCHES, TARGET_OPTIONS): Delete.
1112         * config/s390/s390.c (TARGET_DEFAULT_TARGET_FLAGS): Override default.
1113         (TARGET_HANDLE_OPTION): Likewise.
1114         (s390_tune): Initialize to PROCESSOR_max.
1115         (s390_arch_string): Make static.
1116         (s390_tune_string, s390_warn_framesize_string): Delete.
1117         (s390_warn_dynamicstack_string, s390_stack_size_string): Delete.
1118         (s390_stack_guard_string, s390_warn_dynamicstack_p): Delete.
1119         (s390_handle_arch_option, s390_handle_option): New functions.
1120         (override_options): Remove parsing of option strings.
1121         * config/s390/s390.opt: New file.
1122
1123 2005-04-11  Paolo Bonzini  <bonzini@gnu.org>
1124
1125         * tree-complex.c (expand_vector_operations): Call
1126         update_stmt_if_modified.
1127
1128 2005-04-11  Paolo Bonzini  <bonzini@gnu.org>
1129
1130         * tree-vect-analyze (vect_determine_vectorization_factor):
1131         Do not use GET_MODE_NUNITS.
1132         * tree-vect-transform.c (vect_get_vec_def_for_operand,
1133         (vectorizable_load, vect_transform_loop): Likewise.
1134
1135 2005-04-11  Uros Bizjak  <uros@kss-loka.si>
1136
1137         * builtins.def (BUILT_IN_LCEIL, BUILT_IN_LCEILF, BUILT_IN_LCEILL)
1138         (BUILT_IN_LLCEIL, BUILT_IN_LLCEILF, BUILT_IN_LLCEILL): New.
1139         * optabs.h (enum optab_index): Add new OTI_lceil.
1140         (lceil_optab): Define corresponding macro.
1141         * optabs.c (init_optabs): Initialize lceil_optab.
1142         * genopinit.c (optabs): Implement lceil_optab using lceilsi2
1143         and lceildi2 patterns.
1144         * builtins.c (expand_builtin_int_roundingfn): Handle
1145         BUILT_IN_LCEIL{,F,L} and BUILT_IN_LLCEIL{,F,L}.
1146         (fold_builtin_int_roundingfn): Handle BUILT_IN_LCEIL{,F,L} and
1147         BUILT_IN_LLCEIL{,F,L}.
1148         (fold_builtin_1): Fold BUILT_IN_LCEIL{,F,L} and
1149         BUILT_IN_LLCEIL{,F,L} using fold_builtin_int_roundingfn.
1150         (mathfn_built_in): Handle BUILT_IN LCEIL and BUILT_IN_LLCEIL.
1151         (expand_builtin): Expand BUILT_IN_LCEIL{,F,L} and
1152         BUILT_IN_LLCEIL{,F,L} using expand_builtin_int_roundingfn.
1153         * convert.c (convert_to_integer): Convert (long int)ceil{,f,l},
1154         into lceil built-in function and (long long int)ceil{,f,l} into
1155         llceil built-in function.
1156         * fold-const.c (tree_expr_nonnegative_p): Add BUILT_IN_LCEIL and
1157         BUILT_IN_LLCEIL.
1158
1159 2005-04-10  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
1160
1161         * pa/quadlib.c (_U_Qfneg): Toggle sign bit instead of subtracting from
1162         zero.
1163
1164 2005-04-10  Kazu Hirata  <kazu@cs.umass.edu>
1165
1166         * config/arm/arm.c: Fix a comment typo.
1167         * doc/tree-ssa.texi: Fix a typo.
1168
1169 2005-04-10  Steven Bosscher  <stevenb@suse.de>
1170
1171         * cselib.c (clear_table): Rename to cselib_clear_table.
1172         * cselib.h (cselib_clear_table): Add prototype.
1173         * gcse.c (gcse_main): Make 'f' argument unused.
1174         (alloc_gcse_mem): Do not walk the insn chain, walk the contents
1175         of each basic block instead.
1176         (compute_sets, compute_hash_table_work): Likewise.
1177         (constprop_register): Change int 'alter_jumps' argument to bool.
1178         (do_local_cprop): Likewise.
1179         (local_cprop_pass): Likewise.  Also walk basic blocks instead of
1180         the insn chain.  Explicitly clear the cselib tables after finishing
1181         one basic block.  Make sure there are no unterminated libcall blocks.
1182         Update compute_sets call.
1183         (cprop): Walk basic blocks instead of the insn chain.
1184         (one_cprop_pass, compute_ld_motion_mems, compute_store_table):
1185         Likewise.
1186         (bypass_jumps): Update alloc_gcse_mem, compute_sets, and
1187         one_cprop_pass calls.
1188
1189 2005-04-10  Richard Sandiford  <rsandifo@redhat.com>
1190
1191         * combine.c (combine_simplify_rtx): Remove a transformation that
1192         relies on an invalid assumption about rtl sign-extension semantics.
1193
1194 2005-04-10  Richard Sandiford  <rsandifo@redhat.com>
1195
1196         * value-prof.c (tree_divmod_fixed_value_transform): Fix arguments
1197         to build_int_cst_wide.
1198
1199 2005-04-09  Alexandre Oliva  <aoliva@redhat.com>
1200
1201         PR target/20126
1202         * loop.c (loop_givs_rescan): If replacement of DEST_ADDR failed,
1203         set the original address pseudo to the correct value before the
1204         original insn, if possible, and leave the insn alone, otherwise
1205         create a new pseudo, set it and replace it in the insn.
1206         * recog.c (validate_change_maybe_volatile): New.
1207         * recog.h (validate_change_maybe_volatile): Declare.
1208
1209 2005-04-09  Caroline Tice  <ctice@apple.com>
1210
1211         * bb-reorder.c (find_rarely_executed_basic_blocks_and_crossing_edges):
1212         Remove targetm.have_named_sections test.
1213         (fix_edges_for_rarely_executed_code): Likewise.
1214         (insert_section_boundary_note): Likewise.
1215         (reorder_basic_blocks): Check partitioning flag before calling
1216         verify_hot_cold_block_grouping.
1217         * dbxout.c (dbxout_function_end): Get hot/cold section labels from
1218         the function struct rather than global variables.
1219         * dwarf2out.c (COLD_TEXT_SECTION_LABEL): New macro.
1220         (COLD_END_LABEL): Likewise
1221         (cold_text_section_label): New static global variable.
1222         (cold_end_label): Likewise.
1223         (dwarf2out_switch_text_section): Get hot/cold section labels from
1224         the function struct rather than global variables.
1225         (output_aranges): Use cold_text_section_label and cold_end_label;
1226         check partitioning flag before putting out delta.
1227         (output_ranges): Remove incorrect code attempting to use
1228         hot/cold labels.
1229         (output_line_info): Get cold section label from function struct.
1230         (add_location_or_const_value_attribute): Likewise.
1231         (get_subprogram_die): Get hot/cold section labels from function struct.
1232         (dwarf2out_var_location): Likewise.
1233         (dwarf2out_init): Generate cold_text_section_label and cold_end_label;
1234         write out cold_text_section_label if partition flag is set.
1235         (dwarf2out_finish): Write out cold_end_label if partition flag is set;
1236         * function.h (struct function): Add new fields to point to hot/cold
1237         section labels: hot_section_label, cold_section_label,
1238         hot_section_end_label and cold_section_end_label; also add new field
1239         for cold text section name, unlikely_text_section_name.
1240         * opts.c (decode_options): Turn off partitioning flag if
1241         !targetm.have_named_sections.
1242         * output.h (hot_section_label): Remove.
1243         (hot_section_end_label): Remove.
1244         (cold_section_end_label): Remove.
1245         (unlikely_section_label): Remove.
1246         (unlikely_text_section_name): Remove.
1247         * passes.c (rest_of_handle_final):  Remove code that frees
1248         unlikely_text_section_name.
1249         * varasm.c (unlikely_section_label): Remove.
1250         (hot_section_label): Remove.
1251         (hot_section_end_label): Remove.
1252         (cold_section_end_label): Remove.
1253         (unlikely_text_section_name):  Remove.
1254         (initialize_cold_section_name): Modify to call
1255         targetm.strip_name_encoding; to store cold section name in current
1256         function struct, if it exists; and to only use the decl_section_name
1257         if flag_named_sections is true.
1258         (unlikely_text_section): Modify to get section name out of current
1259         function struct, if there is one; otherwise build it from
1260         UNLIKELY_EXECUTED_TEXT_SECTION_NAME.
1261         (in_unlikely_text_section): Likewise.
1262         (named_section): Modify to get/put cold section name in current function
1263         struct, if there is one.
1264         (function_section):  Change 'bool unlikely' to 'int reloc'; check
1265         targetm.have_named_sections before calling named_section.
1266         (current_function_section): Likewise.
1267         (assemble_start_function): Modify to get/put unlikely_text_section_name
1268         in current function struct; modify to get hot/cold section labels
1269         from function struct; initialize labels using
1270         ASM_GENERATE_INTERNAL_LABEL;
1271         test partitioning flag before writing out hot section label.
1272         (assemble_end_function): Test partitioning flag before writing out
1273         hot/cold section labels.
1274         (default_section_type_flags_1):  Modify to use array instead of
1275          char* for unlikely_text_section_name; set flags correctly for
1276          cold text section if there is not a current function decl.
1277
1278 2005-04-09  Jakub Jelinek  <jakub@redhat.com>
1279
1280         * tree.h (enum tree_index): Add TI_VA_LIST_GPR_COUNTER_FIELD
1281         and TI_VA_LIST_FPR_COUNTER_FIELD.
1282         (va_list_gpr_counter_field, va_list_fpr_counter_field): Define.
1283         * tree-pass.h (pass_stdarg): Add.
1284         * tree-optimize.c (init_tree_optimization_passes): Add pass_stdarg.
1285         * tree-stdarg.c: New file.
1286         * tree-stdarg.h: New file.
1287         * Makefile.in (OBJS-common): Add tree-stdarg.o.
1288         (tree-stdarg.o): Add dependencies.
1289         * function.h (struct function): Add va_list_gpr_size and
1290         va_list_fpr_size fields.
1291         * function.c (allocate_struct_function): Initialize them.
1292         * target.h (struct gcc_target): Add stdarg_optimize_hook.
1293         * target-def.h (TARGET_STDARG_OPTIMIZE_HOOK): Define.
1294         (TARGET_INITIALIZER): Add it.
1295
1296         * config/i386/i386.c (ix86_build_builtin_va_list): Initialize
1297         va_list_{g,f}pr_counter_field.
1298         (ix86_setup_incoming_varargs): Don't do anything if reg_save
1299         area will not be used.  Only save registers that tree-stdarg.c
1300         detected they need saving.
1301         (ix86_va_start): Don't set up fields that won't be used.
1302
1303         * config/rs6000/rs6000.c (rs6000_build_builtin_va_list): Initialize
1304         va_list_{g,f}pr_counter_field.
1305         (setup_incoming_varargs): Don't do anything if reg_save
1306         area will not be used.  Only save registers that tree-stdarg.c
1307         detected they need saving.
1308         (rs6000_va_start): Don't set up fields that won't be used.
1309
1310         * config/alpha/alpha.c: Include tree-flow.h and tree-stdarg.h.
1311         (alpha_build_builtin_va_list): Initialize va_list_gpr_counter_field.
1312         (va_list_skip_additions, alpha_stdarg_optimize_hook): New functions.
1313         (TARGET_STDARG_OPTIMIZE_HOOK): Define.
1314
1315 2005-04-09  Jakub Jelinek  <jakub@redhat.com>
1316
1317         PR target/20795
1318         * config/i386/i386.c (construct_container): Pass empty aligned
1319         struct, union or class in memory.
1320
1321 2005-04-09  Kazu Hirata  <kazu@cs.umass.edu>
1322
1323         * dominance.c, gthr-win32.h, reg-stack.c, tree-ssa-copy.c,
1324         tree-ssa-operands.c, tree-ssa.c, tree-vrp.c, varasm.c,
1325         config/alpha/alpha.c, config/arm/arm.c, config/m32r/m32r.h,
1326         config/rs6000/predicates.md: Fix comment typos.
1327
1328         * sched-int.h (haifa_insn_data): Remove blockage and units.
1329         (INSN_UNIT, INSN_BLOCKAGE, UNIT_BITS, BLOCKAGE_MASK,
1330         ENCODE_BLOCKAGE, UNIT_BLOCKED, BLOCKAGE_RANGE,
1331         MIN_BLOCKAGE_COST, MAX_BLOCKAGE_COST): Remove.
1332
1333 2005-04-09  Jan Hubicka  <jh@suse.cz>
1334             Steven Bosscher  <stevenb@suse.de>
1335
1336         * cfglayout.c (copy_bbs): Rename n_edges to num_edges.
1337         * cfgloop.c (get_loop_exit_edges): Likewise.
1338         * cfgloopmanip.c (fix_irreducible_loops): Likewise.
1339         (unloop): Likewise.
1340         * loop-unroll.c (analyze_insns_in_loop): Likewise.
1341         * tree-cfg.c (dump_cfg_status): Likewise.
1342
1343 2005-04-09  David Edelsohn  <edelsohn@gnu.org>
1344
1345         * config/rs6000/predicates.md (altivec_register_operand): Remove
1346         redundant match_code test.
1347         (gpc_reg_operand): Same.
1348         (cc_reg_operand): Same.
1349         (cc_reg_not_cr0_operand): Same.
1350
1351 2005-04-09  Jan Hubicka  <jh@suse.cz>
1352
1353         Forgotten hunk from my last merge patch:
1354         * final.c (output_addr_const): Do not call mark_referenced.
1355
1356 2005-04-09  Andrew MacLeod  <amacleod@redhat.com>
1357
1358         * doc/tree-ssa.texi: Add immediate use documentation.
1359
1360 2005-04-09  Richard Earnshaw <richard.earnshaw@arm.com>
1361
1362         * arm.c (FL_WBUF): Define.
1363         (arm_tune_strongarm): Renamed from arm_is_strong.  All uses changed.
1364         (arm_is_6_or_7): Delete.
1365         (arm_tune_wbuf): New.
1366         (arm_override_options): Set arm_tune_wbuf.
1367         * arm.h (arm_tune_strongarm): Renamed from arm_is_strong.
1368         (arm_is_6_or_7): Delete declaration.
1369         (arm_tune_wbuf): New declartion.
1370         * arm.md (is_strongarm): Derive from arm_tune_strongarm.
1371         (model_wbuf): Derive from arm_tune_wbuf.
1372         * arm-cores.def (arm600, arm610, arm620, arm700, arm700i, arm710)
1373         (arm720, arm710c, arm7100, arm7500, arm7500fe, arm710t, arm720t)
1374         (arm740t): Mark CPUs as having a write buffer.
1375
1376 2005-04-09  Uros Bizjak  <uros@kss-loka.si>
1377
1378         * config/i386/i386.md (*fp_jcc_7_387): Use 'const0_operand' instead
1379         of 'const_double_operand' in operand 2 constraints.  Update enable
1380         condition.
1381
1382 2005-04-09  Uros Bizjak  <uros@kss-loka.si>
1383
1384         * builtins.def (BUILT_IN_LFLOOR, BUILT_IN_LFLOORF, BUILT_IN_LFLOORL)
1385         (BUILT_IN_LLFLOOR, BUILT_IN_LLFLOORF, BUILT_IN_LLFLOORL): New.
1386         * optabs.h (enum optab_index): Add new OTI_lfloor.
1387         (lfloor_optab): Define corresponding macro.
1388         * optabs.c (init_optabs): Initialize lfloor_optab.
1389         * genopinit.c (optabs): Implement lfloor_optab using lfloorsi2
1390         and lfloordi2 patterns.
1391         * builtins.c (expand_builtin_int_roundingfn): New prototype.
1392         (expand_builtin_int_roundingfn): New function.
1393         (fold_builtin_int_roundingfn): New prototype.
1394         (fold_builtin_int_roundingfn): New function, renamed from
1395         fold_builtin_lround.
1396         Handle BUILT_IN_LROUND{,F,L}, BUILT_IN_LLROUND{,F,L} and
1397         BUILT_IN_LFLOOR{,F,L}, BUILT_IN_LLFLOOR{,F,L}.
1398         (fold_builtin_1): Fold BUILT_IN_LFLOOR{,F,L} and
1399         BUILT_IN_LLFLOOR{,F,L} using fold_builtin_int_roundingfn.
1400         (mathfn_built_in): Handle BUILT_IN LFLOOR and BUILT_IN_LLFLOOR.
1401         (expand_builtin): Expand BUILT_IN_LFLOOR{,F,L} and
1402         BUILT_IN_LLFLOOR{,F,L} using expand_builtin_int_roundingfn.
1403         * convert.c (convert_to_integer): Convert (long int)floor{,f,l},
1404         into lfloor built-in function and (long long int)floor{,f,l} into
1405         llfloor built-in function.
1406         * fold-const.c (tree_expr_nonnegative_p): Add BUILT_IN_LFLOOR and
1407         BUILT_IN_LLFLOOR.
1408
1409 2005-04-08  Ian Lance Taylor  <ian@airs.com>
1410
1411         * c-common.def: Move FOR_STMT, WHILE_STMT, DO_STMT, BREAK_STMT,
1412         CONTINUE_STMT, and SWITCH_STMT to cp/cp-tree.def.
1413         * c-common.h (WHILE_COND, WHILE_BODY): Move to cp/cp-tree.h.
1414         (DO_COND, DO_BODY): Likewise.
1415         (FOR_INIT_STMT, FOR_COND, FOR_EXPR, FOR_BODY): Likewise.
1416         (SWITCH_STMT_COND, SWITCH_STMT_BODY, SWITCH_STMT_TYPE): Likewise.
1417         (c_common_stmt_codes): Remove FOR_STMT, WHILE_STMT, DO_STMT,
1418         BREAK_STMT, CONTINUE_STMT, and SWITCH_STMT.
1419         (build_continue_stmt, build_break_stmt): Don't declare.
1420         (c_do_switch_warnings): Update declaration.
1421         * c-gimplify.c (enum bc_t): Remove.
1422         (struct c_gimplify_ctx, ctxp): Remove.
1423         (push_context, pop_context): Remove static functions.
1424         (c_genericize): Don't call push_context or pop_context.
1425         (begin_bc_block, finish_bc_block): Remove static functions.
1426         (build_bc_goto): Likewise.
1427         (gimplify_c_loop): Likewise.
1428         (gimplify_for_stmt, gimplify_while_stmt): Likewise.
1429         (gimplify_do_stmt, gimplify_switch_stmt): Likewise.
1430         (c_gimplify_expr): Remove handling of FOR_STMT, WHILE_STMT,
1431         DO_STMT, SWITCH_STMT, CONTINUE_STMT, BREAK_STMT.
1432         * c-common.c (c_do_switch_warnings): Rename from
1433         c_do_switch_warnings_1.
1434         (c_do_switch_warnings) [old version]: Remove.
1435         (c_do_switch_expr_warnings): Remove.
1436         * c-typeck.c (c_finish_case): Call new c_do_switch_warnings
1437         function instead of c_do_switch_expr_warnings.
1438         * c-dump.c (c_dump_tree): Remove handling of BREAK_STMT,
1439         CONTINUE_STMT, DO_STMT, FOR_STMT, SWITCH_STMT, and WHILE_STMT.
1440         * c-pretty-print.c (pp_c_statement): Likewise.
1441         * c-semantics.c (build_break_stmt, build_continue_stmt): Remove.
1442
1443 2005-04-08  Devang Patel  <dpatel@apple.com>
1444
1445         * tree-if-conv.c (find_phi_replacement_condition): New parameter, loop.
1446         While selecting replacement condition pay attention to loop header.
1447
1448 2005-04-08  Diego Novillo  <dnovillo@redhat.com>
1449
1450         Merge from tree-cleanup-branch: VRP, store CCP, store
1451             copy-prop, incremental SSA updating of FUD chains and
1452             newly exposed symbols.
1453
1454         * Makefile.in (tree-ssa-copy.o): Depend on tree-ssa-propagate.h.
1455         (OBJS-common): Add tree-vrp.o.
1456         (tree-vrp.o): New rule.
1457         * basic-block.h (nearest_common_dominator_for_set): Declare.
1458         * common.opt (ftree-store-ccp): New flag.
1459         (ftree-copy-prop): New flag.
1460         (ftree-vrp): New flag.
1461         (ftree-store-copy-prop): New flag.
1462         * dominance.c (nearest_common_dominator_for_set): New.
1463         * domwalk.c (walk_dominator_tree): Only traverse
1464         statements in blocks marked in walk_data->interesting_blocks.
1465         * domwalk.h (struct dom_walk_data): Add field interesting_blocks.
1466         * fold-const.c (fold): Handle ASSERT_EXPR.
1467         * opts.c (decode_options): Set flag_tree_copy_prop at -O1.
1468         Set flag_tree_store_ccp, flag_tree_store_copy_prop and
1469         flag_tree_vrp at -O2.
1470         * timevar.def (TV_TREE_VRP): Define.
1471         (TV_TREE_COPY_PROP): Define.
1472         (TV_TREE_STORE_COPY_PROP): Define.
1473         (TV_TREE_SSA_INCREMENTAL): Define.
1474         (TV_TREE_STORE_CCP): Define.
1475         * tree-cfg.c (tree_can_merge_blocks_p): Remove reference
1476         to kill_redundant_phi_nodes from comment.
1477         (verify_expr): Handle ASSERT_EXPR.
1478         * tree-dfa.c (mark_new_vars_to_rename): Remove second
1479         argument.  Update all users.
1480         (mark_call_clobbered_vars_to_rename): Remove.  Update all
1481         users.
1482         * tree-flow-inline.h (unmodifiable_var_p): New.
1483         * tree-flow.h (enum value_range_type): Declare.
1484         (struct value_range_def): Declare.
1485         (value_range): Declare.
1486         (remove_all_phi_nodes_for): Remove.  Update all users.
1487         (find_phi_node_for): Declare.
1488         (add_type_alias): Declare.
1489         (count_uses_and_derefs): Declare.
1490         (kill_redundant_phi_nodes): Remove.
1491         (rewrite_into_ssa): Remove.
1492         (rewrite_def_def_chains): Remove.
1493         (update_ssa, register_new_name_mapping, create_new_def_for,
1494         need_ssa_update_p, name_registered_for_update_p,
1495         release_ssa_name_after_update_ssa, dump_repl_tbl,
1496         debug_repl_tbl, dump_names_replaced_by,
1497         debug_names_replaced_by, mark_sym_for_renaming,
1498         mark_set_for_renaming, get_current_def, set_current_def,
1499         get_value_range, dump_value_range, debug_value_range,
1500         dump_all_value_ranges, debug_all_value_ranges,
1501         expr_computes_nonzero, loop_depth_of_name,
1502         unmodifiable_var_p): Declare.
1503         * tree-gimple.c (is_gimple_formal_tmp_rhs): Handle
1504         ASSERT_EXPR.
1505         * tree-into-ssa.c (block_defs_stack): Update comment.
1506         (old_ssa_names, new_ssa_names, old_virtual_ssa_names,
1507         syms_to_rename, names_to_release, repl_tbl,
1508         need_to_initialize_update_ssa_p, need_to_update_vops_p,
1509         need_to_replace_names_p): New locals.
1510         (NAME_SETS_GROWTH_FACTOR): Define.
1511         (struct repl_map_d): Declare.
1512         (struct mark_def_sites_global_data): Add field
1513         interesting_blocks.
1514         (enum rewrite_mode): Declare.
1515         (REGISTER_DEFS_IN_THIS_STMT): Define.
1516         (compute_global_livein): Use last_basic_block instead of
1517         n_basic_blocks.
1518         (set_def_block): Remove last argument.  Update all callers.
1519         (prepare_use_operand_for_rename): Remove.  Update all callers.
1520         (prepare_def_operand_for_rename): Remove.  Update all callers.
1521         (symbol_marked_for_renaming): New.
1522         (is_old_name): New.
1523         (is_new_name): New.
1524         (repl_map_hash): New.
1525         (repl_map_eq): New.
1526         (repl_map_free): New.
1527         (names_replaced_by): New.
1528         (add_to_repl_tbl): New.
1529         (add_new_name_mapping): New.
1530         (mark_def_sites): Assume that all the operands in the
1531         statement are in normal form.
1532         (find_idf): Assert that the block in the stack is valid.
1533         (get_default_def_for): New.
1534         (insert_phi_nodes_for): Add new argument 'update_p'.
1535         Add documentation.
1536         If update_p is true, add a new mapping between the LHS of
1537         each new PHI and the name that it replaces.
1538         (insert_phi_nodes_1): Only call find_idf if needed.
1539         (get_reaching_def): Call get_default_def_for.
1540         (rewrite_operand): Remove.
1541         (rewrite_stmt): Do nothing if REGISTER_DEFS_IN_THIS_STMT
1542         and REWRITE_THIS_STMT are false.
1543         Assume that all the operands in the statement are in
1544         normal form.
1545         (rewrite_add_phi_arguments): Don't use PHI_REWRITTEN.
1546         (rewrite_virtual_phi_arguments): Remove.
1547         (invalidate_name_tags): Remove.
1548         (register_new_update_single, register_new_update_set,
1549         rewrite_update_init_block, replace_use,
1550         rewrite_update_fini_block, rewrite_update_stmt,
1551         rewrite_update_phi_arguments): New.
1552         rewrite_blocks): Remove argument 'fix_virtual_phis'.
1553         Add arguments 'entry', 'what' and 'blocks'.
1554         Initialize the dominator walker according to 'what' and
1555         'blocks'.
1556         Start the dominator walk at 'entry'.
1557         (mark_def_site_blocks): Add argument 'interesting_blocks'.
1558         Use it to configure the dominator walker.
1559         (rewrite_into_ssa): Remove argument 'all'.
1560         Make internal.
1561         (rewrite_all_into_ssa): Remove.
1562         (rewrite_def_def_chains): Remove.
1563         (mark_def_interesting, mark_use_interesting,
1564         prepare_phi_args_for_update, prepare_block_for_update,
1565         prepare_def_site_for, prepare_def_sites,
1566         dump_names_replaced_by, debug_names_replaced_by,
1567         dump_repl_tbl, debug_repl_tbl, init_update_ssa,
1568         delete_update_ssa, create_new_def_for,
1569         register_new_name_mapping, mark_sym_for_renaming,
1570         mark_set_for_renaming, need_ssa_update_p,
1571         name_registered_for_update_p, ssa_names_to_replace,
1572         release_ssa_name_after_update_ssa,
1573         insert_updated_phi_nodes_for, update_ssa): New.
1574         * tree-loop-linear.c (linear_transform_loops): Call
1575         update_ssa instead of rewrite_into_ssa.
1576         * tree-optimize.c (vars_to_rename): Remove.
1577         Update all users.
1578         (init_tree_optimization_passes): Replace
1579         pass_redundant_phi with pass_copy_prop.
1580         Add pass_vrp.
1581         Replace pass_ccp with pass_store_ccp.
1582         Add pass_store_copy_prop after pass_store_ccp.
1583         (execute_todo): If the TODO_ flags don't include updating
1584         the SSA form, assert that it does not need to be updated.
1585         Call update_ssa instead of rewrite_into_ssa and
1586         rewrite_def_def_chains.
1587         If TODO_verify_loops is set, call verify_loop_closed_ssa.
1588         (tree_rest_of_compilation):
1589         * tree-pass.h (TODO_dump_func, TODO_ggc_collect,
1590         TODO_verify_ssa, TODO_verify_flow, TODO_verify_stmts,
1591         TODO_cleanup_cfg): Renumber.
1592         (TODO_verify_loops, TODO_update_ssa,
1593         TODO_update_ssa_no_phi, TODO_update_ssa_full_phi,
1594         TODO_update_ssa_only_virtuals): Define.
1595         (pass_copy_prop, pass_store_ccp, pass_store_copy_prop, pass_vrp):
1596         Declare.
1597         * tree-phinodes.c (make_phi_node): Update documentation.
1598         (remove_all_phi_nodes_for): Remove.
1599         (find_phi_node_for): New.
1600         * tree-pretty-print.c (dump_generic_node): Handle ASSERT_EXPR.
1601         * tree-scalar-evolution.c (follow_ssa_edge_in_rhs): Likewise.
1602         (interpret_rhs_modify_expr): Likewise.
1603         * tree-sra.c (decide_instantiations): Mark all symbols in
1604         SRA_CANDIDATES for renaming.
1605         (mark_all_v_defs_1): Rename from mark_all_v_defs.
1606         (mark_all_v_defs): New function.  Update all users to call it
1607         with the whole list of scalarized statements, not just the
1608         first one.
1609         * tree-ssa-alias.c (count_ptr_derefs): Make extern.
1610         (compute_flow_insensitive_aliasing): If the tag is
1611         unmodifiable and the variable isn't or vice-versa, don't
1612         make them alias of each other.
1613         (setup_pointers_and_addressables): If the type tag for
1614         VAR is about to change, mark the old one for renaming.
1615         (add_type_alias): New.
1616         * tree-ssa-ccp.c: Document SSA-CCP and STORE-CCP.
1617         (ccp_lattice_t): Rename from latticevalue.
1618         (value): Remove.  Update all users.
1619         (const_val): New local variable.
1620         (do_store_ccp): New local variable.
1621         (dump_lattice_value): Handle UNINITIALIZED.
1622         (debug_lattice_value): New.
1623         (get_default_value): Re-write.
1624         (set_lattice_value): Re-write.
1625         (def_to_varying): Remove.  Update all users.
1626         (likely_value): Return VARYING for statements that make
1627         stores when STORE_CCP is false.
1628         Return VARYING for any statement other than MODIFY_EXPR,
1629         COND_EXPR and SWITCH_EXPR.
1630         (ccp_initialize): Re-write.
1631         (replace_uses_in, replace_vuse_in, substitute_and_fold):
1632         Move to tree-ssa-propagate.c.
1633         (ccp_lattice_meet): Handle memory stores when
1634         DO_STORE_CCP is true.
1635         (ccp_visit_phi_node): Likewise.
1636         (ccp_fold): Likewise.
1637         (evaluate_stmt): Likewise.
1638         (visit_assignment): Likewise.
1639         (ccp_visit_stmt): Likewise.
1640         (execute_ssa_ccp): Add argument 'store_ccp'.  Copy it
1641         into DO_STORE_CCP.
1642         (do_ssa_ccp): New.
1643         (pass_ccp): Use it.
1644         (do_ssa_store_ccp): New.
1645         (gate_store_ccp): New.
1646         (pass_store_ccp): Declare.
1647         * tree-ssa-copy.c: Include tree-ssa-propagate.h.
1648         (may_propagate_copy): Reformat.
1649         Don't abort if ORIG is a virtual and DEST isn't.
1650         If NEW does not have alias information but DEST does,
1651         copy it.
1652         (copy_of, cached_last_copy_of, do_store_copy_prop, enum
1653         copy_prop_kind, which_copy_prop): Declare.
1654         (stmt_may_generate_copy, get_copy_of_val,
1655         get_last_copy_of, set_copy_of_val, dump_copy_of,
1656         copy_prop_visit_assignment, copy_prop_visit_cond_stmt,
1657         copy_prop_visit_stmt, copy_prop_visit_phi_node,
1658         init_copy_prop, fini_copy_prop, execute_copy_prop,
1659         gate_copy_prop, do_copy_prop, gate_store_copy_prop,
1660         store_copy_prop): New.
1661         (pass_copy_prop, pass_store_copy_prop): Declare.
1662         * tree-ssa-dom.c (struct opt_stats_d): Add fields
1663         'num_const_prop' and 'num_copy_prop'.
1664         (cprop_operand): Update them.
1665         (dump_dominator_optimization_stats): Dump them.
1666         (tree_ssa_dominator_optimize): Call update_ssa instead of
1667         rewrite_into_ssa.
1668         (loop_depth_of_name): Declare extern.
1669         (simplify_cond_and_lookup_avail_expr): Guard against NULL
1670         values for LOW or HIGH.
1671         (cprop_into_successor_phis): Only propagate if NEW != ORIG.
1672         (record_equivalences_from_stmt): Call expr_computes_nonzero.
1673         (cprop_operand): Only propagate if VAL != OP.
1674         * tree-ssa-dse.c (dse_optimize_stmt): Mark symbols in removed
1675         statement for renaming.
1676         * tree-ssa-loop-im.c (move_computations): Call update_ssa.
1677         * tree-ssa-loop-ivopts.c (rewrite_address_base): Call
1678         add_type_alias if necessary.
1679         Call mark_new_vars_to_rename.
1680         (tree_ssa_iv_optimize): If new symbols need to be renamed,
1681         mark every statement updated, call update_ssa and
1682         rewrite_into_loop_closed_ssa.
1683         * tree-ssa-loop-manip.c (add_exit_phis): Do not remove DEF_BB
1684         from LIVEIN if VAR is a virtual.
1685         * tree-ssa-loop.c (tree_loop_optimizer_init): Call update_ssa.
1686         * tree-ssa-operands.c (get_expr_operands): Handle ASSERT_EXPR.
1687         (get_call_expr_operands): Reformat statement.
1688         (add_stmt_operand): Don't create V_MAY_DEFs for read-only
1689         symbols.
1690         * tree-ssa-propagate.c (ssa_prop_init): Initialize
1691         SSA_NAME_VALUE for every name.
1692         (first_vdef, stmt_makes_single_load, stmt_makes_single_store,
1693         get_value_loaded_by): New.
1694         (replace_uses_in, replace_vuses_in, replace_phi_args_in,
1695         substitute_and_fold): Move from tree-ssa-ccp.c.
1696         * tree-ssa-propagate.h (struct prop_value_d, prop_value_t,
1697         first_vdef, stmt_makes_single_load, stmt_makes_single_store,
1698         get_value_loaded_by, replace_uses_in, substitute_and_fold):
1699         Declare.
1700         * tree-ssa.c (verify_use): Fix error message.
1701         (propagate_into_addr, replace_immediate_uses, get_eq_name,
1702         check_phi_redundancy, kill_redundant_phi_nodes,
1703         pass_redundant_phi): Remove.  Update all users.
1704         * tree-vect-transform.c (vect_create_data_ref_ptr): Call
1705         add_type_alias, if necessary.
1706         * tree-vectorizer.h (struct _stmt_vect_info): Update
1707         documentation for field 'memtag'.
1708         * tree-vrp.c: New file.
1709         * tree.def (ASSERT_EXPR): Define.
1710         * tree.h (ASSERT_EXPR_VAR): Define.
1711         (ASSERT_EXPR_COND): Define.
1712         (SSA_NAME_VALUE_RANGE): Define.
1713         (struct tree_ssa_name): Add field 'value_range'.
1714         (PHI_REWRITTEN): Remove.
1715         (struct tree_phi_node): Remove field 'rewritten'.
1716         * doc/invoke.texi (-fdump-tree-storeccp, -ftree-copy-prop,
1717         -ftree-store-copy-prop): Document.
1718         * doc/tree-ssa.texi: Remove broken link to McCAT's compiler.
1719         Document usage of update_ssa.
1720
1721 2005-04-08  David Edelsohn  <edelsohn@gnu.org>
1722
1723         PR target/20814
1724         * config/rs6000/predicates.md (altivec_register_operand): Accept
1725         SUBREG.
1726         (and64_operand): Do not limit CONST_INT to mask64_operand.
1727         (and64_2_operand): Do not limit CONST_INT to mask64_1or2_operand.
1728         (and_operand): Do not limit CONST_INT to mask_operand.
1729
1730 2005-04-09  Hans-Peter Nilsson  <hp@axis.com>
1731
1732         PR rtl-optimization/20466
1733         * flow.c (invalidate_mems_from_set): Handle a MEM by checking it
1734         for overlap of the address of each list member.
1735         (mark_set_1): Call invalidate_mems_from_set for MEMs too.
1736
1737 2005-04-08  Mike Stump  <mrs@apple.com>
1738
1739         * config/darwin.c (indirect_data): Fix typo in strncmp logic.
1740
1741         * config/rs6000/rs6000.c (rs6000_emit_prologue): Use 5 nops,
1742         instead of 4.
1743
1744 2005-04-08  Kazu Hirata  <kazu@cs.umass.edu>
1745
1746         * c-tree.h (C_LANG_TREE_NODE_CHAIN_NEXT): Remove.
1747
1748         * function.c (push_function_context_to): Don't set
1749         contains_functions.
1750         * function.h (function): Remove contains_functions.
1751         (current_function_contains_functions): Remove.
1752
1753         * function.h (function): Remove instrument_entry_exit.
1754         (current_function_instrument_entry_exit): Remove.
1755
1756         * function.h (nonlocal_labels): Remove.
1757
1758         * tree.h (STRIP_MAIN_TYPE_NOPS): Remove.
1759
1760         * genattrtab.c (attr_desc): Remove negative_ok and unsigned_p.
1761         (check_attr_value, write_attr_get, write_expr_attr_cache,
1762         find_attr, make_internal_attr): Don't reference negative_ok or
1763         unsigned_p.
1764         * genattrtab.h (ATTR_NEGATIVE_OK, ATTR_UNSIGNED,
1765         ATTR_FUNC_UNITS, ATTR_BLOCKAGE): Remove.
1766         (ATTR_STATIC): Adjust the value.
1767
1768         * c-common.h (C_ARTIFICIAL_STRING_P): Remove.
1769
1770 2005-04-08  Ulrich Weigand  <uweigand@de.ibm.com>
1771
1772         * config/s390/tpf.h (ASM_SPEC): Define.
1773
1774 2005-04-08  Kazu Hirata  <kazu@cs.umass.edu>
1775
1776         * tree-flow.h: Remove the prototype for
1777         redirect_immediate_uses.
1778         (TDFA_USE_OPS, TDFA_USE_VOPS): Remove.
1779
1780 2005-04-08  Richard Earnshaw  <richard.earnshaw@arm.com>
1781
1782         * arm.c (arm_const_double_by_parts): New function.
1783         * arm-protos.h (arm_const_double_by_parts): Add prototype.
1784         * arm.md (define_split for 64-bit constants): Add another one.
1785
1786 2005-04-08  Andrew MacLeod  <amacleod@redhat.com>
1787
1788         * tree-ssa-operands.c (correct_use_link): Remove linear scan.
1789
1790 2005-04-08  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
1791
1792         * system.h: Revert last change.
1793
1794 2005-04-08  Richard Sandiford  <rsandifo@redhat.com>
1795
1796         * config/xtensa/xtensa.h (target_flags, MASK_NO_FUSED_MADD)
1797         (MASK_CONST16, TARGET_NO_FUSED_MADD, TARGET_CONST16)
1798         (TARGET_SWITCHES): Delete.
1799         * config/xtensa/xtensa.c (TARGET_DEFAULT_TARGET_FLAGS): Define.
1800         * config/xtensa/xtensa.md (muladdsf3, mulsubsf3): Check
1801         TARGET_FUSED_MADD instead of !TARGET_NO_FUSED_MADD.
1802         * config/xtensa/xtensa.opt: New file.
1803
1804 2005-04-08  Ben Elliston  <bje@au.ibm.com>
1805
1806         * config/fp-bit.c: Include L_mul_tf in #endif comment.
1807         * config/fp-bit.h: Tidy comments.
1808
1809 2005-04-07  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
1810
1811         * system.h: Poison PARAMS.
1812
1813 2005-04-07  Richard Sandiford  <rsandifo@redhat.com>
1814
1815         * config/vax/vax.h (target_flags, MASK_UNIX_ASM, MASK_VAXC_ALIGNMENT)
1816         (MASK_G_FLOAT, TARGET_UNIX_ASM, TARGET_VAXC_ALIGNMENT, TARGET_G_FLOAT)
1817         (TARGET_SWITCHES): Delete.
1818         * config/vax/vax.c (TARGET_DEFAULT_TARGET_FLAGS): Override default.
1819         * config/vax/vax.opt: New file.
1820
1821 2005-04-07  Daniel Berlin  <dberlin@dberlin.org>
1822
1823         * tree-ssa-dse.c (dse_optimize_stmt): Fix incorrect comment.
1824
1825 2005-04-07  Ian Lance Taylor  <ian@airs.com>
1826
1827         * config/iq2000/iq2000.h (DONT_ACCESS_GBLS_AFTER_EPILOGUE): Don't
1828         define.
1829         * config/mips/mips.h (DONT_ACCESS_GBLS_AFTER_EPILOGUE): Likewise.
1830         * config/sparc/sparc.h (DONT_ACCESS_GBLS_AFTER_EPILOGUE):
1831         Likewise.
1832
1833 2005-04-07  Kazu Hirata  <kazu@cs.umass.edu>
1834
1835         * tree-ssa-sink.c (nearest_common_dominator_of_uses): Consider
1836         all immediate uses in PHI nodes.
1837
1838 2005-04-07  Richard Earnshaw  <richard.earnshaw@arm.com>
1839
1840         * arm.c (arm_const_double_inline_cost): Handle any constant by
1841         using gen_lowpart and gen_highpart_mode.
1842         (note_invalid_constants): All constants in an RTX with a constraint
1843         that permits memory are now pushed to the constant pool.
1844         (output_move_double): Delete code to handle reg to reg and
1845         constant to reg moves.
1846         (const_double_needs_minipool, output_mov_immediate): Delete.
1847         * arm.h (EXTRA_CONSTRAINT_STR_ARM): All 'D' variants now handle
1848         CONST_INT and CONST_VECTOR.
1849         * arm.md (ANY64): New mode macro.
1850         (arm_movdi): Split reg-reg and const-reg moves.  Simplify constraints.
1851         (movdf_soft_insn): Split reg-reg and const-reg moves.
1852         (split patterns for 64-bit constant and register moves): New.
1853         * cirrus.md (cirrus_arm_movdi): Split reg-reg and const-reg moves.
1854         (cirrus_movdf_hard_insn): Likewise.
1855         * fpa.md (movdf_fpa): Likewise.
1856         * iwmmxt.md (iwmmxt_arm_movdi): Likewise.
1857         (movv8qi_internal, movv4hi_internal, movv2si_internal): Fix
1858         constraints.
1859         (movv2si_internal_2): Likewise.
1860         * vfp.md (arm_movdi_vfp): Split reg-reg and const-reg moves.
1861         (movdf_vfp): Likewise.
1862         * arm-protos.h (output_mov_immediate): Delete prototype.
1863
1864 2005-04-07  Joseph S. Myers  <joseph@codesourcery.com>
1865
1866         PR target/20093
1867         * simplify-rtx.c (simplify_unary_operation_1): Check
1868         SUBREG_PROMOTED_UNSIGNED_P (op) > 0 for zero-extension.
1869
1870 2005-04-06  James E Wilson  <wilson@specifixinc.com>
1871
1872         PR target/20717
1873         * cgraphunit.c (record_call_1, case FDESC_EXPR): Handle same as
1874         ADDR_EXPR.
1875
1876 2004-04-06  Richard Sandiford  <rsandifo@redhat.com>
1877
1878         * coverage.h (GCOV_TYPE_NODE): Delete.
1879         * coverage.c (coverage_counter_alloc, tree_coverage_counter_ref)
1880         (build_ctr_info_type): Use get_gcov_type () instead of GCOV_TYPE_NODE.
1881         * tree-profile.c (tree_gen_edge_profiler, tree_gen_interval_profiler)
1882         (tree_gen_pow2_profiler, tree_gen_one_value_profiler): Likewise.
1883         * value-prof.c (tree_divmod_fixed_value_transform): Delete.
1884
1885 2004-04-06  Richard Sandiford  <rsandifo@redhat.com>
1886
1887         PR other/20792
1888         * Makefile.in (gcc.pot): Remove options.c dependency.
1889         * optc-gen.awk: Don't quote help strings with N_().
1890
1891 2005-04-06  James A. Morrison  <phython@gcc.gnu.org>
1892
1893         * c-common.c (handle_malloc_atttribute): Only set DECL_IS_MALLOC if
1894         the function returns a pointer type.
1895
1896 2005-04-06  Daniel Berlin  <dberlin@dberlin.org>
1897
1898         * params.def (PARAM_SALIAS_MAX_IMPLICIT_FIELDS): New
1899         * params.h (SALIAS_MAX_IMPLICIT_FIELDS): New
1900         * doc/invoke.texi: Documnet salias-max-implicit-fields.
1901         * tree-ssa-alias.c (struct used_part): Add implicit_uses and
1902         explicit_uses members.
1903         (get_or_create_used_part_for): Initialize new fields.
1904         (fieldoff_compare): New function.
1905         (create_overlap_variables_for): Count number of fields, use
1906         heuristic to determine whether to create subvars for vars with
1907         only implicit uses.
1908         Sort the field list by offset and avoid creating duplicate SFT's.
1909
1910 2005-04-06  Richard Sandiford  <rsandifo@redhat.com>
1911
1912         * c.opt (-F): Remove trailing whitespace from help string.
1913         (-finput-charset): Use a tab to separate the switch name and help
1914         string.
1915         * common.opt (-fsched-stalled-insns, -fsched-stalled-insns-dep)
1916         (-ftree-vectorizer-verbose): Likewise.
1917
1918 2005-04-06  Kazu Hirata  <kazu@cs.umass.edu>
1919
1920         * tree-ssa-sink.c (nearest_common_dominator_of_uses): Look at
1921         a PHI argument where a use occurs instead of all PHI arguments.
1922
1923 2005-04-06  Joseph S. Myers  <joseph@codesourcery.com>
1924
1925         * c-decl.c (finish_decl): Apply pending #pragma weak regardless of
1926         scope.
1927
1928 2005-04-06  Kazu Hirata  <kazu@cs.umass.edu>
1929
1930         * cse.c, tree-flow-inline.h, tree-flow.h, tree-ssa-operands.c,
1931         tree-ssa-sink.c, tree.h, config/bfin/bfin.c,
1932         config/bfin/bfin.h: Fix comment typos.
1933
1934 2005-04-06  Ranjit Mathew  <rmathew@hotmail.com>
1935
1936         * doc/install.texi: Update the URL for Jacks.
1937         * doc/sourcebuild.texi: Likewise.
1938
1939 2005-04-06  Eric Botcazou  <ebotcazou@libertysurf.fr>
1940
1941         PR target/17245
1942         * config/sparc/sparc.c (legitimate_address_p): Remove 'imm2'.
1943         Revert 2004-10-08 patch.  Reject TFmode LO_SUM in 32-bit mode.
1944
1945 2005-04-06  Kelley Cook  <kcook@gcc.gnu.org>
1946
1947         * Makefile.in (LIBGCC2_CFLAGS): Revert -pipe change.
1948
1949 2005-04-06  Richard Sandiford  <rsandifo@redhat.com>
1950
1951         * config/v850/v850-protos.h (override_options): Delete.
1952         * config/v850/v850.h (target_flags, MASK_GHS, MASK_LONG_CALLS, MASK_EP)
1953         (MASK_PROLOG_FUNCTION, MASK_DEBUG, MASK_V850, MASK_V850E)
1954         (MASK_SMALL_SLD, MASK_BIG_SWITCH, MASK_NO_APP_REGS, MASK_DISABLE_CALLT)
1955         (MASK_STRICT_ALIGN, MASK_US_BIT_SET, MASK_US_MASK_SET, TARGET_GHS)
1956         (TARGET_LONG_CALLS, TARGET_EP, TARGET_PROLOG_FUNCTION, TARGET_V850)
1957         (TARGET_BIG_SWITCH, TARGET_DEBUG, TARGET_V850E, TARGET_US_BIT_SET)
1958         (TARGET_SMALL_SLD, TARGET_DISABLE_CALLT, TARGET_NO_APP_REGS)
1959         (TARGET_STRICT_ALIGN, TARGET_SWITCHES, TARGET_OPTIONS)
1960         (OVERRIDE_OPTIONS): Delete.
1961         (MASK_CPU): Redefine as MASK_V850 | MASK_V850E.
1962         (small_memory_info): Remove the value field.
1963         (CONDITIONAL_REGISTER_USAGE): Check !TARGET_APP_REGS rather than
1964         TARGET_NO_APP_REGS.
1965         * config/v850/v850.c (small_memory): Remove the value field.
1966         (TARGET_DEFAULT_TARGET_FLAGS, TARGET_HANDLE_OPTION): Override defaults.
1967         (override_options): Delete.
1968         (v850_handle_memory_option, v850_handle_option): New functions.
1969         * config/v850/v850.opt: New file.
1970
1971 2005-04-06  Geoffrey Keating  <geoffk@apple.com>
1972
1973         * config.host: Add a section for generic hosts, and a subsection
1974         for Darwin.  Add a case for x86-darwin.  Update ppc-darwin case.
1975         * config/host-darwin.c: New, split out of config/rs6000/host-darwin.c.
1976         * config/host-darwin.h: New.
1977         * config/x-darwin: New.
1978         * config/i386/host-i386-darwin.c: New.
1979         * config/i386/x-darwin: New.
1980         * config/rs6000/host-darwin.c: Include host-darwin.h.
1981         (darwin_rs6000_gt_pch_get_address): Move to config/host-darwin.c.
1982         (darwin_rs6000_gt_pch_use_address): Likewise.
1983         * config/rs6000/x-darwin: Change name of .o built, update
1984         dependencies for changes to rs6000/host-darwin.c.
1985
1986 2005-04-06  Ralf Corsepius  <ralf.corsepius@rtems.org>
1987
1988         PR target/17824
1989         * config/c4x/c4x.h (ASM_PROG, LD_PROG): Remove.
1990
1991 2005-04-06  Dorit Naishlos  <dorit@il.ibm.com>
1992
1993         * tree-vect-analyze.c (vect_analyze_loop_form): Call
1994         split_loop_exit_edge instead of loop_split_edge_with.
1995
1996 2005-04-06  Paolo Bonzini  <bonzini@gnu.org>
1997
1998         * config/rs6000/altivec.md (UNSPEC_VSLW, UNSPEC_SUBS,
1999         UNSPEC_SET_VSCR): New constants, used throughout.
2000         (*andc3_v4sf): New.
2001         (altivec_vspltisb, altivec_vsplitish, altivec_vsplitisw):
2002         Replace with...
2003         (altivec_vspltis<VI_char>): ... this pattern, using
2004         a QImode const_int_operand for the immediate.
2005         (abs<mode>2, absv4sf2, altivec_abss_<mode>): Rewrite as
2006         define_expands.
2007
2008 2005-04-06  Ralf Corsepius  <ralf.corsepius@rtems.org>
2009
2010         PR target/17822
2011         * config/avr/t-avr (AR_FOR_TARGET,RANLIB_FOR_TARGET): Remove.
2012
2013 2005-04-06  Kelley Cook  <kcook@gcc.gnu.org>
2014
2015         * Makefile.in (LIBGCC2_CFLAGS): Compile with -pipe.
2016
2017 2005-04-06  Ben Elliston  <bje@au.ibm.com>
2018
2019         * gcc.c: Correct comment about DEFAULT_SWITCH_TAKES_ARG and
2020         DEFAULT_WORD_SWITCH_TAKES_ARG which incorrectly reported these
2021         macros as living in "this file" and not gcc.h.
2022
2023 2005-04-06  Ben Elliston  <bje@au.ibm.com>
2024
2025         * doc/invoke.texi (Optimize Options): Mention -ftree-lrs, not
2026         -ftree-live_range_split.  Perhaps renamed at some point?
2027
2028 2005-04-06  Zdenek Dvorak  <dvorakz@suse.cz>
2029
2030         PR target/20625
2031         * tree-ssa-loop-ivopts.c (generic_type_for): New function.
2032         (add_candidate_1): Use generic_type_for instead of unsigned_type_for.
2033
2034 2005-04-06  Zdenek Dvorak  <dvorakz@suse.cz>
2035
2036         * tree-flow.h (number_of_iterations_cond): Declaration removed.
2037         * tree-ssa-loop-niter.c (number_of_iterations_cond): Made static.
2038         (number_of_iterations_special): New function.
2039         (number_of_iterations_exit): Use number_of_iterations_special.
2040         Use simplify_using_outer_evolutions only at -O3.
2041         (number_of_iterations_cond, tree_simplify_using_condition,
2042         simplify_using_initial_conditions, loop_niter_by_eval,
2043         compare_trees, can_count_iv_in_wider_type_bound,
2044         simplify_using_outer_evolutions): Use fold_build.
2045
2046 2005-04-05  Thomas Fitzsimmons  <fitzsim@redhat.com>
2047
2048         * doc/install.texi (Configuration): Document --with-java-home.
2049
2050 2005-04-05  Richard Henderson  <rth@redhat.com>
2051
2052         PR target/20342
2053         PR target/20447
2054         * config/i386/i386.c (print_operand): Handle vector zeros.
2055         (ix86_split_to_parts): Handle CONST_VECTOR.
2056         (ix86_hard_regno_mode_ok): Allow MMX modes in general regs.
2057         (ix86_modes_tieable_p): Use ix86_hard_regno_mode_ok to decide
2058         what modes to tie for MMX and SSE registers.
2059         * config/i386/i386.h (MMX_REG_MODE_P): Remove.
2060         * config/i386/i386.md: Extend move 0 -> xor peephole to apply
2061         to vector modes as well.
2062         * config/i386/predicates.md (const0_operand): Handle VOIDmode
2063         properly as an input mode.
2064
2065 2005-04-05  Andrew MacLeod  <amacleod@redhat.com>
2066
2067         * tree-ssa-operands.c (verify_abort): Use %p for pointers.
2068
2069 2005-04-05  Andrew MacLeod  <amacleod@redhat.com>
2070
2071         * tree-pretty-print.c (dump_generic_node): Use %p for pointer.
2072
2073 2005-04-05  Jakub Jelinek  <jakub@redhat.com>
2074
2075         * config/i386/i386.c (init_cumulative_args): For -m32 -mfpmath=sse
2076         and local functions, set sse_nregs to 8 and float_in_sse.
2077         (function_arg_advance, function_arg): If float_in_sse, pass
2078         SFmode and DFmode arguments in SSE registers.
2079         * config/i386/i386.h (CUMULATIVE_ARGS): Add float_in_sse field.
2080
2081         * config/i386/i386.c (ix86_value_regno): Only optimize local functions
2082         of -funit-at-a-time.
2083
2084 2005-04-05  Paolo Bonzini  <bonzini@gnu.org>
2085
2086         * config/i386/i386-protos.h (ix86_function_value): Accept two
2087         arguments, like the target macro.
2088         * config/i386/i386.h (FUNCTION_VALUE): Pass both arguments.
2089         * config/i386/i386.c (ix86_function_value): Accept the second
2090         argument of the target macro.
2091         (ix86_function_ok_for_sibcall): Pass a function pointer to
2092         ix86_function_value.
2093         (ix86_function_value, ix86_libcall_value) [!TARGET_64BIT]: Adjust
2094         call to ix86_value_regno).
2095         (ix86_value_regno): Add support for returning floating point values
2096         in SSE registers.
2097
2098 2005-04-05  Jakub Jelinek  <jakub@redhat.com>
2099
2100         PR tree-optimization/20076
2101         * tree-inline.c (inline_forbidden_p_1): Prevent inlining functions
2102         that call __builtin_return or __builtin_apply_args.
2103
2104 2005-04-05  Andrew MacLeod  <amacleod@redhat.com>
2105
2106         * lambda-code.c (lambda_loopnest_to_gcc_loopnest): Use update_stmt.
2107         Use immediate use iterator.
2108         (stmt_is_bumper_for_loop): Use immediate use iterator.
2109         * predict.c (strip_builtin_expect): Use update_stmt.
2110         * tree-cfg.c (update_modified_stmts): New. Call update_stmt_if_modified
2111         on all elements of a STATEMENT_LIST.
2112         (bsi_insert_before, bsi_insert_after): Call update_modified_stmts.
2113         (bsi_remove): Remove imm_use links and mark the stmt as modified.
2114         (bsi_replace): Mark stmt as modified and the update it.
2115         * tree-complex.c (update_complex_assignment): Call mark_stmt_modified.
2116         (expand_complex_libcal): Call update_stmt.
2117         (expand_complex_comparison): Call mark_stmt_modified.
2118         (expand_complex_operations_1): Call update_stmt_if_modified.
2119         (expand_vector_operations_1): Call mark_stmt_modified.
2120         * tree-dfa.c (compute_immediate_uses, free_df_for_stmt, free_df,
2121         compute_immediate_uses_for_phi, compute_immediate_uses_for_stmt,
2122         add_immediate_use, redirect_immediate_use,
2123         redirect_immediate_uses, dump_immediate_uses, debug_immediate_uses,
2124         dump_immediate_uses_for, debug_immediate_uses_for): Delete.
2125         (mark_new_vars_to_rename): Call update_stmt.
2126         * tree-dump.c (dump_option_value_in): Add "stmtaddr".
2127         * tree-flow-inline.h (modify_stmt): Rename to mark_stmt_modified.
2128         Ignore PHI nodes.
2129         (unmodify_stmt): Delete.
2130         (update_stmt): New.  Force an update of a stmt.
2131         (update_stmt_if_modified): update a stmt if it is out of date.
2132         (get_stmt_operands): Verify stmt is NOT modified.
2133         (stmt_modified_p): Update comment.
2134         (delink_imm_use): Remove a use node from its immuse list.
2135         (link_imm_use_to_list): Link a use node to a specific list.
2136         (link_imm_use): Link a node to the correct list.
2137         (set_ssa_use_from_ptr): Set a use node to a specific value, and insert
2138         it in the correct list, if appropriate.
2139         (link_imm_use_stmt): Link a use node, and set the stmt pointer.
2140         (relink_imm_use): Link a use node in place of another node in a list.
2141         (relink_imm_use_stmt): LInk a node in place of another node, and set
2142         the stmt pointer.
2143         (end_safe_imm_use_traverse): New.  Terminate a safe immuse iterator.
2144         (end_safe_imm_use_p): New.  Check for the end of a safe immuse iterator.
2145         (first_safe_imm_use): New.  Initialize a safe immuse iterator.
2146         (next_safe_imm_use): New.  Proceed to next safe immuse iterator value.
2147         (end_readonly_imm_use_p): New.  Check for end of a fast immuse iterator.
2148         (first_readonly_imm_use): New.  Initialize a fast immuse iterator.
2149         (next_readonly_imm_use): New.  Get the next fast immuse iterator value.
2150         (has_zero_uses): New.  Return true if there are no uses of a var.
2151         (has_single_use): New.  Return true if there is only a single use of a
2152         variable.
2153         (single_imm_use): New.  Return the simgle immediate use.
2154         (num_imm_uses): New.  Return the number of immediate uses.
2155         (get_v_must_def_ops): Use is now a pointer.
2156         (use_operand_p, get_v_may_def_op_ptr, get_vuse_op_ptr,
2157         get_v_must_def_kill_ptr, get_phi_arg_def_ptr): Return the address of
2158         the use node.
2159         (get_immediate_uses, num_immediate_uses, immediate_use): Delete.
2160         (delink_stmt_imm_use): Delink all immuses from a stmt.
2161         (phi_arg_index_from_use): New.  Return a phi arg index for a use.
2162         * tree-flow.h (struct dataflow_d): Delete.
2163         (immediate_use_iterator_d): New.  Immediate use iterator struct.
2164         (FOR_EACH_IMM_USE_FAST): New.  Macro for read only immuse iteration.
2165         (FOR_EACH_IMM_USE_SAFE): New.  Macro for write-safe immuse iteration.
2166         (BREAK_FROM_SAFE_IMM_USE): New.  Macro for earlyu exit from write-safe
2167         iteration.
2168         (struct stmt_ann_d): Remove dataflow_t from struct.
2169         * tree-if-conv.c (tree_if_conversion).  Don't call free_df.
2170         (if_convertible_phi_p): Use FAST immuse iterator.
2171         (if_convertible_loop_p): Don't call compute_immediate_uses.
2172         (replace_phi_with_cond_modify_expr): Call update_stmt.
2173         * tree-into-ssa.c (mark_def_sites, ssa_mark_def_sites): Call
2174         update_stmt_if_modified.
2175         (rewrite_all_into_ssa): Initialize ssa operands.
2176         * tree-loop-linear.c (linear_transform_loops): Don't call free_df or
2177         compute_immediate_uses.
2178         * tree-optimize.c (execute_todo): Call verify_ssa whenever the
2179         ssa_property is available.
2180         (execute_one_pass):  Change parameters passed to execute_todo.
2181         * tree-outof-ssa.c (rewrite_trees): Don't call modify_stmt.
2182         (remove_ssa_form): Call fini_ssa_operands.
2183         (insert_backedge_copies): Delete call to modify_stmt.
2184         * tree-phinodes.c (make_phi_node): Initialize use nodes.
2185         (release_phi_node): Delink any use nodes before releasing.
2186         (resize_phi_node): Relink any use nodes.
2187         (remove_phi_arg_num): Delink the use node.
2188         (remove_phi_node): Release the ssa_name AFTER releasing the phi node.
2189         (remove_all_phi_nodes_for): Release phi node first.
2190         * tree-pretty-print.c (dump_generic_node): Print stmt address.
2191         * tree-sra.c (mark_all_v_defs): Call update_stmt_if_modified.
2192         (scalarize_use, scalarize_copy): Call update_stmt.
2193         * tree-ssa-alias.c (compute_may_aliases): Update all modified stmts.
2194         (compute_points_to_and_addr_escape): Call mark_stmt_modified.
2195         * tree-ssa-cpp.c (need_imm_uses_for): Delete.
2196         (ccp_initialize): Remove call to compute_immediate_uses.
2197         (substitute_and_fold, execute_fold_all_builtins): Call update_stmt.
2198         * tree-ssa-dom.c (tree_ssa_dominator_optimize): Update all modified
2199         stmts.
2200         (simplify_cond_and_lookup_avail_expr): Call mark_stmt_modified.
2201         (simplify_switch_and_lookup_avail_expr): Call mark_stmt_modified.
2202         (eliminate_redundant_computations): Call mark_stmt_modified.
2203         (cprop_operand): Call mark_stmt_modified.
2204         (optimize_stmt): Call update_stmt_if_modified and mark_stmt_modified.
2205         * tree-ssa-dse.c (fix_phi_uses, fix_stmt_v_may_defs): Delete.
2206         (dse_optimize_stmt): Use new immuse interface.
2207         (tree_ssa_dse): Remove calls to compute_immediate_uses and free_df.
2208         * tree-ssa-forwprop.c (need_imm_uses_for): Delete.
2209         (substitute_single_use_vars): Use new immuse interface.
2210         (tree_ssa_forward_propagate_single_use_vars): Remove calls to free_df
2211         and compute_immediate_uses.
2212         * tree-ssa-loop-im.c (single_reachable_address): Use new immuse
2213         interface.
2214         (rewrite_mem_refs): Call update_stmt.
2215         (determine_lsm): Remove call to compute_imm_uses and free_df.
2216         * tree-ssa-loop-ivcanon.c (create_canonical_iv): Call update_stmt.
2217         (try_unroll_loop_completely): Call update_stmt.
2218         * tree-ssa-loop-ivopts.c (rewrite_address_base): Call update_stmt.
2219         (rewrite_use_compare): Call update_stmt.
2220         (compute_phi_arg_on_exit): Insert each stmt before trying to process.
2221         (rewrite_use) : Call update_stmt.
2222         * tree-ssa-loop-manip.c (verify_loop_closed_ssa): Add arg to call.
2223         * tree-ssa-loop-unswitch.c (tree_unswitch_single_loop): Call
2224         update_stmt.
2225         * tree-ssa-operands.c (NULL_USE_OPERAND_P): Remove declaration.
2226         (allocate_use_optype, allocate_vuse_optype): Adjust allocation size.
2227         (free_uses, free_vuses, free_v_may_defs, free_v_must_defs): Delink
2228         use nodes.
2229         (initialize_vuse_operand): New.  Initialize a vuse operand.
2230         (initialize_v_may_def_operand): New.  Initialize a maydef operand.
2231         (initialize_v_must_def_operand): New.  Initialize a mustdef operand.
2232         (finalize_ssa_defs): Use stmt parameter.
2233         (correct_use_link): Ensure a use node is in the correct list, and has
2234         the correct stmt pointer.
2235         (finalize_ssa_uses, finalize_ssa_v_may_defs, finalize_ssa_vuses,
2236         finalize_ssa_v_must_defs): Also initialize use nodes.
2237         (finalize_ssa_stmt_operands): Pass extra stmt operands.
2238         (build_ssa_operands): Seperate parsing from final operand construction.
2239         (parse_ssa_operands): New.  Parse entry point for operand building.
2240         (swap_tree_operands): New.  Swap 2 tree operands.
2241         (update_stmt_operands): Ranamed from get_stmt_operands.  Always builds
2242         operands.
2243         (get_expr_operands): Call swap_tree_operands when needed.
2244         (copy_virtual_operands): Use initialize routines for virtual use ops.
2245         (create_ssa_artficial_load_stmt): Add extra stmt parameter.
2246         (verify_abort): New.  Issue imm_use error.
2247         (verify_imm_links): New Verify imm_use links for a var.
2248         (dump_immediate_uses_for): New.  Dump imm_uses for a var to file.
2249         (dump_immediate_uses): New.  Dump imm_uses for all vars to file.
2250         (debug_immediate_uses): New.  Dump imm_uses for all vars to stderr.
2251         (debug_immediate_uses_for): New.  Dump imm_uses for a var to stderr.
2252         * tree-ssa-operands.h (struct use_operand_ptr): Delete.
2253         (NULL_USE_OPERAND_P) Define.
2254         (use_optype_d, v_def_use_operand_type, vuse_optype_d): Add immediate
2255         use node.
2256         (struct vuse_operand_type): New struct.
2257         (SET_USE): Call set_ssa_use_from_ptr.
2258         (USE_STMT): Define.
2259         (PHI_ARG_INDEX_FROM_USE): Define.
2260         * tree-ssa-phiopt.c (replace_phi_edge_with_variable): Set the phi
2261         argument via SET_USE, not PHI_ARG_DEF_TREE.
2262         * tree-ssa-pre.c (eliminate): Call update_stmt.
2263         * tree-ssa-propagate.c (cfg_blocks_get): Use imm_use iterators.  Don't
2264         call free_df.
2265         * tree-ssa-sink.c (all_immediate_uses_same_place): Use imm_use iterator.
2266         (nearest_common_dominator_of_uses): Use imm_use iterator.
2267         (statement_sink_location): Use imm_use iterator and interface.
2268         (execute_sink_code): Don't call compute_immediate_uses or free-df.
2269         * tree-ssa-threadupdate.c (create_edge_and_update_destination_phis): Use
2270         PHI_ARG_DEF, not PHI_ARG_DEF_TREE.
2271         * tree-ssa.c (verify_use, verify_phi_args): Verify some imm_use info.
2272         (verify_ssa): Ensure no stmt is marked modify after optimization pass
2273         if new parameter is true.
2274         (init_tree_ssa): Don't initialize operand cache here.
2275         (delete_tree_ssa): Don't destroy operand cache here.
2276         (propagate_into_addr): Pass in a use pointer, return true if anything
2277         was changed.
2278         (replace_immediate_uses): Use imm_use iterator, call update_stmt.
2279         (check_phi_redundancy): Use imm_use iterator.
2280         (kill_redundant_phi_nodes): Don't call compute_immediate_uses or
2281         free_df.
2282         * tree-ssanames.c (make_ssa_name): Initialize imm_use node.
2283         (release_ssa_name): Delink node and all elements in its imm_use list.
2284         * tree-tailcall.c (adjust_return_value): Call update_stmt.
2285         * tree-vect-analyze.c (vect_stmt_relevant_p): Use imm_use iterator.
2286         * tree-vectorizer.c (need_imm_uses_for): Delete.
2287         (vectorize_loops): Dont call compute_immediate_uses or free_df.
2288         * tree.h (struct ssa_imm_use_d): Define.
2289         (SSA_NAME_IMM_USE_NODE): Define.
2290         (struct tree_ssa_name): Add imm_use node.
2291         (PHI_DF): Delete.
2292         (PHI_ARG_IMM_USE_NODE): Define.
2293         (struct phi_arg_d): Add imm_use node.
2294         (struct tree_phi_node): Remove struct dataflow_d element.
2295         (TDF_STMTADDR): Define.
2296
2297 2005-04-05  Dale Johannesen  <dalej@apple.com>
2298
2299         * doc/invoke.texi (Optimization Options):  Remove
2300         duplicate -fcse-follow-jumps.  Add -fweb.
2301         (-ftree-lim):  Fix spelling (-ftree-loop-im, invariants).
2302         (-fivcanon):  Fix spelling (-ftree-loop-ivcanon).
2303
2304 2005-04-05  Per Bothner  <per@bothner.com>
2305
2306         * tree-ssa.c (execute_early_warn_uninitialized): Pass context node
2307         to talk_tree as 'data' parameter, rather than EXPR_LOCUS.
2308         (warn_uninit): Get EXPR_LOCUS from context now instead.
2309         This fixes a USE_MAPPED_LOCATION testsuite failure.
2310
2311         * tree-ssa.c (warn_uninitialized_var): Remove useless local.
2312
2313 2005-04-05  Per Bothner  <per@bothner.com>
2314
2315         * c-decl.c (finish_function): If USE_MAPPED_LOCATION set the location
2316         of the artification 'return 0' in main() to BUILTINS_LOCATION.
2317         * tree-cfg.c (remove_bb): Check that location isn't BUILTINS_LOCATION
2318         before warning.
2319
2320 2004-04-05  Devang Patel  <dpatel@apple.com>
2321
2322         * config/rs600/altivec.md (altivec_vsr<VI_char>): Rename to ..
2323         (lhsr<mode>3): ... new name.
2324         (altivec_vsra<VI_char>): Rename to ..
2325         (ashr<mode>3): ... new name.
2326         * config/rs6000/rs6000.c (builtin_description): Rename shift
2327         operations.
2328
2329 2004-04-05  Paolo Bonzini  <bonzini@gnu.org>
2330
2331         * combine.c (RTL_HOOKS_GEN_LOWPART_NO_EMIT): Use
2332         gen_lowpart_for_combine.
2333         * cse.c (gen_lowpart_if_possible): Move...
2334         * rtlhooks.c (gen_lowpart_if_possible): ... here.  Also try
2335         gen_lowpart_SUBREG.
2336         (gen_lowpart_no_emit_general): Use it.
2337
2338 2005-04-05  Eric Botcazou  <ebotcazou@libertysurf.fr>
2339
2340         * config/sparc/sparc.c (TARGET_ASM_FILE_END): Undefine before
2341         overriding.
2342
2343 2005-04-05  Paolo Bonzini  <bonzini@gnu.org>
2344
2345         * system.h: Fix typo.
2346
2347 2005-04-05  Bernd Schmidt  <bernd.schmidt@analog.com>
2348
2349         * config/bfin/bfin-modes.def: New file.
2350         * config/bfin/bfin-protos.h: New file.
2351         * config/bfin/bfin.c: New file.
2352         * config/bfin/bfin.h: New file.
2353         * config/bfin/bfin.md: New file.
2354         * config/bfin/bfin.opt: New file.
2355         * config/bfin/crti.s: New file.
2356         * config/bfin/crtn.s: New file.
2357         * config/bfin/elf.h: New file.
2358         * config/bfin/lib1funcs.asm: New file.
2359         * config/bfin/predicates.md: New file.
2360         * config/bfin/t-bfin: New file.
2361         * config/bfin/t-bfin-elf: New file.
2362         * doc/extend.texi (exception_handler, kspisusp, nesting, nmi_handler):
2363         Document new attributes.
2364         (interrupt, interrupt_handler, saveall): Update documentation for
2365         these attributes.
2366         * doc/install.texi (Specific): Add entry for the Blackfin.
2367         * doc/invoke.texi (Blackfin Options): New section.
2368         * doc/md.texi (Blackfin family): New section to document constraints.
2369         * config.gcc: Add bfin*-* and bfin*-elf configurations.
2370
2371 2005-04-05  Olivier Hainque  <hainque@adacore.com>
2372
2373         * config/mips/iris6.h (DWARF_FRAME_RETURN_COLUMN): Redefine to
2374         match what the system unwinder expects.
2375         * config/mips/mips.c (mips_frame_set): If we're saving the return
2376         address register and the dwarf return address column number differs
2377         from the hard register number, adjust the note reg to refer to the
2378         former.
2379
2380 2004-04-05  Richard Sandiford  <rsandifo@redhat.com>
2381
2382         * config/mn10300/mn10300-protos.h (mn10300_override_options): Declare.
2383         * config/mn10300/mn10300.h (target_flags, TARGET_MULT_BUG)
2384         (TARGET_SWITCHES, TARGET_DEFAULT): Delete.
2385         (processor_type): New enum.
2386         (mn10300_processor): New variable.
2387         (TARGET_AM33, TARGET_AM33_2): Redefine in terms of mn10300_processor.
2388         (PROCESSOR_DEFAULT, OVERRIDE_OPTIONS): New macros.
2389         * config/mn10300/linux.h (TARGET_SWITCHES, TARGET_DEFAULT): Delete.
2390         (PROCESSOR_DEFAULT): New macro.
2391         * config/mn10300/mn10300.c (mn10300_processor): New variable.
2392         (TARGET_DEFAULT_TARGET_FLAGS, TARGET_HANDLE_OPTION): Override defaults.
2393         (mn10300_handle_option, mn10300_override_options): New functions.
2394         * config/mn10300/mn10300.opt: New file.
2395
2396 2005-04-05  Eric Botcazou  <ebotcazou@libertysurf.fr>
2397             Sebastian Pop <sebastian.pop@cri.ensmp.fr>
2398
2399         PR tree-optimization/19903
2400         * tree-chrec.c (chrec_convert): Return chrec_dont_know for constants
2401         that don't fit in their type after conversion.
2402
2403 2005-04-05  Uros Bizjak <uros@kss-loka.si>
2404
2405         PR target/20421
2406         * config/i386/i386.md (frndintxf2_floor, frndintxf2_ceil)
2407         (frndintxf2_trunc, frndintxf2_mask_pm): Add FLAGS_REG clobber.
2408         Allocate local stack slots here.  Set ix86_optimize_mode_switching.
2409         flag here. Implement using define_insn_and_split.
2410         (frndintxf2_floor_i387, frndintxf2_ceil_i387, frndintxf2_trunc_i387)
2411         (frndintxf2_mask_pm_i387): New insn patterns.
2412         (floorsf2, floordf2, floorxf2): Remove local stack slot allocations.
2413         Do not set ix86_optimize_mode_switching flag.
2414         (ceilsf2, ceildf2, ceilxf2): Same.
2415         (btruncsf2, btruncdf2, btruncxf2): Same.
2416         (nearbyintsf2, nearbyintdf2, nearbyintxf2): Same.
2417
2418 2005-04-05  Ian Lance Taylor  <ian@airs.com>
2419
2420         PR debug/9963
2421         * config/i386/cygming.h (ASM_OUTPUT_EXTERNAL): Pass DECL to
2422         i386_pe_record_external_function.
2423         (i386_pe_record_external_function): Update declaration.
2424         * config/i386/winnt.c (struct extern_list): Add decl field.
2425         (i386_pe_record_external_function): Add decl parameter.
2426         (i386_pe_file_end): Check TREE_ASM_WRITTEN on decl, not
2427         identifier.
2428         * config/i386/i386-protos.h (i386_pe_record_external_function):
2429         Update declaration.
2430
2431 2005-04-05  Kazu Hirata  <kazu@cs.umass.edu>
2432
2433         * config/m68k/m68k-protos.h: Add a prototype for
2434         valid_dbcc_comparison_p_2.
2435         * config/m68k/m68k.c (not_sp_operand, symbolic_operand,
2436         extend_operator, const_uint32_operand, const_sint32_operand,
2437         general_src_operand, nonimmediate_src_operand,
2438         memory_src_operand, post_inc_operand, pre_dec_operand,
2439         pcrel_address): Move to predicates to predicates.md.
2440         * config/m68k/m68k.h (PREDICATE_CODES): Remove.
2441         * config/m68k/m68k.md: Include predicates.md.
2442         * config/m68k/predicates.md: New.
2443
2444 2005-04-04  Roger Sayle  <roger@eyesopen.com>
2445
2446         * config/i386/i386.md (*truncdfsf2_i387_1): New pattern.
2447
2448         * fold-const.c (maybe_lvalue_p): Delete orphaned comment.
2449
2450 2005-04-04  Ian Lance Taylor  <ian@airs.com>
2451
2452         * c-typeck.c (struct c_switch): Rename switch_stmt field to
2453         switch_expr.
2454         (c_start_case): Build SWITCH_EXPR, not SWITCH_STMT.
2455         (do_case): Use SWITCH_COND rather than SWITCH_STMT_COND.
2456         (c_finish_case): Use SWITCH_BODY rather than SWITCH_STMT_BODY.
2457         Call c_do_switch_expr_warnings rather than c_do_switch_warnings.
2458         * c-common.c (c_do_switch_warnings_1): New static function broken
2459         out of c_do_switch_warnings.
2460         (c_do_switch_warnings): Call c_do_switch_warnings_1.
2461         (c_do_switch_expr_warnings): New function.
2462         * c-common.h (c_do_switch_expr_warnings): Declare.
2463
2464 2005-04-04  David Edelsohn  <edelsohn@gnu.org>
2465             Daniel Jacobowitz  <dan@codesourcery.com>
2466
2467         * tree-eh.c (tree_could_trap_p): Allow non-constant floating point
2468         trapping divide.
2469         * rtlanal.c (may_trap_p): Same.
2470
2471 2005-04-04  Dale Johannesen  <dalej@apple.com>
2472
2473         * ChangeLog:  remove reference to ChangeLog.12.
2474
2475 2005-04-05  Hans-Peter Nilsson  <hp@axis.com>
2476
2477         CRIS epilogue as RTL.
2478         * config/cris/cris.md: Change all 0 in unspec 0 to
2479         CRIS_UNSPEC_PLT.
2480         (CRIS_UNSPEC_PLT, CRIS_UNSPEC_FRAME_DEALLOC): New constants.
2481         ("*cris_load_multiple", "cris_frame_deallocated_barrier"): New
2482         patterns.
2483         ("return"): Change to define_expand.  Call cris_expand_return for
2484         actual expansion.
2485         ("*return_expanded"): New pattern.
2486         ("epilogue"): New define_expand.
2487         * config/cris/cris.h (PREDICATE_CODES): Add
2488         cris_load_multiple_op.
2489         * config/cris/cris.c (ASSERT_PLT_UNSPEC): Correct test for unspec
2490         type.
2491         (enum cris_retinsn_type): New.
2492         (struct machine_function): New member return_type.
2493         (TARGET_ASM_FUNCTION_EPILOGUE): Don't override.
2494         (cris_target_asm_function_epilogue): Remove, moving RTLified
2495         contents to...
2496         (cris_expand_epilogue): New function.
2497         (cris_reg_saved_in_regsave_area, cris_movem_load_rest_p,
2498         (cris_gen_movem_load, cris_load_multiple_op)
2499         (cris_return_address_on_stack_for_return, cris_expand_return): New
2500         functions.
2501         (cris_target_asm_function_prologue)
2502         (cris_initial_frame_pointer_offset): Call
2503         cris_reg_saved_in_regsave_area instead of complicated expression.
2504         Call cris_return_address_on_stack instead of an expression.
2505         (cris_print_operand) <case 'o', case 'O'>: New cases.
2506         (cris_return_address_on_stack): Change return-type to bool.
2507         (cris_simple_epilogue): Ditto.  Return false if registers are
2508         saved.
2509         * config/cris/cris-protos.h (cris_simple_epilogue)
2510         (cris_return_address_on_stack): Adjust prototype return type.
2511         (cris_gen_movem_load, cris_expand_epilogue, cris_expand_return)
2512         (cris_return_address_on_stack_for_return): New prototypes.
2513
2514 2005-04-04  Kazu Hirata  <kazu@cs.umass.edu>
2515
2516         * config/frv/frv.h (PREDICATE_CODES): Add CONST to
2517         gpr_or_int12_operand.
2518
2519         * config/frv/frv-protos.h: Add a prototype to
2520         frv_legitimate_memory_operand and frv_const_unspec_p.
2521         (frv_unspec): Move from frv.c.
2522         * config/frv/frv.c (frv_unspec): Move to frv-protos.h.
2523         (frv_const_unspec_p, frv_legitimate_memory_operand_): Export.
2524         (ldd_address_operand, fdpic_fptr_operand, frv_load_operand,
2525         gpr_or_fpr_operand, gpr_or_int12_operand,
2526         gpr_fpr_or_int12_operand, fpr_or_int6_operand,
2527         gpr_or_int10_operand, gpr_or_int_operand, int12_operand,
2528         int6_operand, int5_operand, uint5_operand, uint4_operand,
2529         uint1_operand, int_2word_operand, uint16_operand,
2530         upper_int16_operand, integer_register_operand,
2531         gpr_no_subreg_operand, fpr_operand, even_reg_operand,
2532         odd_reg_operand, even_gpr_operand, odd_gpr_operand,
2533         quad_fpr_operand, even_fpr_operand, odd_fpr_operand,
2534         dbl_memory_one_insn_operand, dbl_memory_two_insn_operand,
2535         move_destination_operand, movcc_fp_destination_operand,
2536         frv_function_symbol_referenced_p, move_source_operand,
2537         condexec_dest_operand, condexec_source_operand,
2538         reg_or_0_operand, lr_operand, fdpic_operand, got12_operand,
2539         const_unspec_operand, gpr_or_memory_operand,
2540         gpr_or_memory_operand_with_scratch, fpr_or_memory_operand,
2541         icc_operand, fcc_operand, cc_operand, icr_operand,
2542         fcr_operand, cr_operand, call_operand, sibcall_operand,
2543         symbolic_operand, relational_operator,
2544         integer_relational_operator, float_relational_operator,
2545         ccr_eqne_operator, minmax_operator,
2546         condexec_si_binary_operator, condexec_si_media_operator,
2547         condexec_si_divide_operator, condexec_si_unary_operator,
2548         condexec_sf_conv_operator, condexec_sf_add_operator,
2549         condexec_memory_operand, intop_compare_operator, acc_operand,
2550         even_acc_operand, quad_acc_operand, accg_operand: Move to
2551         predicates.md.
2552         * config/frv/frv.h (PREDICATE_CODES): Remove.
2553         * config/frv/frv.md: Include predicates.md.
2554         * config/frv/predicates.md: New.
2555
2556 2004-04-04  Richard Sandiford  <rsandifo@redhat.com>
2557
2558         PR target/19537
2559         * Makefile.in (tree-ssa-loop-ivopts.o): Depend on langhooks.h.
2560         * tree-ssa-loop-ivopts.c: Include langhooks.h.
2561         (add_standard_iv_candidates_for_size): New function, extracting code
2562         from add_standard_iv_candidates and parameterizing it by type size.
2563         (add_standard_iv_candidates): Use add_standard_iv_candidates_for_size.
2564
2565 2004-04-04  Richard Sandiford  <rsandifo@redhat.com>
2566
2567         * system.h (GCOV_SIZE_TYPE): Unposion.
2568         * gcov-io.h (GCOV_TYPE_NODE): Delete, replacing with...
2569         (GCOV_TYPE_SIZE): ...this new macro.
2570         * coverage.h (get_gcov_type, GCOV_TYPE_NODE): Declare.
2571         * coverage.c (get_gcov_type, get_gcov_unsigned_t): New functions.
2572         (rtl_coverage_counter_ref): Use GCOV_TYPE_SIZE.
2573         (build_fn_info_type, build_fn_info_value, build_ctr_info_type)
2574         (build_ctr_info_value, build_gcov_info): Use get_gcov_unsigned_t
2575         instead of unsigned_intSI_type_node.
2576         * rtl-profile.c (rtl_gen_interval_profiler, rtl_gen_pow2_profiler)
2577         (rtl_gen_one_value_profiler_no_edge_manipulation)
2578         (rtl_gen_const_delta_profiler): Use GCOV_TYPE_SIZE.
2579         * value-prof.c: Include coverage.h.
2580
2581 2005-04-02  Daniel Berlin  <dberlin@dberlin.org>
2582             Diego Novillo <dnovillo@redhat.com>
2583
2584         Fix PR tree-optimization/20703
2585         Fix PR tree-optimization/20725
2586
2587         * tree-ssa-pre.c (phi_translate): Handle tcc_comparison.
2588         (create_expression_by_pieces): Ditto.
2589         (valid_in_set): Ditto. Also handle tcc_declaration.
2590         (find_or_generate_expression): Handle comparison class.
2591         (insert_into_preds_of_block): Ditto.
2592         (insert_aux): Ditto.
2593         (create_value_expr_from): Handle comparison class, recursively
2594         handle reference nodes.
2595         (compute_avail): Handle comparison classes, rewrite a little cleaner.
2596         (execute_pre): Fix spacing.
2597         (do_fre): Renamed to execute_fre.
2598
2599 2005-04-04  Eric Botcazou  <ebotcazou@libertysurf.fr>
2600
2601         * doc/invoke.texi (SPARC options): Document that
2602         -mlittle-endian is not supported on Linux either.
2603
2604 2005-04-04  Eric Botcazou  <ebotcazou@libertysurf.fr>
2605
2606         PR target/4198
2607         PR target/12027
2608         * config.gcc (Obsolete configurations): Remove
2609         sparclite-*-coff*, sparclite-*-elf* and sparc86x-*-elf*.
2610         (sparclite-*-coff*): Delete.
2611         (sparclite-*-elf*): Likewise.
2612         (sparc86x-*-elf*): Likewise.
2613         (target_cpu_default) <sparc*-*-*>: Remove sparc86x.
2614         * config/sparc/lite.h: Delete.
2615         * config/sparc/litecoff.h: Likewise.
2616         * config/sparc/liteelf.h: Likewise.
2617         * config/sparc/sp86x-elf.h: Likewise.
2618         * config/sparc/t-sparclite: Likewise.
2619         * config/sparc/t-sp86x: Likewise.
2620
2621 2005-04-04  Adrian Straetling  <straetling@de.ibm.com>
2622
2623         * config/s390/s390-protos.h: (s390_comparison,
2624         s390_alc_comparison, s390_slb_comparison, const0_operand,
2625         consttable_operand, larl_operand, s_operand,
2626         shift_count_operand, bras_sym_operand, load_multiple_operation,
2627         store_multiple_operation, s390_plus_operand): Remove prototypes.
2628         (s390_legitimate_address_without_index_p): New prototype.
2629         * config/s390/s390.c: (SYMBOL_FLAG_ALIGN1, DISP_IN_RANGE): Move
2630         to s390.h.
2631         (s390_comparison, s390_alc_comparison, s390_slb_comparison,
2632         const0_operand, consttable_operand, larl_operand, s_operand,
2633         shift_count_operand, bras_sym_operand, load_multiple_operation,
2634         store_multiple_operation, s390_plus_operand): Move to
2635         predicates.md.
2636         (check_mode): Remove.
2637         (s390_branch_condition_mask): Remove 'static'. Move prototype to
2638         s390-protos.h.
2639         (s390_legitimate_address_without_index_p): New.
2640         * config/s390/s390.h (PREDICATE_CODES): Remove.
2641         * config/s390/s390.md: Include predicates.md.
2642         * config/s390/predicates.md: New.
2643
2644 2005-04-04  Eric Botcazou  <ebotcazou@libertysurf.fr>
2645
2646         PR target/20446
2647         * config/sparc/sparc.h (NEED_INDICATE_EXEC_STACK): Define to 0.
2648         * config/sparc/linux.h (TARGET_ASM_FILE_END): Delete.
2649         (NEED_INDICATE_EXEC_STACK): Define to 1.
2650         * config/sparc/linux64.h (TARGET_ASM_FILE_END): Delete.
2651         (NEED_INDICATE_EXEC_STACK): Define to 1.
2652         * config/sparc/sparc.c (TARGET_ASM_FILE_END): Set to sparc_file_end.
2653         (add_pc_to_pic_symbol): Rename into pic_helper_symbol.
2654         (add_pc_to_pic_symbol_name): Rename into pic_helper_symbol_name.
2655         (pic_helper_emitted_p): New global.
2656         (emit_pic_helper): New function extracted from...
2657         (load_pic_register): ...here.  Add 'delay_pic_helper' parameter.
2658         Do not call emit_pic_helper if delay_pic_helper is true.
2659         (sparc_expand_prologue): Pass 'false' to load_pic_register.
2660         (sparc_output_mi_thunk): Pass 'true' to load_pic_register.
2661         (sparc_file_end): New function.
2662
2663 2005-04-04  Kazu Hirata  <kazu@cs.umass.edu>
2664
2665         * config/mcore/mcore-protos.h: Remove the prototypes for
2666         mcore_arith_reg_operand, mcore_general_movsrc_operand,
2667         mcore_general_movdst_operand, mcore_reload_operand,
2668         mcore_arith_J_operand, mcore_arith_K_operand,
2669         mcore_arith_K_operand_not_0, mcore_arith_M_operand,
2670         mcore_arith_K_S_operand, mcore_arith_imm_operand,
2671         mcore_arith_any_imm_operand, mcore_arith_O_operand,
2672         mcore_literal_K_operand, mcore_addsub_operand,
2673         mcore_compare_operand, mcore_load_multiple_operation,
2674         mcore_store_multiple_operation, mcore_call_address_operand.
2675         Add a prototype for const_ok_for_mcore.
2676         * config/mcore/mcore.c (mcore_call_address_operand,
2677         mcore_general_movsrc_operand, mcore_general_movdst_operand,
2678         mcore_arith_reg_operand, mcore_reload_operand,
2679         mcore_arith_J_operand, mcore_arith_K_operand,
2680         mcore_arith_K_operand_not_0, mcore_arith_K_S_operand,
2681         mcore_arith_M_operand, mcore_arith_imm_operand,
2682         mcore_arith_any_imm_operand, mcore_arith_O_operand,
2683         mcore_literal_K_operand, mcore_addsub_operand,
2684         mcore_compare_operand, mcore_load_multiple_operation,
2685         mcore_store_multiple_operation): Move to predicates.md.
2686         (const_ok_for_mcore): Export.
2687         * config/mcore/mcore.h (PREDICATE_CODES): Remove.
2688         * config/mcore/mcore.md: Include predicates.md.
2689         * config/mcore/predicates.md: New.
2690
2691         * config/mcore/predicates.md: Fix a comment typo.
2692
2693 2005-04-04  Andreas Krebbel  <krebbel1@de.ibm.com>
2694             Adrian Straetling  <straetling@de.ibm.com>
2695
2696         * config/s390/2064.md ("z_mul", "z_inf"): New insn reservations.
2697         * config/s390/2084.md ("x_mul_hi", "x_mul_sidi", "x_div"): Likewise.
2698         * config/s390/s390.md ("imulhi", "imulsi", "imuldi"): Added to "type"
2699         attribute.
2700         ("imul"): Removed from "type" attribute.
2701         ("*muldi3_sign", "muldi3"): Changed type to imuldi.
2702         ("mulsi3/1", "mulsi3/3", "mulsi/4", "mulsidi3", "umulsidi3"):
2703         Changed type to imulsi.
2704         ("*mulsi3_sign", "mulsi3/2"): Changed type to imulhi.
2705
2706 2005-04-04  Richard Sandiford  <rsandifo@redhat.com>
2707
2708         * config/mcore/mcore.h (target_flags, HARDLIT_BIT, ALIGN8_BIT, DIV_BIT)
2709         (RELAX_IMM_BIT, W_FIELD_BIT, OVERALIGN_FUNC_BIT, CGDATA_BIT)
2710         (SLOW_BYTES_BIT, LITTLE_END_BIT, M340_BIT, TARGET_HARDLIT)
2711         (TARGET_DIV, TARGET_RELAX_IMM, TARGET_W_FIELD, TARGET_OVERALIGN_FUNC)
2712         (TARGET_CG_DATA, TARGET_SLOW_BYTES, TARGET_LITTLE_END, TARGET_M340)
2713         (TARGET_SWITCHES, mcore_stack_increment_string)
2714         (TARGET_OPTIONS): Delete.
2715         (TARGET_DEFAULT, OPTIMIZATION_OPTIONS): Use MASK_* constants rather
2716         than *_BIT constants.
2717         (TARGET_8ALIGN): #undef old definition before redefining to 1.
2718         * config/mcore/mcore.c (mcore_stack_increment_string): Delete.
2719         (TARGET_DEFAULT_TARGET_FLAGS): Override default to TARGET_DEFAULT.
2720         (mcore_override_options): Delete mcore_stack_increment code.
2721         Change use of M340_BIT to MASK_M340.
2722         * config/mcore/mcore.opt: New file.
2723
2724 2005-04-04  Ian Lance Taylor  <ian@airs.com>
2725
2726         * config/arm/arm.c (replace_symbols_in_block): Remove static
2727         function.
2728
2729 2005-04-04  Kazu Hirata  <kazu@cs.umass.edu>
2730
2731         * config/fr30/fr30-protos.h: Remove the prototypes for
2732         stack_add_operand, add_immediate_operand,
2733         high_register_operand, low_register_operand, call_operand,
2734         di_operand, and nonimmediate_di_operand.
2735         * config/fr30/fr30.c (stack_add_operand,
2736         add_immediate_operand, high_register_operand,
2737         low_register_operand, call_operand, di_operand,
2738         nonimmediate_di_operand): Move to predicates.md.
2739         * config/fr30/fr30.h (PREDICATE_CODES): Remove.
2740         * config/fr30/fr30.md: Include predicates.md.
2741         * config/fr30/predicates.md: New.
2742
2743         * config/mcore/mcore.h (PREDICATE_CODES): Add SYMBOL_REF and
2744         LABEL_REF to mcore_general_movsrc_operand.  Add SYMBOL_REF to
2745         mcore_call_address_operand.
2746
2747         * config/sh/sh.h (PREDICATE_CODES): Add CONST to
2748         general_movsrc_operand.
2749
2750 2005-04-04  Alan Modra  <amodra@bigpond.net.au>
2751
2752         * passes.c (rest_of_handle_final): NULL unlikely_text_section_name
2753         after freeing.
2754
2755 2005-04-04  Richard Earnshaw  <richard.earnshaw@arm.com>
2756
2757         PR target/14812
2758         * arm.c (arm_select_cc_mode): Return CC_Zmode when comparing against
2759         a negated value.
2760
2761 2005-04-04  Richard Henderson  <rth@redhat.com>
2762             Jakub Jelinek  <jakub@redhat.com>
2763
2764         PR rtl-optimization/16104
2765         * fold-const.c (fold_unary): Fix folding of vector conversions.
2766
2767 2005-04-04  Richard Sandiford  <rsandifo@redhat.com>
2768
2769         * config.gcc (xstormy16-*-elf): Set extra_options.
2770         * config/stormy16/stormy16.h (target_flags, TARGET_SWITCHES): Delete.
2771         * config/stormy16/stormy16.opt: New file.
2772
2773 2005-04-04  Richard Sandiford  <rsandifo@redhat.com>
2774
2775         * config/pdp11/pdp11.h (target_flags, TARGET_SWITCHES, TARGET_DEFAULT)
2776         (TARGET_FPU, TARGET_SOFT_FLOAT, TARGET_AC0, TARGET_NO_AC0, TARGET_45)
2777         (TARGET_BCOPY_BUILTIN, TARGET_INT16, TARGET_INT32, TARGET_FLOAT32)
2778         (TARGET_FLOAT64, TARGET_ABSHI_BUILTIN, TARGET_BRANCH_EXPENSIVE)
2779         (TARGET_BRANCH_CHEAP, TARGET_SPLIT, TARGET_NOSPLIT)
2780         (TARGET_UNIX_ASM): Delete.
2781         (TARGET_40_PLUS): Redefine in terms of TARGET_40 and TARGET_45.
2782         * config/pdp11/2bsd.h (TARGET_UNIX_ASM_DEFAULT): Use MASK_UNIX_ASM.
2783         * config/pdp11/pdp11.c (pdp11_handle_option): New function.
2784         (TARGET_DEFAULT_TARGET_FLAGS, TARGET_HANDLE_OPTION): Override defaults.
2785         * config/pdp11/pdp11.opt: New file.
2786
2787 2005-04-03  Roger Sayle  <roger@eyesopen.com>
2788             Alexandre Oliva  <aoliva@redhat.com>
2789
2790         PR c++/19199
2791         * fold-const.c (non_lvalue): Split tests into...
2792         (maybe_lvalue_p): New function.
2793         (fold_cond_expr_with_comparison): Preserve lvalue-ness for the
2794         C++ front-end prior to lowering into gimple form.
2795
2796 2005-04-03  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
2797
2798         * builtins.def (BUILT_IN_STPNCPY, BUILT_IN_STRCASECMP,
2799         BUILT_IN_STRNCASECMP): New.
2800         * doc/extend.texi: Document stpncpy, strcasecmp, strncasecmp
2801         and strndup.
2802
2803 2005-04-03  Richard Earnshaw  <richard.earnshaw@arm.com>
2804
2805         PR target/14812
2806         * arm.md (addsi3_compare0_for_combiner): Delete.
2807         (addsi3_compare0_scratch_for_combiner): Delete.
2808         (cmpsi_neg_shiftsi): Delete.
2809         (compare_negsi_si): New pattern.
2810         (cmpsi_negshiftsi_si): New pattern.
2811         (negated_cbranchsi4): Restrict to equality_operator.
2812
2813         * arm.md (movhi_insn_arch4): delete trailing white space from assembler
2814         template.
2815
2816 2005-04-03  Kazu Hirata  <kazu@cs.umass.edu>
2817
2818         * cfghooks.c, cfgrtl.c, modulo-sched.c, config/i386/winnt.c:
2819         Fix comment typos.
2820
2821         * doc/install.texi: Fix a typo.
2822
2823 2005-04-03  Steven Bosscher  <stevenb@suse.de>
2824
2825         PR middle-end/20648
2826         * bb-reorder.c (duplicate_computed_gotos): Do not unfactor
2827         a computed goto if the edge to the computed goto block has
2828         incoming abnormal edges.  Clarify how the function works.
2829
2830 2005-04-03  Nathan Sidwell  <nathan@codesourcery.com>
2831
2832         * params.c (set_param_value): Use gcc_assert & gcc_unreachable.
2833         * passes.c (open_dump_file, rest_of_handle_final): Likewise.
2834         * postreload-gcse.c (expr_equiv_p, oprs_unchanged_p,
2835         hash_scan_set, reg_set_between_after_reload_p,
2836         reg_used_between_after_reload_p, get_avail_load_store_reg,
2837         eliminate_partially_redundant_load): Likewise.
2838         * postreload.c (reload_cse_simplify_set,
2839         reload_combine_note_use): Likewise.
2840         * predict.c (predict_insn, expected_value_to_br_prob,
2841         propagate_freq, expensive_function_p): Likewise.
2842         * print-rtl.c (print_rtx): Likewise.
2843         * profile.c (instrument_edges, instrument_values,
2844         compute_branch_probabilities, branch_prob, union_groups,
2845         tree_register_profile_hooks, rtl_register_profile_hooks): Likewise.
2846         * protoize.c (in_system_include_dir, file_could_be_converted,
2847         file_normally_convertible, gen_aux_info_file, seek_to_line,
2848         do_cleaning): Likewise.
2849         * tree-ssa-alias.c (collect_points_to_info_r): Likewise.
2850         * tree-ssa-ccp.c (execute_fold_all_builtins): Likewise.
2851         * tree-ssa-loop-ivopts.c (produce_memory_decl_rtl): Likewise.
2852
2853 2005-04-03 Mostafa Hagog <mustafa@il.ibm.com>
2854
2855         * cfg.c (clear_bb_flags): Don't clear BB_DISABLE_SCHEDULE.
2856         * modulo-sched.c (undo_replace_buff_elem): New structure.
2857         (kernel_number_of_cycles, ps_unschedule_node,
2858         undo_generate_reg_moves,free_undo_replace_buff,
2859         undo_permute_partial_schedule,  loop_single_full_bb_p,
2860         SIMPLE_SMS_LOOP_P, loop_canon_p, canon_loop,
2861         build_loops_structure, get_sched_window): New.
2862         (generate_reg_moves): Return undo_replace_buff_elem and other
2863         fixes.
2864         (generate_prolog_epilog): Remove old loop versioning.
2865         (sms_schedule): Use loop information and loop_version.
2866         (sms_schedule_by_order): Split part of it to get_sched_window.
2867         * passes.c (rest_of_handle_sms): call cfg_layout_initialize
2868         cfg_layout_finalize and free_dominance_info before/after SMS.
2869
2870 2005-04-03 Mostafa Hagog <mustafa@il.ibm.com>
2871
2872         * cfghooks.c (lv_flush_pending_stmts,
2873         cfg_hook_duplicate_loop_to_header_edge, extract_cond_bb_edges,
2874         lv_adjust_loop_header_phi, lv_add_condition_to_bb): New.
2875         * cfghooks.h (cfg_hook_duplicate_loop_to_header_edge,
2876         lv_add_condition_to_bb,
2877         lv_adjust_loop_header_phi, extract_cond_bb_edges,
2878         flush_pending_stmts): New in cfg_hooks structure.
2879         (cfg_hook_duplicate_loop_to_header_edge, lv_flush_pending_stmts,
2880         extract_cond_bb_edges, lv_adjust_loop_header_phi,
2881         lv_add_condition_to_bb): New declarations.
2882         * cfgloop.h (duplicate_loop_to_header_edge): Change return type to
2883         bool.
2884         (loop_version): Declare.
2885         * cfgloopmanip.c (cfghooks.h): Include.
2886         (duplicate_loop_to_header_edge): Change return type to bool.
2887         (loop_version, lv_adjust_loop_entry_edge): Move here.
2888         * cfgrtl.c (cfgloop.h): Include.
2889         (rtl_verify_flow_info_1): Fix.
2890         (rtl_lv_add_condition_to_bb, rtl_extract_cond_bb_edges): New.
2891         (rtl_cfg_hooks, cfg_layout_rtl_cfg_hook): Add hooks to
2892         initialization.
2893         * tree-cfg.c (tree_lv_adjust_loop_header_phi,
2894         tree_lv_add_condition_to_bb): New.
2895         (tree_cfg_hooks): Add new hooks to initialization.
2896         * tree-ssa-loop-manip.c (lv_adjust_loop_header_phi,
2897         lv_adjust_loop_entry_edge, tree_ssa_loop_version): Remove.
2898
2899 2005-04-03  Kazu Hirata  <kazu@cs.umass.edu>
2900
2901         * config/stormy16/stormy16.h (PREDICATE_CODES): Add SUBREG to
2902         xstormy16_below100_or_register,
2903         xstormy16_splittable_below100_or_register, and
2904         nonimmediate_nonstack_operand.
2905
2906         * config/stormy16/stormy16-protos.h: Remove the prototypes for
2907         xstormy16_ineqsi_operator, equality_operator,
2908         inequality_operator, shift_operator,
2909         xstormy16_below100_operand, xstormy16_below100_or_register,
2910         xstormy16_splittable_below100_or_register,
2911         xstormy16_onebit_set_operand, xstormy16_onebit_clr_operand.
2912         * config/stormy16/stormy16.c (xstormy16_ineqsi_operator,
2913         equality_operator, inequality_operator,
2914         xstormy16_below100_operand, xstormy16_below100_or_register,
2915         xstormy16_splittable_below100_or_register,
2916         xstormy16_onebit_set_operand, xstormy16_onebit_clr_operand,
2917         nonimmediate_nonstack_operand, shift_operator): Move to
2918         predicates.md.
2919         * config/stormy16/stormy16.h (PREDICATE_CODES): Remove.
2920         * config/stormy16/stormy16.md: Include predicates.md.
2921         * config/stormy16/predicates.md: New.
2922
2923 2005-04-02  Kazu Hirata  <kazu@cs.umass.edu>
2924
2925         * config/iq2000/iq2000.c (uns_arith_operand, arith_operand,
2926         small_int, large_int, reg_or_0_operand, simple_memory_operand,
2927         equality_op, cmp_op, pc_or_label_operand, call_insn_operand,
2928         move_operand, power_of_2_operand): Move to predicates.md.
2929         * config/iq2000/iq2000.h (SPECIAL_MODE_PREDICATES,
2930         PREDICATE_CODE): Remove.
2931         * config/iq2000/iq2000.md: Include predicates.md.
2932         * config/iq2000/predicates.md: New.
2933
2934 2005-04-02  Richard Sandiford  <rsandifo@redhat.com>
2935
2936         * config/m68hc11/m68hc11.h (target_flags, MASK_SHORT)
2937         (MASK_AUTO_INC_DEC, MASK_M6811, MASK_M6812, MASK_M68S12)
2938         (MASK_NO_DIRECT_MODE, MASK_MIN_MAX, MASK_LONG_CALLS)
2939         (TARGET_SHORT, TARGET_M6811, TARGET_M6812, TARGET_M68S12)
2940         (TARGET_AUTO_INC_DEC, TARGET_MIN_MAX, TARGET_NO_DIRECT_MODE)
2941         (TARGET_LONG_CALLS, TARGET_SWITCHES, TARGET_OPTIONS)
2942         (SUBTARGET_SWITCHES, SUBTARGET_OPTIONS, m68hc11_regparm_string)
2943         (m68hc11_reg_alloc_order, m68hc11_soft_reg_count)
2944         (TARGET_M68HC11): Delete.
2945         (TARGET_DEFAULT): Change the default setting from MASK_M6811 to 0.
2946         * config/m68hc11/m68hc12.h (TARGET_M68HC12): Delete.
2947         * config/m68hc11/m68hc11.c (m68hc11_regparm_string)
2948         (m68hc11_reg_alloc_order, m68hc11_soft_reg_count)
2949         (nb_soft_regs): Delete.
2950         (TARGET_DEFAULT_TARGET_FLAGS): Override default with TARGET_DEFAULT.
2951         (m68hc11_override_options): Remove the code that caters for MASK_M6811
2952         and MASK_M6812 being set simultaneously.  Change the code that sets
2953         the default m68hc11_soft_reg_count to use integers instead of strings.
2954         (m68hc11_conditional_register_usage, hard_regno_mode_ok): Use
2955         m68hc11_soft_reg_count (which now has an int type) as the number
2956         of soft registers.
2957         * config/m68hc11/m68hc11.opt: New file.
2958
2959 2005-04-02  Kazu Hirata  <kazu@cs.umass.edu>
2960
2961         * config/fr30/fr30.h (PREDICATE_CODES): Remove
2962         fp_displacement_operand, sp_displacement_operand.
2963
2964         * config/m68hc11/m68hc11-protos.h: Add a prototype for
2965         m68hcc_auto_inc_p.
2966         Remove the prototypes for tst_operand, cmp_operand,
2967         stack_register_operand, d_register_operand,
2968         hard_addr_reg_operand, splitable_operand,
2969         m68hc11_logical_operator, m68hc11_arith_operator,
2970         m68hc11_non_shift_operator, m68hc11_shift_operator,
2971         m68hc11_unary_operator, m68hc11_eq_compare_operator,
2972         non_push_operand, hard_reg_operand, and
2973         reg_or_some_mem_operand.
2974         * config/m68hc11/m68hc11.c (m68hcc_auto_inc_p): Make it
2975         extern.
2976         (tst_operand, cmp_operand, non_push_operand,
2977         splitable_operand, reg_or_some_mem_operand,
2978         stack_register_operand, d_register_operand,
2979         hard_addr_reg_operand, hard_reg_operand,
2980         m68hc11_eq_compare_operator, m68hc11_logical_operator,
2981         m68hc11_arith_operator, m68hc11_non_shift_operator,
2982         m68hc11_shift_operator, m68hc11_unary_operator): Move to
2983         predicates.md.
2984         * config/m68hc11/m68hc11.h (PREDICATE_CODES): Remove.
2985         * config/m68hc11/m68hc11.md: Include predicates.md.
2986         * config/m68hc11/predicates.md: New.
2987
2988 2005-04-02  Alexandre Oliva  <aoliva@redhat.com>
2989
2990         PR debug/19345
2991         * dwarf2out.c (add_abstract_origin_attribute): Revert accidental
2992         change checked in along with 2005-03-03's patch for debug/20253.
2993         * tree-inline.c (remap_type): Remap TYPE_STUB_DECL.
2994         (remap_decl): Insert type decl in map earlier.
2995
2996 2005-04-02  Alexandre Oliva  <aoliva@redhat.com>
2997
2998         PR tree-optimization/20640
2999         * tree-ssa-dce.c (remove_dead_stmt): Don't redirect edge to
3000         post-dominator if it has phi nodes.
3001         (eliminate_unnecessary_stmts): Remove dead phis in all blocks
3002         before dead statements.
3003
3004 2005-04-02  Alexandre Oliva  <aoliva@redhat.com>
3005
3006         PR middle-end/20491
3007         * final.c (alter_subreg): Don't call subreg_regno for a non-REG.
3008
3009 2005-04-02  Alexandre Oliva  <aoliva@redhat.com>
3010
3011         PR rtl-optimization/20290
3012         * loop.c (for_each_insn_in_loop): Don't assume the loop body runs
3013         in every iteration if the entry point is the exit test.
3014
3015 2005-04-02  Hans-Peter Nilsson  <hp@axis.com>
3016
3017         * config/cris/cris.md (attribute "length"): Define.
3018
3019 2005-04-02  Geoffrey Keating  <geoffk@apple.com>
3020
3021         * config/rs6000/predicates.md (indexed_or_indirect_operand): New.
3022         (word_offset_memref_operand): New.
3023         * config/rs6000/rs6000-protos.h (word_offset_memref_operand): Delete.
3024         (indexed_or_indirect_operand): Delete.
3025         * config/rs6000/rs6000.c (word_offset_memref_operand): Delete.
3026         (indexed_or_indirect_operand): Delete.
3027
3028         * config/rs6000/t-darwin8: Comment out ppc64 multilib.
3029
3030         PR 20650
3031         * config/rs6000/rs6000.md (fix_truncdfsi2): Make destination
3032         a register.
3033
3034         * config/rs6000/t-darwin (TARGET_LIBGCC2_CFLAGS): Add -pipe.
3035         * config/t-darwin (TARGET_LIBGCC2_CFLAGS): Likewise.
3036
3037 2005-04-01  Jan-Benedict Glaw  <jbglaw@lug-owl.de>
3038
3039         * gcc/config/vax/vax.md: Spellcheck, fix whitespace.
3040
3041 2005-04-01  Ian Lance Taylor  <ian@airs.com>
3042
3043         * gcc.c: Don't include <sys/resource.h> or declare getrusage.
3044         (rus, prus): Remove static variables.
3045         (execute): Use pex_run/pex_get_status rather than pexecute/pwait.
3046         (process_command): Permit report_times and use_pipes together.
3047
3048 2005-04-01  Joseph S. Myers  <joseph@codesourcery.com>
3049
3050         * c-decl.c (validate_proto_after_old_defn): Look at
3051         TYPE_MAIN_VARIANT of argument types.
3052
3053 2005-04-01  Paul Brook  <paul@codesourcery.com>
3054
3055         * config/arm/arm.c (thumb_call_via_label): Include space for SP.
3056         (arm_output_function_epilogue): Allow call_via_SP.
3057         (thumb_call_via_reg, arm_file_end): Ditto.
3058         * config/arm/arm.h (struct machine_function): Include space for SP.
3059         (thumb_call_via_label): Update declaration.
3060
3061 2005-04-01  Ian Lance Taylor  <ian@airs.com>
3062
3063         * final.c (final_scan_insn): Revert part of 2005-03-30 patch: when
3064         doing a peephole optimization, once again put any notes in the
3065         proper position.
3066
3067 2005-04-01  Kazu Hirata  <kazu@cs.umass.edu>
3068
3069         * bb-reorder.c, fold-const.c, varasm.c: Fix comment typos.
3070
3071 2005-04-01  Nathan Sidwell  <nathan@codesourcery.com>
3072
3073         * local-alloc.c (update_equiv_regs): Use gcc_assert, gcc_unreachable.
3074         (block_alloc, find_free_reg): Likewise.
3075         * loop-doloop.c (doloop_modify): Likewise.
3076         * loop-invariant.c (record_use): Likewise.
3077         * loop-iv.c (get_biv_step_1, get_biv_step, iv_analyze,
3078         get_iv_value, canon_condition, eliminate_implied_condition,
3079         eliminate_implied_condition, simplify_using_initial_values,
3080         shorten_into_mode, canonicalize_iv_subregs,
3081         iv_number_of_iterations): Likewise.
3082         * loop-unroll.c (expand_var_during_unrolling): Likewise.
3083         * loop-unswitch.c (compare_and_jump_seq, unswitch_single_loop,
3084         unswitch_loop): Likewise.
3085         * loop.c (INSN_LUID, loop_optimize, rtx_equal_for_loop_p,
3086         move_movables, replace_call_address, find_and_verify_loops,
3087         rtx_equal_for_prefetch_p, fold_rtx_mult_add, loop_iterations,
3088         record_giv, final_giv_value, general_induction_var,
3089         simplify_giv_expr, extension_within_bounds_p, try_copy_prop,
3090         loop_giv_dump): Likewise.
3091
3092         * gcov-io.h (GCOV_CHECK, GCOV_CHECK_READING,
3093         GCOV_CHECK_WRITING): Remove.
3094         (gcov_position, gcov_rewrite): Use gcc_assert.
3095         * gcov-io.c (gcov_open, gcov_write_words, gcov_write_length,
3096         gcov_read_words, gcov_sync, gcov_seek): Use gcc_assert.
3097         * libgcov.c (__gcov_merge_single, __gcov_merge_delta): Use
3098         gcc_assert.
3099
3100 2005-04-01  Kazu Hirata  <kazu@cs.umass.edu>
3101
3102         * tree-inline.c: Fix a typo.
3103
3104 2005-04-01  Nathan Sidwell  <nathan@codesourcery.com>
3105
3106         * configure.ac (enable-checking): Explicitly set all variables for
3107         collective switch values.  Alphabetize variables. Rename
3108         ac_checking_valgrind to ac_valgrind_checking.  Allow 'none' as
3109         synonym for 'no'.
3110         * doc/install.texi (enable-checking): Update documentation.
3111         * configure: Rebuilt.
3112
3113 2005-04-01  Kazu Hirata  <kazu@cs.umass.edu>
3114
3115         * tree-inline.c (copy_body_r): Use CONSTANT_CLASS_P where
3116         possible.
3117
3118 2005-04-01  Richard Earnshaw  <richard.earnshaw@arm.com>
3119
3120         * arm.c (adjacent_mem_locations): Reject volatile memory refs.
3121         Also reject cases where this pattern will cause load delay stalls
3122         unless optimizing for size and it will produce a shorter sequence.
3123         * arm.md (arith_adjacent_mem): Make better use of ldm addressing
3124         variants to avoid pre-adjusting the base when possible.
3125
3126 2005-04-01  Richard Earnshaw  <richard.earnshaw@arm.com>
3127
3128         * arm.md (minmax_arithsi): Reject all eliminable registers, not just
3129         the frame and argument pointers.
3130         (strqi_preinc, strqi_predec, loadqi_preinc, loadqi_predec): Likewise.
3131         (loadqisi_preinc, loadqisi_predec, strsi_preinc): Likewise.
3132         (strsi_predec, loadsi_preinc, loadsi_predec): Likewise.
3133         (strqi_shiftpreinc, strqi_shiftpredec, loadqi_shiftpreinc): Likewise.
3134         (loadqi_shiftpredec, strsi_shiftpreinc, strsi_shiftpredec): Likewise.
3135         (loadsi_shiftpreinc, loadsi_shiftpredec): Likewise.
3136
3137 2005-04-01  Danny Smith  <dannysmith@users.sourceforge.net>
3138
3139         * config/i386/cygming.h (SUBTARGET_ATTRIBUTE_TABLE): Define,
3140         with entry for selectany attribute.
3141         * config/i386/i386-protos.h (ix86_handle_selectany_attribute):
3142         Declare.
3143         * config/i386/winnt.c (ix86_handle_selectany_attribute): Define.
3144         (i386_pe_asm_named_section): Handle sections generated by
3145         selectany attribute.
3146         * doc/extend.texi (selectany): Document attribute.
3147
3148 2005-04-01  Paolo Bonzini  <bonzini@gnu.org>
3149             Jan Hubicka  <jh@suse.cz>
3150
3151         * config/i386/i386.c (ix86_decompose_address): Look inside SUBREGs
3152         to fix addresses involving EBP and ESP.
3153         (aligned_operand, legitimate_address_p, ix86_address_cost): Be prepared
3154         for SUBREGed registers.
3155         (legitimate_address_p): Accept SUBREGed registers.
3156
3157 2005-04-01  Jakub Jelinek  <jakub@redhat.com>
3158
3159         PR c++/19406
3160         * dwarf2out.c (gen_type_die_for_member): Handle FIELD_DECL.
3161         (dwarf2out_imported_module_or_decl): Use gen_type_die_for_member
3162         for FIELD_DECLs.
3163
3164 2005-04-01  Kazu Hirata  <kazu@cs.umass.edu>
3165
3166         * doc/contrib.texi, doc/invoke.texi, doc/tm.texi: Fix typos.
3167
3168 2005-04-01  James E Wilson  <wilson@specifixinc.com>
3169
3170         PR c++/20505
3171         * dwarf2out.c (rtl_for_decl_init): New function.
3172         (rtl_for_decl_location): Extracted from here.
3173         (tree_add_const_value_attribute): Call rtl_for_decl_init and
3174         add_const_value_attribute.  Delete initializer_constant_valid_p call.
3175
3176 2005-04-01  Kazu Hirata  <kazu@cs.umass.edu>
3177
3178         * cgraphunit.c, dbxout.c, flow.c, gcse.c, gimplify.c,
3179         lambda-code.c, loop.c, machmode.def, mips-tfile.c,
3180         modulo-sched.c, passes.c, postreload-gcse.c, tree-eh.c,
3181         tree-ssa-ccp.c, varasm.c, config/frv/frv.c, config/frv/frv.h,
3182         config/frv/frv.md, config/i386/i386.c, config/i386/i386.h,
3183         config/i386/i386.md, config/rs6000/predicates.md,
3184         config/rs6000/rs6000.c, config/s390/fixdfdi.h,
3185         config/s390/s390.c, config/stormy16/stormy16.c,
3186         config/stormy16/stormy16.md, config/vax/vax.md: Fix comment
3187         typos.
3188
3189 2005-04-01  Joseph S. Myers  <joseph@codesourcery.com>
3190
3191         PR c/17855
3192         * gimplify.c (gimplify_expr): Create a temporary for lvalue
3193         COND_EXPR and CALL_EXPR.
3194
3195 2005-03-31  Vladimir Makarov  <vmakarov@redhat.com>
3196
3197         PR target/20632
3198         * genautomata.c (first_cycle_unit_presence): Check all alternative
3199         states for unit presence.
3200
3201         * doc/md.texi: Remove remark about impossibility to query unit
3202         presence in non nondeterministic automaton state.
3203
3204         * config/ia64/ia64.c (get_template): Change order of unit querying.
3205
3206 2005-03-31  Kazu Hirata  <kazu@cs.umass.edu>
3207
3208         * tree-ssa-dom.c (cprop_into_successor_phis): Remove an
3209         obsolete comment.
3210
3211 2005-03-31  Zdenek Dvorak  <dvorakz@suse.cz>
3212
3213         * cfgloopanal.c (mark_loop_exit_edges): Clean EDGE_LOOP_EXIT
3214         flag for edges outside any loops.
3215
3216 2005-03-31  Janis Johnson  <janis187@us.ibm.com>
3217
3218         * doc/sourcebuild.texi (Test Directives): Describe cleanup-* procs.
3219
3220 2005-03-31  Kazu Hirata  <kazu@cs.umass.edu>
3221
3222         * tree-ssa-alias.c: Follow spelling conventions.
3223         * doc/tree-ssa.texi: Fix a typo.
3224
3225 2005-03-31  J"orn Rennecke <joern.rennecke@st.com>
3226
3227         * postreload-gcse.c: Include target.h.
3228         (gcse_after_reload_main): Return early if we cannot modify jumps.
3229         * Makefile.in (postreload-gcse.o): Depend on $(TARGET_H).
3230
3231 2005-03-31  David Edelsohn  <edelsohn@gnu.org>
3232
3233         * tree-ssa-loop-im.c (stmt_cost): Add RDIV_EXPR to list of
3234         expensive operations.
3235
3236 2005-03-31  Ian Lance Taylor  <ian@airs.com>
3237
3238         * collect2.c (lderrout): New variable.
3239         (collect_exit): Dump ldout to stdout.  Dump and unlink lderrout,
3240         if it is set, to stderr.
3241         (handler): Unlink lderrout if it is set.
3242         (dump_file): Add "to" parameter.  Change all callers.
3243         (main): Initialize lderrout.
3244         (collect_execute): Add errname parameter.  Change all callers.
3245         Rename redir parameter to outname.  Never pass
3246         PEX_STDERR_TO_STDOUT to pex_run.
3247         * collect2.h (collect_execute, dump_file): Update declarations.
3248         * tlink.c (tlink_execute): Add errname parameter.  Change all
3249         callers.
3250         (do_tlink): Check lderrout as well as ldout.
3251
3252 2005-03-31  Caroline Tice  <ctice@apple.com>
3253
3254         * Makefile.in (varasm.o): Add basic-block.h to list of requirements.
3255         (bb-reorder.o): Add errors.h to list of requirements.
3256         (STAGEFEEDBACK_FLAGS_TO_PASS): Add -freorder-blocks-and-partition to
3257         profiledbootstrap flags.
3258         * bb-reorder.c (errors.h): Add new include.
3259         (struct bbro_basic_block_data_def): Add new field, in_trace.
3260         (add_unlikely_executed_notes):  Remove function.
3261         (mark_bb_for_unlikely_executed_section): Remove function.
3262         (insert_section_boundary_note): New function.
3263         (verify_hot_cold_block_grouping): New function.
3264         (push_to_next_round_p): Remove variables and tests that push all
3265         cold blocks to last round.
3266         (find_traces): Remove code that added extra round of trace finding
3267         when doing partitioning.
3268         (find_traces_1_round) :  Remove variable last_round;  add code to
3269         update new struct field, in_trace; correct trace_length where it was
3270         incorrect before (after call to copy_bb); change code that pushed all
3271         cold blocks to last round. Instead verify that all blocks going into
3272         a trace belong in the same partition.
3273         (connect_traces): Modify to connect the traces in two passes, if the
3274         function contains both hot and cold blocks.  The first pass connects
3275         all the traces for blocks in the partition that the first block in
3276         the function belongs to; the second pass connnects all the traces
3277         containing blocks that belong in the other partition.
3278         (find_rarely_executed_basic_blocks_and_crossing_edges):  Remove
3279         code that automatically put the first block in a function into the
3280         hot partition if the function had any hot blocks.
3281         (fix_crossing_unconditional_branches): Check number of succ edges
3282         before attempting to get one.
3283         (fix_edges_for_rarely_executed_code):  Update comment describing
3284         function.
3285         (reorder_basic_blocks):  Add code to initialize new field (in_trace);
3286         remove call to add_unlikely_executed_notes; add call to
3287         verify_hot_cold_block_grouping.
3288         (duplicate_computed_gotos): Don't change computed goto if it's a
3289         crossing edge.
3290         (partition_hot_cold_basic_blocks):  Update function comment.
3291         * cfgcleanup.c (try_simplify_condjump): Remove redundacy from
3292         condition.
3293         (try_forward_edges): Likewise.
3294         (merge_blocks_move_predecessor_nojumps): Likewise.
3295         (merge_blocks_move_successor_nojumps): Likewise.
3296         (merge_blocks_move): Likewise.
3297         (try_crossjump_bb): Likewise.
3298         * cfglayout.c (update_unlikely_executed_notes): Remove function.
3299         (fixup_reorder_chain): Remove code for adding UNLIKELY_EXECUTED_CODE
3300         notes to cold bb's; remove call to update_unlikely_executed_notes.
3301         (duplicate_insn_chain):  change NOTE_INSN_UNLIKELY_EXECUTED_CODE to
3302         NOTE_INSN_SWITCH_TEXT_SECTIONS.
3303         * cfglayout.h (scan_ahead_for_unlikely_executed_note): Remove
3304         function declaration.
3305         * cfgrtl.c (can_delete_note_p): Remove UNLIKELY_EXECUTED_CODE note
3306         from consideration.
3307         (rtl_can_merge_blocks): Remove redundancy from condition.
3308         (try_redirect_by_replacing_jump): Likewise.
3309         (force_nonfallthru_and_redirect): Remove code for adding
3310         UNLIKELY_EXECUTED_CODE notes to cold bb's.
3311         (commit_one_edge_insertion): Likewise.
3312         (cfg_layout_can_merge_blocks_p): Remove redundancy from condition.
3313         * dbxout.c (FORCE_TEXT): Replace function_section with
3314         current_function_section.
3315         (struct dbx_debug_h): Add do_nothing function for new debug_hooks
3316         function, switch_text_section.
3317         (struct xcoff_debug): Likewise.
3318         (dbxout_function_end): Add code to put out label diffs for both
3319         hot and cold sections.
3320         * debug.c (struct do_nothing_debug_hooks): Add do_nothing function
3321         for new debug_hooks funciton, switch_text_section..
3322         * debug.h (struct gcc_debug_hooks):  Add new function to debug_hooks,
3323         switch_text_section.
3324         * dwarf2out.c (struct dw_fde_struct):  Add five new fields:
3325         dw_fde_hot_section_label, dw_fde_hot_section_end_label,
3326         dw_fde_unlikely_section_label, dw_fde_unlikely_section_end_label and
3327         dw_fde_switched_sections.
3328         (output_call_frame_info):  Add test to see if function switches text
3329         sections in the middle; if so, use appropriate extra hot and cold
3330         section labels to compute size deltas for the hot and cold sections.
3331         (dwarf2out_begin_prologue): Add code to initialize new fields in
3332         dw_fde_struct.
3333         (dwarf2out_switch_text_section): New function (invoked through
3334         debug_hook); updates new fields in dw_fde_struct appropriately and
3335         increments separate_line_info_table_in_use.
3336         (dwarf2_debug_hooks): Initialize switch_text_section function to be
3337         dwarf2out_switch_text_section.
3338         (struct var_loc_node): Add new field, section_label.
3339         (output_aranges): Add code to check whether in hot or cold section and
3340         use the appropriate label in calculating deltas.
3341         (output_ranges): Likewise.
3342         (output_line_info): Add code to check which section we're in and
3343         use appropriate hot/cold label.
3344         (add_location_or_constant_value_attribute): Likewise.
3345         (gen_subprogam_die): Modify arange attributes to use correct labels.
3346         (dwarf2out_begin_block): Change call to function_section into call to
3347         current_function_section.
3348         (dwarf2out_end_block): Likewise.
3349         (dwarf2out_source_line): Likewise.
3350         (dwarf2out_var_location): Add code to check whether in hot or cold
3351         section and use the appropriate label.
3352         * except.c (output_function_exception_table): Change call to
3353         function_section into call to current_function_section.
3354         * final.c (profile_function): Likewise.
3355         (scan_ahead_for_unlikely_executed_note): Remove function.
3356         (final_scan_insn):  Remove calls to
3357         scan_ahead_for_unlikely_executed_note, and related code for switching
3358         to cold section, except for the single time
3359         NOTE_INSN_SWITCH_TEXT_SECTIONS may be encountered;  add calls to
3360         debug_hooks->switch_text_sections; replace appropriate calls to
3361         function_section with calls to current_function_section.
3362         * ifcvt.c (find_if_case_1): Remove redundancy from condition, add
3363         test_bb to condition.
3364         (find_if_case_2): Likewise.
3365         * insn-notes.def: Change NOTE_INSN_UNLIKELY_EXECUTED_CODE to
3366         NOTE_INSN_SWITCH_TEXT_SECTIONS.  Update comment appropriately.
3367         * opts.c (decode_options): Change warning about hot/cold partitioning
3368         with exceptionss to inform (so as not to cause bootstrap failures);
3369         remove warning about partitioning with DWARF debug info.
3370         * output.h (current_function_section): Add new function decl.
3371         (insert_section_boundary_note): Likewise.
3372         (enum in_section): Move this declaration here from varasm.c.
3373         (unlikely_section_label): Likewise.
3374         (unlikely_text_section_name): Likewise.
3375         (last_text_section_name): New global variable.
3376         (last_text_section): Likewise.
3377         (hot_section_label): Likewise.
3378         (hot_section_end_label): Likewise.
3379         (cold_section_end_label): Likewise.
3380         * passes.c (rest_of_handle_final): Free unlikely_text_section_name.
3381         * print-rtl.c (print_rtx): Change NOTE_INSN_UNLIKELY_EXECUTED_CODE
3382         to NOTE_INSN_SWITCH_TEXT_SECTIONS.
3383         * reg-stack.c (emit_swap_insn): Remove UNLIKELY_EXECUTED_CODE note
3384         insn from consideration.
3385         * sdbout.c (sdb_debug_hooks): Add do_nothing for new function,
3386         switch_text_section.
3387         * varasm.c (basic-block.h): Add new include.
3388         (unlikely_section_label_printed): Remove global variable.
3389         (unlikely_section_label): Make global variable not be static any more.
3390         (unlikely_text_section_name): Likewise.
3391         (hot_section_end_label): New global variable (not static)
3392         (first_function_block_is_cold): Likewise.
3393         (hot_section_label): Likewise.
3394         (cold_section_end_label): Likewise..
3395         (last_text_section): New global variable, not static.
3396         (last_text_section_name): New global variable, not static.
3397         (initialize_cold_section_name): New function.
3398         (enum in_section): Move declaration to output.h.
3399         (text_section): Update last_text_section.
3400         (unlikely_text_section): Replace code to determine cold section name
3401         with call to initialize_cold_section_name; Add code to update
3402         last_text_section; remove code for printing out label.
3403         (named_section_real): Add code to update last_text_section and
3404         last_text_section_name as appropriate.
3405         (function_section): Change test for 'unlikely' to depend on
3406         first_function_block_is_cold (moved old test to
3407         current_function_section).
3408         (current_function_section): New function.
3409         (assemble_start_function): Move code that frees
3410         unlikely_text_section_name; initialize hot_section_end_label;
3411         print hot and cold section labels at the start of the function;
3412         set first_function_block_is_cold, if appropriate; initialize l
3413         ast_text_section; add call to insert_section_boundary_note.
3414         (assemble_end_function):  Add code to write out hot and cold section
3415         end labels.
3416         *vmsdbgout.c (vmsdbg_debug_hooks): Add do_nothing for new function,
3417         switch_text_section.
3418         * config/darwin.c (machopic_select_section): Replace incorrect
3419         function in base_funs; update reloc for cold sections if necessary.
3420         * config/darwin.h (SECTION_FUNCTION):  Add code to update
3421         last_text_section if appropriate.
3422         (text_unlikely_section): Remove.
3423         * config/sparc/sparc.c (sparc_output_deferred_case_vectors): Likewise.
3424         * config/stormy16/stormy16.c (stormy_16_output_addr_vec): Likewise.
3425         * config/xtensa/xtensa.c (override_options): Turn off hot/cold
3426         partitioning for this architecture.
3427
3428 2005-03-31  Olivier Hainque  <hainque@adacore.com>
3429
3430         * dwarf2out.c (dwarf2out_frame_finish): Honor DWARF2_FRAME_INFO
3431         defined and non-zero.
3432
3433 2005-03-31  Gabriel Dos Reis  <gdr@integrable-solutions.net>
3434
3435         PR c++/18644
3436         * doc/invoke.texi (-Wsynth): Don't document, as it now is void of
3437         semantics.
3438
3439 2005-03-31  Alan Modra  <amodra@bigpond.net.au>
3440
3441         PR target/20611
3442         * config/rs6000/rs6000.md (load_toc_v4_PIC_1b): Remove inline
3443         label operand.  Remove (use (unspec..)).  Don't emit a label on
3444         the offset word.
3445         * config/rs6000/rs6000.c (rs6000_legitimize_tls_address): Don't
3446         generate inline label for load_toc_v4_PIC_1b.
3447         (rs6000_emit_load_toc_table): Likewise.
3448
3449 2005-03-31  Kazu Hirata  <kazu@cs.umass.edu>
3450
3451         * config.gcc: Obsolete i860-*-sysv4*, ip2k-*-elf,
3452         ns32k-*-netbsdelf*, and ns32k-*-netbsd*.
3453
3454 2005-03-29  Devang Patel  <dpatel@apple.com>
3455
3456         * tree-sra.c (decide_block_copy): Disable scalarization of
3457         sub-elements.
3458
3459 2005-03-30  Stuart Hastings  <stuart@apple.com>
3460             Dale Johannesen  <dalej@apple.com>
3461
3462         * Makefile.in (print-tree.o):  Depend on tree-iterator.h.
3463         * print-tree.c (print_node):  Add case STATEMENT_LIST.
3464
3465 2005-03-31  Alan Modra  <amodra@bigpond.net.au>
3466
3467         * config.gcc (cpu_is_64bit): Set for 64-bit powerpc cpus.
3468         (powerpc64-*-linux*): Use it.  Rearrange tm_file assignment.
3469         (powerpc-*-linux*): Build a biarch compiler when --enable-targets
3470         is given with "powerpc64*" or "all", or when --with-cpu chooses
3471         a 64-bit cpu.
3472
3473 2005-03-30  James E. Wilson  <wilson@specifixinc.com>
3474
3475         PR debug/20268
3476         * dwarf2out.c (add_high_low_attributes): New function, extracted from
3477         gen_lexical_block_die.
3478         (gen_lexical_block_die, gen_inlined_subroutine_die): Call it.
3479
3480 2005-03-31  Jan Hubicka  <jh@suse.cz>
3481
3482         2004-11-02  Jan Hubicka  <jh@suse.cz>
3483
3484         * cgraph.c (cgraph_varpool_node_name): New function.
3485         (dump_cgraph_varpool_node): New function.
3486         (dump_varpool): New function.
3487         * cgraphunit.c (cgraph_optimize): Dump varpool.
3488
3489         2004-10-16  Jan Hubicka  <jh@suse.cz>
3490
3491         * cgraph.c (decide_is_variable_needed): New function.
3492         (cgraph_varpool_finalize_decl): Use it.
3493         * cgraphunit.c (cgraph_optimize): Assemble_pending_decls when not doing
3494         unit-at-a-time.
3495         * final.c (output_addr_const): Do not call mark_referenced.
3496         * passes.c (rest_of_decl_compilation): ifdef out DECL_RTL_SET_P hack;
3497         always go via cgraph.
3498         * toplev.c (wrapup_global_declarations): Kill non-unit-at-a-time code.
3499         (check_global_declarations): Ifdef out code clearing DECL_RTL.
3500         * tree-optimize.c (execute_inline): Mark functions called.
3501         * i386.c (output_pic_addr_const): Do not call mark_decl_referenced.
3502
3503         2004-10-11  Jan Hubicka  <jh@suse.cz>
3504
3505         * cgraph.c (cgraph_varpool_first_unanalyzed_node): New global voriable
3506         (cgraph_varpool_last_needed_node): New static variable.
3507         (enqueue_needed_varpool_node): Break out from ...; add items to the
3508         end of queue; update first pointers.
3509         (cgraph_varpool_mark_needed_node): ... here.
3510         (cgraph_varpool_finalize_decl): Use enqueue_needed_varpool_node.
3511         (cgraph_varpool_assemble_pending_decls): Move to cgraphunit.c
3512         * cgraph.h (cgraph_varpool_node): Add analyzed field.
3513         (cgraph_varpool_first_unanalyzed_node): Declare.
3514         * cgraphunit.c: Include output.h.
3515         (cgraph_varpool_analyze_pending_decls): New function.
3516         (cgraph_varpool_assemble_pending_decls): Move from cgraph.c; bail out
3517         for errors, analyze pending decls.
3518         (cgraph_finalize_compilation_unit): Only analyze decls.
3519         (cgraph_optimize): Assemble the decls after expanding.
3520
3521 2005-03-30  Daniel Berlin  <dberlin@dberlin.org>
3522
3523         * tree-ssa-alias.c (compute_flow_insensitive_aliasing): Make sure
3524         subvars get marked properly in tags for grouping.
3525         (add_pointed_to_var): Mark only actual pointed to
3526         variables/subvars in addresses needed.
3527         (create_overlap_variables_for): Clear call clobbered on original
3528         variable.
3529         * tree-ssa-operands.c (get_asm_expr_operands): Don't let regular
3530         addresable vars with subvars into list.
3531         * tree-ssa.c (verify_ssa_name): Verify original is not used where
3532         subvar should be.
3533
3534 2005-03-30  Richard Henderson  <rth@redhat.com>
3535
3536         * cgraph.h (struct cgraph_node): Add alias.
3537         * varasm.c (assemble_alias): Set it.
3538         * cgraphunit.c (cgraph_assemble_pending_functions): Check it and
3539         avoid calling cgraph_expand_function.
3540
3541 2005-03-30  Tom Tromey  <tromey@redhat.com>
3542
3543         * tree.def (FILE_TYPE): Removed.
3544         * typeclass.h (enum type_class): Removed file_type_class.
3545         * dwarf2out.c (is_base_type): Updated.
3546         (gen_type_die): Likewise.
3547         * dbxout.c (dbxout_type): Updated.
3548         * builtins.c (type_to_class): Updated.
3549         * tree.c (type_contains_placeholder_1): Updated.
3550         * config/sparc/sparc.c (sparc_type_code): Updated.
3551         * config/ia64/ia64.c (hfa_element_mode): Updated.
3552         * expr.c (count_type_elements): Updated.
3553         * stor-layout.c (layout_type): Updated.
3554         * tree-inline.c (remap_type): Updated.
3555         * tree-pretty-print.c (dump_generic_node): Updated.
3556
3557 2005-03-30 Fariborz Jahanian <fjahanian@apple.com>
3558
3559         * builtins.c (expand_builtin_powi): Fix mode of
3560         2nd argument to match int.
3561         * libgcc2.h (__powisf2, __powidf2, __powixf2, __powitf2): Change
3562         2nd argument type to int.
3563         * libgcc2.c: Change prototype of __powi* functions to use
3564         int.
3565
3566 2005-03-30  Dale Johannesen  <dalej@apple.com>
3567
3568         PR middle-end/19225
3569         * calls.c (expand_call):  Flush pending deferrals before
3570         throwing call.
3571
3572 2005-03-30  Joseph S. Myers  <joseph@codesourcery.com>
3573
3574         PR c/772
3575         PR c/17913
3576         * c-tree.h (C_DECL_UNJUMPABLE_STMT_EXPR,
3577         C_DECL_UNDEFINABLE_STMT_EXPR, struct c_label_list, struct
3578         c_label_context, label_context_stack): New.
3579         * c-decl.c (define_label): Check for jumps into statement
3580         expressions.  Add label to list of defined labels.
3581         (start_function): Push context on label_context_stack.
3582         (finish_function): Pop context from label_context_stack.
3583         * c-typeck.c (label_context_stack): New.
3584         (c_finish_goto_label): Check for jumps into statement
3585         expressions.  Add label to list of jumped to labels.
3586         (struct c_switch): Add blocked_stmt_expr.
3587         (c_start_case): Initialize it.
3588         (do_case): Check it.
3589         (c_finish_case): Verify !blocked_stmt_expr.
3590         (c_begin_stmt_expr):  Push context on label_context_stack.
3591         Increment blocked_stmt_expr.  Mark labels jumped to from outside
3592         as undefinable.
3593         (c_finish_stmt_expr): December blocked_stmt_expr.  Mark labels
3594         defined in the statement expression and no longer jumpable to.
3595         Mark labels jumped to from just outside the statement expression
3596         as again definable.  Pop context from label_context_stack.
3597         * doc/extend.texi (Statement Exprs): Update.
3598
3599 2005-03-30  Joseph S. Myers  <joseph@codesourcery.com>
3600
3601         PR c/20368
3602         * c-decl.c (start_function): Check for old_decl being
3603         error_mark_node.
3604
3605 2005-03-30  Ian Lance Taylor  <ian@airs.com>
3606
3607         * final.c (final): Remove prescan parameter.  Change all callers.
3608         (final_scan_insn): Remove prescan parameter.  Change all callers.
3609
3610 2005-03-30  Kazu Hirata  <kazu@cs.umass.edu>
3611
3612         * tree-vectorizer.c: Fix comment typos.
3613
3614 2005-03-30  Sebastian Pop  <pop@cri.ensmp.fr>
3615
3616         * tree-scalar-evolution.c (instantiate_parameters_1): Return
3617         as soon as a chrec_dont_know is detected.
3618
3619 2005-03-31  Danny Smith  <dannysmith@users.sourceforge.net>
3620
3621         Merge from csl-arm-branch.
3622         2004-02-12  Mark Mitchell  <mark@codesourcery.com>
3623
3624         * tlink.c (recompile_files): Do not assume that "rename" can
3625         overwrite an existing file.
3626
3627 2005-03-31  Paolo Bonzini  <bonzini@gnu.org>
3628
3629         * gcc/configure.ac (TL_AC_GNU_MAKE_GCC_LIB_PATH): Remove.
3630         * gcc/configure: Regenerate.
3631
3632 2005-03-30  Alan Modra  <amodra@bigpond.net.au>
3633
3634         * doc/install.texi: Update binutils requirement for powerpc*-linux.
3635
3636         * config/rs6000/rs6000.c (rs6000_arg_partial_bytes): Update comments.
3637
3638         * calls.c (struct arg_data): Update "partial" comment.
3639         (load_register_parameters): Update "nregs" comment.
3640
3641 2005-03-30  Richard Sandiford  <rsandifo@redhat.com>
3642
3643         * config/iq2000/iq2000.h (target_flags, MASK_GPOPT, MASK_EMBEDDED_DATA)
3644         (MASK_UNINIT_CONST_IN_RODATA, TARGET_EMBEDDED_DATA, TARGET_SWITCHES)
3645         (TARGET_DEFAULT, TARGET_CPU_DEFAULT, SUBTARGET_TARGET_OPTIONS)
3646         (TARGET_OPTIONS, iq2000_cpu_string, iq2000_arch_string): Delete.
3647         (TARGET_DEBUG_MODE, TARGET_DEBUG_A_MODE, TARGET_DEBUG_B_MODE)
3648         (TARGET_DEBUG_C_MODE, TARGET_DEBUG_D_MODE): Define to 0 rather
3649         than target_flags & 0.
3650         * config/iq2000/iq2000.c (iq2000_cpu_string, iq2000_arch_string)
3651         (iq2000_arch, iq2000_parse_cpu): Delete.
3652         (TARGET_HANDLE_OPTION): Override default.
3653         (iq2000_handle_option): New function.
3654         (override_options): Remove -march= and -mcpu= handling.
3655         * config/iq2000/iq2000.opt: New file.
3656
3657 2005-03-30  Richard Sandiford  <rsandifo@redhat.com>
3658
3659         * config/c4x/c4x-protos.h (c4x_rpts_cycles, c4x_cpu_version): Delete.
3660         * config/c4x/c4x.h (SMALL_MEMORY_FLAG, MPYI_FLAG, FAST_FIX_FLAG)
3661         (RPTS_FLAG, C3X_FLAG, TI_FLAG, PARANOID_FLAG, MEMPARM_FLAG, DEVEL_FLAG)
3662         (RPTB_FLAG, BK_FLAG, DB_FLAG, DEBUG_FLAG, HOIST_FLAG)
3663         (LOOP_UNSIGNED_FLAG, FORCE_FLAG, PRESERVE_FLOAT_FLAG)
3664         (PARALLEL_INSN_FLAG, PARALLEL_MPY_FLAG, ALIASES_FLAG, C30_FLAG)
3665         (C31_FLAG, C32_FLAG, C33_FLAG, C40_FLAG, C44_FLAG, TARGET_SWITCHES)
3666         (TARGET_DEFAULT, TARGET_SMALL, TARGET_MPYI, TARGET_FAST_FIX)
3667         (TARGET_RPTS, TARGET_TI, TARGET_PARANOID, TARGET_MEMPARM, TARGET_DEVEL)
3668         (TARGET_RPTB, TARGET_BK, TARGET_DB, TARGET_DEBUG, TARGET_HOIST)
3669         (TARGET_LOOP_UNSIGNED, TARGET_FORCE, TARGET_PRESERVE_FLOAT)
3670         (TARGET_PARALLEL, TARGET_PARALLEL_MPY, TARGET_ALIASES)
3671         (c4x_rpts_cycles_string, c4x_cpu_version_string)
3672         (TARGET_OPTIONS): Delete.
3673         (c4x_rpts_cycles, c4x_cpu_version): Declare.
3674         (TARGET_C3X, TARGET_C30, TARGET_C31, TARGET_C32, TARGET_C33)
3675         (TARGET_C40, TARGET_C44): Redefine in terms of c4x_cpu_version.
3676         * config/c4x/c4x.c (c4x_rpts_cycles_string): Delete.
3677         (c4x_cpu_version_string): Delete.
3678         (TARGET_DEFAULT_TARGET_FLAGS, TARGET_HANDLE_OPTION): Override defaults.
3679         (c4x_handle_option): New function.  Map -m3x and -m4x options to the
3680         equivalent -mcpu= option.
3681         (c4x_override_options): Remove -mrpts= and -mcpu= handling from here.
3682         Deal with the extra conditions in the old TARGET_MPYI, TARGET_RPTB,
3683         TARGET_DB, TARGET_PARALLEL and TARGET_PARALLEL_MPY macros by setting
3684         or clearing the appropriate MASK_* bit.
3685         (c4x_file_start): Use c4x_cpu_version.
3686         * config/c4x/c4x.opt: New file.
3687
3688 2005-03-30  Richard Sandiford  <rsandifo@redhat.com>
3689
3690         * doc/options.texi: Document the new MaskExists flag.
3691         * opth-gen.awk: Don't output MASK and TARGET macros for Mask(...)
3692         if the option has the MaskExists flag.
3693
3694 2005-03-30  Richard Sandiford  <rsandifo@redhat.com>
3695
3696         * opt-functions.awk (flag_set_p, test_flag): New functions.
3697         (switch_flags): Use them.
3698         * opth-gen.awk: Use flag_set_p to check for flags.
3699         * optc-gen.awk: Likewise.  Use opt_args to check for Init(...) flags.
3700
3701 2005-03-30  Ian Lance Taylor  <ian@airs.com>
3702
3703         * config.host (i[34567]86-*-mingw32*): Don't set
3704         host_can_use_collect2 to no.
3705
3706 2005-03-30  Alan Modra  <amodra@bigpond.net.au>
3707
3708         PR target/20203
3709         * builtins.c (get_memory_rtx): Expand address exp using EXPAND_NORMAL.
3710         Remove convert_memory_address call duplicating that in memory_address.
3711
3712 2005-03-29  Richard Henderson  <rth@redhat.com>
3713
3714         PR c/20519
3715         * c-decl.c (c_finish_incomplete_decl): Update complete_array_type call.
3716         (build_compound_literal): Likewise.  Propagate decl type into the
3717         initializer.
3718         (finish_decl): Likewise.  Use new return value from complete_array_type
3719         for zero sized arrays.
3720         (complete_array_type): Move ...
3721         * c-common.c (complete_array_type): ... here.  Change first argument
3722         to pointer-to-type-node.  Consistently use sizetype for the index
3723         except for zero sized arrays.  Detect zero sized arrays for pedantic
3724         mode diagnostics.  Create a new type node instead of modifying the
3725         old node in place.
3726         * c-tree.h (complete_array_type): Move decl ...
3727         * c-common.h (complete_array_type): ... here.
3728
3729 2005-03-29  Richard Henderson  <rth@redhat.com>
3730
3731         PR tree-opt/19108
3732         * tree-sra.c (generate_element_init_1): Handle RANGE_EXPR.
3733
3734 2005-03-29  Kazu Hirata  <kazu@cs.umass.edu>
3735
3736         * builtin-types.def, c-convert.c, c-format.c, ddg.c, debug.c,
3737         debug.h, et-forest.c, et-forest.h, gcov.c, rtl-profile.c,
3738         rtlhooks-def.h, rtlhooks.c, sdbout.c, tree-inline.h,
3739         tree-profile.c, tsystem.h, value-prof.h: Update copyright.
3740
3741 2005-03-29  Eric Christopher  <echristo@redhat.com>
3742
3743         * config/mips/mips.c (mips_gimplify_va_arg_expr): Update for
3744         truthvalue conversion removal.
3745
3746 2005-03-29  Ian Lance Taylor  <ian@airs.com>
3747
3748         PR bootstrap/14316
3749         * collect2.c: Never include <vfork.h>.
3750         (VFORK_STRING, vfork): Don't define.
3751         (pid): Remove global variable.
3752         (handler): Call raise instead of kill (getpid(), ...).
3753         (collect_wait): Add pex parameter.  Change all callers.  Use
3754         pex_get_status rather than pwait.
3755         (do_wait): Add pex parameter.  Change all callers.
3756         (collect_execute): Return struct pex_obj * rather than void.  Use
3757         pex routines rather than pexecute.
3758         (fork_execute): Get pex_obj from collect_execute, and pass it to
3759         do_wait.
3760         (scan_prog_file): Use pex routines rather than pipe/vfork/exec.
3761         Only declare quit_handler if SIGQUIT is defined.
3762         (scan_libraries): Likewise.
3763         * collect2.h (collect_execute): Update declaration.
3764         (collect_wait): Update declaration.
3765         * tlink.c (tlink_execute): Get pex_obj from collect_execute, and
3766         pass it to collect_wait.
3767
3768 2005-03-29  Joseph S. Myers  <joseph@codesourcery.com>
3769
3770         PR c/20672
3771         * c-parser.c (c_parser_compound_statement_nostart): Give error
3772         message for EOF instead of just setting parser->error.
3773
3774 2005-03-29  Dorit Naishlos  <dorit@il.ibm.com>
3775
3776         * tree-vectorizer.c (slpeel_update_phi_nodes_for_guard): Removed.
3777         (slpeel_update_phi_nodes_for_guard1): New function.
3778         (slpeel_update_phi_nodes_for_guard2): New function.
3779         (slpeel_tree_peel_loop_to_edge): Call above new functions instead
3780         of slpeel_update_phi_nodes_for_guard.
3781         (vectorize_loops): Remove call to loop_closed_rewrite.
3782         * tree-vect-transform.c (vect_update_ivs_after_vectorizer): Remove
3783         assertion.
3784
3785 2005-03-29  Richard Sandiford  <rsandifo@redhat.com>
3786
3787         * config/m32r/little.h (TARGET_ENDIAN_DEFAULT): Delete.
3788         (TARGET_LITTLE_ENDIAN): New macro.
3789         * config/m32r/m32r.h (SUBTARGET_SWITCHES, target_flags)
3790         (TARGET_RELAX_MASK, TARGET_DEBUG_MASK, TARGET_DEBUG)
3791         (TARGET_ALIGN_LOOPS_MASK, TARGET_ALIGN_LOOPS)
3792         (TARGET_LOW_ISSUE_RATE_MASK, TARGET_LOW_ISSUE_RATE)
3793         (TARGET_BRANCH_COST_MASK, TARGET_BRANCH_COST, TARGET_M32RX_MASK)
3794         (TARGET_M32RX, TARGET_M32R2_MASK, TARGET_M32R2, LITTLE_ENDIAN_BIT)
3795         (TARGET_ENDIAN_DEFAULT, SUBTARGET_SWITCHES, TARGET_DEFAULT)
3796         (TARGET_SWITCHES, m32r_model_string, m32r_sdata_string)
3797         (m32r_cache_flush_trap_string, SUBTARGET_OPTIONS)
3798         (TARGET_OPTIONS): Delete.
3799         (M32R_MODEL_DEFAULT, M32R_SDATA_DEFAULT): Turn into enums.
3800         (CACHE_FLUSH_TRAP): Turn into an integer.
3801         (TARGET_LITTLE_ENDIAN): Define to 0 by default.
3802         (INITIALIZE_TRAMPOLINE): Check m32r_cache_trap >= 0 to see if
3803         -mflush-trap is in use.
3804         * config/m32r/m32r.c (m32r_model_string, m32r_sdata_string)
3805         (m32r_cache_flush_trap_string): Delete.
3806         (m32r_model) Initialize to M32R_MODEL_DEFAULT.
3807         (m32r_sdata): Likewise M32R_SDATA_DEFAULT.
3808         (m32r_cache_trap): Likewise CACHE_FLUSH_TRAP.
3809         (TARGET_DEFAULT_TARGET_FLAGS, TARGET_HANDLE_OPTION): Override defaults.
3810         (m32r_handle_option): New function.  Move -mflush-trap=, -mflush-func=,
3811         -mmodel= and -msdata= handling from...
3812         (m32r_init): ...here.
3813         * config/m32r/m32r.opt: New file.
3814
3815 2005-03-29  Keith Besaw  <kbesaw@us.ibm.com>
3816
3817         * tree-ssanames.c (duplicate_ssa_name_ptr_info): New function.
3818         (duplicate_ssa_name): Call duplicate_ssa_name_ptr_info.
3819         * tree-vect-analyze.c (vect_object_analysis): additional parm
3820         pass back a "struct ptr_info_def *" with the points-to info.
3821         (vect_analyze_data_refs): set the STMT_VINFO_PTR_INFO for the
3822         statement using info returned from vect_object_analysis.
3823         * tree-vect-transform.c (update_vuses_to_preheader): New function.
3824         (vect_create_data_ref_ptr): Remove updates to vars_to_rename
3825         for virtual uses and defs when creating a replacement vector
3826         reference.  Call duplicate_ssa_name_ptr_info to define points-to
3827         info for vector pointer replacement using STMT_VINFO_PTR_INFO.
3828         (vectorizable_store): copy_virtual_operands and update
3829         definition statements.
3830         (vectorizable_load): copy_virtual_operands.  Remove call to
3831         mark_call_clobbered_vars_to_rename for call to "const" builtin.
3832         * tree-vectorizer.c (vectorize_loops): Remove calls to
3833         rewrite_into_ssa and bitmap_clear (vars_to_rename).
3834         (new_stmt_vec_info): initialize STMT_VINFO_PTR_INFO for stmt.
3835         * tree-vectorizer.h (_stmt_vec_info): add field ptr_info and
3836         define macro STMT_VINFO_PTR_INFO for use in accessing.
3837         * tree.h add export of duplicate_ssa_name_ptr_info.
3838         * rs6000.c (altivec_init_builtins): Declare builtin function
3839         __builtin_altivec_mask_for_load to be "const".
3840
3841 2005-03-29  Jakub Jelinek  <jakub@redhat.com>
3842
3843         PR middle-end/20622
3844         * cgraph.h (struct cgraph_varpool_node): Add alias field.
3845         * cgraph.c (cgraph_varpool_assemble_pending_decls): Don't call
3846         assemble_variable on aliases.
3847         * varasm.c (assemble_alias): Set node->alias.
3848         * toplev.c (wrapup_global_declarations): Don't call
3849         rest_of_decl_compilation on aliases again.
3850
3851 2005-03-29  Paul Brook  <paul@codesourcery.com>
3852
3853         * config/arm/arm-protos.h (arm_dbx_register_number): Add prototype.
3854         * config/arm/arm.c (arm_dbx_register_number): New function.
3855         * config/arm/arm.h (IS_FPA_REGNUM, DBX_REGISTER_NUMBER): Define.
3856
3857 2005-03-29  Eric Botcazou  <ebotcazou@libertysurf.fr>
3858
3859         PR middle-end/20263
3860         * varasm.c (make_decl_rtl) [ASM_DECLARE_REGISTER_GLOBAL]: Use
3861         the DECL_NAME, not the DECL_ASSEMBLER_NAME.
3862
3863 2005-03-29  Dale Johannesen <dalej@apple.com>
3864
3865         * Makefile.in (value-prof.o): New dependencies on $(DIAGNOSTIC_H)
3866         $(TREE_H) and $(COVERAGE_H).
3867         * coverage.c (compute_checksum): Use DECL_NAME not DECL_ASSEMBLER_NAME.
3868         * opts.c (common_handle_option): Enable tree-based value transforms.
3869         * toplev.c (process_options): Ditto.
3870         * value-prof.h (struct histogram_value_t): Redefine. "Adjust" below
3871         refers to references to this type.
3872         * tree-flow.h: (struct stmt_ann_d): Add histograms field.
3873         * rtl-profile.c (rtl_gen_interval_profiler): Adjust. Remove checks
3874         for may_be_more, may_be_less.
3875         (rtl_gen_pow2_profiler): Adjust.
3876         (rtl_gen_one_value_profiler_no_edge_manip): Adjust.
3877         (rtl_gen_one_value_profiler): Adjust.
3878         (rtl_gen_const_delta_profiler): Adjust.
3879         * tree-profile.c (tree_gen_interval_profiler): Implement.
3880         (tree_gen_pow2_profiler): Ditto.
3881         (tree_gen_one_value_profiler): Ditto.
3882         (tree_profiling): New.
3883         (pass_tree_profile): Reference it.
3884         * value-prof.c: Include tree-flow.h, tree-flow-inline.h, diagnostic.h,
3885         tree.h, gcov-io.h.
3886         (insn_divmod_values_to_profile): Rename to
3887         rtl_divmod_values_to_profile. Adjust.
3888         (insn_values_to_profile): Rename to rtl_values_to_profile. Adjust.
3889         (insn_prefetch_values_to_profile): Adjust.
3890         (rtl_value_profile_transformations): Adjust.
3891         (gen_divmod_fixed_value): Rename to rtl_divmod_fixed_value.
3892         (gen_mod_pow2): Rename to rtl_mod_pow2.
3893         (gen_mod_subtract): Rename to rtl_mod_subtract.
3894         (divmod_fixed_value_transform): Rename to
3895         rtl_divmod_fixed_value_transform.
3896         (mod_pow2_value_transform): Rename to rtl_mod_pow2_value_transform.
3897         (mod_subtract_transform): Rename to rtl_mod_subtract_transform.
3898         (rtl_find_values_to_profile): Adjust.
3899         (tree_value_profile_transformations): Implement.
3900         (tree_divmod_values_to_profile): New.
3901         (tree_values_to_profile): New.
3902         (tree_divmod_fixed_value): New.
3903         (tree_mod_pow2): New.
3904         (tree_mod_subtract): New.
3905         (tree_divmod_fixed_value_transform): New.
3906         (tree_mod_pow2_value_transform): New.
3907         (tree_mod_subtract_transform): New.
3908         (tree_find_values_to_profile): Implement.
3909         * profile.c (instrument_values):  Free histograms.
3910         (compute_value_histograms): Adjust. Implement tree version.
3911
3912 2005-03-29  Uros Bizjak  <uros@kss-loka.si>
3913
3914         * reg-stack.c (subst_stack_regs_pat): Handle <UNSPEC_FIST> case.
3915         * config/i386/i386.c (output_fix_trunc): Add new round_mode
3916         variable.  Output "fldcw" depending on round_mode.
3917         * config/i386/i386.md (UNSPEC_FIST): New.
3918         (fistdi2, fistdi2_with_temp, fist<mode>2, fist<mode>2_with_temp):
3919         New isns patterns to implement lrint and llrint built-ins as x87
3920         intrinsic function.
3921         (fistdi2, fist<mode>2 splitters): New splitters.
3922         (lrint<mode>2): New expanders.
3923
3924 2005-03-28  Ian Lance Taylor  <ian@airs.com>
3925
3926         * config/arc/arc.c (arc_output_function_epilogue): Pass prescan as
3927         0 when calling final_scan_insn.
3928
3929 2005-03-28  Jan Hubicka  <jh@suse.cz>
3930
3931         PR middle-end/20635
3932         * varasm.c (mark_decl_referenced): Do not mark extern inline functions
3933         as needed.
3934
3935         * tree-inline.c (estimate_num_insns_1): Use declaration to discover argument
3936         types where possible.
3937
3938 2005-03-26  Per Bothner  <per@bothner.com>
3939
3940         Make -f[no-]show-column also control non-cpp diagnostics.