OSDN Git Service

* config/i386/i386.md (sse_loadhps splitter): Fix operand number typo.
[pf3gnuchains/gcc-fork.git] / gcc / ChangeLog
1 2005-01-07  Richard Henderson  <rth@redhat.com>
2
3         * config/i386/i386.md (sse_loadhps splitter): Fix operand number typo.
4
5 2005-01-07  Richard SAndiford  <rsandifo@redhat.com>
6
7         * tree.h (IS_EXPR_CODE_CLASS): Use a straight-forward range check.
8
9 2005-01-07  Jakub Jelinek  <jakub@redhat.com>
10
11         PR tree-optimization/19283
12         * fold-const.c (fold_widened_comparison): Return NULL if shorter_type
13         is not shorter than the original type.
14
15         PR rtl-optimization/19012
16         * config/i386/i386.md (addqi_1_slp): Set memory attribute.
17
18         PR rtl-optimization/18861
19         * cfgbuild.c (BLOCK_USED_BY_TABLEJUMP): Define.
20         (FULL_STATE): Define.
21         (mark_tablejump_edge): New function.
22         (purge_dead_tablejump_edges): New function.
23         (find_bb_boundaries): Use it.
24
25         PR tree-optimization/18828
26         * builtins.c (expand_builtin_next_arg): Remove argument and all
27         the argument checking.
28         (expand_builtin): Adjust caller.
29         (expand_builtin_va_start): Likewise.  Remove error for too many
30         arguments.
31         (fold_builtin_next_arg): Issue error for too many arguments.
32         After checking arguments, replace them with magic arguments that
33         prevent further checking of the args.
34
35 2005-01-06  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
36
37         * pa64-hpux.h (STARTFILE_SPEC): Fix typo in spec.
38
39 2005-01-06  Roger Sayle  <roger@eyesopen.com>
40
41         PR target/6077
42         * gcc.c (input_suffix_matches): Tweak the semantics of %{.s:...}
43         and %{.S:...} (and their negative variants) to test whether the
44         input file is assembler or pre-processed-assembler independent of
45         the actual filename extension.
46
47 2005-01-06  Roger Sayle  <roger@eyesopen.com>
48
49         * simplify-rtx.c (simplify_subreg): Simplify truncations of shifts
50         of sign or zero extended values.
51
52 2005-01-06  Geoffrey Keating  <geoffk@apple.com>
53
54         * c-cppbuiltin.c (builtin_define_float_constants): Set __*_EPSILON__
55         for IBM long double format correctly.
56
57 2005-01-06  Daniel Berlin <dberlin@dberlin.org>
58         
59         Fix PR tree-optimization/18792
60
61         * tree-data-ref.c (build_classic_dist_vector): Change first_loop
62         to first_loop_depth, and use loop depth instead of loop number.
63         (build_classic_dir_vector): Ditto.
64         (compute_data_dependences_for_loop): Use depth, not loop number.
65         * tree-loop-linear.c (try_interchange_loops): Use loop depth, not loop 
66         number. Pass in loops, instead of loop numbers.
67         (gather_interchange_stats): Ditto.
68         (linear_transform_loops): Ditto.
69
70 2005-01-06  Richard Sandiford  <rsandifo@redhat.com>
71
72         PR rtl-opt/13299
73         * loop.c (get_monotonic_increment, biased_biv_fits_mode_p,
74         biv_fits_mode_p, extension_within_bounds_p): New functions.
75         (check_ext_dependent_givs): Use them.
76
77 2005-01-06  Roger Sayle  <roger@eyesopen.com>
78
79         * cfgrtl.c (rtl_delete_block): A basic block may be followed by
80         more than one barrier, in which case we should delete them all.
81
82 2005-01-06  Tobias Schlueter  <tobias.schlueter@physik.uni-muenchen.de>
83
84         * gcc.c (process_command): Change year in 'gcc --version' to 2005.
85
86 2005-01-05  Daniel Berlin  <dberlin@dberlin.org>
87         
88         Fix PR middle-end/19286
89         Fix PR debug/19267
90         * dwarf2out.c (gen_subprogram_die): If we've already tried to
91         output this subprogram, simply ignore this attempt to do it again.
92         (add_abstract_origin_attribute): Don't abort trying to add the abstract
93         origin attribute if it's not possible.
94         (gen_block_die): Don't ignore subblocks of "unused" blocks.
95         (decls_for_scope): Ditto.
96         * gimple-low.c (mark_blocks_with_used_subblocks): Remove.
97         (mark_used_blocks): Don't call mark_blocks_with_used_subblocks.
98         
99 2005-01-05  Richard Henderson  <rth@redhat.com>
100
101         PR target/11327
102         * config/i386/i386.c (BUILTIN_DESC_SWAP_OPERANDS): New.
103         (bdesc_2arg): Use it.
104         (ix86_expand_binop_builtin): Force operands into registers
105         when optimizing.
106         (ix86_expand_unop_builtin, ix86_expand_unop1_builtin,
107         ix86_expand_sse_compare, ix86_expand_sse_comi, 
108         ix86_expand_builtin): Likewise.
109
110 2005-01-05  Richard Henderson  <rth@redhat.com>
111
112         * config/ia64/ia64.c (rtx_needs_barrier): Handle CONST_VECTOR
113         and VEC_SELECT.
114         * config/ia64/vect.md (mulv8qi3): Re-implement with mix_[rl].
115         (mulv4hi3): Set itanium_class mmmul.
116         (fpack_sfxf, fpack_xfsf, fpack_xfxf): Remove.
117         (fpack): Rename from fpack_sfsf.
118
119 2005-01-05  Richard Henderson  <rth@redhat.com>
120
121         PR rtl-opt/10692
122         * reload1.c (do_input_reload): Restrict the optimization deleteing
123         a previous output reload to RELOAD_FOR_INPUT.
124
125 2005-01-05  Steven Bosscher  <stevenb@suse.de>
126
127         * combine.c (expand_compound_operation)  <ZERO_EXTRACT>: Add
128         comment that we fall through after case.
129         (mark_used_regs_combine): Don't expect a SIGN_EXTRACT in a SET_DEST.
130         (distribute_links): Likewise.
131         * cse.c (cse_insn): Likewise.
132         * cselib.c (cselib_invalidate_mem): Likewise.
133         * df.c: Update comments at the top of the file.
134         (read_modify_subreg_p): Update comments here too.
135         (df_def_record_1): Don't expect a SIGN_EXTRACT in a SET_DEST.
136         * flow.c (mark_set_1): Likewise.
137         (mark_used_regs): Likewise.
138         * gcse.c (mems_conflict_for_gcse_p): Likewise.
139         (canon_list_insert): Likewise.
140         (mark_set): Likewise.
141         (try_replace_reg): Likewise.
142         (store_killed_in_insn): Likewise.
143         * loop.c (count_one_set): Likewise.
144         (basic_induction_var): Likewise.
145         * postreload-gcse.c (find_mem_conflicts): Likewise.
146         * postreload.c (reload_combine_note_store): Likewise.
147         (move2add_note_store): Likewise.
148         * reload.c (find_equiv_reg): Likewise.
149         (mark_referenced_resources): Likewise.
150         * rtlanal.c (set_noop_p): Likewise.
151         (note_stores): Likewise.
152         (note_uses): Likewise.
153         * sched-deps.c (sched_analyze_1): Likewise.
154         * sched-rgn.c (check_live_1): Likewise.
155         (update_live_1): Likewise.
156         * config/i860/i860.c: Likewise.
157
158         * rtl.dec (SIGN_EXTRACT): Document that this cannot appear as
159         an lvalue.
160         (ZERO_EXTRACT): Mention that this one can be an lvalue.
161
162         * doc/rtl.texi: Update documentation for bit-fields and SET.
163
164 2005-01-05  Roger Sayle  <roger@eyesopen.com>
165
166         * ifcvt.c (find_if_case_1): Revert 2005-01-04 change.
167
168 2005-01-05  Jan Hubicka  <jh@suse.cz>
169             Richard Henderson  <rth@redhat.com>
170
171         PR target/18910
172         * config/i386/i386.c (ix86_expand_move): Handle tls symbols 
173         with an offset.
174
175 2005-01-05  Richard Henderson  <rth@redhat.com>
176
177         PR target/12902
178         * config/i386/i386.md (sse_movhps, sse_movlps): Remove.
179         (sse_shufps): Change operand 3 to const_int_operand.
180         (sse2_storelps): Fix typo in template.
181         (sse_storehps, sse_loadhps, sse_storelps, sse_loadlps): New.
182         * config/i386/i386.c (ix86_expand_vector_move_misalign): Use them.
183         (ix86_expand_builtin): Likewise.
184
185 2005-01-05  Julian Brown  <julian@codesourcery.com>
186
187         * config/arm/arm.c (arm_return_in_memory): Treat complex types
188         as aggregates for AAPCS ABIs.
189
190 2005-01-05  Stan Shebs  <shebs@apple.com>
191
192         * unwind-dw2-fde-darwin.c (examine_objects): Use 64-bit
193         Mach-O getters if ppc64.
194         * config/darwin.c (darwin_asm_output_dwarf_delta): Obey
195         size argument.
196         * config/darwin.h (ASM_PREFERRED_EH_DATA_FORMAT): Use
197         signed four-byte field for global code case.
198         (STARTFILE_SPEC): Avoid crt2.o for 64-bit compilation.
199
200 2005-01-05  Roger Sayle  <roger@eyesopen.com>
201
202         PR middle-end/19100
203         * c-common.c: Include real.h.
204         (c_common_truthvalue_conversion): Avoid destructively modifying expr.
205         Correctly handle TREE_CONSTANT_OVERFLOW for INTEGER_CST.
206         Correctly handle TREE_CONSTANT_OVERFLOW and NaNs for REAL_CST.
207         * Makefile.in (c-common.o): Update dependencies.
208
209 2005-01-05  Joseph S. Myers  <joseph@codesourcery.com>
210
211         * c-parse.in (asm_string): Add trailing semicolon.
212
213 2005-01-05  Joseph S. Myers  <joseph@codesourcery.com>
214
215         * c-parse.in (asm_string): New.  Don't allow wide strings in
216         'asm'.
217         (simple_asm_expr, asm_argument, asm_operand, asm_clobbers): Use
218         asm_string instead of STRING.
219
220 2005-01-05  Joseph S. Myers  <joseph@codesourcery.com>
221
222         * c-typeck.c (constructor_no_implicit): Remove.
223         (set_designator, process_init_element): Don't check
224         constructor_no_implicit.
225
226 2005-01-05  J"orn Rennecke <joern.rennecke@st.com>
227             Kaz Kojima  <kkojima@gcc.gnu.org>
228
229         PR target/16482
230         * lcm.c (create_pre_exit): New.
231         (optimize_mode_switching): In MODE_ENTRY / MODE_EXIT case, set
232         ENTRY_EXIT_EXTRA to 3.  Use create_pre_exit.
233
234 2004-01-05  Richard Earnshaw  <rearnsha@arm.com>
235
236         * arm.h (TARGET_OPTIONS): Correctly record -mhard-float and
237         -msoft-float in target_float_switch.
238         * arm.c (arm_override_options): Fix processing of target_float_switch.
239
240 2004-01-05  Richard Earnshaw  <rearnsha@arm.com>
241
242         * arm/vfp.md (arm_movsi_vfp): Hide VFP register classes from register
243         preferencing.
244
245 2004-01-05  Uros Bizjak  <uros@kss-loka.si>
246
247         * doc/invoke.texi (Intel 386 and AMD x86-64 Options):
248         Replace i387 with 'i386 compiler' in -mfpmath=sse option.
249
250 2005-01-04  Roger Sayle  <roger@eyesopen.com>
251
252         * ifcvt.c (find_if_case_1): Avoid creating an empty forwarder block,
253         if deleting the then-block allows the test-block to fallthru to the
254         else-block.
255
256 2005-01-04  Andrew Pinski  <pinskia@physics.uc.edu>
257
258         PR c/19152
259         * c-decl.c (diagnose_mismatched_decls): Accept "extern inline" declared
260         after the full declaration if the are in two different TUs.
261
262 2005-01-04  Richard Henderson  <rth@redhat.com>
263
264         PR tree-opt/19158
265         * tree-sra.c (generate_one_element_init): Just
266         call gimplify_and_add.
267         (generate_element_init): Record the
268         new referenced variables and mark them for renaming
269         and split out to ...
270         (generate_element_init_1): This.
271         (scalarize_init): Don't call push_gimplify_context/
272         pop_gimplify_context.
273
274 2005-01-04  Geoffrey Keating  <geoffk@apple.com>
275
276         * toplev.c (get_src_pwd): Handle failure of getpwd().
277
278 2005-01-04  Roger Sayle  <roger@eyesopen.com>
279
280         * fold-const.c (fold_single_bit_test): Delete unreachable handling
281         of TRUTH_NOT_EXPR.
282         (fold): Don't call fold_single_bit_test with a TRUTH_NOT_EXPR, as
283         all the cases handled by it are inverted by invert_truthvalue.
284
285 2005-01-04  Eric Botcazou  <ebotcazou@libertysurf.fr>
286
287         * config/sparc/sparc.md (save_register_windowdi): Add missing mode.
288         (save_register_windowsi): Likewise.
289
290 2005-01-04  Richard Henderson  <rth@redhat.com>
291
292         * tree-mudflap.c (mf_varname_tree): Fix thinko setting declname.
293
294 2005-01-04  Uros Bizjak  <uros@kss-loka.si>
295
296         PR middle-end/17767
297         * cse.c (fold_rtx) [RTX_COMPARE, RTX_COMM_COMPARE]: Don't attempt
298         any simplifications of vector mode comparison operators.
299         * simplify-rtx.c (simplify_relational_operation): Fix variable name.
300
301 2005-01-04  Paolo Bonzini  <bonzini@gnu.org>
302             Devang Patel  <dpatel@apple.com>
303
304         PR tree-optimization/18308
305         * tree-if-conv.c (add_to_dst_predicate_list): Gimplify
306         the operands before creating a new expression.
307         * dojump.c (do_jump): Make drop_through_label available
308         for all cases.  Add expansion of COND_EXPR.
309
310 2005-01-04  Ira Rosen  <irar@il.ibm.com>
311
312         * tree-vectorizer.c (vect_analyze_offset_expr): Test for
313         INTEGER_CST instead of TREE_CONSTANT.
314         (vect_gen_niters_for_prolog_loop): Test for INTEGER_CST
315         instead of TREE_CONSTANT.
316         (vect_analyze_pointer_ref_access): Test for INTEGER_CST
317         instead of TREE_CONSTANT.
318
319 2005-01-04  Eric Botcazou  <ebotcazou@libertysurf.fr>
320
321         * tree-eh.c (replace_goto_queue): Return early if the queue is empty.
322
323 2005-01-04  Uros Bizjak  <uros@kss-loka.si>
324
325         PR target/19240
326         * config/i386/i386.md (*fop_df_1_i387): Disable for TARGET_SSE_MATH.
327         (*fop_df_1_i387): Disable for (TARGET_SSE2 && TARGET_SSE_MATH).
328
329 2005-01-03  Richard Henderson  <rth@redhat.com>
330
331         * fold-const.c (force_fit_type): Cope with types larger than 2 HWI.
332         (fold_convert_const_int_from_int, fold_convert_const_int_from_real,
333         fold_convert_const_real_from_real): Split out from ...
334         (fold_convert_const): ... here.
335
336 2005-01-03  Richard Henderson  <rth@redhat.com>
337
338         PR target/19235
339         * config/i386/i386.md (movdi_2): Separate SSE1 and SSE2 alternatives.
340         (mov<MMXMODEI>_internal): Likewise.
341         (movdf_nointeger): Prefer Y while not preferring, but allowing, x.
342         Add V2SF case; use it for SSE1; don't use TI.
343         (movdf_integer): Likewise.
344         (mov<SSEMODEI>_internal, movti_internal): Force V4SF for SSE1.
345
346 2005-01-03  Ira Rosen  <irar@il.ibm.com>
347
348         * tree-vectorizer.c (vect_strip_conversions): New function.
349         (vect_analyze_offset_expr): Call vect_strip_conversions. Add
350         check for binary class. 
351
352 2005-01-03  Daniel Berlin  <dberlin@dberlin.org>
353
354         Fix PR debug/17924
355         Fix PR debug/19191
356         * dwarf2out.c (block_ultimate_origin): Follow decl origin if origin
357         is a decl.
358         * gimple-low.c (mark_blocks_with_used_vars): New function.
359         (mark_blocks_with_used_subblocks): Ditto.
360         (mark_used_blocks): Ditto.
361         (pass_mark_used_blocks): New pass.
362         * tree-inline.c: Include debug.h.
363         (expand_call_inline): Call outlining_inline_function here.
364         * tree-optimize.c (init_tree_optimization_passes): Add
365         pass_mark_used_blocks. 
366         * tree-pass.h (pass_mark_used_blocks): New.
367         * Makefile.in (tree-inline.o): Add debug.h dependency.
368
369 2005-01-03  Geoffrey Keating  <geoffk@apple.com>
370
371         * config/darwin.c (darwin_handle_weak_import_attribute): Permit
372         VAR_DECLs to have weak_import attribute.
373
374         * config/rs6000/darwin-fallback.c: Use 'ucontext_t' rather than
375         'struct ucontext'.
376
377 2004-01-03  Steven Bosscher  <stevenb@suse.de>
378
379         * passes.c (rest_of_compilation): Don't run regmove if only
380         flag_expensive_optimizations, require flag_regmove instead.
381
382 2005-01-03  Eric Botcazou  <ebotcazou@libertysurf.fr>
383
384         * config/sparc/litecoff.h (TARGET_OS_CPP_BUILTINS): Do not
385         register "sparc".
386         * config/sparc/sysv4-only.h (TARGET_OS_CPP_BUILTINS): Likewise.
387         * config/sparc/rtemself.h (TARGET_SUB_OS_CPP_BUILTINS): Likewise.
388         * config/sparc/sol2-64.h (TARGET_SUB_OS_CPP_BUILTINS): Delete.
389         * config/sparc/sp64-elf.h (TARGET_SUB_OS_CPP_BUILTINS): Likewise.
390
391 2005-01-03  Richard Henderson  <rth@redhat.com>
392
393         * config/ia64/ia64.c (TARGET_VECTOR_MODE_SUPPORTED_P): New.
394         (ia64_const_ok_for_letter_p): New.
395         (ia64_const_double_ok_for_letter_p): New.
396         (ia64_extra_constraint): New.
397         (ia64_expand_vecint_compare): New.
398         (ia64_expand_vcondu_v2si): New.
399         (ia64_expand_vecint_cmov): New.
400         (ia64_expand_vecint_minmax): New.
401         (ia64_print_operand): Add 'v'.
402         (ia64_preferred_reload_class): New.
403         (ia64_vector_mode_supported_p): New.
404         * config/ia64/ia64.h (UNITS_PER_SIMD_WORD): New.
405         (PREFERRED_RELOAD_CLASS): Move to function.
406         (CONST_OK_FOR_LETTER_P): Move to function.
407         (CONST_DOUBLE_OK_FOR_LETTER_P): Move to function.
408         (CONSTRAINT_OK_FOR_Q, CONSTRAINT_OK_FOR_R): Remove.
409         (CONSTRAINT_OK_FOR_S, CONSTRAINT_OK_FOR_T): Remove.
410         (EXTRA_CONSTRAINT): Move to function.
411         * config/ia64/ia64.md: Include vect.md.
412         (itanium_class): Add mmalua.
413         (type): Handle it.
414         * config/ia64/itanium1.md (1_mmalua): New.  Add it to bypasses.
415         (1b_mmalua): New.
416         * config/ia64/itanium2.md (2_mmalua, 2b_mmalua): Similarly.
417         * config/ia64/predicates.md (gr_reg_or_0_operand): Accept any
418         CONST0_RTX.
419         (const_int_2bit_operand): New.
420         (fr_reg_or_0_operand): New.
421         * config/ia64/ia64-modes.def: Add vector modes.
422         * config/ia64/ia64-protos.h: Update.
423         * config/ia64/vect.md: New file.
424
425 2005-01-03  Richard Henderson  <rth@redhat.com>
426
427         * simplify-rtx.c (simplify_binary_operation): Handle VEC_CONCAT.
428
429 2005-01-03  Uros Bizjak  <uros@kss-loka.si>
430
431         PR target/19236
432         * config/i386/i386.c (log1psf2): Change mode of operands[0,1]
433         to SFmode.
434         (log1pdf2): Change mode of operands[0,1] to DFmode.
435
436 2005-01-03  Eric Botcazou  <ebotcazou@libertysurf.fr>
437
438         * config/sparc/sparc.h (SPARC_RELAXED_ORDERING): Define to false.
439         * config/sparc/linux.h (SPARC_RELAXED_ORDERING): Define to true.
440         * config/sparc/linux64.h (SPARC_RELAXED_ORDERING): Likewise.
441         * config/sparc/sparc.c (TARGET_RELAXED_ORDERING): Define to
442         SPARC_RELAXED_ORDERING.
443
444 2005-01-03  Richard Henderson  <rth@redhat.com>
445             Uros Bizjak  <uros@kss-loka.si>
446
447         PR target/14631
448         * config/i386/i386.c (ix86_expand_builtin): [IX86_BUILTIN_PINSRW,
449         IX86_BUILTIN_PINSRW128]: Fix wrong selector range in error message.
450         * config/i386/i386.md (mmx_pinsrw, sse2_pinsrw): Fix selector
451         handling.
452         (*mmx_pinsrw, *sse2_pinsrw): New patterns.
453         * config/i386/i386/predicates.md (const_pow2_1_to_8_operand,
454         const_pow2_1_to_128_operand): New predicates.
455
456 2005-01-02  Greg McGary  <greg@mcgary.org>
457
458         * tree-mudflap.c (mf_varname_tree): decl_printable_name handles
459         anonymous decls.
460         (mf_xform_derefs_1) [RESULT_DECL, STRING_CST]: Handle as innermost
461         object.  [ptr_type]: Remove unused variable.
462         Remember nearest addressable array-element or record-component
463         when checking bitfield components.  Tolerate empty BIND_EXPR.
464
465 2005-01-01  Richard Henderson  <rth@redhat.com>
466
467         * tree-vectorizer.c (vect_analyze_offset_expr): Strip conversions
468         that don't narrow the value.  Fail for other conversions.
469
470 2005-01-01  Richard Henderson  <rth@redhat.com>
471
472         PR c/19031
473         * c-decl.c (pop_file_scope): Call maybe_apply_pending_pragma_weaks.
474         * c-lang.c (finish_file): Don't do it here.
475         * objc/objc-act.c (objc_finish_file): Likewise.
476
477         * cgraph.c (decl_assembler_name_equal): New.
478         (cgraph_node_for_asm, cgraph_varpool_node_for_asm): New.
479         (cgraph_varpool_node): Actually link up cgraph_varpool_nodes.
480         * cgraph.h (struct cgraph_varpool_node): Add next.
481         (cgraph_node_for_asm, cgraph_varpool_node_for_asm): Declare.
482         * varasm.c (assemble_alias): Mark the target as needed.
483
484 2005-01-01  Andrew Pinski  <pinskia@physics.uc.edu>
485
486         PR middle-end/19221
487         * function.c (get_arg_pointer_save_area): Use entry_of_function
488         instead of get_insns.
489
490 2005-01-01  Roger Sayle  <roger@eyesopen.com>
491             Andrew Pinski  <pinskia@physics.uc.edu>
492             James E. Wilson  <wilson@specifixinc.com>
493
494         PR rtl-optimization/12092
495         * loop.c (emit_prefetch_instructions): Do nothing if PREFETCH_BLOCK
496         is zero.
497
498 2005-01-01  Roger Sayle  <roger@eyesopen.com>
499             Olivier Hainque  <hainque@act-europe.fr>
500
501         * tree.c (int_fits_type_p): A narrower type always fits in a
502         wider one, except for negative values into unsigned types.
503
504 2005-01-01  Roger Sayle  <roger@eyesopen.com>
505
506         * tree.c (int_fits_type_p): Compare the result of force_fit_type
507         with the original constant rather than require TREE_OVERFLOW.
508
509 2005-01-01  Steven Bosscher  <stevenb@suse.de>
510
511         PR middle-end/17544
512         * c-decl.c (finish_function): If compiling C99, annotate the
513         compiler generated return with the current file name and line 0.
514         * tree-cfg.c (remove_useless_stmts_warn_notreached): Only warn if
515         the source line is greater than 0.
516         (remove_bb): Likewise.
517
518 See ChangeLog.12 for earlier changes.