* g++.dg/cpp0x/constexpr-53094-2.C: Ignore non-standard ABI
[official-gcc.git] / gcc / lto-streamer-out.c
blobf97f1e228cea7c02b555f52c1d733d22873904ca
1 /* Write the GIMPLE representation to a file stream.
3 Copyright (C) 2009-2013 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 && !DECL_IN_CONSTANT_POOL (expr)
332 && initial)
334 lto_symtab_encoder_t encoder;
335 struct varpool_node *vnode;
337 encoder = ob->decl_state->symtab_node_encoder;
338 vnode = varpool_get_node (expr);
339 if (!vnode
340 || !lto_symtab_encoder_encode_initializer_p (encoder,
341 vnode))
342 initial = error_mark_node;
345 stream_write_tree (ob, initial, ref_p);
348 /* Mark the end of EXPR. */
349 streamer_write_zero (ob);
353 /* Emit the physical representation of tree node EXPR to output block
354 OB. If THIS_REF_P is true, the leaves of EXPR are emitted as references
355 via lto_output_tree_ref. REF_P is used for streaming siblings of EXPR. */
357 void
358 lto_output_tree (struct output_block *ob, tree expr,
359 bool ref_p, bool this_ref_p)
361 unsigned ix;
362 bool existed_p;
364 if (expr == NULL_TREE)
366 streamer_write_record_start (ob, LTO_null);
367 return;
370 if (this_ref_p && tree_is_indexable (expr))
372 lto_output_tree_ref (ob, expr);
373 return;
376 /* Shared INTEGER_CST nodes are special because they need their original type
377 to be materialized by the reader (to implement TYPE_CACHED_VALUES). */
378 if (TREE_CODE (expr) == INTEGER_CST
379 && !TREE_OVERFLOW (expr))
381 streamer_write_integer_cst (ob, expr, ref_p);
382 return;
385 existed_p = streamer_tree_cache_insert (ob->writer_cache, expr, &ix);
386 if (existed_p)
388 /* If a node has already been streamed out, make sure that
389 we don't write it more than once. Otherwise, the reader
390 will instantiate two different nodes for the same object. */
391 streamer_write_record_start (ob, LTO_tree_pickle_reference);
392 streamer_write_uhwi (ob, ix);
393 streamer_write_enum (ob->main_stream, LTO_tags, LTO_NUM_TAGS,
394 lto_tree_code_to_tag (TREE_CODE (expr)));
396 else if (streamer_handle_as_builtin_p (expr))
398 /* MD and NORMAL builtins do not need to be written out
399 completely as they are always instantiated by the
400 compiler on startup. The only builtins that need to
401 be written out are BUILT_IN_FRONTEND. For all other
402 builtins, we simply write the class and code. */
403 streamer_write_builtin (ob, expr);
405 else
407 /* This is the first time we see EXPR, write its fields
408 to OB. */
409 lto_write_tree (ob, expr, ref_p);
414 /* Output to OB a list of try/catch handlers starting with FIRST. */
416 static void
417 output_eh_try_list (struct output_block *ob, eh_catch first)
419 eh_catch n;
421 for (n = first; n; n = n->next_catch)
423 streamer_write_record_start (ob, LTO_eh_catch);
424 stream_write_tree (ob, n->type_list, true);
425 stream_write_tree (ob, n->filter_list, true);
426 stream_write_tree (ob, n->label, true);
429 streamer_write_record_start (ob, LTO_null);
433 /* Output EH region R in function FN to OB. CURR_RN is the slot index
434 that is being emitted in FN->EH->REGION_ARRAY. This is used to
435 detect EH region sharing. */
437 static void
438 output_eh_region (struct output_block *ob, eh_region r)
440 enum LTO_tags tag;
442 if (r == NULL)
444 streamer_write_record_start (ob, LTO_null);
445 return;
448 if (r->type == ERT_CLEANUP)
449 tag = LTO_ert_cleanup;
450 else if (r->type == ERT_TRY)
451 tag = LTO_ert_try;
452 else if (r->type == ERT_ALLOWED_EXCEPTIONS)
453 tag = LTO_ert_allowed_exceptions;
454 else if (r->type == ERT_MUST_NOT_THROW)
455 tag = LTO_ert_must_not_throw;
456 else
457 gcc_unreachable ();
459 streamer_write_record_start (ob, tag);
460 streamer_write_hwi (ob, r->index);
462 if (r->outer)
463 streamer_write_hwi (ob, r->outer->index);
464 else
465 streamer_write_zero (ob);
467 if (r->inner)
468 streamer_write_hwi (ob, r->inner->index);
469 else
470 streamer_write_zero (ob);
472 if (r->next_peer)
473 streamer_write_hwi (ob, r->next_peer->index);
474 else
475 streamer_write_zero (ob);
477 if (r->type == ERT_TRY)
479 output_eh_try_list (ob, r->u.eh_try.first_catch);
481 else if (r->type == ERT_ALLOWED_EXCEPTIONS)
483 stream_write_tree (ob, r->u.allowed.type_list, true);
484 stream_write_tree (ob, r->u.allowed.label, true);
485 streamer_write_uhwi (ob, r->u.allowed.filter);
487 else if (r->type == ERT_MUST_NOT_THROW)
489 stream_write_tree (ob, r->u.must_not_throw.failure_decl, true);
490 bitpack_d bp = bitpack_create (ob->main_stream);
491 stream_output_location (ob, &bp, r->u.must_not_throw.failure_loc);
492 streamer_write_bitpack (&bp);
495 if (r->landing_pads)
496 streamer_write_hwi (ob, r->landing_pads->index);
497 else
498 streamer_write_zero (ob);
502 /* Output landing pad LP to OB. */
504 static void
505 output_eh_lp (struct output_block *ob, eh_landing_pad lp)
507 if (lp == NULL)
509 streamer_write_record_start (ob, LTO_null);
510 return;
513 streamer_write_record_start (ob, LTO_eh_landing_pad);
514 streamer_write_hwi (ob, lp->index);
515 if (lp->next_lp)
516 streamer_write_hwi (ob, lp->next_lp->index);
517 else
518 streamer_write_zero (ob);
520 if (lp->region)
521 streamer_write_hwi (ob, lp->region->index);
522 else
523 streamer_write_zero (ob);
525 stream_write_tree (ob, lp->post_landing_pad, true);
529 /* Output the existing eh_table to OB. */
531 static void
532 output_eh_regions (struct output_block *ob, struct function *fn)
534 if (fn->eh && fn->eh->region_tree)
536 unsigned i;
537 eh_region eh;
538 eh_landing_pad lp;
539 tree ttype;
541 streamer_write_record_start (ob, LTO_eh_table);
543 /* Emit the index of the root of the EH region tree. */
544 streamer_write_hwi (ob, fn->eh->region_tree->index);
546 /* Emit all the EH regions in the region array. */
547 streamer_write_hwi (ob, vec_safe_length (fn->eh->region_array));
548 FOR_EACH_VEC_SAFE_ELT (fn->eh->region_array, i, eh)
549 output_eh_region (ob, eh);
551 /* Emit all landing pads. */
552 streamer_write_hwi (ob, vec_safe_length (fn->eh->lp_array));
553 FOR_EACH_VEC_SAFE_ELT (fn->eh->lp_array, i, lp)
554 output_eh_lp (ob, lp);
556 /* Emit all the runtime type data. */
557 streamer_write_hwi (ob, vec_safe_length (fn->eh->ttype_data));
558 FOR_EACH_VEC_SAFE_ELT (fn->eh->ttype_data, i, ttype)
559 stream_write_tree (ob, ttype, true);
561 /* Emit the table of action chains. */
562 if (targetm.arm_eabi_unwinder)
564 tree t;
565 streamer_write_hwi (ob, vec_safe_length (fn->eh->ehspec_data.arm_eabi));
566 FOR_EACH_VEC_SAFE_ELT (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_safe_length (fn->eh->ehspec_data.other));
573 FOR_EACH_VEC_SAFE_ELT (fn->eh->ehspec_data.other, i, c)
574 streamer_write_char_stream (ob->main_stream, c);
578 /* The LTO_null either terminates the record or indicates that there
579 are no eh_records at all. */
580 streamer_write_record_start (ob, LTO_null);
584 /* Output all of the active ssa names to the ssa_names stream. */
586 static void
587 output_ssa_names (struct output_block *ob, struct function *fn)
589 unsigned int i, len;
591 len = vec_safe_length (SSANAMES (fn));
592 streamer_write_uhwi (ob, len);
594 for (i = 1; i < len; i++)
596 tree ptr = (*SSANAMES (fn))[i];
598 if (ptr == NULL_TREE
599 || SSA_NAME_IN_FREE_LIST (ptr)
600 || virtual_operand_p (ptr))
601 continue;
603 streamer_write_uhwi (ob, i);
604 streamer_write_char_stream (ob->main_stream,
605 SSA_NAME_IS_DEFAULT_DEF (ptr));
606 if (SSA_NAME_VAR (ptr))
607 stream_write_tree (ob, SSA_NAME_VAR (ptr), true);
608 else
609 /* ??? This drops SSA_NAME_IDENTIFIER on the floor. */
610 stream_write_tree (ob, TREE_TYPE (ptr), true);
613 streamer_write_zero (ob);
617 /* Output the cfg. */
619 static void
620 output_cfg (struct output_block *ob, struct function *fn)
622 struct lto_output_stream *tmp_stream = ob->main_stream;
623 basic_block bb;
625 ob->main_stream = ob->cfg_stream;
627 streamer_write_enum (ob->main_stream, profile_status_d, PROFILE_LAST,
628 profile_status_for_function (fn));
630 /* Output the number of the highest basic block. */
631 streamer_write_uhwi (ob, last_basic_block_for_function (fn));
633 FOR_ALL_BB_FN (bb, fn)
635 edge_iterator ei;
636 edge e;
638 streamer_write_hwi (ob, bb->index);
640 /* Output the successors and the edge flags. */
641 streamer_write_uhwi (ob, EDGE_COUNT (bb->succs));
642 FOR_EACH_EDGE (e, ei, bb->succs)
644 streamer_write_uhwi (ob, e->dest->index);
645 streamer_write_hwi (ob, e->probability);
646 streamer_write_hwi (ob, e->count);
647 streamer_write_uhwi (ob, e->flags);
651 streamer_write_hwi (ob, -1);
653 bb = ENTRY_BLOCK_PTR;
654 while (bb->next_bb)
656 streamer_write_hwi (ob, bb->next_bb->index);
657 bb = bb->next_bb;
660 streamer_write_hwi (ob, -1);
662 ob->main_stream = tmp_stream;
666 /* Create the header in the file using OB. If the section type is for
667 a function, set FN to the decl for that function. */
669 void
670 produce_asm (struct output_block *ob, tree fn)
672 enum lto_section_type section_type = ob->section_type;
673 struct lto_function_header header;
674 char *section_name;
675 struct lto_output_stream *header_stream;
677 if (section_type == LTO_section_function_body)
679 const char *name = IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (fn));
680 section_name = lto_get_section_name (section_type, name, NULL);
682 else
683 section_name = lto_get_section_name (section_type, NULL, NULL);
685 lto_begin_section (section_name, !flag_wpa);
686 free (section_name);
688 /* The entire header is stream computed here. */
689 memset (&header, 0, sizeof (struct lto_function_header));
691 /* Write the header. */
692 header.lto_header.major_version = LTO_major_version;
693 header.lto_header.minor_version = LTO_minor_version;
695 header.compressed_size = 0;
697 if (section_type == LTO_section_function_body)
698 header.cfg_size = ob->cfg_stream->total_size;
699 header.main_size = ob->main_stream->total_size;
700 header.string_size = ob->string_stream->total_size;
702 header_stream = XCNEW (struct lto_output_stream);
703 lto_output_data_stream (header_stream, &header, sizeof header);
704 lto_write_stream (header_stream);
705 free (header_stream);
707 /* Put all of the gimple and the string table out the asm file as a
708 block of text. */
709 if (section_type == LTO_section_function_body)
710 lto_write_stream (ob->cfg_stream);
711 lto_write_stream (ob->main_stream);
712 lto_write_stream (ob->string_stream);
714 lto_end_section ();
718 /* Output the base body of struct function FN using output block OB. */
720 static void
721 output_struct_function_base (struct output_block *ob, struct function *fn)
723 struct bitpack_d bp;
724 unsigned i;
725 tree t;
727 /* Output the static chain and non-local goto save area. */
728 stream_write_tree (ob, fn->static_chain_decl, true);
729 stream_write_tree (ob, fn->nonlocal_goto_save_area, true);
731 /* Output all the local variables in the function. */
732 streamer_write_hwi (ob, vec_safe_length (fn->local_decls));
733 FOR_EACH_VEC_SAFE_ELT (fn->local_decls, i, t)
734 stream_write_tree (ob, t, true);
736 /* Output current IL state of the function. */
737 streamer_write_uhwi (ob, fn->curr_properties);
739 /* Write all the attributes for FN. */
740 bp = bitpack_create (ob->main_stream);
741 bp_pack_value (&bp, fn->is_thunk, 1);
742 bp_pack_value (&bp, fn->has_local_explicit_reg_vars, 1);
743 bp_pack_value (&bp, fn->returns_pcc_struct, 1);
744 bp_pack_value (&bp, fn->returns_struct, 1);
745 bp_pack_value (&bp, fn->can_throw_non_call_exceptions, 1);
746 bp_pack_value (&bp, fn->can_delete_dead_exceptions, 1);
747 bp_pack_value (&bp, fn->always_inline_functions_inlined, 1);
748 bp_pack_value (&bp, fn->after_inlining, 1);
749 bp_pack_value (&bp, fn->stdarg, 1);
750 bp_pack_value (&bp, fn->has_nonlocal_label, 1);
751 bp_pack_value (&bp, fn->calls_alloca, 1);
752 bp_pack_value (&bp, fn->calls_setjmp, 1);
753 bp_pack_value (&bp, fn->va_list_fpr_size, 8);
754 bp_pack_value (&bp, fn->va_list_gpr_size, 8);
756 /* Output the function start and end loci. */
757 stream_output_location (ob, &bp, fn->function_start_locus);
758 stream_output_location (ob, &bp, fn->function_end_locus);
760 streamer_write_bitpack (&bp);
764 /* Output the body of function NODE->DECL. */
766 static void
767 output_function (struct cgraph_node *node)
769 tree function;
770 struct function *fn;
771 basic_block bb;
772 struct output_block *ob;
774 function = node->symbol.decl;
775 fn = DECL_STRUCT_FUNCTION (function);
776 ob = create_output_block (LTO_section_function_body);
778 clear_line_info (ob);
779 ob->cgraph_node = node;
781 gcc_assert (current_function_decl == NULL_TREE && cfun == NULL);
783 /* Set current_function_decl and cfun. */
784 push_cfun (fn);
786 /* Make string 0 be a NULL string. */
787 streamer_write_char_stream (ob->string_stream, 0);
789 streamer_write_record_start (ob, LTO_function);
791 output_struct_function_base (ob, fn);
793 /* Output all the SSA names used in the function. */
794 output_ssa_names (ob, fn);
796 /* Output any exception handling regions. */
797 output_eh_regions (ob, fn);
799 /* Output DECL_INITIAL for the function, which contains the tree of
800 lexical scopes. */
801 stream_write_tree (ob, DECL_INITIAL (function), true);
803 /* We will renumber the statements. The code that does this uses
804 the same ordering that we use for serializing them so we can use
805 the same code on the other end and not have to write out the
806 statement numbers. We do not assign UIDs to PHIs here because
807 virtual PHIs get re-computed on-the-fly which would make numbers
808 inconsistent. */
809 set_gimple_stmt_max_uid (cfun, 0);
810 FOR_ALL_BB (bb)
812 gimple_stmt_iterator gsi;
813 for (gsi = gsi_start_bb (bb); !gsi_end_p (gsi); gsi_next (&gsi))
815 gimple stmt = gsi_stmt (gsi);
816 gimple_set_uid (stmt, inc_gimple_stmt_max_uid (cfun));
820 /* Output the code for the function. */
821 FOR_ALL_BB_FN (bb, fn)
822 output_bb (ob, bb, fn);
824 /* The terminator for this function. */
825 streamer_write_record_start (ob, LTO_null);
827 output_cfg (ob, fn);
829 /* Create a section to hold the pickled output of this function. */
830 produce_asm (ob, function);
832 destroy_output_block (ob);
834 pop_cfun ();
838 /* Emit toplevel asms. */
840 void
841 lto_output_toplevel_asms (void)
843 struct output_block *ob;
844 struct asm_node *can;
845 char *section_name;
846 struct lto_output_stream *header_stream;
847 struct lto_asm_header header;
849 if (! asm_nodes)
850 return;
852 ob = create_output_block (LTO_section_asm);
854 /* Make string 0 be a NULL string. */
855 streamer_write_char_stream (ob->string_stream, 0);
857 for (can = asm_nodes; can; can = can->next)
859 streamer_write_string_cst (ob, ob->main_stream, can->asm_str);
860 streamer_write_hwi (ob, can->order);
863 streamer_write_string_cst (ob, ob->main_stream, NULL_TREE);
865 section_name = lto_get_section_name (LTO_section_asm, NULL, NULL);
866 lto_begin_section (section_name, !flag_wpa);
867 free (section_name);
869 /* The entire header stream is computed here. */
870 memset (&header, 0, sizeof (header));
872 /* Write the header. */
873 header.lto_header.major_version = LTO_major_version;
874 header.lto_header.minor_version = LTO_minor_version;
876 header.main_size = ob->main_stream->total_size;
877 header.string_size = ob->string_stream->total_size;
879 header_stream = XCNEW (struct lto_output_stream);
880 lto_output_data_stream (header_stream, &header, sizeof (header));
881 lto_write_stream (header_stream);
882 free (header_stream);
884 /* Put all of the gimple and the string table out the asm file as a
885 block of text. */
886 lto_write_stream (ob->main_stream);
887 lto_write_stream (ob->string_stream);
889 lto_end_section ();
891 destroy_output_block (ob);
895 /* Copy the function body of NODE without deserializing. */
897 static void
898 copy_function (struct cgraph_node *node)
900 tree function = node->symbol.decl;
901 struct lto_file_decl_data *file_data = node->symbol.lto_file_data;
902 struct lto_output_stream *output_stream = XCNEW (struct lto_output_stream);
903 const char *data;
904 size_t len;
905 const char *name = IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (function));
906 char *section_name =
907 lto_get_section_name (LTO_section_function_body, name, NULL);
908 size_t i, j;
909 struct lto_in_decl_state *in_state;
910 struct lto_out_decl_state *out_state = lto_get_out_decl_state ();
912 lto_begin_section (section_name, !flag_wpa);
913 free (section_name);
915 /* We may have renamed the declaration, e.g., a static function. */
916 name = lto_get_decl_name_mapping (file_data, name);
918 data = lto_get_section_data (file_data, LTO_section_function_body,
919 name, &len);
920 gcc_assert (data);
922 /* Do a bit copy of the function body. */
923 lto_output_data_stream (output_stream, data, len);
924 lto_write_stream (output_stream);
926 /* Copy decls. */
927 in_state =
928 lto_get_function_in_decl_state (node->symbol.lto_file_data, function);
929 gcc_assert (in_state);
931 for (i = 0; i < LTO_N_DECL_STREAMS; i++)
933 size_t n = in_state->streams[i].size;
934 tree *trees = in_state->streams[i].trees;
935 struct lto_tree_ref_encoder *encoder = &(out_state->streams[i]);
937 /* The out state must have the same indices and the in state.
938 So just copy the vector. All the encoders in the in state
939 must be empty where we reach here. */
940 gcc_assert (lto_tree_ref_encoder_size (encoder) == 0);
941 for (j = 0; j < n; j++)
942 encoder->trees.safe_push (trees[j]);
943 encoder->next_index = n;
946 lto_free_section_data (file_data, LTO_section_function_body, name,
947 data, len);
948 free (output_stream);
949 lto_end_section ();
953 /* Main entry point from the pass manager. */
955 static void
956 lto_output (void)
958 struct lto_out_decl_state *decl_state;
959 #ifdef ENABLE_CHECKING
960 bitmap output = lto_bitmap_alloc ();
961 #endif
962 int i, n_nodes;
963 lto_symtab_encoder_t encoder = lto_get_out_decl_state ()->symtab_node_encoder;
965 /* Initialize the streamer. */
966 lto_streamer_init ();
968 n_nodes = lto_symtab_encoder_size (encoder);
969 /* Process only the functions with bodies. */
970 for (i = 0; i < n_nodes; i++)
972 symtab_node snode = lto_symtab_encoder_deref (encoder, i);
973 cgraph_node *node = dyn_cast <cgraph_node> (snode);
974 if (node
975 && lto_symtab_encoder_encode_body_p (encoder, node)
976 && !node->alias
977 && !node->thunk.thunk_p)
979 #ifdef ENABLE_CHECKING
980 gcc_assert (!bitmap_bit_p (output, DECL_UID (node->symbol.decl)));
981 bitmap_set_bit (output, DECL_UID (node->symbol.decl));
982 #endif
983 decl_state = lto_new_out_decl_state ();
984 lto_push_out_decl_state (decl_state);
985 if (gimple_has_body_p (node->symbol.decl))
986 output_function (node);
987 else
988 copy_function (node);
989 gcc_assert (lto_get_out_decl_state () == decl_state);
990 lto_pop_out_decl_state ();
991 lto_record_function_out_decl_state (node->symbol.decl, decl_state);
995 /* Emit the callgraph after emitting function bodies. This needs to
996 be done now to make sure that all the statements in every function
997 have been renumbered so that edges can be associated with call
998 statements using the statement UIDs. */
999 output_symtab ();
1001 #ifdef ENABLE_CHECKING
1002 lto_bitmap_free (output);
1003 #endif
1006 struct ipa_opt_pass_d pass_ipa_lto_gimple_out =
1009 IPA_PASS,
1010 "lto_gimple_out", /* name */
1011 OPTGROUP_NONE, /* optinfo_flags */
1012 gate_lto_out, /* gate */
1013 NULL, /* execute */
1014 NULL, /* sub */
1015 NULL, /* next */
1016 0, /* static_pass_number */
1017 TV_IPA_LTO_GIMPLE_OUT, /* tv_id */
1018 0, /* properties_required */
1019 0, /* properties_provided */
1020 0, /* properties_destroyed */
1021 0, /* todo_flags_start */
1022 0 /* todo_flags_finish */
1024 NULL, /* generate_summary */
1025 lto_output, /* write_summary */
1026 NULL, /* read_summary */
1027 lto_output, /* write_optimization_summary */
1028 NULL, /* read_optimization_summary */
1029 NULL, /* stmt_fixup */
1030 0, /* TODOs */
1031 NULL, /* function_transform */
1032 NULL /* variable_transform */
1036 /* Write each node in encoded by ENCODER to OB, as well as those reachable
1037 from it and required for correct representation of its semantics.
1038 Each node in ENCODER must be a global declaration or a type. A node
1039 is written only once, even if it appears multiple times in the
1040 vector. Certain transitively-reachable nodes, such as those
1041 representing expressions, may be duplicated, but such nodes
1042 must not appear in ENCODER itself. */
1044 static void
1045 write_global_stream (struct output_block *ob,
1046 struct lto_tree_ref_encoder *encoder)
1048 tree t;
1049 size_t index;
1050 const size_t size = lto_tree_ref_encoder_size (encoder);
1052 for (index = 0; index < size; index++)
1054 t = lto_tree_ref_encoder_get_tree (encoder, index);
1055 if (!streamer_tree_cache_lookup (ob->writer_cache, t, NULL))
1056 stream_write_tree (ob, t, false);
1061 /* Write a sequence of indices into the globals vector corresponding
1062 to the trees in ENCODER. These are used by the reader to map the
1063 indices used to refer to global entities within function bodies to
1064 their referents. */
1066 static void
1067 write_global_references (struct output_block *ob,
1068 struct lto_output_stream *ref_stream,
1069 struct lto_tree_ref_encoder *encoder)
1071 tree t;
1072 uint32_t index;
1073 const uint32_t size = lto_tree_ref_encoder_size (encoder);
1075 /* Write size as 32-bit unsigned. */
1076 lto_output_data_stream (ref_stream, &size, sizeof (int32_t));
1078 for (index = 0; index < size; index++)
1080 uint32_t slot_num;
1082 t = lto_tree_ref_encoder_get_tree (encoder, index);
1083 streamer_tree_cache_lookup (ob->writer_cache, t, &slot_num);
1084 gcc_assert (slot_num != (unsigned)-1);
1085 lto_output_data_stream (ref_stream, &slot_num, sizeof slot_num);
1090 /* Write all the streams in an lto_out_decl_state STATE using
1091 output block OB and output stream OUT_STREAM. */
1093 void
1094 lto_output_decl_state_streams (struct output_block *ob,
1095 struct lto_out_decl_state *state)
1097 int i;
1099 for (i = 0; i < LTO_N_DECL_STREAMS; i++)
1100 write_global_stream (ob, &state->streams[i]);
1104 /* Write all the references in an lto_out_decl_state STATE using
1105 output block OB and output stream OUT_STREAM. */
1107 void
1108 lto_output_decl_state_refs (struct output_block *ob,
1109 struct lto_output_stream *out_stream,
1110 struct lto_out_decl_state *state)
1112 unsigned i;
1113 uint32_t ref;
1114 tree decl;
1116 /* Write reference to FUNCTION_DECL. If there is not function,
1117 write reference to void_type_node. */
1118 decl = (state->fn_decl) ? state->fn_decl : void_type_node;
1119 streamer_tree_cache_lookup (ob->writer_cache, decl, &ref);
1120 gcc_assert (ref != (unsigned)-1);
1121 lto_output_data_stream (out_stream, &ref, sizeof (uint32_t));
1123 for (i = 0; i < LTO_N_DECL_STREAMS; i++)
1124 write_global_references (ob, out_stream, &state->streams[i]);
1128 /* Return the written size of STATE. */
1130 static size_t
1131 lto_out_decl_state_written_size (struct lto_out_decl_state *state)
1133 int i;
1134 size_t size;
1136 size = sizeof (int32_t); /* fn_ref. */
1137 for (i = 0; i < LTO_N_DECL_STREAMS; i++)
1139 size += sizeof (int32_t); /* vector size. */
1140 size += (lto_tree_ref_encoder_size (&state->streams[i])
1141 * sizeof (int32_t));
1143 return size;
1147 /* Write symbol T into STREAM in CACHE. SEEN specifies symbols we wrote
1148 so far. */
1150 static void
1151 write_symbol (struct streamer_tree_cache_d *cache,
1152 struct lto_output_stream *stream,
1153 tree t, struct pointer_set_t *seen, bool alias)
1155 const char *name;
1156 enum gcc_plugin_symbol_kind kind;
1157 enum gcc_plugin_symbol_visibility visibility;
1158 unsigned slot_num;
1159 unsigned HOST_WIDEST_INT size;
1160 const char *comdat;
1161 unsigned char c;
1163 /* None of the following kinds of symbols are needed in the
1164 symbol table. */
1165 if (!TREE_PUBLIC (t)
1166 || is_builtin_fn (t)
1167 || DECL_ABSTRACT (t)
1168 || TREE_CODE (t) == RESULT_DECL)
1169 return;
1171 gcc_assert (TREE_CODE (t) == VAR_DECL
1172 || TREE_CODE (t) == FUNCTION_DECL);
1174 name = IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (t));
1176 /* This behaves like assemble_name_raw in varasm.c, performing the
1177 same name manipulations that ASM_OUTPUT_LABELREF does. */
1178 name = IDENTIFIER_POINTER ((*targetm.asm_out.mangle_assembler_name) (name));
1180 if (pointer_set_contains (seen, name))
1181 return;
1182 pointer_set_insert (seen, name);
1184 streamer_tree_cache_lookup (cache, t, &slot_num);
1185 gcc_assert (slot_num != (unsigned)-1);
1187 if (DECL_EXTERNAL (t))
1189 if (DECL_WEAK (t))
1190 kind = GCCPK_WEAKUNDEF;
1191 else
1192 kind = GCCPK_UNDEF;
1194 else
1196 if (DECL_WEAK (t))
1197 kind = GCCPK_WEAKDEF;
1198 else if (DECL_COMMON (t))
1199 kind = GCCPK_COMMON;
1200 else
1201 kind = GCCPK_DEF;
1203 /* When something is defined, it should have node attached. */
1204 gcc_assert (alias || TREE_CODE (t) != VAR_DECL
1205 || varpool_get_node (t)->finalized);
1206 gcc_assert (alias || TREE_CODE (t) != FUNCTION_DECL
1207 || (cgraph_get_node (t)
1208 && cgraph_get_node (t)->analyzed));
1211 /* Imitate what default_elf_asm_output_external do.
1212 When symbol is external, we need to output it with DEFAULT visibility
1213 when compiling with -fvisibility=default, while with HIDDEN visibility
1214 when symbol has attribute (visibility("hidden")) specified.
1215 targetm.binds_local_p check DECL_VISIBILITY_SPECIFIED and gets this
1216 right. */
1218 if (DECL_EXTERNAL (t)
1219 && !targetm.binds_local_p (t))
1220 visibility = GCCPV_DEFAULT;
1221 else
1222 switch (DECL_VISIBILITY(t))
1224 case VISIBILITY_DEFAULT:
1225 visibility = GCCPV_DEFAULT;
1226 break;
1227 case VISIBILITY_PROTECTED:
1228 visibility = GCCPV_PROTECTED;
1229 break;
1230 case VISIBILITY_HIDDEN:
1231 visibility = GCCPV_HIDDEN;
1232 break;
1233 case VISIBILITY_INTERNAL:
1234 visibility = GCCPV_INTERNAL;
1235 break;
1238 if (kind == GCCPK_COMMON
1239 && DECL_SIZE_UNIT (t)
1240 && TREE_CODE (DECL_SIZE_UNIT (t)) == INTEGER_CST)
1241 size = TREE_INT_CST_LOW (DECL_SIZE_UNIT (t));
1242 else
1243 size = 0;
1245 if (DECL_ONE_ONLY (t))
1246 comdat = IDENTIFIER_POINTER (DECL_COMDAT_GROUP (t));
1247 else
1248 comdat = "";
1250 lto_output_data_stream (stream, name, strlen (name) + 1);
1251 lto_output_data_stream (stream, comdat, strlen (comdat) + 1);
1252 c = (unsigned char) kind;
1253 lto_output_data_stream (stream, &c, 1);
1254 c = (unsigned char) visibility;
1255 lto_output_data_stream (stream, &c, 1);
1256 lto_output_data_stream (stream, &size, 8);
1257 lto_output_data_stream (stream, &slot_num, 4);
1260 /* Return true if NODE should appear in the plugin symbol table. */
1262 bool
1263 output_symbol_p (symtab_node node)
1265 struct cgraph_node *cnode;
1266 struct ipa_ref *ref;
1268 if (!symtab_real_symbol_p (node))
1269 return false;
1270 /* We keep external functions in symtab for sake of inlining
1271 and devirtualization. We do not want to see them in symbol table as
1272 references. */
1273 cnode = dyn_cast <cgraph_node> (node);
1274 if (cnode && DECL_EXTERNAL (cnode->symbol.decl))
1275 return (cnode->callers
1276 || ipa_ref_list_referring_iterate (&cnode->symbol.ref_list, 0, ref));
1277 return true;
1281 /* Write an IL symbol table to OB.
1282 SET and VSET are cgraph/varpool node sets we are outputting. */
1284 static void
1285 produce_symtab (struct output_block *ob)
1287 struct streamer_tree_cache_d *cache = ob->writer_cache;
1288 char *section_name = lto_get_section_name (LTO_section_symtab, NULL, NULL);
1289 struct pointer_set_t *seen;
1290 struct lto_output_stream stream;
1291 lto_symtab_encoder_t encoder = ob->decl_state->symtab_node_encoder;
1292 lto_symtab_encoder_iterator lsei;
1294 lto_begin_section (section_name, false);
1295 free (section_name);
1297 seen = pointer_set_create ();
1298 memset (&stream, 0, sizeof (stream));
1300 /* Write the symbol table.
1301 First write everything defined and then all declarations.
1302 This is neccesary to handle cases where we have duplicated symbols. */
1303 for (lsei = lsei_start (encoder);
1304 !lsei_end_p (lsei); lsei_next (&lsei))
1306 symtab_node node = lsei_node (lsei);
1308 if (!output_symbol_p (node) || DECL_EXTERNAL (node->symbol.decl))
1309 continue;
1310 write_symbol (cache, &stream, node->symbol.decl, seen, false);
1312 for (lsei = lsei_start (encoder);
1313 !lsei_end_p (lsei); lsei_next (&lsei))
1315 symtab_node node = lsei_node (lsei);
1317 if (!output_symbol_p (node) || !DECL_EXTERNAL (node->symbol.decl))
1318 continue;
1319 write_symbol (cache, &stream, node->symbol.decl, seen, false);
1322 lto_write_stream (&stream);
1323 pointer_set_destroy (seen);
1325 lto_end_section ();
1329 /* This pass is run after all of the functions are serialized and all
1330 of the IPA passes have written their serialized forms. This pass
1331 causes the vector of all of the global decls and types used from
1332 this file to be written in to a section that can then be read in to
1333 recover these on other side. */
1335 static void
1336 produce_asm_for_decls (void)
1338 struct lto_out_decl_state *out_state;
1339 struct lto_out_decl_state *fn_out_state;
1340 struct lto_decl_header header;
1341 char *section_name;
1342 struct output_block *ob;
1343 struct lto_output_stream *header_stream, *decl_state_stream;
1344 unsigned idx, num_fns;
1345 size_t decl_state_size;
1346 int32_t num_decl_states;
1348 ob = create_output_block (LTO_section_decls);
1349 ob->global = true;
1351 memset (&header, 0, sizeof (struct lto_decl_header));
1353 section_name = lto_get_section_name (LTO_section_decls, NULL, NULL);
1354 lto_begin_section (section_name, !flag_wpa);
1355 free (section_name);
1357 /* Make string 0 be a NULL string. */
1358 streamer_write_char_stream (ob->string_stream, 0);
1360 gcc_assert (!alias_pairs);
1362 /* Write the global symbols. */
1363 out_state = lto_get_out_decl_state ();
1364 num_fns = lto_function_decl_states.length ();
1365 lto_output_decl_state_streams (ob, out_state);
1366 for (idx = 0; idx < num_fns; idx++)
1368 fn_out_state =
1369 lto_function_decl_states[idx];
1370 lto_output_decl_state_streams (ob, fn_out_state);
1373 header.lto_header.major_version = LTO_major_version;
1374 header.lto_header.minor_version = LTO_minor_version;
1376 /* Currently not used. This field would allow us to preallocate
1377 the globals vector, so that it need not be resized as it is extended. */
1378 header.num_nodes = -1;
1380 /* Compute the total size of all decl out states. */
1381 decl_state_size = sizeof (int32_t);
1382 decl_state_size += lto_out_decl_state_written_size (out_state);
1383 for (idx = 0; idx < num_fns; idx++)
1385 fn_out_state =
1386 lto_function_decl_states[idx];
1387 decl_state_size += lto_out_decl_state_written_size (fn_out_state);
1389 header.decl_state_size = decl_state_size;
1391 header.main_size = ob->main_stream->total_size;
1392 header.string_size = ob->string_stream->total_size;
1394 header_stream = XCNEW (struct lto_output_stream);
1395 lto_output_data_stream (header_stream, &header, sizeof header);
1396 lto_write_stream (header_stream);
1397 free (header_stream);
1399 /* Write the main out-decl state, followed by out-decl states of
1400 functions. */
1401 decl_state_stream = XCNEW (struct lto_output_stream);
1402 num_decl_states = num_fns + 1;
1403 lto_output_data_stream (decl_state_stream, &num_decl_states,
1404 sizeof (num_decl_states));
1405 lto_output_decl_state_refs (ob, decl_state_stream, out_state);
1406 for (idx = 0; idx < num_fns; idx++)
1408 fn_out_state =
1409 lto_function_decl_states[idx];
1410 lto_output_decl_state_refs (ob, decl_state_stream, fn_out_state);
1412 lto_write_stream (decl_state_stream);
1413 free(decl_state_stream);
1415 lto_write_stream (ob->main_stream);
1416 lto_write_stream (ob->string_stream);
1418 lto_end_section ();
1420 /* Write the symbol table. It is used by linker to determine dependencies
1421 and thus we can skip it for WPA. */
1422 if (!flag_wpa)
1423 produce_symtab (ob);
1425 /* Write command line opts. */
1426 lto_write_options ();
1428 /* Deallocate memory and clean up. */
1429 for (idx = 0; idx < num_fns; idx++)
1431 fn_out_state =
1432 lto_function_decl_states[idx];
1433 lto_delete_out_decl_state (fn_out_state);
1435 lto_symtab_encoder_delete (ob->decl_state->symtab_node_encoder);
1436 lto_function_decl_states.release ();
1437 destroy_output_block (ob);
1441 struct ipa_opt_pass_d pass_ipa_lto_finish_out =
1444 IPA_PASS,
1445 "lto_decls_out", /* name */
1446 OPTGROUP_NONE, /* optinfo_flags */
1447 gate_lto_out, /* gate */
1448 NULL, /* execute */
1449 NULL, /* sub */
1450 NULL, /* next */
1451 0, /* static_pass_number */
1452 TV_IPA_LTO_DECL_OUT, /* tv_id */
1453 0, /* properties_required */
1454 0, /* properties_provided */
1455 0, /* properties_destroyed */
1456 0, /* todo_flags_start */
1457 0 /* todo_flags_finish */
1459 NULL, /* generate_summary */
1460 produce_asm_for_decls, /* write_summary */
1461 NULL, /* read_summary */
1462 produce_asm_for_decls, /* write_optimization_summary */
1463 NULL, /* read_optimization_summary */
1464 NULL, /* stmt_fixup */
1465 0, /* TODOs */
1466 NULL, /* function_transform */
1467 NULL /* variable_transform */