1 2010-05-18 Jakub Jelinek <jakub@redhat.com>
4 * var-tracking.c (find_loc_in_1pdv): Add a few checks from
7 2010-05-18 Steven Bosscher <steven@gcc.gnu.org>
9 * config.gcc (powerpc-*-darwin*, powerpc64-*-darwin*): Add
10 lto-macho as lto_binary_reader.
12 * darwin.c (darwin_asm_named_section): Do not add assembler comment
13 after .section directive; just print it before the directive instead.
15 2010-05-17 Jan Hubicka <jh@suse.cz>
17 * cgraph.c (cgraph_create_virtual_clone): Only check
18 versionable_function_p when not in wpa and checking is enabled.
19 * cgraphunit.c (cgraph_materialize_all_clones): Stabilize after
20 there are no more functions to materialize.
22 2010-05-17 Jan Hubicka <jh@suse.cz>
24 * cgraph.h (struct ipa_replace_map): Add parm_num parameter.
25 * lto-cgraph.c (output_cgraph_opt_summary, input_cgraph_opt_summary):
27 (output_cgraph): Call output_cgraph_opt_summary.
28 (input_cgrpah): Call input_cgraph_opt_summary.
29 (output_cgraph_opt_summary_p, output_node_opt_summary,
30 input_node_opt_summary, input_cgraph_opt_section): New functions.
31 * lto-section-in.c (lto_section_name): Add cgraphopt.
32 * tree-inline.c (tree_function_versioning): Handle parm_num.
33 * lto-streamer.c (lto_get_section_name): Handle cgraphopt.
34 * lto-streamer.h (lto_section_type): Add LTO_section_cgraph_opt_sum.
36 2010-05-17 Changpeng Fang <changpeng.fang@amd.com>
38 * doc/invoke.texi: Update documentation for min-insn-to-prefetch-ratio.
39 * tree-ssa-loop-prefetch.c (is_loop_prefetching_profitable): Also apply
40 the insn to prefetch ratio heuristic to loops with known trip count.
42 2010-05-17 Changpeng Fang <changpeng.fang@amd.com>
44 * tree-ssa-loop-prefetch.c (PREFETCH_MOD_TO_UNROLL_FACTOR_RATIO): New.
45 (schedule_prefetches): Do not generate a prefetch if the unroll factor
46 is far from what is required by the prefetch.
48 2010-05-17 Jan Hubicka <jh@suse.cz>
50 * ipa-cp.c (ipcp_update_callgraph): Use ipa_is_param_used.
51 (ipcp_estimate_growth): Likewise.
52 (ipcp_const_param_count): Likewise.
53 (ipcp_insert_stage): Likewise.
54 * ipa-prop.c (visit_load_for_mod_analysis): New function.
55 (visit_store_addr_for_mod_analysis): Set used flag.
56 (ipa_detect_param_modifications): Set used flag for SSE params;
57 update use of walk_stmt_load_store_addr_ops.
58 (ipa_print_node_params): Print used flag.
59 (ipa_write_node_info): Stream used flag.
60 (ipa_read_node_info): Likewise.
61 * ipa-prop.h (struct ipa_param_descriptor): Add used field.
62 (ipa_is_param_used): New function.
63 (lto_ipa_fixup_call_notes): Remove unused declaration.
65 2010-05-17 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE>
68 * configure.ac (HAVE_AS_IX86_REP_LOCK_PREFIX): New test.
69 * configure: Regenerate.
70 * config.in: Regenerate.
71 * config/i386/i386.c (print_operand) <case ;>: Also print ; if
72 !HAVE_AS_IX86_REP_LOCK_PREFIX.
73 Don't emit whitespace.
74 * config/i386/i386.md (*rep_movdi_rex64): Use {%;} after rep.
75 (*rep_movsi): Likewise.
76 (*rep_movsi_rex64): Likewise.
77 (*rep_movqi): Likewise.
78 (*rep_movqi_rex64): Likewise.
79 (*rep_stosdi_rex64): Likewise.
80 (*rep_stossi): Likewise.
81 (*rep_stossi_rex64): Likewise.
82 (*rep_stosqi): Likewise.
83 (*rep_stosqi_rex64): Likewise.
84 (*cmpstrnqi_nz_1): Use {%;} after repz.
85 (*cmpstrnqi_nz_rex_1): Likewise.
86 (*cmpstrnqi_1): Likewise.
87 (*cmpstrnqi_rex_1): Likewise.
88 (*strlenqi_1): Use {%;} after repnz.
89 (*strlenqi_rex_1): Likewise.
90 * config/i386/sync.md (memory_barrier_nosse): Replace {%;| } by {%;} .
91 (*sync_compare_and_swap<mode>): Likewise.
92 (sync_double_compare_and_swap<mode>): Likewise.
93 (*sync_double_compare_and_swapdi_pic): Likewise.
94 (sync_old_add<mode>): Likewise.
95 (sync_add<mode>): Likewise.
96 (sync_sub<mode>): Likewise.
97 (sync_<code><mode>): Likewise.
99 2010-05-17 Martin Jambor <mjambor@suse.cz>
101 * cgraph.h (cgraph_indirect_call_info): New fields anc_offset,
102 otr_token and polymorphic.
103 * cgraph.c (cgraph_create_indirect_edge): Inilialize the above fields.
104 (cgraph_clone_edge): Copy the above fields.
105 * tree.c (get_binfo_at_offset): New function.
106 * tree.h (get_binfo_at_offset): Declare.
107 * ipa-prop.h (enum jump_func_type): Added known_type jump function
108 type, reordered items, updated comments.
109 (union jump_func_value): Added base_type field, reordered fields.
110 (enum ipa_lattice_type): Moved down in the file.
111 (struct ipa_param_descriptor): New field polymorphic.
112 (ipa_is_param_polymorphic): New function.
113 * ipa-prop.c: Include gimple.h and gimple-fold.h.
114 (ipa_print_node_jump_functions): Print known type jump functions.
115 (compute_complex_pass_through): Renamed to...
116 (compute_complex_assign_jump_func): this.
117 (compute_complex_ancestor_jump_func): New function.
118 (compute_known_type_jump_func): Likewise.
119 (compute_scalar_jump_functions): Create known type and complex ancestor
121 (ipa_note_param_call): New parameter polymorphic, set the corresponding
122 flag in the call note accordingly.
123 (ipa_analyze_call_uses): Renamed to...
124 (ipa_analyze_indirect_call_uses): this. New parameter target, define
125 variable var only in the block where it is used.
126 (ipa_analyze_virtual_call_uses): New function.
127 (ipa_analyze_call_uses): Likewise.
128 (combine_known_type_and_ancestor_jfs): Likewise.
129 (update_jump_functions_after_inlining): Implemented handling of a
130 number of new jump function types combination.
131 (print_edge_addition_message): Removed.
132 (make_edge_direct_to_target): New function.
133 (try_make_edge_direct_simple_call): Likewise.
134 (try_make_edge_direct_virtual_call): Likewise.
135 (update_call_notes_after_inlining): Renamed to...
136 (update_indirect_edges_after_inlining): this. Moved edge creation for
137 indirect calls to try_make_edge_direct_simple_call, also calls
138 try_make_edge_direct_virtual_call for virtual calls.
139 (ipa_print_node_params): Changed the header message.
140 (ipa_write_jump_function): Stream also known type jump functions.
141 (ipa_read_jump_function): Likewise.
142 (ipa_write_indirect_edge_info): Stream new fields in
143 cgraph_indirect_call_info.
144 (ipa_read_indirect_edge_info): Likewise.
145 * Makefile.in (ipa-prop.o): Add dependency to GIMPLE_H and
148 2010-05-17 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE>
150 * config/i386/sol2.h (TARGET_SUN_TLS): Remove duplicate definition.
152 2010-05-17 Nathan Froyd <froydnj@codesourcery.com>
154 * tree.h (CALL_EXPR_ARGS): Delete.
155 (call_expr_arglist): Delete.
156 * tree.c (call_expr_arglist): Delete.
157 * builtins.c (fold_call_expr): Pass the whole CALL_EXPR to
158 targetm.fold_builtin.
159 * config/alpha/alpha.c (alpha_fold_builtin): Rename arglist parameter.
160 Rewrite iteration to work on call_expr_nargs rather than TREE_CHAIN.
161 * config/picochip/picochip.c (picochip_expand_builtin_2op): Rename
162 arglist parameter. Use CALL_EXPR_ARG.
163 (picochip_expand_builtin_3op): Likewise.
164 (picochip_expand_builtin_2opvoid): Likewise.
165 (picochip_expand_array_get): Likewise.
166 (picochip_expand_array_put): Likewise.
167 (picochip_expand_array_testport): Likewise.
168 (picochip_expand_builtin): Don't call CALL_EXPR_ARGS. Pass exp
170 * config/rx/rx.c (rx_expand_builtin): Call call_expr_nargs instead of
172 * config/sparc/sparc.c (sparc_fold_builtin): Use CALL_EXPR_ARG rather
173 than TREE_VALUE and TREE_CHAIN.
174 * config/xtensa/xtensa.c (xtensa_fold_builtin): Likewise.
175 * doc/tm.texi (TARGET_FOLD_BUILTIN): Pass CALL_EXPR tree instead of
178 2010-05-17 Jakub Jelinek <jakub@redhat.com>
181 * cfglayout.c (fixup_reorder_chain): Allow returnjump_p
182 to have no fallthru edge.
185 * cfgcleanup.c (try_optimize_cfg): When removing trivially empty
186 bb with no successors, move footer whenever in IR_RTL_CFGLAYOUT
187 mode, not just when CLEANUP_CFGLAYOUT, and when in IR_RTL_CFGRTL
188 add BARRIER after previous bb if needed.
190 2010-05-17 Nathan Froyd <froydnj@codesourcery.com>
192 * tree.c (build_function_type_list_1): Remove bogus assert condition.
194 2010-05-17 Alan Modra <amodra@gmail.com>
196 * config/rs6000/rs6000.c (rs6000_emit_allocate_stack): Delete
197 unnecessary prototype. Replace copy_r12 and copy_r11 flag params
198 with copy_reg rtx param.
199 (rs6000_emit_prologue): Update rs6000_emit_allocate_stack calls.
200 Correct cases where code for ABI_V4 did not initialise the reg
201 used to access frame. Also leave frame_reg_rtx as sp for large
202 frames that save no regs.
204 2010-05-17 Martin Jambor <mjambor@suse.cz>
207 * tree-sra.c (create_access_replacement): New parameter rename, mark
208 the replaement for renaming only when it is true.
209 (get_access_replacement): Pass true in the rename parameter of
210 create_access_replacement.
211 (get_unrenamed_access_replacement): New function.
212 (replace_uses_with_default_def_ssa_name): New parameter racc, get the
213 replacement declaration from it.
215 2010-05-17 Bernd Schmidt <bernds@codesourcery.com>
217 * function.c (try_fit_stack_local, add_frame_space): New static
219 (assign_stack_local_1): Use them. Look for opportunities to use
220 space previously wasted on alignment.
221 * function.h (struct frame_space): New.
222 (struct rtl_data): Add FRAME_SPACE_LIST member.
223 * reload1.c (something_was_spilled): New static variable.
225 (reload): Test it in addition to testing if the frame size changed.
227 2010-05-17 Christian Borntraeger <borntraeger@de.ibm.com>
229 * config/s390/s390.c: Define sane prefetch settings and activate
230 flag_prefetch_loop_arrays on -O3.
231 * config/s390/s390.h: Declare that read can use write prefetch.
233 2010-05-17 Jakub Jelinek <jakub@redhat.com>
235 * lto-streamer-out.c (lto_output): Fix --enable-checking=release
238 2010-05-16 Jan Hubicka <jh@suse.cz>
240 * ipa-cp.c (ipcp_versionable_function_p): Walk cgraph edges instead of
241 function body; do not check stdarg field of struct function.
243 2010-05-16 Jan Hubicka <jh@suse.cz>
245 * cgraph.c (dump_cgraph_node): Dump versionable flag.
246 * cgraph.h (cgraph_local_info): Add versionable flag.
247 * ipa-cp.c (ipcp_analyze_node): Set versionable flag.
248 (ipcp_versionable_function_p): Use it.
249 * lto-cgraph.c (lto_output_node, input_overwrite_node): Stream
252 2010-05-16 Jan Hubicka <jh@suse.cz>
254 * cgraph.c (cgraph_clone_node): Take decl argument and insert
255 clone into hash when it is different from orig.
256 (cgraph_create_virtual_clone): Update use of cgraph_clone_node.
257 * cgraph.h (cgraph_clone_node): Update prototype.
258 * lto-cgrpah.c (lto_cgraph_encoder_new): Create body map.
259 (lto_cgraph_encoder_delete): Delete body map.
260 (lto_cgraph_encoder_size): Move to header.
261 (lto_cgraph_encoder_encode_body_p,
262 lto_set_cgraph_encoder_encode_body): New.
263 (lto_output_node): Do not take written_decls argument; output clone_of
265 (add_node_to): Add include_body_argument; call
266 lto_set_cgraph_encoder_encode_body on master of the clone.
267 (add_references): Update use of add_node_to.
268 (compute_ltrans_boundary): Likewise.
269 (output_cgraph): Do not create written_decls bitmap.
270 (input_node): Take nodes argument; stream in clone_of correctly.
271 (input_cgraph_1): Update use of input_node.
272 * lto-streamer-out.c (lto_output): Use encoder info to decide
273 what bodies to output.
274 * ipa-inline.c (cgraph_clone_inlined_nodes,
275 cgraph_decide_recursive_inlining): Update call of cgraph_clone_node.
276 * lto-streamer.h (lto_cgraph_encoder_d): Add body.
277 (lto_cgraph_encoder_size): Define here.
278 (lto_cgraph_encoder_encode_body_p, lto_varpool_encoder_encode_body_p):
281 2010-05-16 Richard Guenther <rguenther@suse.de>
283 * doc/invoke.texi (-fipa-struct-reorg): Do not mention
285 * ipa-type-escape.c (gate_type_escape_vars): Run when
286 -fipa-struct-reorg runs.
287 * opts.c (decode_options): Do not unset flag_ipa_type_escape.
288 * common.opt (fipa-type-escape): Remove.
290 2010-05-16 Eric Botcazou <ebotcazou@adacore.com>
292 * opts.c (handle_option): Call into LTO streamer only if ENABLE_LTO.
293 (decode_options): Likewise.
294 * Makefile.in (opts.o): Add dependency on LTO_STREAMER_H.
296 2010-05-16 Jan Hubicka <jh@suse.cz>
298 * ipa.c (function_and_variable_visibility): Also bring local all
301 2010-05-16 Richard Guenther <rguenther@suse.de>
303 * alias.c (nonoverlapping_memrefs_p): Remove use of
304 IPA type-escape information.
306 2010-05-16 Joseph Myers <joseph@codesourcery.com>
308 * c-common.c (c_common_reswords): Add _Static_assert for C.
309 * c-parser.c (c_token_starts_declaration,
310 c_parser_next_token_starts_declaration,
311 c_parser_static_assert_declaration_no_semi,
312 c_parser_static_assert_declaration): New.
313 (c_parser_declaration_or_fndef): Add parameter static_assert_ok.
314 Handle static assertions if static_assert_ok.
315 (c_parser_external_declaration, c_parser_declaration_or_fndef,
316 c_parser_compound_statement_nostart, c_parser_label,
317 c_parser_for_statement, c_parser_objc_methodprotolist,
318 c_parser_omp_for_loop): All callers of
319 c_parser_declaration_or_fndef changed.
320 (c_parser_struct_declaration): Handle static assertions.
321 (c_parser_compound_statement_nostart): Use
322 c_parser_next_token_starts_declaration and
323 c_token_starts_declaration to detect start of declarations.
324 (c_parser_label, c_parser_for_statement, c_parser_omp_for_loop):
327 2010-05-16 Anatoly Sokolov <aesok@post.ru>
329 * config/mmix/mmix.h (FUNCTION_VALUE, FUNCTION_OUTGOING_VALUE,
330 LIBCALL_VALUE, FUNCTION_VALUE_REGNO_P): Remove macros.
331 * config/mmix/mmix.c (TARGET_FUNCTION_VALUE, TARGET_LIBCALL_VALUE,
332 TARGET_FUNCTION_VALUE_REGNO_P): Define.
333 (mmix_function_outgoing_value): Rename to...
334 (mmix_function_value): ...this. Make static. Add 'outgoing' argument.
335 (mmix_function_value_regno_p): Make static.
336 (mmix_libcall_value): New function.
337 * config/mmix/mmix-protos.h (mmix_function_outgoing_value,
338 mmix_function_value_regno_p): Remove declaration.
340 2010-05-16 Eric Botcazou <ebotcazou@adacore.com>
342 * tree.c (build_common_builtin_nodes): Always clear TREE_NOTHROW on
343 BUILT_IN_ALLOCA if stack checking is enabled.
345 2010-05-16 Richard Guenther <rguenther@suse.de>
347 * var-tracking.c (vars_copy_1): Inline ...
348 (vars_copy): ... here. Use FOR_EACH_HTAB_ELEMENT.
349 (variable_union): Use FOR_EACH_HTAB_ELEMENT. Merge asserts.
350 (variable_merge_over_cur): Adjust. Merge asserts.
351 (variable_merge_over_src): Likewise.
352 (dataflow_set_merge): Use FOR_EACH_HTAB_ELEMENT.
353 (variable_post_merge_new_vals): Merge asserts.
354 (variable_post_merge_perm_vals): Likewise.
355 (find_mem_expr_in_1pdv): Likewise.
356 (dataflow_set_different_value): Remove.
357 (onepart_variable_different_p): Merge asserts.
358 (variable_different_p): Likewise.
359 (dataflow_set_different_1): Inline ...
360 (dataflow_set_different): ... here. Use FOR_EACH_HTAB_ELEMENT.
361 (emit_notes_for_differences_1): Merge asserts.
363 2010-05-16 Richard Guenther <rguenther@suse.de>
365 * lto-symtab.c (lto_symtab_entry_hash): Use IDENTIFIER_HASH_VALUE.
366 * optabs.c (libfunc_decl_hash): Likewise.
367 * varasm.c (emutls_decl): Likewise.
369 2010-05-16 Steven Bosscher <steven@gcc.gnu.org>
371 * c-decl.c: Don't include gimple.h.
372 (merge_decls): Do not copy gimple_body.
374 2010-05-15 Jason Merrill <jason@redhat.com>
376 * c.opt: Add -fnothrow-opt.
378 2010-05-15 Jan Hubicka <jh@suse.cz>
380 * ipa-prop.c (ipa_prop_read_section): Add sanity check that node is
382 * passes.c (ipa_write_summaries): Write all analyzed nodes.
384 2010-05-15 Steven Bosscher <steven@gcc.gnu.org>
386 * vecir.h: New file with VEC primitives for tree, gimple, and rtl.
387 * Makefile.in: Add it.
388 Fix all other Makefile dependencies for changes below.
389 * tree.h: Include it instead of defining VEC primitives here.
390 * gimple.h: Likewise.
392 * tree-inline.h: Inlclude vecir.h instead of gimple.h.
393 * except.h: Include vecir.h, break dependence on tree.h.
395 * gimplify.c (append_to_statement_list_1, append_to_statement_list):
397 * tree-iterator.c: ...to here.
398 * tree-iterator.h: Fix file introduction comment. Add extern markers.
400 * c-lex.c: Include fixed-value.h instead of rtl.h. Do not include
402 * c-cppbuiltin.c: Explain why debug.h and tm_p.h are included.
403 * c-objc-common.h: Do not include tm.h, rtl.h, insn-config.h,
404 integrate.h, function.h, toplev.h, tree-inline.h, ggc.h,
405 tree-mudflap.h, and target.h.
406 * c-semantics.c: Do not include except.h, ggc.h, rtl.h, timevar.h,
407 predict.h, tree-inline.h, gimple.h, and langhooks.h.
408 * c-decl.c: Do not include expr.h, ggc.h, libfuncs.h, except.h.
409 Add FIXME for why gimple.h is still included (should be unnecessary
410 since GCC 4.5 gimplification unit-at-a-time).
411 * c-typeck.c: Do not include rtl.h, tm_p.h, ggc.h, and gimple.h.
412 * c-pragma.c: Add FIXME for why function.h needs to be included just
413 for cfun, at front-end level.
414 Add note that REGISTER_TARGET_PRAGMAS should probably be a target hook.
415 Do not include ggc.h, but include vecprim.h for VEC(char).
416 * c-opts.c: Do not include tm.h, tree-inline.h, and tm_p.h.
417 Explain why target.h is included.
418 * c-omp.h: Do not include tm.h, function.h, and bitmap.h.
419 Explain why gimple.h is included.
420 * c-ppoutput.c: Do not include tm.h.
421 * c-common.c: Do not include gimple.h. Explain why expr.h is included.
422 * c-parses.c: Explain why rtl.h is included, and that this (and only
423 this) is also why tm.h must be included.
424 Do not include except.h.
425 * c-lang.c: Do not include ggc.h.
427 2010-05-15 Uros Bizjak <ubizjak@gmail.com>
429 * targhooks.c (GO_IF_MODE_DEPENDENT_ADDRESS): Use CONST_CAST_RTX.
431 2010-05-15 Joseph Myers <joseph@codesourcery.com>
433 * c-decl.c (grokfield): Allow typedefs for anonymous structs and
434 unions by default if those structs and unions have no tags. Do
435 not condition anonymous struct and unions handling on flag_iso.
436 Allow anonymous structs and unions for C1X.
437 (finish_struct): Do not diagnose lack of named fields when
438 anonymous structs and unions present for C1X. Accept flexible
439 array members in structure with anonymous structs or unions but no
440 directly named fields.
441 * doc/extend.texi (Unnamed Fields): Update.
443 2010-05-15 Eric Botcazou <ebotcazou@adacore.com>
445 * gimple.h (compare_field_offset): Rename into...
446 (gimple_compare_field_offset): ...this.
447 * gimple.c (compare_field_offset): Rename into...
448 (gimple_compare_field_offset): ...this. Compare the full access if
449 the offset is self-referential.
450 (gimple_types_compatible_p): Adjust for above renaming.
451 * lto-streamer-in.c (input_gimple_stmt): Likewise. Also compare the
452 DECL_NONADDRESSABLE_P flag of fields before merging them.
454 2010-05-15 Nathan Froyd <froydnj@codesourcery.com>
456 * tree.h (ctor_to_list): Delete.
457 * tree.c (ctor_to_list): Delete.
459 2010-05-15 Jan Hubicka <jh@suse.cz>
461 * ipa-reference.c: Include toplev.h
462 (is_proper_for_analysis): Only add to all_module_statics
464 (write_node_summary_p, stream_out_bitmap,
465 ipa_reference_write_optimization_summary,
466 ipa_reference_read_optimization_summary): New.
467 (struct ipa_opt_pass_d pass_ipa_reference): Add
468 optimization summary streaming.
469 * lto-cgraph.c (referenced_from_this_partition_p,
470 reachable_from_this_partition_p): New functions.
471 * tree-ssa-alias.c (ref_maybe_used_by_call_p_1,
472 call_may_clobber_ref_p_1): Ask ipa-reference even for public vars.
473 * opts.c (decode_options): Enable ipa_reference.
474 * Makefile.in (ipa-reference.o): Add toplev.h dependency.
475 * lto-streamer.h (referenced_from_this_partition_p,
476 reachable_from_this_partition_p): Declare.
478 2010-05-15 Richard Guenther <rguenther@suse.de>
480 PR tree-optimization/44038
481 * tree-ssa-forwprop.c (forward_propagate_addr_expr_1): Avoid
482 taking the address of a V_C_E of a constant.
484 2010-05-14 Jan Hubicka <jh@suse.cz>
486 * tree.h (memory_identifier_string): Remove.
487 * ipa-reference.c: Update comment; do not include gt-ipa-reference.h
488 (ipa_reference_global_vars_info_d): Remove statics_not_read and
490 (ipa_reference_optimization_summary_d): New structure.
491 (ipa_reference_optimization_summary_t): New type and vector.
492 (ipa_reference_vars_info_d): Embedd structures instead of using
494 (reference_vars_to_consider): Remove out of GGC space.
495 (module_statics_escape): Remove.
496 (global_info_obstack): Rename to ...
497 (optimization_summary_obstack): ... this one.
498 (initialization_status_t): Remove.
499 (memory_identifier_string): Remove.
500 (get_reference_vars_info): Fix indenting.
501 (set_reference_vars_info): Likewise.
502 (get_reference_optimization_summary): New.
503 (set_reference_optimization_summary): New.
504 (get_global_reference_vars_info): Remove.
505 (ipa_reference_get_read_global): Remove.
506 (ipa_reference_get_written_global): Remove.
507 (ipa_reference_get_not_read_global): Update.
508 (ipa_reference_get_not_written_global): Update.
509 (is_proper_for_analysis): Outlaw addressable.
510 (propagate_bits): Update for new datastructures.
511 (analyze_variable): Remove.
512 (init_function_info): Update for new datastructures.
513 (clean_function_local_data): Remove.
514 (clean_function): Remove.
515 (copy_global_bitmap): Use optimizations_summary_obstack.
516 (duplicate_node_data): Duplicate optimization summary only.
517 (remove_node_data): Remove optimization summary only.
518 (generate_summary): Do not analyze variables; do not compute
519 module_statics_escape; do not prune solutions by it.
520 (read_write_all_from_decl): Fix typos in comments.
521 (propagate): Doscover readonly and nonaddressable first;
522 update for new datastructures; share global bitmaps.
523 * ipa-reference.h (ipa_reference_get_read_global,
524 ipa_reference_get_written_global): Remove.
525 * ipa-pure-const.c (check_stmt): Do not use memory_identifier_string.
526 * Makefile.in: Remove ipa-refereference from GT files.
528 2010-05-14 Jakub Jelinek <jakub@redhat.com>
531 * dwarf2out.c (resolve_one_addr): Check TREE_ASM_WRITTEN
532 for all SYMBOL_REF_DECLs.
534 2010-05-14 Jan Hubicka <jh@suse.cz>
536 * cgraph.h (ipa_discover_readonly_nonaddressable_vars): Declare.
537 (varpool_all_refs_explicit_p): New inline function.
538 * ipa-reference.c: Update comment.
539 (module_statics_written): Remove.
540 (get_static_decl): Remove.
541 (ipa_init): Do not initialize module_statics_written.
542 (analyze_function): Likewise.
543 (generate_summary): Likewise; do not compute module_statics_readonly
544 and do not update variable flags.
545 (propagate): Call ipa_discover_readonly_nonaddressable_vars.
546 * ipa.c: Inlucde flags.h
547 (cgraph_local_node_p): New.
548 (cgraph_remove_unreachable_nodes): Return early when not optimizing;
549 promote functions to local.
550 (ipa_discover_readonly_nonaddressable_vars): New function.
551 (function_and_variable_visibility): Use cgraph_local_node_p.
552 * varpool.c (varpool_finalize_decl): Set force_output for
553 DECL_PRESERVE_P vars.
555 2010-05-14 Jan Hubicka <jh@suse.cz>
557 * ipa.c (cgraph_remove_unreachable_nodes): Revert accidental commit.
559 2010-05-14 Richard Guenther <rguenther@suse.de>
561 PR tree-optimization/44119
562 * tree-ssa-pre.c (eliminate): Properly mark replacement of
563 a PHI node necessary.
565 2010-05-14 Eric Botcazou <ebotcazou@adacore.com>
567 * tree.h (TREE_ADDRESSABLE): Remove bogus usage for FIELD_DECL.
569 2010-05-14 Jason Merrill <jason@redhat.com>
572 * gimple.h (enum gf_mask): Add GF_CALL_NOTHROW.
573 (gimple_call_set_nothrow): New.
574 * gimple.c (gimple_build_call_from_tree): Call it.
575 (gimple_call_flags): Set ECF_NOTHROW from GF_CALL_NOTHROW.
578 * gimplify.c (gimplify_seq_add_stmt): No longer static.
579 * gimple.h: Declare it.
580 * gimple.c (gimple_build_eh_filter): No ops.
582 2010-05-14 Jan Hubicka <jh@suse.cz>
584 * ipa.c (enqueue_cgraph_node): Update comment; do not re-enqueue
585 nodes already in queue.
586 (cgraph_remove_unreachable_nodes): Cleanup; fix problem with
589 2010-05-14 Jakub Jelinek <jakub@redhat.com>
592 * cfgexpand.c (expand_debug_expr): If non-memory op0
593 has BLKmode, return NULL.
595 2010-05-14 Harsha Jagasia <harsha.jagasia@amd.com>
597 * config.gcc: Add support for --with-cpu option for bdver1.
598 * config/i386/i386.h (TARGET_BDVER1): New macro.
599 (ix86_tune_indices): Change SSE_UNALIGNED_MOVE_OPTIMAL
600 to SSE_UNALIGNED_LOAD_OPTIMAL. Add SSE_UNALIGNED_STORE_OPTIMAL.
601 (ix86_tune_features) :Change SSE_UNALIGNED_MOVE_OPTIMAL
602 to SSE_UNALIGNED_LOAD_OPTIMAL. Add SSE_UNALIGNED_STORE_OPTIMAL.
603 Add SSE_PACKED_SINGLE_INSN_OPTIMAL.
604 (TARGET_CPU_DEFAULT_NAMES): Add bdver1.
605 (processor_type): Add PROCESSOR_BDVER1.
606 * config/i386/i386.md: Add bdver1 as a new cpu attribute to match
607 processor_type in config/i386/i386.h.
608 Add check for TARGET_SSE_PACKED_SINGLE_INSN_OPTIMAL to emit
609 movaps <reg, reg> instead of movapd <reg, reg> when replacing
610 movsd <reg, reg> or movss <reg, reg> for SSE and AVX.
611 Add check for TARGET_SSE_PACKED_SINGLE_INSN_OPTIMAL
612 to emit packed xor instead of packed double/packed integer
613 xor for SSE and AVX when moving a zero value.
614 * config/i386/sse.md: Add check for
615 TARGET_SSE_PACKED_SINGLE_INSN_OPTIMAL to emit movaps instead of
616 movapd/movdqa for SSE and AVX.
617 Add check for TARGET_SSE_PACKED_SINGLE_INSN_OPTIMAL to emit packed
618 single logical operations i.e and, or and xor instead of packed double
619 logical operations for SSE and AVX.
620 * config/i386/i386-c.c (ix86_target_macros_internal):
621 Add PROCESSOR_BDVER1.
622 * config/i386/driver-i386.c: Turn on -mtune=native for BDVER1.
623 (has_fma4, has_xop): New.
624 * config/i386/i386.c (bdver1_cost): New variable.
625 (m_BDVER1): New macro.
626 (m_AMD_MULTIPLE): Add m_BDVER1.
627 (x86_tune_use_leave, x86_tune_push_memory, x86_tune_unroll_strlen,
628 x86_tune_deep_branch_prediction, x86_tune_use_sahf, x86_tune_movx,
629 x86_tune_use_simode_fiop, x86_tune_promote_qimode,
630 x86_tune_add_esp_8, x86_tune_tune_sub_esp_4, x86_tune_sub_esp_8,
631 x86_tune_integer_dfmode_moves, x86_tune_partial_reg_dependency,
632 x86_tune_sse_partial_reg_dependency,
633 x86_tune_sse_unaligned_load_optimal,
634 x86_tune_sse_unaligned_store_optimal, x86_tune_sse_typeless_stores,
635 x86_tune_memory_mismatch_stall, x86_tune_use_ffreep,
636 x86_tune_inter_unit_moves, x86_tune_inter_unit_conversions,
637 x86_tune_use_bt, x86_tune_pad_returns, x86_tune_slow_imul_imm32_mem,
638 x86_tune_slow_imul_imm8, x86_tune_fuse_cmp_and_branch):
639 Enable/disable for bdver1.
640 (processor_target_table): Add bdver1_cost.
641 (cpu_names): Add bdver1.
642 (override_options): Set up PROCESSOR_BDVER1 for bdver1 entry in
643 processor_alias_table.
644 (ix86_expand_vector_move_misalign): Change.
645 TARGET_SSE_UNALIGNED_MOVE_OPTIMAL to TARGET_SSE_UNALIGNED_LOAD_OPTIMAL.
646 Check for TARGET_SSE_UNALIGNED_STORE_OPTIMAL.
647 Check for TARGET_SSE_PACKED_SINGLE_INSN_OPTIMAL to emit movups instead
648 of movupd/movdqu for SSE and AVX.
649 (ix86_tune_issue_rate): Add PROCESSOR_BDVER1.
650 (ix86_tune_adjust_cost): Add code for bdver1.
651 (standard_sse_constant_opcode): Add check for
652 TARGET_SSE_PACKED_SINGLE_INSN_OPTIMAL to emit packed single xor instead
653 of packed double xor for SSE and AVX.
655 2010-05-14 Pat Haugen <pthaugen@us.ibm.com>
657 * tree-ssa-loop.prefetch.c (prune_ref_by_group_reuse): Cast abs()
660 2010-05-14 Tristan Gingold <gingold@adacore.com>
662 * toplev.c (default_debug_hooks): Remove this variable.
663 (process_options): Remove assignments to default_debug_hooks.
665 2010-05-14 Martin Jambor <mjambor@suse.cz>
667 * langhooks-def.h (LANG_HOOKS_FOLD_OBJ_TYPE_REF): Remove.
668 (LANG_HOOKS_INITIALIZER): Remove LANG_HOOKS_FOLD_OBJ_TYPE_REF.
669 * langhooks.h (struct lang_hooks_for_decls): Removed field
671 * tree.c (free_lang_data): Remove assignment to
672 lang_hooks.fold_obj_type_ref.
673 * tree.def (OBJ_TYPE_REF): Update comment.
675 2010-05-14 Richard Guenther <rguenther@suse.de>
677 PR tree-optimization/44124
678 * tree-ssa-sccvn.c (vn_nary_may_trap): Fix invalid memory access.
680 2010-05-14 Alan Modra <amodra@gmail.com>
683 * config/rs6000/rs6000.c (struct machine_function): Reorder
684 fields for better packing. Add lr_save_state.
685 (rs6000_ra_ever_killed): Return lr_save_state if set.
686 (rs6000_emit_eh_reg_restore): Set lr_save_state.
688 2010-05-13 Jan Hubicka <jh@suse.cz>
690 * varpool.c (decide_is_variable_needed): Drop code checking
691 TREE_SYMBOL_REFERENCED.
693 2010-05-13 Jan Hubicka <jh@suse.cz>
695 * final.c (output_addr_const): Do not call mark_decl_referenced.
696 * cgraphunit.c (process_function_and_variable_attributes): Use
697 mark_needed_node dirrectly.
698 (assemble_thunk): Do not call mark_decl_referenced.
700 2010-05-13 Anatoly Sokolov <aesok@post.ru>
702 * targhooks.c (default_mode_dependent_address_p): Cast 'addr' to rtx.
704 2010-05-13 Jeff Law <law@redhat.com>
706 * ira-conflicts.c (print_allocno_conflicts): New function broken out
708 (print_conflicts): Call print_allocno_conflicts.
710 2010-05-13 Jakub Jelinek <jakub@redhat.com>
713 * dwarf2out.c (modified_type_die): Don't dereference mod_type_die
716 2010-05-13 Kai Tietz <kai.tietz@onevision.com>
718 * config.gcc (i[34567]86-*-mingw* | x86_64-*-mingw*): Choose
719 t-mingw-w64 or t-mingw-w32 for multilib configuration.
720 * config/i386/t-mingw-w32: New.
721 * config/i386/t-mingw-w64 (MULTILIB_OSDIRNAMES): Change lib64 to lib.
723 2010-05-13 Martin Jambor <mjambor@suse.cz>
725 * gimple.c (gimple_fold_obj_type_ref): Removed (a replacement moved to
727 * gimple-fold.c (get_base_binfo_for_type): New function.
728 (gimple_get_relevant_ref_binfo): Likewise.
729 (gimple_fold_obj_type_ref_known_binfo): Likewise.
730 (gimple_fold_obj_type_ref): Likewise.
731 (fold_gimple_call): Simplify condition for folding virtual calls
732 and call gimple_fold_obj_type_ref.
733 * gimple.h (gimple_get_relevant_ref_binfo): Declare.
734 (gimple_fold_obj_type_ref_known_binfo): Likewise.
736 2010-05-13 Andreas Schwab <schwab@linux-m68k.org>
738 * config/rs6000/rs6000-protos.h
739 (rs6000_mode_dependent_address_ptr): Change argument to const_rtx.
740 * config/rs6000/rs6000.c (rs6000_mode_dependent_address)
741 (rs6000_debug_mode_dependent_address)
742 (rs6000_mode_dependent_address_ptr): Likewise.
744 2010-05-13 Jakub Jelinek <jakub@redhat.com>
747 * var-tracking.c (track_expr_p): Allow tracking of variables optimized
749 * Makefile.in (dwarf2out.o): Depend on $(TREE_FLOW_H).
750 * tree-sra.c (create_access_replacement): Call unshare_expr before
751 passing expr to SET_DECL_DEBUG_EXPR, and remove any SSA_NAMEs from it.
752 * dwarf2out.c: Include tree-flow.h.
753 (struct var_loc_node): Rename var_loc_note field to loc, add comment.
754 (size_of_loc_descr, output_loc_operands, output_loc_operands_raw):
755 Handle DW_OP_bit_piece.
756 (decl_piece_bitsize, decl_piece_varloc_ptr, decl_piece_node,
757 construct_piece_list, adjust_piece_list): New functions.
758 (add_var_loc_to_decl): Handle SRA optimized variables.
759 Adjust for var_loc_note to loc field renaming.
760 (dw_loc_list_1): For WANT_ADDRESS == 2 prefer DECL_MODE of decl
761 in VAR_LOCATION note.
762 (new_loc_descr_op_bit_piece): New function.
763 (dw_sra_loc_expr): New function.
764 (dw_loc_list): Use it. Don't handle the last range after the
765 loop, handle it inside of the loop. Adjust for var_loc_note
766 to loc field renaming.
767 (add_location_or_const_value_attribute): Only special case
768 single entry loc lists if loc is NOTE_P. Adjust for
769 var_loc_note to loc field renaming.
770 (dwarf2out_var_location): Don't set newloc->var_loc_note
771 and newloc->next here.
773 2010-05-12 Jan Hubicka <jh@suse.cz>
775 * cgraph.c (cgraph_mark_address_taken_node): No longer imply needed
777 * cgraph.h (cgraph_only_called_directly_p,
778 cgraph_can_remove_if_no_direct_calls_p): test address_taken flag.
779 (cgraph_can_remove_if_no_direct_calls_and_refs_p): New function.
780 * cgraphunit.c (cgraph_mark_functions_to_output): Test address_taken.
782 * ipa.c (cgraph_remove_unreachable_nodes): Use
783 cgraph_can_remove_if_no_direct_calls_and_refs_p; clear address_taken
785 * tree-inline.c (copy_bb): Check address_taken flag.
786 * tree-profile.c (tree_gen_ic_func_profiler): Check address_taken and
787 externally_visible flag.
789 2010-05-12 Jason Merrill <jason@redhat.com>
793 * dbxout.c (dbxout_type): Remove NULLPTR_TYPE handling.
794 * sdbout.c (plain_type_1): Likewise.
795 * dwarf2out.c (is_base_type): Likewise.
796 (gen_type_die_with_usage): Likewise. Generate
797 DW_TAG_unspecified_type for any LANG_TYPE.
799 2010-05-12 Jan Hubicka <jh@suse.cz>
801 * cgraphbuild.c (build_cgraph_edges, rebuild_cgraph_edges): Build
803 * cgraph.c (cgraph_create_indirect_edge): Take ecf_flags argument.
804 (cgraph_clone_edge): Update.
805 (cgraph_node_remove_callees): Remove indirect calls too.
806 * cgraph.h (cgraph_indirect_call_info): Add ecf_flags.
807 (cgraph_create_indirect_edge): Update prototype.
808 * ipa-reference.c (has_proper_scope_for_analysis): Rename to
809 is_proper_for_analysis.
810 (add_new_function, visited_nodes, function_insertion_hook_holder,
811 get_local_reference_vars_info, mark_address_taken, mark_address,
812 mark_load, mark_store, check_asm_memory_clobber, check_call,
813 scan_stmt_for_static_refs, scan_initializer_for_static_refs): Remove.
814 (ipa_init): Do not initialize visited_nodes;
815 function_insertion_hook_holder.
816 (analyze_variable): Rewrite.
817 (analyze_function): Rewrite.
818 (copy_local_bitmap): Remove.
819 (duplicate_node_dat): Do not duplicate local info.
820 (generate_summary): Simplify to only walk cgraph.
821 (write_node_summary_p, ipa_reference_write_summary,
822 ipa_reference_read_summary): Remove.
823 (propagate): Do not remove function insertion;
825 (pass_ipa_reference): NULLify summary handling fields.
826 * lto-cgraph.c (lto_output_edge): Output ecf_flags.
827 (input_edge): Input ecf_flags.
828 * ipa-prop.c (ipa_note_parm_call): Expect edge to be around.
829 (update_indirect_edges_after_inlining): Ignore edges with unknown
832 2010-05-12 Sriraman Tallam <tmsriram@google.com>
834 * implicit-zee.c: New file.
835 * tree-pass.h (pass_implicit_zee): Declare.
836 * passes.c (init_optimization_passes): Add zee pass.
837 * common.opt (fzee): New flag.
838 * timevar.def (TV_ZEE): Define.
839 * config/i386/i386.c (optimization_options): Turn on ZEE for level 2
841 * Makefile.in (implicit-zee.o): Add new build file.
843 2010-05-12 Kazu Hirata <kazu@codesourcery.com>
844 Nathan Froyd <froydnj@codesourcery.com>
846 * c-common.c (sync_resolve_params): Remove write-only variable.
848 2010-05-12 Anatoly Sokolov <aesok@post.ru>
850 * target.h (struct gcc_target): Add mode_dependent_address_p field.
851 * target-def.h (TARGET_MODE_DEPENDENT_ADDRESS_P): New.
852 (TARGET_INITIALIZER): Use TARGET_MODE_DEPENDENT_ADDRESS_P.
853 * targhooks.c (default_mode_dependent_address_p): New function.
854 * targhooks.h (default_mode_dependent_address_p): Declare function.
855 * doc/tm.texi (TARGET_MODE_DEPENDENT_ADDRESS_P): New.
856 (GO_IF_MODE_DEPENDENT_ADDRESS): Update.
857 * recog.c: (mode_dependent_address_p): Call mode_dependent_address_p
858 target hook. Change return type to bool.
859 * recog.h: (mode_dependent_address_p): Change return type to bool.
861 2010-05-12 Kazu Hirata <kazu@codesourcery.com>
862 Nathan Froyd <froydnj@codesourcery.com>
864 * tree-mudflap.c (build_function_type_0, build_function_type_1,
865 build_function_type_2, build_function_type_3): Remove.
866 (mudflap_init): Use build_function_type_list.
868 2010-05-12 Kazu Hirata <kazu@codesourcery.com>
869 Nathan Froyd <froydnj@codesourcery.com>
871 * coverage.c (build_fn_info_value): Call build_constructor instead of
872 build_constructor_from_list.
873 (build_ctr_info_value): Likewise.
874 (build_gcov_info): Likewise.
876 2010-05-12 Nathan Froyd <froydnj@codesourcery.com>
878 * tree.c (build_constructor): Compute TREE_CONSTANT for the
879 resultant constructor.
880 (build_constructor_single): Don't set TREE_CONSTANT.
881 (build_constructor_from_list): Don't compute TREE_CONSTANT.
883 2010-05-12 Jan Hubicka <jh@suse.cz>
885 * cgraph.h (struct varpool_node): Add aux.
886 * varasm.c (find_decl_and_mark_needed): Force output of varpool nodes.
887 * varpool.c (varpool_remove_node): Do not remove initializer.
888 (varpool_reset_queue): Export.
889 (varpool_finalize_decl): Volatile vars are forced to be output.
890 * lto-symtab.c (lto_varpool_replace_node): Clear out initializer of
892 * ipa.c (enqueue_cgraph_node, enqueue_varpool_node,
893 process_references, varpool_can_remove_if_no_refs): New functions.
894 (cgraph_remove_unreachable_nodes): Handle variables too.
896 2010-05-12 H.J. Lu <hongjiu.lu@intel.com>
899 * config/i386/sse.md (*avx_vmmaskcmp<mode>3): New.
901 2010-05-12 Jakub Jelinek <jakub@redhat.com>
904 * gimplify.c (enum omp_region_type): Add ORT_UNTIED_TASK,
905 change value of ORT_TASK.
906 (new_omp_context): Handle ORT_UNTIED_TASK like ORT_TASK.
907 (omp_notice_threadprivate_variable): New function.
908 (omp_notice_variable): Call it for threadprivate variables.
909 If enclosing ctx is a task, print enclosing task rather than
910 enclosing parallel. Handle ORT_UNTIED_TASK like ORT_TASK.
911 (gimplify_omp_task): Pass ORT_UNTIED_TASK instead of ORT_TASK
912 if task has untied clause.
915 * dwarf2out.c (base_type_die): Don't add name attribute here.
916 (modified_type_die): Instead of sizetype use
917 its underlying original type. If a DW_TAG_base_type doesn't
918 have name added, add __unknown__.
919 (dwarf2out_imported_module_or_decl_1): Don't call base_type_die,
920 always call force_type_die instead.
922 2010-05-12 Maxim Kuvyrkov <maxim@codesourcery.com>
924 * targhooks.c (default_stack_protect_guard): Avoid sharing RTL
925 for __stack_chk_guard.
927 2010-05-11 Jakub Jelinek <jakub@redhat.com>
929 * c-opts.c (c_common_parse_file): If start_end_main_source_file,
930 don't call start_source_file debug hook here...
931 (finish_options): ... but here, after outputting predefined and
932 command line defines and undefs.
935 * cfglayout.c (fixup_reorder_chain): Allow asm goto to have
937 * cfgcleanup.c (try_optimize_cfg): When in cfglayout mode
938 optimizing away empty bb with no successors, move over its
939 footer chain to fallthru predecessor.
940 * cfgrtl.c (patch_jump_insn): Update also REG_LABEL_OPERAND.
941 (rtl_split_edge): For asm goto call patch_jump_insn even if
942 splitting fallthru edge.
945 * config/elfos.h (ASM_DECLARE_OBJECT_NAME): Use qnu_unique_object
946 even for DECL_ONE_ONLY DECL_ARTIFICIAL !TREE_READONLY decls.
947 * config/alpha/elf.h (ASM_DECLARE_OBJECT_NAME): Likewise.
948 * dwarf2asm.c (dw2_output_indirect_constant_1): Set TREE_READONLY
952 * c-parser.c (c_parser_expression): Mark LHS of a comma
953 expression as read if it is a decl, handled component or
954 COMPOUND_EXPR with that on the RHS.
955 * c-typeck.c (c_process_expr_stmt): Mark RHS of COMPOUND_EXPR
956 if it is a decl or handled component.
958 2010-05-11 Jan Hubicka <jh@suse.cz>
960 * lto-symtab.c (lto_symtab_free): New function.
961 * lto-streamer.h (lto_symtab_free): Declare.
963 2010-05-11 Jan Hubicka <jh@suse.cz>
965 * lto-cgraph.c (reachable_from_other_partition_p): Export; do not assume
966 that if function is needed it is reachable.
967 (lto_output_node): See if it the function is reachable or referenced.
968 (output_cgraph): Update call of lto_output_node.
969 * lto-streamer.h (reachable_from_other_partition_p): Declare.
971 2010-05-11 Jan Hubicka <jh@suse.cz>
973 * crtstuff.c (__JCR_LIST__, __DTOR_END__, __JCR_END__, __FRAME_END__):
976 2010-05-11 Jan Hubicka <jh@suse.cz>
978 PR tree-optimize/44063
979 * ipa-inline.c (cgraph_edge_badness): Move always inlines to top of
981 (cgraph_decide_inlining_of_small_function): Skip check when disrgarding
983 (estimate_function_body_sizes): Compute sizes even when disregarding.
985 2010-05-11 Kai Tietz <kai.tietz@onevision.com>
987 * collect2.c (maybe_lto_object_file): Add x64-coff magic and check.
989 2010-05-11 Jan Hubicka <jh@suse.cz>
991 * lto-cgraph.c (output_cgraph): Remove loop adding all varpool nodes
994 2010-05-11 Jan Hubicka <jh@suse.cz>
996 * matrix-reorg.c (matrix_reorg): Rebuild edges.
998 2010-05-11 Jan Hubicka <jh@suse.cz>
1000 * lto-streamer.c (lto_streamer_cache_add_to_node_array,
1001 lto_streamer_cache_delete): Put nodes into heap.
1002 * lto-streamer.h (struct lto_streamer_cache_d): Nodes vector is in
1005 2010-05-11 Jan Hubicka <jh@suse.cz>
1007 * cgraphbuild.c (cgraph_rebuild_references): New.
1008 * cgraph.c (cgraph_mark_reachable_node): Accept references to optimized
1010 * cgraph.h (cgraph_rebuild_references): Declare.
1011 * tree-inline.c (tree_function_versioning): Use it.
1012 * ipa-struct-reorg.c (do_reorg_for_func): Likewise.
1014 2010-05-11 Jan Hubicka <jh@suse.cz>
1016 * cgraph.c: Include ipa-utils.h
1017 (cgraph_create_virtual_clone): Update references.
1018 * Makefile.in (cgraph.o): Add dependency at ipa-utils.h
1020 2010-05-11 Christian Borntraeger <borntraeger@de.ibm.com>
1022 * tree-ssa-loop-prefetch.c (prune_ref_by_group_reuse): Reset
1023 prefetch_before to PREFETCH_ALL if to accesses "meet" beyond
1026 2010-05-11 Christian Borntraeger <borntraeger@de.ibm.com>
1028 * tree-ssa-loop-prefetch.c: Add debug for dropped prefetches.
1030 2010-05-11 Jakub Jelinek <jakub@redhat.com>
1032 * gcc.c (execute): For -### don't quote arguments that
1033 contain just alphanumerics and _/-. characters.
1034 * doc/invoke.texi: Document that change for -###.
1037 * df-problems.c (struct dead_debug): Add to_rescan field.
1038 (dead_debug_init): Clear to_rescan field.
1039 (dead_debug_finish): Rescan all debug insns in to_rescan
1040 bitmap and free the bitmap.
1041 (dead_debug_insert_before): Instead of rescanning debug insns
1042 immediately queue their rescanning until dead_debug_finish.
1043 (df_note_bb_compute): After dead_debug_add do continue instead
1046 2010-05-10 Jakub Jelinek <jakub@redhat.com>
1049 * haifa-sched.c (schedule_insn): When clearing INSN_VAR_LOCATION_LOC,
1050 clear also INSN_REG_USE_LIST.
1052 2010-05-10 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE>
1054 * config/mips/mips.c (TARGET_SMALL_REGISTER_CLASSES_FOR_MODE_P): Undef.
1056 2010-05-10 Jan Hubicka <jh@suse.cz>
1058 * lto-stramer-out.c (produce_asm_for_decls): Correct accidentally
1061 2010-05-10 Jan Hubicka <jh@suse.cz>
1063 * passes.c (ipa_write_summaries_1, ipa_write_optimization_summaries):
1065 * lto-section-out.c (lto_new_out_decl_state): Do not allocate it here.
1066 * lto-streamer.c (lto_streamer_cache_insert_1): Use alloc pool.
1067 (lto_streamer_cache_create): Init alloc pool.
1068 (lto_streamer_cache_delete): Free alloc pool.
1069 * lto-streamer.h: Include alloc pool.
1070 (lto_streamer_cache_d): Use alloc pool.
1071 * lto-stramer-out.c (produce_asm_for_decls): Delete fn_out_states.
1073 2010-05-10 Jan Hubicka <jh@suse.cz>
1075 * Makefile.in (cgraphbuild.o): Add dependency on except.h.
1076 * cgraphbuild.c: Include except.h
1077 (record_type_list, record_eh_tables): New function.
1078 (build_cgraph_edges, rebuild_cgraph_edges): Use it.
1080 2010-05-10 Jan Hubicka <jh@suse.cz>
1082 * crtstuff.c (force_to_data, __do_global_dtors_aux_fini_array_entry,
1083 __frame_dummy_init_array_entry, force_to_data): Attribute as used
1086 2010-05-10 Michael Matz <matz@suse.de>
1088 * tree-ssa-reassoc.c (undistribute_ops_list): Use create_tmp_reg.
1089 (can_reassociate_p): Use FLOAT_TYPE_P.
1090 * tree-vectorizer.h (vect_is_simple_reduction): Rename to ...
1091 (vect_force_simple_reduction): ... this.
1092 * tree-parloops.c (gather_scalar_reductions): Use
1093 vect_force_simple_reduction.
1094 * tree-vect-loop.c (vect_is_simple_reduction_1): Rename from
1095 vect_is_simple_reduction, add modify argument, if true rewrite
1096 "a-b" into "a+(-b)".
1097 (vect_is_simple_reduction, vect_force_simple_reduction): New
1099 (vect_analyze_scalar_cycles_1): Use vect_force_simple_reduction.
1101 2010-05-10 H.J. Lu <hongjiu.lu@intel.com>
1102 Vladimir Makarov <vmakarov@redhat.com>
1104 PR rtl-optimization/44012
1105 * ira-build.c (remove_unnecessary_allocnos): Nullify
1106 regno_allocno_map of the removed allocno.
1108 2010-05-10 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE>
1110 * configure.ac (gcc_cv_ld_eh_gc_sections): Redirect objdump errors
1112 * configure: Regenerate.
1114 2010-05-10 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE>
1116 * config/sol2.c (solaris_assemble_visibility): Declare decl, vis
1118 Define visibility_types, name, type inside HAVE_GAS_HIDDEN.
1119 * configure.ac (gcc_cv_ld_hidden): Explain stages of visibility
1121 * configure: Regenerate.
1123 2010-05-10 Richard Guenther <rguenther@suse.de>
1125 * lto-symtab.c (lto_symtab_entry_marked_p): Make entry
1126 marked if the entry identifier is marked.
1128 2010-05-10 Richard Guenther <rguenther@suse.de>
1130 * c-common.c (struct c_common_attributes): Add fnspec attribute.
1131 (handle_fnspec_attribute): New function.
1132 * gimple.h (gimple_call_return_flags): Declare.
1133 (gimple_call_arg_flags): Likewise.
1134 * gimple.c (gimple_call_arg_flags): New function.
1135 (gimple_call_return_flags): Likewise.
1136 * tree.h (EAF_DIRECT, EAF_NOCLOBBER, EAF_NOESCAPE, EAF_UNUSED):
1138 (ERF_RETURN_ARG_MASK, ERF_RETURNS_ARG, ERF_NOALIAS): New function
1140 * tree-ssa-alias.c (ref_maybe_used_by_call_p_1): Skip unused args.
1141 * tree-ssa-structalias.c (make_constraint_from_heapvar): Split
1143 (make_heapvar_for): ... this new function.
1144 (handle_rhs_call): Handle fnspec attribute argument specifiers.
1145 (handle_lhs_call): Likewise.
1146 (find_func_aliases): Adjust.
1148 2010-05-10 Richard Guenther <rguenther@suse.de>
1150 PR tree-optimization/44050
1151 * tree-inline.c (tree_function_versioning): Clone the ipa-pta flag.
1153 2010-05-10 Wei Guozhi <carrot@google.com>
1156 * config/arm/thumb2.md (thumb2_tlobits_cbranch): New insn pattern.
1158 2010-05-09 Joseph Myers <joseph@codesourcery.com>
1161 * c-typeck.c (lookup_field): Take a type directly. Update
1163 (build_component_ref): Update call to lookup_field.
1164 (set_init_label): Use lookup_field to find initialized field.
1165 Handle returned list of fields like a sequence of designators.
1167 2010-05-09 Richard Guenther <rguenther@suse.de>
1170 * fold-const.c (tree_single_nonzero_warnv_p): Properly
1171 handle &FUNCTION_DECL.
1173 2010-05-09 Joseph Myers <joseph@codesourcery.com>
1176 * c-decl.c (detect_field_duplicates_hash): New. Handle anonymous
1177 structures and unions recursively.
1178 (detect_field_duplicates): Move duplicate detection with a hash to
1179 detect_field_duplicates_hash. Always use a hash if anonymous
1180 structures or unions are present.
1181 * doc/extend.texi (Unnamed Fields): Document that duplicate fields
1184 2010-05-09 H.J. Lu <hongjiu.lu@intel.com>
1187 * config/i386/driver-i386.c (host_detect_local_cpu): Properly
1188 detect Atom, Core 2 and Core i7.
1190 2010-05-09 Richard Guenther <rguenther@suse.de>
1192 * gcc.c (store_arg): Handle temporary file deletion for
1195 2010-05-09 Richard Guenther <rguenther@suse.de>
1198 * ipa-inline.c (estimate_function_body_sizes): Return after
1199 disregarding inline limits.
1201 2010-05-09 Richard Guenther <rguenther@suse.de>
1203 * gcc.c (store_arg): Revert last change.
1205 2010-05-08 Sandra Loosemore <sandra@codesourcery.com>
1208 * tree-ssa-reassoc.c (eliminate_redundant_comparison): New function.
1209 (optimize_ops_list): Call it.
1211 2010-05-08 Richard Guenther <rguenther@suse.de>
1213 PR tree-optimization/44030
1214 * tree-ssa-pre.c (eliminate): Copy NECESSARY flag. Set
1215 NECESSARY flag if we propagate from a inserted expression.
1217 2010-05-08 Eric Botcazou <ebotcazou@adacore.com>
1219 * gimple.c (gimple_types_compatible_p) <ARRAY_TYPE>: Treat bounds of
1220 domain types as equal if they are both PLACEHOLDER_EXPRs.
1222 2010-05-08 Richard Guenther <rguenther@suse.de>
1224 * lto-wrapper.c (run_gcc): Remove linker output from
1225 command line for LTRANS invocation.
1227 2010-05-07 Steven Bosscher <steven@gcc.gnu.org>
1229 * config.gcc (i[34567]86-*-darwin*, x86_64-*-darwin*): Add
1230 lto-macho as lto_binary_reader.
1231 * target.h (struct gcc_target): New hooks lto_start and lto_end.
1232 * target-def.h (TARGET_ASM_LTO_START, TARGET_ASM_LTO_END): Define.
1233 * cgraphunit.c (ipa_passes): Wrap LTO assembler output generation
1234 in lto_start and lto_end calls.
1235 (is_elf_or_coff): Rename to maybe_lto_object_file. Add Mach-O
1237 (scan_prog_file): Update is_elf_or_coff call.
1238 * doc/tm.text (TARGET_ASM_LTO_START, TARGET_ASM_LTO_END): Document.
1240 * collect2.c (main): Fix enum comparison.
1242 * config/darwin-protos.h (darwin_asm_lto_start, darwin_asm_lto_end):
1244 * darwin9.h (LINK_COMMAND_SPEC): Pass -flto and -fwhopr to the linker.
1245 * darwin.h (LINK_COMMAND_SPEC): Likewise. Define TARGET_ASM_LTO_START
1246 and TARGET_ASM_LTO_END.
1247 * darwin.c: Include obstack.h and lto-streamer.h.
1248 (lto_section_names_offset, lto_section_names_obstack,
1249 lto_asm_out_file, lto_asm_out_name, saved_asm_out_file): New static
1251 (LTO_SEGMENT_NAME, LTO_NAMES_SECTION): New defines.
1252 (darwin_asm_lto_start): New function. Redirect output to asm_out_file
1253 to a temporary file.
1254 (darwin_asm_lto_end): New function. Restore asm_out_file.
1255 (darwin_asm_named_section): For LTO sections, replace the name with
1256 the offset of the section name in a string table, and build this
1258 (darwin_file_start): Initialize global vars for LTO support.
1259 (darwin_file_end): If output to asm_out_file was redirected, append it
1260 to the proper asm_out_file here. Add the section names section.
1262 2010-05-07 Steven Bosscher <steven@gcc.gnu.org>
1264 * c-pragma.c (pending_weak_d, pending_weak): New.
1265 (pending_weaks): Change the type to VEC((pending_weak,gc) *.
1266 (maybe_apply_pragma_weak, maybe_apply_pending_pragma_weaks,
1267 handle_pragma_weak): Update the uses of pending_weaks.
1269 2010-05-07 Ralf Wildenhues <Ralf.Wildenhues@gmx.de>
1271 PR documentation/44016
1272 * doc/standards.texi (Standards): Link to unversioned
1273 cxx0x_status.html page.
1275 2010-05-07 Iain Sandoe <iains@gcc.gnu.org>
1278 * config/darwin-c.c (darwin_pragma_unused): Set DECL_READ_P
1279 in addition to TREE_USED, to avoid "set but unused" warnings.
1281 2010-05-07 Changpeng Fang <changpeng.fang@amd.com>
1283 * tree-ssa-loop-prefetch.c (TRIP_COUNT_TO_AHEAD_RATIO): New.
1284 (is_loop_prefetching_profitable): Do not insert prefetches
1285 when the trip count is not at least TRIP_COUNT_TO_AHEAD_RATIO
1286 times the prefetch ahead distance.
1288 2010-05-07 Changpeng Fang <changpeng.fang@amd.com>
1290 * tree-ssa-loop-prefetch.c (is_loop_prefetching_profitable):
1291 Account for loop unrolling in the insn-to-prefetch ratio heuristic.
1292 (loop_prefetch_arrays): Pass to is_loop_prefetching_profitable
1295 2010-05-07 Changpeng Fang <changpeng.fang@amd.com>
1297 * tree-ssa-loop-prefetch.c (is_loop_prefetching_profitable): Dump
1298 a diagnostic info when the insn-to-mem ratio is too small.
1300 2010-05-07 Richard Guenther <rguenther@suse.de>
1302 * gcc.c (LINK_COMMAND_SPEC): Provide a resolution file to
1304 (store_arg): Queue temp_filename for deletion instead of
1307 2010-05-07 Richard Guenther <rguenther@suse.de>
1309 * lto-wrapper.c (DUMPBASE_SUFFIX): Define.
1310 (run_gcc): Handle LTRANS phase invocation.
1311 * collect2.c (maybe_run_lto_and_relink): Do not set WPA_SAVE_LTRANS.
1313 2010-05-07 Jakub Jelinek <jakub@redhat.com>
1315 * tree.h (TREE_ADDRESSABLE): Adjust comment to say that
1316 this is also meaningful on PARM_DECLs and RESULT_DECLs.
1318 2010-05-07 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE>
1320 * config/mips/iris6.h (LINK_SPEC): Don't pass -init, -fini with -r.
1322 2010-05-07 Richard Guenther <rguenther@suse.de>
1324 PR tree-optimization/44020
1325 * tree-ssa-pre.c (execute_pre): Do not remove dead inserted
1326 code when PRE is not yet initialized.
1328 2010-05-07 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE>
1330 * config/mips/dbxmdebug.h: Remove.
1331 * config.gcc (mips-sgi-irix6.5*): Remove mips/dbxmdebug.h.
1333 2010-05-07 Shujing Zhao <pearly.zhao@oracle.com>
1335 * c-typeck.c (build_binary_op): Warn ordered comparison of pointer
1336 with null pointer and also warn about ordered comparison of zero with
1339 2010-05-05 Andreas Simbuerger <simbuerg@fim.uni-passau.de>
1341 * graphite-blocking.c
1342 (pbb_strip_mine_profitable_p): Replace Value with mpz_t.
1343 * graphite-clast-to-gimple.c
1344 (clast_to_gcc_expression): Same.
1345 (precision_for_value): Same.
1346 (precision_for_interval): Same.
1347 (gcc_type_for_interval): Same.
1348 (graphite_create_new_guard): Same.
1349 (compute_bounds_for_level): Same.
1350 (graphite_create_new_loop_guard): Same.
1351 * graphite-interchange.c
1352 (build_linearized_memory_access): Same.
1353 (pdr_stride_in_loop): Same.
1354 (memory_strides_in_loop_1): Same.
1355 (memory_strides_in_loop): Same.
1356 (extend_scattering): Same.
1357 (psct_scattering_dim_for_loop_depth): Same.
1358 (pbb_number_of_iterations): Same.
1360 (debug_iteration_domains): Same.
1362 (new_Cloog_Domain_from_ppl_Pointset_Powerset): Same.
1363 (ppl_set_inhomogeneous_gmp): Same.
1364 (ppl_strip_loop): Same.
1365 (ppl_lexico_compare_linear_expressions): Same.
1366 (ppl_read_polyhedron_matrix): Same.
1367 (ppl_max_for_le_pointset): Same.
1369 (ppl_read_polyhedron_matrix): Same.
1370 (tree_int_to_gmp): Same.
1371 (gmp_cst_to_tree): Same.
1372 (ppl_set_inhomogeneous): Same.
1373 (ppl_set_inhomogeneous_tree): Same.
1374 (ppl_set_coef): Same.
1375 (ppl_set_coef_tree): Same.
1376 * graphite-sese-to-poly.c
1377 (build_pbb_scattering_polyhedrons): Same.
1378 (build_scop_scattering): Same.
1379 (scan_tree_for_params_right_scev): Same.
1380 (scan_tree_for_params): Same.
1381 (find_params_in_bb): Same.
1382 (find_scop_parameters): Same.
1383 (add_upper_bounds_from_estimated_nit): Same.
1384 (build_loop_iteration_domains): Same.
1385 (add_condition_to_domain): Same.
1386 (pdr_add_memory_accesses): Same.
1388 2010-05-05 Andreas Simbuerger <simbuerg@fim.uni-passau.de>
1390 * graphite-blocking.c (pbb_strip_mine_profitable_p): Resolve
1391 CLooG's value_* macros to their respective mpz_* counterparts.
1392 * graphite-clast-to-gimple.c (clast_to_gcc_expression): Same.
1393 (graphite_create_new_loop_guard): Same.
1394 * graphite-interchange.c (build_linearized_memory_access): Same.
1395 (pdr_stride_in_loop): Same.
1396 (memory_strides_in_loop_1): Same.
1397 (1st_interchange_profitable_p): Same.
1398 * graphite-poly.c (extend_scattering): Same.
1399 (psct_scattering_dim_for_loop_depth): Same.
1400 (pbb_number_of_iterations): Same.
1401 (pbb_number_of_iterations_at_time): Same.
1402 * graphite-poly.h (new_1st_loop): Same.
1403 * graphite-ppl.c (cloog_matrix_to_ppl_constraint): Same.
1404 (oppose_constraint): Same.
1405 (insert_constraint_into_matrix): Same.
1406 (ppl_set_inhomogeneous_gmp): Same.
1407 (ppl_set_coef_gmp): Same.
1408 (ppl_strip_loop): Same.
1409 (ppl_lexico_compare_linear_expressions): Same.
1410 (ppl_max_for_le_pointset): Same.
1411 (ppl_min_for_le_pointset): Same.
1412 (ppl_build_realtion): Same.
1413 * graphite-ppl.h (gmp_cst_to_tree): Same.
1414 (ppl_set_inhomogeneous): Same.
1415 (ppl_set_inhomogeneous_tree): Same.
1416 (ppl_set_coef): Same.
1417 (ppl_set_coef_tree): Same.
1418 * graphite-sese-to-poly.c (build_pbb_scattering_polyhedrons): Same.
1419 (build_scop_scattering): Same.
1420 (add_value_to_dim): Same.
1421 (scan_tree_for_params_right_scev): Same.
1422 (scan_tree_for_params_int): Same.
1423 (scan_tree_for_params): Same.
1424 (find_params_in_bb): Same.
1425 (find_scop_parameters): Same.
1426 (add_upper_bounds_from_estimated_nit): Same.
1427 (build_loop_iteration_domains): Same.
1428 (create_linear_expr_from_tree): Same.
1429 (add_condition_to_domain): Same.
1430 (pdr_add_memory_accesses): Same.
1432 2010-05-06 Magnus Fromreide <magfr@lysator.liu.se>
1433 Jason Merrill <jason@redhat.com>
1435 * c-common.c (c_common_reswords): Add nullptr.
1436 * c-common.h: Add RID_NULLPTR. Reorganize C++0x rids.
1437 * dwarf2out.c (is_base_type): Handle NULLPTR_TYPE.
1438 (gen_type_die_with_usage): Likewise.
1439 * dbxout.c (dbxout_type): Likewise.
1440 * sdbout.c (plain_type_1): Likewise.
1442 2010-05-06 Jason Merrill <jason@redhat.com>
1444 * gimplify.c (gimplify_expr): Set GS_ALL_DONE when appropriate.
1445 Don't change GS_OK to GS_ALL_DONE. Make sure that all cases set
1447 (gimplify_compound_lval): Return GS_ALL_DONE as appropriate.
1449 * gimplify.c (gimplify_modify_expr_rhs): Don't return GS_OK for
1450 stripping WITH_SIZE_EXPR.
1451 (gimplify_expr) [MODIFY_EXPR]: Trust GS_OK even if the rhs didn't
1454 2010-05-06 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE>
1456 * config.gcc: Removed mips-sgi-irix5*, mips-sgi-irix6.[0-4]* from
1457 list of obsolete configurations.
1458 Disabled check for obsolete configurations.
1459 (mips-sgi-irix[56]*): Restrict to mips-sgi-irix6.5*.
1460 Removed support for previous versions.
1461 * config/mips/iris.h: Removed.
1462 * config/mips/iris5.h: Removed.
1463 * config/mips/iris6.h: Merged old iris.h contents.
1464 (TARGET_IRIX): Removed.
1465 (DRIVER_SELF_SPECS): Removed mabi=32.
1466 (IDENT_ASM_OP): Removed undef.
1467 (STARTFILE_SPEC): Removed mabi=32.
1468 (ENDFILE_SPEC): Likewise.
1469 (IRIX_SUBTARGET_LINK_SPEC): Likewise.
1470 (MACHINE_TYPE): Update for IRIX 6.5.
1471 * config/mips/mips.c (mips_build_builtin_va_list): Replaced
1472 TARGET_IRIX by TARGET_IRIX6.
1473 (mips_file_start): Likewise.
1474 (mips_output_external): Remove IRIX 5/6 O32 support.
1475 (mips_output_function_prologue): Likewise.
1476 * config/mips/mips.h (TARGET_GPWORD): Replaced TARGET_IRIX by
1478 (TARGET_CPU_CPP_BUILTINS): Likewise.
1479 (TARGET_IRIX): Removed.
1480 * config/mips/t-iris6 (MULTILIB_OPTIONS): Removed mabi=32.
1481 (MULTILIB_DIRNAMES): Removed 32.
1482 (MULTILIB_OSDIRNAMES): Removed ../lib.
1483 * doc/install.texi (Prerequisites): Don't reference IRIX before 6.5.
1484 (Specific, mips-sgi-irix5): Document removal.
1485 (Specific, mips-sgi-irix6): Document IRIX 6.[0-4] and O32 ABI removal.
1486 Remove references to older IRIX 6 releases and the O32 ABI.
1488 2010-05-06 Jakub Jelinek <jakub@redhat.com>
1491 * df-problems.c (dead_debug_insert_before): Use *DF_REF_REAL_LOC
1492 instead of DF_REF_REAL_REG.
1494 2010-05-06 Dave Korn <dave.korn.cygwin@gmail.com>
1497 * config/i386/winnt.c (i386_pe_binds_local_p): Tweak weak symbol
1498 handling to still return true for x64 targets.
1500 2010-05-06 Maxim Kuvyrkov <maxim@codesourcery.com>
1502 * config/m68k/uclinux.h (LIB_SPEC): Bring in sync with config/linux.h.
1504 2010-05-06 Jan Hubicka <jh@suse.cz>
1506 PR tree-optimization/43791
1507 * ipa-inline.c (update_caller_keys): Remove bogus
1508 disregard_inline_limits check.
1510 2010-05-06 Michael Matz <matz@suse.de>
1512 PR tree-optimization/43984
1513 * tree-ssa-pre.c (inserted_phi_names): Remove.
1514 (inserted_exprs): Change to bitmap.
1515 (create_expression_by_pieces): Set bits, don't append to vector.
1516 (insert_into_preds_of_block): Don't handle inserted_phi_names.
1517 (eliminate): Don't look at inserted_phi_names, remove deleted
1518 insns from inserted_exprs.
1519 (remove_dead_inserted_code): Adjust to use bitmaps instead of vectors.
1520 (init_pre, fini_pre): Allocate and free bitmaps.
1521 (execute_pre): Insert insns on edges before elimination.
1523 2010-05-06 Maxim Kuvyrkov <maxim@codesourcery.com>
1525 * tree.c (initializer_zerop): Handle STRING_CST.
1527 2010-05-06 Manuel López-Ibáñez <manu@gcc.gnu.org>
1530 * doc/invoke.texi (Wimplicit): Document as C only.
1531 * opts.c (common_handle_option): Add argument kind.
1532 (handle_option): Rename as read_cmdline_option. Factor out code to...
1533 (handle_option): ... here. New.
1534 (handle_options): Rename as read_cmdline_options.
1535 (decode_options): Update call.
1536 (set_option): Use option index instead of option pointer. Classify
1537 diagnostics correctly.
1538 (enable_warning_as_error): Call handle_option.
1539 * opts.h (set_option): Update declaration.
1540 (handle_option): Declare.
1541 * langhooks.h (struct lang_hooks): Add argument kind to handle_option.
1542 * c.opt (Wimplicit,Wimplicit-int): Initialize to -1.
1543 * c-opts.c (set_Wimplicit): Delete.
1544 (c_family_lang_mask): New static constant.
1545 (c_common_handle_option): Add argument kind. Use handle_option
1546 instead of set_Wimplicit.
1547 (c_common_post_options): warn_implicit and warn_implicit_int
1548 are disabled by default.
1549 * c-common.c (warn_implicit): Do not define here.
1550 * c-common.h (warn_implicit): Do not declare here.
1551 (c_common_handle_option): Update declaration.
1552 * lto-opts.c (lto_reissue_options): Update call to set_option.
1554 2010-05-06 Richard Guenther <rguenther@suse.de>
1556 PR tree-optimization/43571
1557 * domwalk.c (walk_dominator_tree): Walk the dominator
1558 sons in more optimal order.
1560 2010-05-06 Richard Guenther <rguenther@suse.de>
1562 PR tree-optimization/43934
1563 * tree-ssa-loop-im.c (movement_possibility): Handle PHI nodes.
1564 (stmt_cost): Likewise.
1565 (extract_true_false_args_from_phi): New helper.
1566 (determine_max_movement): For PHI nodes verify we can hoist them
1567 and compute their cost.
1568 (determine_invariantness_stmt): Handle PHI nodes.
1569 (move_computations_stmt): Likewise. Hoist PHI nodes in
1570 if-converted form using COND_EXPRs.
1571 (move_computations): Return TODO_cleanup_cfg if we hoisted PHI nodes.
1572 (tree_ssa_lim): Likewise.
1573 * tree-flow.h (tree_ssa_lim): Adjust prototype.
1574 * tree-ssa-loop.c (tree_ssa_loop_im): Return todo.
1576 2010-05-06 Richard Guenther <rguenther@suse.de>
1578 PR tree-optimization/43987
1579 * tree-ssa-structalias.c (could_have_pointers): For possibly
1580 address-taken variables force pointers to be recorded.
1581 (create_variable_info_for_1): Likewise.
1582 (push_fields_onto_fieldstack): Pass in wheter all fields
1584 (find_func_aliases): Query types instead of vars whether
1585 they contain pointers where appropriate.
1587 2010-05-06 Jan Hubicka <jh@suse.cz>
1589 * cgraphbuild.c (record_reference_ctx): Add varpool_node.
1590 (record_reference, mark_address, mark_load, mark_store): Record
1592 (record_references_in_initializer): Update call of record_references.
1593 (rebuild_cgraph_edges): Remove all references before rebuiding.
1594 * cgraph.c (cgraph_create_node): Clear ref list.
1595 (cgraph_remove_node): Remove references.
1596 (dump_cgraph_node): Dump references.
1597 (cgraph_clone_node): Clone references.
1598 * cgraph.h: Include ipa-ref.h and ipa-ref-inline.h
1599 (struct cgraph_node, varpool_node): Add ref_lst.
1600 * ipa-ref.c: New file.
1601 * ipa-ref.h: New file.
1602 * ipa-ref-inline.h: New file.
1603 * lto-cgraph.c (output_varpool): Take cgrag node set argument.
1604 (referenced_from_other_partition_p): New function.
1605 (lto_output_varpool_node): Take set arugment; call
1606 referenced_from_other_partition.
1607 (lto_output_ref): New.
1608 (add_references): New.
1610 (output_cgraph): Compute boundary based on references; output refs.
1611 (output_varpool): Accept cgraph_node_set argument.
1614 (input_cgraph): Call input_refs.
1615 * lto-section-in.c (lto_section_name): Add refs.
1616 * Makefile.in: (cgraph.h): Include ipa-ref.h and ipa-ref-inline.h
1617 (ipa-ref.o): New file.
1618 * varpool.c (varpool_node): Clear ipa ref list.
1619 (varpool_remove_node): Remove references.
1620 (dump_varpool_node): Dump references.
1621 (varpool_assemble_decl): Only compile finalized ones.
1622 (varpool_extra_name_alias): Initialize ref list.
1623 * lto-streamer.c (lto-get_section_name): Add .refs section.
1624 * lto-streamer.h (lto_section_type): Add LTO_section_refs.
1625 (referenced_from_other_partition_p): Declared.
1627 2010-05-06 Ira Rosen <irar@il.ibm.com>
1629 PR tree-optimization/43901
1630 * tree-vect-stmts.c (vectorizable_call): Assert that vector
1631 type is not NULL if it's transformation phase, and return
1632 FALSE if it's analysis.
1633 (vectorizable_conversion, vectorizable_operation,
1634 vectorizable_type_demotion, vectorizable_type_promotion): Likewise.
1636 2010-05-05 Andrew Pinski <andrew.pinski@caviumnetworks.com>
1638 * config/mips/mips.h (TARGET_SMALL_REGISTER_CLASSES_FOR_MODE_P):
1640 * config/mips/mips.c (TARGET_SMALL_REGISTER_CLASSES_FOR_MODE_P):
1642 * config/mips/mips-protos.h
1643 (mips_small_register_classes_for_mode_p): Delete prototype.
1645 2010-05-06 Bernd Schmidt <bernds@codesourcery.com>
1647 * config/arm/arm.h (MAX_LDM_STM_OPS): New macro.
1648 * config/arm/arm.c (multiple_operation_profitable_p,
1649 compute_offset_order): New static functions.
1650 (load_multiple_sequence, store_multiple_sequence): Use them.
1651 Replace constant 4 with MAX_LDM_STM_OPS. Compute order[0] from
1652 memory offsets, not register numbers.
1653 (emit_ldm_seq, emit_stm_seq): Replace constant 4 with MAX_LDM_STM_OPS.
1655 2010-05-05 Steven Bosscher <steven@gcc.gnu.org>
1657 * stor-layout.c (pending_sizes): Change the type to VEC(tree,gc) *.
1658 (get_pending_sizes, put_pending_size, put_pending_sizes):
1659 Update the uses of pending_sizes.
1660 * c-decl.c (store_parm_decls): Likewise.
1661 * c-tree.h (struct c_arg_info): Likewise.
1662 * tree.h: Update the prototype for get_pending_sizes and
1665 2010-05-05 Jason Merrill <jason@redhat.com>
1668 * c-common.c (handle_aligned_attribute): Respect
1669 ATTR_FLAG_TYPE_IN_PLACE.
1672 * target.h (struct gcc_target): Add attribute_takes_identifier_p.
1673 * target_def.h (TARGET_ATTRIBUTE_TAKES_IDENTIFIER_P): Define.
1674 (TARGET_INITIALIZER): Use it.
1675 * c-common.c (attribute_takes_identifier_p): Call it.
1676 * c-common.h: Update prototype.
1677 * config/rs6000/rs6000.c (rs6000_attribute_takes_identifier_p): New.
1678 (TARGET_ATTRIBUTE_TAKES_IDENTIFIER_P): Define.
1680 2010-05-05 Jakub Jelinek <jakub@redhat.com>
1683 * dwarf2out.c (gen_compile_unit_die): Add DW_AT_identifier_case
1684 DW_ID_down_case for Fortran compilation units.
1686 2010-05-05 Jan Hubicka <jh@suse.cz>
1688 * lto-cgraph.c (lto_output_varpool_node, input_varpool_node): Correctly
1691 2010-05-05 Eric Botcazou <ebotcazou@adacore.com>
1693 * gimplify.c (gimplify_return_expr): Gimplify the size expressions of
1694 a variable-sized RESULT_DECL.
1696 2010-05-05 Maxim Kuvyrkov <maxim@codesourcery.com>
1698 * doc/invoke.texi (-mfix-cortex-m3-ldrd): Move from ARC section to ARM.
1700 2010-05-05 Jason Merrill <jason@redhat.com>
1703 * gimplify.c (gimplify_expr): Keep working if gimplify_modify_expr
1705 (gimplify_modify_expr_rhs): Return GS_OK if anything changed.
1707 2010-05-05 Alexandre Oliva <aoliva@redhat.com>
1708 Jakub Jelinek <jakub@redhat.com>
1711 * df-problems.c (struct dead_debug_use, struct dead_debug): New.
1712 (dead_debug_init, dead_debug_finish): New functions.
1713 (dead_debug_add, dead_debug_insert_before): Likewise.
1714 (df_note_bb_compute): Initialize a dead_debug object, add dead
1715 debug uses to it, insert debug bind insns before death insns,
1716 reset debug insns that refer to pending uses at the end.
1717 * rtl.h (make_debug_expr_from_rtl): New prototype.
1718 * varasm.c (make_debug_expr_from_rtl): New function.
1720 2010-05-05 Jan Hubicka <jh@suse.cz>
1722 * lto-cgraph.c (output_varpool): Forward declare; work on encoder.
1723 (lto_varpool_encoder_new, lto_varpool_encoder_delete,
1724 lto_varpool_encoder_encode, lto_varpool_encoder_lookup,
1725 lto_varpool_encoder_deref, lto_varpool_encoder_size,
1726 lto_varpool_encoder_encode_initializer_p,
1727 lto_set_varpool_encoder_encode_initializer): New functions.
1728 (lto_output_cgraph): Take vset parameter too; compute varpool encoder;
1729 call output_varpool.
1730 (input_varpool_node): Do not always set analyzed.
1731 (input_cgraph_1): Return vector of cgraph nodes.
1732 (input_varpool_1): Return vector of varpools.
1733 (input_cgraph): Free the vectors.
1734 * lto-streamer-out.c (lto_output_ts_decl_common_tree_pointers):
1735 output only initializers needed.
1736 (lto_output): Only call output_cgraph.
1737 (produce_asm_for_decls): Call lto_varpool_encoder_delete.
1738 * lto-section-out.c (lto_new_out_decl_state): Initialize
1739 state->varpool_node_encoder.
1740 * lto-streamer.h (lto_varpool_encoder_d): New.
1741 (lto_out_decl_state, lto_file_decl_data): Add varpool_node_encoder.
1742 (lto_cgraph_encoder_delete, output_cgraph): Update prototype.
1743 (lto_varpool_encoder_deref, lto_varpool_encoder_lookup,
1744 lto_varpool_encoder_encode, lto_varpool_encoder_delete,
1745 lto_varpool_encoder_encode_initializer_p, lto_varpool_encoder_new):
1747 (output_varpool, input_varpool): Remove declarations.
1749 2010-05-05 Jan Hubicka <jh@suse.cz>
1751 * lto-symtab.c (lto_symtab_resolve_can_prevail_p): Alias of variable
1752 with body can prevail.
1754 2010-05-05 Jan Hubicka <jh@suse.cz>
1756 * lto-symtab.c (lto_symtab_merge_decls_1): Prefer declarations with
1759 2010-05-05 Laurynas Biveinis <laurynas.biveinis@gmail.com>
1761 * Makefile.in (build/gengtype.o): Add $(HASHTAB_H) to dependencies.
1763 * gengtype.h (erro_at_line): Constify pos argument.
1765 * gengtype.c: Include hashtab.h.
1766 (enum gc_used): Document GC_MAYBE_POINTED_TO.
1767 (error_at_line): Constify pos argument.
1768 (do_typedef): Initialize p->opt field.
1769 (get_file_gtfilename): Fix comment typo.
1770 (struct walk_type_data): Constify line field.
1771 (get_output_file_for_structure): New function.
1772 (write_local_func_for_structure): Constify orig_s argument.
1773 Use get_output_file_for_structure.
1774 (write_func_for_structure): Use get_output_file_for_structure.
1775 (INDENT): New define.
1776 (dump_pair, dump_type, dump_type_list, dump_typekind)
1777 (dump_gc_used, dump_options, dump_fileloc, dump_type_u_s)
1778 (dump_type_u_a, dump_type_u_param_struct, dump_everything): New
1780 (seen_types): New variable.
1781 (main): New variable do_dump. Process "-d" command line option.
1782 Call dump_everything if dump requested.
1784 2010-05-05 Jakub Jelinek <jakub@redhat.com>
1786 * var-tracking.c (var_debug_decl): Save DECL_DEBUG_EXPR value
1787 in a temporary instead of invoking the macro multiple times.
1788 (track_expr_p): Likewise.
1790 2010-05-04 Neil Vachharajani <nvachhar@google.com>
1792 * doc/invoke.texi (-Wcoverage-mismatch): Updated documentation as
1794 * opts.c (decode_options): Enable -Werror=coverage-mismatch.
1795 * coverage.c (get_coverage_counts): Always emit a warning. Adjust
1796 conditions for printing notes.
1797 * common.opt (-Wcoverage-mismatch): Allow negative, default to
1798 true, update documentation.
1799 * Makefile.in (coverage.o): Add dependence on DIAGNOSTIC_H and intl.h.
1801 2010-05-04 Jakub Jelinek <jakub@redhat.com>
1804 * c-parser.c (c_parser_direct_declarator_inner): Call mark_exp_read
1807 2010-05-04 H.J. Lu <hongjiu.lu@intel.com>
1810 * config/i386/i386.md (sse_prologue_save): Clobber CC register.
1811 (*sse_prologue_save_insn1): Likewise.
1812 (SSE prologue save splitter): Likewise.
1814 2010-05-04 Eric Botcazou <ebotcazou@adacore.com>
1816 * tree.c (free_lang_data_in_one_sizepos): New inline function.
1817 (free_lang_data_in_type): Call it on TYPE_{MIN|MAX}_VALUE of numerical
1818 types. Call it on TYPE_SIZE and TYPE_SIZE_UNIT of all types.
1819 (free_lang_data_in_decl): Call it on DECL_SIZE and DECL_SIZE_UNIT of
1820 all decls. Call it on DECL_FIELD_OFFSET of fields.
1821 (find_decls_types_r): Follow DECL_VALUE_EXPR.
1822 (iterative_hash_expr) <PLACEHOLDER_EXPR>: New case.
1824 2010-05-04 Martin Jambor <mjambor@suse.cz>
1826 * tree-sra.c (build_access_from_expr_1): The first parameter type
1827 changed to simple tree.
1828 (build_access_from_expr): Likewise, gsi parameter was eliminated.
1829 (scan_assign_result): Renamed to assignment_mod_result, enum elements
1831 (build_accesses_from_assign): Removed all parameters except for a
1832 simple gimple statement. Now returns a simple bool.
1833 (scan_function): All non-analysis parts moved to separate functions
1834 sra_modify_function_body and ipa_sra_modify_function_body. Removed all
1835 parameters and updated both callers.
1836 (sra_modify_expr): Removed parameter data.
1837 (sra_modify_function_body): New function.
1838 (perform_intra_sra): Call sra_modify_function_body to modify the
1840 (replace_removed_params_ssa_names): Parameter data changed into
1842 (sra_ipa_modify_expr): Likewise. Also removed unused parameter gsi and
1843 changed the parameter dont_convert to convert with the opposite
1845 (sra_ipa_modify_assign): Parameter data changed into adjustments
1846 vector, return value changed to bool.
1847 (ipa_sra_modify_function_body): New function.
1848 (sra_ipa_reset_debug_stmts): Updated a comment.
1849 (modify_function): Use ipa_sra_modify_function_body to modify function
1852 2010-05-04 H.J. Lu <hongjiu.lu@intel.com>
1855 * alias.c (true_dependence): Handle the same VALUE in x and mem.
1856 (canon_true_dependence): Likewise.
1857 (write_dependence_p): Likewise.
1859 2010-05-04 Jan Hubicka <jh@suse.cz>
1861 * Makefile.in (cgraphbuild.o): Add dependency on ipa-utils.h
1862 * cgraphbuild.c: Include ipa-utils.h
1863 (record_reference_ctx): New struct.
1864 (record_reference): Simplify to work on initializers; not statements.
1865 (mark_address, mark_load, mark_store): New.
1866 (build_cgraph_edges): Simplify using walk_stmt_load_store_addr_ops;
1868 (record_references_in_initializer): Update use of record_reference.
1869 (rebuild_cgraph_edges): Simplify using walk_stmt_load_store_addr_ops;
1872 2010-05-04 Jan Hubicka <jh@suse.cz>
1874 * lto-symtab.c (lto_cgraph_replace_node): Do not remove edges;
1875 node will be removed anyway.
1876 (lto_varpool_replace_node): Allow also unanalyzed nodes;
1877 relink aliases of node into prevailing node.
1878 * varpool.c (varpool_remove_node): Remove aliases properly;
1879 when removing node, remove all its aliases too; remove DECL_INITIAL
1880 of removed node; ggc_free the varpool node.
1882 2010-05-04 Richard Guenther <rguenther@suse.de>
1884 PR tree-optimization/43879
1885 * tree-ssa-structalias.c (alias_get_name): Use
1886 DECL_ASSEMBLER_NAME if available.
1887 (create_function_info_for): Return the varinfo node.
1888 (ipa_pta_execute): Associate same-body aliases and extra names
1889 with their origin nodes varinfo. Dump DECL_ASSEMBLER_NAME.
1891 2010-05-04 Kaz Kojima <kkojima@gcc.gnu.org>
1893 * config/sh/sh.c (sh_small_register_classes_for_mode_p): Remove static.
1895 2010-05-04 Mikael Pettersson <mikpe@it.uu.se>
1898 * ira-color.c (assign_hard_reg): Declare rclass and add_cost
1899 only if HONOR_REG_ALLOC_ORDER is not defined.
1901 2010-05-04 Richard Guenther <rguenther@suse.de>
1903 PR tree-optimization/43949
1904 * tree-vrp.c (extract_range_from_binary_expr): Only handle
1907 2010-04-26 Jason Merrill <jason@redhat.com>
1909 * c.opt (-fstrict-enums): New.
1910 * doc/invoke.texi (C++ Dialect Options): Document -fstrict-enums.
1912 2010-05-03 David Ung <davidu@mips.com>
1913 James E. Wilson <wilson@codesourcery.com>
1915 * config/mips/mips.c (mips_output_division): If GENERATE_DIVIDE_TRAPS,
1916 emit the trap instruction before the divide for TUNE_74K.
1918 2010-05-03 Steven Bosscher <steven@gcc.gnu.org>
1920 * doc/tm.texi (defmac SMALL_REGISTER_CLASSES): Remove.
1921 (TARGET_SMALL_REGISTER_CLASSES_FOR_MODE_P): Add documentation,
1922 based on the above, for new target hook.
1924 * hooks.c (hook_bool_mode_true): New generic hook.
1925 * hooks.h (hook_bool_mode_true): Add prototype.
1927 * target.h (struct gcc_target): Add small_register_classes_for_mode_p
1929 * target-def.h (TARGET_SMALL_REGISTER_CLASSES_FOR_MODE_P): New default
1930 target hook, set to hook_bool_mode_false.
1931 * regs.h: Remove default definition of SMALL_REGISTER_CLASSES.
1932 * reload.c (push_secondary_reload): Replace SMALL_REGISTER_CLASSES
1933 with targetm.small_register_classes_for_mode_p.
1934 (find_reusable_reload): Likewise.
1935 (combine_reloads): Likewise.
1936 * reload1.c (reload_as_needed): Likewise.
1937 * cse.c (approx_reg_cost_1, hash_rtx_cb): Likewise.
1938 * ifcvt.c (noce_process_if_block, check_cond_move_block,
1939 dead_or_predicable): Likewise.
1940 * regmove.c (optimize_reg_copy_1): Likewise.
1941 * calls.c (prepare_call_address): Likewise.
1942 (precompute_register_parameters): Likewise.
1944 * config/sh/sh.h: Replace SMALL_REGISTER_CLASSES with new target
1946 * config/sh/sh.c (sh_small_register_classes_for_mode_p): Add
1947 implementation of the hook that considers all register classes
1948 small except for SH64.
1949 (sh_override_options): Use the new hook.
1950 * config/sh/sh-protos.h (sh_small_register_classes_for_mode_p):
1953 * config/arm/arm.h: Replace SMALL_REGISTER_CLASSES with new target
1955 * config/arm/arm.c (arm_small_register_classes_for_mode_p): Add
1956 implementation of the hook that considers all register classes
1958 * config/arm/arm-protos.h (arm_small_register_classes_for_mode_p):
1961 * config/mips/mips.h: Replace SMALL_REGISTER_CLASSES with new target
1963 * config/mips/mips.c (mips_small_register_classes_for_mode_p): Add
1964 implementation of the hook that considers all register classes
1966 * config/mips/mips-protos.h (mips_small_register_classes_for_mode_p):
1969 * config/i386/i386.h: Replace SMALL_REGISTER_CLASSES with new target
1971 * config/m32c/m32c.h: Likewise.
1972 * config/pdp11/pdp11.h: Likewise.
1973 * config/avr/avr.h: Likewise.
1974 * config/xtensa/xtensa.h: Likewise.
1975 * config/m68hc11/m68hc11.h: Likewise.
1976 * config/mn10300/mn10300.h: Likewise.
1977 * config/mcore/mcore.h: Likewise.
1978 * config/h8300/h8300.h: Likewise.
1979 * config/bfin/bfin.h: Likewise.
1981 * config/iq2000/iq2000.h: Remove SMALL_REGISTER_CLASSES definition.
1982 * config/rx/rx.h: Remove SMALL_REGISTER_CLASSES definition.
1984 2010-05-03 Anatoly Sokolov <aesok@post.ru>
1986 * double-int.h (tree_to_double_int): Remove macro.
1987 (double_int_to_tree, double_int_fits_to_tree_p): Move prototypes ...
1988 * tree.h (double_int_to_tree, double_int_fits_to_tree_p): ... here.
1989 (tree_to_double_int): New function.
1990 * double-int.c (double_int_to_tree, double_int_fits_to_tree_p):
1992 * tree.c (double_int_to_tree, double_int_fits_to_tree_p): ... here.
1994 2010-05-03 Richard Guenther <rguenther@suse.de>
1996 PR tree-optimization/43971
1997 * tree-ssa-structalias.c (get_constraint_for_1): Fix
1998 constraints in the !flag_delete_null_pointer_checks case.
2000 2010-05-03 Jakub Jelinek <jakub@redhat.com>
2003 * config/i386/i386.c (ix86_delegitimize_address): Make sure the
2004 result mode matches original rtl mode.
2006 2010-05-03 Dave Korn <dave.korn.cygwin@gmail.com>
2009 * config/i386/winnt.c (i386_pe_binds_local_p): Handle weak decls.
2011 2010-05-02 Uros Bizjak <ubizjak@gmail.com>
2013 * config/i386/i386.c (ix86_target_string): Output 'flags', not 'isa',
2014 when processing flag options.
2016 2010-05-02 Uros Bizjak <ubizjak@gmail.com>
2018 * gcov-iov.c (main): Change format string placeholder
2019 from %#08x to 0x%08x.
2020 * genchecksum.c (dosum): Change format string placeholder
2021 from %#02x to 0x%02x.
2023 2010-05-02 Richard Guenther <rguenther@suse.de>
2025 PR tree-optimization/43879
2026 * tree-tailcall.c (find_tail_calls): Clobbers also prevent tail calls.
2028 2010-05-02 Bruno Haible <bruno@clisp.org>
2030 * doc/extend.texi (Function Attributes): Fix a typo.
2032 2010-05-02 Uros Bizjak <ubizjak@gmail.com>
2035 * hwint.h (HOST_WIDE_INT_PRINT_DOUBLE_HEX): Change format string
2036 placeholder from 0x%x to %#x.
2037 (HOST_WIDEST_INT_PRINT_DOUBLE_HEX): Ditto.
2038 * config/i386/i386elf.h (ASM_OUTPUT_ASCII): Ditto.
2039 * config/i386/i386-interix.h (ASM_OUTPUT_ASCII): Ditto.
2040 * config/i386/att.h (ASM_OUTPUT_ASCII): Ditto.
2041 * config/i386/sysv4.h (ASM_OUTPUT_ASCII): Ditto.
2042 * config/i386/i386.c (ix86_target_string): Ditto.
2043 * config/i386/i386.c (output_pic_addr_const): Ditto.
2044 (print_operand): Ditto.
2046 2010-05-02 Uros Bizjak <ubizjak@gmail.com>
2048 * vmsdbgout.c (ASM_OUTPUT_DEBUG_DATA1): Change format string
2049 placeholder from 0x%x to %#x.
2050 (ASM_OUTPUT_DEBUG_DATA1): Ditto.
2051 (ASM_OUTPUT_DEBUG_DATA4): Ditto.
2052 (ASM_OUTPUT_DEBUG_DATA): Ditto.
2053 (ASM_OUTPUT_DEBUG_ADDR_DATA): Ditto.
2054 (ASM_OUTPUT_DEBUG_DATA8): Ditto.
2055 * optc-gen.awk: Ditto.
2056 * hwint.h (HOST_WIDE_INT_PRINT_DOUBLE_HEX): Ditto.
2057 (HOST_WIDE_INT_PRINT_HEX): Ditto.
2058 (HOST_WIDEST_INT_PRINT_HEX): Ditto.
2059 (HOST_WIDEST_INT_PRINT_DOUBLE_HEX): Ditto.
2061 2010-05-01 Anatoly Sokolov <aesok@post.ru>
2063 * target.h (struct calls): Add function_value_regno_p field.
2064 * target-def.h (TARGET_FUNCTION_VALUE_REGNO_P): Define.
2065 (TARGET_INITIALIZER): Use TARGET_FUNCTION_VALUE_REGNO_P.
2066 * targhooks.c (default_function_value_regno_p): New function.
2067 * targhooks.h (default_function_value_regno_p): Declare function.
2068 * rtlanal.c (keep_with_call_p): Use function_value_regno_p hook.
2069 * builtins.c. (apply_result_size): (Ditto.).
2070 * combine.c. (likely_spilled_retval_p): (Ditto.).
2071 * mode-switching.c. Include 'target.h'.
2072 (create_pre_exit): Use function_value_regno_p hook.
2073 * Makefile.in (mode-switching.o): Add dependency on TARGET_H.
2074 * doc/tm.texi (FUNCTION_VALUE_REGNO_P,
2075 TARGET_FUNCTION_VALUE_REGNO_P): Revise documentation.
2077 * config/i386/i386.h (TARGET_FUNCTION_VALUE_REGNO_P): Remove macro.
2078 * config/i386/i386.c (TARGET_FUNCTION_VALUE_REGNO_P): Define macro.
2079 (ix86_function_value_regno_p): Declare as static, change argument
2080 type to const unsigned int.
2081 * config/i386/i386-protos.h (ix86_function_value_regno_p): Remove.
2083 2010-05-01 Richard Guenther <rguenther@suse.de>
2085 PR tree-optimization/43949
2086 * tree-vrp.c (ssa_name_nonnegative_p): Return true for unsigned
2088 (extract_range_from_binary_expr): Handle *_MOD_EXPR.
2090 2010-05-01 Anatoly Sokolov <aesok@post.ru>
2092 * rtl.h (CONST_DOUBLE_P): Define.
2093 (rtx_to_double_int): Declare.
2094 * emit-rtl.c (rtx_to_double_int): New function.
2095 * dwarf2out.c (insert_double): New function.
2096 (loc_descriptor, add_const_value_attribute): Clean up, use
2097 rtx_to_double_int and insert_double functions.
2099 2010-05-01 Jonathan Wakely <jwakely.gcc@gmail.com>
2101 * doc/extend.texi (Inline): Add missing return keyword to examples.
2102 (Function Attributes, Variable Attributes, Pragmas): Hyphenate
2105 2010-04-30 Eric Botcazou <ebotcazou@adacore.com>
2107 * tree-ssa-loop-ivopts.c (may_be_unaligned_p): Check the alignment of
2108 the variable part of the offset as well. Use highest_pow2_factor for
2109 all alignment checks.
2111 2010-04-30 Richard Guenther <rguenther@suse.de>
2113 PR tree-optimization/43879
2114 * tree-ssa-structalias.c (type_could_have_pointers): Functions
2117 2010-04-30 Jan Hubicka <jh@suse.cz>
2119 * lto-symtab.c (lto_symtab_resolve_can_prevail_p): Chose var with
2121 (lto_symtab_merge_decls_1): Remove logic looking for an initializer.
2123 2010-04-30 Jan Hubicka <jh@suse.cz>
2125 * cgraph.h (cgraph_node_set_nonempty_p, varpool_node_set_nonempty_p):
2127 * lto-cgraph.c (input_cgraph): Remove call to lto_mark_file_for_ltrans.
2128 * lto-streamer.h (lto_file_decl_data): Remove needs_ltrans_p.
2129 (lto_file_needs_ltrans_p, lto_mark_file_for_ltrans,
2130 cgraph_node_set_needs_ltrans_p): Remove.
2132 2010-04-30 Steven Bosscher <steven@gcc.gnu.org>
2134 * sdbout.c: Include vec.h, do not include varray.h.
2135 (deferred_global_decls, sdbout_global_decl,
2136 sdbout_finish, sdbout_init): Use VEC instead of VARRAY.
2137 * toplev.c: Do not include varray.h.
2138 (dump_memory_report): Do not dump VARRAY statistics.
2139 * gengtype.c (open_base_file): Ignore varray.h.
2140 * Makefile.in: Update for abovementioned changes.
2141 Remove all traces of varray.c and varray.h.
2142 * varray.c: Remove file.
2143 * varray.h: Remove file.
2145 2010-04-30 Jan Hubicka <jh@suse.cz>
2147 * lto-cgraph.c (lto_output_varpool_node): Always output constant pool
2150 2010-04-30 Jan Hubicka <jh@suse.cz>
2152 * tree-profile.c (tree_init_ic_make_global_vars): Mark new decls as
2155 2010-04-30 Richard Guenther <rguenther@suse.de>
2157 * tree-ssa-structalias.c (get_constraint_for_1): Generate
2158 constraints for CONSTRUCTOR.
2160 2010-04-30 Richard Guenther <rguenther@suse.de>
2163 * passes.c (init_optimization_passes): Move pass_ipa_free_lang_data
2164 first after all lowering passes.
2166 2010-04-30 Steven Bosscher <steven@gcc.gnu.org>
2168 * toplev.c: Include varray.h for statistics dumping.
2169 * tree.h: Do not declare varray_head_tag.
2170 * tree-into-ssa.c, tree-ssa-uninit.c, tree-phinodes.c, omega.c,
2171 regs.h, lto-cgraph.c, tree-ssa-loop-ivopts.c, tree-nomudflap.c,
2172 c-objc-common.c, lto-streamer-out.c, tree-ssa-propagate.c,
2173 gimple-low.c, c-semantics.c, dwarf2out.c, lto-streamer-in.c,
2174 lto-section-in.c, alias.c, tree-if-conv.c, gimplify.c, ggc-zone.c,
2175 tree-ssa.c, tree-ssa-loop-prefetch.c, integrate.h, c-gimplify.c,
2176 c-common.c, c-common.h, reg-stack.c, basic-block.h,
2177 tree-ssa-structalias.c, lto-section-out.c, tree-ssanames.c: Do not
2179 * Makefile.in: Update for abovementioned changes.
2181 2010-04-30 Jakub Jelinek <jakub@redhat.com>
2184 * tree.c (auto_var_in_fn_p): Return false for DECL_EXTERNAL vars.
2186 2010-04-30 Hariharan Sandanagobalane <hariharan@picochip.com>
2188 * config/picochip/picochip.c (picochip_legitimize_address): Define.
2189 Use this function to do machine-specific conversion.
2190 (picochip_legitimize_reload_address): Likewise.
2191 (picochip_legitimate_address_p): Check valid base register only if
2193 (picochip_check_conditional_copy): Check for modw only if opnd is
2195 * config/picochip/picochip.h (LEGITIMIZE_RELOAD_ADDRESS): Use this
2196 to call the function in c.
2197 * config/picochip/picochip-protos.h
2198 (picochip_legitimize_reload_address): Define.
2199 * config/picochip/picochip.md (supported_compare1): Define.
2201 2010-04-30 Jan Hubicka <jh@suse.cz>
2203 * cgraph.h (cgraph_local_info): Remove for_functions_valid.
2204 (cgraph_global_info): Remove inlined.
2205 (LTO_cgraph_tag_names): Remove.
2206 (LTO_cgraph_tags, LCC_NOT_FOUND): Move to ...
2207 * lto-cgraph.c (LTO_cgraph_tags, LCC_NOT_FOUND): ... here;
2208 simplify cgraph tags and document.
2209 (lto_output_node): Use only LTO_cgraph_unavail_node and
2210 LTO_cgraph_analyzed_node; Do not save analzed, reachable,
2211 for_functions_valid, global info, process and output flags.
2212 (input_overwrite_node): Initialize estimated stack size and
2213 estimated growth. Do not read flags we no longer store.
2214 (input_node): Likewise do not read info no longer stored.
2215 * ipa-inline.c (cgraph_mark_inline_edge): Do not set global.inlined
2218 2010-04-30 Richard Guenther <rguenther@suse.de>
2220 PR tree-optimization/43879
2221 * tree-ssa-structalias.c (get_constraint_for_1): Properly
2222 handle non-zero initializers.
2224 2010-04-30 Richard Guenther <rguenther@suse.de>
2226 * builtins.c (fold_builtin_1): Delete free (0).
2228 2010-04-29 Jan Hubicka <jh@suse.cz>
2230 * gengtype.c (open_base_files): Add lto-streamer.h
2231 * cgraph.h (cgraph_local_info): lto_file_data is now in GGC.
2232 (pass_ipa_cp): GGC collect.
2233 * toplev. (compile_file): Do not output symbols.
2234 * ipa-inline.c (pass_ipa_inline): Add ggc collect.
2235 * timevar.def (TV_VARPOOL, TV_IPA_LTO_DECL_INIT_IO,
2236 TV_IPA_LTO_DECL_MERGE, TV_IPA_LTO_CGRAPH_MERGE, TV_VAROUT): New.
2237 * lto-section-in.c: Include ggc.h
2238 (lto_new_in_decl_state): Alloc in GGC.
2239 (lto_delete_in_decl_state): Likewise.
2240 * ipa.c (pass_ipa_function_visibility, pass_ipa_whole_program):
2243 2010-04-29 Bernd Schmidt <bernds@codesourcery.com>
2246 * doc/tm.texi (ADJUST_REG_ALLOC_ORDER): Renamed from
2247 ORDER_REGS_FOR_LOCAL_ALLOC. All instances of this macro changed.
2248 (HONOR_REG_ALLOC_ORDER): Describe new macro.
2249 * ira.c (setup_alloc_regs): Use ADJUST_REG_ALLOC_ORDER if defined.
2250 * ira-color.c (assign_hard_reg): Take prologue/epilogue costs into
2251 account only if HONOR_REG_ALLOC_ORDER is not defined.
2252 * config/arm/arm.h (HONOR_REG_ALLOC_ORDER): Define.
2253 * system.h (ORDER_REGS_FOR_LOCAL_ALLOC): Poison.
2255 2010-04-29 Jon Grant <04@jguk.org>
2257 * collect2.c (vflag): Change type from int to bool.
2259 (helpflag): New global bool.
2260 (main): Set vflag and debug with boolean, not integer truth values.
2261 Accept new "--help" option and output usage text if found.
2262 * collect2.h (vflag): Update prototype.
2265 2010-04-29 H.J. Lu <hongjiu.lu@intel.com>
2268 * plugin.h (flag_plugin_added): Moved out of invoke_plugin_callbacks.
2270 2010-04-29 Richard Guenther <rguenther@suse.de>
2273 * plugin.h (invoke_plugin_callbacks): Annotate arguments
2274 with ATTRIBUTE_UNUSED.
2276 2010-04-29 H.J. Lu <hongjiu.lu@intel.com>
2279 * config/i386/i386.c (get_some_local_dynamic_name): Replace
2280 INSN_P with NONDEBUG_INSN_P.
2281 (distance_non_agu_define): Likewise.
2282 (distance_agu_use): Likewise.
2284 2010-04-29 Bernd Schmidt <bernds@codesourcery.com>
2286 From Dominique d'Humieres <dominiq@lps.ens.fr>
2288 * ifcvt.c (dead_or_predicable): Use df_simulate_find_defs to compute
2291 2010-04-29 Brian Hackett <bhackett1024@gmail.com>
2293 * plugin.h (invoke_plugin_callbacks): New inline function.
2294 * plugin.c (flag_plugin_added): New global flag.
2295 (add_new_plugin): Initialize above flag.
2296 (invoke_plugin_callbacks): Rename to ...
2297 (invoke_plugin_callbacks_full): ... this.
2299 2010-04-28 Jan Hubicka <jh@suse.cz>
2301 * lto-symtab.c (lto_symtab_entry_def) Add vnode.
2302 (lto_varpool_replace_node): New.
2303 (lto_symtab_resolve_symbols): Resolve varpool nodes.
2304 (lto_symtab_merge_decls_1): Prefer decls with varpool node.
2305 (lto_symtab_merge_cgraph_nodes_1): Merge varpools.
2306 * cgraph.h (varpool_node_ptr): New type.
2307 (varpool_node_ptr): New vector.
2308 (varpool_node_set_def): New structure.
2309 (varpool_node_set): New type.
2310 (varpool_node_set): New vector.
2311 (varpool_node_set_element_def): New structure.
2312 (varpool_node_set_element, const_varpool_node_set_element): New types.
2313 (varpool_node_set_iterator): New type.
2314 (varpool_node): Add prev pointers, add used_from_other_partition,
2316 (varpool_node_set_new, varpool_node_set_find, varpool_node_set_add,
2317 varpool_node_set_remove, dump_varpool_node_set, debug_varpool_node_set,
2318 varpool_get_node, varpool_remove_node): Declare.
2319 (vsi_end_p, vsi_next, vsi_node, vsi_start, varpool_node_in_set_p,
2320 varpool_node_set_size): New inlines.
2321 * cgraph.c (dump_cgraph_node): Dump asm names of aliases.
2322 * tree-pass.h (varpool_node_set_def): Forward declare.
2323 (ipa_opt_pass_d): Summary writting takes vnode sets too.
2324 (ipa_write_optimization_summaries): Update prototype.
2325 * ipa-cp.c (ipcp_write_summary): Update.
2326 * ipa-reference.c (ipa_reference_write_summary): Update.
2327 * lto-cgraph.c (lto_output_varpool_node): New static function.
2328 (output_varpool): New function.
2329 (input_varpool_node): New static function.
2330 (input_varpool_1): New function.
2331 (input_cgraph): Input varpool.
2332 * ipa-pure-const.c (pure_const_write_summary): Update.
2333 * lto-streamer-out.c (lto_output): Update, output varpool too.
2334 (write_global_stream): Kill WPA hack.
2335 (produce_asm_for_decls): Update.
2336 (output_alias_pair_p): Handle variables.
2337 (output_unreferenced_globals): Output only needed partition of varpool.
2338 * ipa-inline.c (inline_write_summary): Update.
2339 * lto-streamer-in.c (lto_input_tree_ref, lto_input_tree): Do not build
2341 * lto-section-in.c (lto_section_name): Add varpool and jump funcs.
2342 * ipa.c (hash_varpool_node_set_element, eq_varpool_node_set_element,
2343 varpool_node_set_new, varpool_node_set_add,
2344 varpool_node_set_remove, varpool_node_set_find, dump_varpool_node_set,
2345 debug_varpool_node_set): New functions.
2346 * passes.c (rest_of_decl_compilation): when in LTO do not finalize.
2347 (execute_one_pass): Process new decls too.
2348 (ipa_write_summaries_2): Pass around vsets.
2349 (ipa_write_summaries_1): Likewise.
2350 (ipa_write_summaries): Build vset; be more selective about cgraph nodes
2352 (ipa_write_optimization_summaries_1): Pass around vsets.
2353 (ipa_write_optimization_summaries): Likewise.
2354 * varpool.c (varpool_get_node): New.
2355 (varpool_node): Update doubly linked lists.
2356 (varpool_remove_node): New.
2357 (dump_varpool_node): More dumping.
2358 (varpool_enqueue_needed_node): Update doubly linked lists.
2359 (decide_is_variable_needed): Kill ltrans hack.
2360 (varpool_finalize_decl): Kill lto hack.
2361 (varpool_assemble_decl): Skip decls in other partitions.
2362 (varpool_assemble_pending_decls): Update doubly linkes lists.
2363 (varpool_empty_needed_queue): Likewise.
2364 (varpool_extra_name_alias): Likewise.
2365 * lto-streamer.c (lto_get_section_name): Add vars section.
2366 * lto-streamer.h (lto_section_type): Update.
2367 (output_varpool, input_varpool): Declare.
2369 2010-04-28 Mike Stump <mikestump@comcast.net>
2371 * config/i386/darwin.h (CC1_SPEC): Ignore -mdynamic-no-pic for now.
2373 2010-04-28 Eric Botcazou <ebotcazou@adacore.com>
2375 * lto-streamer-in.c (unpack_ts_type_value_fields): Replace test for
2376 record or union type with RECORD_OR_UNION_TYPE_P predicate.
2377 (lto_input_ts_type_tree_pointers): Likewise.
2378 * lto-streamer-out.c (pack_ts_type_value_fields): Likewise.
2379 (lto_output_ts_type_tree_pointers): Likewise.
2381 2010-04-28 Eric Botcazou <ebotcazou@adacore.com>
2383 Uniquization of constants at the Tree level
2384 * tree.h (DECL_IN_CONSTANT_POOL): New macro.
2385 (tree_decl_with_vis): Add in_constant_pool bit, move shadowed_for_var_p
2387 (tree_output_constant_def): Declare.
2388 * gimplify.c (gimplify_init_constructor): When using block copy, first
2389 uniquize the constant constructor on the RHS.
2390 * lto-streamer-in.c (unpack_ts_decl_with_vis_value_fields): Deal with
2391 DECL_IN_CONSTANT_POOL flag.
2392 * lto-streamer-out.c (pack_ts_decl_with_vis_value_fields): Likewise.
2393 * varasm.c (make_decl_rtl): Deal with variables belonging to the global
2395 (assemble_variable): Deal with symbols belonging to the tree constant
2397 (get_constant_section): Add ALIGN parameter and simplify.
2398 (build_constant_desc): Build a VAR_DECL and attach it to the symbol.
2399 (assemble_constant_contents): Use the expression of the VAR_DECL.
2400 (output_constant_def_contents): Use the alignment of the VAR_DECL.
2401 (tree_output_constant_def): New global function.
2402 (mark_constant): Use the expression of the VAR_DECL.
2403 (place_block_symbol): Use the alignment of the VAR_DECL and the size of
2405 (output_object_block): Likewise and assemble the expression.
2407 2010-04-28 Eric Botcazou <ebotcazou@adacore.com>
2409 * lto-streamer.c [LTO_STREAMER_DEBUG] (tree_htab, tree_hash_entry,
2410 hash_tree, eq_tree): New tree hash table.
2411 (lto_streamer_init) [LTO_STREAMER_DEBUG]: Initialize it.
2412 [LTO_STREAMER_DEBUG] (lto_orig_address_map, lto_orig_address_get,
2413 lto_orig_address_remove): Reimplement.
2415 2010-04-28 Xinliang David Li <davidxl@google.com>
2418 * tree-ssa-uninit.c (can_skip_redundant_opnd): New function.
2419 (compute_uninit_opnds_pos): New function.
2420 (is_non_loop_exit_postdominating): New function.
2421 (compute_control_dep_chain): New function.
2422 (find_pdom): New function.
2423 (convert_control_dep_chain_into_preds): New function.
2424 (find_predicates): New function.
2425 (find_control_equiv_block): New function.
2426 (collect_phi_def_edges): New function.
2427 (find_def_preds): New function.
2428 (find_dom): New function.
2429 (dump_predicates): New function.
2430 (get_cmp_code): New function.
2431 (is_value_included_in): New function.
2432 (find_matching_predicate_in_rest_chains): New function.
2433 (use_pred_not_overlap_with_undef_path_pred): New function.
2434 (is_use_properly_guarded): New function.
2435 (normalize_cond_1): New function.
2436 (is_and_or_or): New function.
2437 (normalize_cond): New function.
2438 (is_gcond_subset_of): New function.
2439 (is_subset_of_any): New function.
2440 (is_or_set_subset_of): New function.
2441 (is_and_set_subset_of): New function.
2442 (is_norm_cond_subset_of): New function.
2443 (is_pred_expr_subset_of): New function.
2444 (is_pred_chain_subset_of): New function.
2445 (is_included_in): New function.
2446 (is_superset_of): New function.
2447 (find_uninit_use): New function.
2448 (warn_uninitialized_phi): New function.
2449 (compute_possibly_undefined_names): New function.
2450 (ssa_undefined_value_p): New function.
2451 (execute_late_warn_uninitialized): New function.
2452 * tree-ssa.c (ssa_undefined_value_p): Removed.
2453 (warn_uninit): Changed to extern.
2454 (warn_uninitialized_phi): Removed.
2455 (warn_uninitialized_vars): Changed to extern.
2456 (execute_late_warn_uninitialized): Removed
2457 * tree-flow.h: Add new prototypes.
2458 * timevar.def: Add new time variable.
2459 * Makefile.in: Add new build file.
2461 2010-04-28 Uros Bizjak <ubizjak@gmail.com>
2463 * config/alpha/elf.h (ASM_DECLARE_OBJECT_NAME): Use gnu_unique_object
2466 2010-04-28 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE>
2469 * config/alpha/osf5.h (ASM_OUTPUT_LOCAL): Redefine.
2471 2010-04-28 Martin Jambor <mjambor@suse.cz>
2473 * cgraph.h (struct cgraph_node): New field indirect_calls.
2474 (struct cgraph_indirect_call_info): New type.
2475 (struct cgraph_edge): Removed field indirect_call. New fields
2476 indirect_info, indirect_inlining_edge and indirect_unknown_callee.
2477 (cgraph_create_indirect_edge): Declare.
2478 (cgraph_make_edge_direct): Likewise.
2479 (enum LTO_cgraph_tags): New item LTO_cgraph_indirect_edge.
2480 * ipa-prop.h (struct ipa_param_call_note): Removed.
2481 (struct ipa_node_params): Removed field param_calls.
2482 (ipa_create_all_structures_for_iinln): Declare.
2483 * cgraph.c: Described indirect edges and uids in initial comment.
2484 (cgraph_add_edge_to_call_site_hash): New function.
2485 (cgraph_edge): Search also among the indirect edges, use
2486 cgraph_add_edge_to_call_site_hash to add edges to the call site hash.
2487 (cgraph_set_call_stmt): Possibly turn an indirect edge into a direct
2488 one, use cgraph_add_edge_to_call_site_hash to add edges to the call
2490 (initialize_inline_failed): Assign a reason to indirect edges.
2491 (cgraph_create_edge_1): New function.
2492 (cgraph_create_edge): Moved some functionality to
2493 cgraph_create_edge_1.
2494 (cgraph_create_indirect_edge): New function.
2495 (cgraph_edge_remove_callee): Add an assert checking for
2497 (cgraph_edge_remove_caller): Special-case indirect edges.
2498 (cgraph_remove_edge): Likewise.
2499 (cgraph_set_edge_callee): New function.
2500 (cgraph_redirect_edge_callee): Use cgraph_set_edge_callee.
2501 (cgraph_make_edge_direct): New function.
2502 (cgraph_update_edges_for_call_stmt_node): Do nothing only when also
2503 the declaration of the call statement matches.
2504 (cgraph_node_remove_callees): Special-case indirect edges.
2505 (cgraph_clone_edge): Likewise.
2506 (cgraph_clone_node): Clone also the indirect edges.
2507 (dump_cgraph_node): Dump indirect_inlining_edge flag instead of
2508 indirect_call, dump count of indirect_calls edges.
2509 * ipa-prop.c (iinlining_processed_edges): New variable.
2510 (ipa_note_param_call): Create indirect edges instead of
2511 creating notes. New parameter node.
2512 (ipa_analyze_call_uses): New parameter node, pass it on to
2513 ipa_note_param_call.
2514 (ipa_analyze_stmt_uses): Likewise.
2515 (ipa_analyze_params_uses): Pass node to ipa_analyze_stmt_uses.
2516 (print_edge_addition_message): Work on edges rather than on notes.
2517 (update_call_notes_after_inlining): Likewise, renamed to
2518 update_indirect_edges_after_inlining.
2519 (ipa_create_all_structures_for_iinln): New function.
2520 (ipa_free_node_params_substructures): Do not free notes.
2521 (ipa_edge_duplication_hook): Propagate bits within
2522 iinlining_processed_edges bitmap.
2523 (ipa_node_duplication_hook): Do not duplicate notes.
2524 (free_all_ipa_structures_after_ipa_cp): Renamed to
2525 ipa_free_all_structures_after_ipa_cp.
2526 (free_all_ipa_structures_after_iinln): Renamed to
2527 ipa_free_all_structures_after_iinln.
2528 (ipa_write_param_call_note): Removed.
2529 (ipa_read_param_call_note): Removed.
2530 (ipa_write_indirect_edge_info): New function.
2531 (ipa_read_indirect_edge_info): Likewise.
2532 (ipa_write_node_info): Do not stream notes, do stream information
2534 (ipa_read_node_info): Likewise.
2535 (lto_ipa_fixup_call_notes): Removed.
2536 * ipa-cp.c (pass_ipa_cp): Set stmt_fixup to NULL.
2537 * ipa-inline.c (pass_ipa_inline): Likewise.
2538 * cgraphunit.c (verify_cgraph_node): Check also indirect edges.
2539 * cif-code.def (INDIRECT_UNKNOWN_CALL): New reason.
2540 * tree-inline.c (copy_bb): Removed an unnecessary double check for
2542 * tree-inline.c (get_indirect_callee_fndecl): Do not consider indirect
2544 * lto-cgraph.c (output_outgoing_cgraph_edges): New function.
2545 (output_cgraph): Stream also indirect edges.
2546 (lto_output_edge): Added capability to stream indirect edges.
2547 (input_edge): Likewise.
2548 (input_cgraph_1): Likewise.
2549 * lto-streamer-in.c (fixup_call_stmt_edges_1): Fixup also statements
2552 2010-04-28 Richard Guenther <rguenther@suse.de>
2554 PR tree-optimization/43879
2555 PR tree-optimization/43909
2556 * tree-ssa-structalias.c (struct variable_info): Add
2557 only_restrict_pointers flag.
2558 (new_var_info): Initialize it. Increment stats.total_vars here.
2559 (create_function_info_for): Do not increment stats.total_vars here.
2560 (get_function_part_constraint): Fix build with C++.
2561 (insert_into_field_list): Remove.
2562 (push_fields_onto_fieldstack): Properly merge fields.
2563 (create_variable_info_for): Split and simplify.
2564 (create_variable_info_for_1): New piece.
2565 (intra_create_variable_infos): Properly make restrict constraints
2568 2010-04-28 Richard Guenther <rguenther@suse.de>
2571 * tree-inline.c (copy_bind_expr): Also copy bind expr vars value-exprs.
2573 2010-04-27 Manuel López-Ibáñez <manu@gcc.gnu.org>
2574 Jan Hubicka <hubicka@ucw.cz>
2576 * doc/invoke.texi (-Wsuggest-attribute=const,
2577 -Wsuggest-attribute=pure): Document.
2578 * ipa-pure-const.c: Include toplev.h, intl.h and opts.h.
2579 (function_always_visible_to_compiler_p,
2580 suggest_attribute, warn_function_pure, warn_function_const):
2582 (check_call): Improve debug info.
2583 (analyze_function): Do not check availability.
2584 (add_new_function): Check availability.
2585 (propagate): Output warnings.
2586 (skip_function_for_local_pure_const): New function.
2587 (local_pure_const): Use it; output warnings.
2588 * common.opt (Wsuggest-attribute=const,
2589 Wsuggest-attribute=pure): New.
2591 2010-04-27 Jakub Jelinek <jakub@redhat.com>
2593 * dwarf2out.c (def_cfa_1): After DW_CFA_def_cfa_expression
2594 force using DW_CFA_def_cfa instead of DW_CFA_def_cfa_register
2595 or DW_CFA_def_cfa_offset{,_sf}.
2597 2010-04-27 Eric Botcazou <ebotcazou@adacore.com>
2599 * tree.h: Fix truncated long macros.
2601 2010-04-27 Kai Tietz <kai.tietz@onevision.com>
2603 * collect2.c (TARGET_64BIT): Redefine to target's default.
2604 * tlink.c: Likewise.
2605 * config/i386/cygming.h (USER_LABEL_PREFIX): Define
2606 dependent to TARGET_64BIT and USE_MINGW64_LEADING_UNDERSCORES.
2607 * config/i386/i386.h (CRT_CALL_STATIC_FUNCTION): Use
2608 for underscoring __USER_LABEL_PREFIX__.
2609 * config/i386/mingw-w64.h (SUB_LINK_ENTRY): New macro.
2610 (SUB_LINK_ENTRY32): New.
2611 (SUB_LINK_ENTRY64): New.
2612 (LINK_SPEC): Replace entry point spec by SUB_LINK_ENTRY.
2613 * config/i386/mingw32 (SUB_LINK_ENTRY32): New.
2614 (SUB_LINK_ENTRY64): New.
2615 (SUB_LINK_ENTRY): New.
2616 (LINK_SPEC): Use SUB_LINK_ENTRY instead of hard-coded entry-point.
2617 (DWARF2_UNWIND_INFO): Error out for use of dw2 unwind when
2618 x64 target is choosen.
2619 * config.in (USE_MINGW64_LEADING_UNDERSCORES): New.
2620 * configure: Regenerated.
2621 * configure.ac (leading-mingw64-underscores): Option added.
2623 2010-04-27 Jan Hubicka <jh@suse.cz>
2625 * doc/invoke.texi (-fipa-profile): Document.
2626 * opts.c (decode_options): Enable ipa-profile at -O1.
2627 * timevar.def (TV_IPA_PROFILE): Define.
2628 * common.opt (fipa-profile): Add.
2629 * cgraph.c (cgraph_clone_node): Set local flag and clear vtable method
2631 (cgraph_propagate_frequency): Handle only local ones.
2632 * tree-pass.h (pass_ipa_profile): Declare.
2633 * ipa-profile.c (gate_profile): Use flag_ipa_profile.
2634 (pass_ipa_profile): Use TV_IPA_PROFILE.
2635 * ipa.c (ipa_profile): New function.
2636 (gate_ipa_profile): Likewise.
2637 (pass_ipa_profile): New global variable.
2638 * passes.c (pass_ipa_profile): New.
2640 2010-04-27 Nathan Froyd <froydnj@codesourcery.com>
2642 * config/arm/arm.c (arm_expand_builtin): Remove redundant declaration.
2644 2010-04-27 Martin Jambor <mjambor@suse.cz>
2647 * ipa.c (dissolve_same_comdat_group_list): New function.
2648 (function_and_variable_visibility): Call
2649 dissolve_same_comdat_group_list when comdat group contains external or
2651 * cgraphunit.c (verify_cgraph_node): Verify that same_comdat_group
2652 lists are circular and that they contain only DECL_ONE_ONLY nodes.
2654 2010-04-27 Eric Botcazou <ebotcazou@adacore.com>
2656 * varasm.c (decode_addr_const): Handle special case of INDIRECT_REF.
2657 (const_hash_1) <VECTOR_CST>: New case.
2658 (compare_constant) <VECTOR_CST>: Likewise.
2659 <ADDR_EXPR>: Deal with LABEL_REFs.
2660 (copy_constant) <VECTOR_CST>: New case.
2662 2010-04-27 Jan Hubicka <jh@suse.cz>
2664 * cgraph.c (cgraph_propagate_frequency): New function.
2665 * cgraph.h (cgraph_propagate_frequency): Declare.
2666 * ipa-inline.c (cgraph_clone_inlined_nodes): Call
2667 cgraph_propagate_frequency.
2669 2010-04-27 Jakub Jelinek <jakub@redhat.com>
2671 * unwind-dw2.c (_Unwind_DebugHook): Add used and noclone attributes.
2673 2010-04-27 Bernd Schmidt <bernds@codesourcery.com>
2676 * config/arm/arm.c (thumb1_extra_regs_pushed): New function.
2677 (thumb1_expand_prologue, thumb1_output_function_prologue): Call it
2678 here to determine which regs to push and how much stack to reserve.
2680 2010-04-27 Jie Zhang <jie@codesourcery.com>
2682 * doc/gimple.texi (gimple_statement_with_ops): Remove
2683 addresses_taken field.
2684 (gimple_statement_with_memory_ops): Likewise.
2686 2010-04-27 Jan Hubicka <jh@suse.cz>
2688 * tree-inline.c (eni_inlining_weights): Remove.
2689 (estimate_num_insns): Special case more builtins.
2691 2010-04-27 Shujing Zhao <pearly.zhao@oracle.com>
2694 * c-typeck.c (build_binary_op): Move forward check for comparison
2695 pointer with null pointer constant and adjust the diagnostic message.
2697 2010-04-27 Dave Korn <dave.korn.cygwin@gmail.com>
2700 * configure.ac (gcc_cv_as_section_has_align): Set if installed
2701 binutils supports extended .section directive needed by LTO, or
2702 warn if older binutils found.
2703 (LTO_BINARY_READER): New AC_SUBST'd variable.
2704 (LTO_USE_LIBELF): Likewise.
2705 * gcc/config.gcc (lto_binary_reader): New target-specific configure
2707 * gcc/Makefile.in (LTO_BINARY_READER): Import AC_SUBST'd autoconf var.
2708 (LTO_USE_LIBELF): Likewise.
2709 * configure: Regenerate.
2711 * collect2.c (is_elf): Rename from this ...
2712 (is_elf_or_coff): ... to this, and recognize and allow i386 COFF
2713 object files in addition to ELF-formatted ones.
2714 (scan_prog_file): Caller updated. Also allow for LTO info marker
2715 symbol to be prefixed or not by an extra underscore.
2717 * config/i386/t-cygming (winnt.o): Also depend on LTO_STREAMER_H.
2718 * config/i386/winnt.c: Also #include lto-streamer.h
2719 (i386_pe_asm_named_section): Specify 1-byte section alignment for
2721 (i386_pe_asm_output_aligned_decl_common): Add comment.
2722 (i386_pe_maybe_record_exported_symbol): Allow decl arg to be NULL.
2724 2010-04-27 Hans-Peter Nilsson <hp@bitrange.com>
2727 * config/mmix/mmix.md ("*divdi3_nonknuth", "*moddi3_nonknuth"):
2728 Add missing earlyclobber for second alternative.
2730 2010-04-26 Bernd Schmidt <bernds@codesourcery.com>
2732 * df-problems.c (df_simulate_initialize_forwards): Set, don't clear,
2733 bits for artificial defs at the top of the block.
2734 * fwprop.c (single_def_use_enter_block): Don't call it.
2736 2010-04-26 Jack Howarth <howarth@bromo.med.uc.edu>
2739 * gcc/configure.ac: Use "$gcc_cv_nm -g" on darwin
2740 instead of "$gcc_cv_objdump -T".
2741 Use "-undefined dynamic_lookup" on darwin.
2742 * gcc/configure: Regenerate.
2744 2010-04-26 Jakub Jelinek <jakub@redhat.com>
2747 * c-omp.c (c_finish_omp_for): Handle also EQ_EXPR.
2749 2010-04-26 Nathan Froyd <froydnj@codesourcery.com>
2751 * c-parser.c (struct c_token): Move location field up.
2752 * c-tree.h (struct c_typespec): Move expr_const_operands field up.
2753 (struct c_declspecs): Convert typespec_word, storage_class, and
2754 default_int_p into bitfields.
2755 (struct c_declarator): Move loc field up.
2757 2010-04-26 Nathan Froyd <froydnj@codesourcery.com>
2759 * cfgloop.h (struct loop): Move can_be_parallel field up.
2760 * ipa-prop.h (struct ip_node_params): Move bitfields up.
2761 * tree-ssa-loop-ivopts.c (struct version_info): Move inv_id field
2763 (struct iv_cand): Convert pos field into a bitfield.
2764 * tree-vectorizer.h (struct _loop_vec_info): Move loop_line_number
2766 (struct _stmt_vec_info): Shuffle fields for better packing.
2768 2010-04-26 Eric Botcazou <ebotcazou@adacore.com>
2770 * varasm.c (IN_NAMED_SECTION): Remove guard.
2771 * config/arm/unknown-elf.h (IN_NAMED_SECTION): Rename to...
2772 (IN_NAMED_SECTION_P): ...this.
2773 (ASM_OUTPUT_ALIGNED_BSS): Adjust for above renaming.
2774 (ASM_OUTPUT_ALIGNED_DECL_LOCAL): Likewise.
2776 2010-04-26 Eric Botcazou <ebotcazou@adacore.com>
2778 * gimplify.c (gimplify_cond_expr): Use THEN_ and ELSE_ local variables.
2779 Use VOID_TYPE_P for all void type tests. Adjust TYPE variable instead
2780 of shadowing it. Fix comments.
2782 2010-04-26 Jan Hubicka <jh@suse.cz>
2784 * cgraph.c (cgraph_create_node): Set node frequency to normal.
2785 (cgraph_clone_node): Copy function frequency.
2786 * cgraph.h (node_frequency): New enum
2787 (struct cgraph_node): Add.
2788 * final.c (rest_of_clean_state): Update.
2789 * lto-cgraph.c (lto_output_node): Output node frequency.
2790 (input_overwrite_node): Input node frequency.
2791 * tre-ssa-loop-ivopts (computation_cost): Update.
2792 * lto-streamer-out.c (output_function): Do not output function
2794 * predict.c (maybe_hot_frequency_p): Update and handle functions
2796 (cgraph_maybe_hot_edge_p): Likewise; use cgraph frequency instead of
2798 (probably_never_executed_bb_p, optimize_function_for_size_p): Update.
2799 (compute_function_frequency): Set noreturn functions to be executed
2801 (choose_function_section): Update.
2802 * lto-streamer-in.c (input_function): Do not input function frequency.
2803 * function.c (allocate_struct_function): Do not initialize function
2805 * function.h (function_frequency): Remove.
2806 (struct function): Remove function frequency.
2807 * ipa-profile.c (CGRAPH_NODE_FREQUENCY): Remove.
2808 (try_update): Update.
2809 * tree-inline.c (initialize_cfun): Do not update function frequency.
2810 * passes.c (pass_init_dump_file): Update.
2811 * i386.c (ix86_compute_frame_layout): Update.
2812 (ix86_pad_returns): Update.
2814 2010-04-26 Jie Zhang <jie@codesourcery.com>
2816 PR tree-optimization/43833
2817 * tree-vrp.c (range_int_cst_p): New.
2818 (range_int_cst_singleton_p): New.
2819 (extract_range_from_binary_expr): Optimize BIT_AND_EXPR case
2820 when both operands are constants. Use range_int_cst_p in
2823 2010-04-26 Jan Hubicka <jh@suse.cz>
2825 * cgraphunit.c (cgraph_copy_node_for_versioning): Fix profile updating.
2827 2010-04-26 Richard Guenther <rguenther@suse.de>
2830 * gimple.c (gimple_decl_printable_name): Deal gracefully
2831 with a NULL DECL_NAME.
2833 2010-04-26 Richard Guenther <rguenther@suse.de>
2836 * tree.c (free_lang_data_in_type): Do not free TYPE_CONTEXT
2837 if emitting debug information and it is either a function
2838 or a namespace decl.
2840 2010-04-26 Ira Rosen <irar@il.ibm.com>
2842 * tree-vectorizer.h (struct _stmt_vec_info): Add new field to
2843 determine if the statement is vectorizable, and a macro to access it.
2844 * tree-vect-data-refs.c (vect_analyze_data_ref_dependence):
2845 Skip statements that can't be vectorized. If the analysis fails,
2846 mark the statement as unvectorizable if vectorizing basic block.
2847 (vect_compute_data_refs_alignment): Likewise.
2848 (vect_verify_datarefs_alignment): Skip statements marked as
2849 unvectorizable. Add print.
2850 (vect_analyze_group_access): Skip statements that can't be
2851 vectorized. If the analysis fails, mark the statement as
2852 unvectorizable if vectorizing basic block.
2853 (vect_analyze_data_ref_accesses, vect_analyze_data_refs): Likewise.
2854 * tree-vect-stmts.c (vectorizable_store): Fix the number of
2855 generated stmts for SLP.
2856 (new_stmt_vec_info): Initialize the new field.
2857 * tree-vect-slp.c (vect_build_slp_tree): Fail to vectorize
2858 statements marked as unvectorizable.
2860 2010-04-25 Joseph Myers <joseph@codesourcery.com>
2862 * c-common.c (flag_isoc1x): New.
2863 (flag_isoc99): Update comment.
2864 * c-common.h (flag_isoc1x): New.
2865 (flag_isoc99): Update comment.
2866 * c-cppbuiltin.c (builtin_define_float_constants): Also define
2867 __<type>_DECIMAL_DIG__.
2868 * c-opts.c (set_std_c1x): New.
2869 (c_common_handle_option): Handle -std=c1x and -std=gnu1x.
2870 (set_std_c89, set_std_c99): Also set flag_isoc1x to 0.
2871 * c.opt (-std=c1x, -std=gnu1x): New options.
2872 * doc/cpp.texi: Mention -std=c1x.
2873 * doc/cppopts.texi (-std=c1x, -std=gnu1x): Document.
2874 * doc/extend.texi: Mention -std=c1x and -std=gnu1x.
2875 * doc/invoke.texi (-std=c1x, -std=gnu1x): Document.
2876 * doc/standards.texi: Mention C1X.
2877 * ginclude/float.h (FLT_DECIMAL_DIG, DBL_DECIMAL_DIG,
2878 LDBL_DECIMAL_DIG, FLT_HAS_SUBNORM, DBL_HAS_SUBNORM,
2879 LDBL_HAS_SUBNORM, FLT_TRUE_MIN, DBL_TRUE_MIN, LDBL_TRUE_MIN):
2882 2010-04-25 Uros Bizjak <ubizjak@gmail.com>
2884 * config/i386/gmon-sol2.c (_mcleanup): Change format string
2885 placeholder from 0x%x to %#x.
2886 * config/i386/i386elf.h (ASM_OUTPUT_ASCII): Ditto.
2887 * config/i386/i386-interix.h (ASM_OUTPUT_ASCII): Ditto.
2888 * config/i386/att.h (ASM_OUTPUT_ASCII): Ditto.
2889 * config/i386/sysv4.h (ASM_OUTPUT_ASCII): Ditto.
2890 * config/i386/i386.c (ix86_target_string): Ditto.
2891 (output_pic_addr_const): Ditto.
2892 (print_operand): Ditto.
2894 2010-04-25 Paolo Bonzini <bonzini@gnu.org>
2896 * combine.c (find_split_point): Add third argument. Use it
2897 to find nested multiply-accumulate instructions. Adjust calls.
2898 (try_combine): Adjust call to find_split_point.
2900 2010-04-24 Gerald Pfeifer <gerald@pfeifer.com>
2902 * doc/contrib.texi (Contributors): Add Dodji Seketeli.
2904 2010-04-24 Bernd Schmidt <bernds@codesourcery.com>
2906 PR tree-optimization/41442
2907 * fold-const.c (merge_truthop_with_opposite_arm): New function.
2908 (fold_binary_loc): Call it.
2910 2010-04-23 Manuel López-Ibáñez <manu@gcc.gnu.org>
2912 * toplev.c (general_init): Set default for fdiagnostics-show-option.
2913 * opts.c (common_handle_option): Allow disabling it.
2914 * common.opt (fdiagnostics-show-option): Add Var. Enabled by default.
2916 2010-04-23 Eric Botcazou <ebotcazou@adacore.com>
2918 * expr.c (expand_expr_real_1) <VIEW_CONVERT_EXPR>: Only use conversion
2919 between modes if both types are integral.
2921 2010-04-23 Richard Guenther <rguenther@suse.de>
2923 PR tree-optimization/43572
2924 * tree-tailcall.c (find_tail_calls): Allow PARM_DECL uses.
2926 2010-04-23 Richard Guenther <rguenther@suse.de>
2929 * tree-inline.c (tree_can_inline_p): Also check compatibility
2932 2010-04-23 Martin Jambor <mjambor@suse.cz>
2934 PR tree-optimization/43846
2935 * tree-sra.c (struct access): New flag grp_assignment_read.
2936 (build_accesses_from_assign): Set grp_assignment_read.
2937 (sort_and_splice_var_accesses): Propagate grp_assignment_read.
2938 (enum mark_read_status): New type.
2939 (analyze_access_subtree): Propagate grp_assignment_read, create
2940 accesses also if both direct_read and root->grp_assignment_read.
2942 2010-04-23 Martin Jambor <mjambor@suse.cz>
2945 * tree-sra.c (ipa_sra_preliminary_function_checks): Check that the
2946 function does not have type attributes.
2948 2010-04-23 Richard Guenther <rguenther@suse.de>
2951 * tree.c (free_lang_data_in_decl): Do not reset DECL_CONTEXT
2954 2010-04-22 Laurynas Biveinis <laurynas.biveinis@gmail.com>
2956 * sese.h (create_if_region_on_edge): Remove.
2958 * sese.c (create_if_region_on_edge): Make static.
2960 * tree-inline.c: Do not include ggc.h.
2962 * expr.c: Do not include ggc.h.
2964 * Makefile.in (tree-inline.o, expr.o): Remove $(GGC_H) from
2967 2010-04-22 Kaz Kojima <kkojima@gcc.gnu.org>
2970 * config/sh/sh.c (find_barrier): Don't emit a constant pool
2971 in the middle of insns for casesi_worker_2.
2973 2010-04-22 David Edelsohn <edelsohn@gnu.org>
2975 * config/rs6000/x-aix: Override LDFLAGS for all COMPILERS.
2977 2010-04-22 Ira Rosen <irar@il.ibm.com>
2979 PR tree-optimization/43842
2980 * tree-vect-loop.c (vect_create_epilog_for_reduction): Handle
2981 loop unrolling in update of exit phis. Fix comment.
2982 * tree-vect-slp.c (vect_analyze_slp): Check that there are at
2983 least two reduction statements in the loop before starting SLP
2986 2010-04-22 Nick Clifton <nickc@redhat.com>
2988 * config/stormy16/stormy16-lib2.c (__ucmpsi2): Fix thinko.
2990 2010-04-22 Alexander Monakov <amonakov@ispras.ru>
2992 * tree-ssa-reassoc.c (eliminate_plus_minus_pair): Handle BIT_NOT_EXPR
2995 2010-04-22 Laurynas Biveinis <laurynas.biveinis@gmail.com>
2997 * tree-parloops.c (loop_parallel_p): New argument
2998 parloop_obstack. Pass it down.
2999 (parallelize_loops): New variable parloop_obstack. Initialize it,
3000 pass it down, free it.
3002 * tree-loop-linear.c (linear_transform_loops): Pass down
3005 * tree-data-ref.h (lambda_compute_access_matrices): New argument
3006 of type struct obstack *.
3008 * tree-data-ref.c (analyze_subscript_affine_affine): New variable
3009 scratch_obstack. Initialize it, pass down, free it.
3011 * lambda.h (lambda_loop_new): Remove.
3012 (lambda_matrix_new, lambda_matrix_inverse)
3013 (lambda_trans_matrix_new, lambda_trans_matrix_inverse): New
3014 argument of type struct obstack *.
3016 * lambda-trans.c (lambda_trans_matrix_new): New argument
3017 lambda_obstack. Pass it down, use obstack allocation for ret.
3018 (lambda_trans_matrix_inverse): New argument lambda_obstack. Pass
3021 * lambda-mat.c (lambda_matrix_get_column)
3022 (lambda_matrix_project_to_null): Remove.
3023 (lambda_matrix_new): New argument lambda_obstack. Use obstack
3025 (lambda_matrix_inverse_hard, lambda_matrix_inverse): New argument
3028 * lambda-code.c (lambda_loop_new): New function.
3029 (lambda_lattice_new, compute_nest_using_fourier_motzkin)
3030 (lambda_compute_auxillary_space, lambda_compute_target_space)
3031 (lambda_loopnest_transform, gcc_loop_to_lambda_loop)
3032 (lambda_loopnest_to_gcc_loopnest): Pass down lambda_obstack.
3033 (build_access_matrix): New argument lambda_obstack. Use obstack
3035 (lambda_compute_step_signs, lambda_compute_access_matrices): New
3036 argument lambda_obstack. Pass it down.
3038 2010-04-22 Bernd Schmidt <bernds@codesourcery.com>
3040 * optabs.h (expand_widening_mult): Declare.
3042 2010-04-22 Richard Guenther <rguenther@suse.de>
3044 PR tree-optimization/43845
3045 * tree-ssa-pre.c (create_component_ref_by_pieces_1): Properly
3046 lookup the CALL_EXPR function and arguments.
3048 2010-04-22 Nick Clifton <nickc@redhat.com>
3050 * config/stormy16/stormy16.c
3051 (xstormy16_asm_output_aligned_common): Handle a NULL decl parameter.
3052 * config/stormy16/stormy16.h: Tidy up formatting.
3053 (DONT_USE_BUILTIN_SETJMP): Remove definition.
3054 * config/stormy16/stormy16.c (cbranchsi4): Delete pattern.
3055 (ineqbranchsi): Delete pattern.
3056 * config/stormy16/stormy16-lib2-ucmpsi2.c: New file.
3057 * config/stormy16/stormy16-lib2.c (__ucmpsi2): New function.
3058 * config/stormy16/t-stormy16 (LIB2FUNCS_EXTRA): Add
3059 stormy16-lib2-ucmpsi2.c.
3061 2010-04-22 Bernd Schmidt <bernds@codesourcery.com>
3063 * ifcvt.c (dead_or_predicable): Use df_simulate_find_defs and
3064 df_simulate_find_noclobber_defs as appropriate. Keep track of an
3065 extra set merge_set_noclobber, and use it to relax the final test
3067 * df.h (df_simulate_find_noclobber_defs): Declare.
3068 * df-problems.c (df_simulate_find_defs): Don't ignore partial or
3070 (df_simulate_find_noclobber_defs): New function.
3072 2010-04-22 Uros Bizjak <ubizjak@gmail.com>
3074 * config/i386/i386.md: Use {} around multi-line preparation statements.
3076 2010-04-22 Laurynas Biveinis <laurynas.biveinis@gmail.com>
3078 * c-tree.h (push_init_level, pop_init_level, set_init_index)
3079 (process_init_element): New argument of type struct obstack *.
3081 * c-typeck.c (push_init_level, pop_init_level, set_designator)
3082 (set_init_index, set_init_label, set_nonincremental_init)
3083 (set_nonincremental_init_from_string, find_init_member)
3084 (output_init_element, output_pending_init_elements)
3085 (process_init_element): New argument braced_init_obstack. Pass it
3087 (push_range_stack, add_pending_init): New argument
3088 braced_init_obstack. Use obstack allocation.
3090 * c-parser.c (c_parser_initelt, c_parser_initval): New argument
3091 braced_init_obstack. Pass it down.
3092 (c_parser_braced_init): New variables ret, braced_init_obstack.
3093 Initialize obstack, pass it down and finally free it.
3095 2010-04-22 Bernd Schmidt <bernds@codesourcery.com>
3098 * tree-pass.h (pass_optimize_widening_mul): Declare.
3099 * tree-ssa-math-opts.c (execute_optimize_widening_mul,
3100 gate_optimize_widening_mul): New static functions.
3101 (pass_optimize_widening_mul): New.
3102 * expr.c (expand_expr_real_2) <case WIDEN_MULT_EXPR>: New case.
3103 <case MULT_EXPR>: Remove support for widening multiplies.
3104 * tree.def (WIDEN_MULT_EXPR): Tweak comment.
3105 * cfgexpand.c (expand_debug_expr) <case WIDEN_MULT_EXPR>: Use
3106 simplify_gen_unary rather than directly building extensions.
3107 * tree-cfg.c (verify_gimple_assign_binary): Add tests for
3109 * expmed.c (expand_widening_mult): New function.
3110 * passes.c (init_optimization_passes): Add pass_optimize_widening_mul.
3112 2010-04-21 Jan Hubicka <jh@suse.cz>
3114 * timevar.def (TV_WHOPR_WPA_FIXUP): Remove.
3115 * lto-section-in.c (lto_section_name): Remove wpa_fixup.
3116 * lto-wpa-fixup.c: Remove.
3117 * Makefile.in (lto-wpa-fixup.o): Remove.
3118 * passes.c (init_optimization_passes): Remove pass_ipa_lto_wpa_fixup.
3119 (execute_all_ipa_transforms): Set cgraph_state to CGRAPH_STATE_IPA_SSA.
3120 * lto-streamer.c (lto_get_section_name): Remove wpa_fixup section.
3122 2010-04-21 Jan Hubicka <jh@suse.cz>
3124 * tree-pass.h (ipa_opt_pass_d): Rename function_read_summary;
3125 add write_optimization_summary, read_optimization_summary.
3126 (ipa_write_summaries_of_cgraph_node_set): Remove.
3127 (ipa_write_optimization_summaries): Declare.
3128 (ipa_read_optimization_summaries): Declare.
3129 * ipa-cp.c (pass_ipa_cp): Update.
3130 * ipa-reference.c (pass_ipa_reference): Update.
3131 * ipa-pure-const.c (pass_ipa_pure_const): Update.
3132 * lto-streamer-out.c (pass_ipa_lto_gimple, pass_ipa_lto_finish):
3134 * ipa-inline.c (pass_ipa_inline): Update.
3135 * ipa.c (pass_ipa_whole_program): Update.
3136 * lto-wpa-fixup.c (pass_ipa_lto_wpa_fixup): Update.
3137 * passes.c (ipa_write_summaries_1): Do not test wpa.
3138 (ipa_write_optimization_summaries_1): New.
3139 (ipa_write_optimization_summaries): New.
3140 (ipa_read_summaries): Do not test ltrans.
3141 (ipa_read_optimization_summaries_1): New.
3142 (ipa_read_optimization_summaries): New.
3144 2010-04-21 Jan Hubicka <jh@suse.cz>
3146 * lto-cgraph.c (lto_output_node): Do not output comdat groups
3148 (output_cgraph): Do not arrange comdat groups for boundary nodes.
3150 2010-04-21 Jakub Jelinek <jakub@redhat.com>
3153 * dwarf2out.c (add_name_and_src_coords_attributes): Add
3154 DW_AT_{,MIPS_}linkage_name even for Fortran decls.
3156 2010-04-21 Jan Hubicka <jh@suse.cz>
3158 * ipa-prop.c (ipa_edge_removal_hook): Check for bounds.
3160 2010-04-21 Jan Hubicka <jh@suse.cz>
3162 * varpool.c (decide_is_variable_needed): Variable is always needed
3165 2010-04-21 Jan Hubicka <jh@suse.cz>
3167 * opts.c (decode_options): Enable pure-const pass for whopr.
3169 2010-04-21 Jan Hubicka <jh@suse.cz>
3171 * cgraph.c (dump_cgraph_node): Dump also assembler name.
3172 * ipa-inline.c (cgraph_decide_inlining_of_small_functions): Do not ice
3174 (cgraph_decide_inlining): Do not expect callee to be removed in all
3177 2010-04-21 Eric B. Weddington <eric.weddington@atmel.com>
3179 * config/avr/avr-devices.c (avr_mcu_types): Add missing comma.
3181 2010-04-21 Uros Bizjak <ubizjak@gmail.com>
3183 * config/i386/i386.md (x86_shrd): Add athlon_decode and
3184 amdfam10_decode attributes.
3186 2010-04-21 Jakub Jelinek <jakub@redhat.com>
3189 * omp-low.c (scan_sharing_clauses): Don't scan_omp_op
3190 OMP_CLAUSE_DECL for OMP_CLAUSE_COPYPRIVATE.
3191 (lower_copyprivate_clauses): Use private var in outer
3192 context instead of original var. Make sure the types
3193 are correct for VLAs.
3195 2010-04-21 Richard Guenther <rguenther@suse.de>
3197 * tree-ssa-structalias.c (do_ds_constraint): Avoid escaping
3198 to non-pointer objects.
3200 2010-04-21 Jakub Jelinek <jakub@redhat.com>
3202 * dwarf2out.c (add_var_loc_to_decl): Add LABEL argument. Drop
3203 last chain entry if it starts with the still current label.
3204 (add_location_or_const_value_attribute): Check that
3205 loc_list->first->next is NULL instead of comparing ->first with ->last.
3206 (dwarf2out_var_location): Pass last_label resp. last_postcall_label
3207 to add_var_loc_to_decl.
3209 * dwarf2out.c (output_call_frame_info): For dw_cie_version
3210 >= 4 add also address size and segment size fields into CIE header.
3212 * unwind-dw2.c (extract_cie_info): Handle CIE version 4, as
3213 long as address size is the same as sizeof (void *) and
3215 * unwind-dw2-fde.c (get_cie_encoding): Likewise. If
3216 address size or segment size is unexpected, return DW_EH_PE_omit.
3217 (classify_object_over_fdes): If get_cie_encoding returned
3218 DW_EH_PE_omit, return -1.
3219 (init_object): If classify_object_over_fdes returned -1,
3220 pretend there were no FDEs at all.
3222 2010-04-21 Uros Bizjak <ubizjak@gmail.com>
3224 * config/i386/i386.md (bswap<mode>2): Macroize expander from
3225 bswap{si,di}2 using SWI48 mode iterator.
3226 (*bswap<mode>2_movbe): Macroize insn from *bswap{si,di}_movbe using
3227 SWI48 mode iterator. Set type attribute of bswap insn to bitmanip,
3228 set modrm attribute of bswap insn to 0 and remove length attribute.
3229 (*bswap<mode>2_1): Macroize insn from *bswap{si,di}_1 using SWI48 mode
3230 iterator. Set type attribute to bitmanip, set modrm attribute to 0,
3231 set mode attribute to <MODE> and remove length attribute.
3233 2010-04-20 James E. Wilson <wilson@codesourcery.com>
3235 PR rtl-optimization/43520
3236 * ira-lives.c (ira_implicitly_set_insn_hard_regs): Exclude classes with
3237 zero available registers.
3239 2010-04-20 Kaveh R. Ghazi <ghazi@caip.rutgers.edu>
3241 * builtins.c (fold_builtin_cproj): Fold more cases.
3243 2010-04-20 Kaveh R. Ghazi <ghazi@caip.rutgers.edu>
3245 * builtins.c (build_complex_cproj, fold_builtin_cproj): New.
3246 (fold_builtin_1): Fold builtin cproj.
3247 * builtins.def (BUILT_IN_CPROJ, BUILT_IN_CPROJF, BUILT_IN_CPROJL):
3248 Use ATTR_CONST_NOTHROW_LIST.
3250 2010-04-20 Uros Bizjak <ubizjak@gmail.com>
3252 * config/i386/i386.md (ffs<mode>2): Macroize expander from ffs_cmove
3253 and ffsdi2 using SWI48 mode iterator. Expand SImode insn through
3254 ffsi2_no_cmove for !TARGET_CMOVE.
3255 (ffssi2_no_cmove): Rename from *ffs_no_cmove. Make public.
3256 (ffssi2): Remove expander.
3257 (*ffs<mode>_1): Macroize insn from *ffs{si,di} using SWI48
3259 (ctz<mode>2): Ditto from ctz{si,di}2.
3260 (clz<mode>2): Macroize expander from ctz{hi,si,di}2 using SWI248
3262 (clz<mode>2_abm): Macroize insn from clz{hi,si,di}2_abm using SWI248
3265 2010-04-20 Jakub Jelinek <jakub@redhat.com>
3267 * dwarf2out.c (AT_linkage_name): Define.
3268 (clone_as_declaration): Handle DW_AT_linkage_name.
3269 (add_name_and_src_coords_attributes): Use AT_linkage_name instead
3270 of DW_AT_MIPS_linkage_name.
3271 (move_linkage_attr): Likewise.
3272 (dwarf2out_finish): Likewise.
3274 2010-04-20 Xinliang David Li <davidxl@gcc.gnu.org>
3277 * fold-const.c (fold_comparison): New folding rule.
3279 2010-04-20 Anatoly Sokolov <aesok@post.ru>
3281 * double-int.h (double_int_setbit): Declare.
3282 * double-int.c (double_int_setbit): New function.
3283 * rtl.h (immed_double_int_const): Declare.
3284 * emit-rtl.c (immed_double_int_const): New function.
3285 * builtins.c (expand_builtin_signbit): Clean up, use double_int_*
3286 and immed_double_int_const functions.
3287 * optabs.c (expand_absneg_bit, expand_copysign_absneg,
3288 expand_copysign_bit): (Ditto.).
3289 * simplify-rtx.c (simplify_binary_operation_1): (Ditto.).
3290 * tree-ssa-address.c (addr_for_mem_ref): (Ditto.).
3291 * dojump.c (prefer_and_bit_test): (Ditto.).
3292 * expr.c (convert_modes, reduce_to_bit_field_precision,
3293 const_vector_from_tree): (Ditto.).
3294 * expmed.c (mask_rtx, lshift_value): (Ditto.).
3296 2010-04-20 Jan Hubicka <jh@suse.cz>
3298 * cgraph.c (cgraph_remove_node): Kill bodies in other partitoin.
3299 (dump_cgraph_node): Dump new flags.
3300 * cgraph.h (struct cgraph_node): Add flags
3301 reachable_from_other_partition and in_other_partition.
3302 (cgraph_can_remove_if_no_direct_calls_p): Functions used by
3303 other partition can not be removed.
3304 * cgraphunit.c (cgraph_mark_functions_to_output): Functions used by
3305 the other partition must be output; silence sanity checking on
3306 leaking functions bodies from other paritition.
3307 * lto-cgraph.c (reachable_from_other_partition_p): New function.
3308 (lto_output_node): Output new flags; do not sanity check that inline
3309 clones are output; drop lto_forced_extern_inline_p code; do not mock
3310 visibility flags at partition boundaries.
3311 (add_node_to): New function.
3312 (output_cgraph): Use it to sort functions so masters appear before
3314 (input_overwrite_node): Input new flags.
3315 * passes.c (ipa_write_summaries): Do not call
3316 lto_new_extern_inline_states.
3317 * lto-section-out.c (forced_extern_inline,
3318 lto_new_extern_inline_states lto_delete_extern_inline_states,
3319 lto_force_functions_extern_inline, lto_forced_extern_inline_p): Kill.
3320 * lto-streamer.h (lto_new_extern_inline_states,
3321 * lto_delete_extern_inline_states, lto_force_functions_extern_inline,
3322 lto_forced_extern_inline_p): Kill.
3324 2010-04-20 Richard Guenther <rguenther@suse.de>
3326 * tree-ssa-structalias.c (do_sd_constraint): Add edges only
3327 from vars that can have pointers.
3328 (process_constraint): Dump useless constraints.
3330 2010-04-20 Richard Guenther <rguenther@suse.de>
3332 * tree-ssa-structalias.c (do_structure_copy): Properly handle DEREF.
3333 (dump_sa_points_to_info): Remove asserts.
3334 (init_base_vars): nothing_id isn't an escape point nor does it
3337 2010-04-20 Jakub Jelinek <jakub@redhat.com>
3339 * tree.h (TYPE_REF_IS_RVALUE): Define.
3340 * dwarf2out.c (attr_checksum_ordered, is_type_die, is_comdat_die,
3341 should_move_die_to_comdat, prune_unused_types_walk): Handle
3342 DW_TAG_rvalue_reference_type like DW_TAG_reference_type.
3343 (modified_type_die, gen_reference_type_die): Emit
3344 DW_TAG_rvalue_reference_type instead of DW_TAG_reference_type
3345 if TYPE_REF_IS_RVALUE and -gdwarf-4.
3347 2010-04-20 Andreas Krebbel <Andreas.Krebbel@de.ibm.com>
3350 * config/s390/s390.c (s390_emit_call): Turn direct into indirect
3351 calls for -fpic -m31 if they have been sibcall optimized.
3353 2010-04-19 James E. Wilson <wilson@codesourcery.com>
3355 * config/ia64/ia64.h (FIXED_REGISTERS, CALL_USED_REGISTERS): Make
3356 ar.lc fixed and call-used.
3358 * config/ia64/ia64.c (TARGET_INVALID_WITHIN_DOLOOP): Define.
3360 2010-04-19 Jan Hubicka <jh@suse.cz>
3362 * opts.c (decode_options): Disable whpr incompatible passes.
3363 * lto/lto.c (lto_1_to_1_map): Skip clones.
3364 (read_cgraph_and_symbols): Do not mark everything as needed.
3365 (do_whole_program_analysis): Do map only after optimizing;
3366 set proper cgraph_state; use passmanager.
3368 2010-04-19 DJ Delorie <dj@redhat.com>
3370 * cfgexpand.c (expand_debug_expr): Check for mismatched modes in
3371 POINTER_PLUS_EXPR and fix them.
3373 2010-04-19 Eric B. Weddington <eric.weddington@atmel.com>
3375 * config/avr/avr-devices.c (avr_mcu_types): Add support for new
3376 devices atmega644pa, attiny2313a, attiny24a, attiny261a, attiny4313,
3377 attiny44a, attiny861a, atmega16a, atmega168a, atmega164a, atmega165a,
3378 atmega169a, atmega169pa, atmega16hva2, atmega324a, atmega324pa,
3379 atmega325a, atmega3250a, atmega328, atmega329a, atmega329pa,
3380 atmega3290a, atmega48a, atmega644a, atmega645a, atmega645p,
3381 atmega6450a, atmega6450p, atmega649a, atmega649p, atmega6490a,
3382 atmega6490p, atmega64hve, atmega88a, atmega88pa, attiny461a, attiny84a,
3383 m3000. Remove support for devices atmega8m1, atmega8c1, atmega16c1,
3384 atmega4hvd, atmega8hvd, attiny327, m3000f, m3000s, m3001b.
3385 * config/avr/t-avr.c (MULTILIB_MATCHES): Same.
3387 2010-04-19 Eric Botcazou <ebotcazou@adacore.com>
3389 * ifcvt.c (noce_try_cmove_arith): Fix long lines.
3390 (check_cond_move_block): Likewise.
3391 (cond_move_process_if_block): Likewise.
3392 (noce_find_if_block): Improve formatting.
3393 (find_if_header): Pass 0 to memset and tweak conditions.
3394 (cond_exec_find_if_block): Fix long lines and tweak conditions.
3396 2010-04-19 Jakub Jelinek <jakub@redhat.com>
3398 * dwarf2out.c (lower_bound_default): For DW_LANG_Python return 0
3402 * tree-nested.c (convert_nonlocal_omp_clauses): OMP_CLAUSE_PRIVATE
3403 with non-local decl doesn't need chain.
3405 2010-04-19 Vladimir Makarov <vmakarov@redhat.com>
3407 * ira-color.c (allocno_reload_assign): Avoid accumulating
3408 reload registers in ALLOCNO_TOTAL_CONFLICT_HARD_REGS.
3410 2010-04-19 Martin Jambor <mjambor@suse.cz>
3412 * gimple.h (create_tmp_reg): Declare.
3413 * gimplify.c (create_tmp_reg): New function.
3414 (gimplify_return_expr): Use create_tmp_reg.
3415 (gimplify_omp_atomic): Likewise.
3416 (gimple_regimplify_operands): Likewise.
3417 * tree-dfa.c (make_rename_temp): Likewise.
3418 * tree-predcom.c (predcom_tmp_var): Likewise.
3419 (reassociate_to_the_same_stmt): Likewise.
3420 * tree-sra.c (replace_uses_with_default_def_ssa_name): Likewise.
3421 (get_replaced_param_substitute): Likewise.
3422 * tree-ssa-phiprop.c (phiprop_insert_phi): Likewise.
3423 * tree-ssa-phiopt.c (cond_store_replacement): Likewise.
3424 * tree-ssa-pre.c (get_representative_for): Like