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