gengtype.c (new_structure): Return the structure.
[platform/upstream/gcc.git] / gcc / ChangeLog
1 2006-01-23  Richard Sandiford  <richard@codesourcery.com>
2
3         * gengtype.c (new_structure): Return the structure.
4         (create_option): Add an extra "next" argument.
5         (create_field): New function.
6         (adjust_field_rtx_def): Use create_option and create_field.
7         Remove a now-unnecessary call to find_structure.
8         (adjust_field_tree_def): Likewise.
9         (note_yacc_type): Remove an unnecessary call to find_structure.
10         * gengtype.h (new_structure): Return the structure.
11         (create_option): Add an extra argument.
12         * gengtype-yacc.y (type): Remove unnecessary calls to find_structure.
13         (option): Adjust calls to create_option.
14
15 2006-01-22  David Edelsohn  <edelsohn@gnu.org>
16
17         * config/rs6000/aix.h (STACK_BOUNDARY): Define.
18
19 2006-01-22  Paul Brook  <paul@codesourcery.com>
20         Peter Barada  <peter@the-baradas.com>
21
22         * config/m68k/m68k.md: Add Coldfire FPU support.
23         Define FP mode macro and associated attributes.
24         Use it for float mode patterns.
25         * config/m68k/linux.h (FUNCTION_VALUE): Use m68k_function_value.
26         (LIBCALL_VALUE): Use m68k_libcall_value.
27         * config/m68k/m68k-protos.h (m68k_libcall_value): Add prototype.
28         (m68k_function_value): Ditto.
29         (emit_move_sequence): Ditto.
30         * config/m68k/m68kemb.h (LIBCALL_VALUE): Use m68k_libcall_value.
31         * config/m68k/m68k-none.h (ASM_SPEC): Add mcfv4e.
32         * config/m68k/t-m68kelf (MULTILIB_OPTIONS): Add mcfv4e.
33         (MULTILIB_EXCEPTIONS): Ditto.
34         * config/m68k/m68k.opt: Add mcfv4e.
35         * config/m68k/m68k.c (m68k_handle_option): Handle OPT_mcfv4e.
36         (m68k_compute_frame_layout): Include space for ColdFire FPU regs.
37         (m68k_output_function_prologue): Save ColdFire FPU registers.
38         (m68k_output_function_epilogue): Restore ColdFire FPU registers.
39         (force_mode, fp_reg_operand, emit_move_sequence): New functions.
40         (m68k_regno_mode_ok): Don't allow types larget than 8 bytes in
41         ColdFire FPU registers.
42         (m68k_libcall_value, m68k_function_value): New functions.
43         * config/m68k/netbsd-elf.h (FUNCTION_VALUE): Use m68k_function_value.
44         (LIBCALL_VALUE): Use m68k_libcall_value.
45         * config/m68k/m68k.h (TARGET_CPU_CPP_BUILTINS): Define __mcfv4e__.
46         (MASK_COLDFIRE): Add MASK_CFV4E.
47         (TARGET_COLDFIRE_FPU, TARGET_HARD_FLOAT, TARGET_FP_REG_SIZE): New.
48         (MODES_TIEABLE_P): Use TARGET_HARD_FLOAT.
49         (REG_CLASS_FROM_LETTER, PREFERRED_RELOAD_CLASS): Ditto.
50         (GO_IF_COLDFIRE_FPU_LEGITIMATE_ADDRESS): Define.
51         (GO_IF_LEGITIMATE_ADDRESS): Use it.
52         (LEGITIMIZE_ADDRESS): Handle ColdFire FPU addresses.
53         * doc/invoke.tex: Document -mcfv4e on m68k.
54
55 2006-01-22  Ranjit Mathew  <rmathew@gcc.gnu.org>
56
57         * doc/contribute.texi: Change CVS to SVN and update the corresponding
58         URL.
59
60 2006-01-21  Gabriel Dos Reis  <gdr@integrable-solutions.net>
61
62         PR c++/16190
63         * c-opts.c (c_common_handle_option): Don't include
64         -Wnon-virtual-dtor in -Wall; enable if -Weffc++.
65         * doc/invoke.texi (C++ Dialect Options): Document that
66         -Wnon-virtual-dtor is no longer included in -Wall.
67
68 2006-01-21  Joseph S. Myers  <joseph@codesourcery.com>
69
70         * gcov.c (print_version), gcov-dump.c (print_version),
71         mips-tdump.c (main), mips-tfile.c (main): Update copyright notice
72         dates.
73
74 2005-01-21  Kenneth Zadeck <zadeck@naturalbridge.com>
75
76         * df-scan.c (problem_SCAN): Added NULL reset function.
77         (df_scan_reset_blocks): Added code to call reset block function
78         (df_bb_refs_delete) Fixed comment.
79         (df_insn_refs_delete): Made tolerant of deleting non existent info
80         for dataflow problems that need to be reset.
81         * df-core.c (df_set_blocks): Ditto.
82         * df.h (struct df_problem): Added reset_fun.
83         * df-problems.c (problem_RU, problem_RD, problem_LR, problem_UR,
84         problem_UREC, problem_CHAIN, problem_RI): Initialized reset_fun field.
85         (df_chain_insn_reset, df_chain_bb_reset, df_chain_reset): New
86         functions to clear out all references to def-use or use-def chains.
87
88 2006-01-21  Ben Elliston  <bje@au.ibm.com>
89
90         * varasm.c (assemble_real): Initialise data array.
91
92 2006-01-20  Paul Brook  <paul@codesourcery.com>
93
94         Merge from csl-arm-branch.
95         2005-09-21  Kazu Hirata  <kazu@codesourcery.com>
96         * config/arm/arm.md (movdi): Force operands[1] to a register
97         if we have a non-register source.
98         (*arm_movdi, *movdf_soft_insn): Require that one of the
99         operands be a register.
100         * config/arm/iwmmxt.md (*iwmmxt_arm_movdi): Likewise.
101         * config/arm/vfp.md (*arm_movdi_vfp, *movdf_vfp): Likewise.
102
103 2006-01-20  DJ Delorie  <dj@redhat.com>
104
105         * varasm.c (initialize_constant_valid_p): Allow pointers
106         initialized from integer constants of lesser precision.
107         (output_constant): Allow non-int-sized pointer modes to be
108         initialized from integer constants.
109
110 2006-01-20  Joseph S. Myers  <joseph@codesourcery.com>
111
112         PR libstdc++/25524
113         * cppdefault.h (struct default_include): Add multilib flag.
114         * cppdefault.c (cpp_include_defaults): Set it.
115         * c.opt (-imultilib): New option.
116         * c-opts.c (imultilib): New.
117         (c_common_handle_option): Handle -imultilib.
118         (c_common_post_options): Likewise.
119         * c-incpath.c (add_standard_paths, register_include_chains):
120         Likewise.
121         * c-incpath.h (register_include_chains): Add extra parameter.
122         * gcc.c (do_spec_1): Generate -imultilib option.
123         (The Specs Language): Update %I description.
124         (process_command): Update copyright notice.
125         * doc/cppopts.texi (-imultilib): Document.
126         * doc/invoke.texi (-imultilib): Include in option summary.
127         (%I): Update specs documentation.
128
129 2006-01-20  Zdenek Dvorak <dvorakz@suse.cz>
130
131         * loop-iv.c (iv_analysis_loop_init): Use df in more conservative way.
132
133 2006-01-20  Richard Sandiford  <richard@codesourcery.com>
134
135         * stmt.c (case_bit_test_cmp): Stabilize the sort using code
136         label numbers.
137
138 2006-01-20  Richard Guenther  <rguenther@suse.de>
139         Steven Bosscher <stevenb.gcc@gmail.com>
140
141         PR rtl-optimization/24626
142         * cfgloopmanip.c (lv_adjust_loop_entry_edge): Don't set
143         EDGE_TRUE_VALUE if in RTL mode.
144
145         Revert
146         2005-03-30 Mostafa Hagog <mustafa@il.ibm.com>
147         * cfgrtl.c (rtl_verify_flow_info_1): Fix.
148
149 2006-01-20  Dirk Mueller  <dmueller@suse.com>
150
151         PR c++/5520
152         * c-parser.c (c_parser_if_body): Use build_empty_stmt()
153         instead of a special NOP marker.
154         * c-typeck.c (c_finish_if_stmt): Remove obsoleted special
155         NOP marker handling.
156         * c-common.h (empty_body_warning): Add forward declaration.
157         * c-common.c (empty_body_warning): Add (from c_finish_if_stmt).
158         Now uses IS_EMPTY_STMT() instead of special NOP markers.
159
160 2005-01-20  Paul Brook  <paul@codesourcery.com>
161
162         * Makefile.in (lang_checks): Keep going if mkdir fails.
163
164 2005-01-19  Kenneth Zadeck <zadeck@naturalbridge.com>
165
166         * df-scan.c (df_scan_free_bb_info): Added basic block parameter to
167         be able to clean out basic block when not necessary.
168         (df_scan_free): Fixed to properly delete information if df is
169         unused before calling df_finish.
170         (df_scan_alloc, df_rescan_blocks, df_reg_chain_unlink,
171         df_insn_create_insn_record, df_bb_refs_record): Fixed formatting
172         or comment typos.
173         (df_bb_refs_delete): New function.
174         (df_refs_delete): Moved per block code to df_bb_refs_delete.
175         * df-core.c (df_set_blocks): Added code to properly clean out
176         unused blocks if they are not part of the blocks to consider.
177         Added additional null check.
178         (df_compact_blocks): Added basic block parameter to free_bb_fun to
179         be able to clean out basic block when not necessary
180         * df.h (df_free_bb_function): Ditto.
181         (df_bb_refs_delete): New function.
182         * df-problems.c (df_ru_free_bb_info, df_rd_set_bb_info,
183         df_lr_set_bb_info, df_ur_free_bb_info, df_urec_free_bb_info):Added
184         basic block parameter to be able to clean out basic block when not
185         necessary.
186         (df_ru_alloc, df_rd_alloc): Fixed dyslexic overflow test.
187         (df_ru_free, df_rd_free, df_lr_free, df_ur_free, df_urec_free):
188         Fixed to properly delete information if df is unused before
189         calling df_finish.
190
191 2005-01-19  Kenneth Zadeck <zadeck@naturalbridge.com>
192
193         PR rtl-optimization/25799 
194         * df-problems.c (df_ru_confluence_n, df_rd_confluence_n):
195         Corrected confluence operator to remove bits from op2 before oring
196         with op1 rather than removing bits from op1.
197         (df_ru_transfer_function): Corrected test on wrong bitmap which
198         caused infinite loop.  Both of these problems were introduced in
199         the dataflow rewrite.
200
201 2006-01-19  DJ Delorie  <dj@redhat.com>
202
203         * reload1.c (find_reload_regs): Note the details of reload
204         failures in the dump file.
205         (spill_failure): Likewise.
206
207 2006-01-20  Zdenek Dvorak <dvorakz@suse.cz>
208
209         * loop-iv.c: Include df.h and hashtab.h.
210         (enum iv_grd_result): New enum.
211         (DF_REF_IV, DF_REF_IV_SET): New macros.
212         (struct biv_entry): New.
213         (df, bivs): New global variables.
214         (struct insn_info, insn_info, last_def, bivs, max_insn_no, max_reg_no,
215         assign_luids, mark_sets, kill_sets, mark_single_set, simple_set_p):
216         Removed.
217         (clear_iv_info, latch_dominating_def, record_iv, iv_analyze_expr,
218         iv_analyze_result, iv_analyze_def, biv_hash, biv_eq,
219         analyzed_for_bivness_p, record_biv): New functions.
220         (iv_analysis_loop_init, iv_get_reaching_def, simple_reg_p,
221         get_biv_step_1, get_biv_step, iv_analyze_biv, iv_analyze_op,
222         iv_analyze, biv_p, iv_analysis_done): Work with df representation of
223         UD chains.
224         (iv_constant, iv_subreg, iv_extend, iv_mult, iv_shift): Do not set
225         analysed.
226         (iv_number_of_iterations): Use new interface to iv analysis.
227         * loop-unroll.c: Do not include varray.h.
228         (analyze_iv_to_split_insn): Use new interface to iv
229         analysis.
230         * loop-unswitch.c (may_unswitch_on): Ditto.
231         * df.c (df_bitmaps_free): Only work for bbs for that structures are
232         allocated.
233         (df_bb_modify): Realloc tables to the new index.
234         (df_find_use): New function.
235         * df.h (df_find_use): Declare.
236         * optabs.c (expand_unop): Make the mode of the REG_EQUAL node be
237         outmode.
238         * cfgloop.h (struct rtx_iv): Remove analysed field.
239         (iv_get_reaching_def): Removed.
240         (iv_analyze_result, iv_analyze_expr, iv_current_loop_df): Declare.
241         * Makefile.in (loop-unroll.o): Remove VARRAY_H dependency.
242         (loop-iv.o): Add df.h and hashtab.h dependency.
243         * df-problems.c (df_ru_alloc, df_rd_alloc): Fix memory reallocation.
244
245 2006-01-20  Alan Modra  <amodra@bigpond.net.au>
246
247         * libgcc2.c (__floatdisf, __floatdidf): Don't use IBM Extended
248         Double TFmode.
249         (__floatundisf, __floatundidf): Likewise.
250         * libgcc2.h (IS_IBM_EXTENDED): Define.
251
252 2006-01-19  DJ Delorie  <dj@redhat.com>
253
254         * config/m32c/m32c.h (REG_ALLOC_ORDER): Define.
255
256 2006-01-19  Paul Brook  <paul@codesourcery.com>
257
258         * gcc/config/arm/arm.c (arm_compute_func_type): Treat all functions
259         as nothrow when unwinding tables are disabled.
260
261 2006-01-19  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
262
263         PR testsuite/25171
264         * c-decl.c (check_bitfield_type_and_width): Don't issue pedwarn "type
265         of bit-field" when in system header.
266
267 2006-01-19  DJ Delorie  <dj@redhat.com>
268
269         * config/m32c/m32c.c (m32c_prepare_shift): Add code to deal with
270         the 16 bit shift limit of the m16c.
271
272 2006-01-19  Andrew Pinski  <pinskia@physics.uc.edu>
273
274         PR target/22099
275         * config/i386/i386.md (builtin_setjmp_receiver): Don't emit the label.
276         * config/i386/i386.c (output_set_got): Output the label if we have one
277         for the TARGET_DEEP_BRANCH_PREDICTION case.
278
279 2006-01-19  Jan Hubicka  <jh@suse.cz>
280             H.J. Lu  <hongjiu.lu@intel.com>
281             Evandro Menezes <evandro.menezes@amd.com>
282
283         * invoke.texi (generic): Document
284         (i686) Update.
285         * config.gcc: Make x86_64-* and i686-* default to generic tunning.
286         * i386.h (TARGET_GENERIC32, TARGET_GENERIC64, TARGET_GENERIC,
287         TARGET_USE_INCDEC, TARGET_PAD_RETURNS): New macros.
288         (x86_use_incdec, x86_pad_returns): New variables
289         (TARGET_CPU_DEFAULT_generic): New constant
290         (TARGET_CPU_DEFAULT_NAMES): Add generic.
291         (enum processor_type): Add generic32 and generic64.
292         * i386.md (cpu attribute): Add generic32/generic64
293         (movhi splitter): Behave sanely when both partial_reg_dependency and
294         partial_reg_stall are set.
295         (K8 splitters): Enable for generic as well.
296         * predicates.md (incdec_operand): Use TARGET_INCDEC
297         (aligned_operand): Avoid memory mismatch stalls.
298         * athlon.md: Enable for generic64, new patterns for 128bit moves.
299         * ppro.md: Enable for generic32
300         * i386.c (generic64_cost, generic32_cost): New.
301         (m_GENERIC32, m_GENERIC64, m_GENERIC): New macros.
302         (x86_use_leave): Enable for generic64.  (x86_use_sahf,
303         x86_ext_80387_constants): Enable for generic32.  (x86_push_memory,
304         x86_movx, x86_unroll_strlen, x86_deep_branch, x86_use_simode_fiop,
305         x86_use_cltd, x86_promote_QImode, x86_sub_esp_4, x86_sub_esp_8,
306         x86_add_esp_4, x86_add_esp_8, x86_integer_DFmode_moves,
307         x86_partial_reg_dependency, x86_memory_mismatch_stall,
308         x86_accumulate_outgoing_args, x86_prologue_using_move,
309         x86_epilogue_using_move, x86_arch_always_fancy_math_387,
310         x86_sse_partial_reg_dependency, x86_four_jump_limit, x86_schedule):
311         Enable for generic.
312         (x86_use_incdec, x86_pad_returns): New.
313         (override_options): Add generic32 and generic64, translate "generic"
314         to generic32/generic64 and "i686" to "generic32", refuse
315         "generic32"/"generic64" as arch target.
316         (ix86_issue_rate, ix86_adjust_cost): Handle generic as athlon.
317         (ix86_reorg): Honor PAD_RETURNS.
318
319 2006-01-19  Diego Novillo  <dnovillo@redhat.com>
320
321         * tree-pretty-print.c (dump_generic_node): Handle
322         OMP_PARALLEL_FN, OMP_PARALLEL_DATA_ARG and OMP_RETURN_EXPR.
323         * cgraph.c (cgraph_expand_queue): Rename from
324         cgraph_analyze_queue.  Update all users.
325         * cgraphunit.c (cgraph_assemble_pending_functions): Process
326         cgraph_expand_queue.
327         (cgraph_expand_all_functions): Likewise.
328         (cgraph_finalize_pending_functions): Remove.  Update callers.
329
330         * tree.h (OMP_DIRECTIVE_P): Define.
331         (OMP_PARALLEL_FN): Define.
332         (OMP_PARALLEL_DATA_ARG): Define.
333         (OMP_SECTIONS_SECTIONS): Define.
334         * tree-pass.h (pass_expand_omp): Declare.
335         * omp-low.c (struct omp_region): Declare.
336         (struct omp_context): Remove fields 'parallel_type',
337         'parallel_start_ix' and 'parallel_start_additional_args'.
338         Update all users.
339         (struct omp_for_data): Rename from struct expand_omp_for_data.
340         (omp_regions): New static variable.
341         (root_omp_region): New static variable.
342         (find_omp_clause): Make static.
343         (is_in_combined_parallel_ctx): Remove.
344         (is_combined_parallel): New.
345         (extract_omp_for_data): Move earlier in the file.
346         (workshare_safe_to_combine_p): New.
347         (get_ws_args_for): New.
348         (determine_parallel_type): Move earlier in the file.
349         (omp_copy_decl_2): Do not set DECL_CONTEXT of new local to the
350         child function.
351         (omp_copy_decl): Likewise.
352         (create_omp_child_function): Likewise.
353         (lookup_omp_region): New.
354         (dump_omp_region): New.
355         (debug_omp_region): New.
356         (debug_all_omp_regions): New.
357         (new_omp_region): New.
358         (scan_omp_parallel): If parallel_nesting_level > 1, the
359         directive is nested within another parallel directive.
360         Set OMP_PARALLEL_FN.
361         (scan_omp_for): Do not try to handle combined parallel+for
362         cases.
363         Remove FIXME comment.
364         (scan_omp_nested): Remove.
365         (scan_omp_1): Do not call scan_omp_nested when
366         parallel_nesting_level is > 1.
367         Do not change the DECL_CONTEXT of local variables found.
368         (lookup_decl_in_outer_ctx): New.
369         (lower_rec_input_clauses): Rename from expand_rec_input_clauses.
370         (lower_lastprivate_clauses): Rename from expand_lastprivate_clauses.
371         (lower_reduction_clauses): Rename from expand_reduction_clauses.
372         (lower_copyprivate_clauses): Rename from expand_copyprivate_clauses.
373         If CTX is nested, lookup VAR in the outer context when
374         building copy assignment.
375         (lower_send_clauses): Rename from expand_send_clauses.
376         If CTX is nested, lookup VAR in the outer context when
377         building copy assignments.
378         (lower_send_shared_vars): Rename from expand_send_shared_vars.
379         If CTX is nested, lookup VAR in the outer context when
380         building copy assignments.
381         (expand_parallel_call): Rename from build_parallel_call.
382         Handle combined parallel+workshare cases.
383         Re-implement to emit code into the CFG.
384         (list2chain): New.
385         (expand_omp_parallel): Re-implement to emit code into the CFG.
386         Call move_sese_region_to_fn to outline the sub-graph
387         containing the parallel region.
388         (expand_omp_for_1): Remove.
389         (expand_omp_for_generic): Re-implement to emit code into the
390         CFG.
391         (expand_omp_for_static_nochunk): Likewise.
392         (expand_omp_for_static_chunk): Likewise.
393         (expand_omp_for): Likewise.
394         (expand_omp_sections): Likewise.
395         (remove_exit_barriers): New.
396         (expand_omp_synch): New.
397         (expand_omp): New.
398         (build_omp_regions_1): New.
399         (build_omp_regions): New.
400         (execute_expand_omp): New.
401         (gate_expand_omp): New.
402         (pass_expand_omp): Define.
403         (lower_omp_sections): Rename from expand_omp_sections.
404         Set OMP_SECTIONS_SECTIONS.
405         (lower_omp_single_simple): Rename from expand_omp_single_simple.
406         (lower_omp_single_copy): Rename from expand_omp_single_copy.
407         (lower_omp_single): Rename from expand_omp_simple.
408         (lower_omp_master): Rename from expand_omp_master.
409         (lower_omp_ordered): Rename from expand_omp_ordered.
410         (lower_omp_critical): Rename from expand_omp_critical.
411         (lower_omp_for_lastprivate): Rename from expand_omp_for_lastprivate.
412         (lower_omp_for): Re-implement.
413         (lower_omp_parallel): Re-implement.
414         (lower_regimplify): Rename from expand_regimplify.
415         (lower_omp_1): Rename from expand_omp_1.
416         If there are syntax errors in the program, replace every
417         OpenMP directive with NOP.
418         Call lower_omp_* instead of expand_omp_*.
419         (lower_omp): Rename from expand_omp.
420
421         * tree-gimple.c (is_gimple_stmt): Handle OMP_RETURN_EXPR.
422         * tree-gimple.h (enum omp_parallel_type): Remove.
423         (gimple_boolify): Declare extern.
424         (find_omp_clause, determine_parallel_type): Remove.
425
426         * gimple-low.c (lower_omp_directive): New.
427         (lower_stmt): Call it.
428         (record_vars_into): Move from ...
429         (record_vars): ... here.
430         Call record_vars_into with current_function_decl.
431
432         * gimplify.c (struct gimplify_ctx): Remove fields
433         combined_pre_p and combined_ctxp.  Update users.
434         (get_formal_tmp_var): Add documentation.
435         (gimple_boolify): Make extern.
436         (gimplify_expr_in_ctx): Remove.  Update callers.
437         (gimplify_omp_parallel): Do not assume that OMP_PARALLEL_BODY
438         will always be a BIND_EXPR.
439         (gimplify_expr): Handle OMP_RETURN_EXPR.
440         * tree.def (BLOCK): Remove documentation about BLOCK_TYPE_TAGS.
441         (OMP_PARALLEL): Add 3 operands.
442         (OMP_SECTIONS): Add 1 operand.
443         (OMP_RETURN_EXPR): Define.
444
445         * tree-inline.c (estimate_num_insns_1): Handle OpenMP directives.
446         (copy_tree_r): Restore TREE_CHAIN in OMP_CLAUSE_*.
447         * tree-iterator.c (alloc_stmt_list): Assert that we are not
448         creating a circular free list.
449         (free_stmt_list): Assert that we are not freeing stmt_list_cache.
450
451         * tree-flow.h (move_sese_region_to_fn): Declare.
452         (record_vars_into): Declare.
453         * tree-cfg.c (make_omp_sections_edges): New.
454         (make_exit_edges): Handle OMP_PARALLEL, OMP_FOR, OMP_SINGLE,
455         OMP_MASTER, OMP_ORDERED, OMP_CRITICAL, OMP_RETURN_EXPR,
456         OMP_SECTIONS and OMP_SECTION.
457         (is_ctrl_altering_stmt): Return true for OMP_DIRECTIVE_P.
458         (set_bb_for_stmt): Undo change to check currently_expanding_to_rtl.
459         (verify_stmt): Do not handle OMP_DIRECTIVE_P.
460         (gather_blocks_in_sese_region): New.
461         (struct move_stmt_d): Declare.
462         (move_stmt_r): New.
463         (move_block_to_fn): New.
464         (move_sese_region_to_fn): New.
465
466         * passes.c (init_optimization_passes): Schedule
467         pass_expand_omp after pass_init_datastructures.
468
469         * tree-ssa-operands.c (get_expr_operands): Handle
470         OMP_PARALLEL, OMP_SECTIONS, OMP_FOR, OMP_RETURN_EXPR,
471         OMP_SINGLE, OMP_MASTER, OMP_ORDERED, OMP_CRITICAL.
472
473 2006-01-19  Jeff Law  <law@redhat.com>
474
475         * tree-vrp.c (extract_range_from_assert): Refine the result range
476         if the variable referenced by the ASSERT_EXPR has a range and
477         either the tentative result range or the previous range is a 
478         VR_ANTI_RANGE.
479
480 2006-01-19  Richard Sandiford  <richard@codesourcery.com>
481
482         * c-decl.c (add_flexible_array_elts_to_size): Simplify vector accesses.
483
484 2006-01-19  Jan Hubicka  <jh@suse.cz>
485
486         * tree-vect-patterns.c (vect_pattern_recog_1): Prevent parse error.
487
488 2006-01-19  Paolo Bonzini  <bonzini@gnu.org>
489
490         * combine.c (try_combine): Do not worry about MEMs wrapped by USEs.
491         (expand_compound_operation, expand_field_assignment): Fail if the
492         bit lengths of an extract operation are out of range.
493         (make_extraction): Compute wanted_inner_mode based on the position
494         and length of the extraction.  Make it extraction_mode for non-constant
495         positions, and do not modify offset in that case.  When generating a
496         new MEM, use a mode that can hold the extraction while keeping correct
497         alignment.  Remove code that supported MEMs wrapped by USEs.
498         (simplify_shift_const_1, force_to_mode) <case USE>: Remove.
499
500 2006-01-19  Andreas Krebbel  <krebbel1@de.ibm.com>
501
502         * config/s390/s390.md ("Y", "y"): New mode attribute.
503         ("*cmpdi_ccs", "*cmpsi_ccs", "*adddi3_imm_cc", "*adddi3_carry1_cc", 
504         "*adddi3_carry1_cconly", "*adddi3_carry2_cc", "*adddi3_carry2_cconly",
505         "*adddi3_cc", "*adddi3_cconly", "*adddi3_cconly2", "*adddi3_64", 
506         "*addsi3_imm_cc", "*addsi3_carry1_cc", 
507         "*addsi3_carry1_cconly", "*addsi3_carry2_cc", "*addsi3_carr2_cconly",
508         "*addsi3_cc", "*addsi3_cconly", "*addsi3_cconly2",
509         "*subdi3_borrow_cc", "*subdi3_borrow_cconly", "*subdi3_cc", 
510         "*subdi3_cc2", "*subdi3_cconly", "*subdi3_cconly2", "*subdi3_64",
511         "*subsi3_borrow_cc", "*subsi3_borrow_cconly", "*subsi3_cc",
512         "*subsi3_cc2", "*subsi3_cconly", "*subsi3_cconly", "*subsi3_cconly2",
513         "addsi3", "subsi3"): Insn patterns removed.
514         ("*add<mode>3_carry1_cc", "*add<mode>3_carry1_cconly",
515         "*add<mode>3_carry2_cc", "*add<mode>3_carry2_cconly", "*add<mode>3_cc",
516         "*add<mode>3_cconly", "*add<mode>3_cconly2", "*add<mode>3_imm_cc",
517         "*sub<mode>3_borrow_cc", "*sub<mode>3_borrow_cconly",
518         "*sub<mode>3_cc", "*sub<mode>3_cc2", "*sub<mode>3_cconly", 
519         "*sub<mode>3_cconly2"): New insn patterns.
520         ("addsi3", "subsi3"): New expanders.
521
522 2006-01-19  Dorit Nuzman  <dorit@il.ibm.com>
523
524         * Makefile.in (tree-vect-patterns.o): Add rule for new file.
525         * tree-vect-analyze.c (vect_determine_vectorization_factor): Use
526         existing STMT_VINFO_VECTYPE if available.
527         (vect_mark_relevant): Add special handling for stmts that are
528         marked as STMT_VINFO_IN_PATTERN_P.
529         (vect_analyze_loop): Call vect_pattern_recog.
530         * tree-vectorizer.c (new_stmt_vec_info): Initialize new fields.
531         * tree-vectorizer.h (in_pattern_p, related_stmt): New fields in
532         stmt_info.
533         (STMT_VINFO_IN_PATTERN_P, STMT_VINFO_RELATED_STMT): New macros.
534         (vect_recog_func_ptr): New function-pointer type.
535         * tree-vect-patterns.c: New file.
536         (vect_recog_widen_sum_pattern, vect_recog_widen_mult_pattern):
537         (vect_recog_dot_prod_pattern, vect_pattern_recog):
538         (vect_pattern_recog_1): New functions.
539         (vect_pattern_recog_funcs): New array of function pointers.
540
541         * tree-vectorizer.h (ternary_op): New enum value.
542         * tree-vect-transform.c (vect_create_epilog_for_reduction): Added
543         declaration. Revised documentation. Removed redundant dump prints.
544         Removed redundant argument. Added support for reduction patterns.
545         (vectorizable_reduction): Added support for reduction patterns.
546         (vect_transform_stmt): Added support for patterns.
547
548         * expr.c (expand_expr_real_1): Added case for DOT_PROD_EXPR.
549         * genopinit.c (udot_prod_optab, sdot_prod_optab): Initialize.
550         * optabs.c (optab_for_tree_code): Added case for DOT_PROD_EXPR.
551         (expand_widen_pattern_expr): New function.
552         (init_optabs): Initialize new optabs udot_prod_optab,
553         sdot_prod_optab.
554         * optabs.h (OTI_sdot_prod, OTI_udot_prod): New.
555         (sdot_prod_optab, udot_prod_optab): Define new optabs.
556         (expand_widen_pattern_expr): New function declaration.
557         * tree.def (DOT_PROD_EXPR, WIDEN_SUM_EXPR, WIDEN_MULT_EXPR): New
558         tree-codes.
559         * tree-inline.c (estimate_num_insns_1): Added cases for new
560         tree-codes DOT_PROD_EXPR, WIDEN_SUM_EXPR, WIDEN_MULT_EXPR.
561         * tree-pretty-print.c (dump_generic_node): Likewise.
562         (op_prio): Likewise.
563         (op_symbol): Added cases for WIDEN_SUM_EXPR, WIDEN_MULT_EXPR.
564         * tree-ssa-operands.c (get_expr_operands): Added case for
565         DOT_PROD_EXPR.
566         * tree-vect-patterns.c (widened_name_p): New function.
567         (vect_recog_dot_prod_pattern): Added function implementation.
568         * tree-vect-transform.c (get_initial_def_for_reduction): Added
569         cases for DOT_PROD_EXPR, WIDEN_SUM_EXPR.
570         * config/rs6000/altivec.md (udot_prod<mode>, sdot_prodv8hi): New.
571         * config/i386/sse.md (sdot_prodv8hi, udot_prodv4si): New.
572
573         * expr.c (expand_expr_real_1): Added case for WIDEN_SUM_EXPR.
574         * genopinit.c (widen_ssum_optab, widen_usum_optab): Initialize.
575         * optabs.c (optab_for_tree_code): Added case for WIDEN_SUM_EXPR.
576         (init_optabs): Initialize new optabs widen_ssum_optab,
577         widen_usum_optab.
578         * optabs.h (OTI_widen_ssum, OTI_widen_usum): New.
579         (widen_ssum_optab, widen_usum_optab): Define new optabs.
580         * tree-vect-generic.c: (expand_vector_operations_1): Check type of
581         use instead of type of def.
582         * tree-vect-patterns.c (vect_recog_widen_sum_pattern): Added
583         function implementation.
584         * config/rs6000/altivec.md (widen_usum<mode>, widen_ssumv16qi,
585         widen_ssumv8hi): New.
586
587         * doc/tm.texi (ssum_widen, usum_widen, sdot_prod, udot_prod): New
588         patterns.
589
590 2006-01-19  Richard Sandiford  <richard@codesourcery.com>
591
592         PR c/25805
593         * c-decl.c (add_flexible_array_elts_to_size): New function.
594         (finish_decl): Use it.
595
596 2006-01-18  Andrew Pinski  <pinskia@physics.uc.edu>
597
598         * diagnostic.h: Include options.h.
599         * config/rs6000/x-darwin (host-ppc-darwin.o): Correct the
600         dependancies for diagnostic.h.
601         * Makefile.in (DIAGNOSTIC_H): Add options.h.
602
603 2006-01-16  Daniel Berlin  <dberlin@dberlin.org>
604
605         * tree-ssa-operands.h (ssa_call_clobbered_cache_valid): Remove.
606         (ssa_ro_call_cache_valid): Ditto.
607         * tree-ssa-alias.c (sort_tags_by_id): New function.
608         (init_transitive_clobber_worklist): Ditto.
609         (add_to_worklist): Ditto.
610         (mark_aliases_call_clobbered): Ditto.
611         (compute_tag_properties): Ditto.
612         (set_initial_properties): Ditto.
613         (compute_call_clobbered): Ditto.
614         (compute_may_aliases):  Call compute_call_clobbered and grouping.
615         (compute_flow_sensitive_aliasing): Remove clobbering related code.
616         (compute_flow_insensitive_aliasing): Grouping now happens in our
617         caller.
618         (setup_pointers_and_addressables): Remove clobbering related code.
619         (add_may_alias): Ditto.
620         (replace_may_alias): Ditto.
621         (get_nmt_for): Ditto.
622         (create_global_var): 
623         (is_escape_site): Return an escape_type enumeration.
624         * tree-flow-inline.h (is_call_clobbered):  Global var does not
625         imply call clobbered.
626         (mark_call_clobbered): Take a reason for marking this. Remove
627         marking of globalness, and cache invalidation.
628         (clear_call_clobbered): Remove cache invalidation code.
629         * tree-dfa.c (dump_variable): If details is on, dump the reason
630         for escaping.
631         * tree-outof-ssa.c (create_temp): Copy escape mask from original
632         variable. 
633         * tree-flow.h (struct ptr_info_def): Add escape mask member.
634         (struct var_ann_d): Ditto.
635         (enum escape_type): New.
636         (mark_call_clobbered): Adjust prototype.
637         * tree-ssa-structalias.c (update_alias_info): Unmodifiable vars
638         are never call clobbered. 
639         Record reasons for escaping.
640         * tree-ssa-structalias.h (is_escape_site): Update prototype.
641         * tree-ssa-operands.c (ssa_call_clobbered_cache_valid): Remove.
642         (ssa_ro_call_cache_valid): Ditto.
643         (clobbered_v_may_defs): Ditto.
644         (clobbered_vuses): Ditto.
645         (ro_call_vuses): Ditto.
646         (clobber_stats): New.
647         (init_ssa_operands): Zero out clobber stats.
648         (fini_ssa_operands): Print out clobber stats.
649         (get_call_expr_operands): Pass callee fndecl to
650         add_call_read_ops).
651         (add_call_clobber_ops): Remove use of cache.
652         Add use of PURE_CONST information.
653         (add_call_read_ops): Remove use of cache.
654         Add use of static not_read information.
655         
656 2006-01-18  Alexandre Oliva  <aoliva@redhat.com>
657
658         Introduce TLS descriptors for i386 and x86_64.
659         * config/i386/i386.h (TARGET_GNU2_TLS): New macro.
660         (TARGET_ANY_GNU_TLS): New macro.
661         (enum tls_dialect): Added TLS_DIALECT_GNU2.
662         (struct machine_function): Add tls_descriptor_call_expanded_p.
663         (ix86_tls_descriptor_calls_expande_in_cfun): New macro.
664         (ix86_current_function_calls_tls_descriptor): Likewise.
665         * config/i386/i386.c (ix86_tls_dialect): Fix typo in comment.
666         (override_options): Introduce gnu2 tls dialect.
667         (ix86_frame_pointer_required): Functions containing TLSCALLs are
668         not leaves.
669         (ix86_select_alt_pic_regnum, ix86_compute_frame_layout):
670         Likewise.
671         (legitimize_tls_address): Adjust logic for GNU2 TLS.
672         (ix86_init_machine_status): Initialize new field.
673         (ix86_tls_get_addr): Use TARGET_ANY_GNU_TLS.
674         (ix86_tls_module_base): New.
675         * config/i386/i386-protos.h (ix86_tls_module_base): Declare it.
676         * config/i386/i386.md (UNSPEC_TLSDESC): New constant.
677         (tls_global_dynamic_32, tls_global_dynamic_64): Handle GNU2 TLS.
678         (tls_local_dynamic_base_32, tls_local_dynamic_base_64): Likewise.
679         (tls_dynamic_gnu2_32, *tls_dynamic_lea_32): New patterns.
680         (*tls_dynamic_call_32, *tls_dynamic_gnu2_combine_32): Likewise.
681         (tls_dynamic_gnu2_64, *tls_dynamic_lea_64): Likewise.
682         (*tls_dynamic_call_64, *tls_dynamic_gnu2_combine_64): Likewise.
683         * config/i386/predicates.md (tls_modbase_operand): New.
684         (tp_or_register_operand): New.
685
686 2006-01-18  Daniel Berlin  <dberlin@dberlin.org>
687
688         * ipa-reference.c (check_operand):  Allow FUNCTION_DECL.
689         (look_for_address_of): Ditto.
690         (ipa_init): Walk the function decls.
691         (static_execute): Don't set readonly on FUNCTION_DECL's.
692
693 2006-01-18  Roger Sayle  <roger@eyesopen.com>
694
695         * config/i386/i386.md (shift spliter): Fix a a typo in the splitter
696         for shifts where the source and destination registers are different.
697
698 2006-01-18  Paul Brook  <paul@codesourcery.com>
699
700         Merge from csl-arm-branch.
701         2005-03-14  Julian Brown  <julian@codesourcery.com>
702         * config/arm/lib1funcs.asm (ashldi3): Don't define on SymbianOS.
703         (aeabi_llsl): Likewise.
704         (ashrdi3): Likewise.
705         (aeabi_lasr): Likewise.
706         (lshrdi3): Likewise.
707         (aeabi_llsr): Likewise. 
708         2005-03-10  Julian Brown  <julian@codesourcery.com>
709         * config.gcc: Disable shared libgcc for SymbianOS.
710         * config/arm/t-symbian (LIB2ADDEH): Include config/arm/pr-support.c.
711
712 2006-01-18  DJ Delorie  <dj@redhat.com>
713
714         * c-pragma.c (handle_pragma_diagnostic): New.
715         (init_pragma): Register it.
716         * doc/extend.texi: Document it.
717
718         * diagnostic.def: Add DK_UNSPECIFIED and DK_IGNORED.
719         * diagnostic.h (diagnostic_classify_diagnostic): Declare.
720         (diagnostic_context): Add classify_diagnostic[].
721         * diagnostic.c (diagnostic_count_diagnostic): Don't count warnings
722         as errors if they're overridden to DK_WARNING.
723         (diagnostic_initialize): Initialize classify_diagnostic[].
724         (diagnostic_set_kind_override): New.
725         (diagnostic_report_diagnostic): Check for kind changes.
726         * opts.c (common_handle_option): Take lang_mask.  Update callers.
727         Handle OPT_Werror_.
728         * common.opt (Werror=): New.
729         * doc/invoke.texi: Document -Werror=*
730
731 2006-01-18  Jeff Law  <law@redhat.com>
732
733         * tree-vrp.c (test_for_singularity): Correct test for new
734         min limit.  Use operand_equal_p rather than pointer equality
735         for testing if new min/max values are equal.
736
737         * tree-ssa-propagate.c (substitute_and_fold): Delay simplifications
738         using range information until after propagation and folding.
739
740 2006-01-18  Richard Henderson  <rth@redhat.com>
741             Aldy Hernandez  <aldyh@redhat.com>
742             Jakub Jelinek  <jakub@redhat.com>
743             Diego Novillo  <dnovillo@redhat.com>
744
745         * omp-low.c: New file.
746         * c-omp.c: New file.
747
748 2006-01-18  Richard Henderson  <rth@redhat.com>
749             Jakub Jelinek  <jakub@redhat.com>
750             Diego Novillo  <dnovillo@redhat.com>
751
752         * doc/invoke.texi: Document -fopenmp.
753         * tree-dump.h (debug_function): Declare.
754         * hooks.c (hook_bool_tree_bool_false): New function.
755         (hook_tree_tree_null): Remove.
756         (hook_tree_tree_tree_null): New.
757         * hooks.h: Update to match.
758         * tree-pretty-print.c (debug_tree_chain): New.
759         (print_generic_expr): Handle TDF_CHAIN.
760         (dump_generic_node): Handle BLOCK.
761         Do not abort with incomplete SWITCH_EXPRs.
762         Do not dump body of an OpenMP directive if TDF_SLIM is given.
763         <case OMP_PARALLEL, OMP_FOR, OMP_SECTIONS>: Don't
764         print space after directive name.
765         <OMP_FOR>: Handle printing OMP_FOR_PRE_BODY.
766         Handle OMP_MASTER and OMP_ORDERED.
767         Handle printing of OMP_BODY just in one place, goto
768         dump_omp_body in the rest of OMP_* nodes that have
769         OMP_BODY.
770         Don't handle clause nodes here.  Update omp statements to
771         use dump_omp_clauses.
772         Handle OMP_SINGLE, OMP_SECTIONS, OMP_SECTION,
773         OMP_CLAUSE_ORDERED, OMP_CLAUSE_SCHEDULE, OMP_ATOMIC,
774         OMP_CRITICAL, OMP_CLAUSE_NOWAIT, GOMP_CLAUSE_IF,
775         GOMP_CLAUSE_NUM_THREADS, GOMP_FOR, GOMP_CLAUSE_SHARED,
776         GOMP_CLAUSE_FIRSTPRIVATE, GOMP_CLAUSE_LASTPRIVATE,
777         GOMP_CLAUSE_COPYIN and GOMP_CLAUSE_COPYPRIVATE.
778         Adjust output for GOMP_PARALLEL.
779         (dump_omp_clauses): New.
780         (print_declaration): Dump DECL_VALUE_EXPR.
781         (op_symbol_1): Split out of op_symbol.
782         (dumping_stmts): Remove.  Update all users.
783         * cgraph.c (cgraph_analyze_queue): New.
784         (cgraph_add_new_function): New.
785         * cgraph.h (cgraph_analyze_queue): Declare.
786         (cgraph_add_new_function): Declare.
787         (cgraph_lower_function): Remove.
788         * tree.c (walk_tree): Walk OMP_CLAUSE_CHAIN of OMP_CLAUSE_*
789         nodes.  Use switch for all nodes, handle most of IS_EXPR_CODE_CLASS
790         and TYPE_P nodes in its default clause.
791         (empty_body_p): New.
792         (tree_range_check_failed): New.
793         (build5_stat): New.
794         * tree.h (OMP_CLAUSE_REDUCTION_INIT,
795         OMP_CLAUSE_REDUCTION_MERGE,
796         OMP_CLAUSE_REDUCTION_PLACEHOLDER,
797         OMP_CLAUSE_PRIVATE_DEBUG,
798         OMP_CLAUSE_LASTPRIVATE_FIRSTPRIVATE, OMP_FOR_PRE_BODY,
799         OMP_MASTER_BODY, OMP_ORDERED_BODY OMP_BODY,
800         OMP_CLAUSES, OMP_CLAUSE_DECL, OMP_CLAUSE_DEFAULT_KIND,
801         OMP_CLAUSE_CHAIN, OMP_CLAUSE_OUTER_DECL,
802         OMP_CLAUSE_INNER_DECL, OMP_CLAUSE_NUM_THREADS_EXPR,
803         OMP_CLAUSE_IF_EXPR, OMP_CLAUSE_SCHEDULE_CHUNK_EXPR,
804         OMP_CLAUSE_SCHEDULE_CHUNK_SIZE. OMP_PARALLEL_VAR_INIT,
805         OMP_PARALLEL_VAR_REDUC, OMP_FOR_VAR_INIT,
806         OMP_FOR_VAR_LAST, OMP_FOR_VAR_REDUC,
807         OMP_SECTIONS_VAR_INIT, OMP_SECTIONS_VAR_LAST,
808         OMP_SECTIONS_VAR_REDUC, OMP_CLAUSE_REDUCTION_CODE
809         OMP_SINGLE_CLAUSES, OMP_SINGLE_BODY,
810         OMP_CLAUSE_SCHEDULE_CHUNK_SIZE, OMP_SECTION_BODY,
811         OMP_CRITICAL_NAME, OMP_CRITICAL_BODY): New.
812         (TREE_RANGE_CHECK): New.
813         (empty_body_p): Declare.
814         (enum omp_clause_default_kind): New.
815         (build_string_literal): Declare.
816         (enum omp_clause_schedule_kind, OMP_CLAUSE_SCHEDULE_KIND): New.
817         (build5_stat, build5): Declare.
818         * tree-pass.h (TDF_CHAIN): Define.
819         * tree-pass.h (PROP_gimple_lomp): Define.
820         (pass_lower_omp): Declare.
821         * diagnostic.h (debug_tree_chain): Declare.
822         * builtins.c (get_builtin_sync_mode): Use 0 as last argument to
823         mode_for_size.
824         (expand_builtin): Handle sync BUILT_IN_*_16 builtins.
825         * builtins.c (build_string_literal): Make extern.
826         * gcc.c (include_spec_function): New.
827         (static_spec_functions): Add it.
828         (main): Move load of libgomp.spec ...
829         (LINK_COMMAND_SPEC): ... here.
830         (link_gomp_spec): New.
831         (static_specs): Include it.
832         (LINK_COMMAND_SPEC): Add link_gomp.
833         (GOMP_SELF_SPECS): New.
834         (driver_self_specs): Include it.
835         (switch_matches): Don't mark inline.
836         (main): Load libgomp.spec.
837         * tree-gimple.c (is_gimple_stmt): True for OMP_MASTER,
838         OMP_ORDERED, OMP_CRITICAL, OMP_SECTIONS, OMP_SECTION,
839         and OMP_SINGLE, OMP_FOR and OMP_PARALLEL.
840         * tree-gimple.h (enum omp_parallel): Declare.
841         (determine_parallel_type): Declare.
842         (omp_firstprivatize_variable): Declare.
843         (omp_reduction_init): Declare.
844         (diagnose_omp_structured_block_errors): Declare.
845         (struct walk_stmt_info): Add want_return_expr.
846         (struct walk_stmt_info): Add want_bind_expr, want_locations.
847         (find_omp_clause): Declare.
848         (insert_field_into_struct): Declare.
849         (struct walk_stmt_info): Move from tree-nested.c
850         (walk_stmts): Declare.
851         * c-cppbuiltin.c (c_cpp_builtins): If -fopenmp, #define _OPENMP
852         to 200505.
853         * cgraphunit.c (cgraph_lower_function): Make static.
854         (cgraph_finalize_pending_functions): New.
855         (cgraph_finalize_function): Call it.
856         (cgraph_finalize_compilation_unit): Likewise.
857         * builtin-types.def (BT_I16, BT_FN_I16_VPTR_I16,
858         BT_FN_BOOL_VPTR_I16_I16, BT_FN_I16_VPTR_I16_I16): Add.
859         (BT_FN_UINT_UINT): New.
860         (DEF_FUNCTION_TYPE_6, DEF_FUNCTION_TYPE_7,
861         DEF_FUNCTION_TYPE_VAR_4): Document.
862         (BT_PTR_LONG, BT_PTR_PTR, BT_FN_BOOL, BT_FN_INT,
863         BT_FN_VOID_PTRPTR, BT_PTR_FN_VOID_PTR,
864         BT_FN_BOOL_LONGPTR_LONGPTR, BT_FN_VOID_OMPFN_PTR_UINT,
865         BT_FN_VOID_OMPFN_PTR_UINT_UINT,
866         BT_FN_BOOL_LONG_LONG_LONG_LONGPTR_LONGPTR,
867         BT_FN_BOOL_LONG_LONG_LONG_LONG_LONGPTR_LONGPTR,
868         BT_FN_VOID_OMPFN_PTR_UINT_LONG_LONG_LONG,
869         BT_FN_VOID_OMPFN_PTR_UINT_LONG_LONG_LONG_LONG): New.
870         * builtins.def: Update DEF_BUILTIN comment to include COND argument.
871         Move all DEF_SYNC_BUILTIN () and DEF_GOMP_BUILTIN () builtins
872         into separate files.
873         (DEF_GOMP_BUILTIN): New.
874         (BUILT_IN_OMP_GET_THREAD_NUM, BUILT_IN_GOMP_BARRIER,
875         BUILT_IN_GOMP_CRITICAL_START, BUILT_IN_GOMP_CRITICAL_END,
876         BUILT_IN_GOMP_CRITICAL_NAME_START, BUILT_IN_GOMP_CRITICAL_NAME_END,
877         BUILT_IN_GOMP_LOOP_STATIC_START, BUILT_IN_GOMP_LOOP_DYNAMIC_START,
878         BUILT_IN_GOMP_LOOP_GUIDED_START, BUILT_IN_GOMP_LOOP_RUNTIME_START,
879         BUILT_IN_GOMP_LOOP_ORDERED_STATIC_START,
880         BUILT_IN_GOMP_LOOP_ORDERED_DYNAMIC_START,
881         BUILT_IN_GOMP_LOOP_ORDERED_GUIDED_START,
882         BUILT_IN_GOMP_LOOP_ORDERED_RUNTIME_START,
883         BUILT_IN_GOMP_LOOP_STATIC_NEXT, BUILT_IN_GOMP_LOOP_DYNAMIC_NEXT,
884         BUILT_IN_GOMP_LOOP_GUIDED_NEXT, BUILT_IN_GOMP_LOOP_RUNTIME_NEXT,
885         BUILT_IN_GOMP_LOOP_ORDERED_STATIC_NEXT,
886         BUILT_IN_GOMP_LOOP_ORDERED_DYNAMIC_NEXT,
887         BUILT_IN_GOMP_LOOP_ORDERED_GUIDED_NEXT,
888         BUILT_IN_GOMP_LOOP_ORDERED_RUNTIME_NEXT,
889         BUILT_IN_GOMP_PARALLEL_LOOP_STATIC_START,
890         BUILT_IN_GOMP_PARALLEL_LOOP_DYNAMIC_START,
891         BUILT_IN_GOMP_PARALLEL_LOOP_GUIDED_START,
892         BUILT_IN_GOMP_PARALLEL_LOOP_RUNTIME_START,
893         BUILT_IN_GOMP_LOOP_END, BUILT_IN_GOMP_LOOP_END_NOWAIT,
894         BUILT_IN_GOMP_ORDERED_START, BUILT_IN_GOMP_ORDERED_END,
895         BUILT_IN_GOMP_PARALLEL_START, BUILT_IN_GOMP_PARALLEL_END,
896         BUILT_IN_GOMP_SECTIONS_START, BUILT_IN_GOMP_SECTIONS_NEXT,
897         BUILT_IN_GOMP_PARALLEL_SECTIONS_START, BUILT_IN_GOMP_SECTIONS_END,
898         BUILT_IN_GOMP_SECTIONS_END_NOWAIT, BUILT_IN_GOMP_SINGLE_START,
899         BUILT_IN_GOMP_SINGLE_COPY_START, BUILT_IN_GOMP_SINGLE_COPY_END): New.
900         * sync-builtins.def: New file, moved from builtins.def.
901         * omp-builtins.def: New file, moved from builtins.def.
902         * c-objc-common.h (LANG_HOOKS_OMP_PREDETERMINED_SHARING): Redefine.
903         * gimple-low.c (lower_function_body): Clear data.
904         (lower_stmt): Do not handle COMPOUND_EXPR.
905         Remove call to print_node_brief.
906         * c-tree.h (c_finish_omp_clauses): New prototype.
907         (C_DECL_THREADPRIVATE_P): Define.
908         (lookup_name_no_remap, c_omp_remap_private): Remove
909         (c_begin_omp_parallel, c_finish_omp_parallel): Update.
910         (check_for_loop_decls): Update decl.
911         (lookup_name_no_remap, c_omp_remap_private): Declare.
912         (build_indirect_ref, build_modify_expr, pushdecl,
913         pushdecl_top_level): Move to c-common.h.
914         * dwarf2out.c (loc_descriptor_from_tree_1): Don't set unsignedp
915         before the switch, but just in the 2 places that need it.
916         * c-decl.c (diagnose_mismatched_decls): Do not check for
917         mismatched thread-local attributes when OLDDECL is marked
918         threadprivate and NEWDECL has no thread-local attributes.
919         (merge_decls): Merge C_DECL_THREADPRIVATE_P.
920         (c_gimple_diagnostics_recursively): Rename from
921         c_warn_unused_result_recursively.  Invoke
922         diagnose_omp_structured_block_errors.
923         (check_for_loop_decls): Return a singular decl found.
924         * langhooks.c (lhd_omp_predetermined_sharing): Return
925         OMP_CLAUSE_DEFAULT_SHARED for DECL_ARTIFICIAL decls.
926         (lhd_omp_firstprivatize_type_sizes): New.
927         (lhd_omp_assignment): New.
928         (lhd_omp_predetermined_sharing): New.
929         * langhooks.h (struct gimplify_omp_ctx): Forward declare.
930         (struct lang_hooks_for_types): Add
931         omp_firstprivatize_type_sizes, omp_privatize_by_reference,
932         omp_predetermined_sharing, omp_disregard_value_expr,
933         omp_private_debug_clause, omp_clause_default_ctor,
934         omp_clause_copy_ctor, omp_clause_assign_op, omp_clause_dtor.
935         (c_finish_omp_clauses): New.
936         (c_finish_bc_stmt): Diagnose break within omp for.
937         (c_begin_omp_parallel, c_finish_omp_parallel): New.
938         (build_unary_op): Return error_mark after reporting
939         a readonly_error.
940         (build_modify_expr): Likewise.
941         * gimplify.c: Include optabs.h and pointer-set.h.
942         (enum gimplify_omp_var_data): Declare.
943         (struct gimplify_omp_ctx): Declare.
944         (struct gimplify_ctx): Add fields prev_context, combined_pre_p
945         and combined_ctxp.
946         (gimplify_ctxp, gimplify_omp_ctxp): New local variables.
947         (push_gimplify_context, pop_gimplify_context): Allow nesting.
948         (splay_tree_compare_decl_uid): New.
949         (new_omp_context): New.
950         (delete_omp_context): New.
951         (gimple_add_tmp_var): Call omp_add_variable.
952         (gimplify_bind_expr): Likewise.
953         (gimplify_var_or_parm_decl): If omp_notice_variable returned
954         true, disregard DECL_VALUE_EXPR on the decl if any.
955         (gimplify_expr_in_ctx): New.
956         (omp_firstprivatize_variable, omp_firstprivatize_type_sizes
957         omp_add_variable, omp_notice_variable, omp_is_private
958         gimplify_scan_omp_clauses, gimplify_adjust_omp_clauses_1
959         gimplify_adjust_omp_clauses, gimplify_omp_parallel
960         gimplify_omp_for, gimplify_omp_workshare, goa_lhs_expr_p
961         gimplify_omp_atomic_fetch_op, goa_stabilize_expr
962         gimplify_omp_atomic_pipeline, gimplify_omp_atomic_mutex
963         gimplify_omp_atomic): New.
964         (gimplify_expr): Handle OMP_PARALLEL, OMP_FOR, OMP_SECTIONS,
965         OMP_SINGLE, OMP_SECTION, OMP_MASTER, OMP_ORDERED,
966         OMP_CRITICAL and OMP_ATOMIC.
967         (gimplify_body): Verify gimplify_ctxp is empty after gimplification.
968         * c-pragma.h (enum pragma_kind): Add
969         PRAGMA_OMP_ATOMIC, PRAGMA_OMP_BARRIER,
970         PRAGMA_OMP_CRITICAL, PRAGMA_OMP_FLUSH, PRAGMA_OMP_FOR,
971         PRAGMA_OMP_MASTER, PRAGMA_OMP_ORDERED,
972         PRAGMA_OMP_PARALLEL, PRAGMA_OMP_PARALLEL_FOR,
973         PRAGMA_OMP_PARALLEL_SECTIONS, PRAGMA_OMP_SECTION,
974         PRAGMA_OMP_SECTIONS, PRAGMA_OMP_SINGLE,
975         PRAGMA_OMP_THREADPRIVATE.
976         * tree.def (OMP_PARALLEL, OMP_FOR, OMP_SECTIONS,
977         OMP_SINGLE, OMP_SECTION, OMP_MASTER, OMP_ORDERED,
978         OMP_CRITICAL, OMP_ATOMIC, OMP_CLAUSE_PRIVATE,
979         OMP_CLAUSE_SHARED, OMP_CLAUSE_FIRSTPRIVATE,
980         OMP_CLAUSE_LASTPRIVATE, OMP_CLAUSE_REDUCTION,
981         OMP_CLAUSE_COPYIN, OMP_CLAUSE_COPYPRIVATE,
982         OMP_CLAUSE_IF, OMP_CLAUSE_NUM_THREADS,
983         OMP_CLAUSE_SCHEDULE, OMP_CLAUSE_NOWAIT,
984         OMP_CLAUSE_ORDERED, OMP_CLAUSE_DEFAULT): Define.
985         * print-tree.c (print_node): Dump DECL_VALUE_EXPR.
986         * tree-ssa-dce.c (find_control_dependence): Do not assume that
987         ENTRY_BLOCK_PTR->next_bb == single_succ (ENTRY_BLOCK_PTR).
988         * tree-nested.c (convert_call_expr): Call walk_body on OMP_BODY for
989         OpenMP directives.
990         (struct nesting_info): Add field_map,
991         suppress_expansion, debug_var_chain.
992         (create_nesting_tree): Initialize them.
993         (lookup_field_for_decl): Use field_map.
994         (get_nonlocal_debug_decl, get_local_debug_decl): New.
995         (convert_local_omp_clauses): New.
996         (finalize_nesting_tree_1): Add debug_var_chain to toplevel block.
997         (walk_body): Split out of walk_function.
998         (convert_nonlocal_omp_clauses, convert_local_omp_clauses): New.
999         (convert_nonlocal_reference): Handle omp statements.
1000         (convert_local_reference): Likewise.
1001         (unnest_nesting_tree_1): Split out of finalize_nesting_tree_1.
1002         (unnest_nesting_tree): New.
1003         (lower_nested_functions): Call it.
1004         (insert_field_into_struct): Make extern.
1005         (struct walk_stmt_info): Move to tree-gimple.h.
1006         (walk_stmts): Make extern.
1007         * omp-builtins.def: New file.
1008         * tree-iterator.c (expr_only): Clarify comment.
1009         * c-common.h (pushdecl_top_level, pushdecl,
1010         build_modify_expr, build_indirect_ref,
1011         c_finish_omp_master, c_finish_omp_critical,
1012         c_finish_omp_ordered, c_finish_omp_barrier,
1013         c_finish_omp_atomic, c_finish_omp_flush,
1014         c_finish_omp_for, c_split_parallel_clauses,
1015         omp_clause_default_kind, c_omp_sharing_predetermined,
1016         c_omp_remap_decl): Declare.
1017         * Makefile.in (BUILTINS_DEF): Add omp-builtins.def.
1018         (OBJS-common): Add omp-low.o.
1019         (c-omp.o, omp-low.o): Add.
1020         (gimplify.o): Add dependency on $(OPTABS_H).
1021         (GTFILES): Add omp-low.c.
1022         (gt-stringpool.h): Add.
1023         * tree-cfg.c (set_bb_for_stmt): Do not update the
1024         block-to-labels map if we are currently expanding to RTL.
1025         (tree_node_can_be_shared): Remove unnecessary CONSTANT_CLASS_P
1026         checks.
1027         Handle IDENTIFIER_NODE.
1028         (tree_verify_flow_info): Do not ICE when emitting error
1029         messages about invalid labels.
1030         (dump_function_to_file): Reset CFUN before emitting the body
1031         of the function.
1032         (debug_function): New.
1033         * passes.c (init_optimization_passes): Schedule
1034         pass_lower_omp.
1035         * langhooks-def.h (lhd_omp_predetermined_sharing,
1036         lhd_omp_assignment, lhd_omp_firstprivatize_type_sizes):
1037         Declare.
1038         (LANG_HOOKS_OMP_FIRSTPRIVATIZE_TYPE_SIZES): Define.
1039         (LANG_HOOKS_FOR_TYPES_INITIALIZER): Use it.
1040         (LANG_HOOKS_OMP_PRIVATIZE_BY_REFERENCE,
1041         LANG_HOOKS_OMP_PREDETERMINED_SHARING,
1042         LANG_HOOKS_OMP_DISREGARD_VALUE_EXPR,
1043         LANG_HOOKS_OMP_PRIVATE_DEBUG_CLAUSE,
1044         LANG_HOOKS_OMP_CLAUSE_DEFAULT_CTOR,
1045         LANG_HOOKS_OMP_CLAUSE_COPY_CTOR,
1046         LANG_HOOKS_OMP_CLAUSE_ASSIGN_OP,
1047         LANG_HOOKS_OMP_CLAUSE_DTOR): Define.
1048         (LANG_HOOK_DECLS): Use them.
1049
1050 2006-01-18  Dmitry Kurochkin <dmitry.kurochkin@gmail.com>
1051             Richard Henderson  <rth@redhat.com>
1052             Jakub Jelinek  <jakub@redhat.com>
1053             Diego Novillo  <dnovillo@redhat.com>
1054
1055         * c-parser.c (pragma_omp_clause): Define.
1056         (c_parser_declaration_or_fndef): Document OpenMP syntax.
1057         (c_parser_compound_statement): Likewise.
1058         (c_parser_statement): Likewise.
1059         (c_parser_pragma): Handle omp pragmas.
1060         (OMP_FOR_CLAUSE_MASK, OMP_SECTIONS_CLAUSE_MASK,
1061         OMP_PARALLEL_CLAUSE_MASK, OMP_SINGLE_CLAUSE_MASK): Define.
1062         (c_parser_omp_clause_name, check_no_duplicate_clause,
1063         c_parser_omp_variable_list,
1064         c_parser_omp_var_list_parens, c_parser_omp_clause_copyin,
1065         c_parser_omp_clause_copyprivate,
1066         c_parser_omp_clause_default,
1067         c_parser_omp_clause_firstprivate, c_parser_omp_clause_if,
1068         c_parser_omp_clause_lastprivate,
1069         c_parser_omp_clause_nowait,
1070         c_parser_omp_clause_num_threads,
1071         c_parser_omp_clause_ordered, c_parser_omp_clause_private,
1072         c_parser_omp_clause_reduction,
1073         c_parser_omp_clause_schedule, c_parser_omp_clause_shared,
1074         c_parser_omp_all_clauses, c_parser_omp_structured_block,
1075         c_parser_omp_atomic, c_parser_omp_barrier,
1076         c_parser_omp_critical, c_parser_omp_flush,
1077         c_parser_omp_for_loop, c_parser_omp_for,
1078         c_parser_omp_master, c_parser_omp_ordered,
1079         c_parser_omp_sections_scope, c_parser_omp_sections,
1080         c_parser_omp_parallel, c_parser_omp_single,
1081         c_parser_omp_construct, c_parser_omp_threadprivate): New.
1082         * c-pragma.c (init_pragma): Do omp pragma registration here.
1083         * c.opt (fopenmp): New flag.
1084
1085 2006-01-18  Eric Christopher  <echristo@apple.com>
1086
1087         * gcc.c (GOMP_SELF_SPECS): Bracket in #ifndef/#endif.
1088         * config/darwin.h (GOMP_SELF_SPECS): Define.
1089
1090 2006-01-18  Kazu Hirata  <kazu@codesourcery.com>
1091
1092         * rtl.h: Remove the prototype for reg_alloc.
1093
1094 2006-01-18  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
1095
1096         PR target/25731
1097         * config.gcc (hppa*-*-linux*, hppa[12]*-*-hpux10*, hppa*64*-*-hpux11*,
1098         hppa[12]*-*-hpux11*): Override default shared libgcc version for both
1099         sjlj and dwarf2 exception handling.
1100         * pa/t-hpux-shlib (SHLIB_SOVERSION): New make variable.
1101         Rework to allow overriding SHLIB_EXT and SHLIB_SOVERSION.
1102         * pa/pa.c (function_value): Treat complex and vector types as
1103         aggregates.
1104         (function_arg): Likewise.  Only pass scalar floats in the floating
1105         point argument registers.
1106         * pa/t-slibgcc-dwarf-ver: New file.
1107         * pa/t-slibgcc-sjlj-ver: New file.
1108         * pa/t-slibgcc-elf-ver: Delete file.
1109
1110 2006-01-19  Alan Modra  <amodra@bigpond.net.au>
1111
1112         * config/rs6000/rs6000.c (rs6000_assemble_integer): Correct
1113         unlikely_test_section_p test.
1114
1115 2006-01-18  Kazu Hirata  <kazu@codesourcery.com>
1116
1117         * mode-switching.c (optimize_mode_switching): Make it static.
1118         * basic-block.h: Remove the prototype for
1119         optimize_mode_switching.
1120
1121         * modulo-sched.c (sms_schedule): Make it static.
1122         * rtl.h: Remove the prototype for sms_schedule.
1123
1124         * postreload-gcse.c (gcse_after_reload_main): Make it static.
1125         * rtl.h: Remove the prototype for gcse_after_reload_main.
1126
1127         * reg-stack.c (reg_to_stack): Make it static.
1128         * rtl.h: Remove the prototype for reg_to_stack.
1129
1130         * regrename.c (regrename_optimize, copyprop_hardreg_forward):
1131         Make them static.
1132         * rtl.h: Remove the prototypes for regrename_optimize and
1133         copyprop_hardreg_forward.
1134
1135 2006-01-18  Eric Botcazou  <ebotcazou@adacore.com>
1136
1137         * config/alpha/alpha.c (alpha_split_tfmode_pair): Rename into
1138         alpha_split_tmode_pair.  Add 'mode' and 'fixup_overlap' arguments.
1139         Test against the appropriate null constant for the mode.
1140         If 'fixup_overlap' is true, swap the operands if they overlap.
1141         (alpha_split_tfmode_frobsign): Adjust call to alpha_split_tfmode_pair.
1142         * config/alpha/alpha-protos.h (alpha_split_tfmode_pair): Rename into
1143         alpha_split_tmode_pair and adjust for above change.
1144         * config/alpha/alpha.md (movtf_internal): Adjust call to
1145         alpha_split_tfmode_pair and rely on it to swap the operands.
1146         (movti_internal): New insn and post-reload splitter.
1147         (movti): New expander.
1148
1149 2006-01-18  Philippe De Muyter  <phdm@macqel.be>
1150
1151         * config/m68k/m68k.md (*addsi3_5200): Allow addq/subq to memory
1152         operands.
1153
1154 2006-01-18  Kazu Hirata  <kazu@codesourcery.com>
1155
1156         * rtlanal.c (global_reg_mentioned_p_1,
1157         global_reg_mentioned_p): Remove.
1158         * rtl.h: Remove the prototype for global_reg_mentioned_p.
1159
1160         * flow.c (initialize_uninitialized_subregs): Make it static.
1161         * rtl.h: Remove the prototype for
1162         initialize_uninitialized_subregs.
1163
1164         * function.c (instantiate_virtual_regs): Make it static.
1165         * function.h: Remove the prototype for
1166         instantiate_virtual_regs.
1167
1168         * regmove.c (regmove_optimize, combine_stack_adjustments):
1169         Make them static.
1170         * rtl.h: Remove the prototypes for regmove_optimize and
1171         combine_stack_adjustments.
1172
1173 2006-01-17  Roger Sayle  <roger@eyesopen.com>
1174
1175         * config/i386/i386.c (COSTS_N_BYTES): New macro.
1176         (size_cost): Encode costs in bytes so that a reg-reg addition is
1177         equivalent to COSTS_N_INSNS(1).
1178         (override_options): Use the size_cost.branch_cost as the default
1179         ix86_branch_cost when optimizing for size.
1180
1181 2006-01-18  Ben Elliston  <bje@au.ibm.com>      
1182
1183         * Makefile.in (D32PBIT_FUNCS): New.
1184         (D64PBIT_FUNCS, D128PBIT_FUNCS): Likewise.
1185         (libgcc.mk): Set D32PBIT, D64PBIT, D128PBIT, D32PBIT_FUNCS,
1186         D64PBIT_FUNCS and D128PBIT_FUNCS.
1187         (LIBGCC_DEPS): Include $(D32PBIT), $(D64PBIT), $(D128PBIT).
1188         * mklibgcc.in Bring in the DFP support code if D32PBIT, D64PBIT or
1189         D128PBIT are set.
1190         (decnumber_dep): Define.
1191         * doc/libgcc.texi (Decimal float library routines): New node.
1192         * config/dfp-bit.h, config/dfp-bit.c: New files.
1193
1194 2006-01-18  Ben Elliston  <bje@au.ibm.com>      
1195
1196         * expr.c (emit_move_change_mode): Always adjust addresses, not
1197         just during reload.  Copy replacements only during reload.
1198         (emit_move_insn_1): Move MODE_DECIMAL_FLOAT modes by invoking
1199         emit_move_via_integer.
1200
1201 2006-01-17  Shantonu Sen  <ssen@opendarwin.org>
1202
1203         * Makefile.in (check-%, check-consistency): Use $${srcdir}
1204         instead of $(srcdir) and ${srcdir}.
1205
1206 2006-01-17  Richard Earnshaw  <rearnsha@arm.com>
1207
1208         PR target/592
1209         PR middle-end/11135
1210         * arm.h (struct machine_function): Add pic_reg.
1211         * arm.c (arm_pic_register): Make unsigned.
1212         (arm_override_options): Only set arm_pic_register if
1213         TARGET_SINGLE_PIC_BASE.
1214         (use_return_insn): Only test for a pic register if it is fixed.
1215         (arm_compute_save_reg0_reg12_mask): Likewise.
1216         (thumb_compute_save_reg_mask): Likewise.
1217         (legitimate_pic_operand): Factor out some known invariants.
1218         (legitimize_pic_address): If we don't have a fixed pic register,
1219         then set up a pseudo in the function entry sequence.  Handle the
1220         pic base being in a pseudo.
1221         (arm_load_pic_register): Handle the pic register being in a pseudo.
1222         (arm_expand_prologue): Only set up the pic register if it is fixed.
1223         (thumb_expand_prologue): Likewise.
1224         * arm.md (pic_load_addr_based): Handle the pic base being a pseudo.
1225         (pic_load_addr_based_insn): Likewise.
1226         (builtin_setjmp_receiver): Don't restore the pic base if it isn't
1227         fixed.
1228
1229 2006-01-18  Ben Elliston  <bje@au.ibm.com>
1230
1231         * config/rs6000/rs6000.c (rs6000_hard_regno_mode_ok): Reject
1232         decimal float modes for all floating point registers.
1233
1234         * config/rs6000/predicates.md (reg_or_mem_operand): Pair up
1235         match_code "mem" with match_test "macho_lo_sum_memory_operand".
1236
1237 2006-01-17  Jakub Jelinek  <jakub@redhat.com>
1238
1239         PR c/25682
1240         * c-typeck.c (build_unary_op): Fold offsetof-like expressions
1241         even when the pointer is not NULL.
1242
1243 2006-01-16  Ian Lance Taylor  <ian@airs.com>
1244
1245         * common.opt (ftoplevel-reorder): New option.
1246         * cgraph.c (cgraph_asm_nodes): New global variable.
1247         (cgraph_asm_last_node): New static variable.
1248         (cgraph_order): New global variable.
1249         (cgraph_create_node): Set new order field.
1250         (cgraph_varpool_node): Likewise.
1251         (decide_is_variable_needed): Return true if not
1252         flag_toplevel_reorder.
1253         (cgraph_add_asm_node): New function.
1254         * cgraph.h (struct cgraph_node): Add order field.
1255         (struct cgraph_varpool_node): Add order field.
1256         (struct cgraph_asm_node): Define.
1257         (cgraph_asm_nodes, cgraph_order): Declare.
1258         (cgraph_add_asm_node): Declare.
1259         * cgraphunit.c (cgraph_varpool_assemble_decl): New static
1260         function.
1261         (cgraph_varpool_assemble_pending_decls): Call it.
1262         (cgraph_output_pending_asms): New static function.
1263         (cgraph_finalize_compilation_unit): Call it.
1264         (struct cgraph_order_sort): Define.
1265         (cgraph_output_in_order): New static function.
1266         (cgraph_optimize): Call cgraph_output_pending_asms.  Add code for
1267         !flag_toplevel_reorder case.
1268         * c-parser.c: Include "cgraph.h".
1269         (c_parser_asm_definition): Call cgraph_add_asm_node rather than
1270         assemble_asm.
1271         * Makefile.in (CRTSTUFF_CFLAGS): Use -fno-toplevel-reorder rather
1272         than -fno-unit-at-a-time.
1273         * doc/invoke.texi (Option Summary): Mention
1274         -fno-toplevel-reorder.
1275         (Optimize Options): Document -fno-toplevel-reorder.  Mention it in
1276         -funit-at-a-time documentation.
1277
1278 2006-01-17  Hans-Peter Nilsson  <hp@axis.com>
1279             Kazu Hirata  <kazu@codesourcery.com>
1280
1281         * Makefile.in (FUNCTION_H, LAMBDA_H): Use $(TREE_H), not tree.h.
1282
1283 2006-01-17  Kazu Hirata  <kazu@codesourcery.com>
1284
1285         * Makefile.in (FUNCTION_H): New.  Use it instead of
1286         function.h throughout the file.
1287         * function.h: Include tree.h.
1288
1289 2006-01-17  Ben Elliston  <bje@au.ibm.com>
1290
1291         * recog.c: Separate some functions with whitespace.
1292
1293 2006-01-16  Richard Henderson  <rth@redhat.com>
1294
1295         Merge from gomp branch:
1296         * Makefile.in (TREE_INLINE_H): New.  Use it as needed.
1297         * tree-inline.h (struct copy_body_data): Move from tree-inline.c
1298         and rename from struct inline_data.  Rename callee* to dst*; 
1299         caller* to src*; add copy_decl hook, transform_call_graph_edges,
1300         transform_new_cfg, transform_return_to_modify, and
1301         transform_lang_insert_block flags; remove cloning_p, versioning_p,
1302         update_clones_p.
1303         (copy_body_r, insert_decl_map, remap_decl, remap_type): Declare.
1304         (copy_decl_for_dup): Remove.
1305         * tree-inline.c (struct inline_data): Move to header.
1306         (insert_decl_map): Export.
1307         (remap_decl): Update for member name changes.  Use copy_decl hook.
1308         Allow for replacement to be a non-decl.  Remove dead code.
1309         (remap_type_1): Check for existing mapping.
1310         (remap_type): Export.
1311         (remap_decls): Update for member name changes.
1312         (remap_block, copy_bb, copy_cfg_body, copy_generic_body): Likewise.
1313         (copy_body, setup_one_parameter, declare_return_variable): Likewise.
1314         (expand_call_inline, optimize_inline_calls, clone_body): Likewise.
1315         (copy_tree_r, mark_local_for_remap_r, unsave_expr_now): Likewise.
1316         (tree_function_versioning, build_duplicate_type): Likewise.
1317         (copy_body_r): Likewise.  Export.
1318         (copy_decl_for_dup): Split into ...
1319         (copy_decl_for_dup_finish, copy_decl_to_var,
1320         copy_decl_no_change, copy_decl_maybe_to_var): ... these.
1321         (replace_ref_tree, inlining_p): Remove.
1322
1323 2006-01-16  Kazu Hirata  <kazu@codesourcery.com>
1324
1325         * ifcvt.c (if_convert): Make it static.
1326         * rtl.h: Remove the prototype for if_convert.
1327
1328         * local-alloc.c (local_alloc): Make it static.
1329         * rtl.h: Remove the prototype for local_alloc.
1330
1331         * loop.c (loop_optimize): Make it static.
1332         * cfgloop.h: Remove the prototype for loop_optimize.
1333         * rtl.h: Likewise.
1334
1335 2006-01-16  DJ Delorie  <dj@redhat.com>
1336
1337         * reload.c (reg_overlap_mentioned_for_reload_p): Handle subregs of
1338         mems.
1339
1340 2006-01-16  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
1341
1342         * pa.md: Disparage copies between general and floating-point registers
1343         in 32-bit move patterns.
1344
1345 2006-01-16  H.J. Lu  <hongjiu.lu@intel.com>
1346
1347         PR testsuite/25741
1348         * Makefile.in (check-%): Depend on site.exp instead of
1349         $(TESTSUITEDIR)/site.exp. Run "runtest" in separate language
1350         directories.
1351
1352 2006-01-16  Kazu Hirata  <kazu@codesourcery.com>
1353
1354         * global.c (global_alloc): Make it static.
1355         * rtl.h: Remove the prototype for global_alloc.
1356
1357 2006-01-16  Richard Guenther  <rguenther@suse.de>
1358
1359         * tree-ssa-alias.c (struct used_part): Add write_only field.
1360         (get_or_create_used_part_for): Initialize it to true.
1361         (create_overlap_variables_for): Don't create structure variables
1362         for structures that only are written to.
1363         (find_used_portions): Handle MODIFY_EXPR to track whether a
1364         structure is only written to.
1365
1366 2006-01-16  Kazu Hirata  <kazu@codesourcery.com>
1367
1368         * bb-reorder.c (partition_hot_cold_basic_blocks): Make it
1369         static.
1370         * basic-block.h: Remove the prototype for
1371         partition_hot_cold_basic_blocks.
1372
1373 2006-01-16  Rafael Ãƒvila de Espíndola <rafael.espindola@gmail.com>
1374
1375         * cppspec.c (lang_specific_spec_functions): remove
1376         * gcc.c (lookup_spec_function): use static_spec_functions directelly
1377         * gcc.h (lang_specific_spec_functions): remove
1378         * gccspec.c (lang_specific_spec_functions): remove
1379
1380 2005-01-16  Paolo Bonzini  <bonzini@gnu.org>
1381
1382         * combine.c (record_value_for_reg): Invalidate registers
1383         if INSN is null.
1384         (record_dead_and_set_regs_1): Likewise, by passing them to
1385         record_value_for_reg.
1386         (record_dead_and_set_regs): Invalidate stores made by a
1387         call.  We do not combine across a call, but we still
1388         relied on equivalences.
1389
1390 2006-01-16  Eric Botcazou  <ebotcazou@adacore.com>
1391
1392         * tree-vrp.c (extract_range_from_binary_expr): Cope with
1393         vrp_int_const_binop returning non-constant nodes.
1394
1395 2006-01-16  Paul Brook  <paul@codesourcery.com>
1396
1397         * config/m68k/m68k.c (output_move_const_into_data_reg):
1398         Output correct mnemonic for mvz and mvs.
1399
1400 2006-01-16  Gabor Loki  <loki@gcc.gnu.org>
1401
1402         * rtl-factoring.c: Add sequence abstraction algorithm.
1403         * cfgcleanup.c (outgoing_edges_match): Extra checks.
1404         (try_crossjump_to_edge): Avoid deleting preserve label when redirecting
1405         ABNORMAL edges.
1406         (block_has_preserve_label): New function.
1407         * common.opt: Register new pass.
1408         * Makefile.in: Ditto.
1409         * passes.c: Ditto.
1410         * timevar.def: Ditto.
1411         * tree-pass.h: Ditto.
1412         * emit-rtl.c (make_jump_insn_raw): Remove forward decl.
1413         * rtl.h (make_jump_insn_raw): Add forward decl.
1414         * doc/invoke.texi: Add documentation for -frtl-abstract-sequences.
1415
1416 2006-01-16  Eric Botcazou  <ebotcazou@adacore.com>
1417             Roger Sayle  <roger@eyesopen.com> 
1418
1419         * fold-const.c (fold_minmax): New static function.
1420         (fold_binary) <MIN_EXPR>: Call it.
1421         <MAX_EXPR>: Likewise.
1422         * stor-layout.c (place_field): Use DECL_SIZE consistently
1423         in the computation of the new record size.
1424
1425 2006-01-16  Kazu Hirata  <kazu@codesourcery.com>
1426
1427         * cse.c (cse_condition_code_reg): Make it static.
1428         * rtl.h: Remove the prototype for cse_condition_code_reg.
1429
1430         * combine.c (combine_instructions): Make it static.
1431         * rtl.h: Remove the prototype for combine_instructions.
1432
1433 2006-01-15  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
1434
1435         PR target/25168
1436         * tree.c (get_file_function_name_long): Concatenate the first global
1437         object name with a string derived from the input filename of the object
1438         for type "F".
1439
1440 2006-01-16  Ben Elliston  <bje@au.ibm.com>
1441
1442         * config/i386/winnt-stubs.c: Update FSF address.
1443         * config/xtensa/ieee754-df.S: Ditto.
1444         * config/xtensa/ieee754-sf.S: Ditto.
1445
1446 2006-01-14  Ian Lance Taylor  <ian@airs.com>
1447
1448         * ifcvt.c (noce_init_if_info): New static function, broken out of
1449         noce_process_if_block.
1450         (noce_process_if_block): Call noce_init_if_info.
1451         (check_cond_move_block): New static function.
1452         (cond_move_process_if_block): New static function.
1453         (process_if_block): Call cond_move_process_if_block.
1454
1455 2006-01-15  Kazu Hirata  <kazu@codesourcery.com>
1456
1457         * cselib.c (hash_table): Rename to cselib_hash_table.
1458         (cselib_clear_table, discard_useless_values,
1459         remove_useless_values, cselib_lookup_mem, cselib_lookup,
1460         cselib_init, cselib_finish): Adjust uses of hash_table.
1461
1462 2006-01-14  Kazu Hirata  <kazu@codesourcery.com>
1463
1464         PR tree-optimization/25485
1465         * tree-vrp.c (extract_range_from_binary_expr): Handle cases
1466         where one of the operands of TRUTH_AND_EXPR and TRUTH_OR_EXPR
1467         is known to be false and true, respectively.
1468
1469 2006-01-14  Richard Guenther  <rguenther@suse.de>
1470
1471         PR tree-optimization/22548
1472         PR tree-optimization/22555
1473         PR tree-optimization/22501
1474         * Makefile.in (tree-ssa-structalias.o): Depend on $(PARAMS_H).
1475         * params.def (salias-max-array-elements): New parameter.
1476         * params.h (SALIAS_MAX_ARRAY_ELEMENTS): Define.
1477         * doc/invoke.texi (salias-max-array-elements): Document.
1478         * tree-flow-inline.h (var_can_have_subvars): We also handle
1479         arrays now.
1480         * tree-ssa-alias.c (find_used_portions): Handle ARRAY_REF like
1481         COMPONENT_REF.
1482         * tree-ssa-structalias.c (params.h): Include.
1483         (push_fields_onto_fieldstack): Handle ARRAY_TYPE.
1484         (find_func_aliases): Handle multiple constraints from ARRAY_REF.
1485         (get_constraint_for): For ADDR_EXPR operating on something
1486         containing an ARRAY_REF, add all subvars to the solution.
1487         (handle_ptr_arith): Handle ARRAY_TYPE like RECORD_TYPE types.
1488         * tree-ssa-operands.c (parse_ssa_operands): Handle ARRAY_REF
1489         for creating MUST_DEFs.
1490         (get_expr_operands): Treat ARRAY_REF like COMPONENT_REF wrt subvars.
1491
1492 2006-01-14  Zdenek Dvorak <dvorakz@suse.cz>
1493
1494         * tree-ssa-loop-niter.c (number_of_iterations_cond): Split into several
1495         functions.
1496         (number_of_iterations_ne, number_of_iterations_lt_to_ne,
1497         assert_no_overflow_lt, assert_loop_rolls_lt, number_of_iterations_lt,
1498         number_of_iterations_le): New functions.
1499         (number_of_iterations_special): Removed.
1500         (number_of_iterations_exit): Do not use number_of_iterations_special.
1501         * tree.c (unsigned_type_for): Always return integer type.
1502
1503 2006-01-14  Steven Bosscher  <stevenb.gcc@gmail.com>
1504         Richard Guenther  <rguenther@suse.de>
1505
1506         PR rtl-optimization/24257
1507         * gcse.c (find_moveable_store): Only consider a store movable
1508         when the SET_SRC of the insn can be assigned to a register.
1509
1510 2006-01-14  Ian Lance Taylor  <ian@airs.com>
1511
1512         * tree.c (tree_not_class_check_failed): New function.
1513         * tree.h (NON_TYPE_CHECK): Call tree_not_class_check_failed.
1514         (tree_not_class_check_failed): Declare.
1515
1516 2006-01-13  Ian Lance Taylor  <ian@airs.com>
1517
1518         * reload1.c (do_output_reload): Add assertion rejecting a
1519         CALL_INSN.
1520
1521 2006-01-13  Adam Nemet  <anemet@caviumnetworks.com>
1522
1523         * combine.c (struct reg_stat): Add new fields truncation_label and
1524         truncated_to_mode.
1525         (record_value_for_reg): Reset truncated_to_mode.
1526         (record_truncated_value): New function.
1527         (check_promoted_subreg): Call it.  Rename to check_conversions.
1528         (combine_instructions): Rename check_promoted_subreg to
1529         check_conversions.
1530         (reg_truncated_to_mode): New function.
1531         (make_extraction): Use it.  Check TRULY_NOOP_TRUNCATION.
1532         (gen_lowpart_or_truncate): New function.
1533         (force_to_mode): Use it instead of gen_lowpart.
1534
1535 2006-01-13  Diego Novillo  <dnovillo@redhat.com>
1536
1537         * tree-ssa-alias.c (add_type_alias): Fix typo.  Test whether
1538         VAR is a tag, not its type tag.
1539
1540 2006-01-13  Alexandre Oliva  <aoliva@redhat.com>
1541
1542         * config/i386/sse.md (*vec_extractv2di_1_sse2): Reorder
1543         alternatives to match style of other entries.
1544         (*vec_extractv2di_1_sse): Likewise.  Fix mode attr.
1545
1546 2006-01-13  Daniel Berlin  <dberlin@dberlin.org>
1547
1548         PR tree-optimization/25771
1549         * tree-ssa-pre.c (insert_extra_phis): Don't insert merges of abnormal
1550         SSA_NAMES.
1551
1552 2006-01-13  Andrew Pinski  <pinskia@physics.uc.edu>
1553
1554         PR tree-opt/24365
1555         * tree-inline.c (declare_return_variable): If the return variable
1556         was marked as a non gimple complex, set the return slot variable
1557         to be a non gimple comple variable.
1558
1559 2006-01-13  Richard Guenther  <rguenther@suse.de>
1560
1561         * builtins.c (expand_builtin_sincos): New function.
1562         (expand_builtin_mathfn_3): Remove dead code, sin and cos
1563         do not set errno.
1564         (expand_builtin): Expand sincos using expand_builtin_sincos.
1565
1566 2006-01-12  DJ Delorie  <dj@redhat.com>
1567
1568         * config/m32c/shift.md: Rewrite: Allow arbitrary operands for
1569         shift counts, separate SI shifts for m32c vs m16c, pass shift type
1570         so that constant shifts can be split.
1571         * config/m32c/m32c.c (m32c_const_ok_for_constraint_p): Add In6.
1572         (m32c_valid_pointer_mode): Make static.
1573         (shift_gen_func_for): New.
1574         (m32c_prepare_shift): Use it.  Split large const shifts into
1575         multiple shifts.
1576         * config/m32c/predicates.md (shiftcount_operand): Allow more
1577         general operands.
1578         (longshiftcount_operand): New.
1579         * doc/md.texi (Machine Constraints): Document In6.
1580
1581 2006-01-13  Ben Elliston  <bje@au.ibm.com>
1582
1583         * doc/tm.texi (Data Output): Add REAL_VALUE_TO_TARGET_DECIMAL32,
1584         REAL_VALUE_TO_TARGET_DECIMAL64 and REAL_VALUE_TO_TARGET_DECIMAL128
1585         documentation.
1586
1587 2006-01-12  Daniel Berlin  <dberlin@dberlin.org>
1588
1589         * tree-ssa-operands.c (add_call_clobber_ops): Use SFT_PARENT_VAR
1590         to try to avoid clobbering pieces of structures when we know
1591         something about the whole structure.
1592         * tree-ssa-alias.c (create_sft): Set SFT_PARENT_VAR
1593
1594 2006-01-13  Ben Elliston  <bje@au.ibm.com>
1595
1596         * doc/rtl.texi (Insns): Remove statement that libcalls cannot
1597         return in memory, as this is no limitation is no longer present.
1598
1599 2006-01-12  DJ Delorie  <dj@redhat.com>
1600
1601         * config/m32c/addsub.md (addhi3): Add two more alternatives, for
1602         mova with fb, and for fb+0 -> An.
1603
1604         * config/m32c/mov.md (peephole2): Fix enabling logic.
1605
1606         * config/m32c/m32c.h (CTOR_LIST_BEGIN, CTOR_LIST_END,
1607         DTOR_LIST_BEGIN, DTOR_LIST_END, CTORS_SECTION_ASM_OP,
1608         DTORS_SECTION_ASM_OP, INIT_ARRAY_SECTION_ASM_OP,
1609         FINI_ARRAY_SECTION_ASM_OP): Define.
1610
1611         * config/m32c/m32c.c (m32c_legitimize_address): Remove temporary
1612         variable.
1613         (m32c_legitimize_reload_address): New logic to reload FB to An.
1614         (m32c_output_reg_push): Add newline.
1615         (m32c_output_reg_pop): Likewise.
1616
1617 2006-01-12  Ulrich Weigand  <uweigand@de.ibm.com>
1618
1619         * struct-equiv.c (find_dying_inputs): Fix off-by-one bug.
1620
1621 2006-01-11  Andrew Pinski  <pinskia@physics.uc.edu>
1622
1623         * config/i386/darwin.h (SUBTARGET_ENCODE_SECTION_INFO): Define.
1624
1625 2006-01-11  Kazu Hirata  <kazu@codesourcery.com>
1626
1627         * config/sh/predicates.md (sh_rep_vec): Add parallel to
1628         match_code.
1629
1630 2006-01-11  Ben Elliston  <bje@au.ibm.com>
1631
1632         * rtlanal.c (find_reg_note): Assert insn is not null.
1633
1634 2005-01-11  Kenneth Zadeck <zadeck@naturalbridge.com>
1635
1636         * df-scan.c (df_hard_reg_init): Move declaration of i outside
1637         ifdef.
1638
1639 2006-01-11  Jeff Law  <law@redhat.com>
1640
1641         * tree-ssa-threadupdate.c (threaded_edges): New VEC to
1642         hold edge pairs.
1643         (mark_threaded_blocks, register_jump_thread): New functions.
1644         (thread_through_all_blocks): Remove unwanted argument.  No
1645         longer rely on e->aux to communicate thread target info.
1646         Call mark_threaded_blocks.  Release the threaded_blocks
1647         bitmap and threaded_edges vector when complete.
1648         * tree-ssa-dom.c (struct edge_info): Remove redirection_target field.
1649         (threaded_blocks): Remove.
1650         (tree_ssa_dominator_optimize): Remove initialization and
1651         finalization of threaded_blocks.  Simplify call to
1652         thread_through_all_blocks.
1653         (thread_across_edge): Call register_jump_thread rather than
1654         storing thread information into e->aux.
1655         (free_all_edge_infos): Simplify now that e->aux is no longer
1656         used to communicate with thread_through_all_blocks.
1657         * tree-flow.h (thread_through_all_blocks): Update prototype.
1658         (register_jump_thread): Prototype.
1659         
1660 2006-01-11  Kazu Hirata  <kazu@codesourcery.com>
1661
1662         * df-core.c (df_compact_blocks, df_bb_replace): Use
1663         SET_BASIC_BLOCK instead of BASIC_BLOCK.
1664
1665 2006-01-11  Richard Guenther  <rguenther@suse.de>
1666
1667         PR tree-optimization/25734
1668         * tree-ssa-forwprop.c (forward_propagate_addr_expr_1): Do not
1669         stop propagation after successful propagation to the LHS.
1670
1671 2006-01-11  Kazu Hirata  <kazu@codesourcery.com>
1672
1673         * basic-block.h (control_flow_graph): Change the type of
1674         x_basic_block_info to VEC(basic_block,gc) *.
1675         (BASIC_BLOCK_FOR_FUNCTION, BASIC_BLOCK): Adjust the uses of
1676         basic_block_info.
1677         (SET_BASIC_BLOCK): New.
1678         * cfg.c (compact_blocks, expunge_block): Use SET_BASIC_BLOCK
1679         instead of BASIC_BLOCK when assigning to BASIC_BLOCK.
1680         * cfgbuild.c (find_basic_blocks): Likewise.
1681         * cfglayout.c (fixup_reorder_chain): Likewise.
1682         * cfgrtl.c (create_basic_block_structure,
1683         rtl_create_basic_block): Likewise.
1684         * ifcvt.c (find_if_case_1): Likewise.
1685         * tree-cfg.c (init_empty_tree_cfg, build_tree_cfg, create_bb):
1686         Likewise.
1687
1688 2005-01-11  Kenneth Zadeck <zadeck@naturalbridge.com>
1689
1690         * Makefile.in: Removed rotted odf.c entry.
1691         
1692 2006-01-11  Hans-Peter Nilsson  <hp@axis.com>
1693
1694         PR target/25706
1695         * config/cris/cris.md ("*extopqihi_side", "*extop<mode>si_side")
1696         ("*extop<mode>si_swap_side_biap", "*extop<mode>si_swap_side",
1697         ("*extopqihi", "*extop<mode>si", "*extop<mode>si_swap"): Use %E
1698         output pattern modifier, not %e.
1699         * config/cris/cris.c (cris_op_str): Update comment about pattern
1700         modifier.
1701         (cris_print_operand) <case 'e'>: Clear cris_output_insn_is_bound
1702         before falling through into...
1703         <case 'E'>: Redefined from old 'e' case.
1704
1705 2006-01-11  Jan Hubicka  <jh@suse.cz>
1706
1707         PR target/25042
1708         * i386.c (ix86_init_mmx_sse_builtins): Do not delcare float128
1709
1710 2006-01-11  Jan Hubicka  <jh@suse.cz>
1711
1712         * i386.h (TARGET_DECOMPOSE_LEA): Kill.
1713         * i386.c (x86_decompose_lea): Kill.
1714         (ix86_rtx_costs): Kill.
1715
1716 2006-01-11  Jan Hubicka  <jh@suse.cz>
1717
1718         * cgraph.c (cgraph_insert_node_to_hashtable): New function.
1719         * cgraph.h (cgraph_node): Add inline_decl.
1720         (cgraph_insert_node_to_hashtable): Declare.
1721         (save_inline_function_body): Declare.
1722         * cgraphunit.c (verify_cgraph_node): Inline edges might point to inline
1723         clones.
1724         (cgraph_preserve_function_body_p): Do not presrve when dump is enabled.
1725         (cgraph_function_versioning): Update call of tree_function_versioning.
1726         (save_inline_function_body): New function.
1727         * function.h (struct function): Kill saved_eh, saved_cfg, saved_args,
1728         saved_static_chain_decl, saved_blocks and saved-unexpanded_var_list.
1729         * ipa-inline.c (cgraph_mark_inline_edge): Look for inline clones.
1730         (cgraph_default_inline_p): Likewise.
1731         (cgraph_decide_inlining_incrementally): Likewise.
1732         * tree-inline.c (inline_data): Kill saving_p add update_clones_p.
1733         (copy_bb): Kill saving; do updating of clones.
1734         (copy_cfg_body): Kill saving.
1735         (initialize_inlined-parameters): Likewise.
1736         (expand_call_inline): Likewise.
1737         (save_body): Kill.
1738         (tree_function_versioning): New parameter "update_clones".
1739         (inlining_p): Kill saving.
1740         * tree-inline.h (tree_function_versioning): Update prototype.
1741         * tree-optimize.c (tree_rest_of_compilation): Use clonning instead of
1742         saving.
1743
1744 2006-01-11  Ian Lance Taylor <ian@airs.com>
1745
1746         * combine.c (struct undo): Remove is_int.  Enumify types of undos.
1747         Allow undoing set of machine mode.
1748         (do_SUBST): Use enums instead of is_int.
1749         (do_SUBST_MODE): New function.
1750         (SUBST_MODE): New macro.
1751         (try_combine): Use SUBST_MODE/PUT_MODE instead of generating a new
1752         reg and trying to replace reg_regno_rtx with a new register.
1753         (undo_all): Use new enums, handle undoing a PUT_MODE change.
1754         (simplify_set): Use SUBST_MODE.
1755         (distribute_notes): Remove code that tried to update reg notes
1756         for regno_reg_rtx changes.
1757
1758 2006-01-11  Paolo Bonzini  <bonzini@gnu.org>
1759
1760         PR tree-optimization/23109
1761         PR tree-optimization/23948
1762         PR tree-optimization/24123
1763
1764         * Makefile.in (tree-ssa-math-opts.o): Adjust dependencies.
1765         * tree-cfg.c (single_noncomplex_succ): New.
1766         * tree-flow.h (single_noncomplex_succ): Declare it.
1767         * tree-ssa-math-opts.c (enum place_reciprocal): Remove.
1768         * tree-ssa-math-opts.c (enum place_reciprocal): Remove.
1769         (struct occurrence, occ_head, occ_pool, is_divide_by, compute_merit,
1770         insert_bb, register_division_in, insert_reciprocals,
1771         replace_reciprocal, free_bb): New.
1772         (execute_cse_reciprocals_1): Rewritten.
1773         (execute_cse_reciprocals): Adjust calls to execute_cse_reciprocals_1.
1774         Do not commit any edge insertion.  Always compute dominators and
1775         create the allocation pool.
1776         * target-def.h (TARGET_MIN_DIVISIONS_FOR_RECIP_MUL): New.
1777         * target.h (struct gcc_target): Add min_divistions_for_recip_mul.
1778         * targhooks.c (default_min_divistions_for_recip_mul): New.
1779         * targhooks.h (default_min_divistions_for_recip_mul): New prototype.
1780         * passes.c (init_optimization_passes): Run recip after tree loop
1781         optimizations.
1782         * doc/tm.texi (Misc): Document TARGET_MIN_DIVISIONS_FOR_RECIP_MUL.
1783
1784 2005-01-11  Danny Berlin <dberlin@dberlin.org>
1785             Kenneth Zadeck <zadeck@naturalbridge.com>
1786
1787         * df.h (DF_SCAN, DF_RU, DF_RD, DF_LR, DF_UR, DF_UREC, DF_CHAIN,
1788         DF_RI, DF_LAST_PROBLEM_PLUS1, DF_DU_CHAIN, DF_UD_CHAIN,
1789         DF_REF_TYPE_NAMES, DF_HARD_REGS, DF_EQUIV_NOTES, DF_SUBREGS,
1790         DF_SCAN_BB_INFO, DF_RU_BB_INFO, DF_RD_BB_INFO, DF_LR_BB_INFO,
1791         DF_UR_BB_INFO, DF_UREC_BB_INFO, DF_LIVE_IN, DF_LIVE_OUT,
1792         DF_RA_LIVE_IN, DF_RA_LIVE_OUT, DF_UPWARD_LIVE_IN,
1793         DF_UPWARD_LIVE_OUT, DF_REF_REAL_REG, DF_REF_REGNO,
1794         DF_REF_REAL_LOC, DF_REF_REG, DF_REF_LOC, DF_REF_BB, DF_REF_BBNO,
1795         DF_REF_INSN, DF_REF_INSN_UID, DF_REF_TYPE, DF_REF_CHAIN,
1796         DF_REF_ID, DF_REF_FLAGS, DF_REF_NEXT_REG, DF_REF_PREV_REG,
1797         DF_REF_NEXT_REF, DF_REF_DATA, DF_REF_REG_DEF_P, DF_REF_REG_USE_P,
1798         DF_REF_REG_MEM_STORE_P, DF_REF_REG_MEM_LOAD_P, DF_REF_REG_MEM_P,
1799         DF_DEFS_SIZE, DF_DEFS_GET, DF_DEFS_SET, DF_USES_SIZE, DF_USES_GET,
1800         DF_USES_SET, DF_REG_SIZE, DF_REG_DEF_GET, DF_REG_DEF_SET,
1801         DF_REG_USE_GET, DF_REG_USE_SET, DF_REGNO_FIRST_DEF,
1802         DF_REGNO_LAST_USE, DF_INSN_SIZE, DF_INSN_GET, DF_INSN_SET,
1803         DF_INSN_CONTAINS_ASM, DF_INSN_LUID, DF_INSN_DEFS, DF_INSN_USES,
1804         DF_INSN_UID_GET, DF_INSN_UID_LUID, DF_INSN_UID_DEFS,
1805         DF_INSN_UID_USES, DF_SCAN_INITIAL, DF_SCAN_GLOBAL,
1806         DF_SCAN_POST_ALLOC): New macros.
1807         (df_flow_dir, df_ref_type, df_ref_flags, df_alloc_function,
1808         df_free_bb_function, df_local_compute_function, df_init_function,
1809         df_dataflow_function, df_confluence_function_0,
1810         df_confluence_function_n, df_transfer_function,
1811         df_finalizer_function, df_free_function, df_dump_problem_function,
1812         df_problem, dataflow, df_insn_info, df_reg_info, df_ref, df_link,
1813         df_ref_info, df, df_map, df_scan_bb_info, df_ru_bb_info,
1814         df_ru_bb_info, df_rd_bb_info, df_lr_bb_info, df_ur_bb_info,
1815         df_urec_bb_info, ) New types.
1816         (df_invalidated_by_call, df_all_hard_regs, df_state) New public
1817         variables.
1818         (df_init, df_add_problem, df_set_blocks, df_finish, df_analyze,
1819         df_analyze_simple_change_some_blocks,
1820         df_analyze_simple_change_one_block, df_compact_blocks,
1821         df_bb_replace, df_bb_regno_last_use_find,
1822         df_bb_regno_first_def_find, df_bb_regno_last_def_find,
1823         df_insn_regno_def_p, df_find_def, df_find_use,
1824         df_iterative_dataflow, df_dump, df_chain_dump, df_refs_chain_dump,
1825         df_regs_chain_dump, df_insn_debug, df_insn_debug_regno,
1826         df_regno_debug, df_ref_debug, debug_df_insn, debug_df_regno,
1827         debug_df_reg, debug_df_defno, debug_df_useno, debug_df_ref,
1828         debug_df_chain, df_get_dependent_problem, df_chain_create,
1829         df_chain_unlink, df_chain_copy, df_get_live_in, df_get_live_out,
1830         df_grow_bb_info, df_chain_dump, df_print_bb_index,
1831         df_ru_add_problem, df_ru_get_bb_info, df_rd_add_problem,
1832         df_rd_get_bb_info, df_lr_add_problem, df_lr_get_bb_info,
1833         df_ur_add_problem, df_ur_get_bb_info, df_urec_add_problem,
1834         df_urec_get_bb_info, df_chain_add_problem, df_ri_add_problem,
1835         df_reg_lifetime, df_scan_get_bb_info, df_scan_add_problem,
1836         df_rescan_blocks, df_ref_create, df_get_artificial_defs,
1837         df_get_artificial_uses, df_reg_chain_create, df_reg_chain_unlink,
1838         df_ref_remove, df_insn_refs_delete, df_refs_delete,
1839         df_reorganize_refs, df_set_state, df_hard_reg_init,
1840         df_read_modify_subreg_p) New public functions.
1841         * df-core.c: The core dataflow solver and glue routines for rtl
1842         dataflow.
1843         (df_init, df_add_problem, df_set_blocks, df_finish,
1844         df_hybrid_search_forward, df_hybrid_search_backward,
1845         df_iterative_dataflow, df_prune_to_subcfg, df_analyze_problem,
1846         df_analyze, df_get_bb_info, df_set_bb_info, df_bb_replace,
1847         df_bb_regno_last_use_find, df_bb_regno_first_def_find,
1848         df_bb_regno_last_def_find, df_insn_regno_def_p, df_find_def,
1849         df_reg_defined, df_find_use, df_reg_used, df_dump,
1850         df_refs_chain_dump, df_regs_chain_dump, df_insn_debug,
1851         df_insn_debug_regno, df_regno_debug, df_ref_debug, debug_df_insn,
1852         debug_df_reg, debug_df_regno, debug_df_ref debug_df_defno,
1853         debug_df_useno, reset_df_after_reload): New functions.
1854         * df-scan.c: The scanning fuctions, once in df.c, completely
1855         rewritten so that they now fully model the functionality of
1856         register usage at the backend.
1857         (df_scan_free_internal, df_scan_get_bb_info, df_scan_set_bb_info,
1858         df_scan_free_bb_info, df_scan_alloc, df_scan_free, df_scan_dump,
1859         df_scan_add_problem, df_grow_reg_info, df_grow_ref_info,
1860         df_grow_insn_info, df_rescan_blocks, df_ref_create,
1861         df_get_artificial_defs, df_get_artificial_uses,
1862         df_reg_chain_create, df_ref_unlink, df_reg_chain_unlink,
1863         df_ref_remove, df_insn_create_insn_record, df_insn_refs_delete,
1864         df_refs_delete, df_reorganize_refs, df_set_state,
1865         df_ref_create_structure, df_ref_record, df_read_modify_subreg_p,
1866         df_def_record_1, df_defs_record, df_uses_record,
1867         df_insn_contains_asm_1, df_insn_contains_asm, df_insn_refs_record,
1868         df_has_eh_preds, df_bb_refs_record, df_refs_record, df_mark_reg,
1869         df_record_exit_block_uses, df_hard_reg_init): New functions.
1870
1871         * df-problems.c: Seven concrete dataflow problems that use the
1872         scanning in df-scan.c and are solved by the engine in df-core.c.
1873         (df_get_dependent_problem, df_chain_create, df_chain_unlink,
1874         df_chain_copy, df_get_live_in, df_get_live_out, df_grow_bb_info,
1875         df_chain_dump, df_print_bb_index, df_ref_bitmap, df_set_seen,
1876         df_unset_seen, df_ru_get_bb_info, df_ru_set_bb_info,
1877         df_ru_free_bb_info, df_ru_alloc,
1878         df_ru_bb_local_compute_process_def,
1879         df_ru_bb_local_compute_process_use, df_ru_bb_local_compute,
1880         df_ru_local_compute, df_ru_init_solution, df_ru_confluence_n,
1881         df_ru_transfer_function, df_ru_free, df_ru_dump,
1882         df_ru_add_problem, df_rd_get_bb_info, df_rd_set_bb_info,
1883         df_rd_free_bb_info, df_rd_alloc,
1884         df_rd_bb_local_compute_process_def, df_rd_bb_local_compute,
1885         df_rd_local_compute, df_rd_init_solution, df_rd_confluence_n,
1886         df_rd_transfer_function, df_rd_free, df_rd_dump,
1887         df_rd_add_problem, df_lr_get_bb_info, df_lr_set_bb_info,
1888         df_lr_free_bb_info, df_lr_alloc, df_lr_bb_local_compute,
1889         df_lr_local_compute, df_lr_init, df_lr_confluence_0,
1890         df_lr_confluence_n, df_lr_transfer_function, df_lr_free,
1891         df_lr_dump, df_lr_add_problem, df_ur_get_bb_info,
1892         df_ur_set_bb_info, df_ur_free_bb_info, df_ur_alloc,
1893         df_ur_bb_local_compute, df_ur_local_compute, df_ur_init,
1894         df_ur_local_finalize, df_ur_confluence_n, df_ur_transfer_function,
1895         df_ur_free, df_ur_dump, df_ur_add_problem, df_urec_get_bb_info,
1896         df_urec_set_bb_info, df_urec_free_bb_info, df_urec_alloc,
1897         df_urec_mark_reg_change, df_urec_check_earlyclobber,
1898         df_urec_mark_reg_use_for_earlyclobber,
1899         df_urec_mark_reg_use_for_earlyclobber_1, df_urec_bb_local_compute,
1900         df_urec_local_compute, df_urec_init, df_urec_local_finalize,
1901         df_urec_confluence_n, df_urec_transfer_function, df_urec_free,
1902         df_urec_dump, df_urec_add_problem, df_chain_alloc,
1903         df_chain_create_bb_process_use, df_chain_create_bb,
1904         df_chain_finalize, df_chain_free, df_chains_dump,
1905         df_chain_add_problem, df_ri_alloc, df_ri_bb_compute,
1906         df_ri_compute, df_ri_free, df_ri_dump, df_ri_add_problem,
1907         df_reg_lifetime): New functions.
1908         * df.c: Deleted file.
1909         * ddg.c (create_ddg_dep_no_link, build_inter_loop_deps): Made code
1910         consistent with new df api.
1911         * modulo-sched.c (sms_schedule, rest_of_handle_sms,
1912         rest_of_handle_sms): Ditto.
1913         * web.c (unionfind_union, union_defs, entry_register, web_main):
1914         Ditto.
1915         * loop_invariant.c (invariant_for_use, hash_invariant_expr_1,
1916         invariant_expr_equal_p, find_defs, check_dependencies,
1917         find_invariant_insn, find_invariants_to_move, move_invariant_reg,
1918         free_inv_motion_data, move_loop_invariants): Ditto.
1919         * Makefile.in (df.c, df-scan.c df-problems.c df-core.c): 
1920         Update dependencies.
1921         (odf.c): Added defective entry that was deleted later in day.
1922         * sched-deps.c (sched_analyze_1): Ditto.
1923
1924 2006-01-11  Zdenek Dvorak <dvorakz@suse.cz>
1925
1926         * tree-ssa-operands.c (get_expr_operands): Record addressable
1927         variables directly.  Do not call add_stmt_operands for CONST_DECLs
1928         and ARRAY_DECLs.
1929         (get_indirect_ref_operands): Remove handling of *(&a + offset) case.
1930         (add_stmt_operands): Handle only objects satisfying SSA_VAR_P.
1931
1932 2006-01-11  Ben Elliston  <bje@au.ibm.com>
1933
1934         * config/i386/i386.c (ix86_return_in_memory): Fix comment: this
1935         function returns true in the positive case.
1936
1937 2006-01-10  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
1938
1939         PR target/20754
1940         * config/pa/pa.md: Create separate 32 and 64-bit move patterns
1941         for SI, DI, SF and DF modes.  Add alternatives to copy between
1942         general and floating point registers to the 32-bit patterns.
1943         * config/pa/pa-64.h (SECONDARY_MEMORY_NEEDED_RTX): Delete undefine.
1944         * config/pa/pa.h (SECONDARY_MEMORY_NEEDED_RTX): Delete define.
1945         (SECONDARY_MEMORY_NEEDED): Secondary memory is only needed when
1946         generating 64-bit code.
1947         * config/pa/pa.c (output_move_double): Handle copies between general
1948         and floating registers.
1949
1950 2006-01-10  Stuart Hastings  <stuart@apple.com>
1951
1952         * config/i386/i386.md (set_got): Update.
1953         (set_got_labelled): New.  (UNSPEC_LD_MPIC): New.
1954         (builtin_setjmp_receiver): Mach-O support.
1955         * config/i386/darwin.h (TARGET_ASM_FILE_END) Define.
1956         (GOT_SYMBOL_NAME): Define.
1957         (FORCE_PREFERRED_STACK_BOUNDARY_IN_MAIN): New.
1958         (TARGET_DEEP_BRANCH_PREDICTION): Remove.
1959         * config/i386/i386.c (override_options): Revise for Darwin.
1960         (USE_HIDDEN_LINKONCE): Enable for Mach-O.  (ix86_file_end): Mach-O
1961         support.  (darwin_x86_file_end): New.  (output_set_got): Add label
1962         parameter, revise for Mach-O.  (x86_output_mi_thunk): Likewise.
1963         * config/i386/i386-protos.h (output_set_got): Likewise.
1964         * config/darwin.c (machopic_legitimize_pic_address): Update
1965         regs_ever_live[].
1966
1967 2006-01-10  Kaz Kojima  <kkojima@gcc.gnu.org>
1968
1969         * config/sh/sh.h (SH5_WOULD_BE_PARTIAL_NREGS): Use GET_MODE_SIZE
1970         when MODE isn't BLKmode.
1971
1972 2006-01-10  Eric Botcazou  <ebotcazou@libertysurf.fr>
1973
1974         PR rtl-optimization/25367
1975         * config/sparc/sparc.h (HARD_REGNO_RENAME_OK): New macro.
1976
1977 2006-01-10  Hans-Peter Nilsson  <hp@axis.com>
1978
1979         PR target/25718
1980         * config/cris/cris.md ("uminsi3"): Don't use 8- or 16-bit sizes
1981         for a negative bound.
1982
1983 2006-01-10  Richard Guenther  <rguenther@suse.de>
1984
1985         * tree-ssa-structalias.c (get_constraint_for_component_ref):
1986         Never override with anything constraint.
1987
1988 2006-01-10  Jan Beulich  <jbeulich@novell.com>
1989
1990         * config/i386/i386.c (ix86_data_alignment): Don't force alignment to
1991         256 bits when optimize_size.
1992
1993 2006-01-10  Jan Beulich  <jbeulich@novell.com>
1994
1995         * config/i386/netware.h (TARGET_SUBTARGET_DEFAULT): Include
1996         MASK_ALIGN_DOUBLE.
1997         * config/i386/nwld.h (LINK_SPEC): Add --extensions:GNU option.
1998         * config/i386/t-nwld (SHLIB_LINK): Insert spaces between expr
1999         arguments.
2000
2001 2006-01-10  Ben Elliston  <bje@au.ibm.com>
2002
2003         * config/rs6000/predicates.md (easy_fp_constant): Discount decimal
2004         float modes.
2005         * config/rs6000/rs6000.c (rs6000_scalar_mode_supported_p): New.
2006         (TARGET_SCALAR_MODE_SUPPORTED_P): Define.
2007         (USE_FP_FOR_ARG): Reject decimal float modes.
2008         (function_arg_advance): Likewise.
2009         (output_toc): Handle emitting TDmode, DDmode and SDmode constants.
2010         (rs6000_handle_altivec_attribute): Do not permit decimal floating
2011         point types in AltiVec vectors.
2012         (rs6000_function_value): Use GP_ARG_RETURN for decimal floats.
2013         (rs6000_libcall_value): Likewise.
2014
2015 2006-01-09  Bob Wilson  <bob.wilson@acm.org>
2016
2017         * config/xtensa/ieee754-df.S: New file.
2018         * config/xtensa/ieee754-sf.S: New file.
2019         * config/xtensa/t-xtensa (LIB2FUNCS_EXTRA): Remove fp-bit.c & dp-bit.c.
2020         (LIB1ASMFUNCS): Add SFmode and DFmode floating-point functions.
2021         * config/xtensa/lib1funcs.asm: Include ieee754-df.S and ieee754-sf.S.
2022
2023 2006-01-09  Kazu Hirata  <kazu@codesourcery.com>
2024
2025         * config/sh/predicates.md (binary_float_operator,
2026         binary_logical_operator, commutative_float_operator,
2027         equality_comparison_operator, greater_comparison_operator,
2028         less_comparison_operator, logical_operator,
2029         noncommutative_float_operator, shift_operator,
2030         symbol_ref_operand, unary_float_operator): Remove redundant
2031         conditionals.
2032
2033 2006-01-09  Jeff Law  <law@redhat.com>
2034
2035         * tree-ssa-dom.c (simplify_cond_and_lookup_avail_expr): Remove
2036         code to propagate the RHS of a cast into COND_EXPR_COND.  Remove
2037         now unused arguments.  Callers updated.
2038         (eliminate_redundant_computations): Remove now unused arguments,
2039         callers updated.
2040         (local_fold): Remove, no longer used.
2041         (find_equivalent_equality_comparison): Removed from tree-ssa-dom.c
2042         and moved to...
2043         * tree-ssa-forwprop.c (find_equivalent_equality_comparison): Here.
2044         (simplify_cond): New function.
2045         (forward_propagate_into_cond): Call simplify_cond.
2046
2047 2006-01-09  Alexandre Oliva  <aoliva@redhat.com>
2048
2049         * config/i386/sse.md (*vec_extractv2di_1_sse2): New.
2050         (*vec_extractv2di_1_sse): New.
2051
2052 2006-01-09  Ben Elliston  <bje@au.ibm.com>
2053
2054         * config/rs6000/rs6000.h (GO_IF_LEGITIMATE_ADDRESS): Typo fix.
2055
2056 2006-01-08  Richard Guenther  <rguenther@suse.de>
2057
2058         * tree-ssa-structalias.c (get_constraint_for): Remove
2059         anyoffset argument.
2060         (get_constraint_for_component_ref): Likewise.
2061         (do_deref): Likewise.
2062         (get_constraint_for): Likewise.
2063         (do_structure_copy): Likewise.
2064         (handle_ptr_arith): Likewise.
2065         (find_func_aliases): Likewise.  Remove unused need_anyoffset
2066         variable.
2067
2068 2006-01-08  J"orn Rennecke  <joern.rennecke@st.com>
2069             Kaz Kojima  <kkojima@gcc.gnu.org>
2070
2071         * config/sh/sh.h (CONST_OK_FOR_K16): Define.
2072         (CONST_OK_FOR_K): Add CONST_OK_FOR_K16 case.
2073         (EXTRA_CONSTRAINT_C16): Remove.
2074         (EXTRA_CONSTRAINT_Css, EXTRA_CONSTRAINT_Csu): Define.
2075         (EXTRA_CONSTRAINT_C): Remove EXTRA_CONSTRAINT_C16 case and add
2076         EXTRA_CONSTRAINT_Css and EXTRA_CONSTRAINT_Csu cases.
2077         * config/sh/sh.c (print_operand): Handle unsigned 16-bit symbolic
2078         constants of SHmedia.  Handle nested constant expressions of
2079         SHmedia correctly.
2080         (andcosts): Fix the costs for SHmedia constants.
2081         (sh_rtx_costs): Take account of outer_code for SHmedia constants.
2082         * config/sh/sh.md (*movsi_media): Use Css constraint instead of C16.
2083         (*movsi_media_nofpu, *movqi_media, *movhi_media): Likewise.
2084         (*movdi_media, *movdi_media_nofpu, movv8qi_i, movv2hi_i): Likewise.
2085         (movv4hi_i, movv2si_i): Likewise.
2086         (movsi_const): Adjust the second operand of ior so to match with
2087         the Csu constraint.
2088         (movdi_const, movdi_const_32bit): Likewise.
2089         (movdi_const_16bit+1): Don't sign-extend LOW.
2090         (movdi_const_16bit+2): Likewise.  Remove the zero_extend and truncate
2091         step.
2092         (*double_shori): Fix the split condition.  Use GEN_INT instead
2093         of get_int_mode calls.  Mask lower 16-bit of the argument of
2094         the last GEN_INT.
2095         (sym2GOTPLT): Remove.
2096         (symGOTPLT2reg): Replace gen_sym2GOTPLT with gen_rtx_CONST and
2097         gen_rtx_UNSPEC.
2098         * config/sh/predicates.md (arith_operand): Use EXTRA_CONSTRAINT_Css
2099         instead of EXTRA_CONSTRAINT_C16.
2100
2101 2006-01-07  Ian Lance Taylor  <ian@airs.com>
2102             David Edelsohn  <edelsohn@gnu.org>
2103
2104         PR rtl-optimization/25662
2105         * optabs.c (simplify_expand_binop): Use simplify_binary_operation
2106         for constant operands instead of simplify_gen_binary.
2107         * simplify-rtx.c (simplify_gen_binary): Swap commutative operands
2108         after trying simplify_binary_operation
2109
2110 2006-01-06  Daniel Berlin  <dberlin@dberlin.org>
2111
2112         * tree.c (iterative_hash_expr): Hash decls based on UID.
2113
2114 2006-01-06  Eric Christopher  <echristo@apple.com>
2115
2116         * doc/tm.texi (TARGET_ASM_EMIT_EXCEPT_TABLE_LABEL): Document.
2117         (TARGET_UNWIND_EMIT): Fix spelling.
2118         * target.h (gcc_target): Add except_table_label.
2119         * except.c (output_function_exception_table): Use.
2120         * varasm.c (default_emit_except_table_label): New.
2121         * target-def.h (TARGET_ASM_EMIT_EXCEPT_TABLE_LABEL): New default
2122         define.
2123         (asm_out): Add here.
2124         * output.h (default_emit_except_table_label): Prototype.
2125         * config/darwin-protos.h (darwin_emit_except_table_label): Ditto.
2126         * config/darwin.c (darwin_emit_except_table_label): Define.
2127         * config/darwin.h (TARGET_ASM_EMIT_EXCEPT_TABLE): Ditto.
2128
2129 2006-01-06  Zdenek Dvorak <dvorakz@suse.cz>
2130
2131         PR tree-optimization/18527
2132         * tree-ssa-loop-niter.c (number_of_iterations_cond,
2133         number_of_iterations_special, number_of_iterations_exit):
2134         Move base and step of an iv to a single structure.  Add
2135         no_overflow flag, and use it in # of iterations analysis.
2136         * tree-scalar-evolution.c (analyze_scalar_evolution_in_loop): Add
2137         folded_casts argument.
2138         (simple_iv): Pass base and step in a structure.  Set no_overflow
2139         flag.
2140         (scev_const_prop): Add argument to analyze_scalar_evolution_in_loop.
2141         Evaluate expensiveness of computing # of iterations instead of
2142         the final expression.
2143         * tree-scalar-evolution.h (affine_iv): New structure.
2144         (simple_iv): Declaration changed.
2145         * tree-chrec.c (chrec_apply): Handle chrecs containing symbols.
2146         * tree-ssa-loop-ivopts.c (determine_biv_step, find_givs_in_stmt_scev,
2147         find_givs_in_stmt): Changed due to simple_iv change.
2148
2149 2006-01-06  Jeff Law  <law@redhat.com>
2150
2151         PR ada/24994
2152         * tree-cfg.c (bsi_replace): Rename final argument from
2153         PRESERVE_EH_INFO to UPDATE_EH_INFO.  Fix typo in last
2154         change (stmt -> orig_stmt).
2155         * tree-eh.c (verify_eh_throw_stmt_node): New function.
2156         (bsi_remove): Add new argument.  Remove EH information
2157         if requested.
2158         (verify_eh_throw_table_statements): New function.
2159         (bsi_remove): Add new argument REMOVE_EH_INFO.  All callers
2160         updated.
2161         * tree-optimize.c (execute_free_cfg_annotations): Verify
2162         the EH throw statement table after removing annotations.
2163         * except.h (verify_eh_throw_table_statements): Prototype.
2164         * tree-flow.h (bsi_remove): Update prototype.
2165         * tree-vrp.c (remove_range_assertions): Add new argument to
2166         bsi_remove call.
2167         * tree-ssa-loop-im.c (move_computations_stmt): Likewise.
2168         * tree-complex.c (expand_complex_div_wide): Likewise.
2169         * tree-ssa-threadupdate.c (remove_ctrl_stmt_and_useless_edges): Likewise
2170         * tree-tailcall.c (eliminate_tailcall): Likewise.
2171         * tree-ssa-dse.c (dse_optimize_stmt): Likewise.
2172         * tree-ssa-loop-ivopts.c (remove_statement): Likewise.
2173         * tree-nrv.c (tree_nrv): Likewise.
2174         * tree-vectorizer.c (slpeel_make_loop_iterate_ntimes): Likewise.
2175         * tree-if-conv.c (tree_if_convert_cond_expr): Likewise.
2176         (combine_blocks): Likewise.
2177         * tree-ssa-phiopt.c (replace_phi_edge_with_variable): Likewise.
2178         * tree-cfgcleanup.c (cleanup_ctrl_expr_graph): Likewise.
2179         (cleanup_control_flow): Likewise.
2180         (remove_forwarder_block): Likewise.
2181         * tree-ssa-pre.c (remove_dead_inserted_code): Likewise.
2182         * tree-sra.c (sra_replace): Likewise.
2183         * tree-ssa-forwprop.c (forward_propagate_into_cond): Likewise.
2184         (forward_propagate_single_use_vars): Likewise.
2185         * tree-ssa-dce.c (remove_dead_stmt): Likewise.
2186         * tree-inline.c (expand_call_inline): Likewise.
2187         * tree-vect-transform.c (vect_transform_loop): Likewise.
2188         * tree-outof-ssa.c (rewrite_trees): Likewise.
2189         * tree-cfg.c (make_goto_expr_edges): Likewise.
2190         (cleanup_dead_labels): Likewise.
2191         (tree_merge_blocks, remove_bb, disband_implicit_edges): Likewise.
2192         (bsi_move_before, bsi_move_after): Likewise.
2193         (bsi_move_to_bb_end, try_redirect_by_replacing_jump): Likewise
2194         (tree_redirect_edge_and_branch, tree_split_block): Likewise.
2195
2196 2006-01-06  Andrew Pinski  <pinskia@physics.uc.edu>
2197
2198         PR tree-opt/25528
2199         * tree-ssa-alias.c (find_used_portions): Handle REALPART_EXPR
2200         and IMAGPART_EXPR.
2201         * tree-flow-inline.h (var_can_have_subvars): Handle complex types
2202         on non gimple variables.  Also add checks at the top for decls and
2203         mtags.
2204         * tree-ssa-structalias.c (push_fields_onto_fieldstack): Handle
2205         complex types.
2206         * tree-ssa-operands.c (parse_ssa_operands): Handle REALPART_EXPR
2207         and IMAGPART_EXPR for creating MUST_DEFs.
2208         (get_expr_operands): Handle SSA_NAME, STRUCT_FIELD_TAG, TYPE_MEMORY_TAG,
2209         and NAME_MEMORY_TAG separately from the DECLs.
2210
2211 2006-01-06  Richard Guenther  <rguenther@suse.de>
2212
2213         * tree-dfa.c (mark_new_vars_to_rename): Create stmt
2214         annotation, if necessary.
2215         * tree-ssa-pre.c (create_expression_by_pieces): Remove
2216         redundant calls to update_stmt.
2217         * tree-ssa-forwprop.c (tidy_after_forward_propagate_addr):
2218         Likewise.
2219
2220 2006-01-05  Richard Henderson  <rth@redhat.com>
2221
2222         * c-parser.c (c_parser_objc_methodprotolist): Handle CPP_PRAGMA.
2223
2224 2006-01-05  Carlos O'Donell  <carlos@codesourcery.com>
2225
2226         * c-typeck.c: Update copyright date.
2227
2228 2006-01-05  Carlos O'Donell  <carlos@codesourcery.com>
2229
2230         * c-typeck.c (build_c_cast): Always warn when casting
2231         from a pointer to an integer of different size, even if
2232         the node was constant.
2233
2234 2006-01-05  Richard Guenther  <rguenther@suse.de>
2235
2236         PR tree-optimization/22555
2237         * tree-ssa-alias.c (create_overlap_variables_for): Do not give up,
2238         if one structure field is an array.
2239         * tree-ssa-operands.c (get_expr_operands): Continue scanning
2240         operands even if we found a subvar, but ignore VOPs in this
2241         case.
2242         * tree-ssa-loop-ivopts.c (rewrite_use): Mark new vars in stmt
2243         for renaming.
2244         * tree-ssa-loop.c (pass_iv_optimize): Schedule TODO_update_ssa.
2245
2246 2006-01-05  Richard Earnshaw  <rearnsha@arm.com>
2247
2248         PR middle-end/24998
2249         * arm/t-netbsd (LIB2FUNCS_EXTRA): Define.
2250
2251 2006-01-05  Richard Guenther  <rguenther@suse.de>
2252             Diego Novillo  <dnovillo@redhat.com>
2253
2254         * tree-pass.h (TODO_remove_unused_locals): Define.
2255         * gimple-low.c (expand_var_p, remove_useless_vars,
2256         pass_remove_useless_vars): Remove.  Update all users.
2257         * tree-ssa-live.c (mark_all_vars_used_1): Handle SSA names.
2258         (remove_unused_locals): New function.
2259         * tree-flow.h (remove_unused_locals): Declare.
2260         * passes.c (execute_todo): Call remove_unused_locals if
2261         TODO_remove_unused_locals is set.
2262         * tree-into-ssa.c (pass_build_ssa): Add TODO_remove_unused_locals.
2263         * tree-ssa-dce.c (pass_dce): Likewise.
2264         * tree-outof-ssa.c (pass_del_ssa): Likewise.
2265
2266 2006-01-05  Richard Guenther  <rguenther@suse.de>
2267
2268         * tree-flow.h (struct fieldoff): Decompose field to
2269         type, size and decl.
2270         * tree-ssa-alias.c (create_sft): Take type as parameter.
2271         (create_overlap_variables_for): Store type, size and decl
2272         in the fieldoff structure.
2273         * tree-ssa-structalias.c (fieldoff_compare): Adjust users
2274         of struct fieldoff.
2275         (push_fields_onto_fieldstack): Likewise.
2276         (create_variable_info_for): Likewise.  Use offset for the
2277         SFT name if the decl is not available.
2278
2279 2006-01-04  Paul Brook  <paul@codesourcery.com>
2280
2281         * config/m68k/m68k.c (m68k_output_mi_thunk): Use jmp, not jsr.
2282
2283 2006-01-04  Daniel Berlin  <dberlin@dberlin.org>
2284
2285         * lambda-code.c (can_put_in_inner_loop): Relax
2286         restrictions.
2287         (can_put_after_inner_loop): New function.
2288         (can_convert_to_perfect_nest): Use can_put_after_inner_loop as well.
2289         (perfect_nestify): Change to make copies and modify uses.
2290
2291 2006-01-04  Richard Henderson  <rth@redhat.com>
2292
2293         Merge from gomp branch:
2294         * c-lex.c (c_lex_with_flags) <CPP_PRAGMA>: Smuggle pragma id
2295         via integer constant.
2296         (pragma_lex): Remove.
2297         * c-pch.c (c_common_pch_pragma): Accept the name as an argument,
2298         rather than parsing it.
2299         * c-pragma.c (handle_pragma_weak, handle_pragma_redefine_extname,
2300         handle_pragma_extern_prefix): Add %< %> quotes.
2301         (registered_pragmas): New.
2302         (c_register_pragma_1): New.
2303         (c_register_pragma): Use it.
2304         (c_register_pragma_with_expansion): Likewise.
2305         (c_invoke_pragma_handler): New.
2306         (init_pragma): Use cpp_register_deferred_pragma directly for
2307         pch_preprocess.
2308         * c-pragma.h (enum pragma_kind): New.
2309         (pragma_handler): New.
2310         (c_invoke_pragma_handler): Declare.
2311         * c-common.c (c_parse_error): Pretty print CPP_PRAGMA and
2312         CPP_PRAGMA_EOL.
2313         * c-common.h (c_common_pch_pragma): Update decl.
2314         * Makefile.in (c-parser.o): Update dependencies.
2315         (GTFILES): Add c-pragma.h.
2316         * c-parser.c (struct c_token): Add pragma_kind.
2317         (struct c_parser): Add in_pragma.
2318         (c_lex_one_token): Always initialize keyword and pragma_kind.
2319         Extract data for CPP_PRAGMA.
2320         (c_parser_peek_2nd_token): Deny CPP_PRAGMA_EOL.
2321         (c_parser_consume_token): Don't allow CPP_PRAGMA unless errors.
2322         Don't allow CPP_PRAGMA_EOL if in_pragma.
2323         (c_parser_consume_pragma): New.
2324         (c_parser_skip_until_found): Stop on CPP_PRAGMA_EOL.
2325         (c_parser_skip_to_end_of_parameter): Likewise.
2326         (c_parser_skip_to_end_of_block_or_statement): Likewise.
2327         (c_parser_skip_to_pragma_eol): New.
2328         (c_parser_external_declaration): Handle CPP_PRAGMA.
2329         (c_parser_compound_statement_nostart): Likewise.
2330         (c_parser_statement_after_labels): Likewise.
2331         (c_parser_pragma): New.
2332         (pragma_lex): Likewise.
2333         (c_parser_pragma_pch_preprocess): New.
2334         (c_parser_new): Merge into ...
2335         (c_parse_file): ... here.  Call c_parser_pragma_pch_preprocess.
2336
2337 2006-01-04  Jeff Law  <law@redhat.com>
2338
2339         PR ada/24994
2340         * tree-cfg.c (bsi_replace): Remove the original statement
2341         from the EH throw statement table.
2342
2343 2006-01-04  Jakub Jelinek  <jakub@redhat.com>
2344
2345         * config/i386/pmm_malloc.h (posix_memalign): If __cplusplus,
2346         make the prototype extern "C" and add throw ().
2347
2348         PR target/25554
2349         * config/i386/i386.md (testqi_ext_3): Ensure len is positive
2350         and pos non-negative and pos + len <= 32.
2351         (testqi_ext_3_rex64): Ensure len is positive and pos non-negative,
2352         drop pos + len < HOST_BITS_PER_WIDE_INT test.
2353         (testqi_ext_3* splitter): Handle pos + len == HOST_BITS_PER_WIDE_INT.
2354
2355         PR c/25559
2356         * c-common.c (handle_vector_size_attribute): Reject zero vector size
2357         as well as sizes not multiple of component size.
2358
2359         PR debug/25562
2360         * function.c (instantiate_expr): New function.
2361         (instantiate_decls_1, instantiate_decls): If DECL_HAS_VALUE_EXPR_P,
2362         walk its DECL_VALUE_EXPR with instantiate_expr.
2363
2364         * dwarf2out.c (loc_descriptor_from_tree_1): Don't add
2365         DW_OP_deref{,_size} if address isn't going to be added.
2366
2367 2006-01-04  Ben Elliston  <bje@au.ibm.com>
2368
2369         * config/fp-bit.h: Use top-of-file comment from libgcc2.c.
2370         * config/fp-bit.c: Likewise.
2371
2372 2006-01-03  Daniel Berlin  <dberlin@dberlin.org>
2373
2374         * dominance.c: Add comment about why we use DFS numbering
2375         of dominance tree.
2376
2377 2006-01-03  Jakub Jelinek  <jakub@redhat.com>
2378             Richard Henderson  <rth@redhat.com>
2379
2380         Merge from gomp-branch:
2381         * varasm.c (assemble_variable): Handle thread-local COMMON data.
2382         * defaults.h (ASM_OUTPUT_TLS_COMMON): Define.
2383
2384 2006-01-03  Paolo Bonzini  <bonzini@gnu.org>
2385
2386         PR rtl-optimization/25578
2387         * combine.c (combine_simplify_rtx, force_to_mode): Don't
2388         pass a parameter to simplify_shift_const if changing ASHIFTRT
2389         to LSHIFTRT.
2390
2391 2006-01-03  Adrian Straetling  <straetling@de.ibm.com>
2392
2393         * builtins.c (get_builtin_sync_mem): New function.
2394         (expand_builtin_sync_operation, expand_builtin_compare_and_swap,
2395         expand_builtin_lock_test_and_set, expand_builtin_lock_release):
2396         Call get_builtin_sync_mem to generate mem rtx.
2397
2398 2006-01-03  Richard Guenther  <rguenther@suse.de>
2399
2400         PR c/25183
2401         * stmt.c (add_case_node): Make sure to clear overflow flags
2402         from ranges.
2403
2404 2006-01-03  Jakub Jelinek  <jakub@redhat.com>
2405
2406         Merge from gomp-branch.
2407         * config/sparc/sync.md: New file.
2408         * config/sparc/sparc.md (UNSPECV_MEMBAR, UNSPECV_CAS, UNSPECV_SWAP,
2409         UNSPECV_LDSTUB): New constants.
2410         * config/sparc/sparc.c (sparc_expand_compare_and_swap_12): New function.
2411         * config/sparc/predicates.md (memory_reg_operand): New predicate.
2412         * config/sparc/sparc-protos.h (sparc_expand_compare_and_swap_12): New
2413         prototype.
2414
2415 2006-01-03  Roger Sayle  <roger@eyesopen.com>
2416
2417         * combine.c (reg_subword_p): New predicate to test whether the
2418         destination of a set refers to a subword/piece of a register.
2419         (try_combine): Generalize the code to merge the setting of a
2420         pseudo to a constant followed by a set of a subword of that
2421         register to a constant.
2422
2423 2006-01-03  Kazu Hirata  <kazu@codesourcery.com>
2424
2425         * basic-block.h (control_flow_graph): Change the type of
2426         x_label_to_block_map to VEC(basic_block,gc) *.
2427         * tree-cfg.c (init_empty_tree_cfg, label_to_block_fn,
2428         set_bb_for_stmt): Adjust the uses of x_label_to_block_map.
2429
2430         * tree-ssa-propagate.c (cfg_blocks): Change the type to
2431         VEC(basic_block,heap) *.
2432         (cfg_blocks_add, cfg_blocks_get, ssa_prop_init,
2433         ssa_prop_fini): Adjust the uses of cfg_blocks.
2434
2435 2006-01-03  Steven Bosscher  <stevenb.gcc@gmail.com>
2436
2437         * fold-const.c (operand_equal_p): Accept a NULL operand 0 for
2438         COMPONENT_REFs.
2439         * emit-rtl.c (mem_attrs_htab_eq): Use iterative_hash_expr for
2440         hashing trees instead of a pointer hash.
2441         (mem_attrs_htab_eq): Do a deep compare instead of a pointer
2442         compare for MEM_EXPR.
2443
2444         PR rtl-optimization/25130
2445         * cse.c (exp_equiv_p): Compare MEM_ATTRS instead of MEM_ALIAS_SET
2446         when comparing MEMs for GCSE
2447
2448 2006-01-03  Ben Elliston  <bje@au.ibm.com>
2449
2450         * targhooks.h (default_decimal_float_supported_p): Declare.
2451         * targhooks.c (default_decimal_float_supported_p): Define.
2452         * target-def.h (TARGET_DECIMAL_FLOAT_SUPPORTED_P): Redefine to
2453         `default_decimal_float_supported_p'.
2454         * doc/tm.texi (TARGET_DECIMAL_FLOAT_SUPPORTED_P): Update.
2455
2456 2006-01-02  Adam Nemet  <anemet@caviumnetworks.com>
2457
2458         * combine.c (apply_distributive_law <SUBREG>): Check
2459         TRULY_NOOP_TRUNCATION.
2460
2461 2006-01-02  Geoffrey Keating  <geoffk@apple.com>
2462
2463         * dwarf2out.c (have_switched_text_section): Delete.
2464         (have_multiple_function_sections): New.
2465         (have_location_lists): Make 'bool'.
2466         (add_AT_loc_list): Use 'true' not '1'.
2467         (dwarf2out_switch_text_section): Set have_multiple_function_sections.
2468         (output_loc_list): Use have_multiple_function_sections.
2469         (output_ranges): Likewise.
2470         (dwarf2out_begin_function): Set have_multiple_function_sections if
2471         necessary.
2472         (dwarf2out_source_line): Don't fake separate_line_info_table_in_use.
2473         Check function_section rather than DECL_SECTION_NAME.
2474         (dwarf2out_finish): Use have_multiple_function_sections.
2475         Don't clear have_location_lists.
2476
2477 2006-01-02  Eric Botcazou  <ebotcazou@adacore.com>
2478             Jan Hubicka  <jh@suse.cz>
2479
2480         * cfglayout.c (fixup_reorder_chain): Remove kludge for the
2481         case of conditional jump jumping to the next instruction.
2482         * cfgrtl.c (force_nonfallthru_and_redirect): Accept all
2483         cases of conditional jump jumping to the next instruction.
2484
2485 2006-01-02  Jan Hubicka  <jh@suse.cz>
2486
2487         * i386.c (*_cost): Add COSTS_N_INSNS.
2488         (ix86_rtx_costs): Do not use COSTS_N_INSNS.
2489
2490 2006-01-02  Paolo Bonzini  <bonzini@gnu.org>
2491
2492         PR target/25259
2493         * Makefile.in (DECNUMINC): Include libdecnumber's build directory.
2494
2495 2006-01-02  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
2496
2497         * config/arm/arm.c (all_fpus): Fix comment typo.
2498         * config/darwin.c: Likewise.
2499         * config/frv/frv.h (FRV_STRUCT_VALUE_REGNUM): Likewise.
2500         * config/h8300/h8300.md (extendqisi2_h8300hs): Likewise.
2501         * config/m68hc11/m68hc11.c (m68hc11_reload_operands): Likewise.
2502
2503 2006-01-01  David Edelsohn  <edelsohn@gnu.org>
2504
2505         * config/rs6000/rs6000.c (rs6000_expand_compare_and_swapqhi): New.
2506         (rs6000_split_compare_and_swapqhi): New.
2507         * config/rs6000/sync.md (sync_compare_and_swap{hi,qi}): New.
2508         (sync_compare_and_swapqhi_internal): New.
2509         * config/rs6000/rs6000-protos.h: Declare.