OSDN Git Service

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