2005-02-15 Daniel Berlin <dberlin@dberlin.org>
[official-gcc.git] / gcc / ChangeLog
blobe90c0306a3791ec5b377b19cfc4a161af24df314
1 2005-02-15  Daniel Berlin  <dberlin@dberlin.org>
3         * tree-vn.c (get_value_handle): Make sure that given an
4         is_gimple_min_invariant expression, we always return it.
6 2005-02-15  Kazu Hirata  <kazu@cs.umass.edu>
8         * passes.c (rest_of_handle_gcse): Fix a comment.
10 2005-02-15  Jeff Law  <law@redhat.com>
12         * gcse.c (canon_modify_mem_set_list_set): Kill unnecessary
13         bitmap.
14         (alloc_gcse_mem, free_gcse_mem): Corresponding changes.
15         (canon_list_insert, record_last_mem_set_info): Similarly.
16         (clear_modify_mem_tables): Similarly.
18 2005-02-15  Kazu Hirata  <kazu@cs.umass.edu>
20         * bitmap.c, bitmap.h, lambda-code.c, tree-dfa.c, tree-dump.c,
21         tree-dump.h, tree-ssa-loop-manip.c, value-prof.c,
22         config/mips/mips.md, config/rs6000/aix.h,
23         config/rs6000/beos.h, config/rs6000/sysv4.h: Update copyright.
25 2005-02-15  Richard Henderson  <rth@redhat.com>
27         * bb-reorder.c (find_traces_1_round): Force fallthru edge from a 
28         call to be best_edge.
30 2005-02-14  Kazu Hirata  <kazu@cs.umass.edu>
32         * basic-block.h: Adjust the prototype for find_basic_blocks.
33         * cfgbuild.c (find_basic_blocks): Remove unused arguments.
34         * passes.c (rest_of_handle_loop_optimize): Adjust the call to
35         find_basic_blocks.
37         * flow.c (recompute_reg_usage): Remove all arguments.
38         * passes.c (rest_of_compilation): Adjust the call to
39         recompute_reg_usage.
40         * rtl.h: Adjust the prototype for recompute_reg_usage.
42 2005-02-14  Daniel Berlin  <dberlin@dberlin.org>
43         
44         * tree-dump.c (dump_files): Update to reflect new member
45         of dump_file_info.
46         (dump_register): Add new argument.
47         Set glob name.
48         (dump_switch_p_1): Check against glob name if doglob was passed.
49         (dump_switch_p): Check against regular first, then glob if
50         we didn't have any hits on the dump name.
51         * tree-optimize.c (register_one_dump_file):
52         Pass in glob name as well.
53         * tree-pass.h (struct dump_file_info): Add glob
54         member.
56 2005-02-14  Joseph S. Myers  <joseph@codesourcery.com>
58         PR preprocessor/16323
59         * doc/invoke.texi: Document that -Wendif-labels is on by default.
61 2005-02-14  David Edelsohn  <edelsohn@gnu.org>
63         PR target/19019
64         * config/rs6000/rs6000.md (trunctfdf2): Change to define_expand.
65         (trunctfdf2_internal1): New.
66         (trunctfdf2_internal2): Renamed from trunctfdf2.
68 2005-02-14  Diego Novillo  <dnovillo@redhat.com>
70         PR tree-optimization/19853
71         * tree-dfa.c (add_referenced_var): Always examine DECL_INITIAL.
73 2005-02-14  Kazu Hirata  <kazu@cs.umass.edu>
75         * passes.c (rest_of_handle_loop_optimize): Remove calls to
76         delete_dead_jumptables and cleanup_cfg.
78 2005-02-14  Ulrich Weigand  <uweigand@de.ibm.com>
80         * reload.c (find_reloads): Swap address_reloaded flags when
81         swapping commutative operands.
83 2005-02-14  Sebastian Pop  <pop@cri.ensmp.fr>
85         * lambda-code.c (lambda_loopnest_to_gcc_loopnest, perfect_nestify):
86         Use standard_iv_increment_position for computing the bsi position
87         for create_iv.
88         * tree-ssa-loop-manip.c (create_iv): Add a comment on how to compute
89         the bsi position.
91 2005-02-13  Zdenek Dvorak  <dvorakz@suse.cz>
93         PR target/17428
94         * cfgrtl.c (safe_insert_insn_on_edge): Avoid extending
95         life range of hard registers.
96         * value-prof.c (insn_prefetch_values_to_profile): Only
97         scan normal insns.
99         * value-prof.c (rtl_find_values_to_profile): Do not look for values to
100         profile in libcalls.
102 2005-02-13  Nathan Sidwell  <nathan@codesourcery.com>
104         * bitmap.h (bitmap_and_compl_into): Return bool.
105         * bitmap.c (bitmap_and_compl_into): Return changed flag.
107 2005-02-13  James A. Morrison  <phython@gcc.gnu.org>
109         PR tree-optimization/19944
110         * fold-const.c (fold): Re-add ABS_EXPR folding.
112 2005-02-13  David Edelsohn  <edelsohn@gnu.org>
114         PR target/19019
115         * config/rs6000/aix.h ({TARGET,MASK}_XL_CALL): Rename to
116         {TARGET,MASK}_XL_COMPAT.
117         (SUBTARGET_SWITCHES): Rename xl-call to xl-compat.  Use
118         MASK_XL_COMPAT.
119         * config/rs6000/beos.h ({TARGET,MASK}_XL_CALL): Remove.
120         * config/rs6000/rs6000.c (function_arg): Change TARGET_XL_CALL to
121         TARGET_XL_COMPAT.
122         (rs6000_arg_partial_bytes): Same.
123         (rs6000_generate_compare): Generate PARALLEL for compare if TFmode
124         and XL compatibility enabled.
125         * config/rs6000/rs6000.h (TARGET_XL_CALL): Rename to TARGET_XL_COMPAT.
126         * config/rs6000/rs6000.md (cmptf_internal1): Add !TARGET_XL_COMPAT
127         test to final condition.
128         (cmptf_internal2): New.
129         * doc/invoke.texi (RS/6000 Subtarget Options): Change xl-call to
130         xl-compat.  Add TFmode information to description.
132 2005-02-13  Kazu Hirata  <kazu@cs.umass.edu>
134         * flags.h, read-rtl.c, tree-ssa-live.h: Update copyright.
136 2005-02-13  Jason Merrill  <jason@redhat.com>
138         [reverted temporarily]
139         PR mudflap/19319
140         * gimplify.c (gimplify_modify_expr_rhs) [CALL_EXPR]: Make return
141         slot explicit.
143         PR c++/16405
144         * fold-const.c (fold_indirect_ref_1): Split out from...
145         (build_fold_indirect_ref): Here.
146         (fold_indirect_ref): New fn.
147         * tree.h: Declare it.
148         * gimplify.c (gimplify_compound_lval): Call fold_indirect_ref.
149         (gimplify_modify_expr_rhs): Likewise.
150         (gimplify_expr): Likewise.
152 2005-02-13  James A. Morrison  <phython@gcc.gnu.org>
154         PR tree-optimization/14303
155         PR tree-optimization/15784
156         * fold-const.c (fold): Fold ABS_EXPR<x> >= 0 to true, when possible.
157         Fold ABS_EXPR<x> < 0 to false.  Fold ABS_EXPR<x> == 0 to x == 0 and
158         ABS_EXPR<x> != 0 to x != 0.
160 2005-02-12  Kazu Hirata  <kazu@cs.umass.edu>
162         * c-tree.h, combine.c, expmed.c, flow.c, libgcc2.c,
163         simplify-rtx.c, tree-ssa-live.h: Fix comment typos.  Follow
164         spelling conventions.
166         * passes.c (rest_of_handle_gcse): Don't run cse_main and
167         delete_trivially_dead_insns too many times.
169         * passes.c (rest_of_handle_gcse): Remove dead assignments to
170         tem and tem2.
172 2005-02-12  Ira Rosen  <irar@il.ibm.com>
174         * tree-vectorizer.c (vect_get_base_and_offset): Remove.
175         (vect_is_simple_iv_evolution): Remove redundant parameter
176         and step check.
177         (vect_analyze_scalar_cycles): Call vect_is_simple_iv_evolution
178         without last parameter.
179         (vect_analyze_pointer_ref_access): Get access_fn as parameter.
180         Return pointer step. Call vect_is_simple_iv_evolution without
181         last parameter. Check only that the step is multiple of size
182         type. Remove stmt_vinfo updates.
183         (vect_get_memtag_and_dr): Remove.
184         (vect_get_memtag): New function.
185         (vect_address_analysis): New function.
186         (vect_object_analysis): New function.
187         (vect_analyze_data_refs): Call vect_object_analysis and
188         vect_get_memtag. Update stmt_vinfo fields.
190 2005-02-12  Ira Rosen  <irar@il.ibm.com>
192         * tree-data-ref.c (array_base_name_differ_p): Check that the bases
193         exist and are objects. Remove checks for pointer.
194         * tree-vectorizer.c (vect_create_addr_base_for_vector_ref): Use
195         STMT_VINFO_VECT_DR_BASE_ADDRESS instead of DR_BASE_NAME.
196         (vect_create_data_ref_ptr): Likewise.
197         (vect_base_addr_differ_p): New function.
198         (vect_analyze_data_ref_dependence): Call vect_base_addr_differ_p.
199         (vect_analyze_pointer_ref_access): Add output parameter - ptr_init.
200         Don't set the DR_BASE_NAME field of data-ref.
201         (vect_get_memtag_and_dr): Use ptr_init instead of DR_BASE_NAME.
203 2005-02-12  Uros Bizjak  <uros@kss-loka.si>
205         * optabs.h (enum optab_index): Add new OTI_ldexp.
206         (ldexp_optab): Define corresponding macro.
207         * optabs.c (init_optabs): Initialize ldexp_optab.
208         * genopinit.c (optabs): Implement ldexp_optab using ldexp?f3
209         patterns.
210         * builtins.c (expand_builtin_mathfn_2): Handle BUILT_IN_LDEXP{,F,L}
211         using ldexp_optab.
212         (expand_builtin): Expand BUILT_IN_LDEXP{,F,L} using
213         expand_builtin_mathfn_2 if flag_unsafe_math_optimizations is set.
215         * config/i386/i386.md (ldexpsf3, ldexpdf3, ldexpxf3): New expanders
216         to implement ldexpf, ldexp and ldexpl built-ins as inline x87
217         intrinsics.
219 2005-02-12  Ira Rosen  <irar@il.ibm.com>
221         * tree-vectorizer.h (struct _stmt_vec_info): Rename a field: base
222         to base_address.
223         * tree-vectorizer.c (new_stmt_vec_info): Rename the above field of
224         stmt_vec_info.
225         (vect_get_base_and_offset): Always return an address.
226         (vect_create_addr_base_for_vector_ref): Remove treatment for
227         different data reference types.
228         (vect_compute_data_ref_alignment): Rename base to base_address in
229         stmt_vec_info. Get the object in order to force its alignment.
230         (vect_get_memtag_and_dr): Rename base to base_address in
231         stmt_vec_info. Extract the object for memtag analysis.
233 2005-02-12  Hans-Peter Nilsson  <hp@axis.com>
235         PR regression/19898.
236         * config/cris/cris.c (cris_notice_update_cc): When testing if insn
237         changes cc_status, use apply modified_in_p to part of cc_status
238         and insn, not cris_reg_overlap_mentioned_p on SET_DEST of insn
239         body.
241 2005-02-11  Richard Henderson  <rth@redhat.com>
243         * tree-complex.c (expand_complex_libcall): New.
244         (expand_complex_multiplication): Use it for c99 compliance.
245         (expand_complex_division): Likewise.
246         * fold-const.c (fold_complex_add, fold_complex_mult): New.
247         (fold): Call them.
248         * builtins.c (built_in_names): Remove const.
249         * tree.c (build_common_builtin_nodes): Build complex arithmetic
250         builtins.
251         * tree.h (BUILT_IN_COMPLEX_MUL_MIN, BUILT_IN_COMPLEX_MUL_MAX): New.
252         (BUILT_IN_COMPLEX_DIV_MIN, BUILT_IN_COMPLEX_DIV_MAX): New.
253         (built_in_names): Remove const.
254         * c-common.c (c_common_type_for_mode): Handle complex modes.
255         * flags.h, toplev.c (flag_complex_method): Rename from
256         flag_complex_divide_method.
257         * libgcc2.c (__divsc3, __divdc3, __divxc3, __divtc3,
258         __mulsc3, __muldc3, __mulxc3, __multc3): New.
259         * libgcc2.h: Declare them.
260         * libgcc-std.ver: Export them.
261         * mklibgcc.in (lib2funcs): Build them.
263 2005-02-11  Steven Bosscher  <stevenb@suse.de>
265         PR tree-optimization/19876
266         Partially revert my change from 2005-01-14
267         * tree-ssa-pre.c (compute_antic_aux): Make recursive once again...
268         (compute_antic): ...and remove the loop here.
270 2005-02-11  Jakub Jelinek  <jakub@redhat.com>
272         PR middle-end/19858
273         * fold-const.c (make_bit_field_ref): If bitpos == 0 and bitsize
274         is number of inner's bits, avoid creating a BIT_FIELD_REF.
276         * config/rs6000/sysv4.h (ENDFILE_LINUX_SPEC): Use crtendS.o instead of
277         crtend.o if -pie.  Use %{x:a;:b} spec syntax.
279 2005-02-11  Daniel Jacobowitz  <dan@codesourcery.com>
281         * config/mips/linux-unwind.h (mips_fallback_frame_state): Adjust
282         offsets for the big-endian 32-bit case.
284 2005-02-11  Joseph S. Myers  <joseph@codesourcery.com>
286         * config/ia64/hpux.h (WCHAR_TYPE, WCHAR_TYPE_SIZE): Define.
288 2005-02-11  Dale Johannesen  <dalej@apple.com>
290         * cselib.c (cselib_process_insn):  Clear out regs where
291         HARD_REGNO_CALL_PART_CLOBBERED is true at a call.
292         * reload.c (find_equiv_reg): Ditto.
294 2005-02-11  Ian Lance Taylor  <ian@airs.com>
296         * read-rtl.c (read_rtx_1): Give fatal error if we see a vector
297         with no elements.
299         * tree.c (build_function_type_list): Work correctly if there are
300         no arguments.
302 2005-02-11  Ulrich Weigand  <uweigand@de.ibm.com>
304         * config/s390/s390.md ("*cmpdi_cct", "*cmpsi_cct", "*cmpdi_ccs",
305         "*cmpsi_ccs"): Use %h instead of %c to print immediate operand.
306         ("*zero_extendhisi2_64", "*zero_extendhisi2_31"): Choose based on
307         TARGET_ZARCH instead of TARGET_64BIT.
309 2005-02-11  Ralf Corsepius  <ralf.corsepius@rtems.org>
311         * config/rs6000/t-rtems:
312         (MULTILIB_OPTIONS): Remove mcpu=602.
313         (MUTLILIB_DIRNAMES): Remove m602.
314         (MULTILIB_MATCHES): Add ${MULTILIB_MATCHES_FLOAT}. 
315         Let mcpu=602 match mcpu=603.
316         (MULTILIB_NEW_EXCEPTIONS_ONLY): Add mcpu=601, mcpu=602, mcpu=m603.
318 2005-02-10  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
320         * pa/linux-unwind.h (pa32_fallback_frame_state): Handle misaligned
321         signal trampolines.
323 2005-02-10  David Daney  <ddaney@avtrex.com>
325         * config/alpha/linux-unwind.h: Add exception clause to copyright.
326         * config/i386/linux-unwind.h: Likewise.
327         * config/ia64/linux-unwind.h: Likewise.
328         * config/mips/linux-unwind.h: Likewise.
329         * config/pa/linux-unwind.h: Likewise.
330         * config/rs6000/linux-unwind.h: Likewise.
331         * config/s390/linux-unwind.h: Likewise.
332         * config/sh/linux-unwind.h: Likewise.
333         * config/sparc/linux-unwind.h: Likewise.
335 2005-02-10  Steven Bosscher  <stevenb@suse.de>
337         PR tree-optimization/17549
338         * tree-outof-ssa.c (find_replaceable_in_bb): Do not allow
339         TER to replace a DEF with its expression if the DEF and the
340         rhs of the expression we replace into have the same root
341         variable.
343 2005-02-10  Richard Sandiford  <rsandifo@redhat.com>
345         * config/mips/mips.md: Fix the placement of the match_scratch in the
346         lea64 peephole2.
348 2005-02-10  Kazu Hirata  <kazu@cs.umass.edu>
350         * cse.c, tree-ssa-loop-ivopts.c, config/rs6000/linux-unwind.h:
351         Fix comment typos.
353 2005-02-10  Zdenek Dvorak  <dvorakz@suse.cz>
355         * tree-ssa-loop-ivopts.c (determine_base_object): Ignore casts.
356         (strip_offset): Handle addresses.
357         (add_address_candidates): Use strip_offset.
358         (difference_cost): Reflect strip_offset change.
359         (force_var_cost, difference_cost): Strip nops.
361 2005-02-10  Kazu Hirata  <kazu@cs.umass.edu>
363         * df.h (DF_REF_MODE_CHANGE, DF_REF_MEM_OK): Remove.
365         * builtins.def, haifa-sched.c, libgcc2.c, libgcc2.h,
366         tree-ssa-loop-ivcanon.c, tree-ssa-loop-niter.c,
367         config/cris/cris-protos.h, config/cris/cris.c: Update
368         copyright.
370 2005-02-10  Jeff Law  <law@redhat.com>
372         * tree-ssa-dom.c (thread_across_edge): Use xmalloc, not xcalloc.
373         (lookup_avail_expr): Similarly.
375 2005-02-10  Richard Guenther  <rguenth@gcc.gnu.org>
377         * builtins.c (fold_builtin_powi): New function.
378         (fold_builtin_1): Call it.
380 2005-02-10  Steven Bosscher  <stevenb@suse.de>
382         PR documentation/19309
383         * doc/cpp.texi: The __GNUC__ and related predefined macros
384         are also defined for the "standalone" cpp.
385         Some non-GCC compilers may also define __GNUC__.
387 2005-02-10  Jakub Jelinek  <jakub@redhat.com>
389         PR c/19342
390         * c-typeck.c (common_type): New routine.  Old common_type renamed
391         to...
392         (c_common_type): ...this.
393         (build_conditional_expr, build_binary_op): Use c_common_type instead
394         of common_type.
396 2005-02-10  Steven Bosscher  <stevenb@suse.de>
398         * doc/md.texi: Replace @samp{length} with @code{length}.
400 2005-02-09  Zdenek Dvorak  <dvorakz@suse.cz>
402         PR tree-optimization/18687
403         * tree-flow.h (find_loop_niter): Declare.
404         * tree-ssa-loop-ivcanon.c (canonicalize_loop_induction_variables):
405         Try using scev even for loops with more than one exit.
406         * tree-ssa-loop-ivopts.c (struct loop_data): Removed niter field.
407         (struct ivopts_data): Added niters field.
408         (struct nfe_cache_elt): New.
409         (nfe_hash, nfe_eq, niter_for_exit, niter_for_single_dom_exit): New
410         functions.
411         (tree_ssa_iv_optimize_init): Initialize niters cache.
412         (determine_number_of_iterations): Removed.
413         (find_induction_variables): Do not call determine_number_of_iterations.
414         Access niters for single exit through niter_for_single_dom_exit.
415         (add_iv_outer_candidates): Access niters for single exit through
416         niter_for_single_dom_exit.
417         (may_eliminate_iv): Take data argument.  Use niter_for_exit.  Do not use
418         number_of_iterations_cond.
419         (iv_period): New function.
420         (determine_use_iv_cost_condition): Pass data to may_eliminate_iv.
421         (may_replace_final_value): Take data argument.  Use
422         niter_for_single_dom_exit.
423         (determine_use_iv_cost_outer): Pass data to may_replace_final_value.
424         (rewrite_use_compare): Pass data to may_eliminate_iv.
425         (rewrite_use_outer): Pass data to may_replace_final_value.
426         (free_loop_data): Clean up the niters cache.
427         (tree_ssa_iv_optimize_finalize): Free the niters cache.
428         (tree_ssa_iv_optimize_loop): Do not call loop_commit_inserts.
429         * tree-ssa-loop-niter.c (find_loop_niter): New function.
430         (find_loop_niter_by_eval): Use tree_int_cst_lt.
431         (num_ending_zeros): Moved to tree.c.
432         * tree.h (num_ending_zeros): Declare.
433         * tree.c (num_ending_zeros): Moved from tree.c.
435 2005-02-09  Richard Henderson  <rth@redhat.com>
437         * builtins.c (DEF_BUILTIN): Add COND argument.
438         * tree.h (DEF_BUILTIN): Likewise.
439         * builtins.def (DEF_GCC_BUILTIN, DEF_LIB_BUILTIN, DEF_EXT_LIB_BUILTIN,
440         DEF_C94_BUILTIN, DEF_C99_BUILTIN, DEF_C99_C90RES_BUILTIN): Update to
441         match.
442         (DEF_BUILTIN_STUB): New.
443         (BUILT_IN_STACK_SAVE, BUILT_IN_STACK_RESTORE, BUILT_IN_INIT_TRAMPOLINE,
444         BUILT_IN_ADJUST_TRAMPOLINE, BUILT_IN_NONLOCAL_GOTO,
445         BUILT_IN_PROFILE_FUNC_ENTER, BUILT_IN_PROFILE_FUNC_EXIT): Use it.
446         * c-common.c (DEF_BUILTIN): Add COND argument.
447         * tree.c (local_define_builtin): New.
448         (build_common_builtin_nodes): New.
450 2005-02-09  Roger Sayle  <roger@eyesopen.com>
452         * fold-const.c (fold_strip_sign_ops): New function to simplify a
453         floating point expression ignoring the sign of the result.
454         (fold) <ABS_EXPR>: Use it to simplify fabs(x).
455         (fold) <MULT_EXPR>: Use it to simplify x*x.
456         * tree.h (fold_strip_sign_ops): Prototype here.
457         * builtins.c (fold_builtin_copysign): Take an additional FNDECL
458         argument.  Use fold_strip_sign_ops to simplify the first argument.
459         (fold_builtin_pow):  Use fold_strip_sign_ops to simplify the
460         first argument when the second argument is an even integer
461         constant, but only with -funsafe_math_optimizations.
462         (fold_builtin_1): Update call to fold_builtin_copysign.
464 2005-02-09  Ian Lance Taylor  <ian@airs.com>
466         PR middle-end/19583
467         * gimple-low.c (try_catch_may_fallthru): In EH_FILTER_EXPR case,
468         just check whether EH_FILTER_FAILURE falls through.
470 2005-02-09  Andreas Krebbel  <krebbel1@de.ibm.com>
472         * gcc/haifa-sched.c (schedule_block): Make queued sched group
473         insns return to ready list in the next turn.
475 2005-02-09  Richard Guenther  <rguenth@gcc.gnu.org>
477         PR middle-end/19402
478         * builtins.def: New __builtin_powi[lf].
479         * builtins.c (mathfn_built_in): Handle BUILT_IN_POWI.
480         (expand_builtin_powi): New function.
481         (expand_builtin): Dispatch to expand_builtin_powi.
482         * libgcc2.h: Add prototypes for __builtin_powi[lf].
483         * libgcc2.c: Add __builtin_powi[lf] implementation.
484         * mklibgcc.in: Add __builtin_powi[lf] to lib2funcs.
485         * optabs.h: Add powi_optab.
486         * optabs.c (init_optabs): Initialize powi_optab.
487         * doc/extend.texi: Document __builtin_powi[lf].
489 2005-02-09  Dorit Naishlos  <dorit@il.ibm.com>
491         * tree-vectorizer.c (vect_set_dump_settings): Check that dump_file 
492         exists.
494 2005-02-09  Richard Guenther  <rguenth@gcc.gnu.org>
496         PR middle-end/19854
497         * fold-const.c (try_move_mult_to_index): Remove redundant
498         type argument.  Create ADDR_EXPR with correct type.
499         (fold): Update callers of try_move_mult_to_index.  Convert
500         result to the appropriate type.
502 2005-02-09  Roger Sayle  <roger@eyesopen.com>
504         PR target/19597
505         * config/avr/avr.c (default_rtx_costs): Delete.
506         (avr_operand_rtx_cost): New function.
507         (avr_rtx_costs): Completely rewrite.
509 2005-02-08  Hans-Peter Nilsson  <hp@axis.com>
511         PR target/19806
512         * config/cris/cris.c (in_code): New variable.
513         (cris_output_addr_const): Now a static function, a wrapper for
514         output_addr_const.
515         (cris_asm_output_symbol_ref): New function, broken out SYMBOL_REF
516         case from old cris_output_addr_const.
517         (cris_asm_output_label_ref): Similar for LABEL_REF.
518         (cris_output_addr_const_extra): Similar for UNSPEC.
519         * config/cris/cris.h (OUTPUT_ADDR_CONST_EXTRA)
520         (ASM_OUTPUT_SYMBOL_REF, ASM_OUTPUT_LABEL_REF): Define.
521         * config/cris/cris-protos.h (cris_output_addr_const): Remove
522         declaration.
523         (cris_asm_output_symbol_ref, cris_output_addr_const_extra)
524         (cris_asm_output_label_ref): Declare.
526 2005-02-08  Paolo Bonzini  <bonzini@gnu.org>
528         PR preprocessor/19801
529         * doc/cppinternals.texi (Conventions, Lexer, Files): Adjust
530         filenames that changed when libcpp was moved to the toplevel.
532 2005-02-07  Roger Sayle  <roger@eyesopen.com>
534         * simplify-rtx.c (simplify_relational_operation_1): Avoid creating
535         zero extensions of BImode operands.  Call lowpart_subreg instead
536         of gen_lowpart_common and gen_lowpart_SUBREG.
538 2005-02-07  Nathanael Nerode  <neroden@gcc.gnu.org>
540         PR ada/19489
541         * libada-mk.in: Use cc_for_cross_gnattools, not cc_set_by_configure.
542         * configure.ac: Set cc_for_cross_gnattools.
543         * configure: Regenerate.
545 2005-02-08  Alan Modra  <amodra@bigpond.net.au>
547         PR target/19803
548         * predict.c (PROB_VERY_UNLIKELY): Use 1% instead of 10%.
550 2005-02-07  Eric Botcazou  <ebotcazou@libertysurf.fr>
552         PR debug/19327
553         * dbxout.c (dbxout_symbol) <FUNCTION_DECL>: Skip inline instance
554         of nested functions.
556 2005-02-07  Jonathan Wakely  <redi@gcc.gnu.org>
558         * doc/extend.texi: Document deprecated extensions allowing
559         static floating-point members to have initializers and allowing
560         floating-point literals in integral constant expressions.
562 2005-02-07  Kazu Hirata  <kazu@cs.umass.edu>
564         * cfgcleanup.c, df.h, diagnostic.c, rtl.c, tree-vectorizer.h,
565         config/darwin7.h, config/mips/mips.c,
566         config/rs6000/altivec.md, config/rs6000/darwin-tramp.asm:
567         Update copyright.
569         * cse.c: Update comments.
571 2005-02-07  Richard Guenther  <rguenth@gcc.gnu.org>
573         PR middle-end/19775
574         * builtins.c (fold_builtin_sqrt): Transform
575         sqrt(pow(x,y)) to pow(fabs(x),y*0.5), not
576         pow(x,y*0.5).
578 2005-02-07  Leehod Baruch  <leehod@il.ibm.com>
579             Dorit Naishlos  <dorit@il.ibm.com>
581         * doc/invoke.texi (ftree-vectorizer-verbose): New.
582         * opts.c (OPT_ftree_vectorizer_verbose_): New case for switch.
583         * common.opt (ftree-vectorizer-verbose): New Flag for the vectorizer
584         was added.
585         * tree.h (vect_set_verbosity_level): New extern function declaration
586         added.
587         * tree-vectorizer.h (verbosity_levels): New enum type.
588         * tree-vectorizer.c (vect_debug_stats): Function removed.
589         (vect_debug_details): Likewise.
590         (vect_verbosity_level): Global variable was defined and initialized.
591         (vect_dump): Global variable definition.
592         (vect_print_dump_info): New function.
593         (vect_set_dump_settings): New function.
594         (vect_set_verbosity_level): New function.
595         (vectorize_loops): Add call to vect_set_dump_settings.
597         (slpeel_make_loop_iterate_ntimes): Dump condition was changed.
598         (slpeel_tree_duplicate_loop_to_edge_cfg): Likewise.
599         (slpeel_tree_peel_loop_to_edge): Likewise.
601         (vect_analyze_offset_expr): Call to vect_print_dump_info with
602         appropriate verbosity level instead of call to vect_debug_details 
603         or vect_debug_stats. 
604         (vect_get_base_and_offset):
605         (vect_create_addr_base_for_vector_ref):
606         (get_vectype_for_scalar_type):
607         (vect_create_data_ref_ptr):
608         (vect_init_vector):
609         (vect_get_vec_def_for_operand):
610         (vect_finish_stmt_generation):
611         (vectorizable_assignment):
612         (vectorizable_operation):
613         (vectorizable_store):
614         (vectorizable_load):
615         (vect_transform_stmt):
616         (vect_update_ivs_after_vectorizer):
617         (vect_do_peeling_for_loop_bound):
618         (vect_update_inits_of_drs):
619         (vect_do_peeling_for_alignment):
620         (vect_transform_loop):
621         (vect_is_simple_use):
622         (vect_analyze_operations):
623         (vect_is_simple_iv_evolution):
624         (vect_analyze_scalar_cycles):
625         (vect_analyze_data_ref_dependence):
626         (vect_analyze_data_ref_dependences):
627         (vect_compute_data_ref_alignment):
628         (vect_enhance_data_refs_alignment):
629         (vect_analyze_data_refs_alignment):
630         (vect_analyze_data_ref_access):
631         (vect_analyze_data_ref_accesses):
632         (vect_analyze_pointer_ref_access):
633         (vect_get_memtag_and_dr):
634         (vect_analyze_data_refs):
635         (vect_mark_relevant):
636         (vect_stmt_relevant_p):
637         (vect_mark_stmts_to_be_vectorized):
638         (vect_can_advance_ivs_p):
639         (vect_get_loop_niters):
640         (vect_analyze_loop_form):
641         (vect_analyze_loop):
642         (vectorize_loops): Likewise.
644         (vect_do_peeling_for_loop_bound): Dump format slightly changed.
645         (vect_update_inits_of_drs):
646         (vect_do_peeling_for_alignment):
647         (vect_transform_loop):
648         (vect_analyze_operations):
649         (vect_analyze_scalar_cycles):
650         (vect_analyze_data_ref_dependences):
651         (vect_analyze_data_refs_alignment):
652         (vect_analyze_data_ref_accesses):
653         (vect_analyze_data_refs):
654         (vect_mark_stmts_to_be_vectorized):
655         (vect_get_loop_niters):
656         (vect_analyze_loop_form):
657         (vect_analyze_loop): Likewise. 
658         (vect_mark_stmts_to_be_vectorized): Add call to print_generic_expr.
660 2005-02-07  Richard Sandiford  <rsandifo@redhat.com>
662         PR bootstrap/19796
663         Revert:
664         2005-01-26  Richard Sandiford  <rsandifo@redhat.com>
665         * config/mips/iris6.h (ENDFILE_SPEC): Don't link in irix-csr.o if
666         either -ffast-math or -funsafe-math-optimizations is in use.
668         2005-01-24  Richard Sandiford  <rsandifo@redhat.com>
669         * config/mips/irix-csr.c: New file.
670         * config/mips/t-iris6 (irix-csr.o): New rule to build it.
671         (EXTRA_MULTILIB_PARTS): Add irix-csr.o.
672         * config/mips/iris6.h (ENDFILE_SPEC): Include it in n32 and n64
673         executables.
675 2005-02-07  Alexandre Oliva  <aoliva@redhat.com>
677         * config/mn10300/linux.h (LIB_SPEC, STARTFILE_SPEC): Remove
678         redundant, incorrect definitions.
680         * config/frv/frv.md ("tls_indirect_call"): Turn into libcall-like
681         expand.
682         ("*tls_indirect_call"): New, reference hard regs directly.
683         * config/frv/frv.c (gen_inlined_tls_plt): Adjust.
685 2005-02-07  Ralf Corsepius  <ralf.corsepius@rtems.org>
687         * config/arm/rtems-elf.h (SUBTARGET_EXTRA_ASM_SPEC): 
688         Let !-mhard-float !-msoft-float imply -mfpu=softfpa.
690 2005-02-06  Roger Sayle  <roger@eyesopen.com>
692         PR rtl-optimization/19800
693         * simplify_rtx.c (simplify_relational_operation_1): Explicitly
694         call gen_lowpart_common and gen_lowpart_SUBREG instead of calling
695         gen_lowpart.
697 2005-02-07  Ralf Corsepius  <ralf.corsepius@rtems.org>
699         * config/m68k/t-rtems (MULTILIB_MATCHES): Let m528x match m5200.
701 2005-02-07  Joseph S. Myers  <joseph@codesourcery.com>
703         PR other/17135
704         * doc/invoke.texi: Correct documentation of -freorder-functions.
706 2005-02-06  Joseph S. Myers  <joseph@codesourcery.com>
708         PR other/14402
709         * doc/invoke.texi: Don't mention gccbug.
711 2005-02-06  Roger Sayle  <roger@eyesopen.com>
712             Andrew Pinski  <pinskia@physics.uc.edu>
713             Paolo Bonzini  <paolo.bonzini@lu.unisi.ch>
715         * simplify-rtx.c (simplify_relational_operation_1): Simplify
716         (ne:SI (zero_extract:SI FOO (const_int 1) BAR) (const_int 0))
717         into just (zero_extract:SI FOO (const_int 1) BAR).
719 2005-02-06  Joseph S. Myers  <joseph@codesourcery.com>
721         * doc/cpp.texi: Include gcc-common.texi.  Don't define gcctabopt
722         macro locally.  Don't give last revision date.  Use GCC version
723         number from gcc-common.texi.
724         * doc/cppinternals.texi: Include gcc-common.texi.  Don't give last
725         revision date.  Use GCC version number from gcc-common.texi.
726         Describe being a library as current state rather than as 3.x
727         history.
728         * doc/gcc.texi: Remove last update date.
729         * doc/gccint.texi: Likewise.  Update copyright dates.
730         * doc/install.texi: Update copyright dates.
732 2005-02-06  Joseph S. Myers  <joseph@codesourcery.com>
734         PR other/7549
735         * doc/invoke.texi: Mention for each option included in -Wall that
736         it is included in -Wall.
737         * doc/gcc.texi: Update copyright and last modification date.
739 2005-02-06  Zdenek Dvorak  <dvorakz@suse.cz>
741         * tree-ssa-loop-ivopts.c (rewrite_use_nonlinear_expr): Do not add
742         unnecessary cast to original induction variable increments.
744 2005-02-06  Zdenek Dvorak  <dvorakz@suse.cz>
746         PR tree-optimization/18219
747         * tree-ssa-loop-ivopts.c (get_computation_at): Produce computations
748         in distributed form.
750 2005-02-06  Richard Sandiford  <rsandifo@redhat.com>
752         * expmed.c (store_bit_field): Make the SUBREG code adjust bitnum.
753         Set bitpos and offset later in the function.  Do nothing if the
754         target is a register and if the bitfield lies completely outside
755         that register.
756         (extract_bit_field): Make the same SUBREG, bitpos and offset changes
757         here.  Return an uninitialised register if the source value is stored
758         in a register and the bitfield lies completely outside that register.
760 2005-02-06  Steven Bosscher  <stevenb@suse.de>
762         * df.c (df_insn_refs_record): Use XEXP to get the operand of a USE,
763         not SET_DEST.
765 2005-02-06  Marcin Dalecki  <martin@dalecki.de>
767         * diagnostic.c (default_diagnostic_finalizer): Fix use of attribute.
769 2005-02-06  Geoffrey Keating  <geoffk@apple.com>
771         * config.gcc (*-*-darwin*): Separate darwin7 and darwin8 configs.
772         * config/darwin8.h: New.
773         * config/darwin7.h: Update comment.
775 2005-02-03  Leehod Baruch  <leehod@il.ibm.com>
776             Dorit Naishlos  <dorit@il.ibm.com>
778         * tree-vectorizer.h (LOC): New type.
779         (UNKNOWN_LOC, EXPR_LOC, LOC_FILE, LOC_LINE): New macros.
780         (loop_line_number): New field in struct _loop_vec_info.
781         (LOOP_VINFO_LOC, LOOP_LOC): New macros.
783         * tree-vectorizer.c (input.h): Included.
784         (find_loop_location): New function.
785         (vect_debug_stats): Argument changed from loop to LOC. Computation of
786         loop line number removed.
787         (vect_debug_details): Likewise.
788         (new_loop_vec_info): Initialize new field LOOP_VINFO_LOC.
790         (slpeel_make_loop_iterate_ntimes): Call find_loop_location. Argument in
791         call to vect_debug_details/stats changed from loop to loop_loc.
792         (slpeel_tree_duplicate_loop_to_edge_cfg): Likewise.
793         (slpeel_tree_peel_loop_to_edge): Likewise.
795         (vect_analyze_offset_expr): Argument in call to vect_debug_details/stats
796         changed from NULL to UNKNOWN_LOC.
797         (vect_get_base_and_offset):
798         (vect_create_addr_base_for_vector_ref):
799         (get_vectype_for_scalar_type):
800         (vect_create_data_ref_ptr):
801         (vect_init_vector):
802         (vect_get_vec_def_for_operand):
803         (vect_finish_stmt_generation):
804         (vectorizable_assignment):
805         (vectorizable_operation):
806         (vectorizable_store):
807         (vectorizable_load):
808         (vect_transform_stmt):
809         (vect_update_ivs_after_vectorizer):
810         (vect_do_peeling_for_loop_bound):
811         (vect_do_peeling_for_alignment):
812         (vect_transform_loop):
813         (vect_is_simple_use):
814         (vect_analyze_operations):
815         (vect_is_simple_iv_evolution):
816         (vect_analyze_scalar_cycles):
817         (vect_analyze_data_ref_dependences):
818         (vect_compute_data_ref_alignment):
819         (vect_enhance_data_refs_alignment):
820         (vect_analyze_data_ref_access):
821         (vect_analyze_data_ref_accesses):
822         (vect_analyze_pointer_ref_access):
823         (vect_get_memtag_and_dr):
824         (vect_analyze_data_refs):
825         (vect_mark_relevant):
826         (vect_stmt_relevant_p):
827         (vect_mark_stmts_to_be_vectorized):
828         (vect_can_advance_ivs_p):
829         (vect_get_loop_niters):
830         (vect_analyze_loop):
831         (vectorize_loops): Likewise.
833         (vectorizable_load): Argument in call to vect_debug_details/stats
834         changed from loop to LOOP_LOC (loop_vinfo).
835         (vect_transform_loop):
836         (vect_analyze_operations):
837         (vect_analyze_scalar_cycles):
838         (vect_analyze_data_ref_dependence):
839         (vect_enhance_data_refs_alignment):
840         (vect_analyze_data_ref_accesses):
841         (vect_analyze_pointer_ref_access):
842         (vect_analyze_data_refs):
843         (vect_analyze_loop): Likewise.
845         (vect_analyze_loop_form): Argument in call to vect_debug_details/stats
846         changed from loop to loop_loc.
848         (vect_enhance_data_refs_alignment): Removed unused variable loop.       
850 2005-02-03  Leehod Baruch  <leehod@il.ibm.com>
851             Dorit Naishlos  <dorit@il.ibm.com>
853         * tree-vectorizer.c (vect_analyze_data_ref_dependence): Function
854         declaration added.
855         (vect_analyze_data_ref_dependences): Likewise.
857         (vect_is_simple_use): Argument changed from loop structure to
858         loop_vect_info structure.
859         (vect_can_advance_ivs_p): Likewise.
860         (vect_create_index_for_vector_ref): Likewise.
861         (vect_update_ivs_after_vectorizer): Likewise.
862         (new_stmt_vec_info): Likewise.
863         
864         (new_loop_vec_info): Second argument in call to new_stmt_vec_info was
865         changed from loop to loop_vinfo.
866         (vect_create_data_ref_ptr): First argument in call to
867         vect_create_index_for_vector_ref was changed from loop to loop_vinfo.
868         (vectorizable_assignment): Second argument in call to vect_is_simple_use
869         was changed from loop to loop_vinfo.
870         (vectorizable_operation): Likewise.
871         (vectorizable_store): Likewise.
872         (vect_mark_stmts_to_be_vectorized): Likewise.
873         (vect_do_peeling_for_loop_bound): First argument in call to
874         vect_update_ivs_after_vectorizer was changed from loop to loop_vinfo.
875         (vect_analyze_operations): Argument in call to vect_can_advance_ivs_p
876         was changed from loop to loop_vinfo.
877         (vect_analyze_data_ref_dependences): Third argument in call to
878         vect_analyze_data_ref_dependence was changed from loop to loop_vinfo.
879         
880         (vect_create_index_for_vector_ref): Get the loop from loop_vinfo.
881         (vect_create_data_ref_ptr): Likewise.
882         (vect_init_vector): Likewise.
883         (vect_get_vec_def_for_operand): Likewise.
884         (vectorizable_assignment): Likewise.
885         (vectorizable_operation): Likewise.
886         (vectorizable_store): Likewise.
887         (vectorizable_load): Likewise.
888         (vect_update_ivs_after_vectorizer): Likewise.
889         (vect_is_simple_use): Likewise.
890         (vect_analyze_data_ref_dependence): Likewise.
891         (vect_analyze_pointer_ref_access): Likewise.
892         (vect_can_advance_ivs_p): Likewise.
894         * tree-vectorizer.h: (_loop_vec_info): Definition and macros moved
895         before _stmt_vec_info.
896         (_stmt_vec_info): Loop field replaced by loop_vec_info.
897         (STMT_VINFO_LOOP): Replaced with STMT_VINFO_LOOP_VINFO.
898         (new_stmt_vec_info): Argument changed from loop structure to
899         loop_vect_info structure
901         (vect_analyze_data_ref_dependences): Unnecessary line was removed.
902         (vect_analyze_offset_expr): Avoid 80 columns overflow.
903         (vect_create_addr_base_for_vector_ref): Likewise.
904         (vect_analyze_pointer_ref_access): Likewise.
906 2005-02-03  Andrew Pinski  <pinskia@physics.uc.edu>
908         PR tree-opt/19768
909         * tree-ssa-dse.c (fix_phi_uses): Update the occurs in abnormal
910         phi flag if the phi is abnormal.
912 2005-02-03  Andrew Pinski  <pinskia@physics.uc.edu>
914         PR tree-opt/19736
915         * tree-ssa.c (replace_immediate_uses): Update the immediate_uses
916         information for the new statement.
918 2005-02-03  Joseph S. Myers  <joseph@codesourcery.com>
920         PR driver/19117
921         * gcc.c (main): Include the target in -v output.
923 2005-02-03  Alexandre Oliva  <aoliva@redhat.com>
925         * combine.c (simplify_comparison, case SIGN_EXTEND, ZERO_EXTEND):
926         Do not drop the extend if we'd have to add a paradoxical subreg
927         later.  Include optabs.h and insn-codes.h.
928         * Makefile.in (combine.o): Depend on $(OPTABS_H).
930 2005-02-02  Roger Sayle  <roger@eyesopen.com>
932         PR middle-end/19405
933         * real.h (REAL_MODE_FORMAT_COMPOSITE_P): New macro.
934         * fold-const.c (const_binop): Avoid constant folding floating
935         point operations in modes that use composite representations.
936         * simplify-rtx.c (simplify_binary_operation): Likewise.
938 2005-02-02  Geoffrey Keating  <geoffk@apple.com>
940         * config/rs6000/altivec.md (altivec_dst): Make the first operand
941         a REG, not a MEM.
942         (altivec_dstt): Likewise.
943         (altivec_dstst): Likewise.
944         (altivec_dststt): Likewise.
945         * config/rs6000/rs6000.c (altivec_expand_dst_builtin): Adjust creation
946         of first operand.
948 2005-02-03  Dorit Naishlos  <dorit@il.ibm.com>
950         * tree-vectorizer.c (slpeel_make_loop_iterate_ntimes): Copy
951         EXPR_LOCUS from orig_cond to the new cond_stmt.
952         (vect_finish_stmt_generation): Copy EXPR_LOCUS from stmt to
953         the new vec_stmt.
955 2005-02-03  Dorit Naishlos  <dorit@il.ibm.com>
957         * tree-vectorizer.c (slpeel_make_loop_iterate_ntimes): Call
958         standard_iv_increment_position. Remove call to bsi_next 
959         (no need to bump the iterator anymore).
960         (vect_create_index_for_vector_ref): Call
961         standard_iv_increment_position. Remove second function argument.
962         (vect_finish_stmt_generation): Remove call to bsi_next 
963         (no need to bump the iterator anymore).
964         (vect_create_data_ref_ptr): Remove second argument (bsi) in call
965         to vect_create_index_for_vector_ref.
967 2005-02-03  Dorit Naishlos  <dorit@il.ibm.com>
969         * tree-vectorizer.c (vect_mark_stmts_to_be_vectorized): Check if
970         phis are used out of the loop.
972 2005-02-03  Joseph S. Myers  <joseph@codesourcery.com>
974         PR c/17807
975         * c-decl.c (undef_nested_function): New variable.
976         (pop_scope): Diagnose undefined nested functions.
977         (finish_function): Don't attempt cgraph processing or genericizing
978         if current top-level function contained an undefined nested
979         function.  Reset undef_nested_function at the end of a top-level
980         function.
982 2005-02-02  Zdenek Dvorak  <dvorakz@suse.cz>
984         * tree.c (build_int_cst_type): Take sign of the value into account
985         when deciding whether sign extend the value.
987 2005-02-02  Joseph S. Myers  <joseph@codesourcery.com>
989         PR c/18502
990         * gcc.c (cpp_unique_options): Remove %{trigraphs}.
991         (cpp_options, cc1_options): Change %{std*&ansi} to
992         %{std*&ansi&trigraphs}.
994 2005-02-02  Kazu Hirata  <kazu@cs.umass.edu>
996         * cse.c: Update comments.
998 2005-02-02  Aldy Hernandez  <aldyh@redhat.com>
1000         * config/rs6000/rs6000.c (rs6000_spe_function_arg): Multi-reg
1001         arguments go on the stack.  Do not put complex doubles in odd/even
1002         pairs.
1004 2005-02-02  Steven Bosscher  <stevenb@suse.de>
1006         * doc/invoke.texi: Update the options enabled at -O1, -O2,
1007         and -O3.  Update the documentation for -fgcse-sm, -fgcse-las,
1008         -ftree-pre, and -fthread-jumps.
1010 2005-02-02  Richard Sandiford  <rsandifo@redhat.com>
1012         PR tree-optimization/19578
1013         * tree-flow.h (modified_noreturn_calls): Declare.
1014         (noreturn_call_p): Declare.
1015         * tree-flow-inline.h (noreturn_call_p): New function.
1016         (modify_stmt): Add modified noreturn calls to modified_noreturn_calls.
1017         * tree-cfg.c (modified_noreturn_calls): New variable.
1018         (cleanup_control_flow): Use noreturn_call_p.  Split basic blocks
1019         that contain a mid-block noreturn call.
1020         * tree-ssa.c (delete_tree_ssa): Clear modified_noreturn_calls.
1022 2005-02-02  Kazu Hirata  <kazu@cs.umass.edu>
1024         * df.c (df_def_record_1, df_uses_record): Don't use
1025         DF_FOR_REGALLOC.
1026         * df.h (DF_FOR_REGALLOC): Remove.
1028 2005-02-02  Joseph S. Myers  <joseph@codesourcery.com>
1030         PR c/19435
1031         * c-typeck.c (really_start_incremental_init): Reset
1032         constructor_max_index for arrays of incomplete type.
1034 2005-02-02  Jeff Law  <law@redhat.com>
1036         * gcse.c (struct reg_set): Store the block index where the register
1037         was set rather than the setting insn.
1038         (record_one_set, compute_transp): Corresponding changes.
1039         (pre_insert_copy_insn): Do not call replace_one_set.
1040         (replace_one_set): Remove.
1042 2005-02-02  Joseph S. Myers  <joseph@codesourcery.com>
1044         PR other/15514
1045         * doc/gcov.texi: Fix typo.
1047 2005-02-01  Richard Henderson  <rth@redhat.com
1049         PR target/19680
1050         * config/i386/i386.h (MODES_TIEABLE_P): Use ix86_modes_tieable_p.
1051         * config/i386/i386.c (ix86_hard_regno_mode_ok): Change return
1052         type to bool.
1053         (ix86_tieable_integer_mode_p, ix86_modes_tieable_p): New.
1054         * config/i386/i386-protos.h: Update.
1056 2005-02-01  Steven Bosscher  <stevenb@suse.de>
1058         PR tree-optimization/19217
1059         * tree-cfg.c (verify_expr): Use the data field to see if TP was
1060         seen inside a PHI node.  Do not do the ADDR_EXPR check if it was.
1061         (verify_stmts): Pass (void*)1 as data to verify_expr to signal
1062         that it is walking a PHI node.
1064 2005-02-01  Joseph S. Myers  <joseph@codesourcery.com>
1066         * doc/extend.texi (Nested Functions): Update.
1068 2005-02-01  Richard Henderson  <rth@redhat.com>
1070         PR 19696
1071         * optabs.c (expand_copysign_absneg): Export.
1072         * optabs.h (expand_copysign_absneg): Declare.
1073         * config/rs6000/rs6000.md (copysigntf3): New.
1075 2005-02-01  Diego Novillo  <dnovillo@redhat.com>
1077         PR tree-optimization/19633
1078         * tree-flow.h (struct ptr_info_def): Add field 'pt_null'.
1079         * tree-ssa-alias.c (init_alias_info): Initialize.
1080         (merge_pointed_to_info): Set.
1081         (add_pointed_to_expr): Set pt_null if EXPR is a NULL pointer.
1082         (dump_points_to_info_for): Show value of pt_null.
1083         (struct count_ptr_d): Declare.
1084         (find_ptr_dereference): Remove.
1085         (ptr_is_dereferenced_by): Remove.
1086         (count_ptr_derefs): New local function.
1087         (count_uses_and_derefs): New local function.
1088         (compute_points_to_and_addr_escape): Call it.  If the number
1089         of dereferences is greater than zero, mark the pointer as
1090         dereferenced.  If there are fewer dereferences than uses of
1091         the pointer, the pointer's value escapes.
1093 2005-02-01  Diego Novillo  <dnovillo@redhat.com>
1095         PR tree-optimization/19670
1096         * tree-ssa.c (verify_ssa_name): Don't set TREE_VISITED
1097         here...
1098         (verify_use): ... set it here, instead.
1100 2005-02-01  Janis Johnson  <janis187@us.ibm.com>
1102         * doc/sourcebuild.texi (Test directives): Fix formatting.
1104         * doc/sourcebuild.texi (Test directives): Describe selector
1105         expressions.
1107 2005-02-01  Segher Boessenkool  <segher@kernel.crashing.org>
1109         * config.gcc (powerpc64-*-linux*): Default to -m64 also for
1110         specific 64-bit CPUs.
1112 2005-02-01  Richard Earnshaw  <rearnsha@arm.com>
1114         PR target/16201
1115         * arm.c (arm_eliminable_register): New function.
1116         (adjacent_mem_locations): Don't allow eliminable registers.  Use
1117         HOST_WIDE_INT for address offsets.
1118         * arm-protos.h (arm_eliminable_register): Add prototype.
1120 2005-02-01  Steven Bosscher  <stevenb@suse.de>
1122         PR optimization/15242
1123         * params.def (PARAM_MAX_GOTO_DUPLICATION_INSNS): New param.
1124         * basic-block.h (duplicate_computed_gotos): Add prototype.
1125         * bb-reorder.c (duplicate_computed_gotos): New function to
1126         duplicate sufficiently small blocks ending in a computed jump.
1127         * passes.c (rest_of_compilation): Call duplicate_computed_gotos
1128         if not optimizing for size.
1129         * cfgcleanup.c (try_crossjump_bb): If not optimizing for size,
1130         never do tail merging for blocks ending in a computed jump.
1131         * doc/invoke.texi: Document the max-goto-duplication-insns param.
1133 2005-02-01  Eric Botcazou  <ebotcazou@libertysurf.fr>
1135         Patch from Richard Sandiford <rsandifo@redhat.com>
1136         * reload1.c (choose_reload_regs): Prevent the find_equiv_reg() code
1137         from inheriting a subreg equivalence with a non-spill register.
1139         * tree.h (DECL_FUNCTION_CODE): Document that it is overloaded.
1141 2005-02-01  Alexandre Oliva  <aoliva@redhat.com>
1143         * config/frv/frv.c (movcc_fp_destination_operand): New.
1144         (gpr_or_memory_operand): Fix typo in comment.
1145         (gpr_or_memory_operand_with_scratch): New.
1146         * config/frv/frv.h (PREDICATE_CODES): Add the two new predicates.
1147         * config/frv/frv.md (movcc_fp, movcc_fp_internal): Use
1148         movcc_fp_destination_operand.
1149         (reload_incc_fp): Use gpr_or_memory_operand_with_scratch.
1150         Legitimize memory addresses using a scratch register.
1152 2005-01-31  Jeff Law  <law@redhat.com>
1154         * tree-into-ssa.c (mark_def_sites_global_data): Make KILLS
1155         bitmap a sparse bitmap instead of a simple bitmap.
1156         (mark_def_sites_initialize_block):  Corresponding changes.
1157         (ssa_mark_def_sites_initialize_block): Likewise.
1158         (ssa_mark_phi_uses): Likewise.
1159         (mark_def_site, ssa_mark_def_sites): Likewise.
1160         (mark_def_site_blocks): Likewise.
1161         (rewrite_ssa_into_ssa): Likewise.
1163         * tree-ssa-dom.c (record_cond): Pass correct variable type
1164         for last argument to htab_find_slot_with_hash.
1166         * fold-const.c (fold, case CEIL_MOD_EXPR): Do not lose side
1167         effects when optimizing 0 % X.  Do not try to optimize X % 0.
1169 2005-01-31  James E. Wilson  <wilson@specifixinc.com>
1171         * config/ia64/itanium1.md (1_scall bypass): Change 2_mmalua to
1172         1_mmalua.
1174 2005-02-01  Eric Christopher  <echristo@redhat.com>
1176         * config/mips/mips.c (override_options): Warn if -mint64
1177         is used.
1178         * doc/invoke.texi (MIPS Options): Document that -mint64 is
1179         deprecated.
1181 2005-02-01  Kazu Hirata  <kazu@cs.umass.edu>
1183         * cse.c (cse_reg_info): Remove hash_next, next, regno.  Add
1184         timestamp.
1185         (cse_reg_info_list, cse_reg_info_list_free, REGHASH_SHIFT,
1186         REGHASH_SIZE, REGHASH_MASK, reg_hash, REGHASH_FN,
1187         cached_cse_reg_info, GET_CSE_REG_INFO): Remove.
1188         (cached_regno): Initialize to INVALID_REGNUM.
1189         (cse_reg_info_table_size,
1190         cse_reg_info_table_first_uninitialized,
1191         cse_reg_info_timestamp): New.
1192         (REG_TICK, REG_IN_TABLE, SUBREG_TICKED, REG_QTY): Use
1193         get_cse_reg_info.
1194         (init_cse_reg_info, get_cse_reg_info_1): New.
1195         (get_cse_reg_info): Cache the last look-up.
1196         (new_basic_block): Update the code to clear mappings from
1197         registers to cse_reg_info entries.
1198         (cse_main): Call init_cse_reg_info.
1200         * cse.c (get_cse_reg_info): Update a comment.
1202 2005-01-31  Steven Bosscher  <stevenb@suse.de>
1204         PR c/19333
1205         * c-decl.c (start_decl): Do not warn about arrays of elements with
1206         an incomplete type here.
1207         (grokdeclarator): Do it here by making a pedwarn an error.
1208         * c-typeck.c (push_init_level): If there were previous errors with
1209         the constructor type, do not warn about braces for initializers.
1210         (process_init_element): Likewise for excess initializer elements.
1212 2005-01-31  Kazu Hirata  <kazu@cs.umass.edu>
1214         * cse.c (delete_trivially_dead_insn): Don't iterate.
1216 2005-01-31  Andrew Pinski  <pinskia@physics.uc.edu>
1218         * config/rs6000/rs6000.md (copysignsf3): New expand.
1219         (copysigndf3): Likewise.
1221 2005-01-31  Steven Bosscher  <stevenb@suse.de>
1223         * recog.c (constrain_operands): Only look for earlyclobber operand
1224         conflicts if an '&' constraint was seen.
1226 2005-01-31  Marc Espie <espie@openbsd.org>
1228         * config.gcc: Don't include embedded systems fragment, switches default
1229         debugging format to ELF.
1230         * config/i386/openbsdelf.h: Add DBX_REGISTER_NUMBER since we no 
1231         longer pick it up there.
1233 2005-01-31  Dale Johannesen  <dalej@apple.com>
1234         
1235         * doc/extend.texi (nested functions): Fix linkage description.
1236         Clarify that static is not allowed.
1238 2005-01-31  Dale Johannesen  <dalej@apple.com>
1239         
1240         * config/rs6000/darwin.md (movsf_low_di):  Make work.
1241         (movdf_low_di):  Make work.
1243 2005-01-31  Dale Johannesen  <dalej@apple.com>
1245         * config/rs6000/darwin-tramp.asm (__trampoline_setup):
1246         Make work for 64 bit.
1248 2005-01-31  Roger Sayle  <roger@eyesopen.com>
1249             Dale Johannesen  <dalej@apple.com>
1251         PR middle-end/19650
1252         * fold-const.c (fold_binary_op_with_conditional_arg):
1253         Make types match original operands, before STRIP_NOPS.
1255 2005-01-31  Alan Modra  <amodra@bigpond.net.au>
1257         * config/rs6000/linux-unwind.h (struct gcc_vregs): New.
1258         (struct gcc_regs): Rename from gcc_pt_regs.  Add more regs.
1259         (struct gcc_sigcontext): Delete.  Merge contents to..
1260         (struct gcc_ucontext): ..here.
1261         (get_sigcontext): Delete.
1262         (get_regs): New function, like get_sigcontext but return regs ptr.
1263         64-bit version finds regs from r1 to support vdso.
1264         (ppc_linux_aux_vector): New function.
1265         (ppc_fallback_frame_state): Modify for get_regs.  Restore fprs
1266         and vector regs.
1268 2005-01-31  Ira Rosen  <irar@il.ibm.com>
1270         * tree-vectorizer.c (vect_analyze_offset_expr): Use ssizetype instead
1271         sizetype.
1272         (vect_get_base_and_offset): Use ssizetype instead sizetype. Remove
1273         redundant fold. Fix misalignment for MINUS_EXPR.
1274         (vect_compute_data_ref_alignment): Use ssizetype instead sizetype.
1275         (vect_analyze_pointer_ref_access): Likewise.
1276         (vect_get_memtag_and_dr): Likewise.
1278 2005-01-31  Richard Henderson  <rth@redhat.com>
1280         * config/i386/i386.c (absnegsf2_mixed): Remove all of the # hackery.
1281         (absnegsf2_sse, absnegsf2_i387, absnegdf2_mixed, absnegdf2_sse,
1282         absnegdf2_i387, absnegxf2_i387): Likewise.
1284 2005-01-31  Richard Henderson  <rth@redhat.com>
1286         PR 19696
1287         * optabs.c (expand_copysign_absneg): New.
1288         (expand_copysign_bit): Split out from ...
1289         (expand_copysign): ... here.  Use expand_copysign_absneg.
1291 2005-01-30  Roger Sayle  <roger@eyesopen.com>
1293         PR middle-end/19697
1294         * config/pa/pa.md (anddi3, iordi3): On HPPA64, disallow an integer
1295         constant as the second operand and a register as the third.
1297 2005-01-31  Danny Smith  <dannysmith@users.sourceforge.net>
1299         PR target/19704
1300         * config/i386/i386.c (ix86_function_ok_for_sibcall):  Also check
1301         that dllimport'd functions do not use all call-clobbered registers
1302         to pass parameters.
1304 2005-01-30  Richard Henderson  <rth@redhat.com>
1306         PR 19696
1307         * optabs.c (expand_absneg_bit): Split out from expand_unop and
1308         expand_abs_nojump and generalize.  Use operand_subword and
1309         emit_no_conflict_block.  Support large modes.
1310         (expand_abs_nojump): Use it.  Use HONOR_SIGNED_ZEROS to fall
1311         back to maximum.
1312         (expand_unop): Likewise.  Use HONOR_SIGNED_ZEROS to fall back
1313         negation to subtraction.
1314         (expand_copysign): Check that the format has signed zeros.
1315         Use operand_subword and emit_no_conflict_block.  Support large modes.
1317 2005-01-30  Daniel Berlin  <dberlin@dberlin.org>
1319         Fix PR tree-optimization/19624
1320         
1321         * Makefile.in (tree-ssa-pre.o): Add CFGLOOP_H.
1322         * tree-ssa-pre.c: Add cfgloop.h.
1323         Update comment.
1324         (pre_stats): New member, constified.
1325         (inserted_exprs): New static variable.
1326         (NECESSARY): New macro.
1327         (create_expression_by_pieces): Fold the expression, and
1328         mark it as defaulting to not necessary. Also put in
1329         inserted_exprs.
1330         (fully_constant_expression): New function.
1331         (insert_into_preds_of_block): Modify to not insert phis when we
1332         are playing with induction variables.
1333         Push phis onto the inserted_exprs vector, and mark them as not
1334         necessary by default.
1335         (insert_aux): Call fully_constant_expression on eprime.
1336         If all edges produce the same value, mark it constant.
1337         (mark_operand_necessary): New function.
1338         (remove_dead_inserted_code): New function.
1339         (init_pre): Init loop optimizer to get loop info.
1340         (fini_pre): Free loop_optimizer, and inserted_exprs vec.
1341         (execute_pre): Commit edge inserts, then remove dead code.
1343 2005-01-30  Richard Henderson  <rth@redhat.com>
1345         * rtl.c (rtx_equal_p): No early exit for CONST_VECTOR.
1346         * varasm.c (const_rtx_hash_1): Handle CONST_VECTOR.
1348 2005-01-30  Richard Henderson  <rth@redhat.com>
1350         PR target/19700
1351         * config/i386/i386.c (ix86_expand_copysign): New.
1352         (ix86_split_copysign_const): New.
1353         (ix86_split_copysign_var): Rename from ix86_split_copysign, 
1354         rearrange op1/nmask operands.
1355         * config/i386/i386-protos.h: Update.
1356         * config/i386/i386.md (copysignsf3): Use ix86_expand_copysign.
1357         (copysigndf3): Likewise.
1358         (copysignsf3_const, copysigndf3_const): New.
1359         (copysignsf3_var): Rename from copysignsf3, split out splitter
1360         and fix split predicate for X constraint.
1361         (copysigndf3_var): Similarly.
1363 2005-01-30  Kazu Hirata  <kazu@cs.umass.edu>
1365         * optabs.c, doc/c-tree.texi, doc/install.texi, doc/md.texi,
1366         doc/passes.texi, doc/rtl.texi, doc/sourcebuild.texi,
1367         doc/tm.texi, doc/tree-ssa.texi: Update copyright.
1369 2005-01-29  Richard Henderson  <rth@redhat.com>
1371         PR target/19690
1372         * config/i386/i386.md (movdf_nointeger, movdf_integer): Fix ordering
1373         of # and * in constraints.
1375 2005-01-29  Richard Henderson  <rth@redhat.com>
1377         PR middle-end/19689
1378         * expr.c (store_field): Don't strip sub-mode cast when the input
1379         data is even smaller.
1381 2005-01-29  Richard Henderson  <rth@redhat.com>
1383         PR middle-end/19687
1384         * expr.c (categorize_ctor_elements_1): Check for CONSTRUCTOR of a
1385         union being empty.
1387 2005-01-29  Richard Henderson  <rth@redhat.com>
1389         * combine.c (make_field_assignment): Fix argument order
1390         to gen_int_mode.
1392 2005-01-29  Richard Guenther <richard.guenther@uni-tuebingen.de>
1394         PR tree-optimization/15791
1395         * fold-const.c (extract_array_ref): New function.
1396         (fold): Fold comparisons between &a[i] and &a[j] or
1397         semantically equivalent trees.
1399 2005-01-29  Jeff Law  <law@redhat.com>
1401         * gcse.c (insert_expr_in_table): Revamp handling of available
1402         and anticipatable occurrence lists to avoid unnecessary list
1403         walking.
1404         (insert_set_in_table): Similarly.
1406 2005-01-29  Joseph S. Myers  <joseph@codesourcery.com>
1408         * c-common.c (fix_string_type): Just use c_build_qualified_type to
1409         build string type.
1410         (c_build_qualified_type): Build qualified array types with
1411         TYPE_MAIN_VARIANT pointing to corresponding unqualified type.
1412         * c-decl.c (c_make_fname_decl): Build unqualified array type
1413         before qualified type.
1414         (grokdeclarator): Use TYPE_MAIN_VARIANT of typedef type if element
1415         type is qualified, not just if type itself is.  Don't apply
1416         qualifiers to array type when declarator is processed.  Apply
1417         qualifiers to field type whether or not it is an array type.
1418         Don't handle array types specially for applying qualifiers to
1419         variables.
1420         * c-typeck.c (composite_type): Build unqualified element type and
1421         array type when forming composite of array types.
1422         (common_pointer_type, comptypes, comp_target_types,
1423         type_lists_compatible_p, build_indirect_ref, build_array_ref,
1424         convert_for_assignment): Don't apply TYPE_MAIN_VARIANT to array
1425         types.
1426         (type_lists_compatible_p): Cache TREE_VALUE (args1) and TREE_VALUE
1427         (args2) in variables a1 and a2.
1429 2005-01-29  Kazu Hirata  <kazu@cs.umass.edu>
1431         * cse.c (n_elements_made, max_elements_made): Remove.
1432         (insert): Don't touch n_elements_made.
1433         (cse_main): Don't touch n_elements_made or max_elements_made.
1435 2005-01-28  Stephane Carrez  <stcarrez@nerim.fr>
1437         PR target/15384
1438         * config/m68hc11/t-m68hc11-gas (dp-bit.c): Fix typo causing a
1439         configuration part of dp-bit.c to be lost.
1441 2005-01-28  Roger Sayle  <roger@eyesopen.com>
1443         * expmed.c (expand_mult_highpart_optab): When attempting to use
1444         a non-widening multiplication in a wider mode, the operands need
1445         to be converted (zero or sign extended) to that mode.
1447 2005-01-28  Ian Lance Taylor  <ian@airs.com>
1449         PR middle-end/16558
1450         PR middle-end/19583
1451         * gimple-low.c (block_may_fallthru): TRY_FINALLY_EXPR only falls
1452         through if both operands fall through.
1454 2005-01-28  Kazu Hirata  <kazu@cs.umass.edu>
1456         * cse.c (fold_rtx) <PC>: Don't optimize.
1458 2005-01-28  Jeff Law  <law@redhat.com>
1460         * fold-const.c (fold, case CEIL_MOD_EXPR): Optimize 0 % X.
1461         (case FLOOR_MOD_EXPR, ROUND_MOD_EXPR, TRUNC_MOD_EXPR): Similarly.
1463 2005-01-28  Kazu Hirata  <kazu@cs.umass.edu>
1465         * cse.c (cse_reg_info_free_list, cse_reg_info_used_list,
1466         cse_reg_info_used_list_end): Remove.
1467         (cse_reg_info_list, cse_reg_info_list_free): New.
1468         (get_cse_reg_info): When allocating an instance of
1469         cse_reg_info, add it to the beginning of the cse_reg_info_list
1470         list.  Remove code to maintain cse_reg_info_used_list.
1471         (new_basic_block): Reset the free list to the beginning of
1472         cse_reg_info_list.
1474 2005-01-28  Richard Sandiford  <rsandifo@redhat.com>
1476         * config/frv/frv.c (bdesc_2arg): Remove __MDPACKH.
1477         (frv_init_builtins): Change its prototype to take 4 uhalf arguments.
1478         (frv_expand_mdpackh_builtin): New function.
1479         (frv_expand_builtin): Use it to expand __MDPACKH.
1480         * doc/extend.texi (__MDPACKH): Update documentation.
1482 2005-01-28  Uros Bizjak  <uros@kss-loka.si>
1484         * config/i386/i386.c (ix86_expand_fp_absneg_operator): Use
1485         SSE_FLOAT_MODE_P for use_sse computation.
1487 2005-01-28  Ralf Corsepius  <ralf.corsepius@rtems.org>
1489         PR target/19663
1490         * config/sparc/rtemself.h (LINK_GCC_C_SEQUENCE_SPEC): undefine.
1492 2005-01-27  Richard Henderson  <rth@redhat.com>
1494         * builtins.c (expand_builtin_copysign): New.
1495         (expand_builtin): Call it.
1496         * genopinit.c (optabs): Add copysign_optab.
1497         * optabs.c (init_optabs): Initialize it.
1498         (expand_copysign): New.
1499         * optabs.h (OTI_copysign, copysign_optab): New.
1500         (expand_copysign): Declare.
1502         * config/alpha/alpha.md (UNSPEC_COPYSIGN): New.
1503         (copysignsf3, ncopysignsf3, copysigndf3, ncopysigndf3): New.
1505         * config/i386/i386.c (ix86_build_signbit_mask): Split from ...
1506         (ix86_expand_fp_absneg_operator): ... here.
1507         (ix86_split_copysign): New.
1508         * config/i386/i386-protos.h: Update.
1509         * config/i386/i386.md (UNSPEC_COPYSIGN): New.
1510         (copysignsf3, copysigndf3): New.
1512         * config/ia64/ia64.md (UNSPEC_COPYSIGN): New.
1513         (copysignsf3, ncopysignsf3): New.
1514         (copysigndf3, ncopysigndf3): New.
1515         (copysignxf3, ncopysignxf3): New.
1516         * config/ia64/ia64.c (rtx_needs_barrier): Handle UNSPEC_COPYSIGN.
1518 2005-01-27  Arend Bayer  <arend.bayer@web.de>
1519             Kazu Hirata  <kazu@cs.umass.edu>
1521         * cse.c: (find_best_addr): Don't call copy_rtx before calling
1522         fold_rtx.  Save cost recomputation if fold_rtx did nothing.
1523         (fold_rtx) <ASM_OPERANDS>: Don't do anything if INSN is
1524         NULL_RTX.
1526 2005-01-27  Jeff Law  <law@redhat.com>
1528         * tree-into-ssa.c (ssa_rewrite_initialize_block): Do not register
1529         definitions of SSA_NAMEs which are not being rewritten.
1530         (rewrite_ssa_into_ssa): Only initialize the current definition
1531         of an SSA_NAME if that SSA_NAME has been marked for rewriting.
1532         If checking is enabled, assert that SSA_NAME_AUX is clear for all
1533         SSA_NAMEs before returning.
1535 2005-01-27  Kazu Hirata  <kazu@cs.umass.edu>
1537         * c-common.def, c-dump.c, c-gimplify.c, c-objc-common.c,
1538         cfgexpand.c, dbxout.c, function.h, opts.c, tree-flow-inline.h,
1539         tree-ssa-operands.h, tree-ssa-threadupdate.c, tree-tailcall.c,
1540         config/avr/avr.md, config/cris/aout.h, config/cris/cris.h,
1541         config/mips/iris6.h, config/sh/sh.c: Update copyright.
1543 2005-01-27  Steven Bosscher  <stevenb@suse.de>
1545         PR middle-end/17278
1546         * opts.c (decode_options): Move flag_thread_jumps from -O1 and
1547         higher to -O2 and higher.  Likewise for tree PRE.
1548         * tree-ssa-dom.c (tree_ssa_dominator_optimize): Only iterate at -O2
1549         and better.
1551 2005-01-27  Ian Lance Taylor  <ian@airs.com>
1553         PR middle-end/19583
1554         * gimple-low.c (try_catch_may_fallthru): New static function.
1555         (block_may_fallthru): Handle TRY_CATCH_EXPR.
1556         * tree-inline.c (expand_call_inline): Don't warn about reaching
1557         the end of a non-void function being inlined if the function uses
1558         a return slot.
1560 2005-01-27  Jakub Jelinek  <jakub@redhat.com>
1562         * config/i386/i386.h (CALL_USED_REGISTERS): Fix comment pastos.
1564         PR c/18946
1565         * c-decl.c (warn_if_shadowing): Handle old_decl error_mark_node.
1566         (pushdecl): Only use DECL_FILE_SCOPE_P if DECL_P.
1567         (implicitly_declare): Handle error_mark_node.
1569 2005-01-27  Richard Henderson  <rth@redhat.com>
1571         PR tree-opt/14329
1572         * tree.h (struct tree_decl): Add debug_expr_is_from.
1573         (DECL_DEBUG_EXPR_IS_FROM): New.
1574         (DECL_DEBUG_EXPR): Rename from DECL_DEBUG_ALIAS_OF.
1575         * dwarf2out.c (dwarf2out_var_location): Update to match.
1576         * tree-outof-ssa.c (create_temp): Likewise.
1577         * var-tracking.c (track_expr_p): Likewise.
1578         * tree-sra.c (instantiate_element): Set DECL_DEBUG_EXPR.
1579         * c-objc-common.c (c_tree_printer) <'D'>: Handle DECL_DEBUG_EXPR.
1580         * toplev.c (default_tree_printer): Likewise.
1582 2005-01-27  Alexandre Oliva  <aoliva@redhat.com>
1584         * config/frv/frv.c (frv_class_likely_spilled_p): Add GR8_REGS,
1585         GR9_REGS, GR89_REGS, FDPIC_FPTR_REGS, FDPIC_REGS.
1587 2005-01-27  Steven Bosscher  <stevenb@suse.de>
1589         * tree.h (SWITCH_COND, SWITCH_BODY, SWITCH_LABELS, CASE_LOW,
1590         CASE_HIGH, CASE_LABEL, ASM_STRING, ASM_OUTPUTS, ASM_INPUTS,
1591         ASM_CLOBBERS): Add tree checks.
1593         * c-common.h (SWITCH_TYPE): Rename to SWITCH_STMT_TYPE.
1594         (SWITCH_STMT_COND, SWITCH_STMT_BODY): New.
1595         * c-common.def (SWITCH_STMT): Update to match.
1596         * c-common.c (c_do_switch_warnings): Use SWITCH_STMT accessor
1597         macros instead of SWITCH_EXPR ones.
1598         * c-dump.c (c_dump_tree): Likewise.
1599         * c-gimplify.c (gimplify_switch_stmt): Likewise.
1600         * c-typeck.c (c_start_case, do_case, c_finish_case): Likewise.
1602         * doc/c-tree.texi (SWITCH_STMT): Update accessor macro names.
1604 2005-01-27  Alan Modra  <amodra@bigpond.net.au>
1606         * unwind-dw2.c (execute_stack_op): Add missing cases for
1607         DW_OP_shl, DW_OP_shr, DW_OP_shra, DW_OP_xor.
1609 2005-01-27  Eric Botcazou  <ebotcazou@libertysurf.fr>
1611         * config.gcc (Obsolete configurations): Remove 'dummy', add
1612         sparclite-*-coff*, sparclite-*-elf*, sparc86x-*-elf* and
1613         sparc-*-openbsd*.
1615 2005-01-26  Diego Novillo  <dnovillo@redhat.com>
1617         PR tree-optimization/19633
1618         * tree-ssa-alias.c (ptr_is_dereferenced_by): Also handle
1619         CALL_EXPRs.
1620         (maybe_create_global_var): Do not create .GLOBAL_VAR if there
1621         are no call-clobbered variables.
1622         * tree-outof-ssa.c (check_replaceable): Return false for calls
1623         with side-effects.
1625 2005-01-26  Ulrich Weigand  <uweigand@de.ibm.com>
1627         * dbxout.c (dbxout_symbol_location): Resolve constant pool references
1628         even for variables with NULL DECL_INITIAL.
1630 2005-01-26  Stuart Hastings  <stuart@apple.com>
1632         * gimplify.c (shortcut_cond_expr): Re-compute side-effects.
1634 2005-01-26  Richard Henderson  <rth@redhat.com>
1636         PR middle-end/18008
1637         * c-decl.c (finish_struct): Set DECL_MODE after resetting a
1638         field's type.
1639         * expr.c (store_field): Strip conversions to odd-bit-sized types
1640         if the destination field width matches.
1642 2005-01-26  Richard Henderson  <rth@redhat.com>
1644         * c-decl.c, expmed.c, expr.c: Revert last change.
1646 2005-01-26  Richard Henderson  <rth@redhat.com>
1648         PR middle-end/18008
1649         * c-decl.c (finish_struct): Set DECL_MODE after resetting a
1650         field's type.
1651         * expmed.c (store_fixed_bit_field): Create a paradoxical subreg
1652         if we don't need the bits above those present in the current mode.
1653         * expr.c (store_field): Strip conversions to odd-bit-sized types
1654         if the destination field width matches.
1656 2005-01-26  Richard Sandiford  <rsandifo@redhat.com>
1658         * config/mips/iris6.h (ENDFILE_SPEC): Don't link in irix-csr.o if
1659         either -ffast-math or -funsafe-math-optimizations is in use.
1661 2005-01-26  Marek Michalkiewicz  <marekm@amelek.gda.pl>
1663         PR target/19293
1664         PR target/19329
1665         * config/avr/avr.c (notice_update_cc): Only set condition code for
1666         ashrqi3 if shift count > 0.
1667         (out_shift_with_cnt): Handle shift count <= 0 as a no-op.
1668         (ashlqi3_out, ashlhi3_out, ashlsi3_out, ashrqi3_out, ashrhi3_out,
1669         ashrsi3_out, lshrqi3_out, lshrhi3_out, lshrsi3_out): Handle shift
1670         count <= 0 as a no-op, and shift count >= width by copying zero
1671         or sign bit to all bits of the result.
1672         * config/avr/avr.md (all shifts): Add alternatives for zero shift
1673         count, with attribute "length" set to 0 and "cc" set to "none".
1675 2005-01-26  Aldy Hernandez  <aldyh@redhat.com>
1677         * doc/invoke.texi: Document -mTLS.
1679         * testsuite/gcc.target/frv/all-tls-global-dynamic.c: New.
1680         * testsuite/gcc.target/frv/all-tls-initial-exec.c: New.
1681         * testsuite/gcc.target/frv/all-tls-initial-exec-pic.c: New.
1682         * testsuite/gcc.target/frv/all-tls-local-dynamic.c: New.
1683         * testsuite/gcc.target/frv/all-tls-local-dynamic-plt.c: New.
1684         * testsuite/gcc.target/frv/all-tls-local-dynamic-plt-pic.c: New.
1685         * testsuite/gcc.target/frv/all-tls-local-exec.c: New.
1686         * testsuite/gcc.target/frv/all-tls-local-exec-TLS.c: New.
1688         * configure.ac: Check for a TLS capable gas.
1690         * configure: Regenerate.
1692 2005-01-26  Richard Henderson  <rth@redhat.com>
1694         PR middle-end/18008
1695         * combine.c (make_field_assignment): Simplify store to zero_extract
1696         from a source with an overlapping mask.
1698 2005-01-26  Aldy Hernandez  <aldyh@redhat.com>
1700         2004-11-11  Eric Christopher  <echristo@redhat.com>
1702         * config/frv/frv.md: Add fr400_integer automaton. Don't
1703         allow TYPE_MUL, TYPE_MACC, or TYPE_CUT to issue in parallel
1704         to TYPE_MACC.
1706 2005-01-26  Steven Bosscher  <stevenb@suse.de>
1708         PR middle-end/16585
1709         * cfgbuild.c (make_edges): Do not clear or set
1710         current_function_has_computed_jump.
1711         * function.h (struct function): Remove the has_computed_jump field.
1712         (current_function_has_computed_jump): Do not define.
1713         * sched-rgn.c (is_cfg_nonregular): Return true if a basic block ends
1714         in a computed jump.  Ignore current_function_has_computed_jump.
1716 2005-01-26  Richard Henderson  <rth@redhat.com>
1718         PR middle-end/19515
1719         * expr.c (categorize_ctor_elements): New argument p_must_clear.
1720         (categorize_ctor_elements_1): Likewise.  Detect a union that isn't
1721         fully initialized.
1722         (mostly_zeros_p): Update for new categorize_ctor_elements argument.
1723         * gimplify.c (gimplify_init_constructor): Likewise.  Only shove
1724         objects into static storage if they have more than one non-zero value.
1725         * tree.h (categorize_ctor_elements): Update decl.
1727 2005-01-26  Steven Bosscher  <stevenb@suse.de>
1729         PR middle-end/19616     
1730         * tree.h (CALL_EXPR_TAILCALL): Add comment.
1731         * calls.c (check_sibcall_argument_overlap_1): Revert the change
1732         to this function from 2004-07-10.
1733         * tree-tailcall.c (suitable_for_tail_opt_p): Do not consider the
1734         the current function for tail call optimizations if the address
1735         of one of it its arguments is taken.
1737 2005-01-26  Kazu Hirata  <kazu@cs.umass.edu>
1739         * cse.c (fold_rtx): Call equiv_constant only when necessary.
1741 2005-01-26  Bernd Schmidt  <bernd.schmidt@analog.com>
1743         * function.c (expand_function_end): If current_function_calls_alloca,
1744         emit stack restore in a place that is reached when the function falls
1745         through at the end.
1747 2005-01-26  Alexandre Oliva  <aoliva@redhat.com>
1749         * Makefile.in (../$(build_subdir)/fixincludes/fixincl): Add dummy
1750         rule to avoid matching inappropriate suffix rule.
1752 2005-01-26  Jan Hubicka  <jh@suse.cz>
1754         PR tree-optimization/19241
1755         * tree-inline.c (copy_body_r): Do not walk subtrees after substituting.
1757 2005-01-26  Hans-Peter Nilsson  <hp@axis.com>
1759         * config/cris/cris.h (LIB_SPEC) <sim*>: Use -lsyslinux, not
1760         -lsyssim.  Wrap -lc -lsyssim in --start-group --end-group instead
1761         of doubling.
1762         (STARTFILE_SPEC): Add crti.o, before crtbegin.o.
1763         <sim*>: Always use crt1.o, regardless of N in simN.
1764         <!sim>: Drop support for -pg and -p variants; always use crt0.o.
1765         (ENDFILE_SPEC): Add crtn.o, after crtend.o.
1766         (CRT_CALL_STATIC_FUNCTION): Remove.
1767         * config/cris/aout.h (STARTFILE_SPEC): <!melinux && sim*>: Always
1768         use crt1.o, regardless of N in simN.
1769         <!sim>: Drop support for -pg and -p variants; always use crt0.o.
1770         (LIB_SPEC): Do not define; default to the one in config/cris/cris.h.
1771         (CRIS_CPP_SUBTARGET_SPEC) <melinux && !nostdinc>: Remove special
1772         case isystem setting.
1773         (MAX_OFILE_ALIGNMENT): Correct to 32, not 16.
1775 2005-01-25  Ian Lance Taylor  <ian@airs.com>
1777         * gimple-low.c (block_may_fallthru): Correct handling of
1778         SWITCH_EXPR--may fall through if SWITCH_LABELS is NULL.
1780 2005-01-26  Hans-Peter Nilsson  <hp@axis.com>
1782         * config/cris/cris.h (CPP_SPEC): Adjust the various mtune=
1783         handlers to match indentation; nested under the mtune=* handler.
1784         Similar for mcpu= and march=.
1786 2005-01-25  Daniel Jacobowitz  <dan@codesourcery.com>
1788         * config/mips/linux.h (LIB_SPEC): Remove -rpath-link.
1789         * config/mips/linux64.h (LIB_SPEC): Likewise.
1790         * config/mn10300/linux.h (LIB_SPEC): Likewise.
1791         * config/sh/linux.h (LIB_SPEC): Likewise.
1793 2005-01-25  Aldy Hernandez  <aldyh@redhat.com>
1795         * config/frv/frv.c (frv_legitimize_tls_address): New.
1796         (TARGET_HAVE_TLS): Define.
1797         (FRV_SYMBOL_REF_TLS_P): Define.
1798         (frv_override_options): Handle new register classes.
1799         (frv_legitimate_address_p): Reject tls addresses.
1800         (frv_legitimize_address): Handle TLS addresses.
1801         (gen_inlined_tls_plt): New.
1802         (gen_tlsmoff): New.
1803         (frv_legitimize_tls_address): New.
1804         (unspec_got_name): Add TLS entries.
1805         (got12_operand): Add R_FRV_TLSMOFF12 case.
1806         (frv_emit_move): Fixup TLS addresses.
1807         (frv_emit_movsi): Legitimize TLS addresses.
1809         * config/frv/frv.h (MASK_BIG_TLS): New.
1810         (TARGET_BIG_TLS): New.
1811         (HAVE_AS_TLS): Define.
1812         (TARGET_SWITCHES): Add -mTLS and -mtls options.
1813         (enum reg_class): Add GR8_REGS, GR9_REGS, GR89_REGS.
1814         (REG_CLASS_NAMES): Same.
1815         (REG_CLASS_CONTENTS): Same.
1816         (CONSTRAINT_LEN): New.
1817         (REG_CLASS_FROM_CONSTRAINT): New.
1818         (PREDICATE_CODES): Add symbolic_operand.
1820         * config/frv/frv.md (define_constants): Add UNSPEC_GETTLSOFF,
1821         UNSPEC_TLS_LOAD_GOTTLSOFF12, UNSPEC_TLS_INDIRECT_CALL,
1822         UNSPEC_TLS_TLSDESC_LDD, UNSPEC_TLS_TLSDESC_LDD_AUX,
1823         UNSPEC_TLS_TLSOFF_LD, UNSPEC_TLS_LDDI, UNSPEC_TLSOFF_HILO,
1824         R_FRV_GOTTLSOFF_HI, R_FRV_GOTTLSOFF_LO, R_FRV_TLSMOFFHI,
1825         R_FRV_TLSMOFFLO, R_FRV_TLSMOFF12, R_FRV_TLSDESCHI,
1826         R_FRV_TLSDESCLO, R_FRV_GOTTLSDESCHI, R_FRV_GOTTLSDESCLO, GR8_REG,
1827         GR9_REG, GR14_REG, LRREG.
1828         (type): Add load_or_call attribute.
1829         ("load_or_call"): New reservation.
1830         ("call_gettlsoff"): New.
1831         ("tls_indirect_call"): New.
1832         ("tls_load_gottlsoff12"): New.
1833         ("tlsoff_hilo"): New.
1834         ("tls_tlsdesc_ldd"): New.
1835         ("tls_tlsoff_ld"): New.
1836         ("tls_lddi"): New.
1838         * config/frv/frv-protos.h (symbolic_operand): Protoize.
1840         2005-01-25  Alexandre Oliva  <aoliva@redhat.com>
1842         * config/frv/frv.h (ASM_OUTPUT_DWARF_DTPREL): Define.
1843         * config/frv/frv-protos.h (frv_output_dwarf_dtprel): Declare.
1844         * config/frv/frv.c (TLS_BIAS): Define.
1845         (frv_output_dwarf_dtprel): New.
1847 2005-01-26  Jakub Jelinek  <jakub@redhat.com>
1849         PR rtl-optimization/19579
1850         * ifcvt.c (noce_try_cmove_arith): If emitting instructions to set up
1851         both A and B, see if they don't clobber registers the other expr uses.
1853 2005-01-25  J"orn Rennecke <joern.rennecke@st.com>
1855         * real.c (do_add): Initialize signalling and canonical members.
1857         * real.c (real_from_integer): Zero out destination.
1859 2005-01-18  Jan Hubicka  <jh@suse.cz>
1861         PR tree-optimize/19337
1862         * tree-inline.c (initialize_inlined_parameters): Copy
1863         saved_static_chain_decl only.
1865 2005-01-25  Richard Henderson  <rth@redhat.com>
1867         PR target/19556
1868         PR target/19584
1869         * config/i386/i386.c (x86_inter_unit_moves): Zero.
1870         (ix86_preferred_reload_class): Rewrite fp-constant section, with
1871         80387 enabled, to return a proper subclass.  Return the subset that
1872         overlaps with GENERAL_REGS for PLUS.
1873         * config/i386/i386.md (movsi_1, movdi_2): Set type to "mmx" for pxor.
1875 2005-01-25  Richard Henderson  <rth@redhat.com>
1877         PR middle-end/19609
1878         * tree-complex.c (expand_complex_div_wide): Use the correct formulae.
1880 2005-01-25  Roger Sayle  <roger@eyesopen.com>
1882         * expmed.c (choose_multiplier): Change interface to return the
1883         multiplier lowpart as an rtx instead of an unsigned HOST_WIDE_INT.
1884         (expand_divmod): Update calls to choose_multiplier.
1886 2005-01-24  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
1888         PR middle-end/19330
1889         * expmed.c (extract_bit_field): Use adjust_address instead of
1890         gen_lowpart when op0 is a MEM.
1892 2005-01-24  Steven Bosscher  <stevenb@suse.de>
1894         * cfgexpand.c (expand_gimple_tailcall): Fix typo.
1896 2005-01-24  Richard Sandiford  <rsandifo@redhat.com>
1898         * config/mips/irix-csr.c: New file.
1899         * config/mips/t-iris6 (irix-csr.o): New rule to build it.
1900         (EXTRA_MULTILIB_PARTS): Add irix-csr.o.
1901         * config/mips/iris6.h (ENDFILE_SPEC): Include it in n32 and n64
1902         executables.
1904 2005-01-24  Eric Botcazou  <ebotcazou@libertysurf.fr>
1906         PR bootstrap/19364
1907         * config.gcc (sparc-*-elf*): Remove sol2.h, sparc/sol2.h and
1908         sparc/elf.h, add sparc/sp-elf.h.
1909         (sparc-*-rtems*): Likewise.
1910         (sparclite-*-elf*): Remove sol2.h, sparc/sol2.h, sparc/elf.h and
1911         tm-dwarf2.h, add sparc/sp-elf.h.
1912         (sparc86x-*-elf): Likewise.
1913         (sparc64-*-elf*): Remove sol2.h, sparc/sol2.h and tm-dwarf2.h.
1914         * config/sparc/liteelf.h (TARGET_SUB_OS_CPP_BUILTINS): Rename into
1915         TARGET_OS_CPP_BUILTINS.
1916         * config/sparc/sp86x-elf (TARGET_SUB_OS_CPP_BUILTINS): Likewise.
1917         * config/sparc/rtemself.h (TARGET_SUB_OS_CPP_BUILTINS): Likewise.
1918         Undefine it.
1919         * config/sparc/openbsd64.h (NO_IMPLICIT_EXTERN_C): Undefine.
1920         * config/sparc/sp64-elf.h (NO_IMPLICIT_EXTERN_C): New macro.
1921         (SWITCH_TAKES_ARG): Likewise.
1922         (LOCAL_LABEL_PREFIX): Likewise.
1923         (ASM_GENERATE_INTERNAL_LABEL): Likewise.
1924         (TARGET_N_FORMAT_TYPES): Delete.
1925         (TARGET_FORMAT_TYPES): Likewise.
1926         (ASM_DECLARE_FUNCTION_SIZE): Likewise.
1927         * config/sparc/elf.h: Delete.
1928         * config/sparc/sp-elf.h: New file.
1930 2005-01-24  Kazu Hirata  <kazu@cs.umass.edu>
1932         * tree-flow-inline.h (phi_arg_from_edge): Remove.
1933         * tree-flow.h: Remove the corresponding prototype.
1934         * tree-ssa-operands.h, tree-ssa-threadupdate.c, tree-ssa.c,
1935         tree-vectorizer.c: Use dest_idx instead of phi_arg_from_edge.
1937 2005-01-24  Jakub Jelinek  <jakub@redhat.com>
1939         PR target/17751
1940         * config/rs6000/rs6000.c (rs6000_file_start): Create toc section
1941         for AIX ABI or ELF -fPIC.
1942         (rs6000_emit_load_toc_table): Don't create toc_section here.
1943         (rs6000_xcoff_file_start): Nor here.
1945 2005-01-24  J"orn Rennecke <joern.rennecke@st.com>
1947         * sh.c (ra.h): Don't #include.
1948         (hard_regs_intersect_p): New function, resurrected from ra.c.
1950         * sh.c: Fix 1996 Copyright.
1952 2005-01-24  Richard Henderson  <rth@redhat.com>
1953             Aldy Hernandez  <aldyh@redhat.com>
1955         * regrename.c (note_sets): Handle subregs.
1957 2005-01-24  Joseph S. Myers  <joseph@codesourcery.com>
1959         PR bootstrap/18058
1960         * genconditions.c (write_header, write_conditions): Elide file if
1961         not GCC >= 3.0.1.
1963 2005-01-24  Kazu Hirata  <kazu@cs.umass.edu>
1965         * c-opts.c, expmed.c, gengtype.c, tree-complex.c,
1966         config/arm/iwmmxt.md, config/avr/avr.c, config/s390/s390.h:
1967         Update copyright.
1969 2005-01-24  Jakub Jelinek  <jakub@redhat.com>
1971         * builtins.c (get_pointer_alignment, gimplify_va_arg_expr,
1972         expand_builtin_printf, expand_builtin_fprintf,
1973         expand_builtin_sprintf): Use POINTER_TYPE_P instead TREE_CODE
1974         checking against POINTER_TYPE.
1975         (validate_arglist): Handle POINTER_TYPE code by checking
1976         POINTER_TYPE_P.
1978 2005-01-24  Paolo Bonzini  <bonzini@gnu.org>
1980         * rtlanal.c (non_rtx_starting_operands, for_each_rtx_1,
1981         init_rtlanal): New.
1982         (for_each_rtx): Call for_each_rtx_1.
1983         * rtl.h (init_rtlanal): Declare.
1984         * toplev.c (backend_init): Call init_rtlanal.
1986 2005-01-24  Jakub Jelinek  <jakub@redhat.com>
1988         * flow.c (propagate_one_insn): Formatting.
1990         PR middle-end/19551
1991         * flow.c (libcall_dead_p): Be more conservative if unsure.
1992         If there are any instructions between insn and call, see if they are
1993         all dead before saying the libcall is dead.
1995 2005-01-24  Uros Bizjak  <uros@kss-loka.si>
1997         * config/i386/i386.md (*extendsfdf2_sse): Use "nonimmediate_operand"
1998         operand constraint for operand 0.
2000 2005-01-23  Richard Henderson  <rth@redhat.com>
2002         PR 19486
2003         * tree-complex.c (expand_complex_div_wide): Set EDGE_FALLTHRU on
2004         edges leading to join block.
2006 2005-01-23  Roger Sayle  <roger@eyesopen.com>
2008         * expmed.c (expand_mult_highpart): Make static.  Change type of
2009         constant multiplier argument from unsigned HOST_WIDE_INT to rtx.
2010         (expand_divmod): Updates calls to expand_mult_highpart by using
2011         gen_int_mode to pass a CONST_INT rtx.
2012         * rtl.h (expand_mult_highpart): Remove prototype.
2014 2005-01-23  Kazu Hirata  <kazu@cs.umass.edu>
2016         * flow.c (regset_bytes, regset_size): Remove.
2018         * cfganal.c: Fix a reference to Harvey's paper.
2020 2005-01-23  Steven Bosscher  <stevenb@suse.de>
2022         PR rtl-optimization/19464
2023         * tree-optimize.c (init_tree_optimization_passes): Add one more
2024         copyrename pass just before out-of-ssa.
2026 2005-01-23  Joseph S. Myers  <joseph@codesourcery.com>
2028         PR bootstrap/18058
2029         * recog.c (recog_memoized): Don't define if GENERATOR_FILE.
2030         * ggc-none.c (ggc_free): Define.
2032 2005-01-23  Kazu Hirata  <kazu@cs.umass.edu>
2034         * cse.c (max_reg, max_insn_uid): Remove.
2035         (cse_main): Don't access max_reg or max_insn_uid.
2037         * c-common.c (explicit_flag_signed_bitfields,
2038         lang_statement_code_p, lang_expand_function_end): Remove.
2039         * c-common.h: Remove the corresponding declarations.
2040         * c-opts.c (c_common_handle_option): Remove all write access
2041         to explicit_flag_signed_bitfields.
2043         * cgraph.c (cgraph_varpool_n_nodes): Remove.
2044         (cgraph_varpool_node): Don't access cgraph_varpool_n_nodes.
2045         * cgraph.h: Remove the corresponding declaration.
2047         * gcse.c (null_pointer_info): Remove.
2049 2005-01-23  Roger Sayle  <roger@eyesopen.com>
2050             Eric Botcazou  <ebotcazou@libertysurf.fr>
2052         * combine.c (simplify_logical): Only simplify logical expressions
2053         of the form ior(and(x,y),z) by the inverse distributive law if the
2054         result is cheaper than the original.
2056 2005-01-23  Kazu Hirata  <kazu@cs.umass.edu>
2058         * alias.c, c-common.h, c-incpath.c, c-incpath.h, expr.c,
2059         fold-const.c, gimplify.c, params.h, tree-data-ref.c,
2060         tree-if-conv.c, tree-nested.c, tree-outof-ssa.c,
2061         tree-ssa-dom.c, tree-vectorizer.c, tree.def, config/darwin.c,
2062         config/freebsd-spec.h, config/arm/arm.h,
2063         config/h8300/h8300.md, config/i386/i386.md,
2064         config/i386/predicates.md, config/i386/sse.md,
2065         config/ia64/ia64.c, config/ip2k/ip2k.c, config/s390/s390.c,
2066         config/vax/vax.md: Fix comment typos.  Follow spelling
2067         conventions.
2069 2005-01-23  Steven Bosscher  <stevenb@suse.de>
2071         * gengtype.c (walk_type): Produce `not equal to' compares for loop
2072         tests, instead of `less than'.
2074 2005-01-23  Richard Sandiford  <rsandifo@redhat.com>
2076         * function.c (assign_parm_setup_block): When creating a new stack slot
2077         for a parameter, get its alignment from the parameter's DECL_ALIGN
2078         rather than the type's TYPE_ALIGN.  Make sure that the parameter
2079         is at least word aligned.
2081 2005-01-22  Roger Sayle  <roger@eyesopen.com>
2083         PR middle-end/19378
2084         * config/avr/avr.c (avr_hard_regno_mode_ok): Rewrite.
2086 2005-01-22  Richard Henderson  <rth@redhat.com>
2088         PR target/19506
2089         * config/i386/i386.md (movsfcc_1_sse_max): Use nonimmediate_operand
2090         in both compare operands.
2091         (movdfcc_1_sse_max): Likewise.
2092         (movsfcc_1_sse): Likewise.  Add earlyclobber for scratch.
2093         (movdfcc_1_sse): Likewise.
2094         * config/i386/i386.c (ix86_split_sse_movcc): Emit copies into the
2095         scratch register as needed.
2097 2005-01-22  Richard Henderson  <rth@redhat.com>
2099         * config/i386/i386.md (smaxsf3): Fix mnemonic typo.
2101         * config/i386/i386.c (ix86_prepare_fp_compare_args): Fix is_sse test.
2103 2005-01-22  Richard Henderson  <rth@redhat.com>
2105         * genopinit.c (optabs): Use smin/smax for floating point too.
2106         * doc/md.texi: Update to match.  Clarify that floating point
2107         results are undefined for +0/-0 and NaN.
2108         * doc/rtl.texi: Likewise.
2109         * rtl.def (SMIN, SMAX): Likewise
2110         * tree.def (MIN_EXPR, MAX_EXPR): Likewise.
2112         * config/alpha/alpha.md (smaxdf3, smindf3, smaxsf3, sminsf3): Add
2113         leading 's' to the name.
2114         * config/ia64/ia64.md (smaxsf3, sminsf3, smaxdf3, smindf3,
2115         smaxxf3, sminxf3): Likewise.
2116         * config/rs6000/rs6000.md (smaxdf3, smindf3, smaxsf3, sminsf3):
2117         Likewise.
2119 2005-01-22  Paul Brook  <paul@codesourcery.com>
2121         * config/arm/arm.md: Use "Uy" constraint for wcgr load/stores.
2123 2005-01-21  Mark Dettinger  <dettinge@de.ibm.com>
2125         * config/s390/s390.c (struct processor_costs): New fields 
2126         dlgr, dlr, dr, dsgfr, dsgr.
2127         (z900_cost, z990_cost): Values for new fields.
2128         (s390_rtx_costs): New cases MEM und COMPARE in switch
2129         statement. Modified handling of SIGN_EXTEND, ZERO_EXTEND,
2130         DIV, MOD, UDIV, UMOD.
2132 2005-01-21  Ulrich Weigand  <uweigand@de.ibm.com>
2134         * config/s390/s390.md ("doloop_si64"): Reload input value directly
2135         into the register being decremented.
2136         ("doloop_si31", "doloop_di"): Likewise.
2137         ("*doloop_si_long"): Adapt pattern.
2139 2005-01-21  Ulrich Weigand  <uweigand@de.ibm.com>
2141         * config/s390/s390.h (HARD_REGNO_NREGS): Fix computation for
2142         access registers.
2143         (CLASS_MAX_NREGS): Likewise.
2145 2005-01-21  Daniel Berlin  <dberlin@dberlin.org>
2147         * doc/tree-ssa.texi (Statement Operands): Add example for new
2148         must-def macro. Note deprecation of old operands interface.
2150 2005-01-22  Richard Sandiford  <rsandifo@redhat.com>
2152         PR tree-optimization/19484
2153         * tree-cfg.c (remove_fallthru_edge): New function.
2154         (cleanup_control_flow): Remove fallthru edges from calls that are
2155         now known not to return.
2157 2005-01-20  Daniel Berlin  <dberlin@dberlin.org>
2159         Fix PR tree-optimization/19038
2160         * tree-ssa-dom.c (cprop_operand): Don't replace loop invaeriant
2161         copies with loop variant ones.
2163 2005-01-22  Kazu Hirata  <kazu@cs.umass.edu>
2165         * cfganal.c, real.h, reorg.c, timevar.def, tree-ssa-ccp.c,
2166         config/alpha/alpha-protos.h, config/alpha/alpha.h,
2167         config/alpha/alpha.md, config/alpha/predicates.md,
2168         config/sparc/freebsd.h, config/sparc/netbsd-elf.h,
2169         config/sparc/sol2.h: Update copyright.
2171         * tree-cfg.c (remove_forwarder_block_with_phi): Look at the
2172         first label to see if it is a nonlocal label.
2174 2005-01-22  David Edelsohn  <edelsohn@gnu.org>
2175             Andrew Pinski  <pinskia@physics.uc.edu>
2177         PR target/19491
2178         * config/rs6000/rs6000.c (rs6000_va_start): Saturate n_gpr at
2179         maximum number of GPRs.  Saturate n_fpr at maximum number of FPRs.
2181 2005-01-22  Ralf Corsepius  <ralf.corsepius@rtems.org>
2183         * config/rs6000/rtems.h: Update copyright.
2185 2005-01-22  Ralf Corsepius  <ralf.corsepius@rtems.org>
2187         PR target/19548
2188         * config/rs6000/rtems.h: Resurrect cpp_os_rtems_spec from gcc < 3.4.
2189         (CPP_OS_RTEMS_SPEC): New (From gcc-3.3's config/rs6000/sys4.h).
2190         (SUBSUBTARGET_EXTRA_SPECS): Use CPP_OS_RTEMS_SPEC.
2192 2005-01-22  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
2194         PR c/18809
2195         * c-typeck.c (convert_arguments): Check for error_mark_node.
2197 2005-01-21  Ian Lance Taylor  <ian@airs.com>
2199         PR tree-optimization/13000
2200         * tree-inline.c: Include "tree-flow.h".
2201         (expand_call_inline): If warn_return_type, warn if non-void inline
2202         function falls through.
2203         * tree-cfg.c (execute_warn_function_return): Don't warn about
2204         control reaching end if TREE_NO_WARNING is set.  Set
2205         TREE_NO_WARNING.
2206         * gimple-low.c (block_may_fallthru): Don't assume that SWITCH_EXPR
2207         has been lowered.
2208         * gimplify.c (shortcut_cond_expr): Don't emit a jump over the else
2209         branch if we don't need one.
2210         * c-typeck.c: Include "tree-flow.h"
2211         (c_finish_bc_stmt): Don't add a goto if the current statement
2212         list doesn't fall through to the current point.
2214 2005-01-21  Roger Sayle  <roger@eyesopen.com>
2216         PR rtl-optimization/576
2217         * real.c (real_arithmetic): Change return type from void to bool
2218         to return an indication that the result may be inexact.
2219         * real.h (real_arithmeric): Update prototype.
2220         * fold-const.c (const_binop):  Don't constant fold floating
2221         point expressions when the user specifies -frounding-math and
2222         the result may depend upon the run-time rounding mode.
2223         (fold_convert_const_real_from_real): Clean-up.
2224         (fold_initializer): Ignore flag_rounding_math for initializers.
2225         * simplify-rtx.c (simplify_binary_operation): Likewise, don't
2226         constant fold FP operations with flag_rounding_math if the
2227         result may depend upon the run-time rounding mode.
2229 2005-01-21  Tom Tromey  <tromey@redhat.com>
2231         * c-cppbuiltin.c (define__GNUC__): Correct assertion.
2233 2005-01-21  Kazu Hirata  <kazu@cs.umass.edu>
2235         * tree-cfg.c: Fix comment typos.
2237 2005-01-21  J"orn Rennecke <joern.rennecke@st.com>
2239         * passes.c (rest_of_handle_flow2): Close / open the flow2 dump file
2240         around the call to rest_of_handle_branch_target_load_optimize.
2242 2005-01-21  Eric Botcazou  <ebotcazou@libertysurf.fr>
2244         * config.gcc (sparc-*-netbsdelf*): Include dbxelf.h
2245         (sparc64-*-openbsd*): Likewise.
2246         (sparclite-*-elf*): Include tm-dwarf2.h.
2247         (sparc86x-*-elf*): Likewise.
2248         (sparc64-*-elf*): Likewise.
2249         * config/sparc/linux64.h (DWARF2_DEBUGGING_INFO): Delete.
2250         (DBX_DEBUGGING_INFO): Likewise.
2251         * config/sparc/liteelf.h (DWARF2_DEBUGGING_INFO): Likewise.
2252         (PREFERRED_DEBUGGING_TYPE): Likewise.
2253         * config/sparc/netbsd-elf.h (PREFERRED_DEBUGGING_TYPE): Likewise.
2254         * config/sparc/sp64-elf.h (DBX_DEBUGGING_INFO): Likewise.
2255         (PREFERRED_DEBUGGING_TYPE): Likewise.
2256         * config/sparc/sp86x-elf.h (DWARF2_DEBUGGING_INFO): Likewise.
2257         (PREFERRED_DEBUGGING_TYPE): Likewise.
2258         * config/sparc/sparc.h (DBX_DEBUGGING_INFO): Likewise.
2260 2005-01-21  Hans-Peter Nilsson  <hp@bitrange.com>
2262         PR target/18701
2263         * combine.c (combine_simplify_rtx): Revert change of 2004-12-31.
2265 2005-01-20  Paul Brook  <paul@codesourcery.com>
2267         * doc/rtl.texi: Document value extension requirements for CONST_INT.
2269 2005-01-20  Kazu Hirata  <kazu@cs.umass.edu>
2271         * tree-cfg.c (tree_verify_flow_info): Check that a nonlocal
2272         label is first in a sequence of labels.
2274         * tree-cfg.c (tree_verify_flow_info): Fix a typo.
2276 2005-01-20  Janis Johnson  <janis187@us.ibm.com>
2277             Giovanni Bajo  <giovannibajo@gcc.gnu.org>
2279         * doc/sourcebuild.texi (Test Directives): New.
2281 2005-01-20  Roger Sayle  <roger@eyesopen.com>
2283         * real.c (real_floor): Don't leave the result uninitialized when
2284         mode is VOIDMode, but return the unrounded intermediate value.
2285         (real_ceil): Likewise.
2287 2005-01-20  Paul Brook  <paul@codesourcery.com>
2289         * config/arm/arm.md (insv): Use gen_int_mode.
2291 2005-01-20  Eric Botcazou  <ebotcazou@libertysurf.fr>
2293         * config/sparc/freebsd.h (ASM_OUTPUT_INTERNAL_LABELREF): Delete.
2294         * config/sparc/linux.h (ASM_OUTPUT_INTERNAL_LABELREF): Likewise.
2295         * config/sparc/linux64.h (ASM_OUTPUT_INTERNAL_LABELREF): Likewise.
2296         * config/sparc/netbsd-elf.h (ASM_OUTPUT_INTERNAL_LABELREF): Likewise.
2297         * config/sparc/sol2.h (ASM_OUTPUT_INTERNAL_LABELREF): Likewise.
2299 2005-01-20  Daniel Berlin  <dberlin@dberlin.org>
2301         Fix PR debug/19124
2302         * dwarf2out.c (concat_loc_descriptor): We don't know we can use
2303         fbreg, so we have to assume we can't.
2304         (loc_descriptor_from_tree_1): Ditto.
2305         (containing_function_has_frame_base): New function.
2306         (add_location_or_const_value_attribute): Use it.
2307         Also try to generate a frame_base from a single element location
2308         list.
2309         
2310 2005-01-20  Kazu Hirata  <kazu@cs.umass.edu>
2312         PR tree-optimization/15349
2313         * timevar.def (TV_TREE_MERGE_PHI): New.
2314         * tree-cfg.c (tree_forwarder_block_p): Add a new argument
2315         PHI_WANTED.
2316         (remove_forwarder_block, cleanup_forwarder_blocks): Adjust the
2317         calls to tree_forwarder_block_p.
2318         (remove_forwarder_block_with_phi, merge_phi_nodes,
2319         gate_merge_phi, pass_merge_phi): New.
2320         * tree-optimize.c (init_tree_optimization_passes): Add
2321         pass_merge_phi.
2322         * tree-pass.h: Add an extern for pass_merge_phi;
2324 2005-01-20  Richard Henderson  <rth@redhat.com>
2326         PR target/19418
2327         * config/i386/emmintrin.h (_mm_castpd_ps, _mm_castpd_si128): New.
2328         (_mm_castps_pd, _mm_castps_si128): New.
2329         (_mm_castsi128_ps, _mm_castsi128_pd): New.
2331 2005-01-20  Richard Henderson  <rth@redhat.com>
2333         PR target/19530
2334         * config/i386/mmintrin.h (_mm_cvtsi32_si64): Use
2335         __builtin_ia32_vec_init_v2si.
2336         (_mm_cvtsi64_si32): Use __builtin_ia32_vec_ext_v2si.
2337         * config/i386/i386.c (IX86_BUILTIN_VEC_EXT_V2SI): New.
2338         (ix86_init_mmx_sse_builtins): Create it.
2339         (ix86_expand_builtin): Expand it.
2340         (ix86_expand_vector_set): Handle V2SFmode and V2SImode.
2341         * config/i386/mmx.md (vec_extractv2sf_0, vec_extractv2sf_1): New.
2342         (vec_extractv2si_0, vec_extractv2si_1): New.
2344 2005-01-20  Richard Henderson  <rth@redhat.com>
2346         PR target/16533
2347         * config/i386/i386.c (ix86_expand_push): New.
2348         * config/i386/mmx.md (push<MMXMODE>1): New.
2349         * config/i386/sse.md (push<SSEMODE>1): New.
2350         * config/i386/i386-protos.h: Update.
2352 2005-01-20  Kazu Hirata  <kazu@cs.umass.edu>
2354         * params.def, params.h, predict.c, tree-ssa-loop-im.c: Update
2355         copyright.
2357 2005-01-20  Richard Henderson  <rth@redhat.com>
2359         * rtl.def (CONST_VECTOR): Use RTX_CONST_OBJ.
2360         * rtl.h (CONSTANT_P): Don't special case CONST_VECTOR.
2362 2005-01-19  Richard Henderson  <rth@redhat.com>
2364         PR target/19350
2365         * config/i386/i386.c (ix86_expand_vector_move_misalign): Convert
2366         to V4SFmode in SSE1 fallback load path.
2368 2005-01-19  Richard Henderson  <rth@redhat.com>
2370         * config/i386/i386.c (ix86_expand_vector_init_one_var): Fix typo
2371         in QImode expansion to ix86_expand_vector_set.
2372         (ix86_expand_vector_init_general): Fix typo in V8HImode recursive call.
2374 2005-01-19  Richard Henderson  <rth@redhat.com>
2376         PR target/19511
2377         * config/i386/i386.c (ix86_preferred_reload_class): Return a proper
2378         subclass of the input class.
2379         (ix86_secondary_memory_needed): Always true for cross-MMX classes.
2380         Always true for cross-SSE1 classes.  Rationalize conditionals.
2381         * config/i386/i386.h (SSE_CLASS_P, MMX_CLASS_P): Use straight equality.
2382         * config/i386/i386.md (movsi_1): Add MMX/SSE zeros.  Fix alternatives
2383         for SSE1.  Don't check TARGET_INTER_UNIT_MOVES.
2384         (movdi_2): Add MMX/SSE zeros.
2385         (movdi_1_rex64): Likewise.  Don't check TARGET_INTER_UNIT_MOVES.
2386         (movsf_1): Don't check TARGET_INTER_UNIT_MOVES.
2387         (zero_extendsidi2_32, zero_extendsidi2_rex64): Likewise.
2388         (movsi_1_nointernunit, movdi_1_rex64_nointerunit): Remove.
2389         (movsf_1_nointerunit, zero_extendsidi2_32_1): Remove.
2390         (zero_extendsidi2_rex64_1): Remove.
2391         (MOV0 peephole): Check GENERAL_REG_P.
2393 2005-01-19  Richard Henderson  <rth@redhat.com>
2395         PR target/19427
2396         * config/i386/i386.c (ix86_expand_vector_set): Fix third and fourth
2397         shufps elements.
2398         (ix86_expand_vector_extract): Likewise.
2400 2005-01-19  Richard Henderson  <rth@redhat.com>
2402         PR middle-end/19304
2403         * expr.c (emit_move_change_mode): New argument force; use
2404         simplify_gen_subreg if true.
2405         (emit_move_via_alt_mode): Merge into ...
2406         (emit_move_via_integer): ... here.
2407         (emit_move_ccmode): Use emit_move_change_mode directly.
2409 2005-01-19  Richard Henderson  <rth@redhat.com>
2411         PR target/19518
2412         * config/alpha/alpha.c (alpha_rtx_costs): Handle HIGH.
2413         (alpha_preferred_reload_class): Handle CONST_VECTOR.
2414         (alpha_emit_set_const_1): Add no_output parameter; don't emit
2415         rtl if true.
2416         (alpha_emit_set_const): Likewise.  Make static.
2417         (alpha_emit_set_long_const): Make static.
2418         (alpha_extract_integer): Split out from alpha_expand_mov.
2419         (alpha_split_const_mov): Likewise.
2420         (alpha_expand_mov): Use them.  Handle CONST_VECTOR.
2421         (alpha_legitimate_constant_p): New.
2422         * config/alpha/alpha-protos.h: Update.
2423         * config/alpha/alpha.h (REGISTER_MOVE_COST): Correct fp<->gp cost.
2424         (LEGITIMATE_CONSTANT_P): Re-implement with a function.
2425         * config/alpha/alpha.md (movsi): Add n alternative.
2426         (movsi_nt_vms, movdi_er_nofix, movdi_er_fix, movdi_fix): Likewise.
2427         (mov<VEC>_fix, mov<VEC>_nofix): Add i alternative.
2428         (splitters for all of the above): Use alpha_split_const_mov.
2429         * config/alpha/predicates.md (non_add_const_operand): New.
2430         (non_zero_const_operand): New.
2431         (input_operand): Use alpha_legitimate_constant_p after reload.
2433 2005-01-19  Zdenek Dvorak  <dvorakz@suse.cz>
2435         PR tree-optimization/19038
2436         * tree-ssa-loop-ivopts.c (allow_ip_end_pos_p): New function.
2437         (add_candidate): Add ivs with increment in latch only if
2438         allow_ip_end_pos_p is true.
2439         (determine_iv_cost): Use empty_block_p.
2441 2005-01-19  Daniel Berlin  <dberlin@dberlin.org>
2443         * cfganal.c (compute_dominance_frontiers_1): Replace with new algorithm
2444         (compute_dominance_frontiers): Ditto.
2446 2005-01-19  Ralf Corsepius  <ralf.corsepius@rtems.org>
2448         PR target/19529
2449         * config/sh/t-rtems: New. 
2450         * config.gcc (sh-*-rtems*): Reflect having added config/sh/t-rtems.
2452 2005-01-19  Zdenek Dvorak  <dvorakz@suse.cz>
2454         * tree-ssa-ccp.c (maybe_fold_offset_to_component_ref): Always subtract
2455         the offset of the selected field.
2457 2005-01-19  Kazu Hirata  <kazu@cs.umass.edu>
2459         * tree-cfg.c (remove_forwarder_block): Fix the check to
2460         prevent a nonlocal label from appearing in the middle of a
2461         basic block.
2463 2005-01-19  Hans-Peter Nilsson  <hp@axis.com>
2465         PR rtl-optimization/19462
2466         * reorg.c (find_end_label): Create return insn only if
2467         current_function_epilogue_delay_list is empty.
2469 2005-01-19  Paolo Bonzini  <bonzini@gnu.org>
2471         * doc/passes.texi: Remove paragraph mentioning new-ra.
2473 2005-01-19  Jakub Jelinek  <jakub@redhat.com>
2475         PR rtl-optimization/15139
2476         * combine.c: Include params.h.
2477         (count_rtxs): New function.
2478         (record_value_for_reg): If replace_rtx would replace at least
2479         2 occurrences of REG in VALUE and TEM is really large, replace REG with
2480         (clobber (const_int 0)) instead of TEM.
2481         * params.def (PARAM_MAX_LAST_VALUE_RTL): New.
2482         * params.h (MAX_LAST_VALUE_RTL): New.
2483         * Makefile.in (combine.o): Depend on $(PARAMS_H).
2484         * doc/invoke.texi (--param max-last-value-rtl=N): Document.
2486         PR c/17297
2487         * c-typeck.c (digest_init): Only call build_vector if all constructor
2488         elements are *_CST nodes.
2489         * gimplify.c (gimplify_init_constructor): Likewise.
2491         PR middle-end/19164
2492         * c-typeck.c (digest_init): Only call build_vector if inside_init
2493         is a CONSTRUCTOR.
2495 2005-01-18  Tobias Schl"uter  <tobias.schlueter@physik.uni-muenchen.de>
2497         * toplev.c (init_asm_output): Remove dead #ifdef.
2499 2005-01-18  Kaz Kojima  <kkojima@gcc.gnu.org>
2501         * config/sh/linux.h (TARGET_C99_FUNCTIONS): Define.
2503 2005-01-18  Eric Botcazou  <ebotcazou@libertysurf.fr>
2505         * calls.c (expand_call): Check DECL_BUILT_IN_CLASS before
2506         accessing DECL_FUNCTION_CODE.
2507         * dojump.c (do_jump): Likewise.
2508         * gimplify.c (gimplify_call_expr): Likewise.
2509         * predict.c (expr_expected_value): Likewise.
2510         (strip_builtin_expect): Likewise.
2511         * tree-inline.c (estimate_num_insns_1): Likewise.
2512         * tree-ssa-loop-im.c (stmt_cost): Likewise
2513         * fold-const.c (fold): Test for BUILT_IN_NORMAL.
2514         (tree_expr_nonnegative_p): Likewise.
2516 2005-01-18  Eric Botcazou  <ebotcazou@libertysurf.fr>
2518         * config/sparc/sparc.c (load_pic_register): Emit the appropriate
2519         variant of the load_pcrel_sym pattern.
2520         * config/sparc/sparc.md (P macro): Move to the top.
2521         (load_pcrel_sym): Macroize using P.
2522         (save_register_window): Likewise.
2524 2005-01-18  Aldy Hernandez  <aldyh@redhat.com>
2526         * config/rs6000/rs6000.md ("sunordered"): Disable for e500.
2527         ("sordered"): Same.
2529 2005-01-18  Andrew Pinski  <pinskia@physics.uc.edu>
2531         PR C/19472
2532         * c-typeck.c (build_asm_expr): Strip nops off
2533         input memory operands.
2535 2005-01-18  David Edelsohn  <edelsohn@gnu.org>
2537         * config/rs6000/aix43.h (CPLUSPLUS_CPP_SPEC): Delete
2538         _XOPEN_SOURCE, _XOPEN_SOURCE_EXTENDED, _LARGE_FILE_API.
2539         * config/rs6000/aix51.h (CPLUSPLUS_CPP_SPEC): Same.
2540         * config/rs6000/aix52.h (CPLUSPLUS_CPP_SPEC): Same.
2542 2005-01-18  Joel Sherrill <joel.sherrill@oarcorp.com>
2544         PR target/19379
2545         * config/i386/i386.c (override_options): If the 80387 is disabled,
2546         then do not return FP values using FP registers.
2548 2005-01-18  Kazu Hirata  <kazu@cs.umass.edu>
2550         * basic-block.h, c-common.c, c-cppbuiltin.c, c-lang.c,
2551         c-tree.h, cfgbuild.c, cgraph.c, cgraph.h, collect2.c,
2552         combine.c, config.gcc, coverage.h, cse.c, cselib.c,
2553         defaults.h, df.c, dwarf2asm.c, dwarf2out.c, explow.c, expr.c,
2554         flow.c, fold-const.c, gcse.c, ggc-page.c, gimple-low.c,
2555         gimplify.c, ifcvt.c, langhooks-def.h, lcm.c, optabs.h,
2556         output.h, postreload-gcse.c, postreload.c, recog.c,
2557         resource.c, rtl.def, rtlanal.c, sched-deps.c, sched-rgn.c,
2558         targhooks.h, toplev.c, tree-data-ref.c, tree-eh.c,
2559         tree-flow.h, tree-loop-linear.c, tree-mudflap.h, tree-nrv.c,
2560         tree-optimize.c, tree-outof-ssa.c, tree-pass.h,
2561         tree-scalar-evolution.c, tree-ssa-copy.c, tree-ssa-dce.c,
2562         tree-ssa-dse.c, tree-ssa-loop-ivopts.c, tree-ssa-operands.c,
2563         tree-ssa-pre.c, tree-ssa.c, tree-vectorizer.c, tree.def,
2564         unwind-dw2-fde-darwin.c, var-tracking.c: Update copyright.
2566         * config/darwin.c, config/darwin.h, config/freebsd-spec.h,
2567         config/alpha/alpha.c, config/arm/vfp.md,
2568         config/i386/emmintrin.h, config/i386/i386-modes.def,
2569         config/i386/i386-protos.h, config/i386/i386.h,
2570         config/i386/pmmintrin.h, config/i386/ppro.md,
2571         config/i386/predicates.md, config/i386/xmmintrin.h,
2572         config/i860/i860.c, config/ia64/ia64-modes.def,
2573         config/ia64/ia64-protos.h, config/ia64/ia64.h,
2574         config/ia64/ia64.md, config/ia64/itanium1.md,
2575         config/ia64/itanium2.md, config/ia64/predicates.md,
2576         config/iq2000/iq2000.h, config/mips/linux64.h,
2577         config/rs6000/aix41.h, config/rs6000/aix43.h,
2578         config/rs6000/aix52.h, config/rs6000/darwin-fallback.c,
2579         config/rs6000/rs6000.c, config/rs6000/rs6000.h,
2580         config/rs6000/spe.md, config/sh/sh.md, config/sparc/linux.h,
2581         config/sparc/linux64.h, config/sparc/litecoff.h,
2582         config/sparc/sp64-elf.h, config/sparc/sparc.c,
2583         config/sparc/sparc.h, config/sparc/sparc.md,
2584         config/sparc/sysv4-only.h: Update copyright.
2586 2005-01-18  Richard Henderson  <rth@redhat.com>
2588         PR target/19496
2589         * config/i386/i386.c (ix86_expand_fp_movcc): Fail for LTGT and UNEQ.
2591 2005-01-18  Marc Espie  <espie@openbsd.org>
2592         * config/i386/openbsdelf.h: Typo.
2594 2005-01-18  Richard Henderson  <rth@redhat.com>
2596         * config/i386/i386.c (ix86_expand_fp_movcc): Remove TARGET_IEEE_FP
2597         special case for sse.
2598         * config/i386/predicates.md (sse_comparison_operator): Likewise.
2600 2005-01-18  Dorit Naishlos  <dorit@il.ibm.com>
2602         * tree-inline.c (estimate_num_insns_1): Added cases for
2603         ALIGN_INDIRECT_REF, MISALIGNED_INDIRECT_REF, and REALIGN_LOAD_EXPR.
2605 2005-01-18  Eric Botcazou  <ebotcazou@libertysurf.fr>
2607         PR rtl-optimization/19296
2608         * combine.c (simplify_comparison): Rewrite the condition under
2609         which a non-paradoxical SUBREG of a PLUS can be lifted when
2610         compared against a constant.
2612 2005-01-18  Andi Kleen <ak@muc.de>
2614         * c-typeck.c: (convert_for_assignment): Check warn_pointer_sign.
2615         * c.opt (-Wpointer-sign): Add.
2616         * doc/invoke.texi: (-Wpointer-sign): Add.
2618 2005-01-18  Uros Bizjak  <uros@kss-loka.si>
2620         * config/i386/i386.c (override_options): Revert 2004-11-24 change.
2621         * config/i386/i386.md (fmodsf3, dremsf3, *sinsf2, *cossf2, sincossf3,
2622         *tansf3_1, tansf2, atan2sf3_1, atan2sf3, atansf2, asinsf2, acossf2,
2623         logsf2, log10sf2, log2sf2, log1psf2, logbsf2, ilogbsf2, expsf2,
2624         exp10sf2, exp2sf2, expm1sf2, rintsf2, floorsf2, ceilsf2, btruncsf2,
2625         nearbyintsf2): Disable for TARGET_SSE_MATH.  Leave patterns enabled
2626         for TARGET_MIX_SSE_I387.
2627         (fmoddf3, dremdf3, *sindf2, *sinextendsfdf2, *cosdf2, *cosextendsfdf2,
2628         sincosdf3, *sincosextendsfdf3, *tandf3_1, tandf2, atan2df3_1,
2629         atan2df3, atandf2, asindf2, acosdf2, logdf2, log10df2, log2df2,
2630         log1pdf2, logbdf2, expdf2, exp10df2, exp2df2, expm1df2, rintdf2,
2631         floordf2, ceildf2, btruncdf2, nearbyintdf2): Disable for
2632         (TARGET_SSE2 && TARGET_SSE_MATH).  Leave patterns enabled for
2633         TARGET_MIX_SSE_I387.
2634         (atan2sf3, atan2df3, atan2xf3): Remove register constraints
2635         from expander.
2637 2005-01-18  Uros Bizjak  <uros@kss-loka.si>
2639         PR target/19424
2640         * config/i386/mmx.md (*movv2sf_internal_rex64, *movv2sf_internal):
2641         Add movaps alternative for xmm reg->reg move.
2643 2005-01-17  Jeff Law  <law@redhat.com>
2645         * tree-ssa-dom.c (tree_ssa_dominator_optimize): Clear SSA_NAME_VALUE
2646         at the end of the main DOM loop rather than just before DOM exits.
2648 2005-01-17  Diego Novillo  <dnovillo@redhat.com>
2650         PR tree-optimization/19121
2651         * tree-ssa-alias.c (compute_flow_sensitive_aliasing): When
2652         adding aliases to a name tag, also add them to the pointer's
2653         type tag.
2654         * tree-ssa-copy.c (merge_alias_info): Do not merge flow
2655         sensitive alias info at all.  Only check that the two pointers
2656         have compatible pointed-to sets.
2657         * tree-ssa.c (verify_name_tags): Verify that the alias set of
2658         a pointer's type tag is a superset of the alias set of the
2659         pointer's name tag.
2661 2005-01-17  James E Wilson  <wilson@specifixinc.com>
2663         PR target/19357
2664         * config/ia64/ia64.md (movxf): Handle general register source.  Adjust
2665         comment to document why.
2667 2005-01-17  Richard Henderson  <rth@redhat.com>
2669         * config/i386/sse.md (smaxv4sf3_finite, sse_vmsmaxv4sf3_finite,
2670         sminv4sf3_finite, sse_vmsminv4sf3_finite, smaxv2df3_finite,
2671         sse2_vmsmaxv2df3_finite, sminv2df3_finite,
2672         sse2_vmsminv2df3_finite): New.
2673         (smaxv4sf3, sse_vmsmaxv4sf3, sminv4sf3, sse_vmsminv4sf3, smaxv2df3,
2674         sse2_vmsmaxv2df3, sminv2df3, sse2_vmsminv2df3): Remove commutative.
2675         Force op1 into register.
2677 2005-01-17  Kelley Cook  <kcook@gcc.gnu.org>
2679         * Makefile.in (STAGEMOVESTUFF): Stage all the stamp files to prevent
2680         bubblestrap from always rebuilding build directory.
2682 2005-01-17  Ulrich Weigand  <uweigand@de.ibm.com>
2684         * config/s390/s390.md ("*clc"): Remove incorrect '='.
2685         ("*cmpmem_short"): Likewise.
2687 2005-01-17  Steven Bosscher  <stevenb@suse.de>
2689         * basic-block.h: Document BB_* flags.
2690         * regrename.c (copyprop_hardreg_forward): Don't use BB_VISITED,
2691         use an sbitmap instead.
2692         * sched-rgn.c (compute_trg_info): Likewise.
2694 2005-01-17  Richard Sandiford  <rsandifo@redhat.com>
2696         * config.gcc (mips64*-*-linux*): Set the default abi to n32.  Remove
2697         redundant target_cpu_default and extra_parts lines.  Use the default
2698         "from-abi" ISA.
2699         * config/mips/linux64.h (DRIVER_DEFAULT_ABI_SELF_SPEC): Delete.
2700         (SUBTARGET_EXTRA_SPECS): Delete.
2701         (DRIVER_SELF_SPECS): Remove architecture lines.  Set the ABI directly.
2702         (SUBTARGET_ASM_SPEC): Remove -mabi=n32 and -mabi=64 mappings.
2703         * config/mips/t-linux64 (MULTILIB_DIRNAMES): Use "32" for -mabi=32
2704         and "n32" for -mabi=n32.
2706 2005-01-17  Ian Lance Taylor  <ian@airs.com>
2708         PR c/5675
2709         * c-typeck.c (build_c_cast): Revert patch of 2003-02-16: don't
2710         fold constant variables into initial values.
2712 2005-01-17  Kazu Hirata  <kazu@cs.umass.edu>
2714         * tree-cfg.c (tree_can_merge_blocks_p): Reorder two checks.
2716         * tree-cfg.c (tree_forwarder_block_p): Speed up by walking
2717         through the statements backward.
2719 2005-01-17  Ian Lance Taylor  <ian@airs.com>
2721         PR middle-end/13127:
2722         * tree-inline.c (expand_call_inline): Set TREE_NO_WARNING on
2723         a variable set to the return value of the inlined function.
2725 2005-01-17  Mark Dettinger  <dettinge@de.ibm.com>
2727         * rtlanal.c (rtx_cost): Assign cost of 0 to a SUBREG
2728         when modes are tieable.
2730 2005-01-17  Ranjit Mathew  <rmathew@hotmail.com>
2732         * gthr-posix.h (__gthread_active_p): Use pthread_cancel instead
2733         of pthread_create to find out if threads are enabled.
2734         * gthr-posix95.h (__gthread_active_p): Likewise.
2736 2005-01-17  Paolo Bonzini  <bonzini@gnu.org>
2738         * common.opt (-fnew-ra): Remove.
2739         * ra*.*: Remove.
2740         * toplev.h (flag_new_regalloc): Remove.
2741         * Makefile.in (ra*.*): Don't mention.
2742         * passes.c (rest_of_handle_new_regalloc): Remove.
2743         (rest_of_handle_combine, rest_of_compilation): Always consider
2744         flag_new_regalloc as false.
2745         * doc/invoke.texi: Don't document -fnew-ra.
2747 2005-01-17  Paolo Bonzini <bonzini@gnu.org>
2749         * bb-reorder.c (fix_edges_for_rarely_executed_code): Remove
2750         last parameter to reg_scan.
2751         * loop.c (loop_optimize): Likewise.
2752         * passes.c (rest_of_handle_tracer, rest_of_handle_if_conversion,
2753         rest_of_handle_web, rest_of_handle_cfg, rest_of_handle_jump_bypass,
2754         rest_of_handle_life, rest_of_handle_cse, rest_of_handle_cse2,
2755         rest_of_handle_gcse, rest_of_handle_loop_optimize,
2756         rest_of_handle_loop2, rest_of_handle_jump2): Likewise.
2757         * regclass.c (reg_scan): Likewise, for the declaration.
2758         * rtl.h (reg_scan): Likewise, for the prototype.
2760 2005-01-17  Kazu Hirata  <kazu@cs.umass.edu>
2762         * tree-ssa-dom.c (tree_ssa_dominator_optimize): Don't call
2763         mark_dfs_back_edges.
2765 2005-01-16  Daniel Berlin  <dberlin@dberlin.org>
2767         * tree-ssa-pre.c (add_to_sets): s1 may be NULL.
2768         (compute_avail): Uses don't go in tmp_gen.
2770 2005-01-16  Steven Bosscher  <stevenb@suse.de>
2772         * ggc-page.c (ggc_alloc_stat): Use __builtin_ctzl instead of a
2773         loop to look for a free slot in a page entry.
2775 2005-01-16  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
2777         PR target/16304
2778         * defaults.h (TARGET_DEFERRED_OUTPUT_DEFS): Provide default.
2779         * toplev.c (compile_file): Call process_pending_assemble_output_defs
2780         just before targetm.asm_out.file_end.
2781         * tree.h (process_pending_assemble_output_defs): Declare.
2782         * varasm.c (assemble_output_def, process_pending_assemble_output_defs):
2783         New functions.
2784         (assemble_alias): Defer generation of assembly code for defines when
2785         TARGET_DEFERRED_OUTPUT_DEFS is true.
2786         * config/rs6000/aix41.h (TARGET_DEFERRED_OUTPUT_DEFS): Define.
2787         * config/rs6000/aix43.h (TARGET_DEFERRED_OUTPUT_DEFS): Define.
2788         * doc/tm.texi (TARGET_DEFERRED_OUTPUT_DEFS): document.
2790 2005-01-15  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
2792         PR target/19336
2793         * pa.c (pa_scalar_mode_supported_p): New function.
2794         (TARGET_SCALAR_MODE_SUPPORTED_P): Define.
2795         * pa.h (MIN_UNITS_PER_WORD): Add comment.
2797         * pa-protos.h (prefetch_operand): Delete.
2798         (prefetch_cc_operand, prefetch_nocc_operand): New declations.
2799         * pa.c (prefetch_operand): Delete.
2800         (prefetch_cc_operand, prefetch_nocc_operand): New functions.
2801         * pa.h (EXTRA_CONSTRAINT): Add `W' constraint.
2802         (PREDICATE_CODES): Delete prefetch_operand.  Add prefetch_cc_operand
2803         and prefetch_nocc_operand.
2804         * pa.md (prefetch): Rework to avoid reload problems handling short
2805         displacements when a cache control completer needs to be provided.
2806         (prefetch_32, prefetch_64): Delete.
2807         (prefetch_cc, prefetch_nocc): New patterns.
2809 2005-01-15  David Edelsohn  <edelsohn@gnu.org>
2811         * config/rs6000/aix52.h (CPLUSPLUS_CPP_SPEC): Revert previous change.
2813 2005-01-15  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
2815         PR ada/19388
2816         * pa.c (pa_asm_output_aligned_common): Warn if specified alignment
2817         exceeds maximum alignment for global common data.
2818         * pa64-hpux.h (MAX_OFILE_ALIGNMENT): Define to 32768.
2819         * som.h (MAX_OFILE_ALIGNMENT): Likewise.
2821 2004-01-15  Roger Sayle  <roger@eyesopen.com>
2823         * tree-ssa-dom.c (extract_range_from_cond): Correct condition.
2825 2004-01-15  Roger Sayle  <roger@eyesopen.com>
2827         * harg-reg-set.h (reg_class_names): Prototype global array.
2828         * regclass.c (reg_class_names): Declare here and initialize to
2829         REG_CLASS_NAMES.
2830         (dump_regclass): Remove local declaration of reg_class_names.
2831         (regclass): Likewise.
2832         * cfg.c (dump_flow_info): Likewise.
2833         * ra-debug.c (reg_class_names): Likewise.
2834         * regrename.c (reg_class_names): Likewise.
2835         * reload.c (reg_class_names): Likewise.
2836         * reload1.c (spill_failure): Likewise.
2837         * config/m68hc11/m68hc11.c (reg_class_names): Likewise.
2839 2005-01-15  Ulrich Weigand  <uweigand@de.ibm.com>
2841         * config/s390/s390.md ("reload_outti"): Remove predicate for
2842         output operand.  Abort if operand is not a MEM.
2843         ("reload_outdi", "reload_outdf"): Likewise.
2845 2005-01-15  Marc Espie  <espie@openbsd.org>
2847         * config.gcc (*-*-openbsd*): Set HAS_LIBC_R for OpenBSD <= 3.2.
2848         (i[34567]86-*-openbsd*): Switch to ELF for OpenBSD >= 3.4.
2849         * config/openbsd.h:  Fix C++ includes for native configurations.
2850         Add proper OS_CPP_BUILTINS.  Fix libspec for recent OpenBSD.
2851         Add trampoline support.
2852         * config/i386/openbsdelf.h: New.
2854 2005-01-15  Marc Espie  <espie@openbsd.org>
2856         * collect2.c (main): Explicitly parse -dynamic-linker option.
2858 2005-01-15  Jakub Jelinek  <jakub@redhat.com>
2860         PR tree-optimization/19060
2861         * tree-ssa-dom.c (extract_range_from_cond) <case LT_EXPR, GT_EXPR>:
2862         Return 0 if op1 <= TYPE_MIN_VALUE () resp. op1 >= TYPE_MAX_VALUE ().
2863         (simplify_cond_and_lookup_avail_expr): Add assert for dummy == 0
2864         and handle extract_range_from_cond returning false.
2865         * fold-const.c (fold): Optimize comparisons with min/max even for
2866         width > HOST_BITS_PER_WIDE_INT.
2868 2005-01-15  Ralf Corsepius  <ralf.corsepius@rtems.org>
2870         * config/mips/rtems.h (MIPS_DEFAULT_GVALUE): Set to 0.
2871         * config/mips/t-rtems (MULTILIBS_DIRNAMES,MULTILIB_OPTIONS): 
2872         Remove little endian multilib variants.
2873         Add mips32 multilib variant.
2875 2005-01-15  Kazu Hirata  <kazu@cs.umass.edu>
2877         * explow.c (copy_all_reg, stabilize): Remove.
2878         * expr.h: Remove the corresponding prototypes.
2880         * rtlanal.c (regs_set_between_p): Remove.
2881         * rtl.h: Remove the corresponding prototype.
2883 2005-01-14  David Edelsohn  <edelsohn@gnu.org>
2885         * config/rs6000/rs6000.c (rs6k_nonimmediate_operand): Rename
2886         to rs6000_nonimmediate_operand.
2887         * config/rs6000/rs6000.h (PREDICATE_CODES): Rename
2888         rs6k_nonimmediate_operand to rs6000_nonimmediate_operand.
2889         * config/rs6000/rs6000.md (movsi_internal1): Rename predicate to
2890         rs6000_nonimmediate_operand.
2891         * config/rs6000/spe.md (movdf_e500_double): Rename predicate to
2892         rs6000_nonimmediate_operand.
2894 2005-01-14  Andrew Pinski  <pinskia@physics.uc.edu>
2896         * tree-ssa-alias.c (pass_may_alias): Add TODO_verify_stmts.
2898 2005-01-14  Aldy Hernandez  <aldyh@redhat.com>
2900         * config/rs6000/rs6000.h (CLASS_MAX_NREGS): DF goes in 1 register
2901         on e500v2.
2902         (CANNOT_CHANGE_MODE_CLASS): Restrict DI mode changes on e500v2.
2903         (PREDICATE_CODES): Add rs6k_nonimmediate_operand.
2905         * config/rs6000/rs6000.c (invalid_e500_subreg): New.
2906         (rs6k_nonimmediate_operand): New.
2907         (rs6000_legitimate_offset_address_p): Handle DI modes on e500v2
2908         correctly.
2909         (legitimate_lo_sum_address_p): Same.
2910         (rs6000_legitimize_address): Same.
2911         (rs6000_legitimize_reload_address): Same.
2912         (rs6000_legitimate_address): Same.
2913         (spe_build_register_parallel): Pass DF and DC modes in a DI
2914         register.
2916         * config/rs6000/rs6000.md ("*movsi_internal1"): Change predicate
2917         to rs6k_nonimmediate_operand.
2919         * config/rs6000/spe.md ("*frob_df_di"): New.
2920         ("*frob_di_df"): New.
2921         ("*frob_di_df_2"): New.
2922         ("*mov_sidf_e500_subreg0"): New.
2923         ("*mov_sidf_e500_subreg4"): New.
2924         ("*movdf_e500_double"): Change predicate to
2925         rs6k_nonimmediate_operand.
2927 2005-01-14  Aldy Hernandez  <aldyh@redhat.com>
2929         * postreload.c (move2add_note_store): Only call
2930         trunc_int_for_mode on scalar integers.
2932 2005-01-14  Steven Bosscher  <stevenb@suse.de>
2934         * tree-ssa-dce.c (visited_control_parents): New sbitmap to
2935         replace BB_VISITED uses.
2936         (find_obviously_necessary_stmts): Don't clear BB_VISITED.
2937         (propagate_necessity): Check the bitmap instead of BB_VISITED.
2938         (tree_dce_done): Free visited_control_parents.
2939         (perform_tree_ssa_dce): Allocate and clear it.
2940         * tree-ssa-pre.c (compute_antic_aux): Make non-recursive.
2941         (compute_antic): Iterate from here using a DFS.  Use an sbitmap
2942         instead of BB_VISITED.
2944 2005-01-14  Kazu Hirata  <kazu@cs.umass.edu>
2946         * c-tree.h, coverage.h, langhooks-def.h, optabs.h, output.h,
2947         rtl.h, targhooks.h, tree-flow.h, tree-mudflap.h, tree.h:
2948         Remove unused prototypes.
2950 2005-01-14  Aldy Hernandez  <aldyh@redhat.com>
2952         * config/rs6000/rs6000.c (rs6000_stack_info): Fix caching of SPE
2953         64-bit register usage.
2954         (spe_func_has_64bit_regs_p): Add FIXME note.
2956 2005-01-14  Aldy Hernandez  <aldyh@redhat.com>
2958         * config/rs6000/rs6000.c (rs6000_generate_compare): Replace
2959         flag_finite_math_only with flag_unsafe_math_optimizations.
2961 2005-01-14  J. D. Johnston  <jjohnst@us.ibm.com>
2963         * config/s390/tpf-unwind.h (s390_fallback_frame_state): Correct
2964         end-of-stack check.
2965         (__tpf_eh_return): Copy TPF private stack area from the module
2966         boundary stack frame.  Add check for when module addresses are
2967         equal, but no stub address is found.
2969 2005-01-14  Richard Earnshaw  <rearnsha@arm.com>
2971         PR target/7525
2972         * arm.h (struct machine_function): Add call_via field.
2973         (thumb_call_via_label): Declare.
2974         * arm.c (thumb_call_via_label): New variable.
2975         (thumb_call_reg_needed): New variable.
2976         (arm_output_function_epilogue): For Thumb code, output any per-function
2977         call-indirect trampolines.
2978         (thumb_call_via_reg): New function.
2979         (arm_file_end): New function.
2980         (TARGET_ASM_FILE_END): Call arm_file_end.
2981         (aof_file_end): Likewise.
2982         * arm-protos.h (thumb_call_via_reg): Declare.
2983         * arm.md (call_reg_thumb, call_value_reg_thumb): Call 
2984         thumb_call_via_reg in normal case.
2986 2005-01-14  Jakub Jelinek  <jakub@redhat.com>
2988         PR middle-end/19084
2989         PR rtl-optimization/19348
2990         * recog.c (peephole2_optimize): Do global life update if some peephole
2991         decides it doesn't need at least one of its inputs and that change
2992         influences liveness at the start of the basic block.
2994         * basic-block.h (EXECUTE_IF_AND_COMPL_IN_REG_SET): Needs 2 REGSET
2995         arguments instead of 1.
2997 2005-01-14  Eric Botcazou  <ebotcazou@libertysurf.fr>
2999         PR middle-end/18820
3000         * varasm.c (initializer_constant_valid_p) <ADDR_EXPR>: Return
3001         zero for nested functions needing a static chain or functions
3002         with a non-constant address.
3004 2005-01-13  Roger Sayle  <roger@eyesopen.com>
3006         * simplify-rtx.c (simplify_binary_operation) <AND>: Optimize
3007         (and (sign_extend X) C) into (zero_extend (and X C)).
3009 2005-01-13  David O'Brien  <obrien@FreeBSD.org>
3011         * config/freebsd-spec.h:  Make KSE pthread lib logic the default.
3013 2005-01-13  Richard Henderson  <rth@redhat.com>
3015         PR target/19009
3016         PR target/19250
3017         PR target/19252
3018         * config/i386/i386.md (cmpdf, cmpsf, bunordered, bordered, buneq,
3019         bunge, bungt, bunle, bunlt, bltgt): Enable for TARGET_SSE_MATH,
3020         not just TARGET_SSE.
3021         (cmpfp_i_387): Rename from cmpfp_i.  Move after sse patterns.
3022         (cmpfp_i_mixed): Rename from cmpfp_i_sse; use for TARGET_MIX_SSE_I387.
3023         (cmpfp_i_sse): Rename from cmpfp_i_sse_only; use for TARGET_SSE_MATH.
3024         (cmpfp_iu_mixed, cmpfp_iu_sse, cmpfp_iu_387): Similarly.
3025         (fp_jcc_1_mixed, fp_jcc_1_sse, fp_jcc_1_387): Similarly.
3026         (fp_jcc_2_mixed, fp_jcc_2_sse, fp_jcc_2_387): Similarly.
3027         (fp_jcc_3_387, fp_jcc_4_387, fp_jcc_5_387, fp_jcc_6_387,
3028         fp_jcc_7_387, fp_jcc_8_387): Rename from fp_jcc_N.
3029         (movdicc_c_rex64): Rename with '*'.
3030         (movsfcc, movdfcc): Add checks for 387 and sse math to condition.
3031         (movsfcc_1_sse_min, movsfcc_1_sse_max, movsfcc_1_sse): New.
3032         (movsfcc_1_387): Rename from movsfcc_1.
3033         (movdfcc_1_sse_min, movdfcc_1_sse_max, movdfcc_1_sse): New.
3034         (movdfcc_1, movdfcc_1_rex64): Add check for 387.
3035         (sminsf3, smaxsf3, smindf3, smaxdf3): New.
3036         (minsf3, minsf, minsf_nonieee, minsf_sse, mindf3, mindf,
3037         mindf_nonieee, mindf_sse, maxsf3, maxsf, maxsf_nonieee, maxsf_sse,
3038         maxdf3, maxdf, maxdf_nonieee, maxdf_sse, sse_movsfcc, sse_movsfcc_eq,
3039         sse_movdfcc, sse_movdfcc_eq, sse_movsfcc_const0_1,
3040         sse_movsfcc_const0_2, sse_movsfcc_const0_3, sse_movsfcc_const0_4,
3041         sse_movdfcc_const0_1, sse_movdfcc_const0_2, sse_movdfcc_const0_3,
3042         sse_movdfcc_const0_4): Remove.
3043         * config/i386/i386.c (ix86_expand_fp_movcc): For TARGET_SSE_MATH,
3044         recognize min/max early.  Update for changed sse cmove patterns.
3045         (ix86_split_sse_movcc): New.
3046         * config/i386/i386-protos.h: Update.
3048 2005-01-13  Steven Bosscher  <stevenb@suse.de>
3050         * tree-ssa-dse.c (fix_phi_uses): Use SSA operand iterators.
3051         (fix_stmt_v_may_defs): Likewise.
3053 2005-01-13  Richard Henderson  <rth@redhat.com>
3055         * config/i386/i386.c (ix86_expand_fp_absneg_operator): Use elt_mode
3056         for converting the mask.
3058 2005-01-13  David Edelsohn  <edelsohn@gnu.org>
3060         * config/rs6000/aix52.h (CPLUSPLUS_CPP_SPEC): Change _XOPEN_SOURCE
3061         definition to 600.
3063 2005-01-13  Richard Henderson  <rth@redhat.com>
3065         * config/i386/i386.c (IX86_BUILTIN_MOVQ, IX86_BUILTIN_LOADD,
3066         IX86_BUILTIN_STORED, IX86_BUILTIN_MOVQ2DQ,
3067         IX86_BUILTIN_MOVDQ2Q): Remove.
3068         (IX86_BUILTIN_VEC_EXT_V4SI): New.
3069         (ix86_init_mmx_sse_builtins, ix86_expand_builtin): Update to match.
3070         (ix86_expand_vector_extract): For V4S[FI], extract element 0 after 
3071         shuffling.
3072         * config/i386/sse.md (sse_concatv2sf): Accept zero operand 2.
3073         (sse2_pextrw): Fix immediate constraint.
3074         (sse2_loadq, sse2_loadq_rex64): Remove.
3075         * config/i386/emmintrin.h (_mm_cvtsi128_si32, _mm_cvtsi128_si64x):
3076         Use __builtin_ia32_vec_ext_<size>.
3077         (_mm_cvtsi32_si128, _mm_cvtsi64x_si128): Use _mm_set_epi<size>.
3079 2005-01-13  Aldy Hernandez  <aldyh@redhat.com>
3081         * function.c (assign_parm_setup_block): Look inside original
3082         entry_parm when inspecting PARALLEL.
3084 2005-01-13  Ralf Corsepius  <ralf.corsepius@rtems.org>
3085             Joel Sherrill  <joel@oarcorp.com>
3087         PR target/19399
3088         * gthr-rtems.h (__gthread_recursive_mutex_t): New type.
3089         (__GTHREAD_RECURSIVE_MUTEX_INIT_FUNCTION): Define to
3090         rtems_gxx_recursive_mutex_init.
3091         (__gthread_recursive_mutex_lock): New function.
3092         (__gthread_recursive_mutex_trylock): Likewise.
3093         (__gthread_recursive_mutex_unlock): Likewise.
3095 2005-01-13  Ralf Corsepius <ralf.corsepius@rtems.org>
3097         * config/i386/t-rtems-i386: Multilib on -mtune instead of -mcpu.
3099 2005-01-13  Jan Beulich  <jbeulich@novell.com>
3101         * config/ia64/ia64.md (ashlti3, ashlti3_internal): New.
3102         (ashrti3_internal): Indicate output is early clobber. Generate result
3103         into output rather than first input. Use move for low word of output
3104         if shift count is exactly 64.
3105         (lshrti3_internal): Likewise.
3107 2005-01-13  Hans-Peter Nilsson  <hp@bitrange.com>
3109         PR target/18329
3110         PR target/18330
3111         * reload1.c (delete_output_reload): Don't delete an output reload
3112         if the pseudo lives longer than a single basic block.  Adjust and
3113         improve wording of comment.
3115 2005-01-12  Andrew Pinski  <pinskia@physics.uc.edu>
3117         PR target/19334
3118         * config/darwin.c (machopic_select_section): Use TYPE_SIZE_UNIT instead
3119         of TYPE_SIZE where we mean the number of bytes.
3121 2005-01-12  Aldy Hernandez  <aldyh@redhat.com>
3123         * function.c (assign_parm_setup_block): Relax condition on
3124         multi-register optimization.
3126 2005-01-12  Nick Clifton  <nickc@redhat.com>
3128         * config/sh/sh.md (udivsi3_sh2a, divsi3_sh2a): Give these patterns
3129         an "in_delay_slot" attribute of "no" to prevent them being used in
3130         delay slots.  This is forbidden because they might generate
3131         exceptions.
3133 2005-01-12  Alan Modra  <amodra@bigpond.net.au>
3135         PR target/19389
3136         * config/rs6000/rs6000.md (movtf_internal): Replace r->o and m->r
3137         with r->Y and Y->r.
3139 2005-01-12  Nick Clifton  <nickc@redhat.com>
3141         * config/iq2000/iq2000.h (ASM_SPEC): Undefine (to stop -Qy being
3142         passed on to GAS) but do not define, as GAS no longer supports or
3143         needs the -m2000 option.
3145 2005-01-11  Roger Sayle  <roger@eyesopen.com>
3147         * builtins.c (fold_builtin_fabs): Convert argument to the appropriate
3148         type as args of unprototyped builtins aren't automatically promoted.
3149         (fold_builtin_abs): Likewise.
3151 2005-01-11  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
3153         * Makefile.in: Set a `build-warn' variable.
3155 2005-01-11  Zdenek Dvorak  <dvorakz@suse.cz>
3157         PR tree-optimization/17949
3158         * tree-ssa-loop-ivopts.c (may_be_unaligned_p): New function.
3159         (find_interesting_uses_address): Use it.
3161 2005-01-11  Aldy Hernandez  <aldyh@redhat.com>
3163         * regrename.c (kill_value): Handle subreg's that won't simplify.
3165 2005-01-11  Richard Henderson  <rth@redhat.com>
3167         PR target/13366
3168         * config/i386/i386.h (enum ix86_builtins): Move ...
3169         * config/i386/i386.c: ... here.
3170         (IX86_BUILTIN_MOVDDUP, IX86_BUILTIN_MMX_ZERO, IX86_BUILTIN_PEXTRW,
3171         IX86_BUILTIN_PINSRW, IX86_BUILTIN_LOADAPS, IX86_BUILTIN_LOADSS,
3172         IX86_BUILTIN_STORESS, IX86_BUILTIN_SSE_ZERO, IX86_BUILTIN_PEXTRW128,
3173         IX86_BUILTIN_PINSRW128, IX86_BUILTIN_LOADAPD, IX86_BUILTIN_LOADSD,
3174         IX86_BUILTIN_STOREAPD, IX86_BUILTIN_STORESD,  IX86_BUILTIN_STOREHPD,
3175         IX86_BUILTIN_STORELPD, IX86_BUILTIN_SETPD1, IX86_BUILTIN_SETPD,
3176         IX86_BUILTIN_CLRPD, IX86_BUILTIN_LOADPD1, IX86_BUILTIN_LOADRPD,
3177         IX86_BUILTIN_STOREPD1, IX86_BUILTIN_STORERPD, IX86_BUILTIN_LOADDQA,
3178         IX86_BUILTIN_STOREDQA, IX86_BUILTIN_CLRTI,
3179         IX86_BUILTIN_LOADDDUP): Remove.
3180         (IX86_BUILTIN_VEC_INIT_V2SI, IX86_BUILTIN_VEC_INIT_V4HI,
3181         IX86_BUILTIN_VEC_INIT_V8QI, IX86_BUILTIN_VEC_EXT_V2DF,
3182         IX86_BUILTIN_VEC_EXT_V2DI, IX86_BUILTIN_VEC_EXT_V4SF,
3183         IX86_BUILTIN_VEC_EXT_V8HI, IX86_BUILTIN_VEC_EXT_V4HI,
3184         IX86_BUILTIN_VEC_SET_V8HI, IX86_BUILTIN_VEC_SET_V4HI): New.
3185         (ix86_init_builtins): Make static.
3186         (ix86_init_mmx_sse_builtins): Update for changed builtins.
3187         (ix86_expand_binop_builtin): Only use ix86_fixup_binary_operands
3188         if all the modes match.  Otherwise, fake it.
3189         (get_element_number, ix86_expand_vec_init_builtin,
3190         ix86_expand_vec_ext_builtin, ix86_expand_vec_set_builtin): New.
3191         (ix86_expand_builtin): Make static.  Update for changed builtins.
3192         (ix86_expand_vector_move_misalign): Use sse2_loadlpd with zero
3193         operand instead of sse2_loadsd.  Cast sse1 fallback to V4SFmode.
3194         (ix86_expand_vector_init_duplicate): New.
3195         (ix86_expand_vector_init_low_nonzero): New.
3196         (ix86_expand_vector_init_one_var, ix86_expand_vector_init_general):
3197         Split out from ix86_expand_vector_init; handle integer modes.
3198         (ix86_expand_vector_init): Use them.
3199         (ix86_expand_vector_set, ix86_expand_vector_extract): New.
3200         * config/i386/i386-protos.h: Update.
3201         * config/i386/predicates.md (reg_or_0_operand): New.
3202         * config/i386/mmx.md (mov<MMXMODEI>_internal): Add 'r' variants.
3203         (movv2sf_internal): Likewise.  And a splitter to match them all.
3204         (vec_dupv2sf, mmx_concatv2sf, vec_setv2sf, vec_extractv2sf,
3205         vec_initv2sf, vec_dupv4hi, vec_dupv2si, mmx_concatv2si, vec_setv2si,
3206         vec_extractv2si, vec_initv2si, vec_setv4hi, vec_extractv4hi,
3207         vec_initv4hi, vec_setv8qi, vec_extractv8qi, vec_initv8qi): New.
3208         (mmx_pinsrw): Fix operand ordering.
3209         * config/i386/sse.md (movv4sf splitter): Use direct pattern,
3210         rather than sse_loadss expander.
3211         (movv2df splitter): Similarly.
3212         (sse_loadss, sse_loadlss): Remove.
3213         (vec_dupv4sf, sse_concatv2sf, sse_concatv4sf, vec_extractv4sf_0): New.
3214         (vec_setv4sf, vec_setv2df): Use ix86_expand_vector_set.
3215         (vec_extractv4sf, vec_extractv2df): Use ix86_expand_vector_extract.
3216         (sse3_movddup): Rename with '*'.
3217         (sse3_movddup splitter): Use gen_rtx_REG instead of gen_lowpart.
3218         (sse2_loadsd): Remove.
3219         (vec_dupv2df_sse3): Rename from sse3_loadddup.
3220         (vec_dupv2df, vec_concatv2df_sse3, vec_concatv2df): New.
3221         (sse2_pinsrw): Fix argument ordering.
3222         (sse2_loadld, sse2_loadq): Add sse1 alternatives.
3223         (sse2_stored): Remove 'r' destination.
3224         (vec_dupv4si, vec_dupv2di, sse2_concatv2si, sse1_concatv2si,
3225         vec_concatv4si_1, vec_concatv2di, vec_setv2di, vec_extractv2di,
3226         vec_initv2di, vec_setv4si, vec_extractv4si, vec_initv4si,
3227         vec_setv8hi, vec_extractv8hi, vec_initv8hi, vec_setv16qi,
3228         vec_extractv16qi, vec_initv16qi): New.
3230         * config/i386/emmintrin.h (__m128i, __m128d): Use typedef, not define.
3231         (_mm_set_sd, _mm_set1_pd, _mm_setzero_pd, _mm_set_epi64x, 
3232         _mm_set_epi32, _mm_set_epi16, _mm_set_epi8, _mm_setzero_si128): Use
3233         constructor form.
3234         (_mm_load_pd, _mm_store_pd): Use plain dereference.
3235         (_mm_load_si128, _mm_store_si128): Likewise.
3236         (_mm_load1_pd): Use _mm_set1_pd.
3237         (_mm_load_sd): Use _mm_set_sd.
3238         (_mm_store_sd, _mm_storeh_pd): Use __builtin_ia32_vec_ext_v2df.
3239         (_mm_store1_pd, _mm_storer_pd): Use _mm_store_pd.
3240         (_mm_set_epi64): Use _mm_set_epi64x.
3241         (_mm_set1_epi64x, _mm_set1_epi64, _mm_set1_epi32, _mm_set_epi16,
3242         _mm_set1_epi8, _mm_setr_epi64, _mm_setr_epi32, _mm_setr_epi16,
3243         _mm_setr_epi8): Use _mm_set_foo form.
3244         (_mm_loadl_epi64, _mm_movpi64_epi64, _mm_move_epi64): Use _mm_set_epi64.
3245         (_mm_storel_epi64, _mm_movepi64_pi64): Use __builtin_ia32_vec_ext_v2di.
3246         (_mm_extract_epi16): Use __builtin_ia32_vec_ext_v8hi.
3247         (_mm_insert_epi16): Use __builtin_ia32_vec_set_v8hi.
3248         * config/i386/mmintrin.h (_mm_setzero_si64): Use plain cast.
3249         (_mm_set_pi32): Use __builtin_ia32_vec_init_v2si.
3250         (_mm_set_pi16): Use __builtin_ia32_vec_init_v4hi.
3251         (_mm_set_pi8): Use __builtin_ia32_vec_init_v8qi.
3252         (_mm_set1_pi16, _mm_set1_pi8): Use _mm_set_piN variant.
3253         * config/i386/pmmintrin.h (_mm_loaddup_pd): Use _mm_load1_pd.
3254         (_mm_movedup_pd): Use _mm_shuffle_pd.
3255         * config/i386/xmmintrin.h (_mm_setzero_ps, _mm_set_ss,
3256         _mm_set1_ps, _mm_set_ps, _mm_setr_ps): Use constructor form.
3257         (_mm_cvtpi16_ps, _mm_cvtpu16_ps, _mm_cvtpi8_ps, _mm_cvtpu8_ps,
3258         _mm_cvtps_pi8, _mm_cvtpi32x2_ps): Avoid __builtin_ia32_mmx_zero;
3259         Use _mm_setzero_ps.
3260         (_mm_load_ss, _mm_load1_ps): Use _mm_set* form.
3261         (_mm_load_ps, _mm_loadr_ps): Use raw dereference.
3262         (_mm_store_ss): Use __builtin_ia32_vec_ext_v4sf.
3263         (_mm_store_ps): Use raw dereference.
3264         (_mm_store1_ps): Use _mm_storeu_ps.
3265         (_mm_storer_ps): Use _mm_store_ps.
3266         (_mm_extract_pi16): Use __builtin_ia32_vec_ext_v4hi.
3267         (_mm_insert_pi16): Use __builtin_ia32_vec_set_v4hi.
3269 2005-01-11  Stan Shebs  <shebs@apple.com>
3271         * config/rs6000/rs6000.c (machopic_output_stub): Issue
3272         ldu instead of lwzu if 64-bit -mdynamic-no-pic.
3274 2005-01-11  Andrew Pinski  <pinskia@physics.uc.edu>
3276         PR target/18761
3277         * config/rs6000/rs6000.c (rs6000_special_round_type_align):
3278         Skip all DECLs except for FIELD_DECLs.
3280 2005-01-11  Andreas Krebbel  <krebbel1@de.ibm.com>
3282         * config/s390/s390.c (override_options): Return error if
3283         -mbackchain, -mpacked-stack and -mhard-float are used together.
3284         (s390_va_start): Remove the backchain && packed-stack special case.
3285         (s390_gimplify_va_arg): Likewise.
3286         * doc/invoke.texi: Remove the ABI incompatibility note.
3288 2005-01-11  Andreas Krebbel  <krebbel1@de.ibm.com>
3290         * config/s390/s390.c (struct s390_frame_layout): Remove
3291         save_backchain_p.
3292         (s390_frame_info, s390_emit_prologue): Replace occurrences of
3293         save_backchain_p with TARGET_BACKCHAIN.
3295 2005-01-11  Alan Modra  <amodra@bigpond.net.au>
3297         PR target/18916
3298         * builtins.c (std_gimplify_va_arg_expr): Adjust alignment of *ap.
3299         * expr.h (struct locate_and_pad_arg_data): Add "boundary".
3300         * function.c (locate_and_pad_parm): Set new field.
3301         (assign_parm_find_stack_rtl): Use it instead of FUNCTION_ARG_BOUNDARY.
3302         Tweak where_pad test to include "none".  Always set mem align for
3303         stack_parm.
3304         (assign_parm_adjust_stack_rtl): Discard stack_parm if alignment
3305         not sufficient for type.
3306         (assign_parm_setup_block): If stack_parm is zero on entry, always
3307         make a new stack local.  Block move old stack parm if necessary
3308         to new aligned stack local.
3309         (assign_parm_setup_stack): Use a block move to handle
3310         potentially misaligned entry_parm.
3311         (assign_parms_unsplit_complex): Specify required alignment when
3312         creating stack local.
3313         * calls.c (compute_argument_addresses): Override alignment of stack
3314         arg calculated from its type with the alignment given by
3315         FUNCTION_ARG_BOUNDARY.
3316         (store_one_arg): Likewise.
3318 2005-01-11  Jan Beulich  <jbeulich@novell.com>
3320         * config/ia64/ia64.md (zero_extendsidi2): Replace zxt4 by addp4.
3321         Change respective itanium_class attribute to ialu.
3322         (shladdp4_internal): New.
3323         * config/ia64/predicates.md (shladd_log2_operand): New.
3325 2005-01-11  Richard Henderson  <rth@redhat.com>
3327         * expr.c (store_constructor): Use rtvec_alloc instead of
3328         alloca+gen_rtvec_v, and an incorrect number passed to alloca.
3330 2005-01-11  Kazu Hirata  <kazu@cs.umass.edu>
3332         * config/alpha/alpha.c, config/i386/mmx.md: Fix comment typos.
3334 2005-01-11  Alan Modra  <amodra@bigpond.net.au>
3336         * varasm.c (default_section_type_flags_1): Don't set SECTION_SMALL.
3337         * config/ia64/ia64.c (TARGET_SECTION_TYPE_FLAGS): Define.
3338         (TARGET_RWRELOC): Define.
3339         (ia64_rwreloc_section_type_flags): Delete.
3340         (ia64_section_type_flags): New function.
3341         * config/ia64/hpux.h (TARGET_SECTION_TYPE_FLAGS): Don't define.
3342         (TARGET_RWRELOC): Define.
3344 2005-01-10  David Mosberger  <davidm@hpl.hp.com>
3346         PR target/18987
3347         * config/ia64/ia64.c (process_set): For alloc insn, only call
3348         process_epilogue is !frame_pointer_needed.
3350 2005-01-10  Roger Sayle  <roger@eyesopen.com>
3352         PR c++/19355
3353         * c-common.c (c_common_truthvalue_conversion): TRUTH_NOT_EXPR is a
3354         unary operator and can't be treated as a binary/comparison operator.
3356 2005-01-10  Richard Henderson  <rth@redhat.com>
3358         * config/i386/i386.c (ix86_function_value): Use type_natural_mode.
3359         (ix86_return_in_memory): Likewise.
3360         (function_arg_advance):  Likewise.  Mirror structure in function_arg
3361         for choosing register to advance.
3363 2005-01-10  Kazu Hirata  <kazu@cs.umass.edu>
3365         * tree-vectorizer.c, tree.def: Fix comment typos.
3367 2005-01-10  Mark Dettinger  <dettinge@de.ibm.com>
3369         * config/s390/s390.c (struct processor_costs): 4 new fields:
3370         ddbr, ddr, debr, der.
3371         (s390_rtx_costs): More precise handling of divide instructions.
3373 2005-01-10  David Edelsohn  <edelsohn@gnu.org>
3375         * config/rs6000/t-aix43 (BOOT_LDFLAGS): Define.
3377 2005-01-10  Jan Beulich  <jbeulich@novell.com>
3379         * config/ia64/ia64.c (ia64_in_small_data_p): Also handle the section
3380         names resulting from -ffunction-sections/-fdata-sections and linkonce
3381         ones.
3382         * varasm.c (default_section_type_flags_1): Also set SECTION_SMALL
3383         based on the section name. Rearrange the section name comparison logic
3384         slightly so that each section name is compared against at most once.
3386 2005-01-10  Ben Elliston  <bje@au.ibm.com>
3388         * doc/invoke.texi (Code Gen Options): Add PowerPC to the list of
3389         targets for which -fPIC reduces limitations on the GOT size.
3391 2005-01-09  Falk Hueffner  <falk@debian.org>
3393         * fold-const.c (fold): Also handle EXACT_DIV_EXPR when folding
3394         X/C1 cmpop C2.
3396 2005-01-09  David Edelsohn  <edelsohn@gnu.org>
3398         PR target/18720
3399         * collect2.c (main): Set aixrtl_flag for -brtl option.
3400         (resolve_lib_name): Search for .so file extension before .a
3401         if aixrtl_flag set.
3403 2005-01-09  Dorit Naishlos  <dorit@il.ibm.com>
3405         * tree-vectorizer.c (vect_enhance_data_refs_alignment): Add dump prints.
3406         (vect_analyze_data_refs_alignment): Add dump prints.
3408 2005-01-09  Ira Rosen  <irar@il.ibm.com>
3410         * tree-vectorizer.c (vect_analyze_offset_expr): Use
3411         expr_invariant_in_loop_p.
3412         Initialize outputs first thing in the function.
3413         (vect_update_ivs_after_vectorizer): Call initial_condition_in_loop_num.
3414         (vect_is_simple_iv_evolution): Call initial_condition_in_loop_num.
3415         (vect_analyze_pointer_ref_access): Check that the initial condition of
3416         the access function is loop invariant.
3418 2005-01-09  Richard Henderson  <rth@redhat.com>
3420         * config/i386/i386.c (bdesc_2arg): Update names for mmx_ prefixes.
3421         (ix86_expand_builtin): Likewise.  Frob MASKMOVQ wrt the input mem
3422         just like MASKMOVDQU.  Return plain zero for MMX_ZERO.
3423         * config/i386/i386.md (MMXMODEI, mov<MMXMODEI>,
3424         mov<MMXMODEI>_internal_rex64, mov<MMXMODEI>_internal, movv2sf,
3425         movv2sf_internal_rex64, movv2sf_internal, MMXMODE,
3426         movmisalign<MMXMODE>, mmx_pmovmskb, mmx_maskmovq, mmx_maskmovq_rex,
3427         sse_movntdi, addv8qi3, addv4hi3, addv2si3, mmx_adddi3, ssaddv8qi3,
3428         ssaddv4hi3, usaddv8qi3, usaddv4hi3, subv8qi3, subv4hi3, subv2si3,
3429         mmx_subdi3, sssubv8qi3, sssubv4hi3, ussubv8qi3, ussubv4hi3,
3430         mulv4hi3, smulv4hi3_highpart, umulv4hi3_highpart, mmx_pmaddwd,
3431         sse2_umulsidi3, mmx_iordi3, mmx_xordi3, mmx_anddi3, mmx_nanddi3,
3432         mmx_uavgv8qi3, mmx_uavgv4hi3, mmx_psadbw, mmx_pinsrw, mmx_pinsrw,
3433         mmx_pextrw, mmx_pshufw, eqv8qi3, eqv4hi3, eqv2si3, gtv8qi3, gtv4hi3,
3434         gtv2si3, umaxv8qi3, smaxv4hi3, uminv8qi3, sminv4hi3, ashrv4hi3,
3435         ashrv2si3, lshrv4hi3, lshrv2si3, mmx_lshrdi3, ashlv4hi3, ashlv2si3,
3436         mmx_ashldi3, mmx_packsswb, mmx_packssdw, mmx_packuswb, mmx_punpckhbw,
3437         mmx_punpckhwd, mmx_punpckhdq, mmx_punpcklbw, mmx_punpcklwd,
3438         mmx_punpckldq, emms, addv2sf3, subv2sf3, subrv2sf3, gtv2sf3, gev2sf3,
3439         eqv2sf3, pfmaxv2sf3, pfminv2sf3, mulv2sf3, femms, pf2id, pf2iw,
3440         pfacc, pfnacc, pfpnacc, pi2fw, floatv2si2, pfrcpv2sf2, pfrcpit1v2sf3,
3441         pfrcpit2v2sf3, pfrsqrtv2sf2, pfrsqit1v2sf3, pmulhrwv4hi3, pswapdv2si2,
3442         pswapdv2sf2): Move to mmx.md; rename as necessary with leading
3443         mmx_ prefix.
3444         (mmx_clrdi, pavgusb): Remove.
3445         (ldmxcsr, stmxcsr, sfence, sfence_insn): Move to sse.md; rename
3446         with leading sse_ prefix.
3447         * config/i386/sse.md: Receive them.
3448         * config/i386/mmx.md: New file.
3449         (MMXMODE12, MMXMODE24, mmxvecsize): New.
3450         (subrv2sf3): Turn into expander for normal subtraction.
3451         (mmx_addv2sf3, mmx_mulv2sf3, mmx_smaxv2sf3, mmx_sminv2sf3,
3452         mmx_eqv2sf3, mmx_mulv4hi3, mmx_smulv4hi3_highpart,
3453         mmx_umulv4hi3_highpart, mmx_pmaddwd, mmx_pmulhrwv4hi3, sse2_umulsidi3,
3454         mmx_umaxv8qi3, mmx_smaxv4hi3, mmx_uminv8qi3, mmx_sminv4hi3): Mark
3455         commutative; use ix86_binary_operator_ok.
3456         (mmx_add<MMXMODEI>3, mmx_ssadd<MMXMODE12>3, mmx_usadd<MMXMODE12>3,
3457         mmx_sub<MMXMODEI>3, mmx_sssub<MMXMODE12>3, mmx_ussub<MMXMODE12>3
3458         mmx_ashr<MMXMODE24>3, mmx_lshr<MMXMODE23>3, mmx_ashl<MMXMODE24>3
3459         mmx_eq<MMXMODEI>3, mmx_gt<MMXMODEI>3, mmx_and<MMXMODEI>3,
3460         mmx_nand<MMXMODEI>3, mmx_ior<MMXMODEI>3, mmx_xor<MMXMODEI>3):
3461         Macroize from existing patterns; use ix86_binary_operator_ok.
3462         (mmx_packsswb, mmx_packssdw, mmx_packuswb): Add memory alternative.
3463         (mmx_punpckhbw, mmx_punpcklbw, mmx_punpckhwd, mmx_punpcklwd,
3464         mmx_punpckhdq, mmx_punpckhdq, mmx_punpckldq): Likewise.  Model
3465         with vec_select+vec_concat.
3466         (mmx_pshufw, mmx_pshufw_1): Likewise.
3467         (mmx_uavgv8qi3): Merge pavgusb.  Model correcty.
3468         (mmx_uavgv4hi3): Model correctly.
3469         * config/i386/mmintrin.h (_mm_and_si64, _mm_andnot_si64, _mm_or_si64,
3470         _mm_xor_si64): Remove casts.
3472 2005-01-09  Zdenek Dvorak  <dvorakz@suse.cz>
3474         PR tree-optimization/19224
3475         * tree-scalar-evolution.c (get_instantiated_value,
3476         set_instantiated_value): New functions.
3477         (instantiate_parameters_1): Cache the results.
3478         (instantiate_parameters, resolve_mixers): Initialize and free
3479         the cache.
3481 2005-01-08  David Edelsohn  <edelsohn@gnu.org>
3483         * config/i386/i386.md (addhi_4): Correct reference in comment.
3484         (addqi_4): Same.
3486 2005-01-08  Richard Henderson  <rth@redhat.com>
3488         * config/i386/emmintrin.h (_mm_cvtsi128_si32): Move earlier.
3489         (_mm_cvtsi128_si64x): Likewise.
3490         (_mm_srl_epi64, _mm_srl_epi32, _mm_srl_epi16, _mm_sra_epi32,
3491         _mm_sra_epi16, _mm_sll_epi64, _mm_sll_epi32, _mm_sll_epi16): Use
3492         the _mm_{srl,sll}i_foo counterpart, and _mm_cvtsi128_si32.
3493         * config/i386/i386-modes.def: Add V16HI, V32QI, V4DF, V8SF.
3494         * config/i386/i386-protos.h: Update.
3495         * config/i386/i386.c (print_operand): Add 'H'.
3496         (ix86_fixup_binary_operands): Split out from ...
3497         (ix86_expand_binary_operator): ... here.
3498         (ix86_fixup_binary_operands_no_copy): New.
3499         (ix86_expand_fp_absneg_operator): Handle vector mode results.
3500         (bdesc_2arg): Update names for sse{,2,3}_ prefixes.
3501         (ix86_init_mmx_sse_builtins): Remove *maskncmp* special cases.
3502         (safe_vector_operand): Use CONST0_RTX.
3503         (ix86_expand_binop_builtin): Use ix86_fixup_binary_operands.
3504         (ix86_expand_builtin): Merge CODE_FOR_sse2_maskmovdqu_rex64 and
3505         CODE_FOR_sse2_maskmovdqu.  Special case SSE version of MASKMOVDQU
3506         expansion.  Update names for sse{,2,3}_ prefixes.  Remove *maskncmp*
3507         special cases.
3508         * config/i386/i386.h (IX86_BUILTIN_CMPNGTSS): New.
3509         (IX86_BUILTIN_CMPNGESS): New.
3510         * config/i386/i386.md (UNSPEC_FIX_NOTRUNC): New.
3511         (attr type): Add sselog1.
3512         (attr unit, attr memory): Handle it.
3513         (movti, movti_internal, movti_rex64): Move near other integer moves.
3514         (movtf, movtf_internal): Move near other fp moves.
3515         (SSEMODE, SSEMODEI, vec_setv2df, vec_extractv2df, vec_initv2df,
3516         vec_setv4sf, vec_extractv4sf, vec_initv4sf, movv4sf, movv4sf_internal,
3517         movv2df, movv2df_internal, mov<SSEMODEI>, mov<SSEMODEI>_internal,
3518         movmisalign<SSEMODE>, sse_movups_1, sse_movmskps, sse_movntv4sf,
3519         sse_movhlps, sse_movlhps, sse_storehps, sse_loadhps, sse_storelps,
3520         sse_loadlps, sse_loadss, sse_loadss_1, sse_movss, sse_storess,
3521         sse_shufps, addv4sf3, vmaddv4sf3, subv4sf3, vmsubv4sf3, negv4sf2,
3522         mulv4sf3, vmmulv4sf3, divv4sf3, vmdivv4sf3, rcpv4sf2, vmrcpv4sf2,
3523         rsqrtv4sf2, vmrsqrtv4sf2, sqrtv4sf2, vmsqrtv4sf2, sse_andv4sf3,
3524         sse_nandv4sf3, sse_iorv4sf3, sse_xorv4sf3, sse2_andv2df3,
3525         sse2_nandv2df3, sse2_iorv2df3, sse2_xorv2df3, sse2_andv2di3,
3526         sse2_nandv2di3, sse2_iorv2di3, sse2_xorv2di3, maskcmpv4sf3,
3527         vmmaskcmpv4sf3, sse_comi, sse_ucomi, sse_unpckhps, sse_unpcklps,
3528         smaxv4sf3, vmsmaxv4sf3, sminv4sf3, vmsminv4sf3, cvtpi2ps, cvtps2pi,
3529         cvttps2pi, cvtsi2ss, cvtsi2ssq, cvtss2si, cvtss2siq, cvttss2si,
3530         cvttss2siq, addv2df3, vmaddv2df3, subv2df3, vmsubv2df3, mulv2df3,
3531         vmmulv2df3, divv2df3, vmdivv2df3, smaxv2df3, vmsmaxv2df3, sminv2df3,
3532         vmsminv2df3, sqrtv2df2, vmsqrtv2df2, maskcmpv2df3, vmmaskcmpv2df3,
3533         sse2_comi, sse2_ucomi, sse2_movmskpd, sse2_pmovmskb, sse2_maskmovdqu,
3534         sse2_maskmovdqu_rex64, sse2_movntv2df, sse2_movntv2di, sse2_movntsi,
3535         cvtdq2ps, cvtps2dq, cvttps2dq, cvtdq2pd, cvtpd2dq, cvttpd2dq,
3536         cvtpd2pi, cvttpd2pi, cvtpi2pd, cvtsd2si, cvtsd2siq, cvttsd2si,
3537         cvttsd2siq, cvtsi2sd, cvtsi2sdq, cvtsd2ss, cvtss2sd, cvtpd2ps,
3538         cvtps2pd, addv16qi3, addv8hi3, addv4si3, addv2di3, ssaddv16qi3,
3539         ssaddv8hi3, usaddv16qi3, usaddv8hi3, subv16qi3, subv8hi3, subv4si3,
3540         subv2di3, sssubv16qi3, sssubv8hi3, ussubv16qi3, ussubv8hi3, mulv8hi3,
3541         smulv8hi3_highpart, umulv8hi3_highpart, sse2_umulsidi3,
3542         sse2_umulv2siv2di3, sse2_pmaddwd, sse2_uavgv16qi3, sse2_uavgv8hi3,
3543         sse2_psadbw, sse2_pinsrw, sse2_pextrw, sse2_pshufd, sse2_pshuflw,
3544         sse2_pshufhw, eqv16qi3, eqv8hi3, eqv4si3, gtv16qi3, gtv8hi3,
3545         gtv4si3, umaxv16qi3, smaxv8hi3, uminv16qi3, sminv8hi3, ashrv8hi3,
3546         ashrv4si3, lshrv8hi3, lshrv4si3, lshrv2di3, ashlv8hi3, ashlv4si3,
3547         ashlv2di3, sse2_ashlti3, sse2_lshrti3, sse2_unpckhpd, sse2_unpcklpd,
3548         sse2_packsswb, sse2_packssdw, sse2_packuswb, sse2_punpckhbw,
3549         sse2_punpckhwd, sse2_punpckhdq, sse2_punpcklbw, sse2_punpcklwd,
3550         sse2_punpckldq, sse2_punpcklqdq, sse2_punpckhqdq, sse2_movupd,
3551         sse2_movdqu, sse2_movdq2q, sse2_movdq2q_rex64, sse2_movq2dq,
3552         sse2_movq2dq_rex64, sse2_loadd, sse2_stored, sse2_storehpd,
3553         sse2_loadhpd, sse2_storelpd, sse2_loadlpd, sse2_movsd, sse2_loadsd,
3554         sse2_loadsd_1, sse2_storesd, sse2_shufpd, sse2_clflush, sse2_mfence,
3555         mfence_insn, sse2_lfence, lfence_insn, mwait, monitor, addsubv4sf3,
3556         addsubv2df3, haddv4sf3, haddv2df3, hsubv4sf3, hsubv2df3, movshdup,
3557         movsldup, lddqu, loadddup, movddup): Move to sse.md.  Any with
3558         non-optabs meanings renamed with an "sse{,2,3}_" prefix at the
3559         same time.
3560         (SSEPUSH, push<SSEPUSH>): Remove.
3561         (MMXPUSH, push<MMXPUSH>): Remove.
3562         (sse_movaps, sse_movaps_1, sse_movups): Remove.
3563         (sse2_movapd, sse2_movdqa, sse2_movq): Remove.
3564         (sse2_andti3, sse2_nandti3, sse2_iorti3, sse2_xorti3): Remove.
3565         (sse_clrv4sf, sse_clrv2df, sse2_clrti): Remove.
3566         (maskncmpv4sf3, vmmaskncmpv4sf3): Remove.
3567         (maskncmpv2df3, vmmaskncmpv2df3): Remove.
3568         (ashrv8hi3_ti, ashrv4si3_ti, lshrv8hi3_ti, lshrv4si3_ti): Remove.
3569         (lshrv2di3_ti, ashlv8hi3_ti, ashlv4si3_ti, ashlv2di3_ti): Remove.
3570         * config/i386/athlon.md (athlon_sselog_load): Handle sselog1.
3571         (athlon_sselog_load_k8, athlon_sselog, athlon_sselog_k8): Likewise.
3572         * config/i386/ppro.md (ppro_sse_div_V4SF_load): Fix memory attr.
3573         (ppro_sse_log_V4SF_load): Similarly.  Handle sselog1.
3574         (ppro_sse_log_V4SF): Handle sselog1.
3575         * config/i386/predicates.md (const_0_to_1_operand): New.
3576         (const_0_to_255_mul_8_operand): New.
3577         (const_1_to_31_operand): Rename from const_int_1_31_operand.
3578         (const_2_to_3_operand, const_4_to_7_operand): New.
3579         * config/i386/sse.md: New file.
3580         (SSEMODE12, SSEMODE24, SSEMODE124, SSEMODE248, ssevecsize): New.
3581         (sse_movups): Rename from sse_movups_1.
3582         (sse_loadlss): Rename from sse_loadss_1.
3583         (andv4sf3, iorv4sf3, xorv4sf3, andv2df3): Remove the sse prefix
3584         from the name.
3585         (negv4sf2): Use ix86_expand_fp_absneg_operator.
3586         (absv4sf2, negv2df, absv2df): New.
3587         (addv4sf3): Add expander to call ix86_fixup_binary_operands_no_copy.
3588         (subv4sf3, mulv4sf3, divv4sf3, smaxv4sf3, sminv4sf3, andv4sf3,
3589         iorv4sf3, xorv4sf3, addv2df3, subv2df3, mulv2df3, divv2df3,
3590         smaxv2df3, sminv2df3, andv2df3, iorv2df3, xorv2df3, mulv8hi3,
3591         umaxv16qi3, smaxv8hi3, uminv16qi3, sminv8hi3): Likewise.
3592         (sse3_addsubv4sf3): Model correctly.
3593         sse3_haddv4sf3, sse3_hsubv4sf3, sse3_addsubv2df3, sse3_haddv2df3,
3594         sse3_hsubv2df3, sse2_ashlti3, sse2_lshrti3): Likewise.
3595         (sse_movhlps): Model with vec_select+vec_concat.
3596         (sse_movlhps, sse_unpckhps, sse_unpcklps, sse3_movshdup,
3597         sse3_movsldup, sse_shufps, sse_shufps_1, sse2_unpckhpd, sse3_movddup,
3598         sse2_unpcklpd, sse2_shufpd, sse2_shufpd_1, sse2_punpckhbw,
3599         sse2_punpcklbw, sse2_punpckhwd, sse2_punpcklwd, sse2_punpckhdq,
3600         sse2_punpckldq, sse2_punpckhqdq, sse2_punpcklqdq, sse2_pshufd,
3601         sse2_pshufd_1, sse2_pshuflw, sse2_pshuflw_1, sse2_pshufhw,
3602         sse2_pshufhw_1): Likewise.
3603         (neg<SSEMODEI>2, one_cmpl<SSEMODEI>2): New.
3604         (add<SSEMODEI>3, sse2_ssadd<SSEMODE12>3, sse2_usadd<SSEMODE12>3,
3605         sub<SSEMODEI>3, sse2_sssub<SSEMODE12>3, sse2_ussub<SSEMODE12>3,
3606         ashr<SSEMODE24>3, lshr<SSEMODE248>3, sse2_eq<SSEMODE124>3,
3607         sse2_gt<SSEMODDE124>3, and<SSEMODEI>3, sse_nand<SSEMODEI>3,
3608         ior<SSEMODEI>3, xor<SSEMODEI>3): Macroize from existing patterns.
3609         (addv4sf3, sse_vmaddv4sf3, mulv4sf3, sse_vmmulv4sf3, smaxv4sf3,
3610         sse_vmsmaxv4sf3, sminv4sf3, sse_vmsminv4sf3, addv2df3, sse2_vmaddv2df3,
3611         mulv2df3, sse2_vmmulv2df3, smaxv2df3, sse2_vmsmaxv2df3, sminv2df3,
3612         sse2_vmsminv2df3, umaxv16qi3, smaxv8hi3, uminv16qi3
3613         sminv8hi3): Mark commutative
3614         operands.  Use ix86_binary_operator_ok.
3615         (sse_unpckhps, sse_unpcklps, sse2_packsswb, sse2_packssdw,
3616         sse2_packuswb, sse2_punpckhbw, sse2_punpcklbw, sse2_punpckhwd,
3617         sse2_punpcklwd, sse2_punpckhdq, sse2_punpckldq, sse2_punpckhqdq,
3618         sse2_punpcklqdq): Allow operand2 in memory.
3619         (sse_movhlps, sse_movlhps, sse2_unpckhpd, sse2_unpcklpd
3620         sse2_movsd): Add memory alternatives.
3621         (sse_storelps): Turn expander into an insn; split after reload.
3622         (sse_storess, sse2_loadhpd, sse2_loadlpd): Add non-xmm inputs.
3623         (sse2_storehpd, sse2_storelpd): Add non-xmm outputs.
3625 2005-01-08  Eric Botcazou  <ebotcazou@libertysurf.fr>
3627         * configure.ac (DWARF-2 debug_line): Use objdump.
3628         * configure: Regenerate.
3630 2005-01-08  Jeff Law  <law@redhat.com>
3631             Diego Novillo  <dnovillo@redhat.com>
3633         PR tree-optimization/18241
3634         * tree-nrv.c (tree_nrv): Ignore volatile return values.
3635         * tree-ssa-dse.c (dse_optimize_stmt): Do not optimize
3636         statements with volatile operands.
3637         * tree-ssa-operands.c (add_stmt_operand): Do add volatile
3638         operands after marking a statement with has_volatile_ops.
3640 2005-01-08  Roger Sayle  <roger@eyesopen.com>
3642         * tree.c (int_fits_type_p): Always honor integer constant
3643         TYPE_MIN_VALUE and TYPE_MAX_VALUE if they exist.
3645 2005-01-08  Roger Sayle  <roger@eyesopen.com>
3647         * ifcvt.c (find_if_case_1): Reinstate 2005-01-04 change, now that
3648         the latent bug in rtl_delete_block has been resolved.
3650 2005-01-08  Richard Sandiford  <rsandifo@redhat.com>
3652         * config/mips/t-iris6 (MULTILIB_DIRNAMES): Use -mabi argument values.
3653         (MULTILIB_OSDIRNAMES): Use the standard lib, lib32 and lib64.
3655 2005-01-08  Richard Sandiford  <rsandifo@redhat.com>
3657         * config/mips/t-slibgcc-irix (SHLIB_LINK): Install a copy of the
3658         library as @multilib_dir@/$(SHLIB_SONAME).
3660 2005-01-07  Eric Botcazou  <ebotcazou@libertysurf.fr>
3662         * configure.ac (HAVE_AS_OFFSETABLE_LO10): Fix typo.
3663         * configure: Regenerate.
3665 2005-01-07  Jakub Jelinek  <jakub@redhat.com>
3667         * c-common.c (handle_mode_attribute): For ENUMERAL_TYPE, also copy
3668         TYPE_MODE.
3670 2005-01-07  David Edelsohn  <edelsohn@gnu.org>
3672         PR target/13674
3673         * config/rs6000/rs6000.c (rs6000_legitimize_reload_address):
3674         Convert non-word aligned offset address using ld/std into
3675         indirect address.
3677 2005-01-07  Richard Henderson  <rth@redhat.com>
3679         * config/i386/i386.md (sse_loadhps splitter): Fix operand number typo.
3681 2005-01-07  Richard SAndiford  <rsandifo@redhat.com>
3683         * tree.h (IS_EXPR_CODE_CLASS): Use a straight-forward range check.
3685 2005-01-07  Jakub Jelinek  <jakub@redhat.com>
3687         PR tree-optimization/19283
3688         * fold-const.c (fold_widened_comparison): Return NULL if shorter_type
3689         is not shorter than the original type.
3691         PR rtl-optimization/19012
3692         * config/i386/i386.md (addqi_1_slp): Set memory attribute.
3694         PR rtl-optimization/18861
3695         * cfgbuild.c (BLOCK_USED_BY_TABLEJUMP): Define.
3696         (FULL_STATE): Define.
3697         (mark_tablejump_edge): New function.
3698         (purge_dead_tablejump_edges): New function.
3699         (find_bb_boundaries): Use it.
3701         PR tree-optimization/18828
3702         * builtins.c (expand_builtin_next_arg): Remove argument and all
3703         the argument checking.
3704         (expand_builtin): Adjust caller.
3705         (expand_builtin_va_start): Likewise.  Remove error for too many
3706         arguments.
3707         (fold_builtin_next_arg): Issue error for too many arguments.
3708         After checking arguments, replace them with magic arguments that
3709         prevent further checking of the args.
3711 2005-01-06  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
3713         * pa64-hpux.h (STARTFILE_SPEC): Fix typo in spec.
3715 2005-01-06  Roger Sayle  <roger@eyesopen.com>
3717         PR target/6077
3718         * gcc.c (input_suffix_matches): Tweak the semantics of %{.s:...}
3719         and %{.S:...} (and their negative variants) to test whether the
3720         input file is assembler or pre-processed-assembler independent of
3721         the actual filename extension.
3723 2005-01-06  Roger Sayle  <roger@eyesopen.com>
3725         * simplify-rtx.c (simplify_subreg): Simplify truncations of shifts
3726         of sign or zero extended values.
3728 2005-01-06  Geoffrey Keating  <geoffk@apple.com>
3730         * c-cppbuiltin.c (builtin_define_float_constants): Set __*_EPSILON__
3731         for IBM long double format correctly.
3733 2005-01-06  Daniel Berlin <dberlin@dberlin.org>
3735         Fix PR tree-optimization/18792
3737         * tree-data-ref.c (build_classic_dist_vector): Change first_loop
3738         to first_loop_depth, and use loop depth instead of loop number.
3739         (build_classic_dir_vector): Ditto.
3740         (compute_data_dependences_for_loop): Use depth, not loop number.
3741         * tree-loop-linear.c (try_interchange_loops): Use loop depth, not loop
3742         number. Pass in loops, instead of loop numbers.
3743         (gather_interchange_stats): Ditto.
3744         (linear_transform_loops): Ditto.
3746 2005-01-06  Richard Sandiford  <rsandifo@redhat.com>
3748         PR rtl-opt/13299
3749         * loop.c (get_monotonic_increment, biased_biv_fits_mode_p,
3750         biv_fits_mode_p, extension_within_bounds_p): New functions.
3751         (check_ext_dependent_givs): Use them.
3753 2005-01-06  Roger Sayle  <roger@eyesopen.com>
3755         * cfgrtl.c (rtl_delete_block): A basic block may be followed by
3756         more than one barrier, in which case we should delete them all.
3758 2005-01-06  Tobias Schlueter  <tobias.schlueter@physik.uni-muenchen.de>
3760         * gcc.c (process_command): Change year in 'gcc --version' to 2005.
3762 2005-01-05  Daniel Berlin  <dberlin@dberlin.org>
3764         Fix PR middle-end/19286
3765         Fix PR debug/19267
3766         * dwarf2out.c (gen_subprogram_die): If we've already tried to
3767         output this subprogram, simply ignore this attempt to do it again.
3768         (add_abstract_origin_attribute): Don't abort trying to add the abstract
3769         origin attribute if it's not possible.
3770         (gen_block_die): Don't ignore subblocks of "unused" blocks.
3771         (decls_for_scope): Ditto.
3772         * gimple-low.c (mark_blocks_with_used_subblocks): Remove.
3773         (mark_used_blocks): Don't call mark_blocks_with_used_subblocks.
3775 2005-01-05  Richard Henderson  <rth@redhat.com>
3777         PR target/11327
3778         * config/i386/i386.c (BUILTIN_DESC_SWAP_OPERANDS): New.
3779         (bdesc_2arg): Use it.
3780         (ix86_expand_binop_builtin): Force operands into registers
3781         when optimizing.
3782         (ix86_expand_unop_builtin, ix86_expand_unop1_builtin,
3783         ix86_expand_sse_compare, ix86_expand_sse_comi,
3784         ix86_expand_builtin): Likewise.
3786 2005-01-05  Richard Henderson  <rth@redhat.com>
3788         * config/ia64/ia64.c (rtx_needs_barrier): Handle CONST_VECTOR
3789         and VEC_SELECT.
3790         * config/ia64/vect.md (mulv8qi3): Re-implement with mix_[rl].
3791         (mulv4hi3): Set itanium_class mmmul.
3792         (fpack_sfxf, fpack_xfsf, fpack_xfxf): Remove.
3793         (fpack): Rename from fpack_sfsf.
3795 2005-01-05  Richard Henderson  <rth@redhat.com>
3797         PR rtl-opt/10692
3798         * reload1.c (do_input_reload): Restrict the optimization deleteing
3799         a previous output reload to RELOAD_FOR_INPUT.
3801 2005-01-05  Steven Bosscher  <stevenb@suse.de>
3803         * combine.c (expand_compound_operation)  <ZERO_EXTRACT>: Add
3804         comment that we fall through after case.
3805         (mark_used_regs_combine): Don't expect a SIGN_EXTRACT in a SET_DEST.
3806         (distribute_links): Likewise.
3807         * cse.c (cse_insn): Likewise.
3808         * cselib.c (cselib_invalidate_mem): Likewise.
3809         * df.c: Update comments at the top of the file.
3810         (read_modify_subreg_p): Update comments here too.
3811         (df_def_record_1): Don't expect a SIGN_EXTRACT in a SET_DEST.
3812         * flow.c (mark_set_1): Likewise.
3813         (mark_used_regs): Likewise.
3814         * gcse.c (mems_conflict_for_gcse_p): Likewise.
3815         (canon_list_insert): Likewise.
3816         (mark_set): Likewise.
3817         (try_replace_reg): Likewise.
3818         (store_killed_in_insn): Likewise.
3819         * loop.c (count_one_set): Likewise.
3820         (basic_induction_var): Likewise.
3821         * postreload-gcse.c (find_mem_conflicts): Likewise.
3822         * postreload.c (reload_combine_note_store): Likewise.
3823         (move2add_note_store): Likewise.
3824         * reload.c (find_equiv_reg): Likewise.
3825         (mark_referenced_resources): Likewise.
3826         * rtlanal.c (set_noop_p): Likewise.
3827         (note_stores): Likewise.
3828         (note_uses): Likewise.
3829         * sched-deps.c (sched_analyze_1): Likewise.
3830         * sched-rgn.c (check_live_1): Likewise.
3831         (update_live_1): Likewise.
3832         * config/i860/i860.c: Likewise.
3834         * rtl.dec (SIGN_EXTRACT): Document that this cannot appear as
3835         an lvalue.
3836         (ZERO_EXTRACT): Mention that this one can be an lvalue.
3838         * doc/rtl.texi: Update documentation for bit-fields and SET.
3840 2005-01-05  Roger Sayle  <roger@eyesopen.com>
3842         * ifcvt.c (find_if_case_1): Revert 2005-01-04 change.
3844 2005-01-05  Jan Hubicka  <jh@suse.cz>
3845             Richard Henderson  <rth@redhat.com>
3847         PR target/18910
3848         * config/i386/i386.c (ix86_expand_move): Handle tls symbols
3849         with an offset.
3851 2005-01-05  Richard Henderson  <rth@redhat.com>
3853         PR target/12902
3854         * config/i386/i386.md (sse_movhps, sse_movlps): Remove.
3855         (sse_shufps): Change operand 3 to const_int_operand.
3856         (sse2_storelps): Fix typo in template.
3857         (sse_storehps, sse_loadhps, sse_storelps, sse_loadlps): New.
3858         * config/i386/i386.c (ix86_expand_vector_move_misalign): Use them.
3859         (ix86_expand_builtin): Likewise.
3861 2005-01-05  Julian Brown  <julian@codesourcery.com>
3863         * config/arm/arm.c (arm_return_in_memory): Treat complex types
3864         as aggregates for AAPCS ABIs.
3866 2005-01-05  Stan Shebs  <shebs@apple.com>
3868         * unwind-dw2-fde-darwin.c (examine_objects): Use 64-bit
3869         Mach-O getters if ppc64.
3870         * config/darwin.c (darwin_asm_output_dwarf_delta): Obey
3871         size argument.
3872         * config/darwin.h (ASM_PREFERRED_EH_DATA_FORMAT): Use
3873         signed four-byte field for global code case.
3874         (STARTFILE_SPEC): Avoid crt2.o for 64-bit compilation.
3876 2005-01-05  Roger Sayle  <roger@eyesopen.com>
3878         PR middle-end/19100
3879         * c-common.c: Include real.h.
3880         (c_common_truthvalue_conversion): Avoid destructively modifying expr.
3881         Correctly handle TREE_CONSTANT_OVERFLOW for INTEGER_CST.
3882         Correctly handle TREE_CONSTANT_OVERFLOW and NaNs for REAL_CST.
3883         * Makefile.in (c-common.o): Update dependencies.
3885 2005-01-05  Joseph S. Myers  <joseph@codesourcery.com>
3887         * c-parse.in (asm_string): Add trailing semicolon.
3889 2005-01-05  Joseph S. Myers  <joseph@codesourcery.com>
3891         * c-parse.in (asm_string): New.  Don't allow wide strings in
3892         'asm'.
3893         (simple_asm_expr, asm_argument, asm_operand, asm_clobbers): Use
3894         asm_string instead of STRING.
3896 2005-01-05  Joseph S. Myers  <joseph@codesourcery.com>
3898         * c-typeck.c (constructor_no_implicit): Remove.
3899         (set_designator, process_init_element): Don't check
3900         constructor_no_implicit.
3902 2005-01-05  J"orn Rennecke <joern.rennecke@st.com>
3903             Kaz Kojima  <kkojima@gcc.gnu.org>
3905         PR target/16482
3906         * lcm.c (create_pre_exit): New.
3907         (optimize_mode_switching): In MODE_ENTRY / MODE_EXIT case, set
3908         ENTRY_EXIT_EXTRA to 3.  Use create_pre_exit.
3910 2004-01-05  Richard Earnshaw  <rearnsha@arm.com>
3912         * arm.h (TARGET_OPTIONS): Correctly record -mhard-float and
3913         -msoft-float in target_float_switch.
3914         * arm.c (arm_override_options): Fix processing of target_float_switch.
3916 2004-01-05  Richard Earnshaw  <rearnsha@arm.com>
3918         * arm/vfp.md (arm_movsi_vfp): Hide VFP register classes from register
3919         preferencing.
3921 2004-01-05  Uros Bizjak  <uros@kss-loka.si>
3923         * doc/invoke.texi (Intel 386 and AMD x86-64 Options):
3924         Replace i387 with 'i386 compiler' in -mfpmath=sse option.
3926 2005-01-04  Roger Sayle  <roger@eyesopen.com>
3928         * ifcvt.c (find_if_case_1): Avoid creating an empty forwarder block,
3929         if deleting the then-block allows the test-block to fallthru to the
3930         else-block.
3932 2005-01-04  Andrew Pinski  <pinskia@physics.uc.edu>
3934         PR c/19152
3935         * c-decl.c (diagnose_mismatched_decls): Accept "extern inline" declared
3936         after the full declaration if the are in two different TUs.
3938 2005-01-04  Richard Henderson  <rth@redhat.com>
3940         PR tree-opt/19158
3941         * tree-sra.c (generate_one_element_init): Just
3942         call gimplify_and_add.
3943         (generate_element_init): Record the
3944         new referenced variables and mark them for renaming
3945         and split out to ...
3946         (generate_element_init_1): This.
3947         (scalarize_init): Don't call push_gimplify_context/
3948         pop_gimplify_context.
3950 2005-01-04  Geoffrey Keating  <geoffk@apple.com>
3952         * toplev.c (get_src_pwd): Handle failure of getpwd().
3954 2005-01-04  Roger Sayle  <roger@eyesopen.com>
3956         * fold-const.c (fold_single_bit_test): Delete unreachable handling
3957         of TRUTH_NOT_EXPR.
3958         (fold): Don't call fold_single_bit_test with a TRUTH_NOT_EXPR, as
3959         all the cases handled by it are inverted by invert_truthvalue.
3961 2005-01-04  Eric Botcazou  <ebotcazou@libertysurf.fr>
3963         * config/sparc/sparc.md (save_register_windowdi): Add missing mode.
3964         (save_register_windowsi): Likewise.
3966 2005-01-04  Richard Henderson  <rth@redhat.com>
3968         * tree-mudflap.c (mf_varname_tree): Fix thinko setting declname.
3970 2005-01-04  Uros Bizjak  <uros@kss-loka.si>
3972         PR middle-end/17767
3973         * cse.c (fold_rtx) [RTX_COMPARE, RTX_COMM_COMPARE]: Don't attempt
3974         any simplifications of vector mode comparison operators.
3975         * simplify-rtx.c (simplify_relational_operation): Fix variable name.
3977 2005-01-04  Paolo Bonzini  <bonzini@gnu.org>
3978             Devang Patel  <dpatel@apple.com>
3980         PR tree-optimization/18308
3981         * tree-if-conv.c (add_to_dst_predicate_list): Gimplify
3982         the operands before creating a new expression.
3983         * dojump.c (do_jump): Make drop_through_label available
3984         for all cases.  Add expansion of COND_EXPR.
3986 2005-01-04  Ira Rosen  <irar@il.ibm.com>
3988         * tree-vectorizer.c (vect_analyze_offset_expr): Test for
3989         INTEGER_CST instead of TREE_CONSTANT.
3990         (vect_gen_niters_for_prolog_loop): Test for INTEGER_CST
3991         instead of TREE_CONSTANT.
3992         (vect_analyze_pointer_ref_access): Test for INTEGER_CST
3993         instead of TREE_CONSTANT.
3995 2005-01-04  Eric Botcazou  <ebotcazou@libertysurf.fr>
3997         * tree-eh.c (replace_goto_queue): Return early if the queue is empty.
3999 2005-01-04  Uros Bizjak  <uros@kss-loka.si>
4001         PR target/19240
4002         * config/i386/i386.md (*fop_df_1_i387): Disable for TARGET_SSE_MATH.
4003         (*fop_df_1_i387): Disable for (TARGET_SSE2 && TARGET_SSE_MATH).
4005 2005-01-03  Richard Henderson  <rth@redhat.com>
4007         * fold-const.c (force_fit_type): Cope with types larger than 2 HWI.
4008         (fold_convert_const_int_from_int, fold_convert_const_int_from_real,
4009         fold_convert_const_real_from_real): Split out from ...
4010         (fold_convert_const): ... here.
4012 2005-01-03  Richard Henderson  <rth@redhat.com>
4014         PR target/19235
4015         * config/i386/i386.md (movdi_2): Separate SSE1 and SSE2 alternatives.
4016         (mov<MMXMODEI>_internal): Likewise.
4017         (movdf_nointeger): Prefer Y while not preferring, but allowing, x.
4018         Add V2SF case; use it for SSE1; don't use TI.
4019         (movdf_integer): Likewise.
4020         (mov<SSEMODEI>_internal, movti_internal): Force V4SF for SSE1.
4022 2005-01-03  Ira Rosen  <irar@il.ibm.com>
4024         * tree-vectorizer.c (vect_strip_conversions): New function.
4025         (vect_analyze_offset_expr): Call vect_strip_conversions. Add
4026         check for binary class.
4028 2005-01-03  Daniel Berlin  <dberlin@dberlin.org>
4030         Fix PR debug/17924
4031         Fix PR debug/19191
4032         * dwarf2out.c (block_ultimate_origin): Follow decl origin if origin
4033         is a decl.
4034         * gimple-low.c (mark_blocks_with_used_vars): New function.
4035         (mark_blocks_with_used_subblocks): Ditto.
4036         (mark_used_blocks): Ditto.
4037         (pass_mark_used_blocks): New pass.
4038         * tree-inline.c: Include debug.h.
4039         (expand_call_inline): Call outlining_inline_function here.
4040         * tree-optimize.c (init_tree_optimization_passes): Add
4041         pass_mark_used_blocks.
4042         * tree-pass.h (pass_mark_used_blocks): New.
4043         * Makefile.in (tree-inline.o): Add debug.h dependency.
4045 2005-01-03  Geoffrey Keating  <geoffk@apple.com>
4047         * config/darwin.c (darwin_handle_weak_import_attribute): Permit
4048         VAR_DECLs to have weak_import attribute.
4050         * config/rs6000/darwin-fallback.c: Use 'ucontext_t' rather than
4051         'struct ucontext'.
4053 2004-01-03  Steven Bosscher  <stevenb@suse.de>
4055         * passes.c (rest_of_compilation): Don't run regmove if only
4056         flag_expensive_optimizations, require flag_regmove instead.
4058 2005-01-03  Eric Botcazou  <ebotcazou@libertysurf.fr>
4060         * config/sparc/litecoff.h (TARGET_OS_CPP_BUILTINS): Do not
4061         register "sparc".
4062         * config/sparc/sysv4-only.h (TARGET_OS_CPP_BUILTINS): Likewise.
4063         * config/sparc/rtemself.h (TARGET_SUB_OS_CPP_BUILTINS): Likewise.
4064         * config/sparc/sol2-64.h (TARGET_SUB_OS_CPP_BUILTINS): Delete.
4065         * config/sparc/sp64-elf.h (TARGET_SUB_OS_CPP_BUILTINS): Likewise.
4067 2005-01-03  Richard Henderson  <rth@redhat.com>
4069         * config/ia64/ia64.c (TARGET_VECTOR_MODE_SUPPORTED_P): New.
4070         (ia64_const_ok_for_letter_p): New.
4071         (ia64_const_double_ok_for_letter_p): New.
4072         (ia64_extra_constraint): New.
4073         (ia64_expand_vecint_compare): New.
4074         (ia64_expand_vcondu_v2si): New.
4075         (ia64_expand_vecint_cmov): New.
4076         (ia64_expand_vecint_minmax): New.
4077         (ia64_print_operand): Add 'v'.
4078         (ia64_preferred_reload_class): New.
4079         (ia64_vector_mode_supported_p): New.
4080         * config/ia64/ia64.h (UNITS_PER_SIMD_WORD): New.
4081         (PREFERRED_RELOAD_CLASS): Move to function.
4082         (CONST_OK_FOR_LETTER_P): Move to function.
4083         (CONST_DOUBLE_OK_FOR_LETTER_P): Move to function.
4084         (CONSTRAINT_OK_FOR_Q, CONSTRAINT_OK_FOR_R): Remove.
4085         (CONSTRAINT_OK_FOR_S, CONSTRAINT_OK_FOR_T): Remove.
4086         (EXTRA_CONSTRAINT): Move to function.
4087         * config/ia64/ia64.md: Include vect.md.
4088         (itanium_class): Add mmalua.
4089         (type): Handle it.
4090         * config/ia64/itanium1.md (1_mmalua): New.  Add it to bypasses.
4091         (1b_mmalua): New.
4092         * config/ia64/itanium2.md (2_mmalua, 2b_mmalua): Similarly.
4093         * config/ia64/predicates.md (gr_reg_or_0_operand): Accept any
4094         CONST0_RTX.
4095         (const_int_2bit_operand): New.
4096         (fr_reg_or_0_operand): New.
4097         * config/ia64/ia64-modes.def: Add vector modes.
4098         * config/ia64/ia64-protos.h: Update.
4099         * config/ia64/vect.md: New file.
4101 2005-01-03  Richard Henderson  <rth@redhat.com>
4103         * simplify-rtx.c (simplify_binary_operation): Handle VEC_CONCAT.
4105 2005-01-03  Uros Bizjak  <uros@kss-loka.si>
4107         PR target/19236
4108         * config/i386/i386.c (log1psf2): Change mode of operands[0,1]
4109         to SFmode.
4110         (log1pdf2): Change mode of operands[0,1] to DFmode.
4112 2005-01-03  Eric Botcazou  <ebotcazou@libertysurf.fr>
4114         * config/sparc/sparc.h (SPARC_RELAXED_ORDERING): Define to false.
4115         * config/sparc/linux.h (SPARC_RELAXED_ORDERING): Define to true.
4116         * config/sparc/linux64.h (SPARC_RELAXED_ORDERING): Likewise.
4117         * config/sparc/sparc.c (TARGET_RELAXED_ORDERING): Define to
4118         SPARC_RELAXED_ORDERING.
4120 2005-01-03  Richard Henderson  <rth@redhat.com>
4121             Uros Bizjak  <uros@kss-loka.si>
4123         PR target/14631
4124         * config/i386/i386.c (ix86_expand_builtin): [IX86_BUILTIN_PINSRW,
4125         IX86_BUILTIN_PINSRW128]: Fix wrong selector range in error message.
4126         * config/i386/i386.md (mmx_pinsrw, sse2_pinsrw): Fix selector
4127         handling.
4128         (*mmx_pinsrw, *sse2_pinsrw): New patterns.
4129         * config/i386/i386/predicates.md (const_pow2_1_to_8_operand,
4130         const_pow2_1_to_128_operand): New predicates.
4132 2005-01-02  Greg McGary  <greg@mcgary.org>
4134         * tree-mudflap.c (mf_varname_tree): decl_printable_name handles
4135         anonymous decls.
4136         (mf_xform_derefs_1) [RESULT_DECL, STRING_CST]: Handle as innermost
4137         object.  [ptr_type]: Remove unused variable.
4138         Remember nearest addressable array-element or record-component
4139         when checking bitfield components.  Tolerate empty BIND_EXPR.
4141 2005-01-01  Richard Henderson  <rth@redhat.com>
4143         * tree-vectorizer.c (vect_analyze_offset_expr): Strip conversions
4144         that don't narrow the value.  Fail for other conversions.
4146 2005-01-01  Richard Henderson  <rth@redhat.com>
4148         PR c/19031
4149         * c-decl.c (pop_file_scope): Call maybe_apply_pending_pragma_weaks.
4150         * c-lang.c (finish_file): Don't do it here.
4151         * objc/objc-act.c (objc_finish_file): Likewise.
4153         * cgraph.c (decl_assembler_name_equal): New.
4154         (cgraph_node_for_asm, cgraph_varpool_node_for_asm): New.
4155         (cgraph_varpool_node): Actually link up cgraph_varpool_nodes.
4156         * cgraph.h (struct cgraph_varpool_node): Add next.
4157         (cgraph_node_for_asm, cgraph_varpool_node_for_asm): Declare.
4158         * varasm.c (assemble_alias): Mark the target as needed.
4160 2005-01-01  Andrew Pinski  <pinskia@physics.uc.edu>
4162         PR middle-end/19221
4163         * function.c (get_arg_pointer_save_area): Use entry_of_function
4164         instead of get_insns.
4166 2005-01-01  Roger Sayle  <roger@eyesopen.com>
4167             Andrew Pinski  <pinskia@physics.uc.edu>
4168             James E. Wilson  <wilson@specifixinc.com>
4170         PR rtl-optimization/12092
4171         * loop.c (emit_prefetch_instructions): Do nothing if PREFETCH_BLOCK
4172         is zero.
4174 2005-01-01  Roger Sayle  <roger@eyesopen.com>
4175             Olivier Hainque  <hainque@act-europe.fr>
4177         * tree.c (int_fits_type_p): A narrower type always fits in a
4178         wider one, except for negative values into unsigned types.
4180 2005-01-01  Roger Sayle  <roger@eyesopen.com>
4182         * tree.c (int_fits_type_p): Compare the result of force_fit_type
4183         with the original constant rather than require TREE_OVERFLOW.
4185 2005-01-01  Steven Bosscher  <stevenb@suse.de>
4187         PR middle-end/17544
4188         * c-decl.c (finish_function): If compiling C99, annotate the
4189         compiler generated return with the current file name and line 0.
4190         * tree-cfg.c (remove_useless_stmts_warn_notreached): Only warn if
4191         the source line is greater than 0.
4192         (remove_bb): Likewise.
4194 See ChangeLog.12 for earlier changes.