2011-09-21 Tom de Vries <tom@codesourcery.com>
[official-gcc.git] / gcc / lto-streamer-out.c
bloba8d60073c773cac57b2f3455d121e92df6b2acb9
1 /* Write the GIMPLE representation to a file stream.
3 Copyright 2009, 2010 Free Software Foundation, Inc.
4 Contributed by Kenneth Zadeck <zadeck@naturalbridge.com>
5 Re-implemented by Diego Novillo <dnovillo@google.com>
7 This file is part of GCC.
9 GCC is free software; you can redistribute it and/or modify it under
10 the terms of the GNU General Public License as published by the Free
11 Software Foundation; either version 3, or (at your option) any later
12 version.
14 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
15 WARRANTY; without even the implied warranty of MERCHANTABILITY or
16 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
17 for more details.
19 You should have received a copy of the GNU General Public License
20 along with GCC; see the file COPYING3. If not see
21 <http://www.gnu.org/licenses/>. */
23 #include "config.h"
24 #include "system.h"
25 #include "coretypes.h"
26 #include "tm.h"
27 #include "tree.h"
28 #include "expr.h"
29 #include "flags.h"
30 #include "params.h"
31 #include "input.h"
32 #include "hashtab.h"
33 #include "basic-block.h"
34 #include "tree-flow.h"
35 #include "tree-pass.h"
36 #include "cgraph.h"
37 #include "function.h"
38 #include "ggc.h"
39 #include "diagnostic-core.h"
40 #include "except.h"
41 #include "vec.h"
42 #include "lto-symtab.h"
43 #include "lto-streamer.h"
44 #include "data-streamer.h"
45 #include "gimple-streamer.h"
46 #include "tree-streamer.h"
47 #include "streamer-hooks.h"
50 /* Clear the line info stored in DATA_IN. */
52 static void
53 clear_line_info (struct output_block *ob)
55 ob->current_file = NULL;
56 ob->current_line = 0;
57 ob->current_col = 0;
61 /* Create the output block and return it. SECTION_TYPE is
62 LTO_section_function_body or LTO_static_initializer. */
64 struct output_block *
65 create_output_block (enum lto_section_type section_type)
67 struct output_block *ob = XCNEW (struct output_block);
69 ob->section_type = section_type;
70 ob->decl_state = lto_get_out_decl_state ();
71 ob->main_stream = XCNEW (struct lto_output_stream);
72 ob->string_stream = XCNEW (struct lto_output_stream);
73 ob->writer_cache = streamer_tree_cache_create ();
75 if (section_type == LTO_section_function_body)
76 ob->cfg_stream = XCNEW (struct lto_output_stream);
78 clear_line_info (ob);
80 ob->string_hash_table = htab_create (37, hash_string_slot_node,
81 eq_string_slot_node, NULL);
82 gcc_obstack_init (&ob->obstack);
84 return ob;
88 /* Destroy the output block OB. */
90 void
91 destroy_output_block (struct output_block *ob)
93 enum lto_section_type section_type = ob->section_type;
95 htab_delete (ob->string_hash_table);
97 free (ob->main_stream);
98 free (ob->string_stream);
99 if (section_type == LTO_section_function_body)
100 free (ob->cfg_stream);
102 streamer_tree_cache_delete (ob->writer_cache);
103 obstack_free (&ob->obstack, NULL);
105 free (ob);
109 /* Look up NODE in the type table and write the index for it to OB. */
111 static void
112 output_type_ref (struct output_block *ob, tree node)
114 streamer_write_record_start (ob, LTO_type_ref);
115 lto_output_type_ref_index (ob->decl_state, ob->main_stream, node);
119 /* Return true if tree node T is written to various tables. For these
120 nodes, we sometimes want to write their phyiscal representation
121 (via lto_output_tree), and sometimes we need to emit an index
122 reference into a table (via lto_output_tree_ref). */
124 static bool
125 tree_is_indexable (tree t)
127 if (TREE_CODE (t) == PARM_DECL)
128 return false;
129 else if (TREE_CODE (t) == VAR_DECL && decl_function_context (t)
130 && !TREE_STATIC (t))
131 return false;
132 else
133 return (TYPE_P (t) || DECL_P (t) || TREE_CODE (t) == SSA_NAME);
137 /* Output info about new location into bitpack BP.
138 After outputting bitpack, lto_output_location_data has
139 to be done to output actual data. */
141 static inline void
142 lto_output_location_bitpack (struct bitpack_d *bp,
143 struct output_block *ob,
144 location_t loc)
146 expanded_location xloc;
148 bp_pack_value (bp, loc == UNKNOWN_LOCATION, 1);
149 if (loc == UNKNOWN_LOCATION)
150 return;
152 xloc = expand_location (loc);
154 bp_pack_value (bp, ob->current_file != xloc.file, 1);
155 if (ob->current_file != xloc.file)
156 bp_pack_var_len_unsigned (bp,
157 streamer_string_index (ob, xloc.file,
158 strlen (xloc.file) + 1,
159 true));
160 ob->current_file = xloc.file;
162 bp_pack_value (bp, ob->current_line != xloc.line, 1);
163 if (ob->current_line != xloc.line)
164 bp_pack_var_len_unsigned (bp, xloc.line);
165 ob->current_line = xloc.line;
167 bp_pack_value (bp, ob->current_col != xloc.column, 1);
168 if (ob->current_col != xloc.column)
169 bp_pack_var_len_unsigned (bp, xloc.column);
170 ob->current_col = xloc.column;
174 /* Emit location LOC to output block OB.
175 When bitpack is handy, it is more space effecient to call
176 lto_output_location_bitpack with existing bitpack. */
178 void
179 lto_output_location (struct output_block *ob, location_t loc)
181 struct bitpack_d bp = bitpack_create (ob->main_stream);
182 lto_output_location_bitpack (&bp, ob, loc);
183 streamer_write_bitpack (&bp);
187 /* If EXPR is an indexable tree node, output a reference to it to
188 output block OB. Otherwise, output the physical representation of
189 EXPR to OB. */
191 static void
192 lto_output_tree_ref (struct output_block *ob, tree expr)
194 enum tree_code code;
196 if (TYPE_P (expr))
198 output_type_ref (ob, expr);
199 return;
202 code = TREE_CODE (expr);
203 switch (code)
205 case SSA_NAME:
206 streamer_write_record_start (ob, LTO_ssa_name_ref);
207 streamer_write_uhwi (ob, SSA_NAME_VERSION (expr));
208 break;
210 case FIELD_DECL:
211 streamer_write_record_start (ob, LTO_field_decl_ref);
212 lto_output_field_decl_index (ob->decl_state, ob->main_stream, expr);
213 break;
215 case FUNCTION_DECL:
216 streamer_write_record_start (ob, LTO_function_decl_ref);
217 lto_output_fn_decl_index (ob->decl_state, ob->main_stream, expr);
218 break;
220 case VAR_DECL:
221 case DEBUG_EXPR_DECL:
222 gcc_assert (decl_function_context (expr) == NULL || TREE_STATIC (expr));
223 streamer_write_record_start (ob, LTO_global_decl_ref);
224 lto_output_var_decl_index (ob->decl_state, ob->main_stream, expr);
225 break;
227 case CONST_DECL:
228 streamer_write_record_start (ob, LTO_const_decl_ref);
229 lto_output_var_decl_index (ob->decl_state, ob->main_stream, expr);
230 break;
232 case IMPORTED_DECL:
233 gcc_assert (decl_function_context (expr) == NULL);
234 streamer_write_record_start (ob, LTO_imported_decl_ref);
235 lto_output_var_decl_index (ob->decl_state, ob->main_stream, expr);
236 break;
238 case TYPE_DECL:
239 streamer_write_record_start (ob, LTO_type_decl_ref);
240 lto_output_type_decl_index (ob->decl_state, ob->main_stream, expr);
241 break;
243 case NAMESPACE_DECL:
244 streamer_write_record_start (ob, LTO_namespace_decl_ref);
245 lto_output_namespace_decl_index (ob->decl_state, ob->main_stream, expr);
246 break;
248 case LABEL_DECL:
249 streamer_write_record_start (ob, LTO_label_decl_ref);
250 lto_output_var_decl_index (ob->decl_state, ob->main_stream, expr);
251 break;
253 case RESULT_DECL:
254 streamer_write_record_start (ob, LTO_result_decl_ref);
255 lto_output_var_decl_index (ob->decl_state, ob->main_stream, expr);
256 break;
258 case TRANSLATION_UNIT_DECL:
259 streamer_write_record_start (ob, LTO_translation_unit_decl_ref);
260 lto_output_var_decl_index (ob->decl_state, ob->main_stream, expr);
261 break;
263 default:
264 /* No other node is indexable, so it should have been handled by
265 lto_output_tree. */
266 gcc_unreachable ();
271 /* Return true if EXPR is a tree node that can be written to disk. */
273 static inline bool
274 lto_is_streamable (tree expr)
276 enum tree_code code = TREE_CODE (expr);
278 /* Notice that we reject SSA_NAMEs as well. We only emit the SSA
279 name version in lto_output_tree_ref (see output_ssa_names). */
280 return !is_lang_specific (expr)
281 && code != SSA_NAME
282 && code != CALL_EXPR
283 && code != LANG_TYPE
284 && code != MODIFY_EXPR
285 && code != INIT_EXPR
286 && code != TARGET_EXPR
287 && code != BIND_EXPR
288 && code != WITH_CLEANUP_EXPR
289 && code != STATEMENT_LIST
290 && code != OMP_CLAUSE
291 && code != OPTIMIZATION_NODE
292 && (code == CASE_LABEL_EXPR
293 || code == DECL_EXPR
294 || TREE_CODE_CLASS (code) != tcc_statement);
298 /* Write a physical representation of tree node EXPR to output block
299 OB. If REF_P is true, the leaves of EXPR are emitted as references
300 via lto_output_tree_ref. IX is the index into the streamer cache
301 where EXPR is stored. */
303 static void
304 lto_write_tree (struct output_block *ob, tree expr, bool ref_p)
306 struct bitpack_d bp;
308 if (!lto_is_streamable (expr))
309 internal_error ("tree code %qs is not supported in LTO streams",
310 tree_code_name[TREE_CODE (expr)]);
312 /* Write the header, containing everything needed to materialize
313 EXPR on the reading side. */
314 streamer_write_tree_header (ob, expr);
316 /* Pack all the non-pointer fields in EXPR into a bitpack and write
317 the resulting bitpack. */
318 bp = bitpack_create (ob->main_stream);
319 streamer_pack_tree_bitfields (&bp, expr);
320 streamer_write_bitpack (&bp);
322 /* Write all the pointer fields in EXPR. */
323 streamer_write_tree_body (ob, expr, ref_p);
325 /* Write any LTO-specific data to OB. */
326 if (DECL_P (expr)
327 && TREE_CODE (expr) != FUNCTION_DECL
328 && TREE_CODE (expr) != TRANSLATION_UNIT_DECL)
330 /* Handle DECL_INITIAL for symbols. */
331 tree initial = DECL_INITIAL (expr);
332 if (TREE_CODE (expr) == VAR_DECL
333 && (TREE_STATIC (expr) || DECL_EXTERNAL (expr))
334 && initial)
336 lto_varpool_encoder_t varpool_encoder;
337 struct varpool_node *vnode;
339 varpool_encoder = ob->decl_state->varpool_node_encoder;
340 vnode = varpool_get_node (expr);
341 if (!vnode)
342 initial = error_mark_node;
343 else if (!lto_varpool_encoder_encode_initializer_p (varpool_encoder,
344 vnode))
345 initial = NULL;
348 stream_write_tree (ob, initial, ref_p);
351 /* Mark the end of EXPR. */
352 streamer_write_zero (ob);
356 /* Emit the physical representation of tree node EXPR to output block
357 OB. If REF_P is true, the leaves of EXPR are emitted as references
358 via lto_output_tree_ref. */
360 void
361 lto_output_tree (struct output_block *ob, tree expr, bool ref_p)
363 unsigned ix;
364 bool existed_p;
366 if (expr == NULL_TREE)
368 streamer_write_record_start (ob, LTO_null);
369 return;
372 if (ref_p && tree_is_indexable (expr))
374 lto_output_tree_ref (ob, expr);
375 return;
378 /* INTEGER_CST nodes are special because they need their original type
379 to be materialized by the reader (to implement TYPE_CACHED_VALUES). */
380 if (TREE_CODE (expr) == INTEGER_CST)
382 streamer_write_integer_cst (ob, expr, ref_p);
383 return;
386 existed_p = streamer_tree_cache_insert (ob->writer_cache, expr, &ix);
387 if (existed_p)
389 /* If a node has already been streamed out, make sure that
390 we don't write it more than once. Otherwise, the reader
391 will instantiate two different nodes for the same object. */
392 streamer_write_record_start (ob, LTO_tree_pickle_reference);
393 streamer_write_uhwi (ob, ix);
394 streamer_write_enum (ob->main_stream, LTO_tags, LTO_NUM_TAGS,
395 lto_tree_code_to_tag (TREE_CODE (expr)));
397 else if (streamer_handle_as_builtin_p (expr))
399 /* MD and NORMAL builtins do not need to be written out
400 completely as they are always instantiated by the
401 compiler on startup. The only builtins that need to
402 be written out are BUILT_IN_FRONTEND. For all other
403 builtins, we simply write the class and code. */
404 streamer_write_builtin (ob, expr);
406 else
408 /* This is the first time we see EXPR, write its fields
409 to OB. */
410 lto_write_tree (ob, expr, ref_p);
415 /* Output to OB a list of try/catch handlers starting with FIRST. */
417 static void
418 output_eh_try_list (struct output_block *ob, eh_catch first)
420 eh_catch n;
422 for (n = first; n; n = n->next_catch)
424 streamer_write_record_start (ob, LTO_eh_catch);
425 stream_write_tree (ob, n->type_list, true);
426 stream_write_tree (ob, n->filter_list, true);
427 stream_write_tree (ob, n->label, true);
430 streamer_write_record_start (ob, LTO_null);
434 /* Output EH region R in function FN to OB. CURR_RN is the slot index
435 that is being emitted in FN->EH->REGION_ARRAY. This is used to
436 detect EH region sharing. */
438 static void
439 output_eh_region (struct output_block *ob, eh_region r)
441 enum LTO_tags tag;
443 if (r == NULL)
445 streamer_write_record_start (ob, LTO_null);
446 return;
449 if (r->type == ERT_CLEANUP)
450 tag = LTO_ert_cleanup;
451 else if (r->type == ERT_TRY)
452 tag = LTO_ert_try;
453 else if (r->type == ERT_ALLOWED_EXCEPTIONS)
454 tag = LTO_ert_allowed_exceptions;
455 else if (r->type == ERT_MUST_NOT_THROW)
456 tag = LTO_ert_must_not_throw;
457 else
458 gcc_unreachable ();
460 streamer_write_record_start (ob, tag);
461 streamer_write_hwi (ob, r->index);
463 if (r->outer)
464 streamer_write_hwi (ob, r->outer->index);
465 else
466 streamer_write_zero (ob);
468 if (r->inner)
469 streamer_write_hwi (ob, r->inner->index);
470 else
471 streamer_write_zero (ob);
473 if (r->next_peer)
474 streamer_write_hwi (ob, r->next_peer->index);
475 else
476 streamer_write_zero (ob);
478 if (r->type == ERT_TRY)
480 output_eh_try_list (ob, r->u.eh_try.first_catch);
482 else if (r->type == ERT_ALLOWED_EXCEPTIONS)
484 stream_write_tree (ob, r->u.allowed.type_list, true);
485 stream_write_tree (ob, r->u.allowed.label, true);
486 streamer_write_uhwi (ob, r->u.allowed.filter);
488 else if (r->type == ERT_MUST_NOT_THROW)
490 stream_write_tree (ob, r->u.must_not_throw.failure_decl, true);
491 lto_output_location (ob, r->u.must_not_throw.failure_loc);
494 if (r->landing_pads)
495 streamer_write_hwi (ob, r->landing_pads->index);
496 else
497 streamer_write_zero (ob);
501 /* Output landing pad LP to OB. */
503 static void
504 output_eh_lp (struct output_block *ob, eh_landing_pad lp)
506 if (lp == NULL)
508 streamer_write_record_start (ob, LTO_null);
509 return;
512 streamer_write_record_start (ob, LTO_eh_landing_pad);
513 streamer_write_hwi (ob, lp->index);
514 if (lp->next_lp)
515 streamer_write_hwi (ob, lp->next_lp->index);
516 else
517 streamer_write_zero (ob);
519 if (lp->region)
520 streamer_write_hwi (ob, lp->region->index);
521 else
522 streamer_write_zero (ob);
524 stream_write_tree (ob, lp->post_landing_pad, true);
528 /* Output the existing eh_table to OB. */
530 static void
531 output_eh_regions (struct output_block *ob, struct function *fn)
533 if (fn->eh && fn->eh->region_tree)
535 unsigned i;
536 eh_region eh;
537 eh_landing_pad lp;
538 tree ttype;
540 streamer_write_record_start (ob, LTO_eh_table);
542 /* Emit the index of the root of the EH region tree. */
543 streamer_write_hwi (ob, fn->eh->region_tree->index);
545 /* Emit all the EH regions in the region array. */
546 streamer_write_hwi (ob, VEC_length (eh_region, fn->eh->region_array));
547 FOR_EACH_VEC_ELT (eh_region, fn->eh->region_array, i, eh)
548 output_eh_region (ob, eh);
550 /* Emit all landing pads. */
551 streamer_write_hwi (ob, VEC_length (eh_landing_pad, fn->eh->lp_array));
552 FOR_EACH_VEC_ELT (eh_landing_pad, fn->eh->lp_array, i, lp)
553 output_eh_lp (ob, lp);
555 /* Emit all the runtime type data. */
556 streamer_write_hwi (ob, VEC_length (tree, fn->eh->ttype_data));
557 FOR_EACH_VEC_ELT (tree, fn->eh->ttype_data, i, ttype)
558 stream_write_tree (ob, ttype, true);
560 /* Emit the table of action chains. */
561 if (targetm.arm_eabi_unwinder)
563 tree t;
564 streamer_write_hwi (ob, VEC_length (tree,
565 fn->eh->ehspec_data.arm_eabi));
566 FOR_EACH_VEC_ELT (tree, fn->eh->ehspec_data.arm_eabi, i, t)
567 stream_write_tree (ob, t, true);
569 else
571 uchar c;
572 streamer_write_hwi (ob, VEC_length (uchar,
573 fn->eh->ehspec_data.other));
574 FOR_EACH_VEC_ELT (uchar, fn->eh->ehspec_data.other, i, c)
575 streamer_write_char_stream (ob->main_stream, c);
579 /* The LTO_null either terminates the record or indicates that there
580 are no eh_records at all. */
581 streamer_write_record_start (ob, LTO_null);
585 /* Output all of the active ssa names to the ssa_names stream. */
587 static void
588 output_ssa_names (struct output_block *ob, struct function *fn)
590 unsigned int i, len;
592 len = VEC_length (tree, SSANAMES (fn));
593 streamer_write_uhwi (ob, len);
595 for (i = 1; i < len; i++)
597 tree ptr = VEC_index (tree, SSANAMES (fn), i);
599 if (ptr == NULL_TREE
600 || SSA_NAME_IN_FREE_LIST (ptr)
601 || !is_gimple_reg (ptr))
602 continue;
604 streamer_write_uhwi (ob, i);
605 streamer_write_char_stream (ob->main_stream,
606 SSA_NAME_IS_DEFAULT_DEF (ptr));
607 stream_write_tree (ob, SSA_NAME_VAR (ptr), true);
610 streamer_write_zero (ob);
614 /* Output the cfg. */
616 static void
617 output_cfg (struct output_block *ob, struct function *fn)
619 struct lto_output_stream *tmp_stream = ob->main_stream;
620 basic_block bb;
622 ob->main_stream = ob->cfg_stream;
624 streamer_write_enum (ob->main_stream, profile_status_d, PROFILE_LAST,
625 profile_status_for_function (fn));
627 /* Output the number of the highest basic block. */
628 streamer_write_uhwi (ob, last_basic_block_for_function (fn));
630 FOR_ALL_BB_FN (bb, fn)
632 edge_iterator ei;
633 edge e;
635 streamer_write_hwi (ob, bb->index);
637 /* Output the successors and the edge flags. */
638 streamer_write_uhwi (ob, EDGE_COUNT (bb->succs));
639 FOR_EACH_EDGE (e, ei, bb->succs)
641 streamer_write_uhwi (ob, e->dest->index);
642 streamer_write_hwi (ob, e->probability);
643 streamer_write_hwi (ob, e->count);
644 streamer_write_uhwi (ob, e->flags);
648 streamer_write_hwi (ob, -1);
650 bb = ENTRY_BLOCK_PTR;
651 while (bb->next_bb)
653 streamer_write_hwi (ob, bb->next_bb->index);
654 bb = bb->next_bb;
657 streamer_write_hwi (ob, -1);
659 ob->main_stream = tmp_stream;
663 /* Create the header in the file using OB. If the section type is for
664 a function, set FN to the decl for that function. */
666 void
667 produce_asm (struct output_block *ob, tree fn)
669 enum lto_section_type section_type = ob->section_type;
670 struct lto_function_header header;
671 char *section_name;
672 struct lto_output_stream *header_stream;
674 if (section_type == LTO_section_function_body)
676 const char *name = IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (fn));
677 section_name = lto_get_section_name (section_type, name, NULL);
679 else
680 section_name = lto_get_section_name (section_type, NULL, NULL);
682 lto_begin_section (section_name, !flag_wpa);
683 free (section_name);
685 /* The entire header is stream computed here. */
686 memset (&header, 0, sizeof (struct lto_function_header));
688 /* Write the header. */
689 header.lto_header.major_version = LTO_major_version;
690 header.lto_header.minor_version = LTO_minor_version;
691 header.lto_header.section_type = section_type;
693 header.compressed_size = 0;
695 if (section_type == LTO_section_function_body)
696 header.cfg_size = ob->cfg_stream->total_size;
697 header.main_size = ob->main_stream->total_size;
698 header.string_size = ob->string_stream->total_size;
700 header_stream = XCNEW (struct lto_output_stream);
701 lto_output_data_stream (header_stream, &header, sizeof header);
702 lto_write_stream (header_stream);
703 free (header_stream);
705 /* Put all of the gimple and the string table out the asm file as a
706 block of text. */
707 if (section_type == LTO_section_function_body)
708 lto_write_stream (ob->cfg_stream);
709 lto_write_stream (ob->main_stream);
710 lto_write_stream (ob->string_stream);
712 lto_end_section ();
716 /* Output the body of function NODE->DECL. */
718 static void
719 output_function (struct cgraph_node *node)
721 struct bitpack_d bp;
722 tree function;
723 struct function *fn;
724 basic_block bb;
725 struct output_block *ob;
726 unsigned i;
727 tree t;
729 function = node->decl;
730 fn = DECL_STRUCT_FUNCTION (function);
731 ob = create_output_block (LTO_section_function_body);
733 clear_line_info (ob);
734 ob->cgraph_node = node;
736 gcc_assert (current_function_decl == NULL_TREE && cfun == NULL);
738 /* Set current_function_decl and cfun. */
739 current_function_decl = function;
740 push_cfun (fn);
742 /* Make string 0 be a NULL string. */
743 streamer_write_char_stream (ob->string_stream, 0);
745 streamer_write_record_start (ob, LTO_function);
747 /* Write all the attributes for FN. */
748 bp = bitpack_create (ob->main_stream);
749 bp_pack_value (&bp, fn->is_thunk, 1);
750 bp_pack_value (&bp, fn->has_local_explicit_reg_vars, 1);
751 bp_pack_value (&bp, fn->after_tree_profile, 1);
752 bp_pack_value (&bp, fn->returns_pcc_struct, 1);
753 bp_pack_value (&bp, fn->returns_struct, 1);
754 bp_pack_value (&bp, fn->can_throw_non_call_exceptions, 1);
755 bp_pack_value (&bp, fn->always_inline_functions_inlined, 1);
756 bp_pack_value (&bp, fn->after_inlining, 1);
757 bp_pack_value (&bp, fn->stdarg, 1);
758 bp_pack_value (&bp, fn->has_nonlocal_label, 1);
759 bp_pack_value (&bp, fn->calls_alloca, 1);
760 bp_pack_value (&bp, fn->calls_setjmp, 1);
761 bp_pack_value (&bp, fn->va_list_fpr_size, 8);
762 bp_pack_value (&bp, fn->va_list_gpr_size, 8);
763 streamer_write_bitpack (&bp);
765 /* Output the function start and end loci. */
766 lto_output_location (ob, fn->function_start_locus);
767 lto_output_location (ob, fn->function_end_locus);
769 /* Output current IL state of the function. */
770 streamer_write_uhwi (ob, fn->curr_properties);
772 /* Output the static chain and non-local goto save area. */
773 stream_write_tree (ob, fn->static_chain_decl, true);
774 stream_write_tree (ob, fn->nonlocal_goto_save_area, true);
776 /* Output all the local variables in the function. */
777 streamer_write_hwi (ob, VEC_length (tree, fn->local_decls));
778 FOR_EACH_VEC_ELT (tree, fn->local_decls, i, t)
779 stream_write_tree (ob, t, true);
781 /* Output the head of the arguments list. */
782 stream_write_tree (ob, DECL_ARGUMENTS (function), true);
784 /* Output all the SSA names used in the function. */
785 output_ssa_names (ob, fn);
787 /* Output any exception handling regions. */
788 output_eh_regions (ob, fn);
790 /* Output DECL_INITIAL for the function, which contains the tree of
791 lexical scopes. */
792 stream_write_tree (ob, DECL_INITIAL (function), true);
794 /* We will renumber the statements. The code that does this uses
795 the same ordering that we use for serializing them so we can use
796 the same code on the other end and not have to write out the
797 statement numbers. We do not assign UIDs to PHIs here because
798 virtual PHIs get re-computed on-the-fly which would make numbers
799 inconsistent. */
800 set_gimple_stmt_max_uid (cfun, 0);
801 FOR_ALL_BB (bb)
803 gimple_stmt_iterator gsi;
804 for (gsi = gsi_start_bb (bb); !gsi_end_p (gsi); gsi_next (&gsi))
806 gimple stmt = gsi_stmt (gsi);
807 gimple_set_uid (stmt, inc_gimple_stmt_max_uid (cfun));
811 /* Output the code for the function. */
812 FOR_ALL_BB_FN (bb, fn)
813 output_bb (ob, bb, fn);
815 /* The terminator for this function. */
816 streamer_write_record_start (ob, LTO_null);
818 output_cfg (ob, fn);
820 /* Create a section to hold the pickled output of this function. */
821 produce_asm (ob, function);
823 destroy_output_block (ob);
825 current_function_decl = NULL;
826 pop_cfun ();
830 /* Used to pass data to trivally_defined_alias callback. */
831 struct sets {
832 cgraph_node_set set;
833 varpool_node_set vset;
837 /* Return true if alias pair P belongs to the set of cgraph nodes in
838 SET. If P is a an alias for a VAR_DECL, it can always be emitted.
839 However, for FUNCTION_DECL aliases, we should only output the pair
840 if it belongs to a function whose cgraph node is in SET.
841 Otherwise, the LTRANS phase will get into trouble when finalizing
842 aliases because the alias will refer to a function not defined in
843 the file processed by LTRANS. */
845 static bool
846 trivally_defined_alias (tree decl ATTRIBUTE_UNUSED,
847 tree target, void *data)
849 struct sets *set = (struct sets *) data;
850 struct cgraph_node *fnode = NULL;
851 struct varpool_node *vnode = NULL;
853 fnode = cgraph_node_for_asm (target);
854 if (fnode)
855 return cgraph_node_in_set_p (fnode, set->set);
856 vnode = varpool_node_for_asm (target);
857 return vnode && varpool_node_in_set_p (vnode, set->vset);
860 /* Return true if alias pair P should be output in the current
861 partition contains cgrpah nodes SET and varpool nodes VSET.
862 DEFINED is set of all aliases whose targets are defined in
863 the partition.
865 Normal aliases are output when they are defined, while WEAKREF
866 aliases are output when they are used. */
868 static bool
869 output_alias_pair_p (alias_pair *p, symbol_alias_set_t *defined,
870 cgraph_node_set set, varpool_node_set vset)
872 struct cgraph_node *node;
873 struct varpool_node *vnode;
875 if (lookup_attribute ("weakref", DECL_ATTRIBUTES (p->decl)))
877 if (TREE_CODE (p->decl) == VAR_DECL)
879 vnode = varpool_get_node (p->decl);
880 return (vnode
881 && referenced_from_this_partition_p (&vnode->ref_list, set, vset));
883 node = cgraph_get_node (p->decl);
884 return (node
885 && (referenced_from_this_partition_p (&node->ref_list, set, vset)
886 || reachable_from_this_partition_p (node, set)));
888 else
889 return symbol_alias_set_contains (defined, p->decl);
892 /* Output any unreferenced global symbol defined in SET, alias pairs
893 and labels. */
895 static void
896 output_unreferenced_globals (cgraph_node_set set, varpool_node_set vset)
898 struct output_block *ob;
899 alias_pair *p;
900 unsigned i;
901 symbol_alias_set_t *defined;
902 struct sets setdata;
904 setdata.set = set;
905 setdata.vset = vset;
907 ob = create_output_block (LTO_section_static_initializer);
908 ob->cgraph_node = NULL;
910 clear_line_info (ob);
912 /* Make string 0 be a NULL string. */
913 streamer_write_char_stream (ob->string_stream, 0);
915 /* We really need to propagate in both directoins:
916 for normal aliases we propagate from first defined alias to
917 all aliases defined based on it. For weakrefs we propagate in
918 the oposite direction. */
919 defined = propagate_aliases_backward (trivally_defined_alias, &setdata);
921 /* Emit the alias pairs for the nodes in SET. */
922 FOR_EACH_VEC_ELT (alias_pair, alias_pairs, i, p)
923 if (output_alias_pair_p (p, defined, set, vset))
925 stream_write_tree (ob, p->decl, true);
926 stream_write_tree (ob, p->target, true);
928 symbol_alias_set_destroy (defined);
930 streamer_write_record_start (ob, LTO_null);
932 produce_asm (ob, NULL);
933 destroy_output_block (ob);
937 /* Copy the function body of NODE without deserializing. */
939 static void
940 copy_function (struct cgraph_node *node)
942 tree function = node->decl;
943 struct lto_file_decl_data *file_data = node->local.lto_file_data;
944 struct lto_output_stream *output_stream = XCNEW (struct lto_output_stream);
945 const char *data;
946 size_t len;
947 const char *name = IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (function));
948 char *section_name =
949 lto_get_section_name (LTO_section_function_body, name, NULL);
950 size_t i, j;
951 struct lto_in_decl_state *in_state;
952 struct lto_out_decl_state *out_state = lto_get_out_decl_state ();
954 lto_begin_section (section_name, !flag_wpa);
955 free (section_name);
957 /* We may have renamed the declaration, e.g., a static function. */
958 name = lto_get_decl_name_mapping (file_data, name);
960 data = lto_get_section_data (file_data, LTO_section_function_body,
961 name, &len);
962 gcc_assert (data);
964 /* Do a bit copy of the function body. */
965 lto_output_data_stream (output_stream, data, len);
966 lto_write_stream (output_stream);
968 /* Copy decls. */
969 in_state =
970 lto_get_function_in_decl_state (node->local.lto_file_data, function);
971 gcc_assert (in_state);
973 for (i = 0; i < LTO_N_DECL_STREAMS; i++)
975 size_t n = in_state->streams[i].size;
976 tree *trees = in_state->streams[i].trees;
977 struct lto_tree_ref_encoder *encoder = &(out_state->streams[i]);
979 /* The out state must have the same indices and the in state.
980 So just copy the vector. All the encoders in the in state
981 must be empty where we reach here. */
982 gcc_assert (lto_tree_ref_encoder_size (encoder) == 0);
983 for (j = 0; j < n; j++)
984 VEC_safe_push (tree, heap, encoder->trees, trees[j]);
985 encoder->next_index = n;
988 lto_free_section_data (file_data, LTO_section_function_body, name,
989 data, len);
990 free (output_stream);
991 lto_end_section ();
995 /* Main entry point from the pass manager. */
997 static void
998 lto_output (cgraph_node_set set, varpool_node_set vset)
1000 struct cgraph_node *node;
1001 struct lto_out_decl_state *decl_state;
1002 #ifdef ENABLE_CHECKING
1003 bitmap output = lto_bitmap_alloc ();
1004 #endif
1005 int i, n_nodes;
1006 lto_cgraph_encoder_t encoder = lto_get_out_decl_state ()->cgraph_node_encoder;
1008 /* Initialize the streamer. */
1009 lto_streamer_init ();
1011 n_nodes = lto_cgraph_encoder_size (encoder);
1012 /* Process only the functions with bodies. */
1013 for (i = 0; i < n_nodes; i++)
1015 node = lto_cgraph_encoder_deref (encoder, i);
1016 if (lto_cgraph_encoder_encode_body_p (encoder, node)
1017 && !node->alias
1018 && !node->thunk.thunk_p)
1020 #ifdef ENABLE_CHECKING
1021 gcc_assert (!bitmap_bit_p (output, DECL_UID (node->decl)));
1022 bitmap_set_bit (output, DECL_UID (node->decl));
1023 #endif
1024 decl_state = lto_new_out_decl_state ();
1025 lto_push_out_decl_state (decl_state);
1026 if (gimple_has_body_p (node->decl))
1027 output_function (node);
1028 else
1029 copy_function (node);
1030 gcc_assert (lto_get_out_decl_state () == decl_state);
1031 lto_pop_out_decl_state ();
1032 lto_record_function_out_decl_state (node->decl, decl_state);
1036 /* Emit the callgraph after emitting function bodies. This needs to
1037 be done now to make sure that all the statements in every function
1038 have been renumbered so that edges can be associated with call
1039 statements using the statement UIDs. */
1040 output_cgraph (set, vset);
1042 #ifdef ENABLE_CHECKING
1043 lto_bitmap_free (output);
1044 #endif
1047 struct ipa_opt_pass_d pass_ipa_lto_gimple_out =
1050 IPA_PASS,
1051 "lto_gimple_out", /* name */
1052 gate_lto_out, /* gate */
1053 NULL, /* execute */
1054 NULL, /* sub */
1055 NULL, /* next */
1056 0, /* static_pass_number */
1057 TV_IPA_LTO_GIMPLE_OUT, /* tv_id */
1058 0, /* properties_required */
1059 0, /* properties_provided */
1060 0, /* properties_destroyed */
1061 0, /* todo_flags_start */
1062 0 /* todo_flags_finish */
1064 NULL, /* generate_summary */
1065 lto_output, /* write_summary */
1066 NULL, /* read_summary */
1067 lto_output, /* write_optimization_summary */
1068 NULL, /* read_optimization_summary */
1069 NULL, /* stmt_fixup */
1070 0, /* TODOs */
1071 NULL, /* function_transform */
1072 NULL /* variable_transform */
1076 /* Write each node in encoded by ENCODER to OB, as well as those reachable
1077 from it and required for correct representation of its semantics.
1078 Each node in ENCODER must be a global declaration or a type. A node
1079 is written only once, even if it appears multiple times in the
1080 vector. Certain transitively-reachable nodes, such as those
1081 representing expressions, may be duplicated, but such nodes
1082 must not appear in ENCODER itself. */
1084 static void
1085 write_global_stream (struct output_block *ob,
1086 struct lto_tree_ref_encoder *encoder)
1088 tree t;
1089 size_t index;
1090 const size_t size = lto_tree_ref_encoder_size (encoder);
1092 for (index = 0; index < size; index++)
1094 t = lto_tree_ref_encoder_get_tree (encoder, index);
1095 if (!streamer_tree_cache_lookup (ob->writer_cache, t, NULL))
1096 stream_write_tree (ob, t, false);
1101 /* Write a sequence of indices into the globals vector corresponding
1102 to the trees in ENCODER. These are used by the reader to map the
1103 indices used to refer to global entities within function bodies to
1104 their referents. */
1106 static void
1107 write_global_references (struct output_block *ob,
1108 struct lto_output_stream *ref_stream,
1109 struct lto_tree_ref_encoder *encoder)
1111 tree t;
1112 uint32_t index;
1113 const uint32_t size = lto_tree_ref_encoder_size (encoder);
1115 /* Write size as 32-bit unsigned. */
1116 lto_output_data_stream (ref_stream, &size, sizeof (int32_t));
1118 for (index = 0; index < size; index++)
1120 uint32_t slot_num;
1122 t = lto_tree_ref_encoder_get_tree (encoder, index);
1123 streamer_tree_cache_lookup (ob->writer_cache, t, &slot_num);
1124 gcc_assert (slot_num != (unsigned)-1);
1125 lto_output_data_stream (ref_stream, &slot_num, sizeof slot_num);
1130 /* Write all the streams in an lto_out_decl_state STATE using
1131 output block OB and output stream OUT_STREAM. */
1133 void
1134 lto_output_decl_state_streams (struct output_block *ob,
1135 struct lto_out_decl_state *state)
1137 int i;
1139 for (i = 0; i < LTO_N_DECL_STREAMS; i++)
1140 write_global_stream (ob, &state->streams[i]);
1144 /* Write all the references in an lto_out_decl_state STATE using
1145 output block OB and output stream OUT_STREAM. */
1147 void
1148 lto_output_decl_state_refs (struct output_block *ob,
1149 struct lto_output_stream *out_stream,
1150 struct lto_out_decl_state *state)
1152 unsigned i;
1153 uint32_t ref;
1154 tree decl;
1156 /* Write reference to FUNCTION_DECL. If there is not function,
1157 write reference to void_type_node. */
1158 decl = (state->fn_decl) ? state->fn_decl : void_type_node;
1159 streamer_tree_cache_lookup (ob->writer_cache, decl, &ref);
1160 gcc_assert (ref != (unsigned)-1);
1161 lto_output_data_stream (out_stream, &ref, sizeof (uint32_t));
1163 for (i = 0; i < LTO_N_DECL_STREAMS; i++)
1164 write_global_references (ob, out_stream, &state->streams[i]);
1168 /* Return the written size of STATE. */
1170 static size_t
1171 lto_out_decl_state_written_size (struct lto_out_decl_state *state)
1173 int i;
1174 size_t size;
1176 size = sizeof (int32_t); /* fn_ref. */
1177 for (i = 0; i < LTO_N_DECL_STREAMS; i++)
1179 size += sizeof (int32_t); /* vector size. */
1180 size += (lto_tree_ref_encoder_size (&state->streams[i])
1181 * sizeof (int32_t));
1183 return size;
1187 /* Write symbol T into STREAM in CACHE. SEEN specifies symbols we wrote
1188 so far. */
1190 static void
1191 write_symbol (struct streamer_tree_cache_d *cache,
1192 struct lto_output_stream *stream,
1193 tree t, struct pointer_set_t *seen, bool alias)
1195 const char *name;
1196 enum gcc_plugin_symbol_kind kind;
1197 enum gcc_plugin_symbol_visibility visibility;
1198 unsigned slot_num;
1199 uint64_t size;
1200 const char *comdat;
1201 unsigned char c;
1203 /* None of the following kinds of symbols are needed in the
1204 symbol table. */
1205 if (!TREE_PUBLIC (t)
1206 || is_builtin_fn (t)
1207 || DECL_ABSTRACT (t)
1208 || TREE_CODE (t) == RESULT_DECL)
1209 return;
1211 gcc_assert (TREE_CODE (t) == VAR_DECL
1212 || TREE_CODE (t) == FUNCTION_DECL);
1214 name = IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (t));
1216 /* This behaves like assemble_name_raw in varasm.c, performing the
1217 same name manipulations that ASM_OUTPUT_LABELREF does. */
1218 name = IDENTIFIER_POINTER ((*targetm.asm_out.mangle_assembler_name) (name));
1220 if (pointer_set_contains (seen, name))
1221 return;
1222 pointer_set_insert (seen, name);
1224 streamer_tree_cache_lookup (cache, t, &slot_num);
1225 gcc_assert (slot_num != (unsigned)-1);
1227 if (DECL_EXTERNAL (t))
1229 if (DECL_WEAK (t))
1230 kind = GCCPK_WEAKUNDEF;
1231 else
1232 kind = GCCPK_UNDEF;
1234 else
1236 if (DECL_WEAK (t))
1237 kind = GCCPK_WEAKDEF;
1238 else if (DECL_COMMON (t))
1239 kind = GCCPK_COMMON;
1240 else
1241 kind = GCCPK_DEF;
1243 /* When something is defined, it should have node attached. */
1244 gcc_assert (alias || TREE_CODE (t) != VAR_DECL
1245 || varpool_get_node (t)->finalized);
1246 gcc_assert (alias || TREE_CODE (t) != FUNCTION_DECL
1247 || (cgraph_get_node (t)
1248 && cgraph_get_node (t)->analyzed));
1251 /* Imitate what default_elf_asm_output_external do.
1252 When symbol is external, we need to output it with DEFAULT visibility
1253 when compiling with -fvisibility=default, while with HIDDEN visibility
1254 when symbol has attribute (visibility("hidden")) specified.
1255 targetm.binds_local_p check DECL_VISIBILITY_SPECIFIED and gets this
1256 right. */
1258 if (DECL_EXTERNAL (t)
1259 && !targetm.binds_local_p (t))
1260 visibility = GCCPV_DEFAULT;
1261 else
1262 switch (DECL_VISIBILITY(t))
1264 case VISIBILITY_DEFAULT:
1265 visibility = GCCPV_DEFAULT;
1266 break;
1267 case VISIBILITY_PROTECTED:
1268 visibility = GCCPV_PROTECTED;
1269 break;
1270 case VISIBILITY_HIDDEN:
1271 visibility = GCCPV_HIDDEN;
1272 break;
1273 case VISIBILITY_INTERNAL:
1274 visibility = GCCPV_INTERNAL;
1275 break;
1278 if (kind == GCCPK_COMMON
1279 && DECL_SIZE (t)
1280 && TREE_CODE (DECL_SIZE (t)) == INTEGER_CST)
1282 size = (HOST_BITS_PER_WIDE_INT >= 64)
1283 ? (uint64_t) int_size_in_bytes (TREE_TYPE (t))
1284 : (((uint64_t) TREE_INT_CST_HIGH (DECL_SIZE_UNIT (t))) << 32)
1285 | TREE_INT_CST_LOW (DECL_SIZE_UNIT (t));
1287 else
1288 size = 0;
1290 if (DECL_ONE_ONLY (t))
1291 comdat = IDENTIFIER_POINTER (DECL_COMDAT_GROUP (t));
1292 else
1293 comdat = "";
1295 lto_output_data_stream (stream, name, strlen (name) + 1);
1296 lto_output_data_stream (stream, comdat, strlen (comdat) + 1);
1297 c = (unsigned char) kind;
1298 lto_output_data_stream (stream, &c, 1);
1299 c = (unsigned char) visibility;
1300 lto_output_data_stream (stream, &c, 1);
1301 lto_output_data_stream (stream, &size, 8);
1302 lto_output_data_stream (stream, &slot_num, 4);
1306 /* Write an IL symbol table to OB.
1307 SET and VSET are cgraph/varpool node sets we are outputting. */
1309 static void
1310 produce_symtab (struct output_block *ob,
1311 cgraph_node_set set, varpool_node_set vset)
1313 struct streamer_tree_cache_d *cache = ob->writer_cache;
1314 char *section_name = lto_get_section_name (LTO_section_symtab, NULL, NULL);
1315 struct pointer_set_t *seen;
1316 struct cgraph_node *node;
1317 struct varpool_node *vnode;
1318 struct lto_output_stream stream;
1319 lto_varpool_encoder_t varpool_encoder = ob->decl_state->varpool_node_encoder;
1320 lto_cgraph_encoder_t encoder = ob->decl_state->cgraph_node_encoder;
1321 int i;
1322 alias_pair *p;
1323 struct sets setdata;
1324 symbol_alias_set_t *defined;
1326 setdata.set = set;
1327 setdata.vset = vset;
1329 lto_begin_section (section_name, false);
1330 free (section_name);
1332 seen = pointer_set_create ();
1333 memset (&stream, 0, sizeof (stream));
1335 /* Write all functions.
1336 First write all defined functions and then write all used functions.
1337 This is done so only to handle duplicated symbols in cgraph. */
1338 for (i = 0; i < lto_cgraph_encoder_size (encoder); i++)
1340 node = lto_cgraph_encoder_deref (encoder, i);
1341 if (DECL_EXTERNAL (node->decl))
1342 continue;
1343 if (DECL_COMDAT (node->decl)
1344 && cgraph_comdat_can_be_unshared_p (node))
1345 continue;
1346 if ((node->alias && !node->thunk.alias) || node->global.inlined_to)
1347 continue;
1348 write_symbol (cache, &stream, node->decl, seen, false);
1350 for (i = 0; i < lto_cgraph_encoder_size (encoder); i++)
1352 node = lto_cgraph_encoder_deref (encoder, i);
1353 if (!DECL_EXTERNAL (node->decl))
1354 continue;
1355 if (DECL_COMDAT (node->decl)
1356 && cgraph_comdat_can_be_unshared_p (node))
1357 continue;
1358 if ((node->alias && !node->thunk.alias) || node->global.inlined_to)
1359 continue;
1360 write_symbol (cache, &stream, node->decl, seen, false);
1363 /* Write all variables. */
1364 for (i = 0; i < lto_varpool_encoder_size (varpool_encoder); i++)
1366 vnode = lto_varpool_encoder_deref (varpool_encoder, i);
1367 if (DECL_EXTERNAL (vnode->decl))
1368 continue;
1369 /* COMDAT virtual tables can be unshared. Do not declare them
1370 in the LTO symbol table to prevent linker from forcing them
1371 into the output. */
1372 if (DECL_COMDAT (vnode->decl)
1373 && !vnode->force_output
1374 && vnode->finalized
1375 && DECL_VIRTUAL_P (vnode->decl))
1376 continue;
1377 if (vnode->alias && !vnode->alias_of)
1378 continue;
1379 write_symbol (cache, &stream, vnode->decl, seen, false);
1381 for (i = 0; i < lto_varpool_encoder_size (varpool_encoder); i++)
1383 vnode = lto_varpool_encoder_deref (varpool_encoder, i);
1384 if (!DECL_EXTERNAL (vnode->decl))
1385 continue;
1386 if (DECL_COMDAT (vnode->decl)
1387 && !vnode->force_output
1388 && vnode->finalized
1389 && DECL_VIRTUAL_P (vnode->decl))
1390 continue;
1391 if (vnode->alias && !vnode->alias_of)
1392 continue;
1393 write_symbol (cache, &stream, vnode->decl, seen, false);
1396 /* Write all aliases. */
1397 defined = propagate_aliases_backward (trivally_defined_alias, &setdata);
1398 FOR_EACH_VEC_ELT (alias_pair, alias_pairs, i, p)
1399 if (output_alias_pair_p (p, defined, set, vset))
1400 write_symbol (cache, &stream, p->decl, seen, true);
1401 symbol_alias_set_destroy (defined);
1403 lto_write_stream (&stream);
1404 pointer_set_destroy (seen);
1406 lto_end_section ();
1410 /* This pass is run after all of the functions are serialized and all
1411 of the IPA passes have written their serialized forms. This pass
1412 causes the vector of all of the global decls and types used from
1413 this file to be written in to a section that can then be read in to
1414 recover these on other side. */
1416 static void
1417 produce_asm_for_decls (cgraph_node_set set, varpool_node_set vset)
1419 struct lto_out_decl_state *out_state;
1420 struct lto_out_decl_state *fn_out_state;
1421 struct lto_decl_header header;
1422 char *section_name;
1423 struct output_block *ob;
1424 struct lto_output_stream *header_stream, *decl_state_stream;
1425 unsigned idx, num_fns;
1426 size_t decl_state_size;
1427 int32_t num_decl_states;
1429 ob = create_output_block (LTO_section_decls);
1430 ob->global = true;
1432 /* Write out unreferenced globals, alias pairs and labels. We defer
1433 doing this until now so that we can write out only what is
1434 needed. */
1435 output_unreferenced_globals (set, vset);
1437 memset (&header, 0, sizeof (struct lto_decl_header));
1439 section_name = lto_get_section_name (LTO_section_decls, NULL, NULL);
1440 lto_begin_section (section_name, !flag_wpa);
1441 free (section_name);
1443 /* Make string 0 be a NULL string. */
1444 streamer_write_char_stream (ob->string_stream, 0);
1446 /* Write the global symbols. */
1447 out_state = lto_get_out_decl_state ();
1448 num_fns = VEC_length (lto_out_decl_state_ptr, lto_function_decl_states);
1449 lto_output_decl_state_streams (ob, out_state);
1450 for (idx = 0; idx < num_fns; idx++)
1452 fn_out_state =
1453 VEC_index (lto_out_decl_state_ptr, lto_function_decl_states, idx);
1454 lto_output_decl_state_streams (ob, fn_out_state);
1457 header.lto_header.major_version = LTO_major_version;
1458 header.lto_header.minor_version = LTO_minor_version;
1459 header.lto_header.section_type = LTO_section_decls;
1461 /* Currently not used. This field would allow us to preallocate
1462 the globals vector, so that it need not be resized as it is extended. */
1463 header.num_nodes = -1;
1465 /* Compute the total size of all decl out states. */
1466 decl_state_size = sizeof (int32_t);
1467 decl_state_size += lto_out_decl_state_written_size (out_state);
1468 for (idx = 0; idx < num_fns; idx++)
1470 fn_out_state =
1471 VEC_index (lto_out_decl_state_ptr, lto_function_decl_states, idx);
1472 decl_state_size += lto_out_decl_state_written_size (fn_out_state);
1474 header.decl_state_size = decl_state_size;
1476 header.main_size = ob->main_stream->total_size;
1477 header.string_size = ob->string_stream->total_size;
1479 header_stream = XCNEW (struct lto_output_stream);
1480 lto_output_data_stream (header_stream, &header, sizeof header);
1481 lto_write_stream (header_stream);
1482 free (header_stream);
1484 /* Write the main out-decl state, followed by out-decl states of
1485 functions. */
1486 decl_state_stream = ((struct lto_output_stream *)
1487 xcalloc (1, sizeof (struct lto_output_stream)));
1488 num_decl_states = num_fns + 1;
1489 lto_output_data_stream (decl_state_stream, &num_decl_states,
1490 sizeof (num_decl_states));
1491 lto_output_decl_state_refs (ob, decl_state_stream, out_state);
1492 for (idx = 0; idx < num_fns; idx++)
1494 fn_out_state =
1495 VEC_index (lto_out_decl_state_ptr, lto_function_decl_states, idx);
1496 lto_output_decl_state_refs (ob, decl_state_stream, fn_out_state);
1498 lto_write_stream (decl_state_stream);
1499 free(decl_state_stream);
1501 lto_write_stream (ob->main_stream);
1502 lto_write_stream (ob->string_stream);
1504 lto_end_section ();
1506 /* Write the symbol table. It is used by linker to determine dependencies
1507 and thus we can skip it for WPA. */
1508 if (!flag_wpa)
1509 produce_symtab (ob, set, vset);
1511 /* Write command line opts. */
1512 lto_write_options ();
1514 /* Deallocate memory and clean up. */
1515 for (idx = 0; idx < num_fns; idx++)
1517 fn_out_state =
1518 VEC_index (lto_out_decl_state_ptr, lto_function_decl_states, idx);
1519 lto_delete_out_decl_state (fn_out_state);
1521 lto_cgraph_encoder_delete (ob->decl_state->cgraph_node_encoder);
1522 lto_varpool_encoder_delete (ob->decl_state->varpool_node_encoder);
1523 VEC_free (lto_out_decl_state_ptr, heap, lto_function_decl_states);
1524 lto_function_decl_states = NULL;
1525 destroy_output_block (ob);
1529 struct ipa_opt_pass_d pass_ipa_lto_finish_out =
1532 IPA_PASS,
1533 "lto_decls_out", /* name */
1534 gate_lto_out, /* gate */
1535 NULL, /* execute */
1536 NULL, /* sub */
1537 NULL, /* next */
1538 0, /* static_pass_number */
1539 TV_IPA_LTO_DECL_OUT, /* tv_id */
1540 0, /* properties_required */
1541 0, /* properties_provided */
1542 0, /* properties_destroyed */
1543 0, /* todo_flags_start */
1544 0 /* todo_flags_finish */
1546 NULL, /* generate_summary */
1547 produce_asm_for_decls, /* write_summary */
1548 NULL, /* read_summary */
1549 produce_asm_for_decls, /* write_optimization_summary */
1550 NULL, /* read_optimization_summary */
1551 NULL, /* stmt_fixup */
1552 0, /* TODOs */
1553 NULL, /* function_transform */
1554 NULL /* variable_transform */