OSDN Git Service

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