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