1 /* Write the GIMPLE representation to a file stream.
3 Copyright (C) 2009-2013 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"
33 #include "basic-block.h"
34 #include "tree-flow.h"
35 #include "tree-pass.h"
39 #include "diagnostic-core.h"
42 #include "lto-symtab.h"
43 #include "lto-streamer.h"
44 #include "data-streamer.h"
45 #include "gimple-streamer.h"
46 #include "tree-streamer.h"
47 #include "streamer-hooks.h"
50 /* Clear the line info stored in DATA_IN. */
53 clear_line_info (struct output_block
*ob
)
55 ob
->current_file
= NULL
;
61 /* Create the output block and return it. SECTION_TYPE is
62 LTO_section_function_body or LTO_static_initializer. */
65 create_output_block (enum lto_section_type section_type
)
67 struct output_block
*ob
= XCNEW (struct output_block
);
69 ob
->section_type
= section_type
;
70 ob
->decl_state
= lto_get_out_decl_state ();
71 ob
->main_stream
= XCNEW (struct lto_output_stream
);
72 ob
->string_stream
= XCNEW (struct lto_output_stream
);
73 ob
->writer_cache
= streamer_tree_cache_create ();
75 if (section_type
== LTO_section_function_body
)
76 ob
->cfg_stream
= XCNEW (struct lto_output_stream
);
80 ob
->string_hash_table
= htab_create (37, hash_string_slot_node
,
81 eq_string_slot_node
, NULL
);
82 gcc_obstack_init (&ob
->obstack
);
88 /* Destroy the output block OB. */
91 destroy_output_block (struct output_block
*ob
)
93 enum lto_section_type section_type
= ob
->section_type
;
95 htab_delete (ob
->string_hash_table
);
97 free (ob
->main_stream
);
98 free (ob
->string_stream
);
99 if (section_type
== LTO_section_function_body
)
100 free (ob
->cfg_stream
);
102 streamer_tree_cache_delete (ob
->writer_cache
);
103 obstack_free (&ob
->obstack
, NULL
);
109 /* Look up NODE in the type table and write the index for it to OB. */
112 output_type_ref (struct output_block
*ob
, tree node
)
114 streamer_write_record_start (ob
, LTO_type_ref
);
115 lto_output_type_ref_index (ob
->decl_state
, ob
->main_stream
, node
);
119 /* Return true if tree node T is written to various tables. For these
120 nodes, we sometimes want to write their phyiscal representation
121 (via lto_output_tree), and sometimes we need to emit an index
122 reference into a table (via lto_output_tree_ref). */
125 tree_is_indexable (tree t
)
127 if (TREE_CODE (t
) == PARM_DECL
)
129 else if (TREE_CODE (t
) == VAR_DECL
&& decl_function_context (t
)
132 /* Variably modified types need to be streamed alongside function
133 bodies because they can refer to local entities. Together with
134 them we have to localize their members as well.
135 ??? In theory that includes non-FIELD_DECLs as well. */
137 && variably_modified_type_p (t
, NULL_TREE
))
139 else if (TREE_CODE (t
) == FIELD_DECL
140 && variably_modified_type_p (DECL_CONTEXT (t
), NULL_TREE
))
143 return (TYPE_P (t
) || DECL_P (t
) || TREE_CODE (t
) == SSA_NAME
);
147 /* Output info about new location into bitpack BP.
148 After outputting bitpack, lto_output_location_data has
149 to be done to output actual data. */
152 lto_output_location (struct output_block
*ob
, struct bitpack_d
*bp
,
155 expanded_location xloc
;
157 loc
= LOCATION_LOCUS (loc
);
158 bp_pack_value (bp
, loc
== UNKNOWN_LOCATION
, 1);
159 if (loc
== UNKNOWN_LOCATION
)
162 xloc
= expand_location (loc
);
164 bp_pack_value (bp
, ob
->current_file
!= xloc
.file
, 1);
165 bp_pack_value (bp
, ob
->current_line
!= xloc
.line
, 1);
166 bp_pack_value (bp
, ob
->current_col
!= xloc
.column
, 1);
168 if (ob
->current_file
!= xloc
.file
)
169 bp_pack_var_len_unsigned (bp
,
170 streamer_string_index (ob
, xloc
.file
,
171 strlen (xloc
.file
) + 1,
173 ob
->current_file
= xloc
.file
;
175 if (ob
->current_line
!= xloc
.line
)
176 bp_pack_var_len_unsigned (bp
, xloc
.line
);
177 ob
->current_line
= xloc
.line
;
179 if (ob
->current_col
!= xloc
.column
)
180 bp_pack_var_len_unsigned (bp
, xloc
.column
);
181 ob
->current_col
= xloc
.column
;
185 /* If EXPR is an indexable tree node, output a reference to it to
186 output block OB. Otherwise, output the physical representation of
190 lto_output_tree_ref (struct output_block
*ob
, tree expr
)
196 output_type_ref (ob
, expr
);
200 code
= TREE_CODE (expr
);
204 streamer_write_record_start (ob
, LTO_ssa_name_ref
);
205 streamer_write_uhwi (ob
, SSA_NAME_VERSION (expr
));
209 streamer_write_record_start (ob
, LTO_field_decl_ref
);
210 lto_output_field_decl_index (ob
->decl_state
, ob
->main_stream
, expr
);
214 streamer_write_record_start (ob
, LTO_function_decl_ref
);
215 lto_output_fn_decl_index (ob
->decl_state
, ob
->main_stream
, expr
);
219 case DEBUG_EXPR_DECL
:
220 gcc_assert (decl_function_context (expr
) == NULL
|| TREE_STATIC (expr
));
222 streamer_write_record_start (ob
, LTO_global_decl_ref
);
223 lto_output_var_decl_index (ob
->decl_state
, ob
->main_stream
, expr
);
227 streamer_write_record_start (ob
, LTO_const_decl_ref
);
228 lto_output_var_decl_index (ob
->decl_state
, ob
->main_stream
, expr
);
232 gcc_assert (decl_function_context (expr
) == NULL
);
233 streamer_write_record_start (ob
, LTO_imported_decl_ref
);
234 lto_output_var_decl_index (ob
->decl_state
, ob
->main_stream
, expr
);
238 streamer_write_record_start (ob
, LTO_type_decl_ref
);
239 lto_output_type_decl_index (ob
->decl_state
, ob
->main_stream
, expr
);
243 streamer_write_record_start (ob
, LTO_namespace_decl_ref
);
244 lto_output_namespace_decl_index (ob
->decl_state
, ob
->main_stream
, expr
);
248 streamer_write_record_start (ob
, LTO_label_decl_ref
);
249 lto_output_var_decl_index (ob
->decl_state
, ob
->main_stream
, expr
);
253 streamer_write_record_start (ob
, LTO_result_decl_ref
);
254 lto_output_var_decl_index (ob
->decl_state
, ob
->main_stream
, expr
);
257 case TRANSLATION_UNIT_DECL
:
258 streamer_write_record_start (ob
, LTO_translation_unit_decl_ref
);
259 lto_output_var_decl_index (ob
->decl_state
, ob
->main_stream
, expr
);
263 /* No other node is indexable, so it should have been handled by
270 /* Return true if EXPR is a tree node that can be written to disk. */
273 lto_is_streamable (tree expr
)
275 enum tree_code code
= TREE_CODE (expr
);
277 /* Notice that we reject SSA_NAMEs as well. We only emit the SSA
278 name version in lto_output_tree_ref (see output_ssa_names). */
279 return !is_lang_specific (expr
)
283 && code
!= MODIFY_EXPR
285 && code
!= TARGET_EXPR
287 && code
!= WITH_CLEANUP_EXPR
288 && code
!= STATEMENT_LIST
289 && code
!= OMP_CLAUSE
290 && (code
== CASE_LABEL_EXPR
292 || TREE_CODE_CLASS (code
) != tcc_statement
);
296 /* Write a physical representation of tree node EXPR to output block
297 OB. If REF_P is true, the leaves of EXPR are emitted as references
298 via lto_output_tree_ref. IX is the index into the streamer cache
299 where EXPR is stored. */
302 lto_write_tree (struct output_block
*ob
, tree expr
, bool ref_p
)
306 if (!lto_is_streamable (expr
))
307 internal_error ("tree code %qs is not supported in LTO streams",
308 tree_code_name
[TREE_CODE (expr
)]);
310 /* Write the header, containing everything needed to materialize
311 EXPR on the reading side. */
312 streamer_write_tree_header (ob
, expr
);
314 /* Pack all the non-pointer fields in EXPR into a bitpack and write
315 the resulting bitpack. */
316 bp
= bitpack_create (ob
->main_stream
);
317 streamer_pack_tree_bitfields (ob
, &bp
, expr
);
318 streamer_write_bitpack (&bp
);
320 /* Write all the pointer fields in EXPR. */
321 streamer_write_tree_body (ob
, expr
, ref_p
);
323 /* Write any LTO-specific data to OB. */
325 && TREE_CODE (expr
) != FUNCTION_DECL
326 && TREE_CODE (expr
) != TRANSLATION_UNIT_DECL
)
328 /* Handle DECL_INITIAL for symbols. */
329 tree initial
= DECL_INITIAL (expr
);
330 if (TREE_CODE (expr
) == VAR_DECL
331 && (TREE_STATIC (expr
) || DECL_EXTERNAL (expr
))
332 && !DECL_IN_CONSTANT_POOL (expr
)
335 lto_symtab_encoder_t encoder
;
336 struct varpool_node
*vnode
;
338 encoder
= ob
->decl_state
->symtab_node_encoder
;
339 vnode
= varpool_get_node (expr
);
341 || !lto_symtab_encoder_encode_initializer_p (encoder
,
343 initial
= error_mark_node
;
346 stream_write_tree (ob
, initial
, ref_p
);
349 /* Mark the end of EXPR. */
350 streamer_write_zero (ob
);
354 /* Emit the physical representation of tree node EXPR to output block
355 OB. If THIS_REF_P is true, the leaves of EXPR are emitted as references
356 via lto_output_tree_ref. REF_P is used for streaming siblings of EXPR. */
359 lto_output_tree (struct output_block
*ob
, tree expr
,
360 bool ref_p
, bool this_ref_p
)
365 if (expr
== NULL_TREE
)
367 streamer_write_record_start (ob
, LTO_null
);
371 if (this_ref_p
&& tree_is_indexable (expr
))
373 lto_output_tree_ref (ob
, expr
);
377 /* Shared INTEGER_CST nodes are special because they need their original type
378 to be materialized by the reader (to implement TYPE_CACHED_VALUES). */
379 if (TREE_CODE (expr
) == INTEGER_CST
380 && !TREE_OVERFLOW (expr
))
382 streamer_write_integer_cst (ob
, expr
, ref_p
);
386 existed_p
= streamer_tree_cache_insert (ob
->writer_cache
, expr
, &ix
);
389 /* If a node has already been streamed out, make sure that
390 we don't write it more than once. Otherwise, the reader
391 will instantiate two different nodes for the same object. */
392 streamer_write_record_start (ob
, LTO_tree_pickle_reference
);
393 streamer_write_uhwi (ob
, ix
);
394 streamer_write_enum (ob
->main_stream
, LTO_tags
, LTO_NUM_TAGS
,
395 lto_tree_code_to_tag (TREE_CODE (expr
)));
397 else if (streamer_handle_as_builtin_p (expr
))
399 /* MD and NORMAL builtins do not need to be written out
400 completely as they are always instantiated by the
401 compiler on startup. The only builtins that need to
402 be written out are BUILT_IN_FRONTEND. For all other
403 builtins, we simply write the class and code. */
404 streamer_write_builtin (ob
, expr
);
408 /* This is the first time we see EXPR, write its fields
410 lto_write_tree (ob
, expr
, ref_p
);
415 /* Output to OB a list of try/catch handlers starting with FIRST. */
418 output_eh_try_list (struct output_block
*ob
, eh_catch first
)
422 for (n
= first
; n
; n
= n
->next_catch
)
424 streamer_write_record_start (ob
, LTO_eh_catch
);
425 stream_write_tree (ob
, n
->type_list
, true);
426 stream_write_tree (ob
, n
->filter_list
, true);
427 stream_write_tree (ob
, n
->label
, true);
430 streamer_write_record_start (ob
, LTO_null
);
434 /* Output EH region R in function FN to OB. CURR_RN is the slot index
435 that is being emitted in FN->EH->REGION_ARRAY. This is used to
436 detect EH region sharing. */
439 output_eh_region (struct output_block
*ob
, eh_region r
)
445 streamer_write_record_start (ob
, LTO_null
);
449 if (r
->type
== ERT_CLEANUP
)
450 tag
= LTO_ert_cleanup
;
451 else if (r
->type
== ERT_TRY
)
453 else if (r
->type
== ERT_ALLOWED_EXCEPTIONS
)
454 tag
= LTO_ert_allowed_exceptions
;
455 else if (r
->type
== ERT_MUST_NOT_THROW
)
456 tag
= LTO_ert_must_not_throw
;
460 streamer_write_record_start (ob
, tag
);
461 streamer_write_hwi (ob
, r
->index
);
464 streamer_write_hwi (ob
, r
->outer
->index
);
466 streamer_write_zero (ob
);
469 streamer_write_hwi (ob
, r
->inner
->index
);
471 streamer_write_zero (ob
);
474 streamer_write_hwi (ob
, r
->next_peer
->index
);
476 streamer_write_zero (ob
);
478 if (r
->type
== ERT_TRY
)
480 output_eh_try_list (ob
, r
->u
.eh_try
.first_catch
);
482 else if (r
->type
== ERT_ALLOWED_EXCEPTIONS
)
484 stream_write_tree (ob
, r
->u
.allowed
.type_list
, true);
485 stream_write_tree (ob
, r
->u
.allowed
.label
, true);
486 streamer_write_uhwi (ob
, r
->u
.allowed
.filter
);
488 else if (r
->type
== ERT_MUST_NOT_THROW
)
490 stream_write_tree (ob
, r
->u
.must_not_throw
.failure_decl
, true);
491 bitpack_d bp
= bitpack_create (ob
->main_stream
);
492 stream_output_location (ob
, &bp
, r
->u
.must_not_throw
.failure_loc
);
493 streamer_write_bitpack (&bp
);
497 streamer_write_hwi (ob
, r
->landing_pads
->index
);
499 streamer_write_zero (ob
);
503 /* Output landing pad LP to OB. */
506 output_eh_lp (struct output_block
*ob
, eh_landing_pad lp
)
510 streamer_write_record_start (ob
, LTO_null
);
514 streamer_write_record_start (ob
, LTO_eh_landing_pad
);
515 streamer_write_hwi (ob
, lp
->index
);
517 streamer_write_hwi (ob
, lp
->next_lp
->index
);
519 streamer_write_zero (ob
);
522 streamer_write_hwi (ob
, lp
->region
->index
);
524 streamer_write_zero (ob
);
526 stream_write_tree (ob
, lp
->post_landing_pad
, true);
530 /* Output the existing eh_table to OB. */
533 output_eh_regions (struct output_block
*ob
, struct function
*fn
)
535 if (fn
->eh
&& fn
->eh
->region_tree
)
542 streamer_write_record_start (ob
, LTO_eh_table
);
544 /* Emit the index of the root of the EH region tree. */
545 streamer_write_hwi (ob
, fn
->eh
->region_tree
->index
);
547 /* Emit all the EH regions in the region array. */
548 streamer_write_hwi (ob
, vec_safe_length (fn
->eh
->region_array
));
549 FOR_EACH_VEC_SAFE_ELT (fn
->eh
->region_array
, i
, eh
)
550 output_eh_region (ob
, eh
);
552 /* Emit all landing pads. */
553 streamer_write_hwi (ob
, vec_safe_length (fn
->eh
->lp_array
));
554 FOR_EACH_VEC_SAFE_ELT (fn
->eh
->lp_array
, i
, lp
)
555 output_eh_lp (ob
, lp
);
557 /* Emit all the runtime type data. */
558 streamer_write_hwi (ob
, vec_safe_length (fn
->eh
->ttype_data
));
559 FOR_EACH_VEC_SAFE_ELT (fn
->eh
->ttype_data
, i
, ttype
)
560 stream_write_tree (ob
, ttype
, true);
562 /* Emit the table of action chains. */
563 if (targetm
.arm_eabi_unwinder
)
566 streamer_write_hwi (ob
, vec_safe_length (fn
->eh
->ehspec_data
.arm_eabi
));
567 FOR_EACH_VEC_SAFE_ELT (fn
->eh
->ehspec_data
.arm_eabi
, i
, t
)
568 stream_write_tree (ob
, t
, true);
573 streamer_write_hwi (ob
, vec_safe_length (fn
->eh
->ehspec_data
.other
));
574 FOR_EACH_VEC_SAFE_ELT (fn
->eh
->ehspec_data
.other
, i
, c
)
575 streamer_write_char_stream (ob
->main_stream
, c
);
579 /* The LTO_null either terminates the record or indicates that there
580 are no eh_records at all. */
581 streamer_write_record_start (ob
, LTO_null
);
585 /* Output all of the active ssa names to the ssa_names stream. */
588 output_ssa_names (struct output_block
*ob
, struct function
*fn
)
592 len
= vec_safe_length (SSANAMES (fn
));
593 streamer_write_uhwi (ob
, len
);
595 for (i
= 1; i
< len
; i
++)
597 tree ptr
= (*SSANAMES (fn
))[i
];
600 || SSA_NAME_IN_FREE_LIST (ptr
)
601 || virtual_operand_p (ptr
))
604 streamer_write_uhwi (ob
, i
);
605 streamer_write_char_stream (ob
->main_stream
,
606 SSA_NAME_IS_DEFAULT_DEF (ptr
));
607 if (SSA_NAME_VAR (ptr
))
608 stream_write_tree (ob
, SSA_NAME_VAR (ptr
), true);
610 /* ??? This drops SSA_NAME_IDENTIFIER on the floor. */
611 stream_write_tree (ob
, TREE_TYPE (ptr
), true);
614 streamer_write_zero (ob
);
618 /* Output the cfg. */
621 output_cfg (struct output_block
*ob
, struct function
*fn
)
623 struct lto_output_stream
*tmp_stream
= ob
->main_stream
;
626 ob
->main_stream
= ob
->cfg_stream
;
628 streamer_write_enum (ob
->main_stream
, profile_status_d
, PROFILE_LAST
,
629 profile_status_for_function (fn
));
631 /* Output the number of the highest basic block. */
632 streamer_write_uhwi (ob
, last_basic_block_for_function (fn
));
634 FOR_ALL_BB_FN (bb
, fn
)
639 streamer_write_hwi (ob
, bb
->index
);
641 /* Output the successors and the edge flags. */
642 streamer_write_uhwi (ob
, EDGE_COUNT (bb
->succs
));
643 FOR_EACH_EDGE (e
, ei
, bb
->succs
)
645 streamer_write_uhwi (ob
, e
->dest
->index
);
646 streamer_write_hwi (ob
, e
->probability
);
647 streamer_write_hwi (ob
, e
->count
);
648 streamer_write_uhwi (ob
, e
->flags
);
652 streamer_write_hwi (ob
, -1);
654 bb
= ENTRY_BLOCK_PTR
;
657 streamer_write_hwi (ob
, bb
->next_bb
->index
);
661 streamer_write_hwi (ob
, -1);
663 ob
->main_stream
= tmp_stream
;
667 /* Create the header in the file using OB. If the section type is for
668 a function, set FN to the decl for that function. */
671 produce_asm (struct output_block
*ob
, tree fn
)
673 enum lto_section_type section_type
= ob
->section_type
;
674 struct lto_function_header header
;
676 struct lto_output_stream
*header_stream
;
678 if (section_type
== LTO_section_function_body
)
680 const char *name
= IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (fn
));
681 section_name
= lto_get_section_name (section_type
, name
, NULL
);
684 section_name
= lto_get_section_name (section_type
, NULL
, NULL
);
686 lto_begin_section (section_name
, !flag_wpa
);
689 /* The entire header is stream computed here. */
690 memset (&header
, 0, sizeof (struct lto_function_header
));
692 /* Write the header. */
693 header
.lto_header
.major_version
= LTO_major_version
;
694 header
.lto_header
.minor_version
= LTO_minor_version
;
696 header
.compressed_size
= 0;
698 if (section_type
== LTO_section_function_body
)
699 header
.cfg_size
= ob
->cfg_stream
->total_size
;
700 header
.main_size
= ob
->main_stream
->total_size
;
701 header
.string_size
= ob
->string_stream
->total_size
;
703 header_stream
= XCNEW (struct lto_output_stream
);
704 lto_output_data_stream (header_stream
, &header
, sizeof header
);
705 lto_write_stream (header_stream
);
706 free (header_stream
);
708 /* Put all of the gimple and the string table out the asm file as a
710 if (section_type
== LTO_section_function_body
)
711 lto_write_stream (ob
->cfg_stream
);
712 lto_write_stream (ob
->main_stream
);
713 lto_write_stream (ob
->string_stream
);
719 /* Output the base body of struct function FN using output block OB. */
722 output_struct_function_base (struct output_block
*ob
, struct function
*fn
)
728 /* Output the static chain and non-local goto save area. */
729 stream_write_tree (ob
, fn
->static_chain_decl
, true);
730 stream_write_tree (ob
, fn
->nonlocal_goto_save_area
, true);
732 /* Output all the local variables in the function. */
733 streamer_write_hwi (ob
, vec_safe_length (fn
->local_decls
));
734 FOR_EACH_VEC_SAFE_ELT (fn
->local_decls
, i
, t
)
735 stream_write_tree (ob
, t
, true);
737 /* Output current IL state of the function. */
738 streamer_write_uhwi (ob
, fn
->curr_properties
);
740 /* Write all the attributes for FN. */
741 bp
= bitpack_create (ob
->main_stream
);
742 bp_pack_value (&bp
, fn
->is_thunk
, 1);
743 bp_pack_value (&bp
, fn
->has_local_explicit_reg_vars
, 1);
744 bp_pack_value (&bp
, fn
->returns_pcc_struct
, 1);
745 bp_pack_value (&bp
, fn
->returns_struct
, 1);
746 bp_pack_value (&bp
, fn
->can_throw_non_call_exceptions
, 1);
747 bp_pack_value (&bp
, fn
->can_delete_dead_exceptions
, 1);
748 bp_pack_value (&bp
, fn
->always_inline_functions_inlined
, 1);
749 bp_pack_value (&bp
, fn
->after_inlining
, 1);
750 bp_pack_value (&bp
, fn
->stdarg
, 1);
751 bp_pack_value (&bp
, fn
->has_nonlocal_label
, 1);
752 bp_pack_value (&bp
, fn
->calls_alloca
, 1);
753 bp_pack_value (&bp
, fn
->calls_setjmp
, 1);
754 bp_pack_value (&bp
, fn
->va_list_fpr_size
, 8);
755 bp_pack_value (&bp
, fn
->va_list_gpr_size
, 8);
757 /* Output the function start and end loci. */
758 stream_output_location (ob
, &bp
, fn
->function_start_locus
);
759 stream_output_location (ob
, &bp
, fn
->function_end_locus
);
761 streamer_write_bitpack (&bp
);
765 /* Output the body of function NODE->DECL. */
768 output_function (struct cgraph_node
*node
)
773 struct output_block
*ob
;
775 function
= node
->symbol
.decl
;
776 fn
= DECL_STRUCT_FUNCTION (function
);
777 ob
= create_output_block (LTO_section_function_body
);
779 clear_line_info (ob
);
780 ob
->cgraph_node
= node
;
782 gcc_assert (current_function_decl
== NULL_TREE
&& cfun
== NULL
);
784 /* Set current_function_decl and cfun. */
787 /* Make string 0 be a NULL string. */
788 streamer_write_char_stream (ob
->string_stream
, 0);
790 streamer_write_record_start (ob
, LTO_function
);
792 output_struct_function_base (ob
, fn
);
794 /* Output all the SSA names used in the function. */
795 output_ssa_names (ob
, fn
);
797 /* Output any exception handling regions. */
798 output_eh_regions (ob
, fn
);
800 /* Output DECL_INITIAL for the function, which contains the tree of
802 stream_write_tree (ob
, DECL_INITIAL (function
), true);
804 /* We will renumber the statements. The code that does this uses
805 the same ordering that we use for serializing them so we can use
806 the same code on the other end and not have to write out the
807 statement numbers. We do not assign UIDs to PHIs here because
808 virtual PHIs get re-computed on-the-fly which would make numbers
810 set_gimple_stmt_max_uid (cfun
, 0);
813 gimple_stmt_iterator gsi
;
814 for (gsi
= gsi_start_bb (bb
); !gsi_end_p (gsi
); gsi_next (&gsi
))
816 gimple stmt
= gsi_stmt (gsi
);
817 gimple_set_uid (stmt
, inc_gimple_stmt_max_uid (cfun
));
821 /* Output the code for the function. */
822 FOR_ALL_BB_FN (bb
, fn
)
823 output_bb (ob
, bb
, fn
);
825 /* The terminator for this function. */
826 streamer_write_record_start (ob
, LTO_null
);
830 /* Create a section to hold the pickled output of this function. */
831 produce_asm (ob
, function
);
833 destroy_output_block (ob
);
839 /* Emit toplevel asms. */
842 lto_output_toplevel_asms (void)
844 struct output_block
*ob
;
845 struct asm_node
*can
;
847 struct lto_output_stream
*header_stream
;
848 struct lto_asm_header header
;
853 ob
= create_output_block (LTO_section_asm
);
855 /* Make string 0 be a NULL string. */
856 streamer_write_char_stream (ob
->string_stream
, 0);
858 for (can
= asm_nodes
; can
; can
= can
->next
)
860 streamer_write_string_cst (ob
, ob
->main_stream
, can
->asm_str
);
861 streamer_write_hwi (ob
, can
->order
);
864 streamer_write_string_cst (ob
, ob
->main_stream
, NULL_TREE
);
866 section_name
= lto_get_section_name (LTO_section_asm
, NULL
, NULL
);
867 lto_begin_section (section_name
, !flag_wpa
);
870 /* The entire header stream is computed here. */
871 memset (&header
, 0, sizeof (header
));
873 /* Write the header. */
874 header
.lto_header
.major_version
= LTO_major_version
;
875 header
.lto_header
.minor_version
= LTO_minor_version
;
877 header
.main_size
= ob
->main_stream
->total_size
;
878 header
.string_size
= ob
->string_stream
->total_size
;
880 header_stream
= XCNEW (struct lto_output_stream
);
881 lto_output_data_stream (header_stream
, &header
, sizeof (header
));
882 lto_write_stream (header_stream
);
883 free (header_stream
);
885 /* Put all of the gimple and the string table out the asm file as a
887 lto_write_stream (ob
->main_stream
);
888 lto_write_stream (ob
->string_stream
);
892 destroy_output_block (ob
);
896 /* Copy the function body of NODE without deserializing. */
899 copy_function (struct cgraph_node
*node
)
901 tree function
= node
->symbol
.decl
;
902 struct lto_file_decl_data
*file_data
= node
->symbol
.lto_file_data
;
903 struct lto_output_stream
*output_stream
= XCNEW (struct lto_output_stream
);
906 const char *name
= IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (function
));
908 lto_get_section_name (LTO_section_function_body
, name
, NULL
);
910 struct lto_in_decl_state
*in_state
;
911 struct lto_out_decl_state
*out_state
= lto_get_out_decl_state ();
913 lto_begin_section (section_name
, !flag_wpa
);
916 /* We may have renamed the declaration, e.g., a static function. */
917 name
= lto_get_decl_name_mapping (file_data
, name
);
919 data
= lto_get_section_data (file_data
, LTO_section_function_body
,
923 /* Do a bit copy of the function body. */
924 lto_output_data_stream (output_stream
, data
, len
);
925 lto_write_stream (output_stream
);
929 lto_get_function_in_decl_state (node
->symbol
.lto_file_data
, function
);
930 gcc_assert (in_state
);
932 for (i
= 0; i
< LTO_N_DECL_STREAMS
; i
++)
934 size_t n
= in_state
->streams
[i
].size
;
935 tree
*trees
= in_state
->streams
[i
].trees
;
936 struct lto_tree_ref_encoder
*encoder
= &(out_state
->streams
[i
]);
938 /* The out state must have the same indices and the in state.
939 So just copy the vector. All the encoders in the in state
940 must be empty where we reach here. */
941 gcc_assert (lto_tree_ref_encoder_size (encoder
) == 0);
942 for (j
= 0; j
< n
; j
++)
943 encoder
->trees
.safe_push (trees
[j
]);
944 encoder
->next_index
= n
;
947 lto_free_section_data (file_data
, LTO_section_function_body
, name
,
949 free (output_stream
);
954 /* Main entry point from the pass manager. */
959 struct lto_out_decl_state
*decl_state
;
960 #ifdef ENABLE_CHECKING
961 bitmap output
= lto_bitmap_alloc ();
964 lto_symtab_encoder_t encoder
= lto_get_out_decl_state ()->symtab_node_encoder
;
966 /* Initialize the streamer. */
967 lto_streamer_init ();
969 n_nodes
= lto_symtab_encoder_size (encoder
);
970 /* Process only the functions with bodies. */
971 for (i
= 0; i
< n_nodes
; i
++)
973 symtab_node snode
= lto_symtab_encoder_deref (encoder
, i
);
974 cgraph_node
*node
= dyn_cast
<cgraph_node
> (snode
);
976 && lto_symtab_encoder_encode_body_p (encoder
, node
)
978 && !node
->thunk
.thunk_p
)
980 #ifdef ENABLE_CHECKING
981 gcc_assert (!bitmap_bit_p (output
, DECL_UID (node
->symbol
.decl
)));
982 bitmap_set_bit (output
, DECL_UID (node
->symbol
.decl
));
984 decl_state
= lto_new_out_decl_state ();
985 lto_push_out_decl_state (decl_state
);
986 if (gimple_has_body_p (node
->symbol
.decl
))
987 output_function (node
);
989 copy_function (node
);
990 gcc_assert (lto_get_out_decl_state () == decl_state
);
991 lto_pop_out_decl_state ();
992 lto_record_function_out_decl_state (node
->symbol
.decl
, decl_state
);
996 /* Emit the callgraph after emitting function bodies. This needs to
997 be done now to make sure that all the statements in every function
998 have been renumbered so that edges can be associated with call
999 statements using the statement UIDs. */
1002 #ifdef ENABLE_CHECKING
1003 lto_bitmap_free (output
);
1007 struct ipa_opt_pass_d pass_ipa_lto_gimple_out
=
1011 "lto_gimple_out", /* name */
1012 OPTGROUP_NONE
, /* optinfo_flags */
1013 gate_lto_out
, /* gate */
1017 0, /* static_pass_number */
1018 TV_IPA_LTO_GIMPLE_OUT
, /* tv_id */
1019 0, /* properties_required */
1020 0, /* properties_provided */
1021 0, /* properties_destroyed */
1022 0, /* todo_flags_start */
1023 0 /* todo_flags_finish */
1025 NULL
, /* generate_summary */
1026 lto_output
, /* write_summary */
1027 NULL
, /* read_summary */
1028 lto_output
, /* write_optimization_summary */
1029 NULL
, /* read_optimization_summary */
1030 NULL
, /* stmt_fixup */
1032 NULL
, /* function_transform */
1033 NULL
/* variable_transform */
1037 /* Write each node in encoded by ENCODER to OB, as well as those reachable
1038 from it and required for correct representation of its semantics.
1039 Each node in ENCODER must be a global declaration or a type. A node
1040 is written only once, even if it appears multiple times in the
1041 vector. Certain transitively-reachable nodes, such as those
1042 representing expressions, may be duplicated, but such nodes
1043 must not appear in ENCODER itself. */
1046 write_global_stream (struct output_block
*ob
,
1047 struct lto_tree_ref_encoder
*encoder
)
1051 const size_t size
= lto_tree_ref_encoder_size (encoder
);
1053 for (index
= 0; index
< size
; index
++)
1055 t
= lto_tree_ref_encoder_get_tree (encoder
, index
);
1056 if (!streamer_tree_cache_lookup (ob
->writer_cache
, t
, NULL
))
1057 stream_write_tree (ob
, t
, false);
1062 /* Write a sequence of indices into the globals vector corresponding
1063 to the trees in ENCODER. These are used by the reader to map the
1064 indices used to refer to global entities within function bodies to
1068 write_global_references (struct output_block
*ob
,
1069 struct lto_output_stream
*ref_stream
,
1070 struct lto_tree_ref_encoder
*encoder
)
1074 const uint32_t size
= lto_tree_ref_encoder_size (encoder
);
1076 /* Write size as 32-bit unsigned. */
1077 lto_output_data_stream (ref_stream
, &size
, sizeof (int32_t));
1079 for (index
= 0; index
< size
; index
++)
1083 t
= lto_tree_ref_encoder_get_tree (encoder
, index
);
1084 streamer_tree_cache_lookup (ob
->writer_cache
, t
, &slot_num
);
1085 gcc_assert (slot_num
!= (unsigned)-1);
1086 lto_output_data_stream (ref_stream
, &slot_num
, sizeof slot_num
);
1091 /* Write all the streams in an lto_out_decl_state STATE using
1092 output block OB and output stream OUT_STREAM. */
1095 lto_output_decl_state_streams (struct output_block
*ob
,
1096 struct lto_out_decl_state
*state
)
1100 for (i
= 0; i
< LTO_N_DECL_STREAMS
; i
++)
1101 write_global_stream (ob
, &state
->streams
[i
]);
1105 /* Write all the references in an lto_out_decl_state STATE using
1106 output block OB and output stream OUT_STREAM. */
1109 lto_output_decl_state_refs (struct output_block
*ob
,
1110 struct lto_output_stream
*out_stream
,
1111 struct lto_out_decl_state
*state
)
1117 /* Write reference to FUNCTION_DECL. If there is not function,
1118 write reference to void_type_node. */
1119 decl
= (state
->fn_decl
) ? state
->fn_decl
: void_type_node
;
1120 streamer_tree_cache_lookup (ob
->writer_cache
, decl
, &ref
);
1121 gcc_assert (ref
!= (unsigned)-1);
1122 lto_output_data_stream (out_stream
, &ref
, sizeof (uint32_t));
1124 for (i
= 0; i
< LTO_N_DECL_STREAMS
; i
++)
1125 write_global_references (ob
, out_stream
, &state
->streams
[i
]);
1129 /* Return the written size of STATE. */
1132 lto_out_decl_state_written_size (struct lto_out_decl_state
*state
)
1137 size
= sizeof (int32_t); /* fn_ref. */
1138 for (i
= 0; i
< LTO_N_DECL_STREAMS
; i
++)
1140 size
+= sizeof (int32_t); /* vector size. */
1141 size
+= (lto_tree_ref_encoder_size (&state
->streams
[i
])
1142 * sizeof (int32_t));
1148 /* Write symbol T into STREAM in CACHE. SEEN specifies symbols we wrote
1152 write_symbol (struct streamer_tree_cache_d
*cache
,
1153 struct lto_output_stream
*stream
,
1154 tree t
, struct pointer_set_t
*seen
, bool alias
)
1157 enum gcc_plugin_symbol_kind kind
;
1158 enum gcc_plugin_symbol_visibility visibility
;
1160 unsigned HOST_WIDEST_INT size
;
1164 /* None of the following kinds of symbols are needed in the
1166 if (!TREE_PUBLIC (t
)
1167 || is_builtin_fn (t
)
1168 || DECL_ABSTRACT (t
)
1169 || TREE_CODE (t
) == RESULT_DECL
)
1172 gcc_assert (TREE_CODE (t
) == VAR_DECL
1173 || TREE_CODE (t
) == FUNCTION_DECL
);
1175 name
= IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (t
));
1177 /* This behaves like assemble_name_raw in varasm.c, performing the
1178 same name manipulations that ASM_OUTPUT_LABELREF does. */
1179 name
= IDENTIFIER_POINTER ((*targetm
.asm_out
.mangle_assembler_name
) (name
));
1181 if (pointer_set_contains (seen
, name
))
1183 pointer_set_insert (seen
, name
);
1185 streamer_tree_cache_lookup (cache
, t
, &slot_num
);
1186 gcc_assert (slot_num
!= (unsigned)-1);
1188 if (DECL_EXTERNAL (t
))
1191 kind
= GCCPK_WEAKUNDEF
;
1198 kind
= GCCPK_WEAKDEF
;
1199 else if (DECL_COMMON (t
))
1200 kind
= GCCPK_COMMON
;
1204 /* When something is defined, it should have node attached. */
1205 gcc_assert (alias
|| TREE_CODE (t
) != VAR_DECL
1206 || varpool_get_node (t
)->finalized
);
1207 gcc_assert (alias
|| TREE_CODE (t
) != FUNCTION_DECL
1208 || (cgraph_get_node (t
)
1209 && cgraph_get_node (t
)->analyzed
));
1212 /* Imitate what default_elf_asm_output_external do.
1213 When symbol is external, we need to output it with DEFAULT visibility
1214 when compiling with -fvisibility=default, while with HIDDEN visibility
1215 when symbol has attribute (visibility("hidden")) specified.
1216 targetm.binds_local_p check DECL_VISIBILITY_SPECIFIED and gets this
1219 if (DECL_EXTERNAL (t
)
1220 && !targetm
.binds_local_p (t
))
1221 visibility
= GCCPV_DEFAULT
;
1223 switch (DECL_VISIBILITY(t
))
1225 case VISIBILITY_DEFAULT
:
1226 visibility
= GCCPV_DEFAULT
;
1228 case VISIBILITY_PROTECTED
:
1229 visibility
= GCCPV_PROTECTED
;
1231 case VISIBILITY_HIDDEN
:
1232 visibility
= GCCPV_HIDDEN
;
1234 case VISIBILITY_INTERNAL
:
1235 visibility
= GCCPV_INTERNAL
;
1239 if (kind
== GCCPK_COMMON
1240 && DECL_SIZE_UNIT (t
)
1241 && TREE_CODE (DECL_SIZE_UNIT (t
)) == INTEGER_CST
)
1242 size
= TREE_INT_CST_LOW (DECL_SIZE_UNIT (t
));
1246 if (DECL_ONE_ONLY (t
))
1247 comdat
= IDENTIFIER_POINTER (DECL_COMDAT_GROUP (t
));
1251 lto_output_data_stream (stream
, name
, strlen (name
) + 1);
1252 lto_output_data_stream (stream
, comdat
, strlen (comdat
) + 1);
1253 c
= (unsigned char) kind
;
1254 lto_output_data_stream (stream
, &c
, 1);
1255 c
= (unsigned char) visibility
;
1256 lto_output_data_stream (stream
, &c
, 1);
1257 lto_output_data_stream (stream
, &size
, 8);
1258 lto_output_data_stream (stream
, &slot_num
, 4);
1261 /* Return true if NODE should appear in the plugin symbol table. */
1264 output_symbol_p (symtab_node node
)
1266 struct cgraph_node
*cnode
;
1267 struct ipa_ref
*ref
;
1269 if (!symtab_real_symbol_p (node
))
1271 /* We keep external functions in symtab for sake of inlining
1272 and devirtualization. We do not want to see them in symbol table as
1274 cnode
= dyn_cast
<cgraph_node
> (node
);
1275 if (cnode
&& DECL_EXTERNAL (cnode
->symbol
.decl
))
1276 return (cnode
->callers
1277 || ipa_ref_list_referring_iterate (&cnode
->symbol
.ref_list
, 0, ref
));
1282 /* Write an IL symbol table to OB.
1283 SET and VSET are cgraph/varpool node sets we are outputting. */
1286 produce_symtab (struct output_block
*ob
)
1288 struct streamer_tree_cache_d
*cache
= ob
->writer_cache
;
1289 char *section_name
= lto_get_section_name (LTO_section_symtab
, NULL
, NULL
);
1290 struct pointer_set_t
*seen
;
1291 struct lto_output_stream stream
;
1292 lto_symtab_encoder_t encoder
= ob
->decl_state
->symtab_node_encoder
;
1293 lto_symtab_encoder_iterator lsei
;
1295 lto_begin_section (section_name
, false);
1296 free (section_name
);
1298 seen
= pointer_set_create ();
1299 memset (&stream
, 0, sizeof (stream
));
1301 /* Write the symbol table.
1302 First write everything defined and then all declarations.
1303 This is neccesary to handle cases where we have duplicated symbols. */
1304 for (lsei
= lsei_start (encoder
);
1305 !lsei_end_p (lsei
); lsei_next (&lsei
))
1307 symtab_node node
= lsei_node (lsei
);
1309 if (!output_symbol_p (node
) || DECL_EXTERNAL (node
->symbol
.decl
))
1311 write_symbol (cache
, &stream
, node
->symbol
.decl
, seen
, false);
1313 for (lsei
= lsei_start (encoder
);
1314 !lsei_end_p (lsei
); lsei_next (&lsei
))
1316 symtab_node node
= lsei_node (lsei
);
1318 if (!output_symbol_p (node
) || !DECL_EXTERNAL (node
->symbol
.decl
))
1320 write_symbol (cache
, &stream
, node
->symbol
.decl
, seen
, false);
1323 lto_write_stream (&stream
);
1324 pointer_set_destroy (seen
);
1330 /* This pass is run after all of the functions are serialized and all
1331 of the IPA passes have written their serialized forms. This pass
1332 causes the vector of all of the global decls and types used from
1333 this file to be written in to a section that can then be read in to
1334 recover these on other side. */
1337 produce_asm_for_decls (void)
1339 struct lto_out_decl_state
*out_state
;
1340 struct lto_out_decl_state
*fn_out_state
;
1341 struct lto_decl_header header
;
1343 struct output_block
*ob
;
1344 struct lto_output_stream
*header_stream
, *decl_state_stream
;
1345 unsigned idx
, num_fns
;
1346 size_t decl_state_size
;
1347 int32_t num_decl_states
;
1349 ob
= create_output_block (LTO_section_decls
);
1352 memset (&header
, 0, sizeof (struct lto_decl_header
));
1354 section_name
= lto_get_section_name (LTO_section_decls
, NULL
, NULL
);
1355 lto_begin_section (section_name
, !flag_wpa
);
1356 free (section_name
);
1358 /* Make string 0 be a NULL string. */
1359 streamer_write_char_stream (ob
->string_stream
, 0);
1361 gcc_assert (!alias_pairs
);
1363 /* Write the global symbols. */
1364 out_state
= lto_get_out_decl_state ();
1365 num_fns
= lto_function_decl_states
.length ();
1366 lto_output_decl_state_streams (ob
, out_state
);
1367 for (idx
= 0; idx
< num_fns
; idx
++)
1370 lto_function_decl_states
[idx
];
1371 lto_output_decl_state_streams (ob
, fn_out_state
);
1374 header
.lto_header
.major_version
= LTO_major_version
;
1375 header
.lto_header
.minor_version
= LTO_minor_version
;
1377 /* Currently not used. This field would allow us to preallocate
1378 the globals vector, so that it need not be resized as it is extended. */
1379 header
.num_nodes
= -1;
1381 /* Compute the total size of all decl out states. */
1382 decl_state_size
= sizeof (int32_t);
1383 decl_state_size
+= lto_out_decl_state_written_size (out_state
);
1384 for (idx
= 0; idx
< num_fns
; idx
++)
1387 lto_function_decl_states
[idx
];
1388 decl_state_size
+= lto_out_decl_state_written_size (fn_out_state
);
1390 header
.decl_state_size
= decl_state_size
;
1392 header
.main_size
= ob
->main_stream
->total_size
;
1393 header
.string_size
= ob
->string_stream
->total_size
;
1395 header_stream
= XCNEW (struct lto_output_stream
);
1396 lto_output_data_stream (header_stream
, &header
, sizeof header
);
1397 lto_write_stream (header_stream
);
1398 free (header_stream
);
1400 /* Write the main out-decl state, followed by out-decl states of
1402 decl_state_stream
= XCNEW (struct lto_output_stream
);
1403 num_decl_states
= num_fns
+ 1;
1404 lto_output_data_stream (decl_state_stream
, &num_decl_states
,
1405 sizeof (num_decl_states
));
1406 lto_output_decl_state_refs (ob
, decl_state_stream
, out_state
);
1407 for (idx
= 0; idx
< num_fns
; idx
++)
1410 lto_function_decl_states
[idx
];
1411 lto_output_decl_state_refs (ob
, decl_state_stream
, fn_out_state
);
1413 lto_write_stream (decl_state_stream
);
1414 free(decl_state_stream
);
1416 lto_write_stream (ob
->main_stream
);
1417 lto_write_stream (ob
->string_stream
);
1421 /* Write the symbol table. It is used by linker to determine dependencies
1422 and thus we can skip it for WPA. */
1424 produce_symtab (ob
);
1426 /* Write command line opts. */
1427 lto_write_options ();
1429 /* Deallocate memory and clean up. */
1430 for (idx
= 0; idx
< num_fns
; idx
++)
1433 lto_function_decl_states
[idx
];
1434 lto_delete_out_decl_state (fn_out_state
);
1436 lto_symtab_encoder_delete (ob
->decl_state
->symtab_node_encoder
);
1437 lto_function_decl_states
.release ();
1438 destroy_output_block (ob
);
1442 struct ipa_opt_pass_d pass_ipa_lto_finish_out
=
1446 "lto_decls_out", /* name */
1447 OPTGROUP_NONE
, /* optinfo_flags */
1448 gate_lto_out
, /* gate */
1452 0, /* static_pass_number */
1453 TV_IPA_LTO_DECL_OUT
, /* tv_id */
1454 0, /* properties_required */
1455 0, /* properties_provided */
1456 0, /* properties_destroyed */
1457 0, /* todo_flags_start */
1458 0 /* todo_flags_finish */
1460 NULL
, /* generate_summary */
1461 produce_asm_for_decls
, /* write_summary */
1462 NULL
, /* read_summary */
1463 produce_asm_for_decls
, /* write_optimization_summary */
1464 NULL
, /* read_optimization_summary */
1465 NULL
, /* stmt_fixup */
1467 NULL
, /* function_transform */
1468 NULL
/* variable_transform */