Branch data Line data Source code
1 : : /* Write the GIMPLE representation to a file stream.
2 : :
3 : : Copyright (C) 2009-2024 Free Software Foundation, Inc.
4 : : Contributed by Kenneth Zadeck <zadeck@naturalbridge.com>
5 : : Re-implemented by Diego Novillo <dnovillo@google.com>
6 : :
7 : : This file is part of GCC.
8 : :
9 : : GCC is free software; you can redistribute it and/or modify it under
10 : : the terms of the GNU General Public License as published by the Free
11 : : Software Foundation; either version 3, or (at your option) any later
12 : : version.
13 : :
14 : : GCC is distributed in the hope that it will be useful, but WITHOUT ANY
15 : : WARRANTY; without even the implied warranty of MERCHANTABILITY or
16 : : FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
17 : : for more details.
18 : :
19 : : You should have received a copy of the GNU General Public License
20 : : along with GCC; see the file COPYING3. If not see
21 : : <http://www.gnu.org/licenses/>. */
22 : :
23 : : #include "config.h"
24 : : #include "system.h"
25 : : #include "coretypes.h"
26 : : #include "backend.h"
27 : : #include "target.h"
28 : : #include "rtl.h"
29 : : #include "tree.h"
30 : : #include "gimple.h"
31 : : #include "tree-pass.h"
32 : : #include "ssa.h"
33 : : #include "gimple-streamer.h"
34 : : #include "alias.h"
35 : : #include "stor-layout.h"
36 : : #include "gimple-iterator.h"
37 : : #include "except.h"
38 : : #include "lto-symtab.h"
39 : : #include "cgraph.h"
40 : : #include "cfgloop.h"
41 : : #include "builtins.h"
42 : : #include "gomp-constants.h"
43 : : #include "debug.h"
44 : : #include "omp-offload.h"
45 : : #include "print-tree.h"
46 : : #include "tree-dfa.h"
47 : : #include "file-prefix-map.h" /* remap_debug_filename() */
48 : : #include "output.h"
49 : : #include "ipa-utils.h"
50 : : #include "toplev.h"
51 : :
52 : :
53 : : static void lto_write_tree (struct output_block*, tree, bool);
54 : :
55 : : /* Clear the line info stored in DATA_IN. */
56 : :
57 : : static void
58 : 320675 : clear_line_info (struct output_block *ob)
59 : : {
60 : 320675 : ob->current_file = NULL;
61 : 320675 : ob->current_line = 0;
62 : 320675 : ob->current_col = 0;
63 : 320675 : ob->current_sysp = false;
64 : 320675 : ob->reset_locus = true;
65 : 320675 : ob->emit_pwd = true;
66 : : /* Initialize to something that will never appear as block,
67 : : so that the first location with block in a function etc.
68 : : always streams a change_block bit and the first block. */
69 : 320675 : ob->current_block = void_node;
70 : 320675 : ob->current_discr = UINT_MAX;
71 : 0 : }
72 : :
73 : :
74 : : /* Create the output block and return it. SECTION_TYPE is
75 : : LTO_section_function_body or LTO_static_initializer. */
76 : :
77 : : struct output_block *
78 : 320675 : create_output_block (enum lto_section_type section_type)
79 : : {
80 : 320675 : struct output_block *ob = XCNEW (struct output_block);
81 : 320675 : if (streamer_dump_file)
82 : 40 : fprintf (streamer_dump_file, "Creating output block for %s\n",
83 : 40 : lto_section_name[section_type]);
84 : :
85 : 320675 : ob->section_type = section_type;
86 : 320675 : ob->decl_state = lto_get_out_decl_state ();
87 : : /* Only global decl stream in non-wpa will ever be considered by tree
88 : : merging. */
89 : 320675 : if (!flag_wpa && section_type == LTO_section_decls)
90 : 23991 : ob->local_trees = new (hash_set <tree>);
91 : 320675 : ob->main_stream = XCNEW (struct lto_output_stream);
92 : 320675 : ob->string_stream = XCNEW (struct lto_output_stream);
93 : 320675 : ob->writer_cache = streamer_tree_cache_create (!flag_wpa, true, false);
94 : :
95 : 320675 : if (section_type == LTO_section_function_body)
96 : 116982 : ob->cfg_stream = XCNEW (struct lto_output_stream);
97 : :
98 : 320675 : clear_line_info (ob);
99 : :
100 : 320675 : ob->string_hash_table = new hash_table<string_slot_hasher> (37);
101 : 320675 : gcc_obstack_init (&ob->obstack);
102 : :
103 : 320675 : return ob;
104 : : }
105 : :
106 : :
107 : : /* Destroy the output block OB. */
108 : :
109 : : void
110 : 320675 : destroy_output_block (struct output_block *ob)
111 : : {
112 : 320675 : enum lto_section_type section_type = ob->section_type;
113 : :
114 : 320675 : delete ob->string_hash_table;
115 : 320675 : ob->string_hash_table = NULL;
116 : 344666 : delete ob->local_trees;
117 : :
118 : 320675 : free (ob->main_stream);
119 : 320675 : free (ob->string_stream);
120 : 320675 : if (section_type == LTO_section_function_body)
121 : 116982 : free (ob->cfg_stream);
122 : :
123 : 320675 : streamer_tree_cache_delete (ob->writer_cache);
124 : 320675 : obstack_free (&ob->obstack, NULL);
125 : :
126 : 320675 : free (ob);
127 : 320675 : }
128 : :
129 : :
130 : : /* Wrapper around variably_modified_type_p avoiding type modification
131 : : during WPA streaming. */
132 : :
133 : : static bool
134 : 13758427 : lto_variably_modified_type_p (tree type)
135 : : {
136 : 13758427 : return (in_lto_p
137 : 27244388 : ? TYPE_LANG_FLAG_0 (TYPE_MAIN_VARIANT (type))
138 : 13485961 : : variably_modified_type_p (type, NULL_TREE));
139 : : }
140 : :
141 : :
142 : : /* Return true if tree node T is written to various tables. For these
143 : : nodes, we sometimes want to write their phyiscal representation
144 : : (via lto_output_tree), and sometimes we need to emit an index
145 : : reference into a table (via lto_output_tree_ref). */
146 : :
147 : : static bool
148 : 34899570 : tree_is_indexable (tree t)
149 : : {
150 : : /* Parameters and return values of functions of variably modified types
151 : : must go to global stream, because they may be used in the type
152 : : definition. */
153 : 33814256 : if ((TREE_CODE (t) == PARM_DECL || TREE_CODE (t) == RESULT_DECL)
154 : 35224014 : && DECL_CONTEXT (t))
155 : 1409758 : return lto_variably_modified_type_p (TREE_TYPE (DECL_CONTEXT (t)));
156 : : /* IMPORTED_DECL is put into BLOCK and thus it never can be shared.
157 : : We should no longer need to stream it. */
158 : 33489812 : else if (TREE_CODE (t) == IMPORTED_DECL)
159 : 0 : gcc_unreachable ();
160 : 33489812 : else if (TREE_CODE (t) == LABEL_DECL)
161 : 79225 : return FORCED_LABEL (t) || DECL_NONLOCAL (t);
162 : 33410587 : else if (((VAR_P (t) && !TREE_STATIC (t))
163 : : || TREE_CODE (t) == TYPE_DECL
164 : : || TREE_CODE (t) == CONST_DECL
165 : : || TREE_CODE (t) == NAMELIST_DECL)
166 : 33410880 : && decl_function_context (t))
167 : : return false;
168 : 32574468 : else if (TREE_CODE (t) == DEBUG_EXPR_DECL)
169 : : return false;
170 : : /* Variably modified types need to be streamed alongside function
171 : : bodies because they can refer to local entities. Together with
172 : : them we have to localize their members as well.
173 : : ??? In theory that includes non-FIELD_DECLs as well. */
174 : 32572578 : else if (TYPE_P (t)
175 : 32572578 : && lto_variably_modified_type_p (t))
176 : : return false;
177 : 32561334 : else if (TREE_CODE (t) == FIELD_DECL
178 : 32561334 : && lto_variably_modified_type_p (DECL_CONTEXT (t)))
179 : : return false;
180 : : else
181 : 52805709 : return (IS_TYPE_OR_DECL_P (t) || TREE_CODE (t) == SSA_NAME);
182 : : }
183 : :
184 : :
185 : : /* Output info about new location into bitpack BP.
186 : : After outputting bitpack, lto_output_location_data has
187 : : to be done to output actual data. */
188 : :
189 : : static void
190 : 6650297 : lto_output_location_1 (struct output_block *ob, struct bitpack_d *bp,
191 : : location_t orig_loc, bool block_p)
192 : : {
193 : 6650297 : location_t loc = LOCATION_LOCUS (orig_loc);
194 : :
195 : 6650297 : if (loc >= RESERVED_LOCATION_COUNT)
196 : : {
197 : 4279815 : expanded_location xloc = expand_location (loc);
198 : 4279815 : unsigned discr = get_discriminator_from_loc (orig_loc);
199 : :
200 : 4279815 : if (ob->reset_locus)
201 : : {
202 : 139744 : if (xloc.file == NULL)
203 : 0 : ob->current_file = "";
204 : 139744 : if (xloc.line == 0)
205 : 0 : ob->current_line = 1;
206 : 139744 : if (xloc.column == 0)
207 : 4 : ob->current_col = 1;
208 : 139744 : ob->reset_locus = false;
209 : : }
210 : :
211 : : /* As RESERVED_LOCATION_COUNT is 2, we can use the spare value of
212 : : 3 without wasting additional bits to signalize file change.
213 : : If RESERVED_LOCATION_COUNT changes, reconsider this. */
214 : 4279815 : gcc_checking_assert (RESERVED_LOCATION_COUNT == 2);
215 : 4279815 : bp_pack_int_in_range (bp, 0, RESERVED_LOCATION_COUNT + 1,
216 : : RESERVED_LOCATION_COUNT
217 : 4279815 : + (ob->current_file != xloc.file));
218 : :
219 : 4279815 : bp_pack_value (bp, ob->current_line != xloc.line, 1);
220 : 4279815 : bp_pack_value (bp, ob->current_col != xloc.column, 1);
221 : 4279815 : bp_pack_value (bp, ob->current_discr != discr, 1);
222 : :
223 : 4279815 : if (ob->current_file != xloc.file)
224 : : {
225 : 207539 : bool stream_pwd = false;
226 : 207539 : const char *remapped = remap_debug_filename (xloc.file);
227 : 207539 : if (ob->emit_pwd && remapped && !IS_ABSOLUTE_PATH (remapped))
228 : : {
229 : 10791 : stream_pwd = true;
230 : 10791 : ob->emit_pwd = false;
231 : : }
232 : 207539 : bp_pack_value (bp, stream_pwd, 1);
233 : 207539 : if (stream_pwd)
234 : 10791 : bp_pack_string (ob, bp, get_src_pwd (), true);
235 : 207539 : bp_pack_string (ob, bp, remapped, true);
236 : 207539 : bp_pack_value (bp, xloc.sysp, 1);
237 : : }
238 : 4279815 : ob->current_file = xloc.file;
239 : 4279815 : ob->current_sysp = xloc.sysp;
240 : :
241 : 4279815 : if (ob->current_line != xloc.line)
242 : 1366388 : bp_pack_var_len_unsigned (bp, xloc.line);
243 : 4279815 : ob->current_line = xloc.line;
244 : :
245 : 4279815 : if (ob->current_col != xloc.column)
246 : 1645698 : bp_pack_var_len_unsigned (bp, xloc.column);
247 : 4279815 : ob->current_col = xloc.column;
248 : :
249 : 4279815 : if (ob->current_discr != discr)
250 : 1100747 : bp_pack_var_len_unsigned (bp, discr);
251 : 4279815 : ob->current_discr = discr;
252 : : }
253 : : else
254 : 2370482 : bp_pack_int_in_range (bp, 0, RESERVED_LOCATION_COUNT + 1, loc);
255 : :
256 : 6650297 : if (block_p)
257 : : {
258 : 2898860 : tree block = LOCATION_BLOCK (orig_loc);
259 : 2898860 : bp_pack_value (bp, ob->current_block != block, 1);
260 : 2898860 : streamer_write_bitpack (bp);
261 : 2898860 : if (ob->current_block != block)
262 : 686867 : lto_output_tree (ob, block, true, true);
263 : 2898860 : ob->current_block = block;
264 : : }
265 : 6650297 : }
266 : :
267 : : /* Output info about new location into bitpack BP.
268 : : After outputting bitpack, lto_output_location_data has
269 : : to be done to output actual data. */
270 : :
271 : : void
272 : 3751437 : lto_output_location (struct output_block *ob, struct bitpack_d *bp,
273 : : location_t loc)
274 : : {
275 : 3751437 : lto_output_location_1 (ob, bp, loc, false);
276 : 3751437 : }
277 : :
278 : : /* Output info about new location into bitpack BP.
279 : : After outputting bitpack, lto_output_location_data has
280 : : to be done to output actual data. Like lto_output_location, but
281 : : additionally output LOCATION_BLOCK info too and write the BP bitpack. */
282 : :
283 : : void
284 : 2898860 : lto_output_location_and_block (struct output_block *ob, struct bitpack_d *bp,
285 : : location_t loc)
286 : : {
287 : 2898860 : lto_output_location_1 (ob, bp, loc, true);
288 : 2898860 : }
289 : :
290 : :
291 : : /* Lookup NAME in ENCODER. If NAME is not found, create a new entry in
292 : : ENCODER for NAME with the next available index of ENCODER, then
293 : : print the index to OBS.
294 : : Return the index. */
295 : :
296 : :
297 : : static unsigned
298 : 7785497 : lto_get_index (struct lto_tree_ref_encoder *encoder, tree t)
299 : : {
300 : 7785497 : bool existed_p;
301 : :
302 : 7785497 : unsigned int &index
303 : 7785497 : = encoder->tree_hash_table->get_or_insert (t, &existed_p);
304 : 7785497 : if (!existed_p)
305 : : {
306 : 2131208 : index = encoder->trees.length ();
307 : 2131208 : if (streamer_dump_file)
308 : : {
309 : 176 : print_node_brief (streamer_dump_file, " Encoding indexable ",
310 : : t, 4);
311 : 176 : fprintf (streamer_dump_file, " as %i \n", index);
312 : : }
313 : 2131208 : encoder->trees.safe_push (t);
314 : : }
315 : :
316 : 7785497 : return index;
317 : : }
318 : :
319 : :
320 : : /* If EXPR is an indexable tree node, output a reference to it to
321 : : output block OB. Otherwise, output the physical representation of
322 : : EXPR to OB. */
323 : :
324 : : static void
325 : 9230132 : lto_indexable_tree_ref (struct output_block *ob, tree expr,
326 : : enum LTO_tags *tag, unsigned *index)
327 : : {
328 : 9230132 : gcc_checking_assert (tree_is_indexable (expr));
329 : :
330 : 9230132 : if (TREE_CODE (expr) == SSA_NAME)
331 : : {
332 : 2147592 : *tag = LTO_ssa_name_ref;
333 : 2147592 : *index = SSA_NAME_VERSION (expr);
334 : : }
335 : : else
336 : : {
337 : 7082540 : *tag = LTO_global_stream_ref;
338 : 7082540 : *index = lto_get_index (&ob->decl_state->streams[LTO_DECL_STREAM], expr);
339 : : }
340 : 9230132 : }
341 : :
342 : :
343 : : /* Output a static or extern var DECL to OBS. */
344 : :
345 : : void
346 : 286429 : lto_output_var_decl_ref (struct lto_out_decl_state *decl_state,
347 : : struct lto_output_stream * obs, tree decl)
348 : : {
349 : 286429 : gcc_checking_assert (VAR_P (decl));
350 : 286429 : streamer_write_uhwi_stream
351 : 286429 : (obs, lto_get_index (&decl_state->streams[LTO_DECL_STREAM],
352 : : decl));
353 : 286429 : }
354 : :
355 : :
356 : : /* Output a static or extern var DECL to OBS. */
357 : :
358 : : void
359 : 416528 : lto_output_fn_decl_ref (struct lto_out_decl_state *decl_state,
360 : : struct lto_output_stream * obs, tree decl)
361 : : {
362 : 416528 : gcc_checking_assert (TREE_CODE (decl) == FUNCTION_DECL);
363 : 416528 : streamer_write_uhwi_stream
364 : 416528 : (obs, lto_get_index (&decl_state->streams[LTO_DECL_STREAM], decl));
365 : 416528 : }
366 : :
367 : : /* Return true if EXPR is a tree node that can be written to disk. */
368 : :
369 : : static inline bool
370 : 6892687 : lto_is_streamable (tree expr)
371 : : {
372 : 6892687 : enum tree_code code = TREE_CODE (expr);
373 : :
374 : : /* Notice that we reject SSA_NAMEs as well. We only emit the SSA
375 : : name version in lto_output_tree_ref (see output_ssa_names). */
376 : 6892687 : return !is_lang_specific (expr)
377 : 6892687 : && code != SSA_NAME
378 : 6892687 : && code != LANG_TYPE
379 : : && code != MODIFY_EXPR
380 : 6892687 : && code != INIT_EXPR
381 : 6892687 : && code != TARGET_EXPR
382 : 6892687 : && code != BIND_EXPR
383 : 6892687 : && code != WITH_CLEANUP_EXPR
384 : 6892687 : && code != STATEMENT_LIST
385 : 6892687 : && (code == CASE_LABEL_EXPR
386 : 6892687 : || code == DECL_EXPR
387 : 6885225 : || TREE_CODE_CLASS (code) != tcc_statement);
388 : : }
389 : :
390 : : /* Very rough estimate of streaming size of the initializer. If we ignored
391 : : presence of strings, we could simply just count number of non-indexable
392 : : tree nodes and number of references to indexable nodes. Strings however
393 : : may be very large and we do not want to dump them int othe global stream.
394 : :
395 : : Count the size of initializer until the size in DATA is positive. */
396 : :
397 : : static tree
398 : 97326 : subtract_estimated_size (tree *tp, int *ws, void *data)
399 : : {
400 : 97326 : long *sum = (long *)data;
401 : 97326 : if (tree_is_indexable (*tp))
402 : : {
403 : : /* Indexable tree is one reference to global stream.
404 : : Guess it may be about 4 bytes. */
405 : 1494 : *sum -= 4;
406 : 1494 : *ws = 0;
407 : : }
408 : : /* String table entry + base of tree node needs to be streamed. */
409 : 97326 : if (TREE_CODE (*tp) == STRING_CST)
410 : 7308 : *sum -= TREE_STRING_LENGTH (*tp) + 8;
411 : : else
412 : : {
413 : : /* Identifiers are also variable length but should not appear
414 : : naked in constructor. */
415 : 90018 : gcc_checking_assert (TREE_CODE (*tp) != IDENTIFIER_NODE);
416 : : /* We do not really make attempt to work out size of pickled tree, as
417 : : it is very variable. Make it bigger than the reference. */
418 : 90018 : *sum -= 16;
419 : : }
420 : 97326 : if (*sum < 0)
421 : 31677 : return *tp;
422 : : return NULL_TREE;
423 : : }
424 : :
425 : :
426 : : /* For EXPR lookup and return what we want to stream to OB as DECL_INITIAL. */
427 : :
428 : : static tree
429 : 2374880 : get_symbol_initial_value (lto_symtab_encoder_t encoder, tree expr)
430 : : {
431 : 2374880 : gcc_checking_assert (DECL_P (expr)
432 : : && TREE_CODE (expr) != FUNCTION_DECL
433 : : && TREE_CODE (expr) != TRANSLATION_UNIT_DECL);
434 : :
435 : : /* Handle DECL_INITIAL for symbols. */
436 : 2374880 : tree initial = DECL_INITIAL (expr);
437 : 2374880 : if (VAR_P (expr)
438 : 1185252 : && (TREE_STATIC (expr) || DECL_EXTERNAL (expr))
439 : 852010 : && !DECL_IN_CONSTANT_POOL (expr)
440 : 3226770 : && initial)
441 : : {
442 : 82612 : varpool_node *vnode;
443 : : /* Extra section needs about 30 bytes; do not produce it for simple
444 : : scalar values. */
445 : 82612 : if (!(vnode = varpool_node::get (expr))
446 : 82612 : || !lto_symtab_encoder_encode_initializer_p (encoder, vnode))
447 : 3170 : initial = error_mark_node;
448 : 82612 : if (initial != error_mark_node)
449 : : {
450 : 66441 : long max_size = 30;
451 : 66441 : if (walk_tree (&initial, subtract_estimated_size, (void *)&max_size,
452 : : NULL))
453 : 31677 : initial = error_mark_node;
454 : : }
455 : : }
456 : :
457 : 2374880 : return initial;
458 : : }
459 : :
460 : :
461 : : /* Output reference to tree T to the stream.
462 : : Assume that T is already in encoder cache.
463 : : This is used to stream tree bodies where we know the DFS walk arranged
464 : : everything to cache. Must be matched with stream_read_tree_ref. */
465 : :
466 : : void
467 : 31102708 : stream_write_tree_ref (struct output_block *ob, tree t)
468 : : {
469 : 31102708 : if (!t)
470 : 11858338 : streamer_write_zero (ob);
471 : : else
472 : : {
473 : 19244370 : unsigned int ix;
474 : 19244370 : bool existed_p = streamer_tree_cache_lookup (ob->writer_cache, t, &ix);
475 : 19244370 : if (existed_p)
476 : 14886785 : streamer_write_hwi (ob, ix + 1);
477 : : else
478 : : {
479 : 4357585 : enum LTO_tags tag;
480 : 4357585 : unsigned ix;
481 : 4357585 : int id = 0;
482 : :
483 : 4357585 : lto_indexable_tree_ref (ob, t, &tag, &ix);
484 : 4357585 : if (tag == LTO_ssa_name_ref)
485 : : id = 1;
486 : : else
487 : 4161185 : gcc_checking_assert (tag == LTO_global_stream_ref);
488 : 4357585 : streamer_write_hwi (ob, -(int)(ix * 2 + id + 1));
489 : : }
490 : : }
491 : 31102708 : }
492 : :
493 : :
494 : :
495 : : /* Write a physical representation of tree node EXPR to output block
496 : : OB. If REF_P is true, the leaves of EXPR are emitted as references
497 : : via lto_output_tree_ref. IX is the index into the streamer cache
498 : : where EXPR is stored. */
499 : :
500 : : static void
501 : 6892687 : lto_write_tree_1 (struct output_block *ob, tree expr, bool ref_p)
502 : : {
503 : 6892687 : if (streamer_dump_file)
504 : : {
505 : 416 : print_node_brief (streamer_dump_file, " Streaming body of ",
506 : : expr, 4);
507 : 416 : fprintf (streamer_dump_file, " to %s\n",
508 : 416 : lto_section_name[ob->section_type]);
509 : : }
510 : :
511 : : /* Pack all the non-pointer fields in EXPR into a bitpack and write
512 : : the resulting bitpack. */
513 : 6892687 : streamer_write_tree_bitfields (ob, expr);
514 : :
515 : : /* Write all the pointer fields in EXPR. */
516 : 6892687 : streamer_write_tree_body (ob, expr);
517 : :
518 : : /* Write any LTO-specific data to OB. */
519 : 6892687 : if (DECL_P (expr)
520 : 1502709 : && TREE_CODE (expr) != FUNCTION_DECL
521 : 1077838 : && TREE_CODE (expr) != TRANSLATION_UNIT_DECL)
522 : : {
523 : : /* Handle DECL_INITIAL for symbols. */
524 : 1044245 : tree initial = get_symbol_initial_value
525 : 1044245 : (ob->decl_state->symtab_node_encoder, expr);
526 : 1044245 : stream_write_tree (ob, initial, ref_p);
527 : : }
528 : :
529 : : /* Stream references to early generated DIEs. Keep in sync with the
530 : : trees handled in dwarf2out_die_ref_for_decl. */
531 : 6892687 : if ((DECL_P (expr)
532 : : && TREE_CODE (expr) != FIELD_DECL
533 : : && TREE_CODE (expr) != DEBUG_EXPR_DECL
534 : : && TREE_CODE (expr) != TYPE_DECL)
535 : 5520453 : || TREE_CODE (expr) == BLOCK)
536 : : {
537 : 1706323 : const char *sym;
538 : 1706323 : unsigned HOST_WIDE_INT off;
539 : 1706323 : if (debug_info_level > DINFO_LEVEL_NONE
540 : 1706323 : && debug_hooks->die_ref_for_decl (expr, &sym, &off))
541 : : {
542 : 48297 : streamer_write_string (ob, ob->main_stream, sym, true);
543 : 48297 : streamer_write_uhwi (ob, off);
544 : : }
545 : : else
546 : 1658026 : streamer_write_string (ob, ob->main_stream, NULL, true);
547 : : }
548 : 6892687 : }
549 : :
550 : : /* Write a physical representation of tree node EXPR to output block
551 : : OB. If REF_P is true, the leaves of EXPR are emitted as references
552 : : via lto_output_tree_ref. IX is the index into the streamer cache
553 : : where EXPR is stored. */
554 : :
555 : : static void
556 : 6634887 : lto_write_tree (struct output_block *ob, tree expr, bool ref_p)
557 : : {
558 : 6634887 : if (!lto_is_streamable (expr))
559 : 0 : internal_error ("tree code %qs is not supported in LTO streams",
560 : 0 : get_tree_code_name (TREE_CODE (expr)));
561 : :
562 : : /* Write the header, containing everything needed to materialize
563 : : EXPR on the reading side. */
564 : 6634887 : streamer_write_tree_header (ob, expr);
565 : :
566 : 6634887 : lto_write_tree_1 (ob, expr, ref_p);
567 : 6634887 : }
568 : :
569 : : /* Emit the physical representation of tree node EXPR to output block OB,
570 : : If THIS_REF_P is true, the leaves of EXPR are emitted as references via
571 : : lto_output_tree_ref. REF_P is used for streaming siblings of EXPR. */
572 : :
573 : : static void
574 : 7652576 : lto_output_tree_1 (struct output_block *ob, tree expr, hashval_t hash,
575 : : bool ref_p, bool this_ref_p)
576 : : {
577 : 7652576 : unsigned ix;
578 : :
579 : 7652576 : gcc_checking_assert (expr != NULL_TREE
580 : : && !(this_ref_p && tree_is_indexable (expr)));
581 : :
582 : 7652576 : bool exists_p = streamer_tree_cache_insert (ob->writer_cache,
583 : : expr, hash, &ix);
584 : 7652576 : gcc_assert (!exists_p);
585 : 7652576 : if (TREE_CODE (expr) == INTEGER_CST
586 : 7652576 : && !TREE_OVERFLOW (expr))
587 : : {
588 : : /* Shared INTEGER_CST nodes are special because they need their
589 : : original type to be materialized by the reader (to implement
590 : : TYPE_CACHED_VALUES). */
591 : 1017689 : streamer_write_integer_cst (ob, expr);
592 : : }
593 : : else
594 : : {
595 : : /* This is the first time we see EXPR, write its fields
596 : : to OB. */
597 : 6634887 : lto_write_tree (ob, expr, ref_p);
598 : : }
599 : 7652576 : }
600 : :
601 : : class DFS
602 : : {
603 : : public:
604 : : DFS (struct output_block *ob, tree expr, bool ref_p, bool this_ref_p,
605 : : bool single_p);
606 : : ~DFS ();
607 : :
608 : : struct scc_entry
609 : : {
610 : : tree t;
611 : : hashval_t hash;
612 : : };
613 : : auto_vec<scc_entry,32> sccstack;
614 : :
615 : : private:
616 : : struct sccs
617 : : {
618 : : unsigned int dfsnum;
619 : : unsigned int low;
620 : : };
621 : : struct worklist
622 : : {
623 : : tree expr;
624 : : sccs *from_state;
625 : : sccs *cstate;
626 : : bool ref_p;
627 : : bool this_ref_p;
628 : : };
629 : : /* Maximum index of scc stack containing a local tree. */
630 : : int max_local_entry;
631 : :
632 : : static int scc_entry_compare (const void *, const void *);
633 : :
634 : : void DFS_write_tree_body (struct output_block *ob,
635 : : tree expr, sccs *expr_state, bool ref_p);
636 : :
637 : : void DFS_write_tree (struct output_block *ob, sccs *from_state,
638 : : tree expr, bool ref_p, bool this_ref_p);
639 : :
640 : : hashval_t
641 : : hash_scc (struct output_block *ob, unsigned first, unsigned size,
642 : : bool ref_p, bool this_ref_p);
643 : :
644 : : hash_map<tree, sccs *> sccstate;
645 : : auto_vec<worklist, 32> worklist_vec;
646 : : struct obstack sccstate_obstack;
647 : : };
648 : :
649 : : /* Return true if type can not be merged with structurally same tree in
650 : : other translation unit. During stream out this information is propagated
651 : : to all trees referring to T and they are not streamed with additional
652 : : information needed by the tree merging in lto-common.cc (in particular,
653 : : scc hash codes are not streamed).
654 : :
655 : : TRANSLATION_UNIT_DECL is handled specially since references to it does
656 : : not make other trees local as well. */
657 : :
658 : : static bool
659 : 2786435 : local_tree_p (tree t)
660 : : {
661 : 2786435 : switch (TREE_CODE (t))
662 : : {
663 : : case LABEL_DECL:
664 : : return true;
665 : 1504 : case NAMESPACE_DECL:
666 : 1504 : return !DECL_NAME (t);
667 : 611872 : case VAR_DECL:
668 : 611872 : case FUNCTION_DECL:
669 : 611872 : return !TREE_PUBLIC (t) && !DECL_EXTERNAL (t);
670 : 70776 : case RECORD_TYPE:
671 : 70776 : case UNION_TYPE:
672 : 70776 : case ENUMERAL_TYPE:
673 : : /* Anonymous namespace types are local.
674 : : Only work hard for main variants;
675 : : variant types will inherit locality. */
676 : 70776 : return TYPE_MAIN_VARIANT (t) == t
677 : 57131 : && odr_type_p (t) && type_with_linkage_p (t)
678 : 89794 : && type_in_anonymous_namespace_p (t);
679 : : default:
680 : : return false;
681 : : }
682 : : }
683 : :
684 : : /* Emit the physical representation of tree node EXPR to output block OB,
685 : : using depth-first search on the subgraph. If THIS_REF_P is true, the
686 : : leaves of EXPR are emitted as references via lto_output_tree_ref.
687 : : REF_P is used for streaming siblings of EXPR. If SINGLE_P is true,
688 : : this is for a rewalk of a single leaf SCC. */
689 : :
690 : 2924989 : DFS::DFS (struct output_block *ob, tree expr, bool ref_p, bool this_ref_p,
691 : 2924989 : bool single_p)
692 : : {
693 : 2924989 : unsigned int next_dfs_num = 1;
694 : :
695 : 2924989 : max_local_entry = -1;
696 : 2924989 : gcc_obstack_init (&sccstate_obstack);
697 : 2924989 : DFS_write_tree (ob, NULL, expr, ref_p, this_ref_p);
698 : 21135193 : while (!worklist_vec.is_empty ())
699 : : {
700 : 17300549 : worklist &w = worklist_vec.last ();
701 : 17300549 : expr = w.expr;
702 : 17300549 : sccs *from_state = w.from_state;
703 : 17300549 : sccs *cstate = w.cstate;
704 : 17300549 : ref_p = w.ref_p;
705 : 17300549 : this_ref_p = w.this_ref_p;
706 : 17300549 : if (cstate == NULL)
707 : : {
708 : 9379337 : sccs **slot = &sccstate.get_or_insert (expr);
709 : 9379337 : cstate = *slot;
710 : 9379337 : if (cstate)
711 : : {
712 : 1458125 : gcc_checking_assert (from_state);
713 : 1458125 : if (cstate->dfsnum < from_state->dfsnum)
714 : 179550 : from_state->low = MIN (cstate->dfsnum, from_state->low);
715 : 1458125 : worklist_vec.pop ();
716 : 1458125 : continue;
717 : : }
718 : :
719 : 7921212 : scc_entry e = { expr, 0 };
720 : : /* Not yet visited. DFS recurse and push it onto the stack. */
721 : 7921212 : *slot = cstate = XOBNEW (&sccstate_obstack, struct sccs);
722 : 7921212 : if (ob->local_trees && local_tree_p (expr))
723 : 82646 : max_local_entry = sccstack.length ();
724 : 7921212 : sccstack.safe_push (e);
725 : 7921212 : cstate->dfsnum = next_dfs_num++;
726 : 7921212 : cstate->low = cstate->dfsnum;
727 : 7921212 : w.cstate = cstate;
728 : :
729 : 7921212 : if (TREE_CODE (expr) == INTEGER_CST
730 : 7921212 : && !TREE_OVERFLOW (expr))
731 : 1057191 : DFS_write_tree (ob, cstate, TREE_TYPE (expr), ref_p, ref_p);
732 : : else
733 : : {
734 : 6864021 : DFS_write_tree_body (ob, expr, cstate, ref_p);
735 : :
736 : : /* Walk any LTO-specific edges. */
737 : 6864021 : if (DECL_P (expr)
738 : 1506356 : && TREE_CODE (expr) != FUNCTION_DECL
739 : 1081485 : && TREE_CODE (expr) != TRANSLATION_UNIT_DECL)
740 : : {
741 : : /* Handle DECL_INITIAL for symbols. */
742 : 1047892 : tree initial
743 : 1047892 : = get_symbol_initial_value (ob->decl_state->symtab_node_encoder,
744 : : expr);
745 : 1047892 : DFS_write_tree (ob, cstate, initial, ref_p, ref_p);
746 : : }
747 : : }
748 : 7921212 : continue;
749 : 7921212 : }
750 : :
751 : : /* See if we found an SCC. */
752 : 7921212 : if (cstate->low == cstate->dfsnum)
753 : : {
754 : 7730204 : unsigned first, size;
755 : 7730204 : tree x;
756 : :
757 : : /* If we are re-walking a single leaf SCC just pop it,
758 : : let earlier worklist item access the sccstack. */
759 : 7730204 : if (single_p)
760 : : {
761 : 340 : worklist_vec.pop ();
762 : 340 : continue;
763 : : }
764 : :
765 : : /* Pop the SCC and compute its size. */
766 : 15459728 : first = sccstack.length ();
767 : 7910376 : do
768 : : {
769 : 7910376 : x = sccstack[--first].t;
770 : : }
771 : 7910376 : while (x != expr);
772 : 7729864 : size = sccstack.length () - first;
773 : :
774 : : /* No need to compute hashes for LTRANS units, we don't perform
775 : : any merging there. */
776 : 7729864 : hashval_t scc_hash = 0;
777 : 7729864 : unsigned scc_entry_len = 0;
778 : 20597737 : bool local_to_unit = !ob->local_trees
779 : 7729864 : || max_local_entry >= (int)first;
780 : :
781 : : /* Remember that trees are local so info gets propagated to other
782 : : SCCs. */
783 : 5138009 : if (local_to_unit && ob->local_trees)
784 : : {
785 : 90385 : for (unsigned i = 0; i < size; ++i)
786 : 46433 : ob->local_trees->add (sccstack[first + i].t);
787 : : }
788 : :
789 : : /* As a special case do not stream TRANSLATION_UNIT_DECL as shared
790 : : tree. We can not mark it local because references to it does not
791 : : make other trees local (all global decls reffer to it via
792 : : CONTEXT). */
793 : 7729864 : if (size == 1
794 : 7729864 : && TREE_CODE (sccstack[first].t) == TRANSLATION_UNIT_DECL)
795 : : local_to_unit = true;
796 : :
797 : 7696271 : if (!local_to_unit)
798 : : {
799 : 2568084 : scc_hash = hash_scc (ob, first, size, ref_p, this_ref_p);
800 : :
801 : : /* Put the entries with the least number of collisions first. */
802 : 2568084 : unsigned entry_start = 0;
803 : 2568084 : scc_entry_len = size + 1;
804 : 5273479 : for (unsigned i = 0; i < size;)
805 : : {
806 : 2705395 : unsigned from = i;
807 : 2705395 : for (i = i + 1; i < size
808 : 2705395 : && (sccstack[first + i].hash
809 : 137311 : == sccstack[first + from].hash); ++i)
810 : : ;
811 : 2705395 : if (i - from < scc_entry_len)
812 : : {
813 : 2568084 : scc_entry_len = i - from;
814 : 2568084 : entry_start = from;
815 : : }
816 : : }
817 : 5136168 : for (unsigned i = 0; i < scc_entry_len; ++i)
818 : 2568084 : std::swap (sccstack[first + i],
819 : 2568084 : sccstack[first + entry_start + i]);
820 : :
821 : : /* We already sorted SCC deterministically in hash_scc. */
822 : :
823 : : /* Check that we have only one SCC.
824 : : Naturally we may have conflicts if hash function is not
825 : : strong enough. Lets see how far this gets. */
826 : 2568084 : gcc_checking_assert (scc_entry_len == 1);
827 : : }
828 : :
829 : 7729864 : worklist_vec.pop ();
830 : :
831 : 7729864 : unsigned int prev_size = ob->main_stream->total_size;
832 : :
833 : : /* Only global decl sections are considered by tree merging. */
834 : 7729864 : if (ob->section_type != LTO_section_decls)
835 : : {
836 : : /* If this is the original tree we stream and it forms SCC
837 : : by itself then we do not need to stream SCC at all. */
838 : 4408120 : if (worklist_vec.is_empty () && first == 0 && size == 1)
839 : : return;
840 : 2392786 : if (streamer_dump_file)
841 : : {
842 : 140 : fprintf (streamer_dump_file,
843 : : " Start of LTO_trees of size %i\n", size);
844 : : }
845 : 2392786 : streamer_write_record_start (ob, LTO_trees);
846 : 2392786 : streamer_write_uhwi (ob, size);
847 : : }
848 : : /* Write LTO_tree_scc if tree merging is going to be performed. */
849 : 3321744 : else if (!local_to_unit
850 : : /* These are special since sharing is not done by tree
851 : : merging machinery. We can not special case them earlier
852 : : because we still need to compute hash for further sharing
853 : : of trees referring to them. */
854 : 3321744 : && (size != 1
855 : 2504774 : || (TREE_CODE (sccstack[first].t) != IDENTIFIER_NODE
856 : 1649912 : && (TREE_CODE (sccstack[first].t) != INTEGER_CST
857 : 144103 : || TREE_OVERFLOW (sccstack[first].t)))))
858 : :
859 : : {
860 : 1569121 : gcc_checking_assert (ob->section_type == LTO_section_decls);
861 : 1569121 : if (streamer_dump_file)
862 : : {
863 : 172 : fprintf (streamer_dump_file,
864 : : " Start of LTO_tree_scc of size %i\n", size);
865 : : }
866 : 1569121 : streamer_write_record_start (ob, LTO_tree_scc);
867 : : /* In wast majority of cases scc_entry_len is 1 and size is small
868 : : integer. Use extra bit of size to stream info about
869 : : exceptions. */
870 : 1569121 : streamer_write_uhwi (ob, size * 2 + (scc_entry_len != 1));
871 : 1569121 : if (scc_entry_len != 1)
872 : 0 : streamer_write_uhwi (ob, scc_entry_len);
873 : 1569121 : streamer_write_uhwi (ob, scc_hash);
874 : : }
875 : : /* Non-trivial SCCs must be packed to trees blocks so forward
876 : : references work correctly. */
877 : 1752623 : else if (size != 1)
878 : : {
879 : 13842 : if (streamer_dump_file)
880 : : {
881 : 0 : fprintf (streamer_dump_file,
882 : : " Start of LTO_trees of size %i\n", size);
883 : : }
884 : 13842 : streamer_write_record_start (ob, LTO_trees);
885 : 13842 : streamer_write_uhwi (ob, size);
886 : : }
887 : 1738781 : else if (streamer_dump_file)
888 : : {
889 : 108 : fprintf (streamer_dump_file, " Streaming single tree\n");
890 : : }
891 : :
892 : : /* Write size-1 SCCs without wrapping them inside SCC bundles.
893 : : All INTEGER_CSTs need to be handled this way as we need
894 : : their type to materialize them. Also builtins are handled
895 : : this way. */
896 : 5714530 : if (size == 1)
897 : 5637242 : lto_output_tree_1 (ob, expr, scc_hash, ref_p, this_ref_p);
898 : : else
899 : : {
900 : :
901 : : /* Write all headers and populate the streamer cache. */
902 : 335088 : for (unsigned i = 0; i < size; ++i)
903 : : {
904 : 257800 : hashval_t hash = sccstack[first+i].hash;
905 : 257800 : tree t = sccstack[first+i].t;
906 : 257800 : bool exists_p = streamer_tree_cache_insert (ob->writer_cache,
907 : : t, hash, NULL);
908 : 257800 : gcc_assert (!exists_p);
909 : :
910 : 257800 : if (!lto_is_streamable (t))
911 : 0 : internal_error ("tree code %qs is not supported "
912 : : "in LTO streams",
913 : 0 : get_tree_code_name (TREE_CODE (t)));
914 : :
915 : : /* Write the header, containing everything needed to
916 : : materialize EXPR on the reading side. */
917 : 257800 : streamer_write_tree_header (ob, t);
918 : : }
919 : :
920 : : /* Write the bitpacks and tree references. */
921 : 335088 : for (unsigned i = 0; i < size; ++i)
922 : 257800 : lto_write_tree_1 (ob, sccstack[first+i].t, ref_p);
923 : : }
924 : 5714530 : if (streamer_dump_file)
925 : 420 : fprintf (streamer_dump_file, " %u bytes\n",
926 : 420 : ob->main_stream->total_size - prev_size);
927 : :
928 : : /* Finally truncate the vector. */
929 : 5714530 : sccstack.truncate (first);
930 : 5714530 : if ((int)first <= max_local_entry)
931 : 43952 : max_local_entry = first - 1;
932 : :
933 : 5714530 : if (from_state)
934 : 4805215 : from_state->low = MIN (from_state->low, cstate->low);
935 : 5714530 : continue;
936 : 5714530 : }
937 : :
938 : 191008 : gcc_checking_assert (from_state);
939 : 191008 : from_state->low = MIN (from_state->low, cstate->low);
940 : 191008 : if (cstate->dfsnum < from_state->dfsnum)
941 : 0 : from_state->low = MIN (cstate->dfsnum, from_state->low);
942 : 191008 : worklist_vec.pop ();
943 : : }
944 : : }
945 : :
946 : 2924989 : DFS::~DFS ()
947 : : {
948 : 2924989 : obstack_free (&sccstate_obstack, NULL);
949 : 2924989 : }
950 : :
951 : : /* Handle the tree EXPR in the DFS walk with SCC state EXPR_STATE and
952 : : DFS recurse for all tree edges originating from it. */
953 : :
954 : : void
955 : 6864021 : DFS::DFS_write_tree_body (struct output_block *ob,
956 : : tree expr, sccs *expr_state, bool ref_p)
957 : : {
958 : : #define DFS_follow_tree_edge(DEST) \
959 : : DFS_write_tree (ob, expr_state, DEST, ref_p, ref_p)
960 : :
961 : 6864021 : enum tree_code code;
962 : :
963 : 6864021 : code = TREE_CODE (expr);
964 : :
965 : 6864021 : if (CODE_CONTAINS_STRUCT (code, TS_TYPED))
966 : : {
967 : 6464210 : if (TREE_CODE (expr) != IDENTIFIER_NODE)
968 : 5016196 : DFS_follow_tree_edge (TREE_TYPE (expr));
969 : : }
970 : :
971 : 6864021 : if (CODE_CONTAINS_STRUCT (code, TS_VECTOR))
972 : : {
973 : 5690 : unsigned int count = vector_cst_encoded_nelts (expr);
974 : 23626 : for (unsigned int i = 0; i < count; ++i)
975 : 17936 : DFS_follow_tree_edge (VECTOR_CST_ENCODED_ELT (expr, i));
976 : : }
977 : :
978 : 6864021 : if (CODE_CONTAINS_STRUCT (code, TS_POLY_INT_CST))
979 : 0 : for (unsigned int i = 0; i < NUM_POLY_INT_COEFFS; ++i)
980 : 0 : DFS_follow_tree_edge (POLY_INT_CST_COEFF (expr, i));
981 : :
982 : 6864021 : if (CODE_CONTAINS_STRUCT (code, TS_COMPLEX))
983 : : {
984 : 8025 : DFS_follow_tree_edge (TREE_REALPART (expr));
985 : 8025 : DFS_follow_tree_edge (TREE_IMAGPART (expr));
986 : : }
987 : :
988 : 6864021 : if (CODE_CONTAINS_STRUCT (code, TS_DECL_MINIMAL))
989 : : {
990 : : /* Drop names that were created for anonymous entities. */
991 : 1506356 : if (DECL_NAME (expr)
992 : 1325821 : && TREE_CODE (DECL_NAME (expr)) == IDENTIFIER_NODE
993 : 2832177 : && IDENTIFIER_ANON_P (DECL_NAME (expr)))
994 : : ;
995 : : else
996 : 1505812 : DFS_follow_tree_edge (DECL_NAME (expr));
997 : 1506356 : if (TREE_CODE (expr) != TRANSLATION_UNIT_DECL
998 : 1506356 : && ! DECL_CONTEXT (expr))
999 : 13982 : DFS_follow_tree_edge ((*all_translation_units)[0]);
1000 : : else
1001 : 1492374 : DFS_follow_tree_edge (DECL_CONTEXT (expr));
1002 : : }
1003 : :
1004 : 6864021 : if (CODE_CONTAINS_STRUCT (code, TS_DECL_COMMON))
1005 : : {
1006 : 1506356 : DFS_follow_tree_edge (DECL_SIZE (expr));
1007 : 1506356 : DFS_follow_tree_edge (DECL_SIZE_UNIT (expr));
1008 : :
1009 : : /* Note, DECL_INITIAL is not handled here. Since DECL_INITIAL needs
1010 : : special handling in LTO, it must be handled by streamer hooks. */
1011 : :
1012 : 1506356 : DFS_follow_tree_edge (DECL_ATTRIBUTES (expr));
1013 : :
1014 : : /* We use DECL_ABSTRACT_ORIGIN == error_mark_node to mark
1015 : : declarations which should be eliminated by decl merging. Be sure none
1016 : : leaks to this point. */
1017 : 1506356 : gcc_assert (DECL_ABSTRACT_ORIGIN (expr) != error_mark_node);
1018 : 1506356 : DFS_follow_tree_edge (DECL_ABSTRACT_ORIGIN (expr));
1019 : :
1020 : 1506356 : if ((VAR_P (expr)
1021 : 1506356 : || TREE_CODE (expr) == PARM_DECL)
1022 : 1506356 : && DECL_HAS_VALUE_EXPR_P (expr))
1023 : 6035 : DFS_follow_tree_edge (DECL_VALUE_EXPR (expr));
1024 : 1506356 : if (VAR_P (expr)
1025 : 1506356 : && DECL_HAS_DEBUG_EXPR_P (expr))
1026 : 1412 : DFS_follow_tree_edge (DECL_DEBUG_EXPR (expr));
1027 : : }
1028 : :
1029 : 6864021 : if (CODE_CONTAINS_STRUCT (code, TS_DECL_WITH_VIS))
1030 : : {
1031 : : /* Make sure we don't inadvertently set the assembler name. */
1032 : 904492 : if (DECL_ASSEMBLER_NAME_SET_P (expr))
1033 : 734828 : DFS_follow_tree_edge (DECL_ASSEMBLER_NAME (expr));
1034 : : }
1035 : :
1036 : 6864021 : if (CODE_CONTAINS_STRUCT (code, TS_FIELD_DECL))
1037 : : {
1038 : 107314 : DFS_follow_tree_edge (DECL_FIELD_OFFSET (expr));
1039 : 107314 : DFS_follow_tree_edge (DECL_BIT_FIELD_TYPE (expr));
1040 : 107314 : DFS_follow_tree_edge (DECL_BIT_FIELD_REPRESENTATIVE (expr));
1041 : 107314 : DFS_follow_tree_edge (DECL_FIELD_BIT_OFFSET (expr));
1042 : 107314 : gcc_checking_assert (!DECL_FCONTEXT (expr));
1043 : : }
1044 : :
1045 : 6864021 : if (CODE_CONTAINS_STRUCT (code, TS_FUNCTION_DECL))
1046 : : {
1047 : 424871 : gcc_checking_assert (DECL_VINDEX (expr) == NULL);
1048 : 424871 : DFS_follow_tree_edge (DECL_FUNCTION_PERSONALITY (expr));
1049 : 424871 : DFS_follow_tree_edge (DECL_FUNCTION_SPECIFIC_TARGET (expr));
1050 : 424871 : DFS_follow_tree_edge (DECL_FUNCTION_SPECIFIC_OPTIMIZATION (expr));
1051 : : }
1052 : :
1053 : 6864021 : if (CODE_CONTAINS_STRUCT (code, TS_TYPE_COMMON))
1054 : : {
1055 : 619532 : DFS_follow_tree_edge (TYPE_SIZE (expr));
1056 : 619532 : DFS_follow_tree_edge (TYPE_SIZE_UNIT (expr));
1057 : 619532 : DFS_follow_tree_edge (TYPE_ATTRIBUTES (expr));
1058 : 619532 : DFS_follow_tree_edge (TYPE_NAME (expr));
1059 : : /* Do not follow TYPE_POINTER_TO or TYPE_REFERENCE_TO. They will be
1060 : : reconstructed during fixup. */
1061 : : /* Do not follow TYPE_NEXT_VARIANT, we reconstruct the variant lists
1062 : : during fixup. */
1063 : 619532 : DFS_follow_tree_edge (TYPE_MAIN_VARIANT (expr));
1064 : 619532 : DFS_follow_tree_edge (TYPE_CONTEXT (expr));
1065 : : /* TYPE_CANONICAL is re-computed during type merging, so no need
1066 : : to follow it here. */
1067 : : /* Do not stream TYPE_STUB_DECL; it is not needed by LTO but currently
1068 : : it cannot be freed by free_lang_data without triggering ICEs in
1069 : : langhooks. */
1070 : : }
1071 : :
1072 : 6864021 : if (CODE_CONTAINS_STRUCT (code, TS_TYPE_NON_COMMON))
1073 : : {
1074 : 619532 : if (TREE_CODE (expr) == ARRAY_TYPE)
1075 : 43150 : DFS_follow_tree_edge (TYPE_DOMAIN (expr));
1076 : 576382 : else if (RECORD_OR_UNION_TYPE_P (expr))
1077 : 230499 : for (tree t = TYPE_FIELDS (expr); t; t = TREE_CHAIN (t))
1078 : 140497 : DFS_follow_tree_edge (t);
1079 : 486380 : else if (FUNC_OR_METHOD_TYPE_P (expr))
1080 : 164540 : DFS_follow_tree_edge (TYPE_ARG_TYPES (expr));
1081 : :
1082 : 619532 : if (!POINTER_TYPE_P (expr))
1083 : 371902 : DFS_follow_tree_edge (TYPE_MIN_VALUE_RAW (expr));
1084 : 619532 : DFS_follow_tree_edge (TYPE_MAX_VALUE_RAW (expr));
1085 : : }
1086 : :
1087 : 6864021 : if (CODE_CONTAINS_STRUCT (code, TS_LIST))
1088 : : {
1089 : 644558 : DFS_follow_tree_edge (TREE_PURPOSE (expr));
1090 : 644558 : DFS_follow_tree_edge (TREE_VALUE (expr));
1091 : 644558 : DFS_follow_tree_edge (TREE_CHAIN (expr));
1092 : : }
1093 : :
1094 : 6864021 : if (CODE_CONTAINS_STRUCT (code, TS_VEC))
1095 : : {
1096 : 0 : for (int i = 0; i < TREE_VEC_LENGTH (expr); i++)
1097 : 0 : DFS_follow_tree_edge (TREE_VEC_ELT (expr, i));
1098 : : }
1099 : :
1100 : 6864021 : if (CODE_CONTAINS_STRUCT (code, TS_EXP))
1101 : : {
1102 : 4104074 : for (int i = 0; i < TREE_OPERAND_LENGTH (expr); i++)
1103 : 2405744 : DFS_follow_tree_edge (TREE_OPERAND (expr, i));
1104 : 1698330 : DFS_follow_tree_edge (TREE_BLOCK (expr));
1105 : : }
1106 : :
1107 : 6864021 : if (CODE_CONTAINS_STRUCT (code, TS_BLOCK))
1108 : : {
1109 : 471485 : for (tree t = BLOCK_VARS (expr); t; t = TREE_CHAIN (t))
1110 : : {
1111 : : /* We would have to stream externals in the block chain as
1112 : : non-references but we should have dropped them in
1113 : : free-lang-data. */
1114 : 137396 : gcc_assert (!VAR_OR_FUNCTION_DECL_P (t) || !DECL_EXTERNAL (t));
1115 : 137396 : DFS_follow_tree_edge (t);
1116 : : }
1117 : :
1118 : 334089 : DFS_follow_tree_edge (BLOCK_SUPERCONTEXT (expr));
1119 : 334089 : DFS_follow_tree_edge (BLOCK_ABSTRACT_ORIGIN (expr));
1120 : :
1121 : : /* Do not follow BLOCK_NONLOCALIZED_VARS. We cannot handle debug
1122 : : information for early inlined BLOCKs so drop it on the floor instead
1123 : : of ICEing in dwarf2out.cc. */
1124 : :
1125 : : /* BLOCK_FRAGMENT_ORIGIN and BLOCK_FRAGMENT_CHAIN is not live at LTO
1126 : : streaming time. */
1127 : :
1128 : : /* Do not output BLOCK_SUBBLOCKS. Instead on streaming-in this
1129 : : list is re-constructed from BLOCK_SUPERCONTEXT. */
1130 : : }
1131 : :
1132 : 6864021 : if (CODE_CONTAINS_STRUCT (code, TS_BINFO))
1133 : : {
1134 : : unsigned i;
1135 : : tree t;
1136 : :
1137 : : /* Note that the number of BINFO slots has already been emitted in
1138 : : EXPR's header (see streamer_write_tree_header) because this length
1139 : : is needed to build the empty BINFO node on the reader side. */
1140 : 20288 : FOR_EACH_VEC_ELT (*BINFO_BASE_BINFOS (expr), i, t)
1141 : 10817 : DFS_follow_tree_edge (t);
1142 : 9471 : DFS_follow_tree_edge (BINFO_OFFSET (expr));
1143 : 9471 : DFS_follow_tree_edge (BINFO_VTABLE (expr));
1144 : :
1145 : : /* Do not walk BINFO_INHERITANCE_CHAIN, BINFO_SUBVTT_INDEX,
1146 : : BINFO_BASE_ACCESSES and BINFO_VPTR_INDEX; these are used
1147 : : by C++ FE only. */
1148 : : }
1149 : :
1150 : 6864021 : if (CODE_CONTAINS_STRUCT (code, TS_CONSTRUCTOR))
1151 : : {
1152 : : unsigned i;
1153 : : tree index, value;
1154 : :
1155 : 762394 : FOR_EACH_CONSTRUCTOR_ELT (CONSTRUCTOR_ELTS (expr), i, index, value)
1156 : : {
1157 : 526004 : DFS_follow_tree_edge (index);
1158 : 526004 : DFS_follow_tree_edge (value);
1159 : : }
1160 : : }
1161 : :
1162 : 6864021 : if (code == RAW_DATA_CST)
1163 : 21 : DFS_follow_tree_edge (RAW_DATA_OWNER (expr));
1164 : :
1165 : 6864021 : if (code == OMP_CLAUSE)
1166 : : {
1167 : : int i;
1168 : 482 : for (i = 0; i < omp_clause_num_ops[OMP_CLAUSE_CODE (expr)]; i++)
1169 : 276 : DFS_follow_tree_edge (OMP_CLAUSE_OPERAND (expr, i));
1170 : 206 : DFS_follow_tree_edge (OMP_CLAUSE_CHAIN (expr));
1171 : : }
1172 : :
1173 : : #undef DFS_follow_tree_edge
1174 : 6864021 : }
1175 : :
1176 : : /* Return a hash value for the tree T.
1177 : : CACHE holds hash values of trees outside current SCC. MAP, if non-NULL,
1178 : : may hold hash values if trees inside current SCC. */
1179 : :
1180 : : static hashval_t
1181 : 2705395 : hash_tree (struct streamer_tree_cache_d *cache, hash_map<tree, hashval_t> *map, tree t)
1182 : : {
1183 : 2705395 : inchash::hash hstate;
1184 : :
1185 : : #define visit(SIBLING) \
1186 : : do { \
1187 : : unsigned ix; \
1188 : : if (!SIBLING) \
1189 : : hstate.add_int (0); \
1190 : : else if (streamer_tree_cache_lookup (cache, SIBLING, &ix)) \
1191 : : hstate.add_int (streamer_tree_cache_get_hash (cache, ix)); \
1192 : : else if (map) \
1193 : : hstate.add_int (*map->get (SIBLING)); \
1194 : : else \
1195 : : hstate.add_int (1); \
1196 : : } while (0)
1197 : :
1198 : : /* Hash TS_BASE. */
1199 : 2705395 : enum tree_code code = TREE_CODE (t);
1200 : 2705395 : hstate.add_int (code);
1201 : 2705395 : if (!TYPE_P (t))
1202 : : {
1203 : 2272361 : hstate.add_flag (TREE_SIDE_EFFECTS (t));
1204 : 2272361 : hstate.add_flag (TREE_CONSTANT (t));
1205 : 2272361 : hstate.add_flag (TREE_READONLY (t));
1206 : 2272361 : hstate.add_flag (TREE_PUBLIC (t));
1207 : : }
1208 : 2705395 : hstate.add_flag (TREE_ADDRESSABLE (t));
1209 : 2705395 : hstate.add_flag (TREE_THIS_VOLATILE (t));
1210 : 2705395 : if (DECL_P (t))
1211 : 672140 : hstate.add_flag (DECL_UNSIGNED (t));
1212 : 2033255 : else if (TYPE_P (t))
1213 : 433034 : hstate.add_flag (TYPE_UNSIGNED (t));
1214 : 2705395 : if (TYPE_P (t))
1215 : 433034 : hstate.add_flag (TYPE_ARTIFICIAL (t));
1216 : : else
1217 : 2272361 : hstate.add_flag (TREE_NO_WARNING (t));
1218 : 2705395 : hstate.add_flag (TREE_NOTHROW (t));
1219 : 2705395 : hstate.add_flag (TREE_STATIC (t));
1220 : 2705395 : hstate.add_flag (TREE_PROTECTED (t));
1221 : 2705395 : hstate.add_flag (TREE_DEPRECATED (t));
1222 : 2705395 : if (code != TREE_BINFO)
1223 : 2699141 : hstate.add_flag (TREE_PRIVATE (t));
1224 : 2705395 : if (TYPE_P (t))
1225 : : {
1226 : 433034 : hstate.add_flag (AGGREGATE_TYPE_P (t)
1227 : 433034 : ? TYPE_REVERSE_STORAGE_ORDER (t) : TYPE_SATURATING (t));
1228 : 433034 : hstate.add_flag (TYPE_ADDR_SPACE (t));
1229 : : }
1230 : 2272361 : else if (code == SSA_NAME)
1231 : 0 : hstate.add_flag (SSA_NAME_IS_DEFAULT_DEF (t));
1232 : 2705395 : hstate.commit_flag ();
1233 : :
1234 : 2705395 : if (CODE_CONTAINS_STRUCT (code, TS_INT_CST))
1235 : 171671 : hstate.add_wide_int (wi::to_widest (t));
1236 : :
1237 : 2705395 : if (CODE_CONTAINS_STRUCT (code, TS_REAL_CST))
1238 : : {
1239 : 1716 : REAL_VALUE_TYPE r = TREE_REAL_CST (t);
1240 : 1716 : hstate.add_flag (r.cl);
1241 : 1716 : hstate.add_flag (r.sign);
1242 : 1716 : hstate.add_flag (r.signalling);
1243 : 1716 : hstate.add_flag (r.canonical);
1244 : 1716 : hstate.commit_flag ();
1245 : 1716 : hstate.add_int (r.uexp);
1246 : 1716 : hstate.add (r.sig, sizeof (r.sig));
1247 : : }
1248 : :
1249 : 2705395 : if (CODE_CONTAINS_STRUCT (code, TS_FIXED_CST))
1250 : : {
1251 : 0 : FIXED_VALUE_TYPE f = TREE_FIXED_CST (t);
1252 : 0 : hstate.add_int (f.mode);
1253 : 0 : hstate.add_int (f.data.low);
1254 : 0 : hstate.add_int (f.data.high);
1255 : : }
1256 : :
1257 : 2705395 : if (CODE_CONTAINS_STRUCT (code, TS_DECL_COMMON))
1258 : : {
1259 : 672140 : hstate.add_hwi (DECL_MODE (t));
1260 : 672140 : hstate.add_flag (DECL_NONLOCAL (t));
1261 : 672140 : hstate.add_flag (DECL_VIRTUAL_P (t));
1262 : 672140 : hstate.add_flag (DECL_IGNORED_P (t));
1263 : 672140 : hstate.add_flag (DECL_ABSTRACT_P (t));
1264 : 672140 : hstate.add_flag (DECL_ARTIFICIAL (t));
1265 : 672140 : hstate.add_flag (DECL_USER_ALIGN (t));
1266 : 672140 : hstate.add_flag (DECL_PRESERVE_P (t));
1267 : 672140 : hstate.add_flag (DECL_EXTERNAL (t));
1268 : 672140 : hstate.add_flag (DECL_NOT_GIMPLE_REG_P (t));
1269 : 672140 : hstate.commit_flag ();
1270 : 672140 : hstate.add_int (DECL_ALIGN (t));
1271 : 672140 : if (code == LABEL_DECL)
1272 : : {
1273 : 0 : hstate.add_int (EH_LANDING_PAD_NR (t));
1274 : 0 : hstate.add_int (LABEL_DECL_UID (t));
1275 : : }
1276 : 672140 : else if (code == FIELD_DECL)
1277 : : {
1278 : 77926 : hstate.add_flag (DECL_PACKED (t));
1279 : 77926 : hstate.add_flag (DECL_NONADDRESSABLE_P (t));
1280 : 77926 : hstate.add_flag (DECL_PADDING_P (t));
1281 : 77926 : if (DECL_BIT_FIELD (t))
1282 : 4360 : hstate.add_flag (DECL_FIELD_CXX_ZERO_WIDTH_BIT_FIELD (t));
1283 : : else
1284 : 150337 : hstate.add_flag (DECL_FIELD_ABI_IGNORED (t));
1285 : 77926 : hstate.add_int (DECL_OFFSET_ALIGN (t));
1286 : : }
1287 : 594214 : else if (code == VAR_DECL)
1288 : : {
1289 : 233268 : hstate.add_flag (DECL_HAS_DEBUG_EXPR_P (t));
1290 : 233268 : hstate.add_flag (DECL_NONLOCAL_FRAME (t));
1291 : : }
1292 : 672140 : if (code == RESULT_DECL
1293 : 672140 : || code == PARM_DECL
1294 : : || code == VAR_DECL)
1295 : : {
1296 : 233280 : hstate.add_flag (DECL_BY_REFERENCE (t));
1297 : 233280 : if (code == VAR_DECL
1298 : 233280 : || code == PARM_DECL)
1299 : 233280 : hstate.add_flag (DECL_HAS_VALUE_EXPR_P (t));
1300 : : }
1301 : 672140 : hstate.commit_flag ();
1302 : : }
1303 : :
1304 : 2705395 : if (CODE_CONTAINS_STRUCT (code, TS_DECL_WRTL))
1305 : 594212 : hstate.add_int (DECL_REGISTER (t));
1306 : :
1307 : 2705395 : if (CODE_CONTAINS_STRUCT (code, TS_DECL_WITH_VIS))
1308 : : {
1309 : 594200 : hstate.add_flag (DECL_COMMON (t));
1310 : 594200 : hstate.add_flag (DECL_DLLIMPORT_P (t));
1311 : 594200 : hstate.add_flag (DECL_WEAK (t));
1312 : 594200 : hstate.add_flag (DECL_SEEN_IN_BIND_EXPR_P (t));
1313 : 594200 : hstate.add_flag (DECL_COMDAT (t));
1314 : 594200 : hstate.add_flag (DECL_VISIBILITY_SPECIFIED (t));
1315 : 594200 : hstate.add_int (DECL_VISIBILITY (t));
1316 : 594200 : if (code == VAR_DECL)
1317 : : {
1318 : : /* DECL_IN_TEXT_SECTION is set during final asm output only. */
1319 : 233268 : hstate.add_flag (DECL_HARD_REGISTER (t));
1320 : 233268 : hstate.add_flag (DECL_IN_CONSTANT_POOL (t));
1321 : : }
1322 : 594200 : if (TREE_CODE (t) == FUNCTION_DECL)
1323 : : {
1324 : 339992 : hstate.add_flag (DECL_FINAL_P (t));
1325 : 339992 : hstate.add_flag (DECL_CXX_CONSTRUCTOR_P (t));
1326 : 339992 : hstate.add_flag (DECL_CXX_DESTRUCTOR_P (t));
1327 : : }
1328 : 594200 : hstate.commit_flag ();
1329 : : }
1330 : :
1331 : 2705395 : if (CODE_CONTAINS_STRUCT (code, TS_FUNCTION_DECL))
1332 : : {
1333 : 339992 : hstate.add_int (DECL_BUILT_IN_CLASS (t));
1334 : 339992 : hstate.add_flag (DECL_STATIC_CONSTRUCTOR (t));
1335 : 339992 : hstate.add_flag (DECL_STATIC_DESTRUCTOR (t));
1336 : 339992 : hstate.add_flag (FUNCTION_DECL_DECL_TYPE (t));
1337 : 339992 : hstate.add_flag (DECL_UNINLINABLE (t));
1338 : 339992 : hstate.add_flag (DECL_POSSIBLY_INLINED (t));
1339 : 339992 : hstate.add_flag (DECL_IS_NOVOPS (t));
1340 : 339992 : hstate.add_flag (DECL_IS_RETURNS_TWICE (t));
1341 : 339992 : hstate.add_flag (DECL_IS_MALLOC (t));
1342 : 339992 : hstate.add_flag (DECL_DECLARED_INLINE_P (t));
1343 : 339992 : hstate.add_flag (DECL_STATIC_CHAIN (t));
1344 : 339992 : hstate.add_flag (DECL_NO_INLINE_WARNING_P (t));
1345 : 339992 : hstate.add_flag (DECL_NO_INSTRUMENT_FUNCTION_ENTRY_EXIT (t));
1346 : 339992 : hstate.add_flag (DECL_NO_LIMIT_STACK (t));
1347 : 339992 : hstate.add_flag (DECL_DISREGARD_INLINE_LIMITS (t));
1348 : 339992 : hstate.add_flag (DECL_PURE_P (t));
1349 : 339992 : hstate.add_flag (DECL_LOOPING_CONST_OR_PURE_P (t));
1350 : 339992 : hstate.commit_flag ();
1351 : 339992 : if (DECL_BUILT_IN_CLASS (t) != NOT_BUILT_IN)
1352 : 21156 : hstate.add_int (DECL_UNCHECKED_FUNCTION_CODE (t));
1353 : : }
1354 : :
1355 : 2705395 : if (CODE_CONTAINS_STRUCT (code, TS_TYPE_COMMON))
1356 : : {
1357 : 433034 : hstate.add_hwi (TYPE_MODE (t));
1358 : : /* TYPE_NO_FORCE_BLK is private to stor-layout and need
1359 : : no streaming. */
1360 : 433034 : hstate.add_flag (TYPE_PACKED (t));
1361 : 433034 : hstate.add_flag (TYPE_RESTRICT (t));
1362 : 433034 : hstate.add_flag (TYPE_USER_ALIGN (t));
1363 : 433034 : hstate.add_flag (TYPE_READONLY (t));
1364 : 433034 : if (RECORD_OR_UNION_TYPE_P (t))
1365 : : {
1366 : 68378 : hstate.add_flag (TYPE_TRANSPARENT_AGGR (t));
1367 : 68378 : hstate.add_flag (TYPE_FINAL_P (t));
1368 : 68378 : hstate.add_flag (TYPE_CXX_ODR_P (t));
1369 : : }
1370 : 364656 : else if (code == ARRAY_TYPE)
1371 : 27312 : hstate.add_flag (TYPE_NONALIASED_COMPONENT (t));
1372 : 433034 : if (code == ARRAY_TYPE || code == INTEGER_TYPE)
1373 : 68075 : hstate.add_flag (TYPE_STRING_FLAG (t));
1374 : 433034 : if (AGGREGATE_TYPE_P (t))
1375 : 95690 : hstate.add_flag (TYPE_TYPELESS_STORAGE (t));
1376 : 433034 : hstate.commit_flag ();
1377 : 433034 : hstate.add_int (TYPE_PRECISION_RAW (t));
1378 : 433034 : hstate.add_int (TYPE_ALIGN (t));
1379 : 433034 : hstate.add_int (TYPE_EMPTY_P (t));
1380 : : }
1381 : :
1382 : 2705395 : if (CODE_CONTAINS_STRUCT (code, TS_TRANSLATION_UNIT_DECL))
1383 : 0 : hstate.add (TRANSLATION_UNIT_LANGUAGE (t),
1384 : 0 : strlen (TRANSLATION_UNIT_LANGUAGE (t)));
1385 : :
1386 : 2705395 : if (CODE_CONTAINS_STRUCT (code, TS_TARGET_OPTION)
1387 : : /* We don't stream these when passing things to a different target. */
1388 : 23487 : && !lto_stream_offload_p)
1389 : 23487 : hstate.add_hwi (cl_target_option_hash (TREE_TARGET_OPTION (t)));
1390 : :
1391 : 2705395 : if (CODE_CONTAINS_STRUCT (code, TS_OPTIMIZATION))
1392 : 23699 : hstate.add_hwi (cl_optimization_hash (TREE_OPTIMIZATION (t)));
1393 : :
1394 : 2705395 : if (CODE_CONTAINS_STRUCT (code, TS_IDENTIFIER))
1395 : 854862 : hstate.merge_hash (IDENTIFIER_HASH_VALUE (t));
1396 : :
1397 : 2705395 : if (CODE_CONTAINS_STRUCT (code, TS_STRING))
1398 : 4130 : hstate.add (TREE_STRING_POINTER (t), TREE_STRING_LENGTH (t));
1399 : :
1400 : 2705395 : if (CODE_CONTAINS_STRUCT (code, TS_TYPED))
1401 : : {
1402 : 2658209 : if (code != IDENTIFIER_NODE)
1403 : 1803347 : visit (TREE_TYPE (t));
1404 : : }
1405 : :
1406 : 2705395 : if (CODE_CONTAINS_STRUCT (code, TS_VECTOR))
1407 : : {
1408 : 0 : unsigned int count = vector_cst_encoded_nelts (t);
1409 : 0 : for (unsigned int i = 0; i < count; ++i)
1410 : 0 : visit (VECTOR_CST_ENCODED_ELT (t, i));
1411 : : }
1412 : :
1413 : 2705395 : if (CODE_CONTAINS_STRUCT (code, TS_POLY_INT_CST))
1414 : 0 : for (unsigned int i = 0; i < NUM_POLY_INT_COEFFS; ++i)
1415 : 0 : visit (POLY_INT_CST_COEFF (t, i));
1416 : :
1417 : 2705395 : if (CODE_CONTAINS_STRUCT (code, TS_COMPLEX))
1418 : : {
1419 : 0 : visit (TREE_REALPART (t));
1420 : 0 : visit (TREE_IMAGPART (t));
1421 : : }
1422 : :
1423 : 2705395 : if (CODE_CONTAINS_STRUCT (code, TS_DECL_MINIMAL))
1424 : : {
1425 : : /* Drop names that were created for anonymous entities. */
1426 : 672140 : if (DECL_NAME (t)
1427 : 655376 : && TREE_CODE (DECL_NAME (t)) == IDENTIFIER_NODE
1428 : 1327516 : && IDENTIFIER_ANON_P (DECL_NAME (t)))
1429 : : ;
1430 : : else
1431 : 671855 : visit (DECL_NAME (t));
1432 : 672140 : if (DECL_FILE_SCOPE_P (t))
1433 : : ;
1434 : : else
1435 : 105437 : visit (DECL_CONTEXT (t));
1436 : : }
1437 : :
1438 : 2705395 : if (CODE_CONTAINS_STRUCT (code, TS_DECL_COMMON))
1439 : : {
1440 : 672140 : visit (DECL_SIZE (t));
1441 : 672140 : visit (DECL_SIZE_UNIT (t));
1442 : 672140 : visit (DECL_ATTRIBUTES (t));
1443 : 672140 : if ((code == VAR_DECL
1444 : 672140 : || code == PARM_DECL)
1445 : 672140 : && DECL_HAS_VALUE_EXPR_P (t))
1446 : 0 : visit (DECL_VALUE_EXPR (t));
1447 : 672140 : if (code == VAR_DECL
1448 : 905408 : && DECL_HAS_DEBUG_EXPR_P (t))
1449 : 0 : visit (DECL_DEBUG_EXPR (t));
1450 : : /* ??? Hash DECL_INITIAL as streamed. Needs the output-block to
1451 : : be able to call get_symbol_initial_value. */
1452 : : }
1453 : :
1454 : 2705395 : if (CODE_CONTAINS_STRUCT (code, TS_DECL_WITH_VIS))
1455 : : {
1456 : 594200 : if (DECL_ASSEMBLER_NAME_SET_P (t))
1457 : 592023 : visit (DECL_ASSEMBLER_NAME (t));
1458 : : }
1459 : :
1460 : 2705395 : if (CODE_CONTAINS_STRUCT (code, TS_FIELD_DECL))
1461 : : {
1462 : 77926 : visit (DECL_FIELD_OFFSET (t));
1463 : 77926 : visit (DECL_BIT_FIELD_TYPE (t));
1464 : 77926 : visit (DECL_BIT_FIELD_REPRESENTATIVE (t));
1465 : 77926 : visit (DECL_FIELD_BIT_OFFSET (t));
1466 : : }
1467 : :
1468 : 2705395 : if (CODE_CONTAINS_STRUCT (code, TS_FUNCTION_DECL))
1469 : : {
1470 : 339992 : visit (DECL_FUNCTION_PERSONALITY (t));
1471 : 339992 : visit (DECL_FUNCTION_SPECIFIC_TARGET (t));
1472 : 339992 : visit (DECL_FUNCTION_SPECIFIC_OPTIMIZATION (t));
1473 : : }
1474 : :
1475 : 2705395 : if (CODE_CONTAINS_STRUCT (code, TS_TYPE_COMMON))
1476 : : {
1477 : 433034 : visit (TYPE_SIZE (t));
1478 : 433034 : visit (TYPE_SIZE_UNIT (t));
1479 : 433034 : visit (TYPE_ATTRIBUTES (t));
1480 : 433034 : visit (TYPE_NAME (t));
1481 : 433034 : visit (TYPE_MAIN_VARIANT (t));
1482 : 433034 : if (TYPE_FILE_SCOPE_P (t))
1483 : : ;
1484 : : else
1485 : 14713 : visit (TYPE_CONTEXT (t));
1486 : : }
1487 : :
1488 : 2705395 : if (CODE_CONTAINS_STRUCT (code, TS_TYPE_NON_COMMON))
1489 : : {
1490 : 433034 : if (code == ARRAY_TYPE)
1491 : 27312 : visit (TYPE_DOMAIN (t));
1492 : 405722 : else if (RECORD_OR_UNION_TYPE_P (t))
1493 : 167500 : for (tree f = TYPE_FIELDS (t); f; f = TREE_CHAIN (f))
1494 : 99122 : visit (f);
1495 : 337344 : else if (code == FUNCTION_TYPE
1496 : 337344 : || code == METHOD_TYPE)
1497 : 107913 : visit (TYPE_ARG_TYPES (t));
1498 : 433034 : if (!POINTER_TYPE_P (t))
1499 : 253298 : visit (TYPE_MIN_VALUE_RAW (t));
1500 : 433034 : visit (TYPE_MAX_VALUE_RAW (t));
1501 : : }
1502 : :
1503 : 2705395 : if (CODE_CONTAINS_STRUCT (code, TS_LIST))
1504 : : {
1505 : 506449 : visit (TREE_PURPOSE (t));
1506 : 506449 : visit (TREE_VALUE (t));
1507 : 506449 : visit (TREE_CHAIN (t));
1508 : : }
1509 : :
1510 : 2705395 : if (CODE_CONTAINS_STRUCT (code, TS_VEC))
1511 : 0 : for (int i = 0; i < TREE_VEC_LENGTH (t); ++i)
1512 : 0 : visit (TREE_VEC_ELT (t, i));
1513 : :
1514 : 2705395 : if (CODE_CONTAINS_STRUCT (code, TS_EXP))
1515 : : {
1516 : 7437 : hstate.add_hwi (TREE_OPERAND_LENGTH (t));
1517 : 18600 : for (int i = 0; i < TREE_OPERAND_LENGTH (t); ++i)
1518 : 11163 : visit (TREE_OPERAND (t, i));
1519 : : }
1520 : :
1521 : 2705395 : if (CODE_CONTAINS_STRUCT (code, TS_BINFO))
1522 : : {
1523 : : unsigned i;
1524 : : tree b;
1525 : 12641 : FOR_EACH_VEC_ELT (*BINFO_BASE_BINFOS (t), i, b)
1526 : 6387 : visit (b);
1527 : 6254 : visit (BINFO_OFFSET (t));
1528 : 6254 : visit (BINFO_VTABLE (t));
1529 : : /* Do not walk BINFO_INHERITANCE_CHAIN, BINFO_SUBVTT_INDEX
1530 : : BINFO_BASE_ACCESSES and BINFO_VPTR_INDEX; these are used
1531 : : by C++ FE only. */
1532 : : }
1533 : :
1534 : 2705395 : if (CODE_CONTAINS_STRUCT (code, TS_CONSTRUCTOR))
1535 : : {
1536 : 381 : unsigned i;
1537 : 381 : tree index, value;
1538 : 581 : hstate.add_hwi (CONSTRUCTOR_NELTS (t));
1539 : 1716 : FOR_EACH_CONSTRUCTOR_ELT (CONSTRUCTOR_ELTS (t), i, index, value)
1540 : : {
1541 : 1335 : visit (index);
1542 : 1335 : visit (value);
1543 : : }
1544 : : }
1545 : :
1546 : 2705395 : if (code == OMP_CLAUSE)
1547 : : {
1548 : 128 : int i;
1549 : 128 : HOST_WIDE_INT val;
1550 : :
1551 : 128 : hstate.add_hwi (OMP_CLAUSE_CODE (t));
1552 : 128 : switch (OMP_CLAUSE_CODE (t))
1553 : : {
1554 : 0 : case OMP_CLAUSE_DEFAULT:
1555 : 0 : val = OMP_CLAUSE_DEFAULT_KIND (t);
1556 : 0 : break;
1557 : 0 : case OMP_CLAUSE_SCHEDULE:
1558 : 0 : val = OMP_CLAUSE_SCHEDULE_KIND (t);
1559 : 0 : break;
1560 : 0 : case OMP_CLAUSE_DEPEND:
1561 : 0 : val = OMP_CLAUSE_DEPEND_KIND (t);
1562 : 0 : break;
1563 : 0 : case OMP_CLAUSE_DOACROSS:
1564 : 0 : val = OMP_CLAUSE_DOACROSS_KIND (t);
1565 : 0 : break;
1566 : 0 : case OMP_CLAUSE_MAP:
1567 : 0 : val = OMP_CLAUSE_MAP_KIND (t);
1568 : 0 : break;
1569 : 0 : case OMP_CLAUSE_PROC_BIND:
1570 : 0 : val = OMP_CLAUSE_PROC_BIND_KIND (t);
1571 : 0 : break;
1572 : 0 : case OMP_CLAUSE_REDUCTION:
1573 : 0 : case OMP_CLAUSE_TASK_REDUCTION:
1574 : 0 : case OMP_CLAUSE_IN_REDUCTION:
1575 : 0 : val = OMP_CLAUSE_REDUCTION_CODE (t);
1576 : 0 : break;
1577 : : default:
1578 : : val = 0;
1579 : : break;
1580 : : }
1581 : 128 : hstate.add_hwi (val);
1582 : 293 : for (i = 0; i < omp_clause_num_ops[OMP_CLAUSE_CODE (t)]; i++)
1583 : 165 : visit (OMP_CLAUSE_OPERAND (t, i));
1584 : 128 : visit (OMP_CLAUSE_CHAIN (t));
1585 : : }
1586 : :
1587 : 2705395 : return hstate.end ();
1588 : :
1589 : : #undef visit
1590 : : }
1591 : :
1592 : : /* Compare two SCC entries by their hash value for qsorting them. */
1593 : :
1594 : : int
1595 : 1450150 : DFS::scc_entry_compare (const void *p1_, const void *p2_)
1596 : : {
1597 : 1450150 : const scc_entry *p1 = (const scc_entry *) p1_;
1598 : 1450150 : const scc_entry *p2 = (const scc_entry *) p2_;
1599 : 1450150 : if (p1->hash < p2->hash)
1600 : : return -1;
1601 : 654730 : else if (p1->hash > p2->hash)
1602 : 633317 : return 1;
1603 : : return 0;
1604 : : }
1605 : :
1606 : : /* Return a hash value for the SCC on the SCC stack from FIRST with SIZE.
1607 : : THIS_REF_P and REF_P are as passed to lto_output_tree for FIRST. */
1608 : :
1609 : : hashval_t
1610 : 2568084 : DFS::hash_scc (struct output_block *ob, unsigned first, unsigned size,
1611 : : bool ref_p, bool this_ref_p)
1612 : : {
1613 : 2568084 : unsigned int last_classes = 0, iterations = 0;
1614 : :
1615 : : /* Compute hash values for the SCC members. */
1616 : 5273479 : for (unsigned i = 0; i < size; ++i)
1617 : 2705395 : sccstack[first+i].hash
1618 : 5410790 : = hash_tree (ob->writer_cache, NULL, sccstack[first+i].t);
1619 : :
1620 : 2568084 : if (size == 1)
1621 : 2504774 : return sccstack[first].hash;
1622 : :
1623 : : /* We aim to get unique hash for every tree within SCC and compute hash value
1624 : : of the whole SCC by combining all values together in a stable (entry-point
1625 : : independent) order. This guarantees that the same SCC regions within
1626 : : different translation units will get the same hash values and therefore
1627 : : will be merged at WPA time.
1628 : :
1629 : : Often the hashes are already unique. In that case we compute the SCC hash
1630 : : by combining individual hash values in an increasing order.
1631 : :
1632 : : If there are duplicates, we seek at least one tree with unique hash (and
1633 : : pick one with minimal hash and this property). Then we obtain a stable
1634 : : order by DFS walk starting from this unique tree and then use the index
1635 : : within this order to make individual hash values unique.
1636 : :
1637 : : If there is no tree with unique hash, we iteratively propagate the hash
1638 : : values across the internal edges of SCC. This usually quickly leads
1639 : : to unique hashes. Consider, for example, an SCC containing two pointers
1640 : : that are identical except for the types they point to and assume that
1641 : : these types are also part of the SCC. The propagation will add the
1642 : : points-to type information into their hash values. */
1643 : 63310 : do
1644 : : {
1645 : : /* Sort the SCC so we can easily check for uniqueness. */
1646 : 63310 : qsort (&sccstack[first], size, sizeof (scc_entry), scc_entry_compare);
1647 : :
1648 : 63310 : unsigned int classes = 1;
1649 : 63310 : int firstunique = -1;
1650 : :
1651 : : /* Find the tree with lowest unique hash (if it exists) and compute
1652 : : the number of equivalence classes. */
1653 : 63310 : if (sccstack[first].hash != sccstack[first+1].hash)
1654 : 63307 : firstunique = 0;
1655 : 200621 : for (unsigned i = 1; i < size; ++i)
1656 : 137311 : if (sccstack[first+i-1].hash != sccstack[first+i].hash)
1657 : : {
1658 : 135353 : classes++;
1659 : 135353 : if (firstunique == -1
1660 : 135353 : && (i == size - 1
1661 : 3 : || sccstack[first+i+1].hash != sccstack[first+i].hash))
1662 : 3 : firstunique = i;
1663 : : }
1664 : :
1665 : : /* If we found a tree with unique hash, stop the iteration. */
1666 : 63310 : if (firstunique != -1
1667 : : /* Also terminate if we run out of iterations or if the number of
1668 : : equivalence classes is no longer increasing.
1669 : : For example a cyclic list of trees that are all equivalent will
1670 : : never have unique entry point; we however do not build such SCCs
1671 : : in our IL. */
1672 : 63310 : || classes <= last_classes || iterations > 16)
1673 : : {
1674 : 63310 : hashval_t scc_hash;
1675 : :
1676 : : /* If some hashes are not unique (CLASSES != SIZE), use the DFS walk
1677 : : starting from FIRSTUNIQUE to obtain a stable order. */
1678 : 63310 : if (classes != size && firstunique != -1)
1679 : : {
1680 : 340 : hash_map <tree, hashval_t> map(size*2);
1681 : :
1682 : : /* Store hash values into a map, so we can associate them with
1683 : : the reordered SCC. */
1684 : 11176 : for (unsigned i = 0; i < size; ++i)
1685 : 10836 : map.put (sccstack[first+i].t, sccstack[first+i].hash);
1686 : :
1687 : 680 : DFS again (ob, sccstack[first+firstunique].t, ref_p, this_ref_p,
1688 : 340 : true);
1689 : 680 : gcc_assert (again.sccstack.length () == size);
1690 : :
1691 : 340 : memcpy (sccstack.address () + first,
1692 : 340 : again.sccstack.address (),
1693 : : sizeof (scc_entry) * size);
1694 : :
1695 : : /* Update hash values of individual members by hashing in the
1696 : : index within the stable order. This ensures uniqueness.
1697 : : Also compute the SCC hash by mixing in all hash values in
1698 : : the stable order we obtained. */
1699 : 340 : sccstack[first].hash = *map.get (sccstack[first].t);
1700 : 340 : scc_hash = sccstack[first].hash;
1701 : 10836 : for (unsigned i = 1; i < size; ++i)
1702 : : {
1703 : 31488 : sccstack[first+i].hash
1704 : 10496 : = iterative_hash_hashval_t (i,
1705 : 10496 : *map.get (sccstack[first+i].t));
1706 : 10496 : scc_hash
1707 : 10496 : = iterative_hash_hashval_t (scc_hash,
1708 : 10496 : sccstack[first+i].hash);
1709 : : }
1710 : 340 : }
1711 : : /* If we got a unique hash value for each tree, then sort already
1712 : : ensured entry-point independent order. Only compute the final
1713 : : SCC hash.
1714 : :
1715 : : If we failed to find the unique entry point, we go by the same
1716 : : route. We will eventually introduce unwanted hash conflicts. */
1717 : : else
1718 : : {
1719 : : scc_hash = sccstack[first].hash;
1720 : 189785 : for (unsigned i = 1; i < size; ++i)
1721 : 126815 : scc_hash
1722 : 126815 : = iterative_hash_hashval_t (scc_hash, sccstack[first+i].hash);
1723 : :
1724 : : /* We cannot 100% guarantee that the hash won't conflict so as
1725 : : to make it impossible to find a unique hash. This however
1726 : : should be an extremely rare case. ICE for now so possible
1727 : : issues are found and evaluated. */
1728 : 62970 : gcc_checking_assert (classes == size);
1729 : : }
1730 : :
1731 : : /* To avoid conflicts across SCCs, iteratively hash the whole SCC
1732 : : hash into the hash of each element. */
1733 : 263931 : for (unsigned i = 0; i < size; ++i)
1734 : 401242 : sccstack[first+i].hash
1735 : 200621 : = iterative_hash_hashval_t (sccstack[first+i].hash, scc_hash);
1736 : 63310 : return scc_hash;
1737 : : }
1738 : :
1739 : 0 : last_classes = classes;
1740 : 0 : iterations++;
1741 : :
1742 : : /* We failed to identify the entry point; propagate hash values across
1743 : : the edges. */
1744 : 0 : hash_map <tree, hashval_t> map(size*2);
1745 : :
1746 : 0 : for (unsigned i = 0; i < size; ++i)
1747 : 0 : map.put (sccstack[first+i].t, sccstack[first+i].hash);
1748 : :
1749 : 0 : for (unsigned i = 0; i < size; i++)
1750 : 0 : sccstack[first+i].hash
1751 : 0 : = hash_tree (ob->writer_cache, &map, sccstack[first+i].t);
1752 : 0 : }
1753 : : while (true);
1754 : : }
1755 : :
1756 : : /* DFS walk EXPR and stream SCCs of tree bodies if they are not
1757 : : already in the streamer cache. Main routine called for
1758 : : each visit of EXPR. */
1759 : :
1760 : : void
1761 : 34546395 : DFS::DFS_write_tree (struct output_block *ob, sccs *from_state,
1762 : : tree expr, bool ref_p, bool this_ref_p)
1763 : : {
1764 : : /* Handle special cases. */
1765 : 34546395 : if (expr == NULL_TREE)
1766 : 25167058 : return;
1767 : :
1768 : : /* Do not DFS walk into indexable trees. */
1769 : 22579907 : if (this_ref_p && tree_is_indexable (expr))
1770 : : return;
1771 : :
1772 : : /* Check if we already streamed EXPR. */
1773 : 16425229 : if (streamer_tree_cache_lookup (ob->writer_cache, expr, NULL))
1774 : : {
1775 : : /* Reference to a local tree makes entry also local. We always process
1776 : : top of stack entry, so set max to number of entries in stack - 1. */
1777 : 7045892 : if (ob->local_trees
1778 : 7045892 : && ob->local_trees->contains (expr))
1779 : 15250 : max_local_entry = sccstack.length () - 1;
1780 : 7045892 : return;
1781 : : }
1782 : :
1783 : 9379337 : worklist w;
1784 : 9379337 : w.expr = expr;
1785 : 9379337 : w.from_state = from_state;
1786 : 9379337 : w.cstate = NULL;
1787 : 9379337 : w.ref_p = ref_p;
1788 : 9379337 : w.this_ref_p = this_ref_p;
1789 : 9379337 : worklist_vec.safe_push (w);
1790 : : }
1791 : :
1792 : :
1793 : : /* Emit the physical representation of tree node EXPR to output block OB.
1794 : : If THIS_REF_P is true, the leaves of EXPR are emitted as references via
1795 : : lto_output_tree_ref. REF_P is used for streaming siblings of EXPR. */
1796 : :
1797 : : void
1798 : 12420154 : lto_output_tree (struct output_block *ob, tree expr,
1799 : : bool ref_p, bool this_ref_p)
1800 : : {
1801 : 12420154 : unsigned ix;
1802 : 12420154 : bool existed_p;
1803 : 12420154 : unsigned int size = ob->main_stream->total_size;
1804 : : /* This is the first time we see EXPR, write all reachable
1805 : : trees to OB. */
1806 : 12420154 : static bool in_dfs_walk;
1807 : :
1808 : 12420154 : if (expr == NULL_TREE)
1809 : : {
1810 : 2765488 : streamer_write_record_start (ob, LTO_null);
1811 : 10403523 : return;
1812 : : }
1813 : :
1814 : 9654666 : if (this_ref_p && tree_is_indexable (expr))
1815 : : {
1816 : 4872547 : enum LTO_tags tag;
1817 : 4872547 : unsigned ix;
1818 : :
1819 : 4872547 : lto_indexable_tree_ref (ob, expr, &tag, &ix);
1820 : 4872547 : streamer_write_record_start (ob, tag);
1821 : 4872547 : streamer_write_uhwi (ob, ix);
1822 : 4872547 : return;
1823 : : }
1824 : :
1825 : 4782119 : existed_p = streamer_tree_cache_lookup (ob->writer_cache, expr, &ix);
1826 : 4782119 : if (existed_p)
1827 : : {
1828 : 1857470 : if (streamer_dump_file)
1829 : : {
1830 : 88 : if (in_dfs_walk)
1831 : 8 : print_node_brief (streamer_dump_file, " Streaming ref to ",
1832 : : expr, 4);
1833 : : else
1834 : 80 : print_node_brief (streamer_dump_file, " Streaming ref to ",
1835 : : expr, 4);
1836 : 88 : fprintf (streamer_dump_file, "\n");
1837 : : }
1838 : : /* If a node has already been streamed out, make sure that
1839 : : we don't write it more than once. Otherwise, the reader
1840 : : will instantiate two different nodes for the same object. */
1841 : 1857470 : streamer_write_record_start (ob, LTO_tree_pickle_reference);
1842 : 1857470 : streamer_write_uhwi (ob, ix);
1843 : 1857470 : lto_stats.num_pickle_refs_output++;
1844 : : }
1845 : : else
1846 : : {
1847 : : /* Protect against recursion which means disconnect between
1848 : : what tree edges we walk in the DFS walk and what edges
1849 : : we stream out. */
1850 : 2924649 : gcc_assert (!in_dfs_walk);
1851 : :
1852 : 2924649 : if (streamer_dump_file)
1853 : : {
1854 : 168 : print_node_brief (streamer_dump_file, " Streaming tree ",
1855 : : expr, 4);
1856 : 168 : fprintf (streamer_dump_file, "\n");
1857 : : }
1858 : :
1859 : : /* Start the DFS walk. */
1860 : : /* Save ob state ... */
1861 : : /* let's see ... */
1862 : 2924649 : in_dfs_walk = true;
1863 : 2924649 : DFS (ob, expr, ref_p, this_ref_p, false);
1864 : :
1865 : : /* Finally append a reference to the tree we were writing. */
1866 : 2924649 : existed_p = streamer_tree_cache_lookup (ob->writer_cache, expr, &ix);
1867 : :
1868 : : /* DFS walk above possibly skipped streaming EXPR itself to let us inline
1869 : : it. */
1870 : 2924649 : if (!existed_p)
1871 : 2015334 : lto_output_tree_1 (ob, expr, 0, ref_p, this_ref_p);
1872 : 909315 : else if (this_ref_p)
1873 : : {
1874 : 11 : if (streamer_dump_file)
1875 : : {
1876 : 0 : print_node_brief (streamer_dump_file,
1877 : : " Streaming final ref to ",
1878 : : expr, 4);
1879 : 0 : fprintf (streamer_dump_file, "\n");
1880 : : }
1881 : 11 : streamer_write_record_start (ob, LTO_tree_pickle_reference);
1882 : 11 : streamer_write_uhwi (ob, ix);
1883 : : }
1884 : 2924649 : in_dfs_walk = false;
1885 : 2924649 : lto_stats.num_pickle_refs_output++;
1886 : : }
1887 : 4782119 : if (streamer_dump_file && !in_dfs_walk)
1888 : 248 : fprintf (streamer_dump_file, " %u bytes\n",
1889 : 248 : ob->main_stream->total_size - size);
1890 : : }
1891 : :
1892 : :
1893 : : /* Output to OB a list of try/catch handlers starting with FIRST. */
1894 : :
1895 : : static void
1896 : 288 : output_eh_try_list (struct output_block *ob, eh_catch first)
1897 : : {
1898 : 288 : eh_catch n;
1899 : :
1900 : 625 : for (n = first; n; n = n->next_catch)
1901 : : {
1902 : 337 : streamer_write_record_start (ob, LTO_eh_catch);
1903 : 337 : stream_write_tree (ob, n->type_list, true);
1904 : 337 : stream_write_tree (ob, n->filter_list, true);
1905 : 337 : stream_write_tree (ob, n->label, true);
1906 : : }
1907 : :
1908 : 288 : streamer_write_record_start (ob, LTO_null);
1909 : 288 : }
1910 : :
1911 : :
1912 : : /* Output EH region R in function FN to OB. CURR_RN is the slot index
1913 : : that is being emitted in FN->EH->REGION_ARRAY. This is used to
1914 : : detect EH region sharing. */
1915 : :
1916 : : static void
1917 : 17465 : output_eh_region (struct output_block *ob, eh_region r)
1918 : : {
1919 : 17465 : enum LTO_tags tag;
1920 : :
1921 : 17465 : if (r == NULL)
1922 : : {
1923 : 7192 : streamer_write_record_start (ob, LTO_null);
1924 : 7192 : return;
1925 : : }
1926 : :
1927 : 10273 : if (r->type == ERT_CLEANUP)
1928 : : tag = LTO_ert_cleanup;
1929 : : else if (r->type == ERT_TRY)
1930 : : tag = LTO_ert_try;
1931 : : else if (r->type == ERT_ALLOWED_EXCEPTIONS)
1932 : : tag = LTO_ert_allowed_exceptions;
1933 : : else if (r->type == ERT_MUST_NOT_THROW)
1934 : : tag = LTO_ert_must_not_throw;
1935 : : else
1936 : 0 : gcc_unreachable ();
1937 : :
1938 : 10273 : streamer_write_record_start (ob, tag);
1939 : 10273 : streamer_write_hwi (ob, r->index);
1940 : :
1941 : 10273 : if (r->outer)
1942 : 2980 : streamer_write_hwi (ob, r->outer->index);
1943 : : else
1944 : 7293 : streamer_write_zero (ob);
1945 : :
1946 : 10273 : if (r->inner)
1947 : 1729 : streamer_write_hwi (ob, r->inner->index);
1948 : : else
1949 : 8544 : streamer_write_zero (ob);
1950 : :
1951 : 10273 : if (r->next_peer)
1952 : 4182 : streamer_write_hwi (ob, r->next_peer->index);
1953 : : else
1954 : 6091 : streamer_write_zero (ob);
1955 : :
1956 : 10273 : if (r->type == ERT_TRY)
1957 : : {
1958 : 288 : output_eh_try_list (ob, r->u.eh_try.first_catch);
1959 : : }
1960 : 9985 : else if (r->type == ERT_ALLOWED_EXCEPTIONS)
1961 : : {
1962 : 324 : stream_write_tree (ob, r->u.allowed.type_list, true);
1963 : 324 : stream_write_tree (ob, r->u.allowed.label, true);
1964 : 324 : streamer_write_uhwi (ob, r->u.allowed.filter);
1965 : : }
1966 : 9661 : else if (r->type == ERT_MUST_NOT_THROW)
1967 : : {
1968 : 5266 : stream_write_tree (ob, r->u.must_not_throw.failure_decl, true);
1969 : 5266 : bitpack_d bp = bitpack_create (ob->main_stream);
1970 : 5266 : stream_output_location (ob, &bp, r->u.must_not_throw.failure_loc);
1971 : 5266 : streamer_write_bitpack (&bp);
1972 : : }
1973 : :
1974 : 10273 : if (r->landing_pads)
1975 : 2886 : streamer_write_hwi (ob, r->landing_pads->index);
1976 : : else
1977 : 7387 : streamer_write_zero (ob);
1978 : : }
1979 : :
1980 : :
1981 : : /* Output landing pad LP to OB. */
1982 : :
1983 : : static void
1984 : 8139 : output_eh_lp (struct output_block *ob, eh_landing_pad lp)
1985 : : {
1986 : 8139 : if (lp == NULL)
1987 : : {
1988 : 5193 : streamer_write_record_start (ob, LTO_null);
1989 : 5193 : return;
1990 : : }
1991 : :
1992 : 2946 : streamer_write_record_start (ob, LTO_eh_landing_pad);
1993 : 2946 : streamer_write_hwi (ob, lp->index);
1994 : 2946 : if (lp->next_lp)
1995 : 60 : streamer_write_hwi (ob, lp->next_lp->index);
1996 : : else
1997 : 2886 : streamer_write_zero (ob);
1998 : :
1999 : 2946 : if (lp->region)
2000 : 2946 : streamer_write_hwi (ob, lp->region->index);
2001 : : else
2002 : 0 : streamer_write_zero (ob);
2003 : :
2004 : 2946 : stream_write_tree (ob, lp->post_landing_pad, true);
2005 : : }
2006 : :
2007 : :
2008 : : /* Output the existing eh_table to OB. */
2009 : :
2010 : : static void
2011 : 106308 : output_eh_regions (struct output_block *ob, struct function *fn)
2012 : : {
2013 : 106308 : if (fn->eh && fn->eh->region_tree)
2014 : : {
2015 : 4362 : unsigned i;
2016 : 4362 : eh_region eh;
2017 : 4362 : eh_landing_pad lp;
2018 : 4362 : tree ttype;
2019 : :
2020 : 4362 : streamer_write_record_start (ob, LTO_eh_table);
2021 : :
2022 : : /* Emit the index of the root of the EH region tree. */
2023 : 4362 : streamer_write_hwi (ob, fn->eh->region_tree->index);
2024 : :
2025 : : /* Emit all the EH regions in the region array. */
2026 : 4362 : streamer_write_hwi (ob, vec_safe_length (fn->eh->region_array));
2027 : 26189 : FOR_EACH_VEC_SAFE_ELT (fn->eh->region_array, i, eh)
2028 : 17465 : output_eh_region (ob, eh);
2029 : :
2030 : : /* Emit all landing pads. */
2031 : 4362 : streamer_write_hwi (ob, vec_safe_length (fn->eh->lp_array));
2032 : 16863 : FOR_EACH_VEC_SAFE_ELT (fn->eh->lp_array, i, lp)
2033 : 8139 : output_eh_lp (ob, lp);
2034 : :
2035 : : /* Emit all the runtime type data. */
2036 : 4362 : streamer_write_hwi (ob, vec_safe_length (fn->eh->ttype_data));
2037 : 8724 : FOR_EACH_VEC_SAFE_ELT (fn->eh->ttype_data, i, ttype)
2038 : 0 : stream_write_tree (ob, ttype, true);
2039 : :
2040 : : /* Emit the table of action chains. */
2041 : 4362 : if (targetm.arm_eabi_unwinder)
2042 : : {
2043 : 0 : tree t;
2044 : 0 : streamer_write_hwi (ob, vec_safe_length (fn->eh->ehspec_data.arm_eabi));
2045 : 0 : FOR_EACH_VEC_SAFE_ELT (fn->eh->ehspec_data.arm_eabi, i, t)
2046 : 0 : stream_write_tree (ob, t, true);
2047 : : }
2048 : : else
2049 : : {
2050 : 4362 : uchar c;
2051 : 4362 : streamer_write_hwi (ob, vec_safe_length (fn->eh->ehspec_data.other));
2052 : 8724 : FOR_EACH_VEC_SAFE_ELT (fn->eh->ehspec_data.other, i, c)
2053 : 0 : streamer_write_char_stream (ob->main_stream, c);
2054 : : }
2055 : : }
2056 : :
2057 : : /* The LTO_null either terminates the record or indicates that there
2058 : : are no eh_records at all. */
2059 : 106308 : streamer_write_record_start (ob, LTO_null);
2060 : 106308 : }
2061 : :
2062 : :
2063 : : /* Output all of the active ssa names to the ssa_names stream. */
2064 : :
2065 : : static void
2066 : 106308 : output_ssa_names (struct output_block *ob, struct function *fn)
2067 : : {
2068 : 106308 : unsigned int i, len;
2069 : :
2070 : 106308 : len = vec_safe_length (SSANAMES (fn));
2071 : 106308 : streamer_write_uhwi (ob, len);
2072 : :
2073 : 1687517 : for (i = 1; i < len; i++)
2074 : : {
2075 : 1581209 : tree ptr = (*SSANAMES (fn))[i];
2076 : :
2077 : 2171265 : if (ptr == NULL_TREE
2078 : 1575200 : || SSA_NAME_IN_FREE_LIST (ptr)
2079 : 1575200 : || virtual_operand_p (ptr)
2080 : : /* Simply skip unreleased SSA names. */
2081 : 2574494 : || (! SSA_NAME_IS_DEFAULT_DEF (ptr)
2082 : 890519 : && (! SSA_NAME_DEF_STMT (ptr)
2083 : 890519 : || ! gimple_bb (SSA_NAME_DEF_STMT (ptr)))))
2084 : 590056 : continue;
2085 : :
2086 : 991153 : streamer_write_uhwi (ob, i);
2087 : 991153 : streamer_write_char_stream (ob->main_stream,
2088 : 991153 : SSA_NAME_IS_DEFAULT_DEF (ptr));
2089 : 991153 : if (SSA_NAME_VAR (ptr))
2090 : 285876 : stream_write_tree (ob, SSA_NAME_VAR (ptr), true);
2091 : : else
2092 : : /* ??? This drops SSA_NAME_IDENTIFIER on the floor. */
2093 : 705277 : stream_write_tree (ob, TREE_TYPE (ptr), true);
2094 : : }
2095 : :
2096 : 106308 : streamer_write_zero (ob);
2097 : 106308 : }
2098 : :
2099 : :
2100 : :
2101 : : /* Output the cfg. */
2102 : :
2103 : : static void
2104 : 106308 : output_cfg (struct output_block *ob, struct function *fn)
2105 : : {
2106 : 106308 : struct lto_output_stream *tmp_stream = ob->main_stream;
2107 : 106308 : basic_block bb;
2108 : :
2109 : 106308 : ob->main_stream = ob->cfg_stream;
2110 : :
2111 : 106308 : streamer_write_enum (ob->main_stream, profile_status_d, PROFILE_LAST,
2112 : : profile_status_for_fn (fn));
2113 : :
2114 : : /* Output the number of the highest basic block. */
2115 : 106308 : streamer_write_uhwi (ob, last_basic_block_for_fn (fn));
2116 : :
2117 : 1002725 : FOR_ALL_BB_FN (bb, fn)
2118 : : {
2119 : 896417 : edge_iterator ei;
2120 : 896417 : edge e;
2121 : :
2122 : 896417 : streamer_write_hwi (ob, bb->index);
2123 : :
2124 : : /* Output the successors and the edge flags. */
2125 : 1683945 : streamer_write_uhwi (ob, EDGE_COUNT (bb->succs));
2126 : 1914539 : FOR_EACH_EDGE (e, ei, bb->succs)
2127 : : {
2128 : 1018122 : bitpack_d bp = bitpack_create (ob->main_stream);
2129 : 1018122 : bp_pack_var_len_unsigned (&bp, e->dest->index);
2130 : 1018122 : bp_pack_var_len_unsigned (&bp, e->flags);
2131 : 1018122 : stream_output_location_and_block (ob, &bp, e->goto_locus);
2132 : 1018122 : e->probability.stream_out (ob);
2133 : : }
2134 : : }
2135 : :
2136 : 106308 : streamer_write_hwi (ob, -1);
2137 : :
2138 : 106308 : bb = ENTRY_BLOCK_PTR_FOR_FN (fn);
2139 : 896417 : while (bb->next_bb)
2140 : : {
2141 : 790109 : streamer_write_hwi (ob, bb->next_bb->index);
2142 : 790109 : bb = bb->next_bb;
2143 : : }
2144 : :
2145 : 106308 : streamer_write_hwi (ob, -1);
2146 : :
2147 : : /* Output the number of loops. */
2148 : 106308 : streamer_write_uhwi (ob, number_of_loops (fn));
2149 : :
2150 : : /* Output each loop, skipping the tree root which has number zero. */
2151 : 358186 : for (unsigned i = 1; i < number_of_loops (fn); ++i)
2152 : : {
2153 : 72785 : class loop *loop = get_loop (fn, i);
2154 : :
2155 : : /* Write the index of the loop header. That's enough to rebuild
2156 : : the loop tree on the reader side. Stream -1 for an unused
2157 : : loop entry. */
2158 : 72785 : if (!loop)
2159 : : {
2160 : 25257 : streamer_write_hwi (ob, -1);
2161 : 25257 : continue;
2162 : : }
2163 : : else
2164 : 47528 : streamer_write_hwi (ob, loop->header->index);
2165 : :
2166 : : /* Write everything copy_loop_info copies. */
2167 : 47528 : streamer_write_enum (ob->main_stream,
2168 : : loop_estimation, EST_LAST, loop->estimate_state);
2169 : 47528 : streamer_write_hwi (ob, loop->any_upper_bound);
2170 : 47528 : if (loop->any_upper_bound)
2171 : : {
2172 : 38905 : widest_int w = widest_int::from (loop->nb_iterations_upper_bound,
2173 : 38905 : SIGNED);
2174 : 38905 : streamer_write_widest_int (ob, w);
2175 : 38905 : }
2176 : 47528 : streamer_write_hwi (ob, loop->any_likely_upper_bound);
2177 : 47528 : if (loop->any_likely_upper_bound)
2178 : : {
2179 : 38907 : widest_int w
2180 : 38907 : = widest_int::from (loop->nb_iterations_likely_upper_bound,
2181 : 38907 : SIGNED);
2182 : 38907 : streamer_write_widest_int (ob, w);
2183 : 38907 : }
2184 : 47528 : streamer_write_hwi (ob, loop->any_estimate);
2185 : 47528 : if (loop->any_estimate)
2186 : : {
2187 : 32727 : widest_int w = widest_int::from (loop->nb_iterations_estimate,
2188 : 32727 : SIGNED);
2189 : 32727 : streamer_write_widest_int (ob, w);
2190 : 32727 : }
2191 : :
2192 : : /* Write OMP SIMD related info. */
2193 : 47528 : streamer_write_hwi (ob, loop->safelen);
2194 : 47528 : streamer_write_hwi (ob, loop->unroll);
2195 : 47528 : streamer_write_hwi (ob, loop->owned_clique);
2196 : 47528 : streamer_write_hwi (ob, loop->dont_vectorize);
2197 : 47528 : streamer_write_hwi (ob, loop->force_vectorize);
2198 : 47528 : streamer_write_hwi (ob, loop->finite_p);
2199 : 47528 : stream_write_tree (ob, loop->simduid, true);
2200 : : }
2201 : :
2202 : 106308 : ob->main_stream = tmp_stream;
2203 : 106308 : }
2204 : :
2205 : : /* Create the header in the file using OB. If the section type is for
2206 : : a function, set FN to the decl for that function. */
2207 : :
2208 : : void
2209 : 254247 : produce_symbol_asm (struct output_block *ob, tree fn, int output_order)
2210 : : {
2211 : 254247 : enum lto_section_type section_type = ob->section_type;
2212 : 254247 : struct lto_function_header header;
2213 : 254247 : char *section_name;
2214 : :
2215 : 254247 : if (section_type == LTO_section_function_body)
2216 : : {
2217 : 116982 : const char *name = IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (fn));
2218 : 116982 : section_name = lto_get_section_name (section_type, name,
2219 : : output_order, NULL);
2220 : : }
2221 : : else
2222 : 137265 : section_name = lto_get_section_name (section_type, NULL, 0, NULL);
2223 : :
2224 : 254247 : lto_begin_section (section_name, !flag_wpa);
2225 : 254247 : free (section_name);
2226 : :
2227 : : /* The entire header is stream computed here. */
2228 : 254247 : memset (&header, 0, sizeof (struct lto_function_header));
2229 : :
2230 : 254247 : if (section_type == LTO_section_function_body)
2231 : 116982 : header.cfg_size = ob->cfg_stream->total_size;
2232 : 254247 : header.main_size = ob->main_stream->total_size;
2233 : 254247 : header.string_size = ob->string_stream->total_size;
2234 : 254247 : lto_write_data (&header, sizeof header);
2235 : :
2236 : : /* Put all of the gimple and the string table out the asm file as a
2237 : : block of text. */
2238 : 254247 : if (section_type == LTO_section_function_body)
2239 : 116982 : lto_write_stream (ob->cfg_stream);
2240 : 254247 : lto_write_stream (ob->main_stream);
2241 : 254247 : lto_write_stream (ob->string_stream);
2242 : :
2243 : 254247 : lto_end_section ();
2244 : 254247 : }
2245 : :
2246 : : /* Wrapper for unused arguments. */
2247 : :
2248 : : void
2249 : 137265 : produce_asm (struct output_block *ob)
2250 : : {
2251 : 137265 : produce_symbol_asm (ob, NULL, -1);
2252 : 137265 : }
2253 : :
2254 : :
2255 : : /* Output the base body of struct function FN using output block OB. */
2256 : :
2257 : : static void
2258 : 106308 : output_struct_function_base (struct output_block *ob, struct function *fn)
2259 : : {
2260 : 106308 : struct bitpack_d bp;
2261 : 106308 : unsigned i;
2262 : 106308 : tree t;
2263 : :
2264 : : /* Output the static chain and non-local goto save area. */
2265 : 106308 : stream_write_tree (ob, fn->static_chain_decl, true);
2266 : 106308 : stream_write_tree (ob, fn->nonlocal_goto_save_area, true);
2267 : :
2268 : : /* Output all the local variables in the function. */
2269 : 106308 : streamer_write_hwi (ob, vec_safe_length (fn->local_decls));
2270 : 372839 : FOR_EACH_VEC_SAFE_ELT (fn->local_decls, i, t)
2271 : 160223 : stream_write_tree (ob, t, true);
2272 : :
2273 : : /* Output current IL state of the function. */
2274 : 106308 : streamer_write_uhwi (ob, fn->curr_properties);
2275 : :
2276 : : /* Write all the attributes for FN. */
2277 : 106308 : bp = bitpack_create (ob->main_stream);
2278 : 106308 : bp_pack_value (&bp, fn->is_thunk, 1);
2279 : 106308 : bp_pack_value (&bp, fn->has_local_explicit_reg_vars, 1);
2280 : 106308 : bp_pack_value (&bp, fn->returns_pcc_struct, 1);
2281 : 106308 : bp_pack_value (&bp, fn->returns_struct, 1);
2282 : 106308 : bp_pack_value (&bp, fn->can_throw_non_call_exceptions, 1);
2283 : 106308 : bp_pack_value (&bp, fn->can_delete_dead_exceptions, 1);
2284 : 106308 : bp_pack_value (&bp, fn->always_inline_functions_inlined, 1);
2285 : 106308 : bp_pack_value (&bp, fn->after_inlining, 1);
2286 : 106308 : bp_pack_value (&bp, fn->stdarg, 1);
2287 : 106308 : bp_pack_value (&bp, fn->has_nonlocal_label, 1);
2288 : 106308 : bp_pack_value (&bp, fn->has_forced_label_in_static, 1);
2289 : 106308 : bp_pack_value (&bp, fn->calls_alloca, 1);
2290 : 106308 : bp_pack_value (&bp, fn->calls_setjmp, 1);
2291 : 106308 : bp_pack_value (&bp, fn->calls_eh_return, 1);
2292 : 106308 : bp_pack_value (&bp, fn->has_force_vectorize_loops, 1);
2293 : 106308 : bp_pack_value (&bp, fn->has_simduid_loops, 1);
2294 : 106308 : bp_pack_value (&bp, fn->has_musttail, 1);
2295 : 106308 : bp_pack_value (&bp, fn->has_unroll, 1);
2296 : 106308 : bp_pack_value (&bp, fn->assume_function, 1);
2297 : 106308 : bp_pack_value (&bp, fn->va_list_fpr_size, 8);
2298 : 106308 : bp_pack_value (&bp, fn->va_list_gpr_size, 8);
2299 : 106308 : bp_pack_value (&bp, fn->last_clique, sizeof (short) * 8);
2300 : :
2301 : : /* Output the function start and end loci. */
2302 : 106308 : stream_output_location (ob, &bp, fn->function_start_locus);
2303 : 106308 : stream_output_location (ob, &bp, fn->function_end_locus);
2304 : :
2305 : : /* Save the instance discriminator if present. */
2306 : 106308 : int *instance_number_p = NULL;
2307 : 106308 : if (decl_to_instance_map)
2308 : 0 : instance_number_p = decl_to_instance_map->get (fn->decl);
2309 : 106308 : bp_pack_value (&bp, !!instance_number_p, 1);
2310 : 106308 : if (instance_number_p)
2311 : 0 : bp_pack_value (&bp, *instance_number_p, sizeof (int) * CHAR_BIT);
2312 : :
2313 : 106308 : streamer_write_bitpack (&bp);
2314 : 106308 : }
2315 : :
2316 : :
2317 : : /* Collect all leaf BLOCKs beyond ROOT into LEAFS. */
2318 : :
2319 : : static void
2320 : 238011 : collect_block_tree_leafs (tree root, vec<tree> &leafs)
2321 : : {
2322 : 440718 : for (root = BLOCK_SUBBLOCKS (root); root; root = BLOCK_CHAIN (root))
2323 : 202707 : if (! BLOCK_SUBBLOCKS (root))
2324 : 71004 : leafs.safe_push (root);
2325 : : else
2326 : 131703 : collect_block_tree_leafs (root, leafs);
2327 : 238011 : }
2328 : :
2329 : : /* This performs function body modifications that are needed for streaming
2330 : : to work. */
2331 : :
2332 : : void
2333 : 106305 : lto_prepare_function_for_streaming (struct cgraph_node *node)
2334 : : {
2335 : 106305 : struct function *fn = DECL_STRUCT_FUNCTION (node->decl);
2336 : 106305 : basic_block bb;
2337 : :
2338 : 212610 : if (number_of_loops (fn))
2339 : : {
2340 : 106305 : push_cfun (fn);
2341 : 106305 : loop_optimizer_init (AVOID_CFG_MODIFICATIONS);
2342 : 106305 : loop_optimizer_finalize ();
2343 : 106305 : pop_cfun ();
2344 : : }
2345 : : /* We will renumber the statements. The code that does this uses
2346 : : the same ordering that we use for serializing them so we can use
2347 : : the same code on the other end and not have to write out the
2348 : : statement numbers. We do not assign UIDs to PHIs here because
2349 : : virtual PHIs get re-computed on-the-fly which would make numbers
2350 : : inconsistent. */
2351 : 106305 : set_gimple_stmt_max_uid (fn, 0);
2352 : 1002713 : FOR_ALL_BB_FN (bb, fn)
2353 : : {
2354 : 1048859 : for (gphi_iterator gsi = gsi_start_phis (bb); !gsi_end_p (gsi);
2355 : 152451 : gsi_next (&gsi))
2356 : : {
2357 : 152451 : gphi *stmt = gsi.phi ();
2358 : :
2359 : : /* Virtual PHIs are not going to be streamed. */
2360 : 304902 : if (!virtual_operand_p (gimple_phi_result (stmt)))
2361 : 88075 : gimple_set_uid (stmt, inc_gimple_stmt_max_uid (fn));
2362 : : }
2363 : 3440336 : for (gimple_stmt_iterator gsi = gsi_start_bb (bb); !gsi_end_p (gsi);
2364 : 1647520 : gsi_next (&gsi))
2365 : : {
2366 : 1647520 : gimple *stmt = gsi_stmt (gsi);
2367 : 1647520 : gimple_set_uid (stmt, inc_gimple_stmt_max_uid (fn));
2368 : : }
2369 : : }
2370 : : /* To avoid keeping duplicate gimple IDs in the statements, renumber
2371 : : virtual phis now. */
2372 : 1002713 : FOR_ALL_BB_FN (bb, fn)
2373 : : {
2374 : 1048859 : for (gphi_iterator gsi = gsi_start_phis (bb); !gsi_end_p (gsi);
2375 : 152451 : gsi_next (&gsi))
2376 : : {
2377 : 152451 : gphi *stmt = gsi.phi ();
2378 : 369278 : if (virtual_operand_p (gimple_phi_result (stmt)))
2379 : 64376 : gimple_set_uid (stmt, inc_gimple_stmt_max_uid (fn));
2380 : : }
2381 : : }
2382 : :
2383 : 106305 : }
2384 : :
2385 : : /* Emit the chain of tree nodes starting at T. OB is the output block
2386 : : to write to. REF_P is true if chain elements should be emitted
2387 : : as references. */
2388 : :
2389 : : static void
2390 : 106457 : streamer_write_chain (struct output_block *ob, tree t, bool ref_p)
2391 : : {
2392 : 421803 : while (t)
2393 : : {
2394 : : /* We avoid outputting external vars or functions by reference
2395 : : to the global decls section as we do not want to have them
2396 : : enter decl merging. We should not need to do this anymore because
2397 : : free_lang_data removes them from block scopes. */
2398 : 315346 : gcc_assert (!VAR_OR_FUNCTION_DECL_P (t) || !DECL_EXTERNAL (t));
2399 : 315346 : stream_write_tree (ob, t, ref_p);
2400 : :
2401 : 315346 : t = TREE_CHAIN (t);
2402 : : }
2403 : :
2404 : : /* Write a sentinel to terminate the chain. */
2405 : 106457 : stream_write_tree (ob, NULL_TREE, ref_p);
2406 : 106457 : }
2407 : :
2408 : : /* Output the body of function NODE->DECL. */
2409 : :
2410 : : static void
2411 : 106457 : output_function (struct cgraph_node *node, int output_order)
2412 : : {
2413 : 106457 : tree function;
2414 : 106457 : struct function *fn;
2415 : 106457 : basic_block bb;
2416 : 106457 : struct output_block *ob;
2417 : :
2418 : 106457 : if (streamer_dump_file)
2419 : 8 : fprintf (streamer_dump_file, "\nStreaming body of %s\n",
2420 : : node->dump_name ());
2421 : :
2422 : 106457 : function = node->decl;
2423 : 106457 : fn = DECL_STRUCT_FUNCTION (function);
2424 : 106457 : ob = create_output_block (LTO_section_function_body);
2425 : :
2426 : 106457 : ob->symbol = node;
2427 : :
2428 : 106457 : gcc_assert (current_function_decl == NULL_TREE && cfun == NULL);
2429 : :
2430 : : /* Make string 0 be a NULL string. */
2431 : 106457 : streamer_write_char_stream (ob->string_stream, 0);
2432 : :
2433 : 106457 : streamer_write_record_start (ob, LTO_function);
2434 : :
2435 : : /* Output decls for parameters and args. */
2436 : 106457 : stream_write_tree (ob, DECL_RESULT (function), true);
2437 : 106457 : streamer_write_chain (ob, DECL_ARGUMENTS (function), true);
2438 : :
2439 : : /* Output debug args if available. */
2440 : 106457 : vec<tree, va_gc> **debugargs = decl_debug_args_lookup (function);
2441 : 106457 : if (! debugargs)
2442 : 106428 : streamer_write_uhwi (ob, 0);
2443 : : else
2444 : : {
2445 : 29 : streamer_write_uhwi (ob, (*debugargs)->length ());
2446 : 103 : for (unsigned i = 0; i < (*debugargs)->length (); ++i)
2447 : 74 : stream_write_tree (ob, (**debugargs)[i], true);
2448 : : }
2449 : :
2450 : : /* Output DECL_INITIAL for the function, which contains the tree of
2451 : : lexical scopes. */
2452 : 106457 : stream_write_tree (ob, DECL_INITIAL (function), true);
2453 : : /* As we do not recurse into BLOCK_SUBBLOCKS but only BLOCK_SUPERCONTEXT
2454 : : collect block tree leafs and stream those. */
2455 : 106457 : auto_vec<tree> block_tree_leafs;
2456 : 106457 : if (DECL_INITIAL (function) && DECL_INITIAL (function) != error_mark_node)
2457 : 106308 : collect_block_tree_leafs (DECL_INITIAL (function), block_tree_leafs);
2458 : 106457 : streamer_write_uhwi (ob, block_tree_leafs.length ());
2459 : 177461 : for (unsigned i = 0; i < block_tree_leafs.length (); ++i)
2460 : 71004 : stream_write_tree (ob, block_tree_leafs[i], true);
2461 : :
2462 : : /* We also stream abstract functions where we stream only stuff needed for
2463 : : debug info. */
2464 : 106457 : if (gimple_has_body_p (function))
2465 : : {
2466 : 106308 : streamer_write_uhwi (ob, 1);
2467 : 106308 : output_struct_function_base (ob, fn);
2468 : :
2469 : 106308 : output_cfg (ob, fn);
2470 : :
2471 : : /* Output all the SSA names used in the function. */
2472 : 106308 : output_ssa_names (ob, fn);
2473 : :
2474 : : /* Output any exception handling regions. */
2475 : 106308 : output_eh_regions (ob, fn);
2476 : :
2477 : : /* Output the code for the function. */
2478 : 1002725 : FOR_ALL_BB_FN (bb, fn)
2479 : 896417 : output_bb (ob, bb, fn);
2480 : :
2481 : : /* The terminator for this function. */
2482 : 106308 : streamer_write_record_start (ob, LTO_null);
2483 : : }
2484 : : else
2485 : 149 : streamer_write_uhwi (ob, 0);
2486 : :
2487 : : /* Create a section to hold the pickled output of this function. */
2488 : 106457 : produce_symbol_asm (ob, function, output_order);
2489 : :
2490 : 106457 : destroy_output_block (ob);
2491 : 106457 : if (streamer_dump_file)
2492 : 8 : fprintf (streamer_dump_file, "Finished streaming %s\n",
2493 : : node->dump_name ());
2494 : 106457 : }
2495 : :
2496 : : /* Output the body of function NODE->DECL. */
2497 : :
2498 : : static void
2499 : 10525 : output_constructor (struct varpool_node *node, int output_order)
2500 : : {
2501 : 10525 : tree var = node->decl;
2502 : 10525 : struct output_block *ob;
2503 : :
2504 : 10525 : if (streamer_dump_file)
2505 : 4 : fprintf (streamer_dump_file, "\nStreaming constructor of %s\n",
2506 : : node->dump_name ());
2507 : :
2508 : 10525 : timevar_push (TV_IPA_LTO_CTORS_OUT);
2509 : 10525 : ob = create_output_block (LTO_section_function_body);
2510 : :
2511 : 10525 : ob->symbol = node;
2512 : :
2513 : : /* Make string 0 be a NULL string. */
2514 : 10525 : streamer_write_char_stream (ob->string_stream, 0);
2515 : :
2516 : : /* Output DECL_INITIAL for the function, which contains the tree of
2517 : : lexical scopes. */
2518 : 10525 : stream_write_tree (ob, DECL_INITIAL (var), true);
2519 : :
2520 : : /* Create a section to hold the pickled output of this function. */
2521 : 10525 : produce_symbol_asm (ob, var, output_order);
2522 : :
2523 : 10525 : destroy_output_block (ob);
2524 : 10525 : if (streamer_dump_file)
2525 : 4 : fprintf (streamer_dump_file, "Finished streaming %s\n",
2526 : : node->dump_name ());
2527 : 10525 : timevar_pop (TV_IPA_LTO_CTORS_OUT);
2528 : 10525 : }
2529 : :
2530 : :
2531 : : /* Emit toplevel asms. */
2532 : :
2533 : : void
2534 : 32820 : lto_output_toplevel_asms (void)
2535 : : {
2536 : 32820 : struct output_block *ob;
2537 : 32820 : struct asm_node *can;
2538 : 32820 : char *section_name;
2539 : 32820 : struct lto_simple_header_with_strings header;
2540 : :
2541 : 32820 : if (!symtab->first_asm_symbol ())
2542 : 32754 : return;
2543 : :
2544 : 66 : ob = create_output_block (LTO_section_asm);
2545 : :
2546 : : /* Make string 0 be a NULL string. */
2547 : 66 : streamer_write_char_stream (ob->string_stream, 0);
2548 : :
2549 : 132 : for (can = symtab->first_asm_symbol (); can; can = can->next)
2550 : : {
2551 : 66 : if (TREE_CODE (can->asm_str) != STRING_CST)
2552 : : {
2553 : 0 : sorry_at (EXPR_LOCATION (can->asm_str),
2554 : : "LTO streaming of toplevel extended %<asm%> "
2555 : : "unimplemented");
2556 : 0 : continue;
2557 : : }
2558 : 66 : streamer_write_string_cst (ob, ob->main_stream, can->asm_str);
2559 : 66 : streamer_write_hwi (ob, can->order);
2560 : : }
2561 : :
2562 : 66 : streamer_write_string_cst (ob, ob->main_stream, NULL_TREE);
2563 : :
2564 : 66 : section_name = lto_get_section_name (LTO_section_asm, NULL, 0, NULL);
2565 : 66 : lto_begin_section (section_name, !flag_wpa);
2566 : 66 : free (section_name);
2567 : :
2568 : : /* The entire header stream is computed here. */
2569 : 66 : memset (&header, 0, sizeof (header));
2570 : :
2571 : 66 : header.main_size = ob->main_stream->total_size;
2572 : 66 : header.string_size = ob->string_stream->total_size;
2573 : 66 : lto_write_data (&header, sizeof header);
2574 : :
2575 : : /* Put all of the gimple and the string table out the asm file as a
2576 : : block of text. */
2577 : 66 : lto_write_stream (ob->main_stream);
2578 : 66 : lto_write_stream (ob->string_stream);
2579 : :
2580 : 66 : lto_end_section ();
2581 : :
2582 : 66 : destroy_output_block (ob);
2583 : : }
2584 : :
2585 : :
2586 : : /* Copy the function body or variable constructor of NODE without deserializing. */
2587 : :
2588 : : static void
2589 : 34361 : copy_function_or_variable (struct symtab_node *node, int output_order)
2590 : : {
2591 : 34361 : tree function = node->decl;
2592 : 34361 : struct lto_file_decl_data *file_data = node->lto_file_data;
2593 : 34361 : const char *data;
2594 : 34361 : size_t len;
2595 : 34361 : const char *name = IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (function));
2596 : 34361 : char *section_name =
2597 : 34361 : lto_get_section_name (LTO_section_function_body, name, output_order, NULL);
2598 : 34361 : size_t i, j;
2599 : 34361 : struct lto_in_decl_state *in_state;
2600 : 34361 : struct lto_out_decl_state *out_state = lto_get_out_decl_state ();
2601 : :
2602 : 34361 : if (streamer_dump_file)
2603 : 0 : fprintf (streamer_dump_file, "Copying section for %s\n", name);
2604 : 34361 : lto_begin_section (section_name, false);
2605 : 34361 : free (section_name);
2606 : :
2607 : : /* We may have renamed the declaration, e.g., a static function. */
2608 : 34361 : name = lto_get_decl_name_mapping (file_data, name);
2609 : :
2610 : 68722 : data = lto_get_raw_section_data (file_data, LTO_section_function_body,
2611 : 34361 : name, node->order - file_data->order_base,
2612 : : &len);
2613 : 34361 : gcc_assert (data);
2614 : :
2615 : : /* Do a bit copy of the function body. */
2616 : 34361 : lto_write_raw_data (data, len);
2617 : :
2618 : : /* Copy decls. */
2619 : 34361 : in_state =
2620 : 34361 : lto_get_function_in_decl_state (node->lto_file_data, function);
2621 : 34361 : out_state->compressed = in_state->compressed;
2622 : 34361 : gcc_assert (in_state);
2623 : :
2624 : 68722 : for (i = 0; i < LTO_N_DECL_STREAMS; i++)
2625 : : {
2626 : 34361 : size_t n = vec_safe_length (in_state->streams[i]);
2627 : 34361 : vec<tree, va_gc> *trees = in_state->streams[i];
2628 : 34361 : struct lto_tree_ref_encoder *encoder = &(out_state->streams[i]);
2629 : :
2630 : : /* The out state must have the same indices and the in state.
2631 : : So just copy the vector. All the encoders in the in state
2632 : : must be empty where we reach here. */
2633 : 34361 : gcc_assert (lto_tree_ref_encoder_size (encoder) == 0);
2634 : 34361 : encoder->trees.reserve_exact (n);
2635 : 505923 : for (j = 0; j < n; j++)
2636 : 437201 : encoder->trees.safe_push ((*trees)[j]);
2637 : : }
2638 : :
2639 : 34361 : lto_free_raw_section_data (file_data, LTO_section_function_body, name,
2640 : : data, len);
2641 : 34361 : lto_end_section ();
2642 : 34361 : }
2643 : :
2644 : : /* Wrap symbol references in *TP inside a type-preserving MEM_REF. */
2645 : :
2646 : : static tree
2647 : 785653 : wrap_refs (tree *tp, int *ws, void *)
2648 : : {
2649 : 785653 : tree t = *tp;
2650 : 785653 : if (handled_component_p (t)
2651 : 166 : && VAR_P (TREE_OPERAND (t, 0))
2652 : 114 : && TREE_PUBLIC (TREE_OPERAND (t, 0)))
2653 : : {
2654 : 81 : tree decl = TREE_OPERAND (t, 0);
2655 : 81 : tree ptrtype = build_pointer_type (TREE_TYPE (decl));
2656 : 81 : TREE_OPERAND (t, 0) = build2 (MEM_REF, TREE_TYPE (decl),
2657 : : build1 (ADDR_EXPR, ptrtype, decl),
2658 : 81 : build_int_cst (ptrtype, 0));
2659 : 81 : TREE_THIS_VOLATILE (TREE_OPERAND (t, 0)) = TREE_THIS_VOLATILE (decl);
2660 : 81 : *ws = 0;
2661 : : }
2662 : 785572 : else if (TREE_CODE (t) == CONSTRUCTOR)
2663 : : ;
2664 : 568739 : else if (!EXPR_P (t))
2665 : 329504 : *ws = 0;
2666 : 785653 : return NULL_TREE;
2667 : : }
2668 : :
2669 : : /* Remove functions that are no longer used from offload_funcs, and mark the
2670 : : remaining ones with DECL_PRESERVE_P. */
2671 : :
2672 : : static void
2673 : 33181 : prune_offload_funcs (void)
2674 : : {
2675 : 33181 : if (!offload_funcs)
2676 : 33181 : return;
2677 : :
2678 : 0 : unsigned ix, ix2;
2679 : 0 : tree *elem_ptr;
2680 : 0 : VEC_ORDERED_REMOVE_IF (*offload_funcs, ix, ix2, elem_ptr,
2681 : : cgraph_node::get (*elem_ptr) == NULL);
2682 : :
2683 : : tree fn_decl;
2684 : 0 : FOR_EACH_VEC_ELT (*offload_funcs, ix, fn_decl)
2685 : 0 : DECL_PRESERVE_P (fn_decl) = 1;
2686 : : }
2687 : :
2688 : : /* Produce LTO section that contains global information
2689 : : about LTO bytecode. */
2690 : :
2691 : : static void
2692 : 33181 : produce_lto_section ()
2693 : : {
2694 : : /* Stream LTO meta section. */
2695 : 33181 : output_block *ob = create_output_block (LTO_section_lto);
2696 : :
2697 : 33181 : char * section_name = lto_get_section_name (LTO_section_lto, NULL, 0, NULL);
2698 : 33181 : lto_begin_section (section_name, false);
2699 : 33181 : free (section_name);
2700 : :
2701 : : #ifdef HAVE_ZSTD_H
2702 : 33181 : lto_compression compression = ZSTD;
2703 : : #else
2704 : : lto_compression compression = ZLIB;
2705 : : #endif
2706 : :
2707 : 33181 : bool slim_object = flag_generate_lto && !flag_fat_lto_objects;
2708 : 33181 : lto_section s
2709 : 33181 : = { LTO_major_version, LTO_minor_version, slim_object, 0, 0 };
2710 : 33181 : s.set_compression (compression);
2711 : 33181 : lto_write_data (&s, sizeof s);
2712 : 33181 : lto_end_section ();
2713 : 33181 : destroy_output_block (ob);
2714 : 33181 : }
2715 : :
2716 : : /* Compare symbols to get them sorted by filename (to optimize streaming) */
2717 : :
2718 : : static int
2719 : 3343254 : cmp_symbol_files (const void *pn1, const void *pn2, void *id_map_)
2720 : : {
2721 : 3343254 : const symtab_node *n1 = *(const symtab_node * const *)pn1;
2722 : 3343254 : const symtab_node *n2 = *(const symtab_node * const *)pn2;
2723 : 3343254 : hash_map<lto_file_decl_data *, int> *id_map
2724 : : = (hash_map<lto_file_decl_data *, int> *)id_map_;
2725 : :
2726 : 3343254 : int file_order1 = n1->lto_file_data ? n1->lto_file_data->order : -1;
2727 : 3343254 : int file_order2 = n2->lto_file_data ? n2->lto_file_data->order : -1;
2728 : :
2729 : : /* Order files same way as they appeared in the command line to reduce
2730 : : seeking while copying sections. */
2731 : 3343254 : if (file_order1 != file_order2)
2732 : 41813 : return file_order1 - file_order2;
2733 : :
2734 : : /* Order within static library. */
2735 : 3301441 : if (n1->lto_file_data && n1->lto_file_data->id != n2->lto_file_data->id)
2736 : 8720 : return *id_map->get (n1->lto_file_data) - *id_map->get (n2->lto_file_data);
2737 : :
2738 : : /* And finaly order by the definition order. */
2739 : 3292721 : return n1->order - n2->order;
2740 : : }
2741 : :
2742 : : /* Compare ints, callback for qsort. */
2743 : :
2744 : : static int
2745 : 31598674 : cmp_int (const void *a, const void *b)
2746 : : {
2747 : 31598674 : int ia = *(int const*) a;
2748 : 31598674 : int ib = *(int const*) b;
2749 : 31598674 : return ia - ib;
2750 : : }
2751 : :
2752 : : /* Create order mapping independent on symbols outside of the partition.
2753 : : Results in stable order values for incremental LTO.
2754 : :
2755 : : Remapping is not done in place, because symbols can be used
2756 : : by multiple partitions. */
2757 : :
2758 : : static void
2759 : 33181 : create_order_remap (lto_symtab_encoder_t encoder)
2760 : : {
2761 : 33181 : auto_vec<int> orders;
2762 : 33181 : unsigned i;
2763 : 33181 : struct asm_node* anode;
2764 : 33181 : encoder->order_remap = new hash_map<int_hash<int, -1, -2>, int>;
2765 : 33181 : unsigned n_nodes = lto_symtab_encoder_size (encoder);
2766 : :
2767 : 732723 : for (i = 0; i < n_nodes; i++)
2768 : 699542 : orders.safe_push (lto_symtab_encoder_deref (encoder, i)->order);
2769 : :
2770 : 33181 : if (!asm_nodes_output)
2771 : : {
2772 : 32886 : for (anode = symtab->first_asm_symbol (); anode; anode = anode->next)
2773 : 66 : orders.safe_push (anode->order);
2774 : : }
2775 : :
2776 : 33181 : orders.qsort (cmp_int);
2777 : 33181 : int ord = 0;
2778 : 33181 : int last_order = -1;
2779 : 732789 : for (i = 0; i < orders.length (); i++)
2780 : : {
2781 : 699608 : int order = orders[i];
2782 : 699608 : if (order != last_order)
2783 : : {
2784 : 677135 : last_order = order;
2785 : 677135 : encoder->order_remap->put (order, ord);
2786 : 677135 : ord++;
2787 : : }
2788 : : }
2789 : :
2790 : : /* Asm nodes are currently always output only into first partition.
2791 : : We can remap already here. */
2792 : 33181 : if (!asm_nodes_output)
2793 : : {
2794 : 32886 : for (anode = symtab->first_asm_symbol (); anode; anode = anode->next)
2795 : 66 : anode->order = *encoder->order_remap->get (anode->order);
2796 : : }
2797 : 33181 : }
2798 : :
2799 : : /* Main entry point from the pass manager. */
2800 : :
2801 : : void
2802 : 33181 : lto_output (void)
2803 : : {
2804 : 33181 : struct lto_out_decl_state *decl_state;
2805 : 33181 : bitmap output = NULL;
2806 : 33181 : bitmap_obstack output_obstack;
2807 : 33181 : unsigned int i, n_nodes;
2808 : 33181 : lto_symtab_encoder_t encoder = lto_get_out_decl_state ()->symtab_node_encoder;
2809 : 33181 : auto_vec<symtab_node *> symbols_to_copy;
2810 : :
2811 : 33181 : create_order_remap (encoder);
2812 : :
2813 : 33181 : prune_offload_funcs ();
2814 : :
2815 : 33181 : if (flag_checking)
2816 : : {
2817 : 33175 : bitmap_obstack_initialize (&output_obstack);
2818 : 33175 : output = BITMAP_ALLOC (&output_obstack);
2819 : : }
2820 : :
2821 : : /* Initialize the streamer. */
2822 : 33181 : lto_streamer_init ();
2823 : :
2824 : 33181 : produce_lto_section ();
2825 : :
2826 : 33181 : n_nodes = lto_symtab_encoder_size (encoder);
2827 : : /* Prepare vector of functions to output and then sort it to optimize
2828 : : section copying. */
2829 : 732723 : for (i = 0; i < n_nodes; i++)
2830 : : {
2831 : 699542 : symtab_node *snode = lto_symtab_encoder_deref (encoder, i);
2832 : 699542 : if (snode->alias)
2833 : 12855 : continue;
2834 : 686687 : if (cgraph_node *node = dyn_cast <cgraph_node *> (snode))
2835 : : {
2836 : 403944 : if (lto_symtab_encoder_encode_body_p (encoder, node)
2837 : 403944 : && !node->clone_of)
2838 : 136485 : symbols_to_copy.safe_push (node);
2839 : : }
2840 : 982285 : else if (varpool_node *node = dyn_cast <varpool_node *> (snode))
2841 : : {
2842 : : /* Wrap symbol references inside the ctor in a type
2843 : : preserving MEM_REF. */
2844 : 282743 : tree ctor = DECL_INITIAL (node->decl);
2845 : 282743 : if (ctor && !in_lto_p)
2846 : 18636 : walk_tree (&ctor, wrap_refs, NULL, NULL);
2847 : 282743 : if (get_symbol_initial_value (encoder, node->decl) == error_mark_node
2848 : 282743 : && lto_symtab_encoder_encode_initializer_p (encoder, node))
2849 : 14858 : symbols_to_copy.safe_push (node);
2850 : : }
2851 : : }
2852 : : /* Map the section hash to an order it appears in symbols_to_copy
2853 : : since we want to sort same ID symbols next to each other but need
2854 : : to avoid making overall order depend on the actual hash value. */
2855 : 33181 : int order = 0;
2856 : 33181 : hash_map<lto_file_decl_data *, int> id_map;
2857 : 184524 : for (i = 0; i < symbols_to_copy.length (); ++i)
2858 : : {
2859 : 151343 : symtab_node *snode = symbols_to_copy[i];
2860 : 151343 : if (snode->lto_file_data)
2861 : : {
2862 : 34362 : bool existed_p = false;
2863 : 34362 : int &ord = id_map.get_or_insert (snode->lto_file_data, &existed_p);
2864 : 34362 : if (!existed_p)
2865 : 9597 : ord = order++;
2866 : : }
2867 : : }
2868 : 33181 : symbols_to_copy.sort (cmp_symbol_files, (void *)&id_map);
2869 : 184524 : for (i = 0; i < symbols_to_copy.length (); i++)
2870 : : {
2871 : 151343 : symtab_node *snode = symbols_to_copy[i];
2872 : 151343 : cgraph_node *cnode;
2873 : 151343 : varpool_node *vnode;
2874 : :
2875 : 151343 : int output_order = *encoder->order_remap->get (snode->order);
2876 : :
2877 : 151343 : if (flag_checking)
2878 : 151341 : gcc_assert (bitmap_set_bit (output, DECL_UID (snode->decl)));
2879 : :
2880 : 151343 : decl_state = lto_new_out_decl_state ();
2881 : 151343 : lto_push_out_decl_state (decl_state);
2882 : :
2883 : 151343 : if ((cnode = dyn_cast <cgraph_node *> (snode))
2884 : 136485 : && (gimple_has_body_p (cnode->decl)
2885 : 30177 : || (!flag_wpa
2886 : 288 : && flag_incremental_link != INCREMENTAL_LINK_LTO)
2887 : : /* Thunks have no body but they may be synthetized
2888 : : at WPA time. */
2889 : 30030 : || DECL_ARGUMENTS (cnode->decl)
2890 : 30029 : || cnode->declare_variant_alt))
2891 : 106457 : output_function (cnode, output_order);
2892 : 44886 : else if ((vnode = dyn_cast <varpool_node *> (snode))
2893 : 14858 : && (DECL_INITIAL (vnode->decl) != error_mark_node
2894 : 4333 : || (!flag_wpa
2895 : 43 : && flag_incremental_link != INCREMENTAL_LINK_LTO)))
2896 : 10525 : output_constructor (vnode, output_order);
2897 : : else
2898 : 34361 : copy_function_or_variable (snode, output_order);
2899 : 151343 : gcc_assert (lto_get_out_decl_state () == decl_state);
2900 : 151343 : lto_pop_out_decl_state ();
2901 : 151343 : lto_record_function_out_decl_state (snode->decl, decl_state);
2902 : : }
2903 : :
2904 : : /* Emit the callgraph after emitting function bodies. This needs to
2905 : : be done now to make sure that all the statements in every function
2906 : : have been renumbered so that edges can be associated with call
2907 : : statements using the statement UIDs. */
2908 : 33181 : output_symtab ();
2909 : :
2910 : 33181 : if (lto_get_out_decl_state ()->output_offload_tables_p)
2911 : 8833 : output_offload_tables ();
2912 : :
2913 : 33181 : if (flag_checking)
2914 : : {
2915 : 33175 : BITMAP_FREE (output);
2916 : 33175 : bitmap_obstack_release (&output_obstack);
2917 : : }
2918 : 33181 : }
2919 : :
2920 : : /* Write each node in encoded by ENCODER to OB, as well as those reachable
2921 : : from it and required for correct representation of its semantics.
2922 : : Each node in ENCODER must be a global declaration or a type. A node
2923 : : is written only once, even if it appears multiple times in the
2924 : : vector. Certain transitively-reachable nodes, such as those
2925 : : representing expressions, may be duplicated, but such nodes
2926 : : must not appear in ENCODER itself. */
2927 : :
2928 : : static void
2929 : 184524 : write_global_stream (struct output_block *ob,
2930 : : struct lto_tree_ref_encoder *encoder)
2931 : : {
2932 : 184524 : tree t;
2933 : 184524 : size_t index;
2934 : 184524 : const size_t size = lto_tree_ref_encoder_size (encoder);
2935 : :
2936 : 2752933 : for (index = 0; index < size; index++)
2937 : : {
2938 : 2568409 : t = lto_tree_ref_encoder_get_tree (encoder, index);
2939 : 2568409 : if (streamer_dump_file)
2940 : : {
2941 : 176 : fprintf (streamer_dump_file, " %i:", (int)index);
2942 : 176 : print_node_brief (streamer_dump_file, "", t, 4);
2943 : 176 : fprintf (streamer_dump_file, "\n");
2944 : : }
2945 : 2568409 : if (!streamer_tree_cache_lookup (ob->writer_cache, t, NULL))
2946 : 909304 : stream_write_tree (ob, t, false);
2947 : : }
2948 : 184524 : }
2949 : :
2950 : :
2951 : : /* Write a sequence of indices into the globals vector corresponding
2952 : : to the trees in ENCODER. These are used by the reader to map the
2953 : : indices used to refer to global entities within function bodies to
2954 : : their referents. */
2955 : :
2956 : : static void
2957 : 184524 : write_global_references (struct output_block *ob,
2958 : : struct lto_tree_ref_encoder *encoder)
2959 : : {
2960 : 184524 : tree t;
2961 : 184524 : uint32_t index;
2962 : 184524 : const uint32_t size = lto_tree_ref_encoder_size (encoder);
2963 : :
2964 : : /* Write size and slot indexes as 32-bit unsigned numbers. */
2965 : 184524 : uint32_t *data = XNEWVEC (uint32_t, size + 1);
2966 : 184524 : data[0] = size;
2967 : :
2968 : 2752933 : for (index = 0; index < size; index++)
2969 : : {
2970 : 2568409 : unsigned slot_num;
2971 : :
2972 : 2568409 : t = lto_tree_ref_encoder_get_tree (encoder, index);
2973 : 2568409 : streamer_tree_cache_lookup (ob->writer_cache, t, &slot_num);
2974 : 2568409 : gcc_assert (slot_num != (unsigned)-1);
2975 : 2568409 : data[index + 1] = slot_num;
2976 : : }
2977 : :
2978 : 184524 : lto_write_data (data, sizeof (int32_t) * (size + 1));
2979 : 184524 : free (data);
2980 : 184524 : }
2981 : :
2982 : :
2983 : : /* Write all the streams in an lto_out_decl_state STATE using
2984 : : output block OB and output stream OUT_STREAM. */
2985 : :
2986 : : void
2987 : 184524 : lto_output_decl_state_streams (struct output_block *ob,
2988 : : struct lto_out_decl_state *state)
2989 : : {
2990 : 184524 : int i;
2991 : :
2992 : 369048 : for (i = 0; i < LTO_N_DECL_STREAMS; i++)
2993 : 184524 : write_global_stream (ob, &state->streams[i]);
2994 : 184524 : }
2995 : :
2996 : :
2997 : : /* Write all the references in an lto_out_decl_state STATE using
2998 : : output block OB and output stream OUT_STREAM. */
2999 : :
3000 : : void
3001 : 184524 : lto_output_decl_state_refs (struct output_block *ob,
3002 : : struct lto_out_decl_state *state)
3003 : : {
3004 : 184524 : unsigned i;
3005 : 184524 : unsigned ref;
3006 : 184524 : tree decl;
3007 : :
3008 : : /* Write reference to FUNCTION_DECL. If there is not function,
3009 : : write reference to void_type_node. */
3010 : 184524 : decl = (state->fn_decl) ? state->fn_decl : void_type_node;
3011 : 184524 : streamer_tree_cache_lookup (ob->writer_cache, decl, &ref);
3012 : 184524 : gcc_assert (ref != (unsigned)-1);
3013 : 184524 : ref = ref * 2 + (state->compressed ? 1 : 0);
3014 : 184524 : lto_write_data (&ref, sizeof (uint32_t));
3015 : :
3016 : 553572 : for (i = 0; i < LTO_N_DECL_STREAMS; i++)
3017 : 184524 : write_global_references (ob, &state->streams[i]);
3018 : 184524 : }
3019 : :
3020 : :
3021 : : /* Return the written size of STATE. */
3022 : :
3023 : : static size_t
3024 : 184524 : lto_out_decl_state_written_size (struct lto_out_decl_state *state)
3025 : : {
3026 : 184524 : int i;
3027 : 184524 : size_t size;
3028 : :
3029 : 184524 : size = sizeof (int32_t); /* fn_ref. */
3030 : 0 : for (i = 0; i < LTO_N_DECL_STREAMS; i++)
3031 : : {
3032 : 184524 : size += sizeof (int32_t); /* vector size. */
3033 : 0 : size += (lto_tree_ref_encoder_size (&state->streams[i])
3034 : 0 : * sizeof (int32_t));
3035 : : }
3036 : 184524 : return size;
3037 : : }
3038 : :
3039 : :
3040 : : /* Write symbol T into STREAM in CACHE. SEEN specifies symbols we wrote
3041 : : so far. */
3042 : :
3043 : : static void
3044 : 540148 : write_symbol (struct streamer_tree_cache_d *cache,
3045 : : tree t, hash_set<const char *> *seen, bool alias)
3046 : : {
3047 : 540148 : const char *name;
3048 : 540148 : enum gcc_plugin_symbol_kind kind;
3049 : 540148 : enum gcc_plugin_symbol_visibility visibility = GCCPV_DEFAULT;
3050 : 540148 : unsigned slot_num;
3051 : 540148 : uint64_t size;
3052 : 540148 : const char *comdat;
3053 : 540148 : unsigned char c;
3054 : :
3055 : 540148 : gcc_assert (VAR_OR_FUNCTION_DECL_P (t));
3056 : :
3057 : 540148 : name = IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (t));
3058 : :
3059 : : /* This behaves like assemble_name_raw in varasm.cc, performing the
3060 : : same name manipulations that ASM_OUTPUT_LABELREF does. */
3061 : 540148 : name = IDENTIFIER_POINTER ((*targetm.asm_out.mangle_assembler_name) (name));
3062 : :
3063 : 540148 : if (seen->add (name))
3064 : 769 : return;
3065 : :
3066 : 539379 : streamer_tree_cache_lookup (cache, t, &slot_num);
3067 : 539379 : gcc_assert (slot_num != (unsigned)-1);
3068 : :
3069 : 539379 : if (DECL_EXTERNAL (t))
3070 : : {
3071 : 214361 : if (DECL_WEAK (t))
3072 : : kind = GCCPK_WEAKUNDEF;
3073 : : else
3074 : 214332 : kind = GCCPK_UNDEF;
3075 : : }
3076 : : else
3077 : : {
3078 : 325018 : if (DECL_WEAK (t))
3079 : : kind = GCCPK_WEAKDEF;
3080 : 313187 : else if (DECL_COMMON (t))
3081 : : kind = GCCPK_COMMON;
3082 : : else
3083 : 313126 : kind = GCCPK_DEF;
3084 : :
3085 : : /* When something is defined, it should have node attached. */
3086 : 325018 : gcc_assert (alias || !VAR_P (t) || varpool_node::get (t)->definition);
3087 : 325018 : gcc_assert (alias || TREE_CODE (t) != FUNCTION_DECL
3088 : : || (cgraph_node::get (t)
3089 : : && cgraph_node::get (t)->definition));
3090 : : }
3091 : :
3092 : : /* Imitate what default_elf_asm_output_external do.
3093 : : When symbol is external, we need to output it with DEFAULT visibility
3094 : : when compiling with -fvisibility=default, while with HIDDEN visibility
3095 : : when symbol has attribute (visibility("hidden")) specified.
3096 : : targetm.binds_local_p check DECL_VISIBILITY_SPECIFIED and gets this
3097 : : right. */
3098 : :
3099 : 539379 : if (DECL_EXTERNAL (t)
3100 : 539379 : && !targetm.binds_local_p (t))
3101 : : visibility = GCCPV_DEFAULT;
3102 : : else
3103 : 325070 : switch (DECL_VISIBILITY (t))
3104 : : {
3105 : : case VISIBILITY_DEFAULT:
3106 : : visibility = GCCPV_DEFAULT;
3107 : : break;
3108 : : case VISIBILITY_PROTECTED:
3109 : 539379 : visibility = GCCPV_PROTECTED;
3110 : : break;
3111 : : case VISIBILITY_HIDDEN:
3112 : : visibility = GCCPV_HIDDEN;
3113 : : break;
3114 : : case VISIBILITY_INTERNAL:
3115 : : visibility = GCCPV_INTERNAL;
3116 : : break;
3117 : : }
3118 : :
3119 : 539379 : if (kind == GCCPK_COMMON
3120 : 61 : && DECL_SIZE_UNIT (t)
3121 : 539440 : && TREE_CODE (DECL_SIZE_UNIT (t)) == INTEGER_CST)
3122 : 61 : size = TREE_INT_CST_LOW (DECL_SIZE_UNIT (t));
3123 : : else
3124 : 539318 : size = 0;
3125 : :
3126 : 539379 : if (DECL_ONE_ONLY (t))
3127 : 11793 : comdat = IDENTIFIER_POINTER (decl_comdat_group_id (t));
3128 : : else
3129 : : comdat = "";
3130 : :
3131 : 539379 : lto_write_data (name, strlen (name) + 1);
3132 : 539379 : lto_write_data (comdat, strlen (comdat) + 1);
3133 : 539379 : c = (unsigned char) kind;
3134 : 539379 : lto_write_data (&c, 1);
3135 : 539379 : c = (unsigned char) visibility;
3136 : 539379 : lto_write_data (&c, 1);
3137 : 539379 : lto_write_data (&size, 8);
3138 : 539379 : lto_write_data (&slot_num, 4);
3139 : : }
3140 : :
3141 : : /* Write extension information for symbols (symbol type, section flags). */
3142 : :
3143 : : static void
3144 : 540148 : write_symbol_extension_info (tree t)
3145 : : {
3146 : 540148 : unsigned char c;
3147 : 540148 : c = ((unsigned char) TREE_CODE (t) == VAR_DECL
3148 : : ? GCCST_VARIABLE : GCCST_FUNCTION);
3149 : 540148 : lto_write_data (&c, 1);
3150 : 540148 : unsigned char section_kind = 0;
3151 : 540148 : if (VAR_P (t))
3152 : : {
3153 : 232256 : section *s = get_variable_section (t, false);
3154 : 232256 : if (s->common.flags & SECTION_BSS)
3155 : 222692 : section_kind |= GCCSSK_BSS;
3156 : : }
3157 : 540148 : lto_write_data (§ion_kind, 1);
3158 : 540148 : }
3159 : :
3160 : : /* Write an IL symbol table to OB.
3161 : : SET and VSET are cgraph/varpool node sets we are outputting. */
3162 : :
3163 : : static unsigned int
3164 : 23991 : produce_symtab (struct output_block *ob)
3165 : : {
3166 : 23991 : unsigned int streamed_symbols = 0;
3167 : 23991 : struct streamer_tree_cache_d *cache = ob->writer_cache;
3168 : 23991 : char *section_name = lto_get_section_name (LTO_section_symtab, NULL, 0, NULL);
3169 : 23991 : lto_symtab_encoder_t encoder = ob->decl_state->symtab_node_encoder;
3170 : 23991 : lto_symtab_encoder_iterator lsei;
3171 : :
3172 : 23991 : lto_begin_section (section_name, false);
3173 : 23991 : free (section_name);
3174 : :
3175 : 23991 : hash_set<const char *> seen;
3176 : :
3177 : : /* Write the symbol table.
3178 : : First write everything defined and then all declarations.
3179 : : This is necessary to handle cases where we have duplicated symbols. */
3180 : 23991 : for (lsei = lsei_start (encoder);
3181 : 617742 : !lsei_end_p (lsei); lsei_next (&lsei))
3182 : : {
3183 : 593751 : symtab_node *node = lsei_node (lsei);
3184 : :
3185 : 593751 : if (DECL_EXTERNAL (node->decl) || !node->output_to_lto_symbol_table_p ())
3186 : 268733 : continue;
3187 : 325018 : write_symbol (cache, node->decl, &seen, false);
3188 : 325018 : ++streamed_symbols;
3189 : : }
3190 : 617742 : for (lsei = lsei_start (encoder);
3191 : 617742 : !lsei_end_p (lsei); lsei_next (&lsei))
3192 : : {
3193 : 593751 : symtab_node *node = lsei_node (lsei);
3194 : :
3195 : 593751 : if (!DECL_EXTERNAL (node->decl) || !node->output_to_lto_symbol_table_p ())
3196 : 378621 : continue;
3197 : 215130 : write_symbol (cache, node->decl, &seen, false);
3198 : 215130 : ++streamed_symbols;
3199 : : }
3200 : :
3201 : 23991 : lto_end_section ();
3202 : :
3203 : 23991 : return streamed_symbols;
3204 : 23991 : }
3205 : :
3206 : : /* Symtab extension version. */
3207 : : #define LTO_SYMTAB_EXTENSION_VERSION 1
3208 : :
3209 : : /* Write an IL symbol table extension to OB.
3210 : : SET and VSET are cgraph/varpool node sets we are outputting. */
3211 : :
3212 : : static void
3213 : 23991 : produce_symtab_extension (struct output_block *ob,
3214 : : unsigned int previous_streamed_symbols)
3215 : : {
3216 : 23991 : unsigned int streamed_symbols = 0;
3217 : 23991 : char *section_name = lto_get_section_name (LTO_section_symtab_extension,
3218 : : NULL, 0, NULL);
3219 : 23991 : lto_symtab_encoder_t encoder = ob->decl_state->symtab_node_encoder;
3220 : 23991 : lto_symtab_encoder_iterator lsei;
3221 : :
3222 : 23991 : lto_begin_section (section_name, false);
3223 : 23991 : free (section_name);
3224 : :
3225 : 23991 : unsigned char version = LTO_SYMTAB_EXTENSION_VERSION;
3226 : 23991 : lto_write_data (&version, 1);
3227 : :
3228 : : /* Write the symbol table.
3229 : : First write everything defined and then all declarations.
3230 : : This is necessary to handle cases where we have duplicated symbols. */
3231 : 23991 : for (lsei = lsei_start (encoder);
3232 : 617742 : !lsei_end_p (lsei); lsei_next (&lsei))
3233 : : {
3234 : 593751 : symtab_node *node = lsei_node (lsei);
3235 : :
3236 : 593751 : if (DECL_EXTERNAL (node->decl) || !node->output_to_lto_symbol_table_p ())
3237 : 268733 : continue;
3238 : 325018 : write_symbol_extension_info (node->decl);
3239 : 325018 : ++streamed_symbols;
3240 : : }
3241 : 617742 : for (lsei = lsei_start (encoder);
3242 : 617742 : !lsei_end_p (lsei); lsei_next (&lsei))
3243 : : {
3244 : 593751 : symtab_node *node = lsei_node (lsei);
3245 : :
3246 : 593751 : if (!DECL_EXTERNAL (node->decl) || !node->output_to_lto_symbol_table_p ())
3247 : 378621 : continue;
3248 : 215130 : write_symbol_extension_info (node->decl);
3249 : 215130 : ++streamed_symbols;
3250 : : }
3251 : :
3252 : 23991 : gcc_assert (previous_streamed_symbols == streamed_symbols);
3253 : 23991 : lto_end_section ();
3254 : 23991 : }
3255 : :
3256 : :
3257 : : /* Init the streamer_mode_table for output, where we collect info on what
3258 : : machine_mode values have been streamed. */
3259 : : void
3260 : 33181 : lto_output_init_mode_table (void)
3261 : : {
3262 : 33181 : memset (streamer_mode_table, '\0', MAX_MACHINE_MODE);
3263 : 33181 : }
3264 : :
3265 : :
3266 : : /* Write the mode table. */
3267 : : static void
3268 : 0 : lto_write_mode_table (void)
3269 : : {
3270 : 0 : struct output_block *ob;
3271 : 0 : ob = create_output_block (LTO_section_mode_table);
3272 : 0 : bitpack_d bp = bitpack_create (ob->main_stream);
3273 : :
3274 : 0 : if (lto_stream_offload_p)
3275 : 0 : bp_pack_value (&bp, NUM_POLY_INT_COEFFS, MAX_NUM_POLY_INT_COEFFS_BITS);
3276 : :
3277 : : /* Ensure that for GET_MODE_INNER (m) != m we have
3278 : : also the inner mode marked. */
3279 : 0 : for (int i = 0; i < (int) MAX_MACHINE_MODE; i++)
3280 : 0 : if (streamer_mode_table[i])
3281 : : {
3282 : 0 : machine_mode m = (machine_mode) i;
3283 : 0 : machine_mode inner_m = GET_MODE_INNER (m);
3284 : 0 : if (inner_m != m)
3285 : 0 : streamer_mode_table[(int) inner_m] = 1;
3286 : : }
3287 : :
3288 : : /* Pack the mode_bits value within 5 bits (up to 31) in the beginning. */
3289 : 0 : unsigned mode_bits = ceil_log2 (MAX_MACHINE_MODE);
3290 : 0 : bp_pack_value (&bp, mode_bits, 5);
3291 : :
3292 : : /* First stream modes that have GET_MODE_INNER (m) == m,
3293 : : so that we can refer to them afterwards. */
3294 : 0 : for (int pass = 0; pass < 2; pass++)
3295 : 0 : for (int i = 0; i < (int) MAX_MACHINE_MODE; i++)
3296 : 0 : if (streamer_mode_table[i] && i != (int) VOIDmode && i != (int) BLKmode)
3297 : : {
3298 : 0 : machine_mode m = (machine_mode) i;
3299 : 0 : if ((GET_MODE_INNER (m) == m) ^ (pass == 0))
3300 : 0 : continue;
3301 : 0 : bp_pack_value (&bp, m, mode_bits);
3302 : 0 : bp_pack_enum (&bp, mode_class, MAX_MODE_CLASS, GET_MODE_CLASS (m));
3303 : 0 : bp_pack_poly_value (&bp, GET_MODE_SIZE (m), 16);
3304 : 0 : bp_pack_poly_value (&bp, GET_MODE_PRECISION (m), 16);
3305 : 0 : bp_pack_value (&bp, GET_MODE_INNER (m), mode_bits);
3306 : 0 : bp_pack_poly_value (&bp, GET_MODE_NUNITS (m), 16);
3307 : 0 : switch (GET_MODE_CLASS (m))
3308 : : {
3309 : 0 : case MODE_FRACT:
3310 : 0 : case MODE_UFRACT:
3311 : 0 : case MODE_ACCUM:
3312 : 0 : case MODE_UACCUM:
3313 : 0 : bp_pack_value (&bp, GET_MODE_IBIT (m), 8);
3314 : 0 : bp_pack_value (&bp, GET_MODE_FBIT (m), 8);
3315 : 0 : break;
3316 : 0 : case MODE_FLOAT:
3317 : 0 : case MODE_DECIMAL_FLOAT:
3318 : 0 : bp_pack_string (ob, &bp, REAL_MODE_FORMAT (m)->name, true);
3319 : 0 : break;
3320 : : default:
3321 : : break;
3322 : : }
3323 : 0 : bp_pack_string (ob, &bp, GET_MODE_NAME (m), true);
3324 : : }
3325 : 0 : bp_pack_value (&bp, VOIDmode, mode_bits);
3326 : :
3327 : 0 : streamer_write_bitpack (&bp);
3328 : :
3329 : 0 : char *section_name
3330 : 0 : = lto_get_section_name (LTO_section_mode_table, NULL, 0, NULL);
3331 : 0 : lto_begin_section (section_name, !flag_wpa);
3332 : 0 : free (section_name);
3333 : :
3334 : : /* The entire header stream is computed here. */
3335 : 0 : struct lto_simple_header_with_strings header;
3336 : 0 : memset (&header, 0, sizeof (header));
3337 : :
3338 : 0 : header.main_size = ob->main_stream->total_size;
3339 : 0 : header.string_size = ob->string_stream->total_size;
3340 : 0 : lto_write_data (&header, sizeof header);
3341 : :
3342 : : /* Put all of the gimple and the string table out the asm file as a
3343 : : block of text. */
3344 : 0 : lto_write_stream (ob->main_stream);
3345 : 0 : lto_write_stream (ob->string_stream);
3346 : :
3347 : 0 : lto_end_section ();
3348 : 0 : destroy_output_block (ob);
3349 : 0 : }
3350 : :
3351 : :
3352 : : /* This pass is run after all of the functions are serialized and all
3353 : : of the IPA passes have written their serialized forms. This pass
3354 : : causes the vector of all of the global decls and types used from
3355 : : this file to be written in to a section that can then be read in to
3356 : : recover these on other side. */
3357 : :
3358 : : void
3359 : 33181 : produce_asm_for_decls (void)
3360 : : {
3361 : 33181 : struct lto_out_decl_state *out_state;
3362 : 33181 : struct lto_out_decl_state *fn_out_state;
3363 : 33181 : struct lto_decl_header header;
3364 : 33181 : char *section_name;
3365 : 33181 : struct output_block *ob;
3366 : 33181 : unsigned idx, num_fns;
3367 : 33181 : size_t decl_state_size;
3368 : 33181 : int32_t num_decl_states;
3369 : :
3370 : 33181 : ob = create_output_block (LTO_section_decls);
3371 : :
3372 : 33181 : memset (&header, 0, sizeof (struct lto_decl_header));
3373 : :
3374 : 33181 : section_name = lto_get_section_name (LTO_section_decls, NULL, 0, NULL);
3375 : 33181 : lto_begin_section (section_name, !flag_wpa);
3376 : 33181 : free (section_name);
3377 : :
3378 : : /* Make string 0 be a NULL string. */
3379 : 33181 : streamer_write_char_stream (ob->string_stream, 0);
3380 : :
3381 : 33181 : gcc_assert (!alias_pairs);
3382 : :
3383 : : /* Get rid of the global decl state hash tables to save some memory. */
3384 : 33181 : out_state = lto_get_out_decl_state ();
3385 : 99543 : for (int i = 0; i < LTO_N_DECL_STREAMS; i++)
3386 : 33181 : if (out_state->streams[i].tree_hash_table)
3387 : : {
3388 : 33181 : delete out_state->streams[i].tree_hash_table;
3389 : 33181 : out_state->streams[i].tree_hash_table = NULL;
3390 : : }
3391 : :
3392 : : /* Write the global symbols. */
3393 : 33181 : if (streamer_dump_file)
3394 : 4 : fprintf (streamer_dump_file, "Outputting global stream\n");
3395 : 33181 : lto_output_decl_state_streams (ob, out_state);
3396 : 33181 : num_fns = lto_function_decl_states.length ();
3397 : 184524 : for (idx = 0; idx < num_fns; idx++)
3398 : : {
3399 : 151343 : fn_out_state =
3400 : 151343 : lto_function_decl_states[idx];
3401 : 151343 : if (streamer_dump_file)
3402 : 24 : fprintf (streamer_dump_file, "Outputting stream for %s\n",
3403 : 12 : IDENTIFIER_POINTER
3404 : : (DECL_ASSEMBLER_NAME (fn_out_state->fn_decl)));
3405 : 151343 : lto_output_decl_state_streams (ob, fn_out_state);
3406 : : }
3407 : :
3408 : : /* Currently not used. This field would allow us to preallocate
3409 : : the globals vector, so that it need not be resized as it is extended. */
3410 : 33181 : header.num_nodes = -1;
3411 : :
3412 : : /* Compute the total size of all decl out states. */
3413 : 33181 : decl_state_size = sizeof (int32_t);
3414 : 33181 : decl_state_size += lto_out_decl_state_written_size (out_state);
3415 : 184524 : for (idx = 0; idx < num_fns; idx++)
3416 : : {
3417 : 151343 : fn_out_state =
3418 : 151343 : lto_function_decl_states[idx];
3419 : 302007 : decl_state_size += lto_out_decl_state_written_size (fn_out_state);
3420 : : }
3421 : 33181 : header.decl_state_size = decl_state_size;
3422 : :
3423 : 33181 : header.main_size = ob->main_stream->total_size;
3424 : 33181 : header.string_size = ob->string_stream->total_size;
3425 : :
3426 : 33181 : lto_write_data (&header, sizeof header);
3427 : :
3428 : : /* Write the main out-decl state, followed by out-decl states of
3429 : : functions. */
3430 : 33181 : num_decl_states = num_fns + 1;
3431 : 33181 : lto_write_data (&num_decl_states, sizeof (num_decl_states));
3432 : 33181 : lto_output_decl_state_refs (ob, out_state);
3433 : 217705 : for (idx = 0; idx < num_fns; idx++)
3434 : : {
3435 : 151343 : fn_out_state = lto_function_decl_states[idx];
3436 : 151343 : lto_output_decl_state_refs (ob, fn_out_state);
3437 : : }
3438 : :
3439 : 33181 : lto_write_stream (ob->main_stream);
3440 : 33181 : lto_write_stream (ob->string_stream);
3441 : :
3442 : 33181 : lto_end_section ();
3443 : :
3444 : : /* Write the symbol table. It is used by linker to determine dependencies
3445 : : and thus we can skip it for WPA. */
3446 : 33181 : if (!flag_wpa)
3447 : : {
3448 : 23991 : unsigned int streamed_symbols = produce_symtab (ob);
3449 : 23991 : produce_symtab_extension (ob, streamed_symbols);
3450 : : }
3451 : :
3452 : : /* Write command line opts. */
3453 : 33181 : lto_write_options ();
3454 : :
3455 : : /* Deallocate memory and clean up. */
3456 : 217705 : for (idx = 0; idx < num_fns; idx++)
3457 : : {
3458 : 151343 : fn_out_state =
3459 : 151343 : lto_function_decl_states[idx];
3460 : 151343 : lto_delete_out_decl_state (fn_out_state);
3461 : : }
3462 : 33181 : lto_symtab_encoder_delete (ob->decl_state->symtab_node_encoder);
3463 : 33181 : lto_function_decl_states.release ();
3464 : 33181 : destroy_output_block (ob);
3465 : 33181 : if (lto_stream_offload_p)
3466 : 0 : lto_write_mode_table ();
3467 : 33181 : }
|
