OSDN Git Service

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