Allow overriding the libiberty used for building the LTO plugin.
[official-gcc.git] / gcc / lto-streamer-out.c
blobece0d3f1458765724dcf8495796070bd83b1b72c
1 /* Write the GIMPLE representation to a file stream.
3 Copyright (C) 2009-2014 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 "stor-layout.h"
29 #include "stringpool.h"
30 #include "expr.h"
31 #include "flags.h"
32 #include "params.h"
33 #include "input.h"
34 #include "hashtab.h"
35 #include "basic-block.h"
36 #include "tree-ssa-alias.h"
37 #include "internal-fn.h"
38 #include "gimple-expr.h"
39 #include "is-a.h"
40 #include "gimple.h"
41 #include "gimple-iterator.h"
42 #include "gimple-ssa.h"
43 #include "tree-ssanames.h"
44 #include "tree-pass.h"
45 #include "function.h"
46 #include "diagnostic-core.h"
47 #include "except.h"
48 #include "lto-symtab.h"
49 #include "lto-streamer.h"
50 #include "data-streamer.h"
51 #include "gimple-streamer.h"
52 #include "tree-streamer.h"
53 #include "streamer-hooks.h"
54 #include "cfgloop.h"
55 #include "builtins.h"
58 static void lto_write_tree (struct output_block*, tree, bool);
60 /* Clear the line info stored in DATA_IN. */
62 static void
63 clear_line_info (struct output_block *ob)
65 ob->current_file = NULL;
66 ob->current_line = 0;
67 ob->current_col = 0;
71 /* Create the output block and return it. SECTION_TYPE is
72 LTO_section_function_body or LTO_static_initializer. */
74 struct output_block *
75 create_output_block (enum lto_section_type section_type)
77 struct output_block *ob = XCNEW (struct output_block);
79 ob->section_type = section_type;
80 ob->decl_state = lto_get_out_decl_state ();
81 ob->main_stream = XCNEW (struct lto_output_stream);
82 ob->string_stream = XCNEW (struct lto_output_stream);
83 ob->writer_cache = streamer_tree_cache_create (!flag_wpa, true, false);
85 if (section_type == LTO_section_function_body)
86 ob->cfg_stream = XCNEW (struct lto_output_stream);
88 clear_line_info (ob);
90 ob->string_hash_table.create (37);
91 gcc_obstack_init (&ob->obstack);
93 return ob;
97 /* Destroy the output block OB. */
99 void
100 destroy_output_block (struct output_block *ob)
102 enum lto_section_type section_type = ob->section_type;
104 ob->string_hash_table.dispose ();
106 free (ob->main_stream);
107 free (ob->string_stream);
108 if (section_type == LTO_section_function_body)
109 free (ob->cfg_stream);
111 streamer_tree_cache_delete (ob->writer_cache);
112 obstack_free (&ob->obstack, NULL);
114 free (ob);
118 /* Look up NODE in the type table and write the index for it to OB. */
120 static void
121 output_type_ref (struct output_block *ob, tree node)
123 streamer_write_record_start (ob, LTO_type_ref);
124 lto_output_type_ref_index (ob->decl_state, ob->main_stream, node);
128 /* Return true if tree node T is written to various tables. For these
129 nodes, we sometimes want to write their phyiscal representation
130 (via lto_output_tree), and sometimes we need to emit an index
131 reference into a table (via lto_output_tree_ref). */
133 static bool
134 tree_is_indexable (tree t)
136 /* Parameters and return values of functions of variably modified types
137 must go to global stream, because they may be used in the type
138 definition. */
139 if (TREE_CODE (t) == PARM_DECL || TREE_CODE (t) == RESULT_DECL)
140 return variably_modified_type_p (TREE_TYPE (DECL_CONTEXT (t)), NULL_TREE);
141 else if (((TREE_CODE (t) == VAR_DECL && !TREE_STATIC (t))
142 || TREE_CODE (t) == TYPE_DECL
143 || TREE_CODE (t) == CONST_DECL
144 || TREE_CODE (t) == NAMELIST_DECL)
145 && decl_function_context (t))
146 return false;
147 else if (TREE_CODE (t) == DEBUG_EXPR_DECL)
148 return false;
149 /* Variably modified types need to be streamed alongside function
150 bodies because they can refer to local entities. Together with
151 them we have to localize their members as well.
152 ??? In theory that includes non-FIELD_DECLs as well. */
153 else if (TYPE_P (t)
154 && variably_modified_type_p (t, NULL_TREE))
155 return false;
156 else if (TREE_CODE (t) == FIELD_DECL
157 && variably_modified_type_p (DECL_CONTEXT (t), NULL_TREE))
158 return false;
159 else
160 return (TYPE_P (t) || DECL_P (t) || TREE_CODE (t) == SSA_NAME);
164 /* Output info about new location into bitpack BP.
165 After outputting bitpack, lto_output_location_data has
166 to be done to output actual data. */
168 void
169 lto_output_location (struct output_block *ob, struct bitpack_d *bp,
170 location_t loc)
172 expanded_location xloc;
174 loc = LOCATION_LOCUS (loc);
175 bp_pack_value (bp, loc == UNKNOWN_LOCATION, 1);
176 if (loc == UNKNOWN_LOCATION)
177 return;
179 xloc = expand_location (loc);
181 bp_pack_value (bp, ob->current_file != xloc.file, 1);
182 bp_pack_value (bp, ob->current_line != xloc.line, 1);
183 bp_pack_value (bp, ob->current_col != xloc.column, 1);
185 if (ob->current_file != xloc.file)
186 bp_pack_var_len_unsigned (bp,
187 streamer_string_index (ob, xloc.file,
188 strlen (xloc.file) + 1,
189 true));
190 ob->current_file = xloc.file;
192 if (ob->current_line != xloc.line)
193 bp_pack_var_len_unsigned (bp, xloc.line);
194 ob->current_line = xloc.line;
196 if (ob->current_col != xloc.column)
197 bp_pack_var_len_unsigned (bp, xloc.column);
198 ob->current_col = xloc.column;
202 /* If EXPR is an indexable tree node, output a reference to it to
203 output block OB. Otherwise, output the physical representation of
204 EXPR to OB. */
206 static void
207 lto_output_tree_ref (struct output_block *ob, tree expr)
209 enum tree_code code;
211 if (TYPE_P (expr))
213 output_type_ref (ob, expr);
214 return;
217 code = TREE_CODE (expr);
218 switch (code)
220 case SSA_NAME:
221 streamer_write_record_start (ob, LTO_ssa_name_ref);
222 streamer_write_uhwi (ob, SSA_NAME_VERSION (expr));
223 break;
225 case FIELD_DECL:
226 streamer_write_record_start (ob, LTO_field_decl_ref);
227 lto_output_field_decl_index (ob->decl_state, ob->main_stream, expr);
228 break;
230 case FUNCTION_DECL:
231 streamer_write_record_start (ob, LTO_function_decl_ref);
232 lto_output_fn_decl_index (ob->decl_state, ob->main_stream, expr);
233 break;
235 case VAR_DECL:
236 case DEBUG_EXPR_DECL:
237 gcc_assert (decl_function_context (expr) == NULL || TREE_STATIC (expr));
238 case PARM_DECL:
239 streamer_write_record_start (ob, LTO_global_decl_ref);
240 lto_output_var_decl_index (ob->decl_state, ob->main_stream, expr);
241 break;
243 case CONST_DECL:
244 streamer_write_record_start (ob, LTO_const_decl_ref);
245 lto_output_var_decl_index (ob->decl_state, ob->main_stream, expr);
246 break;
248 case IMPORTED_DECL:
249 gcc_assert (decl_function_context (expr) == NULL);
250 streamer_write_record_start (ob, LTO_imported_decl_ref);
251 lto_output_var_decl_index (ob->decl_state, ob->main_stream, expr);
252 break;
254 case TYPE_DECL:
255 streamer_write_record_start (ob, LTO_type_decl_ref);
256 lto_output_type_decl_index (ob->decl_state, ob->main_stream, expr);
257 break;
259 case NAMELIST_DECL:
260 streamer_write_record_start (ob, LTO_namelist_decl_ref);
261 lto_output_var_decl_index (ob->decl_state, ob->main_stream, expr);
262 break;
264 case NAMESPACE_DECL:
265 streamer_write_record_start (ob, LTO_namespace_decl_ref);
266 lto_output_namespace_decl_index (ob->decl_state, ob->main_stream, expr);
267 break;
269 case LABEL_DECL:
270 streamer_write_record_start (ob, LTO_label_decl_ref);
271 lto_output_var_decl_index (ob->decl_state, ob->main_stream, expr);
272 break;
274 case RESULT_DECL:
275 streamer_write_record_start (ob, LTO_result_decl_ref);
276 lto_output_var_decl_index (ob->decl_state, ob->main_stream, expr);
277 break;
279 case TRANSLATION_UNIT_DECL:
280 streamer_write_record_start (ob, LTO_translation_unit_decl_ref);
281 lto_output_var_decl_index (ob->decl_state, ob->main_stream, expr);
282 break;
284 default:
285 /* No other node is indexable, so it should have been handled by
286 lto_output_tree. */
287 gcc_unreachable ();
292 /* Return true if EXPR is a tree node that can be written to disk. */
294 static inline bool
295 lto_is_streamable (tree expr)
297 enum tree_code code = TREE_CODE (expr);
299 /* Notice that we reject SSA_NAMEs as well. We only emit the SSA
300 name version in lto_output_tree_ref (see output_ssa_names). */
301 return !is_lang_specific (expr)
302 && code != SSA_NAME
303 && code != CALL_EXPR
304 && code != LANG_TYPE
305 && code != MODIFY_EXPR
306 && code != INIT_EXPR
307 && code != TARGET_EXPR
308 && code != BIND_EXPR
309 && code != WITH_CLEANUP_EXPR
310 && code != STATEMENT_LIST
311 && (code == CASE_LABEL_EXPR
312 || code == DECL_EXPR
313 || TREE_CODE_CLASS (code) != tcc_statement);
317 /* For EXPR lookup and return what we want to stream to OB as DECL_INITIAL. */
319 static tree
320 get_symbol_initial_value (struct output_block *ob, tree expr)
322 gcc_checking_assert (DECL_P (expr)
323 && TREE_CODE (expr) != FUNCTION_DECL
324 && TREE_CODE (expr) != TRANSLATION_UNIT_DECL);
326 /* Handle DECL_INITIAL for symbols. */
327 tree initial = DECL_INITIAL (expr);
328 if (TREE_CODE (expr) == VAR_DECL
329 && (TREE_STATIC (expr) || DECL_EXTERNAL (expr))
330 && !DECL_IN_CONSTANT_POOL (expr)
331 && initial)
333 lto_symtab_encoder_t encoder;
334 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 return initial;
348 /* Write a physical representation of tree node EXPR to output block
349 OB. If REF_P is true, the leaves of EXPR are emitted as references
350 via lto_output_tree_ref. IX is the index into the streamer cache
351 where EXPR is stored. */
353 static void
354 lto_write_tree_1 (struct output_block *ob, tree expr, bool ref_p)
356 /* Pack all the non-pointer fields in EXPR into a bitpack and write
357 the resulting bitpack. */
358 bitpack_d bp = bitpack_create (ob->main_stream);
359 streamer_pack_tree_bitfields (ob, &bp, expr);
360 streamer_write_bitpack (&bp);
362 /* Write all the pointer fields in EXPR. */
363 streamer_write_tree_body (ob, expr, ref_p);
365 /* Write any LTO-specific data to OB. */
366 if (DECL_P (expr)
367 && TREE_CODE (expr) != FUNCTION_DECL
368 && TREE_CODE (expr) != TRANSLATION_UNIT_DECL)
370 /* Handle DECL_INITIAL for symbols. */
371 tree initial = get_symbol_initial_value (ob, expr);
372 stream_write_tree (ob, initial, ref_p);
376 /* Write a physical representation of tree node EXPR to output block
377 OB. If REF_P is true, the leaves of EXPR are emitted as references
378 via lto_output_tree_ref. IX is the index into the streamer cache
379 where EXPR is stored. */
381 static void
382 lto_write_tree (struct output_block *ob, tree expr, bool ref_p)
384 if (!lto_is_streamable (expr))
385 internal_error ("tree code %qs is not supported in LTO streams",
386 get_tree_code_name (TREE_CODE (expr)));
388 /* Write the header, containing everything needed to materialize
389 EXPR on the reading side. */
390 streamer_write_tree_header (ob, expr);
392 lto_write_tree_1 (ob, expr, ref_p);
394 /* Mark the end of EXPR. */
395 streamer_write_zero (ob);
398 /* Emit the physical representation of tree node EXPR to output block
399 OB. If THIS_REF_P is true, the leaves of EXPR are emitted as references
400 via lto_output_tree_ref. REF_P is used for streaming siblings of EXPR. */
402 static void
403 lto_output_tree_1 (struct output_block *ob, tree expr, hashval_t hash,
404 bool ref_p, bool this_ref_p)
406 unsigned ix;
408 gcc_checking_assert (expr != NULL_TREE
409 && !(this_ref_p && tree_is_indexable (expr)));
411 bool exists_p = streamer_tree_cache_insert (ob->writer_cache,
412 expr, hash, &ix);
413 gcc_assert (!exists_p);
414 if (streamer_handle_as_builtin_p (expr))
416 /* MD and NORMAL builtins do not need to be written out
417 completely as they are always instantiated by the
418 compiler on startup. The only builtins that need to
419 be written out are BUILT_IN_FRONTEND. For all other
420 builtins, we simply write the class and code. */
421 streamer_write_builtin (ob, expr);
423 else if (TREE_CODE (expr) == INTEGER_CST
424 && !TREE_OVERFLOW (expr))
426 /* Shared INTEGER_CST nodes are special because they need their
427 original type to be materialized by the reader (to implement
428 TYPE_CACHED_VALUES). */
429 streamer_write_integer_cst (ob, expr, ref_p);
431 else
433 /* This is the first time we see EXPR, write its fields
434 to OB. */
435 lto_write_tree (ob, expr, ref_p);
439 struct sccs
441 unsigned int dfsnum;
442 unsigned int low;
445 struct scc_entry
447 tree t;
448 hashval_t hash;
451 static unsigned int next_dfs_num;
452 static vec<scc_entry> sccstack;
453 static struct pointer_map_t *sccstate;
454 static struct obstack sccstate_obstack;
456 static void
457 DFS_write_tree (struct output_block *ob, sccs *from_state,
458 tree expr, bool ref_p, bool this_ref_p);
460 /* Handle the tree EXPR in the DFS walk with SCC state EXPR_STATE and
461 DFS recurse for all tree edges originating from it. */
463 static void
464 DFS_write_tree_body (struct output_block *ob,
465 tree expr, sccs *expr_state, bool ref_p)
467 #define DFS_follow_tree_edge(DEST) \
468 DFS_write_tree (ob, expr_state, DEST, ref_p, ref_p)
470 enum tree_code code;
472 code = TREE_CODE (expr);
474 if (CODE_CONTAINS_STRUCT (code, TS_TYPED))
476 if (TREE_CODE (expr) != IDENTIFIER_NODE)
477 DFS_follow_tree_edge (TREE_TYPE (expr));
480 if (CODE_CONTAINS_STRUCT (code, TS_VECTOR))
482 for (unsigned i = 0; i < VECTOR_CST_NELTS (expr); ++i)
483 DFS_follow_tree_edge (VECTOR_CST_ELT (expr, i));
486 if (CODE_CONTAINS_STRUCT (code, TS_COMPLEX))
488 DFS_follow_tree_edge (TREE_REALPART (expr));
489 DFS_follow_tree_edge (TREE_IMAGPART (expr));
492 if (CODE_CONTAINS_STRUCT (code, TS_DECL_MINIMAL))
494 /* Drop names that were created for anonymous entities. */
495 if (DECL_NAME (expr)
496 && TREE_CODE (DECL_NAME (expr)) == IDENTIFIER_NODE
497 && ANON_AGGRNAME_P (DECL_NAME (expr)))
499 else
500 DFS_follow_tree_edge (DECL_NAME (expr));
501 DFS_follow_tree_edge (DECL_CONTEXT (expr));
504 if (CODE_CONTAINS_STRUCT (code, TS_DECL_COMMON))
506 DFS_follow_tree_edge (DECL_SIZE (expr));
507 DFS_follow_tree_edge (DECL_SIZE_UNIT (expr));
509 /* Note, DECL_INITIAL is not handled here. Since DECL_INITIAL needs
510 special handling in LTO, it must be handled by streamer hooks. */
512 DFS_follow_tree_edge (DECL_ATTRIBUTES (expr));
514 /* Do not follow DECL_ABSTRACT_ORIGIN. We cannot handle debug information
515 for early inlining so drop it on the floor instead of ICEing in
516 dwarf2out.c. */
518 if ((TREE_CODE (expr) == VAR_DECL
519 || TREE_CODE (expr) == PARM_DECL)
520 && DECL_HAS_VALUE_EXPR_P (expr))
521 DFS_follow_tree_edge (DECL_VALUE_EXPR (expr));
522 if (TREE_CODE (expr) == VAR_DECL)
523 DFS_follow_tree_edge (DECL_DEBUG_EXPR (expr));
526 if (CODE_CONTAINS_STRUCT (code, TS_DECL_NON_COMMON))
528 if (TREE_CODE (expr) == TYPE_DECL)
529 DFS_follow_tree_edge (DECL_ORIGINAL_TYPE (expr));
530 DFS_follow_tree_edge (DECL_VINDEX (expr));
533 if (CODE_CONTAINS_STRUCT (code, TS_DECL_WITH_VIS))
535 /* Make sure we don't inadvertently set the assembler name. */
536 if (DECL_ASSEMBLER_NAME_SET_P (expr))
537 DFS_follow_tree_edge (DECL_ASSEMBLER_NAME (expr));
540 if (CODE_CONTAINS_STRUCT (code, TS_FIELD_DECL))
542 DFS_follow_tree_edge (DECL_FIELD_OFFSET (expr));
543 DFS_follow_tree_edge (DECL_BIT_FIELD_TYPE (expr));
544 DFS_follow_tree_edge (DECL_BIT_FIELD_REPRESENTATIVE (expr));
545 DFS_follow_tree_edge (DECL_FIELD_BIT_OFFSET (expr));
546 DFS_follow_tree_edge (DECL_FCONTEXT (expr));
549 if (CODE_CONTAINS_STRUCT (code, TS_FUNCTION_DECL))
551 DFS_follow_tree_edge (DECL_FUNCTION_PERSONALITY (expr));
552 /* Do not DECL_FUNCTION_SPECIFIC_TARGET. They will be regenerated. */
553 DFS_follow_tree_edge (DECL_FUNCTION_SPECIFIC_OPTIMIZATION (expr));
556 if (CODE_CONTAINS_STRUCT (code, TS_TYPE_COMMON))
558 DFS_follow_tree_edge (TYPE_SIZE (expr));
559 DFS_follow_tree_edge (TYPE_SIZE_UNIT (expr));
560 DFS_follow_tree_edge (TYPE_ATTRIBUTES (expr));
561 DFS_follow_tree_edge (TYPE_NAME (expr));
562 /* Do not follow TYPE_POINTER_TO or TYPE_REFERENCE_TO. They will be
563 reconstructed during fixup. */
564 /* Do not follow TYPE_NEXT_VARIANT, we reconstruct the variant lists
565 during fixup. */
566 DFS_follow_tree_edge (TYPE_MAIN_VARIANT (expr));
567 DFS_follow_tree_edge (TYPE_CONTEXT (expr));
568 /* TYPE_CANONICAL is re-computed during type merging, so no need
569 to follow it here. */
570 DFS_follow_tree_edge (TYPE_STUB_DECL (expr));
573 if (CODE_CONTAINS_STRUCT (code, TS_TYPE_NON_COMMON))
575 if (TREE_CODE (expr) == ENUMERAL_TYPE)
576 DFS_follow_tree_edge (TYPE_VALUES (expr));
577 else if (TREE_CODE (expr) == ARRAY_TYPE)
578 DFS_follow_tree_edge (TYPE_DOMAIN (expr));
579 else if (RECORD_OR_UNION_TYPE_P (expr))
580 for (tree t = TYPE_FIELDS (expr); t; t = TREE_CHAIN (t))
581 DFS_follow_tree_edge (t);
582 else if (TREE_CODE (expr) == FUNCTION_TYPE
583 || TREE_CODE (expr) == METHOD_TYPE)
584 DFS_follow_tree_edge (TYPE_ARG_TYPES (expr));
586 if (!POINTER_TYPE_P (expr))
587 DFS_follow_tree_edge (TYPE_MINVAL (expr));
588 DFS_follow_tree_edge (TYPE_MAXVAL (expr));
589 if (RECORD_OR_UNION_TYPE_P (expr))
590 DFS_follow_tree_edge (TYPE_BINFO (expr));
593 if (CODE_CONTAINS_STRUCT (code, TS_LIST))
595 DFS_follow_tree_edge (TREE_PURPOSE (expr));
596 DFS_follow_tree_edge (TREE_VALUE (expr));
597 DFS_follow_tree_edge (TREE_CHAIN (expr));
600 if (CODE_CONTAINS_STRUCT (code, TS_VEC))
602 for (int i = 0; i < TREE_VEC_LENGTH (expr); i++)
603 DFS_follow_tree_edge (TREE_VEC_ELT (expr, i));
606 if (CODE_CONTAINS_STRUCT (code, TS_EXP))
608 for (int i = 0; i < TREE_OPERAND_LENGTH (expr); i++)
609 DFS_follow_tree_edge (TREE_OPERAND (expr, i));
610 DFS_follow_tree_edge (TREE_BLOCK (expr));
613 if (CODE_CONTAINS_STRUCT (code, TS_BLOCK))
615 for (tree t = BLOCK_VARS (expr); t; t = TREE_CHAIN (t))
616 /* ??? FIXME. See also streamer_write_chain. */
617 if (!(VAR_OR_FUNCTION_DECL_P (t)
618 && DECL_EXTERNAL (t)))
619 DFS_follow_tree_edge (t);
621 DFS_follow_tree_edge (BLOCK_SUPERCONTEXT (expr));
623 /* Follow BLOCK_ABSTRACT_ORIGIN for the limited cases we can
624 handle - those that represent inlined function scopes.
625 For the drop rest them on the floor instead of ICEing
626 in dwarf2out.c. */
627 if (inlined_function_outer_scope_p (expr))
629 tree ultimate_origin = block_ultimate_origin (expr);
630 DFS_follow_tree_edge (ultimate_origin);
632 /* Do not follow BLOCK_NONLOCALIZED_VARS. We cannot handle debug
633 information for early inlined BLOCKs so drop it on the floor instead
634 of ICEing in dwarf2out.c. */
636 /* BLOCK_FRAGMENT_ORIGIN and BLOCK_FRAGMENT_CHAIN is not live at LTO
637 streaming time. */
639 /* Do not output BLOCK_SUBBLOCKS. Instead on streaming-in this
640 list is re-constructed from BLOCK_SUPERCONTEXT. */
643 if (CODE_CONTAINS_STRUCT (code, TS_BINFO))
645 unsigned i;
646 tree t;
648 /* Note that the number of BINFO slots has already been emitted in
649 EXPR's header (see streamer_write_tree_header) because this length
650 is needed to build the empty BINFO node on the reader side. */
651 FOR_EACH_VEC_ELT (*BINFO_BASE_BINFOS (expr), i, t)
652 DFS_follow_tree_edge (t);
653 DFS_follow_tree_edge (BINFO_OFFSET (expr));
654 DFS_follow_tree_edge (BINFO_VTABLE (expr));
655 DFS_follow_tree_edge (BINFO_VPTR_FIELD (expr));
657 /* The number of BINFO_BASE_ACCESSES has already been emitted in
658 EXPR's bitfield section. */
659 FOR_EACH_VEC_SAFE_ELT (BINFO_BASE_ACCESSES (expr), i, t)
660 DFS_follow_tree_edge (t);
662 /* Do not walk BINFO_INHERITANCE_CHAIN, BINFO_SUBVTT_INDEX
663 and BINFO_VPTR_INDEX; these are used by C++ FE only. */
666 if (CODE_CONTAINS_STRUCT (code, TS_CONSTRUCTOR))
668 unsigned i;
669 tree index, value;
671 FOR_EACH_CONSTRUCTOR_ELT (CONSTRUCTOR_ELTS (expr), i, index, value)
673 DFS_follow_tree_edge (index);
674 DFS_follow_tree_edge (value);
678 if (code == OMP_CLAUSE)
680 int i;
681 for (i = 0; i < omp_clause_num_ops[OMP_CLAUSE_CODE (expr)]; i++)
682 DFS_follow_tree_edge (OMP_CLAUSE_OPERAND (expr, i));
683 DFS_follow_tree_edge (OMP_CLAUSE_CHAIN (expr));
686 #undef DFS_follow_tree_edge
689 /* Return a hash value for the tree T. */
691 static hashval_t
692 hash_tree (struct streamer_tree_cache_d *cache, tree t)
694 #define visit(SIBLING) \
695 do { \
696 unsigned ix; \
697 if (SIBLING && streamer_tree_cache_lookup (cache, SIBLING, &ix)) \
698 v = iterative_hash_hashval_t (streamer_tree_cache_get_hash (cache, ix), v); \
699 } while (0)
701 /* Hash TS_BASE. */
702 enum tree_code code = TREE_CODE (t);
703 hashval_t v = iterative_hash_host_wide_int (code, 0);
704 if (!TYPE_P (t))
706 v = iterative_hash_host_wide_int (TREE_SIDE_EFFECTS (t)
707 | (TREE_CONSTANT (t) << 1)
708 | (TREE_READONLY (t) << 2)
709 | (TREE_PUBLIC (t) << 3), v);
711 v = iterative_hash_host_wide_int (TREE_ADDRESSABLE (t)
712 | (TREE_THIS_VOLATILE (t) << 1), v);
713 if (DECL_P (t))
714 v = iterative_hash_host_wide_int (DECL_UNSIGNED (t), v);
715 else if (TYPE_P (t))
716 v = iterative_hash_host_wide_int (TYPE_UNSIGNED (t), v);
717 if (TYPE_P (t))
718 v = iterative_hash_host_wide_int (TYPE_ARTIFICIAL (t), v);
719 else
720 v = iterative_hash_host_wide_int (TREE_NO_WARNING (t), v);
721 v = iterative_hash_host_wide_int (TREE_NOTHROW (t)
722 | (TREE_STATIC (t) << 1)
723 | (TREE_PROTECTED (t) << 2)
724 | (TREE_DEPRECATED (t) << 3), v);
725 if (code != TREE_BINFO)
726 v = iterative_hash_host_wide_int (TREE_PRIVATE (t), v);
727 if (TYPE_P (t))
728 v = iterative_hash_host_wide_int (TYPE_SATURATING (t)
729 | (TYPE_ADDR_SPACE (t) << 1), v);
730 else if (code == SSA_NAME)
731 v = iterative_hash_host_wide_int (SSA_NAME_IS_DEFAULT_DEF (t), v);
733 if (CODE_CONTAINS_STRUCT (code, TS_INT_CST))
735 int i;
736 v = iterative_hash_host_wide_int (TREE_INT_CST_NUNITS (t), v);
737 v = iterative_hash_host_wide_int (TREE_INT_CST_EXT_NUNITS (t), v);
738 for (i = 0; i < TREE_INT_CST_NUNITS (t); i++)
739 v = iterative_hash_host_wide_int (TREE_INT_CST_ELT (t, i), v);
742 if (CODE_CONTAINS_STRUCT (code, TS_REAL_CST))
744 REAL_VALUE_TYPE r = TREE_REAL_CST (t);
745 v = iterative_hash_host_wide_int (r.cl, v);
746 v = iterative_hash_host_wide_int (r.decimal
747 | (r.sign << 1)
748 | (r.signalling << 2)
749 | (r.canonical << 3), v);
750 v = iterative_hash_host_wide_int (r.uexp, v);
751 for (unsigned i = 0; i < SIGSZ; ++i)
752 v = iterative_hash_host_wide_int (r.sig[i], v);
755 if (CODE_CONTAINS_STRUCT (code, TS_FIXED_CST))
757 FIXED_VALUE_TYPE f = TREE_FIXED_CST (t);
758 v = iterative_hash_host_wide_int (f.mode, v);
759 v = iterative_hash_host_wide_int (f.data.low, v);
760 v = iterative_hash_host_wide_int (f.data.high, v);
763 if (CODE_CONTAINS_STRUCT (code, TS_DECL_COMMON))
765 v = iterative_hash_host_wide_int (DECL_MODE (t), v);
766 v = iterative_hash_host_wide_int (DECL_NONLOCAL (t)
767 | (DECL_VIRTUAL_P (t) << 1)
768 | (DECL_IGNORED_P (t) << 2)
769 | (DECL_ABSTRACT (t) << 3)
770 | (DECL_ARTIFICIAL (t) << 4)
771 | (DECL_USER_ALIGN (t) << 5)
772 | (DECL_PRESERVE_P (t) << 6)
773 | (DECL_EXTERNAL (t) << 7)
774 | (DECL_GIMPLE_REG_P (t) << 8), v);
775 v = iterative_hash_host_wide_int (DECL_ALIGN (t), v);
776 if (code == LABEL_DECL)
778 v = iterative_hash_host_wide_int (EH_LANDING_PAD_NR (t), v);
779 v = iterative_hash_host_wide_int (LABEL_DECL_UID (t), v);
781 else if (code == FIELD_DECL)
783 v = iterative_hash_host_wide_int (DECL_PACKED (t)
784 | (DECL_NONADDRESSABLE_P (t) << 1),
786 v = iterative_hash_host_wide_int (DECL_OFFSET_ALIGN (t), v);
788 else if (code == VAR_DECL)
790 v = iterative_hash_host_wide_int (DECL_HAS_DEBUG_EXPR_P (t)
791 | (DECL_NONLOCAL_FRAME (t) << 1),
794 if (code == RESULT_DECL
795 || code == PARM_DECL
796 || code == VAR_DECL)
798 v = iterative_hash_host_wide_int (DECL_BY_REFERENCE (t), v);
799 if (code == VAR_DECL
800 || code == PARM_DECL)
801 v = iterative_hash_host_wide_int (DECL_HAS_VALUE_EXPR_P (t), v);
805 if (CODE_CONTAINS_STRUCT (code, TS_DECL_WRTL))
806 v = iterative_hash_host_wide_int (DECL_REGISTER (t), v);
808 if (CODE_CONTAINS_STRUCT (code, TS_DECL_WITH_VIS))
810 v = iterative_hash_host_wide_int ((DECL_COMMON (t))
811 | (DECL_DLLIMPORT_P (t) << 1)
812 | (DECL_WEAK (t) << 2)
813 | (DECL_SEEN_IN_BIND_EXPR_P (t) << 3)
814 | (DECL_COMDAT (t) << 4)
815 | (DECL_VISIBILITY_SPECIFIED (t) << 6),
817 v = iterative_hash_host_wide_int (DECL_VISIBILITY (t), v);
818 if (code == VAR_DECL)
820 /* DECL_IN_TEXT_SECTION is set during final asm output only. */
821 v = iterative_hash_host_wide_int (DECL_HARD_REGISTER (t)
822 | (DECL_IN_CONSTANT_POOL (t) << 1),
824 v = iterative_hash_host_wide_int (DECL_TLS_MODEL (t), v);
826 if (TREE_CODE (t) == FUNCTION_DECL)
827 v = iterative_hash_host_wide_int (DECL_FINAL_P (t)
828 | (DECL_CXX_CONSTRUCTOR_P (t) << 1)
829 | (DECL_CXX_DESTRUCTOR_P (t) << 2),
831 if (VAR_OR_FUNCTION_DECL_P (t))
832 v = iterative_hash_host_wide_int (DECL_INIT_PRIORITY (t), v);
835 if (CODE_CONTAINS_STRUCT (code, TS_FUNCTION_DECL))
837 v = iterative_hash_host_wide_int (DECL_BUILT_IN_CLASS (t), v);
838 v = iterative_hash_host_wide_int (DECL_STATIC_CONSTRUCTOR (t)
839 | (DECL_STATIC_DESTRUCTOR (t) << 1)
840 | (DECL_UNINLINABLE (t) << 2)
841 | (DECL_POSSIBLY_INLINED (t) << 3)
842 | (DECL_IS_NOVOPS (t) << 4)
843 | (DECL_IS_RETURNS_TWICE (t) << 5)
844 | (DECL_IS_MALLOC (t) << 6)
845 | (DECL_IS_OPERATOR_NEW (t) << 7)
846 | (DECL_DECLARED_INLINE_P (t) << 8)
847 | (DECL_STATIC_CHAIN (t) << 9)
848 | (DECL_NO_INLINE_WARNING_P (t) << 10)
849 | (DECL_NO_INSTRUMENT_FUNCTION_ENTRY_EXIT (t) << 11)
850 | (DECL_NO_LIMIT_STACK (t) << 12)
851 | (DECL_DISREGARD_INLINE_LIMITS (t) << 13)
852 | (DECL_PURE_P (t) << 14)
853 | (DECL_LOOPING_CONST_OR_PURE_P (t) << 15), v);
854 if (DECL_BUILT_IN_CLASS (t) != NOT_BUILT_IN)
855 v = iterative_hash_host_wide_int (DECL_FUNCTION_CODE (t), v);
856 if (DECL_STATIC_DESTRUCTOR (t))
857 v = iterative_hash_host_wide_int (DECL_FINI_PRIORITY (t), v);
860 if (CODE_CONTAINS_STRUCT (code, TS_TYPE_COMMON))
862 v = iterative_hash_host_wide_int (TYPE_MODE (t), v);
863 v = iterative_hash_host_wide_int (TYPE_STRING_FLAG (t)
864 | (TYPE_NO_FORCE_BLK (t) << 1)
865 | (TYPE_NEEDS_CONSTRUCTING (t) << 2)
866 | (TYPE_PACKED (t) << 3)
867 | (TYPE_RESTRICT (t) << 4)
868 | (TYPE_USER_ALIGN (t) << 5)
869 | (TYPE_READONLY (t) << 6), v);
870 if (RECORD_OR_UNION_TYPE_P (t))
872 v = iterative_hash_host_wide_int (TYPE_TRANSPARENT_AGGR (t)
873 | (TYPE_FINAL_P (t) << 1), v);
875 else if (code == ARRAY_TYPE)
876 v = iterative_hash_host_wide_int (TYPE_NONALIASED_COMPONENT (t), v);
877 v = iterative_hash_host_wide_int (TYPE_PRECISION (t), v);
878 v = iterative_hash_host_wide_int (TYPE_ALIGN (t), v);
879 v = iterative_hash_host_wide_int ((TYPE_ALIAS_SET (t) == 0
880 || (!in_lto_p
881 && get_alias_set (t) == 0))
882 ? 0 : -1, v);
885 if (CODE_CONTAINS_STRUCT (code, TS_TRANSLATION_UNIT_DECL))
886 v = iterative_hash (TRANSLATION_UNIT_LANGUAGE (t),
887 strlen (TRANSLATION_UNIT_LANGUAGE (t)), v);
889 if (CODE_CONTAINS_STRUCT (code, TS_TARGET_OPTION))
890 gcc_unreachable ();
892 if (CODE_CONTAINS_STRUCT (code, TS_OPTIMIZATION))
893 v = iterative_hash (t, sizeof (struct cl_optimization), v);
895 if (CODE_CONTAINS_STRUCT (code, TS_IDENTIFIER))
896 v = iterative_hash_host_wide_int (IDENTIFIER_HASH_VALUE (t), v);
898 if (CODE_CONTAINS_STRUCT (code, TS_STRING))
899 v = iterative_hash (TREE_STRING_POINTER (t), TREE_STRING_LENGTH (t), v);
901 if (CODE_CONTAINS_STRUCT (code, TS_TYPED))
903 if (POINTER_TYPE_P (t))
905 /* For pointers factor in the pointed-to type recursively as
906 we cannot recurse through only pointers.
907 ??? We can generalize this by keeping track of the
908 in-SCC edges for each tree (or arbitrarily the first
909 such edge) and hashing that in in a second stage
910 (instead of the quadratic mixing of the SCC we do now). */
911 hashval_t x;
912 unsigned ix;
913 if (streamer_tree_cache_lookup (cache, TREE_TYPE (t), &ix))
914 x = streamer_tree_cache_get_hash (cache, ix);
915 else
916 x = hash_tree (cache, TREE_TYPE (t));
917 v = iterative_hash_hashval_t (x, v);
919 else if (code != IDENTIFIER_NODE)
920 visit (TREE_TYPE (t));
923 if (CODE_CONTAINS_STRUCT (code, TS_VECTOR))
924 for (unsigned i = 0; i < VECTOR_CST_NELTS (t); ++i)
925 visit (VECTOR_CST_ELT (t, i));
927 if (CODE_CONTAINS_STRUCT (code, TS_COMPLEX))
929 visit (TREE_REALPART (t));
930 visit (TREE_IMAGPART (t));
933 if (CODE_CONTAINS_STRUCT (code, TS_DECL_MINIMAL))
935 /* Drop names that were created for anonymous entities. */
936 if (DECL_NAME (t)
937 && TREE_CODE (DECL_NAME (t)) == IDENTIFIER_NODE
938 && ANON_AGGRNAME_P (DECL_NAME (t)))
940 else
941 visit (DECL_NAME (t));
942 if (DECL_FILE_SCOPE_P (t))
944 else
945 visit (DECL_CONTEXT (t));
948 if (CODE_CONTAINS_STRUCT (code, TS_DECL_COMMON))
950 visit (DECL_SIZE (t));
951 visit (DECL_SIZE_UNIT (t));
952 visit (DECL_ATTRIBUTES (t));
953 if ((code == VAR_DECL
954 || code == PARM_DECL)
955 && DECL_HAS_VALUE_EXPR_P (t))
956 visit (DECL_VALUE_EXPR (t));
957 if (code == VAR_DECL
958 && DECL_HAS_DEBUG_EXPR_P (t))
959 visit (DECL_DEBUG_EXPR (t));
960 /* ??? Hash DECL_INITIAL as streamed. Needs the output-block to
961 be able to call get_symbol_initial_value. */
964 if (CODE_CONTAINS_STRUCT (code, TS_DECL_NON_COMMON))
966 if (code == TYPE_DECL)
967 visit (DECL_ORIGINAL_TYPE (t));
968 visit (DECL_VINDEX (t));
971 if (CODE_CONTAINS_STRUCT (code, TS_DECL_WITH_VIS))
973 if (DECL_ASSEMBLER_NAME_SET_P (t))
974 visit (DECL_ASSEMBLER_NAME (t));
977 if (CODE_CONTAINS_STRUCT (code, TS_FIELD_DECL))
979 visit (DECL_FIELD_OFFSET (t));
980 visit (DECL_BIT_FIELD_TYPE (t));
981 visit (DECL_BIT_FIELD_REPRESENTATIVE (t));
982 visit (DECL_FIELD_BIT_OFFSET (t));
983 visit (DECL_FCONTEXT (t));
986 if (CODE_CONTAINS_STRUCT (code, TS_FUNCTION_DECL))
988 visit (DECL_FUNCTION_PERSONALITY (t));
989 /* Do not follow DECL_FUNCTION_SPECIFIC_TARGET. */
990 visit (DECL_FUNCTION_SPECIFIC_OPTIMIZATION (t));
993 if (CODE_CONTAINS_STRUCT (code, TS_TYPE_COMMON))
995 visit (TYPE_SIZE (t));
996 visit (TYPE_SIZE_UNIT (t));
997 visit (TYPE_ATTRIBUTES (t));
998 visit (TYPE_NAME (t));
999 visit (TYPE_MAIN_VARIANT (t));
1000 if (TYPE_FILE_SCOPE_P (t))
1002 else
1003 visit (TYPE_CONTEXT (t));
1004 visit (TYPE_STUB_DECL (t));
1007 if (CODE_CONTAINS_STRUCT (code, TS_TYPE_NON_COMMON))
1009 if (code == ENUMERAL_TYPE)
1010 visit (TYPE_VALUES (t));
1011 else if (code == ARRAY_TYPE)
1012 visit (TYPE_DOMAIN (t));
1013 else if (RECORD_OR_UNION_TYPE_P (t))
1014 for (tree f = TYPE_FIELDS (t); f; f = TREE_CHAIN (f))
1015 visit (f);
1016 else if (code == FUNCTION_TYPE
1017 || code == METHOD_TYPE)
1018 visit (TYPE_ARG_TYPES (t));
1019 if (!POINTER_TYPE_P (t))
1020 visit (TYPE_MINVAL (t));
1021 visit (TYPE_MAXVAL (t));
1022 if (RECORD_OR_UNION_TYPE_P (t))
1023 visit (TYPE_BINFO (t));
1026 if (CODE_CONTAINS_STRUCT (code, TS_LIST))
1028 visit (TREE_PURPOSE (t));
1029 visit (TREE_VALUE (t));
1030 visit (TREE_CHAIN (t));
1033 if (CODE_CONTAINS_STRUCT (code, TS_VEC))
1034 for (int i = 0; i < TREE_VEC_LENGTH (t); ++i)
1035 visit (TREE_VEC_ELT (t, i));
1037 if (CODE_CONTAINS_STRUCT (code, TS_EXP))
1039 v = iterative_hash_host_wide_int (TREE_OPERAND_LENGTH (t), v);
1040 for (int i = 0; i < TREE_OPERAND_LENGTH (t); ++i)
1041 visit (TREE_OPERAND (t, i));
1044 if (CODE_CONTAINS_STRUCT (code, TS_BINFO))
1046 unsigned i;
1047 tree b;
1048 FOR_EACH_VEC_ELT (*BINFO_BASE_BINFOS (t), i, b)
1049 visit (b);
1050 visit (BINFO_OFFSET (t));
1051 visit (BINFO_VTABLE (t));
1052 visit (BINFO_VPTR_FIELD (t));
1053 FOR_EACH_VEC_SAFE_ELT (BINFO_BASE_ACCESSES (t), i, b)
1054 visit (b);
1055 /* Do not walk BINFO_INHERITANCE_CHAIN, BINFO_SUBVTT_INDEX
1056 and BINFO_VPTR_INDEX; these are used by C++ FE only. */
1059 if (CODE_CONTAINS_STRUCT (code, TS_CONSTRUCTOR))
1061 unsigned i;
1062 tree index, value;
1063 v = iterative_hash_host_wide_int (CONSTRUCTOR_NELTS (t), v);
1064 FOR_EACH_CONSTRUCTOR_ELT (CONSTRUCTOR_ELTS (t), i, index, value)
1066 visit (index);
1067 visit (value);
1071 if (code == OMP_CLAUSE)
1073 int i;
1075 v = iterative_hash_host_wide_int (OMP_CLAUSE_CODE (t), v);
1076 switch (OMP_CLAUSE_CODE (t))
1078 case OMP_CLAUSE_DEFAULT:
1079 v = iterative_hash_host_wide_int (OMP_CLAUSE_DEFAULT_KIND (t), v);
1080 break;
1081 case OMP_CLAUSE_SCHEDULE:
1082 v = iterative_hash_host_wide_int (OMP_CLAUSE_SCHEDULE_KIND (t), v);
1083 break;
1084 case OMP_CLAUSE_DEPEND:
1085 v = iterative_hash_host_wide_int (OMP_CLAUSE_DEPEND_KIND (t), v);
1086 break;
1087 case OMP_CLAUSE_MAP:
1088 v = iterative_hash_host_wide_int (OMP_CLAUSE_MAP_KIND (t), v);
1089 break;
1090 case OMP_CLAUSE_PROC_BIND:
1091 v = iterative_hash_host_wide_int (OMP_CLAUSE_PROC_BIND_KIND (t), v);
1092 break;
1093 case OMP_CLAUSE_REDUCTION:
1094 v = iterative_hash_host_wide_int (OMP_CLAUSE_REDUCTION_CODE (t), v);
1095 break;
1096 default:
1097 break;
1099 for (i = 0; i < omp_clause_num_ops[OMP_CLAUSE_CODE (t)]; i++)
1100 visit (OMP_CLAUSE_OPERAND (t, i));
1101 visit (OMP_CLAUSE_CHAIN (t));
1104 return v;
1106 #undef visit
1109 /* Compare two SCC entries by their hash value for qsorting them. */
1111 static int
1112 scc_entry_compare (const void *p1_, const void *p2_)
1114 const scc_entry *p1 = (const scc_entry *) p1_;
1115 const scc_entry *p2 = (const scc_entry *) p2_;
1116 if (p1->hash < p2->hash)
1117 return -1;
1118 else if (p1->hash > p2->hash)
1119 return 1;
1120 return 0;
1123 /* Return a hash value for the SCC on the SCC stack from FIRST with
1124 size SIZE. */
1126 static hashval_t
1127 hash_scc (struct streamer_tree_cache_d *cache, unsigned first, unsigned size)
1129 /* Compute hash values for the SCC members. */
1130 for (unsigned i = 0; i < size; ++i)
1131 sccstack[first+i].hash = hash_tree (cache, sccstack[first+i].t);
1133 if (size == 1)
1134 return sccstack[first].hash;
1136 /* Sort the SCC of type, hash pairs so that when we mix in
1137 all members of the SCC the hash value becomes independent on
1138 the order we visited the SCC. Disregard hashes equal to
1139 the hash of the tree we mix into because we cannot guarantee
1140 a stable sort for those across different TUs. */
1141 qsort (&sccstack[first], size, sizeof (scc_entry), scc_entry_compare);
1142 hashval_t *tem = XALLOCAVEC (hashval_t, size);
1143 for (unsigned i = 0; i < size; ++i)
1145 hashval_t hash = sccstack[first+i].hash;
1146 hashval_t orig_hash = hash;
1147 unsigned j;
1148 /* Skip same hashes. */
1149 for (j = i + 1;
1150 j < size && sccstack[first+j].hash == orig_hash; ++j)
1152 for (; j < size; ++j)
1153 hash = iterative_hash_hashval_t (sccstack[first+j].hash, hash);
1154 for (j = 0; sccstack[first+j].hash != orig_hash; ++j)
1155 hash = iterative_hash_hashval_t (sccstack[first+j].hash, hash);
1156 tem[i] = hash;
1158 hashval_t scc_hash = 0;
1159 for (unsigned i = 0; i < size; ++i)
1161 sccstack[first+i].hash = tem[i];
1162 scc_hash = iterative_hash_hashval_t (tem[i], scc_hash);
1164 return scc_hash;
1167 /* DFS walk EXPR and stream SCCs of tree bodies if they are not
1168 already in the streamer cache. Main routine called for
1169 each visit of EXPR. */
1171 static void
1172 DFS_write_tree (struct output_block *ob, sccs *from_state,
1173 tree expr, bool ref_p, bool this_ref_p)
1175 unsigned ix;
1176 sccs **slot;
1178 /* Handle special cases. */
1179 if (expr == NULL_TREE)
1180 return;
1182 /* Do not DFS walk into indexable trees. */
1183 if (this_ref_p && tree_is_indexable (expr))
1184 return;
1186 /* Check if we already streamed EXPR. */
1187 if (streamer_tree_cache_lookup (ob->writer_cache, expr, &ix))
1188 return;
1190 slot = (sccs **)pointer_map_insert (sccstate, expr);
1191 sccs *cstate = *slot;
1192 if (!cstate)
1194 scc_entry e = { expr, 0 };
1195 /* Not yet visited. DFS recurse and push it onto the stack. */
1196 *slot = cstate = XOBNEW (&sccstate_obstack, struct sccs);
1197 sccstack.safe_push (e);
1198 cstate->dfsnum = next_dfs_num++;
1199 cstate->low = cstate->dfsnum;
1201 if (streamer_handle_as_builtin_p (expr))
1203 else if (TREE_CODE (expr) == INTEGER_CST
1204 && !TREE_OVERFLOW (expr))
1205 DFS_write_tree (ob, cstate, TREE_TYPE (expr), ref_p, ref_p);
1206 else
1208 DFS_write_tree_body (ob, expr, cstate, ref_p);
1210 /* Walk any LTO-specific edges. */
1211 if (DECL_P (expr)
1212 && TREE_CODE (expr) != FUNCTION_DECL
1213 && TREE_CODE (expr) != TRANSLATION_UNIT_DECL)
1215 /* Handle DECL_INITIAL for symbols. */
1216 tree initial = get_symbol_initial_value (ob, expr);
1217 DFS_write_tree (ob, cstate, initial, ref_p, ref_p);
1221 /* See if we found an SCC. */
1222 if (cstate->low == cstate->dfsnum)
1224 unsigned first, size;
1225 tree x;
1227 /* Pop the SCC and compute its size. */
1228 first = sccstack.length ();
1231 x = sccstack[--first].t;
1233 while (x != expr);
1234 size = sccstack.length () - first;
1236 /* No need to compute hashes for LTRANS units, we don't perform
1237 any merging there. */
1238 hashval_t scc_hash = 0;
1239 unsigned scc_entry_len = 0;
1240 if (!flag_wpa)
1242 scc_hash = hash_scc (ob->writer_cache, first, size);
1244 /* Put the entries with the least number of collisions first. */
1245 unsigned entry_start = 0;
1246 scc_entry_len = size + 1;
1247 for (unsigned i = 0; i < size;)
1249 unsigned from = i;
1250 for (i = i + 1; i < size
1251 && (sccstack[first + i].hash
1252 == sccstack[first + from].hash); ++i)
1254 if (i - from < scc_entry_len)
1256 scc_entry_len = i - from;
1257 entry_start = from;
1260 for (unsigned i = 0; i < scc_entry_len; ++i)
1262 scc_entry tem = sccstack[first + i];
1263 sccstack[first + i] = sccstack[first + entry_start + i];
1264 sccstack[first + entry_start + i] = tem;
1268 /* Write LTO_tree_scc. */
1269 streamer_write_record_start (ob, LTO_tree_scc);
1270 streamer_write_uhwi (ob, size);
1271 streamer_write_uhwi (ob, scc_hash);
1273 /* Write size-1 SCCs without wrapping them inside SCC bundles.
1274 All INTEGER_CSTs need to be handled this way as we need
1275 their type to materialize them. Also builtins are handled
1276 this way.
1277 ??? We still wrap these in LTO_tree_scc so at the
1278 input side we can properly identify the tree we want
1279 to ultimatively return. */
1280 if (size == 1)
1281 lto_output_tree_1 (ob, expr, scc_hash, ref_p, this_ref_p);
1282 else
1284 /* Write the size of the SCC entry candidates. */
1285 streamer_write_uhwi (ob, scc_entry_len);
1287 /* Write all headers and populate the streamer cache. */
1288 for (unsigned i = 0; i < size; ++i)
1290 hashval_t hash = sccstack[first+i].hash;
1291 tree t = sccstack[first+i].t;
1292 bool exists_p = streamer_tree_cache_insert (ob->writer_cache,
1293 t, hash, &ix);
1294 gcc_assert (!exists_p);
1296 if (!lto_is_streamable (t))
1297 internal_error ("tree code %qs is not supported "
1298 "in LTO streams",
1299 get_tree_code_name (TREE_CODE (t)));
1301 gcc_checking_assert (!streamer_handle_as_builtin_p (t));
1303 /* Write the header, containing everything needed to
1304 materialize EXPR on the reading side. */
1305 streamer_write_tree_header (ob, t);
1308 /* Write the bitpacks and tree references. */
1309 for (unsigned i = 0; i < size; ++i)
1311 lto_write_tree_1 (ob, sccstack[first+i].t, ref_p);
1313 /* Mark the end of the tree. */
1314 streamer_write_zero (ob);
1318 /* Finally truncate the vector. */
1319 sccstack.truncate (first);
1321 if (from_state)
1322 from_state->low = MIN (from_state->low, cstate->low);
1323 return;
1326 if (from_state)
1327 from_state->low = MIN (from_state->low, cstate->low);
1329 gcc_checking_assert (from_state);
1330 if (cstate->dfsnum < from_state->dfsnum)
1331 from_state->low = MIN (cstate->dfsnum, from_state->low);
1335 /* Emit the physical representation of tree node EXPR to output block
1336 OB. If THIS_REF_P is true, the leaves of EXPR are emitted as references
1337 via lto_output_tree_ref. REF_P is used for streaming siblings of EXPR. */
1339 void
1340 lto_output_tree (struct output_block *ob, tree expr,
1341 bool ref_p, bool this_ref_p)
1343 unsigned ix;
1344 bool existed_p;
1346 if (expr == NULL_TREE)
1348 streamer_write_record_start (ob, LTO_null);
1349 return;
1352 if (this_ref_p && tree_is_indexable (expr))
1354 lto_output_tree_ref (ob, expr);
1355 return;
1358 existed_p = streamer_tree_cache_lookup (ob->writer_cache, expr, &ix);
1359 if (existed_p)
1361 /* If a node has already been streamed out, make sure that
1362 we don't write it more than once. Otherwise, the reader
1363 will instantiate two different nodes for the same object. */
1364 streamer_write_record_start (ob, LTO_tree_pickle_reference);
1365 streamer_write_uhwi (ob, ix);
1366 streamer_write_enum (ob->main_stream, LTO_tags, LTO_NUM_TAGS,
1367 lto_tree_code_to_tag (TREE_CODE (expr)));
1368 lto_stats.num_pickle_refs_output++;
1370 else
1372 /* This is the first time we see EXPR, write all reachable
1373 trees to OB. */
1374 static bool in_dfs_walk;
1376 /* Protect against recursion which means disconnect between
1377 what tree edges we walk in the DFS walk and what edges
1378 we stream out. */
1379 gcc_assert (!in_dfs_walk);
1381 /* Start the DFS walk. */
1382 /* Save ob state ... */
1383 /* let's see ... */
1384 in_dfs_walk = true;
1385 sccstate = pointer_map_create ();
1386 gcc_obstack_init (&sccstate_obstack);
1387 next_dfs_num = 1;
1388 DFS_write_tree (ob, NULL, expr, ref_p, this_ref_p);
1389 sccstack.release ();
1390 pointer_map_destroy (sccstate);
1391 obstack_free (&sccstate_obstack, NULL);
1392 in_dfs_walk = false;
1394 /* Finally append a reference to the tree we were writing.
1395 ??? If expr ended up as a singleton we could have
1396 inlined it here and avoid outputting a reference. */
1397 existed_p = streamer_tree_cache_lookup (ob->writer_cache, expr, &ix);
1398 gcc_assert (existed_p);
1399 streamer_write_record_start (ob, LTO_tree_pickle_reference);
1400 streamer_write_uhwi (ob, ix);
1401 streamer_write_enum (ob->main_stream, LTO_tags, LTO_NUM_TAGS,
1402 lto_tree_code_to_tag (TREE_CODE (expr)));
1403 lto_stats.num_pickle_refs_output++;
1408 /* Output to OB a list of try/catch handlers starting with FIRST. */
1410 static void
1411 output_eh_try_list (struct output_block *ob, eh_catch first)
1413 eh_catch n;
1415 for (n = first; n; n = n->next_catch)
1417 streamer_write_record_start (ob, LTO_eh_catch);
1418 stream_write_tree (ob, n->type_list, true);
1419 stream_write_tree (ob, n->filter_list, true);
1420 stream_write_tree (ob, n->label, true);
1423 streamer_write_record_start (ob, LTO_null);
1427 /* Output EH region R in function FN to OB. CURR_RN is the slot index
1428 that is being emitted in FN->EH->REGION_ARRAY. This is used to
1429 detect EH region sharing. */
1431 static void
1432 output_eh_region (struct output_block *ob, eh_region r)
1434 enum LTO_tags tag;
1436 if (r == NULL)
1438 streamer_write_record_start (ob, LTO_null);
1439 return;
1442 if (r->type == ERT_CLEANUP)
1443 tag = LTO_ert_cleanup;
1444 else if (r->type == ERT_TRY)
1445 tag = LTO_ert_try;
1446 else if (r->type == ERT_ALLOWED_EXCEPTIONS)
1447 tag = LTO_ert_allowed_exceptions;
1448 else if (r->type == ERT_MUST_NOT_THROW)
1449 tag = LTO_ert_must_not_throw;
1450 else
1451 gcc_unreachable ();
1453 streamer_write_record_start (ob, tag);
1454 streamer_write_hwi (ob, r->index);
1456 if (r->outer)
1457 streamer_write_hwi (ob, r->outer->index);
1458 else
1459 streamer_write_zero (ob);
1461 if (r->inner)
1462 streamer_write_hwi (ob, r->inner->index);
1463 else
1464 streamer_write_zero (ob);
1466 if (r->next_peer)
1467 streamer_write_hwi (ob, r->next_peer->index);
1468 else
1469 streamer_write_zero (ob);
1471 if (r->type == ERT_TRY)
1473 output_eh_try_list (ob, r->u.eh_try.first_catch);
1475 else if (r->type == ERT_ALLOWED_EXCEPTIONS)
1477 stream_write_tree (ob, r->u.allowed.type_list, true);
1478 stream_write_tree (ob, r->u.allowed.label, true);
1479 streamer_write_uhwi (ob, r->u.allowed.filter);
1481 else if (r->type == ERT_MUST_NOT_THROW)
1483 stream_write_tree (ob, r->u.must_not_throw.failure_decl, true);
1484 bitpack_d bp = bitpack_create (ob->main_stream);
1485 stream_output_location (ob, &bp, r->u.must_not_throw.failure_loc);
1486 streamer_write_bitpack (&bp);
1489 if (r->landing_pads)
1490 streamer_write_hwi (ob, r->landing_pads->index);
1491 else
1492 streamer_write_zero (ob);
1496 /* Output landing pad LP to OB. */
1498 static void
1499 output_eh_lp (struct output_block *ob, eh_landing_pad lp)
1501 if (lp == NULL)
1503 streamer_write_record_start (ob, LTO_null);
1504 return;
1507 streamer_write_record_start (ob, LTO_eh_landing_pad);
1508 streamer_write_hwi (ob, lp->index);
1509 if (lp->next_lp)
1510 streamer_write_hwi (ob, lp->next_lp->index);
1511 else
1512 streamer_write_zero (ob);
1514 if (lp->region)
1515 streamer_write_hwi (ob, lp->region->index);
1516 else
1517 streamer_write_zero (ob);
1519 stream_write_tree (ob, lp->post_landing_pad, true);
1523 /* Output the existing eh_table to OB. */
1525 static void
1526 output_eh_regions (struct output_block *ob, struct function *fn)
1528 if (fn->eh && fn->eh->region_tree)
1530 unsigned i;
1531 eh_region eh;
1532 eh_landing_pad lp;
1533 tree ttype;
1535 streamer_write_record_start (ob, LTO_eh_table);
1537 /* Emit the index of the root of the EH region tree. */
1538 streamer_write_hwi (ob, fn->eh->region_tree->index);
1540 /* Emit all the EH regions in the region array. */
1541 streamer_write_hwi (ob, vec_safe_length (fn->eh->region_array));
1542 FOR_EACH_VEC_SAFE_ELT (fn->eh->region_array, i, eh)
1543 output_eh_region (ob, eh);
1545 /* Emit all landing pads. */
1546 streamer_write_hwi (ob, vec_safe_length (fn->eh->lp_array));
1547 FOR_EACH_VEC_SAFE_ELT (fn->eh->lp_array, i, lp)
1548 output_eh_lp (ob, lp);
1550 /* Emit all the runtime type data. */
1551 streamer_write_hwi (ob, vec_safe_length (fn->eh->ttype_data));
1552 FOR_EACH_VEC_SAFE_ELT (fn->eh->ttype_data, i, ttype)
1553 stream_write_tree (ob, ttype, true);
1555 /* Emit the table of action chains. */
1556 if (targetm.arm_eabi_unwinder)
1558 tree t;
1559 streamer_write_hwi (ob, vec_safe_length (fn->eh->ehspec_data.arm_eabi));
1560 FOR_EACH_VEC_SAFE_ELT (fn->eh->ehspec_data.arm_eabi, i, t)
1561 stream_write_tree (ob, t, true);
1563 else
1565 uchar c;
1566 streamer_write_hwi (ob, vec_safe_length (fn->eh->ehspec_data.other));
1567 FOR_EACH_VEC_SAFE_ELT (fn->eh->ehspec_data.other, i, c)
1568 streamer_write_char_stream (ob->main_stream, c);
1572 /* The LTO_null either terminates the record or indicates that there
1573 are no eh_records at all. */
1574 streamer_write_record_start (ob, LTO_null);
1578 /* Output all of the active ssa names to the ssa_names stream. */
1580 static void
1581 output_ssa_names (struct output_block *ob, struct function *fn)
1583 unsigned int i, len;
1585 len = vec_safe_length (SSANAMES (fn));
1586 streamer_write_uhwi (ob, len);
1588 for (i = 1; i < len; i++)
1590 tree ptr = (*SSANAMES (fn))[i];
1592 if (ptr == NULL_TREE
1593 || SSA_NAME_IN_FREE_LIST (ptr)
1594 || virtual_operand_p (ptr))
1595 continue;
1597 streamer_write_uhwi (ob, i);
1598 streamer_write_char_stream (ob->main_stream,
1599 SSA_NAME_IS_DEFAULT_DEF (ptr));
1600 if (SSA_NAME_VAR (ptr))
1601 stream_write_tree (ob, SSA_NAME_VAR (ptr), true);
1602 else
1603 /* ??? This drops SSA_NAME_IDENTIFIER on the floor. */
1604 stream_write_tree (ob, TREE_TYPE (ptr), true);
1607 streamer_write_zero (ob);
1611 /* Output a wide-int. */
1613 static void
1614 streamer_write_wi (struct output_block *ob,
1615 const widest_int &w)
1617 int len = w.get_len ();
1619 streamer_write_uhwi (ob, w.get_precision ());
1620 streamer_write_uhwi (ob, len);
1621 for (int i = 0; i < len; i++)
1622 streamer_write_hwi (ob, w.elt (i));
1626 /* Output the cfg. */
1628 static void
1629 output_cfg (struct output_block *ob, struct function *fn)
1631 struct lto_output_stream *tmp_stream = ob->main_stream;
1632 basic_block bb;
1634 ob->main_stream = ob->cfg_stream;
1636 streamer_write_enum (ob->main_stream, profile_status_d, PROFILE_LAST,
1637 profile_status_for_fn (fn));
1639 /* Output the number of the highest basic block. */
1640 streamer_write_uhwi (ob, last_basic_block_for_fn (fn));
1642 FOR_ALL_BB_FN (bb, fn)
1644 edge_iterator ei;
1645 edge e;
1647 streamer_write_hwi (ob, bb->index);
1649 /* Output the successors and the edge flags. */
1650 streamer_write_uhwi (ob, EDGE_COUNT (bb->succs));
1651 FOR_EACH_EDGE (e, ei, bb->succs)
1653 streamer_write_uhwi (ob, e->dest->index);
1654 streamer_write_hwi (ob, e->probability);
1655 streamer_write_gcov_count (ob, e->count);
1656 streamer_write_uhwi (ob, e->flags);
1660 streamer_write_hwi (ob, -1);
1662 bb = ENTRY_BLOCK_PTR_FOR_FN (cfun);
1663 while (bb->next_bb)
1665 streamer_write_hwi (ob, bb->next_bb->index);
1666 bb = bb->next_bb;
1669 streamer_write_hwi (ob, -1);
1671 /* ??? The cfgloop interface is tied to cfun. */
1672 gcc_assert (cfun == fn);
1674 /* Output the number of loops. */
1675 streamer_write_uhwi (ob, number_of_loops (fn));
1677 /* Output each loop, skipping the tree root which has number zero. */
1678 for (unsigned i = 1; i < number_of_loops (fn); ++i)
1680 struct loop *loop = get_loop (fn, i);
1682 /* Write the index of the loop header. That's enough to rebuild
1683 the loop tree on the reader side. Stream -1 for an unused
1684 loop entry. */
1685 if (!loop)
1687 streamer_write_hwi (ob, -1);
1688 continue;
1690 else
1691 streamer_write_hwi (ob, loop->header->index);
1693 /* Write everything copy_loop_info copies. */
1694 streamer_write_enum (ob->main_stream,
1695 loop_estimation, EST_LAST, loop->estimate_state);
1696 streamer_write_hwi (ob, loop->any_upper_bound);
1697 if (loop->any_upper_bound)
1698 streamer_write_wi (ob, loop->nb_iterations_upper_bound);
1699 streamer_write_hwi (ob, loop->any_estimate);
1700 if (loop->any_estimate)
1701 streamer_write_wi (ob, loop->nb_iterations_estimate);
1703 /* Write OMP SIMD related info. */
1704 streamer_write_hwi (ob, loop->safelen);
1705 streamer_write_hwi (ob, loop->dont_vectorize);
1706 streamer_write_hwi (ob, loop->force_vectorize);
1707 stream_write_tree (ob, loop->simduid, true);
1710 ob->main_stream = tmp_stream;
1714 /* Create the header in the file using OB. If the section type is for
1715 a function, set FN to the decl for that function. */
1717 void
1718 produce_asm (struct output_block *ob, tree fn)
1720 enum lto_section_type section_type = ob->section_type;
1721 struct lto_function_header header;
1722 char *section_name;
1723 struct lto_output_stream *header_stream;
1725 if (section_type == LTO_section_function_body)
1727 const char *name = IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (fn));
1728 section_name = lto_get_section_name (section_type, name, NULL);
1730 else
1731 section_name = lto_get_section_name (section_type, NULL, NULL);
1733 lto_begin_section (section_name, !flag_wpa);
1734 free (section_name);
1736 /* The entire header is stream computed here. */
1737 memset (&header, 0, sizeof (struct lto_function_header));
1739 /* Write the header. */
1740 header.lto_header.major_version = LTO_major_version;
1741 header.lto_header.minor_version = LTO_minor_version;
1743 header.compressed_size = 0;
1745 if (section_type == LTO_section_function_body)
1746 header.cfg_size = ob->cfg_stream->total_size;
1747 header.main_size = ob->main_stream->total_size;
1748 header.string_size = ob->string_stream->total_size;
1750 header_stream = XCNEW (struct lto_output_stream);
1751 lto_output_data_stream (header_stream, &header, sizeof header);
1752 lto_write_stream (header_stream);
1753 free (header_stream);
1755 /* Put all of the gimple and the string table out the asm file as a
1756 block of text. */
1757 if (section_type == LTO_section_function_body)
1758 lto_write_stream (ob->cfg_stream);
1759 lto_write_stream (ob->main_stream);
1760 lto_write_stream (ob->string_stream);
1762 lto_end_section ();
1766 /* Output the base body of struct function FN using output block OB. */
1768 static void
1769 output_struct_function_base (struct output_block *ob, struct function *fn)
1771 struct bitpack_d bp;
1772 unsigned i;
1773 tree t;
1775 /* Output the static chain and non-local goto save area. */
1776 stream_write_tree (ob, fn->static_chain_decl, true);
1777 stream_write_tree (ob, fn->nonlocal_goto_save_area, true);
1779 /* Output all the local variables in the function. */
1780 streamer_write_hwi (ob, vec_safe_length (fn->local_decls));
1781 FOR_EACH_VEC_SAFE_ELT (fn->local_decls, i, t)
1782 stream_write_tree (ob, t, true);
1784 /* Output current IL state of the function. */
1785 streamer_write_uhwi (ob, fn->curr_properties);
1787 /* Write all the attributes for FN. */
1788 bp = bitpack_create (ob->main_stream);
1789 bp_pack_value (&bp, fn->is_thunk, 1);
1790 bp_pack_value (&bp, fn->has_local_explicit_reg_vars, 1);
1791 bp_pack_value (&bp, fn->returns_pcc_struct, 1);
1792 bp_pack_value (&bp, fn->returns_struct, 1);
1793 bp_pack_value (&bp, fn->can_throw_non_call_exceptions, 1);
1794 bp_pack_value (&bp, fn->can_delete_dead_exceptions, 1);
1795 bp_pack_value (&bp, fn->always_inline_functions_inlined, 1);
1796 bp_pack_value (&bp, fn->after_inlining, 1);
1797 bp_pack_value (&bp, fn->stdarg, 1);
1798 bp_pack_value (&bp, fn->has_nonlocal_label, 1);
1799 bp_pack_value (&bp, fn->calls_alloca, 1);
1800 bp_pack_value (&bp, fn->calls_setjmp, 1);
1801 bp_pack_value (&bp, fn->has_force_vectorize_loops, 1);
1802 bp_pack_value (&bp, fn->has_simduid_loops, 1);
1803 bp_pack_value (&bp, fn->va_list_fpr_size, 8);
1804 bp_pack_value (&bp, fn->va_list_gpr_size, 8);
1806 /* Output the function start and end loci. */
1807 stream_output_location (ob, &bp, fn->function_start_locus);
1808 stream_output_location (ob, &bp, fn->function_end_locus);
1810 streamer_write_bitpack (&bp);
1814 /* Output the body of function NODE->DECL. */
1816 static void
1817 output_function (struct cgraph_node *node)
1819 tree function;
1820 struct function *fn;
1821 basic_block bb;
1822 struct output_block *ob;
1824 function = node->decl;
1825 fn = DECL_STRUCT_FUNCTION (function);
1826 ob = create_output_block (LTO_section_function_body);
1828 clear_line_info (ob);
1829 ob->cgraph_node = node;
1831 gcc_assert (current_function_decl == NULL_TREE && cfun == NULL);
1833 /* Set current_function_decl and cfun. */
1834 push_cfun (fn);
1836 /* Make string 0 be a NULL string. */
1837 streamer_write_char_stream (ob->string_stream, 0);
1839 streamer_write_record_start (ob, LTO_function);
1841 /* Output decls for parameters and args. */
1842 stream_write_tree (ob, DECL_RESULT (function), true);
1843 streamer_write_chain (ob, DECL_ARGUMENTS (function), true);
1845 /* Output DECL_INITIAL for the function, which contains the tree of
1846 lexical scopes. */
1847 stream_write_tree (ob, DECL_INITIAL (function), true);
1849 /* We also stream abstract functions where we stream only stuff needed for
1850 debug info. */
1851 if (gimple_has_body_p (function))
1853 streamer_write_uhwi (ob, 1);
1854 output_struct_function_base (ob, fn);
1856 /* Output all the SSA names used in the function. */
1857 output_ssa_names (ob, fn);
1859 /* Output any exception handling regions. */
1860 output_eh_regions (ob, fn);
1863 /* We will renumber the statements. The code that does this uses
1864 the same ordering that we use for serializing them so we can use
1865 the same code on the other end and not have to write out the
1866 statement numbers. We do not assign UIDs to PHIs here because
1867 virtual PHIs get re-computed on-the-fly which would make numbers
1868 inconsistent. */
1869 set_gimple_stmt_max_uid (cfun, 0);
1870 FOR_ALL_BB_FN (bb, cfun)
1872 gimple_stmt_iterator gsi;
1873 for (gsi = gsi_start_phis (bb); !gsi_end_p (gsi); gsi_next (&gsi))
1875 gimple stmt = gsi_stmt (gsi);
1877 /* Virtual PHIs are not going to be streamed. */
1878 if (!virtual_operand_p (gimple_phi_result (stmt)))
1879 gimple_set_uid (stmt, inc_gimple_stmt_max_uid (cfun));
1881 for (gsi = gsi_start_bb (bb); !gsi_end_p (gsi); gsi_next (&gsi))
1883 gimple stmt = gsi_stmt (gsi);
1884 gimple_set_uid (stmt, inc_gimple_stmt_max_uid (cfun));
1887 /* To avoid keeping duplicate gimple IDs in the statements, renumber
1888 virtual phis now. */
1889 FOR_ALL_BB_FN (bb, cfun)
1891 gimple_stmt_iterator gsi;
1892 for (gsi = gsi_start_phis (bb); !gsi_end_p (gsi); gsi_next (&gsi))
1894 gimple stmt = gsi_stmt (gsi);
1895 if (virtual_operand_p (gimple_phi_result (stmt)))
1896 gimple_set_uid (stmt, inc_gimple_stmt_max_uid (cfun));
1900 /* Output the code for the function. */
1901 FOR_ALL_BB_FN (bb, fn)
1902 output_bb (ob, bb, fn);
1904 /* The terminator for this function. */
1905 streamer_write_record_start (ob, LTO_null);
1907 output_cfg (ob, fn);
1909 pop_cfun ();
1911 else
1912 streamer_write_uhwi (ob, 0);
1914 /* Create a section to hold the pickled output of this function. */
1915 produce_asm (ob, function);
1917 destroy_output_block (ob);
1921 /* Emit toplevel asms. */
1923 void
1924 lto_output_toplevel_asms (void)
1926 struct output_block *ob;
1927 struct asm_node *can;
1928 char *section_name;
1929 struct lto_output_stream *header_stream;
1930 struct lto_asm_header header;
1932 if (! asm_nodes)
1933 return;
1935 ob = create_output_block (LTO_section_asm);
1937 /* Make string 0 be a NULL string. */
1938 streamer_write_char_stream (ob->string_stream, 0);
1940 for (can = asm_nodes; can; can = can->next)
1942 streamer_write_string_cst (ob, ob->main_stream, can->asm_str);
1943 streamer_write_hwi (ob, can->order);
1946 streamer_write_string_cst (ob, ob->main_stream, NULL_TREE);
1948 section_name = lto_get_section_name (LTO_section_asm, NULL, NULL);
1949 lto_begin_section (section_name, !flag_wpa);
1950 free (section_name);
1952 /* The entire header stream is computed here. */
1953 memset (&header, 0, sizeof (header));
1955 /* Write the header. */
1956 header.lto_header.major_version = LTO_major_version;
1957 header.lto_header.minor_version = LTO_minor_version;
1959 header.main_size = ob->main_stream->total_size;
1960 header.string_size = ob->string_stream->total_size;
1962 header_stream = XCNEW (struct lto_output_stream);
1963 lto_output_data_stream (header_stream, &header, sizeof (header));
1964 lto_write_stream (header_stream);
1965 free (header_stream);
1967 /* Put all of the gimple and the string table out the asm file as a
1968 block of text. */
1969 lto_write_stream (ob->main_stream);
1970 lto_write_stream (ob->string_stream);
1972 lto_end_section ();
1974 destroy_output_block (ob);
1978 /* Copy the function body of NODE without deserializing. */
1980 static void
1981 copy_function (struct cgraph_node *node)
1983 tree function = node->decl;
1984 struct lto_file_decl_data *file_data = node->lto_file_data;
1985 struct lto_output_stream *output_stream = XCNEW (struct lto_output_stream);
1986 const char *data;
1987 size_t len;
1988 const char *name = IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (function));
1989 char *section_name =
1990 lto_get_section_name (LTO_section_function_body, name, NULL);
1991 size_t i, j;
1992 struct lto_in_decl_state *in_state;
1993 struct lto_out_decl_state *out_state = lto_get_out_decl_state ();
1995 lto_begin_section (section_name, !flag_wpa);
1996 free (section_name);
1998 /* We may have renamed the declaration, e.g., a static function. */
1999 name = lto_get_decl_name_mapping (file_data, name);
2001 data = lto_get_section_data (file_data, LTO_section_function_body,
2002 name, &len);
2003 gcc_assert (data);
2005 /* Do a bit copy of the function body. */
2006 lto_output_data_stream (output_stream, data, len);
2007 lto_write_stream (output_stream);
2009 /* Copy decls. */
2010 in_state =
2011 lto_get_function_in_decl_state (node->lto_file_data, function);
2012 gcc_assert (in_state);
2014 for (i = 0; i < LTO_N_DECL_STREAMS; i++)
2016 size_t n = in_state->streams[i].size;
2017 tree *trees = in_state->streams[i].trees;
2018 struct lto_tree_ref_encoder *encoder = &(out_state->streams[i]);
2020 /* The out state must have the same indices and the in state.
2021 So just copy the vector. All the encoders in the in state
2022 must be empty where we reach here. */
2023 gcc_assert (lto_tree_ref_encoder_size (encoder) == 0);
2024 encoder->trees.reserve_exact (n);
2025 for (j = 0; j < n; j++)
2026 encoder->trees.safe_push (trees[j]);
2029 lto_free_section_data (file_data, LTO_section_function_body, name,
2030 data, len);
2031 free (output_stream);
2032 lto_end_section ();
2035 /* Wrap symbol references in *TP inside a type-preserving MEM_REF. */
2037 static tree
2038 wrap_refs (tree *tp, int *ws, void *)
2040 tree t = *tp;
2041 if (handled_component_p (t)
2042 && TREE_CODE (TREE_OPERAND (t, 0)) == VAR_DECL)
2044 tree decl = TREE_OPERAND (t, 0);
2045 tree ptrtype = build_pointer_type (TREE_TYPE (decl));
2046 TREE_OPERAND (t, 0) = build2 (MEM_REF, TREE_TYPE (decl),
2047 build1 (ADDR_EXPR, ptrtype, decl),
2048 build_int_cst (ptrtype, 0));
2049 TREE_THIS_VOLATILE (TREE_OPERAND (t, 0)) = TREE_THIS_VOLATILE (decl);
2050 *ws = 0;
2052 else if (TREE_CODE (t) == CONSTRUCTOR)
2054 else if (!EXPR_P (t))
2055 *ws = 0;
2056 return NULL_TREE;
2059 /* Main entry point from the pass manager. */
2061 void
2062 lto_output (void)
2064 struct lto_out_decl_state *decl_state;
2065 #ifdef ENABLE_CHECKING
2066 bitmap output = lto_bitmap_alloc ();
2067 #endif
2068 int i, n_nodes;
2069 lto_symtab_encoder_t encoder = lto_get_out_decl_state ()->symtab_node_encoder;
2071 /* Initialize the streamer. */
2072 lto_streamer_init ();
2074 n_nodes = lto_symtab_encoder_size (encoder);
2075 /* Process only the functions with bodies. */
2076 for (i = 0; i < n_nodes; i++)
2078 symtab_node *snode = lto_symtab_encoder_deref (encoder, i);
2079 if (cgraph_node *node = dyn_cast <cgraph_node *> (snode))
2081 if (lto_symtab_encoder_encode_body_p (encoder, node)
2082 && !node->alias)
2084 #ifdef ENABLE_CHECKING
2085 gcc_assert (!bitmap_bit_p (output, DECL_UID (node->decl)));
2086 bitmap_set_bit (output, DECL_UID (node->decl));
2087 #endif
2088 decl_state = lto_new_out_decl_state ();
2089 lto_push_out_decl_state (decl_state);
2090 if (gimple_has_body_p (node->decl) || !flag_wpa)
2091 output_function (node);
2092 else
2093 copy_function (node);
2094 gcc_assert (lto_get_out_decl_state () == decl_state);
2095 lto_pop_out_decl_state ();
2096 lto_record_function_out_decl_state (node->decl, decl_state);
2099 else if (varpool_node *node = dyn_cast <varpool_node *> (snode))
2101 /* Wrap symbol references inside the ctor in a type
2102 preserving MEM_REF. */
2103 tree ctor = DECL_INITIAL (node->decl);
2104 if (ctor && !in_lto_p)
2105 walk_tree (&ctor, wrap_refs, NULL, NULL);
2109 /* Emit the callgraph after emitting function bodies. This needs to
2110 be done now to make sure that all the statements in every function
2111 have been renumbered so that edges can be associated with call
2112 statements using the statement UIDs. */
2113 output_symtab ();
2115 #ifdef ENABLE_CHECKING
2116 lto_bitmap_free (output);
2117 #endif
2120 /* Write each node in encoded by ENCODER to OB, as well as those reachable
2121 from it and required for correct representation of its semantics.
2122 Each node in ENCODER must be a global declaration or a type. A node
2123 is written only once, even if it appears multiple times in the
2124 vector. Certain transitively-reachable nodes, such as those
2125 representing expressions, may be duplicated, but such nodes
2126 must not appear in ENCODER itself. */
2128 static void
2129 write_global_stream (struct output_block *ob,
2130 struct lto_tree_ref_encoder *encoder)
2132 tree t;
2133 size_t index;
2134 const size_t size = lto_tree_ref_encoder_size (encoder);
2136 for (index = 0; index < size; index++)
2138 t = lto_tree_ref_encoder_get_tree (encoder, index);
2139 if (!streamer_tree_cache_lookup (ob->writer_cache, t, NULL))
2140 stream_write_tree (ob, t, false);
2145 /* Write a sequence of indices into the globals vector corresponding
2146 to the trees in ENCODER. These are used by the reader to map the
2147 indices used to refer to global entities within function bodies to
2148 their referents. */
2150 static void
2151 write_global_references (struct output_block *ob,
2152 struct lto_output_stream *ref_stream,
2153 struct lto_tree_ref_encoder *encoder)
2155 tree t;
2156 uint32_t index;
2157 const uint32_t size = lto_tree_ref_encoder_size (encoder);
2159 /* Write size as 32-bit unsigned. */
2160 lto_output_data_stream (ref_stream, &size, sizeof (int32_t));
2162 for (index = 0; index < size; index++)
2164 uint32_t slot_num;
2166 t = lto_tree_ref_encoder_get_tree (encoder, index);
2167 streamer_tree_cache_lookup (ob->writer_cache, t, &slot_num);
2168 gcc_assert (slot_num != (unsigned)-1);
2169 lto_output_data_stream (ref_stream, &slot_num, sizeof slot_num);
2174 /* Write all the streams in an lto_out_decl_state STATE using
2175 output block OB and output stream OUT_STREAM. */
2177 void
2178 lto_output_decl_state_streams (struct output_block *ob,
2179 struct lto_out_decl_state *state)
2181 int i;
2183 for (i = 0; i < LTO_N_DECL_STREAMS; i++)
2184 write_global_stream (ob, &state->streams[i]);
2188 /* Write all the references in an lto_out_decl_state STATE using
2189 output block OB and output stream OUT_STREAM. */
2191 void
2192 lto_output_decl_state_refs (struct output_block *ob,
2193 struct lto_output_stream *out_stream,
2194 struct lto_out_decl_state *state)
2196 unsigned i;
2197 uint32_t ref;
2198 tree decl;
2200 /* Write reference to FUNCTION_DECL. If there is not function,
2201 write reference to void_type_node. */
2202 decl = (state->fn_decl) ? state->fn_decl : void_type_node;
2203 streamer_tree_cache_lookup (ob->writer_cache, decl, &ref);
2204 gcc_assert (ref != (unsigned)-1);
2205 lto_output_data_stream (out_stream, &ref, sizeof (uint32_t));
2207 for (i = 0; i < LTO_N_DECL_STREAMS; i++)
2208 write_global_references (ob, out_stream, &state->streams[i]);
2212 /* Return the written size of STATE. */
2214 static size_t
2215 lto_out_decl_state_written_size (struct lto_out_decl_state *state)
2217 int i;
2218 size_t size;
2220 size = sizeof (int32_t); /* fn_ref. */
2221 for (i = 0; i < LTO_N_DECL_STREAMS; i++)
2223 size += sizeof (int32_t); /* vector size. */
2224 size += (lto_tree_ref_encoder_size (&state->streams[i])
2225 * sizeof (int32_t));
2227 return size;
2231 /* Write symbol T into STREAM in CACHE. SEEN specifies symbols we wrote
2232 so far. */
2234 static void
2235 write_symbol (struct streamer_tree_cache_d *cache,
2236 struct lto_output_stream *stream,
2237 tree t, struct pointer_set_t *seen, bool alias)
2239 const char *name;
2240 enum gcc_plugin_symbol_kind kind;
2241 enum gcc_plugin_symbol_visibility visibility;
2242 unsigned slot_num;
2243 uint64_t size;
2244 const char *comdat;
2245 unsigned char c;
2247 /* None of the following kinds of symbols are needed in the
2248 symbol table. */
2249 if (!TREE_PUBLIC (t)
2250 || is_builtin_fn (t)
2251 || DECL_ABSTRACT (t)
2252 || (TREE_CODE (t) == VAR_DECL && DECL_HARD_REGISTER (t)))
2253 return;
2254 gcc_assert (TREE_CODE (t) != RESULT_DECL);
2256 gcc_assert (TREE_CODE (t) == VAR_DECL
2257 || TREE_CODE (t) == FUNCTION_DECL);
2259 name = IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (t));
2261 /* This behaves like assemble_name_raw in varasm.c, performing the
2262 same name manipulations that ASM_OUTPUT_LABELREF does. */
2263 name = IDENTIFIER_POINTER ((*targetm.asm_out.mangle_assembler_name) (name));
2265 if (pointer_set_contains (seen, name))
2266 return;
2267 pointer_set_insert (seen, name);
2269 streamer_tree_cache_lookup (cache, t, &slot_num);
2270 gcc_assert (slot_num != (unsigned)-1);
2272 if (DECL_EXTERNAL (t))
2274 if (DECL_WEAK (t))
2275 kind = GCCPK_WEAKUNDEF;
2276 else
2277 kind = GCCPK_UNDEF;
2279 else
2281 if (DECL_WEAK (t))
2282 kind = GCCPK_WEAKDEF;
2283 else if (DECL_COMMON (t))
2284 kind = GCCPK_COMMON;
2285 else
2286 kind = GCCPK_DEF;
2288 /* When something is defined, it should have node attached. */
2289 gcc_assert (alias || TREE_CODE (t) != VAR_DECL
2290 || varpool_get_node (t)->definition);
2291 gcc_assert (alias || TREE_CODE (t) != FUNCTION_DECL
2292 || (cgraph_get_node (t)
2293 && cgraph_get_node (t)->definition));
2296 /* Imitate what default_elf_asm_output_external do.
2297 When symbol is external, we need to output it with DEFAULT visibility
2298 when compiling with -fvisibility=default, while with HIDDEN visibility
2299 when symbol has attribute (visibility("hidden")) specified.
2300 targetm.binds_local_p check DECL_VISIBILITY_SPECIFIED and gets this
2301 right. */
2303 if (DECL_EXTERNAL (t)
2304 && !targetm.binds_local_p (t))
2305 visibility = GCCPV_DEFAULT;
2306 else
2307 switch (DECL_VISIBILITY (t))
2309 case VISIBILITY_DEFAULT:
2310 visibility = GCCPV_DEFAULT;
2311 break;
2312 case VISIBILITY_PROTECTED:
2313 visibility = GCCPV_PROTECTED;
2314 break;
2315 case VISIBILITY_HIDDEN:
2316 visibility = GCCPV_HIDDEN;
2317 break;
2318 case VISIBILITY_INTERNAL:
2319 visibility = GCCPV_INTERNAL;
2320 break;
2323 if (kind == GCCPK_COMMON
2324 && DECL_SIZE_UNIT (t)
2325 && TREE_CODE (DECL_SIZE_UNIT (t)) == INTEGER_CST)
2326 size = TREE_INT_CST_LOW (DECL_SIZE_UNIT (t));
2327 else
2328 size = 0;
2330 if (DECL_ONE_ONLY (t))
2331 comdat = IDENTIFIER_POINTER (decl_comdat_group_id (t));
2332 else
2333 comdat = "";
2335 lto_output_data_stream (stream, name, strlen (name) + 1);
2336 lto_output_data_stream (stream, comdat, strlen (comdat) + 1);
2337 c = (unsigned char) kind;
2338 lto_output_data_stream (stream, &c, 1);
2339 c = (unsigned char) visibility;
2340 lto_output_data_stream (stream, &c, 1);
2341 lto_output_data_stream (stream, &size, 8);
2342 lto_output_data_stream (stream, &slot_num, 4);
2345 /* Return true if NODE should appear in the plugin symbol table. */
2347 bool
2348 output_symbol_p (symtab_node *node)
2350 struct cgraph_node *cnode;
2351 if (!symtab_real_symbol_p (node))
2352 return false;
2353 /* We keep external functions in symtab for sake of inlining
2354 and devirtualization. We do not want to see them in symbol table as
2355 references unless they are really used. */
2356 cnode = dyn_cast <cgraph_node *> (node);
2357 if (cnode && (!node->definition || DECL_EXTERNAL (cnode->decl))
2358 && cnode->callers)
2359 return true;
2361 /* Ignore all references from external vars initializers - they are not really
2362 part of the compilation unit until they are used by folding. Some symbols,
2363 like references to external construction vtables can not be referred to at all.
2364 We decide this at can_refer_decl_in_current_unit_p. */
2365 if (!node->definition || DECL_EXTERNAL (node->decl))
2367 int i;
2368 struct ipa_ref *ref;
2369 for (i = 0; ipa_ref_list_referring_iterate (&node->ref_list,
2370 i, ref); i++)
2372 if (ref->use == IPA_REF_ALIAS)
2373 continue;
2374 if (is_a <cgraph_node *> (ref->referring))
2375 return true;
2376 if (!DECL_EXTERNAL (ref->referring->decl))
2377 return true;
2379 return false;
2381 return true;
2385 /* Write an IL symbol table to OB.
2386 SET and VSET are cgraph/varpool node sets we are outputting. */
2388 static void
2389 produce_symtab (struct output_block *ob)
2391 struct streamer_tree_cache_d *cache = ob->writer_cache;
2392 char *section_name = lto_get_section_name (LTO_section_symtab, NULL, NULL);
2393 struct pointer_set_t *seen;
2394 struct lto_output_stream stream;
2395 lto_symtab_encoder_t encoder = ob->decl_state->symtab_node_encoder;
2396 lto_symtab_encoder_iterator lsei;
2398 lto_begin_section (section_name, false);
2399 free (section_name);
2401 seen = pointer_set_create ();
2402 memset (&stream, 0, sizeof (stream));
2404 /* Write the symbol table.
2405 First write everything defined and then all declarations.
2406 This is necessary to handle cases where we have duplicated symbols. */
2407 for (lsei = lsei_start (encoder);
2408 !lsei_end_p (lsei); lsei_next (&lsei))
2410 symtab_node *node = lsei_node (lsei);
2412 if (!output_symbol_p (node) || DECL_EXTERNAL (node->decl))
2413 continue;
2414 write_symbol (cache, &stream, node->decl, seen, false);
2416 for (lsei = lsei_start (encoder);
2417 !lsei_end_p (lsei); lsei_next (&lsei))
2419 symtab_node *node = lsei_node (lsei);
2421 if (!output_symbol_p (node) || !DECL_EXTERNAL (node->decl))
2422 continue;
2423 write_symbol (cache, &stream, node->decl, seen, false);
2426 lto_write_stream (&stream);
2427 pointer_set_destroy (seen);
2429 lto_end_section ();
2433 /* This pass is run after all of the functions are serialized and all
2434 of the IPA passes have written their serialized forms. This pass
2435 causes the vector of all of the global decls and types used from
2436 this file to be written in to a section that can then be read in to
2437 recover these on other side. */
2439 void
2440 produce_asm_for_decls (void)
2442 struct lto_out_decl_state *out_state;
2443 struct lto_out_decl_state *fn_out_state;
2444 struct lto_decl_header header;
2445 char *section_name;
2446 struct output_block *ob;
2447 struct lto_output_stream *header_stream, *decl_state_stream;
2448 unsigned idx, num_fns;
2449 size_t decl_state_size;
2450 int32_t num_decl_states;
2452 ob = create_output_block (LTO_section_decls);
2453 ob->global = true;
2455 memset (&header, 0, sizeof (struct lto_decl_header));
2457 section_name = lto_get_section_name (LTO_section_decls, NULL, NULL);
2458 lto_begin_section (section_name, !flag_wpa);
2459 free (section_name);
2461 /* Make string 0 be a NULL string. */
2462 streamer_write_char_stream (ob->string_stream, 0);
2464 gcc_assert (!alias_pairs);
2466 /* Get rid of the global decl state hash tables to save some memory. */
2467 out_state = lto_get_out_decl_state ();
2468 for (int i = 0; i < LTO_N_DECL_STREAMS; i++)
2469 if (out_state->streams[i].tree_hash_table)
2471 delete out_state->streams[i].tree_hash_table;
2472 out_state->streams[i].tree_hash_table = NULL;
2475 /* Write the global symbols. */
2476 lto_output_decl_state_streams (ob, out_state);
2477 num_fns = lto_function_decl_states.length ();
2478 for (idx = 0; idx < num_fns; idx++)
2480 fn_out_state =
2481 lto_function_decl_states[idx];
2482 lto_output_decl_state_streams (ob, fn_out_state);
2485 header.lto_header.major_version = LTO_major_version;
2486 header.lto_header.minor_version = LTO_minor_version;
2488 /* Currently not used. This field would allow us to preallocate
2489 the globals vector, so that it need not be resized as it is extended. */
2490 header.num_nodes = -1;
2492 /* Compute the total size of all decl out states. */
2493 decl_state_size = sizeof (int32_t);
2494 decl_state_size += lto_out_decl_state_written_size (out_state);
2495 for (idx = 0; idx < num_fns; idx++)
2497 fn_out_state =
2498 lto_function_decl_states[idx];
2499 decl_state_size += lto_out_decl_state_written_size (fn_out_state);
2501 header.decl_state_size = decl_state_size;
2503 header.main_size = ob->main_stream->total_size;
2504 header.string_size = ob->string_stream->total_size;
2506 header_stream = XCNEW (struct lto_output_stream);
2507 lto_output_data_stream (header_stream, &header, sizeof header);
2508 lto_write_stream (header_stream);
2509 free (header_stream);
2511 /* Write the main out-decl state, followed by out-decl states of
2512 functions. */
2513 decl_state_stream = XCNEW (struct lto_output_stream);
2514 num_decl_states = num_fns + 1;
2515 lto_output_data_stream (decl_state_stream, &num_decl_states,
2516 sizeof (num_decl_states));
2517 lto_output_decl_state_refs (ob, decl_state_stream, out_state);
2518 for (idx = 0; idx < num_fns; idx++)
2520 fn_out_state =
2521 lto_function_decl_states[idx];
2522 lto_output_decl_state_refs (ob, decl_state_stream, fn_out_state);
2524 lto_write_stream (decl_state_stream);
2525 free (decl_state_stream);
2527 lto_write_stream (ob->main_stream);
2528 lto_write_stream (ob->string_stream);
2530 lto_end_section ();
2532 /* Write the symbol table. It is used by linker to determine dependencies
2533 and thus we can skip it for WPA. */
2534 if (!flag_wpa)
2535 produce_symtab (ob);
2537 /* Write command line opts. */
2538 lto_write_options ();
2540 /* Deallocate memory and clean up. */
2541 for (idx = 0; idx < num_fns; idx++)
2543 fn_out_state =
2544 lto_function_decl_states[idx];
2545 lto_delete_out_decl_state (fn_out_state);
2547 lto_symtab_encoder_delete (ob->decl_state->symtab_node_encoder);
2548 lto_function_decl_states.release ();
2549 destroy_output_block (ob);