re PR middle-end/19551 (pure (complex types) function call removed as dead (LAPACK...
[gcc.git] / gcc / ChangeLog
1 2005-01-24 Jakub Jelinek <jakub@redhat.com>
2
3 * flow.c (propagate_one_insn): Formatting.
4
5 PR middle-end/19551
6 * flow.c (libcall_dead_p): Be more conservative if unsure.
7 If there are any instructions between insn and call, see if they are
8 all dead before saying the libcall is dead.
9
10 2005-01-24 Uros Bizjak <uros@kss-loka.si>
11
12 * config/i386/i386.md (*extendsfdf2_sse): Use "nonimmediate_operand"
13 operand constraint for operand 0.
14
15 2005-01-23 Richard Henderson <rth@redhat.com>
16
17 PR 19486
18 * tree-complex.c (expand_complex_div_wide): Set EDGE_FALLTHRU on
19 edges leading to join block.
20
21 2005-01-23 Roger Sayle <roger@eyesopen.com>
22
23 * expmed.c (expand_mult_highpart): Make static. Change type of
24 constant multiplier argument from unsigned HOST_WIDE_INT to rtx.
25 (expand_divmod): Updates calls to expand_mult_highpart by using
26 gen_int_mode to pass a CONST_INT rtx.
27 * rtl.h (expand_mult_highpart): Remove prototype.
28
29 2005-01-23 Kazu Hirata <kazu@cs.umass.edu>
30
31 * flow.c (regset_bytes, regset_size): Remove.
32
33 * cfganal.c: Fix a reference to Harvey's paper.
34
35 2005-01-23 Steven Bosscher <stevenb@suse.de>
36
37 PR rtl-optimization/19464
38 * tree-optimize.c (init_tree_optimization_passes): Add one more
39 copyrename pass just before out-of-ssa.
40
41 2005-01-23 Joseph S. Myers <joseph@codesourcery.com>
42
43 PR bootstrap/18058
44 * recog.c (recog_memoized): Don't define if GENERATOR_FILE.
45 * ggc-none.c (ggc_free): Define.
46
47 2005-01-23 Kazu Hirata <kazu@cs.umass.edu>
48
49 * cse.c (max_reg, max_insn_uid): Remove.
50 (cse_main): Don't access max_reg or max_insn_uid.
51
52 * c-common.c (explicit_flag_signed_bitfields,
53 lang_statement_code_p, lang_expand_function_end): Remove.
54 * c-common.h: Remove the corresponding declarations.
55 * c-opts.c (c_common_handle_option): Remove all write access
56 to explicit_flag_signed_bitfields.
57
58 * cgraph.c (cgraph_varpool_n_nodes): Remove.
59 (cgraph_varpool_node): Don't access cgraph_varpool_n_nodes.
60 * cgraph.h: Remove the corresponding declaration.
61
62 * gcse.c (null_pointer_info): Remove.
63
64 2005-01-23 Roger Sayle <roger@eyesopen.com>
65 Eric Botcazou <ebotcazou@libertysurf.fr>
66
67 * combine.c (simplify_logical): Only simplify logical expressions
68 of the form ior(and(x,y),z) by the inverse distributive law if the
69 result is cheaper than the original.
70
71 2005-01-23 Kazu Hirata <kazu@cs.umass.edu>
72
73 * alias.c, c-common.h, c-incpath.c, c-incpath.h, expr.c,
74 fold-const.c, gimplify.c, params.h, tree-data-ref.c,
75 tree-if-conv.c, tree-nested.c, tree-outof-ssa.c,
76 tree-ssa-dom.c, tree-vectorizer.c, tree.def, config/darwin.c,
77 config/freebsd-spec.h, config/arm/arm.h,
78 config/h8300/h8300.md, config/i386/i386.md,
79 config/i386/predicates.md, config/i386/sse.md,
80 config/ia64/ia64.c, config/ip2k/ip2k.c, config/s390/s390.c,
81 config/vax/vax.md: Fix comment typos. Follow spelling
82 conventions.
83
84 2005-01-23 Steven Bosscher <stevenb@suse.de>
85
86 * gengtype.c (walk_type): Produce `not equal to' compares for loop
87 tests, instead of `less than'.
88
89 2005-01-23 Richard Sandiford <rsandifo@redhat.com>
90
91 * function.c (assign_parm_setup_block): When creating a new stack slot
92 for a parameter, get its alignment from the parameter's DECL_ALIGN
93 rather than the type's TYPE_ALIGN. Make sure that the parameter
94 is at least word aligned.
95
96 2005-01-22 Roger Sayle <roger@eyesopen.com>
97
98 PR middle-end/19378
99 * config/avr/avr.c (avr_hard_regno_mode_ok): Rewrite.
100
101 2005-01-22 Richard Henderson <rth@redhat.com>
102
103 PR target/19506
104 * config/i386/i386.md (movsfcc_1_sse_max): Use nonimmediate_operand
105 in both compare operands.
106 (movdfcc_1_sse_max): Likewise.
107 (movsfcc_1_sse): Likewise. Add earlyclobber for scratch.
108 (movdfcc_1_sse): Likewise.
109 * config/i386/i386.c (ix86_split_sse_movcc): Emit copies into the
110 scratch register as needed.
111
112 2005-01-22 Richard Henderson <rth@redhat.com>
113
114 * config/i386/i386.md (smaxsf3): Fix mnemonic typo.
115
116 * config/i386/i386.c (ix86_prepare_fp_compare_args): Fix is_sse test.
117
118 2005-01-22 Richard Henderson <rth@redhat.com>
119
120 * genopinit.c (optabs): Use smin/smax for floating point too.
121 * doc/md.texi: Update to match. Clarify that floating point
122 results are undefined for +0/-0 and NaN.
123 * doc/rtl.texi: Likewise.
124 * rtl.def (SMIN, SMAX): Likewise
125 * tree.def (MIN_EXPR, MAX_EXPR): Likewise.
126
127 * config/alpha/alpha.md (smaxdf3, smindf3, smaxsf3, sminsf3): Add
128 leading 's' to the name.
129 * config/ia64/ia64.md (smaxsf3, sminsf3, smaxdf3, smindf3,
130 smaxxf3, sminxf3): Likewise.
131 * config/rs6000/rs6000.md (smaxdf3, smindf3, smaxsf3, sminsf3):
132 Likewise.
133
134 2005-01-22 Paul Brook <paul@codesourcery.com>
135
136 * config/arm/arm.md: Use "Uy" constraint for wcgr load/stores.
137
138 2005-01-21 Mark Dettinger <dettinge@de.ibm.com>
139
140 * config/s390/s390.c (struct processor_costs): New fields
141 dlgr, dlr, dr, dsgfr, dsgr.
142 (z900_cost, z990_cost): Values for new fields.
143 (s390_rtx_costs): New cases MEM und COMPARE in switch
144 statement. Modified handling of SIGN_EXTEND, ZERO_EXTEND,
145 DIV, MOD, UDIV, UMOD.
146
147 2005-01-21 Ulrich Weigand <uweigand@de.ibm.com>
148
149 * config/s390/s390.md ("doloop_si64"): Reload input value directly
150 into the register being decremented.
151 ("doloop_si31", "doloop_di"): Likewise.
152 ("*doloop_si_long"): Adapt pattern.
153
154 2005-01-21 Ulrich Weigand <uweigand@de.ibm.com>
155
156 * config/s390/s390.h (HARD_REGNO_NREGS): Fix computation for
157 access registers.
158 (CLASS_MAX_NREGS): Likewise.
159
160 2005-01-21 Daniel Berlin <dberlin@dberlin.org>
161
162 * doc/tree-ssa.texi (Statement Operands): Add example for new
163 must-def macro. Note deprecation of old operands interface.
164
165 2005-01-22 Richard Sandiford <rsandifo@redhat.com>
166
167 PR tree-optimization/19484
168 * tree-cfg.c (remove_fallthru_edge): New function.
169 (cleanup_control_flow): Remove fallthru edges from calls that are
170 now known not to return.
171
172 2005-01-20 Daniel Berlin <dberlin@dberlin.org>
173
174 Fix PR tree-optimization/19038
175 * tree-ssa-dom.c (cprop_operand): Don't replace loop invaeriant
176 copies with loop variant ones.
177
178 2005-01-22 Kazu Hirata <kazu@cs.umass.edu>
179
180 * cfganal.c, real.h, reorg.c, timevar.def, tree-ssa-ccp.c,
181 config/alpha/alpha-protos.h, config/alpha/alpha.h,
182 config/alpha/alpha.md, config/alpha/predicates.md,
183 config/sparc/freebsd.h, config/sparc/netbsd-elf.h,
184 config/sparc/sol2.h: Update copyright.
185
186 * tree-cfg.c (remove_forwarder_block_with_phi): Look at the
187 first label to see if it is a nonlocal label.
188
189 2005-01-22 David Edelsohn <edelsohn@gnu.org>
190 Andrew Pinski <pinskia@physics.uc.edu>
191
192 PR target/19491
193 * config/rs6000/rs6000.c (rs6000_va_start): Saturate n_gpr at
194 maximum number of GPRs. Saturate n_fpr at maximum number of FPRs.
195
196 2005-01-22 Ralf Corsepius <ralf.corsepius@rtems.org>
197
198 * config/rs6000/rtems.h: Update copyright.
199
200 2005-01-22 Ralf Corsepius <ralf.corsepius@rtems.org>
201
202 PR target/19548
203 * config/rs6000/rtems.h: Resurrect cpp_os_rtems_spec from gcc < 3.4.
204 (CPP_OS_RTEMS_SPEC): New (From gcc-3.3's config/rs6000/sys4.h).
205 (SUBSUBTARGET_EXTRA_SPECS): Use CPP_OS_RTEMS_SPEC.
206
207 2005-01-22 Volker Reichelt <reichelt@igpm.rwth-aachen.de>
208
209 PR c/18809
210 * c-typeck.c (convert_arguments): Check for error_mark_node.
211
212 2005-01-21 Ian Lance Taylor <ian@airs.com>
213
214 PR tree-optimization/13000
215 * tree-inline.c: Include "tree-flow.h".
216 (expand_call_inline): If warn_return_type, warn if non-void inline
217 function falls through.
218 * tree-cfg.c (execute_warn_function_return): Don't warn about
219 control reaching end if TREE_NO_WARNING is set. Set
220 TREE_NO_WARNING.
221 * gimple-low.c (block_may_fallthru): Don't assume that SWITCH_EXPR
222 has been lowered.
223 * gimplify.c (shortcut_cond_expr): Don't emit a jump over the else
224 branch if we don't need one.
225 * c-typeck.c: Include "tree-flow.h"
226 (c_finish_bc_stmt): Don't add a goto if the current statement
227 list doesn't fall through to the current point.
228
229 2005-01-21 Roger Sayle <roger@eyesopen.com>
230
231 PR rtl-optimization/576
232 * real.c (real_arithmetic): Change return type from void to bool
233 to return an indication that the result may be inexact.
234 * real.h (real_arithmeric): Update prototype.
235 * fold-const.c (const_binop): Don't constant fold floating
236 point expressions when the user specifies -frounding-math and
237 the result may depend upon the run-time rounding mode.
238 (fold_convert_const_real_from_real): Clean-up.
239 (fold_initializer): Ignore flag_rounding_math for initializers.
240 * simplify-rtx.c (simplify_binary_operation): Likewise, don't
241 constant fold FP operations with flag_rounding_math if the
242 result may depend upon the run-time rounding mode.
243
244 2005-01-21 Tom Tromey <tromey@redhat.com>
245
246 * c-cppbuiltin.c (define__GNUC__): Correct assertion.
247
248 2005-01-21 Kazu Hirata <kazu@cs.umass.edu>
249
250 * tree-cfg.c: Fix comment typos.
251
252 2005-01-21 J"orn Rennecke <joern.rennecke@st.com>
253
254 * passes.c (rest_of_handle_flow2): Close / open the flow2 dump file
255 around the call to rest_of_handle_branch_target_load_optimize.
256
257 2005-01-21 Eric Botcazou <ebotcazou@libertysurf.fr>
258
259 * config.gcc (sparc-*-netbsdelf*): Include dbxelf.h
260 (sparc64-*-openbsd*): Likewise.
261 (sparclite-*-elf*): Include tm-dwarf2.h.
262 (sparc86x-*-elf*): Likewise.
263 (sparc64-*-elf*): Likewise.
264 * config/sparc/linux64.h (DWARF2_DEBUGGING_INFO): Delete.
265 (DBX_DEBUGGING_INFO): Likewise.
266 * config/sparc/liteelf.h (DWARF2_DEBUGGING_INFO): Likewise.
267 (PREFERRED_DEBUGGING_TYPE): Likewise.
268 * config/sparc/netbsd-elf.h (PREFERRED_DEBUGGING_TYPE): Likewise.
269 * config/sparc/sp64-elf.h (DBX_DEBUGGING_INFO): Likewise.
270 (PREFERRED_DEBUGGING_TYPE): Likewise.
271 * config/sparc/sp86x-elf.h (DWARF2_DEBUGGING_INFO): Likewise.
272 (PREFERRED_DEBUGGING_TYPE): Likewise.
273 * config/sparc/sparc.h (DBX_DEBUGGING_INFO): Likewise.
274
275 2005-01-21 Hans-Peter Nilsson <hp@bitrange.com>
276
277 PR target/18701
278 * combine.c (combine_simplify_rtx): Revert change of 2004-12-31.
279
280 2005-01-20 Paul Brook <paul@codesourcery.com>
281
282 * doc/rtl.texi: Document value extension requirements for CONST_INT.
283
284 2005-01-20 Kazu Hirata <kazu@cs.umass.edu>
285
286 * tree-cfg.c (tree_verify_flow_info): Check that a nonlocal
287 label is first in a sequence of labels.
288
289 * tree-cfg.c (tree_verify_flow_info): Fix a typo.
290
291 2005-01-20 Janis Johnson <janis187@us.ibm.com>
292 Giovanni Bajo <giovannibajo@gcc.gnu.org>
293
294 * doc/sourcebuild.texi (Test Directives): New.
295
296 2005-01-20 Roger Sayle <roger@eyesopen.com>
297
298 * real.c (real_floor): Don't leave the result uninitialized when
299 mode is VOIDMode, but return the unrounded intermediate value.
300 (real_ceil): Likewise.
301
302 2005-01-20 Paul Brook <paul@codesourcery.com>
303
304 * config/arm/arm.md (insv): Use gen_int_mode.
305
306 2005-01-20 Eric Botcazou <ebotcazou@libertysurf.fr>
307
308 * config/sparc/freebsd.h (ASM_OUTPUT_INTERNAL_LABELREF): Delete.
309 * config/sparc/linux.h (ASM_OUTPUT_INTERNAL_LABELREF): Likewise.
310 * config/sparc/linux64.h (ASM_OUTPUT_INTERNAL_LABELREF): Likewise.
311 * config/sparc/netbsd-elf.h (ASM_OUTPUT_INTERNAL_LABELREF): Likewise.
312 * config/sparc/sol2.h (ASM_OUTPUT_INTERNAL_LABELREF): Likewise.
313
314 2005-01-20 Daniel Berlin <dberlin@dberlin.org>
315
316 Fix PR debug/19124
317 * dwarf2out.c (concat_loc_descriptor): We don't know we can use
318 fbreg, so we have to assume we can't.
319 (loc_descriptor_from_tree_1): Ditto.
320 (containing_function_has_frame_base): New function.
321 (add_location_or_const_value_attribute): Use it.
322 Also try to generate a frame_base from a single element location
323 list.
324
325 2005-01-20 Kazu Hirata <kazu@cs.umass.edu>
326
327 PR tree-optimization/15349
328 * timevar.def (TV_TREE_MERGE_PHI): New.
329 * tree-cfg.c (tree_forwarder_block_p): Add a new argument
330 PHI_WANTED.
331 (remove_forwarder_block, cleanup_forwarder_blocks): Adjust the
332 calls to tree_forwarder_block_p.
333 (remove_forwarder_block_with_phi, merge_phi_nodes,
334 gate_merge_phi, pass_merge_phi): New.
335 * tree-optimize.c (init_tree_optimization_passes): Add
336 pass_merge_phi.
337 * tree-pass.h: Add an extern for pass_merge_phi;
338
339 2005-01-20 Richard Henderson <rth@redhat.com>
340
341 PR target/19418
342 * config/i386/emmintrin.h (_mm_castpd_ps, _mm_castpd_si128): New.
343 (_mm_castps_pd, _mm_castps_si128): New.
344 (_mm_castsi128_ps, _mm_castsi128_pd): New.
345
346 2005-01-20 Richard Henderson <rth@redhat.com>
347
348 PR target/19530
349 * config/i386/mmintrin.h (_mm_cvtsi32_si64): Use
350 __builtin_ia32_vec_init_v2si.
351 (_mm_cvtsi64_si32): Use __builtin_ia32_vec_ext_v2si.
352 * config/i386/i386.c (IX86_BUILTIN_VEC_EXT_V2SI): New.
353 (ix86_init_mmx_sse_builtins): Create it.
354 (ix86_expand_builtin): Expand it.
355 (ix86_expand_vector_set): Handle V2SFmode and V2SImode.
356 * config/i386/mmx.md (vec_extractv2sf_0, vec_extractv2sf_1): New.
357 (vec_extractv2si_0, vec_extractv2si_1): New.
358
359 2005-01-20 Richard Henderson <rth@redhat.com>
360
361 PR target/16533
362 * config/i386/i386.c (ix86_expand_push): New.
363 * config/i386/mmx.md (push<MMXMODE>1): New.
364 * config/i386/sse.md (push<SSEMODE>1): New.
365 * config/i386/i386-protos.h: Update.
366
367 2005-01-20 Kazu Hirata <kazu@cs.umass.edu>
368
369 * params.def, params.h, predict.c, tree-ssa-loop-im.c: Update
370 copyright.
371
372 2005-01-20 Richard Henderson <rth@redhat.com>
373
374 * rtl.def (CONST_VECTOR): Use RTX_CONST_OBJ.
375 * rtl.h (CONSTANT_P): Don't special case CONST_VECTOR.
376
377 2005-01-19 Richard Henderson <rth@redhat.com>
378
379 PR target/19350
380 * config/i386/i386.c (ix86_expand_vector_move_misalign): Convert
381 to V4SFmode in SSE1 fallback load path.
382
383 2005-01-19 Richard Henderson <rth@redhat.com>
384
385 * config/i386/i386.c (ix86_expand_vector_init_one_var): Fix typo
386 in QImode expansion to ix86_expand_vector_set.
387 (ix86_expand_vector_init_general): Fix typo in V8HImode recursive call.
388
389 2005-01-19 Richard Henderson <rth@redhat.com>
390
391 PR target/19511
392 * config/i386/i386.c (ix86_preferred_reload_class): Return a proper
393 subclass of the input class.
394 (ix86_secondary_memory_needed): Always true for cross-MMX classes.
395 Always true for cross-SSE1 classes. Rationalize conditionals.
396 * config/i386/i386.h (SSE_CLASS_P, MMX_CLASS_P): Use straight equality.
397 * config/i386/i386.md (movsi_1): Add MMX/SSE zeros. Fix alternatives
398 for SSE1. Don't check TARGET_INTER_UNIT_MOVES.
399 (movdi_2): Add MMX/SSE zeros.
400 (movdi_1_rex64): Likewise. Don't check TARGET_INTER_UNIT_MOVES.
401 (movsf_1): Don't check TARGET_INTER_UNIT_MOVES.
402 (zero_extendsidi2_32, zero_extendsidi2_rex64): Likewise.
403 (movsi_1_nointernunit, movdi_1_rex64_nointerunit): Remove.
404 (movsf_1_nointerunit, zero_extendsidi2_32_1): Remove.
405 (zero_extendsidi2_rex64_1): Remove.
406 (MOV0 peephole): Check GENERAL_REG_P.
407
408 2005-01-19 Richard Henderson <rth@redhat.com>
409
410 PR target/19427
411 * config/i386/i386.c (ix86_expand_vector_set): Fix third and fourth
412 shufps elements.
413 (ix86_expand_vector_extract): Likewise.
414
415 2005-01-19 Richard Henderson <rth@redhat.com>
416
417 PR middle-end/19304
418 * expr.c (emit_move_change_mode): New argument force; use
419 simplify_gen_subreg if true.
420 (emit_move_via_alt_mode): Merge into ...
421 (emit_move_via_integer): ... here.
422 (emit_move_ccmode): Use emit_move_change_mode directly.
423
424 2005-01-19 Richard Henderson <rth@redhat.com>
425
426 PR target/19518
427 * config/alpha/alpha.c (alpha_rtx_costs): Handle HIGH.
428 (alpha_preferred_reload_class): Handle CONST_VECTOR.
429 (alpha_emit_set_const_1): Add no_output parameter; don't emit
430 rtl if true.
431 (alpha_emit_set_const): Likewise. Make static.
432 (alpha_emit_set_long_const): Make static.
433 (alpha_extract_integer): Split out from alpha_expand_mov.
434 (alpha_split_const_mov): Likewise.
435 (alpha_expand_mov): Use them. Handle CONST_VECTOR.
436 (alpha_legitimate_constant_p): New.
437 * config/alpha/alpha-protos.h: Update.
438 * config/alpha/alpha.h (REGISTER_MOVE_COST): Correct fp<->gp cost.
439 (LEGITIMATE_CONSTANT_P): Re-implement with a function.
440 * config/alpha/alpha.md (movsi): Add n alternative.
441 (movsi_nt_vms, movdi_er_nofix, movdi_er_fix, movdi_fix): Likewise.
442 (mov<VEC>_fix, mov<VEC>_nofix): Add i alternative.
443 (splitters for all of the above): Use alpha_split_const_mov.
444 * config/alpha/predicates.md (non_add_const_operand): New.
445 (non_zero_const_operand): New.
446 (input_operand): Use alpha_legitimate_constant_p after reload.
447
448 2005-01-19 Zdenek Dvorak <dvorakz@suse.cz>
449
450 PR tree-optimization/19038
451 * tree-ssa-loop-ivopts.c (allow_ip_end_pos_p): New function.
452 (add_candidate): Add ivs with increment in latch only if
453 allow_ip_end_pos_p is true.
454 (determine_iv_cost): Use empty_block_p.
455
456 2005-01-19 Daniel Berlin <dberlin@dberlin.org>
457
458 * cfganal.c (compute_dominance_frontiers_1): Replace with new algorithm
459 (compute_dominance_frontiers): Ditto.
460
461 2005-01-19 Ralf Corsepius <ralf.corsepius@rtems.org>
462
463 PR target/19529
464 * config/sh/t-rtems: New.
465 * config.gcc (sh-*-rtems*): Reflect having added config/sh/t-rtems.
466
467 2005-01-19 Zdenek Dvorak <dvorakz@suse.cz>
468
469 * tree-ssa-ccp.c (maybe_fold_offset_to_component_ref): Always subtract
470 the offset of the selected field.
471
472 2005-01-19 Kazu Hirata <kazu@cs.umass.edu>
473
474 * tree-cfg.c (remove_forwarder_block): Fix the check to
475 prevent a nonlocal label from appearing in the middle of a
476 basic block.
477
478 2005-01-19 Hans-Peter Nilsson <hp@axis.com>
479
480 PR rtl-optimization/19462
481 * reorg.c (find_end_label): Create return insn only if
482 current_function_epilogue_delay_list is empty.
483
484 2005-01-19 Paolo Bonzini <bonzini@gnu.org>
485
486 * doc/passes.texi: Remove paragraph mentioning new-ra.
487
488 2005-01-19 Jakub Jelinek <jakub@redhat.com>
489
490 PR rtl-optimization/15139
491 * combine.c: Include params.h.
492 (count_rtxs): New function.
493 (record_value_for_reg): If replace_rtx would replace at least
494 2 occurrences of REG in VALUE and TEM is really large, replace REG with
495 (clobber (const_int 0)) instead of TEM.
496 * params.def (PARAM_MAX_LAST_VALUE_RTL): New.
497 * params.h (MAX_LAST_VALUE_RTL): New.
498 * Makefile.in (combine.o): Depend on $(PARAMS_H).
499 * doc/invoke.texi (--param max-last-value-rtl=N): Document.
500
501 PR c/17297
502 * c-typeck.c (digest_init): Only call build_vector if all constructor
503 elements are *_CST nodes.
504 * gimplify.c (gimplify_init_constructor): Likewise.
505
506 PR middle-end/19164
507 * c-typeck.c (digest_init): Only call build_vector if inside_init
508 is a CONSTRUCTOR.
509
510 2005-01-18 Tobias Schl"uter <tobias.schlueter@physik.uni-muenchen.de>
511
512 * toplev.c (init_asm_output): Remove dead #ifdef.
513
514 2005-01-18 Kaz Kojima <kkojima@gcc.gnu.org>
515
516 * config/sh/linux.h (TARGET_C99_FUNCTIONS): Define.
517
518 2005-01-18 Eric Botcazou <ebotcazou@libertysurf.fr>
519
520 * calls.c (expand_call): Check DECL_BUILT_IN_CLASS before
521 accessing DECL_FUNCTION_CODE.
522 * dojump.c (do_jump): Likewise.
523 * gimplify.c (gimplify_call_expr): Likewise.
524 * predict.c (expr_expected_value): Likewise.
525 (strip_builtin_expect): Likewise.
526 * tree-inline.c (estimate_num_insns_1): Likewise.
527 * tree-ssa-loop-im.c (stmt_cost): Likewise
528 * fold-const.c (fold): Test for BUILT_IN_NORMAL.
529 (tree_expr_nonnegative_p): Likewise.
530
531 2005-01-18 Eric Botcazou <ebotcazou@libertysurf.fr>
532
533 * config/sparc/sparc.c (load_pic_register): Emit the appropriate
534 variant of the load_pcrel_sym pattern.
535 * config/sparc/sparc.md (P macro): Move to the top.
536 (load_pcrel_sym): Macroize using P.
537 (save_register_window): Likewise.
538
539 2005-01-18 Aldy Hernandez <aldyh@redhat.com>
540
541 * config/rs6000/rs6000.md ("sunordered"): Disable for e500.
542 ("sordered"): Same.
543
544 2005-01-18 Andrew Pinski <pinskia@physics.uc.edu>
545
546 PR C/19472
547 * c-typeck.c (build_asm_expr): Strip nops off
548 input memory operands.
549
550 2005-01-18 David Edelsohn <edelsohn@gnu.org>
551
552 * config/rs6000/aix43.h (CPLUSPLUS_CPP_SPEC): Delete
553 _XOPEN_SOURCE, _XOPEN_SOURCE_EXTENDED, _LARGE_FILE_API.
554 * config/rs6000/aix51.h (CPLUSPLUS_CPP_SPEC): Same.
555 * config/rs6000/aix52.h (CPLUSPLUS_CPP_SPEC): Same.
556
557 2005-01-18 Joel Sherrill <joel.sherrill@oarcorp.com>
558
559 PR target/19379
560 * config/i386/i386.c (override_options): If the 80387 is disabled,
561 then do not return FP values using FP registers.
562
563 2005-01-18 Kazu Hirata <kazu@cs.umass.edu>
564
565 * basic-block.h, c-common.c, c-cppbuiltin.c, c-lang.c,
566 c-tree.h, cfgbuild.c, cgraph.c, cgraph.h, collect2.c,
567 combine.c, config.gcc, coverage.h, cse.c, cselib.c,
568 defaults.h, df.c, dwarf2asm.c, dwarf2out.c, explow.c, expr.c,
569 flow.c, fold-const.c, gcse.c, ggc-page.c, gimple-low.c,
570 gimplify.c, ifcvt.c, langhooks-def.h, lcm.c, optabs.h,
571 output.h, postreload-gcse.c, postreload.c, recog.c,
572 resource.c, rtl.def, rtlanal.c, sched-deps.c, sched-rgn.c,
573 targhooks.h, toplev.c, tree-data-ref.c, tree-eh.c,
574 tree-flow.h, tree-loop-linear.c, tree-mudflap.h, tree-nrv.c,
575 tree-optimize.c, tree-outof-ssa.c, tree-pass.h,
576 tree-scalar-evolution.c, tree-ssa-copy.c, tree-ssa-dce.c,
577 tree-ssa-dse.c, tree-ssa-loop-ivopts.c, tree-ssa-operands.c,
578 tree-ssa-pre.c, tree-ssa.c, tree-vectorizer.c, tree.def,
579 unwind-dw2-fde-darwin.c, var-tracking.c: Update copyright.
580
581 * config/darwin.c, config/darwin.h, config/freebsd-spec.h,
582 config/alpha/alpha.c, config/arm/vfp.md,
583 config/i386/emmintrin.h, config/i386/i386-modes.def,
584 config/i386/i386-protos.h, config/i386/i386.h,
585 config/i386/pmmintrin.h, config/i386/ppro.md,
586 config/i386/predicates.md, config/i386/xmmintrin.h,
587 config/i860/i860.c, config/ia64/ia64-modes.def,
588 config/ia64/ia64-protos.h, config/ia64/ia64.h,
589 config/ia64/ia64.md, config/ia64/itanium1.md,
590 config/ia64/itanium2.md, config/ia64/predicates.md,
591 config/iq2000/iq2000.h, config/mips/linux64.h,
592 config/rs6000/aix41.h, config/rs6000/aix43.h,
593 config/rs6000/aix52.h, config/rs6000/darwin-fallback.c,
594 config/rs6000/rs6000.c, config/rs6000/rs6000.h,
595 config/rs6000/spe.md, config/sh/sh.md, config/sparc/linux.h,
596 config/sparc/linux64.h, config/sparc/litecoff.h,
597 config/sparc/sp64-elf.h, config/sparc/sparc.c,
598 config/sparc/sparc.h, config/sparc/sparc.md,
599 config/sparc/sysv4-only.h: Update copyright.
600
601 2005-01-18 Richard Henderson <rth@redhat.com>
602
603 PR target/19496
604 * config/i386/i386.c (ix86_expand_fp_movcc): Fail for LTGT and UNEQ.
605
606 2005-01-18 Marc Espie <espie@openbsd.org>
607 * config/i386/openbsdelf.h: Typo.
608
609 2005-01-18 Richard Henderson <rth@redhat.com>
610
611 * config/i386/i386.c (ix86_expand_fp_movcc): Remove TARGET_IEEE_FP
612 special case for sse.
613 * config/i386/predicates.md (sse_comparison_operator): Likewise.
614
615 2005-01-18 Dorit Naishlos <dorit@il.ibm.com>
616
617 * tree-inline.c (estimate_num_insns_1): Added cases for
618 ALIGN_INDIRECT_REF, MISALIGNED_INDIRECT_REF, and REALIGN_LOAD_EXPR.
619
620 2005-01-18 Eric Botcazou <ebotcazou@libertysurf.fr>
621
622 PR rtl-optimization/19296
623 * combine.c (simplify_comparison): Rewrite the condition under
624 which a non-paradoxical SUBREG of a PLUS can be lifted when
625 compared against a constant.
626
627 2005-01-18 Andi Kleen <ak@muc.de>
628
629 * c-typeck.c: (convert_for_assignment): Check warn_pointer_sign.
630 * c.opt (-Wpointer-sign): Add.
631 * doc/invoke.texi: (-Wpointer-sign): Add.
632
633 2005-01-18 Uros Bizjak <uros@kss-loka.si>
634
635 * config/i386/i386.c (override_options): Revert 2004-11-24 change.
636 * config/i386/i386.md (fmodsf3, dremsf3, *sinsf2, *cossf2, sincossf3,
637 *tansf3_1, tansf2, atan2sf3_1, atan2sf3, atansf2, asinsf2, acossf2,
638 logsf2, log10sf2, log2sf2, log1psf2, logbsf2, ilogbsf2, expsf2,
639 exp10sf2, exp2sf2, expm1sf2, rintsf2, floorsf2, ceilsf2, btruncsf2,
640 nearbyintsf2): Disable for TARGET_SSE_MATH. Leave patterns enabled
641 for TARGET_MIX_SSE_I387.
642 (fmoddf3, dremdf3, *sindf2, *sinextendsfdf2, *cosdf2, *cosextendsfdf2,
643 sincosdf3, *sincosextendsfdf3, *tandf3_1, tandf2, atan2df3_1,
644 atan2df3, atandf2, asindf2, acosdf2, logdf2, log10df2, log2df2,
645 log1pdf2, logbdf2, expdf2, exp10df2, exp2df2, expm1df2, rintdf2,
646 floordf2, ceildf2, btruncdf2, nearbyintdf2): Disable for
647 (TARGET_SSE2 && TARGET_SSE_MATH). Leave patterns enabled for
648 TARGET_MIX_SSE_I387.
649 (atan2sf3, atan2df3, atan2xf3): Remove register constraints
650 from expander.
651
652 2005-01-18 Uros Bizjak <uros@kss-loka.si>
653
654 PR target/19424
655 * config/i386/mmx.md (*movv2sf_internal_rex64, *movv2sf_internal):
656 Add movaps alternative for xmm reg->reg move.
657
658 2005-01-17 Jeff Law <law@redhat.com>
659
660 * tree-ssa-dom.c (tree_ssa_dominator_optimize): Clear SSA_NAME_VALUE
661 at the end of the main DOM loop rather than just before DOM exits.
662
663 2005-01-17 Diego Novillo <dnovillo@redhat.com>
664
665 PR tree-optimization/19121
666 * tree-ssa-alias.c (compute_flow_sensitive_aliasing): When
667 adding aliases to a name tag, also add them to the pointer's
668 type tag.
669 * tree-ssa-copy.c (merge_alias_info): Do not merge flow
670 sensitive alias info at all. Only check that the two pointers
671 have compatible pointed-to sets.
672 * tree-ssa.c (verify_name_tags): Verify that the alias set of
673 a pointer's type tag is a superset of the alias set of the
674 pointer's name tag.
675
676 2005-01-17 James E Wilson <wilson@specifixinc.com>
677
678 PR target/19357
679 * config/ia64/ia64.md (movxf): Handle general register source. Adjust
680 comment to document why.
681
682 2005-01-17 Richard Henderson <rth@redhat.com>
683
684 * config/i386/sse.md (smaxv4sf3_finite, sse_vmsmaxv4sf3_finite,
685 sminv4sf3_finite, sse_vmsminv4sf3_finite, smaxv2df3_finite,
686 sse2_vmsmaxv2df3_finite, sminv2df3_finite,
687 sse2_vmsminv2df3_finite): New.
688 (smaxv4sf3, sse_vmsmaxv4sf3, sminv4sf3, sse_vmsminv4sf3, smaxv2df3,
689 sse2_vmsmaxv2df3, sminv2df3, sse2_vmsminv2df3): Remove commutative.
690 Force op1 into register.
691
692 2005-01-17 Kelley Cook <kcook@gcc.gnu.org>
693
694 * Makefile.in (STAGEMOVESTUFF): Stage all the stamp files to prevent
695 bubblestrap from always rebuilding build directory.
696
697 2005-01-17 Ulrich Weigand <uweigand@de.ibm.com>
698
699 * config/s390/s390.md ("*clc"): Remove incorrect '='.
700 ("*cmpmem_short"): Likewise.
701
702 2005-01-17 Steven Bosscher <stevenb@suse.de>
703
704 * basic-block.h: Document BB_* flags.
705 * regrename.c (copyprop_hardreg_forward): Don't use BB_VISITED,
706 use an sbitmap instead.
707 * sched-rgn.c (compute_trg_info): Likewise.
708
709 2005-01-17 Richard Sandiford <rsandifo@redhat.com>
710
711 * config.gcc (mips64*-*-linux*): Set the default abi to n32. Remove
712 redundant target_cpu_default and extra_parts lines. Use the default
713 "from-abi" ISA.
714 * config/mips/linux64.h (DRIVER_DEFAULT_ABI_SELF_SPEC): Delete.
715 (SUBTARGET_EXTRA_SPECS): Delete.
716 (DRIVER_SELF_SPECS): Remove architecture lines. Set the ABI directly.
717 (SUBTARGET_ASM_SPEC): Remove -mabi=n32 and -mabi=64 mappings.
718 * config/mips/t-linux64 (MULTILIB_DIRNAMES): Use "32" for -mabi=32
719 and "n32" for -mabi=n32.
720
721 2005-01-17 Ian Lance Taylor <ian@airs.com>
722
723 PR c/5675
724 * c-typeck.c (build_c_cast): Revert patch of 2003-02-16: don't
725 fold constant variables into initial values.
726
727 2005-01-17 Kazu Hirata <kazu@cs.umass.edu>
728
729 * tree-cfg.c (tree_can_merge_blocks_p): Reorder two checks.
730
731 * tree-cfg.c (tree_forwarder_block_p): Speed up by walking
732 through the statements backward.
733
734 2005-01-17 Ian Lance Taylor <ian@airs.com>
735
736 PR middle-end/13127:
737 * tree-inline.c (expand_call_inline): Set TREE_NO_WARNING on
738 a variable set to the return value of the inlined function.
739
740 2005-01-17 Mark Dettinger <dettinge@de.ibm.com>
741
742 * rtlanal.c (rtx_cost): Assign cost of 0 to a SUBREG
743 when modes are tieable.
744
745 2005-01-17 Ranjit Mathew <rmathew@hotmail.com>
746
747 * gthr-posix.h (__gthread_active_p): Use pthread_cancel instead
748 of pthread_create to find out if threads are enabled.
749 * gthr-posix95.h (__gthread_active_p): Likewise.
750
751 2005-01-17 Paolo Bonzini <bonzini@gnu.org>
752
753 * common.opt (-fnew-ra): Remove.
754 * ra*.*: Remove.
755 * toplev.h (flag_new_regalloc): Remove.
756 * Makefile.in (ra*.*): Don't mention.
757 * passes.c (rest_of_handle_new_regalloc): Remove.
758 (rest_of_handle_combine, rest_of_compilation): Always consider
759 flag_new_regalloc as false.
760 * doc/invoke.texi: Don't document -fnew-ra.
761
762 2005-01-17 Paolo Bonzini <bonzini@gnu.org>
763
764 * bb-reorder.c (fix_edges_for_rarely_executed_code): Remove
765 last parameter to reg_scan.
766 * loop.c (loop_optimize): Likewise.
767 * passes.c (rest_of_handle_tracer, rest_of_handle_if_conversion,
768 rest_of_handle_web, rest_of_handle_cfg, rest_of_handle_jump_bypass,
769 rest_of_handle_life, rest_of_handle_cse, rest_of_handle_cse2,
770 rest_of_handle_gcse, rest_of_handle_loop_optimize,
771 rest_of_handle_loop2, rest_of_handle_jump2): Likewise.
772 * regclass.c (reg_scan): Likewise, for the declaration.
773 * rtl.h (reg_scan): Likewise, for the prototype.
774
775 2005-01-17 Kazu Hirata <kazu@cs.umass.edu>
776
777 * tree-ssa-dom.c (tree_ssa_dominator_optimize): Don't call
778 mark_dfs_back_edges.
779
780 2005-01-16 Daniel Berlin <dberlin@dberlin.org>
781
782 * tree-ssa-pre.c (add_to_sets): s1 may be NULL.
783 (compute_avail): Uses don't go in tmp_gen.
784
785 2005-01-16 Steven Bosscher <stevenb@suse.de>
786
787 * ggc-page.c (ggc_alloc_stat): Use __builtin_ctzl instead of a
788 loop to look for a free slot in a page entry.
789
790 2005-01-16 John David Anglin <dave.anglin@nrc-cnrc.gc.ca>
791
792 PR target/16304
793 * defaults.h (TARGET_DEFERRED_OUTPUT_DEFS): Provide default.
794 * toplev.c (compile_file): Call process_pending_assemble_output_defs
795 just before targetm.asm_out.file_end.
796 * tree.h (process_pending_assemble_output_defs): Declare.
797 * varasm.c (assemble_output_def, process_pending_assemble_output_defs):
798 New functions.
799 (assemble_alias): Defer generation of assembly code for defines when
800 TARGET_DEFERRED_OUTPUT_DEFS is true.
801 * config/rs6000/aix41.h (TARGET_DEFERRED_OUTPUT_DEFS): Define.
802 * config/rs6000/aix43.h (TARGET_DEFERRED_OUTPUT_DEFS): Define.
803 * doc/tm.texi (TARGET_DEFERRED_OUTPUT_DEFS): document.
804
805 2005-01-15 John David Anglin <dave.anglin@nrc-cnrc.gc.ca>
806
807 PR target/19336
808 * pa.c (pa_scalar_mode_supported_p): New function.
809 (TARGET_SCALAR_MODE_SUPPORTED_P): Define.
810 * pa.h (MIN_UNITS_PER_WORD): Add comment.
811
812 * pa-protos.h (prefetch_operand): Delete.
813 (prefetch_cc_operand, prefetch_nocc_operand): New declations.
814 * pa.c (prefetch_operand): Delete.
815 (prefetch_cc_operand, prefetch_nocc_operand): New functions.
816 * pa.h (EXTRA_CONSTRAINT): Add `W' constraint.
817 (PREDICATE_CODES): Delete prefetch_operand. Add prefetch_cc_operand
818 and prefetch_nocc_operand.
819 * pa.md (prefetch): Rework to avoid reload problems handling short
820 displacements when a cache control completer needs to be provided.
821 (prefetch_32, prefetch_64): Delete.
822 (prefetch_cc, prefetch_nocc): New patterns.
823
824 2005-01-15 David Edelsohn <edelsohn@gnu.org>
825
826 * config/rs6000/aix52.h (CPLUSPLUS_CPP_SPEC): Revert previous change.
827
828 2005-01-15 John David Anglin <dave.anglin@nrc-cnrc.gc.ca>
829
830 PR ada/19388
831 * pa.c (pa_asm_output_aligned_common): Warn if specified alignment
832 exceeds maximum alignment for global common data.
833 * pa64-hpux.h (MAX_OFILE_ALIGNMENT): Define to 32768.
834 * som.h (MAX_OFILE_ALIGNMENT): Likewise.
835
836 2004-01-15 Roger Sayle <roger@eyesopen.com>
837
838 * tree-ssa-dom.c (extract_range_from_cond): Correct condition.
839
840 2004-01-15 Roger Sayle <roger@eyesopen.com>
841
842 * harg-reg-set.h (reg_class_names): Prototype global array.
843 * regclass.c (reg_class_names): Declare here and initialize to
844 REG_CLASS_NAMES.
845 (dump_regclass): Remove local declaration of reg_class_names.
846 (regclass): Likewise.
847 * cfg.c (dump_flow_info): Likewise.
848 * ra-debug.c (reg_class_names): Likewise.
849 * regrename.c (reg_class_names): Likewise.
850 * reload.c (reg_class_names): Likewise.
851 * reload1.c (spill_failure): Likewise.
852 * config/m68hc11/m68hc11.c (reg_class_names): Likewise.
853
854 2005-01-15 Ulrich Weigand <uweigand@de.ibm.com>
855
856 * config/s390/s390.md ("reload_outti"): Remove predicate for
857 output operand. Abort if operand is not a MEM.
858 ("reload_outdi", "reload_outdf"): Likewise.
859
860 2005-01-15 Marc Espie <espie@openbsd.org>
861
862 * config.gcc (*-*-openbsd*): Set HAS_LIBC_R for OpenBSD <= 3.2.
863 (i[34567]86-*-openbsd*): Switch to ELF for OpenBSD >= 3.4.
864 * config/openbsd.h: Fix C++ includes for native configurations.
865 Add proper OS_CPP_BUILTINS. Fix libspec for recent OpenBSD.
866 Add trampoline support.
867 * config/i386/openbsdelf.h: New.
868
869 2005-01-15 Marc Espie <espie@openbsd.org>
870
871 * collect2.c (main): Explicitly parse -dynamic-linker option.
872
873 2005-01-15 Jakub Jelinek <jakub@redhat.com>
874
875 PR tree-optimization/19060
876 * tree-ssa-dom.c (extract_range_from_cond) <case LT_EXPR, GT_EXPR>:
877 Return 0 if op1 <= TYPE_MIN_VALUE () resp. op1 >= TYPE_MAX_VALUE ().
878 (simplify_cond_and_lookup_avail_expr): Add assert for dummy == 0
879 and handle extract_range_from_cond returning false.
880 * fold-const.c (fold): Optimize comparisons with min/max even for
881 width > HOST_BITS_PER_WIDE_INT.
882
883 2005-01-15 Ralf Corsepius <ralf.corsepius@rtems.org>
884
885 * config/mips/rtems.h (MIPS_DEFAULT_GVALUE): Set to 0.
886 * config/mips/t-rtems (MULTILIBS_DIRNAMES,MULTILIB_OPTIONS):
887 Remove little endian multilib variants.
888 Add mips32 multilib variant.
889
890 2005-01-15 Kazu Hirata <kazu@cs.umass.edu>
891
892 * explow.c (copy_all_reg, stabilize): Remove.
893 * expr.h: Remove the corresponding prototypes.
894
895 * rtlanal.c (regs_set_between_p): Remove.
896 * rtl.h: Remove the corresponding prototype.
897
898 2005-01-14 David Edelsohn <edelsohn@gnu.org>
899
900 * config/rs6000/rs6000.c (rs6k_nonimmediate_operand): Rename
901 to rs6000_nonimmediate_operand.
902 * config/rs6000/rs6000.h (PREDICATE_CODES): Rename
903 rs6k_nonimmediate_operand to rs6000_nonimmediate_operand.
904 * config/rs6000/rs6000.md (movsi_internal1): Rename predicate to
905 rs6000_nonimmediate_operand.
906 * config/rs6000/spe.md (movdf_e500_double): Rename predicate to
907 rs6000_nonimmediate_operand.
908
909 2005-01-14 Andrew Pinski <pinskia@physics.uc.edu>
910
911 * tree-ssa-alias.c (pass_may_alias): Add TODO_verify_stmts.
912
913 2005-01-14 Aldy Hernandez <aldyh@redhat.com>
914
915 * config/rs6000/rs6000.h (CLASS_MAX_NREGS): DF goes in 1 register
916 on e500v2.
917 (CANNOT_CHANGE_MODE_CLASS): Restrict DI mode changes on e500v2.
918 (PREDICATE_CODES): Add rs6k_nonimmediate_operand.
919
920 * config/rs6000/rs6000.c (invalid_e500_subreg): New.
921 (rs6k_nonimmediate_operand): New.
922 (rs6000_legitimate_offset_address_p): Handle DI modes on e500v2
923 correctly.
924 (legitimate_lo_sum_address_p): Same.
925 (rs6000_legitimize_address): Same.
926 (rs6000_legitimize_reload_address): Same.
927 (rs6000_legitimate_address): Same.
928 (spe_build_register_parallel): Pass DF and DC modes in a DI
929 register.
930
931 * config/rs6000/rs6000.md ("*movsi_internal1"): Change predicate
932 to rs6k_nonimmediate_operand.
933
934 * config/rs6000/spe.md ("*frob_df_di"): New.
935 ("*frob_di_df"): New.
936 ("*frob_di_df_2"): New.
937 ("*mov_sidf_e500_subreg0"): New.
938 ("*mov_sidf_e500_subreg4"): New.
939 ("*movdf_e500_double"): Change predicate to
940 rs6k_nonimmediate_operand.
941
942 2005-01-14 Aldy Hernandez <aldyh@redhat.com>
943
944 * postreload.c (move2add_note_store): Only call
945 trunc_int_for_mode on scalar integers.
946
947 2005-01-14 Steven Bosscher <stevenb@suse.de>
948
949 * tree-ssa-dce.c (visited_control_parents): New sbitmap to
950 replace BB_VISITED uses.
951 (find_obviously_necessary_stmts): Don't clear BB_VISITED.
952 (propagate_necessity): Check the bitmap instead of BB_VISITED.
953 (tree_dce_done): Free visited_control_parents.
954 (perform_tree_ssa_dce): Allocate and clear it.
955 * tree-ssa-pre.c (compute_antic_aux): Make non-recursive.
956 (compute_antic): Iterate from here using a DFS. Use an sbitmap
957 instead of BB_VISITED.
958
959 2005-01-14 Kazu Hirata <kazu@cs.umass.edu>
960
961 * c-tree.h, coverage.h, langhooks-def.h, optabs.h, output.h,
962 rtl.h, targhooks.h, tree-flow.h, tree-mudflap.h, tree.h:
963 Remove unused prototypes.
964
965 2005-01-14 Aldy Hernandez <aldyh@redhat.com>
966
967 * config/rs6000/rs6000.c (rs6000_stack_info): Fix caching of SPE
968 64-bit register usage.
969 (spe_func_has_64bit_regs_p): Add FIXME note.
970
971 2005-01-14 Aldy Hernandez <aldyh@redhat.com>
972
973 * config/rs6000/rs6000.c (rs6000_generate_compare): Replace
974 flag_finite_math_only with flag_unsafe_math_optimizations.
975
976 2005-01-14 J. D. Johnston <jjohnst@us.ibm.com>
977
978 * config/s390/tpf-unwind.h (s390_fallback_frame_state): Correct
979 end-of-stack check.
980 (__tpf_eh_return): Copy TPF private stack area from the module
981 boundary stack frame. Add check for when module addresses are
982 equal, but no stub address is found.
983
984 2005-01-14 Richard Earnshaw <rearnsha@arm.com>
985
986 PR target/7525
987 * arm.h (struct machine_function): Add call_via field.
988 (thumb_call_via_label): Declare.
989 * arm.c (thumb_call_via_label): New variable.
990 (thumb_call_reg_needed): New variable.
991 (arm_output_function_epilogue): For Thumb code, output any per-function
992 call-indirect trampolines.
993 (thumb_call_via_reg): New function.
994 (arm_file_end): New function.
995 (TARGET_ASM_FILE_END): Call arm_file_end.
996 (aof_file_end): Likewise.
997 * arm-protos.h (thumb_call_via_reg): Declare.
998 * arm.md (call_reg_thumb, call_value_reg_thumb): Call
999 thumb_call_via_reg in normal case.
1000
1001 2005-01-14 Jakub Jelinek <jakub@redhat.com>
1002
1003 PR middle-end/19084
1004 PR rtl-optimization/19348
1005 * recog.c (peephole2_optimize): Do global life update if some peephole
1006 decides it doesn't need at least one of its inputs and that change
1007 influences liveness at the start of the basic block.
1008
1009 * basic-block.h (EXECUTE_IF_AND_COMPL_IN_REG_SET): Needs 2 REGSET
1010 arguments instead of 1.
1011
1012 2005-01-14 Eric Botcazou <ebotcazou@libertysurf.fr>
1013
1014 PR middle-end/18820
1015 * varasm.c (initializer_constant_valid_p) <ADDR_EXPR>: Return
1016 zero for nested functions needing a static chain or functions
1017 with a non-constant address.
1018
1019 2005-01-13 Roger Sayle <roger@eyesopen.com>
1020
1021 * simplify-rtx.c (simplify_binary_operation) <AND>: Optimize
1022 (and (sign_extend X) C) into (zero_extend (and X C)).
1023
1024 2005-01-13 David O'Brien <obrien@FreeBSD.org>
1025
1026 * config/freebsd-spec.h: Make KSE pthread lib logic the default.
1027
1028 2005-01-13 Richard Henderson <rth@redhat.com>
1029
1030 PR target/19009
1031 PR target/19250
1032 PR target/19252
1033 * config/i386/i386.md (cmpdf, cmpsf, bunordered, bordered, buneq,
1034 bunge, bungt, bunle, bunlt, bltgt): Enable for TARGET_SSE_MATH,
1035 not just TARGET_SSE.
1036 (cmpfp_i_387): Rename from cmpfp_i. Move after sse patterns.
1037 (cmpfp_i_mixed): Rename from cmpfp_i_sse; use for TARGET_MIX_SSE_I387.
1038 (cmpfp_i_sse): Rename from cmpfp_i_sse_only; use for TARGET_SSE_MATH.
1039 (cmpfp_iu_mixed, cmpfp_iu_sse, cmpfp_iu_387): Similarly.
1040 (fp_jcc_1_mixed, fp_jcc_1_sse, fp_jcc_1_387): Similarly.
1041 (fp_jcc_2_mixed, fp_jcc_2_sse, fp_jcc_2_387): Similarly.
1042 (fp_jcc_3_387, fp_jcc_4_387, fp_jcc_5_387, fp_jcc_6_387,
1043 fp_jcc_7_387, fp_jcc_8_387): Rename from fp_jcc_N.
1044 (movdicc_c_rex64): Rename with '*'.
1045 (movsfcc, movdfcc): Add checks for 387 and sse math to condition.
1046 (movsfcc_1_sse_min, movsfcc_1_sse_max, movsfcc_1_sse): New.
1047 (movsfcc_1_387): Rename from movsfcc_1.
1048 (movdfcc_1_sse_min, movdfcc_1_sse_max, movdfcc_1_sse): New.
1049 (movdfcc_1, movdfcc_1_rex64): Add check for 387.
1050 (sminsf3, smaxsf3, smindf3, smaxdf3): New.
1051 (minsf3, minsf, minsf_nonieee, minsf_sse, mindf3, mindf,
1052 mindf_nonieee, mindf_sse, maxsf3, maxsf, maxsf_nonieee, maxsf_sse,
1053 maxdf3, maxdf, maxdf_nonieee, maxdf_sse, sse_movsfcc, sse_movsfcc_eq,
1054 sse_movdfcc, sse_movdfcc_eq, sse_movsfcc_const0_1,
1055 sse_movsfcc_const0_2, sse_movsfcc_const0_3, sse_movsfcc_const0_4,
1056 sse_movdfcc_const0_1, sse_movdfcc_const0_2, sse_movdfcc_const0_3,
1057 sse_movdfcc_const0_4): Remove.
1058 * config/i386/i386.c (ix86_expand_fp_movcc): For TARGET_SSE_MATH,
1059 recognize min/max early. Update for changed sse cmove patterns.
1060 (ix86_split_sse_movcc): New.
1061 * config/i386/i386-protos.h: Update.
1062
1063 2005-01-13 Steven Bosscher <stevenb@suse.de>
1064
1065 * tree-ssa-dse.c (fix_phi_uses): Use SSA operand iterators.
1066 (fix_stmt_v_may_defs): Likewise.
1067
1068 2005-01-13 Richard Henderson <rth@redhat.com>
1069
1070 * config/i386/i386.c (ix86_expand_fp_absneg_operator): Use elt_mode
1071 for converting the mask.
1072
1073 2005-01-13 David Edelsohn <edelsohn@gnu.org>
1074
1075 * config/rs6000/aix52.h (CPLUSPLUS_CPP_SPEC): Change _XOPEN_SOURCE
1076 definition to 600.
1077
1078 2005-01-13 Richard Henderson <rth@redhat.com>
1079
1080 * config/i386/i386.c (IX86_BUILTIN_MOVQ, IX86_BUILTIN_LOADD,
1081 IX86_BUILTIN_STORED, IX86_BUILTIN_MOVQ2DQ,
1082 IX86_BUILTIN_MOVDQ2Q): Remove.
1083 (IX86_BUILTIN_VEC_EXT_V4SI): New.
1084 (ix86_init_mmx_sse_builtins, ix86_expand_builtin): Update to match.
1085 (ix86_expand_vector_extract): For V4S[FI], extract element 0 after
1086 shuffling.
1087 * config/i386/sse.md (sse_concatv2sf): Accept zero operand 2.
1088 (sse2_pextrw): Fix immediate constraint.
1089 (sse2_loadq, sse2_loadq_rex64): Remove.
1090 * config/i386/emmintrin.h (_mm_cvtsi128_si32, _mm_cvtsi128_si64x):
1091 Use __builtin_ia32_vec_ext_<size>.
1092 (_mm_cvtsi32_si128, _mm_cvtsi64x_si128): Use _mm_set_epi<size>.
1093
1094 2005-01-13 Aldy Hernandez <aldyh@redhat.com>
1095
1096 * function.c (assign_parm_setup_block): Look inside original
1097 entry_parm when inspecting PARALLEL.
1098
1099 2005-01-13 Ralf Corsepius <ralf.corsepius@rtems.org>
1100 Joel Sherrill <joel@oarcorp.com>
1101
1102 PR target/19399
1103 * gthr-rtems.h (__gthread_recursive_mutex_t): New type.
1104 (__GTHREAD_RECURSIVE_MUTEX_INIT_FUNCTION): Define to
1105 rtems_gxx_recursive_mutex_init.
1106 (__gthread_recursive_mutex_lock): New function.
1107 (__gthread_recursive_mutex_trylock): Likewise.
1108 (__gthread_recursive_mutex_unlock): Likewise.
1109
1110 2005-01-13 Ralf Corsepius <ralf.corsepius@rtems.org>
1111
1112 * config/i386/t-rtems-i386: Multilib on -mtune instead of -mcpu.
1113
1114 2005-01-13 Jan Beulich <jbeulich@novell.com>
1115
1116 * config/ia64/ia64.md (ashlti3, ashlti3_internal): New.
1117 (ashrti3_internal): Indicate output is early clobber. Generate result
1118 into output rather than first input. Use move for low word of output
1119 if shift count is exactly 64.
1120 (lshrti3_internal): Likewise.
1121
1122 2005-01-13 Hans-Peter Nilsson <hp@bitrange.com>
1123
1124 PR target/18329
1125 PR target/18330
1126 * reload1.c (delete_output_reload): Don't delete an output reload
1127 if the pseudo lives longer than a single basic block. Adjust and
1128 improve wording of comment.
1129
1130 2005-01-12 Andrew Pinski <pinskia@physics.uc.edu>
1131
1132 PR target/19334
1133 * config/darwin.c (machopic_select_section): Use TYPE_SIZE_UNIT instead
1134 of TYPE_SIZE where we mean the number of bytes.
1135
1136 2005-01-12 Aldy Hernandez <aldyh@redhat.com>
1137
1138 * function.c (assign_parm_setup_block): Relax condition on
1139 multi-register optimization.
1140
1141 2005-01-12 Nick Clifton <nickc@redhat.com>
1142
1143 * config/sh/sh.md (udivsi3_sh2a, divsi3_sh2a): Give these patterns
1144 an "in_delay_slot" attribute of "no" to prevent them being used in
1145 delay slots. This is forbidden because they might generate
1146 exceptions.
1147
1148 2005-01-12 Alan Modra <amodra@bigpond.net.au>
1149
1150 PR target/19389
1151 * config/rs6000/rs6000.md (movtf_internal): Replace r->o and m->r
1152 with r->Y and Y->r.
1153
1154 2005-01-12 Nick Clifton <nickc@redhat.com>
1155
1156 * config/iq2000/iq2000.h (ASM_SPEC): Undefine (to stop -Qy being
1157 passed on to GAS) but do not define, as GAS no longer supports or
1158 needs the -m2000 option.
1159
1160 2005-01-11 Roger Sayle <roger@eyesopen.com>
1161
1162 * builtins.c (fold_builtin_fabs): Convert argument to the appropriate
1163 type as args of unprototyped builtins aren't automatically promoted.
1164 (fold_builtin_abs): Likewise.
1165
1166 2005-01-11 Kaveh R. Ghazi <ghazi@caip.rutgers.edu>
1167
1168 * Makefile.in: Set a `build-warn' variable.
1169
1170 2005-01-11 Zdenek Dvorak <dvorakz@suse.cz>
1171
1172 PR tree-optimization/17949
1173 * tree-ssa-loop-ivopts.c (may_be_unaligned_p): New function.
1174 (find_interesting_uses_address): Use it.
1175
1176 2005-01-11 Aldy Hernandez <aldyh@redhat.com>
1177
1178 * regrename.c (kill_value): Handle subreg's that won't simplify.
1179
1180 2005-01-11 Richard Henderson <rth@redhat.com>
1181
1182 PR target/13366
1183 * config/i386/i386.h (enum ix86_builtins): Move ...
1184 * config/i386/i386.c: ... here.
1185 (IX86_BUILTIN_MOVDDUP, IX86_BUILTIN_MMX_ZERO, IX86_BUILTIN_PEXTRW,
1186 IX86_BUILTIN_PINSRW, IX86_BUILTIN_LOADAPS, IX86_BUILTIN_LOADSS,
1187 IX86_BUILTIN_STORESS, IX86_BUILTIN_SSE_ZERO, IX86_BUILTIN_PEXTRW128,
1188 IX86_BUILTIN_PINSRW128, IX86_BUILTIN_LOADAPD, IX86_BUILTIN_LOADSD,
1189 IX86_BUILTIN_STOREAPD, IX86_BUILTIN_STORESD, IX86_BUILTIN_STOREHPD,
1190 IX86_BUILTIN_STORELPD, IX86_BUILTIN_SETPD1, IX86_BUILTIN_SETPD,
1191 IX86_BUILTIN_CLRPD, IX86_BUILTIN_LOADPD1, IX86_BUILTIN_LOADRPD,
1192 IX86_BUILTIN_STOREPD1, IX86_BUILTIN_STORERPD, IX86_BUILTIN_LOADDQA,
1193 IX86_BUILTIN_STOREDQA, IX86_BUILTIN_CLRTI,
1194 IX86_BUILTIN_LOADDDUP): Remove.
1195 (IX86_BUILTIN_VEC_INIT_V2SI, IX86_BUILTIN_VEC_INIT_V4HI,
1196 IX86_BUILTIN_VEC_INIT_V8QI, IX86_BUILTIN_VEC_EXT_V2DF,
1197 IX86_BUILTIN_VEC_EXT_V2DI, IX86_BUILTIN_VEC_EXT_V4SF,
1198 IX86_BUILTIN_VEC_EXT_V8HI, IX86_BUILTIN_VEC_EXT_V4HI,
1199 IX86_BUILTIN_VEC_SET_V8HI, IX86_BUILTIN_VEC_SET_V4HI): New.
1200 (ix86_init_builtins): Make static.
1201 (ix86_init_mmx_sse_builtins): Update for changed builtins.
1202 (ix86_expand_binop_builtin): Only use ix86_fixup_binary_operands
1203 if all the modes match. Otherwise, fake it.
1204 (get_element_number, ix86_expand_vec_init_builtin,
1205 ix86_expand_vec_ext_builtin, ix86_expand_vec_set_builtin): New.
1206 (ix86_expand_builtin): Make static. Update for changed builtins.
1207 (ix86_expand_vector_move_misalign): Use sse2_loadlpd with zero
1208 operand instead of sse2_loadsd. Cast sse1 fallback to V4SFmode.
1209 (ix86_expand_vector_init_duplicate): New.
1210 (ix86_expand_vector_init_low_nonzero): New.
1211 (ix86_expand_vector_init_one_var, ix86_expand_vector_init_general):
1212 Split out from ix86_expand_vector_init; handle integer modes.
1213 (ix86_expand_vector_init): Use them.
1214 (ix86_expand_vector_set, ix86_expand_vector_extract): New.
1215 * config/i386/i386-protos.h: Update.
1216 * config/i386/predicates.md (reg_or_0_operand): New.
1217 * config/i386/mmx.md (mov<MMXMODEI>_internal): Add 'r' variants.
1218 (movv2sf_internal): Likewise. And a splitter to match them all.
1219 (vec_dupv2sf, mmx_concatv2sf, vec_setv2sf, vec_extractv2sf,
1220 vec_initv2sf, vec_dupv4hi, vec_dupv2si, mmx_concatv2si, vec_setv2si,
1221 vec_extractv2si, vec_initv2si, vec_setv4hi, vec_extractv4hi,
1222 vec_initv4hi, vec_setv8qi, vec_extractv8qi, vec_initv8qi): New.
1223 (mmx_pinsrw): Fix operand ordering.
1224 * config/i386/sse.md (movv4sf splitter): Use direct pattern,
1225 rather than sse_loadss expander.
1226 (movv2df splitter): Similarly.
1227 (sse_loadss, sse_loadlss): Remove.
1228 (vec_dupv4sf, sse_concatv2sf, sse_concatv4sf, vec_extractv4sf_0): New.
1229 (vec_setv4sf, vec_setv2df): Use ix86_expand_vector_set.
1230 (vec_extractv4sf, vec_extractv2df): Use ix86_expand_vector_extract.
1231 (sse3_movddup): Rename with '*'.
1232 (sse3_movddup splitter): Use gen_rtx_REG instead of gen_lowpart.
1233 (sse2_loadsd): Remove.
1234 (vec_dupv2df_sse3): Rename from sse3_loadddup.
1235 (vec_dupv2df, vec_concatv2df_sse3, vec_concatv2df): New.
1236 (sse2_pinsrw): Fix argument ordering.
1237 (sse2_loadld, sse2_loadq): Add sse1 alternatives.
1238 (sse2_stored): Remove 'r' destination.
1239 (vec_dupv4si, vec_dupv2di, sse2_concatv2si, sse1_concatv2si,
1240 vec_concatv4si_1, vec_concatv2di, vec_setv2di, vec_extractv2di,
1241 vec_initv2di, vec_setv4si, vec_extractv4si, vec_initv4si,
1242 vec_setv8hi, vec_extractv8hi, vec_initv8hi, vec_setv16qi,
1243 vec_extractv16qi, vec_initv16qi): New.
1244
1245 * config/i386/emmintrin.h (__m128i, __m128d): Use typedef, not define.
1246 (_mm_set_sd, _mm_set1_pd, _mm_setzero_pd, _mm_set_epi64x,
1247 _mm_set_epi32, _mm_set_epi16, _mm_set_epi8, _mm_setzero_si128): Use
1248 constructor form.
1249 (_mm_load_pd, _mm_store_pd): Use plain dereference.
1250 (_mm_load_si128, _mm_store_si128): Likewise.
1251 (_mm_load1_pd): Use _mm_set1_pd.
1252 (_mm_load_sd): Use _mm_set_sd.
1253 (_mm_store_sd, _mm_storeh_pd): Use __builtin_ia32_vec_ext_v2df.
1254 (_mm_store1_pd, _mm_storer_pd): Use _mm_store_pd.
1255 (_mm_set_epi64): Use _mm_set_epi64x.
1256 (_mm_set1_epi64x, _mm_set1_epi64, _mm_set1_epi32, _mm_set_epi16,
1257 _mm_set1_epi8, _mm_setr_epi64, _mm_setr_epi32, _mm_setr_epi16,
1258 _mm_setr_epi8): Use _mm_set_foo form.
1259 (_mm_loadl_epi64, _mm_movpi64_epi64, _mm_move_epi64): Use _mm_set_epi64.
1260 (_mm_storel_epi64, _mm_movepi64_pi64): Use __builtin_ia32_vec_ext_v2di.
1261 (_mm_extract_epi16): Use __builtin_ia32_vec_ext_v8hi.
1262 (_mm_insert_epi16): Use __builtin_ia32_vec_set_v8hi.
1263 * config/i386/mmintrin.h (_mm_setzero_si64): Use plain cast.
1264 (_mm_set_pi32): Use __builtin_ia32_vec_init_v2si.
1265 (_mm_set_pi16): Use __builtin_ia32_vec_init_v4hi.
1266 (_mm_set_pi8): Use __builtin_ia32_vec_init_v8qi.
1267 (_mm_set1_pi16, _mm_set1_pi8): Use _mm_set_piN variant.
1268 * config/i386/pmmintrin.h (_mm_loaddup_pd): Use _mm_load1_pd.
1269 (_mm_movedup_pd): Use _mm_shuffle_pd.
1270 * config/i386/xmmintrin.h (_mm_setzero_ps, _mm_set_ss,
1271 _mm_set1_ps, _mm_set_ps, _mm_setr_ps): Use constructor form.
1272 (_mm_cvtpi16_ps, _mm_cvtpu16_ps, _mm_cvtpi8_ps, _mm_cvtpu8_ps,
1273 _mm_cvtps_pi8, _mm_cvtpi32x2_ps): Avoid __builtin_ia32_mmx_zero;
1274 Use _mm_setzero_ps.
1275 (_mm_load_ss, _mm_load1_ps): Use _mm_set* form.
1276 (_mm_load_ps, _mm_loadr_ps): Use raw dereference.
1277 (_mm_store_ss): Use __builtin_ia32_vec_ext_v4sf.
1278 (_mm_store_ps): Use raw dereference.
1279 (_mm_store1_ps): Use _mm_storeu_ps.
1280 (_mm_storer_ps): Use _mm_store_ps.
1281 (_mm_extract_pi16): Use __builtin_ia32_vec_ext_v4hi.
1282 (_mm_insert_pi16): Use __builtin_ia32_vec_set_v4hi.
1283
1284 2005-01-11 Stan Shebs <shebs@apple.com>
1285
1286 * config/rs6000/rs6000.c (machopic_output_stub): Issue
1287 ldu instead of lwzu if 64-bit -mdynamic-no-pic.
1288
1289 2005-01-11 Andrew Pinski <pinskia@physics.uc.edu>
1290
1291 PR target/18761
1292 * config/rs6000/rs6000.c (rs6000_special_round_type_align):
1293 Skip all DECLs except for FIELD_DECLs.
1294
1295 2005-01-11 Andreas Krebbel <krebbel1@de.ibm.com>
1296
1297 * config/s390/s390.c (override_options): Return error if
1298 -mbackchain, -mpacked-stack and -mhard-float are used together.
1299 (s390_va_start): Remove the backchain && packed-stack special case.
1300 (s390_gimplify_va_arg): Likewise.
1301 * doc/invoke.texi: Remove the ABI incompatibility note.
1302
1303 2005-01-11 Andreas Krebbel <krebbel1@de.ibm.com>
1304
1305 * config/s390/s390.c (struct s390_frame_layout): Remove
1306 save_backchain_p.
1307 (s390_frame_info, s390_emit_prologue): Replace occurrences of
1308 save_backchain_p with TARGET_BACKCHAIN.
1309
1310 2005-01-11 Alan Modra <amodra@bigpond.net.au>
1311
1312 PR target/18916
1313 * builtins.c (std_gimplify_va_arg_expr): Adjust alignment of *ap.
1314 * expr.h (struct locate_and_pad_arg_data): Add "boundary".
1315 * function.c (locate_and_pad_parm): Set new field.
1316 (assign_parm_find_stack_rtl): Use it instead of FUNCTION_ARG_BOUNDARY.
1317 Tweak where_pad test to include "none". Always set mem align for
1318 stack_parm.
1319 (assign_parm_adjust_stack_rtl): Discard stack_parm if alignment
1320 not sufficient for type.
1321 (assign_parm_setup_block): If stack_parm is zero on entry, always
1322 make a new stack local. Block move old stack parm if necessary
1323 to new aligned stack local.
1324 (assign_parm_setup_stack): Use a block move to handle
1325 potentially misaligned entry_parm.
1326 (assign_parms_unsplit_complex): Specify required alignment when
1327 creating stack local.
1328 * calls.c (compute_argument_addresses): Override alignment of stack
1329 arg calculated from its type with the alignment given by
1330 FUNCTION_ARG_BOUNDARY.
1331 (store_one_arg): Likewise.
1332
1333 2005-01-11 Jan Beulich <jbeulich@novell.com>
1334
1335 * config/ia64/ia64.md (zero_extendsidi2): Replace zxt4 by addp4.
1336 Change respective itanium_class attribute to ialu.
1337 (shladdp4_internal): New.
1338 * config/ia64/predicates.md (shladd_log2_operand): New.
1339
1340 2005-01-11 Richard Henderson <rth@redhat.com>
1341
1342 * expr.c (store_constructor): Use rtvec_alloc instead of
1343 alloca+gen_rtvec_v, and an incorrect number passed to alloca.
1344
1345 2005-01-11 Kazu Hirata <kazu@cs.umass.edu>
1346
1347 * config/alpha/alpha.c, config/i386/mmx.md: Fix comment typos.
1348
1349 2005-01-11 Alan Modra <amodra@bigpond.net.au>
1350
1351 * varasm.c (default_section_type_flags_1): Don't set SECTION_SMALL.
1352 * config/ia64/ia64.c (TARGET_SECTION_TYPE_FLAGS): Define.
1353 (TARGET_RWRELOC): Define.
1354 (ia64_rwreloc_section_type_flags): Delete.
1355 (ia64_section_type_flags): New function.
1356 * config/ia64/hpux.h (TARGET_SECTION_TYPE_FLAGS): Don't define.
1357 (TARGET_RWRELOC): Define.
1358
1359 2005-01-10 David Mosberger <davidm@hpl.hp.com>
1360
1361 PR target/18987
1362 * config/ia64/ia64.c (process_set): For alloc insn, only call
1363 process_epilogue is !frame_pointer_needed.
1364
1365 2005-01-10 Roger Sayle <roger@eyesopen.com>
1366
1367 PR c++/19355
1368 * c-common.c (c_common_truthvalue_conversion): TRUTH_NOT_EXPR is a
1369 unary operator and can't be treated as a binary/comparison operator.
1370
1371 2005-01-10 Richard Henderson <rth@redhat.com>
1372
1373 * config/i386/i386.c (ix86_function_value): Use type_natural_mode.
1374 (ix86_return_in_memory): Likewise.
1375 (function_arg_advance): Likewise. Mirror structure in function_arg
1376 for choosing register to advance.
1377
1378 2005-01-10 Kazu Hirata <kazu@cs.umass.edu>
1379
1380 * tree-vectorizer.c, tree.def: Fix comment typos.
1381
1382 2005-01-10 Mark Dettinger <dettinge@de.ibm.com>
1383
1384 * config/s390/s390.c (struct processor_costs): 4 new fields:
1385 ddbr, ddr, debr, der.
1386 (s390_rtx_costs): More precise handling of divide instructions.
1387
1388 2005-01-10 David Edelsohn <edelsohn@gnu.org>
1389
1390 * config/rs6000/t-aix43 (BOOT_LDFLAGS): Define.
1391
1392 2005-01-10 Jan Beulich <jbeulich@novell.com>
1393
1394 * config/ia64/ia64.c (ia64_in_small_data_p): Also handle the section
1395 names resulting from -ffunction-sections/-fdata-sections and linkonce
1396 ones.
1397 * varasm.c (default_section_type_flags_1): Also set SECTION_SMALL
1398 based on the section name. Rearrange the section name comparison logic
1399 slightly so that each section name is compared against at most once.
1400
1401 2005-01-10 Ben Elliston <bje@au.ibm.com>
1402
1403 * doc/invoke.texi (Code Gen Options): Add PowerPC to the list of
1404 targets for which -fPIC reduces limitations on the GOT size.
1405
1406 2005-01-09 Falk Hueffner <falk@debian.org>
1407
1408 * fold-const.c (fold): Also handle EXACT_DIV_EXPR when folding
1409 X/C1 cmpop C2.
1410
1411 2005-01-09 David Edelsohn <edelsohn@gnu.org>
1412
1413 PR target/18720
1414 * collect2.c (main): Set aixrtl_flag for -brtl option.
1415 (resolve_lib_name): Search for .so file extension before .a
1416 if aixrtl_flag set.
1417
1418 2005-01-09 Dorit Naishlos <dorit@il.ibm.com>
1419
1420 * tree-vectorizer.c (vect_enhance_data_refs_alignment): Add dump prints.
1421 (vect_analyze_data_refs_alignment): Add dump prints.
1422
1423 2005-01-09 Ira Rosen <irar@il.ibm.com>
1424
1425 * tree-vectorizer.c (vect_analyze_offset_expr): Use
1426 expr_invariant_in_loop_p.
1427 Initialize outputs first thing in the function.
1428 (vect_update_ivs_after_vectorizer): Call initial_condition_in_loop_num.
1429 (vect_is_simple_iv_evolution): Call initial_condition_in_loop_num.
1430 (vect_analyze_pointer_ref_access): Check that the initial condition of
1431 the access function is loop invariant.
1432
1433 2005-01-09 Richard Henderson <rth@redhat.com>
1434
1435 * config/i386/i386.c (bdesc_2arg): Update names for mmx_ prefixes.
1436 (ix86_expand_builtin): Likewise. Frob MASKMOVQ wrt the input mem
1437 just like MASKMOVDQU. Return plain zero for MMX_ZERO.
1438 * config/i386/i386.md (MMXMODEI, mov<MMXMODEI>,
1439 mov<MMXMODEI>_internal_rex64, mov<MMXMODEI>_internal, movv2sf,
1440 movv2sf_internal_rex64, movv2sf_internal, MMXMODE,
1441 movmisalign<MMXMODE>, mmx_pmovmskb, mmx_maskmovq, mmx_maskmovq_rex,
1442 sse_movntdi, addv8qi3, addv4hi3, addv2si3, mmx_adddi3, ssaddv8qi3,
1443 ssaddv4hi3, usaddv8qi3, usaddv4hi3, subv8qi3, subv4hi3, subv2si3,
1444 mmx_subdi3, sssubv8qi3, sssubv4hi3, ussubv8qi3, ussubv4hi3,
1445 mulv4hi3, smulv4hi3_highpart, umulv4hi3_highpart, mmx_pmaddwd,
1446 sse2_umulsidi3, mmx_iordi3, mmx_xordi3, mmx_anddi3, mmx_nanddi3,
1447 mmx_uavgv8qi3, mmx_uavgv4hi3, mmx_psadbw, mmx_pinsrw, mmx_pinsrw,
1448 mmx_pextrw, mmx_pshufw, eqv8qi3, eqv4hi3, eqv2si3, gtv8qi3, gtv4hi3,
1449 gtv2si3, umaxv8qi3, smaxv4hi3, uminv8qi3, sminv4hi3, ashrv4hi3,
1450 ashrv2si3, lshrv4hi3, lshrv2si3, mmx_lshrdi3, ashlv4hi3, ashlv2si3,
1451 mmx_ashldi3, mmx_packsswb, mmx_packssdw, mmx_packuswb, mmx_punpckhbw,
1452 mmx_punpckhwd, mmx_punpckhdq, mmx_punpcklbw, mmx_punpcklwd,
1453 mmx_punpckldq, emms, addv2sf3, subv2sf3, subrv2sf3, gtv2sf3, gev2sf3,
1454 eqv2sf3, pfmaxv2sf3, pfminv2sf3, mulv2sf3, femms, pf2id, pf2iw,
1455 pfacc, pfnacc, pfpnacc, pi2fw, floatv2si2, pfrcpv2sf2, pfrcpit1v2sf3,
1456 pfrcpit2v2sf3, pfrsqrtv2sf2, pfrsqit1v2sf3, pmulhrwv4hi3, pswapdv2si2,
1457 pswapdv2sf2): Move to mmx.md; rename as necessary with leading
1458 mmx_ prefix.
1459 (mmx_clrdi, pavgusb): Remove.
1460 (ldmxcsr, stmxcsr, sfence, sfence_insn): Move to sse.md; rename
1461 with leading sse_ prefix.
1462 * config/i386/sse.md: Receive them.
1463 * config/i386/mmx.md: New file.
1464 (MMXMODE12, MMXMODE24, mmxvecsize): New.
1465 (subrv2sf3): Turn into expander for normal subtraction.
1466 (mmx_addv2sf3, mmx_mulv2sf3, mmx_smaxv2sf3, mmx_sminv2sf3,
1467 mmx_eqv2sf3, mmx_mulv4hi3, mmx_smulv4hi3_highpart,
1468 mmx_umulv4hi3_highpart, mmx_pmaddwd, mmx_pmulhrwv4hi3, sse2_umulsidi3,
1469 mmx_umaxv8qi3, mmx_smaxv4hi3, mmx_uminv8qi3, mmx_sminv4hi3): Mark
1470 commutative; use ix86_binary_operator_ok.
1471 (mmx_add<MMXMODEI>3, mmx_ssadd<MMXMODE12>3, mmx_usadd<MMXMODE12>3,
1472 mmx_sub<MMXMODEI>3, mmx_sssub<MMXMODE12>3, mmx_ussub<MMXMODE12>3
1473 mmx_ashr<MMXMODE24>3, mmx_lshr<MMXMODE23>3, mmx_ashl<MMXMODE24>3
1474 mmx_eq<MMXMODEI>3, mmx_gt<MMXMODEI>3, mmx_and<MMXMODEI>3,
1475 mmx_nand<MMXMODEI>3, mmx_ior<MMXMODEI>3, mmx_xor<MMXMODEI>3):
1476 Macroize from existing patterns; use ix86_binary_operator_ok.
1477 (mmx_packsswb, mmx_packssdw, mmx_packuswb): Add memory alternative.
1478 (mmx_punpckhbw, mmx_punpcklbw, mmx_punpckhwd, mmx_punpcklwd,
1479 mmx_punpckhdq, mmx_punpckhdq, mmx_punpckldq): Likewise. Model
1480 with vec_select+vec_concat.
1481 (mmx_pshufw, mmx_pshufw_1): Likewise.
1482 (mmx_uavgv8qi3): Merge pavgusb. Model correcty.
1483 (mmx_uavgv4hi3): Model correctly.
1484 * config/i386/mmintrin.h (_mm_and_si64, _mm_andnot_si64, _mm_or_si64,
1485 _mm_xor_si64): Remove casts.
1486
1487 2005-01-09 Zdenek Dvorak <dvorakz@suse.cz>
1488
1489 PR tree-optimization/19224
1490 * tree-scalar-evolution.c (get_instantiated_value,
1491 set_instantiated_value): New functions.
1492 (instantiate_parameters_1): Cache the results.
1493 (instantiate_parameters, resolve_mixers): Initialize and free
1494 the cache.
1495
1496 2005-01-08 David Edelsohn <edelsohn@gnu.org>
1497
1498 * config/i386/i386.md (addhi_4): Correct reference in comment.
1499 (addqi_4): Same.
1500
1501 2005-01-08 Richard Henderson <rth@redhat.com>
1502
1503 * config/i386/emmintrin.h (_mm_cvtsi128_si32): Move earlier.
1504 (_mm_cvtsi128_si64x): Likewise.
1505 (_mm_srl_epi64, _mm_srl_epi32, _mm_srl_epi16, _mm_sra_epi32,
1506 _mm_sra_epi16, _mm_sll_epi64, _mm_sll_epi32, _mm_sll_epi16): Use
1507 the _mm_{srl,sll}i_foo counterpart, and _mm_cvtsi128_si32.
1508 * config/i386/i386-modes.def: Add V16HI, V32QI, V4DF, V8SF.
1509 * config/i386/i386-protos.h: Update.
1510 * config/i386/i386.c (print_operand): Add 'H'.
1511 (ix86_fixup_binary_operands): Split out from ...
1512 (ix86_expand_binary_operator): ... here.
1513 (ix86_fixup_binary_operands_no_copy): New.
1514 (ix86_expand_fp_absneg_operator): Handle vector mode results.
1515 (bdesc_2arg): Update names for sse{,2,3}_ prefixes.
1516 (ix86_init_mmx_sse_builtins): Remove *maskncmp* special cases.
1517 (safe_vector_operand): Use CONST0_RTX.
1518 (ix86_expand_binop_builtin): Use ix86_fixup_binary_operands.
1519 (ix86_expand_builtin): Merge CODE_FOR_sse2_maskmovdqu_rex64 and
1520 CODE_FOR_sse2_maskmovdqu. Special case SSE version of MASKMOVDQU
1521 expansion. Update names for sse{,2,3}_ prefixes. Remove *maskncmp*
1522 special cases.
1523 * config/i386/i386.h (IX86_BUILTIN_CMPNGTSS): New.
1524 (IX86_BUILTIN_CMPNGESS): New.
1525 * config/i386/i386.md (UNSPEC_FIX_NOTRUNC): New.
1526 (attr type): Add sselog1.
1527 (attr unit, attr memory): Handle it.
1528 (movti, movti_internal, movti_rex64): Move near other integer moves.
1529 (movtf, movtf_internal): Move near other fp moves.
1530 (SSEMODE, SSEMODEI, vec_setv2df, vec_extractv2df, vec_initv2df,
1531 vec_setv4sf, vec_extractv4sf, vec_initv4sf, movv4sf, movv4sf_internal,
1532 movv2df, movv2df_internal, mov<SSEMODEI>, mov<SSEMODEI>_internal,
1533 movmisalign<SSEMODE>, sse_movups_1, sse_movmskps, sse_movntv4sf,
1534 sse_movhlps, sse_movlhps, sse_storehps, sse_loadhps, sse_storelps,
1535 sse_loadlps, sse_loadss, sse_loadss_1, sse_movss, sse_storess,
1536 sse_shufps, addv4sf3, vmaddv4sf3, subv4sf3, vmsubv4sf3, negv4sf2,
1537 mulv4sf3, vmmulv4sf3, divv4sf3, vmdivv4sf3, rcpv4sf2, vmrcpv4sf2,
1538 rsqrtv4sf2, vmrsqrtv4sf2, sqrtv4sf2, vmsqrtv4sf2, sse_andv4sf3,
1539 sse_nandv4sf3, sse_iorv4sf3, sse_xorv4sf3, sse2_andv2df3,
1540 sse2_nandv2df3, sse2_iorv2df3, sse2_xorv2df3, sse2_andv2di3,
1541 sse2_nandv2di3, sse2_iorv2di3, sse2_xorv2di3, maskcmpv4sf3,
1542 vmmaskcmpv4sf3, sse_comi, sse_ucomi, sse_unpckhps, sse_unpcklps,
1543 smaxv4sf3, vmsmaxv4sf3, sminv4sf3, vmsminv4sf3, cvtpi2ps, cvtps2pi,
1544 cvttps2pi, cvtsi2ss, cvtsi2ssq, cvtss2si, cvtss2siq, cvttss2si,
1545 cvttss2siq, addv2df3, vmaddv2df3, subv2df3, vmsubv2df3, mulv2df3,
1546 vmmulv2df3, divv2df3, vmdivv2df3, smaxv2df3, vmsmaxv2df3, sminv2df3,
1547 vmsminv2df3, sqrtv2df2, vmsqrtv2df2, maskcmpv2df3, vmmaskcmpv2df3,
1548 sse2_comi, sse2_ucomi, sse2_movmskpd, sse2_pmovmskb, sse2_maskmovdqu,
1549 sse2_maskmovdqu_rex64, sse2_movntv2df, sse2_movntv2di, sse2_movntsi,
1550 cvtdq2ps, cvtps2dq, cvttps2dq, cvtdq2pd, cvtpd2dq, cvttpd2dq,
1551 cvtpd2pi, cvttpd2pi, cvtpi2pd, cvtsd2si, cvtsd2siq, cvttsd2si,
1552 cvttsd2siq, cvtsi2sd, cvtsi2sdq, cvtsd2ss, cvtss2sd, cvtpd2ps,
1553 cvtps2pd, addv16qi3, addv8hi3, addv4si3, addv2di3, ssaddv16qi3,
1554 ssaddv8hi3, usaddv16qi3, usaddv8hi3, subv16qi3, subv8hi3, subv4si3,
1555 subv2di3, sssubv16qi3, sssubv8hi3, ussubv16qi3, ussubv8hi3, mulv8hi3,
1556 smulv8hi3_highpart, umulv8hi3_highpart, sse2_umulsidi3,
1557 sse2_umulv2siv2di3, sse2_pmaddwd, sse2_uavgv16qi3, sse2_uavgv8hi3,
1558 sse2_psadbw, sse2_pinsrw, sse2_pextrw, sse2_pshufd, sse2_pshuflw,
1559 sse2_pshufhw, eqv16qi3, eqv8hi3, eqv4si3, gtv16qi3, gtv8hi3,
1560 gtv4si3, umaxv16qi3, smaxv8hi3, uminv16qi3, sminv8hi3, ashrv8hi3,
1561 ashrv4si3, lshrv8hi3, lshrv4si3, lshrv2di3, ashlv8hi3, ashlv4si3,
1562 ashlv2di3, sse2_ashlti3, sse2_lshrti3, sse2_unpckhpd, sse2_unpcklpd,
1563 sse2_packsswb, sse2_packssdw, sse2_packuswb, sse2_punpckhbw,
1564 sse2_punpckhwd, sse2_punpckhdq, sse2_punpcklbw, sse2_punpcklwd,
1565 sse2_punpckldq, sse2_punpcklqdq, sse2_punpckhqdq, sse2_movupd,
1566 sse2_movdqu, sse2_movdq2q, sse2_movdq2q_rex64, sse2_movq2dq,
1567 sse2_movq2dq_rex64, sse2_loadd, sse2_stored, sse2_storehpd,
1568 sse2_loadhpd, sse2_storelpd, sse2_loadlpd, sse2_movsd, sse2_loadsd,
1569 sse2_loadsd_1, sse2_storesd, sse2_shufpd, sse2_clflush, sse2_mfence,
1570 mfence_insn, sse2_lfence, lfence_insn, mwait, monitor, addsubv4sf3,
1571 addsubv2df3, haddv4sf3, haddv2df3, hsubv4sf3, hsubv2df3, movshdup,
1572 movsldup, lddqu, loadddup, movddup): Move to sse.md. Any with
1573 non-optabs meanings renamed with an "sse{,2,3}_" prefix at the
1574 same time.
1575 (SSEPUSH, push<SSEPUSH>): Remove.
1576 (MMXPUSH, push<MMXPUSH>): Remove.
1577 (sse_movaps, sse_movaps_1, sse_movups): Remove.
1578 (sse2_movapd, sse2_movdqa, sse2_movq): Remove.
1579 (sse2_andti3, sse2_nandti3, sse2_iorti3, sse2_xorti3): Remove.
1580 (sse_clrv4sf, sse_clrv2df, sse2_clrti): Remove.
1581 (maskncmpv4sf3, vmmaskncmpv4sf3): Remove.
1582 (maskncmpv2df3, vmmaskncmpv2df3): Remove.
1583 (ashrv8hi3_ti, ashrv4si3_ti, lshrv8hi3_ti, lshrv4si3_ti): Remove.
1584 (lshrv2di3_ti, ashlv8hi3_ti, ashlv4si3_ti, ashlv2di3_ti): Remove.
1585 * config/i386/athlon.md (athlon_sselog_load): Handle sselog1.
1586 (athlon_sselog_load_k8, athlon_sselog, athlon_sselog_k8): Likewise.
1587 * config/i386/ppro.md (ppro_sse_div_V4SF_load): Fix memory attr.
1588 (ppro_sse_log_V4SF_load): Similarly. Handle sselog1.
1589 (ppro_sse_log_V4SF): Handle sselog1.
1590 * config/i386/predicates.md (const_0_to_1_operand): New.
1591 (const_0_to_255_mul_8_operand): New.
1592 (const_1_to_31_operand): Rename from const_int_1_31_operand.
1593 (const_2_to_3_operand, const_4_to_7_operand): New.
1594 * config/i386/sse.md: New file.
1595 (SSEMODE12, SSEMODE24, SSEMODE124, SSEMODE248, ssevecsize): New.
1596 (sse_movups): Rename from sse_movups_1.
1597 (sse_loadlss): Rename from sse_loadss_1.
1598 (andv4sf3, iorv4sf3, xorv4sf3, andv2df3): Remove the sse prefix
1599 from the name.
1600 (negv4sf2): Use ix86_expand_fp_absneg_operator.
1601 (absv4sf2, negv2df, absv2df): New.
1602 (addv4sf3): Add expander to call ix86_fixup_binary_operands_no_copy.
1603 (subv4sf3, mulv4sf3, divv4sf3, smaxv4sf3, sminv4sf3, andv4sf3,
1604 iorv4sf3, xorv4sf3, addv2df3, subv2df3, mulv2df3, divv2df3,
1605 smaxv2df3, sminv2df3, andv2df3, iorv2df3, xorv2df3, mulv8hi3,
1606 umaxv16qi3, smaxv8hi3, uminv16qi3, sminv8hi3): Likewise.
1607 (sse3_addsubv4sf3): Model correctly.
1608 sse3_haddv4sf3, sse3_hsubv4sf3, sse3_addsubv2df3, sse3_haddv2df3,
1609 sse3_hsubv2df3, sse2_ashlti3, sse2_lshrti3): Likewise.
1610 (sse_movhlps): Model with vec_select+vec_concat.
1611 (sse_movlhps, sse_unpckhps, sse_unpcklps, sse3_movshdup,
1612 sse3_movsldup, sse_shufps, sse_shufps_1, sse2_unpckhpd, sse3_movddup,
1613 sse2_unpcklpd, sse2_shufpd, sse2_shufpd_1, sse2_punpckhbw,
1614 sse2_punpcklbw, sse2_punpckhwd, sse2_punpcklwd, sse2_punpckhdq,
1615 sse2_punpckldq, sse2_punpckhqdq, sse2_punpcklqdq, sse2_pshufd,
1616 sse2_pshufd_1, sse2_pshuflw, sse2_pshuflw_1, sse2_pshufhw,
1617 sse2_pshufhw_1): Likewise.
1618 (neg<SSEMODEI>2, one_cmpl<SSEMODEI>2): New.
1619 (add<SSEMODEI>3, sse2_ssadd<SSEMODE12>3, sse2_usadd<SSEMODE12>3,
1620 sub<SSEMODEI>3, sse2_sssub<SSEMODE12>3, sse2_ussub<SSEMODE12>3,
1621 ashr<SSEMODE24>3, lshr<SSEMODE248>3, sse2_eq<SSEMODE124>3,
1622 sse2_gt<SSEMODDE124>3, and<SSEMODEI>3, sse_nand<SSEMODEI>3,
1623 ior<SSEMODEI>3, xor<SSEMODEI>3): Macroize from existing patterns.
1624 (addv4sf3, sse_vmaddv4sf3, mulv4sf3, sse_vmmulv4sf3, smaxv4sf3,
1625 sse_vmsmaxv4sf3, sminv4sf3, sse_vmsminv4sf3, addv2df3, sse2_vmaddv2df3,
1626 mulv2df3, sse2_vmmulv2df3, smaxv2df3, sse2_vmsmaxv2df3, sminv2df3,
1627 sse2_vmsminv2df3, umaxv16qi3, smaxv8hi3, uminv16qi3
1628 sminv8hi3): Mark commutative
1629 operands. Use ix86_binary_operator_ok.
1630 (sse_unpckhps, sse_unpcklps, sse2_packsswb, sse2_packssdw,
1631 sse2_packuswb, sse2_punpckhbw, sse2_punpcklbw, sse2_punpckhwd,
1632 sse2_punpcklwd, sse2_punpckhdq, sse2_punpckldq, sse2_punpckhqdq,
1633 sse2_punpcklqdq): Allow operand2 in memory.
1634 (sse_movhlps, sse_movlhps, sse2_unpckhpd, sse2_unpcklpd
1635 sse2_movsd): Add memory alternatives.
1636 (sse_storelps): Turn expander into an insn; split after reload.
1637 (sse_storess, sse2_loadhpd, sse2_loadlpd): Add non-xmm inputs.
1638 (sse2_storehpd, sse2_storelpd): Add non-xmm outputs.
1639
1640 2005-01-08 Eric Botcazou <ebotcazou@libertysurf.fr>
1641
1642 * configure.ac (DWARF-2 debug_line): Use objdump.
1643 * configure: Regenerate.
1644
1645 2005-01-08 Jeff Law <law@redhat.com>
1646 Diego Novillo <dnovillo@redhat.com>
1647
1648 PR tree-optimization/18241
1649 * tree-nrv.c (tree_nrv): Ignore volatile return values.
1650 * tree-ssa-dse.c (dse_optimize_stmt): Do not optimize
1651 statements with volatile operands.
1652 * tree-ssa-operands.c (add_stmt_operand): Do add volatile
1653 operands after marking a statement with has_volatile_ops.
1654
1655 2005-01-08 Roger Sayle <roger@eyesopen.com>
1656
1657 * tree.c (int_fits_type_p): Always honor integer constant
1658 TYPE_MIN_VALUE and TYPE_MAX_VALUE if they exist.
1659
1660 2005-01-08 Roger Sayle <roger@eyesopen.com>
1661
1662 * ifcvt.c (find_if_case_1): Reinstate 2005-01-04 change, now that
1663 the latent bug in rtl_delete_block has been resolved.
1664
1665 2005-01-08 Richard Sandiford <rsandifo@redhat.com>
1666
1667 * config/mips/t-iris6 (MULTILIB_DIRNAMES): Use -mabi argument values.
1668 (MULTILIB_OSDIRNAMES): Use the standard lib, lib32 and lib64.
1669
1670 2005-01-08 Richard Sandiford <rsandifo@redhat.com>
1671
1672 * config/mips/t-slibgcc-irix (SHLIB_LINK): Install a copy of the
1673 library as @multilib_dir@/$(SHLIB_SONAME).
1674
1675 2005-01-07 Eric Botcazou <ebotcazou@libertysurf.fr>
1676
1677 * configure.ac (HAVE_AS_OFFSETABLE_LO10): Fix typo.
1678 * configure: Regenerate.
1679
1680 2005-01-07 Jakub Jelinek <jakub@redhat.com>
1681
1682 * c-common.c (handle_mode_attribute): For ENUMERAL_TYPE, also copy
1683 TYPE_MODE.
1684
1685 2005-01-07 David Edelsohn <edelsohn@gnu.org>
1686
1687 PR target/13674
1688 * config/rs6000/rs6000.c (rs6000_legitimize_reload_address):
1689 Convert non-word aligned offset address using ld/std into
1690 indirect address.
1691
1692 2005-01-07 Richard Henderson <rth@redhat.com>
1693
1694 * config/i386/i386.md (sse_loadhps splitter): Fix operand number typo.
1695
1696 2005-01-07 Richard SAndiford <rsandifo@redhat.com>
1697
1698 * tree.h (IS_EXPR_CODE_CLASS): Use a straight-forward range check.
1699
1700 2005-01-07 Jakub Jelinek <jakub@redhat.com>
1701
1702 PR tree-optimization/19283
1703 * fold-const.c (fold_widened_comparison): Return NULL if shorter_type
1704 is not shorter than the original type.
1705
1706 PR rtl-optimization/19012
1707 * config/i386/i386.md (addqi_1_slp): Set memory attribute.
1708
1709 PR rtl-optimization/18861
1710 * cfgbuild.c (BLOCK_USED_BY_TABLEJUMP): Define.
1711 (FULL_STATE): Define.
1712 (mark_tablejump_edge): New function.
1713 (purge_dead_tablejump_edges): New function.
1714 (find_bb_boundaries): Use it.
1715
1716 PR tree-optimization/18828
1717 * builtins.c (expand_builtin_next_arg): Remove argument and all
1718 the argument checking.
1719 (expand_builtin): Adjust caller.
1720 (expand_builtin_va_start): Likewise. Remove error for too many
1721 arguments.
1722 (fold_builtin_next_arg): Issue error for too many arguments.
1723 After checking arguments, replace them with magic arguments that
1724 prevent further checking of the args.
1725
1726 2005-01-06 John David Anglin <dave.anglin@nrc-cnrc.gc.ca>
1727
1728 * pa64-hpux.h (STARTFILE_SPEC): Fix typo in spec.
1729
1730 2005-01-06 Roger Sayle <roger@eyesopen.com>
1731
1732 PR target/6077
1733 * gcc.c (input_suffix_matches): Tweak the semantics of %{.s:...}
1734 and %{.S:...} (and their negative variants) to test whether the
1735 input file is assembler or pre-processed-assembler independent of
1736 the actual filename extension.
1737
1738 2005-01-06 Roger Sayle <roger@eyesopen.com>
1739
1740 * simplify-rtx.c (simplify_subreg): Simplify truncations of shifts
1741 of sign or zero extended values.
1742
1743 2005-01-06 Geoffrey Keating <geoffk@apple.com>
1744
1745 * c-cppbuiltin.c (builtin_define_float_constants): Set __*_EPSILON__
1746 for IBM long double format correctly.
1747
1748 2005-01-06 Daniel Berlin <dberlin@dberlin.org>
1749
1750 Fix PR tree-optimization/18792
1751
1752 * tree-data-ref.c (build_classic_dist_vector): Change first_loop
1753 to first_loop_depth, and use loop depth instead of loop number.
1754 (build_classic_dir_vector): Ditto.
1755 (compute_data_dependences_for_loop): Use depth, not loop number.
1756 * tree-loop-linear.c (try_interchange_loops): Use loop depth, not loop
1757 number. Pass in loops, instead of loop numbers.
1758 (gather_interchange_stats): Ditto.
1759 (linear_transform_loops): Ditto.
1760
1761 2005-01-06 Richard Sandiford <rsandifo@redhat.com>
1762
1763 PR rtl-opt/13299
1764 * loop.c (get_monotonic_increment, biased_biv_fits_mode_p,
1765 biv_fits_mode_p, extension_within_bounds_p): New functions.
1766 (check_ext_dependent_givs): Use them.
1767
1768 2005-01-06 Roger Sayle <roger@eyesopen.com>
1769
1770 * cfgrtl.c (rtl_delete_block): A basic block may be followed by
1771 more than one barrier, in which case we should delete them all.
1772
1773 2005-01-06 Tobias Schlueter <tobias.schlueter@physik.uni-muenchen.de>
1774
1775 * gcc.c (process_command): Change year in 'gcc --version' to 2005.
1776
1777 2005-01-05 Daniel Berlin <dberlin@dberlin.org>
1778
1779 Fix PR middle-end/19286
1780 Fix PR debug/19267
1781 * dwarf2out.c (gen_subprogram_die): If we've already tried to
1782 output this subprogram, simply ignore this attempt to do it again.
1783 (add_abstract_origin_attribute): Don't abort trying to add the abstract
1784 origin attribute if it's not possible.
1785 (gen_block_die): Don't ignore subblocks of "unused" blocks.
1786 (decls_for_scope): Ditto.
1787 * gimple-low.c (mark_blocks_with_used_subblocks): Remove.
1788 (mark_used_blocks): Don't call mark_blocks_with_used_subblocks.
1789
1790 2005-01-05 Richard Henderson <rth@redhat.com>
1791
1792 PR target/11327
1793 * config/i386/i386.c (BUILTIN_DESC_SWAP_OPERANDS): New.
1794 (bdesc_2arg): Use it.
1795 (ix86_expand_binop_builtin): Force operands into registers
1796 when optimizing.
1797 (ix86_expand_unop_builtin, ix86_expand_unop1_builtin,
1798 ix86_expand_sse_compare, ix86_expand_sse_comi,
1799 ix86_expand_builtin): Likewise.
1800
1801 2005-01-05 Richard Henderson <rth@redhat.com>
1802
1803 * config/ia64/ia64.c (rtx_needs_barrier): Handle CONST_VECTOR
1804 and VEC_SELECT.
1805 * config/ia64/vect.md (mulv8qi3): Re-implement with mix_[rl].
1806 (mulv4hi3): Set itanium_class mmmul.
1807 (fpack_sfxf, fpack_xfsf, fpack_xfxf): Remove.
1808 (fpack): Rename from fpack_sfsf.
1809
1810 2005-01-05 Richard Henderson <rth@redhat.com>
1811
1812 PR rtl-opt/10692
1813 * reload1.c (do_input_reload): Restrict the optimization deleteing
1814 a previous output reload to RELOAD_FOR_INPUT.
1815
1816 2005-01-05 Steven Bosscher <stevenb@suse.de>
1817
1818 * combine.c (expand_compound_operation) <ZERO_EXTRACT>: Add
1819 comment that we fall through after case.
1820 (mark_used_regs_combine): Don't expect a SIGN_EXTRACT in a SET_DEST.
1821 (distribute_links): Likewise.
1822 * cse.c (cse_insn): Likewise.
1823 * cselib.c (cselib_invalidate_mem): Likewise.
1824 * df.c: Update comments at the top of the file.
1825 (read_modify_subreg_p): Update comments here too.
1826 (df_def_record_1): Don't expect a SIGN_EXTRACT in a SET_DEST.
1827 * flow.c (mark_set_1): Likewise.
1828 (mark_used_regs): Likewise.
1829 * gcse.c (mems_conflict_for_gcse_p): Likewise.
1830 (canon_list_insert): Likewise.
1831 (mark_set): Likewise.
1832 (try_replace_reg): Likewise.
1833 (store_killed_in_insn): Likewise.
1834 * loop.c (count_one_set): Likewise.
1835 (basic_induction_var): Likewise.
1836 * postreload-gcse.c (find_mem_conflicts): Likewise.
1837 * postreload.c (reload_combine_note_store): Likewise.
1838 (move2add_note_store): Likewise.
1839 * reload.c (find_equiv_reg): Likewise.
1840 (mark_referenced_resources): Likewise.
1841 * rtlanal.c (set_noop_p): Likewise.
1842 (note_stores): Likewise.
1843 (note_uses): Likewise.
1844 * sched-deps.c (sched_analyze_1): Likewise.
1845 * sched-rgn.c (check_live_1): Likewise.
1846 (update_live_1): Likewise.
1847 * config/i860/i860.c: Likewise.
1848
1849 * rtl.dec (SIGN_EXTRACT): Document that this cannot appear as
1850 an lvalue.
1851 (ZERO_EXTRACT): Mention that this one can be an lvalue.
1852
1853 * doc/rtl.texi: Update documentation for bit-fields and SET.
1854
1855 2005-01-05 Roger Sayle <roger@eyesopen.com>
1856
1857 * ifcvt.c (find_if_case_1): Revert 2005-01-04 change.
1858
1859 2005-01-05 Jan Hubicka <jh@suse.cz>
1860 Richard Henderson <rth@redhat.com>
1861
1862 PR target/18910
1863 * config/i386/i386.c (ix86_expand_move): Handle tls symbols
1864 with an offset.
1865
1866 2005-01-05 Richard Henderson <rth@redhat.com>
1867
1868 PR target/12902
1869 * config/i386/i386.md (sse_movhps, sse_movlps): Remove.
1870 (sse_shufps): Change operand 3 to const_int_operand.
1871 (sse2_storelps): Fix typo in template.
1872 (sse_storehps, sse_loadhps, sse_storelps, sse_loadlps): New.
1873 * config/i386/i386.c (ix86_expand_vector_move_misalign): Use them.
1874 (ix86_expand_builtin): Likewise.
1875
1876 2005-01-05 Julian Brown <julian@codesourcery.com>
1877
1878 * config/arm/arm.c (arm_return_in_memory): Treat complex types
1879 as aggregates for AAPCS ABIs.
1880
1881 2005-01-05 Stan Shebs <shebs@apple.com>
1882
1883 * unwind-dw2-fde-darwin.c (examine_objects): Use 64-bit
1884 Mach-O getters if ppc64.
1885 * config/darwin.c (darwin_asm_output_dwarf_delta): Obey
1886 size argument.
1887 * config/darwin.h (ASM_PREFERRED_EH_DATA_FORMAT): Use
1888 signed four-byte field for global code case.
1889 (STARTFILE_SPEC): Avoid crt2.o for 64-bit compilation.
1890
1891 2005-01-05 Roger Sayle <roger@eyesopen.com>
1892
1893 PR middle-end/19100
1894 * c-common.c: Include real.h.
1895 (c_common_truthvalue_conversion): Avoid destructively modifying expr.
1896 Correctly handle TREE_CONSTANT_OVERFLOW for INTEGER_CST.
1897 Correctly handle TREE_CONSTANT_OVERFLOW and NaNs for REAL_CST.
1898 * Makefile.in (c-common.o): Update dependencies.
1899
1900 2005-01-05 Joseph S. Myers <joseph@codesourcery.com>
1901
1902 * c-parse.in (asm_string): Add trailing semicolon.
1903
1904 2005-01-05 Joseph S. Myers <joseph@codesourcery.com>
1905
1906 * c-parse.in (asm_string): New. Don't allow wide strings in
1907 'asm'.
1908 (simple_asm_expr, asm_argument, asm_operand, asm_clobbers): Use
1909 asm_string instead of STRING.
1910
1911 2005-01-05 Joseph S. Myers <joseph@codesourcery.com>
1912
1913 * c-typeck.c (constructor_no_implicit): Remove.
1914 (set_designator, process_init_element): Don't check
1915 constructor_no_implicit.
1916
1917 2005-01-05 J"orn Rennecke <joern.rennecke@st.com>
1918 Kaz Kojima <kkojima@gcc.gnu.org>
1919
1920 PR target/16482
1921 * lcm.c (create_pre_exit): New.
1922 (optimize_mode_switching): In MODE_ENTRY / MODE_EXIT case, set
1923 ENTRY_EXIT_EXTRA to 3. Use create_pre_exit.
1924
1925 2004-01-05 Richard Earnshaw <rearnsha@arm.com>
1926
1927 * arm.h (TARGET_OPTIONS): Correctly record -mhard-float and
1928 -msoft-float in target_float_switch.
1929 * arm.c (arm_override_options): Fix processing of target_float_switch.
1930
1931 2004-01-05 Richard Earnshaw <rearnsha@arm.com>
1932
1933 * arm/vfp.md (arm_movsi_vfp): Hide VFP register classes from register
1934 preferencing.
1935
1936 2004-01-05 Uros Bizjak <uros@kss-loka.si>
1937
1938 * doc/invoke.texi (Intel 386 and AMD x86-64 Options):
1939 Replace i387 with 'i386 compiler' in -mfpmath=sse option.
1940
1941 2005-01-04 Roger Sayle <roger@eyesopen.com>
1942
1943 * ifcvt.c (find_if_case_1): Avoid creating an empty forwarder block,
1944 if deleting the then-block allows the test-block to fallthru to the
1945 else-block.
1946
1947 2005-01-04 Andrew Pinski <pinskia@physics.uc.edu>
1948
1949 PR c/19152
1950 * c-decl.c (diagnose_mismatched_decls): Accept "extern inline" declared
1951 after the full declaration if the are in two different TUs.
1952
1953 2005-01-04 Richard Henderson <rth@redhat.com>
1954
1955 PR tree-opt/19158
1956 * tree-sra.c (generate_one_element_init): Just
1957 call gimplify_and_add.
1958 (generate_element_init): Record the
1959 new referenced variables and mark them for renaming
1960 and split out to ...
1961 (generate_element_init_1): This.
1962 (scalarize_init): Don't call push_gimplify_context/
1963 pop_gimplify_context.
1964
1965 2005-01-04 Geoffrey Keating <geoffk@apple.com>
1966
1967 * toplev.c (get_src_pwd): Handle failure of getpwd().
1968
1969 2005-01-04 Roger Sayle <roger@eyesopen.com>
1970
1971 * fold-const.c (fold_single_bit_test): Delete unreachable handling
1972 of TRUTH_NOT_EXPR.
1973 (fold): Don't call fold_single_bit_test with a TRUTH_NOT_EXPR, as
1974 all the cases handled by it are inverted by invert_truthvalue.
1975
1976 2005-01-04 Eric Botcazou <ebotcazou@libertysurf.fr>
1977
1978 * config/sparc/sparc.md (save_register_windowdi): Add missing mode.
1979 (save_register_windowsi): Likewise.
1980
1981 2005-01-04 Richard Henderson <rth@redhat.com>
1982
1983 * tree-mudflap.c (mf_varname_tree): Fix thinko setting declname.
1984
1985 2005-01-04 Uros Bizjak <uros@kss-loka.si>
1986
1987 PR middle-end/17767
1988 * cse.c (fold_rtx) [RTX_COMPARE, RTX_COMM_COMPARE]: Don't attempt
1989 any simplifications of vector mode comparison operators.
1990 * simplify-rtx.c (simplify_relational_operation): Fix variable name.
1991
1992 2005-01-04 Paolo Bonzini <bonzini@gnu.org>
1993 Devang Patel <dpatel@apple.com>
1994
1995 PR tree-optimization/18308
1996 * tree-if-conv.c (add_to_dst_predicate_list): Gimplify
1997 the operands before creating a new expression.
1998 * dojump.c (do_jump): Make drop_through_label available
1999 for all cases. Add expansion of COND_EXPR.
2000
2001 2005-01-04 Ira Rosen <irar@il.ibm.com>
2002
2003 * tree-vectorizer.c (vect_analyze_offset_expr): Test for
2004 INTEGER_CST instead of TREE_CONSTANT.
2005 (vect_gen_niters_for_prolog_loop): Test for INTEGER_CST
2006 instead of TREE_CONSTANT.
2007 (vect_analyze_pointer_ref_access): Test for INTEGER_CST
2008 instead of TREE_CONSTANT.
2009
2010 2005-01-04 Eric Botcazou <ebotcazou@libertysurf.fr>
2011
2012 * tree-eh.c (replace_goto_queue): Return early if the queue is empty.
2013
2014 2005-01-04 Uros Bizjak <uros@kss-loka.si>
2015
2016 PR target/19240
2017 * config/i386/i386.md (*fop_df_1_i387): Disable for TARGET_SSE_MATH.
2018 (*fop_df_1_i387): Disable for (TARGET_SSE2 && TARGET_SSE_MATH).
2019
2020 2005-01-03 Richard Henderson <rth@redhat.com>
2021
2022 * fold-const.c (force_fit_type): Cope with types larger than 2 HWI.
2023 (fold_convert_const_int_from_int, fold_convert_const_int_from_real,
2024 fold_convert_const_real_from_real): Split out from ...
2025 (fold_convert_const): ... here.
2026
2027 2005-01-03 Richard Henderson <rth@redhat.com>
2028
2029 PR target/19235
2030 * config/i386/i386.md (movdi_2): Separate SSE1 and SSE2 alternatives.
2031 (mov<MMXMODEI>_internal): Likewise.
2032 (movdf_nointeger): Prefer Y while not preferring, but allowing, x.
2033 Add V2SF case; use it for SSE1; don't use TI.
2034 (movdf_integer): Likewise.
2035 (mov<SSEMODEI>_internal, movti_internal): Force V4SF for SSE1.
2036
2037 2005-01-03 Ira Rosen <irar@il.ibm.com>
2038
2039 * tree-vectorizer.c (vect_strip_conversions): New function.
2040 (vect_analyze_offset_expr): Call vect_strip_conversions. Add
2041 check for binary class.
2042
2043 2005-01-03 Daniel Berlin <dberlin@dberlin.org>
2044
2045 Fix PR debug/17924
2046 Fix PR debug/19191
2047 * dwarf2out.c (block_ultimate_origin): Follow decl origin if origin
2048 is a decl.
2049 * gimple-low.c (mark_blocks_with_used_vars): New function.
2050 (mark_blocks_with_used_subblocks): Ditto.
2051 (mark_used_blocks): Ditto.
2052 (pass_mark_used_blocks): New pass.
2053 * tree-inline.c: Include debug.h.
2054 (expand_call_inline): Call outlining_inline_function here.
2055 * tree-optimize.c (init_tree_optimization_passes): Add
2056 pass_mark_used_blocks.
2057 * tree-pass.h (pass_mark_used_blocks): New.
2058 * Makefile.in (tree-inline.o): Add debug.h dependency.
2059
2060 2005-01-03 Geoffrey Keating <geoffk@apple.com>
2061
2062 * config/darwin.c (darwin_handle_weak_import_attribute): Permit
2063 VAR_DECLs to have weak_import attribute.
2064
2065 * config/rs6000/darwin-fallback.c: Use 'ucontext_t' rather than
2066 'struct ucontext'.
2067
2068 2004-01-03 Steven Bosscher <stevenb@suse.de>
2069
2070 * passes.c (rest_of_compilation): Don't run regmove if only
2071 flag_expensive_optimizations, require flag_regmove instead.
2072
2073 2005-01-03 Eric Botcazou <ebotcazou@libertysurf.fr>
2074
2075 * config/sparc/litecoff.h (TARGET_OS_CPP_BUILTINS): Do not
2076 register "sparc".
2077 * config/sparc/sysv4-only.h (TARGET_OS_CPP_BUILTINS): Likewise.
2078 * config/sparc/rtemself.h (TARGET_SUB_OS_CPP_BUILTINS): Likewise.
2079 * config/sparc/sol2-64.h (TARGET_SUB_OS_CPP_BUILTINS): Delete.
2080 * config/sparc/sp64-elf.h (TARGET_SUB_OS_CPP_BUILTINS): Likewise.
2081
2082 2005-01-03 Richard Henderson <rth@redhat.com>
2083
2084 * config/ia64/ia64.c (TARGET_VECTOR_MODE_SUPPORTED_P): New.
2085 (ia64_const_ok_for_letter_p): New.
2086 (ia64_const_double_ok_for_letter_p): New.
2087 (ia64_extra_constraint): New.
2088 (ia64_expand_vecint_compare): New.
2089 (ia64_expand_vcondu_v2si): New.
2090 (ia64_expand_vecint_cmov): New.
2091 (ia64_expand_vecint_minmax): New.
2092 (ia64_print_operand): Add 'v'.
2093 (ia64_preferred_reload_class): New.
2094 (ia64_vector_mode_supported_p): New.
2095 * config/ia64/ia64.h (UNITS_PER_SIMD_WORD): New.
2096 (PREFERRED_RELOAD_CLASS): Move to function.
2097 (CONST_OK_FOR_LETTER_P): Move to function.
2098 (CONST_DOUBLE_OK_FOR_LETTER_P): Move to function.
2099 (CONSTRAINT_OK_FOR_Q, CONSTRAINT_OK_FOR_R): Remove.
2100 (CONSTRAINT_OK_FOR_S, CONSTRAINT_OK_FOR_T): Remove.
2101 (EXTRA_CONSTRAINT): Move to function.
2102 * config/ia64/ia64.md: Include vect.md.
2103 (itanium_class): Add mmalua.
2104 (type): Handle it.
2105 * config/ia64/itanium1.md (1_mmalua): New. Add it to bypasses.
2106 (1b_mmalua): New.
2107 * config/ia64/itanium2.md (2_mmalua, 2b_mmalua): Similarly.
2108 * config/ia64/predicates.md (gr_reg_or_0_operand): Accept any
2109 CONST0_RTX.
2110 (const_int_2bit_operand): New.
2111 (fr_reg_or_0_operand): New.
2112 * config/ia64/ia64-modes.def: Add vector modes.
2113 * config/ia64/ia64-protos.h: Update.
2114 * config/ia64/vect.md: New file.
2115
2116 2005-01-03 Richard Henderson <rth@redhat.com>
2117
2118 * simplify-rtx.c (simplify_binary_operation): Handle VEC_CONCAT.
2119
2120 2005-01-03 Uros Bizjak <uros@kss-loka.si>
2121
2122 PR target/19236
2123 * config/i386/i386.c (log1psf2): Change mode of operands[0,1]
2124 to SFmode.
2125 (log1pdf2): Change mode of operands[0,1] to DFmode.
2126
2127 2005-01-03 Eric Botcazou <ebotcazou@libertysurf.fr>
2128
2129 * config/sparc/sparc.h (SPARC_RELAXED_ORDERING): Define to false.
2130 * config/sparc/linux.h (SPARC_RELAXED_ORDERING): Define to true.
2131 * config/sparc/linux64.h (SPARC_RELAXED_ORDERING): Likewise.
2132 * config/sparc/sparc.c (TARGET_RELAXED_ORDERING): Define to
2133 SPARC_RELAXED_ORDERING.
2134
2135 2005-01-03 Richard Henderson <rth@redhat.com>
2136 Uros Bizjak <uros@kss-loka.si>
2137
2138 PR target/14631
2139 * config/i386/i386.c (ix86_expand_builtin): [IX86_BUILTIN_PINSRW,
2140 IX86_BUILTIN_PINSRW128]: Fix wrong selector range in error message.
2141 * config/i386/i386.md (mmx_pinsrw, sse2_pinsrw): Fix selector
2142 handling.
2143 (*mmx_pinsrw, *sse2_pinsrw): New patterns.
2144 * config/i386/i386/predicates.md (const_pow2_1_to_8_operand,
2145 const_pow2_1_to_128_operand): New predicates.
2146
2147 2005-01-02 Greg McGary <greg@mcgary.org>
2148
2149 * tree-mudflap.c (mf_varname_tree): decl_printable_name handles
2150 anonymous decls.
2151 (mf_xform_derefs_1) [RESULT_DECL, STRING_CST]: Handle as innermost
2152 object. [ptr_type]: Remove unused variable.
2153 Remember nearest addressable array-element or record-component
2154 when checking bitfield components. Tolerate empty BIND_EXPR.
2155
2156 2005-01-01 Richard Henderson <rth@redhat.com>
2157
2158 * tree-vectorizer.c (vect_analyze_offset_expr): Strip conversions
2159 that don't narrow the value. Fail for other conversions.
2160
2161 2005-01-01 Richard Henderson <rth@redhat.com>
2162
2163 PR c/19031
2164 * c-decl.c (pop_file_scope): Call maybe_apply_pending_pragma_weaks.
2165 * c-lang.c (finish_file): Don't do it here.
2166 * objc/objc-act.c (objc_finish_file): Likewise.
2167
2168 * cgraph.c (decl_assembler_name_equal): New.
2169 (cgraph_node_for_asm, cgraph_varpool_node_for_asm): New.
2170 (cgraph_varpool_node): Actually link up cgraph_varpool_nodes.
2171 * cgraph.h (struct cgraph_varpool_node): Add next.
2172 (cgraph_node_for_asm, cgraph_varpool_node_for_asm): Declare.
2173 * varasm.c (assemble_alias): Mark the target as needed.
2174
2175 2005-01-01 Andrew Pinski <pinskia@physics.uc.edu>
2176
2177 PR middle-end/19221
2178 * function.c (get_arg_pointer_save_area): Use entry_of_function
2179 instead of get_insns.
2180
2181 2005-01-01 Roger Sayle <roger@eyesopen.com>
2182 Andrew Pinski <pinskia@physics.uc.edu>
2183 James E. Wilson <wilson@specifixinc.com>
2184
2185 PR rtl-optimization/12092
2186 * loop.c (emit_prefetch_instructions): Do nothing if PREFETCH_BLOCK
2187 is zero.
2188
2189 2005-01-01 Roger Sayle <roger@eyesopen.com>
2190 Olivier Hainque <hainque@act-europe.fr>
2191
2192 * tree.c (int_fits_type_p): A narrower type always fits in a
2193 wider one, except for negative values into unsigned types.
2194
2195 2005-01-01 Roger Sayle <roger@eyesopen.com>
2196
2197 * tree.c (int_fits_type_p): Compare the result of force_fit_type
2198 with the original constant rather than require TREE_OVERFLOW.
2199
2200 2005-01-01 Steven Bosscher <stevenb@suse.de>
2201
2202 PR middle-end/17544
2203 * c-decl.c (finish_function): If compiling C99, annotate the
2204 compiler generated return with the current file name and line 0.
2205 * tree-cfg.c (remove_useless_stmts_warn_notreached): Only warn if
2206 the source line is greater than 0.
2207 (remove_bb): Likewise.
2208
2209 See ChangeLog.12 for earlier changes.