OSDN Git Service

8209ec63979aa0a5e11999f8c7b5038aabdad4e5
[pf3gnuchains/gcc-fork.git] / gcc / ChangeLog
1 2006-01-30  Michael Matz  <matz@suse.de>
2
3         * global.c (find_reg): Only evict for global regs.
4         Take n_refs into account and dump more info.
5
6 2006-01-30  J"orn Rennecke <joern.rennecke@st.com>
7
8         PR target/14798:
9         * sh.c (pragma_interrupt, trap_exit, sp_switch): Remove variable.
10         (pragma_trap, pragma_nosave_low_regs): Likewise.
11         (current_function_anonymous_args): Likewise.
12         (sh_deferred_function_attributes): New variable.
13         (sh_deferred_function_attributes_tail): Likewise.
14         (print_operand): For '@', look up trap_exit attribute.
15         (calc_live_regs): Look up trapa_handler attribute.  For trapa
16         handlers, save/restore fpscr, but don't do any other
17         interrupt-specific saves.
18         Don't save r0..r7 if the nosave_low_regs attribute is in effect.
19         Fix check for partially saved registers to check for SHmedia.
20         (sh_expand_prologue, sh_expand_epilogue): Look up sp_switch attribute.
21         (sh_output_function_epilogue): Don't clear any of the removed
22         variables.
23         (sh_insert_attributes): Don't check pragma_interrupt.
24         Insert deferred attributes.  Check that interrupt attribute is
25         present for other attributes that require its presence.
26         (sh_attribute_table): Add new attributes trapa_handler and
27         nosave_low_regs.
28         (sh_handle_sp_switch_attribute, sh_handle_trap_exit_attribute):
29         Don't check for pragma_interrupt.  Don't store argument.
30         * sh.h (pragma_interrupt, sp_switch): Don't declare.
31         (sh_deferred_function_attributes): Declare.
32         (sh_deferred_function_attributes_tail): Likewise.
33         * sh.md (sp_switch_1): Add operand.  Change generator caller.
34         (sh_pr_interrupt, sh_pr_trapa, sh_pr_nosave_low_regs): Remove.
35         (*return_i): Don't use when trap_exit attribute is in effect.
36         (*return_trapa): New insn pattern.
37         * sh-c.c: New file.
38         * config.gcc (sh[123456ble]*-* | sh-*-*): New trailer stanza,
39         setting c_target_objs and cxx_target_objs.
40         * t-sh: Add rule for sh-c.o.
41
42 2006-01-30  Richard Guenther  <rguenther@suse.de>
43
44         PR c++/23372
45         * gimplify.c (gimplify_target_expr): Handle easy cases
46         without creating a temporary.
47
48 2006-01-30  Nathan Sidwell  <nathan@codesourcery.com>
49
50         * vec.h (safe_grow): Remove duplicated line.
51
52 2006-01-29  Diego Novillo  <dnovillo@redhat.com>
53
54         PR 25874
55         * omp-low.c (execute_expand_omp): Move CFG cleanup code ...
56         (expand_omp): ... here.
57         (expand_omp_parallel): Only remove barriers for combined
58         parallel+workshare constructs.
59
60 2006-01-29  Eric Botcazou  <ebotcazou@adacore.com>
61
62         Revert
63
64         2005-11-09  Eric Botcazou  <ebotcazou@adacore.com>
65         * tree.c (build_qualified_type): Chain the new type to the original
66         type's TYPE_NEXT_PTR_TO or TYPE_NEXT_REF_TO linked lists if it is
67         a POINTER_TYPE or a REFERENCE_TYPE respectively.
68         (build_pointer_type_for_mode): Only return unqualified types.
69         (build_reference_type_for_mode): Likewise.
70
71 2006-01-29  Gabriel Dos Reis  <gdr@integgrable-solutions.net>
72
73         * configure.ac (cxx_compat_warn): Set if -Wc++-compat is supported.
74         * Makefile.in (CXX_COMPAT_WARN): Define.
75         * configure: Regenerate.
76
77 2006-01-29  Dorit Nuzman  <dorit@il.ibm.com>
78
79         PR tree-opt/25911
80         * tree-vect-patterns.c (vect_recog_dot_prod_pattern): Change assert
81         to an if check.
82
83 2006-01-29  Gabriel Dos Reis  <gdr@integrable-solutions.net>
84
85         * toplev.c: Fix thinko.
86
87 2006-01-29  Gabriel Dos Reis  <gdr@integrable-solutions.net>
88             Marcin Dalecki  <martin@dalecki.de>
89
90         * toplev.c (floor_log2, exact_log2): Don't define if __cplusplus.
91         (push_srcloc): Use XNEW.
92         (init_asm_output, default_get_pch_validity): Use XNEWVEC.
93
94 2006-01-29  Kenneth Zadeck <zadeck@naturalbridge.com>
95
96         * df-core.c (df_set_blocks): Deleted all variable.
97
98 2006-01-28  Ian Lance Taylor  <ian@airs.com>
99
100         * cgraphunit.c (cgraph_assemble_pending_functions): Call
101         cgraph_output_pending_asms.
102
103 2006-01-28  Zack Weinberg  <zackw@panix.com>
104
105         * c.opt: Add -W(no-)overlength-strings.
106         * doc/invoke.texi: Document it.
107         * c-opts.c (c_common_handle_option): -pedantic implies
108         -Woverlength-strings, if not explicitly disabled already.
109         (c_common_post_options): -Woverlength-strings defaults to off, and
110         is always off for C++.
111         * c-common.c (fix_string_type): Issue warning about strings longer
112         than is portable only if warn_overlength_strings.  Rearrange code
113         a little for clarity.
114         * configure.in: Check for -Wno-overlength-strings as well before
115         enabling -pedantic in stage 1.
116         * Makefile.in (STRICT2_WARN): Add -Wno-overlength-strings.
117         (gcc.o-warn, insn-automata.o-warn, build/gencondmd.o-warn): Delete.
118
119         * genconditions.c (write_header, write_one_condition)
120         (write_conditions, write_writer): Consolidate very long strings
121         that were broken up to fit in C89 portable limit.  Don't use
122         printf when fputs will do.
123
124 2006-01-28  Adam Nemet  <anemet@caviumnetworks.com>
125
126         * combine.c (simplify_comparison <AND>): Check
127         TRULY_NOOP_TRUNCATION before start using a subreg.
128
129         * config/mips/mips.md (*branch_zero<mode>,
130         *branch_zero<mode>_inverted, *branch_equality<mode>,
131         *branch_equality<mode>_inverted, *branch_equality<mode>_mips16):
132         Remove mode check from comparisons.
133
134 2006-01-28  Kenneth Zadeck <zadeck@naturalbridge.com>
135
136         * config/mips/mips-protos.h (mips_set_live_on_entry): Deleted.
137
138 2006-01-28  Kazu Hirata  <kazu@codesourcery.com>
139
140         * expmed.c (const_mult_add_overflow_p): Remove.
141         * expr.h: Remove the prototype for const_mult_add_overflow_p.
142
143         * recog.c (validate_replace_rtx_subexp): Remove.
144         * recog.h: Remove the prototype for
145         validate_replace_rtx_subexp.
146
147         * integrate.h: Remove the prototype for
148         copy_decl_for_inlining.
149         * rtl.h: Remove the prototype for mark_constant_function.
150         * tree-vectorizer.h: Remove the prototype for
151         vect_strip_conversion.
152
153         * modulo-sched.c (create_partial_schedule,
154         free_partial_schedule, reset_partial_schedule): Make them
155         static.
156
157         * hooks.c (hook_bool_rtx_int_false): Remove.
158         * hooks.h: Remove the prototype for hook_bool_rtx_int_false.
159
160 2006-01-28  David Edelsohn  <edelsohn@gnu.org>
161
162         * config/rs6000/aix43.h (SUBTARGET_OVERRIDE_OPTIONS): -msoft-float
163         and -mlong-double-128 are incompatible.
164         * config/rs6000/aix52.h (SUBTARGET_OVERRIDE_OPTIONS): Same.
165         * config/rs6000/t-aix43 (LIB2FUNCS_EXTRA): Add ppc64-fp.c.
166         (TARGET_LIBGCC2_CFLAGS): Define.
167         * config/rs6000/t-aix52 (LIB2FUNCS_EXTRA): Same.
168         (TARGET_LIBGCC2_CFLAGS): Same.
169         * config/rs6000/ppc64-fp.c: Compile for 64-bit AIX.
170
171 2006-01-28  Kazu Hirata  <kazu@codesourcery.com>
172
173         PR c/19606.
174         * c-typeck.c (build_binary_op): Perform implicit casts of
175         operands before shortening them.
176
177         * cfgloopmanip.c (split_loop_bb): Remove.
178         * cfgloop.h: Remove the prototype for split_loop_bb.
179
180         * cfgloop.c (flow_loop_outside_edge_p): Remove.
181         * cfgloop.h: Remove the prototype for
182         flow_loop_outside_edge_p.
183
184         * emit-rtl.c (init_virtual_regs): Make it static.
185         * function.h: Remove the prototype for init_virtual_regs.
186
187         * recog.c (peephole2_optimize): Make it static.
188         * recog.h: Remove the prototype for peephole2_optimize.
189
190 2006-01-27  H.J. Lu  <hongjiu.lu@intel.com>
191
192         * df-scan.c (df_record_entry_block_defs): Check if
193         INCOMING_RETURN_ADDR_RTX is defined.
194
195 2006-01-27  Daniel Berlin  <dberlin@dberlin.org>
196             Kenneth Zadeck <zadeck@naturalbridge.com>
197
198         PR rtl-optimization/24762
199         * doc/tm.texi: Added TARGET_EXTRA_LIVE_ON_ENTRY.
200         * targhooks.c (hook_void_bitmap): New hook prototype.
201         * targhoohs.h (hook_void_bitmap): Ditto.
202         * bitmap.h (bitmap_head_def): Moved to coretypes.h.
203         * coretypes.h (bitmap_head_def): Moved from bitmap.h.
204         * target.h (live_on_entry): New function pointer.
205         * df-scan.c (df_all_hard_regs): Removed.
206         (df_scan_dump, df_hard_reg_init): Removed df_all_hard_regs.
207         (df_scan_free_internal): Added df->entry_block_defs.
208         (df_scan_alloc): Ditto.
209         (df_scan_dump): Ditto.
210         (df_uses_record): Plumbed flag field properly thru calls.
211         Record EH_RETURN_DATA_REGNO in eh blocks unconditionally.
212         This part fixes PR24762.
213         (df_bb_refs_record): Added code to make the frame and arg
214         pointers live in EH blocks.
215         (df_refs_record): Added call to df_record_entry_block_defs.
216         (df_record_entry_block_defs): New function.
217         * df-core.c: Added comments to describe new artifical defs.
218         * df.h (DF_REF_DIES_AFTER_THIS_USE): New flag in enum df_ref_flags.
219         (entry_block_defs): New field in struct df.
220         (df_all_hard_regs): Deleted.
221         * target-def.h: Added TARGET_EXTRA_LIVE_ON_ENTRY.
222         * df-problems.c (df_ru_bb_local_compute_process_def):
223         Added code to handle artifical defs in the entry to a function.
224         (df_ru_bb_local_compute): Ditto.
225         (df_rd_bb_local_compute_process_def):  Ditto.
226         (df_rd_bb_local_compute): Ditto.
227         (df_lr_bb_local_compute): Ditto.
228         (df_ur_bb_local_compute): Ditto.
229         (df_urec_bb_local_compute):  Ditto.
230         (df_chain_create_bb):  Ditto.
231         (df_ur_local_finalize): Removed entry.
232         (df_urec_init): Ditto.
233         (df_urec_local_finalize): Ditto.
234         (df_ri_bb_compute): Added detection of last use of pseudos.
235         * Makefile.in (df-scan.o): Updated dependencies.
236         * config/mips/mips-protos.h (mips_set_live_on_entry): Added.
237         * config/mips/mips.c (mips_set_live_on_entry): Added.
238         * config/mips/mips.c (TARGET_EXTRA_LIVE_ON_ENTRY): Added value
239         for target hook.
240         * dce.c (marked_insn_p): Added code to handle artifical defs.
241
242 2006-01-27  H.J. Lu  <hongjiu.lu@intel.com>
243
244         * config/i386/emmintrin.h (_mm_cvtsd_f64): Add missing Intel
245         intrinsic.
246         (_mm_cvtsi128_si64): Likewise.
247         (_mm_cvtsd_si64): Likewise.
248         (_mm_cvttsd_si64): Likewise.
249         (_mm_cvtsi64_sd): Likewise.
250         (_mm_cvtsi64_si128): Likewise.
251         * config/i386/mmintrin.h (_m_from_int64): Likewise.
252         (_mm_cvtsi64_m64): Likewise.
253         (_m_to_int64): Likewise.
254         (_mm_cvtm64_si64): Likewise.
255         * config/i386/xmmintrin.h (_mm_cvtss_si64): Likewise.
256         (_mm_cvttss_si64): Likewise.
257         (_mm_cvtsi64_ss): Likewise.
258         (_mm_cvtss_f32): Likewise.
259
260 2006-01-27  Carlos O'Donell  <carlos@codesourcery.com>
261
262         * c-pragma.c (init_pragma) : Call c_register_pragma_with_expansion
263         for pragma redefine_extname.
264
265 2006-01-27  Jakub Jelinek  <jakub@redhat.com>
266
267         PR target/25864
268         * libgcc-std.ver: Add GCC_4.1.0 symbol version.
269         * config/rs6000/t-linux64 (TARGET_LIBGCC2_CFLAGS): Only append
270         -mno-minimal-toc to previous content.
271         (bispecs): Remove goal.
272         * config/rs6000/ppc64-fp.c: Define TMODES before including fp-bit.h.
273         * config/rs6000/darwin-ldouble.c: Don't provide _xlq*@GCC_3.4
274         compatibility aliases on powerpc-*-*gnu*.
275         * config/rs6000/libgcc-ppc-glibc.ver: New file.
276         * config/rs6000/t-ppccomm (SHLIB_MAPFILES): Append
277         libgcc-ppc-glibc.ver on powerpc*-*-*gnu*.
278         (TARGET_LIBGCC2_CFLAGS): Append -specs=ldblspecs.
279         (ldblspecs): New goal.
280         * config/rs6000/t-linux64 (SHLIB_MAPFILES): Removed.
281         * mklibgcc.in: If $TPBIT is empty, don't compile _sf_to_tf and
282         _df_to_tf.
283         * config/fp-bit.h (TMODES): Don't define if none of TFLOAT,
284         L_sf_to_tf or L_df_to_tf is defined.
285
286 2006-01-27  David Edelsohn  <edelsohn@gnu.org>
287             Alan Modra  <amodra@bigpond.net.au>
288
289         PR target/25864
290         * config/rs6000/linux.h (POWERPC_LINUX): Define.
291         * config/rs6000/linux64.h (POWERPC_LINUX): Define.
292         * config/rs6000/darwin-ldouble.c: Build on 32-bit PowerPC.
293         * config/rs6000/darwin.h (TARGET_IEEEQUAD): Define to zero.
294         * config/rs6000/aix.h (TARGET_IEEEQUAD): Define to zero.
295         * config/rs6000/rs6000.c (rs6000_ieeequad): New variable.
296         (rs6000_override_options): Initialize rs6000_ieeequad.
297         Initialize TFmode format to ibm_extended_format if not
298         TARGET_IEEEQUAD.
299         (rs6000_handle_option): Accept -mabi= ibmlongdouble and
300         ieeelongdouble.
301         (rs6000_emit_move): Move !TARGET_IEEEQUAD as two parts.
302         (rs6000_return_in_memory): Only return IEEEQUAD in memory.
303         (function_arg_advance): IBM long double passed in two FPRs, not
304         split.
305         (function_arg): IBM long double passed in FPRs.
306         (rs6000_pass_by_reference): Only IEEEQUAD passed by reference.
307         (rs6000_gimplify_va_arg): IBM long double passed in two FPRs.
308         Only multireg GPR aligned.
309         (rs6000_init_libfuncs): Enable IBM long double functions if not
310         IEEEQUAD.
311         (rs6000_generate_compare): Use IBM long double compare if not
312         TARGET_IEEEQUAD.
313         * config/rs6000/rs6000.h (rs6000_ieeequad): Declare.
314         (TARGET_IEEEQUAD): Define.
315         (CANNOT_CHANGE_MODE_CLASS): Any mode larger than doubleword if
316         not TARGET_IEEEQUAD.
317         * config/rs6000/rs6000.md: Enable TFmode patterns if
318         !TARGET_IEEEQUAD.
319         * config/rs6000/t-ppccomm (LIB2FUNCS_EXTRA): Add darwin-ldouble.c.
320         * config/rs6000/svr4.h (SUBTARGET_OVERRIDE_OPTIONS): -msoft-float
321         and -mlong-double-128 are incompatible.
322         * doc/invoke.texi (-mabi): Collect options together.  Add
323         ibmlongdouble and ieeelongdouble.
324
325 2006-01-27  Richard Sandiford  <richard@codesourcery.com>
326
327         * doc/rtl.texi (SYMBOL_REF_DATA): Adjust documentation for new
328         opaque type.
329         * optabs.c (init_one_libfunc): Use SET_SYMBOL_REF_DECL.
330         * varasm.c (make_decl_rtl, build_constant_desc): Likewise.
331         (force_const_mem): Use SET_SYMBOL_REF_CONSTANT.
332         * rtl.h (rtunion_def): Remove rt_ptr.
333         (X0PTR): Delete.
334         (SYMBOL_REF_DATA): Use X0ANY instead of X0PTR.
335         (SET_SYMBOL_REF_DECL, SET_SYMBOL_REF_CONSTANT): New macros.
336         * config/i386/winnt.c (i386_pe_mark_dllexport)
337         (i386_pe_mark_dllimport): Use SET_SYMBOL_REF_DECL.
338
339 2006-01-27 Gabor Loki <loki@gcc.gnu.org>
340
341         * cfgcleanup.c (try_crossjump_to_edge): Fix comment typo.
342
343 2006-01-26 Alexandre Oliva  <aoliva@redhat.com>
344
345         PR other/24829
346         PR target/24831
347         * gthr-dce.h: Do not gthrw-ify pthread_once_init,
348         pthread_key_delete.  From John David Anglin.  gthrw-ify
349         pthread_getunique_np only if it it's not a macro.  Delete
350         UNUSED macro.
351         (__gthread_objc_condition_allocate, __gthread_objc_condition_deallocate,
352         __gthread_objc_condition_wait, __gthread_objc_condition_broadcast,
353         __gthread_objc_condition_signal, __gthread_key_delete): Add
354         "__attribute__ ((__unused__))" to unused arguments.
355         (__gthread_recursive_mutex_init_function): Add missing return.
356         * gthr-dce.h, gthr-tpf.h, gthr-solaris.h, gthr-posix.h,
357         gthr-posix95.h: Use macro-based approach for name redirection
358         on targets missing weakref.
359
360 2006-01-26  Zack Weinberg  <zackw@panix.com>
361
362         * genconditions.c (write_header): In generated code, #ifdef out
363         all includes and fake declarations, except includes of bconfig.h
364         and system.h, unless GCC_VERSION >= 3001.  Do not include
365         gensupport.h in any case.
366         (write_conditions): Generate a definition of struct c_test.  Add
367         a comment to the generated #endif.
368         (write_one_condition): Escape backslashes in string too.
369         (write_writer): Generated code must escape backslashes and quote
370         marks (but not newlines) in the strings it writes.
371         * Makefile.in (build/gencondmd.o): Update dependencies.
372
373 2006-01-26  Steve Ellcey  <sje@cup.hp.com>
374
375         PR target/25961
376         * Makefile.in (insn-automata.o): Add header file dependencies.
377         * genautomata.c: Add includes.
378
379 2006-01-26  Steve Ellcey  <sje@cup.hp.com>
380
381         PR target/25961
382         * Makefile.in (insn-automata.o): Add -Wno-error flag.
383
384 2006-01-26  Paolo Bonzini  <bonzini@gnu.org>
385
386         * configure.ac: Expect target tools paths to be passed from the toplevel
387         and wrap the detection into AS_SET_VAR_IF.  Extract side-effects out of
388         AS_SET_VAR_IF.
389         * acinclude.m4 (gcc_AC_TOOL_DIRS, gcc_AC_CHECK_TOOL): Remove.
390
391 2006-01-26  Alexandre Oliva  <aoliva@redhat.com>
392
393         PR c/25892
394         * c.opt (Wpointer-sign): Init to -1.
395         * c-opts.c (c_common_handle_option): Set to 1 on OPT_Wall and
396         OPT_pedantic, to 0 otherwise.
397         * doc/invoke.texi: Update.
398
399 2006-01-26  Paolo Bonzini  <bonzini@gnu.org>
400
401         * config/i386/i386.md (extendsfdf2, extendsfxf2, extenddfxf2): Emit
402         constants provided by 80387 instructions in the destination mode.
403
404 2006-01-26  Richard Guenther  <rguenther@suse.de>
405             Andrew Pinski  <pinskia@physics.uc.edu>
406
407         PR tree-opt/21470
408         partial PR tree-opt/17064
409         * tree-ssa-structalias.c (intra_create_variable_infos):
410         Create heap variables for incoming parameters if
411         flag_argument_noalias > 1.
412         (find_what_p_points_to): Look through default defs of
413         parameter decls.
414
415 2006-01-26  Jeff Law  <law@redhat.com>
416
417         PR ada/25900
418         * tree-vrp.c (extract_range_from_assert): When merging a VR_RANGE
419         with a VR_ANTI_RANGE and the VR_ANTI_RANGEis completely contained
420         within the VR_RANGE, use the VR_RANGE as the result, not the
421         VR_ANTI_RANGE.
422         (adjust_range_with_scev): Reject ranges from SCEV which are out
423         of bounds for the type.
424
425 2006-01-26  Daniel Berlin  <dberlin@dberlin.org>
426
427         * tree-ssa-alias.c (maybe_create_global_var): Change
428         subvar walking to an assertion that we don't have subvar'd variables.
429
430 2006-01-26  Andrew Pinski  <pinskia@physics.uc.edu>
431
432         PR C/25861
433         * c-common.c (c_common_truthvalue_conversion) <case ADDR_EXPR>:
434         Use a new variable, inner.  PARM_DECLs are always non-weak.
435
436 2006-01-26  Shantonu Sen  <ssen@opendarwin.org>
437
438         * tree.h (OMP_CLAUSE_SUBCODE_CHECK): Add definition for
439         --disable-checking.
440
441 2006-01-26  Adam Nemet  <anemet@caviumnetworks.com>
442
443         * config/mips/mips.md (*clear_upper32): New combiner pattern.
444
445 2006-01-26  Richard Earnshaw  <richard.earnshaw@arm.com>
446
447         * arm.md (smaxsi3, sminsi3): Convert to define_expand.
448         (smax_insn, smin_insn, smax_0, smin_0): New.
449
450 2006-01-26  Hans-Peter Nilsson  <hp@axis.com>
451
452         PR target/25947
453         * config/cris/cris.c (cris_order_for_addsi3): New function.
454         * config/cris/cris-protos.h: Prototype it.
455         * config/cris/cris.md (split for "move.S1 [rx=rx+i],ry")
456         (split for "move.S1 ry,[rx=rx+i]", split for "clear.[bwd] [rx=rx+i]")
457         (split for "mov(s|u).S1 [rx=rx+i],ry", split for "op.S1 [rx=rx+i],ry")
458         (split for "op.S1 [rx=rx+i],ry (swapped)")
459         (split for "op(s|u).S1 [rx=rx+i],ry")
460         (split for "op(s|u).S1 [rx=rx+i],ry (swapped, plus or bound)"):
461         Apply cris_order_for_addsi3 when generating addsi3 insns.
462
463 2006-01-25  Diego Novillo  <dnovillo@redhat.com>
464
465         * tree.h (TREE_RANGE_CHECK): Fix range predicate.
466         (TREE_BLOCK): Add call to EXPR_CHECK.
467
468 2006-01-25  Diego Novillo  <dnovillo@redhat.com>
469
470         PR 25886
471         * tree-dump.c (dequeue_and_dump): Handle OMP_CLAUSE.
472         * tree-pretty-print.c (dump_omp_clause): Extract from ...
473         (dump_omp_clauses): ... here.
474         (dump_generic_node): Handle OMP_CLAUSE.
475         * tree.c (omp_clause_num_ops): New.
476         (omp_clause_code_name): New.
477         (tree_code_size): Handle OMP_CLAUSE.
478         (tree_size): Likewise.
479         (make_node): Document handling of OMP_CLAUSE.
480         (tree_node_structure): Handle OMP_CLAUSE.
481         (omp_clause_check_failed): New.
482         (omp_clause_range_check_failed): New.
483         (omp_clause_operand_check_failed): New.
484         (build_omp_clause): New.
485         (walk_tree): Adjust handling of OMP_CLAUSE_* nodes.
486         * tree.h (enum omp_clause_code): Declare.
487         (OMP_CLAUSE_SUBCODE_CHECK): Define.
488         (OMP_CLAUSE_RANGE_CHECK): Define.
489         (OMP_CLAUSE_ELT_CHECK): Define.
490         (omp_clause_check_failed): Declare.
491         (omp_clause_operand_check_failed): Declare.
492         (omp_clause_range_check_failed): Declare.
493         (OMP_CLAUSE_CHAIN): Do not use TREE_RANGE_CHECK.
494         (OMP_CLAUSE_OPERAND): Use OMP_CLAUSE_RANGE_CHECK.
495         (OMP_CLAUSE_PRIVATE_DEBUG): Use OMP_CLAUSE_SUBCODE_CHECK.
496         (OMP_CLAUSE_LASTPRIVATE): Likewise.
497         (OMP_CLAUSE_IF_EXPR): Likewise.
498         (OMP_CLAUSE_NUM_THREADS_EXPR): Likewise.
499         (OMP_CLAUSE_SCHEDULE_CHUNK_EXPR): Likewise.
500         (OMP_CLAUSE_REDUCTION_CODE): Likewise.
501         (OMP_CLAUSE_REDUCTION_INIT): Likewise.
502         (OMP_CLAUSE_REDUCTION_MERGE): Likewise.
503         (OMP_CLAUSE_REDUCTION_PLACEHOLDER): Likewise.
504         Use tree_node.omp_clause.subcode instead of TREE_COMPLEXITY.
505         (OMP_CLAUSE_SCHEDULE_KIND): Likewise.
506         (OMP_CLAUSE_DEFAULT_KIND): Likewise.
507         (OMP_CLAUSE_CODE): Define.
508         (OMP_CLAUSE_SET_CODE): Define.
509         (OMP_CLAUSE_CODE): Define.
510         (OMP_CLAUSE_OPERAND): Define.
511         (struct tree_omp_clause): Declare.
512         (union tree_node): Add field 'omp_clause'.
513         * treestruct.def (TS_OMP_CLAUSE): Define.
514         * tree.def (OMP_CLAUSE_PRIVATE, OMP_CLAUSE_SHARED
515         OMP_CLAUSE_FIRSTPRIVATE, OMP_CLAUSE_LASTPRIVATE,
516         OMP_CLAUSE_REDUCTION, OMP_CLAUSE_COPYIN,
517         OMP_CLAUSE_COPYPRIVATE, OMP_CLAUSE_IF,
518         OMP_CLAUSE_NUM_THREADS, OMP_CLAUSE_SCHEDULE,
519         OMP_CLAUSE_NOWAIT, OMP_CLAUSE_ORDERED, OMP_CLAUSE_DEFAULT): Remove.
520         (OMP_CLAUSE): Define.
521         * print-tree.c (print_node): Handle OMP_CLAUSE.
522         * omp-low.c: Adapt all uses of OMP_CLAUSE_* nodes.
523         * c-typeck.c: Likewise.
524         * gimplify.c: Likewise.
525         * c-omp.c: Likewise.
526         * tree-nested.c: Likewise.
527         * tree-inline.c: Likewise.
528         * c-parser.c: Likewise.
529         * gimple-low.c (lower_omp_directive): Do not set TREE_BLOCK on
530         clauses.
531
532 2006-01-25  Roger Sayle  <roger@eyesopen.com>
533
534         PR rtl-optimization/25703
535         * combine.c (try_combine): Handle zero_extract and strict_low_part
536         of non-lowpart SUBREGs for constant reg_subword_p set optimization.
537
538 2006-01-25  Peter Bergner  <bergner@vnet.ibm.com>
539
540         * global.c: Fix comment typos.
541
542 2006-01-25  Andrew Pinski  <pinskia@physics.uc.edu>
543
544         PR target/25758
545         * config/i386/i386.c (output_pic_addr_const) <case SYMBOL_REF>:
546         Use output_addr_const instead of assemble_name.
547
548 2006-01-25  Paolo Bonzini  <bonzini@gnu.org>
549
550         * Makefile.in (sched-vis.o): Update dependencies.
551         * haifa-sched.c (sched_finish): Clear current_sched_info.
552         * cfg.c (dump_bb_info): New, split from dump_flow_info.
553         (dump_flow_info): Call it.
554         * passes.c (execute_todo): Call print_rtl_slim_with_bb to make
555         a slim RTL dump.
556         * basic-block.h (dump_bb_info): Declare.
557         * tree-dump.c (dump_enable_all): OR the flags of a -fdump-tree-all
558         option, and apply options only for dump files whose TDF_RTL,
559         TDF_TREE, or TDF_IPA bits match.
560         * rtl.h: Declare new functions exported from sched-vis.c.
561         * sched-vis.c: Enable also if scheduling is not used.
562         (print_value): Print the mode of registers if not inside scheduling.
563         (print_insn): Make it work outside the scheduler.  Beautify the output
564         a bit.
565         (dump_insn_slim, debug_insn_slim, print_rtl_slim_with_bb): New.
566
567 2006-01-25  Richard Sandiford  <richard@codesourcery.com>
568
569         * doc/rtl.texi (SYMBOL_REF_CONSTANT, SYMBOL_REF_DATA): Document.
570         * gengtype.c (adjust_field_rtx_def): Garbage-collect field 2 of
571         a SYMBOL_REF as either a tree or a constant_descriptor_rtx,
572         depending on the value of CONSTANT_POOL_ADDRESS_P.
573         * optabs.c (init_one_libfunc): Nullify SYMBOL_REF_DATA rather than
574         SYMBOL_REF_DECL.
575         * varasm.c (make_decl_rtl, build_constant_desc): Set SYMBOL_REF_DATA
576         rather than SYMBOL_REF_DECL.
577         (rtx_constant_pool): Remove const_rtx_sym_htab.
578         (const_desc_rtx_sym_hash, const_desc_rtx_sym_eq): Delete.
579         (init_varasm_status): Don't initialize const_rtx_sym_htab.
580         (force_const_mem): Point SYMBOL_REF_DATA to the constant pool entry.
581         Remove handling of const_rtx_sym_htab.
582         (find_pool_constant): Delete.
583         (get_pool_constant, get_pool_constant_mark): Use SYMBOL_REF_CONSTANT
584         rather than find_pool_constant.
585         (get_pool_constant_for_function): Delete.
586         (get_pool_mode, mark_constant): Use SYMBOL_REF_CONSTANT rather than
587         find_pool_constant.
588         * rtl.h (rtunion_def): Add rt_constant and rt_ptr fields.
589         (X0CONSTANT, X0PTR, SYMBOL_REF_DATA): New macros.
590         (SYMBOL_REF_DECL): Return NULL if CONSTANT_POOL_ADDRESS_P.
591         (SYMBOL_REF_CONSTANT): New macro.
592         (get_pool_constant_for_function): Delete.
593         * config/i386/winnt.c (i386_pe_mark_dllexport): Set SYMBOL_REF_DATA
594         rather than SYMBOL_REF_DECL.
595         (i386_pe_mark_dllimport): Likewise.
596         * config/rs6000/rs6000.c (rs6000_emit_move): Copy SYMBOL_REF_DATA
597         rather than SYMBOL_REF_DECL.
598         * config/darwin.c (machopic_indirect_data_reference): Likewise.
599         (machopic_indirect_call_target): Likewise.
600
601 2006-01-25  Eric Botcazou  <ebotcazou@adacore.com>
602
603         * flow.c (delete_noop_moves): Add missing EOL to dump message.
604
605 2006-01-25  Richard Sandiford  <richard@codesourcery.com>
606
607         * genattrtab.c (gen_bypass): Allow bypasses to contain whitespace.
608
609 2006-01-25  Kaz Kojima  <kkojima@gcc.gnu.org>
610
611         * config/sh/predicates.md (sh_register_operand): Accept CONST_DOUBLE.
612
613 2006-01-24  David Daney  <ddaney@avtrex.com>
614
615         PR java/25816
616         * configure.ac (enable_tls): New enable option.
617         (HAVE_AS_TLS): Don't do assembler check if enable_tls set.
618         * configure: Regenerate.
619         * doc/install.texi (--enable-tls): Document new option.
620         (--disable-tls): Ditto.
621
622 2006-01-24  Richard Henderson  <rth@redehat.com>
623
624         * alias.h (ALIAS_SET_MEMORY_BARRIER): New.
625         * alias.c (true_dependence): Respect it.
626         (canon_true_dependence, write_dependence_p): Likewise.
627         * builtins.c (get_builtin_sync_mem): Set it.
628
629 2006-01-25  Zdenek Dvorak <dvorakz@suse.cz>
630
631         * loop-iv.c (iv_analysis_loop_init): Use df analysis in a more
632         efficient way.
633
634 2006-01-24  DJ Delorie  <dj@redhat.com>
635
636         * expmed.c (store_bit_field): Don't arbitrarily deny using insv
637         for storing constants in single-bit bitfields.
638
639 2006-01-25  Ben Elliston  <bje@au.ibm.com>
640
641         * dfp.c (dfp_byte_swap): Use uint32_t and not unsigned long.
642
643 2006-01-24  Andrew Pinski  <pinskia@physics.uc.edu>
644
645         PR tree-opt/25860
646         * tree-ssa-pre.c (phi_translate): Return NULL
647         for AGGREGATE_TYPE's.
648
649 2006-01-24  Zack Weinberg  <zackw@panix.com>
650
651         * genautomata.c (process_state_for_insn_equiv_partition):
652         Use xcalloc for insn_arcs_array.
653         * vec.h (DEF_VEC_ALLOC_FUNC_I): New set of templates.
654         (DEF_VEC_ALLOC_I): Use it, not DEF_VEC_ALLOC_FUNC_P.
655
656 2006-01-24  Richard Henderson  <rth@redhat.com>
657
658         * genextract.c (VEC_safe_set_locstr): Take VEC by reference;
659         update all callers.
660
661 2006-01-23  Paolo Bonzini  <bonzini@gnu.org>
662
663         PR rtl-optimization/25890
664         PR rtl-optimization/25905
665         * combine.c (expand_compound_operation, expand_field_assignment):
666         Fail if the bitfield's final position is out of bounds.
667
668 2006-01-24  Ian Lance Taylor  <ian@airs.com>
669
670         PR middle-end/25930
671         * cgraphunit.c (cgraph_output_in_order): Don't clear
672         cgraph_asm_nodes until after asm strings have been output.
673
674 2006-01-23  Adam Nemet  <anemet@caviumnetworks.com>
675
676         * fix-header.c (read_scan_file): Add new parameter imultilib when
677         calling register_include_chains.
678
679 2006-01-23  Diego Novillo  <dnovillo@redhat.com>
680
681         * omp-low.c: Update documentation.
682
683 2006-01-23  Andrew Pinski  <pinskia@physics.uc.edu>
684             Daniel Berlin  <dberlin@dberlin.org>
685
686         PR tree-opt/25315
687         PR tree-opt/25857
688         * tree-ssa-pre.c (insert_extra_phis): If an incomming edge is abnormal
689         return from the function.
690
691 2006-01-22  Zack Weinberg  <zackw@panix.com>
692
693         * rtl.def (match_code): Add second argument.
694         * genpreds.c (write_extract_subexp): New function.
695         (write_match_code): Add path argument.  Use write_extract_subexp.
696         (write_predicate_expr): Pass path to write_match_code.
697         (mark_mode_tests): MATCH_CODE applied to a subexpression does
698         not perform a mode test.
699         * genrecog.c (compute_predicate_codes): MATCH_CODE applied to
700         a subexpression does not constrain the top-level code set.
701         * read-rtl.c (read_rtx_variadic): New function.
702         (read_rtx_1): Use it; allow AND and IOR to be variadic.
703         * doc/md.texi: Document new notation.
704         * config/i386/predicates.md (cmpsi_operand_1): Fold into ...
705         (cmpsi_operand): ... here, using new notation.
706
707 2006-01-22  Zack Weinberg  <zackw@panix.com>
708
709         * varray.c: Remove GENERATOR_FILE #ifdefs.
710
711 2006-01-22  Zack Weinberg  <zackw@panix.com>
712
713         * genautomata.c (output_reserved_units_table): Emit nothing if
714         description->query_units_num is zero.  Remove extra blank line.
715         (output_cpu_unit_reservation_p): Short circuit
716         if description->query_units_num is zero.
717
718 2006-01-22  Zack Weinberg  <zackw@panix.com>
719
720         * genattrtab.c: Don't include genattrtab.h.  Define ATTR_NONE
721         and ATTR_SPECIAL (from genattrtab.h).  Don't define num_dfa_decls
722         nor any of the random handful of variables that used to be necessary
723         when this program was linked with rtlanal.o.  Prune set of forward
724         function declarations.
725         (struct attr_desc): Remove static_p field.
726         (hash_obstack, temp_obstack, attr_hash_table, attr_printf)
727         (check_attr_test, make_internal_attr, make_numeric_value): Make static.
728         (attr_string): Do not read the character one past the length of
729         the string.
730         (write_attr_get, find_attr, make_internal_attr): Don't touch static_p.
731         (struct insn_reserv, all_insn_reservs, last_insn_reserv_p)
732         (n_insn_reservs, gen_insn_reserv, struct bypass_list, all_bypasses)
733         (n_bypasses, gen_bypass_1, gen_bypass, process_bypasses)
734         (make_automaton_attrs): New.
735         (main): Do not call into genautomata.  Call local gen_bypass
736         and gen_insn_reserv as appropriate.  Call make_automaton_attrs.
737         Remove special case for insn_alts.
738         * genautomata.c: Include gensupport.h; not genattrtab.h nor
739         varray.h (leftover from previous change).  Prune set of forward
740         function declarations.  Remove state_alts fields from all
741         structures.  Remove state_alts_table from struct automaton.
742         Make everything except main static.  Do not maintain num_dfa_decls.
743         Do not maintain state_alts fields of various structures.
744         (process_decls): Don't validate condexp for dm_insn_reserv decls.
745         (add_arc): Remove state_alts argument.  All callers updated.
746         (output_reserved_units_table): Emit #ifdef here...
747         (output_tables): ...not here.  Don't generate state_alts tables.
748         (expand_automata): Don't generate attributes.
749         (write_automata): Don't generate state_alts functions.
750         (main): New function.
751         (it_is_empty_reserv_sets, output_state_alts_full_vect_name)
752         (output_state_alts_comb_vect_name, output_state_alts_check_vect_name)
753         (AUTOMATON_STATE_ALTS_MACRO_NAME, INTERNAL_STATE_ALTS_FUNC_NAME)
754         (STATE_ALTS_FUNC_NAME, INSN_DEFAULT_LATENCY_FUNC_NAME)
755         (BYPASS_P_FUNC_NAME, output_state_alts_table)
756         (output_automata_list_state_alts_code, output_internal_state_alts_func)
757         (output_state_alts_func, make_insn_alts_attr, make_bypass_attr)
758         (make_internal_dfa_insn_code_attr, make_default_insn_latency_attr):
759         Delete.
760         * genattr.c: Declare internal_dfa_insn_code in insn-attr.h.
761         * genattrtab.h: Delete file.
762         * Makefile.in (OBJS-common): Add insn-automata.o.
763         (insn-automata.o): New rule.
764         (simple_generated_c): Add insn-automata.c.
765         (build/genattrtab.o, build/genautomata.o): Update dependencies.
766         (genprogmd): Add automata.
767         (build/genattrtab): Needs no extra objects nor libraries.
768         (build/genautomata): Needs build/vec.o and -lm.
769
770 2006-01-22  Zack Weinberg  <zackw@panix.com>
771
772         * genautomata.c (process_state_longest_path, max_dfa_issue_rate)
773         (output_dfa_max_issue_rate, locked_states_num): Delete.
774         (struct automaton): Add locked_states field.
775         (output_dead_lock_vect): Save number of locked states in
776         automaton->locked_states.  If it is zero, don't print anything.
777         (output_max_insn_queue_index_def): Define max_insn_queue_index const.
778         (output_internal_dead_lock_func): Only test the dead_lock_vect
779         for automata that have locked states.
780         (output_statistics): Always print the number of locked states for
781         each automaton.  Calculate total number of locked states here.
782         (write_automata): Don't call output_dfa_max_issue_rate.
783         * genattrtab.c: Define length_unit_log as a const variable.
784         * genattr.c: Don't emit MAX_DFA_ISSUE_RATE.  Declare
785         max_insn_queue_index const.
786         * final.c (length_unit_log): Declare const.
787         * doc/tm.texi: Remove all references to MAX_DFA_ISSUE_RATE.
788
789 2006-01-22  Zack Weinberg  <zackw@panix.com>
790
791         * genautomata.c:  Include vec.h, not varray.h.
792         Delete vla_ptr_t, all of the VLA_PTR_ macros, and all of the
793         VLA_HWINT_ macros.  Change vla_hwint_t to a typedef for
794         VEC(vect_el_t,heap) *.  Convert all uses of VLA_* macros to
795         VEC_* macros operating on appropriately typed vectors, or to
796         malloced arrays when the size is known in advance.  Const-ify
797         many char* variables and function arguments.  No functional changes.
798         * Makefile.in (build/varray.o): Delete rule.
799         (build/genattrtab): Depend on build/vec.o instead of build/varray.o.
800         (build/genautomata.o): Depend on vec.h instead of $(VARRAY_H).
801
802 2006-01-22  Zack Weinberg  <zackw@panix.com>
803
804         * gensupport.c: Define get_insn_name and record_insn_name here.
805         (read_md_rtx): Call record_insn_name as appropriate.
806         * genattr.c, genattrtab.c, gencodes.c, genconfig.c, genemit.c
807         * genextract.c, genflags.c, genopinit.c, genoutput.c, genpeep.c
808         * genpreds.c, genrecog.c: Don't define get_insn_name nor
809         record_insn_name.
810         * Makefile.in (BUILD_SUPPORT, BUILD_PRINT): Fold into BUILD_RTL.
811         (BUILD_VARRAY): Delete.
812         (genprognormal): Rename genprogmd.  Fold in all programs from
813         genprognoprint; also attrtab.
814         (build/genattrtab): Just mention genautomata.o and varray.o.
815         Reorganize a bit, add comments to make the categories clearer.
816
817 2006-01-22  Zack Weinberg  <zackw@panix.com>
818
819         * genconditions.c (condition_table, add_condition): Delete.
820         (write_conditions): Don't emit n_insn_conditions nor
821         insn_elision_unavailable.  Issue the gcc version #ifdef here,
822         inside the table, with no #else clause ...
823         (write_header): ...not here.
824         (write_writer): New function.
825         (main): Don't initialize condition_table.  Use add_c_test.
826         Call write_writer.
827         * gensupport.c (init_md_reader_args_cb): Handle multiple input
828         files on the command line.
829         (maybe_eval_c_test): Don't check insn_elision_unavailable.
830         Return -1 if there is no entry in the table, don't abort.
831         (add_c_test, traverse_c_tests): New functions.
832         * gensupport.h (insn_elision_unavailable, insn_conditions)
833         (n_insn_conditions): Delete declarations.
834         (add_c_test, traverse_c_tests): Declare.
835         * read-rtl.c: Include gensupport.h.
836         (read_conditions): New function.
837         (read_rtx): If read_rtx_1 returns 0, treat as EOF.
838         (read_rtx_1): If we get EOF when we were looking for an initial
839         open paren, return 0.  Call read_conditions when appropriate.
840         * Makefile.in: Kill BUILD_EARLY_SUPPORT and all references to
841         dummy-conditions.o.  Eliminate references to insn-conditions.o,
842         or change them to build/gencondmd.o, as appropriate.  Remove
843         insn-constants.h from $(simple_generated_h) and insn-conditions.c
844         from $(simple_generated_c).  For all files remaining in those
845         two lists, add insn-conditions.md to the generator command line.
846         Give insn-constants.h/s-constants their own rules.  Add rules
847         for build/gencondmd.c, s-conditions, insn-conditions.md, s-condmd.
848         (build/read-rtl.o): Depend on gensupport.h.
849         (genprognormal): Include preds.
850         (genprogearly): Rename genprognoprint; only difference is now that
851         they don't link with $(BUILD_PRINT).
852         * dummy-conditions.c: Delete.
853
854 2006-01-22  Zack Weinberg  <zackw@panix.com>
855
856         * genextract.c: Don't include insn-config.h.  Do include vec.h.
857         Declare vectors of int, char, and locstr.
858         (locstr): New typedef.
859         (struct extraction): Make all array fields into bare pointers.
860         (insn_name_ptr, insn_name_ptr_size): Move down by get_insn_name.
861         (insn_code_number): Delete.
862         (accum_extract): New struct.
863         (VEC_safe_set_locstr, VEC_char_to_string): New functions.
864         (gen_insn): Take insn_code_number as an argument.  Use an
865         accum_extract structure instead of loading data directly into
866         a struct extraction, and having to know how big it might get.
867         (walk_rtx): Operate entirely on an accum_extract structure.
868         (print_path): Avoid unnecessary use of printf.
869         (print_header): New function, split out of main.  Distinguish
870         more carefully between an unrecognizable insn and an insn that
871         has the code number of a define_expand.
872         (main): Pass insn_code_number to gen_insn.  Call print_header
873         only after parsing.  Avoid unnecessary use of printf.
874         * Makefile.in (build/vec.o): New rule.
875         (build/genextract): Depend on build/vec.o.
876         (build/genextract.o): Don't depend on insn-config.h.
877
878 2006-01-22  Zack Weinberg  <zackw@panix.com>
879
880         * Makefile.in: Consolidate most rules that use $(CC_FOR_BUILD) and/or
881         $(RUN_GEN).  Use pattern rules to factor out as much boilerplate as
882         practical.  Eliminate per-generator-program link rules.
883
884 2006-01-23  Andrew Pinski  <pinskia@physics.uc.edu>
885
886         PR middle-end/24437
887         * tree-ssa-ccp.c (fold_stmt): Move folding of OBJ_TYPE_REF
888         with a call expr to ...
889         * fold-const.c (fold_ternary) <case CALL_EXPR>: Here.
890
891 2006-01-23  Richard Guenther  <rguenther@suse.de>
892
893         * cfgloopmanip.c (lv_adjust_loop_entry_edge): Add comment
894         before make_edge with conditional EDGE_TRUE_VALUE.
895
896 2006-01-23  Steven Bosscher  <stevenb.gcc@gmail.com>
897         Jan Hubicka  <jh@suse.cz>
898         Richard Guenther  <rguenther@suse.de>
899
900         PR rtl-optimization/25654
901         * cfgexpand.c (aggregate_contains_union_type): New function.
902         (add_alias_set_conflicts): Call it.  Make sure to add conflicts
903         for structure variables that contain a union type.
904
905 2006-01-23  Richard Sandiford  <richard@codesourcery.com>
906
907         * gengtype.c (new_structure): Return the structure.
908         (create_option): Add an extra "next" argument.
909         (create_field): New function.
910         (adjust_field_rtx_def): Use create_option and create_field.
911         Remove a now-unnecessary call to find_structure.
912         (adjust_field_tree_def): Likewise.
913         (note_yacc_type): Remove an unnecessary call to find_structure.
914         * gengtype.h (new_structure): Return the structure.
915         (create_option): Add an extra argument.
916         * gengtype-yacc.y (type): Remove unnecessary calls to find_structure.
917         (option): Adjust calls to create_option.
918
919 2006-01-22  David Edelsohn  <edelsohn@gnu.org>
920
921         * config/rs6000/aix.h (STACK_BOUNDARY): Define.
922
923 2006-01-22  Paul Brook  <paul@codesourcery.com>
924         Peter Barada  <peter@the-baradas.com>
925
926         * config/m68k/m68k.md: Add Coldfire FPU support.
927         Define FP mode macro and associated attributes.
928         Use it for float mode patterns.
929         * config/m68k/linux.h (FUNCTION_VALUE): Use m68k_function_value.
930         (LIBCALL_VALUE): Use m68k_libcall_value.
931         * config/m68k/m68k-protos.h (m68k_libcall_value): Add prototype.
932         (m68k_function_value): Ditto.
933         (emit_move_sequence): Ditto.
934         * config/m68k/m68kemb.h (LIBCALL_VALUE): Use m68k_libcall_value.
935         * config/m68k/m68k-none.h (ASM_SPEC): Add mcfv4e.
936         * config/m68k/t-m68kelf (MULTILIB_OPTIONS): Add mcfv4e.
937         (MULTILIB_EXCEPTIONS): Ditto.
938         * config/m68k/m68k.opt: Add mcfv4e.
939         * config/m68k/m68k.c (m68k_handle_option): Handle OPT_mcfv4e.
940         (m68k_compute_frame_layout): Include space for ColdFire FPU regs.
941         (m68k_output_function_prologue): Save ColdFire FPU registers.
942         (m68k_output_function_epilogue): Restore ColdFire FPU registers.
943         (force_mode, fp_reg_operand, emit_move_sequence): New functions.
944         (m68k_regno_mode_ok): Don't allow types larget than 8 bytes in
945         ColdFire FPU registers.
946         (m68k_libcall_value, m68k_function_value): New functions.
947         * config/m68k/netbsd-elf.h (FUNCTION_VALUE): Use m68k_function_value.
948         (LIBCALL_VALUE): Use m68k_libcall_value.
949         * config/m68k/m68k.h (TARGET_CPU_CPP_BUILTINS): Define __mcfv4e__.
950         (MASK_COLDFIRE): Add MASK_CFV4E.
951         (TARGET_COLDFIRE_FPU, TARGET_HARD_FLOAT, TARGET_FP_REG_SIZE): New.
952         (MODES_TIEABLE_P): Use TARGET_HARD_FLOAT.
953         (REG_CLASS_FROM_LETTER, PREFERRED_RELOAD_CLASS): Ditto.
954         (GO_IF_COLDFIRE_FPU_LEGITIMATE_ADDRESS): Define.
955         (GO_IF_LEGITIMATE_ADDRESS): Use it.
956         (LEGITIMIZE_ADDRESS): Handle ColdFire FPU addresses.
957         * doc/invoke.tex: Document -mcfv4e on m68k.
958
959 2006-01-22  Ranjit Mathew  <rmathew@gcc.gnu.org>
960
961         * doc/contribute.texi: Change CVS to SVN and update the corresponding
962         URL.
963
964 2006-01-21  Gabriel Dos Reis  <gdr@integrable-solutions.net>
965
966         PR c++/16190
967         * c-opts.c (c_common_handle_option): Don't include
968         -Wnon-virtual-dtor in -Wall; enable if -Weffc++.
969         * doc/invoke.texi (C++ Dialect Options): Document that
970         -Wnon-virtual-dtor is no longer included in -Wall.
971
972 2006-01-21  Joseph S. Myers  <joseph@codesourcery.com>
973
974         * gcov.c (print_version), gcov-dump.c (print_version),
975         mips-tdump.c (main), mips-tfile.c (main): Update copyright notice
976         dates.
977
978 2006-01-21  Kenneth Zadeck <zadeck@naturalbridge.com>
979
980         * df-scan.c (problem_SCAN): Added NULL reset function.
981         (df_scan_reset_blocks): Added code to call reset block function
982         (df_bb_refs_delete) Fixed comment.
983         (df_insn_refs_delete): Made tolerant of deleting non existent info
984         for dataflow problems that need to be reset.
985         * df-core.c (df_set_blocks): Ditto.
986         * df.h (struct df_problem): Added reset_fun.
987         * df-problems.c (problem_RU, problem_RD, problem_LR, problem_UR,
988         problem_UREC, problem_CHAIN, problem_RI): Initialized reset_fun field.
989         (df_chain_insn_reset, df_chain_bb_reset, df_chain_reset): New
990         functions to clear out all references to def-use or use-def chains.
991
992 2006-01-21  Ben Elliston  <bje@au.ibm.com>
993
994         * varasm.c (assemble_real): Initialise data array.
995
996 2006-01-20  Paul Brook  <paul@codesourcery.com>
997
998         Merge from csl-arm-branch.
999         2005-09-21  Kazu Hirata  <kazu@codesourcery.com>
1000         * config/arm/arm.md (movdi): Force operands[1] to a register
1001         if we have a non-register source.
1002         (*arm_movdi, *movdf_soft_insn): Require that one of the
1003         operands be a register.
1004         * config/arm/iwmmxt.md (*iwmmxt_arm_movdi): Likewise.
1005         * config/arm/vfp.md (*arm_movdi_vfp, *movdf_vfp): Likewise.
1006
1007 2006-01-20  DJ Delorie  <dj@redhat.com>
1008
1009         * varasm.c (initialize_constant_valid_p): Allow pointers
1010         initialized from integer constants of lesser precision.
1011         (output_constant): Allow non-int-sized pointer modes to be
1012         initialized from integer constants.
1013
1014 2006-01-20  Joseph S. Myers  <joseph@codesourcery.com>
1015
1016         PR libstdc++/25524
1017         * cppdefault.h (struct default_include): Add multilib flag.
1018         * cppdefault.c (cpp_include_defaults): Set it.
1019         * c.opt (-imultilib): New option.
1020         * c-opts.c (imultilib): New.
1021         (c_common_handle_option): Handle -imultilib.
1022         (c_common_post_options): Likewise.
1023         * c-incpath.c (add_standard_paths, register_include_chains):
1024         Likewise.
1025         * c-incpath.h (register_include_chains): Add extra parameter.
1026         * gcc.c (do_spec_1): Generate -imultilib option.
1027         (The Specs Language): Update %I description.
1028         (process_command): Update copyright notice.
1029         * doc/cppopts.texi (-imultilib): Document.
1030         * doc/invoke.texi (-imultilib): Include in option summary.
1031         (%I): Update specs documentation.
1032
1033 2006-01-20  Zdenek Dvorak <dvorakz@suse.cz>
1034
1035         * loop-iv.c (iv_analysis_loop_init): Use df in more conservative way.
1036
1037 2006-01-20  Richard Sandiford  <richard@codesourcery.com>
1038
1039         * stmt.c (case_bit_test_cmp): Stabilize the sort using code
1040         label numbers.
1041
1042 2006-01-20  Richard Guenther  <rguenther@suse.de>
1043         Steven Bosscher <stevenb.gcc@gmail.com>
1044
1045         PR rtl-optimization/24626
1046         * cfgloopmanip.c (lv_adjust_loop_entry_edge): Don't set
1047         EDGE_TRUE_VALUE if in RTL mode.
1048
1049         Revert
1050         2005-03-30 Mostafa Hagog <mustafa@il.ibm.com>
1051         * cfgrtl.c (rtl_verify_flow_info_1): Fix.
1052
1053 2006-01-20  Dirk Mueller  <dmueller@suse.com>
1054
1055         PR c++/5520
1056         * c-parser.c (c_parser_if_body): Use build_empty_stmt()
1057         instead of a special NOP marker.
1058         * c-typeck.c (c_finish_if_stmt): Remove obsoleted special
1059         NOP marker handling.
1060         * c-common.h (empty_body_warning): Add forward declaration.
1061         * c-common.c (empty_body_warning): Add (from c_finish_if_stmt).
1062         Now uses IS_EMPTY_STMT() instead of special NOP markers.
1063
1064 2006-01-20  Paul Brook  <paul@codesourcery.com>
1065
1066         * Makefile.in (lang_checks): Keep going if mkdir fails.
1067
1068 2006-01-19  Kenneth Zadeck <zadeck@naturalbridge.com>
1069
1070         * df-scan.c (df_scan_free_bb_info): Added basic block parameter to
1071         be able to clean out basic block when not necessary.
1072         (df_scan_free): Fixed to properly delete information if df is
1073         unused before calling df_finish.
1074         (df_scan_alloc, df_rescan_blocks, df_reg_chain_unlink,
1075         df_insn_create_insn_record, df_bb_refs_record): Fixed formatting
1076         or comment typos.
1077         (df_bb_refs_delete): New function.
1078         (df_refs_delete): Moved per block code to df_bb_refs_delete.
1079         * df-core.c (df_set_blocks): Added code to properly clean out
1080         unused blocks if they are not part of the blocks to consider.
1081         Added additional null check.
1082         (df_compact_blocks): Added basic block parameter to free_bb_fun to
1083         be able to clean out basic block when not necessary
1084         * df.h (df_free_bb_function): Ditto.
1085         (df_bb_refs_delete): New function.
1086         * df-problems.c (df_ru_free_bb_info, df_rd_set_bb_info,
1087         df_lr_set_bb_info, df_ur_free_bb_info, df_urec_free_bb_info):Added
1088         basic block parameter to be able to clean out basic block when not
1089         necessary.
1090         (df_ru_alloc, df_rd_alloc): Fixed dyslexic overflow test.
1091         (df_ru_free, df_rd_free, df_lr_free, df_ur_free, df_urec_free):
1092         Fixed to properly delete information if df is unused before
1093         calling df_finish.
1094
1095 2006-01-19  Kenneth Zadeck <zadeck@naturalbridge.com>
1096
1097         PR rtl-optimization/25799
1098         * df-problems.c (df_ru_confluence_n, df_rd_confluence_n):
1099         Corrected confluence operator to remove bits from op2 before oring
1100         with op1 rather than removing bits from op1.
1101         (df_ru_transfer_function): Corrected test on wrong bitmap which
1102         caused infinite loop.  Both of these problems were introduced in
1103         the dataflow rewrite.
1104
1105 2006-01-19  DJ Delorie  <dj@redhat.com>
1106
1107         * reload1.c (find_reload_regs): Note the details of reload
1108         failures in the dump file.
1109         (spill_failure): Likewise.
1110
1111 2006-01-20  Zdenek Dvorak <dvorakz@suse.cz>
1112
1113         * loop-iv.c: Include df.h and hashtab.h.
1114         (enum iv_grd_result): New enum.
1115         (DF_REF_IV, DF_REF_IV_SET): New macros.
1116         (struct biv_entry): New.
1117         (df, bivs): New global variables.
1118         (struct insn_info, insn_info, last_def, bivs, max_insn_no, max_reg_no,
1119         assign_luids, mark_sets, kill_sets, mark_single_set, simple_set_p):
1120         Removed.
1121         (clear_iv_info, latch_dominating_def, record_iv, iv_analyze_expr,
1122         iv_analyze_result, iv_analyze_def, biv_hash, biv_eq,
1123         analyzed_for_bivness_p, record_biv): New functions.
1124         (iv_analysis_loop_init, iv_get_reaching_def, simple_reg_p,
1125         get_biv_step_1, get_biv_step, iv_analyze_biv, iv_analyze_op,
1126         iv_analyze, biv_p, iv_analysis_done): Work with df representation of
1127         UD chains.
1128         (iv_constant, iv_subreg, iv_extend, iv_mult, iv_shift): Do not set
1129         analysed.
1130         (iv_number_of_iterations): Use new interface to iv analysis.
1131         * loop-unroll.c: Do not include varray.h.
1132         (analyze_iv_to_split_insn): Use new interface to iv
1133         analysis.
1134         * loop-unswitch.c (may_unswitch_on): Ditto.
1135         * df.c (df_bitmaps_free): Only work for bbs for that structures are
1136         allocated.
1137         (df_bb_modify): Realloc tables to the new index.
1138         (df_find_use): New function.
1139         * df.h (df_find_use): Declare.
1140         * optabs.c (expand_unop): Make the mode of the REG_EQUAL node be
1141         outmode.
1142         * cfgloop.h (struct rtx_iv): Remove analysed field.
1143         (iv_get_reaching_def): Removed.
1144         (iv_analyze_result, iv_analyze_expr, iv_current_loop_df): Declare.
1145         * Makefile.in (loop-unroll.o): Remove VARRAY_H dependency.
1146         (loop-iv.o): Add df.h and hashtab.h dependency.
1147         * df-problems.c (df_ru_alloc, df_rd_alloc): Fix memory reallocation.
1148
1149 2006-01-20  Alan Modra  <amodra@bigpond.net.au>
1150
1151         * libgcc2.c (__floatdisf, __floatdidf): Don't use IBM Extended
1152         Double TFmode.
1153         (__floatundisf, __floatundidf): Likewise.
1154         * libgcc2.h (IS_IBM_EXTENDED): Define.
1155
1156 2006-01-19  DJ Delorie  <dj@redhat.com>
1157
1158         * config/m32c/m32c.h (REG_ALLOC_ORDER): Define.
1159
1160 2006-01-19  Paul Brook  <paul@codesourcery.com>
1161
1162         * gcc/config/arm/arm.c (arm_compute_func_type): Treat all functions
1163         as nothrow when unwinding tables are disabled.
1164
1165 2006-01-19  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
1166
1167         PR testsuite/25171
1168         * c-decl.c (check_bitfield_type_and_width): Don't issue pedwarn "type
1169         of bit-field" when in system header.
1170
1171 2006-01-19  DJ Delorie  <dj@redhat.com>
1172
1173         * config/m32c/m32c.c (m32c_prepare_shift): Add code to deal with
1174         the 16 bit shift limit of the m16c.
1175
1176 2006-01-19  Andrew Pinski  <pinskia@physics.uc.edu>
1177
1178         PR target/22099
1179         * config/i386/i386.md (builtin_setjmp_receiver): Don't emit the label.
1180         * config/i386/i386.c (output_set_got): Output the label if we have one
1181         for the TARGET_DEEP_BRANCH_PREDICTION case.
1182
1183 2006-01-19  Jan Hubicka  <jh@suse.cz>
1184             H.J. Lu  <hongjiu.lu@intel.com>
1185             Evandro Menezes <evandro.menezes@amd.com>
1186
1187         * invoke.texi (generic): Document
1188         (i686) Update.
1189         * config.gcc: Make x86_64-* and i686-* default to generic tunning.
1190         * i386.h (TARGET_GENERIC32, TARGET_GENERIC64, TARGET_GENERIC,
1191         TARGET_USE_INCDEC, TARGET_PAD_RETURNS): New macros.
1192         (x86_use_incdec, x86_pad_returns): New variables
1193         (TARGET_CPU_DEFAULT_generic): New constant
1194         (TARGET_CPU_DEFAULT_NAMES): Add generic.
1195         (enum processor_type): Add generic32 and generic64.
1196         * i386.md (cpu attribute): Add generic32/generic64
1197         (movhi splitter): Behave sanely when both partial_reg_dependency and
1198         partial_reg_stall are set.
1199         (K8 splitters): Enable for generic as well.
1200         * predicates.md (incdec_operand): Use TARGET_INCDEC
1201         (aligned_operand): Avoid memory mismatch stalls.
1202         * athlon.md: Enable for generic64, new patterns for 128bit moves.
1203         * ppro.md: Enable for generic32
1204         * i386.c (generic64_cost, generic32_cost): New.
1205         (m_GENERIC32, m_GENERIC64, m_GENERIC): New macros.
1206         (x86_use_leave): Enable for generic64.  (x86_use_sahf,
1207         x86_ext_80387_constants): Enable for generic32.  (x86_push_memory,
1208         x86_movx, x86_unroll_strlen, x86_deep_branch, x86_use_simode_fiop,
1209         x86_use_cltd, x86_promote_QImode, x86_sub_esp_4, x86_sub_esp_8,
1210         x86_add_esp_4, x86_add_esp_8, x86_integer_DFmode_moves,
1211         x86_partial_reg_dependency, x86_memory_mismatch_stall,
1212         x86_accumulate_outgoing_args, x86_prologue_using_move,
1213         x86_epilogue_using_move, x86_arch_always_fancy_math_387,
1214         x86_sse_partial_reg_dependency, x86_four_jump_limit, x86_schedule):
1215         Enable for generic.
1216         (x86_use_incdec, x86_pad_returns): New.
1217         (override_options): Add generic32 and generic64, translate "generic"
1218         to generic32/generic64 and "i686" to "generic32", refuse
1219         "generic32"/"generic64" as arch target.
1220         (ix86_issue_rate, ix86_adjust_cost): Handle generic as athlon.
1221         (ix86_reorg): Honor PAD_RETURNS.
1222
1223 2006-01-19  Diego Novillo  <dnovillo@redhat.com>
1224
1225         * tree-pretty-print.c (dump_generic_node): Handle
1226         OMP_PARALLEL_FN, OMP_PARALLEL_DATA_ARG and OMP_RETURN_EXPR.
1227         * cgraph.c (cgraph_expand_queue): Rename from
1228         cgraph_analyze_queue.  Update all users.
1229         * cgraphunit.c (cgraph_assemble_pending_functions): Process
1230         cgraph_expand_queue.
1231         (cgraph_expand_all_functions): Likewise.
1232         (cgraph_finalize_pending_functions): Remove.  Update callers.
1233
1234         * tree.h (OMP_DIRECTIVE_P): Define.
1235         (OMP_PARALLEL_FN): Define.
1236         (OMP_PARALLEL_DATA_ARG): Define.
1237         (OMP_SECTIONS_SECTIONS): Define.
1238         * tree-pass.h (pass_expand_omp): Declare.
1239         * omp-low.c (struct omp_region): Declare.
1240         (struct omp_context): Remove fields 'parallel_type',
1241         'parallel_start_ix' and 'parallel_start_additional_args'.
1242         Update all users.
1243         (struct omp_for_data): Rename from struct expand_omp_for_data.
1244         (omp_regions): New static variable.
1245         (root_omp_region): New static variable.
1246         (find_omp_clause): Make static.
1247         (is_in_combined_parallel_ctx): Remove.
1248         (is_combined_parallel): New.
1249         (extract_omp_for_data): Move earlier in the file.
1250         (workshare_safe_to_combine_p): New.
1251         (get_ws_args_for): New.
1252         (determine_parallel_type): Move earlier in the file.
1253         (omp_copy_decl_2): Do not set DECL_CONTEXT of new local to the
1254         child function.
1255         (omp_copy_decl): Likewise.
1256         (create_omp_child_function): Likewise.
1257         (lookup_omp_region): New.
1258         (dump_omp_region): New.
1259         (debug_omp_region): New.
1260         (debug_all_omp_regions): New.
1261         (new_omp_region): New.
1262         (scan_omp_parallel): If parallel_nesting_level > 1, the
1263         directive is nested within another parallel directive.
1264         Set OMP_PARALLEL_FN.
1265         (scan_omp_for): Do not try to handle combined parallel+for
1266         cases.
1267         Remove FIXME comment.
1268         (scan_omp_nested): Remove.
1269         (scan_omp_1): Do not call scan_omp_nested when
1270         parallel_nesting_level is > 1.
1271         Do not change the DECL_CONTEXT of local variables found.
1272         (lookup_decl_in_outer_ctx): New.
1273         (lower_rec_input_clauses): Rename from expand_rec_input_clauses.
1274         (lower_lastprivate_clauses): Rename from expand_lastprivate_clauses.
1275         (lower_reduction_clauses): Rename from expand_reduction_clauses.
1276         (lower_copyprivate_clauses): Rename from expand_copyprivate_clauses.
1277         If CTX is nested, lookup VAR in the outer context when
1278         building copy assignment.
1279         (lower_send_clauses): Rename from expand_send_clauses.
1280         If CTX is nested, lookup VAR in the outer context when
1281         building copy assignments.
1282         (lower_send_shared_vars): Rename from expand_send_shared_vars.
1283         If CTX is nested, lookup VAR in the outer context when
1284         building copy assignments.
1285         (expand_parallel_call): Rename from build_parallel_call.
1286         Handle combined parallel+workshare cases.
1287         Re-implement to emit code into the CFG.
1288         (list2chain): New.
1289         (expand_omp_parallel): Re-implement to emit code into the CFG.
1290         Call move_sese_region_to_fn to outline the sub-graph
1291         containing the parallel region.
1292         (expand_omp_for_1): Remove.
1293         (expand_omp_for_generic): Re-implement to emit code into the
1294         CFG.
1295         (expand_omp_for_static_nochunk): Likewise.
1296         (expand_omp_for_static_chunk): Likewise.
1297         (expand_omp_for): Likewise.
1298         (expand_omp_sections): Likewise.
1299         (remove_exit_barriers): New.
1300         (expand_omp_synch): New.
1301         (expand_omp): New.
1302         (build_omp_regions_1): New.
1303         (build_omp_regions): New.
1304         (execute_expand_omp): New.
1305         (gate_expand_omp): New.
1306         (pass_expand_omp): Define.
1307         (lower_omp_sections): Rename from expand_omp_sections.
1308         Set OMP_SECTIONS_SECTIONS.
1309         (lower_omp_single_simple): Rename from expand_omp_single_simple.
1310         (lower_omp_single_copy): Rename from expand_omp_single_copy.
1311         (lower_omp_single): Rename from expand_omp_simple.
1312         (lower_omp_master): Rename from expand_omp_master.
1313         (lower_omp_ordered): Rename from expand_omp_ordered.
1314         (lower_omp_critical): Rename from expand_omp_critical.
1315         (lower_omp_for_lastprivate): Rename from expand_omp_for_lastprivate.
1316         (lower_omp_for): Re-implement.
1317         (lower_omp_parallel): Re-implement.
1318         (lower_regimplify): Rename from expand_regimplify.
1319         (lower_omp_1): Rename from expand_omp_1.
1320         If there are syntax errors in the program, replace every
1321         OpenMP directive with NOP.
1322         Call lower_omp_* instead of expand_omp_*.
1323         (lower_omp): Rename from expand_omp.
1324
1325         * tree-gimple.c (is_gimple_stmt): Handle OMP_RETURN_EXPR.
1326         * tree-gimple.h (enum omp_parallel_type): Remove.
1327         (gimple_boolify): Declare extern.
1328         (find_omp_clause, determine_parallel_type): Remove.
1329
1330         * gimple-low.c (lower_omp_directive): New.
1331         (lower_stmt): Call it.
1332         (record_vars_into): Move from ...
1333         (record_vars): ... here.
1334         Call record_vars_into with current_function_decl.
1335
1336         * gimplify.c (struct gimplify_ctx): Remove fields
1337         combined_pre_p and combined_ctxp.  Update users.
1338         (get_formal_tmp_var): Add documentation.
1339         (gimple_boolify): Make extern.
1340         (gimplify_expr_in_ctx): Remove.  Update callers.
1341         (gimplify_omp_parallel): Do not assume that OMP_PARALLEL_BODY
1342         will always be a BIND_EXPR.
1343         (gimplify_expr): Handle OMP_RETURN_EXPR.
1344         * tree.def (BLOCK): Remove documentation about BLOCK_TYPE_TAGS.
1345         (OMP_PARALLEL): Add 3 operands.
1346         (OMP_SECTIONS): Add 1 operand.
1347         (OMP_RETURN_EXPR): Define.
1348
1349         * tree-inline.c (estimate_num_insns_1): Handle OpenMP directives.
1350         (copy_tree_r): Restore TREE_CHAIN in OMP_CLAUSE_*.
1351         * tree-iterator.c (alloc_stmt_list): Assert that we are not
1352         creating a circular free list.
1353         (free_stmt_list): Assert that we are not freeing stmt_list_cache.
1354
1355         * tree-flow.h (move_sese_region_to_fn): Declare.
1356         (record_vars_into): Declare.
1357         * tree-cfg.c (make_omp_sections_edges): New.
1358         (make_exit_edges): Handle OMP_PARALLEL, OMP_FOR, OMP_SINGLE,
1359         OMP_MASTER, OMP_ORDERED, OMP_CRITICAL, OMP_RETURN_EXPR,
1360         OMP_SECTIONS and OMP_SECTION.
1361         (is_ctrl_altering_stmt): Return true for OMP_DIRECTIVE_P.
1362         (set_bb_for_stmt): Undo change to check currently_expanding_to_rtl.
1363         (verify_stmt): Do not handle OMP_DIRECTIVE_P.
1364         (gather_blocks_in_sese_region): New.
1365         (struct move_stmt_d): Declare.
1366         (move_stmt_r): New.
1367         (move_block_to_fn): New.
1368         (move_sese_region_to_fn): New.
1369
1370         * passes.c (init_optimization_passes): Schedule
1371         pass_expand_omp after pass_init_datastructures.
1372
1373         * tree-ssa-operands.c (get_expr_operands): Handle
1374         OMP_PARALLEL, OMP_SECTIONS, OMP_FOR, OMP_RETURN_EXPR,
1375         OMP_SINGLE, OMP_MASTER, OMP_ORDERED, OMP_CRITICAL.
1376
1377 2006-01-19  Jeff Law  <law@redhat.com>
1378
1379         * tree-vrp.c (extract_range_from_assert): Refine the result range
1380         if the variable referenced by the ASSERT_EXPR has a range and
1381         either the tentative result range or the previous range is a
1382         VR_ANTI_RANGE.
1383
1384 2006-01-19  Richard Sandiford  <richard@codesourcery.com>
1385
1386         * c-decl.c (add_flexible_array_elts_to_size): Simplify vector accesses.
1387
1388 2006-01-19  Jan Hubicka  <jh@suse.cz>
1389
1390         * tree-vect-patterns.c (vect_pattern_recog_1): Prevent parse error.
1391
1392 2006-01-19  Paolo Bonzini  <bonzini@gnu.org>
1393
1394         * combine.c (try_combine): Do not worry about MEMs wrapped by USEs.
1395         (expand_compound_operation, expand_field_assignment): Fail if the
1396         bit lengths of an extract operation are out of range.
1397         (make_extraction): Compute wanted_inner_mode based on the position
1398         and length of the extraction.  Make it extraction_mode for non-constant
1399         positions, and do not modify offset in that case.  When generating a
1400         new MEM, use a mode that can hold the extraction while keeping correct
1401         alignment.  Remove code that supported MEMs wrapped by USEs.
1402         (simplify_shift_const_1, force_to_mode) <case USE>: Remove.
1403
1404 2006-01-19  Andreas Krebbel  <krebbel1@de.ibm.com>
1405
1406         * config/s390/s390.md ("Y", "y"): New mode attribute.
1407         ("*cmpdi_ccs", "*cmpsi_ccs", "*adddi3_imm_cc", "*adddi3_carry1_cc",
1408         "*adddi3_carry1_cconly", "*adddi3_carry2_cc", "*adddi3_carry2_cconly",
1409         "*adddi3_cc", "*adddi3_cconly", "*adddi3_cconly2", "*adddi3_64",
1410         "*addsi3_imm_cc", "*addsi3_carry1_cc",
1411         "*addsi3_carry1_cconly", "*addsi3_carry2_cc", "*addsi3_carr2_cconly",
1412         "*addsi3_cc", "*addsi3_cconly", "*addsi3_cconly2",
1413         "*subdi3_borrow_cc", "*subdi3_borrow_cconly", "*subdi3_cc",
1414         "*subdi3_cc2", "*subdi3_cconly", "*subdi3_cconly2", "*subdi3_64",
1415         "*subsi3_borrow_cc", "*subsi3_borrow_cconly", "*subsi3_cc",
1416         "*subsi3_cc2", "*subsi3_cconly", "*subsi3_cconly", "*subsi3_cconly2",
1417         "addsi3", "subsi3"): Insn patterns removed.
1418         ("*add<mode>3_carry1_cc", "*add<mode>3_carry1_cconly",
1419         "*add<mode>3_carry2_cc", "*add<mode>3_carry2_cconly", "*add<mode>3_cc",
1420         "*add<mode>3_cconly", "*add<mode>3_cconly2", "*add<mode>3_imm_cc",
1421         "*sub<mode>3_borrow_cc", "*sub<mode>3_borrow_cconly",
1422         "*sub<mode>3_cc", "*sub<mode>3_cc2", "*sub<mode>3_cconly",
1423         "*sub<mode>3_cconly2"): New insn patterns.
1424         ("addsi3", "subsi3"): New expanders.
1425
1426 2006-01-19  Dorit Nuzman  <dorit@il.ibm.com>
1427
1428         * Makefile.in (tree-vect-patterns.o): Add rule for new file.
1429         * tree-vect-analyze.c (vect_determine_vectorization_factor): Use
1430         existing STMT_VINFO_VECTYPE if available.
1431         (vect_mark_relevant): Add special handling for stmts that are
1432         marked as STMT_VINFO_IN_PATTERN_P.
1433         (vect_analyze_loop): Call vect_pattern_recog.
1434         * tree-vectorizer.c (new_stmt_vec_info): Initialize new fields.
1435         * tree-vectorizer.h (in_pattern_p, related_stmt): New fields in
1436         stmt_info.
1437         (STMT_VINFO_IN_PATTERN_P, STMT_VINFO_RELATED_STMT): New macros.
1438         (vect_recog_func_ptr): New function-pointer type.
1439         * tree-vect-patterns.c: New file.
1440         (vect_recog_widen_sum_pattern, vect_recog_widen_mult_pattern):
1441         (vect_recog_dot_prod_pattern, vect_pattern_recog):
1442         (vect_pattern_recog_1): New functions.
1443         (vect_pattern_recog_funcs): New array of function pointers.
1444
1445         * tree-vectorizer.h (ternary_op): New enum value.
1446         * tree-vect-transform.c (vect_create_epilog_for_reduction): Added
1447         declaration. Revised documentation. Removed redundant dump prints.
1448         Removed redundant argument. Added support for reduction patterns.
1449         (vectorizable_reduction): Added support for reduction patterns.
1450         (vect_transform_stmt): Added support for patterns.
1451
1452         * expr.c (expand_expr_real_1): Added case for DOT_PROD_EXPR.
1453         * genopinit.c (udot_prod_optab, sdot_prod_optab): Initialize.
1454         * optabs.c (optab_for_tree_code): Added case for DOT_PROD_EXPR.
1455         (expand_widen_pattern_expr): New function.
1456         (init_optabs): Initialize new optabs udot_prod_optab,
1457         sdot_prod_optab.
1458         * optabs.h (OTI_sdot_prod, OTI_udot_prod): New.
1459         (sdot_prod_optab, udot_prod_optab): Define new optabs.
1460         (expand_widen_pattern_expr): New function declaration.
1461         * tree.def (DOT_PROD_EXPR, WIDEN_SUM_EXPR, WIDEN_MULT_EXPR): New
1462         tree-codes.
1463         * tree-inline.c (estimate_num_insns_1): Added cases for new
1464         tree-codes DOT_PROD_EXPR, WIDEN_SUM_EXPR, WIDEN_MULT_EXPR.
1465         * tree-pretty-print.c (dump_generic_node): Likewise.
1466         (op_prio): Likewise.
1467         (op_symbol): Added cases for WIDEN_SUM_EXPR, WIDEN_MULT_EXPR.
1468         * tree-ssa-operands.c (get_expr_operands): Added case for
1469         DOT_PROD_EXPR.
1470         * tree-vect-patterns.c (widened_name_p): New function.
1471         (vect_recog_dot_prod_pattern): Added function implementation.
1472         * tree-vect-transform.c (get_initial_def_for_reduction): Added
1473         cases for DOT_PROD_EXPR, WIDEN_SUM_EXPR.
1474         * config/rs6000/altivec.md (udot_prod<mode>, sdot_prodv8hi): New.
1475         * config/i386/sse.md (sdot_prodv8hi, udot_prodv4si): New.
1476
1477         * expr.c (expand_expr_real_1): Added case for WIDEN_SUM_EXPR.
1478         * genopinit.c (widen_ssum_optab, widen_usum_optab): Initialize.
1479         * optabs.c (optab_for_tree_code): Added case for WIDEN_SUM_EXPR.
1480         (init_optabs): Initialize new optabs widen_ssum_optab,
1481         widen_usum_optab.
1482         * optabs.h (OTI_widen_ssum, OTI_widen_usum): New.
1483         (widen_ssum_optab, widen_usum_optab): Define new optabs.
1484         * tree-vect-generic.c: (expand_vector_operations_1): Check type of
1485         use instead of type of def.
1486         * tree-vect-patterns.c (vect_recog_widen_sum_pattern): Added
1487         function implementation.
1488         * config/rs6000/altivec.md (widen_usum<mode>, widen_ssumv16qi,
1489         widen_ssumv8hi): New.
1490
1491         * doc/tm.texi (ssum_widen, usum_widen, sdot_prod, udot_prod): New
1492         patterns.
1493
1494 2006-01-19  Richard Sandiford  <richard@codesourcery.com>
1495
1496         PR c/25805
1497         * c-decl.c (add_flexible_array_elts_to_size): New function.
1498         (finish_decl): Use it.
1499
1500 2006-01-18  Andrew Pinski  <pinskia@physics.uc.edu>
1501
1502         * diagnostic.h: Include options.h.
1503         * config/rs6000/x-darwin (host-ppc-darwin.o): Correct the
1504         dependancies for diagnostic.h.
1505         * Makefile.in (DIAGNOSTIC_H): Add options.h.
1506
1507 2006-01-16  Daniel Berlin  <dberlin@dberlin.org>
1508
1509         * tree-ssa-operands.h (ssa_call_clobbered_cache_valid): Remove.
1510         (ssa_ro_call_cache_valid): Ditto.
1511         * tree-ssa-alias.c (sort_tags_by_id): New function.
1512         (init_transitive_clobber_worklist): Ditto.
1513         (add_to_worklist): Ditto.
1514         (mark_aliases_call_clobbered): Ditto.
1515         (compute_tag_properties): Ditto.
1516         (set_initial_properties): Ditto.
1517         (compute_call_clobbered): Ditto.
1518         (compute_may_aliases):  Call compute_call_clobbered and grouping.
1519         (compute_flow_sensitive_aliasing): Remove clobbering related code.
1520         (compute_flow_insensitive_aliasing): Grouping now happens in our
1521         caller.
1522         (setup_pointers_and_addressables): Remove clobbering related code.
1523         (add_may_alias): Ditto.
1524         (replace_may_alias): Ditto.
1525         (get_nmt_for): Ditto.
1526         (create_global_var):
1527         (is_escape_site): Return an escape_type enumeration.
1528         * tree-flow-inline.h (is_call_clobbered):  Global var does not
1529         imply call clobbered.
1530         (mark_call_clobbered): Take a reason for marking this. Remove
1531         marking of globalness, and cache invalidation.
1532         (clear_call_clobbered): Remove cache invalidation code.
1533         * tree-dfa.c (dump_variable): If details is on, dump the reason
1534         for escaping.
1535         * tree-outof-ssa.c (create_temp): Copy escape mask from original
1536         variable.
1537         * tree-flow.h (struct ptr_info_def): Add escape mask member.
1538         (struct var_ann_d): Ditto.
1539         (enum escape_type): New.
1540         (mark_call_clobbered): Adjust prototype.
1541         * tree-ssa-structalias.c (update_alias_info): Unmodifiable vars
1542         are never call clobbered.
1543         Record reasons for escaping.
1544         * tree-ssa-structalias.h (is_escape_site): Update prototype.
1545         * tree-ssa-operands.c (ssa_call_clobbered_cache_valid): Remove.
1546         (ssa_ro_call_cache_valid): Ditto.
1547         (clobbered_v_may_defs): Ditto.
1548         (clobbered_vuses): Ditto.
1549         (ro_call_vuses): Ditto.
1550         (clobber_stats): New.
1551         (init_ssa_operands): Zero out clobber stats.
1552         (fini_ssa_operands): Print out clobber stats.
1553         (get_call_expr_operands): Pass callee fndecl to
1554         add_call_read_ops).
1555         (add_call_clobber_ops): Remove use of cache.
1556         Add use of PURE_CONST information.
1557         (add_call_read_ops): Remove use of cache.
1558         Add use of static not_read information.
1559
1560 2006-01-18  Alexandre Oliva  <aoliva@redhat.com>
1561
1562         Introduce TLS descriptors for i386 and x86_64.
1563         * config/i386/i386.h (TARGET_GNU2_TLS): New macro.
1564         (TARGET_ANY_GNU_TLS): New macro.
1565         (enum tls_dialect): Added TLS_DIALECT_GNU2.
1566         (struct machine_function): Add tls_descriptor_call_expanded_p.
1567         (ix86_tls_descriptor_calls_expande_in_cfun): New macro.
1568         (ix86_current_function_calls_tls_descriptor): Likewise.
1569         * config/i386/i386.c (ix86_tls_dialect): Fix typo in comment.
1570         (override_options): Introduce gnu2 tls dialect.
1571         (ix86_frame_pointer_required): Functions containing TLSCALLs are
1572         not leaves.
1573         (ix86_select_alt_pic_regnum, ix86_compute_frame_layout):
1574         Likewise.
1575         (legitimize_tls_address): Adjust logic for GNU2 TLS.
1576         (ix86_init_machine_status): Initialize new field.
1577         (ix86_tls_get_addr): Use TARGET_ANY_GNU_TLS.
1578         (ix86_tls_module_base): New.
1579         * config/i386/i386-protos.h (ix86_tls_module_base): Declare it.
1580         * config/i386/i386.md (UNSPEC_TLSDESC): New constant.
1581         (tls_global_dynamic_32, tls_global_dynamic_64): Handle GNU2 TLS.
1582         (tls_local_dynamic_base_32, tls_local_dynamic_base_64): Likewise.
1583         (tls_dynamic_gnu2_32, *tls_dynamic_lea_32): New patterns.
1584         (*tls_dynamic_call_32, *tls_dynamic_gnu2_combine_32): Likewise.
1585         (tls_dynamic_gnu2_64, *tls_dynamic_lea_64): Likewise.
1586         (*tls_dynamic_call_64, *tls_dynamic_gnu2_combine_64): Likewise.
1587         * config/i386/predicates.md (tls_modbase_operand): New.
1588         (tp_or_register_operand): New.
1589
1590 2006-01-18  Daniel Berlin  <dberlin@dberlin.org>
1591
1592         * ipa-reference.c (check_operand):  Allow FUNCTION_DECL.
1593         (look_for_address_of): Ditto.
1594         (ipa_init): Walk the function decls.
1595         (static_execute): Don't set readonly on FUNCTION_DECL's.
1596
1597 2006-01-18  Roger Sayle  <roger@eyesopen.com>
1598
1599         * config/i386/i386.md (shift spliter): Fix a a typo in the splitter
1600         for shifts where the source and destination registers are different.
1601
1602 2006-01-18  Paul Brook  <paul@codesourcery.com>
1603
1604         Merge from csl-arm-branch.
1605         2005-03-14  Julian Brown  <julian@codesourcery.com>
1606         * config/arm/lib1funcs.asm (ashldi3): Don't define on SymbianOS.
1607         (aeabi_llsl): Likewise.
1608         (ashrdi3): Likewise.
1609         (aeabi_lasr): Likewise.
1610         (lshrdi3): Likewise.
1611         (aeabi_llsr): Likewise.
1612         2005-03-10  Julian Brown  <julian@codesourcery.com>
1613         * config.gcc: Disable shared libgcc for SymbianOS.
1614         * config/arm/t-symbian (LIB2ADDEH): Include config/arm/pr-support.c.
1615
1616 2006-01-18  DJ Delorie  <dj@redhat.com>
1617
1618         * c-pragma.c (handle_pragma_diagnostic): New.
1619         (init_pragma): Register it.
1620         * doc/extend.texi: Document it.
1621
1622         * diagnostic.def: Add DK_UNSPECIFIED and DK_IGNORED.
1623         * diagnostic.h (diagnostic_classify_diagnostic): Declare.
1624         (diagnostic_context): Add classify_diagnostic[].
1625         * diagnostic.c (diagnostic_count_diagnostic): Don't count warnings
1626         as errors if they're overridden to DK_WARNING.
1627         (diagnostic_initialize): Initialize classify_diagnostic[].
1628         (diagnostic_set_kind_override): New.
1629         (diagnostic_report_diagnostic): Check for kind changes.
1630         * opts.c (common_handle_option): Take lang_mask.  Update callers.
1631         Handle OPT_Werror_.
1632         * common.opt (Werror=): New.
1633         * doc/invoke.texi: Document -Werror=*
1634
1635 2006-01-18  Jeff Law  <law@redhat.com>
1636
1637         * tree-vrp.c (test_for_singularity): Correct test for new
1638         min limit.  Use operand_equal_p rather than pointer equality
1639         for testing if new min/max values are equal.
1640
1641         * tree-ssa-propagate.c (substitute_and_fold): Delay simplifications
1642         using range information until after propagation and folding.
1643
1644 2006-01-18  Richard Henderson  <rth@redhat.com>
1645             Aldy Hernandez  <aldyh@redhat.com>
1646             Jakub Jelinek  <jakub@redhat.com>
1647             Diego Novillo  <dnovillo@redhat.com>
1648
1649         * omp-low.c: New file.
1650         * c-omp.c: New file.
1651
1652 2006-01-18  Richard Henderson  <rth@redhat.com>
1653             Jakub Jelinek  <jakub@redhat.com>
1654             Diego Novillo  <dnovillo@redhat.com>
1655
1656         * doc/invoke.texi: Document -fopenmp.
1657         * tree-dump.h (debug_function): Declare.
1658         * hooks.c (hook_bool_tree_bool_false): New function.
1659         (hook_tree_tree_null): Remove.
1660         (hook_tree_tree_tree_null): New.
1661         * hooks.h: Update to match.
1662         * tree-pretty-print.c (debug_tree_chain): New.
1663         (print_generic_expr): Handle TDF_CHAIN.
1664         (dump_generic_node): Handle BLOCK.
1665         Do not abort with incomplete SWITCH_EXPRs.
1666         Do not dump body of an OpenMP directive if TDF_SLIM is given.
1667         <case OMP_PARALLEL, OMP_FOR, OMP_SECTIONS>: Don't
1668         print space after directive name.
1669         <OMP_FOR>: Handle printing OMP_FOR_PRE_BODY.
1670         Handle OMP_MASTER and OMP_ORDERED.
1671         Handle printing of OMP_BODY just in one place, goto
1672         dump_omp_body in the rest of OMP_* nodes that have
1673         OMP_BODY.
1674         Don't handle clause nodes here.  Update omp statements to
1675         use dump_omp_clauses.
1676         Handle OMP_SINGLE, OMP_SECTIONS, OMP_SECTION,
1677         OMP_CLAUSE_ORDERED, OMP_CLAUSE_SCHEDULE, OMP_ATOMIC,
1678         OMP_CRITICAL, OMP_CLAUSE_NOWAIT, GOMP_CLAUSE_IF,
1679         GOMP_CLAUSE_NUM_THREADS, GOMP_FOR, GOMP_CLAUSE_SHARED,
1680         GOMP_CLAUSE_FIRSTPRIVATE, GOMP_CLAUSE_LASTPRIVATE,
1681         GOMP_CLAUSE_COPYIN and GOMP_CLAUSE_COPYPRIVATE.
1682         Adjust output for GOMP_PARALLEL.
1683         (dump_omp_clauses): New.
1684         (print_declaration): Dump DECL_VALUE_EXPR.
1685         (op_symbol_1): Split out of op_symbol.
1686         (dumping_stmts): Remove.  Update all users.
1687         * cgraph.c (cgraph_analyze_queue): New.
1688         (cgraph_add_new_function): New.
1689         * cgraph.h (cgraph_analyze_queue): Declare.
1690         (cgraph_add_new_function): Declare.
1691         (cgraph_lower_function): Remove.
1692         * tree.c (walk_tree): Walk OMP_CLAUSE_CHAIN of OMP_CLAUSE_*
1693         nodes.  Use switch for all nodes, handle most of IS_EXPR_CODE_CLASS
1694         and TYPE_P nodes in its default clause.
1695         (empty_body_p): New.
1696         (tree_range_check_failed): New.
1697         (build5_stat): New.
1698         * tree.h (OMP_CLAUSE_REDUCTION_INIT,
1699         OMP_CLAUSE_REDUCTION_MERGE,
1700         OMP_CLAUSE_REDUCTION_PLACEHOLDER,
1701         OMP_CLAUSE_PRIVATE_DEBUG,
1702         OMP_CLAUSE_LASTPRIVATE_FIRSTPRIVATE, OMP_FOR_PRE_BODY,
1703         OMP_MASTER_BODY, OMP_ORDERED_BODY OMP_BODY,
1704         OMP_CLAUSES, OMP_CLAUSE_DECL, OMP_CLAUSE_DEFAULT_KIND,
1705         OMP_CLAUSE_CHAIN, OMP_CLAUSE_OUTER_DECL,
1706         OMP_CLAUSE_INNER_DECL, OMP_CLAUSE_NUM_THREADS_EXPR,
1707         OMP_CLAUSE_IF_EXPR, OMP_CLAUSE_SCHEDULE_CHUNK_EXPR,
1708         OMP_CLAUSE_SCHEDULE_CHUNK_SIZE. OMP_PARALLEL_VAR_INIT,
1709         OMP_PARALLEL_VAR_REDUC, OMP_FOR_VAR_INIT,
1710         OMP_FOR_VAR_LAST, OMP_FOR_VAR_REDUC,
1711         OMP_SECTIONS_VAR_INIT, OMP_SECTIONS_VAR_LAST,
1712         OMP_SECTIONS_VAR_REDUC, OMP_CLAUSE_REDUCTION_CODE
1713         OMP_SINGLE_CLAUSES, OMP_SINGLE_BODY,
1714         OMP_CLAUSE_SCHEDULE_CHUNK_SIZE, OMP_SECTION_BODY,
1715         OMP_CRITICAL_NAME, OMP_CRITICAL_BODY): New.
1716         (TREE_RANGE_CHECK): New.
1717         (empty_body_p): Declare.
1718         (enum omp_clause_default_kind): New.
1719         (build_string_literal): Declare.
1720         (enum omp_clause_schedule_kind, OMP_CLAUSE_SCHEDULE_KIND): New.
1721         (build5_stat, build5): Declare.
1722         * tree-pass.h (TDF_CHAIN): Define.
1723         * tree-pass.h (PROP_gimple_lomp): Define.
1724         (pass_lower_omp): Declare.
1725         * diagnostic.h (debug_tree_chain): Declare.
1726         * builtins.c (get_builtin_sync_mode): Use 0 as last argument to
1727         mode_for_size.
1728         (expand_builtin): Handle sync BUILT_IN_*_16 builtins.
1729         * builtins.c (build_string_literal): Make extern.
1730         * gcc.c (include_spec_function): New.
1731         (static_spec_functions): Add it.
1732         (main): Move load of libgomp.spec ...
1733         (LINK_COMMAND_SPEC): ... here.
1734         (link_gomp_spec): New.
1735         (static_specs): Include it.
1736         (LINK_COMMAND_SPEC): Add link_gomp.
1737         (GOMP_SELF_SPECS): New.
1738         (driver_self_specs): Include it.
1739         (switch_matches): Don't mark inline.
1740         (main): Load libgomp.spec.
1741         * tree-gimple.c (is_gimple_stmt): True for OMP_MASTER,
1742         OMP_ORDERED, OMP_CRITICAL, OMP_SECTIONS, OMP_SECTION,
1743         and OMP_SINGLE, OMP_FOR and OMP_PARALLEL.
1744         * tree-gimple.h (enum omp_parallel): Declare.
1745         (determine_parallel_type): Declare.
1746         (omp_firstprivatize_variable): Declare.
1747         (omp_reduction_init): Declare.
1748         (diagnose_omp_structured_block_errors): Declare.
1749         (struct walk_stmt_info): Add want_return_expr.
1750         (struct walk_stmt_info): Add want_bind_expr, want_locations.
1751         (find_omp_clause): Declare.
1752         (insert_field_into_struct): Declare.
1753         (struct walk_stmt_info): Move from tree-nested.c
1754         (walk_stmts): Declare.
1755         * c-cppbuiltin.c (c_cpp_builtins): If -fopenmp, #define _OPENMP
1756         to 200505.
1757         * cgraphunit.c (cgraph_lower_function): Make static.
1758         (cgraph_finalize_pending_functions): New.
1759         (cgraph_finalize_function): Call it.
1760         (cgraph_finalize_compilation_unit): Likewise.
1761         * builtin-types.def (BT_I16, BT_FN_I16_VPTR_I16,
1762         BT_FN_BOOL_VPTR_I16_I16, BT_FN_I16_VPTR_I16_I16): Add.
1763         (BT_FN_UINT_UINT): New.
1764         (DEF_FUNCTION_TYPE_6, DEF_FUNCTION_TYPE_7,
1765         DEF_FUNCTION_TYPE_VAR_4): Document.
1766         (BT_PTR_LONG, BT_PTR_PTR, BT_FN_BOOL, BT_FN_INT,
1767         BT_FN_VOID_PTRPTR, BT_PTR_FN_VOID_PTR,
1768         BT_FN_BOOL_LONGPTR_LONGPTR, BT_FN_VOID_OMPFN_PTR_UINT,
1769         BT_FN_VOID_OMPFN_PTR_UINT_UINT,
1770         BT_FN_BOOL_LONG_LONG_LONG_LONGPTR_LONGPTR,
1771         BT_FN_BOOL_LONG_LONG_LONG_LONG_LONGPTR_LONGPTR,
1772         BT_FN_VOID_OMPFN_PTR_UINT_LONG_LONG_LONG,
1773         BT_FN_VOID_OMPFN_PTR_UINT_LONG_LONG_LONG_LONG): New.
1774         * builtins.def: Update DEF_BUILTIN comment to include COND argument.
1775         Move all DEF_SYNC_BUILTIN () and DEF_GOMP_BUILTIN () builtins
1776         into separate files.
1777         (DEF_GOMP_BUILTIN): New.
1778         (BUILT_IN_OMP_GET_THREAD_NUM, BUILT_IN_GOMP_BARRIER,
1779         BUILT_IN_GOMP_CRITICAL_START, BUILT_IN_GOMP_CRITICAL_END,
1780         BUILT_IN_GOMP_CRITICAL_NAME_START, BUILT_IN_GOMP_CRITICAL_NAME_END,
1781         BUILT_IN_GOMP_LOOP_STATIC_START, BUILT_IN_GOMP_LOOP_DYNAMIC_START,
1782         BUILT_IN_GOMP_LOOP_GUIDED_START, BUILT_IN_GOMP_LOOP_RUNTIME_START,
1783         BUILT_IN_GOMP_LOOP_ORDERED_STATIC_START,
1784         BUILT_IN_GOMP_LOOP_ORDERED_DYNAMIC_START,
1785         BUILT_IN_GOMP_LOOP_ORDERED_GUIDED_START,
1786         BUILT_IN_GOMP_LOOP_ORDERED_RUNTIME_START,
1787         BUILT_IN_GOMP_LOOP_STATIC_NEXT, BUILT_IN_GOMP_LOOP_DYNAMIC_NEXT,
1788         BUILT_IN_GOMP_LOOP_GUIDED_NEXT, BUILT_IN_GOMP_LOOP_RUNTIME_NEXT,
1789         BUILT_IN_GOMP_LOOP_ORDERED_STATIC_NEXT,
1790         BUILT_IN_GOMP_LOOP_ORDERED_DYNAMIC_NEXT,
1791         BUILT_IN_GOMP_LOOP_ORDERED_GUIDED_NEXT,
1792         BUILT_IN_GOMP_LOOP_ORDERED_RUNTIME_NEXT,
1793         BUILT_IN_GOMP_PARALLEL_LOOP_STATIC_START,
1794         BUILT_IN_GOMP_PARALLEL_LOOP_DYNAMIC_START,
1795         BUILT_IN_GOMP_PARALLEL_LOOP_GUIDED_START,
1796         BUILT_IN_GOMP_PARALLEL_LOOP_RUNTIME_START,
1797         BUILT_IN_GOMP_LOOP_END, BUILT_IN_GOMP_LOOP_END_NOWAIT,
1798         BUILT_IN_GOMP_ORDERED_START, BUILT_IN_GOMP_ORDERED_END,
1799         BUILT_IN_GOMP_PARALLEL_START, BUILT_IN_GOMP_PARALLEL_END,
1800         BUILT_IN_GOMP_SECTIONS_START, BUILT_IN_GOMP_SECTIONS_NEXT,
1801         BUILT_IN_GOMP_PARALLEL_SECTIONS_START, BUILT_IN_GOMP_SECTIONS_END,
1802         BUILT_IN_GOMP_SECTIONS_END_NOWAIT, BUILT_IN_GOMP_SINGLE_START,
1803         BUILT_IN_GOMP_SINGLE_COPY_START, BUILT_IN_GOMP_SINGLE_COPY_END): New.
1804         * sync-builtins.def: New file, moved from builtins.def.
1805         * omp-builtins.def: New file, moved from builtins.def.
1806         * c-objc-common.h (LANG_HOOKS_OMP_PREDETERMINED_SHARING): Redefine.
1807         * gimple-low.c (lower_function_body): Clear data.
1808         (lower_stmt): Do not handle COMPOUND_EXPR.
1809         Remove call to print_node_brief.
1810         * c-tree.h (c_finish_omp_clauses): New prototype.
1811         (C_DECL_THREADPRIVATE_P): Define.
1812         (lookup_name_no_remap, c_omp_remap_private): Remove
1813         (c_begin_omp_parallel, c_finish_omp_parallel): Update.
1814         (check_for_loop_decls): Update decl.
1815         (lookup_name_no_remap, c_omp_remap_private): Declare.
1816         (build_indirect_ref, build_modify_expr, pushdecl,
1817         pushdecl_top_level): Move to c-common.h.
1818         * dwarf2out.c (loc_descriptor_from_tree_1): Don't set unsignedp
1819         before the switch, but just in the 2 places that need it.
1820         * c-decl.c (diagnose_mismatched_decls): Do not check for
1821         mismatched thread-local attributes when OLDDECL is marked
1822         threadprivate and NEWDECL has no thread-local attributes.
1823         (merge_decls): Merge C_DECL_THREADPRIVATE_P.
1824         (c_gimple_diagnostics_recursively): Rename from
1825         c_warn_unused_result_recursively.  Invoke
1826         diagnose_omp_structured_block_errors.
1827         (check_for_loop_decls): Return a singular decl found.
1828         * langhooks.c (lhd_omp_predetermined_sharing): Return
1829         OMP_CLAUSE_DEFAULT_SHARED for DECL_ARTIFICIAL decls.
1830         (lhd_omp_firstprivatize_type_sizes): New.
1831         (lhd_omp_assignment): New.
1832         (lhd_omp_predetermined_sharing): New.
1833         * langhooks.h (struct gimplify_omp_ctx): Forward declare.
1834         (struct lang_hooks_for_types): Add
1835         omp_firstprivatize_type_sizes, omp_privatize_by_reference,
1836         omp_predetermined_sharing, omp_disregard_value_expr,
1837         omp_private_debug_clause, omp_clause_default_ctor,
1838         omp_clause_copy_ctor, omp_clause_assign_op, omp_clause_dtor.
1839         (c_finish_omp_clauses): New.
1840         (c_finish_bc_stmt): Diagnose break within omp for.
1841         (c_begin_omp_parallel, c_finish_omp_parallel): New.
1842         (build_unary_op): Return error_mark after reporting
1843         a readonly_error.
1844         (build_modify_expr): Likewise.
1845         * gimplify.c: Include optabs.h and pointer-set.h.
1846         (enum gimplify_omp_var_data): Declare.
1847         (struct gimplify_omp_ctx): Declare.
1848         (struct gimplify_ctx): Add fields prev_context, combined_pre_p
1849         and combined_ctxp.
1850         (gimplify_ctxp, gimplify_omp_ctxp): New local variables.
1851         (push_gimplify_context, pop_gimplify_context): Allow nesting.
1852         (splay_tree_compare_decl_uid): New.
1853         (new_omp_context): New.
1854         (delete_omp_context): New.
1855         (gimple_add_tmp_var): Call omp_add_variable.
1856         (gimplify_bind_expr): Likewise.
1857         (gimplify_var_or_parm_decl): If omp_notice_variable returned
1858         true, disregard DECL_VALUE_EXPR on the decl if any.
1859         (gimplify_expr_in_ctx): New.
1860         (omp_firstprivatize_variable, omp_firstprivatize_type_sizes
1861         omp_add_variable, omp_notice_variable, omp_is_private
1862         gimplify_scan_omp_clauses, gimplify_adjust_omp_clauses_1
1863         gimplify_adjust_omp_clauses, gimplify_omp_parallel
1864         gimplify_omp_for, gimplify_omp_workshare, goa_lhs_expr_p
1865         gimplify_omp_atomic_fetch_op, goa_stabilize_expr
1866         gimplify_omp_atomic_pipeline, gimplify_omp_atomic_mutex
1867         gimplify_omp_atomic): New.
1868         (gimplify_expr): Handle OMP_PARALLEL, OMP_FOR, OMP_SECTIONS,
1869         OMP_SINGLE, OMP_SECTION, OMP_MASTER, OMP_ORDERED,
1870         OMP_CRITICAL and OMP_ATOMIC.
1871         (gimplify_body): Verify gimplify_ctxp is empty after gimplification.
1872         * c-pragma.h (enum pragma_kind): Add
1873         PRAGMA_OMP_ATOMIC, PRAGMA_OMP_BARRIER,
1874         PRAGMA_OMP_CRITICAL, PRAGMA_OMP_FLUSH, PRAGMA_OMP_FOR,
1875         PRAGMA_OMP_MASTER, PRAGMA_OMP_ORDERED,
1876         PRAGMA_OMP_PARALLEL, PRAGMA_OMP_PARALLEL_FOR,
1877         PRAGMA_OMP_PARALLEL_SECTIONS, PRAGMA_OMP_SECTION,
1878         PRAGMA_OMP_SECTIONS, PRAGMA_OMP_SINGLE,
1879         PRAGMA_OMP_THREADPRIVATE.
1880         * tree.def (OMP_PARALLEL, OMP_FOR, OMP_SECTIONS,
1881         OMP_SINGLE, OMP_SECTION, OMP_MASTER, OMP_ORDERED,
1882         OMP_CRITICAL, OMP_ATOMIC, OMP_CLAUSE_PRIVATE,
1883         OMP_CLAUSE_SHARED, OMP_CLAUSE_FIRSTPRIVATE,
1884         OMP_CLAUSE_LASTPRIVATE, OMP_CLAUSE_REDUCTION,
1885         OMP_CLAUSE_COPYIN, OMP_CLAUSE_COPYPRIVATE,
1886         OMP_CLAUSE_IF, OMP_CLAUSE_NUM_THREADS,
1887         OMP_CLAUSE_SCHEDULE, OMP_CLAUSE_NOWAIT,
1888         OMP_CLAUSE_ORDERED, OMP_CLAUSE_DEFAULT): Define.
1889         * print-tree.c (print_node): Dump DECL_VALUE_EXPR.
1890         * tree-ssa-dce.c (find_control_dependence): Do not assume that
1891         ENTRY_BLOCK_PTR->next_bb == single_succ (ENTRY_BLOCK_PTR).
1892         * tree-nested.c (convert_call_expr): Call walk_body on OMP_BODY for
1893         OpenMP directives.
1894         (struct nesting_info): Add field_map,
1895         suppress_expansion, debug_var_chain.
1896         (create_nesting_tree): Initialize them.
1897         (lookup_field_for_decl): Use field_map.
1898         (get_nonlocal_debug_decl, get_local_debug_decl): New.
1899         (convert_local_omp_clauses): New.
1900         (finalize_nesting_tree_1): Add debug_var_chain to toplevel block.
1901         (walk_body): Split out of walk_function.
1902         (convert_nonlocal_omp_clauses, convert_local_omp_clauses): New.
1903         (convert_nonlocal_reference): Handle omp statements.
1904         (convert_local_reference): Likewise.
1905         (unnest_nesting_tree_1): Split out of finalize_nesting_tree_1.
1906         (unnest_nesting_tree): New.
1907         (lower_nested_functions): Call it.
1908         (insert_field_into_struct): Make extern.
1909         (struct walk_stmt_info): Move to tree-gimple.h.
1910         (walk_stmts): Make extern.
1911         * omp-builtins.def: New file.
1912         * tree-iterator.c (expr_only): Clarify comment.
1913         * c-common.h (pushdecl_top_level, pushdecl,
1914         build_modify_expr, build_indirect_ref,
1915         c_finish_omp_master, c_finish_omp_critical,
1916         c_finish_omp_ordered, c_finish_omp_barrier,
1917         c_finish_omp_atomic, c_finish_omp_flush,
1918         c_finish_omp_for, c_split_parallel_clauses,
1919         omp_clause_default_kind, c_omp_sharing_predetermined,
1920         c_omp_remap_decl): Declare.
1921         * Makefile.in (BUILTINS_DEF): Add omp-builtins.def.
1922         (OBJS-common): Add omp-low.o.
1923         (c-omp.o, omp-low.o): Add.
1924         (gimplify.o): Add dependency on $(OPTABS_H).
1925         (GTFILES): Add omp-low.c.
1926         (gt-stringpool.h): Add.
1927         * tree-cfg.c (set_bb_for_stmt): Do not update the
1928         block-to-labels map if we are currently expanding to RTL.
1929         (tree_node_can_be_shared): Remove unnecessary CONSTANT_CLASS_P
1930         checks.
1931         Handle IDENTIFIER_NODE.
1932         (tree_verify_flow_info): Do not ICE when emitting error
1933         messages about invalid labels.
1934         (dump_function_to_file): Reset CFUN before emitting the body
1935         of the function.
1936         (debug_function): New.
1937         * passes.c (init_optimization_passes): Schedule
1938         pass_lower_omp.
1939         * langhooks-def.h (lhd_omp_predetermined_sharing,
1940         lhd_omp_assignment, lhd_omp_firstprivatize_type_sizes):
1941         Declare.
1942         (LANG_HOOKS_OMP_FIRSTPRIVATIZE_TYPE_SIZES): Define.
1943         (LANG_HOOKS_FOR_TYPES_INITIALIZER): Use it.
1944         (LANG_HOOKS_OMP_PRIVATIZE_BY_REFERENCE,
1945         LANG_HOOKS_OMP_PREDETERMINED_SHARING,
1946         LANG_HOOKS_OMP_DISREGARD_VALUE_EXPR,
1947         LANG_HOOKS_OMP_PRIVATE_DEBUG_CLAUSE,
1948         LANG_HOOKS_OMP_CLAUSE_DEFAULT_CTOR,
1949         LANG_HOOKS_OMP_CLAUSE_COPY_CTOR,
1950         LANG_HOOKS_OMP_CLAUSE_ASSIGN_OP,
1951         LANG_HOOKS_OMP_CLAUSE_DTOR): Define.
1952         (LANG_HOOK_DECLS): Use them.
1953
1954 2006-01-18  Dmitry Kurochkin <dmitry.kurochkin@gmail.com>
1955             Richard Henderson  <rth@redhat.com>
1956             Jakub Jelinek  <jakub@redhat.com>
1957             Diego Novillo  <dnovillo@redhat.com>
1958
1959         * c-parser.c (pragma_omp_clause): Define.
1960         (c_parser_declaration_or_fndef): Document OpenMP syntax.
1961         (c_parser_compound_statement): Likewise.
1962         (c_parser_statement): Likewise.
1963         (c_parser_pragma): Handle omp pragmas.
1964         (OMP_FOR_CLAUSE_MASK, OMP_SECTIONS_CLAUSE_MASK,
1965         OMP_PARALLEL_CLAUSE_MASK, OMP_SINGLE_CLAUSE_MASK): Define.
1966         (c_parser_omp_clause_name, check_no_duplicate_clause,
1967         c_parser_omp_variable_list,
1968         c_parser_omp_var_list_parens, c_parser_omp_clause_copyin,
1969         c_parser_omp_clause_copyprivate,
1970         c_parser_omp_clause_default,
1971         c_parser_omp_clause_firstprivate, c_parser_omp_clause_if,
1972         c_parser_omp_clause_lastprivate,
1973         c_parser_omp_clause_nowait,
1974         c_parser_omp_clause_num_threads,
1975         c_parser_omp_clause_ordered, c_parser_omp_clause_private,
1976         c_parser_omp_clause_reduction,
1977         c_parser_omp_clause_schedule, c_parser_omp_clause_shared,
1978         c_parser_omp_all_clauses, c_parser_omp_structured_block,
1979         c_parser_omp_atomic, c_parser_omp_barrier,
1980         c_parser_omp_critical, c_parser_omp_flush,
1981         c_parser_omp_for_loop, c_parser_omp_for,
1982         c_parser_omp_master, c_parser_omp_ordered,
1983         c_parser_omp_sections_scope, c_parser_omp_sections,
1984         c_parser_omp_parallel, c_parser_omp_single,
1985         c_parser_omp_construct, c_parser_omp_threadprivate): New.
1986         * c-pragma.c (init_pragma): Do omp pragma registration here.
1987         * c.opt (fopenmp): New flag.
1988
1989 2006-01-18  Eric Christopher  <echristo@apple.com>
1990
1991         * gcc.c (GOMP_SELF_SPECS): Bracket in #ifndef/#endif.
1992         * config/darwin.h (GOMP_SELF_SPECS): Define.
1993
1994 2006-01-18  Kazu Hirata  <kazu@codesourcery.com>
1995
1996         * rtl.h: Remove the prototype for reg_alloc.
1997
1998 2006-01-18  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
1999
2000         PR target/25731
2001         * config.gcc (hppa*-*-linux*, hppa[12]*-*-hpux10*, hppa*64*-*-hpux11*,
2002         hppa[12]*-*-hpux11*): Override default shared libgcc version for both
2003         sjlj and dwarf2 exception handling.
2004         * pa/t-hpux-shlib (SHLIB_SOVERSION): New make variable.
2005         Rework to allow overriding SHLIB_EXT and SHLIB_SOVERSION.
2006         * pa/pa.c (function_value): Treat complex and vector types as
2007         aggregates.
2008         (function_arg): Likewise.  Only pass scalar floats in the floating
2009         point argument registers.
2010         * pa/t-slibgcc-dwarf-ver: New file.
2011         * pa/t-slibgcc-sjlj-ver: New file.
2012         * pa/t-slibgcc-elf-ver: Delete file.
2013
2014 2006-01-19  Alan Modra  <amodra@bigpond.net.au>
2015
2016         * config/rs6000/rs6000.c (rs6000_assemble_integer): Correct
2017         unlikely_test_section_p test.
2018
2019 2006-01-18  Kazu Hirata  <kazu@codesourcery.com>
2020
2021         * mode-switching.c (optimize_mode_switching): Make it static.
2022         * basic-block.h: Remove the prototype for
2023         optimize_mode_switching.
2024
2025         * modulo-sched.c (sms_schedule): Make it static.
2026         * rtl.h: Remove the prototype for sms_schedule.
2027
2028         * postreload-gcse.c (gcse_after_reload_main): Make it static.
2029         * rtl.h: Remove the prototype for gcse_after_reload_main.
2030
2031         * reg-stack.c (reg_to_stack): Make it static.
2032         * rtl.h: Remove the prototype for reg_to_stack.
2033
2034         * regrename.c (regrename_optimize, copyprop_hardreg_forward):
2035         Make them static.
2036         * rtl.h: Remove the prototypes for regrename_optimize and
2037         copyprop_hardreg_forward.
2038
2039 2006-01-18  Eric Botcazou  <ebotcazou@adacore.com>
2040
2041         * config/alpha/alpha.c (alpha_split_tfmode_pair): Rename into
2042         alpha_split_tmode_pair.  Add 'mode' and 'fixup_overlap' arguments.
2043         Test against the appropriate null constant for the mode.
2044         If 'fixup_overlap' is true, swap the operands if they overlap.
2045         (alpha_split_tfmode_frobsign): Adjust call to alpha_split_tfmode_pair.
2046         * config/alpha/alpha-protos.h (alpha_split_tfmode_pair): Rename into
2047         alpha_split_tmode_pair and adjust for above change.
2048         * config/alpha/alpha.md (movtf_internal): Adjust call to
2049         alpha_split_tfmode_pair and rely on it to swap the operands.
2050         (movti_internal): New insn and post-reload splitter.
2051         (movti): New expander.
2052
2053 2006-01-18  Philippe De Muyter  <phdm@macqel.be>
2054
2055         * config/m68k/m68k.md (*addsi3_5200): Allow addq/subq to memory
2056         operands.
2057
2058 2006-01-18  Kazu Hirata  <kazu@codesourcery.com>
2059
2060         * rtlanal.c (global_reg_mentioned_p_1,
2061         global_reg_mentioned_p): Remove.
2062         * rtl.h: Remove the prototype for global_reg_mentioned_p.
2063
2064         * flow.c (initialize_uninitialized_subregs): Make it static.
2065         * rtl.h: Remove the prototype for
2066         initialize_uninitialized_subregs.
2067
2068         * function.c (instantiate_virtual_regs): Make it static.
2069         * function.h: Remove the prototype for
2070         instantiate_virtual_regs.
2071
2072         * regmove.c (regmove_optimize, combine_stack_adjustments):
2073         Make them static.
2074         * rtl.h: Remove the prototypes for regmove_optimize and
2075         combine_stack_adjustments.
2076
2077 2006-01-17  Roger Sayle  <roger@eyesopen.com>
2078
2079         * config/i386/i386.c (COSTS_N_BYTES): New macro.
2080         (size_cost): Encode costs in bytes so that a reg-reg addition is
2081         equivalent to COSTS_N_INSNS(1).
2082         (override_options): Use the size_cost.branch_cost as the default
2083         ix86_branch_cost when optimizing for size.
2084
2085 2006-01-18  Ben Elliston  <bje@au.ibm.com>
2086
2087         * Makefile.in (D32PBIT_FUNCS): New.
2088         (D64PBIT_FUNCS, D128PBIT_FUNCS): Likewise.
2089         (libgcc.mk): Set D32PBIT, D64PBIT, D128PBIT, D32PBIT_FUNCS,
2090         D64PBIT_FUNCS and D128PBIT_FUNCS.
2091         (LIBGCC_DEPS): Include $(D32PBIT), $(D64PBIT), $(D128PBIT).
2092         * mklibgcc.in Bring in the DFP support code if D32PBIT, D64PBIT or
2093         D128PBIT are set.
2094         (decnumber_dep): Define.
2095         * doc/libgcc.texi (Decimal float library routines): New node.
2096         * config/dfp-bit.h, config/dfp-bit.c: New files.
2097
2098 2006-01-18  Ben Elliston  <bje@au.ibm.com>
2099
2100         * expr.c (emit_move_change_mode): Always adjust addresses, not
2101         just during reload.  Copy replacements only during reload.
2102         (emit_move_insn_1): Move MODE_DECIMAL_FLOAT modes by invoking
2103         emit_move_via_integer.
2104
2105 2006-01-17  Shantonu Sen  <ssen@opendarwin.org>
2106
2107         * Makefile.in (check-%, check-consistency): Use $${srcdir}
2108         instead of $(srcdir) and ${srcdir}.
2109
2110 2006-01-17  Richard Earnshaw  <rearnsha@arm.com>
2111
2112         PR target/592
2113         PR middle-end/11135
2114         * arm.h (struct machine_function): Add pic_reg.
2115         * arm.c (arm_pic_register): Make unsigned.
2116         (arm_override_options): Only set arm_pic_register if
2117         TARGET_SINGLE_PIC_BASE.
2118         (use_return_insn): Only test for a pic register if it is fixed.
2119         (arm_compute_save_reg0_reg12_mask): Likewise.
2120         (thumb_compute_save_reg_mask): Likewise.
2121         (legitimate_pic_operand): Factor out some known invariants.
2122         (legitimize_pic_address): If we don't have a fixed pic register,
2123         then set up a pseudo in the function entry sequence.  Handle the
2124         pic base being in a pseudo.
2125         (arm_load_pic_register): Handle the pic register being in a pseudo.
2126         (arm_expand_prologue): Only set up the pic register if it is fixed.
2127         (thumb_expand_prologue): Likewise.
2128         * arm.md (pic_load_addr_based): Handle the pic base being a pseudo.
2129         (pic_load_addr_based_insn): Likewise.
2130         (builtin_setjmp_receiver): Don't restore the pic base if it isn't
2131         fixed.
2132
2133 2006-01-18  Ben Elliston  <bje@au.ibm.com>
2134
2135         * config/rs6000/rs6000.c (rs6000_hard_regno_mode_ok): Reject
2136         decimal float modes for all floating point registers.
2137
2138         * config/rs6000/predicates.md (reg_or_mem_operand): Pair up
2139         match_code "mem" with match_test "macho_lo_sum_memory_operand".
2140
2141 2006-01-17  Jakub Jelinek  <jakub@redhat.com>
2142
2143         PR c/25682
2144         * c-typeck.c (build_unary_op): Fold offsetof-like expressions
2145         even when the pointer is not NULL.
2146
2147 2006-01-16  Ian Lance Taylor  <ian@airs.com>
2148
2149         * common.opt (ftoplevel-reorder): New option.
2150         * cgraph.c (cgraph_asm_nodes): New global variable.
2151         (cgraph_asm_last_node): New static variable.
2152         (cgraph_order): New global variable.
2153         (cgraph_create_node): Set new order field.
2154         (cgraph_varpool_node): Likewise.
2155         (decide_is_variable_needed): Return true if not
2156         flag_toplevel_reorder.
2157         (cgraph_add_asm_node): New function.
2158         * cgraph.h (struct cgraph_node): Add order field.
2159         (struct cgraph_varpool_node): Add order field.
2160         (struct cgraph_asm_node): Define.
2161         (cgraph_asm_nodes, cgraph_order): Declare.
2162         (cgraph_add_asm_node): Declare.
2163         * cgraphunit.c (cgraph_varpool_assemble_decl): New static
2164         function.
2165         (cgraph_varpool_assemble_pending_decls): Call it.
2166         (cgraph_output_pending_asms): New static function.
2167         (cgraph_finalize_compilation_unit): Call it.
2168         (struct cgraph_order_sort): Define.
2169         (cgraph_output_in_order): New static function.
2170         (cgraph_optimize): Call cgraph_output_pending_asms.  Add code for
2171         !flag_toplevel_reorder case.
2172         * c-parser.c: Include "cgraph.h".
2173         (c_parser_asm_definition): Call cgraph_add_asm_node rather than
2174         assemble_asm.
2175         * Makefile.in (CRTSTUFF_CFLAGS): Use -fno-toplevel-reorder rather
2176         than -fno-unit-at-a-time.
2177         * doc/invoke.texi (Option Summary): Mention
2178         -fno-toplevel-reorder.
2179         (Optimize Options): Document -fno-toplevel-reorder.  Mention it in
2180         -funit-at-a-time documentation.
2181
2182 2006-01-17  Hans-Peter Nilsson  <hp@axis.com>
2183             Kazu Hirata  <kazu@codesourcery.com>
2184
2185         * Makefile.in (FUNCTION_H, LAMBDA_H): Use $(TREE_H), not tree.h.
2186
2187 2006-01-17  Kazu Hirata  <kazu@codesourcery.com>
2188
2189         * Makefile.in (FUNCTION_H): New.  Use it instead of
2190         function.h throughout the file.
2191         * function.h: Include tree.h.
2192
2193 2006-01-17  Ben Elliston  <bje@au.ibm.com>
2194
2195         * recog.c: Separate some functions with whitespace.
2196
2197 2006-01-16  Richard Henderson  <rth@redhat.com>
2198
2199         Merge from gomp branch:
2200         * Makefile.in (TREE_INLINE_H): New.  Use it as needed.
2201         * tree-inline.h (struct copy_body_data): Move from tree-inline.c
2202         and rename from struct inline_data.  Rename callee* to dst*;
2203         caller* to src*; add copy_decl hook, transform_call_graph_edges,
2204         transform_new_cfg, transform_return_to_modify, and
2205         transform_lang_insert_block flags; remove cloning_p, versioning_p,
2206         update_clones_p.
2207         (copy_body_r, insert_decl_map, remap_decl, remap_type): Declare.
2208         (copy_decl_for_dup): Remove.
2209         * tree-inline.c (struct inline_data): Move to header.
2210         (insert_decl_map): Export.
2211         (remap_decl): Update for member name changes.  Use copy_decl hook.
2212         Allow for replacement to be a non-decl.  Remove dead code.
2213         (remap_type_1): Check for existing mapping.
2214         (remap_type): Export.
2215         (remap_decls): Update for member name changes.
2216         (remap_block, copy_bb, copy_cfg_body, copy_generic_body): Likewise.
2217         (copy_body, setup_one_parameter, declare_return_variable): Likewise.
2218         (expand_call_inline, optimize_inline_calls, clone_body): Likewise.
2219         (copy_tree_r, mark_local_for_remap_r, unsave_expr_now): Likewise.
2220         (tree_function_versioning, build_duplicate_type): Likewise.
2221         (copy_body_r): Likewise.  Export.
2222         (copy_decl_for_dup): Split into ...
2223         (copy_decl_for_dup_finish, copy_decl_to_var,
2224         copy_decl_no_change, copy_decl_maybe_to_var): ... these.
2225         (replace_ref_tree, inlining_p): Remove.
2226
2227 2006-01-16  Kazu Hirata  <kazu@codesourcery.com>
2228
2229         * ifcvt.c (if_convert): Make it static.
2230         * rtl.h: Remove the prototype for if_convert.
2231
2232         * local-alloc.c (local_alloc): Make it static.
2233         * rtl.h: Remove the prototype for local_alloc.
2234
2235         * loop.c (loop_optimize): Make it static.
2236         * cfgloop.h: Remove the prototype for loop_optimize.
2237         * rtl.h: Likewise.
2238
2239 2006-01-16  DJ Delorie  <dj@redhat.com>
2240
2241         * reload.c (reg_overlap_mentioned_for_reload_p): Handle subregs of
2242         mems.
2243
2244 2006-01-16  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
2245
2246         * pa.md: Disparage copies between general and floating-point registers
2247         in 32-bit move patterns.
2248
2249 2006-01-16  H.J. Lu  <hongjiu.lu@intel.com>
2250
2251         PR testsuite/25741
2252         * Makefile.in (check-%): Depend on site.exp instead of
2253         $(TESTSUITEDIR)/site.exp. Run "runtest" in separate language
2254         directories.
2255
2256 2006-01-16  Kazu Hirata  <kazu@codesourcery.com>
2257
2258         * global.c (global_alloc): Make it static.
2259         * rtl.h: Remove the prototype for global_alloc.
2260
2261 2006-01-16  Richard Guenther  <rguenther@suse.de>
2262
2263         * tree-ssa-alias.c (struct used_part): Add write_only field.
2264         (get_or_create_used_part_for): Initialize it to true.
2265         (create_overlap_variables_for): Don't create structure variables
2266         for structures that only are written to.
2267         (find_used_portions): Handle MODIFY_EXPR to track whether a
2268         structure is only written to.
2269
2270 2006-01-16  Kazu Hirata  <kazu@codesourcery.com>
2271
2272         * bb-reorder.c (partition_hot_cold_basic_blocks): Make it
2273         static.
2274         * basic-block.h: Remove the prototype for
2275         partition_hot_cold_basic_blocks.
2276
2277 2006-01-16  Rafael Ãvila de Espíndola <rafael.espindola@gmail.com>
2278
2279         * cppspec.c (lang_specific_spec_functions): Remove.
2280         * gcc.c (lookup_spec_function): Use static_spec_functions directly.
2281         * gcc.h (lang_specific_spec_functions): Remove.
2282         * gccspec.c (lang_specific_spec_functions): Remove.
2283
2284 2006-01-16  Paolo Bonzini  <bonzini@gnu.org>
2285
2286         * combine.c (record_value_for_reg): Invalidate registers
2287         if INSN is null.
2288         (record_dead_and_set_regs_1): Likewise, by passing them to
2289         record_value_for_reg.
2290         (record_dead_and_set_regs): Invalidate stores made by a
2291         call.  We do not combine across a call, but we still
2292         relied on equivalences.
2293
2294 2006-01-16  Eric Botcazou  <ebotcazou@adacore.com>
2295
2296         * tree-vrp.c (extract_range_from_binary_expr): Cope with
2297         vrp_int_const_binop returning non-constant nodes.
2298
2299 2006-01-16  Paul Brook  <paul@codesourcery.com>
2300
2301         * config/m68k/m68k.c (output_move_const_into_data_reg):
2302         Output correct mnemonic for mvz and mvs.
2303
2304 2006-01-16  Gabor Loki  <loki@gcc.gnu.org>
2305
2306         * rtl-factoring.c: Add sequence abstraction algorithm.
2307         * cfgcleanup.c (outgoing_edges_match): Extra checks.
2308         (try_crossjump_to_edge): Avoid deleting preserve label when redirecting
2309         ABNORMAL edges.
2310         (block_has_preserve_label): New function.
2311         * common.opt: Register new pass.
2312         * Makefile.in: Ditto.
2313         * passes.c: Ditto.
2314         * timevar.def: Ditto.
2315         * tree-pass.h: Ditto.
2316         * emit-rtl.c (make_jump_insn_raw): Remove forward decl.
2317         * rtl.h (make_jump_insn_raw): Add forward decl.
2318         * doc/invoke.texi: Add documentation for -frtl-abstract-sequences.
2319
2320 2006-01-16  Eric Botcazou  <ebotcazou@adacore.com>
2321             Roger Sayle  <roger@eyesopen.com>
2322
2323         * fold-const.c (fold_minmax): New static function.
2324         (fold_binary) <MIN_EXPR>: Call it.
2325         <MAX_EXPR>: Likewise.
2326         * stor-layout.c (place_field): Use DECL_SIZE consistently
2327         in the computation of the new record size.
2328
2329 2006-01-16  Kazu Hirata  <kazu@codesourcery.com>
2330
2331         * cse.c (cse_condition_code_reg): Make it static.
2332         * rtl.h: Remove the prototype for cse_condition_code_reg.
2333
2334         * combine.c (combine_instructions): Make it static.
2335         * rtl.h: Remove the prototype for combine_instructions.
2336
2337 2006-01-15  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
2338
2339         PR target/25168
2340         * tree.c (get_file_function_name_long): Concatenate the first global
2341         object name with a string derived from the input filename of the object
2342         for type "F".
2343
2344 2006-01-16  Ben Elliston  <bje@au.ibm.com>
2345
2346         * config/i386/winnt-stubs.c: Update FSF address.
2347         * config/xtensa/ieee754-df.S: Ditto.
2348         * config/xtensa/ieee754-sf.S: Ditto.
2349
2350 2006-01-14  Ian Lance Taylor  <ian@airs.com>
2351
2352         * ifcvt.c (noce_init_if_info): New static function, broken out of
2353         noce_process_if_block.
2354         (noce_process_if_block): Call noce_init_if_info.
2355         (check_cond_move_block): New static function.
2356         (cond_move_process_if_block): New static function.
2357         (process_if_block): Call cond_move_process_if_block.
2358
2359 2006-01-15  Kazu Hirata  <kazu@codesourcery.com>
2360
2361         * cselib.c (hash_table): Rename to cselib_hash_table.
2362         (cselib_clear_table, discard_useless_values,
2363         remove_useless_values, cselib_lookup_mem, cselib_lookup,
2364         cselib_init, cselib_finish): Adjust uses of hash_table.
2365
2366 2006-01-14  Kazu Hirata  <kazu@codesourcery.com>
2367
2368         PR tree-optimization/25485
2369         * tree-vrp.c (extract_range_from_binary_expr): Handle cases
2370         where one of the operands of TRUTH_AND_EXPR and TRUTH_OR_EXPR
2371         is known to be false and true, respectively.
2372
2373 2006-01-14  Richard Guenther  <rguenther@suse.de>
2374
2375         PR tree-optimization/22548
2376         PR tree-optimization/22555
2377         PR tree-optimization/22501
2378         * Makefile.in (tree-ssa-structalias.o): Depend on $(PARAMS_H).
2379         * params.def (salias-max-array-elements): New parameter.
2380         * params.h (SALIAS_MAX_ARRAY_ELEMENTS): Define.
2381         * doc/invoke.texi (salias-max-array-elements): Document.
2382         * tree-flow-inline.h (var_can_have_subvars): We also handle
2383         arrays now.
2384         * tree-ssa-alias.c (find_used_portions): Handle ARRAY_REF like
2385         COMPONENT_REF.
2386         * tree-ssa-structalias.c (params.h): Include.
2387         (push_fields_onto_fieldstack): Handle ARRAY_TYPE.
2388         (find_func_aliases): Handle multiple constraints from ARRAY_REF.
2389         (get_constraint_for): For ADDR_EXPR operating on something
2390         containing an ARRAY_REF, add all subvars to the solution.
2391         (handle_ptr_arith): Handle ARRAY_TYPE like RECORD_TYPE types.
2392         * tree-ssa-operands.c (parse_ssa_operands): Handle ARRAY_REF
2393         for creating MUST_DEFs.
2394         (get_expr_operands): Treat ARRAY_REF like COMPONENT_REF wrt subvars.
2395
2396 2006-01-14  Zdenek Dvorak <dvorakz@suse.cz>
2397
2398         * tree-ssa-loop-niter.c (number_of_iterations_cond): Split into several
2399         functions.
2400         (number_of_iterations_ne, number_of_iterations_lt_to_ne,
2401         assert_no_overflow_lt, assert_loop_rolls_lt, number_of_iterations_lt,
2402         number_of_iterations_le): New functions.
2403         (number_of_iterations_special): Removed.
2404         (number_of_iterations_exit): Do not use number_of_iterations_special.
2405         * tree.c (unsigned_type_for): Always return integer type.
2406
2407 2006-01-14  Steven Bosscher  <stevenb.gcc@gmail.com>
2408         Richard Guenther  <rguenther@suse.de>
2409
2410         PR rtl-optimization/24257
2411         * gcse.c (find_moveable_store): Only consider a store movable
2412         when the SET_SRC of the insn can be assigned to a register.
2413
2414 2006-01-14  Ian Lance Taylor  <ian@airs.com>
2415
2416         * tree.c (tree_not_class_check_failed): New function.
2417         * tree.h (NON_TYPE_CHECK): Call tree_not_class_check_failed.
2418         (tree_not_class_check_failed): Declare.
2419
2420 2006-01-13  Ian Lance Taylor  <ian@airs.com>
2421
2422         * reload1.c (do_output_reload): Add assertion rejecting a
2423         CALL_INSN.
2424
2425 2006-01-13  Adam Nemet  <anemet@caviumnetworks.com>
2426
2427         * combine.c (struct reg_stat): Add new fields truncation_label and
2428         truncated_to_mode.
2429         (record_value_for_reg): Reset truncated_to_mode.
2430         (record_truncated_value): New function.
2431         (check_promoted_subreg): Call it.  Rename to check_conversions.
2432         (combine_instructions): Rename check_promoted_subreg to
2433         check_conversions.
2434         (reg_truncated_to_mode): New function.
2435         (make_extraction): Use it.  Check TRULY_NOOP_TRUNCATION.
2436         (gen_lowpart_or_truncate): New function.
2437         (force_to_mode): Use it instead of gen_lowpart.
2438
2439 2006-01-13  Diego Novillo  <dnovillo@redhat.com>
2440
2441         * tree-ssa-alias.c (add_type_alias): Fix typo.  Test whether
2442         VAR is a tag, not its type tag.
2443
2444 2006-01-13  Alexandre Oliva  <aoliva@redhat.com>
2445
2446         * config/i386/sse.md (*vec_extractv2di_1_sse2): Reorder
2447         alternatives to match style of other entries.
2448         (*vec_extractv2di_1_sse): Likewise.  Fix mode attr.
2449
2450 2006-01-13  Daniel Berlin  <dberlin@dberlin.org>
2451
2452         PR tree-optimization/25771
2453         * tree-ssa-pre.c (insert_extra_phis): Don't insert merges of abnormal
2454         SSA_NAMES.
2455
2456 2006-01-13  Andrew Pinski  <pinskia@physics.uc.edu>
2457
2458         PR tree-opt/24365
2459         * tree-inline.c (declare_return_variable): If the return variable
2460         was marked as a non gimple complex, set the return slot variable
2461         to be a non gimple comple variable.
2462
2463 2006-01-13  Richard Guenther  <rguenther@suse.de>
2464
2465         * builtins.c (expand_builtin_sincos): New function.
2466         (expand_builtin_mathfn_3): Remove dead code, sin and cos
2467         do not set errno.
2468         (expand_builtin): Expand sincos using expand_builtin_sincos.
2469
2470 2006-01-12  DJ Delorie  <dj@redhat.com>
2471
2472         * config/m32c/shift.md: Rewrite: Allow arbitrary operands for
2473         shift counts, separate SI shifts for m32c vs m16c, pass shift type
2474         so that constant shifts can be split.
2475         * config/m32c/m32c.c (m32c_const_ok_for_constraint_p): Add In6.
2476         (m32c_valid_pointer_mode): Make static.
2477         (shift_gen_func_for): New.
2478         (m32c_prepare_shift): Use it.  Split large const shifts into
2479         multiple shifts.
2480         * config/m32c/predicates.md (shiftcount_operand): Allow more
2481         general operands.
2482         (longshiftcount_operand): New.
2483         * doc/md.texi (Machine Constraints): Document In6.
2484
2485 2006-01-13  Ben Elliston  <bje@au.ibm.com>
2486
2487         * doc/tm.texi (Data Output): Add REAL_VALUE_TO_TARGET_DECIMAL32,
2488         REAL_VALUE_TO_TARGET_DECIMAL64 and REAL_VALUE_TO_TARGET_DECIMAL128
2489         documentation.
2490
2491 2006-01-12  Daniel Berlin  <dberlin@dberlin.org>
2492
2493         * tree-ssa-operands.c (add_call_clobber_ops): Use SFT_PARENT_VAR
2494         to try to avoid clobbering pieces of structures when we know
2495         something about the whole structure.
2496         * tree-ssa-alias.c (create_sft): Set SFT_PARENT_VAR
2497
2498 2006-01-13  Ben Elliston  <bje@au.ibm.com>
2499
2500         * doc/rtl.texi (Insns): Remove statement that libcalls cannot
2501         return in memory, as this is no limitation is no longer present.
2502
2503 2006-01-12  DJ Delorie  <dj@redhat.com>
2504
2505         * config/m32c/addsub.md (addhi3): Add two more alternatives, for
2506         mova with fb, and for fb+0 -> An.
2507
2508         * config/m32c/mov.md (peephole2): Fix enabling logic.
2509
2510         * config/m32c/m32c.h (CTOR_LIST_BEGIN, CTOR_LIST_END,
2511         DTOR_LIST_BEGIN, DTOR_LIST_END, CTORS_SECTION_ASM_OP,
2512         DTORS_SECTION_ASM_OP, INIT_ARRAY_SECTION_ASM_OP,
2513         FINI_ARRAY_SECTION_ASM_OP): Define.
2514
2515         * config/m32c/m32c.c (m32c_legitimize_address): Remove temporary
2516         variable.
2517         (m32c_legitimize_reload_address): New logic to reload FB to An.
2518         (m32c_output_reg_push): Add newline.
2519         (m32c_output_reg_pop): Likewise.
2520
2521 2006-01-12  Ulrich Weigand  <uweigand@de.ibm.com>
2522
2523         * struct-equiv.c (find_dying_inputs): Fix off-by-one bug.
2524
2525 2006-01-11  Andrew Pinski  <pinskia@physics.uc.edu>
2526
2527         * config/i386/darwin.h (SUBTARGET_ENCODE_SECTION_INFO): Define.
2528
2529 2006-01-11  Kazu Hirata  <kazu@codesourcery.com>
2530
2531         * config/sh/predicates.md (sh_rep_vec): Add parallel to
2532         match_code.
2533
2534 2006-01-11  Ben Elliston  <bje@au.ibm.com>
2535
2536         * rtlanal.c (find_reg_note): Assert insn is not null.
2537
2538 2006-01-11  Kenneth Zadeck <zadeck@naturalbridge.com>
2539
2540         * df-scan.c (df_hard_reg_init): Move declaration of i outside
2541         ifdef.
2542
2543 2006-01-11  Jeff Law  <law@redhat.com>
2544
2545         * tree-ssa-threadupdate.c (threaded_edges): New VEC to
2546         hold edge pairs.
2547         (mark_threaded_blocks, register_jump_thread): New functions.
2548         (thread_through_all_blocks): Remove unwanted argument.  No
2549         longer rely on e->aux to communicate thread target info.
2550         Call mark_threaded_blocks.  Release the threaded_blocks
2551         bitmap and threaded_edges vector when complete.
2552         * tree-ssa-dom.c (struct edge_info): Remove redirection_target field.
2553         (threaded_blocks): Remove.
2554         (tree_ssa_dominator_optimize): Remove initialization and
2555         finalization of threaded_blocks.  Simplify call to
2556         thread_through_all_blocks.
2557         (thread_across_edge): Call register_jump_thread rather than
2558         storing thread information into e->aux.
2559         (free_all_edge_infos): Simplify now that e->aux is no longer
2560         used to communicate with thread_through_all_blocks.
2561         * tree-flow.h (thread_through_all_blocks): Update prototype.
2562         (register_jump_thread): Prototype.
2563
2564 2006-01-11  Kazu Hirata  <kazu@codesourcery.com>
2565
2566         * df-core.c (df_compact_blocks, df_bb_replace): Use
2567         SET_BASIC_BLOCK instead of BASIC_BLOCK.
2568
2569 2006-01-11  Richard Guenther  <rguenther@suse.de>
2570
2571         PR tree-optimization/25734
2572         * tree-ssa-forwprop.c (forward_propagate_addr_expr_1): Do not
2573         stop propagation after successful propagation to the LHS.
2574
2575 2006-01-11  Kazu Hirata  <kazu@codesourcery.com>
2576
2577         * basic-block.h (control_flow_graph): Change the type of
2578         x_basic_block_info to VEC(basic_block,gc) *.
2579         (BASIC_BLOCK_FOR_FUNCTION, BASIC_BLOCK): Adjust the uses of
2580         basic_block_info.
2581         (SET_BASIC_BLOCK): New.
2582         * cfg.c (compact_blocks, expunge_block): Use SET_BASIC_BLOCK
2583         instead of BASIC_BLOCK when assigning to BASIC_BLOCK.
2584         * cfgbuild.c (find_basic_blocks): Likewise.
2585         * cfglayout.c (fixup_reorder_chain): Likewise.
2586         * cfgrtl.c (create_basic_block_structure,
2587         rtl_create_basic_block): Likewise.
2588         * ifcvt.c (find_if_case_1): Likewise.
2589         * tree-cfg.c (init_empty_tree_cfg, build_tree_cfg, create_bb):
2590         Likewise.
2591
2592 2006-01-11  Kenneth Zadeck <zadeck@naturalbridge.com>
2593
2594         * Makefile.in: Removed rotted odf.c entry.
2595
2596 2006-01-11  Hans-Peter Nilsson  <hp@axis.com>
2597
2598         PR target/25706
2599         * config/cris/cris.md ("*extopqihi_side", "*extop<mode>si_side")
2600         ("*extop<mode>si_swap_side_biap", "*extop<mode>si_swap_side",
2601         ("*extopqihi", "*extop<mode>si", "*extop<mode>si_swap"): Use %E
2602         output pattern modifier, not %e.
2603         * config/cris/cris.c (cris_op_str): Update comment about pattern
2604         modifier.
2605         (cris_print_operand) <case 'e'>: Clear cris_output_insn_is_bound
2606         before falling through into...
2607         <case 'E'>: Redefined from old 'e' case.
2608
2609 2006-01-11  Jan Hubicka  <jh@suse.cz>
2610
2611         PR target/25042
2612         * i386.c (ix86_init_mmx_sse_builtins): Do not delcare float128
2613
2614 2006-01-11  Jan Hubicka  <jh@suse.cz>
2615
2616         * i386.h (TARGET_DECOMPOSE_LEA): Kill.
2617         * i386.c (x86_decompose_lea): Kill.
2618         (ix86_rtx_costs): Kill.
2619
2620 2006-01-11  Jan Hubicka  <jh@suse.cz>
2621
2622         * cgraph.c (cgraph_insert_node_to_hashtable): New function.
2623         * cgraph.h (cgraph_node): Add inline_decl.
2624         (cgraph_insert_node_to_hashtable): Declare.
2625         (save_inline_function_body): Declare.
2626         * cgraphunit.c (verify_cgraph_node): Inline edges might point to inline
2627         clones.
2628         (cgraph_preserve_function_body_p): Do not presrve when dump is enabled.
2629         (cgraph_function_versioning): Update call of tree_function_versioning.
2630         (save_inline_function_body): New function.
2631         * function.h (struct function): Kill saved_eh, saved_cfg, saved_args,
2632         saved_static_chain_decl, saved_blocks and saved-unexpanded_var_list.
2633         * ipa-inline.c (cgraph_mark_inline_edge): Look for inline clones.
2634         (cgraph_default_inline_p): Likewise.
2635         (cgraph_decide_inlining_incrementally): Likewise.
2636         * tree-inline.c (inline_data): Kill saving_p add update_clones_p.
2637         (copy_bb): Kill saving; do updating of clones.
2638         (copy_cfg_body): Kill saving.
2639         (initialize_inlined-parameters): Likewise.
2640         (expand_call_inline): Likewise.
2641         (save_body): Kill.
2642         (tree_function_versioning): New parameter "update_clones".
2643         (inlining_p): Kill saving.
2644         * tree-inline.h (tree_function_versioning): Update prototype.
2645         * tree-optimize.c (tree_rest_of_compilation): Use clonning instead of
2646         saving.
2647
2648 2006-01-11  Ian Lance Taylor <ian@airs.com>
2649
2650         * combine.c (struct undo): Remove is_int.  Enumify types of undos.
2651         Allow undoing set of machine mode.
2652         (do_SUBST): Use enums instead of is_int.
2653         (do_SUBST_MODE): New function.
2654         (SUBST_MODE): New macro.
2655         (try_combine): Use SUBST_MODE/PUT_MODE instead of generating a new
2656         reg and trying to replace reg_regno_rtx with a new register.
2657         (undo_all): Use new enums, handle undoing a PUT_MODE change.
2658         (simplify_set): Use SUBST_MODE.
2659         (distribute_notes): Remove code that tried to update reg notes
2660         for regno_reg_rtx changes.
2661
2662 2006-01-11  Paolo Bonzini  <bonzini@gnu.org>
2663
2664         PR tree-optimization/23109
2665         PR tree-optimization/23948
2666         PR tree-optimization/24123
2667
2668         * Makefile.in (tree-ssa-math-opts.o): Adjust dependencies.
2669         * tree-cfg.c (single_noncomplex_succ): New.
2670         * tree-flow.h (single_noncomplex_succ): Declare it.
2671         * tree-ssa-math-opts.c (enum place_reciprocal): Remove.
2672         * tree-ssa-math-opts.c (enum place_reciprocal): Remove.
2673         (struct occurrence, occ_head, occ_pool, is_divide_by, compute_merit,
2674         insert_bb, register_division_in, insert_reciprocals,
2675         replace_reciprocal, free_bb): New.
2676         (execute_cse_reciprocals_1): Rewritten.
2677         (execute_cse_reciprocals): Adjust calls to execute_cse_reciprocals_1.
2678         Do not commit any edge insertion.  Always compute dominators and
2679         create the allocation pool.
2680         * target-def.h (TARGET_MIN_DIVISIONS_FOR_RECIP_MUL): New.
2681         * target.h (struct gcc_target): Add min_divistions_for_recip_mul.
2682         * targhooks.c (default_min_divistions_for_recip_mul): New.
2683         * targhooks.h (default_min_divistions_for_recip_mul): New prototype.
2684         * passes.c (init_optimization_passes): Run recip after tree loop
2685         optimizations.
2686         * doc/tm.texi (Misc): Document TARGET_MIN_DIVISIONS_FOR_RECIP_MUL.
2687
2688 2006-01-11  Danny Berlin <dberlin@dberlin.org>
2689             Kenneth Zadeck <zadeck@naturalbridge.com>
2690
2691         * df.h (DF_SCAN, DF_RU, DF_RD, DF_LR, DF_UR, DF_UREC, DF_CHAIN,
2692         DF_RI, DF_LAST_PROBLEM_PLUS1, DF_DU_CHAIN, DF_UD_CHAIN,
2693         DF_REF_TYPE_NAMES, DF_HARD_REGS, DF_EQUIV_NOTES, DF_SUBREGS,
2694         DF_SCAN_BB_INFO, DF_RU_BB_INFO, DF_RD_BB_INFO, DF_LR_BB_INFO,
2695         DF_UR_BB_INFO, DF_UREC_BB_INFO, DF_LIVE_IN, DF_LIVE_OUT,
2696         DF_RA_LIVE_IN, DF_RA_LIVE_OUT, DF_UPWARD_LIVE_IN,
2697         DF_UPWARD_LIVE_OUT, DF_REF_REAL_REG, DF_REF_REGNO,
2698         DF_REF_REAL_LOC, DF_REF_REG, DF_REF_LOC, DF_REF_BB, DF_REF_BBNO,
2699         DF_REF_INSN, DF_REF_INSN_UID, DF_REF_TYPE, DF_REF_CHAIN,
2700         DF_REF_ID, DF_REF_FLAGS, DF_REF_NEXT_REG, DF_REF_PREV_REG,
2701         DF_REF_NEXT_REF, DF_REF_DATA, DF_REF_REG_DEF_P, DF_REF_REG_USE_P,
2702         DF_REF_REG_MEM_STORE_P, DF_REF_REG_MEM_LOAD_P, DF_REF_REG_MEM_P,
2703         DF_DEFS_SIZE, DF_DEFS_GET, DF_DEFS_SET, DF_USES_SIZE, DF_USES_GET,
2704         DF_USES_SET, DF_REG_SIZE, DF_REG_DEF_GET, DF_REG_DEF_SET,
2705         DF_REG_USE_GET, DF_REG_USE_SET, DF_REGNO_FIRST_DEF,
2706         DF_REGNO_LAST_USE, DF_INSN_SIZE, DF_INSN_GET, DF_INSN_SET,
2707         DF_INSN_CONTAINS_ASM, DF_INSN_LUID, DF_INSN_DEFS, DF_INSN_USES,
2708         DF_INSN_UID_GET, DF_INSN_UID_LUID, DF_INSN_UID_DEFS,
2709         DF_INSN_UID_USES, DF_SCAN_INITIAL, DF_SCAN_GLOBAL,
2710         DF_SCAN_POST_ALLOC): New macros.
2711         (df_flow_dir, df_ref_type, df_ref_flags, df_alloc_function,
2712         df_free_bb_function, df_local_compute_function, df_init_function,
2713         df_dataflow_function, df_confluence_function_0,
2714         df_confluence_function_n, df_transfer_function,
2715         df_finalizer_function, df_free_function, df_dump_problem_function,
2716         df_problem, dataflow, df_insn_info, df_reg_info, df_ref, df_link,
2717         df_ref_info, df, df_map, df_scan_bb_info, df_ru_bb_info,
2718         df_ru_bb_info, df_rd_bb_info, df_lr_bb_info, df_ur_bb_info,
2719         df_urec_bb_info, ) New types.
2720         (df_invalidated_by_call, df_all_hard_regs, df_state) New public
2721         variables.
2722         (df_init, df_add_problem, df_set_blocks, df_finish, df_analyze,
2723         df_analyze_simple_change_some_blocks,
2724         df_analyze_simple_change_one_block, df_compact_blocks,
2725         df_bb_replace, df_bb_regno_last_use_find,
2726         df_bb_regno_first_def_find, df_bb_regno_last_def_find,
2727         df_insn_regno_def_p, df_find_def, df_find_use,
2728         df_iterative_dataflow, df_dump, df_chain_dump, df_refs_chain_dump,
2729         df_regs_chain_dump, df_insn_debug, df_insn_debug_regno,
2730         df_regno_debug, df_ref_debug, debug_df_insn, debug_df_regno,
2731         debug_df_reg, debug_df_defno, debug_df_useno, debug_df_ref,
2732         debug_df_chain, df_get_dependent_problem, df_chain_create,
2733         df_chain_unlink, df_chain_copy, df_get_live_in, df_get_live_out,
2734         df_grow_bb_info, df_chain_dump, df_print_bb_index,
2735         df_ru_add_problem, df_ru_get_bb_info, df_rd_add_problem,
2736         df_rd_get_bb_info, df_lr_add_problem, df_lr_get_bb_info,
2737         df_ur_add_problem, df_ur_get_bb_info, df_urec_add_problem,
2738         df_urec_get_bb_info, df_chain_add_problem, df_ri_add_problem,
2739         df_reg_lifetime, df_scan_get_bb_info, df_scan_add_problem,
2740         df_rescan_blocks, df_ref_create, df_get_artificial_defs,
2741         df_get_artificial_uses, df_reg_chain_create, df_reg_chain_unlink,
2742         df_ref_remove, df_insn_refs_delete, df_refs_delete,
2743         df_reorganize_refs, df_set_state, df_hard_reg_init,
2744         df_read_modify_subreg_p) New public functions.
2745         * df-core.c: The core dataflow solver and glue routines for rtl
2746         dataflow.
2747         (df_init, df_add_problem, df_set_blocks, df_finish,
2748         df_hybrid_search_forward, df_hybrid_search_backward,
2749         df_iterative_dataflow, df_prune_to_subcfg, df_analyze_problem,
2750         df_analyze, df_get_bb_info, df_set_bb_info, df_bb_replace,
2751         df_bb_regno_last_use_find, df_bb_regno_first_def_find,
2752         df_bb_regno_last_def_find, df_insn_regno_def_p, df_find_def,
2753         df_reg_defined, df_find_use, df_reg_used, df_dump,
2754         df_refs_chain_dump, df_regs_chain_dump, df_insn_debug,
2755         df_insn_debug_regno, df_regno_debug, df_ref_debug, debug_df_insn,
2756         debug_df_reg, debug_df_regno, debug_df_ref debug_df_defno,
2757         debug_df_useno, reset_df_after_reload): New functions.
2758         * df-scan.c: The scanning fuctions, once in df.c, completely
2759         rewritten so that they now fully model the functionality of
2760         register usage at the backend.
2761         (df_scan_free_internal, df_scan_get_bb_info, df_scan_set_bb_info,
2762         df_scan_free_bb_info, df_scan_alloc, df_scan_free, df_scan_dump,
2763         df_scan_add_problem, df_grow_reg_info, df_grow_ref_info,
2764         df_grow_insn_info, df_rescan_blocks, df_ref_create,
2765         df_get_artificial_defs, df_get_artificial_uses,
2766         df_reg_chain_create, df_ref_unlink, df_reg_chain_unlink,
2767         df_ref_remove, df_insn_create_insn_record, df_insn_refs_delete,
2768         df_refs_delete, df_reorganize_refs, df_set_state,
2769         df_ref_create_structure, df_ref_record, df_read_modify_subreg_p,
2770         df_def_record_1, df_defs_record, df_uses_record,
2771         df_insn_contains_asm_1, df_insn_contains_asm, df_insn_refs_record,
2772         df_has_eh_preds, df_bb_refs_record, df_refs_record, df_mark_reg,
2773         df_record_exit_block_uses, df_hard_reg_init): New functions.
2774
2775         * df-problems.c: Seven concrete dataflow problems that use the
2776         scanning in df-scan.c and are solved by the engine in df-core.c.
2777         (df_get_dependent_problem, df_chain_create, df_chain_unlink,
2778         df_chain_copy, df_get_live_in, df_get_live_out, df_grow_bb_info,
2779         df_chain_dump, df_print_bb_index, df_ref_bitmap, df_set_seen,
2780         df_unset_seen, df_ru_get_bb_info, df_ru_set_bb_info,
2781         df_ru_free_bb_info, df_ru_alloc,
2782         df_ru_bb_local_compute_process_def,
2783         df_ru_bb_local_compute_process_use, df_ru_bb_local_compute,
2784         df_ru_local_compute, df_ru_init_solution, df_ru_confluence_n,
2785         df_ru_transfer_function, df_ru_free, df_ru_dump,
2786         df_ru_add_problem, df_rd_get_bb_info, df_rd_set_bb_info,
2787         df_rd_free_bb_info, df_rd_alloc,
2788         df_rd_bb_local_compute_process_def, df_rd_bb_local_compute,
2789         df_rd_local_compute, df_rd_init_solution, df_rd_confluence_n,
2790         df_rd_transfer_function, df_rd_free, df_rd_dump,
2791         df_rd_add_problem, df_lr_get_bb_info, df_lr_set_bb_info,
2792         df_lr_free_bb_info, df_lr_alloc, df_lr_bb_local_compute,
2793         df_lr_local_compute, df_lr_init, df_lr_confluence_0,
2794         df_lr_confluence_n, df_lr_transfer_function, df_lr_free,
2795         df_lr_dump, df_lr_add_problem, df_ur_get_bb_info,
2796         df_ur_set_bb_info, df_ur_free_bb_info, df_ur_alloc,
2797         df_ur_bb_local_compute, df_ur_local_compute, df_ur_init,
2798         df_ur_local_finalize, df_ur_confluence_n, df_ur_transfer_function,
2799         df_ur_free, df_ur_dump, df_ur_add_problem, df_urec_get_bb_info,
2800         df_urec_set_bb_info, df_urec_free_bb_info, df_urec_alloc,
2801         df_urec_mark_reg_change, df_urec_check_earlyclobber,
2802         df_urec_mark_reg_use_for_earlyclobber,
2803         df_urec_mark_reg_use_for_earlyclobber_1, df_urec_bb_local_compute,
2804         df_urec_local_compute, df_urec_init, df_urec_local_finalize,
2805         df_urec_confluence_n, df_urec_transfer_function, df_urec_free,
2806         df_urec_dump, df_urec_add_problem, df_chain_alloc,
2807         df_chain_create_bb_process_use, df_chain_create_bb,
2808         df_chain_finalize, df_chain_free, df_chains_dump,
2809         df_chain_add_problem, df_ri_alloc, df_ri_bb_compute,
2810         df_ri_compute, df_ri_free, df_ri_dump, df_ri_add_problem,
2811         df_reg_lifetime): New functions.
2812         * df.c: Deleted file.
2813         * ddg.c (create_ddg_dep_no_link, build_inter_loop_deps): Made code
2814         consistent with new df api.
2815         * modulo-sched.c (sms_schedule, rest_of_handle_sms,
2816         rest_of_handle_sms): Ditto.
2817         * web.c (unionfind_union, union_defs, entry_register, web_main):
2818         Ditto.
2819         * loop_invariant.c (invariant_for_use, hash_invariant_expr_1,
2820         invariant_expr_equal_p, find_defs, check_dependencies,
2821         find_invariant_insn, find_invariants_to_move, move_invariant_reg,
2822         free_inv_motion_data, move_loop_invariants): Ditto.
2823         * Makefile.in (df.c, df-scan.c df-problems.c df-core.c):
2824         Update dependencies.
2825         (odf.c): Added defective entry that was deleted later in day.
2826         * sched-deps.c (sched_analyze_1): Ditto.
2827
2828 2006-01-11  Zdenek Dvorak <dvorakz@suse.cz>
2829
2830         * tree-ssa-operands.c (get_expr_operands): Record addressable
2831         variables directly.  Do not call add_stmt_operands for CONST_DECLs
2832         and ARRAY_DECLs.
2833         (get_indirect_ref_operands): Remove handling of *(&a + offset) case.
2834         (add_stmt_operands): Handle only objects satisfying SSA_VAR_P.
2835
2836 2006-01-11  Ben Elliston  <bje@au.ibm.com>
2837
2838         * config/i386/i386.c (ix86_return_in_memory): Fix comment: this
2839         function returns true in the positive case.
2840
2841 2006-01-10  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
2842
2843         PR target/20754
2844         * config/pa/pa.md: Create separate 32 and 64-bit move patterns
2845         for SI, DI, SF and DF modes.  Add alternatives to copy between
2846         general and floating point registers to the 32-bit patterns.
2847         * config/pa/pa-64.h (SECONDARY_MEMORY_NEEDED_RTX): Delete undefine.
2848         * config/pa/pa.h (SECONDARY_MEMORY_NEEDED_RTX): Delete define.
2849         (SECONDARY_MEMORY_NEEDED): Secondary memory is only needed when
2850         generating 64-bit code.
2851         * config/pa/pa.c (output_move_double): Handle copies between general
2852         and floating registers.
2853
2854 2006-01-10  Stuart Hastings  <stuart@apple.com>
2855
2856         * config/i386/i386.md (set_got): Update.
2857         (set_got_labelled): New.  (UNSPEC_LD_MPIC): New.
2858         (builtin_setjmp_receiver): Mach-O support.
2859         * config/i386/darwin.h (TARGET_ASM_FILE_END) Define.
2860         (GOT_SYMBOL_NAME): Define.
2861         (FORCE_PREFERRED_STACK_BOUNDARY_IN_MAIN): New.
2862         (TARGET_DEEP_BRANCH_PREDICTION): Remove.
2863         * config/i386/i386.c (override_options): Revise for Darwin.
2864         (USE_HIDDEN_LINKONCE): Enable for Mach-O.  (ix86_file_end): Mach-O
2865         support.  (darwin_x86_file_end): New.  (output_set_got): Add label
2866         parameter, revise for Mach-O.  (x86_output_mi_thunk): Likewise.
2867         * config/i386/i386-protos.h (output_set_got): Likewise.
2868         * config/darwin.c (machopic_legitimize_pic_address): Update
2869         regs_ever_live[].
2870
2871 2006-01-10  Kaz Kojima  <kkojima@gcc.gnu.org>
2872
2873         * config/sh/sh.h (SH5_WOULD_BE_PARTIAL_NREGS): Use GET_MODE_SIZE
2874         when MODE isn't BLKmode.
2875
2876 2006-01-10  Eric Botcazou  <ebotcazou@libertysurf.fr>
2877
2878         PR rtl-optimization/25367
2879         * config/sparc/sparc.h (HARD_REGNO_RENAME_OK): New macro.
2880
2881 2006-01-10  Hans-Peter Nilsson  <hp@axis.com>
2882
2883         PR target/25718
2884         * config/cris/cris.md ("uminsi3"): Don't use 8- or 16-bit sizes
2885         for a negative bound.
2886
2887 2006-01-10  Richard Guenther  <rguenther@suse.de>
2888
2889         * tree-ssa-structalias.c (get_constraint_for_component_ref):
2890         Never override with anything constraint.
2891
2892 2006-01-10  Jan Beulich  <jbeulich@novell.com>
2893
2894         * config/i386/i386.c (ix86_data_alignment): Don't force alignment to
2895         256 bits when optimize_size.
2896
2897 2006-01-10  Jan Beulich  <jbeulich@novell.com>
2898
2899         * config/i386/netware.h (TARGET_SUBTARGET_DEFAULT): Include
2900         MASK_ALIGN_DOUBLE.
2901         * config/i386/nwld.h (LINK_SPEC): Add --extensions:GNU option.
2902         * config/i386/t-nwld (SHLIB_LINK): Insert spaces between expr
2903         arguments.
2904
2905 2006-01-10  Ben Elliston  <bje@au.ibm.com>
2906
2907         * config/rs6000/predicates.md (easy_fp_constant): Discount decimal
2908         float modes.
2909         * config/rs6000/rs6000.c (rs6000_scalar_mode_supported_p): New.
2910         (TARGET_SCALAR_MODE_SUPPORTED_P): Define.
2911         (USE_FP_FOR_ARG): Reject decimal float modes.
2912         (function_arg_advance): Likewise.
2913         (output_toc): Handle emitting TDmode, DDmode and SDmode constants.
2914         (rs6000_handle_altivec_attribute): Do not permit decimal floating
2915         point types in AltiVec vectors.
2916         (rs6000_function_value): Use GP_ARG_RETURN for decimal floats.
2917         (rs6000_libcall_value): Likewise.
2918
2919 2006-01-09  Bob Wilson  <bob.wilson@acm.org>
2920
2921         * config/xtensa/ieee754-df.S: New file.
2922         * config/xtensa/ieee754-sf.S: New file.
2923         * config/xtensa/t-xtensa (LIB2FUNCS_EXTRA): Remove fp-bit.c & dp-bit.c.
2924         (LIB1ASMFUNCS): Add SFmode and DFmode floating-point functions.
2925         * config/xtensa/lib1funcs.asm: Include ieee754-df.S and ieee754-sf.S.
2926
2927 2006-01-09  Kazu Hirata  <kazu@codesourcery.com>
2928
2929         * config/sh/predicates.md (binary_float_operator,
2930         binary_logical_operator, commutative_float_operator,
2931         equality_comparison_operator, greater_comparison_operator,
2932         less_comparison_operator, logical_operator,
2933         noncommutative_float_operator, shift_operator,
2934         symbol_ref_operand, unary_float_operator): Remove redundant
2935         conditionals.
2936
2937 2006-01-09  Jeff Law  <law@redhat.com>
2938
2939         * tree-ssa-dom.c (simplify_cond_and_lookup_avail_expr): Remove
2940         code to propagate the RHS of a cast into COND_EXPR_COND.  Remove
2941         now unused arguments.  Callers updated.
2942         (eliminate_redundant_computations): Remove now unused arguments,
2943         callers updated.
2944         (local_fold): Remove, no longer used.
2945         (find_equivalent_equality_comparison): Removed from tree-ssa-dom.c
2946         and moved to...
2947         * tree-ssa-forwprop.c (find_equivalent_equality_comparison): Here.
2948         (simplify_cond): New function.
2949         (forward_propagate_into_cond): Call simplify_cond.
2950
2951 2006-01-09  Alexandre Oliva  <aoliva@redhat.com>
2952
2953         * config/i386/sse.md (*vec_extractv2di_1_sse2): New.
2954         (*vec_extractv2di_1_sse): New.
2955
2956 2006-01-09  Ben Elliston  <bje@au.ibm.com>
2957
2958         * config/rs6000/rs6000.h (GO_IF_LEGITIMATE_ADDRESS): Typo fix.
2959
2960 2006-01-08  Richard Guenther  <rguenther@suse.de>
2961
2962         * tree-ssa-structalias.c (get_constraint_for): Remove
2963         anyoffset argument.
2964         (get_constraint_for_component_ref): Likewise.
2965         (do_deref): Likewise.
2966         (get_constraint_for): Likewise.
2967         (do_structure_copy): Likewise.
2968         (handle_ptr_arith): Likewise.
2969         (find_func_aliases): Likewise.  Remove unused need_anyoffset
2970         variable.
2971
2972 2006-01-08  J"orn Rennecke  <joern.rennecke@st.com>
2973             Kaz Kojima  <kkojima@gcc.gnu.org>
2974
2975         * config/sh/sh.h (CONST_OK_FOR_K16): Define.
2976         (CONST_OK_FOR_K): Add CONST_OK_FOR_K16 case.
2977         (EXTRA_CONSTRAINT_C16): Remove.
2978         (EXTRA_CONSTRAINT_Css, EXTRA_CONSTRAINT_Csu): Define.
2979         (EXTRA_CONSTRAINT_C): Remove EXTRA_CONSTRAINT_C16 case and add
2980         EXTRA_CONSTRAINT_Css and EXTRA_CONSTRAINT_Csu cases.
2981         * config/sh/sh.c (print_operand): Handle unsigned 16-bit symbolic
2982         constants of SHmedia.  Handle nested constant expressions of
2983         SHmedia correctly.
2984         (andcosts): Fix the costs for SHmedia constants.
2985         (sh_rtx_costs): Take account of outer_code for SHmedia constants.
2986         * config/sh/sh.md (*movsi_media): Use Css constraint instead of C16.
2987         (*movsi_media_nofpu, *movqi_media, *movhi_media): Likewise.
2988         (*movdi_media, *movdi_media_nofpu, movv8qi_i, movv2hi_i): Likewise.
2989         (movv4hi_i, movv2si_i): Likewise.
2990         (movsi_const): Adjust the second operand of ior so to match with
2991         the Csu constraint.
2992         (movdi_const, movdi_const_32bit): Likewise.
2993         (movdi_const_16bit+1): Don't sign-extend LOW.
2994         (movdi_const_16bit+2): Likewise.  Remove the zero_extend and truncate
2995         step.
2996         (*double_shori): Fix the split condition.  Use GEN_INT instead
2997         of get_int_mode calls.  Mask lower 16-bit of the argument of
2998         the last GEN_INT.
2999         (sym2GOTPLT): Remove.
3000         (symGOTPLT2reg): Replace gen_sym2GOTPLT with gen_rtx_CONST and
3001         gen_rtx_UNSPEC.
3002         * config/sh/predicates.md (arith_operand): Use EXTRA_CONSTRAINT_Css
3003         instead of EXTRA_CONSTRAINT_C16.
3004
3005 2006-01-07  Ian Lance Taylor  <ian@airs.com>
3006             David Edelsohn  <edelsohn@gnu.org>
3007
3008         PR rtl-optimization/25662
3009         * optabs.c (simplify_expand_binop): Use simplify_binary_operation
3010         for constant operands instead of simplify_gen_binary.
3011         * simplify-rtx.c (simplify_gen_binary): Swap commutative operands
3012         after trying simplify_binary_operation
3013
3014 2006-01-06  Daniel Berlin  <dberlin@dberlin.org>
3015
3016         * tree.c (iterative_hash_expr): Hash decls based on UID.
3017
3018 2006-01-06  Eric Christopher  <echristo@apple.com>
3019
3020         * doc/tm.texi (TARGET_ASM_EMIT_EXCEPT_TABLE_LABEL): Document.
3021         (TARGET_UNWIND_EMIT): Fix spelling.
3022         * target.h (gcc_target): Add except_table_label.
3023         * except.c (output_function_exception_table): Use.
3024         * varasm.c (default_emit_except_table_label): New.
3025         * target-def.h (TARGET_ASM_EMIT_EXCEPT_TABLE_LABEL): New default
3026         define.
3027         (asm_out): Add here.
3028         * output.h (default_emit_except_table_label): Prototype.
3029         * config/darwin-protos.h (darwin_emit_except_table_label): Ditto.
3030         * config/darwin.c (darwin_emit_except_table_label): Define.
3031         * config/darwin.h (TARGET_ASM_EMIT_EXCEPT_TABLE): Ditto.
3032
3033 2006-01-06  Zdenek Dvorak <dvorakz@suse.cz>
3034
3035         PR tree-optimization/18527
3036         * tree-ssa-loop-niter.c (number_of_iterations_cond,
3037         number_of_iterations_special, number_of_iterations_exit):
3038         Move base and step of an iv to a single structure.  Add
3039         no_overflow flag, and use it in # of iterations analysis.
3040         * tree-scalar-evolution.c (analyze_scalar_evolution_in_loop): Add
3041         folded_casts argument.
3042         (simple_iv): Pass base and step in a structure.  Set no_overflow
3043         flag.
3044         (scev_const_prop): Add argument to analyze_scalar_evolution_in_loop.
3045         Evaluate expensiveness of computing # of iterations instead of
3046         the final expression.
3047         * tree-scalar-evolution.h (affine_iv): New structure.
3048         (simple_iv): Declaration changed.
3049         * tree-chrec.c (chrec_apply): Handle chrecs containing symbols.
3050         * tree-ssa-loop-ivopts.c (determine_biv_step, find_givs_in_stmt_scev,
3051         find_givs_in_stmt): Changed due to simple_iv change.
3052
3053 2006-01-06  Jeff Law  <law@redhat.com>
3054
3055         PR ada/24994
3056         * tree-cfg.c (bsi_replace): Rename final argument from
3057         PRESERVE_EH_INFO to UPDATE_EH_INFO.  Fix typo in last
3058         change (stmt -> orig_stmt).
3059         * tree-eh.c (verify_eh_throw_stmt_node): New function.
3060         (bsi_remove): Add new argument.  Remove EH information
3061         if requested.
3062         (verify_eh_throw_table_statements): New function.
3063         (bsi_remove): Add new argument REMOVE_EH_INFO.  All callers
3064         updated.
3065         * tree-optimize.c (execute_free_cfg_annotations): Verify
3066         the EH throw statement table after removing annotations.
3067         * except.h (verify_eh_throw_table_statements): Prototype.
3068         * tree-flow.h (bsi_remove): Update prototype.
3069         * tree-vrp.c (remove_range_assertions): Add new argument to
3070         bsi_remove call.
3071         * tree-ssa-loop-im.c (move_computations_stmt): Likewise.
3072         * tree-complex.c (expand_complex_div_wide): Likewise.
3073         * tree-ssa-threadupdate.c (remove_ctrl_stmt_and_useless_edges): Likewise
3074         * tree-tailcall.c (eliminate_tailcall): Likewise.
3075         * tree-ssa-dse.c (dse_optimize_stmt): Likewise.
3076         * tree-ssa-loop-ivopts.c (remove_statement): Likewise.
3077         * tree-nrv.c (tree_nrv): Likewise.
3078         * tree-vectorizer.c (slpeel_make_loop_iterate_ntimes): Likewise.
3079         * tree-if-conv.c (tree_if_convert_cond_expr): Likewise.
3080         (combine_blocks): Likewise.
3081         * tree-ssa-phiopt.c (replace_phi_edge_with_variable): Likewise.
3082         * tree-cfgcleanup.c (cleanup_ctrl_expr_graph): Likewise.
3083         (cleanup_control_flow): Likewise.
3084         (remove_forwarder_block): Likewise.
3085         * tree-ssa-pre.c (remove_dead_inserted_code): Likewise.
3086         * tree-sra.c (sra_replace): Likewise.
3087         * tree-ssa-forwprop.c (forward_propagate_into_cond): Likewise.
3088         (forward_propagate_single_use_vars): Likewise.
3089         * tree-ssa-dce.c (remove_dead_stmt): Likewise.
3090         * tree-inline.c (expand_call_inline): Likewise.
3091         * tree-vect-transform.c (vect_transform_loop): Likewise.
3092         * tree-outof-ssa.c (rewrite_trees): Likewise.
3093         * tree-cfg.c (make_goto_expr_edges): Likewise.
3094         (cleanup_dead_labels): Likewise.
3095         (tree_merge_blocks, remove_bb, disband_implicit_edges): Likewise.
3096         (bsi_move_before, bsi_move_after): Likewise.
3097         (bsi_move_to_bb_end, try_redirect_by_replacing_jump): Likewise
3098         (tree_redirect_edge_and_branch, tree_split_block): Likewise.
3099
3100 2006-01-06  Andrew Pinski  <pinskia@physics.uc.edu>
3101
3102         PR tree-opt/25528
3103         * tree-ssa-alias.c (find_used_portions): Handle REALPART_EXPR
3104         and IMAGPART_EXPR.
3105         * tree-flow-inline.h (var_can_have_subvars): Handle complex types
3106         on non gimple variables.  Also add checks at the top for decls and
3107         mtags.
3108         * tree-ssa-structalias.c (push_fields_onto_fieldstack): Handle
3109         complex types.
3110         * tree-ssa-operands.c (parse_ssa_operands): Handle REALPART_EXPR
3111         and IMAGPART_EXPR for creating MUST_DEFs.
3112         (get_expr_operands): Handle SSA_NAME, STRUCT_FIELD_TAG, TYPE_MEMORY_TAG,
3113         and NAME_MEMORY_TAG separately from the DECLs.
3114
3115 2006-01-06  Richard Guenther  <rguenther@suse.de>
3116
3117         * tree-dfa.c (mark_new_vars_to_rename): Create stmt
3118         annotation, if necessary.
3119         * tree-ssa-pre.c (create_expression_by_pieces): Remove
3120         redundant calls to update_stmt.
3121         * tree-ssa-forwprop.c (tidy_after_forward_propagate_addr):
3122         Likewise.
3123
3124 2006-01-05  Richard Henderson  <rth@redhat.com>
3125
3126         * c-parser.c (c_parser_objc_methodprotolist): Handle CPP_PRAGMA.
3127
3128 2006-01-05  Carlos O'Donell  <carlos@codesourcery.com>
3129
3130         * c-typeck.c: Update copyright date.
3131
3132 2006-01-05  Carlos O'Donell  <carlos@codesourcery.com>
3133
3134         * c-typeck.c (build_c_cast): Always warn when casting
3135         from a pointer to an integer of different size, even if
3136         the node was constant.
3137
3138 2006-01-05  Richard Guenther  <rguenther@suse.de>
3139
3140         PR tree-optimization/22555
3141         * tree-ssa-alias.c (create_overlap_variables_for): Do not give up,
3142         if one structure field is an array.
3143         * tree-ssa-operands.c (get_expr_operands): Continue scanning
3144         operands even if we found a subvar, but ignore VOPs in this
3145         case.
3146         * tree-ssa-loop-ivopts.c (rewrite_use): Mark new vars in stmt
3147         for renaming.
3148         * tree-ssa-loop.c (pass_iv_optimize): Schedule TODO_update_ssa.
3149
3150 2006-01-05  Richard Earnshaw  <rearnsha@arm.com>
3151
3152         PR middle-end/24998
3153         * arm/t-netbsd (LIB2FUNCS_EXTRA): Define.
3154
3155 2006-01-05  Richard Guenther  <rguenther@suse.de>
3156             Diego Novillo  <dnovillo@redhat.com>
3157
3158         * tree-pass.h (TODO_remove_unused_locals): Define.
3159         * gimple-low.c (expand_var_p, remove_useless_vars,
3160         pass_remove_useless_vars): Remove.  Update all users.
3161         * tree-ssa-live.c (mark_all_vars_used_1): Handle SSA names.
3162         (remove_unused_locals): New function.
3163         * tree-flow.h (remove_unused_locals): Declare.
3164         * passes.c (execute_todo): Call remove_unused_locals if
3165         TODO_remove_unused_locals is set.
3166         * tree-into-ssa.c (pass_build_ssa): Add TODO_remove_unused_locals.
3167         * tree-ssa-dce.c (pass_dce): Likewise.
3168         * tree-outof-ssa.c (pass_del_ssa): Likewise.
3169
3170 2006-01-05  Richard Guenther  <rguenther@suse.de>
3171
3172         * tree-flow.h (struct fieldoff): Decompose field to
3173         type, size and decl.
3174         * tree-ssa-alias.c (create_sft): Take type as parameter.
3175         (create_overlap_variables_for): Store type, size and decl
3176         in the fieldoff structure.
3177         * tree-ssa-structalias.c (fieldoff_compare): Adjust users
3178         of struct fieldoff.
3179         (push_fields_onto_fieldstack): Likewise.
3180         (create_variable_info_for): Likewise.  Use offset for the
3181         SFT name if the decl is not available.
3182
3183 2006-01-04  Paul Brook  <paul@codesourcery.com>
3184
3185         * config/m68k/m68k.c (m68k_output_mi_thunk): Use jmp, not jsr.
3186
3187 2006-01-04  Daniel Berlin  <dberlin@dberlin.org>
3188
3189         * lambda-code.c (can_put_in_inner_loop): Relax
3190         restrictions.
3191         (can_put_after_inner_loop): New function.
3192         (can_convert_to_perfect_nest): Use can_put_after_inner_loop as well.
3193         (perfect_nestify): Change to make copies and modify uses.
3194
3195 2006-01-04  Richard Henderson  <rth@redhat.com>
3196
3197         Merge from gomp branch:
3198         * c-lex.c (c_lex_with_flags) <CPP_PRAGMA>: Smuggle pragma id
3199         via integer constant.
3200         (pragma_lex): Remove.
3201         * c-pch.c (c_common_pch_pragma): Accept the name as an argument,
3202         rather than parsing it.
3203         * c-pragma.c (handle_pragma_weak, handle_pragma_redefine_extname,
3204         handle_pragma_extern_prefix): Add %< %> quotes.
3205         (registered_pragmas): New.
3206         (c_register_pragma_1): New.
3207         (c_register_pragma): Use it.
3208         (c_register_pragma_with_expansion): Likewise.
3209         (c_invoke_pragma_handler): New.
3210         (init_pragma): Use cpp_register_deferred_pragma directly for
3211         pch_preprocess.
3212         * c-pragma.h (enum pragma_kind): New.
3213         (pragma_handler): New.
3214         (c_invoke_pragma_handler): Declare.
3215         * c-common.c (c_parse_error): Pretty print CPP_PRAGMA and
3216         CPP_PRAGMA_EOL.
3217         * c-common.h (c_common_pch_pragma): Update decl.
3218         * Makefile.in (c-parser.o): Update dependencies.
3219         (GTFILES): Add c-pragma.h.
3220         * c-parser.c (struct c_token): Add pragma_kind.
3221         (struct c_parser): Add in_pragma.
3222         (c_lex_one_token): Always initialize keyword and pragma_kind.
3223         Extract data for CPP_PRAGMA.
3224         (c_parser_peek_2nd_token): Deny CPP_PRAGMA_EOL.
3225         (c_parser_consume_token): Don't allow CPP_PRAGMA unless errors.
3226         Don't allow CPP_PRAGMA_EOL if in_pragma.
3227         (c_parser_consume_pragma): New.
3228         (c_parser_skip_until_found): Stop on CPP_PRAGMA_EOL.
3229         (c_parser_skip_to_end_of_parameter): Likewise.
3230         (c_parser_skip_to_end_of_block_or_statement): Likewise.
3231         (c_parser_skip_to_pragma_eol): New.
3232         (c_parser_external_declaration): Handle CPP_PRAGMA.
3233         (c_parser_compound_statement_nostart): Likewise.
3234         (c_parser_statement_after_labels): Likewise.
3235         (c_parser_pragma): New.
3236         (pragma_lex): Likewise.
3237         (c_parser_pragma_pch_preprocess): New.
3238         (c_parser_new): Merge into ...
3239         (c_parse_file): ... here.  Call c_parser_pragma_pch_preprocess.
3240
3241 2006-01-04  Jeff Law  <law@redhat.com>
3242
3243         PR ada/24994
3244         * tree-cfg.c (bsi_replace): Remove the original statement
3245         from the EH throw statement table.
3246
3247 2006-01-04  Jakub Jelinek  <jakub@redhat.com>
3248
3249         * config/i386/pmm_malloc.h (posix_memalign): If __cplusplus,
3250         make the prototype extern "C" and add throw ().
3251
3252         PR target/25554
3253         * config/i386/i386.md (testqi_ext_3): Ensure len is positive
3254         and pos non-negative and pos + len <= 32.
3255         (testqi_ext_3_rex64): Ensure len is positive and pos non-negative,
3256         drop pos + len < HOST_BITS_PER_WIDE_INT test.
3257         (testqi_ext_3* splitter): Handle pos + len == HOST_BITS_PER_WIDE_INT.
3258
3259         PR c/25559
3260         * c-common.c (handle_vector_size_attribute): Reject zero vector size
3261         as well as sizes not multiple of component size.
3262
3263         PR debug/25562
3264         * function.c (instantiate_expr): New function.
3265         (instantiate_decls_1, instantiate_decls): If DECL_HAS_VALUE_EXPR_P,
3266         walk its DECL_VALUE_EXPR with instantiate_expr.
3267
3268         * dwarf2out.c (loc_descriptor_from_tree_1): Don't add
3269         DW_OP_deref{,_size} if address isn't going to be added.
3270
3271 2006-01-04  Ben Elliston  <bje@au.ibm.com>
3272
3273         * config/fp-bit.h: Use top-of-file comment from libgcc2.c.
3274         * config/fp-bit.c: Likewise.
3275
3276 2006-01-03  Daniel Berlin  <dberlin@dberlin.org>
3277
3278         * dominance.c: Add comment about why we use DFS numbering
3279         of dominance tree.
3280
3281 2006-01-03  Jakub Jelinek  <jakub@redhat.com>
3282             Richard Henderson  <rth@redhat.com>
3283
3284         Merge from gomp-branch:
3285         * varasm.c (assemble_variable): Handle thread-local COMMON data.
3286         * defaults.h (ASM_OUTPUT_TLS_COMMON): Define.
3287
3288 2006-01-03  Paolo Bonzini  <bonzini@gnu.org>
3289
3290         PR rtl-optimization/25578
3291         * combine.c (combine_simplify_rtx, force_to_mode): Don't
3292         pass a parameter to simplify_shift_const if changing ASHIFTRT
3293         to LSHIFTRT.
3294
3295 2006-01-03  Adrian Straetling  <straetling@de.ibm.com>
3296
3297         * builtins.c (get_builtin_sync_mem): New function.
3298         (expand_builtin_sync_operation, expand_builtin_compare_and_swap,
3299         expand_builtin_lock_test_and_set, expand_builtin_lock_release):
3300         Call get_builtin_sync_mem to generate mem rtx.
3301
3302 2006-01-03  Richard Guenther  <rguenther@suse.de>
3303
3304         PR c/25183
3305         * stmt.c (add_case_node): Make sure to clear overflow flags
3306         from ranges.
3307
3308 2006-01-03  Jakub Jelinek  <jakub@redhat.com>
3309
3310         Merge from gomp-branch.
3311         * config/sparc/sync.md: New file.
3312         * config/sparc/sparc.md (UNSPECV_MEMBAR, UNSPECV_CAS, UNSPECV_SWAP,
3313         UNSPECV_LDSTUB): New constants.
3314         * config/sparc/sparc.c (sparc_expand_compare_and_swap_12): New function.
3315         * config/sparc/predicates.md (memory_reg_operand): New predicate.
3316         * config/sparc/sparc-protos.h (sparc_expand_compare_and_swap_12): New
3317         prototype.
3318
3319 2006-01-03  Roger Sayle  <roger@eyesopen.com>
3320
3321         * combine.c (reg_subword_p): New predicate to test whether the
3322         destination of a set refers to a subword/piece of a register.
3323         (try_combine): Generalize the code to merge the setting of a
3324         pseudo to a constant followed by a set of a subword of that
3325         register to a constant.
3326
3327 2006-01-03  Kazu Hirata  <kazu@codesourcery.com>
3328
3329         * basic-block.h (control_flow_graph): Change the type of
3330         x_label_to_block_map to VEC(basic_block,gc) *.
3331         * tree-cfg.c (init_empty_tree_cfg, label_to_block_fn,
3332         set_bb_for_stmt): Adjust the uses of x_label_to_block_map.
3333
3334         * tree-ssa-propagate.c (cfg_blocks): Change the type to
3335         VEC(basic_block,heap) *.
3336         (cfg_blocks_add, cfg_blocks_get, ssa_prop_init,
3337         ssa_prop_fini): Adjust the uses of cfg_blocks.
3338
3339 2006-01-03  Steven Bosscher  <stevenb.gcc@gmail.com>
3340
3341         * fold-const.c (operand_equal_p): Accept a NULL operand 0 for
3342         COMPONENT_REFs.
3343         * emit-rtl.c (mem_attrs_htab_eq): Use iterative_hash_expr for
3344         hashing trees instead of a pointer hash.
3345         (mem_attrs_htab_eq): Do a deep compare instead of a pointer
3346         compare for MEM_EXPR.
3347
3348         PR rtl-optimization/25130
3349         * cse.c (exp_equiv_p): Compare MEM_ATTRS instead of MEM_ALIAS_SET
3350         when comparing MEMs for GCSE
3351
3352 2006-01-03  Ben Elliston  <bje@au.ibm.com>
3353
3354         * targhooks.h (default_decimal_float_supported_p): Declare.
3355         * targhooks.c (default_decimal_float_supported_p): Define.
3356         * target-def.h (TARGET_DECIMAL_FLOAT_SUPPORTED_P): Redefine to
3357         `default_decimal_float_supported_p'.
3358         * doc/tm.texi (TARGET_DECIMAL_FLOAT_SUPPORTED_P): Update.
3359
3360 2006-01-02  Adam Nemet  <anemet@caviumnetworks.com>
3361
3362         * combine.c (apply_distributive_law <SUBREG>): Check
3363         TRULY_NOOP_TRUNCATION.
3364
3365 2006-01-02  Geoffrey Keating  <geoffk@apple.com>
3366
3367         * dwarf2out.c (have_switched_text_section): Delete.
3368         (have_multiple_function_sections): New.
3369         (have_location_lists): Make 'bool'.
3370         (add_AT_loc_list): Use 'true' not '1'.
3371         (dwarf2out_switch_text_section): Set have_multiple_function_sections.
3372         (output_loc_list): Use have_multiple_function_sections.
3373         (output_ranges): Likewise.
3374         (dwarf2out_begin_function): Set have_multiple_function_sections if
3375         necessary.
3376         (dwarf2out_source_line): Don't fake separate_line_info_table_in_use.
3377         Check function_section rather than DECL_SECTION_NAME.
3378         (dwarf2out_finish): Use have_multiple_function_sections.
3379         Don't clear have_location_lists.
3380
3381 2006-01-02  Eric Botcazou  <ebotcazou@adacore.com>
3382             Jan Hubicka  <jh@suse.cz>
3383
3384         * cfglayout.c (fixup_reorder_chain): Remove kludge for the
3385         case of conditional jump jumping to the next instruction.
3386         * cfgrtl.c (force_nonfallthru_and_redirect): Accept all
3387         cases of conditional jump jumping to the next instruction.
3388
3389 2006-01-02  Jan Hubicka  <jh@suse.cz>
3390
3391         * i386.c (*_cost): Add COSTS_N_INSNS.
3392         (ix86_rtx_costs): Do not use COSTS_N_INSNS.
3393
3394 2006-01-02  Paolo Bonzini  <bonzini@gnu.org>
3395
3396         PR target/25259
3397         * Makefile.in (DECNUMINC): Include libdecnumber's build directory.
3398
3399 2006-01-02  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
3400
3401         * config/arm/arm.c (all_fpus): Fix comment typo.
3402         * config/darwin.c: Likewise.
3403         * config/frv/frv.h (FRV_STRUCT_VALUE_REGNUM): Likewise.
3404         * config/h8300/h8300.md (extendqisi2_h8300hs): Likewise.
3405         * config/m68hc11/m68hc11.c (m68hc11_reload_operands): Likewise.
3406
3407 2006-01-01  David Edelsohn  <edelsohn@gnu.org>
3408
3409         * config/rs6000/rs6000.c (rs6000_expand_compare_and_swapqhi): New.
3410         (rs6000_split_compare_and_swapqhi): New.
3411         * config/rs6000/sync.md (sync_compare_and_swap{hi,qi}): New.
3412         (sync_compare_and_swapqhi_internal): New.
3413         * config/rs6000/rs6000-protos.h: Declare.