OSDN Git Service

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