1 2007-05-14 Dave Korn <dave.korn@artimi.com>
3 * genautomata.c (gen_regexp_el): Allocate correct size for regexp.
5 2007-05-14 Rafael Avila de Espindola <espindola@google.com>
7 * c-common.c (warnings_for_convert_and_check): Use unsigned_type_for
8 instead of c_common_unsigned_type.
9 (c_common_unsigned_type): Remove.
10 (shorten_compare): Use c_common_signed_or_unsigned_type instead of
11 c_common_unsigned_type.
12 (c_common_nodes_and_builtins): Use unsigned_type_for instead of
13 c_common_unsigned_type.
14 * c-common.h (c_common_unsigned_type): Remove.
15 * c-decl.c (grokdeclarator): Use unsigned_type_for instead of
16 c_common_unsigned_type.
17 * c-format.c (check_format_types): Use unsigned_type_for instead of
18 c_common_unsigned_type.
19 * c-objc-common.h (LANG_HOOKS_UNSIGNED_TYPE): Remove.
20 * c-typeck.c (convert_for_assignment): Use unsigned_type_for instead of
21 c_common_unsigned_type.
22 * convert.c (convert_to_integer): Use unsigned_type_for instead of
23 lang_hooks.types.unsigned_type.
24 * expmed.c (make_tree): Use unsigned_type_for instead of
25 lang_hooks.types.unsigned_type.
26 * fold-const.c (fold_negate_expr): Use unsigned_type_for instead of
27 lang_hooks.types.unsigned_type.
28 (build_range_check): Likewise.
29 (fold_unary): Likewise.
30 (fold_binary): Likewise.
31 (fold_ternary): Likewise.
32 * langhooks-def.h (LANG_HOOKS_UNSIGNED_TYPE): Remove.
33 * langhooks.h (lang_hooks_for_types): Remove unsigned_type.
34 * tree.c (get_unsigned_type): New.
35 (unsigned_type_for): Use get_unsigned_type instead of
36 lang_hooks.types.unsigned_type.
38 2007-05-14 Kazu Hirata <kazu@codesourcery.com>
40 * config/m68k/m68k-protos.h: Rename m68k_interrupt_function_p
41 to m68k_get_function_kind. Update its prototype.
42 * config/m68k/m68k.c (m68k_attribute_table): Add an entry for
44 (m68k_interrupt_function_p): Return enum m68k_function_type
45 instead of bool. Rename to m68k_get_function_kind.
46 (m68k_handle_fndecl_attribute): Reject interrupt_thread if the
48 (m68k_compute_frame_layout): Don't mark any register for save
49 if an interrupt_thread attribute is specified.
50 (m68k_hard_regno_rename_ok): Update a use of
51 m68k_interrupt_function_p.
52 * config/m68k/m68k.h (EPILOGUE_USES): Update a use of
53 m68k_interrupt_function_p.
54 (m68k_function_type): New.
55 * config/m68k/m68k.md (*return): Output a 'sleep' instruction
56 for a function with an interrupt_thread attribute.
57 * doc/extend.texi: Document the interrupt_thread attribute.
59 2007-05-13 Daniel Berlin <dberlin@dberlin.org>
61 Fix PR tree-optimization/31911
62 * tree-ssa-pre.c (phi_translate): Make sure to cache results even
63 if they didn't change the expression.
65 2007-05-13 Zdenek Dvorak <dvorakz@suse.cz>
67 * tree-scalar-evolution.c (resolve_mixers): Exported.
68 * tree-scalar-evolution.h (resolve_mixers): Declare.
69 * tree-data-ref.c (object_analysis, ptr_decl_may_alias_p,
70 ptr_ptr_may_alias_p, may_alias_p, record_ptr_differ_p,
71 record_record_differ_p, record_array_differ_p, array_ptr_differ_p,
72 base_object_differ_p, base_addr_differ_p, analyze_array_indexes,
73 init_array_ref, init_pointer_ref, analyze_indirect_ref,
74 strip_conversion, analyze_offset_expr, address_analysis,
75 object_analysis, analyze_offset): Removed.
76 (dr_analyze_innermost, dr_analyze_indices, dr_analyze_alias,
77 split_constant_offset, canonicalize_base_object_address,
78 object_address_invariant_in_loop_p, disjoint_objects_p,
79 dr_may_alias_p, dr_address_invariant_p): New functions.
80 (create_data_ref): Use dr_analyze_innermost, dr_analyze_indices
82 (initialize_data_dependence_relation): Use dr_may_alias_p
83 and object_address_invariant_in_loop_p.
84 (compute_self_dependence): Handle the case when DDR_ARE_DEPENDENT (ddr)
86 (find_data_references_in_stmt): Restrict the analysis of data references
87 to the given loop nest.
88 (find_data_references_in_loop): Made static. Pass loop nest to
89 find_data_references_in_stmt.
90 (compute_data_dependences_for_loop): Use DR_VOPS.
91 (free_data_ref): Free DR_VOPS.
92 * tree-data-ref.h (struct first_location_in_loop): Replaced by ...
93 (struct innermost_loop_behavior): ... new.
94 (struct base_object_info): Replaced by ...
95 (struct indices): ... new.
96 (struct dr_alias): New.
97 (enum data_ref_type): Removed.
98 (struct data_reference): Consist of struct innermost_loop_behavior,
99 struct indices and struct dr_alias.
100 (DR_SET_ACCESS_FNS, DR_FREE_ACCESS_FNS): Removed.
101 (DR_MEMTAG): Renamed to ...
102 (DR_SYMBOL_TAG): ... this.
103 (find_data_references_in_loop): Declaration removed.
104 * tree-vect-analyze.c (vect_compute_data_ref_alignment): Use DR_INIT
105 instead of DR_OFFSET_MISALIGNMENT. DR_ALIGNED_TO is never NULL.
106 (vect_analyze_data_refs): Use DR_SYMBOL_TAG instead of DR_MEMTAG.
107 * tree-vect-transform.c (vect_create_data_ref_ptr): Ditto.
109 2007-05-13 Revital Eres <eres@il.ibm.com>
111 * tree-ssa-dse.c (get_use_of_stmt_lhs): New function
112 which walks virtual def-use chains to find redundant stores.
113 (dse_optimize_stmt): Call it.
115 2007-05-12 Steven Bosscher <steven@gcc.gnu.org>
117 * gcse.c (gcse_main): Do jump bypassing in CPROP2.
118 * passes.c (init_optimization_passes): Move pass_jump_bypass
121 * basic-block.h (bb_has_eh_pred): Fix style issue.
123 2007-05-12 Steven Bosscher <steven@gcc.gnu.org>
125 PR rtl-optimization/31848
126 * loop-invariant.c (move_invariant_reg): If we move an insn
127 with a REG_EQUAL note, and that insn is not always executed,
128 remove the REG_EQUAL note.
130 2007-05-12 Richard Guenther <rguenther@suse.de>
132 PR tree-optimization/31797
133 * tree-ssa-forwprop.c (forward_propagate_addr_expr): Do not
134 propagate into a stmt that has volatile ops.
136 2007-05-12 Richard Sandiford <richard@codesourcery.com>
138 * configure.ac (gcc_gxx_include_dir): Use $(libsubdir_to_prefix).
139 (gcc_tooldir): Likewise.
140 * configure: Regenerate.
141 * Makefile.in (libsubdir_to_prefix): New variable, based on the
142 old configure.ac gcc_tooldir setting.
143 (prefix_to_exec_prefix): New variable.
144 (DRIVER_DEFINES): Use $(libsubdir_to_prefix)$(prefix_to_exec_prefix)
145 rather than $(unlibsubdir)/../ to derive TOOLDIR_BASE_PREFIX.
147 2007-05-11 Silvius Rus <rus@google.com>
149 * Makefile.in (OBJS-common): Add tree-ssa-alias-warnings.o.
150 * c-common.c (strict_aliasing_warning): Modify -Wstrict-aliasing logic.
151 * c-common.h (strict_aliasing_warning): Change return type.
152 * c-opts.c (c_common_handle_option): Add call to set_Wstrict_aliasing.
153 * c-typeck.c (build_indirect_ref): Add call to strict_aliasing_warning.
154 (build_c_cast): Condition call to strict_aliasing_warning.
155 * doc/invoke.texi: Update description of -Wstrict-aliasing[=n].
156 * flags.h (set_Wstrict_aliasing): Declare.
157 * opts.c (set_Wstrict_alising): Define, add call to.
158 * tree-flow.h (strict_aliasing_warning_backend): Declare.
159 * tree-ssa-alias-warnings.c: New file.
160 * tree-ssa-alias.c (compute_may_aliases): Add call to
161 strict_aliasing_warning_backend.
163 2007-05-11 Zdenek Dvorak <dvorakz@suse.cz>
165 * tree-loop-linear.c (gather_interchange_stats, try_interchange_loops):
166 Use loop_depth and loop_outer accessor functions.
167 * tree-ssa-loop-im.c (outermost_invariant_loop, set_level,
168 determine_invariantness_stmt, move_computations_stmt): Ditto.
169 * cfgloopmanip.c (fix_bb_placement, fix_loop_placement, remove_path,
170 add_loop, loopify, unloop, fix_loop_structure): Ditto.
171 * tree-ssa-loop-manip.c (find_uses_to_rename_use): Ditto.
172 * tree-scalar-evolution.c (interpret_loop_phi,
173 compute_scalar_evolution_in_loop, analyze_scalar_evolution_in_loop,
174 instantiate_parameters_1, scev_const_prop): Ditto.
175 * cfghooks.c (make_forwarder_block): Ditto.
176 * cfgloopanal.c (mark_irreducible_loops, mark_loop_exit_edges): Ditto.
177 * modulo-sched.c (loop_canon_p): Ditto.
178 * tree-vectorizer.c (slpeel_tree_duplicate_loop_to_edge_cfg,
179 slpeel_can_duplicate_loop_p): Ditto.
180 * lambda-code.c (invariant_in_loop_and_outer_loops): Ditto.
181 * tree-cfg.c (tree_duplicate_sese_region): Ditto.
182 * cfgloop.c (flow_loop_dump, flow_loop_nodes_find, rescan_loop_exit,
183 cancel_loop, verify_loop_structure): Ditto.
184 (flow_loop_nested_p, superloop_at_depth, flow_loop_free,
185 add_bb_to_loop, remove_bb_from_loops, find_common_loop): Use the
186 superloops vector instead of "pred" array.
187 (establish_preds): Take father loop as an argument. Initialize the
189 (flow_loop_tree_node_add): Pass father loop to establish_preds. Do not
190 initialize loop->outer.
191 (flow_loop_tree_node_remove): Truncate the superloops vector.
192 * cfgloop.h (struct loop): Removed field "outer", fields "depth" and
193 "pred" merged to "superloops" vector.
194 (loop_depth, loop_outer): New.
195 (fel_init): Use loop_outer.
197 2007-05-11 Jan Hubicka <jh@suse.cz>
199 * cgraphunit.c: Include gt-cgraphunit.h
200 (static_ctors, static_dtors): New static vars.
201 (record_cdtor_fn, build_cdtor, cgraph_build_cdtor_fns): New functions,
202 based on implementation in c-common.c
203 (cgraph_finalize_function): Call record_cdtor_fn.
204 (cgraph_optimize): Call cgraph_build_cdtor_fns.
205 * decl.c (finish_function): Do not call c_record_cdtor_fn.
206 (c_write_global_declarations): Do not call c_build_cdtor_fns.
207 * c-common.c (static_ctors, static_dtors, c_record_cdtor_fn,
208 build_cdtor, c_build_cdtor_fns): Remove.
209 * c-common.h (static_ctors, static_dtors, c_record_cdtor_fn,
210 c_build_cdtor_fns): Remove prototype.
212 2007-05-11 Paolo Carlini <pcarlini@suse.de>
215 * builtin-types.def: Add BT_FN_PTR_CONST_PTR_INT_SIZE.
216 * builtins.def: Add BUILT_IN_MEMCHR, use the latter.
217 * builtins.c (fold_builtin_memchr): New.
218 (expand_builtin_memchr): Call the latter.
219 (expand_builtin, fold_builtin_3): Deal with BUILT_IN_MEMCHR.
220 * doc/extend.texi ([Other built-in functions provided by GCC]):
223 2007-05-11 Andreas Krebbel <krebbel1@de.ibm.com>
225 * config/s390/s390.md (GPR0_REGNUM, FPR0_REGNUM, FPR2_REGNUM,
226 PFPO_CONVERT, PFPO_OP_TYPE_SF, PFPO_OP_TYPE_DF, PFPO_OP_TYPE_TF,
227 PFPO_OP_TYPE_SD, PFPO_OP_TYPE_DD, PFPO_OP_TYPE_TD, PFPO_OP0_TYPE_SHIFT,
228 PFPO_OP1_TYPE_SHIFT): Constants added.
229 (DFP_ALL): Mode macro defined.
230 ("*trunc<BFP:mode><DFP_ALL:mode>2", "*trunc<DFP_ALL:mode><BFP:mode>2",
231 "*extend<BFP:mode><DFP_ALL:mode>2", "*extend<DFP_ALL:mode><BFP:mode>2"):
232 Insn definitions added.
233 ("trunc<BFP:mode><DFP_ALL:mode>2", "trunc<DFP_ALL:mode><BFP:mode>2",
234 "extend<BFP:mode><DFP_ALL:mode>2", "extend<DFP_ALL:mode><BFP:mode>2"):
237 2007-05-10 Zdenek Dvorak <dvorakz@suse.cz>
239 PR tree-optimization/31885
240 * tree-chrec.c (chrec_contains_undetermined): Do not consider NULL_TREE
242 (automatically_generated_chrec_p): Return false for NULL.
244 2007-05-08 Bernd Schmidt <bernd.schmidt@analog.com>
246 * config/bfin/bfin.h (MOVE_RATIO): Define.
248 2007-05-10 Richard Sandiford <richard@codesourcery.com>
250 * config.gcc (sparc-wrs-vxworks): New target.
251 * config/sparc/vxworks.h, config/sparc/t-vxworks: New files.
252 * config/sparc/sparc-protos.h (sparc_emit_call_insn): Declare.
253 * config/sparc/sparc.h: Include vxworks-dummy.h.
254 (PRINT_OPERAND_ADDRESS): Extend SYMBOL_REF handling to
255 include LABEL_REFs too.
256 * config/sparc/sparc.c (sparc_expand_move): Don't assume that
257 _GLOBAL_OFFSET_TABLE_ - label_ref is a link-time constant on
259 (legitimize_pic_address): Handle LABEL_REFs like SYMBOL_REFs
261 (load_pic_register): Use gen_vxworks_load_got for VxWorks.
262 (sparc_emit_call_insn): New function.
263 (sparc_function_ok_for_sibcall): Restrict sibcalls to locally-binding
264 functions when generating VxWorks PIC.
265 * config/sparc/sparc.md (vxworks_load_got): New pattern.
266 (call, call_value): Use sparc_emit_call_insn instead of
269 2007-05-09 Bob Wilson <bob.wilson@acm.org>
271 * config/xtensa/xtensa.c (xtensa_output_literal): Don't use #if.
273 2007-05-09 Bob Wilson <bob.wilson@acm.org>
275 * config/xtensa/xtensa.c (xtensa_output_literal): Mask out high bits
276 for floating-point values if HOST_BITS_PER_LONG > 32. Use split_double
277 instead of operand_subword.
279 2007-05-08 Bernd Schmidt <bernd.schmidt@analog.com>
281 * config/bfin/bfin.h (LOCAL_ALIGNMENT): Define.
282 * config/bfin/bfin.c (bfin_local_alignment): New function.
283 * config/bfin/bfin-protos.h (bfin_local_alignment): Declare it.
285 2007-05-08 Chao-ying Fu <fu@mips.com>
287 * doc/md.texi (msub@var{m}@var{n}4, usub@var{m}@var{n}4): Document.
288 * optabs.h (OTI_smsub_widen, OTI_umsub_widen): New optab_indexes.
289 (smsub_widen_optab, umsub_widen_optab): Define.
290 * optabs.c (init_optabs): Initialize smsub_widen_optab and
292 * genopinit.c (optabs): Fill in smsub_widen_optab and
294 * expr.c (expand_expr_real_1): Try to use smsub_widen_optab
295 and umsub_widen_optab to implement multiply-subtract sequences.
296 * config/mips/mips.md (*msac<u>_di): Rename to...
297 (<u>msubsidi4): ...this. Extend condition to include
298 GENERATE_MADD_MSUB and TARGET_DSPR2. Change the constraint
299 of operand 0 to "ka" and use the three-operand form of msub<u>
301 * config/mips/mips-dspr2.md (mips_msub, mips_msubu): Convert
304 2007-05-08 Kaz Kojima <kkojima@gcc.gnu.org>
306 PR rtl-optimization/28011
307 * reload.c (push_reload): Set dont_share if IN appears in OUT
308 also when IN is a PLUS rtx.
309 (reg_overlap_mentioned_for_reload_p): Return true if X and IN
312 2007-05-08 Kazu Hirata <kazu@codesourcery.com>
314 * emit-rtl.c (unshare_all_rtl_1): Don't copy DECL_RTL. Don't
315 call unshare_all_decls.
316 (unshare_all_rtl): Adjust the call to unshare_all_rtl_1.
317 (unshare_all_decls): Remove.
319 2007-05-08 Simon Martin <simartin@users.sourceforge.net>
322 * tree-dump.c (dump_options): Don't use TDF_DIAGNOSTIC in "*-all" tree
325 2007-05-08 Sandra Loosemore <sandra@codesourcery.com>
326 Nigel Stephens <nigel@mips.com>
328 * config/mips/mips.h (MAX_FPRS_PER_FMT): Renamed from FP_INC.
329 Update comments and all uses.
330 (MIN_FPRS_PER_FMT): Define.
331 * config/mips/mips.c (function_arg): Fix to correctly handle
332 the -mips32r2 -mfp64 -mabi=32 case.
333 (override_options): Enable use of odd-numbered registers for
334 SFmode values on MIPS32.
335 (mips_save_reg_p): Save whole floating-point register pair if
337 (compute_frame_size): Fix comment.
339 2007-05-08 Jie Zhang <jie.zhang@analog.com>
341 * config/bfin/bfin-protos.h (bfin_expand_epilogue): Add a third
342 argument of type bool.
343 * config/bfin/bfin.c (add_to_reg): Add epilogue_p as a fourth
344 argument. Safely select temporary P register according to it.
345 (do_link): Change call site of add_to_reg accordingly.
346 (do_unlink): Add epilogue_p as a fourth argument and pass it
348 (expand_interrupt_handler_epilogue): Change call of do_unlink
350 (bfin_expand_prologue): Add a third argument sibcall_p.
351 * config/bfin/bfin.md (epilogue): Change call of
352 bfin_expand_epilogue accordingly.
353 (sibcall_epilogue): Likewise.
354 (eh_return_internal): Likewise.
356 * config/bfin/bfin-protos.h (enum bfin_cpu): Add
357 BFIN_CPU_BF534, BFIN_CPU_BF536 and BFIN_CPU_BF561.
358 * config/bfin/bfin.c (bfin_handle_option): Handle
359 -mcpu=bf534, -mcpu=bf536 and -mcpu=bf561.
360 * config/bfin/bfin.h (TARGET_CPU_CPP_BUILTINS):
361 Support bf534, bf536 and bf561.
362 * doc/invoke.texi (Blackfin Options): Document -mcpu and -msim.
364 2007-05-08 Uros Bizjak <ubizjak@gmail.com>
367 * config/i386/i386.c (ix86_function_regparm): Process local
368 functions only when TREE_CODE (decl) equals FUNCTION_DECL.
370 2007-05-07 Mike Stump <mrs@apple.com>
372 * doc/invoke.texi (Warning Options): Document that -Wempty-body
373 also checks for and while statements in C++.
375 2007-05-07 Nathan Froyd <froydnj@codesourcery.com>
377 * gcc.c (at_file_supplied): New variable.
378 (main): Set it if we expanded argv.
379 (do_spec_1): Pass an @-file to the linker if we were called with
380 an @-file argument and HAVE_GNU_LD.
381 * collect2.c (at_file_supplied): New variable.
382 (response_file): New variable.
383 (collect_exit): Unlink response_file if necessary.
386 (main): Set at_file_supplied if we expanded argv.
387 (collect_execute): Pass an @-file to subprocesses if we were called
388 with an @-file argument.
389 * configure.ac: Add define for HAVE_GNU_LD.
390 * configure: Regenerate.
391 * config.in: Regenerate.
393 2007-05-07 Naveen.H.S <naveen.hs@kpitcummins.com>
395 * config/m32c/muldiv.md (mulhisi3_c): Limit the mode of the 2nd
401 2007-05-07 Jayant Sonar <jayants@kpitcummins.com>
403 * config/m32c/m32c.c (SYMBOL_FLAG_FUNCVEC_FUNCTION): Define.
404 (TARGET_ENCODE_SECTION_INFO): Re-define.
405 (m32c_encode_section_info): New
406 (function_vector_handler): New
407 (current_function_special_page_vector): New
408 (m32c_special_page_vector_p): New.
409 * config/m32c/m32c-protos.h (m32c_special_page_vector_p):
411 * config/m32c/jump.md: Added instruction JSRS for functions
412 with attribute "function_vector".
413 * doc/extend.texi (function_vector): Added description
414 for M16C, M32C targets.
416 2007-05-07 DJ Delorie <dj@redhat.com>
419 * config/m32c/shift.md (ashlpsi3_i, ashrpsi3_i, ashlpsi3,
420 ashrpsi3, lshrpsi3): Update shift count constraint.
422 2007-05-07 Danny Smith <dannysmith@users.sourceforge.net>
423 Nathan Froyd <froydnj@codesourcery.com>
426 * c-incpath.c (add_path): Strip trailing path separators.
428 2007-05-07 Eric Botcazou <ebotcazou@adacore.com>
430 * tree-ssa-dom.c (tree_ssa_dominator_optimize): Reset cfg_altered.
431 Free dominance info before purging EH edges.
432 (eliminate_degenerate_phis): Likewise.
433 (propagate_rhs_into_lhs): Set cfg_altered to true instead of 1.
435 2007-05-07 Jan Hubicka <jh@suse.cz>
437 * gimplify.c (gimplify_expr): Do not crash when folding
440 2007-05-07 Francois-Xavier Coudert <fxcoudert@gcc.gnu.org>
443 * c-opts.c (lang_fortran): Make it non static.
444 * c-common.h (lang_fortran): New prototype.
445 * c-cppbuiltin.c (c_cpp_builtins): Create a __GFORTRAN__ if the
446 -lang-fortran option was passed by the driver.
448 2007-05-06 Eric Botcazou <ebotcazou@adacore.com>
450 * timevar.c (timevar_print): Test ENABLE_ASSERT_CHECKING instead
451 of ASSERT_CHECKING. Tweak message.
453 2007-05-06 Revital Eres <eres@il.ibm.com>
456 * loop-unroll.c (insert_var_expansion_initialization):
457 Initialize the expansions with -zero instead of +zero.
459 2007-05-05 Aurelien Jarno <aurelien@aurel32.net>
461 * config/pa/pa.md: Split tgd_load, tld_load and tie_load
462 into pic and non-pic versions. Mark r19 as used for
463 tgd_load_pic, tld_load_pic and tie_load_pic. Mark r27 as used
464 for tgd_load, tld_load and tie_load .
465 * config/pa/pa.c (legitimize_tls_address): Emit pic or non-pic
466 version of tgd_load, tld_load and tie_load depending on the
469 2007-05-04 Ulrich Drepper <drepper@redhat.com>
470 Jakub Jelinek <jakub@redhat.com>
472 * crtstuff.c (HIDDEN_DTOR_LIST_END): New macro.
473 (__do_global_dtors_aux): Use more paranoid loop to run
474 destructors if HIDDEN_DTOR_LIST_END.
475 (__DTOR_END__): Export as a hidden symbol when HIDDEN_DTOR_LIST_END.
477 2007-05-04 Jakub Jelinek <jakub@redhat.com>
479 * varasm.c (align_variable): Don't increase alignment for
480 DECL_THREAD_LOCAL_P variables above BITS_PER_WORD through
481 DATA_ALIGNMENT or CONSTANT_ALIGNMENT.
483 2007-05-04 Josh Conner <jconner@apple.com>
485 * basic-block.h (cdi_direction): Assign values to all enumeration
487 (dom_computed): Remove.
488 (dom_info_state): New.
489 (set_dom_info_availability): New.
490 * tree-ssa-loop-im.c (determine_invariantness): Initialize
491 walk_data.dom_direction.
492 * cfghooks.c (delete_basic_block): Use dom_info_available_p()
493 instead of dom_computed[].
494 (split_edge): Likewise.
495 (create_basic_block): Likewise.
496 (merge_blocks): Likewise.
497 * ifcvt.c (find_if_header): Likewise.
498 * tree-cfgcleanup.c (cleanup_tree_cfg): Likewise.
499 * tree-ssa-dce.c (remove_dead_stmt): Likewise.
500 * tree-ssa.c (verify_ssa): Likewise.
501 * tree-cfg.c (tree_verify_flow_info): Likewise.
502 (remove_edge_and_dominated_blocks): Likewise.
503 * dominance.c (dom_computed): Make static.
504 (calc_dfs_tree_nonrec): Change third param to a bool.
505 (calc_dfs_tree): Change second param to a bool.
506 (calc_idioms): Change second param to a bool. Use
507 dom_convert_dir_to_idx.
508 (init_dom_info): Validate dir before using.
509 (dom_convert_dir_to_idx): New.
510 (calculate_dominance_info): Use dom_convert_dir_to_idx. New
511 variable 'reverse' used for calling calc_dfs_tree and calc_idoms.
512 (free_dominance_info): Use dom_convert_dir_to_idx.
513 (get_immediate_dominator): Likewise.
514 (set_immediate_dominator): Likewise.
515 (get_dominated_by): Likewise.
516 (redirect_immediate_dominators): Likewise.
517 (nearest_common_denominator): Likewise.
518 (dominated_by_p): Likewise.
519 (bb_dom_dfs_in): Likewise.
520 (bb_dom_dfs_out): Likewise.
521 (recount_dominator): Likewise.
522 (iterate_fix_dominators): Likewise.
523 (add_to_dominance_info): Likewise.
524 (delete_from_dominance_info): Likewise.
525 (first_dom_son): Likewise.
526 (next_dom_son): Likewise.
527 (dom_info_available_p): Likewise.
528 (dom_info_state): New.
529 (set_dom_info_availability): New.
531 2007-05-04 Andreas Krebbel <krebbel1@de.ibm.com>
533 * config/s390/s390.md ("fix_trunc<mode>di2", "fix_trunc<mode>si2"):
535 ("fix_trunc<DSF:mode><GPR:mode>2"): Expander added.
537 2007-05-04 Bob Wilson <bob.wilson@acm.org>
539 * config/xtensa/xtensa.md (adddi3, adddi_carry): Delete.
540 (subdi3, subdi_carry): Delete.
542 2007-05-04 Jan Hubicka <jh@suse.cz>
543 Richard Guenther <rguenther@suse.de>
545 * opts.c (decode_options): Do not fiddle with inlining
546 parameters in case of optimizing for size.
547 * ipa-inline.c (cgraph_decide_recursive_inlining): When optimizing
549 (cgraph_decide_inlining_of_small_function): When optimizing for
550 size never inline functions increasing caller size.
551 (cgraph_early_inlining): Inline for size when optimizing for size.
553 2007-04-18 Bernd Schmidt <bernd.schmidt@analog.com>
555 * config/bfin/bfin.md (<optab>di3): Now a define_expand which expands
556 logical operations piecewise.
557 (<optab>di_zesidi_di, <optab>di_sesidi_di, negdi2, one_cmpldi2,
558 zero_extendsidi2, subdi_di_zesidi, subdi_zesidi_di, subdi_di_sesidi,
559 subdi_sesidi_di): Delete.
560 (add_with_carry): Produce carry in CC instead of a DREG to shorten
561 the generated sequence. Allow three-reg add in constraints. Rewrite
562 the rtl expression for carry to avoid zero_extend of a constant.
563 (sub_with_carry): New pattern.
564 (adddi3, subdi3): Change into define_expand. For subtract, generate a
565 different sequence not involving jumps.
566 (notbi): Now a named pattern.
568 2007-05-04 Bradley Lucier <lucier@math.purdue.edu>
570 * doc/invoke.texi (i386 and x86-64 Options) [-mpc32, -mpc64, -mpc80]:
571 Add the note about a significant loss of accuracy of some
572 mathematical routines when these options are used.
574 2007-05-04 Maxim Kuvyrkov <mkuvyrkov@ispras.ru>
576 * haifa-sched.c (rtx_vec_t): New typedef.
577 (contributes_to_priority_p): Extract piece of priority () into new
579 (priority): Use the function. Add assertion.
580 (rank_for_schedule, set_priorities): Add assertion to check that
581 insn's priority is initialized.
582 (clear_priorities, calc_priorities): Change signature. Make it update
583 all relevant insns. Update all callers ('add_to_speculative_block ()'
584 and 'create_block_check_twin ()').
585 * sched-int.h (struct haifa_insn_data): Remove field 'priority_known'.
586 Add new field 'priority_status'.
587 (INSN_PRIORITY_STATUS): New macro.
588 (INSN_PRIORITY_KNOWN): Change to use INSN_PRIORITY_STATUS.
590 2007-05-04 Maxim Kuvyrkov <mkuvyrkov@ispras.ru>
592 * sched-ebb.c (debug_ebb_dependencies): New static function.
593 (init_ready_list): Use it.
595 * sched-rgn.c (debug_dependencies): Split into 'debug_dependencies ()'
596 with changed signature and 'debug_rgn_dependencies ()'.
597 (debug_rgn_dependencies): New static function.
598 (init_ready_list): Use it.
600 * sched-int.h (debug_dependencies): Declare.
602 2007-05-04 Andreas Krebbel <krebbel1@de.ibm.com>
604 * libgcc-std.ver (__ffssi2): Added to GCC_4.3.0 section.
606 2007-05-04 Dirk Mueller <dmueller@suse.de>
608 * c.opt(Wmain,ffreestanding): Enable for C++,ObjC++.
610 2007-05-03 Jan Hubicka <jh@suse.cz>
612 * fold-const.c (fold_unary): Convert (T1)(X op Y) into ((T1)X op (T1)Y),
613 for pointer type in more cases than before.
615 * gimplify.c (gimplify_expr): Fold (void *)&a + 4.
617 * tree-object-size.c (plus_expr_object_size): When operand size is
618 unknown, return unknown.
620 2007-05-03 Dirk Mueller <dmueller@suse.de>
622 * doc/invoke.texi (-m386,-m486,-mpentium,-mpentiumpro): Remove.
624 * config/i386/i386.h (CC1_CPU_SPEC): Remove handling for deprecated
627 * config/i386/i386.opt (m386,m486,mpentium,mpentiumpro): Remove.
629 2007-05-03 Janis Johnson <janis187@us.ibm.com>
631 * doc/sourcebuild.texi (Test Directives) Clarify dg-excess-errors.
633 2007-05-03 Joseph Myers <joseph@codesourcery.com>
635 * config/soft-fp/double.h, config/soft-fp/extended.h,
636 config/soft-fp/floatundidf.c, config/soft-fp/floatundisf.c,
637 config/soft-fp/floatunsidf.c, config/soft-fp/floatunsisf.c,
638 config/soft-fp/op-2.h, config/soft-fp/op-4.h,
639 config/soft-fp/op-common.h, config/soft-fp/quad.h: Update from
642 2007-05-03 Ian Lance Taylor <iant@google.com>
644 * config/rs6000/rs6000.c (rs6000_override_options): Don't set
645 MASK_PPC_GFXOPT for 8540 or 8548.
647 2007-05-03 Uros Bizjak <ubizjak@gmail.com>
649 * tree-vect-transform.c (vect_update_inits_of_drs): Use
650 vect_print_dump_info() to output debug information.
652 2007-05-03 Uros Bizjak <ubizjak@gmail.com>
655 * config/i386/i386.c (print_operand) ['z']: Output 'w' for
656 operands of size 2 when operand is not MEM_P.
658 2007-05-03 Zdenek Dvorak <dvorakz@suse.cz>
660 PR tree-optimization/30565
661 * lambda-code.c (perfect_nestify): Fix updating of dominators.
663 2007-05-03 Bernd Schmidt <bernd.schmidt@analog.com>
665 * config/bfin/bfin.md (addpdi3, us_truncpdisi2): New patterns.
666 (umulsi3_highpart): Use them.
667 * config/bfin/lib1funcs.asm (__umulsi3_highpart): Use unsigned move
668 for final accumulator to D regisster tranfser.
670 2007-05-03 Dorit Nuzman <dorit@il.ibm.com>
672 PR tree-optimization/31699
673 * tree-vect-analyze.c (vect_update_misalignment_for_peel): Remove wrong
675 (vect_enhance_data_refs_alignment): Compute peel amount using
676 TYPE_VECTOR_SUBPARTS instead of vf.
677 * tree-vect-transform.c (vect_gen_niters_for_prolog_loop): Likewise.
679 2007-05-02 Brooks Moses <brooks.moses@codesourcery.com>
682 * system.h: Remove inclusion of double-int.h
683 * tree.h: Include double-int.h
684 * gengtype.c: Likewise
685 * cfgloop.h: Likewise
686 * Makefile.in: Adjust dependencies on double-int.h
688 2007-05-02 Eric Christopher <echristo@apple.com>
690 * config/darwin.h (TARGET_OPTION_TRANSLATE_TABLE): Translate
691 -shared to -Zdynamiclib.
693 2007-05-02 Seongbae Park <seongbae.park@gmail.com>
696 * c-common.c (strip_pointer_or_array_types): New function.
697 * c-common.h (strip_pointer_or_array_types): New function declaration.
699 2007-05-03 Zdenek Dvorak <dvorakz@suse.cz>
701 PR tree-optimization/31771
702 * tree-cfg.c (move_block_to_fn): Assign bb to the correct index.
704 2007-05-02 Paul Brook <paul@codesourcery.com>
706 * config/arm/bpabi.S (aeabi_lcmp): Fix result on overflow.
708 2007-05-02 Andrew Pinski <andrew_pinski@playstation.sony.com>
711 * fold-const.c (fold_comparision): Remove the "foo++ == CONST"
714 2007-05-02 Nick Clifton <nickc@redhat.com>
716 * config/frv/predicates.md (symbolic_operand): Accept CONSTs.
718 2007-05-02 Richard Guenther <rguenther@suse.de>
720 PR tree-optimization/31146
721 * tree-ssa-forwprop.c (forward_propagate_addr_expr_1): New
722 argument, single_use_p. If we have a single use that is
723 a conversion to the definition rhs type, propagate that rhs.
724 (forward_propagate_addr_expr): Pass single_use_p argument
725 to forward_propagate_addr_expr_1.
727 2007-05-01 H.J. Lu <hongjiu.lu@intel.com>
729 * config/i386/i386.c (ix86_expand_sse_comi): Remove unused
732 2007-05-01 Dwarakanath Rajagopal <dwarak.rajagopal@amd.com>
734 * doc/invoke.texi: Fix typo, 'AMD Family 10h core' instead of
735 'AMD Family 10 core'.
737 2007-05-01 Dwarakanath Rajagopal <dwarak.rajagopal@amd.com>
739 * config/i386/i386.c (override_options): Accept k8-sse3, opteron-sse3
740 and athlon64-sse3 as improved versions of k8, opteron and athlon64
741 with SSE3 instruction set support.
742 * doc/invoke.texi: Likewise.
744 2007-05-01 Dwarakanath Rajagopal <dwarak.rajagopal@amd.com>
746 * config/i386/i386.c (override_options): Tuning 32-byte loop
747 alignment for amdfam10 architecture. Increasing the max loop
748 alignment to 24 bytes.
750 2007-05-01 Kazu Hirata <kazu@codesourcery.com>
752 * config/m68k/constraints.md: New.
753 * config/m68k/m68k.h (REG_CLASS_FROM_LETTER,
754 CONST_OK_FOR_LETTER_P, CONST_DOUBLE_OK_FOR_LETTER_P,
755 EXTRA_CONSTRAINT): Remove.
756 * config/m68k/m68k.md: Include constraints.md.
757 * expr.c (expand_expr_real_1): Copy DECL_RTL before using it.
759 2007-05-01 Ian Lance Taylor <iant@google.com>
761 PR tree-optimization/31739
762 * tree-vrp.c (vrp_val_is_max): New static function.
763 (vrp_val_is_min): New static function.
764 (set_value_range_to_value): Use TYPE_{MAX,MIN}_VALUE rather than
766 (set_value_range): Use vrp_val_is_{max,min}.
767 (extract_range_from_assert): Likewise.
768 (extract_range_from_binary_expr): Likewise.
769 (extract_range_from_unary_expr): Likewise.
770 (dump_value_range, vrp_meet): Likewise.
771 (vrp_visit_phi_node): Likewise.
772 * tree.c (build_distinct_type_copy): Revert change of 2007-04-27.
774 2007-05-01 Mark Mitchell <mark@codesourcery.com>
776 * config/i386/gmon-sol2.c (size_t): New type.
777 (intptr_t): Likewise.
778 (s_textsize): Declare as size_t.
780 (monstartup): Use size_t for sizes.
781 (_mcount): Save and restore registers.
782 (internal_mcount): Pass 0 as the first argument to monstartup
784 (moncontrol): Convert pointer to appropriately sized integer
785 before passing to profil.
787 2007-05-01 Joseph Myers <joseph@codesourcery.com>
789 * config/rs6000/darwin-ldouble.c (__gcc_qunord): Define if
790 __NO_FPRS__, not just if _SOFT_DOUBLE.
791 * config/rs6000/libgcc-ppc-glibc.ver (__gcc_qunord): Likewise.
792 * config/rs6000/rs6000.c (rs6000_init_libfuncs): Use __gcc_qunord
793 also for E500 double.
794 * config/rs6000/rs6000.md (buneq, bunge, bungt, bunle, bunlt,
795 suneq, sunge, sungt, sunle, sunlt): Disable for (TARGET_HARD_FLOAT
798 2007-05-01 Richard Guenther <rguenther@suse.de>
800 * tree-ssa-loop-manip.c (ip_normal_pos): Check if last stmt
803 2007-05-01 Joseph Myers <joseph@codesourcery.com>
805 * config/rs6000/libgcc-ppc-glibc.ver (__gcc_qgt): Fix typo.
807 2007-05-01 Jan Hubicka <jh@suse.cz>
809 * tree-vectorize.c (vect_is_simple_use): gimple_min_invariant is
812 2007-05-01 Jan Hubicka <jh@suse.cz>
814 * tree.h (maybe_fold_offset_to_component_ref): Remove.
815 (maybe_fold_offset_to_reference): Declare.
816 * fold-const.c (fold_unary): Do not fold
817 (type *)&A into &A->field_of_type_and_offset_0
818 * tree-ssa-ccp.c (maybe_fold_offset_to_array_ref): When base type
819 size is unknown, give up.
820 (maybe_fold_offset_to_component_ref): Ignore firelds with unknown
822 (maybe_fold_offset_to_reference): New.
823 (maybe_fold_stmt_indirect): Use it.
824 (fold_stmt_r): Fold (type *)&A+offset into A->field_if_type_and_offset.
825 * gimplify.c (gimplify_conversion): Canonicalize conversions to
827 (gimplify_expr): Likewise for plus_expr.
829 2007-05-01 Zdenek Dvorak <dvorakz@suse.cz>
831 * tree-ssa-loop-ivopts.c (rewrite_use_nonlinear_expr): Use
832 bsi_after_labels. Always insert statements before bsi.
833 * tree-vect-transform.c (vect_create_epilog_for_reduction): Ditto.
834 * predict.c (apply_return_prediction): Check for empty blocks.
835 * cfgexpand.c (lab_rtx_for_bb): New variable.
836 (label_rtx_for_bb): Do not create new tree labels.
837 (expand_gimple_basic_block): Add labels recorded in lab_rtx_for_bb.
838 (tree_expand_cfg): Initialize lab_rtx_for_bb.
839 * tree-cfg.c (build_tree_cfg): Call cleanup_dead_labels after
841 (label_for_bb): Add field used.
842 (update_eh_label, main_block_label): Mark the label used.
843 (cleanup_dead_labels): Remove unused labels.
845 2007-05-01 Richard Guenther <rguenther@suse.de>
847 * tree-vrp.c (set_value_range): Do not allocate equiv bitmap
848 if it is not about to be set.
849 (get_value_range): Do not pre-allocate equiv bitmap.
850 (update_value_range): No need to clear equiv field.
851 (add_equivalence): Change prototype to get bitmap pointer.
852 Allocate bitmap here if it is not already.
853 (extract_range_from_assert): Do not allocate bitmap here.
854 Update callers to add_equivalence.
855 (extract_range_from_ssa_name): Likewise.
856 (get_vr_for_comparison): New static helper.
857 (compare_name_with_value): Handle NULL equiv bitmap by
858 peeling the first iteration of the comparison loop.
859 Use get_vr_for_comparison.
860 (compare_names): Handle NULL equiv bitmaps by using fake
861 ones. Use get_vr_for_comparison.
863 2007-04-30 Brooks Moses <brooks.moses@codesourcery.com>
865 * double-int.c (mpz_set_double_int): Moved from
866 tree-ssa-loop-niter.c.
867 (mpz_get_double_int): Likewise; also, add option to wrap
868 out-of-range integers.
869 * double-int.h: New prototypes for above.
870 * tree.c (get_static_type_bounds): Moved from
871 tree-ssa-loop-niter.c; now returns TYPE_MIN_VALUE and
872 TYPE_MAX_VALUE if they exist..
873 * tree.h: New prototype for above.
874 * tree-ssa-loop-niter.c: Adjust mpz_to_double_int and
875 get_type_bounds calls.
876 (mpz_set_double_int): Move to double-int.c.
877 (get_type_bounds): Move to tree.c, rename to
878 get_static_type_bounds.
879 (mpz_to_double_int): Move to double-int.c, rename to
882 2007-04-30 Bob Wilson <bob.wilson@acm.org>
884 * config/xtensa/lib1funcs.asm (__umodsi3, __modsi3): Rearrange so that
885 DIV0 exception can fall through to a normal return.
887 2007-04-30 Alexandre Oliva <aoliva@redhat.com>
891 2007-04-06 Andreas Tobler <a.tobler@schweiz.org>
892 * tree-sra.c (sra_build_elt_assignment): Initialize min/maxshift.
893 2007-04-05 Alexandre Oliva <aoliva@redhat.com>
894 * tree-sra.c (try_instantiate_multiple_fields): Needlessly
895 initialize align to silence bogus warning.
896 2007-04-05 Alexandre Oliva <aoliva@redhat.com>
897 * tree-sra.c (struct sra_elt): Add in_bitfld_block. Remove
899 (struct sra_walk_fns): Remove use_all parameter from use.
900 (sra_hash_tree): Handle BIT_FIELD_REFs.
901 (sra_elt_hash): Don't hash bitfld blocks.
902 (sra_elt_eq): Skip them in parent compares as well. Handle
904 (sra_walk_expr): Don't maintain or pass down use_all_p.
905 (scan_use): Remove use_all parameter.
906 (scalarize_use): Likewise. Re-expand assignment to
907 BIT_FIELD_REF of gimple_reg. De-scalarize before input or
908 output, and re-scalarize after output. Don't mark anything
910 (scalarize_ldst): Adjust.
911 (scalarize_walk_gimple_modify_statement): Likewise.
912 (build_element_name_1): Handle BIT_FIELD_REFs.
913 (instantiate_element): Don't warn for any element whose parent
915 (instantiate_missing_elements_1): Return the sra_elt.
916 (canon_type_for_field): New.
917 (try_instantiate_multiple_fields): New.
918 (instantiate_missing_elemnts): Use them.
919 (mark_no_warning): Removed.
920 (generate_one_element_ref): Handle BIT_FIELD_REFs.
921 (REPLDUP, sra_build_elt_assignment): New.
922 (generate_copy_inout): Use them.
923 (generate_element_copy): Likewise. Handle bitfld differences.
924 (generate_element_zero): Don't recurse for blocks. Use
925 sra_build_elt_assignment.
926 (generate_one_element_int): Take elt instead of var. Use
927 sra_build_elt_assignment.
928 (generate_element_init_1): Adjust.
929 (scalarize_use, scalarize_copy): Use REPLDUP.
930 (scalarize_ldst): Move assert before dereference.
931 (dump_sra_elt_name): Handle BIT_FIELD_REFs.
933 2007-04-30 Andrew Pinski <andrew_pinski@playstation.sony.com>
936 * tree.c (reconstruct_complex_type): Reconstruct a reference
938 Also use the same mode for the pointer as the old pointer type.
940 2007-04-30 Francois-Xavier Coudert <coudert@clipper.ens.fr>
942 * doc/trouble.texi (Interoperation): Remove note about Ultrix
945 2007-04-29 Zdenek Dvorak <dvorakz@suse.cz>
947 PR rtl-optimization/31676
948 * df-scan.c (record_nonlocal_goto_receiver_defs): New function.
949 (df_refs_record): Call it.
951 2007-04-29 Bernd Schmidt <bernd.schmidt@analog.com>
953 * rtl.def (SS_ABS): New code.
954 * config/bfin/bfin.c (print_operand): New modifier 'v'.
955 (enum bfin_builtins): Add BFIN_BUILTIN_SUM_2X16, BFIN_BUILTIN_ABS_1x32,
956 BFIN_BUILTIN_ROUND_1x32, BFIN_BUILTIN_MULT_1x32x32,
957 BFIN_BUILTIN_MULT_1x32x32NS, BFIN_BUILTIN_SSASHIFT_1x32.
958 (bfin_init_builtins): Define them.
959 (bdesc_1arg, bdesc_2arg): Add some of them here, ...
960 (bfin_expand_builtin): ... and handle the others here.
961 * config/bfin/bfin.md (ssabssi2, ssroundsi2, ssashiftsi3,
962 flag_mul_macv2hi_parts_acconly_andcc0): New patterns.
963 (ss_absv2hi2): Renamed from absv2hi; use ss_abs code.
964 (ssashiftv2hi3, ssashifthi3, lshiftv2hi3, lshifthi3): Shift count
965 operand is only HImode.
967 2007-04-29 Steven Bosscher <steven@gcc.gnu.org>
969 * regclass.c (scan_one_insn): Remove splitting of
972 2007-04-28 Sandra Loosemore <sandra@codesourcery.com>
973 Nigel Stephens <nigel@mips.com>
975 * config/mips/mips.h (SLOW_BYTE_ACCESS): Turn off for MIPS16.
977 2007-04-28 Jan Hubicka <jh@suse.cz>
979 * config/alpha/alpha.c (alpha_output_mi_thunk_osf): Use
980 insn_locators_alloc instead of insn_locators_initialize;
981 call reset_block_changes.
982 * config/sparc/sparc.c (sparc_output_mi_thunk): Likewise.
983 * config/sh/sh.c (sparc_output_mi_thunk): Likewise.
984 * config/is64/ia64.c (ia64_output_mi_thunk): Likewise.
985 * config/rs6000/rs6000.c (rs6000_output_mi_thunk): Likewise.
986 * config/score/score.c (th_output_mi_thunk): Likewise.
987 * config/mips/mips.c (mips_output_mi_thunk): Likewise.
988 * cfglyaout.c (set_curr_insn_source_location, set_curr_insn_block):
989 tolerate uninitialized locator info.
992 * function.c (init_function_start): Don't init line number info.
993 (expand_function_end): Update.
994 (reset_block_changes, record_block_change, finalize_block_changes,
995 check_block_change, free_block_changes): Kill.
996 * function.h (reset_block_changes, record_block_change,
997 finalize_block_changes, check_block_change, free_block_changes): Remove
999 (struct function): Remove ib_boundaries_block.
1000 * emit-rtl.c (make_insn_raw, make_jump_insn_raw, make_call_insn_raw):
1001 Use curr_insn_locator to initialize locator.
1002 (emit_line_note): Remove.
1003 * cfgexpand.c (expand_gimple_cond_expr): Update.
1004 (construct_exit_block): Likewise.
1005 (tree_expand_cfg): Initialize/finalize locators.
1006 * expr.c (expand_expr_real): Update.
1007 * cfglayout.c (line_locators_locs, line_locators_lines,
1008 file_locators_locs, file_locators_files): Remove.
1009 (set_block_levels): Move to cfgexpand.c.
1010 (insn_locators_initialize): Remove.
1011 (pass_insn_locators_initialize): Remove.
1012 (locations_locators_locs, locations_locators_vals): New static vars.
1013 (curr_location, last_location, curr_block, last_block, curr_rtl_loc):
1015 (insn_locators_alloc, insn_locators_finalize,
1016 set_curr_insn_source_location, set_curr_insn_block, curr_insn_locator):
1018 (locator_location): New.
1019 (locator_line, locator_file): Rewrite.
1020 * rtl.h (emit_line_note): Kill.
1021 (insn_locators_alloc, insn_locators_finalize,
1022 set_curr_insn_source_location, set_curr_insn_block, curr_insn_locator):
1024 * tree-inline.c (initialize_cfun): Do not initialize
1025 ib_boundaries_block.
1026 * passes.c (pass_insn_locators_initialize): Remove.
1028 2007-04-28 Zdenek Dvorak <dvorakz@suse.cz>
1030 * tree-cfg.c (move_block_to_fn): Release bb from dominance
1031 info. Update last_basic_block correctly.
1033 2007-04-27 Kaz Kojima <kkojima@gcc.gnu.org>
1036 * config/sh/sh.c (output_stack_adjust): Avoid using the frame
1037 register itself to hold the offset constant. Tell flow the use
1038 of r4 and r5 when they are used.
1040 2007-04-27 Richard Guenther <rguenther@suse.de>
1042 * tree-ssa-forwprop.c (forward_propagate_into_cond): Keep track
1043 if we simplified anything.
1044 (tree_ssa_forward_propagate_single_use_vars): Defer overflow
1045 warnings until we did a simplification and the stmt was not
1046 marked as TREE_NO_WARNING.
1048 2007-04-27 Mike Stump <mrs@apple.com>
1050 * config/rs6000/darwin.h (ALWAYS_PUSH_CONSTS_USING_REGS_P): Remove.
1052 2007-04-27 Ian Lance Taylor <iant@google.com>
1055 * tree.c (build_distinct_type_copy): If TYPE_MIN_VALUE or
1056 TYPE_MAX_VALUE exist, convert them to the new type.
1058 2007-04-27 Zdenek Dvorak <dvorakz@suse.cz>
1060 * tree-cfgcleanup.c (cleanup_tree_cfg): Verify dominance info
1061 if it claims to be available.
1062 * tree-ssa-dce.c (remove_dead_stmt): Mark cfg as altered when
1064 (perform_tree_ssa_dce): Always free postdominators.
1066 2007-04-27 Richard Henderson <rth@redhat.com>
1068 * config/alpha/predicates.md (aligned_memory_operand): Mark
1069 as define_special_predicate.
1070 (unaligned_memory_operand, normal_memory_operand): Likewise.
1071 (reg_or_unaligned_mem_operand): Remove.
1072 (any_memory_operand): Match the documentation and check for
1073 non-renumbered pseudos during reload.
1074 * config/alpha/alpha.c (alpha_secondary_reload): Rename from
1075 alpha_secondary_reload_class, update to new interface, make static.
1076 Handle CQImode like HImode. Remove FP subreg check.
1077 (alpha_expand_mov): Use replace_equiv_address.
1078 (alpha_expand_mov_nobwx): Use any_memory_operand.
1079 (TARGET_SECONDARY_RELOAD): New.
1080 * config/alpha/alpha.h (SECONDARY_INPUT_RELOAD_CLASS): Remove.
1081 (SECONDARY_OUTPUT_RELOAD_CLASS): Remove.
1082 * config/alpha/sync.md (I12MODE, I48MODE, modesuffix): Move ...
1083 * config/alpha/alpha.md: ... here.
1084 (RELOAD12, reloadmode): New.
1086 (reload_in<RELOAD12>): Macro-ize from reload_inqi, reload_inhi.
1087 Don't handle the aligned case here.
1088 (reload_out<RELOAD12>): Macro-ize from reload_outqi, reload_outhi.
1089 (reload_in<I12MODE>_aligned): Macro-ize from reload_inqi_help,
1090 reload_inhi_help. Don't expect a scratch register.
1091 (reload_out<I12MODE>_aligned): Macro-ize from reload_outqi_help,
1093 * config/alpha/alpha-protos.h (alpha_secondary_reload_class): Remove.
1095 2007-04-27 Richard Guenther <rguenther@suse.de>
1097 * tree-ssa-forwprop.c (get_prop_dest_stmt): Fix comment typo.
1099 2007-04-27 Richard Guenther <rguenther@suse.de>
1101 PR tree-optimization/30965
1102 PR tree-optimization/30978
1103 * Makefile.in (tree-ssa-forwprop.o): Depend on $(FLAGS_H).
1104 * tree-ssa-forwprop.c (forward_propagate_into_cond_1): Remove.
1105 (find_equivalent_equality_comparison): Likewise.
1106 (simplify_cond): Likewise.
1107 (get_prop_source_stmt): New helper.
1108 (get_prop_dest_stmt): Likewise.
1109 (can_propagate_from): Likewise.
1110 (remove_prop_source_from_use): Likewise.
1111 (combine_cond_expr_cond): Likewise.
1112 (forward_propagate_comparison): New function.
1113 (forward_propagate_into_cond): Rewrite to use fold for
1115 (tree_ssa_forward_propagate_single_use_vars): Call
1116 forward_propagate_comparison to propagate comparisons.
1118 2007-04-27 Richard Guenther <rguenther@suse.de>
1120 PR tree-optimization/31715
1121 * tree-ssa-ccp.c (maybe_fold_offset_to_array_ref): Make
1122 sure to do computation on the offset in an appropriate
1125 2007-04-27 Richard Sandiford <richard@codesourcery.com>
1127 * reload.h (elimination_target_reg_p): Declare.
1128 * reload.c (find_reloads): Don't apply the reg_rtx move
1129 optimization if the SET_DEST satisfies elimination_target_reg_p.
1130 * reload1.c (elimination_target_reg_p): New function.
1131 (gen_reload): In the move/add2 fallback, make sure that op0
1132 does not overlap the destination register.
1134 2007-04-27 Zdenek Dvorak <dvorakz@suse.cz>
1136 * tree-ssa-loop-im.c (determine_invariantness_stmt): Attempt to
1137 transform only GIMPLE_MODIFY_STMTs.
1138 * tree-complex.c (expand_complex_operations_1): Ditto.
1139 (expand_complex_div_wide): Do not create gotos in COND_EXPR branches.
1140 * tree-ssa-loop-manip.c (build_if_stmt): Removed.
1141 (tree_transform_and_unroll_loop): Do not create gotos in COND_EXPR
1143 * value-prof.c (tree_divmod_fixed_value, tree_mod_pow2,
1144 tree_mod_subtract, tree_ic, tree_stringop_fixed_value): Ditto.
1145 * omp-low.c (expand_parallel_call, expand_omp_for_generic,
1146 expand_omp_for_static_chunk, expand_omp_for_static_nochunk): Ditto.
1147 * tree-vectorizer.c (slpeel_make_loop_iterate_ntimes,
1148 slpeel_add_loop_guard): Ditto.
1149 * tree-mudflap.c (mf_build_check_statement_for): Ditto.
1150 * lambda-code.c (perfect_nestify): Ditto.
1151 * tree-iterator.c (tsi_split_statement_list_before): Fix splitting
1152 before the first statement.
1153 * tree-optimize.c (execute_free_datastructures): Fix comments.
1154 (execute_free_cfg_annotations): Do not call disband_implicit_edges.
1155 * tree-flow.h (disband_implicit_edges): Declaration removed.
1156 * tree-cfg.c (make_cond_expr_edges): Remove gotos from COND_EXPR
1158 (cleanup_dead_labels, tree_redirect_edge_and_branch): Handle COND_EXPRs
1160 (disband_implicit_edges, has_label_p): Removed.
1161 (tree_verify_flow_info): Verify that COND_EXPR branches are empty.
1162 (tree_lv_add_condition_to_bb): Do not create gotos in COND_EXPR
1164 * tree.c (build3_stat): Mark COND_EXPRs used as statements as having
1166 * tree-pretty-print.c (dump_implicit_edges): Dump implicit edges
1167 also for COND_EXPRs.
1168 * cfgexpand.c (label_rtx_for_bb): New function.
1169 (expand_gimple_cond_expr): Do not expect gotos in COND_EXPR branches.
1170 Use label_rtx_for_bb to find the labels.
1171 (expand_gimple_basic_block): Remove RETURN_EXPR at the end of the
1172 last block. Detect fallthru edges.
1174 2007-04-26 Ian Lance Taylor <iant@google.com>
1177 * reload.c (find_reloads_subreg_address): If the address was valid
1178 in the original mode but not in the new mode, reload the whole
1181 2007-04-27 Zdenek Dvorak <dvorakz@suse.cz>
1183 * tree-cfgcleanup.c (cfgcleanup_altered_bbs): New global variable.
1184 (remove_fallthru_edge): Use remove_edge_and_dominated_blocks.
1185 (cleanup_control_expr_graph): Do not invalidate dominance info.
1186 Record altered blocks.
1187 (cleanup_control_flow, cleanup_forwarder_blocks): Removed.
1188 (cleanup_control_flow_bb, split_bbs_on_noreturn_calls,
1189 cleanup_tree_cfg_bb): New functions.
1190 (remove_forwarder_block): Do not maintain the worklist of blocks.
1191 Record altered blocks.
1192 (cleanup_tree_cfg_1): Iterate over cfgcleanup_altered_bbs,
1194 (cleanup_tree_cfg): Do not iterate cleanup_tree_cfg_1. Only call
1195 delete_unreachable_blocks if dominators are not available.
1196 * tree-inline.c (optimize_inline_calls): Free dominance information
1198 * tree-flow.h (remove_edge_and_dominated_blocks,
1199 cfgcleanup_altered_bbs): Altered.
1200 * tree-cfg.c (replace_uses_by, tree_merge_blocks): Record altered
1202 (get_all_dominated_blocks, remove_edge_and_dominated_blocks): New
1204 (tree_purge_dead_eh_edges): Use remove_edge_and_dominated_blocks,
1205 do not invalidate dominators.
1207 2007-04-26 Anatoly Sokolov <aesok@post.ru>
1209 * config/avr/avr.c (avr_mcu_types): Add support for ATmega8HVA and
1210 ATmega16HVA devices. Move AT90USB82 device to 'avr5' architecture.
1211 * config/avr/avr.h (LINK_SPEC, CRT_BINUTILS_SPECS): (Ditto.).
1212 * config/avr/t-avr (MULTILIB_MATCHES): (Ditto.).
1214 2007-04-26 Steve Ellcey <sje@cup.hp.com>
1216 * config/ia64/ia64.md (ip_value): Fix itanium_class attribute.
1218 2007-04-26 Richard Guenther <rguenther@suse.de>
1220 PR tree-optimization/31703
1221 * tree-ssa-loop-im.c (rewrite_bittest): Make sure to use
1222 the right type for the target of the bittest.
1224 2007-04-26 Richard Sandiford <richard@codesourcery.com>
1226 * config/i386/vx-common.h (RETURN_IN_MEMORY): Use
1227 ix86_sol10_return_in_memory.
1229 2007-04-26 Richard Sandiford <richard@codesourcery.com>
1231 * config/i386/i386.c (ix86_sol10_return_in_memory): Remove unused
1234 2007-04-26 Jakub Jelinek <jakub@redhat.com>
1237 * tree-inline.c (copy_body_r): Don't touch TREE_TYPE of OMP_CLAUSE.
1239 PR tree-optimization/30558
1240 * tree-eh.c (lower_eh_filter): If EH_FILTER_MUST_NOT_THROW
1241 clear this_state.prev_try.
1243 2007-04-26 Richard Sandiford <richard@codesourcery.com>
1244 Mark Mitchell <mark@codesourcery.com>
1246 * config/i386/i386-protos.h (ix86_sol10_return_in_memory): Declare.
1247 * config/i386/i386.c (ix86_sol10_return_in_memory): New function.
1248 * config/i386/sol2-10.h (RETURN_IN_MEMORY): Use it.
1250 2007-04-26 Richard Sandiford <richard@codesourcery.com>
1253 * doc/invoke.texi (%:print-asm-header): Document.
1254 * gcc.c (asm_options): Use %:print-asm-header() for --target-help
1256 (static_spec_functions): Add print-asm-header.
1257 (main): Print a banner before the --target-help linker options.
1258 (print_asm_header_spec_function): New function.
1260 2007-04-25 Kaz Kojima <kkojima@gcc.gnu.org>
1263 * config/sh/sh.md (movsi_ie): Fix length for TARGET_SH2A.
1264 (movsf_ie): Likewise.
1266 2007-04-25 Paolo Carlini <pcarlini@suse.de>
1268 * doc/extend.texi ([Type Traits]): Adjust per N2255.
1270 2007-04-25 Bob Wilson <bob.wilson@acm.org>
1272 * config/xtensa/lib1funcs.asm (__udivsi3, __divsi3): Throw an exception
1274 (__umodsi3, __modsi3): Likewise.
1276 2007-04-25 Dirk Mueller <dmueller@suse.de>
1278 * c-typeck.c (build_compound_expr): Annotate warning()
1279 call with OPT_Wunused_value.
1280 * tree-ssa.c (warn_uninit): Annotate warning with
1282 * c-common.c (handle_sentinel_attribute): Annotate warning
1283 call with OPT_Wattributes.
1285 2007-04-25 Thiemo Seufer <ths@mips.com>
1287 * config/mips/mips.opt (mdmx, mmt, mno-mdmx): New options.
1289 * config/mips/mips.h (ASM_SPEC): Pass -mmt/-mno-mt and -mdmx/-mno-mdmx
1290 on to the assembler. Improve handling of -mno-mips16. Add handling
1291 of -mno-mips3d, -mno-dsp, -mno-dspr2.
1292 * doc/invoke.texi (MIPS Options): Whitespace cleanup. Fix wrong use
1293 of @itemx. Document -mno-dsp, -mno-dspr2, -mno-paired-single, -mdmx,
1294 -mno-mdmx, -mno-mips3d, -mmt and -mno-mt.
1296 2007-04-25 Danny Smith <dannysmith.users.sourceforge.net>
1299 * config/i386/winnt.c (i386_pe_file_end): Strip only
1300 USER_LABEL_PREFIX when writing export name.
1302 2007-04-25 Richard Sandiford <richard@codesourcery.com>
1304 * config.gcc (sh-wrs-vxworks): Don't include dbxelf.h. Include
1305 sh/elf.h, vx-common.h and vxworks.h.
1306 * config/sh/sh.h: Include config/vxworks-dummy.h.
1307 (SUBTARGET_OVERRIDE_OPTIONS): Define.
1308 (OVERRIDE_OPTIONS): Use it.
1309 * config/sh/sh.md (GOTaddr2picreg): Add suport for VxWorks RTPs.
1310 (vxworks_picreg): New pattern.
1311 * config/sh/vxworks.h (TARGET_OS_CPP_BUILTINS): Use
1312 VXWORKS_OS_CPP_BUILTINS.
1313 (LIB_SPEC, LINK_SPEC, STARTFILE_SPEC, ENDFILE_SPEC): Redefine
1314 to their VXWORKS_* equivalents.
1315 (SUBTARGET_OVERRIDE_OPTIONS, SUBTARGET_CPP_SPEC): Define.
1316 (SUBTARGET_LINK_EMUL_SUFFIX, FUNCTION_PROFILER): Define.
1317 * config/sh/lib1funcs.asm (NO_FPSCR_VALUES): Define for VxWorks PIC.
1318 (set_fpscr, ic_invalidate): Add VxWorks PIC sequences.
1319 * config/sh/t-vxworks (MULTILIB_OPTIONS): Add m4a, -mrtp and
1320 -mrtp/-fPIC multilibs.
1321 (MULTILIB_EXCEPTIONS): Generalize globs accordingly.
1322 (MULTILIB_MATCHES, EXTRA_MULTILIB_PARTS): Define.
1323 (MULTILIB_OSDIRNAMES): Delete.
1325 2007-04-25 Anatoly Sokolov <aesok@post.ru>
1328 * config/avr/avr.h (ASM_OUTPUT_ALIGN): Redefine.
1330 2007-04-24 Brooks Moses <brooks.moses@codesourcery.com>
1332 * real.c (mpfr_from_real): Handle Inf and NaN, and allow the
1333 rounding mode to be specified by the caller.
1334 (real_to_mpfr) Likewise.
1335 * real.h: Update mpfr_from_real, mpfr_to_real prototypes to
1336 include new arguments.
1337 * builtins.c: Update mpfr_from_real, mpfr_to_real calls.
1339 2007-04-24 Ian Lance Taylor <iant@google.com>
1341 PR tree-optimization/31605
1342 * tree-vrp.c (set_value_range): Check that min and max are not
1343 both overflow infinities.
1344 (set_value_range_to_value): New static function.
1345 (extract_range_from_binary_expr): Call set_value_range_to_value.
1346 (extract_range_from_cond_expr): Likewise.
1347 (extract_range_from_expr): Likewise.
1348 (extract_range_from_unary_expr): Likewise. Don't create a range
1349 which overflows on both sides.
1350 (vrp_meet): Check for a useless range.
1351 (vrp_visit_phi_node): If we see a constant which looks like an
1352 overflow infinity, turn off the TREE_OVERFLOW flag.
1354 2007-04-24 Ian Lance Taylor <iant@google.com>
1356 * flow.c (elim_reg_cond): Handle a comparison of a subreg.
1358 2007-04-24 Simon Martin <simartin@users.sourceforge.net>
1361 * tree-pass.h (TDF_DIAGNOSTIC): New dump control to specify that a
1362 diagnostic message is being built.
1363 * tree-pretty-print.c (dump_generic_node): Only write the
1364 formatted text into BUFFER's stream if we are not building a
1366 * toplev.c (default_tree_printer): Pass TDF_DIAGNOSTIC to
1368 * Makefile.in (toplev.o): Depend on tree-pass.h.
1370 2007-04-24 Ian Lance Taylor <iant@google.com>
1372 PR tree-optimization/31602
1373 * tree-ssa-loop-ch.c (copy_loop_headers): Set TREE_NO_WARNING for
1374 conditionals in the copied loop header.
1375 * tree-cfg.c (fold_cond_expr_cond): Don't issue undefined overflow
1376 warnings if TREE_NO_WARNING is set.
1377 * doc/invoke.texi (Warning Options): Clarify that
1378 -Wstrict-overflow does not warn about loops.
1380 2007-04-24 Janis Johnson <janis187@us.ibm.com>
1382 * config/rs6000/rs6000.c (function_arg_advance): For 32-bit ELF ABI,
1383 expand on the comment about _Decimal128 arguments and check the
1384 integer result of the modulus operation; for 64-bit ELF ABI, ensure
1385 that _Decimal128 argument uses even/odd register pair.
1386 (function_arg): Ditto.
1388 2007-04-24 Hui-May Chang <hm.chang@apple.com>
1390 * reload1.c (merge_assigned_reloads) : Do not merge a RELOAD_OTHER
1391 instruction with a RELOAD_FOR_OPERAND_ADDRESS instruction.
1393 2007-04-24 Richard Guenther <rguenther@suse.de>
1394 Olga Golovanevsky <olga@il.ibm.com>
1396 * fold-const.c (multiple_of_p): Check for bottom
1399 2007-04-24 Richard Henderson <rth@redhat.com>
1401 * libgcc2.h (AVOID_FP_TYPE_CONVERSION): Rename from
1402 IS_IBM_EXTENDED. Also define in terms of WIDEST_HARDWARE_FP_SIZE.
1403 * libgcc2.c (__floatdisf): Avoid double-word arithmetic when
1404 looking for non-zero bits shifted out. Avoid a recursive call
1405 when constructing the scalar.
1406 (__floatundisf): Likewise.
1408 2007-04-24 Nathan Froyd <froydnj@codesourcery.com>
1410 * dwarf2out.c (field_byte_offset): Move the existing logic
1411 under the control of PCC_BITFIELD_TYPE_MATTERS and just use
1412 the bit offset of the field if !PCC_BITFIELD_TYPE_MATTERS.
1414 2007-04-24 Andreas Krebbel <krebbel1@de.ibm.com>
1417 * config/s390/s390.c (s390_expand_setmem): Don't ICE for constant length
1418 argument of 0 for memset.
1419 (s390_expand_movmem, s390_expand_setmem, s390_expand_cmpmem): Use
1420 unsigned shift instead of the signed variant.
1422 2007-04-24 Andreas Krebbel <krebbel1@de.ibm.com>
1424 * config/s390/s390.md ("*cmp<mode>_ccs_0_ibm", "*cmp<mode>_ccs_ibm",
1425 "fix_trunc<BFP:mode><GPR:mode>2_ieee", "fix_truncdfsi2_ibm",
1426 "floatsidf2_ibm", "floatsisf2", "truncdfsf2_ieee", "truncdfsf2_ibm",
1427 "*trunctfdf2_ieee", "*trunctfdf2_ibm", "*trunctfsf2_ieee",
1428 "*trunctfsf2_ibm", "extendsfdf2_ieee", "extendsfdf2_ibm",
1429 "*extenddftf2_ieee", "*extenddftf2_ibm", "*extendsftf2_ieee",
1430 "*extendsftf2_ibm", "*add<mode>3", "*add<mode>3_ibm", "*sub<mode>3_ibm",
1431 "*mul<mode>3", "*mul<mode>3_ibm", "*div<mode>3", "*div<mode>3_ibm",
1432 "*neg<mode>2_ibm", "*abs<mode>2_ibm"): Insn definitions removed.
1433 ("fix_trunc<BFP:mode><GPR:mode>2_bfp", "floatsi<mode>2",
1434 "truncdfsf2", "trunctf<mode>2", "add<mode>3", "sub<mode>3",
1435 "mul<mode>3", "div<mode>3"): Insn definitions added.
1436 ("fixuns_trunc<BFP:mode><GPR:mode>2", "fix_trunc<mode>di2",
1437 "fix_trunc<mode>si2"): gen_fix_trunc<BFP:mode><GPR:mode>2_ieee renamed
1438 to gen_fix_trunc<BFP:mode><GPR:mode>2_bfp.
1439 ("fix_truncdfsi2", "floatsitf2", "truncdfsf2", "trunctfdf2",
1440 "trunctfsf2", "extendsfdf2", "extenddftf2", "extendsftf2", "add<mode>3",
1441 "sub<mode>3", "mul<mode>3", "div<mode>3"): Expander removed.
1442 ("fix_trunc<mode>si2", "extend<DSF:mode><BFP:mode>2"): Expander added.
1443 * config/s390/s390.h (TARGET_IBM_FLOAT, TARGET_IEEE_FLOAT,
1444 TARGET_FLOAT_FORMAT): Macro definitions removed.
1445 (FP_REGNO_P): No special case for !TARGET_IEEE_FLOAT anymore.
1446 * config/s390/s390.c (struct processor_costs, z900_cost, z990_cost,
1447 z9_109_cost): Remove fields for hexfloat instructions: dxr, ddr and der.
1448 (s390_rtx_costs): Remove !TARGET_IEEE_FLOAT special branches.
1449 (s390_gen_rtx_const_DI): Function removed.
1450 * config/s390/s390-protos.h (s390_gen_rtx_const_DI): Prototype removed.
1452 2007-04-24 Richard Sandiford <richard@codesourcery.com>
1454 * optabs.c (set_conv_libfunc): Prefer libgcc2's __ffsMM2 functions
1455 over an external ffs function.
1457 2007-04-24 Chao-ying Fu <fu@mips.com>
1458 Richard Sandiford <richard@nildram.co.uk>
1460 * doc/md.texi (madd@var{m}@var{n}4, umadd@var{m}@var{n}4): Document.
1461 * optabs.h (OTI_smadd_widen, OTI_umadd_widen): New optab_indexes.
1462 (smadd_widen_optab, umadd_widen_optab): Define.
1463 * optabs.c (init_optabs): Initialize smadd_widen_optab and
1465 * genopinit.c (optabs): Fill in smadd_widen_optab and
1467 * expr.c (expand_expr_real_1): Try to use smadd_widen_optab
1468 and umadd_widen_optab to implement multiply-add sequences.
1469 * config/mips/mips.md (*<su>mul_acc_di): Rename to...
1470 (<u>maddsidi4): ...this. Extend condition to include
1471 GENERATE_MADD_MSUB and TARGET_DSPR2. Change the constraint
1472 of operand 0 to "ka" and use the three-operand form of madd<u>
1474 * config/mips/mips-dspr2.md (mips_madd, mips_maddu): Convert
1476 * config/mips/constraints.md (ka): New register constraint.
1478 2007-04-24 Jan Hubicka <j@suse.cz>
1482 2007-04-23 Jan Hubicka <jh@suse.cz>
1483 * function.c (init_function_start): Don't init line number info.
1484 (expand_function_end): Update.
1485 (reset_block_changes, record_block_change, finalize_block_changes,
1486 check_block_change, free_block_changes): Kill.
1487 * function.h (reset_block_changes, record_block_change,
1488 finalize_block_changes, check_block_change, free_block_changes): Remove
1490 (struct function): Remove ib_boundaries_block.
1491 * emit-rtl.c (make_insn_raw, make_jump_insn_raw, make_call_insn_raw):
1492 Use curr_insn_locator to initialize locator.
1493 (emit_line_note): Remove.
1494 * cfgexpand.c (expand_gimple_cond_expr): Update.
1495 (construct_exit_block): Likewise.
1496 (tree_expand_cfg): Initialize/finalize locators.
1497 * expr.c (expand_expr_real): Update.
1498 * cfglayout.c (line_locators_locs, line_locators_lines,
1499 file_locators_locs, file_locators_files): Remove.
1500 (set_block_levels): Move to cfgexpand.c.
1501 (insn_locators_initialize): Remove.
1502 (pass_insn_locators_initialize): Remove.
1503 (locations_locators_locs, locations_locators_vals): New static vars.
1504 (curr_location, last_location, curr_block, last_block, curr_rtl_loc):
1506 (insn_locators_alloc, insn_locators_finalize,
1507 set_curr_insn_source_location, set_curr_insn_block, curr_insn_locator):
1509 (locator_location): New.
1510 (locator_line, locator_file): Rewrite.
1511 * rtl.h (emit_line_note): Kill.
1512 (insn_locators_alloc, insn_locators_finalize,
1513 set_curr_insn_source_location, set_curr_insn_block, curr_insn_locator):
1515 * tree-inline.c (initialize_cfun): Do not initialize
1516 ib_boundaries_block.
1517 * passes.c (pass_insn_locators_initialize): Remove.
1519 2007-04-24 Daniel Franke <franke.daniel@gmail.com>
1521 * doc/invoke.texi: Removed leading '-' from option index entries.
1523 2007-04-23 Zdenek Dvorak <dvorakz@suse.cz>
1525 * tree-phinodes.c (reserve_phi_args_for_new_edge, remove_phi_node):
1527 (create_phi_node): Use set_phi_nodes.
1528 * omp-low.c (expand_omp_parallel): Use bb_stmt_list.
1529 * tree-if-conv.c (process_phi_nodes): Use set_phi_nodes.
1530 (combine_blocks): Use bb_stmt_list and set_bb_stmt_list.
1531 * tree-flow-inline.h (phi_nodes, set_phi_nodes,
1532 (bsi_start, bsi_last): Use bb_stmt_list.
1533 (phi_nodes_ptr, bb_stmt_list, set_bb_stmt_list): New functions.
1534 * cfgexpand.c (expand_gimple_basic_block): Use bb_stmt_list.
1535 Traverse the statements using tsi iterator.
1536 * basic-block.h (struct basic_block_def): Fields stmt_list
1537 and phi_nodes moved to ...
1538 (struct tree_bb_info): ... new structure.
1539 * tree-cfg.c (create_bb): Allocate il.tree. Use set_bb_stmt_list.
1540 (tree_merge_blocks): Use bb_stmt_list and set_bb_stmt_list.
1541 (remove_bb): Handle blocks with NULL stmt list. Clear il.tree field.
1542 (tree_verify_flow_info): Verify that il.tree is not set for
1543 entry and exit block.
1544 (tree_split_block): Use set_bb_stmt_list.
1546 2007-04-23 Mike Stump <mrs@apple.com>
1548 * config/i386/i386.c (ix86_tune_features
1549 [X86_TUNE_DEEP_BRANCH_PREDICTION]: Prefer call over thunks on
1552 2007-04-23 H.J. Lu <hongjiu.lu@intel.com>
1554 * config/i386/i386.md (prefix_extra): New attribute.
1555 (length): Add prefix_extra.
1557 * onfig/i386/sse.md (sse2_movdqu): Set prefix_data16.
1558 (sse2_movntv2di): Likewise.
1559 (sse2_cvtps2dq): Likewise.
1560 (sse2_cvtpd2pi): Likewise.
1561 (sse2_cvttpd2pi): Likewise.
1562 (*sse2_cvtpd2ps): Likewise.
1563 (*add<mode>3): Likewise.
1564 (sse2_ssadd<mode>3): Likewise.
1565 (sse2_usadd<mode>3): Likewise.
1566 (*sub<mode>3): Likewise.
1567 (sse2_sssub<mode>3): Likewise.
1568 (sse2_ussub<mode>3): Likewise.
1569 (*mulv8hi3): Likewise.
1570 (*smulv8hi3_highpart): Likewise.
1571 (*umulv8hi3_highpart): Likewise.
1572 (sse2_umulv2siv2di3): Likewise.
1573 (sse2_pmaddwd): Likewise.
1574 (ashr<mode>3): Likewise.
1575 (lshr<mode>3): Likewise.
1576 (ashl<mode>3): Likewise.
1577 (sse2_ashlti3): Likewise.
1578 (sse2_lshrti3): Likewise.
1579 (*umaxv16qi3): Likewise.
1580 (*smaxv8hi3): Likewise.
1581 (*uminv16qi3): Likewise.
1582 (*sminv8hi3): Likewise.
1583 (sse2_eq<mode>3): Likewise.
1584 (sse2_gt<mode>3): Likewise.
1585 (*and<mode>3): Likewise.
1586 (sse2_nand<mode>3): Likewise.
1587 (*ior<mode>3): Likewise.
1588 (*xor<mode>3): Likewise.
1589 (sse2_packsswb): Likewise.
1590 (sse2_packssdw): Likewise.
1591 (sse2_packuswb): Likewise.
1592 (sse2_punpckhbw): Likewise.
1593 (sse2_punpcklbw): Likewise.
1594 (sse2_punpckhwd): Likewise.
1595 (sse2_punpcklwd): Likewise.
1596 (sse2_punpckhdq): Likewise.
1597 (sse2_punpckldq): Likewise.
1598 (sse2_punpckhqdq): Likewise.
1599 (sse2_punpcklqdq): Likewise.
1600 (*sse2_pinsrw): Likewise.
1601 (*sse2_pextrw): Likewise.
1602 (sse2_pshufd_1): Likewise.
1603 (sse2_uavgv16qi3): Likewise.
1604 (sse2_uavgv8hi3): Likewise.
1605 (sse2_psadbw): Likewise.
1606 (sse2_pmovmskb): Likewise.
1607 (*sse2_maskmovdqu): Likewise.
1608 (*sse2_maskmovdqu_rex64): Likewise.
1609 (sse4a_extrqi): Likewise.
1610 (sse4a_extrq): Likewise.
1611 (sse3_lddqu): Set prefix_rep.
1612 (sse3_addsubv4sf3): Likewise.
1613 (sse3_haddv4sf3): Likewise.
1614 (sse3_hsubv4sf3): Likewise.
1615 (sse_cvtss2si): Likewise.
1616 (sse_cvtss2si_2): Likewise.
1617 (sse_cvtss2siq): Likewise.
1618 (sse_cvtss2siq_2): Likewise.
1619 (sse_cvttss2si): Likewise.
1620 (sse_cvttss2siq): Likewise.
1621 (sse2_cvttps2dq): Likewise.
1622 (sse3_movshdup): Likewise.
1623 (sse3_movsldup): Likewise.
1624 (sse2_cvtsd2si): Likewise.
1625 (sse2_cvtsd2si_2): Likewise.
1626 (sse2_cvtsd2siq): Likewise.
1627 (sse2_cvtsd2siq_2): Likewise.
1628 (sse2_cvttsd2si): Likewise.
1629 (sse2_cvttsd2siq): Likewise.
1630 (*sse2_cvtpd2dq): Likewise.
1631 (*sse2_cvttpd2dq): Likewise.
1632 (sse2_pshuflw_1): Likewise.
1633 (sse2_pshufhw_1): Likewise.
1634 (sse4a_insertqi): Likewise.
1635 (sse4a_insertq): Likewise.
1636 (ssse3_phaddwv8hi3): Set prefix_data16 and prefix_extra.
1637 (ssse3_phadddv4si3): Likewise.
1638 (ssse3_phaddswv8hi3): Likewise.
1639 (ssse3_phsubwv8hi3): Likewise.
1640 (ssse3_phsubdv4si3): Likewise.
1641 (ssse3_phsubswv8hi3): Likewise.
1642 (ssse3_pmaddubswv8hi3): Likewise.
1643 (ssse3_pmulhrswv8hi3): Likewise.
1644 (ssse3_pshufbv16qi3): Likewise.
1645 (ssse3_psign<mode>3): Likewise.
1646 (ssse3_palignrti): Likewise.
1647 (abs<mode>2): Likewise.
1648 (ssse3_phaddwv4hi3): Set prefix_extra.
1649 (ssse3_phadddv2si3): Likewise.
1650 (ssse3_phaddswv4hi3): Likewise.
1651 (ssse3_phsubwv4hi3): Likewise.
1652 (ssse3_phsubdv2si3): Likewise.
1653 (ssse3_phsubswv4hi3): Likewise.
1654 (ssse3_pmaddubswv4hi3): Likewise.
1655 (ssse3_pmulhrswv4hi3): Likewise.
1656 (ssse3_pshufbv8qi3): Likewise.
1657 (ssse3_psign<mode>3): Likewise.
1658 (ssse3_palignrdi): Likewise.
1659 (abs<mode>2): Likewise.
1660 (sse2_cvtdq2ps): Set mode to V4SF instead of V2DF.
1661 (*vec_dupv2df): Set mode to V2DF instead of V4SF.
1662 (sse2_pmovmskb): Set mode to SI instead of V2DF.
1664 2007-04-23 Nick Clifton <nickc@redhat.com>
1666 * params.def: Fix formatting of emacs local variables.
1668 2007-04-23 H.J. Lu <hongjiu.lu@intel.com>
1670 * config/i386/sse.md (sse2_stored): Don't split to inter-unit
1671 move if inter-unit move isn't allowed.
1672 Don't split moving the first element of V2DI to DI to inter-unit
1673 move if inter-unit move isn't allowed.
1675 2007-04-23 Richard Guenther <rguenther@suse.de>
1677 * tree-ssa-sink.c (execute_sink_code): Calculate CDI_DOMINATORS
1678 and CDI_POST_DOMINATORS separately.
1680 2007-04-23 Nick Clifton <nickc@redhat.com>
1682 * c.opt (Wformat-contains-nul): Add warning attribute.
1684 2007-04-23 Jan Hubicka <jh@suse.cz>
1686 * function.c (init_function_start): Don't init line number info.
1687 (expand_function_end): Update.
1688 (reset_block_changes, record_block_change, finalize_block_changes,
1689 check_block_change, free_block_changes): Kill.
1690 * function.h (reset_block_changes, record_block_change,
1691 finalize_block_changes, check_block_change, free_block_changes): Remove
1693 (struct function): Remove ib_boundaries_block.
1694 * emit-rtl.c (make_insn_raw, make_jump_insn_raw, make_call_insn_raw):
1695 Use curr_insn_locator to initialize locator.
1696 (emit_line_note): Remove.
1697 * cfgexpand.c (expand_gimple_cond_expr): Update.
1698 (construct_exit_block): Likewise.
1699 (tree_expand_cfg): Initialize/finalize locators.
1700 * expr.c (expand_expr_real): Update.
1701 * cfglayout.c (line_locators_locs, line_locators_lines,
1702 file_locators_locs, file_locators_files): Remove.
1703 (set_block_levels): Move to cfgexpand.c.
1704 (insn_locators_initialize): Remove.
1705 (pass_insn_locators_initialize): Remove.
1706 (locations_locators_locs, locations_locators_vals): New static vars.
1707 (curr_location, last_location, curr_block, last_block, curr_rtl_loc):
1709 (insn_locators_alloc, insn_locators_finalize,
1710 set_curr_insn_source_location, set_curr_insn_block, curr_insn_locator):
1712 (locator_location): New.
1713 (locator_line, locator_file): Rewrite.
1714 * rtl.h (emit_line_note): Kill.
1715 (insn_locators_alloc, insn_locators_finalize,
1716 set_curr_insn_source_location, set_curr_insn_block, curr_insn_locator):
1718 * tree-inline.c (initialize_cfun): Do not initialize
1719 ib_boundaries_block.
1720 * passes.c (pass_insn_locators_initialize): Remove.
1722 2007-04-22 Andrew Pinski <andrew_pinski@playstation.sony.com>
1725 * expr.c (reduce_to_bit_field_precision): Handle
1728 2007-04-22 Uros Bizjak <ubizjak@gmail.com>
1730 PR tree-optimization/24659
1731 * optabs.h (enum optab_index) [OTI_vec_unpacks_hi,
1732 OTI_vec_unpacks_lo]: Update comment to mention floating point operands.
1733 (vec_pack_trunc_optab): Rename from vec_pack_mod_optab.
1734 * genopinit.c (optabs): Rename vec_pack_mod_optab
1735 to vec_pack_trunc_optab.
1736 * tree-vect-transform.c (vectorizable_type_demotion): Do not fail
1737 early for scalar floating point operands for NOP_EXPR.
1738 (vectorizable_type_promotion): Ditto.
1739 * optabs.c (optab_for_tree_code) [VEC_PACK_TRUNC_EXPR]: Return
1740 vec_pack_trunc_optab.
1741 (expand_binop): Rename vec_float_trunc_optab to vec_pack_mod_optab.
1743 * tree.def (VEC_PACK_TRUNC_EXPR): Rename from VEC_PACK_MOD_EXPR.
1744 * tree-pretty-print.c (dump_generic_node) [VEC_PACK_TRUNC_EXPR]:
1745 Rename from VEC_PACK_MOD_EXPR.
1746 (op_prio) [VEC_PACK_TRUNC_EXPR]: Ditto.
1747 * expr.c (expand_expr_real_1): Ditto.
1748 * tree-inline.c (estimate_num_insns_1): Ditto.
1749 * tree-vect-generic.c (expand_vector_operations_1): Ditto.
1751 * config/i386/sse.md (vec_unpacks_hi_v4sf): New expander.
1752 (vec_unpacks_lo_v4sf): Ditto.
1753 (vec_pack_trunc_v2df): Ditto.
1754 (vec_pack_trunc_v8hi): Rename from vec_pack_mod_v8hi.
1755 (vec_pack_trunc_v4si): Rename from vec_pack_mod_v4si.
1756 (vec_pack_trunc_v2di): Rename from vec_pack_mod_v2di.
1758 * config/rs6000/altivec.md (vec_pack_trunc_v8hi): Rename from
1760 (vec_pack_trunc_v4si): Rename from vec_pack_mod_v4si.
1762 * doc/c-tree.texi (Expression trees) [VEC_PACK_TRUNC_EXPR]:
1763 Rename from VEC_PACK_MOD_EXPR. This expression also represent
1764 packing of floating point operands.
1765 [VEC_UNPACK_HI_EXPR, VEC_UNPACK_LO_EXPR]: These expression also
1766 represent unpacking of floating point operands.
1767 * doc/md.texi (Standard Names) [vec_pack_trunc]: Update documentation.
1768 [vec_unpacks_hi]: Ditto.
1769 [vec_unpacks_lo]: Ditto.
1771 2007-04-22 Jan Hubicka <jh@suse.cz>
1773 * final.c (rest_of_handle_final): Call
1774 targetm.asm_out.constructor/targetm.asm_out.destructor
1775 * cgraphunit.c (cgraph_build_static_cdtor): Don't do it here; set
1776 proper priority via decl_*_priority_insert.
1777 * c-common.c (c_expand_body): Likewise.
1779 2007-04-22 Richard Guenther <rguenther@suse.de>
1781 PR tree-optimization/29789
1782 * tree-ssa-loop-im.c (stmt_cost): Adjust cost of shifts.
1783 (rewrite_reciprocal): New helper split out from
1784 determine_invariantness_stmt.
1785 (rewrite_bittest): Likewise.
1786 (determine_invariantness_stmt): Rewrite (A >> B) & 1 to
1787 A & (1 << B) if (1 << B) is loop invariant but (A >> B)
1790 2007-04-22 Revital Eres <eres@il.ibm.com>
1792 * loop-unroll.c (var_to_expand): New field to support also
1793 insns of the form x = something + x.
1794 (analyze_insn_to_expand_var): Use it.
1795 (expand_var_during_unrolling): Likewise.
1797 2007-04-21 Zdenek Dvorak <dvorakz@suse.cz>
1799 * predict.c: Include pointer-set.h.
1800 (bb_predictions): New variable.
1801 (tree_predicted_by_p, tree_predict_edge,
1802 remove_predictions_associated_with_edge): Use bb_predictions map
1803 instead of bb->predictions.
1804 (clear_bb_predictions, assert_is_empty): New functions.
1805 (combine_predictions_for_bb): Use bb_predictions map. Call
1806 clear_bb_predictions.
1807 (tree_estimate_probability): Create and free bb_predictions map.
1808 * Makefile.in (predict.o): Add pointer-set.h dependency.
1809 * basic-block.h (struct basic_block_def): Remove predictions
1811 * cfgrtl.c (rtl_verify_flow_info_1): Do not check bb->predictions.
1813 2007-04-21 Kaz Kojima <kkojima@gcc.gnu.org>
1816 * config/sh/sh.md (length): Check if prev_nonnote_insn (insn)
1819 2007-04-21 Andrew Pinski <andrew_pinski@playstation.sony.com>
1821 * timevar.c (timevar_print): Change reference of --disable-checking to
1822 --enable-checking=release. Also warn if assert checking is disabled.
1824 2007-04-21 Andrew Pinski <andrew_pinski@playstation.sony.com>
1827 * c-gimplifier.c (gimplify_compound_literal_expr): Mark the
1828 decl as addressable if the compound literal was marked as
1830 Mark the decl as a gimple register if it is a complex or
1831 vector decl and does not live in memory.
1833 2007-04-21 Andrew Pinski <andrew_pinski@playstation.sony.com>
1835 * tree.h (GIMPLE_TUPLE_P): Also true for PHI_NODEs.
1836 (GENERIC_NEXT): New function macro.
1837 (PHI_CHAIN): Use phi_node's new chain variable.
1838 (tree_phi_node): Change tree_common to tree_base
1839 and add the chain field.
1840 * tree-phinodes.c (make_phi_node): Don't set
1841 TREE_TYPE on the new node.
1842 * c-decl.c (lang_tree_node): Use GENERIC_NEXT
1843 instead of checking GIMPLE_TUPLE_P in chain_next.
1844 * tree-vect-transform.c
1845 (get_initial_def_for_induction): Look at
1846 PHI_RESULT_TREE for the type of the phi node.
1847 (update_vuses_to_preheader): Use PHI_CHAIN
1848 instead of TREE_CHAIN on the phi node.
1849 * tree-ssa-structalias.c (compute_points_to_sets):
1851 (ipa_pta_execute): Likewise.
1853 2007-04-21 Richard Guenther <rguenther@suse.de>
1856 * fold-const.c (fold_unary): Call fold_convert_const on the
1859 2007-04-21 Alexandre Oliva <aoliva@redhat.com>
1861 * gcse.c (store_killed_in_insn): Handle PARALLELs.
1862 (store_killed_in_pat): New.
1864 2007-04-20 Richard Henderson <rth@redhat.com>
1867 * config/i386/i386.c (type_has_variadic_args_p): Look for any
1868 TREE_LIST with a void_type_node value, not void_list_node exactly.
1870 2007-04-21 Douglas Gregor <doug.gregor@gmail.com>
1872 * doc/standards.texi: Re-arrange into language-specific
1873 subsections. Add a C++ section, documenting which standards we
1876 2007-04-21 Zdenek Dvorak <dvorakz@suse.cz>
1878 * tree-ssa-structalias.c (delete_points_to_sets): Free graph->complex.
1879 * tree-ssa-operands.c (finalize_ssa_vuse_ops): Free new_ops.
1881 2007-04-20 Daniel Jacobowitz <dan@codesourcery.com>
1883 * config/rs6000/sysv4.h (STARTFILE_DEFAULT_SPEC): Include
1884 ecrti.o and crtbegin.o.
1885 (LIB_DEFAULT_SPEC): Include -lc.
1886 (ENDFILE_DEFAULT_SPEC): Include crtend.o and ecrtn.o.
1888 2007-04-20 Richard Henderson <rth@redhat.com>
1891 * config/alpha/alpha.c (get_unaligned_address): Remove extra_offset
1892 argument; update all callers.
1893 (get_unaligned_offset): New.
1894 * config/alpha/alpha.md (extendqidi2, extendhidi2): Don't use
1895 get_unaligned_address, just pass on the address directly.
1896 (unaligned_extendqidi): Use gen_lowpart instead of open-coding
1897 the subreg in the helper patterns.
1898 (unaligned_extendqidi_le): Use get_unaligned_offset.
1899 (unaligned_extendqidi_be, unaligned_extendhidi_le): Likewise.
1900 (unaligned_extendhidi_be): Likewise.
1901 (unaligned_extendhidi): Tidy.
1902 * config/alpha/alpha-protos.h: Update.
1904 2007-04-20 Richard Henderson <rth@redhat.com>
1906 * config/alpha/alpha.h (CPP_SPEC, CPP_SUBTARGET_SPEC): Remove.
1907 (EXTRA_SPECS, SUBTARGET_EXTRA_SPECS): Remove.
1908 * config/alpha/linux.h (CPP_SPEC): Undef before redefine.
1909 * config/alpha/linux-elf.h (EXTRA_SPECS): Rename SUBTARGET_EXTRA_SPECS.
1910 * config/alpha/freebsd.h (EXTRA_SPECS): Rename SUBTARGET_EXTRA_SPECS.
1911 (CPP_SPEC): Don't include %(cpp_subtarget).
1912 * config/alpha/netbsd.h (CPP_SPEC): Rename CPP_SUBTARGET_SPEC.
1913 (EXTRA_SPECS): Rename SUBTARGET_EXTRA_SPECS.
1914 * config/alpha/osf.h (CPP_SPEC, EXTRA_SPECS): Similarly.
1916 2007-04-20 Jakub Jelinek <jakub@redhat.com>
1918 * config/i386/i386.c (bdesc_2arg): Use ORDERED rather than UNORDERED
1919 for __builtin_ia32_cmpordss.
1921 PR tree-optimization/31632
1922 * fold-const.c (fold_binary): Use op0 and op1 instead of arg0
1923 and arg1 for optimizations of comparison against min/max values.
1924 Fold arg0 to arg1's type for optimizations of comparison against
1925 min+1 and max-1 values.
1927 2007-04-19 Bernd Schmidt <bernd.schmidt@analog.com>
1929 * reload.c (combine_reloads): When trying to use a dying register,
1930 check whether it's uninitialized and don't use if so.
1932 2007-04-19 Brooks Moses <brooks.moses@codesourcery.com>
1934 * fold-const.c: Remove prototypes for native_encode_expr and
1935 native_interpret_expr.
1936 (native_encode_expr): Make non-static.
1937 (native_interpret_expr): Likewise.
1938 * tree.h: Add prototypes for the above.
1940 2007-04-19 Joseph Myers <joseph@codesourcery.com>
1942 * config/rs6000/spe.md (*frob_tf_ti, *frob_ti_tf, *frob_ti_tf_2,
1943 *mov_si<mode>_e500_subreg0, *mov_si<mode>_e500_subreg0_2,
1944 *mov_sitf_e500_subreg8, *mov_sitf_e500_subreg8_2, spe_extenddftf2,
1945 spe_fix_trunctfsi2_internal, spe_negtf2_internal, cmptfeq_gpr,
1946 tsttfeq_gpr, cmptfgt_gpr, tsttfgt_gpr, cmptflt_gpr, tsttflt_gpr):
1947 Add length attributes.
1949 2007-04-19 Janis Johnson <janis187@us.ibm.com>
1951 * ginclude/float.h: Check that __STDC_WANT_DEC_FP__ is defined,
1954 * c-cppbuiltin.c (c_cpp_builtins): Remove definition of
1955 __STDC_WANT_DEC_FP__.
1957 2007-04-19 Joseph Myers <joseph@codesourcery.com>
1959 * configure.ac: Allow both powerpc*-*-linux* and powerpc*-*-gnu*
1960 for long double compatibility.
1961 * configure: Regenerate.
1963 2007-04-19 Eric Botcazou <ebotcazou@libertysurf.fr>
1965 PR rtl-optimization/29841
1966 * cfgbuild.c (control_flow_insn_p): Return TRUE for unconditional
1968 * sched-deps.c (sched_analyze_insn): Prevent all non-jump instructions
1969 that may cause control flow transfer from being moved.
1971 2007-04-18 Jan Hubicka <jh@suse.cz>
1973 * fold-const.c (div_if_zero_remainder): Do signed divide for pointer
1976 2007-04-18 Eric Christopher <echristo@apple.com>
1978 * config/rs6000/darwin.md (load_macho_picbase): Use link register
1979 only. Update operands.
1980 * config/rs6000/rs6000.c (rs6000_emit_prologue): Update caller.
1981 * config/rs6000/rs6000.md (builtin_setjmp_receiver): Ditto. Move from
1982 link register to pic register.
1984 2007-04-18 Dirk Mueller <dmueller@suse.de>
1987 * tree-vrp.c (search_for_addr_array): New.
1988 (check_array_bounds): Suppress warning about
1989 address taken of array refs if its not de-referenced.
1991 2007-04-18 Dorit Nuzman <dorit@il.ibm.com>
1993 * tree-vectorizer.c (destroy_loop_vec_info): Set loop->aux to NULL.
1994 * tree-vect-analyze.c (vect_analyze_loop_form): Set loop->aux.
1996 * tree-vectorizer.h (NITERS_KNOWN_P): New.
1997 * tree-vect-analyze.c (vect_analyze_loop_form): Call NITERS_KNOWN_P
1998 instead of LOOP_VINFO_INT_NITERS to avoid having to geneate loop_info.
2000 * tree-vect-analyze.c (vect_determine_vectorization_factor): Add
2002 (vect_analyze_operations): Fix indenetation. Fix a comment. Fix a
2004 (vect_analyze_scalar_cycles): Fix indentation.
2005 (vect_enhance_data_refs_alignment): Fix check in case of peeling.
2006 (vect_mark_relevant): Include phis in relevance analysis.
2008 * tree-vect-transform.c (vect_transform_loop): Add an assert.
2010 2007-04-18 Anatoly Sokolov <aesok@post.ru>
2012 * config/avr/avr.c (ptrreg_to_str): Replace error() with
2013 output_operand_lossage().
2015 2007-04-18 Dorit Nuzman <dorit@il.ibm.com>
2017 * tree-vect-transform.c (get_initial_def_for_reduction): Clean away
2018 the unused code for reduction without adjust-in-epilog to simplify the
2021 2007-04-18 Wolfgang Gellerich <gellerich@de.ibm.com>
2023 * config/s390/s390.h (S390_TDC_POSITIVE_ZERO): New constant.
2024 (S390_TDC_NEGATIVE_ZERO): New constant.
2025 (S390_TDC_POSITIVE_NORMALIZED_NUMBER): New constant.
2026 (S390_TDC_NEGATIVE_NORMALIZED_NUMBER): New constant.
2027 (S390_TDC_POSITIVE_DENORMALIZED_NUMBER): New constant.
2028 (S390_TDC_NEGATIVE_DENORMALIZED_NUMBER): New constant.
2029 (S390_TDC_POSITIVE_INFINITY): New constant.
2030 (S390_TDC_NEGATIVE_INFINITY): New constant.
2031 (S390_TDC_POSITIVE_QUIET_NAN): New constant.
2032 (S390_TDC_NEGATIVE_QUIET_NAN): New constant.
2033 (S390_TDC_POSITIVE_SIGNALING_NAN): New constant.
2034 (S390_TDC_NEGATIVE_SIGNALING_NAN): New constant.
2035 (S390_TDC_INFINITY): New constant.
2036 * config/s390/s390.c (s390_canonicalize_comparison): Renamed
2037 UNSPEC_CMPINT to UNSPEC_CCU_TO_INT, added a UNSPEC_CCU_TO_INT-like
2038 optimization for UNSPEC_CCZ_TO_INT.
2039 * config/s390/s390.md ("*TDC_insn_<mode>"): New insn.
2040 ("*ccz_to_int"): New insn.
2041 ("isinf<mode>2"): New insn.
2042 (UNSPEC_CMPINT): Renamed to UNSPEC_CCU_TO_INT.
2043 (UNSPEC_CCU_TO_INT): New constant, replaces UNSPEC_CMPINT.
2044 (UNSPEC_CCZ_TO_INT): New constant.
2046 2007-04-18 Richard Guenther <rguenther@suse.de>
2048 PR tree-optimization/19431
2049 PR tree-optimization/21463
2050 * tree-pass.h (pass_phiprop): Declare.
2051 * passes.c (init_optimization_passes): New phiprop pass.
2052 * tree-ssa-forwprop.c (struct phiprop_d): New structure.
2053 (phivn_valid_p): New helper function.
2054 (phiprop_insert_phi): Likewise.
2055 (propagate_with_phi): Likewise.
2056 (tree_ssa_phiprop): New propagator propagating loads
2057 through phi nodes if profitable.
2059 2007-04-18 Dorit Nuzman <dorit@il.ibm.com>
2061 * tree-vect-analyze.c (process_use): New function.
2062 (vect_mark_stmts_to_be_vectorized): Factor out code to process_use.
2063 Check phis in all bbs.
2064 * tree-vectorizer.c (vect_is_simple_use): Remove a no longer relavant
2067 2007-04-18 Bernd Schmidt <bernd.schmidt@analog.com>
2069 * reload1.c (eliminte_regs_in_insn): Use REG_EQUIV notes the same way
2072 2007-04-17 Anatoly Sokolov <aesok@post.ru>
2075 * config/avr/avr.c (ptrreg_to_str): Replace gcc_unreachable() with
2078 2007-04-17 H.J. Lu <hongjiu.lu@intel.com>
2080 * config/i386/sse.md (sse_vmaddv4sf3): Use register_operand
2082 (sse_vmmulv4sf3): Likewise.
2083 (sse2_vmaddv2df3): Likewise.
2084 (sse2_vmmulv2df3): Likewise.
2086 2007-04-17 Zdenek Dvorak <dvorakz@suse.cz>
2088 PR rtl-optimization/31360
2089 * cfgloopanal.c (target_small_cost, target_pres_cost): Removed.
2090 (target_reg_cost): New.
2091 (init_set_costs): Initialize target_reg_cost. Add comments
2092 regarding the rationale of the costs.
2093 (global_cost_for_size): Renamed to...
2094 (estimate_reg_pressure_cost): ... and simplify. Decrease importance
2095 of register pressure.
2096 * tree-ssa-loop-ivopts.c (ivopts_global_cost_for_size): Use
2097 estimate_reg_pressure_cost. Add number of ivs.
2098 (determine_set_costs): Dump target_reg_cost.
2099 * loop-invariant.c (gain_for_invariant): Use
2100 estimate_reg_pressure_cost. Removed n_inv_uses argument.
2101 (best_gain_for_invariant, find_invariants_to_move): Remove
2103 * cfgloop.h (target_small_cost, target_pres_cost): Removed.
2104 (target_reg_cost): Declare.
2105 (global_cost_for_size): Declaration removed.
2106 (estimate_reg_pressure_cost): Declare.
2108 2007-04-17 Peter Bergner <bergner@vnet.ibm.com>
2110 * config/rs6000/rs6000.c (rs6000_hard_regno_mode_ok): Force TDmode
2111 regnos into even/odd register pairs.
2112 * config/rs6000/rs6000.h [SLOW_UNALIGNED_ACCESS]: Treat DDmode and
2113 TDmode similar to the other floating point modes.
2114 [SECONDARY_MEMORY_NEEDED]: Treat DDmode similar to DFmode.
2115 * config/rs6000/dfp.md (negdd2, absdd2, negtd2, abstd2): New
2117 (negdd2_fpr, absdd2_fpr, nabsdd2_fpr, negtd2_fpr, abstd2_fpr,
2118 nabstd2_fpr, movdd_hardfloat64_mfpgpr): New define_insn's.
2119 (movdd_hardfloat64): Use TARGET_MFPGPR.
2121 2007-04-17 Bernd Schmidt <bernd.schmidt@analog.com>
2123 * reload1.c (delete_output_reload): Don't count output in n_inherited.
2126 2005-01-05 Richard Henderson <rth@redhat.com>
2128 * reload1.c (do_input_reload): Restrict the optimization deleteing
2129 a previous output reload to RELOAD_FOR_INPUT.
2131 2007-04-17 Dorit Nuzman <dorit@il.ibm.com>
2133 * tree-vectorizer.h (stmt_vec_info_type): Add enum value
2134 induc_vec_info_type.
2135 (vectorizable_induction): New function declaration.
2136 * tree-vect-transform.c (get_initial_def_for_induction): No need to
2137 check if already vectorized. Find first place in BB where new stmts
2138 can be inserted. Takes only one argument.
2139 (vectorizable_induction): New function.
2140 (vect_transform_stmt): Add case for induc_vec_info_type to call
2141 vectorizable_induction.
2142 (vect_transform_loop): Consider phis for vectorization.
2143 * tree-vect-analyze.c (vect_determine_vectorization_factor): Simplify
2145 (analyze_operations): Call vectorizable_induction when analyzing phis.
2147 (vect_mark_stmts_to_be_vectorized): Remove redundant checks.
2148 (vect_mark_relevant): Include phis in relevance analysis.
2149 (vect_mark_stmts_to_be_vectorize): Likewise.
2150 * tree-vect-patterns.c (widened_name_p): Remove obsolete asserts.
2152 2007-04-16 Lawrence Crowl <crowl@google.com>
2154 * doc/invoke.texi (Debugging Options): Add documentation for the
2155 -femit-struct-debug options -femit-struct-debug-baseonly,
2156 -femit-struct-debug-reduced, and
2157 -femit-struct-debug-detailed[=...].
2159 * c-opts.c (c_common_handle_option): Add
2160 OPT_femit_struct_debug_baseonly, OPT_femit_struct_debug_reduced,
2161 and OPT_femit_struct_debug_detailed_.
2162 * c.opt: Add specifications for
2163 -femit-struct-debug-baseonly, -femit-struct-debug-reduced,
2164 and -femit-struct-debug-detailed[=...].
2165 * opts.c (set_struct_debug_option): Parse the
2166 -femit-struct-debug-... options.
2167 * opts.c (matches_main_base, main_input_basename,
2168 main_input_baselength, base_of_path, matches_main_base): Add
2169 variables and functions to compare header base name to compilation
2171 * opts.c (should_emit_struct_debug): Add to determine to emit a
2172 structure based on the option.
2173 (dump_struct_debug) Also disabled function to debug this
2175 * opts.c (handle_options): Save the base name of the
2178 * langhooks-def.h (LANG_HOOKS_GENERIC_TYPE_P): Define.
2179 (LANG_HOOKS_FOR_TYPES_INITIALIZER): Add.
2180 This hook indicates if a type is generic. Set it by default
2182 * langhooks.h (struct lang_hooks_for_types): Add a new hook
2183 to determine if a struct type is generic or not.
2184 * cp/cp-tree.h (class_tmpl_impl_spec_p): Declare a C++ hook.
2185 * cp/tree.c (class_tmpl_impl_spec_p): Implement the C++ hook.
2186 * cp/cp-lang.c (LANG_HOOKS_GENERIC_TYPE_P): Override null C hook
2189 * flags.h (enum debug_info_usage): Add an enumeration to describe
2190 a program's use of a structure type.
2191 * dwarf2out.c (gen_struct_or_union_type_die): Add a new parameter
2192 to indicate the program's usage of the type. Filter structs based
2193 on the -femit-struct-debug-... specification.
2194 (gen_type_die): Split into two routines, gen_type_die and
2195 gen_type_die_with_usage. gen_type_die is now a wrapper
2196 that assumes direct usage.
2197 (gen_type_die_with_usage): Replace calls to gen_type_die
2198 with gen_type_die_with_usage adding the program usage of
2199 the referenced type.
2200 (dwarf2out_imported_module_or_decl): Suppress struct debug
2201 information using should_emit_struct_debug when appropriate.
2203 2007-04-16 Ian Lance Taylor <iant@google.com>
2205 PR tree-optimization/31522
2206 * tree-vrp.c (vr_phi_edge_counts): New static variable.
2207 (vrp_initialize): Allocate vr_phi_edge_counts.
2208 (vrp_visit_phi_node): Don't push to infinity if we saw a new
2209 executable edge. Drop test for all constants.
2210 (vrp_finalize): Free vrp_phi_edge_counts.
2212 * doc/cpp.texi (Common Predefined Macros): Clarify description of
2213 __GNUC_GNU_INLINE__ and __GNUC_STDC_INLINE__.
2215 * tree-ssa-propagate.c (cfg_blocks_add): Insert blocks with fewer
2216 predecessors at head rather than tail.
2218 2007-04-16 Matthias Klose <doko@debian.org>
2220 * config/alpha/linux.h (CPP_SPEC): Define.
2221 * config/arm/linux-gas.h (SUBTARGET_CPP_SPEC): Extend.
2223 2007-04-16 Aldy Hernandez <aldyh@redhat.com>
2225 * function.h: Remove sequence_stack extern declaration.
2227 2007-04-16 Kazu Hirata <kazu@codesourcery.com>
2229 * config/m68k/m68k.h (LONG_DOUBLE_TYPE_SIZE): Change to 64 on
2231 (LIBGCC2_LONG_DOUBLE_TYPE_SIZE): Change to 64 if __mfido__ is
2234 2007-04-16 Anatoly Sokolov <aesok@post.ru>
2236 * config/avr/avr.c (avr_arch_types): Rearranging array.
2237 (enum avr_arch): Add.
2238 (avr_mcu_types): Use avr_arch enumeration constants instead of
2240 * config/avr/avr.h (LINK_SPEC): Simplify.
2242 2007-04-16 Kazu Hirata <kazu@codesourcery.com>
2244 * config/m68k/m68k.c (m68k_libcall_value,
2245 m68k_function_value): Use macros for register names more.
2247 * config/m68k/m68k.h (FRAME_POINTER_REGNUM): Use A6_REG
2249 (M68K_REGNAME): Use A6_REG.
2250 * config/m68k/m68k.md (FP_REG): Rename to A6_REG.
2252 2007-04-16 Maxim Kuvyrkov <mkuvyrkov@ispras.ru>
2255 * sched-int.h (struct deps): Split field 'pending_lists_length' into
2256 'pending_read_list_length' and 'pending_write_list_length'. Update
2258 * sched-deps.c (add_insn_mem_dependence): Change signature. Update
2259 to handle two length counters instead of one. Update all uses.
2260 (flush_pending_lists, sched_analyze_1, init_deps): Update to handle
2261 two length counters instead of one.
2262 * sched-rgn.c (propagate_deps): Update to handle two length counters
2265 2007-04-16 H.J. Lu <hongjiu.lu@intel.com>
2268 * config/i386/i386.c (ix86_expand_vec_set_builtin): Make a
2269 copy of source, pass it to ix86_expand_vector_set and return
2272 2007-04-16 David Ung <davidu@mips.com>
2273 Joseph Myers <joseph@codesourcery.com>
2275 * config/mips/mips.h (PROCESSOR_74KC, PROCESSOR_74KF,
2276 PROCESSOR_74KX, TUNE_74K, GENERATE_MADD_MSUB): Define.
2277 * config/mips/mips.c (mips_cpu_info_table, mips_rtx_cost_data):
2278 Add 74K processor information.
2279 * config/mips/mips.md: Include 74k.md.
2280 (cpu): Add 74kc,74kf,74kx.
2281 (ISA_HAS_MADD_MSUB): Change to GENERATE_MADD_MSUB throughout.
2282 * config/mips/74k.md: New.
2283 * doc/invoke.texi (MIPS Options): Document 74K support.
2285 2007-04-16 Dorit Nuzman <dorit@il.ibm.com>
2287 * tree-vect-analyze.c (vect_analyze_operations): Reorganize calls to
2288 vectorizable_* functions.
2289 * tree-vect-transform.c (vectorizable_call): Add check for
2290 STMT_VINFO_RELEVANT_P, STMT_VINFO_DEF_TYPE and STMT_VINFO_LIVE_P.
2291 (vectorizable_store): likewise.
2292 (vectorizable_conversion): Add check for STMT_VINFO_DEF_TYPE.
2294 (vectorizable_operation, vectorizable_type_demotion): Likewise.
2295 (vectorizable_type_promotion, vectorizable_load): Likewise.
2296 (vectorizable_live_operation, vectorizable_condition): Likewise.
2297 (vectorizable_assignment): Add check for STMT_VINFO_DEF_TYPE and
2299 (vect_transform_stmt): Reorganize calls to vectorizable_* functions.
2301 2007-04-15 Kazu Hirata <kazu@codesourcery.com>
2303 * config/m68k/linux.h (FUNCTION_VALUE_REGNO_P): Use macros for
2304 register numbers more.
2305 * config/m68k/m68k.h (STACK_POINTER_REGNUM,
2306 FRAME_POINTER_REGNUM, STATIC_CHAIN_REGNUM,
2307 M68K_STRUCT_VALUE_REGNUM, FUNCTION_VALUE, LIBCALL_VALUE,
2308 FUNCTION_VALUE_REGNO_P): Likewise.
2309 * config/m68k/m68kelf.h (M68K_STRUCT_VALUE_REGNUM,
2310 STATIC_CHAIN_REGNUM): Likewise.
2311 * config/m68k/m68kemb.h (FUNCTION_VALUE_REGNO_P): Likewise.
2312 * config/m68k/netbsd-elf.h (M68K_STRUCT_VALUE_REGNUM,
2313 STATIC_CHAIN_REGNUM, FUNCTION_VALUE_REGNO_P): Likewise.
2314 * config/m68k/m68k.md (FP_REG): New.
2316 2007-04-15 Kazu Hirata <kazu@codesourcery.com>
2318 * config/m68k/m68k.h (PREFERRED_STACK_BOUNDARY): Prefer 32-bit
2321 2007-04-15 Kazu Hirata <kazu@codesourcery.com>
2323 * config/i386/i386.c, config/s390/s390.c, config/s390/s390.md,
2324 tree-ssa-loop-niter.c, tree-ssa-structalias.c, tree-vrp.c: Fix
2327 2007-04-11 Zdenek Dvorak <dvorakz@suse.cz>
2329 * tree-ssa-loop-prefetch.c (loop_prefetch_arrays): Ignore
2332 2007-04-14 Andrew Pinski <andrew_pinski@playstation.sony.com>
2335 * c-decl.c (finish_decl): Grab the type of the decl after the call
2336 to store_init_value.
2338 2007-04-14 Steven Bosscher <steven@gcc.gnu.org>
2340 * common.opt (fforward-propagate): Fix "Optimization" annotation.
2342 2007-04-14 Jakub Jelinek <jakub@redhat.com>
2345 * omp-low.c (expand_omp_parallel): If child_cfun->cfg, free dominators,
2346 post dominators and cleanup cfg before returning.
2348 2007-04-14 Bernd Schmidt <bernd.schmidt@analog.com>
2350 * config/bfin/bfin.h (MODES_TIEABLE_P): Allow more modes to be tied.
2351 * config/bfin/bfin.md (movsi_insn): Delete two unused alternatives.
2353 2007-04-14 Kazu Hirata <kazu@codesourcery.com>
2355 * config.gcc: Recognize fido.
2356 * config/m68k/m68k-devices.def (fidoa): New.
2357 * config/m68k/m68k.h (TARGET_CPU_CPP_BUILTINS): Define
2359 (FL_FIDOA, TARGET_FIDOA): New.
2360 * config/m68k/m68k.opt (mfidoa): New.
2362 2007-04-13 John David Anglin <dave.anglin@nrc-cnrc.gc.ca>
2365 * dwarf2out.c (output_call_frame_info): Call assemble_external_libcall
2366 when a personality function is used.
2368 2007-04-13 Bob Wilson <bob.wilson@acm.org>
2370 * config/xtensa/xtensa.c (xtensa_expand_builtin): Use CALL_EXPR_FN.
2372 2007-04-13 Mike Stump <mrs@apple.com>
2374 * config/darwin-c.c (handle_c_option): Handle -fapple-kext here so
2376 * config/darwin.opt (fapple-kext): Make C++ only.
2377 * config/darwin.c (darwin_override_options): Remove code to ensure
2378 -fapple-kext is given for C++ only.
2380 2007-04-13 Richard Sandiford <richard@codesourcery.com>
2382 * config/mips/vxworks.h (SUBTARGET_OVERRIDE_OPTIONS): Define.
2383 * config/mips/mips.c (override_options): Call
2384 SUBTARGET_OVERRIDE_OPTIONS, if defined.
2386 2007-04-13 H.J. Lu <hongjiu.lu@intel.com>
2388 * config/i386/i386.opt (msvr3-shlib): Removed.
2390 * doc/invoke.texi: Remove -msvr3-shlib.
2392 2007-04-13 H.J. Lu <hongjiu.lu@intel.com>
2394 * config/i386/i386.opt (mpopcnt): Replace "popcount" instruction
2395 with "popcnt" instruction.
2397 2007-04-13 Richard Guenther <rguenther@suse.de>
2399 PR tree-optimization/21258
2400 * tree-vrp.c (compare_case_labels): New helper.
2401 (find_switch_asserts): New function.
2402 (find_assert_locations): Call it for SWITCH_EXPRs.
2404 2007-04-13 Uros Bizjak <ubizjak@gmail.com>
2406 * config/i386/i386.h (X87_FLOAT_MODE_P): Check for TARGET_80387.
2407 * config/i386/i386.md (*cmpfp0): Remove check for TARGET_80387, this
2408 check is now implied in X87_FLOAT_MODE_P.
2409 (*cmpfp_u, *cmpfp_<mode>, *cmpfp_i_i387): Ditto.
2410 (*cmpfp_iu_387, fix_trunc<mode>_fisttp_i386_1): Ditto.
2411 (fix_trunc<mode>_i386_fisttp): Ditto.
2412 (fix_trunc<mode>_i387_fisttp_with_temp): Ditto.
2413 (*fix_trunc<mode>_i387_1, fix_truncdi_i387): Ditto.
2414 (fix_truncdi_i387_with_temp, fix_trunc<mode>_i387): Ditto.
2415 (fix_trunc<mode>_i387_with_temp, *fp_jcc_1_387): Ditto.
2416 (*fp_jcc_2_387, *fp_jcc_5_387, *fp_jcc_6_387): Ditto.
2417 (*fp_jcc_7_387, *fp_jcc_8<mode>_387): Ditto.
2418 (unnamed_splitters): Ditto.
2419 * config/i386/i386.c (function_value_32): Generate FIRST_FLOAT_REG
2420 for X87_FLOAT_MODE_P mode. Override FIRST_FLOAT_REG with
2421 FIRST_SSE_REG for local functions when SSE math is enabled or
2422 for functions with sseregparm attribute.
2423 (standard_80387_constant_p): Return -1 if mode is not
2425 (ix86_cc_mode): Assert that scalar mode is not DECIMAL_FLOAT_MODE_P.
2426 (ix86_expand_compare): Ditto.
2427 (ix86_expand_carry_flag_compare): Ditto.
2428 (ix86_expand_int_movcc): Check for SCALAR_FLOAT_MODE_P instead
2429 of FLOAT_MODE_P for cmp_mode and assert that cmp_mode is not
2430 DECIMAL_FLOAT_MODE_P.
2431 (ix86_preferred_output_reload_class): Use X87_FLOAT_MODE_P instead
2432 of SCALAR_FLOAT_MODE_P.
2433 (ix86_rtx_costs) [PLUS] Remove FLOAT_MODE_P and fall through to ...
2434 [MINUS]: ... here. Add SSE_FLOAT_MODE_P and X87_FLOAT_MODE_P
2435 checks before FLOAT_MODE_P.
2436 [MULT]: Add SSE_FLOAT_MODE_P and X87_FLOAT_MODE_P checks
2437 before FLOAT_MODE_P.
2442 [FLOAT_EXTEND]: Use SSE_FLOAT_MODE_P.
2444 2007-04-12 Paolo Bonzini <bonzini@gnu.org>
2445 Charles Wilson <libtool@cwilson.fastmail.fm>
2447 * Makefile.in (stamp-as, stamp-collect-ld, stamp-nm): Remove.
2448 (libgcc.mvars): Don't depend on them.
2449 * configure.ac (as, collect-ld, nm): Create from exec-tool.in.
2450 * exec-tool.in: New.
2452 2007-04-12 Brooks Moses <brooks.moses@codesourcery.com>
2454 * doc/invoke.text (--help): Document --help=common.
2456 2007-04-12 Thomas Neumann <tneumann@users.sourceforge.net>
2458 * stub-objc.c (objc_build_keyword_decl): Avoid C++ keywords.
2460 2007-04-12 Richard Sandiford <richard@codesourcery.com>
2462 * Makefile.in (insn-emit.o): Depend on $(INTEGRATE_H).
2463 * genemit.c (main): Emit #include "integrate.h".
2464 * config/mips/mips-protos.h (SYMBOL_HALF): New mips_symbol_type.
2465 (LOADGP_RTP): New mips_loadgp_style.
2466 * config/mips/mips.h: Include config/vxworks-dummy.h.
2467 (TARGET_RTP_PIC): New macro.
2468 (TARGET_USE_GOT): Return true for TARGET_RTP_PIC.
2469 (TARGET_USE_PIC_FN_ADDR_REG): Return true for TARGET_VXWORKS_RTP.
2470 (ASM_OUTPUT_ADDR_DIFF_ELT): Emit function-relative case tables
2472 * config/mips/vxworks.h (SUBTARGET_ASM_SPEC): Define. Pass down
2473 -mvxworks-pic when using -mrtp and a PIC option.
2474 * config/mips/mips.c (mips_classify_symbol): Return SYMBOL_GOT_DISP
2476 (mips_symbolic_constant_p, mips_symbolic_address_p)
2477 (mips_symbol_insns): Handle SYMBOL_HALF.
2478 (override_options): Warn about -G and -mrtp being used together.
2479 Initialize mips_lo_relocs[SYMBOL_HALF].
2480 (mips_current_loadgp_style): Return LOADGP_RTP for RTP PIC.
2481 (mips_emit_loadgp): Handle LOADGP_RTP.
2482 (mips_in_small_data_p): Return false for TARGET_VXWORKS_RTP.
2483 * config/mips/mips.md (loadgp_rtp): New insn and splitter.
2484 (tablejump): Handle function-relative case table entries if
2486 * config/mips/predicates.md (symbol_ref_operand): New predicate.
2488 2007-04-12 Richard Sandiford <richard@codesourcery.com>
2490 * config/mips/mips.md (load_call<mode>): Allow any general register.
2492 (sibcall_value_internal, sibcall_value_multiple_internal)
2493 (call_value_internal, call_value_split, call_value_multiple_internal)
2494 (call_value_multiple_split): Remove constraints from operand 0.
2496 2007-04-12 Richard Sandiford <richard@codesourcery.com>
2498 * config/mips/mips-protos.h: In comments, refer to loadgp_absolute
2499 rather than loadgp_noshared.
2500 * config/mips/mips.c (mips_emit_loadgp): Use gen_loadgp_absolute
2501 instead of gen_loadgp_noshared. Use gen_loadgp_newabi instead of
2503 * config/mips/mips.md (loadgp): Rename to...
2504 (loadgp_newabi): ...this.
2505 (loadgp_noshared): Rename to...
2506 (loadgp_absolute): ...this.
2508 2007-04-12 Richard Sandiford <richard@codesourcery.com>
2510 * config/mips/mips.c (mips_ok_for_lazy_binding_p): Always return
2511 false for locally-binding symbols.
2512 (mips_dangerous_for_la25_p): Check mips_global_symbol_p.
2514 2007-04-12 Richard Sandiford <richard@codesourcery.com>
2516 * config/mips/mips-protos.h (SYMBOL_GOT_LOCAL): Rename to...
2517 (SYMBOL_GOT_PAGE_OFST): ...this.
2518 (SYMBOL_GOT_GLOBAL): Rename to...
2519 (SYMBOL_GOT_DISP): ...this.
2520 (SYMBOL_GOTOFF_GLOBAL): Rename to...
2521 (SYMBOL_GOTOFF_DISP): ...this. Update comments accordingly.
2522 * config/mips/mips.c (mips_global_symbol_p): New function.
2523 (mips_symbol_binds_local_p): Likewise.
2524 (mips_classify_symbol): Rename SYMBOL_GOT_GLOBAL to SYMBOL_GOT_DISP
2525 and SYMBOL_GOT_LOCAL to SYMBOL_GOT_PAGE_OFST. Use mips_global_symbol_p
2526 and mips_symbol_binds_local_p.
2527 (mips_symbolic_constant_p, mips_symbolic_address_p, mips_symbol_insns)
2528 (override_options): Rename SYMBOL_GOT_GLOBAL to SYMBOL_GOT_DISP,
2529 SYMBOL_GOT_LOCAL to SYMBOL_GOT_PAGE_OFST and SYMBOL_GOTOFF_GLOBAL to
2531 (mips_ok_for_lazy_binding_p): New function.
2532 (mips_load_call_address, mips_expand_call): Use it.
2533 (mips_dangerous_for_la25_p): Likewise.
2534 * config/mips/mips.md (*xgot_hi<mode>, *xgot_lo<mode>)
2535 (*got_disp<mode>): Use got_disp_operand instead of
2536 global_got_operand. Use SYMBOL_GOTOFF_DISP instead of
2537 SYMBOL_GOTOFF_GLOBAL.
2538 (*got_page<mode>): Use got_page_ofst_operand instead of
2540 * config/mips/predicates.md (const_call_insn_operand): Use
2541 SYMBOL_GOT_DISP instead of SYMBOL_GOT_GLOBAL.
2542 (global_got_operand): Rename to...
2543 (got_disp_operand): ...this and use SYMBOL_GOT_DISP instead of
2545 (local_got_operand): Rename to...
2546 (got_page_ofst_operand): ...this and use SYMBOL_GOT_PAGE_OFST instead
2547 of SYMBOL_GOT_LOCAL.
2549 2007-04-12 Richard Sandiford <richard@codesourcery.com>
2551 * config/mips/mips.h (TARGET_SPLIT_CALLS): Check
2552 TARGET_CALL_CLOBBERED_GP.
2553 (TARGET_SIBCALLS): Check TARGET_USE_GOT instead of TARGET_ABICALLS.
2554 (TARGET_USE_GOT, TARGET_CALL_CLOBBERED_GP): New macros.
2555 (TARGET_CALL_SAVED_GP, TARGET_USE_PIC_FN_ADDR_REG): Likewise.
2556 (STARTING_FRAME_OFFSET): Check TARGET_CALL_CLOBBERED_GP instead
2557 of TARGET_ABICALLS && !TARGET_NEWABI.
2558 (MIPS_CALL): Check TARGET_USE_GOT instead of TARGET_ABICALLS.
2559 * config/mips/mips.c (mips_load_call_address): Check
2560 TARGET_CALL_SAVED_GP instead of TARGET_NEWABI.
2561 (mips_global_pointer): Check TARGET_USE_GOT instead of TARGET_ABICALLS.
2562 Check TARGET_CALL_SAVED_GP instead of TARGET_NEWABI.
2563 (mips_save_reg_p): Check TARGET_CALL_SAVED_GP instead of
2564 TARGET_ABICALLS && TARGET_NEWABI.
2565 (mips_current_loadgp_style): Check TARGET_USE_GOT instead of
2567 (mips_expand_prologue): Check TARGET_OLDABI instead of !TARGET_NEWABI.
2568 (mips_expand_epilogue): Check TARGET_CALL_SAVED_GP instead of
2569 TARGET_ABICALLS && TARGET_NEWABI.
2570 (mips_output_mi_thunk): Check TARGET_USE_GOT instead of
2571 TARGET_ABICALLS. Check TARGET_CALL_SAVED_GP instead of
2572 TARGET_NEWABI. Use TARGET_USE_PIC_FN_ADDR_REG to decide
2573 whether indirect calls must use $25.
2574 (mips_extra_live_on_entry): Check TARGET_GOT instead of
2576 * config/mips/mips.md (jal_macro): Check flag_pic and
2577 TARGET_CALL_CLOBBERED_GP instead of TARGET_ABICALLS and TARGET_NEWABI.
2578 (builtin_setjmp_setup, builtin_longjmp): Check TARGET_USE_GOT
2579 instead of TARGET_ABICALLS.
2580 (exception_receiver): Check TARGET_CALL_CLOBBERED_GP instead of
2581 TARGET_ABICALLS && TARGET_OLDABI.
2582 (load_call<mode>): Check TARGET_USE_GOT instead of TARGET_ABICALLS.
2583 (sibcall): In the comment above the define_insn, mention
2584 TARGET_USE_PIC_FN_ADDR_REG instead of TARGET_ABICALLS.
2585 * config/mips/constraints.md (c): Check TARGET_USE_PIC_FN_ADDR_REG
2586 instead of TARGET_ABICALLS.
2588 2007-04-12 Bernd Schmidt <bernd.schmidt@analog.com>
2590 * doc/md.texi (Blackfin family constraints): Document PA and PB.
2591 * config/bfin/bfin.h (CONST_OK_FOR_P): Handle PA and PB.
2592 (MACFLAGS_MATCH_P): New macro.
2593 * config/bfin/bfin.c (print_operand): Handle MACFLAG_IS_M.
2594 (bfin_secondary_reload): Treat EVEN_AREGS and ODD_AREGS like AREGS.
2595 * config/bfin/bfin.md (MACFLAG_IS_M): New constant. Renumber some of
2596 the other MACFLAG constants.
2597 (sum_of_accumulators, lshrpdi3, ashrpdi3): New patterns.
2598 (flag_machi): Tighten constraints. Renumber some of the operands.
2599 (flag_machi_acconly): Tighten constraints. Correct operand numbers in
2601 (flag_machi_parts_acconly): New pattern.
2602 (flag_macinithi): Tighten constraints. Allow any accumulator to be
2604 (flag_macinit1hi): Tighten constraints.
2605 (flag_mul_macv2hi_parts_acconly): New pattern.
2607 * config/bfin/lib1funcs.asm (___umulsi3_highpart, __smulsi3_highpart):
2608 Use a more efficient implementation.
2609 * config/bfin/bfin.md (umulsi3_highpart, smulsi3_highpart): Emit
2610 inline sequences when not optimizing for size.
2612 * config/bfin/bfin.md (movhi_low2high, movhi_high2high, movhi_low2low,
2613 movhi_high2low): Delete, merge functionality into...
2614 (packv2hi): ... this pattern.
2616 2007-02-11 Jie Zhang <jie.zhang@analog.com>
2617 * config/bfin/bfin.opt (msim): New option.
2618 (mcpu=): New option.
2619 * config/bfin/bfin-protos.h (enum bfin_cpu): New.
2620 (bfin_cpu_t): Typedef of enum bfin_cpu.
2621 (bfin_cpu_type): New declaration.
2622 * config/bfin/elf.h (STARTFILE_SPEC): Add support for
2623 -msim and -mcpu= options.
2624 (LIB_SPEC): Likewise.
2625 * config/bfin/bfin.c (bfin_cpu_type): Define.
2626 (bfin_handle_option): Handle -mcpu= option.
2627 * config/bfin/bfin.h (DEFAULT_CPU_TYPE): Define as BFIN_CPU_BF532.
2628 (TARGET_CPU_CPP_BUILTINS): Define __ADSPBF531__, __ADSPBF532__,
2629 __ADSPBF533__ or __ADSPBF537__ according to the cpu type.
2631 2007-04-12 Richard Sandiford <richard@codesourcery.com>
2633 * config.gcc (*-*-vxworks*): Don't add to tm_files in this stanza.
2634 (arm-wrs-vxworks, mips-wrs-vxworks, powerpc-wrs-vxworks)
2635 (powerpc-wrs-vxworksae): Use ${tm_file}.
2636 (i[4567]86-wrs-vxworks, i[4567]86-wrs-vxworksae): Add svr4.h
2637 after elfos.h. Remove i386/sysv4.h and add i386/vx-common.h.
2638 * config/i386/vx-common.h: New file.
2640 2007-04-12 Richard Sandiford <richard@codesourcery.com>
2642 * config/vxworks.h (VXWORKS_STARTFILE_SPEC): Use -l:crt0.o instead
2645 2007-04-12 Andreas Krebbel <krebbel1@de.ibm.com>
2647 * config/s390/s390.md ("trunctddd2"): Use TDmode for the target of
2650 2007-04-12 Douglas Gregor <doug.gregor@gmail.com>
2654 * c-common.c (c_build_qualified_type): Set canonical type
2657 2007-04-12 Richard Guenther <rguenther@suse.de>
2659 * tree-pretty-print.c (dump_generic_node): Print ARRAY_REF
2660 lower bound and element size if lower bound is not zero
2661 or either of the ARRAY_REF operands is set.
2663 2007-04-12 Richard Guenther <rguenther@suse.de>
2665 PR tree-optimization/24689
2666 PR tree-optimization/31307
2667 * fold-const.c (operand_equal_p): Compare INTEGER_CST array
2669 * gimplify.c (canonicalize_addr_expr): To be consistent with
2670 gimplify_compound_lval only set operands two and three of
2671 ARRAY_REFs if they are not gimple_min_invariant. This makes
2672 it never at this place.
2673 * tree-ssa-ccp.c (maybe_fold_offset_to_array_ref): Likewise.
2675 2007-04-11 John David Anglin <dave.anglin@nrc-cnrc.gc.ca>
2677 * pa.c (pa_som_asm_init_sections): Ensure that cfun->machine is not
2678 null before emitting a .nsubspa directive.
2680 2007-04-11 Diego Novillo <dnovillo@redhat.com>
2682 * tree-ssa-alias.c (dump_mem_ref_stats): Do not call
2683 need_to_partition_p if there are no memory statements in the
2686 2007-04-11 Zdenek Dvorak <dvorakz@suse.cz>
2688 * tree-data-ref.c (chrec_steps_divide_constant_p): Removed.
2689 (gcd_of_steps_may_divide_p): New function.
2690 (analyze_miv_subscript): Use gcd_of_steps_may_divide_p.
2692 2007-04-11 Bernd Schmidt <bernd.schmidt@analog.com>
2694 * reload.c (find_reloads_toplev, find_reloads_address,
2695 find_reloads_address_1, find_reloads_subreg_address): Use rtx_equal_p,
2696 not a pointer equality test, to decide if we need to call
2697 push_reg_equiv_alt_mem.
2699 2007-04-11 Sebastian Pop <sebastian.pop@inria.fr>
2701 * tree-data-ref.c (affine_function_zero_p, constant_access_functions,
2702 insert_innermost_unit_dist_vector, add_distance_for_zero_overlaps): New.
2703 (build_classic_dist_vector): Call add_distance_for_zero_overlaps.
2705 2007-04-11 Zdenek Dvorak <dvorakz@suse.cz>
2707 * tree-data-ref.c (add_multivariate_self_dist): Force the distance
2708 vector to be positive.
2710 2007-04-11 Diego Novillo <dnovillo@redhat.com>
2714 * doc/invoke.texi: Document --params max-aliased-vops and
2716 * tree-ssa-operands.h (get_mpt_for, dump_memory_partitions,
2717 debug_memory_partitions): Move to tree-flow.h
2718 * params.h (AVG_ALIASED_VOPS): Define.
2719 * tree-ssa-alias.c (struct mp_info_def): Remove. Update all
2721 (mp_info_t): Likewise.
2722 (get_mem_sym_stats_for): New.
2723 (set_memory_partition): Move from tree-flow-inline.h.
2724 (mark_non_addressable): Only clear the set of symbols for the
2725 partition if it exists.
2726 (dump_memory_partitions): Move from tree-ssa-operands.c
2727 (debug_memory_partitions): Likewise.
2728 (need_to_partition_p): New.
2729 (dump_mem_ref_stats): New.
2730 (debug_mem_ref_stats): New.
2731 (dump_mem_sym_stats): New.
2732 (debug_mem_sym_stats): New.
2733 (update_mem_sym_stats_from_stmt): New.
2734 (compare_mp_info_entries): New.
2735 (mp_info_cmp): Call it.
2736 (sort_mp_info): Change argument to a list of mem_sym_stats_t
2738 (get_mpt_for): Move from tree-ssa-operands.c.
2739 (find_partition_for): New.
2740 (create_partition_for): Remove.
2741 (estimate_vop_reduction): New.
2742 (update_reference_counts): New.
2743 (build_mp_info): New.
2744 (compute_memory_partitions): Refactor.
2745 Document new heuristic.
2746 Call build_mp_info, update_reference_counts,
2747 find_partition_for and estimate_vop_reduction.
2748 (compute_may_aliases): Populate virtual operands before
2749 calling debugging dumps.
2750 (delete_mem_sym_stats): New.
2751 (delete_mem_ref_stats): New.
2752 (init_mem_ref_stats): New.
2753 (init_alias_info): Call it.
2754 (maybe_create_global_var): Remove alias_info argument.
2755 Get number of call sites and number of pure/const call sites
2756 from gimple_mem_ref_stats().
2757 (dump_alias_info): Call dump_memory_partitions first.
2758 (dump_points_to_info_for): Show how many times a pointer has
2760 * opts.c (decode_options): For -O2 set --param
2761 max-aliased-vops to 500.
2762 For -O3 set --param max-aliased-vops to 1000 and --param
2763 avg-aliased-vops to 3.
2764 * fortran/options.c (gfc_init_options): Remove assignment to
2766 * tree-flow-inline.h (gimple_mem_ref_stats): New.
2767 * tree-dfa.c (dump_variable): Dump memory reference
2769 Dump NO_ALIAS* settings.
2770 (referenced_var_lookup): Tidy.
2771 (mem_sym_stats): New.
2772 * tree-ssa-copy.c (may_propagate_copy): Return true if DEST
2773 and ORIG are different SSA names for a memory partition.
2774 * tree-ssa.c (delete_tree_ssa): Call delete_mem_ref_stats.
2775 * tree-flow.h (struct mem_sym_stats_d): Define.
2776 (mem_sym_stats_t): Define.
2777 (struct mem_ref_stats_d): Define.
2778 (struct gimple_df): Add field mem_ref_stats.
2779 (enum noalias_state): Define.
2780 (struct var_ann_d): Add bitfield noalias_state.
2781 (mem_sym_stats, delete_mem_ref_stats, dump_mem_ref_stats,
2782 debug_mem_ref_stats, debug_memory_partitions,
2783 debug_mem_sym_stats): Declare.
2784 * tree-ssa-structalias.c (update_alias_info): Update call
2785 sites, pure/const call sites and asm sites in structure
2786 returned by gimple_mem_ref_stats.
2787 Remove local variable IS_POTENTIAL_DEREF.
2788 Increase NUM_DEREFS if the memory expression is a potential
2790 Call update_mem_sym_stats_from_stmt.
2791 If the memory references memory, call
2792 update_mem_sym_stats_from_stmt for all the direct memory
2793 symbol references found.
2794 (intra_create_variable_infos): Set noalias_state field for
2795 pointer arguments according to the value of
2796 flag_argument_noalias.
2797 * tree-ssa-structalias.h (struct alias_info): Remove fields
2798 num_calls_found and num_pure_const_calls_found.
2799 (update_mem_sym_stats_from_stmt): Declare.
2800 * params.def (PARAM_MAX_ALIASED_VOPS): Change description.
2801 Set default value to 100.
2802 (PARAM_AVG_ALIASED_VOPS): Define.
2804 2007-04-11 Richard Guenther <rguenther@suse.de>
2807 * simplify-rtx.c (simplify_binary_operation_1): Do not simplify
2808 a * -b + c as c - a * b if we honor sign dependent rounding.
2810 2007-04-11 Bernd Schmidt <bernd.schmidt@analog.com>
2812 * config/bfin/bfin-protos.h (bfin_expand_movmem): Renamed from
2814 * config/bfin/bfin.c (bfin_expand_prologue, bfin_delegitimize_address,
2815 bfin_function_ok_for_sibcall, split_load_immediate): Remove unused
2817 (initialize_trampoline): Don't use old-style function definition.
2818 (bfin_secondary_reload): Mark IN_P argument as unused.
2820 2007-04-10 Sebastian Pop <sebastian.pop@inria.fr>
2822 PR tree-optimization/31343
2823 * tree-chrec.h (chrec_zerop): Moved before build_polynomial_chrec.
2824 (build_polynomial_chrec): Return a scalar when the evolution is zero.
2825 * testsuite/gcc.dg/vect/pr31343.c: New.
2827 2007-04-10 Eric Christopher <echristo@apple.com>
2829 * config/i386/i386.h (X87_FLOAT_MODE_P): New.
2830 * config/i386/i386.md (*cmpfp0): Use.
2831 (*cmpfp_u, *cmpfp_<mode>, *cmpfp_i_i387): Ditto.
2832 (*cmpfp_iu_387, fix_trunc<mode>_fisttp_i386_1): Ditto.
2833 (fix_trunc<mode>_i386_fisttp): Ditto.
2834 (fix_trunc<mode>_i387_fisttp_with_temp): Ditto.
2835 (*fix_trunc<mode>_i387_1, fix_truncdi_i387): Ditto.
2836 (fix_truncdi_i387_with_temp, fix_trunc<mode>_i387): Ditto.
2837 (fix_trunc<mode>_i387_with_temp, *fp_jcc_1_387): Ditto.
2838 (*fp_jcc_2_387, *fp_jcc_5_387, *fp_jcc_6_387): Ditto.
2839 (*fp_jcc_7_387, *fp_jcc_8<mode>_387): Ditto.
2840 (unnamed_splitters): Ditto.
2841 * config/i386/i386.c (output_fix_trunc): Assert that
2842 we're not being passed a TFmode operand.
2844 2007-04-10 Zdenek Dvorak <dvorakz@suse.cz>
2846 PR tree-optimization/31526
2847 * tree-inline.c (copy_cfg_body): Use last_basic_block instead of
2848 n_basic_blocks to find newly added blocks.
2850 2007-04-10 Uros Bizjak <ubizjak@gmail.com>
2852 * config/i386/i386.md (fix_trunc<mode>di_sse): Remove "x" from "xm"
2854 (fix_trunc<mode>si_sse): Ditto.
2855 (*floatsisf2_mixed, *floatsisf2_sse): Ditto.
2856 (*floatsidf2_mixed, *floatsidf2_sse): Ditto.
2857 (*floatdisf2_mixed, *floatdisf2_sse): Ditto.
2858 (*floatdidf2_mixed, *floatdidf2_sse): Ditto.
2859 (floathi<mode>2): Rename from floathisf2 and floathidf2. Macroize
2860 expander using SSEMODEF mode macro.
2861 (floatsi<mode>2): Rename from floatsisf2 and floashidf2. Macroize
2862 expander using SSEMODEF mode macro.
2863 (*floathi<mode>2_i387): Rename from *floathisf2_i387 and
2864 *floathidf2_i387. Macroize insn using X87MODEF12 mode macro.
2865 (*floatsi<mode>2_i387): Rename from *floatsisf2_i387 and
2866 *floatsidf2_i387. Macroize insn using X87MODEF12 mode macro.
2867 (*floatdi<mode>2_i387): Rename from *floatdisf2_i387 and
2868 *floatdidf2_i387. Macroize insn using X87MODEF12 mode macro.
2869 (float<mode>xf2): Rename from floathixf2, floatsixf2 and floatdixf2.
2870 Macroize insn using X87MODEF mode macro.
2872 2007-04-09 H.J. Lu <hongjiu.lu@intel.com>
2874 * config/i386/sse.md (sse2_pinsrw): Removed.
2875 (sse2_pextrw): Renamed to ...
2876 (*sse2_pextrw): This.
2878 2007-04-09 Jan Hubicka <jh@suse.cz>
2881 * config/i386/sse.md
2882 (sse_vmaddv4sf3, sse_vmmulv4sf3): Remove '%' modifier.
2883 (sse_vmsmaxv4sf3_finite, sse_vmsminv4sf3_finite): Remove.
2884 (sse2_vmaddv2df3, sse2_vmmulv2df3): Remove '%' modifier.
2885 (sse2_vmsmaxv2df3_finite, sse2_vmsminv2df3_finite): Remove.
2887 2007-04-09 Jan Hubicka <jh@suse.cz>
2889 * tree-ssa-ccp (maybe_fold_offset_to_component_ref): Recurse into
2890 multiple fields of union.
2892 2007-04-09 Zdenek Dvorak <dvorakz@suse.cz>
2894 * cfgloopmanip.c (create_preheader): Do not use loop_preheader_edge.
2895 (create_preheaders): Check that loops are available.
2896 (fix_loop_structure): Clean up, improve comments.
2897 * tree-ssa-loop-manip.c (rewrite_into_loop_closed_ssa):
2898 Check that loops are available. Set LOOP_CLOSED_SSA to the loops
2900 * tree-scalar-evolution.c (scev_finalize): Clear scalar_evolution_info.
2901 * predict.c (tree_estimate_probability): Do not call
2902 calculate_dominance_info. Call create_preheaders.
2903 * tree-cfgcleanup.c (cleanup_tree_cfg_loop): Only call
2904 rewrite_into_loop_closed_ssa if LOOP_CLOSED_SSA is set in loops state
2906 * cfgloop.c (loop_preheader_edge): Assert that loops have preheaders.
2907 * cfgloop.h (LOOP_CLOSED_SSA): New constant.
2908 * tree-cfg.c (tree_split_edge): Make an assert more precise.
2909 * tree-ssa-threadedge.c (thread_across_edge): Comment the function
2912 2007-04-08 Jan Hubicka <jh@suse.cz>
2914 * tree.h (maybe_fold_offset_to_component_ref): Declare.
2915 * tree-ssa-ccp.c (maybe_fold_offset_to_component_ref): Export.
2916 * fold-const.c (fold_unary): Use it.
2918 2007-04-08 Andrew Pinski <andrew_pinski@playstation.sony.com>
2920 * varasm.c (assemble_variable): Remove call to
2921 lang_hooks.decls.prepare_assemble_variable.
2922 * langhooks-def.h (LANG_HOOKS_PREPARE_ASSEMBLE_VARIABLE): Kill.
2923 (LANG_HOOKS_DECLS): Remove LANG_HOOKS_PREPARE_ASSEMBLE_VARIABLE.
2924 * langhooks.h (lang_hooks_for_decls): Remove
2925 prepare_assemble_variable.
2927 2007-04-08 Mike Stump <mrs@apple.com>
2929 * config/i386/i386.c: Use inc/dec on Core2.
2931 2007-04-08 Steven Bosscher <steven@gcc.gnu.org>
2933 * langhooks.c (lhd_tree_inlining_add_pending_fn_decls,
2934 lhd_tree_inlining_anon_aggr_type_p, lhd_tree_inlining_start_inlining,
2935 lhd_tree_inlining_end_inlining): Remove.
2936 * langhooks.h (struct lang_hooks_for_tree_inlining): Remove then
2937 add_pending_fn_decls, anon_aggr_type_p, start_inlining, and
2939 * langhooks-def.h (lhd_tree_inlining_add_pending_fn_decls,
2940 lhd_tree_inlining_anon_aggr_type_p, lhd_tree_inlining_start_inlining,
2941 lhd_tree_inlining_end_inlining): Remove prototypes.
2942 (LANG_HOOKS_TREE_INLINING_ADD_PENDING_FN_DECLS,
2943 LANG_HOOKS_TREE_INLINING_ANON_AGGR_TYPE_P,
2944 LANG_HOOKS_TREE_INLINING_START_INLINING,
2945 LANG_HOOKS_TREE_INLINING_END_INLINING): Remove.
2947 * c-objc-common.h (LANG_HOOKS_TREE_INLINING_ANON_AGGR_TYPE_P): Do
2950 2007-04-08 Anatoly Sokolov <aesok@post.ru>
2953 * config/avr/predicates.md (io_address_operand): Delete predicate.
2954 (low_io_address_operand): Don't use 'mode' argument.
2955 (higth_io_address_operand): Rename ...
2956 (high_io_address_operand): ... to this. Don't use 'mode' argument.
2957 * config/avr/avr.md (*sbix_branch_tmp, *sbix_branch_tmp_bit7): Adjust
2960 2007-04-07 Daniel Berlin <dberlin@dberlin.org>
2962 Revert change removing staticp.
2964 2007-04-07 Anatoly Sokolov <aesok@post.ru>
2967 * config/avr/avr.md (*clrmemqi, *clrmemhi): Mark operand 4 as
2970 2007-04-07 Bruce Korb <bkorb@gnu.org>
2972 * c.opt: Add -Wformat-contains-nul.
2973 * c-format.c (set_Wformat): Set warn_format_contains_nul to the
2975 (check_format_info_main): Check OPT_Wformat_contains_nul before emitting
2976 the NUL byte warning.
2978 2007-04-07 H.J. Lu <hongjiu.lu@intel.com>
2980 * config/i386/i386.c (ix86_handle_option): Handle SSSE3.
2982 2007-04-06 Daniel Berlin <dberlin@dberlin.org>
2984 * tree.c (staticp): No longer use staticp langhook.
2985 * langhooks.c (lhd_staticp): Removed.
2986 * langhooks.h (struct lang_hooks): Remove staticp.
2987 * c-common.c (c_staticp): Remove.
2988 * c-common.h (c_staticp): Ditto.
2989 * langhooks-defs.h (lhd_staticp): Ditto.
2990 (LHD_HOOKS_STATICP): Ditto
2991 * tree.h (gcc_assert_lowered): New macro.
2993 2007-04-06 Zdenek Dvorak <dvorakz@suse.cz>
2995 * tree-ssa-loop-niter.c (idx_infer_loop_bounds): Add and use
2996 argument "reliable".
2997 (infer_loop_bounds_from_ref, infer_loop_bounds_from_array):
2998 Add argument "reliable". Propagate it through calls.
2999 (infer_loop_bounds_from_undefined): Derive number of iterations
3000 estimates from references in blocks that do not dominate loop latch.
3001 (gcov_type_to_double_int): New function.
3002 (estimate_numbers_of_iterations_loop): Use gcov_type_to_double_int
3003 and expected_loop_iterations_unbounded.
3004 * cfgloopanal.c (expected_loop_iterations_unbounded): New function.
3005 (expected_loop_iterations): Use expected_loop_iterations_unbounded.
3006 * tree-data-ref.c (estimated_loop_iterations): Export.
3007 (get_references_in_stmt): Fix -- do not return addresses of local
3009 * cfgloop.h (expected_loop_iterations_unbounded,
3010 estimated_loop_iterations): Declare.
3012 2007-04-06 Andreas Tobler <a.tobler@schweiz.org>
3014 * tree-sra.c (sra_build_elt_assignment): Initialize min/maxshift.
3016 2007-04-06 Uros Bizjak <ubizjak@gmail.com>
3018 * config/i386/i386.md (extend<mode>xf2): Rename from extendsfxf2
3019 and extenddfxf2. Macroize expander using X87MODEF12 mode macro.
3020 (*truncdfsf_mixed, *truncdfsf_i387, *truncdfsf2_i387_1):
3021 Use output_387_reg_move().
3022 (*truncxf<mode>2): Rename from *truncxfsf2 and truncxfdf2. Macroize
3023 expander using X87MODEF12 mode macro.
3024 (*truncxfsf2_mixed): Combine alternatives, ignore "r" alternative when
3025 choosing register preferences. Use output_387_reg_move().
3026 (*truncxfdf2_mixed): Combine alternatives, use "r" alternative
3027 instead of "x". Use output_387_reg_move().
3028 (*truncxf<mode>2_i387_noop): Rename from *truncxfsf2_i387_noop and
3029 *truncxfdf2_i387_noop. Macroize insn using X87MODEF12 mode macro.
3030 (*truncxf<mode>2_i387): Rename from *truncxfsf2_i387 and
3031 *truncxfdf2_i387. Macroize insn using X87MODEF12 mode macro.
3032 Use output_387_reg_move().
3033 (*truncxf?f_mixed splitter): Macroize splitter using X87MODEF12
3035 (*truncxf?f_i387 splitter): Ditto.
3037 2007-04-06 Daniel Berlin <dberlin@dberlin.org>
3039 * langhooks-def.h (LANG_HOOKS_INITIALIZER): Remove
3040 LANG_HOOKS_SAFE_FROM_P.
3041 * expr.c (safe_from_p): Remove langhook call.
3042 * langhooks.h (lang_hooks): Remove safe_from_p.
3043 (lhd_safe_from_p): Remove prototype.
3044 * langhooks.c (lhd_safe_from_p): Remove.
3046 2007-04-06 Jan Hubicka <jh@suse.cz>
3048 * cgraphunit.c (decide_is_function_needed): Do not keep always_inline
3051 2007-04-06 Uros Bizjak <ubizjak@gmail.com>
3053 * config/i386/i386.c (output_387_reg_move): Handle memory operand[0].
3054 * config/i386/i386.md (*movsf_1, *movdf_nointeger,
3055 *movdf_integer_rex64, *movdf_integer, *movxf_nointeger,
3056 *movxf_integer): Use output_387_reg_move() for x87 reg->mem
3058 (*extendsfdf2_mixed, *extendsfdf2_i387, *extendsfxf2_i387,
3059 *extenddfxf2_i387, *truncdfsf_fast_mixed): Ditto.
3061 2007-04-05 Richard Henderson <rth@redhat.com>
3063 * config/alpha/alpha.c (print_operand) [+]: Remove.
3064 (alpha_end_function): Print nop if call at end of function.
3065 * config/alpha/alpha.h (PRINT_OPERAND_PUNCT_VALID_P): Remove +.
3066 * config/alpha/alpha.md (UNSPEC_LDGP1): New.
3067 (call_osf_1_er_noreturn, call_value_osf_1_er_noreturn): New.
3068 (call_osf_2_er_nogp, call_value_osf_2_er_nogp): New.
3069 (call_osf_2_er, call_value_osf_2_er): Merge the ldgp highpart into
3070 the call pattern. Update peepholes to match.
3072 2007-04-05 Janis Johnson <janis187@us.ibm.com>
3074 * doc/extend.texi (Other Builtins): Add decimal float variants
3076 * builtins.def: Ditto.
3077 * builtins.c (expand_builtin): Ditto.
3079 2007-04-05 Uros Bizjak <ubizjak@gmail.com>
3080 H.J. Lu <hongjiu.lu@intel.com>
3083 * config/i386/sse.md (sse2_umulv2siv2di3): Use V4SImode instead
3084 of V8HImode when calling ix86_binary_operator_ok.
3085 (sse2_pmaddwd): Call ix86_binary_operator_ok.
3086 (sdot_prodv8hi): Operands 1 and 2 must be register.
3088 2007-04-05 Alexandre Oliva <aoliva@redhat.com>
3090 * tree-sra.c (try_instantiate_multiple_fields): Needlessly
3091 initialize align to silence bogus warning.
3093 2007-04-05 Alexandre Oliva <aoliva@redhat.com>
3096 * tree-sra.c (struct sra_elt): Add in_bitfld_block. Remove
3098 (struct sra_walk_fns): Remove use_all parameter from use.
3099 (sra_hash_tree): Handle BIT_FIELD_REFs.
3100 (sra_elt_hash): Don't hash bitfld blocks.
3101 (sra_elt_eq): Skip them in parent compares as well. Handle
3103 (sra_walk_expr): Don't maintain or pass down use_all_p.
3104 (scan_use): Remove use_all parameter.
3105 (scalarize_use): Likewise. Re-expand assignment to
3106 BIT_FIELD_REF of gimple_reg. De-scalarize before input or
3107 output, and re-scalarize after output. Don't mark anything
3109 (scalarize_ldst): Adjust.
3110 (scalarize_walk_gimple_modify_statement): Likewise.
3111 (build_element_name_1): Handle BIT_FIELD_REFs.
3112 (instantiate_element): Don't warn for any element whose parent
3114 (instantiate_missing_elements_1): Return the sra_elt.
3115 (canon_type_for_field): New.
3116 (try_instantiate_multiple_fields): New.
3117 (instantiate_missing_elemnts): Use them.
3118 (mark_no_warning): Removed.
3119 (generate_one_element_ref): Handle BIT_FIELD_REFs.
3120 (REPLDUP, sra_build_elt_assignment): New.
3121 (generate_copy_inout): Use them.
3122 (generate_element_copy): Likewise. Handle bitfld differences.
3123 (generate_element_zero): Don't recurse for blocks. Use
3124 sra_build_elt_assignment.
3125 (generate_one_element_int): Take elt instead of var. Use
3126 sra_build_elt_assignment.
3127 (generate_element_init_1): Adjust.
3128 (scalarize_use, scalarize_copy): Use REPLDUP.
3129 (scalarize_ldst): Move assert before dereference.
3130 (dump_sra_elt_name): Handle BIT_FIELD_REFs.
3132 2007-04-05 Steven Bosscher <steven@gcc.gnu.org>
3134 * regmove.c: Fix unused variable warnings due to previous commit.
3136 2007-04-05 Steven Bosscher <steven@gcc.gnu.org>
3138 * regmove.c (STACK_GROWS_DOWNWARD): Don't boolean-ize.
3139 (regmove_bb_head): Remove.
3140 (copy_src_to_dest): Don't update regmove_bb_head and BB_HEAD.
3141 (regmove_optimize): Don't do unnecessary CFG fixes for non-existing
3142 problems with fixup_match_1.
3143 Don't initialize/free regmove_bb_head.
3145 (reg_is_remote_constant_p): If an insn is in the same basic block
3146 but not before INSN, consider it remote, too.
3148 2007-04-05 Anatoly Sokolov <aesok@post.ru>
3151 * config/avr/avr.c (avr_handle_fndecl_attribute): Use the
3152 DECL_ASSEMBLER_NAME, not the DECL_NAME.
3154 2007-04-05 H.J. Lu <hongjiu.lu@intel.com>
3156 * config/i386/i386.h (TARGET_CPU_CPP_BUILTINS): Reformat.
3157 (CONDITIONAL_REGISTER_USAGE): Likewise.
3159 2007-04-04 Richard Henderson <rth@redhat.com>
3161 * config/alpha/lib1funcs.asm: Remove unused file.
3163 2007-04-04 Brooks Moses <brooks.moses@codesourcery.com>
3166 * opts.c (print_specific_help): Fix --help=<language>
3168 (common_handle_option): Support --help=common.
3170 2007-04-04 Brooks Moses <brooks.moses@codesourcery.com>
3173 * gcc.c (main): Do not run the linker if
3174 print_subprocess_help indicates that it shouldn't be
3177 2007-04-04 Brooks Moses <brooks.moses@codesourcery.com>
3180 * doc/invoke.texi (--help=): Document <languages> value, fix
3181 formatting in tables of values.
3183 2007-04-04 Danny Smith <dannysmith.users.sourceforge.net>
3185 * config/i386/winnt-cxx.c (i386_pe_type_dllimport_p): Don't ignore
3186 dllimport attribute of virtual methods.
3188 2007-04-04 Chen Liqin <liqin@sunnorth.com.cn>
3190 * config/score/crti.asm: Change _bss_start to __bss_start.
3191 * config/score/score.h (CONDITIONAL_REGISTER_USAGE): Added.
3192 (OUTGOING_REG_PARM_STACK_SPACE) update.
3193 * config/score/score.opt: add options to make backend support
3194 score5, score5u, score7 and score7d.
3195 * config/score/score.md: Likewise.
3196 * config/score/misc.md: Likewise.
3197 * config/score/mac.md: Likewise.
3198 * doc/invoke.texi: Likewise.
3199 * doc/md.texi: update constraints define.
3201 2007-04-03 Richard Henderson <rth@redhat.com>
3203 * expr.c (store_expr): If get_signed_or_unsigned_type doesn't yield
3204 an appropriate type, use the mode instead.
3206 2007-04-03 Richard Sandiford <richard@codesourcery.com>
3208 * config.gcc (mips-wrs-vxworks): Add vx-common.h to tm_file.
3209 Set the default --with-arch setting to mips2.
3210 * config/mips/t-vxworks (MULTILIB_OPTIONS, MULTILIB_MATCHES)
3211 (MULTILIB_EXCEPTIONS): Redefine with new multilibs.
3212 (MULTILIB_OSDIRNAMES): Delete.
3213 (MULTILIB_DIRNAMES): Define.
3214 * config/mips/vxworks.h (LINK_SPEC): Add VXWORKS_LINK_SPEC.
3215 (LIB_SPEC, STARTFILE_SPEC, ENDFILE_SPEC): Define.
3216 (TARGET_OS_CPP_BUILTINS): Incorporate old SUBTARGET_CPP_SPEC
3217 definitions, except for _WRS_R3K_EXC_SUPPORT. Call
3218 VXWORKS_OS_CPP_BUILTINS.
3219 (SUBTARGET_CPP_SPEC): Redefine to VXWORKS_ADDITIONAL_CPP_SPEC.
3220 (MIPS_DEBUGGING_INFO): Undefine.
3221 (FUNCTION_PROFILER): Define to VXWORKS_FUNCTION_PROFILER.
3223 2007-04-03 Jakub Jelinek <jakub@redhat.com>
3226 * fold-const.c (native_encode_real): Encode real.c provided longs
3227 as a series of 32-bit native integers.
3228 (native_interpret_real): Interpret buffer as a series of 32-bit
3231 2007-04-03 Richard Guenther <rguenther@suse.de>
3233 * genpreds.c (write_insn_constraint_len): Write function
3234 optimized for CONSTRAINT_LEN implementation.
3235 (write_tm_preds_h): Output insn_constraint_len inline and
3236 use it for CONSTRAINT_LEN.
3237 (write_insn_preds_c): Don't output insn_constraint_len.
3238 * doc/md.texi (define_register_constraint): Document multi-letter
3239 constraints shall have the same length if they start with the same
3242 2007-04-03 Uros Bizjak <ubizjak@gmail.com>
3245 * config/i386/i386.md (isinf<mode>2): Expand only when
3246 TARGET_C99_FUNCTIONS is set.
3248 2007-04-03 Uros Bizjak <ubizjak@gmail.com>
3250 * config.gcc (i[34567]86-*-linux*): Add i386/t-crtpc to tm-file.
3251 (x86_64-*-linux*): Ditto.
3252 * config/i386/i386.opt (mpc): New option.
3253 * config/i386/i386.c (overrride_options): Handle
3254 ix87_precision_string.
3255 * config/i386/crtprec.c: New file.
3256 * config/i386/t-crtpc: Ditto.
3257 * config/i386/linux.h (ENDFILE_SPEC): Add handling of -mpc32, -mpc64
3259 * config/i386/linux64.h (ENDFILE_SPEC): Ditto.
3260 * config/i386/t-linux64 (EXTRA_MULTILIB_PARTS): Add
3261 crtprec32.o, crtprec64.o and crtprec80.o.
3263 * doc/invoke.texi (Machine Dependent Options): Add -mpc32, -mpc64
3265 (i386 and x86-64 Options): Document -mpc32, -mpc64 and -mpc80 options.
3267 2007-04-02 Eric Christopher <echristo@apple.com>
3269 * doc/invoke.texi (i386 and x86-64 Options): Document -m64
3270 limitations on darwin.
3272 2007-04-02 Anatoly Sokolov <aesok@post.ru>
3275 * config/avr/avr.c (avr_rtx_costs): Add missing 'break' statements.
3277 2007-04-02 Dave Korn <dave.korn@artimi.com>
3279 * doc/tm.texi (FUNCTION_MODE): Update and extend documentation.
3281 2007-04-02 Dave Korn <dave.korn@artimi.com>
3283 * libgcc2.h (exception_descriptor): Don't forward-declare.
3284 (__get_eh_table_language, __get_eh_table_version): Delete
3285 prototypes of long-dead functions.
3287 2007-04-01 Daniel Berlin <dberlin@dberlin.org>
3289 * ebitmap.h: New file
3290 * ebitmap.c: New file
3291 * Makefile.in (ebitmap.o): New target.
3293 2007-04-01 Jan Hubicka <jh@suse.cz>
3295 * emit-rtl.c (emit_insn_before_setloc): Do not ICE when asked to emit
3296 before very first instruction.
3298 2007-04-01 Jan Hubicka <jh@suse.cz>
3300 * ggc-page.c (ggc_print_statistics): Fix formatting string to avoid
3301 waring on 64bit hosts.
3302 * bitmap.h: Fix typo in bitmap_head_def.
3304 2007-04-01 Steven Bosscher <steven@gcc.gnu.org>
3306 PR rtl-optimization/31391
3307 * cfgcleanup.c (try_optimize_cfg): If a removed label is turned
3308 into a DELETED_LABEL note, and the label is in an empty basic
3309 block, update BB_END as well as BB_HEAD.
3311 2007-04-01 Richard Henderson <rth@redhat.com>
3313 PR tree-optimization/31169
3314 * tree-vrp.c (extract_range_from_binary_expr) <RSHIFT_EXPR>: Drop
3315 to varying if the range is outside [0, prec-1].
3317 2007-04-01 Richard Sandiford <richard@codesourcery.com>
3320 * config/mips/mips.md (load_const_gp): New insn.
3321 * config/mips/mips.c (mips_split_symbol): Avoid using or creating
3322 the MIPS16 GP pseudo register if no_new_pseudos.
3323 (mips16_gp_pseudo_reg): Use gen_load_const_gp.
3325 2007-03-31 Andrew Pinski <andrew_pinski@playstation.sony.com>
3328 * config/rs6000/rs6000.md (call): Convert to LR hard reg for
3330 (call_value): Likewise.
3332 2007-03-31 Wolfgang Bangerth <bangerth@dealii.org>
3333 Manuel Lopez-Ibanez <manu@gcc.gnu.org>
3336 * doc/invoke.texi: (optimization options): Reword description
3337 of -ffast-math. Document its primary purpose.
3339 2007-03-31 Richard Guenther <rguenther@suse.de>
3341 * omp-low.c (splay-tree.h): Include.
3342 (lookup_decl): Replace splay-tree usage by pointer-map.
3343 (maybe_lookup_decl): Likewise.
3344 (new_omp_context): Likewise.
3345 (delete_omp_context): Likewise.
3346 * gimplify.c (splay-tree.h): Include.
3347 * tree-inline.c (insert_decl_map): Replace splay-tree usage by
3349 (remap_ssa_name): Likewise.
3350 (remap_decl): Likewise.
3351 (remap_type_1): Likewise.
3352 (remap_type): Likewise.
3353 (copy_body_r): Likewise.
3354 (expand_call_inline): Likewise.
3355 (clone_body): Likewise.
3356 (copy_tree_r): Likewise.
3357 (remap_save_expr): Likewise.
3358 (unsave_r): Likewise.
3359 (unsave_expr_now): Likewise.
3360 (tree_function_versioning): Likewise.
3361 (build_duplicate_type): Likewise.
3362 * tree-inline.h (pointer-set.h): Include instead of splay-tree.h.
3363 (struct copy_body_data): Replace splay-tree by pointer-map.
3364 * Makefile.in (TREE_INLINE_H): Depend on pointer-map.h,
3365 not $(SPLAY_TREE_H).
3366 (gimplify.o): Depend on $(SPLAY_TREE_H).
3367 (omp-low.p): Likewise.
3369 2007-03-31 Anatoly Sokolov <aesok@post.ru>
3371 * config/avr/predicates.md (even_register_operand,
3372 odd_register_operand): New predicates.
3373 * config/avr/avr.md (movw peephole2): New.
3374 (movw_r peephole2): New.
3376 2007-03-30 Rafael Avila de Espindola <espindola@google.com>
3378 * tree.h (get_signed_or_unsigned_type): New.
3379 * fold-const.c (operand_equal_for_comparison_p): Use
3380 get_signed_or_unsigned_type instead of
3381 lang_hooks.types.signed_or_unsigned_type.
3382 * expr.c (store_expr): Ditto.
3383 * langhooks.c (get_signed_or_unsigned_type): New.
3384 (lhd_signed_or_unsigned_type): New.
3385 * langhooks.h (lhd_signed_or_unsigned_type): New.
3386 * langhooks-def.h (LANG_HOOKS_SIGNED_OR_UNSIGNED_TYPE): Define.
3388 2007-03-30 Richard Henderson <rth@redhat.com>
3390 * tree-ssa-loop-ivopts.c: Include target.h.
3391 (produce_memory_decl_rtl): Pass the rtx through encode_section_info.
3392 (get_address_cost): Force SYMBOL_FLAG_LOCAL set.
3393 (force_expr_to_var_cost): Use produce_memory_decl_rtl.
3394 * Makefile.in (tree-ssa-loop-ivopts.o): Depend on TARGET_H.
3396 2007-03-30 Richard Henderson <rth@redhat.com>
3397 Kai Tietz <kai.tietz@onevision.com>
3399 * config/i386/cygming.h (DWARF2_DEBUGGING_INFO): Enable by
3401 (PREFERRED_DEBUGGING_TYPE): Prefer dwarf2 for 64-bit.
3402 (TARGET_64BIT_MS_ABI): New.
3403 (DBX_REGISTER_NUMBER): Handle 64-bit.
3404 (SIZE_TYPE, PTRDIFF_TYPE): Use long long for 64-bit.
3405 (LONG_TYPE_SIZE): Force to 32.
3406 (REG_PARM_STACK_SPACE): New.
3407 (OUTGOING_REG_PARM_STACK_SPACE): New.
3408 (REGPARM_MAX, SSE_REGPARM_MAX): New.
3409 (HANDLE_PRAGMA_PUSH_POP_MACRO): New.
3410 (STACK_BOUNDARY): Use 128 for 64-bit.
3411 * config/i386/cygwin.asm: Use push/ret to preserve call stack.
3412 Add 64-bit implementation.
3413 * config/i386/gthr-win32.c (__gthr_win32_key_create): Mark dtor
3415 * config/i386/i386.c (x86_64_ms_abi_int_parameter_registers): New.
3416 (override_options): Set ix86_cmodel for TARGET_64BIT_MS_ABI.
3417 Warn for -mregparm, -mrtd in 64-bit mode; force ix86_regparm
3418 for 64-bit; use TARGET_SUBTARGET64_DEFAULT.
OSDN Git Service
