]> git.ipfire.org Git - thirdparty/gcc.git/blame - gcc/lto-streamer-out.c
[6/6] Preprocessor forced macro location
[thirdparty/gcc.git] / gcc / lto-streamer-out.c
CommitLineData
d7f09764
DN
1/* Write the GIMPLE representation to a file stream.
2
85ec4feb 3 Copyright (C) 2009-2018 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"
1ea85365 43#include "debug.h"
60bf575c 44#include "omp-offload.h"
b4da704c 45#include "print-tree.h"
d7f09764
DN
46
47
5f673c6a
TB
48static void lto_write_tree (struct output_block*, tree, bool);
49
d7f09764
DN
50/* Clear the line info stored in DATA_IN. */
51
52static void
53clear_line_info (struct output_block *ob)
54{
55 ob->current_file = NULL;
56 ob->current_line = 0;
57 ob->current_col = 0;
a9dfad6d 58 ob->current_sysp = false;
d7f09764
DN
59}
60
61
62/* Create the output block and return it. SECTION_TYPE is
63 LTO_section_function_body or LTO_static_initializer. */
64
65struct output_block *
66create_output_block (enum lto_section_type section_type)
67{
68 struct output_block *ob = XCNEW (struct output_block);
b4da704c
JH
69 if (streamer_dump_file)
70 fprintf (streamer_dump_file, "Creating output block for %s\n",
71 lto_section_name [section_type]);
d7f09764
DN
72
73 ob->section_type = section_type;
74 ob->decl_state = lto_get_out_decl_state ();
f0efc7aa
DN
75 ob->main_stream = XCNEW (struct lto_output_stream);
76 ob->string_stream = XCNEW (struct lto_output_stream);
bdc67fd6 77 ob->writer_cache = streamer_tree_cache_create (!flag_wpa, true, false);
d7f09764 78
f0efc7aa
DN
79 if (section_type == LTO_section_function_body)
80 ob->cfg_stream = XCNEW (struct lto_output_stream);
d7f09764 81
f0efc7aa 82 clear_line_info (ob);
51545682 83
c203e8a7 84 ob->string_hash_table = new hash_table<string_slot_hasher> (37);
f0efc7aa 85 gcc_obstack_init (&ob->obstack);
d7f09764 86
f0efc7aa
DN
87 return ob;
88}
d7f09764 89
d7f09764 90
f0efc7aa 91/* Destroy the output block OB. */
d7f09764 92
f0efc7aa
DN
93void
94destroy_output_block (struct output_block *ob)
95{
96 enum lto_section_type section_type = ob->section_type;
d7f09764 97
c203e8a7
TS
98 delete ob->string_hash_table;
99 ob->string_hash_table = NULL;
d7f09764 100
f0efc7aa
DN
101 free (ob->main_stream);
102 free (ob->string_stream);
103 if (section_type == LTO_section_function_body)
104 free (ob->cfg_stream);
d7f09764 105
412288f1 106 streamer_tree_cache_delete (ob->writer_cache);
f0efc7aa 107 obstack_free (&ob->obstack, NULL);
6be14c0e 108
f0efc7aa 109 free (ob);
d7f09764
DN
110}
111
112
f0efc7aa 113/* Look up NODE in the type table and write the index for it to OB. */
d7f09764
DN
114
115static void
f0efc7aa 116output_type_ref (struct output_block *ob, tree node)
d7f09764 117{
412288f1 118 streamer_write_record_start (ob, LTO_type_ref);
f0efc7aa 119 lto_output_type_ref_index (ob->decl_state, ob->main_stream, node);
d7f09764
DN
120}
121
122
f0efc7aa
DN
123/* Return true if tree node T is written to various tables. For these
124 nodes, we sometimes want to write their phyiscal representation
125 (via lto_output_tree), and sometimes we need to emit an index
126 reference into a table (via lto_output_tree_ref). */
d7f09764 127
f0efc7aa
DN
128static bool
129tree_is_indexable (tree t)
d7f09764 130{
61a74079
JH
131 /* Parameters and return values of functions of variably modified types
132 must go to global stream, because they may be used in the type
133 definition. */
e0ffb247
RB
134 if ((TREE_CODE (t) == PARM_DECL || TREE_CODE (t) == RESULT_DECL)
135 && DECL_CONTEXT (t))
61a74079 136 return variably_modified_type_p (TREE_TYPE (DECL_CONTEXT (t)), NULL_TREE);
6b0917f4
JH
137 /* IMPORTED_DECL is put into BLOCK and thus it never can be shared.
138 We should no longer need to stream it. */
52d8a590 139 else if (TREE_CODE (t) == IMPORTED_DECL)
6b0917f4
JH
140 gcc_unreachable ();
141 else if (TREE_CODE (t) == LABEL_DECL)
142 return FORCED_LABEL (t) || DECL_NONLOCAL (t);
8813a647 143 else if (((VAR_P (t) && !TREE_STATIC (t))
53a5717e 144 || TREE_CODE (t) == TYPE_DECL
c39276b8
RB
145 || TREE_CODE (t) == CONST_DECL
146 || TREE_CODE (t) == NAMELIST_DECL)
53a5717e 147 && decl_function_context (t))
f0efc7aa 148 return false;
ee03e71d
RB
149 else if (TREE_CODE (t) == DEBUG_EXPR_DECL)
150 return false;
befa62e7
RG
151 /* Variably modified types need to be streamed alongside function
152 bodies because they can refer to local entities. Together with
153 them we have to localize their members as well.
154 ??? In theory that includes non-FIELD_DECLs as well. */
155 else if (TYPE_P (t)
156 && variably_modified_type_p (t, NULL_TREE))
157 return false;
158 else if (TREE_CODE (t) == FIELD_DECL
159 && variably_modified_type_p (DECL_CONTEXT (t), NULL_TREE))
160 return false;
d7f09764 161 else
f0efc7aa 162 return (TYPE_P (t) || DECL_P (t) || TREE_CODE (t) == SSA_NAME);
d7f09764
DN
163}
164
165
f0efc7aa
DN
166/* Output info about new location into bitpack BP.
167 After outputting bitpack, lto_output_location_data has
168 to be done to output actual data. */
d7f09764 169
7cb7d208
RB
170void
171lto_output_location (struct output_block *ob, struct bitpack_d *bp,
172 location_t loc)
d7f09764 173{
f0efc7aa 174 expanded_location xloc;
d7f09764 175
5368224f 176 loc = LOCATION_LOCUS (loc);
44433db0
JH
177 bp_pack_int_in_range (bp, 0, RESERVED_LOCATION_COUNT,
178 loc < RESERVED_LOCATION_COUNT
179 ? loc : RESERVED_LOCATION_COUNT);
180 if (loc < RESERVED_LOCATION_COUNT)
f0efc7aa 181 return;
d7f09764 182
f0efc7aa 183 xloc = expand_location (loc);
d7f09764 184
f0efc7aa 185 bp_pack_value (bp, ob->current_file != xloc.file, 1);
e45cde98
RB
186 bp_pack_value (bp, ob->current_line != xloc.line, 1);
187 bp_pack_value (bp, ob->current_col != xloc.column, 1);
188
f0efc7aa 189 if (ob->current_file != xloc.file)
6c1bc27c
RB
190 {
191 bp_pack_string (ob, bp, xloc.file, true);
192 bp_pack_value (bp, xloc.sysp, 1);
193 }
f0efc7aa 194 ob->current_file = xloc.file;
6c1bc27c 195 ob->current_sysp = xloc.sysp;
d7f09764 196
f0efc7aa
DN
197 if (ob->current_line != xloc.line)
198 bp_pack_var_len_unsigned (bp, xloc.line);
199 ob->current_line = xloc.line;
47c79d56 200
f0efc7aa
DN
201 if (ob->current_col != xloc.column)
202 bp_pack_var_len_unsigned (bp, xloc.column);
203 ob->current_col = xloc.column;
d7f09764
DN
204}
205
206
f0efc7aa
DN
207/* If EXPR is an indexable tree node, output a reference to it to
208 output block OB. Otherwise, output the physical representation of
209 EXPR to OB. */
d7f09764 210
b9393656 211static void
f0efc7aa 212lto_output_tree_ref (struct output_block *ob, tree expr)
d7f09764 213{
f0efc7aa 214 enum tree_code code;
d7f09764 215
f0efc7aa 216 if (TYPE_P (expr))
d7f09764 217 {
f0efc7aa
DN
218 output_type_ref (ob, expr);
219 return;
d7f09764 220 }
f0efc7aa
DN
221
222 code = TREE_CODE (expr);
223 switch (code)
d7f09764 224 {
f0efc7aa 225 case SSA_NAME:
412288f1
DN
226 streamer_write_record_start (ob, LTO_ssa_name_ref);
227 streamer_write_uhwi (ob, SSA_NAME_VERSION (expr));
f0efc7aa
DN
228 break;
229
230 case FIELD_DECL:
412288f1 231 streamer_write_record_start (ob, LTO_field_decl_ref);
f0efc7aa
DN
232 lto_output_field_decl_index (ob->decl_state, ob->main_stream, expr);
233 break;
234
235 case FUNCTION_DECL:
412288f1 236 streamer_write_record_start (ob, LTO_function_decl_ref);
f0efc7aa
DN
237 lto_output_fn_decl_index (ob->decl_state, ob->main_stream, expr);
238 break;
239
240 case VAR_DECL:
241 case DEBUG_EXPR_DECL:
b9393656 242 gcc_assert (decl_function_context (expr) == NULL || TREE_STATIC (expr));
191816a3 243 /* FALLTHRU */
9aef8e95 244 case PARM_DECL:
412288f1 245 streamer_write_record_start (ob, LTO_global_decl_ref);
f0efc7aa
DN
246 lto_output_var_decl_index (ob->decl_state, ob->main_stream, expr);
247 break;
248
249 case CONST_DECL:
412288f1 250 streamer_write_record_start (ob, LTO_const_decl_ref);
f0efc7aa
DN
251 lto_output_var_decl_index (ob->decl_state, ob->main_stream, expr);
252 break;
253
254 case IMPORTED_DECL:
255 gcc_assert (decl_function_context (expr) == NULL);
412288f1 256 streamer_write_record_start (ob, LTO_imported_decl_ref);
f0efc7aa
DN
257 lto_output_var_decl_index (ob->decl_state, ob->main_stream, expr);
258 break;
259
260 case TYPE_DECL:
412288f1 261 streamer_write_record_start (ob, LTO_type_decl_ref);
f0efc7aa
DN
262 lto_output_type_decl_index (ob->decl_state, ob->main_stream, expr);
263 break;
264
5f673c6a 265 case NAMELIST_DECL:
c39276b8
RB
266 streamer_write_record_start (ob, LTO_namelist_decl_ref);
267 lto_output_var_decl_index (ob->decl_state, ob->main_stream, expr);
268 break;
5f673c6a 269
f0efc7aa 270 case NAMESPACE_DECL:
412288f1 271 streamer_write_record_start (ob, LTO_namespace_decl_ref);
f0efc7aa
DN
272 lto_output_namespace_decl_index (ob->decl_state, ob->main_stream, expr);
273 break;
274
275 case LABEL_DECL:
412288f1 276 streamer_write_record_start (ob, LTO_label_decl_ref);
f0efc7aa
DN
277 lto_output_var_decl_index (ob->decl_state, ob->main_stream, expr);
278 break;
279
280 case RESULT_DECL:
412288f1 281 streamer_write_record_start (ob, LTO_result_decl_ref);
f0efc7aa
DN
282 lto_output_var_decl_index (ob->decl_state, ob->main_stream, expr);
283 break;
284
285 case TRANSLATION_UNIT_DECL:
412288f1 286 streamer_write_record_start (ob, LTO_translation_unit_decl_ref);
f0efc7aa
DN
287 lto_output_var_decl_index (ob->decl_state, ob->main_stream, expr);
288 break;
289
290 default:
b9393656
DN
291 /* No other node is indexable, so it should have been handled by
292 lto_output_tree. */
293 gcc_unreachable ();
294 }
295}
296
297
298/* Return true if EXPR is a tree node that can be written to disk. */
299
300static inline bool
301lto_is_streamable (tree expr)
302{
303 enum tree_code code = TREE_CODE (expr);
304
305 /* Notice that we reject SSA_NAMEs as well. We only emit the SSA
306 name version in lto_output_tree_ref (see output_ssa_names). */
307 return !is_lang_specific (expr)
308 && code != SSA_NAME
309 && code != CALL_EXPR
310 && code != LANG_TYPE
311 && code != MODIFY_EXPR
312 && code != INIT_EXPR
313 && code != TARGET_EXPR
314 && code != BIND_EXPR
315 && code != WITH_CLEANUP_EXPR
316 && code != STATEMENT_LIST
b9393656
DN
317 && (code == CASE_LABEL_EXPR
318 || code == DECL_EXPR
319 || TREE_CODE_CLASS (code) != tcc_statement);
320}
321
155768d6
JH
322/* Very rough estimate of streaming size of the initializer. If we ignored
323 presence of strings, we could simply just count number of non-indexable
324 tree nodes and number of references to indexable nodes. Strings however
325 may be very large and we do not want to dump them int othe global stream.
326
327 Count the size of initializer until the size in DATA is positive. */
328
329static tree
330subtract_estimated_size (tree *tp, int *ws, void *data)
331{
332 long *sum = (long *)data;
333 if (tree_is_indexable (*tp))
334 {
335 /* Indexable tree is one reference to global stream.
336 Guess it may be about 4 bytes. */
337 *sum -= 4;
338 *ws = 0;
339 }
340 /* String table entry + base of tree node needs to be streamed. */
341 if (TREE_CODE (*tp) == STRING_CST)
342 *sum -= TREE_STRING_LENGTH (*tp) + 8;
343 else
344 {
345 /* Identifiers are also variable length but should not appear
346 naked in constructor. */
347 gcc_checking_assert (TREE_CODE (*tp) != IDENTIFIER_NODE);
348 /* We do not really make attempt to work out size of pickled tree, as
349 it is very variable. Make it bigger than the reference. */
350 *sum -= 16;
351 }
352 if (*sum < 0)
353 return *tp;
354 return NULL_TREE;
355}
356
b9393656 357
ee03e71d
RB
358/* For EXPR lookup and return what we want to stream to OB as DECL_INITIAL. */
359
360static tree
0b83e688 361get_symbol_initial_value (lto_symtab_encoder_t encoder, tree expr)
ee03e71d
RB
362{
363 gcc_checking_assert (DECL_P (expr)
364 && TREE_CODE (expr) != FUNCTION_DECL
365 && TREE_CODE (expr) != TRANSLATION_UNIT_DECL);
366
367 /* Handle DECL_INITIAL for symbols. */
368 tree initial = DECL_INITIAL (expr);
8813a647 369 if (VAR_P (expr)
ee03e71d
RB
370 && (TREE_STATIC (expr) || DECL_EXTERNAL (expr))
371 && !DECL_IN_CONSTANT_POOL (expr)
372 && initial)
373 {
2c8326a5 374 varpool_node *vnode;
0b83e688
JH
375 /* Extra section needs about 30 bytes; do not produce it for simple
376 scalar values. */
155768d6 377 if (!(vnode = varpool_node::get (expr))
0b83e688
JH
378 || !lto_symtab_encoder_encode_initializer_p (encoder, vnode))
379 initial = error_mark_node;
155768d6
JH
380 if (initial != error_mark_node)
381 {
382 long max_size = 30;
383 if (walk_tree (&initial, subtract_estimated_size, (void *)&max_size,
384 NULL))
385 initial = error_mark_node;
386 }
ee03e71d
RB
387 }
388
389 return initial;
390}
391
392
b9393656
DN
393/* Write a physical representation of tree node EXPR to output block
394 OB. If REF_P is true, the leaves of EXPR are emitted as references
395 via lto_output_tree_ref. IX is the index into the streamer cache
396 where EXPR is stored. */
397
398static void
ee03e71d 399lto_write_tree_1 (struct output_block *ob, tree expr, bool ref_p)
b9393656 400{
b9393656
DN
401 /* Pack all the non-pointer fields in EXPR into a bitpack and write
402 the resulting bitpack. */
b6bf201e 403 streamer_write_tree_bitfields (ob, expr);
b9393656
DN
404
405 /* Write all the pointer fields in EXPR. */
412288f1 406 streamer_write_tree_body (ob, expr, ref_p);
b9393656
DN
407
408 /* Write any LTO-specific data to OB. */
409 if (DECL_P (expr)
410 && TREE_CODE (expr) != FUNCTION_DECL
411 && TREE_CODE (expr) != TRANSLATION_UNIT_DECL)
412 {
413 /* Handle DECL_INITIAL for symbols. */
0b83e688
JH
414 tree initial = get_symbol_initial_value
415 (ob->decl_state->symtab_node_encoder, expr);
b9393656
DN
416 stream_write_tree (ob, initial, ref_p);
417 }
1ea85365
RB
418
419 /* Stream references to early generated DIEs. Keep in sync with the
420 trees handled in dwarf2out_die_ref_for_decl. */
421 if ((DECL_P (expr)
422 && TREE_CODE (expr) != FIELD_DECL
423 && TREE_CODE (expr) != DEBUG_EXPR_DECL
424 && TREE_CODE (expr) != TYPE_DECL)
425 || TREE_CODE (expr) == BLOCK)
426 {
427 const char *sym;
428 unsigned HOST_WIDE_INT off;
429 if (debug_info_level > DINFO_LEVEL_NONE
430 && debug_hooks->die_ref_for_decl (expr, &sym, &off))
431 {
432 streamer_write_string (ob, ob->main_stream, sym, true);
433 streamer_write_uhwi (ob, off);
434 }
435 else
436 streamer_write_string (ob, ob->main_stream, NULL, true);
437 }
ee03e71d
RB
438}
439
440/* Write a physical representation of tree node EXPR to output block
441 OB. If REF_P is true, the leaves of EXPR are emitted as references
442 via lto_output_tree_ref. IX is the index into the streamer cache
443 where EXPR is stored. */
444
445static void
446lto_write_tree (struct output_block *ob, tree expr, bool ref_p)
447{
448 if (!lto_is_streamable (expr))
449 internal_error ("tree code %qs is not supported in LTO streams",
5806f481 450 get_tree_code_name (TREE_CODE (expr)));
ee03e71d
RB
451
452 /* Write the header, containing everything needed to materialize
453 EXPR on the reading side. */
454 streamer_write_tree_header (ob, expr);
455
456 lto_write_tree_1 (ob, expr, ref_p);
b9393656
DN
457
458 /* Mark the end of EXPR. */
412288f1 459 streamer_write_zero (ob);
b9393656
DN
460}
461
cec34ee5
EB
462/* Emit the physical representation of tree node EXPR to output block OB,
463 If THIS_REF_P is true, the leaves of EXPR are emitted as references via
464 lto_output_tree_ref. REF_P is used for streaming siblings of EXPR. */
ee03e71d
RB
465
466static void
467lto_output_tree_1 (struct output_block *ob, tree expr, hashval_t hash,
468 bool ref_p, bool this_ref_p)
469{
470 unsigned ix;
471
472 gcc_checking_assert (expr != NULL_TREE
473 && !(this_ref_p && tree_is_indexable (expr)));
474
475 bool exists_p = streamer_tree_cache_insert (ob->writer_cache,
476 expr, hash, &ix);
477 gcc_assert (!exists_p);
ea6e17d5
RB
478 if (TREE_CODE (expr) == INTEGER_CST
479 && !TREE_OVERFLOW (expr))
ee03e71d
RB
480 {
481 /* Shared INTEGER_CST nodes are special because they need their
482 original type to be materialized by the reader (to implement
483 TYPE_CACHED_VALUES). */
484 streamer_write_integer_cst (ob, expr, ref_p);
485 }
486 else
487 {
488 /* This is the first time we see EXPR, write its fields
489 to OB. */
490 lto_write_tree (ob, expr, ref_p);
491 }
492}
493
a4b0388b 494class DFS
ee03e71d 495{
a4b0388b
JH
496public:
497 DFS (struct output_block *ob, tree expr, bool ref_p, bool this_ref_p,
498 bool single_p);
499 ~DFS ();
500
501 struct scc_entry
502 {
503 tree t;
504 hashval_t hash;
505 };
506 vec<scc_entry> sccstack;
507
508private:
509 struct sccs
510 {
511 unsigned int dfsnum;
512 unsigned int low;
513 };
bbf043c2
JJ
514 struct worklist
515 {
516 tree expr;
517 sccs *from_state;
518 sccs *cstate;
519 bool ref_p;
520 bool this_ref_p;
521 };
a4b0388b
JH
522
523 static int scc_entry_compare (const void *, const void *);
524
525 void DFS_write_tree_body (struct output_block *ob,
bbf043c2 526 tree expr, sccs *expr_state, bool ref_p);
a4b0388b
JH
527
528 void DFS_write_tree (struct output_block *ob, sccs *from_state,
bbf043c2
JJ
529 tree expr, bool ref_p, bool this_ref_p);
530
a4b0388b 531 hashval_t
cec34ee5
EB
532 hash_scc (struct output_block *ob, unsigned first, unsigned size,
533 bool ref_p, bool this_ref_p);
a4b0388b 534
39c8aaa4 535 hash_map<tree, sccs *> sccstate;
bbf043c2 536 vec<worklist> worklist_vec;
a4b0388b 537 struct obstack sccstate_obstack;
ee03e71d
RB
538};
539
cec34ee5
EB
540/* Emit the physical representation of tree node EXPR to output block OB,
541 using depth-first search on the subgraph. If THIS_REF_P is true, the
542 leaves of EXPR are emitted as references via lto_output_tree_ref.
543 REF_P is used for streaming siblings of EXPR. If SINGLE_P is true,
544 this is for a rewalk of a single leaf SCC. */
545
a4b0388b
JH
546DFS::DFS (struct output_block *ob, tree expr, bool ref_p, bool this_ref_p,
547 bool single_p)
ee03e71d 548{
bbf043c2 549 unsigned int next_dfs_num = 1;
a4b0388b 550 sccstack.create (0);
a4b0388b 551 gcc_obstack_init (&sccstate_obstack);
bbf043c2
JJ
552 worklist_vec = vNULL;
553 DFS_write_tree (ob, NULL, expr, ref_p, this_ref_p);
554 while (!worklist_vec.is_empty ())
555 {
556 worklist &w = worklist_vec.last ();
557 expr = w.expr;
558 sccs *from_state = w.from_state;
559 sccs *cstate = w.cstate;
560 ref_p = w.ref_p;
561 this_ref_p = w.this_ref_p;
562 if (cstate == NULL)
563 {
564 sccs **slot = &sccstate.get_or_insert (expr);
565 cstate = *slot;
566 if (cstate)
567 {
568 gcc_checking_assert (from_state);
569 if (cstate->dfsnum < from_state->dfsnum)
570 from_state->low = MIN (cstate->dfsnum, from_state->low);
571 worklist_vec.pop ();
572 continue;
573 }
574
575 scc_entry e = { expr, 0 };
576 /* Not yet visited. DFS recurse and push it onto the stack. */
577 *slot = cstate = XOBNEW (&sccstate_obstack, struct sccs);
578 sccstack.safe_push (e);
579 cstate->dfsnum = next_dfs_num++;
580 cstate->low = cstate->dfsnum;
581 w.cstate = cstate;
582
ea6e17d5
RB
583 if (TREE_CODE (expr) == INTEGER_CST
584 && !TREE_OVERFLOW (expr))
bbf043c2
JJ
585 DFS_write_tree (ob, cstate, TREE_TYPE (expr), ref_p, ref_p);
586 else
587 {
588 DFS_write_tree_body (ob, expr, cstate, ref_p);
589
590 /* Walk any LTO-specific edges. */
591 if (DECL_P (expr)
592 && TREE_CODE (expr) != FUNCTION_DECL
593 && TREE_CODE (expr) != TRANSLATION_UNIT_DECL)
594 {
595 /* Handle DECL_INITIAL for symbols. */
596 tree initial
597 = get_symbol_initial_value (ob->decl_state->symtab_node_encoder,
598 expr);
599 DFS_write_tree (ob, cstate, initial, ref_p, ref_p);
600 }
601 }
602 continue;
603 }
604
605 /* See if we found an SCC. */
606 if (cstate->low == cstate->dfsnum)
607 {
608 unsigned first, size;
609 tree x;
610
cec34ee5 611 /* If we are re-walking a single leaf SCC just pop it,
bbf043c2
JJ
612 let earlier worklist item access the sccstack. */
613 if (single_p)
614 {
615 worklist_vec.pop ();
616 continue;
617 }
618
619 /* Pop the SCC and compute its size. */
620 first = sccstack.length ();
621 do
622 {
623 x = sccstack[--first].t;
624 }
625 while (x != expr);
626 size = sccstack.length () - first;
627
628 /* No need to compute hashes for LTRANS units, we don't perform
629 any merging there. */
630 hashval_t scc_hash = 0;
631 unsigned scc_entry_len = 0;
632 if (!flag_wpa)
633 {
cec34ee5 634 scc_hash = hash_scc (ob, first, size, ref_p, this_ref_p);
bbf043c2
JJ
635
636 /* Put the entries with the least number of collisions first. */
637 unsigned entry_start = 0;
638 scc_entry_len = size + 1;
639 for (unsigned i = 0; i < size;)
640 {
641 unsigned from = i;
642 for (i = i + 1; i < size
643 && (sccstack[first + i].hash
644 == sccstack[first + from].hash); ++i)
645 ;
646 if (i - from < scc_entry_len)
647 {
648 scc_entry_len = i - from;
649 entry_start = from;
650 }
651 }
652 for (unsigned i = 0; i < scc_entry_len; ++i)
6b4db501
MM
653 std::swap (sccstack[first + i],
654 sccstack[first + entry_start + i]);
bbf043c2 655
b2b29377
MM
656 /* We already sorted SCC deterministically in hash_scc. */
657
658 /* Check that we have only one SCC.
659 Naturally we may have conflicts if hash function is not
660 strong enough. Lets see how far this gets. */
661 gcc_checking_assert (scc_entry_len == 1);
bbf043c2
JJ
662 }
663
664 /* Write LTO_tree_scc. */
665 streamer_write_record_start (ob, LTO_tree_scc);
666 streamer_write_uhwi (ob, size);
667 streamer_write_uhwi (ob, scc_hash);
668
669 /* Write size-1 SCCs without wrapping them inside SCC bundles.
670 All INTEGER_CSTs need to be handled this way as we need
671 their type to materialize them. Also builtins are handled
672 this way.
673 ??? We still wrap these in LTO_tree_scc so at the
674 input side we can properly identify the tree we want
675 to ultimatively return. */
676 if (size == 1)
677 lto_output_tree_1 (ob, expr, scc_hash, ref_p, this_ref_p);
678 else
679 {
680 /* Write the size of the SCC entry candidates. */
681 streamer_write_uhwi (ob, scc_entry_len);
682
683 /* Write all headers and populate the streamer cache. */
684 for (unsigned i = 0; i < size; ++i)
685 {
686 hashval_t hash = sccstack[first+i].hash;
687 tree t = sccstack[first+i].t;
688 bool exists_p = streamer_tree_cache_insert (ob->writer_cache,
689 t, hash, NULL);
690 gcc_assert (!exists_p);
691
692 if (!lto_is_streamable (t))
693 internal_error ("tree code %qs is not supported "
694 "in LTO streams",
695 get_tree_code_name (TREE_CODE (t)));
696
bbf043c2
JJ
697 /* Write the header, containing everything needed to
698 materialize EXPR on the reading side. */
699 streamer_write_tree_header (ob, t);
700 }
701
702 /* Write the bitpacks and tree references. */
703 for (unsigned i = 0; i < size; ++i)
704 {
705 lto_write_tree_1 (ob, sccstack[first+i].t, ref_p);
706
707 /* Mark the end of the tree. */
708 streamer_write_zero (ob);
709 }
710 }
711
712 /* Finally truncate the vector. */
713 sccstack.truncate (first);
714
715 if (from_state)
716 from_state->low = MIN (from_state->low, cstate->low);
717 worklist_vec.pop ();
718 continue;
719 }
720
721 gcc_checking_assert (from_state);
722 from_state->low = MIN (from_state->low, cstate->low);
723 if (cstate->dfsnum < from_state->dfsnum)
724 from_state->low = MIN (cstate->dfsnum, from_state->low);
725 worklist_vec.pop ();
726 }
727 worklist_vec.release ();
a4b0388b 728}
ee03e71d 729
a4b0388b
JH
730DFS::~DFS ()
731{
732 sccstack.release ();
a4b0388b
JH
733 obstack_free (&sccstate_obstack, NULL);
734}
ee03e71d
RB
735
736/* Handle the tree EXPR in the DFS walk with SCC state EXPR_STATE and
737 DFS recurse for all tree edges originating from it. */
738
a4b0388b
JH
739void
740DFS::DFS_write_tree_body (struct output_block *ob,
bbf043c2 741 tree expr, sccs *expr_state, bool ref_p)
ee03e71d
RB
742{
743#define DFS_follow_tree_edge(DEST) \
bbf043c2 744 DFS_write_tree (ob, expr_state, DEST, ref_p, ref_p)
ee03e71d
RB
745
746 enum tree_code code;
747
b4da704c
JH
748 if (streamer_dump_file)
749 {
750 print_node_brief (streamer_dump_file, " Streaming ",
751 expr, 4);
752 fprintf (streamer_dump_file, " to %s\n",
753 lto_section_name [ob->section_type]);
754 }
755
ee03e71d
RB
756 code = TREE_CODE (expr);
757
758 if (CODE_CONTAINS_STRUCT (code, TS_TYPED))
759 {
760 if (TREE_CODE (expr) != IDENTIFIER_NODE)
761 DFS_follow_tree_edge (TREE_TYPE (expr));
762 }
763
764 if (CODE_CONTAINS_STRUCT (code, TS_VECTOR))
765 {
734914b6
RS
766 unsigned int count = vector_cst_encoded_nelts (expr);
767 for (unsigned int i = 0; i < count; ++i)
768 DFS_follow_tree_edge (VECTOR_CST_ENCODED_ELT (expr, i));
ee03e71d
RB
769 }
770
36fd6408
RS
771 if (CODE_CONTAINS_STRUCT (code, TS_POLY_INT_CST))
772 for (unsigned int i = 0; i < NUM_POLY_INT_COEFFS; ++i)
773 DFS_follow_tree_edge (POLY_INT_CST_COEFF (expr, i));
774
ee03e71d
RB
775 if (CODE_CONTAINS_STRUCT (code, TS_COMPLEX))
776 {
777 DFS_follow_tree_edge (TREE_REALPART (expr));
778 DFS_follow_tree_edge (TREE_IMAGPART (expr));
779 }
780
781 if (CODE_CONTAINS_STRUCT (code, TS_DECL_MINIMAL))
782 {
783 /* Drop names that were created for anonymous entities. */
784 if (DECL_NAME (expr)
785 && TREE_CODE (DECL_NAME (expr)) == IDENTIFIER_NODE
ee47f74e 786 && anon_aggrname_p (DECL_NAME (expr)))
ee03e71d
RB
787 ;
788 else
789 DFS_follow_tree_edge (DECL_NAME (expr));
1ea85365
RB
790 if (TREE_CODE (expr) != TRANSLATION_UNIT_DECL
791 && ! DECL_CONTEXT (expr))
792 DFS_follow_tree_edge ((*all_translation_units)[0]);
793 else
794 DFS_follow_tree_edge (DECL_CONTEXT (expr));
ee03e71d
RB
795 }
796
797 if (CODE_CONTAINS_STRUCT (code, TS_DECL_COMMON))
798 {
799 DFS_follow_tree_edge (DECL_SIZE (expr));
800 DFS_follow_tree_edge (DECL_SIZE_UNIT (expr));
801
802 /* Note, DECL_INITIAL is not handled here. Since DECL_INITIAL needs
803 special handling in LTO, it must be handled by streamer hooks. */
804
805 DFS_follow_tree_edge (DECL_ATTRIBUTES (expr));
806
f5fe239e 807 /* We use DECL_ABSTRACT_ORIGIN == error_mark_node to mark
6b9ac179
JH
808 declarations which should be eliminated by decl merging. Be sure none
809 leaks to this point. */
810 gcc_assert (DECL_ABSTRACT_ORIGIN (expr) != error_mark_node);
1ea85365 811 DFS_follow_tree_edge (DECL_ABSTRACT_ORIGIN (expr));
ee03e71d 812
8813a647 813 if ((VAR_P (expr)
ee03e71d
RB
814 || TREE_CODE (expr) == PARM_DECL)
815 && DECL_HAS_VALUE_EXPR_P (expr))
816 DFS_follow_tree_edge (DECL_VALUE_EXPR (expr));
c1a7ca7c
RB
817 if (VAR_P (expr)
818 && DECL_HAS_DEBUG_EXPR_P (expr))
ee03e71d
RB
819 DFS_follow_tree_edge (DECL_DEBUG_EXPR (expr));
820 }
821
ee03e71d
RB
822 if (CODE_CONTAINS_STRUCT (code, TS_DECL_WITH_VIS))
823 {
824 /* Make sure we don't inadvertently set the assembler name. */
825 if (DECL_ASSEMBLER_NAME_SET_P (expr))
826 DFS_follow_tree_edge (DECL_ASSEMBLER_NAME (expr));
ee03e71d
RB
827 }
828
829 if (CODE_CONTAINS_STRUCT (code, TS_FIELD_DECL))
830 {
831 DFS_follow_tree_edge (DECL_FIELD_OFFSET (expr));
832 DFS_follow_tree_edge (DECL_BIT_FIELD_TYPE (expr));
833 DFS_follow_tree_edge (DECL_BIT_FIELD_REPRESENTATIVE (expr));
834 DFS_follow_tree_edge (DECL_FIELD_BIT_OFFSET (expr));
d5cbbf87 835 gcc_checking_assert (!DECL_FCONTEXT (expr));
ee03e71d
RB
836 }
837
838 if (CODE_CONTAINS_STRUCT (code, TS_FUNCTION_DECL))
839 {
28428506 840 gcc_checking_assert (DECL_VINDEX (expr) == NULL);
ee03e71d 841 DFS_follow_tree_edge (DECL_FUNCTION_PERSONALITY (expr));
325fe981 842 DFS_follow_tree_edge (DECL_FUNCTION_SPECIFIC_TARGET (expr));
ee03e71d
RB
843 DFS_follow_tree_edge (DECL_FUNCTION_SPECIFIC_OPTIMIZATION (expr));
844 }
845
846 if (CODE_CONTAINS_STRUCT (code, TS_TYPE_COMMON))
847 {
848 DFS_follow_tree_edge (TYPE_SIZE (expr));
849 DFS_follow_tree_edge (TYPE_SIZE_UNIT (expr));
850 DFS_follow_tree_edge (TYPE_ATTRIBUTES (expr));
851 DFS_follow_tree_edge (TYPE_NAME (expr));
852 /* Do not follow TYPE_POINTER_TO or TYPE_REFERENCE_TO. They will be
853 reconstructed during fixup. */
854 /* Do not follow TYPE_NEXT_VARIANT, we reconstruct the variant lists
855 during fixup. */
856 DFS_follow_tree_edge (TYPE_MAIN_VARIANT (expr));
857 DFS_follow_tree_edge (TYPE_CONTEXT (expr));
858 /* TYPE_CANONICAL is re-computed during type merging, so no need
859 to follow it here. */
2ebbdb6c
JH
860 /* Do not stream TYPE_STUB_DECL; it is not needed by LTO but currently
861 it can not be freed by free_lang_data without triggering ICEs in
862 langhooks. */
ee03e71d
RB
863 }
864
865 if (CODE_CONTAINS_STRUCT (code, TS_TYPE_NON_COMMON))
866 {
867 if (TREE_CODE (expr) == ENUMERAL_TYPE)
868 DFS_follow_tree_edge (TYPE_VALUES (expr));
869 else if (TREE_CODE (expr) == ARRAY_TYPE)
870 DFS_follow_tree_edge (TYPE_DOMAIN (expr));
871 else if (RECORD_OR_UNION_TYPE_P (expr))
872 for (tree t = TYPE_FIELDS (expr); t; t = TREE_CHAIN (t))
873 DFS_follow_tree_edge (t);
874 else if (TREE_CODE (expr) == FUNCTION_TYPE
875 || TREE_CODE (expr) == METHOD_TYPE)
876 DFS_follow_tree_edge (TYPE_ARG_TYPES (expr));
877
878 if (!POINTER_TYPE_P (expr))
20deef65
NS
879 DFS_follow_tree_edge (TYPE_MIN_VALUE_RAW (expr));
880 DFS_follow_tree_edge (TYPE_MAX_VALUE_RAW (expr));
ee03e71d
RB
881 }
882
883 if (CODE_CONTAINS_STRUCT (code, TS_LIST))
884 {
885 DFS_follow_tree_edge (TREE_PURPOSE (expr));
886 DFS_follow_tree_edge (TREE_VALUE (expr));
887 DFS_follow_tree_edge (TREE_CHAIN (expr));
888 }
889
890 if (CODE_CONTAINS_STRUCT (code, TS_VEC))
891 {
892 for (int i = 0; i < TREE_VEC_LENGTH (expr); i++)
893 DFS_follow_tree_edge (TREE_VEC_ELT (expr, i));
894 }
895
896 if (CODE_CONTAINS_STRUCT (code, TS_EXP))
897 {
898 for (int i = 0; i < TREE_OPERAND_LENGTH (expr); i++)
899 DFS_follow_tree_edge (TREE_OPERAND (expr, i));
900 DFS_follow_tree_edge (TREE_BLOCK (expr));
901 }
902
903 if (CODE_CONTAINS_STRUCT (code, TS_BLOCK))
904 {
905 for (tree t = BLOCK_VARS (expr); t; t = TREE_CHAIN (t))
69e02b35
JH
906 {
907 /* We would have to stream externals in the block chain as
908 non-references but we should have dropped them in
909 free-lang-data. */
910 gcc_assert (!VAR_OR_FUNCTION_DECL_P (t) || !DECL_EXTERNAL (t));
ee03e71d 911 DFS_follow_tree_edge (t);
69e02b35 912 }
ee03e71d
RB
913
914 DFS_follow_tree_edge (BLOCK_SUPERCONTEXT (expr));
f5fe239e 915 DFS_follow_tree_edge (BLOCK_ABSTRACT_ORIGIN (expr));
ee03e71d 916
ee03e71d
RB
917 /* Do not follow BLOCK_NONLOCALIZED_VARS. We cannot handle debug
918 information for early inlined BLOCKs so drop it on the floor instead
919 of ICEing in dwarf2out.c. */
920
921 /* BLOCK_FRAGMENT_ORIGIN and BLOCK_FRAGMENT_CHAIN is not live at LTO
922 streaming time. */
923
924 /* Do not output BLOCK_SUBBLOCKS. Instead on streaming-in this
925 list is re-constructed from BLOCK_SUPERCONTEXT. */
926 }
927
928 if (CODE_CONTAINS_STRUCT (code, TS_BINFO))
929 {
930 unsigned i;
931 tree t;
932
933 /* Note that the number of BINFO slots has already been emitted in
934 EXPR's header (see streamer_write_tree_header) because this length
935 is needed to build the empty BINFO node on the reader side. */
936 FOR_EACH_VEC_ELT (*BINFO_BASE_BINFOS (expr), i, t)
937 DFS_follow_tree_edge (t);
938 DFS_follow_tree_edge (BINFO_OFFSET (expr));
939 DFS_follow_tree_edge (BINFO_VTABLE (expr));
ee03e71d 940
0c172706
JH
941 /* Do not walk BINFO_INHERITANCE_CHAIN, BINFO_SUBVTT_INDEX,
942 BINFO_BASE_ACCESSES and BINFO_VPTR_INDEX; these are used
943 by C++ FE only. */
ee03e71d
RB
944 }
945
946 if (CODE_CONTAINS_STRUCT (code, TS_CONSTRUCTOR))
947 {
948 unsigned i;
949 tree index, value;
950
951 FOR_EACH_CONSTRUCTOR_ELT (CONSTRUCTOR_ELTS (expr), i, index, value)
952 {
953 DFS_follow_tree_edge (index);
954 DFS_follow_tree_edge (value);
955 }
956 }
957
c193f58b
JJ
958 if (code == OMP_CLAUSE)
959 {
960 int i;
961 for (i = 0; i < omp_clause_num_ops[OMP_CLAUSE_CODE (expr)]; i++)
962 DFS_follow_tree_edge (OMP_CLAUSE_OPERAND (expr, i));
963 DFS_follow_tree_edge (OMP_CLAUSE_CHAIN (expr));
964 }
965
ee03e71d
RB
966#undef DFS_follow_tree_edge
967}
968
a4b0388b
JH
969/* Return a hash value for the tree T.
970 CACHE holds hash values of trees outside current SCC. MAP, if non-NULL,
971 may hold hash values if trees inside current SCC. */
ee03e71d
RB
972
973static hashval_t
a4b0388b 974hash_tree (struct streamer_tree_cache_d *cache, hash_map<tree, hashval_t> *map, tree t)
ee03e71d 975{
50de5793 976 inchash::hash hstate;
e8326772 977
ee03e71d
RB
978#define visit(SIBLING) \
979 do { \
980 unsigned ix; \
a4b0388b
JH
981 if (!SIBLING) \
982 hstate.add_int (0); \
983 else if (streamer_tree_cache_lookup (cache, SIBLING, &ix)) \
e8326772 984 hstate.add_int (streamer_tree_cache_get_hash (cache, ix)); \
a4b0388b
JH
985 else if (map) \
986 hstate.add_int (*map->get (SIBLING)); \
987 else \
988 hstate.add_int (1); \
ee03e71d
RB
989 } while (0)
990
991 /* Hash TS_BASE. */
992 enum tree_code code = TREE_CODE (t);
e8326772 993 hstate.add_int (code);
ee03e71d
RB
994 if (!TYPE_P (t))
995 {
e8326772
AK
996 hstate.add_flag (TREE_SIDE_EFFECTS (t));
997 hstate.add_flag (TREE_CONSTANT (t));
998 hstate.add_flag (TREE_READONLY (t));
999 hstate.add_flag (TREE_PUBLIC (t));
ee03e71d 1000 }
e8326772
AK
1001 hstate.add_flag (TREE_ADDRESSABLE (t));
1002 hstate.add_flag (TREE_THIS_VOLATILE (t));
ee03e71d 1003 if (DECL_P (t))
e8326772 1004 hstate.add_flag (DECL_UNSIGNED (t));
ee03e71d 1005 else if (TYPE_P (t))
e8326772 1006 hstate.add_flag (TYPE_UNSIGNED (t));
ee03e71d 1007 if (TYPE_P (t))
e8326772 1008 hstate.add_flag (TYPE_ARTIFICIAL (t));
ee03e71d 1009 else
e8326772
AK
1010 hstate.add_flag (TREE_NO_WARNING (t));
1011 hstate.add_flag (TREE_NOTHROW (t));
1012 hstate.add_flag (TREE_STATIC (t));
1013 hstate.add_flag (TREE_PROTECTED (t));
1014 hstate.add_flag (TREE_DEPRECATED (t));
ee03e71d 1015 if (code != TREE_BINFO)
e8326772 1016 hstate.add_flag (TREE_PRIVATE (t));
ee03e71d 1017 if (TYPE_P (t))
e8326772 1018 {
ee45a32d
EB
1019 hstate.add_flag (AGGREGATE_TYPE_P (t)
1020 ? TYPE_REVERSE_STORAGE_ORDER (t) : TYPE_SATURATING (t));
e8326772
AK
1021 hstate.add_flag (TYPE_ADDR_SPACE (t));
1022 }
ee03e71d 1023 else if (code == SSA_NAME)
e8326772
AK
1024 hstate.add_flag (SSA_NAME_IS_DEFAULT_DEF (t));
1025 hstate.commit_flag ();
ee03e71d
RB
1026
1027 if (CODE_CONTAINS_STRUCT (code, TS_INT_CST))
cae115d6 1028 hstate.add_wide_int (wi::to_widest (t));
ee03e71d
RB
1029
1030 if (CODE_CONTAINS_STRUCT (code, TS_REAL_CST))
1031 {
1032 REAL_VALUE_TYPE r = TREE_REAL_CST (t);
e8326772
AK
1033 hstate.add_flag (r.cl);
1034 hstate.add_flag (r.sign);
1035 hstate.add_flag (r.signalling);
1036 hstate.add_flag (r.canonical);
1037 hstate.commit_flag ();
1038 hstate.add_int (r.uexp);
1039 hstate.add (r.sig, sizeof (r.sig));
ee03e71d
RB
1040 }
1041
1042 if (CODE_CONTAINS_STRUCT (code, TS_FIXED_CST))
1043 {
1044 FIXED_VALUE_TYPE f = TREE_FIXED_CST (t);
e8326772
AK
1045 hstate.add_int (f.mode);
1046 hstate.add_int (f.data.low);
1047 hstate.add_int (f.data.high);
ee03e71d
RB
1048 }
1049
1050 if (CODE_CONTAINS_STRUCT (code, TS_DECL_COMMON))
1051 {
449e9a33 1052 hstate.add_hwi (DECL_MODE (t));
e8326772
AK
1053 hstate.add_flag (DECL_NONLOCAL (t));
1054 hstate.add_flag (DECL_VIRTUAL_P (t));
1055 hstate.add_flag (DECL_IGNORED_P (t));
00de328a 1056 hstate.add_flag (DECL_ABSTRACT_P (t));
e8326772
AK
1057 hstate.add_flag (DECL_ARTIFICIAL (t));
1058 hstate.add_flag (DECL_USER_ALIGN (t));
1059 hstate.add_flag (DECL_PRESERVE_P (t));
1060 hstate.add_flag (DECL_EXTERNAL (t));
1061 hstate.add_flag (DECL_GIMPLE_REG_P (t));
1062 hstate.commit_flag ();
1063 hstate.add_int (DECL_ALIGN (t));
ee03e71d
RB
1064 if (code == LABEL_DECL)
1065 {
e8326772
AK
1066 hstate.add_int (EH_LANDING_PAD_NR (t));
1067 hstate.add_int (LABEL_DECL_UID (t));
ee03e71d
RB
1068 }
1069 else if (code == FIELD_DECL)
1070 {
e8326772
AK
1071 hstate.add_flag (DECL_PACKED (t));
1072 hstate.add_flag (DECL_NONADDRESSABLE_P (t));
974aedcc 1073 hstate.add_flag (DECL_PADDING_P (t));
e8326772 1074 hstate.add_int (DECL_OFFSET_ALIGN (t));
ee03e71d
RB
1075 }
1076 else if (code == VAR_DECL)
1077 {
e8326772
AK
1078 hstate.add_flag (DECL_HAS_DEBUG_EXPR_P (t));
1079 hstate.add_flag (DECL_NONLOCAL_FRAME (t));
ee03e71d
RB
1080 }
1081 if (code == RESULT_DECL
1082 || code == PARM_DECL
1083 || code == VAR_DECL)
1084 {
e8326772 1085 hstate.add_flag (DECL_BY_REFERENCE (t));
ee03e71d
RB
1086 if (code == VAR_DECL
1087 || code == PARM_DECL)
e8326772 1088 hstate.add_flag (DECL_HAS_VALUE_EXPR_P (t));
ee03e71d 1089 }
e8326772 1090 hstate.commit_flag ();
ee03e71d
RB
1091 }
1092
1093 if (CODE_CONTAINS_STRUCT (code, TS_DECL_WRTL))
e8326772 1094 hstate.add_int (DECL_REGISTER (t));
ee03e71d
RB
1095
1096 if (CODE_CONTAINS_STRUCT (code, TS_DECL_WITH_VIS))
1097 {
e8326772
AK
1098 hstate.add_flag (DECL_COMMON (t));
1099 hstate.add_flag (DECL_DLLIMPORT_P (t));
1100 hstate.add_flag (DECL_WEAK (t));
1101 hstate.add_flag (DECL_SEEN_IN_BIND_EXPR_P (t));
1102 hstate.add_flag (DECL_COMDAT (t));
1103 hstate.add_flag (DECL_VISIBILITY_SPECIFIED (t));
1104 hstate.add_int (DECL_VISIBILITY (t));
ee03e71d
RB
1105 if (code == VAR_DECL)
1106 {
c01c111b 1107 /* DECL_IN_TEXT_SECTION is set during final asm output only. */
e8326772
AK
1108 hstate.add_flag (DECL_HARD_REGISTER (t));
1109 hstate.add_flag (DECL_IN_CONSTANT_POOL (t));
ee03e71d 1110 }
0170f33c 1111 if (TREE_CODE (t) == FUNCTION_DECL)
e8326772
AK
1112 {
1113 hstate.add_flag (DECL_FINAL_P (t));
1114 hstate.add_flag (DECL_CXX_CONSTRUCTOR_P (t));
1115 hstate.add_flag (DECL_CXX_DESTRUCTOR_P (t));
1116 }
1117 hstate.commit_flag ();
ee03e71d
RB
1118 }
1119
1120 if (CODE_CONTAINS_STRUCT (code, TS_FUNCTION_DECL))
1121 {
e8326772
AK
1122 hstate.add_int (DECL_BUILT_IN_CLASS (t));
1123 hstate.add_flag (DECL_STATIC_CONSTRUCTOR (t));
1124 hstate.add_flag (DECL_STATIC_DESTRUCTOR (t));
1125 hstate.add_flag (DECL_UNINLINABLE (t));
1126 hstate.add_flag (DECL_POSSIBLY_INLINED (t));
1127 hstate.add_flag (DECL_IS_NOVOPS (t));
1128 hstate.add_flag (DECL_IS_RETURNS_TWICE (t));
1129 hstate.add_flag (DECL_IS_MALLOC (t));
1130 hstate.add_flag (DECL_IS_OPERATOR_NEW (t));
1131 hstate.add_flag (DECL_DECLARED_INLINE_P (t));
1132 hstate.add_flag (DECL_STATIC_CHAIN (t));
1133 hstate.add_flag (DECL_NO_INLINE_WARNING_P (t));
1134 hstate.add_flag (DECL_NO_INSTRUMENT_FUNCTION_ENTRY_EXIT (t));
1135 hstate.add_flag (DECL_NO_LIMIT_STACK (t));
1136 hstate.add_flag (DECL_DISREGARD_INLINE_LIMITS (t));
1137 hstate.add_flag (DECL_PURE_P (t));
1138 hstate.add_flag (DECL_LOOPING_CONST_OR_PURE_P (t));
1139 hstate.commit_flag ();
ee03e71d 1140 if (DECL_BUILT_IN_CLASS (t) != NOT_BUILT_IN)
e8326772 1141 hstate.add_int (DECL_FUNCTION_CODE (t));
ee03e71d
RB
1142 }
1143
1144 if (CODE_CONTAINS_STRUCT (code, TS_TYPE_COMMON))
1145 {
449e9a33 1146 hstate.add_hwi (TYPE_MODE (t));
e8326772 1147 hstate.add_flag (TYPE_STRING_FLAG (t));
351d90f4
JH
1148 /* TYPE_NO_FORCE_BLK is private to stor-layout and need
1149 no streaming. */
e8326772
AK
1150 hstate.add_flag (TYPE_NEEDS_CONSTRUCTING (t));
1151 hstate.add_flag (TYPE_PACKED (t));
1152 hstate.add_flag (TYPE_RESTRICT (t));
1153 hstate.add_flag (TYPE_USER_ALIGN (t));
1154 hstate.add_flag (TYPE_READONLY (t));
ee03e71d 1155 if (RECORD_OR_UNION_TYPE_P (t))
0170f33c 1156 {
e8326772
AK
1157 hstate.add_flag (TYPE_TRANSPARENT_AGGR (t));
1158 hstate.add_flag (TYPE_FINAL_P (t));
0170f33c 1159 }
ee03e71d 1160 else if (code == ARRAY_TYPE)
e8326772 1161 hstate.add_flag (TYPE_NONALIASED_COMPONENT (t));
350792ff
RB
1162 if (AGGREGATE_TYPE_P (t))
1163 hstate.add_flag (TYPE_TYPELESS_STORAGE (t));
e8326772
AK
1164 hstate.commit_flag ();
1165 hstate.add_int (TYPE_PRECISION (t));
1166 hstate.add_int (TYPE_ALIGN (t));
974aedcc 1167 hstate.add_int (TYPE_EMPTY_P (t));
ee03e71d
RB
1168 }
1169
1170 if (CODE_CONTAINS_STRUCT (code, TS_TRANSLATION_UNIT_DECL))
e8326772
AK
1171 hstate.add (TRANSLATION_UNIT_LANGUAGE (t),
1172 strlen (TRANSLATION_UNIT_LANGUAGE (t)));
ee03e71d 1173
1b34e6e2
BS
1174 if (CODE_CONTAINS_STRUCT (code, TS_TARGET_OPTION)
1175 /* We don't stream these when passing things to a different target. */
1176 && !lto_stream_offload_p)
449e9a33 1177 hstate.add_hwi (cl_target_option_hash (TREE_TARGET_OPTION (t)));
ee03e71d
RB
1178
1179 if (CODE_CONTAINS_STRUCT (code, TS_OPTIMIZATION))
449e9a33 1180 hstate.add_hwi (cl_optimization_hash (TREE_OPTIMIZATION (t)));
ee03e71d
RB
1181
1182 if (CODE_CONTAINS_STRUCT (code, TS_IDENTIFIER))
e8326772 1183 hstate.merge_hash (IDENTIFIER_HASH_VALUE (t));
ee03e71d
RB
1184
1185 if (CODE_CONTAINS_STRUCT (code, TS_STRING))
e8326772 1186 hstate.add (TREE_STRING_POINTER (t), TREE_STRING_LENGTH (t));
ee03e71d
RB
1187
1188 if (CODE_CONTAINS_STRUCT (code, TS_TYPED))
1189 {
a4b0388b 1190 if (code != IDENTIFIER_NODE)
ee03e71d
RB
1191 visit (TREE_TYPE (t));
1192 }
1193
1194 if (CODE_CONTAINS_STRUCT (code, TS_VECTOR))
734914b6
RS
1195 {
1196 unsigned int count = vector_cst_encoded_nelts (t);
1197 for (unsigned int i = 0; i < count; ++i)
1198 visit (VECTOR_CST_ENCODED_ELT (t, i));
1199 }
ee03e71d 1200
36fd6408
RS
1201 if (CODE_CONTAINS_STRUCT (code, TS_POLY_INT_CST))
1202 for (unsigned int i = 0; i < NUM_POLY_INT_COEFFS; ++i)
1203 visit (POLY_INT_CST_COEFF (t, i));
1204
ee03e71d
RB
1205 if (CODE_CONTAINS_STRUCT (code, TS_COMPLEX))
1206 {
1207 visit (TREE_REALPART (t));
1208 visit (TREE_IMAGPART (t));
1209 }
1210
1211 if (CODE_CONTAINS_STRUCT (code, TS_DECL_MINIMAL))
1212 {
1213 /* Drop names that were created for anonymous entities. */
1214 if (DECL_NAME (t)
1215 && TREE_CODE (DECL_NAME (t)) == IDENTIFIER_NODE
ee47f74e 1216 && anon_aggrname_p (DECL_NAME (t)))
ee03e71d
RB
1217 ;
1218 else
1219 visit (DECL_NAME (t));
1220 if (DECL_FILE_SCOPE_P (t))
1221 ;
1222 else
1223 visit (DECL_CONTEXT (t));
1224 }
1225
1226 if (CODE_CONTAINS_STRUCT (code, TS_DECL_COMMON))
1227 {
1228 visit (DECL_SIZE (t));
1229 visit (DECL_SIZE_UNIT (t));
1230 visit (DECL_ATTRIBUTES (t));
1231 if ((code == VAR_DECL
1232 || code == PARM_DECL)
1233 && DECL_HAS_VALUE_EXPR_P (t))
1234 visit (DECL_VALUE_EXPR (t));
1235 if (code == VAR_DECL
1236 && DECL_HAS_DEBUG_EXPR_P (t))
1237 visit (DECL_DEBUG_EXPR (t));
1238 /* ??? Hash DECL_INITIAL as streamed. Needs the output-block to
1239 be able to call get_symbol_initial_value. */
1240 }
1241
ee03e71d
RB
1242 if (CODE_CONTAINS_STRUCT (code, TS_DECL_WITH_VIS))
1243 {
1244 if (DECL_ASSEMBLER_NAME_SET_P (t))
1245 visit (DECL_ASSEMBLER_NAME (t));
ee03e71d
RB
1246 }
1247
1248 if (CODE_CONTAINS_STRUCT (code, TS_FIELD_DECL))
1249 {
1250 visit (DECL_FIELD_OFFSET (t));
1251 visit (DECL_BIT_FIELD_TYPE (t));
1252 visit (DECL_BIT_FIELD_REPRESENTATIVE (t));
1253 visit (DECL_FIELD_BIT_OFFSET (t));
ee03e71d
RB
1254 }
1255
1256 if (CODE_CONTAINS_STRUCT (code, TS_FUNCTION_DECL))
1257 {
1258 visit (DECL_FUNCTION_PERSONALITY (t));
325fe981 1259 visit (DECL_FUNCTION_SPECIFIC_TARGET (t));
ee03e71d
RB
1260 visit (DECL_FUNCTION_SPECIFIC_OPTIMIZATION (t));
1261 }
1262
1263 if (CODE_CONTAINS_STRUCT (code, TS_TYPE_COMMON))
1264 {
1265 visit (TYPE_SIZE (t));
1266 visit (TYPE_SIZE_UNIT (t));
1267 visit (TYPE_ATTRIBUTES (t));
1268 visit (TYPE_NAME (t));
1269 visit (TYPE_MAIN_VARIANT (t));
1270 if (TYPE_FILE_SCOPE_P (t))
1271 ;
1272 else
1273 visit (TYPE_CONTEXT (t));
ee03e71d
RB
1274 }
1275
1276 if (CODE_CONTAINS_STRUCT (code, TS_TYPE_NON_COMMON))
1277 {
1278 if (code == ENUMERAL_TYPE)
1279 visit (TYPE_VALUES (t));
1280 else if (code == ARRAY_TYPE)
1281 visit (TYPE_DOMAIN (t));
1282 else if (RECORD_OR_UNION_TYPE_P (t))
1283 for (tree f = TYPE_FIELDS (t); f; f = TREE_CHAIN (f))
1284 visit (f);
1285 else if (code == FUNCTION_TYPE
1286 || code == METHOD_TYPE)
1287 visit (TYPE_ARG_TYPES (t));
1288 if (!POINTER_TYPE_P (t))
20deef65
NS
1289 visit (TYPE_MIN_VALUE_RAW (t));
1290 visit (TYPE_MAX_VALUE_RAW (t));
ee03e71d
RB
1291 }
1292
1293 if (CODE_CONTAINS_STRUCT (code, TS_LIST))
1294 {
1295 visit (TREE_PURPOSE (t));
1296 visit (TREE_VALUE (t));
1297 visit (TREE_CHAIN (t));
1298 }
1299
1300 if (CODE_CONTAINS_STRUCT (code, TS_VEC))
1301 for (int i = 0; i < TREE_VEC_LENGTH (t); ++i)
1302 visit (TREE_VEC_ELT (t, i));
1303
1304 if (CODE_CONTAINS_STRUCT (code, TS_EXP))
1305 {
449e9a33 1306 hstate.add_hwi (TREE_OPERAND_LENGTH (t));
ee03e71d
RB
1307 for (int i = 0; i < TREE_OPERAND_LENGTH (t); ++i)
1308 visit (TREE_OPERAND (t, i));
1309 }
1310
1311 if (CODE_CONTAINS_STRUCT (code, TS_BINFO))
1312 {
1313 unsigned i;
1314 tree b;
1315 FOR_EACH_VEC_ELT (*BINFO_BASE_BINFOS (t), i, b)
1316 visit (b);
1317 visit (BINFO_OFFSET (t));
1318 visit (BINFO_VTABLE (t));
c01c111b 1319 /* Do not walk BINFO_INHERITANCE_CHAIN, BINFO_SUBVTT_INDEX
0c172706
JH
1320 BINFO_BASE_ACCESSES and BINFO_VPTR_INDEX; these are used
1321 by C++ FE only. */
ee03e71d
RB
1322 }
1323
1324 if (CODE_CONTAINS_STRUCT (code, TS_CONSTRUCTOR))
1325 {
1326 unsigned i;
1327 tree index, value;
449e9a33 1328 hstate.add_hwi (CONSTRUCTOR_NELTS (t));
ee03e71d
RB
1329 FOR_EACH_CONSTRUCTOR_ELT (CONSTRUCTOR_ELTS (t), i, index, value)
1330 {
1331 visit (index);
1332 visit (value);
1333 }
1334 }
1335
e06f9964
JJ
1336 if (code == OMP_CLAUSE)
1337 {
1338 int i;
e8326772 1339 HOST_WIDE_INT val;
e06f9964 1340
449e9a33 1341 hstate.add_hwi (OMP_CLAUSE_CODE (t));
e06f9964
JJ
1342 switch (OMP_CLAUSE_CODE (t))
1343 {
1344 case OMP_CLAUSE_DEFAULT:
e8326772 1345 val = OMP_CLAUSE_DEFAULT_KIND (t);
e06f9964
JJ
1346 break;
1347 case OMP_CLAUSE_SCHEDULE:
e8326772 1348 val = OMP_CLAUSE_SCHEDULE_KIND (t);
e06f9964
JJ
1349 break;
1350 case OMP_CLAUSE_DEPEND:
e8326772 1351 val = OMP_CLAUSE_DEPEND_KIND (t);
e06f9964
JJ
1352 break;
1353 case OMP_CLAUSE_MAP:
e8326772 1354 val = OMP_CLAUSE_MAP_KIND (t);
e06f9964
JJ
1355 break;
1356 case OMP_CLAUSE_PROC_BIND:
e8326772 1357 val = OMP_CLAUSE_PROC_BIND_KIND (t);
e06f9964
JJ
1358 break;
1359 case OMP_CLAUSE_REDUCTION:
e8326772 1360 val = OMP_CLAUSE_REDUCTION_CODE (t);
e06f9964
JJ
1361 break;
1362 default:
e8326772 1363 val = 0;
e06f9964
JJ
1364 break;
1365 }
449e9a33 1366 hstate.add_hwi (val);
e06f9964
JJ
1367 for (i = 0; i < omp_clause_num_ops[OMP_CLAUSE_CODE (t)]; i++)
1368 visit (OMP_CLAUSE_OPERAND (t, i));
1369 visit (OMP_CLAUSE_CHAIN (t));
1370 }
1371
e8326772 1372 return hstate.end ();
ee03e71d
RB
1373
1374#undef visit
1375}
1376
1377/* Compare two SCC entries by their hash value for qsorting them. */
1378
a4b0388b
JH
1379int
1380DFS::scc_entry_compare (const void *p1_, const void *p2_)
ee03e71d
RB
1381{
1382 const scc_entry *p1 = (const scc_entry *) p1_;
1383 const scc_entry *p2 = (const scc_entry *) p2_;
1384 if (p1->hash < p2->hash)
1385 return -1;
1386 else if (p1->hash > p2->hash)
1387 return 1;
1388 return 0;
1389}
1390
cec34ee5
EB
1391/* Return a hash value for the SCC on the SCC stack from FIRST with SIZE.
1392 THIS_REF_P and REF_P are as passed to lto_output_tree for FIRST. */
ee03e71d 1393
a4b0388b 1394hashval_t
cec34ee5
EB
1395DFS::hash_scc (struct output_block *ob, unsigned first, unsigned size,
1396 bool ref_p, bool this_ref_p)
ee03e71d 1397{
a4b0388b
JH
1398 unsigned int last_classes = 0, iterations = 0;
1399
ee03e71d
RB
1400 /* Compute hash values for the SCC members. */
1401 for (unsigned i = 0; i < size; ++i)
0cf094c0
EB
1402 sccstack[first+i].hash
1403 = hash_tree (ob->writer_cache, NULL, sccstack[first+i].t);
ee03e71d
RB
1404
1405 if (size == 1)
1406 return sccstack[first].hash;
1407
a4b0388b 1408 /* We aim to get unique hash for every tree within SCC and compute hash value
0cf094c0 1409 of the whole SCC by combining all values together in a stable (entry-point
a4b0388b
JH
1410 independent) order. This guarantees that the same SCC regions within
1411 different translation units will get the same hash values and therefore
1412 will be merged at WPA time.
1413
0cf094c0 1414 Often the hashes are already unique. In that case we compute the SCC hash
a4b0388b
JH
1415 by combining individual hash values in an increasing order.
1416
0cf094c0
EB
1417 If there are duplicates, we seek at least one tree with unique hash (and
1418 pick one with minimal hash and this property). Then we obtain a stable
1419 order by DFS walk starting from this unique tree and then use the index
a4b0388b
JH
1420 within this order to make individual hash values unique.
1421
1422 If there is no tree with unique hash, we iteratively propagate the hash
1423 values across the internal edges of SCC. This usually quickly leads
1424 to unique hashes. Consider, for example, an SCC containing two pointers
0cf094c0
EB
1425 that are identical except for the types they point to and assume that
1426 these types are also part of the SCC. The propagation will add the
1427 points-to type information into their hash values. */
a4b0388b
JH
1428 do
1429 {
0cf094c0 1430 /* Sort the SCC so we can easily check for uniqueness. */
a4b0388b
JH
1431 qsort (&sccstack[first], size, sizeof (scc_entry), scc_entry_compare);
1432
1433 unsigned int classes = 1;
1434 int firstunique = -1;
1435
0cf094c0
EB
1436 /* Find the tree with lowest unique hash (if it exists) and compute
1437 the number of equivalence classes. */
a4b0388b
JH
1438 if (sccstack[first].hash != sccstack[first+1].hash)
1439 firstunique = 0;
1440 for (unsigned i = 1; i < size; ++i)
1441 if (sccstack[first+i-1].hash != sccstack[first+i].hash)
1442 {
1443 classes++;
1444 if (firstunique == -1
1445 && (i == size - 1
1446 || sccstack[first+i+1].hash != sccstack[first+i].hash))
1447 firstunique = i;
1448 }
1449
0cf094c0 1450 /* If we found a tree with unique hash, stop the iteration. */
a4b0388b
JH
1451 if (firstunique != -1
1452 /* Also terminate if we run out of iterations or if the number of
1453 equivalence classes is no longer increasing.
1454 For example a cyclic list of trees that are all equivalent will
1455 never have unique entry point; we however do not build such SCCs
1456 in our IL. */
1457 || classes <= last_classes || iterations > 16)
1458 {
1459 hashval_t scc_hash;
1460
1461 /* If some hashes are not unique (CLASSES != SIZE), use the DFS walk
0cf094c0 1462 starting from FIRSTUNIQUE to obtain a stable order. */
a4b0388b
JH
1463 if (classes != size && firstunique != -1)
1464 {
1465 hash_map <tree, hashval_t> map(size*2);
1466
1467 /* Store hash values into a map, so we can associate them with
0cf094c0 1468 the reordered SCC. */
a4b0388b
JH
1469 for (unsigned i = 0; i < size; ++i)
1470 map.put (sccstack[first+i].t, sccstack[first+i].hash);
1471
cec34ee5
EB
1472 DFS again (ob, sccstack[first+firstunique].t, ref_p, this_ref_p,
1473 true);
a4b0388b
JH
1474 gcc_assert (again.sccstack.length () == size);
1475
1476 memcpy (sccstack.address () + first,
1477 again.sccstack.address (),
1478 sizeof (scc_entry) * size);
1479
1480 /* Update hash values of individual members by hashing in the
1481 index within the stable order. This ensures uniqueness.
0cf094c0
EB
1482 Also compute the SCC hash by mixing in all hash values in
1483 the stable order we obtained. */
a4b0388b
JH
1484 sccstack[first].hash = *map.get (sccstack[first].t);
1485 scc_hash = sccstack[first].hash;
1486 for (unsigned i = 1; i < size; ++i)
1487 {
1488 sccstack[first+i].hash
1489 = iterative_hash_hashval_t (i,
1490 *map.get (sccstack[first+i].t));
0cf094c0
EB
1491 scc_hash
1492 = iterative_hash_hashval_t (scc_hash,
1493 sccstack[first+i].hash);
a4b0388b
JH
1494 }
1495 }
0cf094c0
EB
1496 /* If we got a unique hash value for each tree, then sort already
1497 ensured entry-point independent order. Only compute the final
1498 SCC hash.
a4b0388b
JH
1499
1500 If we failed to find the unique entry point, we go by the same
0cf094c0 1501 route. We will eventually introduce unwanted hash conflicts. */
a4b0388b
JH
1502 else
1503 {
1504 scc_hash = sccstack[first].hash;
1505 for (unsigned i = 1; i < size; ++i)
0cf094c0
EB
1506 scc_hash
1507 = iterative_hash_hashval_t (scc_hash, sccstack[first+i].hash);
1508
1509 /* We cannot 100% guarantee that the hash won't conflict so as
1510 to make it impossible to find a unique hash. This however
1511 should be an extremely rare case. ICE for now so possible
1512 issues are found and evaluated. */
a4b0388b
JH
1513 gcc_checking_assert (classes == size);
1514 }
1515
0cf094c0
EB
1516 /* To avoid conflicts across SCCs, iteratively hash the whole SCC
1517 hash into the hash of each element. */
a4b0388b
JH
1518 for (unsigned i = 0; i < size; ++i)
1519 sccstack[first+i].hash
1520 = iterative_hash_hashval_t (sccstack[first+i].hash, scc_hash);
1521 return scc_hash;
1522 }
1523
1524 last_classes = classes;
1525 iterations++;
1526
1527 /* We failed to identify the entry point; propagate hash values across
1528 the edges. */
0cf094c0
EB
1529 hash_map <tree, hashval_t> map(size*2);
1530
1531 for (unsigned i = 0; i < size; ++i)
1532 map.put (sccstack[first+i].t, sccstack[first+i].hash);
1533
1534 for (unsigned i = 0; i < size; i++)
1535 sccstack[first+i].hash
1536 = hash_tree (ob->writer_cache, &map, sccstack[first+i].t);
a4b0388b
JH
1537 }
1538 while (true);
ee03e71d
RB
1539}
1540
1541/* DFS walk EXPR and stream SCCs of tree bodies if they are not
1542 already in the streamer cache. Main routine called for
1543 each visit of EXPR. */
1544
a4b0388b
JH
1545void
1546DFS::DFS_write_tree (struct output_block *ob, sccs *from_state,
bbf043c2 1547 tree expr, bool ref_p, bool this_ref_p)
ee03e71d 1548{
ee03e71d
RB
1549 /* Handle special cases. */
1550 if (expr == NULL_TREE)
1551 return;
1552
1553 /* Do not DFS walk into indexable trees. */
1554 if (this_ref_p && tree_is_indexable (expr))
1555 return;
1556
1557 /* Check if we already streamed EXPR. */
bbf043c2 1558 if (streamer_tree_cache_lookup (ob->writer_cache, expr, NULL))
ee03e71d
RB
1559 return;
1560
bbf043c2
JJ
1561 worklist w;
1562 w.expr = expr;
1563 w.from_state = from_state;
1564 w.cstate = NULL;
1565 w.ref_p = ref_p;
1566 w.this_ref_p = this_ref_p;
1567 worklist_vec.safe_push (w);
ee03e71d
RB
1568}
1569
b9393656 1570
cec34ee5
EB
1571/* Emit the physical representation of tree node EXPR to output block OB.
1572 If THIS_REF_P is true, the leaves of EXPR are emitted as references via
1573 lto_output_tree_ref. REF_P is used for streaming siblings of EXPR. */
b9393656
DN
1574
1575void
7e54c608
RG
1576lto_output_tree (struct output_block *ob, tree expr,
1577 bool ref_p, bool this_ref_p)
b9393656
DN
1578{
1579 unsigned ix;
1580 bool existed_p;
1581
1582 if (expr == NULL_TREE)
1583 {
412288f1 1584 streamer_write_record_start (ob, LTO_null);
b9393656
DN
1585 return;
1586 }
1587
7e54c608 1588 if (this_ref_p && tree_is_indexable (expr))
b9393656
DN
1589 {
1590 lto_output_tree_ref (ob, expr);
1591 return;
1592 }
1593
ee03e71d 1594 existed_p = streamer_tree_cache_lookup (ob->writer_cache, expr, &ix);
b9393656
DN
1595 if (existed_p)
1596 {
1597 /* If a node has already been streamed out, make sure that
1598 we don't write it more than once. Otherwise, the reader
1599 will instantiate two different nodes for the same object. */
412288f1
DN
1600 streamer_write_record_start (ob, LTO_tree_pickle_reference);
1601 streamer_write_uhwi (ob, ix);
1602 streamer_write_enum (ob->main_stream, LTO_tags, LTO_NUM_TAGS,
1603 lto_tree_code_to_tag (TREE_CODE (expr)));
ee03e71d 1604 lto_stats.num_pickle_refs_output++;
b9393656
DN
1605 }
1606 else
1607 {
ee03e71d
RB
1608 /* This is the first time we see EXPR, write all reachable
1609 trees to OB. */
1610 static bool in_dfs_walk;
1611
1612 /* Protect against recursion which means disconnect between
1613 what tree edges we walk in the DFS walk and what edges
1614 we stream out. */
1615 gcc_assert (!in_dfs_walk);
1616
b4da704c
JH
1617 if (streamer_dump_file)
1618 {
1619 print_node_brief (streamer_dump_file, " Streaming SCC of ",
1620 expr, 4);
1621 fprintf (streamer_dump_file, "\n");
1622 }
1623
ee03e71d
RB
1624 /* Start the DFS walk. */
1625 /* Save ob state ... */
1626 /* let's see ... */
1627 in_dfs_walk = true;
a4b0388b 1628 DFS (ob, expr, ref_p, this_ref_p, false);
ee03e71d
RB
1629 in_dfs_walk = false;
1630
1631 /* Finally append a reference to the tree we were writing.
1632 ??? If expr ended up as a singleton we could have
1633 inlined it here and avoid outputting a reference. */
1634 existed_p = streamer_tree_cache_lookup (ob->writer_cache, expr, &ix);
1635 gcc_assert (existed_p);
1636 streamer_write_record_start (ob, LTO_tree_pickle_reference);
1637 streamer_write_uhwi (ob, ix);
1638 streamer_write_enum (ob->main_stream, LTO_tags, LTO_NUM_TAGS,
1639 lto_tree_code_to_tag (TREE_CODE (expr)));
b4da704c
JH
1640 if (streamer_dump_file)
1641 {
1642 print_node_brief (streamer_dump_file, " Finished SCC of ",
1643 expr, 4);
1644 fprintf (streamer_dump_file, "\n\n");
1645 }
ee03e71d 1646 lto_stats.num_pickle_refs_output++;
d7f09764
DN
1647 }
1648}
1649
1650
1651/* Output to OB a list of try/catch handlers starting with FIRST. */
1652
1653static void
1654output_eh_try_list (struct output_block *ob, eh_catch first)
1655{
1656 eh_catch n;
1657
1658 for (n = first; n; n = n->next_catch)
1659 {
412288f1 1660 streamer_write_record_start (ob, LTO_eh_catch);
b9393656
DN
1661 stream_write_tree (ob, n->type_list, true);
1662 stream_write_tree (ob, n->filter_list, true);
1663 stream_write_tree (ob, n->label, true);
d7f09764
DN
1664 }
1665
412288f1 1666 streamer_write_record_start (ob, LTO_null);
d7f09764
DN
1667}
1668
1669
1670/* Output EH region R in function FN to OB. CURR_RN is the slot index
1671 that is being emitted in FN->EH->REGION_ARRAY. This is used to
1672 detect EH region sharing. */
1673
1674static void
1675output_eh_region (struct output_block *ob, eh_region r)
1676{
1677 enum LTO_tags tag;
1678
1679 if (r == NULL)
1680 {
412288f1 1681 streamer_write_record_start (ob, LTO_null);
d7f09764
DN
1682 return;
1683 }
1684
1685 if (r->type == ERT_CLEANUP)
1686 tag = LTO_ert_cleanup;
1687 else if (r->type == ERT_TRY)
1688 tag = LTO_ert_try;
1689 else if (r->type == ERT_ALLOWED_EXCEPTIONS)
1690 tag = LTO_ert_allowed_exceptions;
1691 else if (r->type == ERT_MUST_NOT_THROW)
1692 tag = LTO_ert_must_not_throw;
1693 else
1694 gcc_unreachable ();
1695
412288f1
DN
1696 streamer_write_record_start (ob, tag);
1697 streamer_write_hwi (ob, r->index);
d7f09764
DN
1698
1699 if (r->outer)
412288f1 1700 streamer_write_hwi (ob, r->outer->index);
d7f09764 1701 else
412288f1 1702 streamer_write_zero (ob);
d7f09764
DN
1703
1704 if (r->inner)
412288f1 1705 streamer_write_hwi (ob, r->inner->index);
d7f09764 1706 else
412288f1 1707 streamer_write_zero (ob);
d7f09764
DN
1708
1709 if (r->next_peer)
412288f1 1710 streamer_write_hwi (ob, r->next_peer->index);
d7f09764 1711 else
412288f1 1712 streamer_write_zero (ob);
d7f09764
DN
1713
1714 if (r->type == ERT_TRY)
1715 {
1716 output_eh_try_list (ob, r->u.eh_try.first_catch);
1717 }
1718 else if (r->type == ERT_ALLOWED_EXCEPTIONS)
1719 {
b9393656
DN
1720 stream_write_tree (ob, r->u.allowed.type_list, true);
1721 stream_write_tree (ob, r->u.allowed.label, true);
412288f1 1722 streamer_write_uhwi (ob, r->u.allowed.filter);
d7f09764
DN
1723 }
1724 else if (r->type == ERT_MUST_NOT_THROW)
1725 {
b9393656 1726 stream_write_tree (ob, r->u.must_not_throw.failure_decl, true);
7cb7d208
RB
1727 bitpack_d bp = bitpack_create (ob->main_stream);
1728 stream_output_location (ob, &bp, r->u.must_not_throw.failure_loc);
1729 streamer_write_bitpack (&bp);
d7f09764
DN
1730 }
1731
1732 if (r->landing_pads)
412288f1 1733 streamer_write_hwi (ob, r->landing_pads->index);
d7f09764 1734 else
412288f1 1735 streamer_write_zero (ob);
d7f09764
DN
1736}
1737
1738
1739/* Output landing pad LP to OB. */
1740
1741static void
1742output_eh_lp (struct output_block *ob, eh_landing_pad lp)
1743{
1744 if (lp == NULL)
1745 {
412288f1 1746 streamer_write_record_start (ob, LTO_null);
d7f09764
DN
1747 return;
1748 }
1749
412288f1
DN
1750 streamer_write_record_start (ob, LTO_eh_landing_pad);
1751 streamer_write_hwi (ob, lp->index);
d7f09764 1752 if (lp->next_lp)
412288f1 1753 streamer_write_hwi (ob, lp->next_lp->index);
d7f09764 1754 else
412288f1 1755 streamer_write_zero (ob);
d7f09764
DN
1756
1757 if (lp->region)
412288f1 1758 streamer_write_hwi (ob, lp->region->index);
d7f09764 1759 else
412288f1 1760 streamer_write_zero (ob);
d7f09764 1761
b9393656 1762 stream_write_tree (ob, lp->post_landing_pad, true);
d7f09764
DN
1763}
1764
1765
1766/* Output the existing eh_table to OB. */
1767
1768static void
1769output_eh_regions (struct output_block *ob, struct function *fn)
1770{
1771 if (fn->eh && fn->eh->region_tree)
1772 {
1773 unsigned i;
1774 eh_region eh;
1775 eh_landing_pad lp;
1776 tree ttype;
1777
412288f1 1778 streamer_write_record_start (ob, LTO_eh_table);
d7f09764
DN
1779
1780 /* Emit the index of the root of the EH region tree. */
412288f1 1781 streamer_write_hwi (ob, fn->eh->region_tree->index);
d7f09764
DN
1782
1783 /* Emit all the EH regions in the region array. */
9771b263
DN
1784 streamer_write_hwi (ob, vec_safe_length (fn->eh->region_array));
1785 FOR_EACH_VEC_SAFE_ELT (fn->eh->region_array, i, eh)
d7f09764
DN
1786 output_eh_region (ob, eh);
1787
1788 /* Emit all landing pads. */
9771b263
DN
1789 streamer_write_hwi (ob, vec_safe_length (fn->eh->lp_array));
1790 FOR_EACH_VEC_SAFE_ELT (fn->eh->lp_array, i, lp)
d7f09764
DN
1791 output_eh_lp (ob, lp);
1792
1793 /* Emit all the runtime type data. */
9771b263
DN
1794 streamer_write_hwi (ob, vec_safe_length (fn->eh->ttype_data));
1795 FOR_EACH_VEC_SAFE_ELT (fn->eh->ttype_data, i, ttype)
b9393656 1796 stream_write_tree (ob, ttype, true);
d7f09764
DN
1797
1798 /* Emit the table of action chains. */
1799 if (targetm.arm_eabi_unwinder)
1800 {
1801 tree t;
9771b263
DN
1802 streamer_write_hwi (ob, vec_safe_length (fn->eh->ehspec_data.arm_eabi));
1803 FOR_EACH_VEC_SAFE_ELT (fn->eh->ehspec_data.arm_eabi, i, t)
b9393656 1804 stream_write_tree (ob, t, true);
d7f09764
DN
1805 }
1806 else
1807 {
1808 uchar c;
9771b263
DN
1809 streamer_write_hwi (ob, vec_safe_length (fn->eh->ehspec_data.other));
1810 FOR_EACH_VEC_SAFE_ELT (fn->eh->ehspec_data.other, i, c)
412288f1 1811 streamer_write_char_stream (ob->main_stream, c);
d7f09764
DN
1812 }
1813 }
1814
07233947
DN
1815 /* The LTO_null either terminates the record or indicates that there
1816 are no eh_records at all. */
412288f1 1817 streamer_write_record_start (ob, LTO_null);
d7f09764
DN
1818}
1819
1820
1821/* Output all of the active ssa names to the ssa_names stream. */
1822
1823static void
1824output_ssa_names (struct output_block *ob, struct function *fn)
1825{
1826 unsigned int i, len;
1827
9771b263 1828 len = vec_safe_length (SSANAMES (fn));
412288f1 1829 streamer_write_uhwi (ob, len);
d7f09764
DN
1830
1831 for (i = 1; i < len; i++)
1832 {
9771b263 1833 tree ptr = (*SSANAMES (fn))[i];
d7f09764
DN
1834
1835 if (ptr == NULL_TREE
1836 || SSA_NAME_IN_FREE_LIST (ptr)
9a13d066
RB
1837 || virtual_operand_p (ptr)
1838 /* Simply skip unreleased SSA names. */
1839 || (! SSA_NAME_IS_DEFAULT_DEF (ptr)
1840 && (! SSA_NAME_DEF_STMT (ptr)
1841 || ! gimple_bb (SSA_NAME_DEF_STMT (ptr)))))
d7f09764
DN
1842 continue;
1843
412288f1
DN
1844 streamer_write_uhwi (ob, i);
1845 streamer_write_char_stream (ob->main_stream,
1846 SSA_NAME_IS_DEFAULT_DEF (ptr));
70b5e7dc
RG
1847 if (SSA_NAME_VAR (ptr))
1848 stream_write_tree (ob, SSA_NAME_VAR (ptr), true);
1849 else
1850 /* ??? This drops SSA_NAME_IDENTIFIER on the floor. */
1851 stream_write_tree (ob, TREE_TYPE (ptr), true);
d7f09764
DN
1852 }
1853
412288f1 1854 streamer_write_zero (ob);
d7f09764
DN
1855}
1856
1857
807e902e 1858
d7f09764
DN
1859/* Output the cfg. */
1860
1861static void
1862output_cfg (struct output_block *ob, struct function *fn)
1863{
1864 struct lto_output_stream *tmp_stream = ob->main_stream;
1865 basic_block bb;
1866
1867 ob->main_stream = ob->cfg_stream;
1868
412288f1 1869 streamer_write_enum (ob->main_stream, profile_status_d, PROFILE_LAST,
ea19eb9f 1870 profile_status_for_fn (fn));
d7f09764
DN
1871
1872 /* Output the number of the highest basic block. */
3986e690 1873 streamer_write_uhwi (ob, last_basic_block_for_fn (fn));
d7f09764
DN
1874
1875 FOR_ALL_BB_FN (bb, fn)
1876 {
1877 edge_iterator ei;
1878 edge e;
1879
412288f1 1880 streamer_write_hwi (ob, bb->index);
d7f09764
DN
1881
1882 /* Output the successors and the edge flags. */
412288f1 1883 streamer_write_uhwi (ob, EDGE_COUNT (bb->succs));
d7f09764
DN
1884 FOR_EACH_EDGE (e, ei, bb->succs)
1885 {
412288f1 1886 streamer_write_uhwi (ob, e->dest->index);
357067f2 1887 e->probability.stream_out (ob);
412288f1 1888 streamer_write_uhwi (ob, e->flags);
d7f09764
DN
1889 }
1890 }
1891
412288f1 1892 streamer_write_hwi (ob, -1);
d7f09764 1893
fefa31b5 1894 bb = ENTRY_BLOCK_PTR_FOR_FN (cfun);
d7f09764
DN
1895 while (bb->next_bb)
1896 {
412288f1 1897 streamer_write_hwi (ob, bb->next_bb->index);
d7f09764
DN
1898 bb = bb->next_bb;
1899 }
1900
412288f1 1901 streamer_write_hwi (ob, -1);
d7f09764 1902
dd366ec3
RB
1903 /* ??? The cfgloop interface is tied to cfun. */
1904 gcc_assert (cfun == fn);
1905
1906 /* Output the number of loops. */
0fc822d0 1907 streamer_write_uhwi (ob, number_of_loops (fn));
dd366ec3
RB
1908
1909 /* Output each loop, skipping the tree root which has number zero. */
0fc822d0 1910 for (unsigned i = 1; i < number_of_loops (fn); ++i)
dd366ec3 1911 {
0fc822d0 1912 struct loop *loop = get_loop (fn, i);
dd366ec3
RB
1913
1914 /* Write the index of the loop header. That's enough to rebuild
1915 the loop tree on the reader side. Stream -1 for an unused
1916 loop entry. */
1917 if (!loop)
1918 {
1919 streamer_write_hwi (ob, -1);
1920 continue;
1921 }
1922 else
1923 streamer_write_hwi (ob, loop->header->index);
1924
1925 /* Write everything copy_loop_info copies. */
1926 streamer_write_enum (ob->main_stream,
1927 loop_estimation, EST_LAST, loop->estimate_state);
1928 streamer_write_hwi (ob, loop->any_upper_bound);
1929 if (loop->any_upper_bound)
a73f34c2 1930 streamer_write_widest_int (ob, loop->nb_iterations_upper_bound);
105e29c5
JH
1931 streamer_write_hwi (ob, loop->any_likely_upper_bound);
1932 if (loop->any_likely_upper_bound)
a73f34c2 1933 streamer_write_widest_int (ob, loop->nb_iterations_likely_upper_bound);
dd366ec3
RB
1934 streamer_write_hwi (ob, loop->any_estimate);
1935 if (loop->any_estimate)
a73f34c2 1936 streamer_write_widest_int (ob, loop->nb_iterations_estimate);
e9287a41
RB
1937
1938 /* Write OMP SIMD related info. */
1939 streamer_write_hwi (ob, loop->safelen);
ac9effed 1940 streamer_write_hwi (ob, loop->unroll);
718c4601 1941 streamer_write_hwi (ob, loop->dont_vectorize);
b15b5979 1942 streamer_write_hwi (ob, loop->force_vectorize);
e9287a41 1943 stream_write_tree (ob, loop->simduid, true);
dd366ec3
RB
1944 }
1945
d7f09764
DN
1946 ob->main_stream = tmp_stream;
1947}
1948
1949
d7f09764
DN
1950/* Create the header in the file using OB. If the section type is for
1951 a function, set FN to the decl for that function. */
1952
fb3f88cc 1953void
d7f09764
DN
1954produce_asm (struct output_block *ob, tree fn)
1955{
1956 enum lto_section_type section_type = ob->section_type;
1957 struct lto_function_header header;
1958 char *section_name;
d7f09764
DN
1959
1960 if (section_type == LTO_section_function_body)
1961 {
1962 const char *name = IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (fn));
73ce4d1e 1963 section_name = lto_get_section_name (section_type, name, NULL);
d7f09764
DN
1964 }
1965 else
73ce4d1e 1966 section_name = lto_get_section_name (section_type, NULL, NULL);
d7f09764
DN
1967
1968 lto_begin_section (section_name, !flag_wpa);
1969 free (section_name);
1970
1971 /* The entire header is stream computed here. */
1972 memset (&header, 0, sizeof (struct lto_function_header));
b8698a0f 1973
d7f09764 1974 /* Write the header. */
207c68cd
RB
1975 header.major_version = LTO_major_version;
1976 header.minor_version = LTO_minor_version;
b8698a0f 1977
d7f09764
DN
1978 if (section_type == LTO_section_function_body)
1979 header.cfg_size = ob->cfg_stream->total_size;
1980 header.main_size = ob->main_stream->total_size;
1981 header.string_size = ob->string_stream->total_size;
f6bcdb5e 1982 lto_write_data (&header, sizeof header);
d7f09764
DN
1983
1984 /* Put all of the gimple and the string table out the asm file as a
1985 block of text. */
1986 if (section_type == LTO_section_function_body)
1987 lto_write_stream (ob->cfg_stream);
1988 lto_write_stream (ob->main_stream);
1989 lto_write_stream (ob->string_stream);
1990
1991 lto_end_section ();
1992}
1993
1994
35f5b1c1 1995/* Output the base body of struct function FN using output block OB. */
d7f09764
DN
1996
1997static void
35f5b1c1 1998output_struct_function_base (struct output_block *ob, struct function *fn)
d7f09764 1999{
2465dcc2 2000 struct bitpack_d bp;
c021f10b
NF
2001 unsigned i;
2002 tree t;
d7f09764 2003
35f5b1c1
LC
2004 /* Output the static chain and non-local goto save area. */
2005 stream_write_tree (ob, fn->static_chain_decl, true);
2006 stream_write_tree (ob, fn->nonlocal_goto_save_area, true);
d7f09764 2007
35f5b1c1 2008 /* Output all the local variables in the function. */
9771b263
DN
2009 streamer_write_hwi (ob, vec_safe_length (fn->local_decls));
2010 FOR_EACH_VEC_SAFE_ELT (fn->local_decls, i, t)
35f5b1c1 2011 stream_write_tree (ob, t, true);
d7f09764 2012
dd366ec3
RB
2013 /* Output current IL state of the function. */
2014 streamer_write_uhwi (ob, fn->curr_properties);
d7f09764
DN
2015
2016 /* Write all the attributes for FN. */
2465dcc2
RG
2017 bp = bitpack_create (ob->main_stream);
2018 bp_pack_value (&bp, fn->is_thunk, 1);
2019 bp_pack_value (&bp, fn->has_local_explicit_reg_vars, 1);
2465dcc2
RG
2020 bp_pack_value (&bp, fn->returns_pcc_struct, 1);
2021 bp_pack_value (&bp, fn->returns_struct, 1);
2022 bp_pack_value (&bp, fn->can_throw_non_call_exceptions, 1);
2da02156 2023 bp_pack_value (&bp, fn->can_delete_dead_exceptions, 1);
2465dcc2
RG
2024 bp_pack_value (&bp, fn->always_inline_functions_inlined, 1);
2025 bp_pack_value (&bp, fn->after_inlining, 1);
2465dcc2
RG
2026 bp_pack_value (&bp, fn->stdarg, 1);
2027 bp_pack_value (&bp, fn->has_nonlocal_label, 1);
aa43616c 2028 bp_pack_value (&bp, fn->has_forced_label_in_static, 1);
2465dcc2
RG
2029 bp_pack_value (&bp, fn->calls_alloca, 1);
2030 bp_pack_value (&bp, fn->calls_setjmp, 1);
b15b5979 2031 bp_pack_value (&bp, fn->has_force_vectorize_loops, 1);
e9287a41 2032 bp_pack_value (&bp, fn->has_simduid_loops, 1);
2465dcc2
RG
2033 bp_pack_value (&bp, fn->va_list_fpr_size, 8);
2034 bp_pack_value (&bp, fn->va_list_gpr_size, 8);
743c1134 2035 bp_pack_value (&bp, fn->last_clique, sizeof (short) * 8);
7cb7d208
RB
2036
2037 /* Output the function start and end loci. */
2038 stream_output_location (ob, &bp, fn->function_start_locus);
2039 stream_output_location (ob, &bp, fn->function_end_locus);
2040
b348c78a
AO
2041 /* Save the instance discriminator if present. */
2042 int *instance_number_p = NULL;
2043 if (decl_to_instance_map)
2044 instance_number_p = decl_to_instance_map->get (fn->decl);
2045 bp_pack_value (&bp, !!instance_number_p, 1);
2046 if (instance_number_p)
2047 bp_pack_value (&bp, *instance_number_p, sizeof (int) * CHAR_BIT);
2048
412288f1 2049 streamer_write_bitpack (&bp);
35f5b1c1 2050}
d7f09764 2051
ac364a48 2052
ec1db2a9
RB
2053/* Collect all leaf BLOCKs beyond ROOT into LEAFS. */
2054
2055static void
2056collect_block_tree_leafs (tree root, vec<tree> &leafs)
2057{
2058 for (root = BLOCK_SUBBLOCKS (root); root; root = BLOCK_CHAIN (root))
2059 if (! BLOCK_SUBBLOCKS (root))
2060 leafs.safe_push (root);
2061 else
2062 collect_block_tree_leafs (BLOCK_SUBBLOCKS (root), leafs);
2063}
2064
35f5b1c1 2065/* Output the body of function NODE->DECL. */
688a482d 2066
35f5b1c1
LC
2067static void
2068output_function (struct cgraph_node *node)
2069{
2070 tree function;
2071 struct function *fn;
2072 basic_block bb;
2073 struct output_block *ob;
d7f09764 2074
b4da704c
JH
2075 if (streamer_dump_file)
2076 fprintf (streamer_dump_file, "\nStreaming body of %s\n",
2077 node->name ());
2078
67348ccc 2079 function = node->decl;
35f5b1c1
LC
2080 fn = DECL_STRUCT_FUNCTION (function);
2081 ob = create_output_block (LTO_section_function_body);
2082
2083 clear_line_info (ob);
0b83e688 2084 ob->symbol = node;
35f5b1c1
LC
2085
2086 gcc_assert (current_function_decl == NULL_TREE && cfun == NULL);
2087
2088 /* Set current_function_decl and cfun. */
35f5b1c1
LC
2089 push_cfun (fn);
2090
2091 /* Make string 0 be a NULL string. */
2092 streamer_write_char_stream (ob->string_stream, 0);
2093
2094 streamer_write_record_start (ob, LTO_function);
2095
815effe1
JH
2096 /* Output decls for parameters and args. */
2097 stream_write_tree (ob, DECL_RESULT (function), true);
2098 streamer_write_chain (ob, DECL_ARGUMENTS (function), true);
d7f09764 2099
1ea85365
RB
2100 /* Output debug args if available. */
2101 vec<tree, va_gc> **debugargs = decl_debug_args_lookup (function);
2102 if (! debugargs)
2103 streamer_write_uhwi (ob, 0);
2104 else
2105 {
2106 streamer_write_uhwi (ob, (*debugargs)->length ());
2107 for (unsigned i = 0; i < (*debugargs)->length (); ++i)
2108 stream_write_tree (ob, (**debugargs)[i], true);
2109 }
2110
d7f09764 2111 /* Output DECL_INITIAL for the function, which contains the tree of
ec1db2a9 2112 lexical scopes. */
b9393656 2113 stream_write_tree (ob, DECL_INITIAL (function), true);
ec1db2a9
RB
2114 /* As we do not recurse into BLOCK_SUBBLOCKS but only BLOCK_SUPERCONTEXT
2115 collect block tree leafs and stream those. */
2116 auto_vec<tree> block_tree_leafs;
2117 if (DECL_INITIAL (function))
2118 collect_block_tree_leafs (DECL_INITIAL (function), block_tree_leafs);
2119 streamer_write_uhwi (ob, block_tree_leafs.length ());
2120 for (unsigned i = 0; i < block_tree_leafs.length (); ++i)
2121 stream_write_tree (ob, block_tree_leafs[i], true);
d7f09764 2122
815effe1
JH
2123 /* We also stream abstract functions where we stream only stuff needed for
2124 debug info. */
2125 if (gimple_has_body_p (function))
2126 {
d160ae78
RB
2127 /* Fixup loops if required to match discovery done in the reader. */
2128 loop_optimizer_init (AVOID_CFG_MODIFICATIONS);
2129
815effe1
JH
2130 streamer_write_uhwi (ob, 1);
2131 output_struct_function_base (ob, fn);
2132
2133 /* Output all the SSA names used in the function. */
2134 output_ssa_names (ob, fn);
2135
2136 /* Output any exception handling regions. */
2137 output_eh_regions (ob, fn);
2138
2139
2140 /* We will renumber the statements. The code that does this uses
2141 the same ordering that we use for serializing them so we can use
2142 the same code on the other end and not have to write out the
2143 statement numbers. We do not assign UIDs to PHIs here because
2144 virtual PHIs get re-computed on-the-fly which would make numbers
2145 inconsistent. */
2146 set_gimple_stmt_max_uid (cfun, 0);
04a90bec 2147 FOR_ALL_BB_FN (bb, cfun)
8f984534 2148 {
538dd0b7
DM
2149 for (gphi_iterator gsi = gsi_start_phis (bb); !gsi_end_p (gsi);
2150 gsi_next (&gsi))
aa1e10cc 2151 {
538dd0b7 2152 gphi *stmt = gsi.phi ();
aa1e10cc
JH
2153
2154 /* Virtual PHIs are not going to be streamed. */
2155 if (!virtual_operand_p (gimple_phi_result (stmt)))
2156 gimple_set_uid (stmt, inc_gimple_stmt_max_uid (cfun));
2157 }
538dd0b7
DM
2158 for (gimple_stmt_iterator gsi = gsi_start_bb (bb); !gsi_end_p (gsi);
2159 gsi_next (&gsi))
815effe1 2160 {
355fe088 2161 gimple *stmt = gsi_stmt (gsi);
815effe1
JH
2162 gimple_set_uid (stmt, inc_gimple_stmt_max_uid (cfun));
2163 }
8f984534 2164 }
aa1e10cc
JH
2165 /* To avoid keeping duplicate gimple IDs in the statements, renumber
2166 virtual phis now. */
04a90bec 2167 FOR_ALL_BB_FN (bb, cfun)
aa1e10cc 2168 {
538dd0b7
DM
2169 for (gphi_iterator gsi = gsi_start_phis (bb); !gsi_end_p (gsi);
2170 gsi_next (&gsi))
aa1e10cc 2171 {
538dd0b7 2172 gphi *stmt = gsi.phi ();
aa1e10cc
JH
2173 if (virtual_operand_p (gimple_phi_result (stmt)))
2174 gimple_set_uid (stmt, inc_gimple_stmt_max_uid (cfun));
2175 }
2176 }
d7f09764 2177
815effe1
JH
2178 /* Output the code for the function. */
2179 FOR_ALL_BB_FN (bb, fn)
2180 output_bb (ob, bb, fn);
d7f09764 2181
815effe1
JH
2182 /* The terminator for this function. */
2183 streamer_write_record_start (ob, LTO_null);
d7f09764 2184
815effe1 2185 output_cfg (ob, fn);
6b95d1af 2186
d160ae78 2187 loop_optimizer_finalize ();
6b95d1af 2188 pop_cfun ();
815effe1
JH
2189 }
2190 else
2191 streamer_write_uhwi (ob, 0);
d7f09764
DN
2192
2193 /* Create a section to hold the pickled output of this function. */
2194 produce_asm (ob, function);
2195
2196 destroy_output_block (ob);
b4da704c
JH
2197 if (streamer_dump_file)
2198 fprintf (streamer_dump_file, "Finished streaming %s\n",
2199 node->name ());
d7f09764
DN
2200}
2201
0b83e688
JH
2202/* Output the body of function NODE->DECL. */
2203
2204static void
2205output_constructor (struct varpool_node *node)
2206{
2207 tree var = node->decl;
2208 struct output_block *ob;
2209
b4da704c
JH
2210 if (streamer_dump_file)
2211 fprintf (streamer_dump_file, "\nStreaming constructor of %s\n",
2212 node->name ());
2213
0b83e688
JH
2214 ob = create_output_block (LTO_section_function_body);
2215
2216 clear_line_info (ob);
2217 ob->symbol = node;
2218
2219 /* Make string 0 be a NULL string. */
2220 streamer_write_char_stream (ob->string_stream, 0);
2221
2222 /* Output DECL_INITIAL for the function, which contains the tree of
2223 lexical scopes. */
2224 stream_write_tree (ob, DECL_INITIAL (var), true);
2225
2226 /* Create a section to hold the pickled output of this function. */
2227 produce_asm (ob, var);
2228
2229 destroy_output_block (ob);
b4da704c
JH
2230 if (streamer_dump_file)
2231 fprintf (streamer_dump_file, "Finished streaming %s\n",
2232 node->name ());
0b83e688
JH
2233}
2234
d7f09764 2235
49f836ba
JB
2236/* Emit toplevel asms. */
2237
2238void
2239lto_output_toplevel_asms (void)
2240{
2241 struct output_block *ob;
65d630d4 2242 struct asm_node *can;
49f836ba 2243 char *section_name;
207c68cd 2244 struct lto_simple_header_with_strings header;
49f836ba 2245
3dafb85c 2246 if (!symtab->first_asm_symbol ())
49f836ba
JB
2247 return;
2248
2249 ob = create_output_block (LTO_section_asm);
2250
2251 /* Make string 0 be a NULL string. */
2252 streamer_write_char_stream (ob->string_stream, 0);
2253
3dafb85c 2254 for (can = symtab->first_asm_symbol (); can; can = can->next)
398f05da
JH
2255 {
2256 streamer_write_string_cst (ob, ob->main_stream, can->asm_str);
2257 streamer_write_hwi (ob, can->order);
2258 }
49f836ba
JB
2259
2260 streamer_write_string_cst (ob, ob->main_stream, NULL_TREE);
2261
2262 section_name = lto_get_section_name (LTO_section_asm, NULL, NULL);
2263 lto_begin_section (section_name, !flag_wpa);
2264 free (section_name);
2265
2266 /* The entire header stream is computed here. */
2267 memset (&header, 0, sizeof (header));
2268
2269 /* Write the header. */
207c68cd
RB
2270 header.major_version = LTO_major_version;
2271 header.minor_version = LTO_minor_version;
49f836ba
JB
2272
2273 header.main_size = ob->main_stream->total_size;
2274 header.string_size = ob->string_stream->total_size;
f6bcdb5e 2275 lto_write_data (&header, sizeof header);
49f836ba
JB
2276
2277 /* Put all of the gimple and the string table out the asm file as a
2278 block of text. */
2279 lto_write_stream (ob->main_stream);
2280 lto_write_stream (ob->string_stream);
2281
2282 lto_end_section ();
2283
2284 destroy_output_block (ob);
2285}
2286
2287
0b83e688 2288/* Copy the function body or variable constructor of NODE without deserializing. */
d7f09764
DN
2289
2290static void
0b83e688 2291copy_function_or_variable (struct symtab_node *node)
d7f09764 2292{
67348ccc
DM
2293 tree function = node->decl;
2294 struct lto_file_decl_data *file_data = node->lto_file_data;
d7f09764
DN
2295 const char *data;
2296 size_t len;
2297 const char *name = IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (function));
91539475 2298 char *section_name =
73ce4d1e 2299 lto_get_section_name (LTO_section_function_body, name, NULL);
d7f09764
DN
2300 size_t i, j;
2301 struct lto_in_decl_state *in_state;
91539475 2302 struct lto_out_decl_state *out_state = lto_get_out_decl_state ();
d7f09764 2303
814f3331
JH
2304 if (streamer_dump_file)
2305 fprintf (streamer_dump_file, "Copying section for %s\n", name);
7fa658c2 2306 lto_begin_section (section_name, false);
d7f09764
DN
2307 free (section_name);
2308
2309 /* We may have renamed the declaration, e.g., a static function. */
2310 name = lto_get_decl_name_mapping (file_data, name);
2311
7fa658c2
JH
2312 data = lto_get_raw_section_data (file_data, LTO_section_function_body,
2313 name, &len);
d7f09764
DN
2314 gcc_assert (data);
2315
2316 /* Do a bit copy of the function body. */
7fa658c2 2317 lto_write_raw_data (data, len);
d7f09764
DN
2318
2319 /* Copy decls. */
2320 in_state =
67348ccc 2321 lto_get_function_in_decl_state (node->lto_file_data, function);
7fa658c2 2322 out_state->compressed = in_state->compressed;
d7f09764
DN
2323 gcc_assert (in_state);
2324
2325 for (i = 0; i < LTO_N_DECL_STREAMS; i++)
2326 {
9c71e9df
TS
2327 size_t n = vec_safe_length (in_state->streams[i]);
2328 vec<tree, va_gc> *trees = in_state->streams[i];
d7f09764
DN
2329 struct lto_tree_ref_encoder *encoder = &(out_state->streams[i]);
2330
2331 /* The out state must have the same indices and the in state.
2332 So just copy the vector. All the encoders in the in state
2333 must be empty where we reach here. */
2334 gcc_assert (lto_tree_ref_encoder_size (encoder) == 0);
d579fcda 2335 encoder->trees.reserve_exact (n);
d7f09764 2336 for (j = 0; j < n; j++)
9c71e9df 2337 encoder->trees.safe_push ((*trees)[j]);
d7f09764 2338 }
b8698a0f 2339
7fa658c2
JH
2340 lto_free_raw_section_data (file_data, LTO_section_function_body, name,
2341 data, len);
d7f09764
DN
2342 lto_end_section ();
2343}
2344
8359c87e
RB
2345/* Wrap symbol references in *TP inside a type-preserving MEM_REF. */
2346
2347static tree
2348wrap_refs (tree *tp, int *ws, void *)
2349{
2350 tree t = *tp;
2351 if (handled_component_p (t)
35bd8e8f
JH
2352 && TREE_CODE (TREE_OPERAND (t, 0)) == VAR_DECL
2353 && TREE_PUBLIC (TREE_OPERAND (t, 0)))
8359c87e
RB
2354 {
2355 tree decl = TREE_OPERAND (t, 0);
2356 tree ptrtype = build_pointer_type (TREE_TYPE (decl));
2357 TREE_OPERAND (t, 0) = build2 (MEM_REF, TREE_TYPE (decl),
2358 build1 (ADDR_EXPR, ptrtype, decl),
2359 build_int_cst (ptrtype, 0));
2360 TREE_THIS_VOLATILE (TREE_OPERAND (t, 0)) = TREE_THIS_VOLATILE (decl);
2361 *ws = 0;
2362 }
2363 else if (TREE_CODE (t) == CONSTRUCTOR)
2364 ;
2365 else if (!EXPR_P (t))
2366 *ws = 0;
2367 return NULL_TREE;
2368}
d7f09764 2369
60bf575c
TV
2370/* Remove functions that are no longer used from offload_funcs, and mark the
2371 remaining ones with DECL_PRESERVE_P. */
2372
2373static void
2374prune_offload_funcs (void)
2375{
2376 if (!offload_funcs)
2377 return;
2378
b94c2dc1
TV
2379 unsigned ix, ix2;
2380 tree *elem_ptr;
2381 VEC_ORDERED_REMOVE_IF (*offload_funcs, ix, ix2, elem_ptr,
2382 cgraph_node::get (*elem_ptr) == NULL);
2383
2384 tree fn_decl;
2385 FOR_EACH_VEC_ELT (*offload_funcs, ix, fn_decl)
2386 DECL_PRESERVE_P (fn_decl) = 1;
60bf575c
TV
2387}
2388
d7f09764
DN
2389/* Main entry point from the pass manager. */
2390
38f4f02f 2391void
f27c1867 2392lto_output (void)
d7f09764 2393{
d7f09764 2394 struct lto_out_decl_state *decl_state;
b2b29377 2395 bitmap output = NULL;
91fbf0c7 2396 int i, n_nodes;
7380e6ef 2397 lto_symtab_encoder_t encoder = lto_get_out_decl_state ()->symtab_node_encoder;
d7f09764 2398
60bf575c
TV
2399 prune_offload_funcs ();
2400
b2b29377
MM
2401 if (flag_checking)
2402 output = lto_bitmap_alloc ();
2403
47c79d56
DN
2404 /* Initialize the streamer. */
2405 lto_streamer_init ();
d7f09764 2406
7380e6ef 2407 n_nodes = lto_symtab_encoder_size (encoder);
d7f09764 2408 /* Process only the functions with bodies. */
91fbf0c7 2409 for (i = 0; i < n_nodes; i++)
d7f09764 2410 {
5e20cdc9 2411 symtab_node *snode = lto_symtab_encoder_deref (encoder, i);
7de90a6c 2412 if (cgraph_node *node = dyn_cast <cgraph_node *> (snode))
d7f09764 2413 {
8359c87e 2414 if (lto_symtab_encoder_encode_body_p (encoder, node)
150be262 2415 && !node->alias
199fb02a 2416 && (!node->thunk.thunk_p || !node->thunk.add_pointer_bounds_args))
8359c87e 2417 {
b2b29377
MM
2418 if (flag_checking)
2419 {
2420 gcc_assert (!bitmap_bit_p (output, DECL_UID (node->decl)));
2421 bitmap_set_bit (output, DECL_UID (node->decl));
2422 }
8359c87e
RB
2423 decl_state = lto_new_out_decl_state ();
2424 lto_push_out_decl_state (decl_state);
2a58bcf2
JH
2425 if (gimple_has_body_p (node->decl)
2426 || (!flag_wpa
2427 && flag_incremental_link != INCREMENTAL_LINK_LTO)
48fb6d40
JH
2428 /* Thunks have no body but they may be synthetized
2429 at WPA time. */
2430 || DECL_ARGUMENTS (node->decl))
8359c87e
RB
2431 output_function (node);
2432 else
0b83e688 2433 copy_function_or_variable (node);
8359c87e
RB
2434 gcc_assert (lto_get_out_decl_state () == decl_state);
2435 lto_pop_out_decl_state ();
2436 lto_record_function_out_decl_state (node->decl, decl_state);
2437 }
2438 }
7de90a6c 2439 else if (varpool_node *node = dyn_cast <varpool_node *> (snode))
8359c87e
RB
2440 {
2441 /* Wrap symbol references inside the ctor in a type
2442 preserving MEM_REF. */
2443 tree ctor = DECL_INITIAL (node->decl);
2444 if (ctor && !in_lto_p)
2445 walk_tree (&ctor, wrap_refs, NULL, NULL);
0b83e688
JH
2446 if (get_symbol_initial_value (encoder, node->decl) == error_mark_node
2447 && lto_symtab_encoder_encode_initializer_p (encoder, node)
2448 && !node->alias)
2449 {
917dd9bf 2450 timevar_push (TV_IPA_LTO_CTORS_OUT);
b2b29377
MM
2451 if (flag_checking)
2452 {
2453 gcc_assert (!bitmap_bit_p (output, DECL_UID (node->decl)));
2454 bitmap_set_bit (output, DECL_UID (node->decl));
2455 }
0b83e688
JH
2456 decl_state = lto_new_out_decl_state ();
2457 lto_push_out_decl_state (decl_state);
2458 if (DECL_INITIAL (node->decl) != error_mark_node
2a58bcf2
JH
2459 || (!flag_wpa
2460 && flag_incremental_link != INCREMENTAL_LINK_LTO))
0b83e688
JH
2461 output_constructor (node);
2462 else
2463 copy_function_or_variable (node);
2464 gcc_assert (lto_get_out_decl_state () == decl_state);
2465 lto_pop_out_decl_state ();
2466 lto_record_function_out_decl_state (node->decl, decl_state);
917dd9bf 2467 timevar_pop (TV_IPA_LTO_CTORS_OUT);
0b83e688 2468 }
d7f09764
DN
2469 }
2470 }
2471
2472 /* Emit the callgraph after emitting function bodies. This needs to
2473 be done now to make sure that all the statements in every function
2474 have been renumbered so that edges can be associated with call
2475 statements using the statement UIDs. */
f27c1867 2476 output_symtab ();
d7f09764 2477
ec6fe917
IV
2478 output_offload_tables ();
2479
b2b29377 2480#if CHECKING_P
d7f09764 2481 lto_bitmap_free (output);
18252dcf 2482#endif
d7f09764
DN
2483}
2484
b8698a0f 2485/* Write each node in encoded by ENCODER to OB, as well as those reachable
d7f09764
DN
2486 from it and required for correct representation of its semantics.
2487 Each node in ENCODER must be a global declaration or a type. A node
2488 is written only once, even if it appears multiple times in the
2489 vector. Certain transitively-reachable nodes, such as those
2490 representing expressions, may be duplicated, but such nodes
2491 must not appear in ENCODER itself. */
2492
2493static void
2494write_global_stream (struct output_block *ob,
2495 struct lto_tree_ref_encoder *encoder)
2496{
2497 tree t;
2498 size_t index;
2499 const size_t size = lto_tree_ref_encoder_size (encoder);
2500
2501 for (index = 0; index < size; index++)
2502 {
2503 t = lto_tree_ref_encoder_get_tree (encoder, index);
b4da704c
JH
2504 if (streamer_dump_file)
2505 {
2506 fprintf (streamer_dump_file, " %i:", (int)index);
2507 print_node_brief (streamer_dump_file, "", t, 4);
2508 fprintf (streamer_dump_file, "\n");
2509 }
412288f1 2510 if (!streamer_tree_cache_lookup (ob->writer_cache, t, NULL))
b9393656 2511 stream_write_tree (ob, t, false);
d7f09764
DN
2512 }
2513}
2514
2515
2516/* Write a sequence of indices into the globals vector corresponding
2517 to the trees in ENCODER. These are used by the reader to map the
2518 indices used to refer to global entities within function bodies to
2519 their referents. */
2520
2521static void
2522write_global_references (struct output_block *ob,
d7f09764
DN
2523 struct lto_tree_ref_encoder *encoder)
2524{
2525 tree t;
e89964e3
MM
2526 uint32_t index;
2527 const uint32_t size = lto_tree_ref_encoder_size (encoder);
d7f09764 2528
f6bcdb5e
RB
2529 /* Write size and slot indexes as 32-bit unsigned numbers. */
2530 uint32_t *data = XNEWVEC (uint32_t, size + 1);
2531 data[0] = size;
d7f09764
DN
2532
2533 for (index = 0; index < size; index++)
2534 {
83b4db6d 2535 unsigned slot_num;
d7f09764
DN
2536
2537 t = lto_tree_ref_encoder_get_tree (encoder, index);
412288f1 2538 streamer_tree_cache_lookup (ob->writer_cache, t, &slot_num);
e89964e3 2539 gcc_assert (slot_num != (unsigned)-1);
f6bcdb5e 2540 data[index + 1] = slot_num;
d7f09764 2541 }
f6bcdb5e
RB
2542
2543 lto_write_data (data, sizeof (int32_t) * (size + 1));
2544 free (data);
d7f09764
DN
2545}
2546
2547
2548/* Write all the streams in an lto_out_decl_state STATE using
2549 output block OB and output stream OUT_STREAM. */
2550
a183b5c7 2551void
d7f09764
DN
2552lto_output_decl_state_streams (struct output_block *ob,
2553 struct lto_out_decl_state *state)
2554{
2555 int i;
2556
2557 for (i = 0; i < LTO_N_DECL_STREAMS; i++)
2558 write_global_stream (ob, &state->streams[i]);
2559}
2560
2561
2562/* Write all the references in an lto_out_decl_state STATE using
2563 output block OB and output stream OUT_STREAM. */
2564
a183b5c7 2565void
d7f09764 2566lto_output_decl_state_refs (struct output_block *ob,
d7f09764
DN
2567 struct lto_out_decl_state *state)
2568{
2569 unsigned i;
83b4db6d 2570 unsigned ref;
d7f09764 2571 tree decl;
b8698a0f 2572
d7f09764
DN
2573 /* Write reference to FUNCTION_DECL. If there is not function,
2574 write reference to void_type_node. */
2575 decl = (state->fn_decl) ? state->fn_decl : void_type_node;
412288f1 2576 streamer_tree_cache_lookup (ob->writer_cache, decl, &ref);
e89964e3 2577 gcc_assert (ref != (unsigned)-1);
7fa658c2 2578 ref = ref * 2 + (state->compressed ? 1 : 0);
f6bcdb5e 2579 lto_write_data (&ref, sizeof (uint32_t));
d7f09764
DN
2580
2581 for (i = 0; i < LTO_N_DECL_STREAMS; i++)
f6bcdb5e 2582 write_global_references (ob, &state->streams[i]);
d7f09764
DN
2583}
2584
2585
2586/* Return the written size of STATE. */
2587
2588static size_t
2589lto_out_decl_state_written_size (struct lto_out_decl_state *state)
2590{
2591 int i;
2592 size_t size;
2593
2594 size = sizeof (int32_t); /* fn_ref. */
2595 for (i = 0; i < LTO_N_DECL_STREAMS; i++)
2596 {
2597 size += sizeof (int32_t); /* vector size. */
2598 size += (lto_tree_ref_encoder_size (&state->streams[i])
2599 * sizeof (int32_t));
2600 }
2601 return size;
2602}
2603
2604
695c3817
JH
2605/* Write symbol T into STREAM in CACHE. SEEN specifies symbols we wrote
2606 so far. */
c5d1f058
JH
2607
2608static void
412288f1 2609write_symbol (struct streamer_tree_cache_d *cache,
6e2830c3 2610 tree t, hash_set<const char *> *seen, bool alias)
c5d1f058
JH
2611{
2612 const char *name;
2613 enum gcc_plugin_symbol_kind kind;
083e891e 2614 enum gcc_plugin_symbol_visibility visibility = GCCPV_DEFAULT;
e89964e3 2615 unsigned slot_num;
a9243bfc 2616 uint64_t size;
c5d1f058 2617 const char *comdat;
7d58701c 2618 unsigned char c;
c5d1f058 2619
39aa9b23 2620 gcc_checking_assert (TREE_PUBLIC (t)
3d78e008
ML
2621 && (TREE_CODE (t) != FUNCTION_DECL
2622 || !fndecl_built_in_p (t))
39aa9b23
JH
2623 && !DECL_ABSTRACT_P (t)
2624 && (!VAR_P (t) || !DECL_HARD_REGISTER (t)));
c5d1f058 2625
8813a647 2626 gcc_assert (VAR_OR_FUNCTION_DECL_P (t));
c5d1f058
JH
2627
2628 name = IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (t));
2629
77754180
DK
2630 /* This behaves like assemble_name_raw in varasm.c, performing the
2631 same name manipulations that ASM_OUTPUT_LABELREF does. */
2632 name = IDENTIFIER_POINTER ((*targetm.asm_out.mangle_assembler_name) (name));
2633
6e2830c3 2634 if (seen->add (name))
695c3817 2635 return;
695c3817 2636
412288f1 2637 streamer_tree_cache_lookup (cache, t, &slot_num);
e89964e3 2638 gcc_assert (slot_num != (unsigned)-1);
c5d1f058 2639
c5d1f058 2640 if (DECL_EXTERNAL (t))
d7f09764 2641 {
c5d1f058
JH
2642 if (DECL_WEAK (t))
2643 kind = GCCPK_WEAKUNDEF;
d7f09764 2644 else
c5d1f058
JH
2645 kind = GCCPK_UNDEF;
2646 }
2647 else
2648 {
2649 if (DECL_WEAK (t))
2650 kind = GCCPK_WEAKDEF;
2651 else if (DECL_COMMON (t))
2652 kind = GCCPK_COMMON;
d7f09764 2653 else
c5d1f058
JH
2654 kind = GCCPK_DEF;
2655
695c3817 2656 /* When something is defined, it should have node attached. */
8813a647 2657 gcc_assert (alias || !VAR_P (t) || varpool_node::get (t)->definition);
c5d1f058 2658 gcc_assert (alias || TREE_CODE (t) != FUNCTION_DECL
d52f5295
ML
2659 || (cgraph_node::get (t)
2660 && cgraph_node::get (t)->definition));
d7f09764 2661 }
d7f09764 2662
5d7f4d9c
JH
2663 /* Imitate what default_elf_asm_output_external do.
2664 When symbol is external, we need to output it with DEFAULT visibility
2665 when compiling with -fvisibility=default, while with HIDDEN visibility
2666 when symbol has attribute (visibility("hidden")) specified.
2667 targetm.binds_local_p check DECL_VISIBILITY_SPECIFIED and gets this
2668 right. */
4ad9a9de 2669
5d7f4d9c
JH
2670 if (DECL_EXTERNAL (t)
2671 && !targetm.binds_local_p (t))
2672 visibility = GCCPV_DEFAULT;
2673 else
c3284718 2674 switch (DECL_VISIBILITY (t))
5d7f4d9c
JH
2675 {
2676 case VISIBILITY_DEFAULT:
2677 visibility = GCCPV_DEFAULT;
2678 break;
2679 case VISIBILITY_PROTECTED:
2680 visibility = GCCPV_PROTECTED;
2681 break;
2682 case VISIBILITY_HIDDEN:
2683 visibility = GCCPV_HIDDEN;
2684 break;
2685 case VISIBILITY_INTERNAL:
2686 visibility = GCCPV_INTERNAL;
2687 break;
2688 }
d7f09764 2689
c5d1f058 2690 if (kind == GCCPK_COMMON
4ad9a9de
EB
2691 && DECL_SIZE_UNIT (t)
2692 && TREE_CODE (DECL_SIZE_UNIT (t)) == INTEGER_CST)
2693 size = TREE_INT_CST_LOW (DECL_SIZE_UNIT (t));
c5d1f058
JH
2694 else
2695 size = 0;
2696
2697 if (DECL_ONE_ONLY (t))
d67ff7b7 2698 comdat = IDENTIFIER_POINTER (decl_comdat_group_id (t));
c5d1f058
JH
2699 else
2700 comdat = "";
2701
f6bcdb5e
RB
2702 lto_write_data (name, strlen (name) + 1);
2703 lto_write_data (comdat, strlen (comdat) + 1);
7d58701c 2704 c = (unsigned char) kind;
f6bcdb5e 2705 lto_write_data (&c, 1);
7d58701c 2706 c = (unsigned char) visibility;
f6bcdb5e
RB
2707 lto_write_data (&c, 1);
2708 lto_write_data (&size, 8);
2709 lto_write_data (&slot_num, 4);
d7f09764
DN
2710}
2711
c5d1f058
JH
2712/* Write an IL symbol table to OB.
2713 SET and VSET are cgraph/varpool node sets we are outputting. */
d7f09764
DN
2714
2715static void
877ab5e9 2716produce_symtab (struct output_block *ob)
d7f09764 2717{
412288f1 2718 struct streamer_tree_cache_d *cache = ob->writer_cache;
73ce4d1e 2719 char *section_name = lto_get_section_name (LTO_section_symtab, NULL, NULL);
7380e6ef 2720 lto_symtab_encoder_t encoder = ob->decl_state->symtab_node_encoder;
c2954538 2721 lto_symtab_encoder_iterator lsei;
d7f09764
DN
2722
2723 lto_begin_section (section_name, false);
2724 free (section_name);
2725
6e2830c3 2726 hash_set<const char *> seen;
c5d1f058 2727
c2954538
JH
2728 /* Write the symbol table.
2729 First write everything defined and then all declarations.
1aa95df7 2730 This is necessary to handle cases where we have duplicated symbols. */
c2954538
JH
2731 for (lsei = lsei_start (encoder);
2732 !lsei_end_p (lsei); lsei_next (&lsei))
c5d1f058 2733 {
5e20cdc9 2734 symtab_node *node = lsei_node (lsei);
c2954538 2735
39aa9b23 2736 if (DECL_EXTERNAL (node->decl) || !node->output_to_lto_symbol_table_p ())
695c3817 2737 continue;
6e2830c3 2738 write_symbol (cache, node->decl, &seen, false);
695c3817 2739 }
c2954538
JH
2740 for (lsei = lsei_start (encoder);
2741 !lsei_end_p (lsei); lsei_next (&lsei))
695c3817 2742 {
5e20cdc9 2743 symtab_node *node = lsei_node (lsei);
c5d1f058 2744
39aa9b23 2745 if (!DECL_EXTERNAL (node->decl) || !node->output_to_lto_symbol_table_p ())
695c3817 2746 continue;
6e2830c3 2747 write_symbol (cache, node->decl, &seen, false);
c5d1f058
JH
2748 }
2749
d7f09764
DN
2750 lto_end_section ();
2751}
2752
2753
db847fa8
JJ
2754/* Init the streamer_mode_table for output, where we collect info on what
2755 machine_mode values have been streamed. */
2756void
2757lto_output_init_mode_table (void)
2758{
2759 memset (streamer_mode_table, '\0', MAX_MACHINE_MODE);
2760}
2761
2762
2763/* Write the mode table. */
2764static void
2765lto_write_mode_table (void)
2766{
2767 struct output_block *ob;
2768 ob = create_output_block (LTO_section_mode_table);
2769 bitpack_d bp = bitpack_create (ob->main_stream);
2770
96a2d174 2771 /* Ensure that for GET_MODE_INNER (m) != m we have
db847fa8
JJ
2772 also the inner mode marked. */
2773 for (int i = 0; i < (int) MAX_MACHINE_MODE; i++)
2774 if (streamer_mode_table[i])
2775 {
2776 machine_mode m = (machine_mode) i;
40f683e8
RB
2777 machine_mode inner_m = GET_MODE_INNER (m);
2778 if (inner_m != m)
2779 streamer_mode_table[(int) inner_m] = 1;
db847fa8 2780 }
96a2d174 2781 /* First stream modes that have GET_MODE_INNER (m) == m,
db847fa8
JJ
2782 so that we can refer to them afterwards. */
2783 for (int pass = 0; pass < 2; pass++)
2784 for (int i = 0; i < (int) MAX_MACHINE_MODE; i++)
2785 if (streamer_mode_table[i] && i != (int) VOIDmode && i != (int) BLKmode)
2786 {
2787 machine_mode m = (machine_mode) i;
1c0e448f 2788 if ((GET_MODE_INNER (m) == m) ^ (pass == 0))
db847fa8
JJ
2789 continue;
2790 bp_pack_value (&bp, m, 8);
2791 bp_pack_enum (&bp, mode_class, MAX_MODE_CLASS, GET_MODE_CLASS (m));
cf098191 2792 bp_pack_poly_value (&bp, GET_MODE_SIZE (m), 16);
bb94ec76 2793 bp_pack_poly_value (&bp, GET_MODE_PRECISION (m), 16);
db847fa8 2794 bp_pack_value (&bp, GET_MODE_INNER (m), 8);
7b777afa 2795 bp_pack_poly_value (&bp, GET_MODE_NUNITS (m), 16);
db847fa8
JJ
2796 switch (GET_MODE_CLASS (m))
2797 {
2798 case MODE_FRACT:
2799 case MODE_UFRACT:
2800 case MODE_ACCUM:
2801 case MODE_UACCUM:
2802 bp_pack_value (&bp, GET_MODE_IBIT (m), 8);
2803 bp_pack_value (&bp, GET_MODE_FBIT (m), 8);
2804 break;
2805 case MODE_FLOAT:
2806 case MODE_DECIMAL_FLOAT:
2807 bp_pack_string (ob, &bp, REAL_MODE_FORMAT (m)->name, true);
2808 break;
2809 default:
2810 break;
2811 }
2812 bp_pack_string (ob, &bp, GET_MODE_NAME (m), true);
2813 }
2814 bp_pack_value (&bp, VOIDmode, 8);
2815
2816 streamer_write_bitpack (&bp);
2817
2818 char *section_name
2819 = lto_get_section_name (LTO_section_mode_table, NULL, NULL);
2820 lto_begin_section (section_name, !flag_wpa);
2821 free (section_name);
2822
2823 /* The entire header stream is computed here. */
2824 struct lto_simple_header_with_strings header;
2825 memset (&header, 0, sizeof (header));
2826
2827 /* Write the header. */
2828 header.major_version = LTO_major_version;
2829 header.minor_version = LTO_minor_version;
2830
2831 header.main_size = ob->main_stream->total_size;
2832 header.string_size = ob->string_stream->total_size;
2833 lto_write_data (&header, sizeof header);
2834
2835 /* Put all of the gimple and the string table out the asm file as a
2836 block of text. */
2837 lto_write_stream (ob->main_stream);
2838 lto_write_stream (ob->string_stream);
2839
2840 lto_end_section ();
2841 destroy_output_block (ob);
2842}
2843
2844
d7f09764
DN
2845/* This pass is run after all of the functions are serialized and all
2846 of the IPA passes have written their serialized forms. This pass
2847 causes the vector of all of the global decls and types used from
2848 this file to be written in to a section that can then be read in to
2849 recover these on other side. */
2850
38f4f02f 2851void
f27c1867 2852produce_asm_for_decls (void)
d7f09764
DN
2853{
2854 struct lto_out_decl_state *out_state;
2855 struct lto_out_decl_state *fn_out_state;
2856 struct lto_decl_header header;
2857 char *section_name;
2858 struct output_block *ob;
d7f09764
DN
2859 unsigned idx, num_fns;
2860 size_t decl_state_size;
2861 int32_t num_decl_states;
2862
2863 ob = create_output_block (LTO_section_decls);
d7f09764 2864
b8698a0f 2865 memset (&header, 0, sizeof (struct lto_decl_header));
d7f09764 2866
73ce4d1e 2867 section_name = lto_get_section_name (LTO_section_decls, NULL, NULL);
d7f09764
DN
2868 lto_begin_section (section_name, !flag_wpa);
2869 free (section_name);
2870
2871 /* Make string 0 be a NULL string. */
412288f1 2872 streamer_write_char_stream (ob->string_stream, 0);
d7f09764 2873
877ab5e9
JH
2874 gcc_assert (!alias_pairs);
2875
bdc67fd6 2876 /* Get rid of the global decl state hash tables to save some memory. */
d7f09764 2877 out_state = lto_get_out_decl_state ();
bdc67fd6
RB
2878 for (int i = 0; i < LTO_N_DECL_STREAMS; i++)
2879 if (out_state->streams[i].tree_hash_table)
2880 {
2881 delete out_state->streams[i].tree_hash_table;
2882 out_state->streams[i].tree_hash_table = NULL;
2883 }
2884
2885 /* Write the global symbols. */
b4da704c
JH
2886 if (streamer_dump_file)
2887 fprintf (streamer_dump_file, "Outputting global stream\n");
d7f09764 2888 lto_output_decl_state_streams (ob, out_state);
bdc67fd6 2889 num_fns = lto_function_decl_states.length ();
d7f09764
DN
2890 for (idx = 0; idx < num_fns; idx++)
2891 {
2892 fn_out_state =
9771b263 2893 lto_function_decl_states[idx];
b4da704c
JH
2894 if (streamer_dump_file)
2895 fprintf (streamer_dump_file, "Outputting stream for %s\n",
2896 IDENTIFIER_POINTER
2897 (DECL_ASSEMBLER_NAME (fn_out_state->fn_decl)));
d7f09764
DN
2898 lto_output_decl_state_streams (ob, fn_out_state);
2899 }
2900
207c68cd
RB
2901 header.major_version = LTO_major_version;
2902 header.minor_version = LTO_minor_version;
d7f09764
DN
2903
2904 /* Currently not used. This field would allow us to preallocate
2905 the globals vector, so that it need not be resized as it is extended. */
2906 header.num_nodes = -1;
2907
2908 /* Compute the total size of all decl out states. */
2909 decl_state_size = sizeof (int32_t);
2910 decl_state_size += lto_out_decl_state_written_size (out_state);
2911 for (idx = 0; idx < num_fns; idx++)
2912 {
2913 fn_out_state =
9771b263 2914 lto_function_decl_states[idx];
d7f09764
DN
2915 decl_state_size += lto_out_decl_state_written_size (fn_out_state);
2916 }
2917 header.decl_state_size = decl_state_size;
2918
2919 header.main_size = ob->main_stream->total_size;
2920 header.string_size = ob->string_stream->total_size;
2921
f6bcdb5e 2922 lto_write_data (&header, sizeof header);
b8698a0f 2923
d7f09764
DN
2924 /* Write the main out-decl state, followed by out-decl states of
2925 functions. */
d7f09764 2926 num_decl_states = num_fns + 1;
f6bcdb5e
RB
2927 lto_write_data (&num_decl_states, sizeof (num_decl_states));
2928 lto_output_decl_state_refs (ob, out_state);
d7f09764
DN
2929 for (idx = 0; idx < num_fns; idx++)
2930 {
f6bcdb5e
RB
2931 fn_out_state = lto_function_decl_states[idx];
2932 lto_output_decl_state_refs (ob, fn_out_state);
d7f09764 2933 }
d7f09764
DN
2934
2935 lto_write_stream (ob->main_stream);
2936 lto_write_stream (ob->string_stream);
2937
2938 lto_end_section ();
2939
c5d1f058
JH
2940 /* Write the symbol table. It is used by linker to determine dependencies
2941 and thus we can skip it for WPA. */
2942 if (!flag_wpa)
877ab5e9 2943 produce_symtab (ob);
d7f09764
DN
2944
2945 /* Write command line opts. */
2946 lto_write_options ();
2947
2948 /* Deallocate memory and clean up. */
6cd174f6
JH
2949 for (idx = 0; idx < num_fns; idx++)
2950 {
2951 fn_out_state =
9771b263 2952 lto_function_decl_states[idx];
6cd174f6
JH
2953 lto_delete_out_decl_state (fn_out_state);
2954 }
7380e6ef 2955 lto_symtab_encoder_delete (ob->decl_state->symtab_node_encoder);
9771b263 2956 lto_function_decl_states.release ();
d7f09764 2957 destroy_output_block (ob);
db847fa8
JJ
2958 if (lto_stream_offload_p)
2959 lto_write_mode_table ();
d7f09764 2960}