1 /* Write the GIMPLE representation to a file stream.
3 Copyright (C) 2009-2020 Free Software Foundation, Inc.
4 Contributed by Kenneth Zadeck <zadeck@naturalbridge.com>
5 Re-implemented by Diego Novillo <dnovillo@google.com>
7 This file is part of GCC.
9 GCC is free software; you can redistribute it and/or modify it under
10 the terms of the GNU General Public License as published by the Free
11 Software Foundation; either version 3, or (at your option) any later
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
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/>. */
25 #include "coretypes.h"
31 #include "tree-pass.h"
33 #include "gimple-streamer.h"
35 #include "stor-layout.h"
36 #include "gimple-iterator.h"
38 #include "lto-symtab.h"
42 #include "gomp-constants.h"
44 #include "omp-offload.h"
45 #include "print-tree.h"
49 static void lto_write_tree (struct output_block
*, tree
, bool);
51 /* Clear the line info stored in DATA_IN. */
54 clear_line_info (struct output_block
*ob
)
56 ob
->current_file
= NULL
;
59 ob
->current_sysp
= false;
63 /* Create the output block and return it. SECTION_TYPE is
64 LTO_section_function_body or LTO_static_initializer. */
67 create_output_block (enum lto_section_type section_type
)
69 struct output_block
*ob
= XCNEW (struct output_block
);
70 if (streamer_dump_file
)
71 fprintf (streamer_dump_file
, "Creating output block for %s\n",
72 lto_section_name
[section_type
]);
74 ob
->section_type
= section_type
;
75 ob
->decl_state
= lto_get_out_decl_state ();
76 ob
->main_stream
= XCNEW (struct lto_output_stream
);
77 ob
->string_stream
= XCNEW (struct lto_output_stream
);
78 ob
->writer_cache
= streamer_tree_cache_create (!flag_wpa
, true, false);
80 if (section_type
== LTO_section_function_body
)
81 ob
->cfg_stream
= XCNEW (struct lto_output_stream
);
85 ob
->string_hash_table
= new hash_table
<string_slot_hasher
> (37);
86 gcc_obstack_init (&ob
->obstack
);
92 /* Destroy the output block OB. */
95 destroy_output_block (struct output_block
*ob
)
97 enum lto_section_type section_type
= ob
->section_type
;
99 delete ob
->string_hash_table
;
100 ob
->string_hash_table
= NULL
;
102 free (ob
->main_stream
);
103 free (ob
->string_stream
);
104 if (section_type
== LTO_section_function_body
)
105 free (ob
->cfg_stream
);
107 streamer_tree_cache_delete (ob
->writer_cache
);
108 obstack_free (&ob
->obstack
, NULL
);
114 /* Look up NODE in the type table and write the index for it to OB. */
117 output_type_ref (struct output_block
*ob
, tree node
)
119 streamer_write_record_start (ob
, LTO_type_ref
);
120 lto_output_type_ref_index (ob
->decl_state
, ob
->main_stream
, node
);
123 /* Wrapper around variably_modified_type_p avoiding type modification
124 during WPA streaming. */
127 lto_variably_modified_type_p (tree type
)
130 ? TYPE_LANG_FLAG_0 (TYPE_MAIN_VARIANT (type
))
131 : variably_modified_type_p (type
, NULL_TREE
));
135 /* Return true if tree node T is written to various tables. For these
136 nodes, we sometimes want to write their phyiscal representation
137 (via lto_output_tree), and sometimes we need to emit an index
138 reference into a table (via lto_output_tree_ref). */
141 tree_is_indexable (tree t
)
143 /* Parameters and return values of functions of variably modified types
144 must go to global stream, because they may be used in the type
146 if ((TREE_CODE (t
) == PARM_DECL
|| TREE_CODE (t
) == RESULT_DECL
)
148 return lto_variably_modified_type_p (TREE_TYPE (DECL_CONTEXT (t
)));
149 /* IMPORTED_DECL is put into BLOCK and thus it never can be shared.
150 We should no longer need to stream it. */
151 else if (TREE_CODE (t
) == IMPORTED_DECL
)
153 else if (TREE_CODE (t
) == LABEL_DECL
)
154 return FORCED_LABEL (t
) || DECL_NONLOCAL (t
);
155 else if (((VAR_P (t
) && !TREE_STATIC (t
))
156 || TREE_CODE (t
) == TYPE_DECL
157 || TREE_CODE (t
) == CONST_DECL
158 || TREE_CODE (t
) == NAMELIST_DECL
)
159 && decl_function_context (t
))
161 else if (TREE_CODE (t
) == DEBUG_EXPR_DECL
)
163 /* Variably modified types need to be streamed alongside function
164 bodies because they can refer to local entities. Together with
165 them we have to localize their members as well.
166 ??? In theory that includes non-FIELD_DECLs as well. */
168 && lto_variably_modified_type_p (t
))
170 else if (TREE_CODE (t
) == FIELD_DECL
171 && lto_variably_modified_type_p (DECL_CONTEXT (t
)))
174 return (TYPE_P (t
) || DECL_P (t
) || TREE_CODE (t
) == SSA_NAME
);
178 /* Output info about new location into bitpack BP.
179 After outputting bitpack, lto_output_location_data has
180 to be done to output actual data. */
183 lto_output_location (struct output_block
*ob
, struct bitpack_d
*bp
,
186 expanded_location xloc
;
188 loc
= LOCATION_LOCUS (loc
);
189 bp_pack_int_in_range (bp
, 0, RESERVED_LOCATION_COUNT
,
190 loc
< RESERVED_LOCATION_COUNT
191 ? loc
: RESERVED_LOCATION_COUNT
);
192 if (loc
< RESERVED_LOCATION_COUNT
)
195 xloc
= expand_location (loc
);
197 bp_pack_value (bp
, ob
->current_file
!= xloc
.file
, 1);
198 bp_pack_value (bp
, ob
->current_line
!= xloc
.line
, 1);
199 bp_pack_value (bp
, ob
->current_col
!= xloc
.column
, 1);
201 if (ob
->current_file
!= xloc
.file
)
203 bp_pack_string (ob
, bp
, xloc
.file
, true);
204 bp_pack_value (bp
, xloc
.sysp
, 1);
206 ob
->current_file
= xloc
.file
;
207 ob
->current_sysp
= xloc
.sysp
;
209 if (ob
->current_line
!= xloc
.line
)
210 bp_pack_var_len_unsigned (bp
, xloc
.line
);
211 ob
->current_line
= xloc
.line
;
213 if (ob
->current_col
!= xloc
.column
)
214 bp_pack_var_len_unsigned (bp
, xloc
.column
);
215 ob
->current_col
= xloc
.column
;
219 /* If EXPR is an indexable tree node, output a reference to it to
220 output block OB. Otherwise, output the physical representation of
224 lto_output_tree_ref (struct output_block
*ob
, tree expr
)
230 output_type_ref (ob
, expr
);
234 code
= TREE_CODE (expr
);
238 streamer_write_record_start (ob
, LTO_ssa_name_ref
);
239 streamer_write_uhwi (ob
, SSA_NAME_VERSION (expr
));
243 streamer_write_record_start (ob
, LTO_field_decl_ref
);
244 lto_output_field_decl_index (ob
->decl_state
, ob
->main_stream
, expr
);
248 streamer_write_record_start (ob
, LTO_function_decl_ref
);
249 lto_output_fn_decl_index (ob
->decl_state
, ob
->main_stream
, expr
);
253 case DEBUG_EXPR_DECL
:
254 gcc_assert (decl_function_context (expr
) == NULL
|| TREE_STATIC (expr
));
257 streamer_write_record_start (ob
, LTO_global_decl_ref
);
258 lto_output_var_decl_index (ob
->decl_state
, ob
->main_stream
, expr
);
262 streamer_write_record_start (ob
, LTO_const_decl_ref
);
263 lto_output_var_decl_index (ob
->decl_state
, ob
->main_stream
, expr
);
267 gcc_assert (decl_function_context (expr
) == NULL
);
268 streamer_write_record_start (ob
, LTO_imported_decl_ref
);
269 lto_output_var_decl_index (ob
->decl_state
, ob
->main_stream
, expr
);
273 streamer_write_record_start (ob
, LTO_type_decl_ref
);
274 lto_output_type_decl_index (ob
->decl_state
, ob
->main_stream
, expr
);
278 streamer_write_record_start (ob
, LTO_namelist_decl_ref
);
279 lto_output_var_decl_index (ob
->decl_state
, ob
->main_stream
, expr
);
283 streamer_write_record_start (ob
, LTO_namespace_decl_ref
);
284 lto_output_namespace_decl_index (ob
->decl_state
, ob
->main_stream
, expr
);
288 streamer_write_record_start (ob
, LTO_label_decl_ref
);
289 lto_output_var_decl_index (ob
->decl_state
, ob
->main_stream
, expr
);
293 streamer_write_record_start (ob
, LTO_result_decl_ref
);
294 lto_output_var_decl_index (ob
->decl_state
, ob
->main_stream
, expr
);
297 case TRANSLATION_UNIT_DECL
:
298 streamer_write_record_start (ob
, LTO_translation_unit_decl_ref
);
299 lto_output_var_decl_index (ob
->decl_state
, ob
->main_stream
, expr
);
303 /* No other node is indexable, so it should have been handled by
310 /* Return true if EXPR is a tree node that can be written to disk. */
313 lto_is_streamable (tree expr
)
315 enum tree_code code
= TREE_CODE (expr
);
317 /* Notice that we reject SSA_NAMEs as well. We only emit the SSA
318 name version in lto_output_tree_ref (see output_ssa_names). */
319 return !is_lang_specific (expr
)
322 && code
!= MODIFY_EXPR
324 && code
!= TARGET_EXPR
326 && code
!= WITH_CLEANUP_EXPR
327 && code
!= STATEMENT_LIST
328 && (code
== CASE_LABEL_EXPR
330 || TREE_CODE_CLASS (code
) != tcc_statement
);
333 /* Very rough estimate of streaming size of the initializer. If we ignored
334 presence of strings, we could simply just count number of non-indexable
335 tree nodes and number of references to indexable nodes. Strings however
336 may be very large and we do not want to dump them int othe global stream.
338 Count the size of initializer until the size in DATA is positive. */
341 subtract_estimated_size (tree
*tp
, int *ws
, void *data
)
343 long *sum
= (long *)data
;
344 if (tree_is_indexable (*tp
))
346 /* Indexable tree is one reference to global stream.
347 Guess it may be about 4 bytes. */
351 /* String table entry + base of tree node needs to be streamed. */
352 if (TREE_CODE (*tp
) == STRING_CST
)
353 *sum
-= TREE_STRING_LENGTH (*tp
) + 8;
356 /* Identifiers are also variable length but should not appear
357 naked in constructor. */
358 gcc_checking_assert (TREE_CODE (*tp
) != IDENTIFIER_NODE
);
359 /* We do not really make attempt to work out size of pickled tree, as
360 it is very variable. Make it bigger than the reference. */
369 /* For EXPR lookup and return what we want to stream to OB as DECL_INITIAL. */
372 get_symbol_initial_value (lto_symtab_encoder_t encoder
, tree expr
)
374 gcc_checking_assert (DECL_P (expr
)
375 && TREE_CODE (expr
) != FUNCTION_DECL
376 && TREE_CODE (expr
) != TRANSLATION_UNIT_DECL
);
378 /* Handle DECL_INITIAL for symbols. */
379 tree initial
= DECL_INITIAL (expr
);
381 && (TREE_STATIC (expr
) || DECL_EXTERNAL (expr
))
382 && !DECL_IN_CONSTANT_POOL (expr
)
386 /* Extra section needs about 30 bytes; do not produce it for simple
388 if (!(vnode
= varpool_node::get (expr
))
389 || !lto_symtab_encoder_encode_initializer_p (encoder
, vnode
))
390 initial
= error_mark_node
;
391 if (initial
!= error_mark_node
)
394 if (walk_tree (&initial
, subtract_estimated_size
, (void *)&max_size
,
396 initial
= error_mark_node
;
404 /* Write a physical representation of tree node EXPR to output block
405 OB. If REF_P is true, the leaves of EXPR are emitted as references
406 via lto_output_tree_ref. IX is the index into the streamer cache
407 where EXPR is stored. */
410 lto_write_tree_1 (struct output_block
*ob
, tree expr
, bool ref_p
)
412 /* Pack all the non-pointer fields in EXPR into a bitpack and write
413 the resulting bitpack. */
414 streamer_write_tree_bitfields (ob
, expr
);
416 /* Write all the pointer fields in EXPR. */
417 streamer_write_tree_body (ob
, expr
, ref_p
);
419 /* Write any LTO-specific data to OB. */
421 && TREE_CODE (expr
) != FUNCTION_DECL
422 && TREE_CODE (expr
) != TRANSLATION_UNIT_DECL
)
424 /* Handle DECL_INITIAL for symbols. */
425 tree initial
= get_symbol_initial_value
426 (ob
->decl_state
->symtab_node_encoder
, expr
);
427 stream_write_tree (ob
, initial
, ref_p
);
430 /* Stream references to early generated DIEs. Keep in sync with the
431 trees handled in dwarf2out_die_ref_for_decl. */
433 && TREE_CODE (expr
) != FIELD_DECL
434 && TREE_CODE (expr
) != DEBUG_EXPR_DECL
435 && TREE_CODE (expr
) != TYPE_DECL
)
436 || TREE_CODE (expr
) == BLOCK
)
439 unsigned HOST_WIDE_INT off
;
440 if (debug_info_level
> DINFO_LEVEL_NONE
441 && debug_hooks
->die_ref_for_decl (expr
, &sym
, &off
))
443 streamer_write_string (ob
, ob
->main_stream
, sym
, true);
444 streamer_write_uhwi (ob
, off
);
447 streamer_write_string (ob
, ob
->main_stream
, NULL
, true);
451 /* Write a physical representation of tree node EXPR to output block
452 OB. If REF_P is true, the leaves of EXPR are emitted as references
453 via lto_output_tree_ref. IX is the index into the streamer cache
454 where EXPR is stored. */
457 lto_write_tree (struct output_block
*ob
, tree expr
, bool ref_p
)
459 if (!lto_is_streamable (expr
))
460 internal_error ("tree code %qs is not supported in LTO streams",
461 get_tree_code_name (TREE_CODE (expr
)));
463 /* Write the header, containing everything needed to materialize
464 EXPR on the reading side. */
465 streamer_write_tree_header (ob
, expr
);
467 lto_write_tree_1 (ob
, expr
, ref_p
);
469 /* Mark the end of EXPR. */
470 streamer_write_zero (ob
);
473 /* Emit the physical representation of tree node EXPR to output block OB,
474 If THIS_REF_P is true, the leaves of EXPR are emitted as references via
475 lto_output_tree_ref. REF_P is used for streaming siblings of EXPR. */
478 lto_output_tree_1 (struct output_block
*ob
, tree expr
, hashval_t hash
,
479 bool ref_p
, bool this_ref_p
)
483 gcc_checking_assert (expr
!= NULL_TREE
484 && !(this_ref_p
&& tree_is_indexable (expr
)));
486 bool exists_p
= streamer_tree_cache_insert (ob
->writer_cache
,
488 gcc_assert (!exists_p
);
489 if (TREE_CODE (expr
) == INTEGER_CST
490 && !TREE_OVERFLOW (expr
))
492 /* Shared INTEGER_CST nodes are special because they need their
493 original type to be materialized by the reader (to implement
494 TYPE_CACHED_VALUES). */
495 streamer_write_integer_cst (ob
, expr
, ref_p
);
499 /* This is the first time we see EXPR, write its fields
501 lto_write_tree (ob
, expr
, ref_p
);
508 DFS (struct output_block
*ob
, tree expr
, bool ref_p
, bool this_ref_p
,
517 auto_vec
<scc_entry
,32> sccstack
;
534 static int scc_entry_compare (const void *, const void *);
536 void DFS_write_tree_body (struct output_block
*ob
,
537 tree expr
, sccs
*expr_state
, bool ref_p
);
539 void DFS_write_tree (struct output_block
*ob
, sccs
*from_state
,
540 tree expr
, bool ref_p
, bool this_ref_p
);
543 hash_scc (struct output_block
*ob
, unsigned first
, unsigned size
,
544 bool ref_p
, bool this_ref_p
);
546 hash_map
<tree
, sccs
*> sccstate
;
547 auto_vec
<worklist
, 32> worklist_vec
;
548 struct obstack sccstate_obstack
;
551 /* Emit the physical representation of tree node EXPR to output block OB,
552 using depth-first search on the subgraph. If THIS_REF_P is true, the
553 leaves of EXPR are emitted as references via lto_output_tree_ref.
554 REF_P is used for streaming siblings of EXPR. If SINGLE_P is true,
555 this is for a rewalk of a single leaf SCC. */
557 DFS::DFS (struct output_block
*ob
, tree expr
, bool ref_p
, bool this_ref_p
,
560 unsigned int next_dfs_num
= 1;
561 gcc_obstack_init (&sccstate_obstack
);
562 DFS_write_tree (ob
, NULL
, expr
, ref_p
, this_ref_p
);
563 while (!worklist_vec
.is_empty ())
565 worklist
&w
= worklist_vec
.last ();
567 sccs
*from_state
= w
.from_state
;
568 sccs
*cstate
= w
.cstate
;
570 this_ref_p
= w
.this_ref_p
;
573 sccs
**slot
= &sccstate
.get_or_insert (expr
);
577 gcc_checking_assert (from_state
);
578 if (cstate
->dfsnum
< from_state
->dfsnum
)
579 from_state
->low
= MIN (cstate
->dfsnum
, from_state
->low
);
584 scc_entry e
= { expr
, 0 };
585 /* Not yet visited. DFS recurse and push it onto the stack. */
586 *slot
= cstate
= XOBNEW (&sccstate_obstack
, struct sccs
);
587 sccstack
.safe_push (e
);
588 cstate
->dfsnum
= next_dfs_num
++;
589 cstate
->low
= cstate
->dfsnum
;
592 if (TREE_CODE (expr
) == INTEGER_CST
593 && !TREE_OVERFLOW (expr
))
594 DFS_write_tree (ob
, cstate
, TREE_TYPE (expr
), ref_p
, ref_p
);
597 DFS_write_tree_body (ob
, expr
, cstate
, ref_p
);
599 /* Walk any LTO-specific edges. */
601 && TREE_CODE (expr
) != FUNCTION_DECL
602 && TREE_CODE (expr
) != TRANSLATION_UNIT_DECL
)
604 /* Handle DECL_INITIAL for symbols. */
606 = get_symbol_initial_value (ob
->decl_state
->symtab_node_encoder
,
608 DFS_write_tree (ob
, cstate
, initial
, ref_p
, ref_p
);
614 /* See if we found an SCC. */
615 if (cstate
->low
== cstate
->dfsnum
)
617 unsigned first
, size
;
620 /* If we are re-walking a single leaf SCC just pop it,
621 let earlier worklist item access the sccstack. */
628 /* Pop the SCC and compute its size. */
629 first
= sccstack
.length ();
632 x
= sccstack
[--first
].t
;
635 size
= sccstack
.length () - first
;
637 /* No need to compute hashes for LTRANS units, we don't perform
638 any merging there. */
639 hashval_t scc_hash
= 0;
640 unsigned scc_entry_len
= 0;
643 scc_hash
= hash_scc (ob
, first
, size
, ref_p
, this_ref_p
);
645 /* Put the entries with the least number of collisions first. */
646 unsigned entry_start
= 0;
647 scc_entry_len
= size
+ 1;
648 for (unsigned i
= 0; i
< size
;)
651 for (i
= i
+ 1; i
< size
652 && (sccstack
[first
+ i
].hash
653 == sccstack
[first
+ from
].hash
); ++i
)
655 if (i
- from
< scc_entry_len
)
657 scc_entry_len
= i
- from
;
661 for (unsigned i
= 0; i
< scc_entry_len
; ++i
)
662 std::swap (sccstack
[first
+ i
],
663 sccstack
[first
+ entry_start
+ i
]);
665 /* We already sorted SCC deterministically in hash_scc. */
667 /* Check that we have only one SCC.
668 Naturally we may have conflicts if hash function is not
669 strong enough. Lets see how far this gets. */
670 gcc_checking_assert (scc_entry_len
== 1);
673 /* Write LTO_tree_scc. */
674 streamer_write_record_start (ob
, LTO_tree_scc
);
675 streamer_write_uhwi (ob
, size
);
676 streamer_write_uhwi (ob
, scc_hash
);
678 /* Write size-1 SCCs without wrapping them inside SCC bundles.
679 All INTEGER_CSTs need to be handled this way as we need
680 their type to materialize them. Also builtins are handled
682 ??? We still wrap these in LTO_tree_scc so at the
683 input side we can properly identify the tree we want
684 to ultimatively return. */
686 lto_output_tree_1 (ob
, expr
, scc_hash
, ref_p
, this_ref_p
);
689 /* Write the size of the SCC entry candidates. */
690 streamer_write_uhwi (ob
, scc_entry_len
);
692 /* Write all headers and populate the streamer cache. */
693 for (unsigned i
= 0; i
< size
; ++i
)
695 hashval_t hash
= sccstack
[first
+i
].hash
;
696 tree t
= sccstack
[first
+i
].t
;
697 bool exists_p
= streamer_tree_cache_insert (ob
->writer_cache
,
699 gcc_assert (!exists_p
);
701 if (!lto_is_streamable (t
))
702 internal_error ("tree code %qs is not supported "
704 get_tree_code_name (TREE_CODE (t
)));
706 /* Write the header, containing everything needed to
707 materialize EXPR on the reading side. */
708 streamer_write_tree_header (ob
, t
);
711 /* Write the bitpacks and tree references. */
712 for (unsigned i
= 0; i
< size
; ++i
)
714 lto_write_tree_1 (ob
, sccstack
[first
+i
].t
, ref_p
);
716 /* Mark the end of the tree. */
717 streamer_write_zero (ob
);
721 /* Finally truncate the vector. */
722 sccstack
.truncate (first
);
725 from_state
->low
= MIN (from_state
->low
, cstate
->low
);
730 gcc_checking_assert (from_state
);
731 from_state
->low
= MIN (from_state
->low
, cstate
->low
);
732 if (cstate
->dfsnum
< from_state
->dfsnum
)
733 from_state
->low
= MIN (cstate
->dfsnum
, from_state
->low
);
740 obstack_free (&sccstate_obstack
, NULL
);
743 /* Handle the tree EXPR in the DFS walk with SCC state EXPR_STATE and
744 DFS recurse for all tree edges originating from it. */
747 DFS::DFS_write_tree_body (struct output_block
*ob
,
748 tree expr
, sccs
*expr_state
, bool ref_p
)
750 #define DFS_follow_tree_edge(DEST) \
751 DFS_write_tree (ob, expr_state, DEST, ref_p, ref_p)
755 if (streamer_dump_file
)
757 print_node_brief (streamer_dump_file
, " Streaming ",
759 fprintf (streamer_dump_file
, " to %s\n",
760 lto_section_name
[ob
->section_type
]);
763 code
= TREE_CODE (expr
);
765 if (CODE_CONTAINS_STRUCT (code
, TS_TYPED
))
767 if (TREE_CODE (expr
) != IDENTIFIER_NODE
)
768 DFS_follow_tree_edge (TREE_TYPE (expr
));
771 if (CODE_CONTAINS_STRUCT (code
, TS_VECTOR
))
773 unsigned int count
= vector_cst_encoded_nelts (expr
);
774 for (unsigned int i
= 0; i
< count
; ++i
)
775 DFS_follow_tree_edge (VECTOR_CST_ENCODED_ELT (expr
, i
));
778 if (CODE_CONTAINS_STRUCT (code
, TS_POLY_INT_CST
))
779 for (unsigned int i
= 0; i
< NUM_POLY_INT_COEFFS
; ++i
)
780 DFS_follow_tree_edge (POLY_INT_CST_COEFF (expr
, i
));
782 if (CODE_CONTAINS_STRUCT (code
, TS_COMPLEX
))
784 DFS_follow_tree_edge (TREE_REALPART (expr
));
785 DFS_follow_tree_edge (TREE_IMAGPART (expr
));
788 if (CODE_CONTAINS_STRUCT (code
, TS_DECL_MINIMAL
))
790 /* Drop names that were created for anonymous entities. */
792 && TREE_CODE (DECL_NAME (expr
)) == IDENTIFIER_NODE
793 && IDENTIFIER_ANON_P (DECL_NAME (expr
)))
796 DFS_follow_tree_edge (DECL_NAME (expr
));
797 if (TREE_CODE (expr
) != TRANSLATION_UNIT_DECL
798 && ! DECL_CONTEXT (expr
))
799 DFS_follow_tree_edge ((*all_translation_units
)[0]);
801 DFS_follow_tree_edge (DECL_CONTEXT (expr
));
804 if (CODE_CONTAINS_STRUCT (code
, TS_DECL_COMMON
))
806 DFS_follow_tree_edge (DECL_SIZE (expr
));
807 DFS_follow_tree_edge (DECL_SIZE_UNIT (expr
));
809 /* Note, DECL_INITIAL is not handled here. Since DECL_INITIAL needs
810 special handling in LTO, it must be handled by streamer hooks. */
812 DFS_follow_tree_edge (DECL_ATTRIBUTES (expr
));
814 /* We use DECL_ABSTRACT_ORIGIN == error_mark_node to mark
815 declarations which should be eliminated by decl merging. Be sure none
816 leaks to this point. */
817 gcc_assert (DECL_ABSTRACT_ORIGIN (expr
) != error_mark_node
);
818 DFS_follow_tree_edge (DECL_ABSTRACT_ORIGIN (expr
));
821 || TREE_CODE (expr
) == PARM_DECL
)
822 && DECL_HAS_VALUE_EXPR_P (expr
))
823 DFS_follow_tree_edge (DECL_VALUE_EXPR (expr
));
825 && DECL_HAS_DEBUG_EXPR_P (expr
))
826 DFS_follow_tree_edge (DECL_DEBUG_EXPR (expr
));
829 if (CODE_CONTAINS_STRUCT (code
, TS_DECL_WITH_VIS
))
831 /* Make sure we don't inadvertently set the assembler name. */
832 if (DECL_ASSEMBLER_NAME_SET_P (expr
))
833 DFS_follow_tree_edge (DECL_ASSEMBLER_NAME (expr
));
836 if (CODE_CONTAINS_STRUCT (code
, TS_FIELD_DECL
))
838 DFS_follow_tree_edge (DECL_FIELD_OFFSET (expr
));
839 DFS_follow_tree_edge (DECL_BIT_FIELD_TYPE (expr
));
840 DFS_follow_tree_edge (DECL_BIT_FIELD_REPRESENTATIVE (expr
));
841 DFS_follow_tree_edge (DECL_FIELD_BIT_OFFSET (expr
));
842 gcc_checking_assert (!DECL_FCONTEXT (expr
));
845 if (CODE_CONTAINS_STRUCT (code
, TS_FUNCTION_DECL
))
847 gcc_checking_assert (DECL_VINDEX (expr
) == NULL
);
848 DFS_follow_tree_edge (DECL_FUNCTION_PERSONALITY (expr
));
849 DFS_follow_tree_edge (DECL_FUNCTION_SPECIFIC_TARGET (expr
));
850 DFS_follow_tree_edge (DECL_FUNCTION_SPECIFIC_OPTIMIZATION (expr
));
853 if (CODE_CONTAINS_STRUCT (code
, TS_TYPE_COMMON
))
855 DFS_follow_tree_edge (TYPE_SIZE (expr
));
856 DFS_follow_tree_edge (TYPE_SIZE_UNIT (expr
));
857 DFS_follow_tree_edge (TYPE_ATTRIBUTES (expr
));
858 DFS_follow_tree_edge (TYPE_NAME (expr
));
859 /* Do not follow TYPE_POINTER_TO or TYPE_REFERENCE_TO. They will be
860 reconstructed during fixup. */
861 /* Do not follow TYPE_NEXT_VARIANT, we reconstruct the variant lists
863 DFS_follow_tree_edge (TYPE_MAIN_VARIANT (expr
));
864 DFS_follow_tree_edge (TYPE_CONTEXT (expr
));
865 /* TYPE_CANONICAL is re-computed during type merging, so no need
866 to follow it here. */
867 /* Do not stream TYPE_STUB_DECL; it is not needed by LTO but currently
868 it cannot be freed by free_lang_data without triggering ICEs in
872 if (CODE_CONTAINS_STRUCT (code
, TS_TYPE_NON_COMMON
))
874 if (TREE_CODE (expr
) == ENUMERAL_TYPE
)
875 DFS_follow_tree_edge (TYPE_VALUES (expr
));
876 else if (TREE_CODE (expr
) == ARRAY_TYPE
)
877 DFS_follow_tree_edge (TYPE_DOMAIN (expr
));
878 else if (RECORD_OR_UNION_TYPE_P (expr
))
879 for (tree t
= TYPE_FIELDS (expr
); t
; t
= TREE_CHAIN (t
))
880 DFS_follow_tree_edge (t
);
881 else if (TREE_CODE (expr
) == FUNCTION_TYPE
882 || TREE_CODE (expr
) == METHOD_TYPE
)
883 DFS_follow_tree_edge (TYPE_ARG_TYPES (expr
));
885 if (!POINTER_TYPE_P (expr
))
886 DFS_follow_tree_edge (TYPE_MIN_VALUE_RAW (expr
));
887 DFS_follow_tree_edge (TYPE_MAX_VALUE_RAW (expr
));
890 if (CODE_CONTAINS_STRUCT (code
, TS_LIST
))
892 DFS_follow_tree_edge (TREE_PURPOSE (expr
));
893 DFS_follow_tree_edge (TREE_VALUE (expr
));
894 DFS_follow_tree_edge (TREE_CHAIN (expr
));
897 if (CODE_CONTAINS_STRUCT (code
, TS_VEC
))
899 for (int i
= 0; i
< TREE_VEC_LENGTH (expr
); i
++)
900 DFS_follow_tree_edge (TREE_VEC_ELT (expr
, i
));
903 if (CODE_CONTAINS_STRUCT (code
, TS_EXP
))
905 for (int i
= 0; i
< TREE_OPERAND_LENGTH (expr
); i
++)
906 DFS_follow_tree_edge (TREE_OPERAND (expr
, i
));
907 DFS_follow_tree_edge (TREE_BLOCK (expr
));
910 if (CODE_CONTAINS_STRUCT (code
, TS_BLOCK
))
912 for (tree t
= BLOCK_VARS (expr
); t
; t
= TREE_CHAIN (t
))
914 /* We would have to stream externals in the block chain as
915 non-references but we should have dropped them in
917 gcc_assert (!VAR_OR_FUNCTION_DECL_P (t
) || !DECL_EXTERNAL (t
));
918 DFS_follow_tree_edge (t
);
921 DFS_follow_tree_edge (BLOCK_SUPERCONTEXT (expr
));
922 DFS_follow_tree_edge (BLOCK_ABSTRACT_ORIGIN (expr
));
924 /* Do not follow BLOCK_NONLOCALIZED_VARS. We cannot handle debug
925 information for early inlined BLOCKs so drop it on the floor instead
926 of ICEing in dwarf2out.c. */
928 /* BLOCK_FRAGMENT_ORIGIN and BLOCK_FRAGMENT_CHAIN is not live at LTO
931 /* Do not output BLOCK_SUBBLOCKS. Instead on streaming-in this
932 list is re-constructed from BLOCK_SUPERCONTEXT. */
935 if (CODE_CONTAINS_STRUCT (code
, TS_BINFO
))
940 /* Note that the number of BINFO slots has already been emitted in
941 EXPR's header (see streamer_write_tree_header) because this length
942 is needed to build the empty BINFO node on the reader side. */
943 FOR_EACH_VEC_ELT (*BINFO_BASE_BINFOS (expr
), i
, t
)
944 DFS_follow_tree_edge (t
);
945 DFS_follow_tree_edge (BINFO_OFFSET (expr
));
946 DFS_follow_tree_edge (BINFO_VTABLE (expr
));
948 /* Do not walk BINFO_INHERITANCE_CHAIN, BINFO_SUBVTT_INDEX,
949 BINFO_BASE_ACCESSES and BINFO_VPTR_INDEX; these are used
953 if (CODE_CONTAINS_STRUCT (code
, TS_CONSTRUCTOR
))
958 FOR_EACH_CONSTRUCTOR_ELT (CONSTRUCTOR_ELTS (expr
), i
, index
, value
)
960 DFS_follow_tree_edge (index
);
961 DFS_follow_tree_edge (value
);
965 if (code
== OMP_CLAUSE
)
968 for (i
= 0; i
< omp_clause_num_ops
[OMP_CLAUSE_CODE (expr
)]; i
++)
969 DFS_follow_tree_edge (OMP_CLAUSE_OPERAND (expr
, i
));
970 DFS_follow_tree_edge (OMP_CLAUSE_CHAIN (expr
));
973 #undef DFS_follow_tree_edge
976 /* Return a hash value for the tree T.
977 CACHE holds hash values of trees outside current SCC. MAP, if non-NULL,
978 may hold hash values if trees inside current SCC. */
981 hash_tree (struct streamer_tree_cache_d
*cache
, hash_map
<tree
, hashval_t
> *map
, tree t
)
983 inchash::hash hstate
;
985 #define visit(SIBLING) \
989 hstate.add_int (0); \
990 else if (streamer_tree_cache_lookup (cache, SIBLING, &ix)) \
991 hstate.add_int (streamer_tree_cache_get_hash (cache, ix)); \
993 hstate.add_int (*map->get (SIBLING)); \
995 hstate.add_int (1); \
999 enum tree_code code
= TREE_CODE (t
);
1000 hstate
.add_int (code
);
1003 hstate
.add_flag (TREE_SIDE_EFFECTS (t
));
1004 hstate
.add_flag (TREE_CONSTANT (t
));
1005 hstate
.add_flag (TREE_READONLY (t
));
1006 hstate
.add_flag (TREE_PUBLIC (t
));
1008 hstate
.add_flag (TREE_ADDRESSABLE (t
));
1009 hstate
.add_flag (TREE_THIS_VOLATILE (t
));
1011 hstate
.add_flag (DECL_UNSIGNED (t
));
1012 else if (TYPE_P (t
))
1013 hstate
.add_flag (TYPE_UNSIGNED (t
));
1015 hstate
.add_flag (TYPE_ARTIFICIAL (t
));
1017 hstate
.add_flag (TREE_NO_WARNING (t
));
1018 hstate
.add_flag (TREE_NOTHROW (t
));
1019 hstate
.add_flag (TREE_STATIC (t
));
1020 hstate
.add_flag (TREE_PROTECTED (t
));
1021 hstate
.add_flag (TREE_DEPRECATED (t
));
1022 if (code
!= TREE_BINFO
)
1023 hstate
.add_flag (TREE_PRIVATE (t
));
1026 hstate
.add_flag (AGGREGATE_TYPE_P (t
)
1027 ? TYPE_REVERSE_STORAGE_ORDER (t
) : TYPE_SATURATING (t
));
1028 hstate
.add_flag (TYPE_ADDR_SPACE (t
));
1030 else if (code
== SSA_NAME
)
1031 hstate
.add_flag (SSA_NAME_IS_DEFAULT_DEF (t
));
1032 hstate
.commit_flag ();
1034 if (CODE_CONTAINS_STRUCT (code
, TS_INT_CST
))
1035 hstate
.add_wide_int (wi::to_widest (t
));
1037 if (CODE_CONTAINS_STRUCT (code
, TS_REAL_CST
))
1039 REAL_VALUE_TYPE r
= TREE_REAL_CST (t
);
1040 hstate
.add_flag (r
.cl
);
1041 hstate
.add_flag (r
.sign
);
1042 hstate
.add_flag (r
.signalling
);
1043 hstate
.add_flag (r
.canonical
);
1044 hstate
.commit_flag ();
1045 hstate
.add_int (r
.uexp
);
1046 hstate
.add (r
.sig
, sizeof (r
.sig
));
1049 if (CODE_CONTAINS_STRUCT (code
, TS_FIXED_CST
))
1051 FIXED_VALUE_TYPE f
= TREE_FIXED_CST (t
);
1052 hstate
.add_int (f
.mode
);
1053 hstate
.add_int (f
.data
.low
);
1054 hstate
.add_int (f
.data
.high
);
1057 if (CODE_CONTAINS_STRUCT (code
, TS_DECL_COMMON
))
1059 hstate
.add_hwi (DECL_MODE (t
));
1060 hstate
.add_flag (DECL_NONLOCAL (t
));
1061 hstate
.add_flag (DECL_VIRTUAL_P (t
));
1062 hstate
.add_flag (DECL_IGNORED_P (t
));
1063 hstate
.add_flag (DECL_ABSTRACT_P (t
));
1064 hstate
.add_flag (DECL_ARTIFICIAL (t
));
1065 hstate
.add_flag (DECL_USER_ALIGN (t
));
1066 hstate
.add_flag (DECL_PRESERVE_P (t
));
1067 hstate
.add_flag (DECL_EXTERNAL (t
));
1068 hstate
.add_flag (DECL_GIMPLE_REG_P (t
));
1069 hstate
.commit_flag ();
1070 hstate
.add_int (DECL_ALIGN (t
));
1071 if (code
== LABEL_DECL
)
1073 hstate
.add_int (EH_LANDING_PAD_NR (t
));
1074 hstate
.add_int (LABEL_DECL_UID (t
));
1076 else if (code
== FIELD_DECL
)
1078 hstate
.add_flag (DECL_PACKED (t
));
1079 hstate
.add_flag (DECL_NONADDRESSABLE_P (t
));
1080 hstate
.add_flag (DECL_PADDING_P (t
));
1081 hstate
.add_int (DECL_OFFSET_ALIGN (t
));
1083 else if (code
== VAR_DECL
)
1085 hstate
.add_flag (DECL_HAS_DEBUG_EXPR_P (t
));
1086 hstate
.add_flag (DECL_NONLOCAL_FRAME (t
));
1088 if (code
== RESULT_DECL
1089 || code
== PARM_DECL
1090 || code
== VAR_DECL
)
1092 hstate
.add_flag (DECL_BY_REFERENCE (t
));
1093 if (code
== VAR_DECL
1094 || code
== PARM_DECL
)
1095 hstate
.add_flag (DECL_HAS_VALUE_EXPR_P (t
));
1097 hstate
.commit_flag ();
1100 if (CODE_CONTAINS_STRUCT (code
, TS_DECL_WRTL
))
1101 hstate
.add_int (DECL_REGISTER (t
));
1103 if (CODE_CONTAINS_STRUCT (code
, TS_DECL_WITH_VIS
))
1105 hstate
.add_flag (DECL_COMMON (t
));
1106 hstate
.add_flag (DECL_DLLIMPORT_P (t
));
1107 hstate
.add_flag (DECL_WEAK (t
));
1108 hstate
.add_flag (DECL_SEEN_IN_BIND_EXPR_P (t
));
1109 hstate
.add_flag (DECL_COMDAT (t
));
1110 hstate
.add_flag (DECL_VISIBILITY_SPECIFIED (t
));
1111 hstate
.add_int (DECL_VISIBILITY (t
));
1112 if (code
== VAR_DECL
)
1114 /* DECL_IN_TEXT_SECTION is set during final asm output only. */
1115 hstate
.add_flag (DECL_HARD_REGISTER (t
));
1116 hstate
.add_flag (DECL_IN_CONSTANT_POOL (t
));
1118 if (TREE_CODE (t
) == FUNCTION_DECL
)
1120 hstate
.add_flag (DECL_FINAL_P (t
));
1121 hstate
.add_flag (DECL_CXX_CONSTRUCTOR_P (t
));
1122 hstate
.add_flag (DECL_CXX_DESTRUCTOR_P (t
));
1124 hstate
.commit_flag ();
1127 if (CODE_CONTAINS_STRUCT (code
, TS_FUNCTION_DECL
))
1129 hstate
.add_int (DECL_BUILT_IN_CLASS (t
));
1130 hstate
.add_flag (DECL_STATIC_CONSTRUCTOR (t
));
1131 hstate
.add_flag (DECL_STATIC_DESTRUCTOR (t
));
1132 hstate
.add_flag (FUNCTION_DECL_DECL_TYPE (t
));
1133 hstate
.add_flag (DECL_UNINLINABLE (t
));
1134 hstate
.add_flag (DECL_POSSIBLY_INLINED (t
));
1135 hstate
.add_flag (DECL_IS_NOVOPS (t
));
1136 hstate
.add_flag (DECL_IS_RETURNS_TWICE (t
));
1137 hstate
.add_flag (DECL_IS_MALLOC (t
));
1138 hstate
.add_flag (DECL_DECLARED_INLINE_P (t
));
1139 hstate
.add_flag (DECL_STATIC_CHAIN (t
));
1140 hstate
.add_flag (DECL_NO_INLINE_WARNING_P (t
));
1141 hstate
.add_flag (DECL_NO_INSTRUMENT_FUNCTION_ENTRY_EXIT (t
));
1142 hstate
.add_flag (DECL_NO_LIMIT_STACK (t
));
1143 hstate
.add_flag (DECL_DISREGARD_INLINE_LIMITS (t
));
1144 hstate
.add_flag (DECL_PURE_P (t
));
1145 hstate
.add_flag (DECL_LOOPING_CONST_OR_PURE_P (t
));
1146 hstate
.commit_flag ();
1147 if (DECL_BUILT_IN_CLASS (t
) != NOT_BUILT_IN
)
1148 hstate
.add_int (DECL_UNCHECKED_FUNCTION_CODE (t
));
1151 if (CODE_CONTAINS_STRUCT (code
, TS_TYPE_COMMON
))
1153 hstate
.add_hwi (TYPE_MODE (t
));
1154 /* TYPE_NO_FORCE_BLK is private to stor-layout and need
1156 hstate
.add_flag (TYPE_PACKED (t
));
1157 hstate
.add_flag (TYPE_RESTRICT (t
));
1158 hstate
.add_flag (TYPE_USER_ALIGN (t
));
1159 hstate
.add_flag (TYPE_READONLY (t
));
1160 if (RECORD_OR_UNION_TYPE_P (t
))
1162 hstate
.add_flag (TYPE_TRANSPARENT_AGGR (t
));
1163 hstate
.add_flag (TYPE_FINAL_P (t
));
1164 hstate
.add_flag (TYPE_CXX_ODR_P (t
));
1166 else if (code
== ARRAY_TYPE
)
1167 hstate
.add_flag (TYPE_NONALIASED_COMPONENT (t
));
1168 if (code
== ARRAY_TYPE
|| code
== INTEGER_TYPE
)
1169 hstate
.add_flag (TYPE_STRING_FLAG (t
));
1170 if (AGGREGATE_TYPE_P (t
))
1171 hstate
.add_flag (TYPE_TYPELESS_STORAGE (t
));
1172 hstate
.commit_flag ();
1173 hstate
.add_int (TYPE_PRECISION (t
));
1174 hstate
.add_int (TYPE_ALIGN (t
));
1175 hstate
.add_int (TYPE_EMPTY_P (t
));
1178 if (CODE_CONTAINS_STRUCT (code
, TS_TRANSLATION_UNIT_DECL
))
1179 hstate
.add (TRANSLATION_UNIT_LANGUAGE (t
),
1180 strlen (TRANSLATION_UNIT_LANGUAGE (t
)));
1182 if (CODE_CONTAINS_STRUCT (code
, TS_TARGET_OPTION
)
1183 /* We don't stream these when passing things to a different target. */
1184 && !lto_stream_offload_p
)
1185 hstate
.add_hwi (cl_target_option_hash (TREE_TARGET_OPTION (t
)));
1187 if (CODE_CONTAINS_STRUCT (code
, TS_OPTIMIZATION
))
1188 hstate
.add_hwi (cl_optimization_hash (TREE_OPTIMIZATION (t
)));
1190 if (CODE_CONTAINS_STRUCT (code
, TS_IDENTIFIER
))
1191 hstate
.merge_hash (IDENTIFIER_HASH_VALUE (t
));
1193 if (CODE_CONTAINS_STRUCT (code
, TS_STRING
))
1194 hstate
.add (TREE_STRING_POINTER (t
), TREE_STRING_LENGTH (t
));
1196 if (CODE_CONTAINS_STRUCT (code
, TS_TYPED
))
1198 if (code
!= IDENTIFIER_NODE
)
1199 visit (TREE_TYPE (t
));
1202 if (CODE_CONTAINS_STRUCT (code
, TS_VECTOR
))
1204 unsigned int count
= vector_cst_encoded_nelts (t
);
1205 for (unsigned int i
= 0; i
< count
; ++i
)
1206 visit (VECTOR_CST_ENCODED_ELT (t
, i
));
1209 if (CODE_CONTAINS_STRUCT (code
, TS_POLY_INT_CST
))
1210 for (unsigned int i
= 0; i
< NUM_POLY_INT_COEFFS
; ++i
)
1211 visit (POLY_INT_CST_COEFF (t
, i
));
1213 if (CODE_CONTAINS_STRUCT (code
, TS_COMPLEX
))
1215 visit (TREE_REALPART (t
));
1216 visit (TREE_IMAGPART (t
));
1219 if (CODE_CONTAINS_STRUCT (code
, TS_DECL_MINIMAL
))
1221 /* Drop names that were created for anonymous entities. */
1223 && TREE_CODE (DECL_NAME (t
)) == IDENTIFIER_NODE
1224 && IDENTIFIER_ANON_P (DECL_NAME (t
)))
1227 visit (DECL_NAME (t
));
1228 if (DECL_FILE_SCOPE_P (t
))
1231 visit (DECL_CONTEXT (t
));
1234 if (CODE_CONTAINS_STRUCT (code
, TS_DECL_COMMON
))
1236 visit (DECL_SIZE (t
));
1237 visit (DECL_SIZE_UNIT (t
));
1238 visit (DECL_ATTRIBUTES (t
));
1239 if ((code
== VAR_DECL
1240 || code
== PARM_DECL
)
1241 && DECL_HAS_VALUE_EXPR_P (t
))
1242 visit (DECL_VALUE_EXPR (t
));
1243 if (code
== VAR_DECL
1244 && DECL_HAS_DEBUG_EXPR_P (t
))
1245 visit (DECL_DEBUG_EXPR (t
));
1246 /* ??? Hash DECL_INITIAL as streamed. Needs the output-block to
1247 be able to call get_symbol_initial_value. */
1250 if (CODE_CONTAINS_STRUCT (code
, TS_DECL_WITH_VIS
))
1252 if (DECL_ASSEMBLER_NAME_SET_P (t
))
1253 visit (DECL_ASSEMBLER_NAME (t
));
1256 if (CODE_CONTAINS_STRUCT (code
, TS_FIELD_DECL
))
1258 visit (DECL_FIELD_OFFSET (t
));
1259 visit (DECL_BIT_FIELD_TYPE (t
));
1260 visit (DECL_BIT_FIELD_REPRESENTATIVE (t
));
1261 visit (DECL_FIELD_BIT_OFFSET (t
));
1264 if (CODE_CONTAINS_STRUCT (code
, TS_FUNCTION_DECL
))
1266 visit (DECL_FUNCTION_PERSONALITY (t
));
1267 visit (DECL_FUNCTION_SPECIFIC_TARGET (t
));
1268 visit (DECL_FUNCTION_SPECIFIC_OPTIMIZATION (t
));
1271 if (CODE_CONTAINS_STRUCT (code
, TS_TYPE_COMMON
))
1273 visit (TYPE_SIZE (t
));
1274 visit (TYPE_SIZE_UNIT (t
));
1275 visit (TYPE_ATTRIBUTES (t
));
1276 visit (TYPE_NAME (t
));
1277 visit (TYPE_MAIN_VARIANT (t
));
1278 if (TYPE_FILE_SCOPE_P (t
))
1281 visit (TYPE_CONTEXT (t
));
1284 if (CODE_CONTAINS_STRUCT (code
, TS_TYPE_NON_COMMON
))
1286 if (code
== ENUMERAL_TYPE
)
1287 visit (TYPE_VALUES (t
));
1288 else if (code
== ARRAY_TYPE
)
1289 visit (TYPE_DOMAIN (t
));
1290 else if (RECORD_OR_UNION_TYPE_P (t
))
1291 for (tree f
= TYPE_FIELDS (t
); f
; f
= TREE_CHAIN (f
))
1293 else if (code
== FUNCTION_TYPE
1294 || code
== METHOD_TYPE
)
1295 visit (TYPE_ARG_TYPES (t
));
1296 if (!POINTER_TYPE_P (t
))
1297 visit (TYPE_MIN_VALUE_RAW (t
));
1298 visit (TYPE_MAX_VALUE_RAW (t
));
1301 if (CODE_CONTAINS_STRUCT (code
, TS_LIST
))
1303 visit (TREE_PURPOSE (t
));
1304 visit (TREE_VALUE (t
));
1305 visit (TREE_CHAIN (t
));
1308 if (CODE_CONTAINS_STRUCT (code
, TS_VEC
))
1309 for (int i
= 0; i
< TREE_VEC_LENGTH (t
); ++i
)
1310 visit (TREE_VEC_ELT (t
, i
));
1312 if (CODE_CONTAINS_STRUCT (code
, TS_EXP
))
1314 hstate
.add_hwi (TREE_OPERAND_LENGTH (t
));
1315 for (int i
= 0; i
< TREE_OPERAND_LENGTH (t
); ++i
)
1316 visit (TREE_OPERAND (t
, i
));
1319 if (CODE_CONTAINS_STRUCT (code
, TS_BINFO
))
1323 FOR_EACH_VEC_ELT (*BINFO_BASE_BINFOS (t
), i
, b
)
1325 visit (BINFO_OFFSET (t
));
1326 visit (BINFO_VTABLE (t
));
1327 /* Do not walk BINFO_INHERITANCE_CHAIN, BINFO_SUBVTT_INDEX
1328 BINFO_BASE_ACCESSES and BINFO_VPTR_INDEX; these are used
1332 if (CODE_CONTAINS_STRUCT (code
, TS_CONSTRUCTOR
))
1336 hstate
.add_hwi (CONSTRUCTOR_NELTS (t
));
1337 FOR_EACH_CONSTRUCTOR_ELT (CONSTRUCTOR_ELTS (t
), i
, index
, value
)
1344 if (code
== OMP_CLAUSE
)
1349 hstate
.add_hwi (OMP_CLAUSE_CODE (t
));
1350 switch (OMP_CLAUSE_CODE (t
))
1352 case OMP_CLAUSE_DEFAULT
:
1353 val
= OMP_CLAUSE_DEFAULT_KIND (t
);
1355 case OMP_CLAUSE_SCHEDULE
:
1356 val
= OMP_CLAUSE_SCHEDULE_KIND (t
);
1358 case OMP_CLAUSE_DEPEND
:
1359 val
= OMP_CLAUSE_DEPEND_KIND (t
);
1361 case OMP_CLAUSE_MAP
:
1362 val
= OMP_CLAUSE_MAP_KIND (t
);
1364 case OMP_CLAUSE_PROC_BIND
:
1365 val
= OMP_CLAUSE_PROC_BIND_KIND (t
);
1367 case OMP_CLAUSE_REDUCTION
:
1368 case OMP_CLAUSE_TASK_REDUCTION
:
1369 case OMP_CLAUSE_IN_REDUCTION
:
1370 val
= OMP_CLAUSE_REDUCTION_CODE (t
);
1376 hstate
.add_hwi (val
);
1377 for (i
= 0; i
< omp_clause_num_ops
[OMP_CLAUSE_CODE (t
)]; i
++)
1378 visit (OMP_CLAUSE_OPERAND (t
, i
));
1379 visit (OMP_CLAUSE_CHAIN (t
));
1382 return hstate
.end ();
1387 /* Compare two SCC entries by their hash value for qsorting them. */
1390 DFS::scc_entry_compare (const void *p1_
, const void *p2_
)
1392 const scc_entry
*p1
= (const scc_entry
*) p1_
;
1393 const scc_entry
*p2
= (const scc_entry
*) p2_
;
1394 if (p1
->hash
< p2
->hash
)
1396 else if (p1
->hash
> p2
->hash
)
1401 /* Return a hash value for the SCC on the SCC stack from FIRST with SIZE.
1402 THIS_REF_P and REF_P are as passed to lto_output_tree for FIRST. */
1405 DFS::hash_scc (struct output_block
*ob
, unsigned first
, unsigned size
,
1406 bool ref_p
, bool this_ref_p
)
1408 unsigned int last_classes
= 0, iterations
= 0;
1410 /* Compute hash values for the SCC members. */
1411 for (unsigned i
= 0; i
< size
; ++i
)
1412 sccstack
[first
+i
].hash
1413 = hash_tree (ob
->writer_cache
, NULL
, sccstack
[first
+i
].t
);
1416 return sccstack
[first
].hash
;
1418 /* We aim to get unique hash for every tree within SCC and compute hash value
1419 of the whole SCC by combining all values together in a stable (entry-point
1420 independent) order. This guarantees that the same SCC regions within
1421 different translation units will get the same hash values and therefore
1422 will be merged at WPA time.
1424 Often the hashes are already unique. In that case we compute the SCC hash
1425 by combining individual hash values in an increasing order.
1427 If there are duplicates, we seek at least one tree with unique hash (and
1428 pick one with minimal hash and this property). Then we obtain a stable
1429 order by DFS walk starting from this unique tree and then use the index
1430 within this order to make individual hash values unique.
1432 If there is no tree with unique hash, we iteratively propagate the hash
1433 values across the internal edges of SCC. This usually quickly leads
1434 to unique hashes. Consider, for example, an SCC containing two pointers
1435 that are identical except for the types they point to and assume that
1436 these types are also part of the SCC. The propagation will add the
1437 points-to type information into their hash values. */
1440 /* Sort the SCC so we can easily check for uniqueness. */
1441 qsort (&sccstack
[first
], size
, sizeof (scc_entry
), scc_entry_compare
);
1443 unsigned int classes
= 1;
1444 int firstunique
= -1;
1446 /* Find the tree with lowest unique hash (if it exists) and compute
1447 the number of equivalence classes. */
1448 if (sccstack
[first
].hash
!= sccstack
[first
+1].hash
)
1450 for (unsigned i
= 1; i
< size
; ++i
)
1451 if (sccstack
[first
+i
-1].hash
!= sccstack
[first
+i
].hash
)
1454 if (firstunique
== -1
1456 || sccstack
[first
+i
+1].hash
!= sccstack
[first
+i
].hash
))
1460 /* If we found a tree with unique hash, stop the iteration. */
1461 if (firstunique
!= -1
1462 /* Also terminate if we run out of iterations or if the number of
1463 equivalence classes is no longer increasing.
1464 For example a cyclic list of trees that are all equivalent will
1465 never have unique entry point; we however do not build such SCCs
1467 || classes
<= last_classes
|| iterations
> 16)
1471 /* If some hashes are not unique (CLASSES != SIZE), use the DFS walk
1472 starting from FIRSTUNIQUE to obtain a stable order. */
1473 if (classes
!= size
&& firstunique
!= -1)
1475 hash_map
<tree
, hashval_t
> map(size
*2);
1477 /* Store hash values into a map, so we can associate them with
1478 the reordered SCC. */
1479 for (unsigned i
= 0; i
< size
; ++i
)
1480 map
.put (sccstack
[first
+i
].t
, sccstack
[first
+i
].hash
);
1482 DFS
again (ob
, sccstack
[first
+firstunique
].t
, ref_p
, this_ref_p
,
1484 gcc_assert (again
.sccstack
.length () == size
);
1486 memcpy (sccstack
.address () + first
,
1487 again
.sccstack
.address (),
1488 sizeof (scc_entry
) * size
);
1490 /* Update hash values of individual members by hashing in the
1491 index within the stable order. This ensures uniqueness.
1492 Also compute the SCC hash by mixing in all hash values in
1493 the stable order we obtained. */
1494 sccstack
[first
].hash
= *map
.get (sccstack
[first
].t
);
1495 scc_hash
= sccstack
[first
].hash
;
1496 for (unsigned i
= 1; i
< size
; ++i
)
1498 sccstack
[first
+i
].hash
1499 = iterative_hash_hashval_t (i
,
1500 *map
.get (sccstack
[first
+i
].t
));
1502 = iterative_hash_hashval_t (scc_hash
,
1503 sccstack
[first
+i
].hash
);
1506 /* If we got a unique hash value for each tree, then sort already
1507 ensured entry-point independent order. Only compute the final
1510 If we failed to find the unique entry point, we go by the same
1511 route. We will eventually introduce unwanted hash conflicts. */
1514 scc_hash
= sccstack
[first
].hash
;
1515 for (unsigned i
= 1; i
< size
; ++i
)
1517 = iterative_hash_hashval_t (scc_hash
, sccstack
[first
+i
].hash
);
1519 /* We cannot 100% guarantee that the hash won't conflict so as
1520 to make it impossible to find a unique hash. This however
1521 should be an extremely rare case. ICE for now so possible
1522 issues are found and evaluated. */
1523 gcc_checking_assert (classes
== size
);
1526 /* To avoid conflicts across SCCs, iteratively hash the whole SCC
1527 hash into the hash of each element. */
1528 for (unsigned i
= 0; i
< size
; ++i
)
1529 sccstack
[first
+i
].hash
1530 = iterative_hash_hashval_t (sccstack
[first
+i
].hash
, scc_hash
);
1534 last_classes
= classes
;
1537 /* We failed to identify the entry point; propagate hash values across
1539 hash_map
<tree
, hashval_t
> map(size
*2);
1541 for (unsigned i
= 0; i
< size
; ++i
)
1542 map
.put (sccstack
[first
+i
].t
, sccstack
[first
+i
].hash
);
1544 for (unsigned i
= 0; i
< size
; i
++)
1545 sccstack
[first
+i
].hash
1546 = hash_tree (ob
->writer_cache
, &map
, sccstack
[first
+i
].t
);
1551 /* DFS walk EXPR and stream SCCs of tree bodies if they are not
1552 already in the streamer cache. Main routine called for
1553 each visit of EXPR. */
1556 DFS::DFS_write_tree (struct output_block
*ob
, sccs
*from_state
,
1557 tree expr
, bool ref_p
, bool this_ref_p
)
1559 /* Handle special cases. */
1560 if (expr
== NULL_TREE
)
1563 /* Do not DFS walk into indexable trees. */
1564 if (this_ref_p
&& tree_is_indexable (expr
))
1567 /* Check if we already streamed EXPR. */
1568 if (streamer_tree_cache_lookup (ob
->writer_cache
, expr
, NULL
))
1573 w
.from_state
= from_state
;
1576 w
.this_ref_p
= this_ref_p
;
1577 worklist_vec
.safe_push (w
);
1581 /* Emit the physical representation of tree node EXPR to output block OB.
1582 If THIS_REF_P is true, the leaves of EXPR are emitted as references via
1583 lto_output_tree_ref. REF_P is used for streaming siblings of EXPR. */
1586 lto_output_tree (struct output_block
*ob
, tree expr
,
1587 bool ref_p
, bool this_ref_p
)
1592 if (expr
== NULL_TREE
)
1594 streamer_write_record_start (ob
, LTO_null
);
1598 if (this_ref_p
&& tree_is_indexable (expr
))
1600 lto_output_tree_ref (ob
, expr
);
1604 existed_p
= streamer_tree_cache_lookup (ob
->writer_cache
, expr
, &ix
);
1607 /* If a node has already been streamed out, make sure that
1608 we don't write it more than once. Otherwise, the reader
1609 will instantiate two different nodes for the same object. */
1610 streamer_write_record_start (ob
, LTO_tree_pickle_reference
);
1611 streamer_write_uhwi (ob
, ix
);
1612 streamer_write_enum (ob
->main_stream
, LTO_tags
, LTO_NUM_TAGS
,
1613 lto_tree_code_to_tag (TREE_CODE (expr
)));
1614 lto_stats
.num_pickle_refs_output
++;
1618 /* This is the first time we see EXPR, write all reachable
1620 static bool in_dfs_walk
;
1622 /* Protect against recursion which means disconnect between
1623 what tree edges we walk in the DFS walk and what edges
1625 gcc_assert (!in_dfs_walk
);
1627 if (streamer_dump_file
)
1629 print_node_brief (streamer_dump_file
, " Streaming SCC of ",
1631 fprintf (streamer_dump_file
, "\n");
1634 /* Start the DFS walk. */
1635 /* Save ob state ... */
1638 DFS (ob
, expr
, ref_p
, this_ref_p
, false);
1639 in_dfs_walk
= false;
1641 /* Finally append a reference to the tree we were writing.
1642 ??? If expr ended up as a singleton we could have
1643 inlined it here and avoid outputting a reference. */
1644 existed_p
= streamer_tree_cache_lookup (ob
->writer_cache
, expr
, &ix
);
1645 gcc_assert (existed_p
);
1646 streamer_write_record_start (ob
, LTO_tree_pickle_reference
);
1647 streamer_write_uhwi (ob
, ix
);
1648 streamer_write_enum (ob
->main_stream
, LTO_tags
, LTO_NUM_TAGS
,
1649 lto_tree_code_to_tag (TREE_CODE (expr
)));
1650 if (streamer_dump_file
)
1652 print_node_brief (streamer_dump_file
, " Finished SCC of ",
1654 fprintf (streamer_dump_file
, "\n\n");
1656 lto_stats
.num_pickle_refs_output
++;
1661 /* Output to OB a list of try/catch handlers starting with FIRST. */
1664 output_eh_try_list (struct output_block
*ob
, eh_catch first
)
1668 for (n
= first
; n
; n
= n
->next_catch
)
1670 streamer_write_record_start (ob
, LTO_eh_catch
);
1671 stream_write_tree (ob
, n
->type_list
, true);
1672 stream_write_tree (ob
, n
->filter_list
, true);
1673 stream_write_tree (ob
, n
->label
, true);
1676 streamer_write_record_start (ob
, LTO_null
);
1680 /* Output EH region R in function FN to OB. CURR_RN is the slot index
1681 that is being emitted in FN->EH->REGION_ARRAY. This is used to
1682 detect EH region sharing. */
1685 output_eh_region (struct output_block
*ob
, eh_region r
)
1691 streamer_write_record_start (ob
, LTO_null
);
1695 if (r
->type
== ERT_CLEANUP
)
1696 tag
= LTO_ert_cleanup
;
1697 else if (r
->type
== ERT_TRY
)
1699 else if (r
->type
== ERT_ALLOWED_EXCEPTIONS
)
1700 tag
= LTO_ert_allowed_exceptions
;
1701 else if (r
->type
== ERT_MUST_NOT_THROW
)
1702 tag
= LTO_ert_must_not_throw
;
1706 streamer_write_record_start (ob
, tag
);
1707 streamer_write_hwi (ob
, r
->index
);
1710 streamer_write_hwi (ob
, r
->outer
->index
);
1712 streamer_write_zero (ob
);
1715 streamer_write_hwi (ob
, r
->inner
->index
);
1717 streamer_write_zero (ob
);
1720 streamer_write_hwi (ob
, r
->next_peer
->index
);
1722 streamer_write_zero (ob
);
1724 if (r
->type
== ERT_TRY
)
1726 output_eh_try_list (ob
, r
->u
.eh_try
.first_catch
);
1728 else if (r
->type
== ERT_ALLOWED_EXCEPTIONS
)
1730 stream_write_tree (ob
, r
->u
.allowed
.type_list
, true);
1731 stream_write_tree (ob
, r
->u
.allowed
.label
, true);
1732 streamer_write_uhwi (ob
, r
->u
.allowed
.filter
);
1734 else if (r
->type
== ERT_MUST_NOT_THROW
)
1736 stream_write_tree (ob
, r
->u
.must_not_throw
.failure_decl
, true);
1737 bitpack_d bp
= bitpack_create (ob
->main_stream
);
1738 stream_output_location (ob
, &bp
, r
->u
.must_not_throw
.failure_loc
);
1739 streamer_write_bitpack (&bp
);
1742 if (r
->landing_pads
)
1743 streamer_write_hwi (ob
, r
->landing_pads
->index
);
1745 streamer_write_zero (ob
);
1749 /* Output landing pad LP to OB. */
1752 output_eh_lp (struct output_block
*ob
, eh_landing_pad lp
)
1756 streamer_write_record_start (ob
, LTO_null
);
1760 streamer_write_record_start (ob
, LTO_eh_landing_pad
);
1761 streamer_write_hwi (ob
, lp
->index
);
1763 streamer_write_hwi (ob
, lp
->next_lp
->index
);
1765 streamer_write_zero (ob
);
1768 streamer_write_hwi (ob
, lp
->region
->index
);
1770 streamer_write_zero (ob
);
1772 stream_write_tree (ob
, lp
->post_landing_pad
, true);
1776 /* Output the existing eh_table to OB. */
1779 output_eh_regions (struct output_block
*ob
, struct function
*fn
)
1781 if (fn
->eh
&& fn
->eh
->region_tree
)
1788 streamer_write_record_start (ob
, LTO_eh_table
);
1790 /* Emit the index of the root of the EH region tree. */
1791 streamer_write_hwi (ob
, fn
->eh
->region_tree
->index
);
1793 /* Emit all the EH regions in the region array. */
1794 streamer_write_hwi (ob
, vec_safe_length (fn
->eh
->region_array
));
1795 FOR_EACH_VEC_SAFE_ELT (fn
->eh
->region_array
, i
, eh
)
1796 output_eh_region (ob
, eh
);
1798 /* Emit all landing pads. */
1799 streamer_write_hwi (ob
, vec_safe_length (fn
->eh
->lp_array
));
1800 FOR_EACH_VEC_SAFE_ELT (fn
->eh
->lp_array
, i
, lp
)
1801 output_eh_lp (ob
, lp
);
1803 /* Emit all the runtime type data. */
1804 streamer_write_hwi (ob
, vec_safe_length (fn
->eh
->ttype_data
));
1805 FOR_EACH_VEC_SAFE_ELT (fn
->eh
->ttype_data
, i
, ttype
)
1806 stream_write_tree (ob
, ttype
, true);
1808 /* Emit the table of action chains. */
1809 if (targetm
.arm_eabi_unwinder
)
1812 streamer_write_hwi (ob
, vec_safe_length (fn
->eh
->ehspec_data
.arm_eabi
));
1813 FOR_EACH_VEC_SAFE_ELT (fn
->eh
->ehspec_data
.arm_eabi
, i
, t
)
1814 stream_write_tree (ob
, t
, true);
1819 streamer_write_hwi (ob
, vec_safe_length (fn
->eh
->ehspec_data
.other
));
1820 FOR_EACH_VEC_SAFE_ELT (fn
->eh
->ehspec_data
.other
, i
, c
)
1821 streamer_write_char_stream (ob
->main_stream
, c
);
1825 /* The LTO_null either terminates the record or indicates that there
1826 are no eh_records at all. */
1827 streamer_write_record_start (ob
, LTO_null
);
1831 /* Output all of the active ssa names to the ssa_names stream. */
1834 output_ssa_names (struct output_block
*ob
, struct function
*fn
)
1836 unsigned int i
, len
;
1838 len
= vec_safe_length (SSANAMES (fn
));
1839 streamer_write_uhwi (ob
, len
);
1841 for (i
= 1; i
< len
; i
++)
1843 tree ptr
= (*SSANAMES (fn
))[i
];
1845 if (ptr
== NULL_TREE
1846 || SSA_NAME_IN_FREE_LIST (ptr
)
1847 || virtual_operand_p (ptr
)
1848 /* Simply skip unreleased SSA names. */
1849 || (! SSA_NAME_IS_DEFAULT_DEF (ptr
)
1850 && (! SSA_NAME_DEF_STMT (ptr
)
1851 || ! gimple_bb (SSA_NAME_DEF_STMT (ptr
)))))
1854 streamer_write_uhwi (ob
, i
);
1855 streamer_write_char_stream (ob
->main_stream
,
1856 SSA_NAME_IS_DEFAULT_DEF (ptr
));
1857 if (SSA_NAME_VAR (ptr
))
1858 stream_write_tree (ob
, SSA_NAME_VAR (ptr
), true);
1860 /* ??? This drops SSA_NAME_IDENTIFIER on the floor. */
1861 stream_write_tree (ob
, TREE_TYPE (ptr
), true);
1864 streamer_write_zero (ob
);
1869 /* Output the cfg. */
1872 output_cfg (struct output_block
*ob
, struct function
*fn
)
1874 struct lto_output_stream
*tmp_stream
= ob
->main_stream
;
1877 ob
->main_stream
= ob
->cfg_stream
;
1879 streamer_write_enum (ob
->main_stream
, profile_status_d
, PROFILE_LAST
,
1880 profile_status_for_fn (fn
));
1882 /* Output the number of the highest basic block. */
1883 streamer_write_uhwi (ob
, last_basic_block_for_fn (fn
));
1885 FOR_ALL_BB_FN (bb
, fn
)
1890 streamer_write_hwi (ob
, bb
->index
);
1892 /* Output the successors and the edge flags. */
1893 streamer_write_uhwi (ob
, EDGE_COUNT (bb
->succs
));
1894 FOR_EACH_EDGE (e
, ei
, bb
->succs
)
1896 streamer_write_uhwi (ob
, e
->dest
->index
);
1897 e
->probability
.stream_out (ob
);
1898 streamer_write_uhwi (ob
, e
->flags
);
1902 streamer_write_hwi (ob
, -1);
1904 bb
= ENTRY_BLOCK_PTR_FOR_FN (fn
);
1907 streamer_write_hwi (ob
, bb
->next_bb
->index
);
1911 streamer_write_hwi (ob
, -1);
1913 /* Output the number of loops. */
1914 streamer_write_uhwi (ob
, number_of_loops (fn
));
1916 /* Output each loop, skipping the tree root which has number zero. */
1917 for (unsigned i
= 1; i
< number_of_loops (fn
); ++i
)
1919 class loop
*loop
= get_loop (fn
, i
);
1921 /* Write the index of the loop header. That's enough to rebuild
1922 the loop tree on the reader side. Stream -1 for an unused
1926 streamer_write_hwi (ob
, -1);
1930 streamer_write_hwi (ob
, loop
->header
->index
);
1932 /* Write everything copy_loop_info copies. */
1933 streamer_write_enum (ob
->main_stream
,
1934 loop_estimation
, EST_LAST
, loop
->estimate_state
);
1935 streamer_write_hwi (ob
, loop
->any_upper_bound
);
1936 if (loop
->any_upper_bound
)
1937 streamer_write_widest_int (ob
, loop
->nb_iterations_upper_bound
);
1938 streamer_write_hwi (ob
, loop
->any_likely_upper_bound
);
1939 if (loop
->any_likely_upper_bound
)
1940 streamer_write_widest_int (ob
, loop
->nb_iterations_likely_upper_bound
);
1941 streamer_write_hwi (ob
, loop
->any_estimate
);
1942 if (loop
->any_estimate
)
1943 streamer_write_widest_int (ob
, loop
->nb_iterations_estimate
);
1945 /* Write OMP SIMD related info. */
1946 streamer_write_hwi (ob
, loop
->safelen
);
1947 streamer_write_hwi (ob
, loop
->unroll
);
1948 streamer_write_hwi (ob
, loop
->owned_clique
);
1949 streamer_write_hwi (ob
, loop
->dont_vectorize
);
1950 streamer_write_hwi (ob
, loop
->force_vectorize
);
1951 stream_write_tree (ob
, loop
->simduid
, true);
1954 ob
->main_stream
= tmp_stream
;
1958 /* Create the header in the file using OB. If the section type is for
1959 a function, set FN to the decl for that function. */
1962 produce_asm (struct output_block
*ob
, tree fn
)
1964 enum lto_section_type section_type
= ob
->section_type
;
1965 struct lto_function_header header
;
1968 if (section_type
== LTO_section_function_body
)
1970 const char *name
= IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (fn
));
1971 section_name
= lto_get_section_name (section_type
, name
,
1972 symtab_node::get (fn
)->order
,
1976 section_name
= lto_get_section_name (section_type
, NULL
, 0, NULL
);
1978 lto_begin_section (section_name
, !flag_wpa
);
1979 free (section_name
);
1981 /* The entire header is stream computed here. */
1982 memset (&header
, 0, sizeof (struct lto_function_header
));
1984 if (section_type
== LTO_section_function_body
)
1985 header
.cfg_size
= ob
->cfg_stream
->total_size
;
1986 header
.main_size
= ob
->main_stream
->total_size
;
1987 header
.string_size
= ob
->string_stream
->total_size
;
1988 lto_write_data (&header
, sizeof header
);
1990 /* Put all of the gimple and the string table out the asm file as a
1992 if (section_type
== LTO_section_function_body
)
1993 lto_write_stream (ob
->cfg_stream
);
1994 lto_write_stream (ob
->main_stream
);
1995 lto_write_stream (ob
->string_stream
);
2001 /* Output the base body of struct function FN using output block OB. */
2004 output_struct_function_base (struct output_block
*ob
, struct function
*fn
)
2006 struct bitpack_d bp
;
2010 /* Output the static chain and non-local goto save area. */
2011 stream_write_tree (ob
, fn
->static_chain_decl
, true);
2012 stream_write_tree (ob
, fn
->nonlocal_goto_save_area
, true);
2014 /* Output all the local variables in the function. */
2015 streamer_write_hwi (ob
, vec_safe_length (fn
->local_decls
));
2016 FOR_EACH_VEC_SAFE_ELT (fn
->local_decls
, i
, t
)
2017 stream_write_tree (ob
, t
, true);
2019 /* Output current IL state of the function. */
2020 streamer_write_uhwi (ob
, fn
->curr_properties
);
2022 /* Write all the attributes for FN. */
2023 bp
= bitpack_create (ob
->main_stream
);
2024 bp_pack_value (&bp
, fn
->is_thunk
, 1);
2025 bp_pack_value (&bp
, fn
->has_local_explicit_reg_vars
, 1);
2026 bp_pack_value (&bp
, fn
->returns_pcc_struct
, 1);
2027 bp_pack_value (&bp
, fn
->returns_struct
, 1);
2028 bp_pack_value (&bp
, fn
->can_throw_non_call_exceptions
, 1);
2029 bp_pack_value (&bp
, fn
->can_delete_dead_exceptions
, 1);
2030 bp_pack_value (&bp
, fn
->always_inline_functions_inlined
, 1);
2031 bp_pack_value (&bp
, fn
->after_inlining
, 1);
2032 bp_pack_value (&bp
, fn
->stdarg
, 1);
2033 bp_pack_value (&bp
, fn
->has_nonlocal_label
, 1);
2034 bp_pack_value (&bp
, fn
->has_forced_label_in_static
, 1);
2035 bp_pack_value (&bp
, fn
->calls_alloca
, 1);
2036 bp_pack_value (&bp
, fn
->calls_setjmp
, 1);
2037 bp_pack_value (&bp
, fn
->calls_eh_return
, 1);
2038 bp_pack_value (&bp
, fn
->has_force_vectorize_loops
, 1);
2039 bp_pack_value (&bp
, fn
->has_simduid_loops
, 1);
2040 bp_pack_value (&bp
, fn
->va_list_fpr_size
, 8);
2041 bp_pack_value (&bp
, fn
->va_list_gpr_size
, 8);
2042 bp_pack_value (&bp
, fn
->last_clique
, sizeof (short) * 8);
2044 /* Output the function start and end loci. */
2045 stream_output_location (ob
, &bp
, fn
->function_start_locus
);
2046 stream_output_location (ob
, &bp
, fn
->function_end_locus
);
2048 /* Save the instance discriminator if present. */
2049 int *instance_number_p
= NULL
;
2050 if (decl_to_instance_map
)
2051 instance_number_p
= decl_to_instance_map
->get (fn
->decl
);
2052 bp_pack_value (&bp
, !!instance_number_p
, 1);
2053 if (instance_number_p
)
2054 bp_pack_value (&bp
, *instance_number_p
, sizeof (int) * CHAR_BIT
);
2056 streamer_write_bitpack (&bp
);
2060 /* Collect all leaf BLOCKs beyond ROOT into LEAFS. */
2063 collect_block_tree_leafs (tree root
, vec
<tree
> &leafs
)
2065 for (root
= BLOCK_SUBBLOCKS (root
); root
; root
= BLOCK_CHAIN (root
))
2066 if (! BLOCK_SUBBLOCKS (root
))
2067 leafs
.safe_push (root
);
2069 collect_block_tree_leafs (BLOCK_SUBBLOCKS (root
), leafs
);
2072 /* This performs function body modifications that are needed for streaming
2076 lto_prepare_function_for_streaming (struct cgraph_node
*node
)
2078 struct function
*fn
= DECL_STRUCT_FUNCTION (node
->decl
);
2081 if (number_of_loops (fn
))
2084 loop_optimizer_init (AVOID_CFG_MODIFICATIONS
);
2085 loop_optimizer_finalize ();
2088 /* We will renumber the statements. The code that does this uses
2089 the same ordering that we use for serializing them so we can use
2090 the same code on the other end and not have to write out the
2091 statement numbers. We do not assign UIDs to PHIs here because
2092 virtual PHIs get re-computed on-the-fly which would make numbers
2094 set_gimple_stmt_max_uid (fn
, 0);
2095 FOR_ALL_BB_FN (bb
, fn
)
2097 for (gphi_iterator gsi
= gsi_start_phis (bb
); !gsi_end_p (gsi
);
2100 gphi
*stmt
= gsi
.phi ();
2102 /* Virtual PHIs are not going to be streamed. */
2103 if (!virtual_operand_p (gimple_phi_result (stmt
)))
2104 gimple_set_uid (stmt
, inc_gimple_stmt_max_uid (fn
));
2106 for (gimple_stmt_iterator gsi
= gsi_start_bb (bb
); !gsi_end_p (gsi
);
2109 gimple
*stmt
= gsi_stmt (gsi
);
2110 gimple_set_uid (stmt
, inc_gimple_stmt_max_uid (fn
));
2113 /* To avoid keeping duplicate gimple IDs in the statements, renumber
2114 virtual phis now. */
2115 FOR_ALL_BB_FN (bb
, fn
)
2117 for (gphi_iterator gsi
= gsi_start_phis (bb
); !gsi_end_p (gsi
);
2120 gphi
*stmt
= gsi
.phi ();
2121 if (virtual_operand_p (gimple_phi_result (stmt
)))
2122 gimple_set_uid (stmt
, inc_gimple_stmt_max_uid (fn
));
2128 /* Output the body of function NODE->DECL. */
2131 output_function (struct cgraph_node
*node
)
2134 struct function
*fn
;
2136 struct output_block
*ob
;
2138 if (streamer_dump_file
)
2139 fprintf (streamer_dump_file
, "\nStreaming body of %s\n",
2140 node
->dump_name ());
2142 function
= node
->decl
;
2143 fn
= DECL_STRUCT_FUNCTION (function
);
2144 ob
= create_output_block (LTO_section_function_body
);
2146 clear_line_info (ob
);
2149 gcc_assert (current_function_decl
== NULL_TREE
&& cfun
== NULL
);
2151 /* Make string 0 be a NULL string. */
2152 streamer_write_char_stream (ob
->string_stream
, 0);
2154 streamer_write_record_start (ob
, LTO_function
);
2156 /* Output decls for parameters and args. */
2157 stream_write_tree (ob
, DECL_RESULT (function
), true);
2158 streamer_write_chain (ob
, DECL_ARGUMENTS (function
), true);
2160 /* Output debug args if available. */
2161 vec
<tree
, va_gc
> **debugargs
= decl_debug_args_lookup (function
);
2163 streamer_write_uhwi (ob
, 0);
2166 streamer_write_uhwi (ob
, (*debugargs
)->length ());
2167 for (unsigned i
= 0; i
< (*debugargs
)->length (); ++i
)
2168 stream_write_tree (ob
, (**debugargs
)[i
], true);
2171 /* Output DECL_INITIAL for the function, which contains the tree of
2173 stream_write_tree (ob
, DECL_INITIAL (function
), true);
2174 /* As we do not recurse into BLOCK_SUBBLOCKS but only BLOCK_SUPERCONTEXT
2175 collect block tree leafs and stream those. */
2176 auto_vec
<tree
> block_tree_leafs
;
2177 if (DECL_INITIAL (function
))
2178 collect_block_tree_leafs (DECL_INITIAL (function
), block_tree_leafs
);
2179 streamer_write_uhwi (ob
, block_tree_leafs
.length ());
2180 for (unsigned i
= 0; i
< block_tree_leafs
.length (); ++i
)
2181 stream_write_tree (ob
, block_tree_leafs
[i
], true);
2183 /* We also stream abstract functions where we stream only stuff needed for
2185 if (gimple_has_body_p (function
))
2187 streamer_write_uhwi (ob
, 1);
2188 output_struct_function_base (ob
, fn
);
2190 /* Output all the SSA names used in the function. */
2191 output_ssa_names (ob
, fn
);
2193 /* Output any exception handling regions. */
2194 output_eh_regions (ob
, fn
);
2196 /* Output the code for the function. */
2197 FOR_ALL_BB_FN (bb
, fn
)
2198 output_bb (ob
, bb
, fn
);
2200 /* The terminator for this function. */
2201 streamer_write_record_start (ob
, LTO_null
);
2203 output_cfg (ob
, fn
);
2206 streamer_write_uhwi (ob
, 0);
2208 /* Create a section to hold the pickled output of this function. */
2209 produce_asm (ob
, function
);
2211 destroy_output_block (ob
);
2212 if (streamer_dump_file
)
2213 fprintf (streamer_dump_file
, "Finished streaming %s\n",
2214 node
->dump_name ());
2217 /* Output the body of function NODE->DECL. */
2220 output_constructor (struct varpool_node
*node
)
2222 tree var
= node
->decl
;
2223 struct output_block
*ob
;
2225 if (streamer_dump_file
)
2226 fprintf (streamer_dump_file
, "\nStreaming constructor of %s\n",
2227 node
->dump_name ());
2229 timevar_push (TV_IPA_LTO_CTORS_OUT
);
2230 ob
= create_output_block (LTO_section_function_body
);
2232 clear_line_info (ob
);
2235 /* Make string 0 be a NULL string. */
2236 streamer_write_char_stream (ob
->string_stream
, 0);
2238 /* Output DECL_INITIAL for the function, which contains the tree of
2240 stream_write_tree (ob
, DECL_INITIAL (var
), true);
2242 /* Create a section to hold the pickled output of this function. */
2243 produce_asm (ob
, var
);
2245 destroy_output_block (ob
);
2246 if (streamer_dump_file
)
2247 fprintf (streamer_dump_file
, "Finished streaming %s\n",
2248 node
->dump_name ());
2249 timevar_pop (TV_IPA_LTO_CTORS_OUT
);
2253 /* Emit toplevel asms. */
2256 lto_output_toplevel_asms (void)
2258 struct output_block
*ob
;
2259 struct asm_node
*can
;
2261 struct lto_simple_header_with_strings header
;
2263 if (!symtab
->first_asm_symbol ())
2266 ob
= create_output_block (LTO_section_asm
);
2268 /* Make string 0 be a NULL string. */
2269 streamer_write_char_stream (ob
->string_stream
, 0);
2271 for (can
= symtab
->first_asm_symbol (); can
; can
= can
->next
)
2273 streamer_write_string_cst (ob
, ob
->main_stream
, can
->asm_str
);
2274 streamer_write_hwi (ob
, can
->order
);
2277 streamer_write_string_cst (ob
, ob
->main_stream
, NULL_TREE
);
2279 section_name
= lto_get_section_name (LTO_section_asm
, NULL
, 0, NULL
);
2280 lto_begin_section (section_name
, !flag_wpa
);
2281 free (section_name
);
2283 /* The entire header stream is computed here. */
2284 memset (&header
, 0, sizeof (header
));
2286 header
.main_size
= ob
->main_stream
->total_size
;
2287 header
.string_size
= ob
->string_stream
->total_size
;
2288 lto_write_data (&header
, sizeof header
);
2290 /* Put all of the gimple and the string table out the asm file as a
2292 lto_write_stream (ob
->main_stream
);
2293 lto_write_stream (ob
->string_stream
);
2297 destroy_output_block (ob
);
2301 /* Copy the function body or variable constructor of NODE without deserializing. */
2304 copy_function_or_variable (struct symtab_node
*node
)
2306 tree function
= node
->decl
;
2307 struct lto_file_decl_data
*file_data
= node
->lto_file_data
;
2310 const char *name
= IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (function
));
2311 char *section_name
=
2312 lto_get_section_name (LTO_section_function_body
, name
, node
->order
, NULL
);
2314 struct lto_in_decl_state
*in_state
;
2315 struct lto_out_decl_state
*out_state
= lto_get_out_decl_state ();
2317 if (streamer_dump_file
)
2318 fprintf (streamer_dump_file
, "Copying section for %s\n", name
);
2319 lto_begin_section (section_name
, false);
2320 free (section_name
);
2322 /* We may have renamed the declaration, e.g., a static function. */
2323 name
= lto_get_decl_name_mapping (file_data
, name
);
2325 data
= lto_get_raw_section_data (file_data
, LTO_section_function_body
,
2326 name
, node
->order
- file_data
->order_base
,
2330 /* Do a bit copy of the function body. */
2331 lto_write_raw_data (data
, len
);
2335 lto_get_function_in_decl_state (node
->lto_file_data
, function
);
2336 out_state
->compressed
= in_state
->compressed
;
2337 gcc_assert (in_state
);
2339 for (i
= 0; i
< LTO_N_DECL_STREAMS
; i
++)
2341 size_t n
= vec_safe_length (in_state
->streams
[i
]);
2342 vec
<tree
, va_gc
> *trees
= in_state
->streams
[i
];
2343 struct lto_tree_ref_encoder
*encoder
= &(out_state
->streams
[i
]);
2345 /* The out state must have the same indices and the in state.
2346 So just copy the vector. All the encoders in the in state
2347 must be empty where we reach here. */
2348 gcc_assert (lto_tree_ref_encoder_size (encoder
) == 0);
2349 encoder
->trees
.reserve_exact (n
);
2350 for (j
= 0; j
< n
; j
++)
2351 encoder
->trees
.safe_push ((*trees
)[j
]);
2354 lto_free_raw_section_data (file_data
, LTO_section_function_body
, name
,
2359 /* Wrap symbol references in *TP inside a type-preserving MEM_REF. */
2362 wrap_refs (tree
*tp
, int *ws
, void *)
2365 if (handled_component_p (t
)
2366 && TREE_CODE (TREE_OPERAND (t
, 0)) == VAR_DECL
2367 && TREE_PUBLIC (TREE_OPERAND (t
, 0)))
2369 tree decl
= TREE_OPERAND (t
, 0);
2370 tree ptrtype
= build_pointer_type (TREE_TYPE (decl
));
2371 TREE_OPERAND (t
, 0) = build2 (MEM_REF
, TREE_TYPE (decl
),
2372 build1 (ADDR_EXPR
, ptrtype
, decl
),
2373 build_int_cst (ptrtype
, 0));
2374 TREE_THIS_VOLATILE (TREE_OPERAND (t
, 0)) = TREE_THIS_VOLATILE (decl
);
2377 else if (TREE_CODE (t
) == CONSTRUCTOR
)
2379 else if (!EXPR_P (t
))
2384 /* Remove functions that are no longer used from offload_funcs, and mark the
2385 remaining ones with DECL_PRESERVE_P. */
2388 prune_offload_funcs (void)
2395 VEC_ORDERED_REMOVE_IF (*offload_funcs
, ix
, ix2
, elem_ptr
,
2396 cgraph_node::get (*elem_ptr
) == NULL
);
2399 FOR_EACH_VEC_ELT (*offload_funcs
, ix
, fn_decl
)
2400 DECL_PRESERVE_P (fn_decl
) = 1;
2403 /* Produce LTO section that contains global information
2404 about LTO bytecode. */
2407 produce_lto_section ()
2409 /* Stream LTO meta section. */
2410 output_block
*ob
= create_output_block (LTO_section_lto
);
2412 char * section_name
= lto_get_section_name (LTO_section_lto
, NULL
, 0, NULL
);
2413 lto_begin_section (section_name
, false);
2414 free (section_name
);
2417 lto_compression compression
= ZSTD
;
2419 lto_compression compression
= ZLIB
;
2422 bool slim_object
= flag_generate_lto
&& !flag_fat_lto_objects
;
2424 = { LTO_major_version
, LTO_minor_version
, slim_object
, 0 };
2425 s
.set_compression (compression
);
2426 lto_write_data (&s
, sizeof s
);
2428 destroy_output_block (ob
);
2431 /* Compare symbols to get them sorted by filename (to optimize streaming) */
2434 cmp_symbol_files (const void *pn1
, const void *pn2
)
2436 const symtab_node
*n1
= *(const symtab_node
* const *)pn1
;
2437 const symtab_node
*n2
= *(const symtab_node
* const *)pn2
;
2439 int file_order1
= n1
->lto_file_data
? n1
->lto_file_data
->order
: -1;
2440 int file_order2
= n2
->lto_file_data
? n2
->lto_file_data
->order
: -1;
2442 /* Order files same way as they appeared in the command line to reduce
2443 seeking while copying sections. */
2444 if (file_order1
!= file_order2
)
2445 return file_order1
- file_order2
;
2447 /* Order within static library. */
2448 if (n1
->lto_file_data
&& n1
->lto_file_data
->id
!= n2
->lto_file_data
->id
)
2450 if (n1
->lto_file_data
->id
> n2
->lto_file_data
->id
)
2452 if (n1
->lto_file_data
->id
< n2
->lto_file_data
->id
)
2456 /* And finaly order by the definition order. */
2457 return n1
->order
- n2
->order
;
2460 /* Main entry point from the pass manager. */
2465 struct lto_out_decl_state
*decl_state
;
2466 bitmap output
= NULL
;
2467 bitmap_obstack output_obstack
;
2468 unsigned int i
, n_nodes
;
2469 lto_symtab_encoder_t encoder
= lto_get_out_decl_state ()->symtab_node_encoder
;
2470 auto_vec
<symtab_node
*> symbols_to_copy
;
2472 prune_offload_funcs ();
2476 bitmap_obstack_initialize (&output_obstack
);
2477 output
= BITMAP_ALLOC (&output_obstack
);
2480 /* Initialize the streamer. */
2481 lto_streamer_init ();
2483 produce_lto_section ();
2485 n_nodes
= lto_symtab_encoder_size (encoder
);
2486 /* Prepare vector of functions to output and then sort it to optimize
2488 for (i
= 0; i
< n_nodes
; i
++)
2490 symtab_node
*snode
= lto_symtab_encoder_deref (encoder
, i
);
2493 if (cgraph_node
*node
= dyn_cast
<cgraph_node
*> (snode
))
2495 if (lto_symtab_encoder_encode_body_p (encoder
, node
))
2496 symbols_to_copy
.safe_push (node
);
2498 else if (varpool_node
*node
= dyn_cast
<varpool_node
*> (snode
))
2500 /* Wrap symbol references inside the ctor in a type
2501 preserving MEM_REF. */
2502 tree ctor
= DECL_INITIAL (node
->decl
);
2503 if (ctor
&& !in_lto_p
)
2504 walk_tree (&ctor
, wrap_refs
, NULL
, NULL
);
2505 if (get_symbol_initial_value (encoder
, node
->decl
) == error_mark_node
2506 && lto_symtab_encoder_encode_initializer_p (encoder
, node
))
2507 symbols_to_copy
.safe_push (node
);
2510 symbols_to_copy
.qsort (cmp_symbol_files
);
2511 for (i
= 0; i
< symbols_to_copy
.length (); i
++)
2513 symtab_node
*snode
= symbols_to_copy
[i
];
2515 varpool_node
*vnode
;
2518 gcc_assert (bitmap_set_bit (output
, DECL_UID (snode
->decl
)));
2520 decl_state
= lto_new_out_decl_state ();
2521 lto_push_out_decl_state (decl_state
);
2523 if ((cnode
= dyn_cast
<cgraph_node
*> (snode
))
2524 && (gimple_has_body_p (cnode
->decl
)
2526 && flag_incremental_link
!= INCREMENTAL_LINK_LTO
)
2527 /* Thunks have no body but they may be synthetized
2529 || DECL_ARGUMENTS (cnode
->decl
)))
2530 output_function (cnode
);
2531 else if ((vnode
= dyn_cast
<varpool_node
*> (snode
))
2532 && (DECL_INITIAL (vnode
->decl
) != error_mark_node
2534 && flag_incremental_link
!= INCREMENTAL_LINK_LTO
)))
2535 output_constructor (vnode
);
2537 copy_function_or_variable (snode
);
2538 gcc_assert (lto_get_out_decl_state () == decl_state
);
2539 lto_pop_out_decl_state ();
2540 lto_record_function_out_decl_state (snode
->decl
, decl_state
);
2543 /* Emit the callgraph after emitting function bodies. This needs to
2544 be done now to make sure that all the statements in every function
2545 have been renumbered so that edges can be associated with call
2546 statements using the statement UIDs. */
2549 output_offload_tables ();
2553 BITMAP_FREE (output
);
2554 bitmap_obstack_release (&output_obstack
);
2558 /* Write each node in encoded by ENCODER to OB, as well as those reachable
2559 from it and required for correct representation of its semantics.
2560 Each node in ENCODER must be a global declaration or a type. A node
2561 is written only once, even if it appears multiple times in the
2562 vector. Certain transitively-reachable nodes, such as those
2563 representing expressions, may be duplicated, but such nodes
2564 must not appear in ENCODER itself. */
2567 write_global_stream (struct output_block
*ob
,
2568 struct lto_tree_ref_encoder
*encoder
)
2572 const size_t size
= lto_tree_ref_encoder_size (encoder
);
2574 for (index
= 0; index
< size
; index
++)
2576 t
= lto_tree_ref_encoder_get_tree (encoder
, index
);
2577 if (streamer_dump_file
)
2579 fprintf (streamer_dump_file
, " %i:", (int)index
);
2580 print_node_brief (streamer_dump_file
, "", t
, 4);
2581 fprintf (streamer_dump_file
, "\n");
2583 if (!streamer_tree_cache_lookup (ob
->writer_cache
, t
, NULL
))
2584 stream_write_tree (ob
, t
, false);
2589 /* Write a sequence of indices into the globals vector corresponding
2590 to the trees in ENCODER. These are used by the reader to map the
2591 indices used to refer to global entities within function bodies to
2595 write_global_references (struct output_block
*ob
,
2596 struct lto_tree_ref_encoder
*encoder
)
2600 const uint32_t size
= lto_tree_ref_encoder_size (encoder
);
2602 /* Write size and slot indexes as 32-bit unsigned numbers. */
2603 uint32_t *data
= XNEWVEC (uint32_t, size
+ 1);
2606 for (index
= 0; index
< size
; index
++)
2610 t
= lto_tree_ref_encoder_get_tree (encoder
, index
);
2611 streamer_tree_cache_lookup (ob
->writer_cache
, t
, &slot_num
);
2612 gcc_assert (slot_num
!= (unsigned)-1);
2613 data
[index
+ 1] = slot_num
;
2616 lto_write_data (data
, sizeof (int32_t) * (size
+ 1));
2621 /* Write all the streams in an lto_out_decl_state STATE using
2622 output block OB and output stream OUT_STREAM. */
2625 lto_output_decl_state_streams (struct output_block
*ob
,
2626 struct lto_out_decl_state
*state
)
2630 for (i
= 0; i
< LTO_N_DECL_STREAMS
; i
++)
2631 write_global_stream (ob
, &state
->streams
[i
]);
2635 /* Write all the references in an lto_out_decl_state STATE using
2636 output block OB and output stream OUT_STREAM. */
2639 lto_output_decl_state_refs (struct output_block
*ob
,
2640 struct lto_out_decl_state
*state
)
2646 /* Write reference to FUNCTION_DECL. If there is not function,
2647 write reference to void_type_node. */
2648 decl
= (state
->fn_decl
) ? state
->fn_decl
: void_type_node
;
2649 streamer_tree_cache_lookup (ob
->writer_cache
, decl
, &ref
);
2650 gcc_assert (ref
!= (unsigned)-1);
2651 ref
= ref
* 2 + (state
->compressed
? 1 : 0);
2652 lto_write_data (&ref
, sizeof (uint32_t));
2654 for (i
= 0; i
< LTO_N_DECL_STREAMS
; i
++)
2655 write_global_references (ob
, &state
->streams
[i
]);
2659 /* Return the written size of STATE. */
2662 lto_out_decl_state_written_size (struct lto_out_decl_state
*state
)
2667 size
= sizeof (int32_t); /* fn_ref. */
2668 for (i
= 0; i
< LTO_N_DECL_STREAMS
; i
++)
2670 size
+= sizeof (int32_t); /* vector size. */
2671 size
+= (lto_tree_ref_encoder_size (&state
->streams
[i
])
2672 * sizeof (int32_t));
2678 /* Write symbol T into STREAM in CACHE. SEEN specifies symbols we wrote
2682 write_symbol (struct streamer_tree_cache_d
*cache
,
2683 tree t
, hash_set
<const char *> *seen
, bool alias
)
2686 enum gcc_plugin_symbol_kind kind
;
2687 enum gcc_plugin_symbol_visibility visibility
= GCCPV_DEFAULT
;
2693 gcc_assert (VAR_OR_FUNCTION_DECL_P (t
));
2695 name
= IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (t
));
2697 /* This behaves like assemble_name_raw in varasm.c, performing the
2698 same name manipulations that ASM_OUTPUT_LABELREF does. */
2699 name
= IDENTIFIER_POINTER ((*targetm
.asm_out
.mangle_assembler_name
) (name
));
2701 if (seen
->add (name
))
2704 streamer_tree_cache_lookup (cache
, t
, &slot_num
);
2705 gcc_assert (slot_num
!= (unsigned)-1);
2707 if (DECL_EXTERNAL (t
))
2710 kind
= GCCPK_WEAKUNDEF
;
2717 kind
= GCCPK_WEAKDEF
;
2718 else if (DECL_COMMON (t
))
2719 kind
= GCCPK_COMMON
;
2723 /* When something is defined, it should have node attached. */
2724 gcc_assert (alias
|| !VAR_P (t
) || varpool_node::get (t
)->definition
);
2725 gcc_assert (alias
|| TREE_CODE (t
) != FUNCTION_DECL
2726 || (cgraph_node::get (t
)
2727 && cgraph_node::get (t
)->definition
));
2730 /* Imitate what default_elf_asm_output_external do.
2731 When symbol is external, we need to output it with DEFAULT visibility
2732 when compiling with -fvisibility=default, while with HIDDEN visibility
2733 when symbol has attribute (visibility("hidden")) specified.
2734 targetm.binds_local_p check DECL_VISIBILITY_SPECIFIED and gets this
2737 if (DECL_EXTERNAL (t
)
2738 && !targetm
.binds_local_p (t
))
2739 visibility
= GCCPV_DEFAULT
;
2741 switch (DECL_VISIBILITY (t
))
2743 case VISIBILITY_DEFAULT
:
2744 visibility
= GCCPV_DEFAULT
;
2746 case VISIBILITY_PROTECTED
:
2747 visibility
= GCCPV_PROTECTED
;
2749 case VISIBILITY_HIDDEN
:
2750 visibility
= GCCPV_HIDDEN
;
2752 case VISIBILITY_INTERNAL
:
2753 visibility
= GCCPV_INTERNAL
;
2757 if (kind
== GCCPK_COMMON
2758 && DECL_SIZE_UNIT (t
)
2759 && TREE_CODE (DECL_SIZE_UNIT (t
)) == INTEGER_CST
)
2760 size
= TREE_INT_CST_LOW (DECL_SIZE_UNIT (t
));
2764 if (DECL_ONE_ONLY (t
))
2765 comdat
= IDENTIFIER_POINTER (decl_comdat_group_id (t
));
2769 lto_write_data (name
, strlen (name
) + 1);
2770 lto_write_data (comdat
, strlen (comdat
) + 1);
2771 c
= (unsigned char) kind
;
2772 lto_write_data (&c
, 1);
2773 c
= (unsigned char) visibility
;
2774 lto_write_data (&c
, 1);
2775 lto_write_data (&size
, 8);
2776 lto_write_data (&slot_num
, 4);
2779 /* Write an IL symbol table to OB.
2780 SET and VSET are cgraph/varpool node sets we are outputting. */
2783 produce_symtab (struct output_block
*ob
)
2785 struct streamer_tree_cache_d
*cache
= ob
->writer_cache
;
2786 char *section_name
= lto_get_section_name (LTO_section_symtab
, NULL
, 0, NULL
);
2787 lto_symtab_encoder_t encoder
= ob
->decl_state
->symtab_node_encoder
;
2788 lto_symtab_encoder_iterator lsei
;
2790 lto_begin_section (section_name
, false);
2791 free (section_name
);
2793 hash_set
<const char *> seen
;
2795 /* Write the symbol table.
2796 First write everything defined and then all declarations.
2797 This is necessary to handle cases where we have duplicated symbols. */
2798 for (lsei
= lsei_start (encoder
);
2799 !lsei_end_p (lsei
); lsei_next (&lsei
))
2801 symtab_node
*node
= lsei_node (lsei
);
2803 if (DECL_EXTERNAL (node
->decl
) || !node
->output_to_lto_symbol_table_p ())
2805 write_symbol (cache
, node
->decl
, &seen
, false);
2807 for (lsei
= lsei_start (encoder
);
2808 !lsei_end_p (lsei
); lsei_next (&lsei
))
2810 symtab_node
*node
= lsei_node (lsei
);
2812 if (!DECL_EXTERNAL (node
->decl
) || !node
->output_to_lto_symbol_table_p ())
2814 write_symbol (cache
, node
->decl
, &seen
, false);
2821 /* Init the streamer_mode_table for output, where we collect info on what
2822 machine_mode values have been streamed. */
2824 lto_output_init_mode_table (void)
2826 memset (streamer_mode_table
, '\0', MAX_MACHINE_MODE
);
2830 /* Write the mode table. */
2832 lto_write_mode_table (void)
2834 struct output_block
*ob
;
2835 ob
= create_output_block (LTO_section_mode_table
);
2836 bitpack_d bp
= bitpack_create (ob
->main_stream
);
2838 /* Ensure that for GET_MODE_INNER (m) != m we have
2839 also the inner mode marked. */
2840 for (int i
= 0; i
< (int) MAX_MACHINE_MODE
; i
++)
2841 if (streamer_mode_table
[i
])
2843 machine_mode m
= (machine_mode
) i
;
2844 machine_mode inner_m
= GET_MODE_INNER (m
);
2846 streamer_mode_table
[(int) inner_m
] = 1;
2848 /* First stream modes that have GET_MODE_INNER (m) == m,
2849 so that we can refer to them afterwards. */
2850 for (int pass
= 0; pass
< 2; pass
++)
2851 for (int i
= 0; i
< (int) MAX_MACHINE_MODE
; i
++)
2852 if (streamer_mode_table
[i
] && i
!= (int) VOIDmode
&& i
!= (int) BLKmode
)
2854 machine_mode m
= (machine_mode
) i
;
2855 if ((GET_MODE_INNER (m
) == m
) ^ (pass
== 0))
2857 bp_pack_value (&bp
, m
, 8);
2858 bp_pack_enum (&bp
, mode_class
, MAX_MODE_CLASS
, GET_MODE_CLASS (m
));
2859 bp_pack_poly_value (&bp
, GET_MODE_SIZE (m
), 16);
2860 bp_pack_poly_value (&bp
, GET_MODE_PRECISION (m
), 16);
2861 bp_pack_value (&bp
, GET_MODE_INNER (m
), 8);
2862 bp_pack_poly_value (&bp
, GET_MODE_NUNITS (m
), 16);
2863 switch (GET_MODE_CLASS (m
))
2869 bp_pack_value (&bp
, GET_MODE_IBIT (m
), 8);
2870 bp_pack_value (&bp
, GET_MODE_FBIT (m
), 8);
2873 case MODE_DECIMAL_FLOAT
:
2874 bp_pack_string (ob
, &bp
, REAL_MODE_FORMAT (m
)->name
, true);
2879 bp_pack_string (ob
, &bp
, GET_MODE_NAME (m
), true);
2881 bp_pack_value (&bp
, VOIDmode
, 8);
2883 streamer_write_bitpack (&bp
);
2886 = lto_get_section_name (LTO_section_mode_table
, NULL
, 0, NULL
);
2887 lto_begin_section (section_name
, !flag_wpa
);
2888 free (section_name
);
2890 /* The entire header stream is computed here. */
2891 struct lto_simple_header_with_strings header
;
2892 memset (&header
, 0, sizeof (header
));
2894 header
.main_size
= ob
->main_stream
->total_size
;
2895 header
.string_size
= ob
->string_stream
->total_size
;
2896 lto_write_data (&header
, sizeof header
);
2898 /* Put all of the gimple and the string table out the asm file as a
2900 lto_write_stream (ob
->main_stream
);
2901 lto_write_stream (ob
->string_stream
);
2904 destroy_output_block (ob
);
2908 /* This pass is run after all of the functions are serialized and all
2909 of the IPA passes have written their serialized forms. This pass
2910 causes the vector of all of the global decls and types used from
2911 this file to be written in to a section that can then be read in to
2912 recover these on other side. */
2915 produce_asm_for_decls (void)
2917 struct lto_out_decl_state
*out_state
;
2918 struct lto_out_decl_state
*fn_out_state
;
2919 struct lto_decl_header header
;
2921 struct output_block
*ob
;
2922 unsigned idx
, num_fns
;
2923 size_t decl_state_size
;
2924 int32_t num_decl_states
;
2926 ob
= create_output_block (LTO_section_decls
);
2928 memset (&header
, 0, sizeof (struct lto_decl_header
));
2930 section_name
= lto_get_section_name (LTO_section_decls
, NULL
, 0, NULL
);
2931 lto_begin_section (section_name
, !flag_wpa
);
2932 free (section_name
);
2934 /* Make string 0 be a NULL string. */
2935 streamer_write_char_stream (ob
->string_stream
, 0);
2937 gcc_assert (!alias_pairs
);
2939 /* Get rid of the global decl state hash tables to save some memory. */
2940 out_state
= lto_get_out_decl_state ();
2941 for (int i
= 0; i
< LTO_N_DECL_STREAMS
; i
++)
2942 if (out_state
->streams
[i
].tree_hash_table
)
2944 delete out_state
->streams
[i
].tree_hash_table
;
2945 out_state
->streams
[i
].tree_hash_table
= NULL
;
2948 /* Write the global symbols. */
2949 if (streamer_dump_file
)
2950 fprintf (streamer_dump_file
, "Outputting global stream\n");
2951 lto_output_decl_state_streams (ob
, out_state
);
2952 num_fns
= lto_function_decl_states
.length ();
2953 for (idx
= 0; idx
< num_fns
; idx
++)
2956 lto_function_decl_states
[idx
];
2957 if (streamer_dump_file
)
2958 fprintf (streamer_dump_file
, "Outputting stream for %s\n",
2960 (DECL_ASSEMBLER_NAME (fn_out_state
->fn_decl
)));
2961 lto_output_decl_state_streams (ob
, fn_out_state
);
2964 /* Currently not used. This field would allow us to preallocate
2965 the globals vector, so that it need not be resized as it is extended. */
2966 header
.num_nodes
= -1;
2968 /* Compute the total size of all decl out states. */
2969 decl_state_size
= sizeof (int32_t);
2970 decl_state_size
+= lto_out_decl_state_written_size (out_state
);
2971 for (idx
= 0; idx
< num_fns
; idx
++)
2974 lto_function_decl_states
[idx
];
2975 decl_state_size
+= lto_out_decl_state_written_size (fn_out_state
);
2977 header
.decl_state_size
= decl_state_size
;
2979 header
.main_size
= ob
->main_stream
->total_size
;
2980 header
.string_size
= ob
->string_stream
->total_size
;
2982 lto_write_data (&header
, sizeof header
);
2984 /* Write the main out-decl state, followed by out-decl states of
2986 num_decl_states
= num_fns
+ 1;
2987 lto_write_data (&num_decl_states
, sizeof (num_decl_states
));
2988 lto_output_decl_state_refs (ob
, out_state
);
2989 for (idx
= 0; idx
< num_fns
; idx
++)
2991 fn_out_state
= lto_function_decl_states
[idx
];
2992 lto_output_decl_state_refs (ob
, fn_out_state
);
2995 lto_write_stream (ob
->main_stream
);
2996 lto_write_stream (ob
->string_stream
);
3000 /* Write the symbol table. It is used by linker to determine dependencies
3001 and thus we can skip it for WPA. */
3003 produce_symtab (ob
);
3005 /* Write command line opts. */
3006 lto_write_options ();
3008 /* Deallocate memory and clean up. */
3009 for (idx
= 0; idx
< num_fns
; idx
++)
3012 lto_function_decl_states
[idx
];
3013 lto_delete_out_decl_state (fn_out_state
);
3015 lto_symtab_encoder_delete (ob
->decl_state
->symtab_node_encoder
);
3016 lto_function_decl_states
.release ();
3017 destroy_output_block (ob
);
3018 if (lto_stream_offload_p
)
3019 lto_write_mode_table ();