OSDN Git Service

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