OSDN Git Service

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