PR target/69810
[official-gcc.git] / gcc / lto-streamer-out.c
blob997a28b01598c681b0c5e1cb4513f664c2084e94
1 /* Write the GIMPLE representation to a file stream.
3 Copyright (C) 2009-2016 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 "backend.h"
27 #include "target.h"
28 #include "rtl.h"
29 #include "tree.h"
30 #include "gimple.h"
31 #include "tree-pass.h"
32 #include "ssa.h"
33 #include "gimple-streamer.h"
34 #include "alias.h"
35 #include "stor-layout.h"
36 #include "gimple-iterator.h"
37 #include "except.h"
38 #include "lto-symtab.h"
39 #include "cgraph.h"
40 #include "cfgloop.h"
41 #include "builtins.h"
42 #include "gomp-constants.h"
45 static void lto_write_tree (struct output_block*, tree, bool);
47 /* Clear the line info stored in DATA_IN. */
49 static void
50 clear_line_info (struct output_block *ob)
52 ob->current_file = NULL;
53 ob->current_line = 0;
54 ob->current_col = 0;
55 ob->current_sysp = false;
59 /* Create the output block and return it. SECTION_TYPE is
60 LTO_section_function_body or LTO_static_initializer. */
62 struct output_block *
63 create_output_block (enum lto_section_type section_type)
65 struct output_block *ob = XCNEW (struct output_block);
67 ob->section_type = section_type;
68 ob->decl_state = lto_get_out_decl_state ();
69 ob->main_stream = XCNEW (struct lto_output_stream);
70 ob->string_stream = XCNEW (struct lto_output_stream);
71 ob->writer_cache = streamer_tree_cache_create (!flag_wpa, true, false);
73 if (section_type == LTO_section_function_body)
74 ob->cfg_stream = XCNEW (struct lto_output_stream);
76 clear_line_info (ob);
78 ob->string_hash_table = new hash_table<string_slot_hasher> (37);
79 gcc_obstack_init (&ob->obstack);
81 return ob;
85 /* Destroy the output block OB. */
87 void
88 destroy_output_block (struct output_block *ob)
90 enum lto_section_type section_type = ob->section_type;
92 delete ob->string_hash_table;
93 ob->string_hash_table = NULL;
95 free (ob->main_stream);
96 free (ob->string_stream);
97 if (section_type == LTO_section_function_body)
98 free (ob->cfg_stream);
100 streamer_tree_cache_delete (ob->writer_cache);
101 obstack_free (&ob->obstack, NULL);
103 free (ob);
107 /* Look up NODE in the type table and write the index for it to OB. */
109 static void
110 output_type_ref (struct output_block *ob, tree node)
112 streamer_write_record_start (ob, LTO_type_ref);
113 lto_output_type_ref_index (ob->decl_state, ob->main_stream, node);
117 /* Return true if tree node T is written to various tables. For these
118 nodes, we sometimes want to write their phyiscal representation
119 (via lto_output_tree), and sometimes we need to emit an index
120 reference into a table (via lto_output_tree_ref). */
122 static bool
123 tree_is_indexable (tree t)
125 /* Parameters and return values of functions of variably modified types
126 must go to global stream, because they may be used in the type
127 definition. */
128 if ((TREE_CODE (t) == PARM_DECL || TREE_CODE (t) == RESULT_DECL)
129 && DECL_CONTEXT (t))
130 return variably_modified_type_p (TREE_TYPE (DECL_CONTEXT (t)), NULL_TREE);
131 /* IMPORTED_DECL is put into BLOCK and thus it never can be shared. */
132 else if (TREE_CODE (t) == IMPORTED_DECL)
133 return false;
134 else if (((TREE_CODE (t) == VAR_DECL && !TREE_STATIC (t))
135 || TREE_CODE (t) == TYPE_DECL
136 || TREE_CODE (t) == CONST_DECL
137 || TREE_CODE (t) == NAMELIST_DECL)
138 && decl_function_context (t))
139 return false;
140 else if (TREE_CODE (t) == DEBUG_EXPR_DECL)
141 return false;
142 /* Variably modified types need to be streamed alongside function
143 bodies because they can refer to local entities. Together with
144 them we have to localize their members as well.
145 ??? In theory that includes non-FIELD_DECLs as well. */
146 else if (TYPE_P (t)
147 && variably_modified_type_p (t, NULL_TREE))
148 return false;
149 else if (TREE_CODE (t) == FIELD_DECL
150 && variably_modified_type_p (DECL_CONTEXT (t), NULL_TREE))
151 return false;
152 else
153 return (TYPE_P (t) || DECL_P (t) || TREE_CODE (t) == SSA_NAME);
157 /* Output info about new location into bitpack BP.
158 After outputting bitpack, lto_output_location_data has
159 to be done to output actual data. */
161 void
162 lto_output_location (struct output_block *ob, struct bitpack_d *bp,
163 location_t loc)
165 expanded_location xloc;
167 loc = LOCATION_LOCUS (loc);
168 bp_pack_int_in_range (bp, 0, RESERVED_LOCATION_COUNT,
169 loc < RESERVED_LOCATION_COUNT
170 ? loc : RESERVED_LOCATION_COUNT);
171 if (loc < RESERVED_LOCATION_COUNT)
172 return;
174 xloc = expand_location (loc);
176 bp_pack_value (bp, ob->current_file != xloc.file, 1);
177 bp_pack_value (bp, ob->current_line != xloc.line, 1);
178 bp_pack_value (bp, ob->current_col != xloc.column, 1);
180 if (ob->current_file != xloc.file)
182 bp_pack_string (ob, bp, xloc.file, true);
183 bp_pack_value (bp, xloc.sysp, 1);
185 ob->current_file = xloc.file;
186 ob->current_sysp = xloc.sysp;
188 if (ob->current_line != xloc.line)
189 bp_pack_var_len_unsigned (bp, xloc.line);
190 ob->current_line = xloc.line;
192 if (ob->current_col != xloc.column)
193 bp_pack_var_len_unsigned (bp, xloc.column);
194 ob->current_col = xloc.column;
198 /* If EXPR is an indexable tree node, output a reference to it to
199 output block OB. Otherwise, output the physical representation of
200 EXPR to OB. */
202 static void
203 lto_output_tree_ref (struct output_block *ob, tree expr)
205 enum tree_code code;
207 if (TYPE_P (expr))
209 output_type_ref (ob, expr);
210 return;
213 code = TREE_CODE (expr);
214 switch (code)
216 case SSA_NAME:
217 streamer_write_record_start (ob, LTO_ssa_name_ref);
218 streamer_write_uhwi (ob, SSA_NAME_VERSION (expr));
219 break;
221 case FIELD_DECL:
222 streamer_write_record_start (ob, LTO_field_decl_ref);
223 lto_output_field_decl_index (ob->decl_state, ob->main_stream, expr);
224 break;
226 case FUNCTION_DECL:
227 streamer_write_record_start (ob, LTO_function_decl_ref);
228 lto_output_fn_decl_index (ob->decl_state, ob->main_stream, expr);
229 break;
231 case VAR_DECL:
232 case DEBUG_EXPR_DECL:
233 gcc_assert (decl_function_context (expr) == NULL || TREE_STATIC (expr));
234 case PARM_DECL:
235 streamer_write_record_start (ob, LTO_global_decl_ref);
236 lto_output_var_decl_index (ob->decl_state, ob->main_stream, expr);
237 break;
239 case CONST_DECL:
240 streamer_write_record_start (ob, LTO_const_decl_ref);
241 lto_output_var_decl_index (ob->decl_state, ob->main_stream, expr);
242 break;
244 case IMPORTED_DECL:
245 gcc_assert (decl_function_context (expr) == NULL);
246 streamer_write_record_start (ob, LTO_imported_decl_ref);
247 lto_output_var_decl_index (ob->decl_state, ob->main_stream, expr);
248 break;
250 case TYPE_DECL:
251 streamer_write_record_start (ob, LTO_type_decl_ref);
252 lto_output_type_decl_index (ob->decl_state, ob->main_stream, expr);
253 break;
255 case NAMELIST_DECL:
256 streamer_write_record_start (ob, LTO_namelist_decl_ref);
257 lto_output_var_decl_index (ob->decl_state, ob->main_stream, expr);
258 break;
260 case NAMESPACE_DECL:
261 streamer_write_record_start (ob, LTO_namespace_decl_ref);
262 lto_output_namespace_decl_index (ob->decl_state, ob->main_stream, expr);
263 break;
265 case LABEL_DECL:
266 streamer_write_record_start (ob, LTO_label_decl_ref);
267 lto_output_var_decl_index (ob->decl_state, ob->main_stream, expr);
268 break;
270 case RESULT_DECL:
271 streamer_write_record_start (ob, LTO_result_decl_ref);
272 lto_output_var_decl_index (ob->decl_state, ob->main_stream, expr);
273 break;
275 case TRANSLATION_UNIT_DECL:
276 streamer_write_record_start (ob, LTO_translation_unit_decl_ref);
277 lto_output_var_decl_index (ob->decl_state, ob->main_stream, expr);
278 break;
280 default:
281 /* No other node is indexable, so it should have been handled by
282 lto_output_tree. */
283 gcc_unreachable ();
288 /* Return true if EXPR is a tree node that can be written to disk. */
290 static inline bool
291 lto_is_streamable (tree expr)
293 enum tree_code code = TREE_CODE (expr);
295 /* Notice that we reject SSA_NAMEs as well. We only emit the SSA
296 name version in lto_output_tree_ref (see output_ssa_names). */
297 return !is_lang_specific (expr)
298 && code != SSA_NAME
299 && code != CALL_EXPR
300 && code != LANG_TYPE
301 && code != MODIFY_EXPR
302 && code != INIT_EXPR
303 && code != TARGET_EXPR
304 && code != BIND_EXPR
305 && code != WITH_CLEANUP_EXPR
306 && code != STATEMENT_LIST
307 && (code == CASE_LABEL_EXPR
308 || code == DECL_EXPR
309 || TREE_CODE_CLASS (code) != tcc_statement);
312 /* Very rough estimate of streaming size of the initializer. If we ignored
313 presence of strings, we could simply just count number of non-indexable
314 tree nodes and number of references to indexable nodes. Strings however
315 may be very large and we do not want to dump them int othe global stream.
317 Count the size of initializer until the size in DATA is positive. */
319 static tree
320 subtract_estimated_size (tree *tp, int *ws, void *data)
322 long *sum = (long *)data;
323 if (tree_is_indexable (*tp))
325 /* Indexable tree is one reference to global stream.
326 Guess it may be about 4 bytes. */
327 *sum -= 4;
328 *ws = 0;
330 /* String table entry + base of tree node needs to be streamed. */
331 if (TREE_CODE (*tp) == STRING_CST)
332 *sum -= TREE_STRING_LENGTH (*tp) + 8;
333 else
335 /* Identifiers are also variable length but should not appear
336 naked in constructor. */
337 gcc_checking_assert (TREE_CODE (*tp) != IDENTIFIER_NODE);
338 /* We do not really make attempt to work out size of pickled tree, as
339 it is very variable. Make it bigger than the reference. */
340 *sum -= 16;
342 if (*sum < 0)
343 return *tp;
344 return NULL_TREE;
348 /* For EXPR lookup and return what we want to stream to OB as DECL_INITIAL. */
350 static tree
351 get_symbol_initial_value (lto_symtab_encoder_t encoder, tree expr)
353 gcc_checking_assert (DECL_P (expr)
354 && TREE_CODE (expr) != FUNCTION_DECL
355 && TREE_CODE (expr) != TRANSLATION_UNIT_DECL);
357 /* Handle DECL_INITIAL for symbols. */
358 tree initial = DECL_INITIAL (expr);
359 if (TREE_CODE (expr) == VAR_DECL
360 && (TREE_STATIC (expr) || DECL_EXTERNAL (expr))
361 && !DECL_IN_CONSTANT_POOL (expr)
362 && initial)
364 varpool_node *vnode;
365 /* Extra section needs about 30 bytes; do not produce it for simple
366 scalar values. */
367 if (!(vnode = varpool_node::get (expr))
368 || !lto_symtab_encoder_encode_initializer_p (encoder, vnode))
369 initial = error_mark_node;
370 if (initial != error_mark_node)
372 long max_size = 30;
373 if (walk_tree (&initial, subtract_estimated_size, (void *)&max_size,
374 NULL))
375 initial = error_mark_node;
379 return initial;
383 /* Write a physical representation of tree node EXPR to output block
384 OB. If REF_P is true, the leaves of EXPR are emitted as references
385 via lto_output_tree_ref. IX is the index into the streamer cache
386 where EXPR is stored. */
388 static void
389 lto_write_tree_1 (struct output_block *ob, tree expr, bool ref_p)
391 /* Pack all the non-pointer fields in EXPR into a bitpack and write
392 the resulting bitpack. */
393 streamer_write_tree_bitfields (ob, expr);
395 /* Write all the pointer fields in EXPR. */
396 streamer_write_tree_body (ob, expr, ref_p);
398 /* Write any LTO-specific data to OB. */
399 if (DECL_P (expr)
400 && TREE_CODE (expr) != FUNCTION_DECL
401 && TREE_CODE (expr) != TRANSLATION_UNIT_DECL)
403 /* Handle DECL_INITIAL for symbols. */
404 tree initial = get_symbol_initial_value
405 (ob->decl_state->symtab_node_encoder, expr);
406 stream_write_tree (ob, initial, ref_p);
410 /* Write a physical representation of tree node EXPR to output block
411 OB. If REF_P is true, the leaves of EXPR are emitted as references
412 via lto_output_tree_ref. IX is the index into the streamer cache
413 where EXPR is stored. */
415 static void
416 lto_write_tree (struct output_block *ob, tree expr, bool ref_p)
418 if (!lto_is_streamable (expr))
419 internal_error ("tree code %qs is not supported in LTO streams",
420 get_tree_code_name (TREE_CODE (expr)));
422 /* Write the header, containing everything needed to materialize
423 EXPR on the reading side. */
424 streamer_write_tree_header (ob, expr);
426 lto_write_tree_1 (ob, expr, ref_p);
428 /* Mark the end of EXPR. */
429 streamer_write_zero (ob);
432 /* Emit the physical representation of tree node EXPR to output block OB,
433 If THIS_REF_P is true, the leaves of EXPR are emitted as references via
434 lto_output_tree_ref. REF_P is used for streaming siblings of EXPR. */
436 static void
437 lto_output_tree_1 (struct output_block *ob, tree expr, hashval_t hash,
438 bool ref_p, bool this_ref_p)
440 unsigned ix;
442 gcc_checking_assert (expr != NULL_TREE
443 && !(this_ref_p && tree_is_indexable (expr)));
445 bool exists_p = streamer_tree_cache_insert (ob->writer_cache,
446 expr, hash, &ix);
447 gcc_assert (!exists_p);
448 if (streamer_handle_as_builtin_p (expr))
450 /* MD and NORMAL builtins do not need to be written out
451 completely as they are always instantiated by the
452 compiler on startup. The only builtins that need to
453 be written out are BUILT_IN_FRONTEND. For all other
454 builtins, we simply write the class and code. */
455 streamer_write_builtin (ob, expr);
457 else if (TREE_CODE (expr) == INTEGER_CST
458 && !TREE_OVERFLOW (expr))
460 /* Shared INTEGER_CST nodes are special because they need their
461 original type to be materialized by the reader (to implement
462 TYPE_CACHED_VALUES). */
463 streamer_write_integer_cst (ob, expr, ref_p);
465 else
467 /* This is the first time we see EXPR, write its fields
468 to OB. */
469 lto_write_tree (ob, expr, ref_p);
473 class DFS
475 public:
476 DFS (struct output_block *ob, tree expr, bool ref_p, bool this_ref_p,
477 bool single_p);
478 ~DFS ();
480 struct scc_entry
482 tree t;
483 hashval_t hash;
485 vec<scc_entry> sccstack;
487 private:
488 struct sccs
490 unsigned int dfsnum;
491 unsigned int low;
493 struct worklist
495 tree expr;
496 sccs *from_state;
497 sccs *cstate;
498 bool ref_p;
499 bool this_ref_p;
502 static int scc_entry_compare (const void *, const void *);
504 void DFS_write_tree_body (struct output_block *ob,
505 tree expr, sccs *expr_state, bool ref_p);
507 void DFS_write_tree (struct output_block *ob, sccs *from_state,
508 tree expr, bool ref_p, bool this_ref_p);
510 hashval_t
511 hash_scc (struct output_block *ob, unsigned first, unsigned size,
512 bool ref_p, bool this_ref_p);
514 hash_map<tree, sccs *> sccstate;
515 vec<worklist> worklist_vec;
516 struct obstack sccstate_obstack;
519 /* Emit the physical representation of tree node EXPR to output block OB,
520 using depth-first search on the subgraph. If THIS_REF_P is true, the
521 leaves of EXPR are emitted as references via lto_output_tree_ref.
522 REF_P is used for streaming siblings of EXPR. If SINGLE_P is true,
523 this is for a rewalk of a single leaf SCC. */
525 DFS::DFS (struct output_block *ob, tree expr, bool ref_p, bool this_ref_p,
526 bool single_p)
528 unsigned int next_dfs_num = 1;
529 sccstack.create (0);
530 gcc_obstack_init (&sccstate_obstack);
531 worklist_vec = vNULL;
532 DFS_write_tree (ob, NULL, expr, ref_p, this_ref_p);
533 while (!worklist_vec.is_empty ())
535 worklist &w = worklist_vec.last ();
536 expr = w.expr;
537 sccs *from_state = w.from_state;
538 sccs *cstate = w.cstate;
539 ref_p = w.ref_p;
540 this_ref_p = w.this_ref_p;
541 if (cstate == NULL)
543 sccs **slot = &sccstate.get_or_insert (expr);
544 cstate = *slot;
545 if (cstate)
547 gcc_checking_assert (from_state);
548 if (cstate->dfsnum < from_state->dfsnum)
549 from_state->low = MIN (cstate->dfsnum, from_state->low);
550 worklist_vec.pop ();
551 continue;
554 scc_entry e = { expr, 0 };
555 /* Not yet visited. DFS recurse and push it onto the stack. */
556 *slot = cstate = XOBNEW (&sccstate_obstack, struct sccs);
557 sccstack.safe_push (e);
558 cstate->dfsnum = next_dfs_num++;
559 cstate->low = cstate->dfsnum;
560 w.cstate = cstate;
562 if (streamer_handle_as_builtin_p (expr))
564 else if (TREE_CODE (expr) == INTEGER_CST
565 && !TREE_OVERFLOW (expr))
566 DFS_write_tree (ob, cstate, TREE_TYPE (expr), ref_p, ref_p);
567 else
569 DFS_write_tree_body (ob, expr, cstate, ref_p);
571 /* Walk any LTO-specific edges. */
572 if (DECL_P (expr)
573 && TREE_CODE (expr) != FUNCTION_DECL
574 && TREE_CODE (expr) != TRANSLATION_UNIT_DECL)
576 /* Handle DECL_INITIAL for symbols. */
577 tree initial
578 = get_symbol_initial_value (ob->decl_state->symtab_node_encoder,
579 expr);
580 DFS_write_tree (ob, cstate, initial, ref_p, ref_p);
583 continue;
586 /* See if we found an SCC. */
587 if (cstate->low == cstate->dfsnum)
589 unsigned first, size;
590 tree x;
592 /* If we are re-walking a single leaf SCC just pop it,
593 let earlier worklist item access the sccstack. */
594 if (single_p)
596 worklist_vec.pop ();
597 continue;
600 /* Pop the SCC and compute its size. */
601 first = sccstack.length ();
604 x = sccstack[--first].t;
606 while (x != expr);
607 size = sccstack.length () - first;
609 /* No need to compute hashes for LTRANS units, we don't perform
610 any merging there. */
611 hashval_t scc_hash = 0;
612 unsigned scc_entry_len = 0;
613 if (!flag_wpa)
615 scc_hash = hash_scc (ob, first, size, ref_p, this_ref_p);
617 /* Put the entries with the least number of collisions first. */
618 unsigned entry_start = 0;
619 scc_entry_len = size + 1;
620 for (unsigned i = 0; i < size;)
622 unsigned from = i;
623 for (i = i + 1; i < size
624 && (sccstack[first + i].hash
625 == sccstack[first + from].hash); ++i)
627 if (i - from < scc_entry_len)
629 scc_entry_len = i - from;
630 entry_start = from;
633 for (unsigned i = 0; i < scc_entry_len; ++i)
634 std::swap (sccstack[first + i],
635 sccstack[first + entry_start + i]);
637 /* We already sorted SCC deterministically in hash_scc. */
639 /* Check that we have only one SCC.
640 Naturally we may have conflicts if hash function is not
641 strong enough. Lets see how far this gets. */
642 gcc_checking_assert (scc_entry_len == 1);
645 /* Write LTO_tree_scc. */
646 streamer_write_record_start (ob, LTO_tree_scc);
647 streamer_write_uhwi (ob, size);
648 streamer_write_uhwi (ob, scc_hash);
650 /* Write size-1 SCCs without wrapping them inside SCC bundles.
651 All INTEGER_CSTs need to be handled this way as we need
652 their type to materialize them. Also builtins are handled
653 this way.
654 ??? We still wrap these in LTO_tree_scc so at the
655 input side we can properly identify the tree we want
656 to ultimatively return. */
657 if (size == 1)
658 lto_output_tree_1 (ob, expr, scc_hash, ref_p, this_ref_p);
659 else
661 /* Write the size of the SCC entry candidates. */
662 streamer_write_uhwi (ob, scc_entry_len);
664 /* Write all headers and populate the streamer cache. */
665 for (unsigned i = 0; i < size; ++i)
667 hashval_t hash = sccstack[first+i].hash;
668 tree t = sccstack[first+i].t;
669 bool exists_p = streamer_tree_cache_insert (ob->writer_cache,
670 t, hash, NULL);
671 gcc_assert (!exists_p);
673 if (!lto_is_streamable (t))
674 internal_error ("tree code %qs is not supported "
675 "in LTO streams",
676 get_tree_code_name (TREE_CODE (t)));
678 gcc_checking_assert (!streamer_handle_as_builtin_p (t));
680 /* Write the header, containing everything needed to
681 materialize EXPR on the reading side. */
682 streamer_write_tree_header (ob, t);
685 /* Write the bitpacks and tree references. */
686 for (unsigned i = 0; i < size; ++i)
688 lto_write_tree_1 (ob, sccstack[first+i].t, ref_p);
690 /* Mark the end of the tree. */
691 streamer_write_zero (ob);
695 /* Finally truncate the vector. */
696 sccstack.truncate (first);
698 if (from_state)
699 from_state->low = MIN (from_state->low, cstate->low);
700 worklist_vec.pop ();
701 continue;
704 gcc_checking_assert (from_state);
705 from_state->low = MIN (from_state->low, cstate->low);
706 if (cstate->dfsnum < from_state->dfsnum)
707 from_state->low = MIN (cstate->dfsnum, from_state->low);
708 worklist_vec.pop ();
710 worklist_vec.release ();
713 DFS::~DFS ()
715 sccstack.release ();
716 obstack_free (&sccstate_obstack, NULL);
719 /* Handle the tree EXPR in the DFS walk with SCC state EXPR_STATE and
720 DFS recurse for all tree edges originating from it. */
722 void
723 DFS::DFS_write_tree_body (struct output_block *ob,
724 tree expr, sccs *expr_state, bool ref_p)
726 #define DFS_follow_tree_edge(DEST) \
727 DFS_write_tree (ob, expr_state, DEST, ref_p, ref_p)
729 enum tree_code code;
731 code = TREE_CODE (expr);
733 if (CODE_CONTAINS_STRUCT (code, TS_TYPED))
735 if (TREE_CODE (expr) != IDENTIFIER_NODE)
736 DFS_follow_tree_edge (TREE_TYPE (expr));
739 if (CODE_CONTAINS_STRUCT (code, TS_VECTOR))
741 for (unsigned i = 0; i < VECTOR_CST_NELTS (expr); ++i)
742 DFS_follow_tree_edge (VECTOR_CST_ELT (expr, i));
745 if (CODE_CONTAINS_STRUCT (code, TS_COMPLEX))
747 DFS_follow_tree_edge (TREE_REALPART (expr));
748 DFS_follow_tree_edge (TREE_IMAGPART (expr));
751 if (CODE_CONTAINS_STRUCT (code, TS_DECL_MINIMAL))
753 /* Drop names that were created for anonymous entities. */
754 if (DECL_NAME (expr)
755 && TREE_CODE (DECL_NAME (expr)) == IDENTIFIER_NODE
756 && anon_aggrname_p (DECL_NAME (expr)))
758 else
759 DFS_follow_tree_edge (DECL_NAME (expr));
760 DFS_follow_tree_edge (DECL_CONTEXT (expr));
763 if (CODE_CONTAINS_STRUCT (code, TS_DECL_COMMON))
765 DFS_follow_tree_edge (DECL_SIZE (expr));
766 DFS_follow_tree_edge (DECL_SIZE_UNIT (expr));
768 /* Note, DECL_INITIAL is not handled here. Since DECL_INITIAL needs
769 special handling in LTO, it must be handled by streamer hooks. */
771 DFS_follow_tree_edge (DECL_ATTRIBUTES (expr));
773 /* Do not follow DECL_ABSTRACT_ORIGIN. We cannot handle debug information
774 for early inlining so drop it on the floor instead of ICEing in
775 dwarf2out.c.
776 We however use DECL_ABSTRACT_ORIGIN == error_mark_node to mark
777 declarations which should be eliminated by decl merging. Be sure none
778 leaks to this point. */
779 gcc_assert (DECL_ABSTRACT_ORIGIN (expr) != error_mark_node);
781 if ((TREE_CODE (expr) == VAR_DECL
782 || TREE_CODE (expr) == PARM_DECL)
783 && DECL_HAS_VALUE_EXPR_P (expr))
784 DFS_follow_tree_edge (DECL_VALUE_EXPR (expr));
785 if (TREE_CODE (expr) == VAR_DECL)
786 DFS_follow_tree_edge (DECL_DEBUG_EXPR (expr));
789 if (CODE_CONTAINS_STRUCT (code, TS_DECL_NON_COMMON))
791 if (TREE_CODE (expr) == TYPE_DECL)
792 DFS_follow_tree_edge (DECL_ORIGINAL_TYPE (expr));
795 if (CODE_CONTAINS_STRUCT (code, TS_DECL_WITH_VIS))
797 /* Make sure we don't inadvertently set the assembler name. */
798 if (DECL_ASSEMBLER_NAME_SET_P (expr))
799 DFS_follow_tree_edge (DECL_ASSEMBLER_NAME (expr));
802 if (CODE_CONTAINS_STRUCT (code, TS_FIELD_DECL))
804 DFS_follow_tree_edge (DECL_FIELD_OFFSET (expr));
805 DFS_follow_tree_edge (DECL_BIT_FIELD_TYPE (expr));
806 DFS_follow_tree_edge (DECL_BIT_FIELD_REPRESENTATIVE (expr));
807 DFS_follow_tree_edge (DECL_FIELD_BIT_OFFSET (expr));
808 DFS_follow_tree_edge (DECL_FCONTEXT (expr));
811 if (CODE_CONTAINS_STRUCT (code, TS_FUNCTION_DECL))
813 DFS_follow_tree_edge (DECL_VINDEX (expr));
814 DFS_follow_tree_edge (DECL_FUNCTION_PERSONALITY (expr));
815 DFS_follow_tree_edge (DECL_FUNCTION_SPECIFIC_TARGET (expr));
816 DFS_follow_tree_edge (DECL_FUNCTION_SPECIFIC_OPTIMIZATION (expr));
819 if (CODE_CONTAINS_STRUCT (code, TS_TYPE_COMMON))
821 DFS_follow_tree_edge (TYPE_SIZE (expr));
822 DFS_follow_tree_edge (TYPE_SIZE_UNIT (expr));
823 DFS_follow_tree_edge (TYPE_ATTRIBUTES (expr));
824 DFS_follow_tree_edge (TYPE_NAME (expr));
825 /* Do not follow TYPE_POINTER_TO or TYPE_REFERENCE_TO. They will be
826 reconstructed during fixup. */
827 /* Do not follow TYPE_NEXT_VARIANT, we reconstruct the variant lists
828 during fixup. */
829 DFS_follow_tree_edge (TYPE_MAIN_VARIANT (expr));
830 DFS_follow_tree_edge (TYPE_CONTEXT (expr));
831 /* TYPE_CANONICAL is re-computed during type merging, so no need
832 to follow it here. */
833 DFS_follow_tree_edge (TYPE_STUB_DECL (expr));
836 if (CODE_CONTAINS_STRUCT (code, TS_TYPE_NON_COMMON))
838 if (TREE_CODE (expr) == ENUMERAL_TYPE)
839 DFS_follow_tree_edge (TYPE_VALUES (expr));
840 else if (TREE_CODE (expr) == ARRAY_TYPE)
841 DFS_follow_tree_edge (TYPE_DOMAIN (expr));
842 else if (RECORD_OR_UNION_TYPE_P (expr))
843 for (tree t = TYPE_FIELDS (expr); t; t = TREE_CHAIN (t))
844 DFS_follow_tree_edge (t);
845 else if (TREE_CODE (expr) == FUNCTION_TYPE
846 || TREE_CODE (expr) == METHOD_TYPE)
847 DFS_follow_tree_edge (TYPE_ARG_TYPES (expr));
849 if (!POINTER_TYPE_P (expr))
850 DFS_follow_tree_edge (TYPE_MINVAL (expr));
851 DFS_follow_tree_edge (TYPE_MAXVAL (expr));
852 if (RECORD_OR_UNION_TYPE_P (expr))
853 DFS_follow_tree_edge (TYPE_BINFO (expr));
856 if (CODE_CONTAINS_STRUCT (code, TS_LIST))
858 DFS_follow_tree_edge (TREE_PURPOSE (expr));
859 DFS_follow_tree_edge (TREE_VALUE (expr));
860 DFS_follow_tree_edge (TREE_CHAIN (expr));
863 if (CODE_CONTAINS_STRUCT (code, TS_VEC))
865 for (int i = 0; i < TREE_VEC_LENGTH (expr); i++)
866 DFS_follow_tree_edge (TREE_VEC_ELT (expr, i));
869 if (CODE_CONTAINS_STRUCT (code, TS_EXP))
871 for (int i = 0; i < TREE_OPERAND_LENGTH (expr); i++)
872 DFS_follow_tree_edge (TREE_OPERAND (expr, i));
873 DFS_follow_tree_edge (TREE_BLOCK (expr));
876 if (CODE_CONTAINS_STRUCT (code, TS_BLOCK))
878 for (tree t = BLOCK_VARS (expr); t; t = TREE_CHAIN (t))
879 if (VAR_OR_FUNCTION_DECL_P (t)
880 && DECL_EXTERNAL (t))
881 /* We have to stream externals in the block chain as
882 non-references. See also
883 tree-streamer-out.c:streamer_write_chain. */
884 DFS_write_tree (ob, expr_state, t, ref_p, false);
885 else
886 DFS_follow_tree_edge (t);
888 DFS_follow_tree_edge (BLOCK_SUPERCONTEXT (expr));
890 /* Follow BLOCK_ABSTRACT_ORIGIN for the limited cases we can
891 handle - those that represent inlined function scopes.
892 For the drop rest them on the floor instead of ICEing
893 in dwarf2out.c. */
894 if (inlined_function_outer_scope_p (expr))
896 tree ultimate_origin = block_ultimate_origin (expr);
897 DFS_follow_tree_edge (ultimate_origin);
899 /* Do not follow BLOCK_NONLOCALIZED_VARS. We cannot handle debug
900 information for early inlined BLOCKs so drop it on the floor instead
901 of ICEing in dwarf2out.c. */
903 /* BLOCK_FRAGMENT_ORIGIN and BLOCK_FRAGMENT_CHAIN is not live at LTO
904 streaming time. */
906 /* Do not output BLOCK_SUBBLOCKS. Instead on streaming-in this
907 list is re-constructed from BLOCK_SUPERCONTEXT. */
910 if (CODE_CONTAINS_STRUCT (code, TS_BINFO))
912 unsigned i;
913 tree t;
915 /* Note that the number of BINFO slots has already been emitted in
916 EXPR's header (see streamer_write_tree_header) because this length
917 is needed to build the empty BINFO node on the reader side. */
918 FOR_EACH_VEC_ELT (*BINFO_BASE_BINFOS (expr), i, t)
919 DFS_follow_tree_edge (t);
920 DFS_follow_tree_edge (BINFO_OFFSET (expr));
921 DFS_follow_tree_edge (BINFO_VTABLE (expr));
922 DFS_follow_tree_edge (BINFO_VPTR_FIELD (expr));
924 /* The number of BINFO_BASE_ACCESSES has already been emitted in
925 EXPR's bitfield section. */
926 FOR_EACH_VEC_SAFE_ELT (BINFO_BASE_ACCESSES (expr), i, t)
927 DFS_follow_tree_edge (t);
929 /* Do not walk BINFO_INHERITANCE_CHAIN, BINFO_SUBVTT_INDEX
930 and BINFO_VPTR_INDEX; these are used by C++ FE only. */
933 if (CODE_CONTAINS_STRUCT (code, TS_CONSTRUCTOR))
935 unsigned i;
936 tree index, value;
938 FOR_EACH_CONSTRUCTOR_ELT (CONSTRUCTOR_ELTS (expr), i, index, value)
940 DFS_follow_tree_edge (index);
941 DFS_follow_tree_edge (value);
945 if (code == OMP_CLAUSE)
947 int i;
948 for (i = 0; i < omp_clause_num_ops[OMP_CLAUSE_CODE (expr)]; i++)
949 DFS_follow_tree_edge (OMP_CLAUSE_OPERAND (expr, i));
950 DFS_follow_tree_edge (OMP_CLAUSE_CHAIN (expr));
953 #undef DFS_follow_tree_edge
956 /* Return a hash value for the tree T.
957 CACHE holds hash values of trees outside current SCC. MAP, if non-NULL,
958 may hold hash values if trees inside current SCC. */
960 static hashval_t
961 hash_tree (struct streamer_tree_cache_d *cache, hash_map<tree, hashval_t> *map, tree t)
963 inchash::hash hstate;
965 #define visit(SIBLING) \
966 do { \
967 unsigned ix; \
968 if (!SIBLING) \
969 hstate.add_int (0); \
970 else if (streamer_tree_cache_lookup (cache, SIBLING, &ix)) \
971 hstate.add_int (streamer_tree_cache_get_hash (cache, ix)); \
972 else if (map) \
973 hstate.add_int (*map->get (SIBLING)); \
974 else \
975 hstate.add_int (1); \
976 } while (0)
978 /* Hash TS_BASE. */
979 enum tree_code code = TREE_CODE (t);
980 hstate.add_int (code);
981 if (!TYPE_P (t))
983 hstate.add_flag (TREE_SIDE_EFFECTS (t));
984 hstate.add_flag (TREE_CONSTANT (t));
985 hstate.add_flag (TREE_READONLY (t));
986 hstate.add_flag (TREE_PUBLIC (t));
988 hstate.add_flag (TREE_ADDRESSABLE (t));
989 hstate.add_flag (TREE_THIS_VOLATILE (t));
990 if (DECL_P (t))
991 hstate.add_flag (DECL_UNSIGNED (t));
992 else if (TYPE_P (t))
993 hstate.add_flag (TYPE_UNSIGNED (t));
994 if (TYPE_P (t))
995 hstate.add_flag (TYPE_ARTIFICIAL (t));
996 else
997 hstate.add_flag (TREE_NO_WARNING (t));
998 hstate.add_flag (TREE_NOTHROW (t));
999 hstate.add_flag (TREE_STATIC (t));
1000 hstate.add_flag (TREE_PROTECTED (t));
1001 hstate.add_flag (TREE_DEPRECATED (t));
1002 if (code != TREE_BINFO)
1003 hstate.add_flag (TREE_PRIVATE (t));
1004 if (TYPE_P (t))
1006 hstate.add_flag (AGGREGATE_TYPE_P (t)
1007 ? TYPE_REVERSE_STORAGE_ORDER (t) : TYPE_SATURATING (t));
1008 hstate.add_flag (TYPE_ADDR_SPACE (t));
1010 else if (code == SSA_NAME)
1011 hstate.add_flag (SSA_NAME_IS_DEFAULT_DEF (t));
1012 hstate.commit_flag ();
1014 if (CODE_CONTAINS_STRUCT (code, TS_INT_CST))
1016 int i;
1017 hstate.add_wide_int (TREE_INT_CST_NUNITS (t));
1018 hstate.add_wide_int (TREE_INT_CST_EXT_NUNITS (t));
1019 for (i = 0; i < TREE_INT_CST_NUNITS (t); i++)
1020 hstate.add_wide_int (TREE_INT_CST_ELT (t, i));
1023 if (CODE_CONTAINS_STRUCT (code, TS_REAL_CST))
1025 REAL_VALUE_TYPE r = TREE_REAL_CST (t);
1026 hstate.add_flag (r.cl);
1027 hstate.add_flag (r.sign);
1028 hstate.add_flag (r.signalling);
1029 hstate.add_flag (r.canonical);
1030 hstate.commit_flag ();
1031 hstate.add_int (r.uexp);
1032 hstate.add (r.sig, sizeof (r.sig));
1035 if (CODE_CONTAINS_STRUCT (code, TS_FIXED_CST))
1037 FIXED_VALUE_TYPE f = TREE_FIXED_CST (t);
1038 hstate.add_int (f.mode);
1039 hstate.add_int (f.data.low);
1040 hstate.add_int (f.data.high);
1043 if (CODE_CONTAINS_STRUCT (code, TS_DECL_COMMON))
1045 hstate.add_wide_int (DECL_MODE (t));
1046 hstate.add_flag (DECL_NONLOCAL (t));
1047 hstate.add_flag (DECL_VIRTUAL_P (t));
1048 hstate.add_flag (DECL_IGNORED_P (t));
1049 hstate.add_flag (DECL_ABSTRACT_P (t));
1050 hstate.add_flag (DECL_ARTIFICIAL (t));
1051 hstate.add_flag (DECL_USER_ALIGN (t));
1052 hstate.add_flag (DECL_PRESERVE_P (t));
1053 hstate.add_flag (DECL_EXTERNAL (t));
1054 hstate.add_flag (DECL_GIMPLE_REG_P (t));
1055 hstate.commit_flag ();
1056 hstate.add_int (DECL_ALIGN (t));
1057 if (code == LABEL_DECL)
1059 hstate.add_int (EH_LANDING_PAD_NR (t));
1060 hstate.add_int (LABEL_DECL_UID (t));
1062 else if (code == FIELD_DECL)
1064 hstate.add_flag (DECL_PACKED (t));
1065 hstate.add_flag (DECL_NONADDRESSABLE_P (t));
1066 hstate.add_int (DECL_OFFSET_ALIGN (t));
1068 else if (code == VAR_DECL)
1070 hstate.add_flag (DECL_HAS_DEBUG_EXPR_P (t));
1071 hstate.add_flag (DECL_NONLOCAL_FRAME (t));
1073 if (code == RESULT_DECL
1074 || code == PARM_DECL
1075 || code == VAR_DECL)
1077 hstate.add_flag (DECL_BY_REFERENCE (t));
1078 if (code == VAR_DECL
1079 || code == PARM_DECL)
1080 hstate.add_flag (DECL_HAS_VALUE_EXPR_P (t));
1082 hstate.commit_flag ();
1085 if (CODE_CONTAINS_STRUCT (code, TS_DECL_WRTL))
1086 hstate.add_int (DECL_REGISTER (t));
1088 if (CODE_CONTAINS_STRUCT (code, TS_DECL_WITH_VIS))
1090 hstate.add_flag (DECL_COMMON (t));
1091 hstate.add_flag (DECL_DLLIMPORT_P (t));
1092 hstate.add_flag (DECL_WEAK (t));
1093 hstate.add_flag (DECL_SEEN_IN_BIND_EXPR_P (t));
1094 hstate.add_flag (DECL_COMDAT (t));
1095 hstate.add_flag (DECL_VISIBILITY_SPECIFIED (t));
1096 hstate.add_int (DECL_VISIBILITY (t));
1097 if (code == VAR_DECL)
1099 /* DECL_IN_TEXT_SECTION is set during final asm output only. */
1100 hstate.add_flag (DECL_HARD_REGISTER (t));
1101 hstate.add_flag (DECL_IN_CONSTANT_POOL (t));
1103 if (TREE_CODE (t) == FUNCTION_DECL)
1105 hstate.add_flag (DECL_FINAL_P (t));
1106 hstate.add_flag (DECL_CXX_CONSTRUCTOR_P (t));
1107 hstate.add_flag (DECL_CXX_DESTRUCTOR_P (t));
1109 hstate.commit_flag ();
1112 if (CODE_CONTAINS_STRUCT (code, TS_FUNCTION_DECL))
1114 hstate.add_int (DECL_BUILT_IN_CLASS (t));
1115 hstate.add_flag (DECL_STATIC_CONSTRUCTOR (t));
1116 hstate.add_flag (DECL_STATIC_DESTRUCTOR (t));
1117 hstate.add_flag (DECL_UNINLINABLE (t));
1118 hstate.add_flag (DECL_POSSIBLY_INLINED (t));
1119 hstate.add_flag (DECL_IS_NOVOPS (t));
1120 hstate.add_flag (DECL_IS_RETURNS_TWICE (t));
1121 hstate.add_flag (DECL_IS_MALLOC (t));
1122 hstate.add_flag (DECL_IS_OPERATOR_NEW (t));
1123 hstate.add_flag (DECL_DECLARED_INLINE_P (t));
1124 hstate.add_flag (DECL_STATIC_CHAIN (t));
1125 hstate.add_flag (DECL_NO_INLINE_WARNING_P (t));
1126 hstate.add_flag (DECL_NO_INSTRUMENT_FUNCTION_ENTRY_EXIT (t));
1127 hstate.add_flag (DECL_NO_LIMIT_STACK (t));
1128 hstate.add_flag (DECL_DISREGARD_INLINE_LIMITS (t));
1129 hstate.add_flag (DECL_PURE_P (t));
1130 hstate.add_flag (DECL_LOOPING_CONST_OR_PURE_P (t));
1131 hstate.commit_flag ();
1132 if (DECL_BUILT_IN_CLASS (t) != NOT_BUILT_IN)
1133 hstate.add_int (DECL_FUNCTION_CODE (t));
1136 if (CODE_CONTAINS_STRUCT (code, TS_TYPE_COMMON))
1138 hstate.add_wide_int (TYPE_MODE (t));
1139 hstate.add_flag (TYPE_STRING_FLAG (t));
1140 /* TYPE_NO_FORCE_BLK is private to stor-layout and need
1141 no streaming. */
1142 hstate.add_flag (TYPE_NEEDS_CONSTRUCTING (t));
1143 hstate.add_flag (TYPE_PACKED (t));
1144 hstate.add_flag (TYPE_RESTRICT (t));
1145 hstate.add_flag (TYPE_USER_ALIGN (t));
1146 hstate.add_flag (TYPE_READONLY (t));
1147 if (RECORD_OR_UNION_TYPE_P (t))
1149 hstate.add_flag (TYPE_TRANSPARENT_AGGR (t));
1150 hstate.add_flag (TYPE_FINAL_P (t));
1152 else if (code == ARRAY_TYPE)
1153 hstate.add_flag (TYPE_NONALIASED_COMPONENT (t));
1154 hstate.commit_flag ();
1155 hstate.add_int (TYPE_PRECISION (t));
1156 hstate.add_int (TYPE_ALIGN (t));
1159 if (CODE_CONTAINS_STRUCT (code, TS_TRANSLATION_UNIT_DECL))
1160 hstate.add (TRANSLATION_UNIT_LANGUAGE (t),
1161 strlen (TRANSLATION_UNIT_LANGUAGE (t)));
1163 if (CODE_CONTAINS_STRUCT (code, TS_TARGET_OPTION)
1164 /* We don't stream these when passing things to a different target. */
1165 && !lto_stream_offload_p)
1166 hstate.add_wide_int (cl_target_option_hash (TREE_TARGET_OPTION (t)));
1168 if (CODE_CONTAINS_STRUCT (code, TS_OPTIMIZATION))
1169 hstate.add_wide_int (cl_optimization_hash (TREE_OPTIMIZATION (t)));
1171 if (CODE_CONTAINS_STRUCT (code, TS_IDENTIFIER))
1172 hstate.merge_hash (IDENTIFIER_HASH_VALUE (t));
1174 if (CODE_CONTAINS_STRUCT (code, TS_STRING))
1175 hstate.add (TREE_STRING_POINTER (t), TREE_STRING_LENGTH (t));
1177 if (CODE_CONTAINS_STRUCT (code, TS_TYPED))
1179 if (code != IDENTIFIER_NODE)
1180 visit (TREE_TYPE (t));
1183 if (CODE_CONTAINS_STRUCT (code, TS_VECTOR))
1184 for (unsigned i = 0; i < VECTOR_CST_NELTS (t); ++i)
1185 visit (VECTOR_CST_ELT (t, i));
1187 if (CODE_CONTAINS_STRUCT (code, TS_COMPLEX))
1189 visit (TREE_REALPART (t));
1190 visit (TREE_IMAGPART (t));
1193 if (CODE_CONTAINS_STRUCT (code, TS_DECL_MINIMAL))
1195 /* Drop names that were created for anonymous entities. */
1196 if (DECL_NAME (t)
1197 && TREE_CODE (DECL_NAME (t)) == IDENTIFIER_NODE
1198 && anon_aggrname_p (DECL_NAME (t)))
1200 else
1201 visit (DECL_NAME (t));
1202 if (DECL_FILE_SCOPE_P (t))
1204 else
1205 visit (DECL_CONTEXT (t));
1208 if (CODE_CONTAINS_STRUCT (code, TS_DECL_COMMON))
1210 visit (DECL_SIZE (t));
1211 visit (DECL_SIZE_UNIT (t));
1212 visit (DECL_ATTRIBUTES (t));
1213 if ((code == VAR_DECL
1214 || code == PARM_DECL)
1215 && DECL_HAS_VALUE_EXPR_P (t))
1216 visit (DECL_VALUE_EXPR (t));
1217 if (code == VAR_DECL
1218 && DECL_HAS_DEBUG_EXPR_P (t))
1219 visit (DECL_DEBUG_EXPR (t));
1220 /* ??? Hash DECL_INITIAL as streamed. Needs the output-block to
1221 be able to call get_symbol_initial_value. */
1224 if (CODE_CONTAINS_STRUCT (code, TS_DECL_NON_COMMON))
1226 if (code == TYPE_DECL)
1227 visit (DECL_ORIGINAL_TYPE (t));
1230 if (CODE_CONTAINS_STRUCT (code, TS_DECL_WITH_VIS))
1232 if (DECL_ASSEMBLER_NAME_SET_P (t))
1233 visit (DECL_ASSEMBLER_NAME (t));
1236 if (CODE_CONTAINS_STRUCT (code, TS_FIELD_DECL))
1238 visit (DECL_FIELD_OFFSET (t));
1239 visit (DECL_BIT_FIELD_TYPE (t));
1240 visit (DECL_BIT_FIELD_REPRESENTATIVE (t));
1241 visit (DECL_FIELD_BIT_OFFSET (t));
1242 visit (DECL_FCONTEXT (t));
1245 if (CODE_CONTAINS_STRUCT (code, TS_FUNCTION_DECL))
1247 visit (DECL_VINDEX (t));
1248 visit (DECL_FUNCTION_PERSONALITY (t));
1249 visit (DECL_FUNCTION_SPECIFIC_TARGET (t));
1250 visit (DECL_FUNCTION_SPECIFIC_OPTIMIZATION (t));
1253 if (CODE_CONTAINS_STRUCT (code, TS_TYPE_COMMON))
1255 visit (TYPE_SIZE (t));
1256 visit (TYPE_SIZE_UNIT (t));
1257 visit (TYPE_ATTRIBUTES (t));
1258 visit (TYPE_NAME (t));
1259 visit (TYPE_MAIN_VARIANT (t));
1260 if (TYPE_FILE_SCOPE_P (t))
1262 else
1263 visit (TYPE_CONTEXT (t));
1264 visit (TYPE_STUB_DECL (t));
1267 if (CODE_CONTAINS_STRUCT (code, TS_TYPE_NON_COMMON))
1269 if (code == ENUMERAL_TYPE)
1270 visit (TYPE_VALUES (t));
1271 else if (code == ARRAY_TYPE)
1272 visit (TYPE_DOMAIN (t));
1273 else if (RECORD_OR_UNION_TYPE_P (t))
1274 for (tree f = TYPE_FIELDS (t); f; f = TREE_CHAIN (f))
1275 visit (f);
1276 else if (code == FUNCTION_TYPE
1277 || code == METHOD_TYPE)
1278 visit (TYPE_ARG_TYPES (t));
1279 if (!POINTER_TYPE_P (t))
1280 visit (TYPE_MINVAL (t));
1281 visit (TYPE_MAXVAL (t));
1282 if (RECORD_OR_UNION_TYPE_P (t))
1283 visit (TYPE_BINFO (t));
1286 if (CODE_CONTAINS_STRUCT (code, TS_LIST))
1288 visit (TREE_PURPOSE (t));
1289 visit (TREE_VALUE (t));
1290 visit (TREE_CHAIN (t));
1293 if (CODE_CONTAINS_STRUCT (code, TS_VEC))
1294 for (int i = 0; i < TREE_VEC_LENGTH (t); ++i)
1295 visit (TREE_VEC_ELT (t, i));
1297 if (CODE_CONTAINS_STRUCT (code, TS_EXP))
1299 hstate.add_wide_int (TREE_OPERAND_LENGTH (t));
1300 for (int i = 0; i < TREE_OPERAND_LENGTH (t); ++i)
1301 visit (TREE_OPERAND (t, i));
1304 if (CODE_CONTAINS_STRUCT (code, TS_BINFO))
1306 unsigned i;
1307 tree b;
1308 FOR_EACH_VEC_ELT (*BINFO_BASE_BINFOS (t), i, b)
1309 visit (b);
1310 visit (BINFO_OFFSET (t));
1311 visit (BINFO_VTABLE (t));
1312 visit (BINFO_VPTR_FIELD (t));
1313 FOR_EACH_VEC_SAFE_ELT (BINFO_BASE_ACCESSES (t), i, b)
1314 visit (b);
1315 /* Do not walk BINFO_INHERITANCE_CHAIN, BINFO_SUBVTT_INDEX
1316 and BINFO_VPTR_INDEX; these are used by C++ FE only. */
1319 if (CODE_CONTAINS_STRUCT (code, TS_CONSTRUCTOR))
1321 unsigned i;
1322 tree index, value;
1323 hstate.add_wide_int (CONSTRUCTOR_NELTS (t));
1324 FOR_EACH_CONSTRUCTOR_ELT (CONSTRUCTOR_ELTS (t), i, index, value)
1326 visit (index);
1327 visit (value);
1331 if (code == OMP_CLAUSE)
1333 int i;
1334 HOST_WIDE_INT val;
1336 hstate.add_wide_int (OMP_CLAUSE_CODE (t));
1337 switch (OMP_CLAUSE_CODE (t))
1339 case OMP_CLAUSE_DEFAULT:
1340 val = OMP_CLAUSE_DEFAULT_KIND (t);
1341 break;
1342 case OMP_CLAUSE_SCHEDULE:
1343 val = OMP_CLAUSE_SCHEDULE_KIND (t);
1344 break;
1345 case OMP_CLAUSE_DEPEND:
1346 val = OMP_CLAUSE_DEPEND_KIND (t);
1347 break;
1348 case OMP_CLAUSE_MAP:
1349 val = OMP_CLAUSE_MAP_KIND (t);
1350 break;
1351 case OMP_CLAUSE_PROC_BIND:
1352 val = OMP_CLAUSE_PROC_BIND_KIND (t);
1353 break;
1354 case OMP_CLAUSE_REDUCTION:
1355 val = OMP_CLAUSE_REDUCTION_CODE (t);
1356 break;
1357 default:
1358 val = 0;
1359 break;
1361 hstate.add_wide_int (val);
1362 for (i = 0; i < omp_clause_num_ops[OMP_CLAUSE_CODE (t)]; i++)
1363 visit (OMP_CLAUSE_OPERAND (t, i));
1364 visit (OMP_CLAUSE_CHAIN (t));
1367 return hstate.end ();
1369 #undef visit
1372 /* Compare two SCC entries by their hash value for qsorting them. */
1375 DFS::scc_entry_compare (const void *p1_, const void *p2_)
1377 const scc_entry *p1 = (const scc_entry *) p1_;
1378 const scc_entry *p2 = (const scc_entry *) p2_;
1379 if (p1->hash < p2->hash)
1380 return -1;
1381 else if (p1->hash > p2->hash)
1382 return 1;
1383 return 0;
1386 /* Return a hash value for the SCC on the SCC stack from FIRST with SIZE.
1387 THIS_REF_P and REF_P are as passed to lto_output_tree for FIRST. */
1389 hashval_t
1390 DFS::hash_scc (struct output_block *ob, unsigned first, unsigned size,
1391 bool ref_p, bool this_ref_p)
1393 unsigned int last_classes = 0, iterations = 0;
1395 /* Compute hash values for the SCC members. */
1396 for (unsigned i = 0; i < size; ++i)
1397 sccstack[first+i].hash
1398 = hash_tree (ob->writer_cache, NULL, sccstack[first+i].t);
1400 if (size == 1)
1401 return sccstack[first].hash;
1403 /* We aim to get unique hash for every tree within SCC and compute hash value
1404 of the whole SCC by combining all values together in a stable (entry-point
1405 independent) order. This guarantees that the same SCC regions within
1406 different translation units will get the same hash values and therefore
1407 will be merged at WPA time.
1409 Often the hashes are already unique. In that case we compute the SCC hash
1410 by combining individual hash values in an increasing order.
1412 If there are duplicates, we seek at least one tree with unique hash (and
1413 pick one with minimal hash and this property). Then we obtain a stable
1414 order by DFS walk starting from this unique tree and then use the index
1415 within this order to make individual hash values unique.
1417 If there is no tree with unique hash, we iteratively propagate the hash
1418 values across the internal edges of SCC. This usually quickly leads
1419 to unique hashes. Consider, for example, an SCC containing two pointers
1420 that are identical except for the types they point to and assume that
1421 these types are also part of the SCC. The propagation will add the
1422 points-to type information into their hash values. */
1425 /* Sort the SCC so we can easily check for uniqueness. */
1426 qsort (&sccstack[first], size, sizeof (scc_entry), scc_entry_compare);
1428 unsigned int classes = 1;
1429 int firstunique = -1;
1431 /* Find the tree with lowest unique hash (if it exists) and compute
1432 the number of equivalence classes. */
1433 if (sccstack[first].hash != sccstack[first+1].hash)
1434 firstunique = 0;
1435 for (unsigned i = 1; i < size; ++i)
1436 if (sccstack[first+i-1].hash != sccstack[first+i].hash)
1438 classes++;
1439 if (firstunique == -1
1440 && (i == size - 1
1441 || sccstack[first+i+1].hash != sccstack[first+i].hash))
1442 firstunique = i;
1445 /* If we found a tree with unique hash, stop the iteration. */
1446 if (firstunique != -1
1447 /* Also terminate if we run out of iterations or if the number of
1448 equivalence classes is no longer increasing.
1449 For example a cyclic list of trees that are all equivalent will
1450 never have unique entry point; we however do not build such SCCs
1451 in our IL. */
1452 || classes <= last_classes || iterations > 16)
1454 hashval_t scc_hash;
1456 /* If some hashes are not unique (CLASSES != SIZE), use the DFS walk
1457 starting from FIRSTUNIQUE to obtain a stable order. */
1458 if (classes != size && firstunique != -1)
1460 hash_map <tree, hashval_t> map(size*2);
1462 /* Store hash values into a map, so we can associate them with
1463 the reordered SCC. */
1464 for (unsigned i = 0; i < size; ++i)
1465 map.put (sccstack[first+i].t, sccstack[first+i].hash);
1467 DFS again (ob, sccstack[first+firstunique].t, ref_p, this_ref_p,
1468 true);
1469 gcc_assert (again.sccstack.length () == size);
1471 memcpy (sccstack.address () + first,
1472 again.sccstack.address (),
1473 sizeof (scc_entry) * size);
1475 /* Update hash values of individual members by hashing in the
1476 index within the stable order. This ensures uniqueness.
1477 Also compute the SCC hash by mixing in all hash values in
1478 the stable order we obtained. */
1479 sccstack[first].hash = *map.get (sccstack[first].t);
1480 scc_hash = sccstack[first].hash;
1481 for (unsigned i = 1; i < size; ++i)
1483 sccstack[first+i].hash
1484 = iterative_hash_hashval_t (i,
1485 *map.get (sccstack[first+i].t));
1486 scc_hash
1487 = iterative_hash_hashval_t (scc_hash,
1488 sccstack[first+i].hash);
1491 /* If we got a unique hash value for each tree, then sort already
1492 ensured entry-point independent order. Only compute the final
1493 SCC hash.
1495 If we failed to find the unique entry point, we go by the same
1496 route. We will eventually introduce unwanted hash conflicts. */
1497 else
1499 scc_hash = sccstack[first].hash;
1500 for (unsigned i = 1; i < size; ++i)
1501 scc_hash
1502 = iterative_hash_hashval_t (scc_hash, sccstack[first+i].hash);
1504 /* We cannot 100% guarantee that the hash won't conflict so as
1505 to make it impossible to find a unique hash. This however
1506 should be an extremely rare case. ICE for now so possible
1507 issues are found and evaluated. */
1508 gcc_checking_assert (classes == size);
1511 /* To avoid conflicts across SCCs, iteratively hash the whole SCC
1512 hash into the hash of each element. */
1513 for (unsigned i = 0; i < size; ++i)
1514 sccstack[first+i].hash
1515 = iterative_hash_hashval_t (sccstack[first+i].hash, scc_hash);
1516 return scc_hash;
1519 last_classes = classes;
1520 iterations++;
1522 /* We failed to identify the entry point; propagate hash values across
1523 the edges. */
1524 hash_map <tree, hashval_t> map(size*2);
1526 for (unsigned i = 0; i < size; ++i)
1527 map.put (sccstack[first+i].t, sccstack[first+i].hash);
1529 for (unsigned i = 0; i < size; i++)
1530 sccstack[first+i].hash
1531 = hash_tree (ob->writer_cache, &map, sccstack[first+i].t);
1533 while (true);
1536 /* DFS walk EXPR and stream SCCs of tree bodies if they are not
1537 already in the streamer cache. Main routine called for
1538 each visit of EXPR. */
1540 void
1541 DFS::DFS_write_tree (struct output_block *ob, sccs *from_state,
1542 tree expr, bool ref_p, bool this_ref_p)
1544 /* Handle special cases. */
1545 if (expr == NULL_TREE)
1546 return;
1548 /* Do not DFS walk into indexable trees. */
1549 if (this_ref_p && tree_is_indexable (expr))
1550 return;
1552 /* Check if we already streamed EXPR. */
1553 if (streamer_tree_cache_lookup (ob->writer_cache, expr, NULL))
1554 return;
1556 worklist w;
1557 w.expr = expr;
1558 w.from_state = from_state;
1559 w.cstate = NULL;
1560 w.ref_p = ref_p;
1561 w.this_ref_p = this_ref_p;
1562 worklist_vec.safe_push (w);
1566 /* Emit the physical representation of tree node EXPR to output block OB.
1567 If THIS_REF_P is true, the leaves of EXPR are emitted as references via
1568 lto_output_tree_ref. REF_P is used for streaming siblings of EXPR. */
1570 void
1571 lto_output_tree (struct output_block *ob, tree expr,
1572 bool ref_p, bool this_ref_p)
1574 unsigned ix;
1575 bool existed_p;
1577 if (expr == NULL_TREE)
1579 streamer_write_record_start (ob, LTO_null);
1580 return;
1583 if (this_ref_p && tree_is_indexable (expr))
1585 lto_output_tree_ref (ob, expr);
1586 return;
1589 existed_p = streamer_tree_cache_lookup (ob->writer_cache, expr, &ix);
1590 if (existed_p)
1592 /* If a node has already been streamed out, make sure that
1593 we don't write it more than once. Otherwise, the reader
1594 will instantiate two different nodes for the same object. */
1595 streamer_write_record_start (ob, LTO_tree_pickle_reference);
1596 streamer_write_uhwi (ob, ix);
1597 streamer_write_enum (ob->main_stream, LTO_tags, LTO_NUM_TAGS,
1598 lto_tree_code_to_tag (TREE_CODE (expr)));
1599 lto_stats.num_pickle_refs_output++;
1601 else
1603 /* This is the first time we see EXPR, write all reachable
1604 trees to OB. */
1605 static bool in_dfs_walk;
1607 /* Protect against recursion which means disconnect between
1608 what tree edges we walk in the DFS walk and what edges
1609 we stream out. */
1610 gcc_assert (!in_dfs_walk);
1612 /* Start the DFS walk. */
1613 /* Save ob state ... */
1614 /* let's see ... */
1615 in_dfs_walk = true;
1616 DFS (ob, expr, ref_p, this_ref_p, false);
1617 in_dfs_walk = false;
1619 /* Finally append a reference to the tree we were writing.
1620 ??? If expr ended up as a singleton we could have
1621 inlined it here and avoid outputting a reference. */
1622 existed_p = streamer_tree_cache_lookup (ob->writer_cache, expr, &ix);
1623 gcc_assert (existed_p);
1624 streamer_write_record_start (ob, LTO_tree_pickle_reference);
1625 streamer_write_uhwi (ob, ix);
1626 streamer_write_enum (ob->main_stream, LTO_tags, LTO_NUM_TAGS,
1627 lto_tree_code_to_tag (TREE_CODE (expr)));
1628 lto_stats.num_pickle_refs_output++;
1633 /* Output to OB a list of try/catch handlers starting with FIRST. */
1635 static void
1636 output_eh_try_list (struct output_block *ob, eh_catch first)
1638 eh_catch n;
1640 for (n = first; n; n = n->next_catch)
1642 streamer_write_record_start (ob, LTO_eh_catch);
1643 stream_write_tree (ob, n->type_list, true);
1644 stream_write_tree (ob, n->filter_list, true);
1645 stream_write_tree (ob, n->label, true);
1648 streamer_write_record_start (ob, LTO_null);
1652 /* Output EH region R in function FN to OB. CURR_RN is the slot index
1653 that is being emitted in FN->EH->REGION_ARRAY. This is used to
1654 detect EH region sharing. */
1656 static void
1657 output_eh_region (struct output_block *ob, eh_region r)
1659 enum LTO_tags tag;
1661 if (r == NULL)
1663 streamer_write_record_start (ob, LTO_null);
1664 return;
1667 if (r->type == ERT_CLEANUP)
1668 tag = LTO_ert_cleanup;
1669 else if (r->type == ERT_TRY)
1670 tag = LTO_ert_try;
1671 else if (r->type == ERT_ALLOWED_EXCEPTIONS)
1672 tag = LTO_ert_allowed_exceptions;
1673 else if (r->type == ERT_MUST_NOT_THROW)
1674 tag = LTO_ert_must_not_throw;
1675 else
1676 gcc_unreachable ();
1678 streamer_write_record_start (ob, tag);
1679 streamer_write_hwi (ob, r->index);
1681 if (r->outer)
1682 streamer_write_hwi (ob, r->outer->index);
1683 else
1684 streamer_write_zero (ob);
1686 if (r->inner)
1687 streamer_write_hwi (ob, r->inner->index);
1688 else
1689 streamer_write_zero (ob);
1691 if (r->next_peer)
1692 streamer_write_hwi (ob, r->next_peer->index);
1693 else
1694 streamer_write_zero (ob);
1696 if (r->type == ERT_TRY)
1698 output_eh_try_list (ob, r->u.eh_try.first_catch);
1700 else if (r->type == ERT_ALLOWED_EXCEPTIONS)
1702 stream_write_tree (ob, r->u.allowed.type_list, true);
1703 stream_write_tree (ob, r->u.allowed.label, true);
1704 streamer_write_uhwi (ob, r->u.allowed.filter);
1706 else if (r->type == ERT_MUST_NOT_THROW)
1708 stream_write_tree (ob, r->u.must_not_throw.failure_decl, true);
1709 bitpack_d bp = bitpack_create (ob->main_stream);
1710 stream_output_location (ob, &bp, r->u.must_not_throw.failure_loc);
1711 streamer_write_bitpack (&bp);
1714 if (r->landing_pads)
1715 streamer_write_hwi (ob, r->landing_pads->index);
1716 else
1717 streamer_write_zero (ob);
1721 /* Output landing pad LP to OB. */
1723 static void
1724 output_eh_lp (struct output_block *ob, eh_landing_pad lp)
1726 if (lp == NULL)
1728 streamer_write_record_start (ob, LTO_null);
1729 return;
1732 streamer_write_record_start (ob, LTO_eh_landing_pad);
1733 streamer_write_hwi (ob, lp->index);
1734 if (lp->next_lp)
1735 streamer_write_hwi (ob, lp->next_lp->index);
1736 else
1737 streamer_write_zero (ob);
1739 if (lp->region)
1740 streamer_write_hwi (ob, lp->region->index);
1741 else
1742 streamer_write_zero (ob);
1744 stream_write_tree (ob, lp->post_landing_pad, true);
1748 /* Output the existing eh_table to OB. */
1750 static void
1751 output_eh_regions (struct output_block *ob, struct function *fn)
1753 if (fn->eh && fn->eh->region_tree)
1755 unsigned i;
1756 eh_region eh;
1757 eh_landing_pad lp;
1758 tree ttype;
1760 streamer_write_record_start (ob, LTO_eh_table);
1762 /* Emit the index of the root of the EH region tree. */
1763 streamer_write_hwi (ob, fn->eh->region_tree->index);
1765 /* Emit all the EH regions in the region array. */
1766 streamer_write_hwi (ob, vec_safe_length (fn->eh->region_array));
1767 FOR_EACH_VEC_SAFE_ELT (fn->eh->region_array, i, eh)
1768 output_eh_region (ob, eh);
1770 /* Emit all landing pads. */
1771 streamer_write_hwi (ob, vec_safe_length (fn->eh->lp_array));
1772 FOR_EACH_VEC_SAFE_ELT (fn->eh->lp_array, i, lp)
1773 output_eh_lp (ob, lp);
1775 /* Emit all the runtime type data. */
1776 streamer_write_hwi (ob, vec_safe_length (fn->eh->ttype_data));
1777 FOR_EACH_VEC_SAFE_ELT (fn->eh->ttype_data, i, ttype)
1778 stream_write_tree (ob, ttype, true);
1780 /* Emit the table of action chains. */
1781 if (targetm.arm_eabi_unwinder)
1783 tree t;
1784 streamer_write_hwi (ob, vec_safe_length (fn->eh->ehspec_data.arm_eabi));
1785 FOR_EACH_VEC_SAFE_ELT (fn->eh->ehspec_data.arm_eabi, i, t)
1786 stream_write_tree (ob, t, true);
1788 else
1790 uchar c;
1791 streamer_write_hwi (ob, vec_safe_length (fn->eh->ehspec_data.other));
1792 FOR_EACH_VEC_SAFE_ELT (fn->eh->ehspec_data.other, i, c)
1793 streamer_write_char_stream (ob->main_stream, c);
1797 /* The LTO_null either terminates the record or indicates that there
1798 are no eh_records at all. */
1799 streamer_write_record_start (ob, LTO_null);
1803 /* Output all of the active ssa names to the ssa_names stream. */
1805 static void
1806 output_ssa_names (struct output_block *ob, struct function *fn)
1808 unsigned int i, len;
1810 len = vec_safe_length (SSANAMES (fn));
1811 streamer_write_uhwi (ob, len);
1813 for (i = 1; i < len; i++)
1815 tree ptr = (*SSANAMES (fn))[i];
1817 if (ptr == NULL_TREE
1818 || SSA_NAME_IN_FREE_LIST (ptr)
1819 || virtual_operand_p (ptr))
1820 continue;
1822 streamer_write_uhwi (ob, i);
1823 streamer_write_char_stream (ob->main_stream,
1824 SSA_NAME_IS_DEFAULT_DEF (ptr));
1825 if (SSA_NAME_VAR (ptr))
1826 stream_write_tree (ob, SSA_NAME_VAR (ptr), true);
1827 else
1828 /* ??? This drops SSA_NAME_IDENTIFIER on the floor. */
1829 stream_write_tree (ob, TREE_TYPE (ptr), true);
1832 streamer_write_zero (ob);
1836 /* Output a wide-int. */
1838 static void
1839 streamer_write_wi (struct output_block *ob,
1840 const widest_int &w)
1842 int len = w.get_len ();
1844 streamer_write_uhwi (ob, w.get_precision ());
1845 streamer_write_uhwi (ob, len);
1846 for (int i = 0; i < len; i++)
1847 streamer_write_hwi (ob, w.elt (i));
1851 /* Output the cfg. */
1853 static void
1854 output_cfg (struct output_block *ob, struct function *fn)
1856 struct lto_output_stream *tmp_stream = ob->main_stream;
1857 basic_block bb;
1859 ob->main_stream = ob->cfg_stream;
1861 streamer_write_enum (ob->main_stream, profile_status_d, PROFILE_LAST,
1862 profile_status_for_fn (fn));
1864 /* Output the number of the highest basic block. */
1865 streamer_write_uhwi (ob, last_basic_block_for_fn (fn));
1867 FOR_ALL_BB_FN (bb, fn)
1869 edge_iterator ei;
1870 edge e;
1872 streamer_write_hwi (ob, bb->index);
1874 /* Output the successors and the edge flags. */
1875 streamer_write_uhwi (ob, EDGE_COUNT (bb->succs));
1876 FOR_EACH_EDGE (e, ei, bb->succs)
1878 streamer_write_uhwi (ob, e->dest->index);
1879 streamer_write_hwi (ob, e->probability);
1880 streamer_write_gcov_count (ob, e->count);
1881 streamer_write_uhwi (ob, e->flags);
1885 streamer_write_hwi (ob, -1);
1887 bb = ENTRY_BLOCK_PTR_FOR_FN (cfun);
1888 while (bb->next_bb)
1890 streamer_write_hwi (ob, bb->next_bb->index);
1891 bb = bb->next_bb;
1894 streamer_write_hwi (ob, -1);
1896 /* ??? The cfgloop interface is tied to cfun. */
1897 gcc_assert (cfun == fn);
1899 /* Output the number of loops. */
1900 streamer_write_uhwi (ob, number_of_loops (fn));
1902 /* Output each loop, skipping the tree root which has number zero. */
1903 for (unsigned i = 1; i < number_of_loops (fn); ++i)
1905 struct loop *loop = get_loop (fn, i);
1907 /* Write the index of the loop header. That's enough to rebuild
1908 the loop tree on the reader side. Stream -1 for an unused
1909 loop entry. */
1910 if (!loop)
1912 streamer_write_hwi (ob, -1);
1913 continue;
1915 else
1916 streamer_write_hwi (ob, loop->header->index);
1918 /* Write everything copy_loop_info copies. */
1919 streamer_write_enum (ob->main_stream,
1920 loop_estimation, EST_LAST, loop->estimate_state);
1921 streamer_write_hwi (ob, loop->any_upper_bound);
1922 if (loop->any_upper_bound)
1923 streamer_write_wi (ob, loop->nb_iterations_upper_bound);
1924 streamer_write_hwi (ob, loop->any_estimate);
1925 if (loop->any_estimate)
1926 streamer_write_wi (ob, loop->nb_iterations_estimate);
1928 /* Write OMP SIMD related info. */
1929 streamer_write_hwi (ob, loop->safelen);
1930 streamer_write_hwi (ob, loop->dont_vectorize);
1931 streamer_write_hwi (ob, loop->force_vectorize);
1932 stream_write_tree (ob, loop->simduid, true);
1935 ob->main_stream = tmp_stream;
1939 /* Create the header in the file using OB. If the section type is for
1940 a function, set FN to the decl for that function. */
1942 void
1943 produce_asm (struct output_block *ob, tree fn)
1945 enum lto_section_type section_type = ob->section_type;
1946 struct lto_function_header header;
1947 char *section_name;
1949 if (section_type == LTO_section_function_body)
1951 const char *name = IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (fn));
1952 section_name = lto_get_section_name (section_type, name, NULL);
1954 else
1955 section_name = lto_get_section_name (section_type, NULL, NULL);
1957 lto_begin_section (section_name, !flag_wpa);
1958 free (section_name);
1960 /* The entire header is stream computed here. */
1961 memset (&header, 0, sizeof (struct lto_function_header));
1963 /* Write the header. */
1964 header.major_version = LTO_major_version;
1965 header.minor_version = LTO_minor_version;
1967 if (section_type == LTO_section_function_body)
1968 header.cfg_size = ob->cfg_stream->total_size;
1969 header.main_size = ob->main_stream->total_size;
1970 header.string_size = ob->string_stream->total_size;
1971 lto_write_data (&header, sizeof header);
1973 /* Put all of the gimple and the string table out the asm file as a
1974 block of text. */
1975 if (section_type == LTO_section_function_body)
1976 lto_write_stream (ob->cfg_stream);
1977 lto_write_stream (ob->main_stream);
1978 lto_write_stream (ob->string_stream);
1980 lto_end_section ();
1984 /* Output the base body of struct function FN using output block OB. */
1986 static void
1987 output_struct_function_base (struct output_block *ob, struct function *fn)
1989 struct bitpack_d bp;
1990 unsigned i;
1991 tree t;
1993 /* Output the static chain and non-local goto save area. */
1994 stream_write_tree (ob, fn->static_chain_decl, true);
1995 stream_write_tree (ob, fn->nonlocal_goto_save_area, true);
1997 /* Output all the local variables in the function. */
1998 streamer_write_hwi (ob, vec_safe_length (fn->local_decls));
1999 FOR_EACH_VEC_SAFE_ELT (fn->local_decls, i, t)
2000 stream_write_tree (ob, t, true);
2002 /* Output current IL state of the function. */
2003 streamer_write_uhwi (ob, fn->curr_properties);
2005 /* Write all the attributes for FN. */
2006 bp = bitpack_create (ob->main_stream);
2007 bp_pack_value (&bp, fn->is_thunk, 1);
2008 bp_pack_value (&bp, fn->has_local_explicit_reg_vars, 1);
2009 bp_pack_value (&bp, fn->returns_pcc_struct, 1);
2010 bp_pack_value (&bp, fn->returns_struct, 1);
2011 bp_pack_value (&bp, fn->can_throw_non_call_exceptions, 1);
2012 bp_pack_value (&bp, fn->can_delete_dead_exceptions, 1);
2013 bp_pack_value (&bp, fn->always_inline_functions_inlined, 1);
2014 bp_pack_value (&bp, fn->after_inlining, 1);
2015 bp_pack_value (&bp, fn->stdarg, 1);
2016 bp_pack_value (&bp, fn->has_nonlocal_label, 1);
2017 bp_pack_value (&bp, fn->calls_alloca, 1);
2018 bp_pack_value (&bp, fn->calls_setjmp, 1);
2019 bp_pack_value (&bp, fn->has_force_vectorize_loops, 1);
2020 bp_pack_value (&bp, fn->has_simduid_loops, 1);
2021 bp_pack_value (&bp, fn->va_list_fpr_size, 8);
2022 bp_pack_value (&bp, fn->va_list_gpr_size, 8);
2023 bp_pack_value (&bp, fn->last_clique, sizeof (short) * 8);
2025 /* Output the function start and end loci. */
2026 stream_output_location (ob, &bp, fn->function_start_locus);
2027 stream_output_location (ob, &bp, fn->function_end_locus);
2029 streamer_write_bitpack (&bp);
2033 /* Output the body of function NODE->DECL. */
2035 static void
2036 output_function (struct cgraph_node *node)
2038 tree function;
2039 struct function *fn;
2040 basic_block bb;
2041 struct output_block *ob;
2043 function = node->decl;
2044 fn = DECL_STRUCT_FUNCTION (function);
2045 ob = create_output_block (LTO_section_function_body);
2047 clear_line_info (ob);
2048 ob->symbol = node;
2050 gcc_assert (current_function_decl == NULL_TREE && cfun == NULL);
2052 /* Set current_function_decl and cfun. */
2053 push_cfun (fn);
2055 /* Make string 0 be a NULL string. */
2056 streamer_write_char_stream (ob->string_stream, 0);
2058 streamer_write_record_start (ob, LTO_function);
2060 /* Output decls for parameters and args. */
2061 stream_write_tree (ob, DECL_RESULT (function), true);
2062 streamer_write_chain (ob, DECL_ARGUMENTS (function), true);
2064 /* Output DECL_INITIAL for the function, which contains the tree of
2065 lexical scopes. */
2066 stream_write_tree (ob, DECL_INITIAL (function), true);
2068 /* We also stream abstract functions where we stream only stuff needed for
2069 debug info. */
2070 if (gimple_has_body_p (function))
2072 streamer_write_uhwi (ob, 1);
2073 output_struct_function_base (ob, fn);
2075 /* Output all the SSA names used in the function. */
2076 output_ssa_names (ob, fn);
2078 /* Output any exception handling regions. */
2079 output_eh_regions (ob, fn);
2082 /* We will renumber the statements. The code that does this uses
2083 the same ordering that we use for serializing them so we can use
2084 the same code on the other end and not have to write out the
2085 statement numbers. We do not assign UIDs to PHIs here because
2086 virtual PHIs get re-computed on-the-fly which would make numbers
2087 inconsistent. */
2088 set_gimple_stmt_max_uid (cfun, 0);
2089 FOR_ALL_BB_FN (bb, cfun)
2091 for (gphi_iterator gsi = gsi_start_phis (bb); !gsi_end_p (gsi);
2092 gsi_next (&gsi))
2094 gphi *stmt = gsi.phi ();
2096 /* Virtual PHIs are not going to be streamed. */
2097 if (!virtual_operand_p (gimple_phi_result (stmt)))
2098 gimple_set_uid (stmt, inc_gimple_stmt_max_uid (cfun));
2100 for (gimple_stmt_iterator gsi = gsi_start_bb (bb); !gsi_end_p (gsi);
2101 gsi_next (&gsi))
2103 gimple *stmt = gsi_stmt (gsi);
2104 gimple_set_uid (stmt, inc_gimple_stmt_max_uid (cfun));
2107 /* To avoid keeping duplicate gimple IDs in the statements, renumber
2108 virtual phis now. */
2109 FOR_ALL_BB_FN (bb, cfun)
2111 for (gphi_iterator gsi = gsi_start_phis (bb); !gsi_end_p (gsi);
2112 gsi_next (&gsi))
2114 gphi *stmt = gsi.phi ();
2115 if (virtual_operand_p (gimple_phi_result (stmt)))
2116 gimple_set_uid (stmt, inc_gimple_stmt_max_uid (cfun));
2120 /* Output the code for the function. */
2121 FOR_ALL_BB_FN (bb, fn)
2122 output_bb (ob, bb, fn);
2124 /* The terminator for this function. */
2125 streamer_write_record_start (ob, LTO_null);
2127 output_cfg (ob, fn);
2129 pop_cfun ();
2131 else
2132 streamer_write_uhwi (ob, 0);
2134 /* Create a section to hold the pickled output of this function. */
2135 produce_asm (ob, function);
2137 destroy_output_block (ob);
2140 /* Output the body of function NODE->DECL. */
2142 static void
2143 output_constructor (struct varpool_node *node)
2145 tree var = node->decl;
2146 struct output_block *ob;
2148 ob = create_output_block (LTO_section_function_body);
2150 clear_line_info (ob);
2151 ob->symbol = node;
2153 /* Make string 0 be a NULL string. */
2154 streamer_write_char_stream (ob->string_stream, 0);
2156 /* Output DECL_INITIAL for the function, which contains the tree of
2157 lexical scopes. */
2158 stream_write_tree (ob, DECL_INITIAL (var), true);
2160 /* Create a section to hold the pickled output of this function. */
2161 produce_asm (ob, var);
2163 destroy_output_block (ob);
2167 /* Emit toplevel asms. */
2169 void
2170 lto_output_toplevel_asms (void)
2172 struct output_block *ob;
2173 struct asm_node *can;
2174 char *section_name;
2175 struct lto_simple_header_with_strings header;
2177 if (!symtab->first_asm_symbol ())
2178 return;
2180 ob = create_output_block (LTO_section_asm);
2182 /* Make string 0 be a NULL string. */
2183 streamer_write_char_stream (ob->string_stream, 0);
2185 for (can = symtab->first_asm_symbol (); can; can = can->next)
2187 streamer_write_string_cst (ob, ob->main_stream, can->asm_str);
2188 streamer_write_hwi (ob, can->order);
2191 streamer_write_string_cst (ob, ob->main_stream, NULL_TREE);
2193 section_name = lto_get_section_name (LTO_section_asm, NULL, NULL);
2194 lto_begin_section (section_name, !flag_wpa);
2195 free (section_name);
2197 /* The entire header stream is computed here. */
2198 memset (&header, 0, sizeof (header));
2200 /* Write the header. */
2201 header.major_version = LTO_major_version;
2202 header.minor_version = LTO_minor_version;
2204 header.main_size = ob->main_stream->total_size;
2205 header.string_size = ob->string_stream->total_size;
2206 lto_write_data (&header, sizeof header);
2208 /* Put all of the gimple and the string table out the asm file as a
2209 block of text. */
2210 lto_write_stream (ob->main_stream);
2211 lto_write_stream (ob->string_stream);
2213 lto_end_section ();
2215 destroy_output_block (ob);
2219 /* Copy the function body or variable constructor of NODE without deserializing. */
2221 static void
2222 copy_function_or_variable (struct symtab_node *node)
2224 tree function = node->decl;
2225 struct lto_file_decl_data *file_data = node->lto_file_data;
2226 const char *data;
2227 size_t len;
2228 const char *name = IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (function));
2229 char *section_name =
2230 lto_get_section_name (LTO_section_function_body, name, NULL);
2231 size_t i, j;
2232 struct lto_in_decl_state *in_state;
2233 struct lto_out_decl_state *out_state = lto_get_out_decl_state ();
2235 lto_begin_section (section_name, false);
2236 free (section_name);
2238 /* We may have renamed the declaration, e.g., a static function. */
2239 name = lto_get_decl_name_mapping (file_data, name);
2241 data = lto_get_raw_section_data (file_data, LTO_section_function_body,
2242 name, &len);
2243 gcc_assert (data);
2245 /* Do a bit copy of the function body. */
2246 lto_write_raw_data (data, len);
2248 /* Copy decls. */
2249 in_state =
2250 lto_get_function_in_decl_state (node->lto_file_data, function);
2251 out_state->compressed = in_state->compressed;
2252 gcc_assert (in_state);
2254 for (i = 0; i < LTO_N_DECL_STREAMS; i++)
2256 size_t n = vec_safe_length (in_state->streams[i]);
2257 vec<tree, va_gc> *trees = in_state->streams[i];
2258 struct lto_tree_ref_encoder *encoder = &(out_state->streams[i]);
2260 /* The out state must have the same indices and the in state.
2261 So just copy the vector. All the encoders in the in state
2262 must be empty where we reach here. */
2263 gcc_assert (lto_tree_ref_encoder_size (encoder) == 0);
2264 encoder->trees.reserve_exact (n);
2265 for (j = 0; j < n; j++)
2266 encoder->trees.safe_push ((*trees)[j]);
2269 lto_free_raw_section_data (file_data, LTO_section_function_body, name,
2270 data, len);
2271 lto_end_section ();
2274 /* Wrap symbol references in *TP inside a type-preserving MEM_REF. */
2276 static tree
2277 wrap_refs (tree *tp, int *ws, void *)
2279 tree t = *tp;
2280 if (handled_component_p (t)
2281 && TREE_CODE (TREE_OPERAND (t, 0)) == VAR_DECL
2282 && TREE_PUBLIC (TREE_OPERAND (t, 0)))
2284 tree decl = TREE_OPERAND (t, 0);
2285 tree ptrtype = build_pointer_type (TREE_TYPE (decl));
2286 TREE_OPERAND (t, 0) = build2 (MEM_REF, TREE_TYPE (decl),
2287 build1 (ADDR_EXPR, ptrtype, decl),
2288 build_int_cst (ptrtype, 0));
2289 TREE_THIS_VOLATILE (TREE_OPERAND (t, 0)) = TREE_THIS_VOLATILE (decl);
2290 *ws = 0;
2292 else if (TREE_CODE (t) == CONSTRUCTOR)
2294 else if (!EXPR_P (t))
2295 *ws = 0;
2296 return NULL_TREE;
2299 /* Main entry point from the pass manager. */
2301 void
2302 lto_output (void)
2304 struct lto_out_decl_state *decl_state;
2305 bitmap output = NULL;
2306 int i, n_nodes;
2307 lto_symtab_encoder_t encoder = lto_get_out_decl_state ()->symtab_node_encoder;
2309 if (flag_checking)
2310 output = lto_bitmap_alloc ();
2312 /* Initialize the streamer. */
2313 lto_streamer_init ();
2315 n_nodes = lto_symtab_encoder_size (encoder);
2316 /* Process only the functions with bodies. */
2317 for (i = 0; i < n_nodes; i++)
2319 symtab_node *snode = lto_symtab_encoder_deref (encoder, i);
2320 if (cgraph_node *node = dyn_cast <cgraph_node *> (snode))
2322 if (lto_symtab_encoder_encode_body_p (encoder, node)
2323 && !node->alias
2324 && (!node->thunk.thunk_p || !node->thunk.add_pointer_bounds_args))
2326 if (flag_checking)
2328 gcc_assert (!bitmap_bit_p (output, DECL_UID (node->decl)));
2329 bitmap_set_bit (output, DECL_UID (node->decl));
2331 decl_state = lto_new_out_decl_state ();
2332 lto_push_out_decl_state (decl_state);
2333 if (gimple_has_body_p (node->decl) || !flag_wpa
2334 /* Thunks have no body but they may be synthetized
2335 at WPA time. */
2336 || DECL_ARGUMENTS (node->decl))
2337 output_function (node);
2338 else
2339 copy_function_or_variable (node);
2340 gcc_assert (lto_get_out_decl_state () == decl_state);
2341 lto_pop_out_decl_state ();
2342 lto_record_function_out_decl_state (node->decl, decl_state);
2345 else if (varpool_node *node = dyn_cast <varpool_node *> (snode))
2347 /* Wrap symbol references inside the ctor in a type
2348 preserving MEM_REF. */
2349 tree ctor = DECL_INITIAL (node->decl);
2350 if (ctor && !in_lto_p)
2351 walk_tree (&ctor, wrap_refs, NULL, NULL);
2352 if (get_symbol_initial_value (encoder, node->decl) == error_mark_node
2353 && lto_symtab_encoder_encode_initializer_p (encoder, node)
2354 && !node->alias)
2356 timevar_push (TV_IPA_LTO_CTORS_OUT);
2357 if (flag_checking)
2359 gcc_assert (!bitmap_bit_p (output, DECL_UID (node->decl)));
2360 bitmap_set_bit (output, DECL_UID (node->decl));
2362 decl_state = lto_new_out_decl_state ();
2363 lto_push_out_decl_state (decl_state);
2364 if (DECL_INITIAL (node->decl) != error_mark_node
2365 || !flag_wpa)
2366 output_constructor (node);
2367 else
2368 copy_function_or_variable (node);
2369 gcc_assert (lto_get_out_decl_state () == decl_state);
2370 lto_pop_out_decl_state ();
2371 lto_record_function_out_decl_state (node->decl, decl_state);
2372 timevar_pop (TV_IPA_LTO_CTORS_OUT);
2377 /* Emit the callgraph after emitting function bodies. This needs to
2378 be done now to make sure that all the statements in every function
2379 have been renumbered so that edges can be associated with call
2380 statements using the statement UIDs. */
2381 output_symtab ();
2383 output_offload_tables ();
2385 #if CHECKING_P
2386 lto_bitmap_free (output);
2387 #endif
2390 /* Write each node in encoded by ENCODER to OB, as well as those reachable
2391 from it and required for correct representation of its semantics.
2392 Each node in ENCODER must be a global declaration or a type. A node
2393 is written only once, even if it appears multiple times in the
2394 vector. Certain transitively-reachable nodes, such as those
2395 representing expressions, may be duplicated, but such nodes
2396 must not appear in ENCODER itself. */
2398 static void
2399 write_global_stream (struct output_block *ob,
2400 struct lto_tree_ref_encoder *encoder)
2402 tree t;
2403 size_t index;
2404 const size_t size = lto_tree_ref_encoder_size (encoder);
2406 for (index = 0; index < size; index++)
2408 t = lto_tree_ref_encoder_get_tree (encoder, index);
2409 if (!streamer_tree_cache_lookup (ob->writer_cache, t, NULL))
2410 stream_write_tree (ob, t, false);
2415 /* Write a sequence of indices into the globals vector corresponding
2416 to the trees in ENCODER. These are used by the reader to map the
2417 indices used to refer to global entities within function bodies to
2418 their referents. */
2420 static void
2421 write_global_references (struct output_block *ob,
2422 struct lto_tree_ref_encoder *encoder)
2424 tree t;
2425 uint32_t index;
2426 const uint32_t size = lto_tree_ref_encoder_size (encoder);
2428 /* Write size and slot indexes as 32-bit unsigned numbers. */
2429 uint32_t *data = XNEWVEC (uint32_t, size + 1);
2430 data[0] = size;
2432 for (index = 0; index < size; index++)
2434 unsigned slot_num;
2436 t = lto_tree_ref_encoder_get_tree (encoder, index);
2437 streamer_tree_cache_lookup (ob->writer_cache, t, &slot_num);
2438 gcc_assert (slot_num != (unsigned)-1);
2439 data[index + 1] = slot_num;
2442 lto_write_data (data, sizeof (int32_t) * (size + 1));
2443 free (data);
2447 /* Write all the streams in an lto_out_decl_state STATE using
2448 output block OB and output stream OUT_STREAM. */
2450 void
2451 lto_output_decl_state_streams (struct output_block *ob,
2452 struct lto_out_decl_state *state)
2454 int i;
2456 for (i = 0; i < LTO_N_DECL_STREAMS; i++)
2457 write_global_stream (ob, &state->streams[i]);
2461 /* Write all the references in an lto_out_decl_state STATE using
2462 output block OB and output stream OUT_STREAM. */
2464 void
2465 lto_output_decl_state_refs (struct output_block *ob,
2466 struct lto_out_decl_state *state)
2468 unsigned i;
2469 unsigned ref;
2470 tree decl;
2472 /* Write reference to FUNCTION_DECL. If there is not function,
2473 write reference to void_type_node. */
2474 decl = (state->fn_decl) ? state->fn_decl : void_type_node;
2475 streamer_tree_cache_lookup (ob->writer_cache, decl, &ref);
2476 gcc_assert (ref != (unsigned)-1);
2477 ref = ref * 2 + (state->compressed ? 1 : 0);
2478 lto_write_data (&ref, sizeof (uint32_t));
2480 for (i = 0; i < LTO_N_DECL_STREAMS; i++)
2481 write_global_references (ob, &state->streams[i]);
2485 /* Return the written size of STATE. */
2487 static size_t
2488 lto_out_decl_state_written_size (struct lto_out_decl_state *state)
2490 int i;
2491 size_t size;
2493 size = sizeof (int32_t); /* fn_ref. */
2494 for (i = 0; i < LTO_N_DECL_STREAMS; i++)
2496 size += sizeof (int32_t); /* vector size. */
2497 size += (lto_tree_ref_encoder_size (&state->streams[i])
2498 * sizeof (int32_t));
2500 return size;
2504 /* Write symbol T into STREAM in CACHE. SEEN specifies symbols we wrote
2505 so far. */
2507 static void
2508 write_symbol (struct streamer_tree_cache_d *cache,
2509 tree t, hash_set<const char *> *seen, bool alias)
2511 const char *name;
2512 enum gcc_plugin_symbol_kind kind;
2513 enum gcc_plugin_symbol_visibility visibility = GCCPV_DEFAULT;
2514 unsigned slot_num;
2515 uint64_t size;
2516 const char *comdat;
2517 unsigned char c;
2519 /* None of the following kinds of symbols are needed in the
2520 symbol table. */
2521 if (!TREE_PUBLIC (t)
2522 || is_builtin_fn (t)
2523 || DECL_ABSTRACT_P (t)
2524 || (TREE_CODE (t) == VAR_DECL && DECL_HARD_REGISTER (t)))
2525 return;
2526 gcc_assert (TREE_CODE (t) != RESULT_DECL);
2528 gcc_assert (TREE_CODE (t) == VAR_DECL
2529 || TREE_CODE (t) == FUNCTION_DECL);
2531 name = IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (t));
2533 /* This behaves like assemble_name_raw in varasm.c, performing the
2534 same name manipulations that ASM_OUTPUT_LABELREF does. */
2535 name = IDENTIFIER_POINTER ((*targetm.asm_out.mangle_assembler_name) (name));
2537 if (seen->add (name))
2538 return;
2540 streamer_tree_cache_lookup (cache, t, &slot_num);
2541 gcc_assert (slot_num != (unsigned)-1);
2543 if (DECL_EXTERNAL (t))
2545 if (DECL_WEAK (t))
2546 kind = GCCPK_WEAKUNDEF;
2547 else
2548 kind = GCCPK_UNDEF;
2550 else
2552 if (DECL_WEAK (t))
2553 kind = GCCPK_WEAKDEF;
2554 else if (DECL_COMMON (t))
2555 kind = GCCPK_COMMON;
2556 else
2557 kind = GCCPK_DEF;
2559 /* When something is defined, it should have node attached. */
2560 gcc_assert (alias || TREE_CODE (t) != VAR_DECL
2561 || varpool_node::get (t)->definition);
2562 gcc_assert (alias || TREE_CODE (t) != FUNCTION_DECL
2563 || (cgraph_node::get (t)
2564 && cgraph_node::get (t)->definition));
2567 /* Imitate what default_elf_asm_output_external do.
2568 When symbol is external, we need to output it with DEFAULT visibility
2569 when compiling with -fvisibility=default, while with HIDDEN visibility
2570 when symbol has attribute (visibility("hidden")) specified.
2571 targetm.binds_local_p check DECL_VISIBILITY_SPECIFIED and gets this
2572 right. */
2574 if (DECL_EXTERNAL (t)
2575 && !targetm.binds_local_p (t))
2576 visibility = GCCPV_DEFAULT;
2577 else
2578 switch (DECL_VISIBILITY (t))
2580 case VISIBILITY_DEFAULT:
2581 visibility = GCCPV_DEFAULT;
2582 break;
2583 case VISIBILITY_PROTECTED:
2584 visibility = GCCPV_PROTECTED;
2585 break;
2586 case VISIBILITY_HIDDEN:
2587 visibility = GCCPV_HIDDEN;
2588 break;
2589 case VISIBILITY_INTERNAL:
2590 visibility = GCCPV_INTERNAL;
2591 break;
2594 if (kind == GCCPK_COMMON
2595 && DECL_SIZE_UNIT (t)
2596 && TREE_CODE (DECL_SIZE_UNIT (t)) == INTEGER_CST)
2597 size = TREE_INT_CST_LOW (DECL_SIZE_UNIT (t));
2598 else
2599 size = 0;
2601 if (DECL_ONE_ONLY (t))
2602 comdat = IDENTIFIER_POINTER (decl_comdat_group_id (t));
2603 else
2604 comdat = "";
2606 lto_write_data (name, strlen (name) + 1);
2607 lto_write_data (comdat, strlen (comdat) + 1);
2608 c = (unsigned char) kind;
2609 lto_write_data (&c, 1);
2610 c = (unsigned char) visibility;
2611 lto_write_data (&c, 1);
2612 lto_write_data (&size, 8);
2613 lto_write_data (&slot_num, 4);
2616 /* Return true if NODE should appear in the plugin symbol table. */
2618 bool
2619 output_symbol_p (symtab_node *node)
2621 struct cgraph_node *cnode;
2622 if (!node->real_symbol_p ())
2623 return false;
2624 /* We keep external functions in symtab for sake of inlining
2625 and devirtualization. We do not want to see them in symbol table as
2626 references unless they are really used. */
2627 cnode = dyn_cast <cgraph_node *> (node);
2628 if (cnode && (!node->definition || DECL_EXTERNAL (cnode->decl))
2629 && cnode->callers)
2630 return true;
2632 /* Ignore all references from external vars initializers - they are not really
2633 part of the compilation unit until they are used by folding. Some symbols,
2634 like references to external construction vtables can not be referred to at all.
2635 We decide this at can_refer_decl_in_current_unit_p. */
2636 if (!node->definition || DECL_EXTERNAL (node->decl))
2638 int i;
2639 struct ipa_ref *ref;
2640 for (i = 0; node->iterate_referring (i, ref); i++)
2642 if (ref->use == IPA_REF_ALIAS)
2643 continue;
2644 if (is_a <cgraph_node *> (ref->referring))
2645 return true;
2646 if (!DECL_EXTERNAL (ref->referring->decl))
2647 return true;
2649 return false;
2651 return true;
2655 /* Write an IL symbol table to OB.
2656 SET and VSET are cgraph/varpool node sets we are outputting. */
2658 static void
2659 produce_symtab (struct output_block *ob)
2661 struct streamer_tree_cache_d *cache = ob->writer_cache;
2662 char *section_name = lto_get_section_name (LTO_section_symtab, NULL, NULL);
2663 lto_symtab_encoder_t encoder = ob->decl_state->symtab_node_encoder;
2664 lto_symtab_encoder_iterator lsei;
2666 lto_begin_section (section_name, false);
2667 free (section_name);
2669 hash_set<const char *> seen;
2671 /* Write the symbol table.
2672 First write everything defined and then all declarations.
2673 This is necessary to handle cases where we have duplicated symbols. */
2674 for (lsei = lsei_start (encoder);
2675 !lsei_end_p (lsei); lsei_next (&lsei))
2677 symtab_node *node = lsei_node (lsei);
2679 if (!output_symbol_p (node) || DECL_EXTERNAL (node->decl))
2680 continue;
2681 write_symbol (cache, node->decl, &seen, false);
2683 for (lsei = lsei_start (encoder);
2684 !lsei_end_p (lsei); lsei_next (&lsei))
2686 symtab_node *node = lsei_node (lsei);
2688 if (!output_symbol_p (node) || !DECL_EXTERNAL (node->decl))
2689 continue;
2690 write_symbol (cache, node->decl, &seen, false);
2693 lto_end_section ();
2697 /* Init the streamer_mode_table for output, where we collect info on what
2698 machine_mode values have been streamed. */
2699 void
2700 lto_output_init_mode_table (void)
2702 memset (streamer_mode_table, '\0', MAX_MACHINE_MODE);
2706 /* Write the mode table. */
2707 static void
2708 lto_write_mode_table (void)
2710 struct output_block *ob;
2711 ob = create_output_block (LTO_section_mode_table);
2712 bitpack_d bp = bitpack_create (ob->main_stream);
2714 /* Ensure that for GET_MODE_INNER (m) != m we have
2715 also the inner mode marked. */
2716 for (int i = 0; i < (int) MAX_MACHINE_MODE; i++)
2717 if (streamer_mode_table[i])
2719 machine_mode m = (machine_mode) i;
2720 if (GET_MODE_INNER (m) != m)
2721 streamer_mode_table[(int) GET_MODE_INNER (m)] = 1;
2723 /* First stream modes that have GET_MODE_INNER (m) == m,
2724 so that we can refer to them afterwards. */
2725 for (int pass = 0; pass < 2; pass++)
2726 for (int i = 0; i < (int) MAX_MACHINE_MODE; i++)
2727 if (streamer_mode_table[i] && i != (int) VOIDmode && i != (int) BLKmode)
2729 machine_mode m = (machine_mode) i;
2730 if ((GET_MODE_INNER (m) == m) ^ (pass == 0))
2731 continue;
2732 bp_pack_value (&bp, m, 8);
2733 bp_pack_enum (&bp, mode_class, MAX_MODE_CLASS, GET_MODE_CLASS (m));
2734 bp_pack_value (&bp, GET_MODE_SIZE (m), 8);
2735 bp_pack_value (&bp, GET_MODE_PRECISION (m), 16);
2736 bp_pack_value (&bp, GET_MODE_INNER (m), 8);
2737 bp_pack_value (&bp, GET_MODE_NUNITS (m), 8);
2738 switch (GET_MODE_CLASS (m))
2740 case MODE_FRACT:
2741 case MODE_UFRACT:
2742 case MODE_ACCUM:
2743 case MODE_UACCUM:
2744 bp_pack_value (&bp, GET_MODE_IBIT (m), 8);
2745 bp_pack_value (&bp, GET_MODE_FBIT (m), 8);
2746 break;
2747 case MODE_FLOAT:
2748 case MODE_DECIMAL_FLOAT:
2749 bp_pack_string (ob, &bp, REAL_MODE_FORMAT (m)->name, true);
2750 break;
2751 default:
2752 break;
2754 bp_pack_string (ob, &bp, GET_MODE_NAME (m), true);
2756 bp_pack_value (&bp, VOIDmode, 8);
2758 streamer_write_bitpack (&bp);
2760 char *section_name
2761 = lto_get_section_name (LTO_section_mode_table, NULL, NULL);
2762 lto_begin_section (section_name, !flag_wpa);
2763 free (section_name);
2765 /* The entire header stream is computed here. */
2766 struct lto_simple_header_with_strings header;
2767 memset (&header, 0, sizeof (header));
2769 /* Write the header. */
2770 header.major_version = LTO_major_version;
2771 header.minor_version = LTO_minor_version;
2773 header.main_size = ob->main_stream->total_size;
2774 header.string_size = ob->string_stream->total_size;
2775 lto_write_data (&header, sizeof header);
2777 /* Put all of the gimple and the string table out the asm file as a
2778 block of text. */
2779 lto_write_stream (ob->main_stream);
2780 lto_write_stream (ob->string_stream);
2782 lto_end_section ();
2783 destroy_output_block (ob);
2787 /* This pass is run after all of the functions are serialized and all
2788 of the IPA passes have written their serialized forms. This pass
2789 causes the vector of all of the global decls and types used from
2790 this file to be written in to a section that can then be read in to
2791 recover these on other side. */
2793 void
2794 produce_asm_for_decls (void)
2796 struct lto_out_decl_state *out_state;
2797 struct lto_out_decl_state *fn_out_state;
2798 struct lto_decl_header header;
2799 char *section_name;
2800 struct output_block *ob;
2801 unsigned idx, num_fns;
2802 size_t decl_state_size;
2803 int32_t num_decl_states;
2805 ob = create_output_block (LTO_section_decls);
2807 memset (&header, 0, sizeof (struct lto_decl_header));
2809 section_name = lto_get_section_name (LTO_section_decls, NULL, NULL);
2810 lto_begin_section (section_name, !flag_wpa);
2811 free (section_name);
2813 /* Make string 0 be a NULL string. */
2814 streamer_write_char_stream (ob->string_stream, 0);
2816 gcc_assert (!alias_pairs);
2818 /* Get rid of the global decl state hash tables to save some memory. */
2819 out_state = lto_get_out_decl_state ();
2820 for (int i = 0; i < LTO_N_DECL_STREAMS; i++)
2821 if (out_state->streams[i].tree_hash_table)
2823 delete out_state->streams[i].tree_hash_table;
2824 out_state->streams[i].tree_hash_table = NULL;
2827 /* Write the global symbols. */
2828 lto_output_decl_state_streams (ob, out_state);
2829 num_fns = lto_function_decl_states.length ();
2830 for (idx = 0; idx < num_fns; idx++)
2832 fn_out_state =
2833 lto_function_decl_states[idx];
2834 lto_output_decl_state_streams (ob, fn_out_state);
2837 header.major_version = LTO_major_version;
2838 header.minor_version = LTO_minor_version;
2840 /* Currently not used. This field would allow us to preallocate
2841 the globals vector, so that it need not be resized as it is extended. */
2842 header.num_nodes = -1;
2844 /* Compute the total size of all decl out states. */
2845 decl_state_size = sizeof (int32_t);
2846 decl_state_size += lto_out_decl_state_written_size (out_state);
2847 for (idx = 0; idx < num_fns; idx++)
2849 fn_out_state =
2850 lto_function_decl_states[idx];
2851 decl_state_size += lto_out_decl_state_written_size (fn_out_state);
2853 header.decl_state_size = decl_state_size;
2855 header.main_size = ob->main_stream->total_size;
2856 header.string_size = ob->string_stream->total_size;
2858 lto_write_data (&header, sizeof header);
2860 /* Write the main out-decl state, followed by out-decl states of
2861 functions. */
2862 num_decl_states = num_fns + 1;
2863 lto_write_data (&num_decl_states, sizeof (num_decl_states));
2864 lto_output_decl_state_refs (ob, out_state);
2865 for (idx = 0; idx < num_fns; idx++)
2867 fn_out_state = lto_function_decl_states[idx];
2868 lto_output_decl_state_refs (ob, fn_out_state);
2871 lto_write_stream (ob->main_stream);
2872 lto_write_stream (ob->string_stream);
2874 lto_end_section ();
2876 /* Write the symbol table. It is used by linker to determine dependencies
2877 and thus we can skip it for WPA. */
2878 if (!flag_wpa)
2879 produce_symtab (ob);
2881 /* Write command line opts. */
2882 lto_write_options ();
2884 /* Deallocate memory and clean up. */
2885 for (idx = 0; idx < num_fns; idx++)
2887 fn_out_state =
2888 lto_function_decl_states[idx];
2889 lto_delete_out_decl_state (fn_out_state);
2891 lto_symtab_encoder_delete (ob->decl_state->symtab_node_encoder);
2892 lto_function_decl_states.release ();
2893 destroy_output_block (ob);
2894 if (lto_stream_offload_p)
2895 lto_write_mode_table ();