OSDN Git Service

Fix attribution of last change
[pf3gnuchains/gcc-fork.git] / gcc / ChangeLog
1 2006-01-17  Hans-Peter Nilsson  <hp@axis.com>
2             Kazu Hirata  <kazu@codesourcery.com>
3
4         * Makefile.in (FUNCTION_H, LAMBDA_H): Use $(TREE_H), not tree.h.
5
6 2006-01-17  Kazu Hirata  <kazu@codesourcery.com>
7
8         * Makefile.in (FUNCTION_H): New.  Use it instead of
9         function.h throughout the file.
10         * function.h: Include tree.h.
11
12 2006-01-17  Ben Elliston  <bje@au.ibm.com>
13
14         * recog.c: Separate some functions with whitespace.
15
16 2006-01-16  Richard Henderson  <rth@redhat.com>
17
18         Merge from gomp branch:
19         * Makefile.in (TREE_INLINE_H): New.  Use it as needed.
20         * tree-inline.h (struct copy_body_data): Move from tree-inline.c
21         and rename from struct inline_data.  Rename callee* to dst*; 
22         caller* to src*; add copy_decl hook, transform_call_graph_edges,
23         transform_new_cfg, transform_return_to_modify, and
24         transform_lang_insert_block flags; remove cloning_p, versioning_p,
25         update_clones_p.
26         (copy_body_r, insert_decl_map, remap_decl, remap_type): Declare.
27         (copy_decl_for_dup): Remove.
28         * tree-inline.c (struct inline_data): Move to header.
29         (insert_decl_map): Export.
30         (remap_decl): Update for member name changes.  Use copy_decl hook.
31         Allow for replacement to be a non-decl.  Remove dead code.
32         (remap_type_1): Check for existing mapping.
33         (remap_type): Export.
34         (remap_decls): Update for member name changes.
35         (remap_block, copy_bb, copy_cfg_body, copy_generic_body): Likewise.
36         (copy_body, setup_one_parameter, declare_return_variable): Likewise.
37         (expand_call_inline, optimize_inline_calls, clone_body): Likewise.
38         (copy_tree_r, mark_local_for_remap_r, unsave_expr_now): Likewise.
39         (tree_function_versioning, build_duplicate_type): Likewise.
40         (copy_body_r): Likewise.  Export.
41         (copy_decl_for_dup): Split into ...
42         (copy_decl_for_dup_finish, copy_decl_to_var,
43         copy_decl_no_change, copy_decl_maybe_to_var): ... these.
44         (replace_ref_tree, inlining_p): Remove.
45
46 2006-01-16  Kazu Hirata  <kazu@codesourcery.com>
47
48         * ifcvt.c (if_convert): Make it static.
49         * rtl.h: Remove the prototype for if_convert.
50
51         * local-alloc.c (local_alloc): Make it static.
52         * rtl.h: Remove the prototype for local_alloc.
53
54         * loop.c (loop_optimize): Make it static.
55         * cfgloop.h: Remove the prototype for loop_optimize.
56         * rtl.h: Likewise.
57
58 2006-01-16  DJ Delorie  <dj@redhat.com>
59
60         * reload.c (reg_overlap_mentioned_for_reload_p): Handle subregs of
61         mems.
62
63 2006-01-16  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
64
65         * pa.md: Disparage copies between general and floating-point registers
66         in 32-bit move patterns.
67
68 2006-01-16  H.J. Lu  <hongjiu.lu@intel.com>
69
70         PR testsuite/25741
71         * Makefile.in (check-%): Depend on site.exp instead of
72         $(TESTSUITEDIR)/site.exp. Run "runtest" in separate language
73         directories.
74
75 2006-01-16  Kazu Hirata  <kazu@codesourcery.com>
76
77         * global.c (global_alloc): Make it static.
78         * rtl.h: Remove the prototype for global_alloc.
79
80 2006-01-16  Richard Guenther  <rguenther@suse.de>
81
82         * tree-ssa-alias.c (struct used_part): Add write_only field.
83         (get_or_create_used_part_for): Initialize it to true.
84         (create_overlap_variables_for): Don't create structure variables
85         for structures that only are written to.
86         (find_used_portions): Handle MODIFY_EXPR to track whether a
87         structure is only written to.
88
89 2006-01-16  Kazu Hirata  <kazu@codesourcery.com>
90
91         * bb-reorder.c (partition_hot_cold_basic_blocks): Make it
92         static.
93         * basic-block.h: Remove the prototype for
94         partition_hot_cold_basic_blocks.
95
96 2006-01-16  Rafael \81Ã\81vila de Esp\81Ã\81­ndola <rafael.espindola@gmail.com>
97
98         * cppspec.c (lang_specific_spec_functions): remove
99         * gcc.c (lookup_spec_function): use static_spec_functions directelly
100         * gcc.h (lang_specific_spec_functions): remove
101         * gccspec.c (lang_specific_spec_functions): remove
102
103 2005-01-16  Paolo Bonzini  <bonzini@gnu.org>
104
105         * combine.c (record_value_for_reg): Invalidate registers
106         if INSN is null.
107         (record_dead_and_set_regs_1): Likewise, by passing them to
108         record_value_for_reg.
109         (record_dead_and_set_regs): Invalidate stores made by a
110         call.  We do not combine across a call, but we still
111         relied on equivalences.
112
113 2006-01-16  Eric Botcazou  <ebotcazou@adacore.com>
114
115         * tree-vrp.c (extract_range_from_binary_expr): Cope with
116         vrp_int_const_binop returning non-constant nodes.
117
118 2006-01-16  Paul Brook  <paul@codesourcery.com>
119
120         * config/m68k/m68k.c (output_move_const_into_data_reg):
121         Output correct mnemonic for mvz and mvs.
122
123 2006-01-16  Gabor Loki <loki@gcc.gnu.org>
124
125         * rtl-factoring.c : Add sequence abstraction algorithm.
126         * cfgcleanup.c (outgoing_edges_match): Extra checks.
127         (try_crossjump_to_edge): Avoid deleting preserve label when redirecting
128         ABNORMAL edges.
129         (block_has_preserve_label): New function.
130         * common.opt: Register new pass.
131         * Makefile.in: Ditto.
132         * passes.c: Ditto.
133         * timevar.def: Ditto.
134         * tree-pass.h: Ditto.
135         * emit-rtl.c (make_jump_insn_raw): Remove forward decl.
136         * rtl.h (make_jump_insn_raw): Add forward decl.
137         * doc/invoke.texi: Add documentation for -frtl-abstract-sequences.
138
139 2006-01-16  Eric Botcazou  <ebotcazou@adacore.com>
140             Roger Sayle  <roger@eyesopen.com> 
141
142         * fold-const.c (fold_minmax): New static function.
143         (fold_binary) <MIN_EXPR>: Call it.
144         <MAX_EXPR>: Likewise.
145         * stor-layout.c (place_field): Use DECL_SIZE consistently
146         in the computation of the new record size.
147
148 2006-01-16  Kazu Hirata  <kazu@codesourcery.com>
149
150         * cse.c (cse_condition_code_reg): Make it static.
151         * rtl.h: Remove the prototype for cse_condition_code_reg.
152
153         * combine.c (combine_instructions): Make it static.
154         * rtl.h: Remove the prototype for combine_instructions.
155
156 2006-01-15  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
157
158         PR target/25168
159         * tree.c (get_file_function_name_long): Concatenate the first global
160         object name with a string derived from the input filename of the object
161         for type "F".
162
163 2006-01-16  Ben Elliston  <bje@au.ibm.com>
164
165         * config/i386/winnt-stubs.c: Update FSF address.
166         * config/xtensa/ieee754-df.S: Ditto.
167         * config/xtensa/ieee754-sf.S: Ditto.
168
169 2006-01-14  Ian Lance Taylor  <ian@airs.com>
170
171         * ifcvt.c (noce_init_if_info): New static function, broken out of
172         noce_process_if_block.
173         (noce_process_if_block): Call noce_init_if_info.
174         (check_cond_move_block): New static function.
175         (cond_move_process_if_block): New static function.
176         (process_if_block): Call cond_move_process_if_block.
177
178 2006-01-15  Kazu Hirata  <kazu@codesourcery.com>
179
180         * cselib.c (hash_table): Rename to cselib_hash_table.
181         (cselib_clear_table, discard_useless_values,
182         remove_useless_values, cselib_lookup_mem, cselib_lookup,
183         cselib_init, cselib_finish): Adjust uses of hash_table.
184
185 2006-01-14  Kazu Hirata  <kazu@codesourcery.com>
186
187         PR tree-optimization/25485
188         * tree-vrp.c (extract_range_from_binary_expr): Handle cases
189         where one of the operands of TRUTH_AND_EXPR and TRUTH_OR_EXPR
190         is known to be false and true, respectively.
191
192 2006-01-14  Richard Guenther  <rguenther@suse.de>
193
194         PR tree-optimization/22548
195         PR tree-optimization/22555
196         PR tree-optimization/22501
197         * Makefile.in (tree-ssa-structalias.o): Depend on $(PARAMS_H).
198         * params.def (salias-max-array-elements): New parameter.
199         * params.h (SALIAS_MAX_ARRAY_ELEMENTS): Define.
200         * doc/invoke.texi (salias-max-array-elements): Document.
201         * tree-flow-inline.h (var_can_have_subvars): We also handle
202         arrays now.
203         * tree-ssa-alias.c (find_used_portions): Handle ARRAY_REF like
204         COMPONENT_REF.
205         * tree-ssa-structalias.c (params.h): Include.
206         (push_fields_onto_fieldstack): Handle ARRAY_TYPE.
207         (find_func_aliases): Handle multiple constraints from ARRAY_REF.
208         (get_constraint_for): For ADDR_EXPR operating on something
209         containing an ARRAY_REF, add all subvars to the solution.
210         (handle_ptr_arith): Handle ARRAY_TYPE like RECORD_TYPE types.
211         * tree-ssa-operands.c (parse_ssa_operands): Handle ARRAY_REF
212         for creating MUST_DEFs.
213         (get_expr_operands): Treat ARRAY_REF like COMPONENT_REF wrt subvars.
214
215 2006-01-14  Zdenek Dvorak <dvorakz@suse.cz>
216
217         * tree-ssa-loop-niter.c (number_of_iterations_cond): Split into several
218         functions.
219         (number_of_iterations_ne, number_of_iterations_lt_to_ne,
220         assert_no_overflow_lt, assert_loop_rolls_lt, number_of_iterations_lt,
221         number_of_iterations_le): New functions.
222         (number_of_iterations_special): Removed.
223         (number_of_iterations_exit): Do not use number_of_iterations_special.
224         * tree.c (unsigned_type_for): Always return integer type.
225
226 2006-01-14  Steven Bosscher  <stevenb.gcc@gmail.com>
227         Richard Guenther  <rguenther@suse.de>
228
229         PR rtl-optimization/24257
230         * gcse.c (find_moveable_store): Only consider a store movable
231         when the SET_SRC of the insn can be assigned to a register.
232
233 2006-01-14  Ian Lance Taylor  <ian@airs.com>
234
235         * tree.c (tree_not_class_check_failed): New function.
236         * tree.h (NON_TYPE_CHECK): Call tree_not_class_check_failed.
237         (tree_not_class_check_failed): Declare.
238
239 2006-01-13  Ian Lance Taylor  <ian@airs.com>
240
241         * reload1.c (do_output_reload): Add assertion rejecting a
242         CALL_INSN.
243
244 2006-01-13  Adam Nemet  <anemet@caviumnetworks.com>
245
246         * combine.c (struct reg_stat): Add new fields truncation_label and
247         truncated_to_mode.
248         (record_value_for_reg): Reset truncated_to_mode.
249         (record_truncated_value): New function.
250         (check_promoted_subreg): Call it.  Rename to check_conversions.
251         (combine_instructions): Rename check_promoted_subreg to
252         check_conversions.
253         (reg_truncated_to_mode): New function.
254         (make_extraction): Use it.  Check TRULY_NOOP_TRUNCATION.
255         (gen_lowpart_or_truncate): New function.
256         (force_to_mode): Use it instead of gen_lowpart.
257
258 2006-01-13  Diego Novillo  <dnovillo@redhat.com>
259
260         * tree-ssa-alias.c (add_type_alias): Fix typo.  Test whether
261         VAR is a tag, not its type tag.
262
263 2006-01-13  Alexandre Oliva  <aoliva@redhat.com>
264
265         * config/i386/sse.md (*vec_extractv2di_1_sse2): Reorder
266         alternatives to match style of other entries.
267         (*vec_extractv2di_1_sse): Likewise.  Fix mode attr.
268
269 2006-01-13  Daniel Berlin  <dberlin@dberlin.org>
270
271         PR tree-optimization/25771
272         * tree-ssa-pre.c (insert_extra_phis): Don't insert merges of abnormal
273         SSA_NAMES.
274
275 2006-01-13  Andrew Pinski  <pinskia@physics.uc.edu>
276
277         PR tree-opt/24365
278         * tree-inline.c (declare_return_variable): If the return variable
279         was marked as a non gimple complex, set the return slot variable
280         to be a non gimple comple variable.
281
282 2006-01-13  Richard Guenther  <rguenther@suse.de>
283
284         * builtins.c (expand_builtin_sincos): New function.
285         (expand_builtin_mathfn_3): Remove dead code, sin and cos
286         do not set errno.
287         (expand_builtin): Expand sincos using expand_builtin_sincos.
288
289 2006-01-12  DJ Delorie  <dj@redhat.com>
290
291         * config/m32c/shift.md: Rewrite: Allow arbitrary operands for
292         shift counts, separate SI shifts for m32c vs m16c, pass shift type
293         so that constant shifts can be split.
294         * config/m32c/m32c.c (m32c_const_ok_for_constraint_p): Add In6.
295         (m32c_valid_pointer_mode): Make static.
296         (shift_gen_func_for): New.
297         (m32c_prepare_shift): Use it.  Split large const shifts into
298         multiple shifts.
299         * config/m32c/predicates.md (shiftcount_operand): Allow more
300         general operands.
301         (longshiftcount_operand): New.
302         * doc/md.texi (Machine Constraints): Document In6.
303
304 2006-01-13  Ben Elliston  <bje@au.ibm.com>
305
306         * doc/tm.texi (Data Output): Add REAL_VALUE_TO_TARGET_DECIMAL32,
307         REAL_VALUE_TO_TARGET_DECIMAL64 and REAL_VALUE_TO_TARGET_DECIMAL128
308         documentation.
309
310 2006-01-12  Daniel Berlin  <dberlin@dberlin.org>
311
312         * tree-ssa-operands.c (add_call_clobber_ops): Use SFT_PARENT_VAR
313         to try to avoid clobbering pieces of structures when we know
314         something about the whole structure.
315         * tree-ssa-alias.c (create_sft): Set SFT_PARENT_VAR
316
317 2006-01-13  Ben Elliston  <bje@au.ibm.com>
318
319         * doc/rtl.texi (Insns): Remove statement that libcalls cannot
320         return in memory, as this is no limitation is no longer present.
321
322 2006-01-12  DJ Delorie  <dj@redhat.com>
323
324         * config/m32c/addsub.md (addhi3): Add two more alternatives, for
325         mova with fb, and for fb+0 -> An.
326
327         * config/m32c/mov.md (peephole2): Fix enabling logic.
328
329         * config/m32c/m32c.h (CTOR_LIST_BEGIN, CTOR_LIST_END,
330         DTOR_LIST_BEGIN, DTOR_LIST_END, CTORS_SECTION_ASM_OP,
331         DTORS_SECTION_ASM_OP, INIT_ARRAY_SECTION_ASM_OP,
332         FINI_ARRAY_SECTION_ASM_OP): Define.
333
334         * config/m32c/m32c.c (m32c_legitimize_address): Remove temporary
335         variable.
336         (m32c_legitimize_reload_address): New logic to reload FB to An.
337         (m32c_output_reg_push): Add newline.
338         (m32c_output_reg_pop): Likewise.
339
340 2006-01-12  Ulrich Weigand  <uweigand@de.ibm.com>
341
342         * struct-equiv.c (find_dying_inputs): Fix off-by-one bug.
343
344 2006-01-11  Andrew Pinski  <pinskia@physics.uc.edu>
345
346         * config/i386/darwin.h (SUBTARGET_ENCODE_SECTION_INFO): Define.
347
348 2006-01-11  Kazu Hirata  <kazu@codesourcery.com>
349
350         * config/sh/predicates.md (sh_rep_vec): Add parallel to
351         match_code.
352
353 2006-01-11  Ben Elliston  <bje@au.ibm.com>
354
355         * rtlanal.c (find_reg_note): Assert insn is not null.
356
357 2005-01-11  Kenneth Zadeck <zadeck@naturalbridge.com>
358
359         * df-scan.c (df_hard_reg_init): Move declaration of i outside
360         ifdef.
361
362 2006-01-11  Jeff Law  <law@redhat.com>
363
364         * tree-ssa-threadupdate.c (threaded_edges): New VEC to
365         hold edge pairs.
366         (mark_threaded_blocks, register_jump_thread): New functions.
367         (thread_through_all_blocks): Remove unwanted argument.  No
368         longer rely on e->aux to communicate thread target info.
369         Call mark_threaded_blocks.  Release the threaded_blocks
370         bitmap and threaded_edges vector when complete.
371         * tree-ssa-dom.c (struct edge_info): Remove redirection_target field.
372         (threaded_blocks): Remove.
373         (tree_ssa_dominator_optimize): Remove initialization and
374         finalization of threaded_blocks.  Simplify call to
375         thread_through_all_blocks.
376         (thread_across_edge): Call register_jump_thread rather than
377         storing thread information into e->aux.
378         (free_all_edge_infos): Simplify now that e->aux is no longer
379         used to communicate with thread_through_all_blocks.
380         * tree-flow.h (thread_through_all_blocks): Update prototype.
381         (register_jump_thread): Prototype.
382         
383 2006-01-11  Kazu Hirata  <kazu@codesourcery.com>
384
385         * df-core.c (df_compact_blocks, df_bb_replace): Use
386         SET_BASIC_BLOCK instead of BASIC_BLOCK.
387
388 2006-01-11  Richard Guenther  <rguenther@suse.de>
389
390         PR tree-optimization/25734
391         * tree-ssa-forwprop.c (forward_propagate_addr_expr_1): Do not
392         stop propagation after successful propagation to the LHS.
393
394 2006-01-11  Kazu Hirata  <kazu@codesourcery.com>
395
396         * basic-block.h (control_flow_graph): Change the type of
397         x_basic_block_info to VEC(basic_block,gc) *.
398         (BASIC_BLOCK_FOR_FUNCTION, BASIC_BLOCK): Adjust the uses of
399         basic_block_info.
400         (SET_BASIC_BLOCK): New.
401         * cfg.c (compact_blocks, expunge_block): Use SET_BASIC_BLOCK
402         instead of BASIC_BLOCK when assigning to BASIC_BLOCK.
403         * cfgbuild.c (find_basic_blocks): Likewise.
404         * cfglayout.c (fixup_reorder_chain): Likewise.
405         * cfgrtl.c (create_basic_block_structure,
406         rtl_create_basic_block): Likewise.
407         * ifcvt.c (find_if_case_1): Likewise.
408         * tree-cfg.c (init_empty_tree_cfg, build_tree_cfg, create_bb):
409         Likewise.
410
411 2005-01-11  Kenneth Zadeck <zadeck@naturalbridge.com>
412
413         * Makefile.in: Removed rotted odf.c entry.
414         
415 2006-01-11  Hans-Peter Nilsson  <hp@axis.com>
416
417         PR target/25706
418         * config/cris/cris.md ("*extopqihi_side", "*extop<mode>si_side")
419         ("*extop<mode>si_swap_side_biap", "*extop<mode>si_swap_side",
420         ("*extopqihi", "*extop<mode>si", "*extop<mode>si_swap"): Use %E
421         output pattern modifier, not %e.
422         * config/cris/cris.c (cris_op_str): Update comment about pattern
423         modifier.
424         (cris_print_operand) <case 'e'>: Clear cris_output_insn_is_bound
425         before falling through into...
426         <case 'E'>: Redefined from old 'e' case.
427
428 2006-01-11  Jan Hubicka  <jh@suse.cz>
429
430         PR target/25042
431         * i386.c (ix86_init_mmx_sse_builtins): Do not delcare float128
432
433 2006-01-11  Jan Hubicka  <jh@suse.cz>
434
435         * i386.h (TARGET_DECOMPOSE_LEA): Kill.
436         * i386.c (x86_decompose_lea): Kill.
437         (ix86_rtx_costs): Kill.
438
439 2006-01-11  Jan Hubicka  <jh@suse.cz>
440
441         * cgraph.c (cgraph_insert_node_to_hashtable): New function.
442         * cgraph.h (cgraph_node): Add inline_decl.
443         (cgraph_insert_node_to_hashtable): Declare.
444         (save_inline_function_body): Declare.
445         * cgraphunit.c (verify_cgraph_node): Inline edges might point to inline
446         clones.
447         (cgraph_preserve_function_body_p): Do not presrve when dump is enabled.
448         (cgraph_function_versioning): Update call of tree_function_versioning.
449         (save_inline_function_body): New function.
450         * function.h (struct function): Kill saved_eh, saved_cfg, saved_args,
451         saved_static_chain_decl, saved_blocks and saved-unexpanded_var_list.
452         * ipa-inline.c (cgraph_mark_inline_edge): Look for inline clones.
453         (cgraph_default_inline_p): Likewise.
454         (cgraph_decide_inlining_incrementally): Likewise.
455         * tree-inline.c (inline_data): Kill saving_p add update_clones_p.
456         (copy_bb): Kill saving; do updating of clones.
457         (copy_cfg_body): Kill saving.
458         (initialize_inlined-parameters): Likewise.
459         (expand_call_inline): Likewise.
460         (save_body): Kill.
461         (tree_function_versioning): New parameter "update_clones".
462         (inlining_p): Kill saving.
463         * tree-inline.h (tree_function_versioning): Update prototype.
464         * tree-optimize.c (tree_rest_of_compilation): Use clonning instead of
465         saving.
466
467 2006-01-11  Ian Lance Taylor <ian@airs.com>
468
469         * combine.c (struct undo): Remove is_int.  Enumify types of undos.
470         Allow undoing set of machine mode.
471         (do_SUBST): Use enums instead of is_int.
472         (do_SUBST_MODE): New function.
473         (SUBST_MODE): New macro.
474         (try_combine): Use SUBST_MODE/PUT_MODE instead of generating a new
475         reg and trying to replace reg_regno_rtx with a new register.
476         (undo_all): Use new enums, handle undoing a PUT_MODE change.
477         (simplify_set): Use SUBST_MODE.
478         (distribute_notes): Remove code that tried to update reg notes
479         for regno_reg_rtx changes.
480
481 2006-01-11  Paolo Bonzini  <bonzini@gnu.org>
482
483         PR tree-optimization/23109
484         PR tree-optimization/23948
485         PR tree-optimization/24123
486
487         * Makefile.in (tree-ssa-math-opts.o): Adjust dependencies.
488         * tree-cfg.c (single_noncomplex_succ): New.
489         * tree-flow.h (single_noncomplex_succ): Declare it.
490         * tree-ssa-math-opts.c (enum place_reciprocal): Remove.
491         * tree-ssa-math-opts.c (enum place_reciprocal): Remove.
492         (struct occurrence, occ_head, occ_pool, is_divide_by, compute_merit,
493         insert_bb, register_division_in, insert_reciprocals,
494         replace_reciprocal, free_bb): New.
495         (execute_cse_reciprocals_1): Rewritten.
496         (execute_cse_reciprocals): Adjust calls to execute_cse_reciprocals_1.
497         Do not commit any edge insertion.  Always compute dominators and
498         create the allocation pool.
499         * target-def.h (TARGET_MIN_DIVISIONS_FOR_RECIP_MUL): New.
500         * target.h (struct gcc_target): Add min_divistions_for_recip_mul.
501         * targhooks.c (default_min_divistions_for_recip_mul): New.
502         * targhooks.h (default_min_divistions_for_recip_mul): New prototype.
503         * passes.c (init_optimization_passes): Run recip after tree loop
504         optimizations.
505         * doc/tm.texi (Misc): Document TARGET_MIN_DIVISIONS_FOR_RECIP_MUL.
506
507 2005-01-11  Danny Berlin <dberlin@dberlin.org>
508             Kenneth Zadeck <zadeck@naturalbridge.com>
509
510         * df.h (DF_SCAN, DF_RU, DF_RD, DF_LR, DF_UR, DF_UREC, DF_CHAIN,
511         DF_RI, DF_LAST_PROBLEM_PLUS1, DF_DU_CHAIN, DF_UD_CHAIN,
512         DF_REF_TYPE_NAMES, DF_HARD_REGS, DF_EQUIV_NOTES, DF_SUBREGS,
513         DF_SCAN_BB_INFO, DF_RU_BB_INFO, DF_RD_BB_INFO, DF_LR_BB_INFO,
514         DF_UR_BB_INFO, DF_UREC_BB_INFO, DF_LIVE_IN, DF_LIVE_OUT,
515         DF_RA_LIVE_IN, DF_RA_LIVE_OUT, DF_UPWARD_LIVE_IN,
516         DF_UPWARD_LIVE_OUT, DF_REF_REAL_REG, DF_REF_REGNO,
517         DF_REF_REAL_LOC, DF_REF_REG, DF_REF_LOC, DF_REF_BB, DF_REF_BBNO,
518         DF_REF_INSN, DF_REF_INSN_UID, DF_REF_TYPE, DF_REF_CHAIN,
519         DF_REF_ID, DF_REF_FLAGS, DF_REF_NEXT_REG, DF_REF_PREV_REG,
520         DF_REF_NEXT_REF, DF_REF_DATA, DF_REF_REG_DEF_P, DF_REF_REG_USE_P,
521         DF_REF_REG_MEM_STORE_P, DF_REF_REG_MEM_LOAD_P, DF_REF_REG_MEM_P,
522         DF_DEFS_SIZE, DF_DEFS_GET, DF_DEFS_SET, DF_USES_SIZE, DF_USES_GET,
523         DF_USES_SET, DF_REG_SIZE, DF_REG_DEF_GET, DF_REG_DEF_SET,
524         DF_REG_USE_GET, DF_REG_USE_SET, DF_REGNO_FIRST_DEF,
525         DF_REGNO_LAST_USE, DF_INSN_SIZE, DF_INSN_GET, DF_INSN_SET,
526         DF_INSN_CONTAINS_ASM, DF_INSN_LUID, DF_INSN_DEFS, DF_INSN_USES,
527         DF_INSN_UID_GET, DF_INSN_UID_LUID, DF_INSN_UID_DEFS,
528         DF_INSN_UID_USES, DF_SCAN_INITIAL, DF_SCAN_GLOBAL,
529         DF_SCAN_POST_ALLOC): New macros.
530         (df_flow_dir, df_ref_type, df_ref_flags, df_alloc_function,
531         df_free_bb_function, df_local_compute_function, df_init_function,
532         df_dataflow_function, df_confluence_function_0,
533         df_confluence_function_n, df_transfer_function,
534         df_finalizer_function, df_free_function, df_dump_problem_function,
535         df_problem, dataflow, df_insn_info, df_reg_info, df_ref, df_link,
536         df_ref_info, df, df_map, df_scan_bb_info, df_ru_bb_info,
537         df_ru_bb_info, df_rd_bb_info, df_lr_bb_info, df_ur_bb_info,
538         df_urec_bb_info, ) New types.
539         (df_invalidated_by_call, df_all_hard_regs, df_state) New public
540         variables.
541         (df_init, df_add_problem, df_set_blocks, df_finish, df_analyze,
542         df_analyze_simple_change_some_blocks,
543         df_analyze_simple_change_one_block, df_compact_blocks,
544         df_bb_replace, df_bb_regno_last_use_find,
545         df_bb_regno_first_def_find, df_bb_regno_last_def_find,
546         df_insn_regno_def_p, df_find_def, df_find_use,
547         df_iterative_dataflow, df_dump, df_chain_dump, df_refs_chain_dump,
548         df_regs_chain_dump, df_insn_debug, df_insn_debug_regno,
549         df_regno_debug, df_ref_debug, debug_df_insn, debug_df_regno,
550         debug_df_reg, debug_df_defno, debug_df_useno, debug_df_ref,
551         debug_df_chain, df_get_dependent_problem, df_chain_create,
552         df_chain_unlink, df_chain_copy, df_get_live_in, df_get_live_out,
553         df_grow_bb_info, df_chain_dump, df_print_bb_index,
554         df_ru_add_problem, df_ru_get_bb_info, df_rd_add_problem,
555         df_rd_get_bb_info, df_lr_add_problem, df_lr_get_bb_info,
556         df_ur_add_problem, df_ur_get_bb_info, df_urec_add_problem,
557         df_urec_get_bb_info, df_chain_add_problem, df_ri_add_problem,
558         df_reg_lifetime, df_scan_get_bb_info, df_scan_add_problem,
559         df_rescan_blocks, df_ref_create, df_get_artificial_defs,
560         df_get_artificial_uses, df_reg_chain_create, df_reg_chain_unlink,
561         df_ref_remove, df_insn_refs_delete, df_refs_delete,
562         df_reorganize_refs, df_set_state, df_hard_reg_init,
563         df_read_modify_subreg_p) New public functions.
564         * df-core.c: The core dataflow solver and glue routines for rtl
565         dataflow.
566         (df_init, df_add_problem, df_set_blocks, df_finish,
567         df_hybrid_search_forward, df_hybrid_search_backward,
568         df_iterative_dataflow, df_prune_to_subcfg, df_analyze_problem,
569         df_analyze, df_get_bb_info, df_set_bb_info, df_bb_replace,
570         df_bb_regno_last_use_find, df_bb_regno_first_def_find,
571         df_bb_regno_last_def_find, df_insn_regno_def_p, df_find_def,
572         df_reg_defined, df_find_use, df_reg_used, df_dump,
573         df_refs_chain_dump, df_regs_chain_dump, df_insn_debug,
574         df_insn_debug_regno, df_regno_debug, df_ref_debug, debug_df_insn,
575         debug_df_reg, debug_df_regno, debug_df_ref debug_df_defno,
576         debug_df_useno, reset_df_after_reload): New functions.
577         * df-scan.c: The scanning fuctions, once in df.c, completely
578         rewritten so that they now fully model the functionality of
579         register usage at the backend.
580         (df_scan_free_internal, df_scan_get_bb_info, df_scan_set_bb_info,
581         df_scan_free_bb_info, df_scan_alloc, df_scan_free, df_scan_dump,
582         df_scan_add_problem, df_grow_reg_info, df_grow_ref_info,
583         df_grow_insn_info, df_rescan_blocks, df_ref_create,
584         df_get_artificial_defs, df_get_artificial_uses,
585         df_reg_chain_create, df_ref_unlink, df_reg_chain_unlink,
586         df_ref_remove, df_insn_create_insn_record, df_insn_refs_delete,
587         df_refs_delete, df_reorganize_refs, df_set_state,
588         df_ref_create_structure, df_ref_record, df_read_modify_subreg_p,
589         df_def_record_1, df_defs_record, df_uses_record,
590         df_insn_contains_asm_1, df_insn_contains_asm, df_insn_refs_record,
591         df_has_eh_preds, df_bb_refs_record, df_refs_record, df_mark_reg,
592         df_record_exit_block_uses, df_hard_reg_init): New functions.
593
594         * df-problems.c: Seven concrete dataflow problems that use the
595         scanning in df-scan.c and are solved by the engine in df-core.c.
596         (df_get_dependent_problem, df_chain_create, df_chain_unlink,
597         df_chain_copy, df_get_live_in, df_get_live_out, df_grow_bb_info,
598         df_chain_dump, df_print_bb_index, df_ref_bitmap, df_set_seen,
599         df_unset_seen, df_ru_get_bb_info, df_ru_set_bb_info,
600         df_ru_free_bb_info, df_ru_alloc,
601         df_ru_bb_local_compute_process_def,
602         df_ru_bb_local_compute_process_use, df_ru_bb_local_compute,
603         df_ru_local_compute, df_ru_init_solution, df_ru_confluence_n,
604         df_ru_transfer_function, df_ru_free, df_ru_dump,
605         df_ru_add_problem, df_rd_get_bb_info, df_rd_set_bb_info,
606         df_rd_free_bb_info, df_rd_alloc,
607         df_rd_bb_local_compute_process_def, df_rd_bb_local_compute,
608         df_rd_local_compute, df_rd_init_solution, df_rd_confluence_n,
609         df_rd_transfer_function, df_rd_free, df_rd_dump,
610         df_rd_add_problem, df_lr_get_bb_info, df_lr_set_bb_info,
611         df_lr_free_bb_info, df_lr_alloc, df_lr_bb_local_compute,
612         df_lr_local_compute, df_lr_init, df_lr_confluence_0,
613         df_lr_confluence_n, df_lr_transfer_function, df_lr_free,
614         df_lr_dump, df_lr_add_problem, df_ur_get_bb_info,
615         df_ur_set_bb_info, df_ur_free_bb_info, df_ur_alloc,
616         df_ur_bb_local_compute, df_ur_local_compute, df_ur_init,
617         df_ur_local_finalize, df_ur_confluence_n, df_ur_transfer_function,
618         df_ur_free, df_ur_dump, df_ur_add_problem, df_urec_get_bb_info,
619         df_urec_set_bb_info, df_urec_free_bb_info, df_urec_alloc,
620         df_urec_mark_reg_change, df_urec_check_earlyclobber,
621         df_urec_mark_reg_use_for_earlyclobber,
622         df_urec_mark_reg_use_for_earlyclobber_1, df_urec_bb_local_compute,
623         df_urec_local_compute, df_urec_init, df_urec_local_finalize,
624         df_urec_confluence_n, df_urec_transfer_function, df_urec_free,
625         df_urec_dump, df_urec_add_problem, df_chain_alloc,
626         df_chain_create_bb_process_use, df_chain_create_bb,
627         df_chain_finalize, df_chain_free, df_chains_dump,
628         df_chain_add_problem, df_ri_alloc, df_ri_bb_compute,
629         df_ri_compute, df_ri_free, df_ri_dump, df_ri_add_problem,
630         df_reg_lifetime): New functions.
631         * df.c: Deleted file.
632         * ddg.c (create_ddg_dep_no_link, build_inter_loop_deps): Made code
633         consistent with new df api.
634         * modulo-sched.c (sms_schedule, rest_of_handle_sms,
635         rest_of_handle_sms): Ditto.
636         * web.c (unionfind_union, union_defs, entry_register, web_main):
637         Ditto.
638         * loop_invariant.c (invariant_for_use, hash_invariant_expr_1,
639         invariant_expr_equal_p, find_defs, check_dependencies,
640         find_invariant_insn, find_invariants_to_move, move_invariant_reg,
641         free_inv_motion_data, move_loop_invariants): Ditto.
642         * Makefile.in (df.c, df-scan.c df-problems.c df-core.c): 
643         Update dependencies.
644         (odf.c): Added defective entry that was deleted later in day.
645         * sched-deps.c (sched_analyze_1): Ditto.
646
647 2006-01-11  Zdenek Dvorak <dvorakz@suse.cz>
648
649         * tree-ssa-operands.c (get_expr_operands): Record addressable
650         variables directly.  Do not call add_stmt_operands for CONST_DECLs
651         and ARRAY_DECLs.
652         (get_indirect_ref_operands): Remove handling of *(&a + offset) case.
653         (add_stmt_operands): Handle only objects satisfying SSA_VAR_P.
654
655 2006-01-11  Ben Elliston  <bje@au.ibm.com>
656
657         * config/i386/i386.c (ix86_return_in_memory): Fix comment: this
658         function returns true in the positive case.
659
660 2006-01-10  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
661
662         PR target/20754
663         * config/pa/pa.md: Create separate 32 and 64-bit move patterns
664         for SI, DI, SF and DF modes.  Add alternatives to copy between
665         general and floating point registers to the 32-bit patterns.
666         * config/pa/pa-64.h (SECONDARY_MEMORY_NEEDED_RTX): Delete undefine.
667         * config/pa/pa.h (SECONDARY_MEMORY_NEEDED_RTX): Delete define.
668         (SECONDARY_MEMORY_NEEDED): Secondary memory is only needed when
669         generating 64-bit code.
670         * config/pa/pa.c (output_move_double): Handle copies between general
671         and floating registers.
672
673 2006-01-10  Stuart Hastings  <stuart@apple.com>
674
675         * config/i386/i386.md (set_got): Update.
676         (set_got_labelled): New.  (UNSPEC_LD_MPIC): New.
677         (builtin_setjmp_receiver): Mach-O support.
678         * config/i386/darwin.h (TARGET_ASM_FILE_END) Define.
679         (GOT_SYMBOL_NAME): Define.
680         (FORCE_PREFERRED_STACK_BOUNDARY_IN_MAIN): New.
681         (TARGET_DEEP_BRANCH_PREDICTION): Remove.
682         * config/i386/i386.c (override_options): Revise for Darwin.
683         (USE_HIDDEN_LINKONCE): Enable for Mach-O.  (ix86_file_end): Mach-O
684         support.  (darwin_x86_file_end): New.  (output_set_got): Add label
685         parameter, revise for Mach-O.  (x86_output_mi_thunk): Likewise.
686         * config/i386/i386-protos.h (output_set_got): Likewise.
687         * config/darwin.c (machopic_legitimize_pic_address): Update
688         regs_ever_live[].
689
690 2006-01-10  Kaz Kojima  <kkojima@gcc.gnu.org>
691
692         * config/sh/sh.h (SH5_WOULD_BE_PARTIAL_NREGS): Use GET_MODE_SIZE
693         when MODE isn't BLKmode.
694
695 2006-01-10  Eric Botcazou  <ebotcazou@libertysurf.fr>
696
697         PR rtl-optimization/25367
698         * config/sparc/sparc.h (HARD_REGNO_RENAME_OK): New macro.
699
700 2006-01-10  Hans-Peter Nilsson  <hp@axis.com>
701
702         PR target/25718
703         * config/cris/cris.md ("uminsi3"): Don't use 8- or 16-bit sizes
704         for a negative bound.
705
706 2006-01-10  Richard Guenther  <rguenther@suse.de>
707
708         * tree-ssa-structalias.c (get_constraint_for_component_ref):
709         Never override with anything constraint.
710
711 2006-01-10  Jan Beulich  <jbeulich@novell.com>
712
713         * config/i386/i386.c (ix86_data_alignment): Don't force alignment to
714         256 bits when optimize_size.
715
716 2006-01-10  Jan Beulich  <jbeulich@novell.com>
717
718         * config/i386/netware.h (TARGET_SUBTARGET_DEFAULT): Include
719         MASK_ALIGN_DOUBLE.
720         * config/i386/nwld.h (LINK_SPEC): Add --extensions:GNU option.
721         * config/i386/t-nwld (SHLIB_LINK): Insert spaces between expr
722         arguments.
723
724 2006-01-10  Ben Elliston  <bje@au.ibm.com>
725
726         * config/rs6000/predicates.md (easy_fp_constant): Discount decimal
727         float modes.
728         * config/rs6000/rs6000.c (rs6000_scalar_mode_supported_p): New.
729         (TARGET_SCALAR_MODE_SUPPORTED_P): Define.
730         (USE_FP_FOR_ARG): Reject decimal float modes.
731         (function_arg_advance): Likewise.
732         (output_toc): Handle emitting TDmode, DDmode and SDmode constants.
733         (rs6000_handle_altivec_attribute): Do not permit decimal floating
734         point types in AltiVec vectors.
735         (rs6000_function_value): Use GP_ARG_RETURN for decimal floats.
736         (rs6000_libcall_value): Likewise.
737
738 2006-01-09  Bob Wilson  <bob.wilson@acm.org>
739
740         * config/xtensa/ieee754-df.S: New file.
741         * config/xtensa/ieee754-sf.S: New file.
742         * config/xtensa/t-xtensa (LIB2FUNCS_EXTRA): Remove fp-bit.c & dp-bit.c.
743         (LIB1ASMFUNCS): Add SFmode and DFmode floating-point functions.
744         * config/xtensa/lib1funcs.asm: Include ieee754-df.S and ieee754-sf.S.
745
746 2006-01-09  Kazu Hirata  <kazu@codesourcery.com>
747
748         * config/sh/predicates.md (binary_float_operator,
749         binary_logical_operator, commutative_float_operator,
750         equality_comparison_operator, greater_comparison_operator,
751         less_comparison_operator, logical_operator,
752         noncommutative_float_operator, shift_operator,
753         symbol_ref_operand, unary_float_operator): Remove redundant
754         conditionals.
755
756 2006-01-09  Jeff Law  <law@redhat.com>
757
758         * tree-ssa-dom.c (simplify_cond_and_lookup_avail_expr): Remove
759         code to propagate the RHS of a cast into COND_EXPR_COND.  Remove
760         now unused arguments.  Callers updated.
761         (eliminate_redundant_computations): Remove now unused arguments,
762         callers updated.
763         (local_fold): Remove, no longer used.
764         (find_equivalent_equality_comparison): Removed from tree-ssa-dom.c
765         and moved to...
766         * tree-ssa-forwprop.c (find_equivalent_equality_comparison): Here.
767         (simplify_cond): New function.
768         (forward_propagate_into_cond): Call simplify_cond.
769
770 2006-01-09  Alexandre Oliva  <aoliva@redhat.com>
771
772         * config/i386/sse.md (*vec_extractv2di_1_sse2): New.
773         (*vec_extractv2di_1_sse): New.
774
775 2006-01-09  Ben Elliston  <bje@au.ibm.com>
776
777         * config/rs6000/rs6000.h (GO_IF_LEGITIMATE_ADDRESS): Typo fix.
778
779 2006-01-08  Richard Guenther  <rguenther@suse.de>
780
781         * tree-ssa-structalias.c (get_constraint_for): Remove
782         anyoffset argument.
783         (get_constraint_for_component_ref): Likewise.
784         (do_deref): Likewise.
785         (get_constraint_for): Likewise.
786         (do_structure_copy): Likewise.
787         (handle_ptr_arith): Likewise.
788         (find_func_aliases): Likewise.  Remove unused need_anyoffset
789         variable.
790
791 2006-01-08  J"orn Rennecke  <joern.rennecke@st.com>
792             Kaz Kojima  <kkojima@gcc.gnu.org>
793
794         * config/sh/sh.h (CONST_OK_FOR_K16): Define.
795         (CONST_OK_FOR_K): Add CONST_OK_FOR_K16 case.
796         (EXTRA_CONSTRAINT_C16): Remove.
797         (EXTRA_CONSTRAINT_Css, EXTRA_CONSTRAINT_Csu): Define.
798         (EXTRA_CONSTRAINT_C): Remove EXTRA_CONSTRAINT_C16 case and add
799         EXTRA_CONSTRAINT_Css and EXTRA_CONSTRAINT_Csu cases.
800         * config/sh/sh.c (print_operand): Handle unsigned 16-bit symbolic
801         constants of SHmedia.  Handle nested constant expressions of
802         SHmedia correctly.
803         (andcosts): Fix the costs for SHmedia constants.
804         (sh_rtx_costs): Take account of outer_code for SHmedia constants.
805         * config/sh/sh.md (*movsi_media): Use Css constraint instead of C16.
806         (*movsi_media_nofpu, *movqi_media, *movhi_media): Likewise.
807         (*movdi_media, *movdi_media_nofpu, movv8qi_i, movv2hi_i): Likewise.
808         (movv4hi_i, movv2si_i): Likewise.
809         (movsi_const): Adjust the second operand of ior so to match with
810         the Csu constraint.
811         (movdi_const, movdi_const_32bit): Likewise.
812         (movdi_const_16bit+1): Don't sign-extend LOW.
813         (movdi_const_16bit+2): Likewise.  Remove the zero_extend and truncate
814         step.
815         (*double_shori): Fix the split condition.  Use GEN_INT instead
816         of get_int_mode calls.  Mask lower 16-bit of the argument of
817         the last GEN_INT.
818         (sym2GOTPLT): Remove.
819         (symGOTPLT2reg): Replace gen_sym2GOTPLT with gen_rtx_CONST and
820         gen_rtx_UNSPEC.
821         * config/sh/predicates.md (arith_operand): Use EXTRA_CONSTRAINT_Css
822         instead of EXTRA_CONSTRAINT_C16.
823
824 2006-01-07  Ian Lance Taylor  <ian@airs.com>
825             David Edelsohn  <edelsohn@gnu.org>
826
827         PR rtl-optimization/25662
828         * optabs.c (simplify_expand_binop): Use simplify_binary_operation
829         for constant operands instead of simplify_gen_binary.
830         * simplify-rtx.c (simplify_gen_binary): Swap commutative operands
831         after trying simplify_binary_operation
832
833 2006-01-06  Daniel Berlin  <dberlin@dberlin.org>
834
835         * tree.c (iterative_hash_expr): Hash decls based on UID.
836
837 2006-01-06  Eric Christopher  <echristo@apple.com>
838
839         * doc/tm.texi (TARGET_ASM_EMIT_EXCEPT_TABLE_LABEL): Document.
840         (TARGET_UNWIND_EMIT): Fix spelling.
841         * target.h (gcc_target): Add except_table_label.
842         * except.c (output_function_exception_table): Use.
843         * varasm.c (default_emit_except_table_label): New.
844         * target-def.h (TARGET_ASM_EMIT_EXCEPT_TABLE_LABEL): New default
845         define.
846         (asm_out): Add here.
847         * output.h (default_emit_except_table_label): Prototype.
848         * config/darwin-protos.h (darwin_emit_except_table_label): Ditto.
849         * config/darwin.c (darwin_emit_except_table_label): Define.
850         * config/darwin.h (TARGET_ASM_EMIT_EXCEPT_TABLE): Ditto.
851
852 2006-01-06  Zdenek Dvorak <dvorakz@suse.cz>
853
854         PR tree-optimization/18527
855         * tree-ssa-loop-niter.c (number_of_iterations_cond,
856         number_of_iterations_special, number_of_iterations_exit):
857         Move base and step of an iv to a single structure.  Add
858         no_overflow flag, and use it in # of iterations analysis.
859         * tree-scalar-evolution.c (analyze_scalar_evolution_in_loop): Add
860         folded_casts argument.
861         (simple_iv): Pass base and step in a structure.  Set no_overflow
862         flag.
863         (scev_const_prop): Add argument to analyze_scalar_evolution_in_loop.
864         Evaluate expensiveness of computing # of iterations instead of
865         the final expression.
866         * tree-scalar-evolution.h (affine_iv): New structure.
867         (simple_iv): Declaration changed.
868         * tree-chrec.c (chrec_apply): Handle chrecs containing symbols.
869         * tree-ssa-loop-ivopts.c (determine_biv_step, find_givs_in_stmt_scev,
870         find_givs_in_stmt): Changed due to simple_iv change.
871
872 2006-01-06  Jeff Law  <law@redhat.com>
873
874         PR ada/24994
875         * tree-cfg.c (bsi_replace): Rename final argument from
876         PRESERVE_EH_INFO to UPDATE_EH_INFO.  Fix typo in last
877         change (stmt -> orig_stmt).
878         * tree-eh.c (verify_eh_throw_stmt_node): New function.
879         (bsi_remove): Add new argument.  Remove EH information
880         if requested.
881         (verify_eh_throw_table_statements): New function.
882         (bsi_remove): Add new argument REMOVE_EH_INFO.  All callers
883         updated.
884         * tree-optimize.c (execute_free_cfg_annotations): Verify
885         the EH throw statement table after removing annotations.
886         * except.h (verify_eh_throw_table_statements): Prototype.
887         * tree-flow.h (bsi_remove): Update prototype.
888         * tree-vrp.c (remove_range_assertions): Add new argument to
889         bsi_remove call.
890         * tree-ssa-loop-im.c (move_computations_stmt): Likewise.
891         * tree-complex.c (expand_complex_div_wide): Likewise.
892         * tree-ssa-threadupdate.c (remove_ctrl_stmt_and_useless_edges): Likewise
893         * tree-tailcall.c (eliminate_tailcall): Likewise.
894         * tree-ssa-dse.c (dse_optimize_stmt): Likewise.
895         * tree-ssa-loop-ivopts.c (remove_statement): Likewise.
896         * tree-nrv.c (tree_nrv): Likewise.
897         * tree-vectorizer.c (slpeel_make_loop_iterate_ntimes): Likewise.
898         * tree-if-conv.c (tree_if_convert_cond_expr): Likewise.
899         (combine_blocks): Likewise.
900         * tree-ssa-phiopt.c (replace_phi_edge_with_variable): Likewise.
901         * tree-cfgcleanup.c (cleanup_ctrl_expr_graph): Likewise.
902         (cleanup_control_flow): Likewise.
903         (remove_forwarder_block): Likewise.
904         * tree-ssa-pre.c (remove_dead_inserted_code): Likewise.
905         * tree-sra.c (sra_replace): Likewise.
906         * tree-ssa-forwprop.c (forward_propagate_into_cond): Likewise.
907         (forward_propagate_single_use_vars): Likewise.
908         * tree-ssa-dce.c (remove_dead_stmt): Likewise.
909         * tree-inline.c (expand_call_inline): Likewise.
910         * tree-vect-transform.c (vect_transform_loop): Likewise.
911         * tree-outof-ssa.c (rewrite_trees): Likewise.
912         * tree-cfg.c (make_goto_expr_edges): Likewise.
913         (cleanup_dead_labels): Likewise.
914         (tree_merge_blocks, remove_bb, disband_implicit_edges): Likewise.
915         (bsi_move_before, bsi_move_after): Likewise.
916         (bsi_move_to_bb_end, try_redirect_by_replacing_jump): Likewise
917         (tree_redirect_edge_and_branch, tree_split_block): Likewise.
918
919 2006-01-06  Andrew Pinski  <pinskia@physics.uc.edu>
920
921         PR tree-opt/25528
922         * tree-ssa-alias.c (find_used_portions): Handle REALPART_EXPR
923         and IMAGPART_EXPR.
924         * tree-flow-inline.h (var_can_have_subvars): Handle complex types
925         on non gimple variables.  Also add checks at the top for decls and
926         mtags.
927         * tree-ssa-structalias.c (push_fields_onto_fieldstack): Handle
928         complex types.
929         * tree-ssa-operands.c (parse_ssa_operands): Handle REALPART_EXPR
930         and IMAGPART_EXPR for creating MUST_DEFs.
931         (get_expr_operands): Handle SSA_NAME, STRUCT_FIELD_TAG, TYPE_MEMORY_TAG,
932         and NAME_MEMORY_TAG separately from the DECLs.
933
934 2006-01-06  Richard Guenther  <rguenther@suse.de>
935
936         * tree-dfa.c (mark_new_vars_to_rename): Create stmt
937         annotation, if necessary.
938         * tree-ssa-pre.c (create_expression_by_pieces): Remove
939         redundant calls to update_stmt.
940         * tree-ssa-forwprop.c (tidy_after_forward_propagate_addr):
941         Likewise.
942
943 2006-01-05  Richard Henderson  <rth@redhat.com>
944
945         * c-parser.c (c_parser_objc_methodprotolist): Handle CPP_PRAGMA.
946
947 2006-01-05  Carlos O'Donell  <carlos@codesourcery.com>
948
949         * c-typeck.c: Update copyright date.
950
951 2006-01-05  Carlos O'Donell  <carlos@codesourcery.com>
952
953         * c-typeck.c (build_c_cast): Always warn when casting
954         from a pointer to an integer of different size, even if
955         the node was constant.
956
957 2006-01-05  Richard Guenther  <rguenther@suse.de>
958
959         PR tree-optimization/22555
960         * tree-ssa-alias.c (create_overlap_variables_for): Do not give up,
961         if one structure field is an array.
962         * tree-ssa-operands.c (get_expr_operands): Continue scanning
963         operands even if we found a subvar, but ignore VOPs in this
964         case.
965         * tree-ssa-loop-ivopts.c (rewrite_use): Mark new vars in stmt
966         for renaming.
967         * tree-ssa-loop.c (pass_iv_optimize): Schedule TODO_update_ssa.
968
969 2006-01-05  Richard Earnshaw  <rearnsha@arm.com>
970
971         PR middle-end/24998
972         * arm/t-netbsd (LIB2FUNCS_EXTRA): Define.
973
974 2006-01-05  Richard Guenther  <rguenther@suse.de>
975             Diego Novillo  <dnovillo@redhat.com>
976
977         * tree-pass.h (TODO_remove_unused_locals): Define.
978         * gimple-low.c (expand_var_p, remove_useless_vars,
979         pass_remove_useless_vars): Remove.  Update all users.
980         * tree-ssa-live.c (mark_all_vars_used_1): Handle SSA names.
981         (remove_unused_locals): New function.
982         * tree-flow.h (remove_unused_locals): Declare.
983         * passes.c (execute_todo): Call remove_unused_locals if
984         TODO_remove_unused_locals is set.
985         * tree-into-ssa.c (pass_build_ssa): Add TODO_remove_unused_locals.
986         * tree-ssa-dce.c (pass_dce): Likewise.
987         * tree-outof-ssa.c (pass_del_ssa): Likewise.
988
989 2006-01-05  Richard Guenther  <rguenther@suse.de>
990
991         * tree-flow.h (struct fieldoff): Decompose field to
992         type, size and decl.
993         * tree-ssa-alias.c (create_sft): Take type as parameter.
994         (create_overlap_variables_for): Store type, size and decl
995         in the fieldoff structure.
996         * tree-ssa-structalias.c (fieldoff_compare): Adjust users
997         of struct fieldoff.
998         (push_fields_onto_fieldstack): Likewise.
999         (create_variable_info_for): Likewise.  Use offset for the
1000         SFT name if the decl is not available.
1001
1002 2006-01-04  Paul Brook  <paul@codesourcery.com>
1003
1004         * config/m68k/m68k.c (m68k_output_mi_thunk): Use jmp, not jsr.
1005
1006 2006-01-04  Daniel Berlin  <dberlin@dberlin.org>
1007
1008         * lambda-code.c (can_put_in_inner_loop): Relax
1009         restrictions.
1010         (can_put_after_inner_loop): New function.
1011         (can_convert_to_perfect_nest): Use can_put_after_inner_loop as well.
1012         (perfect_nestify): Change to make copies and modify uses.
1013
1014 2006-01-04  Richard Henderson  <rth@redhat.com>
1015
1016         Merge from gomp branch:
1017         * c-lex.c (c_lex_with_flags) <CPP_PRAGMA>: Smuggle pragma id
1018         via integer constant.
1019         (pragma_lex): Remove.
1020         * c-pch.c (c_common_pch_pragma): Accept the name as an argument,
1021         rather than parsing it.
1022         * c-pragma.c (handle_pragma_weak, handle_pragma_redefine_extname,
1023         handle_pragma_extern_prefix): Add %< %> quotes.
1024         (registered_pragmas): New.
1025         (c_register_pragma_1): New.
1026         (c_register_pragma): Use it.
1027         (c_register_pragma_with_expansion): Likewise.
1028         (c_invoke_pragma_handler): New.
1029         (init_pragma): Use cpp_register_deferred_pragma directly for
1030         pch_preprocess.
1031         * c-pragma.h (enum pragma_kind): New.
1032         (pragma_handler): New.
1033         (c_invoke_pragma_handler): Declare.
1034         * c-common.c (c_parse_error): Pretty print CPP_PRAGMA and
1035         CPP_PRAGMA_EOL.
1036         * c-common.h (c_common_pch_pragma): Update decl.
1037         * Makefile.in (c-parser.o): Update dependencies.
1038         (GTFILES): Add c-pragma.h.
1039         * c-parser.c (struct c_token): Add pragma_kind.
1040         (struct c_parser): Add in_pragma.
1041         (c_lex_one_token): Always initialize keyword and pragma_kind.
1042         Extract data for CPP_PRAGMA.
1043         (c_parser_peek_2nd_token): Deny CPP_PRAGMA_EOL.
1044         (c_parser_consume_token): Don't allow CPP_PRAGMA unless errors.
1045         Don't allow CPP_PRAGMA_EOL if in_pragma.
1046         (c_parser_consume_pragma): New.
1047         (c_parser_skip_until_found): Stop on CPP_PRAGMA_EOL.
1048         (c_parser_skip_to_end_of_parameter): Likewise.
1049         (c_parser_skip_to_end_of_block_or_statement): Likewise.
1050         (c_parser_skip_to_pragma_eol): New.
1051         (c_parser_external_declaration): Handle CPP_PRAGMA.
1052         (c_parser_compound_statement_nostart): Likewise.
1053         (c_parser_statement_after_labels): Likewise.
1054         (c_parser_pragma): New.
1055         (pragma_lex): Likewise.
1056         (c_parser_pragma_pch_preprocess): New.
1057         (c_parser_new): Merge into ...
1058         (c_parse_file): ... here.  Call c_parser_pragma_pch_preprocess.
1059
1060 2006-01-04  Jeff Law  <law@redhat.com>
1061
1062         PR ada/24994
1063         * tree-cfg.c (bsi_replace): Remove the original statement
1064         from the EH throw statement table.
1065
1066 2006-01-04  Jakub Jelinek  <jakub@redhat.com>
1067
1068         * config/i386/pmm_malloc.h (posix_memalign): If __cplusplus,
1069         make the prototype extern "C" and add throw ().
1070
1071         PR target/25554
1072         * config/i386/i386.md (testqi_ext_3): Ensure len is positive
1073         and pos non-negative and pos + len <= 32.
1074         (testqi_ext_3_rex64): Ensure len is positive and pos non-negative,
1075         drop pos + len < HOST_BITS_PER_WIDE_INT test.
1076         (testqi_ext_3* splitter): Handle pos + len == HOST_BITS_PER_WIDE_INT.
1077
1078         PR c/25559
1079         * c-common.c (handle_vector_size_attribute): Reject zero vector size
1080         as well as sizes not multiple of component size.
1081
1082         PR debug/25562
1083         * function.c (instantiate_expr): New function.
1084         (instantiate_decls_1, instantiate_decls): If DECL_HAS_VALUE_EXPR_P,
1085         walk its DECL_VALUE_EXPR with instantiate_expr.
1086
1087         * dwarf2out.c (loc_descriptor_from_tree_1): Don't add
1088         DW_OP_deref{,_size} if address isn't going to be added.
1089
1090 2006-01-04  Ben Elliston  <bje@au.ibm.com>
1091
1092         * config/fp-bit.h: Use top-of-file comment from libgcc2.c.
1093         * config/fp-bit.c: Likewise.
1094
1095 2006-01-03  Daniel Berlin  <dberlin@dberlin.org>
1096
1097         * dominance.c: Add comment about why we use DFS numbering
1098         of dominance tree.
1099
1100 2006-01-03  Jakub Jelinek  <jakub@redhat.com>
1101             Richard Henderson  <rth@redhat.com>
1102
1103         Merge from gomp-branch:
1104         * varasm.c (assemble_variable): Handle thread-local COMMON data.
1105         * defaults.h (ASM_OUTPUT_TLS_COMMON): Define.
1106
1107 2006-01-03  Paolo Bonzini  <bonzini@gnu.org>
1108
1109         PR rtl-optimization/25578
1110         * combine.c (combine_simplify_rtx, force_to_mode): Don't
1111         pass a parameter to simplify_shift_const if changing ASHIFTRT
1112         to LSHIFTRT.
1113
1114 2006-01-03  Adrian Straetling  <straetling@de.ibm.com>
1115
1116         * builtins.c (get_builtin_sync_mem): New function.
1117         (expand_builtin_sync_operation, expand_builtin_compare_and_swap,
1118         expand_builtin_lock_test_and_set, expand_builtin_lock_release):
1119         Call get_builtin_sync_mem to generate mem rtx.
1120
1121 2006-01-03  Richard Guenther  <rguenther@suse.de>
1122
1123         PR c/25183
1124         * stmt.c (add_case_node): Make sure to clear overflow flags
1125         from ranges.
1126
1127 2006-01-03  Jakub Jelinek  <jakub@redhat.com>
1128
1129         Merge from gomp-branch.
1130         * config/sparc/sync.md: New file.
1131         * config/sparc/sparc.md (UNSPECV_MEMBAR, UNSPECV_CAS, UNSPECV_SWAP,
1132         UNSPECV_LDSTUB): New constants.
1133         * config/sparc/sparc.c (sparc_expand_compare_and_swap_12): New function.
1134         * config/sparc/predicates.md (memory_reg_operand): New predicate.
1135         * config/sparc/sparc-protos.h (sparc_expand_compare_and_swap_12): New
1136         prototype.
1137
1138 2006-01-03  Roger Sayle  <roger@eyesopen.com>
1139
1140         * combine.c (reg_subword_p): New predicate to test whether the
1141         destination of a set refers to a subword/piece of a register.
1142         (try_combine): Generalize the code to merge the setting of a
1143         pseudo to a constant followed by a set of a subword of that
1144         register to a constant.
1145
1146 2006-01-03  Kazu Hirata  <kazu@codesourcery.com>
1147
1148         * basic-block.h (control_flow_graph): Change the type of
1149         x_label_to_block_map to VEC(basic_block,gc) *.
1150         * tree-cfg.c (init_empty_tree_cfg, label_to_block_fn,
1151         set_bb_for_stmt): Adjust the uses of x_label_to_block_map.
1152
1153         * tree-ssa-propagate.c (cfg_blocks): Change the type to
1154         VEC(basic_block,heap) *.
1155         (cfg_blocks_add, cfg_blocks_get, ssa_prop_init,
1156         ssa_prop_fini): Adjust the uses of cfg_blocks.
1157
1158 2006-01-03  Steven Bosscher  <stevenb.gcc@gmail.com>
1159
1160         * fold-const.c (operand_equal_p): Accept a NULL operand 0 for
1161         COMPONENT_REFs.
1162         * emit-rtl.c (mem_attrs_htab_eq): Use iterative_hash_expr for
1163         hashing trees instead of a pointer hash.
1164         (mem_attrs_htab_eq): Do a deep compare instead of a pointer
1165         compare for MEM_EXPR.
1166
1167         PR rtl-optimization/25130
1168         * cse.c (exp_equiv_p): Compare MEM_ATTRS instead of MEM_ALIAS_SET
1169         when comparing MEMs for GCSE
1170
1171 2006-01-03  Ben Elliston  <bje@au.ibm.com>
1172
1173         * targhooks.h (default_decimal_float_supported_p): Declare.
1174         * targhooks.c (default_decimal_float_supported_p): Define.
1175         * target-def.h (TARGET_DECIMAL_FLOAT_SUPPORTED_P): Redefine to
1176         `default_decimal_float_supported_p'.
1177         * doc/tm.texi (TARGET_DECIMAL_FLOAT_SUPPORTED_P): Update.
1178
1179 2006-01-02  Adam Nemet  <anemet@caviumnetworks.com>
1180
1181         * combine.c (apply_distributive_law <SUBREG>): Check
1182         TRULY_NOOP_TRUNCATION.
1183
1184 2006-01-02  Geoffrey Keating  <geoffk@apple.com>
1185
1186         * dwarf2out.c (have_switched_text_section): Delete.
1187         (have_multiple_function_sections): New.
1188         (have_location_lists): Make 'bool'.
1189         (add_AT_loc_list): Use 'true' not '1'.
1190         (dwarf2out_switch_text_section): Set have_multiple_function_sections.
1191         (output_loc_list): Use have_multiple_function_sections.
1192         (output_ranges): Likewise.
1193         (dwarf2out_begin_function): Set have_multiple_function_sections if
1194         necessary.
1195         (dwarf2out_source_line): Don't fake separate_line_info_table_in_use.
1196         Check function_section rather than DECL_SECTION_NAME.
1197         (dwarf2out_finish): Use have_multiple_function_sections.
1198         Don't clear have_location_lists.
1199
1200 2006-01-02  Eric Botcazou  <ebotcazou@adacore.com>
1201             Jan Hubicka  <jh@suse.cz>
1202
1203         * cfglayout.c (fixup_reorder_chain): Remove kludge for the
1204         case of conditional jump jumping to the next instruction.
1205         * cfgrtl.c (force_nonfallthru_and_redirect): Accept all
1206         cases of conditional jump jumping to the next instruction.
1207
1208 2006-01-02  Jan Hubicka  <jh@suse.cz>
1209
1210         * i386.c (*_cost): Add COSTS_N_INSNS.
1211         (ix86_rtx_costs): Do not use COSTS_N_INSNS.
1212
1213 2006-01-02  Paolo Bonzini  <bonzini@gnu.org>
1214
1215         PR target/25259
1216         * Makefile.in (DECNUMINC): Include libdecnumber's build directory.
1217
1218 2006-01-02  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
1219
1220         * config/arm/arm.c (all_fpus): Fix comment typo.
1221         * config/darwin.c: Likewise.
1222         * config/frv/frv.h (FRV_STRUCT_VALUE_REGNUM): Likewise.
1223         * config/h8300/h8300.md (extendqisi2_h8300hs): Likewise.
1224         * config/m68hc11/m68hc11.c (m68hc11_reload_operands): Likewise.
1225
1226 2006-01-01  David Edelsohn  <edelsohn@gnu.org>
1227
1228         * config/rs6000/rs6000.c (rs6000_expand_compare_and_swapqhi): New.
1229         (rs6000_split_compare_and_swapqhi): New.
1230         * config/rs6000/sync.md (sync_compare_and_swap{hi,qi}): New.
1231         (sync_compare_and_swapqhi_internal): New.
1232         * config/rs6000/rs6000-protos.h: Declare.