1 2005-01-30 Richard Henderson <rth@redhat.com>
4 * config/i386/i386.c (ix86_expand_copysign): New.
5 (ix86_split_copysign_const): New.
6 (ix86_split_copysign_var): Rename from ix86_split_copysign,
7 rearrange op1/nmask operands.
8 * config/i386/i386-protos.h: Update.
9 * config/i386/i386.md (copysignsf3): Use ix86_expand_copysign.
10 (copysigndf3): Likewise.
11 (copysignsf3_const, copysigndf3_const): New.
12 (copysignsf3_var): Rename from copysignsf3, split out splitter
13 and fix split predicate for X constraint.
14 (copysigndf3_var): Similarly.
16 2005-01-30 Kazu Hirata <kazu@cs.umass.edu>
18 * optabs.c, doc/c-tree.texi, doc/install.texi, doc/md.texi,
19 doc/passes.texi, doc/rtl.texi, doc/sourcebuild.texi,
20 doc/tm.texi, doc/tree-ssa.texi: Update copyright.
22 2005-01-29 Richard Henderson <rth@redhat.com>
25 * config/i386/i386.md (movdf_nointeger, movdf_integer): Fix ordering
26 of # and * in constraints.
28 2005-01-29 Richard Henderson <rth@redhat.com>
31 * expr.c (store_field): Don't strip sub-mode cast when the input
34 2005-01-29 Richard Henderson <rth@redhat.com>
37 * expr.c (categorize_ctor_elements_1): Check for CONSTRUCTOR of a
40 2005-01-29 Richard Henderson <rth@redhat.com>
42 * combine.c (make_field_assignment): Fix argument order
45 2005-01-29 Richard Guenther <richard.guenther@uni-tuebingen.de>
47 PR tree-optimization/15791
48 * fold-const.c (extract_array_ref): New function.
49 (fold): Fold comparisons between &a[i] and &a[j] or
50 semantically equivalent trees.
52 2005-01-29 Jeff Law <law@redhat.com>
54 * gcse.c (insert_expr_in_table): Revamp handling of available
55 and anticipatable occurrence lists to avoid unnecessary list
57 (insert_set_in_table): Similarly.
59 2005-01-29 Joseph S. Myers <joseph@codesourcery.com>
61 * c-common.c (fix_string_type): Just use c_build_qualified_type to
63 (c_build_qualified_type): Build qualified array types with
64 TYPE_MAIN_VARIANT pointing to corresponding unqualified type.
65 * c-decl.c (c_make_fname_decl): Build unqualified array type
66 before qualified type.
67 (grokdeclarator): Use TYPE_MAIN_VARIANT of typedef type if element
68 type is qualified, not just if type itself is. Don't apply
69 qualifiers to array type when declarator is processed. Apply
70 qualifiers to field type whether or not it is an array type.
71 Don't handle array types specially for applying qualifiers to
73 * c-typeck.c (composite_type): Build unqualified element type and
74 array type when forming composite of array types.
75 (common_pointer_type, comptypes, comp_target_types,
76 type_lists_compatible_p, build_indirect_ref, build_array_ref,
77 convert_for_assignment): Don't apply TYPE_MAIN_VARIANT to array
79 (type_lists_compatible_p): Cache TREE_VALUE (args1) and TREE_VALUE
80 (args2) in variables a1 and a2.
82 2005-01-29 Kazu Hirata <kazu@cs.umass.edu>
84 * cse.c (n_elements_made, max_elements_made): Remove.
85 (insert): Don't touch n_elements_made.
86 (cse_main): Don't touch n_elements_made or max_elements_made.
88 2005-01-28 Stephane Carrez <stcarrez@nerim.fr>
91 * config/m68hc11/t-m68hc11-gas (dp-bit.c): Fix typo causing a
92 configuration part of dp-bit.c to be lost.
94 2005-01-28 Roger Sayle <roger@eyesopen.com>
96 * expmed.c (expand_mult_highpart_optab): When attempting to use
97 a non-widening multiplication in a wider mode, the operands need
98 to be converted (zero or sign extended) to that mode.
100 2005-01-28 Ian Lance Taylor <ian@airs.com>
104 * gimple-low.c (block_may_fallthru): TRY_FINALLY_EXPR only falls
105 through if both operands fall through.
107 2005-01-28 Kazu Hirata <kazu@cs.umass.edu>
109 * cse.c (fold_rtx) <PC>: Don't optimize.
111 2005-01-28 Jeff Law <law@redhat.com>
113 * fold-const.c (fold, case CEIL_MOD_EXPR): Optimize 0 % X.
114 (case FLOOR_MOD_EXPR, ROUND_MOD_EXPR, TRUNC_MOD_EXPR): Similarly.
116 2005-01-28 Kazu Hirata <kazu@cs.umass.edu>
118 * cse.c (cse_reg_info_free_list, cse_reg_info_used_list,
119 cse_reg_info_used_list_end): Remove.
120 (cse_reg_info_list, cse_reg_info_list_free): New.
121 (get_cse_reg_info): When allocating an instance of
122 cse_reg_info, add it to the beginning of the cse_reg_info_list
123 list. Remove code to maintain cse_reg_info_used_list.
124 (new_basic_block): Reset the free list to the beginning of
127 2005-01-28 Richard Sandiford <rsandifo@redhat.com>
129 * config/frv/frv.c (bdesc_2arg): Remove __MDPACKH.
130 (frv_init_builtins): Change its prototype to take 4 uhalf arguments.
131 (frv_expand_mdpackh_builtin): New function.
132 (frv_expand_builtin): Use it to expand __MDPACKH.
133 * doc/extend.texi (__MDPACKH): Update documentation.
135 2005-01-28 Uros Bizjak <uros@kss-loka.si>
137 * config/i386/i386.c (ix86_expand_fp_absneg_operator): Use
138 SSE_FLOAT_MODE_P for use_sse computation.
140 2005-01-28 Ralf Corsepius <ralf.corsepius@rtems.org>
143 * config/sparc/rtemself.h (LINK_GCC_C_SEQUENCE_SPEC): undefine.
145 2005-01-27 Richard Henderson <rth@redhat.com>
147 * builtins.c (expand_builtin_copysign): New.
148 (expand_builtin): Call it.
149 * genopinit.c (optabs): Add copysign_optab.
150 * optabs.c (init_optabs): Initialize it.
151 (expand_copysign): New.
152 * optabs.h (OTI_copysign, copysign_optab): New.
153 (expand_copysign): Declare.
155 * config/alpha/alpha.md (UNSPEC_COPYSIGN): New.
156 (copysignsf3, ncopysignsf3, copysigndf3, ncopysigndf3): New.
158 * config/i386/i386.c (ix86_build_signbit_mask): Split from ...
159 (ix86_expand_fp_absneg_operator): ... here.
160 (ix86_split_copysign): New.
161 * config/i386/i386-protos.h: Update.
162 * config/i386/i386.md (UNSPEC_COPYSIGN): New.
163 (copysignsf3, copysigndf3): New.
165 * config/ia64/ia64.md (UNSPEC_COPYSIGN): New.
166 (copysignsf3, ncopysignsf3): New.
167 (copysigndf3, ncopysigndf3): New.
168 (copysignxf3, ncopysignxf3): New.
169 * config/ia64/ia64.c (rtx_needs_barrier): Handle UNSPEC_COPYSIGN.
171 2005-01-27 Arend Bayer <arend.bayer@web.de>
172 Kazu Hirata <kazu@cs.umass.edu>
174 * cse.c: (find_best_addr): Don't call copy_rtx before calling
175 fold_rtx. Save cost recomputation if fold_rtx did nothing.
176 (fold_rtx) <ASM_OPERANDS>: Don't do anything if INSN is
179 2005-01-27 Jeff Law <law@redhat.com>
181 * tree-into-ssa.c (ssa_rewrite_initialize_block): Do not register
182 definitions of SSA_NAMEs which are not being rewritten.
183 (rewrite_ssa_into_ssa): Only initialize the current definition
184 of an SSA_NAME if that SSA_NAME has been marked for rewriting.
185 If checking is enabled, assert that SSA_NAME_AUX is clear for all
186 SSA_NAMEs before returning.
188 2005-01-27 Kazu Hirata <kazu@cs.umass.edu>
190 * c-common.def, c-dump.c, c-gimplify.c, c-objc-common.c,
191 cfgexpand.c, dbxout.c, function.h, opts.c, tree-flow-inline.h,
192 tree-ssa-operands.h, tree-ssa-threadupdate.c, tree-tailcall.c,
193 config/avr/avr.md, config/cris/aout.h, config/cris/cris.h,
194 config/mips/iris6.h, config/sh/sh.c: Update copyright.
196 2005-01-27 Steven Bosscher <stevenb@suse.de>
199 * opts.c (decode_options): Move flag_thread_jumps from -O1 and
200 higher to -O2 and higher. Likewise for tree PRE.
201 * tree-ssa-dom.c (tree_ssa_dominator_optimize): Only iterate at -O2
204 2005-01-27 Ian Lance Taylor <ian@airs.com>
207 * gimple-low.c (try_catch_may_fallthru): New static function.
208 (block_may_fallthru): Handle TRY_CATCH_EXPR.
209 * tree-inline.c (expand_call_inline): Don't warn about reaching
210 the end of a non-void function being inlined if the function uses
213 2005-01-27 Jakub Jelinek <jakub@redhat.com>
215 * config/i386/i386.h (CALL_USED_REGISTERS): Fix comment pastos.
218 * c-decl.c (warn_if_shadowing): Handle old_decl error_mark_node.
219 (pushdecl): Only use DECL_FILE_SCOPE_P if DECL_P.
220 (implicitly_declare): Handle error_mark_node.
222 2005-01-27 Richard Henderson <rth@redhat.com>
225 * tree.h (struct tree_decl): Add debug_expr_is_from.
226 (DECL_DEBUG_EXPR_IS_FROM): New.
227 (DECL_DEBUG_EXPR): Rename from DECL_DEBUG_ALIAS_OF.
228 * dwarf2out.c (dwarf2out_var_location): Update to match.
229 * tree-outof-ssa.c (create_temp): Likewise.
230 * var-tracking.c (track_expr_p): Likewise.
231 * tree-sra.c (instantiate_element): Set DECL_DEBUG_EXPR.
232 * c-objc-common.c (c_tree_printer) <'D'>: Handle DECL_DEBUG_EXPR.
233 * toplev.c (default_tree_printer): Likewise.
235 2005-01-27 Alexandre Oliva <aoliva@redhat.com>
237 * config/frv/frv.c (frv_class_likely_spilled_p): Add GR8_REGS,
238 GR9_REGS, GR89_REGS, FDPIC_FPTR_REGS, FDPIC_REGS.
240 2005-01-27 Steven Bosscher <stevenb@suse.de>
242 * tree.h (SWITCH_COND, SWITCH_BODY, SWITCH_LABELS, CASE_LOW,
243 CASE_HIGH, CASE_LABEL, ASM_STRING, ASM_OUTPUTS, ASM_INPUTS,
244 ASM_CLOBBERS): Add tree checks.
246 * c-common.h (SWITCH_TYPE): Rename to SWITCH_STMT_TYPE.
247 (SWITCH_STMT_COND, SWITCH_STMT_BODY): New.
248 * c-common.def (SWITCH_STMT): Update to match.
249 * c-common.c (c_do_switch_warnings): Use SWITCH_STMT accessor
250 macros instead of SWITCH_EXPR ones.
251 * c-dump.c (c_dump_tree): Likewise.
252 * c-gimplify.c (gimplify_switch_stmt): Likewise.
253 * c-typeck.c (c_start_case, do_case, c_finish_case): Likewise.
255 * doc/c-tree.texi (SWITCH_STMT): Update accessor macro names.
257 2005-01-27 Alan Modra <amodra@bigpond.net.au>
259 * unwind-dw2.c (execute_stack_op): Add missing cases for
260 DW_OP_shl, DW_OP_shr, DW_OP_shra, DW_OP_xor.
262 2005-01-27 Eric Botcazou <ebotcazou@libertysurf.fr>
264 * config.gcc (Obsolete configurations): Remove 'dummy', add
265 sparclite-*-coff*, sparclite-*-elf*, sparc86x-*-elf* and
268 2005-01-26 Diego Novillo <dnovillo@redhat.com>
270 PR tree-optimization/19633
271 * tree-ssa-alias.c (ptr_is_dereferenced_by): Also handle
273 (maybe_create_global_var): Do not create .GLOBAL_VAR if there
274 are no call-clobbered variables.
275 * tree-outof-ssa.c (check_replaceable): Return false for calls
278 2005-01-26 Ulrich Weigand <uweigand@de.ibm.com>
280 * dbxout.c (dbxout_symbol_location): Resolve constant pool references
281 even for variables with NULL DECL_INITIAL.
283 2005-01-26 Stuart Hastings <stuart@apple.com>
285 * gimplify.c (shortcut_cond_expr): Re-compute side-effects.
287 2005-01-26 Richard Henderson <rth@redhat.com>
290 * c-decl.c (finish_struct): Set DECL_MODE after resetting a
292 * expr.c (store_field): Strip conversions to odd-bit-sized types
293 if the destination field width matches.
295 2005-01-26 Richard Henderson <rth@redhat.com>
297 * c-decl.c, expmed.c, expr.c: Revert last change.
299 2005-01-26 Richard Henderson <rth@redhat.com>
302 * c-decl.c (finish_struct): Set DECL_MODE after resetting a
304 * expmed.c (store_fixed_bit_field): Create a paradoxical subreg
305 if we don't need the bits above those present in the current mode.
306 * expr.c (store_field): Strip conversions to odd-bit-sized types
307 if the destination field width matches.
309 2005-01-26 Richard Sandiford <rsandifo@redhat.com>
311 * config/mips/iris6.h (ENDFILE_SPEC): Don't link in irix-csr.o if
312 either -ffast-math or -funsafe-math-optimizations is in use.
314 2005-01-26 Marek Michalkiewicz <marekm@amelek.gda.pl>
318 * config/avr/avr.c (notice_update_cc): Only set condition code for
319 ashrqi3 if shift count > 0.
320 (out_shift_with_cnt): Handle shift count <= 0 as a no-op.
321 (ashlqi3_out, ashlhi3_out, ashlsi3_out, ashrqi3_out, ashrhi3_out,
322 ashrsi3_out, lshrqi3_out, lshrhi3_out, lshrsi3_out): Handle shift
323 count <= 0 as a no-op, and shift count >= width by copying zero
324 or sign bit to all bits of the result.
325 * config/avr/avr.md (all shifts): Add alternatives for zero shift
326 count, with attribute "length" set to 0 and "cc" set to "none".
328 2005-01-26 Aldy Hernandez <aldyh@redhat.com>
330 * doc/invoke.texi: Document -mTLS.
332 * testsuite/gcc.target/frv/all-tls-global-dynamic.c: New.
333 * testsuite/gcc.target/frv/all-tls-initial-exec.c: New.
334 * testsuite/gcc.target/frv/all-tls-initial-exec-pic.c: New.
335 * testsuite/gcc.target/frv/all-tls-local-dynamic.c: New.
336 * testsuite/gcc.target/frv/all-tls-local-dynamic-plt.c: New.
337 * testsuite/gcc.target/frv/all-tls-local-dynamic-plt-pic.c: New.
338 * testsuite/gcc.target/frv/all-tls-local-exec.c: New.
339 * testsuite/gcc.target/frv/all-tls-local-exec-TLS.c: New.
341 * configure.ac: Check for a TLS capable gas.
343 * configure: Regenerate.
345 2005-01-26 Richard Henderson <rth@redhat.com>
348 * combine.c (make_field_assignment): Simplify store to zero_extract
349 from a source with an overlapping mask.
351 2005-01-26 Aldy Hernandez <aldyh@redhat.com>
353 2004-11-11 Eric Christopher <echristo@redhat.com>
355 * config/frv/frv.md: Add fr400_integer automaton. Don't
356 allow TYPE_MUL, TYPE_MACC, or TYPE_CUT to issue in parallel
359 2005-01-26 Steven Bosscher <stevenb@suse.de>
362 * cfgbuild.c (make_edges): Do not clear or set
363 current_function_has_computed_jump.
364 * function.h (struct function): Remove the has_computed_jump field.
365 (current_function_has_computed_jump): Do not define.
366 * sched-rgn.c (is_cfg_nonregular): Return true if a basic block ends
367 in a computed jump. Ignore current_function_has_computed_jump.
369 2005-01-26 Richard Henderson <rth@redhat.com>
372 * expr.c (categorize_ctor_elements): New argument p_must_clear.
373 (categorize_ctor_elements_1): Likewise. Detect a union that isn't
375 (mostly_zeros_p): Update for new categorize_ctor_elements argument.
376 * gimplify.c (gimplify_init_constructor): Likewise. Only shove
377 objects into static storage if they have more than one non-zero value.
378 * tree.h (categorize_ctor_elements): Update decl.
380 2005-01-26 Steven Bosscher <stevenb@suse.de>
383 * tree.h (CALL_EXPR_TAILCALL): Add comment.
384 * calls.c (check_sibcall_argument_overlap_1): Revert the change
385 to this function from 2004-07-10.
386 * tree-tailcall.c (suitable_for_tail_opt_p): Do not consider the
387 the current function for tail call optimizations if the address
388 of one of it its arguments is taken.
390 2005-01-26 Kazu Hirata <kazu@cs.umass.edu>
392 * cse.c (fold_rtx): Call equiv_constant only when necessary.
394 2005-01-26 Bernd Schmidt <bernd.schmidt@analog.com>
396 * function.c (expand_function_end): If current_function_calls_alloca,
397 emit stack restore in a place that is reached when the function falls
400 2005-01-26 Alexandre Oliva <aoliva@redhat.com>
402 * Makefile.in (../$(build_subdir)/fixincludes/fixincl): Add dummy
403 rule to avoid matching inappropriate suffix rule.
405 2005-01-26 Jan Hubicka <jh@suse.cz>
407 PR tree-optimization/19241
408 * tree-inline.c (copy_body_r): Do not walk subtrees after substituting.
410 2005-01-26 Hans-Peter Nilsson <hp@axis.com>
412 * config/cris/cris.h (LIB_SPEC) <sim*>: Use -lsyslinux, not
413 -lsyssim. Wrap -lc -lsyssim in --start-group --end-group instead
415 (STARTFILE_SPEC): Add crti.o, before crtbegin.o.
416 <sim*>: Always use crt1.o, regardless of N in simN.
417 <!sim>: Drop support for -pg and -p variants; always use crt0.o.
418 (ENDFILE_SPEC): Add crtn.o, after crtend.o.
419 (CRT_CALL_STATIC_FUNCTION): Remove.
420 * config/cris/aout.h (STARTFILE_SPEC): <!melinux && sim*>: Always
421 use crt1.o, regardless of N in simN.
422 <!sim>: Drop support for -pg and -p variants; always use crt0.o.
423 (LIB_SPEC): Do not define; default to the one in config/cris/cris.h.
424 (CRIS_CPP_SUBTARGET_SPEC) <melinux && !nostdinc>: Remove special
425 case isystem setting.
426 (MAX_OFILE_ALIGNMENT): Correct to 32, not 16.
428 2005-01-25 Ian Lance Taylor <ian@airs.com>
430 * gimple-low.c (block_may_fallthru): Correct handling of
431 SWITCH_EXPR--may fall through if SWITCH_LABELS is NULL.
433 2005-01-26 Hans-Peter Nilsson <hp@axis.com>
435 * config/cris/cris.h (CPP_SPEC): Adjust the various mtune=
436 handlers to match indentation; nested under the mtune=* handler.
437 Similar for mcpu= and march=.
439 2005-01-25 Daniel Jacobowitz <dan@codesourcery.com>
441 * config/mips/linux.h (LIB_SPEC): Remove -rpath-link.
442 * config/mips/linux64.h (LIB_SPEC): Likewise.
443 * config/mn10300/linux.h (LIB_SPEC): Likewise.
444 * config/sh/linux.h (LIB_SPEC): Likewise.
446 2005-01-25 Aldy Hernandez <aldyh@redhat.com>
448 * config/frv/frv.c (frv_legitimize_tls_address): New.
449 (TARGET_HAVE_TLS): Define.
450 (FRV_SYMBOL_REF_TLS_P): Define.
451 (frv_override_options): Handle new register classes.
452 (frv_legitimate_address_p): Reject tls addresses.
453 (frv_legitimize_address): Handle TLS addresses.
454 (gen_inlined_tls_plt): New.
456 (frv_legitimize_tls_address): New.
457 (unspec_got_name): Add TLS entries.
458 (got12_operand): Add R_FRV_TLSMOFF12 case.
459 (frv_emit_move): Fixup TLS addresses.
460 (frv_emit_movsi): Legitimize TLS addresses.
462 * config/frv/frv.h (MASK_BIG_TLS): New.
463 (TARGET_BIG_TLS): New.
464 (HAVE_AS_TLS): Define.
465 (TARGET_SWITCHES): Add -mTLS and -mtls options.
466 (enum reg_class): Add GR8_REGS, GR9_REGS, GR89_REGS.
467 (REG_CLASS_NAMES): Same.
468 (REG_CLASS_CONTENTS): Same.
469 (CONSTRAINT_LEN): New.
470 (REG_CLASS_FROM_CONSTRAINT): New.
471 (PREDICATE_CODES): Add symbolic_operand.
473 * config/frv/frv.md (define_constants): Add UNSPEC_GETTLSOFF,
474 UNSPEC_TLS_LOAD_GOTTLSOFF12, UNSPEC_TLS_INDIRECT_CALL,
475 UNSPEC_TLS_TLSDESC_LDD, UNSPEC_TLS_TLSDESC_LDD_AUX,
476 UNSPEC_TLS_TLSOFF_LD, UNSPEC_TLS_LDDI, UNSPEC_TLSOFF_HILO,
477 R_FRV_GOTTLSOFF_HI, R_FRV_GOTTLSOFF_LO, R_FRV_TLSMOFFHI,
478 R_FRV_TLSMOFFLO, R_FRV_TLSMOFF12, R_FRV_TLSDESCHI,
479 R_FRV_TLSDESCLO, R_FRV_GOTTLSDESCHI, R_FRV_GOTTLSDESCLO, GR8_REG,
480 GR9_REG, GR14_REG, LRREG.
481 (type): Add load_or_call attribute.
482 ("load_or_call"): New reservation.
483 ("call_gettlsoff"): New.
484 ("tls_indirect_call"): New.
485 ("tls_load_gottlsoff12"): New.
486 ("tlsoff_hilo"): New.
487 ("tls_tlsdesc_ldd"): New.
488 ("tls_tlsoff_ld"): New.
491 * config/frv/frv-protos.h (symbolic_operand): Protoize.
493 2005-01-25 Alexandre Oliva <aoliva@redhat.com>
495 * config/frv/frv.h (ASM_OUTPUT_DWARF_DTPREL): Define.
496 * config/frv/frv-protos.h (frv_output_dwarf_dtprel): Declare.
497 * config/frv/frv.c (TLS_BIAS): Define.
498 (frv_output_dwarf_dtprel): New.
500 2005-01-26 Jakub Jelinek <jakub@redhat.com>
502 PR rtl-optimization/19579
503 * ifcvt.c (noce_try_cmove_arith): If emitting instructions to set up
504 both A and B, see if they don't clobber registers the other expr uses.
506 2005-01-25 J"orn Rennecke <joern.rennecke@st.com>
508 * real.c (do_add): Initialize signalling and canonical members.
510 * real.c (real_from_integer): Zero out destination.
512 2005-01-18 Jan Hubicka <jh@suse.cz>
514 PR tree-optimize/19337
515 * tree-inline.c (initialize_inlined_parameters): Copy
516 saved_static_chain_decl only.
518 2005-01-25 Richard Henderson <rth@redhat.com>
522 * config/i386/i386.c (x86_inter_unit_moves): Zero.
523 (ix86_preferred_reload_class): Rewrite fp-constant section, with
524 80387 enabled, to return a proper subclass. Return the subset that
525 overlaps with GENERAL_REGS for PLUS.
526 * config/i386/i386.md (movsi_1, movdi_2): Set type to "mmx" for pxor.
528 2005-01-25 Richard Henderson <rth@redhat.com>
531 * tree-complex.c (expand_complex_div_wide): Use the correct formulae.
533 2005-01-25 Roger Sayle <roger@eyesopen.com>
535 * expmed.c (choose_multiplier): Change interface to return the
536 multiplier lowpart as an rtx instead of an unsigned HOST_WIDE_INT.
537 (expand_divmod): Update calls to choose_multiplier.
539 2005-01-24 John David Anglin <dave.anglin@nrc-cnrc.gc.ca>
542 * expmed.c (extract_bit_field): Use adjust_address instead of
543 gen_lowpart when op0 is a MEM.
545 2005-01-24 Steven Bosscher <stevenb@suse.de>
547 * cfgexpand.c (expand_gimple_tailcall): Fix typo.
549 2005-01-24 Richard Sandiford <rsandifo@redhat.com>
551 * config/mips/irix-csr.c: New file.
552 * config/mips/t-iris6 (irix-csr.o): New rule to build it.
553 (EXTRA_MULTILIB_PARTS): Add irix-csr.o.
554 * config/mips/iris6.h (ENDFILE_SPEC): Include it in n32 and n64
557 2005-01-24 Eric Botcazou <ebotcazou@libertysurf.fr>
560 * config.gcc (sparc-*-elf*): Remove sol2.h, sparc/sol2.h and
561 sparc/elf.h, add sparc/sp-elf.h.
562 (sparc-*-rtems*): Likewise.
563 (sparclite-*-elf*): Remove sol2.h, sparc/sol2.h, sparc/elf.h and
564 tm-dwarf2.h, add sparc/sp-elf.h.
565 (sparc86x-*-elf): Likewise.
566 (sparc64-*-elf*): Remove sol2.h, sparc/sol2.h and tm-dwarf2.h.
567 * config/sparc/liteelf.h (TARGET_SUB_OS_CPP_BUILTINS): Rename into
568 TARGET_OS_CPP_BUILTINS.
569 * config/sparc/sp86x-elf (TARGET_SUB_OS_CPP_BUILTINS): Likewise.
570 * config/sparc/rtemself.h (TARGET_SUB_OS_CPP_BUILTINS): Likewise.
572 * config/sparc/openbsd64.h (NO_IMPLICIT_EXTERN_C): Undefine.
573 * config/sparc/sp64-elf.h (NO_IMPLICIT_EXTERN_C): New macro.
574 (SWITCH_TAKES_ARG): Likewise.
575 (LOCAL_LABEL_PREFIX): Likewise.
576 (ASM_GENERATE_INTERNAL_LABEL): Likewise.
577 (TARGET_N_FORMAT_TYPES): Delete.
578 (TARGET_FORMAT_TYPES): Likewise.
579 (ASM_DECLARE_FUNCTION_SIZE): Likewise.
580 * config/sparc/elf.h: Delete.
581 * config/sparc/sp-elf.h: New file.
583 2005-01-24 Kazu Hirata <kazu@cs.umass.edu>
585 * tree-flow-inline.h (phi_arg_from_edge): Remove.
586 * tree-flow.h: Remove the corresponding prototype.
587 * tree-ssa-operands.h, tree-ssa-threadupdate.c, tree-ssa.c,
588 tree-vectorizer.c: Use dest_idx instead of phi_arg_from_edge.
590 2005-01-24 Jakub Jelinek <jakub@redhat.com>
593 * config/rs6000/rs6000.c (rs6000_file_start): Create toc section
594 for AIX ABI or ELF -fPIC.
595 (rs6000_emit_load_toc_table): Don't create toc_section here.
596 (rs6000_xcoff_file_start): Nor here.
598 2005-01-24 J"orn Rennecke <joern.rennecke@st.com>
600 * sh.c (ra.h): Don't #include.
601 (hard_regs_intersect_p): New function, resurrected from ra.c.
603 * sh.c: Fix 1996 Copyright.
605 2005-01-24 Richard Henderson <rth@redhat.com>
606 Aldy Hernandez <aldyh@redhat.com>
608 * regrename.c (note_sets): Handle subregs.
610 2005-01-24 Joseph S. Myers <joseph@codesourcery.com>
613 * genconditions.c (write_header, write_conditions): Elide file if
616 2005-01-24 Kazu Hirata <kazu@cs.umass.edu>
618 * c-opts.c, expmed.c, gengtype.c, tree-complex.c,
619 config/arm/iwmmxt.md, config/avr/avr.c, config/s390/s390.h:
622 2005-01-24 Jakub Jelinek <jakub@redhat.com>
624 * builtins.c (get_pointer_alignment, gimplify_va_arg_expr,
625 expand_builtin_printf, expand_builtin_fprintf,
626 expand_builtin_sprintf): Use POINTER_TYPE_P instead TREE_CODE
627 checking against POINTER_TYPE.
628 (validate_arglist): Handle POINTER_TYPE code by checking
631 2005-01-24 Paolo Bonzini <bonzini@gnu.org>
633 * rtlanal.c (non_rtx_starting_operands, for_each_rtx_1,
635 (for_each_rtx): Call for_each_rtx_1.
636 * rtl.h (init_rtlanal): Declare.
637 * toplev.c (backend_init): Call init_rtlanal.
639 2005-01-24 Jakub Jelinek <jakub@redhat.com>
641 * flow.c (propagate_one_insn): Formatting.
644 * flow.c (libcall_dead_p): Be more conservative if unsure.
645 If there are any instructions between insn and call, see if they are
646 all dead before saying the libcall is dead.
648 2005-01-24 Uros Bizjak <uros@kss-loka.si>
650 * config/i386/i386.md (*extendsfdf2_sse): Use "nonimmediate_operand"
651 operand constraint for operand 0.
653 2005-01-23 Richard Henderson <rth@redhat.com>
656 * tree-complex.c (expand_complex_div_wide): Set EDGE_FALLTHRU on
657 edges leading to join block.
659 2005-01-23 Roger Sayle <roger@eyesopen.com>
661 * expmed.c (expand_mult_highpart): Make static. Change type of
662 constant multiplier argument from unsigned HOST_WIDE_INT to rtx.
663 (expand_divmod): Updates calls to expand_mult_highpart by using
664 gen_int_mode to pass a CONST_INT rtx.
665 * rtl.h (expand_mult_highpart): Remove prototype.
667 2005-01-23 Kazu Hirata <kazu@cs.umass.edu>
669 * flow.c (regset_bytes, regset_size): Remove.
671 * cfganal.c: Fix a reference to Harvey's paper.
673 2005-01-23 Steven Bosscher <stevenb@suse.de>
675 PR rtl-optimization/19464
676 * tree-optimize.c (init_tree_optimization_passes): Add one more
677 copyrename pass just before out-of-ssa.
679 2005-01-23 Joseph S. Myers <joseph@codesourcery.com>
682 * recog.c (recog_memoized): Don't define if GENERATOR_FILE.
683 * ggc-none.c (ggc_free): Define.
685 2005-01-23 Kazu Hirata <kazu@cs.umass.edu>
687 * cse.c (max_reg, max_insn_uid): Remove.
688 (cse_main): Don't access max_reg or max_insn_uid.
690 * c-common.c (explicit_flag_signed_bitfields,
691 lang_statement_code_p, lang_expand_function_end): Remove.
692 * c-common.h: Remove the corresponding declarations.
693 * c-opts.c (c_common_handle_option): Remove all write access
694 to explicit_flag_signed_bitfields.
696 * cgraph.c (cgraph_varpool_n_nodes): Remove.
697 (cgraph_varpool_node): Don't access cgraph_varpool_n_nodes.
698 * cgraph.h: Remove the corresponding declaration.
700 * gcse.c (null_pointer_info): Remove.
702 2005-01-23 Roger Sayle <roger@eyesopen.com>
703 Eric Botcazou <ebotcazou@libertysurf.fr>
705 * combine.c (simplify_logical): Only simplify logical expressions
706 of the form ior(and(x,y),z) by the inverse distributive law if the
707 result is cheaper than the original.
709 2005-01-23 Kazu Hirata <kazu@cs.umass.edu>
711 * alias.c, c-common.h, c-incpath.c, c-incpath.h, expr.c,
712 fold-const.c, gimplify.c, params.h, tree-data-ref.c,
713 tree-if-conv.c, tree-nested.c, tree-outof-ssa.c,
714 tree-ssa-dom.c, tree-vectorizer.c, tree.def, config/darwin.c,
715 config/freebsd-spec.h, config/arm/arm.h,
716 config/h8300/h8300.md, config/i386/i386.md,
717 config/i386/predicates.md, config/i386/sse.md,
718 config/ia64/ia64.c, config/ip2k/ip2k.c, config/s390/s390.c,
719 config/vax/vax.md: Fix comment typos. Follow spelling
722 2005-01-23 Steven Bosscher <stevenb@suse.de>
724 * gengtype.c (walk_type): Produce `not equal to' compares for loop
725 tests, instead of `less than'.
727 2005-01-23 Richard Sandiford <rsandifo@redhat.com>
729 * function.c (assign_parm_setup_block): When creating a new stack slot
730 for a parameter, get its alignment from the parameter's DECL_ALIGN
731 rather than the type's TYPE_ALIGN. Make sure that the parameter
732 is at least word aligned.
734 2005-01-22 Roger Sayle <roger@eyesopen.com>
737 * config/avr/avr.c (avr_hard_regno_mode_ok): Rewrite.
739 2005-01-22 Richard Henderson <rth@redhat.com>
742 * config/i386/i386.md (movsfcc_1_sse_max): Use nonimmediate_operand
743 in both compare operands.
744 (movdfcc_1_sse_max): Likewise.
745 (movsfcc_1_sse): Likewise. Add earlyclobber for scratch.
746 (movdfcc_1_sse): Likewise.
747 * config/i386/i386.c (ix86_split_sse_movcc): Emit copies into the
748 scratch register as needed.
750 2005-01-22 Richard Henderson <rth@redhat.com>
752 * config/i386/i386.md (smaxsf3): Fix mnemonic typo.
754 * config/i386/i386.c (ix86_prepare_fp_compare_args): Fix is_sse test.
756 2005-01-22 Richard Henderson <rth@redhat.com>
758 * genopinit.c (optabs): Use smin/smax for floating point too.
759 * doc/md.texi: Update to match. Clarify that floating point
760 results are undefined for +0/-0 and NaN.
761 * doc/rtl.texi: Likewise.
762 * rtl.def (SMIN, SMAX): Likewise
763 * tree.def (MIN_EXPR, MAX_EXPR): Likewise.
765 * config/alpha/alpha.md (smaxdf3, smindf3, smaxsf3, sminsf3): Add
766 leading 's' to the name.
767 * config/ia64/ia64.md (smaxsf3, sminsf3, smaxdf3, smindf3,
768 smaxxf3, sminxf3): Likewise.
769 * config/rs6000/rs6000.md (smaxdf3, smindf3, smaxsf3, sminsf3):
772 2005-01-22 Paul Brook <paul@codesourcery.com>
774 * config/arm/arm.md: Use "Uy" constraint for wcgr load/stores.
776 2005-01-21 Mark Dettinger <dettinge@de.ibm.com>
778 * config/s390/s390.c (struct processor_costs): New fields
779 dlgr, dlr, dr, dsgfr, dsgr.
780 (z900_cost, z990_cost): Values for new fields.
781 (s390_rtx_costs): New cases MEM und COMPARE in switch
782 statement. Modified handling of SIGN_EXTEND, ZERO_EXTEND,
783 DIV, MOD, UDIV, UMOD.
785 2005-01-21 Ulrich Weigand <uweigand@de.ibm.com>
787 * config/s390/s390.md ("doloop_si64"): Reload input value directly
788 into the register being decremented.
789 ("doloop_si31", "doloop_di"): Likewise.
790 ("*doloop_si_long"): Adapt pattern.
792 2005-01-21 Ulrich Weigand <uweigand@de.ibm.com>
794 * config/s390/s390.h (HARD_REGNO_NREGS): Fix computation for
796 (CLASS_MAX_NREGS): Likewise.
798 2005-01-21 Daniel Berlin <dberlin@dberlin.org>
800 * doc/tree-ssa.texi (Statement Operands): Add example for new
801 must-def macro. Note deprecation of old operands interface.
803 2005-01-22 Richard Sandiford <rsandifo@redhat.com>
805 PR tree-optimization/19484
806 * tree-cfg.c (remove_fallthru_edge): New function.
807 (cleanup_control_flow): Remove fallthru edges from calls that are
808 now known not to return.
810 2005-01-20 Daniel Berlin <dberlin@dberlin.org>
812 Fix PR tree-optimization/19038
813 * tree-ssa-dom.c (cprop_operand): Don't replace loop invaeriant
814 copies with loop variant ones.
816 2005-01-22 Kazu Hirata <kazu@cs.umass.edu>
818 * cfganal.c, real.h, reorg.c, timevar.def, tree-ssa-ccp.c,
819 config/alpha/alpha-protos.h, config/alpha/alpha.h,
820 config/alpha/alpha.md, config/alpha/predicates.md,
821 config/sparc/freebsd.h, config/sparc/netbsd-elf.h,
822 config/sparc/sol2.h: Update copyright.
824 * tree-cfg.c (remove_forwarder_block_with_phi): Look at the
825 first label to see if it is a nonlocal label.
827 2005-01-22 David Edelsohn <edelsohn@gnu.org>
828 Andrew Pinski <pinskia@physics.uc.edu>
831 * config/rs6000/rs6000.c (rs6000_va_start): Saturate n_gpr at
832 maximum number of GPRs. Saturate n_fpr at maximum number of FPRs.
834 2005-01-22 Ralf Corsepius <ralf.corsepius@rtems.org>
836 * config/rs6000/rtems.h: Update copyright.
838 2005-01-22 Ralf Corsepius <ralf.corsepius@rtems.org>
841 * config/rs6000/rtems.h: Resurrect cpp_os_rtems_spec from gcc < 3.4.
842 (CPP_OS_RTEMS_SPEC): New (From gcc-3.3's config/rs6000/sys4.h).
843 (SUBSUBTARGET_EXTRA_SPECS): Use CPP_OS_RTEMS_SPEC.
845 2005-01-22 Volker Reichelt <reichelt@igpm.rwth-aachen.de>
848 * c-typeck.c (convert_arguments): Check for error_mark_node.
850 2005-01-21 Ian Lance Taylor <ian@airs.com>
852 PR tree-optimization/13000
853 * tree-inline.c: Include "tree-flow.h".
854 (expand_call_inline): If warn_return_type, warn if non-void inline
855 function falls through.
856 * tree-cfg.c (execute_warn_function_return): Don't warn about
857 control reaching end if TREE_NO_WARNING is set. Set
859 * gimple-low.c (block_may_fallthru): Don't assume that SWITCH_EXPR
861 * gimplify.c (shortcut_cond_expr): Don't emit a jump over the else
862 branch if we don't need one.
863 * c-typeck.c: Include "tree-flow.h"
864 (c_finish_bc_stmt): Don't add a goto if the current statement
865 list doesn't fall through to the current point.
867 2005-01-21 Roger Sayle <roger@eyesopen.com>
869 PR rtl-optimization/576
870 * real.c (real_arithmetic): Change return type from void to bool
871 to return an indication that the result may be inexact.
872 * real.h (real_arithmeric): Update prototype.
873 * fold-const.c (const_binop): Don't constant fold floating
874 point expressions when the user specifies -frounding-math and
875 the result may depend upon the run-time rounding mode.
876 (fold_convert_const_real_from_real): Clean-up.
877 (fold_initializer): Ignore flag_rounding_math for initializers.
878 * simplify-rtx.c (simplify_binary_operation): Likewise, don't
879 constant fold FP operations with flag_rounding_math if the
880 result may depend upon the run-time rounding mode.
882 2005-01-21 Tom Tromey <tromey@redhat.com>
884 * c-cppbuiltin.c (define__GNUC__): Correct assertion.
886 2005-01-21 Kazu Hirata <kazu@cs.umass.edu>
888 * tree-cfg.c: Fix comment typos.
890 2005-01-21 J"orn Rennecke <joern.rennecke@st.com>
892 * passes.c (rest_of_handle_flow2): Close / open the flow2 dump file
893 around the call to rest_of_handle_branch_target_load_optimize.
895 2005-01-21 Eric Botcazou <ebotcazou@libertysurf.fr>
897 * config.gcc (sparc-*-netbsdelf*): Include dbxelf.h
898 (sparc64-*-openbsd*): Likewise.
899 (sparclite-*-elf*): Include tm-dwarf2.h.
900 (sparc86x-*-elf*): Likewise.
901 (sparc64-*-elf*): Likewise.
902 * config/sparc/linux64.h (DWARF2_DEBUGGING_INFO): Delete.
903 (DBX_DEBUGGING_INFO): Likewise.
904 * config/sparc/liteelf.h (DWARF2_DEBUGGING_INFO): Likewise.
905 (PREFERRED_DEBUGGING_TYPE): Likewise.
906 * config/sparc/netbsd-elf.h (PREFERRED_DEBUGGING_TYPE): Likewise.
907 * config/sparc/sp64-elf.h (DBX_DEBUGGING_INFO): Likewise.
908 (PREFERRED_DEBUGGING_TYPE): Likewise.
909 * config/sparc/sp86x-elf.h (DWARF2_DEBUGGING_INFO): Likewise.
910 (PREFERRED_DEBUGGING_TYPE): Likewise.
911 * config/sparc/sparc.h (DBX_DEBUGGING_INFO): Likewise.
913 2005-01-21 Hans-Peter Nilsson <hp@bitrange.com>
916 * combine.c (combine_simplify_rtx): Revert change of 2004-12-31.
918 2005-01-20 Paul Brook <paul@codesourcery.com>
920 * doc/rtl.texi: Document value extension requirements for CONST_INT.
922 2005-01-20 Kazu Hirata <kazu@cs.umass.edu>
924 * tree-cfg.c (tree_verify_flow_info): Check that a nonlocal
925 label is first in a sequence of labels.
927 * tree-cfg.c (tree_verify_flow_info): Fix a typo.
929 2005-01-20 Janis Johnson <janis187@us.ibm.com>
930 Giovanni Bajo <giovannibajo@gcc.gnu.org>
932 * doc/sourcebuild.texi (Test Directives): New.
934 2005-01-20 Roger Sayle <roger@eyesopen.com>
936 * real.c (real_floor): Don't leave the result uninitialized when
937 mode is VOIDMode, but return the unrounded intermediate value.
938 (real_ceil): Likewise.
940 2005-01-20 Paul Brook <paul@codesourcery.com>
942 * config/arm/arm.md (insv): Use gen_int_mode.
944 2005-01-20 Eric Botcazou <ebotcazou@libertysurf.fr>
946 * config/sparc/freebsd.h (ASM_OUTPUT_INTERNAL_LABELREF): Delete.
947 * config/sparc/linux.h (ASM_OUTPUT_INTERNAL_LABELREF): Likewise.
948 * config/sparc/linux64.h (ASM_OUTPUT_INTERNAL_LABELREF): Likewise.
949 * config/sparc/netbsd-elf.h (ASM_OUTPUT_INTERNAL_LABELREF): Likewise.
950 * config/sparc/sol2.h (ASM_OUTPUT_INTERNAL_LABELREF): Likewise.
952 2005-01-20 Daniel Berlin <dberlin@dberlin.org>
955 * dwarf2out.c (concat_loc_descriptor): We don't know we can use
956 fbreg, so we have to assume we can't.
957 (loc_descriptor_from_tree_1): Ditto.
958 (containing_function_has_frame_base): New function.
959 (add_location_or_const_value_attribute): Use it.
960 Also try to generate a frame_base from a single element location
963 2005-01-20 Kazu Hirata <kazu@cs.umass.edu>
965 PR tree-optimization/15349
966 * timevar.def (TV_TREE_MERGE_PHI): New.
967 * tree-cfg.c (tree_forwarder_block_p): Add a new argument
969 (remove_forwarder_block, cleanup_forwarder_blocks): Adjust the
970 calls to tree_forwarder_block_p.
971 (remove_forwarder_block_with_phi, merge_phi_nodes,
972 gate_merge_phi, pass_merge_phi): New.
973 * tree-optimize.c (init_tree_optimization_passes): Add
975 * tree-pass.h: Add an extern for pass_merge_phi;
977 2005-01-20 Richard Henderson <rth@redhat.com>
980 * config/i386/emmintrin.h (_mm_castpd_ps, _mm_castpd_si128): New.
981 (_mm_castps_pd, _mm_castps_si128): New.
982 (_mm_castsi128_ps, _mm_castsi128_pd): New.
984 2005-01-20 Richard Henderson <rth@redhat.com>
987 * config/i386/mmintrin.h (_mm_cvtsi32_si64): Use
988 __builtin_ia32_vec_init_v2si.
989 (_mm_cvtsi64_si32): Use __builtin_ia32_vec_ext_v2si.
990 * config/i386/i386.c (IX86_BUILTIN_VEC_EXT_V2SI): New.
991 (ix86_init_mmx_sse_builtins): Create it.
992 (ix86_expand_builtin): Expand it.
993 (ix86_expand_vector_set): Handle V2SFmode and V2SImode.
994 * config/i386/mmx.md (vec_extractv2sf_0, vec_extractv2sf_1): New.
995 (vec_extractv2si_0, vec_extractv2si_1): New.
997 2005-01-20 Richard Henderson <rth@redhat.com>
1000 * config/i386/i386.c (ix86_expand_push): New.
1001 * config/i386/mmx.md (push<MMXMODE>1): New.
1002 * config/i386/sse.md (push<SSEMODE>1): New.
1003 * config/i386/i386-protos.h: Update.
1005 2005-01-20 Kazu Hirata <kazu@cs.umass.edu>
1007 * params.def, params.h, predict.c, tree-ssa-loop-im.c: Update
1010 2005-01-20 Richard Henderson <rth@redhat.com>
1012 * rtl.def (CONST_VECTOR): Use RTX_CONST_OBJ.
1013 * rtl.h (CONSTANT_P): Don't special case CONST_VECTOR.
1015 2005-01-19 Richard Henderson <rth@redhat.com>
1018 * config/i386/i386.c (ix86_expand_vector_move_misalign): Convert
1019 to V4SFmode in SSE1 fallback load path.
1021 2005-01-19 Richard Henderson <rth@redhat.com>
1023 * config/i386/i386.c (ix86_expand_vector_init_one_var): Fix typo
1024 in QImode expansion to ix86_expand_vector_set.
1025 (ix86_expand_vector_init_general): Fix typo in V8HImode recursive call.
1027 2005-01-19 Richard Henderson <rth@redhat.com>
1030 * config/i386/i386.c (ix86_preferred_reload_class): Return a proper
1031 subclass of the input class.
1032 (ix86_secondary_memory_needed): Always true for cross-MMX classes.
1033 Always true for cross-SSE1 classes. Rationalize conditionals.
1034 * config/i386/i386.h (SSE_CLASS_P, MMX_CLASS_P): Use straight equality.
1035 * config/i386/i386.md (movsi_1): Add MMX/SSE zeros. Fix alternatives
1036 for SSE1. Don't check TARGET_INTER_UNIT_MOVES.
1037 (movdi_2): Add MMX/SSE zeros.
1038 (movdi_1_rex64): Likewise. Don't check TARGET_INTER_UNIT_MOVES.
1039 (movsf_1): Don't check TARGET_INTER_UNIT_MOVES.
1040 (zero_extendsidi2_32, zero_extendsidi2_rex64): Likewise.
1041 (movsi_1_nointernunit, movdi_1_rex64_nointerunit): Remove.
1042 (movsf_1_nointerunit, zero_extendsidi2_32_1): Remove.
1043 (zero_extendsidi2_rex64_1): Remove.
1044 (MOV0 peephole): Check GENERAL_REG_P.
1046 2005-01-19 Richard Henderson <rth@redhat.com>
1049 * config/i386/i386.c (ix86_expand_vector_set): Fix third and fourth
1051 (ix86_expand_vector_extract): Likewise.
1053 2005-01-19 Richard Henderson <rth@redhat.com>
1056 * expr.c (emit_move_change_mode): New argument force; use
1057 simplify_gen_subreg if true.
1058 (emit_move_via_alt_mode): Merge into ...
1059 (emit_move_via_integer): ... here.
1060 (emit_move_ccmode): Use emit_move_change_mode directly.
1062 2005-01-19 Richard Henderson <rth@redhat.com>
1065 * config/alpha/alpha.c (alpha_rtx_costs): Handle HIGH.
1066 (alpha_preferred_reload_class): Handle CONST_VECTOR.
1067 (alpha_emit_set_const_1): Add no_output parameter; don't emit
1069 (alpha_emit_set_const): Likewise. Make static.
1070 (alpha_emit_set_long_const): Make static.
1071 (alpha_extract_integer): Split out from alpha_expand_mov.
1072 (alpha_split_const_mov): Likewise.
1073 (alpha_expand_mov): Use them. Handle CONST_VECTOR.
1074 (alpha_legitimate_constant_p): New.
1075 * config/alpha/alpha-protos.h: Update.
1076 * config/alpha/alpha.h (REGISTER_MOVE_COST): Correct fp<->gp cost.
1077 (LEGITIMATE_CONSTANT_P): Re-implement with a function.
1078 * config/alpha/alpha.md (movsi): Add n alternative.
1079 (movsi_nt_vms, movdi_er_nofix, movdi_er_fix, movdi_fix): Likewise.
1080 (mov<VEC>_fix, mov<VEC>_nofix): Add i alternative.
1081 (splitters for all of the above): Use alpha_split_const_mov.
1082 * config/alpha/predicates.md (non_add_const_operand): New.
1083 (non_zero_const_operand): New.
1084 (input_operand): Use alpha_legitimate_constant_p after reload.
1086 2005-01-19 Zdenek Dvorak <dvorakz@suse.cz>
1088 PR tree-optimization/19038
1089 * tree-ssa-loop-ivopts.c (allow_ip_end_pos_p): New function.
1090 (add_candidate): Add ivs with increment in latch only if
1091 allow_ip_end_pos_p is true.
1092 (determine_iv_cost): Use empty_block_p.
1094 2005-01-19 Daniel Berlin <dberlin@dberlin.org>
1096 * cfganal.c (compute_dominance_frontiers_1): Replace with new algorithm
1097 (compute_dominance_frontiers): Ditto.
1099 2005-01-19 Ralf Corsepius <ralf.corsepius@rtems.org>
1102 * config/sh/t-rtems: New.
1103 * config.gcc (sh-*-rtems*): Reflect having added config/sh/t-rtems.
1105 2005-01-19 Zdenek Dvorak <dvorakz@suse.cz>
1107 * tree-ssa-ccp.c (maybe_fold_offset_to_component_ref): Always subtract
1108 the offset of the selected field.
1110 2005-01-19 Kazu Hirata <kazu@cs.umass.edu>
1112 * tree-cfg.c (remove_forwarder_block): Fix the check to
1113 prevent a nonlocal label from appearing in the middle of a
1116 2005-01-19 Hans-Peter Nilsson <hp@axis.com>
1118 PR rtl-optimization/19462
1119 * reorg.c (find_end_label): Create return insn only if
1120 current_function_epilogue_delay_list is empty.
1122 2005-01-19 Paolo Bonzini <bonzini@gnu.org>
1124 * doc/passes.texi: Remove paragraph mentioning new-ra.
1126 2005-01-19 Jakub Jelinek <jakub@redhat.com>
1128 PR rtl-optimization/15139
1129 * combine.c: Include params.h.
1130 (count_rtxs): New function.
1131 (record_value_for_reg): If replace_rtx would replace at least
1132 2 occurrences of REG in VALUE and TEM is really large, replace REG with
1133 (clobber (const_int 0)) instead of TEM.
1134 * params.def (PARAM_MAX_LAST_VALUE_RTL): New.
1135 * params.h (MAX_LAST_VALUE_RTL): New.
1136 * Makefile.in (combine.o): Depend on $(PARAMS_H).
1137 * doc/invoke.texi (--param max-last-value-rtl=N): Document.
1140 * c-typeck.c (digest_init): Only call build_vector if all constructor
1141 elements are *_CST nodes.
1142 * gimplify.c (gimplify_init_constructor): Likewise.
1145 * c-typeck.c (digest_init): Only call build_vector if inside_init
1148 2005-01-18 Tobias Schl"uter <tobias.schlueter@physik.uni-muenchen.de>
1150 * toplev.c (init_asm_output): Remove dead #ifdef.
1152 2005-01-18 Kaz Kojima <kkojima@gcc.gnu.org>
1154 * config/sh/linux.h (TARGET_C99_FUNCTIONS): Define.
1156 2005-01-18 Eric Botcazou <ebotcazou@libertysurf.fr>
1158 * calls.c (expand_call): Check DECL_BUILT_IN_CLASS before
1159 accessing DECL_FUNCTION_CODE.
1160 * dojump.c (do_jump): Likewise.
1161 * gimplify.c (gimplify_call_expr): Likewise.
1162 * predict.c (expr_expected_value): Likewise.
1163 (strip_builtin_expect): Likewise.
1164 * tree-inline.c (estimate_num_insns_1): Likewise.
1165 * tree-ssa-loop-im.c (stmt_cost): Likewise
1166 * fold-const.c (fold): Test for BUILT_IN_NORMAL.
1167 (tree_expr_nonnegative_p): Likewise.
1169 2005-01-18 Eric Botcazou <ebotcazou@libertysurf.fr>
1171 * config/sparc/sparc.c (load_pic_register): Emit the appropriate
1172 variant of the load_pcrel_sym pattern.
1173 * config/sparc/sparc.md (P macro): Move to the top.
1174 (load_pcrel_sym): Macroize using P.
1175 (save_register_window): Likewise.
1177 2005-01-18 Aldy Hernandez <aldyh@redhat.com>
1179 * config/rs6000/rs6000.md ("sunordered"): Disable for e500.
1182 2005-01-18 Andrew Pinski <pinskia@physics.uc.edu>
1185 * c-typeck.c (build_asm_expr): Strip nops off
1186 input memory operands.
1188 2005-01-18 David Edelsohn <edelsohn@gnu.org>
1190 * config/rs6000/aix43.h (CPLUSPLUS_CPP_SPEC): Delete
1191 _XOPEN_SOURCE, _XOPEN_SOURCE_EXTENDED, _LARGE_FILE_API.
1192 * config/rs6000/aix51.h (CPLUSPLUS_CPP_SPEC): Same.
1193 * config/rs6000/aix52.h (CPLUSPLUS_CPP_SPEC): Same.
1195 2005-01-18 Joel Sherrill <joel.sherrill@oarcorp.com>
1198 * config/i386/i386.c (override_options): If the 80387 is disabled,
1199 then do not return FP values using FP registers.
1201 2005-01-18 Kazu Hirata <kazu@cs.umass.edu>
1203 * basic-block.h, c-common.c, c-cppbuiltin.c, c-lang.c,
1204 c-tree.h, cfgbuild.c, cgraph.c, cgraph.h, collect2.c,
1205 combine.c, config.gcc, coverage.h, cse.c, cselib.c,
1206 defaults.h, df.c, dwarf2asm.c, dwarf2out.c, explow.c, expr.c,
1207 flow.c, fold-const.c, gcse.c, ggc-page.c, gimple-low.c,
1208 gimplify.c, ifcvt.c, langhooks-def.h, lcm.c, optabs.h,
1209 output.h, postreload-gcse.c, postreload.c, recog.c,
1210 resource.c, rtl.def, rtlanal.c, sched-deps.c, sched-rgn.c,
1211 targhooks.h, toplev.c, tree-data-ref.c, tree-eh.c,
1212 tree-flow.h, tree-loop-linear.c, tree-mudflap.h, tree-nrv.c,
1213 tree-optimize.c, tree-outof-ssa.c, tree-pass.h,
1214 tree-scalar-evolution.c, tree-ssa-copy.c, tree-ssa-dce.c,
1215 tree-ssa-dse.c, tree-ssa-loop-ivopts.c, tree-ssa-operands.c,
1216 tree-ssa-pre.c, tree-ssa.c, tree-vectorizer.c, tree.def,
1217 unwind-dw2-fde-darwin.c, var-tracking.c: Update copyright.
1219 * config/darwin.c, config/darwin.h, config/freebsd-spec.h,
1220 config/alpha/alpha.c, config/arm/vfp.md,
1221 config/i386/emmintrin.h, config/i386/i386-modes.def,
1222 config/i386/i386-protos.h, config/i386/i386.h,
1223 config/i386/pmmintrin.h, config/i386/ppro.md,
1224 config/i386/predicates.md, config/i386/xmmintrin.h,
1225 config/i860/i860.c, config/ia64/ia64-modes.def,
1226 config/ia64/ia64-protos.h, config/ia64/ia64.h,
1227 config/ia64/ia64.md, config/ia64/itanium1.md,
1228 config/ia64/itanium2.md, config/ia64/predicates.md,
1229 config/iq2000/iq2000.h, config/mips/linux64.h,
1230 config/rs6000/aix41.h, config/rs6000/aix43.h,
1231 config/rs6000/aix52.h, config/rs6000/darwin-fallback.c,
1232 config/rs6000/rs6000.c, config/rs6000/rs6000.h,
1233 config/rs6000/spe.md, config/sh/sh.md, config/sparc/linux.h,
1234 config/sparc/linux64.h, config/sparc/litecoff.h,
1235 config/sparc/sp64-elf.h, config/sparc/sparc.c,
1236 config/sparc/sparc.h, config/sparc/sparc.md,
1237 config/sparc/sysv4-only.h: Update copyright.
1239 2005-01-18 Richard Henderson <rth@redhat.com>
1242 * config/i386/i386.c (ix86_expand_fp_movcc): Fail for LTGT and UNEQ.
1244 2005-01-18 Marc Espie <espie@openbsd.org>
1245 * config/i386/openbsdelf.h: Typo.
1247 2005-01-18 Richard Henderson <rth@redhat.com>
1249 * config/i386/i386.c (ix86_expand_fp_movcc): Remove TARGET_IEEE_FP
1250 special case for sse.
1251 * config/i386/predicates.md (sse_comparison_operator): Likewise.
1253 2005-01-18 Dorit Naishlos <dorit@il.ibm.com>
1255 * tree-inline.c (estimate_num_insns_1): Added cases for
1256 ALIGN_INDIRECT_REF, MISALIGNED_INDIRECT_REF, and REALIGN_LOAD_EXPR.
1258 2005-01-18 Eric Botcazou <ebotcazou@libertysurf.fr>
1260 PR rtl-optimization/19296
1261 * combine.c (simplify_comparison): Rewrite the condition under
1262 which a non-paradoxical SUBREG of a PLUS can be lifted when
1263 compared against a constant.
1265 2005-01-18 Andi Kleen <ak@muc.de>
1267 * c-typeck.c: (convert_for_assignment): Check warn_pointer_sign.
1268 * c.opt (-Wpointer-sign): Add.
1269 * doc/invoke.texi: (-Wpointer-sign): Add.
1271 2005-01-18 Uros Bizjak <uros@kss-loka.si>
1273 * config/i386/i386.c (override_options): Revert 2004-11-24 change.
1274 * config/i386/i386.md (fmodsf3, dremsf3, *sinsf2, *cossf2, sincossf3,
1275 *tansf3_1, tansf2, atan2sf3_1, atan2sf3, atansf2, asinsf2, acossf2,
1276 logsf2, log10sf2, log2sf2, log1psf2, logbsf2, ilogbsf2, expsf2,
1277 exp10sf2, exp2sf2, expm1sf2, rintsf2, floorsf2, ceilsf2, btruncsf2,
1278 nearbyintsf2): Disable for TARGET_SSE_MATH. Leave patterns enabled
1279 for TARGET_MIX_SSE_I387.
1280 (fmoddf3, dremdf3, *sindf2, *sinextendsfdf2, *cosdf2, *cosextendsfdf2,
1281 sincosdf3, *sincosextendsfdf3, *tandf3_1, tandf2, atan2df3_1,
1282 atan2df3, atandf2, asindf2, acosdf2, logdf2, log10df2, log2df2,
1283 log1pdf2, logbdf2, expdf2, exp10df2, exp2df2, expm1df2, rintdf2,
1284 floordf2, ceildf2, btruncdf2, nearbyintdf2): Disable for
1285 (TARGET_SSE2 && TARGET_SSE_MATH). Leave patterns enabled for
1286 TARGET_MIX_SSE_I387.
1287 (atan2sf3, atan2df3, atan2xf3): Remove register constraints
1290 2005-01-18 Uros Bizjak <uros@kss-loka.si>
1293 * config/i386/mmx.md (*movv2sf_internal_rex64, *movv2sf_internal):
1294 Add movaps alternative for xmm reg->reg move.
1296 2005-01-17 Jeff Law <law@redhat.com>
1298 * tree-ssa-dom.c (tree_ssa_dominator_optimize): Clear SSA_NAME_VALUE
1299 at the end of the main DOM loop rather than just before DOM exits.
1301 2005-01-17 Diego Novillo <dnovillo@redhat.com>
1303 PR tree-optimization/19121
1304 * tree-ssa-alias.c (compute_flow_sensitive_aliasing): When
1305 adding aliases to a name tag, also add them to the pointer's
1307 * tree-ssa-copy.c (merge_alias_info): Do not merge flow
1308 sensitive alias info at all. Only check that the two pointers
1309 have compatible pointed-to sets.
1310 * tree-ssa.c (verify_name_tags): Verify that the alias set of
1311 a pointer's type tag is a superset of the alias set of the
1314 2005-01-17 James E Wilson <wilson@specifixinc.com>
1317 * config/ia64/ia64.md (movxf): Handle general register source. Adjust
1318 comment to document why.
1320 2005-01-17 Richard Henderson <rth@redhat.com>
1322 * config/i386/sse.md (smaxv4sf3_finite, sse_vmsmaxv4sf3_finite,
1323 sminv4sf3_finite, sse_vmsminv4sf3_finite, smaxv2df3_finite,
1324 sse2_vmsmaxv2df3_finite, sminv2df3_finite,
1325 sse2_vmsminv2df3_finite): New.
1326 (smaxv4sf3, sse_vmsmaxv4sf3, sminv4sf3, sse_vmsminv4sf3, smaxv2df3,
1327 sse2_vmsmaxv2df3, sminv2df3, sse2_vmsminv2df3): Remove commutative.
1328 Force op1 into register.
1330 2005-01-17 Kelley Cook <kcook@gcc.gnu.org>
1332 * Makefile.in (STAGEMOVESTUFF): Stage all the stamp files to prevent
1333 bubblestrap from always rebuilding build directory.
1335 2005-01-17 Ulrich Weigand <uweigand@de.ibm.com>
1337 * config/s390/s390.md ("*clc"): Remove incorrect '='.
1338 ("*cmpmem_short"): Likewise.
1340 2005-01-17 Steven Bosscher <stevenb@suse.de>
1342 * basic-block.h: Document BB_* flags.
1343 * regrename.c (copyprop_hardreg_forward): Don't use BB_VISITED,
1344 use an sbitmap instead.
1345 * sched-rgn.c (compute_trg_info): Likewise.
1347 2005-01-17 Richard Sandiford <rsandifo@redhat.com>
1349 * config.gcc (mips64*-*-linux*): Set the default abi to n32. Remove
1350 redundant target_cpu_default and extra_parts lines. Use the default
1352 * config/mips/linux64.h (DRIVER_DEFAULT_ABI_SELF_SPEC): Delete.
1353 (SUBTARGET_EXTRA_SPECS): Delete.
1354 (DRIVER_SELF_SPECS): Remove architecture lines. Set the ABI directly.
1355 (SUBTARGET_ASM_SPEC): Remove -mabi=n32 and -mabi=64 mappings.
1356 * config/mips/t-linux64 (MULTILIB_DIRNAMES): Use "32" for -mabi=32
1357 and "n32" for -mabi=n32.
1359 2005-01-17 Ian Lance Taylor <ian@airs.com>
1362 * c-typeck.c (build_c_cast): Revert patch of 2003-02-16: don't
1363 fold constant variables into initial values.
1365 2005-01-17 Kazu Hirata <kazu@cs.umass.edu>
1367 * tree-cfg.c (tree_can_merge_blocks_p): Reorder two checks.
1369 * tree-cfg.c (tree_forwarder_block_p): Speed up by walking
1370 through the statements backward.
1372 2005-01-17 Ian Lance Taylor <ian@airs.com>
1374 PR middle-end/13127:
1375 * tree-inline.c (expand_call_inline): Set TREE_NO_WARNING on
1376 a variable set to the return value of the inlined function.
1378 2005-01-17 Mark Dettinger <dettinge@de.ibm.com>
1380 * rtlanal.c (rtx_cost): Assign cost of 0 to a SUBREG
1381 when modes are tieable.
1383 2005-01-17 Ranjit Mathew <rmathew@hotmail.com>
1385 * gthr-posix.h (__gthread_active_p): Use pthread_cancel instead
1386 of pthread_create to find out if threads are enabled.
1387 * gthr-posix95.h (__gthread_active_p): Likewise.
1389 2005-01-17 Paolo Bonzini <bonzini@gnu.org>
1391 * common.opt (-fnew-ra): Remove.
1393 * toplev.h (flag_new_regalloc): Remove.
1394 * Makefile.in (ra*.*): Don't mention.
1395 * passes.c (rest_of_handle_new_regalloc): Remove.
1396 (rest_of_handle_combine, rest_of_compilation): Always consider
1397 flag_new_regalloc as false.
1398 * doc/invoke.texi: Don't document -fnew-ra.
1400 2005-01-17 Paolo Bonzini <bonzini@gnu.org>
1402 * bb-reorder.c (fix_edges_for_rarely_executed_code): Remove
1403 last parameter to reg_scan.
1404 * loop.c (loop_optimize): Likewise.
1405 * passes.c (rest_of_handle_tracer, rest_of_handle_if_conversion,
1406 rest_of_handle_web, rest_of_handle_cfg, rest_of_handle_jump_bypass,
1407 rest_of_handle_life, rest_of_handle_cse, rest_of_handle_cse2,
1408 rest_of_handle_gcse, rest_of_handle_loop_optimize,
1409 rest_of_handle_loop2, rest_of_handle_jump2): Likewise.
1410 * regclass.c (reg_scan): Likewise, for the declaration.
1411 * rtl.h (reg_scan): Likewise, for the prototype.
1413 2005-01-17 Kazu Hirata <kazu@cs.umass.edu>
1415 * tree-ssa-dom.c (tree_ssa_dominator_optimize): Don't call
1416 mark_dfs_back_edges.
1418 2005-01-16 Daniel Berlin <dberlin@dberlin.org>
1420 * tree-ssa-pre.c (add_to_sets): s1 may be NULL.
1421 (compute_avail): Uses don't go in tmp_gen.
1423 2005-01-16 Steven Bosscher <stevenb@suse.de>
1425 * ggc-page.c (ggc_alloc_stat): Use __builtin_ctzl instead of a
1426 loop to look for a free slot in a page entry.
1428 2005-01-16 John David Anglin <dave.anglin@nrc-cnrc.gc.ca>
1431 * defaults.h (TARGET_DEFERRED_OUTPUT_DEFS): Provide default.
1432 * toplev.c (compile_file): Call process_pending_assemble_output_defs
1433 just before targetm.asm_out.file_end.
1434 * tree.h (process_pending_assemble_output_defs): Declare.
1435 * varasm.c (assemble_output_def, process_pending_assemble_output_defs):
1437 (assemble_alias): Defer generation of assembly code for defines when
1438 TARGET_DEFERRED_OUTPUT_DEFS is true.
1439 * config/rs6000/aix41.h (TARGET_DEFERRED_OUTPUT_DEFS): Define.
1440 * config/rs6000/aix43.h (TARGET_DEFERRED_OUTPUT_DEFS): Define.
1441 * doc/tm.texi (TARGET_DEFERRED_OUTPUT_DEFS): document.
1443 2005-01-15 John David Anglin <dave.anglin@nrc-cnrc.gc.ca>
1446 * pa.c (pa_scalar_mode_supported_p): New function.
1447 (TARGET_SCALAR_MODE_SUPPORTED_P): Define.
1448 * pa.h (MIN_UNITS_PER_WORD): Add comment.
1450 * pa-protos.h (prefetch_operand): Delete.
1451 (prefetch_cc_operand, prefetch_nocc_operand): New declations.
1452 * pa.c (prefetch_operand): Delete.
1453 (prefetch_cc_operand, prefetch_nocc_operand): New functions.
1454 * pa.h (EXTRA_CONSTRAINT): Add `W' constraint.
1455 (PREDICATE_CODES): Delete prefetch_operand. Add prefetch_cc_operand
1456 and prefetch_nocc_operand.
1457 * pa.md (prefetch): Rework to avoid reload problems handling short
1458 displacements when a cache control completer needs to be provided.
1459 (prefetch_32, prefetch_64): Delete.
1460 (prefetch_cc, prefetch_nocc): New patterns.
1462 2005-01-15 David Edelsohn <edelsohn@gnu.org>
1464 * config/rs6000/aix52.h (CPLUSPLUS_CPP_SPEC): Revert previous change.
1466 2005-01-15 John David Anglin <dave.anglin@nrc-cnrc.gc.ca>
1469 * pa.c (pa_asm_output_aligned_common): Warn if specified alignment
1470 exceeds maximum alignment for global common data.
1471 * pa64-hpux.h (MAX_OFILE_ALIGNMENT): Define to 32768.
1472 * som.h (MAX_OFILE_ALIGNMENT): Likewise.
1474 2004-01-15 Roger Sayle <roger@eyesopen.com>
1476 * tree-ssa-dom.c (extract_range_from_cond): Correct condition.
1478 2004-01-15 Roger Sayle <roger@eyesopen.com>
1480 * harg-reg-set.h (reg_class_names): Prototype global array.
1481 * regclass.c (reg_class_names): Declare here and initialize to
1483 (dump_regclass): Remove local declaration of reg_class_names.
1484 (regclass): Likewise.
1485 * cfg.c (dump_flow_info): Likewise.
1486 * ra-debug.c (reg_class_names): Likewise.
1487 * regrename.c (reg_class_names): Likewise.
1488 * reload.c (reg_class_names): Likewise.
1489 * reload1.c (spill_failure): Likewise.
1490 * config/m68hc11/m68hc11.c (reg_class_names): Likewise.
1492 2005-01-15 Ulrich Weigand <uweigand@de.ibm.com>
1494 * config/s390/s390.md ("reload_outti"): Remove predicate for
1495 output operand. Abort if operand is not a MEM.
1496 ("reload_outdi", "reload_outdf"): Likewise.
1498 2005-01-15 Marc Espie <espie@openbsd.org>
1500 * config.gcc (*-*-openbsd*): Set HAS_LIBC_R for OpenBSD <= 3.2.
1501 (i[34567]86-*-openbsd*): Switch to ELF for OpenBSD >= 3.4.
1502 * config/openbsd.h: Fix C++ includes for native configurations.
1503 Add proper OS_CPP_BUILTINS. Fix libspec for recent OpenBSD.
1504 Add trampoline support.
1505 * config/i386/openbsdelf.h: New.
1507 2005-01-15 Marc Espie <espie@openbsd.org>
1509 * collect2.c (main): Explicitly parse -dynamic-linker option.
1511 2005-01-15 Jakub Jelinek <jakub@redhat.com>
1513 PR tree-optimization/19060
1514 * tree-ssa-dom.c (extract_range_from_cond) <case LT_EXPR, GT_EXPR>:
1515 Return 0 if op1 <= TYPE_MIN_VALUE () resp. op1 >= TYPE_MAX_VALUE ().
1516 (simplify_cond_and_lookup_avail_expr): Add assert for dummy == 0
1517 and handle extract_range_from_cond returning false.
1518 * fold-const.c (fold): Optimize comparisons with min/max even for
1519 width > HOST_BITS_PER_WIDE_INT.
1521 2005-01-15 Ralf Corsepius <ralf.corsepius@rtems.org>
1523 * config/mips/rtems.h (MIPS_DEFAULT_GVALUE): Set to 0.
1524 * config/mips/t-rtems (MULTILIBS_DIRNAMES,MULTILIB_OPTIONS):
1525 Remove little endian multilib variants.
1526 Add mips32 multilib variant.
1528 2005-01-15 Kazu Hirata <kazu@cs.umass.edu>
1530 * explow.c (copy_all_reg, stabilize): Remove.
1531 * expr.h: Remove the corresponding prototypes.
1533 * rtlanal.c (regs_set_between_p): Remove.
1534 * rtl.h: Remove the corresponding prototype.
1536 2005-01-14 David Edelsohn <edelsohn@gnu.org>
1538 * config/rs6000/rs6000.c (rs6k_nonimmediate_operand): Rename
1539 to rs6000_nonimmediate_operand.
1540 * config/rs6000/rs6000.h (PREDICATE_CODES): Rename
1541 rs6k_nonimmediate_operand to rs6000_nonimmediate_operand.
1542 * config/rs6000/rs6000.md (movsi_internal1): Rename predicate to
1543 rs6000_nonimmediate_operand.
1544 * config/rs6000/spe.md (movdf_e500_double): Rename predicate to
1545 rs6000_nonimmediate_operand.
1547 2005-01-14 Andrew Pinski <pinskia@physics.uc.edu>
1549 * tree-ssa-alias.c (pass_may_alias): Add TODO_verify_stmts.
1551 2005-01-14 Aldy Hernandez <aldyh@redhat.com>
1553 * config/rs6000/rs6000.h (CLASS_MAX_NREGS): DF goes in 1 register
1555 (CANNOT_CHANGE_MODE_CLASS): Restrict DI mode changes on e500v2.
1556 (PREDICATE_CODES): Add rs6k_nonimmediate_operand.
1558 * config/rs6000/rs6000.c (invalid_e500_subreg): New.
1559 (rs6k_nonimmediate_operand): New.
1560 (rs6000_legitimate_offset_address_p): Handle DI modes on e500v2
1562 (legitimate_lo_sum_address_p): Same.
1563 (rs6000_legitimize_address): Same.
1564 (rs6000_legitimize_reload_address): Same.
1565 (rs6000_legitimate_address): Same.
1566 (spe_build_register_parallel): Pass DF and DC modes in a DI
1569 * config/rs6000/rs6000.md ("*movsi_internal1"): Change predicate
1570 to rs6k_nonimmediate_operand.
1572 * config/rs6000/spe.md ("*frob_df_di"): New.
1573 ("*frob_di_df"): New.
1574 ("*frob_di_df_2"): New.
1575 ("*mov_sidf_e500_subreg0"): New.
1576 ("*mov_sidf_e500_subreg4"): New.
1577 ("*movdf_e500_double"): Change predicate to
1578 rs6k_nonimmediate_operand.
1580 2005-01-14 Aldy Hernandez <aldyh@redhat.com>
1582 * postreload.c (move2add_note_store): Only call
1583 trunc_int_for_mode on scalar integers.
1585 2005-01-14 Steven Bosscher <stevenb@suse.de>
1587 * tree-ssa-dce.c (visited_control_parents): New sbitmap to
1588 replace BB_VISITED uses.
1589 (find_obviously_necessary_stmts): Don't clear BB_VISITED.
1590 (propagate_necessity): Check the bitmap instead of BB_VISITED.
1591 (tree_dce_done): Free visited_control_parents.
1592 (perform_tree_ssa_dce): Allocate and clear it.
1593 * tree-ssa-pre.c (compute_antic_aux): Make non-recursive.
1594 (compute_antic): Iterate from here using a DFS. Use an sbitmap
1595 instead of BB_VISITED.
1597 2005-01-14 Kazu Hirata <kazu@cs.umass.edu>
1599 * c-tree.h, coverage.h, langhooks-def.h, optabs.h, output.h,
1600 rtl.h, targhooks.h, tree-flow.h, tree-mudflap.h, tree.h:
1601 Remove unused prototypes.
1603 2005-01-14 Aldy Hernandez <aldyh@redhat.com>
1605 * config/rs6000/rs6000.c (rs6000_stack_info): Fix caching of SPE
1606 64-bit register usage.
1607 (spe_func_has_64bit_regs_p): Add FIXME note.
1609 2005-01-14 Aldy Hernandez <aldyh@redhat.com>
1611 * config/rs6000/rs6000.c (rs6000_generate_compare): Replace
1612 flag_finite_math_only with flag_unsafe_math_optimizations.
1614 2005-01-14 J. D. Johnston <jjohnst@us.ibm.com>
1616 * config/s390/tpf-unwind.h (s390_fallback_frame_state): Correct
1618 (__tpf_eh_return): Copy TPF private stack area from the module
1619 boundary stack frame. Add check for when module addresses are
1620 equal, but no stub address is found.
1622 2005-01-14 Richard Earnshaw <rearnsha@arm.com>
1625 * arm.h (struct machine_function): Add call_via field.
1626 (thumb_call_via_label): Declare.
1627 * arm.c (thumb_call_via_label): New variable.
1628 (thumb_call_reg_needed): New variable.
1629 (arm_output_function_epilogue): For Thumb code, output any per-function
1630 call-indirect trampolines.
1631 (thumb_call_via_reg): New function.
1632 (arm_file_end): New function.
1633 (TARGET_ASM_FILE_END): Call arm_file_end.
1634 (aof_file_end): Likewise.
1635 * arm-protos.h (thumb_call_via_reg): Declare.
1636 * arm.md (call_reg_thumb, call_value_reg_thumb): Call
1637 thumb_call_via_reg in normal case.
1639 2005-01-14 Jakub Jelinek <jakub@redhat.com>
1642 PR rtl-optimization/19348
1643 * recog.c (peephole2_optimize): Do global life update if some peephole
1644 decides it doesn't need at least one of its inputs and that change
1645 influences liveness at the start of the basic block.
1647 * basic-block.h (EXECUTE_IF_AND_COMPL_IN_REG_SET): Needs 2 REGSET
1648 arguments instead of 1.
1650 2005-01-14 Eric Botcazou <ebotcazou@libertysurf.fr>
1653 * varasm.c (initializer_constant_valid_p) <ADDR_EXPR>: Return
1654 zero for nested functions needing a static chain or functions
1655 with a non-constant address.
1657 2005-01-13 Roger Sayle <roger@eyesopen.com>
1659 * simplify-rtx.c (simplify_binary_operation) <AND>: Optimize
1660 (and (sign_extend X) C) into (zero_extend (and X C)).
1662 2005-01-13 David O'Brien <obrien@FreeBSD.org>
1664 * config/freebsd-spec.h: Make KSE pthread lib logic the default.
1666 2005-01-13 Richard Henderson <rth@redhat.com>
1671 * config/i386/i386.md (cmpdf, cmpsf, bunordered, bordered, buneq,
1672 bunge, bungt, bunle, bunlt, bltgt): Enable for TARGET_SSE_MATH,
1673 not just TARGET_SSE.
1674 (cmpfp_i_387): Rename from cmpfp_i. Move after sse patterns.
1675 (cmpfp_i_mixed): Rename from cmpfp_i_sse; use for TARGET_MIX_SSE_I387.
1676 (cmpfp_i_sse): Rename from cmpfp_i_sse_only; use for TARGET_SSE_MATH.
1677 (cmpfp_iu_mixed, cmpfp_iu_sse, cmpfp_iu_387): Similarly.
1678 (fp_jcc_1_mixed, fp_jcc_1_sse, fp_jcc_1_387): Similarly.
1679 (fp_jcc_2_mixed, fp_jcc_2_sse, fp_jcc_2_387): Similarly.
1680 (fp_jcc_3_387, fp_jcc_4_387, fp_jcc_5_387, fp_jcc_6_387,
1681 fp_jcc_7_387, fp_jcc_8_387): Rename from fp_jcc_N.
1682 (movdicc_c_rex64): Rename with '*'.
1683 (movsfcc, movdfcc): Add checks for 387 and sse math to condition.
1684 (movsfcc_1_sse_min, movsfcc_1_sse_max, movsfcc_1_sse): New.
1685 (movsfcc_1_387): Rename from movsfcc_1.
1686 (movdfcc_1_sse_min, movdfcc_1_sse_max, movdfcc_1_sse): New.
1687 (movdfcc_1, movdfcc_1_rex64): Add check for 387.
1688 (sminsf3, smaxsf3, smindf3, smaxdf3): New.
1689 (minsf3, minsf, minsf_nonieee, minsf_sse, mindf3, mindf,
1690 mindf_nonieee, mindf_sse, maxsf3, maxsf, maxsf_nonieee, maxsf_sse,
1691 maxdf3, maxdf, maxdf_nonieee, maxdf_sse, sse_movsfcc, sse_movsfcc_eq,
1692 sse_movdfcc, sse_movdfcc_eq, sse_movsfcc_const0_1,
1693 sse_movsfcc_const0_2, sse_movsfcc_const0_3, sse_movsfcc_const0_4,
1694 sse_movdfcc_const0_1, sse_movdfcc_const0_2, sse_movdfcc_const0_3,
1695 sse_movdfcc_const0_4): Remove.
1696 * config/i386/i386.c (ix86_expand_fp_movcc): For TARGET_SSE_MATH,
1697 recognize min/max early. Update for changed sse cmove patterns.
1698 (ix86_split_sse_movcc): New.
1699 * config/i386/i386-protos.h: Update.
1701 2005-01-13 Steven Bosscher <stevenb@suse.de>
1703 * tree-ssa-dse.c (fix_phi_uses): Use SSA operand iterators.
1704 (fix_stmt_v_may_defs): Likewise.
1706 2005-01-13 Richard Henderson <rth@redhat.com>
1708 * config/i386/i386.c (ix86_expand_fp_absneg_operator): Use elt_mode
1709 for converting the mask.
1711 2005-01-13 David Edelsohn <edelsohn@gnu.org>
1713 * config/rs6000/aix52.h (CPLUSPLUS_CPP_SPEC): Change _XOPEN_SOURCE
1716 2005-01-13 Richard Henderson <rth@redhat.com>
1718 * config/i386/i386.c (IX86_BUILTIN_MOVQ, IX86_BUILTIN_LOADD,
1719 IX86_BUILTIN_STORED, IX86_BUILTIN_MOVQ2DQ,
1720 IX86_BUILTIN_MOVDQ2Q): Remove.
1721 (IX86_BUILTIN_VEC_EXT_V4SI): New.
1722 (ix86_init_mmx_sse_builtins, ix86_expand_builtin): Update to match.
1723 (ix86_expand_vector_extract): For V4S[FI], extract element 0 after
1725 * config/i386/sse.md (sse_concatv2sf): Accept zero operand 2.
1726 (sse2_pextrw): Fix immediate constraint.
1727 (sse2_loadq, sse2_loadq_rex64): Remove.
1728 * config/i386/emmintrin.h (_mm_cvtsi128_si32, _mm_cvtsi128_si64x):
1729 Use __builtin_ia32_vec_ext_<size>.
1730 (_mm_cvtsi32_si128, _mm_cvtsi64x_si128): Use _mm_set_epi<size>.
1732 2005-01-13 Aldy Hernandez <aldyh@redhat.com>
1734 * function.c (assign_parm_setup_block): Look inside original
1735 entry_parm when inspecting PARALLEL.
1737 2005-01-13 Ralf Corsepius <ralf.corsepius@rtems.org>
1738 Joel Sherrill <joel@oarcorp.com>
1741 * gthr-rtems.h (__gthread_recursive_mutex_t): New type.
1742 (__GTHREAD_RECURSIVE_MUTEX_INIT_FUNCTION): Define to
1743 rtems_gxx_recursive_mutex_init.
1744 (__gthread_recursive_mutex_lock): New function.
1745 (__gthread_recursive_mutex_trylock): Likewise.
1746 (__gthread_recursive_mutex_unlock): Likewise.
1748 2005-01-13 Ralf Corsepius <ralf.corsepius@rtems.org>
1750 * config/i386/t-rtems-i386: Multilib on -mtune instead of -mcpu.
1752 2005-01-13 Jan Beulich <jbeulich@novell.com>
1754 * config/ia64/ia64.md (ashlti3, ashlti3_internal): New.
1755 (ashrti3_internal): Indicate output is early clobber. Generate result
1756 into output rather than first input. Use move for low word of output
1757 if shift count is exactly 64.
1758 (lshrti3_internal): Likewise.
1760 2005-01-13 Hans-Peter Nilsson <hp@bitrange.com>
1764 * reload1.c (delete_output_reload): Don't delete an output reload
1765 if the pseudo lives longer than a single basic block. Adjust and
1766 improve wording of comment.
1768 2005-01-12 Andrew Pinski <pinskia@physics.uc.edu>
1771 * config/darwin.c (machopic_select_section): Use TYPE_SIZE_UNIT instead
1772 of TYPE_SIZE where we mean the number of bytes.
1774 2005-01-12 Aldy Hernandez <aldyh@redhat.com>
1776 * function.c (assign_parm_setup_block): Relax condition on
1777 multi-register optimization.
1779 2005-01-12 Nick Clifton <nickc@redhat.com>
1781 * config/sh/sh.md (udivsi3_sh2a, divsi3_sh2a): Give these patterns
1782 an "in_delay_slot" attribute of "no" to prevent them being used in
1783 delay slots. This is forbidden because they might generate
1786 2005-01-12 Alan Modra <amodra@bigpond.net.au>
1789 * config/rs6000/rs6000.md (movtf_internal): Replace r->o and m->r
1792 2005-01-12 Nick Clifton <nickc@redhat.com>
1794 * config/iq2000/iq2000.h (ASM_SPEC): Undefine (to stop -Qy being
1795 passed on to GAS) but do not define, as GAS no longer supports or
1796 needs the -m2000 option.
1798 2005-01-11 Roger Sayle <roger@eyesopen.com>
1800 * builtins.c (fold_builtin_fabs): Convert argument to the appropriate
1801 type as args of unprototyped builtins aren't automatically promoted.
1802 (fold_builtin_abs): Likewise.
1804 2005-01-11 Kaveh R. Ghazi <ghazi@caip.rutgers.edu>
1806 * Makefile.in: Set a `build-warn' variable.
1808 2005-01-11 Zdenek Dvorak <dvorakz@suse.cz>
1810 PR tree-optimization/17949
1811 * tree-ssa-loop-ivopts.c (may_be_unaligned_p): New function.
1812 (find_interesting_uses_address): Use it.
1814 2005-01-11 Aldy Hernandez <aldyh@redhat.com>
1816 * regrename.c (kill_value): Handle subreg's that won't simplify.
1818 2005-01-11 Richard Henderson <rth@redhat.com>
1821 * config/i386/i386.h (enum ix86_builtins): Move ...
1822 * config/i386/i386.c: ... here.
1823 (IX86_BUILTIN_MOVDDUP, IX86_BUILTIN_MMX_ZERO, IX86_BUILTIN_PEXTRW,
1824 IX86_BUILTIN_PINSRW, IX86_BUILTIN_LOADAPS, IX86_BUILTIN_LOADSS,
1825 IX86_BUILTIN_STORESS, IX86_BUILTIN_SSE_ZERO, IX86_BUILTIN_PEXTRW128,
1826 IX86_BUILTIN_PINSRW128, IX86_BUILTIN_LOADAPD, IX86_BUILTIN_LOADSD,
1827 IX86_BUILTIN_STOREAPD, IX86_BUILTIN_STORESD, IX86_BUILTIN_STOREHPD,
1828 IX86_BUILTIN_STORELPD, IX86_BUILTIN_SETPD1, IX86_BUILTIN_SETPD,
1829 IX86_BUILTIN_CLRPD, IX86_BUILTIN_LOADPD1, IX86_BUILTIN_LOADRPD,
1830 IX86_BUILTIN_STOREPD1, IX86_BUILTIN_STORERPD, IX86_BUILTIN_LOADDQA,
1831 IX86_BUILTIN_STOREDQA, IX86_BUILTIN_CLRTI,
1832 IX86_BUILTIN_LOADDDUP): Remove.
1833 (IX86_BUILTIN_VEC_INIT_V2SI, IX86_BUILTIN_VEC_INIT_V4HI,
1834 IX86_BUILTIN_VEC_INIT_V8QI, IX86_BUILTIN_VEC_EXT_V2DF,
1835 IX86_BUILTIN_VEC_EXT_V2DI, IX86_BUILTIN_VEC_EXT_V4SF,
1836 IX86_BUILTIN_VEC_EXT_V8HI, IX86_BUILTIN_VEC_EXT_V4HI,
1837 IX86_BUILTIN_VEC_SET_V8HI, IX86_BUILTIN_VEC_SET_V4HI): New.
1838 (ix86_init_builtins): Make static.
1839 (ix86_init_mmx_sse_builtins): Update for changed builtins.
1840 (ix86_expand_binop_builtin): Only use ix86_fixup_binary_operands
1841 if all the modes match. Otherwise, fake it.
1842 (get_element_number, ix86_expand_vec_init_builtin,
1843 ix86_expand_vec_ext_builtin, ix86_expand_vec_set_builtin): New.
1844 (ix86_expand_builtin): Make static. Update for changed builtins.
1845 (ix86_expand_vector_move_misalign): Use sse2_loadlpd with zero
1846 operand instead of sse2_loadsd. Cast sse1 fallback to V4SFmode.
1847 (ix86_expand_vector_init_duplicate): New.
1848 (ix86_expand_vector_init_low_nonzero): New.
1849 (ix86_expand_vector_init_one_var, ix86_expand_vector_init_general):
1850 Split out from ix86_expand_vector_init; handle integer modes.
1851 (ix86_expand_vector_init): Use them.
1852 (ix86_expand_vector_set, ix86_expand_vector_extract): New.
1853 * config/i386/i386-protos.h: Update.
1854 * config/i386/predicates.md (reg_or_0_operand): New.
1855 * config/i386/mmx.md (mov<MMXMODEI>_internal): Add 'r' variants.
1856 (movv2sf_internal): Likewise. And a splitter to match them all.
1857 (vec_dupv2sf, mmx_concatv2sf, vec_setv2sf, vec_extractv2sf,
1858 vec_initv2sf, vec_dupv4hi, vec_dupv2si, mmx_concatv2si, vec_setv2si,
1859 vec_extractv2si, vec_initv2si, vec_setv4hi, vec_extractv4hi,
1860 vec_initv4hi, vec_setv8qi, vec_extractv8qi, vec_initv8qi): New.
1861 (mmx_pinsrw): Fix operand ordering.
1862 * config/i386/sse.md (movv4sf splitter): Use direct pattern,
1863 rather than sse_loadss expander.
1864 (movv2df splitter): Similarly.
1865 (sse_loadss, sse_loadlss): Remove.
1866 (vec_dupv4sf, sse_concatv2sf, sse_concatv4sf, vec_extractv4sf_0): New.
1867 (vec_setv4sf, vec_setv2df): Use ix86_expand_vector_set.
1868 (vec_extractv4sf, vec_extractv2df): Use ix86_expand_vector_extract.
1869 (sse3_movddup): Rename with '*'.
1870 (sse3_movddup splitter): Use gen_rtx_REG instead of gen_lowpart.
1871 (sse2_loadsd): Remove.
1872 (vec_dupv2df_sse3): Rename from sse3_loadddup.
1873 (vec_dupv2df, vec_concatv2df_sse3, vec_concatv2df): New.
1874 (sse2_pinsrw): Fix argument ordering.
1875 (sse2_loadld, sse2_loadq): Add sse1 alternatives.
1876 (sse2_stored): Remove 'r' destination.
1877 (vec_dupv4si, vec_dupv2di, sse2_concatv2si, sse1_concatv2si,
1878 vec_concatv4si_1, vec_concatv2di, vec_setv2di, vec_extractv2di,
1879 vec_initv2di, vec_setv4si, vec_extractv4si, vec_initv4si,
1880 vec_setv8hi, vec_extractv8hi, vec_initv8hi, vec_setv16qi,
1881 vec_extractv16qi, vec_initv16qi): New.
1883 * config/i386/emmintrin.h (__m128i, __m128d): Use typedef, not define.
1884 (_mm_set_sd, _mm_set1_pd, _mm_setzero_pd, _mm_set_epi64x,
1885 _mm_set_epi32, _mm_set_epi16, _mm_set_epi8, _mm_setzero_si128): Use
1887 (_mm_load_pd, _mm_store_pd): Use plain dereference.
1888 (_mm_load_si128, _mm_store_si128): Likewise.
1889 (_mm_load1_pd): Use _mm_set1_pd.
1890 (_mm_load_sd): Use _mm_set_sd.
1891 (_mm_store_sd, _mm_storeh_pd): Use __builtin_ia32_vec_ext_v2df.
1892 (_mm_store1_pd, _mm_storer_pd): Use _mm_store_pd.
1893 (_mm_set_epi64): Use _mm_set_epi64x.
1894 (_mm_set1_epi64x, _mm_set1_epi64, _mm_set1_epi32, _mm_set_epi16,
1895 _mm_set1_epi8, _mm_setr_epi64, _mm_setr_epi32, _mm_setr_epi16,
1896 _mm_setr_epi8): Use _mm_set_foo form.
1897 (_mm_loadl_epi64, _mm_movpi64_epi64, _mm_move_epi64): Use _mm_set_epi64.
1898 (_mm_storel_epi64, _mm_movepi64_pi64): Use __builtin_ia32_vec_ext_v2di.
1899 (_mm_extract_epi16): Use __builtin_ia32_vec_ext_v8hi.
1900 (_mm_insert_epi16): Use __builtin_ia32_vec_set_v8hi.
1901 * config/i386/mmintrin.h (_mm_setzero_si64): Use plain cast.
1902 (_mm_set_pi32): Use __builtin_ia32_vec_init_v2si.
1903 (_mm_set_pi16): Use __builtin_ia32_vec_init_v4hi.
1904 (_mm_set_pi8): Use __builtin_ia32_vec_init_v8qi.
1905 (_mm_set1_pi16, _mm_set1_pi8): Use _mm_set_piN variant.
1906 * config/i386/pmmintrin.h (_mm_loaddup_pd): Use _mm_load1_pd.
1907 (_mm_movedup_pd): Use _mm_shuffle_pd.
1908 * config/i386/xmmintrin.h (_mm_setzero_ps, _mm_set_ss,
1909 _mm_set1_ps, _mm_set_ps, _mm_setr_ps): Use constructor form.
1910 (_mm_cvtpi16_ps, _mm_cvtpu16_ps, _mm_cvtpi8_ps, _mm_cvtpu8_ps,
1911 _mm_cvtps_pi8, _mm_cvtpi32x2_ps): Avoid __builtin_ia32_mmx_zero;
1913 (_mm_load_ss, _mm_load1_ps): Use _mm_set* form.
1914 (_mm_load_ps, _mm_loadr_ps): Use raw dereference.
1915 (_mm_store_ss): Use __builtin_ia32_vec_ext_v4sf.
1916 (_mm_store_ps): Use raw dereference.
1917 (_mm_store1_ps): Use _mm_storeu_ps.
1918 (_mm_storer_ps): Use _mm_store_ps.
1919 (_mm_extract_pi16): Use __builtin_ia32_vec_ext_v4hi.
1920 (_mm_insert_pi16): Use __builtin_ia32_vec_set_v4hi.
1922 2005-01-11 Stan Shebs <shebs@apple.com>
1924 * config/rs6000/rs6000.c (machopic_output_stub): Issue
1925 ldu instead of lwzu if 64-bit -mdynamic-no-pic.
1927 2005-01-11 Andrew Pinski <pinskia@physics.uc.edu>
1930 * config/rs6000/rs6000.c (rs6000_special_round_type_align):
1931 Skip all DECLs except for FIELD_DECLs.
1933 2005-01-11 Andreas Krebbel <krebbel1@de.ibm.com>
1935 * config/s390/s390.c (override_options): Return error if
1936 -mbackchain, -mpacked-stack and -mhard-float are used together.
1937 (s390_va_start): Remove the backchain && packed-stack special case.
1938 (s390_gimplify_va_arg): Likewise.
1939 * doc/invoke.texi: Remove the ABI incompatibility note.
1941 2005-01-11 Andreas Krebbel <krebbel1@de.ibm.com>
1943 * config/s390/s390.c (struct s390_frame_layout): Remove
1945 (s390_frame_info, s390_emit_prologue): Replace occurrences of
1946 save_backchain_p with TARGET_BACKCHAIN.
1948 2005-01-11 Alan Modra <amodra@bigpond.net.au>
1951 * builtins.c (std_gimplify_va_arg_expr): Adjust alignment of *ap.
1952 * expr.h (struct locate_and_pad_arg_data): Add "boundary".
1953 * function.c (locate_and_pad_parm): Set new field.
1954 (assign_parm_find_stack_rtl): Use it instead of FUNCTION_ARG_BOUNDARY.
1955 Tweak where_pad test to include "none". Always set mem align for
1957 (assign_parm_adjust_stack_rtl): Discard stack_parm if alignment
1958 not sufficient for type.
1959 (assign_parm_setup_block): If stack_parm is zero on entry, always
1960 make a new stack local. Block move old stack parm if necessary
1961 to new aligned stack local.
1962 (assign_parm_setup_stack): Use a block move to handle
1963 potentially misaligned entry_parm.
1964 (assign_parms_unsplit_complex): Specify required alignment when
1965 creating stack local.
1966 * calls.c (compute_argument_addresses): Override alignment of stack
1967 arg calculated from its type with the alignment given by
1968 FUNCTION_ARG_BOUNDARY.
1969 (store_one_arg): Likewise.
1971 2005-01-11 Jan Beulich <jbeulich@novell.com>
1973 * config/ia64/ia64.md (zero_extendsidi2): Replace zxt4 by addp4.
1974 Change respective itanium_class attribute to ialu.
1975 (shladdp4_internal): New.
1976 * config/ia64/predicates.md (shladd_log2_operand): New.
1978 2005-01-11 Richard Henderson <rth@redhat.com>
1980 * expr.c (store_constructor): Use rtvec_alloc instead of
1981 alloca+gen_rtvec_v, and an incorrect number passed to alloca.
1983 2005-01-11 Kazu Hirata <kazu@cs.umass.edu>
1985 * config/alpha/alpha.c, config/i386/mmx.md: Fix comment typos.
1987 2005-01-11 Alan Modra <amodra@bigpond.net.au>
1989 * varasm.c (default_section_type_flags_1): Don't set SECTION_SMALL.
1990 * config/ia64/ia64.c (TARGET_SECTION_TYPE_FLAGS): Define.
1991 (TARGET_RWRELOC): Define.
1992 (ia64_rwreloc_section_type_flags): Delete.
1993 (ia64_section_type_flags): New function.
1994 * config/ia64/hpux.h (TARGET_SECTION_TYPE_FLAGS): Don't define.
1995 (TARGET_RWRELOC): Define.
1997 2005-01-10 David Mosberger <davidm@hpl.hp.com>
2000 * config/ia64/ia64.c (process_set): For alloc insn, only call
2001 process_epilogue is !frame_pointer_needed.
2003 2005-01-10 Roger Sayle <roger@eyesopen.com>
2006 * c-common.c (c_common_truthvalue_conversion): TRUTH_NOT_EXPR is a
2007 unary operator and can't be treated as a binary/comparison operator.
2009 2005-01-10 Richard Henderson <rth@redhat.com>
2011 * config/i386/i386.c (ix86_function_value): Use type_natural_mode.
2012 (ix86_return_in_memory): Likewise.
2013 (function_arg_advance): Likewise. Mirror structure in function_arg
2014 for choosing register to advance.
2016 2005-01-10 Kazu Hirata <kazu@cs.umass.edu>
2018 * tree-vectorizer.c, tree.def: Fix comment typos.
2020 2005-01-10 Mark Dettinger <dettinge@de.ibm.com>
2022 * config/s390/s390.c (struct processor_costs): 4 new fields:
2023 ddbr, ddr, debr, der.
2024 (s390_rtx_costs): More precise handling of divide instructions.
2026 2005-01-10 David Edelsohn <edelsohn@gnu.org>
2028 * config/rs6000/t-aix43 (BOOT_LDFLAGS): Define.
2030 2005-01-10 Jan Beulich <jbeulich@novell.com>
2032 * config/ia64/ia64.c (ia64_in_small_data_p): Also handle the section
2033 names resulting from -ffunction-sections/-fdata-sections and linkonce
2035 * varasm.c (default_section_type_flags_1): Also set SECTION_SMALL
2036 based on the section name. Rearrange the section name comparison logic
2037 slightly so that each section name is compared against at most once.
2039 2005-01-10 Ben Elliston <bje@au.ibm.com>
2041 * doc/invoke.texi (Code Gen Options): Add PowerPC to the list of
2042 targets for which -fPIC reduces limitations on the GOT size.
2044 2005-01-09 Falk Hueffner <falk@debian.org>
2046 * fold-const.c (fold): Also handle EXACT_DIV_EXPR when folding
2049 2005-01-09 David Edelsohn <edelsohn@gnu.org>
2052 * collect2.c (main): Set aixrtl_flag for -brtl option.
2053 (resolve_lib_name): Search for .so file extension before .a
2056 2005-01-09 Dorit Naishlos <dorit@il.ibm.com>
2058 * tree-vectorizer.c (vect_enhance_data_refs_alignment): Add dump prints.
2059 (vect_analyze_data_refs_alignment): Add dump prints.
2061 2005-01-09 Ira Rosen <irar@il.ibm.com>
2063 * tree-vectorizer.c (vect_analyze_offset_expr): Use
2064 expr_invariant_in_loop_p.
2065 Initialize outputs first thing in the function.
2066 (vect_update_ivs_after_vectorizer): Call initial_condition_in_loop_num.
2067 (vect_is_simple_iv_evolution): Call initial_condition_in_loop_num.
2068 (vect_analyze_pointer_ref_access): Check that the initial condition of
2069 the access function is loop invariant.
2071 2005-01-09 Richard Henderson <rth@redhat.com>
2073 * config/i386/i386.c (bdesc_2arg): Update names for mmx_ prefixes.
2074 (ix86_expand_builtin): Likewise. Frob MASKMOVQ wrt the input mem
2075 just like MASKMOVDQU. Return plain zero for MMX_ZERO.
2076 * config/i386/i386.md (MMXMODEI, mov<MMXMODEI>,
2077 mov<MMXMODEI>_internal_rex64, mov<MMXMODEI>_internal, movv2sf,
2078 movv2sf_internal_rex64, movv2sf_internal, MMXMODE,
2079 movmisalign<MMXMODE>, mmx_pmovmskb, mmx_maskmovq, mmx_maskmovq_rex,
2080 sse_movntdi, addv8qi3, addv4hi3, addv2si3, mmx_adddi3, ssaddv8qi3,
2081 ssaddv4hi3, usaddv8qi3, usaddv4hi3, subv8qi3, subv4hi3, subv2si3,
2082 mmx_subdi3, sssubv8qi3, sssubv4hi3, ussubv8qi3, ussubv4hi3,
2083 mulv4hi3, smulv4hi3_highpart, umulv4hi3_highpart, mmx_pmaddwd,
2084 sse2_umulsidi3, mmx_iordi3, mmx_xordi3, mmx_anddi3, mmx_nanddi3,
2085 mmx_uavgv8qi3, mmx_uavgv4hi3, mmx_psadbw, mmx_pinsrw, mmx_pinsrw,
2086 mmx_pextrw, mmx_pshufw, eqv8qi3, eqv4hi3, eqv2si3, gtv8qi3, gtv4hi3,
2087 gtv2si3, umaxv8qi3, smaxv4hi3, uminv8qi3, sminv4hi3, ashrv4hi3,
2088 ashrv2si3, lshrv4hi3, lshrv2si3, mmx_lshrdi3, ashlv4hi3, ashlv2si3,
2089 mmx_ashldi3, mmx_packsswb, mmx_packssdw, mmx_packuswb, mmx_punpckhbw,
2090 mmx_punpckhwd, mmx_punpckhdq, mmx_punpcklbw, mmx_punpcklwd,
2091 mmx_punpckldq, emms, addv2sf3, subv2sf3, subrv2sf3, gtv2sf3, gev2sf3,
2092 eqv2sf3, pfmaxv2sf3, pfminv2sf3, mulv2sf3, femms, pf2id, pf2iw,
2093 pfacc, pfnacc, pfpnacc, pi2fw, floatv2si2, pfrcpv2sf2, pfrcpit1v2sf3,
2094 pfrcpit2v2sf3, pfrsqrtv2sf2, pfrsqit1v2sf3, pmulhrwv4hi3, pswapdv2si2,
2095 pswapdv2sf2): Move to mmx.md; rename as necessary with leading
2097 (mmx_clrdi, pavgusb): Remove.
2098 (ldmxcsr, stmxcsr, sfence, sfence_insn): Move to sse.md; rename
2099 with leading sse_ prefix.
2100 * config/i386/sse.md: Receive them.
2101 * config/i386/mmx.md: New file.
2102 (MMXMODE12, MMXMODE24, mmxvecsize): New.
2103 (subrv2sf3): Turn into expander for normal subtraction.
2104 (mmx_addv2sf3, mmx_mulv2sf3, mmx_smaxv2sf3, mmx_sminv2sf3,
2105 mmx_eqv2sf3, mmx_mulv4hi3, mmx_smulv4hi3_highpart,
2106 mmx_umulv4hi3_highpart, mmx_pmaddwd, mmx_pmulhrwv4hi3, sse2_umulsidi3,
2107 mmx_umaxv8qi3, mmx_smaxv4hi3, mmx_uminv8qi3, mmx_sminv4hi3): Mark
2108 commutative; use ix86_binary_operator_ok.
2109 (mmx_add<MMXMODEI>3, mmx_ssadd<MMXMODE12>3, mmx_usadd<MMXMODE12>3,
2110 mmx_sub<MMXMODEI>3, mmx_sssub<MMXMODE12>3, mmx_ussub<MMXMODE12>3
2111 mmx_ashr<MMXMODE24>3, mmx_lshr<MMXMODE23>3, mmx_ashl<MMXMODE24>3
2112 mmx_eq<MMXMODEI>3, mmx_gt<MMXMODEI>3, mmx_and<MMXMODEI>3,
2113 mmx_nand<MMXMODEI>3, mmx_ior<MMXMODEI>3, mmx_xor<MMXMODEI>3):
2114 Macroize from existing patterns; use ix86_binary_operator_ok.
2115 (mmx_packsswb, mmx_packssdw, mmx_packuswb): Add memory alternative.
2116 (mmx_punpckhbw, mmx_punpcklbw, mmx_punpckhwd, mmx_punpcklwd,
2117 mmx_punpckhdq, mmx_punpckhdq, mmx_punpckldq): Likewise. Model
2118 with vec_select+vec_concat.
2119 (mmx_pshufw, mmx_pshufw_1): Likewise.
2120 (mmx_uavgv8qi3): Merge pavgusb. Model correcty.
2121 (mmx_uavgv4hi3): Model correctly.
2122 * config/i386/mmintrin.h (_mm_and_si64, _mm_andnot_si64, _mm_or_si64,
2123 _mm_xor_si64): Remove casts.
2125 2005-01-09 Zdenek Dvorak <dvorakz@suse.cz>
2127 PR tree-optimization/19224
2128 * tree-scalar-evolution.c (get_instantiated_value,
2129 set_instantiated_value): New functions.
2130 (instantiate_parameters_1): Cache the results.
2131 (instantiate_parameters, resolve_mixers): Initialize and free
2134 2005-01-08 David Edelsohn <edelsohn@gnu.org>
2136 * config/i386/i386.md (addhi_4): Correct reference in comment.
2139 2005-01-08 Richard Henderson <rth@redhat.com>
2141 * config/i386/emmintrin.h (_mm_cvtsi128_si32): Move earlier.
2142 (_mm_cvtsi128_si64x): Likewise.
2143 (_mm_srl_epi64, _mm_srl_epi32, _mm_srl_epi16, _mm_sra_epi32,
2144 _mm_sra_epi16, _mm_sll_epi64, _mm_sll_epi32, _mm_sll_epi16): Use
2145 the _mm_{srl,sll}i_foo counterpart, and _mm_cvtsi128_si32.
2146 * config/i386/i386-modes.def: Add V16HI, V32QI, V4DF, V8SF.
2147 * config/i386/i386-protos.h: Update.
2148 * config/i386/i386.c (print_operand): Add 'H'.
2149 (ix86_fixup_binary_operands): Split out from ...
2150 (ix86_expand_binary_operator): ... here.
2151 (ix86_fixup_binary_operands_no_copy): New.
2152 (ix86_expand_fp_absneg_operator): Handle vector mode results.
2153 (bdesc_2arg): Update names for sse{,2,3}_ prefixes.
2154 (ix86_init_mmx_sse_builtins): Remove *maskncmp* special cases.
2155 (safe_vector_operand): Use CONST0_RTX.
2156 (ix86_expand_binop_builtin): Use ix86_fixup_binary_operands.
2157 (ix86_expand_builtin): Merge CODE_FOR_sse2_maskmovdqu_rex64 and
2158 CODE_FOR_sse2_maskmovdqu. Special case SSE version of MASKMOVDQU
2159 expansion. Update names for sse{,2,3}_ prefixes. Remove *maskncmp*
2161 * config/i386/i386.h (IX86_BUILTIN_CMPNGTSS): New.
2162 (IX86_BUILTIN_CMPNGESS): New.
2163 * config/i386/i386.md (UNSPEC_FIX_NOTRUNC): New.
2164 (attr type): Add sselog1.
2165 (attr unit, attr memory): Handle it.
2166 (movti, movti_internal, movti_rex64): Move near other integer moves.
2167 (movtf, movtf_internal): Move near other fp moves.
2168 (SSEMODE, SSEMODEI, vec_setv2df, vec_extractv2df, vec_initv2df,
2169 vec_setv4sf, vec_extractv4sf, vec_initv4sf, movv4sf, movv4sf_internal,
2170 movv2df, movv2df_internal, mov<SSEMODEI>, mov<SSEMODEI>_internal,
2171 movmisalign<SSEMODE>, sse_movups_1, sse_movmskps, sse_movntv4sf,
2172 sse_movhlps, sse_movlhps, sse_storehps, sse_loadhps, sse_storelps,
2173 sse_loadlps, sse_loadss, sse_loadss_1, sse_movss, sse_storess,
2174 sse_shufps, addv4sf3, vmaddv4sf3, subv4sf3, vmsubv4sf3, negv4sf2,
2175 mulv4sf3, vmmulv4sf3, divv4sf3, vmdivv4sf3, rcpv4sf2, vmrcpv4sf2,
2176 rsqrtv4sf2, vmrsqrtv4sf2, sqrtv4sf2, vmsqrtv4sf2, sse_andv4sf3,
2177 sse_nandv4sf3, sse_iorv4sf3, sse_xorv4sf3, sse2_andv2df3,
2178 sse2_nandv2df3, sse2_iorv2df3, sse2_xorv2df3, sse2_andv2di3,
2179 sse2_nandv2di3, sse2_iorv2di3, sse2_xorv2di3, maskcmpv4sf3,
2180 vmmaskcmpv4sf3, sse_comi, sse_ucomi, sse_unpckhps, sse_unpcklps,
2181 smaxv4sf3, vmsmaxv4sf3, sminv4sf3, vmsminv4sf3, cvtpi2ps, cvtps2pi,
2182 cvttps2pi, cvtsi2ss, cvtsi2ssq, cvtss2si, cvtss2siq, cvttss2si,
2183 cvttss2siq, addv2df3, vmaddv2df3, subv2df3, vmsubv2df3, mulv2df3,
2184 vmmulv2df3, divv2df3, vmdivv2df3, smaxv2df3, vmsmaxv2df3, sminv2df3,
2185 vmsminv2df3, sqrtv2df2, vmsqrtv2df2, maskcmpv2df3, vmmaskcmpv2df3,
2186 sse2_comi, sse2_ucomi, sse2_movmskpd, sse2_pmovmskb, sse2_maskmovdqu,
2187 sse2_maskmovdqu_rex64, sse2_movntv2df, sse2_movntv2di, sse2_movntsi,
2188 cvtdq2ps, cvtps2dq, cvttps2dq, cvtdq2pd, cvtpd2dq, cvttpd2dq,
2189 cvtpd2pi, cvttpd2pi, cvtpi2pd, cvtsd2si, cvtsd2siq, cvttsd2si,
2190 cvttsd2siq, cvtsi2sd, cvtsi2sdq, cvtsd2ss, cvtss2sd, cvtpd2ps,
2191 cvtps2pd, addv16qi3, addv8hi3, addv4si3, addv2di3, ssaddv16qi3,
2192 ssaddv8hi3, usaddv16qi3, usaddv8hi3, subv16qi3, subv8hi3, subv4si3,
2193 subv2di3, sssubv16qi3, sssubv8hi3, ussubv16qi3, ussubv8hi3, mulv8hi3,
2194 smulv8hi3_highpart, umulv8hi3_highpart, sse2_umulsidi3,
2195 sse2_umulv2siv2di3, sse2_pmaddwd, sse2_uavgv16qi3, sse2_uavgv8hi3,
2196 sse2_psadbw, sse2_pinsrw, sse2_pextrw, sse2_pshufd, sse2_pshuflw,
2197 sse2_pshufhw, eqv16qi3, eqv8hi3, eqv4si3, gtv16qi3, gtv8hi3,
2198 gtv4si3, umaxv16qi3, smaxv8hi3, uminv16qi3, sminv8hi3, ashrv8hi3,
2199 ashrv4si3, lshrv8hi3, lshrv4si3, lshrv2di3, ashlv8hi3, ashlv4si3,
2200 ashlv2di3, sse2_ashlti3, sse2_lshrti3, sse2_unpckhpd, sse2_unpcklpd,
2201 sse2_packsswb, sse2_packssdw, sse2_packuswb, sse2_punpckhbw,
2202 sse2_punpckhwd, sse2_punpckhdq, sse2_punpcklbw, sse2_punpcklwd,
2203 sse2_punpckldq, sse2_punpcklqdq, sse2_punpckhqdq, sse2_movupd,
2204 sse2_movdqu, sse2_movdq2q, sse2_movdq2q_rex64, sse2_movq2dq,
2205 sse2_movq2dq_rex64, sse2_loadd, sse2_stored, sse2_storehpd,
2206 sse2_loadhpd, sse2_storelpd, sse2_loadlpd, sse2_movsd, sse2_loadsd,
2207 sse2_loadsd_1, sse2_storesd, sse2_shufpd, sse2_clflush, sse2_mfence,
2208 mfence_insn, sse2_lfence, lfence_insn, mwait, monitor, addsubv4sf3,
2209 addsubv2df3, haddv4sf3, haddv2df3, hsubv4sf3, hsubv2df3, movshdup,
2210 movsldup, lddqu, loadddup, movddup): Move to sse.md. Any with
2211 non-optabs meanings renamed with an "sse{,2,3}_" prefix at the
2213 (SSEPUSH, push<SSEPUSH>): Remove.
2214 (MMXPUSH, push<MMXPUSH>): Remove.
2215 (sse_movaps, sse_movaps_1, sse_movups): Remove.
2216 (sse2_movapd, sse2_movdqa, sse2_movq): Remove.
2217 (sse2_andti3, sse2_nandti3, sse2_iorti3, sse2_xorti3): Remove.
2218 (sse_clrv4sf, sse_clrv2df, sse2_clrti): Remove.
2219 (maskncmpv4sf3, vmmaskncmpv4sf3): Remove.
2220 (maskncmpv2df3, vmmaskncmpv2df3): Remove.
2221 (ashrv8hi3_ti, ashrv4si3_ti, lshrv8hi3_ti, lshrv4si3_ti): Remove.
2222 (lshrv2di3_ti, ashlv8hi3_ti, ashlv4si3_ti, ashlv2di3_ti): Remove.
2223 * config/i386/athlon.md (athlon_sselog_load): Handle sselog1.
2224 (athlon_sselog_load_k8, athlon_sselog, athlon_sselog_k8): Likewise.
2225 * config/i386/ppro.md (ppro_sse_div_V4SF_load): Fix memory attr.
2226 (ppro_sse_log_V4SF_load): Similarly. Handle sselog1.
2227 (ppro_sse_log_V4SF): Handle sselog1.
2228 * config/i386/predicates.md (const_0_to_1_operand): New.
2229 (const_0_to_255_mul_8_operand): New.
2230 (const_1_to_31_operand): Rename from const_int_1_31_operand.
2231 (const_2_to_3_operand, const_4_to_7_operand): New.
2232 * config/i386/sse.md: New file.
2233 (SSEMODE12, SSEMODE24, SSEMODE124, SSEMODE248, ssevecsize): New.
2234 (sse_movups): Rename from sse_movups_1.
2235 (sse_loadlss): Rename from sse_loadss_1.
2236 (andv4sf3, iorv4sf3, xorv4sf3, andv2df3): Remove the sse prefix
2238 (negv4sf2): Use ix86_expand_fp_absneg_operator.
2239 (absv4sf2, negv2df, absv2df): New.
2240 (addv4sf3): Add expander to call ix86_fixup_binary_operands_no_copy.
2241 (subv4sf3, mulv4sf3, divv4sf3, smaxv4sf3, sminv4sf3, andv4sf3,
2242 iorv4sf3, xorv4sf3, addv2df3, subv2df3, mulv2df3, divv2df3,
2243 smaxv2df3, sminv2df3, andv2df3, iorv2df3, xorv2df3, mulv8hi3,
2244 umaxv16qi3, smaxv8hi3, uminv16qi3, sminv8hi3): Likewise.
2245 (sse3_addsubv4sf3): Model correctly.
2246 sse3_haddv4sf3, sse3_hsubv4sf3, sse3_addsubv2df3, sse3_haddv2df3,
2247 sse3_hsubv2df3, sse2_ashlti3, sse2_lshrti3): Likewise.
2248 (sse_movhlps): Model with vec_select+vec_concat.
2249 (sse_movlhps, sse_unpckhps, sse_unpcklps, sse3_movshdup,
2250 sse3_movsldup, sse_shufps, sse_shufps_1, sse2_unpckhpd, sse3_movddup,
2251 sse2_unpcklpd, sse2_shufpd, sse2_shufpd_1, sse2_punpckhbw,
2252 sse2_punpcklbw, sse2_punpckhwd, sse2_punpcklwd, sse2_punpckhdq,
2253 sse2_punpckldq, sse2_punpckhqdq, sse2_punpcklqdq, sse2_pshufd,
2254 sse2_pshufd_1, sse2_pshuflw, sse2_pshuflw_1, sse2_pshufhw,
2255 sse2_pshufhw_1): Likewise.
2256 (neg<SSEMODEI>2, one_cmpl<SSEMODEI>2): New.
2257 (add<SSEMODEI>3, sse2_ssadd<SSEMODE12>3, sse2_usadd<SSEMODE12>3,
2258 sub<SSEMODEI>3, sse2_sssub<SSEMODE12>3, sse2_ussub<SSEMODE12>3,
2259 ashr<SSEMODE24>3, lshr<SSEMODE248>3, sse2_eq<SSEMODE124>3,
2260 sse2_gt<SSEMODDE124>3, and<SSEMODEI>3, sse_nand<SSEMODEI>3,
2261 ior<SSEMODEI>3, xor<SSEMODEI>3): Macroize from existing patterns.
2262 (addv4sf3, sse_vmaddv4sf3, mulv4sf3, sse_vmmulv4sf3, smaxv4sf3,
2263 sse_vmsmaxv4sf3, sminv4sf3, sse_vmsminv4sf3, addv2df3, sse2_vmaddv2df3,
2264 mulv2df3, sse2_vmmulv2df3, smaxv2df3, sse2_vmsmaxv2df3, sminv2df3,
2265 sse2_vmsminv2df3, umaxv16qi3, smaxv8hi3, uminv16qi3
2266 sminv8hi3): Mark commutative
2267 operands. Use ix86_binary_operator_ok.
2268 (sse_unpckhps, sse_unpcklps, sse2_packsswb, sse2_packssdw,
2269 sse2_packuswb, sse2_punpckhbw, sse2_punpcklbw, sse2_punpckhwd,
2270 sse2_punpcklwd, sse2_punpckhdq, sse2_punpckldq, sse2_punpckhqdq,
2271 sse2_punpcklqdq): Allow operand2 in memory.
2272 (sse_movhlps, sse_movlhps, sse2_unpckhpd, sse2_unpcklpd
2273 sse2_movsd): Add memory alternatives.
2274 (sse_storelps): Turn expander into an insn; split after reload.
2275 (sse_storess, sse2_loadhpd, sse2_loadlpd): Add non-xmm inputs.
2276 (sse2_storehpd, sse2_storelpd): Add non-xmm outputs.
2278 2005-01-08 Eric Botcazou <ebotcazou@libertysurf.fr>
2280 * configure.ac (DWARF-2 debug_line): Use objdump.
2281 * configure: Regenerate.
2283 2005-01-08 Jeff Law <law@redhat.com>
2284 Diego Novillo <dnovillo@redhat.com>
2286 PR tree-optimization/18241
2287 * tree-nrv.c (tree_nrv): Ignore volatile return values.
2288 * tree-ssa-dse.c (dse_optimize_stmt): Do not optimize
2289 statements with volatile operands.
2290 * tree-ssa-operands.c (add_stmt_operand): Do add volatile
2291 operands after marking a statement with has_volatile_ops.
2293 2005-01-08 Roger Sayle <roger@eyesopen.com>
2295 * tree.c (int_fits_type_p): Always honor integer constant
2296 TYPE_MIN_VALUE and TYPE_MAX_VALUE if they exist.
2298 2005-01-08 Roger Sayle <roger@eyesopen.com>
2300 * ifcvt.c (find_if_case_1): Reinstate 2005-01-04 change, now that
2301 the latent bug in rtl_delete_block has been resolved.
2303 2005-01-08 Richard Sandiford <rsandifo@redhat.com>
2305 * config/mips/t-iris6 (MULTILIB_DIRNAMES): Use -mabi argument values.
2306 (MULTILIB_OSDIRNAMES): Use the standard lib, lib32 and lib64.
2308 2005-01-08 Richard Sandiford <rsandifo@redhat.com>
2310 * config/mips/t-slibgcc-irix (SHLIB_LINK): Install a copy of the
2311 library as @multilib_dir@/$(SHLIB_SONAME).
2313 2005-01-07 Eric Botcazou <ebotcazou@libertysurf.fr>
2315 * configure.ac (HAVE_AS_OFFSETABLE_LO10): Fix typo.
2316 * configure: Regenerate.
2318 2005-01-07 Jakub Jelinek <jakub@redhat.com>
2320 * c-common.c (handle_mode_attribute): For ENUMERAL_TYPE, also copy
2323 2005-01-07 David Edelsohn <edelsohn@gnu.org>
2326 * config/rs6000/rs6000.c (rs6000_legitimize_reload_address):
2327 Convert non-word aligned offset address using ld/std into
2330 2005-01-07 Richard Henderson <rth@redhat.com>
2332 * config/i386/i386.md (sse_loadhps splitter): Fix operand number typo.
2334 2005-01-07 Richard SAndiford <rsandifo@redhat.com>
2336 * tree.h (IS_EXPR_CODE_CLASS): Use a straight-forward range check.
2338 2005-01-07 Jakub Jelinek <jakub@redhat.com>
2340 PR tree-optimization/19283
2341 * fold-const.c (fold_widened_comparison): Return NULL if shorter_type
2342 is not shorter than the original type.
2344 PR rtl-optimization/19012
2345 * config/i386/i386.md (addqi_1_slp): Set memory attribute.
2347 PR rtl-optimization/18861
2348 * cfgbuild.c (BLOCK_USED_BY_TABLEJUMP): Define.
2349 (FULL_STATE): Define.
2350 (mark_tablejump_edge): New function.
2351 (purge_dead_tablejump_edges): New function.
2352 (find_bb_boundaries): Use it.
2354 PR tree-optimization/18828
2355 * builtins.c (expand_builtin_next_arg): Remove argument and all
2356 the argument checking.
2357 (expand_builtin): Adjust caller.
2358 (expand_builtin_va_start): Likewise. Remove error for too many
2360 (fold_builtin_next_arg): Issue error for too many arguments.
2361 After checking arguments, replace them with magic arguments that
2362 prevent further checking of the args.
2364 2005-01-06 John David Anglin <dave.anglin@nrc-cnrc.gc.ca>
2366 * pa64-hpux.h (STARTFILE_SPEC): Fix typo in spec.
2368 2005-01-06 Roger Sayle <roger@eyesopen.com>
2371 * gcc.c (input_suffix_matches): Tweak the semantics of %{.s:...}
2372 and %{.S:...} (and their negative variants) to test whether the
2373 input file is assembler or pre-processed-assembler independent of
2374 the actual filename extension.
2376 2005-01-06 Roger Sayle <roger@eyesopen.com>
2378 * simplify-rtx.c (simplify_subreg): Simplify truncations of shifts
2379 of sign or zero extended values.
2381 2005-01-06 Geoffrey Keating <geoffk@apple.com>
2383 * c-cppbuiltin.c (builtin_define_float_constants): Set __*_EPSILON__
2384 for IBM long double format correctly.
2386 2005-01-06 Daniel Berlin <dberlin@dberlin.org>
2388 Fix PR tree-optimization/18792
2390 * tree-data-ref.c (build_classic_dist_vector): Change first_loop
2391 to first_loop_depth, and use loop depth instead of loop number.
2392 (build_classic_dir_vector): Ditto.
2393 (compute_data_dependences_for_loop): Use depth, not loop number.
2394 * tree-loop-linear.c (try_interchange_loops): Use loop depth, not loop
2395 number. Pass in loops, instead of loop numbers.
2396 (gather_interchange_stats): Ditto.
2397 (linear_transform_loops): Ditto.
2399 2005-01-06 Richard Sandiford <rsandifo@redhat.com>
2402 * loop.c (get_monotonic_increment, biased_biv_fits_mode_p,
2403 biv_fits_mode_p, extension_within_bounds_p): New functions.
2404 (check_ext_dependent_givs): Use them.
2406 2005-01-06 Roger Sayle <roger@eyesopen.com>
2408 * cfgrtl.c (rtl_delete_block): A basic block may be followed by
2409 more than one barrier, in which case we should delete them all.
2411 2005-01-06 Tobias Schlueter <tobias.schlueter@physik.uni-muenchen.de>
2413 * gcc.c (process_command): Change year in 'gcc --version' to 2005.
2415 2005-01-05 Daniel Berlin <dberlin@dberlin.org>
2417 Fix PR middle-end/19286
2419 * dwarf2out.c (gen_subprogram_die): If we've already tried to
2420 output this subprogram, simply ignore this attempt to do it again.
2421 (add_abstract_origin_attribute): Don't abort trying to add the abstract
2422 origin attribute if it's not possible.
2423 (gen_block_die): Don't ignore subblocks of "unused" blocks.
2424 (decls_for_scope): Ditto.
2425 * gimple-low.c (mark_blocks_with_used_subblocks): Remove.
2426 (mark_used_blocks): Don't call mark_blocks_with_used_subblocks.
2428 2005-01-05 Richard Henderson <rth@redhat.com>
2431 * config/i386/i386.c (BUILTIN_DESC_SWAP_OPERANDS): New.
2432 (bdesc_2arg): Use it.
2433 (ix86_expand_binop_builtin): Force operands into registers
2435 (ix86_expand_unop_builtin, ix86_expand_unop1_builtin,
2436 ix86_expand_sse_compare, ix86_expand_sse_comi,
2437 ix86_expand_builtin): Likewise.
2439 2005-01-05 Richard Henderson <rth@redhat.com>
2441 * config/ia64/ia64.c (rtx_needs_barrier): Handle CONST_VECTOR
2443 * config/ia64/vect.md (mulv8qi3): Re-implement with mix_[rl].
2444 (mulv4hi3): Set itanium_class mmmul.
2445 (fpack_sfxf, fpack_xfsf, fpack_xfxf): Remove.
2446 (fpack): Rename from fpack_sfsf.
2448 2005-01-05 Richard Henderson <rth@redhat.com>
2451 * reload1.c (do_input_reload): Restrict the optimization deleteing
2452 a previous output reload to RELOAD_FOR_INPUT.
2454 2005-01-05 Steven Bosscher <stevenb@suse.de>
2456 * combine.c (expand_compound_operation) <ZERO_EXTRACT>: Add
2457 comment that we fall through after case.
2458 (mark_used_regs_combine): Don't expect a SIGN_EXTRACT in a SET_DEST.
2459 (distribute_links): Likewise.
2460 * cse.c (cse_insn): Likewise.
2461 * cselib.c (cselib_invalidate_mem): Likewise.
2462 * df.c: Update comments at the top of the file.
2463 (read_modify_subreg_p): Update comments here too.
2464 (df_def_record_1): Don't expect a SIGN_EXTRACT in a SET_DEST.
2465 * flow.c (mark_set_1): Likewise.
2466 (mark_used_regs): Likewise.
2467 * gcse.c (mems_conflict_for_gcse_p): Likewise.
2468 (canon_list_insert): Likewise.
2469 (mark_set): Likewise.
2470 (try_replace_reg): Likewise.
2471 (store_killed_in_insn): Likewise.
2472 * loop.c (count_one_set): Likewise.
2473 (basic_induction_var): Likewise.
2474 * postreload-gcse.c (find_mem_conflicts): Likewise.
2475 * postreload.c (reload_combine_note_store): Likewise.
2476 (move2add_note_store): Likewise.
2477 * reload.c (find_equiv_reg): Likewise.
2478 (mark_referenced_resources): Likewise.
2479 * rtlanal.c (set_noop_p): Likewise.
2480 (note_stores): Likewise.
2481 (note_uses): Likewise.
2482 * sched-deps.c (sched_analyze_1): Likewise.
2483 * sched-rgn.c (check_live_1): Likewise.
2484 (update_live_1): Likewise.
2485 * config/i860/i860.c: Likewise.
2487 * rtl.dec (SIGN_EXTRACT): Document that this cannot appear as
2489 (ZERO_EXTRACT): Mention that this one can be an lvalue.
2491 * doc/rtl.texi: Update documentation for bit-fields and SET.
2493 2005-01-05 Roger Sayle <roger@eyesopen.com>
2495 * ifcvt.c (find_if_case_1): Revert 2005-01-04 change.
2497 2005-01-05 Jan Hubicka <jh@suse.cz>
2498 Richard Henderson <rth@redhat.com>
2501 * config/i386/i386.c (ix86_expand_move): Handle tls symbols
2504 2005-01-05 Richard Henderson <rth@redhat.com>
2507 * config/i386/i386.md (sse_movhps, sse_movlps): Remove.
2508 (sse_shufps): Change operand 3 to const_int_operand.
2509 (sse2_storelps): Fix typo in template.
2510 (sse_storehps, sse_loadhps, sse_storelps, sse_loadlps): New.
2511 * config/i386/i386.c (ix86_expand_vector_move_misalign): Use them.
2512 (ix86_expand_builtin): Likewise.
2514 2005-01-05 Julian Brown <julian@codesourcery.com>
2516 * config/arm/arm.c (arm_return_in_memory): Treat complex types
2517 as aggregates for AAPCS ABIs.
2519 2005-01-05 Stan Shebs <shebs@apple.com>
2521 * unwind-dw2-fde-darwin.c (examine_objects): Use 64-bit
2522 Mach-O getters if ppc64.
2523 * config/darwin.c (darwin_asm_output_dwarf_delta): Obey
2525 * config/darwin.h (ASM_PREFERRED_EH_DATA_FORMAT): Use
2526 signed four-byte field for global code case.
2527 (STARTFILE_SPEC): Avoid crt2.o for 64-bit compilation.
2529 2005-01-05 Roger Sayle <roger@eyesopen.com>
2532 * c-common.c: Include real.h.
2533 (c_common_truthvalue_conversion): Avoid destructively modifying expr.
2534 Correctly handle TREE_CONSTANT_OVERFLOW for INTEGER_CST.
2535 Correctly handle TREE_CONSTANT_OVERFLOW and NaNs for REAL_CST.
2536 * Makefile.in (c-common.o): Update dependencies.
2538 2005-01-05 Joseph S. Myers <joseph@codesourcery.com>
2540 * c-parse.in (asm_string): Add trailing semicolon.
2542 2005-01-05 Joseph S. Myers <joseph@codesourcery.com>
2544 * c-parse.in (asm_string): New. Don't allow wide strings in
2546 (simple_asm_expr, asm_argument, asm_operand, asm_clobbers): Use
2547 asm_string instead of STRING.
2549 2005-01-05 Joseph S. Myers <joseph@codesourcery.com>
2551 * c-typeck.c (constructor_no_implicit): Remove.
2552 (set_designator, process_init_element): Don't check
2553 constructor_no_implicit.
2555 2005-01-05 J"orn Rennecke <joern.rennecke@st.com>
2556 Kaz Kojima <kkojima@gcc.gnu.org>
2559 * lcm.c (create_pre_exit): New.
2560 (optimize_mode_switching): In MODE_ENTRY / MODE_EXIT case, set
2561 ENTRY_EXIT_EXTRA to 3. Use create_pre_exit.
2563 2004-01-05 Richard Earnshaw <rearnsha@arm.com>
2565 * arm.h (TARGET_OPTIONS): Correctly record -mhard-float and
2566 -msoft-float in target_float_switch.
2567 * arm.c (arm_override_options): Fix processing of target_float_switch.
2569 2004-01-05 Richard Earnshaw <rearnsha@arm.com>
2571 * arm/vfp.md (arm_movsi_vfp): Hide VFP register classes from register
2574 2004-01-05 Uros Bizjak <uros@kss-loka.si>
2576 * doc/invoke.texi (Intel 386 and AMD x86-64 Options):
2577 Replace i387 with 'i386 compiler' in -mfpmath=sse option.
2579 2005-01-04 Roger Sayle <roger@eyesopen.com>
2581 * ifcvt.c (find_if_case_1): Avoid creating an empty forwarder block,
2582 if deleting the then-block allows the test-block to fallthru to the
2585 2005-01-04 Andrew Pinski <pinskia@physics.uc.edu>
2588 * c-decl.c (diagnose_mismatched_decls): Accept "extern inline" declared
2589 after the full declaration if the are in two different TUs.
2591 2005-01-04 Richard Henderson <rth@redhat.com>
2594 * tree-sra.c (generate_one_element_init): Just
2595 call gimplify_and_add.
2596 (generate_element_init): Record the
2597 new referenced variables and mark them for renaming
2598 and split out to ...
2599 (generate_element_init_1): This.
2600 (scalarize_init): Don't call push_gimplify_context/
2601 pop_gimplify_context.
2603 2005-01-04 Geoffrey Keating <geoffk@apple.com>
2605 * toplev.c (get_src_pwd): Handle failure of getpwd().
2607 2005-01-04 Roger Sayle <roger@eyesopen.com>
2609 * fold-const.c (fold_single_bit_test): Delete unreachable handling
2611 (fold): Don't call fold_single_bit_test with a TRUTH_NOT_EXPR, as
2612 all the cases handled by it are inverted by invert_truthvalue.
2614 2005-01-04 Eric Botcazou <ebotcazou@libertysurf.fr>
2616 * config/sparc/sparc.md (save_register_windowdi): Add missing mode.
2617 (save_register_windowsi): Likewise.
2619 2005-01-04 Richard Henderson <rth@redhat.com>
2621 * tree-mudflap.c (mf_varname_tree): Fix thinko setting declname.
2623 2005-01-04 Uros Bizjak <uros@kss-loka.si>
2626 * cse.c (fold_rtx) [RTX_COMPARE, RTX_COMM_COMPARE]: Don't attempt
2627 any simplifications of vector mode comparison operators.
2628 * simplify-rtx.c (simplify_relational_operation): Fix variable name.
2630 2005-01-04 Paolo Bonzini <bonzini@gnu.org>
2631 Devang Patel <dpatel@apple.com>
2633 PR tree-optimization/18308
2634 * tree-if-conv.c (add_to_dst_predicate_list): Gimplify
2635 the operands before creating a new expression.
2636 * dojump.c (do_jump): Make drop_through_label available
2637 for all cases. Add expansion of COND_EXPR.
2639 2005-01-04 Ira Rosen <irar@il.ibm.com>
2641 * tree-vectorizer.c (vect_analyze_offset_expr): Test for
2642 INTEGER_CST instead of TREE_CONSTANT.
2643 (vect_gen_niters_for_prolog_loop): Test for INTEGER_CST
2644 instead of TREE_CONSTANT.
2645 (vect_analyze_pointer_ref_access): Test for INTEGER_CST
2646 instead of TREE_CONSTANT.
2648 2005-01-04 Eric Botcazou <ebotcazou@libertysurf.fr>
2650 * tree-eh.c (replace_goto_queue): Return early if the queue is empty.
2652 2005-01-04 Uros Bizjak <uros@kss-loka.si>
2655 * config/i386/i386.md (*fop_df_1_i387): Disable for TARGET_SSE_MATH.
2656 (*fop_df_1_i387): Disable for (TARGET_SSE2 && TARGET_SSE_MATH).
2658 2005-01-03 Richard Henderson <rth@redhat.com>
2660 * fold-const.c (force_fit_type): Cope with types larger than 2 HWI.
2661 (fold_convert_const_int_from_int, fold_convert_const_int_from_real,
2662 fold_convert_const_real_from_real): Split out from ...
2663 (fold_convert_const): ... here.
2665 2005-01-03 Richard Henderson <rth@redhat.com>
2668 * config/i386/i386.md (movdi_2): Separate SSE1 and SSE2 alternatives.
2669 (mov<MMXMODEI>_internal): Likewise.
2670 (movdf_nointeger): Prefer Y while not preferring, but allowing, x.
2671 Add V2SF case; use it for SSE1; don't use TI.
2672 (movdf_integer): Likewise.
2673 (mov<SSEMODEI>_internal, movti_internal): Force V4SF for SSE1.
2675 2005-01-03 Ira Rosen <irar@il.ibm.com>
2677 * tree-vectorizer.c (vect_strip_conversions): New function.
2678 (vect_analyze_offset_expr): Call vect_strip_conversions. Add
2679 check for binary class.
2681 2005-01-03 Daniel Berlin <dberlin@dberlin.org>
2685 * dwarf2out.c (block_ultimate_origin): Follow decl origin if origin
2687 * gimple-low.c (mark_blocks_with_used_vars): New function.
2688 (mark_blocks_with_used_subblocks): Ditto.
2689 (mark_used_blocks): Ditto.
2690 (pass_mark_used_blocks): New pass.
2691 * tree-inline.c: Include debug.h.
2692 (expand_call_inline): Call outlining_inline_function here.
2693 * tree-optimize.c (init_tree_optimization_passes): Add
2694 pass_mark_used_blocks.
2695 * tree-pass.h (pass_mark_used_blocks): New.
2696 * Makefile.in (tree-inline.o): Add debug.h dependency.
2698 2005-01-03 Geoffrey Keating <geoffk@apple.com>
2700 * config/darwin.c (darwin_handle_weak_import_attribute): Permit
2701 VAR_DECLs to have weak_import attribute.
2703 * config/rs6000/darwin-fallback.c: Use 'ucontext_t' rather than
2706 2004-01-03 Steven Bosscher <stevenb@suse.de>
2708 * passes.c (rest_of_compilation): Don't run regmove if only
2709 flag_expensive_optimizations, require flag_regmove instead.
2711 2005-01-03 Eric Botcazou <ebotcazou@libertysurf.fr>
2713 * config/sparc/litecoff.h (TARGET_OS_CPP_BUILTINS): Do not
2715 * config/sparc/sysv4-only.h (TARGET_OS_CPP_BUILTINS): Likewise.
2716 * config/sparc/rtemself.h (TARGET_SUB_OS_CPP_BUILTINS): Likewise.
2717 * config/sparc/sol2-64.h (TARGET_SUB_OS_CPP_BUILTINS): Delete.
2718 * config/sparc/sp64-elf.h (TARGET_SUB_OS_CPP_BUILTINS): Likewise.
2720 2005-01-03 Richard Henderson <rth@redhat.com>
2722 * config/ia64/ia64.c (TARGET_VECTOR_MODE_SUPPORTED_P): New.
2723 (ia64_const_ok_for_letter_p): New.
2724 (ia64_const_double_ok_for_letter_p): New.
2725 (ia64_extra_constraint): New.
2726 (ia64_expand_vecint_compare): New.
2727 (ia64_expand_vcondu_v2si): New.
2728 (ia64_expand_vecint_cmov): New.
2729 (ia64_expand_vecint_minmax): New.
2730 (ia64_print_operand): Add 'v'.
2731 (ia64_preferred_reload_class): New.
2732 (ia64_vector_mode_supported_p): New.
2733 * config/ia64/ia64.h (UNITS_PER_SIMD_WORD): New.
2734 (PREFERRED_RELOAD_CLASS): Move to function.
2735 (CONST_OK_FOR_LETTER_P): Move to function.
2736 (CONST_DOUBLE_OK_FOR_LETTER_P): Move to function.
2737 (CONSTRAINT_OK_FOR_Q, CONSTRAINT_OK_FOR_R): Remove.
2738 (CONSTRAINT_OK_FOR_S, CONSTRAINT_OK_FOR_T): Remove.
2739 (EXTRA_CONSTRAINT): Move to function.
2740 * config/ia64/ia64.md: Include vect.md.
2741 (itanium_class): Add mmalua.
2743 * config/ia64/itanium1.md (1_mmalua): New. Add it to bypasses.
2745 * config/ia64/itanium2.md (2_mmalua, 2b_mmalua): Similarly.
2746 * config/ia64/predicates.md (gr_reg_or_0_operand): Accept any
2748 (const_int_2bit_operand): New.
2749 (fr_reg_or_0_operand): New.
2750 * config/ia64/ia64-modes.def: Add vector modes.
2751 * config/ia64/ia64-protos.h: Update.
2752 * config/ia64/vect.md: New file.
2754 2005-01-03 Richard Henderson <rth@redhat.com>
2756 * simplify-rtx.c (simplify_binary_operation): Handle VEC_CONCAT.
2758 2005-01-03 Uros Bizjak <uros@kss-loka.si>
2761 * config/i386/i386.c (log1psf2): Change mode of operands[0,1]
2763 (log1pdf2): Change mode of operands[0,1] to DFmode.
2765 2005-01-03 Eric Botcazou <ebotcazou@libertysurf.fr>
2767 * config/sparc/sparc.h (SPARC_RELAXED_ORDERING): Define to false.
2768 * config/sparc/linux.h (SPARC_RELAXED_ORDERING): Define to true.
2769 * config/sparc/linux64.h (SPARC_RELAXED_ORDERING): Likewise.
2770 * config/sparc/sparc.c (TARGET_RELAXED_ORDERING): Define to
2771 SPARC_RELAXED_ORDERING.
2773 2005-01-03 Richard Henderson <rth@redhat.com>
2774 Uros Bizjak <uros@kss-loka.si>
2777 * config/i386/i386.c (ix86_expand_builtin): [IX86_BUILTIN_PINSRW,
2778 IX86_BUILTIN_PINSRW128]: Fix wrong selector range in error message.
2779 * config/i386/i386.md (mmx_pinsrw, sse2_pinsrw): Fix selector
2781 (*mmx_pinsrw, *sse2_pinsrw): New patterns.
2782 * config/i386/i386/predicates.md (const_pow2_1_to_8_operand,
2783 const_pow2_1_to_128_operand): New predicates.
2785 2005-01-02 Greg McGary <greg@mcgary.org>
2787 * tree-mudflap.c (mf_varname_tree): decl_printable_name handles
2789 (mf_xform_derefs_1) [RESULT_DECL, STRING_CST]: Handle as innermost
2790 object. [ptr_type]: Remove unused variable.
2791 Remember nearest addressable array-element or record-component
2792 when checking bitfield components. Tolerate empty BIND_EXPR.
2794 2005-01-01 Richard Henderson <rth@redhat.com>
2796 * tree-vectorizer.c (vect_analyze_offset_expr): Strip conversions
2797 that don't narrow the value. Fail for other conversions.
2799 2005-01-01 Richard Henderson <rth@redhat.com>
2802 * c-decl.c (pop_file_scope): Call maybe_apply_pending_pragma_weaks.
2803 * c-lang.c (finish_file): Don't do it here.
2804 * objc/objc-act.c (objc_finish_file): Likewise.
2806 * cgraph.c (decl_assembler_name_equal): New.
2807 (cgraph_node_for_asm, cgraph_varpool_node_for_asm): New.
2808 (cgraph_varpool_node): Actually link up cgraph_varpool_nodes.
2809 * cgraph.h (struct cgraph_varpool_node): Add next.
2810 (cgraph_node_for_asm, cgraph_varpool_node_for_asm): Declare.
2811 * varasm.c (assemble_alias): Mark the target as needed.
2813 2005-01-01 Andrew Pinski <pinskia@physics.uc.edu>
2816 * function.c (get_arg_pointer_save_area): Use entry_of_function
2817 instead of get_insns.
2819 2005-01-01 Roger Sayle <roger@eyesopen.com>
2820 Andrew Pinski <pinskia@physics.uc.edu>
2821 James E. Wilson <wilson@specifixinc.com>
2823 PR rtl-optimization/12092
2824 * loop.c (emit_prefetch_instructions): Do nothing if PREFETCH_BLOCK
2827 2005-01-01 Roger Sayle <roger@eyesopen.com>
2828 Olivier Hainque <hainque@act-europe.fr>
2830 * tree.c (int_fits_type_p): A narrower type always fits in a
2831 wider one, except for negative values into unsigned types.
2833 2005-01-01 Roger Sayle <roger@eyesopen.com>
2835 * tree.c (int_fits_type_p): Compare the result of force_fit_type
2836 with the original constant rather than require TREE_OVERFLOW.
2838 2005-01-01 Steven Bosscher <stevenb@suse.de>
2841 * c-decl.c (finish_function): If compiling C99, annotate the
2842 compiler generated return with the current file name and line 0.
2843 * tree-cfg.c (remove_useless_stmts_warn_notreached): Only warn if
2844 the source line is greater than 0.
2845 (remove_bb): Likewise.
2847 See ChangeLog.12 for earlier changes.