]> git.ipfire.org Git - thirdparty/gcc.git/blame - gcc/lto-streamer-out.c
re PR middle-end/70199 (Crash at -O2 when using labels.)
[thirdparty/gcc.git] / gcc / lto-streamer-out.c
CommitLineData
d7f09764
DN
1/* Write the GIMPLE representation to a file stream.
2
818ab71a 3 Copyright (C) 2009-2016 Free Software Foundation, Inc.
d7f09764
DN
4 Contributed by Kenneth Zadeck <zadeck@naturalbridge.com>
5 Re-implemented by Diego Novillo <dnovillo@google.com>
6
7This file is part of GCC.
8
9GCC is free software; you can redistribute it and/or modify it under
10the terms of the GNU General Public License as published by the Free
11Software Foundation; either version 3, or (at your option) any later
12version.
13
14GCC is distributed in the hope that it will be useful, but WITHOUT ANY
15WARRANTY; without even the implied warranty of MERCHANTABILITY or
16FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
17for more details.
18
19You should have received a copy of the GNU General Public License
20along with GCC; see the file COPYING3. If not see
21<http://www.gnu.org/licenses/>. */
22
23#include "config.h"
24#include "system.h"
25#include "coretypes.h"
c7131fb2 26#include "backend.h"
957060b5
AM
27#include "target.h"
28#include "rtl.h"
d7f09764 29#include "tree.h"
c7131fb2 30#include "gimple.h"
957060b5 31#include "tree-pass.h"
c7131fb2 32#include "ssa.h"
957060b5 33#include "gimple-streamer.h"
c7131fb2 34#include "alias.h"
d8a2d370 35#include "stor-layout.h"
5be5c238 36#include "gimple-iterator.h"
d7f09764 37#include "except.h"
d7f09764 38#include "lto-symtab.h"
c582198b 39#include "cgraph.h"
dd366ec3 40#include "cfgloop.h"
9b2b7279 41#include "builtins.h"
41dbbb37 42#include "gomp-constants.h"
d7f09764
DN
43
44
5f673c6a
TB
45static void lto_write_tree (struct output_block*, tree, bool);
46
d7f09764
DN
47/* Clear the line info stored in DATA_IN. */
48
49static void
50clear_line_info (struct output_block *ob)
51{
52 ob->current_file = NULL;
53 ob->current_line = 0;
54 ob->current_col = 0;
a9dfad6d 55 ob->current_sysp = false;
d7f09764
DN
56}
57
58
59/* Create the output block and return it. SECTION_TYPE is
60 LTO_section_function_body or LTO_static_initializer. */
61
62struct output_block *
63create_output_block (enum lto_section_type section_type)
64{
65 struct output_block *ob = XCNEW (struct output_block);
66
67 ob->section_type = section_type;
68 ob->decl_state = lto_get_out_decl_state ();
f0efc7aa
DN
69 ob->main_stream = XCNEW (struct lto_output_stream);
70 ob->string_stream = XCNEW (struct lto_output_stream);
bdc67fd6 71 ob->writer_cache = streamer_tree_cache_create (!flag_wpa, true, false);
d7f09764 72
f0efc7aa
DN
73 if (section_type == LTO_section_function_body)
74 ob->cfg_stream = XCNEW (struct lto_output_stream);
d7f09764 75
f0efc7aa 76 clear_line_info (ob);
51545682 77
c203e8a7 78 ob->string_hash_table = new hash_table<string_slot_hasher> (37);
f0efc7aa 79 gcc_obstack_init (&ob->obstack);
d7f09764 80
f0efc7aa
DN
81 return ob;
82}
d7f09764 83
d7f09764 84
f0efc7aa 85/* Destroy the output block OB. */
d7f09764 86
f0efc7aa
DN
87void
88destroy_output_block (struct output_block *ob)
89{
90 enum lto_section_type section_type = ob->section_type;
d7f09764 91
c203e8a7
TS
92 delete ob->string_hash_table;
93 ob->string_hash_table = NULL;
d7f09764 94
f0efc7aa
DN
95 free (ob->main_stream);
96 free (ob->string_stream);
97 if (section_type == LTO_section_function_body)
98 free (ob->cfg_stream);
d7f09764 99
412288f1 100 streamer_tree_cache_delete (ob->writer_cache);
f0efc7aa 101 obstack_free (&ob->obstack, NULL);
6be14c0e 102
f0efc7aa 103 free (ob);
d7f09764
DN
104}
105
106
f0efc7aa 107/* Look up NODE in the type table and write the index for it to OB. */
d7f09764
DN
108
109static void
f0efc7aa 110output_type_ref (struct output_block *ob, tree node)
d7f09764 111{
412288f1 112 streamer_write_record_start (ob, LTO_type_ref);
f0efc7aa 113 lto_output_type_ref_index (ob->decl_state, ob->main_stream, node);
d7f09764
DN
114}
115
116
f0efc7aa
DN
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). */
d7f09764 121
f0efc7aa
DN
122static bool
123tree_is_indexable (tree t)
d7f09764 124{
61a74079
JH
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. */
e0ffb247
RB
128 if ((TREE_CODE (t) == PARM_DECL || TREE_CODE (t) == RESULT_DECL)
129 && DECL_CONTEXT (t))
61a74079 130 return variably_modified_type_p (TREE_TYPE (DECL_CONTEXT (t)), NULL_TREE);
52d8a590
JH
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;
53a5717e
RB
134 else if (((TREE_CODE (t) == VAR_DECL && !TREE_STATIC (t))
135 || TREE_CODE (t) == TYPE_DECL
c39276b8
RB
136 || TREE_CODE (t) == CONST_DECL
137 || TREE_CODE (t) == NAMELIST_DECL)
53a5717e 138 && decl_function_context (t))
f0efc7aa 139 return false;
ee03e71d
RB
140 else if (TREE_CODE (t) == DEBUG_EXPR_DECL)
141 return false;
befa62e7
RG
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;
d7f09764 152 else
f0efc7aa 153 return (TYPE_P (t) || DECL_P (t) || TREE_CODE (t) == SSA_NAME);
d7f09764
DN
154}
155
156
f0efc7aa
DN
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. */
d7f09764 160
7cb7d208
RB
161void
162lto_output_location (struct output_block *ob, struct bitpack_d *bp,
163 location_t loc)
d7f09764 164{
f0efc7aa 165 expanded_location xloc;
d7f09764 166
5368224f 167 loc = LOCATION_LOCUS (loc);
44433db0
JH
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)
f0efc7aa 172 return;
d7f09764 173
f0efc7aa 174 xloc = expand_location (loc);
d7f09764 175
f0efc7aa 176 bp_pack_value (bp, ob->current_file != xloc.file, 1);
e45cde98
RB
177 bp_pack_value (bp, ob->current_line != xloc.line, 1);
178 bp_pack_value (bp, ob->current_col != xloc.column, 1);
179
f0efc7aa 180 if (ob->current_file != xloc.file)
6c1bc27c
RB
181 {
182 bp_pack_string (ob, bp, xloc.file, true);
183 bp_pack_value (bp, xloc.sysp, 1);
184 }
f0efc7aa 185 ob->current_file = xloc.file;
6c1bc27c 186 ob->current_sysp = xloc.sysp;
d7f09764 187
f0efc7aa
DN
188 if (ob->current_line != xloc.line)
189 bp_pack_var_len_unsigned (bp, xloc.line);
190 ob->current_line = xloc.line;
47c79d56 191
f0efc7aa
DN
192 if (ob->current_col != xloc.column)
193 bp_pack_var_len_unsigned (bp, xloc.column);
194 ob->current_col = xloc.column;
d7f09764
DN
195}
196
197
f0efc7aa
DN
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. */
d7f09764 201
b9393656 202static void
f0efc7aa 203lto_output_tree_ref (struct output_block *ob, tree expr)
d7f09764 204{
f0efc7aa 205 enum tree_code code;
d7f09764 206
f0efc7aa 207 if (TYPE_P (expr))
d7f09764 208 {
f0efc7aa
DN
209 output_type_ref (ob, expr);
210 return;
d7f09764 211 }
f0efc7aa
DN
212
213 code = TREE_CODE (expr);
214 switch (code)
d7f09764 215 {
f0efc7aa 216 case SSA_NAME:
412288f1
DN
217 streamer_write_record_start (ob, LTO_ssa_name_ref);
218 streamer_write_uhwi (ob, SSA_NAME_VERSION (expr));
f0efc7aa
DN
219 break;
220
221 case FIELD_DECL:
412288f1 222 streamer_write_record_start (ob, LTO_field_decl_ref);
f0efc7aa
DN
223 lto_output_field_decl_index (ob->decl_state, ob->main_stream, expr);
224 break;
225
226 case FUNCTION_DECL:
412288f1 227 streamer_write_record_start (ob, LTO_function_decl_ref);
f0efc7aa
DN
228 lto_output_fn_decl_index (ob->decl_state, ob->main_stream, expr);
229 break;
230
231 case VAR_DECL:
232 case DEBUG_EXPR_DECL:
b9393656 233 gcc_assert (decl_function_context (expr) == NULL || TREE_STATIC (expr));
9aef8e95 234 case PARM_DECL:
412288f1 235 streamer_write_record_start (ob, LTO_global_decl_ref);
f0efc7aa
DN
236 lto_output_var_decl_index (ob->decl_state, ob->main_stream, expr);
237 break;
238
239 case CONST_DECL:
412288f1 240 streamer_write_record_start (ob, LTO_const_decl_ref);
f0efc7aa
DN
241 lto_output_var_decl_index (ob->decl_state, ob->main_stream, expr);
242 break;
243
244 case IMPORTED_DECL:
245 gcc_assert (decl_function_context (expr) == NULL);
412288f1 246 streamer_write_record_start (ob, LTO_imported_decl_ref);
f0efc7aa
DN
247 lto_output_var_decl_index (ob->decl_state, ob->main_stream, expr);
248 break;
249
250 case TYPE_DECL:
412288f1 251 streamer_write_record_start (ob, LTO_type_decl_ref);
f0efc7aa
DN
252 lto_output_type_decl_index (ob->decl_state, ob->main_stream, expr);
253 break;
254
5f673c6a 255 case NAMELIST_DECL:
c39276b8
RB
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;
5f673c6a 259
f0efc7aa 260 case NAMESPACE_DECL:
412288f1 261 streamer_write_record_start (ob, LTO_namespace_decl_ref);
f0efc7aa
DN
262 lto_output_namespace_decl_index (ob->decl_state, ob->main_stream, expr);
263 break;
264
265 case LABEL_DECL:
412288f1 266 streamer_write_record_start (ob, LTO_label_decl_ref);
f0efc7aa
DN
267 lto_output_var_decl_index (ob->decl_state, ob->main_stream, expr);
268 break;
269
270 case RESULT_DECL:
412288f1 271 streamer_write_record_start (ob, LTO_result_decl_ref);
f0efc7aa
DN
272 lto_output_var_decl_index (ob->decl_state, ob->main_stream, expr);
273 break;
274
275 case TRANSLATION_UNIT_DECL:
412288f1 276 streamer_write_record_start (ob, LTO_translation_unit_decl_ref);
f0efc7aa
DN
277 lto_output_var_decl_index (ob->decl_state, ob->main_stream, expr);
278 break;
279
280 default:
b9393656
DN
281 /* No other node is indexable, so it should have been handled by
282 lto_output_tree. */
283 gcc_unreachable ();
284 }
285}
286
287
288/* Return true if EXPR is a tree node that can be written to disk. */
289
290static inline bool
291lto_is_streamable (tree expr)
292{
293 enum tree_code code = TREE_CODE (expr);
294
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
b9393656
DN
307 && (code == CASE_LABEL_EXPR
308 || code == DECL_EXPR
309 || TREE_CODE_CLASS (code) != tcc_statement);
310}
311
155768d6
JH
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.
316
317 Count the size of initializer until the size in DATA is positive. */
318
319static tree
320subtract_estimated_size (tree *tp, int *ws, void *data)
321{
322 long *sum = (long *)data;
323 if (tree_is_indexable (*tp))
324 {
325 /* Indexable tree is one reference to global stream.
326 Guess it may be about 4 bytes. */
327 *sum -= 4;
328 *ws = 0;
329 }
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
334 {
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;
341 }
342 if (*sum < 0)
343 return *tp;
344 return NULL_TREE;
345}
346
b9393656 347
ee03e71d
RB
348/* For EXPR lookup and return what we want to stream to OB as DECL_INITIAL. */
349
350static tree
0b83e688 351get_symbol_initial_value (lto_symtab_encoder_t encoder, tree expr)
ee03e71d
RB
352{
353 gcc_checking_assert (DECL_P (expr)
354 && TREE_CODE (expr) != FUNCTION_DECL
355 && TREE_CODE (expr) != TRANSLATION_UNIT_DECL);
356
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)
363 {
2c8326a5 364 varpool_node *vnode;
0b83e688
JH
365 /* Extra section needs about 30 bytes; do not produce it for simple
366 scalar values. */
155768d6 367 if (!(vnode = varpool_node::get (expr))
0b83e688
JH
368 || !lto_symtab_encoder_encode_initializer_p (encoder, vnode))
369 initial = error_mark_node;
155768d6
JH
370 if (initial != error_mark_node)
371 {
372 long max_size = 30;
373 if (walk_tree (&initial, subtract_estimated_size, (void *)&max_size,
374 NULL))
375 initial = error_mark_node;
376 }
ee03e71d
RB
377 }
378
379 return initial;
380}
381
382
b9393656
DN
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. */
387
388static void
ee03e71d 389lto_write_tree_1 (struct output_block *ob, tree expr, bool ref_p)
b9393656 390{
b9393656
DN
391 /* Pack all the non-pointer fields in EXPR into a bitpack and write
392 the resulting bitpack. */
b6bf201e 393 streamer_write_tree_bitfields (ob, expr);
b9393656
DN
394
395 /* Write all the pointer fields in EXPR. */
412288f1 396 streamer_write_tree_body (ob, expr, ref_p);
b9393656
DN
397
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)
402 {
403 /* Handle DECL_INITIAL for symbols. */
0b83e688
JH
404 tree initial = get_symbol_initial_value
405 (ob->decl_state->symtab_node_encoder, expr);
b9393656
DN
406 stream_write_tree (ob, initial, ref_p);
407 }
ee03e71d
RB
408}
409
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. */
414
415static void
416lto_write_tree (struct output_block *ob, tree expr, bool ref_p)
417{
418 if (!lto_is_streamable (expr))
419 internal_error ("tree code %qs is not supported in LTO streams",
5806f481 420 get_tree_code_name (TREE_CODE (expr)));
ee03e71d
RB
421
422 /* Write the header, containing everything needed to materialize
423 EXPR on the reading side. */
424 streamer_write_tree_header (ob, expr);
425
426 lto_write_tree_1 (ob, expr, ref_p);
b9393656
DN
427
428 /* Mark the end of EXPR. */
412288f1 429 streamer_write_zero (ob);
b9393656
DN
430}
431
cec34ee5
EB
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. */
ee03e71d
RB
435
436static void
437lto_output_tree_1 (struct output_block *ob, tree expr, hashval_t hash,
438 bool ref_p, bool this_ref_p)
439{
440 unsigned ix;
441
442 gcc_checking_assert (expr != NULL_TREE
443 && !(this_ref_p && tree_is_indexable (expr)));
444
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))
449 {
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);
456 }
457 else if (TREE_CODE (expr) == INTEGER_CST
458 && !TREE_OVERFLOW (expr))
459 {
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);
464 }
465 else
466 {
467 /* This is the first time we see EXPR, write its fields
468 to OB. */
469 lto_write_tree (ob, expr, ref_p);
470 }
471}
472
a4b0388b 473class DFS
ee03e71d 474{
a4b0388b
JH
475public:
476 DFS (struct output_block *ob, tree expr, bool ref_p, bool this_ref_p,
477 bool single_p);
478 ~DFS ();
479
480 struct scc_entry
481 {
482 tree t;
483 hashval_t hash;
484 };
485 vec<scc_entry> sccstack;
486
487private:
488 struct sccs
489 {
490 unsigned int dfsnum;
491 unsigned int low;
492 };
bbf043c2
JJ
493 struct worklist
494 {
495 tree expr;
496 sccs *from_state;
497 sccs *cstate;
498 bool ref_p;
499 bool this_ref_p;
500 };
a4b0388b
JH
501
502 static int scc_entry_compare (const void *, const void *);
503
504 void DFS_write_tree_body (struct output_block *ob,
bbf043c2 505 tree expr, sccs *expr_state, bool ref_p);
a4b0388b
JH
506
507 void DFS_write_tree (struct output_block *ob, sccs *from_state,
bbf043c2
JJ
508 tree expr, bool ref_p, bool this_ref_p);
509
a4b0388b 510 hashval_t
cec34ee5
EB
511 hash_scc (struct output_block *ob, unsigned first, unsigned size,
512 bool ref_p, bool this_ref_p);
a4b0388b 513
39c8aaa4 514 hash_map<tree, sccs *> sccstate;
bbf043c2 515 vec<worklist> worklist_vec;
a4b0388b 516 struct obstack sccstate_obstack;
ee03e71d
RB
517};
518
cec34ee5
EB
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. */
524
a4b0388b
JH
525DFS::DFS (struct output_block *ob, tree expr, bool ref_p, bool this_ref_p,
526 bool single_p)
ee03e71d 527{
bbf043c2 528 unsigned int next_dfs_num = 1;
a4b0388b 529 sccstack.create (0);
a4b0388b 530 gcc_obstack_init (&sccstate_obstack);
bbf043c2
JJ
531 worklist_vec = vNULL;
532 DFS_write_tree (ob, NULL, expr, ref_p, this_ref_p);
533 while (!worklist_vec.is_empty ())
534 {
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)
542 {
543 sccs **slot = &sccstate.get_or_insert (expr);
544 cstate = *slot;
545 if (cstate)
546 {
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;
552 }
553
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;
561
562 if (streamer_handle_as_builtin_p (expr))
563 ;
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
568 {
569 DFS_write_tree_body (ob, expr, cstate, ref_p);
570
571 /* Walk any LTO-specific edges. */
572 if (DECL_P (expr)
573 && TREE_CODE (expr) != FUNCTION_DECL
574 && TREE_CODE (expr) != TRANSLATION_UNIT_DECL)
575 {
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);
581 }
582 }
583 continue;
584 }
585
586 /* See if we found an SCC. */
587 if (cstate->low == cstate->dfsnum)
588 {
589 unsigned first, size;
590 tree x;
591
cec34ee5 592 /* If we are re-walking a single leaf SCC just pop it,
bbf043c2
JJ
593 let earlier worklist item access the sccstack. */
594 if (single_p)
595 {
596 worklist_vec.pop ();
597 continue;
598 }
599
600 /* Pop the SCC and compute its size. */
601 first = sccstack.length ();
602 do
603 {
604 x = sccstack[--first].t;
605 }
606 while (x != expr);
607 size = sccstack.length () - first;
608
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)
614 {
cec34ee5 615 scc_hash = hash_scc (ob, first, size, ref_p, this_ref_p);
bbf043c2
JJ
616
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;)
621 {
622 unsigned from = i;
623 for (i = i + 1; i < size
624 && (sccstack[first + i].hash
625 == sccstack[first + from].hash); ++i)
626 ;
627 if (i - from < scc_entry_len)
628 {
629 scc_entry_len = i - from;
630 entry_start = from;
631 }
632 }
633 for (unsigned i = 0; i < scc_entry_len; ++i)
6b4db501
MM
634 std::swap (sccstack[first + i],
635 sccstack[first + entry_start + i]);
bbf043c2 636
b2b29377
MM
637 /* We already sorted SCC deterministically in hash_scc. */
638
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);
bbf043c2
JJ
643 }
644
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);
649
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
660 {
661 /* Write the size of the SCC entry candidates. */
662 streamer_write_uhwi (ob, scc_entry_len);
663
664 /* Write all headers and populate the streamer cache. */
665 for (unsigned i = 0; i < size; ++i)
666 {
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);
672
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)));
677
678 gcc_checking_assert (!streamer_handle_as_builtin_p (t));
679
680 /* Write the header, containing everything needed to
681 materialize EXPR on the reading side. */
682 streamer_write_tree_header (ob, t);
683 }
684
685 /* Write the bitpacks and tree references. */
686 for (unsigned i = 0; i < size; ++i)
687 {
688 lto_write_tree_1 (ob, sccstack[first+i].t, ref_p);
689
690 /* Mark the end of the tree. */
691 streamer_write_zero (ob);
692 }
693 }
694
695 /* Finally truncate the vector. */
696 sccstack.truncate (first);
697
698 if (from_state)
699 from_state->low = MIN (from_state->low, cstate->low);
700 worklist_vec.pop ();
701 continue;
702 }
703
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 ();
709 }
710 worklist_vec.release ();
a4b0388b 711}
ee03e71d 712
a4b0388b
JH
713DFS::~DFS ()
714{
715 sccstack.release ();
a4b0388b
JH
716 obstack_free (&sccstate_obstack, NULL);
717}
ee03e71d
RB
718
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. */
721
a4b0388b
JH
722void
723DFS::DFS_write_tree_body (struct output_block *ob,
bbf043c2 724 tree expr, sccs *expr_state, bool ref_p)
ee03e71d
RB
725{
726#define DFS_follow_tree_edge(DEST) \
bbf043c2 727 DFS_write_tree (ob, expr_state, DEST, ref_p, ref_p)
ee03e71d
RB
728
729 enum tree_code code;
730
731 code = TREE_CODE (expr);
732
733 if (CODE_CONTAINS_STRUCT (code, TS_TYPED))
734 {
735 if (TREE_CODE (expr) != IDENTIFIER_NODE)
736 DFS_follow_tree_edge (TREE_TYPE (expr));
737 }
738
739 if (CODE_CONTAINS_STRUCT (code, TS_VECTOR))
740 {
741 for (unsigned i = 0; i < VECTOR_CST_NELTS (expr); ++i)
742 DFS_follow_tree_edge (VECTOR_CST_ELT (expr, i));
743 }
744
745 if (CODE_CONTAINS_STRUCT (code, TS_COMPLEX))
746 {
747 DFS_follow_tree_edge (TREE_REALPART (expr));
748 DFS_follow_tree_edge (TREE_IMAGPART (expr));
749 }
750
751 if (CODE_CONTAINS_STRUCT (code, TS_DECL_MINIMAL))
752 {
753 /* Drop names that were created for anonymous entities. */
754 if (DECL_NAME (expr)
755 && TREE_CODE (DECL_NAME (expr)) == IDENTIFIER_NODE
ee47f74e 756 && anon_aggrname_p (DECL_NAME (expr)))
ee03e71d
RB
757 ;
758 else
759 DFS_follow_tree_edge (DECL_NAME (expr));
760 DFS_follow_tree_edge (DECL_CONTEXT (expr));
761 }
762
763 if (CODE_CONTAINS_STRUCT (code, TS_DECL_COMMON))
764 {
765 DFS_follow_tree_edge (DECL_SIZE (expr));
766 DFS_follow_tree_edge (DECL_SIZE_UNIT (expr));
767
768 /* Note, DECL_INITIAL is not handled here. Since DECL_INITIAL needs
769 special handling in LTO, it must be handled by streamer hooks. */
770
771 DFS_follow_tree_edge (DECL_ATTRIBUTES (expr));
772
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
6b9ac179
JH
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);
ee03e71d
RB
780
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));
787 }
788
789 if (CODE_CONTAINS_STRUCT (code, TS_DECL_NON_COMMON))
790 {
815effe1 791 if (TREE_CODE (expr) == TYPE_DECL)
ee03e71d 792 DFS_follow_tree_edge (DECL_ORIGINAL_TYPE (expr));
ee03e71d
RB
793 }
794
795 if (CODE_CONTAINS_STRUCT (code, TS_DECL_WITH_VIS))
796 {
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));
ee03e71d
RB
800 }
801
802 if (CODE_CONTAINS_STRUCT (code, TS_FIELD_DECL))
803 {
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));
809 }
810
811 if (CODE_CONTAINS_STRUCT (code, TS_FUNCTION_DECL))
812 {
aaf8a23e 813 DFS_follow_tree_edge (DECL_VINDEX (expr));
ee03e71d 814 DFS_follow_tree_edge (DECL_FUNCTION_PERSONALITY (expr));
325fe981 815 DFS_follow_tree_edge (DECL_FUNCTION_SPECIFIC_TARGET (expr));
ee03e71d
RB
816 DFS_follow_tree_edge (DECL_FUNCTION_SPECIFIC_OPTIMIZATION (expr));
817 }
818
819 if (CODE_CONTAINS_STRUCT (code, TS_TYPE_COMMON))
820 {
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));
834 }
835
836 if (CODE_CONTAINS_STRUCT (code, TS_TYPE_NON_COMMON))
837 {
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));
848
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));
854 }
855
856 if (CODE_CONTAINS_STRUCT (code, TS_LIST))
857 {
858 DFS_follow_tree_edge (TREE_PURPOSE (expr));
859 DFS_follow_tree_edge (TREE_VALUE (expr));
860 DFS_follow_tree_edge (TREE_CHAIN (expr));
861 }
862
863 if (CODE_CONTAINS_STRUCT (code, TS_VEC))
864 {
865 for (int i = 0; i < TREE_VEC_LENGTH (expr); i++)
866 DFS_follow_tree_edge (TREE_VEC_ELT (expr, i));
867 }
868
869 if (CODE_CONTAINS_STRUCT (code, TS_EXP))
870 {
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));
874 }
875
876 if (CODE_CONTAINS_STRUCT (code, TS_BLOCK))
877 {
878 for (tree t = BLOCK_VARS (expr); t; t = TREE_CHAIN (t))
47503a49
RB
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. */
bbf043c2 884 DFS_write_tree (ob, expr_state, t, ref_p, false);
47503a49 885 else
ee03e71d
RB
886 DFS_follow_tree_edge (t);
887
888 DFS_follow_tree_edge (BLOCK_SUPERCONTEXT (expr));
889
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))
895 {
896 tree ultimate_origin = block_ultimate_origin (expr);
897 DFS_follow_tree_edge (ultimate_origin);
898 }
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. */
902
903 /* BLOCK_FRAGMENT_ORIGIN and BLOCK_FRAGMENT_CHAIN is not live at LTO
904 streaming time. */
905
906 /* Do not output BLOCK_SUBBLOCKS. Instead on streaming-in this
907 list is re-constructed from BLOCK_SUPERCONTEXT. */
908 }
909
910 if (CODE_CONTAINS_STRUCT (code, TS_BINFO))
911 {
912 unsigned i;
913 tree t;
914
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));
923
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);
928
c01c111b
JH
929 /* Do not walk BINFO_INHERITANCE_CHAIN, BINFO_SUBVTT_INDEX
930 and BINFO_VPTR_INDEX; these are used by C++ FE only. */
ee03e71d
RB
931 }
932
933 if (CODE_CONTAINS_STRUCT (code, TS_CONSTRUCTOR))
934 {
935 unsigned i;
936 tree index, value;
937
938 FOR_EACH_CONSTRUCTOR_ELT (CONSTRUCTOR_ELTS (expr), i, index, value)
939 {
940 DFS_follow_tree_edge (index);
941 DFS_follow_tree_edge (value);
942 }
943 }
944
c193f58b
JJ
945 if (code == OMP_CLAUSE)
946 {
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));
951 }
952
ee03e71d
RB
953#undef DFS_follow_tree_edge
954}
955
a4b0388b
JH
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. */
ee03e71d
RB
959
960static hashval_t
a4b0388b 961hash_tree (struct streamer_tree_cache_d *cache, hash_map<tree, hashval_t> *map, tree t)
ee03e71d 962{
50de5793 963 inchash::hash hstate;
e8326772 964
ee03e71d
RB
965#define visit(SIBLING) \
966 do { \
967 unsigned ix; \
a4b0388b
JH
968 if (!SIBLING) \
969 hstate.add_int (0); \
970 else if (streamer_tree_cache_lookup (cache, SIBLING, &ix)) \
e8326772 971 hstate.add_int (streamer_tree_cache_get_hash (cache, ix)); \
a4b0388b
JH
972 else if (map) \
973 hstate.add_int (*map->get (SIBLING)); \
974 else \
975 hstate.add_int (1); \
ee03e71d
RB
976 } while (0)
977
978 /* Hash TS_BASE. */
979 enum tree_code code = TREE_CODE (t);
e8326772 980 hstate.add_int (code);
ee03e71d
RB
981 if (!TYPE_P (t))
982 {
e8326772
AK
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));
ee03e71d 987 }
e8326772
AK
988 hstate.add_flag (TREE_ADDRESSABLE (t));
989 hstate.add_flag (TREE_THIS_VOLATILE (t));
ee03e71d 990 if (DECL_P (t))
e8326772 991 hstate.add_flag (DECL_UNSIGNED (t));
ee03e71d 992 else if (TYPE_P (t))
e8326772 993 hstate.add_flag (TYPE_UNSIGNED (t));
ee03e71d 994 if (TYPE_P (t))
e8326772 995 hstate.add_flag (TYPE_ARTIFICIAL (t));
ee03e71d 996 else
e8326772
AK
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));
ee03e71d 1002 if (code != TREE_BINFO)
e8326772 1003 hstate.add_flag (TREE_PRIVATE (t));
ee03e71d 1004 if (TYPE_P (t))
e8326772 1005 {
ee45a32d
EB
1006 hstate.add_flag (AGGREGATE_TYPE_P (t)
1007 ? TYPE_REVERSE_STORAGE_ORDER (t) : TYPE_SATURATING (t));
e8326772
AK
1008 hstate.add_flag (TYPE_ADDR_SPACE (t));
1009 }
ee03e71d 1010 else if (code == SSA_NAME)
e8326772
AK
1011 hstate.add_flag (SSA_NAME_IS_DEFAULT_DEF (t));
1012 hstate.commit_flag ();
ee03e71d
RB
1013
1014 if (CODE_CONTAINS_STRUCT (code, TS_INT_CST))
1015 {
807e902e 1016 int i;
e8326772
AK
1017 hstate.add_wide_int (TREE_INT_CST_NUNITS (t));
1018 hstate.add_wide_int (TREE_INT_CST_EXT_NUNITS (t));
807e902e 1019 for (i = 0; i < TREE_INT_CST_NUNITS (t); i++)
e8326772 1020 hstate.add_wide_int (TREE_INT_CST_ELT (t, i));
ee03e71d
RB
1021 }
1022
1023 if (CODE_CONTAINS_STRUCT (code, TS_REAL_CST))
1024 {
1025 REAL_VALUE_TYPE r = TREE_REAL_CST (t);
e8326772
AK
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));
ee03e71d
RB
1033 }
1034
1035 if (CODE_CONTAINS_STRUCT (code, TS_FIXED_CST))
1036 {
1037 FIXED_VALUE_TYPE f = TREE_FIXED_CST (t);
e8326772
AK
1038 hstate.add_int (f.mode);
1039 hstate.add_int (f.data.low);
1040 hstate.add_int (f.data.high);
ee03e71d
RB
1041 }
1042
1043 if (CODE_CONTAINS_STRUCT (code, TS_DECL_COMMON))
1044 {
e8326772
AK
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));
00de328a 1049 hstate.add_flag (DECL_ABSTRACT_P (t));
e8326772
AK
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));
ee03e71d
RB
1057 if (code == LABEL_DECL)
1058 {
e8326772
AK
1059 hstate.add_int (EH_LANDING_PAD_NR (t));
1060 hstate.add_int (LABEL_DECL_UID (t));
ee03e71d
RB
1061 }
1062 else if (code == FIELD_DECL)
1063 {
e8326772
AK
1064 hstate.add_flag (DECL_PACKED (t));
1065 hstate.add_flag (DECL_NONADDRESSABLE_P (t));
1066 hstate.add_int (DECL_OFFSET_ALIGN (t));
ee03e71d
RB
1067 }
1068 else if (code == VAR_DECL)
1069 {
e8326772
AK
1070 hstate.add_flag (DECL_HAS_DEBUG_EXPR_P (t));
1071 hstate.add_flag (DECL_NONLOCAL_FRAME (t));
ee03e71d
RB
1072 }
1073 if (code == RESULT_DECL
1074 || code == PARM_DECL
1075 || code == VAR_DECL)
1076 {
e8326772 1077 hstate.add_flag (DECL_BY_REFERENCE (t));
ee03e71d
RB
1078 if (code == VAR_DECL
1079 || code == PARM_DECL)
e8326772 1080 hstate.add_flag (DECL_HAS_VALUE_EXPR_P (t));
ee03e71d 1081 }
e8326772 1082 hstate.commit_flag ();
ee03e71d
RB
1083 }
1084
1085 if (CODE_CONTAINS_STRUCT (code, TS_DECL_WRTL))
e8326772 1086 hstate.add_int (DECL_REGISTER (t));
ee03e71d
RB
1087
1088 if (CODE_CONTAINS_STRUCT (code, TS_DECL_WITH_VIS))
1089 {
e8326772
AK
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));
ee03e71d
RB
1097 if (code == VAR_DECL)
1098 {
c01c111b 1099 /* DECL_IN_TEXT_SECTION is set during final asm output only. */
e8326772
AK
1100 hstate.add_flag (DECL_HARD_REGISTER (t));
1101 hstate.add_flag (DECL_IN_CONSTANT_POOL (t));
ee03e71d 1102 }
0170f33c 1103 if (TREE_CODE (t) == FUNCTION_DECL)
e8326772
AK
1104 {
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));
1108 }
1109 hstate.commit_flag ();
ee03e71d
RB
1110 }
1111
1112 if (CODE_CONTAINS_STRUCT (code, TS_FUNCTION_DECL))
1113 {
e8326772
AK
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 ();
ee03e71d 1132 if (DECL_BUILT_IN_CLASS (t) != NOT_BUILT_IN)
e8326772 1133 hstate.add_int (DECL_FUNCTION_CODE (t));
ee03e71d
RB
1134 }
1135
1136 if (CODE_CONTAINS_STRUCT (code, TS_TYPE_COMMON))
1137 {
e8326772
AK
1138 hstate.add_wide_int (TYPE_MODE (t));
1139 hstate.add_flag (TYPE_STRING_FLAG (t));
351d90f4
JH
1140 /* TYPE_NO_FORCE_BLK is private to stor-layout and need
1141 no streaming. */
e8326772
AK
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));
ee03e71d 1147 if (RECORD_OR_UNION_TYPE_P (t))
0170f33c 1148 {
e8326772
AK
1149 hstate.add_flag (TYPE_TRANSPARENT_AGGR (t));
1150 hstate.add_flag (TYPE_FINAL_P (t));
0170f33c 1151 }
ee03e71d 1152 else if (code == ARRAY_TYPE)
e8326772
AK
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));
ee03e71d
RB
1157 }
1158
1159 if (CODE_CONTAINS_STRUCT (code, TS_TRANSLATION_UNIT_DECL))
e8326772
AK
1160 hstate.add (TRANSLATION_UNIT_LANGUAGE (t),
1161 strlen (TRANSLATION_UNIT_LANGUAGE (t)));
ee03e71d 1162
1b34e6e2
BS
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)
325fe981 1166 hstate.add_wide_int (cl_target_option_hash (TREE_TARGET_OPTION (t)));
ee03e71d
RB
1167
1168 if (CODE_CONTAINS_STRUCT (code, TS_OPTIMIZATION))
ca9a04da 1169 hstate.add_wide_int (cl_optimization_hash (TREE_OPTIMIZATION (t)));
ee03e71d
RB
1170
1171 if (CODE_CONTAINS_STRUCT (code, TS_IDENTIFIER))
e8326772 1172 hstate.merge_hash (IDENTIFIER_HASH_VALUE (t));
ee03e71d
RB
1173
1174 if (CODE_CONTAINS_STRUCT (code, TS_STRING))
e8326772 1175 hstate.add (TREE_STRING_POINTER (t), TREE_STRING_LENGTH (t));
ee03e71d
RB
1176
1177 if (CODE_CONTAINS_STRUCT (code, TS_TYPED))
1178 {
a4b0388b 1179 if (code != IDENTIFIER_NODE)
ee03e71d
RB
1180 visit (TREE_TYPE (t));
1181 }
1182
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));
1186
1187 if (CODE_CONTAINS_STRUCT (code, TS_COMPLEX))
1188 {
1189 visit (TREE_REALPART (t));
1190 visit (TREE_IMAGPART (t));
1191 }
1192
1193 if (CODE_CONTAINS_STRUCT (code, TS_DECL_MINIMAL))
1194 {
1195 /* Drop names that were created for anonymous entities. */
1196 if (DECL_NAME (t)
1197 && TREE_CODE (DECL_NAME (t)) == IDENTIFIER_NODE
ee47f74e 1198 && anon_aggrname_p (DECL_NAME (t)))
ee03e71d
RB
1199 ;
1200 else
1201 visit (DECL_NAME (t));
1202 if (DECL_FILE_SCOPE_P (t))
1203 ;
1204 else
1205 visit (DECL_CONTEXT (t));
1206 }
1207
1208 if (CODE_CONTAINS_STRUCT (code, TS_DECL_COMMON))
1209 {
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. */
1222 }
1223
1224 if (CODE_CONTAINS_STRUCT (code, TS_DECL_NON_COMMON))
1225 {
815effe1 1226 if (code == TYPE_DECL)
ee03e71d 1227 visit (DECL_ORIGINAL_TYPE (t));
ee03e71d
RB
1228 }
1229
1230 if (CODE_CONTAINS_STRUCT (code, TS_DECL_WITH_VIS))
1231 {
1232 if (DECL_ASSEMBLER_NAME_SET_P (t))
1233 visit (DECL_ASSEMBLER_NAME (t));
ee03e71d
RB
1234 }
1235
1236 if (CODE_CONTAINS_STRUCT (code, TS_FIELD_DECL))
1237 {
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));
1243 }
1244
1245 if (CODE_CONTAINS_STRUCT (code, TS_FUNCTION_DECL))
1246 {
aaf8a23e 1247 visit (DECL_VINDEX (t));
ee03e71d 1248 visit (DECL_FUNCTION_PERSONALITY (t));
325fe981 1249 visit (DECL_FUNCTION_SPECIFIC_TARGET (t));
ee03e71d
RB
1250 visit (DECL_FUNCTION_SPECIFIC_OPTIMIZATION (t));
1251 }
1252
1253 if (CODE_CONTAINS_STRUCT (code, TS_TYPE_COMMON))
1254 {
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))
1261 ;
1262 else
1263 visit (TYPE_CONTEXT (t));
1264 visit (TYPE_STUB_DECL (t));
1265 }
1266
1267 if (CODE_CONTAINS_STRUCT (code, TS_TYPE_NON_COMMON))
1268 {
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));
1284 }
1285
1286 if (CODE_CONTAINS_STRUCT (code, TS_LIST))
1287 {
1288 visit (TREE_PURPOSE (t));
1289 visit (TREE_VALUE (t));
1290 visit (TREE_CHAIN (t));
1291 }
1292
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));
1296
1297 if (CODE_CONTAINS_STRUCT (code, TS_EXP))
1298 {
e8326772 1299 hstate.add_wide_int (TREE_OPERAND_LENGTH (t));
ee03e71d
RB
1300 for (int i = 0; i < TREE_OPERAND_LENGTH (t); ++i)
1301 visit (TREE_OPERAND (t, i));
1302 }
1303
1304 if (CODE_CONTAINS_STRUCT (code, TS_BINFO))
1305 {
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);
c01c111b
JH
1315 /* Do not walk BINFO_INHERITANCE_CHAIN, BINFO_SUBVTT_INDEX
1316 and BINFO_VPTR_INDEX; these are used by C++ FE only. */
ee03e71d
RB
1317 }
1318
1319 if (CODE_CONTAINS_STRUCT (code, TS_CONSTRUCTOR))
1320 {
1321 unsigned i;
1322 tree index, value;
e8326772 1323 hstate.add_wide_int (CONSTRUCTOR_NELTS (t));
ee03e71d
RB
1324 FOR_EACH_CONSTRUCTOR_ELT (CONSTRUCTOR_ELTS (t), i, index, value)
1325 {
1326 visit (index);
1327 visit (value);
1328 }
1329 }
1330
e06f9964
JJ
1331 if (code == OMP_CLAUSE)
1332 {
1333 int i;
e8326772 1334 HOST_WIDE_INT val;
e06f9964 1335
e8326772 1336 hstate.add_wide_int (OMP_CLAUSE_CODE (t));
e06f9964
JJ
1337 switch (OMP_CLAUSE_CODE (t))
1338 {
1339 case OMP_CLAUSE_DEFAULT:
e8326772 1340 val = OMP_CLAUSE_DEFAULT_KIND (t);
e06f9964
JJ
1341 break;
1342 case OMP_CLAUSE_SCHEDULE:
e8326772 1343 val = OMP_CLAUSE_SCHEDULE_KIND (t);
e06f9964
JJ
1344 break;
1345 case OMP_CLAUSE_DEPEND:
e8326772 1346 val = OMP_CLAUSE_DEPEND_KIND (t);
e06f9964
JJ
1347 break;
1348 case OMP_CLAUSE_MAP:
e8326772 1349 val = OMP_CLAUSE_MAP_KIND (t);
e06f9964
JJ
1350 break;
1351 case OMP_CLAUSE_PROC_BIND:
e8326772 1352 val = OMP_CLAUSE_PROC_BIND_KIND (t);
e06f9964
JJ
1353 break;
1354 case OMP_CLAUSE_REDUCTION:
e8326772 1355 val = OMP_CLAUSE_REDUCTION_CODE (t);
e06f9964
JJ
1356 break;
1357 default:
e8326772 1358 val = 0;
e06f9964
JJ
1359 break;
1360 }
e8326772 1361 hstate.add_wide_int (val);
e06f9964
JJ
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));
1365 }
1366
e8326772 1367 return hstate.end ();
ee03e71d
RB
1368
1369#undef visit
1370}
1371
1372/* Compare two SCC entries by their hash value for qsorting them. */
1373
a4b0388b
JH
1374int
1375DFS::scc_entry_compare (const void *p1_, const void *p2_)
ee03e71d
RB
1376{
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;
1384}
1385
cec34ee5
EB
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. */
ee03e71d 1388
a4b0388b 1389hashval_t
cec34ee5
EB
1390DFS::hash_scc (struct output_block *ob, unsigned first, unsigned size,
1391 bool ref_p, bool this_ref_p)
ee03e71d 1392{
a4b0388b
JH
1393 unsigned int last_classes = 0, iterations = 0;
1394
ee03e71d
RB
1395 /* Compute hash values for the SCC members. */
1396 for (unsigned i = 0; i < size; ++i)
0cf094c0
EB
1397 sccstack[first+i].hash
1398 = hash_tree (ob->writer_cache, NULL, sccstack[first+i].t);
ee03e71d
RB
1399
1400 if (size == 1)
1401 return sccstack[first].hash;
1402
a4b0388b 1403 /* We aim to get unique hash for every tree within SCC and compute hash value
0cf094c0 1404 of the whole SCC by combining all values together in a stable (entry-point
a4b0388b
JH
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.
1408
0cf094c0 1409 Often the hashes are already unique. In that case we compute the SCC hash
a4b0388b
JH
1410 by combining individual hash values in an increasing order.
1411
0cf094c0
EB
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
a4b0388b
JH
1415 within this order to make individual hash values unique.
1416
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
0cf094c0
EB
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. */
a4b0388b
JH
1423 do
1424 {
0cf094c0 1425 /* Sort the SCC so we can easily check for uniqueness. */
a4b0388b
JH
1426 qsort (&sccstack[first], size, sizeof (scc_entry), scc_entry_compare);
1427
1428 unsigned int classes = 1;
1429 int firstunique = -1;
1430
0cf094c0
EB
1431 /* Find the tree with lowest unique hash (if it exists) and compute
1432 the number of equivalence classes. */
a4b0388b
JH
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)
1437 {
1438 classes++;
1439 if (firstunique == -1
1440 && (i == size - 1
1441 || sccstack[first+i+1].hash != sccstack[first+i].hash))
1442 firstunique = i;
1443 }
1444
0cf094c0 1445 /* If we found a tree with unique hash, stop the iteration. */
a4b0388b
JH
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)
1453 {
1454 hashval_t scc_hash;
1455
1456 /* If some hashes are not unique (CLASSES != SIZE), use the DFS walk
0cf094c0 1457 starting from FIRSTUNIQUE to obtain a stable order. */
a4b0388b
JH
1458 if (classes != size && firstunique != -1)
1459 {
1460 hash_map <tree, hashval_t> map(size*2);
1461
1462 /* Store hash values into a map, so we can associate them with
0cf094c0 1463 the reordered SCC. */
a4b0388b
JH
1464 for (unsigned i = 0; i < size; ++i)
1465 map.put (sccstack[first+i].t, sccstack[first+i].hash);
1466
cec34ee5
EB
1467 DFS again (ob, sccstack[first+firstunique].t, ref_p, this_ref_p,
1468 true);
a4b0388b
JH
1469 gcc_assert (again.sccstack.length () == size);
1470
1471 memcpy (sccstack.address () + first,
1472 again.sccstack.address (),
1473 sizeof (scc_entry) * size);
1474
1475 /* Update hash values of individual members by hashing in the
1476 index within the stable order. This ensures uniqueness.
0cf094c0
EB
1477 Also compute the SCC hash by mixing in all hash values in
1478 the stable order we obtained. */
a4b0388b
JH
1479 sccstack[first].hash = *map.get (sccstack[first].t);
1480 scc_hash = sccstack[first].hash;
1481 for (unsigned i = 1; i < size; ++i)
1482 {
1483 sccstack[first+i].hash
1484 = iterative_hash_hashval_t (i,
1485 *map.get (sccstack[first+i].t));
0cf094c0
EB
1486 scc_hash
1487 = iterative_hash_hashval_t (scc_hash,
1488 sccstack[first+i].hash);
a4b0388b
JH
1489 }
1490 }
0cf094c0
EB
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.
a4b0388b
JH
1494
1495 If we failed to find the unique entry point, we go by the same
0cf094c0 1496 route. We will eventually introduce unwanted hash conflicts. */
a4b0388b
JH
1497 else
1498 {
1499 scc_hash = sccstack[first].hash;
1500 for (unsigned i = 1; i < size; ++i)
0cf094c0
EB
1501 scc_hash
1502 = iterative_hash_hashval_t (scc_hash, sccstack[first+i].hash);
1503
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. */
a4b0388b
JH
1508 gcc_checking_assert (classes == size);
1509 }
1510
0cf094c0
EB
1511 /* To avoid conflicts across SCCs, iteratively hash the whole SCC
1512 hash into the hash of each element. */
a4b0388b
JH
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;
1517 }
1518
1519 last_classes = classes;
1520 iterations++;
1521
1522 /* We failed to identify the entry point; propagate hash values across
1523 the edges. */
0cf094c0
EB
1524 hash_map <tree, hashval_t> map(size*2);
1525
1526 for (unsigned i = 0; i < size; ++i)
1527 map.put (sccstack[first+i].t, sccstack[first+i].hash);
1528
1529 for (unsigned i = 0; i < size; i++)
1530 sccstack[first+i].hash
1531 = hash_tree (ob->writer_cache, &map, sccstack[first+i].t);
a4b0388b
JH
1532 }
1533 while (true);
ee03e71d
RB
1534}
1535
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. */
1539
a4b0388b
JH
1540void
1541DFS::DFS_write_tree (struct output_block *ob, sccs *from_state,
bbf043c2 1542 tree expr, bool ref_p, bool this_ref_p)
ee03e71d 1543{
ee03e71d
RB
1544 /* Handle special cases. */
1545 if (expr == NULL_TREE)
1546 return;
1547
1548 /* Do not DFS walk into indexable trees. */
1549 if (this_ref_p && tree_is_indexable (expr))
1550 return;
1551
1552 /* Check if we already streamed EXPR. */
bbf043c2 1553 if (streamer_tree_cache_lookup (ob->writer_cache, expr, NULL))
ee03e71d
RB
1554 return;
1555
bbf043c2
JJ
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);
ee03e71d
RB
1563}
1564
b9393656 1565
cec34ee5
EB
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. */
b9393656
DN
1569
1570void
7e54c608
RG
1571lto_output_tree (struct output_block *ob, tree expr,
1572 bool ref_p, bool this_ref_p)
b9393656
DN
1573{
1574 unsigned ix;
1575 bool existed_p;
1576
1577 if (expr == NULL_TREE)
1578 {
412288f1 1579 streamer_write_record_start (ob, LTO_null);
b9393656
DN
1580 return;
1581 }
1582
7e54c608 1583 if (this_ref_p && tree_is_indexable (expr))
b9393656
DN
1584 {
1585 lto_output_tree_ref (ob, expr);
1586 return;
1587 }
1588
ee03e71d 1589 existed_p = streamer_tree_cache_lookup (ob->writer_cache, expr, &ix);
b9393656
DN
1590 if (existed_p)
1591 {
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. */
412288f1
DN
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)));
ee03e71d 1599 lto_stats.num_pickle_refs_output++;
b9393656
DN
1600 }
1601 else
1602 {
ee03e71d
RB
1603 /* This is the first time we see EXPR, write all reachable
1604 trees to OB. */
1605 static bool in_dfs_walk;
1606
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);
1611
1612 /* Start the DFS walk. */
1613 /* Save ob state ... */
1614 /* let's see ... */
1615 in_dfs_walk = true;
a4b0388b 1616 DFS (ob, expr, ref_p, this_ref_p, false);
ee03e71d
RB
1617 in_dfs_walk = false;
1618
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++;
d7f09764
DN
1629 }
1630}
1631
1632
1633/* Output to OB a list of try/catch handlers starting with FIRST. */
1634
1635static void
1636output_eh_try_list (struct output_block *ob, eh_catch first)
1637{
1638 eh_catch n;
1639
1640 for (n = first; n; n = n->next_catch)
1641 {
412288f1 1642 streamer_write_record_start (ob, LTO_eh_catch);
b9393656
DN
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);
d7f09764
DN
1646 }
1647
412288f1 1648 streamer_write_record_start (ob, LTO_null);
d7f09764
DN
1649}
1650
1651
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. */
1655
1656static void
1657output_eh_region (struct output_block *ob, eh_region r)
1658{
1659 enum LTO_tags tag;
1660
1661 if (r == NULL)
1662 {
412288f1 1663 streamer_write_record_start (ob, LTO_null);
d7f09764
DN
1664 return;
1665 }
1666
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 ();
1677
412288f1
DN
1678 streamer_write_record_start (ob, tag);
1679 streamer_write_hwi (ob, r->index);
d7f09764
DN
1680
1681 if (r->outer)
412288f1 1682 streamer_write_hwi (ob, r->outer->index);
d7f09764 1683 else
412288f1 1684 streamer_write_zero (ob);
d7f09764
DN
1685
1686 if (r->inner)
412288f1 1687 streamer_write_hwi (ob, r->inner->index);
d7f09764 1688 else
412288f1 1689 streamer_write_zero (ob);
d7f09764
DN
1690
1691 if (r->next_peer)
412288f1 1692 streamer_write_hwi (ob, r->next_peer->index);
d7f09764 1693 else
412288f1 1694 streamer_write_zero (ob);
d7f09764
DN
1695
1696 if (r->type == ERT_TRY)
1697 {
1698 output_eh_try_list (ob, r->u.eh_try.first_catch);
1699 }
1700 else if (r->type == ERT_ALLOWED_EXCEPTIONS)
1701 {
b9393656
DN
1702 stream_write_tree (ob, r->u.allowed.type_list, true);
1703 stream_write_tree (ob, r->u.allowed.label, true);
412288f1 1704 streamer_write_uhwi (ob, r->u.allowed.filter);
d7f09764
DN
1705 }
1706 else if (r->type == ERT_MUST_NOT_THROW)
1707 {
b9393656 1708 stream_write_tree (ob, r->u.must_not_throw.failure_decl, true);
7cb7d208
RB
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);
d7f09764
DN
1712 }
1713
1714 if (r->landing_pads)
412288f1 1715 streamer_write_hwi (ob, r->landing_pads->index);
d7f09764 1716 else
412288f1 1717 streamer_write_zero (ob);
d7f09764
DN
1718}
1719
1720
1721/* Output landing pad LP to OB. */
1722
1723static void
1724output_eh_lp (struct output_block *ob, eh_landing_pad lp)
1725{
1726 if (lp == NULL)
1727 {
412288f1 1728 streamer_write_record_start (ob, LTO_null);
d7f09764
DN
1729 return;
1730 }
1731
412288f1
DN
1732 streamer_write_record_start (ob, LTO_eh_landing_pad);
1733 streamer_write_hwi (ob, lp->index);
d7f09764 1734 if (lp->next_lp)
412288f1 1735 streamer_write_hwi (ob, lp->next_lp->index);
d7f09764 1736 else
412288f1 1737 streamer_write_zero (ob);
d7f09764
DN
1738
1739 if (lp->region)
412288f1 1740 streamer_write_hwi (ob, lp->region->index);
d7f09764 1741 else
412288f1 1742 streamer_write_zero (ob);
d7f09764 1743
b9393656 1744 stream_write_tree (ob, lp->post_landing_pad, true);
d7f09764
DN
1745}
1746
1747
1748/* Output the existing eh_table to OB. */
1749
1750static void
1751output_eh_regions (struct output_block *ob, struct function *fn)
1752{
1753 if (fn->eh && fn->eh->region_tree)
1754 {
1755 unsigned i;
1756 eh_region eh;
1757 eh_landing_pad lp;
1758 tree ttype;
1759
412288f1 1760 streamer_write_record_start (ob, LTO_eh_table);
d7f09764
DN
1761
1762 /* Emit the index of the root of the EH region tree. */
412288f1 1763 streamer_write_hwi (ob, fn->eh->region_tree->index);
d7f09764
DN
1764
1765 /* Emit all the EH regions in the region array. */
9771b263
DN
1766 streamer_write_hwi (ob, vec_safe_length (fn->eh->region_array));
1767 FOR_EACH_VEC_SAFE_ELT (fn->eh->region_array, i, eh)
d7f09764
DN
1768 output_eh_region (ob, eh);
1769
1770 /* Emit all landing pads. */
9771b263
DN
1771 streamer_write_hwi (ob, vec_safe_length (fn->eh->lp_array));
1772 FOR_EACH_VEC_SAFE_ELT (fn->eh->lp_array, i, lp)
d7f09764
DN
1773 output_eh_lp (ob, lp);
1774
1775 /* Emit all the runtime type data. */
9771b263
DN
1776 streamer_write_hwi (ob, vec_safe_length (fn->eh->ttype_data));
1777 FOR_EACH_VEC_SAFE_ELT (fn->eh->ttype_data, i, ttype)
b9393656 1778 stream_write_tree (ob, ttype, true);
d7f09764
DN
1779
1780 /* Emit the table of action chains. */
1781 if (targetm.arm_eabi_unwinder)
1782 {
1783 tree t;
9771b263
DN
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)
b9393656 1786 stream_write_tree (ob, t, true);
d7f09764
DN
1787 }
1788 else
1789 {
1790 uchar c;
9771b263
DN
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)
412288f1 1793 streamer_write_char_stream (ob->main_stream, c);
d7f09764
DN
1794 }
1795 }
1796
07233947
DN
1797 /* The LTO_null either terminates the record or indicates that there
1798 are no eh_records at all. */
412288f1 1799 streamer_write_record_start (ob, LTO_null);
d7f09764
DN
1800}
1801
1802
1803/* Output all of the active ssa names to the ssa_names stream. */
1804
1805static void
1806output_ssa_names (struct output_block *ob, struct function *fn)
1807{
1808 unsigned int i, len;
1809
9771b263 1810 len = vec_safe_length (SSANAMES (fn));
412288f1 1811 streamer_write_uhwi (ob, len);
d7f09764
DN
1812
1813 for (i = 1; i < len; i++)
1814 {
9771b263 1815 tree ptr = (*SSANAMES (fn))[i];
d7f09764
DN
1816
1817 if (ptr == NULL_TREE
1818 || SSA_NAME_IN_FREE_LIST (ptr)
ea057359 1819 || virtual_operand_p (ptr))
d7f09764
DN
1820 continue;
1821
412288f1
DN
1822 streamer_write_uhwi (ob, i);
1823 streamer_write_char_stream (ob->main_stream,
1824 SSA_NAME_IS_DEFAULT_DEF (ptr));
70b5e7dc
RG
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);
d7f09764
DN
1830 }
1831
412288f1 1832 streamer_write_zero (ob);
d7f09764
DN
1833}
1834
1835
807e902e
KZ
1836/* Output a wide-int. */
1837
1838static void
1839streamer_write_wi (struct output_block *ob,
1840 const widest_int &w)
1841{
1842 int len = w.get_len ();
1843
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));
1848}
1849
1850
d7f09764
DN
1851/* Output the cfg. */
1852
1853static void
1854output_cfg (struct output_block *ob, struct function *fn)
1855{
1856 struct lto_output_stream *tmp_stream = ob->main_stream;
1857 basic_block bb;
1858
1859 ob->main_stream = ob->cfg_stream;
1860
412288f1 1861 streamer_write_enum (ob->main_stream, profile_status_d, PROFILE_LAST,
ea19eb9f 1862 profile_status_for_fn (fn));
d7f09764
DN
1863
1864 /* Output the number of the highest basic block. */
3986e690 1865 streamer_write_uhwi (ob, last_basic_block_for_fn (fn));
d7f09764
DN
1866
1867 FOR_ALL_BB_FN (bb, fn)
1868 {
1869 edge_iterator ei;
1870 edge e;
1871
412288f1 1872 streamer_write_hwi (ob, bb->index);
d7f09764
DN
1873
1874 /* Output the successors and the edge flags. */
412288f1 1875 streamer_write_uhwi (ob, EDGE_COUNT (bb->succs));
d7f09764
DN
1876 FOR_EACH_EDGE (e, ei, bb->succs)
1877 {
412288f1
DN
1878 streamer_write_uhwi (ob, e->dest->index);
1879 streamer_write_hwi (ob, e->probability);
89ab31c1 1880 streamer_write_gcov_count (ob, e->count);
412288f1 1881 streamer_write_uhwi (ob, e->flags);
d7f09764
DN
1882 }
1883 }
1884
412288f1 1885 streamer_write_hwi (ob, -1);
d7f09764 1886
fefa31b5 1887 bb = ENTRY_BLOCK_PTR_FOR_FN (cfun);
d7f09764
DN
1888 while (bb->next_bb)
1889 {
412288f1 1890 streamer_write_hwi (ob, bb->next_bb->index);
d7f09764
DN
1891 bb = bb->next_bb;
1892 }
1893
412288f1 1894 streamer_write_hwi (ob, -1);
d7f09764 1895
dd366ec3
RB
1896 /* ??? The cfgloop interface is tied to cfun. */
1897 gcc_assert (cfun == fn);
1898
1899 /* Output the number of loops. */
0fc822d0 1900 streamer_write_uhwi (ob, number_of_loops (fn));
dd366ec3
RB
1901
1902 /* Output each loop, skipping the tree root which has number zero. */
0fc822d0 1903 for (unsigned i = 1; i < number_of_loops (fn); ++i)
dd366ec3 1904 {
0fc822d0 1905 struct loop *loop = get_loop (fn, i);
dd366ec3
RB
1906
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)
1911 {
1912 streamer_write_hwi (ob, -1);
1913 continue;
1914 }
1915 else
1916 streamer_write_hwi (ob, loop->header->index);
1917
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)
807e902e 1923 streamer_write_wi (ob, loop->nb_iterations_upper_bound);
dd366ec3
RB
1924 streamer_write_hwi (ob, loop->any_estimate);
1925 if (loop->any_estimate)
807e902e 1926 streamer_write_wi (ob, loop->nb_iterations_estimate);
e9287a41
RB
1927
1928 /* Write OMP SIMD related info. */
1929 streamer_write_hwi (ob, loop->safelen);
718c4601 1930 streamer_write_hwi (ob, loop->dont_vectorize);
b15b5979 1931 streamer_write_hwi (ob, loop->force_vectorize);
e9287a41 1932 stream_write_tree (ob, loop->simduid, true);
dd366ec3
RB
1933 }
1934
d7f09764
DN
1935 ob->main_stream = tmp_stream;
1936}
1937
1938
d7f09764
DN
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. */
1941
fb3f88cc 1942void
d7f09764
DN
1943produce_asm (struct output_block *ob, tree fn)
1944{
1945 enum lto_section_type section_type = ob->section_type;
1946 struct lto_function_header header;
1947 char *section_name;
d7f09764
DN
1948
1949 if (section_type == LTO_section_function_body)
1950 {
1951 const char *name = IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (fn));
73ce4d1e 1952 section_name = lto_get_section_name (section_type, name, NULL);
d7f09764
DN
1953 }
1954 else
73ce4d1e 1955 section_name = lto_get_section_name (section_type, NULL, NULL);
d7f09764
DN
1956
1957 lto_begin_section (section_name, !flag_wpa);
1958 free (section_name);
1959
1960 /* The entire header is stream computed here. */
1961 memset (&header, 0, sizeof (struct lto_function_header));
b8698a0f 1962
d7f09764 1963 /* Write the header. */
207c68cd
RB
1964 header.major_version = LTO_major_version;
1965 header.minor_version = LTO_minor_version;
b8698a0f 1966
d7f09764
DN
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;
f6bcdb5e 1971 lto_write_data (&header, sizeof header);
d7f09764
DN
1972
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);
1979
1980 lto_end_section ();
1981}
1982
1983
35f5b1c1 1984/* Output the base body of struct function FN using output block OB. */
d7f09764
DN
1985
1986static void
35f5b1c1 1987output_struct_function_base (struct output_block *ob, struct function *fn)
d7f09764 1988{
2465dcc2 1989 struct bitpack_d bp;
c021f10b
NF
1990 unsigned i;
1991 tree t;
d7f09764 1992
35f5b1c1
LC
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);
d7f09764 1996
35f5b1c1 1997 /* Output all the local variables in the function. */
9771b263
DN
1998 streamer_write_hwi (ob, vec_safe_length (fn->local_decls));
1999 FOR_EACH_VEC_SAFE_ELT (fn->local_decls, i, t)
35f5b1c1 2000 stream_write_tree (ob, t, true);
d7f09764 2001
dd366ec3
RB
2002 /* Output current IL state of the function. */
2003 streamer_write_uhwi (ob, fn->curr_properties);
d7f09764
DN
2004
2005 /* Write all the attributes for FN. */
2465dcc2
RG
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);
2465dcc2
RG
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);
2da02156 2012 bp_pack_value (&bp, fn->can_delete_dead_exceptions, 1);
2465dcc2
RG
2013 bp_pack_value (&bp, fn->always_inline_functions_inlined, 1);
2014 bp_pack_value (&bp, fn->after_inlining, 1);
2465dcc2
RG
2015 bp_pack_value (&bp, fn->stdarg, 1);
2016 bp_pack_value (&bp, fn->has_nonlocal_label, 1);
aa43616c 2017 bp_pack_value (&bp, fn->has_forced_label_in_static, 1);
2465dcc2
RG
2018 bp_pack_value (&bp, fn->calls_alloca, 1);
2019 bp_pack_value (&bp, fn->calls_setjmp, 1);
b15b5979 2020 bp_pack_value (&bp, fn->has_force_vectorize_loops, 1);
e9287a41 2021 bp_pack_value (&bp, fn->has_simduid_loops, 1);
2465dcc2
RG
2022 bp_pack_value (&bp, fn->va_list_fpr_size, 8);
2023 bp_pack_value (&bp, fn->va_list_gpr_size, 8);
743c1134 2024 bp_pack_value (&bp, fn->last_clique, sizeof (short) * 8);
7cb7d208
RB
2025
2026 /* Output the function start and end loci. */
2027 stream_output_location (ob, &bp, fn->function_start_locus);
2028 stream_output_location (ob, &bp, fn->function_end_locus);
2029
412288f1 2030 streamer_write_bitpack (&bp);
35f5b1c1 2031}
d7f09764 2032
ac364a48 2033
35f5b1c1 2034/* Output the body of function NODE->DECL. */
688a482d 2035
35f5b1c1
LC
2036static void
2037output_function (struct cgraph_node *node)
2038{
2039 tree function;
2040 struct function *fn;
2041 basic_block bb;
2042 struct output_block *ob;
d7f09764 2043
67348ccc 2044 function = node->decl;
35f5b1c1
LC
2045 fn = DECL_STRUCT_FUNCTION (function);
2046 ob = create_output_block (LTO_section_function_body);
2047
2048 clear_line_info (ob);
0b83e688 2049 ob->symbol = node;
35f5b1c1
LC
2050
2051 gcc_assert (current_function_decl == NULL_TREE && cfun == NULL);
2052
2053 /* Set current_function_decl and cfun. */
35f5b1c1
LC
2054 push_cfun (fn);
2055
2056 /* Make string 0 be a NULL string. */
2057 streamer_write_char_stream (ob->string_stream, 0);
2058
2059 streamer_write_record_start (ob, LTO_function);
2060
815effe1
JH
2061 /* Output decls for parameters and args. */
2062 stream_write_tree (ob, DECL_RESULT (function), true);
2063 streamer_write_chain (ob, DECL_ARGUMENTS (function), true);
d7f09764
DN
2064
2065 /* Output DECL_INITIAL for the function, which contains the tree of
2066 lexical scopes. */
b9393656 2067 stream_write_tree (ob, DECL_INITIAL (function), true);
d7f09764 2068
815effe1
JH
2069 /* We also stream abstract functions where we stream only stuff needed for
2070 debug info. */
2071 if (gimple_has_body_p (function))
2072 {
2073 streamer_write_uhwi (ob, 1);
2074 output_struct_function_base (ob, fn);
2075
2076 /* Output all the SSA names used in the function. */
2077 output_ssa_names (ob, fn);
2078
2079 /* Output any exception handling regions. */
2080 output_eh_regions (ob, fn);
2081
2082
2083 /* We will renumber the statements. The code that does this uses
2084 the same ordering that we use for serializing them so we can use
2085 the same code on the other end and not have to write out the
2086 statement numbers. We do not assign UIDs to PHIs here because
2087 virtual PHIs get re-computed on-the-fly which would make numbers
2088 inconsistent. */
2089 set_gimple_stmt_max_uid (cfun, 0);
04a90bec 2090 FOR_ALL_BB_FN (bb, cfun)
8f984534 2091 {
538dd0b7
DM
2092 for (gphi_iterator gsi = gsi_start_phis (bb); !gsi_end_p (gsi);
2093 gsi_next (&gsi))
aa1e10cc 2094 {
538dd0b7 2095 gphi *stmt = gsi.phi ();
aa1e10cc
JH
2096
2097 /* Virtual PHIs are not going to be streamed. */
2098 if (!virtual_operand_p (gimple_phi_result (stmt)))
2099 gimple_set_uid (stmt, inc_gimple_stmt_max_uid (cfun));
2100 }
538dd0b7
DM
2101 for (gimple_stmt_iterator gsi = gsi_start_bb (bb); !gsi_end_p (gsi);
2102 gsi_next (&gsi))
815effe1 2103 {
355fe088 2104 gimple *stmt = gsi_stmt (gsi);
815effe1
JH
2105 gimple_set_uid (stmt, inc_gimple_stmt_max_uid (cfun));
2106 }
8f984534 2107 }
aa1e10cc
JH
2108 /* To avoid keeping duplicate gimple IDs in the statements, renumber
2109 virtual phis now. */
04a90bec 2110 FOR_ALL_BB_FN (bb, cfun)
aa1e10cc 2111 {
538dd0b7
DM
2112 for (gphi_iterator gsi = gsi_start_phis (bb); !gsi_end_p (gsi);
2113 gsi_next (&gsi))
aa1e10cc 2114 {
538dd0b7 2115 gphi *stmt = gsi.phi ();
aa1e10cc
JH
2116 if (virtual_operand_p (gimple_phi_result (stmt)))
2117 gimple_set_uid (stmt, inc_gimple_stmt_max_uid (cfun));
2118 }
2119 }
d7f09764 2120
815effe1
JH
2121 /* Output the code for the function. */
2122 FOR_ALL_BB_FN (bb, fn)
2123 output_bb (ob, bb, fn);
d7f09764 2124
815effe1
JH
2125 /* The terminator for this function. */
2126 streamer_write_record_start (ob, LTO_null);
d7f09764 2127
815effe1
JH
2128 output_cfg (ob, fn);
2129
2130 pop_cfun ();
2131 }
2132 else
2133 streamer_write_uhwi (ob, 0);
d7f09764
DN
2134
2135 /* Create a section to hold the pickled output of this function. */
2136 produce_asm (ob, function);
2137
2138 destroy_output_block (ob);
d7f09764
DN
2139}
2140
0b83e688
JH
2141/* Output the body of function NODE->DECL. */
2142
2143static void
2144output_constructor (struct varpool_node *node)
2145{
2146 tree var = node->decl;
2147 struct output_block *ob;
2148
2149 ob = create_output_block (LTO_section_function_body);
2150
2151 clear_line_info (ob);
2152 ob->symbol = node;
2153
2154 /* Make string 0 be a NULL string. */
2155 streamer_write_char_stream (ob->string_stream, 0);
2156
2157 /* Output DECL_INITIAL for the function, which contains the tree of
2158 lexical scopes. */
2159 stream_write_tree (ob, DECL_INITIAL (var), true);
2160
2161 /* Create a section to hold the pickled output of this function. */
2162 produce_asm (ob, var);
2163
2164 destroy_output_block (ob);
2165}
2166
d7f09764 2167
49f836ba
JB
2168/* Emit toplevel asms. */
2169
2170void
2171lto_output_toplevel_asms (void)
2172{
2173 struct output_block *ob;
65d630d4 2174 struct asm_node *can;
49f836ba 2175 char *section_name;
207c68cd 2176 struct lto_simple_header_with_strings header;
49f836ba 2177
3dafb85c 2178 if (!symtab->first_asm_symbol ())
49f836ba
JB
2179 return;
2180
2181 ob = create_output_block (LTO_section_asm);
2182
2183 /* Make string 0 be a NULL string. */
2184 streamer_write_char_stream (ob->string_stream, 0);
2185
3dafb85c 2186 for (can = symtab->first_asm_symbol (); can; can = can->next)
398f05da
JH
2187 {
2188 streamer_write_string_cst (ob, ob->main_stream, can->asm_str);
2189 streamer_write_hwi (ob, can->order);
2190 }
49f836ba
JB
2191
2192 streamer_write_string_cst (ob, ob->main_stream, NULL_TREE);
2193
2194 section_name = lto_get_section_name (LTO_section_asm, NULL, NULL);
2195 lto_begin_section (section_name, !flag_wpa);
2196 free (section_name);
2197
2198 /* The entire header stream is computed here. */
2199 memset (&header, 0, sizeof (header));
2200
2201 /* Write the header. */
207c68cd
RB
2202 header.major_version = LTO_major_version;
2203 header.minor_version = LTO_minor_version;
49f836ba
JB
2204
2205 header.main_size = ob->main_stream->total_size;
2206 header.string_size = ob->string_stream->total_size;
f6bcdb5e 2207 lto_write_data (&header, sizeof header);
49f836ba
JB
2208
2209 /* Put all of the gimple and the string table out the asm file as a
2210 block of text. */
2211 lto_write_stream (ob->main_stream);
2212 lto_write_stream (ob->string_stream);
2213
2214 lto_end_section ();
2215
2216 destroy_output_block (ob);
2217}
2218
2219
0b83e688 2220/* Copy the function body or variable constructor of NODE without deserializing. */
d7f09764
DN
2221
2222static void
0b83e688 2223copy_function_or_variable (struct symtab_node *node)
d7f09764 2224{
67348ccc
DM
2225 tree function = node->decl;
2226 struct lto_file_decl_data *file_data = node->lto_file_data;
d7f09764
DN
2227 const char *data;
2228 size_t len;
2229 const char *name = IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (function));
91539475 2230 char *section_name =
73ce4d1e 2231 lto_get_section_name (LTO_section_function_body, name, NULL);
d7f09764
DN
2232 size_t i, j;
2233 struct lto_in_decl_state *in_state;
91539475 2234 struct lto_out_decl_state *out_state = lto_get_out_decl_state ();
d7f09764 2235
7fa658c2 2236 lto_begin_section (section_name, false);
d7f09764
DN
2237 free (section_name);
2238
2239 /* We may have renamed the declaration, e.g., a static function. */
2240 name = lto_get_decl_name_mapping (file_data, name);
2241
7fa658c2
JH
2242 data = lto_get_raw_section_data (file_data, LTO_section_function_body,
2243 name, &len);
d7f09764
DN
2244 gcc_assert (data);
2245
2246 /* Do a bit copy of the function body. */
7fa658c2 2247 lto_write_raw_data (data, len);
d7f09764
DN
2248
2249 /* Copy decls. */
2250 in_state =
67348ccc 2251 lto_get_function_in_decl_state (node->lto_file_data, function);
7fa658c2 2252 out_state->compressed = in_state->compressed;
d7f09764
DN
2253 gcc_assert (in_state);
2254
2255 for (i = 0; i < LTO_N_DECL_STREAMS; i++)
2256 {
9c71e9df
TS
2257 size_t n = vec_safe_length (in_state->streams[i]);
2258 vec<tree, va_gc> *trees = in_state->streams[i];
d7f09764
DN
2259 struct lto_tree_ref_encoder *encoder = &(out_state->streams[i]);
2260
2261 /* The out state must have the same indices and the in state.
2262 So just copy the vector. All the encoders in the in state
2263 must be empty where we reach here. */
2264 gcc_assert (lto_tree_ref_encoder_size (encoder) == 0);
d579fcda 2265 encoder->trees.reserve_exact (n);
d7f09764 2266 for (j = 0; j < n; j++)
9c71e9df 2267 encoder->trees.safe_push ((*trees)[j]);
d7f09764 2268 }
b8698a0f 2269
7fa658c2
JH
2270 lto_free_raw_section_data (file_data, LTO_section_function_body, name,
2271 data, len);
d7f09764
DN
2272 lto_end_section ();
2273}
2274
8359c87e
RB
2275/* Wrap symbol references in *TP inside a type-preserving MEM_REF. */
2276
2277static tree
2278wrap_refs (tree *tp, int *ws, void *)
2279{
2280 tree t = *tp;
2281 if (handled_component_p (t)
35bd8e8f
JH
2282 && TREE_CODE (TREE_OPERAND (t, 0)) == VAR_DECL
2283 && TREE_PUBLIC (TREE_OPERAND (t, 0)))
8359c87e
RB
2284 {
2285 tree decl = TREE_OPERAND (t, 0);
2286 tree ptrtype = build_pointer_type (TREE_TYPE (decl));
2287 TREE_OPERAND (t, 0) = build2 (MEM_REF, TREE_TYPE (decl),
2288 build1 (ADDR_EXPR, ptrtype, decl),
2289 build_int_cst (ptrtype, 0));
2290 TREE_THIS_VOLATILE (TREE_OPERAND (t, 0)) = TREE_THIS_VOLATILE (decl);
2291 *ws = 0;
2292 }
2293 else if (TREE_CODE (t) == CONSTRUCTOR)
2294 ;
2295 else if (!EXPR_P (t))
2296 *ws = 0;
2297 return NULL_TREE;
2298}
d7f09764 2299
d7f09764
DN
2300/* Main entry point from the pass manager. */
2301
38f4f02f 2302void
f27c1867 2303lto_output (void)
d7f09764 2304{
d7f09764 2305 struct lto_out_decl_state *decl_state;
b2b29377 2306 bitmap output = NULL;
91fbf0c7 2307 int i, n_nodes;
7380e6ef 2308 lto_symtab_encoder_t encoder = lto_get_out_decl_state ()->symtab_node_encoder;
d7f09764 2309
b2b29377
MM
2310 if (flag_checking)
2311 output = lto_bitmap_alloc ();
2312
47c79d56
DN
2313 /* Initialize the streamer. */
2314 lto_streamer_init ();
d7f09764 2315
7380e6ef 2316 n_nodes = lto_symtab_encoder_size (encoder);
d7f09764 2317 /* Process only the functions with bodies. */
91fbf0c7 2318 for (i = 0; i < n_nodes; i++)
d7f09764 2319 {
5e20cdc9 2320 symtab_node *snode = lto_symtab_encoder_deref (encoder, i);
7de90a6c 2321 if (cgraph_node *node = dyn_cast <cgraph_node *> (snode))
d7f09764 2322 {
8359c87e 2323 if (lto_symtab_encoder_encode_body_p (encoder, node)
150be262 2324 && !node->alias
199fb02a 2325 && (!node->thunk.thunk_p || !node->thunk.add_pointer_bounds_args))
8359c87e 2326 {
b2b29377
MM
2327 if (flag_checking)
2328 {
2329 gcc_assert (!bitmap_bit_p (output, DECL_UID (node->decl)));
2330 bitmap_set_bit (output, DECL_UID (node->decl));
2331 }
8359c87e
RB
2332 decl_state = lto_new_out_decl_state ();
2333 lto_push_out_decl_state (decl_state);
48fb6d40
JH
2334 if (gimple_has_body_p (node->decl) || !flag_wpa
2335 /* Thunks have no body but they may be synthetized
2336 at WPA time. */
2337 || DECL_ARGUMENTS (node->decl))
8359c87e
RB
2338 output_function (node);
2339 else
0b83e688 2340 copy_function_or_variable (node);
8359c87e
RB
2341 gcc_assert (lto_get_out_decl_state () == decl_state);
2342 lto_pop_out_decl_state ();
2343 lto_record_function_out_decl_state (node->decl, decl_state);
2344 }
2345 }
7de90a6c 2346 else if (varpool_node *node = dyn_cast <varpool_node *> (snode))
8359c87e
RB
2347 {
2348 /* Wrap symbol references inside the ctor in a type
2349 preserving MEM_REF. */
2350 tree ctor = DECL_INITIAL (node->decl);
2351 if (ctor && !in_lto_p)
2352 walk_tree (&ctor, wrap_refs, NULL, NULL);
0b83e688
JH
2353 if (get_symbol_initial_value (encoder, node->decl) == error_mark_node
2354 && lto_symtab_encoder_encode_initializer_p (encoder, node)
2355 && !node->alias)
2356 {
917dd9bf 2357 timevar_push (TV_IPA_LTO_CTORS_OUT);
b2b29377
MM
2358 if (flag_checking)
2359 {
2360 gcc_assert (!bitmap_bit_p (output, DECL_UID (node->decl)));
2361 bitmap_set_bit (output, DECL_UID (node->decl));
2362 }
0b83e688
JH
2363 decl_state = lto_new_out_decl_state ();
2364 lto_push_out_decl_state (decl_state);
2365 if (DECL_INITIAL (node->decl) != error_mark_node
2366 || !flag_wpa)
2367 output_constructor (node);
2368 else
2369 copy_function_or_variable (node);
2370 gcc_assert (lto_get_out_decl_state () == decl_state);
2371 lto_pop_out_decl_state ();
2372 lto_record_function_out_decl_state (node->decl, decl_state);
917dd9bf 2373 timevar_pop (TV_IPA_LTO_CTORS_OUT);
0b83e688 2374 }
d7f09764
DN
2375 }
2376 }
2377
2378 /* Emit the callgraph after emitting function bodies. This needs to
2379 be done now to make sure that all the statements in every function
2380 have been renumbered so that edges can be associated with call
2381 statements using the statement UIDs. */
f27c1867 2382 output_symtab ();
d7f09764 2383
ec6fe917
IV
2384 output_offload_tables ();
2385
b2b29377 2386#if CHECKING_P
d7f09764 2387 lto_bitmap_free (output);
18252dcf 2388#endif
d7f09764
DN
2389}
2390
b8698a0f 2391/* Write each node in encoded by ENCODER to OB, as well as those reachable
d7f09764
DN
2392 from it and required for correct representation of its semantics.
2393 Each node in ENCODER must be a global declaration or a type. A node
2394 is written only once, even if it appears multiple times in the
2395 vector. Certain transitively-reachable nodes, such as those
2396 representing expressions, may be duplicated, but such nodes
2397 must not appear in ENCODER itself. */
2398
2399static void
2400write_global_stream (struct output_block *ob,
2401 struct lto_tree_ref_encoder *encoder)
2402{
2403 tree t;
2404 size_t index;
2405 const size_t size = lto_tree_ref_encoder_size (encoder);
2406
2407 for (index = 0; index < size; index++)
2408 {
2409 t = lto_tree_ref_encoder_get_tree (encoder, index);
412288f1 2410 if (!streamer_tree_cache_lookup (ob->writer_cache, t, NULL))
b9393656 2411 stream_write_tree (ob, t, false);
d7f09764
DN
2412 }
2413}
2414
2415
2416/* Write a sequence of indices into the globals vector corresponding
2417 to the trees in ENCODER. These are used by the reader to map the
2418 indices used to refer to global entities within function bodies to
2419 their referents. */
2420
2421static void
2422write_global_references (struct output_block *ob,
d7f09764
DN
2423 struct lto_tree_ref_encoder *encoder)
2424{
2425 tree t;
e89964e3
MM
2426 uint32_t index;
2427 const uint32_t size = lto_tree_ref_encoder_size (encoder);
d7f09764 2428
f6bcdb5e
RB
2429 /* Write size and slot indexes as 32-bit unsigned numbers. */
2430 uint32_t *data = XNEWVEC (uint32_t, size + 1);
2431 data[0] = size;
d7f09764
DN
2432
2433 for (index = 0; index < size; index++)
2434 {
83b4db6d 2435 unsigned slot_num;
d7f09764
DN
2436
2437 t = lto_tree_ref_encoder_get_tree (encoder, index);
412288f1 2438 streamer_tree_cache_lookup (ob->writer_cache, t, &slot_num);
e89964e3 2439 gcc_assert (slot_num != (unsigned)-1);
f6bcdb5e 2440 data[index + 1] = slot_num;
d7f09764 2441 }
f6bcdb5e
RB
2442
2443 lto_write_data (data, sizeof (int32_t) * (size + 1));
2444 free (data);
d7f09764
DN
2445}
2446
2447
2448/* Write all the streams in an lto_out_decl_state STATE using
2449 output block OB and output stream OUT_STREAM. */
2450
a183b5c7 2451void
d7f09764
DN
2452lto_output_decl_state_streams (struct output_block *ob,
2453 struct lto_out_decl_state *state)
2454{
2455 int i;
2456
2457 for (i = 0; i < LTO_N_DECL_STREAMS; i++)
2458 write_global_stream (ob, &state->streams[i]);
2459}
2460
2461
2462/* Write all the references in an lto_out_decl_state STATE using
2463 output block OB and output stream OUT_STREAM. */
2464
a183b5c7 2465void
d7f09764 2466lto_output_decl_state_refs (struct output_block *ob,
d7f09764
DN
2467 struct lto_out_decl_state *state)
2468{
2469 unsigned i;
83b4db6d 2470 unsigned ref;
d7f09764 2471 tree decl;
b8698a0f 2472
d7f09764
DN
2473 /* Write reference to FUNCTION_DECL. If there is not function,
2474 write reference to void_type_node. */
2475 decl = (state->fn_decl) ? state->fn_decl : void_type_node;
412288f1 2476 streamer_tree_cache_lookup (ob->writer_cache, decl, &ref);
e89964e3 2477 gcc_assert (ref != (unsigned)-1);
7fa658c2 2478 ref = ref * 2 + (state->compressed ? 1 : 0);
f6bcdb5e 2479 lto_write_data (&ref, sizeof (uint32_t));
d7f09764
DN
2480
2481 for (i = 0; i < LTO_N_DECL_STREAMS; i++)
f6bcdb5e 2482 write_global_references (ob, &state->streams[i]);
d7f09764
DN
2483}
2484
2485
2486/* Return the written size of STATE. */
2487
2488static size_t
2489lto_out_decl_state_written_size (struct lto_out_decl_state *state)
2490{
2491 int i;
2492 size_t size;
2493
2494 size = sizeof (int32_t); /* fn_ref. */
2495 for (i = 0; i < LTO_N_DECL_STREAMS; i++)
2496 {
2497 size += sizeof (int32_t); /* vector size. */
2498 size += (lto_tree_ref_encoder_size (&state->streams[i])
2499 * sizeof (int32_t));
2500 }
2501 return size;
2502}
2503
2504
695c3817
JH
2505/* Write symbol T into STREAM in CACHE. SEEN specifies symbols we wrote
2506 so far. */
c5d1f058
JH
2507
2508static void
412288f1 2509write_symbol (struct streamer_tree_cache_d *cache,
6e2830c3 2510 tree t, hash_set<const char *> *seen, bool alias)
c5d1f058
JH
2511{
2512 const char *name;
2513 enum gcc_plugin_symbol_kind kind;
083e891e 2514 enum gcc_plugin_symbol_visibility visibility = GCCPV_DEFAULT;
e89964e3 2515 unsigned slot_num;
a9243bfc 2516 uint64_t size;
c5d1f058 2517 const char *comdat;
7d58701c 2518 unsigned char c;
c5d1f058
JH
2519
2520 /* None of the following kinds of symbols are needed in the
2521 symbol table. */
2522 if (!TREE_PUBLIC (t)
2523 || is_builtin_fn (t)
00de328a 2524 || DECL_ABSTRACT_P (t)
7cbda518 2525 || (TREE_CODE (t) == VAR_DECL && DECL_HARD_REGISTER (t)))
c5d1f058 2526 return;
815effe1 2527 gcc_assert (TREE_CODE (t) != RESULT_DECL);
c5d1f058
JH
2528
2529 gcc_assert (TREE_CODE (t) == VAR_DECL
2530 || TREE_CODE (t) == FUNCTION_DECL);
2531
2532 name = IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (t));
2533
77754180
DK
2534 /* This behaves like assemble_name_raw in varasm.c, performing the
2535 same name manipulations that ASM_OUTPUT_LABELREF does. */
2536 name = IDENTIFIER_POINTER ((*targetm.asm_out.mangle_assembler_name) (name));
2537
6e2830c3 2538 if (seen->add (name))
695c3817 2539 return;
695c3817 2540
412288f1 2541 streamer_tree_cache_lookup (cache, t, &slot_num);
e89964e3 2542 gcc_assert (slot_num != (unsigned)-1);
c5d1f058 2543
c5d1f058 2544 if (DECL_EXTERNAL (t))
d7f09764 2545 {
c5d1f058
JH
2546 if (DECL_WEAK (t))
2547 kind = GCCPK_WEAKUNDEF;
d7f09764 2548 else
c5d1f058
JH
2549 kind = GCCPK_UNDEF;
2550 }
2551 else
2552 {
2553 if (DECL_WEAK (t))
2554 kind = GCCPK_WEAKDEF;
2555 else if (DECL_COMMON (t))
2556 kind = GCCPK_COMMON;
d7f09764 2557 else
c5d1f058
JH
2558 kind = GCCPK_DEF;
2559
695c3817
JH
2560 /* When something is defined, it should have node attached. */
2561 gcc_assert (alias || TREE_CODE (t) != VAR_DECL
9041d2e6 2562 || varpool_node::get (t)->definition);
c5d1f058 2563 gcc_assert (alias || TREE_CODE (t) != FUNCTION_DECL
d52f5295
ML
2564 || (cgraph_node::get (t)
2565 && cgraph_node::get (t)->definition));
d7f09764 2566 }
d7f09764 2567
5d7f4d9c
JH
2568 /* Imitate what default_elf_asm_output_external do.
2569 When symbol is external, we need to output it with DEFAULT visibility
2570 when compiling with -fvisibility=default, while with HIDDEN visibility
2571 when symbol has attribute (visibility("hidden")) specified.
2572 targetm.binds_local_p check DECL_VISIBILITY_SPECIFIED and gets this
2573 right. */
4ad9a9de 2574
5d7f4d9c
JH
2575 if (DECL_EXTERNAL (t)
2576 && !targetm.binds_local_p (t))
2577 visibility = GCCPV_DEFAULT;
2578 else
c3284718 2579 switch (DECL_VISIBILITY (t))
5d7f4d9c
JH
2580 {
2581 case VISIBILITY_DEFAULT:
2582 visibility = GCCPV_DEFAULT;
2583 break;
2584 case VISIBILITY_PROTECTED:
2585 visibility = GCCPV_PROTECTED;
2586 break;
2587 case VISIBILITY_HIDDEN:
2588 visibility = GCCPV_HIDDEN;
2589 break;
2590 case VISIBILITY_INTERNAL:
2591 visibility = GCCPV_INTERNAL;
2592 break;
2593 }
d7f09764 2594
c5d1f058 2595 if (kind == GCCPK_COMMON
4ad9a9de
EB
2596 && DECL_SIZE_UNIT (t)
2597 && TREE_CODE (DECL_SIZE_UNIT (t)) == INTEGER_CST)
2598 size = TREE_INT_CST_LOW (DECL_SIZE_UNIT (t));
c5d1f058
JH
2599 else
2600 size = 0;
2601
2602 if (DECL_ONE_ONLY (t))
d67ff7b7 2603 comdat = IDENTIFIER_POINTER (decl_comdat_group_id (t));
c5d1f058
JH
2604 else
2605 comdat = "";
2606
f6bcdb5e
RB
2607 lto_write_data (name, strlen (name) + 1);
2608 lto_write_data (comdat, strlen (comdat) + 1);
7d58701c 2609 c = (unsigned char) kind;
f6bcdb5e 2610 lto_write_data (&c, 1);
7d58701c 2611 c = (unsigned char) visibility;
f6bcdb5e
RB
2612 lto_write_data (&c, 1);
2613 lto_write_data (&size, 8);
2614 lto_write_data (&slot_num, 4);
d7f09764
DN
2615}
2616
2c2c4b29
JH
2617/* Return true if NODE should appear in the plugin symbol table. */
2618
2619bool
5e20cdc9 2620output_symbol_p (symtab_node *node)
2c2c4b29
JH
2621{
2622 struct cgraph_node *cnode;
d52f5295 2623 if (!node->real_symbol_p ())
2c2c4b29
JH
2624 return false;
2625 /* We keep external functions in symtab for sake of inlining
2626 and devirtualization. We do not want to see them in symbol table as
4f38fa8c 2627 references unless they are really used. */
7de90a6c 2628 cnode = dyn_cast <cgraph_node *> (node);
67348ccc 2629 if (cnode && (!node->definition || DECL_EXTERNAL (cnode->decl))
4f38fa8c
JH
2630 && cnode->callers)
2631 return true;
2632
2633 /* Ignore all references from external vars initializers - they are not really
2634 part of the compilation unit until they are used by folding. Some symbols,
2635 like references to external construction vtables can not be referred to at all.
2636 We decide this at can_refer_decl_in_current_unit_p. */
67348ccc 2637 if (!node->definition || DECL_EXTERNAL (node->decl))
4f38fa8c
JH
2638 {
2639 int i;
2640 struct ipa_ref *ref;
d122681a 2641 for (i = 0; node->iterate_referring (i, ref); i++)
4f38fa8c
JH
2642 {
2643 if (ref->use == IPA_REF_ALIAS)
2644 continue;
7de90a6c 2645 if (is_a <cgraph_node *> (ref->referring))
4f38fa8c 2646 return true;
67348ccc 2647 if (!DECL_EXTERNAL (ref->referring->decl))
4f38fa8c
JH
2648 return true;
2649 }
2650 return false;
2651 }
2c2c4b29
JH
2652 return true;
2653}
2654
d7f09764 2655
c5d1f058
JH
2656/* Write an IL symbol table to OB.
2657 SET and VSET are cgraph/varpool node sets we are outputting. */
d7f09764
DN
2658
2659static void
877ab5e9 2660produce_symtab (struct output_block *ob)
d7f09764 2661{
412288f1 2662 struct streamer_tree_cache_d *cache = ob->writer_cache;
73ce4d1e 2663 char *section_name = lto_get_section_name (LTO_section_symtab, NULL, NULL);
7380e6ef 2664 lto_symtab_encoder_t encoder = ob->decl_state->symtab_node_encoder;
c2954538 2665 lto_symtab_encoder_iterator lsei;
d7f09764
DN
2666
2667 lto_begin_section (section_name, false);
2668 free (section_name);
2669
6e2830c3 2670 hash_set<const char *> seen;
c5d1f058 2671
c2954538
JH
2672 /* Write the symbol table.
2673 First write everything defined and then all declarations.
1aa95df7 2674 This is necessary to handle cases where we have duplicated symbols. */
c2954538
JH
2675 for (lsei = lsei_start (encoder);
2676 !lsei_end_p (lsei); lsei_next (&lsei))
c5d1f058 2677 {
5e20cdc9 2678 symtab_node *node = lsei_node (lsei);
c2954538 2679
67348ccc 2680 if (!output_symbol_p (node) || DECL_EXTERNAL (node->decl))
695c3817 2681 continue;
6e2830c3 2682 write_symbol (cache, node->decl, &seen, false);
695c3817 2683 }
c2954538
JH
2684 for (lsei = lsei_start (encoder);
2685 !lsei_end_p (lsei); lsei_next (&lsei))
695c3817 2686 {
5e20cdc9 2687 symtab_node *node = lsei_node (lsei);
c5d1f058 2688
67348ccc 2689 if (!output_symbol_p (node) || !DECL_EXTERNAL (node->decl))
695c3817 2690 continue;
6e2830c3 2691 write_symbol (cache, node->decl, &seen, false);
c5d1f058
JH
2692 }
2693
d7f09764
DN
2694 lto_end_section ();
2695}
2696
2697
db847fa8
JJ
2698/* Init the streamer_mode_table for output, where we collect info on what
2699 machine_mode values have been streamed. */
2700void
2701lto_output_init_mode_table (void)
2702{
2703 memset (streamer_mode_table, '\0', MAX_MACHINE_MODE);
2704}
2705
2706
2707/* Write the mode table. */
2708static void
2709lto_write_mode_table (void)
2710{
2711 struct output_block *ob;
2712 ob = create_output_block (LTO_section_mode_table);
2713 bitpack_d bp = bitpack_create (ob->main_stream);
2714
96a2d174 2715 /* Ensure that for GET_MODE_INNER (m) != m we have
db847fa8
JJ
2716 also the inner mode marked. */
2717 for (int i = 0; i < (int) MAX_MACHINE_MODE; i++)
2718 if (streamer_mode_table[i])
2719 {
2720 machine_mode m = (machine_mode) i;
1c0e448f 2721 if (GET_MODE_INNER (m) != m)
db847fa8
JJ
2722 streamer_mode_table[(int) GET_MODE_INNER (m)] = 1;
2723 }
96a2d174 2724 /* First stream modes that have GET_MODE_INNER (m) == m,
db847fa8
JJ
2725 so that we can refer to them afterwards. */
2726 for (int pass = 0; pass < 2; pass++)
2727 for (int i = 0; i < (int) MAX_MACHINE_MODE; i++)
2728 if (streamer_mode_table[i] && i != (int) VOIDmode && i != (int) BLKmode)
2729 {
2730 machine_mode m = (machine_mode) i;
1c0e448f 2731 if ((GET_MODE_INNER (m) == m) ^ (pass == 0))
db847fa8
JJ
2732 continue;
2733 bp_pack_value (&bp, m, 8);
2734 bp_pack_enum (&bp, mode_class, MAX_MODE_CLASS, GET_MODE_CLASS (m));
2735 bp_pack_value (&bp, GET_MODE_SIZE (m), 8);
2736 bp_pack_value (&bp, GET_MODE_PRECISION (m), 16);
2737 bp_pack_value (&bp, GET_MODE_INNER (m), 8);
2738 bp_pack_value (&bp, GET_MODE_NUNITS (m), 8);
2739 switch (GET_MODE_CLASS (m))
2740 {
2741 case MODE_FRACT:
2742 case MODE_UFRACT:
2743 case MODE_ACCUM:
2744 case MODE_UACCUM:
2745 bp_pack_value (&bp, GET_MODE_IBIT (m), 8);
2746 bp_pack_value (&bp, GET_MODE_FBIT (m), 8);
2747 break;
2748 case MODE_FLOAT:
2749 case MODE_DECIMAL_FLOAT:
2750 bp_pack_string (ob, &bp, REAL_MODE_FORMAT (m)->name, true);
2751 break;
2752 default:
2753 break;
2754 }
2755 bp_pack_string (ob, &bp, GET_MODE_NAME (m), true);
2756 }
2757 bp_pack_value (&bp, VOIDmode, 8);
2758
2759 streamer_write_bitpack (&bp);
2760
2761 char *section_name
2762 = lto_get_section_name (LTO_section_mode_table, NULL, NULL);
2763 lto_begin_section (section_name, !flag_wpa);
2764 free (section_name);
2765
2766 /* The entire header stream is computed here. */
2767 struct lto_simple_header_with_strings header;
2768 memset (&header, 0, sizeof (header));
2769
2770 /* Write the header. */
2771 header.major_version = LTO_major_version;
2772 header.minor_version = LTO_minor_version;
2773
2774 header.main_size = ob->main_stream->total_size;
2775 header.string_size = ob->string_stream->total_size;
2776 lto_write_data (&header, sizeof header);
2777
2778 /* Put all of the gimple and the string table out the asm file as a
2779 block of text. */
2780 lto_write_stream (ob->main_stream);
2781 lto_write_stream (ob->string_stream);
2782
2783 lto_end_section ();
2784 destroy_output_block (ob);
2785}
2786
2787
d7f09764
DN
2788/* This pass is run after all of the functions are serialized and all
2789 of the IPA passes have written their serialized forms. This pass
2790 causes the vector of all of the global decls and types used from
2791 this file to be written in to a section that can then be read in to
2792 recover these on other side. */
2793
38f4f02f 2794void
f27c1867 2795produce_asm_for_decls (void)
d7f09764
DN
2796{
2797 struct lto_out_decl_state *out_state;
2798 struct lto_out_decl_state *fn_out_state;
2799 struct lto_decl_header header;
2800 char *section_name;
2801 struct output_block *ob;
d7f09764
DN
2802 unsigned idx, num_fns;
2803 size_t decl_state_size;
2804 int32_t num_decl_states;
2805
2806 ob = create_output_block (LTO_section_decls);
d7f09764 2807
b8698a0f 2808 memset (&header, 0, sizeof (struct lto_decl_header));
d7f09764 2809
73ce4d1e 2810 section_name = lto_get_section_name (LTO_section_decls, NULL, NULL);
d7f09764
DN
2811 lto_begin_section (section_name, !flag_wpa);
2812 free (section_name);
2813
2814 /* Make string 0 be a NULL string. */
412288f1 2815 streamer_write_char_stream (ob->string_stream, 0);
d7f09764 2816
877ab5e9
JH
2817 gcc_assert (!alias_pairs);
2818
bdc67fd6 2819 /* Get rid of the global decl state hash tables to save some memory. */
d7f09764 2820 out_state = lto_get_out_decl_state ();
bdc67fd6
RB
2821 for (int i = 0; i < LTO_N_DECL_STREAMS; i++)
2822 if (out_state->streams[i].tree_hash_table)
2823 {
2824 delete out_state->streams[i].tree_hash_table;
2825 out_state->streams[i].tree_hash_table = NULL;
2826 }
2827
2828 /* Write the global symbols. */
d7f09764 2829 lto_output_decl_state_streams (ob, out_state);
bdc67fd6 2830 num_fns = lto_function_decl_states.length ();
d7f09764
DN
2831 for (idx = 0; idx < num_fns; idx++)
2832 {
2833 fn_out_state =
9771b263 2834 lto_function_decl_states[idx];
d7f09764
DN
2835 lto_output_decl_state_streams (ob, fn_out_state);
2836 }
2837
207c68cd
RB
2838 header.major_version = LTO_major_version;
2839 header.minor_version = LTO_minor_version;
d7f09764
DN
2840
2841 /* Currently not used. This field would allow us to preallocate
2842 the globals vector, so that it need not be resized as it is extended. */
2843 header.num_nodes = -1;
2844
2845 /* Compute the total size of all decl out states. */
2846 decl_state_size = sizeof (int32_t);
2847 decl_state_size += lto_out_decl_state_written_size (out_state);
2848 for (idx = 0; idx < num_fns; idx++)
2849 {
2850 fn_out_state =
9771b263 2851 lto_function_decl_states[idx];
d7f09764
DN
2852 decl_state_size += lto_out_decl_state_written_size (fn_out_state);
2853 }
2854 header.decl_state_size = decl_state_size;
2855
2856 header.main_size = ob->main_stream->total_size;
2857 header.string_size = ob->string_stream->total_size;
2858
f6bcdb5e 2859 lto_write_data (&header, sizeof header);
b8698a0f 2860
d7f09764
DN
2861 /* Write the main out-decl state, followed by out-decl states of
2862 functions. */
d7f09764 2863 num_decl_states = num_fns + 1;
f6bcdb5e
RB
2864 lto_write_data (&num_decl_states, sizeof (num_decl_states));
2865 lto_output_decl_state_refs (ob, out_state);
d7f09764
DN
2866 for (idx = 0; idx < num_fns; idx++)
2867 {
f6bcdb5e
RB
2868 fn_out_state = lto_function_decl_states[idx];
2869 lto_output_decl_state_refs (ob, fn_out_state);
d7f09764 2870 }
d7f09764
DN
2871
2872 lto_write_stream (ob->main_stream);
2873 lto_write_stream (ob->string_stream);
2874
2875 lto_end_section ();
2876
c5d1f058
JH
2877 /* Write the symbol table. It is used by linker to determine dependencies
2878 and thus we can skip it for WPA. */
2879 if (!flag_wpa)
877ab5e9 2880 produce_symtab (ob);
d7f09764
DN
2881
2882 /* Write command line opts. */
2883 lto_write_options ();
2884
2885 /* Deallocate memory and clean up. */
6cd174f6
JH
2886 for (idx = 0; idx < num_fns; idx++)
2887 {
2888 fn_out_state =
9771b263 2889 lto_function_decl_states[idx];
6cd174f6
JH
2890 lto_delete_out_decl_state (fn_out_state);
2891 }
7380e6ef 2892 lto_symtab_encoder_delete (ob->decl_state->symtab_node_encoder);
9771b263 2893 lto_function_decl_states.release ();
d7f09764 2894 destroy_output_block (ob);
db847fa8
JJ
2895 if (lto_stream_offload_p)
2896 lto_write_mode_table ();
d7f09764 2897}