OSDN Git Service

* config/i386/i386.md (addhi_4): Correct reference in comment.
[pf3gnuchains/gcc-fork.git] / gcc / ChangeLog
1 2005-01-08  David Edelsohn  <edelsohn@gnu.org>
2
3         * config/i386/i386.md (addhi_4): Correct reference in comment.
4         (addqi_4): Same.
5
6 2005-01-08  Richard Henderson  <rth@redhat.com>
7
8         * config/i386/emmintrin.h (_mm_cvtsi128_si32): Move earlier.
9         (_mm_cvtsi128_si64x): Likewise.
10         (_mm_srl_epi64, _mm_srl_epi32, _mm_srl_epi16, _mm_sra_epi32,
11         _mm_sra_epi16, _mm_sll_epi64, _mm_sll_epi32, _mm_sll_epi16): Use
12         the _mm_{srl,sll}i_foo counterpart, and _mm_cvtsi128_si32.
13         * config/i386/i386-modes.def: Add V16HI, V32QI, V4DF, V8SF.
14         * config/i386/i386-protos.h: Update.
15         * config/i386/i386.c (print_operand): Add 'H'.
16         (ix86_fixup_binary_operands): Split out from ...
17         (ix86_expand_binary_operator): ... here.
18         (ix86_fixup_binary_operands_no_copy): New.
19         (ix86_expand_fp_absneg_operator): Handle vector mode results.
20         (bdesc_2arg): Update names for sse{,2,3}_ prefixes.
21         (ix86_init_mmx_sse_builtins): Remove *maskncmp* special cases.
22         (safe_vector_operand): Use CONST0_RTX.
23         (ix86_expand_binop_builtin): Use ix86_fixup_binary_operands.
24         (ix86_expand_builtin): Merge CODE_FOR_sse2_maskmovdqu_rex64 and
25         CODE_FOR_sse2_maskmovdqu.  Special case SSE version of MASKMOVDQU
26         expansion.  Update names for sse{,2,3}_ prefixes.  Remove *maskncmp*
27         special cases.
28         * config/i386/i386.h (IX86_BUILTIN_CMPNGTSS): New.
29         (IX86_BUILTIN_CMPNGESS): New.
30         * config/i386/i386.md (UNSPEC_FIX_NOTRUNC): New.
31         (attr type): Add sselog1.
32         (attr unit, attr memory): Handle it.
33         (movti, movti_internal, movti_rex64): Move near other integer moves.
34         (movtf, movtf_internal): Move near other fp moves.
35         (SSEMODE, SSEMODEI, vec_setv2df, vec_extractv2df, vec_initv2df,
36         vec_setv4sf, vec_extractv4sf, vec_initv4sf, movv4sf, movv4sf_internal,
37         movv2df, movv2df_internal, mov<SSEMODEI>, mov<SSEMODEI>_internal, 
38         movmisalign<SSEMODE>, sse_movups_1, sse_movmskps, sse_movntv4sf,
39         sse_movhlps, sse_movlhps, sse_storehps, sse_loadhps, sse_storelps,
40         sse_loadlps, sse_loadss, sse_loadss_1, sse_movss, sse_storess,
41         sse_shufps, addv4sf3, vmaddv4sf3, subv4sf3, vmsubv4sf3, negv4sf2,
42         mulv4sf3, vmmulv4sf3, divv4sf3, vmdivv4sf3, rcpv4sf2, vmrcpv4sf2,
43         rsqrtv4sf2, vmrsqrtv4sf2, sqrtv4sf2, vmsqrtv4sf2, sse_andv4sf3,
44         sse_nandv4sf3, sse_iorv4sf3, sse_xorv4sf3, sse2_andv2df3, 
45         sse2_nandv2df3, sse2_iorv2df3, sse2_xorv2df3, sse2_andv2di3, 
46         sse2_nandv2di3, sse2_iorv2di3, sse2_xorv2di3, maskcmpv4sf3, 
47         vmmaskcmpv4sf3, sse_comi, sse_ucomi, sse_unpckhps, sse_unpcklps,
48         smaxv4sf3, vmsmaxv4sf3, sminv4sf3, vmsminv4sf3, cvtpi2ps, cvtps2pi,
49         cvttps2pi, cvtsi2ss, cvtsi2ssq, cvtss2si, cvtss2siq, cvttss2si,
50         cvttss2siq, addv2df3, vmaddv2df3, subv2df3, vmsubv2df3, mulv2df3,
51         vmmulv2df3, divv2df3, vmdivv2df3, smaxv2df3, vmsmaxv2df3, sminv2df3,
52         vmsminv2df3, sqrtv2df2, vmsqrtv2df2, maskcmpv2df3, vmmaskcmpv2df3,
53         sse2_comi, sse2_ucomi, sse2_movmskpd, sse2_pmovmskb, sse2_maskmovdqu,
54         sse2_maskmovdqu_rex64, sse2_movntv2df, sse2_movntv2di, sse2_movntsi,
55         cvtdq2ps, cvtps2dq, cvttps2dq, cvtdq2pd, cvtpd2dq, cvttpd2dq,
56         cvtpd2pi, cvttpd2pi, cvtpi2pd, cvtsd2si, cvtsd2siq, cvttsd2si,
57         cvttsd2siq, cvtsi2sd, cvtsi2sdq, cvtsd2ss, cvtss2sd, cvtpd2ps,
58         cvtps2pd, addv16qi3, addv8hi3, addv4si3, addv2di3, ssaddv16qi3,
59         ssaddv8hi3, usaddv16qi3, usaddv8hi3, subv16qi3, subv8hi3, subv4si3,
60         subv2di3, sssubv16qi3, sssubv8hi3, ussubv16qi3, ussubv8hi3, mulv8hi3,
61         smulv8hi3_highpart, umulv8hi3_highpart, sse2_umulsidi3,
62         sse2_umulv2siv2di3, sse2_pmaddwd, sse2_uavgv16qi3, sse2_uavgv8hi3,
63         sse2_psadbw, sse2_pinsrw, sse2_pextrw, sse2_pshufd, sse2_pshuflw,
64         sse2_pshufhw, eqv16qi3, eqv8hi3, eqv4si3, gtv16qi3, gtv8hi3, 
65         gtv4si3, umaxv16qi3, smaxv8hi3, uminv16qi3, sminv8hi3, ashrv8hi3,
66         ashrv4si3, lshrv8hi3, lshrv4si3, lshrv2di3, ashlv8hi3, ashlv4si3,
67         ashlv2di3, sse2_ashlti3, sse2_lshrti3, sse2_unpckhpd, sse2_unpcklpd,
68         sse2_packsswb, sse2_packssdw, sse2_packuswb, sse2_punpckhbw, 
69         sse2_punpckhwd, sse2_punpckhdq, sse2_punpcklbw, sse2_punpcklwd,
70         sse2_punpckldq, sse2_punpcklqdq, sse2_punpckhqdq, sse2_movupd,
71         sse2_movdqu, sse2_movdq2q, sse2_movdq2q_rex64, sse2_movq2dq, 
72         sse2_movq2dq_rex64, sse2_loadd, sse2_stored, sse2_storehpd,
73         sse2_loadhpd, sse2_storelpd, sse2_loadlpd, sse2_movsd, sse2_loadsd,
74         sse2_loadsd_1, sse2_storesd, sse2_shufpd, sse2_clflush, sse2_mfence,
75         mfence_insn, sse2_lfence, lfence_insn, mwait, monitor, addsubv4sf3,
76         addsubv2df3, haddv4sf3, haddv2df3, hsubv4sf3, hsubv2df3, movshdup,
77         movsldup, lddqu, loadddup, movddup): Move to sse.md.  Any with
78         non-optabs meanings renamed with an "sse{,2,3}_" prefix at the
79         same time.
80         (SSEPUSH, push<SSEPUSH>): Remove.
81         (MMXPUSH, push<MMXPUSH>): Remove.
82         (sse_movaps, sse_movaps_1, sse_movups): Remove.
83         (sse2_movapd, sse2_movdqa, sse2_movq): Remove.
84         (sse2_andti3, sse2_nandti3, sse2_iorti3, sse2_xorti3): Remove.
85         (sse_clrv4sf, sse_clrv2df, sse2_clrti): Remove.
86         (maskncmpv4sf3, vmmaskncmpv4sf3): Remove.
87         (maskncmpv2df3, vmmaskncmpv2df3): Remove.
88         (ashrv8hi3_ti, ashrv4si3_ti, lshrv8hi3_ti, lshrv4si3_ti): Remove.
89         (lshrv2di3_ti, ashlv8hi3_ti, ashlv4si3_ti, ashlv2di3_ti): Remove.
90         * config/i386/athlon.md (athlon_sselog_load): Handle sselog1.
91         (athlon_sselog_load_k8, athlon_sselog, athlon_sselog_k8): Likewise.
92         * config/i386/ppro.md (ppro_sse_div_V4SF_load): Fix memory attr.
93         (ppro_sse_log_V4SF_load): Similarly.  Handle sselog1.
94         (ppro_sse_log_V4SF): Handle sselog1.
95         * config/i386/predicates.md (const_0_to_1_operand): New.
96         (const_0_to_255_mul_8_operand): New.
97         (const_1_to_31_operand): Rename from const_int_1_31_operand.
98         (const_2_to_3_operand, const_4_to_7_operand): New.
99         * config/i386/sse.md: New file.
100         (SSEMODE12, SSEMODE24, SSEMODE124, SSEMODE248, ssevecsize): New.
101         (sse_movups): Rename from sse_movups_1.
102         (sse_loadlss): Rename from sse_loadss_1.
103         (andv4sf3, iorv4sf3, xorv4sf3, andv2df3): Remove the sse prefix
104         from the name.
105         (negv4sf2): Use ix86_expand_fp_absneg_operator.
106         (absv4sf2, negv2df, absv2df): New.
107         (addv4sf3): Add expander to call ix86_fixup_binary_operands_no_copy.
108         (subv4sf3, mulv4sf3, divv4sf3, smaxv4sf3, sminv4sf3, andv4sf3,
109         iorv4sf3, xorv4sf3, addv2df3, subv2df3, mulv2df3, divv2df3,
110         smaxv2df3, sminv2df3, andv2df3, iorv2df3, xorv2df3, mulv8hi3,
111         umaxv16qi3, smaxv8hi3, uminv16qi3, sminv8hi3): Likewise.
112         (sse3_addsubv4sf3): Model correctly.
113         sse3_haddv4sf3, sse3_hsubv4sf3, sse3_addsubv2df3, sse3_haddv2df3,
114         sse3_hsubv2df3, sse2_ashlti3, sse2_lshrti3): Likewise.
115         (sse_movhlps): Model with vec_select+vec_concat.
116         (sse_movlhps, sse_unpckhps, sse_unpcklps, sse3_movshdup, 
117         sse3_movsldup, sse_shufps, sse_shufps_1, sse2_unpckhpd, sse3_movddup,
118         sse2_unpcklpd, sse2_shufpd, sse2_shufpd_1, sse2_punpckhbw,
119         sse2_punpcklbw, sse2_punpckhwd, sse2_punpcklwd, sse2_punpckhdq,
120         sse2_punpckldq, sse2_punpckhqdq, sse2_punpcklqdq, sse2_pshufd,
121         sse2_pshufd_1, sse2_pshuflw, sse2_pshuflw_1, sse2_pshufhw, 
122         sse2_pshufhw_1): Likewise.
123         (neg<SSEMODEI>2, one_cmpl<SSEMODEI>2): New.
124         (add<SSEMODEI>3, sse2_ssadd<SSEMODE12>3, sse2_usadd<SSEMODE12>3,
125         sub<SSEMODEI>3, sse2_sssub<SSEMODE12>3, sse2_ussub<SSEMODE12>3,
126         ashr<SSEMODE24>3, lshr<SSEMODE248>3, sse2_eq<SSEMODE124>3,
127         sse2_gt<SSEMODDE124>3, and<SSEMODEI>3, sse_nand<SSEMODEI>3,
128         ior<SSEMODEI>3, xor<SSEMODEI>3): Macroize from existing patterns.       
129         (addv4sf3, sse_vmaddv4sf3, mulv4sf3, sse_vmmulv4sf3, smaxv4sf3,
130         sse_vmsmaxv4sf3, sminv4sf3, sse_vmsminv4sf3, addv2df3, sse2_vmaddv2df3,
131         mulv2df3, sse2_vmmulv2df3, smaxv2df3, sse2_vmsmaxv2df3, sminv2df3,
132         sse2_vmsminv2df3, umaxv16qi3, smaxv8hi3, uminv16qi3
133         sminv8hi3): Mark commutative
134         operands.  Use ix86_binary_operator_ok.
135         (sse_unpckhps, sse_unpcklps, sse2_packsswb, sse2_packssdw,
136         sse2_packuswb, sse2_punpckhbw, sse2_punpcklbw, sse2_punpckhwd,
137         sse2_punpcklwd, sse2_punpckhdq, sse2_punpckldq, sse2_punpckhqdq,
138         sse2_punpcklqdq): Allow operand2 in memory.
139         (sse_movhlps, sse_movlhps, sse2_unpckhpd, sse2_unpcklpd
140         sse2_movsd): Add memory alternatives.
141         (sse_storelps): Turn expander into an insn; split after reload.
142         (sse_storess, sse2_loadhpd, sse2_loadlpd): Add non-xmm inputs.
143         (sse2_storehpd, sse2_storelpd): Add non-xmm outputs.
144
145 2005-01-08  Eric Botcazou  <ebotcazou@libertysurf.fr>
146
147         * configure.ac (DWARF-2 debug_line): Use objdump.
148         * configure: Regenerate.
149
150 2005-01-08  Jeff Law  <law@redhat.com>
151             Diego Novillo  <dnovillo@redhat.com>
152
153         PR tree-optimization/18241
154         * tree-nrv.c (tree_nrv): Ignore volatile return values.
155         * tree-ssa-dse.c (dse_optimize_stmt): Do not optimize
156         statements with volatile operands.
157         * tree-ssa-operands.c (add_stmt_operand): Do add volatile
158         operands after marking a statement with has_volatile_ops.
159
160 2005-01-08  Roger Sayle  <roger@eyesopen.com>
161
162         * tree.c (int_fits_type_p): Always honor integer constant
163         TYPE_MIN_VALUE and TYPE_MAX_VALUE if they exist.
164
165 2005-01-08  Roger Sayle  <roger@eyesopen.com>
166
167         * ifcvt.c (find_if_case_1): Reinstate 2005-01-04 change, now that
168         the latent bug in rtl_delete_block has been resolved.
169
170 2005-01-08  Richard Sandiford  <rsandifo@redhat.com>
171
172         * config/mips/t-iris6 (MULTILIB_DIRNAMES): Use -mabi argument values.
173         (MULTILIB_OSDIRNAMES): Use the standard lib, lib32 and lib64.
174
175 2005-01-08  Richard Sandiford  <rsandifo@redhat.com>
176
177         * config/mips/t-slibgcc-irix (SHLIB_LINK): Install a copy of the
178         library as @multilib_dir@/$(SHLIB_SONAME).
179
180 2005-01-07  Eric Botcazou  <ebotcazou@libertysurf.fr>
181
182         * configure.ac (HAVE_AS_OFFSETABLE_LO10): Fix typo.
183         * configure: Regenerate.
184
185 2005-01-07  Jakub Jelinek  <jakub@redhat.com>
186
187         * c-common.c (handle_mode_attribute): For ENUMERAL_TYPE, also copy
188         TYPE_MODE.
189
190 2005-01-07  David Edelsohn  <edelsohn@gnu.org>
191
192         PR target/13674
193         * config/rs6000/rs6000.c (rs6000_legitimize_reload_address):
194         Convert non-word aligned offset address using ld/std into
195         indirect address.
196
197 2005-01-07  Richard Henderson  <rth@redhat.com>
198
199         * config/i386/i386.md (sse_loadhps splitter): Fix operand number typo.
200
201 2005-01-07  Richard SAndiford  <rsandifo@redhat.com>
202
203         * tree.h (IS_EXPR_CODE_CLASS): Use a straight-forward range check.
204
205 2005-01-07  Jakub Jelinek  <jakub@redhat.com>
206
207         PR tree-optimization/19283
208         * fold-const.c (fold_widened_comparison): Return NULL if shorter_type
209         is not shorter than the original type.
210
211         PR rtl-optimization/19012
212         * config/i386/i386.md (addqi_1_slp): Set memory attribute.
213
214         PR rtl-optimization/18861
215         * cfgbuild.c (BLOCK_USED_BY_TABLEJUMP): Define.
216         (FULL_STATE): Define.
217         (mark_tablejump_edge): New function.
218         (purge_dead_tablejump_edges): New function.
219         (find_bb_boundaries): Use it.
220
221         PR tree-optimization/18828
222         * builtins.c (expand_builtin_next_arg): Remove argument and all
223         the argument checking.
224         (expand_builtin): Adjust caller.
225         (expand_builtin_va_start): Likewise.  Remove error for too many
226         arguments.
227         (fold_builtin_next_arg): Issue error for too many arguments.
228         After checking arguments, replace them with magic arguments that
229         prevent further checking of the args.
230
231 2005-01-06  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
232
233         * pa64-hpux.h (STARTFILE_SPEC): Fix typo in spec.
234
235 2005-01-06  Roger Sayle  <roger@eyesopen.com>
236
237         PR target/6077
238         * gcc.c (input_suffix_matches): Tweak the semantics of %{.s:...}
239         and %{.S:...} (and their negative variants) to test whether the
240         input file is assembler or pre-processed-assembler independent of
241         the actual filename extension.
242
243 2005-01-06  Roger Sayle  <roger@eyesopen.com>
244
245         * simplify-rtx.c (simplify_subreg): Simplify truncations of shifts
246         of sign or zero extended values.
247
248 2005-01-06  Geoffrey Keating  <geoffk@apple.com>
249
250         * c-cppbuiltin.c (builtin_define_float_constants): Set __*_EPSILON__
251         for IBM long double format correctly.
252
253 2005-01-06  Daniel Berlin <dberlin@dberlin.org>
254         
255         Fix PR tree-optimization/18792
256
257         * tree-data-ref.c (build_classic_dist_vector): Change first_loop
258         to first_loop_depth, and use loop depth instead of loop number.
259         (build_classic_dir_vector): Ditto.
260         (compute_data_dependences_for_loop): Use depth, not loop number.
261         * tree-loop-linear.c (try_interchange_loops): Use loop depth, not loop 
262         number. Pass in loops, instead of loop numbers.
263         (gather_interchange_stats): Ditto.
264         (linear_transform_loops): Ditto.
265
266 2005-01-06  Richard Sandiford  <rsandifo@redhat.com>
267
268         PR rtl-opt/13299
269         * loop.c (get_monotonic_increment, biased_biv_fits_mode_p,
270         biv_fits_mode_p, extension_within_bounds_p): New functions.
271         (check_ext_dependent_givs): Use them.
272
273 2005-01-06  Roger Sayle  <roger@eyesopen.com>
274
275         * cfgrtl.c (rtl_delete_block): A basic block may be followed by
276         more than one barrier, in which case we should delete them all.
277
278 2005-01-06  Tobias Schlueter  <tobias.schlueter@physik.uni-muenchen.de>
279
280         * gcc.c (process_command): Change year in 'gcc --version' to 2005.
281
282 2005-01-05  Daniel Berlin  <dberlin@dberlin.org>
283         
284         Fix PR middle-end/19286
285         Fix PR debug/19267
286         * dwarf2out.c (gen_subprogram_die): If we've already tried to
287         output this subprogram, simply ignore this attempt to do it again.
288         (add_abstract_origin_attribute): Don't abort trying to add the abstract
289         origin attribute if it's not possible.
290         (gen_block_die): Don't ignore subblocks of "unused" blocks.
291         (decls_for_scope): Ditto.
292         * gimple-low.c (mark_blocks_with_used_subblocks): Remove.
293         (mark_used_blocks): Don't call mark_blocks_with_used_subblocks.
294         
295 2005-01-05  Richard Henderson  <rth@redhat.com>
296
297         PR target/11327
298         * config/i386/i386.c (BUILTIN_DESC_SWAP_OPERANDS): New.
299         (bdesc_2arg): Use it.
300         (ix86_expand_binop_builtin): Force operands into registers
301         when optimizing.
302         (ix86_expand_unop_builtin, ix86_expand_unop1_builtin,
303         ix86_expand_sse_compare, ix86_expand_sse_comi, 
304         ix86_expand_builtin): Likewise.
305
306 2005-01-05  Richard Henderson  <rth@redhat.com>
307
308         * config/ia64/ia64.c (rtx_needs_barrier): Handle CONST_VECTOR
309         and VEC_SELECT.
310         * config/ia64/vect.md (mulv8qi3): Re-implement with mix_[rl].
311         (mulv4hi3): Set itanium_class mmmul.
312         (fpack_sfxf, fpack_xfsf, fpack_xfxf): Remove.
313         (fpack): Rename from fpack_sfsf.
314
315 2005-01-05  Richard Henderson  <rth@redhat.com>
316
317         PR rtl-opt/10692
318         * reload1.c (do_input_reload): Restrict the optimization deleteing
319         a previous output reload to RELOAD_FOR_INPUT.
320
321 2005-01-05  Steven Bosscher  <stevenb@suse.de>
322
323         * combine.c (expand_compound_operation)  <ZERO_EXTRACT>: Add
324         comment that we fall through after case.
325         (mark_used_regs_combine): Don't expect a SIGN_EXTRACT in a SET_DEST.
326         (distribute_links): Likewise.
327         * cse.c (cse_insn): Likewise.
328         * cselib.c (cselib_invalidate_mem): Likewise.
329         * df.c: Update comments at the top of the file.
330         (read_modify_subreg_p): Update comments here too.
331         (df_def_record_1): Don't expect a SIGN_EXTRACT in a SET_DEST.
332         * flow.c (mark_set_1): Likewise.
333         (mark_used_regs): Likewise.
334         * gcse.c (mems_conflict_for_gcse_p): Likewise.
335         (canon_list_insert): Likewise.
336         (mark_set): Likewise.
337         (try_replace_reg): Likewise.
338         (store_killed_in_insn): Likewise.
339         * loop.c (count_one_set): Likewise.
340         (basic_induction_var): Likewise.
341         * postreload-gcse.c (find_mem_conflicts): Likewise.
342         * postreload.c (reload_combine_note_store): Likewise.
343         (move2add_note_store): Likewise.
344         * reload.c (find_equiv_reg): Likewise.
345         (mark_referenced_resources): Likewise.
346         * rtlanal.c (set_noop_p): Likewise.
347         (note_stores): Likewise.
348         (note_uses): Likewise.
349         * sched-deps.c (sched_analyze_1): Likewise.
350         * sched-rgn.c (check_live_1): Likewise.
351         (update_live_1): Likewise.
352         * config/i860/i860.c: Likewise.
353
354         * rtl.dec (SIGN_EXTRACT): Document that this cannot appear as
355         an lvalue.
356         (ZERO_EXTRACT): Mention that this one can be an lvalue.
357
358         * doc/rtl.texi: Update documentation for bit-fields and SET.
359
360 2005-01-05  Roger Sayle  <roger@eyesopen.com>
361
362         * ifcvt.c (find_if_case_1): Revert 2005-01-04 change.
363
364 2005-01-05  Jan Hubicka  <jh@suse.cz>
365             Richard Henderson  <rth@redhat.com>
366
367         PR target/18910
368         * config/i386/i386.c (ix86_expand_move): Handle tls symbols 
369         with an offset.
370
371 2005-01-05  Richard Henderson  <rth@redhat.com>
372
373         PR target/12902
374         * config/i386/i386.md (sse_movhps, sse_movlps): Remove.
375         (sse_shufps): Change operand 3 to const_int_operand.
376         (sse2_storelps): Fix typo in template.
377         (sse_storehps, sse_loadhps, sse_storelps, sse_loadlps): New.
378         * config/i386/i386.c (ix86_expand_vector_move_misalign): Use them.
379         (ix86_expand_builtin): Likewise.
380
381 2005-01-05  Julian Brown  <julian@codesourcery.com>
382
383         * config/arm/arm.c (arm_return_in_memory): Treat complex types
384         as aggregates for AAPCS ABIs.
385
386 2005-01-05  Stan Shebs  <shebs@apple.com>
387
388         * unwind-dw2-fde-darwin.c (examine_objects): Use 64-bit
389         Mach-O getters if ppc64.
390         * config/darwin.c (darwin_asm_output_dwarf_delta): Obey
391         size argument.
392         * config/darwin.h (ASM_PREFERRED_EH_DATA_FORMAT): Use
393         signed four-byte field for global code case.
394         (STARTFILE_SPEC): Avoid crt2.o for 64-bit compilation.
395
396 2005-01-05  Roger Sayle  <roger@eyesopen.com>
397
398         PR middle-end/19100
399         * c-common.c: Include real.h.
400         (c_common_truthvalue_conversion): Avoid destructively modifying expr.
401         Correctly handle TREE_CONSTANT_OVERFLOW for INTEGER_CST.
402         Correctly handle TREE_CONSTANT_OVERFLOW and NaNs for REAL_CST.
403         * Makefile.in (c-common.o): Update dependencies.
404
405 2005-01-05  Joseph S. Myers  <joseph@codesourcery.com>
406
407         * c-parse.in (asm_string): Add trailing semicolon.
408
409 2005-01-05  Joseph S. Myers  <joseph@codesourcery.com>
410
411         * c-parse.in (asm_string): New.  Don't allow wide strings in
412         'asm'.
413         (simple_asm_expr, asm_argument, asm_operand, asm_clobbers): Use
414         asm_string instead of STRING.
415
416 2005-01-05  Joseph S. Myers  <joseph@codesourcery.com>
417
418         * c-typeck.c (constructor_no_implicit): Remove.
419         (set_designator, process_init_element): Don't check
420         constructor_no_implicit.
421
422 2005-01-05  J"orn Rennecke <joern.rennecke@st.com>
423             Kaz Kojima  <kkojima@gcc.gnu.org>
424
425         PR target/16482
426         * lcm.c (create_pre_exit): New.
427         (optimize_mode_switching): In MODE_ENTRY / MODE_EXIT case, set
428         ENTRY_EXIT_EXTRA to 3.  Use create_pre_exit.
429
430 2004-01-05  Richard Earnshaw  <rearnsha@arm.com>
431
432         * arm.h (TARGET_OPTIONS): Correctly record -mhard-float and
433         -msoft-float in target_float_switch.
434         * arm.c (arm_override_options): Fix processing of target_float_switch.
435
436 2004-01-05  Richard Earnshaw  <rearnsha@arm.com>
437
438         * arm/vfp.md (arm_movsi_vfp): Hide VFP register classes from register
439         preferencing.
440
441 2004-01-05  Uros Bizjak  <uros@kss-loka.si>
442
443         * doc/invoke.texi (Intel 386 and AMD x86-64 Options):
444         Replace i387 with 'i386 compiler' in -mfpmath=sse option.
445
446 2005-01-04  Roger Sayle  <roger@eyesopen.com>
447
448         * ifcvt.c (find_if_case_1): Avoid creating an empty forwarder block,
449         if deleting the then-block allows the test-block to fallthru to the
450         else-block.
451
452 2005-01-04  Andrew Pinski  <pinskia@physics.uc.edu>
453
454         PR c/19152
455         * c-decl.c (diagnose_mismatched_decls): Accept "extern inline" declared
456         after the full declaration if the are in two different TUs.
457
458 2005-01-04  Richard Henderson  <rth@redhat.com>
459
460         PR tree-opt/19158
461         * tree-sra.c (generate_one_element_init): Just
462         call gimplify_and_add.
463         (generate_element_init): Record the
464         new referenced variables and mark them for renaming
465         and split out to ...
466         (generate_element_init_1): This.
467         (scalarize_init): Don't call push_gimplify_context/
468         pop_gimplify_context.
469
470 2005-01-04  Geoffrey Keating  <geoffk@apple.com>
471
472         * toplev.c (get_src_pwd): Handle failure of getpwd().
473
474 2005-01-04  Roger Sayle  <roger@eyesopen.com>
475
476         * fold-const.c (fold_single_bit_test): Delete unreachable handling
477         of TRUTH_NOT_EXPR.
478         (fold): Don't call fold_single_bit_test with a TRUTH_NOT_EXPR, as
479         all the cases handled by it are inverted by invert_truthvalue.
480
481 2005-01-04  Eric Botcazou  <ebotcazou@libertysurf.fr>
482
483         * config/sparc/sparc.md (save_register_windowdi): Add missing mode.
484         (save_register_windowsi): Likewise.
485
486 2005-01-04  Richard Henderson  <rth@redhat.com>
487
488         * tree-mudflap.c (mf_varname_tree): Fix thinko setting declname.
489
490 2005-01-04  Uros Bizjak  <uros@kss-loka.si>
491
492         PR middle-end/17767
493         * cse.c (fold_rtx) [RTX_COMPARE, RTX_COMM_COMPARE]: Don't attempt
494         any simplifications of vector mode comparison operators.
495         * simplify-rtx.c (simplify_relational_operation): Fix variable name.
496
497 2005-01-04  Paolo Bonzini  <bonzini@gnu.org>
498             Devang Patel  <dpatel@apple.com>
499
500         PR tree-optimization/18308
501         * tree-if-conv.c (add_to_dst_predicate_list): Gimplify
502         the operands before creating a new expression.
503         * dojump.c (do_jump): Make drop_through_label available
504         for all cases.  Add expansion of COND_EXPR.
505
506 2005-01-04  Ira Rosen  <irar@il.ibm.com>
507
508         * tree-vectorizer.c (vect_analyze_offset_expr): Test for
509         INTEGER_CST instead of TREE_CONSTANT.
510         (vect_gen_niters_for_prolog_loop): Test for INTEGER_CST
511         instead of TREE_CONSTANT.
512         (vect_analyze_pointer_ref_access): Test for INTEGER_CST
513         instead of TREE_CONSTANT.
514
515 2005-01-04  Eric Botcazou  <ebotcazou@libertysurf.fr>
516
517         * tree-eh.c (replace_goto_queue): Return early if the queue is empty.
518
519 2005-01-04  Uros Bizjak  <uros@kss-loka.si>
520
521         PR target/19240
522         * config/i386/i386.md (*fop_df_1_i387): Disable for TARGET_SSE_MATH.
523         (*fop_df_1_i387): Disable for (TARGET_SSE2 && TARGET_SSE_MATH).
524
525 2005-01-03  Richard Henderson  <rth@redhat.com>
526
527         * fold-const.c (force_fit_type): Cope with types larger than 2 HWI.
528         (fold_convert_const_int_from_int, fold_convert_const_int_from_real,
529         fold_convert_const_real_from_real): Split out from ...
530         (fold_convert_const): ... here.
531
532 2005-01-03  Richard Henderson  <rth@redhat.com>
533
534         PR target/19235
535         * config/i386/i386.md (movdi_2): Separate SSE1 and SSE2 alternatives.
536         (mov<MMXMODEI>_internal): Likewise.
537         (movdf_nointeger): Prefer Y while not preferring, but allowing, x.
538         Add V2SF case; use it for SSE1; don't use TI.
539         (movdf_integer): Likewise.
540         (mov<SSEMODEI>_internal, movti_internal): Force V4SF for SSE1.
541
542 2005-01-03  Ira Rosen  <irar@il.ibm.com>
543
544         * tree-vectorizer.c (vect_strip_conversions): New function.
545         (vect_analyze_offset_expr): Call vect_strip_conversions. Add
546         check for binary class. 
547
548 2005-01-03  Daniel Berlin  <dberlin@dberlin.org>
549
550         Fix PR debug/17924
551         Fix PR debug/19191
552         * dwarf2out.c (block_ultimate_origin): Follow decl origin if origin
553         is a decl.
554         * gimple-low.c (mark_blocks_with_used_vars): New function.
555         (mark_blocks_with_used_subblocks): Ditto.
556         (mark_used_blocks): Ditto.
557         (pass_mark_used_blocks): New pass.
558         * tree-inline.c: Include debug.h.
559         (expand_call_inline): Call outlining_inline_function here.
560         * tree-optimize.c (init_tree_optimization_passes): Add
561         pass_mark_used_blocks. 
562         * tree-pass.h (pass_mark_used_blocks): New.
563         * Makefile.in (tree-inline.o): Add debug.h dependency.
564
565 2005-01-03  Geoffrey Keating  <geoffk@apple.com>
566
567         * config/darwin.c (darwin_handle_weak_import_attribute): Permit
568         VAR_DECLs to have weak_import attribute.
569
570         * config/rs6000/darwin-fallback.c: Use 'ucontext_t' rather than
571         'struct ucontext'.
572
573 2004-01-03  Steven Bosscher  <stevenb@suse.de>
574
575         * passes.c (rest_of_compilation): Don't run regmove if only
576         flag_expensive_optimizations, require flag_regmove instead.
577
578 2005-01-03  Eric Botcazou  <ebotcazou@libertysurf.fr>
579
580         * config/sparc/litecoff.h (TARGET_OS_CPP_BUILTINS): Do not
581         register "sparc".
582         * config/sparc/sysv4-only.h (TARGET_OS_CPP_BUILTINS): Likewise.
583         * config/sparc/rtemself.h (TARGET_SUB_OS_CPP_BUILTINS): Likewise.
584         * config/sparc/sol2-64.h (TARGET_SUB_OS_CPP_BUILTINS): Delete.
585         * config/sparc/sp64-elf.h (TARGET_SUB_OS_CPP_BUILTINS): Likewise.
586
587 2005-01-03  Richard Henderson  <rth@redhat.com>
588
589         * config/ia64/ia64.c (TARGET_VECTOR_MODE_SUPPORTED_P): New.
590         (ia64_const_ok_for_letter_p): New.
591         (ia64_const_double_ok_for_letter_p): New.
592         (ia64_extra_constraint): New.
593         (ia64_expand_vecint_compare): New.
594         (ia64_expand_vcondu_v2si): New.
595         (ia64_expand_vecint_cmov): New.
596         (ia64_expand_vecint_minmax): New.
597         (ia64_print_operand): Add 'v'.
598         (ia64_preferred_reload_class): New.
599         (ia64_vector_mode_supported_p): New.
600         * config/ia64/ia64.h (UNITS_PER_SIMD_WORD): New.
601         (PREFERRED_RELOAD_CLASS): Move to function.
602         (CONST_OK_FOR_LETTER_P): Move to function.
603         (CONST_DOUBLE_OK_FOR_LETTER_P): Move to function.
604         (CONSTRAINT_OK_FOR_Q, CONSTRAINT_OK_FOR_R): Remove.
605         (CONSTRAINT_OK_FOR_S, CONSTRAINT_OK_FOR_T): Remove.
606         (EXTRA_CONSTRAINT): Move to function.
607         * config/ia64/ia64.md: Include vect.md.
608         (itanium_class): Add mmalua.
609         (type): Handle it.
610         * config/ia64/itanium1.md (1_mmalua): New.  Add it to bypasses.
611         (1b_mmalua): New.
612         * config/ia64/itanium2.md (2_mmalua, 2b_mmalua): Similarly.
613         * config/ia64/predicates.md (gr_reg_or_0_operand): Accept any
614         CONST0_RTX.
615         (const_int_2bit_operand): New.
616         (fr_reg_or_0_operand): New.
617         * config/ia64/ia64-modes.def: Add vector modes.
618         * config/ia64/ia64-protos.h: Update.
619         * config/ia64/vect.md: New file.
620
621 2005-01-03  Richard Henderson  <rth@redhat.com>
622
623         * simplify-rtx.c (simplify_binary_operation): Handle VEC_CONCAT.
624
625 2005-01-03  Uros Bizjak  <uros@kss-loka.si>
626
627         PR target/19236
628         * config/i386/i386.c (log1psf2): Change mode of operands[0,1]
629         to SFmode.
630         (log1pdf2): Change mode of operands[0,1] to DFmode.
631
632 2005-01-03  Eric Botcazou  <ebotcazou@libertysurf.fr>
633
634         * config/sparc/sparc.h (SPARC_RELAXED_ORDERING): Define to false.
635         * config/sparc/linux.h (SPARC_RELAXED_ORDERING): Define to true.
636         * config/sparc/linux64.h (SPARC_RELAXED_ORDERING): Likewise.
637         * config/sparc/sparc.c (TARGET_RELAXED_ORDERING): Define to
638         SPARC_RELAXED_ORDERING.
639
640 2005-01-03  Richard Henderson  <rth@redhat.com>
641             Uros Bizjak  <uros@kss-loka.si>
642
643         PR target/14631
644         * config/i386/i386.c (ix86_expand_builtin): [IX86_BUILTIN_PINSRW,
645         IX86_BUILTIN_PINSRW128]: Fix wrong selector range in error message.
646         * config/i386/i386.md (mmx_pinsrw, sse2_pinsrw): Fix selector
647         handling.
648         (*mmx_pinsrw, *sse2_pinsrw): New patterns.
649         * config/i386/i386/predicates.md (const_pow2_1_to_8_operand,
650         const_pow2_1_to_128_operand): New predicates.
651
652 2005-01-02  Greg McGary  <greg@mcgary.org>
653
654         * tree-mudflap.c (mf_varname_tree): decl_printable_name handles
655         anonymous decls.
656         (mf_xform_derefs_1) [RESULT_DECL, STRING_CST]: Handle as innermost
657         object.  [ptr_type]: Remove unused variable.
658         Remember nearest addressable array-element or record-component
659         when checking bitfield components.  Tolerate empty BIND_EXPR.
660
661 2005-01-01  Richard Henderson  <rth@redhat.com>
662
663         * tree-vectorizer.c (vect_analyze_offset_expr): Strip conversions
664         that don't narrow the value.  Fail for other conversions.
665
666 2005-01-01  Richard Henderson  <rth@redhat.com>
667
668         PR c/19031
669         * c-decl.c (pop_file_scope): Call maybe_apply_pending_pragma_weaks.
670         * c-lang.c (finish_file): Don't do it here.
671         * objc/objc-act.c (objc_finish_file): Likewise.
672
673         * cgraph.c (decl_assembler_name_equal): New.
674         (cgraph_node_for_asm, cgraph_varpool_node_for_asm): New.
675         (cgraph_varpool_node): Actually link up cgraph_varpool_nodes.
676         * cgraph.h (struct cgraph_varpool_node): Add next.
677         (cgraph_node_for_asm, cgraph_varpool_node_for_asm): Declare.
678         * varasm.c (assemble_alias): Mark the target as needed.
679
680 2005-01-01  Andrew Pinski  <pinskia@physics.uc.edu>
681
682         PR middle-end/19221
683         * function.c (get_arg_pointer_save_area): Use entry_of_function
684         instead of get_insns.
685
686 2005-01-01  Roger Sayle  <roger@eyesopen.com>
687             Andrew Pinski  <pinskia@physics.uc.edu>
688             James E. Wilson  <wilson@specifixinc.com>
689
690         PR rtl-optimization/12092
691         * loop.c (emit_prefetch_instructions): Do nothing if PREFETCH_BLOCK
692         is zero.
693
694 2005-01-01  Roger Sayle  <roger@eyesopen.com>
695             Olivier Hainque  <hainque@act-europe.fr>
696
697         * tree.c (int_fits_type_p): A narrower type always fits in a
698         wider one, except for negative values into unsigned types.
699
700 2005-01-01  Roger Sayle  <roger@eyesopen.com>
701
702         * tree.c (int_fits_type_p): Compare the result of force_fit_type
703         with the original constant rather than require TREE_OVERFLOW.
704
705 2005-01-01  Steven Bosscher  <stevenb@suse.de>
706
707         PR middle-end/17544
708         * c-decl.c (finish_function): If compiling C99, annotate the
709         compiler generated return with the current file name and line 0.
710         * tree-cfg.c (remove_useless_stmts_warn_notreached): Only warn if
711         the source line is greater than 0.
712         (remove_bb): Likewise.
713
714 See ChangeLog.12 for earlier changes.