1 2005-01-14 Aldy Hernandez <aldyh@redhat.com>
3 * config/rs6000/rs6000.h (CLASS_MAX_NREGS): DF goes in 1 register
5 (CANNOT_CHANGE_MODE_CLASS): Restrict DI mode changes on e500v2.
6 (PREDICATE_CODES): Add rs6k_nonimmediate_operand.
8 * config/rs6000/rs6000.c (invalid_e500_subreg): New.
9 (rs6k_nonimmediate_operand): New.
10 (rs6000_legitimate_offset_address_p): Handle DI modes on e500v2
12 (legitimate_lo_sum_address_p): Same.
13 (rs6000_legitimize_address): Same.
14 (rs6000_legitimize_reload_address): Same.
15 (rs6000_legitimate_address): Same.
16 (spe_build_register_parallel): Pass DF and DC modes in a DI
19 * config/rs6000/rs6000.md ("*movsi_internal1"): Change predicate
20 to rs6k_nonimmediate_operand.
22 * config/rs6000/spe.md ("*frob_df_di"): New.
24 ("*frob_di_df_2"): New.
25 ("*mov_sidf_e500_subreg0"): New.
26 ("*mov_sidf_e500_subreg4"): New.
27 ("*movdf_e500_double"): Change predicate to
28 rs6k_nonimmediate_operand.
30 2005-01-14 Aldy Hernandez <aldyh@redhat.com>
32 * postreload.c (move2add_note_store): Only call
33 trunc_int_for_mode on scalar integers.
35 2005-01-14 Steven Bosscher <stevenb@suse.de>
37 * tree-ssa-dce.c (visited_control_parents): New sbitmap to
38 replace BB_VISITED uses.
39 (find_obviously_necessary_stmts): Don't clear BB_VISITED.
40 (propagate_necessity): Check the bitmap instead of BB_VISITED.
41 (tree_dce_done): Free visited_control_parents.
42 (perform_tree_ssa_dce): Allocate and clear it.
43 * tree-ssa-pre.c (compute_antic_aux): Make non-recursive.
44 (compute_antic): Iterate from here using a DFS. Use an sbitmap
45 instead of BB_VISITED.
47 2005-01-14 Kazu Hirata <kazu@cs.umass.edu>
49 * c-tree.h, coverage.h, langhooks-def.h, optabs.h, output.h,
50 rtl.h, targhooks.h, tree-flow.h, tree-mudflap.h, tree.h:
51 Remove unused prototypes.
53 2005-01-14 Aldy Hernandez <aldyh@redhat.com>
55 * config/rs6000/rs6000.c (rs6000_stack_info): Fix caching of SPE
56 64-bit register usage.
57 (spe_func_has_64bit_regs_p): Add FIXME note.
59 2005-01-14 Aldy Hernandez <aldyh@redhat.com>
61 * config/rs6000/rs6000.c (rs6000_generate_compare): Replace
62 flag_finite_math_only with flag_unsafe_math_optimizations.
64 2005-01-14 J. D. Johnston <jjohnst@us.ibm.com>
66 * config/s390/tpf-unwind.h (s390_fallback_frame_state): Correct
68 (__tpf_eh_return): Copy TPF private stack area from the module
69 boundary stack frame. Add check for when module addresses are
70 equal, but no stub address is found.
72 2005-01-14 Richard Earnshaw <rearnsha@arm.com>
75 * arm.h (struct machine_function): Add call_via field.
76 (thumb_call_via_label): Declare.
77 * arm.c (thumb_call_via_label): New variable.
78 (thumb_call_reg_needed): New variable.
79 (arm_output_function_epilogue): For Thumb code, output any per-function
80 call-indirect trampolines.
81 (thumb_call_via_reg): New function.
82 (arm_file_end): New function.
83 (TARGET_ASM_FILE_END): Call arm_file_end.
84 (aof_file_end): Likewise.
85 * arm-protos.h (thumb_call_via_reg): Declare.
86 * arm.md (call_reg_thumb, call_value_reg_thumb): Call
87 thumb_call_via_reg in normal case.
89 2005-01-14 Jakub Jelinek <jakub@redhat.com>
92 PR rtl-optimization/19348
93 * recog.c (peephole2_optimize): Do global life update if some peephole
94 decides it doesn't need at least one of its inputs and that change
95 influences liveness at the start of the basic block.
97 * basic-block.h (EXECUTE_IF_AND_COMPL_IN_REG_SET): Needs 2 REGSET
98 arguments instead of 1.
100 2005-01-14 Eric Botcazou <ebotcazou@libertysurf.fr>
103 * varasm.c (initializer_constant_valid_p) <ADDR_EXPR>: Return
104 zero for nested functions needing a static chain or functions
105 with a non-constant address.
107 2005-01-13 Roger Sayle <roger@eyesopen.com>
109 * simplify-rtx.c (simplify_binary_operation) <AND>: Optimize
110 (and (sign_extend X) C) into (zero_extend (and X C)).
112 2005-01-13 David O'Brien <obrien@FreeBSD.org>
114 * config/freebsd-spec.h: Make KSE pthread lib logic the default.
116 2005-01-13 Richard Henderson <rth@redhat.com>
121 * config/i386/i386.md (cmpdf, cmpsf, bunordered, bordered, buneq,
122 bunge, bungt, bunle, bunlt, bltgt): Enable for TARGET_SSE_MATH,
124 (cmpfp_i_387): Rename from cmpfp_i. Move after sse patterns.
125 (cmpfp_i_mixed): Rename from cmpfp_i_sse; use for TARGET_MIX_SSE_I387.
126 (cmpfp_i_sse): Rename from cmpfp_i_sse_only; use for TARGET_SSE_MATH.
127 (cmpfp_iu_mixed, cmpfp_iu_sse, cmpfp_iu_387): Similarly.
128 (fp_jcc_1_mixed, fp_jcc_1_sse, fp_jcc_1_387): Similarly.
129 (fp_jcc_2_mixed, fp_jcc_2_sse, fp_jcc_2_387): Similarly.
130 (fp_jcc_3_387, fp_jcc_4_387, fp_jcc_5_387, fp_jcc_6_387,
131 fp_jcc_7_387, fp_jcc_8_387): Rename from fp_jcc_N.
132 (movdicc_c_rex64): Rename with '*'.
133 (movsfcc, movdfcc): Add checks for 387 and sse math to condition.
134 (movsfcc_1_sse_min, movsfcc_1_sse_max, movsfcc_1_sse): New.
135 (movsfcc_1_387): Rename from movsfcc_1.
136 (movdfcc_1_sse_min, movdfcc_1_sse_max, movdfcc_1_sse): New.
137 (movdfcc_1, movdfcc_1_rex64): Add check for 387.
138 (sminsf3, smaxsf3, smindf3, smaxdf3): New.
139 (minsf3, minsf, minsf_nonieee, minsf_sse, mindf3, mindf,
140 mindf_nonieee, mindf_sse, maxsf3, maxsf, maxsf_nonieee, maxsf_sse,
141 maxdf3, maxdf, maxdf_nonieee, maxdf_sse, sse_movsfcc, sse_movsfcc_eq,
142 sse_movdfcc, sse_movdfcc_eq, sse_movsfcc_const0_1,
143 sse_movsfcc_const0_2, sse_movsfcc_const0_3, sse_movsfcc_const0_4,
144 sse_movdfcc_const0_1, sse_movdfcc_const0_2, sse_movdfcc_const0_3,
145 sse_movdfcc_const0_4): Remove.
146 * config/i386/i386.c (ix86_expand_fp_movcc): For TARGET_SSE_MATH,
147 recognize min/max early. Update for changed sse cmove patterns.
148 (ix86_split_sse_movcc): New.
149 * config/i386/i386-protos.h: Update.
151 2005-01-13 Steven Bosscher <stevenb@suse.de>
153 * tree-ssa-dse.c (fix_phi_uses): Use SSA operand iterators.
154 (fix_stmt_v_may_defs): Likewise.
156 2005-01-13 Richard Henderson <rth@redhat.com>
158 * config/i386/i386.c (ix86_expand_fp_absneg_operator): Use elt_mode
159 for converting the mask.
161 2005-01-13 David Edelsohn <edelsohn@gnu.org>
163 * config/rs6000/aix52.h (CPLUSPLUS_CPP_SPEC): Change _XOPEN_SOURCE
166 2005-01-13 Richard Henderson <rth@redhat.com>
168 * config/i386/i386.c (IX86_BUILTIN_MOVQ, IX86_BUILTIN_LOADD,
169 IX86_BUILTIN_STORED, IX86_BUILTIN_MOVQ2DQ,
170 IX86_BUILTIN_MOVDQ2Q): Remove.
171 (IX86_BUILTIN_VEC_EXT_V4SI): New.
172 (ix86_init_mmx_sse_builtins, ix86_expand_builtin): Update to match.
173 (ix86_expand_vector_extract): For V4S[FI], extract element 0 after
175 * config/i386/sse.md (sse_concatv2sf): Accept zero operand 2.
176 (sse2_pextrw): Fix immediate constraint.
177 (sse2_loadq, sse2_loadq_rex64): Remove.
178 * config/i386/emmintrin.h (_mm_cvtsi128_si32, _mm_cvtsi128_si64x):
179 Use __builtin_ia32_vec_ext_<size>.
180 (_mm_cvtsi32_si128, _mm_cvtsi64x_si128): Use _mm_set_epi<size>.
182 2005-01-13 Aldy Hernandez <aldyh@redhat.com>
184 * function.c (assign_parm_setup_block): Look inside original
185 entry_parm when inspecting PARALLEL.
187 2005-01-13 Ralf Corsepius <ralf.corsepius@rtems.org>
188 Joel Sherrill <joel@oarcorp.com>
191 * gthr-rtems.h (__gthread_recursive_mutex_t): New type.
192 (__GTHREAD_RECURSIVE_MUTEX_INIT_FUNCTION): Define to
193 rtems_gxx_recursive_mutex_init.
194 (__gthread_recursive_mutex_lock): New function.
195 (__gthread_recursive_mutex_trylock): Likewise.
196 (__gthread_recursive_mutex_unlock): Likewise.
198 2005-01-13 Ralf Corsepius <ralf.corsepius@rtems.org>
200 * config/i386/t-rtems-i386: Multilib on -mtune instead of -mcpu.
202 2005-01-13 Jan Beulich <jbeulich@novell.com>
204 * config/ia64/ia64.md (ashlti3, ashlti3_internal): New.
205 (ashrti3_internal): Indicate output is early clobber. Generate result
206 into output rather than first input. Use move for low word of output
207 if shift count is exactly 64.
208 (lshrti3_internal): Likewise.
210 2005-01-13 Hans-Peter Nilsson <hp@bitrange.com>
214 * reload1.c (delete_output_reload): Don't delete an output reload
215 if the pseudo lives longer than a single basic block. Adjust and
216 improve wording of comment.
218 2005-01-12 Andrew Pinski <pinskia@physics.uc.edu>
221 * config/darwin.c (machopic_select_section): Use TYPE_SIZE_UNIT instead
222 of TYPE_SIZE where we mean the number of bytes.
224 2005-01-12 Aldy Hernandez <aldyh@redhat.com>
226 * function.c (assign_parm_setup_block): Relax condition on
227 multi-register optimization.
229 2005-01-12 Nick Clifton <nickc@redhat.com>
231 * config/sh/sh.md (udivsi3_sh2a, divsi3_sh2a): Give these patterns
232 an "in_delay_slot" attribute of "no" to prevent them being used in
233 delay slots. This is forbidden because they might generate
236 2005-01-12 Alan Modra <amodra@bigpond.net.au>
239 * config/rs6000/rs6000.md (movtf_internal): Replace r->o and m->r
242 2005-01-12 Nick Clifton <nickc@redhat.com>
244 * config/iq2000/iq2000.h (ASM_SPEC): Undefine (to stop -Qy being
245 passed on to GAS) but do not define, as GAS no longer supports or
246 needs the -m2000 option.
248 2005-01-11 Roger Sayle <roger@eyesopen.com>
250 * builtins.c (fold_builtin_fabs): Convert argument to the appropriate
251 type as args of unprototyped builtins aren't automatically promoted.
252 (fold_builtin_abs): Likewise.
254 2005-01-11 Kaveh R. Ghazi <ghazi@caip.rutgers.edu>
256 * Makefile.in: Set a `build-warn' variable.
258 2005-01-11 Zdenek Dvorak <dvorakz@suse.cz>
260 PR tree-optimization/17949
261 * tree-ssa-loop-ivopts.c (may_be_unaligned_p): New function.
262 (find_interesting_uses_address): Use it.
264 2005-01-11 Aldy Hernandez <aldyh@redhat.com>
266 * regrename.c (kill_value): Handle subreg's that won't simplify.
268 2005-01-11 Richard Henderson <rth@redhat.com>
271 * config/i386/i386.h (enum ix86_builtins): Move ...
272 * config/i386/i386.c: ... here.
273 (IX86_BUILTIN_MOVDDUP, IX86_BUILTIN_MMX_ZERO, IX86_BUILTIN_PEXTRW,
274 IX86_BUILTIN_PINSRW, IX86_BUILTIN_LOADAPS, IX86_BUILTIN_LOADSS,
275 IX86_BUILTIN_STORESS, IX86_BUILTIN_SSE_ZERO, IX86_BUILTIN_PEXTRW128,
276 IX86_BUILTIN_PINSRW128, IX86_BUILTIN_LOADAPD, IX86_BUILTIN_LOADSD,
277 IX86_BUILTIN_STOREAPD, IX86_BUILTIN_STORESD, IX86_BUILTIN_STOREHPD,
278 IX86_BUILTIN_STORELPD, IX86_BUILTIN_SETPD1, IX86_BUILTIN_SETPD,
279 IX86_BUILTIN_CLRPD, IX86_BUILTIN_LOADPD1, IX86_BUILTIN_LOADRPD,
280 IX86_BUILTIN_STOREPD1, IX86_BUILTIN_STORERPD, IX86_BUILTIN_LOADDQA,
281 IX86_BUILTIN_STOREDQA, IX86_BUILTIN_CLRTI,
282 IX86_BUILTIN_LOADDDUP): Remove.
283 (IX86_BUILTIN_VEC_INIT_V2SI, IX86_BUILTIN_VEC_INIT_V4HI,
284 IX86_BUILTIN_VEC_INIT_V8QI, IX86_BUILTIN_VEC_EXT_V2DF,
285 IX86_BUILTIN_VEC_EXT_V2DI, IX86_BUILTIN_VEC_EXT_V4SF,
286 IX86_BUILTIN_VEC_EXT_V8HI, IX86_BUILTIN_VEC_EXT_V4HI,
287 IX86_BUILTIN_VEC_SET_V8HI, IX86_BUILTIN_VEC_SET_V4HI): New.
288 (ix86_init_builtins): Make static.
289 (ix86_init_mmx_sse_builtins): Update for changed builtins.
290 (ix86_expand_binop_builtin): Only use ix86_fixup_binary_operands
291 if all the modes match. Otherwise, fake it.
292 (get_element_number, ix86_expand_vec_init_builtin,
293 ix86_expand_vec_ext_builtin, ix86_expand_vec_set_builtin): New.
294 (ix86_expand_builtin): Make static. Update for changed builtins.
295 (ix86_expand_vector_move_misalign): Use sse2_loadlpd with zero
296 operand instead of sse2_loadsd. Cast sse1 fallback to V4SFmode.
297 (ix86_expand_vector_init_duplicate): New.
298 (ix86_expand_vector_init_low_nonzero): New.
299 (ix86_expand_vector_init_one_var, ix86_expand_vector_init_general):
300 Split out from ix86_expand_vector_init; handle integer modes.
301 (ix86_expand_vector_init): Use them.
302 (ix86_expand_vector_set, ix86_expand_vector_extract): New.
303 * config/i386/i386-protos.h: Update.
304 * config/i386/predicates.md (reg_or_0_operand): New.
305 * config/i386/mmx.md (mov<MMXMODEI>_internal): Add 'r' variants.
306 (movv2sf_internal): Likewise. And a splitter to match them all.
307 (vec_dupv2sf, mmx_concatv2sf, vec_setv2sf, vec_extractv2sf,
308 vec_initv2sf, vec_dupv4hi, vec_dupv2si, mmx_concatv2si, vec_setv2si,
309 vec_extractv2si, vec_initv2si, vec_setv4hi, vec_extractv4hi,
310 vec_initv4hi, vec_setv8qi, vec_extractv8qi, vec_initv8qi): New.
311 (mmx_pinsrw): Fix operand ordering.
312 * config/i386/sse.md (movv4sf splitter): Use direct pattern,
313 rather than sse_loadss expander.
314 (movv2df splitter): Similarly.
315 (sse_loadss, sse_loadlss): Remove.
316 (vec_dupv4sf, sse_concatv2sf, sse_concatv4sf, vec_extractv4sf_0): New.
317 (vec_setv4sf, vec_setv2df): Use ix86_expand_vector_set.
318 (vec_extractv4sf, vec_extractv2df): Use ix86_expand_vector_extract.
319 (sse3_movddup): Rename with '*'.
320 (sse3_movddup splitter): Use gen_rtx_REG instead of gen_lowpart.
321 (sse2_loadsd): Remove.
322 (vec_dupv2df_sse3): Rename from sse3_loadddup.
323 (vec_dupv2df, vec_concatv2df_sse3, vec_concatv2df): New.
324 (sse2_pinsrw): Fix argument ordering.
325 (sse2_loadld, sse2_loadq): Add sse1 alternatives.
326 (sse2_stored): Remove 'r' destination.
327 (vec_dupv4si, vec_dupv2di, sse2_concatv2si, sse1_concatv2si,
328 vec_concatv4si_1, vec_concatv2di, vec_setv2di, vec_extractv2di,
329 vec_initv2di, vec_setv4si, vec_extractv4si, vec_initv4si,
330 vec_setv8hi, vec_extractv8hi, vec_initv8hi, vec_setv16qi,
331 vec_extractv16qi, vec_initv16qi): New.
333 * config/i386/emmintrin.h (__m128i, __m128d): Use typedef, not define.
334 (_mm_set_sd, _mm_set1_pd, _mm_setzero_pd, _mm_set_epi64x,
335 _mm_set_epi32, _mm_set_epi16, _mm_set_epi8, _mm_setzero_si128): Use
337 (_mm_load_pd, _mm_store_pd): Use plain dereference.
338 (_mm_load_si128, _mm_store_si128): Likewise.
339 (_mm_load1_pd): Use _mm_set1_pd.
340 (_mm_load_sd): Use _mm_set_sd.
341 (_mm_store_sd, _mm_storeh_pd): Use __builtin_ia32_vec_ext_v2df.
342 (_mm_store1_pd, _mm_storer_pd): Use _mm_store_pd.
343 (_mm_set_epi64): Use _mm_set_epi64x.
344 (_mm_set1_epi64x, _mm_set1_epi64, _mm_set1_epi32, _mm_set_epi16,
345 _mm_set1_epi8, _mm_setr_epi64, _mm_setr_epi32, _mm_setr_epi16,
346 _mm_setr_epi8): Use _mm_set_foo form.
347 (_mm_loadl_epi64, _mm_movpi64_epi64, _mm_move_epi64): Use _mm_set_epi64.
348 (_mm_storel_epi64, _mm_movepi64_pi64): Use __builtin_ia32_vec_ext_v2di.
349 (_mm_extract_epi16): Use __builtin_ia32_vec_ext_v8hi.
350 (_mm_insert_epi16): Use __builtin_ia32_vec_set_v8hi.
351 * config/i386/mmintrin.h (_mm_setzero_si64): Use plain cast.
352 (_mm_set_pi32): Use __builtin_ia32_vec_init_v2si.
353 (_mm_set_pi16): Use __builtin_ia32_vec_init_v4hi.
354 (_mm_set_pi8): Use __builtin_ia32_vec_init_v8qi.
355 (_mm_set1_pi16, _mm_set1_pi8): Use _mm_set_piN variant.
356 * config/i386/pmmintrin.h (_mm_loaddup_pd): Use _mm_load1_pd.
357 (_mm_movedup_pd): Use _mm_shuffle_pd.
358 * config/i386/xmmintrin.h (_mm_setzero_ps, _mm_set_ss,
359 _mm_set1_ps, _mm_set_ps, _mm_setr_ps): Use constructor form.
360 (_mm_cvtpi16_ps, _mm_cvtpu16_ps, _mm_cvtpi8_ps, _mm_cvtpu8_ps,
361 _mm_cvtps_pi8, _mm_cvtpi32x2_ps): Avoid __builtin_ia32_mmx_zero;
363 (_mm_load_ss, _mm_load1_ps): Use _mm_set* form.
364 (_mm_load_ps, _mm_loadr_ps): Use raw dereference.
365 (_mm_store_ss): Use __builtin_ia32_vec_ext_v4sf.
366 (_mm_store_ps): Use raw dereference.
367 (_mm_store1_ps): Use _mm_storeu_ps.
368 (_mm_storer_ps): Use _mm_store_ps.
369 (_mm_extract_pi16): Use __builtin_ia32_vec_ext_v4hi.
370 (_mm_insert_pi16): Use __builtin_ia32_vec_set_v4hi.
372 2005-01-11 Stan Shebs <shebs@apple.com>
374 * config/rs6000/rs6000.c (machopic_output_stub): Issue
375 ldu instead of lwzu if 64-bit -mdynamic-no-pic.
377 2005-01-11 Andrew Pinski <pinskia@physics.uc.edu>
380 * config/rs6000/rs6000.c (rs6000_special_round_type_align):
381 Skip all DECLs except for FIELD_DECLs.
383 2005-01-11 Andreas Krebbel <krebbel1@de.ibm.com>
385 * config/s390/s390.c (override_options): Return error if
386 -mbackchain, -mpacked-stack and -mhard-float are used together.
387 (s390_va_start): Remove the backchain && packed-stack special case.
388 (s390_gimplify_va_arg): Likewise.
389 * doc/invoke.texi: Remove the ABI incompatibility note.
391 2005-01-11 Andreas Krebbel <krebbel1@de.ibm.com>
393 * config/s390/s390.c (struct s390_frame_layout): Remove
395 (s390_frame_info, s390_emit_prologue): Replace occurrences of
396 save_backchain_p with TARGET_BACKCHAIN.
398 2005-01-11 Alan Modra <amodra@bigpond.net.au>
401 * builtins.c (std_gimplify_va_arg_expr): Adjust alignment of *ap.
402 * expr.h (struct locate_and_pad_arg_data): Add "boundary".
403 * function.c (locate_and_pad_parm): Set new field.
404 (assign_parm_find_stack_rtl): Use it instead of FUNCTION_ARG_BOUNDARY.
405 Tweak where_pad test to include "none". Always set mem align for
407 (assign_parm_adjust_stack_rtl): Discard stack_parm if alignment
408 not sufficient for type.
409 (assign_parm_setup_block): If stack_parm is zero on entry, always
410 make a new stack local. Block move old stack parm if necessary
411 to new aligned stack local.
412 (assign_parm_setup_stack): Use a block move to handle
413 potentially misaligned entry_parm.
414 (assign_parms_unsplit_complex): Specify required alignment when
415 creating stack local.
416 * calls.c (compute_argument_addresses): Override alignment of stack
417 arg calculated from its type with the alignment given by
418 FUNCTION_ARG_BOUNDARY.
419 (store_one_arg): Likewise.
421 2005-01-11 Jan Beulich <jbeulich@novell.com>
423 * config/ia64/ia64.md (zero_extendsidi2): Replace zxt4 by addp4.
424 Change respective itanium_class attribute to ialu.
425 (shladdp4_internal): New.
426 * config/ia64/predicates.md (shladd_log2_operand): New.
428 2005-01-11 Richard Henderson <rth@redhat.com>
430 * expr.c (store_constructor): Use rtvec_alloc instead of
431 alloca+gen_rtvec_v, and an incorrect number passed to alloca.
433 2005-01-11 Kazu Hirata <kazu@cs.umass.edu>
435 * config/alpha/alpha.c, config/i386/mmx.md: Fix comment typos.
437 2005-01-11 Alan Modra <amodra@bigpond.net.au>
439 * varasm.c (default_section_type_flags_1): Don't set SECTION_SMALL.
440 * config/ia64/ia64.c (TARGET_SECTION_TYPE_FLAGS): Define.
441 (TARGET_RWRELOC): Define.
442 (ia64_rwreloc_section_type_flags): Delete.
443 (ia64_section_type_flags): New function.
444 * config/ia64/hpux.h (TARGET_SECTION_TYPE_FLAGS): Don't define.
445 (TARGET_RWRELOC): Define.
447 2005-01-10 David Mosberger <davidm@hpl.hp.com>
450 * config/ia64/ia64.c (process_set): For alloc insn, only call
451 process_epilogue is !frame_pointer_needed.
453 2005-01-10 Roger Sayle <roger@eyesopen.com>
456 * c-common.c (c_common_truthvalue_conversion): TRUTH_NOT_EXPR is a
457 unary operator and can't be treated as a binary/comparison operator.
459 2005-01-10 Richard Henderson <rth@redhat.com>
461 * config/i386/i386.c (ix86_function_value): Use type_natural_mode.
462 (ix86_return_in_memory): Likewise.
463 (function_arg_advance): Likewise. Mirror structure in function_arg
464 for choosing register to advance.
466 2005-01-10 Kazu Hirata <kazu@cs.umass.edu>
468 * tree-vectorizer.c, tree.def: Fix comment typos.
470 2005-01-10 Mark Dettinger <dettinge@de.ibm.com>
472 * config/s390/s390.c (struct processor_costs): 4 new fields:
473 ddbr, ddr, debr, der.
474 (s390_rtx_costs): More precise handling of divide instructions.
476 2005-01-10 David Edelsohn <edelsohn@gnu.org>
478 * config/rs6000/t-aix43 (BOOT_LDFLAGS): Define.
480 2005-01-10 Jan Beulich <jbeulich@novell.com>
482 * config/ia64/ia64.c (ia64_in_small_data_p): Also handle the section
483 names resulting from -ffunction-sections/-fdata-sections and linkonce
485 * varasm.c (default_section_type_flags_1): Also set SECTION_SMALL
486 based on the section name. Rearrange the section name comparison logic
487 slightly so that each section name is compared against at most once.
489 2005-01-10 Ben Elliston <bje@au.ibm.com>
491 * doc/invoke.texi (Code Gen Options): Add PowerPC to the list of
492 targets for which -fPIC reduces limitations on the GOT size.
494 2005-01-09 Falk Hueffner <falk@debian.org>
496 * fold-const.c (fold): Also handle EXACT_DIV_EXPR when folding
499 2005-01-09 David Edelsohn <edelsohn@gnu.org>
502 * collect2.c (main): Set aixrtl_flag for -brtl option.
503 (resolve_lib_name): Search for .so file extension before .a
506 2005-01-09 Dorit Naishlos <dorit@il.ibm.com>
508 * tree-vectorizer.c (vect_enhance_data_refs_alignment): Add dump prints.
509 (vect_analyze_data_refs_alignment): Add dump prints.
511 2005-01-09 Ira Rosen <irar@il.ibm.com>
513 * tree-vectorizer.c (vect_analyze_offset_expr): Use
514 expr_invariant_in_loop_p.
515 Initialize outputs first thing in the function.
516 (vect_update_ivs_after_vectorizer): Call initial_condition_in_loop_num.
517 (vect_is_simple_iv_evolution): Call initial_condition_in_loop_num.
518 (vect_analyze_pointer_ref_access): Check that the initial condition of
519 the access function is loop invariant.
521 2005-01-09 Richard Henderson <rth@redhat.com>
523 * config/i386/i386.c (bdesc_2arg): Update names for mmx_ prefixes.
524 (ix86_expand_builtin): Likewise. Frob MASKMOVQ wrt the input mem
525 just like MASKMOVDQU. Return plain zero for MMX_ZERO.
526 * config/i386/i386.md (MMXMODEI, mov<MMXMODEI>,
527 mov<MMXMODEI>_internal_rex64, mov<MMXMODEI>_internal, movv2sf,
528 movv2sf_internal_rex64, movv2sf_internal, MMXMODE,
529 movmisalign<MMXMODE>, mmx_pmovmskb, mmx_maskmovq, mmx_maskmovq_rex,
530 sse_movntdi, addv8qi3, addv4hi3, addv2si3, mmx_adddi3, ssaddv8qi3,
531 ssaddv4hi3, usaddv8qi3, usaddv4hi3, subv8qi3, subv4hi3, subv2si3,
532 mmx_subdi3, sssubv8qi3, sssubv4hi3, ussubv8qi3, ussubv4hi3,
533 mulv4hi3, smulv4hi3_highpart, umulv4hi3_highpart, mmx_pmaddwd,
534 sse2_umulsidi3, mmx_iordi3, mmx_xordi3, mmx_anddi3, mmx_nanddi3,
535 mmx_uavgv8qi3, mmx_uavgv4hi3, mmx_psadbw, mmx_pinsrw, mmx_pinsrw,
536 mmx_pextrw, mmx_pshufw, eqv8qi3, eqv4hi3, eqv2si3, gtv8qi3, gtv4hi3,
537 gtv2si3, umaxv8qi3, smaxv4hi3, uminv8qi3, sminv4hi3, ashrv4hi3,
538 ashrv2si3, lshrv4hi3, lshrv2si3, mmx_lshrdi3, ashlv4hi3, ashlv2si3,
539 mmx_ashldi3, mmx_packsswb, mmx_packssdw, mmx_packuswb, mmx_punpckhbw,
540 mmx_punpckhwd, mmx_punpckhdq, mmx_punpcklbw, mmx_punpcklwd,
541 mmx_punpckldq, emms, addv2sf3, subv2sf3, subrv2sf3, gtv2sf3, gev2sf3,
542 eqv2sf3, pfmaxv2sf3, pfminv2sf3, mulv2sf3, femms, pf2id, pf2iw,
543 pfacc, pfnacc, pfpnacc, pi2fw, floatv2si2, pfrcpv2sf2, pfrcpit1v2sf3,
544 pfrcpit2v2sf3, pfrsqrtv2sf2, pfrsqit1v2sf3, pmulhrwv4hi3, pswapdv2si2,
545 pswapdv2sf2): Move to mmx.md; rename as necessary with leading
547 (mmx_clrdi, pavgusb): Remove.
548 (ldmxcsr, stmxcsr, sfence, sfence_insn): Move to sse.md; rename
549 with leading sse_ prefix.
550 * config/i386/sse.md: Receive them.
551 * config/i386/mmx.md: New file.
552 (MMXMODE12, MMXMODE24, mmxvecsize): New.
553 (subrv2sf3): Turn into expander for normal subtraction.
554 (mmx_addv2sf3, mmx_mulv2sf3, mmx_smaxv2sf3, mmx_sminv2sf3,
555 mmx_eqv2sf3, mmx_mulv4hi3, mmx_smulv4hi3_highpart,
556 mmx_umulv4hi3_highpart, mmx_pmaddwd, mmx_pmulhrwv4hi3, sse2_umulsidi3,
557 mmx_umaxv8qi3, mmx_smaxv4hi3, mmx_uminv8qi3, mmx_sminv4hi3): Mark
558 commutative; use ix86_binary_operator_ok.
559 (mmx_add<MMXMODEI>3, mmx_ssadd<MMXMODE12>3, mmx_usadd<MMXMODE12>3,
560 mmx_sub<MMXMODEI>3, mmx_sssub<MMXMODE12>3, mmx_ussub<MMXMODE12>3
561 mmx_ashr<MMXMODE24>3, mmx_lshr<MMXMODE23>3, mmx_ashl<MMXMODE24>3
562 mmx_eq<MMXMODEI>3, mmx_gt<MMXMODEI>3, mmx_and<MMXMODEI>3,
563 mmx_nand<MMXMODEI>3, mmx_ior<MMXMODEI>3, mmx_xor<MMXMODEI>3):
564 Macroize from existing patterns; use ix86_binary_operator_ok.
565 (mmx_packsswb, mmx_packssdw, mmx_packuswb): Add memory alternative.
566 (mmx_punpckhbw, mmx_punpcklbw, mmx_punpckhwd, mmx_punpcklwd,
567 mmx_punpckhdq, mmx_punpckhdq, mmx_punpckldq): Likewise. Model
568 with vec_select+vec_concat.
569 (mmx_pshufw, mmx_pshufw_1): Likewise.
570 (mmx_uavgv8qi3): Merge pavgusb. Model correcty.
571 (mmx_uavgv4hi3): Model correctly.
572 * config/i386/mmintrin.h (_mm_and_si64, _mm_andnot_si64, _mm_or_si64,
573 _mm_xor_si64): Remove casts.
575 2005-01-09 Zdenek Dvorak <dvorakz@suse.cz>
577 PR tree-optimization/19224
578 * tree-scalar-evolution.c (get_instantiated_value,
579 set_instantiated_value): New functions.
580 (instantiate_parameters_1): Cache the results.
581 (instantiate_parameters, resolve_mixers): Initialize and free
584 2005-01-08 David Edelsohn <edelsohn@gnu.org>
586 * config/i386/i386.md (addhi_4): Correct reference in comment.
589 2005-01-08 Richard Henderson <rth@redhat.com>
591 * config/i386/emmintrin.h (_mm_cvtsi128_si32): Move earlier.
592 (_mm_cvtsi128_si64x): Likewise.
593 (_mm_srl_epi64, _mm_srl_epi32, _mm_srl_epi16, _mm_sra_epi32,
594 _mm_sra_epi16, _mm_sll_epi64, _mm_sll_epi32, _mm_sll_epi16): Use
595 the _mm_{srl,sll}i_foo counterpart, and _mm_cvtsi128_si32.
596 * config/i386/i386-modes.def: Add V16HI, V32QI, V4DF, V8SF.
597 * config/i386/i386-protos.h: Update.
598 * config/i386/i386.c (print_operand): Add 'H'.
599 (ix86_fixup_binary_operands): Split out from ...
600 (ix86_expand_binary_operator): ... here.
601 (ix86_fixup_binary_operands_no_copy): New.
602 (ix86_expand_fp_absneg_operator): Handle vector mode results.
603 (bdesc_2arg): Update names for sse{,2,3}_ prefixes.
604 (ix86_init_mmx_sse_builtins): Remove *maskncmp* special cases.
605 (safe_vector_operand): Use CONST0_RTX.
606 (ix86_expand_binop_builtin): Use ix86_fixup_binary_operands.
607 (ix86_expand_builtin): Merge CODE_FOR_sse2_maskmovdqu_rex64 and
608 CODE_FOR_sse2_maskmovdqu. Special case SSE version of MASKMOVDQU
609 expansion. Update names for sse{,2,3}_ prefixes. Remove *maskncmp*
611 * config/i386/i386.h (IX86_BUILTIN_CMPNGTSS): New.
612 (IX86_BUILTIN_CMPNGESS): New.
613 * config/i386/i386.md (UNSPEC_FIX_NOTRUNC): New.
614 (attr type): Add sselog1.
615 (attr unit, attr memory): Handle it.
616 (movti, movti_internal, movti_rex64): Move near other integer moves.
617 (movtf, movtf_internal): Move near other fp moves.
618 (SSEMODE, SSEMODEI, vec_setv2df, vec_extractv2df, vec_initv2df,
619 vec_setv4sf, vec_extractv4sf, vec_initv4sf, movv4sf, movv4sf_internal,
620 movv2df, movv2df_internal, mov<SSEMODEI>, mov<SSEMODEI>_internal,
621 movmisalign<SSEMODE>, sse_movups_1, sse_movmskps, sse_movntv4sf,
622 sse_movhlps, sse_movlhps, sse_storehps, sse_loadhps, sse_storelps,
623 sse_loadlps, sse_loadss, sse_loadss_1, sse_movss, sse_storess,
624 sse_shufps, addv4sf3, vmaddv4sf3, subv4sf3, vmsubv4sf3, negv4sf2,
625 mulv4sf3, vmmulv4sf3, divv4sf3, vmdivv4sf3, rcpv4sf2, vmrcpv4sf2,
626 rsqrtv4sf2, vmrsqrtv4sf2, sqrtv4sf2, vmsqrtv4sf2, sse_andv4sf3,
627 sse_nandv4sf3, sse_iorv4sf3, sse_xorv4sf3, sse2_andv2df3,
628 sse2_nandv2df3, sse2_iorv2df3, sse2_xorv2df3, sse2_andv2di3,
629 sse2_nandv2di3, sse2_iorv2di3, sse2_xorv2di3, maskcmpv4sf3,
630 vmmaskcmpv4sf3, sse_comi, sse_ucomi, sse_unpckhps, sse_unpcklps,
631 smaxv4sf3, vmsmaxv4sf3, sminv4sf3, vmsminv4sf3, cvtpi2ps, cvtps2pi,
632 cvttps2pi, cvtsi2ss, cvtsi2ssq, cvtss2si, cvtss2siq, cvttss2si,
633 cvttss2siq, addv2df3, vmaddv2df3, subv2df3, vmsubv2df3, mulv2df3,
634 vmmulv2df3, divv2df3, vmdivv2df3, smaxv2df3, vmsmaxv2df3, sminv2df3,
635 vmsminv2df3, sqrtv2df2, vmsqrtv2df2, maskcmpv2df3, vmmaskcmpv2df3,
636 sse2_comi, sse2_ucomi, sse2_movmskpd, sse2_pmovmskb, sse2_maskmovdqu,
637 sse2_maskmovdqu_rex64, sse2_movntv2df, sse2_movntv2di, sse2_movntsi,
638 cvtdq2ps, cvtps2dq, cvttps2dq, cvtdq2pd, cvtpd2dq, cvttpd2dq,
639 cvtpd2pi, cvttpd2pi, cvtpi2pd, cvtsd2si, cvtsd2siq, cvttsd2si,
640 cvttsd2siq, cvtsi2sd, cvtsi2sdq, cvtsd2ss, cvtss2sd, cvtpd2ps,
641 cvtps2pd, addv16qi3, addv8hi3, addv4si3, addv2di3, ssaddv16qi3,
642 ssaddv8hi3, usaddv16qi3, usaddv8hi3, subv16qi3, subv8hi3, subv4si3,
643 subv2di3, sssubv16qi3, sssubv8hi3, ussubv16qi3, ussubv8hi3, mulv8hi3,
644 smulv8hi3_highpart, umulv8hi3_highpart, sse2_umulsidi3,
645 sse2_umulv2siv2di3, sse2_pmaddwd, sse2_uavgv16qi3, sse2_uavgv8hi3,
646 sse2_psadbw, sse2_pinsrw, sse2_pextrw, sse2_pshufd, sse2_pshuflw,
647 sse2_pshufhw, eqv16qi3, eqv8hi3, eqv4si3, gtv16qi3, gtv8hi3,
648 gtv4si3, umaxv16qi3, smaxv8hi3, uminv16qi3, sminv8hi3, ashrv8hi3,
649 ashrv4si3, lshrv8hi3, lshrv4si3, lshrv2di3, ashlv8hi3, ashlv4si3,
650 ashlv2di3, sse2_ashlti3, sse2_lshrti3, sse2_unpckhpd, sse2_unpcklpd,
651 sse2_packsswb, sse2_packssdw, sse2_packuswb, sse2_punpckhbw,
652 sse2_punpckhwd, sse2_punpckhdq, sse2_punpcklbw, sse2_punpcklwd,
653 sse2_punpckldq, sse2_punpcklqdq, sse2_punpckhqdq, sse2_movupd,
654 sse2_movdqu, sse2_movdq2q, sse2_movdq2q_rex64, sse2_movq2dq,
655 sse2_movq2dq_rex64, sse2_loadd, sse2_stored, sse2_storehpd,
656 sse2_loadhpd, sse2_storelpd, sse2_loadlpd, sse2_movsd, sse2_loadsd,
657 sse2_loadsd_1, sse2_storesd, sse2_shufpd, sse2_clflush, sse2_mfence,
658 mfence_insn, sse2_lfence, lfence_insn, mwait, monitor, addsubv4sf3,
659 addsubv2df3, haddv4sf3, haddv2df3, hsubv4sf3, hsubv2df3, movshdup,
660 movsldup, lddqu, loadddup, movddup): Move to sse.md. Any with
661 non-optabs meanings renamed with an "sse{,2,3}_" prefix at the
663 (SSEPUSH, push<SSEPUSH>): Remove.
664 (MMXPUSH, push<MMXPUSH>): Remove.
665 (sse_movaps, sse_movaps_1, sse_movups): Remove.
666 (sse2_movapd, sse2_movdqa, sse2_movq): Remove.
667 (sse2_andti3, sse2_nandti3, sse2_iorti3, sse2_xorti3): Remove.
668 (sse_clrv4sf, sse_clrv2df, sse2_clrti): Remove.
669 (maskncmpv4sf3, vmmaskncmpv4sf3): Remove.
670 (maskncmpv2df3, vmmaskncmpv2df3): Remove.
671 (ashrv8hi3_ti, ashrv4si3_ti, lshrv8hi3_ti, lshrv4si3_ti): Remove.
672 (lshrv2di3_ti, ashlv8hi3_ti, ashlv4si3_ti, ashlv2di3_ti): Remove.
673 * config/i386/athlon.md (athlon_sselog_load): Handle sselog1.
674 (athlon_sselog_load_k8, athlon_sselog, athlon_sselog_k8): Likewise.
675 * config/i386/ppro.md (ppro_sse_div_V4SF_load): Fix memory attr.
676 (ppro_sse_log_V4SF_load): Similarly. Handle sselog1.
677 (ppro_sse_log_V4SF): Handle sselog1.
678 * config/i386/predicates.md (const_0_to_1_operand): New.
679 (const_0_to_255_mul_8_operand): New.
680 (const_1_to_31_operand): Rename from const_int_1_31_operand.
681 (const_2_to_3_operand, const_4_to_7_operand): New.
682 * config/i386/sse.md: New file.
683 (SSEMODE12, SSEMODE24, SSEMODE124, SSEMODE248, ssevecsize): New.
684 (sse_movups): Rename from sse_movups_1.
685 (sse_loadlss): Rename from sse_loadss_1.
686 (andv4sf3, iorv4sf3, xorv4sf3, andv2df3): Remove the sse prefix
688 (negv4sf2): Use ix86_expand_fp_absneg_operator.
689 (absv4sf2, negv2df, absv2df): New.
690 (addv4sf3): Add expander to call ix86_fixup_binary_operands_no_copy.
691 (subv4sf3, mulv4sf3, divv4sf3, smaxv4sf3, sminv4sf3, andv4sf3,
692 iorv4sf3, xorv4sf3, addv2df3, subv2df3, mulv2df3, divv2df3,
693 smaxv2df3, sminv2df3, andv2df3, iorv2df3, xorv2df3, mulv8hi3,
694 umaxv16qi3, smaxv8hi3, uminv16qi3, sminv8hi3): Likewise.
695 (sse3_addsubv4sf3): Model correctly.
696 sse3_haddv4sf3, sse3_hsubv4sf3, sse3_addsubv2df3, sse3_haddv2df3,
697 sse3_hsubv2df3, sse2_ashlti3, sse2_lshrti3): Likewise.
698 (sse_movhlps): Model with vec_select+vec_concat.
699 (sse_movlhps, sse_unpckhps, sse_unpcklps, sse3_movshdup,
700 sse3_movsldup, sse_shufps, sse_shufps_1, sse2_unpckhpd, sse3_movddup,
701 sse2_unpcklpd, sse2_shufpd, sse2_shufpd_1, sse2_punpckhbw,
702 sse2_punpcklbw, sse2_punpckhwd, sse2_punpcklwd, sse2_punpckhdq,
703 sse2_punpckldq, sse2_punpckhqdq, sse2_punpcklqdq, sse2_pshufd,
704 sse2_pshufd_1, sse2_pshuflw, sse2_pshuflw_1, sse2_pshufhw,
705 sse2_pshufhw_1): Likewise.
706 (neg<SSEMODEI>2, one_cmpl<SSEMODEI>2): New.
707 (add<SSEMODEI>3, sse2_ssadd<SSEMODE12>3, sse2_usadd<SSEMODE12>3,
708 sub<SSEMODEI>3, sse2_sssub<SSEMODE12>3, sse2_ussub<SSEMODE12>3,
709 ashr<SSEMODE24>3, lshr<SSEMODE248>3, sse2_eq<SSEMODE124>3,
710 sse2_gt<SSEMODDE124>3, and<SSEMODEI>3, sse_nand<SSEMODEI>3,
711 ior<SSEMODEI>3, xor<SSEMODEI>3): Macroize from existing patterns.
712 (addv4sf3, sse_vmaddv4sf3, mulv4sf3, sse_vmmulv4sf3, smaxv4sf3,
713 sse_vmsmaxv4sf3, sminv4sf3, sse_vmsminv4sf3, addv2df3, sse2_vmaddv2df3,
714 mulv2df3, sse2_vmmulv2df3, smaxv2df3, sse2_vmsmaxv2df3, sminv2df3,
715 sse2_vmsminv2df3, umaxv16qi3, smaxv8hi3, uminv16qi3
716 sminv8hi3): Mark commutative
717 operands. Use ix86_binary_operator_ok.
718 (sse_unpckhps, sse_unpcklps, sse2_packsswb, sse2_packssdw,
719 sse2_packuswb, sse2_punpckhbw, sse2_punpcklbw, sse2_punpckhwd,
720 sse2_punpcklwd, sse2_punpckhdq, sse2_punpckldq, sse2_punpckhqdq,
721 sse2_punpcklqdq): Allow operand2 in memory.
722 (sse_movhlps, sse_movlhps, sse2_unpckhpd, sse2_unpcklpd
723 sse2_movsd): Add memory alternatives.
724 (sse_storelps): Turn expander into an insn; split after reload.
725 (sse_storess, sse2_loadhpd, sse2_loadlpd): Add non-xmm inputs.
726 (sse2_storehpd, sse2_storelpd): Add non-xmm outputs.
728 2005-01-08 Eric Botcazou <ebotcazou@libertysurf.fr>
730 * configure.ac (DWARF-2 debug_line): Use objdump.
731 * configure: Regenerate.
733 2005-01-08 Jeff Law <law@redhat.com>
734 Diego Novillo <dnovillo@redhat.com>
736 PR tree-optimization/18241
737 * tree-nrv.c (tree_nrv): Ignore volatile return values.
738 * tree-ssa-dse.c (dse_optimize_stmt): Do not optimize
739 statements with volatile operands.
740 * tree-ssa-operands.c (add_stmt_operand): Do add volatile
741 operands after marking a statement with has_volatile_ops.
743 2005-01-08 Roger Sayle <roger@eyesopen.com>
745 * tree.c (int_fits_type_p): Always honor integer constant
746 TYPE_MIN_VALUE and TYPE_MAX_VALUE if they exist.
748 2005-01-08 Roger Sayle <roger@eyesopen.com>
750 * ifcvt.c (find_if_case_1): Reinstate 2005-01-04 change, now that
751 the latent bug in rtl_delete_block has been resolved.
753 2005-01-08 Richard Sandiford <rsandifo@redhat.com>
755 * config/mips/t-iris6 (MULTILIB_DIRNAMES): Use -mabi argument values.
756 (MULTILIB_OSDIRNAMES): Use the standard lib, lib32 and lib64.
758 2005-01-08 Richard Sandiford <rsandifo@redhat.com>
760 * config/mips/t-slibgcc-irix (SHLIB_LINK): Install a copy of the
761 library as @multilib_dir@/$(SHLIB_SONAME).
763 2005-01-07 Eric Botcazou <ebotcazou@libertysurf.fr>
765 * configure.ac (HAVE_AS_OFFSETABLE_LO10): Fix typo.
766 * configure: Regenerate.
768 2005-01-07 Jakub Jelinek <jakub@redhat.com>
770 * c-common.c (handle_mode_attribute): For ENUMERAL_TYPE, also copy
773 2005-01-07 David Edelsohn <edelsohn@gnu.org>
776 * config/rs6000/rs6000.c (rs6000_legitimize_reload_address):
777 Convert non-word aligned offset address using ld/std into
780 2005-01-07 Richard Henderson <rth@redhat.com>
782 * config/i386/i386.md (sse_loadhps splitter): Fix operand number typo.
784 2005-01-07 Richard SAndiford <rsandifo@redhat.com>
786 * tree.h (IS_EXPR_CODE_CLASS): Use a straight-forward range check.
788 2005-01-07 Jakub Jelinek <jakub@redhat.com>
790 PR tree-optimization/19283
791 * fold-const.c (fold_widened_comparison): Return NULL if shorter_type
792 is not shorter than the original type.
794 PR rtl-optimization/19012
795 * config/i386/i386.md (addqi_1_slp): Set memory attribute.
797 PR rtl-optimization/18861
798 * cfgbuild.c (BLOCK_USED_BY_TABLEJUMP): Define.
799 (FULL_STATE): Define.
800 (mark_tablejump_edge): New function.
801 (purge_dead_tablejump_edges): New function.
802 (find_bb_boundaries): Use it.
804 PR tree-optimization/18828
805 * builtins.c (expand_builtin_next_arg): Remove argument and all
806 the argument checking.
807 (expand_builtin): Adjust caller.
808 (expand_builtin_va_start): Likewise. Remove error for too many
810 (fold_builtin_next_arg): Issue error for too many arguments.
811 After checking arguments, replace them with magic arguments that
812 prevent further checking of the args.
814 2005-01-06 John David Anglin <dave.anglin@nrc-cnrc.gc.ca>
816 * pa64-hpux.h (STARTFILE_SPEC): Fix typo in spec.
818 2005-01-06 Roger Sayle <roger@eyesopen.com>
821 * gcc.c (input_suffix_matches): Tweak the semantics of %{.s:...}
822 and %{.S:...} (and their negative variants) to test whether the
823 input file is assembler or pre-processed-assembler independent of
824 the actual filename extension.
826 2005-01-06 Roger Sayle <roger@eyesopen.com>
828 * simplify-rtx.c (simplify_subreg): Simplify truncations of shifts
829 of sign or zero extended values.
831 2005-01-06 Geoffrey Keating <geoffk@apple.com>
833 * c-cppbuiltin.c (builtin_define_float_constants): Set __*_EPSILON__
834 for IBM long double format correctly.
836 2005-01-06 Daniel Berlin <dberlin@dberlin.org>
838 Fix PR tree-optimization/18792
840 * tree-data-ref.c (build_classic_dist_vector): Change first_loop
841 to first_loop_depth, and use loop depth instead of loop number.
842 (build_classic_dir_vector): Ditto.
843 (compute_data_dependences_for_loop): Use depth, not loop number.
844 * tree-loop-linear.c (try_interchange_loops): Use loop depth, not loop
845 number. Pass in loops, instead of loop numbers.
846 (gather_interchange_stats): Ditto.
847 (linear_transform_loops): Ditto.
849 2005-01-06 Richard Sandiford <rsandifo@redhat.com>
852 * loop.c (get_monotonic_increment, biased_biv_fits_mode_p,
853 biv_fits_mode_p, extension_within_bounds_p): New functions.
854 (check_ext_dependent_givs): Use them.
856 2005-01-06 Roger Sayle <roger@eyesopen.com>
858 * cfgrtl.c (rtl_delete_block): A basic block may be followed by
859 more than one barrier, in which case we should delete them all.
861 2005-01-06 Tobias Schlueter <tobias.schlueter@physik.uni-muenchen.de>
863 * gcc.c (process_command): Change year in 'gcc --version' to 2005.
865 2005-01-05 Daniel Berlin <dberlin@dberlin.org>
867 Fix PR middle-end/19286
869 * dwarf2out.c (gen_subprogram_die): If we've already tried to
870 output this subprogram, simply ignore this attempt to do it again.
871 (add_abstract_origin_attribute): Don't abort trying to add the abstract
872 origin attribute if it's not possible.
873 (gen_block_die): Don't ignore subblocks of "unused" blocks.
874 (decls_for_scope): Ditto.
875 * gimple-low.c (mark_blocks_with_used_subblocks): Remove.
876 (mark_used_blocks): Don't call mark_blocks_with_used_subblocks.
878 2005-01-05 Richard Henderson <rth@redhat.com>
881 * config/i386/i386.c (BUILTIN_DESC_SWAP_OPERANDS): New.
882 (bdesc_2arg): Use it.
883 (ix86_expand_binop_builtin): Force operands into registers
885 (ix86_expand_unop_builtin, ix86_expand_unop1_builtin,
886 ix86_expand_sse_compare, ix86_expand_sse_comi,
887 ix86_expand_builtin): Likewise.
889 2005-01-05 Richard Henderson <rth@redhat.com>
891 * config/ia64/ia64.c (rtx_needs_barrier): Handle CONST_VECTOR
893 * config/ia64/vect.md (mulv8qi3): Re-implement with mix_[rl].
894 (mulv4hi3): Set itanium_class mmmul.
895 (fpack_sfxf, fpack_xfsf, fpack_xfxf): Remove.
896 (fpack): Rename from fpack_sfsf.
898 2005-01-05 Richard Henderson <rth@redhat.com>
901 * reload1.c (do_input_reload): Restrict the optimization deleteing
902 a previous output reload to RELOAD_FOR_INPUT.
904 2005-01-05 Steven Bosscher <stevenb@suse.de>
906 * combine.c (expand_compound_operation) <ZERO_EXTRACT>: Add
907 comment that we fall through after case.
908 (mark_used_regs_combine): Don't expect a SIGN_EXTRACT in a SET_DEST.
909 (distribute_links): Likewise.
910 * cse.c (cse_insn): Likewise.
911 * cselib.c (cselib_invalidate_mem): Likewise.
912 * df.c: Update comments at the top of the file.
913 (read_modify_subreg_p): Update comments here too.
914 (df_def_record_1): Don't expect a SIGN_EXTRACT in a SET_DEST.
915 * flow.c (mark_set_1): Likewise.
916 (mark_used_regs): Likewise.
917 * gcse.c (mems_conflict_for_gcse_p): Likewise.
918 (canon_list_insert): Likewise.
919 (mark_set): Likewise.
920 (try_replace_reg): Likewise.
921 (store_killed_in_insn): Likewise.
922 * loop.c (count_one_set): Likewise.
923 (basic_induction_var): Likewise.
924 * postreload-gcse.c (find_mem_conflicts): Likewise.
925 * postreload.c (reload_combine_note_store): Likewise.
926 (move2add_note_store): Likewise.
927 * reload.c (find_equiv_reg): Likewise.
928 (mark_referenced_resources): Likewise.
929 * rtlanal.c (set_noop_p): Likewise.
930 (note_stores): Likewise.
931 (note_uses): Likewise.
932 * sched-deps.c (sched_analyze_1): Likewise.
933 * sched-rgn.c (check_live_1): Likewise.
934 (update_live_1): Likewise.
935 * config/i860/i860.c: Likewise.
937 * rtl.dec (SIGN_EXTRACT): Document that this cannot appear as
939 (ZERO_EXTRACT): Mention that this one can be an lvalue.
941 * doc/rtl.texi: Update documentation for bit-fields and SET.
943 2005-01-05 Roger Sayle <roger@eyesopen.com>
945 * ifcvt.c (find_if_case_1): Revert 2005-01-04 change.
947 2005-01-05 Jan Hubicka <jh@suse.cz>
948 Richard Henderson <rth@redhat.com>
951 * config/i386/i386.c (ix86_expand_move): Handle tls symbols
954 2005-01-05 Richard Henderson <rth@redhat.com>
957 * config/i386/i386.md (sse_movhps, sse_movlps): Remove.
958 (sse_shufps): Change operand 3 to const_int_operand.
959 (sse2_storelps): Fix typo in template.
960 (sse_storehps, sse_loadhps, sse_storelps, sse_loadlps): New.
961 * config/i386/i386.c (ix86_expand_vector_move_misalign): Use them.
962 (ix86_expand_builtin): Likewise.
964 2005-01-05 Julian Brown <julian@codesourcery.com>
966 * config/arm/arm.c (arm_return_in_memory): Treat complex types
967 as aggregates for AAPCS ABIs.
969 2005-01-05 Stan Shebs <shebs@apple.com>
971 * unwind-dw2-fde-darwin.c (examine_objects): Use 64-bit
972 Mach-O getters if ppc64.
973 * config/darwin.c (darwin_asm_output_dwarf_delta): Obey
975 * config/darwin.h (ASM_PREFERRED_EH_DATA_FORMAT): Use
976 signed four-byte field for global code case.
977 (STARTFILE_SPEC): Avoid crt2.o for 64-bit compilation.
979 2005-01-05 Roger Sayle <roger@eyesopen.com>
982 * c-common.c: Include real.h.
983 (c_common_truthvalue_conversion): Avoid destructively modifying expr.
984 Correctly handle TREE_CONSTANT_OVERFLOW for INTEGER_CST.
985 Correctly handle TREE_CONSTANT_OVERFLOW and NaNs for REAL_CST.
986 * Makefile.in (c-common.o): Update dependencies.
988 2005-01-05 Joseph S. Myers <joseph@codesourcery.com>
990 * c-parse.in (asm_string): Add trailing semicolon.
992 2005-01-05 Joseph S. Myers <joseph@codesourcery.com>
994 * c-parse.in (asm_string): New. Don't allow wide strings in
996 (simple_asm_expr, asm_argument, asm_operand, asm_clobbers): Use
997 asm_string instead of STRING.
999 2005-01-05 Joseph S. Myers <joseph@codesourcery.com>
1001 * c-typeck.c (constructor_no_implicit): Remove.
1002 (set_designator, process_init_element): Don't check
1003 constructor_no_implicit.
1005 2005-01-05 J"orn Rennecke <joern.rennecke@st.com>
1006 Kaz Kojima <kkojima@gcc.gnu.org>
1009 * lcm.c (create_pre_exit): New.
1010 (optimize_mode_switching): In MODE_ENTRY / MODE_EXIT case, set
1011 ENTRY_EXIT_EXTRA to 3. Use create_pre_exit.
1013 2004-01-05 Richard Earnshaw <rearnsha@arm.com>
1015 * arm.h (TARGET_OPTIONS): Correctly record -mhard-float and
1016 -msoft-float in target_float_switch.
1017 * arm.c (arm_override_options): Fix processing of target_float_switch.
1019 2004-01-05 Richard Earnshaw <rearnsha@arm.com>
1021 * arm/vfp.md (arm_movsi_vfp): Hide VFP register classes from register
1024 2004-01-05 Uros Bizjak <uros@kss-loka.si>
1026 * doc/invoke.texi (Intel 386 and AMD x86-64 Options):
1027 Replace i387 with 'i386 compiler' in -mfpmath=sse option.
1029 2005-01-04 Roger Sayle <roger@eyesopen.com>
1031 * ifcvt.c (find_if_case_1): Avoid creating an empty forwarder block,
1032 if deleting the then-block allows the test-block to fallthru to the
1035 2005-01-04 Andrew Pinski <pinskia@physics.uc.edu>
1038 * c-decl.c (diagnose_mismatched_decls): Accept "extern inline" declared
1039 after the full declaration if the are in two different TUs.
1041 2005-01-04 Richard Henderson <rth@redhat.com>
1044 * tree-sra.c (generate_one_element_init): Just
1045 call gimplify_and_add.
1046 (generate_element_init): Record the
1047 new referenced variables and mark them for renaming
1048 and split out to ...
1049 (generate_element_init_1): This.
1050 (scalarize_init): Don't call push_gimplify_context/
1051 pop_gimplify_context.
1053 2005-01-04 Geoffrey Keating <geoffk@apple.com>
1055 * toplev.c (get_src_pwd): Handle failure of getpwd().
1057 2005-01-04 Roger Sayle <roger@eyesopen.com>
1059 * fold-const.c (fold_single_bit_test): Delete unreachable handling
1061 (fold): Don't call fold_single_bit_test with a TRUTH_NOT_EXPR, as
1062 all the cases handled by it are inverted by invert_truthvalue.
1064 2005-01-04 Eric Botcazou <ebotcazou@libertysurf.fr>
1066 * config/sparc/sparc.md (save_register_windowdi): Add missing mode.
1067 (save_register_windowsi): Likewise.
1069 2005-01-04 Richard Henderson <rth@redhat.com>
1071 * tree-mudflap.c (mf_varname_tree): Fix thinko setting declname.
1073 2005-01-04 Uros Bizjak <uros@kss-loka.si>
1076 * cse.c (fold_rtx) [RTX_COMPARE, RTX_COMM_COMPARE]: Don't attempt
1077 any simplifications of vector mode comparison operators.
1078 * simplify-rtx.c (simplify_relational_operation): Fix variable name.
1080 2005-01-04 Paolo Bonzini <bonzini@gnu.org>
1081 Devang Patel <dpatel@apple.com>
1083 PR tree-optimization/18308
1084 * tree-if-conv.c (add_to_dst_predicate_list): Gimplify
1085 the operands before creating a new expression.
1086 * dojump.c (do_jump): Make drop_through_label available
1087 for all cases. Add expansion of COND_EXPR.
1089 2005-01-04 Ira Rosen <irar@il.ibm.com>
1091 * tree-vectorizer.c (vect_analyze_offset_expr): Test for
1092 INTEGER_CST instead of TREE_CONSTANT.
1093 (vect_gen_niters_for_prolog_loop): Test for INTEGER_CST
1094 instead of TREE_CONSTANT.
1095 (vect_analyze_pointer_ref_access): Test for INTEGER_CST
1096 instead of TREE_CONSTANT.
1098 2005-01-04 Eric Botcazou <ebotcazou@libertysurf.fr>
1100 * tree-eh.c (replace_goto_queue): Return early if the queue is empty.
1102 2005-01-04 Uros Bizjak <uros@kss-loka.si>
1105 * config/i386/i386.md (*fop_df_1_i387): Disable for TARGET_SSE_MATH.
1106 (*fop_df_1_i387): Disable for (TARGET_SSE2 && TARGET_SSE_MATH).
1108 2005-01-03 Richard Henderson <rth@redhat.com>
1110 * fold-const.c (force_fit_type): Cope with types larger than 2 HWI.
1111 (fold_convert_const_int_from_int, fold_convert_const_int_from_real,
1112 fold_convert_const_real_from_real): Split out from ...
1113 (fold_convert_const): ... here.
1115 2005-01-03 Richard Henderson <rth@redhat.com>
1118 * config/i386/i386.md (movdi_2): Separate SSE1 and SSE2 alternatives.
1119 (mov<MMXMODEI>_internal): Likewise.
1120 (movdf_nointeger): Prefer Y while not preferring, but allowing, x.
1121 Add V2SF case; use it for SSE1; don't use TI.
1122 (movdf_integer): Likewise.
1123 (mov<SSEMODEI>_internal, movti_internal): Force V4SF for SSE1.
1125 2005-01-03 Ira Rosen <irar@il.ibm.com>
1127 * tree-vectorizer.c (vect_strip_conversions): New function.
1128 (vect_analyze_offset_expr): Call vect_strip_conversions. Add
1129 check for binary class.
1131 2005-01-03 Daniel Berlin <dberlin@dberlin.org>
1135 * dwarf2out.c (block_ultimate_origin): Follow decl origin if origin
1137 * gimple-low.c (mark_blocks_with_used_vars): New function.
1138 (mark_blocks_with_used_subblocks): Ditto.
1139 (mark_used_blocks): Ditto.
1140 (pass_mark_used_blocks): New pass.
1141 * tree-inline.c: Include debug.h.
1142 (expand_call_inline): Call outlining_inline_function here.
1143 * tree-optimize.c (init_tree_optimization_passes): Add
1144 pass_mark_used_blocks.
1145 * tree-pass.h (pass_mark_used_blocks): New.
1146 * Makefile.in (tree-inline.o): Add debug.h dependency.
1148 2005-01-03 Geoffrey Keating <geoffk@apple.com>
1150 * config/darwin.c (darwin_handle_weak_import_attribute): Permit
1151 VAR_DECLs to have weak_import attribute.
1153 * config/rs6000/darwin-fallback.c: Use 'ucontext_t' rather than
1156 2004-01-03 Steven Bosscher <stevenb@suse.de>
1158 * passes.c (rest_of_compilation): Don't run regmove if only
1159 flag_expensive_optimizations, require flag_regmove instead.
1161 2005-01-03 Eric Botcazou <ebotcazou@libertysurf.fr>
1163 * config/sparc/litecoff.h (TARGET_OS_CPP_BUILTINS): Do not
1165 * config/sparc/sysv4-only.h (TARGET_OS_CPP_BUILTINS): Likewise.
1166 * config/sparc/rtemself.h (TARGET_SUB_OS_CPP_BUILTINS): Likewise.
1167 * config/sparc/sol2-64.h (TARGET_SUB_OS_CPP_BUILTINS): Delete.
1168 * config/sparc/sp64-elf.h (TARGET_SUB_OS_CPP_BUILTINS): Likewise.
1170 2005-01-03 Richard Henderson <rth@redhat.com>
1172 * config/ia64/ia64.c (TARGET_VECTOR_MODE_SUPPORTED_P): New.
1173 (ia64_const_ok_for_letter_p): New.
1174 (ia64_const_double_ok_for_letter_p): New.
1175 (ia64_extra_constraint): New.
1176 (ia64_expand_vecint_compare): New.
1177 (ia64_expand_vcondu_v2si): New.
1178 (ia64_expand_vecint_cmov): New.
1179 (ia64_expand_vecint_minmax): New.
1180 (ia64_print_operand): Add 'v'.
1181 (ia64_preferred_reload_class): New.
1182 (ia64_vector_mode_supported_p): New.
1183 * config/ia64/ia64.h (UNITS_PER_SIMD_WORD): New.
1184 (PREFERRED_RELOAD_CLASS): Move to function.
1185 (CONST_OK_FOR_LETTER_P): Move to function.
1186 (CONST_DOUBLE_OK_FOR_LETTER_P): Move to function.
1187 (CONSTRAINT_OK_FOR_Q, CONSTRAINT_OK_FOR_R): Remove.
1188 (CONSTRAINT_OK_FOR_S, CONSTRAINT_OK_FOR_T): Remove.
1189 (EXTRA_CONSTRAINT): Move to function.
1190 * config/ia64/ia64.md: Include vect.md.
1191 (itanium_class): Add mmalua.
1193 * config/ia64/itanium1.md (1_mmalua): New. Add it to bypasses.
1195 * config/ia64/itanium2.md (2_mmalua, 2b_mmalua): Similarly.
1196 * config/ia64/predicates.md (gr_reg_or_0_operand): Accept any
1198 (const_int_2bit_operand): New.
1199 (fr_reg_or_0_operand): New.
1200 * config/ia64/ia64-modes.def: Add vector modes.
1201 * config/ia64/ia64-protos.h: Update.
1202 * config/ia64/vect.md: New file.
1204 2005-01-03 Richard Henderson <rth@redhat.com>
1206 * simplify-rtx.c (simplify_binary_operation): Handle VEC_CONCAT.
1208 2005-01-03 Uros Bizjak <uros@kss-loka.si>
1211 * config/i386/i386.c (log1psf2): Change mode of operands[0,1]
1213 (log1pdf2): Change mode of operands[0,1] to DFmode.
1215 2005-01-03 Eric Botcazou <ebotcazou@libertysurf.fr>
1217 * config/sparc/sparc.h (SPARC_RELAXED_ORDERING): Define to false.
1218 * config/sparc/linux.h (SPARC_RELAXED_ORDERING): Define to true.
1219 * config/sparc/linux64.h (SPARC_RELAXED_ORDERING): Likewise.
1220 * config/sparc/sparc.c (TARGET_RELAXED_ORDERING): Define to
1221 SPARC_RELAXED_ORDERING.
1223 2005-01-03 Richard Henderson <rth@redhat.com>
1224 Uros Bizjak <uros@kss-loka.si>
1227 * config/i386/i386.c (ix86_expand_builtin): [IX86_BUILTIN_PINSRW,
1228 IX86_BUILTIN_PINSRW128]: Fix wrong selector range in error message.
1229 * config/i386/i386.md (mmx_pinsrw, sse2_pinsrw): Fix selector
1231 (*mmx_pinsrw, *sse2_pinsrw): New patterns.
1232 * config/i386/i386/predicates.md (const_pow2_1_to_8_operand,
1233 const_pow2_1_to_128_operand): New predicates.
1235 2005-01-02 Greg McGary <greg@mcgary.org>
1237 * tree-mudflap.c (mf_varname_tree): decl_printable_name handles
1239 (mf_xform_derefs_1) [RESULT_DECL, STRING_CST]: Handle as innermost
1240 object. [ptr_type]: Remove unused variable.
1241 Remember nearest addressable array-element or record-component
1242 when checking bitfield components. Tolerate empty BIND_EXPR.
1244 2005-01-01 Richard Henderson <rth@redhat.com>
1246 * tree-vectorizer.c (vect_analyze_offset_expr): Strip conversions
1247 that don't narrow the value. Fail for other conversions.
1249 2005-01-01 Richard Henderson <rth@redhat.com>
1252 * c-decl.c (pop_file_scope): Call maybe_apply_pending_pragma_weaks.
1253 * c-lang.c (finish_file): Don't do it here.
1254 * objc/objc-act.c (objc_finish_file): Likewise.
1256 * cgraph.c (decl_assembler_name_equal): New.
1257 (cgraph_node_for_asm, cgraph_varpool_node_for_asm): New.
1258 (cgraph_varpool_node): Actually link up cgraph_varpool_nodes.
1259 * cgraph.h (struct cgraph_varpool_node): Add next.
1260 (cgraph_node_for_asm, cgraph_varpool_node_for_asm): Declare.
1261 * varasm.c (assemble_alias): Mark the target as needed.
1263 2005-01-01 Andrew Pinski <pinskia@physics.uc.edu>
1266 * function.c (get_arg_pointer_save_area): Use entry_of_function
1267 instead of get_insns.
1269 2005-01-01 Roger Sayle <roger@eyesopen.com>
1270 Andrew Pinski <pinskia@physics.uc.edu>
1271 James E. Wilson <wilson@specifixinc.com>
1273 PR rtl-optimization/12092
1274 * loop.c (emit_prefetch_instructions): Do nothing if PREFETCH_BLOCK
1277 2005-01-01 Roger Sayle <roger@eyesopen.com>
1278 Olivier Hainque <hainque@act-europe.fr>
1280 * tree.c (int_fits_type_p): A narrower type always fits in a
1281 wider one, except for negative values into unsigned types.
1283 2005-01-01 Roger Sayle <roger@eyesopen.com>
1285 * tree.c (int_fits_type_p): Compare the result of force_fit_type
1286 with the original constant rather than require TREE_OVERFLOW.
1288 2005-01-01 Steven Bosscher <stevenb@suse.de>
1291 * c-decl.c (finish_function): If compiling C99, annotate the
1292 compiler generated return with the current file name and line 0.
1293 * tree-cfg.c (remove_useless_stmts_warn_notreached): Only warn if
1294 the source line is greater than 0.
1295 (remove_bb): Likewise.
1297 See ChangeLog.12 for earlier changes.