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