OSDN Git Service

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