* doc/invoke.texi (AVR Options): Document __AVR_ARCH__.
[official-gcc.git] / gcc / lto-streamer-out.c
blob806045b52bf9ef97c00ceb97823e55a29a1a7012
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 true;
129 else if (TREE_CODE (t) == VAR_DECL && decl_function_context (t)
130 && !TREE_STATIC (t))
131 return false;
132 /* Variably modified types need to be streamed alongside function
133 bodies because they can refer to local entities. Together with
134 them we have to localize their members as well.
135 ??? In theory that includes non-FIELD_DECLs as well. */
136 else if (TYPE_P (t)
137 && variably_modified_type_p (t, NULL_TREE))
138 return false;
139 else if (TREE_CODE (t) == FIELD_DECL
140 && variably_modified_type_p (DECL_CONTEXT (t), NULL_TREE))
141 return false;
142 else
143 return (TYPE_P (t) || DECL_P (t) || TREE_CODE (t) == SSA_NAME);
147 /* Output info about new location into bitpack BP.
148 After outputting bitpack, lto_output_location_data has
149 to be done to output actual data. */
151 void
152 lto_output_location (struct output_block *ob, struct bitpack_d *bp,
153 location_t loc)
155 expanded_location xloc;
157 loc = LOCATION_LOCUS (loc);
158 bp_pack_value (bp, loc == UNKNOWN_LOCATION, 1);
159 if (loc == UNKNOWN_LOCATION)
160 return;
162 xloc = expand_location (loc);
164 bp_pack_value (bp, ob->current_file != xloc.file, 1);
165 if (ob->current_file != xloc.file)
166 bp_pack_var_len_unsigned (bp,
167 streamer_string_index (ob, xloc.file,
168 strlen (xloc.file) + 1,
169 true));
170 ob->current_file = xloc.file;
172 bp_pack_value (bp, ob->current_line != xloc.line, 1);
173 if (ob->current_line != xloc.line)
174 bp_pack_var_len_unsigned (bp, xloc.line);
175 ob->current_line = xloc.line;
177 bp_pack_value (bp, ob->current_col != xloc.column, 1);
178 if (ob->current_col != xloc.column)
179 bp_pack_var_len_unsigned (bp, xloc.column);
180 ob->current_col = xloc.column;
184 /* If EXPR is an indexable tree node, output a reference to it to
185 output block OB. Otherwise, output the physical representation of
186 EXPR to OB. */
188 static void
189 lto_output_tree_ref (struct output_block *ob, tree expr)
191 enum tree_code code;
193 if (TYPE_P (expr))
195 output_type_ref (ob, expr);
196 return;
199 code = TREE_CODE (expr);
200 switch (code)
202 case SSA_NAME:
203 streamer_write_record_start (ob, LTO_ssa_name_ref);
204 streamer_write_uhwi (ob, SSA_NAME_VERSION (expr));
205 break;
207 case FIELD_DECL:
208 streamer_write_record_start (ob, LTO_field_decl_ref);
209 lto_output_field_decl_index (ob->decl_state, ob->main_stream, expr);
210 break;
212 case FUNCTION_DECL:
213 streamer_write_record_start (ob, LTO_function_decl_ref);
214 lto_output_fn_decl_index (ob->decl_state, ob->main_stream, expr);
215 break;
217 case VAR_DECL:
218 case DEBUG_EXPR_DECL:
219 gcc_assert (decl_function_context (expr) == NULL || TREE_STATIC (expr));
220 case PARM_DECL:
221 streamer_write_record_start (ob, LTO_global_decl_ref);
222 lto_output_var_decl_index (ob->decl_state, ob->main_stream, expr);
223 break;
225 case CONST_DECL:
226 streamer_write_record_start (ob, LTO_const_decl_ref);
227 lto_output_var_decl_index (ob->decl_state, ob->main_stream, expr);
228 break;
230 case IMPORTED_DECL:
231 gcc_assert (decl_function_context (expr) == NULL);
232 streamer_write_record_start (ob, LTO_imported_decl_ref);
233 lto_output_var_decl_index (ob->decl_state, ob->main_stream, expr);
234 break;
236 case TYPE_DECL:
237 streamer_write_record_start (ob, LTO_type_decl_ref);
238 lto_output_type_decl_index (ob->decl_state, ob->main_stream, expr);
239 break;
241 case NAMESPACE_DECL:
242 streamer_write_record_start (ob, LTO_namespace_decl_ref);
243 lto_output_namespace_decl_index (ob->decl_state, ob->main_stream, expr);
244 break;
246 case LABEL_DECL:
247 streamer_write_record_start (ob, LTO_label_decl_ref);
248 lto_output_var_decl_index (ob->decl_state, ob->main_stream, expr);
249 break;
251 case RESULT_DECL:
252 streamer_write_record_start (ob, LTO_result_decl_ref);
253 lto_output_var_decl_index (ob->decl_state, ob->main_stream, expr);
254 break;
256 case TRANSLATION_UNIT_DECL:
257 streamer_write_record_start (ob, LTO_translation_unit_decl_ref);
258 lto_output_var_decl_index (ob->decl_state, ob->main_stream, expr);
259 break;
261 default:
262 /* No other node is indexable, so it should have been handled by
263 lto_output_tree. */
264 gcc_unreachable ();
269 /* Return true if EXPR is a tree node that can be written to disk. */
271 static inline bool
272 lto_is_streamable (tree expr)
274 enum tree_code code = TREE_CODE (expr);
276 /* Notice that we reject SSA_NAMEs as well. We only emit the SSA
277 name version in lto_output_tree_ref (see output_ssa_names). */
278 return !is_lang_specific (expr)
279 && code != SSA_NAME
280 && code != CALL_EXPR
281 && code != LANG_TYPE
282 && code != MODIFY_EXPR
283 && code != INIT_EXPR
284 && code != TARGET_EXPR
285 && code != BIND_EXPR
286 && code != WITH_CLEANUP_EXPR
287 && code != STATEMENT_LIST
288 && code != OMP_CLAUSE
289 && (code == CASE_LABEL_EXPR
290 || code == DECL_EXPR
291 || TREE_CODE_CLASS (code) != tcc_statement);
295 /* Write a physical representation of tree node EXPR to output block
296 OB. If REF_P is true, the leaves of EXPR are emitted as references
297 via lto_output_tree_ref. IX is the index into the streamer cache
298 where EXPR is stored. */
300 static void
301 lto_write_tree (struct output_block *ob, tree expr, bool ref_p)
303 struct bitpack_d bp;
305 if (!lto_is_streamable (expr))
306 internal_error ("tree code %qs is not supported in LTO streams",
307 tree_code_name[TREE_CODE (expr)]);
309 /* Write the header, containing everything needed to materialize
310 EXPR on the reading side. */
311 streamer_write_tree_header (ob, expr);
313 /* Pack all the non-pointer fields in EXPR into a bitpack and write
314 the resulting bitpack. */
315 bp = bitpack_create (ob->main_stream);
316 streamer_pack_tree_bitfields (ob, &bp, expr);
317 streamer_write_bitpack (&bp);
319 /* Write all the pointer fields in EXPR. */
320 streamer_write_tree_body (ob, expr, ref_p);
322 /* Write any LTO-specific data to OB. */
323 if (DECL_P (expr)
324 && TREE_CODE (expr) != FUNCTION_DECL
325 && TREE_CODE (expr) != TRANSLATION_UNIT_DECL)
327 /* Handle DECL_INITIAL for symbols. */
328 tree initial = DECL_INITIAL (expr);
329 if (TREE_CODE (expr) == VAR_DECL
330 && (TREE_STATIC (expr) || DECL_EXTERNAL (expr))
331 && initial)
333 lto_symtab_encoder_t encoder;
334 struct varpool_node *vnode;
336 encoder = ob->decl_state->symtab_node_encoder;
337 vnode = varpool_get_node (expr);
338 if (!vnode
339 || !lto_symtab_encoder_encode_initializer_p (encoder,
340 vnode))
341 initial = error_mark_node;
344 stream_write_tree (ob, initial, ref_p);
347 /* Mark the end of EXPR. */
348 streamer_write_zero (ob);
352 /* Emit the physical representation of tree node EXPR to output block
353 OB. If THIS_REF_P is true, the leaves of EXPR are emitted as references
354 via lto_output_tree_ref. REF_P is used for streaming siblings of EXPR. */
356 void
357 lto_output_tree (struct output_block *ob, tree expr,
358 bool ref_p, bool this_ref_p)
360 unsigned ix;
361 bool existed_p;
363 if (expr == NULL_TREE)
365 streamer_write_record_start (ob, LTO_null);
366 return;
369 if (this_ref_p && tree_is_indexable (expr))
371 lto_output_tree_ref (ob, expr);
372 return;
375 /* Shared INTEGER_CST nodes are special because they need their original type
376 to be materialized by the reader (to implement TYPE_CACHED_VALUES). */
377 if (TREE_CODE (expr) == INTEGER_CST
378 && !TREE_OVERFLOW (expr))
380 streamer_write_integer_cst (ob, expr, ref_p);
381 return;
384 existed_p = streamer_tree_cache_insert (ob->writer_cache, expr, &ix);
385 if (existed_p)
387 /* If a node has already been streamed out, make sure that
388 we don't write it more than once. Otherwise, the reader
389 will instantiate two different nodes for the same object. */
390 streamer_write_record_start (ob, LTO_tree_pickle_reference);
391 streamer_write_uhwi (ob, ix);
392 streamer_write_enum (ob->main_stream, LTO_tags, LTO_NUM_TAGS,
393 lto_tree_code_to_tag (TREE_CODE (expr)));
395 else if (streamer_handle_as_builtin_p (expr))
397 /* MD and NORMAL builtins do not need to be written out
398 completely as they are always instantiated by the
399 compiler on startup. The only builtins that need to
400 be written out are BUILT_IN_FRONTEND. For all other
401 builtins, we simply write the class and code. */
402 streamer_write_builtin (ob, expr);
404 else
406 /* This is the first time we see EXPR, write its fields
407 to OB. */
408 lto_write_tree (ob, expr, ref_p);
413 /* Output to OB a list of try/catch handlers starting with FIRST. */
415 static void
416 output_eh_try_list (struct output_block *ob, eh_catch first)
418 eh_catch n;
420 for (n = first; n; n = n->next_catch)
422 streamer_write_record_start (ob, LTO_eh_catch);
423 stream_write_tree (ob, n->type_list, true);
424 stream_write_tree (ob, n->filter_list, true);
425 stream_write_tree (ob, n->label, true);
428 streamer_write_record_start (ob, LTO_null);
432 /* Output EH region R in function FN to OB. CURR_RN is the slot index
433 that is being emitted in FN->EH->REGION_ARRAY. This is used to
434 detect EH region sharing. */
436 static void
437 output_eh_region (struct output_block *ob, eh_region r)
439 enum LTO_tags tag;
441 if (r == NULL)
443 streamer_write_record_start (ob, LTO_null);
444 return;
447 if (r->type == ERT_CLEANUP)
448 tag = LTO_ert_cleanup;
449 else if (r->type == ERT_TRY)
450 tag = LTO_ert_try;
451 else if (r->type == ERT_ALLOWED_EXCEPTIONS)
452 tag = LTO_ert_allowed_exceptions;
453 else if (r->type == ERT_MUST_NOT_THROW)
454 tag = LTO_ert_must_not_throw;
455 else
456 gcc_unreachable ();
458 streamer_write_record_start (ob, tag);
459 streamer_write_hwi (ob, r->index);
461 if (r->outer)
462 streamer_write_hwi (ob, r->outer->index);
463 else
464 streamer_write_zero (ob);
466 if (r->inner)
467 streamer_write_hwi (ob, r->inner->index);
468 else
469 streamer_write_zero (ob);
471 if (r->next_peer)
472 streamer_write_hwi (ob, r->next_peer->index);
473 else
474 streamer_write_zero (ob);
476 if (r->type == ERT_TRY)
478 output_eh_try_list (ob, r->u.eh_try.first_catch);
480 else if (r->type == ERT_ALLOWED_EXCEPTIONS)
482 stream_write_tree (ob, r->u.allowed.type_list, true);
483 stream_write_tree (ob, r->u.allowed.label, true);
484 streamer_write_uhwi (ob, r->u.allowed.filter);
486 else if (r->type == ERT_MUST_NOT_THROW)
488 stream_write_tree (ob, r->u.must_not_throw.failure_decl, true);
489 bitpack_d bp = bitpack_create (ob->main_stream);
490 stream_output_location (ob, &bp, r->u.must_not_throw.failure_loc);
491 streamer_write_bitpack (&bp);
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 || virtual_operand_p (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 if (SSA_NAME_VAR (ptr))
608 stream_write_tree (ob, SSA_NAME_VAR (ptr), true);
609 else
610 /* ??? This drops SSA_NAME_IDENTIFIER on the floor. */
611 stream_write_tree (ob, TREE_TYPE (ptr), true);
614 streamer_write_zero (ob);
618 /* Output the cfg. */
620 static void
621 output_cfg (struct output_block *ob, struct function *fn)
623 struct lto_output_stream *tmp_stream = ob->main_stream;
624 basic_block bb;
626 ob->main_stream = ob->cfg_stream;
628 streamer_write_enum (ob->main_stream, profile_status_d, PROFILE_LAST,
629 profile_status_for_function (fn));
631 /* Output the number of the highest basic block. */
632 streamer_write_uhwi (ob, last_basic_block_for_function (fn));
634 FOR_ALL_BB_FN (bb, fn)
636 edge_iterator ei;
637 edge e;
639 streamer_write_hwi (ob, bb->index);
641 /* Output the successors and the edge flags. */
642 streamer_write_uhwi (ob, EDGE_COUNT (bb->succs));
643 FOR_EACH_EDGE (e, ei, bb->succs)
645 streamer_write_uhwi (ob, e->dest->index);
646 streamer_write_hwi (ob, e->probability);
647 streamer_write_hwi (ob, e->count);
648 streamer_write_uhwi (ob, e->flags);
652 streamer_write_hwi (ob, -1);
654 bb = ENTRY_BLOCK_PTR;
655 while (bb->next_bb)
657 streamer_write_hwi (ob, bb->next_bb->index);
658 bb = bb->next_bb;
661 streamer_write_hwi (ob, -1);
663 ob->main_stream = tmp_stream;
667 /* Create the header in the file using OB. If the section type is for
668 a function, set FN to the decl for that function. */
670 void
671 produce_asm (struct output_block *ob, tree fn)
673 enum lto_section_type section_type = ob->section_type;
674 struct lto_function_header header;
675 char *section_name;
676 struct lto_output_stream *header_stream;
678 if (section_type == LTO_section_function_body)
680 const char *name = IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (fn));
681 section_name = lto_get_section_name (section_type, name, NULL);
683 else
684 section_name = lto_get_section_name (section_type, NULL, NULL);
686 lto_begin_section (section_name, !flag_wpa);
687 free (section_name);
689 /* The entire header is stream computed here. */
690 memset (&header, 0, sizeof (struct lto_function_header));
692 /* Write the header. */
693 header.lto_header.major_version = LTO_major_version;
694 header.lto_header.minor_version = LTO_minor_version;
696 header.compressed_size = 0;
698 if (section_type == LTO_section_function_body)
699 header.cfg_size = ob->cfg_stream->total_size;
700 header.main_size = ob->main_stream->total_size;
701 header.string_size = ob->string_stream->total_size;
703 header_stream = XCNEW (struct lto_output_stream);
704 lto_output_data_stream (header_stream, &header, sizeof header);
705 lto_write_stream (header_stream);
706 free (header_stream);
708 /* Put all of the gimple and the string table out the asm file as a
709 block of text. */
710 if (section_type == LTO_section_function_body)
711 lto_write_stream (ob->cfg_stream);
712 lto_write_stream (ob->main_stream);
713 lto_write_stream (ob->string_stream);
715 lto_end_section ();
719 /* Output the base body of struct function FN using output block OB. */
721 static void
722 output_struct_function_base (struct output_block *ob, struct function *fn)
724 struct bitpack_d bp;
725 unsigned i;
726 tree t;
728 /* Output the static chain and non-local goto save area. */
729 stream_write_tree (ob, fn->static_chain_decl, true);
730 stream_write_tree (ob, fn->nonlocal_goto_save_area, true);
732 /* Output all the local variables in the function. */
733 streamer_write_hwi (ob, VEC_length (tree, fn->local_decls));
734 FOR_EACH_VEC_ELT (tree, fn->local_decls, i, t)
735 stream_write_tree (ob, t, true);
737 /* Output current IL state of the function. */
738 streamer_write_uhwi (ob, fn->curr_properties);
740 /* Write all the attributes for FN. */
741 bp = bitpack_create (ob->main_stream);
742 bp_pack_value (&bp, fn->is_thunk, 1);
743 bp_pack_value (&bp, fn->has_local_explicit_reg_vars, 1);
744 bp_pack_value (&bp, fn->returns_pcc_struct, 1);
745 bp_pack_value (&bp, fn->returns_struct, 1);
746 bp_pack_value (&bp, fn->can_throw_non_call_exceptions, 1);
747 bp_pack_value (&bp, fn->can_delete_dead_exceptions, 1);
748 bp_pack_value (&bp, fn->always_inline_functions_inlined, 1);
749 bp_pack_value (&bp, fn->after_inlining, 1);
750 bp_pack_value (&bp, fn->stdarg, 1);
751 bp_pack_value (&bp, fn->has_nonlocal_label, 1);
752 bp_pack_value (&bp, fn->calls_alloca, 1);
753 bp_pack_value (&bp, fn->calls_setjmp, 1);
754 bp_pack_value (&bp, fn->va_list_fpr_size, 8);
755 bp_pack_value (&bp, fn->va_list_gpr_size, 8);
757 /* Output the function start and end loci. */
758 stream_output_location (ob, &bp, fn->function_start_locus);
759 stream_output_location (ob, &bp, fn->function_end_locus);
761 streamer_write_bitpack (&bp);
765 /* Output the body of function NODE->DECL. */
767 static void
768 output_function (struct cgraph_node *node)
770 tree function;
771 struct function *fn;
772 basic_block bb;
773 struct output_block *ob;
775 function = node->symbol.decl;
776 fn = DECL_STRUCT_FUNCTION (function);
777 ob = create_output_block (LTO_section_function_body);
779 clear_line_info (ob);
780 ob->cgraph_node = node;
782 gcc_assert (current_function_decl == NULL_TREE && cfun == NULL);
784 /* Set current_function_decl and cfun. */
785 push_cfun (fn);
787 /* Make string 0 be a NULL string. */
788 streamer_write_char_stream (ob->string_stream, 0);
790 streamer_write_record_start (ob, LTO_function);
792 output_struct_function_base (ob, fn);
794 /* Output all the SSA names used in the function. */
795 output_ssa_names (ob, fn);
797 /* Output any exception handling regions. */
798 output_eh_regions (ob, fn);
800 /* Output DECL_INITIAL for the function, which contains the tree of
801 lexical scopes. */
802 stream_write_tree (ob, DECL_INITIAL (function), true);
804 /* We will renumber the statements. The code that does this uses
805 the same ordering that we use for serializing them so we can use
806 the same code on the other end and not have to write out the
807 statement numbers. We do not assign UIDs to PHIs here because
808 virtual PHIs get re-computed on-the-fly which would make numbers
809 inconsistent. */
810 set_gimple_stmt_max_uid (cfun, 0);
811 FOR_ALL_BB (bb)
813 gimple_stmt_iterator gsi;
814 for (gsi = gsi_start_bb (bb); !gsi_end_p (gsi); gsi_next (&gsi))
816 gimple stmt = gsi_stmt (gsi);
817 gimple_set_uid (stmt, inc_gimple_stmt_max_uid (cfun));
821 /* Output the code for the function. */
822 FOR_ALL_BB_FN (bb, fn)
823 output_bb (ob, bb, fn);
825 /* The terminator for this function. */
826 streamer_write_record_start (ob, LTO_null);
828 output_cfg (ob, fn);
830 /* Create a section to hold the pickled output of this function. */
831 produce_asm (ob, function);
833 destroy_output_block (ob);
835 pop_cfun ();
839 /* Emit toplevel asms. */
841 void
842 lto_output_toplevel_asms (void)
844 struct output_block *ob;
845 struct asm_node *can;
846 char *section_name;
847 struct lto_output_stream *header_stream;
848 struct lto_asm_header header;
850 if (! asm_nodes)
851 return;
853 ob = create_output_block (LTO_section_asm);
855 /* Make string 0 be a NULL string. */
856 streamer_write_char_stream (ob->string_stream, 0);
858 for (can = asm_nodes; can; can = can->next)
860 streamer_write_string_cst (ob, ob->main_stream, can->asm_str);
861 streamer_write_hwi (ob, can->order);
864 streamer_write_string_cst (ob, ob->main_stream, NULL_TREE);
866 section_name = lto_get_section_name (LTO_section_asm, NULL, NULL);
867 lto_begin_section (section_name, !flag_wpa);
868 free (section_name);
870 /* The entire header stream is computed here. */
871 memset (&header, 0, sizeof (header));
873 /* Write the header. */
874 header.lto_header.major_version = LTO_major_version;
875 header.lto_header.minor_version = LTO_minor_version;
877 header.main_size = ob->main_stream->total_size;
878 header.string_size = ob->string_stream->total_size;
880 header_stream = XCNEW (struct lto_output_stream);
881 lto_output_data_stream (header_stream, &header, sizeof (header));
882 lto_write_stream (header_stream);
883 free (header_stream);
885 /* Put all of the gimple and the string table out the asm file as a
886 block of text. */
887 lto_write_stream (ob->main_stream);
888 lto_write_stream (ob->string_stream);
890 lto_end_section ();
892 destroy_output_block (ob);
896 /* Copy the function body of NODE without deserializing. */
898 static void
899 copy_function (struct cgraph_node *node)
901 tree function = node->symbol.decl;
902 struct lto_file_decl_data *file_data = node->symbol.lto_file_data;
903 struct lto_output_stream *output_stream = XCNEW (struct lto_output_stream);
904 const char *data;
905 size_t len;
906 const char *name = IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (function));
907 char *section_name =
908 lto_get_section_name (LTO_section_function_body, name, NULL);
909 size_t i, j;
910 struct lto_in_decl_state *in_state;
911 struct lto_out_decl_state *out_state = lto_get_out_decl_state ();
913 lto_begin_section (section_name, !flag_wpa);
914 free (section_name);
916 /* We may have renamed the declaration, e.g., a static function. */
917 name = lto_get_decl_name_mapping (file_data, name);
919 data = lto_get_section_data (file_data, LTO_section_function_body,
920 name, &len);
921 gcc_assert (data);
923 /* Do a bit copy of the function body. */
924 lto_output_data_stream (output_stream, data, len);
925 lto_write_stream (output_stream);
927 /* Copy decls. */
928 in_state =
929 lto_get_function_in_decl_state (node->symbol.lto_file_data, function);
930 gcc_assert (in_state);
932 for (i = 0; i < LTO_N_DECL_STREAMS; i++)
934 size_t n = in_state->streams[i].size;
935 tree *trees = in_state->streams[i].trees;
936 struct lto_tree_ref_encoder *encoder = &(out_state->streams[i]);
938 /* The out state must have the same indices and the in state.
939 So just copy the vector. All the encoders in the in state
940 must be empty where we reach here. */
941 gcc_assert (lto_tree_ref_encoder_size (encoder) == 0);
942 for (j = 0; j < n; j++)
943 VEC_safe_push (tree, heap, encoder->trees, trees[j]);
944 encoder->next_index = n;
947 lto_free_section_data (file_data, LTO_section_function_body, name,
948 data, len);
949 free (output_stream);
950 lto_end_section ();
954 /* Main entry point from the pass manager. */
956 static void
957 lto_output (void)
959 struct cgraph_node *node;
960 struct lto_out_decl_state *decl_state;
961 #ifdef ENABLE_CHECKING
962 bitmap output = lto_bitmap_alloc ();
963 #endif
964 int i, n_nodes;
965 lto_symtab_encoder_t encoder = lto_get_out_decl_state ()->symtab_node_encoder;
967 /* Initialize the streamer. */
968 lto_streamer_init ();
970 n_nodes = lto_symtab_encoder_size (encoder);
971 /* Process only the functions with bodies. */
972 for (i = 0; i < n_nodes; i++)
974 symtab_node snode = lto_symtab_encoder_deref (encoder, i);
975 if (!symtab_function_p (snode))
976 continue;
977 node = cgraph (snode);
978 if (lto_symtab_encoder_encode_body_p (encoder, node)
979 && !node->alias
980 && !node->thunk.thunk_p)
982 #ifdef ENABLE_CHECKING
983 gcc_assert (!bitmap_bit_p (output, DECL_UID (node->symbol.decl)));
984 bitmap_set_bit (output, DECL_UID (node->symbol.decl));
985 #endif
986 decl_state = lto_new_out_decl_state ();
987 lto_push_out_decl_state (decl_state);
988 if (gimple_has_body_p (node->symbol.decl))
989 output_function (node);
990 else
991 copy_function (node);
992 gcc_assert (lto_get_out_decl_state () == decl_state);
993 lto_pop_out_decl_state ();
994 lto_record_function_out_decl_state (node->symbol.decl, decl_state);
998 /* Emit the callgraph after emitting function bodies. This needs to
999 be done now to make sure that all the statements in every function
1000 have been renumbered so that edges can be associated with call
1001 statements using the statement UIDs. */
1002 output_symtab ();
1004 #ifdef ENABLE_CHECKING
1005 lto_bitmap_free (output);
1006 #endif
1009 struct ipa_opt_pass_d pass_ipa_lto_gimple_out =
1012 IPA_PASS,
1013 "lto_gimple_out", /* name */
1014 gate_lto_out, /* gate */
1015 NULL, /* execute */
1016 NULL, /* sub */
1017 NULL, /* next */
1018 0, /* static_pass_number */
1019 TV_IPA_LTO_GIMPLE_OUT, /* tv_id */
1020 0, /* properties_required */
1021 0, /* properties_provided */
1022 0, /* properties_destroyed */
1023 0, /* todo_flags_start */
1024 0 /* todo_flags_finish */
1026 NULL, /* generate_summary */
1027 lto_output, /* write_summary */
1028 NULL, /* read_summary */
1029 lto_output, /* write_optimization_summary */
1030 NULL, /* read_optimization_summary */
1031 NULL, /* stmt_fixup */
1032 0, /* TODOs */
1033 NULL, /* function_transform */
1034 NULL /* variable_transform */
1038 /* Write each node in encoded by ENCODER to OB, as well as those reachable
1039 from it and required for correct representation of its semantics.
1040 Each node in ENCODER must be a global declaration or a type. A node
1041 is written only once, even if it appears multiple times in the
1042 vector. Certain transitively-reachable nodes, such as those
1043 representing expressions, may be duplicated, but such nodes
1044 must not appear in ENCODER itself. */
1046 static void
1047 write_global_stream (struct output_block *ob,
1048 struct lto_tree_ref_encoder *encoder)
1050 tree t;
1051 size_t index;
1052 const size_t size = lto_tree_ref_encoder_size (encoder);
1054 for (index = 0; index < size; index++)
1056 t = lto_tree_ref_encoder_get_tree (encoder, index);
1057 if (!streamer_tree_cache_lookup (ob->writer_cache, t, NULL))
1058 stream_write_tree (ob, t, false);
1063 /* Write a sequence of indices into the globals vector corresponding
1064 to the trees in ENCODER. These are used by the reader to map the
1065 indices used to refer to global entities within function bodies to
1066 their referents. */
1068 static void
1069 write_global_references (struct output_block *ob,
1070 struct lto_output_stream *ref_stream,
1071 struct lto_tree_ref_encoder *encoder)
1073 tree t;
1074 uint32_t index;
1075 const uint32_t size = lto_tree_ref_encoder_size (encoder);
1077 /* Write size as 32-bit unsigned. */
1078 lto_output_data_stream (ref_stream, &size, sizeof (int32_t));
1080 for (index = 0; index < size; index++)
1082 uint32_t slot_num;
1084 t = lto_tree_ref_encoder_get_tree (encoder, index);
1085 streamer_tree_cache_lookup (ob->writer_cache, t, &slot_num);
1086 gcc_assert (slot_num != (unsigned)-1);
1087 lto_output_data_stream (ref_stream, &slot_num, sizeof slot_num);
1092 /* Write all the streams in an lto_out_decl_state STATE using
1093 output block OB and output stream OUT_STREAM. */
1095 void
1096 lto_output_decl_state_streams (struct output_block *ob,
1097 struct lto_out_decl_state *state)
1099 int i;
1101 for (i = 0; i < LTO_N_DECL_STREAMS; i++)
1102 write_global_stream (ob, &state->streams[i]);
1106 /* Write all the references in an lto_out_decl_state STATE using
1107 output block OB and output stream OUT_STREAM. */
1109 void
1110 lto_output_decl_state_refs (struct output_block *ob,
1111 struct lto_output_stream *out_stream,
1112 struct lto_out_decl_state *state)
1114 unsigned i;
1115 uint32_t ref;
1116 tree decl;
1118 /* Write reference to FUNCTION_DECL. If there is not function,
1119 write reference to void_type_node. */
1120 decl = (state->fn_decl) ? state->fn_decl : void_type_node;
1121 streamer_tree_cache_lookup (ob->writer_cache, decl, &ref);
1122 gcc_assert (ref != (unsigned)-1);
1123 lto_output_data_stream (out_stream, &ref, sizeof (uint32_t));
1125 for (i = 0; i < LTO_N_DECL_STREAMS; i++)
1126 write_global_references (ob, out_stream, &state->streams[i]);
1130 /* Return the written size of STATE. */
1132 static size_t
1133 lto_out_decl_state_written_size (struct lto_out_decl_state *state)
1135 int i;
1136 size_t size;
1138 size = sizeof (int32_t); /* fn_ref. */
1139 for (i = 0; i < LTO_N_DECL_STREAMS; i++)
1141 size += sizeof (int32_t); /* vector size. */
1142 size += (lto_tree_ref_encoder_size (&state->streams[i])
1143 * sizeof (int32_t));
1145 return size;
1149 /* Write symbol T into STREAM in CACHE. SEEN specifies symbols we wrote
1150 so far. */
1152 static void
1153 write_symbol (struct streamer_tree_cache_d *cache,
1154 struct lto_output_stream *stream,
1155 tree t, struct pointer_set_t *seen, bool alias)
1157 const char *name;
1158 enum gcc_plugin_symbol_kind kind;
1159 enum gcc_plugin_symbol_visibility visibility;
1160 unsigned slot_num;
1161 unsigned HOST_WIDEST_INT size;
1162 const char *comdat;
1163 unsigned char c;
1165 /* None of the following kinds of symbols are needed in the
1166 symbol table. */
1167 if (!TREE_PUBLIC (t)
1168 || is_builtin_fn (t)
1169 || DECL_ABSTRACT (t)
1170 || TREE_CODE (t) == RESULT_DECL)
1171 return;
1173 gcc_assert (TREE_CODE (t) == VAR_DECL
1174 || TREE_CODE (t) == FUNCTION_DECL);
1176 name = IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (t));
1178 /* This behaves like assemble_name_raw in varasm.c, performing the
1179 same name manipulations that ASM_OUTPUT_LABELREF does. */
1180 name = IDENTIFIER_POINTER ((*targetm.asm_out.mangle_assembler_name) (name));
1182 if (pointer_set_contains (seen, name))
1183 return;
1184 pointer_set_insert (seen, name);
1186 streamer_tree_cache_lookup (cache, t, &slot_num);
1187 gcc_assert (slot_num != (unsigned)-1);
1189 if (DECL_EXTERNAL (t))
1191 if (DECL_WEAK (t))
1192 kind = GCCPK_WEAKUNDEF;
1193 else
1194 kind = GCCPK_UNDEF;
1196 else
1198 if (DECL_WEAK (t))
1199 kind = GCCPK_WEAKDEF;
1200 else if (DECL_COMMON (t))
1201 kind = GCCPK_COMMON;
1202 else
1203 kind = GCCPK_DEF;
1205 /* When something is defined, it should have node attached. */
1206 gcc_assert (alias || TREE_CODE (t) != VAR_DECL
1207 || varpool_get_node (t)->finalized);
1208 gcc_assert (alias || TREE_CODE (t) != FUNCTION_DECL
1209 || (cgraph_get_node (t)
1210 && cgraph_get_node (t)->analyzed));
1213 /* Imitate what default_elf_asm_output_external do.
1214 When symbol is external, we need to output it with DEFAULT visibility
1215 when compiling with -fvisibility=default, while with HIDDEN visibility
1216 when symbol has attribute (visibility("hidden")) specified.
1217 targetm.binds_local_p check DECL_VISIBILITY_SPECIFIED and gets this
1218 right. */
1220 if (DECL_EXTERNAL (t)
1221 && !targetm.binds_local_p (t))
1222 visibility = GCCPV_DEFAULT;
1223 else
1224 switch (DECL_VISIBILITY(t))
1226 case VISIBILITY_DEFAULT:
1227 visibility = GCCPV_DEFAULT;
1228 break;
1229 case VISIBILITY_PROTECTED:
1230 visibility = GCCPV_PROTECTED;
1231 break;
1232 case VISIBILITY_HIDDEN:
1233 visibility = GCCPV_HIDDEN;
1234 break;
1235 case VISIBILITY_INTERNAL:
1236 visibility = GCCPV_INTERNAL;
1237 break;
1240 if (kind == GCCPK_COMMON
1241 && DECL_SIZE_UNIT (t)
1242 && TREE_CODE (DECL_SIZE_UNIT (t)) == INTEGER_CST)
1243 size = TREE_INT_CST_LOW (DECL_SIZE_UNIT (t));
1244 else
1245 size = 0;
1247 if (DECL_ONE_ONLY (t))
1248 comdat = IDENTIFIER_POINTER (DECL_COMDAT_GROUP (t));
1249 else
1250 comdat = "";
1252 lto_output_data_stream (stream, name, strlen (name) + 1);
1253 lto_output_data_stream (stream, comdat, strlen (comdat) + 1);
1254 c = (unsigned char) kind;
1255 lto_output_data_stream (stream, &c, 1);
1256 c = (unsigned char) visibility;
1257 lto_output_data_stream (stream, &c, 1);
1258 lto_output_data_stream (stream, &size, 8);
1259 lto_output_data_stream (stream, &slot_num, 4);
1263 /* Write an IL symbol table to OB.
1264 SET and VSET are cgraph/varpool node sets we are outputting. */
1266 static void
1267 produce_symtab (struct output_block *ob)
1269 struct streamer_tree_cache_d *cache = ob->writer_cache;
1270 char *section_name = lto_get_section_name (LTO_section_symtab, NULL, NULL);
1271 struct pointer_set_t *seen;
1272 struct lto_output_stream stream;
1273 lto_symtab_encoder_t encoder = ob->decl_state->symtab_node_encoder;
1274 lto_symtab_encoder_iterator lsei;
1276 lto_begin_section (section_name, false);
1277 free (section_name);
1279 seen = pointer_set_create ();
1280 memset (&stream, 0, sizeof (stream));
1282 /* Write the symbol table.
1283 First write everything defined and then all declarations.
1284 This is neccesary to handle cases where we have duplicated symbols. */
1285 for (lsei = lsei_start (encoder);
1286 !lsei_end_p (lsei); lsei_next (&lsei))
1288 symtab_node node = lsei_node (lsei);
1290 if (!symtab_real_symbol_p (node) || DECL_EXTERNAL (node->symbol.decl))
1291 continue;
1292 write_symbol (cache, &stream, node->symbol.decl, seen, false);
1294 for (lsei = lsei_start (encoder);
1295 !lsei_end_p (lsei); lsei_next (&lsei))
1297 symtab_node node = lsei_node (lsei);
1299 if (!symtab_real_symbol_p (node) || !DECL_EXTERNAL (node->symbol.decl))
1300 continue;
1301 write_symbol (cache, &stream, node->symbol.decl, seen, false);
1304 lto_write_stream (&stream);
1305 pointer_set_destroy (seen);
1307 lto_end_section ();
1311 /* This pass is run after all of the functions are serialized and all
1312 of the IPA passes have written their serialized forms. This pass
1313 causes the vector of all of the global decls and types used from
1314 this file to be written in to a section that can then be read in to
1315 recover these on other side. */
1317 static void
1318 produce_asm_for_decls (void)
1320 struct lto_out_decl_state *out_state;
1321 struct lto_out_decl_state *fn_out_state;
1322 struct lto_decl_header header;
1323 char *section_name;
1324 struct output_block *ob;
1325 struct lto_output_stream *header_stream, *decl_state_stream;
1326 unsigned idx, num_fns;
1327 size_t decl_state_size;
1328 int32_t num_decl_states;
1330 ob = create_output_block (LTO_section_decls);
1331 ob->global = true;
1333 memset (&header, 0, sizeof (struct lto_decl_header));
1335 section_name = lto_get_section_name (LTO_section_decls, NULL, NULL);
1336 lto_begin_section (section_name, !flag_wpa);
1337 free (section_name);
1339 /* Make string 0 be a NULL string. */
1340 streamer_write_char_stream (ob->string_stream, 0);
1342 gcc_assert (!alias_pairs);
1344 /* Write the global symbols. */
1345 out_state = lto_get_out_decl_state ();
1346 num_fns = VEC_length (lto_out_decl_state_ptr, lto_function_decl_states);
1347 lto_output_decl_state_streams (ob, out_state);
1348 for (idx = 0; idx < num_fns; idx++)
1350 fn_out_state =
1351 VEC_index (lto_out_decl_state_ptr, lto_function_decl_states, idx);
1352 lto_output_decl_state_streams (ob, fn_out_state);
1355 header.lto_header.major_version = LTO_major_version;
1356 header.lto_header.minor_version = LTO_minor_version;
1358 /* Currently not used. This field would allow us to preallocate
1359 the globals vector, so that it need not be resized as it is extended. */
1360 header.num_nodes = -1;
1362 /* Compute the total size of all decl out states. */
1363 decl_state_size = sizeof (int32_t);
1364 decl_state_size += lto_out_decl_state_written_size (out_state);
1365 for (idx = 0; idx < num_fns; idx++)
1367 fn_out_state =
1368 VEC_index (lto_out_decl_state_ptr, lto_function_decl_states, idx);
1369 decl_state_size += lto_out_decl_state_written_size (fn_out_state);
1371 header.decl_state_size = decl_state_size;
1373 header.main_size = ob->main_stream->total_size;
1374 header.string_size = ob->string_stream->total_size;
1376 header_stream = XCNEW (struct lto_output_stream);
1377 lto_output_data_stream (header_stream, &header, sizeof header);
1378 lto_write_stream (header_stream);
1379 free (header_stream);
1381 /* Write the main out-decl state, followed by out-decl states of
1382 functions. */
1383 decl_state_stream = XCNEW (struct lto_output_stream);
1384 num_decl_states = num_fns + 1;
1385 lto_output_data_stream (decl_state_stream, &num_decl_states,
1386 sizeof (num_decl_states));
1387 lto_output_decl_state_refs (ob, decl_state_stream, out_state);
1388 for (idx = 0; idx < num_fns; idx++)
1390 fn_out_state =
1391 VEC_index (lto_out_decl_state_ptr, lto_function_decl_states, idx);
1392 lto_output_decl_state_refs (ob, decl_state_stream, fn_out_state);
1394 lto_write_stream (decl_state_stream);
1395 free(decl_state_stream);
1397 lto_write_stream (ob->main_stream);
1398 lto_write_stream (ob->string_stream);
1400 lto_end_section ();
1402 /* Write the symbol table. It is used by linker to determine dependencies
1403 and thus we can skip it for WPA. */
1404 if (!flag_wpa)
1405 produce_symtab (ob);
1407 /* Write command line opts. */
1408 lto_write_options ();
1410 /* Deallocate memory and clean up. */
1411 for (idx = 0; idx < num_fns; idx++)
1413 fn_out_state =
1414 VEC_index (lto_out_decl_state_ptr, lto_function_decl_states, idx);
1415 lto_delete_out_decl_state (fn_out_state);
1417 lto_symtab_encoder_delete (ob->decl_state->symtab_node_encoder);
1418 VEC_free (lto_out_decl_state_ptr, heap, lto_function_decl_states);
1419 lto_function_decl_states = NULL;
1420 destroy_output_block (ob);
1424 struct ipa_opt_pass_d pass_ipa_lto_finish_out =
1427 IPA_PASS,
1428 "lto_decls_out", /* name */
1429 gate_lto_out, /* gate */
1430 NULL, /* execute */
1431 NULL, /* sub */
1432 NULL, /* next */
1433 0, /* static_pass_number */
1434 TV_IPA_LTO_DECL_OUT, /* tv_id */
1435 0, /* properties_required */
1436 0, /* properties_provided */
1437 0, /* properties_destroyed */
1438 0, /* todo_flags_start */
1439 0 /* todo_flags_finish */
1441 NULL, /* generate_summary */
1442 produce_asm_for_decls, /* write_summary */
1443 NULL, /* read_summary */
1444 produce_asm_for_decls, /* write_optimization_summary */
1445 NULL, /* read_optimization_summary */
1446 NULL, /* stmt_fixup */
1447 0, /* TODOs */
1448 NULL, /* function_transform */
1449 NULL /* variable_transform */