Branch data Line data Source code
1 : : /* Write the GIMPLE representation to a file stream.
2 : :
3 : : Copyright (C) 2009-2025 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 : 320560 : clear_line_info (struct output_block *ob)
59 : : {
60 : 320560 : ob->current_file = NULL;
61 : 320560 : ob->current_line = 0;
62 : 320560 : ob->current_col = 0;
63 : 320560 : ob->current_sysp = false;
64 : 320560 : ob->reset_locus = true;
65 : 320560 : 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 : 320560 : ob->current_block = void_node;
70 : 320560 : 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 : 320560 : create_output_block (enum lto_section_type section_type)
79 : : {
80 : 320560 : struct output_block *ob = XCNEW (struct output_block);
81 : 320560 : 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 : 320560 : ob->section_type = section_type;
86 : 320560 : 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 : 320560 : if (!flag_wpa && section_type == LTO_section_decls)
90 : 23943 : ob->local_trees = new (hash_set <tree>);
91 : 320560 : ob->main_stream = XCNEW (struct lto_output_stream);
92 : 320560 : ob->string_stream = XCNEW (struct lto_output_stream);
93 : 320560 : ob->writer_cache = streamer_tree_cache_create (!flag_wpa, true, false);
94 : :
95 : 320560 : if (section_type == LTO_section_function_body)
96 : 117215 : ob->cfg_stream = XCNEW (struct lto_output_stream);
97 : :
98 : 320560 : clear_line_info (ob);
99 : :
100 : 320560 : ob->string_hash_table = new hash_table<string_slot_hasher> (37);
101 : 320560 : gcc_obstack_init (&ob->obstack);
102 : :
103 : 320560 : return ob;
104 : : }
105 : :
106 : :
107 : : /* Destroy the output block OB. */
108 : :
109 : : void
110 : 320560 : destroy_output_block (struct output_block *ob)
111 : : {
112 : 320560 : enum lto_section_type section_type = ob->section_type;
113 : :
114 : 320560 : delete ob->string_hash_table;
115 : 320560 : ob->string_hash_table = NULL;
116 : 344503 : delete ob->local_trees;
117 : :
118 : 320560 : free (ob->main_stream);
119 : 320560 : free (ob->string_stream);
120 : 320560 : if (section_type == LTO_section_function_body)
121 : 117215 : free (ob->cfg_stream);
122 : :
123 : 320560 : streamer_tree_cache_delete (ob->writer_cache);
124 : 320560 : obstack_free (&ob->obstack, NULL);
125 : :
126 : 320560 : free (ob);
127 : 320560 : }
128 : :
129 : :
130 : : /* Wrapper around variably_modified_type_p avoiding type modification
131 : : during WPA streaming. */
132 : :
133 : : static bool
134 : 13818702 : lto_variably_modified_type_p (tree type)
135 : : {
136 : 13818702 : return (in_lto_p
137 : 27361675 : ? TYPE_LANG_FLAG_0 (TYPE_MAIN_VARIANT (type))
138 : 13542973 : : 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 : 35077430 : 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 : 33989559 : if ((TREE_CODE (t) == PARM_DECL || TREE_CODE (t) == RESULT_DECL)
154 : 35403015 : && DECL_CONTEXT (t))
155 : 1413456 : 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 : 33663974 : else if (TREE_CODE (t) == IMPORTED_DECL)
159 : 0 : gcc_unreachable ();
160 : 33663974 : else if (TREE_CODE (t) == LABEL_DECL)
161 : 81689 : return FORCED_LABEL (t) || DECL_NONLOCAL (t);
162 : 33582285 : 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 : 33582578 : && decl_function_context (t))
167 : : return false;
168 : 32735826 : 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 : 32733892 : else if (TYPE_P (t)
175 : 32733892 : && lto_variably_modified_type_p (t))
176 : : return false;
177 : 32722648 : else if (TREE_CODE (t) == FIELD_DECL
178 : 32722648 : && lto_variably_modified_type_p (DECL_CONTEXT (t)))
179 : : return false;
180 : : else
181 : 53063800 : 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 : 6681975 : lto_output_location_1 (struct output_block *ob, struct bitpack_d *bp,
191 : : location_t orig_loc, bool block_p)
192 : : {
193 : 6681975 : location_t loc = LOCATION_LOCUS (orig_loc);
194 : :
195 : 6681975 : if (loc >= RESERVED_LOCATION_COUNT)
196 : : {
197 : 4301159 : expanded_location xloc = expand_location (loc);
198 : 4301159 : unsigned discr = get_discriminator_from_loc (orig_loc);
199 : :
200 : 4301159 : if (ob->reset_locus)
201 : : {
202 : 139634 : if (xloc.file == NULL)
203 : 0 : ob->current_file = "";
204 : 139634 : if (xloc.line == 0)
205 : 0 : ob->current_line = 1;
206 : 139634 : if (xloc.column == 0)
207 : 4 : ob->current_col = 1;
208 : 139634 : 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 : 4301159 : gcc_checking_assert (RESERVED_LOCATION_COUNT == 2);
215 : 4301159 : bp_pack_int_in_range (bp, 0, RESERVED_LOCATION_COUNT + 1,
216 : : RESERVED_LOCATION_COUNT
217 : 4301159 : + (ob->current_file != xloc.file));
218 : :
219 : 4301159 : bp_pack_value (bp, ob->current_line != xloc.line, 1);
220 : 4301159 : bp_pack_value (bp, ob->current_col != xloc.column, 1);
221 : 4301159 : bp_pack_value (bp, ob->current_discr != discr, 1);
222 : :
223 : 4301159 : if (ob->current_file != xloc.file)
224 : : {
225 : 214053 : bool stream_pwd = false;
226 : 214053 : const char *remapped = remap_debug_filename (xloc.file);
227 : 214053 : if (ob->emit_pwd && remapped && !IS_ABSOLUTE_PATH (remapped))
228 : : {
229 : 10344 : stream_pwd = true;
230 : 10344 : ob->emit_pwd = false;
231 : : }
232 : 214053 : bp_pack_value (bp, stream_pwd, 1);
233 : 214053 : if (stream_pwd)
234 : 10344 : bp_pack_string (ob, bp, get_src_pwd (), true);
235 : 214053 : bp_pack_string (ob, bp, remapped, true);
236 : 214053 : bp_pack_value (bp, xloc.sysp, 1);
237 : : }
238 : 4301159 : ob->current_file = xloc.file;
239 : 4301159 : ob->current_sysp = xloc.sysp;
240 : :
241 : 4301159 : if (ob->current_line != xloc.line)
242 : 1377124 : bp_pack_var_len_unsigned (bp, xloc.line);
243 : 4301159 : ob->current_line = xloc.line;
244 : :
245 : 4301159 : if (ob->current_col != xloc.column)
246 : 1658963 : bp_pack_var_len_unsigned (bp, xloc.column);
247 : 4301159 : ob->current_col = xloc.column;
248 : :
249 : 4301159 : if (ob->current_discr != discr)
250 : 1106046 : bp_pack_var_len_unsigned (bp, discr);
251 : 4301159 : ob->current_discr = discr;
252 : : }
253 : : else
254 : 2380816 : bp_pack_int_in_range (bp, 0, RESERVED_LOCATION_COUNT + 1, loc);
255 : :
256 : 6681975 : if (block_p)
257 : : {
258 : 2912348 : tree block = LOCATION_BLOCK (orig_loc);
259 : 2912348 : bp_pack_value (bp, ob->current_block != block, 1);
260 : 2912348 : streamer_write_bitpack (bp);
261 : 2912348 : if (ob->current_block != block)
262 : 692201 : lto_output_tree (ob, block, true, true);
263 : 2912348 : ob->current_block = block;
264 : : }
265 : 6681975 : }
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 : 3769627 : lto_output_location (struct output_block *ob, struct bitpack_d *bp,
273 : : location_t loc)
274 : : {
275 : 3769627 : lto_output_location_1 (ob, bp, loc, false);
276 : 3769627 : }
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 : 2912348 : lto_output_location_and_block (struct output_block *ob, struct bitpack_d *bp,
285 : : location_t loc)
286 : : {
287 : 2912348 : lto_output_location_1 (ob, bp, loc, true);
288 : 2912348 : }
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 : 7821178 : lto_get_index (struct lto_tree_ref_encoder *encoder, tree t)
299 : : {
300 : 7821178 : bool existed_p;
301 : :
302 : 7821178 : unsigned int &index
303 : 7821178 : = encoder->tree_hash_table->get_or_insert (t, &existed_p);
304 : 7821178 : if (!existed_p)
305 : : {
306 : 2142670 : index = encoder->trees.length ();
307 : 2142670 : 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 : 2142670 : encoder->trees.safe_push (t);
314 : : }
315 : :
316 : 7821178 : 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 : 9275867 : lto_indexable_tree_ref (struct output_block *ob, tree expr,
326 : : enum LTO_tags *tag, unsigned *index)
327 : : {
328 : 9275867 : gcc_checking_assert (tree_is_indexable (expr));
329 : :
330 : 9275867 : if (TREE_CODE (expr) == SSA_NAME)
331 : : {
332 : 2158342 : *tag = LTO_ssa_name_ref;
333 : 2158342 : *index = SSA_NAME_VERSION (expr);
334 : : }
335 : : else
336 : : {
337 : 7117525 : *tag = LTO_global_stream_ref;
338 : 7117525 : *index = lto_get_index (&ob->decl_state->streams[LTO_DECL_STREAM], expr);
339 : : }
340 : 9275867 : }
341 : :
342 : :
343 : : /* Output a static or extern var DECL to OBS. */
344 : :
345 : : void
346 : 287011 : lto_output_var_decl_ref (struct lto_out_decl_state *decl_state,
347 : : struct lto_output_stream * obs, tree decl)
348 : : {
349 : 287011 : gcc_checking_assert (VAR_P (decl));
350 : 287011 : streamer_write_uhwi_stream
351 : 287011 : (obs, lto_get_index (&decl_state->streams[LTO_DECL_STREAM],
352 : : decl));
353 : 287011 : }
354 : :
355 : :
356 : : /* Output a static or extern var DECL to OBS. */
357 : :
358 : : void
359 : 416642 : lto_output_fn_decl_ref (struct lto_out_decl_state *decl_state,
360 : : struct lto_output_stream * obs, tree decl)
361 : : {
362 : 416642 : gcc_checking_assert (TREE_CODE (decl) == FUNCTION_DECL);
363 : 416642 : streamer_write_uhwi_stream
364 : 416642 : (obs, lto_get_index (&decl_state->streams[LTO_DECL_STREAM], decl));
365 : 416642 : }
366 : :
367 : : /* Return true if EXPR is a tree node that can be written to disk. */
368 : :
369 : : static inline bool
370 : 6928968 : lto_is_streamable (tree expr)
371 : : {
372 : 6928968 : 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 : 6928968 : return !is_lang_specific (expr)
377 : 6928968 : && code != SSA_NAME
378 : 6928968 : && code != LANG_TYPE
379 : : && code != MODIFY_EXPR
380 : 6928968 : && code != INIT_EXPR
381 : 6928968 : && code != TARGET_EXPR
382 : 6928968 : && code != BIND_EXPR
383 : 6928968 : && code != WITH_CLEANUP_EXPR
384 : 6928968 : && code != STATEMENT_LIST
385 : 6928968 : && (code == CASE_LABEL_EXPR
386 : 6928968 : || code == DECL_EXPR
387 : 6921418 : || 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 : 98769 : subtract_estimated_size (tree *tp, int *ws, void *data)
399 : : {
400 : 98769 : long *sum = (long *)data;
401 : 98769 : if (tree_is_indexable (*tp))
402 : : {
403 : : /* Indexable tree is one reference to global stream.
404 : : Guess it may be about 4 bytes. */
405 : 1512 : *sum -= 4;
406 : 1512 : *ws = 0;
407 : : }
408 : : /* String table entry + base of tree node needs to be streamed. */
409 : 98769 : if (TREE_CODE (*tp) == STRING_CST)
410 : 7329 : *sum -= TREE_STRING_LENGTH (*tp) + 8;
411 : : else
412 : : {
413 : : /* Identifiers are also variable length but should not appear
414 : : naked in constructor. */
415 : 91440 : 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 : 91440 : *sum -= 16;
419 : : }
420 : 98769 : if (*sum < 0)
421 : 32385 : 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 : 2389886 : get_symbol_initial_value (lto_symtab_encoder_t encoder, tree expr)
430 : : {
431 : 2389886 : 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 : 2389886 : tree initial = DECL_INITIAL (expr);
437 : 2389886 : if (VAR_P (expr)
438 : 1192444 : && (TREE_STATIC (expr) || DECL_EXTERNAL (expr))
439 : 853764 : && !DECL_IN_CONSTANT_POOL (expr)
440 : 3243530 : && initial)
441 : : {
442 : 83548 : varpool_node *vnode;
443 : : /* Extra section needs about 30 bytes; do not produce it for simple
444 : : scalar values. */
445 : 83548 : if (!(vnode = varpool_node::get (expr))
446 : 83548 : || !lto_symtab_encoder_encode_initializer_p (encoder, vnode))
447 : 3176 : initial = error_mark_node;
448 : 83548 : if (initial != error_mark_node)
449 : : {
450 : 67188 : long max_size = 30;
451 : 67188 : if (walk_tree (&initial, subtract_estimated_size, (void *)&max_size,
452 : : NULL))
453 : 32385 : initial = error_mark_node;
454 : : }
455 : : }
456 : :
457 : 2389886 : 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 : 31303390 : stream_write_tree_ref (struct output_block *ob, tree t)
468 : : {
469 : 31303390 : if (!t)
470 : 11931411 : streamer_write_zero (ob);
471 : : else
472 : : {
473 : 19371979 : unsigned int ix;
474 : 19371979 : bool existed_p = streamer_tree_cache_lookup (ob->writer_cache, t, &ix);
475 : 19371979 : if (existed_p)
476 : 14988262 : streamer_write_hwi (ob, ix + 1);
477 : : else
478 : : {
479 : 4383717 : enum LTO_tags tag;
480 : 4383717 : unsigned ix;
481 : 4383717 : int id = 0;
482 : :
483 : 4383717 : lto_indexable_tree_ref (ob, t, &tag, &ix);
484 : 4383717 : if (tag == LTO_ssa_name_ref)
485 : : id = 1;
486 : : else
487 : 4186096 : gcc_checking_assert (tag == LTO_global_stream_ref);
488 : 4383717 : streamer_write_hwi (ob, -(int)(ix * 2 + id + 1));
489 : : }
490 : : }
491 : 31303390 : }
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 : 6928968 : lto_write_tree_1 (struct output_block *ob, tree expr, bool ref_p)
502 : : {
503 : 6928968 : 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 : 6928968 : streamer_write_tree_bitfields (ob, expr);
514 : :
515 : : /* Write all the pointer fields in EXPR. */
516 : 6928968 : streamer_write_tree_body (ob, expr);
517 : :
518 : : /* Write any LTO-specific data to OB. */
519 : 6928968 : if (DECL_P (expr)
520 : 1511021 : && TREE_CODE (expr) != FUNCTION_DECL
521 : 1084933 : && TREE_CODE (expr) != TRANSLATION_UNIT_DECL)
522 : : {
523 : : /* Handle DECL_INITIAL for symbols. */
524 : 1051456 : tree initial = get_symbol_initial_value
525 : 1051456 : (ob->decl_state->symtab_node_encoder, expr);
526 : 1051456 : 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 : 6928968 : if ((DECL_P (expr)
532 : : && TREE_CODE (expr) != FIELD_DECL
533 : : && TREE_CODE (expr) != DEBUG_EXPR_DECL
534 : : && TREE_CODE (expr) != TYPE_DECL)
535 : 5550049 : || TREE_CODE (expr) == BLOCK)
536 : : {
537 : 1716476 : const char *sym;
538 : 1716476 : unsigned HOST_WIDE_INT off;
539 : 1716476 : if (debug_info_level > DINFO_LEVEL_NONE
540 : 1716476 : && debug_hooks->die_ref_for_decl (expr, &sym, &off))
541 : : {
542 : 48618 : streamer_write_string (ob, ob->main_stream, sym, true);
543 : 48618 : streamer_write_uhwi (ob, off);
544 : : }
545 : : else
546 : 1667858 : streamer_write_string (ob, ob->main_stream, NULL, true);
547 : : }
548 : 6928968 : }
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 : 6668413 : lto_write_tree (struct output_block *ob, tree expr, bool ref_p)
557 : : {
558 : 6668413 : 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 : 6668413 : streamer_write_tree_header (ob, expr);
565 : :
566 : 6668413 : lto_write_tree_1 (ob, expr, ref_p);
567 : 6668413 : }
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 : 7696138 : lto_output_tree_1 (struct output_block *ob, tree expr, hashval_t hash,
575 : : bool ref_p, bool this_ref_p)
576 : : {
577 : 7696138 : unsigned ix;
578 : :
579 : 7696138 : gcc_checking_assert (expr != NULL_TREE
580 : : && !(this_ref_p && tree_is_indexable (expr)));
581 : :
582 : 7696138 : bool exists_p = streamer_tree_cache_insert (ob->writer_cache,
583 : : expr, hash, &ix);
584 : 7696138 : gcc_assert (!exists_p);
585 : 7696138 : if (TREE_CODE (expr) == INTEGER_CST
586 : 7696138 : && !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 : 1027725 : 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 : 6668413 : lto_write_tree (ob, expr, ref_p);
598 : : }
599 : 7696138 : }
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 : 2802791 : local_tree_p (tree t)
660 : : {
661 : 2802791 : switch (TREE_CODE (t))
662 : : {
663 : : case LABEL_DECL:
664 : : return true;
665 : 1519 : case NAMESPACE_DECL:
666 : 1519 : return !DECL_NAME (t);
667 : 613171 : case VAR_DECL:
668 : 613171 : case FUNCTION_DECL:
669 : 613171 : return !TREE_PUBLIC (t) && !DECL_EXTERNAL (t);
670 : 71546 : case RECORD_TYPE:
671 : 71546 : case UNION_TYPE:
672 : 71546 : case ENUMERAL_TYPE:
673 : : /* Anonymous namespace types are local.
674 : : Only work hard for main variants;
675 : : variant types will inherit locality. */
676 : 71546 : return TYPE_MAIN_VARIANT (t) == t
677 : 57652 : && odr_type_p (t) && type_with_linkage_p (t)
678 : 90770 : && 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 : 2934893 : DFS::DFS (struct output_block *ob, tree expr, bool ref_p, bool this_ref_p,
691 : 2934893 : bool single_p)
692 : : {
693 : 2934893 : unsigned int next_dfs_num = 1;
694 : :
695 : 2934893 : max_local_entry = -1;
696 : 2934893 : gcc_obstack_init (&sccstate_obstack);
697 : 2934893 : DFS_write_tree (ob, NULL, expr, ref_p, this_ref_p);
698 : 21253012 : while (!worklist_vec.is_empty ())
699 : : {
700 : 17405428 : worklist &w = worklist_vec.last ();
701 : 17405428 : expr = w.expr;
702 : 17405428 : sccs *from_state = w.from_state;
703 : 17405428 : sccs *cstate = w.cstate;
704 : 17405428 : ref_p = w.ref_p;
705 : 17405428 : this_ref_p = w.this_ref_p;
706 : 17405428 : if (cstate == NULL)
707 : : {
708 : 9437899 : sccs **slot = &sccstate.get_or_insert (expr);
709 : 9437899 : cstate = *slot;
710 : 9437899 : if (cstate)
711 : : {
712 : 1470370 : gcc_checking_assert (from_state);
713 : 1470370 : if (cstate->dfsnum < from_state->dfsnum)
714 : 181458 : from_state->low = MIN (cstate->dfsnum, from_state->low);
715 : 1470370 : worklist_vec.pop ();
716 : 1470370 : continue;
717 : : }
718 : :
719 : 7967529 : scc_entry e = { expr, 0 };
720 : : /* Not yet visited. DFS recurse and push it onto the stack. */
721 : 7967529 : *slot = cstate = XOBNEW (&sccstate_obstack, struct sccs);
722 : 7967529 : if (ob->local_trees && local_tree_p (expr))
723 : 83254 : max_local_entry = sccstack.length ();
724 : 7967529 : sccstack.safe_push (e);
725 : 7967529 : cstate->dfsnum = next_dfs_num++;
726 : 7967529 : cstate->low = cstate->dfsnum;
727 : 7967529 : w.cstate = cstate;
728 : :
729 : 7967529 : if (TREE_CODE (expr) == INTEGER_CST
730 : 7967529 : && !TREE_OVERFLOW (expr))
731 : 1067549 : DFS_write_tree (ob, cstate, TREE_TYPE (expr), ref_p, ref_p);
732 : : else
733 : : {
734 : 6899980 : DFS_write_tree_body (ob, expr, cstate, ref_p);
735 : :
736 : : /* Walk any LTO-specific edges. */
737 : 6899980 : if (DECL_P (expr)
738 : 1514668 : && TREE_CODE (expr) != FUNCTION_DECL
739 : 1088580 : && TREE_CODE (expr) != TRANSLATION_UNIT_DECL)
740 : : {
741 : : /* Handle DECL_INITIAL for symbols. */
742 : 1055103 : tree initial
743 : 1055103 : = get_symbol_initial_value (ob->decl_state->symtab_node_encoder,
744 : : expr);
745 : 1055103 : DFS_write_tree (ob, cstate, initial, ref_p, ref_p);
746 : : }
747 : : }
748 : 7967529 : continue;
749 : 7967529 : }
750 : :
751 : : /* See if we found an SCC. */
752 : 7967529 : if (cstate->low == cstate->dfsnum)
753 : : {
754 : 7774600 : unsigned first, size;
755 : 7774600 : 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 : 7774600 : if (single_p)
760 : : {
761 : 340 : worklist_vec.pop ();
762 : 340 : continue;
763 : : }
764 : :
765 : : /* Pop the SCC and compute its size. */
766 : 15548520 : first = sccstack.length ();
767 : 7956693 : do
768 : : {
769 : 7956693 : x = sccstack[--first].t;
770 : : }
771 : 7956693 : while (x != expr);
772 : 7774260 : size = sccstack.length () - first;
773 : :
774 : : /* No need to compute hashes for LTRANS units, we don't perform
775 : : any merging there. */
776 : 7774260 : hashval_t scc_hash = 0;
777 : 7774260 : unsigned scc_entry_len = 0;
778 : 20716787 : bool local_to_unit = !ob->local_trees
779 : 7774260 : || max_local_entry >= (int)first;
780 : :
781 : : /* Remember that trees are local so info gets propagated to other
782 : : SCCs. */
783 : 5168267 : if (local_to_unit && ob->local_trees)
784 : : {
785 : 92597 : for (unsigned i = 0; i < size; ++i)
786 : 47818 : 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 : 7774260 : if (size == 1
794 : 7774260 : && TREE_CODE (sccstack[first].t) == TRANSLATION_UNIT_DECL)
795 : : local_to_unit = true;
796 : :
797 : 7740783 : if (!local_to_unit)
798 : : {
799 : 2582270 : 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 : 2582270 : unsigned entry_start = 0;
803 : 2582270 : scc_entry_len = size + 1;
804 : 5302684 : for (unsigned i = 0; i < size;)
805 : : {
806 : 2720414 : unsigned from = i;
807 : 2720414 : for (i = i + 1; i < size
808 : 2720414 : && (sccstack[first + i].hash
809 : 138144 : == sccstack[first + from].hash); ++i)
810 : : ;
811 : 2720414 : if (i - from < scc_entry_len)
812 : : {
813 : 2582270 : scc_entry_len = i - from;
814 : 2582270 : entry_start = from;
815 : : }
816 : : }
817 : 5164540 : for (unsigned i = 0; i < scc_entry_len; ++i)
818 : 2582270 : std::swap (sccstack[first + i],
819 : 2582270 : 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 : 2582270 : gcc_checking_assert (scc_entry_len == 1);
827 : : }
828 : :
829 : 7774260 : worklist_vec.pop ();
830 : :
831 : 7774260 : unsigned int prev_size = ob->main_stream->total_size;
832 : :
833 : : /* Only global decl sections are considered by tree merging. */
834 : 7774260 : 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 : 4431598 : if (worklist_vec.is_empty () && first == 0 && size == 1)
839 : : return;
840 : 2409396 : if (streamer_dump_file)
841 : : {
842 : 140 : fprintf (streamer_dump_file,
843 : : " Start of LTO_trees of size %i\n", size);
844 : : }
845 : 2409396 : streamer_write_record_start (ob, LTO_trees);
846 : 2409396 : streamer_write_uhwi (ob, size);
847 : : }
848 : : /* Write LTO_tree_scc if tree merging is going to be performed. */
849 : 3342662 : 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 : 3342662 : && (size != 1
855 : 2518569 : || (TREE_CODE (sccstack[first].t) != IDENTIFIER_NODE
856 : 1660476 : && (TREE_CODE (sccstack[first].t) != INTEGER_CST
857 : 146435 : || TREE_OVERFLOW (sccstack[first].t)))))
858 : :
859 : : {
860 : 1577744 : gcc_checking_assert (ob->section_type == LTO_section_decls);
861 : 1577744 : if (streamer_dump_file)
862 : : {
863 : 172 : fprintf (streamer_dump_file,
864 : : " Start of LTO_tree_scc of size %i\n", size);
865 : : }
866 : 1577744 : 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 : 1577744 : streamer_write_uhwi (ob, size * 2 + (scc_entry_len != 1));
871 : 1577744 : if (scc_entry_len != 1)
872 : 0 : streamer_write_uhwi (ob, scc_entry_len);
873 : 1577744 : streamer_write_uhwi (ob, scc_hash);
874 : : }
875 : : /* Non-trivial SCCs must be packed to trees blocks so forward
876 : : references work correctly. */
877 : 1764918 : else if (size != 1)
878 : : {
879 : 14285 : if (streamer_dump_file)
880 : : {
881 : 0 : fprintf (streamer_dump_file,
882 : : " Start of LTO_trees of size %i\n", size);
883 : : }
884 : 14285 : streamer_write_record_start (ob, LTO_trees);
885 : 14285 : streamer_write_uhwi (ob, size);
886 : : }
887 : 1750633 : 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 : 5752058 : if (size == 1)
897 : 5673936 : 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 : 338677 : for (unsigned i = 0; i < size; ++i)
903 : : {
904 : 260555 : hashval_t hash = sccstack[first+i].hash;
905 : 260555 : tree t = sccstack[first+i].t;
906 : 260555 : bool exists_p = streamer_tree_cache_insert (ob->writer_cache,
907 : : t, hash, NULL);
908 : 260555 : gcc_assert (!exists_p);
909 : :
910 : 260555 : 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 : 260555 : streamer_write_tree_header (ob, t);
918 : : }
919 : :
920 : : /* Write the bitpacks and tree references. */
921 : 338677 : for (unsigned i = 0; i < size; ++i)
922 : 260555 : lto_write_tree_1 (ob, sccstack[first+i].t, ref_p);
923 : : }
924 : 5752058 : 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 : 5752058 : sccstack.truncate (first);
930 : 5752058 : if ((int)first <= max_local_entry)
931 : 44779 : max_local_entry = first - 1;
932 : :
933 : 5752058 : if (from_state)
934 : 4839707 : from_state->low = MIN (from_state->low, cstate->low);
935 : 5752058 : continue;
936 : 5752058 : }
937 : :
938 : 192929 : gcc_checking_assert (from_state);
939 : 192929 : from_state->low = MIN (from_state->low, cstate->low);
940 : 192929 : if (cstate->dfsnum < from_state->dfsnum)
941 : 0 : from_state->low = MIN (cstate->dfsnum, from_state->low);
942 : 192929 : worklist_vec.pop ();
943 : : }
944 : : }
945 : :
946 : 2934893 : DFS::~DFS ()
947 : : {
948 : 2934893 : obstack_free (&sccstate_obstack, NULL);
949 : 2934893 : }
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 : 6899980 : 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 : 6899980 : enum tree_code code;
962 : :
963 : 6899980 : code = TREE_CODE (expr);
964 : :
965 : 6899980 : if (CODE_CONTAINS_STRUCT (code, TS_TYPED))
966 : : {
967 : 6496940 : if (TREE_CODE (expr) != IDENTIFIER_NODE)
968 : 5043299 : DFS_follow_tree_edge (TREE_TYPE (expr));
969 : : }
970 : :
971 : 6899980 : if (CODE_CONTAINS_STRUCT (code, TS_VECTOR))
972 : : {
973 : 5703 : unsigned int count = vector_cst_encoded_nelts (expr);
974 : 23652 : for (unsigned int i = 0; i < count; ++i)
975 : 17949 : DFS_follow_tree_edge (VECTOR_CST_ENCODED_ELT (expr, i));
976 : : }
977 : :
978 : 6899980 : 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 : 6899980 : 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 : 6899980 : if (CODE_CONTAINS_STRUCT (code, TS_DECL_MINIMAL))
989 : : {
990 : : /* Drop names that were created for anonymous entities. */
991 : 1514668 : if (DECL_NAME (expr)
992 : 1331009 : && TREE_CODE (DECL_NAME (expr)) == IDENTIFIER_NODE
993 : 2845677 : && IDENTIFIER_ANON_P (DECL_NAME (expr)))
994 : : ;
995 : : else
996 : 1514111 : DFS_follow_tree_edge (DECL_NAME (expr));
997 : 1514668 : if (TREE_CODE (expr) != TRANSLATION_UNIT_DECL
998 : 1514668 : && ! DECL_CONTEXT (expr))
999 : 14045 : DFS_follow_tree_edge ((*all_translation_units)[0]);
1000 : : else
1001 : 1500623 : DFS_follow_tree_edge (DECL_CONTEXT (expr));
1002 : : }
1003 : :
1004 : 6899980 : if (CODE_CONTAINS_STRUCT (code, TS_DECL_COMMON))
1005 : : {
1006 : 1514668 : DFS_follow_tree_edge (DECL_SIZE (expr));
1007 : 1514668 : 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 : 1514668 : 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 : 1514668 : gcc_assert (DECL_ABSTRACT_ORIGIN (expr) != error_mark_node);
1018 : 1514668 : DFS_follow_tree_edge (DECL_ABSTRACT_ORIGIN (expr));
1019 : :
1020 : 1514668 : if ((VAR_P (expr)
1021 : 1514668 : || TREE_CODE (expr) == PARM_DECL)
1022 : 1514668 : && DECL_HAS_VALUE_EXPR_P (expr))
1023 : 6083 : DFS_follow_tree_edge (DECL_VALUE_EXPR (expr));
1024 : 1514668 : if (VAR_P (expr)
1025 : 1514668 : && DECL_HAS_DEBUG_EXPR_P (expr))
1026 : 1426 : DFS_follow_tree_edge (DECL_DEBUG_EXPR (expr));
1027 : : }
1028 : :
1029 : 6899980 : if (CODE_CONTAINS_STRUCT (code, TS_DECL_WITH_VIS))
1030 : : {
1031 : : /* Make sure we don't inadvertently set the assembler name. */
1032 : 909311 : if (DECL_ASSEMBLER_NAME_SET_P (expr))
1033 : 736893 : DFS_follow_tree_edge (DECL_ASSEMBLER_NAME (expr));
1034 : : }
1035 : :
1036 : 6899980 : if (CODE_CONTAINS_STRUCT (code, TS_FIELD_DECL))
1037 : : {
1038 : 108651 : DFS_follow_tree_edge (DECL_FIELD_OFFSET (expr));
1039 : 108651 : DFS_follow_tree_edge (DECL_BIT_FIELD_TYPE (expr));
1040 : 108651 : DFS_follow_tree_edge (DECL_BIT_FIELD_REPRESENTATIVE (expr));
1041 : 108651 : DFS_follow_tree_edge (DECL_FIELD_BIT_OFFSET (expr));
1042 : 108651 : gcc_checking_assert (!DECL_FCONTEXT (expr));
1043 : : }
1044 : :
1045 : 6899980 : if (CODE_CONTAINS_STRUCT (code, TS_FUNCTION_DECL))
1046 : : {
1047 : 426088 : gcc_checking_assert (DECL_VINDEX (expr) == NULL);
1048 : 426088 : DFS_follow_tree_edge (DECL_FUNCTION_PERSONALITY (expr));
1049 : 426088 : DFS_follow_tree_edge (DECL_FUNCTION_SPECIFIC_TARGET (expr));
1050 : 426088 : DFS_follow_tree_edge (DECL_FUNCTION_SPECIFIC_OPTIMIZATION (expr));
1051 : : }
1052 : :
1053 : 6899980 : if (CODE_CONTAINS_STRUCT (code, TS_TYPE_COMMON))
1054 : : {
1055 : 623875 : DFS_follow_tree_edge (TYPE_SIZE (expr));
1056 : 623875 : DFS_follow_tree_edge (TYPE_SIZE_UNIT (expr));
1057 : 623875 : DFS_follow_tree_edge (TYPE_ATTRIBUTES (expr));
1058 : 623875 : 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 : 623875 : DFS_follow_tree_edge (TYPE_MAIN_VARIANT (expr));
1064 : 623875 : 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 : 6899980 : if (CODE_CONTAINS_STRUCT (code, TS_TYPE_NON_COMMON))
1073 : : {
1074 : 623875 : if (TREE_CODE (expr) == ARRAY_TYPE)
1075 : 43290 : DFS_follow_tree_edge (TYPE_DOMAIN (expr));
1076 : 580585 : else if (RECORD_OR_UNION_TYPE_P (expr))
1077 : 233516 : for (tree t = TYPE_FIELDS (expr); t; t = TREE_CHAIN (t))
1078 : 142405 : DFS_follow_tree_edge (t);
1079 : 489474 : else if (FUNC_OR_METHOD_TYPE_P (expr))
1080 : 165707 : DFS_follow_tree_edge (TYPE_ARG_TYPES (expr));
1081 : :
1082 : 623875 : if (!POINTER_TYPE_P (expr))
1083 : 374915 : DFS_follow_tree_edge (TYPE_MIN_VALUE_RAW (expr));
1084 : 623875 : DFS_follow_tree_edge (TYPE_MAX_VALUE_RAW (expr));
1085 : : }
1086 : :
1087 : 6899980 : if (CODE_CONTAINS_STRUCT (code, TS_LIST))
1088 : : {
1089 : 652096 : DFS_follow_tree_edge (TREE_PURPOSE (expr));
1090 : 652096 : DFS_follow_tree_edge (TREE_VALUE (expr));
1091 : 652096 : DFS_follow_tree_edge (TREE_CHAIN (expr));
1092 : : }
1093 : :
1094 : 6899980 : if (CODE_CONTAINS_STRUCT (code, TS_VEC))
1095 : : {
1096 : 10 : for (int i = 0; i < TREE_VEC_LENGTH (expr); i++)
1097 : 8 : DFS_follow_tree_edge (TREE_VEC_ELT (expr, i));
1098 : : }
1099 : :
1100 : 6899980 : if (CODE_CONTAINS_STRUCT (code, TS_EXP))
1101 : : {
1102 : 4123113 : for (int i = 0; i < TREE_OPERAND_LENGTH (expr); i++)
1103 : 2418730 : DFS_follow_tree_edge (TREE_OPERAND (expr, i));
1104 : 1704383 : DFS_follow_tree_edge (TREE_BLOCK (expr));
1105 : : }
1106 : :
1107 : 6899980 : if (CODE_CONTAINS_STRUCT (code, TS_BLOCK))
1108 : : {
1109 : 476779 : 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 : 139222 : gcc_assert (!VAR_OR_FUNCTION_DECL_P (t) || !DECL_EXTERNAL (t));
1115 : 139222 : DFS_follow_tree_edge (t);
1116 : : }
1117 : :
1118 : 337557 : DFS_follow_tree_edge (BLOCK_SUPERCONTEXT (expr));
1119 : 337557 : 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 : 6899980 : 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 : 20291 : FOR_EACH_VEC_ELT (*BINFO_BASE_BINFOS (expr), i, t)
1141 : 10817 : DFS_follow_tree_edge (t);
1142 : 9474 : DFS_follow_tree_edge (BINFO_OFFSET (expr));
1143 : 9474 : 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 : 6899980 : if (CODE_CONTAINS_STRUCT (code, TS_CONSTRUCTOR))
1151 : : {
1152 : : unsigned i;
1153 : : tree index, value;
1154 : :
1155 : 766993 : FOR_EACH_CONSTRUCTOR_ELT (CONSTRUCTOR_ELTS (expr), i, index, value)
1156 : : {
1157 : 529913 : DFS_follow_tree_edge (index);
1158 : 529913 : DFS_follow_tree_edge (value);
1159 : : }
1160 : : }
1161 : :
1162 : 6899980 : if (code == RAW_DATA_CST)
1163 : 21 : DFS_follow_tree_edge (RAW_DATA_OWNER (expr));
1164 : :
1165 : 6899980 : 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 : 6899980 : }
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 : 2720414 : hash_tree (struct streamer_tree_cache_d *cache, hash_map<tree, hashval_t> *map, tree t)
1182 : : {
1183 : 2720414 : 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 : 2720414 : enum tree_code code = TREE_CODE (t);
1200 : 2720414 : hstate.add_int (code);
1201 : 2720414 : if (!TYPE_P (t))
1202 : : {
1203 : 2284660 : hstate.add_flag (TREE_SIDE_EFFECTS (t));
1204 : 2284660 : hstate.add_flag (TREE_CONSTANT (t));
1205 : 2284660 : hstate.add_flag (TREE_READONLY (t));
1206 : 2284660 : hstate.add_flag (TREE_PUBLIC (t));
1207 : : }
1208 : 2720414 : hstate.add_flag (TREE_ADDRESSABLE (t));
1209 : 2720414 : hstate.add_flag (TREE_THIS_VOLATILE (t));
1210 : 2720414 : if (DECL_P (t))
1211 : 673699 : hstate.add_flag (DECL_UNSIGNED (t));
1212 : 2046715 : else if (TYPE_P (t))
1213 : 435754 : hstate.add_flag (TYPE_UNSIGNED (t));
1214 : 2720414 : if (TYPE_P (t))
1215 : 435754 : hstate.add_flag (TYPE_ARTIFICIAL (t));
1216 : : else
1217 : 2284660 : hstate.add_flag (TREE_NO_WARNING (t));
1218 : 2720414 : hstate.add_flag (TREE_NOTHROW (t));
1219 : 2720414 : hstate.add_flag (TREE_STATIC (t));
1220 : 2720414 : hstate.add_flag (TREE_PROTECTED (t));
1221 : 2720414 : hstate.add_flag (TREE_DEPRECATED (t));
1222 : 2720414 : if (code != TREE_BINFO)
1223 : 2714158 : hstate.add_flag (TREE_PRIVATE (t));
1224 : 2720414 : if (TYPE_P (t))
1225 : : {
1226 : 435754 : hstate.add_flag (AGGREGATE_TYPE_P (t)
1227 : 435754 : ? TYPE_REVERSE_STORAGE_ORDER (t) : TYPE_SATURATING (t));
1228 : 435754 : hstate.add_flag (TYPE_ADDR_SPACE (t));
1229 : : }
1230 : 2284660 : else if (code == SSA_NAME)
1231 : 0 : hstate.add_flag (SSA_NAME_IS_DEFAULT_DEF (t));
1232 : 2720414 : hstate.commit_flag ();
1233 : :
1234 : 2720414 : if (CODE_CONTAINS_STRUCT (code, TS_INT_CST))
1235 : 174247 : hstate.add_wide_int (wi::to_widest (t));
1236 : :
1237 : 2720414 : if (CODE_CONTAINS_STRUCT (code, TS_REAL_CST))
1238 : : {
1239 : 1710 : REAL_VALUE_TYPE r = TREE_REAL_CST (t);
1240 : 1710 : hstate.add_flag (r.cl);
1241 : 1710 : hstate.add_flag (r.sign);
1242 : 1710 : hstate.add_flag (r.signalling);
1243 : 1710 : hstate.add_flag (r.canonical);
1244 : 1710 : hstate.commit_flag ();
1245 : 1710 : hstate.add_int (r.uexp);
1246 : 1710 : hstate.add (r.sig, sizeof (r.sig));
1247 : : }
1248 : :
1249 : 2720414 : 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 : 2720414 : if (CODE_CONTAINS_STRUCT (code, TS_DECL_COMMON))
1258 : : {
1259 : 673699 : hstate.add_hwi (DECL_MODE (t));
1260 : 673699 : hstate.add_flag (DECL_NONLOCAL (t));
1261 : 673699 : hstate.add_flag (DECL_VIRTUAL_P (t));
1262 : 673699 : hstate.add_flag (DECL_IGNORED_P (t));
1263 : 673699 : hstate.add_flag (DECL_ABSTRACT_P (t));
1264 : 673699 : hstate.add_flag (DECL_ARTIFICIAL (t));
1265 : 673699 : hstate.add_flag (DECL_USER_ALIGN (t));
1266 : 673699 : hstate.add_flag (DECL_PRESERVE_P (t));
1267 : 673699 : hstate.add_flag (DECL_EXTERNAL (t));
1268 : 673699 : hstate.add_flag (DECL_NOT_GIMPLE_REG_P (t));
1269 : 673699 : hstate.commit_flag ();
1270 : 673699 : hstate.add_int (DECL_ALIGN (t));
1271 : 673699 : 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 : 673699 : else if (code == FIELD_DECL)
1277 : : {
1278 : 78234 : hstate.add_flag (DECL_PACKED (t));
1279 : 78234 : hstate.add_flag (DECL_NONADDRESSABLE_P (t));
1280 : 78234 : hstate.add_flag (DECL_PADDING_P (t));
1281 : 78234 : if (DECL_BIT_FIELD (t))
1282 : 4360 : hstate.add_flag (DECL_FIELD_CXX_ZERO_WIDTH_BIT_FIELD (t));
1283 : : else
1284 : 150921 : hstate.add_flag (DECL_FIELD_ABI_IGNORED (t));
1285 : 78234 : hstate.add_int (DECL_OFFSET_ALIGN (t));
1286 : : }
1287 : 595465 : else if (code == VAR_DECL)
1288 : : {
1289 : 233497 : hstate.add_flag (DECL_HAS_DEBUG_EXPR_P (t));
1290 : 233497 : hstate.add_flag (DECL_NONLOCAL_FRAME (t));
1291 : : }
1292 : 673699 : if (code == RESULT_DECL
1293 : 673699 : || code == PARM_DECL
1294 : : || code == VAR_DECL)
1295 : : {
1296 : 233509 : hstate.add_flag (DECL_BY_REFERENCE (t));
1297 : 233509 : if (code == VAR_DECL
1298 : 233509 : || code == PARM_DECL)
1299 : 233509 : hstate.add_flag (DECL_HAS_VALUE_EXPR_P (t));
1300 : : }
1301 : 673699 : hstate.commit_flag ();
1302 : : }
1303 : :
1304 : 2720414 : if (CODE_CONTAINS_STRUCT (code, TS_DECL_WRTL))
1305 : 595463 : hstate.add_int (DECL_REGISTER (t));
1306 : :
1307 : 2720414 : if (CODE_CONTAINS_STRUCT (code, TS_DECL_WITH_VIS))
1308 : : {
1309 : 595451 : hstate.add_flag (DECL_COMMON (t));
1310 : 595451 : hstate.add_flag (DECL_DLLIMPORT_P (t));
1311 : 595451 : hstate.add_flag (DECL_WEAK (t));
1312 : 595451 : hstate.add_flag (DECL_SEEN_IN_BIND_EXPR_P (t));
1313 : 595451 : hstate.add_flag (DECL_COMDAT (t));
1314 : 595451 : hstate.add_flag (DECL_VISIBILITY_SPECIFIED (t));
1315 : 595451 : hstate.add_int (DECL_VISIBILITY (t));
1316 : 595451 : if (code == VAR_DECL)
1317 : : {
1318 : : /* DECL_IN_TEXT_SECTION is set during final asm output only. */
1319 : 233497 : hstate.add_flag (DECL_HARD_REGISTER (t));
1320 : 233497 : hstate.add_flag (DECL_IN_CONSTANT_POOL (t));
1321 : : }
1322 : 595451 : if (TREE_CODE (t) == FUNCTION_DECL)
1323 : : {
1324 : 340740 : hstate.add_flag (DECL_FINAL_P (t));
1325 : 340740 : hstate.add_flag (DECL_CXX_CONSTRUCTOR_P (t));
1326 : 340740 : hstate.add_flag (DECL_CXX_DESTRUCTOR_P (t));
1327 : : }
1328 : 595451 : hstate.commit_flag ();
1329 : : }
1330 : :
1331 : 2720414 : if (CODE_CONTAINS_STRUCT (code, TS_FUNCTION_DECL))
1332 : : {
1333 : 340740 : hstate.add_int (DECL_BUILT_IN_CLASS (t));
1334 : 340740 : hstate.add_flag (DECL_STATIC_CONSTRUCTOR (t));
1335 : 340740 : hstate.add_flag (DECL_STATIC_DESTRUCTOR (t));
1336 : 340740 : hstate.add_flag (FUNCTION_DECL_DECL_TYPE (t));
1337 : 340740 : hstate.add_flag (DECL_UNINLINABLE (t));
1338 : 340740 : hstate.add_flag (DECL_POSSIBLY_INLINED (t));
1339 : 340740 : hstate.add_flag (DECL_IS_NOVOPS (t));
1340 : 340740 : hstate.add_flag (DECL_IS_RETURNS_TWICE (t));
1341 : 340740 : hstate.add_flag (DECL_IS_MALLOC (t));
1342 : 340740 : hstate.add_flag (DECL_DECLARED_INLINE_P (t));
1343 : 340740 : hstate.add_flag (DECL_STATIC_CHAIN (t));
1344 : 340740 : hstate.add_flag (DECL_NO_INLINE_WARNING_P (t));
1345 : 340740 : hstate.add_flag (DECL_NO_INSTRUMENT_FUNCTION_ENTRY_EXIT (t));
1346 : 340740 : hstate.add_flag (DECL_NO_LIMIT_STACK (t));
1347 : 340740 : hstate.add_flag (DECL_DISREGARD_INLINE_LIMITS (t));
1348 : 340740 : hstate.add_flag (DECL_PURE_P (t));
1349 : 340740 : hstate.add_flag (DECL_LOOPING_CONST_OR_PURE_P (t));
1350 : 340740 : hstate.commit_flag ();
1351 : 340740 : if (DECL_BUILT_IN_CLASS (t) != NOT_BUILT_IN)
1352 : 21260 : hstate.add_int (DECL_UNCHECKED_FUNCTION_CODE (t));
1353 : : }
1354 : :
1355 : 2720414 : if (CODE_CONTAINS_STRUCT (code, TS_TYPE_COMMON))
1356 : : {
1357 : 435754 : hstate.add_hwi (TYPE_MODE (t));
1358 : : /* TYPE_NO_FORCE_BLK is private to stor-layout and need
1359 : : no streaming. */
1360 : 435754 : hstate.add_flag (TYPE_PACKED (t));
1361 : 435754 : hstate.add_flag (TYPE_RESTRICT (t));
1362 : 435754 : hstate.add_flag (TYPE_USER_ALIGN (t));
1363 : 435754 : hstate.add_flag (TYPE_READONLY (t));
1364 : 435754 : if (RECORD_OR_UNION_TYPE_P (t))
1365 : : {
1366 : 68858 : hstate.add_flag (TYPE_TRANSPARENT_AGGR (t));
1367 : 68858 : hstate.add_flag (TYPE_FINAL_P (t));
1368 : 68858 : hstate.add_flag (TYPE_CXX_ODR_P (t));
1369 : : }
1370 : 366896 : else if (code == ARRAY_TYPE)
1371 : 27407 : hstate.add_flag (TYPE_NONALIASED_COMPONENT (t));
1372 : 435754 : if (code == ARRAY_TYPE || code == INTEGER_TYPE)
1373 : 68563 : hstate.add_flag (TYPE_STRING_FLAG (t));
1374 : 435754 : if (AGGREGATE_TYPE_P (t))
1375 : 96265 : hstate.add_flag (TYPE_TYPELESS_STORAGE (t));
1376 : 435754 : hstate.commit_flag ();
1377 : 435754 : hstate.add_int (TYPE_PRECISION_RAW (t));
1378 : 435754 : hstate.add_int (TYPE_ALIGN (t));
1379 : 435754 : hstate.add_int (TYPE_EMPTY_P (t));
1380 : : }
1381 : :
1382 : 2720414 : 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 : 2720414 : if (CODE_CONTAINS_STRUCT (code, TS_TARGET_OPTION)
1387 : : /* We don't stream these when passing things to a different target. */
1388 : 23436 : && !lto_stream_offload_p)
1389 : 23436 : hstate.add_hwi (cl_target_option_hash (TREE_TARGET_OPTION (t)));
1390 : :
1391 : 2720414 : if (CODE_CONTAINS_STRUCT (code, TS_OPTIMIZATION))
1392 : 23648 : hstate.add_hwi (cl_optimization_hash (TREE_OPTIMIZATION (t)));
1393 : :
1394 : 2720414 : if (CODE_CONTAINS_STRUCT (code, TS_IDENTIFIER))
1395 : 858093 : hstate.merge_hash (IDENTIFIER_HASH_VALUE (t));
1396 : :
1397 : 2720414 : if (CODE_CONTAINS_STRUCT (code, TS_STRING))
1398 : 4136 : hstate.add (TREE_STRING_POINTER (t), TREE_STRING_LENGTH (t));
1399 : :
1400 : 2720414 : if (CODE_CONTAINS_STRUCT (code, TS_TYPED))
1401 : : {
1402 : 2673330 : if (code != IDENTIFIER_NODE)
1403 : 1815237 : visit (TREE_TYPE (t));
1404 : : }
1405 : :
1406 : 2720414 : 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 : 2720414 : 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 : 2720414 : if (CODE_CONTAINS_STRUCT (code, TS_COMPLEX))
1418 : : {
1419 : 0 : visit (TREE_REALPART (t));
1420 : 0 : visit (TREE_IMAGPART (t));
1421 : : }
1422 : :
1423 : 2720414 : if (CODE_CONTAINS_STRUCT (code, TS_DECL_MINIMAL))
1424 : : {
1425 : : /* Drop names that were created for anonymous entities. */
1426 : 673699 : if (DECL_NAME (t)
1427 : 656860 : && TREE_CODE (DECL_NAME (t)) == IDENTIFIER_NODE
1428 : 1330559 : && IDENTIFIER_ANON_P (DECL_NAME (t)))
1429 : : ;
1430 : : else
1431 : 673369 : visit (DECL_NAME (t));
1432 : 673699 : if (DECL_FILE_SCOPE_P (t))
1433 : : ;
1434 : : else
1435 : 106404 : visit (DECL_CONTEXT (t));
1436 : : }
1437 : :
1438 : 2720414 : if (CODE_CONTAINS_STRUCT (code, TS_DECL_COMMON))
1439 : : {
1440 : 673699 : visit (DECL_SIZE (t));
1441 : 673699 : visit (DECL_SIZE_UNIT (t));
1442 : 673699 : visit (DECL_ATTRIBUTES (t));
1443 : 673699 : if ((code == VAR_DECL
1444 : 673699 : || code == PARM_DECL)
1445 : 673699 : && DECL_HAS_VALUE_EXPR_P (t))
1446 : 0 : visit (DECL_VALUE_EXPR (t));
1447 : 673699 : if (code == VAR_DECL
1448 : 907196 : && 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 : 2720414 : if (CODE_CONTAINS_STRUCT (code, TS_DECL_WITH_VIS))
1455 : : {
1456 : 595451 : if (DECL_ASSEMBLER_NAME_SET_P (t))
1457 : 593250 : visit (DECL_ASSEMBLER_NAME (t));
1458 : : }
1459 : :
1460 : 2720414 : if (CODE_CONTAINS_STRUCT (code, TS_FIELD_DECL))
1461 : : {
1462 : 78234 : visit (DECL_FIELD_OFFSET (t));
1463 : 78234 : visit (DECL_BIT_FIELD_TYPE (t));
1464 : 78234 : visit (DECL_BIT_FIELD_REPRESENTATIVE (t));
1465 : 78234 : visit (DECL_FIELD_BIT_OFFSET (t));
1466 : : }
1467 : :
1468 : 2720414 : if (CODE_CONTAINS_STRUCT (code, TS_FUNCTION_DECL))
1469 : : {
1470 : 340740 : visit (DECL_FUNCTION_PERSONALITY (t));
1471 : 340740 : visit (DECL_FUNCTION_SPECIFIC_TARGET (t));
1472 : 340740 : visit (DECL_FUNCTION_SPECIFIC_OPTIMIZATION (t));
1473 : : }
1474 : :
1475 : 2720414 : if (CODE_CONTAINS_STRUCT (code, TS_TYPE_COMMON))
1476 : : {
1477 : 435754 : visit (TYPE_SIZE (t));
1478 : 435754 : visit (TYPE_SIZE_UNIT (t));
1479 : 435754 : visit (TYPE_ATTRIBUTES (t));
1480 : 435754 : visit (TYPE_NAME (t));
1481 : 435754 : visit (TYPE_MAIN_VARIANT (t));
1482 : 435754 : if (TYPE_FILE_SCOPE_P (t))
1483 : : ;
1484 : : else
1485 : 15072 : visit (TYPE_CONTEXT (t));
1486 : : }
1487 : :
1488 : 2720414 : if (CODE_CONTAINS_STRUCT (code, TS_TYPE_NON_COMMON))
1489 : : {
1490 : 435754 : if (code == ARRAY_TYPE)
1491 : 27407 : visit (TYPE_DOMAIN (t));
1492 : 408347 : else if (RECORD_OR_UNION_TYPE_P (t))
1493 : 168493 : for (tree f = TYPE_FIELDS (t); f; f = TREE_CHAIN (f))
1494 : 99635 : visit (f);
1495 : 339489 : else if (code == FUNCTION_TYPE
1496 : 339489 : || code == METHOD_TYPE)
1497 : 108770 : visit (TYPE_ARG_TYPES (t));
1498 : 435754 : if (!POINTER_TYPE_P (t))
1499 : 255165 : visit (TYPE_MIN_VALUE_RAW (t));
1500 : 435754 : visit (TYPE_MAX_VALUE_RAW (t));
1501 : : }
1502 : :
1503 : 2720414 : if (CODE_CONTAINS_STRUCT (code, TS_LIST))
1504 : : {
1505 : 511474 : visit (TREE_PURPOSE (t));
1506 : 511474 : visit (TREE_VALUE (t));
1507 : 511474 : visit (TREE_CHAIN (t));
1508 : : }
1509 : :
1510 : 2720414 : 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 : 2720414 : if (CODE_CONTAINS_STRUCT (code, TS_EXP))
1515 : : {
1516 : 7441 : hstate.add_hwi (TREE_OPERAND_LENGTH (t));
1517 : 18610 : for (int i = 0; i < TREE_OPERAND_LENGTH (t); ++i)
1518 : 11169 : visit (TREE_OPERAND (t, i));
1519 : : }
1520 : :
1521 : 2720414 : if (CODE_CONTAINS_STRUCT (code, TS_BINFO))
1522 : : {
1523 : : unsigned i;
1524 : : tree b;
1525 : 12643 : FOR_EACH_VEC_ELT (*BINFO_BASE_BINFOS (t), i, b)
1526 : 6387 : visit (b);
1527 : 6256 : visit (BINFO_OFFSET (t));
1528 : 6256 : 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 : 2720414 : if (CODE_CONTAINS_STRUCT (code, TS_CONSTRUCTOR))
1535 : : {
1536 : 385 : unsigned i;
1537 : 385 : tree index, value;
1538 : 585 : hstate.add_hwi (CONSTRUCTOR_NELTS (t));
1539 : 1720 : FOR_EACH_CONSTRUCTOR_ELT (CONSTRUCTOR_ELTS (t), i, index, value)
1540 : : {
1541 : 1335 : visit (index);
1542 : 1335 : visit (value);
1543 : : }
1544 : : }
1545 : :
1546 : 2720414 : 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 : 2720414 : 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 : 1456741 : DFS::scc_entry_compare (const void *p1_, const void *p2_)
1596 : : {
1597 : 1456741 : const scc_entry *p1 = (const scc_entry *) p1_;
1598 : 1456741 : const scc_entry *p2 = (const scc_entry *) p2_;
1599 : 1456741 : if (p1->hash < p2->hash)
1600 : : return -1;
1601 : 657441 : else if (p1->hash > p2->hash)
1602 : 636028 : 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 : 2582270 : DFS::hash_scc (struct output_block *ob, unsigned first, unsigned size,
1611 : : bool ref_p, bool this_ref_p)
1612 : : {
1613 : 2582270 : unsigned int last_classes = 0, iterations = 0;
1614 : :
1615 : : /* Compute hash values for the SCC members. */
1616 : 5302684 : for (unsigned i = 0; i < size; ++i)
1617 : 5440828 : sccstack[first+i].hash
1618 : 2720414 : = hash_tree (ob->writer_cache, NULL, sccstack[first+i].t);
1619 : :
1620 : 2582270 : if (size == 1)
1621 : 2518569 : 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 : 63701 : do
1644 : : {
1645 : : /* Sort the SCC so we can easily check for uniqueness. */
1646 : 63701 : qsort (&sccstack[first], size, sizeof (scc_entry), scc_entry_compare);
1647 : :
1648 : 63701 : unsigned int classes = 1;
1649 : 63701 : int firstunique = -1;
1650 : :
1651 : : /* Find the tree with lowest unique hash (if it exists) and compute
1652 : : the number of equivalence classes. */
1653 : 63701 : if (sccstack[first].hash != sccstack[first+1].hash)
1654 : 63698 : firstunique = 0;
1655 : 201845 : for (unsigned i = 1; i < size; ++i)
1656 : 138144 : if (sccstack[first+i-1].hash != sccstack[first+i].hash)
1657 : : {
1658 : 136186 : classes++;
1659 : 136186 : if (firstunique == -1
1660 : 136186 : && (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 : 63701 : 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 : 63701 : || classes <= last_classes || iterations > 16)
1673 : : {
1674 : 63701 : 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 : 63701 : 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 : 191009 : for (unsigned i = 1; i < size; ++i)
1721 : 127648 : scc_hash
1722 : 127648 : = 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 : 63361 : 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 : 265546 : for (unsigned i = 0; i < size; ++i)
1734 : 403690 : sccstack[first+i].hash
1735 : 201845 : = iterative_hash_hashval_t (sccstack[first+i].hash, scc_hash);
1736 : 63701 : 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 : 34756845 : 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 : 34756845 : if (expr == NULL_TREE)
1766 : 25318946 : return;
1767 : :
1768 : : /* Do not DFS walk into indexable trees. */
1769 : 22718545 : if (this_ref_p && tree_is_indexable (expr))
1770 : : return;
1771 : :
1772 : : /* Check if we already streamed EXPR. */
1773 : 16532366 : 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 : 7094467 : if (ob->local_trees
1778 : 7094467 : && ob->local_trees->contains (expr))
1779 : 16736 : max_local_entry = sccstack.length () - 1;
1780 : 7094467 : return;
1781 : : }
1782 : :
1783 : 9437899 : worklist w;
1784 : 9437899 : w.expr = expr;
1785 : 9437899 : w.from_state = from_state;
1786 : 9437899 : w.cstate = NULL;
1787 : 9437899 : w.ref_p = ref_p;
1788 : 9437899 : w.this_ref_p = this_ref_p;
1789 : 9437899 : 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 : 12472438 : lto_output_tree (struct output_block *ob, tree expr,
1799 : : bool ref_p, bool this_ref_p)
1800 : : {
1801 : 12472438 : unsigned ix;
1802 : 12472438 : bool existed_p;
1803 : 12472438 : 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 : 12472438 : static bool in_dfs_walk;
1807 : :
1808 : 12472438 : if (expr == NULL_TREE)
1809 : : {
1810 : 2778629 : streamer_write_record_start (ob, LTO_null);
1811 : 10449408 : return;
1812 : : }
1813 : :
1814 : 9693809 : if (this_ref_p && tree_is_indexable (expr))
1815 : : {
1816 : 4892150 : enum LTO_tags tag;
1817 : 4892150 : unsigned ix;
1818 : :
1819 : 4892150 : lto_indexable_tree_ref (ob, expr, &tag, &ix);
1820 : 4892150 : streamer_write_record_start (ob, tag);
1821 : 4892150 : streamer_write_uhwi (ob, ix);
1822 : 4892150 : return;
1823 : : }
1824 : :
1825 : 4801659 : existed_p = streamer_tree_cache_lookup (ob->writer_cache, expr, &ix);
1826 : 4801659 : if (existed_p)
1827 : : {
1828 : 1867106 : 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 : 1867106 : streamer_write_record_start (ob, LTO_tree_pickle_reference);
1842 : 1867106 : streamer_write_uhwi (ob, ix);
1843 : 1867106 : 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 : 2934553 : gcc_assert (!in_dfs_walk);
1851 : :
1852 : 2934553 : 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 : 2934553 : in_dfs_walk = true;
1863 : 2934553 : DFS (ob, expr, ref_p, this_ref_p, false);
1864 : :
1865 : : /* Finally append a reference to the tree we were writing. */
1866 : 2934553 : 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 : 2934553 : if (!existed_p)
1871 : 2022202 : lto_output_tree_1 (ob, expr, 0, ref_p, this_ref_p);
1872 : 912351 : 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 : 2934553 : in_dfs_walk = false;
1885 : 2934553 : lto_stats.num_pickle_refs_output++;
1886 : : }
1887 : 4801659 : 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 : 292 : output_eh_try_list (struct output_block *ob, eh_catch first)
1897 : : {
1898 : 292 : eh_catch n;
1899 : :
1900 : 633 : for (n = first; n; n = n->next_catch)
1901 : : {
1902 : 341 : streamer_write_record_start (ob, LTO_eh_catch);
1903 : 341 : stream_write_tree (ob, n->type_list, true);
1904 : 341 : stream_write_tree (ob, n->filter_list, true);
1905 : 341 : stream_write_tree (ob, n->label, true);
1906 : : }
1907 : :
1908 : 292 : streamer_write_record_start (ob, LTO_null);
1909 : 292 : }
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 : 17905 : output_eh_region (struct output_block *ob, eh_region r)
1918 : : {
1919 : 17905 : enum LTO_tags tag;
1920 : :
1921 : 17905 : if (r == NULL)
1922 : : {
1923 : 7242 : streamer_write_record_start (ob, LTO_null);
1924 : 7242 : return;
1925 : : }
1926 : :
1927 : 10663 : 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 : 10663 : streamer_write_record_start (ob, tag);
1939 : 10663 : streamer_write_hwi (ob, r->index);
1940 : :
1941 : 10663 : if (r->outer)
1942 : 3011 : streamer_write_hwi (ob, r->outer->index);
1943 : : else
1944 : 7652 : streamer_write_zero (ob);
1945 : :
1946 : 10663 : if (r->inner)
1947 : 1734 : streamer_write_hwi (ob, r->inner->index);
1948 : : else
1949 : 8929 : streamer_write_zero (ob);
1950 : :
1951 : 10663 : if (r->next_peer)
1952 : 4648 : streamer_write_hwi (ob, r->next_peer->index);
1953 : : else
1954 : 6015 : streamer_write_zero (ob);
1955 : :
1956 : 10663 : if (r->type == ERT_TRY)
1957 : : {
1958 : 292 : output_eh_try_list (ob, r->u.eh_try.first_catch);
1959 : : }
1960 : 10371 : 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 : 10047 : else if (r->type == ERT_MUST_NOT_THROW)
1967 : : {
1968 : 5615 : stream_write_tree (ob, r->u.must_not_throw.failure_decl, true);
1969 : 5615 : bitpack_d bp = bitpack_create (ob->main_stream);
1970 : 5615 : stream_output_location (ob, &bp, r->u.must_not_throw.failure_loc);
1971 : 5615 : streamer_write_bitpack (&bp);
1972 : : }
1973 : :
1974 : 10663 : if (r->landing_pads)
1975 : 2925 : streamer_write_hwi (ob, r->landing_pads->index);
1976 : : else
1977 : 7738 : streamer_write_zero (ob);
1978 : : }
1979 : :
1980 : :
1981 : : /* Output landing pad LP to OB. */
1982 : :
1983 : : static void
1984 : 8142 : output_eh_lp (struct output_block *ob, eh_landing_pad lp)
1985 : : {
1986 : 8142 : if (lp == NULL)
1987 : : {
1988 : 5157 : streamer_write_record_start (ob, LTO_null);
1989 : 5157 : return;
1990 : : }
1991 : :
1992 : 2985 : streamer_write_record_start (ob, LTO_eh_landing_pad);
1993 : 2985 : streamer_write_hwi (ob, lp->index);
1994 : 2985 : if (lp->next_lp)
1995 : 60 : streamer_write_hwi (ob, lp->next_lp->index);
1996 : : else
1997 : 2925 : streamer_write_zero (ob);
1998 : :
1999 : 2985 : if (lp->region)
2000 : 2985 : streamer_write_hwi (ob, lp->region->index);
2001 : : else
2002 : 0 : streamer_write_zero (ob);
2003 : :
2004 : 2985 : 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 : 106307 : output_eh_regions (struct output_block *ob, struct function *fn)
2012 : : {
2013 : 106307 : if (fn->eh && fn->eh->region_tree)
2014 : : {
2015 : 4281 : unsigned i;
2016 : 4281 : eh_region eh;
2017 : 4281 : eh_landing_pad lp;
2018 : 4281 : tree ttype;
2019 : :
2020 : 4281 : streamer_write_record_start (ob, LTO_eh_table);
2021 : :
2022 : : /* Emit the index of the root of the EH region tree. */
2023 : 4281 : streamer_write_hwi (ob, fn->eh->region_tree->index);
2024 : :
2025 : : /* Emit all the EH regions in the region array. */
2026 : 4281 : streamer_write_hwi (ob, vec_safe_length (fn->eh->region_array));
2027 : 26467 : FOR_EACH_VEC_SAFE_ELT (fn->eh->region_array, i, eh)
2028 : 17905 : output_eh_region (ob, eh);
2029 : :
2030 : : /* Emit all landing pads. */
2031 : 4281 : streamer_write_hwi (ob, vec_safe_length (fn->eh->lp_array));
2032 : 16704 : FOR_EACH_VEC_SAFE_ELT (fn->eh->lp_array, i, lp)
2033 : 8142 : output_eh_lp (ob, lp);
2034 : :
2035 : : /* Emit all the runtime type data. */
2036 : 4281 : streamer_write_hwi (ob, vec_safe_length (fn->eh->ttype_data));
2037 : 8562 : 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 : 4281 : 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 : 4281 : uchar c;
2051 : 4281 : streamer_write_hwi (ob, vec_safe_length (fn->eh->ehspec_data.other));
2052 : 8562 : 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 : 106307 : streamer_write_record_start (ob, LTO_null);
2060 : 106307 : }
2061 : :
2062 : :
2063 : : /* Output all of the active ssa names to the ssa_names stream. */
2064 : :
2065 : : static void
2066 : 106307 : output_ssa_names (struct output_block *ob, struct function *fn)
2067 : : {
2068 : 106307 : unsigned int i, len;
2069 : :
2070 : 106307 : len = vec_safe_length (SSANAMES (fn));
2071 : 106307 : streamer_write_uhwi (ob, len);
2072 : :
2073 : 1694039 : for (i = 1; i < len; i++)
2074 : : {
2075 : 1587732 : tree ptr = (*SSANAMES (fn))[i];
2076 : :
2077 : 2179659 : if (ptr == NULL_TREE
2078 : 1581661 : || SSA_NAME_IN_FREE_LIST (ptr)
2079 : 1581661 : || virtual_operand_p (ptr)
2080 : : /* Simply skip unreleased SSA names. */
2081 : 2585668 : || (! SSA_NAME_IS_DEFAULT_DEF (ptr)
2082 : 895029 : && (! SSA_NAME_DEF_STMT (ptr)
2083 : 895029 : || ! gimple_bb (SSA_NAME_DEF_STMT (ptr)))))
2084 : 591927 : continue;
2085 : :
2086 : 995805 : streamer_write_uhwi (ob, i);
2087 : 995805 : streamer_write_char_stream (ob->main_stream,
2088 : 995805 : SSA_NAME_IS_DEFAULT_DEF (ptr));
2089 : 995805 : if (SSA_NAME_VAR (ptr))
2090 : 288228 : stream_write_tree (ob, SSA_NAME_VAR (ptr), true);
2091 : : else
2092 : : /* ??? This drops SSA_NAME_IDENTIFIER on the floor. */
2093 : 707577 : stream_write_tree (ob, TREE_TYPE (ptr), true);
2094 : : }
2095 : :
2096 : 106307 : streamer_write_zero (ob);
2097 : 106307 : }
2098 : :
2099 : :
2100 : :
2101 : : /* Output the cfg. */
2102 : :
2103 : : static void
2104 : 106307 : output_cfg (struct output_block *ob, struct function *fn)
2105 : : {
2106 : 106307 : struct lto_output_stream *tmp_stream = ob->main_stream;
2107 : 106307 : basic_block bb;
2108 : :
2109 : 106307 : ob->main_stream = ob->cfg_stream;
2110 : :
2111 : 106307 : 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 : 106307 : streamer_write_uhwi (ob, last_basic_block_for_fn (fn));
2116 : :
2117 : 1006599 : FOR_ALL_BB_FN (bb, fn)
2118 : : {
2119 : 900292 : edge_iterator ei;
2120 : 900292 : edge e;
2121 : :
2122 : 900292 : streamer_write_hwi (ob, bb->index);
2123 : :
2124 : : /* Output the successors and the edge flags. */
2125 : 1691688 : streamer_write_uhwi (ob, EDGE_COUNT (bb->succs));
2126 : 1923196 : FOR_EACH_EDGE (e, ei, bb->succs)
2127 : : {
2128 : 1022904 : bitpack_d bp = bitpack_create (ob->main_stream);
2129 : 1022904 : bp_pack_var_len_unsigned (&bp, e->dest->index);
2130 : 1022904 : bp_pack_var_len_unsigned (&bp, e->flags);
2131 : 1022904 : stream_output_location_and_block (ob, &bp, e->goto_locus);
2132 : 1022904 : e->probability.stream_out (ob);
2133 : : }
2134 : : }
2135 : :
2136 : 106307 : streamer_write_hwi (ob, -1);
2137 : :
2138 : 106307 : bb = ENTRY_BLOCK_PTR_FOR_FN (fn);
2139 : 900292 : while (bb->next_bb)
2140 : : {
2141 : 793985 : streamer_write_hwi (ob, bb->next_bb->index);
2142 : 793985 : bb = bb->next_bb;
2143 : : }
2144 : :
2145 : 106307 : streamer_write_hwi (ob, -1);
2146 : :
2147 : : /* Output the number of loops. */
2148 : 106307 : streamer_write_uhwi (ob, number_of_loops (fn));
2149 : :
2150 : : /* Output each loop, skipping the tree root which has number zero. */
2151 : 358968 : for (unsigned i = 1; i < number_of_loops (fn); ++i)
2152 : : {
2153 : 73177 : 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 : 73177 : if (!loop)
2159 : : {
2160 : 25259 : streamer_write_hwi (ob, -1);
2161 : 25259 : continue;
2162 : : }
2163 : : else
2164 : 47918 : streamer_write_hwi (ob, loop->header->index);
2165 : :
2166 : : /* Write everything copy_loop_info copies. */
2167 : 47918 : streamer_write_enum (ob->main_stream,
2168 : : loop_estimation, EST_LAST, loop->estimate_state);
2169 : 47918 : streamer_write_hwi (ob, loop->any_upper_bound);
2170 : 47918 : if (loop->any_upper_bound)
2171 : : {
2172 : 39204 : widest_int w = widest_int::from (loop->nb_iterations_upper_bound,
2173 : 39204 : SIGNED);
2174 : 39204 : streamer_write_widest_int (ob, w);
2175 : 39204 : }
2176 : 47918 : streamer_write_hwi (ob, loop->any_likely_upper_bound);
2177 : 47918 : if (loop->any_likely_upper_bound)
2178 : : {
2179 : 39206 : widest_int w
2180 : 39206 : = widest_int::from (loop->nb_iterations_likely_upper_bound,
2181 : 39206 : SIGNED);
2182 : 39206 : streamer_write_widest_int (ob, w);
2183 : 39206 : }
2184 : 47918 : streamer_write_hwi (ob, loop->any_estimate);
2185 : 47918 : if (loop->any_estimate)
2186 : : {
2187 : 32745 : widest_int w = widest_int::from (loop->nb_iterations_estimate,
2188 : 32745 : SIGNED);
2189 : 32745 : streamer_write_widest_int (ob, w);
2190 : 32745 : }
2191 : :
2192 : : /* Write OMP SIMD related info. */
2193 : 47918 : streamer_write_hwi (ob, loop->safelen);
2194 : 47918 : streamer_write_hwi (ob, loop->unroll);
2195 : 47918 : streamer_write_hwi (ob, loop->owned_clique);
2196 : 47918 : streamer_write_hwi (ob, loop->dont_vectorize);
2197 : 47918 : streamer_write_hwi (ob, loop->force_vectorize);
2198 : 47918 : streamer_write_hwi (ob, loop->finite_p);
2199 : 47918 : stream_write_tree (ob, loop->simduid, true);
2200 : : }
2201 : :
2202 : 106307 : ob->main_stream = tmp_stream;
2203 : 106307 : }
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 : 254366 : produce_symbol_asm (struct output_block *ob, tree fn, int output_order)
2210 : : {
2211 : 254366 : enum lto_section_type section_type = ob->section_type;
2212 : 254366 : struct lto_function_header header;
2213 : 254366 : char *section_name;
2214 : :
2215 : 254366 : if (section_type == LTO_section_function_body)
2216 : : {
2217 : 117215 : const char *name = IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (fn));
2218 : 117215 : section_name = lto_get_section_name (section_type, name,
2219 : : output_order, NULL);
2220 : : }
2221 : : else
2222 : 137151 : section_name = lto_get_section_name (section_type, NULL, 0, NULL);
2223 : :
2224 : 254366 : lto_begin_section (section_name, !flag_wpa);
2225 : 254366 : free (section_name);
2226 : :
2227 : : /* The entire header is stream computed here. */
2228 : 254366 : memset (&header, 0, sizeof (struct lto_function_header));
2229 : :
2230 : 254366 : if (section_type == LTO_section_function_body)
2231 : 117215 : header.cfg_size = ob->cfg_stream->total_size;
2232 : 254366 : header.main_size = ob->main_stream->total_size;
2233 : 254366 : header.string_size = ob->string_stream->total_size;
2234 : 254366 : 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 : 254366 : if (section_type == LTO_section_function_body)
2239 : 117215 : lto_write_stream (ob->cfg_stream);
2240 : 254366 : lto_write_stream (ob->main_stream);
2241 : 254366 : lto_write_stream (ob->string_stream);
2242 : :
2243 : 254366 : lto_end_section ();
2244 : 254366 : }
2245 : :
2246 : : /* Wrapper for unused arguments. */
2247 : :
2248 : : void
2249 : 137151 : produce_asm (struct output_block *ob)
2250 : : {
2251 : 137151 : produce_symbol_asm (ob, NULL, -1);
2252 : 137151 : }
2253 : :
2254 : :
2255 : : /* Output the base body of struct function FN using output block OB. */
2256 : :
2257 : : static void
2258 : 106307 : output_struct_function_base (struct output_block *ob, struct function *fn)
2259 : : {
2260 : 106307 : struct bitpack_d bp;
2261 : 106307 : unsigned i;
2262 : 106307 : tree t;
2263 : :
2264 : : /* Output the static chain and non-local goto save area. */
2265 : 106307 : stream_write_tree (ob, fn->static_chain_decl, true);
2266 : 106307 : stream_write_tree (ob, fn->nonlocal_goto_save_area, true);
2267 : :
2268 : : /* Output all the local variables in the function. */
2269 : 106307 : streamer_write_hwi (ob, vec_safe_length (fn->local_decls));
2270 : 375065 : FOR_EACH_VEC_SAFE_ELT (fn->local_decls, i, t)
2271 : 162451 : stream_write_tree (ob, t, true);
2272 : :
2273 : : /* Output current IL state of the function. */
2274 : 106307 : streamer_write_uhwi (ob, fn->curr_properties);
2275 : :
2276 : : /* Write all the attributes for FN. */
2277 : 106307 : bp = bitpack_create (ob->main_stream);
2278 : 106307 : bp_pack_value (&bp, fn->is_thunk, 1);
2279 : 106307 : bp_pack_value (&bp, fn->has_local_explicit_reg_vars, 1);
2280 : 106307 : bp_pack_value (&bp, fn->returns_pcc_struct, 1);
2281 : 106307 : bp_pack_value (&bp, fn->returns_struct, 1);
2282 : 106307 : bp_pack_value (&bp, fn->can_throw_non_call_exceptions, 1);
2283 : 106307 : bp_pack_value (&bp, fn->can_delete_dead_exceptions, 1);
2284 : 106307 : bp_pack_value (&bp, fn->always_inline_functions_inlined, 1);
2285 : 106307 : bp_pack_value (&bp, fn->after_inlining, 1);
2286 : 106307 : bp_pack_value (&bp, fn->stdarg, 1);
2287 : 106307 : bp_pack_value (&bp, fn->has_nonlocal_label, 1);
2288 : 106307 : bp_pack_value (&bp, fn->has_forced_label_in_static, 1);
2289 : 106307 : bp_pack_value (&bp, fn->calls_alloca, 1);
2290 : 106307 : bp_pack_value (&bp, fn->calls_setjmp, 1);
2291 : 106307 : bp_pack_value (&bp, fn->calls_eh_return, 1);
2292 : 106307 : bp_pack_value (&bp, fn->has_force_vectorize_loops, 1);
2293 : 106307 : bp_pack_value (&bp, fn->has_simduid_loops, 1);
2294 : 106307 : bp_pack_value (&bp, fn->has_musttail, 1);
2295 : 106307 : bp_pack_value (&bp, fn->has_unroll, 1);
2296 : 106307 : bp_pack_value (&bp, fn->assume_function, 1);
2297 : 106307 : bp_pack_value (&bp, fn->va_list_fpr_size, 8);
2298 : 106307 : bp_pack_value (&bp, fn->va_list_gpr_size, 8);
2299 : 106307 : bp_pack_value (&bp, fn->last_clique, sizeof (short) * 8);
2300 : :
2301 : : /* Output the function start and end loci. */
2302 : 106307 : stream_output_location (ob, &bp, fn->function_start_locus);
2303 : 106307 : stream_output_location (ob, &bp, fn->function_end_locus);
2304 : :
2305 : : /* Save the instance discriminator if present. */
2306 : 106307 : int *instance_number_p = NULL;
2307 : 106307 : if (decl_to_instance_map)
2308 : 0 : instance_number_p = decl_to_instance_map->get (fn->decl);
2309 : 106307 : bp_pack_value (&bp, !!instance_number_p, 1);
2310 : 106307 : if (instance_number_p)
2311 : 0 : bp_pack_value (&bp, *instance_number_p, sizeof (int) * CHAR_BIT);
2312 : :
2313 : 106307 : streamer_write_bitpack (&bp);
2314 : 106307 : }
2315 : :
2316 : :
2317 : : /* Collect all leaf BLOCKs beyond ROOT into LEAFS. */
2318 : :
2319 : : static void
2320 : 239651 : collect_block_tree_leafs (tree root, vec<tree> &leafs)
2321 : : {
2322 : 444911 : for (root = BLOCK_SUBBLOCKS (root); root; root = BLOCK_CHAIN (root))
2323 : 205260 : if (! BLOCK_SUBBLOCKS (root))
2324 : 71916 : leafs.safe_push (root);
2325 : : else
2326 : 133344 : collect_block_tree_leafs (root, leafs);
2327 : 239651 : }
2328 : :
2329 : : /* This performs function body modifications that are needed for streaming
2330 : : to work. */
2331 : :
2332 : : void
2333 : 106304 : lto_prepare_function_for_streaming (struct cgraph_node *node)
2334 : : {
2335 : 106304 : struct function *fn = DECL_STRUCT_FUNCTION (node->decl);
2336 : 106304 : basic_block bb;
2337 : :
2338 : 212608 : if (number_of_loops (fn))
2339 : : {
2340 : 106304 : push_cfun (fn);
2341 : 106304 : loop_optimizer_init (AVOID_CFG_MODIFICATIONS);
2342 : 106304 : loop_optimizer_finalize ();
2343 : 106304 : 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 : 106304 : set_gimple_stmt_max_uid (fn, 0);
2352 : 1006587 : FOR_ALL_BB_FN (bb, fn)
2353 : : {
2354 : 1053738 : for (gphi_iterator gsi = gsi_start_phis (bb); !gsi_end_p (gsi);
2355 : 153455 : gsi_next (&gsi))
2356 : : {
2357 : 153455 : gphi *stmt = gsi.phi ();
2358 : :
2359 : : /* Virtual PHIs are not going to be streamed. */
2360 : 306910 : if (!virtual_operand_p (gimple_phi_result (stmt)))
2361 : 88668 : gimple_set_uid (stmt, inc_gimple_stmt_max_uid (fn));
2362 : : }
2363 : 3455577 : for (gimple_stmt_iterator gsi = gsi_start_bb (bb); !gsi_end_p (gsi);
2364 : 1655011 : gsi_next (&gsi))
2365 : : {
2366 : 1655011 : gimple *stmt = gsi_stmt (gsi);
2367 : 1655011 : 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 : 1006587 : FOR_ALL_BB_FN (bb, fn)
2373 : : {
2374 : 1053738 : for (gphi_iterator gsi = gsi_start_phis (bb); !gsi_end_p (gsi);
2375 : 153455 : gsi_next (&gsi))
2376 : : {
2377 : 153455 : gphi *stmt = gsi.phi ();
2378 : 371697 : if (virtual_operand_p (gimple_phi_result (stmt)))
2379 : 64787 : gimple_set_uid (stmt, inc_gimple_stmt_max_uid (fn));
2380 : : }
2381 : : }
2382 : :
2383 : 106304 : }
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 : 106454 : streamer_write_chain (struct output_block *ob, tree t, bool ref_p)
2391 : : {
2392 : 421981 : 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 : 315527 : gcc_assert (!VAR_OR_FUNCTION_DECL_P (t) || !DECL_EXTERNAL (t));
2399 : 315527 : stream_write_tree (ob, t, ref_p);
2400 : :
2401 : 315527 : t = TREE_CHAIN (t);
2402 : : }
2403 : :
2404 : : /* Write a sentinel to terminate the chain. */
2405 : 106454 : stream_write_tree (ob, NULL_TREE, ref_p);
2406 : 106454 : }
2407 : :
2408 : : /* Output the body of function NODE->DECL. */
2409 : :
2410 : : static void
2411 : 106454 : output_function (struct cgraph_node *node, int output_order)
2412 : : {
2413 : 106454 : tree function;
2414 : 106454 : struct function *fn;
2415 : 106454 : basic_block bb;
2416 : 106454 : struct output_block *ob;
2417 : :
2418 : 106454 : if (streamer_dump_file)
2419 : 8 : fprintf (streamer_dump_file, "\nStreaming body of %s\n",
2420 : : node->dump_name ());
2421 : :
2422 : 106454 : function = node->decl;
2423 : 106454 : fn = DECL_STRUCT_FUNCTION (function);
2424 : 106454 : ob = create_output_block (LTO_section_function_body);
2425 : :
2426 : 106454 : ob->symbol = node;
2427 : :
2428 : 106454 : gcc_assert (current_function_decl == NULL_TREE && cfun == NULL);
2429 : :
2430 : : /* Make string 0 be a NULL string. */
2431 : 106454 : streamer_write_char_stream (ob->string_stream, 0);
2432 : :
2433 : 106454 : streamer_write_record_start (ob, LTO_function);
2434 : :
2435 : : /* Output decls for parameters and args. */
2436 : 106454 : stream_write_tree (ob, DECL_RESULT (function), true);
2437 : 106454 : streamer_write_chain (ob, DECL_ARGUMENTS (function), true);
2438 : :
2439 : : /* Output debug args if available. */
2440 : 106454 : vec<tree, va_gc> **debugargs = decl_debug_args_lookup (function);
2441 : 106454 : if (! debugargs)
2442 : 106425 : 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 : 106454 : 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 : 106454 : auto_vec<tree> block_tree_leafs;
2456 : 106454 : if (DECL_INITIAL (function) && DECL_INITIAL (function) != error_mark_node)
2457 : 106307 : collect_block_tree_leafs (DECL_INITIAL (function), block_tree_leafs);
2458 : 106454 : streamer_write_uhwi (ob, block_tree_leafs.length ());
2459 : 178370 : for (unsigned i = 0; i < block_tree_leafs.length (); ++i)
2460 : 71916 : 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 : 106454 : if (gimple_has_body_p (function))
2465 : : {
2466 : 106307 : streamer_write_uhwi (ob, 1);
2467 : 106307 : output_struct_function_base (ob, fn);
2468 : :
2469 : 106307 : output_cfg (ob, fn);
2470 : :
2471 : : /* Output all the SSA names used in the function. */
2472 : 106307 : output_ssa_names (ob, fn);
2473 : :
2474 : : /* Output any exception handling regions. */
2475 : 106307 : output_eh_regions (ob, fn);
2476 : :
2477 : : /* Output the code for the function. */
2478 : 1006599 : FOR_ALL_BB_FN (bb, fn)
2479 : 900292 : output_bb (ob, bb, fn);
2480 : :
2481 : : /* The terminator for this function. */
2482 : 106307 : streamer_write_record_start (ob, LTO_null);
2483 : : }
2484 : : else
2485 : 147 : streamer_write_uhwi (ob, 0);
2486 : :
2487 : : /* Create a section to hold the pickled output of this function. */
2488 : 106454 : produce_symbol_asm (ob, function, output_order);
2489 : :
2490 : 106454 : destroy_output_block (ob);
2491 : 106454 : if (streamer_dump_file)
2492 : 8 : fprintf (streamer_dump_file, "Finished streaming %s\n",
2493 : : node->dump_name ());
2494 : 106454 : }
2495 : :
2496 : : /* Output the body of function NODE->DECL. */
2497 : :
2498 : : static void
2499 : 10761 : output_constructor (struct varpool_node *node, int output_order)
2500 : : {
2501 : 10761 : tree var = node->decl;
2502 : 10761 : struct output_block *ob;
2503 : :
2504 : 10761 : if (streamer_dump_file)
2505 : 4 : fprintf (streamer_dump_file, "\nStreaming constructor of %s\n",
2506 : : node->dump_name ());
2507 : :
2508 : 10761 : timevar_push (TV_IPA_LTO_CTORS_OUT);
2509 : 10761 : ob = create_output_block (LTO_section_function_body);
2510 : :
2511 : 10761 : ob->symbol = node;
2512 : :
2513 : : /* Make string 0 be a NULL string. */
2514 : 10761 : 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 : 10761 : stream_write_tree (ob, DECL_INITIAL (var), true);
2519 : :
2520 : : /* Create a section to hold the pickled output of this function. */
2521 : 10761 : produce_symbol_asm (ob, var, output_order);
2522 : :
2523 : 10761 : destroy_output_block (ob);
2524 : 10761 : if (streamer_dump_file)
2525 : 4 : fprintf (streamer_dump_file, "Finished streaming %s\n",
2526 : : node->dump_name ());
2527 : 10761 : timevar_pop (TV_IPA_LTO_CTORS_OUT);
2528 : 10761 : }
2529 : :
2530 : :
2531 : : /* Emit toplevel asms. */
2532 : :
2533 : : void
2534 : 32703 : lto_output_toplevel_asms (void)
2535 : : {
2536 : 32703 : struct output_block *ob;
2537 : 32703 : struct asm_node *can;
2538 : 32703 : char *section_name;
2539 : 32703 : struct lto_simple_header_with_strings header;
2540 : :
2541 : 32703 : if (!symtab->first_asm_symbol ())
2542 : 32637 : 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 : 34197 : copy_function_or_variable (struct symtab_node *node, int output_order)
2590 : : {
2591 : 34197 : tree function = node->decl;
2592 : 34197 : struct lto_file_decl_data *file_data = node->lto_file_data;
2593 : 34197 : const char *data;
2594 : 34197 : size_t len;
2595 : 34197 : const char *name = IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (function));
2596 : 34197 : char *section_name =
2597 : 34197 : lto_get_section_name (LTO_section_function_body, name, output_order, NULL);
2598 : 34197 : size_t i, j;
2599 : 34197 : struct lto_in_decl_state *in_state;
2600 : 34197 : struct lto_out_decl_state *out_state = lto_get_out_decl_state ();
2601 : :
2602 : 34197 : if (streamer_dump_file)
2603 : 0 : fprintf (streamer_dump_file, "Copying section for %s\n", name);
2604 : 34197 : lto_begin_section (section_name, false);
2605 : 34197 : free (section_name);
2606 : :
2607 : : /* We may have renamed the declaration, e.g., a static function. */
2608 : 34197 : name = lto_get_decl_name_mapping (file_data, name);
2609 : :
2610 : 68394 : data = lto_get_raw_section_data (file_data, LTO_section_function_body,
2611 : 34197 : name, node->order - file_data->order_base,
2612 : : &len);
2613 : 34197 : gcc_assert (data);
2614 : :
2615 : : /* Do a bit copy of the function body. */
2616 : 34197 : lto_write_raw_data (data, len);
2617 : :
2618 : : /* Copy decls. */
2619 : 34197 : in_state =
2620 : 34197 : lto_get_function_in_decl_state (node->lto_file_data, function);
2621 : 34197 : out_state->compressed = in_state->compressed;
2622 : 34197 : gcc_assert (in_state);
2623 : :
2624 : 68394 : for (i = 0; i < LTO_N_DECL_STREAMS; i++)
2625 : : {
2626 : 34197 : size_t n = vec_safe_length (in_state->streams[i]);
2627 : 34197 : vec<tree, va_gc> *trees = in_state->streams[i];
2628 : 34197 : 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 : 34197 : gcc_assert (lto_tree_ref_encoder_size (encoder) == 0);
2634 : 34197 : encoder->trees.reserve_exact (n);
2635 : 508519 : for (j = 0; j < n; j++)
2636 : 440125 : encoder->trees.safe_push ((*trees)[j]);
2637 : : }
2638 : :
2639 : 34197 : lto_free_raw_section_data (file_data, LTO_section_function_body, name,
2640 : : data, len);
2641 : 34197 : lto_end_section ();
2642 : 34197 : }
2643 : :
2644 : : /* Wrap symbol references in *TP inside a type-preserving MEM_REF. */
2645 : :
2646 : : static tree
2647 : 789458 : wrap_refs (tree *tp, int *ws, void *)
2648 : : {
2649 : 789458 : tree t = *tp;
2650 : 789458 : 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 : 789377 : else if (TREE_CODE (t) == CONSTRUCTOR)
2663 : : ;
2664 : 572165 : else if (!EXPR_P (t))
2665 : 332876 : *ws = 0;
2666 : 789458 : 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 : 33064 : prune_offload_funcs (void)
2674 : : {
2675 : 33064 : if (!offload_funcs)
2676 : 33064 : 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 : 33064 : produce_lto_section ()
2693 : : {
2694 : : /* Stream LTO meta section. */
2695 : 33064 : output_block *ob = create_output_block (LTO_section_lto);
2696 : :
2697 : 33064 : char * section_name = lto_get_section_name (LTO_section_lto, NULL, 0, NULL);
2698 : 33064 : lto_begin_section (section_name, false);
2699 : 33064 : free (section_name);
2700 : :
2701 : : #ifdef HAVE_ZSTD_H
2702 : 33064 : lto_compression compression = ZSTD;
2703 : : #else
2704 : : lto_compression compression = ZLIB;
2705 : : #endif
2706 : :
2707 : 33064 : bool slim_object = flag_generate_lto && !flag_fat_lto_objects;
2708 : 33064 : lto_section s
2709 : 33064 : = { LTO_major_version, LTO_minor_version, slim_object, 0, 0 };
2710 : 33064 : s.set_compression (compression);
2711 : 33064 : lto_write_data (&s, sizeof s);
2712 : 33064 : lto_end_section ();
2713 : 33064 : destroy_output_block (ob);
2714 : 33064 : }
2715 : :
2716 : : /* Compare symbols to get them sorted by filename (to optimize streaming) */
2717 : :
2718 : : static int
2719 : 3338963 : cmp_symbol_files (const void *pn1, const void *pn2, void *id_map_)
2720 : : {
2721 : 3338963 : const symtab_node *n1 = *(const symtab_node * const *)pn1;
2722 : 3338963 : const symtab_node *n2 = *(const symtab_node * const *)pn2;
2723 : 3338963 : hash_map<lto_file_decl_data *, int> *id_map
2724 : : = (hash_map<lto_file_decl_data *, int> *)id_map_;
2725 : :
2726 : 3338963 : int file_order1 = n1->lto_file_data ? n1->lto_file_data->order : -1;
2727 : 3338963 : 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 : 3338963 : if (file_order1 != file_order2)
2732 : 42648 : return file_order1 - file_order2;
2733 : :
2734 : : /* Order within static library. */
2735 : 3296315 : if (n1->lto_file_data && n1->lto_file_data->id != n2->lto_file_data->id)
2736 : 8724 : 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 : 3287591 : return n1->order - n2->order;
2740 : : }
2741 : :
2742 : : /* Compare ints, callback for qsort. */
2743 : :
2744 : : static int
2745 : 31600384 : cmp_int (const void *a, const void *b)
2746 : : {
2747 : 31600384 : int ia = *(int const*) a;
2748 : 31600384 : int ib = *(int const*) b;
2749 : 31600384 : 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 : 33064 : create_order_remap (lto_symtab_encoder_t encoder)
2760 : : {
2761 : 33064 : auto_vec<int> orders;
2762 : 33064 : unsigned i;
2763 : 33064 : struct asm_node* anode;
2764 : 33064 : encoder->order_remap = new hash_map<int_hash<int, -1, -2>, int>;
2765 : 33064 : unsigned n_nodes = lto_symtab_encoder_size (encoder);
2766 : :
2767 : 733304 : for (i = 0; i < n_nodes; i++)
2768 : 700240 : orders.safe_push (lto_symtab_encoder_deref (encoder, i)->order);
2769 : :
2770 : 33064 : if (!asm_nodes_output)
2771 : : {
2772 : 32769 : for (anode = symtab->first_asm_symbol (); anode; anode = anode->next)
2773 : 66 : orders.safe_push (anode->order);
2774 : : }
2775 : :
2776 : 33064 : orders.qsort (cmp_int);
2777 : 33064 : int ord = 0;
2778 : 33064 : int last_order = -1;
2779 : 733370 : for (i = 0; i < orders.length (); i++)
2780 : : {
2781 : 700306 : int order = orders[i];
2782 : 700306 : if (order != last_order)
2783 : : {
2784 : 677784 : last_order = order;
2785 : 677784 : encoder->order_remap->put (order, ord);
2786 : 677784 : ord++;
2787 : : }
2788 : : }
2789 : :
2790 : : /* Asm nodes are currently always output only into first partition.
2791 : : We can remap already here. */
2792 : 33064 : if (!asm_nodes_output)
2793 : : {
2794 : 32769 : for (anode = symtab->first_asm_symbol (); anode; anode = anode->next)
2795 : 66 : anode->order = *encoder->order_remap->get (anode->order);
2796 : : }
2797 : 33064 : }
2798 : :
2799 : : /* Main entry point from the pass manager. */
2800 : :
2801 : : void
2802 : 33064 : lto_output (void)
2803 : : {
2804 : 33064 : struct lto_out_decl_state *decl_state;
2805 : 33064 : bitmap output = NULL;
2806 : 33064 : bitmap_obstack output_obstack;
2807 : 33064 : unsigned int i, n_nodes;
2808 : 33064 : lto_symtab_encoder_t encoder = lto_get_out_decl_state ()->symtab_node_encoder;
2809 : 33064 : auto_vec<symtab_node *> symbols_to_copy;
2810 : :
2811 : 33064 : create_order_remap (encoder);
2812 : :
2813 : 33064 : prune_offload_funcs ();
2814 : :
2815 : 33064 : if (flag_checking)
2816 : : {
2817 : 33058 : bitmap_obstack_initialize (&output_obstack);
2818 : 33058 : output = BITMAP_ALLOC (&output_obstack);
2819 : : }
2820 : :
2821 : : /* Initialize the streamer. */
2822 : 33064 : lto_streamer_init ();
2823 : :
2824 : 33064 : produce_lto_section ();
2825 : :
2826 : 33064 : n_nodes = lto_symtab_encoder_size (encoder);
2827 : : /* Prepare vector of functions to output and then sort it to optimize
2828 : : section copying. */
2829 : 733304 : for (i = 0; i < n_nodes; i++)
2830 : : {
2831 : 700240 : symtab_node *snode = lto_symtab_encoder_deref (encoder, i);
2832 : 700240 : if (snode->alias)
2833 : 12842 : continue;
2834 : 687398 : if (cgraph_node *node = dyn_cast <cgraph_node *> (snode))
2835 : : {
2836 : 404071 : if (lto_symtab_encoder_encode_body_p (encoder, node)
2837 : 404071 : && !node->clone_of)
2838 : 136257 : symbols_to_copy.safe_push (node);
2839 : : }
2840 : 983567 : 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 : 283327 : tree ctor = DECL_INITIAL (node->decl);
2845 : 283327 : if (ctor && !in_lto_p)
2846 : 18840 : walk_tree (&ctor, wrap_refs, NULL, NULL);
2847 : 283327 : if (get_symbol_initial_value (encoder, node->decl) == error_mark_node
2848 : 283327 : && lto_symtab_encoder_encode_initializer_p (encoder, node))
2849 : 15155 : 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 : 33064 : int order = 0;
2856 : 33064 : hash_map<lto_file_decl_data *, int> id_map;
2857 : 184476 : for (i = 0; i < symbols_to_copy.length (); ++i)
2858 : : {
2859 : 151412 : symtab_node *snode = symbols_to_copy[i];
2860 : 151412 : if (snode->lto_file_data)
2861 : : {
2862 : 34197 : bool existed_p = false;
2863 : 34197 : int &ord = id_map.get_or_insert (snode->lto_file_data, &existed_p);
2864 : 34197 : if (!existed_p)
2865 : 9530 : ord = order++;
2866 : : }
2867 : : }
2868 : 33064 : symbols_to_copy.sort (cmp_symbol_files, (void *)&id_map);
2869 : 184476 : for (i = 0; i < symbols_to_copy.length (); i++)
2870 : : {
2871 : 151412 : symtab_node *snode = symbols_to_copy[i];
2872 : 151412 : cgraph_node *cnode;
2873 : 151412 : varpool_node *vnode;
2874 : :
2875 : 151412 : int output_order = *encoder->order_remap->get (snode->order);
2876 : :
2877 : 151412 : if (flag_checking)
2878 : 151410 : gcc_assert (bitmap_set_bit (output, DECL_UID (snode->decl)));
2879 : :
2880 : 151412 : decl_state = lto_new_out_decl_state ();
2881 : 151412 : lto_push_out_decl_state (decl_state);
2882 : :
2883 : 151412 : if ((cnode = dyn_cast <cgraph_node *> (snode))
2884 : 136257 : && (gimple_has_body_p (cnode->decl)
2885 : 29950 : || (!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 : 29804 : || DECL_ARGUMENTS (cnode->decl)))
2890 : 106454 : output_function (cnode, output_order);
2891 : 44958 : else if ((vnode = dyn_cast <varpool_node *> (snode))
2892 : 15155 : && (DECL_INITIAL (vnode->decl) != error_mark_node
2893 : 4394 : || (!flag_wpa
2894 : 43 : && flag_incremental_link != INCREMENTAL_LINK_LTO)))
2895 : 10761 : output_constructor (vnode, output_order);
2896 : : else
2897 : 34197 : copy_function_or_variable (snode, output_order);
2898 : 151412 : gcc_assert (lto_get_out_decl_state () == decl_state);
2899 : 151412 : lto_pop_out_decl_state ();
2900 : 151412 : lto_record_function_out_decl_state (snode->decl, decl_state);
2901 : : }
2902 : :
2903 : : /* Emit the callgraph after emitting function bodies. This needs to
2904 : : be done now to make sure that all the statements in every function
2905 : : have been renumbered so that edges can be associated with call
2906 : : statements using the statement UIDs. */
2907 : 33064 : output_symtab ();
2908 : :
2909 : 33064 : if (lto_get_out_decl_state ()->output_offload_tables_p)
2910 : 8764 : output_offload_tables ();
2911 : :
2912 : 33064 : if (flag_checking)
2913 : : {
2914 : 33058 : BITMAP_FREE (output);
2915 : 33058 : bitmap_obstack_release (&output_obstack);
2916 : : }
2917 : 33064 : }
2918 : :
2919 : : /* Write each node in encoded by ENCODER to OB, as well as those reachable
2920 : : from it and required for correct representation of its semantics.
2921 : : Each node in ENCODER must be a global declaration or a type. A node
2922 : : is written only once, even if it appears multiple times in the
2923 : : vector. Certain transitively-reachable nodes, such as those
2924 : : representing expressions, may be duplicated, but such nodes
2925 : : must not appear in ENCODER itself. */
2926 : :
2927 : : static void
2928 : 184476 : write_global_stream (struct output_block *ob,
2929 : : struct lto_tree_ref_encoder *encoder)
2930 : : {
2931 : 184476 : tree t;
2932 : 184476 : size_t index;
2933 : 184476 : const size_t size = lto_tree_ref_encoder_size (encoder);
2934 : :
2935 : 2767271 : for (index = 0; index < size; index++)
2936 : : {
2937 : 2582795 : t = lto_tree_ref_encoder_get_tree (encoder, index);
2938 : 2582795 : if (streamer_dump_file)
2939 : : {
2940 : 176 : fprintf (streamer_dump_file, " %i:", (int)index);
2941 : 176 : print_node_brief (streamer_dump_file, "", t, 4);
2942 : 176 : fprintf (streamer_dump_file, "\n");
2943 : : }
2944 : 2582795 : if (!streamer_tree_cache_lookup (ob->writer_cache, t, NULL))
2945 : 912340 : stream_write_tree (ob, t, false);
2946 : : }
2947 : 184476 : }
2948 : :
2949 : :
2950 : : /* Write a sequence of indices into the globals vector corresponding
2951 : : to the trees in ENCODER. These are used by the reader to map the
2952 : : indices used to refer to global entities within function bodies to
2953 : : their referents. */
2954 : :
2955 : : static void
2956 : 184476 : write_global_references (struct output_block *ob,
2957 : : struct lto_tree_ref_encoder *encoder)
2958 : : {
2959 : 184476 : tree t;
2960 : 184476 : uint32_t index;
2961 : 184476 : const uint32_t size = lto_tree_ref_encoder_size (encoder);
2962 : :
2963 : : /* Write size and slot indexes as 32-bit unsigned numbers. */
2964 : 184476 : uint32_t *data = XNEWVEC (uint32_t, size + 1);
2965 : 184476 : data[0] = size;
2966 : :
2967 : 2767271 : for (index = 0; index < size; index++)
2968 : : {
2969 : 2582795 : unsigned slot_num;
2970 : :
2971 : 2582795 : t = lto_tree_ref_encoder_get_tree (encoder, index);
2972 : 2582795 : streamer_tree_cache_lookup (ob->writer_cache, t, &slot_num);
2973 : 2582795 : gcc_assert (slot_num != (unsigned)-1);
2974 : 2582795 : data[index + 1] = slot_num;
2975 : : }
2976 : :
2977 : 184476 : lto_write_data (data, sizeof (int32_t) * (size + 1));
2978 : 184476 : free (data);
2979 : 184476 : }
2980 : :
2981 : :
2982 : : /* Write all the streams in an lto_out_decl_state STATE using
2983 : : output block OB and output stream OUT_STREAM. */
2984 : :
2985 : : void
2986 : 184476 : lto_output_decl_state_streams (struct output_block *ob,
2987 : : struct lto_out_decl_state *state)
2988 : : {
2989 : 184476 : int i;
2990 : :
2991 : 368952 : for (i = 0; i < LTO_N_DECL_STREAMS; i++)
2992 : 184476 : write_global_stream (ob, &state->streams[i]);
2993 : 184476 : }
2994 : :
2995 : :
2996 : : /* Write all the references in an lto_out_decl_state STATE using
2997 : : output block OB and output stream OUT_STREAM. */
2998 : :
2999 : : void
3000 : 184476 : lto_output_decl_state_refs (struct output_block *ob,
3001 : : struct lto_out_decl_state *state)
3002 : : {
3003 : 184476 : unsigned i;
3004 : 184476 : unsigned ref;
3005 : 184476 : tree decl;
3006 : :
3007 : : /* Write reference to FUNCTION_DECL. If there is not function,
3008 : : write reference to void_type_node. */
3009 : 184476 : decl = (state->fn_decl) ? state->fn_decl : void_type_node;
3010 : 184476 : streamer_tree_cache_lookup (ob->writer_cache, decl, &ref);
3011 : 184476 : gcc_assert (ref != (unsigned)-1);
3012 : 184476 : ref = ref * 2 + (state->compressed ? 1 : 0);
3013 : 184476 : lto_write_data (&ref, sizeof (uint32_t));
3014 : :
3015 : 553428 : for (i = 0; i < LTO_N_DECL_STREAMS; i++)
3016 : 184476 : write_global_references (ob, &state->streams[i]);
3017 : 184476 : }
3018 : :
3019 : :
3020 : : /* Return the written size of STATE. */
3021 : :
3022 : : static size_t
3023 : 184476 : lto_out_decl_state_written_size (struct lto_out_decl_state *state)
3024 : : {
3025 : 184476 : int i;
3026 : 184476 : size_t size;
3027 : :
3028 : 184476 : size = sizeof (int32_t); /* fn_ref. */
3029 : 0 : for (i = 0; i < LTO_N_DECL_STREAMS; i++)
3030 : : {
3031 : 184476 : size += sizeof (int32_t); /* vector size. */
3032 : 0 : size += (lto_tree_ref_encoder_size (&state->streams[i])
3033 : 0 : * sizeof (int32_t));
3034 : : }
3035 : 184476 : return size;
3036 : : }
3037 : :
3038 : :
3039 : : /* Write symbol T into STREAM in CACHE. SEEN specifies symbols we wrote
3040 : : so far. */
3041 : :
3042 : : static void
3043 : 540372 : write_symbol (struct streamer_tree_cache_d *cache,
3044 : : tree t, hash_set<const char *> *seen, bool alias)
3045 : : {
3046 : 540372 : const char *name;
3047 : 540372 : enum gcc_plugin_symbol_kind kind;
3048 : 540372 : enum gcc_plugin_symbol_visibility visibility = GCCPV_DEFAULT;
3049 : 540372 : unsigned slot_num;
3050 : 540372 : uint64_t size;
3051 : 540372 : const char *comdat;
3052 : 540372 : unsigned char c;
3053 : :
3054 : 540372 : gcc_assert (VAR_OR_FUNCTION_DECL_P (t));
3055 : :
3056 : 540372 : name = IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (t));
3057 : :
3058 : : /* This behaves like assemble_name_raw in varasm.cc, performing the
3059 : : same name manipulations that ASM_OUTPUT_LABELREF does. */
3060 : 540372 : name = IDENTIFIER_POINTER ((*targetm.asm_out.mangle_assembler_name) (name));
3061 : :
3062 : 540372 : if (seen->add (name))
3063 : 769 : return;
3064 : :
3065 : 539603 : streamer_tree_cache_lookup (cache, t, &slot_num);
3066 : 539603 : gcc_assert (slot_num != (unsigned)-1);
3067 : :
3068 : 539603 : if (DECL_EXTERNAL (t))
3069 : : {
3070 : 214485 : if (DECL_WEAK (t))
3071 : : kind = GCCPK_WEAKUNDEF;
3072 : : else
3073 : 214456 : kind = GCCPK_UNDEF;
3074 : : }
3075 : : else
3076 : : {
3077 : 325118 : if (DECL_WEAK (t))
3078 : : kind = GCCPK_WEAKDEF;
3079 : 313421 : else if (DECL_COMMON (t))
3080 : : kind = GCCPK_COMMON;
3081 : : else
3082 : 313360 : kind = GCCPK_DEF;
3083 : :
3084 : : /* When something is defined, it should have node attached. */
3085 : 325118 : gcc_assert (alias || !VAR_P (t) || varpool_node::get (t)->definition);
3086 : 325118 : gcc_assert (alias || TREE_CODE (t) != FUNCTION_DECL
3087 : : || (cgraph_node::get (t)
3088 : : && cgraph_node::get (t)->definition));
3089 : : }
3090 : :
3091 : : /* Imitate what default_elf_asm_output_external do.
3092 : : When symbol is external, we need to output it with DEFAULT visibility
3093 : : when compiling with -fvisibility=default, while with HIDDEN visibility
3094 : : when symbol has attribute (visibility("hidden")) specified.
3095 : : targetm.binds_local_p check DECL_VISIBILITY_SPECIFIED and gets this
3096 : : right. */
3097 : :
3098 : 539603 : if (DECL_EXTERNAL (t)
3099 : 539603 : && !targetm.binds_local_p (t))
3100 : : visibility = GCCPV_DEFAULT;
3101 : : else
3102 : 325170 : switch (DECL_VISIBILITY (t))
3103 : : {
3104 : : case VISIBILITY_DEFAULT:
3105 : : visibility = GCCPV_DEFAULT;
3106 : : break;
3107 : : case VISIBILITY_PROTECTED:
3108 : 539603 : visibility = GCCPV_PROTECTED;
3109 : : break;
3110 : : case VISIBILITY_HIDDEN:
3111 : : visibility = GCCPV_HIDDEN;
3112 : : break;
3113 : : case VISIBILITY_INTERNAL:
3114 : : visibility = GCCPV_INTERNAL;
3115 : : break;
3116 : : }
3117 : :
3118 : 539603 : if (kind == GCCPK_COMMON
3119 : 61 : && DECL_SIZE_UNIT (t)
3120 : 539664 : && TREE_CODE (DECL_SIZE_UNIT (t)) == INTEGER_CST)
3121 : 61 : size = TREE_INT_CST_LOW (DECL_SIZE_UNIT (t));
3122 : : else
3123 : 539542 : size = 0;
3124 : :
3125 : 539603 : if (DECL_ONE_ONLY (t))
3126 : 11658 : comdat = IDENTIFIER_POINTER (decl_comdat_group_id (t));
3127 : : else
3128 : : comdat = "";
3129 : :
3130 : 539603 : lto_write_data (name, strlen (name) + 1);
3131 : 539603 : lto_write_data (comdat, strlen (comdat) + 1);
3132 : 539603 : c = (unsigned char) kind;
3133 : 539603 : lto_write_data (&c, 1);
3134 : 539603 : c = (unsigned char) visibility;
3135 : 539603 : lto_write_data (&c, 1);
3136 : 539603 : lto_write_data (&size, 8);
3137 : 539603 : lto_write_data (&slot_num, 4);
3138 : : }
3139 : :
3140 : : /* Write extension information for symbols (symbol type, section flags). */
3141 : :
3142 : : static void
3143 : 540372 : write_symbol_extension_info (tree t)
3144 : : {
3145 : 540372 : unsigned char c;
3146 : 540372 : c = ((unsigned char) TREE_CODE (t) == VAR_DECL
3147 : : ? GCCST_VARIABLE : GCCST_FUNCTION);
3148 : 540372 : lto_write_data (&c, 1);
3149 : 540372 : unsigned char section_kind = 0;
3150 : 540372 : if (VAR_P (t))
3151 : : {
3152 : 232483 : section *s = get_variable_section (t, false);
3153 : 232483 : if (s->common.flags & SECTION_BSS)
3154 : 222894 : section_kind |= GCCSSK_BSS;
3155 : : }
3156 : 540372 : lto_write_data (§ion_kind, 1);
3157 : 540372 : }
3158 : :
3159 : : /* Write an IL symbol table to OB.
3160 : : SET and VSET are cgraph/varpool node sets we are outputting. */
3161 : :
3162 : : static unsigned int
3163 : 23943 : produce_symtab (struct output_block *ob)
3164 : : {
3165 : 23943 : unsigned int streamed_symbols = 0;
3166 : 23943 : struct streamer_tree_cache_d *cache = ob->writer_cache;
3167 : 23943 : char *section_name = lto_get_section_name (LTO_section_symtab, NULL, 0, NULL);
3168 : 23943 : lto_symtab_encoder_t encoder = ob->decl_state->symtab_node_encoder;
3169 : 23943 : lto_symtab_encoder_iterator lsei;
3170 : :
3171 : 23943 : lto_begin_section (section_name, false);
3172 : 23943 : free (section_name);
3173 : :
3174 : 23943 : hash_set<const char *> seen;
3175 : :
3176 : : /* Write the symbol table.
3177 : : First write everything defined and then all declarations.
3178 : : This is necessary to handle cases where we have duplicated symbols. */
3179 : 23943 : for (lsei = lsei_start (encoder);
3180 : 618320 : !lsei_end_p (lsei); lsei_next (&lsei))
3181 : : {
3182 : 594377 : symtab_node *node = lsei_node (lsei);
3183 : :
3184 : 594377 : if (DECL_EXTERNAL (node->decl) || !node->output_to_lto_symbol_table_p ())
3185 : 269259 : continue;
3186 : 325118 : write_symbol (cache, node->decl, &seen, false);
3187 : 325118 : ++streamed_symbols;
3188 : : }
3189 : 618320 : for (lsei = lsei_start (encoder);
3190 : 618320 : !lsei_end_p (lsei); lsei_next (&lsei))
3191 : : {
3192 : 594377 : symtab_node *node = lsei_node (lsei);
3193 : :
3194 : 594377 : if (!DECL_EXTERNAL (node->decl) || !node->output_to_lto_symbol_table_p ())
3195 : 379123 : continue;
3196 : 215254 : write_symbol (cache, node->decl, &seen, false);
3197 : 215254 : ++streamed_symbols;
3198 : : }
3199 : :
3200 : 23943 : lto_end_section ();
3201 : :
3202 : 23943 : return streamed_symbols;
3203 : 23943 : }
3204 : :
3205 : : /* Symtab extension version. */
3206 : : #define LTO_SYMTAB_EXTENSION_VERSION 1
3207 : :
3208 : : /* Write an IL symbol table extension to OB.
3209 : : SET and VSET are cgraph/varpool node sets we are outputting. */
3210 : :
3211 : : static void
3212 : 23943 : produce_symtab_extension (struct output_block *ob,
3213 : : unsigned int previous_streamed_symbols)
3214 : : {
3215 : 23943 : unsigned int streamed_symbols = 0;
3216 : 23943 : char *section_name = lto_get_section_name (LTO_section_symtab_extension,
3217 : : NULL, 0, NULL);
3218 : 23943 : lto_symtab_encoder_t encoder = ob->decl_state->symtab_node_encoder;
3219 : 23943 : lto_symtab_encoder_iterator lsei;
3220 : :
3221 : 23943 : lto_begin_section (section_name, false);
3222 : 23943 : free (section_name);
3223 : :
3224 : 23943 : unsigned char version = LTO_SYMTAB_EXTENSION_VERSION;
3225 : 23943 : lto_write_data (&version, 1);
3226 : :
3227 : : /* Write the symbol table.
3228 : : First write everything defined and then all declarations.
3229 : : This is necessary to handle cases where we have duplicated symbols. */
3230 : 23943 : for (lsei = lsei_start (encoder);
3231 : 618320 : !lsei_end_p (lsei); lsei_next (&lsei))
3232 : : {
3233 : 594377 : symtab_node *node = lsei_node (lsei);
3234 : :
3235 : 594377 : if (DECL_EXTERNAL (node->decl) || !node->output_to_lto_symbol_table_p ())
3236 : 269259 : continue;
3237 : 325118 : write_symbol_extension_info (node->decl);
3238 : 325118 : ++streamed_symbols;
3239 : : }
3240 : 618320 : for (lsei = lsei_start (encoder);
3241 : 618320 : !lsei_end_p (lsei); lsei_next (&lsei))
3242 : : {
3243 : 594377 : symtab_node *node = lsei_node (lsei);
3244 : :
3245 : 594377 : if (!DECL_EXTERNAL (node->decl) || !node->output_to_lto_symbol_table_p ())
3246 : 379123 : continue;
3247 : 215254 : write_symbol_extension_info (node->decl);
3248 : 215254 : ++streamed_symbols;
3249 : : }
3250 : :
3251 : 23943 : gcc_assert (previous_streamed_symbols == streamed_symbols);
3252 : 23943 : lto_end_section ();
3253 : 23943 : }
3254 : :
3255 : :
3256 : : /* Init the streamer_mode_table for output, where we collect info on what
3257 : : machine_mode values have been streamed. */
3258 : : void
3259 : 33064 : lto_output_init_mode_table (void)
3260 : : {
3261 : 33064 : memset (streamer_mode_table, '\0', MAX_MACHINE_MODE);
3262 : 33064 : }
3263 : :
3264 : :
3265 : : /* Write the mode table. */
3266 : : static void
3267 : 0 : lto_write_mode_table (void)
3268 : : {
3269 : 0 : struct output_block *ob;
3270 : 0 : ob = create_output_block (LTO_section_mode_table);
3271 : 0 : bitpack_d bp = bitpack_create (ob->main_stream);
3272 : :
3273 : 0 : if (lto_stream_offload_p)
3274 : 0 : bp_pack_value (&bp, NUM_POLY_INT_COEFFS, MAX_NUM_POLY_INT_COEFFS_BITS);
3275 : :
3276 : : /* Ensure that for GET_MODE_INNER (m) != m we have
3277 : : also the inner mode marked. */
3278 : 0 : for (int i = 0; i < (int) MAX_MACHINE_MODE; i++)
3279 : 0 : if (streamer_mode_table[i])
3280 : : {
3281 : 0 : machine_mode m = (machine_mode) i;
3282 : 0 : machine_mode inner_m = GET_MODE_INNER (m);
3283 : 0 : if (inner_m != m)
3284 : 0 : streamer_mode_table[(int) inner_m] = 1;
3285 : : }
3286 : :
3287 : : /* Pack the mode_bits value within 5 bits (up to 31) in the beginning. */
3288 : 0 : unsigned mode_bits = ceil_log2 (MAX_MACHINE_MODE);
3289 : 0 : bp_pack_value (&bp, mode_bits, 5);
3290 : :
3291 : : /* First stream modes that have GET_MODE_INNER (m) == m,
3292 : : so that we can refer to them afterwards. */
3293 : 0 : for (int pass = 0; pass < 2; pass++)
3294 : 0 : for (int i = 0; i < (int) MAX_MACHINE_MODE; i++)
3295 : 0 : if (streamer_mode_table[i] && i != (int) VOIDmode && i != (int) BLKmode)
3296 : : {
3297 : 0 : machine_mode m = (machine_mode) i;
3298 : 0 : if ((GET_MODE_INNER (m) == m) ^ (pass == 0))
3299 : 0 : continue;
3300 : 0 : bp_pack_value (&bp, m, mode_bits);
3301 : 0 : bp_pack_enum (&bp, mode_class, MAX_MODE_CLASS, GET_MODE_CLASS (m));
3302 : 0 : bp_pack_poly_value (&bp, GET_MODE_SIZE (m), 16);
3303 : 0 : bp_pack_poly_value (&bp, GET_MODE_PRECISION (m), 16);
3304 : 0 : bp_pack_value (&bp, GET_MODE_INNER (m), mode_bits);
3305 : 0 : bp_pack_poly_value (&bp, GET_MODE_NUNITS (m), 16);
3306 : 0 : switch (GET_MODE_CLASS (m))
3307 : : {
3308 : 0 : case MODE_FRACT:
3309 : 0 : case MODE_UFRACT:
3310 : 0 : case MODE_ACCUM:
3311 : 0 : case MODE_UACCUM:
3312 : 0 : bp_pack_value (&bp, GET_MODE_IBIT (m), 8);
3313 : 0 : bp_pack_value (&bp, GET_MODE_FBIT (m), 8);
3314 : 0 : break;
3315 : 0 : case MODE_FLOAT:
3316 : 0 : case MODE_DECIMAL_FLOAT:
3317 : 0 : bp_pack_string (ob, &bp, REAL_MODE_FORMAT (m)->name, true);
3318 : 0 : break;
3319 : : default:
3320 : : break;
3321 : : }
3322 : 0 : bp_pack_string (ob, &bp, GET_MODE_NAME (m), true);
3323 : : }
3324 : 0 : bp_pack_value (&bp, VOIDmode, mode_bits);
3325 : :
3326 : 0 : streamer_write_bitpack (&bp);
3327 : :
3328 : 0 : char *section_name
3329 : 0 : = lto_get_section_name (LTO_section_mode_table, NULL, 0, NULL);
3330 : 0 : lto_begin_section (section_name, !flag_wpa);
3331 : 0 : free (section_name);
3332 : :
3333 : : /* The entire header stream is computed here. */
3334 : 0 : struct lto_simple_header_with_strings header;
3335 : 0 : memset (&header, 0, sizeof (header));
3336 : :
3337 : 0 : header.main_size = ob->main_stream->total_size;
3338 : 0 : header.string_size = ob->string_stream->total_size;
3339 : 0 : lto_write_data (&header, sizeof header);
3340 : :
3341 : : /* Put all of the gimple and the string table out the asm file as a
3342 : : block of text. */
3343 : 0 : lto_write_stream (ob->main_stream);
3344 : 0 : lto_write_stream (ob->string_stream);
3345 : :
3346 : 0 : lto_end_section ();
3347 : 0 : destroy_output_block (ob);
3348 : 0 : }
3349 : :
3350 : :
3351 : : /* This pass is run after all of the functions are serialized and all
3352 : : of the IPA passes have written their serialized forms. This pass
3353 : : causes the vector of all of the global decls and types used from
3354 : : this file to be written in to a section that can then be read in to
3355 : : recover these on other side. */
3356 : :
3357 : : void
3358 : 33064 : produce_asm_for_decls (void)
3359 : : {
3360 : 33064 : struct lto_out_decl_state *out_state;
3361 : 33064 : struct lto_out_decl_state *fn_out_state;
3362 : 33064 : struct lto_decl_header header;
3363 : 33064 : char *section_name;
3364 : 33064 : struct output_block *ob;
3365 : 33064 : unsigned idx, num_fns;
3366 : 33064 : size_t decl_state_size;
3367 : 33064 : int32_t num_decl_states;
3368 : :
3369 : 33064 : ob = create_output_block (LTO_section_decls);
3370 : :
3371 : 33064 : memset (&header, 0, sizeof (struct lto_decl_header));
3372 : :
3373 : 33064 : section_name = lto_get_section_name (LTO_section_decls, NULL, 0, NULL);
3374 : 33064 : lto_begin_section (section_name, !flag_wpa);
3375 : 33064 : free (section_name);
3376 : :
3377 : : /* Make string 0 be a NULL string. */
3378 : 33064 : streamer_write_char_stream (ob->string_stream, 0);
3379 : :
3380 : 33064 : gcc_assert (!alias_pairs);
3381 : :
3382 : : /* Get rid of the global decl state hash tables to save some memory. */
3383 : 33064 : out_state = lto_get_out_decl_state ();
3384 : 99192 : for (int i = 0; i < LTO_N_DECL_STREAMS; i++)
3385 : 33064 : if (out_state->streams[i].tree_hash_table)
3386 : : {
3387 : 33064 : delete out_state->streams[i].tree_hash_table;
3388 : 33064 : out_state->streams[i].tree_hash_table = NULL;
3389 : : }
3390 : :
3391 : : /* Write the global symbols. */
3392 : 33064 : if (streamer_dump_file)
3393 : 4 : fprintf (streamer_dump_file, "Outputting global stream\n");
3394 : 33064 : lto_output_decl_state_streams (ob, out_state);
3395 : 33064 : num_fns = lto_function_decl_states.length ();
3396 : 184476 : for (idx = 0; idx < num_fns; idx++)
3397 : : {
3398 : 151412 : fn_out_state =
3399 : 151412 : lto_function_decl_states[idx];
3400 : 151412 : if (streamer_dump_file)
3401 : 24 : fprintf (streamer_dump_file, "Outputting stream for %s\n",
3402 : 12 : IDENTIFIER_POINTER
3403 : : (DECL_ASSEMBLER_NAME (fn_out_state->fn_decl)));
3404 : 151412 : lto_output_decl_state_streams (ob, fn_out_state);
3405 : : }
3406 : :
3407 : : /* Currently not used. This field would allow us to preallocate
3408 : : the globals vector, so that it need not be resized as it is extended. */
3409 : 33064 : header.num_nodes = -1;
3410 : :
3411 : : /* Compute the total size of all decl out states. */
3412 : 33064 : decl_state_size = sizeof (int32_t);
3413 : 33064 : decl_state_size += lto_out_decl_state_written_size (out_state);
3414 : 184476 : for (idx = 0; idx < num_fns; idx++)
3415 : : {
3416 : 151412 : fn_out_state =
3417 : 151412 : lto_function_decl_states[idx];
3418 : 302147 : decl_state_size += lto_out_decl_state_written_size (fn_out_state);
3419 : : }
3420 : 33064 : header.decl_state_size = decl_state_size;
3421 : :
3422 : 33064 : header.main_size = ob->main_stream->total_size;
3423 : 33064 : header.string_size = ob->string_stream->total_size;
3424 : :
3425 : 33064 : lto_write_data (&header, sizeof header);
3426 : :
3427 : : /* Write the main out-decl state, followed by out-decl states of
3428 : : functions. */
3429 : 33064 : num_decl_states = num_fns + 1;
3430 : 33064 : lto_write_data (&num_decl_states, sizeof (num_decl_states));
3431 : 33064 : lto_output_decl_state_refs (ob, out_state);
3432 : 217540 : for (idx = 0; idx < num_fns; idx++)
3433 : : {
3434 : 151412 : fn_out_state = lto_function_decl_states[idx];
3435 : 151412 : lto_output_decl_state_refs (ob, fn_out_state);
3436 : : }
3437 : :
3438 : 33064 : lto_write_stream (ob->main_stream);
3439 : 33064 : lto_write_stream (ob->string_stream);
3440 : :
3441 : 33064 : lto_end_section ();
3442 : :
3443 : : /* Write the symbol table. It is used by linker to determine dependencies
3444 : : and thus we can skip it for WPA. */
3445 : 33064 : if (!flag_wpa)
3446 : : {
3447 : 23943 : unsigned int streamed_symbols = produce_symtab (ob);
3448 : 23943 : produce_symtab_extension (ob, streamed_symbols);
3449 : : }
3450 : :
3451 : : /* Write command line opts. */
3452 : 33064 : lto_write_options ();
3453 : :
3454 : : /* Deallocate memory and clean up. */
3455 : 217540 : for (idx = 0; idx < num_fns; idx++)
3456 : : {
3457 : 151412 : fn_out_state =
3458 : 151412 : lto_function_decl_states[idx];
3459 : 151412 : lto_delete_out_decl_state (fn_out_state);
3460 : : }
3461 : 33064 : lto_symtab_encoder_delete (ob->decl_state->symtab_node_encoder);
3462 : 33064 : lto_function_decl_states.release ();
3463 : 33064 : destroy_output_block (ob);
3464 : 33064 : if (lto_stream_offload_p)
3465 : 0 : lto_write_mode_table ();
3466 : 33064 : }
|
