* config/i386/predicates.md (general_reg_operand): Use GENERAL_REGNO_P.
[official-gcc.git] / gcc / lto-streamer-out.c
bloba58c54ef5ba8c83d92e1576ecfaa07720f469853
1 /* Write the GIMPLE representation to a file stream.
3 Copyright (C) 2009-2015 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 "tree.h"
28 #include "gimple.h"
29 #include "rtl.h"
30 #include "ssa.h"
31 #include "alias.h"
32 #include "fold-const.h"
33 #include "stor-layout.h"
34 #include "flags.h"
35 #include "insn-config.h"
36 #include "expmed.h"
37 #include "dojump.h"
38 #include "explow.h"
39 #include "calls.h"
40 #include "emit-rtl.h"
41 #include "varasm.h"
42 #include "stmt.h"
43 #include "expr.h"
44 #include "params.h"
45 #include "internal-fn.h"
46 #include "gimple-iterator.h"
47 #include "tree-pass.h"
48 #include "diagnostic-core.h"
49 #include "except.h"
50 #include "lto-symtab.h"
51 #include "cgraph.h"
52 #include "lto-streamer.h"
53 #include "data-streamer.h"
54 #include "gimple-streamer.h"
55 #include "tree-streamer.h"
56 #include "streamer-hooks.h"
57 #include "cfgloop.h"
58 #include "builtins.h"
59 #include "gomp-constants.h"
62 static void lto_write_tree (struct output_block*, tree, bool);
64 /* Clear the line info stored in DATA_IN. */
66 static void
67 clear_line_info (struct output_block *ob)
69 ob->current_file = NULL;
70 ob->current_line = 0;
71 ob->current_col = 0;
75 /* Create the output block and return it. SECTION_TYPE is
76 LTO_section_function_body or LTO_static_initializer. */
78 struct output_block *
79 create_output_block (enum lto_section_type section_type)
81 struct output_block *ob = XCNEW (struct output_block);
83 ob->section_type = section_type;
84 ob->decl_state = lto_get_out_decl_state ();
85 ob->main_stream = XCNEW (struct lto_output_stream);
86 ob->string_stream = XCNEW (struct lto_output_stream);
87 ob->writer_cache = streamer_tree_cache_create (!flag_wpa, true, false);
89 if (section_type == LTO_section_function_body)
90 ob->cfg_stream = XCNEW (struct lto_output_stream);
92 clear_line_info (ob);
94 ob->string_hash_table = new hash_table<string_slot_hasher> (37);
95 gcc_obstack_init (&ob->obstack);
97 return ob;
101 /* Destroy the output block OB. */
103 void
104 destroy_output_block (struct output_block *ob)
106 enum lto_section_type section_type = ob->section_type;
108 delete ob->string_hash_table;
109 ob->string_hash_table = NULL;
111 free (ob->main_stream);
112 free (ob->string_stream);
113 if (section_type == LTO_section_function_body)
114 free (ob->cfg_stream);
116 streamer_tree_cache_delete (ob->writer_cache);
117 obstack_free (&ob->obstack, NULL);
119 free (ob);
123 /* Look up NODE in the type table and write the index for it to OB. */
125 static void
126 output_type_ref (struct output_block *ob, tree node)
128 streamer_write_record_start (ob, LTO_type_ref);
129 lto_output_type_ref_index (ob->decl_state, ob->main_stream, node);
133 /* Return true if tree node T is written to various tables. For these
134 nodes, we sometimes want to write their phyiscal representation
135 (via lto_output_tree), and sometimes we need to emit an index
136 reference into a table (via lto_output_tree_ref). */
138 static bool
139 tree_is_indexable (tree t)
141 /* Parameters and return values of functions of variably modified types
142 must go to global stream, because they may be used in the type
143 definition. */
144 if ((TREE_CODE (t) == PARM_DECL || TREE_CODE (t) == RESULT_DECL)
145 && DECL_CONTEXT (t))
146 return variably_modified_type_p (TREE_TYPE (DECL_CONTEXT (t)), NULL_TREE);
147 /* IMPORTED_DECL is put into BLOCK and thus it never can be shared. */
148 else if (TREE_CODE (t) == IMPORTED_DECL)
149 return false;
150 else if (((TREE_CODE (t) == VAR_DECL && !TREE_STATIC (t))
151 || TREE_CODE (t) == TYPE_DECL
152 || TREE_CODE (t) == CONST_DECL
153 || TREE_CODE (t) == NAMELIST_DECL)
154 && decl_function_context (t))
155 return false;
156 else if (TREE_CODE (t) == DEBUG_EXPR_DECL)
157 return false;
158 /* Variably modified types need to be streamed alongside function
159 bodies because they can refer to local entities. Together with
160 them we have to localize their members as well.
161 ??? In theory that includes non-FIELD_DECLs as well. */
162 else if (TYPE_P (t)
163 && variably_modified_type_p (t, NULL_TREE))
164 return false;
165 else if (TREE_CODE (t) == FIELD_DECL
166 && variably_modified_type_p (DECL_CONTEXT (t), NULL_TREE))
167 return false;
168 else
169 return (TYPE_P (t) || DECL_P (t) || TREE_CODE (t) == SSA_NAME);
173 /* Output info about new location into bitpack BP.
174 After outputting bitpack, lto_output_location_data has
175 to be done to output actual data. */
177 void
178 lto_output_location (struct output_block *ob, struct bitpack_d *bp,
179 location_t loc)
181 expanded_location xloc;
183 loc = LOCATION_LOCUS (loc);
184 bp_pack_int_in_range (bp, 0, RESERVED_LOCATION_COUNT,
185 loc < RESERVED_LOCATION_COUNT
186 ? loc : RESERVED_LOCATION_COUNT);
187 if (loc < RESERVED_LOCATION_COUNT)
188 return;
190 xloc = expand_location (loc);
192 bp_pack_value (bp, ob->current_file != xloc.file, 1);
193 bp_pack_value (bp, ob->current_line != xloc.line, 1);
194 bp_pack_value (bp, ob->current_col != xloc.column, 1);
196 if (ob->current_file != xloc.file)
197 bp_pack_string (ob, bp, xloc.file, true);
198 ob->current_file = xloc.file;
200 if (ob->current_line != xloc.line)
201 bp_pack_var_len_unsigned (bp, xloc.line);
202 ob->current_line = xloc.line;
204 if (ob->current_col != xloc.column)
205 bp_pack_var_len_unsigned (bp, xloc.column);
206 ob->current_col = xloc.column;
210 /* If EXPR is an indexable tree node, output a reference to it to
211 output block OB. Otherwise, output the physical representation of
212 EXPR to OB. */
214 static void
215 lto_output_tree_ref (struct output_block *ob, tree expr)
217 enum tree_code code;
219 if (TYPE_P (expr))
221 output_type_ref (ob, expr);
222 return;
225 code = TREE_CODE (expr);
226 switch (code)
228 case SSA_NAME:
229 streamer_write_record_start (ob, LTO_ssa_name_ref);
230 streamer_write_uhwi (ob, SSA_NAME_VERSION (expr));
231 break;
233 case FIELD_DECL:
234 streamer_write_record_start (ob, LTO_field_decl_ref);
235 lto_output_field_decl_index (ob->decl_state, ob->main_stream, expr);
236 break;
238 case FUNCTION_DECL:
239 streamer_write_record_start (ob, LTO_function_decl_ref);
240 lto_output_fn_decl_index (ob->decl_state, ob->main_stream, expr);
241 break;
243 case VAR_DECL:
244 case DEBUG_EXPR_DECL:
245 gcc_assert (decl_function_context (expr) == NULL || TREE_STATIC (expr));
246 case PARM_DECL:
247 streamer_write_record_start (ob, LTO_global_decl_ref);
248 lto_output_var_decl_index (ob->decl_state, ob->main_stream, expr);
249 break;
251 case CONST_DECL:
252 streamer_write_record_start (ob, LTO_const_decl_ref);
253 lto_output_var_decl_index (ob->decl_state, ob->main_stream, expr);
254 break;
256 case IMPORTED_DECL:
257 gcc_assert (decl_function_context (expr) == NULL);
258 streamer_write_record_start (ob, LTO_imported_decl_ref);
259 lto_output_var_decl_index (ob->decl_state, ob->main_stream, expr);
260 break;
262 case TYPE_DECL:
263 streamer_write_record_start (ob, LTO_type_decl_ref);
264 lto_output_type_decl_index (ob->decl_state, ob->main_stream, expr);
265 break;
267 case NAMELIST_DECL:
268 streamer_write_record_start (ob, LTO_namelist_decl_ref);
269 lto_output_var_decl_index (ob->decl_state, ob->main_stream, expr);
270 break;
272 case NAMESPACE_DECL:
273 streamer_write_record_start (ob, LTO_namespace_decl_ref);
274 lto_output_namespace_decl_index (ob->decl_state, ob->main_stream, expr);
275 break;
277 case LABEL_DECL:
278 streamer_write_record_start (ob, LTO_label_decl_ref);
279 lto_output_var_decl_index (ob->decl_state, ob->main_stream, expr);
280 break;
282 case RESULT_DECL:
283 streamer_write_record_start (ob, LTO_result_decl_ref);
284 lto_output_var_decl_index (ob->decl_state, ob->main_stream, expr);
285 break;
287 case TRANSLATION_UNIT_DECL:
288 streamer_write_record_start (ob, LTO_translation_unit_decl_ref);
289 lto_output_var_decl_index (ob->decl_state, ob->main_stream, expr);
290 break;
292 default:
293 /* No other node is indexable, so it should have been handled by
294 lto_output_tree. */
295 gcc_unreachable ();
300 /* Return true if EXPR is a tree node that can be written to disk. */
302 static inline bool
303 lto_is_streamable (tree expr)
305 enum tree_code code = TREE_CODE (expr);
307 /* Notice that we reject SSA_NAMEs as well. We only emit the SSA
308 name version in lto_output_tree_ref (see output_ssa_names). */
309 return !is_lang_specific (expr)
310 && code != SSA_NAME
311 && code != CALL_EXPR
312 && code != LANG_TYPE
313 && code != MODIFY_EXPR
314 && code != INIT_EXPR
315 && code != TARGET_EXPR
316 && code != BIND_EXPR
317 && code != WITH_CLEANUP_EXPR
318 && code != STATEMENT_LIST
319 && (code == CASE_LABEL_EXPR
320 || code == DECL_EXPR
321 || TREE_CODE_CLASS (code) != tcc_statement);
325 /* For EXPR lookup and return what we want to stream to OB as DECL_INITIAL. */
327 static tree
328 get_symbol_initial_value (lto_symtab_encoder_t encoder, tree expr)
330 gcc_checking_assert (DECL_P (expr)
331 && TREE_CODE (expr) != FUNCTION_DECL
332 && TREE_CODE (expr) != TRANSLATION_UNIT_DECL);
334 /* Handle DECL_INITIAL for symbols. */
335 tree initial = DECL_INITIAL (expr);
336 if (TREE_CODE (expr) == VAR_DECL
337 && (TREE_STATIC (expr) || DECL_EXTERNAL (expr))
338 && !DECL_IN_CONSTANT_POOL (expr)
339 && initial)
341 varpool_node *vnode;
342 /* Extra section needs about 30 bytes; do not produce it for simple
343 scalar values. */
344 if (TREE_CODE (DECL_INITIAL (expr)) == CONSTRUCTOR
345 || !(vnode = varpool_node::get (expr))
346 || !lto_symtab_encoder_encode_initializer_p (encoder, vnode))
347 initial = error_mark_node;
350 return initial;
354 /* Write a physical representation of tree node EXPR to output block
355 OB. If REF_P is true, the leaves of EXPR are emitted as references
356 via lto_output_tree_ref. IX is the index into the streamer cache
357 where EXPR is stored. */
359 static void
360 lto_write_tree_1 (struct output_block *ob, tree expr, bool ref_p)
362 /* Pack all the non-pointer fields in EXPR into a bitpack and write
363 the resulting bitpack. */
364 streamer_write_tree_bitfields (ob, expr);
366 /* Write all the pointer fields in EXPR. */
367 streamer_write_tree_body (ob, expr, ref_p);
369 /* Write any LTO-specific data to OB. */
370 if (DECL_P (expr)
371 && TREE_CODE (expr) != FUNCTION_DECL
372 && TREE_CODE (expr) != TRANSLATION_UNIT_DECL)
374 /* Handle DECL_INITIAL for symbols. */
375 tree initial = get_symbol_initial_value
376 (ob->decl_state->symtab_node_encoder, expr);
377 stream_write_tree (ob, initial, ref_p);
381 /* Write a physical representation of tree node EXPR to output block
382 OB. If REF_P is true, the leaves of EXPR are emitted as references
383 via lto_output_tree_ref. IX is the index into the streamer cache
384 where EXPR is stored. */
386 static void
387 lto_write_tree (struct output_block *ob, tree expr, bool ref_p)
389 if (!lto_is_streamable (expr))
390 internal_error ("tree code %qs is not supported in LTO streams",
391 get_tree_code_name (TREE_CODE (expr)));
393 /* Write the header, containing everything needed to materialize
394 EXPR on the reading side. */
395 streamer_write_tree_header (ob, expr);
397 lto_write_tree_1 (ob, expr, ref_p);
399 /* Mark the end of EXPR. */
400 streamer_write_zero (ob);
403 /* Emit the physical representation of tree node EXPR to output block OB,
404 If THIS_REF_P is true, the leaves of EXPR are emitted as references via
405 lto_output_tree_ref. REF_P is used for streaming siblings of EXPR. */
407 static void
408 lto_output_tree_1 (struct output_block *ob, tree expr, hashval_t hash,
409 bool ref_p, bool this_ref_p)
411 unsigned ix;
413 gcc_checking_assert (expr != NULL_TREE
414 && !(this_ref_p && tree_is_indexable (expr)));
416 bool exists_p = streamer_tree_cache_insert (ob->writer_cache,
417 expr, hash, &ix);
418 gcc_assert (!exists_p);
419 if (streamer_handle_as_builtin_p (expr))
421 /* MD and NORMAL builtins do not need to be written out
422 completely as they are always instantiated by the
423 compiler on startup. The only builtins that need to
424 be written out are BUILT_IN_FRONTEND. For all other
425 builtins, we simply write the class and code. */
426 streamer_write_builtin (ob, expr);
428 else if (TREE_CODE (expr) == INTEGER_CST
429 && !TREE_OVERFLOW (expr))
431 /* Shared INTEGER_CST nodes are special because they need their
432 original type to be materialized by the reader (to implement
433 TYPE_CACHED_VALUES). */
434 streamer_write_integer_cst (ob, expr, ref_p);
436 else
438 /* This is the first time we see EXPR, write its fields
439 to OB. */
440 lto_write_tree (ob, expr, ref_p);
444 class DFS
446 public:
447 DFS (struct output_block *ob, tree expr, bool ref_p, bool this_ref_p,
448 bool single_p);
449 ~DFS ();
451 struct scc_entry
453 tree t;
454 hashval_t hash;
456 vec<scc_entry> sccstack;
458 private:
459 struct sccs
461 unsigned int dfsnum;
462 unsigned int low;
464 struct worklist
466 tree expr;
467 sccs *from_state;
468 sccs *cstate;
469 bool ref_p;
470 bool this_ref_p;
473 static int scc_entry_compare (const void *, const void *);
475 void DFS_write_tree_body (struct output_block *ob,
476 tree expr, sccs *expr_state, bool ref_p);
478 void DFS_write_tree (struct output_block *ob, sccs *from_state,
479 tree expr, bool ref_p, bool this_ref_p);
481 hashval_t
482 hash_scc (struct output_block *ob, unsigned first, unsigned size,
483 bool ref_p, bool this_ref_p);
485 hash_map<tree, sccs *> sccstate;
486 vec<worklist> worklist_vec;
487 struct obstack sccstate_obstack;
490 /* Emit the physical representation of tree node EXPR to output block OB,
491 using depth-first search on the subgraph. If THIS_REF_P is true, the
492 leaves of EXPR are emitted as references via lto_output_tree_ref.
493 REF_P is used for streaming siblings of EXPR. If SINGLE_P is true,
494 this is for a rewalk of a single leaf SCC. */
496 DFS::DFS (struct output_block *ob, tree expr, bool ref_p, bool this_ref_p,
497 bool single_p)
499 unsigned int next_dfs_num = 1;
500 sccstack.create (0);
501 gcc_obstack_init (&sccstate_obstack);
502 worklist_vec = vNULL;
503 DFS_write_tree (ob, NULL, expr, ref_p, this_ref_p);
504 while (!worklist_vec.is_empty ())
506 worklist &w = worklist_vec.last ();
507 expr = w.expr;
508 sccs *from_state = w.from_state;
509 sccs *cstate = w.cstate;
510 ref_p = w.ref_p;
511 this_ref_p = w.this_ref_p;
512 if (cstate == NULL)
514 sccs **slot = &sccstate.get_or_insert (expr);
515 cstate = *slot;
516 if (cstate)
518 gcc_checking_assert (from_state);
519 if (cstate->dfsnum < from_state->dfsnum)
520 from_state->low = MIN (cstate->dfsnum, from_state->low);
521 worklist_vec.pop ();
522 continue;
525 scc_entry e = { expr, 0 };
526 /* Not yet visited. DFS recurse and push it onto the stack. */
527 *slot = cstate = XOBNEW (&sccstate_obstack, struct sccs);
528 sccstack.safe_push (e);
529 cstate->dfsnum = next_dfs_num++;
530 cstate->low = cstate->dfsnum;
531 w.cstate = cstate;
533 if (streamer_handle_as_builtin_p (expr))
535 else if (TREE_CODE (expr) == INTEGER_CST
536 && !TREE_OVERFLOW (expr))
537 DFS_write_tree (ob, cstate, TREE_TYPE (expr), ref_p, ref_p);
538 else
540 DFS_write_tree_body (ob, expr, cstate, ref_p);
542 /* Walk any LTO-specific edges. */
543 if (DECL_P (expr)
544 && TREE_CODE (expr) != FUNCTION_DECL
545 && TREE_CODE (expr) != TRANSLATION_UNIT_DECL)
547 /* Handle DECL_INITIAL for symbols. */
548 tree initial
549 = get_symbol_initial_value (ob->decl_state->symtab_node_encoder,
550 expr);
551 DFS_write_tree (ob, cstate, initial, ref_p, ref_p);
554 continue;
557 /* See if we found an SCC. */
558 if (cstate->low == cstate->dfsnum)
560 unsigned first, size;
561 tree x;
563 /* If we are re-walking a single leaf SCC just pop it,
564 let earlier worklist item access the sccstack. */
565 if (single_p)
567 worklist_vec.pop ();
568 continue;
571 /* Pop the SCC and compute its size. */
572 first = sccstack.length ();
575 x = sccstack[--first].t;
577 while (x != expr);
578 size = sccstack.length () - first;
580 /* No need to compute hashes for LTRANS units, we don't perform
581 any merging there. */
582 hashval_t scc_hash = 0;
583 unsigned scc_entry_len = 0;
584 if (!flag_wpa)
586 scc_hash = hash_scc (ob, first, size, ref_p, this_ref_p);
588 /* Put the entries with the least number of collisions first. */
589 unsigned entry_start = 0;
590 scc_entry_len = size + 1;
591 for (unsigned i = 0; i < size;)
593 unsigned from = i;
594 for (i = i + 1; i < size
595 && (sccstack[first + i].hash
596 == sccstack[first + from].hash); ++i)
598 if (i - from < scc_entry_len)
600 scc_entry_len = i - from;
601 entry_start = from;
604 for (unsigned i = 0; i < scc_entry_len; ++i)
605 std::swap (sccstack[first + i],
606 sccstack[first + entry_start + i]);
608 if (scc_entry_len == 1)
609 ; /* We already sorted SCC deterministically in hash_scc. */
610 else
611 /* Check that we have only one SCC.
612 Naturally we may have conflicts if hash function is not
613 strong enough. Lets see how far this gets. */
615 #ifdef ENABLE_CHECKING
616 gcc_unreachable ();
617 #endif
621 /* Write LTO_tree_scc. */
622 streamer_write_record_start (ob, LTO_tree_scc);
623 streamer_write_uhwi (ob, size);
624 streamer_write_uhwi (ob, scc_hash);
626 /* Write size-1 SCCs without wrapping them inside SCC bundles.
627 All INTEGER_CSTs need to be handled this way as we need
628 their type to materialize them. Also builtins are handled
629 this way.
630 ??? We still wrap these in LTO_tree_scc so at the
631 input side we can properly identify the tree we want
632 to ultimatively return. */
633 if (size == 1)
634 lto_output_tree_1 (ob, expr, scc_hash, ref_p, this_ref_p);
635 else
637 /* Write the size of the SCC entry candidates. */
638 streamer_write_uhwi (ob, scc_entry_len);
640 /* Write all headers and populate the streamer cache. */
641 for (unsigned i = 0; i < size; ++i)
643 hashval_t hash = sccstack[first+i].hash;
644 tree t = sccstack[first+i].t;
645 bool exists_p = streamer_tree_cache_insert (ob->writer_cache,
646 t, hash, NULL);
647 gcc_assert (!exists_p);
649 if (!lto_is_streamable (t))
650 internal_error ("tree code %qs is not supported "
651 "in LTO streams",
652 get_tree_code_name (TREE_CODE (t)));
654 gcc_checking_assert (!streamer_handle_as_builtin_p (t));
656 /* Write the header, containing everything needed to
657 materialize EXPR on the reading side. */
658 streamer_write_tree_header (ob, t);
661 /* Write the bitpacks and tree references. */
662 for (unsigned i = 0; i < size; ++i)
664 lto_write_tree_1 (ob, sccstack[first+i].t, ref_p);
666 /* Mark the end of the tree. */
667 streamer_write_zero (ob);
671 /* Finally truncate the vector. */
672 sccstack.truncate (first);
674 if (from_state)
675 from_state->low = MIN (from_state->low, cstate->low);
676 worklist_vec.pop ();
677 continue;
680 gcc_checking_assert (from_state);
681 from_state->low = MIN (from_state->low, cstate->low);
682 if (cstate->dfsnum < from_state->dfsnum)
683 from_state->low = MIN (cstate->dfsnum, from_state->low);
684 worklist_vec.pop ();
686 worklist_vec.release ();
689 DFS::~DFS ()
691 sccstack.release ();
692 obstack_free (&sccstate_obstack, NULL);
695 /* Handle the tree EXPR in the DFS walk with SCC state EXPR_STATE and
696 DFS recurse for all tree edges originating from it. */
698 void
699 DFS::DFS_write_tree_body (struct output_block *ob,
700 tree expr, sccs *expr_state, bool ref_p)
702 #define DFS_follow_tree_edge(DEST) \
703 DFS_write_tree (ob, expr_state, DEST, ref_p, ref_p)
705 enum tree_code code;
707 code = TREE_CODE (expr);
709 if (CODE_CONTAINS_STRUCT (code, TS_TYPED))
711 if (TREE_CODE (expr) != IDENTIFIER_NODE)
712 DFS_follow_tree_edge (TREE_TYPE (expr));
715 if (CODE_CONTAINS_STRUCT (code, TS_VECTOR))
717 for (unsigned i = 0; i < VECTOR_CST_NELTS (expr); ++i)
718 DFS_follow_tree_edge (VECTOR_CST_ELT (expr, i));
721 if (CODE_CONTAINS_STRUCT (code, TS_COMPLEX))
723 DFS_follow_tree_edge (TREE_REALPART (expr));
724 DFS_follow_tree_edge (TREE_IMAGPART (expr));
727 if (CODE_CONTAINS_STRUCT (code, TS_DECL_MINIMAL))
729 /* Drop names that were created for anonymous entities. */
730 if (DECL_NAME (expr)
731 && TREE_CODE (DECL_NAME (expr)) == IDENTIFIER_NODE
732 && anon_aggrname_p (DECL_NAME (expr)))
734 else
735 DFS_follow_tree_edge (DECL_NAME (expr));
736 DFS_follow_tree_edge (DECL_CONTEXT (expr));
739 if (CODE_CONTAINS_STRUCT (code, TS_DECL_COMMON))
741 DFS_follow_tree_edge (DECL_SIZE (expr));
742 DFS_follow_tree_edge (DECL_SIZE_UNIT (expr));
744 /* Note, DECL_INITIAL is not handled here. Since DECL_INITIAL needs
745 special handling in LTO, it must be handled by streamer hooks. */
747 DFS_follow_tree_edge (DECL_ATTRIBUTES (expr));
749 /* Do not follow DECL_ABSTRACT_ORIGIN. We cannot handle debug information
750 for early inlining so drop it on the floor instead of ICEing in
751 dwarf2out.c. */
753 if ((TREE_CODE (expr) == VAR_DECL
754 || TREE_CODE (expr) == PARM_DECL)
755 && DECL_HAS_VALUE_EXPR_P (expr))
756 DFS_follow_tree_edge (DECL_VALUE_EXPR (expr));
757 if (TREE_CODE (expr) == VAR_DECL)
758 DFS_follow_tree_edge (DECL_DEBUG_EXPR (expr));
761 if (CODE_CONTAINS_STRUCT (code, TS_DECL_NON_COMMON))
763 if (TREE_CODE (expr) == TYPE_DECL)
764 DFS_follow_tree_edge (DECL_ORIGINAL_TYPE (expr));
767 if (CODE_CONTAINS_STRUCT (code, TS_DECL_WITH_VIS))
769 /* Make sure we don't inadvertently set the assembler name. */
770 if (DECL_ASSEMBLER_NAME_SET_P (expr))
771 DFS_follow_tree_edge (DECL_ASSEMBLER_NAME (expr));
774 if (CODE_CONTAINS_STRUCT (code, TS_FIELD_DECL))
776 DFS_follow_tree_edge (DECL_FIELD_OFFSET (expr));
777 DFS_follow_tree_edge (DECL_BIT_FIELD_TYPE (expr));
778 DFS_follow_tree_edge (DECL_BIT_FIELD_REPRESENTATIVE (expr));
779 DFS_follow_tree_edge (DECL_FIELD_BIT_OFFSET (expr));
780 DFS_follow_tree_edge (DECL_FCONTEXT (expr));
783 if (CODE_CONTAINS_STRUCT (code, TS_FUNCTION_DECL))
785 DFS_follow_tree_edge (DECL_VINDEX (expr));
786 DFS_follow_tree_edge (DECL_FUNCTION_PERSONALITY (expr));
787 DFS_follow_tree_edge (DECL_FUNCTION_SPECIFIC_TARGET (expr));
788 DFS_follow_tree_edge (DECL_FUNCTION_SPECIFIC_OPTIMIZATION (expr));
791 if (CODE_CONTAINS_STRUCT (code, TS_TYPE_COMMON))
793 DFS_follow_tree_edge (TYPE_SIZE (expr));
794 DFS_follow_tree_edge (TYPE_SIZE_UNIT (expr));
795 DFS_follow_tree_edge (TYPE_ATTRIBUTES (expr));
796 DFS_follow_tree_edge (TYPE_NAME (expr));
797 /* Do not follow TYPE_POINTER_TO or TYPE_REFERENCE_TO. They will be
798 reconstructed during fixup. */
799 /* Do not follow TYPE_NEXT_VARIANT, we reconstruct the variant lists
800 during fixup. */
801 DFS_follow_tree_edge (TYPE_MAIN_VARIANT (expr));
802 DFS_follow_tree_edge (TYPE_CONTEXT (expr));
803 /* TYPE_CANONICAL is re-computed during type merging, so no need
804 to follow it here. */
805 DFS_follow_tree_edge (TYPE_STUB_DECL (expr));
808 if (CODE_CONTAINS_STRUCT (code, TS_TYPE_NON_COMMON))
810 if (TREE_CODE (expr) == ENUMERAL_TYPE)
811 DFS_follow_tree_edge (TYPE_VALUES (expr));
812 else if (TREE_CODE (expr) == ARRAY_TYPE)
813 DFS_follow_tree_edge (TYPE_DOMAIN (expr));
814 else if (RECORD_OR_UNION_TYPE_P (expr))
815 for (tree t = TYPE_FIELDS (expr); t; t = TREE_CHAIN (t))
816 DFS_follow_tree_edge (t);
817 else if (TREE_CODE (expr) == FUNCTION_TYPE
818 || TREE_CODE (expr) == METHOD_TYPE)
819 DFS_follow_tree_edge (TYPE_ARG_TYPES (expr));
821 if (!POINTER_TYPE_P (expr))
822 DFS_follow_tree_edge (TYPE_MINVAL (expr));
823 DFS_follow_tree_edge (TYPE_MAXVAL (expr));
824 if (RECORD_OR_UNION_TYPE_P (expr))
825 DFS_follow_tree_edge (TYPE_BINFO (expr));
828 if (CODE_CONTAINS_STRUCT (code, TS_LIST))
830 DFS_follow_tree_edge (TREE_PURPOSE (expr));
831 DFS_follow_tree_edge (TREE_VALUE (expr));
832 DFS_follow_tree_edge (TREE_CHAIN (expr));
835 if (CODE_CONTAINS_STRUCT (code, TS_VEC))
837 for (int i = 0; i < TREE_VEC_LENGTH (expr); i++)
838 DFS_follow_tree_edge (TREE_VEC_ELT (expr, i));
841 if (CODE_CONTAINS_STRUCT (code, TS_EXP))
843 for (int i = 0; i < TREE_OPERAND_LENGTH (expr); i++)
844 DFS_follow_tree_edge (TREE_OPERAND (expr, i));
845 DFS_follow_tree_edge (TREE_BLOCK (expr));
848 if (CODE_CONTAINS_STRUCT (code, TS_BLOCK))
850 for (tree t = BLOCK_VARS (expr); t; t = TREE_CHAIN (t))
851 if (VAR_OR_FUNCTION_DECL_P (t)
852 && DECL_EXTERNAL (t))
853 /* We have to stream externals in the block chain as
854 non-references. See also
855 tree-streamer-out.c:streamer_write_chain. */
856 DFS_write_tree (ob, expr_state, t, ref_p, false);
857 else
858 DFS_follow_tree_edge (t);
860 DFS_follow_tree_edge (BLOCK_SUPERCONTEXT (expr));
862 /* Follow BLOCK_ABSTRACT_ORIGIN for the limited cases we can
863 handle - those that represent inlined function scopes.
864 For the drop rest them on the floor instead of ICEing
865 in dwarf2out.c. */
866 if (inlined_function_outer_scope_p (expr))
868 tree ultimate_origin = block_ultimate_origin (expr);
869 DFS_follow_tree_edge (ultimate_origin);
871 /* Do not follow BLOCK_NONLOCALIZED_VARS. We cannot handle debug
872 information for early inlined BLOCKs so drop it on the floor instead
873 of ICEing in dwarf2out.c. */
875 /* BLOCK_FRAGMENT_ORIGIN and BLOCK_FRAGMENT_CHAIN is not live at LTO
876 streaming time. */
878 /* Do not output BLOCK_SUBBLOCKS. Instead on streaming-in this
879 list is re-constructed from BLOCK_SUPERCONTEXT. */
882 if (CODE_CONTAINS_STRUCT (code, TS_BINFO))
884 unsigned i;
885 tree t;
887 /* Note that the number of BINFO slots has already been emitted in
888 EXPR's header (see streamer_write_tree_header) because this length
889 is needed to build the empty BINFO node on the reader side. */
890 FOR_EACH_VEC_ELT (*BINFO_BASE_BINFOS (expr), i, t)
891 DFS_follow_tree_edge (t);
892 DFS_follow_tree_edge (BINFO_OFFSET (expr));
893 DFS_follow_tree_edge (BINFO_VTABLE (expr));
894 DFS_follow_tree_edge (BINFO_VPTR_FIELD (expr));
896 /* The number of BINFO_BASE_ACCESSES has already been emitted in
897 EXPR's bitfield section. */
898 FOR_EACH_VEC_SAFE_ELT (BINFO_BASE_ACCESSES (expr), i, t)
899 DFS_follow_tree_edge (t);
901 /* Do not walk BINFO_INHERITANCE_CHAIN, BINFO_SUBVTT_INDEX
902 and BINFO_VPTR_INDEX; these are used by C++ FE only. */
905 if (CODE_CONTAINS_STRUCT (code, TS_CONSTRUCTOR))
907 unsigned i;
908 tree index, value;
910 FOR_EACH_CONSTRUCTOR_ELT (CONSTRUCTOR_ELTS (expr), i, index, value)
912 DFS_follow_tree_edge (index);
913 DFS_follow_tree_edge (value);
917 if (code == OMP_CLAUSE)
919 int i;
920 for (i = 0; i < omp_clause_num_ops[OMP_CLAUSE_CODE (expr)]; i++)
921 DFS_follow_tree_edge (OMP_CLAUSE_OPERAND (expr, i));
922 DFS_follow_tree_edge (OMP_CLAUSE_CHAIN (expr));
925 #undef DFS_follow_tree_edge
928 /* Return a hash value for the tree T.
929 CACHE holds hash values of trees outside current SCC. MAP, if non-NULL,
930 may hold hash values if trees inside current SCC. */
932 static hashval_t
933 hash_tree (struct streamer_tree_cache_d *cache, hash_map<tree, hashval_t> *map, tree t)
935 inchash::hash hstate;
937 #define visit(SIBLING) \
938 do { \
939 unsigned ix; \
940 if (!SIBLING) \
941 hstate.add_int (0); \
942 else if (streamer_tree_cache_lookup (cache, SIBLING, &ix)) \
943 hstate.add_int (streamer_tree_cache_get_hash (cache, ix)); \
944 else if (map) \
945 hstate.add_int (*map->get (SIBLING)); \
946 else \
947 hstate.add_int (1); \
948 } while (0)
950 /* Hash TS_BASE. */
951 enum tree_code code = TREE_CODE (t);
952 hstate.add_int (code);
953 if (!TYPE_P (t))
955 hstate.add_flag (TREE_SIDE_EFFECTS (t));
956 hstate.add_flag (TREE_CONSTANT (t));
957 hstate.add_flag (TREE_READONLY (t));
958 hstate.add_flag (TREE_PUBLIC (t));
960 hstate.add_flag (TREE_ADDRESSABLE (t));
961 hstate.add_flag (TREE_THIS_VOLATILE (t));
962 if (DECL_P (t))
963 hstate.add_flag (DECL_UNSIGNED (t));
964 else if (TYPE_P (t))
965 hstate.add_flag (TYPE_UNSIGNED (t));
966 if (TYPE_P (t))
967 hstate.add_flag (TYPE_ARTIFICIAL (t));
968 else
969 hstate.add_flag (TREE_NO_WARNING (t));
970 hstate.add_flag (TREE_NOTHROW (t));
971 hstate.add_flag (TREE_STATIC (t));
972 hstate.add_flag (TREE_PROTECTED (t));
973 hstate.add_flag (TREE_DEPRECATED (t));
974 if (code != TREE_BINFO)
975 hstate.add_flag (TREE_PRIVATE (t));
976 if (TYPE_P (t))
978 hstate.add_flag (TYPE_SATURATING (t));
979 hstate.add_flag (TYPE_ADDR_SPACE (t));
981 else if (code == SSA_NAME)
982 hstate.add_flag (SSA_NAME_IS_DEFAULT_DEF (t));
983 hstate.commit_flag ();
985 if (CODE_CONTAINS_STRUCT (code, TS_INT_CST))
987 int i;
988 hstate.add_wide_int (TREE_INT_CST_NUNITS (t));
989 hstate.add_wide_int (TREE_INT_CST_EXT_NUNITS (t));
990 for (i = 0; i < TREE_INT_CST_NUNITS (t); i++)
991 hstate.add_wide_int (TREE_INT_CST_ELT (t, i));
994 if (CODE_CONTAINS_STRUCT (code, TS_REAL_CST))
996 REAL_VALUE_TYPE r = TREE_REAL_CST (t);
997 hstate.add_flag (r.cl);
998 hstate.add_flag (r.sign);
999 hstate.add_flag (r.signalling);
1000 hstate.add_flag (r.canonical);
1001 hstate.commit_flag ();
1002 hstate.add_int (r.uexp);
1003 hstate.add (r.sig, sizeof (r.sig));
1006 if (CODE_CONTAINS_STRUCT (code, TS_FIXED_CST))
1008 FIXED_VALUE_TYPE f = TREE_FIXED_CST (t);
1009 hstate.add_int (f.mode);
1010 hstate.add_int (f.data.low);
1011 hstate.add_int (f.data.high);
1014 if (CODE_CONTAINS_STRUCT (code, TS_DECL_COMMON))
1016 hstate.add_wide_int (DECL_MODE (t));
1017 hstate.add_flag (DECL_NONLOCAL (t));
1018 hstate.add_flag (DECL_VIRTUAL_P (t));
1019 hstate.add_flag (DECL_IGNORED_P (t));
1020 hstate.add_flag (DECL_ABSTRACT_P (t));
1021 hstate.add_flag (DECL_ARTIFICIAL (t));
1022 hstate.add_flag (DECL_USER_ALIGN (t));
1023 hstate.add_flag (DECL_PRESERVE_P (t));
1024 hstate.add_flag (DECL_EXTERNAL (t));
1025 hstate.add_flag (DECL_GIMPLE_REG_P (t));
1026 hstate.commit_flag ();
1027 hstate.add_int (DECL_ALIGN (t));
1028 if (code == LABEL_DECL)
1030 hstate.add_int (EH_LANDING_PAD_NR (t));
1031 hstate.add_int (LABEL_DECL_UID (t));
1033 else if (code == FIELD_DECL)
1035 hstate.add_flag (DECL_PACKED (t));
1036 hstate.add_flag (DECL_NONADDRESSABLE_P (t));
1037 hstate.add_int (DECL_OFFSET_ALIGN (t));
1039 else if (code == VAR_DECL)
1041 hstate.add_flag (DECL_HAS_DEBUG_EXPR_P (t));
1042 hstate.add_flag (DECL_NONLOCAL_FRAME (t));
1044 if (code == RESULT_DECL
1045 || code == PARM_DECL
1046 || code == VAR_DECL)
1048 hstate.add_flag (DECL_BY_REFERENCE (t));
1049 if (code == VAR_DECL
1050 || code == PARM_DECL)
1051 hstate.add_flag (DECL_HAS_VALUE_EXPR_P (t));
1053 hstate.commit_flag ();
1056 if (CODE_CONTAINS_STRUCT (code, TS_DECL_WRTL))
1057 hstate.add_int (DECL_REGISTER (t));
1059 if (CODE_CONTAINS_STRUCT (code, TS_DECL_WITH_VIS))
1061 hstate.add_flag (DECL_COMMON (t));
1062 hstate.add_flag (DECL_DLLIMPORT_P (t));
1063 hstate.add_flag (DECL_WEAK (t));
1064 hstate.add_flag (DECL_SEEN_IN_BIND_EXPR_P (t));
1065 hstate.add_flag (DECL_COMDAT (t));
1066 hstate.add_flag (DECL_VISIBILITY_SPECIFIED (t));
1067 hstate.add_int (DECL_VISIBILITY (t));
1068 if (code == VAR_DECL)
1070 /* DECL_IN_TEXT_SECTION is set during final asm output only. */
1071 hstate.add_flag (DECL_HARD_REGISTER (t));
1072 hstate.add_flag (DECL_IN_CONSTANT_POOL (t));
1074 if (TREE_CODE (t) == FUNCTION_DECL)
1076 hstate.add_flag (DECL_FINAL_P (t));
1077 hstate.add_flag (DECL_CXX_CONSTRUCTOR_P (t));
1078 hstate.add_flag (DECL_CXX_DESTRUCTOR_P (t));
1080 hstate.commit_flag ();
1083 if (CODE_CONTAINS_STRUCT (code, TS_FUNCTION_DECL))
1085 hstate.add_int (DECL_BUILT_IN_CLASS (t));
1086 hstate.add_flag (DECL_STATIC_CONSTRUCTOR (t));
1087 hstate.add_flag (DECL_STATIC_DESTRUCTOR (t));
1088 hstate.add_flag (DECL_UNINLINABLE (t));
1089 hstate.add_flag (DECL_POSSIBLY_INLINED (t));
1090 hstate.add_flag (DECL_IS_NOVOPS (t));
1091 hstate.add_flag (DECL_IS_RETURNS_TWICE (t));
1092 hstate.add_flag (DECL_IS_MALLOC (t));
1093 hstate.add_flag (DECL_IS_OPERATOR_NEW (t));
1094 hstate.add_flag (DECL_DECLARED_INLINE_P (t));
1095 hstate.add_flag (DECL_STATIC_CHAIN (t));
1096 hstate.add_flag (DECL_NO_INLINE_WARNING_P (t));
1097 hstate.add_flag (DECL_NO_INSTRUMENT_FUNCTION_ENTRY_EXIT (t));
1098 hstate.add_flag (DECL_NO_LIMIT_STACK (t));
1099 hstate.add_flag (DECL_DISREGARD_INLINE_LIMITS (t));
1100 hstate.add_flag (DECL_PURE_P (t));
1101 hstate.add_flag (DECL_LOOPING_CONST_OR_PURE_P (t));
1102 hstate.commit_flag ();
1103 if (DECL_BUILT_IN_CLASS (t) != NOT_BUILT_IN)
1104 hstate.add_int (DECL_FUNCTION_CODE (t));
1107 if (CODE_CONTAINS_STRUCT (code, TS_TYPE_COMMON))
1109 hstate.add_wide_int (TYPE_MODE (t));
1110 hstate.add_flag (TYPE_STRING_FLAG (t));
1111 /* TYPE_NO_FORCE_BLK is private to stor-layout and need
1112 no streaming. */
1113 hstate.add_flag (TYPE_NEEDS_CONSTRUCTING (t));
1114 hstate.add_flag (TYPE_PACKED (t));
1115 hstate.add_flag (TYPE_RESTRICT (t));
1116 hstate.add_flag (TYPE_USER_ALIGN (t));
1117 hstate.add_flag (TYPE_READONLY (t));
1118 if (RECORD_OR_UNION_TYPE_P (t))
1120 hstate.add_flag (TYPE_TRANSPARENT_AGGR (t));
1121 hstate.add_flag (TYPE_FINAL_P (t));
1123 else if (code == ARRAY_TYPE)
1124 hstate.add_flag (TYPE_NONALIASED_COMPONENT (t));
1125 hstate.commit_flag ();
1126 hstate.add_int (TYPE_PRECISION (t));
1127 hstate.add_int (TYPE_ALIGN (t));
1128 hstate.add_int ((TYPE_ALIAS_SET (t) == 0
1129 || (!in_lto_p
1130 && get_alias_set (t) == 0))
1131 ? 0 : -1);
1134 if (CODE_CONTAINS_STRUCT (code, TS_TRANSLATION_UNIT_DECL))
1135 hstate.add (TRANSLATION_UNIT_LANGUAGE (t),
1136 strlen (TRANSLATION_UNIT_LANGUAGE (t)));
1138 if (CODE_CONTAINS_STRUCT (code, TS_TARGET_OPTION)
1139 /* We don't stream these when passing things to a different target. */
1140 && !lto_stream_offload_p)
1141 hstate.add_wide_int (cl_target_option_hash (TREE_TARGET_OPTION (t)));
1143 if (CODE_CONTAINS_STRUCT (code, TS_OPTIMIZATION))
1144 hstate.add_wide_int (cl_optimization_hash (TREE_OPTIMIZATION (t)));
1146 if (CODE_CONTAINS_STRUCT (code, TS_IDENTIFIER))
1147 hstate.merge_hash (IDENTIFIER_HASH_VALUE (t));
1149 if (CODE_CONTAINS_STRUCT (code, TS_STRING))
1150 hstate.add (TREE_STRING_POINTER (t), TREE_STRING_LENGTH (t));
1152 if (CODE_CONTAINS_STRUCT (code, TS_TYPED))
1154 if (code != IDENTIFIER_NODE)
1155 visit (TREE_TYPE (t));
1158 if (CODE_CONTAINS_STRUCT (code, TS_VECTOR))
1159 for (unsigned i = 0; i < VECTOR_CST_NELTS (t); ++i)
1160 visit (VECTOR_CST_ELT (t, i));
1162 if (CODE_CONTAINS_STRUCT (code, TS_COMPLEX))
1164 visit (TREE_REALPART (t));
1165 visit (TREE_IMAGPART (t));
1168 if (CODE_CONTAINS_STRUCT (code, TS_DECL_MINIMAL))
1170 /* Drop names that were created for anonymous entities. */
1171 if (DECL_NAME (t)
1172 && TREE_CODE (DECL_NAME (t)) == IDENTIFIER_NODE
1173 && anon_aggrname_p (DECL_NAME (t)))
1175 else
1176 visit (DECL_NAME (t));
1177 if (DECL_FILE_SCOPE_P (t))
1179 else
1180 visit (DECL_CONTEXT (t));
1183 if (CODE_CONTAINS_STRUCT (code, TS_DECL_COMMON))
1185 visit (DECL_SIZE (t));
1186 visit (DECL_SIZE_UNIT (t));
1187 visit (DECL_ATTRIBUTES (t));
1188 if ((code == VAR_DECL
1189 || code == PARM_DECL)
1190 && DECL_HAS_VALUE_EXPR_P (t))
1191 visit (DECL_VALUE_EXPR (t));
1192 if (code == VAR_DECL
1193 && DECL_HAS_DEBUG_EXPR_P (t))
1194 visit (DECL_DEBUG_EXPR (t));
1195 /* ??? Hash DECL_INITIAL as streamed. Needs the output-block to
1196 be able to call get_symbol_initial_value. */
1199 if (CODE_CONTAINS_STRUCT (code, TS_DECL_NON_COMMON))
1201 if (code == TYPE_DECL)
1202 visit (DECL_ORIGINAL_TYPE (t));
1205 if (CODE_CONTAINS_STRUCT (code, TS_DECL_WITH_VIS))
1207 if (DECL_ASSEMBLER_NAME_SET_P (t))
1208 visit (DECL_ASSEMBLER_NAME (t));
1211 if (CODE_CONTAINS_STRUCT (code, TS_FIELD_DECL))
1213 visit (DECL_FIELD_OFFSET (t));
1214 visit (DECL_BIT_FIELD_TYPE (t));
1215 visit (DECL_BIT_FIELD_REPRESENTATIVE (t));
1216 visit (DECL_FIELD_BIT_OFFSET (t));
1217 visit (DECL_FCONTEXT (t));
1220 if (CODE_CONTAINS_STRUCT (code, TS_FUNCTION_DECL))
1222 visit (DECL_VINDEX (t));
1223 visit (DECL_FUNCTION_PERSONALITY (t));
1224 visit (DECL_FUNCTION_SPECIFIC_TARGET (t));
1225 visit (DECL_FUNCTION_SPECIFIC_OPTIMIZATION (t));
1228 if (CODE_CONTAINS_STRUCT (code, TS_TYPE_COMMON))
1230 visit (TYPE_SIZE (t));
1231 visit (TYPE_SIZE_UNIT (t));
1232 visit (TYPE_ATTRIBUTES (t));
1233 visit (TYPE_NAME (t));
1234 visit (TYPE_MAIN_VARIANT (t));
1235 if (TYPE_FILE_SCOPE_P (t))
1237 else
1238 visit (TYPE_CONTEXT (t));
1239 visit (TYPE_STUB_DECL (t));
1242 if (CODE_CONTAINS_STRUCT (code, TS_TYPE_NON_COMMON))
1244 if (code == ENUMERAL_TYPE)
1245 visit (TYPE_VALUES (t));
1246 else if (code == ARRAY_TYPE)
1247 visit (TYPE_DOMAIN (t));
1248 else if (RECORD_OR_UNION_TYPE_P (t))
1249 for (tree f = TYPE_FIELDS (t); f; f = TREE_CHAIN (f))
1250 visit (f);
1251 else if (code == FUNCTION_TYPE
1252 || code == METHOD_TYPE)
1253 visit (TYPE_ARG_TYPES (t));
1254 if (!POINTER_TYPE_P (t))
1255 visit (TYPE_MINVAL (t));
1256 visit (TYPE_MAXVAL (t));
1257 if (RECORD_OR_UNION_TYPE_P (t))
1258 visit (TYPE_BINFO (t));
1261 if (CODE_CONTAINS_STRUCT (code, TS_LIST))
1263 visit (TREE_PURPOSE (t));
1264 visit (TREE_VALUE (t));
1265 visit (TREE_CHAIN (t));
1268 if (CODE_CONTAINS_STRUCT (code, TS_VEC))
1269 for (int i = 0; i < TREE_VEC_LENGTH (t); ++i)
1270 visit (TREE_VEC_ELT (t, i));
1272 if (CODE_CONTAINS_STRUCT (code, TS_EXP))
1274 hstate.add_wide_int (TREE_OPERAND_LENGTH (t));
1275 for (int i = 0; i < TREE_OPERAND_LENGTH (t); ++i)
1276 visit (TREE_OPERAND (t, i));
1279 if (CODE_CONTAINS_STRUCT (code, TS_BINFO))
1281 unsigned i;
1282 tree b;
1283 FOR_EACH_VEC_ELT (*BINFO_BASE_BINFOS (t), i, b)
1284 visit (b);
1285 visit (BINFO_OFFSET (t));
1286 visit (BINFO_VTABLE (t));
1287 visit (BINFO_VPTR_FIELD (t));
1288 FOR_EACH_VEC_SAFE_ELT (BINFO_BASE_ACCESSES (t), i, b)
1289 visit (b);
1290 /* Do not walk BINFO_INHERITANCE_CHAIN, BINFO_SUBVTT_INDEX
1291 and BINFO_VPTR_INDEX; these are used by C++ FE only. */
1294 if (CODE_CONTAINS_STRUCT (code, TS_CONSTRUCTOR))
1296 unsigned i;
1297 tree index, value;
1298 hstate.add_wide_int (CONSTRUCTOR_NELTS (t));
1299 FOR_EACH_CONSTRUCTOR_ELT (CONSTRUCTOR_ELTS (t), i, index, value)
1301 visit (index);
1302 visit (value);
1306 if (code == OMP_CLAUSE)
1308 int i;
1309 HOST_WIDE_INT val;
1311 hstate.add_wide_int (OMP_CLAUSE_CODE (t));
1312 switch (OMP_CLAUSE_CODE (t))
1314 case OMP_CLAUSE_DEFAULT:
1315 val = OMP_CLAUSE_DEFAULT_KIND (t);
1316 break;
1317 case OMP_CLAUSE_SCHEDULE:
1318 val = OMP_CLAUSE_SCHEDULE_KIND (t);
1319 break;
1320 case OMP_CLAUSE_DEPEND:
1321 val = OMP_CLAUSE_DEPEND_KIND (t);
1322 break;
1323 case OMP_CLAUSE_MAP:
1324 val = OMP_CLAUSE_MAP_KIND (t);
1325 break;
1326 case OMP_CLAUSE_PROC_BIND:
1327 val = OMP_CLAUSE_PROC_BIND_KIND (t);
1328 break;
1329 case OMP_CLAUSE_REDUCTION:
1330 val = OMP_CLAUSE_REDUCTION_CODE (t);
1331 break;
1332 default:
1333 val = 0;
1334 break;
1336 hstate.add_wide_int (val);
1337 for (i = 0; i < omp_clause_num_ops[OMP_CLAUSE_CODE (t)]; i++)
1338 visit (OMP_CLAUSE_OPERAND (t, i));
1339 visit (OMP_CLAUSE_CHAIN (t));
1342 return hstate.end ();
1344 #undef visit
1347 /* Compare two SCC entries by their hash value for qsorting them. */
1350 DFS::scc_entry_compare (const void *p1_, const void *p2_)
1352 const scc_entry *p1 = (const scc_entry *) p1_;
1353 const scc_entry *p2 = (const scc_entry *) p2_;
1354 if (p1->hash < p2->hash)
1355 return -1;
1356 else if (p1->hash > p2->hash)
1357 return 1;
1358 return 0;
1361 /* Return a hash value for the SCC on the SCC stack from FIRST with SIZE.
1362 THIS_REF_P and REF_P are as passed to lto_output_tree for FIRST. */
1364 hashval_t
1365 DFS::hash_scc (struct output_block *ob, unsigned first, unsigned size,
1366 bool ref_p, bool this_ref_p)
1368 unsigned int last_classes = 0, iterations = 0;
1370 /* Compute hash values for the SCC members. */
1371 for (unsigned i = 0; i < size; ++i)
1372 sccstack[first+i].hash
1373 = hash_tree (ob->writer_cache, NULL, sccstack[first+i].t);
1375 if (size == 1)
1376 return sccstack[first].hash;
1378 /* We aim to get unique hash for every tree within SCC and compute hash value
1379 of the whole SCC by combining all values together in a stable (entry-point
1380 independent) order. This guarantees that the same SCC regions within
1381 different translation units will get the same hash values and therefore
1382 will be merged at WPA time.
1384 Often the hashes are already unique. In that case we compute the SCC hash
1385 by combining individual hash values in an increasing order.
1387 If there are duplicates, we seek at least one tree with unique hash (and
1388 pick one with minimal hash and this property). Then we obtain a stable
1389 order by DFS walk starting from this unique tree and then use the index
1390 within this order to make individual hash values unique.
1392 If there is no tree with unique hash, we iteratively propagate the hash
1393 values across the internal edges of SCC. This usually quickly leads
1394 to unique hashes. Consider, for example, an SCC containing two pointers
1395 that are identical except for the types they point to and assume that
1396 these types are also part of the SCC. The propagation will add the
1397 points-to type information into their hash values. */
1400 /* Sort the SCC so we can easily check for uniqueness. */
1401 qsort (&sccstack[first], size, sizeof (scc_entry), scc_entry_compare);
1403 unsigned int classes = 1;
1404 int firstunique = -1;
1406 /* Find the tree with lowest unique hash (if it exists) and compute
1407 the number of equivalence classes. */
1408 if (sccstack[first].hash != sccstack[first+1].hash)
1409 firstunique = 0;
1410 for (unsigned i = 1; i < size; ++i)
1411 if (sccstack[first+i-1].hash != sccstack[first+i].hash)
1413 classes++;
1414 if (firstunique == -1
1415 && (i == size - 1
1416 || sccstack[first+i+1].hash != sccstack[first+i].hash))
1417 firstunique = i;
1420 /* If we found a tree with unique hash, stop the iteration. */
1421 if (firstunique != -1
1422 /* Also terminate if we run out of iterations or if the number of
1423 equivalence classes is no longer increasing.
1424 For example a cyclic list of trees that are all equivalent will
1425 never have unique entry point; we however do not build such SCCs
1426 in our IL. */
1427 || classes <= last_classes || iterations > 16)
1429 hashval_t scc_hash;
1431 /* If some hashes are not unique (CLASSES != SIZE), use the DFS walk
1432 starting from FIRSTUNIQUE to obtain a stable order. */
1433 if (classes != size && firstunique != -1)
1435 hash_map <tree, hashval_t> map(size*2);
1437 /* Store hash values into a map, so we can associate them with
1438 the reordered SCC. */
1439 for (unsigned i = 0; i < size; ++i)
1440 map.put (sccstack[first+i].t, sccstack[first+i].hash);
1442 DFS again (ob, sccstack[first+firstunique].t, ref_p, this_ref_p,
1443 true);
1444 gcc_assert (again.sccstack.length () == size);
1446 memcpy (sccstack.address () + first,
1447 again.sccstack.address (),
1448 sizeof (scc_entry) * size);
1450 /* Update hash values of individual members by hashing in the
1451 index within the stable order. This ensures uniqueness.
1452 Also compute the SCC hash by mixing in all hash values in
1453 the stable order we obtained. */
1454 sccstack[first].hash = *map.get (sccstack[first].t);
1455 scc_hash = sccstack[first].hash;
1456 for (unsigned i = 1; i < size; ++i)
1458 sccstack[first+i].hash
1459 = iterative_hash_hashval_t (i,
1460 *map.get (sccstack[first+i].t));
1461 scc_hash
1462 = iterative_hash_hashval_t (scc_hash,
1463 sccstack[first+i].hash);
1466 /* If we got a unique hash value for each tree, then sort already
1467 ensured entry-point independent order. Only compute the final
1468 SCC hash.
1470 If we failed to find the unique entry point, we go by the same
1471 route. We will eventually introduce unwanted hash conflicts. */
1472 else
1474 scc_hash = sccstack[first].hash;
1475 for (unsigned i = 1; i < size; ++i)
1476 scc_hash
1477 = iterative_hash_hashval_t (scc_hash, sccstack[first+i].hash);
1479 /* We cannot 100% guarantee that the hash won't conflict so as
1480 to make it impossible to find a unique hash. This however
1481 should be an extremely rare case. ICE for now so possible
1482 issues are found and evaluated. */
1483 gcc_checking_assert (classes == size);
1486 /* To avoid conflicts across SCCs, iteratively hash the whole SCC
1487 hash into the hash of each element. */
1488 for (unsigned i = 0; i < size; ++i)
1489 sccstack[first+i].hash
1490 = iterative_hash_hashval_t (sccstack[first+i].hash, scc_hash);
1491 return scc_hash;
1494 last_classes = classes;
1495 iterations++;
1497 /* We failed to identify the entry point; propagate hash values across
1498 the edges. */
1499 hash_map <tree, hashval_t> map(size*2);
1501 for (unsigned i = 0; i < size; ++i)
1502 map.put (sccstack[first+i].t, sccstack[first+i].hash);
1504 for (unsigned i = 0; i < size; i++)
1505 sccstack[first+i].hash
1506 = hash_tree (ob->writer_cache, &map, sccstack[first+i].t);
1508 while (true);
1511 /* DFS walk EXPR and stream SCCs of tree bodies if they are not
1512 already in the streamer cache. Main routine called for
1513 each visit of EXPR. */
1515 void
1516 DFS::DFS_write_tree (struct output_block *ob, sccs *from_state,
1517 tree expr, bool ref_p, bool this_ref_p)
1519 /* Handle special cases. */
1520 if (expr == NULL_TREE)
1521 return;
1523 /* Do not DFS walk into indexable trees. */
1524 if (this_ref_p && tree_is_indexable (expr))
1525 return;
1527 /* Check if we already streamed EXPR. */
1528 if (streamer_tree_cache_lookup (ob->writer_cache, expr, NULL))
1529 return;
1531 worklist w;
1532 w.expr = expr;
1533 w.from_state = from_state;
1534 w.cstate = NULL;
1535 w.ref_p = ref_p;
1536 w.this_ref_p = this_ref_p;
1537 worklist_vec.safe_push (w);
1541 /* Emit the physical representation of tree node EXPR to output block OB.
1542 If THIS_REF_P is true, the leaves of EXPR are emitted as references via
1543 lto_output_tree_ref. REF_P is used for streaming siblings of EXPR. */
1545 void
1546 lto_output_tree (struct output_block *ob, tree expr,
1547 bool ref_p, bool this_ref_p)
1549 unsigned ix;
1550 bool existed_p;
1552 if (expr == NULL_TREE)
1554 streamer_write_record_start (ob, LTO_null);
1555 return;
1558 if (this_ref_p && tree_is_indexable (expr))
1560 lto_output_tree_ref (ob, expr);
1561 return;
1564 existed_p = streamer_tree_cache_lookup (ob->writer_cache, expr, &ix);
1565 if (existed_p)
1567 /* If a node has already been streamed out, make sure that
1568 we don't write it more than once. Otherwise, the reader
1569 will instantiate two different nodes for the same object. */
1570 streamer_write_record_start (ob, LTO_tree_pickle_reference);
1571 streamer_write_uhwi (ob, ix);
1572 streamer_write_enum (ob->main_stream, LTO_tags, LTO_NUM_TAGS,
1573 lto_tree_code_to_tag (TREE_CODE (expr)));
1574 lto_stats.num_pickle_refs_output++;
1576 else
1578 /* This is the first time we see EXPR, write all reachable
1579 trees to OB. */
1580 static bool in_dfs_walk;
1582 /* Protect against recursion which means disconnect between
1583 what tree edges we walk in the DFS walk and what edges
1584 we stream out. */
1585 gcc_assert (!in_dfs_walk);
1587 /* Start the DFS walk. */
1588 /* Save ob state ... */
1589 /* let's see ... */
1590 in_dfs_walk = true;
1591 DFS (ob, expr, ref_p, this_ref_p, false);
1592 in_dfs_walk = false;
1594 /* Finally append a reference to the tree we were writing.
1595 ??? If expr ended up as a singleton we could have
1596 inlined it here and avoid outputting a reference. */
1597 existed_p = streamer_tree_cache_lookup (ob->writer_cache, expr, &ix);
1598 gcc_assert (existed_p);
1599 streamer_write_record_start (ob, LTO_tree_pickle_reference);
1600 streamer_write_uhwi (ob, ix);
1601 streamer_write_enum (ob->main_stream, LTO_tags, LTO_NUM_TAGS,
1602 lto_tree_code_to_tag (TREE_CODE (expr)));
1603 lto_stats.num_pickle_refs_output++;
1608 /* Output to OB a list of try/catch handlers starting with FIRST. */
1610 static void
1611 output_eh_try_list (struct output_block *ob, eh_catch first)
1613 eh_catch n;
1615 for (n = first; n; n = n->next_catch)
1617 streamer_write_record_start (ob, LTO_eh_catch);
1618 stream_write_tree (ob, n->type_list, true);
1619 stream_write_tree (ob, n->filter_list, true);
1620 stream_write_tree (ob, n->label, true);
1623 streamer_write_record_start (ob, LTO_null);
1627 /* Output EH region R in function FN to OB. CURR_RN is the slot index
1628 that is being emitted in FN->EH->REGION_ARRAY. This is used to
1629 detect EH region sharing. */
1631 static void
1632 output_eh_region (struct output_block *ob, eh_region r)
1634 enum LTO_tags tag;
1636 if (r == NULL)
1638 streamer_write_record_start (ob, LTO_null);
1639 return;
1642 if (r->type == ERT_CLEANUP)
1643 tag = LTO_ert_cleanup;
1644 else if (r->type == ERT_TRY)
1645 tag = LTO_ert_try;
1646 else if (r->type == ERT_ALLOWED_EXCEPTIONS)
1647 tag = LTO_ert_allowed_exceptions;
1648 else if (r->type == ERT_MUST_NOT_THROW)
1649 tag = LTO_ert_must_not_throw;
1650 else
1651 gcc_unreachable ();
1653 streamer_write_record_start (ob, tag);
1654 streamer_write_hwi (ob, r->index);
1656 if (r->outer)
1657 streamer_write_hwi (ob, r->outer->index);
1658 else
1659 streamer_write_zero (ob);
1661 if (r->inner)
1662 streamer_write_hwi (ob, r->inner->index);
1663 else
1664 streamer_write_zero (ob);
1666 if (r->next_peer)
1667 streamer_write_hwi (ob, r->next_peer->index);
1668 else
1669 streamer_write_zero (ob);
1671 if (r->type == ERT_TRY)
1673 output_eh_try_list (ob, r->u.eh_try.first_catch);
1675 else if (r->type == ERT_ALLOWED_EXCEPTIONS)
1677 stream_write_tree (ob, r->u.allowed.type_list, true);
1678 stream_write_tree (ob, r->u.allowed.label, true);
1679 streamer_write_uhwi (ob, r->u.allowed.filter);
1681 else if (r->type == ERT_MUST_NOT_THROW)
1683 stream_write_tree (ob, r->u.must_not_throw.failure_decl, true);
1684 bitpack_d bp = bitpack_create (ob->main_stream);
1685 stream_output_location (ob, &bp, r->u.must_not_throw.failure_loc);
1686 streamer_write_bitpack (&bp);
1689 if (r->landing_pads)
1690 streamer_write_hwi (ob, r->landing_pads->index);
1691 else
1692 streamer_write_zero (ob);
1696 /* Output landing pad LP to OB. */
1698 static void
1699 output_eh_lp (struct output_block *ob, eh_landing_pad lp)
1701 if (lp == NULL)
1703 streamer_write_record_start (ob, LTO_null);
1704 return;
1707 streamer_write_record_start (ob, LTO_eh_landing_pad);
1708 streamer_write_hwi (ob, lp->index);
1709 if (lp->next_lp)
1710 streamer_write_hwi (ob, lp->next_lp->index);
1711 else
1712 streamer_write_zero (ob);
1714 if (lp->region)
1715 streamer_write_hwi (ob, lp->region->index);
1716 else
1717 streamer_write_zero (ob);
1719 stream_write_tree (ob, lp->post_landing_pad, true);
1723 /* Output the existing eh_table to OB. */
1725 static void
1726 output_eh_regions (struct output_block *ob, struct function *fn)
1728 if (fn->eh && fn->eh->region_tree)
1730 unsigned i;
1731 eh_region eh;
1732 eh_landing_pad lp;
1733 tree ttype;
1735 streamer_write_record_start (ob, LTO_eh_table);
1737 /* Emit the index of the root of the EH region tree. */
1738 streamer_write_hwi (ob, fn->eh->region_tree->index);
1740 /* Emit all the EH regions in the region array. */
1741 streamer_write_hwi (ob, vec_safe_length (fn->eh->region_array));
1742 FOR_EACH_VEC_SAFE_ELT (fn->eh->region_array, i, eh)
1743 output_eh_region (ob, eh);
1745 /* Emit all landing pads. */
1746 streamer_write_hwi (ob, vec_safe_length (fn->eh->lp_array));
1747 FOR_EACH_VEC_SAFE_ELT (fn->eh->lp_array, i, lp)
1748 output_eh_lp (ob, lp);
1750 /* Emit all the runtime type data. */
1751 streamer_write_hwi (ob, vec_safe_length (fn->eh->ttype_data));
1752 FOR_EACH_VEC_SAFE_ELT (fn->eh->ttype_data, i, ttype)
1753 stream_write_tree (ob, ttype, true);
1755 /* Emit the table of action chains. */
1756 if (targetm.arm_eabi_unwinder)
1758 tree t;
1759 streamer_write_hwi (ob, vec_safe_length (fn->eh->ehspec_data.arm_eabi));
1760 FOR_EACH_VEC_SAFE_ELT (fn->eh->ehspec_data.arm_eabi, i, t)
1761 stream_write_tree (ob, t, true);
1763 else
1765 uchar c;
1766 streamer_write_hwi (ob, vec_safe_length (fn->eh->ehspec_data.other));
1767 FOR_EACH_VEC_SAFE_ELT (fn->eh->ehspec_data.other, i, c)
1768 streamer_write_char_stream (ob->main_stream, c);
1772 /* The LTO_null either terminates the record or indicates that there
1773 are no eh_records at all. */
1774 streamer_write_record_start (ob, LTO_null);
1778 /* Output all of the active ssa names to the ssa_names stream. */
1780 static void
1781 output_ssa_names (struct output_block *ob, struct function *fn)
1783 unsigned int i, len;
1785 len = vec_safe_length (SSANAMES (fn));
1786 streamer_write_uhwi (ob, len);
1788 for (i = 1; i < len; i++)
1790 tree ptr = (*SSANAMES (fn))[i];
1792 if (ptr == NULL_TREE
1793 || SSA_NAME_IN_FREE_LIST (ptr)
1794 || virtual_operand_p (ptr))
1795 continue;
1797 streamer_write_uhwi (ob, i);
1798 streamer_write_char_stream (ob->main_stream,
1799 SSA_NAME_IS_DEFAULT_DEF (ptr));
1800 if (SSA_NAME_VAR (ptr))
1801 stream_write_tree (ob, SSA_NAME_VAR (ptr), true);
1802 else
1803 /* ??? This drops SSA_NAME_IDENTIFIER on the floor. */
1804 stream_write_tree (ob, TREE_TYPE (ptr), true);
1807 streamer_write_zero (ob);
1811 /* Output a wide-int. */
1813 static void
1814 streamer_write_wi (struct output_block *ob,
1815 const widest_int &w)
1817 int len = w.get_len ();
1819 streamer_write_uhwi (ob, w.get_precision ());
1820 streamer_write_uhwi (ob, len);
1821 for (int i = 0; i < len; i++)
1822 streamer_write_hwi (ob, w.elt (i));
1826 /* Output the cfg. */
1828 static void
1829 output_cfg (struct output_block *ob, struct function *fn)
1831 struct lto_output_stream *tmp_stream = ob->main_stream;
1832 basic_block bb;
1834 ob->main_stream = ob->cfg_stream;
1836 streamer_write_enum (ob->main_stream, profile_status_d, PROFILE_LAST,
1837 profile_status_for_fn (fn));
1839 /* Output the number of the highest basic block. */
1840 streamer_write_uhwi (ob, last_basic_block_for_fn (fn));
1842 FOR_ALL_BB_FN (bb, fn)
1844 edge_iterator ei;
1845 edge e;
1847 streamer_write_hwi (ob, bb->index);
1849 /* Output the successors and the edge flags. */
1850 streamer_write_uhwi (ob, EDGE_COUNT (bb->succs));
1851 FOR_EACH_EDGE (e, ei, bb->succs)
1853 streamer_write_uhwi (ob, e->dest->index);
1854 streamer_write_hwi (ob, e->probability);
1855 streamer_write_gcov_count (ob, e->count);
1856 streamer_write_uhwi (ob, e->flags);
1860 streamer_write_hwi (ob, -1);
1862 bb = ENTRY_BLOCK_PTR_FOR_FN (cfun);
1863 while (bb->next_bb)
1865 streamer_write_hwi (ob, bb->next_bb->index);
1866 bb = bb->next_bb;
1869 streamer_write_hwi (ob, -1);
1871 /* ??? The cfgloop interface is tied to cfun. */
1872 gcc_assert (cfun == fn);
1874 /* Output the number of loops. */
1875 streamer_write_uhwi (ob, number_of_loops (fn));
1877 /* Output each loop, skipping the tree root which has number zero. */
1878 for (unsigned i = 1; i < number_of_loops (fn); ++i)
1880 struct loop *loop = get_loop (fn, i);
1882 /* Write the index of the loop header. That's enough to rebuild
1883 the loop tree on the reader side. Stream -1 for an unused
1884 loop entry. */
1885 if (!loop)
1887 streamer_write_hwi (ob, -1);
1888 continue;
1890 else
1891 streamer_write_hwi (ob, loop->header->index);
1893 /* Write everything copy_loop_info copies. */
1894 streamer_write_enum (ob->main_stream,
1895 loop_estimation, EST_LAST, loop->estimate_state);
1896 streamer_write_hwi (ob, loop->any_upper_bound);
1897 if (loop->any_upper_bound)
1898 streamer_write_wi (ob, loop->nb_iterations_upper_bound);
1899 streamer_write_hwi (ob, loop->any_estimate);
1900 if (loop->any_estimate)
1901 streamer_write_wi (ob, loop->nb_iterations_estimate);
1903 /* Write OMP SIMD related info. */
1904 streamer_write_hwi (ob, loop->safelen);
1905 streamer_write_hwi (ob, loop->dont_vectorize);
1906 streamer_write_hwi (ob, loop->force_vectorize);
1907 stream_write_tree (ob, loop->simduid, true);
1910 ob->main_stream = tmp_stream;
1914 /* Create the header in the file using OB. If the section type is for
1915 a function, set FN to the decl for that function. */
1917 void
1918 produce_asm (struct output_block *ob, tree fn)
1920 enum lto_section_type section_type = ob->section_type;
1921 struct lto_function_header header;
1922 char *section_name;
1924 if (section_type == LTO_section_function_body)
1926 const char *name = IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (fn));
1927 section_name = lto_get_section_name (section_type, name, NULL);
1929 else
1930 section_name = lto_get_section_name (section_type, NULL, NULL);
1932 lto_begin_section (section_name, !flag_wpa);
1933 free (section_name);
1935 /* The entire header is stream computed here. */
1936 memset (&header, 0, sizeof (struct lto_function_header));
1938 /* Write the header. */
1939 header.major_version = LTO_major_version;
1940 header.minor_version = LTO_minor_version;
1942 if (section_type == LTO_section_function_body)
1943 header.cfg_size = ob->cfg_stream->total_size;
1944 header.main_size = ob->main_stream->total_size;
1945 header.string_size = ob->string_stream->total_size;
1946 lto_write_data (&header, sizeof header);
1948 /* Put all of the gimple and the string table out the asm file as a
1949 block of text. */
1950 if (section_type == LTO_section_function_body)
1951 lto_write_stream (ob->cfg_stream);
1952 lto_write_stream (ob->main_stream);
1953 lto_write_stream (ob->string_stream);
1955 lto_end_section ();
1959 /* Output the base body of struct function FN using output block OB. */
1961 static void
1962 output_struct_function_base (struct output_block *ob, struct function *fn)
1964 struct bitpack_d bp;
1965 unsigned i;
1966 tree t;
1968 /* Output the static chain and non-local goto save area. */
1969 stream_write_tree (ob, fn->static_chain_decl, true);
1970 stream_write_tree (ob, fn->nonlocal_goto_save_area, true);
1972 /* Output all the local variables in the function. */
1973 streamer_write_hwi (ob, vec_safe_length (fn->local_decls));
1974 FOR_EACH_VEC_SAFE_ELT (fn->local_decls, i, t)
1975 stream_write_tree (ob, t, true);
1977 /* Output current IL state of the function. */
1978 streamer_write_uhwi (ob, fn->curr_properties);
1980 /* Write all the attributes for FN. */
1981 bp = bitpack_create (ob->main_stream);
1982 bp_pack_value (&bp, fn->is_thunk, 1);
1983 bp_pack_value (&bp, fn->has_local_explicit_reg_vars, 1);
1984 bp_pack_value (&bp, fn->returns_pcc_struct, 1);
1985 bp_pack_value (&bp, fn->returns_struct, 1);
1986 bp_pack_value (&bp, fn->can_throw_non_call_exceptions, 1);
1987 bp_pack_value (&bp, fn->can_delete_dead_exceptions, 1);
1988 bp_pack_value (&bp, fn->always_inline_functions_inlined, 1);
1989 bp_pack_value (&bp, fn->after_inlining, 1);
1990 bp_pack_value (&bp, fn->stdarg, 1);
1991 bp_pack_value (&bp, fn->has_nonlocal_label, 1);
1992 bp_pack_value (&bp, fn->calls_alloca, 1);
1993 bp_pack_value (&bp, fn->calls_setjmp, 1);
1994 bp_pack_value (&bp, fn->has_force_vectorize_loops, 1);
1995 bp_pack_value (&bp, fn->has_simduid_loops, 1);
1996 bp_pack_value (&bp, fn->va_list_fpr_size, 8);
1997 bp_pack_value (&bp, fn->va_list_gpr_size, 8);
1998 bp_pack_value (&bp, fn->last_clique, sizeof (short) * 8);
2000 /* Output the function start and end loci. */
2001 stream_output_location (ob, &bp, fn->function_start_locus);
2002 stream_output_location (ob, &bp, fn->function_end_locus);
2004 streamer_write_bitpack (&bp);
2008 /* Output the body of function NODE->DECL. */
2010 static void
2011 output_function (struct cgraph_node *node)
2013 tree function;
2014 struct function *fn;
2015 basic_block bb;
2016 struct output_block *ob;
2018 function = node->decl;
2019 fn = DECL_STRUCT_FUNCTION (function);
2020 ob = create_output_block (LTO_section_function_body);
2022 clear_line_info (ob);
2023 ob->symbol = node;
2025 gcc_assert (current_function_decl == NULL_TREE && cfun == NULL);
2027 /* Set current_function_decl and cfun. */
2028 push_cfun (fn);
2030 /* Make string 0 be a NULL string. */
2031 streamer_write_char_stream (ob->string_stream, 0);
2033 streamer_write_record_start (ob, LTO_function);
2035 /* Output decls for parameters and args. */
2036 stream_write_tree (ob, DECL_RESULT (function), true);
2037 streamer_write_chain (ob, DECL_ARGUMENTS (function), true);
2039 /* Output DECL_INITIAL for the function, which contains the tree of
2040 lexical scopes. */
2041 stream_write_tree (ob, DECL_INITIAL (function), true);
2043 /* We also stream abstract functions where we stream only stuff needed for
2044 debug info. */
2045 if (gimple_has_body_p (function))
2047 streamer_write_uhwi (ob, 1);
2048 output_struct_function_base (ob, fn);
2050 /* Output all the SSA names used in the function. */
2051 output_ssa_names (ob, fn);
2053 /* Output any exception handling regions. */
2054 output_eh_regions (ob, fn);
2057 /* We will renumber the statements. The code that does this uses
2058 the same ordering that we use for serializing them so we can use
2059 the same code on the other end and not have to write out the
2060 statement numbers. We do not assign UIDs to PHIs here because
2061 virtual PHIs get re-computed on-the-fly which would make numbers
2062 inconsistent. */
2063 set_gimple_stmt_max_uid (cfun, 0);
2064 FOR_ALL_BB_FN (bb, cfun)
2066 for (gphi_iterator gsi = gsi_start_phis (bb); !gsi_end_p (gsi);
2067 gsi_next (&gsi))
2069 gphi *stmt = gsi.phi ();
2071 /* Virtual PHIs are not going to be streamed. */
2072 if (!virtual_operand_p (gimple_phi_result (stmt)))
2073 gimple_set_uid (stmt, inc_gimple_stmt_max_uid (cfun));
2075 for (gimple_stmt_iterator gsi = gsi_start_bb (bb); !gsi_end_p (gsi);
2076 gsi_next (&gsi))
2078 gimple stmt = gsi_stmt (gsi);
2079 gimple_set_uid (stmt, inc_gimple_stmt_max_uid (cfun));
2082 /* To avoid keeping duplicate gimple IDs in the statements, renumber
2083 virtual phis now. */
2084 FOR_ALL_BB_FN (bb, cfun)
2086 for (gphi_iterator gsi = gsi_start_phis (bb); !gsi_end_p (gsi);
2087 gsi_next (&gsi))
2089 gphi *stmt = gsi.phi ();
2090 if (virtual_operand_p (gimple_phi_result (stmt)))
2091 gimple_set_uid (stmt, inc_gimple_stmt_max_uid (cfun));
2095 /* Output the code for the function. */
2096 FOR_ALL_BB_FN (bb, fn)
2097 output_bb (ob, bb, fn);
2099 /* The terminator for this function. */
2100 streamer_write_record_start (ob, LTO_null);
2102 output_cfg (ob, fn);
2104 pop_cfun ();
2106 else
2107 streamer_write_uhwi (ob, 0);
2109 /* Create a section to hold the pickled output of this function. */
2110 produce_asm (ob, function);
2112 destroy_output_block (ob);
2115 /* Output the body of function NODE->DECL. */
2117 static void
2118 output_constructor (struct varpool_node *node)
2120 tree var = node->decl;
2121 struct output_block *ob;
2123 ob = create_output_block (LTO_section_function_body);
2125 clear_line_info (ob);
2126 ob->symbol = node;
2128 /* Make string 0 be a NULL string. */
2129 streamer_write_char_stream (ob->string_stream, 0);
2131 /* Output DECL_INITIAL for the function, which contains the tree of
2132 lexical scopes. */
2133 stream_write_tree (ob, DECL_INITIAL (var), true);
2135 /* Create a section to hold the pickled output of this function. */
2136 produce_asm (ob, var);
2138 destroy_output_block (ob);
2142 /* Emit toplevel asms. */
2144 void
2145 lto_output_toplevel_asms (void)
2147 struct output_block *ob;
2148 struct asm_node *can;
2149 char *section_name;
2150 struct lto_simple_header_with_strings header;
2152 if (!symtab->first_asm_symbol ())
2153 return;
2155 ob = create_output_block (LTO_section_asm);
2157 /* Make string 0 be a NULL string. */
2158 streamer_write_char_stream (ob->string_stream, 0);
2160 for (can = symtab->first_asm_symbol (); can; can = can->next)
2162 streamer_write_string_cst (ob, ob->main_stream, can->asm_str);
2163 streamer_write_hwi (ob, can->order);
2166 streamer_write_string_cst (ob, ob->main_stream, NULL_TREE);
2168 section_name = lto_get_section_name (LTO_section_asm, NULL, NULL);
2169 lto_begin_section (section_name, !flag_wpa);
2170 free (section_name);
2172 /* The entire header stream is computed here. */
2173 memset (&header, 0, sizeof (header));
2175 /* Write the header. */
2176 header.major_version = LTO_major_version;
2177 header.minor_version = LTO_minor_version;
2179 header.main_size = ob->main_stream->total_size;
2180 header.string_size = ob->string_stream->total_size;
2181 lto_write_data (&header, sizeof header);
2183 /* Put all of the gimple and the string table out the asm file as a
2184 block of text. */
2185 lto_write_stream (ob->main_stream);
2186 lto_write_stream (ob->string_stream);
2188 lto_end_section ();
2190 destroy_output_block (ob);
2194 /* Copy the function body or variable constructor of NODE without deserializing. */
2196 static void
2197 copy_function_or_variable (struct symtab_node *node)
2199 tree function = node->decl;
2200 struct lto_file_decl_data *file_data = node->lto_file_data;
2201 const char *data;
2202 size_t len;
2203 const char *name = IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (function));
2204 char *section_name =
2205 lto_get_section_name (LTO_section_function_body, name, NULL);
2206 size_t i, j;
2207 struct lto_in_decl_state *in_state;
2208 struct lto_out_decl_state *out_state = lto_get_out_decl_state ();
2210 lto_begin_section (section_name, !flag_wpa);
2211 free (section_name);
2213 /* We may have renamed the declaration, e.g., a static function. */
2214 name = lto_get_decl_name_mapping (file_data, name);
2216 data = lto_get_section_data (file_data, LTO_section_function_body,
2217 name, &len);
2218 gcc_assert (data);
2220 /* Do a bit copy of the function body. */
2221 lto_write_data (data, len);
2223 /* Copy decls. */
2224 in_state =
2225 lto_get_function_in_decl_state (node->lto_file_data, function);
2226 gcc_assert (in_state);
2228 for (i = 0; i < LTO_N_DECL_STREAMS; i++)
2230 size_t n = vec_safe_length (in_state->streams[i]);
2231 vec<tree, va_gc> *trees = in_state->streams[i];
2232 struct lto_tree_ref_encoder *encoder = &(out_state->streams[i]);
2234 /* The out state must have the same indices and the in state.
2235 So just copy the vector. All the encoders in the in state
2236 must be empty where we reach here. */
2237 gcc_assert (lto_tree_ref_encoder_size (encoder) == 0);
2238 encoder->trees.reserve_exact (n);
2239 for (j = 0; j < n; j++)
2240 encoder->trees.safe_push ((*trees)[j]);
2243 lto_free_section_data (file_data, LTO_section_function_body, name,
2244 data, len);
2245 lto_end_section ();
2248 /* Wrap symbol references in *TP inside a type-preserving MEM_REF. */
2250 static tree
2251 wrap_refs (tree *tp, int *ws, void *)
2253 tree t = *tp;
2254 if (handled_component_p (t)
2255 && TREE_CODE (TREE_OPERAND (t, 0)) == VAR_DECL)
2257 tree decl = TREE_OPERAND (t, 0);
2258 tree ptrtype = build_pointer_type (TREE_TYPE (decl));
2259 TREE_OPERAND (t, 0) = build2 (MEM_REF, TREE_TYPE (decl),
2260 build1 (ADDR_EXPR, ptrtype, decl),
2261 build_int_cst (ptrtype, 0));
2262 TREE_THIS_VOLATILE (TREE_OPERAND (t, 0)) = TREE_THIS_VOLATILE (decl);
2263 *ws = 0;
2265 else if (TREE_CODE (t) == CONSTRUCTOR)
2267 else if (!EXPR_P (t))
2268 *ws = 0;
2269 return NULL_TREE;
2272 /* Main entry point from the pass manager. */
2274 void
2275 lto_output (void)
2277 struct lto_out_decl_state *decl_state;
2278 #ifdef ENABLE_CHECKING
2279 bitmap output = lto_bitmap_alloc ();
2280 #endif
2281 int i, n_nodes;
2282 lto_symtab_encoder_t encoder = lto_get_out_decl_state ()->symtab_node_encoder;
2284 /* Initialize the streamer. */
2285 lto_streamer_init ();
2287 n_nodes = lto_symtab_encoder_size (encoder);
2288 /* Process only the functions with bodies. */
2289 for (i = 0; i < n_nodes; i++)
2291 symtab_node *snode = lto_symtab_encoder_deref (encoder, i);
2292 if (cgraph_node *node = dyn_cast <cgraph_node *> (snode))
2294 if (lto_symtab_encoder_encode_body_p (encoder, node)
2295 && !node->alias)
2297 #ifdef ENABLE_CHECKING
2298 gcc_assert (!bitmap_bit_p (output, DECL_UID (node->decl)));
2299 bitmap_set_bit (output, DECL_UID (node->decl));
2300 #endif
2301 decl_state = lto_new_out_decl_state ();
2302 lto_push_out_decl_state (decl_state);
2303 if (gimple_has_body_p (node->decl) || !flag_wpa
2304 /* Thunks have no body but they may be synthetized
2305 at WPA time. */
2306 || DECL_ARGUMENTS (node->decl))
2307 output_function (node);
2308 else
2309 copy_function_or_variable (node);
2310 gcc_assert (lto_get_out_decl_state () == decl_state);
2311 lto_pop_out_decl_state ();
2312 lto_record_function_out_decl_state (node->decl, decl_state);
2315 else if (varpool_node *node = dyn_cast <varpool_node *> (snode))
2317 /* Wrap symbol references inside the ctor in a type
2318 preserving MEM_REF. */
2319 tree ctor = DECL_INITIAL (node->decl);
2320 if (ctor && !in_lto_p)
2321 walk_tree (&ctor, wrap_refs, NULL, NULL);
2322 if (get_symbol_initial_value (encoder, node->decl) == error_mark_node
2323 && lto_symtab_encoder_encode_initializer_p (encoder, node)
2324 && !node->alias)
2326 timevar_push (TV_IPA_LTO_CTORS_OUT);
2327 #ifdef ENABLE_CHECKING
2328 gcc_assert (!bitmap_bit_p (output, DECL_UID (node->decl)));
2329 bitmap_set_bit (output, DECL_UID (node->decl));
2330 #endif
2331 decl_state = lto_new_out_decl_state ();
2332 lto_push_out_decl_state (decl_state);
2333 if (DECL_INITIAL (node->decl) != error_mark_node
2334 || !flag_wpa)
2335 output_constructor (node);
2336 else
2337 copy_function_or_variable (node);
2338 gcc_assert (lto_get_out_decl_state () == decl_state);
2339 lto_pop_out_decl_state ();
2340 lto_record_function_out_decl_state (node->decl, decl_state);
2341 timevar_pop (TV_IPA_LTO_CTORS_OUT);
2346 /* Emit the callgraph after emitting function bodies. This needs to
2347 be done now to make sure that all the statements in every function
2348 have been renumbered so that edges can be associated with call
2349 statements using the statement UIDs. */
2350 output_symtab ();
2352 output_offload_tables ();
2354 #ifdef ENABLE_CHECKING
2355 lto_bitmap_free (output);
2356 #endif
2359 /* Write each node in encoded by ENCODER to OB, as well as those reachable
2360 from it and required for correct representation of its semantics.
2361 Each node in ENCODER must be a global declaration or a type. A node
2362 is written only once, even if it appears multiple times in the
2363 vector. Certain transitively-reachable nodes, such as those
2364 representing expressions, may be duplicated, but such nodes
2365 must not appear in ENCODER itself. */
2367 static void
2368 write_global_stream (struct output_block *ob,
2369 struct lto_tree_ref_encoder *encoder)
2371 tree t;
2372 size_t index;
2373 const size_t size = lto_tree_ref_encoder_size (encoder);
2375 for (index = 0; index < size; index++)
2377 t = lto_tree_ref_encoder_get_tree (encoder, index);
2378 if (!streamer_tree_cache_lookup (ob->writer_cache, t, NULL))
2379 stream_write_tree (ob, t, false);
2384 /* Write a sequence of indices into the globals vector corresponding
2385 to the trees in ENCODER. These are used by the reader to map the
2386 indices used to refer to global entities within function bodies to
2387 their referents. */
2389 static void
2390 write_global_references (struct output_block *ob,
2391 struct lto_tree_ref_encoder *encoder)
2393 tree t;
2394 uint32_t index;
2395 const uint32_t size = lto_tree_ref_encoder_size (encoder);
2397 /* Write size and slot indexes as 32-bit unsigned numbers. */
2398 uint32_t *data = XNEWVEC (uint32_t, size + 1);
2399 data[0] = size;
2401 for (index = 0; index < size; index++)
2403 uint32_t slot_num;
2405 t = lto_tree_ref_encoder_get_tree (encoder, index);
2406 streamer_tree_cache_lookup (ob->writer_cache, t, &slot_num);
2407 gcc_assert (slot_num != (unsigned)-1);
2408 data[index + 1] = slot_num;
2411 lto_write_data (data, sizeof (int32_t) * (size + 1));
2412 free (data);
2416 /* Write all the streams in an lto_out_decl_state STATE using
2417 output block OB and output stream OUT_STREAM. */
2419 void
2420 lto_output_decl_state_streams (struct output_block *ob,
2421 struct lto_out_decl_state *state)
2423 int i;
2425 for (i = 0; i < LTO_N_DECL_STREAMS; i++)
2426 write_global_stream (ob, &state->streams[i]);
2430 /* Write all the references in an lto_out_decl_state STATE using
2431 output block OB and output stream OUT_STREAM. */
2433 void
2434 lto_output_decl_state_refs (struct output_block *ob,
2435 struct lto_out_decl_state *state)
2437 unsigned i;
2438 uint32_t ref;
2439 tree decl;
2441 /* Write reference to FUNCTION_DECL. If there is not function,
2442 write reference to void_type_node. */
2443 decl = (state->fn_decl) ? state->fn_decl : void_type_node;
2444 streamer_tree_cache_lookup (ob->writer_cache, decl, &ref);
2445 gcc_assert (ref != (unsigned)-1);
2446 lto_write_data (&ref, sizeof (uint32_t));
2448 for (i = 0; i < LTO_N_DECL_STREAMS; i++)
2449 write_global_references (ob, &state->streams[i]);
2453 /* Return the written size of STATE. */
2455 static size_t
2456 lto_out_decl_state_written_size (struct lto_out_decl_state *state)
2458 int i;
2459 size_t size;
2461 size = sizeof (int32_t); /* fn_ref. */
2462 for (i = 0; i < LTO_N_DECL_STREAMS; i++)
2464 size += sizeof (int32_t); /* vector size. */
2465 size += (lto_tree_ref_encoder_size (&state->streams[i])
2466 * sizeof (int32_t));
2468 return size;
2472 /* Write symbol T into STREAM in CACHE. SEEN specifies symbols we wrote
2473 so far. */
2475 static void
2476 write_symbol (struct streamer_tree_cache_d *cache,
2477 tree t, hash_set<const char *> *seen, bool alias)
2479 const char *name;
2480 enum gcc_plugin_symbol_kind kind;
2481 enum gcc_plugin_symbol_visibility visibility = GCCPV_DEFAULT;
2482 unsigned slot_num;
2483 uint64_t size;
2484 const char *comdat;
2485 unsigned char c;
2487 /* None of the following kinds of symbols are needed in the
2488 symbol table. */
2489 if (!TREE_PUBLIC (t)
2490 || is_builtin_fn (t)
2491 || DECL_ABSTRACT_P (t)
2492 || (TREE_CODE (t) == VAR_DECL && DECL_HARD_REGISTER (t)))
2493 return;
2494 gcc_assert (TREE_CODE (t) != RESULT_DECL);
2496 gcc_assert (TREE_CODE (t) == VAR_DECL
2497 || TREE_CODE (t) == FUNCTION_DECL);
2499 name = IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (t));
2501 /* This behaves like assemble_name_raw in varasm.c, performing the
2502 same name manipulations that ASM_OUTPUT_LABELREF does. */
2503 name = IDENTIFIER_POINTER ((*targetm.asm_out.mangle_assembler_name) (name));
2505 if (seen->add (name))
2506 return;
2508 streamer_tree_cache_lookup (cache, t, &slot_num);
2509 gcc_assert (slot_num != (unsigned)-1);
2511 if (DECL_EXTERNAL (t))
2513 if (DECL_WEAK (t))
2514 kind = GCCPK_WEAKUNDEF;
2515 else
2516 kind = GCCPK_UNDEF;
2518 else
2520 if (DECL_WEAK (t))
2521 kind = GCCPK_WEAKDEF;
2522 else if (DECL_COMMON (t))
2523 kind = GCCPK_COMMON;
2524 else
2525 kind = GCCPK_DEF;
2527 /* When something is defined, it should have node attached. */
2528 gcc_assert (alias || TREE_CODE (t) != VAR_DECL
2529 || varpool_node::get (t)->definition);
2530 gcc_assert (alias || TREE_CODE (t) != FUNCTION_DECL
2531 || (cgraph_node::get (t)
2532 && cgraph_node::get (t)->definition));
2535 /* Imitate what default_elf_asm_output_external do.
2536 When symbol is external, we need to output it with DEFAULT visibility
2537 when compiling with -fvisibility=default, while with HIDDEN visibility
2538 when symbol has attribute (visibility("hidden")) specified.
2539 targetm.binds_local_p check DECL_VISIBILITY_SPECIFIED and gets this
2540 right. */
2542 if (DECL_EXTERNAL (t)
2543 && !targetm.binds_local_p (t))
2544 visibility = GCCPV_DEFAULT;
2545 else
2546 switch (DECL_VISIBILITY (t))
2548 case VISIBILITY_DEFAULT:
2549 visibility = GCCPV_DEFAULT;
2550 break;
2551 case VISIBILITY_PROTECTED:
2552 visibility = GCCPV_PROTECTED;
2553 break;
2554 case VISIBILITY_HIDDEN:
2555 visibility = GCCPV_HIDDEN;
2556 break;
2557 case VISIBILITY_INTERNAL:
2558 visibility = GCCPV_INTERNAL;
2559 break;
2562 if (kind == GCCPK_COMMON
2563 && DECL_SIZE_UNIT (t)
2564 && TREE_CODE (DECL_SIZE_UNIT (t)) == INTEGER_CST)
2565 size = TREE_INT_CST_LOW (DECL_SIZE_UNIT (t));
2566 else
2567 size = 0;
2569 if (DECL_ONE_ONLY (t))
2570 comdat = IDENTIFIER_POINTER (decl_comdat_group_id (t));
2571 else
2572 comdat = "";
2574 lto_write_data (name, strlen (name) + 1);
2575 lto_write_data (comdat, strlen (comdat) + 1);
2576 c = (unsigned char) kind;
2577 lto_write_data (&c, 1);
2578 c = (unsigned char) visibility;
2579 lto_write_data (&c, 1);
2580 lto_write_data (&size, 8);
2581 lto_write_data (&slot_num, 4);
2584 /* Return true if NODE should appear in the plugin symbol table. */
2586 bool
2587 output_symbol_p (symtab_node *node)
2589 struct cgraph_node *cnode;
2590 if (!node->real_symbol_p ())
2591 return false;
2592 /* We keep external functions in symtab for sake of inlining
2593 and devirtualization. We do not want to see them in symbol table as
2594 references unless they are really used. */
2595 cnode = dyn_cast <cgraph_node *> (node);
2596 if (cnode && (!node->definition || DECL_EXTERNAL (cnode->decl))
2597 && cnode->callers)
2598 return true;
2600 /* Ignore all references from external vars initializers - they are not really
2601 part of the compilation unit until they are used by folding. Some symbols,
2602 like references to external construction vtables can not be referred to at all.
2603 We decide this at can_refer_decl_in_current_unit_p. */
2604 if (!node->definition || DECL_EXTERNAL (node->decl))
2606 int i;
2607 struct ipa_ref *ref;
2608 for (i = 0; node->iterate_referring (i, ref); i++)
2610 if (ref->use == IPA_REF_ALIAS)
2611 continue;
2612 if (is_a <cgraph_node *> (ref->referring))
2613 return true;
2614 if (!DECL_EXTERNAL (ref->referring->decl))
2615 return true;
2617 return false;
2619 return true;
2623 /* Write an IL symbol table to OB.
2624 SET and VSET are cgraph/varpool node sets we are outputting. */
2626 static void
2627 produce_symtab (struct output_block *ob)
2629 struct streamer_tree_cache_d *cache = ob->writer_cache;
2630 char *section_name = lto_get_section_name (LTO_section_symtab, NULL, NULL);
2631 lto_symtab_encoder_t encoder = ob->decl_state->symtab_node_encoder;
2632 lto_symtab_encoder_iterator lsei;
2634 lto_begin_section (section_name, false);
2635 free (section_name);
2637 hash_set<const char *> seen;
2639 /* Write the symbol table.
2640 First write everything defined and then all declarations.
2641 This is necessary to handle cases where we have duplicated symbols. */
2642 for (lsei = lsei_start (encoder);
2643 !lsei_end_p (lsei); lsei_next (&lsei))
2645 symtab_node *node = lsei_node (lsei);
2647 if (!output_symbol_p (node) || DECL_EXTERNAL (node->decl))
2648 continue;
2649 write_symbol (cache, node->decl, &seen, false);
2651 for (lsei = lsei_start (encoder);
2652 !lsei_end_p (lsei); lsei_next (&lsei))
2654 symtab_node *node = lsei_node (lsei);
2656 if (!output_symbol_p (node) || !DECL_EXTERNAL (node->decl))
2657 continue;
2658 write_symbol (cache, node->decl, &seen, false);
2661 lto_end_section ();
2665 /* Init the streamer_mode_table for output, where we collect info on what
2666 machine_mode values have been streamed. */
2667 void
2668 lto_output_init_mode_table (void)
2670 memset (streamer_mode_table, '\0', MAX_MACHINE_MODE);
2674 /* Write the mode table. */
2675 static void
2676 lto_write_mode_table (void)
2678 struct output_block *ob;
2679 ob = create_output_block (LTO_section_mode_table);
2680 bitpack_d bp = bitpack_create (ob->main_stream);
2682 /* Ensure that for GET_MODE_INNER (m) != VOIDmode we have
2683 also the inner mode marked. */
2684 for (int i = 0; i < (int) MAX_MACHINE_MODE; i++)
2685 if (streamer_mode_table[i])
2687 machine_mode m = (machine_mode) i;
2688 if (GET_MODE_INNER (m) != VOIDmode)
2689 streamer_mode_table[(int) GET_MODE_INNER (m)] = 1;
2691 /* First stream modes that have GET_MODE_INNER (m) == VOIDmode,
2692 so that we can refer to them afterwards. */
2693 for (int pass = 0; pass < 2; pass++)
2694 for (int i = 0; i < (int) MAX_MACHINE_MODE; i++)
2695 if (streamer_mode_table[i] && i != (int) VOIDmode && i != (int) BLKmode)
2697 machine_mode m = (machine_mode) i;
2698 if ((GET_MODE_INNER (m) == VOIDmode) ^ (pass == 0))
2699 continue;
2700 bp_pack_value (&bp, m, 8);
2701 bp_pack_enum (&bp, mode_class, MAX_MODE_CLASS, GET_MODE_CLASS (m));
2702 bp_pack_value (&bp, GET_MODE_SIZE (m), 8);
2703 bp_pack_value (&bp, GET_MODE_PRECISION (m), 16);
2704 bp_pack_value (&bp, GET_MODE_INNER (m), 8);
2705 bp_pack_value (&bp, GET_MODE_NUNITS (m), 8);
2706 switch (GET_MODE_CLASS (m))
2708 case MODE_FRACT:
2709 case MODE_UFRACT:
2710 case MODE_ACCUM:
2711 case MODE_UACCUM:
2712 bp_pack_value (&bp, GET_MODE_IBIT (m), 8);
2713 bp_pack_value (&bp, GET_MODE_FBIT (m), 8);
2714 break;
2715 case MODE_FLOAT:
2716 case MODE_DECIMAL_FLOAT:
2717 bp_pack_string (ob, &bp, REAL_MODE_FORMAT (m)->name, true);
2718 break;
2719 default:
2720 break;
2722 bp_pack_string (ob, &bp, GET_MODE_NAME (m), true);
2724 bp_pack_value (&bp, VOIDmode, 8);
2726 streamer_write_bitpack (&bp);
2728 char *section_name
2729 = lto_get_section_name (LTO_section_mode_table, NULL, NULL);
2730 lto_begin_section (section_name, !flag_wpa);
2731 free (section_name);
2733 /* The entire header stream is computed here. */
2734 struct lto_simple_header_with_strings header;
2735 memset (&header, 0, sizeof (header));
2737 /* Write the header. */
2738 header.major_version = LTO_major_version;
2739 header.minor_version = LTO_minor_version;
2741 header.main_size = ob->main_stream->total_size;
2742 header.string_size = ob->string_stream->total_size;
2743 lto_write_data (&header, sizeof header);
2745 /* Put all of the gimple and the string table out the asm file as a
2746 block of text. */
2747 lto_write_stream (ob->main_stream);
2748 lto_write_stream (ob->string_stream);
2750 lto_end_section ();
2751 destroy_output_block (ob);
2755 /* This pass is run after all of the functions are serialized and all
2756 of the IPA passes have written their serialized forms. This pass
2757 causes the vector of all of the global decls and types used from
2758 this file to be written in to a section that can then be read in to
2759 recover these on other side. */
2761 void
2762 produce_asm_for_decls (void)
2764 struct lto_out_decl_state *out_state;
2765 struct lto_out_decl_state *fn_out_state;
2766 struct lto_decl_header header;
2767 char *section_name;
2768 struct output_block *ob;
2769 unsigned idx, num_fns;
2770 size_t decl_state_size;
2771 int32_t num_decl_states;
2773 ob = create_output_block (LTO_section_decls);
2775 memset (&header, 0, sizeof (struct lto_decl_header));
2777 section_name = lto_get_section_name (LTO_section_decls, NULL, NULL);
2778 lto_begin_section (section_name, !flag_wpa);
2779 free (section_name);
2781 /* Make string 0 be a NULL string. */
2782 streamer_write_char_stream (ob->string_stream, 0);
2784 gcc_assert (!alias_pairs);
2786 /* Get rid of the global decl state hash tables to save some memory. */
2787 out_state = lto_get_out_decl_state ();
2788 for (int i = 0; i < LTO_N_DECL_STREAMS; i++)
2789 if (out_state->streams[i].tree_hash_table)
2791 delete out_state->streams[i].tree_hash_table;
2792 out_state->streams[i].tree_hash_table = NULL;
2795 /* Write the global symbols. */
2796 lto_output_decl_state_streams (ob, out_state);
2797 num_fns = lto_function_decl_states.length ();
2798 for (idx = 0; idx < num_fns; idx++)
2800 fn_out_state =
2801 lto_function_decl_states[idx];
2802 lto_output_decl_state_streams (ob, fn_out_state);
2805 header.major_version = LTO_major_version;
2806 header.minor_version = LTO_minor_version;
2808 /* Currently not used. This field would allow us to preallocate
2809 the globals vector, so that it need not be resized as it is extended. */
2810 header.num_nodes = -1;
2812 /* Compute the total size of all decl out states. */
2813 decl_state_size = sizeof (int32_t);
2814 decl_state_size += lto_out_decl_state_written_size (out_state);
2815 for (idx = 0; idx < num_fns; idx++)
2817 fn_out_state =
2818 lto_function_decl_states[idx];
2819 decl_state_size += lto_out_decl_state_written_size (fn_out_state);
2821 header.decl_state_size = decl_state_size;
2823 header.main_size = ob->main_stream->total_size;
2824 header.string_size = ob->string_stream->total_size;
2826 lto_write_data (&header, sizeof header);
2828 /* Write the main out-decl state, followed by out-decl states of
2829 functions. */
2830 num_decl_states = num_fns + 1;
2831 lto_write_data (&num_decl_states, sizeof (num_decl_states));
2832 lto_output_decl_state_refs (ob, out_state);
2833 for (idx = 0; idx < num_fns; idx++)
2835 fn_out_state = lto_function_decl_states[idx];
2836 lto_output_decl_state_refs (ob, fn_out_state);
2839 lto_write_stream (ob->main_stream);
2840 lto_write_stream (ob->string_stream);
2842 lto_end_section ();
2844 /* Write the symbol table. It is used by linker to determine dependencies
2845 and thus we can skip it for WPA. */
2846 if (!flag_wpa)
2847 produce_symtab (ob);
2849 /* Write command line opts. */
2850 lto_write_options ();
2852 /* Deallocate memory and clean up. */
2853 for (idx = 0; idx < num_fns; idx++)
2855 fn_out_state =
2856 lto_function_decl_states[idx];
2857 lto_delete_out_decl_state (fn_out_state);
2859 lto_symtab_encoder_delete (ob->decl_state->symtab_node_encoder);
2860 lto_function_decl_states.release ();
2861 destroy_output_block (ob);
2862 if (lto_stream_offload_p)
2863 lto_write_mode_table ();