OSDN Git Service

2006-02-13 Robert Dewar <dewar@adacore.com>
[pf3gnuchains/gcc-fork.git] / gcc / ChangeLog
1 2006-02-15  Paolo Bonzini  <bonzini@gnu.org>
2
3         * cfg.c (dump_flow_info): Get dump flags as an additional parameter.
4         (debug_flow_info): Pass it.
5         * alias.c (rest_of_handle_cfg): Adjust calls to dump_flow_info.
6         * bb-reorder.c (reorder_basic_blocks): Likewise.
7         * cfgcleanup.c (rest_of_handle_jump2): Likewise.
8         * cse.c (rest_of_handle_cse, rest_of_handle_cse2): Likewise.
9         * flow.c (life_analysis, recompute_reg_usage): Likewise.
10         * gcse.c (gcse_main, bypass_jumps): Likewise.
11         * ifcvt.c (rest_of_handle_if_conversion): Likewise.
12         * local-alloc.c (rest_of_handle_local_alloc): Likewise.
13         * loop-init.c (rtl_loop_init, rtl_loop_done): Likewise.
14         * profile.c (compute_branch_probabilities, branch_prob): Likewise.
15         * rtl.h (dump_flow_info): Adjust prototype.
16         * tracer.c (rest_of_handle_tracer, tracer): Likewise.
17         * var-tracking.c (variable_tracking_main): Likewise.
18         * passes.c (execute_todo): Obey TDF_BLOCKS for RTL.
19         * tree-dump.c (enable_rtl_dump_file): Enable the details and blocks
20         options.
21
22 2006-02-15  Marcin Dalecki <martin@dalecki.de>
23
24         * tree-ssa-dom.c (dom_thread_across_edge): fix tag expression
25         construction.
26
27 2006-02-14  Zdenek Dvorak <dvorakz@suse.cz>
28
29         PR tree-optimization/26209
30         * tree-ssa-loop.c (pass_scev_cprop): Add TODO_cleanup_cfg.
31         * tree-cfgcleanup.c (cleanup_control_flow): Remove dead
32         eh edges.
33         * tree-cfg.c (replace_uses_by): Do not alter cfg.
34
35 2006-02-14  Roger Sayle  <roger@eyesopen.com>
36
37         PR middle-end/23670
38         * fold-const.c (fold_binary) <BIT_IOR_EXPR>: Optimize (X&Y)|Y into
39         (X,Y) and the corresponding symmetry related transformations.
40         (fold_binary) <BIT_AND_EXPR>: Likewise, optimize (X|Y)&Y into
41         (X,Y) and its symmetry related transformations.
42
43 2006-02-14  Roger Sayle  <roger@eyesopen.com>
44
45         * dojump.c (do_compare_rtx_and_jump): Also handle multi-word GTU
46         and GEU.
47
48 2006-02-14  Adam Nemet  <anemet@caviumnetworks.com>
49
50         * simplify-rtx.c (simplify_subreg): Combine SUBREG and TRUNCATE.
51
52 2006-02-14  Rainer Orth  <ro@TechFak.Uni-Bielefeld.DE>
53
54         PR bootstrap/26053
55         * configure.ac (HAVE_COMDAT_GROUP): Don't assume non-GNU linkers
56         support COMDAT group.
57         * configure: Regenerate.
58
59 2006-02-14  Roger Sayle  <roger@eyesopen.com>
60
61         PR middle-end/26279
62         PR middle-end/26280
63         PR middle-end/26283
64         * dojump.c (do_compare_rtx_and_jump): Handle multi-word LE.
65
66 2006-02-14  Daniel Berlin  <dberlin@dberlin.org>
67
68         Fix PR tree-optimization/26260
69
70         * doc/invoke.texi (max-fields-for-field-sensitive): Document
71         param.
72         * params.h (MAX_FIELDS_FOR_FIELD_SENSITIVE): New.
73         * params.def (PARAM_MAX_FIELDS_FOR_FIELD_SENSITIVE): Ditto.
74         * tree-ssa-structalias.c (create_variable_info_for): Use
75         MAX_FIELDS_FOR_FIELD_SENSITIVE.
76         
77 2006-02-14  Zdenek Dvorak <dvorakz@suse.cz>
78
79         * doc/invoke.texi (-fprefetch-loop-arrays, -fprefetch-loop-arrays-rtl):
80         Document.
81         * tree-ssa-loop-niter.c (number_of_iterations_ne,
82         number_of_iterations_lt, number_of_iterations_cond): Remember the shape
83         of the ending condition.
84         * tree-ssa-loop-manip.c: Include params.h.
85         (build_if_stmt, can_unroll_loop_p, determine_exit_conditions,
86         tree_unroll_loop): New functions.
87         * tree-pass.h (pass_loop_prefetch): Declare.
88         * loop.c (rest_of_handle_loop_optimize): Test for
89         -fprefetch-loop-arrays-rtl.
90         * tree-scalar-evolution.h (affine_iv): Moved to tree-flow.h.
91         * timevar.def (TV_TREE_PREFETCH): New timevar.
92         * tree-ssa-loop.c (tree_ssa_loop_prefetch, gate_tree_ssa_loop_prefetch,
93         pass_loop_prefetch): New.
94         * tree-cfgcleanup.c: Include tree-scalar-evolution.h.
95         (cleanup_tree_cfg_loop): Call scev_reset.
96         * common.opt (fprefetch-loop-arrays-rtl): Add.
97         * tree-ssa-loop-prefetch.c: New file.
98         * tree-outof-ssa.c (struct value_expr_d): Add expr_vars field.
99         (new_temp_expr_table): Initialize expr_vars.
100         (free_temp_expr_table): Cleanup expr_vars.
101         (check_replaceable, find_replaceable_in_bb): Prevent accumulating
102         expressions from being merged into one.
103         * tree-flow.h (affine_iv): Moved from tree-scalar-evolution.h.
104         (struct tree_niter_desc): Add control, bound and cmp fields.
105         (tree_ssa_prefetch_arrays, can_unroll_loop_p, tree_unroll_loop):
106         Declare.
107         * Makefile.in (tree-ssa-loop-prefetch.o): Add.
108         (tree-cfgcleanup.o): Add SCEV_H dependency.
109         (tree-ssa-loop-manip.o): Add PARAMS_H dependency.
110         * passes.c (init_optimization_passes): Add pass_loop_prefetch.
111
112 2006-02-14  Richard Guenther  <rguenther@suse.de>
113
114         PR tree-optimization/26258
115         * tree-ssa-structalias.c (find_func_aliases): Handle aggregates
116         in PHI argument processing.
117
118 2006-02-13  Adam Nemet  <anemet@caviumnetworks.com>
119
120         * simplify-rtx.c (simplify_unary_operation_1) <TRUNCATE>: Return
121         new expression in the requested machine mode.
122
123 2006-02-13  Roger Sayle  <roger@eyesopen.com>
124
125         * optabs.c (expand_abs): Don't call do_jump_by_parts_greater_rtx
126         directly, instead let do_compare_rtx_and_jump handle this for us.
127         * expr.c (expand_expr_real_1): Likewise.
128         * dojump.c (do_jump_by_parts_greater_rtx): Make static.  Move
129         before do_jump_by_parts_greater.
130         (do_jump_by_parts_greater): Move after do_jump_by_parts_greater_rtx.
131         * expr.h (do_jump_by_parts_greater_rtx): Delete prototype.
132
133 2006-02-13  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
134
135         * pa/quadlib.c: Use defines instead of enum qfcmp_magic.
136
137 2006-02-13  Zdenek Dvorak <dvorakz@suse.cz>
138
139         PR rtl-optimization/26235
140         * loop-invariant.c (hash_invariant_expr_1): Handle 'i' and 'n' formats.
141         (invariant_expr_equal_p): Handle 'i' and 'n' formats.  Fail on unknown
142         format.
143
144 2006-02-13  Jeff Law  <law@redhat.com>
145
146         * tree-vrp.c (extract_range_from_binary_expr): Remove handling of
147         TRUTH_XOR_EPR.
148
149 2006-02-13  Jakub Jelinek  <jakub@redhat.com>
150
151         PR middle-end/26092
152         * gimplify.c (gimplify_call_expr): Don't call get_callee_fndecl
153         twice if decl is a builtin.  When trying again, call get_callee_fndecl
154         first to verify it is still a builtin.
155
156 2006-02-13  Geoffrey Keating  <geoffk@apple.com>
157
158         * dwarf2out.c (base_type_die): Don't add AT_name here.
159         (subrange_type_die): Don't add AT_name here.
160         (modified_type_die): Rearrange code flow.  Do add AT_name here.
161
162 2006-02-13  Zdenek Dvorak <dvorakz@suse.cz>
163
164         PR rtl-optimization/26247
165         PR rtl-optimization/26248
166         * loop-invariant.c (may_assign_reg_p): Do not allow VOIDmode.
167
168 2006-02-13  Richard Sandiford  <richard@codesourcery.com>
169
170         * config/floatunditf.c: Use if __LDBL_MANT_DIG__ == 113.
171         * config/fixtfdi.c: Likewise.
172         * config/fixunstfdi.c: Likewise.
173         * config/floatditf.c: Likewise.
174
175 2006-02-13  Roger Sayle  <roger@eyesopen.com>
176
177         PR middle-end/24427
178         * fold-const.c (fold_binary) <BIT_IOR_EXPR>: Transform (X&C1)|C2
179         into (X,C2) if C1 is a subset of the bits of C2.  Transform
180         (X&C1)|C2 into X|C2 if C1|C2 == ~0.  Canonicalize (X&C1)|C2 as
181         (X&(C1&~C2))|C2.
182         <BIT_AND_EXPR>: Canonicalize (X|C1)&C2 as (X&C2)|(C1&C2).
183
184 2006-02-13  Josh Conner  <jconner@apple.com>
185
186         PR target/25376
187         * varasm.c (function_section): Check for section name before
188         calling select_section on targets that define
189         USE_SELECT_SECTION_FOR_FUNCTIONS.  On other targets, use
190         unlikely_text_section instead of hot_function_section if
191         first_function_block_is_cold.
192
193 2006-02-13  J"orn Rennecke <joern.rennecke@st.com>
194
195         PR middle-end/25335
196         * reload1.c (gen_reload): Also use find_replacement in UNARY_P case.
197
198 2006-02-12  Zdenek Dvorak <dvorakz@suse.cz>
199
200         PR rtl-optimization/26222
201         * function.c (assign_stack_temp_for_type): Do not reuse stack slots
202         after tree->rtl expansion.
203         * loop-invariant.c (move_invariant_reg): Use force_operand on rhs
204         before passing it to emit_move_insn.
205
206 2006-02-12  Gabriel Dos Reis  <gdr@integrable-solutions.net>
207
208         * doc/invoke.texi (-Write-strings): Document that it is enabled by
209         default. 
210         * c.opt (-Wwrite-strings): Declare variable warn_write_strings.
211         Clarify documentation.
212         * c-common.h (warn_write_strings): Remove.
213         * c-common.c (warn_write_strings): Likewise.
214         * c-opts.c (c_common_init_options): Enable -Wwrite-strings by
215         default for C++.
216
217 2006-02-12  Roger Sayle  <roger@eyesopen.com>
218
219         PR middle-end/25724
220         * dojump.c (do_jump): Call do_compare_rtx_and_jump.
221         (do_jump_parts_zero_rtx): New function renamed from
222         do_jump_parts_equality_rtx.  Made static.  Add a mode argument.
223         (do_jump_parts_equality_rtx): New function split out from
224         do_jump_parts_equality.  Old implementation renamed as above.
225         Call do_jump_parts_zero_rtx if either operand is zero.
226         (do_jump_parts_equality): Call do_jump_parts_equality_rtx to
227         do all of the heavy lifting.
228         (do_compare_rtx_and_jump): Handle multi-word comparisons by
229         calling either do_jump_by_parts_greater_rtx or
230         do_jump_by_parts_equality_rtx.
231         * expr.h (do_jump_by_parts_equality_rtx): Remove prototype.
232         * expmed.c (do_cmp_and_jump): Now multi-word optimization has
233         moved to do_compare_rtx_and_jump, call it directly.
234         * stmt.c (do_jump_if_equal): Remove static prototype.  Add a
235         mode argument.  Call do_compare_rtx_and_jump.
236         (emit_case_nodes): Update calls to do_jump_if_equal.
237
238 2006-02-12  Zdenek Dvorak <dvorakz@suse.cz>
239
240         PR rtl-optimization/26225
241         * loop-invariant.c (may_assign_reg_p): Do not allow BLKmode operands.
242
243 2006-02-12  Zdenek Dvorak <dvorakz@suse.cz>
244
245         PR rtl-optimization/26232
246         * loop-invariant.c (find_invariant_insn): Ignore insns that set CC0.
247
248 2006-02-11  Jason Merrill  <jason@redhat.com>
249
250         PR tree-opt/24365
251         * tree-inline.c (declare_return_variable): Just don't use the
252         modify target if it's a gimple complex reg and the return slot
253         isn't.
254
255 2006-02-11  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
256
257         * doc/contrib.texi: Update my entry.
258
259 2006-02-10  Geoffrey Keating  <geoffk@apple.com>
260
261         * config/i386/darwin.h (DBX_REGISTER_NUMBER): Define.
262
263 2006-02-10  Diego Novillo  <dnovillo@redhat.com>
264
265         * tree-inline.c (estimate_num_insns_1): Make OpenMP directives
266         expensive.
267
268 2006-02-10  Zdenek Dvorak <dvorakz@suse.cz>
269
270         * doc/invoke.texi (-floop-optimize2): Removed.
271         * toplev.c (process_options): Remove handling of flag_loop_optimize2.
272         * loop-init.c (gate_handle_loop2): Do not test flag_loop_optimize2.
273         Test flag_branch_on_count_reg only if HAVE_doloop_end.
274         * common.opt (floop-optimize2): Removed.
275         (fmove-loop-invariants): Enabled by default.
276
277 2006-02-10  Sebastian Pop  <pop@cri.ensmp.fr>
278
279         * tree-if-conv.c (combine_blocks): Free the result of
280         get_loop_exit_edges.
281
282 2006-02-10  Jeff Law  <law@redhat.com>
283
284         * fold-const.c (tree_expr_nonzero_p): Fix thinko.
285
286         PR tree-optimization/26213
287         * tree-ssa-threadedge.c (simplify_control_stmt_condition): Do not
288         loop trying to follow SSA_NAME_VALUE chains.
289
290 2006-02-10  Richard Guenther  <rguenther@suse.de>
291
292         * tree-dfa.c (get_ref_base_and_extent): When computing maxsize
293         deal with structures that end in implicitly variable sized arrays.
294
295 2006-02-09  Zdenek Dvorak <dvorakz@suse.cz>
296
297         PR rtl-optimization/24762
298         * df-scan.c (df_bb_refs_record): Record correct registers defined on
299         eh edges.
300
301 2006-02-09  Zdenek Dvorak <dvorakz@suse.cz>
302
303         * tree-ssa-loop-ivopts.c (struct loop_data, loop_data): Removed.
304         (struct ivopts_data): Add regs_used field.
305         (tree_ssa_iv_optimize_init): Do not allocate aux fields for loops.
306         (ivopts_global_cost_for_size, determine_set_costs): Use data->regs_used
307         instead of loop_data->regs_used;
308         (free_loop_data): Do not free aux fields for loops.
309         (tree_ssa_iv_optimize): Do not pass loops to tree_ssa_iv_optimize_init
310         and tree_ssa_iv_optimize_finalize.
311
312 2006-02-09  Kaz Kojima  <kkojima@gcc.gnu.org>
313
314         * config/sh/sh.h (FUNCTION_VALUE): Don't handle CHAR_TYPE.
315
316 2006-02-09  J"orn Rennecke <joern.rennecke@st.com>
317
318         PR target/26141
319         * sh.c (sh_gimplify_va_arg_expr): Don't change the result type when
320         computing the effective result type.
321
322 2006-02-09  J"orn Rennecke <joern.rennecke@st.com>
323
324         PR inline-asm/16194
325         * tree.h (decl_overlaps_hard_reg_set_p) Don't declare.
326         (tree_overlaps_hard_reg_set): Declare.
327         * stmt.c (decl_overlaps_hard_reg_set_p): Now static.  Change return
328         type and signature to match function type expected by walk_tree.
329         (tree_overlaps_hard_reg_set): New function.
330         (decl_conflicts_with_clobbers_p): Rename to:
331         (tree_conflicts_with_clobbers_p).  Take HARD_REG_SET * argument.
332         Use tree_overlaps_hard_reg_set.  Changed caller.
333         * doc/tm.texi (TARGET_MD_ASM_CLOBBERS): Replace
334         decl_overlaps_hard_reg_set_p with tree_overlaps_hard_reg_set.
335         * cris.c (cris_md_asm_clobbers): Likewise.
336
337 2006-02-09  Bernd Schmidt  <bernd.schmidt@analog.com>
338
339         * reload1.c (emit_input_reload_insns): Delete code that tries to
340         inherit using find_equiv_reg.
341
342 2006-02-09  Gabriel Dos Reis  <gdr@integrable-solutions.net>
343
344         * c-common.h (flag_const_strings): Don't declare.
345         * c-common.c (flag_const_strings): Remove.
346         * c.opt (fconst_strings): Remove.
347         * c-opts.c (c_common_handle_option): Remove <OPT_fconst_strings>.
348         <OPT_Wwrite_strings>: Don't set flag_const_strings.
349         (c_common_init_options): Don't set flag_const_strings.
350         * doc/invoke.texi (-fno-const-strings): Remove documentation.
351
352 2006-02-09  Richard Earnshaw  <richard.earnshaw@arm.com>
353
354         * arm.md (tlobits_cbranch): New pattern.
355         * arm.h (arm_select_cc_mode): For thumb, only return CC_Nmode if
356         testing a single bit.
357
358 2006-02-09  Andrew Pinski  <pinskia@physics.uc.edu>
359
360         PR tree-opt/26179
361         * tree-ssa-pre.c (create_component_ref_by_pieces):
362         Handle RETURN_DECL like VAR_DECL.
363
364 2006-02-09  Andrew Pinski  <pinskia@physics.uc.edu>
365
366         PR middle-end/26134
367         * fold-const.c (fold_indirect_ref_1): Fold 
368         "*(foo *)&complexfoo" to "__real__ complexfoo"
369         and "((foo*)&complexfoo)[1]" to "__imag__ complexfoo".
370
371 2006-02-09  Andrew Pinski  <pinskia@physics.uc.edu>
372
373         * tree-flow-inline.h (var_can_have_subvars): 
374         Volatile variables should not have subvariables.
375
376 2006-02-09  Diego Novillo  <dnovillo@redhat.com>
377
378         PR 26180
379         * tree-vrp.c (vrp_int_const_binop): Detect overflow when
380         multiplying unsigned values.
381         Tidy comments.
382
383 2006-02-09  Eric Botcazou  <ebotcazou@libertysurf.fr>
384
385         * config/sparc/sparc.c (tls_call_delay): Fix oversight.
386
387 2006-02-08  Jason Merrill  <jason@redhat.com>
388
389         PR c++/25979
390         * tree.def: Elaborate on difference from MODIFY_EXPR.
391         * doc/c-tree.texi (INIT_EXPR): Likewise.
392         * gimplify.c (internal_get_tmp_var): Use INIT_EXPR.
393         (gimplify_decl_expr, gimplify_init_ctor_eval): Likewise.
394         (gimplify_target_expr): Likewise.
395         (gimplify_cond_expr): Remove target handling.
396         (gimplify_modify_expr): Don't clobber INIT_EXPR code here.
397         (gimplify_expr): Clobber it here.
398         (gimplify_modify_expr_rhs): Push assignment into COND_EXPR here.
399         Do return slot optimization if we have an INIT_EXPR.
400
401         PR tree-opt/24365
402         * tree-inline.c (declare_return_variable): Also clear 
403         DECL_COMPLEX_GIMPLE_REG_P as needed in the modify_dest case.
404
405         PR c++/16405
406         * gimplify.c (gimplify_modify_expr_rhs): Re-enable *& handling.
407
408         PR middle-end/22439
409         * gimplify.c (gimplify_one_sizepos): Fix typo.
410
411 2006-02-08  Jeff Law  <law@redhat.com>
412
413         PR tree-optimization/21417
414         * tree-ssa-threadedge.c (thread_across_edge): Reject threading
415         across a backedge if the control statement at the end of the
416         block is data dependent on other statements in the same block.
417         (record_temporary_equivalences_from_stmts): Remove over-conservative
418         test for threading across backedges.
419
420         * tree-ssa-dce.c (remove_dead_statement): When removing a dead
421         control statement, handle all three special cases in the same
422         manner as they all have the same desired solution.  No longer
423         special case edge flag updating when the post dominator is
424         the exit block.
425
426 2006-02-08  Roger Sayle  <roger@eyesopen.com>
427
428         * tree.def (CHAR_TYPE): Remove.
429         * dbxout.c (dbxout_type): Delete dead handling of CHAR_TYPE.
430         * dwarf2out.c (base_type_die, is_base_type): Likewise.
431         (gen_type_die) <ARRAY_TYPE>: Remove handling of CHAR_TYPE arrays.
432         (gen_string_type_die): Delete unreachable function.
433
434         * tree-pretty-print.c (dump_generic_node): Don't handle CHAR_TYPE.
435         * tree.c (build_int_cst_wide, type_contains_placeholder_1,
436         type_hash_eq, variably_modified_type_p, walk_type_fields): Likewise.
437         * tree.h (NUMERICAL_TYPE_CHECK, INTEGRAL_TYPE_P): Likewise.
438         * builtins.c (type_to_class): Likewise.
439         * fold-const.c (fold_convert, build_range_check,
440         merge_ranges): Likewise.
441         * expr.c (count_type_elements): Likewise.
442         * c-pretty-print.c (pp_c_type_specifier): Likewise.
443         * stor-layout.c (layout_type): Likewise.
444         * ipa-type-escape.c (type_to_consider): Likewise.
445         * gimplify.c (omp_firstprivatize_type_sizes,
446         gimplify_type_sizes): Likewise.
447         * explow.c (promote_mode): Likewise.
448         * tree-sra.c (is_sra_scalar_type): Likewise.
449         * varasm.c (output_constant): Likewise.
450         * tree-inline.c (remap_type_1): Likewise.
451         * convert.c (convert_to_pointer, convert_to_real,
452         convert_to_integer, convert_to_complex): Likewise.
453
454 2006-02-08  Daniel Berlin  <dberlin@dberlin.org>
455
456         * df-scan.c (df_def_record_1): A set destination may
457         be a parallel regardless of mode.
458
459 2006-02-08  Roger Sayle  <roger@eyesopen.com>
460
461         PR target/22209
462         * config/mips/mips.h (MIN_UNITS_PER_WORD): Don't define for libgcc.
463         * config/mips/_tilib.c: Remove.
464         * config/fixtfdi.c: New libgcc source file.
465         * config/fixunstfdi.c: New source file.
466         * config/floatditf.c: New source file.
467         * config/floatunditf.c: New souce file.
468         * config/mips/t-iris6 (LIB2FUNCS_EXTRA): Include the new source
469         files above instead of config/mips/_tilib.c.
470         * config/mips/t-linux64 (LIB2FUNCS_EXTRA): Likewise.
471
472 2006-02-08  Jeff Law  <law@redhat.com>
473
474         PR tree-optimization/26169
475         * tree-vrp.c (execute_vrp): Perform any queued SSA updates before
476         threading jumps.
477
478 2006-02-08  Zdenek Dvorak <dvorakz@suse.cz>
479
480         * df.h (DF_REG_SIZE): Return the length of the initialized
481         part of the array.
482
483 2006-02-08  Nathan Sidwell  <nathan@codesourcery.com>
484
485         * gcc/config/m68k/lb1sf68.asm (__divsf3, __divdf3, __mulsf3,
486         __muldf3): Return a correctly signed zero.
487
488 2006-02-08  Paolo Bonzini  <bonzini@gnu.org>
489
490         * passes.c (register_one_dump_file): Accept the current properties
491         instead of pass number.  Adjust call to dump_register.  Remove
492         duplicated code.
493         (register_dump_files): Now a wrapper around...
494         (register_dump_files_1): ... this one.  Do not modify the pass
495         structure.
496         (next_pass_1): Cosmetic fix.
497         (execute_todo): Keep second parameter only.  Use curr_properties
498         instead of fetching it from the pass structure.  Check and set
499         last_verified.
500         (execute_one_pass): Handle TODO_set_props.  Use curr_properties
501         instead of fetching it from the pass structure.  Fix calls to
502         execute_todo.  Update curr_properties and initialize .vcg RTL dump
503         after running the pass.  Reset last_verified.
504         * tree-dump.c (dump_files): Renumber consecutively.  Put .cgraph dump
505         at the beginning.
506         (FIRST_AUTO_NUMBERED_DUMP): New.
507         (dump_register): Remove "num" parameter, assign it within the
508         function.
509         (get_dump_file_name): Modify template for dumps.
510         * tree-dump.h (dump_register): Adjust prototype.
511         * tree-pass.h (enum tree_dump_index): Move cgraph at the beginning.
512         (PROP_trees): Add PROP_gimple_lomp.
513         (TODO_set_props): New.
514         * gimple-low.c (pass_lower_cf): Do not destroy PROP_gimple_lcf.
515         * tree-eh.c (pass_lower_eh): Do not destroy PROP_gimple_leh.
516         * cfgexpand.c (pass_expand): Destroy PROP_trees.
517
518 2006-02-08  Jakub Jelinek  <jakub@redhat.com>
519
520         * config.gcc (sparc-*-linux*): Add sparc/t-linux to tmake_file.
521         (sparc64-*-linux*): Likewise.
522         * config/sparc/t-linux64 (SHLIB_MAPFILES): Removed.
523         * config/sparc/t-linux: New file.
524         * config/sparc/libgcc-sparc-glibc.ver (__fixtfdi, __fixunstfdi,
525         __floatditf): Export at GCC_LDBL_3.0 if -m32 -mlong-double-128.
526         (__divtc3, __multc3, __powitf2): Export at GCC_LDBL_4.0.0 if
527         -m32 -mlong-double-128.
528
529         * config.gcc (alpha*-*-linux*): Add alpha/t-linux to tmake_file.
530         * config/alpha/t-linux: New file.
531         * config/alpha/libgcc-alpha-ldbl.ver: New file.
532
533         * config/sparc/linux.h (TARGET_OS_CPP_BUILTINS): Define
534         __LONG_DOUBLE_128__ if TARGET_LONG_DOUBLE_128.
535         (CPP_SUBTARGET_SPEC): Don't add -D__LONG_DOUBLE_128__ here.
536         * config/sparc/linux64.h (TARGET_OS_CPP_BUILTINS): Define
537         __LONG_DOUBLE_128__ if TARGET_LONG_DOUBLE_128 and TARGET_ARCH32.
538         (CPP_ARCH32_SPEC): Remove.
539
540 2006-02-07  Uttam Pawar  <uttamp@us.ibm.com>
541
542         PR tree-optimization/26145
543         * tree-ssa-loop-unswitch.c (tree_unswitch_single_loop): Free
544         bbs pointer.
545
546 2006-02-07  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
547
548         PR target/26109
549         * pa.c (attr_length_indirect_call): Don't return length 8 for distances
550         >= 240000 when generating code for SOM runtime.
551         (output_indirect_call): Don't use "b,l" instruction for indirect calls
552         to $$dyncall when generating code for SOM runtime..
553
554 2006-02-07  Dirk Mueller  <dmueller@suse.com>
555
556         PR c++/18150
557         * doc/invoke.texi (-Wsequence-point): Update documentation
558         that -Wsequence-point is implemented for C++ as well.
559
560 2006-02-07  Eric Botcazou  <ebotcazou@libertysurf.fr>
561
562         * config/sol26.h (CPP_SUBTARGET_SPEC): Accept -pthread.
563         * config/sol2.h (CPP_SUBTARGET_SPEC): Likewise.
564         (LIB_SPEC): Likewise.
565         * doc/invoke.texi (SPARC options): Document -pthread.
566
567 2006-02-07  Geoffrey Keating  <geoffk@apple.com>
568
569         * config/i386/i386.c (ix86_delegitimize_address): Support Darwin
570         PIC addresses.
571
572 2006-02-07  Roger Sayle  <roger@eyesopen.com>
573
574         * config/sparc/sparc.c (sparc_type_code): Don't handle CHAR_TYPE.
575         Correct comment describing BOOLEAN_TYPE.
576
577 2006-02-07  Dirk Mueller  <dmueller@suse.com>
578
579         * c.opt: C++ frontend supports -Wdiv-by-zero.
580         * c-opts.c (c_common_handle_option): Remove dead case.
581
582 2006-02-07  Eric Botcazou  <ebotcazou@libertysurf.fr>
583
584         * configure.ac (TLS assembler check): Do not enable TLS by
585         default on SPARC/Solaris before version 10.
586         * configure: Regenerate.
587
588 2006-02-07  David Edelsohn  <edelsohn@gnu.org>
589
590         * doc/invoke.texi (xl-compat): Document conversion and support
591         routine names.
592
593 2006-02-07  Jeff Law  <law@redhat.com>
594
595         * tree-vrp.c (find_conditional_asserts): Update comments.
596         (simplify_stmt_for_jump_threading): New.
597         (identify_jump_threads, finalize_jump_threads): New.
598         (vrp_finalize): Call identify_jump_threads.
599         (execute_vrp): Call finalize_jump_threads.
600         * tree-ssa-dom.c (struct opt_stats_d): Remove num_iterations field.
601         (vrp_element, vrp_data, vrp_element_p): Remove.
602         (vrp_hash_elt, vrp_variables_stack): Remove.
603         (vrp_hash, vrp_eq, record_range): Remove.
604         (simplify_cond_and_lookup_avail_expr): Remove.
605         (extract_range_from_cond): Remove.
606         (thread_across_edge): Relocated into tree-ssa-threadedge.c.
607         (simplify_stmt_for_jump_threading): New.
608         (dom_thread_across_edge): New wrapper.
609         (tree_ssa_dominator_optimize): No longer initialize or
610         finalize any of the VRP datastructures.  Remove iteration
611         step and simplify as a result of removal of iteration step.
612         (pass_dominator): Perform a cfg cleanup after DOM.
613         (dom_opt_finalize_block): Use the new common routines
614         for threading jumps.  Simplify stack management slightly.
615         No longer need to unwind VRP state.
616         (record_equivalences_from_incoming_edge): No longer record
617         VRP information.
618         (eliminate_redundant_computations): No longer call
619         simplify_cond_and_lookup_avail_expr.
620         * tree-flow.h (potentially_threadable_block): Prototype.
621         (thread_across_edge): Likewise.
622         * Makefile.in (OBJS-common):  Add tree-ssa-threadedge.o
623         (tree-ssa-threadedge.o): Add dependencies.
624         * tree-ssa-threadedge.c: New file.
625         * passes.c (init_optimization_passes): Merge PHIs before
626         calling VRP.  Run VRP again late in the SSA optimization pipeline.
627
628 2006-02-07  Eric Botcazou  <ebotcazou@libertysurf.fr>
629
630         * df-core.c (df_set_blocks): Do not dereference function pointers.
631         (df_finish1): Likewise.
632         (df_hybrid_search_forward): Likewise.
633         (df_hybrid_search_backward): Likewise.
634         (df_iterative_dataflow): Likewise.
635         (df_analyze_problem): Likewise.
636         (df_compact_blocks): Likewise.
637         (df_dump): Likewise.
638         * df-scan.c (df_rescan_blocks): Likewise.
639         (df_record_entry_block_defs): Likewise.
640
641         * genconditions.c (write_conditions): Guard the definition of
642         'insn_conditions' with the check on GCC version.
643         (write_writer): Guard the traversal 'insn_conditions' with
644         the check on GCC version.
645
646 2006-02-07  Richard Guenther  <rguenther@suse.de>
647
648         PR c++/26140
649         Revert
650         2006-01-30  Richard Guenther  <rguenther@suse.de>
651         PR c++/23372
652         * gimplify.c (gimplify_target_expr): Handle easy cases
653         without creating a temporary.
654
655 2006-02-07  Pete Steinmetz  <steinmtz@us.ibm.com>
656
657         * sched-rgn.c (compute_dom_prob_ps, compute_trg_info): Eradicate
658         use of float in probability computations.  Use edge probabilities
659         in place of statically computed probabilities.
660         (min_spec_prob): New static variable.
661         (schedule_insns): Initialize it.
662         (GET_SRC_PROB): Removed.
663         * doc/invoke.texi (min-sched-prob): Renamed to min-spec-prob.
664
665 2006-02-07  Alexandre Oliva  <aoliva@redhat.com>
666
667         PR debug/24444
668         * config/ia64/unwind-ia64.c: Revert last change.
669         * config/ia64/ia64.h (ARG_POINTER_CFA_OFFSET): Removed.
670         (INCOMING_FRAME_SP_OFFSET): Define.
671
672 2006-02-06  Roger Sayle  <roger@eyesopen.com>
673
674         * config/ia64/ia64.c (hfa_element_mode): Don't handle CHAR_TYPE.
675
676 2006-02-07  Ben Elliston  <bje@au.ibm.com>
677
678         * config/i386/i386.c (ix86_scalar_mode_supported_p): New.
679         (TARGET_SCALAR_MODE_SUPPORTED_P): Define hook.
680         (classify_argument): Handle SDmode, DDmode, TDmode for 64-bit.
681         (ix86_return_in_memory): Handle TDmode.
682         (ix86_libcall_value): Handle SDmode, DDmode, TDmode.
683         (ix86_value_regno): Return non-TDmode decimal float modes in %eax.
684
685 2006-02-06  Richard Sandiford  <richard@codesourcery.com>
686
687         * reorg.c (dbr_schedule): Use dump_file instead of file.
688
689 2006-02-06  Steve Ellcey  <sje@cup.hp.com>
690
691         PR target/25917
692         * config/ia64/predicates.md (extr_len_operand): New predicate.
693         * config/ia64/ia64.md (extv): Tighten constraints.
694         (extzv): Ditto.
695         (*tbit_and_2): Ditto.
696         (*tbit_and_3): Ditto.
697         (*tbit_or_2): Ditto.
698         (*tbit_or_3): Ditto.
699         (*bit_zero): Ditto.
700         (*bit_one): Ditto.
701
702 2006-02-06  Andrew Pinski  <pinskia@physics.uc.edu>
703
704         PR target/23359
705         * config/i386/i386.md (trap): Use ASM_SHORT instead of .word.
706
707 2006-02-06  Zdenek Dvorak <dvorakz@suse.cz>
708
709         * tree-vrp.c (execute_vrp): Do not pass dump argument to.
710         loop_optimizer_init and loop_optimizer_finalize
711         * tree-ssa-sink.c (execute_sink_code): Ditto.
712         * tree-ssa-loop-ch.c (copy_loop_headers): Ditto.
713         * tree-ssa-loop.c (tree_loop_optimizer_init, tree_ssa_loop_init,
714         tree_ssa_loop_done): Ditto.
715         * tree-ssa-pre.c (init_pre, fini_pre): Ditto.
716         * sched-ebb.c: Include output.h.
717         (schedule_ebbs): Do not use dump argument.
718         * value-prof.h (struct profile_hooks): Remove profile_dump_file.
719         * loop.c (loop_dump_stream): Removed.
720         (loop_optimize, rest_of_handle_loop_optimize): Do not use dump
721         argument.
722         (scan_loop, move_movables, find_and_verify_loops, mark_loop_jump,
723         emit_prefetch_instructions, loop_bivs_find, loop_bivs_check,
724         final_biv_value, loop_biv_eliminable_p, loop_givs_rescan,
725         loop_iterations, strength_reduce, record_biv, record_giv,
726         final_giv_value, check_final_value, check_ext_dependent_givs,
727         combine_givs, check_dbra_loop, maybe_eliminate_biv, load_mems,
728         try_copy_prop, loop_delete_insns, try_swap_copy_prop): Use
729         dump_file instead of loop_dump_stream.
730         * ddg.c (print_ddg_edge, print_ddg, vcg_print_ddg): Do not call
731         argument dump_file.
732         * reorg.c (dbr_schedule, rest_of_handle_delay_slots): Do not use
733         dump argument.
734         * flow.c (life_analysis, rest_of_handle_life): Ditto.
735         * haifa-sched.c: Include output.h
736         (schedule_insns, sched_init): Do not use dump argument.
737         * mode-switching.c (optimize_mode_switching): Ditto.
738         * modulo-sched.c (stats_file): Removed.
739         (print_node_sched_params): Do not call argument dump_file.
740         (sms_schedule_by_order, loop_canon_p, sms_schedule,
741         rest_of_handle_sms): Do not use dump argument.  Use dump_file instead
742         of stats_file.
743         * cse.c (cse_main, rest_of_handle_cse, rest_of_handle_cse2): Do not
744         use dump argument.
745         * loop-init.c (loop_optimizer_init, loop_optimizer_finalize,
746         rtl_loop_init, rtl_loop_done): Ditto.
747         * global.c (global_alloc, rest_of_handle_global_alloc): Ditto.
748         * predict.c (combine_predictions_for_bb, tree_estimate_probability):
749         Ditto.
750         * recog.c (peephole2_optimize, rest_of_handle_peephole2): Ditto.
751         * lcm.c (pre_edge_lcm, pre_edge_rev_lcm): Ditto.
752         * regmove.c (fixup_match_1, fixup_match_2, regmove_optimize,
753         rest_of_handle_regmove, rest_of_handle_stack_adjustments): Ditto.
754         * emit-rtl.c (renumber_insns): Ditto.
755         * cfgexpand.c (add_reg_br_prob_note, expand_gimple_cond_expr,
756         expand_gimple_basic_block, tree_expand_cfg): Ditto.
757         * regclass.c (regclass): Ditto.
758         * tree-outof-ssa.c (analyze_edges_for_bb, perform_edge_inserts,
759         remove_ssa_form, rewrite_out_of_ssa): Ditto.
760         * reg-stack.c (compensate_edge, compensate_edges, convert_regs_1,
761         convert_regs_2, convert_regs, reg_to_stack, rest_of_handle_stack_regs):
762         Ditto.
763         * sched-rgn.c (schedule_insns, rest_of_handle_sched): Ditto.
764         * local-alloc.c (rest_of_handle_local_alloc): Do not pass dump_file
765         to regclass.
766         * gcse.c (gcse_file, debug_stderr): Removed.
767         (gcse_main, bypass_jumps, rest_of_handle_jump_bypass,
768         rest_of_handle_gcse): Do not use dump argument.
769         (cprop_jump, cprop_insn, do_local_cprop, cprop, find_implicit_sets,
770         one_cprop_pass, bypass_block, compute_pre_data, insert_insn_end_bb,
771         pre_edge_insert, pre_insert_copy_insn, pre_delete, one_pre_gcse_pass,
772         compute_code_hoist_vbeinout, compute_code_hoist_data,
773         one_code_hoisting_pass, trim_ld_motion_mems, update_ld_motion_stores,
774         compute_store_table, build_store_vectors, insert_insn_start_bb,
775         insert_store, remove_reachable_equiv_notes, replace_store_insn,
776         store_motion): Use dump_file instead of gcse_file.
777         * ipa-type-escape.c (type_escape_execute): Remove debugging comments.
778         * profile.c (profile_dump_file): Removed.
779         (branch_prob): Use dump_file instead of profile_dump_file.
780         * ipa.c (cgraph_remove_unreachable_nodes): Do not call argument
781         dump_file.
782         * tree-ssa-copy.c (dump_copy_of): Ditto.
783         * rtl-factoring.c (rtl_seqabstr, rest_of_rtl_seqabstr): Do not pass
784         dump file to life_analysis.
785         * bt-load.c (branch_target_load_optimize): Ditto.
786         * cfgcleanup.c (rest_of_handle_jump2): Do not pass dump_file to
787         renumber_insns.
788         * rtl.h (cse_main, renumber_insns, schedule_insns, schedule_ebbs,
789         regclass, dbr_schedule): Declaration changed.
790         * sched-int.h (sched_init): Declaration changed.
791         * tree-profile.c (tree_profile_dump_file): Removed.
792         (tree_profile_hooks): Removed profile_dump_file hook.
793         * rtl-profile (rtl_profile_dump_file): Removed.
794         (rtl_profile_hooks): emoved profile_dump_file hook.
795         * cfgloop.h (loop_optimizer_init, loop_optimizer_finalize): Declaration
796         changed.
797         * c-gimplify.c (c_genericize): Do not call local variable dump_file.
798         * tree-cfg.c (build_tree_cfg): Ditto.
799         * Makefile.in (haifa-sched.o, sched-ebb.o): Add output.h dependency.
800         * basic-block.h (life_analysis, pre_edge_lcm, pre_edge_rev_lcm):
801         Declaration changed.
802         * config/sh/sh.c (sh_output_mi_thunk): Do not pass dump_file to
803         life_analysis and schedule_insns.
804         * config/m68hc11/m68hc11.c (m68hc11_reorg): Do not pass dump_file to
805         life_analysis.
806         * config/mt/mt.c (mt_machine_reorg): Do not pass dump_file to
807         dbr_schedule.
808         * config/mips/mips.c (mips_reorg): Ditto.
809         * config/ia64/ia64.c (ia64_reorg): Do not pass dump_file to
810         schedule_ebbs.
811
812 2006-02-06  Aldy Hernandez  <aldyh@redhat.com>
813
814         * config/s390/s390.c (TARGET_MANGLE_FUNDAMENTAL_TYPE): Define.
815         (s390_mangle_fundamental_type): New.
816         * config/s390/linux.h (TARGET_ALTERNATE_LONG_DOUBLE_MANGLING):
817         Define.
818
819         * config/alpha/alpha.c (TARGET_MANGLE_FUNDAMENTAL_TYPE): Define.
820         (alpha_mangle_fundamental_type): New.
821         * config/alpha/linux.h (TARGET_ALTERNATE_LONG_DOUBLE_MANGLING):
822         Define.
823
824         * config/sparc/linux.h (TARGET_ALTERNATE_LONG_DOUBLE_MANGLING):
825         Define.
826         * config/sparc/linux64.h (TARGET_ALTERNATE_LONG_DOUBLE_MANGLING):
827         Define.
828         * config/sparc/sparc.c (TARGET_MANGLE_FUNDAMENTAL_TYPE): Define.
829         (sparc_mangle_fundamental_type): New.
830
831 2006-02-06  Jakub Jelinek  <jakub@redhat.com>
832
833         * config.gcc (s390-*-linux*): Add s390/t-linux to tmake_file.
834         (s390x-*-linux*): Likewise.
835         * config/s390/t-linux64 (SHLIB_MAPFILES): Removed.
836         * config/s390/t-linux: New file.
837
838 2006-02-02  Bernd Schmidt  <bernd.schmidt@analog.com>
839
840         * config/i386/sync.md (sync_add<mode>, sync_sub<mode>, sync_ior<mode>,
841         sync_and<mode>, sync_xor<mode>): Operand 0 is in-out.
842
843 2006-02-06  Daniel Berlin  <dberlin@dberlin.org>
844
845         * tree-ssa-pre.c (bb_value_sets_t): Add antic_safe_loads.
846         (ANTIC_SAFE_LOADS): New macro.
847         (find_or_generate_expression): Add prototype.
848         (set_contains_value): Allow null set for sake of not always having
849         to allocate ANTIC_SAFE_LOADS.
850         (phi_translate): Move placement of AGGREGATE_TYPE_P check.
851         Allow COMPONENT_REF too.
852         (valid_in_set): Allow COMPONENT_REF.
853         Check ANTIC_SAFE_LOADS too.
854         (compute_antic_aux): Print out ANTIC_SAFE_LOADS.
855         (compute_rvuse_and_antic_safe): Add ANTIC_SAFE computation, and
856         rename.
857         (can_PRE_operation): Add COMPONENT_REF.
858         (create_component_ref_by_pieces): New function.
859         (create_expression_by_pieces): Use create_component_ref_by_pieces.
860         (insert_aux): Move AGGREGATE_TYPE_P check here.
861         (compute_avail): Set bb local stmt uids.
862         (pass_pre): Use TODO_update_ssa_only_virtuals.
863         
864 2006-02-06  Ben Elliston  <bje@au.ibm.com>
865
866         * configure.ac: Unconditionally disable decimal float by default.
867         * configure: Regenerate.
868
869 2006-02-06  Ben Elliston  <bje@au.ibm.com>
870
871         * read-rtl.c (read_name): Terminate reading on EOF.
872
873 2006-02-06  Ben Elliston  <bje@au.ibm.com>
874
875         * dfp.c (decimal_real_arithmetic): Change second argument type
876         from int to enum tree_code. Do not always return true, but now
877         return result of any call to decimal_do helper functions.
878         * dfp.h (decimal_real_arithmetic): Update prototype.
879
880 2006-02-05  Eric Botcazou  <ebotcazou@libertysurf.fr>
881
882         * config/sparc/sol2-bi.h (SPARC_DEFAULT_CMODEL): Set to CM_MEDMID.
883
884 2006-02-05  Andrew Pinski  <pinskia@physics.uc.edu>
885
886         PR tree-opt/25251
887         * tree-cfg.c (cleanup_dead_labels): Also don't remove
888         forced labels.
889
890 2006-02-04  Zdenek Dvorak <dvorakz@suse.cz>
891
892         * tree-vrp.c (cfg_loops): Removed.
893         (adjust_range_with_scev, vrp_visit_assignment, execute_vrp):
894         Use current_loops instead of cfg_loops.  Pass flags to
895         loop_optimizer_init.
896         * cfgloopmanip.c (fix_loop_structure): Update only available
897         information.
898         * tree-ssa-loop-ch.c (copy_loop_headers): Pass flags to
899         loop_optimizer_init.
900         * modulo-sched.c (build_loops_structure): Removed.
901         (sms_schedule): Use loop_optimizer_init.
902         * loop-init.c (loop_optimizer_init): Use flags to determine
903         which properties of loops to prepare.
904         (rtl_loop_init): Pass flags to loop_optimizer_init.
905         * tree-ssa-sink.c (execute_sink_code): Ditto.
906         * tree-ssa-loop.c (tree_loop_optimizer_init): Ditto.
907         * tree-ssa-pre.c (init_pre): Ditto.
908         * cfgloop.h (LOOPS_NORMAL): New.
909         (loop_optimizer_init): Declaration changed.
910
911 2006-02-05  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
912
913         * pa/x-ada-hpux10, pa/t-pa-hpux10, pa/t-pa-hpux11: New files.
914         * config.gcc (hppa[12]*-*-hpux10*): Use pa/t-pa-hpux10 instead of
915         pa/t-pa.
916         * config.gcc (hppa[12]*-*-hpux11*): Use pa/t-pa-hpux11 instead of
917         pa/t-pa.
918         * config.host (hppa*-*-hpux10*): Use pa/x-ada-hpux10 instead of
919         pa/x-ada.
920         * pa/t-pa-hpux: Add lib2funcs.asm and quadlib.c rules.
921         * pa/t-pa64: Delete quadlib.c rule.
922         * pa/x-ada: Revert last change.
923         * pa/t-pa: Revert last change.  Delete quadlib.c rule.
924
925 2006-02-04  Zdenek Dvorak <dvorakz@suse.cz>
926
927         PR rtl-optimization/26087
928         * rtlanal.c (canonicalize_condition): Do not cross basic block
929         boundaries.
930
931 2006-02-04  Alexandre Oliva  <aoliva@redhat.com>
932
933         PR debug/24444
934         * config/ia64/ia64.c: Include debug.h.
935         (MAX_ARTIFICIAL_LABEL_BYTES): New.
936         (ia64_label_after_insn, ia64_dwarf2out_def_steady_cfa): New.
937         (IA64_CHANGE_CFA_IN_EPILOGUE): Define to 0.
938         (process_epilogue, process_set, process_for_unwind_directive):
939         Output unwind info only if requested.  Add CFA info if requested.
940         Add new arguments as needed.  Adjust callers.
941         * config/ia64/ia64.h (ARG_POINTER_CFA_OFFSET): Override
942         incorrect default.
943         (DWARF2_FRAME_INFO): Define to zero.
944         * config/ia64/unwind-ia64.c: Remove code that compensated for
945         the CFA offset error fixed above.
946         * config/ia64/t-ia64 (ia64.o): Depend on debug.h.
947         * dwarf2out.c (DWARF2_FRAME_INFO): Define default.
948         (dwarf2out_do_frame): Require nonzero DWARF2_UNWIND_INFO for
949         -funwind-tables and -fexceptions to enable frame info.
950         (dwarf2out_frame_init): Define initial CFA even if
951         DWARF2_UNWIND_INFO is disabled.  Call initial_return_save if
952         DWARF2_UNWIND_INFO is nonzero, not just defined.
953         (dwarf2out_frame_finish): Output non-EH call frame info only
954         if DWARF2_FRAME_INFO is nonzero.
955         (convert_cfa_to_loc_list,
956         compute_frame_pointer_to_cfa_displacement): Define even if
957         unwind info is not supported.
958         (gen_subprogram_die): Use the above unconditionally.  Remove
959         legacy alternate code.
960         * toplev.c (compile_file): Compile in call to
961         dwarf2out_frame_finish if DWARF2_DEBUGGING_INFO is defined.
962         (lang_dependent_init): Ditto for dwarf2out_frame_init.
963
964 2006-02-04  David Edelsohn  <edelsohn@gnu.org>
965             Jakub Jelinek  <jakub@redhat.com>
966
967         * config/rs6000/rs6000.c (rs6000_mangle_fundamental_type): Mangle
968         IBM extended float format long double as "g" on powerpc*-linux.
969
970 2006-02-03  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
971
972         PR target/25926
973         * pa/x-ada (X_ADA_CFLAGS): Define _X_HPUX10 on HP-UX 10.
974         * pa/t-pa (TARGET_LIBGCC2_CFLAGS): Define _T_HPUX10 on HP-UX 10.
975
976 2006-02-03  Jason Merrill  <jason@redhat.com>
977
978         PR c++/25979
979         * gimplify.c (gimplify_modify_expr_rhs): Disable *& optimization for now.
980
981         PR middle-end/25977
982         * gimplify.c (gimplify_modify_expr_rhs): It's not always safe to do RVO
983         on the return slot if it's an NRV.
984
985 2006-02-03  Zdenek Dvorak <dvorakz@suse.cz>
986
987         * tree-ssa-loop-ivopts.c (enum use_type): Remove USE_OUTER.
988         (dump_use, add_derived_ivs_candidates, determine_use_iv_cost,
989         rewrite_use): Do not handle USE_OUTER.
990         (find_interesting_uses_outer_or_nonlin, find_interesting_uses_outer,
991         add_iv_outer_candidates, may_replace_final_value,
992         determine_use_iv_cost_outer, rewrite_use_outer): Removed.
993         (find_interesting_uses_op): Functionality of
994         find_interesting_uses_outer_or_nonlin moved here.
995         (find_interesting_uses_outside): Use find_interesting_uses_op.
996
997 2006-02-03  Alan Modra  <amodra@bigpond.net.au>
998
999         PR target/25960
1000         * config/rs6000/darwin-ldouble.c (__gcc_qadd): Preserve -0.0 result.
1001
1002 2006-02-03  Andreas Krebbel  <krebbel1@de.ibm.com>
1003             Ulrich Weigand  <uweigand@de.ibm.com>
1004
1005         PR target/25864
1006         * config/s390/2084.md ("x_fsimptf", "x_fmultf", "x_fdivtf",
1007         "x_floadtf", "x_ftrunctf", "x_ftruncdf"): New insn reservations.
1008         * config/s390/fixdfdi.h (__fixunstfdi, __fixtfdi): New functions.
1009         * config/s390/s390.c (struct processor_costs): Add mxbr, sqxbr, dxbr 
1010         and dxr fields.
1011         (z900_cost, z990_cost, z9_109_cost): Values for the new fields added.
1012         (s390_rtx_costs): Use the new fields to calculate rtx costs.
1013         (s390_secondary_input_reload_class, s390_secondary_output_reload_class):
1014         Define secondary reloads for TFmode moves.
1015         (constant_modes): Add TFmode.
1016         (NR_C_MODES): Set to 8.
1017         * config/s390/s390.h (TARGET_CPU_CPP_BUILTINS): Add __LONG_DOUBLE_128__
1018         builtin define.
1019         (LONG_DOUBLE_TYPE_SIZE): Set to 128 or 64.
1020         (LIBGCC2_LONG_DOUBLE_TYPE_SIZE, WIDEST_HARDWARE_FP_SIZE): Define.
1021         (HARD_REGNO_NREGS, HARD_REGNO_MODE_OK, CLASS_MAX_NREGS, 
1022         CANNOT_CHANGE_MODE_CLASS): Consider TFmode.
1023         * config/s390/s390.md ("type" attribute): Add fsimptf, floadtf, fmultf, 
1024         fdivtf, fsqrttf, ftrunctf, ftruncdf as possible values.
1025         (FPR mode macro): Add TFmode.
1026         (DSF mode macro): New.
1027         (<de>, <dee> mode attributes): Removed.
1028         (<xde>, <xdee>, <RRe>, <RXe>, <Rf> mode attributes): New.
1029         ("*cmp<mode>_ccs_0", "*cmp<mode>_ccs_0_ibm", "*cmp<mode>_ccs", 
1030         "*cmp<mode>_ccs_ibm", "fix_trunc<FPR:mode><GPR:mode>2_ieee", 
1031         "floatdi<mode>2", "floatsi<mode>2_ieee", "*add<mode>3", 
1032         "*add<mode>3_cc", "*add<mode>3_cconly", "*add<mode>3_ibm", 
1033         "*sub<mode>3", "*sub<mode>3_cc", "*sub<mode>3_cconly", 
1034         "*sub<mode>3_ibm", "*mul<mode>3_ibm", "*fmadd<mode>", "*fmsub<mode>",
1035         "*div<mode>3", "*div<mode>3_ibm", "*neg<mode>2_cc", 
1036         "*neg<mode>2_cconly", "*neg<mode>2", "*neg<mode>2_ibm", 
1037         "*abs<mode>2_cc", "*abs<mode>2_cconly", "*abs<mode>2",
1038         "*abs<mode>2_ibm", "*negabs<mode>2_cc", "*negabs<mode>2_cconly", 
1039         "*negabs<mode>2", "sqrt<mode>2"):
1040         Changed <de> to <xde>. R constraint replaced by <Rf>.
1041         ("*mul<mode>3"): Changed <dee> to <xdee>. R constraint replaced by 
1042         <Rf>.
1043         ("fix_trunc<FPR:mode>di2"): 'FPR:' removed.
1044         ("*fmadd<mode>", "*fmsub<mode>"): FPR mode replaced by DSF.
1045         ("*movtf_64", "*movtf_31"): New insn definitions followed by 5 
1046         splitters.
1047         ("movtf", "reload_outtf", "reload_intf", "trunctfdf2", "trunctfsf2", 
1048         "extenddftf2", "extendsftf2"): New expanders.
1049         ("*trunctfdf2_ieee", "*trunctfdf2_ibm", "*trunctfsf2_ieee", 
1050         "*trunctfsf2_ibm", "*extenddftf2_ieee", "*extenddftf2_ibm",
1051         "*extendsftf2_ieee", "*extendsftf2_ibm"): New insn patterns.
1052         * config/s390/s390.opt (mlong-double-128, mlong-double-64):
1053         New options.
1054         * config/s390/t-crtstuff (TARGET_LIBGCC2_CFLAGS): Macro defined.
1055         * config/s390/libgcc-glibc.ver (__divtc3, __multc3, __powitf2, 
1056         __fixtfti, __fixunstfti, __floattitf, __fixtfdi, __fixunstfdi,
1057         __floatditf): Add a GCC_4.1.0 symbol version tag.
1058         * doc/invoke.texi (-mlong-double-128, -mlong-double-64): Document
1059         the new options.
1060
1061 2006-02-02  Andrew Pinski  <pinskia@physics.uc.edu>
1062
1063         PR target/25377
1064         * config/i386/i386.c (ix86_function_ok_for_sibcall):
1065         Use targetm.binds_local_p instead of TREE_PUBLIC.
1066
1067 2006-02-02  Roger Sayle  <roger@eyesopen.com>
1068
1069         * tree.h (TYPE_STRING_FLAG): Document that this field may be used
1070         on INTEGER_TYPEs to indicate that it denotes a character type.
1071         * tree.c (build_common_tree_nodes): Set TYPE_STRING_FLAG on
1072         signed_char_type_node, unsigned_char_type_node and char_type_node.
1073         * dwarf2out.c (base_type_die): Treat CHAR_TYPE identically to
1074         INTEGER_TYPE.  Use TYPE_STRING_FLAG to decide whether to emit
1075         a DW_ATE_[un]signed_char instead of a DW_ATE_[un]signed.
1076
1077 2006-02-02  Zdenek Dvorak <dvorakz@suse.cz>
1078             Daniel Berlin  <dberlin@dberlin.org>
1079
1080         * tree-tailcall.c (arg_needs_copy_p): New function.
1081         (eliminate_tail_call): Use arg_needs_copy_p.
1082         (tree_optimize_tail_calls_1): Ditto. Also call add_virtual_phis.
1083         (add_virtual_phis): New function.
1084
1085 2006-02-02  Jakub Jelinek  <jakub@redhat.com>
1086
1087         * config/sparc/sparc.c (sparc_output_scratch_registers): Use
1088         #ignore instead of #scratch for %g7 .register directive.
1089
1090 2006-02-02  Andreas Tobler  <a.tobler@schweiz.ch>
1091
1092         * config/sparc/freebsd.h (ENDFILE_SPEC): Add space to separate
1093         object files.
1094
1095 2006-02-02  Bernd Schmidt  <bernd.schmidt@analog.com>
1096
1097         * flow.c (calculate_global_regs_live): Assert that there aren't any
1098         EDGE_FAKE edges.
1099
1100 2006-02-02  Paolo Bonzini  <bonzini@gnu.org>
1101
1102         * tree-flow-inline.h (bsi_after_labels): Rewrite, return
1103         what its name says.
1104         * lambda-code.c (perfect_nestify): Use bsi_insert_before on
1105         bsi_after_labels iterator.
1106         * tree-if-conv.c (find_phi_replacement_condition,
1107         replace_phi_with_cond_modify_expr): Likewise.
1108         * tree-scalar-evolution.c (scev_const_prop): Likewise.
1109         * tree-ssa-loop-ivopts.c (compute_phi_arg_on_exit): Likewise.
1110
1111 2006-02-02  Diego Novillo  <dnovillo@redhat.com>
1112
1113         * tree-inline.c (copy_tree_r): Also copy OMP_CLAUSE nodes.
1114
1115 2006-02-02  Diego Novillo  <dnovillo@redhat.com>
1116
1117         PR 25990
1118         * tree-cfg.c (move_block_to_fn): Clear out the basic block
1119         array after growing it.
1120
1121 2006-02-01  Steve Ellcey  <sje@cup.hp.com>
1122
1123         PR middle-end/24901
1124         * fold-const.c (fold_checksum_tree): Change type of buf.
1125
1126 2006-02-01  Bernd Schmidt  <bernd.schmidt@analog.com>
1127
1128         * reload.c (push_secondary_reload): Initialize t_icode.
1129
1130 2006-02-01  Jakub Jelinek  <jakub@redhat.com>
1131
1132         * config/rs6000/sysv4.h (SUBTARGET_OVERRIDE_OPTIONS): For
1133         -msoft-float -mlong-double-128 only issue a warning, but don't
1134         swich to DFmode long double.
1135
1136 2006-02-01  Hans-Peter Nilsson  <hp@axis.com>
1137
1138         * cse.c (fold_rtx) <case RTX_COMM_COMPARE, RTX_COMPARE>: When arg1
1139         has a constant equivalent, iterate over equivalents for arg0,
1140         calling simplify_relational_operation and if there's a result
1141         cheaper than X, apply fold_rtx and return the result.
1142
1143 2006-02-01  Jan Hubicka  <jh@suse.cz>
1144
1145         * opts.c (no_unit_at_a_time_default): New global variable.
1146         (decode_options): Use it.
1147         * opts.h (no_unit_at_a_time_default): Declare.
1148
1149 2006-02-01  Paul Brook  <paul@codesourcery.com>
1150
1151         * function.c (assign_parm_setup_reg): Use function argument promotion
1152         rules.
1153         * expr.c (expand_expr_real_1): Use function argument promotion rules
1154         for PARM_DECLs.
1155
1156 2006-02-01  Steve Ellcey  <sje@cup.hp.com>
1157
1158         * gcc.c (process_command): Change j to 'unsigned int'.
1159
1160 2006-01-31  Andrew Pinski  <pinskia@physics.uc.edu>
1161
1162         PR middle-end/26001
1163         * expr.c (expand_expr_real_1) <case ARRAY_REF>:
1164         Use the corrected index for the character
1165         out of the string constant.
1166
1167 2006-01-31  Andrew Pinski  <pinskia@physics.uc.edu>
1168
1169         * mode-switching.c (optimize_mode_switching): Fix size
1170         allocated for bb_info[n_entities].
1171
1172 2006-01-31  Andrew Pinski  <pinskia@physics.uc.edu>
1173
1174         * gcc.c (main): Correct type that is allocated for
1175         explicit_link_files.
1176
1177 2006-01-31  Jakub Jelinek  <jakub@redhat.com>
1178
1179         * config/s390/s390.c (init_alignment_context): Set
1180         ALIAS_SET_MEMORY_BARRIER on the MEM.
1181         * config/sparc/sparc.c (sparc_expand_compare_and_swap_12): Likewise.
1182
1183 2006-01-31  Uttam Pawar  <uttamp@us.ibm.com>
1184
1185         PR middle-end/25933
1186         * loop-unroll.c (unroll_loop_runtime_iterations): Free
1187         dom_bbs pointer.
1188         * tree-ssa-live.c (type_var_init): Allocate bitmap after
1189         call to tpa_init.
1190
1191 2006-01-31  Marcin Dalecki  <martin@dalecki.de>
1192
1193         * tree-vrp.c: Use XNEW/XCNEW allocation wrappers.
1194         * regrename.c: Ditto.
1195         * tree-ssa-loop-im.c: Ditto.
1196         * tree-dump.c: Ditto.
1197         * tree-complex.c: Ditto.
1198         * genrecog.c: Ditto.
1199         * tree-ssa-threadupdate.c: Ditto.
1200         * tracer.c: Ditto.
1201         * java/class.c: Ditto.
1202         * java/jcf-parse.c: Ditto.
1203         * java/resource.c: Ditto.
1204         * java/except.c: Ditto.
1205         * java/jvspec.c: Ditto.
1206         * java/jcf-write.c: Ditto.
1207         * java/jcf-path.c: Ditto.
1208         * java/gjavah.c: Ditto.
1209         * java/zextract.c: Ditto.
1210         * java/jcf-io.c: Ditto.
1211         * java/jcf.h: Ditto.
1212         * java/buffer.c: Ditto.
1213         * java/lang.c: Ditto.
1214         * java/parse-scan.y: Ditto.
1215         * java/lex.c: Ditto.
1216         * java/lex.h: Ditto.
1217         * cfgloopmanip.c: Ditto.
1218         * postreload-gcse.c: Ditto.
1219         * tree-ssa-loop-manip.c: Ditto.
1220         * postreload.c: Ditto.
1221         * tree-ssa-loop-ch.c: Ditto.
1222         * loop.c: Ditto.
1223         * ipa-cp.c: Ditto.
1224         * cppspec.c: Ditto.
1225         * diagnostic.c: Ditto.
1226         * final.c: Ditto.
1227         * genoutput.c: Ditto.
1228         * gcc.c: Ditto.
1229         * cfghooks.c: Ditto.
1230         * cfgloopanal.c: Ditto.
1231         * objc/objc-act.c: Ditto.
1232         * gcov.c: Ditto.
1233         * genextract.c: Ditto.
1234         * genautomata.c: Ditto.
1235         * pretty-print.c: Ditto.
1236         * genemit.c: Ditto.
1237         * cgraphunit.c: Ditto.
1238         * flow.c: Ditto.
1239         * df-scan.c: Ditto.
1240         * haifa-sched.c: Ditto.
1241         * dominance.c: Ditto.
1242         * dbxout.c: Ditto.
1243         * tree-ssa-loop-ivopts.c: Ditto.
1244         * df-core.c: Ditto.
1245         * mode-switching.c: Ditto.
1246         * modulo-sched.c: Ditto.
1247         * graph.c: Ditto.
1248         * ipa-pure-const.c: Ditto.
1249         * cse.c: Ditto.
1250         * fix-header.c: Ditto.
1251         * web.c: Ditto.
1252         * tree-stdarg.c: Ditto.
1253         * ipa-utils.c: Ditto.
1254         * loop-init.c: Ditto.
1255         * ipa-inline.c: Ditto.
1256         * cfganal.c: Ditto.
1257         * global.c: Ditto.
1258         * alloc-pool.c: Ditto.
1259         * dwarf2out.c: Ditto.
1260         * opts.c: Ditto.
1261         * genattrtab.c: Ditto.
1262         * tree-ssa-loop-ivcanon.c: Ditto.
1263         * predict.c: Ditto.
1264         * timevar.c: Ditto.
1265         * lcm.c: Ditto.
1266         * fortran/gfortranspec.c: Ditto.
1267         * regmove.c: Ditto.
1268         * local-alloc.c: Ditto.
1269         * langhooks.c: Ditto.
1270         * function.c: Ditto.
1271         * tree-vectorizer.c: Ditto.
1272         * gcse.c: Ditto.
1273         * ipa-type-escape.c: Ditto.
1274         * alias.c: Ditto.
1275         * tree-if-conv.c: Ditto.
1276         * profile.c: Ditto.
1277         * ipa.c: Ditto.
1278         * tree-data-ref.c: Ditto.
1279         * loop-unroll.c: Ditto.
1280         * treelang/treetree.c: Ditto.
1281         * calls.c: Ditto.
1282         * bt-load.c: Ditto.
1283         * ggc-common.c: Ditto.
1284         * except.c: Ditto.
1285         * coverage.c: Ditto.
1286         * cselib.c: Ditto.
1287         * tree-cfgcleanup.c: Ditto.
1288         * tree-ssa-pre.c: Ditto.
1289         * cfgcleanup.c: Ditto.
1290         * loop-invariant.c: Ditto.
1291         * loop-iv.c: Ditto.
1292         * ipa-prop.c: Ditto.
1293         * print-tree.c: Ditto.
1294         * conflict.c: Ditto.
1295         * ggc-page.c: Ditto.
1296         * sched-deps.c: Ditto.
1297         * regclass.c: Ditto.
1298         * tree-object-size.c: Ditto.
1299         * combine.c: Ditto.
1300         * bb-reorder.c: Ditto.
1301         * resource.c: Ditto.
1302         * var-tracking.c: Ditto.
1303         * cfgloop.c: Ditto.
1304         * df-problems.c: Ditto.
1305         * reg-stack.c: Ditto.
1306         * tlink.c: Ditto.
1307         * gccspec.c: Ditto.
1308         * sched-rgn.c: Ditto.
1309         * tree-ssa-structalias.c: Ditto.
1310         * tree-ssa-reassoc.c: Ditto.
1311         * config/darwin-c.c: Ditto.
1312         * config/darwin.c: Ditto.
1313         * config/arm/arm.c: Ditto.
1314         * cfgrtl.c: Ditto.
1315         * collect2.c: Ditto.
1316         * reload1.c: Ditto.
1317
1318 2006-01-31  Nicolas Pitre  <nico@cam.org>
1319
1320         * arm.md (smaxsi3): Make aware of smax_m1.
1321         (smax_m1): New.
1322
1323 2006-01-31  Nathan Sidwell  <nathan@codesourcery.com>
1324
1325         * gcc/config/m68k/lb1sf68.asm: Use moveq to load small constants.
1326
1327 2006-01-31  Richard Guenther  <rguenther@suse.de>
1328
1329         * doc/invoke.texi (-msselibm): Document.
1330         * target.h (expand_library_builtin): New target hook.
1331         * builtins.c (expand_builtin): Use expand_library_builtin.
1332         (default_expand_library_builtin): New function.
1333         * gcc.c (LINK_GCC_MATH_SPEC): Define.
1334         (LINK_COMMAND_SPEC): Handle %(link_gcc_math).
1335         (link_gcc_math_spec): Declare.
1336         (static_specs): Add link_gcc_math_spec.
1337         * expr.h (default_expand_library_builtin): Declare.
1338         * target-def.h (TARGET_EXPAND_LIBRARY_BUILTIN): Define.
1339         (TARGET_INITIALIZER): Add TARGET_EXPAND_LIBRARY_BUILTIN.
1340         * config/i386/i386.h: Provide LINK_GCC_MATH_SPEC.
1341         * config/i386/i386.opt (msselibm): New target option.
1342         * config/i386/i386.c (ix86_builtin_function_variants): New array.
1343         (ix86_init_sse_abi_builtins): New function.
1344         (ix86_expand_library_builtin): Likewise.
1345         (TARGET_EXPAND_LIBRARY_BUILTIN): Define.
1346         (override_options): Handle error conditions wrt -msselibm.
1347         (ix86_builtins): Add function codes for SSE2 ABI builtins.
1348         (ix86_init_builtins): Call ix86_init_sse_abi_builtins.
1349         * doc/extend.texi (__builtin_sse2_*): Document new target specific
1350         builtins.
1351
1352 2006-01-31  Richard Guenther  <rguenther@suse.de>
1353         Paolo Bonzini  <bonzini@gnu.org>
1354
1355         * doc/install.texi (--disable-libgcc-math): Document.
1356
1357 2006-01-30  Marcin Dalecki  <martin@dalecki.de>
1358
1359         * expr.h (expand_normal): new inline function.
1360         * builtins.c: use it, use EXPAND_NORMAL explicitely.
1361         * dojump.c: use it.
1362         * dwarf2out.c: use it.
1363         * expr.c: use it.
1364         * calls.c: use it.
1365         * expmed.c: use it.
1366         * except.c: use it.
1367         * config/sparc/sparc.c: use it.
1368         * config/i386/i386.c: use it.
1369         * config/rs6000/rs6000.c: use it.
1370         * config/arm/arm.c: use it.
1371         * config/mips/mips.c: use it.
1372         * stmt.c: use it, use EXPAND_NORMAL explicitely.
1373
1374 2006-01-30  Roger Sayle  <roger@eyesopen.com>
1375
1376         * config/i386/cygwin.h (GCC_DRIVER_HOST_INITIALIZATION): Cast
1377         argv to the appropriate type.
1378
1379 2006-01-30  Zdenek Dvorak <dvorakz@suse.cz>
1380
1381         * tree-ssa-dce.c (mark_stmt_if_obviously_necessary): Remove
1382         unreachable code.
1383
1384 2006-01-30  Ulrich Weigand  <uweigand@de.ibm.com>
1385
1386         PR target/26018
1387         * config/s390/s390.c (struct machine_function): New flag
1388         decomposed_literal_pool_addresses_ok_p.
1389         (s390_reorg): Set it before final stage of literal pool transforms.
1390         (s390_decompose_address): Only accept displacements of the form
1391         (minus (label_ref ...) (label_ref ...)) if that flag is set.
1392
1393 2006-01-30  Carlos O'Donell  <carlos@codesourcery.com>
1394
1395         * optabs.c (prepare_cmp_insn): If unbaised and unsigned then bias
1396         the comparison routine return.
1397
1398 2006-01-30  Michael Matz  <matz@suse.de>
1399
1400         * global.c (find_reg): Only evict for global regs.
1401         Take n_refs into account and dump more info.
1402
1403 2006-01-30  J"orn Rennecke <joern.rennecke@st.com>
1404
1405         PR target/14798:
1406         * sh.c (pragma_interrupt, trap_exit, sp_switch): Remove variable.
1407         (pragma_trap, pragma_nosave_low_regs): Likewise.
1408         (current_function_anonymous_args): Likewise.
1409         (sh_deferred_function_attributes): New variable.
1410         (sh_deferred_function_attributes_tail): Likewise.
1411         (print_operand): For '@', look up trap_exit attribute.
1412         (calc_live_regs): Look up trapa_handler attribute.  For trapa
1413         handlers, save/restore fpscr, but don't do any other
1414         interrupt-specific saves.
1415         Don't save r0..r7 if the nosave_low_regs attribute is in effect.
1416         Fix check for partially saved registers to check for SHmedia.
1417         (sh_expand_prologue, sh_expand_epilogue): Look up sp_switch attribute.
1418         (sh_output_function_epilogue): Don't clear any of the removed
1419         variables.
1420         (sh_insert_attributes): Don't check pragma_interrupt.
1421         Insert deferred attributes.  Check that interrupt attribute is
1422         present for other attributes that require its presence.
1423         (sh_attribute_table): Add new attributes trapa_handler and
1424         nosave_low_regs.
1425         (sh_handle_sp_switch_attribute, sh_handle_trap_exit_attribute):
1426         Don't check for pragma_interrupt.  Don't store argument.
1427         * sh.h (pragma_interrupt, sp_switch): Don't declare.
1428         (sh_deferred_function_attributes): Declare.
1429         (sh_deferred_function_attributes_tail): Likewise.
1430         * sh.md (sp_switch_1): Add operand.  Change generator caller.
1431         (sh_pr_interrupt, sh_pr_trapa, sh_pr_nosave_low_regs): Remove.
1432         (*return_i): Don't use when trap_exit attribute is in effect.
1433         (*return_trapa): New insn pattern.
1434         * sh-c.c: New file.
1435         * config.gcc (sh[123456ble]*-* | sh-*-*): New trailer stanza,
1436         setting c_target_objs and cxx_target_objs.
1437         * t-sh: Add rule for sh-c.o.
1438
1439 2006-01-30  Richard Guenther  <rguenther@suse.de>
1440
1441         PR c++/23372
1442         * gimplify.c (gimplify_target_expr): Handle easy cases
1443         without creating a temporary.
1444
1445 2006-01-30  Nathan Sidwell  <nathan@codesourcery.com>
1446
1447         * vec.h (safe_grow): Remove duplicated line.
1448
1449 2006-01-29  Diego Novillo  <dnovillo@redhat.com>
1450
1451         PR 25874
1452         * omp-low.c (execute_expand_omp): Move CFG cleanup code ...
1453         (expand_omp): ... here.
1454         (expand_omp_parallel): Only remove barriers for combined
1455         parallel+workshare constructs.
1456
1457 2006-01-29  Eric Botcazou  <ebotcazou@adacore.com>
1458
1459         Revert
1460
1461         2005-11-09  Eric Botcazou  <ebotcazou@adacore.com>
1462         * tree.c (build_qualified_type): Chain the new type to the original
1463         type's TYPE_NEXT_PTR_TO or TYPE_NEXT_REF_TO linked lists if it is
1464         a POINTER_TYPE or a REFERENCE_TYPE respectively.
1465         (build_pointer_type_for_mode): Only return unqualified types.
1466         (build_reference_type_for_mode): Likewise.
1467
1468 2006-01-29  Gabriel Dos Reis  <gdr@integgrable-solutions.net>
1469
1470         * configure.ac (cxx_compat_warn): Set if -Wc++-compat is supported.
1471         * Makefile.in (CXX_COMPAT_WARN): Define.
1472         * configure: Regenerate.
1473
1474 2006-01-29  Dorit Nuzman  <dorit@il.ibm.com>
1475
1476         PR tree-opt/25911
1477         * tree-vect-patterns.c (vect_recog_dot_prod_pattern): Change assert
1478         to an if check.
1479
1480 2006-01-29  Gabriel Dos Reis  <gdr@integrable-solutions.net>
1481
1482         * toplev.c: Fix thinko.
1483
1484 2006-01-29  Gabriel Dos Reis  <gdr@integrable-solutions.net>
1485             Marcin Dalecki  <martin@dalecki.de>
1486
1487         * toplev.c (floor_log2, exact_log2): Don't define if __cplusplus.
1488         (push_srcloc): Use XNEW.
1489         (init_asm_output, default_get_pch_validity): Use XNEWVEC.
1490
1491 2006-01-29  Kenneth Zadeck <zadeck@naturalbridge.com>
1492
1493         * df-core.c (df_set_blocks): Deleted all variable.
1494
1495 2006-01-28  Ian Lance Taylor  <ian@airs.com>
1496
1497         * cgraphunit.c (cgraph_assemble_pending_functions): Call
1498         cgraph_output_pending_asms.
1499
1500 2006-01-28  Zack Weinberg  <zackw@panix.com>
1501
1502         * c.opt: Add -W(no-)overlength-strings.
1503         * doc/invoke.texi: Document it.
1504         * c-opts.c (c_common_handle_option): -pedantic implies
1505         -Woverlength-strings, if not explicitly disabled already.
1506         (c_common_post_options): -Woverlength-strings defaults to off, and
1507         is always off for C++.
1508         * c-common.c (fix_string_type): Issue warning about strings longer
1509         than is portable only if warn_overlength_strings.  Rearrange code
1510         a little for clarity.
1511         * configure.in: Check for -Wno-overlength-strings as well before
1512         enabling -pedantic in stage 1.
1513         * Makefile.in (STRICT2_WARN): Add -Wno-overlength-strings.
1514         (gcc.o-warn, insn-automata.o-warn, build/gencondmd.o-warn): Delete.
1515
1516         * genconditions.c (write_header, write_one_condition)
1517         (write_conditions, write_writer): Consolidate very long strings
1518         that were broken up to fit in C89 portable limit.  Don't use
1519         printf when fputs will do.
1520
1521 2006-01-28  Adam Nemet  <anemet@caviumnetworks.com>
1522
1523         * combine.c (simplify_comparison <AND>): Check
1524         TRULY_NOOP_TRUNCATION before start using a subreg.
1525
1526         * config/mips/mips.md (*branch_zero<mode>,
1527         *branch_zero<mode>_inverted, *branch_equality<mode>,
1528         *branch_equality<mode>_inverted, *branch_equality<mode>_mips16):
1529         Remove mode check from comparisons.
1530
1531 2006-01-28  Kenneth Zadeck <zadeck@naturalbridge.com>
1532
1533         * config/mips/mips-protos.h (mips_set_live_on_entry): Deleted.
1534
1535 2006-01-28  Kazu Hirata  <kazu@codesourcery.com>
1536
1537         * expmed.c (const_mult_add_overflow_p): Remove.
1538         * expr.h: Remove the prototype for const_mult_add_overflow_p.
1539
1540         * recog.c (validate_replace_rtx_subexp): Remove.
1541         * recog.h: Remove the prototype for
1542         validate_replace_rtx_subexp.
1543
1544         * integrate.h: Remove the prototype for
1545         copy_decl_for_inlining.
1546         * rtl.h: Remove the prototype for mark_constant_function.
1547         * tree-vectorizer.h: Remove the prototype for
1548         vect_strip_conversion.
1549
1550         * modulo-sched.c (create_partial_schedule,
1551         free_partial_schedule, reset_partial_schedule): Make them
1552         static.
1553
1554         * hooks.c (hook_bool_rtx_int_false): Remove.
1555         * hooks.h: Remove the prototype for hook_bool_rtx_int_false.
1556
1557 2006-01-28  David Edelsohn  <edelsohn@gnu.org>
1558
1559         * config/rs6000/aix43.h (SUBTARGET_OVERRIDE_OPTIONS): -msoft-float
1560         and -mlong-double-128 are incompatible.
1561         * config/rs6000/aix52.h (SUBTARGET_OVERRIDE_OPTIONS): Same.
1562         * config/rs6000/t-aix43 (LIB2FUNCS_EXTRA): Add ppc64-fp.c.
1563         (TARGET_LIBGCC2_CFLAGS): Define.
1564         * config/rs6000/t-aix52 (LIB2FUNCS_EXTRA): Same.
1565         (TARGET_LIBGCC2_CFLAGS): Same.
1566         * config/rs6000/ppc64-fp.c: Compile for 64-bit AIX.
1567
1568 2006-01-28  Kazu Hirata  <kazu@codesourcery.com>
1569
1570         PR c/19606.
1571         * c-typeck.c (build_binary_op): Perform implicit casts of
1572         operands before shortening them.
1573
1574         * cfgloopmanip.c (split_loop_bb): Remove.
1575         * cfgloop.h: Remove the prototype for split_loop_bb.
1576
1577         * cfgloop.c (flow_loop_outside_edge_p): Remove.
1578         * cfgloop.h: Remove the prototype for
1579         flow_loop_outside_edge_p.
1580
1581         * emit-rtl.c (init_virtual_regs): Make it static.
1582         * function.h: Remove the prototype for init_virtual_regs.
1583
1584         * recog.c (peephole2_optimize): Make it static.
1585         * recog.h: Remove the prototype for peephole2_optimize.
1586
1587 2006-01-27  H.J. Lu  <hongjiu.lu@intel.com>
1588
1589         * df-scan.c (df_record_entry_block_defs): Check if
1590         INCOMING_RETURN_ADDR_RTX is defined.
1591
1592 2006-01-27  Daniel Berlin  <dberlin@dberlin.org>
1593             Kenneth Zadeck <zadeck@naturalbridge.com>
1594
1595         PR rtl-optimization/24762
1596         * doc/tm.texi: Added TARGET_EXTRA_LIVE_ON_ENTRY.
1597         * targhooks.c (hook_void_bitmap): New hook prototype.
1598         * targhoohs.h (hook_void_bitmap): Ditto.
1599         * bitmap.h (bitmap_head_def): Moved to coretypes.h.
1600         * coretypes.h (bitmap_head_def): Moved from bitmap.h.
1601         * target.h (live_on_entry): New function pointer.
1602         * df-scan.c (df_all_hard_regs): Removed.
1603         (df_scan_dump, df_hard_reg_init): Removed df_all_hard_regs.
1604         (df_scan_free_internal): Added df->entry_block_defs.
1605         (df_scan_alloc): Ditto.
1606         (df_scan_dump): Ditto.
1607         (df_uses_record): Plumbed flag field properly thru calls.
1608         Record EH_RETURN_DATA_REGNO in eh blocks unconditionally.
1609         This part fixes PR24762.
1610         (df_bb_refs_record): Added code to make the frame and arg
1611         pointers live in EH blocks.
1612         (df_refs_record): Added call to df_record_entry_block_defs.
1613         (df_record_entry_block_defs): New function.
1614         * df-core.c: Added comments to describe new artifical defs.
1615         * df.h (DF_REF_DIES_AFTER_THIS_USE): New flag in enum df_ref_flags.
1616         (entry_block_defs): New field in struct df.
1617         (df_all_hard_regs): Deleted.
1618         * target-def.h: Added TARGET_EXTRA_LIVE_ON_ENTRY.
1619         * df-problems.c (df_ru_bb_local_compute_process_def):
1620         Added code to handle artifical defs in the entry to a function.
1621         (df_ru_bb_local_compute): Ditto.
1622         (df_rd_bb_local_compute_process_def):  Ditto.
1623         (df_rd_bb_local_compute): Ditto.
1624         (df_lr_bb_local_compute): Ditto.
1625         (df_ur_bb_local_compute): Ditto.
1626         (df_urec_bb_local_compute):  Ditto.
1627         (df_chain_create_bb):  Ditto.
1628         (df_ur_local_finalize): Removed entry.
1629         (df_urec_init): Ditto.
1630         (df_urec_local_finalize): Ditto.
1631         (df_ri_bb_compute): Added detection of last use of pseudos.
1632         * Makefile.in (df-scan.o): Updated dependencies.
1633         * config/mips/mips-protos.h (mips_set_live_on_entry): Added.
1634         * config/mips/mips.c (mips_set_live_on_entry): Added.
1635         * config/mips/mips.c (TARGET_EXTRA_LIVE_ON_ENTRY): Added value
1636         for target hook.
1637         * dce.c (marked_insn_p): Added code to handle artifical defs.
1638
1639 2006-01-27  H.J. Lu  <hongjiu.lu@intel.com>
1640
1641         * config/i386/emmintrin.h (_mm_cvtsd_f64): Add missing Intel
1642         intrinsic.
1643         (_mm_cvtsi128_si64): Likewise.
1644         (_mm_cvtsd_si64): Likewise.
1645         (_mm_cvttsd_si64): Likewise.
1646         (_mm_cvtsi64_sd): Likewise.
1647         (_mm_cvtsi64_si128): Likewise.
1648         * config/i386/mmintrin.h (_m_from_int64): Likewise.
1649         (_mm_cvtsi64_m64): Likewise.
1650         (_m_to_int64): Likewise.
1651         (_mm_cvtm64_si64): Likewise.
1652         * config/i386/xmmintrin.h (_mm_cvtss_si64): Likewise.
1653         (_mm_cvttss_si64): Likewise.
1654         (_mm_cvtsi64_ss): Likewise.
1655         (_mm_cvtss_f32): Likewise.
1656
1657 2006-01-27  Carlos O'Donell  <carlos@codesourcery.com>
1658
1659         * c-pragma.c (init_pragma) : Call c_register_pragma_with_expansion
1660         for pragma redefine_extname.
1661
1662 2006-01-27  Jakub Jelinek  <jakub@redhat.com>
1663
1664         PR target/25864
1665         * libgcc-std.ver: Add GCC_4.1.0 symbol version.
1666         * config/rs6000/t-linux64 (TARGET_LIBGCC2_CFLAGS): Only append
1667         -mno-minimal-toc to previous content.
1668         (bispecs): Remove goal.
1669         * config/rs6000/ppc64-fp.c: Define TMODES before including fp-bit.h.
1670         * config/rs6000/darwin-ldouble.c: Don't provide _xlq*@GCC_3.4
1671         compatibility aliases on powerpc-*-*gnu*.
1672         * config/rs6000/libgcc-ppc-glibc.ver: New file.
1673         * config/rs6000/t-ppccomm (SHLIB_MAPFILES): Append
1674         libgcc-ppc-glibc.ver on powerpc*-*-*gnu*.
1675         (TARGET_LIBGCC2_CFLAGS): Append -specs=ldblspecs.
1676         (ldblspecs): New goal.
1677         * config/rs6000/t-linux64 (SHLIB_MAPFILES): Removed.
1678         * mklibgcc.in: If $TPBIT is empty, don't compile _sf_to_tf and
1679         _df_to_tf.
1680         * config/fp-bit.h (TMODES): Don't define if none of TFLOAT,
1681         L_sf_to_tf or L_df_to_tf is defined.
1682
1683 2006-01-27  David Edelsohn  <edelsohn@gnu.org>
1684             Alan Modra  <amodra@bigpond.net.au>
1685
1686         PR target/25864
1687         * config/rs6000/linux.h (POWERPC_LINUX): Define.
1688         * config/rs6000/linux64.h (POWERPC_LINUX): Define.
1689         * config/rs6000/darwin-ldouble.c: Build on 32-bit PowerPC.
1690         * config/rs6000/darwin.h (TARGET_IEEEQUAD): Define to zero.
1691         * config/rs6000/aix.h (TARGET_IEEEQUAD): Define to zero.
1692         * config/rs6000/rs6000.c (rs6000_ieeequad): New variable.
1693         (rs6000_override_options): Initialize rs6000_ieeequad.
1694         Initialize TFmode format to ibm_extended_format if not
1695         TARGET_IEEEQUAD.
1696         (rs6000_handle_option): Accept -mabi= ibmlongdouble and
1697         ieeelongdouble.
1698         (rs6000_emit_move): Move !TARGET_IEEEQUAD as two parts.
1699         (rs6000_return_in_memory): Only return IEEEQUAD in memory.
1700         (function_arg_advance): IBM long double passed in two FPRs, not
1701         split.
1702         (function_arg): IBM long double passed in FPRs.
1703         (rs6000_pass_by_reference): Only IEEEQUAD passed by reference.
1704         (rs6000_gimplify_va_arg): IBM long double passed in two FPRs.
1705         Only multireg GPR aligned.
1706         (rs6000_init_libfuncs): Enable IBM long double functions if not
1707         IEEEQUAD.
1708         (rs6000_generate_compare): Use IBM long double compare if not
1709         TARGET_IEEEQUAD.
1710         * config/rs6000/rs6000.h (rs6000_ieeequad): Declare.
1711         (TARGET_IEEEQUAD): Define.
1712         (CANNOT_CHANGE_MODE_CLASS): Any mode larger than doubleword if
1713         not TARGET_IEEEQUAD.
1714         * config/rs6000/rs6000.md: Enable TFmode patterns if
1715         !TARGET_IEEEQUAD.
1716         * config/rs6000/t-ppccomm (LIB2FUNCS_EXTRA): Add darwin-ldouble.c.
1717         * config/rs6000/svr4.h (SUBTARGET_OVERRIDE_OPTIONS): -msoft-float
1718         and -mlong-double-128 are incompatible.
1719         * doc/invoke.texi (-mabi): Collect options together.  Add
1720         ibmlongdouble and ieeelongdouble.
1721
1722 2006-01-27  Richard Sandiford  <richard@codesourcery.com>
1723
1724         * doc/rtl.texi (SYMBOL_REF_DATA): Adjust documentation for new
1725         opaque type.
1726         * optabs.c (init_one_libfunc): Use SET_SYMBOL_REF_DECL.
1727         * varasm.c (make_decl_rtl, build_constant_desc): Likewise.
1728         (force_const_mem): Use SET_SYMBOL_REF_CONSTANT.
1729         * rtl.h (rtunion_def): Remove rt_ptr.
1730         (X0PTR): Delete.
1731         (SYMBOL_REF_DATA): Use X0ANY instead of X0PTR.
1732         (SET_SYMBOL_REF_DECL, SET_SYMBOL_REF_CONSTANT): New macros.
1733         * config/i386/winnt.c (i386_pe_mark_dllexport)
1734         (i386_pe_mark_dllimport): Use SET_SYMBOL_REF_DECL.
1735
1736 2006-01-27 Gabor Loki <loki@gcc.gnu.org>
1737
1738         * cfgcleanup.c (try_crossjump_to_edge): Fix comment typo.
1739
1740 2006-01-26 Alexandre Oliva  <aoliva@redhat.com>
1741
1742         PR other/24829
1743         PR target/24831
1744         * gthr-dce.h: Do not gthrw-ify pthread_once_init,
1745         pthread_key_delete.  From John David Anglin.  gthrw-ify
1746         pthread_getunique_np only if it it's not a macro.  Delete
1747         UNUSED macro.
1748         (__gthread_objc_condition_allocate, __gthread_objc_condition_deallocate,
1749         __gthread_objc_condition_wait, __gthread_objc_condition_broadcast,
1750         __gthread_objc_condition_signal, __gthread_key_delete): Add
1751         "__attribute__ ((__unused__))" to unused arguments.
1752         (__gthread_recursive_mutex_init_function): Add missing return.
1753         * gthr-dce.h, gthr-tpf.h, gthr-solaris.h, gthr-posix.h,
1754         gthr-posix95.h: Use macro-based approach for name redirection
1755         on targets missing weakref.
1756
1757 2006-01-26  Zack Weinberg  <zackw@panix.com>
1758
1759         * genconditions.c (write_header): In generated code, #ifdef out
1760         all includes and fake declarations, except includes of bconfig.h
1761         and system.h, unless GCC_VERSION >= 3001.  Do not include
1762         gensupport.h in any case.
1763         (write_conditions): Generate a definition of struct c_test.  Add
1764         a comment to the generated #endif.
1765         (write_one_condition): Escape backslashes in string too.
1766         (write_writer): Generated code must escape backslashes and quote
1767         marks (but not newlines) in the strings it writes.
1768         * Makefile.in (build/gencondmd.o): Update dependencies.
1769
1770 2006-01-26  Steve Ellcey  <sje@cup.hp.com>
1771
1772         PR target/25961
1773         * Makefile.in (insn-automata.o): Add header file dependencies.
1774         * genautomata.c: Add includes.
1775
1776 2006-01-26  Steve Ellcey  <sje@cup.hp.com>
1777
1778         PR target/25961
1779         * Makefile.in (insn-automata.o): Add -Wno-error flag.
1780
1781 2006-01-26  Paolo Bonzini  <bonzini@gnu.org>
1782
1783         * configure.ac: Expect target tools paths to be passed from the toplevel
1784         and wrap the detection into AS_SET_VAR_IF.  Extract side-effects out of
1785         AS_SET_VAR_IF.
1786         * acinclude.m4 (gcc_AC_TOOL_DIRS, gcc_AC_CHECK_TOOL): Remove.
1787
1788 2006-01-26  Alexandre Oliva  <aoliva@redhat.com>
1789
1790         PR c/25892
1791         * c.opt (Wpointer-sign): Init to -1.
1792         * c-opts.c (c_common_handle_option): Set to 1 on OPT_Wall and
1793         OPT_pedantic, to 0 otherwise.
1794         * doc/invoke.texi: Update.
1795
1796 2006-01-26  Paolo Bonzini  <bonzini@gnu.org>
1797
1798         * config/i386/i386.md (extendsfdf2, extendsfxf2, extenddfxf2): Emit
1799         constants provided by 80387 instructions in the destination mode.
1800
1801 2006-01-26  Richard Guenther  <rguenther@suse.de>
1802             Andrew Pinski  <pinskia@physics.uc.edu>
1803
1804         PR tree-opt/21470
1805         partial PR tree-opt/17064
1806         * tree-ssa-structalias.c (intra_create_variable_infos):
1807         Create heap variables for incoming parameters if
1808         flag_argument_noalias > 1.
1809         (find_what_p_points_to): Look through default defs of
1810         parameter decls.
1811
1812 2006-01-26  Jeff Law  <law@redhat.com>
1813
1814         PR ada/25900
1815         * tree-vrp.c (extract_range_from_assert): When merging a VR_RANGE
1816         with a VR_ANTI_RANGE and the VR_ANTI_RANGE is completely contained
1817         within the VR_RANGE, use the VR_RANGE as the result, not the
1818         VR_ANTI_RANGE.
1819         (adjust_range_with_scev): Reject ranges from SCEV which are out of
1820         bounds for the type.
1821
1822 2006-01-26  Daniel Berlin  <dberlin@dberlin.org>
1823
1824         * tree-ssa-alias.c (maybe_create_global_var): Change
1825         subvar walking to an assertion that we don't have subvar'd variables.
1826
1827 2006-01-26  Andrew Pinski  <pinskia@physics.uc.edu>
1828
1829         PR C/25861
1830         * c-common.c (c_common_truthvalue_conversion) <case ADDR_EXPR>:
1831         Use a new variable, inner.  PARM_DECLs are always non-weak.
1832
1833 2006-01-26  Shantonu Sen  <ssen@opendarwin.org>
1834
1835         * tree.h (OMP_CLAUSE_SUBCODE_CHECK): Add definition for
1836         --disable-checking.
1837
1838 2006-01-26  Adam Nemet  <anemet@caviumnetworks.com>
1839
1840         * config/mips/mips.md (*clear_upper32): New combiner pattern.
1841
1842 2006-01-26  Richard Earnshaw  <richard.earnshaw@arm.com>
1843
1844         * arm.md (smaxsi3, sminsi3): Convert to define_expand.
1845         (smax_insn, smin_insn, smax_0, smin_0): New.
1846
1847 2006-01-26  Hans-Peter Nilsson  <hp@axis.com>
1848
1849         PR target/25947
1850         * config/cris/cris.c (cris_order_for_addsi3): New function.
1851         * config/cris/cris-protos.h: Prototype it.
1852         * config/cris/cris.md (split for "move.S1 [rx=rx+i],ry")
1853         (split for "move.S1 ry,[rx=rx+i]", split for "clear.[bwd] [rx=rx+i]")
1854         (split for "mov(s|u).S1 [rx=rx+i],ry", split for "op.S1 [rx=rx+i],ry")
1855         (split for "op.S1 [rx=rx+i],ry (swapped)")
1856         (split for "op(s|u).S1 [rx=rx+i],ry")
1857         (split for "op(s|u).S1 [rx=rx+i],ry (swapped, plus or bound)"):
1858         Apply cris_order_for_addsi3 when generating addsi3 insns.
1859
1860 2006-01-25  Diego Novillo  <dnovillo@redhat.com>
1861
1862         * tree.h (TREE_RANGE_CHECK): Fix range predicate.
1863         (TREE_BLOCK): Add call to EXPR_CHECK.
1864
1865 2006-01-25  Diego Novillo  <dnovillo@redhat.com>
1866
1867         PR 25886
1868         * tree-dump.c (dequeue_and_dump): Handle OMP_CLAUSE.
1869         * tree-pretty-print.c (dump_omp_clause): Extract from ...
1870         (dump_omp_clauses): ... here.
1871         (dump_generic_node): Handle OMP_CLAUSE.
1872         * tree.c (omp_clause_num_ops): New.
1873         (omp_clause_code_name): New.
1874         (tree_code_size): Handle OMP_CLAUSE.
1875         (tree_size): Likewise.
1876         (make_node): Document handling of OMP_CLAUSE.
1877         (tree_node_structure): Handle OMP_CLAUSE.
1878         (omp_clause_check_failed): New.
1879         (omp_clause_range_check_failed): New.
1880         (omp_clause_operand_check_failed): New.
1881         (build_omp_clause): New.
1882         (walk_tree): Adjust handling of OMP_CLAUSE_* nodes.
1883         * tree.h (enum omp_clause_code): Declare.
1884         (OMP_CLAUSE_SUBCODE_CHECK): Define.
1885         (OMP_CLAUSE_RANGE_CHECK): Define.
1886         (OMP_CLAUSE_ELT_CHECK): Define.
1887         (omp_clause_check_failed): Declare.
1888         (omp_clause_operand_check_failed): Declare.
1889         (omp_clause_range_check_failed): Declare.
1890         (OMP_CLAUSE_CHAIN): Do not use TREE_RANGE_CHECK.
1891         (OMP_CLAUSE_OPERAND): Use OMP_CLAUSE_RANGE_CHECK.
1892         (OMP_CLAUSE_PRIVATE_DEBUG): Use OMP_CLAUSE_SUBCODE_CHECK.
1893         (OMP_CLAUSE_LASTPRIVATE): Likewise.
1894         (OMP_CLAUSE_IF_EXPR): Likewise.
1895         (OMP_CLAUSE_NUM_THREADS_EXPR): Likewise.
1896         (OMP_CLAUSE_SCHEDULE_CHUNK_EXPR): Likewise.
1897         (OMP_CLAUSE_REDUCTION_CODE): Likewise.
1898         (OMP_CLAUSE_REDUCTION_INIT): Likewise.
1899         (OMP_CLAUSE_REDUCTION_MERGE): Likewise.
1900         (OMP_CLAUSE_REDUCTION_PLACEHOLDER): Likewise.
1901         Use tree_node.omp_clause.subcode instead of TREE_COMPLEXITY.
1902         (OMP_CLAUSE_SCHEDULE_KIND): Likewise.
1903         (OMP_CLAUSE_DEFAULT_KIND): Likewise.
1904         (OMP_CLAUSE_CODE): Define.
1905         (OMP_CLAUSE_SET_CODE): Define.
1906         (OMP_CLAUSE_CODE): Define.
1907         (OMP_CLAUSE_OPERAND): Define.
1908         (struct tree_omp_clause): Declare.
1909         (union tree_node): Add field 'omp_clause'.
1910         * treestruct.def (TS_OMP_CLAUSE): Define.
1911         * tree.def (OMP_CLAUSE_PRIVATE, OMP_CLAUSE_SHARED
1912         OMP_CLAUSE_FIRSTPRIVATE, OMP_CLAUSE_LASTPRIVATE,
1913         OMP_CLAUSE_REDUCTION, OMP_CLAUSE_COPYIN,
1914         OMP_CLAUSE_COPYPRIVATE, OMP_CLAUSE_IF,
1915         OMP_CLAUSE_NUM_THREADS, OMP_CLAUSE_SCHEDULE,
1916         OMP_CLAUSE_NOWAIT, OMP_CLAUSE_ORDERED, OMP_CLAUSE_DEFAULT): Remove.
1917         (OMP_CLAUSE): Define.
1918         * print-tree.c (print_node): Handle OMP_CLAUSE.
1919         * omp-low.c: Adapt all uses of OMP_CLAUSE_* nodes.
1920         * c-typeck.c: Likewise.
1921         * gimplify.c: Likewise.
1922         * c-omp.c: Likewise.
1923         * tree-nested.c: Likewise.
1924         * tree-inline.c: Likewise.
1925         * c-parser.c: Likewise.
1926         * gimple-low.c (lower_omp_directive): Do not set TREE_BLOCK on
1927         clauses.
1928
1929 2006-01-25  Roger Sayle  <roger@eyesopen.com>
1930
1931         PR rtl-optimization/25703
1932         * combine.c (try_combine): Handle zero_extract and strict_low_part
1933         of non-lowpart SUBREGs for constant reg_subword_p set optimization.
1934
1935 2006-01-25  Peter Bergner  <bergner@vnet.ibm.com>
1936
1937         * global.c: Fix comment typos.
1938
1939 2006-01-25  Andrew Pinski  <pinskia@physics.uc.edu>
1940
1941         PR target/25758
1942         * config/i386/i386.c (output_pic_addr_const) <case SYMBOL_REF>:
1943         Use output_addr_const instead of assemble_name.
1944
1945 2006-01-25  Paolo Bonzini  <bonzini@gnu.org>
1946
1947         * Makefile.in (sched-vis.o): Update dependencies.
1948         * haifa-sched.c (sched_finish): Clear current_sched_info.
1949         * cfg.c (dump_bb_info): New, split from dump_flow_info.
1950         (dump_flow_info): Call it.
1951         * passes.c (execute_todo): Call print_rtl_slim_with_bb to make
1952         a slim RTL dump.
1953         * basic-block.h (dump_bb_info): Declare.
1954         * tree-dump.c (dump_enable_all): OR the flags of a -fdump-tree-all
1955         option, and apply options only for dump files whose TDF_RTL,
1956         TDF_TREE, or TDF_IPA bits match.
1957         * rtl.h: Declare new functions exported from sched-vis.c.
1958         * sched-vis.c: Enable also if scheduling is not used.
1959         (print_value): Print the mode of registers if not inside scheduling.
1960         (print_insn): Make it work outside the scheduler.  Beautify the output
1961         a bit.
1962         (dump_insn_slim, debug_insn_slim, print_rtl_slim_with_bb): New.
1963
1964 2006-01-25  Richard Sandiford  <richard@codesourcery.com>
1965
1966         * doc/rtl.texi (SYMBOL_REF_CONSTANT, SYMBOL_REF_DATA): Document.
1967         * gengtype.c (adjust_field_rtx_def): Garbage-collect field 2 of
1968         a SYMBOL_REF as either a tree or a constant_descriptor_rtx,
1969         depending on the value of CONSTANT_POOL_ADDRESS_P.
1970         * optabs.c (init_one_libfunc): Nullify SYMBOL_REF_DATA rather than
1971         SYMBOL_REF_DECL.
1972         * varasm.c (make_decl_rtl, build_constant_desc): Set SYMBOL_REF_DATA
1973         rather than SYMBOL_REF_DECL.
1974         (rtx_constant_pool): Remove const_rtx_sym_htab.
1975         (const_desc_rtx_sym_hash, const_desc_rtx_sym_eq): Delete.
1976         (init_varasm_status): Don't initialize const_rtx_sym_htab.
1977         (force_const_mem): Point SYMBOL_REF_DATA to the constant pool entry.
1978         Remove handling of const_rtx_sym_htab.
1979         (find_pool_constant): Delete.
1980         (get_pool_constant, get_pool_constant_mark): Use SYMBOL_REF_CONSTANT
1981         rather than find_pool_constant.
1982         (get_pool_constant_for_function): Delete.
1983         (get_pool_mode, mark_constant): Use SYMBOL_REF_CONSTANT rather than
1984         find_pool_constant.
1985         * rtl.h (rtunion_def): Add rt_constant and rt_ptr fields.
1986         (X0CONSTANT, X0PTR, SYMBOL_REF_DATA): New macros.
1987         (SYMBOL_REF_DECL): Return NULL if CONSTANT_POOL_ADDRESS_P.
1988         (SYMBOL_REF_CONSTANT): New macro.
1989         (get_pool_constant_for_function): Delete.
1990         * config/i386/winnt.c (i386_pe_mark_dllexport): Set SYMBOL_REF_DATA
1991         rather than SYMBOL_REF_DECL.
1992         (i386_pe_mark_dllimport): Likewise.
1993         * config/rs6000/rs6000.c (rs6000_emit_move): Copy SYMBOL_REF_DATA
1994         rather than SYMBOL_REF_DECL.
1995         * config/darwin.c (machopic_indirect_data_reference): Likewise.
1996         (machopic_indirect_call_target): Likewise.
1997
1998 2006-01-25  Eric Botcazou  <ebotcazou@adacore.com>
1999
2000         * flow.c (delete_noop_moves): Add missing EOL to dump message.
2001
2002 2006-01-25  Richard Sandiford  <richard@codesourcery.com>
2003
2004         * genattrtab.c (gen_bypass): Allow bypasses to contain whitespace.
2005
2006 2006-01-25  Kaz Kojima  <kkojima@gcc.gnu.org>
2007
2008         * config/sh/predicates.md (sh_register_operand): Accept CONST_DOUBLE.
2009
2010 2006-01-24  David Daney  <ddaney@avtrex.com>
2011
2012         PR java/25816
2013         * configure.ac (enable_tls): New enable option.
2014         (HAVE_AS_TLS): Don't do assembler check if enable_tls set.
2015         * configure: Regenerate.
2016         * doc/install.texi (--enable-tls): Document new option.
2017         (--disable-tls): Ditto.
2018
2019 2006-01-24  Richard Henderson  <rth@redehat.com>
2020
2021         * alias.h (ALIAS_SET_MEMORY_BARRIER): New.
2022         * alias.c (true_dependence): Respect it.
2023         (canon_true_dependence, write_dependence_p): Likewise.
2024         * builtins.c (get_builtin_sync_mem): Set it.
2025
2026 2006-01-25  Zdenek Dvorak <dvorakz@suse.cz>
2027
2028         * loop-iv.c (iv_analysis_loop_init): Use df analysis in a more
2029         efficient way.
2030
2031 2006-01-24  DJ Delorie  <dj@redhat.com>
2032
2033         * expmed.c (store_bit_field): Don't arbitrarily deny using insv
2034         for storing constants in single-bit bitfields.
2035
2036 2006-01-25  Ben Elliston  <bje@au.ibm.com>
2037
2038         * dfp.c (dfp_byte_swap): Use uint32_t and not unsigned long.
2039
2040 2006-01-24  Andrew Pinski  <pinskia@physics.uc.edu>
2041
2042         PR tree-opt/25860
2043         * tree-ssa-pre.c (phi_translate): Return NULL
2044         for AGGREGATE_TYPE's.
2045
2046 2006-01-24  Zack Weinberg  <zackw@panix.com>
2047
2048         * genautomata.c (process_state_for_insn_equiv_partition):
2049         Use xcalloc for insn_arcs_array.
2050         * vec.h (DEF_VEC_ALLOC_FUNC_I): New set of templates.
2051         (DEF_VEC_ALLOC_I): Use it, not DEF_VEC_ALLOC_FUNC_P.
2052
2053 2006-01-24  Richard Henderson  <rth@redhat.com>
2054
2055         * genextract.c (VEC_safe_set_locstr): Take VEC by reference;
2056         update all callers.
2057
2058 2006-01-23  Paolo Bonzini  <bonzini@gnu.org>
2059
2060         PR rtl-optimization/25890
2061         PR rtl-optimization/25905
2062         * combine.c (expand_compound_operation, expand_field_assignment):
2063         Fail if the bitfield's final position is out of bounds.
2064
2065 2006-01-24  Ian Lance Taylor  <ian@airs.com>
2066
2067         PR middle-end/25930
2068         * cgraphunit.c (cgraph_output_in_order): Don't clear
2069         cgraph_asm_nodes until after asm strings have been output.
2070
2071 2006-01-23  Adam Nemet  <anemet@caviumnetworks.com>
2072
2073         * fix-header.c (read_scan_file): Add new parameter imultilib when
2074         calling register_include_chains.
2075
2076 2006-01-23  Diego Novillo  <dnovillo@redhat.com>
2077
2078         * omp-low.c: Update documentation.
2079
2080 2006-01-23  Andrew Pinski  <pinskia@physics.uc.edu>
2081             Daniel Berlin  <dberlin@dberlin.org>
2082
2083         PR tree-opt/25315
2084         PR tree-opt/25857
2085         * tree-ssa-pre.c (insert_extra_phis): If an incomming edge is abnormal
2086         return from the function.
2087
2088 2006-01-22  Zack Weinberg  <zackw@panix.com>
2089
2090         * rtl.def (match_code): Add second argument.
2091         * genpreds.c (write_extract_subexp): New function.
2092         (write_match_code): Add path argument.  Use write_extract_subexp.
2093         (write_predicate_expr): Pass path to write_match_code.
2094         (mark_mode_tests): MATCH_CODE applied to a subexpression does
2095         not perform a mode test.
2096         * genrecog.c (compute_predicate_codes): MATCH_CODE applied to
2097         a subexpression does not constrain the top-level code set.
2098         * read-rtl.c (read_rtx_variadic): New function.
2099         (read_rtx_1): Use it; allow AND and IOR to be variadic.
2100         * doc/md.texi: Document new notation.
2101         * config/i386/predicates.md (cmpsi_operand_1): Fold into ...
2102         (cmpsi_operand): ... here, using new notation.
2103
2104 2006-01-22  Zack Weinberg  <zackw@panix.com>
2105
2106         * varray.c: Remove GENERATOR_FILE #ifdefs.
2107
2108 2006-01-22  Zack Weinberg  <zackw@panix.com>
2109
2110         * genautomata.c (output_reserved_units_table): Emit nothing if
2111         description->query_units_num is zero.  Remove extra blank line.
2112         (output_cpu_unit_reservation_p): Short circuit
2113         if description->query_units_num is zero.
2114
2115 2006-01-22  Zack Weinberg  <zackw@panix.com>
2116
2117         * genattrtab.c: Don't include genattrtab.h.  Define ATTR_NONE
2118         and ATTR_SPECIAL (from genattrtab.h).  Don't define num_dfa_decls
2119         nor any of the random handful of variables that used to be necessary
2120         when this program was linked with rtlanal.o.  Prune set of forward
2121         function declarations.
2122         (struct attr_desc): Remove static_p field.
2123         (hash_obstack, temp_obstack, attr_hash_table, attr_printf)
2124         (check_attr_test, make_internal_attr, make_numeric_value): Make static.
2125         (attr_string): Do not read the character one past the length of
2126         the string.
2127         (write_attr_get, find_attr, make_internal_attr): Don't touch static_p.
2128         (struct insn_reserv, all_insn_reservs, last_insn_reserv_p)
2129         (n_insn_reservs, gen_insn_reserv, struct bypass_list, all_bypasses)
2130         (n_bypasses, gen_bypass_1, gen_bypass, process_bypasses)
2131         (make_automaton_attrs): New.
2132         (main): Do not call into genautomata.  Call local gen_bypass
2133         and gen_insn_reserv as appropriate.  Call make_automaton_attrs.
2134         Remove special case for insn_alts.
2135         * genautomata.c: Include gensupport.h; not genattrtab.h nor
2136         varray.h (leftover from previous change).  Prune set of forward
2137         function declarations.  Remove state_alts fields from all
2138         structures.  Remove state_alts_table from struct automaton.
2139         Make everything except main static.  Do not maintain num_dfa_decls.
2140         Do not maintain state_alts fields of various structures.
2141         (process_decls): Don't validate condexp for dm_insn_reserv decls.
2142         (add_arc): Remove state_alts argument.  All callers updated.
2143         (output_reserved_units_table): Emit #ifdef here...
2144         (output_tables): ...not here.  Don't generate state_alts tables.
2145         (expand_automata): Don't generate attributes.
2146         (write_automata): Don't generate state_alts functions.
2147         (main): New function.
2148         (it_is_empty_reserv_sets, output_state_alts_full_vect_name)
2149         (output_state_alts_comb_vect_name, output_state_alts_check_vect_name)
2150         (AUTOMATON_STATE_ALTS_MACRO_NAME, INTERNAL_STATE_ALTS_FUNC_NAME)
2151         (STATE_ALTS_FUNC_NAME, INSN_DEFAULT_LATENCY_FUNC_NAME)
2152         (BYPASS_P_FUNC_NAME, output_state_alts_table)
2153         (output_automata_list_state_alts_code, output_internal_state_alts_func)
2154         (output_state_alts_func, make_insn_alts_attr, make_bypass_attr)
2155         (make_internal_dfa_insn_code_attr, make_default_insn_latency_attr):
2156         Delete.
2157         * genattr.c: Declare internal_dfa_insn_code in insn-attr.h.
2158         * genattrtab.h: Delete file.
2159         * Makefile.in (OBJS-common): Add insn-automata.o.
2160         (insn-automata.o): New rule.
2161         (simple_generated_c): Add insn-automata.c.
2162         (build/genattrtab.o, build/genautomata.o): Update dependencies.
2163         (genprogmd): Add automata.
2164         (build/genattrtab): Needs no extra objects nor libraries.
2165         (build/genautomata): Needs build/vec.o and -lm.
2166
2167 2006-01-22  Zack Weinberg  <zackw@panix.com>
2168
2169         * genautomata.c (process_state_longest_path, max_dfa_issue_rate)
2170         (output_dfa_max_issue_rate, locked_states_num): Delete.
2171         (struct automaton): Add locked_states field.
2172         (output_dead_lock_vect): Save number of locked states in
2173         automaton->locked_states.  If it is zero, don't print anything.
2174         (output_max_insn_queue_index_def): Define max_insn_queue_index const.
2175         (output_internal_dead_lock_func): Only test the dead_lock_vect
2176         for automata that have locked states.
2177         (output_statistics): Always print the number of locked states for
2178         each automaton.  Calculate total number of locked states here.
2179         (write_automata): Don't call output_dfa_max_issue_rate.
2180         * genattrtab.c: Define length_unit_log as a const variable.
2181         * genattr.c: Don't emit MAX_DFA_ISSUE_RATE.  Declare
2182         max_insn_queue_index const.
2183         * final.c (length_unit_log): Declare const.
2184         * doc/tm.texi: Remove all references to MAX_DFA_ISSUE_RATE.
2185
2186 2006-01-22  Zack Weinberg  <zackw@panix.com>
2187
2188         * genautomata.c:  Include vec.h, not varray.h.
2189         Delete vla_ptr_t, all of the VLA_PTR_ macros, and all of the
2190         VLA_HWINT_ macros.  Change vla_hwint_t to a typedef for
2191         VEC(vect_el_t,heap) *.  Convert all uses of VLA_* macros to
2192         VEC_* macros operating on appropriately typed vectors, or to
2193         malloced arrays when the size is known in advance.  Const-ify
2194         many char* variables and function arguments.  No functional changes.
2195         * Makefile.in (build/varray.o): Delete rule.
2196         (build/genattrtab): Depend on build/vec.o instead of build/varray.o.
2197         (build/genautomata.o): Depend on vec.h instead of $(VARRAY_H).
2198
2199 2006-01-22  Zack Weinberg  <zackw@panix.com>
2200
2201         * gensupport.c: Define get_insn_name and record_insn_name here.
2202         (read_md_rtx): Call record_insn_name as appropriate.
2203         * genattr.c, genattrtab.c, gencodes.c, genconfig.c, genemit.c
2204         * genextract.c, genflags.c, genopinit.c, genoutput.c, genpeep.c
2205         * genpreds.c, genrecog.c: Don't define get_insn_name nor
2206         record_insn_name.
2207         * Makefile.in (BUILD_SUPPORT, BUILD_PRINT): Fold into BUILD_RTL.
2208         (BUILD_VARRAY): Delete.
2209         (genprognormal): Rename genprogmd.  Fold in all programs from
2210         genprognoprint; also attrtab.
2211         (build/genattrtab): Just mention genautomata.o and varray.o.
2212         Reorganize a bit, add comments to make the categories clearer.
2213
2214 2006-01-22  Zack Weinberg  <zackw@panix.com>
2215
2216         * genconditions.c (condition_table, add_condition): Delete.
2217         (write_conditions): Don't emit n_insn_conditions nor
2218         insn_elision_unavailable.  Issue the gcc version #ifdef here,
2219         inside the table, with no #else clause ...
2220         (write_header): ...not here.
2221         (write_writer): New function.
2222         (main): Don't initialize condition_table.  Use add_c_test.
2223         Call write_writer.
2224         * gensupport.c (init_md_reader_args_cb): Handle multiple input
2225         files on the command line.
2226         (maybe_eval_c_test): Don't check insn_elision_unavailable.
2227         Return -1 if there is no entry in the table, don't abort.
2228         (add_c_test, traverse_c_tests): New functions.
2229         * gensupport.h (insn_elision_unavailable, insn_conditions)
2230         (n_insn_conditions): Delete declarations.
2231         (add_c_test, traverse_c_tests): Declare.
2232         * read-rtl.c: Include gensupport.h.
2233         (read_conditions): New function.
2234         (read_rtx): If read_rtx_1 returns 0, treat as EOF.
2235         (read_rtx_1): If we get EOF when we were looking for an initial
2236         open paren, return 0.  Call read_conditions when appropriate.
2237         * Makefile.in: Kill BUILD_EARLY_SUPPORT and all references to
2238         dummy-conditions.o.  Eliminate references to insn-conditions.o,
2239         or change them to build/gencondmd.o, as appropriate.  Remove
2240         insn-constants.h from $(simple_generated_h) and insn-conditions.c
2241         from $(simple_generated_c).  For all files remaining in those
2242         two lists, add insn-conditions.md to the generator command line.
2243         Give insn-constants.h/s-constants their own rules.  Add rules
2244         for build/gencondmd.c, s-conditions, insn-conditions.md, s-condmd.
2245         (build/read-rtl.o): Depend on gensupport.h.
2246         (genprognormal): Include preds.
2247         (genprogearly): Rename genprognoprint; only difference is now that
2248         they don't link with $(BUILD_PRINT).
2249         * dummy-conditions.c: Delete.
2250
2251 2006-01-22  Zack Weinberg  <zackw@panix.com>
2252
2253         * genextract.c: Don't include insn-config.h.  Do include vec.h.
2254         Declare vectors of int, char, and locstr.
2255         (locstr): New typedef.
2256         (struct extraction): Make all array fields into bare pointers.
2257         (insn_name_ptr, insn_name_ptr_size): Move down by get_insn_name.
2258         (insn_code_number): Delete.
2259         (accum_extract): New struct.
2260         (VEC_safe_set_locstr, VEC_char_to_string): New functions.
2261         (gen_insn): Take insn_code_number as an argument.  Use an
2262         accum_extract structure instead of loading data directly into
2263         a struct extraction, and having to know how big it might get.
2264         (walk_rtx): Operate entirely on an accum_extract structure.
2265         (print_path): Avoid unnecessary use of printf.
2266         (print_header): New function, split out of main.  Distinguish
2267         more carefully between an unrecognizable insn and an insn that
2268         has the code number of a define_expand.
2269         (main): Pass insn_code_number to gen_insn.  Call print_header
2270         only after parsing.  Avoid unnecessary use of printf.
2271         * Makefile.in (build/vec.o): New rule.
2272         (build/genextract): Depend on build/vec.o.
2273         (build/genextract.o): Don't depend on insn-config.h.
2274
2275 2006-01-22  Zack Weinberg  <zackw@panix.com>
2276
2277         * Makefile.in: Consolidate most rules that use $(CC_FOR_BUILD) and/or
2278         $(RUN_GEN).  Use pattern rules to factor out as much boilerplate as
2279         practical.  Eliminate per-generator-program link rules.
2280
2281 2006-01-23  Andrew Pinski  <pinskia@physics.uc.edu>
2282
2283         PR middle-end/24437
2284         * tree-ssa-ccp.c (fold_stmt): Move folding of OBJ_TYPE_REF
2285         with a call expr to ...
2286         * fold-const.c (fold_ternary) <case CALL_EXPR>: Here.
2287
2288 2006-01-23  Richard Guenther  <rguenther@suse.de>
2289
2290         * cfgloopmanip.c (lv_adjust_loop_entry_edge): Add comment
2291         before make_edge with conditional EDGE_TRUE_VALUE.
2292
2293 2006-01-23  Steven Bosscher  <stevenb.gcc@gmail.com>
2294         Jan Hubicka  <jh@suse.cz>
2295         Richard Guenther  <rguenther@suse.de>
2296
2297         PR rtl-optimization/25654
2298         * cfgexpand.c (aggregate_contains_union_type): New function.
2299         (add_alias_set_conflicts): Call it.  Make sure to add conflicts
2300         for structure variables that contain a union type.
2301
2302 2006-01-23  Richard Sandiford  <richard@codesourcery.com>
2303
2304         * gengtype.c (new_structure): Return the structure.
2305         (create_option): Add an extra "next" argument.
2306         (create_field): New function.
2307         (adjust_field_rtx_def): Use create_option and create_field.
2308         Remove a now-unnecessary call to find_structure.
2309         (adjust_field_tree_def): Likewise.
2310         (note_yacc_type): Remove an unnecessary call to find_structure.
2311         * gengtype.h (new_structure): Return the structure.
2312         (create_option): Add an extra argument.
2313         * gengtype-yacc.y (type): Remove unnecessary calls to find_structure.
2314         (option): Adjust calls to create_option.
2315
2316 2006-01-22  David Edelsohn  <edelsohn@gnu.org>
2317
2318         * config/rs6000/aix.h (STACK_BOUNDARY): Define.
2319
2320 2006-01-22  Paul Brook  <paul@codesourcery.com>
2321         Peter Barada  <peter@the-baradas.com>
2322
2323         * config/m68k/m68k.md: Add Coldfire FPU support.
2324         Define FP mode macro and associated attributes.
2325         Use it for float mode patterns.
2326         * config/m68k/linux.h (FUNCTION_VALUE): Use m68k_function_value.
2327         (LIBCALL_VALUE): Use m68k_libcall_value.
2328         * config/m68k/m68k-protos.h (m68k_libcall_value): Add prototype.
2329         (m68k_function_value): Ditto.
2330         (emit_move_sequence): Ditto.
2331         * config/m68k/m68kemb.h (LIBCALL_VALUE): Use m68k_libcall_value.
2332         * config/m68k/m68k-none.h (ASM_SPEC): Add mcfv4e.
2333         * config/m68k/t-m68kelf (MULTILIB_OPTIONS): Add mcfv4e.
2334         (MULTILIB_EXCEPTIONS): Ditto.
2335         * config/m68k/m68k.opt: Add mcfv4e.
2336         * config/m68k/m68k.c (m68k_handle_option): Handle OPT_mcfv4e.
2337         (m68k_compute_frame_layout): Include space for ColdFire FPU regs.
2338         (m68k_output_function_prologue): Save ColdFire FPU registers.
2339         (m68k_output_function_epilogue): Restore ColdFire FPU registers.
2340         (force_mode, fp_reg_operand, emit_move_sequence): New functions.
2341         (m68k_regno_mode_ok): Don't allow types larget than 8 bytes in
2342         ColdFire FPU registers.
2343         (m68k_libcall_value, m68k_function_value): New functions.
2344         * config/m68k/netbsd-elf.h (FUNCTION_VALUE): Use m68k_function_value.
2345         (LIBCALL_VALUE): Use m68k_libcall_value.
2346         * config/m68k/m68k.h (TARGET_CPU_CPP_BUILTINS): Define __mcfv4e__.
2347         (MASK_COLDFIRE): Add MASK_CFV4E.
2348         (TARGET_COLDFIRE_FPU, TARGET_HARD_FLOAT, TARGET_FP_REG_SIZE): New.
2349         (MODES_TIEABLE_P): Use TARGET_HARD_FLOAT.
2350         (REG_CLASS_FROM_LETTER, PREFERRED_RELOAD_CLASS): Ditto.
2351         (GO_IF_COLDFIRE_FPU_LEGITIMATE_ADDRESS): Define.
2352         (GO_IF_LEGITIMATE_ADDRESS): Use it.
2353         (LEGITIMIZE_ADDRESS): Handle ColdFire FPU addresses.
2354         * doc/invoke.tex: Document -mcfv4e on m68k.
2355
2356 2006-01-22  Ranjit Mathew  <rmathew@gcc.gnu.org>
2357
2358         * doc/contribute.texi: Change CVS to SVN and update the corresponding
2359         URL.
2360
2361 2006-01-21  Gabriel Dos Reis  <gdr@integrable-solutions.net>
2362
2363         PR c++/16190
2364         * c-opts.c (c_common_handle_option): Don't include
2365         -Wnon-virtual-dtor in -Wall; enable if -Weffc++.
2366         * doc/invoke.texi (C++ Dialect Options): Document that
2367         -Wnon-virtual-dtor is no longer included in -Wall.
2368
2369 2006-01-21  Joseph S. Myers  <joseph@codesourcery.com>
2370
2371         * gcov.c (print_version), gcov-dump.c (print_version),
2372         mips-tdump.c (main), mips-tfile.c (main): Update copyright notice
2373         dates.
2374
2375 2006-01-21  Kenneth Zadeck <zadeck@naturalbridge.com>
2376
2377         * df-scan.c (problem_SCAN): Added NULL reset function.
2378         (df_scan_reset_blocks): Added code to call reset block function
2379         (df_bb_refs_delete) Fixed comment.
2380         (df_insn_refs_delete): Made tolerant of deleting non existent info
2381         for dataflow problems that need to be reset.
2382         * df-core.c (df_set_blocks): Ditto.
2383         * df.h (struct df_problem): Added reset_fun.
2384         * df-problems.c (problem_RU, problem_RD, problem_LR, problem_UR,
2385         problem_UREC, problem_CHAIN, problem_RI): Initialized reset_fun field.
2386         (df_chain_insn_reset, df_chain_bb_reset, df_chain_reset): New
2387         functions to clear out all references to def-use or use-def chains.
2388
2389 2006-01-21  Ben Elliston  <bje@au.ibm.com>
2390
2391         * varasm.c (assemble_real): Initialise data array.
2392
2393 2006-01-20  Paul Brook  <paul@codesourcery.com>
2394
2395         Merge from csl-arm-branch.
2396         2005-09-21  Kazu Hirata  <kazu@codesourcery.com>
2397         * config/arm/arm.md (movdi): Force operands[1] to a register
2398         if we have a non-register source.
2399         (*arm_movdi, *movdf_soft_insn): Require that one of the
2400         operands be a register.
2401         * config/arm/iwmmxt.md (*iwmmxt_arm_movdi): Likewise.
2402         * config/arm/vfp.md (*arm_movdi_vfp, *movdf_vfp): Likewise.
2403
2404 2006-01-20  DJ Delorie  <dj@redhat.com>
2405
2406         * varasm.c (initialize_constant_valid_p): Allow pointers
2407         initialized from integer constants of lesser precision.
2408         (output_constant): Allow non-int-sized pointer modes to be
2409         initialized from integer constants.
2410
2411 2006-01-20  Joseph S. Myers  <joseph@codesourcery.com>
2412
2413         PR libstdc++/25524
2414         * cppdefault.h (struct default_include): Add multilib flag.
2415         * cppdefault.c (cpp_include_defaults): Set it.
2416         * c.opt (-imultilib): New option.
2417         * c-opts.c (imultilib): New.
2418         (c_common_handle_option): Handle -imultilib.
2419         (c_common_post_options): Likewise.
2420         * c-incpath.c (add_standard_paths, register_include_chains):
2421         Likewise.
2422         * c-incpath.h (register_include_chains): Add extra parameter.
2423         * gcc.c (do_spec_1): Generate -imultilib option.
2424         (The Specs Language): Update %I description.
2425         (process_command): Update copyright notice.
2426         * doc/cppopts.texi (-imultilib): Document.
2427         * doc/invoke.texi (-imultilib): Include in option summary.
2428         (%I): Update specs documentation.
2429
2430 2006-01-20  Zdenek Dvorak <dvorakz@suse.cz>
2431
2432         * loop-iv.c (iv_analysis_loop_init): Use df in more conservative way.
2433
2434 2006-01-20  Richard Sandiford  <richard@codesourcery.com>
2435
2436         * stmt.c (case_bit_test_cmp): Stabilize the sort using code
2437         label numbers.
2438
2439 2006-01-20  Richard Guenther  <rguenther@suse.de>
2440         Steven Bosscher <stevenb.gcc@gmail.com>
2441
2442         PR rtl-optimization/24626
2443         * cfgloopmanip.c (lv_adjust_loop_entry_edge): Don't set
2444         EDGE_TRUE_VALUE if in RTL mode.
2445
2446         Revert
2447         2005-03-30 Mostafa Hagog <mustafa@il.ibm.com>
2448         * cfgrtl.c (rtl_verify_flow_info_1): Fix.
2449
2450 2006-01-20  Dirk Mueller  <dmueller@suse.com>
2451
2452         PR c++/5520
2453         * c-parser.c (c_parser_if_body): Use build_empty_stmt()
2454         instead of a special NOP marker.
2455         * c-typeck.c (c_finish_if_stmt): Remove obsoleted special
2456         NOP marker handling.
2457         * c-common.h (empty_body_warning): Add forward declaration.
2458         * c-common.c (empty_body_warning): Add (from c_finish_if_stmt).
2459         Now uses IS_EMPTY_STMT() instead of special NOP markers.
2460
2461 2006-01-20  Paul Brook  <paul@codesourcery.com>
2462
2463         * Makefile.in (lang_checks): Keep going if mkdir fails.
2464
2465 2006-01-19  Kenneth Zadeck <zadeck@naturalbridge.com>
2466
2467         * df-scan.c (df_scan_free_bb_info): Added basic block parameter to
2468         be able to clean out basic block when not necessary.
2469         (df_scan_free): Fixed to properly delete information if df is
2470         unused before calling df_finish.
2471         (df_scan_alloc, df_rescan_blocks, df_reg_chain_unlink,
2472         df_insn_create_insn_record, df_bb_refs_record): Fixed formatting
2473         or comment typos.
2474         (df_bb_refs_delete): New function.
2475         (df_refs_delete): Moved per block code to df_bb_refs_delete.
2476         * df-core.c (df_set_blocks): Added code to properly clean out
2477         unused blocks if they are not part of the blocks to consider.
2478         Added additional null check.
2479         (df_compact_blocks): Added basic block parameter to free_bb_fun to
2480         be able to clean out basic block when not necessary
2481         * df.h (df_free_bb_function): Ditto.
2482         (df_bb_refs_delete): New function.
2483         * df-problems.c (df_ru_free_bb_info, df_rd_set_bb_info,
2484         df_lr_set_bb_info, df_ur_free_bb_info, df_urec_free_bb_info):Added
2485         basic block parameter to be able to clean out basic block when not
2486         necessary.
2487         (df_ru_alloc, df_rd_alloc): Fixed dyslexic overflow test.
2488         (df_ru_free, df_rd_free, df_lr_free, df_ur_free, df_urec_free):
2489         Fixed to properly delete information if df is unused before
2490         calling df_finish.
2491
2492 2006-01-19  Kenneth Zadeck <zadeck@naturalbridge.com>
2493
2494         PR rtl-optimization/25799
2495         * df-problems.c (df_ru_confluence_n, df_rd_confluence_n):
2496         Corrected confluence operator to remove bits from op2 before oring
2497         with op1 rather than removing bits from op1.
2498         (df_ru_transfer_function): Corrected test on wrong bitmap which
2499         caused infinite loop.  Both of these problems were introduced in
2500         the dataflow rewrite.
2501
2502 2006-01-19  DJ Delorie  <dj@redhat.com>
2503
2504         * reload1.c (find_reload_regs): Note the details of reload
2505         failures in the dump file.
2506         (spill_failure): Likewise.
2507
2508 2006-01-20  Zdenek Dvorak <dvorakz@suse.cz>
2509
2510         * loop-iv.c: Include df.h and hashtab.h.
2511         (enum iv_grd_result): New enum.
2512         (DF_REF_IV, DF_REF_IV_SET): New macros.
2513         (struct biv_entry): New.
2514         (df, bivs): New global variables.
2515         (struct insn_info, insn_info, last_def, bivs, max_insn_no, max_reg_no,
2516         assign_luids, mark_sets, kill_sets, mark_single_set, simple_set_p):
2517         Removed.
2518         (clear_iv_info, latch_dominating_def, record_iv, iv_analyze_expr,
2519         iv_analyze_result, iv_analyze_def, biv_hash, biv_eq,
2520         analyzed_for_bivness_p, record_biv): New functions.
2521         (iv_analysis_loop_init, iv_get_reaching_def, simple_reg_p,
2522         get_biv_step_1, get_biv_step, iv_analyze_biv, iv_analyze_op,
2523         iv_analyze, biv_p, iv_analysis_done): Work with df representation of
2524         UD chains.
2525         (iv_constant, iv_subreg, iv_extend, iv_mult, iv_shift): Do not set
2526         analysed.
2527         (iv_number_of_iterations): Use new interface to iv analysis.
2528         * loop-unroll.c: Do not include varray.h.
2529         (analyze_iv_to_split_insn): Use new interface to iv
2530         analysis.
2531         * loop-unswitch.c (may_unswitch_on): Ditto.
2532         * df.c (df_bitmaps_free): Only work for bbs for that structures are
2533         allocated.
2534         (df_bb_modify): Realloc tables to the new index.
2535         (df_find_use): New function.
2536         * df.h (df_find_use): Declare.
2537         * optabs.c (expand_unop): Make the mode of the REG_EQUAL node be
2538         outmode.
2539         * cfgloop.h (struct rtx_iv): Remove analysed field.
2540         (iv_get_reaching_def): Removed.
2541         (iv_analyze_result, iv_analyze_expr, iv_current_loop_df): Declare.
2542         * Makefile.in (loop-unroll.o): Remove VARRAY_H dependency.
2543         (loop-iv.o): Add df.h and hashtab.h dependency.
2544         * df-problems.c (df_ru_alloc, df_rd_alloc): Fix memory reallocation.
2545
2546 2006-01-20  Alan Modra  <amodra@bigpond.net.au>
2547
2548         PR target/25668
2549         * libgcc2.c (__floatdisf, __floatdidf): Don't use IBM Extended
2550         Double TFmode.
2551         (__floatundisf, __floatundidf): Likewise.
2552         * libgcc2.h (IS_IBM_EXTENDED): Define.
2553
2554 2006-01-19  DJ Delorie  <dj@redhat.com>
2555
2556         * config/m32c/m32c.h (REG_ALLOC_ORDER): Define.
2557
2558 2006-01-19  Paul Brook  <paul@codesourcery.com>
2559
2560         * gcc/config/arm/arm.c (arm_compute_func_type): Treat all functions
2561         as nothrow when unwinding tables are disabled.
2562
2563 2006-01-19  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
2564
2565         PR testsuite/25171
2566         * c-decl.c (check_bitfield_type_and_width): Don't issue pedwarn "type
2567         of bit-field" when in system header.
2568
2569 2006-01-19  DJ Delorie  <dj@redhat.com>
2570
2571         * config/m32c/m32c.c (m32c_prepare_shift): Add code to deal with
2572         the 16 bit shift limit of the m16c.
2573
2574 2006-01-19  Andrew Pinski  <pinskia@physics.uc.edu>
2575
2576         PR target/22099
2577         * config/i386/i386.md (builtin_setjmp_receiver): Don't emit the label.
2578         * config/i386/i386.c (output_set_got): Output the label if we have one
2579         for the TARGET_DEEP_BRANCH_PREDICTION case.
2580
2581 2006-01-19  Jan Hubicka  <jh@suse.cz>
2582             H.J. Lu  <hongjiu.lu@intel.com>
2583             Evandro Menezes <evandro.menezes@amd.com>
2584
2585         * invoke.texi (generic): Document
2586         (i686) Update.
2587         * config.gcc: Make x86_64-* and i686-* default to generic tunning.
2588         * i386.h (TARGET_GENERIC32, TARGET_GENERIC64, TARGET_GENERIC,
2589         TARGET_USE_INCDEC, TARGET_PAD_RETURNS): New macros.
2590         (x86_use_incdec, x86_pad_returns): New variables
2591         (TARGET_CPU_DEFAULT_generic): New constant
2592         (TARGET_CPU_DEFAULT_NAMES): Add generic.
2593         (enum processor_type): Add generic32 and generic64.
2594         * i386.md (cpu attribute): Add generic32/generic64
2595         (movhi splitter): Behave sanely when both partial_reg_dependency and
2596         partial_reg_stall are set.
2597         (K8 splitters): Enable for generic as well.
2598         * predicates.md (incdec_operand): Use TARGET_INCDEC
2599         (aligned_operand): Avoid memory mismatch stalls.
2600         * athlon.md: Enable for generic64, new patterns for 128bit moves.
2601         * ppro.md: Enable for generic32
2602         * i386.c (generic64_cost, generic32_cost): New.
2603         (m_GENERIC32, m_GENERIC64, m_GENERIC): New macros.
2604         (x86_use_leave): Enable for generic64.  (x86_use_sahf,
2605         x86_ext_80387_constants): Enable for generic32.  (x86_push_memory,
2606         x86_movx, x86_unroll_strlen, x86_deep_branch, x86_use_simode_fiop,
2607         x86_use_cltd, x86_promote_QImode, x86_sub_esp_4, x86_sub_esp_8,
2608         x86_add_esp_4, x86_add_esp_8, x86_integer_DFmode_moves,
2609         x86_partial_reg_dependency, x86_memory_mismatch_stall,
2610         x86_accumulate_outgoing_args, x86_prologue_using_move,
2611         x86_epilogue_using_move, x86_arch_always_fancy_math_387,
2612         x86_sse_partial_reg_dependency, x86_four_jump_limit, x86_schedule):
2613         Enable for generic.
2614         (x86_use_incdec, x86_pad_returns): New.
2615         (override_options): Add generic32 and generic64, translate "generic"
2616         to generic32/generic64 and "i686" to "generic32", refuse
2617         "generic32"/"generic64" as arch target.
2618         (ix86_issue_rate, ix86_adjust_cost): Handle generic as athlon.
2619         (ix86_reorg): Honor PAD_RETURNS.
2620
2621 2006-01-19  Diego Novillo  <dnovillo@redhat.com>
2622
2623         * tree-pretty-print.c (dump_generic_node): Handle
2624         OMP_PARALLEL_FN, OMP_PARALLEL_DATA_ARG and OMP_RETURN_EXPR.
2625         * cgraph.c (cgraph_expand_queue): Rename from
2626         cgraph_analyze_queue.  Update all users.
2627         * cgraphunit.c (cgraph_assemble_pending_functions): Process
2628         cgraph_expand_queue.
2629         (cgraph_expand_all_functions): Likewise.
2630         (cgraph_finalize_pending_functions): Remove.  Update callers.
2631
2632         * tree.h (OMP_DIRECTIVE_P): Define.
2633         (OMP_PARALLEL_FN): Define.
2634         (OMP_PARALLEL_DATA_ARG): Define.
2635         (OMP_SECTIONS_SECTIONS): Define.
2636         * tree-pass.h (pass_expand_omp): Declare.
2637         * omp-low.c (struct omp_region): Declare.
2638         (struct omp_context): Remove fields 'parallel_type',
2639         'parallel_start_ix' and 'parallel_start_additional_args'.
2640         Update all users.
2641         (struct omp_for_data): Rename from struct expand_omp_for_data.
2642         (omp_regions): New static variable.
2643         (root_omp_region): New static variable.
2644         (find_omp_clause): Make static.
2645         (is_in_combined_parallel_ctx): Remove.
2646         (is_combined_parallel): New.
2647         (extract_omp_for_data): Move earlier in the file.
2648         (workshare_safe_to_combine_p): New.
2649         (get_ws_args_for): New.
2650         (determine_parallel_type): Move earlier in the file.
2651         (omp_copy_decl_2): Do not set DECL_CONTEXT of new local to the
2652         child function.
2653         (omp_copy_decl): Likewise.
2654         (create_omp_child_function): Likewise.
2655         (lookup_omp_region): New.
2656         (dump_omp_region): New.
2657         (debug_omp_region): New.
2658         (debug_all_omp_regions): New.
2659         (new_omp_region): New.
2660         (scan_omp_parallel): If parallel_nesting_level > 1, the
2661         directive is nested within another parallel directive.
2662         Set OMP_PARALLEL_FN.
2663         (scan_omp_for): Do not try to handle combined parallel+for
2664         cases.
2665         Remove FIXME comment.
2666         (scan_omp_nested): Remove.
2667         (scan_omp_1): Do not call scan_omp_nested when
2668         parallel_nesting_level is > 1.
2669         Do not change the DECL_CONTEXT of local variables found.
2670         (lookup_decl_in_outer_ctx): New.
2671         (lower_rec_input_clauses): Rename from expand_rec_input_clauses.
2672         (lower_lastprivate_clauses): Rename from expand_lastprivate_clauses.
2673         (lower_reduction_clauses): Rename from expand_reduction_clauses.
2674         (lower_copyprivate_clauses): Rename from expand_copyprivate_clauses.
2675         If CTX is nested, lookup VAR in the outer context when
2676         building copy assignment.
2677         (lower_send_clauses): Rename from expand_send_clauses.
2678         If CTX is nested, lookup VAR in the outer context when
2679         building copy assignments.
2680         (lower_send_shared_vars): Rename from expand_send_shared_vars.
2681         If CTX is nested, lookup VAR in the outer context when
2682         building copy assignments.
2683         (expand_parallel_call): Rename from build_parallel_call.
2684         Handle combined parallel+workshare cases.
2685         Re-implement to emit code into the CFG.
2686         (list2chain): New.
2687         (expand_omp_parallel): Re-implement to emit code into the CFG.
2688         Call move_sese_region_to_fn to outline the sub-graph
2689         containing the parallel region.
2690         (expand_omp_for_1): Remove.
2691         (expand_omp_for_generic): Re-implement to emit code into the
2692         CFG.
2693         (expand_omp_for_static_nochunk): Likewise.
2694         (expand_omp_for_static_chunk): Likewise.
2695         (expand_omp_for): Likewise.
2696         (expand_omp_sections): Likewise.
2697         (remove_exit_barriers): New.
2698         (expand_omp_synch): New.
2699         (expand_omp): New.
2700         (build_omp_regions_1): New.
2701         (build_omp_regions): New.
2702         (execute_expand_omp): New.
2703         (gate_expand_omp): New.
2704         (pass_expand_omp): Define.
2705         (lower_omp_sections): Rename from expand_omp_sections.
2706         Set OMP_SECTIONS_SECTIONS.
2707         (lower_omp_single_simple): Rename from expand_omp_single_simple.
2708         (lower_omp_single_copy): Rename from expand_omp_single_copy.
2709         (lower_omp_single): Rename from expand_omp_simple.
2710         (lower_omp_master): Rename from expand_omp_master.
2711         (lower_omp_ordered): Rename from expand_omp_ordered.
2712         (lower_omp_critical): Rename from expand_omp_critical.
2713         (lower_omp_for_lastprivate): Rename from expand_omp_for_lastprivate.
2714         (lower_omp_for): Re-implement.
2715         (lower_omp_parallel): Re-implement.
2716         (lower_regimplify): Rename from expand_regimplify.
2717         (lower_omp_1): Rename from expand_omp_1.
2718         If there are syntax errors in the program, replace every
2719         OpenMP directive with NOP.
2720         Call lower_omp_* instead of expand_omp_*.
2721         (lower_omp): Rename from expand_omp.
2722
2723         * tree-gimple.c (is_gimple_stmt): Handle OMP_RETURN_EXPR.
2724         * tree-gimple.h (enum omp_parallel_type): Remove.
2725         (gimple_boolify): Declare extern.
2726         (find_omp_clause, determine_parallel_type): Remove.
2727
2728         * gimple-low.c (lower_omp_directive): New.
2729         (lower_stmt): Call it.
2730         (record_vars_into): Move from ...
2731         (record_vars): ... here.
2732         Call record_vars_into with current_function_decl.
2733
2734         * gimplify.c (struct gimplify_ctx): Remove fields
2735         combined_pre_p and combined_ctxp.  Update users.
2736         (get_formal_tmp_var): Add documentation.
2737         (gimple_boolify): Make extern.
2738         (gimplify_expr_in_ctx): Remove.  Update callers.
2739         (gimplify_omp_parallel): Do not assume that OMP_PARALLEL_BODY
2740         will always be a BIND_EXPR.
2741         (gimplify_expr): Handle OMP_RETURN_EXPR.
2742         * tree.def (BLOCK): Remove documentation about BLOCK_TYPE_TAGS.
2743         (OMP_PARALLEL): Add 3 operands.
2744         (OMP_SECTIONS): Add 1 operand.
2745         (OMP_RETURN_EXPR): Define.
2746
2747         * tree-inline.c (estimate_num_insns_1): Handle OpenMP directives.
2748         (copy_tree_r): Restore TREE_CHAIN in OMP_CLAUSE_*.
2749         * tree-iterator.c (alloc_stmt_list): Assert that we are not
2750         creating a circular free list.
2751         (free_stmt_list): Assert that we are not freeing stmt_list_cache.
2752
2753         * tree-flow.h (move_sese_region_to_fn): Declare.
2754         (record_vars_into): Declare.
2755         * tree-cfg.c (make_omp_sections_edges): New.
2756         (make_exit_edges): Handle OMP_PARALLEL, OMP_FOR, OMP_SINGLE,
2757         OMP_MASTER, OMP_ORDERED, OMP_CRITICAL, OMP_RETURN_EXPR,
2758         OMP_SECTIONS and OMP_SECTION.
2759         (is_ctrl_altering_stmt): Return true for OMP_DIRECTIVE_P.
2760         (set_bb_for_stmt): Undo change to check currently_expanding_to_rtl.
2761         (verify_stmt): Do not handle OMP_DIRECTIVE_P.
2762         (gather_blocks_in_sese_region): New.
2763         (struct move_stmt_d): Declare.
2764         (move_stmt_r): New.
2765         (move_block_to_fn): New.
2766         (move_sese_region_to_fn): New.
2767
2768         * passes.c (init_optimization_passes): Schedule
2769         pass_expand_omp after pass_init_datastructures.
2770
2771         * tree-ssa-operands.c (get_expr_operands): Handle
2772         OMP_PARALLEL, OMP_SECTIONS, OMP_FOR, OMP_RETURN_EXPR,
2773         OMP_SINGLE, OMP_MASTER, OMP_ORDERED, OMP_CRITICAL.
2774
2775 2006-01-19  Jeff Law  <law@redhat.com>
2776
2777         * tree-vrp.c (extract_range_from_assert): Refine the result range
2778         if the variable referenced by the ASSERT_EXPR has a range and
2779         either the tentative result range or the previous range is a
2780         VR_ANTI_RANGE.
2781
2782 2006-01-19  Richard Sandiford  <richard@codesourcery.com>
2783
2784         * c-decl.c (add_flexible_array_elts_to_size): Simplify vector accesses.
2785
2786 2006-01-19  Jan Hubicka  <jh@suse.cz>
2787
2788         * tree-vect-patterns.c (vect_pattern_recog_1): Prevent parse error.
2789
2790 2006-01-19  Paolo Bonzini  <bonzini@gnu.org>
2791
2792         * combine.c (try_combine): Do not worry about MEMs wrapped by USEs.
2793         (expand_compound_operation, expand_field_assignment): Fail if the
2794         bit lengths of an extract operation are out of range.
2795         (make_extraction): Compute wanted_inner_mode based on the position
2796         and length of the extraction.  Make it extraction_mode for non-constant
2797         positions, and do not modify offset in that case.  When generating a
2798         new MEM, use a mode that can hold the extraction while keeping correct
2799         alignment.  Remove code that supported MEMs wrapped by USEs.
2800         (simplify_shift_const_1, force_to_mode) <case USE>: Remove.
2801
2802 2006-01-19  Andreas Krebbel  <krebbel1@de.ibm.com>
2803
2804         * config/s390/s390.md ("Y", "y"): New mode attribute.
2805         ("*cmpdi_ccs", "*cmpsi_ccs", "*adddi3_imm_cc", "*adddi3_carry1_cc",
2806         "*adddi3_carry1_cconly", "*adddi3_carry2_cc", "*adddi3_carry2_cconly",
2807         "*adddi3_cc", "*adddi3_cconly", "*adddi3_cconly2", "*adddi3_64",
2808         "*addsi3_imm_cc", "*addsi3_carry1_cc",
2809         "*addsi3_carry1_cconly", "*addsi3_carry2_cc", "*addsi3_carr2_cconly",
2810         "*addsi3_cc", "*addsi3_cconly", "*addsi3_cconly2",
2811         "*subdi3_borrow_cc", "*subdi3_borrow_cconly", "*subdi3_cc",
2812         "*subdi3_cc2", "*subdi3_cconly", "*subdi3_cconly2", "*subdi3_64",
2813         "*subsi3_borrow_cc", "*subsi3_borrow_cconly", "*subsi3_cc",
2814         "*subsi3_cc2", "*subsi3_cconly", "*subsi3_cconly", "*subsi3_cconly2",
2815         "addsi3", "subsi3"): Insn patterns removed.
2816         ("*add<mode>3_carry1_cc", "*add<mode>3_carry1_cconly",
2817         "*add<mode>3_carry2_cc", "*add<mode>3_carry2_cconly", "*add<mode>3_cc",
2818         "*add<mode>3_cconly", "*add<mode>3_cconly2", "*add<mode>3_imm_cc",
2819         "*sub<mode>3_borrow_cc", "*sub<mode>3_borrow_cconly",
2820         "*sub<mode>3_cc", "*sub<mode>3_cc2", "*sub<mode>3_cconly",
2821         "*sub<mode>3_cconly2"): New insn patterns.
2822         ("addsi3", "subsi3"): New expanders.
2823
2824 2006-01-19  Dorit Nuzman  <dorit@il.ibm.com>
2825
2826         * Makefile.in (tree-vect-patterns.o): Add rule for new file.
2827         * tree-vect-analyze.c (vect_determine_vectorization_factor): Use
2828         existing STMT_VINFO_VECTYPE if available.
2829         (vect_mark_relevant): Add special handling for stmts that are
2830         marked as STMT_VINFO_IN_PATTERN_P.
2831         (vect_analyze_loop): Call vect_pattern_recog.
2832         * tree-vectorizer.c (new_stmt_vec_info): Initialize new fields.
2833         * tree-vectorizer.h (in_pattern_p, related_stmt): New fields in
2834         stmt_info.
2835         (STMT_VINFO_IN_PATTERN_P, STMT_VINFO_RELATED_STMT): New macros.
2836         (vect_recog_func_ptr): New function-pointer type.
2837         * tree-vect-patterns.c: New file.
2838         (vect_recog_widen_sum_pattern, vect_recog_widen_mult_pattern):
2839         (vect_recog_dot_prod_pattern, vect_pattern_recog):
2840         (vect_pattern_recog_1): New functions.
2841         (vect_pattern_recog_funcs): New array of function pointers.
2842
2843         * tree-vectorizer.h (ternary_op): New enum value.
2844         * tree-vect-transform.c (vect_create_epilog_for_reduction): Added
2845         declaration. Revised documentation. Removed redundant dump prints.
2846         Removed redundant argument. Added support for reduction patterns.
2847         (vectorizable_reduction): Added support for reduction patterns.
2848         (vect_transform_stmt): Added support for patterns.
2849
2850         * expr.c (expand_expr_real_1): Added case for DOT_PROD_EXPR.
2851         * genopinit.c (udot_prod_optab, sdot_prod_optab): Initialize.
2852         * optabs.c (optab_for_tree_code): Added case for DOT_PROD_EXPR.
2853         (expand_widen_pattern_expr): New function.
2854         (init_optabs): Initialize new optabs udot_prod_optab,
2855         sdot_prod_optab.
2856         * optabs.h (OTI_sdot_prod, OTI_udot_prod): New.
2857         (sdot_prod_optab, udot_prod_optab): Define new optabs.
2858         (expand_widen_pattern_expr): New function declaration.
2859         * tree.def (DOT_PROD_EXPR, WIDEN_SUM_EXPR, WIDEN_MULT_EXPR): New
2860         tree-codes.
2861         * tree-inline.c (estimate_num_insns_1): Added cases for new
2862         tree-codes DOT_PROD_EXPR, WIDEN_SUM_EXPR, WIDEN_MULT_EXPR.
2863         * tree-pretty-print.c (dump_generic_node): Likewise.
2864         (op_prio): Likewise.
2865         (op_symbol): Added cases for WIDEN_SUM_EXPR, WIDEN_MULT_EXPR.
2866         * tree-ssa-operands.c (get_expr_operands): Added case for
2867         DOT_PROD_EXPR.
2868         * tree-vect-patterns.c (widened_name_p): New function.
2869         (vect_recog_dot_prod_pattern): Added function implementation.
2870         * tree-vect-transform.c (get_initial_def_for_reduction): Added
2871         cases for DOT_PROD_EXPR, WIDEN_SUM_EXPR.
2872         * config/rs6000/altivec.md (udot_prod<mode>, sdot_prodv8hi): New.
2873         * config/i386/sse.md (sdot_prodv8hi, udot_prodv4si): New.
2874
2875         * expr.c (expand_expr_real_1): Added case for WIDEN_SUM_EXPR.
2876         * genopinit.c (widen_ssum_optab, widen_usum_optab): Initialize.
2877         * optabs.c (optab_for_tree_code): Added case for WIDEN_SUM_EXPR.
2878         (init_optabs): Initialize new optabs widen_ssum_optab,
2879         widen_usum_optab.
2880         * optabs.h (OTI_widen_ssum, OTI_widen_usum): New.
2881         (widen_ssum_optab, widen_usum_optab): Define new optabs.
2882         * tree-vect-generic.c: (expand_vector_operations_1): Check type of
2883         use instead of type of def.
2884         * tree-vect-patterns.c (vect_recog_widen_sum_pattern): Added
2885         function implementation.
2886         * config/rs6000/altivec.md (widen_usum<mode>, widen_ssumv16qi,
2887         widen_ssumv8hi): New.
2888
2889         * doc/tm.texi (ssum_widen, usum_widen, sdot_prod, udot_prod): New
2890         patterns.
2891
2892 2006-01-19  Richard Sandiford  <richard@codesourcery.com>
2893
2894         PR c/25805
2895         * c-decl.c (add_flexible_array_elts_to_size): New function.
2896         (finish_decl): Use it.
2897
2898 2006-01-18  Andrew Pinski  <pinskia@physics.uc.edu>
2899
2900         * diagnostic.h: Include options.h.
2901         * config/rs6000/x-darwin (host-ppc-darwin.o): Correct the
2902         dependancies for diagnostic.h.
2903         * Makefile.in (DIAGNOSTIC_H): Add options.h.
2904
2905 2006-01-16  Daniel Berlin  <dberlin@dberlin.org>
2906
2907         * tree-ssa-operands.h (ssa_call_clobbered_cache_valid): Remove.
2908         (ssa_ro_call_cache_valid): Ditto.
2909         * tree-ssa-alias.c (sort_tags_by_id): New function.
2910         (init_transitive_clobber_worklist): Ditto.
2911         (add_to_worklist): Ditto.
2912         (mark_aliases_call_clobbered): Ditto.
2913         (compute_tag_properties): Ditto.
2914         (set_initial_properties): Ditto.
2915         (compute_call_clobbered): Ditto.
2916         (compute_may_aliases):  Call compute_call_clobbered and grouping.
2917         (compute_flow_sensitive_aliasing): Remove clobbering related code.
2918         (compute_flow_insensitive_aliasing): Grouping now happens in our
2919         caller.
2920         (setup_pointers_and_addressables): Remove clobbering related code.
2921         (add_may_alias): Ditto.
2922         (replace_may_alias): Ditto.
2923         (get_nmt_for): Ditto.
2924         (create_global_var):
2925         (is_escape_site): Return an escape_type enumeration.
2926         * tree-flow-inline.h (is_call_clobbered):  Global var does not
2927         imply call clobbered.
2928         (mark_call_clobbered): Take a reason for marking this. Remove
2929         marking of globalness, and cache invalidation.
2930         (clear_call_clobbered): Remove cache invalidation code.
2931         * tree-dfa.c (dump_variable): If details is on, dump the reason
2932         for escaping.
2933         * tree-outof-ssa.c (create_temp): Copy escape mask from original
2934         variable.
2935         * tree-flow.h (struct ptr_info_def): Add escape mask member.
2936         (struct var_ann_d): Ditto.
2937         (enum escape_type): New.
2938         (mark_call_clobbered): Adjust prototype.
2939         * tree-ssa-structalias.c (update_alias_info): Unmodifiable vars
2940         are never call clobbered.
2941         Record reasons for escaping.
2942         * tree-ssa-structalias.h (is_escape_site): Update prototype.
2943         * tree-ssa-operands.c (ssa_call_clobbered_cache_valid): Remove.
2944         (ssa_ro_call_cache_valid): Ditto.
2945         (clobbered_v_may_defs): Ditto.
2946         (clobbered_vuses): Ditto.
2947         (ro_call_vuses): Ditto.
2948         (clobber_stats): New.
2949         (init_ssa_operands): Zero out clobber stats.
2950         (fini_ssa_operands): Print out clobber stats.
2951         (get_call_expr_operands): Pass callee fndecl to
2952         add_call_read_ops).
2953         (add_call_clobber_ops): Remove use of cache.
2954         Add use of PURE_CONST information.
2955         (add_call_read_ops): Remove use of cache.
2956         Add use of static not_read information.
2957
2958 2006-01-18  Alexandre Oliva  <aoliva@redhat.com>
2959
2960         Introduce TLS descriptors for i386 and x86_64.
2961         * config/i386/i386.h (TARGET_GNU2_TLS): New macro.
2962         (TARGET_ANY_GNU_TLS): New macro.
2963         (enum tls_dialect): Added TLS_DIALECT_GNU2.
2964         (struct machine_function): Add tls_descriptor_call_expanded_p.
2965         (ix86_tls_descriptor_calls_expande_in_cfun): New macro.
2966         (ix86_current_function_calls_tls_descriptor): Likewise.
2967         * config/i386/i386.c (ix86_tls_dialect): Fix typo in comment.
2968         (override_options): Introduce gnu2 tls dialect.
2969         (ix86_frame_pointer_required): Functions containing TLSCALLs are
2970         not leaves.
2971         (ix86_select_alt_pic_regnum, ix86_compute_frame_layout):
2972         Likewise.
2973         (legitimize_tls_address): Adjust logic for GNU2 TLS.
2974         (ix86_init_machine_status): Initialize new field.
2975         (ix86_tls_get_addr): Use TARGET_ANY_GNU_TLS.
2976         (ix86_tls_module_base): New.
2977         * config/i386/i386-protos.h (ix86_tls_module_base): Declare it.
2978         * config/i386/i386.md (UNSPEC_TLSDESC): New constant.
2979         (tls_global_dynamic_32, tls_global_dynamic_64): Handle GNU2 TLS.
2980         (tls_local_dynamic_base_32, tls_local_dynamic_base_64): Likewise.
2981         (tls_dynamic_gnu2_32, *tls_dynamic_lea_32): New patterns.
2982         (*tls_dynamic_call_32, *tls_dynamic_gnu2_combine_32): Likewise.
2983         (tls_dynamic_gnu2_64, *tls_dynamic_lea_64): Likewise.
2984         (*tls_dynamic_call_64, *tls_dynamic_gnu2_combine_64): Likewise.
2985         * config/i386/predicates.md (tls_modbase_operand): New.
2986         (tp_or_register_operand): New.
2987
2988 2006-01-18  Daniel Berlin  <dberlin@dberlin.org>
2989
2990         * ipa-reference.c (check_operand):  Allow FUNCTION_DECL.
2991         (look_for_address_of): Ditto.
2992         (ipa_init): Walk the function decls.
2993         (static_execute): Don't set readonly on FUNCTION_DECL's.
2994
2995 2006-01-18  Roger Sayle  <roger@eyesopen.com>
2996
2997         * config/i386/i386.md (shift spliter): Fix a a typo in the splitter
2998         for shifts where the source and destination registers are different.
2999
3000 2006-01-18  Paul Brook  <paul@codesourcery.com>
3001
3002         Merge from csl-arm-branch.
3003         2005-03-14  Julian Brown  <julian@codesourcery.com>
3004         * config/arm/lib1funcs.asm (ashldi3): Don't define on SymbianOS.
3005         (aeabi_llsl): Likewise.
3006         (ashrdi3): Likewise.
3007         (aeabi_lasr): Likewise.
3008         (lshrdi3): Likewise.
3009         (aeabi_llsr): Likewise.
3010         2005-03-10  Julian Brown  <julian@codesourcery.com>
3011         * config.gcc: Disable shared libgcc for SymbianOS.
3012         * config/arm/t-symbian (LIB2ADDEH): Include config/arm/pr-support.c.
3013
3014 2006-01-18  DJ Delorie  <dj@redhat.com>
3015
3016         * c-pragma.c (handle_pragma_diagnostic): New.
3017         (init_pragma): Register it.
3018         * doc/extend.texi: Document it.
3019
3020         * diagnostic.def: Add DK_UNSPECIFIED and DK_IGNORED.
3021         * diagnostic.h (diagnostic_classify_diagnostic): Declare.
3022         (diagnostic_context): Add classify_diagnostic[].
3023         * diagnostic.c (diagnostic_count_diagnostic): Don't count warnings
3024         as errors if they're overridden to DK_WARNING.
3025         (diagnostic_initialize): Initialize classify_diagnostic[].
3026         (diagnostic_set_kind_override): New.
3027         (diagnostic_report_diagnostic): Check for kind changes.
3028         * opts.c (common_handle_option): Take lang_mask.  Update callers.
3029         Handle OPT_Werror_.
3030         * common.opt (Werror=): New.
3031         * doc/invoke.texi: Document -Werror=*
3032
3033 2006-01-18  Jeff Law  <law@redhat.com>
3034
3035         * tree-vrp.c (test_for_singularity): Correct test for new
3036         min limit.  Use operand_equal_p rather than pointer equality
3037         for testing if new min/max values are equal.
3038
3039         * tree-ssa-propagate.c (substitute_and_fold): Delay simplifications
3040         using range information until after propagation and folding.
3041
3042 2006-01-18  Richard Henderson  <rth@redhat.com>
3043             Aldy Hernandez  <aldyh@redhat.com>
3044             Jakub Jelinek  <jakub@redhat.com>
3045             Diego Novillo  <dnovillo@redhat.com>
3046
3047         * omp-low.c: New file.
3048         * c-omp.c: New file.
3049
3050 2006-01-18  Richard Henderson  <rth@redhat.com>
3051             Jakub Jelinek  <jakub@redhat.com>
3052             Diego Novillo  <dnovillo@redhat.com>
3053
3054         * doc/invoke.texi: Document -fopenmp.
3055         * tree-dump.h (debug_function): Declare.
3056         * hooks.c (hook_bool_tree_bool_false): New function.
3057         (hook_tree_tree_null): Remove.
3058         (hook_tree_tree_tree_null): New.
3059         * hooks.h: Update to match.
3060         * tree-pretty-print.c (debug_tree_chain): New.
3061         (print_generic_expr): Handle TDF_CHAIN.
3062         (dump_generic_node): Handle BLOCK.
3063         Do not abort with incomplete SWITCH_EXPRs.
3064         Do not dump body of an OpenMP directive if TDF_SLIM is given.
3065         <case OMP_PARALLEL, OMP_FOR, OMP_SECTIONS>: Don't
3066         print space after directive name.
3067         <OMP_FOR>: Handle printing OMP_FOR_PRE_BODY.
3068         Handle OMP_MASTER and OMP_ORDERED.
3069         Handle printing of OMP_BODY just in one place, goto
3070         dump_omp_body in the rest of OMP_* nodes that have
3071         OMP_BODY.
3072         Don't handle clause nodes here.  Update omp statements to
3073         use dump_omp_clauses.
3074         Handle OMP_SINGLE, OMP_SECTIONS, OMP_SECTION,
3075         OMP_CLAUSE_ORDERED, OMP_CLAUSE_SCHEDULE, OMP_ATOMIC,
3076         OMP_CRITICAL, OMP_CLAUSE_NOWAIT, GOMP_CLAUSE_IF,
3077         GOMP_CLAUSE_NUM_THREADS, GOMP_FOR, GOMP_CLAUSE_SHARED,
3078         GOMP_CLAUSE_FIRSTPRIVATE, GOMP_CLAUSE_LASTPRIVATE,
3079         GOMP_CLAUSE_COPYIN and GOMP_CLAUSE_COPYPRIVATE.
3080         Adjust output for GOMP_PARALLEL.
3081         (dump_omp_clauses): New.
3082         (print_declaration): Dump DECL_VALUE_EXPR.
3083         (op_symbol_1): Split out of op_symbol.
3084         (dumping_stmts): Remove.  Update all users.
3085         * cgraph.c (cgraph_analyze_queue): New.
3086         (cgraph_add_new_function): New.
3087         * cgraph.h (cgraph_analyze_queue): Declare.
3088         (cgraph_add_new_function): Declare.
3089         (cgraph_lower_function): Remove.
3090         * tree.c (walk_tree): Walk OMP_CLAUSE_CHAIN of OMP_CLAUSE_*
3091         nodes.  Use switch for all nodes, handle most of IS_EXPR_CODE_CLASS
3092         and TYPE_P nodes in its default clause.
3093         (empty_body_p): New.
3094         (tree_range_check_failed): New.
3095         (build5_stat): New.
3096         * tree.h (OMP_CLAUSE_REDUCTION_INIT,
3097         OMP_CLAUSE_REDUCTION_MERGE,
3098         OMP_CLAUSE_REDUCTION_PLACEHOLDER,
3099         OMP_CLAUSE_PRIVATE_DEBUG,
3100         OMP_CLAUSE_LASTPRIVATE_FIRSTPRIVATE, OMP_FOR_PRE_BODY,
3101         OMP_MASTER_BODY, OMP_ORDERED_BODY OMP_BODY,
3102         OMP_CLAUSES, OMP_CLAUSE_DECL, OMP_CLAUSE_DEFAULT_KIND,
3103         OMP_CLAUSE_CHAIN, OMP_CLAUSE_OUTER_DECL,
3104         OMP_CLAUSE_INNER_DECL, OMP_CLAUSE_NUM_THREADS_EXPR,
3105         OMP_CLAUSE_IF_EXPR, OMP_CLAUSE_SCHEDULE_CHUNK_EXPR,
3106         OMP_CLAUSE_SCHEDULE_CHUNK_SIZE. OMP_PARALLEL_VAR_INIT,
3107         OMP_PARALLEL_VAR_REDUC, OMP_FOR_VAR_INIT,
3108         OMP_FOR_VAR_LAST, OMP_FOR_VAR_REDUC,
3109         OMP_SECTIONS_VAR_INIT, OMP_SECTIONS_VAR_LAST,
3110         OMP_SECTIONS_VAR_REDUC, OMP_CLAUSE_REDUCTION_CODE
3111         OMP_SINGLE_CLAUSES, OMP_SINGLE_BODY,
3112         OMP_CLAUSE_SCHEDULE_CHUNK_SIZE, OMP_SECTION_BODY,
3113         OMP_CRITICAL_NAME, OMP_CRITICAL_BODY): New.
3114         (TREE_RANGE_CHECK): New.
3115         (empty_body_p): Declare.
3116         (enum omp_clause_default_kind): New.
3117         (build_string_literal): Declare.
3118         (enum omp_clause_schedule_kind, OMP_CLAUSE_SCHEDULE_KIND): New.
3119         (build5_stat, build5): Declare.
3120         * tree-pass.h (TDF_CHAIN): Define.
3121         * tree-pass.h (PROP_gimple_lomp): Define.
3122         (pass_lower_omp): Declare.
3123         * diagnostic.h (debug_tree_chain): Declare.
3124         * builtins.c (get_builtin_sync_mode): Use 0 as last argument to
3125         mode_for_size.
3126         (expand_builtin): Handle sync BUILT_IN_*_16 builtins.
3127         * builtins.c (build_string_literal): Make extern.
3128         * gcc.c (include_spec_function): New.
3129         (static_spec_functions): Add it.
3130         (main): Move load of libgomp.spec ...
3131         (LINK_COMMAND_SPEC): ... here.
3132         (link_gomp_spec): New.
3133         (static_specs): Include it.
3134         (LINK_COMMAND_SPEC): Add link_gomp.
3135         (GOMP_SELF_SPECS): New.
3136         (driver_self_specs): Include it.
3137         (switch_matches): Don't mark inline.
3138         (main): Load libgomp.spec.
3139         * tree-gimple.c (is_gimple_stmt): True for OMP_MASTER,
3140         OMP_ORDERED, OMP_CRITICAL, OMP_SECTIONS, OMP_SECTION,
3141         and OMP_SINGLE, OMP_FOR and OMP_PARALLEL.
3142         * tree-gimple.h (enum omp_parallel): Declare.
3143         (determine_parallel_type): Declare.
3144         (omp_firstprivatize_variable): Declare.
3145         (omp_reduction_init): Declare.
3146         (diagnose_omp_structured_block_errors): Declare.
3147         (struct walk_stmt_info): Add want_return_expr.
3148         (struct walk_stmt_info): Add want_bind_expr, want_locations.
3149         (find_omp_clause): Declare.
3150         (insert_field_into_struct): Declare.
3151         (struct walk_stmt_info): Move from tree-nested.c
3152         (walk_stmts): Declare.
3153         * c-cppbuiltin.c (c_cpp_builtins): If -fopenmp, #define _OPENMP
3154         to 200505.
3155         * cgraphunit.c (cgraph_lower_function): Make static.
3156         (cgraph_finalize_pending_functions): New.
3157         (cgraph_finalize_function): Call it.
3158         (cgraph_finalize_compilation_unit): Likewise.
3159         * builtin-types.def (BT_I16, BT_FN_I16_VPTR_I16,
3160         BT_FN_BOOL_VPTR_I16_I16, BT_FN_I16_VPTR_I16_I16): Add.
3161         (BT_FN_UINT_UINT): New.
3162         (DEF_FUNCTION_TYPE_6, DEF_FUNCTION_TYPE_7,
3163         DEF_FUNCTION_TYPE_VAR_4): Document.
3164         (BT_PTR_LONG, BT_PTR_PTR, BT_FN_BOOL, BT_FN_INT,
3165         BT_FN_VOID_PTRPTR, BT_PTR_FN_VOID_PTR,
3166         BT_FN_BOOL_LONGPTR_LONGPTR, BT_FN_VOID_OMPFN_PTR_UINT,
3167         BT_FN_VOID_OMPFN_PTR_UINT_UINT,
3168         BT_FN_BOOL_LONG_LONG_LONG_LONGPTR_LONGPTR,
3169         BT_FN_BOOL_LONG_LONG_LONG_LONG_LONGPTR_LONGPTR,
3170         BT_FN_VOID_OMPFN_PTR_UINT_LONG_LONG_LONG,
3171         BT_FN_VOID_OMPFN_PTR_UINT_LONG_LONG_LONG_LONG): New.
3172         * builtins.def: Update DEF_BUILTIN comment to include COND argument.
3173         Move all DEF_SYNC_BUILTIN () and DEF_GOMP_BUILTIN () builtins
3174         into separate files.
3175         (DEF_GOMP_BUILTIN): New.
3176         (BUILT_IN_OMP_GET_THREAD_NUM, BUILT_IN_GOMP_BARRIER,
3177         BUILT_IN_GOMP_CRITICAL_START, BUILT_IN_GOMP_CRITICAL_END,
3178         BUILT_IN_GOMP_CRITICAL_NAME_START, BUILT_IN_GOMP_CRITICAL_NAME_END,
3179         BUILT_IN_GOMP_LOOP_STATIC_START, BUILT_IN_GOMP_LOOP_DYNAMIC_START,
3180         BUILT_IN_GOMP_LOOP_GUIDED_START, BUILT_IN_GOMP_LOOP_RUNTIME_START,
3181         BUILT_IN_GOMP_LOOP_ORDERED_STATIC_START,
3182         BUILT_IN_GOMP_LOOP_ORDERED_DYNAMIC_START,
3183         BUILT_IN_GOMP_LOOP_ORDERED_GUIDED_START,
3184         BUILT_IN_GOMP_LOOP_ORDERED_RUNTIME_START,
3185         BUILT_IN_GOMP_LOOP_STATIC_NEXT, BUILT_IN_GOMP_LOOP_DYNAMIC_NEXT,
3186         BUILT_IN_GOMP_LOOP_GUIDED_NEXT, BUILT_IN_GOMP_LOOP_RUNTIME_NEXT,
3187         BUILT_IN_GOMP_LOOP_ORDERED_STATIC_NEXT,
3188         BUILT_IN_GOMP_LOOP_ORDERED_DYNAMIC_NEXT,
3189         BUILT_IN_GOMP_LOOP_ORDERED_GUIDED_NEXT,
3190         BUILT_IN_GOMP_LOOP_ORDERED_RUNTIME_NEXT,
3191         BUILT_IN_GOMP_PARALLEL_LOOP_STATIC_START,
3192         BUILT_IN_GOMP_PARALLEL_LOOP_DYNAMIC_START,
3193         BUILT_IN_GOMP_PARALLEL_LOOP_GUIDED_START,
3194         BUILT_IN_GOMP_PARALLEL_LOOP_RUNTIME_START,
3195         BUILT_IN_GOMP_LOOP_END, BUILT_IN_GOMP_LOOP_END_NOWAIT,
3196         BUILT_IN_GOMP_ORDERED_START, BUILT_IN_GOMP_ORDERED_END,
3197         BUILT_IN_GOMP_PARALLEL_START, BUILT_IN_GOMP_PARALLEL_END,
3198         BUILT_IN_GOMP_SECTIONS_START, BUILT_IN_GOMP_SECTIONS_NEXT,
3199         BUILT_IN_GOMP_PARALLEL_SECTIONS_START, BUILT_IN_GOMP_SECTIONS_END,
3200         BUILT_IN_GOMP_SECTIONS_END_NOWAIT, BUILT_IN_GOMP_SINGLE_START,
3201         BUILT_IN_GOMP_SINGLE_COPY_START, BUILT_IN_GOMP_SINGLE_COPY_END): New.
3202         * sync-builtins.def: New file, moved from builtins.def.
3203         * omp-builtins.def: New file, moved from builtins.def.
3204         * c-objc-common.h (LANG_HOOKS_OMP_PREDETERMINED_SHARING): Redefine.
3205         * gimple-low.c (lower_function_body): Clear data.
3206         (lower_stmt): Do not handle COMPOUND_EXPR.
3207         Remove call to print_node_brief.
3208         * c-tree.h (c_finish_omp_clauses): New prototype.
3209         (C_DECL_THREADPRIVATE_P): Define.
3210         (lookup_name_no_remap, c_omp_remap_private): Remove
3211         (c_begin_omp_parallel, c_finish_omp_parallel): Update.
3212         (check_for_loop_decls): Update decl.
3213         (lookup_name_no_remap, c_omp_remap_private): Declare.
3214         (build_indirect_ref, build_modify_expr, pushdecl,
3215         pushdecl_top_level): Move to c-common.h.
3216         * dwarf2out.c (loc_descriptor_from_tree_1): Don't set unsignedp
3217         before the switch, but just in the 2 places that need it.
3218         * c-decl.c (diagnose_mismatched_decls): Do not check for
3219         mismatched thread-local attributes when OLDDECL is marked
3220         threadprivate and NEWDECL has no thread-local attributes.
3221         (merge_decls): Merge C_DECL_THREADPRIVATE_P.
3222         (c_gimple_diagnostics_recursively): Rename from
3223         c_warn_unused_result_recursively.  Invoke
3224         diagnose_omp_structured_block_errors.
3225         (check_for_loop_decls): Return a singular decl found.
3226         * langhooks.c (lhd_omp_predetermined_sharing): Return
3227         OMP_CLAUSE_DEFAULT_SHARED for DECL_ARTIFICIAL decls.
3228         (lhd_omp_firstprivatize_type_sizes): New.
3229         (lhd_omp_assignment): New.
3230         (lhd_omp_predetermined_sharing): New.
3231         * langhooks.h (struct gimplify_omp_ctx): Forward declare.
3232         (struct lang_hooks_for_types): Add
3233         omp_firstprivatize_type_sizes, omp_privatize_by_reference,
3234         omp_predetermined_sharing, omp_disregard_value_expr,
3235         omp_private_debug_clause, omp_clause_default_ctor,
3236         omp_clause_copy_ctor, omp_clause_assign_op, omp_clause_dtor.
3237         (c_finish_omp_clauses): New.
3238         (c_finish_bc_stmt): Diagnose break within omp for.
3239         (c_begin_omp_parallel, c_finish_omp_parallel): New.
3240         (build_unary_op): Return error_mark after reporting
3241         a readonly_error.
3242         (build_modify_expr): Likewise.
3243         * gimplify.c: Include optabs.h and pointer-set.h.
3244         (enum gimplify_omp_var_data): Declare.
3245         (struct gimplify_omp_ctx): Declare.
3246         (struct gimplify_ctx): Add fields prev_context, combined_pre_p
3247         and combined_ctxp.
3248         (gimplify_ctxp, gimplify_omp_ctxp): New local variables.
3249         (push_gimplify_context, pop_gimplify_context): Allow nesting.
3250         (splay_tree_compare_decl_uid): New.
3251         (new_omp_context): New.
3252         (delete_omp_context): New.
3253         (gimple_add_tmp_var): Call omp_add_variable.
3254         (gimplify_bind_expr): Likewise.
3255         (gimplify_var_or_parm_decl): If omp_notice_variable returned
3256         true, disregard DECL_VALUE_EXPR on the decl if any.
3257         (gimplify_expr_in_ctx): New.
3258         (omp_firstprivatize_variable, omp_firstprivatize_type_sizes
3259         omp_add_variable, omp_notice_variable, omp_is_private
3260         gimplify_scan_omp_clauses, gimplify_adjust_omp_clauses_1
3261         gimplify_adjust_omp_clauses, gimplify_omp_parallel
3262         gimplify_omp_for, gimplify_omp_workshare, goa_lhs_expr_p
3263         gimplify_omp_atomic_fetch_op, goa_stabilize_expr
3264         gimplify_omp_atomic_pipeline, gimplify_omp_atomic_mutex
3265         gimplify_omp_atomic): New.
3266         (gimplify_expr): Handle OMP_PARALLEL, OMP_FOR, OMP_SECTIONS,
3267         OMP_SINGLE, OMP_SECTION, OMP_MASTER, OMP_ORDERED,
3268         OMP_CRITICAL and OMP_ATOMIC.
3269         (gimplify_body): Verify gimplify_ctxp is empty after gimplification.
3270         * c-pragma.h (enum pragma_kind): Add
3271         PRAGMA_OMP_ATOMIC, PRAGMA_OMP_BARRIER,
3272         PRAGMA_OMP_CRITICAL, PRAGMA_OMP_FLUSH, PRAGMA_OMP_FOR,
3273         PRAGMA_OMP_MASTER, PRAGMA_OMP_ORDERED,
3274         PRAGMA_OMP_PARALLEL, PRAGMA_OMP_PARALLEL_FOR,
3275         PRAGMA_OMP_PARALLEL_SECTIONS, PRAGMA_OMP_SECTION,
3276         PRAGMA_OMP_SECTIONS, PRAGMA_OMP_SINGLE,
3277         PRAGMA_OMP_THREADPRIVATE.
3278         * tree.def (OMP_PARALLEL, OMP_FOR, OMP_SECTIONS,
3279         OMP_SINGLE, OMP_SECTION, OMP_MASTER, OMP_ORDERED,
3280         OMP_CRITICAL, OMP_ATOMIC, OMP_CLAUSE_PRIVATE,
3281         OMP_CLAUSE_SHARED, OMP_CLAUSE_FIRSTPRIVATE,
3282         OMP_CLAUSE_LASTPRIVATE, OMP_CLAUSE_REDUCTION,
3283         OMP_CLAUSE_COPYIN, OMP_CLAUSE_COPYPRIVATE,
3284         OMP_CLAUSE_IF, OMP_CLAUSE_NUM_THREADS,
3285         OMP_CLAUSE_SCHEDULE, OMP_CLAUSE_NOWAIT,
3286         OMP_CLAUSE_ORDERED, OMP_CLAUSE_DEFAULT): Define.
3287         * print-tree.c (print_node): Dump DECL_VALUE_EXPR.
3288         * tree-ssa-dce.c (find_control_dependence): Do not assume that
3289         ENTRY_BLOCK_PTR->next_bb == single_succ (ENTRY_BLOCK_PTR).
3290         * tree-nested.c (convert_call_expr): Call walk_body on OMP_BODY for
3291         OpenMP directives.
3292         (struct nesting_info): Add field_map,
3293         suppress_expansion, debug_var_chain.
3294         (create_nesting_tree): Initialize them.
3295         (lookup_field_for_decl): Use field_map.
3296         (get_nonlocal_debug_decl, get_local_debug_decl): New.
3297         (convert_local_omp_clauses): New.
3298         (finalize_nesting_tree_1): Add debug_var_chain to toplevel block.
3299         (walk_body): Split out of walk_function.
3300         (convert_nonlocal_omp_clauses, convert_local_omp_clauses): New.
3301         (convert_nonlocal_reference): Handle omp statements.
3302         (convert_local_reference): Likewise.
3303         (unnest_nesting_tree_1): Split out of finalize_nesting_tree_1.
3304         (unnest_nesting_tree): New.
3305         (lower_nested_functions): Call it.
3306         (insert_field_into_struct): Make extern.
3307         (struct walk_stmt_info): Move to tree-gimple.h.
3308         (walk_stmts): Make extern.
3309         * omp-builtins.def: New file.
3310         * tree-iterator.c (expr_only): Clarify comment.
3311         * c-common.h (pushdecl_top_level, pushdecl,
3312         build_modify_expr, build_indirect_ref,
3313         c_finish_omp_master, c_finish_omp_critical,
3314         c_finish_omp_ordered, c_finish_omp_barrier,
3315         c_finish_omp_atomic, c_finish_omp_flush,
3316         c_finish_omp_for, c_split_parallel_clauses,
3317         omp_clause_default_kind, c_omp_sharing_predetermined,
3318         c_omp_remap_decl): Declare.
3319         * Makefile.in (BUILTINS_DEF): Add omp-builtins.def.
3320         (OBJS-common): Add omp-low.o.
3321         (c-omp.o, omp-low.o): Add.
3322         (gimplify.o): Add dependency on $(OPTABS_H).
3323         (GTFILES): Add omp-low.c.
3324         (gt-stringpool.h): Add.
3325         * tree-cfg.c (set_bb_for_stmt): Do not update the
3326         block-to-labels map if we are currently expanding to RTL.
3327         (tree_node_can_be_shared): Remove unnecessary CONSTANT_CLASS_P
3328         checks.
3329         Handle IDENTIFIER_NODE.
3330         (tree_verify_flow_info): Do not ICE when emitting error
3331         messages about invalid labels.
3332         (dump_function_to_file): Reset CFUN before emitting the body
3333         of the function.
3334         (debug_function): New.
3335         * passes.c (init_optimization_passes): Schedule
3336         pass_lower_omp.
3337         * langhooks-def.h (lhd_omp_predetermined_sharing,
3338         lhd_omp_assignment, lhd_omp_firstprivatize_type_sizes):
3339         Declare.
3340         (LANG_HOOKS_OMP_FIRSTPRIVATIZE_TYPE_SIZES): Define.
3341         (LANG_HOOKS_FOR_TYPES_INITIALIZER): Use it.
3342         (LANG_HOOKS_OMP_PRIVATIZE_BY_REFERENCE,
3343         LANG_HOOKS_OMP_PREDETERMINED_SHARING,
3344         LANG_HOOKS_OMP_DISREGARD_VALUE_EXPR,
3345         LANG_HOOKS_OMP_PRIVATE_DEBUG_CLAUSE,
3346         LANG_HOOKS_OMP_CLAUSE_DEFAULT_CTOR,
3347         LANG_HOOKS_OMP_CLAUSE_COPY_CTOR,
3348         LANG_HOOKS_OMP_CLAUSE_ASSIGN_OP,
3349         LANG_HOOKS_OMP_CLAUSE_DTOR): Define.
3350         (LANG_HOOK_DECLS): Use them.
3351
3352 2006-01-18  Dmitry Kurochkin <dmitry.kurochkin@gmail.com>
3353             Richard Henderson  <rth@redhat.com>
3354             Jakub Jelinek  <jakub@redhat.com>
3355             Diego Novillo  <dnovillo@redhat.com>
3356
3357         * c-parser.c (pragma_omp_clause): Define.
3358         (c_parser_declaration_or_fndef): Document OpenMP syntax.
3359         (c_parser_compound_statement): Likewise.
3360         (c_parser_statement): Likewise.
3361         (c_parser_pragma): Handle omp pragmas.
3362         (OMP_FOR_CLAUSE_MASK, OMP_SECTIONS_CLAUSE_MASK,
3363         OMP_PARALLEL_CLAUSE_MASK, OMP_SINGLE_CLAUSE_MASK): Define.
3364         (c_parser_omp_clause_name, check_no_duplicate_clause,
3365         c_parser_omp_variable_list,
3366         c_parser_omp_var_list_parens, c_parser_omp_clause_copyin,
3367         c_parser_omp_clause_copyprivate,
3368         c_parser_omp_clause_default,
3369         c_parser_omp_clause_firstprivate, c_parser_omp_clause_if,
3370         c_parser_omp_clause_lastprivate,
3371         c_parser_omp_clause_nowait,
3372         c_parser_omp_clause_num_threads,
3373         c_parser_omp_clause_ordered, c_parser_omp_clause_private,
3374         c_parser_omp_clause_reduction,
3375         c_parser_omp_clause_schedule, c_parser_omp_clause_shared,
3376         c_parser_omp_all_clauses, c_parser_omp_structured_block,
3377         c_parser_omp_atomic, c_parser_omp_barrier,
3378         c_parser_omp_critical, c_parser_omp_flush,
3379         c_parser_omp_for_loop, c_parser_omp_for,
3380         c_parser_omp_master, c_parser_omp_ordered,
3381         c_parser_omp_sections_scope, c_parser_omp_sections,
3382         c_parser_omp_parallel, c_parser_omp_single,
3383         c_parser_omp_construct, c_parser_omp_threadprivate): New.
3384         * c-pragma.c (init_pragma): Do omp pragma registration here.
3385         * c.opt (fopenmp): New flag.
3386
3387 2006-01-18  Eric Christopher  <echristo@apple.com>
3388
3389         * gcc.c (GOMP_SELF_SPECS): Bracket in #ifndef/#endif.
3390         * config/darwin.h (GOMP_SELF_SPECS): Define.
3391
3392 2006-01-18  Kazu Hirata  <kazu@codesourcery.com>
3393
3394         * rtl.h: Remove the prototype for reg_alloc.
3395
3396 2006-01-18  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
3397
3398         PR target/25731
3399         * config.gcc (hppa*-*-linux*, hppa[12]*-*-hpux10*, hppa*64*-*-hpux11*,
3400         hppa[12]*-*-hpux11*): Override default shared libgcc version for both
3401         sjlj and dwarf2 exception handling.
3402         * pa/t-hpux-shlib (SHLIB_SOVERSION): New make variable.
3403         Rework to allow overriding SHLIB_EXT and SHLIB_SOVERSION.
3404         * pa/pa.c (function_value): Treat complex and vector types as
3405         aggregates.
3406         (function_arg): Likewise.  Only pass scalar floats in the floating
3407         point argument registers.
3408         * pa/t-slibgcc-dwarf-ver: New file.
3409         * pa/t-slibgcc-sjlj-ver: New file.
3410         * pa/t-slibgcc-elf-ver: Delete file.
3411
3412 2006-01-19  Alan Modra  <amodra@bigpond.net.au>
3413
3414         * config/rs6000/rs6000.c (rs6000_assemble_integer): Correct
3415         unlikely_test_section_p test.
3416
3417 2006-01-18  Kazu Hirata  <kazu@codesourcery.com>
3418
3419         * mode-switching.c (optimize_mode_switching): Make it static.
3420         * basic-block.h: Remove the prototype for
3421         optimize_mode_switching.
3422
3423         * modulo-sched.c (sms_schedule): Make it static.
3424         * rtl.h: Remove the prototype for sms_schedule.
3425
3426         * postreload-gcse.c (gcse_after_reload_main): Make it static.
3427         * rtl.h: Remove the prototype for gcse_after_reload_main.
3428
3429         * reg-stack.c (reg_to_stack): Make it static.
3430         * rtl.h: Remove the prototype for reg_to_stack.
3431
3432         * regrename.c (regrename_optimize, copyprop_hardreg_forward):
3433         Make them static.
3434         * rtl.h: Remove the prototypes for regrename_optimize and
3435         copyprop_hardreg_forward.
3436
3437 2006-01-18  Eric Botcazou  <ebotcazou@adacore.com>
3438
3439         * config/alpha/alpha.c (alpha_split_tfmode_pair): Rename into
3440         alpha_split_tmode_pair.  Add 'mode' and 'fixup_overlap' arguments.
3441         Test against the appropriate null constant for the mode.
3442         If 'fixup_overlap' is true, swap the operands if they overlap.
3443         (alpha_split_tfmode_frobsign): Adjust call to alpha_split_tfmode_pair.
3444         * config/alpha/alpha-protos.h (alpha_split_tfmode_pair): Rename into
3445         alpha_split_tmode_pair and adjust for above change.
3446         * config/alpha/alpha.md (movtf_internal): Adjust call to
3447         alpha_split_tfmode_pair and rely on it to swap the operands.
3448         (movti_internal): New insn and post-reload splitter.
3449         (movti): New expander.
3450
3451 2006-01-18  Philippe De Muyter  <phdm@macqel.be>
3452
3453         * config/m68k/m68k.md (*addsi3_5200): Allow addq/subq to memory
3454         operands.
3455
3456 2006-01-18  Kazu Hirata  <kazu@codesourcery.com>
3457
3458         * rtlanal.c (global_reg_mentioned_p_1,
3459         global_reg_mentioned_p): Remove.
3460         * rtl.h: Remove the prototype for global_reg_mentioned_p.
3461
3462         * flow.c (initialize_uninitialized_subregs): Make it static.
3463         * rtl.h: Remove the prototype for
3464         initialize_uninitialized_subregs.
3465
3466         * function.c (instantiate_virtual_regs): Make it static.
3467         * function.h: Remove the prototype for
3468         instantiate_virtual_regs.
3469
3470         * regmove.c (regmove_optimize, combine_stack_adjustments):
3471         Make them static.
3472         * rtl.h: Remove the prototypes for regmove_optimize and
3473         combine_stack_adjustments.
3474
3475 2006-01-17  Roger Sayle  <roger@eyesopen.com>
3476
3477         * config/i386/i386.c (COSTS_N_BYTES): New macro.
3478         (size_cost): Encode costs in bytes so that a reg-reg addition is
3479         equivalent to COSTS_N_INSNS(1).
3480         (override_options): Use the size_cost.branch_cost as the default
3481         ix86_branch_cost when optimizing for size.
3482
3483 2006-01-18  Ben Elliston  <bje@au.ibm.com>
3484
3485         * Makefile.in (D32PBIT_FUNCS): New.
3486         (D64PBIT_FUNCS, D128PBIT_FUNCS): Likewise.
3487         (libgcc.mk): Set D32PBIT, D64PBIT, D128PBIT, D32PBIT_FUNCS,
3488         D64PBIT_FUNCS and D128PBIT_FUNCS.
3489         (LIBGCC_DEPS): Include $(D32PBIT), $(D64PBIT), $(D128PBIT).
3490         * mklibgcc.in Bring in the DFP support code if D32PBIT, D64PBIT or
3491         D128PBIT are set.
3492         (decnumber_dep): Define.
3493         * doc/libgcc.texi (Decimal float library routines): New node.
3494         * config/dfp-bit.h, config/dfp-bit.c: New files.
3495
3496 2006-01-18  Ben Elliston  <bje@au.ibm.com>
3497
3498         * expr.c (emit_move_change_mode): Always adjust addresses, not
3499         just during reload.  Copy replacements only during reload.
3500         (emit_move_insn_1): Move MODE_DECIMAL_FLOAT modes by invoking
3501         emit_move_via_integer.
3502
3503 2006-01-17  Shantonu Sen  <ssen@opendarwin.org>
3504
3505         * Makefile.in (check-%, check-consistency): Use $${srcdir}
3506         instead of $(srcdir) and ${srcdir}.
3507
3508 2006-01-17  Richard Earnshaw  <rearnsha@arm.com>
3509
3510         PR target/592
3511         PR middle-end/11135
3512         * arm.h (struct machine_function): Add pic_reg.
3513         * arm.c (arm_pic_register): Make unsigned.
3514         (arm_override_options): Only set arm_pic_register if
3515         TARGET_SINGLE_PIC_BASE.
3516         (use_return_insn): Only test for a pic register if it is fixed.
3517         (arm_compute_save_reg0_reg12_mask): Likewise.
3518         (thumb_compute_save_reg_mask): Likewise.
3519         (legitimate_pic_operand): Factor out some known invariants.
3520         (legitimize_pic_address): If we don't have a fixed pic register,
3521         then set up a pseudo in the function entry sequence.  Handle the
3522         pic base being in a pseudo.
3523         (arm_load_pic_register): Handle the pic register being in a pseudo.
3524         (arm_expand_prologue): Only set up the pic register if it is fixed.
3525         (thumb_expand_prologue): Likewise.
3526         * arm.md (pic_load_addr_based): Handle the pic base being a pseudo.
3527         (pic_load_addr_based_insn): Likewise.
3528         (builtin_setjmp_receiver): Don't restore the pic base if it isn't
3529         fixed.
3530
3531 2006-01-18  Ben Elliston  <bje@au.ibm.com>
3532
3533         * config/rs6000/rs6000.c (rs6000_hard_regno_mode_ok): Reject
3534         decimal float modes for all floating point registers.
3535
3536         * config/rs6000/predicates.md (reg_or_mem_operand): Pair up
3537         match_code "mem" with match_test "macho_lo_sum_memory_operand".
3538
3539 2006-01-17  Jakub Jelinek  <jakub@redhat.com>
3540
3541         PR c/25682
3542         * c-typeck.c (build_unary_op): Fold offsetof-like expressions
3543         even when the pointer is not NULL.
3544
3545 2006-01-16  Ian Lance Taylor  <ian@airs.com>
3546
3547         * common.opt (ftoplevel-reorder): New option.
3548         * cgraph.c (cgraph_asm_nodes): New global variable.
3549         (cgraph_asm_last_node): New static variable.
3550         (cgraph_order): New global variable.
3551         (cgraph_create_node): Set new order field.
3552         (cgraph_varpool_node): Likewise.
3553         (decide_is_variable_needed): Return true if not
3554         flag_toplevel_reorder.
3555         (cgraph_add_asm_node): New function.
3556         * cgraph.h (struct cgraph_node): Add order field.
3557         (struct cgraph_varpool_node): Add order field.
3558         (struct cgraph_asm_node): Define.
3559         (cgraph_asm_nodes, cgraph_order): Declare.
3560         (cgraph_add_asm_node): Declare.
3561         * cgraphunit.c (cgraph_varpool_assemble_decl): New static
3562         function.
3563         (cgraph_varpool_assemble_pending_decls): Call it.
3564         (cgraph_output_pending_asms): New static function.
3565         (cgraph_finalize_compilation_unit): Call it.
3566         (struct cgraph_order_sort): Define.
3567         (cgraph_output_in_order): New static function.
3568         (cgraph_optimize): Call cgraph_output_pending_asms.  Add code for
3569         !flag_toplevel_reorder case.
3570         * c-parser.c: Include "cgraph.h".
3571         (c_parser_asm_definition): Call cgraph_add_asm_node rather than
3572         assemble_asm.
3573         * Makefile.in (CRTSTUFF_CFLAGS): Use -fno-toplevel-reorder rather
3574         than -fno-unit-at-a-time.
3575         * doc/invoke.texi (Option Summary): Mention
3576         -fno-toplevel-reorder.
3577         (Optimize Options): Document -fno-toplevel-reorder.  Mention it in
3578         -funit-at-a-time documentation.
3579
3580 2006-01-17  Hans-Peter Nilsson  <hp@axis.com>
3581             Kazu Hirata  <kazu@codesourcery.com>
3582
3583         * Makefile.in (FUNCTION_H, LAMBDA_H): Use $(TREE_H), not tree.h.
3584
3585 2006-01-17  Kazu Hirata  <kazu@codesourcery.com>
3586
3587         * Makefile.in (FUNCTION_H): New.  Use it instead of
3588         function.h throughout the file.
3589         * function.h: Include tree.h.
3590
3591 2006-01-17  Ben Elliston  <bje@au.ibm.com>
3592
3593         * recog.c: Separate some functions with whitespace.
3594
3595 2006-01-16  Richard Henderson  <rth@redhat.com>
3596
3597         Merge from gomp branch:
3598         * Makefile.in (TREE_INLINE_H): New.  Use it as needed.
3599         * tree-inline.h (struct copy_body_data): Move from tree-inline.c
3600         and rename from struct inline_data.  Rename callee* to dst*;
3601         caller* to src*; add copy_decl hook, transform_call_graph_edges,
3602         transform_new_cfg, transform_return_to_modify, and
3603         transform_lang_insert_block flags; remove cloning_p, versioning_p,
3604         update_clones_p.
3605         (copy_body_r, insert_decl_map, remap_decl, remap_type): Declare.
3606         (copy_decl_for_dup): Remove.
3607         * tree-inline.c (struct inline_data): Move to header.
3608         (insert_decl_map): Export.
3609         (remap_decl): Update for member name changes.  Use copy_decl hook.
3610         Allow for replacement to be a non-decl.  Remove dead code.
3611         (remap_type_1): Check for existing mapping.
3612         (remap_type): Export.
3613         (remap_decls): Update for member name changes.
3614         (remap_block, copy_bb, copy_cfg_body, copy_generic_body): Likewise.
3615         (copy_body, setup_one_parameter, declare_return_variable): Likewise.
3616         (expand_call_inline, optimize_inline_calls, clone_body): Likewise.
3617         (copy_tree_r, mark_local_for_remap_r, unsave_expr_now): Likewise.
3618         (tree_function_versioning, build_duplicate_type): Likewise.
3619         (copy_body_r): Likewise.  Export.
3620         (copy_decl_for_dup): Split into ...
3621         (copy_decl_for_dup_finish, copy_decl_to_var,
3622         copy_decl_no_change, copy_decl_maybe_to_var): ... these.
3623         (replace_ref_tree, inlining_p): Remove.
3624
3625 2006-01-16  Kazu Hirata  <kazu@codesourcery.com>
3626
3627         * ifcvt.c (if_convert): Make it static.
3628         * rtl.h: Remove the prototype for if_convert.
3629
3630         * local-alloc.c (local_alloc): Make it static.
3631         * rtl.h: Remove the prototype for local_alloc.
3632
3633         * loop.c (loop_optimize): Make it static.
3634         * cfgloop.h: Remove the prototype for loop_optimize.
3635         * rtl.h: Likewise.
3636
3637 2006-01-16  DJ Delorie  <dj@redhat.com>
3638
3639         * reload.c (reg_overlap_mentioned_for_reload_p): Handle subregs of
3640         mems.
3641
3642 2006-01-16  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
3643
3644         * pa.md: Disparage copies between general and floating-point registers
3645         in 32-bit move patterns.
3646
3647 2006-01-16  H.J. Lu  <hongjiu.lu@intel.com>
3648
3649         PR testsuite/25741
3650         * Makefile.in (check-%): Depend on site.exp instead of
3651         $(TESTSUITEDIR)/site.exp. Run "runtest" in separate language
3652         directories.
3653
3654 2006-01-16  Kazu Hirata  <kazu@codesourcery.com>
3655
3656         * global.c (global_alloc): Make it static.
3657         * rtl.h: Remove the prototype for global_alloc.
3658
3659 2006-01-16  Richard Guenther  <rguenther@suse.de>
3660
3661         * tree-ssa-alias.c (struct used_part): Add write_only field.
3662         (get_or_create_used_part_for): Initialize it to true.
3663         (create_overlap_variables_for): Don't create structure variables
3664         for structures that only are written to.
3665         (find_used_portions): Handle MODIFY_EXPR to track whether a
3666         structure is only written to.
3667
3668 2006-01-16  Kazu Hirata  <kazu@codesourcery.com>
3669
3670         * bb-reorder.c (partition_hot_cold_basic_blocks): Make it
3671         static.
3672         * basic-block.h: Remove the prototype for
3673         partition_hot_cold_basic_blocks.
3674
3675 2006-01-16  Rafael Ãƒvila de Espíndola <rafael.espindola@gmail.com>
3676
3677         * cppspec.c (lang_specific_spec_functions): Remove.
3678         * gcc.c (lookup_spec_function): Use static_spec_functions directly.
3679         * gcc.h (lang_specific_spec_functions): Remove.
3680         * gccspec.c (lang_specific_spec_functions): Remove.
3681
3682 2006-01-16  Paolo Bonzini  <bonzini@gnu.org>
3683
3684         * combine.c (record_value_for_reg): Invalidate registers
3685         if INSN is null.
3686         (record_dead_and_set_regs_1): Likewise, by passing them to
3687         record_value_for_reg.
3688         (record_dead_and_set_regs): Invalidate stores made by a
3689         call.  We do not combine across a call, but we still
3690         relied on equivalences.
3691
3692 2006-01-16  Eric Botcazou  <ebotcazou@adacore.com>
3693
3694         * tree-vrp.c (extract_range_from_binary_expr): Cope with
3695         vrp_int_const_binop returning non-constant nodes.
3696
3697 2006-01-16  Paul Brook  <paul@codesourcery.com>
3698
3699         * config/m68k/m68k.c (output_move_const_into_data_reg):
3700         Output correct mnemonic for mvz and mvs.
3701
3702 2006-01-16  Gabor Loki  <loki@gcc.gnu.org>
3703
3704         * rtl-factoring.c: Add sequence abstraction algorithm.
3705         * cfgcleanup.c (outgoing_edges_match): Extra checks.
3706         (try_crossjump_to_edge): Avoid deleting preserve label when redirecting
3707         ABNORMAL edges.
3708         (block_has_preserve_label): New function.
3709         * common.opt: Register new pass.
3710         * Makefile.in: Ditto.
3711         * passes.c: Ditto.
3712         * timevar.def: Ditto.
3713         * tree-pass.h: Ditto.
3714         * emit-rtl.c (make_jump_insn_raw): Remove forward decl.
3715         * rtl.h (make_jump_insn_raw): Add forward decl.
3716         * doc/invoke.texi: Add documentation for -frtl-abstract-sequences.
3717
3718 2006-01-16  Eric Botcazou  <ebotcazou@adacore.com>
3719             Roger Sayle  <roger@eyesopen.com>
3720
3721         * fold-const.c (fold_minmax): New static function.
3722         (fold_binary) <MIN_EXPR>: Call it.
3723         <MAX_EXPR>: Likewise.
3724         * stor-layout.c (place_field): Use DECL_SIZE consistently
3725         in the computation of the new record size.
3726
3727 2006-01-16  Kazu Hirata  <kazu@codesourcery.com>
3728
3729         * cse.c (cse_condition_code_reg): Make it static.
3730         * rtl.h: Remove the prototype for cse_condition_code_reg.
3731
3732         * combine.c (combine_instructions): Make it static.
3733         * rtl.h: Remove the prototype for combine_instructions.
3734
3735 2006-01-15  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
3736
3737         PR target/25168
3738         * tree.c (get_file_function_name_long): Concatenate the first global
3739         object name with a string derived from the input filename of the object
3740         for type "F".
3741
3742 2006-01-16  Ben Elliston  <bje@au.ibm.com>
3743
3744         * config/i386/winnt-stubs.c: Update FSF address.
3745         * config/xtensa/ieee754-df.S: Ditto.
3746         * config/xtensa/ieee754-sf.S: Ditto.
3747
3748 2006-01-14  Ian Lance Taylor  <ian@airs.com>
3749
3750         * ifcvt.c (noce_init_if_info): New static function, broken out of
3751         noce_process_if_block.
3752         (noce_process_if_block): Call noce_init_if_info.
3753         (check_cond_move_block): New static function.
3754         (cond_move_process_if_block): New static function.
3755         (process_if_block): Call cond_move_process_if_block.
3756
3757 2006-01-15  Kazu Hirata  <kazu@codesourcery.com>
3758
3759         * cselib.c (hash_table): Rename to cselib_hash_table.
3760         (cselib_clear_table, discard_useless_values,
3761         remove_useless_values, cselib_lookup_mem, cselib_lookup,
3762         cselib_init, cselib_finish): Adjust uses of hash_table.
3763
3764 2006-01-14  Kazu Hirata  <kazu@codesourcery.com>
3765
3766         PR tree-optimization/25485
3767         * tree-vrp.c (extract_range_from_binary_expr): Handle cases
3768         where one of the operands of TRUTH_AND_EXPR and TRUTH_OR_EXPR
3769         is known to be false and true, respectively.
3770
3771 2006-01-14  Richard Guenther  <rguenther@suse.de>
3772
3773         PR tree-optimization/22548
3774         PR tree-optimization/22555
3775         PR tree-optimization/22501
3776         * Makefile.in (tree-ssa-structalias.o): Depend on $(PARAMS_H).
3777         * params.def (salias-max-array-elements): New parameter.
3778         * params.h (SALIAS_MAX_ARRAY_ELEMENTS): Define.
3779         * doc/invoke.texi (salias-max-array-elements): Document.
3780         * tree-flow-inline.h (var_can_have_subvars): We also handle
3781         arrays now.
3782         * tree-ssa-alias.c (find_used_portions): Handle ARRAY_REF like
3783         COMPONENT_REF.
3784         * tree-ssa-structalias.c (params.h): Include.
3785         (push_fields_onto_fieldstack): Handle ARRAY_TYPE.
3786         (find_func_aliases): Handle multiple constraints from ARRAY_REF.
3787         (get_constraint_for): For ADDR_EXPR operating on something
3788         containing an ARRAY_REF, add all subvars to the solution.
3789         (handle_ptr_arith): Handle ARRAY_TYPE like RECORD_TYPE types.
3790         * tree-ssa-operands.c (parse_ssa_operands): Handle ARRAY_REF
3791         for creating MUST_DEFs.
3792         (get_expr_operands): Treat ARRAY_REF like COMPONENT_REF wrt subvars.
3793
3794 2006-01-14  Zdenek Dvorak <dvorakz@suse.cz>
3795
3796         * tree-ssa-loop-niter.c (number_of_iterations_cond): Split into several
3797         functions.
3798         (number_of_iterations_ne, number_of_iterations_lt_to_ne,
3799         assert_no_overflow_lt, assert_loop_rolls_lt, number_of_iterations_lt,
3800         number_of_iterations_le): New functions.
3801         (number_of_iterations_special): Removed.
3802         (number_of_iterations_exit): Do not use number_of_iterations_special.
3803         * tree.c (unsigned_type_for): Always return integer type.
3804
3805 2006-01-14  Steven Bosscher  <stevenb.gcc@gmail.com>
3806         Richard Guenther  <rguenther@suse.de>
3807
3808         PR rtl-optimization/24257
3809         * gcse.c (find_moveable_store): Only consider a store movable
3810         when the SET_SRC of the insn can be assigned to a register.
3811
3812 2006-01-14  Ian Lance Taylor  <ian@airs.com>
3813
3814         * tree.c (tree_not_class_check_failed): New function.
3815         * tree.h (NON_TYPE_CHECK): Call tree_not_class_check_failed.
3816         (tree_not_class_check_failed): Declare.
3817
3818 2006-01-13  Ian Lance Taylor  <ian@airs.com>
3819
3820         * reload1.c (do_output_reload): Add assertion rejecting a
3821         CALL_INSN.
3822
3823 2006-01-13  Adam Nemet  <anemet@caviumnetworks.com>
3824
3825         * combine.c (struct reg_stat): Add new fields truncation_label and
3826         truncated_to_mode.
3827         (record_value_for_reg): Reset truncated_to_mode.
3828         (record_truncated_value): New function.
3829         (check_promoted_subreg): Call it.  Rename to check_conversions.
3830         (combine_instructions): Rename check_promoted_subreg to
3831         check_conversions.
3832         (reg_truncated_to_mode): New function.
3833         (make_extraction): Use it.  Check TRULY_NOOP_TRUNCATION.
3834         (gen_lowpart_or_truncate): New function.
3835         (force_to_mode): Use it instead of gen_lowpart.
3836
3837 2006-01-13  Diego Novillo  <dnovillo@redhat.com>
3838
3839         * tree-ssa-alias.c (add_type_alias): Fix typo.  Test whether
3840         VAR is a tag, not its type tag.
3841
3842 2006-01-13  Alexandre Oliva  <aoliva@redhat.com>
3843
3844         * config/i386/sse.md (*vec_extractv2di_1_sse2): Reorder
3845         alternatives to match style of other entries.
3846         (*vec_extractv2di_1_sse): Likewise.  Fix mode attr.
3847
3848 2006-01-13  Daniel Berlin  <dberlin@dberlin.org>
3849
3850         PR tree-optimization/25771
3851         * tree-ssa-pre.c (insert_extra_phis): Don't insert merges of abnormal
3852         SSA_NAMES.
3853
3854 2006-01-13  Andrew Pinski  <pinskia@physics.uc.edu>
3855
3856         PR tree-opt/24365
3857         * tree-inline.c (declare_return_variable): If the return variable
3858         was marked as a non gimple complex, set the return slot variable
3859         to be a non gimple comple variable.
3860
3861 2006-01-13  Richard Guenther  <rguenther@suse.de>
3862
3863         * builtins.c (expand_builtin_sincos): New function.
3864         (expand_builtin_mathfn_3): Remove dead code, sin and cos
3865         do not set errno.
3866         (expand_builtin): Expand sincos using expand_builtin_sincos.
3867
3868 2006-01-12  DJ Delorie  <dj@redhat.com>
3869
3870         * config/m32c/shift.md: Rewrite: Allow arbitrary operands for
3871         shift counts, separate SI shifts for m32c vs m16c, pass shift type
3872         so that constant shifts can be split.
3873         * config/m32c/m32c.c (m32c_const_ok_for_constraint_p): Add In6.
3874         (m32c_valid_pointer_mode): Make static.
3875         (shift_gen_func_for): New.
3876         (m32c_prepare_shift): Use it.  Split large const shifts into
3877         multiple shifts.
3878         * config/m32c/predicates.md (shiftcount_operand): Allow more
3879         general operands.
3880         (longshiftcount_operand): New.
3881         * doc/md.texi (Machine Constraints): Document In6.
3882
3883 2006-01-13  Ben Elliston  <bje@au.ibm.com>
3884
3885         * doc/tm.texi (Data Output): Add REAL_VALUE_TO_TARGET_DECIMAL32,
3886         REAL_VALUE_TO_TARGET_DECIMAL64 and REAL_VALUE_TO_TARGET_DECIMAL128
3887         documentation.
3888
3889 2006-01-12  Daniel Berlin  <dberlin@dberlin.org>
3890
3891         * tree-ssa-operands.c (add_call_clobber_ops): Use SFT_PARENT_VAR
3892         to try to avoid clobbering pieces of structures when we know
3893         something about the whole structure.
3894         * tree-ssa-alias.c (create_sft): Set SFT_PARENT_VAR
3895
3896 2006-01-13  Ben Elliston  <bje@au.ibm.com>
3897
3898         * doc/rtl.texi (Insns): Remove statement that libcalls cannot
3899         return in memory, as this is no limitation is no longer present.
3900
3901 2006-01-12  DJ Delorie  <dj@redhat.com>
3902
3903         * config/m32c/addsub.md (addhi3): Add two more alternatives, for
3904         mova with fb, and for fb+0 -> An.
3905
3906         * config/m32c/mov.md (peephole2): Fix enabling logic.
3907
3908         * config/m32c/m32c.h (CTOR_LIST_BEGIN, CTOR_LIST_END,
3909         DTOR_LIST_BEGIN, DTOR_LIST_END, CTORS_SECTION_ASM_OP,
3910         DTORS_SECTION_ASM_OP, INIT_ARRAY_SECTION_ASM_OP,
3911         FINI_ARRAY_SECTION_ASM_OP): Define.
3912
3913         * config/m32c/m32c.c (m32c_legitimize_address): Remove temporary
3914         variable.
3915         (m32c_legitimize_reload_address): New logic to reload FB to An.
3916         (m32c_output_reg_push): Add newline.
3917         (m32c_output_reg_pop): Likewise.
3918
3919 2006-01-12  Ulrich Weigand  <uweigand@de.ibm.com>
3920
3921         * struct-equiv.c (find_dying_inputs): Fix off-by-one bug.
3922
3923 2006-01-11  Andrew Pinski  <pinskia@physics.uc.edu>
3924
3925         * config/i386/darwin.h (SUBTARGET_ENCODE_SECTION_INFO): Define.
3926
3927 2006-01-11  Kazu Hirata  <kazu@codesourcery.com>
3928
3929         * config/sh/predicates.md (sh_rep_vec): Add parallel to
3930         match_code.
3931
3932 2006-01-11  Ben Elliston  <bje@au.ibm.com>
3933
3934         * rtlanal.c (find_reg_note): Assert insn is not null.
3935
3936 2006-01-11  Kenneth Zadeck <zadeck@naturalbridge.com>
3937
3938         * df-scan.c (df_hard_reg_init): Move declaration of i outside
3939         ifdef.
3940
3941 2006-01-11  Jeff Law  <law@redhat.com>
3942
3943         * tree-ssa-threadupdate.c (threaded_edges): New VEC to
3944         hold edge pairs.
3945         (mark_threaded_blocks, register_jump_thread): New functions.
3946         (thread_through_all_blocks): Remove unwanted argument.  No
3947         longer rely on e->aux to communicate thread target info.
3948         Call mark_threaded_blocks.  Release the threaded_blocks
3949         bitmap and threaded_edges vector when complete.
3950         * tree-ssa-dom.c (struct edge_info): Remove redirection_target field.
3951         (threaded_blocks): Remove.
3952         (tree_ssa_dominator_optimize): Remove initialization and
3953         finalization of threaded_blocks.  Simplify call to
3954         thread_through_all_blocks.
3955         (thread_across_edge): Call register_jump_thread rather than
3956         storing thread information into e->aux.
3957         (free_all_edge_infos): Simplify now that e->aux is no longer
3958         used to communicate with thread_through_all_blocks.
3959         * tree-flow.h (thread_through_all_blocks): Update prototype.
3960         (register_jump_thread): Prototype.
3961
3962 2006-01-11  Kazu Hirata  <kazu@codesourcery.com>
3963
3964         * df-core.c (df_compact_blocks, df_bb_replace): Use
3965         SET_BASIC_BLOCK instead of BASIC_BLOCK.
3966
3967 2006-01-11  Richard Guenther  <rguenther@suse.de>
3968
3969         PR tree-optimization/25734
3970         * tree-ssa-forwprop.c (forward_propagate_addr_expr_1): Do not
3971         stop propagation after successful propagation to the LHS.
3972
3973 2006-01-11  Kazu Hirata  <kazu@codesourcery.com>
3974
3975         * basic-block.h (control_flow_graph): Change the type of
3976         x_basic_block_info to VEC(basic_block,gc) *.
3977         (BASIC_BLOCK_FOR_FUNCTION, BASIC_BLOCK): Adjust the uses of
3978         basic_block_info.
3979         (SET_BASIC_BLOCK): New.
3980         * cfg.c (compact_blocks, expunge_block): Use SET_BASIC_BLOCK
3981         instead of BASIC_BLOCK when assigning to BASIC_BLOCK.
3982         * cfgbuild.c (find_basic_blocks): Likewise.
3983         * cfglayout.c (fixup_reorder_chain): Likewise.
3984         * cfgrtl.c (create_basic_block_structure,
3985         rtl_create_basic_block): Likewise.
3986         * ifcvt.c (find_if_case_1): Likewise.
3987         * tree-cfg.c (init_empty_tree_cfg, build_tree_cfg, create_bb):
3988         Likewise.
3989
3990 2006-01-11  Kenneth Zadeck <zadeck@naturalbridge.com>
3991
3992         * Makefile.in: Removed rotted odf.c entry.
3993
3994 2006-01-11  Hans-Peter Nilsson  <hp@axis.com>
3995
3996         PR target/25706
3997         * config/cris/cris.md ("*extopqihi_side", "*extop<mode>si_side")
3998         ("*extop<mode>si_swap_side_biap", "*extop<mode>si_swap_side",
3999         ("*extopqihi", "*extop<mode>si", "*extop<mode>si_swap"): Use %E
4000         output pattern modifier, not %e.
4001         * config/cris/cris.c (cris_op_str): Update comment about pattern
4002         modifier.
4003         (cris_print_operand) <case 'e'>: Clear cris_output_insn_is_bound
4004         before falling through into...
4005         <case 'E'>: Redefined from old 'e' case.
4006
4007 2006-01-11  Jan Hubicka  <jh@suse.cz>
4008
4009         PR target/25042
4010         * i386.c (ix86_init_mmx_sse_builtins): Do not delcare float128
4011
4012 2006-01-11  Jan Hubicka  <jh@suse.cz>
4013
4014         * i386.h (TARGET_DECOMPOSE_LEA): Kill.
4015         * i386.c (x86_decompose_lea): Kill.
4016         (ix86_rtx_costs): Kill.
4017
4018 2006-01-11  Jan Hubicka  <jh@suse.cz>
4019
4020         * cgraph.c (cgraph_insert_node_to_hashtable): New function.
4021         * cgraph.h (cgraph_node): Add inline_decl.
4022         (cgraph_insert_node_to_hashtable): Declare.
4023         (save_inline_function_body): Declare.
4024         * cgraphunit.c (verify_cgraph_node): Inline edges might point to inline
4025         clones.
4026         (cgraph_preserve_function_body_p): Do not presrve when dump is enabled.
4027         (cgraph_function_versioning): Update call of tree_function_versioning.
4028         (save_inline_function_body): New function.
4029         * function.h (struct function): Kill saved_eh, saved_cfg, saved_args,
4030         saved_static_chain_decl, saved_blocks and saved-unexpanded_var_list.
4031         * ipa-inline.c (cgraph_mark_inline_edge): Look for inline clones.
4032         (cgraph_default_inline_p): Likewise.
4033         (cgraph_decide_inlining_incrementally): Likewise.
4034         * tree-inline.c (inline_data): Kill saving_p add update_clones_p.
4035         (copy_bb): Kill saving; do updating of clones.
4036         (copy_cfg_body): Kill saving.
4037         (initialize_inlined-parameters): Likewise.
4038         (expand_call_inline): Likewise.
4039         (save_body): Kill.
4040         (tree_function_versioning): New parameter "update_clones".
4041         (inlining_p): Kill saving.
4042         * tree-inline.h (tree_function_versioning): Update prototype.
4043         * tree-optimize.c (tree_rest_of_compilation): Use clonning instead of
4044         saving.
4045
4046 2006-01-11  Ian Lance Taylor <ian@airs.com>
4047
4048         * combine.c (struct undo): Remove is_int.  Enumify types of undos.
4049         Allow undoing set of machine mode.
4050         (do_SUBST): Use enums instead of is_int.
4051         (do_SUBST_MODE): New function.
4052         (SUBST_MODE): New macro.
4053         (try_combine): Use SUBST_MODE/PUT_MODE instead of generating a new
4054         reg and trying to replace reg_regno_rtx with a new register.
4055         (undo_all): Use new enums, handle undoing a PUT_MODE change.
4056         (simplify_set): Use SUBST_MODE.
4057         (distribute_notes): Remove code that tried to update reg notes
4058         for regno_reg_rtx changes.
4059
4060 2006-01-11  Paolo Bonzini  <bonzini@gnu.org>
4061
4062         PR tree-optimization/23109
4063         PR tree-optimization/23948
4064         PR tree-optimization/24123
4065
4066         * Makefile.in (tree-ssa-math-opts.o): Adjust dependencies.
4067         * tree-cfg.c (single_noncomplex_succ): New.
4068         * tree-flow.h (single_noncomplex_succ): Declare it.
4069         * tree-ssa-math-opts.c (enum place_reciprocal): Remove.
4070         * tree-ssa-math-opts.c (enum place_reciprocal): Remove.
4071         (struct occurrence, occ_head, occ_pool, is_divide_by, compute_merit,
4072         insert_bb, register_division_in, insert_reciprocals,
4073         replace_reciprocal, free_bb): New.
4074         (execute_cse_reciprocals_1): Rewritten.
4075         (execute_cse_reciprocals): Adjust calls to execute_cse_reciprocals_1.
4076         Do not commit any edge insertion.  Always compute dominators and
4077         create the allocation pool.
4078         * target-def.h (TARGET_MIN_DIVISIONS_FOR_RECIP_MUL): New.
4079         * target.h (struct gcc_target): Add min_divistions_for_recip_mul.
4080         * targhooks.c (default_min_divistions_for_recip_mul): New.
4081         * targhooks.h (default_min_divistions_for_recip_mul): New prototype.
4082         * passes.c (init_optimization_passes): Run recip after tree loop
4083         optimizations.
4084         * doc/tm.texi (Misc): Document TARGET_MIN_DIVISIONS_FOR_RECIP_MUL.
4085
4086 2006-01-11  Danny Berlin <dberlin@dberlin.org>
4087             Kenneth Zadeck <zadeck@naturalbridge.com>
4088
4089         * df.h (DF_SCAN, DF_RU, DF_RD, DF_LR, DF_UR, DF_UREC, DF_CHAIN,
4090         DF_RI, DF_LAST_PROBLEM_PLUS1, DF_DU_CHAIN, DF_UD_CHAIN,
4091         DF_REF_TYPE_NAMES, DF_HARD_REGS, DF_EQUIV_NOTES, DF_SUBREGS,
4092         DF_SCAN_BB_INFO, DF_RU_BB_INFO, DF_RD_BB_INFO, DF_LR_BB_INFO,
4093         DF_UR_BB_INFO, DF_UREC_BB_INFO, DF_LIVE_IN, DF_LIVE_OUT,
4094         DF_RA_LIVE_IN, DF_RA_LIVE_OUT, DF_UPWARD_LIVE_IN,
4095         DF_UPWARD_LIVE_OUT, DF_REF_REAL_REG, DF_REF_REGNO,
4096         DF_REF_REAL_LOC, DF_REF_REG, DF_REF_LOC, DF_REF_BB, DF_REF_BBNO,
4097         DF_REF_INSN, DF_REF_INSN_UID, DF_REF_TYPE, DF_REF_CHAIN,
4098         DF_REF_ID, DF_REF_FLAGS, DF_REF_NEXT_REG, DF_REF_PREV_REG,
4099         DF_REF_NEXT_REF, DF_REF_DATA, DF_REF_REG_DEF_P, DF_REF_REG_USE_P,
4100         DF_REF_REG_MEM_STORE_P, DF_REF_REG_MEM_LOAD_P, DF_REF_REG_MEM_P,
4101         DF_DEFS_SIZE, DF_DEFS_GET, DF_DEFS_SET, DF_USES_SIZE, DF_USES_GET,
4102         DF_USES_SET, DF_REG_SIZE, DF_REG_DEF_GET, DF_REG_DEF_SET,
4103         DF_REG_USE_GET, DF_REG_USE_SET, DF_REGNO_FIRST_DEF,
4104         DF_REGNO_LAST_USE, DF_INSN_SIZE, DF_INSN_GET, DF_INSN_SET,
4105         DF_INSN_CONTAINS_ASM, DF_INSN_LUID, DF_INSN_DEFS, DF_INSN_USES,
4106         DF_INSN_UID_GET, DF_INSN_UID_LUID, DF_INSN_UID_DEFS,
4107         DF_INSN_UID_USES, DF_SCAN_INITIAL, DF_SCAN_GLOBAL,
4108         DF_SCAN_POST_ALLOC): New macros.
4109         (df_flow_dir, df_ref_type, df_ref_flags, df_alloc_function,
4110         df_free_bb_function, df_local_compute_function, df_init_function,
4111         df_dataflow_function, df_confluence_function_0,
4112         df_confluence_function_n, df_transfer_function,
4113         df_finalizer_function, df_free_function, df_dump_problem_function,
4114         df_problem, dataflow, df_insn_info, df_reg_info, df_ref, df_link,
4115         df_ref_info, df, df_map, df_scan_bb_info, df_ru_bb_info,
4116         df_ru_bb_info, df_rd_bb_info, df_lr_bb_info, df_ur_bb_info,
4117         df_urec_bb_info, ) New types.
4118         (df_invalidated_by_call, df_all_hard_regs, df_state) New public
4119         variables.
4120         (df_init, df_add_problem, df_set_blocks, df_finish, df_analyze,
4121         df_analyze_simple_change_some_blocks,
4122         df_analyze_simple_change_one_block, df_compact_blocks,
4123         df_bb_replace, df_bb_regno_last_use_find,
4124         df_bb_regno_first_def_find, df_bb_regno_last_def_find,
4125         df_insn_regno_def_p, df_find_def, df_find_use,
4126         df_iterative_dataflow, df_dump, df_chain_dump, df_refs_chain_dump,
4127         df_regs_chain_dump, df_insn_debug, df_insn_debug_regno,
4128         df_regno_debug, df_ref_debug, debug_df_insn, debug_df_regno,
4129         debug_df_reg, debug_df_defno, debug_df_useno, debug_df_ref,
4130         debug_df_chain, df_get_dependent_problem, df_chain_create,
4131         df_chain_unlink, df_chain_copy, df_get_live_in, df_get_live_out,
4132         df_grow_bb_info, df_chain_dump, df_print_bb_index,
4133         df_ru_add_problem, df_ru_get_bb_info, df_rd_add_problem,
4134         df_rd_get_bb_info, df_lr_add_problem, df_lr_get_bb_info,
4135         df_ur_add_problem, df_ur_get_bb_info, df_urec_add_problem,
4136         df_urec_get_bb_info, df_chain_add_problem, df_ri_add_problem,
4137         df_reg_lifetime, df_scan_get_bb_info, df_scan_add_problem,
4138         df_rescan_blocks, df_ref_create, df_get_artificial_defs,
4139         df_get_artificial_uses, df_reg_chain_create, df_reg_chain_unlink,
4140         df_ref_remove, df_insn_refs_delete, df_refs_delete,
4141         df_reorganize_refs, df_set_state, df_hard_reg_init,
4142         df_read_modify_subreg_p) New public functions.
4143         * df-core.c: The core dataflow solver and glue routines for rtl
4144         dataflow.
4145         (df_init, df_add_problem, df_set_blocks, df_finish,
4146         df_hybrid_search_forward, df_hybrid_search_backward,
4147         df_iterative_dataflow, df_prune_to_subcfg, df_analyze_problem,
4148         df_analyze, df_get_bb_info, df_set_bb_info, df_bb_replace,
4149         df_bb_regno_last_use_find, df_bb_regno_first_def_find,
4150         df_bb_regno_last_def_find, df_insn_regno_def_p, df_find_def,
4151         df_reg_defined, df_find_use, df_reg_used, df_dump,
4152         df_refs_chain_dump, df_regs_chain_dump, df_insn_debug,
4153         df_insn_debug_regno, df_regno_debug, df_ref_debug, debug_df_insn,
4154         debug_df_reg, debug_df_regno, debug_df_ref debug_df_defno,
4155         debug_df_useno, reset_df_after_reload): New functions.
4156         * df-scan.c: The scanning fuctions, once in df.c, completely
4157         rewritten so that they now fully model the functionality of
4158         register usage at the backend.
4159         (df_scan_free_internal, df_scan_get_bb_info, df_scan_set_bb_info,
4160         df_scan_free_bb_info, df_scan_alloc, df_scan_free, df_scan_dump,
4161         df_scan_add_problem, df_grow_reg_info, df_grow_ref_info,
4162         df_grow_insn_info, df_rescan_blocks, df_ref_create,
4163         df_get_artificial_defs, df_get_artificial_uses,
4164         df_reg_chain_create, df_ref_unlink, df_reg_chain_unlink,
4165         df_ref_remove, df_insn_create_insn_record, df_insn_refs_delete,
4166         df_refs_delete, df_reorganize_refs, df_set_state,
4167         df_ref_create_structure, df_ref_record, df_read_modify_subreg_p,
4168         df_def_record_1, df_defs_record, df_uses_record,
4169         df_insn_contains_asm_1, df_insn_contains_asm, df_insn_refs_record,
4170         df_has_eh_preds, df_bb_refs_record, df_refs_record, df_mark_reg,
4171         df_record_exit_block_uses, df_hard_reg_init): New functions.
4172
4173         * df-problems.c: Seven concrete dataflow problems that use the
4174         scanning in df-scan.c and are solved by the engine in df-core.c.
4175         (df_get_dependent_problem, df_chain_create, df_chain_unlink,
4176         df_chain_copy, df_get_live_in, df_get_live_out, df_grow_bb_info,
4177         df_chain_dump, df_print_bb_index, df_ref_bitmap, df_set_seen,
4178         df_unset_seen, df_ru_get_bb_info, df_ru_set_bb_info,
4179         df_ru_free_bb_info, df_ru_alloc,
4180         df_ru_bb_local_compute_process_def,
4181         df_ru_bb_local_compute_process_use, df_ru_bb_local_compute,
4182         df_ru_local_compute, df_ru_init_solution, df_ru_confluence_n,
4183         df_ru_transfer_function, df_ru_free, df_ru_dump,
4184         df_ru_add_problem, df_rd_get_bb_info, df_rd_set_bb_info,
4185         df_rd_free_bb_info, df_rd_alloc,
4186         df_rd_bb_local_compute_process_def, df_rd_bb_local_compute,
4187         df_rd_local_compute, df_rd_init_solution, df_rd_confluence_n,
4188         df_rd_transfer_function, df_rd_free, df_rd_dump,
4189         df_rd_add_problem, df_lr_get_bb_info, df_lr_set_bb_info,
4190         df_lr_free_bb_info, df_lr_alloc, df_lr_bb_local_compute,
4191         df_lr_local_compute, df_lr_init, df_lr_confluence_0,
4192         df_lr_confluence_n, df_lr_transfer_function, df_lr_free,
4193         df_lr_dump, df_lr_add_problem, df_ur_get_bb_info,
4194         df_ur_set_bb_info, df_ur_free_bb_info, df_ur_alloc,
4195         df_ur_bb_local_compute, df_ur_local_compute, df_ur_init,
4196         df_ur_local_finalize, df_ur_confluence_n, df_ur_transfer_function,
4197         df_ur_free, df_ur_dump, df_ur_add_problem, df_urec_get_bb_info,
4198         df_urec_set_bb_info, df_urec_free_bb_info, df_urec_alloc,
4199         df_urec_mark_reg_change, df_urec_check_earlyclobber,
4200         df_urec_mark_reg_use_for_earlyclobber,
4201         df_urec_mark_reg_use_for_earlyclobber_1, df_urec_bb_local_compute,
4202         df_urec_local_compute, df_urec_init, df_urec_local_finalize,
4203         df_urec_confluence_n, df_urec_transfer_function, df_urec_free,
4204         df_urec_dump, df_urec_add_problem, df_chain_alloc,
4205         df_chain_create_bb_process_use, df_chain_create_bb,
4206         df_chain_finalize, df_chain_free, df_chains_dump,
4207         df_chain_add_problem, df_ri_alloc, df_ri_bb_compute,
4208         df_ri_compute, df_ri_free, df_ri_dump, df_ri_add_problem,
4209         df_reg_lifetime): New functions.
4210         * df.c: Deleted file.
4211         * ddg.c (create_ddg_dep_no_link, build_inter_loop_deps): Made code
4212         consistent with new df api.
4213         * modulo-sched.c (sms_schedule, rest_of_handle_sms,
4214         rest_of_handle_sms): Ditto.
4215         * web.c (unionfind_union, union_defs, entry_register, web_main):
4216         Ditto.
4217         * loop_invariant.c (invariant_for_use, hash_invariant_expr_1,
4218         invariant_expr_equal_p, find_defs, check_dependencies,
4219         find_invariant_insn, find_invariants_to_move, move_invariant_reg,
4220         free_inv_motion_data, move_loop_invariants): Ditto.
4221         * Makefile.in (df.c, df-scan.c df-problems.c df-core.c):
4222         Update dependencies.
4223         (odf.c): Added defective entry that was deleted later in day.
4224         * sched-deps.c (sched_analyze_1): Ditto.
4225
4226 2006-01-11  Zdenek Dvorak <dvorakz@suse.cz>
4227
4228         * tree-ssa-operands.c (get_expr_operands): Record addressable
4229         variables directly.  Do not call add_stmt_operands for CONST_DECLs
4230         and ARRAY_DECLs.
4231         (get_indirect_ref_operands): Remove handling of *(&a + offset) case.
4232         (add_stmt_operands): Handle only objects satisfying SSA_VAR_P.
4233
4234 2006-01-11  Ben Elliston  <bje@au.ibm.com>
4235
4236         * config/i386/i386.c (ix86_return_in_memory): Fix comment: this
4237         function returns true in the positive case.
4238
4239 2006-01-10  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
4240
4241         PR target/20754
4242         * config/pa/pa.md: Create separate 32 and 64-bit move patterns
4243         for SI, DI, SF and DF modes.  Add alternatives to copy between
4244         general and floating point registers to the 32-bit patterns.
4245         * config/pa/pa-64.h (SECONDARY_MEMORY_NEEDED_RTX): Delete undefine.
4246         * config/pa/pa.h (SECONDARY_MEMORY_NEEDED_RTX): Delete define.
4247         (SECONDARY_MEMORY_NEEDED): Secondary memory is only needed when
4248         generating 64-bit code.
4249         * config/pa/pa.c (output_move_double): Handle copies between general
4250         and floating registers.
4251
4252 2006-01-10  Stuart Hastings  <stuart@apple.com>
4253
4254         * config/i386/i386.md (set_got): Update.
4255         (set_got_labelled): New.  (UNSPEC_LD_MPIC): New.
4256         (builtin_setjmp_receiver): Mach-O support.
4257         * config/i386/darwin.h (TARGET_ASM_FILE_END) Define.
4258         (GOT_SYMBOL_NAME): Define.
4259         (FORCE_PREFERRED_STACK_BOUNDARY_IN_MAIN): New.
4260         (TARGET_DEEP_BRANCH_PREDICTION): Remove.
4261         * config/i386/i386.c (override_options): Revise for Darwin.
4262         (USE_HIDDEN_LINKONCE): Enable for Mach-O.  (ix86_file_end): Mach-O
4263         support.  (darwin_x86_file_end): New.  (output_set_got): Add label
4264         parameter, revise for Mach-O.  (x86_output_mi_thunk): Likewise.
4265         * config/i386/i386-protos.h (output_set_got): Likewise.
4266         * config/darwin.c (machopic_legitimize_pic_address): Update
4267         regs_ever_live[].
4268
4269 2006-01-10  Kaz Kojima  <kkojima@gcc.gnu.org>
4270
4271         * config/sh/sh.h (SH5_WOULD_BE_PARTIAL_NREGS): Use GET_MODE_SIZE
4272         when MODE isn't BLKmode.
4273
4274 2006-01-10  Eric Botcazou  <ebotcazou@libertysurf.fr>
4275
4276         PR rtl-optimization/25367
4277         * config/sparc/sparc.h (HARD_REGNO_RENAME_OK): New macro.
4278
4279 2006-01-10  Hans-Peter Nilsson  <hp@axis.com>
4280
4281         PR target/25718
4282         * config/cris/cris.md ("uminsi3"): Don't use 8- or 16-bit sizes
4283         for a negative bound.
4284
4285 2006-01-10  Richard Guenther  <rguenther@suse.de>
4286
4287         * tree-ssa-structalias.c (get_constraint_for_component_ref):
4288         Never override with anything constraint.
4289
4290 2006-01-10  Jan Beulich  <jbeulich@novell.com>
4291
4292         * config/i386/i386.c (ix86_data_alignment): Don't force alignment to
4293         256 bits when optimize_size.
4294
4295 2006-01-10  Jan Beulich  <jbeulich@novell.com>
4296
4297         * config/i386/netware.h (TARGET_SUBTARGET_DEFAULT): Include
4298         MASK_ALIGN_DOUBLE.
4299         * config/i386/nwld.h (LINK_SPEC): Add --extensions:GNU option.
4300         * config/i386/t-nwld (SHLIB_LINK): Insert spaces between expr
4301         arguments.
4302
4303 2006-01-10  Ben Elliston  <bje@au.ibm.com>
4304
4305         * config/rs6000/predicates.md (easy_fp_constant): Discount decimal
4306         float modes.
4307         * config/rs6000/rs6000.c (rs6000_scalar_mode_supported_p): New.
4308         (TARGET_SCALAR_MODE_SUPPORTED_P): Define.
4309         (USE_FP_FOR_ARG): Reject decimal float modes.
4310         (function_arg_advance): Likewise.
4311         (output_toc): Handle emitting TDmode, DDmode and SDmode constants.
4312         (rs6000_handle_altivec_attribute): Do not permit decimal floating
4313         point types in AltiVec vectors.
4314         (rs6000_function_value): Use GP_ARG_RETURN for decimal floats.
4315         (rs6000_libcall_value): Likewise.
4316
4317 2006-01-09  Bob Wilson  <bob.wilson@acm.org>
4318
4319         * config/xtensa/ieee754-df.S: New file.
4320         * config/xtensa/ieee754-sf.S: New file.
4321         * config/xtensa/t-xtensa (LIB2FUNCS_EXTRA): Remove fp-bit.c & dp-bit.c.
4322         (LIB1ASMFUNCS): Add SFmode and DFmode floating-point functions.
4323         * config/xtensa/lib1funcs.asm: Include ieee754-df.S and ieee754-sf.S.
4324
4325 2006-01-09  Kazu Hirata  <kazu@codesourcery.com>
4326
4327         * config/sh/predicates.md (binary_float_operator,
4328         binary_logical_operator, commutative_float_operator,
4329         equality_comparison_operator, greater_comparison_operator,
4330         less_comparison_operator, logical_operator,
4331         noncommutative_float_operator, shift_operator,
4332         symbol_ref_operand, unary_float_operator): Remove redundant
4333         conditionals.
4334
4335 2006-01-09  Jeff Law  <law@redhat.com>
4336
4337         * tree-ssa-dom.c (simplify_cond_and_lookup_avail_expr): Remove
4338         code to propagate the RHS of a cast into COND_EXPR_COND.  Remove
4339         now unused arguments.  Callers updated.
4340         (eliminate_redundant_computations): Remove now unused arguments,
4341         callers updated.
4342         (local_fold): Remove, no longer used.
4343         (find_equivalent_equality_comparison): Removed from tree-ssa-dom.c
4344         and moved to...
4345         * tree-ssa-forwprop.c (find_equivalent_equality_comparison): Here.
4346         (simplify_cond): New function.
4347         (forward_propagate_into_cond): Call simplify_cond.
4348
4349 2006-01-09  Alexandre Oliva  <aoliva@redhat.com>
4350
4351         * config/i386/sse.md (*vec_extractv2di_1_sse2): New.
4352         (*vec_extractv2di_1_sse): New.
4353
4354 2006-01-09  Ben Elliston  <bje@au.ibm.com>
4355
4356         * config/rs6000/rs6000.h (GO_IF_LEGITIMATE_ADDRESS): Typo fix.
4357
4358 2006-01-08  Richard Guenther  <rguenther@suse.de>
4359
4360         * tree-ssa-structalias.c (get_constraint_for): Remove
4361         anyoffset argument.
4362         (get_constraint_for_component_ref): Likewise.
4363         (do_deref): Likewise.
4364         (get_constraint_for): Likewise.
4365         (do_structure_copy): Likewise.
4366         (handle_ptr_arith): Likewise.
4367         (find_func_aliases): Likewise.  Remove unused need_anyoffset
4368         variable.
4369
4370 2006-01-08  J"orn Rennecke  <joern.rennecke@st.com>
4371             Kaz Kojima  <kkojima@gcc.gnu.org>
4372
4373         * config/sh/sh.h (CONST_OK_FOR_K16): Define.
4374         (CONST_OK_FOR_K): Add CONST_OK_FOR_K16 case.
4375         (EXTRA_CONSTRAINT_C16): Remove.
4376         (EXTRA_CONSTRAINT_Css, EXTRA_CONSTRAINT_Csu): Define.
4377         (EXTRA_CONSTRAINT_C): Remove EXTRA_CONSTRAINT_C16 case and add
4378         EXTRA_CONSTRAINT_Css and EXTRA_CONSTRAINT_Csu cases.
4379         * config/sh/sh.c (print_operand): Handle unsigned 16-bit symbolic
4380         constants of SHmedia.  Handle nested constant expressions of
4381         SHmedia correctly.
4382         (andcosts): Fix the costs for SHmedia constants.
4383         (sh_rtx_costs): Take account of outer_code for SHmedia constants.
4384         * config/sh/sh.md (*movsi_media): Use Css constraint instead of C16.
4385         (*movsi_media_nofpu, *movqi_media, *movhi_media): Likewise.
4386         (*movdi_media, *movdi_media_nofpu, movv8qi_i, movv2hi_i): Likewise.
4387         (movv4hi_i, movv2si_i): Likewise.
4388         (movsi_const): Adjust the second operand of ior so to match with
4389         the Csu constraint.
4390         (movdi_const, movdi_const_32bit): Likewise.
4391         (movdi_const_16bit+1): Don't sign-extend LOW.
4392         (movdi_const_16bit+2): Likewise.  Remove the zero_extend and truncate
4393         step.
4394         (*double_shori): Fix the split condition.  Use GEN_INT instead
4395         of get_int_mode calls.  Mask lower 16-bit of the argument of
4396         the last GEN_INT.
4397         (sym2GOTPLT): Remove.
4398         (symGOTPLT2reg): Replace gen_sym2GOTPLT with gen_rtx_CONST and
4399         gen_rtx_UNSPEC.
4400         * config/sh/predicates.md (arith_operand): Use EXTRA_CONSTRAINT_Css
4401         instead of EXTRA_CONSTRAINT_C16.
4402
4403 2006-01-07  Ian Lance Taylor  <ian@airs.com>
4404             David Edelsohn  <edelsohn@gnu.org>
4405
4406         PR rtl-optimization/25662
4407         * optabs.c (simplify_expand_binop): Use simplify_binary_operation
4408         for constant operands instead of simplify_gen_binary.
4409         * simplify-rtx.c (simplify_gen_binary): Swap commutative operands
4410         after trying simplify_binary_operation
4411
4412 2006-01-06  Daniel Berlin  <dberlin@dberlin.org>
4413
4414         * tree.c (iterative_hash_expr): Hash decls based on UID.
4415
4416 2006-01-06  Eric Christopher  <echristo@apple.com>
4417
4418         * doc/tm.texi (TARGET_ASM_EMIT_EXCEPT_TABLE_LABEL): Document.
4419         (TARGET_UNWIND_EMIT): Fix spelling.
4420         * target.h (gcc_target): Add except_table_label.
4421         * except.c (output_function_exception_table): Use.
4422         * varasm.c (default_emit_except_table_label): New.
4423         * target-def.h (TARGET_ASM_EMIT_EXCEPT_TABLE_LABEL): New default
4424         define.
4425         (asm_out): Add here.
4426         * output.h (default_emit_except_table_label): Prototype.
4427         * config/darwin-protos.h (darwin_emit_except_table_label): Ditto.
4428         * config/darwin.c (darwin_emit_except_table_label): Define.
4429         * config/darwin.h (TARGET_ASM_EMIT_EXCEPT_TABLE): Ditto.
4430
4431 2006-01-06  Zdenek Dvorak <dvorakz@suse.cz>
4432
4433         PR tree-optimization/18527
4434         * tree-ssa-loop-niter.c (number_of_iterations_cond,
4435         number_of_iterations_special, number_of_iterations_exit):
4436         Move base and step of an iv to a single structure.  Add
4437         no_overflow flag, and use it in # of iterations analysis.
4438         * tree-scalar-evolution.c (analyze_scalar_evolution_in_loop): Add
4439         folded_casts argument.
4440         (simple_iv): Pass base and step in a structure.  Set no_overflow
4441         flag.
4442         (scev_const_prop): Add argument to analyze_scalar_evolution_in_loop.
4443         Evaluate expensiveness of computing # of iterations instead of
4444         the final expression.
4445         * tree-scalar-evolution.h (affine_iv): New structure.
4446         (simple_iv): Declaration changed.
4447         * tree-chrec.c (chrec_apply): Handle chrecs containing symbols.
4448         * tree-ssa-loop-ivopts.c (determine_biv_step, find_givs_in_stmt_scev,
4449         find_givs_in_stmt): Changed due to simple_iv change.
4450
4451 2006-01-06  Jeff Law  <law@redhat.com>
4452
4453         PR ada/24994
4454         * tree-cfg.c (bsi_replace): Rename final argument from
4455         PRESERVE_EH_INFO to UPDATE_EH_INFO.  Fix typo in last
4456         change (stmt -> orig_stmt).
4457         * tree-eh.c (verify_eh_throw_stmt_node): New function.
4458         (bsi_remove): Add new argument.  Remove EH information
4459         if requested.
4460         (verify_eh_throw_table_statements): New function.
4461         (bsi_remove): Add new argument REMOVE_EH_INFO.  All callers
4462         updated.
4463         * tree-optimize.c (execute_free_cfg_annotations): Verify
4464         the EH throw statement table after removing annotations.
4465         * except.h (verify_eh_throw_table_statements): Prototype.
4466         * tree-flow.h (bsi_remove): Update prototype.
4467         * tree-vrp.c (remove_range_assertions): Add new argument to
4468         bsi_remove call.
4469         * tree-ssa-loop-im.c (move_computations_stmt): Likewise.
4470         * tree-complex.c (expand_complex_div_wide): Likewise.
4471         * tree-ssa-threadupdate.c (remove_ctrl_stmt_and_useless_edges): Likewise
4472         * tree-tailcall.c (eliminate_tailcall): Likewise.
4473         * tree-ssa-dse.c (dse_optimize_stmt): Likewise.
4474         * tree-ssa-loop-ivopts.c (remove_statement): Likewise.
4475         * tree-nrv.c (tree_nrv): Likewise.
4476         * tree-vectorizer.c (slpeel_make_loop_iterate_ntimes): Likewise.
4477         * tree-if-conv.c (tree_if_convert_cond_expr): Likewise.
4478         (combine_blocks): Likewise.
4479         * tree-ssa-phiopt.c (replace_phi_edge_with_variable): Likewise.
4480         * tree-cfgcleanup.c (cleanup_ctrl_expr_graph): Likewise.
4481         (cleanup_control_flow): Likewise.
4482         (remove_forwarder_block): Likewise.
4483         * tree-ssa-pre.c (remove_dead_inserted_code): Likewise.
4484         * tree-sra.c (sra_replace): Likewise.
4485         * tree-ssa-forwprop.c (forward_propagate_into_cond): Likewise.
4486         (forward_propagate_single_use_vars): Likewise.
4487         * tree-ssa-dce.c (remove_dead_stmt): Likewise.
4488         * tree-inline.c (expand_call_inline): Likewise.
4489         * tree-vect-transform.c (vect_transform_loop): Likewise.
4490         * tree-outof-ssa.c (rewrite_trees): Likewise.
4491         * tree-cfg.c (make_goto_expr_edges): Likewise.
4492         (cleanup_dead_labels): Likewise.
4493         (tree_merge_blocks, remove_bb, disband_implicit_edges): Likewise.
4494         (bsi_move_before, bsi_move_after): Likewise.
4495         (bsi_move_to_bb_end, try_redirect_by_replacing_jump): Likewise
4496         (tree_redirect_edge_and_branch, tree_split_block): Likewise.
4497
4498 2006-01-06  Andrew Pinski  <pinskia@physics.uc.edu>
4499
4500         PR tree-opt/25528
4501         * tree-ssa-alias.c (find_used_portions): Handle REALPART_EXPR
4502         and IMAGPART_EXPR.
4503         * tree-flow-inline.h (var_can_have_subvars): Handle complex types
4504         on non gimple variables.  Also add checks at the top for decls and
4505         mtags.
4506         * tree-ssa-structalias.c (push_fields_onto_fieldstack): Handle
4507         complex types.
4508         * tree-ssa-operands.c (parse_ssa_operands): Handle REALPART_EXPR
4509         and IMAGPART_EXPR for creating MUST_DEFs.
4510         (get_expr_operands): Handle SSA_NAME, STRUCT_FIELD_TAG, TYPE_MEMORY_TAG,
4511         and NAME_MEMORY_TAG separately from the DECLs.
4512
4513 2006-01-06  Richard Guenther  <rguenther@suse.de>
4514
4515         * tree-dfa.c (mark_new_vars_to_rename): Create stmt
4516         annotation, if necessary.
4517         * tree-ssa-pre.c (create_expression_by_pieces): Remove
4518         redundant calls to update_stmt.
4519         * tree-ssa-forwprop.c (tidy_after_forward_propagate_addr):
4520         Likewise.
4521
4522 2006-01-05  Richard Henderson  <rth@redhat.com>
4523
4524         * c-parser.c (c_parser_objc_methodprotolist): Handle CPP_PRAGMA.
4525
4526 2006-01-05  Carlos O'Donell  <carlos@codesourcery.com>
4527
4528         * c-typeck.c: Update copyright date.
4529
4530 2006-01-05  Carlos O'Donell  <carlos@codesourcery.com>
4531
4532         * c-typeck.c (build_c_cast): Always warn when casting
4533         from a pointer to an integer of different size, even if
4534         the node was constant.
4535
4536 2006-01-05  Richard Guenther  <rguenther@suse.de>
4537
4538         PR tree-optimization/22555
4539         * tree-ssa-alias.c (create_overlap_variables_for): Do not give up,
4540         if one structure field is an array.
4541         * tree-ssa-operands.c (get_expr_operands): Continue scanning
4542         operands even if we found a subvar, but ignore VOPs in this
4543         case.
4544         * tree-ssa-loop-ivopts.c (rewrite_use): Mark new vars in stmt
4545         for renaming.
4546         * tree-ssa-loop.c (pass_iv_optimize): Schedule TODO_update_ssa.
4547
4548 2006-01-05  Richard Earnshaw  <rearnsha@arm.com>
4549
4550         PR middle-end/24998
4551         * arm/t-netbsd (LIB2FUNCS_EXTRA): Define.
4552
4553 2006-01-05  Richard Guenther  <rguenther@suse.de>
4554             Diego Novillo  <dnovillo@redhat.com>
4555
4556         * tree-pass.h (TODO_remove_unused_locals): Define.
4557         * gimple-low.c (expand_var_p, remove_useless_vars,
4558         pass_remove_useless_vars): Remove.  Update all users.
4559         * tree-ssa-live.c (mark_all_vars_used_1): Handle SSA names.
4560         (remove_unused_locals): New function.
4561         * tree-flow.h (remove_unused_locals): Declare.
4562         * passes.c (execute_todo): Call remove_unused_locals if
4563         TODO_remove_unused_locals is set.
4564         * tree-into-ssa.c (pass_build_ssa): Add TODO_remove_unused_locals.
4565         * tree-ssa-dce.c (pass_dce): Likewise.
4566         * tree-outof-ssa.c (pass_del_ssa): Likewise.
4567
4568 2006-01-05  Richard Guenther  <rguenther@suse.de>
4569
4570         * tree-flow.h (struct fieldoff): Decompose field to
4571         type, size and decl.
4572         * tree-ssa-alias.c (create_sft): Take type as parameter.
4573         (create_overlap_variables_for): Store type, size and decl
4574         in the fieldoff structure.
4575         * tree-ssa-structalias.c (fieldoff_compare): Adjust users
4576         of struct fieldoff.
4577         (push_fields_onto_fieldstack): Likewise.
4578         (create_variable_info_for): Likewise.  Use offset for the
4579         SFT name if the decl is not available.
4580
4581 2006-01-04  Paul Brook  <paul@codesourcery.com>
4582
4583         * config/m68k/m68k.c (m68k_output_mi_thunk): Use jmp, not jsr.
4584
4585 2006-01-04  Daniel Berlin  <dberlin@dberlin.org>
4586
4587         * lambda-code.c (can_put_in_inner_loop): Relax
4588         restrictions.
4589         (can_put_after_inner_loop): New function.
4590         (can_convert_to_perfect_nest): Use can_put_after_inner_loop as well.
4591         (perfect_nestify): Change to make copies and modify uses.
4592
4593 2006-01-04  Richard Henderson  <rth@redhat.com>
4594
4595         Merge from gomp branch:
4596         * c-lex.c (c_lex_with_flags) <CPP_PRAGMA>: Smuggle pragma id
4597         via integer constant.
4598         (pragma_lex): Remove.
4599         * c-pch.c (c_common_pch_pragma): Accept the name as an argument,
4600         rather than parsing it.
4601         * c-pragma.c (handle_pragma_weak, handle_pragma_redefine_extname,
4602         handle_pragma_extern_prefix): Add %< %> quotes.
4603         (registered_pragmas): New.
4604         (c_register_pragma_1): New.
4605         (c_register_pragma): Use it.
4606         (c_register_pragma_with_expansion): Likewise.
4607         (c_invoke_pragma_handler): New.
4608         (init_pragma): Use cpp_register_deferred_pragma directly for
4609         pch_preprocess.
4610         * c-pragma.h (enum pragma_kind): New.
4611         (pragma_handler): New.
4612         (c_invoke_pragma_handler): Declare.
4613         * c-common.c (c_parse_error): Pretty print CPP_PRAGMA and
4614         CPP_PRAGMA_EOL.
4615         * c-common.h (c_common_pch_pragma): Update decl.
4616         * Makefile.in (c-parser.o): Update dependencies.
4617         (GTFILES): Add c-pragma.h.
4618         * c-parser.c (struct c_token): Add pragma_kind.
4619         (struct c_parser): Add in_pragma.
4620         (c_lex_one_token): Always initialize keyword and pragma_kind.
4621         Extract data for CPP_PRAGMA.
4622         (c_parser_peek_2nd_token): Deny CPP_PRAGMA_EOL.
4623         (c_parser_consume_token): Don't allow CPP_PRAGMA unless errors.
4624         Don't allow CPP_PRAGMA_EOL if in_pragma.
4625         (c_parser_consume_pragma): New.
4626         (c_parser_skip_until_found): Stop on CPP_PRAGMA_EOL.
4627         (c_parser_skip_to_end_of_parameter): Likewise.
4628         (c_parser_skip_to_end_of_block_or_statement): Likewise.
4629         (c_parser_skip_to_pragma_eol): New.
4630         (c_parser_external_declaration): Handle CPP_PRAGMA.
4631         (c_parser_compound_statement_nostart): Likewise.
4632         (c_parser_statement_after_labels): Likewise.
4633         (c_parser_pragma): New.
4634         (pragma_lex): Likewise.
4635         (c_parser_pragma_pch_preprocess): New.
4636         (c_parser_new): Merge into ...
4637         (c_parse_file): ... here.  Call c_parser_pragma_pch_preprocess.
4638
4639 2006-01-04  Jeff Law  <law@redhat.com>
4640
4641         PR ada/24994
4642         * tree-cfg.c (bsi_replace): Remove the original statement
4643         from the EH throw statement table.
4644
4645 2006-01-04  Jakub Jelinek  <jakub@redhat.com>
4646
4647         * config/i386/pmm_malloc.h (posix_memalign): If __cplusplus,
4648         make the prototype extern "C" and add throw ().
4649
4650         PR target/25554
4651         * config/i386/i386.md (testqi_ext_3): Ensure len is positive
4652         and pos non-negative and pos + len <= 32.
4653         (testqi_ext_3_rex64): Ensure len is positive and pos non-negative,
4654         drop pos + len < HOST_BITS_PER_WIDE_INT test.
4655         (testqi_ext_3* splitter): Handle pos + len == HOST_BITS_PER_WIDE_INT.
4656
4657         PR c/25559
4658         * c-common.c (handle_vector_size_attribute): Reject zero vector size
4659         as well as sizes not multiple of component size.
4660
4661         PR debug/25562
4662         * function.c (instantiate_expr): New function.
4663         (instantiate_decls_1, instantiate_decls): If DECL_HAS_VALUE_EXPR_P,
4664         walk its DECL_VALUE_EXPR with instantiate_expr.
4665
4666         * dwarf2out.c (loc_descriptor_from_tree_1): Don't add
4667         DW_OP_deref{,_size} if address isn't going to be added.
4668
4669 2006-01-04  Ben Elliston  <bje@au.ibm.com>
4670
4671         * config/fp-bit.h: Use top-of-file comment from libgcc2.c.
4672         * config/fp-bit.c: Likewise.
4673
4674 2006-01-03  Daniel Berlin  <dberlin@dberlin.org>
4675
4676         * dominance.c: Add comment about why we use DFS numbering
4677         of dominance tree.
4678
4679 2006-01-03  Jakub Jelinek  <jakub@redhat.com>
4680             Richard Henderson  <rth@redhat.com>
4681
4682         Merge from gomp-branch:
4683         * varasm.c (assemble_variable): Handle thread-local COMMON data.
4684         * defaults.h (ASM_OUTPUT_TLS_COMMON): Define.
4685
4686 2006-01-03  Paolo Bonzini  <bonzini@gnu.org>
4687
4688         PR rtl-optimization/25578
4689         * combine.c (combine_simplify_rtx, force_to_mode): Don't
4690         pass a parameter to simplify_shift_const if changing ASHIFTRT
4691         to LSHIFTRT.
4692
4693 2006-01-03  Adrian Straetling  <straetling@de.ibm.com>
4694
4695         * builtins.c (get_builtin_sync_mem): New function.
4696         (expand_builtin_sync_operation, expand_builtin_compare_and_swap,
4697         expand_builtin_lock_test_and_set, expand_builtin_lock_release):
4698         Call get_builtin_sync_mem to generate mem rtx.
4699
4700 2006-01-03  Richard Guenther  <rguenther@suse.de>
4701
4702         PR c/25183
4703         * stmt.c (add_case_node): Make sure to clear overflow flags
4704         from ranges.
4705
4706 2006-01-03  Jakub Jelinek  <jakub@redhat.com>
4707
4708         Merge from gomp-branch.
4709         * config/sparc/sync.md: New file.
4710         * config/sparc/sparc.md (UNSPECV_MEMBAR, UNSPECV_CAS, UNSPECV_SWAP,
4711         UNSPECV_LDSTUB): New constants.
4712         * config/sparc/sparc.c (sparc_expand_compare_and_swap_12): New function.
4713         * config/sparc/predicates.md (memory_reg_operand): New predicate.
4714         * config/sparc/sparc-protos.h (sparc_expand_compare_and_swap_12): New
4715         prototype.
4716
4717 2006-01-03  Roger Sayle  <roger@eyesopen.com>
4718
4719         * combine.c (reg_subword_p): New predicate to test whether the
4720         destination of a set refers to a subword/piece of a register.
4721         (try_combine): Generalize the code to merge the setting of a
4722         pseudo to a constant followed by a set of a subword of that
4723         register to a constant.
4724
4725 2006-01-03  Kazu Hirata  <kazu@codesourcery.com>
4726
4727         * basic-block.h (control_flow_graph): Change the type of
4728         x_label_to_block_map to VEC(basic_block,gc) *.
4729         * tree-cfg.c (init_empty_tree_cfg, label_to_block_fn,
4730         set_bb_for_stmt): Adjust the uses of x_label_to_block_map.
4731
4732         * tree-ssa-propagate.c (cfg_blocks): Change the type to
4733         VEC(basic_block,heap) *.
4734         (cfg_blocks_add, cfg_blocks_get, ssa_prop_init,
4735         ssa_prop_fini): Adjust the uses of cfg_blocks.
4736
4737 2006-01-03  Steven Bosscher  <stevenb.gcc@gmail.com>
4738
4739         * fold-const.c (operand_equal_p): Accept a NULL operand 0 for
4740         COMPONENT_REFs.
4741         * emit-rtl.c (mem_attrs_htab_eq): Use iterative_hash_expr for
4742         hashing trees instead of a pointer hash.
4743         (mem_attrs_htab_eq): Do a deep compare instead of a pointer
4744         compare for MEM_EXPR.
4745
4746         PR rtl-optimization/25130
4747         * cse.c (exp_equiv_p): Compare MEM_ATTRS instead of MEM_ALIAS_SET
4748         when comparing MEMs for GCSE
4749
4750 2006-01-03  Ben Elliston  <bje@au.ibm.com>
4751
4752         * targhooks.h (default_decimal_float_supported_p): Declare.
4753         * targhooks.c (default_decimal_float_supported_p): Define.
4754         * target-def.h (TARGET_DECIMAL_FLOAT_SUPPORTED_P): Redefine to
4755         `default_decimal_float_supported_p'.
4756         * doc/tm.texi (TARGET_DECIMAL_FLOAT_SUPPORTED_P): Update.
4757
4758 2006-01-02  Adam Nemet  <anemet@caviumnetworks.com>
4759
4760         * combine.c (apply_distributive_law <SUBREG>): Check
4761         TRULY_NOOP_TRUNCATION.
4762
4763 2006-01-02  Geoffrey Keating  <geoffk@apple.com>
4764
4765         * dwarf2out.c (have_switched_text_section): Delete.
4766         (have_multiple_function_sections): New.
4767         (have_location_lists): Make 'bool'.
4768         (add_AT_loc_list): Use 'true' not '1'.
4769         (dwarf2out_switch_text_section): Set have_multiple_function_sections.
4770         (output_loc_list): Use have_multiple_function_sections.
4771         (output_ranges): Likewise.
4772         (dwarf2out_begin_function): Set have_multiple_function_sections if
4773         necessary.
4774         (dwarf2out_source_line): Don't fake separate_line_info_table_in_use.
4775         Check function_section rather than DECL_SECTION_NAME.
4776         (dwarf2out_finish): Use have_multiple_function_sections.
4777         Don't clear have_location_lists.
4778
4779 2006-01-02  Eric Botcazou  <ebotcazou@adacore.com>
4780             Jan Hubicka  <jh@suse.cz>
4781
4782         * cfglayout.c (fixup_reorder_chain): Remove kludge for the
4783         case of conditional jump jumping to the next instruction.
4784         * cfgrtl.c (force_nonfallthru_and_redirect): Accept all
4785         cases of conditional jump jumping to the next instruction.
4786
4787 2006-01-02  Jan Hubicka  <jh@suse.cz>
4788
4789         * i386.c (*_cost): Add COSTS_N_INSNS.
4790         (ix86_rtx_costs): Do not use COSTS_N_INSNS.
4791
4792 2006-01-02  Paolo Bonzini  <bonzini@gnu.org>
4793
4794         PR target/25259
4795         * Makefile.in (DECNUMINC): Include libdecnumber's build directory.
4796
4797 2006-01-02  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
4798
4799         * config/arm/arm.c (all_fpus): Fix comment typo.
4800         * config/darwin.c: Likewise.
4801         * config/frv/frv.h (FRV_STRUCT_VALUE_REGNUM): Likewise.
4802         * config/h8300/h8300.md (extendqisi2_h8300hs): Likewise.
4803         * config/m68hc11/m68hc11.c (m68hc11_reload_operands): Likewise.
4804
4805 2006-01-01  David Edelsohn  <edelsohn@gnu.org>
4806
4807         * config/rs6000/rs6000.c (rs6000_expand_compare_and_swapqhi): New.
4808         (rs6000_split_compare_and_swapqhi): New.
4809         * config/rs6000/sync.md (sync_compare_and_swap{hi,qi}): New.
4810         (sync_compare_and_swapqhi_internal): New.
4811         * config/rs6000/rs6000-protos.h: Declare.