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