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