OSDN Git Service

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