OSDN Git Service

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