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