OSDN Git Service

ab87033327c0c8ea43204a0e7a3a34b6c6885872
[pf3gnuchains/gcc-fork.git] / gcc / ChangeLog
1 2005-02-25  Steve Ellcey  <sje@cup.hp.com>
2
3         PR target/19930
4         * doc/tm.texi (LIBGCC2_LONG_DOUBLE_TYPE_SIZE): Document.
5         (LIBGCC2_HAS_DF_MODE): New.
6         (LIBGCC2_HAS_XF_MODE): New.
7         (LIBGCC2_HAS_TF_MODE): New.
8         * libgcc2.h (LIBGCC2_HAS_XF_MODE): New name for HAVE_XFMODE.
9         (LIBGCC2_HAS_TF_MODE): New name for HAVE_TFMODE.
10         * libgcc2.c (LIBGCC2_HAS_XF_MODE): New name for HAVE_XFMODE.
11         (LIBGCC2_HAS_TF_MODE): New name for HAVE_TFMODE.
12         (LIBGCC2_HAS_DF_MODE): New name for HAVE_DFMODE.
13         * config/ia64/t-ia64 (LIB1ASMFUNCS): Remove __compat
14         and add _fixtfdi, _fixunstfdi, _floatditf
15         * lib1funcs.asm: Remove L__compat. Add L_fixtfdi,
16         L_fixunstfdi, L_floatditf.
17         * config/ia64/hpux.h (LIBGCC2_HAS_XF_MODE): Define.
18         (LIBGCC2_HAS_TF_MODE): Define.
19
20 2005-02-25  Diego Novillo  <dnovillo@redhat.com>
21
22         PR tree-optimization/20204
23         * tree-into-ssa.c (insert_phi_nodes_for): Do not use
24         REWRITE_THIS_STMT markers on PHI nodes.
25         (rewrite_initialize_block): Likewise.
26
27 2005-02-25  Mark Mitchell  <mark@codesourcery.com>
28
29         * version.c (version_string): Update to 4.1.
30
31 2005-02-25  Paolo Carlini  <pcarlini@suse.de>
32
33         * doc/extend.texi (5.24 Declaring Attributes of Functions)<noreturn>:
34         Clarify that the alternative way doesn't work in GNU C++.
35
36 2005-02-25  Zdenek Dvorak  <dvorakz@suse.cz>
37
38         * tree-ssa-dom.c (simple_iv_increment_p): New function.
39         (simplify_rhs_and_lookup_avail_expr, eliminate_redundant_computations):
40         Do not propagate value of iv before increment over the increment.
41
42 2005-02-25  Zdenek Dvorak  <dvorakz@suse.cz>
43
44         PR tree-optimization/19937
45         * tree-ssa-loop-ivopts.c (rewrite_use_compare): Cast the final value
46         to the type of the induction variable.
47
48 2005-02-25  Kaz Kojima  <kkojima@gcc.gnu.org>
49
50         PR rtl-optimization/20117
51         * bb-reorder.c (duplicate_computed_gotos): Don't duplicate
52         the block including noncopyable insn.
53
54 2005-02-24  Kazu Hirata  <kazu@cs.umass.edu>
55
56         * cse.c (delete_trivially_dead_insns): Speed up by minimizing
57         calls to find_reg_note.
58
59 2005-02-24  Richard Henderson  <rth@redhat.com>
60
61         PR tree-opt/20127
62         * tree-sra.c (instantiate_element): Copy TREE_THIS_VOLATILE from
63         the type.
64
65 2005-02-24  Fariborz Jahanian <fjahanian@apple.com>
66
67         * config/rs6000/rs6000.c (rs6000_legitimize_reload_address): Check for
68         vector types if to use base reg for misaligned non-word ld/std.
69
70 2005-02-24  Hans-Peter Nilsson  <hp@axis.com>
71
72         PR target/14619
73         * config/cris/cris.c (cris_target_asm_function_prologue): Create
74         dwarf2 label manually and put it after, not before the prologue.
75
76 2005-02-24  David Edelsohn  <edelsohn@gnu.org>
77
78         PR target/19019
79         * reload.c (operands_match_p): Only increment register number for
80         SCALAR_INT_MODE_P modes in multiple hard registers.
81
82         * config/rs6000/rs6000.md (trunctfdf2): Remove register constraints.
83         Fix formatting.
84
85 2005-02-24  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
86
87         * ChangeLog.5: Fix log message typo(s).
88         * ChangeLog.7: Likewise.
89         * ChangeLog.tree-ssa: Likewise.
90         * cfgexpand.c: Fix comment typo(s).
91         * conflict.c: Likewise.
92         * defaults.h: Likewise.
93         * dwarf2out.c: Likewise.
94         * gcse.c: Likewise.
95         * ggc-page.c: Likewise.
96         * tree-eh.c: Likewise.
97         * tree-ssa-dom.c: Likewise.
98
99 2005-02-24  Jakub Jelinek  <jakub@redhat.com>
100
101         PR target/19019
102         * mklibgcc.in: Pass -DSHARED when compiling all *_s${objext} objects.
103         * config/rs6000/darwin-ldouble.c: Only use the .symver directives
104         if SHARED is defined.
105
106         PR target/20196
107         * config/rs6000/rs6000.md (LTU, GTU sCC splitters): Add earlyclobber,
108         allow splitting only if operands 0 and 3 don't overlap.
109
110 2005-02-24  Richard Henderson  <rth@redhat.com>
111
112         PR middle-end/19953
113         * builtins.c (fold_builtin_complex_mul, fold_builtin_complex_div): New.
114         (fold_builtin_1): Call them.
115         * fold-const.c (fold_complex_mult_parts): Split out from ...
116         (fold_complex_mult): ... here.  Fix typo in both imaginary case.
117         (fold_complex_div_parts, fold_complex_div): New.
118         (fold): Use them.
119         * tree.h (fold_complex_mult_parts, fold_complex_div_parts): Declare.
120
121 2005-02-24  Richard Kenner  <kenner@vlsi1.ultra.nyu.edu>
122
123         * tree-ssa-ccp.c (visit_assignment): Verify that result of
124         VIEW_CONVERT_EXPR is_gimple_min_invariant.
125
126         * print-tree.c (print_node_brief): Print LABEL_DECL_UID.
127         (print_node): Likewise.
128         Print TYPE_SIZES_GIMPLIFIED.
129
130 2005-02-24  Hans-Peter Nilsson  <hp@axis.com>
131
132         * config/cris/cris.md ("umulhisi3", "umulqihi3", "mulsi3")
133         ("mulqihi3", "mulhisi3", "mulsidi3", "umulsidi3"): Mark input
134         operands as commutative in constraints.
135
136 2005-02-24  Diego Novillo  <dnovillo@redhat.com>
137
138         * tree-into-ssa.c: Re-organize internal functions.
139
140 2005-02-24  Richard Henderson  <rth@redhat.com>
141
142         PR middle-end/18902
143         * c-opts.c (c_common_post_options): Set flag_complex_method to 2
144         for c99.
145         * common.opt (fcx-limited-range): New.
146         * opts.c (set_fast_math_flags): Set flag_cx_limited_range.
147         * toplev.c (flag_complex_method): Initialize to 1.
148         (process_options): Set flag_complex_method to 0 if
149         flag_cx_limited_range.
150         * doc/invoke.texi (-fcx-limited-range): New.
151
152 2005-02-24  Kazu Hirata  <kazu@cs.umass.edu>
153
154         * cse.c (delete_trivially_dead_insns): Speed up by using
155         NEXT_INSN and PREV_INSN directly instead of next_real_insn and
156         prev_real_insn.
157
158 2005-02-24  Andrea Tarani  <andrea.tarani@gilbarco.com>
159
160         * config/m68k/m68k.c (m68k_save_reg): Also save A5 for non-leaf
161         functions when -mid-shared-library is being used.
162
163 2005-02-23  Daniel Jacobowitz  <dan@codesourcery.com>
164
165         * doc/tm.texi (LINK_LIBGCC_SPECIAL): Remove.
166         (LINK_LIBGCC_SPECIAL_1): Don't mention it.
167         * gcc.c: Don't check for LINK_LIBGCC_SPECIAL.
168         * system.h: Poison LINK_LIBGCC_SPECIAL.
169
170 2005-02-23  James E Wilson  <wilson@specifixinc.com>
171
172         * gengtype.c (note_insn_name): Make 1 element larger.
173
174 2005-02-23  Roger Sayle  <roger@eyesopen.com>
175
176         PR target/20018
177         PR rtl-optimization/20097
178         * simplify-rtx.c (simplify_relational_operation_1): Avoid creating
179         BImode SUBREGs of SImode registers which confuse the ia64 backend.
180
181 2005-02-23  David Edelsohn  <edelsohn@gnu.org>
182
183         * t-aix43 (SHLIB_INSTALL): Create directory for shared library.
184         * t-aix52 (SHLIB_INSTALL): Same.
185
186 2005-02-23  Kazu Hirata  <kazu@cs.umass.edu>
187
188         * genpreds.c: Update copyright.
189
190 2005-02-23  Michael Beach  <michaelb@ieee.org>
191
192         PR target/20159
193         * config/sparc/t-elf (startup files): Assemble with CPP.
194
195 2005-02-23  Paolo Bonzini  <bonzini@gnu.org>
196
197         * genpreds.c (mark_mode_tests): Handle non-VOIDmode match_operands.
198         (write_predicate_expr): Likewise.
199
200 2005-02-22  Diego Novillo  <dnovillo@redhat.com>
201
202         PR tree-optimization/20100
203         PR tree-optimization/20115
204         * tree-optimize.c (init_tree_optimization_passes): Remove
205         pass_maybe_create_global_var.
206         * tree-pass.h (pass_maybe_create_global_var): Remove.
207         * tree-ssa-alias.c (aliases_computed_p): Declare.
208         (struct alias_info): Add field NUM_PURE_CONST_CALLS_FOUND.
209         (count_calls_and_maybe_create_global_var): Remove.
210         (pass_maybe_create_global_var): Remove.
211         (init_alias_info): Do not declare aliases_computed_p.
212         (maybe_create_global_var): If the function contains no
213         call-clobbered variables and a mix of pure/const and regular
214         function calls, create .GLOBAL_VAR.
215         Mark all call-clobbered variables for renaming.
216         (merge_pointed_to_info): Update comment.
217         (add_pointed_to_var): Likewise.
218         (is_escape_site): Likewise.
219         Accept struct alias_info * instead of size_t *.
220         Update all users.
221         Update AI->NUM_CALLS_FOUND and AI->NUM_PURE_CONST_CALLS_FOUND
222         as necessary.
223         * tree-ssa-operands.c (get_call_expr_operands): If
224         ALIASES_COMPUTED_P is false, do not add call-clobbering
225         operands.
226         * tree-ssa.c (init_tree_ssa): Set ALIASES_COMPUTED_P to false.
227         (delete_tree_ssa): Likewise.
228
229 2005-02-22  James E Wilson  <wilson@specifixinc.com>
230
231         * toplev.c (backend_init): Don't call init_adjust_machine_modes here.
232         (do_compile): Do call it here.
233
234 2005-02-22  Kazu Hirata  <kazu@cs.umass.edu>
235
236         PR rtl-optimization/20017.
237         * passes.c (rest_of_handle_combine, rest_of_handle_cse,
238         rest_of_handle_cse2, rest_of_handle_gcse): Call
239         delete_dead_jumptables immediately before calling cleanup_cfg.
240
241 2005-02-22  Devang Patel  <dpatel@apple.com>
242
243         PR 19952
244         * tree-if-conv.c (process_phi_nodes): Use bsi_after_labels and skip 
245         all labels
246         
247 2005-02-22  David Edelsohn  <edelsohn@gnu.org>
248
249         * config/rs6000/aix.h (WINT_TYPE): Define.
250
251 2005-02-22  Stan Shebs  <shebs@apple.com>
252
253         * config/rs6000/rs6000.c (rs6000_override_options): Default to
254         natural alignment for 64-bit Darwin.
255         (rs6000_parse_alignment_option): Warn about uses of -malign-power
256         on 64-bit Darwin.
257         * doc/invoke.texi: Document this.
258
259 2005-02-22  DJ Delorie  <dj@redhat.com>
260
261         * c-common.c (c_common_type_for_mode): Pass the mode's precision
262         to make_[un]signed_type, not the mode itself.
263
264 2005-02-22  Kazu Hirata  <kazu@cs.umass.edu>
265
266         * cfg.c (cached_make_edge): Call make_edge if edge cache is
267         not available.  Use tail calls wherever possible.
268         (make_edge): Call unchecked_make_edge to create an edge.
269
270         * tree-outof-ssa.c (SSANORM_USE_COALESCE_LIST): Remove.
271         (coalesce_ssa_name): Don't check for
272         SSANORM_USE_COALESCE_LIST.
273         (rewrite_out_of_ssa): Don't use SSANORM_USE_COALESCE_LIST.
274
275 2005-02-22  Diego Novillo  <dnovillo@redhat.com>
276
277         * tree-into-ssa.c (rewrite_blocks): Move debug dumps from ...
278         (rewrite_into_ssa): ... here.
279
280 2005-02-21  Alexandre Oliva  <aoliva@redhat.com>
281
282         PR tree-optimization/19786
283         * tree-ssa-alias.c (compute_flow_insensitive_aliasing): Add one
284         tag to another's may-alias bitmap when adding to the other's list.
285
286 2005-02-21  DJ Delorie  <dj@redhat.com>
287
288         * tree-ssa-loop-ivopts.c (computation_cost): Start register
289         numbering at LAST_VIRTUAL_REGISTER+1 to avoid possibly using hard
290         registers in unsupported ways.
291         * expmed.c (init_expmed): Likewise.
292         
293 2005-02-21  Stan Cox  <scox@redhat.com>
294
295         * config/iq2000/iq2000.h (DWARF_FRAME_RETURN_COLUMN): Change to 31.
296
297 2005-02-21  Kazu Hirata  <kazu@cs.umass.edu>
298
299         * tree-cfg.c (fold_cond_expr_cond): New.
300         (make_edges): Call fold_cond_expr_cond.
301         (find_taken_edge): Accept nothing but INTEGER_CST.
302         (find_taken_edge_cond_expr): Reject INTEGER_CST other than 0
303         and 1.
304         (find_taken_edge_switch_expr): Remove a check for INTEGER_CST.
305
306         * flow.c (delete_dead_jumptables): Speed up by scanning insns
307         that do not belong to any basic block.
308
309 2005-02-21  Jeff Law  <law@redhat.com>
310
311         * cfganal.c (find_unreachable_blocks): Manually CSE load of
312         e->dest.
313
314 2005-02-21  Kazu Hirata  <kazu@cs.umass.edu>
315
316         * tree-outof-ssa.c (SSANORM_REMOVE_ALL_PHIS): Remove.
317         (SSANORM_COALESCE_PARTITIONS, SSANORM_USE_COALESCE_LIST):
318         Adjust their definitions.
319         (remove_ssa_form): Don't check for SSANORM_REMOVE_ALL_PHIS.
320         (rewrite_out_of_ssa): Don't use SSANORM_REMOVE_ALL_PHIS.
321
322         * c-objc-common.h, c-pretty-print.c, cgraphunit.c, except.c,
323         genautomata.c, langhooks.c, langhooks.h, system.h,
324         config/arm/lib1funcs.asm: Update copyright.
325
326 2005-02-21  Ulrich Weigand  <uweigand@de.ibm.com>
327
328         * dbxout.c (dbxout_function_end): Emit Lscope label always.
329
330 2005-02-21  Richard Guenther  <rguenth@gcc.gnu.org>
331
332         PR bootstrap/13770
333         * doc/install.texi: Document --with-gc.
334
335 2005-02-21  Paolo Bonzini  <bonzini@gnu.org>
336
337         * simplify-rtx.c (simplify_unary_operation): Add a missing
338         "break" statement.
339
340 2005-02-21  Eric Botcazou  <ebotcazou@libertysurf.fr>
341
342         PR tree-optimization/18663
343         * tree-ssa-dom.c (extract_range_from_cond): Return 0
344         if the type has variable bounds.
345
346 2005-02-20  Kazu Hirata  <kazu@cs.umass.edu>
347
348         * gcse.c: Remove an obsolete comment.
349
350         * cse.c (init_cse_reg_info): Use xmalloc instead of xrealloc.
351
352 2005-02-20  Hans-Peter Nilsson  <hp@axis.com>
353
354         * doc/extend.texi (Function Attributes) <Attribute const>: The
355         attribute "pure" is below this text, not above.
356
357 2005-02-20  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
358
359         * pa.c (pa_assemble_integer, get_plabel): Small cleanups.
360         (pa_asm_output_mi_thunk): Use asm_output_insn instead of fprintf.
361         * som.h (ASM_OUTPUT_EXTERNAL_LIBCALL): Small cleanup.
362
363 2005-02-20  Zack Weinberg  <zack@codesourcery.com>
364
365         PR 18785
366         * langhooks.h (struct lang_hooks): Add to_target_charset.
367         * langhooks.c (lhd_to_target_charset): New function.
368         * langhooks-def.h: Declare lhd_to_target_charset.
369         (LANG_HOOKS_TO_TARGET_CHARSET): New macro.
370         (LANG_HOOKS_INITIALIZER): Update.
371         * c-common.c (c_common_to_target_charset): New function.
372         * c-common.h: Declare it.
373         * c-objc-common.h (LANG_HOOKS_TO_TARGET_CHARSET): Set to
374         c_common_to_target_charset.
375
376         * defaults.c (TARGET_BELL, TARGET_BS, TARGET_CR, TARGET_DIGIT0)
377         (TARGET_ESC, TARGET_FF, TARGET_NEWLINE, TARGET_TAB, TARGET_VT):
378         Delete definitions.
379         * system.h: Poison them.
380         * doc/tm.texi: Don't discuss them.
381         * builtins.c (fold_builtin_isdigit): Use lang_hooks.to_target_charset.
382         * c-pretty-print.c (pp_c_integer_constant): Don't use pp_c_char.
383         (pp_c_char): Do not attempt to generate letter escapes for
384         newline, tab, etc.
385         * config/arm/arm.c (output_ascii_pseudo_op): Likewise.
386         * config/mips/mips.c (mips_output_ascii): Likewise.
387
388 2005-02-20  Dorit Naishlos  <dorit@il.ibm.com>
389
390         PR tree-optimization/19951
391         * tree-vect-analyze.c (vect_analyze_loop_form): Check if loop exit edge
392         is abnormal.
393
394 2005-02-19  Steven Bosscher  <stevenb@suse.de>
395
396         PR middle-end/19698
397         * function.h (struct function): New field `max_loop_depth'.
398         * cfgloop.c (establish_preds): Update maximum loop depth seen so far.
399         (flow_loops_find): Reset the max loop depth count before finding loops.
400         * flow.c (MAX_LIVENESS_ROUNDS): New constant.
401         (update_life_info_in_dirty_blocks): Remove 2002-05-28 workaround.
402         (calculate_global_regs_live): Make sure the loop will terminate
403         when the initial sets are not empty.
404
405 2005-02-19  Zack Weinberg  <zack@codesourcery.com>
406
407         * mklibgcc.in: If libgcc_eh.a would be empty, put a dummy
408         object inside.
409         * config/ia64/hpux.h: Don't define LIBGCC_SPEC.
410
411 2005-02-19  Richard Sandiford  <rsandifo@redhat.com>
412
413         PR other/19525
414         * doc/invoke.texi: Remove documentation of %M spec.
415         * gcc.c: Likewise.
416         (init_spec): Remove %M suffix from -lgcc_s.
417         (do_spec_1): Remove 'M' case.
418         * mklibgcc.in: Remove SHLIB_MULTILIB handling.  Expect SHLIB_LINK
419         to put shared libraries in the multilib directory.  Remove the
420         shlib_so_soname substitution variable.  Don't add a multilib encoding
421         to shlib_base_name.  Set shlib_slibdir_qual to the full pathname
422         reported by -print-multi-os-directory.  Pass @multilib_dir@ to
423         SHLIB_INSTALL as well as SHLIB_LINK.
424         * config/t-slibgcc-elf-ver (SHLIB_SONAME): Use @shlib_base_name@.
425         (SHLIB_NAME): Delete.
426         (SHLIB_DIR): New macro.
427         (SHLIB_LINK): Put $(SHLIB_SONAME) and $(SHLIB_SOLINK) in $(SHLIB_DIR).
428         (SHLIB_INSTALL): Adjust accordingly.
429         * config/t-slibgcc-darwin: As for t-slibgcc-elf-ver.
430         * config/t-slibgcc-sld: Likewise.
431         * config/t-libunwind-elf (SHLIBUNWIND_NAME): Delete.
432         (SHLIBUNWIND_SONAME): Use @shlib_base_name@.
433         (SHLIBUNWIND_LINK): Put $(SHLIBUNWIND_SONAME) and $(SHLIB_SOLINK)
434         in $(SHLIB_DIR).
435         (SHLIBUNWIND_INSTALL): Adjust accordingly.
436         * config/i386/t-nwld (SHLIB_SONAME): Delete.
437         (SHLIB_LINK, SHLIB_INSTALL): Use SHLIB_NAME instead of SHLIB_SONAME.
438         Use @shlib_base_name@ instead of @shlib_so_name@.
439         * config/ia64/t-hpux (SHLIB_LINK): Put @shlib_base_name@.so.0
440         and @shlib_base_name@.so in @multilib_dir@.
441         (SHLIB_INSTALL): Adjust accordingly.  Add @shlib_slibdir_qual@
442         to the install path.
443         * config/mips/t-slibgcc-irix: As for t-slibgcc-elf-ver.
444         (SHLIB_LINK): Remove previous workaround.
445         * config/pa/t-hpux-shlib (SHLIB_DIR, SHLIB_SLIBDIR_QUAL): New macros.
446         (SHLIB_LINK): Put $(SHLIB_SONAME) and $(SHLIB_NAME) in $(SHLIB_DIR).
447         (SHLIB_INSTALL): Adjust accordingly.  Add $(SHLIB_SLIBDIR_QUAL) to
448         the install path.
449         * config/rs6000/t-aix43 (SHLIB_LINK): Put @shlib_base_name@.a in
450         @multilib_dir@.  Use @multilib_dir@ to check for threading libraries.
451         (SHLIB_INSTALL): Adjust accordingly.
452         (SHLIB_LIBS): Use @multilib_dir@ to check for threading libraries.
453         * config/rs6000/t-aix52: As for config/rs6000/t-aix43.
454         * config/sh/t-linux (SHLIB_LINK, SHLIB_INSTALL): As for
455         config/t-slibgcc-elf-ver.
456
457 2005-02-19  Zdenek Dvorak  <dvorakz@suse.cz>
458             Jakub Jelinek  <jakub@redhat.com>
459
460         PR tree-optimization/19828
461         * tree-ssa-loop-im.c: Add a TODO comment.
462         (movement_possibility): Return MOVE_PRESERVE_EXECUTION for calls
463         without side-effects.
464
465 2005-02-18  James A. Morrison  <phython@gcc.gnu.org>
466
467         * tree-ssa-ccp.c (widen_bitfield): Pass type to build_int_cst and don't
468         call fold_convert.
469
470 2005-02-18  James E. Wilson  <wilson@specifixinc.com>
471
472         * doc/invoke.texi (IA-64 Options): Delete -mb-step.
473         * config/ia64/ia64.c (last_group, group_idx): Delete variables.
474         (errata_find_address_regs, errata_emit_nops, fixup_errata): Delete
475         functions.
476         (ia64_reorg): Delete fixup_errata call.
477         * config/ia64/ia64.h (MASK_B_STEP, TARGET_B_STEP): Delete.
478         (TARGET_SWITCHES): Delete -mb-step entry.
479
480 2005-02-19  Jakub Jelinek  <jakub@redhat.com>
481
482         PR c/20043
483         * c-typeck.c (composite_type): Handle quals in transparent unions.
484         (type_lists_compatible_p): Likewise.
485
486 2005-02-18  Stan Shebs  <shebs@apple.com>
487
488         * config/darwin.c (machopic_select_rtx_section): Don't put relocatable
489         expressions in the .literal8 section.
490
491 2005-02-18  Geoffrey Keating  <geoffk@apple.com>
492
493         * config/rs6000/darwin-tramp.asm: Remove stray 'APPLE LOCAL' marker.
494
495 2005-02-18  Roger Sayle  <roger@eyesopen.com>
496
497         * fold-const.c (constant_boolean_node): Always create values of the
498         specified type, don't bother calling truthvalue_conversion.
499
500 2005-02-18  Joseph S. Myers  <joseph@codesourcery.com>
501
502         * except.c (output_function_exception_table): Call
503         assemble_external_libcall (eh_personality_libfunc).
504
505 2005-02-18  Joseph S. Myers  <joseph@codesourcery.com>
506
507         PR target/19886
508         * config/ia64/ia64.h (struct machine_function): Add state_num.
509         * config/ia64/ia64.c (process_epilogue,
510         process_for_unwind_directive): Use new unwind state numbers each
511         time rather than state 1.
512
513 2005-02-18  Ulrich Weigand  <uweigand@de.ibm.com>
514
515         PR target/20054
516         * config/s390/s390.md ("*llgt_sidi", "*llgt_sidi_split"): Move to
517         before the "*llgt_didi" pattern.
518
519 2005-02-18  Jason Merrill  <jason@redhat.com>
520
521         * gimplify.c (gimplify_modify_expr_rhs) [CALL_EXPR]: Revert again.
522
523 2005-02-18  Richard Earnshaw  <rearnsha@arm.com>
524
525         * arm/lib1funcs.asm (FUNC_ALIAS): New macro.
526         (div0): Use it in place of ARM_FUNC_ALIAS.
527         (lshrdi3, ashrdi3, ashlrdi3): Likewise.
528
529 2005-02-18  Andrew Pinski  <pinskia@physics.uc.edu>
530
531         PR middle-end/20030
532         * fold-const.c (fold_indirect_ref_1): Use the correct index for zero
533         access, the lower bound of the array type if it exists.
534
535 2005-02-18  Alexandre Oliva  <aoliva@redhat.com>
536
537         PR c++/20008
538         * stmt.c (expand_case): Don't assume cleanup_tree_cfg will remove
539         cases that are out-of-range for the index type.
540
541 2005-02-18  James A. Morrison  <phython@gcc.gnu.org>
542
543         * stmt.c (emit_case_bit_tests): Call fold_convert instead of convert.
544         (estimate_case_costs): Don't call convert.
545         * expmed.c (expand_shift): Likewise.
546         (make_tree): Call fold_convert instead of convert.
547
548 2005-02-18  Jakub Jelinek  <jakub@redhat.com>
549
550         PR c++/19813
551         * emit-rtl.c (set_mem_attributes_minus_bitpos): Add assertion
552         that ref to be marked MEM_READONLY_P doesn't have base that needs
553         constructing.
554
555 2005-02-18  Joseph S. Myers  <joseph@codesourcery.com>
556
557         * genautomata.c (output_get_cpu_unit_code_func,
558         output_cpu_unit_reservation_p): Don't generate old-style function
559         definitions.
560
561 2005-02-18  Jakub Jelinek  <jakub@redhat.com>
562
563         PR c++/20023
564         PR tree-optimization/20009
565         * convert.c (convert_to_integer): Revert 2005-02-16 change.
566
567         PR tree-optimization/18947
568         * cgraphunit.c (cgraph_finalize_function): When redefining an extern
569         inline, remove all nodes that are inlined into the extern inline
570         being redefined.
571
572 2005-02-17  Kazu Hirata  <kazu@cs.umass.edu>
573
574         * bt-load.c, cfgloop.c, convert.c, dominance.c, global.c,
575         loop-invariant.c, stmt.c, tree-ssa-forwprop.c,
576         tree-ssa-live.c, tree-ssanames.c, tree-vn.c,
577         config/host-linux.c, config/arm/fpa.md, config/avr/avr.h:
578         Update copyright.
579
580 2005-02-17  Roger Sayle  <roger@eyesopen.com>
581
582         PR tree-optimization/19917
583         * tree-eh.c (tree_could_trap_p): Consider calls to weak functions
584         to be potentially trapping.
585
586 2005-02-17  Kazu Hirata  <kazu@cs.umass.edu>
587
588         * libgcc2.c, tree-vect-analyze.c: Fix comment typos.
589
590 2005-02-17  Andreas Krebbel  <krebbel1@de.ibm.com>
591
592         * builtins.c (expand_builtin_return_addr): Remove tem parameter.
593         tem becomes a local variable which is set to the value of the
594         back end defined INITIAL_FRAME_ADDRESS macro.
595         (expand_builtin_frame_address): Omit the base parameter to
596         expand_builtin_return_addr.
597         (expand_builtin_profile_func): Likewise.
598         * config/s390/s390.h (INITIAL_FRAME_ADDRESS_RTX): Define new macro.
599         (DYNAMIC_CHAIN_ADDRESS): Remove the case for the initial frame.
600         * doc/tm.texi: Documentation for INITIAL_FRAME_ADDRESS_RTX added.
601
602 2005-02-17  Jakub Jelinek  <jakub@redhat.com>
603
604         * config/s390/s390.c (s390_alloc_pool, s390_free_pool,
605         s390_chunkify_start): Use BITMAP_ALLOC and BITMAP_FREE.
606         * config/frv/frv.c (frv_function_epilogue): Likewise.
607
608 2005-02-17  Daniel Berlin  <dberlin@dberlin.org>
609
610         * lambda-code (perfect_nestify): Remove mark/unmark
611         for rewriting hack.
612         * tree-loop-linear.c (linear_transform_loops): Add
613         rewrite_into_ssa call so that ssa is correct for
614         rewriting into loop closed.
615
616 2005-02-17  Nathan Sidwell  <nathan@codesourcery.com>
617
618         * bitmap.h (BITMAP_XMALLOC, BITMAP_XFREE): Remove.
619         * bb-reorder.c (duplicate_computed_gotos): Use BITMAP_ALLOC and
620         BITMAP_FREE.
621         * bt-load.c (btr_def_live_range, combine_btr_defs,
622         migrate_btr_def, migrate_btr_defs): Likewise.
623         * cfgcleanup.c (thread_jump): Likewise.
624         * cfgloop.c (get_loop_body_in_bfs_order): Likewise.
625         * df.c (df_insn_table_realloc, df_bitmaps_alloc, df_bitmaps_free,
626         df_alloc, df_free, df_du_chain_create, df_bb_rd_local_compute,
627         df_rd_local_compute, df_reg_info_compute): Likewise.
628         * dominance.c (init_dom_info, free_dom_info): Likewise.
629         * flow.c (init_propagate_block_info,
630         free_propagate_block_info): Likewise.
631         * gcse.c (alloc_gcse_mem, free_gcse_mem): Likewise.
632         * global.c (allocate_bb_info, free_bb_info, calculate_reg_pav,
633         modify_reg_pav): Likewise.
634         * loop-invariant.c (find_defs, find_invariant_insn,
635         find_invariants, free_inv_motion_data): Likewise.
636         * predict.c (tree_predict_by_opcode,
637         estimate_bb_frequencies): Likewise.
638         * stmt.c (expand_case): Likewise.
639         * tree-cfg.c (tree_duplicate_sese_region): Likewise.
640         * tree-dfa.c (mark_new_vars_to_rename): Likewise.
641         * tree-if-conv.c (get_loop_body_in_if_conv_order): Likewise.
642         * tree-into-ssa.c (insert_phi_nodes_for, def_blocks_free,
643         get_def_blocks_for, mark_def_site_blocks, rewrite_into_ssa,
644         rewrite_ssa_into_ssa): Likewise.
645         * tree-optimize.c (tree_rest_of_compilation): Likewise.
646         * tree-outof-ssa.c (new_temp_expr_table, free_temp_expr_table,
647         analyze_edges_for_bb, perform_edge_inserts): Likewise.
648         * tree-scalar-evolution.c (scev_initialize, scev_finalize): Likewise.
649         * tree-sra.c (tree_sra): Likewise.
650         * tree-ssa-alias.c (init_alias_info, delete_alias_info): Likewise.
651         * tree-ssa-ccp.c (ccp_fold_builtin): Likewise.
652         * tree-ssa-dce.c (tree_dce_init, tree_dce_done): Likewise.
653         * tree-ssa-dom.c (tree_ssa_dominator_optimize): Likewise.
654         * tree-ssa-dse.c (tree_ssa_dse): Likewise.
655         * tree-ssa-forwprop.c (tree_ssa_forward_propagate_single_use_var):
656         Likewise.
657         * tree-ssa-live.c (new_tree_live_info, delete_tree_live_info,
658         calculate_live_on_entry, calculate_live_on_exit,
659         build_tree_conflict_graph): Likewise.
660         * tree-ssa-loop-ivopts.c (tree_ssa_iv_optimize_init, record_use,
661         record_important_candidates, set_use_iv_cost, find_depends,
662         determine_use_iv_costs, iv_ca_new, iv_ca_free, free_loop_data,
663         tree_ssa_iv_optimize_finalize): Likewise.
664         * tree-ssa-loop-manip.c (add_exit_phis_var, get_loops_exit,
665         find_uses_to_rename_use, rewrite_into_loop_closed_ssa,
666         tree_duplicate_loop_to_header_edge): Likewise.
667         * tree-ssa-pre.c (init_pre, fini_pre): Likewise.
668         * tree-ssa.c (verify_flow_insensitive_alias_info,
669         verify_name_tags, verify_ssa, init_tree_ssa,
670         delete_tree_ssa): Likewise.
671         * tree-ssanames.c (marked_ssa_names, init_ssanames,
672         fini_ssanames): Likewise.
673         * tree-vectorizer.c (slpeel_tree_peel_loop_to_edge): Likewise.
674
675 2005-02-17  Ralf Corsepius  <ralf.corsepius@rtems.org>
676
677         * config/rs6000/t-rtems: Completely reworked.
678
679 2005-02-17  Ira Rosen  <irar@il.ibm.com>
680
681         * tree-data-ref.c (array_base_name_differ_p): Remove gcc_assert.
682
683 2005-02-17  Ira Rosen  <irar@il.ibm.com>
684
685         * tree-vect-analyze.c (vect_analyze_pointer_ref_access): Use
686         POINTER_TYPE_P when checking that type is a pointer.
687         (vect_get_memtag): Remove.
688         (vect_address_analysis): Use POINTER_TYPE_P. Call
689         vect_object_analysis with dummy parameter for memtag.
690         (vect_object_analysis): Extract memtag (functionality that
691         used to be in vect_get_memtag and moved here). Fix printings.
692         (vect_analyze_data_refs): Fix comment. Call vect_object_analysis
693         with correct parameters. Remove call to vect_get_memtag.
694
695 2005-02-17  Dorit Naishlos  <dorit@il.ibm.com>
696
697         * Makefile.in (tree-vect-analyze.o, tree-vect-transform.o): New.
698         (tree-vectorizer.o): Added missing dependencies.
699
700         * tree-vectorizer.h (vect_dump, vect_verbosity_level): Added extern
701         decleration.
702         (slpeel_tree_peel_loop_to_edge): Function externalized (had a static
703         declaration in tree-vectorizer.c, now has an extern declaration in
704         tree-vectorizer.h).
705         (slpeel_make_loop_iterate_ntimes, slpeel_can_duplicate_loop_p,
706         slpeel_verify_cfg_after_peeling, vect_strip_conversion,
707         get_vectype_for_scalar_type, vect_is_simple_use,
708         vect_is_simple_iv_evolution, vect_can_force_dr_alignment_p,
709         vect_supportable_dr_alignment, new_loop_vec_info, destroy_loop_vec_info,
710         new_stmt_vec_info, vect_analyze_loop, vectorizable_load,
711         vectorizable_store, vectorizable_operation, vectorizable_assignment,
712         vect_transform_loop, vect_print_dump_info, vect_set_verbosity_level,
713         find_loop_location): Likewise.
714
715         * tree-vectorizer.c (langhooks.h): #include removed.
716         (slpeel_tree_peel_loop_to_edge): Function externalized. Declaration
717         moved to tree-vectorized.h.
718         (slpeel_make_loop_iterate_ntimes, slpeel_can_duplicate_loop_p,
719         slpeel_verify_cfg_after_peeling, vect_strip_conversion,
720         get_vectype_for_scalar_type, vect_is_simple_use,
721         vect_is_simple_iv_evolution, vect_can_force_dr_alignment_p,
722         vect_supportable_dr_alignment, new_loop_vec_info,
723         destroy_loop_vec_info, new_stmt_vec_info, vect_print_dump_info,
724         vect_set_verbosity_level, find_loop_location): Likewise.
725
726         (vect_analyze_loop): Function externalized. Declaration moved to
727         tree-vectorized.h. Function definition moved to tree-vect-analyze.c.
728         (vect_analyze_loop_form): Moved to tree-vect-analyze.c.
729         (vect_mark_stmts_to_be_vectorized, vect_analyze_scalar_cycles,
730         vect_analyze_data_ref_accesses, vect_analyze_data_ref_dependences,
731         vect_analyze_data_refs_alignment, vect_compute_data_refs_alignment,
732         vect_enhance_data_refs_alignment, vect_analyze_operations,
733         exist_non_indexing_operands_for_use_p, vect_mark_relevant,
734         vect_stmt_relevant_p, vect_get_loop_niters,
735         vect_analyze_data_ref_dependence, vect_compute_data_ref_alignment,
736         vect_analyze_data_ref_access, vect_analyze_pointer_ref_access,
737         vect_can_advance_ivs_p, vect_get_ptr_offset, vect_analyze_offset_expr,
738         vect_base_addr_differ_p, vect_object_analysis, vect_address_analysis,
739         vect_get_memtag): Likewise.
740
741         (vectorizable_load): Function externalized. Declaration moved to
742         tree-vectorized.h. Function definition moved to tree-vect-transform.c.
743         (vectorizable_store, vectorizable_operation, vectorizable_assignment,
744         vect_transform_loop): Likewise.
745         (vect_transform_stmt): Moved to tree-vect-transform.c.
746         (vect_align_data_ref, vect_create_destination_var,
747         vect_create_data_ref_ptr, vect_create_index_for_vector_ref,
748         vect_create_addr_base_for_vector_ref, vect_get_new_vect_var,
749         vect_get_vec_def_for_operand, vect_init_vector,
750         vect_finish_stmt_generation, vect_generate_tmps_on_preheader,
751         vect_build_loop_niters, vect_update_ivs_after_vectorizer,
752         vect_gen_niters_for_prolog_loop, vect_update_inits_of_dr,
753         vect_update_inits_of_drs, vect_do_peeling_for_alignment,
754         vect_do_peeling_for_loop_bound): Likewise.
755
756         * tree-vect-analyze.c: New file.
757         * tree-vect-transform.c: New file.
758
759 2005-02-17  Jason Merrill  <jason@redhat.com>
760
761         PR mudflap/19319, c++/19317
762         * gimplify.c (gimplify_modify_expr_rhs) [CALL_EXPR]: Make return
763         slot explicit.
764
765 2005-02-17  Gerald Pfeifer  <gerald@pfeifer.com>
766
767         * doc/install.texi (Specific): Update link for Darwin-specific
768         tool binary site.
769
770 2005-02-16  James A. Morrison  <phython@gcc.gnu.org>
771
772         * fold-const.c (invert_truthvalue): <INTEGER_CST>: Call
773         constant_boolean_node.
774
775 2005-02-16  David Edelsohn  <edelsohn@gnu.org>
776
777         PR target/19019
778         * config/rs6000/t-aix43 (SHLIB_MAPFILES): Add libgcc-ppc64.ver.
779         * config/rs6000/t-aix52 (SHLIB_MAPFILES): Same.
780
781 2005-02-16  Richard Henderson  <rth@redhat.com>
782
783         PR 19920
784         * libgcc2.c (WORD_SIZE): Remove all definitions; replace uses
785         with W_TYPE_SIZE.
786         (HIGH_WORD_COEFF, HIGH_HALFWORD_COEFF): Remove all definitions;
787         replace uses with Wtype_MAXp1_F.
788         (L_fixunstfdi, L_fixtfdi, L_floatditf, L_fixunsxfdi, L_fixxfdi,
789         L_floatdixf, L_fixunsxfsi, L_fixunsdfdi, L_floatdidf, L_fixunsdfsi,
790         L_powidf2, L_powixf2, L_powitf2, L_muldc3, L_divdc3, L_mulxc3,
791         L_divxc3, L_multc3, L_divtc3): Protect with HAVE_DFMODE, HAVE_XFMODE,
792         and HAVE_TFMODE as appropriate.
793         (__fixunssfDI): Provide an implementation that doesn't need DFmode.
794         (__floatdisf): Likewise.
795         * libgcc2.h (LIBGCC2_DOUBLE_TYPE_SIZE): New.
796         (HAVE_DFMODE, HAVE_XFMODE, HAVE_TFMODE): New.
797         (Wtype_MAXp1_F): New.
798         (DFtype, DCtype, __fixdfdi, __floatdidf, __fixunsdfSI, __fixunsdfDI,
799         __powidf2, __divdc3, __muldc3): Protect with HAVE_DFMODE.
800
801 2005-02-16  Richard Earnshaw  <rearnsha@arm.com>
802
803         * PR target/19162
804         * arm.c (arm_apply_result_size): New function.
805         * arm.h (APPLY_RESULT_SIZE): Define.
806         * arm-protos.h (arm_apply_result_size): Add prototype.
807         * arm.md (RO_REGNUM, FPA_F0_REGNUM, FPA_F7_REGNUM): New constants.
808         (movxf): New expand.
809         (ldmsi_postinc4_thumb, stmsi_postinc4_thumb): New patterns for Thumb.
810         (call_value_symbol): Remove predicate for operand 0.
811         (call_value_insn, sibcall_value, sibcall_value_insn): Likewise.
812         (untyped_call): Rework to correclty return values for any type.
813         (untyped_return): New expand.
814         * fpa.md (movxf_fpa): Simplify and use sfm/lfm when appropriate.
815
816 2005-02-16  Stan Shebs  <shebs@apple.com>
817
818         * config.gcc (powerpc-*-darwin*): Use fragment for Darwin 8 or later.
819         * config/rs6000/t-darwin8: New, for 64-bit multilib.
820
821 2005-02-16  Eric Botcazou  <ebotcazou@libertysurf.fr>
822
823         * doc/install.texi (sparc-sun-solaris2*): Document required GMP
824         configure settings on Solaris 7 and later.
825
826 2005-02-16  Diego Novillo  <dnovillo@redhat.com>
827
828         PR tree-optimization/19865
829         * tree-optimize.c (init_tree_optimization_passes): Run
830         pass_may_alias after pass_sra.
831
832 2005-02-16  Richard Henderson  <rth@redhat.com>
833             Stuart Hastings  <stuart@apple.com>
834
835         PR debug/19521
836         * dbxout.c (dbxout_function_end): Take decl parameter; update callers.
837         Do nothing if debug info suppressed for this function.
838         (dbxout_begin_function): Early exit if debug info suppressed for
839         this function.
840
841 2005-02-16  Kazu Hirata  <kazu@cs.umass.edu>
842
843         PR target/20007
844         * config/ip2k/ip2k.c (ip2k_reorg): Adjust calls to
845         find_basic_blocks.
846         * config/sh/sh.c (sh_output_mi_thunk): Likewise.
847
848         PR tree-optimization/19967
849         * builtins.c (expand_builtin_strstr, expand_builtin_strpbrk,
850         expand_builtin_strchr, expand_builtin_strrchr): Take a new
851         argument TYPE.  Adjust calls to fold_builtin_XXX.
852         (expand_builtin, fold_builtin_1): Adjust calls to
853         expand_builtin_XXX.
854         (fold_builtin_strchr, fold_builtin_strpbrk,
855         fold_builtin_strstr, fold_builtin_strrchr): Convert the folded
856         result to a requested type TYPE.
857
858 2005-02-16  Jakub Jelinek  <jakub@redhat.com>
859
860         PR middle-end/19857
861         * fold-const.c (fold): Don't optimize (T)(x & cst) to
862         (T)x & (T)cst if (T)cst overflows.
863         * convert.c (convert_to_integer) <case POINTER_TYPE>: Pass
864         TYPE_UNSIGNED (type) as type_for_size's UNSIGNEDP argument.
865
866 2005-02-15  Jeff Law  <law@redhat.com>
867
868         * gcse.c (blocks_with_calls): New bitmap.
869         (alloc_gcse_mem): Allocate it.
870         (free_gcse_mem): Free it.
871         (clear_modifY_mem_tables): Clear it.
872         (record_last_mem_set_info): Set the proper bit in BLOCK_WITH_CALLS
873         when we encounter CALL_INSNs.
874         (compute_transp, case MEM): Handle blocks with calls separate
875         from blocks without calls.  Use bitmap iterators rather than
876         FOR_EACH_BB.
877
878 2005-02-15  Peter O'Gorman  <peter@pogma.com>
879
880         PR bootstrap/18810
881         * mklibgcc.in (vis_hide): Use a temporary object file, not
882         -o /dev/null.
883
884 2005-02-15  Andy Hutchinson  <HutchinsonAndy@netscape.net>
885
886         PR target/19924
887         * config/avr/avr.h (MODES_TIEABLE_P): Define to 1 to allow subreg
888         access optimization.
889
890 2005-02-15  David Edelsohn  <edelsohn@gnu.org>
891             Alan Modra  <amodra@bigpond.net.au>
892
893         PR target/19019
894         * config/rs6000/darwin-ldouble.c (_xlqadd): Rename to __gcc_qadd.
895         (_xlqsub): Rename to __gcc_qsub.
896         (_xlqmul): Rename to __gcc_qmul.
897         (_xlqdiv): Rename to __gcc_qdiv.
898         Provide versioned symbol aliases with old names.
899         * config/rs6000/libgcc-ppc64.ver: Rename symbols.
900         * config/rs6000/rs6000.c (rs6000_init_libfuncs): Rename symbols.
901         * config/rs6000/t-aix43 (LIB2FUNCS_EXTRA): New.
902         * config/rs6000/t-aix52 (LIB2FUNCS_EXTRA): New.
903         * config/rs6000/t-newas (LIB2FUNCS_EXTRA): New.
904
905 2005-02-15  James A. Morrison  <phython@gcc.gnu.org>
906
907         * fold-const.c (fold): Fold -(~A) to A + 1.  Fold ~(-A) to A - 1.
908         Fold ~(A - 1) and ~(A + -1) to -A.
909
910 2005-02-15  James A. Morrison  <phython@gcc.gnu.org>
911
912         PR pch/14940
913         PR target/19300
914         * config/host-linux.c (linux_gt_pch_use_address): Copy from
915         config/pa/pa-host.c:pa_gt_pch_use_address.
916
917 2005-02-15  Daniel Berlin  <dberlin@dberlin.org>
918
919         * tree-vn.c (get_value_handle): Make sure that given an
920         is_gimple_min_invariant expression, we always return it.
921
922 2005-02-15  Kazu Hirata  <kazu@cs.umass.edu>
923
924         * passes.c (rest_of_handle_gcse): Fix a comment.
925
926 2005-02-15  Jeff Law  <law@redhat.com>
927
928         * gcse.c (canon_modify_mem_set_list_set): Kill unnecessary
929         bitmap.
930         (alloc_gcse_mem, free_gcse_mem): Corresponding changes.
931         (canon_list_insert, record_last_mem_set_info): Similarly.
932         (clear_modify_mem_tables): Similarly.
933
934 2005-02-15  Kazu Hirata  <kazu@cs.umass.edu>
935
936         * bitmap.c, bitmap.h, lambda-code.c, tree-dfa.c, tree-dump.c,
937         tree-dump.h, tree-ssa-loop-manip.c, value-prof.c,
938         config/mips/mips.md, config/rs6000/aix.h,
939         config/rs6000/beos.h, config/rs6000/sysv4.h: Update copyright.
940
941 2005-02-15  Richard Henderson  <rth@redhat.com>
942
943         * bb-reorder.c (find_traces_1_round): Force fallthru edge from a
944         call to be best_edge.
945
946 2005-02-14  Kazu Hirata  <kazu@cs.umass.edu>
947
948         * basic-block.h: Adjust the prototype for find_basic_blocks.
949         * cfgbuild.c (find_basic_blocks): Remove unused arguments.
950         * passes.c (rest_of_handle_loop_optimize): Adjust the call to
951         find_basic_blocks.
952
953         * flow.c (recompute_reg_usage): Remove all arguments.
954         * passes.c (rest_of_compilation): Adjust the call to
955         recompute_reg_usage.
956         * rtl.h: Adjust the prototype for recompute_reg_usage.
957
958 2005-02-14  Daniel Berlin  <dberlin@dberlin.org>
959
960         * tree-dump.c (dump_files): Update to reflect new member
961         of dump_file_info.
962         (dump_register): Add new argument.
963         Set glob name.
964         (dump_switch_p_1): Check against glob name if doglob was passed.
965         (dump_switch_p): Check against regular first, then glob if
966         we didn't have any hits on the dump name.
967         * tree-optimize.c (register_one_dump_file):
968         Pass in glob name as well.
969         * tree-pass.h (struct dump_file_info): Add glob
970         member.
971
972 2005-02-14  Joseph S. Myers  <joseph@codesourcery.com>
973
974         PR preprocessor/16323
975         * doc/invoke.texi: Document that -Wendif-labels is on by default.
976
977 2005-02-14  David Edelsohn  <edelsohn@gnu.org>
978
979         PR target/19019
980         * config/rs6000/rs6000.md (trunctfdf2): Change to define_expand.
981         (trunctfdf2_internal1): New.
982         (trunctfdf2_internal2): Renamed from trunctfdf2.
983
984 2005-02-14  Diego Novillo  <dnovillo@redhat.com>
985
986         PR tree-optimization/19853
987         * tree-dfa.c (add_referenced_var): Always examine DECL_INITIAL.
988
989 2005-02-14  Kazu Hirata  <kazu@cs.umass.edu>
990
991         * passes.c (rest_of_handle_loop_optimize): Remove calls to
992         delete_dead_jumptables and cleanup_cfg.
993
994 2005-02-14  Ulrich Weigand  <uweigand@de.ibm.com>
995
996         * reload.c (find_reloads): Swap address_reloaded flags when
997         swapping commutative operands.
998
999 2005-02-14  Sebastian Pop  <pop@cri.ensmp.fr>
1000
1001         * lambda-code.c (lambda_loopnest_to_gcc_loopnest, perfect_nestify):
1002         Use standard_iv_increment_position for computing the bsi position
1003         for create_iv.
1004         * tree-ssa-loop-manip.c (create_iv): Add a comment on how to compute
1005         the bsi position.
1006
1007 2005-02-13  Zdenek Dvorak  <dvorakz@suse.cz>
1008
1009         PR target/17428
1010         * cfgrtl.c (safe_insert_insn_on_edge): Avoid extending
1011         life range of hard registers.
1012         * value-prof.c (insn_prefetch_values_to_profile): Only
1013         scan normal insns.
1014
1015         * value-prof.c (rtl_find_values_to_profile): Do not look for values to
1016         profile in libcalls.
1017
1018 2005-02-13  Nathan Sidwell  <nathan@codesourcery.com>
1019
1020         * bitmap.h (bitmap_and_compl_into): Return bool.
1021         * bitmap.c (bitmap_and_compl_into): Return changed flag.
1022
1023 2005-02-13  James A. Morrison  <phython@gcc.gnu.org>
1024
1025         PR tree-optimization/19944
1026         * fold-const.c (fold): Re-add ABS_EXPR folding.
1027
1028 2005-02-13  David Edelsohn  <edelsohn@gnu.org>
1029
1030         PR target/19019
1031         * config/rs6000/aix.h ({TARGET,MASK}_XL_CALL): Rename to
1032         {TARGET,MASK}_XL_COMPAT.
1033         (SUBTARGET_SWITCHES): Rename xl-call to xl-compat.  Use
1034         MASK_XL_COMPAT.
1035         * config/rs6000/beos.h ({TARGET,MASK}_XL_CALL): Remove.
1036         * config/rs6000/rs6000.c (function_arg): Change TARGET_XL_CALL to
1037         TARGET_XL_COMPAT.
1038         (rs6000_arg_partial_bytes): Same.
1039         (rs6000_generate_compare): Generate PARALLEL for compare if TFmode
1040         and XL compatibility enabled.
1041         * config/rs6000/rs6000.h (TARGET_XL_CALL): Rename to TARGET_XL_COMPAT.
1042         * config/rs6000/rs6000.md (cmptf_internal1): Add !TARGET_XL_COMPAT
1043         test to final condition.
1044         (cmptf_internal2): New.
1045         * doc/invoke.texi (RS/6000 Subtarget Options): Change xl-call to
1046         xl-compat.  Add TFmode information to description.
1047
1048 2005-02-13  Kazu Hirata  <kazu@cs.umass.edu>
1049
1050         * flags.h, read-rtl.c, tree-ssa-live.h: Update copyright.
1051
1052 2005-02-13  Jason Merrill  <jason@redhat.com>
1053
1054         PR c++/16405
1055         * fold-const.c (fold_indirect_ref_1): Split out from...
1056         (build_fold_indirect_ref): Here.
1057         (fold_indirect_ref): New fn.
1058         * tree.h: Declare it.
1059         * gimplify.c (gimplify_compound_lval): Call fold_indirect_ref.
1060         (gimplify_modify_expr_rhs): Likewise.
1061         (gimplify_expr): Likewise.
1062
1063 2005-02-13  James A. Morrison  <phython@gcc.gnu.org>
1064
1065         PR tree-optimization/14303
1066         PR tree-optimization/15784
1067         * fold-const.c (fold): Fold ABS_EXPR<x> >= 0 to true, when possible.
1068         Fold ABS_EXPR<x> < 0 to false.  Fold ABS_EXPR<x> == 0 to x == 0 and
1069         ABS_EXPR<x> != 0 to x != 0.
1070
1071 2005-02-12  Kazu Hirata  <kazu@cs.umass.edu>
1072
1073         * c-tree.h, combine.c, expmed.c, flow.c, libgcc2.c,
1074         simplify-rtx.c, tree-ssa-live.h: Fix comment typos.  Follow
1075         spelling conventions.
1076
1077         * passes.c (rest_of_handle_gcse): Don't run cse_main and
1078         delete_trivially_dead_insns too many times.
1079
1080         * passes.c (rest_of_handle_gcse): Remove dead assignments to
1081         tem and tem2.
1082
1083 2005-02-12  Ira Rosen  <irar@il.ibm.com>
1084
1085         * tree-vectorizer.c (vect_get_base_and_offset): Remove.
1086         (vect_is_simple_iv_evolution): Remove redundant parameter
1087         and step check.
1088         (vect_analyze_scalar_cycles): Call vect_is_simple_iv_evolution
1089         without last parameter.
1090         (vect_analyze_pointer_ref_access): Get access_fn as parameter.
1091         Return pointer step. Call vect_is_simple_iv_evolution without
1092         last parameter. Check only that the step is multiple of size
1093         type. Remove stmt_vinfo updates.
1094         (vect_get_memtag_and_dr): Remove.
1095         (vect_get_memtag): New function.
1096         (vect_address_analysis): New function.
1097         (vect_object_analysis): New function.
1098         (vect_analyze_data_refs): Call vect_object_analysis and
1099         vect_get_memtag. Update stmt_vinfo fields.
1100
1101 2005-02-12  Ira Rosen  <irar@il.ibm.com>
1102
1103         * tree-data-ref.c (array_base_name_differ_p): Check that the bases
1104         exist and are objects. Remove checks for pointer.
1105         * tree-vectorizer.c (vect_create_addr_base_for_vector_ref): Use
1106         STMT_VINFO_VECT_DR_BASE_ADDRESS instead of DR_BASE_NAME.
1107         (vect_create_data_ref_ptr): Likewise.
1108         (vect_base_addr_differ_p): New function.
1109         (vect_analyze_data_ref_dependence): Call vect_base_addr_differ_p.
1110         (vect_analyze_pointer_ref_access): Add output parameter - ptr_init.
1111         Don't set the DR_BASE_NAME field of data-ref.
1112         (vect_get_memtag_and_dr): Use ptr_init instead of DR_BASE_NAME.
1113
1114 2005-02-12  Uros Bizjak  <uros@kss-loka.si>
1115
1116         * optabs.h (enum optab_index): Add new OTI_ldexp.
1117         (ldexp_optab): Define corresponding macro.
1118         * optabs.c (init_optabs): Initialize ldexp_optab.
1119         * genopinit.c (optabs): Implement ldexp_optab using ldexp?f3
1120         patterns.
1121         * builtins.c (expand_builtin_mathfn_2): Handle BUILT_IN_LDEXP{,F,L}
1122         using ldexp_optab.
1123         (expand_builtin): Expand BUILT_IN_LDEXP{,F,L} using
1124         expand_builtin_mathfn_2 if flag_unsafe_math_optimizations is set.
1125
1126         * config/i386/i386.md (ldexpsf3, ldexpdf3, ldexpxf3): New expanders
1127         to implement ldexpf, ldexp and ldexpl built-ins as inline x87
1128         intrinsics.
1129
1130 2005-02-12  Ira Rosen  <irar@il.ibm.com>
1131
1132         * tree-vectorizer.h (struct _stmt_vec_info): Rename a field: base
1133         to base_address.
1134         * tree-vectorizer.c (new_stmt_vec_info): Rename the above field of
1135         stmt_vec_info.
1136         (vect_get_base_and_offset): Always return an address.
1137         (vect_create_addr_base_for_vector_ref): Remove treatment for
1138         different data reference types.
1139         (vect_compute_data_ref_alignment): Rename base to base_address in
1140         stmt_vec_info. Get the object in order to force its alignment.
1141         (vect_get_memtag_and_dr): Rename base to base_address in
1142         stmt_vec_info. Extract the object for memtag analysis.
1143
1144 2005-02-12  Hans-Peter Nilsson  <hp@axis.com>
1145
1146         PR regression/19898.
1147         * config/cris/cris.c (cris_notice_update_cc): When testing if insn
1148         changes cc_status, use apply modified_in_p to part of cc_status
1149         and insn, not cris_reg_overlap_mentioned_p on SET_DEST of insn
1150         body.
1151
1152 2005-02-11  Richard Henderson  <rth@redhat.com>
1153
1154         * tree-complex.c (expand_complex_libcall): New.
1155         (expand_complex_multiplication): Use it for c99 compliance.
1156         (expand_complex_division): Likewise.
1157         * fold-const.c (fold_complex_add, fold_complex_mult): New.
1158         (fold): Call them.
1159         * builtins.c (built_in_names): Remove const.
1160         * tree.c (build_common_builtin_nodes): Build complex arithmetic
1161         builtins.
1162         * tree.h (BUILT_IN_COMPLEX_MUL_MIN, BUILT_IN_COMPLEX_MUL_MAX): New.
1163         (BUILT_IN_COMPLEX_DIV_MIN, BUILT_IN_COMPLEX_DIV_MAX): New.
1164         (built_in_names): Remove const.
1165         * c-common.c (c_common_type_for_mode): Handle complex modes.
1166         * flags.h, toplev.c (flag_complex_method): Rename from
1167         flag_complex_divide_method.
1168         * libgcc2.c (__divsc3, __divdc3, __divxc3, __divtc3,
1169         __mulsc3, __muldc3, __mulxc3, __multc3): New.
1170         * libgcc2.h: Declare them.
1171         * libgcc-std.ver: Export them.
1172         * mklibgcc.in (lib2funcs): Build them.
1173
1174 2005-02-11  Steven Bosscher  <stevenb@suse.de>
1175
1176         PR tree-optimization/19876
1177         Partially revert my change from 2005-01-14
1178         * tree-ssa-pre.c (compute_antic_aux): Make recursive once again...
1179         (compute_antic): ...and remove the loop here.
1180
1181 2005-02-11  Jakub Jelinek  <jakub@redhat.com>
1182
1183         PR middle-end/19858
1184         * fold-const.c (make_bit_field_ref): If bitpos == 0 and bitsize
1185         is number of inner's bits, avoid creating a BIT_FIELD_REF.
1186
1187         * config/rs6000/sysv4.h (ENDFILE_LINUX_SPEC): Use crtendS.o instead of
1188         crtend.o if -pie.  Use %{x:a;:b} spec syntax.
1189
1190 2005-02-11  Daniel Jacobowitz  <dan@codesourcery.com>
1191
1192         * config/mips/linux-unwind.h (mips_fallback_frame_state): Adjust
1193         offsets for the big-endian 32-bit case.
1194
1195 2005-02-11  Joseph S. Myers  <joseph@codesourcery.com>
1196
1197         * config/ia64/hpux.h (WCHAR_TYPE, WCHAR_TYPE_SIZE): Define.
1198
1199 2005-02-11  Dale Johannesen  <dalej@apple.com>
1200
1201         * cselib.c (cselib_process_insn):  Clear out regs where
1202         HARD_REGNO_CALL_PART_CLOBBERED is true at a call.
1203         * reload.c (find_equiv_reg): Ditto.
1204
1205 2005-02-11  Ian Lance Taylor  <ian@airs.com>
1206
1207         * read-rtl.c (read_rtx_1): Give fatal error if we see a vector
1208         with no elements.
1209
1210         * tree.c (build_function_type_list): Work correctly if there are
1211         no arguments.
1212
1213 2005-02-11  Ulrich Weigand  <uweigand@de.ibm.com>
1214
1215         * config/s390/s390.md ("*cmpdi_cct", "*cmpsi_cct", "*cmpdi_ccs",
1216         "*cmpsi_ccs"): Use %h instead of %c to print immediate operand.
1217         ("*zero_extendhisi2_64", "*zero_extendhisi2_31"): Choose based on
1218         TARGET_ZARCH instead of TARGET_64BIT.
1219
1220 2005-02-11  Ralf Corsepius  <ralf.corsepius@rtems.org>
1221
1222         * config/rs6000/t-rtems:
1223         (MULTILIB_OPTIONS): Remove mcpu=602.
1224         (MUTLILIB_DIRNAMES): Remove m602.
1225         (MULTILIB_MATCHES): Add ${MULTILIB_MATCHES_FLOAT}.
1226         Let mcpu=602 match mcpu=603.
1227         (MULTILIB_NEW_EXCEPTIONS_ONLY): Add mcpu=601, mcpu=602, mcpu=m603.
1228
1229 2005-02-10  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
1230
1231         * pa/linux-unwind.h (pa32_fallback_frame_state): Handle misaligned
1232         signal trampolines.
1233
1234 2005-02-10  David Daney  <ddaney@avtrex.com>
1235
1236         * config/alpha/linux-unwind.h: Add exception clause to copyright.
1237         * config/i386/linux-unwind.h: Likewise.
1238         * config/ia64/linux-unwind.h: Likewise.
1239         * config/mips/linux-unwind.h: Likewise.
1240         * config/pa/linux-unwind.h: Likewise.
1241         * config/rs6000/linux-unwind.h: Likewise.
1242         * config/s390/linux-unwind.h: Likewise.
1243         * config/sh/linux-unwind.h: Likewise.
1244         * config/sparc/linux-unwind.h: Likewise.
1245
1246 2005-02-10  Steven Bosscher  <stevenb@suse.de>
1247
1248         PR tree-optimization/17549
1249         * tree-outof-ssa.c (find_replaceable_in_bb): Do not allow
1250         TER to replace a DEF with its expression if the DEF and the
1251         rhs of the expression we replace into have the same root
1252         variable.
1253
1254 2005-02-10  Richard Sandiford  <rsandifo@redhat.com>
1255
1256         * config/mips/mips.md: Fix the placement of the match_scratch in the
1257         lea64 peephole2.
1258
1259 2005-02-10  Kazu Hirata  <kazu@cs.umass.edu>
1260
1261         * cse.c, tree-ssa-loop-ivopts.c, config/rs6000/linux-unwind.h:
1262         Fix comment typos.
1263
1264 2005-02-10  Zdenek Dvorak  <dvorakz@suse.cz>
1265
1266         * tree-ssa-loop-ivopts.c (determine_base_object): Ignore casts.
1267         (strip_offset): Handle addresses.
1268         (add_address_candidates): Use strip_offset.
1269         (difference_cost): Reflect strip_offset change.
1270         (force_var_cost, difference_cost): Strip nops.
1271
1272 2005-02-10  Kazu Hirata  <kazu@cs.umass.edu>
1273
1274         * df.h (DF_REF_MODE_CHANGE, DF_REF_MEM_OK): Remove.
1275
1276         * builtins.def, haifa-sched.c, libgcc2.c, libgcc2.h,
1277         tree-ssa-loop-ivcanon.c, tree-ssa-loop-niter.c,
1278         config/cris/cris-protos.h, config/cris/cris.c: Update
1279         copyright.
1280
1281 2005-02-10  Jeff Law  <law@redhat.com>
1282
1283         * tree-ssa-dom.c (thread_across_edge): Use xmalloc, not xcalloc.
1284         (lookup_avail_expr): Similarly.
1285
1286 2005-02-10  Richard Guenther  <rguenth@gcc.gnu.org>
1287
1288         * builtins.c (fold_builtin_powi): New function.
1289         (fold_builtin_1): Call it.
1290
1291 2005-02-10  Steven Bosscher  <stevenb@suse.de>
1292
1293         PR documentation/19309
1294         * doc/cpp.texi: The __GNUC__ and related predefined macros
1295         are also defined for the "standalone" cpp.
1296         Some non-GCC compilers may also define __GNUC__.
1297
1298 2005-02-10  Jakub Jelinek  <jakub@redhat.com>
1299
1300         PR c/19342
1301         * c-typeck.c (common_type): New routine.  Old common_type renamed
1302         to...
1303         (c_common_type): ...this.
1304         (build_conditional_expr, build_binary_op): Use c_common_type instead
1305         of common_type.
1306
1307 2005-02-10  Steven Bosscher  <stevenb@suse.de>
1308
1309         * doc/md.texi: Replace @samp{length} with @code{length}.
1310
1311 2005-02-09  Zdenek Dvorak  <dvorakz@suse.cz>
1312
1313         PR tree-optimization/18687
1314         * tree-flow.h (find_loop_niter): Declare.
1315         * tree-ssa-loop-ivcanon.c (canonicalize_loop_induction_variables):
1316         Try using scev even for loops with more than one exit.
1317         * tree-ssa-loop-ivopts.c (struct loop_data): Removed niter field.
1318         (struct ivopts_data): Added niters field.
1319         (struct nfe_cache_elt): New.
1320         (nfe_hash, nfe_eq, niter_for_exit, niter_for_single_dom_exit): New
1321         functions.
1322         (tree_ssa_iv_optimize_init): Initialize niters cache.
1323         (determine_number_of_iterations): Removed.
1324         (find_induction_variables): Do not call determine_number_of_iterations.
1325         Access niters for single exit through niter_for_single_dom_exit.
1326         (add_iv_outer_candidates): Access niters for single exit through
1327         niter_for_single_dom_exit.
1328         (may_eliminate_iv): Take data argument.  Use niter_for_exit.  Do not use
1329         number_of_iterations_cond.
1330         (iv_period): New function.
1331         (determine_use_iv_cost_condition): Pass data to may_eliminate_iv.
1332         (may_replace_final_value): Take data argument.  Use
1333         niter_for_single_dom_exit.
1334         (determine_use_iv_cost_outer): Pass data to may_replace_final_value.
1335         (rewrite_use_compare): Pass data to may_eliminate_iv.
1336         (rewrite_use_outer): Pass data to may_replace_final_value.
1337         (free_loop_data): Clean up the niters cache.
1338         (tree_ssa_iv_optimize_finalize): Free the niters cache.
1339         (tree_ssa_iv_optimize_loop): Do not call loop_commit_inserts.
1340         * tree-ssa-loop-niter.c (find_loop_niter): New function.
1341         (find_loop_niter_by_eval): Use tree_int_cst_lt.
1342         (num_ending_zeros): Moved to tree.c.
1343         * tree.h (num_ending_zeros): Declare.
1344         * tree.c (num_ending_zeros): Moved from tree.c.
1345
1346 2005-02-09  Richard Henderson  <rth@redhat.com>
1347
1348         * builtins.c (DEF_BUILTIN): Add COND argument.
1349         * tree.h (DEF_BUILTIN): Likewise.
1350         * builtins.def (DEF_GCC_BUILTIN, DEF_LIB_BUILTIN, DEF_EXT_LIB_BUILTIN,
1351         DEF_C94_BUILTIN, DEF_C99_BUILTIN, DEF_C99_C90RES_BUILTIN): Update to
1352         match.
1353         (DEF_BUILTIN_STUB): New.
1354         (BUILT_IN_STACK_SAVE, BUILT_IN_STACK_RESTORE, BUILT_IN_INIT_TRAMPOLINE,
1355         BUILT_IN_ADJUST_TRAMPOLINE, BUILT_IN_NONLOCAL_GOTO,
1356         BUILT_IN_PROFILE_FUNC_ENTER, BUILT_IN_PROFILE_FUNC_EXIT): Use it.
1357         * c-common.c (DEF_BUILTIN): Add COND argument.
1358         * tree.c (local_define_builtin): New.
1359         (build_common_builtin_nodes): New.
1360
1361 2005-02-09  Roger Sayle  <roger@eyesopen.com>
1362
1363         * fold-const.c (fold_strip_sign_ops): New function to simplify a
1364         floating point expression ignoring the sign of the result.
1365         (fold) <ABS_EXPR>: Use it to simplify fabs(x).
1366         (fold) <MULT_EXPR>: Use it to simplify x*x.
1367         * tree.h (fold_strip_sign_ops): Prototype here.
1368         * builtins.c (fold_builtin_copysign): Take an additional FNDECL
1369         argument.  Use fold_strip_sign_ops to simplify the first argument.
1370         (fold_builtin_pow):  Use fold_strip_sign_ops to simplify the
1371         first argument when the second argument is an even integer
1372         constant, but only with -funsafe_math_optimizations.
1373         (fold_builtin_1): Update call to fold_builtin_copysign.
1374
1375 2005-02-09  Ian Lance Taylor  <ian@airs.com>
1376
1377         PR middle-end/19583
1378         * gimple-low.c (try_catch_may_fallthru): In EH_FILTER_EXPR case,
1379         just check whether EH_FILTER_FAILURE falls through.
1380
1381 2005-02-09  Andreas Krebbel  <krebbel1@de.ibm.com>
1382
1383         * gcc/haifa-sched.c (schedule_block): Make queued sched group
1384         insns return to ready list in the next turn.
1385
1386 2005-02-09  Richard Guenther  <rguenth@gcc.gnu.org>
1387
1388         PR middle-end/19402
1389         * builtins.def: New __builtin_powi[lf].
1390         * builtins.c (mathfn_built_in): Handle BUILT_IN_POWI.
1391         (expand_builtin_powi): New function.
1392         (expand_builtin): Dispatch to expand_builtin_powi.
1393         * libgcc2.h: Add prototypes for __builtin_powi[lf].
1394         * libgcc2.c: Add __builtin_powi[lf] implementation.
1395         * mklibgcc.in: Add __builtin_powi[lf] to lib2funcs.
1396         * optabs.h: Add powi_optab.
1397         * optabs.c (init_optabs): Initialize powi_optab.
1398         * doc/extend.texi: Document __builtin_powi[lf].
1399
1400 2005-02-09  Dorit Naishlos  <dorit@il.ibm.com>
1401
1402         * tree-vectorizer.c (vect_set_dump_settings): Check that dump_file
1403         exists.
1404
1405 2005-02-09  Richard Guenther  <rguenth@gcc.gnu.org>
1406
1407         PR middle-end/19854
1408         * fold-const.c (try_move_mult_to_index): Remove redundant
1409         type argument.  Create ADDR_EXPR with correct type.
1410         (fold): Update callers of try_move_mult_to_index.  Convert
1411         result to the appropriate type.
1412
1413 2005-02-09  Roger Sayle  <roger@eyesopen.com>
1414
1415         PR target/19597
1416         * config/avr/avr.c (default_rtx_costs): Delete.
1417         (avr_operand_rtx_cost): New function.
1418         (avr_rtx_costs): Completely rewrite.
1419
1420 2005-02-08  Hans-Peter Nilsson  <hp@axis.com>
1421
1422         PR target/19806
1423         * config/cris/cris.c (in_code): New variable.
1424         (cris_output_addr_const): Now a static function, a wrapper for
1425         output_addr_const.
1426         (cris_asm_output_symbol_ref): New function, broken out SYMBOL_REF
1427         case from old cris_output_addr_const.
1428         (cris_asm_output_label_ref): Similar for LABEL_REF.
1429         (cris_output_addr_const_extra): Similar for UNSPEC.
1430         * config/cris/cris.h (OUTPUT_ADDR_CONST_EXTRA)
1431         (ASM_OUTPUT_SYMBOL_REF, ASM_OUTPUT_LABEL_REF): Define.
1432         * config/cris/cris-protos.h (cris_output_addr_const): Remove
1433         declaration.
1434         (cris_asm_output_symbol_ref, cris_output_addr_const_extra)
1435         (cris_asm_output_label_ref): Declare.
1436
1437 2005-02-08  Paolo Bonzini  <bonzini@gnu.org>
1438
1439         PR preprocessor/19801
1440         * doc/cppinternals.texi (Conventions, Lexer, Files): Adjust
1441         filenames that changed when libcpp was moved to the toplevel.
1442
1443 2005-02-07  Roger Sayle  <roger@eyesopen.com>
1444
1445         * simplify-rtx.c (simplify_relational_operation_1): Avoid creating
1446         zero extensions of BImode operands.  Call lowpart_subreg instead
1447         of gen_lowpart_common and gen_lowpart_SUBREG.
1448
1449 2005-02-07  Nathanael Nerode  <neroden@gcc.gnu.org>
1450
1451         PR ada/19489
1452         * libada-mk.in: Use cc_for_cross_gnattools, not cc_set_by_configure.
1453         * configure.ac: Set cc_for_cross_gnattools.
1454         * configure: Regenerate.
1455
1456 2005-02-08  Alan Modra  <amodra@bigpond.net.au>
1457
1458         PR target/19803
1459         * predict.c (PROB_VERY_UNLIKELY): Use 1% instead of 10%.
1460
1461 2005-02-07  Eric Botcazou  <ebotcazou@libertysurf.fr>
1462
1463         PR debug/19327
1464         * dbxout.c (dbxout_symbol) <FUNCTION_DECL>: Skip inline instance
1465         of nested functions.
1466
1467 2005-02-07  Jonathan Wakely  <redi@gcc.gnu.org>
1468
1469         * doc/extend.texi: Document deprecated extensions allowing
1470         static floating-point members to have initializers and allowing
1471         floating-point literals in integral constant expressions.
1472
1473 2005-02-07  Kazu Hirata  <kazu@cs.umass.edu>
1474
1475         * cfgcleanup.c, df.h, diagnostic.c, rtl.c, tree-vectorizer.h,
1476         config/darwin7.h, config/mips/mips.c,
1477         config/rs6000/altivec.md, config/rs6000/darwin-tramp.asm:
1478         Update copyright.
1479
1480         * cse.c: Update comments.
1481
1482 2005-02-07  Richard Guenther  <rguenth@gcc.gnu.org>
1483
1484         PR middle-end/19775
1485         * builtins.c (fold_builtin_sqrt): Transform
1486         sqrt(pow(x,y)) to pow(fabs(x),y*0.5), not
1487         pow(x,y*0.5).
1488
1489 2005-02-07  Leehod Baruch  <leehod@il.ibm.com>
1490             Dorit Naishlos  <dorit@il.ibm.com>
1491
1492         * doc/invoke.texi (ftree-vectorizer-verbose): New.
1493         * opts.c (OPT_ftree_vectorizer_verbose_): New case for switch.
1494         * common.opt (ftree-vectorizer-verbose): New Flag for the vectorizer
1495         was added.
1496         * tree.h (vect_set_verbosity_level): New extern function declaration
1497         added.
1498         * tree-vectorizer.h (verbosity_levels): New enum type.
1499         * tree-vectorizer.c (vect_debug_stats): Function removed.
1500         (vect_debug_details): Likewise.
1501         (vect_verbosity_level): Global variable was defined and initialized.
1502         (vect_dump): Global variable definition.
1503         (vect_print_dump_info): New function.
1504         (vect_set_dump_settings): New function.
1505         (vect_set_verbosity_level): New function.
1506         (vectorize_loops): Add call to vect_set_dump_settings.
1507
1508         (slpeel_make_loop_iterate_ntimes): Dump condition was changed.
1509         (slpeel_tree_duplicate_loop_to_edge_cfg): Likewise.
1510         (slpeel_tree_peel_loop_to_edge): Likewise.
1511
1512         (vect_analyze_offset_expr): Call to vect_print_dump_info with
1513         appropriate verbosity level instead of call to vect_debug_details
1514         or vect_debug_stats.
1515         (vect_get_base_and_offset):
1516         (vect_create_addr_base_for_vector_ref):
1517         (get_vectype_for_scalar_type):
1518         (vect_create_data_ref_ptr):
1519         (vect_init_vector):
1520         (vect_get_vec_def_for_operand):
1521         (vect_finish_stmt_generation):
1522         (vectorizable_assignment):
1523         (vectorizable_operation):
1524         (vectorizable_store):
1525         (vectorizable_load):
1526         (vect_transform_stmt):
1527         (vect_update_ivs_after_vectorizer):
1528         (vect_do_peeling_for_loop_bound):
1529         (vect_update_inits_of_drs):
1530         (vect_do_peeling_for_alignment):
1531         (vect_transform_loop):
1532         (vect_is_simple_use):
1533         (vect_analyze_operations):
1534         (vect_is_simple_iv_evolution):
1535         (vect_analyze_scalar_cycles):
1536         (vect_analyze_data_ref_dependence):
1537         (vect_analyze_data_ref_dependences):
1538         (vect_compute_data_ref_alignment):
1539         (vect_enhance_data_refs_alignment):
1540         (vect_analyze_data_refs_alignment):
1541         (vect_analyze_data_ref_access):
1542         (vect_analyze_data_ref_accesses):
1543         (vect_analyze_pointer_ref_access):
1544         (vect_get_memtag_and_dr):
1545         (vect_analyze_data_refs):
1546         (vect_mark_relevant):
1547         (vect_stmt_relevant_p):
1548         (vect_mark_stmts_to_be_vectorized):
1549         (vect_can_advance_ivs_p):
1550         (vect_get_loop_niters):
1551         (vect_analyze_loop_form):
1552         (vect_analyze_loop):
1553         (vectorize_loops): Likewise.
1554
1555         (vect_do_peeling_for_loop_bound): Dump format slightly changed.
1556         (vect_update_inits_of_drs):
1557         (vect_do_peeling_for_alignment):
1558         (vect_transform_loop):
1559         (vect_analyze_operations):
1560         (vect_analyze_scalar_cycles):
1561         (vect_analyze_data_ref_dependences):
1562         (vect_analyze_data_refs_alignment):
1563         (vect_analyze_data_ref_accesses):
1564         (vect_analyze_data_refs):
1565         (vect_mark_stmts_to_be_vectorized):
1566         (vect_get_loop_niters):
1567         (vect_analyze_loop_form):
1568         (vect_analyze_loop): Likewise.
1569         (vect_mark_stmts_to_be_vectorized): Add call to print_generic_expr.
1570
1571 2005-02-07  Richard Sandiford  <rsandifo@redhat.com>
1572
1573         PR bootstrap/19796
1574         Revert:
1575         2005-01-26  Richard Sandiford  <rsandifo@redhat.com>
1576         * config/mips/iris6.h (ENDFILE_SPEC): Don't link in irix-csr.o if
1577         either -ffast-math or -funsafe-math-optimizations is in use.
1578
1579         2005-01-24  Richard Sandiford  <rsandifo@redhat.com>
1580         * config/mips/irix-csr.c: New file.
1581         * config/mips/t-iris6 (irix-csr.o): New rule to build it.
1582         (EXTRA_MULTILIB_PARTS): Add irix-csr.o.
1583         * config/mips/iris6.h (ENDFILE_SPEC): Include it in n32 and n64
1584         executables.
1585
1586 2005-02-07  Alexandre Oliva  <aoliva@redhat.com>
1587
1588         * config/mn10300/linux.h (LIB_SPEC, STARTFILE_SPEC): Remove
1589         redundant, incorrect definitions.
1590
1591         * config/frv/frv.md ("tls_indirect_call"): Turn into libcall-like
1592         expand.
1593         ("*tls_indirect_call"): New, reference hard regs directly.
1594         * config/frv/frv.c (gen_inlined_tls_plt): Adjust.
1595
1596 2005-02-07  Ralf Corsepius  <ralf.corsepius@rtems.org>
1597
1598         * config/arm/rtems-elf.h (SUBTARGET_EXTRA_ASM_SPEC):
1599         Let !-mhard-float !-msoft-float imply -mfpu=softfpa.
1600
1601 2005-02-06  Roger Sayle  <roger@eyesopen.com>
1602
1603         PR rtl-optimization/19800
1604         * simplify_rtx.c (simplify_relational_operation_1): Explicitly
1605         call gen_lowpart_common and gen_lowpart_SUBREG instead of calling
1606         gen_lowpart.
1607
1608 2005-02-07  Ralf Corsepius  <ralf.corsepius@rtems.org>
1609
1610         * config/m68k/t-rtems (MULTILIB_MATCHES): Let m528x match m5200.
1611
1612 2005-02-07  Joseph S. Myers  <joseph@codesourcery.com>
1613
1614         PR other/17135
1615         * doc/invoke.texi: Correct documentation of -freorder-functions.
1616
1617 2005-02-06  Joseph S. Myers  <joseph@codesourcery.com>
1618
1619         PR other/14402
1620         * doc/invoke.texi: Don't mention gccbug.
1621
1622 2005-02-06  Roger Sayle  <roger@eyesopen.com>
1623             Andrew Pinski  <pinskia@physics.uc.edu>
1624             Paolo Bonzini  <paolo.bonzini@lu.unisi.ch>
1625
1626         * simplify-rtx.c (simplify_relational_operation_1): Simplify
1627         (ne:SI (zero_extract:SI FOO (const_int 1) BAR) (const_int 0))
1628         into just (zero_extract:SI FOO (const_int 1) BAR).
1629
1630 2005-02-06  Joseph S. Myers  <joseph@codesourcery.com>
1631
1632         * doc/cpp.texi: Include gcc-common.texi.  Don't define gcctabopt
1633         macro locally.  Don't give last revision date.  Use GCC version
1634         number from gcc-common.texi.
1635         * doc/cppinternals.texi: Include gcc-common.texi.  Don't give last
1636         revision date.  Use GCC version number from gcc-common.texi.
1637         Describe being a library as current state rather than as 3.x
1638         history.
1639         * doc/gcc.texi: Remove last update date.
1640         * doc/gccint.texi: Likewise.  Update copyright dates.
1641         * doc/install.texi: Update copyright dates.
1642
1643 2005-02-06  Joseph S. Myers  <joseph@codesourcery.com>
1644
1645         PR other/7549
1646         * doc/invoke.texi: Mention for each option included in -Wall that
1647         it is included in -Wall.
1648         * doc/gcc.texi: Update copyright and last modification date.
1649
1650 2005-02-06  Zdenek Dvorak  <dvorakz@suse.cz>
1651
1652         * tree-ssa-loop-ivopts.c (rewrite_use_nonlinear_expr): Do not add
1653         unnecessary cast to original induction variable increments.
1654
1655 2005-02-06  Zdenek Dvorak  <dvorakz@suse.cz>
1656
1657         PR tree-optimization/18219
1658         * tree-ssa-loop-ivopts.c (get_computation_at): Produce computations
1659         in distributed form.
1660
1661 2005-02-06  Richard Sandiford  <rsandifo@redhat.com>
1662
1663         * expmed.c (store_bit_field): Make the SUBREG code adjust bitnum.
1664         Set bitpos and offset later in the function.  Do nothing if the
1665         target is a register and if the bitfield lies completely outside
1666         that register.
1667         (extract_bit_field): Make the same SUBREG, bitpos and offset changes
1668         here.  Return an uninitialised register if the source value is stored
1669         in a register and the bitfield lies completely outside that register.
1670
1671 2005-02-06  Steven Bosscher  <stevenb@suse.de>
1672
1673         * df.c (df_insn_refs_record): Use XEXP to get the operand of a USE,
1674         not SET_DEST.
1675
1676 2005-02-06  Marcin Dalecki  <martin@dalecki.de>
1677
1678         * diagnostic.c (default_diagnostic_finalizer): Fix use of attribute.
1679
1680 2005-02-06  Geoffrey Keating  <geoffk@apple.com>
1681
1682         * config.gcc (*-*-darwin*): Separate darwin7 and darwin8 configs.
1683         * config/darwin8.h: New.
1684         * config/darwin7.h: Update comment.
1685
1686 2005-02-03  Leehod Baruch  <leehod@il.ibm.com>
1687             Dorit Naishlos  <dorit@il.ibm.com>
1688
1689         * tree-vectorizer.h (LOC): New type.
1690         (UNKNOWN_LOC, EXPR_LOC, LOC_FILE, LOC_LINE): New macros.
1691         (loop_line_number): New field in struct _loop_vec_info.
1692         (LOOP_VINFO_LOC, LOOP_LOC): New macros.
1693
1694         * tree-vectorizer.c (input.h): Included.
1695         (find_loop_location): New function.
1696         (vect_debug_stats): Argument changed from loop to LOC. Computation of
1697         loop line number removed.
1698         (vect_debug_details): Likewise.
1699         (new_loop_vec_info): Initialize new field LOOP_VINFO_LOC.
1700
1701         (slpeel_make_loop_iterate_ntimes): Call find_loop_location. Argument in
1702         call to vect_debug_details/stats changed from loop to loop_loc.
1703         (slpeel_tree_duplicate_loop_to_edge_cfg): Likewise.
1704         (slpeel_tree_peel_loop_to_edge): Likewise.
1705
1706         (vect_analyze_offset_expr): Argument in call to vect_debug_details/stats
1707         changed from NULL to UNKNOWN_LOC.
1708         (vect_get_base_and_offset):
1709         (vect_create_addr_base_for_vector_ref):
1710         (get_vectype_for_scalar_type):
1711         (vect_create_data_ref_ptr):
1712         (vect_init_vector):
1713         (vect_get_vec_def_for_operand):
1714         (vect_finish_stmt_generation):
1715         (vectorizable_assignment):
1716         (vectorizable_operation):
1717         (vectorizable_store):
1718         (vectorizable_load):
1719         (vect_transform_stmt):
1720         (vect_update_ivs_after_vectorizer):
1721         (vect_do_peeling_for_loop_bound):
1722         (vect_do_peeling_for_alignment):
1723         (vect_transform_loop):
1724         (vect_is_simple_use):
1725         (vect_analyze_operations):
1726         (vect_is_simple_iv_evolution):
1727         (vect_analyze_scalar_cycles):
1728         (vect_analyze_data_ref_dependences):
1729         (vect_compute_data_ref_alignment):
1730         (vect_enhance_data_refs_alignment):
1731         (vect_analyze_data_ref_access):
1732         (vect_analyze_data_ref_accesses):
1733         (vect_analyze_pointer_ref_access):
1734         (vect_get_memtag_and_dr):
1735         (vect_analyze_data_refs):
1736         (vect_mark_relevant):
1737         (vect_stmt_relevant_p):
1738         (vect_mark_stmts_to_be_vectorized):
1739         (vect_can_advance_ivs_p):
1740         (vect_get_loop_niters):
1741         (vect_analyze_loop):
1742         (vectorize_loops): Likewise.
1743
1744         (vectorizable_load): Argument in call to vect_debug_details/stats
1745         changed from loop to LOOP_LOC (loop_vinfo).
1746         (vect_transform_loop):
1747         (vect_analyze_operations):
1748         (vect_analyze_scalar_cycles):
1749         (vect_analyze_data_ref_dependence):
1750         (vect_enhance_data_refs_alignment):
1751         (vect_analyze_data_ref_accesses):
1752         (vect_analyze_pointer_ref_access):
1753         (vect_analyze_data_refs):
1754         (vect_analyze_loop): Likewise.
1755
1756         (vect_analyze_loop_form): Argument in call to vect_debug_details/stats
1757         changed from loop to loop_loc.
1758
1759         (vect_enhance_data_refs_alignment): Removed unused variable loop.
1760
1761 2005-02-03  Leehod Baruch  <leehod@il.ibm.com>
1762             Dorit Naishlos  <dorit@il.ibm.com>
1763
1764         * tree-vectorizer.c (vect_analyze_data_ref_dependence): Function
1765         declaration added.
1766         (vect_analyze_data_ref_dependences): Likewise.
1767
1768         (vect_is_simple_use): Argument changed from loop structure to
1769         loop_vect_info structure.
1770         (vect_can_advance_ivs_p): Likewise.
1771         (vect_create_index_for_vector_ref): Likewise.
1772         (vect_update_ivs_after_vectorizer): Likewise.
1773         (new_stmt_vec_info): Likewise.
1774
1775         (new_loop_vec_info): Second argument in call to new_stmt_vec_info was
1776         changed from loop to loop_vinfo.
1777         (vect_create_data_ref_ptr): First argument in call to
1778         vect_create_index_for_vector_ref was changed from loop to loop_vinfo.
1779         (vectorizable_assignment): Second argument in call to vect_is_simple_use
1780         was changed from loop to loop_vinfo.
1781         (vectorizable_operation): Likewise.
1782         (vectorizable_store): Likewise.
1783         (vect_mark_stmts_to_be_vectorized): Likewise.
1784         (vect_do_peeling_for_loop_bound): First argument in call to
1785         vect_update_ivs_after_vectorizer was changed from loop to loop_vinfo.
1786         (vect_analyze_operations): Argument in call to vect_can_advance_ivs_p
1787         was changed from loop to loop_vinfo.
1788         (vect_analyze_data_ref_dependences): Third argument in call to
1789         vect_analyze_data_ref_dependence was changed from loop to loop_vinfo.
1790
1791         (vect_create_index_for_vector_ref): Get the loop from loop_vinfo.
1792         (vect_create_data_ref_ptr): Likewise.
1793         (vect_init_vector): Likewise.
1794         (vect_get_vec_def_for_operand): Likewise.
1795         (vectorizable_assignment): Likewise.
1796         (vectorizable_operation): Likewise.
1797         (vectorizable_store): Likewise.
1798         (vectorizable_load): Likewise.
1799         (vect_update_ivs_after_vectorizer): Likewise.
1800         (vect_is_simple_use): Likewise.
1801         (vect_analyze_data_ref_dependence): Likewise.
1802         (vect_analyze_pointer_ref_access): Likewise.
1803         (vect_can_advance_ivs_p): Likewise.
1804
1805         * tree-vectorizer.h: (_loop_vec_info): Definition and macros moved
1806         before _stmt_vec_info.
1807         (_stmt_vec_info): Loop field replaced by loop_vec_info.
1808         (STMT_VINFO_LOOP): Replaced with STMT_VINFO_LOOP_VINFO.
1809         (new_stmt_vec_info): Argument changed from loop structure to
1810         loop_vect_info structure
1811
1812         (vect_analyze_data_ref_dependences): Unnecessary line was removed.
1813         (vect_analyze_offset_expr): Avoid 80 columns overflow.
1814         (vect_create_addr_base_for_vector_ref): Likewise.
1815         (vect_analyze_pointer_ref_access): Likewise.
1816
1817 2005-02-03  Andrew Pinski  <pinskia@physics.uc.edu>
1818
1819         PR tree-opt/19768
1820         * tree-ssa-dse.c (fix_phi_uses): Update the occurs in abnormal
1821         phi flag if the phi is abnormal.
1822
1823 2005-02-03  Andrew Pinski  <pinskia@physics.uc.edu>
1824
1825         PR tree-opt/19736
1826         * tree-ssa.c (replace_immediate_uses): Update the immediate_uses
1827         information for the new statement.
1828
1829 2005-02-03  Joseph S. Myers  <joseph@codesourcery.com>
1830
1831         PR driver/19117
1832         * gcc.c (main): Include the target in -v output.
1833
1834 2005-02-03  Alexandre Oliva  <aoliva@redhat.com>
1835
1836         * combine.c (simplify_comparison, case SIGN_EXTEND, ZERO_EXTEND):
1837         Do not drop the extend if we'd have to add a paradoxical subreg
1838         later.  Include optabs.h and insn-codes.h.
1839         * Makefile.in (combine.o): Depend on $(OPTABS_H).
1840
1841 2005-02-02  Roger Sayle  <roger@eyesopen.com>
1842
1843         PR middle-end/19405
1844         * real.h (REAL_MODE_FORMAT_COMPOSITE_P): New macro.
1845         * fold-const.c (const_binop): Avoid constant folding floating
1846         point operations in modes that use composite representations.
1847         * simplify-rtx.c (simplify_binary_operation): Likewise.
1848
1849 2005-02-02  Geoffrey Keating  <geoffk@apple.com>
1850
1851         * config/rs6000/altivec.md (altivec_dst): Make the first operand
1852         a REG, not a MEM.
1853         (altivec_dstt): Likewise.
1854         (altivec_dstst): Likewise.
1855         (altivec_dststt): Likewise.
1856         * config/rs6000/rs6000.c (altivec_expand_dst_builtin): Adjust creation
1857         of first operand.
1858
1859 2005-02-03  Dorit Naishlos  <dorit@il.ibm.com>
1860
1861         * tree-vectorizer.c (slpeel_make_loop_iterate_ntimes): Copy
1862         EXPR_LOCUS from orig_cond to the new cond_stmt.
1863         (vect_finish_stmt_generation): Copy EXPR_LOCUS from stmt to
1864         the new vec_stmt.
1865
1866 2005-02-03  Dorit Naishlos  <dorit@il.ibm.com>
1867
1868         * tree-vectorizer.c (slpeel_make_loop_iterate_ntimes): Call
1869         standard_iv_increment_position. Remove call to bsi_next
1870         (no need to bump the iterator anymore).
1871         (vect_create_index_for_vector_ref): Call
1872         standard_iv_increment_position. Remove second function argument.
1873         (vect_finish_stmt_generation): Remove call to bsi_next
1874         (no need to bump the iterator anymore).
1875         (vect_create_data_ref_ptr): Remove second argument (bsi) in call
1876         to vect_create_index_for_vector_ref.
1877
1878 2005-02-03  Dorit Naishlos  <dorit@il.ibm.com>
1879
1880         * tree-vectorizer.c (vect_mark_stmts_to_be_vectorized): Check if
1881         phis are used out of the loop.
1882
1883 2005-02-03  Joseph S. Myers  <joseph@codesourcery.com>
1884
1885         PR c/17807
1886         * c-decl.c (undef_nested_function): New variable.
1887         (pop_scope): Diagnose undefined nested functions.
1888         (finish_function): Don't attempt cgraph processing or genericizing
1889         if current top-level function contained an undefined nested
1890         function.  Reset undef_nested_function at the end of a top-level
1891         function.
1892
1893 2005-02-02  Zdenek Dvorak  <dvorakz@suse.cz>
1894
1895         * tree.c (build_int_cst_type): Take sign of the value into account
1896         when deciding whether sign extend the value.
1897
1898 2005-02-02  Joseph S. Myers  <joseph@codesourcery.com>
1899
1900         PR c/18502
1901         * gcc.c (cpp_unique_options): Remove %{trigraphs}.
1902         (cpp_options, cc1_options): Change %{std*&ansi} to
1903         %{std*&ansi&trigraphs}.
1904
1905 2005-02-02  Kazu Hirata  <kazu@cs.umass.edu>
1906
1907         * cse.c: Update comments.
1908
1909 2005-02-02  Aldy Hernandez  <aldyh@redhat.com>
1910
1911         * config/rs6000/rs6000.c (rs6000_spe_function_arg): Multi-reg
1912         arguments go on the stack.  Do not put complex doubles in odd/even
1913         pairs.
1914
1915 2005-02-02  Steven Bosscher  <stevenb@suse.de>
1916
1917         * doc/invoke.texi: Update the options enabled at -O1, -O2,
1918         and -O3.  Update the documentation for -fgcse-sm, -fgcse-las,
1919         -ftree-pre, and -fthread-jumps.
1920
1921 2005-02-02  Richard Sandiford  <rsandifo@redhat.com>
1922
1923         PR tree-optimization/19578
1924         * tree-flow.h (modified_noreturn_calls): Declare.
1925         (noreturn_call_p): Declare.
1926         * tree-flow-inline.h (noreturn_call_p): New function.
1927         (modify_stmt): Add modified noreturn calls to modified_noreturn_calls.
1928         * tree-cfg.c (modified_noreturn_calls): New variable.
1929         (cleanup_control_flow): Use noreturn_call_p.  Split basic blocks
1930         that contain a mid-block noreturn call.
1931         * tree-ssa.c (delete_tree_ssa): Clear modified_noreturn_calls.
1932
1933 2005-02-02  Kazu Hirata  <kazu@cs.umass.edu>
1934
1935         * df.c (df_def_record_1, df_uses_record): Don't use
1936         DF_FOR_REGALLOC.
1937         * df.h (DF_FOR_REGALLOC): Remove.
1938
1939 2005-02-02  Joseph S. Myers  <joseph@codesourcery.com>
1940
1941         PR c/19435
1942         * c-typeck.c (really_start_incremental_init): Reset
1943         constructor_max_index for arrays of incomplete type.
1944
1945 2005-02-02  Jeff Law  <law@redhat.com>
1946
1947         * gcse.c (struct reg_set): Store the block index where the register
1948         was set rather than the setting insn.
1949         (record_one_set, compute_transp): Corresponding changes.
1950         (pre_insert_copy_insn): Do not call replace_one_set.
1951         (replace_one_set): Remove.
1952
1953 2005-02-02  Joseph S. Myers  <joseph@codesourcery.com>
1954
1955         PR other/15514
1956         * doc/gcov.texi: Fix typo.
1957
1958 2005-02-01  Richard Henderson  <rth@redhat.com
1959
1960         PR target/19680
1961         * config/i386/i386.h (MODES_TIEABLE_P): Use ix86_modes_tieable_p.
1962         * config/i386/i386.c (ix86_hard_regno_mode_ok): Change return
1963         type to bool.
1964         (ix86_tieable_integer_mode_p, ix86_modes_tieable_p): New.
1965         * config/i386/i386-protos.h: Update.
1966
1967 2005-02-01  Steven Bosscher  <stevenb@suse.de>
1968
1969         PR tree-optimization/19217
1970         * tree-cfg.c (verify_expr): Use the data field to see if TP was
1971         seen inside a PHI node.  Do not do the ADDR_EXPR check if it was.
1972         (verify_stmts): Pass (void*)1 as data to verify_expr to signal
1973         that it is walking a PHI node.
1974
1975 2005-02-01  Joseph S. Myers  <joseph@codesourcery.com>
1976
1977         * doc/extend.texi (Nested Functions): Update.
1978
1979 2005-02-01  Richard Henderson  <rth@redhat.com>
1980
1981         PR 19696
1982         * optabs.c (expand_copysign_absneg): Export.
1983         * optabs.h (expand_copysign_absneg): Declare.
1984         * config/rs6000/rs6000.md (copysigntf3): New.
1985
1986 2005-02-01  Diego Novillo  <dnovillo@redhat.com>
1987
1988         PR tree-optimization/19633
1989         * tree-flow.h (struct ptr_info_def): Add field 'pt_null'.
1990         * tree-ssa-alias.c (init_alias_info): Initialize.
1991         (merge_pointed_to_info): Set.
1992         (add_pointed_to_expr): Set pt_null if EXPR is a NULL pointer.
1993         (dump_points_to_info_for): Show value of pt_null.
1994         (struct count_ptr_d): Declare.
1995         (find_ptr_dereference): Remove.
1996         (ptr_is_dereferenced_by): Remove.
1997         (count_ptr_derefs): New local function.
1998         (count_uses_and_derefs): New local function.
1999         (compute_points_to_and_addr_escape): Call it.  If the number
2000         of dereferences is greater than zero, mark the pointer as
2001         dereferenced.  If there are fewer dereferences than uses of
2002         the pointer, the pointer's value escapes.
2003
2004 2005-02-01  Diego Novillo  <dnovillo@redhat.com>
2005
2006         PR tree-optimization/19670
2007         * tree-ssa.c (verify_ssa_name): Don't set TREE_VISITED
2008         here...
2009         (verify_use): ... set it here, instead.
2010
2011 2005-02-01  Janis Johnson  <janis187@us.ibm.com>
2012
2013         * doc/sourcebuild.texi (Test directives): Fix formatting.
2014
2015         * doc/sourcebuild.texi (Test directives): Describe selector
2016         expressions.
2017
2018 2005-02-01  Segher Boessenkool  <segher@kernel.crashing.org>
2019
2020         * config.gcc (powerpc64-*-linux*): Default to -m64 also for
2021         specific 64-bit CPUs.
2022
2023 2005-02-01  Richard Earnshaw  <rearnsha@arm.com>
2024
2025         PR target/16201
2026         * arm.c (arm_eliminable_register): New function.
2027         (adjacent_mem_locations): Don't allow eliminable registers.  Use
2028         HOST_WIDE_INT for address offsets.
2029         * arm-protos.h (arm_eliminable_register): Add prototype.
2030
2031 2005-02-01  Steven Bosscher  <stevenb@suse.de>
2032
2033         PR optimization/15242
2034         * params.def (PARAM_MAX_GOTO_DUPLICATION_INSNS): New param.
2035         * basic-block.h (duplicate_computed_gotos): Add prototype.
2036         * bb-reorder.c (duplicate_computed_gotos): New function to
2037         duplicate sufficiently small blocks ending in a computed jump.
2038         * passes.c (rest_of_compilation): Call duplicate_computed_gotos
2039         if not optimizing for size.
2040         * cfgcleanup.c (try_crossjump_bb): If not optimizing for size,
2041         never do tail merging for blocks ending in a computed jump.
2042         * doc/invoke.texi: Document the max-goto-duplication-insns param.
2043
2044 2005-02-01  Eric Botcazou  <ebotcazou@libertysurf.fr>
2045
2046         Patch from Richard Sandiford <rsandifo@redhat.com>
2047         * reload1.c (choose_reload_regs): Prevent the find_equiv_reg() code
2048         from inheriting a subreg equivalence with a non-spill register.
2049
2050         * tree.h (DECL_FUNCTION_CODE): Document that it is overloaded.
2051
2052 2005-02-01  Alexandre Oliva  <aoliva@redhat.com>
2053
2054         * config/frv/frv.c (movcc_fp_destination_operand): New.
2055         (gpr_or_memory_operand): Fix typo in comment.
2056         (gpr_or_memory_operand_with_scratch): New.
2057         * config/frv/frv.h (PREDICATE_CODES): Add the two new predicates.
2058         * config/frv/frv.md (movcc_fp, movcc_fp_internal): Use
2059         movcc_fp_destination_operand.
2060         (reload_incc_fp): Use gpr_or_memory_operand_with_scratch.
2061         Legitimize memory addresses using a scratch register.
2062
2063 2005-01-31  Jeff Law  <law@redhat.com>
2064
2065         * tree-into-ssa.c (mark_def_sites_global_data): Make KILLS
2066         bitmap a sparse bitmap instead of a simple bitmap.
2067         (mark_def_sites_initialize_block):  Corresponding changes.
2068         (ssa_mark_def_sites_initialize_block): Likewise.
2069         (ssa_mark_phi_uses): Likewise.
2070         (mark_def_site, ssa_mark_def_sites): Likewise.
2071         (mark_def_site_blocks): Likewise.
2072         (rewrite_ssa_into_ssa): Likewise.
2073
2074         * tree-ssa-dom.c (record_cond): Pass correct variable type
2075         for last argument to htab_find_slot_with_hash.
2076
2077         * fold-const.c (fold, case CEIL_MOD_EXPR): Do not lose side
2078         effects when optimizing 0 % X.  Do not try to optimize X % 0.
2079
2080 2005-01-31  James E. Wilson  <wilson@specifixinc.com>
2081
2082         * config/ia64/itanium1.md (1_scall bypass): Change 2_mmalua to
2083         1_mmalua.
2084
2085 2005-02-01  Eric Christopher  <echristo@redhat.com>
2086
2087         * config/mips/mips.c (override_options): Warn if -mint64
2088         is used.
2089         * doc/invoke.texi (MIPS Options): Document that -mint64 is
2090         deprecated.
2091
2092 2005-02-01  Kazu Hirata  <kazu@cs.umass.edu>
2093
2094         * cse.c (cse_reg_info): Remove hash_next, next, regno.  Add
2095         timestamp.
2096         (cse_reg_info_list, cse_reg_info_list_free, REGHASH_SHIFT,
2097         REGHASH_SIZE, REGHASH_MASK, reg_hash, REGHASH_FN,
2098         cached_cse_reg_info, GET_CSE_REG_INFO): Remove.
2099         (cached_regno): Initialize to INVALID_REGNUM.
2100         (cse_reg_info_table_size,
2101         cse_reg_info_table_first_uninitialized,
2102         cse_reg_info_timestamp): New.
2103         (REG_TICK, REG_IN_TABLE, SUBREG_TICKED, REG_QTY): Use
2104         get_cse_reg_info.
2105         (init_cse_reg_info, get_cse_reg_info_1): New.
2106         (get_cse_reg_info): Cache the last look-up.
2107         (new_basic_block): Update the code to clear mappings from
2108         registers to cse_reg_info entries.
2109         (cse_main): Call init_cse_reg_info.
2110
2111         * cse.c (get_cse_reg_info): Update a comment.
2112
2113 2005-01-31  Steven Bosscher  <stevenb@suse.de>
2114
2115         PR c/19333
2116         * c-decl.c (start_decl): Do not warn about arrays of elements with
2117         an incomplete type here.
2118         (grokdeclarator): Do it here by making a pedwarn an error.
2119         * c-typeck.c (push_init_level): If there were previous errors with
2120         the constructor type, do not warn about braces for initializers.
2121         (process_init_element): Likewise for excess initializer elements.
2122
2123 2005-01-31  Kazu Hirata  <kazu@cs.umass.edu>
2124
2125         * cse.c (delete_trivially_dead_insn): Don't iterate.
2126
2127 2005-01-31  Andrew Pinski  <pinskia@physics.uc.edu>
2128
2129         * config/rs6000/rs6000.md (copysignsf3): New expand.
2130         (copysigndf3): Likewise.
2131
2132 2005-01-31  Steven Bosscher  <stevenb@suse.de>
2133
2134         * recog.c (constrain_operands): Only look for earlyclobber operand
2135         conflicts if an '&' constraint was seen.
2136
2137 2005-01-31  Marc Espie <espie@openbsd.org>
2138
2139         * config.gcc: Don't include embedded systems fragment, switches default
2140         debugging format to ELF.
2141         * config/i386/openbsdelf.h: Add DBX_REGISTER_NUMBER since we no
2142         longer pick it up there.
2143
2144 2005-01-31  Dale Johannesen  <dalej@apple.com>
2145
2146         * doc/extend.texi (nested functions): Fix linkage description.
2147         Clarify that static is not allowed.
2148
2149 2005-01-31  Dale Johannesen  <dalej@apple.com>
2150
2151         * config/rs6000/darwin.md (movsf_low_di):  Make work.
2152         (movdf_low_di):  Make work.
2153
2154 2005-01-31  Dale Johannesen  <dalej@apple.com>
2155
2156         * config/rs6000/darwin-tramp.asm (__trampoline_setup):
2157         Make work for 64 bit.
2158
2159 2005-01-31  Roger Sayle  <roger@eyesopen.com>
2160             Dale Johannesen  <dalej@apple.com>
2161
2162         PR middle-end/19650
2163         * fold-const.c (fold_binary_op_with_conditional_arg):
2164         Make types match original operands, before STRIP_NOPS.
2165
2166 2005-01-31  Alan Modra  <amodra@bigpond.net.au>
2167
2168         * config/rs6000/linux-unwind.h (struct gcc_vregs): New.
2169         (struct gcc_regs): Rename from gcc_pt_regs.  Add more regs.
2170         (struct gcc_sigcontext): Delete.  Merge contents to..
2171         (struct gcc_ucontext): ..here.
2172         (get_sigcontext): Delete.
2173         (get_regs): New function, like get_sigcontext but return regs ptr.
2174         64-bit version finds regs from r1 to support vdso.
2175         (ppc_linux_aux_vector): New function.
2176         (ppc_fallback_frame_state): Modify for get_regs.  Restore fprs
2177         and vector regs.
2178
2179 2005-01-31  Ira Rosen  <irar@il.ibm.com>
2180
2181         * tree-vectorizer.c (vect_analyze_offset_expr): Use ssizetype instead
2182         sizetype.
2183         (vect_get_base_and_offset): Use ssizetype instead sizetype. Remove
2184         redundant fold. Fix misalignment for MINUS_EXPR.
2185         (vect_compute_data_ref_alignment): Use ssizetype instead sizetype.
2186         (vect_analyze_pointer_ref_access): Likewise.
2187         (vect_get_memtag_and_dr): Likewise.
2188
2189 2005-01-31  Richard Henderson  <rth@redhat.com>
2190
2191         * config/i386/i386.c (absnegsf2_mixed): Remove all of the # hackery.
2192         (absnegsf2_sse, absnegsf2_i387, absnegdf2_mixed, absnegdf2_sse,
2193         absnegdf2_i387, absnegxf2_i387): Likewise.
2194
2195 2005-01-31  Richard Henderson  <rth@redhat.com>
2196
2197         PR 19696
2198         * optabs.c (expand_copysign_absneg): New.
2199         (expand_copysign_bit): Split out from ...
2200         (expand_copysign): ... here.  Use expand_copysign_absneg.
2201
2202 2005-01-30  Roger Sayle  <roger@eyesopen.com>
2203
2204         PR middle-end/19697
2205         * config/pa/pa.md (anddi3, iordi3): On HPPA64, disallow an integer
2206         constant as the second operand and a register as the third.
2207
2208 2005-01-31  Danny Smith  <dannysmith@users.sourceforge.net>
2209
2210         PR target/19704
2211         * config/i386/i386.c (ix86_function_ok_for_sibcall):  Also check
2212         that dllimport'd functions do not use all call-clobbered registers
2213         to pass parameters.
2214
2215 2005-01-30  Richard Henderson  <rth@redhat.com>
2216
2217         PR 19696
2218         * optabs.c (expand_absneg_bit): Split out from expand_unop and
2219         expand_abs_nojump and generalize.  Use operand_subword and
2220         emit_no_conflict_block.  Support large modes.
2221         (expand_abs_nojump): Use it.  Use HONOR_SIGNED_ZEROS to fall
2222         back to maximum.
2223         (expand_unop): Likewise.  Use HONOR_SIGNED_ZEROS to fall back
2224         negation to subtraction.
2225         (expand_copysign): Check that the format has signed zeros.
2226         Use operand_subword and emit_no_conflict_block.  Support large modes.
2227
2228 2005-01-30  Daniel Berlin  <dberlin@dberlin.org>
2229
2230         Fix PR tree-optimization/19624
2231
2232         * Makefile.in (tree-ssa-pre.o): Add CFGLOOP_H.
2233         * tree-ssa-pre.c: Add cfgloop.h.
2234         Update comment.
2235         (pre_stats): New member, constified.
2236         (inserted_exprs): New static variable.
2237         (NECESSARY): New macro.
2238         (create_expression_by_pieces): Fold the expression, and
2239         mark it as defaulting to not necessary. Also put in
2240         inserted_exprs.
2241         (fully_constant_expression): New function.
2242         (insert_into_preds_of_block): Modify to not insert phis when we
2243         are playing with induction variables.
2244         Push phis onto the inserted_exprs vector, and mark them as not
2245         necessary by default.
2246         (insert_aux): Call fully_constant_expression on eprime.
2247         If all edges produce the same value, mark it constant.
2248         (mark_operand_necessary): New function.
2249         (remove_dead_inserted_code): New function.
2250         (init_pre): Init loop optimizer to get loop info.
2251         (fini_pre): Free loop_optimizer, and inserted_exprs vec.
2252         (execute_pre): Commit edge inserts, then remove dead code.
2253
2254 2005-01-30  Richard Henderson  <rth@redhat.com>
2255
2256         * rtl.c (rtx_equal_p): No early exit for CONST_VECTOR.
2257         * varasm.c (const_rtx_hash_1): Handle CONST_VECTOR.
2258
2259 2005-01-30  Richard Henderson  <rth@redhat.com>
2260
2261         PR target/19700
2262         * config/i386/i386.c (ix86_expand_copysign): New.
2263         (ix86_split_copysign_const): New.
2264         (ix86_split_copysign_var): Rename from ix86_split_copysign,
2265         rearrange op1/nmask operands.
2266         * config/i386/i386-protos.h: Update.
2267         * config/i386/i386.md (copysignsf3): Use ix86_expand_copysign.
2268         (copysigndf3): Likewise.
2269         (copysignsf3_const, copysigndf3_const): New.
2270         (copysignsf3_var): Rename from copysignsf3, split out splitter
2271         and fix split predicate for X constraint.
2272         (copysigndf3_var): Similarly.
2273
2274 2005-01-30  Kazu Hirata  <kazu@cs.umass.edu>
2275
2276         * optabs.c, doc/c-tree.texi, doc/install.texi, doc/md.texi,
2277         doc/passes.texi, doc/rtl.texi, doc/sourcebuild.texi,
2278         doc/tm.texi, doc/tree-ssa.texi: Update copyright.
2279
2280 2005-01-29  Richard Henderson  <rth@redhat.com>
2281
2282         PR target/19690
2283         * config/i386/i386.md (movdf_nointeger, movdf_integer): Fix ordering
2284         of # and * in constraints.
2285
2286 2005-01-29  Richard Henderson  <rth@redhat.com>
2287
2288         PR middle-end/19689
2289         * expr.c (store_field): Don't strip sub-mode cast when the input
2290         data is even smaller.
2291
2292 2005-01-29  Richard Henderson  <rth@redhat.com>
2293
2294         PR middle-end/19687
2295         * expr.c (categorize_ctor_elements_1): Check for CONSTRUCTOR of a
2296         union being empty.
2297
2298 2005-01-29  Richard Henderson  <rth@redhat.com>
2299
2300         * combine.c (make_field_assignment): Fix argument order
2301         to gen_int_mode.
2302
2303 2005-01-29  Richard Guenther <richard.guenther@uni-tuebingen.de>
2304
2305         PR tree-optimization/15791
2306         * fold-const.c (extract_array_ref): New function.
2307         (fold): Fold comparisons between &a[i] and &a[j] or
2308         semantically equivalent trees.
2309
2310 2005-01-29  Jeff Law  <law@redhat.com>
2311
2312         * gcse.c (insert_expr_in_table): Revamp handling of available
2313         and anticipatable occurrence lists to avoid unnecessary list
2314         walking.
2315         (insert_set_in_table): Similarly.
2316
2317 2005-01-29  Joseph S. Myers  <joseph@codesourcery.com>
2318
2319         * c-common.c (fix_string_type): Just use c_build_qualified_type to
2320         build string type.
2321         (c_build_qualified_type): Build qualified array types with
2322         TYPE_MAIN_VARIANT pointing to corresponding unqualified type.
2323         * c-decl.c (c_make_fname_decl): Build unqualified array type
2324         before qualified type.
2325         (grokdeclarator): Use TYPE_MAIN_VARIANT of typedef type if element
2326         type is qualified, not just if type itself is.  Don't apply
2327         qualifiers to array type when declarator is processed.  Apply
2328         qualifiers to field type whether or not it is an array type.
2329         Don't handle array types specially for applying qualifiers to
2330         variables.
2331         * c-typeck.c (composite_type): Build unqualified element type and
2332         array type when forming composite of array types.
2333         (common_pointer_type, comptypes, comp_target_types,
2334         type_lists_compatible_p, build_indirect_ref, build_array_ref,
2335         convert_for_assignment): Don't apply TYPE_MAIN_VARIANT to array
2336         types.
2337         (type_lists_compatible_p): Cache TREE_VALUE (args1) and TREE_VALUE
2338         (args2) in variables a1 and a2.
2339
2340 2005-01-29  Kazu Hirata  <kazu@cs.umass.edu>
2341
2342         * cse.c (n_elements_made, max_elements_made): Remove.
2343         (insert): Don't touch n_elements_made.
2344         (cse_main): Don't touch n_elements_made or max_elements_made.
2345
2346 2005-01-28  Stephane Carrez  <stcarrez@nerim.fr>
2347
2348         PR target/15384
2349         * config/m68hc11/t-m68hc11-gas (dp-bit.c): Fix typo causing a
2350         configuration part of dp-bit.c to be lost.
2351
2352 2005-01-28  Roger Sayle  <roger@eyesopen.com>
2353
2354         * expmed.c (expand_mult_highpart_optab): When attempting to use
2355         a non-widening multiplication in a wider mode, the operands need
2356         to be converted (zero or sign extended) to that mode.
2357
2358 2005-01-28  Ian Lance Taylor  <ian@airs.com>
2359
2360         PR middle-end/16558
2361         PR middle-end/19583
2362         * gimple-low.c (block_may_fallthru): TRY_FINALLY_EXPR only falls
2363         through if both operands fall through.
2364
2365 2005-01-28  Kazu Hirata  <kazu@cs.umass.edu>
2366
2367         * cse.c (fold_rtx) <PC>: Don't optimize.
2368
2369 2005-01-28  Jeff Law  <law@redhat.com>
2370
2371         * fold-const.c (fold, case CEIL_MOD_EXPR): Optimize 0 % X.
2372         (case FLOOR_MOD_EXPR, ROUND_MOD_EXPR, TRUNC_MOD_EXPR): Similarly.
2373
2374 2005-01-28  Kazu Hirata  <kazu@cs.umass.edu>
2375
2376         * cse.c (cse_reg_info_free_list, cse_reg_info_used_list,
2377         cse_reg_info_used_list_end): Remove.
2378         (cse_reg_info_list, cse_reg_info_list_free): New.
2379         (get_cse_reg_info): When allocating an instance of
2380         cse_reg_info, add it to the beginning of the cse_reg_info_list
2381         list.  Remove code to maintain cse_reg_info_used_list.
2382         (new_basic_block): Reset the free list to the beginning of
2383         cse_reg_info_list.
2384
2385 2005-01-28  Richard Sandiford  <rsandifo@redhat.com>
2386
2387         * config/frv/frv.c (bdesc_2arg): Remove __MDPACKH.
2388         (frv_init_builtins): Change its prototype to take 4 uhalf arguments.
2389         (frv_expand_mdpackh_builtin): New function.
2390         (frv_expand_builtin): Use it to expand __MDPACKH.
2391         * doc/extend.texi (__MDPACKH): Update documentation.
2392
2393 2005-01-28  Uros Bizjak  <uros@kss-loka.si>
2394
2395         * config/i386/i386.c (ix86_expand_fp_absneg_operator): Use
2396         SSE_FLOAT_MODE_P for use_sse computation.
2397
2398 2005-01-28  Ralf Corsepius  <ralf.corsepius@rtems.org>
2399
2400         PR target/19663
2401         * config/sparc/rtemself.h (LINK_GCC_C_SEQUENCE_SPEC): undefine.
2402
2403 2005-01-27  Richard Henderson  <rth@redhat.com>
2404
2405         * builtins.c (expand_builtin_copysign): New.
2406         (expand_builtin): Call it.
2407         * genopinit.c (optabs): Add copysign_optab.
2408         * optabs.c (init_optabs): Initialize it.
2409         (expand_copysign): New.
2410         * optabs.h (OTI_copysign, copysign_optab): New.
2411         (expand_copysign): Declare.
2412
2413         * config/alpha/alpha.md (UNSPEC_COPYSIGN): New.
2414         (copysignsf3, ncopysignsf3, copysigndf3, ncopysigndf3): New.
2415
2416         * config/i386/i386.c (ix86_build_signbit_mask): Split from ...
2417         (ix86_expand_fp_absneg_operator): ... here.
2418         (ix86_split_copysign): New.
2419         * config/i386/i386-protos.h: Update.
2420         * config/i386/i386.md (UNSPEC_COPYSIGN): New.
2421         (copysignsf3, copysigndf3): New.
2422
2423         * config/ia64/ia64.md (UNSPEC_COPYSIGN): New.
2424         (copysignsf3, ncopysignsf3): New.
2425         (copysigndf3, ncopysigndf3): New.
2426         (copysignxf3, ncopysignxf3): New.
2427         * config/ia64/ia64.c (rtx_needs_barrier): Handle UNSPEC_COPYSIGN.
2428
2429 2005-01-27  Arend Bayer  <arend.bayer@web.de>
2430             Kazu Hirata  <kazu@cs.umass.edu>
2431
2432         * cse.c: (find_best_addr): Don't call copy_rtx before calling
2433         fold_rtx.  Save cost recomputation if fold_rtx did nothing.
2434         (fold_rtx) <ASM_OPERANDS>: Don't do anything if INSN is
2435         NULL_RTX.
2436
2437 2005-01-27  Jeff Law  <law@redhat.com>
2438
2439         * tree-into-ssa.c (ssa_rewrite_initialize_block): Do not register
2440         definitions of SSA_NAMEs which are not being rewritten.
2441         (rewrite_ssa_into_ssa): Only initialize the current definition
2442         of an SSA_NAME if that SSA_NAME has been marked for rewriting.
2443         If checking is enabled, assert that SSA_NAME_AUX is clear for all
2444         SSA_NAMEs before returning.
2445
2446 2005-01-27  Kazu Hirata  <kazu@cs.umass.edu>
2447
2448         * c-common.def, c-dump.c, c-gimplify.c, c-objc-common.c,
2449         cfgexpand.c, dbxout.c, function.h, opts.c, tree-flow-inline.h,
2450         tree-ssa-operands.h, tree-ssa-threadupdate.c, tree-tailcall.c,
2451         config/avr/avr.md, config/cris/aout.h, config/cris/cris.h,
2452         config/mips/iris6.h, config/sh/sh.c: Update copyright.
2453
2454 2005-01-27  Steven Bosscher  <stevenb@suse.de>
2455
2456         PR middle-end/17278
2457         * opts.c (decode_options): Move flag_thread_jumps from -O1 and
2458         higher to -O2 and higher.  Likewise for tree PRE.
2459         * tree-ssa-dom.c (tree_ssa_dominator_optimize): Only iterate at -O2
2460         and better.
2461
2462 2005-01-27  Ian Lance Taylor  <ian@airs.com>
2463
2464         PR middle-end/19583
2465         * gimple-low.c (try_catch_may_fallthru): New static function.
2466         (block_may_fallthru): Handle TRY_CATCH_EXPR.
2467         * tree-inline.c (expand_call_inline): Don't warn about reaching
2468         the end of a non-void function being inlined if the function uses
2469         a return slot.
2470
2471 2005-01-27  Jakub Jelinek  <jakub@redhat.com>
2472
2473         * config/i386/i386.h (CALL_USED_REGISTERS): Fix comment pastos.
2474
2475         PR c/18946
2476         * c-decl.c (warn_if_shadowing): Handle old_decl error_mark_node.
2477         (pushdecl): Only use DECL_FILE_SCOPE_P if DECL_P.
2478         (implicitly_declare): Handle error_mark_node.
2479
2480 2005-01-27  Richard Henderson  <rth@redhat.com>
2481
2482         PR tree-opt/14329
2483         * tree.h (struct tree_decl): Add debug_expr_is_from.
2484         (DECL_DEBUG_EXPR_IS_FROM): New.
2485         (DECL_DEBUG_EXPR): Rename from DECL_DEBUG_ALIAS_OF.
2486         * dwarf2out.c (dwarf2out_var_location): Update to match.
2487         * tree-outof-ssa.c (create_temp): Likewise.
2488         * var-tracking.c (track_expr_p): Likewise.
2489         * tree-sra.c (instantiate_element): Set DECL_DEBUG_EXPR.
2490         * c-objc-common.c (c_tree_printer) <'D'>: Handle DECL_DEBUG_EXPR.
2491         * toplev.c (default_tree_printer): Likewise.
2492
2493 2005-01-27  Alexandre Oliva  <aoliva@redhat.com>
2494
2495         * config/frv/frv.c (frv_class_likely_spilled_p): Add GR8_REGS,
2496         GR9_REGS, GR89_REGS, FDPIC_FPTR_REGS, FDPIC_REGS.
2497
2498 2005-01-27  Steven Bosscher  <stevenb@suse.de>
2499
2500         * tree.h (SWITCH_COND, SWITCH_BODY, SWITCH_LABELS, CASE_LOW,
2501         CASE_HIGH, CASE_LABEL, ASM_STRING, ASM_OUTPUTS, ASM_INPUTS,
2502         ASM_CLOBBERS): Add tree checks.
2503
2504         * c-common.h (SWITCH_TYPE): Rename to SWITCH_STMT_TYPE.
2505         (SWITCH_STMT_COND, SWITCH_STMT_BODY): New.
2506         * c-common.def (SWITCH_STMT): Update to match.
2507         * c-common.c (c_do_switch_warnings): Use SWITCH_STMT accessor
2508         macros instead of SWITCH_EXPR ones.
2509         * c-dump.c (c_dump_tree): Likewise.
2510         * c-gimplify.c (gimplify_switch_stmt): Likewise.
2511         * c-typeck.c (c_start_case, do_case, c_finish_case): Likewise.
2512
2513         * doc/c-tree.texi (SWITCH_STMT): Update accessor macro names.
2514
2515 2005-01-27  Alan Modra  <amodra@bigpond.net.au>
2516
2517         * unwind-dw2.c (execute_stack_op): Add missing cases for
2518         DW_OP_shl, DW_OP_shr, DW_OP_shra, DW_OP_xor.
2519
2520 2005-01-27  Eric Botcazou  <ebotcazou@libertysurf.fr>
2521
2522         * config.gcc (Obsolete configurations): Remove 'dummy', add
2523         sparclite-*-coff*, sparclite-*-elf*, sparc86x-*-elf* and
2524         sparc-*-openbsd*.
2525
2526 2005-01-26  Diego Novillo  <dnovillo@redhat.com>
2527
2528         PR tree-optimization/19633
2529         * tree-ssa-alias.c (ptr_is_dereferenced_by): Also handle
2530         CALL_EXPRs.
2531         (maybe_create_global_var): Do not create .GLOBAL_VAR if there
2532         are no call-clobbered variables.
2533         * tree-outof-ssa.c (check_replaceable): Return false for calls
2534         with side-effects.
2535
2536 2005-01-26  Ulrich Weigand  <uweigand@de.ibm.com>
2537
2538         * dbxout.c (dbxout_symbol_location): Resolve constant pool references
2539         even for variables with NULL DECL_INITIAL.
2540
2541 2005-01-26  Stuart Hastings  <stuart@apple.com>
2542
2543         * gimplify.c (shortcut_cond_expr): Re-compute side-effects.
2544
2545 2005-01-26  Richard Henderson  <rth@redhat.com>
2546
2547         PR middle-end/18008
2548         * c-decl.c (finish_struct): Set DECL_MODE after resetting a
2549         field's type.
2550         * expr.c (store_field): Strip conversions to odd-bit-sized types
2551         if the destination field width matches.
2552
2553 2005-01-26  Richard Henderson  <rth@redhat.com>
2554
2555         * c-decl.c, expmed.c, expr.c: Revert last change.
2556
2557 2005-01-26  Richard Henderson  <rth@redhat.com>
2558
2559         PR middle-end/18008
2560         * c-decl.c (finish_struct): Set DECL_MODE after resetting a
2561         field's type.
2562         * expmed.c (store_fixed_bit_field): Create a paradoxical subreg
2563         if we don't need the bits above those present in the current mode.
2564         * expr.c (store_field): Strip conversions to odd-bit-sized types
2565         if the destination field width matches.
2566
2567 2005-01-26  Richard Sandiford  <rsandifo@redhat.com>
2568
2569         * config/mips/iris6.h (ENDFILE_SPEC): Don't link in irix-csr.o if
2570         either -ffast-math or -funsafe-math-optimizations is in use.
2571
2572 2005-01-26  Marek Michalkiewicz  <marekm@amelek.gda.pl>
2573
2574         PR target/19293
2575         PR target/19329
2576         * config/avr/avr.c (notice_update_cc): Only set condition code for
2577         ashrqi3 if shift count > 0.
2578         (out_shift_with_cnt): Handle shift count <= 0 as a no-op.
2579         (ashlqi3_out, ashlhi3_out, ashlsi3_out, ashrqi3_out, ashrhi3_out,
2580         ashrsi3_out, lshrqi3_out, lshrhi3_out, lshrsi3_out): Handle shift
2581         count <= 0 as a no-op, and shift count >= width by copying zero
2582         or sign bit to all bits of the result.
2583         * config/avr/avr.md (all shifts): Add alternatives for zero shift
2584         count, with attribute "length" set to 0 and "cc" set to "none".
2585
2586 2005-01-26  Aldy Hernandez  <aldyh@redhat.com>
2587
2588         * doc/invoke.texi: Document -mTLS.
2589
2590         * testsuite/gcc.target/frv/all-tls-global-dynamic.c: New.
2591         * testsuite/gcc.target/frv/all-tls-initial-exec.c: New.
2592         * testsuite/gcc.target/frv/all-tls-initial-exec-pic.c: New.
2593         * testsuite/gcc.target/frv/all-tls-local-dynamic.c: New.
2594         * testsuite/gcc.target/frv/all-tls-local-dynamic-plt.c: New.
2595         * testsuite/gcc.target/frv/all-tls-local-dynamic-plt-pic.c: New.
2596         * testsuite/gcc.target/frv/all-tls-local-exec.c: New.
2597         * testsuite/gcc.target/frv/all-tls-local-exec-TLS.c: New.
2598
2599         * configure.ac: Check for a TLS capable gas.
2600
2601         * configure: Regenerate.
2602
2603 2005-01-26  Richard Henderson  <rth@redhat.com>
2604
2605         PR middle-end/18008
2606         * combine.c (make_field_assignment): Simplify store to zero_extract
2607         from a source with an overlapping mask.
2608
2609 2005-01-26  Aldy Hernandez  <aldyh@redhat.com>
2610
2611         2004-11-11  Eric Christopher  <echristo@redhat.com>
2612
2613         * config/frv/frv.md: Add fr400_integer automaton. Don't
2614         allow TYPE_MUL, TYPE_MACC, or TYPE_CUT to issue in parallel
2615         to TYPE_MACC.
2616
2617 2005-01-26  Steven Bosscher  <stevenb@suse.de>
2618
2619         PR middle-end/16585
2620         * cfgbuild.c (make_edges): Do not clear or set
2621         current_function_has_computed_jump.
2622         * function.h (struct function): Remove the has_computed_jump field.
2623         (current_function_has_computed_jump): Do not define.
2624         * sched-rgn.c (is_cfg_nonregular): Return true if a basic block ends
2625         in a computed jump.  Ignore current_function_has_computed_jump.
2626
2627 2005-01-26  Richard Henderson  <rth@redhat.com>
2628
2629         PR middle-end/19515
2630         * expr.c (categorize_ctor_elements): New argument p_must_clear.
2631         (categorize_ctor_elements_1): Likewise.  Detect a union that isn't
2632         fully initialized.
2633         (mostly_zeros_p): Update for new categorize_ctor_elements argument.
2634         * gimplify.c (gimplify_init_constructor): Likewise.  Only shove
2635         objects into static storage if they have more than one non-zero value.
2636         * tree.h (categorize_ctor_elements): Update decl.
2637
2638 2005-01-26  Steven Bosscher  <stevenb@suse.de>
2639
2640         PR middle-end/19616
2641         * tree.h (CALL_EXPR_TAILCALL): Add comment.
2642         * calls.c (check_sibcall_argument_overlap_1): Revert the change
2643         to this function from 2004-07-10.
2644         * tree-tailcall.c (suitable_for_tail_opt_p): Do not consider the
2645         the current function for tail call optimizations if the address
2646         of one of it its arguments is taken.
2647
2648 2005-01-26  Kazu Hirata  <kazu@cs.umass.edu>
2649
2650         * cse.c (fold_rtx): Call equiv_constant only when necessary.
2651
2652 2005-01-26  Bernd Schmidt  <bernd.schmidt@analog.com>
2653
2654         * function.c (expand_function_end): If current_function_calls_alloca,
2655         emit stack restore in a place that is reached when the function falls
2656         through at the end.
2657
2658 2005-01-26  Alexandre Oliva  <aoliva@redhat.com>
2659
2660         * Makefile.in (../$(build_subdir)/fixincludes/fixincl): Add dummy
2661         rule to avoid matching inappropriate suffix rule.
2662
2663 2005-01-26  Jan Hubicka  <jh@suse.cz>
2664
2665         PR tree-optimization/19241
2666         * tree-inline.c (copy_body_r): Do not walk subtrees after substituting.
2667
2668 2005-01-26  Hans-Peter Nilsson  <hp@axis.com>
2669
2670         * config/cris/cris.h (LIB_SPEC) <sim*>: Use -lsyslinux, not
2671         -lsyssim.  Wrap -lc -lsyssim in --start-group --end-group instead
2672         of doubling.
2673         (STARTFILE_SPEC): Add crti.o, before crtbegin.o.
2674         <sim*>: Always use crt1.o, regardless of N in simN.
2675         <!sim>: Drop support for -pg and -p variants; always use crt0.o.
2676         (ENDFILE_SPEC): Add crtn.o, after crtend.o.
2677         (CRT_CALL_STATIC_FUNCTION): Remove.
2678         * config/cris/aout.h (STARTFILE_SPEC): <!melinux && sim*>: Always
2679         use crt1.o, regardless of N in simN.
2680         <!sim>: Drop support for -pg and -p variants; always use crt0.o.
2681         (LIB_SPEC): Do not define; default to the one in config/cris/cris.h.
2682         (CRIS_CPP_SUBTARGET_SPEC) <melinux && !nostdinc>: Remove special
2683         case isystem setting.
2684         (MAX_OFILE_ALIGNMENT): Correct to 32, not 16.
2685
2686 2005-01-25  Ian Lance Taylor  <ian@airs.com>
2687
2688         * gimple-low.c (block_may_fallthru): Correct handling of
2689         SWITCH_EXPR--may fall through if SWITCH_LABELS is NULL.
2690
2691 2005-01-26  Hans-Peter Nilsson  <hp@axis.com>
2692
2693         * config/cris/cris.h (CPP_SPEC): Adjust the various mtune=
2694         handlers to match indentation; nested under the mtune=* handler.
2695         Similar for mcpu= and march=.
2696
2697 2005-01-25  Daniel Jacobowitz  <dan@codesourcery.com>
2698
2699         * config/mips/linux.h (LIB_SPEC): Remove -rpath-link.
2700         * config/mips/linux64.h (LIB_SPEC): Likewise.
2701         * config/mn10300/linux.h (LIB_SPEC): Likewise.
2702         * config/sh/linux.h (LIB_SPEC): Likewise.
2703
2704 2005-01-25  Aldy Hernandez  <aldyh@redhat.com>
2705
2706         * config/frv/frv.c (frv_legitimize_tls_address): New.
2707         (TARGET_HAVE_TLS): Define.
2708         (FRV_SYMBOL_REF_TLS_P): Define.
2709         (frv_override_options): Handle new register classes.
2710         (frv_legitimate_address_p): Reject tls addresses.
2711         (frv_legitimize_address): Handle TLS addresses.
2712         (gen_inlined_tls_plt): New.
2713         (gen_tlsmoff): New.
2714         (frv_legitimize_tls_address): New.
2715         (unspec_got_name): Add TLS entries.
2716         (got12_operand): Add R_FRV_TLSMOFF12 case.
2717         (frv_emit_move): Fixup TLS addresses.
2718         (frv_emit_movsi): Legitimize TLS addresses.
2719
2720         * config/frv/frv.h (MASK_BIG_TLS): New.
2721         (TARGET_BIG_TLS): New.
2722         (HAVE_AS_TLS): Define.
2723         (TARGET_SWITCHES): Add -mTLS and -mtls options.
2724         (enum reg_class): Add GR8_REGS, GR9_REGS, GR89_REGS.
2725         (REG_CLASS_NAMES): Same.
2726         (REG_CLASS_CONTENTS): Same.
2727         (CONSTRAINT_LEN): New.
2728         (REG_CLASS_FROM_CONSTRAINT): New.
2729         (PREDICATE_CODES): Add symbolic_operand.
2730
2731         * config/frv/frv.md (define_constants): Add UNSPEC_GETTLSOFF,
2732         UNSPEC_TLS_LOAD_GOTTLSOFF12, UNSPEC_TLS_INDIRECT_CALL,
2733         UNSPEC_TLS_TLSDESC_LDD, UNSPEC_TLS_TLSDESC_LDD_AUX,
2734         UNSPEC_TLS_TLSOFF_LD, UNSPEC_TLS_LDDI, UNSPEC_TLSOFF_HILO,
2735         R_FRV_GOTTLSOFF_HI, R_FRV_GOTTLSOFF_LO, R_FRV_TLSMOFFHI,
2736         R_FRV_TLSMOFFLO, R_FRV_TLSMOFF12, R_FRV_TLSDESCHI,
2737         R_FRV_TLSDESCLO, R_FRV_GOTTLSDESCHI, R_FRV_GOTTLSDESCLO, GR8_REG,
2738         GR9_REG, GR14_REG, LRREG.
2739         (type): Add load_or_call attribute.
2740         ("load_or_call"): New reservation.
2741         ("call_gettlsoff"): New.
2742         ("tls_indirect_call"): New.
2743         ("tls_load_gottlsoff12"): New.
2744         ("tlsoff_hilo"): New.
2745         ("tls_tlsdesc_ldd"): New.
2746         ("tls_tlsoff_ld"): New.
2747         ("tls_lddi"): New.
2748
2749         * config/frv/frv-protos.h (symbolic_operand): Protoize.
2750
2751         2005-01-25  Alexandre Oliva  <aoliva@redhat.com>
2752
2753         * config/frv/frv.h (ASM_OUTPUT_DWARF_DTPREL): Define.
2754         * config/frv/frv-protos.h (frv_output_dwarf_dtprel): Declare.
2755         * config/frv/frv.c (TLS_BIAS): Define.
2756         (frv_output_dwarf_dtprel): New.
2757
2758 2005-01-26  Jakub Jelinek  <jakub@redhat.com>
2759
2760         PR rtl-optimization/19579
2761         * ifcvt.c (noce_try_cmove_arith): If emitting instructions to set up
2762         both A and B, see if they don't clobber registers the other expr uses.
2763
2764 2005-01-25  J"orn Rennecke <joern.rennecke@st.com>
2765
2766         * real.c (do_add): Initialize signalling and canonical members.
2767
2768         * real.c (real_from_integer): Zero out destination.
2769
2770 2005-01-18  Jan Hubicka  <jh@suse.cz>
2771
2772         PR tree-optimize/19337
2773         * tree-inline.c (initialize_inlined_parameters): Copy
2774         saved_static_chain_decl only.
2775
2776 2005-01-25  Richard Henderson  <rth@redhat.com>
2777
2778         PR target/19556
2779         PR target/19584
2780         * config/i386/i386.c (x86_inter_unit_moves): Zero.
2781         (ix86_preferred_reload_class): Rewrite fp-constant section, with
2782         80387 enabled, to return a proper subclass.  Return the subset that
2783         overlaps with GENERAL_REGS for PLUS.
2784         * config/i386/i386.md (movsi_1, movdi_2): Set type to "mmx" for pxor.
2785
2786 2005-01-25  Richard Henderson  <rth@redhat.com>
2787
2788         PR middle-end/19609
2789         * tree-complex.c (expand_complex_div_wide): Use the correct formulae.
2790
2791 2005-01-25  Roger Sayle  <roger@eyesopen.com>
2792
2793         * expmed.c (choose_multiplier): Change interface to return the
2794         multiplier lowpart as an rtx instead of an unsigned HOST_WIDE_INT.
2795         (expand_divmod): Update calls to choose_multiplier.
2796
2797 2005-01-24  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
2798
2799         PR middle-end/19330
2800         * expmed.c (extract_bit_field): Use adjust_address instead of
2801         gen_lowpart when op0 is a MEM.
2802
2803 2005-01-24  Steven Bosscher  <stevenb@suse.de>
2804
2805         * cfgexpand.c (expand_gimple_tailcall): Fix typo.
2806
2807 2005-01-24  Richard Sandiford  <rsandifo@redhat.com>
2808
2809         * config/mips/irix-csr.c: New file.
2810         * config/mips/t-iris6 (irix-csr.o): New rule to build it.
2811         (EXTRA_MULTILIB_PARTS): Add irix-csr.o.
2812         * config/mips/iris6.h (ENDFILE_SPEC): Include it in n32 and n64
2813         executables.
2814
2815 2005-01-24  Eric Botcazou  <ebotcazou@libertysurf.fr>
2816
2817         PR bootstrap/19364
2818         * config.gcc (sparc-*-elf*): Remove sol2.h, sparc/sol2.h and
2819         sparc/elf.h, add sparc/sp-elf.h.
2820         (sparc-*-rtems*): Likewise.
2821         (sparclite-*-elf*): Remove sol2.h, sparc/sol2.h, sparc/elf.h and
2822         tm-dwarf2.h, add sparc/sp-elf.h.
2823         (sparc86x-*-elf): Likewise.
2824         (sparc64-*-elf*): Remove sol2.h, sparc/sol2.h and tm-dwarf2.h.
2825         * config/sparc/liteelf.h (TARGET_SUB_OS_CPP_BUILTINS): Rename into
2826         TARGET_OS_CPP_BUILTINS.
2827         * config/sparc/sp86x-elf (TARGET_SUB_OS_CPP_BUILTINS): Likewise.
2828         * config/sparc/rtemself.h (TARGET_SUB_OS_CPP_BUILTINS): Likewise.
2829         Undefine it.
2830         * config/sparc/openbsd64.h (NO_IMPLICIT_EXTERN_C): Undefine.
2831         * config/sparc/sp64-elf.h (NO_IMPLICIT_EXTERN_C): New macro.
2832         (SWITCH_TAKES_ARG): Likewise.
2833         (LOCAL_LABEL_PREFIX): Likewise.
2834         (ASM_GENERATE_INTERNAL_LABEL): Likewise.
2835         (TARGET_N_FORMAT_TYPES): Delete.
2836         (TARGET_FORMAT_TYPES): Likewise.
2837         (ASM_DECLARE_FUNCTION_SIZE): Likewise.
2838         * config/sparc/elf.h: Delete.
2839         * config/sparc/sp-elf.h: New file.
2840
2841 2005-01-24  Kazu Hirata  <kazu@cs.umass.edu>
2842
2843         * tree-flow-inline.h (phi_arg_from_edge): Remove.
2844         * tree-flow.h: Remove the corresponding prototype.
2845         * tree-ssa-operands.h, tree-ssa-threadupdate.c, tree-ssa.c,
2846         tree-vectorizer.c: Use dest_idx instead of phi_arg_from_edge.
2847
2848 2005-01-24  Jakub Jelinek  <jakub@redhat.com>
2849
2850         PR target/17751
2851         * config/rs6000/rs6000.c (rs6000_file_start): Create toc section
2852         for AIX ABI or ELF -fPIC.
2853         (rs6000_emit_load_toc_table): Don't create toc_section here.
2854         (rs6000_xcoff_file_start): Nor here.
2855
2856 2005-01-24  J"orn Rennecke <joern.rennecke@st.com>
2857
2858         * sh.c (ra.h): Don't #include.
2859         (hard_regs_intersect_p): New function, resurrected from ra.c.
2860
2861         * sh.c: Fix 1996 Copyright.
2862
2863 2005-01-24  Richard Henderson  <rth@redhat.com>
2864             Aldy Hernandez  <aldyh@redhat.com>
2865
2866         * regrename.c (note_sets): Handle subregs.
2867
2868 2005-01-24  Joseph S. Myers  <joseph@codesourcery.com>
2869
2870         PR bootstrap/18058
2871         * genconditions.c (write_header, write_conditions): Elide file if
2872         not GCC >= 3.0.1.
2873
2874 2005-01-24  Kazu Hirata  <kazu@cs.umass.edu>
2875
2876         * c-opts.c, expmed.c, gengtype.c, tree-complex.c,
2877         config/arm/iwmmxt.md, config/avr/avr.c, config/s390/s390.h:
2878         Update copyright.
2879
2880 2005-01-24  Jakub Jelinek  <jakub@redhat.com>
2881
2882         * builtins.c (get_pointer_alignment, gimplify_va_arg_expr,
2883         expand_builtin_printf, expand_builtin_fprintf,
2884         expand_builtin_sprintf): Use POINTER_TYPE_P instead TREE_CODE
2885         checking against POINTER_TYPE.
2886         (validate_arglist): Handle POINTER_TYPE code by checking
2887         POINTER_TYPE_P.
2888
2889 2005-01-24  Paolo Bonzini  <bonzini@gnu.org>
2890
2891         * rtlanal.c (non_rtx_starting_operands, for_each_rtx_1,
2892         init_rtlanal): New.
2893         (for_each_rtx): Call for_each_rtx_1.
2894         * rtl.h (init_rtlanal): Declare.
2895         * toplev.c (backend_init): Call init_rtlanal.
2896
2897 2005-01-24  Jakub Jelinek  <jakub@redhat.com>
2898
2899         * flow.c (propagate_one_insn): Formatting.
2900
2901         PR middle-end/19551
2902         * flow.c (libcall_dead_p): Be more conservative if unsure.
2903         If there are any instructions between insn and call, see if they are
2904         all dead before saying the libcall is dead.
2905
2906 2005-01-24  Uros Bizjak  <uros@kss-loka.si>
2907
2908         * config/i386/i386.md (*extendsfdf2_sse): Use "nonimmediate_operand"
2909         operand constraint for operand 0.
2910
2911 2005-01-23  Richard Henderson  <rth@redhat.com>
2912
2913         PR 19486
2914         * tree-complex.c (expand_complex_div_wide): Set EDGE_FALLTHRU on
2915         edges leading to join block.
2916
2917 2005-01-23  Roger Sayle  <roger@eyesopen.com>
2918
2919         * expmed.c (expand_mult_highpart): Make static.  Change type of
2920         constant multiplier argument from unsigned HOST_WIDE_INT to rtx.
2921         (expand_divmod): Updates calls to expand_mult_highpart by using
2922         gen_int_mode to pass a CONST_INT rtx.
2923         * rtl.h (expand_mult_highpart): Remove prototype.
2924
2925 2005-01-23  Kazu Hirata  <kazu@cs.umass.edu>
2926
2927         * flow.c (regset_bytes, regset_size): Remove.
2928
2929         * cfganal.c: Fix a reference to Harvey's paper.
2930
2931 2005-01-23  Steven Bosscher  <stevenb@suse.de>
2932
2933         PR rtl-optimization/19464
2934         * tree-optimize.c (init_tree_optimization_passes): Add one more
2935         copyrename pass just before out-of-ssa.
2936
2937 2005-01-23  Joseph S. Myers  <joseph@codesourcery.com>
2938
2939         PR bootstrap/18058
2940         * recog.c (recog_memoized): Don't define if GENERATOR_FILE.
2941         * ggc-none.c (ggc_free): Define.
2942
2943 2005-01-23  Kazu Hirata  <kazu@cs.umass.edu>
2944
2945         * cse.c (max_reg, max_insn_uid): Remove.
2946         (cse_main): Don't access max_reg or max_insn_uid.
2947
2948         * c-common.c (explicit_flag_signed_bitfields,
2949         lang_statement_code_p, lang_expand_function_end): Remove.
2950         * c-common.h: Remove the corresponding declarations.
2951         * c-opts.c (c_common_handle_option): Remove all write access
2952         to explicit_flag_signed_bitfields.
2953
2954         * cgraph.c (cgraph_varpool_n_nodes): Remove.
2955         (cgraph_varpool_node): Don't access cgraph_varpool_n_nodes.
2956         * cgraph.h: Remove the corresponding declaration.
2957
2958         * gcse.c (null_pointer_info): Remove.
2959
2960 2005-01-23  Roger Sayle  <roger@eyesopen.com>
2961             Eric Botcazou  <ebotcazou@libertysurf.fr>
2962
2963         * combine.c (simplify_logical): Only simplify logical expressions
2964         of the form ior(and(x,y),z) by the inverse distributive law if the
2965         result is cheaper than the original.
2966
2967 2005-01-23  Kazu Hirata  <kazu@cs.umass.edu>
2968
2969         * alias.c, c-common.h, c-incpath.c, c-incpath.h, expr.c,
2970         fold-const.c, gimplify.c, params.h, tree-data-ref.c,
2971         tree-if-conv.c, tree-nested.c, tree-outof-ssa.c,
2972         tree-ssa-dom.c, tree-vectorizer.c, tree.def, config/darwin.c,
2973         config/freebsd-spec.h, config/arm/arm.h,
2974         config/h8300/h8300.md, config/i386/i386.md,
2975         config/i386/predicates.md, config/i386/sse.md,
2976         config/ia64/ia64.c, config/ip2k/ip2k.c, config/s390/s390.c,
2977         config/vax/vax.md: Fix comment typos.  Follow spelling
2978         conventions.
2979
2980 2005-01-23  Steven Bosscher  <stevenb@suse.de>
2981
2982         * gengtype.c (walk_type): Produce `not equal to' compares for loop
2983         tests, instead of `less than'.
2984
2985 2005-01-23  Richard Sandiford  <rsandifo@redhat.com>
2986
2987         * function.c (assign_parm_setup_block): When creating a new stack slot
2988         for a parameter, get its alignment from the parameter's DECL_ALIGN
2989         rather than the type's TYPE_ALIGN.  Make sure that the parameter
2990         is at least word aligned.
2991
2992 2005-01-22  Roger Sayle  <roger@eyesopen.com>
2993
2994         PR middle-end/19378
2995         * config/avr/avr.c (avr_hard_regno_mode_ok): Rewrite.
2996
2997 2005-01-22  Richard Henderson  <rth@redhat.com>
2998
2999         PR target/19506
3000         * config/i386/i386.md (movsfcc_1_sse_max): Use nonimmediate_operand
3001         in both compare operands.
3002         (movdfcc_1_sse_max): Likewise.
3003         (movsfcc_1_sse): Likewise.  Add earlyclobber for scratch.
3004         (movdfcc_1_sse): Likewise.
3005         * config/i386/i386.c (ix86_split_sse_movcc): Emit copies into the
3006         scratch register as needed.
3007
3008 2005-01-22  Richard Henderson  <rth@redhat.com>
3009
3010         * config/i386/i386.md (smaxsf3): Fix mnemonic typo.
3011
3012         * config/i386/i386.c (ix86_prepare_fp_compare_args): Fix is_sse test.
3013
3014 2005-01-22  Richard Henderson  <rth@redhat.com>
3015
3016         * genopinit.c (optabs): Use smin/smax for floating point too.
3017         * doc/md.texi: Update to match.  Clarify that floating point
3018         results are undefined for +0/-0 and NaN.
3019         * doc/rtl.texi: Likewise.
3020         * rtl.def (SMIN, SMAX): Likewise
3021         * tree.def (MIN_EXPR, MAX_EXPR): Likewise.
3022
3023         * config/alpha/alpha.md (smaxdf3, smindf3, smaxsf3, sminsf3): Add
3024         leading 's' to the name.
3025         * config/ia64/ia64.md (smaxsf3, sminsf3, smaxdf3, smindf3,
3026         smaxxf3, sminxf3): Likewise.
3027         * config/rs6000/rs6000.md (smaxdf3, smindf3, smaxsf3, sminsf3):
3028         Likewise.
3029
3030 2005-01-22  Paul Brook  <paul@codesourcery.com>
3031
3032         * config/arm/arm.md: Use "Uy" constraint for wcgr load/stores.
3033
3034 2005-01-21  Mark Dettinger  <dettinge@de.ibm.com>
3035
3036         * config/s390/s390.c (struct processor_costs): New fields
3037         dlgr, dlr, dr, dsgfr, dsgr.
3038         (z900_cost, z990_cost): Values for new fields.
3039         (s390_rtx_costs): New cases MEM und COMPARE in switch
3040         statement. Modified handling of SIGN_EXTEND, ZERO_EXTEND,
3041         DIV, MOD, UDIV, UMOD.
3042
3043 2005-01-21  Ulrich Weigand  <uweigand@de.ibm.com>
3044
3045         * config/s390/s390.md ("doloop_si64"): Reload input value directly
3046         into the register being decremented.
3047         ("doloop_si31", "doloop_di"): Likewise.
3048         ("*doloop_si_long"): Adapt pattern.
3049
3050 2005-01-21  Ulrich Weigand  <uweigand@de.ibm.com>
3051
3052         * config/s390/s390.h (HARD_REGNO_NREGS): Fix computation for
3053         access registers.
3054         (CLASS_MAX_NREGS): Likewise.
3055
3056 2005-01-21  Daniel Berlin  <dberlin@dberlin.org>
3057
3058         * doc/tree-ssa.texi (Statement Operands): Add example for new
3059         must-def macro. Note deprecation of old operands interface.
3060
3061 2005-01-22  Richard Sandiford  <rsandifo@redhat.com>
3062
3063         PR tree-optimization/19484
3064         * tree-cfg.c (remove_fallthru_edge): New function.
3065         (cleanup_control_flow): Remove fallthru edges from calls that are
3066         now known not to return.
3067
3068 2005-01-20  Daniel Berlin  <dberlin@dberlin.org>
3069
3070         Fix PR tree-optimization/19038
3071         * tree-ssa-dom.c (cprop_operand): Don't replace loop invaeriant
3072         copies with loop variant ones.
3073
3074 2005-01-22  Kazu Hirata  <kazu@cs.umass.edu>
3075
3076         * cfganal.c, real.h, reorg.c, timevar.def, tree-ssa-ccp.c,
3077         config/alpha/alpha-protos.h, config/alpha/alpha.h,
3078         config/alpha/alpha.md, config/alpha/predicates.md,
3079         config/sparc/freebsd.h, config/sparc/netbsd-elf.h,
3080         config/sparc/sol2.h: Update copyright.
3081
3082         * tree-cfg.c (remove_forwarder_block_with_phi): Look at the
3083         first label to see if it is a nonlocal label.
3084
3085 2005-01-22  David Edelsohn  <edelsohn@gnu.org>
3086             Andrew Pinski  <pinskia@physics.uc.edu>
3087
3088         PR target/19491
3089         * config/rs6000/rs6000.c (rs6000_va_start): Saturate n_gpr at
3090         maximum number of GPRs.  Saturate n_fpr at maximum number of FPRs.
3091
3092 2005-01-22  Ralf Corsepius  <ralf.corsepius@rtems.org>
3093
3094         * config/rs6000/rtems.h: Update copyright.
3095
3096 2005-01-22  Ralf Corsepius  <ralf.corsepius@rtems.org>
3097
3098         PR target/19548
3099         * config/rs6000/rtems.h: Resurrect cpp_os_rtems_spec from gcc < 3.4.
3100         (CPP_OS_RTEMS_SPEC): New (From gcc-3.3's config/rs6000/sys4.h).
3101         (SUBSUBTARGET_EXTRA_SPECS): Use CPP_OS_RTEMS_SPEC.
3102
3103 2005-01-22  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
3104
3105         PR c/18809
3106         * c-typeck.c (convert_arguments): Check for error_mark_node.
3107
3108 2005-01-21  Ian Lance Taylor  <ian@airs.com>
3109
3110         PR tree-optimization/13000
3111         * tree-inline.c: Include "tree-flow.h".
3112         (expand_call_inline): If warn_return_type, warn if non-void inline
3113         function falls through.
3114         * tree-cfg.c (execute_warn_function_return): Don't warn about
3115         control reaching end if TREE_NO_WARNING is set.  Set
3116         TREE_NO_WARNING.
3117         * gimple-low.c (block_may_fallthru): Don't assume that SWITCH_EXPR
3118         has been lowered.
3119         * gimplify.c (shortcut_cond_expr): Don't emit a jump over the else
3120         branch if we don't need one.
3121         * c-typeck.c: Include "tree-flow.h"
3122         (c_finish_bc_stmt): Don't add a goto if the current statement
3123         list doesn't fall through to the current point.
3124
3125 2005-01-21  Roger Sayle  <roger@eyesopen.com>
3126
3127         PR rtl-optimization/576
3128         * real.c (real_arithmetic): Change return type from void to bool
3129         to return an indication that the result may be inexact.
3130         * real.h (real_arithmeric): Update prototype.
3131         * fold-const.c (const_binop):  Don't constant fold floating
3132         point expressions when the user specifies -frounding-math and
3133         the result may depend upon the run-time rounding mode.
3134         (fold_convert_const_real_from_real): Clean-up.
3135         (fold_initializer): Ignore flag_rounding_math for initializers.
3136         * simplify-rtx.c (simplify_binary_operation): Likewise, don't
3137         constant fold FP operations with flag_rounding_math if the
3138         result may depend upon the run-time rounding mode.
3139
3140 2005-01-21  Tom Tromey  <tromey@redhat.com>
3141
3142         * c-cppbuiltin.c (define__GNUC__): Correct assertion.
3143
3144 2005-01-21  Kazu Hirata  <kazu@cs.umass.edu>
3145
3146         * tree-cfg.c: Fix comment typos.
3147
3148 2005-01-21  J"orn Rennecke <joern.rennecke@st.com>
3149
3150         * passes.c (rest_of_handle_flow2): Close / open the flow2 dump file
3151         around the call to rest_of_handle_branch_target_load_optimize.
3152
3153 2005-01-21  Eric Botcazou  <ebotcazou@libertysurf.fr>
3154
3155         * config.gcc (sparc-*-netbsdelf*): Include dbxelf.h
3156         (sparc64-*-openbsd*): Likewise.
3157         (sparclite-*-elf*): Include tm-dwarf2.h.
3158         (sparc86x-*-elf*): Likewise.
3159         (sparc64-*-elf*): Likewise.
3160         * config/sparc/linux64.h (DWARF2_DEBUGGING_INFO): Delete.
3161         (DBX_DEBUGGING_INFO): Likewise.
3162         * config/sparc/liteelf.h (DWARF2_DEBUGGING_INFO): Likewise.
3163         (PREFERRED_DEBUGGING_TYPE): Likewise.
3164         * config/sparc/netbsd-elf.h (PREFERRED_DEBUGGING_TYPE): Likewise.
3165         * config/sparc/sp64-elf.h (DBX_DEBUGGING_INFO): Likewise.
3166         (PREFERRED_DEBUGGING_TYPE): Likewise.
3167         * config/sparc/sp86x-elf.h (DWARF2_DEBUGGING_INFO): Likewise.
3168         (PREFERRED_DEBUGGING_TYPE): Likewise.
3169         * config/sparc/sparc.h (DBX_DEBUGGING_INFO): Likewise.
3170
3171 2005-01-21  Hans-Peter Nilsson  <hp@bitrange.com>
3172
3173         PR target/18701
3174         * combine.c (combine_simplify_rtx): Revert change of 2004-12-31.
3175
3176 2005-01-20  Paul Brook  <paul@codesourcery.com>
3177
3178         * doc/rtl.texi: Document value extension requirements for CONST_INT.
3179
3180 2005-01-20  Kazu Hirata  <kazu@cs.umass.edu>
3181
3182         * tree-cfg.c (tree_verify_flow_info): Check that a nonlocal
3183         label is first in a sequence of labels.
3184
3185         * tree-cfg.c (tree_verify_flow_info): Fix a typo.
3186
3187 2005-01-20  Janis Johnson  <janis187@us.ibm.com>
3188             Giovanni Bajo  <giovannibajo@gcc.gnu.org>
3189
3190         * doc/sourcebuild.texi (Test Directives): New.
3191
3192 2005-01-20  Roger Sayle  <roger@eyesopen.com>
3193
3194         * real.c (real_floor): Don't leave the result uninitialized when
3195         mode is VOIDMode, but return the unrounded intermediate value.
3196         (real_ceil): Likewise.
3197
3198 2005-01-20  Paul Brook  <paul@codesourcery.com>
3199
3200         * config/arm/arm.md (insv): Use gen_int_mode.
3201
3202 2005-01-20  Eric Botcazou  <ebotcazou@libertysurf.fr>
3203
3204         * config/sparc/freebsd.h (ASM_OUTPUT_INTERNAL_LABELREF): Delete.
3205         * config/sparc/linux.h (ASM_OUTPUT_INTERNAL_LABELREF): Likewise.
3206         * config/sparc/linux64.h (ASM_OUTPUT_INTERNAL_LABELREF): Likewise.
3207         * config/sparc/netbsd-elf.h (ASM_OUTPUT_INTERNAL_LABELREF): Likewise.
3208         * config/sparc/sol2.h (ASM_OUTPUT_INTERNAL_LABELREF): Likewise.
3209
3210 2005-01-20  Daniel Berlin  <dberlin@dberlin.org>
3211
3212         Fix PR debug/19124
3213         * dwarf2out.c (concat_loc_descriptor): We don't know we can use
3214         fbreg, so we have to assume we can't.
3215         (loc_descriptor_from_tree_1): Ditto.
3216         (containing_function_has_frame_base): New function.
3217         (add_location_or_const_value_attribute): Use it.
3218         Also try to generate a frame_base from a single element location
3219         list.
3220
3221 2005-01-20  Kazu Hirata  <kazu@cs.umass.edu>
3222
3223         PR tree-optimization/15349
3224         * timevar.def (TV_TREE_MERGE_PHI): New.
3225         * tree-cfg.c (tree_forwarder_block_p): Add a new argument
3226         PHI_WANTED.
3227         (remove_forwarder_block, cleanup_forwarder_blocks): Adjust the
3228         calls to tree_forwarder_block_p.
3229         (remove_forwarder_block_with_phi, merge_phi_nodes,
3230         gate_merge_phi, pass_merge_phi): New.
3231         * tree-optimize.c (init_tree_optimization_passes): Add
3232         pass_merge_phi.
3233         * tree-pass.h: Add an extern for pass_merge_phi;
3234
3235 2005-01-20  Richard Henderson  <rth@redhat.com>
3236
3237         PR target/19418
3238         * config/i386/emmintrin.h (_mm_castpd_ps, _mm_castpd_si128): New.
3239         (_mm_castps_pd, _mm_castps_si128): New.
3240         (_mm_castsi128_ps, _mm_castsi128_pd): New.
3241
3242 2005-01-20  Richard Henderson  <rth@redhat.com>
3243
3244         PR target/19530
3245         * config/i386/mmintrin.h (_mm_cvtsi32_si64): Use
3246         __builtin_ia32_vec_init_v2si.
3247         (_mm_cvtsi64_si32): Use __builtin_ia32_vec_ext_v2si.
3248         * config/i386/i386.c (IX86_BUILTIN_VEC_EXT_V2SI): New.
3249         (ix86_init_mmx_sse_builtins): Create it.
3250         (ix86_expand_builtin): Expand it.
3251         (ix86_expand_vector_set): Handle V2SFmode and V2SImode.
3252         * config/i386/mmx.md (vec_extractv2sf_0, vec_extractv2sf_1): New.
3253         (vec_extractv2si_0, vec_extractv2si_1): New.
3254
3255 2005-01-20  Richard Henderson  <rth@redhat.com>
3256
3257         PR target/16533
3258         * config/i386/i386.c (ix86_expand_push): New.
3259         * config/i386/mmx.md (push<MMXMODE>1): New.
3260         * config/i386/sse.md (push<SSEMODE>1): New.
3261         * config/i386/i386-protos.h: Update.
3262
3263 2005-01-20  Kazu Hirata  <kazu@cs.umass.edu>
3264
3265         * params.def, params.h, predict.c, tree-ssa-loop-im.c: Update
3266         copyright.
3267
3268 2005-01-20  Richard Henderson  <rth@redhat.com>
3269
3270         * rtl.def (CONST_VECTOR): Use RTX_CONST_OBJ.
3271         * rtl.h (CONSTANT_P): Don't special case CONST_VECTOR.
3272
3273 2005-01-19  Richard Henderson  <rth@redhat.com>
3274
3275         PR target/19350
3276         * config/i386/i386.c (ix86_expand_vector_move_misalign): Convert
3277         to V4SFmode in SSE1 fallback load path.
3278
3279 2005-01-19  Richard Henderson  <rth@redhat.com>
3280
3281         * config/i386/i386.c (ix86_expand_vector_init_one_var): Fix typo
3282         in QImode expansion to ix86_expand_vector_set.
3283         (ix86_expand_vector_init_general): Fix typo in V8HImode recursive call.
3284
3285 2005-01-19  Richard Henderson  <rth@redhat.com>
3286
3287         PR target/19511
3288         * config/i386/i386.c (ix86_preferred_reload_class): Return a proper
3289         subclass of the input class.
3290         (ix86_secondary_memory_needed): Always true for cross-MMX classes.
3291         Always true for cross-SSE1 classes.  Rationalize conditionals.
3292         * config/i386/i386.h (SSE_CLASS_P, MMX_CLASS_P): Use straight equality.
3293         * config/i386/i386.md (movsi_1): Add MMX/SSE zeros.  Fix alternatives
3294         for SSE1.  Don't check TARGET_INTER_UNIT_MOVES.
3295         (movdi_2): Add MMX/SSE zeros.
3296         (movdi_1_rex64): Likewise.  Don't check TARGET_INTER_UNIT_MOVES.
3297         (movsf_1): Don't check TARGET_INTER_UNIT_MOVES.
3298         (zero_extendsidi2_32, zero_extendsidi2_rex64): Likewise.
3299         (movsi_1_nointernunit, movdi_1_rex64_nointerunit): Remove.
3300         (movsf_1_nointerunit, zero_extendsidi2_32_1): Remove.
3301         (zero_extendsidi2_rex64_1): Remove.
3302         (MOV0 peephole): Check GENERAL_REG_P.
3303
3304 2005-01-19  Richard Henderson  <rth@redhat.com>
3305
3306         PR target/19427
3307         * config/i386/i386.c (ix86_expand_vector_set): Fix third and fourth
3308         shufps elements.
3309         (ix86_expand_vector_extract): Likewise.
3310
3311 2005-01-19  Richard Henderson  <rth@redhat.com>
3312
3313         PR middle-end/19304
3314         * expr.c (emit_move_change_mode): New argument force; use
3315         simplify_gen_subreg if true.
3316         (emit_move_via_alt_mode): Merge into ...
3317         (emit_move_via_integer): ... here.
3318         (emit_move_ccmode): Use emit_move_change_mode directly.
3319
3320 2005-01-19  Richard Henderson  <rth@redhat.com>
3321
3322         PR target/19518
3323         * config/alpha/alpha.c (alpha_rtx_costs): Handle HIGH.
3324         (alpha_preferred_reload_class): Handle CONST_VECTOR.
3325         (alpha_emit_set_const_1): Add no_output parameter; don't emit
3326         rtl if true.
3327         (alpha_emit_set_const): Likewise.  Make static.
3328         (alpha_emit_set_long_const): Make static.
3329         (alpha_extract_integer): Split out from alpha_expand_mov.
3330         (alpha_split_const_mov): Likewise.
3331         (alpha_expand_mov): Use them.  Handle CONST_VECTOR.
3332         (alpha_legitimate_constant_p): New.
3333         * config/alpha/alpha-protos.h: Update.
3334         * config/alpha/alpha.h (REGISTER_MOVE_COST): Correct fp<->gp cost.
3335         (LEGITIMATE_CONSTANT_P): Re-implement with a function.
3336         * config/alpha/alpha.md (movsi): Add n alternative.
3337         (movsi_nt_vms, movdi_er_nofix, movdi_er_fix, movdi_fix): Likewise.
3338         (mov<VEC>_fix, mov<VEC>_nofix): Add i alternative.
3339         (splitters for all of the above): Use alpha_split_const_mov.
3340         * config/alpha/predicates.md (non_add_const_operand): New.
3341         (non_zero_const_operand): New.
3342         (input_operand): Use alpha_legitimate_constant_p after reload.
3343
3344 2005-01-19  Zdenek Dvorak  <dvorakz@suse.cz>
3345
3346         PR tree-optimization/19038
3347         * tree-ssa-loop-ivopts.c (allow_ip_end_pos_p): New function.
3348         (add_candidate): Add ivs with increment in latch only if
3349         allow_ip_end_pos_p is true.
3350         (determine_iv_cost): Use empty_block_p.
3351
3352 2005-01-19  Daniel Berlin  <dberlin@dberlin.org>
3353
3354         * cfganal.c (compute_dominance_frontiers_1): Replace with new algorithm
3355         (compute_dominance_frontiers): Ditto.
3356
3357 2005-01-19  Ralf Corsepius  <ralf.corsepius@rtems.org>
3358
3359         PR target/19529
3360         * config/sh/t-rtems: New.
3361         * config.gcc (sh-*-rtems*): Reflect having added config/sh/t-rtems.
3362
3363 2005-01-19  Zdenek Dvorak  <dvorakz@suse.cz>
3364
3365         * tree-ssa-ccp.c (maybe_fold_offset_to_component_ref): Always subtract
3366         the offset of the selected field.
3367
3368 2005-01-19  Kazu Hirata  <kazu@cs.umass.edu>
3369
3370         * tree-cfg.c (remove_forwarder_block): Fix the check to
3371         prevent a nonlocal label from appearing in the middle of a
3372         basic block.
3373
3374 2005-01-19  Hans-Peter Nilsson  <hp@axis.com>
3375
3376         PR rtl-optimization/19462
3377         * reorg.c (find_end_label): Create return insn only if
3378         current_function_epilogue_delay_list is empty.
3379
3380 2005-01-19  Paolo Bonzini  <bonzini@gnu.org>
3381
3382         * doc/passes.texi: Remove paragraph mentioning new-ra.
3383
3384 2005-01-19  Jakub Jelinek  <jakub@redhat.com>
3385
3386         PR rtl-optimization/15139
3387         * combine.c: Include params.h.
3388         (count_rtxs): New function.
3389         (record_value_for_reg): If replace_rtx would replace at least
3390         2 occurrences of REG in VALUE and TEM is really large, replace REG with
3391         (clobber (const_int 0)) instead of TEM.
3392         * params.def (PARAM_MAX_LAST_VALUE_RTL): New.
3393         * params.h (MAX_LAST_VALUE_RTL): New.
3394         * Makefile.in (combine.o): Depend on $(PARAMS_H).
3395         * doc/invoke.texi (--param max-last-value-rtl=N): Document.
3396
3397         PR c/17297
3398         * c-typeck.c (digest_init): Only call build_vector if all constructor
3399         elements are *_CST nodes.
3400         * gimplify.c (gimplify_init_constructor): Likewise.
3401
3402         PR middle-end/19164
3403         * c-typeck.c (digest_init): Only call build_vector if inside_init
3404         is a CONSTRUCTOR.
3405
3406 2005-01-18  Tobias Schl"uter  <tobias.schlueter@physik.uni-muenchen.de>
3407
3408         * toplev.c (init_asm_output): Remove dead #ifdef.
3409
3410 2005-01-18  Kaz Kojima  <kkojima@gcc.gnu.org>
3411
3412         * config/sh/linux.h (TARGET_C99_FUNCTIONS): Define.
3413
3414 2005-01-18  Eric Botcazou  <ebotcazou@libertysurf.fr>
3415
3416         * calls.c (expand_call): Check DECL_BUILT_IN_CLASS before
3417         accessing DECL_FUNCTION_CODE.
3418         * dojump.c (do_jump): Likewise.
3419         * gimplify.c (gimplify_call_expr): Likewise.
3420         * predict.c (expr_expected_value): Likewise.
3421         (strip_builtin_expect): Likewise.
3422         * tree-inline.c (estimate_num_insns_1): Likewise.
3423         * tree-ssa-loop-im.c (stmt_cost): Likewise
3424         * fold-const.c (fold): Test for BUILT_IN_NORMAL.
3425         (tree_expr_nonnegative_p): Likewise.
3426
3427 2005-01-18  Eric Botcazou  <ebotcazou@libertysurf.fr>
3428
3429         * config/sparc/sparc.c (load_pic_register): Emit the appropriate
3430         variant of the load_pcrel_sym pattern.
3431         * config/sparc/sparc.md (P macro): Move to the top.
3432         (load_pcrel_sym): Macroize using P.
3433         (save_register_window): Likewise.
3434
3435 2005-01-18  Aldy Hernandez  <aldyh@redhat.com>
3436
3437         * config/rs6000/rs6000.md ("sunordered"): Disable for e500.
3438         ("sordered"): Same.
3439
3440 2005-01-18  Andrew Pinski  <pinskia@physics.uc.edu>
3441
3442         PR C/19472
3443         * c-typeck.c (build_asm_expr): Strip nops off
3444         input memory operands.
3445
3446 2005-01-18  David Edelsohn  <edelsohn@gnu.org>
3447
3448         * config/rs6000/aix43.h (CPLUSPLUS_CPP_SPEC): Delete
3449         _XOPEN_SOURCE, _XOPEN_SOURCE_EXTENDED, _LARGE_FILE_API.
3450         * config/rs6000/aix51.h (CPLUSPLUS_CPP_SPEC): Same.
3451         * config/rs6000/aix52.h (CPLUSPLUS_CPP_SPEC): Same.
3452
3453 2005-01-18  Joel Sherrill <joel.sherrill@oarcorp.com>
3454
3455         PR target/19379
3456         * config/i386/i386.c (override_options): If the 80387 is disabled,
3457         then do not return FP values using FP registers.
3458
3459 2005-01-18  Kazu Hirata  <kazu@cs.umass.edu>
3460
3461         * basic-block.h, c-common.c, c-cppbuiltin.c, c-lang.c,
3462         c-tree.h, cfgbuild.c, cgraph.c, cgraph.h, collect2.c,
3463         combine.c, config.gcc, coverage.h, cse.c, cselib.c,
3464         defaults.h, df.c, dwarf2asm.c, dwarf2out.c, explow.c, expr.c,
3465         flow.c, fold-const.c, gcse.c, ggc-page.c, gimple-low.c,
3466         gimplify.c, ifcvt.c, langhooks-def.h, lcm.c, optabs.h,
3467         output.h, postreload-gcse.c, postreload.c, recog.c,
3468         resource.c, rtl.def, rtlanal.c, sched-deps.c, sched-rgn.c,
3469         targhooks.h, toplev.c, tree-data-ref.c, tree-eh.c,
3470         tree-flow.h, tree-loop-linear.c, tree-mudflap.h, tree-nrv.c,
3471         tree-optimize.c, tree-outof-ssa.c, tree-pass.h,
3472         tree-scalar-evolution.c, tree-ssa-copy.c, tree-ssa-dce.c,
3473         tree-ssa-dse.c, tree-ssa-loop-ivopts.c, tree-ssa-operands.c,
3474         tree-ssa-pre.c, tree-ssa.c, tree-vectorizer.c, tree.def,
3475         unwind-dw2-fde-darwin.c, var-tracking.c: Update copyright.
3476
3477         * config/darwin.c, config/darwin.h, config/freebsd-spec.h,
3478         config/alpha/alpha.c, config/arm/vfp.md,
3479         config/i386/emmintrin.h, config/i386/i386-modes.def,
3480         config/i386/i386-protos.h, config/i386/i386.h,
3481         config/i386/pmmintrin.h, config/i386/ppro.md,
3482         config/i386/predicates.md, config/i386/xmmintrin.h,
3483         config/i860/i860.c, config/ia64/ia64-modes.def,
3484         config/ia64/ia64-protos.h, config/ia64/ia64.h,
3485         config/ia64/ia64.md, config/ia64/itanium1.md,
3486         config/ia64/itanium2.md, config/ia64/predicates.md,
3487         config/iq2000/iq2000.h, config/mips/linux64.h,
3488         config/rs6000/aix41.h, config/rs6000/aix43.h,
3489         config/rs6000/aix52.h, config/rs6000/darwin-fallback.c,
3490         config/rs6000/rs6000.c, config/rs6000/rs6000.h,
3491         config/rs6000/spe.md, config/sh/sh.md, config/sparc/linux.h,
3492         config/sparc/linux64.h, config/sparc/litecoff.h,
3493         config/sparc/sp64-elf.h, config/sparc/sparc.c,
3494         config/sparc/sparc.h, config/sparc/sparc.md,
3495         config/sparc/sysv4-only.h: Update copyright.
3496
3497 2005-01-18  Richard Henderson  <rth@redhat.com>
3498
3499         PR target/19496
3500         * config/i386/i386.c (ix86_expand_fp_movcc): Fail for LTGT and UNEQ.
3501
3502 2005-01-18  Marc Espie  <espie@openbsd.org>
3503         * config/i386/openbsdelf.h: Typo.
3504
3505 2005-01-18  Richard Henderson  <rth@redhat.com>
3506
3507         * config/i386/i386.c (ix86_expand_fp_movcc): Remove TARGET_IEEE_FP
3508         special case for sse.
3509         * config/i386/predicates.md (sse_comparison_operator): Likewise.
3510
3511 2005-01-18  Dorit Naishlos  <dorit@il.ibm.com>
3512
3513         * tree-inline.c (estimate_num_insns_1): Added cases for
3514         ALIGN_INDIRECT_REF, MISALIGNED_INDIRECT_REF, and REALIGN_LOAD_EXPR.
3515
3516 2005-01-18  Eric Botcazou  <ebotcazou@libertysurf.fr>
3517
3518         PR rtl-optimization/19296
3519         * combine.c (simplify_comparison): Rewrite the condition under
3520         which a non-paradoxical SUBREG of a PLUS can be lifted when
3521         compared against a constant.
3522
3523 2005-01-18  Andi Kleen <ak@muc.de>
3524
3525         * c-typeck.c: (convert_for_assignment): Check warn_pointer_sign.
3526         * c.opt (-Wpointer-sign): Add.
3527         * doc/invoke.texi: (-Wpointer-sign): Add.
3528
3529 2005-01-18  Uros Bizjak  <uros@kss-loka.si>
3530
3531         * config/i386/i386.c (override_options): Revert 2004-11-24 change.
3532         * config/i386/i386.md (fmodsf3, dremsf3, *sinsf2, *cossf2, sincossf3,
3533         *tansf3_1, tansf2, atan2sf3_1, atan2sf3, atansf2, asinsf2, acossf2,
3534         logsf2, log10sf2, log2sf2, log1psf2, logbsf2, ilogbsf2, expsf2,
3535         exp10sf2, exp2sf2, expm1sf2, rintsf2, floorsf2, ceilsf2, btruncsf2,
3536         nearbyintsf2): Disable for TARGET_SSE_MATH.  Leave patterns enabled
3537         for TARGET_MIX_SSE_I387.
3538         (fmoddf3, dremdf3, *sindf2, *sinextendsfdf2, *cosdf2, *cosextendsfdf2,
3539         sincosdf3, *sincosextendsfdf3, *tandf3_1, tandf2, atan2df3_1,
3540         atan2df3, atandf2, asindf2, acosdf2, logdf2, log10df2, log2df2,
3541         log1pdf2, logbdf2, expdf2, exp10df2, exp2df2, expm1df2, rintdf2,
3542         floordf2, ceildf2, btruncdf2, nearbyintdf2): Disable for
3543         (TARGET_SSE2 && TARGET_SSE_MATH).  Leave patterns enabled for
3544         TARGET_MIX_SSE_I387.
3545         (atan2sf3, atan2df3, atan2xf3): Remove register constraints
3546         from expander.
3547
3548 2005-01-18  Uros Bizjak  <uros@kss-loka.si>
3549
3550         PR target/19424
3551         * config/i386/mmx.md (*movv2sf_internal_rex64, *movv2sf_internal):
3552         Add movaps alternative for xmm reg->reg move.
3553
3554 2005-01-17  Jeff Law  <law@redhat.com>
3555
3556         * tree-ssa-dom.c (tree_ssa_dominator_optimize): Clear SSA_NAME_VALUE
3557         at the end of the main DOM loop rather than just before DOM exits.
3558
3559 2005-01-17  Diego Novillo  <dnovillo@redhat.com>
3560
3561         PR tree-optimization/19121
3562         * tree-ssa-alias.c (compute_flow_sensitive_aliasing): When
3563         adding aliases to a name tag, also add them to the pointer's
3564         type tag.
3565         * tree-ssa-copy.c (merge_alias_info): Do not merge flow
3566         sensitive alias info at all.  Only check that the two pointers
3567         have compatible pointed-to sets.
3568         * tree-ssa.c (verify_name_tags): Verify that the alias set of
3569         a pointer's type tag is a superset of the alias set of the
3570         pointer's name tag.
3571
3572 2005-01-17  James E Wilson  <wilson@specifixinc.com>
3573
3574         PR target/19357
3575         * config/ia64/ia64.md (movxf): Handle general register source.  Adjust
3576         comment to document why.
3577
3578 2005-01-17  Richard Henderson  <rth@redhat.com>
3579
3580         * config/i386/sse.md (smaxv4sf3_finite, sse_vmsmaxv4sf3_finite,
3581         sminv4sf3_finite, sse_vmsminv4sf3_finite, smaxv2df3_finite,
3582         sse2_vmsmaxv2df3_finite, sminv2df3_finite,
3583         sse2_vmsminv2df3_finite): New.
3584         (smaxv4sf3, sse_vmsmaxv4sf3, sminv4sf3, sse_vmsminv4sf3, smaxv2df3,
3585         sse2_vmsmaxv2df3, sminv2df3, sse2_vmsminv2df3): Remove commutative.
3586         Force op1 into register.
3587
3588 2005-01-17  Kelley Cook  <kcook@gcc.gnu.org>
3589
3590         * Makefile.in (STAGEMOVESTUFF): Stage all the stamp files to prevent
3591         bubblestrap from always rebuilding build directory.
3592
3593 2005-01-17  Ulrich Weigand  <uweigand@de.ibm.com>
3594
3595         * config/s390/s390.md ("*clc"): Remove incorrect '='.
3596         ("*cmpmem_short"): Likewise.
3597
3598 2005-01-17  Steven Bosscher  <stevenb@suse.de>
3599
3600         * basic-block.h: Document BB_* flags.
3601         * regrename.c (copyprop_hardreg_forward): Don't use BB_VISITED,
3602         use an sbitmap instead.
3603         * sched-rgn.c (compute_trg_info): Likewise.
3604
3605 2005-01-17  Richard Sandiford  <rsandifo@redhat.com>
3606
3607         * config.gcc (mips64*-*-linux*): Set the default abi to n32.  Remove
3608         redundant target_cpu_default and extra_parts lines.  Use the default
3609         "from-abi" ISA.
3610         * config/mips/linux64.h (DRIVER_DEFAULT_ABI_SELF_SPEC): Delete.
3611         (SUBTARGET_EXTRA_SPECS): Delete.
3612         (DRIVER_SELF_SPECS): Remove architecture lines.  Set the ABI directly.
3613         (SUBTARGET_ASM_SPEC): Remove -mabi=n32 and -mabi=64 mappings.
3614         * config/mips/t-linux64 (MULTILIB_DIRNAMES): Use "32" for -mabi=32
3615         and "n32" for -mabi=n32.
3616
3617 2005-01-17  Ian Lance Taylor  <ian@airs.com>
3618
3619         PR c/5675
3620         * c-typeck.c (build_c_cast): Revert patch of 2003-02-16: don't
3621         fold constant variables into initial values.
3622
3623 2005-01-17  Kazu Hirata  <kazu@cs.umass.edu>
3624
3625         * tree-cfg.c (tree_can_merge_blocks_p): Reorder two checks.
3626
3627         * tree-cfg.c (tree_forwarder_block_p): Speed up by walking
3628         through the statements backward.
3629
3630 2005-01-17  Ian Lance Taylor  <ian@airs.com>
3631
3632         PR middle-end/13127:
3633         * tree-inline.c (expand_call_inline): Set TREE_NO_WARNING on
3634         a variable set to the return value of the inlined function.
3635
3636 2005-01-17  Mark Dettinger  <dettinge@de.ibm.com>
3637
3638         * rtlanal.c (rtx_cost): Assign cost of 0 to a SUBREG
3639         when modes are tieable.
3640
3641 2005-01-17  Ranjit Mathew  <rmathew@hotmail.com>
3642
3643         * gthr-posix.h (__gthread_active_p): Use pthread_cancel instead
3644         of pthread_create to find out if threads are enabled.
3645         * gthr-posix95.h (__gthread_active_p): Likewise.
3646
3647 2005-01-17  Paolo Bonzini  <bonzini@gnu.org>
3648
3649         * common.opt (-fnew-ra): Remove.
3650         * ra*.*: Remove.
3651         * toplev.h (flag_new_regalloc): Remove.
3652         * Makefile.in (ra*.*): Don't mention.
3653         * passes.c (rest_of_handle_new_regalloc): Remove.
3654         (rest_of_handle_combine, rest_of_compilation): Always consider
3655         flag_new_regalloc as false.
3656         * doc/invoke.texi: Don't document -fnew-ra.
3657
3658 2005-01-17  Paolo Bonzini <bonzini@gnu.org>
3659
3660         * bb-reorder.c (fix_edges_for_rarely_executed_code): Remove
3661         last parameter to reg_scan.
3662         * loop.c (loop_optimize): Likewise.
3663         * passes.c (rest_of_handle_tracer, rest_of_handle_if_conversion,
3664         rest_of_handle_web, rest_of_handle_cfg, rest_of_handle_jump_bypass,
3665         rest_of_handle_life, rest_of_handle_cse, rest_of_handle_cse2,
3666         rest_of_handle_gcse, rest_of_handle_loop_optimize,
3667         rest_of_handle_loop2, rest_of_handle_jump2): Likewise.
3668         * regclass.c (reg_scan): Likewise, for the declaration.
3669         * rtl.h (reg_scan): Likewise, for the prototype.
3670
3671 2005-01-17  Kazu Hirata  <kazu@cs.umass.edu>
3672
3673         * tree-ssa-dom.c (tree_ssa_dominator_optimize): Don't call
3674         mark_dfs_back_edges.
3675
3676 2005-01-16  Daniel Berlin  <dberlin@dberlin.org>
3677
3678         * tree-ssa-pre.c (add_to_sets): s1 may be NULL.
3679         (compute_avail): Uses don't go in tmp_gen.
3680
3681 2005-01-16  Steven Bosscher  <stevenb@suse.de>
3682
3683         * ggc-page.c (ggc_alloc_stat): Use __builtin_ctzl instead of a
3684         loop to look for a free slot in a page entry.
3685
3686 2005-01-16  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
3687
3688         PR target/16304
3689         * defaults.h (TARGET_DEFERRED_OUTPUT_DEFS): Provide default.
3690         * toplev.c (compile_file): Call process_pending_assemble_output_defs
3691         just before targetm.asm_out.file_end.
3692         * tree.h (process_pending_assemble_output_defs): Declare.
3693         * varasm.c (assemble_output_def, process_pending_assemble_output_defs):
3694         New functions.
3695         (assemble_alias): Defer generation of assembly code for defines when
3696         TARGET_DEFERRED_OUTPUT_DEFS is true.
3697         * config/rs6000/aix41.h (TARGET_DEFERRED_OUTPUT_DEFS): Define.
3698         * config/rs6000/aix43.h (TARGET_DEFERRED_OUTPUT_DEFS): Define.
3699         * doc/tm.texi (TARGET_DEFERRED_OUTPUT_DEFS): document.
3700
3701 2005-01-15  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
3702
3703         PR target/19336
3704         * pa.c (pa_scalar_mode_supported_p): New function.
3705         (TARGET_SCALAR_MODE_SUPPORTED_P): Define.
3706         * pa.h (MIN_UNITS_PER_WORD): Add comment.
3707
3708         * pa-protos.h (prefetch_operand): Delete.
3709         (prefetch_cc_operand, prefetch_nocc_operand): New declations.
3710         * pa.c (prefetch_operand): Delete.
3711         (prefetch_cc_operand, prefetch_nocc_operand): New functions.
3712         * pa.h (EXTRA_CONSTRAINT): Add `W' constraint.
3713         (PREDICATE_CODES): Delete prefetch_operand.  Add prefetch_cc_operand
3714         and prefetch_nocc_operand.
3715         * pa.md (prefetch): Rework to avoid reload problems handling short
3716         displacements when a cache control completer needs to be provided.
3717         (prefetch_32, prefetch_64): Delete.
3718         (prefetch_cc, prefetch_nocc): New patterns.
3719
3720 2005-01-15  David Edelsohn  <edelsohn@gnu.org>
3721
3722         * config/rs6000/aix52.h (CPLUSPLUS_CPP_SPEC): Revert previous change.
3723
3724 2005-01-15  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
3725
3726         PR ada/19388
3727         * pa.c (pa_asm_output_aligned_common): Warn if specified alignment
3728         exceeds maximum alignment for global common data.
3729         * pa64-hpux.h (MAX_OFILE_ALIGNMENT): Define to 32768.
3730         * som.h (MAX_OFILE_ALIGNMENT): Likewise.
3731
3732 2004-01-15  Roger Sayle  <roger@eyesopen.com>
3733
3734         * tree-ssa-dom.c (extract_range_from_cond): Correct condition.
3735
3736 2004-01-15  Roger Sayle  <roger@eyesopen.com>
3737
3738         * harg-reg-set.h (reg_class_names): Prototype global array.
3739         * regclass.c (reg_class_names): Declare here and initialize to
3740         REG_CLASS_NAMES.
3741         (dump_regclass): Remove local declaration of reg_class_names.
3742         (regclass): Likewise.
3743         * cfg.c (dump_flow_info): Likewise.
3744         * ra-debug.c (reg_class_names): Likewise.
3745         * regrename.c (reg_class_names): Likewise.
3746         * reload.c (reg_class_names): Likewise.
3747         * reload1.c (spill_failure): Likewise.
3748         * config/m68hc11/m68hc11.c (reg_class_names): Likewise.
3749
3750 2005-01-15  Ulrich Weigand  <uweigand@de.ibm.com>
3751
3752         * config/s390/s390.md ("reload_outti"): Remove predicate for
3753         output operand.  Abort if operand is not a MEM.
3754         ("reload_outdi", "reload_outdf"): Likewise.
3755
3756 2005-01-15  Marc Espie  <espie@openbsd.org>
3757
3758         * config.gcc (*-*-openbsd*): Set HAS_LIBC_R for OpenBSD <= 3.2.
3759         (i[34567]86-*-openbsd*): Switch to ELF for OpenBSD >= 3.4.
3760         * config/openbsd.h:  Fix C++ includes for native configurations.
3761         Add proper OS_CPP_BUILTINS.  Fix libspec for recent OpenBSD.
3762         Add trampoline support.
3763         * config/i386/openbsdelf.h: New.
3764
3765 2005-01-15  Marc Espie  <espie@openbsd.org>
3766
3767         * collect2.c (main): Explicitly parse -dynamic-linker option.
3768
3769 2005-01-15  Jakub Jelinek  <jakub@redhat.com>
3770
3771         PR tree-optimization/19060
3772         * tree-ssa-dom.c (extract_range_from_cond) <case LT_EXPR, GT_EXPR>:
3773         Return 0 if op1 <= TYPE_MIN_VALUE () resp. op1 >= TYPE_MAX_VALUE ().
3774         (simplify_cond_and_lookup_avail_expr): Add assert for dummy == 0
3775         and handle extract_range_from_cond returning false.
3776         * fold-const.c (fold): Optimize comparisons with min/max even for
3777         width > HOST_BITS_PER_WIDE_INT.
3778
3779 2005-01-15  Ralf Corsepius  <ralf.corsepius@rtems.org>
3780
3781         * config/mips/rtems.h (MIPS_DEFAULT_GVALUE): Set to 0.
3782         * config/mips/t-rtems (MULTILIBS_DIRNAMES,MULTILIB_OPTIONS):
3783         Remove little endian multilib variants.
3784         Add mips32 multilib variant.
3785
3786 2005-01-15  Kazu Hirata  <kazu@cs.umass.edu>
3787
3788         * explow.c (copy_all_reg, stabilize): Remove.
3789         * expr.h: Remove the corresponding prototypes.
3790
3791         * rtlanal.c (regs_set_between_p): Remove.
3792         * rtl.h: Remove the corresponding prototype.
3793
3794 2005-01-14  David Edelsohn  <edelsohn@gnu.org>
3795
3796         * config/rs6000/rs6000.c (rs6k_nonimmediate_operand): Rename
3797         to rs6000_nonimmediate_operand.
3798         * config/rs6000/rs6000.h (PREDICATE_CODES): Rename
3799         rs6k_nonimmediate_operand to rs6000_nonimmediate_operand.
3800         * config/rs6000/rs6000.md (movsi_internal1): Rename predicate to
3801         rs6000_nonimmediate_operand.
3802         * config/rs6000/spe.md (movdf_e500_double): Rename predicate to
3803         rs6000_nonimmediate_operand.
3804
3805 2005-01-14  Andrew Pinski  <pinskia@physics.uc.edu>
3806
3807         * tree-ssa-alias.c (pass_may_alias): Add TODO_verify_stmts.
3808
3809 2005-01-14  Aldy Hernandez  <aldyh@redhat.com>
3810
3811         * config/rs6000/rs6000.h (CLASS_MAX_NREGS): DF goes in 1 register
3812         on e500v2.
3813         (CANNOT_CHANGE_MODE_CLASS): Restrict DI mode changes on e500v2.
3814         (PREDICATE_CODES): Add rs6k_nonimmediate_operand.
3815
3816         * config/rs6000/rs6000.c (invalid_e500_subreg): New.
3817         (rs6k_nonimmediate_operand): New.
3818         (rs6000_legitimate_offset_address_p): Handle DI modes on e500v2
3819         correctly.
3820         (legitimate_lo_sum_address_p): Same.
3821         (rs6000_legitimize_address): Same.
3822         (rs6000_legitimize_reload_address): Same.
3823         (rs6000_legitimate_address): Same.
3824         (spe_build_register_parallel): Pass DF and DC modes in a DI
3825         register.
3826
3827         * config/rs6000/rs6000.md ("*movsi_internal1"): Change predicate
3828         to rs6k_nonimmediate_operand.
3829
3830         * config/rs6000/spe.md ("*frob_df_di"): New.
3831         ("*frob_di_df"): New.
3832         ("*frob_di_df_2"): New.
3833         ("*mov_sidf_e500_subreg0"): New.
3834         ("*mov_sidf_e500_subreg4"): New.
3835         ("*movdf_e500_double"): Change predicate to
3836         rs6k_nonimmediate_operand.
3837
3838 2005-01-14  Aldy Hernandez  <aldyh@redhat.com>
3839
3840         * postreload.c (move2add_note_store): Only call
3841         trunc_int_for_mode on scalar integers.
3842
3843 2005-01-14  Steven Bosscher  <stevenb@suse.de>
3844
3845         * tree-ssa-dce.c (visited_control_parents): New sbitmap to
3846         replace BB_VISITED uses.
3847         (find_obviously_necessary_stmts): Don't clear BB_VISITED.
3848         (propagate_necessity): Check the bitmap instead of BB_VISITED.
3849         (tree_dce_done): Free visited_control_parents.
3850         (perform_tree_ssa_dce): Allocate and clear it.
3851         * tree-ssa-pre.c (compute_antic_aux): Make non-recursive.
3852         (compute_antic): Iterate from here using a DFS.  Use an sbitmap
3853         instead of BB_VISITED.
3854
3855 2005-01-14  Kazu Hirata  <kazu@cs.umass.edu>
3856
3857         * c-tree.h, coverage.h, langhooks-def.h, optabs.h, output.h,
3858         rtl.h, targhooks.h, tree-flow.h, tree-mudflap.h, tree.h:
3859         Remove unused prototypes.
3860
3861 2005-01-14  Aldy Hernandez  <aldyh@redhat.com>
3862
3863         * config/rs6000/rs6000.c (rs6000_stack_info): Fix caching of SPE
3864         64-bit register usage.
3865         (spe_func_has_64bit_regs_p): Add FIXME note.
3866
3867 2005-01-14  Aldy Hernandez  <aldyh@redhat.com>
3868
3869         * config/rs6000/rs6000.c (rs6000_generate_compare): Replace
3870         flag_finite_math_only with flag_unsafe_math_optimizations.
3871
3872 2005-01-14  J. D. Johnston  <jjohnst@us.ibm.com>
3873
3874         * config/s390/tpf-unwind.h (s390_fallback_frame_state): Correct
3875         end-of-stack check.
3876         (__tpf_eh_return): Copy TPF private stack area from the module
3877         boundary stack frame.  Add check for when module addresses are
3878         equal, but no stub address is found.
3879
3880 2005-01-14  Richard Earnshaw  <rearnsha@arm.com>
3881
3882         PR target/7525
3883         * arm.h (struct machine_function): Add call_via field.
3884         (thumb_call_via_label): Declare.
3885         * arm.c (thumb_call_via_label): New variable.
3886         (thumb_call_reg_needed): New variable.
3887         (arm_output_function_epilogue): For Thumb code, output any per-function
3888         call-indirect trampolines.
3889         (thumb_call_via_reg): New function.
3890         (arm_file_end): New function.
3891         (TARGET_ASM_FILE_END): Call arm_file_end.
3892         (aof_file_end): Likewise.
3893         * arm-protos.h (thumb_call_via_reg): Declare.
3894         * arm.md (call_reg_thumb, call_value_reg_thumb): Call
3895         thumb_call_via_reg in normal case.
3896
3897 2005-01-14  Jakub Jelinek  <jakub@redhat.com>
3898
3899         PR middle-end/19084
3900         PR rtl-optimization/19348
3901         * recog.c (peephole2_optimize): Do global life update if some peephole
3902         decides it doesn't need at least one of its inputs and that change
3903         influences liveness at the start of the basic block.
3904
3905         * basic-block.h (EXECUTE_IF_AND_COMPL_IN_REG_SET): Needs 2 REGSET
3906         arguments instead of 1.
3907
3908 2005-01-14  Eric Botcazou  <ebotcazou@libertysurf.fr>
3909
3910         PR middle-end/18820
3911         * varasm.c (initializer_constant_valid_p) <ADDR_EXPR>: Return
3912         zero for nested functions needing a static chain or functions
3913         with a non-constant address.
3914
3915 2005-01-13  Roger Sayle  <roger@eyesopen.com>
3916
3917         * simplify-rtx.c (simplify_binary_operation) <AND>: Optimize
3918         (and (sign_extend X) C) into (zero_extend (and X C)).
3919
3920 2005-01-13  David O'Brien  <obrien@FreeBSD.org>
3921
3922         * config/freebsd-spec.h:  Make KSE pthread lib logic the default.
3923
3924 2005-01-13  Richard Henderson  <rth@redhat.com>
3925
3926         PR target/19009
3927         PR target/19250
3928         PR target/19252
3929         * config/i386/i386.md (cmpdf, cmpsf, bunordered, bordered, buneq,
3930         bunge, bungt, bunle, bunlt, bltgt): Enable for TARGET_SSE_MATH,
3931         not just TARGET_SSE.
3932         (cmpfp_i_387): Rename from cmpfp_i.  Move after sse patterns.
3933         (cmpfp_i_mixed): Rename from cmpfp_i_sse; use for TARGET_MIX_SSE_I387.
3934         (cmpfp_i_sse): Rename from cmpfp_i_sse_only; use for TARGET_SSE_MATH.
3935         (cmpfp_iu_mixed, cmpfp_iu_sse, cmpfp_iu_387): Similarly.
3936         (fp_jcc_1_mixed, fp_jcc_1_sse, fp_jcc_1_387): Similarly.
3937         (fp_jcc_2_mixed, fp_jcc_2_sse, fp_jcc_2_387): Similarly.
3938         (fp_jcc_3_387, fp_jcc_4_387, fp_jcc_5_387, fp_jcc_6_387,
3939         fp_jcc_7_387, fp_jcc_8_387): Rename from fp_jcc_N.
3940         (movdicc_c_rex64): Rename with '*'.
3941         (movsfcc, movdfcc): Add checks for 387 and sse math to condition.
3942         (movsfcc_1_sse_min, movsfcc_1_sse_max, movsfcc_1_sse): New.
3943         (movsfcc_1_387): Rename from movsfcc_1.
3944         (movdfcc_1_sse_min, movdfcc_1_sse_max, movdfcc_1_sse): New.
3945         (movdfcc_1, movdfcc_1_rex64): Add check for 387.
3946         (sminsf3, smaxsf3, smindf3, smaxdf3): New.
3947         (minsf3, minsf, minsf_nonieee, minsf_sse, mindf3, mindf,
3948         mindf_nonieee, mindf_sse, maxsf3, maxsf, maxsf_nonieee, maxsf_sse,
3949         maxdf3, maxdf, maxdf_nonieee, maxdf_sse, sse_movsfcc, sse_movsfcc_eq,
3950         sse_movdfcc, sse_movdfcc_eq, sse_movsfcc_const0_1,
3951         sse_movsfcc_const0_2, sse_movsfcc_const0_3, sse_movsfcc_const0_4,
3952         sse_movdfcc_const0_1, sse_movdfcc_const0_2, sse_movdfcc_const0_3,
3953         sse_movdfcc_const0_4): Remove.
3954         * config/i386/i386.c (ix86_expand_fp_movcc): For TARGET_SSE_MATH,
3955         recognize min/max early.  Update for changed sse cmove patterns.
3956         (ix86_split_sse_movcc): New.
3957         * config/i386/i386-protos.h: Update.
3958
3959 2005-01-13  Steven Bosscher  <stevenb@suse.de>
3960
3961         * tree-ssa-dse.c (fix_phi_uses): Use SSA operand iterators.
3962         (fix_stmt_v_may_defs): Likewise.
3963
3964 2005-01-13  Richard Henderson  <rth@redhat.com>
3965
3966         * config/i386/i386.c (ix86_expand_fp_absneg_operator): Use elt_mode
3967         for converting the mask.
3968
3969 2005-01-13  David Edelsohn  <edelsohn@gnu.org>
3970
3971         * config/rs6000/aix52.h (CPLUSPLUS_CPP_SPEC): Change _XOPEN_SOURCE
3972         definition to 600.
3973
3974 2005-01-13  Richard Henderson  <rth@redhat.com>
3975
3976         * config/i386/i386.c (IX86_BUILTIN_MOVQ, IX86_BUILTIN_LOADD,
3977         IX86_BUILTIN_STORED, IX86_BUILTIN_MOVQ2DQ,
3978         IX86_BUILTIN_MOVDQ2Q): Remove.
3979         (IX86_BUILTIN_VEC_EXT_V4SI): New.
3980         (ix86_init_mmx_sse_builtins, ix86_expand_builtin): Update to match.
3981         (ix86_expand_vector_extract): For V4S[FI], extract element 0 after
3982         shuffling.
3983         * config/i386/sse.md (sse_concatv2sf): Accept zero operand 2.
3984         (sse2_pextrw): Fix immediate constraint.
3985         (sse2_loadq, sse2_loadq_rex64): Remove.
3986         * config/i386/emmintrin.h (_mm_cvtsi128_si32, _mm_cvtsi128_si64x):
3987         Use __builtin_ia32_vec_ext_<size>.
3988         (_mm_cvtsi32_si128, _mm_cvtsi64x_si128): Use _mm_set_epi<size>.
3989
3990 2005-01-13  Aldy Hernandez  <aldyh@redhat.com>
3991
3992         * function.c (assign_parm_setup_block): Look inside original
3993         entry_parm when inspecting PARALLEL.
3994
3995 2005-01-13  Ralf Corsepius  <ralf.corsepius@rtems.org>
3996             Joel Sherrill  <joel@oarcorp.com>
3997
3998         PR target/19399
3999         * gthr-rtems.h (__gthread_recursive_mutex_t): New type.
4000         (__GTHREAD_RECURSIVE_MUTEX_INIT_FUNCTION): Define to
4001         rtems_gxx_recursive_mutex_init.
4002         (__gthread_recursive_mutex_lock): New function.
4003         (__gthread_recursive_mutex_trylock): Likewise.
4004         (__gthread_recursive_mutex_unlock): Likewise.
4005
4006 2005-01-13  Ralf Corsepius <ralf.corsepius@rtems.org>
4007
4008         * config/i386/t-rtems-i386: Multilib on -mtune instead of -mcpu.
4009
4010 2005-01-13  Jan Beulich  <jbeulich@novell.com>
4011
4012         * config/ia64/ia64.md (ashlti3, ashlti3_internal): New.
4013         (ashrti3_internal): Indicate output is early clobber. Generate result
4014         into output rather than first input. Use move for low word of output
4015         if shift count is exactly 64.
4016         (lshrti3_internal): Likewise.
4017
4018 2005-01-13  Hans-Peter Nilsson  <hp@bitrange.com>
4019
4020         PR target/18329
4021         PR target/18330
4022         * reload1.c (delete_output_reload): Don't delete an output reload
4023         if the pseudo lives longer than a single basic block.  Adjust and
4024         improve wording of comment.
4025
4026 2005-01-12  Andrew Pinski  <pinskia@physics.uc.edu>
4027
4028         PR target/19334
4029         * config/darwin.c (machopic_select_section): Use TYPE_SIZE_UNIT instead
4030         of TYPE_SIZE where we mean the number of bytes.
4031
4032 2005-01-12  Aldy Hernandez  <aldyh@redhat.com>
4033
4034         * function.c (assign_parm_setup_block): Relax condition on
4035         multi-register optimization.
4036
4037 2005-01-12  Nick Clifton  <nickc@redhat.com>
4038
4039         * config/sh/sh.md (udivsi3_sh2a, divsi3_sh2a): Give these patterns
4040         an "in_delay_slot" attribute of "no" to prevent them being used in
4041         delay slots.  This is forbidden because they might generate
4042         exceptions.
4043
4044 2005-01-12  Alan Modra  <amodra@bigpond.net.au>
4045
4046         PR target/19389
4047         * config/rs6000/rs6000.md (movtf_internal): Replace r->o and m->r
4048         with r->Y and Y->r.
4049
4050 2005-01-12  Nick Clifton  <nickc@redhat.com>
4051
4052         * config/iq2000/iq2000.h (ASM_SPEC): Undefine (to stop -Qy being
4053         passed on to GAS) but do not define, as GAS no longer supports or
4054         needs the -m2000 option.
4055
4056 2005-01-11  Roger Sayle  <roger@eyesopen.com>
4057
4058         * builtins.c (fold_builtin_fabs): Convert argument to the appropriate
4059         type as args of unprototyped builtins aren't automatically promoted.
4060         (fold_builtin_abs): Likewise.
4061
4062 2005-01-11  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
4063
4064         * Makefile.in: Set a `build-warn' variable.
4065
4066 2005-01-11  Zdenek Dvorak  <dvorakz@suse.cz>
4067
4068         PR tree-optimization/17949
4069         * tree-ssa-loop-ivopts.c (may_be_unaligned_p): New function.
4070         (find_interesting_uses_address): Use it.
4071
4072 2005-01-11  Aldy Hernandez  <aldyh@redhat.com>
4073
4074         * regrename.c (kill_value): Handle subreg's that won't simplify.
4075
4076 2005-01-11  Richard Henderson  <rth@redhat.com>
4077
4078         PR target/13366
4079         * config/i386/i386.h (enum ix86_builtins): Move ...
4080         * config/i386/i386.c: ... here.
4081         (IX86_BUILTIN_MOVDDUP, IX86_BUILTIN_MMX_ZERO, IX86_BUILTIN_PEXTRW,
4082         IX86_BUILTIN_PINSRW, IX86_BUILTIN_LOADAPS, IX86_BUILTIN_LOADSS,
4083         IX86_BUILTIN_STORESS, IX86_BUILTIN_SSE_ZERO, IX86_BUILTIN_PEXTRW128,
4084         IX86_BUILTIN_PINSRW128, IX86_BUILTIN_LOADAPD, IX86_BUILTIN_LOADSD,
4085         IX86_BUILTIN_STOREAPD, IX86_BUILTIN_STORESD,  IX86_BUILTIN_STOREHPD,
4086         IX86_BUILTIN_STORELPD, IX86_BUILTIN_SETPD1, IX86_BUILTIN_SETPD,
4087         IX86_BUILTIN_CLRPD, IX86_BUILTIN_LOADPD1, IX86_BUILTIN_LOADRPD,
4088         IX86_BUILTIN_STOREPD1, IX86_BUILTIN_STORERPD, IX86_BUILTIN_LOADDQA,
4089         IX86_BUILTIN_STOREDQA, IX86_BUILTIN_CLRTI,
4090         IX86_BUILTIN_LOADDDUP): Remove.
4091         (IX86_BUILTIN_VEC_INIT_V2SI, IX86_BUILTIN_VEC_INIT_V4HI,
4092         IX86_BUILTIN_VEC_INIT_V8QI, IX86_BUILTIN_VEC_EXT_V2DF,
4093         IX86_BUILTIN_VEC_EXT_V2DI, IX86_BUILTIN_VEC_EXT_V4SF,
4094         IX86_BUILTIN_VEC_EXT_V8HI, IX86_BUILTIN_VEC_EXT_V4HI,
4095         IX86_BUILTIN_VEC_SET_V8HI, IX86_BUILTIN_VEC_SET_V4HI): New.
4096         (ix86_init_builtins): Make static.
4097         (ix86_init_mmx_sse_builtins): Update for changed builtins.
4098         (ix86_expand_binop_builtin): Only use ix86_fixup_binary_operands
4099         if all the modes match.  Otherwise, fake it.
4100         (get_element_number, ix86_expand_vec_init_builtin,
4101         ix86_expand_vec_ext_builtin, ix86_expand_vec_set_builtin): New.
4102         (ix86_expand_builtin): Make static.  Update for changed builtins.
4103         (ix86_expand_vector_move_misalign): Use sse2_loadlpd with zero
4104         operand instead of sse2_loadsd.  Cast sse1 fallback to V4SFmode.
4105         (ix86_expand_vector_init_duplicate): New.
4106         (ix86_expand_vector_init_low_nonzero): New.
4107         (ix86_expand_vector_init_one_var, ix86_expand_vector_init_general):
4108         Split out from ix86_expand_vector_init; handle integer modes.
4109         (ix86_expand_vector_init): Use them.
4110         (ix86_expand_vector_set, ix86_expand_vector_extract): New.
4111         * config/i386/i386-protos.h: Update.
4112         * config/i386/predicates.md (reg_or_0_operand): New.
4113         * config/i386/mmx.md (mov<MMXMODEI>_internal): Add 'r' variants.
4114         (movv2sf_internal): Likewise.  And a splitter to match them all.
4115         (vec_dupv2sf, mmx_concatv2sf, vec_setv2sf, vec_extractv2sf,
4116         vec_initv2sf, vec_dupv4hi, vec_dupv2si, mmx_concatv2si, vec_setv2si,
4117         vec_extractv2si, vec_initv2si, vec_setv4hi, vec_extractv4hi,
4118         vec_initv4hi, vec_setv8qi, vec_extractv8qi, vec_initv8qi): New.
4119         (mmx_pinsrw): Fix operand ordering.
4120         * config/i386/sse.md (movv4sf splitter): Use direct pattern,
4121         rather than sse_loadss expander.
4122         (movv2df splitter): Similarly.
4123         (sse_loadss, sse_loadlss): Remove.
4124         (vec_dupv4sf, sse_concatv2sf, sse_concatv4sf, vec_extractv4sf_0): New.
4125         (vec_setv4sf, vec_setv2df): Use ix86_expand_vector_set.
4126         (vec_extractv4sf, vec_extractv2df): Use ix86_expand_vector_extract.
4127         (sse3_movddup): Rename with '*'.
4128         (sse3_movddup splitter): Use gen_rtx_REG instead of gen_lowpart.
4129         (sse2_loadsd): Remove.
4130         (vec_dupv2df_sse3): Rename from sse3_loadddup.
4131         (vec_dupv2df, vec_concatv2df_sse3, vec_concatv2df): New.
4132         (sse2_pinsrw): Fix argument ordering.
4133         (sse2_loadld, sse2_loadq): Add sse1 alternatives.
4134         (sse2_stored): Remove 'r' destination.
4135         (vec_dupv4si, vec_dupv2di, sse2_concatv2si, sse1_concatv2si,
4136         vec_concatv4si_1, vec_concatv2di, vec_setv2di, vec_extractv2di,
4137         vec_initv2di, vec_setv4si, vec_extractv4si, vec_initv4si,
4138         vec_setv8hi, vec_extractv8hi, vec_initv8hi, vec_setv16qi,
4139         vec_extractv16qi, vec_initv16qi): New.
4140
4141         * config/i386/emmintrin.h (__m128i, __m128d): Use typedef, not define.
4142         (_mm_set_sd, _mm_set1_pd, _mm_setzero_pd, _mm_set_epi64x,
4143         _mm_set_epi32, _mm_set_epi16, _mm_set_epi8, _mm_setzero_si128): Use
4144         constructor form.
4145         (_mm_load_pd, _mm_store_pd): Use plain dereference.
4146         (_mm_load_si128, _mm_store_si128): Likewise.
4147         (_mm_load1_pd): Use _mm_set1_pd.
4148         (_mm_load_sd): Use _mm_set_sd.
4149         (_mm_store_sd, _mm_storeh_pd): Use __builtin_ia32_vec_ext_v2df.
4150         (_mm_store1_pd, _mm_storer_pd): Use _mm_store_pd.
4151         (_mm_set_epi64): Use _mm_set_epi64x.
4152         (_mm_set1_epi64x, _mm_set1_epi64, _mm_set1_epi32, _mm_set_epi16,
4153         _mm_set1_epi8, _mm_setr_epi64, _mm_setr_epi32, _mm_setr_epi16,
4154         _mm_setr_epi8): Use _mm_set_foo form.
4155         (_mm_loadl_epi64, _mm_movpi64_epi64, _mm_move_epi64): Use _mm_set_epi64.
4156         (_mm_storel_epi64, _mm_movepi64_pi64): Use __builtin_ia32_vec_ext_v2di.
4157         (_mm_extract_epi16): Use __builtin_ia32_vec_ext_v8hi.
4158         (_mm_insert_epi16): Use __builtin_ia32_vec_set_v8hi.
4159         * config/i386/mmintrin.h (_mm_setzero_si64): Use plain cast.
4160         (_mm_set_pi32): Use __builtin_ia32_vec_init_v2si.
4161         (_mm_set_pi16): Use __builtin_ia32_vec_init_v4hi.
4162         (_mm_set_pi8): Use __builtin_ia32_vec_init_v8qi.
4163         (_mm_set1_pi16, _mm_set1_pi8): Use _mm_set_piN variant.
4164         * config/i386/pmmintrin.h (_mm_loaddup_pd): Use _mm_load1_pd.
4165         (_mm_movedup_pd): Use _mm_shuffle_pd.
4166         * config/i386/xmmintrin.h (_mm_setzero_ps, _mm_set_ss,
4167         _mm_set1_ps, _mm_set_ps, _mm_setr_ps): Use constructor form.
4168         (_mm_cvtpi16_ps, _mm_cvtpu16_ps, _mm_cvtpi8_ps, _mm_cvtpu8_ps,
4169         _mm_cvtps_pi8, _mm_cvtpi32x2_ps): Avoid __builtin_ia32_mmx_zero;
4170         Use _mm_setzero_ps.
4171         (_mm_load_ss, _mm_load1_ps): Use _mm_set* form.
4172         (_mm_load_ps, _mm_loadr_ps): Use raw dereference.
4173         (_mm_store_ss): Use __builtin_ia32_vec_ext_v4sf.
4174         (_mm_store_ps): Use raw dereference.
4175         (_mm_store1_ps): Use _mm_storeu_ps.
4176         (_mm_storer_ps): Use _mm_store_ps.
4177         (_mm_extract_pi16): Use __builtin_ia32_vec_ext_v4hi.
4178         (_mm_insert_pi16): Use __builtin_ia32_vec_set_v4hi.
4179
4180 2005-01-11  Stan Shebs  <shebs@apple.com>
4181
4182         * config/rs6000/rs6000.c (machopic_output_stub): Issue
4183         ldu instead of lwzu if 64-bit -mdynamic-no-pic.
4184
4185 2005-01-11  Andrew Pinski  <pinskia@physics.uc.edu>
4186
4187         PR target/18761
4188         * config/rs6000/rs6000.c (rs6000_special_round_type_align):
4189         Skip all DECLs except for FIELD_DECLs.
4190
4191 2005-01-11  Andreas Krebbel  <krebbel1@de.ibm.com>
4192
4193         * config/s390/s390.c (override_options): Return error if
4194         -mbackchain, -mpacked-stack and -mhard-float are used together.
4195         (s390_va_start): Remove the backchain && packed-stack special case.
4196         (s390_gimplify_va_arg): Likewise.
4197         * doc/invoke.texi: Remove the ABI incompatibility note.
4198
4199 2005-01-11  Andreas Krebbel  <krebbel1@de.ibm.com>
4200
4201         * config/s390/s390.c (struct s390_frame_layout): Remove
4202         save_backchain_p.
4203         (s390_frame_info, s390_emit_prologue): Replace occurrences of
4204         save_backchain_p with TARGET_BACKCHAIN.
4205
4206 2005-01-11  Alan Modra  <amodra@bigpond.net.au>
4207
4208         PR target/18916
4209         * builtins.c (std_gimplify_va_arg_expr): Adjust alignment of *ap.
4210         * expr.h (struct locate_and_pad_arg_data): Add "boundary".
4211         * function.c (locate_and_pad_parm): Set new field.
4212         (assign_parm_find_stack_rtl): Use it instead of FUNCTION_ARG_BOUNDARY.
4213         Tweak where_pad test to include "none".  Always set mem align for
4214         stack_parm.
4215         (assign_parm_adjust_stack_rtl): Discard stack_parm if alignment
4216         not sufficient for type.
4217         (assign_parm_setup_block): If stack_parm is zero on entry, always
4218         make a new stack local.  Block move old stack parm if necessary
4219         to new aligned stack local.
4220         (assign_parm_setup_stack): Use a block move to handle
4221         potentially misaligned entry_parm.
4222         (assign_parms_unsplit_complex): Specify required alignment when
4223         creating stack local.
4224         * calls.c (compute_argument_addresses): Override alignment of stack
4225         arg calculated from its type with the alignment given by
4226         FUNCTION_ARG_BOUNDARY.
4227         (store_one_arg): Likewise.
4228
4229 2005-01-11  Jan Beulich  <jbeulich@novell.com>
4230
4231         * config/ia64/ia64.md (zero_extendsidi2): Replace zxt4 by addp4.
4232         Change respective itanium_class attribute to ialu.
4233         (shladdp4_internal): New.
4234         * config/ia64/predicates.md (shladd_log2_operand): New.
4235
4236 2005-01-11  Richard Henderson  <rth@redhat.com>
4237
4238         * expr.c (store_constructor): Use rtvec_alloc instead of
4239         alloca+gen_rtvec_v, and an incorrect number passed to alloca.
4240
4241 2005-01-11  Kazu Hirata  <kazu@cs.umass.edu>
4242
4243         * config/alpha/alpha.c, config/i386/mmx.md: Fix comment typos.
4244
4245 2005-01-11  Alan Modra  <amodra@bigpond.net.au>
4246
4247         * varasm.c (default_section_type_flags_1): Don't set SECTION_SMALL.
4248         * config/ia64/ia64.c (TARGET_SECTION_TYPE_FLAGS): Define.
4249         (TARGET_RWRELOC): Define.
4250         (ia64_rwreloc_section_type_flags): Delete.
4251         (ia64_section_type_flags): New function.
4252         * config/ia64/hpux.h (TARGET_SECTION_TYPE_FLAGS): Don't define.
4253         (TARGET_RWRELOC): Define.
4254
4255 2005-01-10  David Mosberger  <davidm@hpl.hp.com>
4256
4257         PR target/18987
4258         * config/ia64/ia64.c (process_set): For alloc insn, only call
4259         process_epilogue is !frame_pointer_needed.
4260
4261 2005-01-10  Roger Sayle  <roger@eyesopen.com>
4262
4263         PR c++/19355
4264         * c-common.c (c_common_truthvalue_conversion): TRUTH_NOT_EXPR is a
4265         unary operator and can't be treated as a binary/comparison operator.
4266
4267 2005-01-10  Richard Henderson  <rth@redhat.com>
4268
4269         * config/i386/i386.c (ix86_function_value): Use type_natural_mode.
4270         (ix86_return_in_memory): Likewise.
4271         (function_arg_advance):  Likewise.  Mirror structure in function_arg
4272         for choosing register to advance.
4273
4274 2005-01-10  Kazu Hirata  <kazu@cs.umass.edu>
4275
4276         * tree-vectorizer.c, tree.def: Fix comment typos.
4277
4278 2005-01-10  Mark Dettinger  <dettinge@de.ibm.com>
4279
4280         * config/s390/s390.c (struct processor_costs): 4 new fields:
4281         ddbr, ddr, debr, der.
4282         (s390_rtx_costs): More precise handling of divide instructions.
4283
4284 2005-01-10  David Edelsohn  <edelsohn@gnu.org>
4285
4286         * config/rs6000/t-aix43 (BOOT_LDFLAGS): Define.
4287
4288 2005-01-10  Jan Beulich  <jbeulich@novell.com>
4289
4290         * config/ia64/ia64.c (ia64_in_small_data_p): Also handle the section
4291         names resulting from -ffunction-sections/-fdata-sections and linkonce
4292         ones.
4293         * varasm.c (default_section_type_flags_1): Also set SECTION_SMALL
4294         based on the section name. Rearrange the section name comparison logic
4295         slightly so that each section name is compared against at most once.
4296
4297 2005-01-10  Ben Elliston  <bje@au.ibm.com>
4298
4299         * doc/invoke.texi (Code Gen Options): Add PowerPC to the list of
4300         targets for which -fPIC reduces limitations on the GOT size.
4301
4302 2005-01-09  Falk Hueffner  <falk@debian.org>
4303
4304         * fold-const.c (fold): Also handle EXACT_DIV_EXPR when folding
4305         X/C1 cmpop C2.
4306
4307 2005-01-09  David Edelsohn  <edelsohn@gnu.org>
4308
4309         PR target/18720
4310         * collect2.c (main): Set aixrtl_flag for -brtl option.
4311         (resolve_lib_name): Search for .so file extension before .a
4312         if aixrtl_flag set.
4313
4314 2005-01-09  Dorit Naishlos  <dorit@il.ibm.com>
4315
4316         * tree-vectorizer.c (vect_enhance_data_refs_alignment): Add dump prints.
4317         (vect_analyze_data_refs_alignment): Add dump prints.
4318
4319 2005-01-09  Ira Rosen  <irar@il.ibm.com>
4320
4321         * tree-vectorizer.c (vect_analyze_offset_expr): Use
4322         expr_invariant_in_loop_p.
4323         Initialize outputs first thing in the function.
4324         (vect_update_ivs_after_vectorizer): Call initial_condition_in_loop_num.
4325         (vect_is_simple_iv_evolution): Call initial_condition_in_loop_num.
4326         (vect_analyze_pointer_ref_access): Check that the initial condition of
4327         the access function is loop invariant.
4328
4329 2005-01-09  Richard Henderson  <rth@redhat.com>
4330
4331         * config/i386/i386.c (bdesc_2arg): Update names for mmx_ prefixes.
4332         (ix86_expand_builtin): Likewise.  Frob MASKMOVQ wrt the input mem
4333         just like MASKMOVDQU.  Return plain zero for MMX_ZERO.
4334         * config/i386/i386.md (MMXMODEI, mov<MMXMODEI>,
4335         mov<MMXMODEI>_internal_rex64, mov<MMXMODEI>_internal, movv2sf,
4336         movv2sf_internal_rex64, movv2sf_internal, MMXMODE,
4337         movmisalign<MMXMODE>, mmx_pmovmskb, mmx_maskmovq, mmx_maskmovq_rex,
4338         sse_movntdi, addv8qi3, addv4hi3, addv2si3, mmx_adddi3, ssaddv8qi3,
4339         ssaddv4hi3, usaddv8qi3, usaddv4hi3, subv8qi3, subv4hi3, subv2si3,
4340         mmx_subdi3, sssubv8qi3, sssubv4hi3, ussubv8qi3, ussubv4hi3,
4341         mulv4hi3, smulv4hi3_highpart, umulv4hi3_highpart, mmx_pmaddwd,
4342         sse2_umulsidi3, mmx_iordi3, mmx_xordi3, mmx_anddi3, mmx_nanddi3,
4343         mmx_uavgv8qi3, mmx_uavgv4hi3, mmx_psadbw, mmx_pinsrw, mmx_pinsrw,
4344         mmx_pextrw, mmx_pshufw, eqv8qi3, eqv4hi3, eqv2si3, gtv8qi3, gtv4hi3,
4345         gtv2si3, umaxv8qi3, smaxv4hi3, uminv8qi3, sminv4hi3, ashrv4hi3,
4346         ashrv2si3, lshrv4hi3, lshrv2si3, mmx_lshrdi3, ashlv4hi3, ashlv2si3,
4347         mmx_ashldi3, mmx_packsswb, mmx_packssdw, mmx_packuswb, mmx_punpckhbw,
4348         mmx_punpckhwd, mmx_punpckhdq, mmx_punpcklbw, mmx_punpcklwd,
4349         mmx_punpckldq, emms, addv2sf3, subv2sf3, subrv2sf3, gtv2sf3, gev2sf3,
4350         eqv2sf3, pfmaxv2sf3, pfminv2sf3, mulv2sf3, femms, pf2id, pf2iw,
4351         pfacc, pfnacc, pfpnacc, pi2fw, floatv2si2, pfrcpv2sf2, pfrcpit1v2sf3,
4352         pfrcpit2v2sf3, pfrsqrtv2sf2, pfrsqit1v2sf3, pmulhrwv4hi3, pswapdv2si2,
4353         pswapdv2sf2): Move to mmx.md; rename as necessary with leading
4354         mmx_ prefix.
4355         (mmx_clrdi, pavgusb): Remove.
4356         (ldmxcsr, stmxcsr, sfence, sfence_insn): Move to sse.md; rename
4357         with leading sse_ prefix.
4358         * config/i386/sse.md: Receive them.
4359         * config/i386/mmx.md: New file.
4360         (MMXMODE12, MMXMODE24, mmxvecsize): New.
4361         (subrv2sf3): Turn into expander for normal subtraction.
4362         (mmx_addv2sf3, mmx_mulv2sf3, mmx_smaxv2sf3, mmx_sminv2sf3,
4363         mmx_eqv2sf3, mmx_mulv4hi3, mmx_smulv4hi3_highpart,
4364         mmx_umulv4hi3_highpart, mmx_pmaddwd, mmx_pmulhrwv4hi3, sse2_umulsidi3,
4365         mmx_umaxv8qi3, mmx_smaxv4hi3, mmx_uminv8qi3, mmx_sminv4hi3): Mark
4366         commutative; use ix86_binary_operator_ok.
4367         (mmx_add<MMXMODEI>3, mmx_ssadd<MMXMODE12>3, mmx_usadd<MMXMODE12>3,
4368         mmx_sub<MMXMODEI>3, mmx_sssub<MMXMODE12>3, mmx_ussub<MMXMODE12>3
4369         mmx_ashr<MMXMODE24>3, mmx_lshr<MMXMODE23>3, mmx_ashl<MMXMODE24>3
4370         mmx_eq<MMXMODEI>3, mmx_gt<MMXMODEI>3, mmx_and<MMXMODEI>3,
4371         mmx_nand<MMXMODEI>3, mmx_ior<MMXMODEI>3, mmx_xor<MMXMODEI>3):
4372         Macroize from existing patterns; use ix86_binary_operator_ok.
4373         (mmx_packsswb, mmx_packssdw, mmx_packuswb): Add memory alternative.
4374         (mmx_punpckhbw, mmx_punpcklbw, mmx_punpckhwd, mmx_punpcklwd,
4375         mmx_punpckhdq, mmx_punpckhdq, mmx_punpckldq): Likewise.  Model
4376         with vec_select+vec_concat.
4377         (mmx_pshufw, mmx_pshufw_1): Likewise.
4378         (mmx_uavgv8qi3): Merge pavgusb.  Model correcty.
4379         (mmx_uavgv4hi3): Model correctly.
4380         * config/i386/mmintrin.h (_mm_and_si64, _mm_andnot_si64, _mm_or_si64,
4381         _mm_xor_si64): Remove casts.
4382
4383 2005-01-09  Zdenek Dvorak  <dvorakz@suse.cz>
4384
4385         PR tree-optimization/19224
4386         * tree-scalar-evolution.c (get_instantiated_value,
4387         set_instantiated_value): New functions.
4388         (instantiate_parameters_1): Cache the results.
4389         (instantiate_parameters, resolve_mixers): Initialize and free
4390         the cache.
4391
4392 2005-01-08  David Edelsohn  <edelsohn@gnu.org>
4393
4394         * config/i386/i386.md (addhi_4): Correct reference in comment.
4395         (addqi_4): Same.
4396
4397 2005-01-08  Richard Henderson  <rth@redhat.com>
4398
4399         * config/i386/emmintrin.h (_mm_cvtsi128_si32): Move earlier.
4400         (_mm_cvtsi128_si64x): Likewise.
4401         (_mm_srl_epi64, _mm_srl_epi32, _mm_srl_epi16, _mm_sra_epi32,
4402         _mm_sra_epi16, _mm_sll_epi64, _mm_sll_epi32, _mm_sll_epi16): Use
4403         the _mm_{srl,sll}i_foo counterpart, and _mm_cvtsi128_si32.
4404         * config/i386/i386-modes.def: Add V16HI, V32QI, V4DF, V8SF.
4405         * config/i386/i386-protos.h: Update.
4406         * config/i386/i386.c (print_operand): Add 'H'.
4407         (ix86_fixup_binary_operands): Split out from ...
4408         (ix86_expand_binary_operator): ... here.
4409         (ix86_fixup_binary_operands_no_copy): New.
4410         (ix86_expand_fp_absneg_operator): Handle vector mode results.
4411         (bdesc_2arg): Update names for sse{,2,3}_ prefixes.
4412         (ix86_init_mmx_sse_builtins): Remove *maskncmp* special cases.
4413         (safe_vector_operand): Use CONST0_RTX.
4414         (ix86_expand_binop_builtin): Use ix86_fixup_binary_operands.
4415         (ix86_expand_builtin): Merge CODE_FOR_sse2_maskmovdqu_rex64 and
4416         CODE_FOR_sse2_maskmovdqu.  Special case SSE version of MASKMOVDQU
4417         expansion.  Update names for sse{,2,3}_ prefixes.  Remove *maskncmp*
4418         special cases.
4419         * config/i386/i386.h (IX86_BUILTIN_CMPNGTSS): New.
4420         (IX86_BUILTIN_CMPNGESS): New.
4421         * config/i386/i386.md (UNSPEC_FIX_NOTRUNC): New.
4422         (attr type): Add sselog1.
4423         (attr unit, attr memory): Handle it.
4424         (movti, movti_internal, movti_rex64): Move near other integer moves.
4425         (movtf, movtf_internal): Move near other fp moves.
4426         (SSEMODE, SSEMODEI, vec_setv2df, vec_extractv2df, vec_initv2df,
4427         vec_setv4sf, vec_extractv4sf, vec_initv4sf, movv4sf, movv4sf_internal,
4428         movv2df, movv2df_internal, mov<SSEMODEI>, mov<SSEMODEI>_internal,
4429         movmisalign<SSEMODE>, sse_movups_1, sse_movmskps, sse_movntv4sf,
4430         sse_movhlps, sse_movlhps, sse_storehps, sse_loadhps, sse_storelps,
4431         sse_loadlps, sse_loadss, sse_loadss_1, sse_movss, sse_storess,
4432         sse_shufps, addv4sf3, vmaddv4sf3, subv4sf3, vmsubv4sf3, negv4sf2,
4433         mulv4sf3, vmmulv4sf3, divv4sf3, vmdivv4sf3, rcpv4sf2, vmrcpv4sf2,
4434         rsqrtv4sf2, vmrsqrtv4sf2, sqrtv4sf2, vmsqrtv4sf2, sse_andv4sf3,
4435         sse_nandv4sf3, sse_iorv4sf3, sse_xorv4sf3, sse2_andv2df3,
4436         sse2_nandv2df3, sse2_iorv2df3, sse2_xorv2df3, sse2_andv2di3,
4437         sse2_nandv2di3, sse2_iorv2di3, sse2_xorv2di3, maskcmpv4sf3,
4438         vmmaskcmpv4sf3, sse_comi, sse_ucomi, sse_unpckhps, sse_unpcklps,
4439         smaxv4sf3, vmsmaxv4sf3, sminv4sf3, vmsminv4sf3, cvtpi2ps, cvtps2pi,
4440         cvttps2pi, cvtsi2ss, cvtsi2ssq, cvtss2si, cvtss2siq, cvttss2si,
4441         cvttss2siq, addv2df3, vmaddv2df3, subv2df3, vmsubv2df3, mulv2df3,
4442         vmmulv2df3, divv2df3, vmdivv2df3, smaxv2df3, vmsmaxv2df3, sminv2df3,
4443         vmsminv2df3, sqrtv2df2, vmsqrtv2df2, maskcmpv2df3, vmmaskcmpv2df3,
4444         sse2_comi, sse2_ucomi, sse2_movmskpd, sse2_pmovmskb, sse2_maskmovdqu,
4445         sse2_maskmovdqu_rex64, sse2_movntv2df, sse2_movntv2di, sse2_movntsi,
4446         cvtdq2ps, cvtps2dq, cvttps2dq, cvtdq2pd, cvtpd2dq, cvttpd2dq,
4447         cvtpd2pi, cvttpd2pi, cvtpi2pd, cvtsd2si, cvtsd2siq, cvttsd2si,
4448         cvttsd2siq, cvtsi2sd, cvtsi2sdq, cvtsd2ss, cvtss2sd, cvtpd2ps,
4449         cvtps2pd, addv16qi3, addv8hi3, addv4si3, addv2di3, ssaddv16qi3,
4450         ssaddv8hi3, usaddv16qi3, usaddv8hi3, subv16qi3, subv8hi3, subv4si3,
4451         subv2di3, sssubv16qi3, sssubv8hi3, ussubv16qi3, ussubv8hi3, mulv8hi3,
4452         smulv8hi3_highpart, umulv8hi3_highpart, sse2_umulsidi3,
4453         sse2_umulv2siv2di3, sse2_pmaddwd, sse2_uavgv16qi3, sse2_uavgv8hi3,
4454         sse2_psadbw, sse2_pinsrw, sse2_pextrw, sse2_pshufd, sse2_pshuflw,
4455         sse2_pshufhw, eqv16qi3, eqv8hi3, eqv4si3, gtv16qi3, gtv8hi3,
4456         gtv4si3, umaxv16qi3, smaxv8hi3, uminv16qi3, sminv8hi3, ashrv8hi3,
4457         ashrv4si3, lshrv8hi3, lshrv4si3, lshrv2di3, ashlv8hi3, ashlv4si3,
4458         ashlv2di3, sse2_ashlti3, sse2_lshrti3, sse2_unpckhpd, sse2_unpcklpd,
4459         sse2_packsswb, sse2_packssdw, sse2_packuswb, sse2_punpckhbw,
4460         sse2_punpckhwd, sse2_punpckhdq, sse2_punpcklbw, sse2_punpcklwd,
4461         sse2_punpckldq, sse2_punpcklqdq, sse2_punpckhqdq, sse2_movupd,
4462         sse2_movdqu, sse2_movdq2q, sse2_movdq2q_rex64, sse2_movq2dq,
4463         sse2_movq2dq_rex64, sse2_loadd, sse2_stored, sse2_storehpd,
4464         sse2_loadhpd, sse2_storelpd, sse2_loadlpd, sse2_movsd, sse2_loadsd,
4465         sse2_loadsd_1, sse2_storesd, sse2_shufpd, sse2_clflush, sse2_mfence,
4466         mfence_insn, sse2_lfence, lfence_insn, mwait, monitor, addsubv4sf3,
4467         addsubv2df3, haddv4sf3, haddv2df3, hsubv4sf3, hsubv2df3, movshdup,
4468         movsldup, lddqu, loadddup, movddup): Move to sse.md.  Any with
4469         non-optabs meanings renamed with an "sse{,2,3}_" prefix at the
4470         same time.
4471         (SSEPUSH, push<SSEPUSH>): Remove.
4472         (MMXPUSH, push<MMXPUSH>): Remove.
4473         (sse_movaps, sse_movaps_1, sse_movups): Remove.
4474         (sse2_movapd, sse2_movdqa, sse2_movq): Remove.
4475         (sse2_andti3, sse2_nandti3, sse2_iorti3, sse2_xorti3): Remove.
4476         (sse_clrv4sf, sse_clrv2df, sse2_clrti): Remove.
4477         (maskncmpv4sf3, vmmaskncmpv4sf3): Remove.
4478         (maskncmpv2df3, vmmaskncmpv2df3): Remove.
4479         (ashrv8hi3_ti, ashrv4si3_ti, lshrv8hi3_ti, lshrv4si3_ti): Remove.
4480         (lshrv2di3_ti, ashlv8hi3_ti, ashlv4si3_ti, ashlv2di3_ti): Remove.
4481         * config/i386/athlon.md (athlon_sselog_load): Handle sselog1.
4482         (athlon_sselog_load_k8, athlon_sselog, athlon_sselog_k8): Likewise.
4483         * config/i386/ppro.md (ppro_sse_div_V4SF_load): Fix memory attr.
4484         (ppro_sse_log_V4SF_load): Similarly.  Handle sselog1.
4485         (ppro_sse_log_V4SF): Handle sselog1.
4486         * config/i386/predicates.md (const_0_to_1_operand): New.
4487         (const_0_to_255_mul_8_operand): New.
4488         (const_1_to_31_operand): Rename from const_int_1_31_operand.
4489         (const_2_to_3_operand, const_4_to_7_operand): New.
4490         * config/i386/sse.md: New file.
4491         (SSEMODE12, SSEMODE24, SSEMODE124, SSEMODE248, ssevecsize): New.
4492         (sse_movups): Rename from sse_movups_1.
4493         (sse_loadlss): Rename from sse_loadss_1.
4494         (andv4sf3, iorv4sf3, xorv4sf3, andv2df3): Remove the sse prefix
4495         from the name.
4496         (negv4sf2): Use ix86_expand_fp_absneg_operator.
4497         (absv4sf2, negv2df, absv2df): New.
4498         (addv4sf3): Add expander to call ix86_fixup_binary_operands_no_copy.
4499         (subv4sf3, mulv4sf3, divv4sf3, smaxv4sf3, sminv4sf3, andv4sf3,
4500         iorv4sf3, xorv4sf3, addv2df3, subv2df3, mulv2df3, divv2df3,
4501         smaxv2df3, sminv2df3, andv2df3, iorv2df3, xorv2df3, mulv8hi3,
4502         umaxv16qi3, smaxv8hi3, uminv16qi3, sminv8hi3): Likewise.
4503         (sse3_addsubv4sf3): Model correctly.
4504         sse3_haddv4sf3, sse3_hsubv4sf3, sse3_addsubv2df3, sse3_haddv2df3,
4505         sse3_hsubv2df3, sse2_ashlti3, sse2_lshrti3): Likewise.
4506         (sse_movhlps): Model with vec_select+vec_concat.
4507         (sse_movlhps, sse_unpckhps, sse_unpcklps, sse3_movshdup,
4508         sse3_movsldup, sse_shufps, sse_shufps_1, sse2_unpckhpd, sse3_movddup,
4509         sse2_unpcklpd, sse2_shufpd, sse2_shufpd_1, sse2_punpckhbw,
4510         sse2_punpcklbw, sse2_punpckhwd, sse2_punpcklwd, sse2_punpckhdq,
4511         sse2_punpckldq, sse2_punpckhqdq, sse2_punpcklqdq, sse2_pshufd,
4512         sse2_pshufd_1, sse2_pshuflw, sse2_pshuflw_1, sse2_pshufhw,
4513         sse2_pshufhw_1): Likewise.
4514         (neg<SSEMODEI>2, one_cmpl<SSEMODEI>2): New.
4515         (add<SSEMODEI>3, sse2_ssadd<SSEMODE12>3, sse2_usadd<SSEMODE12>3,
4516         sub<SSEMODEI>3, sse2_sssub<SSEMODE12>3, sse2_ussub<SSEMODE12>3,
4517         ashr<SSEMODE24>3, lshr<SSEMODE248>3, sse2_eq<SSEMODE124>3,
4518         sse2_gt<SSEMODDE124>3, and<SSEMODEI>3, sse_nand<SSEMODEI>3,
4519         ior<SSEMODEI>3, xor<SSEMODEI>3): Macroize from existing patterns.
4520         (addv4sf3, sse_vmaddv4sf3, mulv4sf3, sse_vmmulv4sf3, smaxv4sf3,
4521         sse_vmsmaxv4sf3, sminv4sf3, sse_vmsminv4sf3, addv2df3, sse2_vmaddv2df3,
4522         mulv2df3, sse2_vmmulv2df3, smaxv2df3, sse2_vmsmaxv2df3, sminv2df3,
4523         sse2_vmsminv2df3, umaxv16qi3, smaxv8hi3, uminv16qi3
4524         sminv8hi3): Mark commutative
4525         operands.  Use ix86_binary_operator_ok.
4526         (sse_unpckhps, sse_unpcklps, sse2_packsswb, sse2_packssdw,
4527         sse2_packuswb, sse2_punpckhbw, sse2_punpcklbw, sse2_punpckhwd,
4528         sse2_punpcklwd, sse2_punpckhdq, sse2_punpckldq, sse2_punpckhqdq,
4529         sse2_punpcklqdq): Allow operand2 in memory.
4530         (sse_movhlps, sse_movlhps, sse2_unpckhpd, sse2_unpcklpd
4531         sse2_movsd): Add memory alternatives.
4532         (sse_storelps): Turn expander into an insn; split after reload.
4533         (sse_storess, sse2_loadhpd, sse2_loadlpd): Add non-xmm inputs.
4534         (sse2_storehpd, sse2_storelpd): Add non-xmm outputs.
4535
4536 2005-01-08  Eric Botcazou  <ebotcazou@libertysurf.fr>
4537
4538         * configure.ac (DWARF-2 debug_line): Use objdump.
4539         * configure: Regenerate.
4540
4541 2005-01-08  Jeff Law  <law@redhat.com>
4542             Diego Novillo  <dnovillo@redhat.com>
4543
4544         PR tree-optimization/18241
4545         * tree-nrv.c (tree_nrv): Ignore volatile return values.
4546         * tree-ssa-dse.c (dse_optimize_stmt): Do not optimize
4547         statements with volatile operands.
4548         * tree-ssa-operands.c (add_stmt_operand): Do add volatile
4549         operands after marking a statement with has_volatile_ops.
4550
4551 2005-01-08  Roger Sayle  <roger@eyesopen.com>
4552
4553         * tree.c (int_fits_type_p): Always honor integer constant
4554         TYPE_MIN_VALUE and TYPE_MAX_VALUE if they exist.
4555
4556 2005-01-08  Roger Sayle  <roger@eyesopen.com>
4557
4558         * ifcvt.c (find_if_case_1): Reinstate 2005-01-04 change, now that
4559         the latent bug in rtl_delete_block has been resolved.
4560
4561 2005-01-08  Richard Sandiford  <rsandifo@redhat.com>
4562
4563         * config/mips/t-iris6 (MULTILIB_DIRNAMES): Use -mabi argument values.
4564         (MULTILIB_OSDIRNAMES): Use the standard lib, lib32 and lib64.
4565
4566 2005-01-08  Richard Sandiford  <rsandifo@redhat.com>
4567
4568         * config/mips/t-slibgcc-irix (SHLIB_LINK): Install a copy of the
4569         library as @multilib_dir@/$(SHLIB_SONAME).
4570
4571 2005-01-07  Eric Botcazou  <ebotcazou@libertysurf.fr>
4572
4573         * configure.ac (HAVE_AS_OFFSETABLE_LO10): Fix typo.
4574         * configure: Regenerate.
4575
4576 2005-01-07  Jakub Jelinek  <jakub@redhat.com>
4577
4578         * c-common.c (handle_mode_attribute): For ENUMERAL_TYPE, also copy
4579         TYPE_MODE.
4580
4581 2005-01-07  David Edelsohn  <edelsohn@gnu.org>
4582
4583         PR target/13674
4584         * config/rs6000/rs6000.c (rs6000_legitimize_reload_address):
4585         Convert non-word aligned offset address using ld/std into
4586         indirect address.
4587
4588 2005-01-07  Richard Henderson  <rth@redhat.com>
4589
4590         * config/i386/i386.md (sse_loadhps splitter): Fix operand number typo.
4591
4592 2005-01-07  Richard SAndiford  <rsandifo@redhat.com>
4593
4594         * tree.h (IS_EXPR_CODE_CLASS): Use a straight-forward range check.
4595
4596 2005-01-07  Jakub Jelinek  <jakub@redhat.com>
4597
4598         PR tree-optimization/19283
4599         * fold-const.c (fold_widened_comparison): Return NULL if shorter_type
4600         is not shorter than the original type.
4601
4602         PR rtl-optimization/19012
4603         * config/i386/i386.md (addqi_1_slp): Set memory attribute.
4604
4605         PR rtl-optimization/18861
4606         * cfgbuild.c (BLOCK_USED_BY_TABLEJUMP): Define.
4607         (FULL_STATE): Define.
4608         (mark_tablejump_edge): New function.
4609         (purge_dead_tablejump_edges): New function.
4610         (find_bb_boundaries): Use it.
4611
4612         PR tree-optimization/18828
4613         * builtins.c (expand_builtin_next_arg): Remove argument and all
4614         the argument checking.
4615         (expand_builtin): Adjust caller.
4616         (expand_builtin_va_start): Likewise.  Remove error for too many
4617         arguments.
4618         (fold_builtin_next_arg): Issue error for too many arguments.
4619         After checking arguments, replace them with magic arguments that
4620         prevent further checking of the args.
4621
4622 2005-01-06  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
4623
4624         * pa64-hpux.h (STARTFILE_SPEC): Fix typo in spec.
4625
4626 2005-01-06  Roger Sayle  <roger@eyesopen.com>
4627
4628         PR target/6077
4629         * gcc.c (input_suffix_matches): Tweak the semantics of %{.s:...}
4630         and %{.S:...} (and their negative variants) to test whether the
4631         input file is assembler or pre-processed-assembler independent of
4632         the actual filename extension.
4633
4634 2005-01-06  Roger Sayle  <roger@eyesopen.com>
4635
4636         * simplify-rtx.c (simplify_subreg): Simplify truncations of shifts
4637         of sign or zero extended values.
4638
4639 2005-01-06  Geoffrey Keating  <geoffk@apple.com>
4640
4641         * c-cppbuiltin.c (builtin_define_float_constants): Set __*_EPSILON__
4642         for IBM long double format correctly.
4643
4644 2005-01-06  Daniel Berlin <dberlin@dberlin.org>
4645
4646         Fix PR tree-optimization/18792
4647
4648         * tree-data-ref.c (build_classic_dist_vector): Change first_loop
4649         to first_loop_depth, and use loop depth instead of loop number.
4650         (build_classic_dir_vector): Ditto.
4651         (compute_data_dependences_for_loop): Use depth, not loop number.
4652         * tree-loop-linear.c (try_interchange_loops): Use loop depth, not loop
4653         number. Pass in loops, instead of loop numbers.
4654         (gather_interchange_stats): Ditto.
4655         (linear_transform_loops): Ditto.
4656
4657 2005-01-06  Richard Sandiford  <rsandifo@redhat.com>
4658
4659         PR rtl-opt/13299
4660         * loop.c (get_monotonic_increment, biased_biv_fits_mode_p,
4661         biv_fits_mode_p, extension_within_bounds_p): New functions.
4662         (check_ext_dependent_givs): Use them.
4663
4664 2005-01-06  Roger Sayle  <roger@eyesopen.com>
4665
4666         * cfgrtl.c (rtl_delete_block): A basic block may be followed by
4667         more than one barrier, in which case we should delete them all.
4668
4669 2005-01-06  Tobias Schlueter  <tobias.schlueter@physik.uni-muenchen.de>
4670
4671         * gcc.c (process_command): Change year in 'gcc --version' to 2005.
4672
4673 2005-01-05  Daniel Berlin  <dberlin@dberlin.org>
4674
4675         Fix PR middle-end/19286
4676         Fix PR debug/19267
4677         * dwarf2out.c (gen_subprogram_die): If we've already tried to
4678         output this subprogram, simply ignore this attempt to do it again.
4679         (add_abstract_origin_attribute): Don't abort trying to add the abstract
4680         origin attribute if it's not possible.
4681         (gen_block_die): Don't ignore subblocks of "unused" blocks.
4682         (decls_for_scope): Ditto.
4683         * gimple-low.c (mark_blocks_with_used_subblocks): Remove.
4684         (mark_used_blocks): Don't call mark_blocks_with_used_subblocks.
4685
4686 2005-01-05  Richard Henderson  <rth@redhat.com>
4687
4688         PR target/11327
4689         * config/i386/i386.c (BUILTIN_DESC_SWAP_OPERANDS): New.
4690         (bdesc_2arg): Use it.
4691         (ix86_expand_binop_builtin): Force operands into registers
4692         when optimizing.
4693         (ix86_expand_unop_builtin, ix86_expand_unop1_builtin,
4694         ix86_expand_sse_compare, ix86_expand_sse_comi,
4695         ix86_expand_builtin): Likewise.
4696
4697 2005-01-05  Richard Henderson  <rth@redhat.com>
4698
4699         * config/ia64/ia64.c (rtx_needs_barrier): Handle CONST_VECTOR
4700         and VEC_SELECT.
4701         * config/ia64/vect.md (mulv8qi3): Re-implement with mix_[rl].
4702         (mulv4hi3): Set itanium_class mmmul.
4703         (fpack_sfxf, fpack_xfsf, fpack_xfxf): Remove.
4704         (fpack): Rename from fpack_sfsf.
4705
4706 2005-01-05  Richard Henderson  <rth@redhat.com>
4707
4708         PR rtl-opt/10692
4709         * reload1.c (do_input_reload): Restrict the optimization deleteing
4710         a previous output reload to RELOAD_FOR_INPUT.
4711
4712 2005-01-05  Steven Bosscher  <stevenb@suse.de>
4713
4714         * combine.c (expand_compound_operation)  <ZERO_EXTRACT>: Add
4715         comment that we fall through after case.
4716         (mark_used_regs_combine): Don't expect a SIGN_EXTRACT in a SET_DEST.
4717         (distribute_links): Likewise.
4718         * cse.c (cse_insn): Likewise.
4719         * cselib.c (cselib_invalidate_mem): Likewise.
4720         * df.c: Update comments at the top of the file.
4721         (read_modify_subreg_p): Update comments here too.
4722         (df_def_record_1): Don't expect a SIGN_EXTRACT in a SET_DEST.
4723         * flow.c (mark_set_1): Likewise.
4724         (mark_used_regs): Likewise.
4725         * gcse.c (mems_conflict_for_gcse_p): Likewise.
4726         (canon_list_insert): Likewise.
4727         (mark_set): Likewise.
4728         (try_replace_reg): Likewise.
4729         (store_killed_in_insn): Likewise.
4730         * loop.c (count_one_set): Likewise.
4731         (basic_induction_var): Likewise.
4732         * postreload-gcse.c (find_mem_conflicts): Likewise.
4733         * postreload.c (reload_combine_note_store): Likewise.
4734         (move2add_note_store): Likewise.
4735         * reload.c (find_equiv_reg): Likewise.
4736         (mark_referenced_resources): Likewise.
4737         * rtlanal.c (set_noop_p): Likewise.
4738         (note_stores): Likewise.
4739         (note_uses): Likewise.
4740         * sched-deps.c (sched_analyze_1): Likewise.
4741         * sched-rgn.c (check_live_1): Likewise.
4742         (update_live_1): Likewise.
4743         * config/i860/i860.c: Likewise.
4744
4745         * rtl.dec (SIGN_EXTRACT): Document that this cannot appear as
4746         an lvalue.
4747         (ZERO_EXTRACT): Mention that this one can be an lvalue.
4748
4749         * doc/rtl.texi: Update documentation for bit-fields and SET.
4750
4751 2005-01-05  Roger Sayle  <roger@eyesopen.com>
4752
4753         * ifcvt.c (find_if_case_1): Revert 2005-01-04 change.
4754
4755 2005-01-05  Jan Hubicka  <jh@suse.cz>
4756             Richard Henderson  <rth@redhat.com>
4757
4758         PR target/18910
4759         * config/i386/i386.c (ix86_expand_move): Handle tls symbols
4760         with an offset.
4761
4762 2005-01-05  Richard Henderson  <rth@redhat.com>
4763
4764         PR target/12902
4765         * config/i386/i386.md (sse_movhps, sse_movlps): Remove.
4766         (sse_shufps): Change operand 3 to const_int_operand.
4767         (sse2_storelps): Fix typo in template.
4768         (sse_storehps, sse_loadhps, sse_storelps, sse_loadlps): New.
4769         * config/i386/i386.c (ix86_expand_vector_move_misalign): Use them.
4770         (ix86_expand_builtin): Likewise.
4771
4772 2005-01-05  Julian Brown  <julian@codesourcery.com>
4773
4774         * config/arm/arm.c (arm_return_in_memory): Treat complex types
4775         as aggregates for AAPCS ABIs.
4776
4777 2005-01-05  Stan Shebs  <shebs@apple.com>
4778
4779         * unwind-dw2-fde-darwin.c (examine_objects): Use 64-bit
4780         Mach-O getters if ppc64.
4781         * config/darwin.c (darwin_asm_output_dwarf_delta): Obey
4782         size argument.
4783         * config/darwin.h (ASM_PREFERRED_EH_DATA_FORMAT): Use
4784         signed four-byte field for global code case.
4785         (STARTFILE_SPEC): Avoid crt2.o for 64-bit compilation.
4786
4787 2005-01-05  Roger Sayle  <roger@eyesopen.com>
4788
4789         PR middle-end/19100
4790         * c-common.c: Include real.h.
4791         (c_common_truthvalue_conversion): Avoid destructively modifying expr.
4792         Correctly handle TREE_CONSTANT_OVERFLOW for INTEGER_CST.
4793         Correctly handle TREE_CONSTANT_OVERFLOW and NaNs for REAL_CST.
4794         * Makefile.in (c-common.o): Update dependencies.
4795
4796 2005-01-05  Joseph S. Myers  <joseph@codesourcery.com>
4797
4798         * c-parse.in (asm_string): Add trailing semicolon.
4799
4800 2005-01-05  Joseph S. Myers  <joseph@codesourcery.com>
4801
4802         * c-parse.in (asm_string): New.  Don't allow wide strings in
4803         'asm'.
4804         (simple_asm_expr, asm_argument, asm_operand, asm_clobbers): Use
4805         asm_string instead of STRING.
4806
4807 2005-01-05  Joseph S. Myers  <joseph@codesourcery.com>
4808
4809         * c-typeck.c (constructor_no_implicit): Remove.
4810         (set_designator, process_init_element): Don't check
4811         constructor_no_implicit.
4812
4813 2005-01-05  J"orn Rennecke <joern.rennecke@st.com>
4814             Kaz Kojima  <kkojima@gcc.gnu.org>
4815
4816         PR target/16482
4817         * lcm.c (create_pre_exit): New.
4818         (optimize_mode_switching): In MODE_ENTRY / MODE_EXIT case, set
4819         ENTRY_EXIT_EXTRA to 3.  Use create_pre_exit.
4820
4821 2004-01-05  Richard Earnshaw  <rearnsha@arm.com>
4822
4823         * arm.h (TARGET_OPTIONS): Correctly record -mhard-float and
4824         -msoft-float in target_float_switch.
4825         * arm.c (arm_override_options): Fix processing of target_float_switch.
4826
4827 2004-01-05  Richard Earnshaw  <rearnsha@arm.com>
4828
4829         * arm/vfp.md (arm_movsi_vfp): Hide VFP register classes from register
4830         preferencing.
4831
4832 2004-01-05  Uros Bizjak  <uros@kss-loka.si>
4833
4834         * doc/invoke.texi (Intel 386 and AMD x86-64 Options):
4835         Replace i387 with 'i386 compiler' in -mfpmath=sse option.
4836
4837 2005-01-04  Roger Sayle  <roger@eyesopen.com>
4838
4839         * ifcvt.c (find_if_case_1): Avoid creating an empty forwarder block,
4840         if deleting the then-block allows the test-block to fallthru to the
4841         else-block.
4842
4843 2005-01-04  Andrew Pinski  <pinskia@physics.uc.edu>
4844
4845         PR c/19152
4846         * c-decl.c (diagnose_mismatched_decls): Accept "extern inline" declared
4847         after the full declaration if the are in two different TUs.
4848
4849 2005-01-04  Richard Henderson  <rth@redhat.com>
4850
4851         PR tree-opt/19158
4852         * tree-sra.c (generate_one_element_init): Just
4853         call gimplify_and_add.
4854         (generate_element_init): Record the
4855         new referenced variables and mark them for renaming
4856         and split out to ...
4857         (generate_element_init_1): This.
4858         (scalarize_init): Don't call push_gimplify_context/
4859         pop_gimplify_context.
4860
4861 2005-01-04  Geoffrey Keating  <geoffk@apple.com>
4862
4863         * toplev.c (get_src_pwd): Handle failure of getpwd().
4864
4865 2005-01-04  Roger Sayle  <roger@eyesopen.com>
4866
4867         * fold-const.c (fold_single_bit_test): Delete unreachable handling
4868         of TRUTH_NOT_EXPR.
4869         (fold): Don't call fold_single_bit_test with a TRUTH_NOT_EXPR, as
4870         all the cases handled by it are inverted by invert_truthvalue.
4871
4872 2005-01-04  Eric Botcazou  <ebotcazou@libertysurf.fr>
4873
4874         * config/sparc/sparc.md (save_register_windowdi): Add missing mode.
4875         (save_register_windowsi): Likewise.
4876
4877 2005-01-04  Richard Henderson  <rth@redhat.com>
4878
4879         * tree-mudflap.c (mf_varname_tree): Fix thinko setting declname.
4880
4881 2005-01-04  Uros Bizjak  <uros@kss-loka.si>
4882
4883         PR middle-end/17767
4884         * cse.c (fold_rtx) [RTX_COMPARE, RTX_COMM_COMPARE]: Don't attempt
4885         any simplifications of vector mode comparison operators.
4886         * simplify-rtx.c (simplify_relational_operation): Fix variable name.
4887
4888 2005-01-04  Paolo Bonzini  <bonzini@gnu.org>
4889             Devang Patel  <dpatel@apple.com>
4890
4891         PR tree-optimization/18308
4892         * tree-if-conv.c (add_to_dst_predicate_list): Gimplify
4893         the operands before creating a new expression.
4894         * dojump.c (do_jump): Make drop_through_label available
4895         for all cases.  Add expansion of COND_EXPR.
4896
4897 2005-01-04  Ira Rosen  <irar@il.ibm.com>
4898
4899         * tree-vectorizer.c (vect_analyze_offset_expr): Test for
4900         INTEGER_CST instead of TREE_CONSTANT.
4901         (vect_gen_niters_for_prolog_loop): Test for INTEGER_CST
4902         instead of TREE_CONSTANT.
4903         (vect_analyze_pointer_ref_access): Test for INTEGER_CST
4904         instead of TREE_CONSTANT.
4905
4906 2005-01-04  Eric Botcazou  <ebotcazou@libertysurf.fr>
4907
4908         * tree-eh.c (replace_goto_queue): Return early if the queue is empty.
4909
4910 2005-01-04  Uros Bizjak  <uros@kss-loka.si>
4911
4912         PR target/19240
4913         * config/i386/i386.md (*fop_df_1_i387): Disable for TARGET_SSE_MATH.
4914         (*fop_df_1_i387): Disable for (TARGET_SSE2 && TARGET_SSE_MATH).
4915
4916 2005-01-03  Richard Henderson  <rth@redhat.com>
4917
4918         * fold-const.c (force_fit_type): Cope with types larger than 2 HWI.
4919         (fold_convert_const_int_from_int, fold_convert_const_int_from_real,
4920         fold_convert_const_real_from_real): Split out from ...
4921         (fold_convert_const): ... here.
4922
4923 2005-01-03  Richard Henderson  <rth@redhat.com>
4924
4925         PR target/19235
4926         * config/i386/i386.md (movdi_2): Separate SSE1 and SSE2 alternatives.
4927         (mov<MMXMODEI>_internal): Likewise.
4928         (movdf_nointeger): Prefer Y while not preferring, but allowing, x.
4929         Add V2SF case; use it for SSE1; don't use TI.
4930         (movdf_integer): Likewise.
4931         (mov<SSEMODEI>_internal, movti_internal): Force V4SF for SSE1.
4932
4933 2005-01-03  Ira Rosen  <irar@il.ibm.com>
4934
4935         * tree-vectorizer.c (vect_strip_conversions): New function.
4936         (vect_analyze_offset_expr): Call vect_strip_conversions. Add
4937         check for binary class.
4938
4939 2005-01-03  Daniel Berlin  <dberlin@dberlin.org>
4940
4941         Fix PR debug/17924
4942         Fix PR debug/19191
4943         * dwarf2out.c (block_ultimate_origin): Follow decl origin if origin
4944         is a decl.
4945         * gimple-low.c (mark_blocks_with_used_vars): New function.
4946         (mark_blocks_with_used_subblocks): Ditto.
4947         (mark_used_blocks): Ditto.
4948         (pass_mark_used_blocks): New pass.
4949         * tree-inline.c: Include debug.h.
4950         (expand_call_inline): Call outlining_inline_function here.
4951         * tree-optimize.c (init_tree_optimization_passes): Add
4952         pass_mark_used_blocks.
4953         * tree-pass.h (pass_mark_used_blocks): New.
4954         * Makefile.in (tree-inline.o): Add debug.h dependency.
4955
4956 2005-01-03  Geoffrey Keating  <geoffk@apple.com>
4957
4958         * config/darwin.c (darwin_handle_weak_import_attribute): Permit
4959         VAR_DECLs to have weak_import attribute.
4960
4961         * config/rs6000/darwin-fallback.c: Use 'ucontext_t' rather than
4962         'struct ucontext'.
4963
4964 2004-01-03  Steven Bosscher  <stevenb@suse.de>
4965
4966         * passes.c (rest_of_compilation): Don't run regmove if only
4967         flag_expensive_optimizations, require flag_regmove instead.
4968
4969 2005-01-03  Eric Botcazou  <ebotcazou@libertysurf.fr>
4970
4971         * config/sparc/litecoff.h (TARGET_OS_CPP_BUILTINS): Do not
4972         register "sparc".
4973         * config/sparc/sysv4-only.h (TARGET_OS_CPP_BUILTINS): Likewise.
4974         * config/sparc/rtemself.h (TARGET_SUB_OS_CPP_BUILTINS): Likewise.
4975         * config/sparc/sol2-64.h (TARGET_SUB_OS_CPP_BUILTINS): Delete.
4976         * config/sparc/sp64-elf.h (TARGET_SUB_OS_CPP_BUILTINS): Likewise.
4977
4978 2005-01-03  Richard Henderson  <rth@redhat.com>
4979
4980         * config/ia64/ia64.c (TARGET_VECTOR_MODE_SUPPORTED_P): New.
4981         (ia64_const_ok_for_letter_p): New.
4982         (ia64_const_double_ok_for_letter_p): New.
4983         (ia64_extra_constraint): New.
4984         (ia64_expand_vecint_compare): New.
4985         (ia64_expand_vcondu_v2si): New.
4986         (ia64_expand_vecint_cmov): New.
4987         (ia64_expand_vecint_minmax): New.
4988         (ia64_print_operand): Add 'v'.
4989         (ia64_preferred_reload_class): New.
4990         (ia64_vector_mode_supported_p): New.
4991         * config/ia64/ia64.h (UNITS_PER_SIMD_WORD): New.
4992         (PREFERRED_RELOAD_CLASS): Move to function.
4993         (CONST_OK_FOR_LETTER_P): Move to function.
4994         (CONST_DOUBLE_OK_FOR_LETTER_P): Move to function.
4995         (CONSTRAINT_OK_FOR_Q, CONSTRAINT_OK_FOR_R): Remove.
4996         (CONSTRAINT_OK_FOR_S, CONSTRAINT_OK_FOR_T): Remove.
4997         (EXTRA_CONSTRAINT): Move to function.
4998         * config/ia64/ia64.md: Include vect.md.
4999         (itanium_class): Add mmalua.
5000         (type): Handle it.
5001         * config/ia64/itanium1.md (1_mmalua): New.  Add it to bypasses.
5002         (1b_mmalua): New.
5003         * config/ia64/itanium2.md (2_mmalua, 2b_mmalua): Similarly.
5004         * config/ia64/predicates.md (gr_reg_or_0_operand): Accept any
5005         CONST0_RTX.
5006         (const_int_2bit_operand): New.
5007         (fr_reg_or_0_operand): New.
5008         * config/ia64/ia64-modes.def: Add vector modes.
5009         * config/ia64/ia64-protos.h: Update.
5010         * config/ia64/vect.md: New file.
5011
5012 2005-01-03  Richard Henderson  <rth@redhat.com>
5013
5014         * simplify-rtx.c (simplify_binary_operation): Handle VEC_CONCAT.
5015
5016 2005-01-03  Uros Bizjak  <uros@kss-loka.si>
5017
5018         PR target/19236
5019         * config/i386/i386.c (log1psf2): Change mode of operands[0,1]
5020         to SFmode.
5021         (log1pdf2): Change mode of operands[0,1] to DFmode.
5022
5023 2005-01-03  Eric Botcazou  <ebotcazou@libertysurf.fr>
5024
5025         * config/sparc/sparc.h (SPARC_RELAXED_ORDERING): Define to false.
5026         * config/sparc/linux.h (SPARC_RELAXED_ORDERING): Define to true.
5027         * config/sparc/linux64.h (SPARC_RELAXED_ORDERING): Likewise.
5028         * config/sparc/sparc.c (TARGET_RELAXED_ORDERING): Define to
5029         SPARC_RELAXED_ORDERING.
5030
5031 2005-01-03  Richard Henderson  <rth@redhat.com>
5032             Uros Bizjak  <uros@kss-loka.si>
5033
5034         PR target/14631
5035         * config/i386/i386.c (ix86_expand_builtin): [IX86_BUILTIN_PINSRW,
5036         IX86_BUILTIN_PINSRW128]: Fix wrong selector range in error message.
5037         * config/i386/i386.md (mmx_pinsrw, sse2_pinsrw): Fix selector
5038         handling.
5039         (*mmx_pinsrw, *sse2_pinsrw): New patterns.
5040         * config/i386/i386/predicates.md (const_pow2_1_to_8_operand,
5041         const_pow2_1_to_128_operand): New predicates.
5042
5043 2005-01-02  Greg McGary  <greg@mcgary.org>
5044
5045         * tree-mudflap.c (mf_varname_tree): decl_printable_name handles
5046         anonymous decls.
5047         (mf_xform_derefs_1) [RESULT_DECL, STRING_CST]: Handle as innermost
5048         object.  [ptr_type]: Remove unused variable.
5049         Remember nearest addressable array-element or record-component
5050         when checking bitfield components.  Tolerate empty BIND_EXPR.
5051
5052 2005-01-01  Richard Henderson  <rth@redhat.com>
5053
5054         * tree-vectorizer.c (vect_analyze_offset_expr): Strip conversions
5055         that don't narrow the value.  Fail for other conversions.
5056
5057 2005-01-01  Richard Henderson  <rth@redhat.com>
5058
5059         PR c/19031
5060         * c-decl.c (pop_file_scope): Call maybe_apply_pending_pragma_weaks.
5061         * c-lang.c (finish_file): Don't do it here.
5062         * objc/objc-act.c (objc_finish_file): Likewise.
5063
5064         * cgraph.c (decl_assembler_name_equal): New.
5065         (cgraph_node_for_asm, cgraph_varpool_node_for_asm): New.
5066         (cgraph_varpool_node): Actually link up cgraph_varpool_nodes.
5067         * cgraph.h (struct cgraph_varpool_node): Add next.
5068         (cgraph_node_for_asm, cgraph_varpool_node_for_asm): Declare.
5069         * varasm.c (assemble_alias): Mark the target as needed.
5070
5071 2005-01-01  Andrew Pinski  <pinskia@physics.uc.edu>
5072
5073         PR middle-end/19221
5074         * function.c (get_arg_pointer_save_area): Use entry_of_function
5075         instead of get_insns.
5076
5077 2005-01-01  Roger Sayle  <roger@eyesopen.com>
5078             Andrew Pinski  <pinskia@physics.uc.edu>
5079             James E. Wilson  <wilson@specifixinc.com>
5080
5081         PR rtl-optimization/12092
5082         * loop.c (emit_prefetch_instructions): Do nothing if PREFETCH_BLOCK
5083         is zero.
5084
5085 2005-01-01  Roger Sayle  <roger@eyesopen.com>
5086             Olivier Hainque  <hainque@act-europe.fr>
5087
5088         * tree.c (int_fits_type_p): A narrower type always fits in a
5089         wider one, except for negative values into unsigned types.
5090
5091 2005-01-01  Roger Sayle  <roger@eyesopen.com>
5092
5093         * tree.c (int_fits_type_p): Compare the result of force_fit_type
5094         with the original constant rather than require TREE_OVERFLOW.
5095
5096 2005-01-01  Steven Bosscher  <stevenb@suse.de>
5097
5098         PR middle-end/17544
5099         * c-decl.c (finish_function): If compiling C99, annotate the
5100         compiler generated return with the current file name and line 0.
5101         * tree-cfg.c (remove_useless_stmts_warn_notreached): Only warn if
5102         the source line is greater than 0.
5103         (remove_bb): Likewise.
5104
5105 See ChangeLog.12 for earlier changes.