OSDN Git Service

* config/elfos.h (MAKE_DECL_ONE_ONLY): Redefined to stop DECL_WEAK from
[pf3gnuchains/gcc-fork.git] / gcc / ChangeLog
1 2005-03-08  Julian Brown  <julian@codesourcery.com>
2
3         * config/elfos.h (MAKE_DECL_ONE_ONLY): Redefined to stop DECL_WEAK
4         from being used for symbols with vague linkage when
5         HAVE_GAS_COMDAT_GROUP is true.
6
7 2005-03-08  J"orn Rennecke <joern.rennecke@st.com>
8
9         * jump.c (invert_jump_1): Don't call redirect_jump_1 with
10         nlabel == JUMP_LABEL (jump).
11
12 2005-03-08  Kazu Hirata  <kazu@cs.umass.edu>
13
14         * c-common.c, c-opts.c, combine.c, cse.c, dojump.c,
15         gimplify.c, tree-dfa.c, tree-ssa-loop-ivopts.c,
16         tree-ssa-phiopt.c, tree-ssa-pre.c, tree-ssa-sink.c,
17         tree-vect-analyze.c, tree.def, tree.h: Fix comment formatting.
18
19 2005-03-08  Alexey Neyman  <alex.neyman@auriga.ru>
20
21         PR c/14411
22         * calls.c (flags_from_decl_or_type): Handle eturns_twice' attribute.
23         * c-common.c (handle_returns_twice): New function.
24         (c_common_attribute_table): Declare eturns_twice' attribute.
25         * doc/extend.texi: Document eturns_twice' attribute.
26         * tree.h (DECL_IS_RETURNS_TWICE): New macro.
27         (struct tree_decl): Add returns_twice_flag.
28
29 2005-03-08  Kazu Hirata  <kazu@cs.umass.edu>
30
31         * tree-ssa-phiopt.c: Fix a comment typo.
32
33         * c-semantics.c, cfghooks.c, diagnostic.h, loop-iv.c,
34         loop-unswitch.c, modulo-sched.c, stor-layout.c, tree-gimple.h,
35         config/i386/cygwin1.c, doc/cfg.texi, doc/objc.texi: Update
36         copyright.
37
38 2005-03-08  Richard Henderson  <rth@redhat.com>
39
40         * config/alpha/alpha.c (code_for_builtin): Replace special-case
41         builtin codes with ctzdi2, clzdi2, popcountdi2.
42         (struct alpha_builtin_def): Add is_const.
43         (zero_arg_builtins, one_arg_builtins, two_arg_builtins): Init it.
44         (alpha_v8qi_u, alpha_v8qi_s, alpha_v4hi_u, alpha_v4hi_s): New.
45         (alpha_init_builtins): Init them.  Set nothrow and const attributes
46         on builtins.
47         (alpha_fold_builtin_cmpbge, alpha_fold_builtin_zapnot, 
48         alpha_fold_builtin_extxx, alpha_fold_builtin_insxx, 
49         alpha_fold_builtin_mskxx, alpha_fold_builtin_umulh, 
50         alpha_fold_vector_minmax, alpha_fold_builtin_perr,
51         alpha_fold_builtin_pklb, alpha_fold_builtin_pkwb,
52         alpha_fold_builtin_unpkbl, alpha_fold_builtin_unpkbw,
53         alpha_fold_builtin_cttz, alpha_fold_builtin_ctlz,
54         alpha_fold_builtin_ctpop, alpha_fold_builtin): New.
55         (TARGET_FOLD_BUILTIN): New.
56         * config/alpha/alpha.md (UNSPEC_CTTZ): Remove.
57         (UNSPEC_CTLZ, UNSPEC_CTPOP): Remove.
58         (ffsdi2): Use ctz.
59         (cttz, builtin_cttz, builtin_ctlz, builtin_ctpop): Remove.
60
61 2005-03-08  Ira Rosen  <irar@il.ibm.com>
62
63         PR tree-optimization/20122
64         * tree-vect-analyze.c (vect_object_analysis): Analyze initial
65         condition of access function instead of base.
66
67 2005-03-07  Jeff Law  <law@redhat.com>
68             Steven Bosscher  <stevenb@suse.de>
69
70         * tree-cfg.c (find_taken_edge_computed_goto): New function.
71         (find_taken_edge): Call find_taken_edge_computed_goto as
72         appropriate.  Allow any gimple invariant rather than just
73         INTEGER_CST for VAL.
74         (cleanup_control_flow): Cleanup a computed goto which has turned
75         into a simple goto.
76         (tree_merge_blocks): If block B has any forced labels, move
77         them to the start of block A.
78         * tree-ssa-dom.c (thread_across_edge): Allow threading across
79         computed gotos as well.
80         * tree-ssa-threadupdate.c (remove_ctrl_stmt_and_useless_edges): Handle
81         removal of unnecessary computed gotos too.
82         (lookup_redirection_data): Fix type of INSERT argument.  Callers
83         updated.
84
85 2005-03-08  Kazu Hirata  <kazu@cs.umass.edu>
86
87         * tree-ssa-phiopt.c: Update copyright.  Fix indentations.
88         Remove trailing spaces.
89
90         * gimplify.c (gimple_push_bind_expr, gimple_pop_bind_expr,
91         unshare_all_trees): Make them static.
92         * tree-gimple.h: Remove the corresponding prototypes.
93
94         * diagnostic.h: Remove unused prototype
95         debug_output_buffer.
96         * modulo-sched.c: Remove unused prototype
97         set_row_column_for_ps.
98
99         * tree-ssa-phiopt.c (tree_ssa_phiopt,
100         replace_phi_edge_with_variable): Remove unused variable i.
101
102 2005-03-07  Per Bothner  <per@bothner.com>
103
104         * tree.h (DECL_IS_BUILTIN): Reverted my patch from earlier today.
105
106 2005-03-06  Andrew Pinski  <pinskia@physics.uc.edu>
107         
108         PR tree-opt/17671
109         * tree-ssa-phiopt.c (tree_ssa_phiopt): Rewrite so we base the
110         bbs on the COND_EXPR instead of the PHI_NODEs.
111         (candidate_bb_for_phi_optimization): Remove.
112         (replace_phi_with_stmt): Rename to ...
113         (replace_phi_edge_with_variable): this and change so that we
114         replace the phi argument instead of removing the PHI.
115         (conditional_replacement): Change so we deal with PHI with more
116         than two arguments.
117         (value_replacement): Likewise.
118         (abs_replacement): Likewise.
119
120 2005-03-07  Aldy Hernandez  <aldyh@redhat.com>
121
122         * config/rs6000/rs6000-protos.h: Rename output_e500_flip_eq_bit to
123         output_e500_flip_gt_bit.
124
125         * config/rs6000/rs6000.c (print_operand): case D: Print out bit 31
126         as bit 31.
127         (rs6000_generate_compare): Fix logic to look at the correct bits.
128         (output_e500_flip_eq_bit): Rename to output_e500_flip_gt_bit.
129         Look at GT bit.
130         (rs6000_emit_sCOND): Rename gen_e500_flip_eq_bit to
131         gen_e500_flip_gt_bit.  Rename gen_move_from_CR_eq_bit to
132         gen_move_from_CR_gt_bit.
133
134         * config/rs6000/rs6000.md ("move_from_CR_eq_bit"): Change bit
135         ("move_from_CR_eq_bit"): Rename to move_from_CR_gt_bit.
136         (UNSPEC_MV_CR_EQ): Rename to UNSPEC_MV_CR_GT.
137
138         * config/rs6000/spe.md ("e500_cr_ior_compare"): New.
139         (E500_CR_IOR_COMPARE): New constant.
140
141 2005-03-08  Earl Chew <earl_chew@agilent.com>
142             David Billinghurst <David.Billinghurst@riotinto.com>
143
144         * config/i386/host-cygwin.c: New file to support precompiled
145         headers on cygwin
146         * config/i386/x-cygwin: Use host-cygwin.c on cygwin host
147         * config.host: Use above files for cygwin host.
148
149 2005-03-07  David Edelsohn  <edelsohn@gnu.org>
150
151         * fold-const.c (fold_binary_op_with_conditional_arg): Fix typo
152         ordering ops from earlier change.
153
154 2005-03-07  Per Bothner  <per@bothner.com>
155
156         Various fixes to allow us to again build if --enable-mapped-location:
157         * c-decl.c (finish_function): Use SET_EXPR_LOCATION instead of
158         unavailable annotate_with_file_line, if USE_MAPPED_LOCATION.
159         * tree-cfg.c (remove_bb): If USE_MAPPED_LOCATION, change type of
160         local variable loc. Change logic appropriately.
161         * tree-vect-transform.c (vect_finish_stmt_generation): Use
162         EXPR_LOCATION rather than EXPR_LOCUS if USE_MAPPED_LOCATION.    
163         * c-parser.c (c_parser_for_statement): Initialize loc variable.
164         * tree.h (DECL_IS_BUILTIN): Temporarily revert definition of
165         DECL_IS_BUILTIN in the USE_MAPPED_LOCATION because of jc1 issues.
166
167 2005-03-07  Richard Sandiford  <rsandifo@redhat.com>
168
169         PR rtl-optimization/19683
170         * reload1.c (choose_reload_regs): Pass the number of bits, not the
171         number of bytes, to smallest_int_for_mode.  Fix arguments to
172         REG_CANNOT_CHANGE_MODE_P.
173
174 2005-03-07  Eric Botcazou  <ebotcazou@libertysurf.fr>
175
176         * reorg.c (relax_delay_slots): Check that the jump is
177         conditional before trying to invert it.
178
179 2005-03-07  Kazu Hirata  <kazu@cs.umass.edu>
180
181         * bb-reorder.c (max_entry_frequency, max_entry_frequency):
182         Make them static.
183
184         * calls (stack_arg_under_construction): Make it static.
185
186         * flow.c (regs_live_at_setjmp): Make it static.
187         * flow.h: Remove the corresponding prototype.
188
189         * reload1.c (reload_startobj, reload_firstobj,
190         something_needs_operands_changed, reload_inherited,
191         reload_inheritance_insn, reload_override_in,
192         reload_spill_index): Make them static.
193
194         * recog.c (verify_changes): Make it static.
195         * recog.h: Remove the corresponding prototype.
196
197         * cfgbuild.c (find_sub_basic_blocks): Remove.
198         * basic-block.h: Remove the corresponding prototype.
199         * cfgexpand.c, cfgrtl.c: Don't mention find_sub_basic_blocks
200         in comments.
201         * doc/cfg.texi: Don't mention find_sub_basic_blocks.
202
203         * tree-ssa-operands.c (check_build_stmt): Remove.
204
205         * stor-layout.c (set_alignment): Remove.
206         * tree.h: Remove the corresponding prototype.
207
208         * tree-ssa-pre.c (has_abnormal_preds): Make it static.
209
210         * tree-ssa-dce.c (control_dependence_map,
211         visited_control_parents): Make them static.
212
213         * cfghooks.c (verify_flow_info): Remove local variable
214         num_bb_notes.
215
216         * cfgrtl.c (rtl_verify_flow_info_1): Remove local variable
217         last_bb_seen.
218
219         * loop-unswitch.c (unswitch_loop): Remove local variable src.
220
221 2005-03-07  David Billinghurst <David.Billinghurst@riotinto.com>
222
223         * config/i386/cygwin1.c(mingw_scan): Use xstrdup in calls to putenv.
224
225 2005-03-07  Joseph S. Myers  <joseph@codesourcery.com>
226
227         * config/ia64/hpux.h (LINK_SPEC): Add -z.
228         * config/ia64/ia64.c (ia64_function_value): Return a REG not a
229         PARALLEL for an empty structure.
230
231 2005-03-07  Kazu Hirata  <kazu@cs.umass.edu>
232
233         * fold-const.c (fold_binary): Remove handling of RANGE_EXPR.
234
235         * fold-const.c (fold_binary): Unroll the very first "for"
236         loop.
237
238 2005-03-06  David Edelsohn  <edelsohn@gnu.org>
239
240         * config/rs6000/predicates.md (branch_comparison_operator): Remove
241         redundant match_code test.
242         (scc_comparison_operator): Swap match_operand and match_code
243         tests.
244         (branch_positive_comparison_operator): Same.
245         (trap_comparison_operator): Use comparison_operator and swap with
246         match_code test.
247
248 2005-03-06  Marek Michalkiewicz  <marekm@amelek.gda.pl>
249
250         PR target/20288
251         * config/avr/avr.c (print_operand): Add 'p' and 'r'.
252         (out_movhi_r_mr): Read low byte of volatile MEM first.
253         (out_movhi_mr_r): Write high byte of volatile MEM first.
254
255 2005-03-05  Kazu Hirata  <kazu@cs.umass.edu>
256
257         * cselib.c (reg_values, reg_values_size): Make them static.
258
259         * cse.c (cse_reg_info_table): Make it static.
260
261         * fold-const.c (fold_unary): Use build1 instead of copy_node.
262
263 2005-03-06  Zdenek Dvorak  <dvorakz@suse.cz>
264
265         * cse.c (find_best_addr): Use canon_for_address.
266
267 2005-03-06  Kazu Hirata  <kazu@cs.umass.edu>
268
269         * cse.c (fold_rtx_subreg, fold_rtx_mem): New.
270         (fold_rtx): Call fold_rtx_subreg and fold_rtx_mem to handle
271         SUBREG and MEM, respectively.
272
273         * fold-const.c (fold_binary): Use code instead of t.
274
275         * fold-const.c (optimize_minmax_comparison): Take decomposed
276         arguments code, type, op0, and op1 instead of t.
277         (fold_binary): Update a call to optimize_minmax_comparison.
278
279         * fold-const.c (fold_range_test): Take decomposed arguments
280         code, type, op0, and op1 instead of t.
281         (fold_binary): Update a call to fold_range_test.
282
283         * fold-const.c (fold_binary_op_with_conditional_arg): Take
284         decomposed arguments code, type, op0, and op1 instead of t.
285         (fold_binary): Update a call to fold_range_test.
286
287 2005-03-06  Kazu Hirata  <kazu@cs.umass.edu>
288
289         * fold-const.c (fold_binary): Avoid directly using the original
290         expression t as much as possible.
291
292 2005-03-05  Kazu Hirata  <kazu@cs.umass.edu>
293
294         * c-semantics.c (build_stmt): Use TYPE_P instead of
295         IS_NON_TYPE_CODE_CLASS.
296         * tree.h (IS_NON_TYPE_CODE_CLASS): Remove.
297         (NON_TYPE_CHECK): Use TYPE_P instead of
298         IS_NON_TYPE_CODE_CLASS.
299
300         * fold-const.c (fold): Remove handling of binary expressions.
301
302 2005-03-05  James A. Morrison  <phython@gcc.gnu.org>
303
304         * doc/c-tree.texi: Wrap comments in @r{}.
305         * doc/cpp.texi: Likewise.
306         * doc/cppinternals.texi: Likewise.
307         * doc/extend.texi: Likewise.
308         * doc/md.texi: Likewise.
309         * doc/objc.texi: Likewise.
310         * doc/sourcebuild.texi: Likewise.
311         * doc/tm.texi: Likewise.
312         * doc/tree-ssa.texi
313
314 2005-03-05  Kazu Hirata  <kazu@cs.umass.edu>
315
316         * predict.c (apply_return_prediction): Standardize PHI chain
317         walking.
318         * tree-ssa.c (ssa_redirect_edge): Likewise.
319
320         * genattrtab.c, genemit.c, genoutput.c, genrecog.c,
321         gensupport.c, jump.c, tree-phinodes.c, unwind-dw2-fde-glibc.c:
322         Update copyright.
323
324         * tree-phinodes.c (remove_phi_node): Drop the last argument.
325         * tree-flow.h: Adjust the prototype for remove_phi_node.
326         * lambda-code.c (perfect_nestify): Adjust a call to
327         remove_phi_node.
328         * tree-cfg.c
329         (remove_phi_nodes_and_edges_for_unreachable_block): Likewise.
330         * tree-outof-ssa.c (eliminate_virtual_phis, remove_ssa_form):
331         Likewise.
332         * tree-ssa-dce.c (remove_dead_phis): Likewise.
333         * tree-ssa-loop-ivopts.c (remove_statement): Likewise.
334         * tree-ssa-pre.c (remove_dead_inserted_code): Likewise.
335         * tree-ssa.c (kill_redundant_phi_nodes): Likewise.
336
337         * combine.c (simplify_and_const_int): Use gen_int_mode instead
338         of GEN_INT (trunc_int_for_mode (...)).
339         * loop-iv.c (iv_number_of_iterations): Likewise.
340         * postreload.c (reload_cse_move2add): Likewise.
341         * simplify-rtx.c (simplify_const_unary_operation,
342         simplify_const_binary_operation): Likewise.
343         * stor-layout.c (get_mode_bounds): Likewise.
344
345         * fold-const.c (fold_binary): New.
346         (fold): Call fold_binary on binary expressions.
347
348 2005-03-05  Richard Sandiford  <rsandifo@redhat.com>
349
350         * doc/invoke.texi: Document new MIPS -msym32 and -mno-sym32 options.
351         * config/mips/mips.h (MASK_SYM32, TARGET_SYM32): New macros.
352         (TARGET_SWITCHES): Add -msym32 and -mno-sym32.
353         (ABI_HAS_64BIT_SYMBOLS): Set to false if TARGET_SYM32.
354         (ASM_SPEC): Pass down -msym32 and -mno-sym32.
355
356 2005-03-04  Devang Patel  <dpatel@apple.com>
357         
358         PR tree-optimization/18815
359         * tree-if-conv.c (combine_blocks): Adjust loop header edges for
360         loops with zero exit edges.
361
362 2005-03-04  Devang Patel  <dpatel@apple.com>
363
364         * doc/invoke.texi: Remove reference to webpage that does not exist.
365         
366 2005-03-04  John David Anglin  <dave.danglin@nrc-cnrc.gc.ca>
367             Joseph S. Myers  <joseph@codesourcery.com>
368
369         PR c++/19797
370         * pa/elf.h, pa64-hpux.h, som.h (ASM_OUTPUT_EXTERNAL_REAL): Define.
371         (ASM_OUTPUT_EXTERNAL): Call pa_hpux_asm_output_external.
372         * pa-protos.h (pa_hpux_asm_output_external): Add prototype.
373         * pa.c (get_plabel): Change argument to symbol_ref.  Call
374         maybe_get_identifier instead of get_identifier.
375         (pa_hpux_asm_output_external, pa_hpux_file_end): New functions.
376         (struct deferred_plabel): Replace name field with symbol field.
377         (TARGET_ASM_FILE_END): Define as pa_hpux_file_end if
378         ASM_OUTPUT_EXTERNAL_REAL is defined.
379         (output_global_address): Use output_addr_const for output of all
380         symbol_refs.
381         (output_deferred_plabels): Use symbol_ref instead of name for address
382         output.
383         * pa.h (SYMBOL_FLAG_REFERENCED, SYMBOL_REF_REFERENCED_P,
384         ASM_OUTPUT_SYMBOL_REF): New macros.
385         * som.h (ASM_OUTPUT_EXTERNAL_LIBCALL): Use assemble_name_raw.  Update
386         comment.
387         (ASM_WEAKEN_LABEL): Use targetm.asm_out.globalize_label to globalize
388         label.
389
390 2005-03-05  Joseph S. Myers  <joseph@codesourcery.com>
391
392         * config.gcc (hppa*64*-*-hpux11*): Use pa/pa-hpux1111.h for
393         *-*-hpux11.[1-9]*, not just for *-*-hpux11.11.
394
395 2005-03-04  Jeff Law  <law@redhat.com>
396
397         * basic-block.h (rediscover_loops_after_threading): Declare.
398         * tree-ssa-dom.c: Include cfgloop.h.
399         (tree_ssa_dominator_optimize): Discover loops and some basic
400         properties.  Remove forwarder blocks recreated by loop header
401         canonicalization.  Also mark backedges in the CFG.
402         * tree-ssa-threadupdate.c: Include cfgloop.h
403         (rediscover_loops_after_threading): Define.
404         (struct local_info): New field, JUMP_THREADED.
405         (prune_undesirable_thread_requests): New function.
406         (redirect_edges): Clear EDGE_ABNORMAL.  If edges were threaded
407         then record that fact for the callers of redirct_edges.
408         (thread_block): If BB has incoming backedges, then call
409         prune_undesirable_thraed_requests.    Note when we are
410         going to have to rediscover loop information.  Return a
411         boolean indicating if any jumps were threaded.
412         (thread_through_all_blocks): Bubble up boolean indicating
413         if any jumps were threaded.
414         * Makefile.in (tree-ssa-dom.o): Depend on cfgloop.h
415         (tree-ssa-threadupdate.o): Similarly.
416
417 2005-03-04  Kazu Hirata  <kazu@cs.umass.edu>
418
419         * fold-const.c (fold_ternary): Unroll the "for" loop to
420         extract operands.  
421
422 2005-03-04  Andrew Haley  <aph@redhat.com>
423
424         * unwind-dw2-fde-glibc.c (struct
425         unw_eh_callback_data.check_cache): New field.
426         (frame_hdr_cache): New.
427         (_Unwind_IteratePhdrCallback): Add ext_dl_phdr_info.
428         Cache frame header info.
429
430 2005-03-04  Richard Sandiford  <rsandifo@redhat.com>
431
432         * rtl.h (copy_rtx_ptr_loc, print_rtx_ptr_loc, join_c_conditions)
433         (print_c_condition): Declare.
434         * read-rtl.c (ptr_loc): New structure.
435         (ptr_locs, ptr_loc_obstack, joined_conditions)
436         (joined_conditions_obstack): New variables.
437         (leading_ptr_hash, leading_ptr_eq_p, set_rtx_ptr_loc)
438         (get_rtx_ptr_loc, copy_rtx_ptr_loc, print_rtx_ptr_loc)
439         (join_c_conditions, print_c_condition): New functions.
440         (apply_macro_to_string): Associate the new string with the same
441         source location as the old one.
442         (add_condition_to_string): Use join_c_conditions.
443         (read_string): Use set_rtx_ptr_loc to record a filename and line
444         number for the string.
445         (read_rtx): Initialize the new variables above.
446         * genattrtab.c (write_test_expr, write_attr_value): Use
447         print_c_condition.
448         * genconditions.c (write_header): Don't define MAYBE_EVAL.  Move its
449         comment above the GCC_VERSION check.
450         (write_one_condition): Use print_rtx_ptr_loc and print_c_condition.
451         Inline the definition of MAYBE_EVAL.
452         * genemit.c (gen_expand, gen_split): Use print_rtx_ptr_loc.
453         * genoutput.c (process_template): Likewise.
454         * genpreds.c (write_predicate_subfunction): Likewise.
455         (write_predicate_expr): Use print_c_condition.
456         * genrecog.c (write_cond): Likewise.
457         * gensupport.c (process_rtx): Use join_c_conditions to join the
458         conditions of a define_insn_and_split.  Record a source location
459         for the string after the "&&".
460         (alter_test_for_insn): Use join_c_conditions.
461
462 2005-03-04  Andrew Pinski  <pinskia@physics.uc.edu>
463
464         Revert for now:
465         2005-03-03  James A. Morrison  <phython@gcc.gnu.org>
466         PR tree-optimization/15784
467         * fold-const.c (fold): Fold ~A + 1 to -1.  Fold -A - 1
468         and -1 - A to ~A.
469
470 2005-03-04  Ben Elliston  <bje@au.ibm.com>
471
472         * gcc.c (option_map): Add --coverage.
473         (LINK_COMMAND_SPEC): Pass -lgcov for `coverage'.
474         (cc1_options): Pass -fprofile-arcs -ftest-coverage for `coverage'.
475         * config/darwin.h: Pass -lgcov for `coverage'.
476         * doc/invoke.texi (Debugging Options): Document --coverage.
477
478 2005-03-04  Kazu Hirata  <kazu@cs.umass.edu>
479
480         * gcse.c (bypass_block): Use find_edge wherever possible.
481
482 2005-03-03  Daniel Berlin <dberlin@dbrelin.org>
483
484         Fix PR debug/20253
485         
486         * c-opts.c (c_common_parse_file): Call start_source_file
487         and end_source_file at the approriate times.
488
489         * dwarf2out.c (dwarf2out_finish): Don't auto-end
490         the main file, it will be done for us now.
491         
492 2005-03-04  Kazu Hirata  <kazu@cs.umass.edu>
493
494         * fold-const.c (fold_ternary): New.
495         (fold): Call fold_ternary on ternary expressions.  Remove
496         handling of ternary expressions.
497
498 2005-03-03  James A. Morrison  <phython@gcc.gnu.org>
499
500         PR tree-optimization/15784
501         * fold-const.c (fold): Fold ~A + 1 to -1.  Fold -A - 1
502         and -1 - A to ~A.
503
504 2005-03-03  David Edelsohn  <edelsohn@gnu.org>
505
506         * config/rs6000/predicates.md (branch_comparison_operator):
507         Convert from C block to conditional format.
508
509 2005-03-03  Jan Hubicka  <jh@suse.cz>
510
511         * tree-dfa.c (add_referenced_var): Don't walk initializer of external
512         and non-constant public variables.
513
514 2005-03-03  Kazu Hirata  <kazu@cs.umass.edu>
515
516         * tree-cfg.c (stmt_starts_bb_p): Clean up by replacing code
517         with LABEL_EXPR.
518
519         * cfgexpand.c (construct_exit_block): Use EDGE_PRED instead of
520         EDGE_I.
521
522         * tree-phinodes.c (remove_phi_node): Clean up by factoring out
523         calls to release_ssa_name and release_phi_node.
524
525         * fold-const.c (fold): Remove handling of unary expressions.
526
527         * fold-const.c (fold_unary): Avoid directly using the original
528         expression t as much as possible.
529
530 2005-03-03  Roger Sayle  <roger@eyesopen.com>
531             Andrew Pinski  <pinskia@physics.uc.edu>
532
533         * jump.c (redirect_exp_1): If nlabel is a NULL pointer create a
534         RETURN rtx, and not a LABEL_REF containing a NULL pointer.
535
536 2005-03-03  Hans-Peter Nilsson  <hp@axis.com>
537
538         Describe special registers SRP and MOF as allocatable registers.
539         * config/cris/cris.c (cris_md_asm_clobbers): New function.
540         (TARGET_MD_ASM_CLOBBERS): Define to cris_md_asm_clobbers.
541         (cris_conditional_register_usage): Enable CRIS_MOF_REGNUM if
542         TARGET_HAS_MUL_INSNS.
543         (cris_print_operand) <case 'd'>: New case.
544         <case REG>: Allow CRIS_MOF_REGNUM and CRIS_SRP_REGNUM.
545         * config/cris/cris.h (CRIS_PC_REGNUM, CRIS_SRP_REGNUM): Don't
546         define.
547         (FIRST_PSEUDO_REGISTER, FIXED_REGISTERS, CALL_USED_REGISTERS)
548         (REG_ALLOC_ORDER): Update for MOF.
549         (enum reg_class): New members MOF_REGS, GENERAL_REGS and
550         SPECIAL_REGS.
551         (GENERAL_REGS): No longer a define of ALL_REGS.
552         (REGNO_REG_CLASS, REG_CLASS_CONTENTS, REG_CLASS_NAMES)
553         (PREFERRED_RELOAD_CLASS, REGISTER_NAMES, DBX_REGISTER_NUMBER):
554         Adjust accordingly.
555         (CRIS_SPECIAL_REGS_CONTENTS): New macro.
556         (REG_CLASS_FROM_LETTER): Allocate 'h' and 'x'.
557         (SECONDARY_RELOAD_CLASS): Define.
558         (STACK_POINTER_REGNUM): Define as CRIS_SP_REGNUM.
559         (FRAME_POINTER_REGNUM): Define as CRIS_FP_REGNUM.
560         (ARG_POINTER_REGNUM): Define as CRIS_AP_REGNUM.
561         (STATIC_CHAIN_REGNUM): Define as CRIS_STATIC_CHAIN_REGNUM.
562         (REGISTER_MOVE_COST): Define.
563         (PIC_OFFSET_TABLE_REGNUM): Define in terms of CRIS_GOT_REGNUM.
564         * config/cris/cris.md (CRIS_GOT_REGNUM, CRIS_STATIC_CHAIN_REGNUM)
565         (CRIS_FP_REGNUM, CRIS_SP_REGNUM, CRIS_SRP_REGNUM, CRIS_AP_REGNUM)
566         (CRIS_MOF_REGNUM): New define_constants.
567         ("*movsi_internal", "movhi", "movqi", "movsf"): Add alternatives for
568         special registers.
569         ("reload_inhi", "reload_outhi", "reload_inqi", "reload_outqi"):
570         New patterns.
571         ("umulhisi3", "umulqihi3", "mulsi3", "mulqihi3", "mulhisi3")
572         ("mulsidi3", "umulsidi3", "smulsi3_highpart", "umulsi3_highpart"):
573         Adjust for MOF being properly described as a register.
574         (indir_to_reg_split): Name this split.  Conditionalize on the
575         destination register being a general register.
576         (movei): Conditionalize on on operands 0 and 1 having the same
577         register class.
578
579 2005-03-03  Alan Modra  <amodra@bigpond.net.au>
580
581         PR target/20277
582         * config/rs6000/rs6000.c (rs6000_override_options): Don't allow
583         -mcpu to override any other explicitly given flags.
584
585 2005-03-02  J"orn Rennecke <joern.rennecke@st.com>
586
587         * recog.c (verify_changes, confirm_change_group): New functions,
588         broken out of apply_change_group.
589         (apply_change_group): Use them.
590         * recog.h (verify_change, confirm_change_group): Declare.
591         * rtl.h (redirect_jump_2): Declare.
592         * jump.c (redirect_exp, invert_exp): Delete.
593         (invert_exp_1): Take second parameter.  Return value.  Changed caller.
594         (redirect_jump_2): New function, broken out of redirect_jump.
595         (redirect_jump): Use redirect_jump_1 and redirect_jump_2.
596         (invert_jump): Use invert_jump_1 and redirect_jump_2.
597         * ifcvt.c (dead_or_predicable): Use redirect_jump_2.
598
599 2005-03-02  Geoffrey Keating  <geoffk@apple.com>
600
601         * varasm.c (named_section): Use xstrdup rather than doing it by
602         hand.
603
604         * config/darwin8.h (LIB_SPEC): Switch -lmx and -lSystem.
605
606 2005-03-02  Devang Patel  <dpatel@apple.com>
607         
608         Undo PR tree-optimization/18815 fix.
609         
610 2005-03-02  Devang Patel  <dpatel@apple.com>
611
612         PR tree-optimization/18815
613         * tree-if-conv.c (combine_blocks): Adjust loop header edges for
614         loops with zero exit edges.
615         
616 2005-03-02  Kazu Hirata  <kazu@cs.umass.edu>
617
618         * cfg.c (connect_src, connect_dest, disconnect_src,
619         disconnct_dest): New.
620         (unchecked_make_edge, remove_edge, redirect_edge_succ,
621         redirect_edge_pred): Use the new functions.
622
623         * tree-ssa-dom.c (tree_ssa_dominator_optimize): Call
624         free_dominance_info only when needed.
625
626 2005-03-02  David Edelsohn  <edelsohn@gnu.org>
627
628         PR target/20276
629         * config/rs6000/predicates.md (reg_or_cint64_operand): Fix typo.
630         (reg_or_sub_cint64_operand): Same.
631
632 2005-03-02  Jeff Law  <law@redhat.com>
633
634         * tree-ssa-dom.c (tree_ssa_dominator_optimize): Fix setting of
635         CFG_ALTERED in the main DOM iteration loop.
636
637 2005-03-02  Mark Mitchell  <mark@codesourcery.com>
638
639         PR c++/19916
640         * varasm.c (initializer_constant_valid_p): Allow conversions
641         between OFFSET_TYPEs.  Tidy.
642
643 2005-03-02  Hans-Peter Nilsson  <hp@axis.com>
644
645         * config/cris/cris.md ("return"): Remove epilogue delay list
646         sanity check.
647
648 2005-03-02  Daniel Jacobowitz  <dan@codesourcery.com>
649
650         * config/arm/linux-elf.h (ARM_FUNCTION_PROFILER): Do not use (PLT)
651         for Thumb.
652         * config/arm/netbsd-elf.h (ARM_FUNCTION_PROFILER): Likewise.
653
654 2005-03-02  Kazu Hirata  <kazu@cs.umass.edu>
655
656         * cfgloop.h, cfgloopanal.c, cfgloopmanip.c, conflict.c,
657         loop-init.c, loop-unroll.c, print-tree.c, reg-notes.def,
658         config/m68k/m68k.c, config/mips/mips.h,
659         config/rs6000/rs6000-protos.h, doc/contrib.texi,
660         doc/include/gcc-common.texi: Update copyright.
661
662         PR middle-end/18029 and PR middle-end/18030
663         * expr.c (optimize_bitfield_assignment_op): Add a special case
664         to handle BIT_IOR_EXPR and BIT_XOR_EXPR.
665
666         * fold-const.c (fold_unary): New.
667         (fold): Call fold_unary on unary expressions.
668
669 2005-03-02  Richard Guenther  <rguenth@gcc.gnu.org>
670
671         * cgraph.h (struct cgraph_edge): Add prev_caller and
672         prev_callee fields.
673         (cgraph_node_remove_callees): Export.
674         * cgraph.c (cgraph_create_edge): Initialize prev_caller
675         and prev_callee.
676         (cgraph_edge_remove_callee): New function.
677         (cgraph_edge_remove_caller): Likewise.
678         (cgraph_remove_edge): Use.
679         (cgraph_redirect_edge_callee): Likewise.
680         (cgraph_node_remove_callees): New function.
681         (cgraph_node_remove_callers): Likewise.
682         (cgraph_remove_node): Use.
683         * tree-optimize.c (tree_rest_of_compilation): Use
684         cgraph_node_remove_callees instead of manual loop.
685         * cgraphunit.c (cgraph_finalize_function): Likewise.
686         (cgraph_expand_function): Likewise.
687         (cgraph_remove_unreachable_nodes): Likewise.
688
689 2005-03-02  Joseph S. Myers  <joseph@codesourcery.com>
690
691         PR c/8927
692         * c-tree.h (undeclared_variable, build_external_ref): Add extra
693         argument.
694         * c-decl.c (undeclared_variable): Take location as argument.
695         * c-typeck.c (build_external_ref): Likewise.
696         * c-parser.c (c_parser_postfix_expression): Pass location of
697         identifier to build_external_ref.
698
699 2005-03-01  David Edelsohn  <edelsohn@gnu.org>
700
701         * config/rs6000/rs6000.md (cceq splitter): Use operand mode, not
702         CCEQ mode for branch_positive_comparison_operator test.
703         * config/rs6000/predicates (branch_comparison_operator): Revert to
704         define_predicate.
705         (scc_comparison_operator): Same.
706         (branch_positive_comparison_operator): Same.
707
708 2005-03-01  Hans-Peter Nilsson  <hp@axis.com>
709
710         * config/cris/cris.c (cris_eligible_for_epilogue_delay)
711         (cris_delay_slots_for_epilogue): Remove.
712         (save_last): Move into cris_target_asm_function_epilogue.
713         (cris_target_asm_function_epilogue): Remove tests for file being
714         NULL.
715         * config/cris/cris-protos.h (cris_eligible_for_epilogue_delay)
716         (cris_delay_slots_for_epilogue): Remove prototypes.
717         * config/cris/cris.h (DELAY_SLOTS_FOR_EPILOGUE)
718         (ELIGIBLE_FOR_EPILOGUE_DELAY): Do not define.
719
720 2005-03-01  David Edelsohn  <edelsohn@gnu.org>
721
722         * config/rs6000/predicates.md (branch_comparison_operator): Change
723         to define_special_predicate.
724         (scc_comparison_operator): Same.
725         (branch_positive_comparison_operator): Same.
726
727 2005-03-01  Daniel Berlin <dberlin@dberlin.org>
728
729         * Makefile.in (tree-ssa-sink.o): New.
730         (OBJS-common): Add tree-ssa-sink.o.
731         * common.opt: Add -ftree-sink
732         * opts.c (decode_options): flag_tree_sink is set at O1 or higher.
733         * timevar.def (TV_TREE_SINK): new timevar.
734         * tree-flow.h (is_hidden_global_store): Prototype.
735         * tree-optimize.c (init_tree_optimization_passes): Add
736         pass_sink_code.
737         * tree-pass.h (pass_sink_code): New.
738         * tree-ssa-dce.c (mark_stmt_if_obviously_necessary): Move checking
739         for non-obvious global store store to is_hidden_global_store, and
740         call that new function.
741         * tree-ssa-sink.c: New file.
742         * doc/invoke.texi: Document -fdump-tree-sink and -ftree-sink.
743         * doc/passes.texi: Document forward store motion.
744         * testsuite/gcc.dg/tree-ssa/ssa-sink-1.c: New test
745         * testsuite/gcc.dg/tree-ssa/ssa-sink-2.c: New test
746         * testsuite/gcc.dg/tree-ssa/ssa-sink-3.c: New test
747         * testsuite/gcc.dg/tree-ssa/ssa-sink-4.c: New test
748
749 2005-03-01  Per Bothner  <per@bothner.com>
750
751         * diagnostic.c (diagnostic_build_prefix): If USE_MAPPED_LOCATION
752         and we have a non-zero column-number, add it to the message.
753         Also factor out the diagnostic_kind_text.
754
755 2005-03-01  Zdenek Dvorak  <dvorakz@suse.cz>
756
757         * cfgloop.c (flow_loop_entry_edges_find, flow_loop_exit_edges_find,
758         flow_loop_pre_header_scan, flow_loop_pre_header_find,
759         flow_loop_scan): Removed.
760         (flow_loop_dump): Do not dump removed fields.
761         (flow_loop_free): Do not free removed fields.
762         (flow_loops_find): Flags argument removed.  Do not call flow_loop_scan.
763         (loop_exit_edge_p): New function.
764         * cfgloop.h (struct loop): Removed fields pre_header, pre_header_edges,
765         num_pre_header_edges, entry_edges, num_entries, exit_edges,
766         num_exits, exits_doms.
767         (LOOP_TREE, LOOP_PRE_HEADER, LOOP_ENTRY_EDGES, LOOP_EXIT_EDGES,
768         LOOP_EDGES, LOOP_ALL): Removed.
769         (flow_loop_scan): Declaration removed.
770         (loop_exit_edge_p, mark_loop_exit_edges): Declare.
771         * cfgloopmanip.c (create_loop_notes): Do not pass flags to
772         flow_loops_find.
773         * ifcvt.c (mark_loop_exit_edges): Moved to cfgloopanal.c.
774         (if_convert): Call flow_loops_find and flow_loops_free
775         when calling mark_loop_exit_edges.
776         * cfgloopanal.c (mark_loop_exit_edges): Moved from
777         ifcvt.c.  Removed the flow_loops_find, flow_loops_free and
778         free_dominance_info calls.
779         * loop-init.c (flow_loops_find): Ditto.
780         * passes.c (rest_of_handle_branch_prob): Ditto.
781         * lambda-code.c (perfect_nestify): Do not call flow_loops_find.
782         * loop-unroll.c (analyze_insns_in_loop): Do not use
783         EDGE_LOOP_EXIT.
784         * predict.c (predict_loops): Do not call flow_loop_scan.
785         Use get_loop_exit_edges.
786         (tree_estimate_probability): Do not pass flags to flow_loops_find.
787         * tree-if-conv.c (bb_with_exit_edge_p): Take loop as argument.
788         Do not use EDGE_LOOP_EXIT.
789         (tree_if_convert_cond_expr, if_convertible_modify_expr_p): Pass loop
790         to bb_with_exit_edge_p.
791         (if_convertible_loop_p): Do not call flow_loop_scan.  Use
792         loop->single_exit.  Do not use EDGE_LOOP_EXIT.  Pass loop
793         to bb_with_exit_edge_p.
794         (combine_blocks): Pass loop to bb_with_exit_edge_p.  Do not use
795         EDGE_LOOP_EXIT.
796         * tree-loop-linear.c (linear_transform_loops): Do not call
797         flow_loop_scan.  Use loop->single_exit.
798         * tree-vect-analyze.c (vect_analyze_operations): Use loop->single_exit.
799         (vect_analyze_loop_form): Do not call flow_loop_scan.
800         * tree-vect-transform.c (vect_update_ivs_after_vectorizer): Use
801         loop->single_exit.
802         (vect_do_peeling_for_loop_bound): Use loop_preheader_edge and
803         loop->single_exit.
804         * tree-vectorizer.c (slpeel_update_phis_for_duplicate_loop,
805         slpeel_make_loop_iterate_ntimes, slpeel_can_duplicate_loop_p,
806         slpeel_tree_duplicate_loop_to_edge_cfg,
807         slpeel_verify_cfg_after_peeling, slpeel_tree_peel_loop_to_edge):
808         Use loop_preheader_edge and loop->single_exit.  Do not call
809         flow_loop_scan.
810
811 2005-03-01  Nick Clifton  <nickc@redhat.com>
812
813         * config/arm/arm.c (thumb_find_work_register): Check all of the
814         argument registers to see if they are free, and a couple of
815         special cases where the last argument register but can be proved
816         to be available during the function's prologue.
817         (print_multi_reg, arm_compute_save_reg0_reg12_mask,
818         output_return_instruction, emit_multi_reg_push, thumb_pushpop,
819         thumb_unexpanded_epilogue): Use unsigned long as the type for the
820         register bit-mask.
821         (thumb_compute_save_reg_mask): Likewise.  Also use
822         thumb_find_work_register() to ensure that there is agreement about
823         which work register is going to be used in the prologue.
824         (thumb_output_function_prologue): Use unsigned long as the type
825         for the register bit-mask.  Also delay pushing the link register if
826         other high registers are going to be pushed.
827         (thumb_compute_save_reg_mask, emit_multi_reg_push,
828         print_multi-reg, number_of_first_bit_set, thumb_pushpop): Remove
829         redundant prototypes.
830
831 2005-02-28  John David Anglin  <dave.anglin#nrc-cnrc.gc.ca>
832
833         PR target/19819
834         * pa.h (GO_IF_LEGITIMATE_ADDRESS): Allow allow hard registers during
835         and after reload in REG+REG indexed addresses without REG_POINTER
836         set in the base and not set in the index.
837
838 2005-02-28  Kaz Kojima  <kkojima@gcc.gnu.org>
839
840         * config/sh/linux.h (MD_EXEC_PREFIX, MD_STARTFILE_PREFIX):
841         Don't undefine here.
842         (HANDLE_PRAGMA_PACK_PUSH_POP): Delete.
843         (NO_IMPLICIT_EXTERN_C, CPLUSPLUS_CPP_SPEC): Likewise.
844         (TARGET_OS_CPP_BUILTINS): Use LINUX_TARGET_OS_CPP_BUILTINS.
845         (LIB_SPEC, LINK_EH_SPEC, STARTFILE_SPEC, ENDFILE_SPEC,
846         LINK_GCC_C_SEQUENCE_SPEC, USE_LD_AS_NEEDED, TARGET_C99_FUNCTIONS):
847         Delete.
848         * config.gcc (sh*-*-linux*): Use config/linux.h.
849
850 2005-02-28  Dale Johannesen  <dalej@apple.com>
851             Stan Shebs  <shebs@apple.com>
852
853         Rewrite of 64-bit Darwin structure-by-value pass/return.
854         * config/rs6000/rs6000.h (CUMULATIVE_ARGS): New fields
855         intoffset, use_stack, named.
856         * config/rs6000/rs6000.c (rs6000_darwin64_function_arg):  Remove.
857         (rs6000_darwin64_record_arg_advance_flush):  New.
858         (rs6000_darwin64_record_arg_advance_recurse): New.
859         (rs6000_darwin64_record_arg_flush):  New.
860         (rs6000_darwin64_record_arg_recurse):  New.
861         (rs6000_darwin64_record_arg):  New.
862         (rs6000_return_in_memory):  Remove AGGREGATE_TYPE_P check.
863         (function_arg_boundary):  Handle 128-bit aligned structs.
864         (function_arg_advance):  Rewrite darwin64 struct handling.
865         (function_arg):  Call rs6000_darwin64_record_arg.
866         (function_arg_partial_nregs):  Handle darwin64 structs.
867         (rs6000_darwin64_function_value):  Remove.
868         (rs6000_function_value):  Call rs6000_darwin64_record_arg.
869
870 2005-02-28  Roger Sayle  <roger@eyesopen.com>
871
872         PR tree-optimization/20216
873         * tree-chrec.c (tree_fold_factorial): Delete.
874         (tree_fold_binomial): Change argument list to take a return type
875         and change the type of K to unsigned int.  Rewrite to avoid explicit
876         evaluation of factorials, and (recursively) calling fold to perform
877         compile-time arithmetic.  Return NULL on (internal) overflow.
878         (chrec_evaluate): Change type of K to an unsigned int.  Avoid
879         calling tree_fold_binomial unnecessarily.  Return chrec_dont_know
880         if any intermediate calculation overflows.
881         (chrec_apply): Update call to chrec_evaluate.
882
883 2005-02-28  James E Wilson  <wilson@specifixinc.com>
884
885         * config/mips/mips.h (NO_PROFILE_COUNTERS): Define.
886
887 2005-02-28  Joseph S. Myers  <joseph@codesourcery.com>
888
889         PR c/20245
890         * c-parser.c (c_parser_compound_statement): Return error_mark_node
891         instead of NULL_TREE on error.
892
893 2005-02-28  David Edelsohn  <edelsohn@gnu.org>
894
895         * config/rs6000/rs6000.c (EASY_VECTOR_15): Remove.
896         (EASY_VECTOR_15_ADD_SELF): Remove.
897         (num_insns_constant_wide): Not static.
898         (validate_condition_mode): Not static.
899         (toc_relative_expr_p): Not static.
900         (legitimate_indirect_address_p): Not static.
901         (macho_lo_sum_memory_operand): Not static.
902         (invalid_e500_subreg): Not static.
903         (easy_vector_same): Not static.
904         (easy_vector_splat_const): Not static.
905         (RS6000_SYMBOL_REF_TLS_P): Remove.
906         (any_operand): Delete.
907         (any_parallel_operand): Delete.
908         (count_register_operand): Delete.
909         (altivec_register_operand): Delete.
910         (xer_operand): Delete.
911         (s8bit_cint_operand): Delete.
912         (short_cint_operand): Delete.
913         (u_short_cint_operand): Delete.
914         (non_short_cint_operand): Delete.
915         (exact_log2_cint_operand): Delete.
916         (gpc_reg_operand): Delete.
917         (cc_reg_operand): Delete.
918         (cc_reg_not_cr0_operand): Delete.
919         (reg_or_short_operand): Delete.
920         (reg_or_neg_short_operand): Delete.
921         (reg_or_aligned_short_operand): Delete.
922         (reg_or_u_short_operand): Delete.
923         (reg_or_cint_operand): Delete.
924         (reg_or_arith_cint_operand): Delete.
925         (reg_or_add_cint64_operand): Delete.
926         (reg_or_sub_cint64_operand): Delete.
927         (reg_or_logical_cint_operand): Delete.
928         (got_operand): Delete.
929         (got_no_const_operand): Delete.
930         (easy_fp_constant): Delete.
931         (easy_vector_constant): Delete.
932         (easy_vector_constant_add_self): Delete.
933         (zero_constant): Delete.
934         (zero_fp_constant): Delete.
935         (volatile_mem_operand): Delete.
936         (offsettable_mem_operand): Delete.
937         (mem_or_easy_const_operand): Delete.
938         (add_operand): Delete.
939         (non_add_cint_operand): Delete.
940         (logical_operand): Delete.
941         (non_logical_cint_operand): Delete.
942         (mask_operand): Delete.
943         (mask_operand_wrap): Delete.
944         (mask64_operand): Delete.
945         (mask64_2_operand): Delete.
946         (and64_operand): Delete.
947         (and64_2_operand): Delete.
948         (and_operand): Delete.
949         (reg_or_mem_operand): Delete.
950         (lwa_operand): Delete.
951         (symbol_ref_operand): Delete.
952         (call_operand): Delete.
953         (current_file_function_operand): Delete.
954         (input_operand): Delete.
955         (rs6000_nonimmediate_operand): Delete.
956         (rs6000_tls_symbol_ref): Delete.
957         (save_world_operation): Delete.
958         (restore_world_operation): Delete.
959         (load_multiple_operation): Delete.
960         (store_multiple_operation): Delete.
961         (vrsave_operation): Delete.
962         (mfcr_operation): Delete.
963         (mtcrf_operation): Delete.
964         (lmw_operation): Delete.
965         (stmw_operation): Delete.
966         (branch_comparison_operator): Delete.
967         (branch_positive_comparison_operator): Delete.
968         (scc_comparison_operator): Delete.
969         (trap_comparison_operator): Delete.
970         (boolean_operator): Delete.
971         (boolean_or_operator): Delete.
972         (min_max_operator): Delete.
973         * config/rs6000/rs6000.h (RS6000_SYMBOL_REF_TLS_P): Move to here.
974         (EASY_VECTOR_15): Moved to here.
975         (EASY_VECTOR_15_ADD_SELF): Move to here.
976         (PREDICATE_CODES): Delete.
977         * config/rs6000/rs6000-protos.h: Delete predicate functions.
978         Declare functions no longer static.
979         * config/rs6000/predicates.md: New.
980         * config/rs6000/rs6000.md: Include predicates.md
981
982 2005-02-28  Kazu Hirata  <kazu@cs.umass.edu>
983
984         * calls.c (emit_call_1): Don't use  REG_ALWAYS_RETURN.
985         (emit_library_call_value_1): Don't use LCT_ALWAYS_RETURN and
986         REG_ALWAYS_RETURN.
987         * cfgrtl.c (need_fake_edge_p): Likewise.
988         * combine.c (distribute_notes): Likewise.
989         * emit-rtl.c (try_split): Likewise.
990         * recog.c (peephole2_opimize): Likewise.
991         * reg-notes.def (ALWAYS_RETURN): Remove.
992         * rtl.h (LCT_ALWAYS_RETURN): Remove.
993         * tree-cfg.c (need_fake_edge_p): Don't use ECF_ALWAYS_RETURN.
994         * tree.h (ECF_ALWAYS_RETURN): Remove.
995
996 2005-02-28  Roger Sayle  <roger@eyesopen.com>
997
998         PR middle-end/19874
999         * tree-ssa.c (tree_ssa_useless_type_conversion_1): A conversion
1000         between different machine modes is never a "useless" conversion.
1001
1002 2005-02-28  Geert Bosch  <bosch@gnat.com>
1003
1004         PR ada/15977
1005         * doc/contrib.texi: List contributors for Ada front end
1006
1007 2005-02-28 Paolo Bonzini <bonzini@gnu.org>
1008
1009         * simplify-rtx.c (simplify_unary_operation_1,
1010         simplify_const_unary_operation): New, extracted from...
1011         (simplify_unary_operation): ... this one.
1012         (simplify_binary_operation_1,
1013         simplify_const_binary_operation): New, extracted from...
1014         (simplify_binary_operation): ... this one.
1015         * rtl.h (simplify_const_unary_operation,
1016         simplify_const_binary_operation): Add prototypes.
1017
1018 2005-02-28  Julian Brown  <julian@codesourcery.com>
1019
1020         * config/elfos.h: Revert my patch from 2005-02-25 since it broke
1021         building libjava and caused PR regression/20228.
1022
1023 2005-02-28  Paolo Bonzini  <bonzini@gnu.org>
1024
1025         PR bootstrap/17383
1026         * Makefile.in (host_subdir): New.
1027         (build_objdir): New.  Replace ../$(build_subdir) with it throughout.
1028         * configure: Regenerate.
1029
1030 2005-02-27  Zack Weinberg  <zack@codesourcery.com>
1031
1032         * config/alpha/t-osf4, config/arm/t-netbsd, config/ia64/t-hpux
1033         * config/pa/t-hpux-shlib (SHLIB_INSTALL): Create the
1034         installation directory first.
1035
1036 2005-02-28  Hans-Peter Nilsson  <hp@axis.com>
1037
1038         PR target/19065.
1039         * config/cris/cris.h (EXTRA_CONSTRAINT_Q): Accept only (mem (reg)),
1040         not including (reg). Do not check for reg being CRIS_PC_REGNUM.
1041         (EXTRA_MEMORY_CONSTRAINT): Define as 'Q'.
1042         * config/cris/cris.md: Tweak comments referring to Q.
1043         ("cmpsi", "cmphi", "cmpqi", "*movsi_internal", "movhi")
1044         ("movstricthi", "movqi", "movstrictqi", "movsf", "addsi3")
1045         ("addhi3", "addqi3", "subsi3", "subhi3", "subqi3")
1046         ("*expanded_andsi", "*expanded_andhi", "*andhi_lowpart", "andqi3")
1047         ("*andqi_lowpart", "iorsi3", "iorhi3", "iorqi3", "uminsi3"):
1048         Insert spaces in constraints to align alternatives vertically for
1049         readability.
1050         ("cmphi"): Ditto.  Add separate alternative for operand 0 "r",
1051         operand 1: "M".
1052
1053 2005-02-27  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
1054
1055         PR rtl-optimization/17728
1056         * pa.md (mulsi3, divsi3, udivsi3, modsi3): Change predicate for
1057         operand 0 from general_operand to move_dest_operand.
1058
1059 2005-02-26  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
1060
1061         * pa/elf.h, pa/som.h (ASM_OUTPUT_EXTERNAL): Use assemble_name_raw
1062         instead of trying to save and restore TREE_SYMBOL_REFERENCED.
1063         * pa/pa64-hpux.h (ASM_OUTPUT_TYPE_DIRECTIVE): Define.
1064         (ASM_OUTPUT_EXTERNAL): Don't save and restore TREE_SYMBOL_REFERENCED.
1065
1066 2005-02-26  Nathanael Nerode  <neroden@gcc.gnu.org>
1067
1068         * configure.ac: Rename cc_for_cross_gnattools to host_cc_for_libada.
1069         * configure: Regenerate.
1070         * libada-mk.in: Remove CC; rename
1071         cc_for_cross_gnattools / cc_set_by_configure to host_cc_for_libada.
1072
1073 2005-02-26  Andrew Pinski  <pinskia@physics.uc.edu>
1074
1075         PR tree-opt/20188
1076         * tree-ssa-alias.c (count_uses_and_derefs): If we have TREE_LIST
1077         for the lhs, also walk over the tree.  Likewise for rhs.
1078
1079 2005-02-26  Zdenek Dvorak  <dvorakz@suse.cz>
1080
1081         * tree-ssa-dom.c (simple_iv_increment_p): New function.
1082         (simplify_rhs_and_lookup_avail_expr, eliminate_redundant_computations):
1083         Do not propagate value of iv before increment over the increment.
1084
1085 2005-02-25  Joseph S. Myers  <joseph@codesourcery.com>
1086
1087         * c-parser.c: New file.
1088         * c-parse.in: Remove.
1089         * Makefile.in (c-parse.o-warn, c-parse.o, c-parse.c, c-parse.y):
1090         Remove.
1091         (c-parser.o): Add dependencies.
1092         (C_AND_OBJC_OBJC, C_OBJS, gcc.srcextra, GTFILES, distclean,
1093         maintainer-clean, TAGS): Update.
1094         * c-config-lang.in (gtfiles): Update.
1095         * gengtype-lex.l: Don't handle "@@".
1096         * stub-objc.c (objc_get_class_ivars, objc_build_throw_stmt,
1097         objc_build_synchronized, objc_begin_try_stmt,
1098         objc_begin_catch_clause, objc_finish_catch_clause,
1099         objc_build_finally_clause, objc_finish_try_stmt): New.
1100         * c-tree.h (struct c_declspecs): Add declspecs_seen_p and
1101         type_seen_p.
1102         (c_parse_init): Update comment.
1103         * c-decl.c (c_init_decl_processing): Update comment.
1104         (build_null_declspecs, declspecs_add_qual, declspecs_add_type,
1105         declspecs_add_scspec, declspecs_add_attrs): Initialize and update
1106         new c_declspecs members.
1107
1108 2005-02-25  Julian Brown  <julian@codesourcery.com>
1109
1110         * config/elfos.h (MAKE_DECL_ONE_ONLY): Redefined to stop DECL_WEAK
1111         from being used for symbols with vague linkage when
1112         HAVE_GAS_COMDAT_GROUP is true.
1113
1114 2005-02-25  Mark Mitchell  <mark@codesourcery.com>
1115
1116         * doc/include/gcc-common.texi (version-GCC): Update to 4.1.
1117
1118 2005-02-25  Steve Ellcey  <sje@cup.hp.com>
1119
1120         PR target/19930
1121         * doc/tm.texi (LIBGCC2_LONG_DOUBLE_TYPE_SIZE): Document.
1122         (LIBGCC2_HAS_DF_MODE): New.
1123         (LIBGCC2_HAS_XF_MODE): New.
1124         (LIBGCC2_HAS_TF_MODE): New.
1125         * libgcc2.h (LIBGCC2_HAS_XF_MODE): New name for HAVE_XFMODE.
1126         (LIBGCC2_HAS_TF_MODE): New name for HAVE_TFMODE.
1127         * libgcc2.c (LIBGCC2_HAS_XF_MODE): New name for HAVE_XFMODE.
1128         (LIBGCC2_HAS_TF_MODE): New name for HAVE_TFMODE.
1129         (LIBGCC2_HAS_DF_MODE): New name for HAVE_DFMODE.
1130         * config/ia64/t-ia64 (LIB1ASMFUNCS): Remove __compat
1131         and add _fixtfdi, _fixunstfdi, _floatditf
1132         * lib1funcs.asm: Remove L__compat. Add L_fixtfdi,
1133         L_fixunstfdi, L_floatditf.
1134         * config/ia64/hpux.h (LIBGCC2_HAS_XF_MODE): Define.
1135         (LIBGCC2_HAS_TF_MODE): Define.
1136
1137 2005-02-25  Diego Novillo  <dnovillo@redhat.com>
1138
1139         PR tree-optimization/20204
1140         * tree-into-ssa.c (insert_phi_nodes_for): Do not use
1141         REWRITE_THIS_STMT markers on PHI nodes.
1142         (rewrite_initialize_block): Likewise.
1143
1144 2005-02-25  Mark Mitchell  <mark@codesourcery.com>
1145
1146         * version.c (version_string): Update to 4.1.
1147
1148 2005-02-25  Paolo Carlini  <pcarlini@suse.de>
1149
1150         * doc/extend.texi (5.24 Declaring Attributes of Functions)<noreturn>:
1151         Clarify that the alternative way doesn't work in GNU C++.
1152
1153 2005-02-25  Zdenek Dvorak  <dvorakz@suse.cz>
1154
1155         PR tree-optimization/19937
1156         * tree-ssa-loop-ivopts.c (rewrite_use_compare): Cast the final value
1157         to the type of the induction variable.
1158
1159 2005-02-25  Kaz Kojima  <kkojima@gcc.gnu.org>
1160
1161         PR rtl-optimization/20117
1162         * bb-reorder.c (duplicate_computed_gotos): Don't duplicate
1163         the block including noncopyable insn.
1164
1165 2005-02-24  Kazu Hirata  <kazu@cs.umass.edu>
1166
1167         * cse.c (delete_trivially_dead_insns): Speed up by minimizing
1168         calls to find_reg_note.
1169
1170 2005-02-24  Richard Henderson  <rth@redhat.com>
1171
1172         PR tree-opt/20127
1173         * tree-sra.c (instantiate_element): Copy TREE_THIS_VOLATILE from
1174         the type.
1175
1176 2005-02-24  Fariborz Jahanian <fjahanian@apple.com>
1177
1178         * config/rs6000/rs6000.c (rs6000_legitimize_reload_address): Check for
1179         vector types if to use base reg for misaligned non-word ld/std.
1180
1181 2005-02-24  Hans-Peter Nilsson  <hp@axis.com>
1182
1183         PR target/14619
1184         * config/cris/cris.c (cris_target_asm_function_prologue): Create
1185         dwarf2 label manually and put it after, not before the prologue.
1186
1187 2005-02-24  David Edelsohn  <edelsohn@gnu.org>
1188
1189         PR target/19019
1190         * reload.c (operands_match_p): Only increment register number for
1191         SCALAR_INT_MODE_P modes in multiple hard registers.
1192
1193         * config/rs6000/rs6000.md (trunctfdf2): Remove register constraints.
1194         Fix formatting.
1195
1196 2005-02-24  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
1197
1198         * ChangeLog.5: Fix log message typo(s).
1199         * ChangeLog.7: Likewise.
1200         * ChangeLog.tree-ssa: Likewise.
1201         * cfgexpand.c: Fix comment typo(s).
1202         * conflict.c: Likewise.
1203         * defaults.h: Likewise.
1204         * dwarf2out.c: Likewise.
1205         * gcse.c: Likewise.
1206         * ggc-page.c: Likewise.
1207         * tree-eh.c: Likewise.
1208         * tree-ssa-dom.c: Likewise.
1209
1210 2005-02-24  Jakub Jelinek  <jakub@redhat.com>
1211
1212         PR target/19019
1213         * mklibgcc.in: Pass -DSHARED when compiling all *_s${objext} objects.
1214         * config/rs6000/darwin-ldouble.c: Only use the .symver directives
1215         if SHARED is defined.
1216
1217         PR target/20196
1218         * config/rs6000/rs6000.md (LTU, GTU sCC splitters): Add earlyclobber,
1219         allow splitting only if operands 0 and 3 don't overlap.
1220
1221 2005-02-24  Richard Henderson  <rth@redhat.com>
1222
1223         PR middle-end/19953
1224         * builtins.c (fold_builtin_complex_mul, fold_builtin_complex_div): New.
1225         (fold_builtin_1): Call them.
1226         * fold-const.c (fold_complex_mult_parts): Split out from ...
1227         (fold_complex_mult): ... here.  Fix typo in both imaginary case.
1228         (fold_complex_div_parts, fold_complex_div): New.
1229         (fold): Use them.
1230         * tree.h (fold_complex_mult_parts, fold_complex_div_parts): Declare.
1231
1232 2005-02-24  Richard Kenner  <kenner@vlsi1.ultra.nyu.edu>
1233
1234         * tree-ssa-ccp.c (visit_assignment): Verify that result of
1235         VIEW_CONVERT_EXPR is_gimple_min_invariant.
1236
1237         * print-tree.c (print_node_brief): Print LABEL_DECL_UID.
1238         (print_node): Likewise.
1239         Print TYPE_SIZES_GIMPLIFIED.
1240
1241 2005-02-24  Hans-Peter Nilsson  <hp@axis.com>
1242
1243         * config/cris/cris.md ("umulhisi3", "umulqihi3", "mulsi3")
1244         ("mulqihi3", "mulhisi3", "mulsidi3", "umulsidi3"): Mark input
1245         operands as commutative in constraints.
1246
1247 2005-02-24  Diego Novillo  <dnovillo@redhat.com>
1248
1249         * tree-into-ssa.c: Re-organize internal functions.
1250
1251 2005-02-24  Richard Henderson  <rth@redhat.com>
1252
1253         PR middle-end/18902
1254         * c-opts.c (c_common_post_options): Set flag_complex_method to 2
1255         for c99.
1256         * common.opt (fcx-limited-range): New.
1257         * opts.c (set_fast_math_flags): Set flag_cx_limited_range.
1258         * toplev.c (flag_complex_method): Initialize to 1.
1259         (process_options): Set flag_complex_method to 0 if
1260         flag_cx_limited_range.
1261         * doc/invoke.texi (-fcx-limited-range): New.
1262
1263 2005-02-24  Kazu Hirata  <kazu@cs.umass.edu>
1264
1265         * cse.c (delete_trivially_dead_insns): Speed up by using
1266         NEXT_INSN and PREV_INSN directly instead of next_real_insn and
1267         prev_real_insn.
1268
1269 2005-02-24  Andrea Tarani  <andrea.tarani@gilbarco.com>
1270
1271         * config/m68k/m68k.c (m68k_save_reg): Also save A5 for non-leaf
1272         functions when -mid-shared-library is being used.
1273
1274 2005-02-23  Daniel Jacobowitz  <dan@codesourcery.com>
1275
1276         * doc/tm.texi (LINK_LIBGCC_SPECIAL): Remove.
1277         (LINK_LIBGCC_SPECIAL_1): Don't mention it.
1278         * gcc.c: Don't check for LINK_LIBGCC_SPECIAL.
1279         * system.h: Poison LINK_LIBGCC_SPECIAL.
1280
1281 2005-02-23  James E Wilson  <wilson@specifixinc.com>
1282
1283         * gengtype.c (note_insn_name): Make 1 element larger.
1284
1285 2005-02-23  Roger Sayle  <roger@eyesopen.com>
1286
1287         PR target/20018
1288         PR rtl-optimization/20097
1289         * simplify-rtx.c (simplify_relational_operation_1): Avoid creating
1290         BImode SUBREGs of SImode registers which confuse the ia64 backend.
1291
1292 2005-02-23  David Edelsohn  <edelsohn@gnu.org>
1293
1294         * t-aix43 (SHLIB_INSTALL): Create directory for shared library.
1295         * t-aix52 (SHLIB_INSTALL): Same.
1296
1297 2005-02-23  Kazu Hirata  <kazu@cs.umass.edu>
1298
1299         * genpreds.c: Update copyright.
1300
1301 2005-02-23  Michael Beach  <michaelb@ieee.org>
1302
1303         PR target/20159
1304         * config/sparc/t-elf (startup files): Assemble with CPP.
1305
1306 2005-02-23  Paolo Bonzini  <bonzini@gnu.org>
1307
1308         * genpreds.c (mark_mode_tests): Handle non-VOIDmode match_operands.
1309         (write_predicate_expr): Likewise.
1310
1311 2005-02-22  Diego Novillo  <dnovillo@redhat.com>
1312
1313         PR tree-optimization/20100
1314         PR tree-optimization/20115
1315         * tree-optimize.c (init_tree_optimization_passes): Remove
1316         pass_maybe_create_global_var.
1317         * tree-pass.h (pass_maybe_create_global_var): Remove.
1318         * tree-ssa-alias.c (aliases_computed_p): Declare.
1319         (struct alias_info): Add field NUM_PURE_CONST_CALLS_FOUND.
1320         (count_calls_and_maybe_create_global_var): Remove.
1321         (pass_maybe_create_global_var): Remove.
1322         (init_alias_info): Do not declare aliases_computed_p.
1323         (maybe_create_global_var): If the function contains no
1324         call-clobbered variables and a mix of pure/const and regular
1325         function calls, create .GLOBAL_VAR.
1326         Mark all call-clobbered variables for renaming.
1327         (merge_pointed_to_info): Update comment.
1328         (add_pointed_to_var): Likewise.
1329         (is_escape_site): Likewise.
1330         Accept struct alias_info * instead of size_t *.
1331         Update all users.
1332         Update AI->NUM_CALLS_FOUND and AI->NUM_PURE_CONST_CALLS_FOUND
1333         as necessary.
1334         * tree-ssa-operands.c (get_call_expr_operands): If
1335         ALIASES_COMPUTED_P is false, do not add call-clobbering
1336         operands.
1337         * tree-ssa.c (init_tree_ssa): Set ALIASES_COMPUTED_P to false.
1338         (delete_tree_ssa): Likewise.
1339
1340 2005-02-22  James E Wilson  <wilson@specifixinc.com>
1341
1342         * toplev.c (backend_init): Don't call init_adjust_machine_modes here.
1343         (do_compile): Do call it here.
1344
1345 2005-02-22  Kazu Hirata  <kazu@cs.umass.edu>
1346
1347         PR rtl-optimization/20017.
1348         * passes.c (rest_of_handle_combine, rest_of_handle_cse,
1349         rest_of_handle_cse2, rest_of_handle_gcse): Call
1350         delete_dead_jumptables immediately before calling cleanup_cfg.
1351
1352 2005-02-22  Devang Patel  <dpatel@apple.com>
1353
1354         PR 19952
1355         * tree-if-conv.c (process_phi_nodes): Use bsi_after_labels and skip
1356         all labels
1357
1358 2005-02-22  David Edelsohn  <edelsohn@gnu.org>
1359
1360         * config/rs6000/aix.h (WINT_TYPE): Define.
1361
1362 2005-02-22  Stan Shebs  <shebs@apple.com>
1363
1364         * config/rs6000/rs6000.c (rs6000_override_options): Default to
1365         natural alignment for 64-bit Darwin.
1366         (rs6000_parse_alignment_option): Warn about uses of -malign-power
1367         on 64-bit Darwin.
1368         * doc/invoke.texi: Document this.
1369
1370 2005-02-22  DJ Delorie  <dj@redhat.com>
1371
1372         * c-common.c (c_common_type_for_mode): Pass the mode's precision
1373         to make_[un]signed_type, not the mode itself.
1374
1375 2005-02-22  Kazu Hirata  <kazu@cs.umass.edu>
1376
1377         * cfg.c (cached_make_edge): Call make_edge if edge cache is
1378         not available.  Use tail calls wherever possible.
1379         (make_edge): Call unchecked_make_edge to create an edge.
1380
1381         * tree-outof-ssa.c (SSANORM_USE_COALESCE_LIST): Remove.
1382         (coalesce_ssa_name): Don't check for
1383         SSANORM_USE_COALESCE_LIST.
1384         (rewrite_out_of_ssa): Don't use SSANORM_USE_COALESCE_LIST.
1385
1386 2005-02-22  Diego Novillo  <dnovillo@redhat.com>
1387
1388         * tree-into-ssa.c (rewrite_blocks): Move debug dumps from ...
1389         (rewrite_into_ssa): ... here.
1390
1391 2005-02-21  Alexandre Oliva  <aoliva@redhat.com>
1392
1393         PR tree-optimization/19786
1394         * tree-ssa-alias.c (compute_flow_insensitive_aliasing): Add one
1395         tag to another's may-alias bitmap when adding to the other's list.
1396
1397 2005-02-21  DJ Delorie  <dj@redhat.com>
1398
1399         * tree-ssa-loop-ivopts.c (computation_cost): Start register
1400         numbering at LAST_VIRTUAL_REGISTER+1 to avoid possibly using hard
1401         registers in unsupported ways.
1402         * expmed.c (init_expmed): Likewise.
1403
1404 2005-02-21  Stan Cox  <scox@redhat.com>
1405
1406         * config/iq2000/iq2000.h (DWARF_FRAME_RETURN_COLUMN): Change to 31.
1407
1408 2005-02-21  Kazu Hirata  <kazu@cs.umass.edu>
1409
1410         * tree-cfg.c (fold_cond_expr_cond): New.
1411         (make_edges): Call fold_cond_expr_cond.
1412         (find_taken_edge): Accept nothing but INTEGER_CST.
1413         (find_taken_edge_cond_expr): Reject INTEGER_CST other than 0
1414         and 1.
1415         (find_taken_edge_switch_expr): Remove a check for INTEGER_CST.
1416
1417         * flow.c (delete_dead_jumptables): Speed up by scanning insns
1418         that do not belong to any basic block.
1419
1420 2005-02-21  Jeff Law  <law@redhat.com>
1421
1422         * cfganal.c (find_unreachable_blocks): Manually CSE load of
1423         e->dest.
1424
1425 2005-02-21  Kazu Hirata  <kazu@cs.umass.edu>
1426
1427         * tree-outof-ssa.c (SSANORM_REMOVE_ALL_PHIS): Remove.
1428         (SSANORM_COALESCE_PARTITIONS, SSANORM_USE_COALESCE_LIST):
1429         Adjust their definitions.
1430         (remove_ssa_form): Don't check for SSANORM_REMOVE_ALL_PHIS.
1431         (rewrite_out_of_ssa): Don't use SSANORM_REMOVE_ALL_PHIS.
1432
1433         * c-objc-common.h, c-pretty-print.c, cgraphunit.c, except.c,
1434         genautomata.c, langhooks.c, langhooks.h, system.h,
1435         config/arm/lib1funcs.asm: Update copyright.
1436
1437 2005-02-21  Ulrich Weigand  <uweigand@de.ibm.com>
1438
1439         * dbxout.c (dbxout_function_end): Emit Lscope label always.
1440
1441 2005-02-21  Richard Guenther  <rguenth@gcc.gnu.org>
1442
1443         PR bootstrap/13770
1444         * doc/install.texi: Document --with-gc.
1445
1446 2005-02-21  Paolo Bonzini  <bonzini@gnu.org>
1447
1448         * simplify-rtx.c (simplify_unary_operation): Add a missing
1449         "break" statement.
1450
1451 2005-02-21  Eric Botcazou  <ebotcazou@libertysurf.fr>
1452
1453         PR tree-optimization/18663
1454         * tree-ssa-dom.c (extract_range_from_cond): Return 0
1455         if the type has variable bounds.
1456
1457 2005-02-20  Kazu Hirata  <kazu@cs.umass.edu>
1458
1459         * gcse.c: Remove an obsolete comment.
1460
1461         * cse.c (init_cse_reg_info): Use xmalloc instead of xrealloc.
1462
1463 2005-02-20  Hans-Peter Nilsson  <hp@axis.com>
1464
1465         * doc/extend.texi (Function Attributes) <Attribute const>: The
1466         attribute "pure" is below this text, not above.
1467
1468 2005-02-20  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
1469
1470         * pa.c (pa_assemble_integer, get_plabel): Small cleanups.
1471         (pa_asm_output_mi_thunk): Use asm_output_insn instead of fprintf.
1472         * som.h (ASM_OUTPUT_EXTERNAL_LIBCALL): Small cleanup.
1473
1474 2005-02-20  Zack Weinberg  <zack@codesourcery.com>
1475
1476         PR 18785
1477         * langhooks.h (struct lang_hooks): Add to_target_charset.
1478         * langhooks.c (lhd_to_target_charset): New function.
1479         * langhooks-def.h: Declare lhd_to_target_charset.
1480         (LANG_HOOKS_TO_TARGET_CHARSET): New macro.
1481         (LANG_HOOKS_INITIALIZER): Update.
1482         * c-common.c (c_common_to_target_charset): New function.
1483         * c-common.h: Declare it.
1484         * c-objc-common.h (LANG_HOOKS_TO_TARGET_CHARSET): Set to
1485         c_common_to_target_charset.
1486
1487         * defaults.c (TARGET_BELL, TARGET_BS, TARGET_CR, TARGET_DIGIT0)
1488         (TARGET_ESC, TARGET_FF, TARGET_NEWLINE, TARGET_TAB, TARGET_VT):
1489         Delete definitions.
1490         * system.h: Poison them.
1491         * doc/tm.texi: Don't discuss them.
1492         * builtins.c (fold_builtin_isdigit): Use lang_hooks.to_target_charset.
1493         * c-pretty-print.c (pp_c_integer_constant): Don't use pp_c_char.
1494         (pp_c_char): Do not attempt to generate letter escapes for
1495         newline, tab, etc.
1496         * config/arm/arm.c (output_ascii_pseudo_op): Likewise.
1497         * config/mips/mips.c (mips_output_ascii): Likewise.
1498
1499 2005-02-20  Dorit Naishlos  <dorit@il.ibm.com>
1500
1501         PR tree-optimization/19951
1502         * tree-vect-analyze.c (vect_analyze_loop_form): Check if loop exit edge
1503         is abnormal.
1504
1505 2005-02-19  Steven Bosscher  <stevenb@suse.de>
1506
1507         PR middle-end/19698
1508         * function.h (struct function): New field `max_loop_depth'.
1509         * cfgloop.c (establish_preds): Update maximum loop depth seen so far.
1510         (flow_loops_find): Reset the max loop depth count before finding loops.
1511         * flow.c (MAX_LIVENESS_ROUNDS): New constant.
1512         (update_life_info_in_dirty_blocks): Remove 2002-05-28 workaround.
1513         (calculate_global_regs_live): Make sure the loop will terminate
1514         when the initial sets are not empty.
1515
1516 2005-02-19  Zack Weinberg  <zack@codesourcery.com>
1517
1518         * mklibgcc.in: If libgcc_eh.a would be empty, put a dummy
1519         object inside.
1520         * config/ia64/hpux.h: Don't define LIBGCC_SPEC.
1521
1522 2005-02-19  Richard Sandiford  <rsandifo@redhat.com>
1523
1524         PR other/19525
1525         * doc/invoke.texi: Remove documentation of %M spec.
1526         * gcc.c: Likewise.
1527         (init_spec): Remove %M suffix from -lgcc_s.
1528         (do_spec_1): Remove 'M' case.
1529         * mklibgcc.in: Remove SHLIB_MULTILIB handling.  Expect SHLIB_LINK
1530         to put shared libraries in the multilib directory.  Remove the
1531         shlib_so_soname substitution variable.  Don't add a multilib encoding
1532         to shlib_base_name.  Set shlib_slibdir_qual to the full pathname
1533         reported by -print-multi-os-directory.  Pass @multilib_dir@ to
1534         SHLIB_INSTALL as well as SHLIB_LINK.
1535         * config/t-slibgcc-elf-ver (SHLIB_SONAME): Use @shlib_base_name@.
1536         (SHLIB_NAME): Delete.
1537         (SHLIB_DIR): New macro.
1538         (SHLIB_LINK): Put $(SHLIB_SONAME) and $(SHLIB_SOLINK) in $(SHLIB_DIR).
1539         (SHLIB_INSTALL): Adjust accordingly.
1540         * config/t-slibgcc-darwin: As for t-slibgcc-elf-ver.
1541         * config/t-slibgcc-sld: Likewise.
1542         * config/t-libunwind-elf (SHLIBUNWIND_NAME): Delete.
1543         (SHLIBUNWIND_SONAME): Use @shlib_base_name@.
1544         (SHLIBUNWIND_LINK): Put $(SHLIBUNWIND_SONAME) and $(SHLIB_SOLINK)
1545         in $(SHLIB_DIR).
1546         (SHLIBUNWIND_INSTALL): Adjust accordingly.
1547         * config/i386/t-nwld (SHLIB_SONAME): Delete.
1548         (SHLIB_LINK, SHLIB_INSTALL): Use SHLIB_NAME instead of SHLIB_SONAME.
1549         Use @shlib_base_name@ instead of @shlib_so_name@.
1550         * config/ia64/t-hpux (SHLIB_LINK): Put @shlib_base_name@.so.0
1551         and @shlib_base_name@.so in @multilib_dir@.
1552         (SHLIB_INSTALL): Adjust accordingly.  Add @shlib_slibdir_qual@
1553         to the install path.
1554         * config/mips/t-slibgcc-irix: As for t-slibgcc-elf-ver.
1555         (SHLIB_LINK): Remove previous workaround.
1556         * config/pa/t-hpux-shlib (SHLIB_DIR, SHLIB_SLIBDIR_QUAL): New macros.
1557         (SHLIB_LINK): Put $(SHLIB_SONAME) and $(SHLIB_NAME) in $(SHLIB_DIR).
1558         (SHLIB_INSTALL): Adjust accordingly.  Add $(SHLIB_SLIBDIR_QUAL) to
1559         the install path.
1560         * config/rs6000/t-aix43 (SHLIB_LINK): Put @shlib_base_name@.a in
1561         @multilib_dir@.  Use @multilib_dir@ to check for threading libraries.
1562         (SHLIB_INSTALL): Adjust accordingly.
1563         (SHLIB_LIBS): Use @multilib_dir@ to check for threading libraries.
1564         * config/rs6000/t-aix52: As for config/rs6000/t-aix43.
1565         * config/sh/t-linux (SHLIB_LINK, SHLIB_INSTALL): As for
1566         config/t-slibgcc-elf-ver.
1567
1568 2005-02-19  Zdenek Dvorak  <dvorakz@suse.cz>
1569             Jakub Jelinek  <jakub@redhat.com>
1570
1571         PR tree-optimization/19828
1572         * tree-ssa-loop-im.c: Add a TODO comment.
1573         (movement_possibility): Return MOVE_PRESERVE_EXECUTION for calls
1574         without side-effects.
1575
1576 2005-02-18  James A. Morrison  <phython@gcc.gnu.org>
1577
1578         * tree-ssa-ccp.c (widen_bitfield): Pass type to build_int_cst and don't
1579         call fold_convert.
1580
1581 2005-02-18  James E. Wilson  <wilson@specifixinc.com>
1582
1583         * doc/invoke.texi (IA-64 Options): Delete -mb-step.
1584         * config/ia64/ia64.c (last_group, group_idx): Delete variables.
1585         (errata_find_address_regs, errata_emit_nops, fixup_errata): Delete
1586         functions.
1587         (ia64_reorg): Delete fixup_errata call.
1588         * config/ia64/ia64.h (MASK_B_STEP, TARGET_B_STEP): Delete.
1589         (TARGET_SWITCHES): Delete -mb-step entry.
1590
1591 2005-02-19  Jakub Jelinek  <jakub@redhat.com>
1592
1593         PR c/20043
1594         * c-typeck.c (composite_type): Handle quals in transparent unions.
1595         (type_lists_compatible_p): Likewise.
1596
1597 2005-02-18  Stan Shebs  <shebs@apple.com>
1598
1599         * config/darwin.c (machopic_select_rtx_section): Don't put relocatable
1600         expressions in the .literal8 section.
1601
1602 2005-02-18  Geoffrey Keating  <geoffk@apple.com>
1603
1604         * config/rs6000/darwin-tramp.asm: Remove stray 'APPLE LOCAL' marker.
1605
1606 2005-02-18  Roger Sayle  <roger@eyesopen.com>
1607
1608         * fold-const.c (constant_boolean_node): Always create values of the
1609         specified type, don't bother calling truthvalue_conversion.
1610
1611 2005-02-18  Joseph S. Myers  <joseph@codesourcery.com>
1612
1613         * except.c (output_function_exception_table): Call
1614         assemble_external_libcall (eh_personality_libfunc).
1615
1616 2005-02-18  Joseph S. Myers  <joseph@codesourcery.com>
1617
1618         PR target/19886
1619         * config/ia64/ia64.h (struct machine_function): Add state_num.
1620         * config/ia64/ia64.c (process_epilogue,
1621         process_for_unwind_directive): Use new unwind state numbers each
1622         time rather than state 1.
1623
1624 2005-02-18  Ulrich Weigand  <uweigand@de.ibm.com>
1625
1626         PR target/20054
1627         * config/s390/s390.md ("*llgt_sidi", "*llgt_sidi_split"): Move to
1628         before the "*llgt_didi" pattern.
1629
1630 2005-02-18  Jason Merrill  <jason@redhat.com>
1631
1632         * gimplify.c (gimplify_modify_expr_rhs) [CALL_EXPR]: Revert again.
1633
1634 2005-02-18  Richard Earnshaw  <rearnsha@arm.com>
1635
1636         * arm/lib1funcs.asm (FUNC_ALIAS): New macro.
1637         (div0): Use it in place of ARM_FUNC_ALIAS.
1638         (lshrdi3, ashrdi3, ashlrdi3): Likewise.
1639
1640 2005-02-18  Andrew Pinski  <pinskia@physics.uc.edu>
1641
1642         PR middle-end/20030
1643         * fold-const.c (fold_indirect_ref_1): Use the correct index for zero
1644         access, the lower bound of the array type if it exists.
1645
1646 2005-02-18  Alexandre Oliva  <aoliva@redhat.com>
1647
1648         PR c++/20008
1649         * stmt.c (expand_case): Don't assume cleanup_tree_cfg will remove
1650         cases that are out-of-range for the index type.
1651
1652 2005-02-18  James A. Morrison  <phython@gcc.gnu.org>
1653
1654         * stmt.c (emit_case_bit_tests): Call fold_convert instead of convert.
1655         (estimate_case_costs): Don't call convert.
1656         * expmed.c (expand_shift): Likewise.
1657         (make_tree): Call fold_convert instead of convert.
1658
1659 2005-02-18  Jakub Jelinek  <jakub@redhat.com>
1660
1661         PR c++/19813
1662         * emit-rtl.c (set_mem_attributes_minus_bitpos): Add assertion
1663         that ref to be marked MEM_READONLY_P doesn't have base that needs
1664         constructing.
1665
1666 2005-02-18  Joseph S. Myers  <joseph@codesourcery.com>
1667
1668         * genautomata.c (output_get_cpu_unit_code_func,
1669         output_cpu_unit_reservation_p): Don't generate old-style function
1670         definitions.
1671
1672 2005-02-18  Jakub Jelinek  <jakub@redhat.com>
1673
1674         PR c++/20023
1675         PR tree-optimization/20009
1676         * convert.c (convert_to_integer): Revert 2005-02-16 change.
1677
1678         PR tree-optimization/18947
1679         * cgraphunit.c (cgraph_finalize_function): When redefining an extern
1680         inline, remove all nodes that are inlined into the extern inline
1681         being redefined.
1682
1683 2005-02-17  Kazu Hirata  <kazu@cs.umass.edu>
1684
1685         * bt-load.c, cfgloop.c, convert.c, dominance.c, global.c,
1686         loop-invariant.c, stmt.c, tree-ssa-forwprop.c,
1687         tree-ssa-live.c, tree-ssanames.c, tree-vn.c,
1688         config/host-linux.c, config/arm/fpa.md, config/avr/avr.h:
1689         Update copyright.
1690
1691 2005-02-17  Roger Sayle  <roger@eyesopen.com>
1692
1693         PR tree-optimization/19917
1694         * tree-eh.c (tree_could_trap_p): Consider calls to weak functions
1695         to be potentially trapping.
1696
1697 2005-02-17  Kazu Hirata  <kazu@cs.umass.edu>
1698
1699         * libgcc2.c, tree-vect-analyze.c: Fix comment typos.
1700
1701 2005-02-17  Andreas Krebbel  <krebbel1@de.ibm.com>
1702
1703         * builtins.c (expand_builtin_return_addr): Remove tem parameter.
1704         tem becomes a local variable which is set to the value of the
1705         back end defined INITIAL_FRAME_ADDRESS macro.
1706         (expand_builtin_frame_address): Omit the base parameter to
1707         expand_builtin_return_addr.
1708         (expand_builtin_profile_func): Likewise.
1709         * config/s390/s390.h (INITIAL_FRAME_ADDRESS_RTX): Define new macro.
1710         (DYNAMIC_CHAIN_ADDRESS): Remove the case for the initial frame.
1711         * doc/tm.texi: Documentation for INITIAL_FRAME_ADDRESS_RTX added.
1712
1713 2005-02-17  Jakub Jelinek  <jakub@redhat.com>
1714
1715         * config/s390/s390.c (s390_alloc_pool, s390_free_pool,
1716         s390_chunkify_start): Use BITMAP_ALLOC and BITMAP_FREE.
1717         * config/frv/frv.c (frv_function_epilogue): Likewise.
1718
1719 2005-02-17  Daniel Berlin  <dberlin@dberlin.org>
1720
1721         * lambda-code (perfect_nestify): Remove mark/unmark
1722         for rewriting hack.
1723         * tree-loop-linear.c (linear_transform_loops): Add
1724         rewrite_into_ssa call so that ssa is correct for
1725         rewriting into loop closed.
1726
1727 2005-02-17  Nathan Sidwell  <nathan@codesourcery.com>
1728
1729         * bitmap.h (BITMAP_XMALLOC, BITMAP_XFREE): Remove.
1730         * bb-reorder.c (duplicate_computed_gotos): Use BITMAP_ALLOC and
1731         BITMAP_FREE.
1732         * bt-load.c (btr_def_live_range, combine_btr_defs,
1733         migrate_btr_def, migrate_btr_defs): Likewise.
1734         * cfgcleanup.c (thread_jump): Likewise.
1735         * cfgloop.c (get_loop_body_in_bfs_order): Likewise.
1736         * df.c (df_insn_table_realloc, df_bitmaps_alloc, df_bitmaps_free,
1737         df_alloc, df_free, df_du_chain_create, df_bb_rd_local_compute,
1738         df_rd_local_compute, df_reg_info_compute): Likewise.
1739         * dominance.c (init_dom_info, free_dom_info): Likewise.
1740         * flow.c (init_propagate_block_info,
1741         free_propagate_block_info): Likewise.
1742         * gcse.c (alloc_gcse_mem, free_gcse_mem): Likewise.
1743         * global.c (allocate_bb_info, free_bb_info, calculate_reg_pav,
1744         modify_reg_pav): Likewise.
1745         * loop-invariant.c (find_defs, find_invariant_insn,
1746         find_invariants, free_inv_motion_data): Likewise.
1747         * predict.c (tree_predict_by_opcode,
1748         estimate_bb_frequencies): Likewise.
1749         * stmt.c (expand_case): Likewise.
1750         * tree-cfg.c (tree_duplicate_sese_region): Likewise.
1751         * tree-dfa.c (mark_new_vars_to_rename): Likewise.
1752         * tree-if-conv.c (get_loop_body_in_if_conv_order): Likewise.
1753         * tree-into-ssa.c (insert_phi_nodes_for, def_blocks_free,
1754         get_def_blocks_for, mark_def_site_blocks, rewrite_into_ssa,
1755         rewrite_ssa_into_ssa): Likewise.
1756         * tree-optimize.c (tree_rest_of_compilation): Likewise.
1757         * tree-outof-ssa.c (new_temp_expr_table, free_temp_expr_table,
1758         analyze_edges_for_bb, perform_edge_inserts): Likewise.
1759         * tree-scalar-evolution.c (scev_initialize, scev_finalize): Likewise.
1760         * tree-sra.c (tree_sra): Likewise.
1761         * tree-ssa-alias.c (init_alias_info, delete_alias_info): Likewise.
1762         * tree-ssa-ccp.c (ccp_fold_builtin): Likewise.
1763         * tree-ssa-dce.c (tree_dce_init, tree_dce_done): Likewise.
1764         * tree-ssa-dom.c (tree_ssa_dominator_optimize): Likewise.
1765         * tree-ssa-dse.c (tree_ssa_dse): Likewise.
1766         * tree-ssa-forwprop.c (tree_ssa_forward_propagate_single_use_var):
1767         Likewise.
1768         * tree-ssa-live.c (new_tree_live_info, delete_tree_live_info,
1769         calculate_live_on_entry, calculate_live_on_exit,
1770         build_tree_conflict_graph): Likewise.
1771         * tree-ssa-loop-ivopts.c (tree_ssa_iv_optimize_init, record_use,
1772         record_important_candidates, set_use_iv_cost, find_depends,
1773         determine_use_iv_costs, iv_ca_new, iv_ca_free, free_loop_data,
1774         tree_ssa_iv_optimize_finalize): Likewise.
1775         * tree-ssa-loop-manip.c (add_exit_phis_var, get_loops_exit,
1776         find_uses_to_rename_use, rewrite_into_loop_closed_ssa,
1777         tree_duplicate_loop_to_header_edge): Likewise.
1778         * tree-ssa-pre.c (init_pre, fini_pre): Likewise.
1779         * tree-ssa.c (verify_flow_insensitive_alias_info,
1780         verify_name_tags, verify_ssa, init_tree_ssa,
1781         delete_tree_ssa): Likewise.
1782         * tree-ssanames.c (marked_ssa_names, init_ssanames,
1783         fini_ssanames): Likewise.
1784         * tree-vectorizer.c (slpeel_tree_peel_loop_to_edge): Likewise.
1785
1786 2005-02-17  Ralf Corsepius  <ralf.corsepius@rtems.org>
1787
1788         * config/rs6000/t-rtems: Completely reworked.
1789
1790 2005-02-17  Ira Rosen  <irar@il.ibm.com>
1791
1792         * tree-data-ref.c (array_base_name_differ_p): Remove gcc_assert.
1793
1794 2005-02-17  Ira Rosen  <irar@il.ibm.com>
1795
1796         * tree-vect-analyze.c (vect_analyze_pointer_ref_access): Use
1797         POINTER_TYPE_P when checking that type is a pointer.
1798         (vect_get_memtag): Remove.
1799         (vect_address_analysis): Use POINTER_TYPE_P. Call
1800         vect_object_analysis with dummy parameter for memtag.
1801         (vect_object_analysis): Extract memtag (functionality that
1802         used to be in vect_get_memtag and moved here). Fix printings.
1803         (vect_analyze_data_refs): Fix comment. Call vect_object_analysis
1804         with correct parameters. Remove call to vect_get_memtag.
1805
1806 2005-02-17  Dorit Naishlos  <dorit@il.ibm.com>
1807
1808         * Makefile.in (tree-vect-analyze.o, tree-vect-transform.o): New.
1809         (tree-vectorizer.o): Added missing dependencies.
1810
1811         * tree-vectorizer.h (vect_dump, vect_verbosity_level): Added extern
1812         decleration.
1813         (slpeel_tree_peel_loop_to_edge): Function externalized (had a static
1814         declaration in tree-vectorizer.c, now has an extern declaration in
1815         tree-vectorizer.h).
1816         (slpeel_make_loop_iterate_ntimes, slpeel_can_duplicate_loop_p,
1817         slpeel_verify_cfg_after_peeling, vect_strip_conversion,
1818         get_vectype_for_scalar_type, vect_is_simple_use,
1819         vect_is_simple_iv_evolution, vect_can_force_dr_alignment_p,
1820         vect_supportable_dr_alignment, new_loop_vec_info, destroy_loop_vec_info,
1821         new_stmt_vec_info, vect_analyze_loop, vectorizable_load,
1822         vectorizable_store, vectorizable_operation, vectorizable_assignment,
1823         vect_transform_loop, vect_print_dump_info, vect_set_verbosity_level,
1824         find_loop_location): Likewise.
1825
1826         * tree-vectorizer.c (langhooks.h): #include removed.
1827         (slpeel_tree_peel_loop_to_edge): Function externalized. Declaration
1828         moved to tree-vectorized.h.
1829         (slpeel_make_loop_iterate_ntimes, slpeel_can_duplicate_loop_p,
1830         slpeel_verify_cfg_after_peeling, vect_strip_conversion,
1831         get_vectype_for_scalar_type, vect_is_simple_use,
1832         vect_is_simple_iv_evolution, vect_can_force_dr_alignment_p,
1833         vect_supportable_dr_alignment, new_loop_vec_info,
1834         destroy_loop_vec_info, new_stmt_vec_info, vect_print_dump_info,
1835         vect_set_verbosity_level, find_loop_location): Likewise.
1836
1837         (vect_analyze_loop): Function externalized. Declaration moved to
1838         tree-vectorized.h. Function definition moved to tree-vect-analyze.c.
1839         (vect_analyze_loop_form): Moved to tree-vect-analyze.c.
1840         (vect_mark_stmts_to_be_vectorized, vect_analyze_scalar_cycles,
1841         vect_analyze_data_ref_accesses, vect_analyze_data_ref_dependences,
1842         vect_analyze_data_refs_alignment, vect_compute_data_refs_alignment,
1843         vect_enhance_data_refs_alignment, vect_analyze_operations,
1844         exist_non_indexing_operands_for_use_p, vect_mark_relevant,
1845         vect_stmt_relevant_p, vect_get_loop_niters,
1846         vect_analyze_data_ref_dependence, vect_compute_data_ref_alignment,
1847         vect_analyze_data_ref_access, vect_analyze_pointer_ref_access,
1848         vect_can_advance_ivs_p, vect_get_ptr_offset, vect_analyze_offset_expr,
1849         vect_base_addr_differ_p, vect_object_analysis, vect_address_analysis,
1850         vect_get_memtag): Likewise.
1851
1852         (vectorizable_load): Function externalized. Declaration moved to
1853         tree-vectorized.h. Function definition moved to tree-vect-transform.c.
1854         (vectorizable_store, vectorizable_operation, vectorizable_assignment,
1855         vect_transform_loop): Likewise.
1856         (vect_transform_stmt): Moved to tree-vect-transform.c.
1857         (vect_align_data_ref, vect_create_destination_var,
1858         vect_create_data_ref_ptr, vect_create_index_for_vector_ref,
1859         vect_create_addr_base_for_vector_ref, vect_get_new_vect_var,
1860         vect_get_vec_def_for_operand, vect_init_vector,
1861         vect_finish_stmt_generation, vect_generate_tmps_on_preheader,
1862         vect_build_loop_niters, vect_update_ivs_after_vectorizer,
1863         vect_gen_niters_for_prolog_loop, vect_update_inits_of_dr,
1864         vect_update_inits_of_drs, vect_do_peeling_for_alignment,
1865         vect_do_peeling_for_loop_bound): Likewise.
1866
1867         * tree-vect-analyze.c: New file.
1868         * tree-vect-transform.c: New file.
1869
1870 2005-02-17  Jason Merrill  <jason@redhat.com>
1871
1872         PR mudflap/19319, c++/19317
1873         * gimplify.c (gimplify_modify_expr_rhs) [CALL_EXPR]: Make return
1874         slot explicit.
1875
1876 2005-02-17  Gerald Pfeifer  <gerald@pfeifer.com>
1877
1878         * doc/install.texi (Specific): Update link for Darwin-specific
1879         tool binary site.
1880
1881 2005-02-16  James A. Morrison  <phython@gcc.gnu.org>
1882
1883         * fold-const.c (invert_truthvalue): <INTEGER_CST>: Call
1884         constant_boolean_node.
1885
1886 2005-02-16  David Edelsohn  <edelsohn@gnu.org>
1887
1888         PR target/19019
1889         * config/rs6000/t-aix43 (SHLIB_MAPFILES): Add libgcc-ppc64.ver.
1890         * config/rs6000/t-aix52 (SHLIB_MAPFILES): Same.
1891
1892 2005-02-16  Richard Henderson  <rth@redhat.com>
1893
1894         PR 19920
1895         * libgcc2.c (WORD_SIZE): Remove all definitions; replace uses
1896         with W_TYPE_SIZE.
1897         (HIGH_WORD_COEFF, HIGH_HALFWORD_COEFF): Remove all definitions;
1898         replace uses with Wtype_MAXp1_F.
1899         (L_fixunstfdi, L_fixtfdi, L_floatditf, L_fixunsxfdi, L_fixxfdi,
1900         L_floatdixf, L_fixunsxfsi, L_fixunsdfdi, L_floatdidf, L_fixunsdfsi,
1901         L_powidf2, L_powixf2, L_powitf2, L_muldc3, L_divdc3, L_mulxc3,
1902         L_divxc3, L_multc3, L_divtc3): Protect with HAVE_DFMODE, HAVE_XFMODE,
1903         and HAVE_TFMODE as appropriate.
1904         (__fixunssfDI): Provide an implementation that doesn't need DFmode.
1905         (__floatdisf): Likewise.
1906         * libgcc2.h (LIBGCC2_DOUBLE_TYPE_SIZE): New.
1907         (HAVE_DFMODE, HAVE_XFMODE, HAVE_TFMODE): New.
1908         (Wtype_MAXp1_F): New.
1909         (DFtype, DCtype, __fixdfdi, __floatdidf, __fixunsdfSI, __fixunsdfDI,
1910         __powidf2, __divdc3, __muldc3): Protect with HAVE_DFMODE.
1911
1912 2005-02-16  Richard Earnshaw  <rearnsha@arm.com>
1913
1914         * PR target/19162
1915         * arm.c (arm_apply_result_size): New function.
1916         * arm.h (APPLY_RESULT_SIZE): Define.
1917         * arm-protos.h (arm_apply_result_size): Add prototype.
1918         * arm.md (RO_REGNUM, FPA_F0_REGNUM, FPA_F7_REGNUM): New constants.
1919         (movxf): New expand.
1920         (ldmsi_postinc4_thumb, stmsi_postinc4_thumb): New patterns for Thumb.
1921         (call_value_symbol): Remove predicate for operand 0.
1922         (call_value_insn, sibcall_value, sibcall_value_insn): Likewise.
1923         (untyped_call): Rework to correclty return values for any type.
1924         (untyped_return): New expand.
1925         * fpa.md (movxf_fpa): Simplify and use sfm/lfm when appropriate.
1926
1927 2005-02-16  Stan Shebs  <shebs@apple.com>
1928
1929         * config.gcc (powerpc-*-darwin*): Use fragment for Darwin 8 or later.
1930         * config/rs6000/t-darwin8: New, for 64-bit multilib.
1931
1932 2005-02-16  Eric Botcazou  <ebotcazou@libertysurf.fr>
1933
1934         * doc/install.texi (sparc-sun-solaris2*): Document required GMP
1935         configure settings on Solaris 7 and later.
1936
1937 2005-02-16  Diego Novillo  <dnovillo@redhat.com>
1938
1939         PR tree-optimization/19865
1940         * tree-optimize.c (init_tree_optimization_passes): Run
1941         pass_may_alias after pass_sra.
1942
1943 2005-02-16  Richard Henderson  <rth@redhat.com>
1944             Stuart Hastings  <stuart@apple.com>
1945
1946         PR debug/19521
1947         * dbxout.c (dbxout_function_end): Take decl parameter; update callers.
1948         Do nothing if debug info suppressed for this function.
1949         (dbxout_begin_function): Early exit if debug info suppressed for
1950         this function.
1951
1952 2005-02-16  Kazu Hirata  <kazu@cs.umass.edu>
1953
1954         PR target/20007
1955         * config/ip2k/ip2k.c (ip2k_reorg): Adjust calls to
1956         find_basic_blocks.
1957         * config/sh/sh.c (sh_output_mi_thunk): Likewise.
1958
1959         PR tree-optimization/19967
1960         * builtins.c (expand_builtin_strstr, expand_builtin_strpbrk,
1961         expand_builtin_strchr, expand_builtin_strrchr): Take a new
1962         argument TYPE.  Adjust calls to fold_builtin_XXX.
1963         (expand_builtin, fold_builtin_1): Adjust calls to
1964         expand_builtin_XXX.
1965         (fold_builtin_strchr, fold_builtin_strpbrk,
1966         fold_builtin_strstr, fold_builtin_strrchr): Convert the folded
1967         result to a requested type TYPE.
1968
1969 2005-02-16  Jakub Jelinek  <jakub@redhat.com>
1970
1971         PR middle-end/19857
1972         * fold-const.c (fold): Don't optimize (T)(x & cst) to
1973         (T)x & (T)cst if (T)cst overflows.
1974         * convert.c (convert_to_integer) <case POINTER_TYPE>: Pass
1975         TYPE_UNSIGNED (type) as type_for_size's UNSIGNEDP argument.
1976
1977 2005-02-15  Jeff Law  <law@redhat.com>
1978
1979         * gcse.c (blocks_with_calls): New bitmap.
1980         (alloc_gcse_mem): Allocate it.
1981         (free_gcse_mem): Free it.
1982         (clear_modifY_mem_tables): Clear it.
1983         (record_last_mem_set_info): Set the proper bit in BLOCK_WITH_CALLS
1984         when we encounter CALL_INSNs.
1985         (compute_transp, case MEM): Handle blocks with calls separate
1986         from blocks without calls.  Use bitmap iterators rather than
1987         FOR_EACH_BB.
1988
1989 2005-02-15  Peter O'Gorman  <peter@pogma.com>
1990
1991         PR bootstrap/18810
1992         * mklibgcc.in (vis_hide): Use a temporary object file, not
1993         -o /dev/null.
1994
1995 2005-02-15  Andy Hutchinson  <HutchinsonAndy@netscape.net>
1996
1997         PR target/19924
1998         * config/avr/avr.h (MODES_TIEABLE_P): Define to 1 to allow subreg
1999         access optimization.
2000
2001 2005-02-15  David Edelsohn  <edelsohn@gnu.org>
2002             Alan Modra  <amodra@bigpond.net.au>
2003
2004         PR target/19019
2005         * config/rs6000/darwin-ldouble.c (_xlqadd): Rename to __gcc_qadd.
2006         (_xlqsub): Rename to __gcc_qsub.
2007         (_xlqmul): Rename to __gcc_qmul.
2008         (_xlqdiv): Rename to __gcc_qdiv.
2009         Provide versioned symbol aliases with old names.
2010         * config/rs6000/libgcc-ppc64.ver: Rename symbols.
2011         * config/rs6000/rs6000.c (rs6000_init_libfuncs): Rename symbols.
2012         * config/rs6000/t-aix43 (LIB2FUNCS_EXTRA): New.
2013         * config/rs6000/t-aix52 (LIB2FUNCS_EXTRA): New.
2014         * config/rs6000/t-newas (LIB2FUNCS_EXTRA): New.
2015
2016 2005-02-15  James A. Morrison  <phython@gcc.gnu.org>
2017
2018         * fold-const.c (fold): Fold -(~A) to A + 1.  Fold ~(-A) to A - 1.
2019         Fold ~(A - 1) and ~(A + -1) to -A.
2020
2021 2005-02-15  James A. Morrison  <phython@gcc.gnu.org>
2022
2023         PR pch/14940
2024         PR target/19300
2025         * config/host-linux.c (linux_gt_pch_use_address): Copy from
2026         config/pa/pa-host.c:pa_gt_pch_use_address.
2027
2028 2005-02-15  Daniel Berlin  <dberlin@dberlin.org>
2029
2030         * tree-vn.c (get_value_handle): Make sure that given an
2031         is_gimple_min_invariant expression, we always return it.
2032
2033 2005-02-15  Kazu Hirata  <kazu@cs.umass.edu>
2034
2035         * passes.c (rest_of_handle_gcse): Fix a comment.
2036
2037 2005-02-15  Jeff Law  <law@redhat.com>
2038
2039         * gcse.c (canon_modify_mem_set_list_set): Kill unnecessary
2040         bitmap.
2041         (alloc_gcse_mem, free_gcse_mem): Corresponding changes.
2042         (canon_list_insert, record_last_mem_set_info): Similarly.
2043         (clear_modify_mem_tables): Similarly.
2044
2045 2005-02-15  Kazu Hirata  <kazu@cs.umass.edu>
2046
2047         * bitmap.c, bitmap.h, lambda-code.c, tree-dfa.c, tree-dump.c,
2048         tree-dump.h, tree-ssa-loop-manip.c, value-prof.c,
2049         config/mips/mips.md, config/rs6000/aix.h,
2050         config/rs6000/beos.h, config/rs6000/sysv4.h: Update copyright.
2051
2052 2005-02-15  Richard Henderson  <rth@redhat.com>
2053
2054         * bb-reorder.c (find_traces_1_round): Force fallthru edge from a
2055         call to be best_edge.
2056
2057 2005-02-14  Kazu Hirata  <kazu@cs.umass.edu>
2058
2059         * basic-block.h: Adjust the prototype for find_basic_blocks.
2060         * cfgbuild.c (find_basic_blocks): Remove unused arguments.
2061         * passes.c (rest_of_handle_loop_optimize): Adjust the call to
2062         find_basic_blocks.
2063
2064         * flow.c (recompute_reg_usage): Remove all arguments.
2065         * passes.c (rest_of_compilation): Adjust the call to
2066         recompute_reg_usage.
2067         * rtl.h: Adjust the prototype for recompute_reg_usage.
2068
2069 2005-02-14  Daniel Berlin  <dberlin@dberlin.org>
2070
2071         * tree-dump.c (dump_files): Update to reflect new member
2072         of dump_file_info.
2073         (dump_register): Add new argument.
2074         Set glob name.
2075         (dump_switch_p_1): Check against glob name if doglob was passed.
2076         (dump_switch_p): Check against regular first, then glob if
2077         we didn't have any hits on the dump name.
2078         * tree-optimize.c (register_one_dump_file):
2079         Pass in glob name as well.
2080         * tree-pass.h (struct dump_file_info): Add glob
2081         member.
2082
2083 2005-02-14  Joseph S. Myers  <joseph@codesourcery.com>
2084
2085         PR preprocessor/16323
2086         * doc/invoke.texi: Document that -Wendif-labels is on by default.
2087
2088 2005-02-14  David Edelsohn  <edelsohn@gnu.org>
2089
2090         PR target/19019
2091         * config/rs6000/rs6000.md (trunctfdf2): Change to define_expand.
2092         (trunctfdf2_internal1): New.
2093         (trunctfdf2_internal2): Renamed from trunctfdf2.
2094
2095 2005-02-14  Diego Novillo  <dnovillo@redhat.com>
2096
2097         PR tree-optimization/19853
2098         * tree-dfa.c (add_referenced_var): Always examine DECL_INITIAL.
2099
2100 2005-02-14  Kazu Hirata  <kazu@cs.umass.edu>
2101
2102         * passes.c (rest_of_handle_loop_optimize): Remove calls to
2103         delete_dead_jumptables and cleanup_cfg.
2104
2105 2005-02-14  Ulrich Weigand  <uweigand@de.ibm.com>
2106
2107         * reload.c (find_reloads): Swap address_reloaded flags when
2108         swapping commutative operands.
2109
2110 2005-02-14  Sebastian Pop  <pop@cri.ensmp.fr>
2111
2112         * lambda-code.c (lambda_loopnest_to_gcc_loopnest, perfect_nestify):
2113         Use standard_iv_increment_position for computing the bsi position
2114         for create_iv.
2115         * tree-ssa-loop-manip.c (create_iv): Add a comment on how to compute
2116         the bsi position.
2117
2118 2005-02-13  Zdenek Dvorak  <dvorakz@suse.cz>
2119
2120         PR target/17428
2121         * cfgrtl.c (safe_insert_insn_on_edge): Avoid extending
2122         life range of hard registers.
2123         * value-prof.c (insn_prefetch_values_to_profile): Only
2124         scan normal insns.
2125
2126         * value-prof.c (rtl_find_values_to_profile): Do not look for values to
2127         profile in libcalls.
2128
2129 2005-02-13  Nathan Sidwell  <nathan@codesourcery.com>
2130
2131         * bitmap.h (bitmap_and_compl_into): Return bool.
2132         * bitmap.c (bitmap_and_compl_into): Return changed flag.
2133
2134 2005-02-13  James A. Morrison  <phython@gcc.gnu.org>
2135
2136         PR tree-optimization/19944
2137         * fold-const.c (fold): Re-add ABS_EXPR folding.
2138
2139 2005-02-13  David Edelsohn  <edelsohn@gnu.org>
2140
2141         PR target/19019
2142         * config/rs6000/aix.h ({TARGET,MASK}_XL_CALL): Rename to
2143         {TARGET,MASK}_XL_COMPAT.
2144         (SUBTARGET_SWITCHES): Rename xl-call to xl-compat.  Use
2145         MASK_XL_COMPAT.
2146         * config/rs6000/beos.h ({TARGET,MASK}_XL_CALL): Remove.
2147         * config/rs6000/rs6000.c (function_arg): Change TARGET_XL_CALL to
2148         TARGET_XL_COMPAT.
2149         (rs6000_arg_partial_bytes): Same.
2150         (rs6000_generate_compare): Generate PARALLEL for compare if TFmode
2151         and XL compatibility enabled.
2152         * config/rs6000/rs6000.h (TARGET_XL_CALL): Rename to TARGET_XL_COMPAT.
2153         * config/rs6000/rs6000.md (cmptf_internal1): Add !TARGET_XL_COMPAT
2154         test to final condition.
2155         (cmptf_internal2): New.
2156         * doc/invoke.texi (RS/6000 Subtarget Options): Change xl-call to
2157         xl-compat.  Add TFmode information to description.
2158
2159 2005-02-13  Kazu Hirata  <kazu@cs.umass.edu>
2160
2161         * flags.h, read-rtl.c, tree-ssa-live.h: Update copyright.
2162
2163 2005-02-13  Jason Merrill  <jason@redhat.com>
2164
2165         PR c++/16405
2166         * fold-const.c (fold_indirect_ref_1): Split out from...
2167         (build_fold_indirect_ref): Here.
2168         (fold_indirect_ref): New fn.
2169         * tree.h: Declare it.
2170         * gimplify.c (gimplify_compound_lval): Call fold_indirect_ref.
2171         (gimplify_modify_expr_rhs): Likewise.
2172         (gimplify_expr): Likewise.
2173
2174 2005-02-13  James A. Morrison  <phython@gcc.gnu.org>
2175
2176         PR tree-optimization/14303
2177         PR tree-optimization/15784
2178         * fold-const.c (fold): Fold ABS_EXPR<x> >= 0 to true, when possible.
2179         Fold ABS_EXPR<x> < 0 to false.  Fold ABS_EXPR<x> == 0 to x == 0 and
2180         ABS_EXPR<x> != 0 to x != 0.
2181
2182 2005-02-12  Kazu Hirata  <kazu@cs.umass.edu>
2183
2184         * c-tree.h, combine.c, expmed.c, flow.c, libgcc2.c,
2185         simplify-rtx.c, tree-ssa-live.h: Fix comment typos.  Follow
2186         spelling conventions.
2187
2188         * passes.c (rest_of_handle_gcse): Don't run cse_main and
2189         delete_trivially_dead_insns too many times.
2190
2191         * passes.c (rest_of_handle_gcse): Remove dead assignments to
2192         tem and tem2.
2193
2194 2005-02-12  Ira Rosen  <irar@il.ibm.com>
2195
2196         * tree-vectorizer.c (vect_get_base_and_offset): Remove.
2197         (vect_is_simple_iv_evolution): Remove redundant parameter
2198         and step check.
2199         (vect_analyze_scalar_cycles): Call vect_is_simple_iv_evolution
2200         without last parameter.
2201         (vect_analyze_pointer_ref_access): Get access_fn as parameter.
2202         Return pointer step. Call vect_is_simple_iv_evolution without
2203         last parameter. Check only that the step is multiple of size
2204         type. Remove stmt_vinfo updates.
2205         (vect_get_memtag_and_dr): Remove.
2206         (vect_get_memtag): New function.
2207         (vect_address_analysis): New function.
2208         (vect_object_analysis): New function.
2209         (vect_analyze_data_refs): Call vect_object_analysis and
2210         vect_get_memtag. Update stmt_vinfo fields.
2211
2212 2005-02-12  Ira Rosen  <irar@il.ibm.com>
2213
2214         * tree-data-ref.c (array_base_name_differ_p): Check that the bases
2215         exist and are objects. Remove checks for pointer.
2216         * tree-vectorizer.c (vect_create_addr_base_for_vector_ref): Use
2217         STMT_VINFO_VECT_DR_BASE_ADDRESS instead of DR_BASE_NAME.
2218         (vect_create_data_ref_ptr): Likewise.
2219         (vect_base_addr_differ_p): New function.
2220         (vect_analyze_data_ref_dependence): Call vect_base_addr_differ_p.
2221         (vect_analyze_pointer_ref_access): Add output parameter - ptr_init.
2222         Don't set the DR_BASE_NAME field of data-ref.
2223         (vect_get_memtag_and_dr): Use ptr_init instead of DR_BASE_NAME.
2224
2225 2005-02-12  Uros Bizjak  <uros@kss-loka.si>
2226
2227         * optabs.h (enum optab_index): Add new OTI_ldexp.
2228         (ldexp_optab): Define corresponding macro.
2229         * optabs.c (init_optabs): Initialize ldexp_optab.
2230         * genopinit.c (optabs): Implement ldexp_optab using ldexp?f3
2231         patterns.
2232         * builtins.c (expand_builtin_mathfn_2): Handle BUILT_IN_LDEXP{,F,L}
2233         using ldexp_optab.
2234         (expand_builtin): Expand BUILT_IN_LDEXP{,F,L} using
2235         expand_builtin_mathfn_2 if flag_unsafe_math_optimizations is set.
2236
2237         * config/i386/i386.md (ldexpsf3, ldexpdf3, ldexpxf3): New expanders
2238         to implement ldexpf, ldexp and ldexpl built-ins as inline x87
2239         intrinsics.
2240
2241 2005-02-12  Ira Rosen  <irar@il.ibm.com>
2242
2243         * tree-vectorizer.h (struct _stmt_vec_info): Rename a field: base
2244         to base_address.
2245         * tree-vectorizer.c (new_stmt_vec_info): Rename the above field of
2246         stmt_vec_info.
2247         (vect_get_base_and_offset): Always return an address.
2248         (vect_create_addr_base_for_vector_ref): Remove treatment for
2249         different data reference types.
2250         (vect_compute_data_ref_alignment): Rename base to base_address in
2251         stmt_vec_info. Get the object in order to force its alignment.
2252         (vect_get_memtag_and_dr): Rename base to base_address in
2253         stmt_vec_info. Extract the object for memtag analysis.
2254
2255 2005-02-12  Hans-Peter Nilsson  <hp@axis.com>
2256
2257         PR regression/19898.
2258         * config/cris/cris.c (cris_notice_update_cc): When testing if insn
2259         changes cc_status, use apply modified_in_p to part of cc_status
2260         and insn, not cris_reg_overlap_mentioned_p on SET_DEST of insn
2261         body.
2262
2263 2005-02-11  Richard Henderson  <rth@redhat.com>
2264
2265         * tree-complex.c (expand_complex_libcall): New.
2266         (expand_complex_multiplication): Use it for c99 compliance.
2267         (expand_complex_division): Likewise.
2268         * fold-const.c (fold_complex_add, fold_complex_mult): New.
2269         (fold): Call them.
2270         * builtins.c (built_in_names): Remove const.
2271         * tree.c (build_common_builtin_nodes): Build complex arithmetic
2272         builtins.
2273         * tree.h (BUILT_IN_COMPLEX_MUL_MIN, BUILT_IN_COMPLEX_MUL_MAX): New.
2274         (BUILT_IN_COMPLEX_DIV_MIN, BUILT_IN_COMPLEX_DIV_MAX): New.
2275         (built_in_names): Remove const.
2276         * c-common.c (c_common_type_for_mode): Handle complex modes.
2277         * flags.h, toplev.c (flag_complex_method): Rename from
2278         flag_complex_divide_method.
2279         * libgcc2.c (__divsc3, __divdc3, __divxc3, __divtc3,
2280         __mulsc3, __muldc3, __mulxc3, __multc3): New.
2281         * libgcc2.h: Declare them.
2282         * libgcc-std.ver: Export them.
2283         * mklibgcc.in (lib2funcs): Build them.
2284
2285 2005-02-11  Steven Bosscher  <stevenb@suse.de>
2286
2287         PR tree-optimization/19876
2288         Partially revert my change from 2005-01-14
2289         * tree-ssa-pre.c (compute_antic_aux): Make recursive once again...
2290         (compute_antic): ...and remove the loop here.
2291
2292 2005-02-11  Jakub Jelinek  <jakub@redhat.com>
2293
2294         PR middle-end/19858
2295         * fold-const.c (make_bit_field_ref): If bitpos == 0 and bitsize
2296         is number of inner's bits, avoid creating a BIT_FIELD_REF.
2297
2298         * config/rs6000/sysv4.h (ENDFILE_LINUX_SPEC): Use crtendS.o instead of
2299         crtend.o if -pie.  Use %{x:a;:b} spec syntax.
2300
2301 2005-02-11  Daniel Jacobowitz  <dan@codesourcery.com>
2302
2303         * config/mips/linux-unwind.h (mips_fallback_frame_state): Adjust
2304         offsets for the big-endian 32-bit case.
2305
2306 2005-02-11  Joseph S. Myers  <joseph@codesourcery.com>
2307
2308         * config/ia64/hpux.h (WCHAR_TYPE, WCHAR_TYPE_SIZE): Define.
2309
2310 2005-02-11  Dale Johannesen  <dalej@apple.com>
2311
2312         * cselib.c (cselib_process_insn):  Clear out regs where
2313         HARD_REGNO_CALL_PART_CLOBBERED is true at a call.
2314         * reload.c (find_equiv_reg): Ditto.
2315
2316 2005-02-11  Ian Lance Taylor  <ian@airs.com>
2317
2318         * read-rtl.c (read_rtx_1): Give fatal error if we see a vector
2319         with no elements.
2320
2321         * tree.c (build_function_type_list): Work correctly if there are
2322         no arguments.
2323
2324 2005-02-11  Ulrich Weigand  <uweigand@de.ibm.com>
2325
2326         * config/s390/s390.md ("*cmpdi_cct", "*cmpsi_cct", "*cmpdi_ccs",
2327         "*cmpsi_ccs"): Use %h instead of %c to print immediate operand.
2328         ("*zero_extendhisi2_64", "*zero_extendhisi2_31"): Choose based on
2329         TARGET_ZARCH instead of TARGET_64BIT.
2330
2331 2005-02-11  Ralf Corsepius  <ralf.corsepius@rtems.org>
2332
2333         * config/rs6000/t-rtems:
2334         (MULTILIB_OPTIONS): Remove mcpu=602.
2335         (MUTLILIB_DIRNAMES): Remove m602.
2336         (MULTILIB_MATCHES): Add ${MULTILIB_MATCHES_FLOAT}.
2337         Let mcpu=602 match mcpu=603.
2338         (MULTILIB_NEW_EXCEPTIONS_ONLY): Add mcpu=601, mcpu=602, mcpu=m603.
2339
2340 2005-02-10  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
2341
2342         * pa/linux-unwind.h (pa32_fallback_frame_state): Handle misaligned
2343         signal trampolines.
2344
2345 2005-02-10  David Daney  <ddaney@avtrex.com>
2346
2347         * config/alpha/linux-unwind.h: Add exception clause to copyright.
2348         * config/i386/linux-unwind.h: Likewise.
2349         * config/ia64/linux-unwind.h: Likewise.
2350         * config/mips/linux-unwind.h: Likewise.
2351         * config/pa/linux-unwind.h: Likewise.
2352         * config/rs6000/linux-unwind.h: Likewise.
2353         * config/s390/linux-unwind.h: Likewise.
2354         * config/sh/linux-unwind.h: Likewise.
2355         * config/sparc/linux-unwind.h: Likewise.
2356
2357 2005-02-10  Steven Bosscher  <stevenb@suse.de>
2358
2359         PR tree-optimization/17549
2360         * tree-outof-ssa.c (find_replaceable_in_bb): Do not allow
2361         TER to replace a DEF with its expression if the DEF and the
2362         rhs of the expression we replace into have the same root
2363         variable.
2364
2365 2005-02-10  Richard Sandiford  <rsandifo@redhat.com>
2366
2367         * config/mips/mips.md: Fix the placement of the match_scratch in the
2368         lea64 peephole2.
2369
2370 2005-02-10  Kazu Hirata  <kazu@cs.umass.edu>
2371
2372         * cse.c, tree-ssa-loop-ivopts.c, config/rs6000/linux-unwind.h:
2373         Fix comment typos.
2374
2375 2005-02-10  Zdenek Dvorak  <dvorakz@suse.cz>
2376
2377         * tree-ssa-loop-ivopts.c (determine_base_object): Ignore casts.
2378         (strip_offset): Handle addresses.
2379         (add_address_candidates): Use strip_offset.
2380         (difference_cost): Reflect strip_offset change.
2381         (force_var_cost, difference_cost): Strip nops.
2382
2383 2005-02-10  Kazu Hirata  <kazu@cs.umass.edu>
2384
2385         * df.h (DF_REF_MODE_CHANGE, DF_REF_MEM_OK): Remove.
2386
2387         * builtins.def, haifa-sched.c, libgcc2.c, libgcc2.h,
2388         tree-ssa-loop-ivcanon.c, tree-ssa-loop-niter.c,
2389         config/cris/cris-protos.h, config/cris/cris.c: Update
2390         copyright.
2391
2392 2005-02-10  Jeff Law  <law@redhat.com>
2393
2394         * tree-ssa-dom.c (thread_across_edge): Use xmalloc, not xcalloc.
2395         (lookup_avail_expr): Similarly.
2396
2397 2005-02-10  Richard Guenther  <rguenth@gcc.gnu.org>
2398
2399         * builtins.c (fold_builtin_powi): New function.
2400         (fold_builtin_1): Call it.
2401
2402 2005-02-10  Steven Bosscher  <stevenb@suse.de>
2403
2404         PR documentation/19309
2405         * doc/cpp.texi: The __GNUC__ and related predefined macros
2406         are also defined for the "standalone" cpp.
2407         Some non-GCC compilers may also define __GNUC__.
2408
2409 2005-02-10  Jakub Jelinek  <jakub@redhat.com>
2410
2411         PR c/19342
2412         * c-typeck.c (common_type): New routine.  Old common_type renamed
2413         to...
2414         (c_common_type): ...this.
2415         (build_conditional_expr, build_binary_op): Use c_common_type instead
2416         of common_type.
2417
2418 2005-02-10  Steven Bosscher  <stevenb@suse.de>
2419
2420         * doc/md.texi: Replace @samp{length} with @code{length}.
2421
2422 2005-02-09  Zdenek Dvorak  <dvorakz@suse.cz>
2423
2424         PR tree-optimization/18687
2425         * tree-flow.h (find_loop_niter): Declare.
2426         * tree-ssa-loop-ivcanon.c (canonicalize_loop_induction_variables):
2427         Try using scev even for loops with more than one exit.
2428         * tree-ssa-loop-ivopts.c (struct loop_data): Removed niter field.
2429         (struct ivopts_data): Added niters field.
2430         (struct nfe_cache_elt): New.
2431         (nfe_hash, nfe_eq, niter_for_exit, niter_for_single_dom_exit): New
2432         functions.
2433         (tree_ssa_iv_optimize_init): Initialize niters cache.
2434         (determine_number_of_iterations): Removed.
2435         (find_induction_variables): Do not call determine_number_of_iterations.
2436         Access niters for single exit through niter_for_single_dom_exit.
2437         (add_iv_outer_candidates): Access niters for single exit through
2438         niter_for_single_dom_exit.
2439         (may_eliminate_iv): Take data argument.  Use niter_for_exit.  Do not use
2440         number_of_iterations_cond.
2441         (iv_period): New function.
2442         (determine_use_iv_cost_condition): Pass data to may_eliminate_iv.
2443         (may_replace_final_value): Take data argument.  Use
2444         niter_for_single_dom_exit.
2445         (determine_use_iv_cost_outer): Pass data to may_replace_final_value.
2446         (rewrite_use_compare): Pass data to may_eliminate_iv.
2447         (rewrite_use_outer): Pass data to may_replace_final_value.
2448         (free_loop_data): Clean up the niters cache.
2449         (tree_ssa_iv_optimize_finalize): Free the niters cache.
2450         (tree_ssa_iv_optimize_loop): Do not call loop_commit_inserts.
2451         * tree-ssa-loop-niter.c (find_loop_niter): New function.
2452         (find_loop_niter_by_eval): Use tree_int_cst_lt.
2453         (num_ending_zeros): Moved to tree.c.
2454         * tree.h (num_ending_zeros): Declare.
2455         * tree.c (num_ending_zeros): Moved from tree.c.
2456
2457 2005-02-09  Richard Henderson  <rth@redhat.com>
2458
2459         * builtins.c (DEF_BUILTIN): Add COND argument.
2460         * tree.h (DEF_BUILTIN): Likewise.
2461         * builtins.def (DEF_GCC_BUILTIN, DEF_LIB_BUILTIN, DEF_EXT_LIB_BUILTIN,
2462         DEF_C94_BUILTIN, DEF_C99_BUILTIN, DEF_C99_C90RES_BUILTIN): Update to
2463         match.
2464         (DEF_BUILTIN_STUB): New.
2465         (BUILT_IN_STACK_SAVE, BUILT_IN_STACK_RESTORE, BUILT_IN_INIT_TRAMPOLINE,
2466         BUILT_IN_ADJUST_TRAMPOLINE, BUILT_IN_NONLOCAL_GOTO,
2467         BUILT_IN_PROFILE_FUNC_ENTER, BUILT_IN_PROFILE_FUNC_EXIT): Use it.
2468         * c-common.c (DEF_BUILTIN): Add COND argument.
2469         * tree.c (local_define_builtin): New.
2470         (build_common_builtin_nodes): New.
2471
2472 2005-02-09  Roger Sayle  <roger@eyesopen.com>
2473
2474         * fold-const.c (fold_strip_sign_ops): New function to simplify a
2475         floating point expression ignoring the sign of the result.
2476         (fold) <ABS_EXPR>: Use it to simplify fabs(x).
2477         (fold) <MULT_EXPR>: Use it to simplify x*x.
2478         * tree.h (fold_strip_sign_ops): Prototype here.
2479         * builtins.c (fold_builtin_copysign): Take an additional FNDECL
2480         argument.  Use fold_strip_sign_ops to simplify the first argument.
2481         (fold_builtin_pow):  Use fold_strip_sign_ops to simplify the
2482         first argument when the second argument is an even integer
2483         constant, but only with -funsafe_math_optimizations.
2484         (fold_builtin_1): Update call to fold_builtin_copysign.
2485
2486 2005-02-09  Ian Lance Taylor  <ian@airs.com>
2487
2488         PR middle-end/19583
2489         * gimple-low.c (try_catch_may_fallthru): In EH_FILTER_EXPR case,
2490         just check whether EH_FILTER_FAILURE falls through.
2491
2492 2005-02-09  Andreas Krebbel  <krebbel1@de.ibm.com>
2493
2494         * gcc/haifa-sched.c (schedule_block): Make queued sched group
2495         insns return to ready list in the next turn.
2496
2497 2005-02-09  Richard Guenther  <rguenth@gcc.gnu.org>
2498
2499         PR middle-end/19402
2500         * builtins.def: New __builtin_powi[lf].
2501         * builtins.c (mathfn_built_in): Handle BUILT_IN_POWI.
2502         (expand_builtin_powi): New function.
2503         (expand_builtin): Dispatch to expand_builtin_powi.
2504         * libgcc2.h: Add prototypes for __builtin_powi[lf].
2505         * libgcc2.c: Add __builtin_powi[lf] implementation.
2506         * mklibgcc.in: Add __builtin_powi[lf] to lib2funcs.
2507         * optabs.h: Add powi_optab.
2508         * optabs.c (init_optabs): Initialize powi_optab.
2509         * doc/extend.texi: Document __builtin_powi[lf].
2510
2511 2005-02-09  Dorit Naishlos  <dorit@il.ibm.com>
2512
2513         * tree-vectorizer.c (vect_set_dump_settings): Check that dump_file
2514         exists.
2515
2516 2005-02-09  Richard Guenther  <rguenth@gcc.gnu.org>
2517
2518         PR middle-end/19854
2519         * fold-const.c (try_move_mult_to_index): Remove redundant
2520         type argument.  Create ADDR_EXPR with correct type.
2521         (fold): Update callers of try_move_mult_to_index.  Convert
2522         result to the appropriate type.
2523
2524 2005-02-09  Roger Sayle  <roger@eyesopen.com>
2525
2526         PR target/19597
2527         * config/avr/avr.c (default_rtx_costs): Delete.
2528         (avr_operand_rtx_cost): New function.
2529         (avr_rtx_costs): Completely rewrite.
2530
2531 2005-02-08  Hans-Peter Nilsson  <hp@axis.com>
2532
2533         PR target/19806
2534         * config/cris/cris.c (in_code): New variable.
2535         (cris_output_addr_const): Now a static function, a wrapper for
2536         output_addr_const.
2537         (cris_asm_output_symbol_ref): New function, broken out SYMBOL_REF
2538         case from old cris_output_addr_const.
2539         (cris_asm_output_label_ref): Similar for LABEL_REF.
2540         (cris_output_addr_const_extra): Similar for UNSPEC.
2541         * config/cris/cris.h (OUTPUT_ADDR_CONST_EXTRA)
2542         (ASM_OUTPUT_SYMBOL_REF, ASM_OUTPUT_LABEL_REF): Define.
2543         * config/cris/cris-protos.h (cris_output_addr_const): Remove
2544         declaration.
2545         (cris_asm_output_symbol_ref, cris_output_addr_const_extra)
2546         (cris_asm_output_label_ref): Declare.
2547
2548 2005-02-08  Paolo Bonzini  <bonzini@gnu.org>
2549
2550         PR preprocessor/19801
2551         * doc/cppinternals.texi (Conventions, Lexer, Files): Adjust
2552         filenames that changed when libcpp was moved to the toplevel.
2553
2554 2005-02-07  Roger Sayle  <roger@eyesopen.com>
2555
2556         * simplify-rtx.c (simplify_relational_operation_1): Avoid creating
2557         zero extensions of BImode operands.  Call lowpart_subreg instead
2558         of gen_lowpart_common and gen_lowpart_SUBREG.
2559
2560 2005-02-07  Nathanael Nerode  <neroden@gcc.gnu.org>
2561
2562         PR ada/19489
2563         * libada-mk.in: Use cc_for_cross_gnattools, not cc_set_by_configure.
2564         * configure.ac: Set cc_for_cross_gnattools.
2565         * configure: Regenerate.
2566
2567 2005-02-08  Alan Modra  <amodra@bigpond.net.au>
2568
2569         PR target/19803
2570         * predict.c (PROB_VERY_UNLIKELY): Use 1% instead of 10%.
2571
2572 2005-02-07  Eric Botcazou  <ebotcazou@libertysurf.fr>
2573
2574         PR debug/19327
2575         * dbxout.c (dbxout_symbol) <FUNCTION_DECL>: Skip inline instance
2576         of nested functions.
2577
2578 2005-02-07  Jonathan Wakely  <redi@gcc.gnu.org>
2579
2580         * doc/extend.texi: Document deprecated extensions allowing
2581         static floating-point members to have initializers and allowing
2582         floating-point literals in integral constant expressions.
2583
2584 2005-02-07  Kazu Hirata  <kazu@cs.umass.edu>
2585
2586         * cfgcleanup.c, df.h, diagnostic.c, rtl.c, tree-vectorizer.h,
2587         config/darwin7.h, config/mips/mips.c,
2588         config/rs6000/altivec.md, config/rs6000/darwin-tramp.asm:
2589         Update copyright.
2590
2591         * cse.c: Update comments.
2592
2593 2005-02-07  Richard Guenther  <rguenth@gcc.gnu.org>
2594
2595         PR middle-end/19775
2596         * builtins.c (fold_builtin_sqrt): Transform
2597         sqrt(pow(x,y)) to pow(fabs(x),y*0.5), not
2598         pow(x,y*0.5).
2599
2600 2005-02-07  Leehod Baruch  <leehod@il.ibm.com>
2601             Dorit Naishlos  <dorit@il.ibm.com>
2602
2603         * doc/invoke.texi (ftree-vectorizer-verbose): New.
2604         * opts.c (OPT_ftree_vectorizer_verbose_): New case for switch.
2605         * common.opt (ftree-vectorizer-verbose): New Flag for the vectorizer
2606         was added.
2607         * tree.h (vect_set_verbosity_level): New extern function declaration
2608         added.
2609         * tree-vectorizer.h (verbosity_levels): New enum type.
2610         * tree-vectorizer.c (vect_debug_stats): Function removed.
2611         (vect_debug_details): Likewise.
2612         (vect_verbosity_level): Global variable was defined and initialized.
2613         (vect_dump): Global variable definition.
2614         (vect_print_dump_info): New function.
2615         (vect_set_dump_settings): New function.
2616         (vect_set_verbosity_level): New function.
2617         (vectorize_loops): Add call to vect_set_dump_settings.
2618
2619         (slpeel_make_loop_iterate_ntimes): Dump condition was changed.
2620         (slpeel_tree_duplicate_loop_to_edge_cfg): Likewise.
2621         (slpeel_tree_peel_loop_to_edge): Likewise.
2622
2623         (vect_analyze_offset_expr): Call to vect_print_dump_info with
2624         appropriate verbosity level instead of call to vect_debug_details
2625         or vect_debug_stats.
2626         (vect_get_base_and_offset):
2627         (vect_create_addr_base_for_vector_ref):
2628         (get_vectype_for_scalar_type):
2629         (vect_create_data_ref_ptr):
2630         (vect_init_vector):
2631         (vect_get_vec_def_for_operand):
2632         (vect_finish_stmt_generation):
2633         (vectorizable_assignment):
2634         (vectorizable_operation):
2635         (vectorizable_store):
2636         (vectorizable_load):
2637         (vect_transform_stmt):
2638         (vect_update_ivs_after_vectorizer):
2639         (vect_do_peeling_for_loop_bound):
2640         (vect_update_inits_of_drs):
2641         (vect_do_peeling_for_alignment):
2642         (vect_transform_loop):
2643         (vect_is_simple_use):
2644         (vect_analyze_operations):
2645         (vect_is_simple_iv_evolution):
2646         (vect_analyze_scalar_cycles):
2647         (vect_analyze_data_ref_dependence):
2648         (vect_analyze_data_ref_dependences):
2649         (vect_compute_data_ref_alignment):
2650         (vect_enhance_data_refs_alignment):
2651         (vect_analyze_data_refs_alignment):
2652         (vect_analyze_data_ref_access):
2653         (vect_analyze_data_ref_accesses):
2654         (vect_analyze_pointer_ref_access):
2655         (vect_get_memtag_and_dr):
2656         (vect_analyze_data_refs):
2657         (vect_mark_relevant):
2658         (vect_stmt_relevant_p):
2659         (vect_mark_stmts_to_be_vectorized):
2660         (vect_can_advance_ivs_p):
2661         (vect_get_loop_niters):
2662         (vect_analyze_loop_form):
2663         (vect_analyze_loop):
2664         (vectorize_loops): Likewise.
2665
2666         (vect_do_peeling_for_loop_bound): Dump format slightly changed.
2667         (vect_update_inits_of_drs):
2668         (vect_do_peeling_for_alignment):
2669         (vect_transform_loop):
2670         (vect_analyze_operations):
2671         (vect_analyze_scalar_cycles):
2672         (vect_analyze_data_ref_dependences):
2673         (vect_analyze_data_refs_alignment):
2674         (vect_analyze_data_ref_accesses):
2675         (vect_analyze_data_refs):
2676         (vect_mark_stmts_to_be_vectorized):
2677         (vect_get_loop_niters):
2678         (vect_analyze_loop_form):
2679         (vect_analyze_loop): Likewise.
2680         (vect_mark_stmts_to_be_vectorized): Add call to print_generic_expr.
2681
2682 2005-02-07  Richard Sandiford  <rsandifo@redhat.com>
2683
2684         PR bootstrap/19796
2685         Revert:
2686         2005-01-26  Richard Sandiford  <rsandifo@redhat.com>
2687         * config/mips/iris6.h (ENDFILE_SPEC): Don't link in irix-csr.o if
2688         either -ffast-math or -funsafe-math-optimizations is in use.
2689
2690         2005-01-24  Richard Sandiford  <rsandifo@redhat.com>
2691         * config/mips/irix-csr.c: New file.
2692         * config/mips/t-iris6 (irix-csr.o): New rule to build it.
2693         (EXTRA_MULTILIB_PARTS): Add irix-csr.o.
2694         * config/mips/iris6.h (ENDFILE_SPEC): Include it in n32 and n64
2695         executables.
2696
2697 2005-02-07  Alexandre Oliva  <aoliva@redhat.com>
2698
2699         * config/mn10300/linux.h (LIB_SPEC, STARTFILE_SPEC): Remove
2700         redundant, incorrect definitions.
2701
2702         * config/frv/frv.md ("tls_indirect_call"): Turn into libcall-like
2703         expand.
2704         ("*tls_indirect_call"): New, reference hard regs directly.
2705         * config/frv/frv.c (gen_inlined_tls_plt): Adjust.
2706
2707 2005-02-07  Ralf Corsepius  <ralf.corsepius@rtems.org>
2708
2709         * config/arm/rtems-elf.h (SUBTARGET_EXTRA_ASM_SPEC):
2710         Let !-mhard-float !-msoft-float imply -mfpu=softfpa.
2711
2712 2005-02-06  Roger Sayle  <roger@eyesopen.com>
2713
2714         PR rtl-optimization/19800
2715         * simplify_rtx.c (simplify_relational_operation_1): Explicitly
2716         call gen_lowpart_common and gen_lowpart_SUBREG instead of calling
2717         gen_lowpart.
2718
2719 2005-02-07  Ralf Corsepius  <ralf.corsepius@rtems.org>
2720
2721         * config/m68k/t-rtems (MULTILIB_MATCHES): Let m528x match m5200.
2722
2723 2005-02-07  Joseph S. Myers  <joseph@codesourcery.com>
2724
2725         PR other/17135
2726         * doc/invoke.texi: Correct documentation of -freorder-functions.
2727
2728 2005-02-06  Joseph S. Myers  <joseph@codesourcery.com>
2729
2730         PR other/14402
2731         * doc/invoke.texi: Don't mention gccbug.
2732
2733 2005-02-06  Roger Sayle  <roger@eyesopen.com>
2734             Andrew Pinski  <pinskia@physics.uc.edu>
2735             Paolo Bonzini  <paolo.bonzini@lu.unisi.ch>
2736
2737         * simplify-rtx.c (simplify_relational_operation_1): Simplify
2738         (ne:SI (zero_extract:SI FOO (const_int 1) BAR) (const_int 0))
2739         into just (zero_extract:SI FOO (const_int 1) BAR).
2740
2741 2005-02-06  Joseph S. Myers  <joseph@codesourcery.com>
2742
2743         * doc/cpp.texi: Include gcc-common.texi.  Don't define gcctabopt
2744         macro locally.  Don't give last revision date.  Use GCC version
2745         number from gcc-common.texi.
2746         * doc/cppinternals.texi: Include gcc-common.texi.  Don't give last
2747         revision date.  Use GCC version number from gcc-common.texi.
2748         Describe being a library as current state rather than as 3.x
2749         history.
2750         * doc/gcc.texi: Remove last update date.
2751         * doc/gccint.texi: Likewise.  Update copyright dates.
2752         * doc/install.texi: Update copyright dates.
2753
2754 2005-02-06  Joseph S. Myers  <joseph@codesourcery.com>
2755
2756         PR other/7549
2757         * doc/invoke.texi: Mention for each option included in -Wall that
2758         it is included in -Wall.
2759         * doc/gcc.texi: Update copyright and last modification date.
2760
2761 2005-02-06  Zdenek Dvorak  <dvorakz@suse.cz>
2762
2763         * tree-ssa-loop-ivopts.c (rewrite_use_nonlinear_expr): Do not add
2764         unnecessary cast to original induction variable increments.
2765
2766 2005-02-06  Zdenek Dvorak  <dvorakz@suse.cz>
2767
2768         PR tree-optimization/18219
2769         * tree-ssa-loop-ivopts.c (get_computation_at): Produce computations
2770         in distributed form.
2771
2772 2005-02-06  Richard Sandiford  <rsandifo@redhat.com>
2773
2774         * expmed.c (store_bit_field): Make the SUBREG code adjust bitnum.
2775         Set bitpos and offset later in the function.  Do nothing if the
2776         target is a register and if the bitfield lies completely outside
2777         that register.
2778         (extract_bit_field): Make the same SUBREG, bitpos and offset changes
2779         here.  Return an uninitialised register if the source value is stored
2780         in a register and the bitfield lies completely outside that register.
2781
2782 2005-02-06  Steven Bosscher  <stevenb@suse.de>
2783
2784         * df.c (df_insn_refs_record): Use XEXP to get the operand of a USE,
2785         not SET_DEST.
2786
2787 2005-02-06  Marcin Dalecki  <martin@dalecki.de>
2788
2789         * diagnostic.c (default_diagnostic_finalizer): Fix use of attribute.
2790
2791 2005-02-06  Geoffrey Keating  <geoffk@apple.com>
2792
2793         * config.gcc (*-*-darwin*): Separate darwin7 and darwin8 configs.
2794         * config/darwin8.h: New.
2795         * config/darwin7.h: Update comment.
2796
2797 2005-02-03  Leehod Baruch  <leehod@il.ibm.com>
2798             Dorit Naishlos  <dorit@il.ibm.com>
2799
2800         * tree-vectorizer.h (LOC): New type.
2801         (UNKNOWN_LOC, EXPR_LOC, LOC_FILE, LOC_LINE): New macros.
2802         (loop_line_number): New field in struct _loop_vec_info.
2803         (LOOP_VINFO_LOC, LOOP_LOC): New macros.
2804
2805         * tree-vectorizer.c (input.h): Included.
2806         (find_loop_location): New function.
2807         (vect_debug_stats): Argument changed from loop to LOC. Computation of
2808         loop line number removed.
2809         (vect_debug_details): Likewise.
2810         (new_loop_vec_info): Initialize new field LOOP_VINFO_LOC.
2811
2812         (slpeel_make_loop_iterate_ntimes): Call find_loop_location. Argument in
2813         call to vect_debug_details/stats changed from loop to loop_loc.
2814         (slpeel_tree_duplicate_loop_to_edge_cfg): Likewise.
2815         (slpeel_tree_peel_loop_to_edge): Likewise.
2816
2817         (vect_analyze_offset_expr): Argument in call to vect_debug_details/stats
2818         changed from NULL to UNKNOWN_LOC.
2819         (vect_get_base_and_offset):
2820         (vect_create_addr_base_for_vector_ref):
2821         (get_vectype_for_scalar_type):
2822         (vect_create_data_ref_ptr):
2823         (vect_init_vector):
2824         (vect_get_vec_def_for_operand):
2825         (vect_finish_stmt_generation):
2826         (vectorizable_assignment):
2827         (vectorizable_operation):
2828         (vectorizable_store):
2829         (vectorizable_load):
2830         (vect_transform_stmt):
2831         (vect_update_ivs_after_vectorizer):
2832         (vect_do_peeling_for_loop_bound):
2833         (vect_do_peeling_for_alignment):
2834         (vect_transform_loop):
2835         (vect_is_simple_use):
2836         (vect_analyze_operations):
2837         (vect_is_simple_iv_evolution):
2838         (vect_analyze_scalar_cycles):
2839         (vect_analyze_data_ref_dependences):
2840         (vect_compute_data_ref_alignment):
2841         (vect_enhance_data_refs_alignment):
2842         (vect_analyze_data_ref_access):
2843         (vect_analyze_data_ref_accesses):
2844         (vect_analyze_pointer_ref_access):
2845         (vect_get_memtag_and_dr):
2846         (vect_analyze_data_refs):
2847         (vect_mark_relevant):
2848         (vect_stmt_relevant_p):
2849         (vect_mark_stmts_to_be_vectorized):
2850         (vect_can_advance_ivs_p):
2851         (vect_get_loop_niters):
2852         (vect_analyze_loop):
2853         (vectorize_loops): Likewise.
2854
2855         (vectorizable_load): Argument in call to vect_debug_details/stats
2856         changed from loop to LOOP_LOC (loop_vinfo).
2857         (vect_transform_loop):
2858         (vect_analyze_operations):
2859         (vect_analyze_scalar_cycles):
2860         (vect_analyze_data_ref_dependence):
2861         (vect_enhance_data_refs_alignment):
2862         (vect_analyze_data_ref_accesses):
2863         (vect_analyze_pointer_ref_access):
2864         (vect_analyze_data_refs):
2865         (vect_analyze_loop): Likewise.
2866
2867         (vect_analyze_loop_form): Argument in call to vect_debug_details/stats
2868         changed from loop to loop_loc.
2869
2870         (vect_enhance_data_refs_alignment): Removed unused variable loop.
2871
2872 2005-02-03  Leehod Baruch  <leehod@il.ibm.com>
2873             Dorit Naishlos  <dorit@il.ibm.com>
2874
2875         * tree-vectorizer.c (vect_analyze_data_ref_dependence): Function
2876         declaration added.
2877         (vect_analyze_data_ref_dependences): Likewise.
2878
2879         (vect_is_simple_use): Argument changed from loop structure to
2880         loop_vect_info structure.
2881         (vect_can_advance_ivs_p): Likewise.
2882         (vect_create_index_for_vector_ref): Likewise.
2883         (vect_update_ivs_after_vectorizer): Likewise.
2884         (new_stmt_vec_info): Likewise.
2885
2886         (new_loop_vec_info): Second argument in call to new_stmt_vec_info was
2887         changed from loop to loop_vinfo.
2888         (vect_create_data_ref_ptr): First argument in call to
2889         vect_create_index_for_vector_ref was changed from loop to loop_vinfo.
2890         (vectorizable_assignment): Second argument in call to vect_is_simple_use
2891         was changed from loop to loop_vinfo.
2892         (vectorizable_operation): Likewise.
2893         (vectorizable_store): Likewise.
2894         (vect_mark_stmts_to_be_vectorized): Likewise.
2895         (vect_do_peeling_for_loop_bound): First argument in call to
2896         vect_update_ivs_after_vectorizer was changed from loop to loop_vinfo.
2897         (vect_analyze_operations): Argument in call to vect_can_advance_ivs_p
2898         was changed from loop to loop_vinfo.
2899         (vect_analyze_data_ref_dependences): Third argument in call to
2900         vect_analyze_data_ref_dependence was changed from loop to loop_vinfo.
2901
2902         (vect_create_index_for_vector_ref): Get the loop from loop_vinfo.
2903         (vect_create_data_ref_ptr): Likewise.
2904         (vect_init_vector): Likewise.
2905         (vect_get_vec_def_for_operand): Likewise.
2906         (vectorizable_assignment): Likewise.
2907         (vectorizable_operation): Likewise.
2908         (vectorizable_store): Likewise.
2909         (vectorizable_load): Likewise.
2910         (vect_update_ivs_after_vectorizer): Likewise.
2911         (vect_is_simple_use): Likewise.
2912         (vect_analyze_data_ref_dependence): Likewise.
2913         (vect_analyze_pointer_ref_access): Likewise.
2914         (vect_can_advance_ivs_p): Likewise.
2915
2916         * tree-vectorizer.h: (_loop_vec_info): Definition and macros moved
2917         before _stmt_vec_info.
2918         (_stmt_vec_info): Loop field replaced by loop_vec_info.
2919         (STMT_VINFO_LOOP): Replaced with STMT_VINFO_LOOP_VINFO.
2920         (new_stmt_vec_info): Argument changed from loop structure to
2921         loop_vect_info structure
2922
2923         (vect_analyze_data_ref_dependences): Unnecessary line was removed.
2924         (vect_analyze_offset_expr): Avoid 80 columns overflow.
2925         (vect_create_addr_base_for_vector_ref): Likewise.
2926         (vect_analyze_pointer_ref_access): Likewise.
2927
2928 2005-02-03  Andrew Pinski  <pinskia@physics.uc.edu>
2929
2930         PR tree-opt/19768
2931         * tree-ssa-dse.c (fix_phi_uses): Update the occurs in abnormal
2932         phi flag if the phi is abnormal.
2933
2934 2005-02-03  Andrew Pinski  <pinskia@physics.uc.edu>
2935
2936         PR tree-opt/19736
2937         * tree-ssa.c (replace_immediate_uses): Update the immediate_uses
2938         information for the new statement.
2939
2940 2005-02-03  Joseph S. Myers  <joseph@codesourcery.com>
2941
2942         PR driver/19117
2943         * gcc.c (main): Include the target in -v output.
2944
2945 2005-02-03  Alexandre Oliva  <aoliva@redhat.com>
2946
2947         * combine.c (simplify_comparison, case SIGN_EXTEND, ZERO_EXTEND):
2948         Do not drop the extend if we'd have to add a paradoxical subreg
2949         later.  Include optabs.h and insn-codes.h.
2950         * Makefile.in (combine.o): Depend on $(OPTABS_H).
2951
2952 2005-02-02  Roger Sayle  <roger@eyesopen.com>
2953
2954         PR middle-end/19405
2955         * real.h (REAL_MODE_FORMAT_COMPOSITE_P): New macro.
2956         * fold-const.c (const_binop): Avoid constant folding floating
2957         point operations in modes that use composite representations.
2958         * simplify-rtx.c (simplify_binary_operation): Likewise.
2959
2960 2005-02-02  Geoffrey Keating  <geoffk@apple.com>
2961
2962         * config/rs6000/altivec.md (altivec_dst): Make the first operand
2963         a REG, not a MEM.
2964         (altivec_dstt): Likewise.
2965         (altivec_dstst): Likewise.
2966         (altivec_dststt): Likewise.
2967         * config/rs6000/rs6000.c (altivec_expand_dst_builtin): Adjust creation
2968         of first operand.
2969
2970 2005-02-03  Dorit Naishlos  <dorit@il.ibm.com>
2971
2972         * tree-vectorizer.c (slpeel_make_loop_iterate_ntimes): Copy
2973         EXPR_LOCUS from orig_cond to the new cond_stmt.
2974         (vect_finish_stmt_generation): Copy EXPR_LOCUS from stmt to
2975         the new vec_stmt.
2976
2977 2005-02-03  Dorit Naishlos  <dorit@il.ibm.com>
2978
2979         * tree-vectorizer.c (slpeel_make_loop_iterate_ntimes): Call
2980         standard_iv_increment_position. Remove call to bsi_next
2981         (no need to bump the iterator anymore).
2982         (vect_create_index_for_vector_ref): Call
2983         standard_iv_increment_position. Remove second function argument.
2984         (vect_finish_stmt_generation): Remove call to bsi_next
2985         (no need to bump the iterator anymore).
2986         (vect_create_data_ref_ptr): Remove second argument (bsi) in call
2987         to vect_create_index_for_vector_ref.
2988
2989 2005-02-03  Dorit Naishlos  <dorit@il.ibm.com>
2990
2991         * tree-vectorizer.c (vect_mark_stmts_to_be_vectorized): Check if
2992         phis are used out of the loop.
2993
2994 2005-02-03  Joseph S. Myers  <joseph@codesourcery.com>
2995
2996         PR c/17807
2997         * c-decl.c (undef_nested_function): New variable.
2998         (pop_scope): Diagnose undefined nested functions.
2999         (finish_function): Don't attempt cgraph processing or genericizing
3000         if current top-level function contained an undefined nested
3001         function.  Reset undef_nested_function at the end of a top-level
3002         function.
3003
3004 2005-02-02  Zdenek Dvorak  <dvorakz@suse.cz>
3005
3006         * tree.c (build_int_cst_type): Take sign of the value into account
3007         when deciding whether sign extend the value.
3008
3009 2005-02-02  Joseph S. Myers  <joseph@codesourcery.com>
3010
3011         PR c/18502
3012         * gcc.c (cpp_unique_options): Remove %{trigraphs}.
3013         (cpp_options, cc1_options): Change %{std*&ansi} to
3014         %{std*&ansi&trigraphs}.
3015
3016 2005-02-02  Kazu Hirata  <kazu@cs.umass.edu>
3017
3018         * cse.c: Update comments.
3019
3020 2005-02-02  Aldy Hernandez  <aldyh@redhat.com>
3021
3022         * config/rs6000/rs6000.c (rs6000_spe_function_arg): Multi-reg
3023         arguments go on the stack.  Do not put complex doubles in odd/even
3024         pairs.
3025
3026 2005-02-02  Steven Bosscher  <stevenb@suse.de>
3027
3028         * doc/invoke.texi: Update the options enabled at -O1, -O2,
3029         and -O3.  Update the documentation for -fgcse-sm, -fgcse-las,
3030         -ftree-pre, and -fthread-jumps.
3031
3032 2005-02-02  Richard Sandiford  <rsandifo@redhat.com>
3033
3034         PR tree-optimization/19578
3035         * tree-flow.h (modified_noreturn_calls): Declare.
3036         (noreturn_call_p): Declare.
3037         * tree-flow-inline.h (noreturn_call_p): New function.
3038         (modify_stmt): Add modified noreturn calls to modified_noreturn_calls.
3039         * tree-cfg.c (modified_noreturn_calls): New variable.
3040         (cleanup_control_flow): Use noreturn_call_p.  Split basic blocks
3041         that contain a mid-block noreturn call.
3042         * tree-ssa.c (delete_tree_ssa): Clear modified_noreturn_calls.
3043
3044 2005-02-02  Kazu Hirata  <kazu@cs.umass.edu>
3045
3046         * df.c (df_def_record_1, df_uses_record): Don't use
3047         DF_FOR_REGALLOC.
3048         * df.h (DF_FOR_REGALLOC): Remove.
3049
3050 2005-02-02  Joseph S. Myers  <joseph@codesourcery.com>
3051
3052         PR c/19435
3053         * c-typeck.c (really_start_incremental_init): Reset
3054         constructor_max_index for arrays of incomplete type.
3055
3056 2005-02-02  Jeff Law  <law@redhat.com>
3057
3058         * gcse.c (struct reg_set): Store the block index where the register
3059         was set rather than the setting insn.
3060         (record_one_set, compute_transp): Corresponding changes.
3061         (pre_insert_copy_insn): Do not call replace_one_set.
3062         (replace_one_set): Remove.
3063
3064 2005-02-02  Joseph S. Myers  <joseph@codesourcery.com>
3065
3066         PR other/15514
3067         * doc/gcov.texi: Fix typo.
3068
3069 2005-02-01  Richard Henderson  <rth@redhat.com
3070
3071         PR target/19680
3072         * config/i386/i386.h (MODES_TIEABLE_P): Use ix86_modes_tieable_p.
3073         * config/i386/i386.c (ix86_hard_regno_mode_ok): Change return
3074         type to bool.
3075         (ix86_tieable_integer_mode_p, ix86_modes_tieable_p): New.
3076         * config/i386/i386-protos.h: Update.
3077
3078 2005-02-01  Steven Bosscher  <stevenb@suse.de>
3079
3080         PR tree-optimization/19217
3081         * tree-cfg.c (verify_expr): Use the data field to see if TP was
3082         seen inside a PHI node.  Do not do the ADDR_EXPR check if it was.
3083         (verify_stmts): Pass (void*)1 as data to verify_expr to signal
3084         that it is walking a PHI node.
3085
3086 2005-02-01  Joseph S. Myers  <joseph@codesourcery.com>
3087
3088         * doc/extend.texi (Nested Functions): Update.
3089
3090 2005-02-01  Richard Henderson  <rth@redhat.com>
3091
3092         PR 19696
3093         * optabs.c (expand_copysign_absneg): Export.
3094         * optabs.h (expand_copysign_absneg): Declare.
3095         * config/rs6000/rs6000.md (copysigntf3): New.
3096
3097 2005-02-01  Diego Novillo  <dnovillo@redhat.com>
3098
3099         PR tree-optimization/19633
3100         * tree-flow.h (struct ptr_info_def): Add field 'pt_null'.
3101         * tree-ssa-alias.c (init_alias_info): Initialize.
3102         (merge_pointed_to_info): Set.
3103         (add_pointed_to_expr): Set pt_null if EXPR is a NULL pointer.
3104         (dump_points_to_info_for): Show value of pt_null.
3105         (struct count_ptr_d): Declare.
3106         (find_ptr_dereference): Remove.
3107         (ptr_is_dereferenced_by): Remove.
3108         (count_ptr_derefs): New local function.
3109         (count_uses_and_derefs): New local function.
3110         (compute_points_to_and_addr_escape): Call it.  If the number
3111         of dereferences is greater than zero, mark the pointer as
3112         dereferenced.  If there are fewer dereferences than uses of
3113         the pointer, the pointer's value escapes.
3114
3115 2005-02-01  Diego Novillo  <dnovillo@redhat.com>
3116
3117         PR tree-optimization/19670
3118         * tree-ssa.c (verify_ssa_name): Don't set TREE_VISITED
3119         here...
3120         (verify_use): ... set it here, instead.
3121
3122 2005-02-01  Janis Johnson  <janis187@us.ibm.com>
3123
3124         * doc/sourcebuild.texi (Test directives): Fix formatting.
3125
3126         * doc/sourcebuild.texi (Test directives): Describe selector
3127         expressions.
3128
3129 2005-02-01  Segher Boessenkool  <segher@kernel.crashing.org>
3130
3131         * config.gcc (powerpc64-*-linux*): Default to -m64 also for
3132         specific 64-bit CPUs.
3133
3134 2005-02-01  Richard Earnshaw  <rearnsha@arm.com>
3135
3136         PR target/16201
3137         * arm.c (arm_eliminable_register): New function.
3138         (adjacent_mem_locations): Don't allow eliminable registers.  Use
3139         HOST_WIDE_INT for address offsets.
3140         * arm-protos.h (arm_eliminable_register): Add prototype.
3141
3142 2005-02-01  Steven Bosscher  <stevenb@suse.de>
3143
3144         PR optimization/15242
3145         * params.def (PARAM_MAX_GOTO_DUPLICATION_INSNS): New param.
3146         * basic-block.h (duplicate_computed_gotos): Add prototype.
3147         * bb-reorder.c (duplicate_computed_gotos): New function to
3148         duplicate sufficiently small blocks ending in a computed jump.
3149         * passes.c (rest_of_compilation): Call duplicate_computed_gotos
3150         if not optimizing for size.
3151         * cfgcleanup.c (try_crossjump_bb): If not optimizing for size,
3152         never do tail merging for blocks ending in a computed jump.
3153         * doc/invoke.texi: Document the max-goto-duplication-insns param.
3154
3155 2005-02-01  Eric Botcazou  <ebotcazou@libertysurf.fr>
3156
3157         Patch from Richard Sandiford <rsandifo@redhat.com>
3158         * reload1.c (choose_reload_regs): Prevent the find_equiv_reg() code
3159         from inheriting a subreg equivalence with a non-spill register.
3160
3161         * tree.h (DECL_FUNCTION_CODE): Document that it is overloaded.
3162
3163 2005-02-01  Alexandre Oliva  <aoliva@redhat.com>
3164
3165         * config/frv/frv.c (movcc_fp_destination_operand): New.
3166         (gpr_or_memory_operand): Fix typo in comment.
3167         (gpr_or_memory_operand_with_scratch): New.
3168         * config/frv/frv.h (PREDICATE_CODES): Add the two new predicates.
3169         * config/frv/frv.md (movcc_fp, movcc_fp_internal): Use
3170         movcc_fp_destination_operand.
3171         (reload_incc_fp): Use gpr_or_memory_operand_with_scratch.
3172         Legitimize memory addresses using a scratch register.
3173
3174 2005-01-31  Jeff Law  <law@redhat.com>
3175
3176         * tree-into-ssa.c (mark_def_sites_global_data): Make KILLS
3177         bitmap a sparse bitmap instead of a simple bitmap.
3178         (mark_def_sites_initialize_block):  Corresponding changes.
3179         (ssa_mark_def_sites_initialize_block): Likewise.
3180         (ssa_mark_phi_uses): Likewise.
3181         (mark_def_site, ssa_mark_def_sites): Likewise.
3182         (mark_def_site_blocks): Likewise.
3183         (rewrite_ssa_into_ssa): Likewise.
3184
3185         * tree-ssa-dom.c (record_cond): Pass correct variable type
3186         for last argument to htab_find_slot_with_hash.
3187
3188         * fold-const.c (fold, case CEIL_MOD_EXPR): Do not lose side
3189         effects when optimizing 0 % X.  Do not try to optimize X % 0.
3190
3191 2005-01-31  James E. Wilson  <wilson@specifixinc.com>
3192
3193         * config/ia64/itanium1.md (1_scall bypass): Change 2_mmalua to
3194         1_mmalua.
3195
3196 2005-02-01  Eric Christopher  <echristo@redhat.com>
3197
3198         * config/mips/mips.c (override_options): Warn if -mint64
3199         is used.
3200         * doc/invoke.texi (MIPS Options): Document that -mint64 is
3201         deprecated.
3202
3203 2005-02-01  Kazu Hirata  <kazu@cs.umass.edu>
3204
3205         * cse.c (cse_reg_info): Remove hash_next, next, regno.  Add
3206         timestamp.
3207         (cse_reg_info_list, cse_reg_info_list_free, REGHASH_SHIFT,
3208         REGHASH_SIZE, REGHASH_MASK, reg_hash, REGHASH_FN,
3209         cached_cse_reg_info, GET_CSE_REG_INFO): Remove.
3210         (cached_regno): Initialize to INVALID_REGNUM.
3211         (cse_reg_info_table_size,
3212         cse_reg_info_table_first_uninitialized,
3213         cse_reg_info_timestamp): New.
3214         (REG_TICK, REG_IN_TABLE, SUBREG_TICKED, REG_QTY): Use
3215         get_cse_reg_info.
3216         (init_cse_reg_info, get_cse_reg_info_1): New.
3217         (get_cse_reg_info): Cache the last look-up.
3218         (new_basic_block): Update the code to clear mappings from
3219         registers to cse_reg_info entries.
3220         (cse_main): Call init_cse_reg_info.
3221
3222         * cse.c (get_cse_reg_info): Update a comment.
3223
3224 2005-01-31  Steven Bosscher  <stevenb@suse.de>
3225
3226         PR c/19333
3227         * c-decl.c (start_decl): Do not warn about arrays of elements with
3228         an incomplete type here.
3229         (grokdeclarator): Do it here by making a pedwarn an error.
3230         * c-typeck.c (push_init_level): If there were previous errors with
3231         the constructor type, do not warn about braces for initializers.
3232         (process_init_element): Likewise for excess initializer elements.
3233
3234 2005-01-31  Kazu Hirata  <kazu@cs.umass.edu>
3235
3236         * cse.c (delete_trivially_dead_insn): Don't iterate.
3237
3238 2005-01-31  Andrew Pinski  <pinskia@physics.uc.edu>
3239
3240         * config/rs6000/rs6000.md (copysignsf3): New expand.
3241         (copysigndf3): Likewise.
3242
3243 2005-01-31  Steven Bosscher  <stevenb@suse.de>
3244
3245         * recog.c (constrain_operands): Only look for earlyclobber operand
3246         conflicts if an '&' constraint was seen.
3247
3248 2005-01-31  Marc Espie <espie@openbsd.org>
3249
3250         * config.gcc: Don't include embedded systems fragment, switches default
3251         debugging format to ELF.
3252         * config/i386/openbsdelf.h: Add DBX_REGISTER_NUMBER since we no
3253         longer pick it up there.
3254
3255 2005-01-31  Dale Johannesen  <dalej@apple.com>
3256
3257         * doc/extend.texi (nested functions): Fix linkage description.
3258         Clarify that static is not allowed.
3259
3260 2005-01-31  Dale Johannesen  <dalej@apple.com>
3261
3262         * config/rs6000/darwin.md (movsf_low_di):  Make work.
3263         (movdf_low_di):  Make work.
3264
3265 2005-01-31  Dale Johannesen  <dalej@apple.com>
3266
3267         * config/rs6000/darwin-tramp.asm (__trampoline_setup):
3268         Make work for 64 bit.
3269
3270 2005-01-31  Roger Sayle  <roger@eyesopen.com>
3271             Dale Johannesen  <dalej@apple.com>
3272
3273         PR middle-end/19650
3274         * fold-const.c (fold_binary_op_with_conditional_arg):
3275         Make types match original operands, before STRIP_NOPS.
3276
3277 2005-01-31  Alan Modra  <amodra@bigpond.net.au>
3278
3279         * config/rs6000/linux-unwind.h (struct gcc_vregs): New.
3280         (struct gcc_regs): Rename from gcc_pt_regs.  Add more regs.
3281         (struct gcc_sigcontext): Delete.  Merge contents to..
3282         (struct gcc_ucontext): ..here.
3283         (get_sigcontext): Delete.
3284         (get_regs): New function, like get_sigcontext but return regs ptr.
3285         64-bit version finds regs from r1 to support vdso.
3286         (ppc_linux_aux_vector): New function.
3287         (ppc_fallback_frame_state): Modify for get_regs.  Restore fprs
3288         and vector regs.
3289
3290 2005-01-31  Ira Rosen  <irar@il.ibm.com>
3291
3292         * tree-vectorizer.c (vect_analyze_offset_expr): Use ssizetype instead
3293         sizetype.
3294         (vect_get_base_and_offset): Use ssizetype instead sizetype. Remove
3295         redundant fold. Fix misalignment for MINUS_EXPR.
3296         (vect_compute_data_ref_alignment): Use ssizetype instead sizetype.
3297         (vect_analyze_pointer_ref_access): Likewise.
3298         (vect_get_memtag_and_dr): Likewise.
3299
3300 2005-01-31  Richard Henderson  <rth@redhat.com>
3301
3302         * config/i386/i386.c (absnegsf2_mixed): Remove all of the # hackery.
3303         (absnegsf2_sse, absnegsf2_i387, absnegdf2_mixed, absnegdf2_sse,
3304         absnegdf2_i387, absnegxf2_i387): Likewise.
3305
3306 2005-01-31  Richard Henderson  <rth@redhat.com>
3307
3308         PR 19696
3309         * optabs.c (expand_copysign_absneg): New.
3310         (expand_copysign_bit): Split out from ...
3311         (expand_copysign): ... here.  Use expand_copysign_absneg.
3312
3313 2005-01-30  Roger Sayle  <roger@eyesopen.com>
3314
3315         PR middle-end/19697
3316         * config/pa/pa.md (anddi3, iordi3): On HPPA64, disallow an integer
3317         constant as the second operand and a register as the third.
3318
3319 2005-01-31  Danny Smith  <dannysmith@users.sourceforge.net>
3320
3321         PR target/19704
3322         * config/i386/i386.c (ix86_function_ok_for_sibcall):  Also check
3323         that dllimport'd functions do not use all call-clobbered registers
3324         to pass parameters.
3325
3326 2005-01-30  Richard Henderson  <rth@redhat.com>
3327
3328         PR 19696
3329         * optabs.c (expand_absneg_bit): Split out from expand_unop and
3330         expand_abs_nojump and generalize.  Use operand_subword and
3331         emit_no_conflict_block.  Support large modes.
3332         (expand_abs_nojump): Use it.  Use HONOR_SIGNED_ZEROS to fall
3333         back to maximum.
3334         (expand_unop): Likewise.  Use HONOR_SIGNED_ZEROS to fall back
3335         negation to subtraction.
3336         (expand_copysign): Check that the format has signed zeros.
3337         Use operand_subword and emit_no_conflict_block.  Support large modes.
3338
3339 2005-01-30  Daniel Berlin  <dberlin@dberlin.org>
3340
3341         Fix PR tree-optimization/19624
3342
3343         * Makefile.in (tree-ssa-pre.o): Add CFGLOOP_H.
3344         * tree-ssa-pre.c: Add cfgloop.h.
3345         Update comment.
3346         (pre_stats): New member, constified.
3347         (inserted_exprs): New static variable.
3348         (NECESSARY): New macro.
3349         (create_expression_by_pieces): Fold the expression, and
3350         mark it as defaulting to not necessary. Also put in
3351         inserted_exprs.
3352         (fully_constant_expression): New function.
3353         (insert_into_preds_of_block): Modify to not insert phis when we
3354         are playing with induction variables.
3355         Push phis onto the inserted_exprs vector, and mark them as not
3356         necessary by default.
3357         (insert_aux): Call fully_constant_expression on eprime.
3358         If all edges produce the same value, mark it constant.
3359         (mark_operand_necessary): New function.
3360         (remove_dead_inserted_code): New function.
3361         (init_pre): Init loop optimizer to get loop info.
3362         (fini_pre): Free loop_optimizer, and inserted_exprs vec.
3363         (execute_pre): Commit edge inserts, then remove dead code.
3364
3365 2005-01-30  Richard Henderson  <rth@redhat.com>
3366
3367         * rtl.c (rtx_equal_p): No early exit for CONST_VECTOR.
3368         * varasm.c (const_rtx_hash_1): Handle CONST_VECTOR.
3369
3370 2005-01-30  Richard Henderson  <rth@redhat.com>
3371
3372         PR target/19700
3373         * config/i386/i386.c (ix86_expand_copysign): New.
3374         (ix86_split_copysign_const): New.
3375         (ix86_split_copysign_var): Rename from ix86_split_copysign,
3376         rearrange op1/nmask operands.
3377         * config/i386/i386-protos.h: Update.
3378         * config/i386/i386.md (copysignsf3): Use ix86_expand_copysign.
3379         (copysigndf3): Likewise.
3380         (copysignsf3_const, copysigndf3_const): New.
3381         (copysignsf3_var): Rename from copysignsf3, split out splitter
3382         and fix split predicate for X constraint.
3383         (copysigndf3_var): Similarly.
3384
3385 2005-01-30  Kazu Hirata  <kazu@cs.umass.edu>
3386
3387         * optabs.c, doc/c-tree.texi, doc/install.texi, doc/md.texi,
3388         doc/passes.texi, doc/rtl.texi, doc/sourcebuild.texi,
3389         doc/tm.texi, doc/tree-ssa.texi: Update copyright.
3390
3391 2005-01-29  Richard Henderson  <rth@redhat.com>
3392
3393         PR target/19690
3394         * config/i386/i386.md (movdf_nointeger, movdf_integer): Fix ordering
3395         of # and * in constraints.
3396
3397 2005-01-29  Richard Henderson  <rth@redhat.com>
3398
3399         PR middle-end/19689
3400         * expr.c (store_field): Don't strip sub-mode cast when the input
3401         data is even smaller.
3402
3403 2005-01-29  Richard Henderson  <rth@redhat.com>
3404
3405         PR middle-end/19687
3406         * expr.c (categorize_ctor_elements_1): Check for CONSTRUCTOR of a
3407         union being empty.
3408
3409 2005-01-29  Richard Henderson  <rth@redhat.com>
3410
3411         * combine.c (make_field_assignment): Fix argument order
3412         to gen_int_mode.
3413
3414 2005-01-29  Richard Guenther <richard.guenther@uni-tuebingen.de>
3415
3416         PR tree-optimization/15791
3417         * fold-const.c (extract_array_ref): New function.
3418         (fold): Fold comparisons between &a[i] and &a[j] or
3419         semantically equivalent trees.
3420
3421 2005-01-29  Jeff Law  <law@redhat.com>
3422
3423         * gcse.c (insert_expr_in_table): Revamp handling of available
3424         and anticipatable occurrence lists to avoid unnecessary list
3425         walking.
3426         (insert_set_in_table): Similarly.
3427
3428 2005-01-29  Joseph S. Myers  <joseph@codesourcery.com>
3429
3430         * c-common.c (fix_string_type): Just use c_build_qualified_type to
3431         build string type.
3432         (c_build_qualified_type): Build qualified array types with
3433         TYPE_MAIN_VARIANT pointing to corresponding unqualified type.
3434         * c-decl.c (c_make_fname_decl): Build unqualified array type
3435         before qualified type.
3436         (grokdeclarator): Use TYPE_MAIN_VARIANT of typedef type if element
3437         type is qualified, not just if type itself is.  Don't apply
3438         qualifiers to array type when declarator is processed.  Apply
3439         qualifiers to field type whether or not it is an array type.
3440         Don't handle array types specially for applying qualifiers to
3441         variables.
3442         * c-typeck.c (composite_type): Build unqualified element type and
3443         array type when forming composite of array types.
3444         (common_pointer_type, comptypes, comp_target_types,
3445         type_lists_compatible_p, build_indirect_ref, build_array_ref,
3446         convert_for_assignment): Don't apply TYPE_MAIN_VARIANT to array
3447         types.
3448         (type_lists_compatible_p): Cache TREE_VALUE (args1) and TREE_VALUE
3449         (args2) in variables a1 and a2.
3450
3451 2005-01-29  Kazu Hirata  <kazu@cs.umass.edu>
3452
3453         * cse.c (n_elements_made, max_elements_made): Remove.
3454         (insert): Don't touch n_elements_made.
3455         (cse_main): Don't touch n_elements_made or max_elements_made.
3456
3457 2005-01-28  Stephane Carrez  <stcarrez@nerim.fr>
3458
3459         PR target/15384
3460         * config/m68hc11/t-m68hc11-gas (dp-bit.c): Fix typo causing a
3461         configuration part of dp-bit.c to be lost.
3462
3463 2005-01-28  Roger Sayle  <roger@eyesopen.com>
3464
3465         * expmed.c (expand_mult_highpart_optab): When attempting to use
3466         a non-widening multiplication in a wider mode, the operands need
3