1 /* Write the GIMPLE representation to a file stream.
3 Copyright 2009, 2010 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_bitpack (struct bitpack_d
*bp
,
153 struct output_block
*ob
,
156 expanded_location xloc
;
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 if (ob
->current_file
!= xloc
.file
)
166 bp_pack_var_len_unsigned (bp
,
167 streamer_string_index (ob
, xloc
.file
,
168 strlen (xloc
.file
) + 1,
170 ob
->current_file
= xloc
.file
;
172 bp_pack_value (bp
, ob
->current_line
!= xloc
.line
, 1);
173 if (ob
->current_line
!= xloc
.line
)
174 bp_pack_var_len_unsigned (bp
, xloc
.line
);
175 ob
->current_line
= xloc
.line
;
177 bp_pack_value (bp
, ob
->current_col
!= xloc
.column
, 1);
178 if (ob
->current_col
!= xloc
.column
)
179 bp_pack_var_len_unsigned (bp
, xloc
.column
);
180 ob
->current_col
= xloc
.column
;
184 /* Emit location LOC to output block OB.
185 If the output_location streamer hook exists, call it.
186 Otherwise, when bitpack is handy, it is more space efficient to call
187 lto_output_location_bitpack with existing bitpack. */
190 lto_output_location (struct output_block
*ob
, location_t loc
)
192 if (streamer_hooks
.output_location
)
193 streamer_hooks
.output_location (ob
, loc
);
196 struct bitpack_d bp
= bitpack_create (ob
->main_stream
);
197 lto_output_location_bitpack (&bp
, ob
, loc
);
198 streamer_write_bitpack (&bp
);
203 /* If EXPR is an indexable tree node, output a reference to it to
204 output block OB. Otherwise, output the physical representation of
208 lto_output_tree_ref (struct output_block
*ob
, tree expr
)
214 output_type_ref (ob
, expr
);
218 code
= TREE_CODE (expr
);
222 streamer_write_record_start (ob
, LTO_ssa_name_ref
);
223 streamer_write_uhwi (ob
, SSA_NAME_VERSION (expr
));
227 streamer_write_record_start (ob
, LTO_field_decl_ref
);
228 lto_output_field_decl_index (ob
->decl_state
, ob
->main_stream
, expr
);
232 streamer_write_record_start (ob
, LTO_function_decl_ref
);
233 lto_output_fn_decl_index (ob
->decl_state
, ob
->main_stream
, expr
);
237 case DEBUG_EXPR_DECL
:
238 gcc_assert (decl_function_context (expr
) == NULL
|| TREE_STATIC (expr
));
239 streamer_write_record_start (ob
, LTO_global_decl_ref
);
240 lto_output_var_decl_index (ob
->decl_state
, ob
->main_stream
, expr
);
244 streamer_write_record_start (ob
, LTO_const_decl_ref
);
245 lto_output_var_decl_index (ob
->decl_state
, ob
->main_stream
, expr
);
249 gcc_assert (decl_function_context (expr
) == NULL
);
250 streamer_write_record_start (ob
, LTO_imported_decl_ref
);
251 lto_output_var_decl_index (ob
->decl_state
, ob
->main_stream
, expr
);
255 streamer_write_record_start (ob
, LTO_type_decl_ref
);
256 lto_output_type_decl_index (ob
->decl_state
, ob
->main_stream
, expr
);
260 streamer_write_record_start (ob
, LTO_namespace_decl_ref
);
261 lto_output_namespace_decl_index (ob
->decl_state
, ob
->main_stream
, expr
);
265 streamer_write_record_start (ob
, LTO_label_decl_ref
);
266 lto_output_var_decl_index (ob
->decl_state
, ob
->main_stream
, expr
);
270 streamer_write_record_start (ob
, LTO_result_decl_ref
);
271 lto_output_var_decl_index (ob
->decl_state
, ob
->main_stream
, expr
);
274 case TRANSLATION_UNIT_DECL
:
275 streamer_write_record_start (ob
, LTO_translation_unit_decl_ref
);
276 lto_output_var_decl_index (ob
->decl_state
, ob
->main_stream
, expr
);
280 /* No other node is indexable, so it should have been handled by
287 /* Return true if EXPR is a tree node that can be written to disk. */
290 lto_is_streamable (tree expr
)
292 enum tree_code code
= TREE_CODE (expr
);
294 /* Notice that we reject SSA_NAMEs as well. We only emit the SSA
295 name version in lto_output_tree_ref (see output_ssa_names). */
296 return !is_lang_specific (expr
)
300 && code
!= MODIFY_EXPR
302 && code
!= TARGET_EXPR
304 && code
!= WITH_CLEANUP_EXPR
305 && code
!= STATEMENT_LIST
306 && code
!= OMP_CLAUSE
307 && (code
== CASE_LABEL_EXPR
309 || TREE_CODE_CLASS (code
) != tcc_statement
);
313 /* Write a physical representation of tree node EXPR to output block
314 OB. If REF_P is true, the leaves of EXPR are emitted as references
315 via lto_output_tree_ref. IX is the index into the streamer cache
316 where EXPR is stored. */
319 lto_write_tree (struct output_block
*ob
, tree expr
, bool ref_p
)
323 if (!lto_is_streamable (expr
))
324 internal_error ("tree code %qs is not supported in LTO streams",
325 tree_code_name
[TREE_CODE (expr
)]);
327 /* Write the header, containing everything needed to materialize
328 EXPR on the reading side. */
329 streamer_write_tree_header (ob
, expr
);
331 /* Pack all the non-pointer fields in EXPR into a bitpack and write
332 the resulting bitpack. */
333 bp
= bitpack_create (ob
->main_stream
);
334 streamer_pack_tree_bitfields (&bp
, expr
);
335 streamer_write_bitpack (&bp
);
337 /* Write all the pointer fields in EXPR. */
338 streamer_write_tree_body (ob
, expr
, ref_p
);
340 /* Write any LTO-specific data to OB. */
342 && TREE_CODE (expr
) != FUNCTION_DECL
343 && TREE_CODE (expr
) != TRANSLATION_UNIT_DECL
)
345 /* Handle DECL_INITIAL for symbols. */
346 tree initial
= DECL_INITIAL (expr
);
347 if (TREE_CODE (expr
) == VAR_DECL
348 && (TREE_STATIC (expr
) || DECL_EXTERNAL (expr
))
351 lto_varpool_encoder_t varpool_encoder
;
352 struct varpool_node
*vnode
;
354 varpool_encoder
= ob
->decl_state
->varpool_node_encoder
;
355 vnode
= varpool_get_node (expr
);
357 || !lto_varpool_encoder_encode_initializer_p (varpool_encoder
,
359 initial
= error_mark_node
;
362 stream_write_tree (ob
, initial
, ref_p
);
365 /* Mark the end of EXPR. */
366 streamer_write_zero (ob
);
370 /* Emit the physical representation of tree node EXPR to output block
371 OB. If THIS_REF_P is true, the leaves of EXPR are emitted as references
372 via lto_output_tree_ref. REF_P is used for streaming siblings of EXPR. */
375 lto_output_tree (struct output_block
*ob
, tree expr
,
376 bool ref_p
, bool this_ref_p
)
381 if (expr
== NULL_TREE
)
383 streamer_write_record_start (ob
, LTO_null
);
387 if (this_ref_p
&& tree_is_indexable (expr
))
389 lto_output_tree_ref (ob
, expr
);
393 /* INTEGER_CST nodes are special because they need their original type
394 to be materialized by the reader (to implement TYPE_CACHED_VALUES). */
395 if (TREE_CODE (expr
) == INTEGER_CST
)
397 streamer_write_integer_cst (ob
, expr
, ref_p
);
401 existed_p
= streamer_tree_cache_insert (ob
->writer_cache
, expr
, &ix
);
404 /* If a node has already been streamed out, make sure that
405 we don't write it more than once. Otherwise, the reader
406 will instantiate two different nodes for the same object. */
407 streamer_write_record_start (ob
, LTO_tree_pickle_reference
);
408 streamer_write_uhwi (ob
, ix
);
409 streamer_write_enum (ob
->main_stream
, LTO_tags
, LTO_NUM_TAGS
,
410 lto_tree_code_to_tag (TREE_CODE (expr
)));
412 else if (streamer_handle_as_builtin_p (expr
))
414 /* MD and NORMAL builtins do not need to be written out
415 completely as they are always instantiated by the
416 compiler on startup. The only builtins that need to
417 be written out are BUILT_IN_FRONTEND. For all other
418 builtins, we simply write the class and code. */
419 streamer_write_builtin (ob
, expr
);
423 /* This is the first time we see EXPR, write its fields
425 lto_write_tree (ob
, expr
, ref_p
);
430 /* Output to OB a list of try/catch handlers starting with FIRST. */
433 output_eh_try_list (struct output_block
*ob
, eh_catch first
)
437 for (n
= first
; n
; n
= n
->next_catch
)
439 streamer_write_record_start (ob
, LTO_eh_catch
);
440 stream_write_tree (ob
, n
->type_list
, true);
441 stream_write_tree (ob
, n
->filter_list
, true);
442 stream_write_tree (ob
, n
->label
, true);
445 streamer_write_record_start (ob
, LTO_null
);
449 /* Output EH region R in function FN to OB. CURR_RN is the slot index
450 that is being emitted in FN->EH->REGION_ARRAY. This is used to
451 detect EH region sharing. */
454 output_eh_region (struct output_block
*ob
, eh_region r
)
460 streamer_write_record_start (ob
, LTO_null
);
464 if (r
->type
== ERT_CLEANUP
)
465 tag
= LTO_ert_cleanup
;
466 else if (r
->type
== ERT_TRY
)
468 else if (r
->type
== ERT_ALLOWED_EXCEPTIONS
)
469 tag
= LTO_ert_allowed_exceptions
;
470 else if (r
->type
== ERT_MUST_NOT_THROW
)
471 tag
= LTO_ert_must_not_throw
;
475 streamer_write_record_start (ob
, tag
);
476 streamer_write_hwi (ob
, r
->index
);
479 streamer_write_hwi (ob
, r
->outer
->index
);
481 streamer_write_zero (ob
);
484 streamer_write_hwi (ob
, r
->inner
->index
);
486 streamer_write_zero (ob
);
489 streamer_write_hwi (ob
, r
->next_peer
->index
);
491 streamer_write_zero (ob
);
493 if (r
->type
== ERT_TRY
)
495 output_eh_try_list (ob
, r
->u
.eh_try
.first_catch
);
497 else if (r
->type
== ERT_ALLOWED_EXCEPTIONS
)
499 stream_write_tree (ob
, r
->u
.allowed
.type_list
, true);
500 stream_write_tree (ob
, r
->u
.allowed
.label
, true);
501 streamer_write_uhwi (ob
, r
->u
.allowed
.filter
);
503 else if (r
->type
== ERT_MUST_NOT_THROW
)
505 stream_write_tree (ob
, r
->u
.must_not_throw
.failure_decl
, true);
506 lto_output_location (ob
, r
->u
.must_not_throw
.failure_loc
);
510 streamer_write_hwi (ob
, r
->landing_pads
->index
);
512 streamer_write_zero (ob
);
516 /* Output landing pad LP to OB. */
519 output_eh_lp (struct output_block
*ob
, eh_landing_pad lp
)
523 streamer_write_record_start (ob
, LTO_null
);
527 streamer_write_record_start (ob
, LTO_eh_landing_pad
);
528 streamer_write_hwi (ob
, lp
->index
);
530 streamer_write_hwi (ob
, lp
->next_lp
->index
);
532 streamer_write_zero (ob
);
535 streamer_write_hwi (ob
, lp
->region
->index
);
537 streamer_write_zero (ob
);
539 stream_write_tree (ob
, lp
->post_landing_pad
, true);
543 /* Output the existing eh_table to OB. */
546 output_eh_regions (struct output_block
*ob
, struct function
*fn
)
548 if (fn
->eh
&& fn
->eh
->region_tree
)
555 streamer_write_record_start (ob
, LTO_eh_table
);
557 /* Emit the index of the root of the EH region tree. */
558 streamer_write_hwi (ob
, fn
->eh
->region_tree
->index
);
560 /* Emit all the EH regions in the region array. */
561 streamer_write_hwi (ob
, VEC_length (eh_region
, fn
->eh
->region_array
));
562 FOR_EACH_VEC_ELT (eh_region
, fn
->eh
->region_array
, i
, eh
)
563 output_eh_region (ob
, eh
);
565 /* Emit all landing pads. */
566 streamer_write_hwi (ob
, VEC_length (eh_landing_pad
, fn
->eh
->lp_array
));
567 FOR_EACH_VEC_ELT (eh_landing_pad
, fn
->eh
->lp_array
, i
, lp
)
568 output_eh_lp (ob
, lp
);
570 /* Emit all the runtime type data. */
571 streamer_write_hwi (ob
, VEC_length (tree
, fn
->eh
->ttype_data
));
572 FOR_EACH_VEC_ELT (tree
, fn
->eh
->ttype_data
, i
, ttype
)
573 stream_write_tree (ob
, ttype
, true);
575 /* Emit the table of action chains. */
576 if (targetm
.arm_eabi_unwinder
)
579 streamer_write_hwi (ob
, VEC_length (tree
,
580 fn
->eh
->ehspec_data
.arm_eabi
));
581 FOR_EACH_VEC_ELT (tree
, fn
->eh
->ehspec_data
.arm_eabi
, i
, t
)
582 stream_write_tree (ob
, t
, true);
587 streamer_write_hwi (ob
, VEC_length (uchar
,
588 fn
->eh
->ehspec_data
.other
));
589 FOR_EACH_VEC_ELT (uchar
, fn
->eh
->ehspec_data
.other
, i
, c
)
590 streamer_write_char_stream (ob
->main_stream
, c
);
594 /* The LTO_null either terminates the record or indicates that there
595 are no eh_records at all. */
596 streamer_write_record_start (ob
, LTO_null
);
600 /* Output all of the active ssa names to the ssa_names stream. */
603 output_ssa_names (struct output_block
*ob
, struct function
*fn
)
607 len
= VEC_length (tree
, SSANAMES (fn
));
608 streamer_write_uhwi (ob
, len
);
610 for (i
= 1; i
< len
; i
++)
612 tree ptr
= VEC_index (tree
, SSANAMES (fn
), i
);
615 || SSA_NAME_IN_FREE_LIST (ptr
)
616 || !is_gimple_reg (ptr
))
619 streamer_write_uhwi (ob
, i
);
620 streamer_write_char_stream (ob
->main_stream
,
621 SSA_NAME_IS_DEFAULT_DEF (ptr
));
622 stream_write_tree (ob
, SSA_NAME_VAR (ptr
), true);
625 streamer_write_zero (ob
);
629 /* Output the cfg. */
632 output_cfg (struct output_block
*ob
, struct function
*fn
)
634 struct lto_output_stream
*tmp_stream
= ob
->main_stream
;
637 ob
->main_stream
= ob
->cfg_stream
;
639 streamer_write_enum (ob
->main_stream
, profile_status_d
, PROFILE_LAST
,
640 profile_status_for_function (fn
));
642 /* Output the number of the highest basic block. */
643 streamer_write_uhwi (ob
, last_basic_block_for_function (fn
));
645 FOR_ALL_BB_FN (bb
, fn
)
650 streamer_write_hwi (ob
, bb
->index
);
652 /* Output the successors and the edge flags. */
653 streamer_write_uhwi (ob
, EDGE_COUNT (bb
->succs
));
654 FOR_EACH_EDGE (e
, ei
, bb
->succs
)
656 streamer_write_uhwi (ob
, e
->dest
->index
);
657 streamer_write_hwi (ob
, e
->probability
);
658 streamer_write_hwi (ob
, e
->count
);
659 streamer_write_uhwi (ob
, e
->flags
);
663 streamer_write_hwi (ob
, -1);
665 bb
= ENTRY_BLOCK_PTR
;
668 streamer_write_hwi (ob
, bb
->next_bb
->index
);
672 streamer_write_hwi (ob
, -1);
674 ob
->main_stream
= tmp_stream
;
678 /* Create the header in the file using OB. If the section type is for
679 a function, set FN to the decl for that function. */
682 produce_asm (struct output_block
*ob
, tree fn
)
684 enum lto_section_type section_type
= ob
->section_type
;
685 struct lto_function_header header
;
687 struct lto_output_stream
*header_stream
;
689 if (section_type
== LTO_section_function_body
)
691 const char *name
= IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (fn
));
692 section_name
= lto_get_section_name (section_type
, name
, NULL
);
695 section_name
= lto_get_section_name (section_type
, NULL
, NULL
);
697 lto_begin_section (section_name
, !flag_wpa
);
700 /* The entire header is stream computed here. */
701 memset (&header
, 0, sizeof (struct lto_function_header
));
703 /* Write the header. */
704 header
.lto_header
.major_version
= LTO_major_version
;
705 header
.lto_header
.minor_version
= LTO_minor_version
;
706 header
.lto_header
.section_type
= section_type
;
708 header
.compressed_size
= 0;
710 if (section_type
== LTO_section_function_body
)
711 header
.cfg_size
= ob
->cfg_stream
->total_size
;
712 header
.main_size
= ob
->main_stream
->total_size
;
713 header
.string_size
= ob
->string_stream
->total_size
;
715 header_stream
= XCNEW (struct lto_output_stream
);
716 lto_output_data_stream (header_stream
, &header
, sizeof header
);
717 lto_write_stream (header_stream
);
718 free (header_stream
);
720 /* Put all of the gimple and the string table out the asm file as a
722 if (section_type
== LTO_section_function_body
)
723 lto_write_stream (ob
->cfg_stream
);
724 lto_write_stream (ob
->main_stream
);
725 lto_write_stream (ob
->string_stream
);
731 /* Output the base body of struct function FN using output block OB. */
734 output_struct_function_base (struct output_block
*ob
, struct function
*fn
)
740 /* Output the static chain and non-local goto save area. */
741 stream_write_tree (ob
, fn
->static_chain_decl
, true);
742 stream_write_tree (ob
, fn
->nonlocal_goto_save_area
, true);
744 /* Output all the local variables in the function. */
745 streamer_write_hwi (ob
, VEC_length (tree
, fn
->local_decls
));
746 FOR_EACH_VEC_ELT (tree
, fn
->local_decls
, i
, t
)
747 stream_write_tree (ob
, t
, true);
749 /* Output the function start and end loci. */
750 lto_output_location (ob
, fn
->function_start_locus
);
751 lto_output_location (ob
, fn
->function_end_locus
);
753 /* Output current IL state of the function. */
754 streamer_write_uhwi (ob
, fn
->curr_properties
);
756 /* Write all the attributes for FN. */
757 bp
= bitpack_create (ob
->main_stream
);
758 bp_pack_value (&bp
, fn
->is_thunk
, 1);
759 bp_pack_value (&bp
, fn
->has_local_explicit_reg_vars
, 1);
760 bp_pack_value (&bp
, fn
->after_tree_profile
, 1);
761 bp_pack_value (&bp
, fn
->returns_pcc_struct
, 1);
762 bp_pack_value (&bp
, fn
->returns_struct
, 1);
763 bp_pack_value (&bp
, fn
->can_throw_non_call_exceptions
, 1);
764 bp_pack_value (&bp
, fn
->can_delete_dead_exceptions
, 1);
765 bp_pack_value (&bp
, fn
->always_inline_functions_inlined
, 1);
766 bp_pack_value (&bp
, fn
->after_inlining
, 1);
767 bp_pack_value (&bp
, fn
->stdarg
, 1);
768 bp_pack_value (&bp
, fn
->has_nonlocal_label
, 1);
769 bp_pack_value (&bp
, fn
->calls_alloca
, 1);
770 bp_pack_value (&bp
, fn
->calls_setjmp
, 1);
771 bp_pack_value (&bp
, fn
->va_list_fpr_size
, 8);
772 bp_pack_value (&bp
, fn
->va_list_gpr_size
, 8);
773 streamer_write_bitpack (&bp
);
777 /* Output the body of function NODE->DECL. */
780 output_function (struct cgraph_node
*node
)
785 struct output_block
*ob
;
787 function
= node
->symbol
.decl
;
788 fn
= DECL_STRUCT_FUNCTION (function
);
789 ob
= create_output_block (LTO_section_function_body
);
791 clear_line_info (ob
);
792 ob
->cgraph_node
= node
;
794 gcc_assert (current_function_decl
== NULL_TREE
&& cfun
== NULL
);
796 /* Set current_function_decl and cfun. */
797 current_function_decl
= function
;
800 /* Make string 0 be a NULL string. */
801 streamer_write_char_stream (ob
->string_stream
, 0);
803 streamer_write_record_start (ob
, LTO_function
);
805 output_struct_function_base (ob
, fn
);
807 /* Output the head of the arguments list. */
808 stream_write_tree (ob
, DECL_ARGUMENTS (function
), true);
810 /* Output all the SSA names used in the function. */
811 output_ssa_names (ob
, fn
);
813 /* Output any exception handling regions. */
814 output_eh_regions (ob
, fn
);
816 /* Output DECL_INITIAL for the function, which contains the tree of
818 stream_write_tree (ob
, DECL_INITIAL (function
), true);
820 /* We will renumber the statements. The code that does this uses
821 the same ordering that we use for serializing them so we can use
822 the same code on the other end and not have to write out the
823 statement numbers. We do not assign UIDs to PHIs here because
824 virtual PHIs get re-computed on-the-fly which would make numbers
826 set_gimple_stmt_max_uid (cfun
, 0);
829 gimple_stmt_iterator gsi
;
830 for (gsi
= gsi_start_bb (bb
); !gsi_end_p (gsi
); gsi_next (&gsi
))
832 gimple stmt
= gsi_stmt (gsi
);
833 gimple_set_uid (stmt
, inc_gimple_stmt_max_uid (cfun
));
837 /* Output the code for the function. */
838 FOR_ALL_BB_FN (bb
, fn
)
839 output_bb (ob
, bb
, fn
);
841 /* The terminator for this function. */
842 streamer_write_record_start (ob
, LTO_null
);
846 /* Create a section to hold the pickled output of this function. */
847 produce_asm (ob
, function
);
849 destroy_output_block (ob
);
851 current_function_decl
= NULL
;
856 /* Emit toplevel asms. */
859 lto_output_toplevel_asms (void)
861 struct output_block
*ob
;
862 struct asm_node
*can
;
864 struct lto_output_stream
*header_stream
;
865 struct lto_asm_header header
;
870 ob
= create_output_block (LTO_section_asm
);
872 /* Make string 0 be a NULL string. */
873 streamer_write_char_stream (ob
->string_stream
, 0);
875 for (can
= asm_nodes
; can
; can
= can
->next
)
877 streamer_write_string_cst (ob
, ob
->main_stream
, can
->asm_str
);
878 streamer_write_hwi (ob
, can
->order
);
881 streamer_write_string_cst (ob
, ob
->main_stream
, NULL_TREE
);
883 section_name
= lto_get_section_name (LTO_section_asm
, NULL
, NULL
);
884 lto_begin_section (section_name
, !flag_wpa
);
887 /* The entire header stream is computed here. */
888 memset (&header
, 0, sizeof (header
));
890 /* Write the header. */
891 header
.lto_header
.major_version
= LTO_major_version
;
892 header
.lto_header
.minor_version
= LTO_minor_version
;
893 header
.lto_header
.section_type
= LTO_section_asm
;
895 header
.main_size
= ob
->main_stream
->total_size
;
896 header
.string_size
= ob
->string_stream
->total_size
;
898 header_stream
= XCNEW (struct lto_output_stream
);
899 lto_output_data_stream (header_stream
, &header
, sizeof (header
));
900 lto_write_stream (header_stream
);
901 free (header_stream
);
903 /* Put all of the gimple and the string table out the asm file as a
905 lto_write_stream (ob
->main_stream
);
906 lto_write_stream (ob
->string_stream
);
910 destroy_output_block (ob
);
914 /* Copy the function body of NODE without deserializing. */
917 copy_function (struct cgraph_node
*node
)
919 tree function
= node
->symbol
.decl
;
920 struct lto_file_decl_data
*file_data
= node
->symbol
.lto_file_data
;
921 struct lto_output_stream
*output_stream
= XCNEW (struct lto_output_stream
);
924 const char *name
= IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (function
));
926 lto_get_section_name (LTO_section_function_body
, name
, NULL
);
928 struct lto_in_decl_state
*in_state
;
929 struct lto_out_decl_state
*out_state
= lto_get_out_decl_state ();
931 lto_begin_section (section_name
, !flag_wpa
);
934 /* We may have renamed the declaration, e.g., a static function. */
935 name
= lto_get_decl_name_mapping (file_data
, name
);
937 data
= lto_get_section_data (file_data
, LTO_section_function_body
,
941 /* Do a bit copy of the function body. */
942 lto_output_data_stream (output_stream
, data
, len
);
943 lto_write_stream (output_stream
);
947 lto_get_function_in_decl_state (node
->symbol
.lto_file_data
, function
);
948 gcc_assert (in_state
);
950 for (i
= 0; i
< LTO_N_DECL_STREAMS
; i
++)
952 size_t n
= in_state
->streams
[i
].size
;
953 tree
*trees
= in_state
->streams
[i
].trees
;
954 struct lto_tree_ref_encoder
*encoder
= &(out_state
->streams
[i
]);
956 /* The out state must have the same indices and the in state.
957 So just copy the vector. All the encoders in the in state
958 must be empty where we reach here. */
959 gcc_assert (lto_tree_ref_encoder_size (encoder
) == 0);
960 for (j
= 0; j
< n
; j
++)
961 VEC_safe_push (tree
, heap
, encoder
->trees
, trees
[j
]);
962 encoder
->next_index
= n
;
965 lto_free_section_data (file_data
, LTO_section_function_body
, name
,
967 free (output_stream
);
972 /* Main entry point from the pass manager. */
975 lto_output (cgraph_node_set set
, varpool_node_set vset
)
977 struct cgraph_node
*node
;
978 struct lto_out_decl_state
*decl_state
;
979 #ifdef ENABLE_CHECKING
980 bitmap output
= lto_bitmap_alloc ();
983 lto_cgraph_encoder_t encoder
= lto_get_out_decl_state ()->cgraph_node_encoder
;
985 /* Initialize the streamer. */
986 lto_streamer_init ();
988 n_nodes
= lto_cgraph_encoder_size (encoder
);
989 /* Process only the functions with bodies. */
990 for (i
= 0; i
< n_nodes
; i
++)
992 node
= lto_cgraph_encoder_deref (encoder
, i
);
993 if (lto_cgraph_encoder_encode_body_p (encoder
, node
)
995 && !node
->thunk
.thunk_p
)
997 #ifdef ENABLE_CHECKING
998 gcc_assert (!bitmap_bit_p (output
, DECL_UID (node
->symbol
.decl
)));
999 bitmap_set_bit (output
, DECL_UID (node
->symbol
.decl
));
1001 decl_state
= lto_new_out_decl_state ();
1002 lto_push_out_decl_state (decl_state
);
1003 if (gimple_has_body_p (node
->symbol
.decl
))
1004 output_function (node
);
1006 copy_function (node
);
1007 gcc_assert (lto_get_out_decl_state () == decl_state
);
1008 lto_pop_out_decl_state ();
1009 lto_record_function_out_decl_state (node
->symbol
.decl
, decl_state
);
1013 /* Emit the callgraph after emitting function bodies. This needs to
1014 be done now to make sure that all the statements in every function
1015 have been renumbered so that edges can be associated with call
1016 statements using the statement UIDs. */
1017 output_cgraph (set
, vset
);
1019 #ifdef ENABLE_CHECKING
1020 lto_bitmap_free (output
);
1024 struct ipa_opt_pass_d pass_ipa_lto_gimple_out
=
1028 "lto_gimple_out", /* name */
1029 gate_lto_out
, /* gate */
1033 0, /* static_pass_number */
1034 TV_IPA_LTO_GIMPLE_OUT
, /* tv_id */
1035 0, /* properties_required */
1036 0, /* properties_provided */
1037 0, /* properties_destroyed */
1038 0, /* todo_flags_start */
1039 0 /* todo_flags_finish */
1041 NULL
, /* generate_summary */
1042 lto_output
, /* write_summary */
1043 NULL
, /* read_summary */
1044 lto_output
, /* write_optimization_summary */
1045 NULL
, /* read_optimization_summary */
1046 NULL
, /* stmt_fixup */
1048 NULL
, /* function_transform */
1049 NULL
/* variable_transform */
1053 /* Write each node in encoded by ENCODER to OB, as well as those reachable
1054 from it and required for correct representation of its semantics.
1055 Each node in ENCODER must be a global declaration or a type. A node
1056 is written only once, even if it appears multiple times in the
1057 vector. Certain transitively-reachable nodes, such as those
1058 representing expressions, may be duplicated, but such nodes
1059 must not appear in ENCODER itself. */
1062 write_global_stream (struct output_block
*ob
,
1063 struct lto_tree_ref_encoder
*encoder
)
1067 const size_t size
= lto_tree_ref_encoder_size (encoder
);
1069 for (index
= 0; index
< size
; index
++)
1071 t
= lto_tree_ref_encoder_get_tree (encoder
, index
);
1072 if (!streamer_tree_cache_lookup (ob
->writer_cache
, t
, NULL
))
1073 stream_write_tree (ob
, t
, false);
1078 /* Write a sequence of indices into the globals vector corresponding
1079 to the trees in ENCODER. These are used by the reader to map the
1080 indices used to refer to global entities within function bodies to
1084 write_global_references (struct output_block
*ob
,
1085 struct lto_output_stream
*ref_stream
,
1086 struct lto_tree_ref_encoder
*encoder
)
1090 const uint32_t size
= lto_tree_ref_encoder_size (encoder
);
1092 /* Write size as 32-bit unsigned. */
1093 lto_output_data_stream (ref_stream
, &size
, sizeof (int32_t));
1095 for (index
= 0; index
< size
; index
++)
1099 t
= lto_tree_ref_encoder_get_tree (encoder
, index
);
1100 streamer_tree_cache_lookup (ob
->writer_cache
, t
, &slot_num
);
1101 gcc_assert (slot_num
!= (unsigned)-1);
1102 lto_output_data_stream (ref_stream
, &slot_num
, sizeof slot_num
);
1107 /* Write all the streams in an lto_out_decl_state STATE using
1108 output block OB and output stream OUT_STREAM. */
1111 lto_output_decl_state_streams (struct output_block
*ob
,
1112 struct lto_out_decl_state
*state
)
1116 for (i
= 0; i
< LTO_N_DECL_STREAMS
; i
++)
1117 write_global_stream (ob
, &state
->streams
[i
]);
1121 /* Write all the references in an lto_out_decl_state STATE using
1122 output block OB and output stream OUT_STREAM. */
1125 lto_output_decl_state_refs (struct output_block
*ob
,
1126 struct lto_output_stream
*out_stream
,
1127 struct lto_out_decl_state
*state
)
1133 /* Write reference to FUNCTION_DECL. If there is not function,
1134 write reference to void_type_node. */
1135 decl
= (state
->fn_decl
) ? state
->fn_decl
: void_type_node
;
1136 streamer_tree_cache_lookup (ob
->writer_cache
, decl
, &ref
);
1137 gcc_assert (ref
!= (unsigned)-1);
1138 lto_output_data_stream (out_stream
, &ref
, sizeof (uint32_t));
1140 for (i
= 0; i
< LTO_N_DECL_STREAMS
; i
++)
1141 write_global_references (ob
, out_stream
, &state
->streams
[i
]);
1145 /* Return the written size of STATE. */
1148 lto_out_decl_state_written_size (struct lto_out_decl_state
*state
)
1153 size
= sizeof (int32_t); /* fn_ref. */
1154 for (i
= 0; i
< LTO_N_DECL_STREAMS
; i
++)
1156 size
+= sizeof (int32_t); /* vector size. */
1157 size
+= (lto_tree_ref_encoder_size (&state
->streams
[i
])
1158 * sizeof (int32_t));
1164 /* Write symbol T into STREAM in CACHE. SEEN specifies symbols we wrote
1168 write_symbol (struct streamer_tree_cache_d
*cache
,
1169 struct lto_output_stream
*stream
,
1170 tree t
, struct pointer_set_t
*seen
, bool alias
)
1173 enum gcc_plugin_symbol_kind kind
;
1174 enum gcc_plugin_symbol_visibility visibility
;
1176 unsigned HOST_WIDEST_INT size
;
1180 /* None of the following kinds of symbols are needed in the
1182 if (!TREE_PUBLIC (t
)
1183 || is_builtin_fn (t
)
1184 || DECL_ABSTRACT (t
)
1185 || TREE_CODE (t
) == RESULT_DECL
)
1188 gcc_assert (TREE_CODE (t
) == VAR_DECL
1189 || TREE_CODE (t
) == FUNCTION_DECL
);
1191 name
= IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (t
));
1193 /* This behaves like assemble_name_raw in varasm.c, performing the
1194 same name manipulations that ASM_OUTPUT_LABELREF does. */
1195 name
= IDENTIFIER_POINTER ((*targetm
.asm_out
.mangle_assembler_name
) (name
));
1197 if (pointer_set_contains (seen
, name
))
1199 pointer_set_insert (seen
, name
);
1201 streamer_tree_cache_lookup (cache
, t
, &slot_num
);
1202 gcc_assert (slot_num
!= (unsigned)-1);
1204 if (DECL_EXTERNAL (t
))
1207 kind
= GCCPK_WEAKUNDEF
;
1214 kind
= GCCPK_WEAKDEF
;
1215 else if (DECL_COMMON (t
))
1216 kind
= GCCPK_COMMON
;
1220 /* When something is defined, it should have node attached. */
1221 gcc_assert (alias
|| TREE_CODE (t
) != VAR_DECL
1222 || varpool_get_node (t
)->finalized
);
1223 gcc_assert (alias
|| TREE_CODE (t
) != FUNCTION_DECL
1224 || (cgraph_get_node (t
)
1225 && cgraph_get_node (t
)->analyzed
));
1228 /* Imitate what default_elf_asm_output_external do.
1229 When symbol is external, we need to output it with DEFAULT visibility
1230 when compiling with -fvisibility=default, while with HIDDEN visibility
1231 when symbol has attribute (visibility("hidden")) specified.
1232 targetm.binds_local_p check DECL_VISIBILITY_SPECIFIED and gets this
1235 if (DECL_EXTERNAL (t
)
1236 && !targetm
.binds_local_p (t
))
1237 visibility
= GCCPV_DEFAULT
;
1239 switch (DECL_VISIBILITY(t
))
1241 case VISIBILITY_DEFAULT
:
1242 visibility
= GCCPV_DEFAULT
;
1244 case VISIBILITY_PROTECTED
:
1245 visibility
= GCCPV_PROTECTED
;
1247 case VISIBILITY_HIDDEN
:
1248 visibility
= GCCPV_HIDDEN
;
1250 case VISIBILITY_INTERNAL
:
1251 visibility
= GCCPV_INTERNAL
;
1255 if (kind
== GCCPK_COMMON
1256 && DECL_SIZE_UNIT (t
)
1257 && TREE_CODE (DECL_SIZE_UNIT (t
)) == INTEGER_CST
)
1258 size
= TREE_INT_CST_LOW (DECL_SIZE_UNIT (t
));
1262 if (DECL_ONE_ONLY (t
))
1263 comdat
= IDENTIFIER_POINTER (DECL_COMDAT_GROUP (t
));
1267 lto_output_data_stream (stream
, name
, strlen (name
) + 1);
1268 lto_output_data_stream (stream
, comdat
, strlen (comdat
) + 1);
1269 c
= (unsigned char) kind
;
1270 lto_output_data_stream (stream
, &c
, 1);
1271 c
= (unsigned char) visibility
;
1272 lto_output_data_stream (stream
, &c
, 1);
1273 lto_output_data_stream (stream
, &size
, 8);
1274 lto_output_data_stream (stream
, &slot_num
, 4);
1278 /* Write an IL symbol table to OB.
1279 SET and VSET are cgraph/varpool node sets we are outputting. */
1282 produce_symtab (struct output_block
*ob
)
1284 struct streamer_tree_cache_d
*cache
= ob
->writer_cache
;
1285 char *section_name
= lto_get_section_name (LTO_section_symtab
, NULL
, NULL
);
1286 struct pointer_set_t
*seen
;
1287 struct cgraph_node
*node
;
1288 struct varpool_node
*vnode
;
1289 struct lto_output_stream stream
;
1290 lto_varpool_encoder_t varpool_encoder
= ob
->decl_state
->varpool_node_encoder
;
1291 lto_cgraph_encoder_t encoder
= ob
->decl_state
->cgraph_node_encoder
;
1294 lto_begin_section (section_name
, false);
1295 free (section_name
);
1297 seen
= pointer_set_create ();
1298 memset (&stream
, 0, sizeof (stream
));
1300 /* Write all functions.
1301 First write all defined functions and then write all used functions.
1302 This is done so only to handle duplicated symbols in cgraph. */
1303 for (i
= 0; i
< lto_cgraph_encoder_size (encoder
); i
++)
1305 node
= lto_cgraph_encoder_deref (encoder
, i
);
1306 if (DECL_EXTERNAL (node
->symbol
.decl
))
1308 if (DECL_COMDAT (node
->symbol
.decl
)
1309 && cgraph_comdat_can_be_unshared_p (node
))
1311 if ((node
->alias
&& !node
->thunk
.alias
) || node
->global
.inlined_to
)
1313 write_symbol (cache
, &stream
, node
->symbol
.decl
, seen
, false);
1315 for (i
= 0; i
< lto_cgraph_encoder_size (encoder
); i
++)
1317 node
= lto_cgraph_encoder_deref (encoder
, i
);
1318 if (!DECL_EXTERNAL (node
->symbol
.decl
))
1320 /* We keep around unused extern inlines in order to be able to inline
1321 them indirectly or via vtables. Do not output them to symbol
1322 table: they end up being undefined and just consume space. */
1323 if (!node
->symbol
.address_taken
&& !node
->callers
)
1325 if (DECL_COMDAT (node
->symbol
.decl
)
1326 && cgraph_comdat_can_be_unshared_p (node
))
1328 if ((node
->alias
&& !node
->thunk
.alias
) || node
->global
.inlined_to
)
1330 write_symbol (cache
, &stream
, node
->symbol
.decl
, seen
, false);
1333 /* Write all variables. */
1334 for (i
= 0; i
< lto_varpool_encoder_size (varpool_encoder
); i
++)
1336 vnode
= lto_varpool_encoder_deref (varpool_encoder
, i
);
1337 if (DECL_EXTERNAL (vnode
->symbol
.decl
))
1339 /* COMDAT virtual tables can be unshared. Do not declare them
1340 in the LTO symbol table to prevent linker from forcing them
1342 if (DECL_COMDAT (vnode
->symbol
.decl
)
1343 && !vnode
->symbol
.force_output
1345 && DECL_VIRTUAL_P (vnode
->symbol
.decl
))
1347 if (vnode
->alias
&& !vnode
->alias_of
)
1349 write_symbol (cache
, &stream
, vnode
->symbol
.decl
, seen
, false);
1351 for (i
= 0; i
< lto_varpool_encoder_size (varpool_encoder
); i
++)
1353 vnode
= lto_varpool_encoder_deref (varpool_encoder
, i
);
1354 if (!DECL_EXTERNAL (vnode
->symbol
.decl
))
1356 if (DECL_COMDAT (vnode
->symbol
.decl
)
1357 && !vnode
->symbol
.force_output
1359 && DECL_VIRTUAL_P (vnode
->symbol
.decl
))
1361 if (vnode
->alias
&& !vnode
->alias_of
)
1363 write_symbol (cache
, &stream
, vnode
->symbol
.decl
, seen
, false);
1366 lto_write_stream (&stream
);
1367 pointer_set_destroy (seen
);
1373 /* This pass is run after all of the functions are serialized and all
1374 of the IPA passes have written their serialized forms. This pass
1375 causes the vector of all of the global decls and types used from
1376 this file to be written in to a section that can then be read in to
1377 recover these on other side. */
1380 produce_asm_for_decls (cgraph_node_set set ATTRIBUTE_UNUSED
,
1381 varpool_node_set vset ATTRIBUTE_UNUSED
)
1383 struct lto_out_decl_state
*out_state
;
1384 struct lto_out_decl_state
*fn_out_state
;
1385 struct lto_decl_header header
;
1387 struct output_block
*ob
;
1388 struct lto_output_stream
*header_stream
, *decl_state_stream
;
1389 unsigned idx
, num_fns
;
1390 size_t decl_state_size
;
1391 int32_t num_decl_states
;
1393 ob
= create_output_block (LTO_section_decls
);
1396 memset (&header
, 0, sizeof (struct lto_decl_header
));
1398 section_name
= lto_get_section_name (LTO_section_decls
, NULL
, NULL
);
1399 lto_begin_section (section_name
, !flag_wpa
);
1400 free (section_name
);
1402 /* Make string 0 be a NULL string. */
1403 streamer_write_char_stream (ob
->string_stream
, 0);
1405 gcc_assert (!alias_pairs
);
1407 /* Write the global symbols. */
1408 out_state
= lto_get_out_decl_state ();
1409 num_fns
= VEC_length (lto_out_decl_state_ptr
, lto_function_decl_states
);
1410 lto_output_decl_state_streams (ob
, out_state
);
1411 for (idx
= 0; idx
< num_fns
; idx
++)
1414 VEC_index (lto_out_decl_state_ptr
, lto_function_decl_states
, idx
);
1415 lto_output_decl_state_streams (ob
, fn_out_state
);
1418 header
.lto_header
.major_version
= LTO_major_version
;
1419 header
.lto_header
.minor_version
= LTO_minor_version
;
1420 header
.lto_header
.section_type
= LTO_section_decls
;
1422 /* Currently not used. This field would allow us to preallocate
1423 the globals vector, so that it need not be resized as it is extended. */
1424 header
.num_nodes
= -1;
1426 /* Compute the total size of all decl out states. */
1427 decl_state_size
= sizeof (int32_t);
1428 decl_state_size
+= lto_out_decl_state_written_size (out_state
);
1429 for (idx
= 0; idx
< num_fns
; idx
++)
1432 VEC_index (lto_out_decl_state_ptr
, lto_function_decl_states
, idx
);
1433 decl_state_size
+= lto_out_decl_state_written_size (fn_out_state
);
1435 header
.decl_state_size
= decl_state_size
;
1437 header
.main_size
= ob
->main_stream
->total_size
;
1438 header
.string_size
= ob
->string_stream
->total_size
;
1440 header_stream
= XCNEW (struct lto_output_stream
);
1441 lto_output_data_stream (header_stream
, &header
, sizeof header
);
1442 lto_write_stream (header_stream
);
1443 free (header_stream
);
1445 /* Write the main out-decl state, followed by out-decl states of
1447 decl_state_stream
= ((struct lto_output_stream
*)
1448 xcalloc (1, sizeof (struct lto_output_stream
)));
1449 num_decl_states
= num_fns
+ 1;
1450 lto_output_data_stream (decl_state_stream
, &num_decl_states
,
1451 sizeof (num_decl_states
));
1452 lto_output_decl_state_refs (ob
, decl_state_stream
, out_state
);
1453 for (idx
= 0; idx
< num_fns
; idx
++)
1456 VEC_index (lto_out_decl_state_ptr
, lto_function_decl_states
, idx
);
1457 lto_output_decl_state_refs (ob
, decl_state_stream
, fn_out_state
);
1459 lto_write_stream (decl_state_stream
);
1460 free(decl_state_stream
);
1462 lto_write_stream (ob
->main_stream
);
1463 lto_write_stream (ob
->string_stream
);
1467 /* Write the symbol table. It is used by linker to determine dependencies
1468 and thus we can skip it for WPA. */
1470 produce_symtab (ob
);
1472 /* Write command line opts. */
1473 lto_write_options ();
1475 /* Deallocate memory and clean up. */
1476 for (idx
= 0; idx
< num_fns
; idx
++)
1479 VEC_index (lto_out_decl_state_ptr
, lto_function_decl_states
, idx
);
1480 lto_delete_out_decl_state (fn_out_state
);
1482 lto_cgraph_encoder_delete (ob
->decl_state
->cgraph_node_encoder
);
1483 lto_varpool_encoder_delete (ob
->decl_state
->varpool_node_encoder
);
1484 VEC_free (lto_out_decl_state_ptr
, heap
, lto_function_decl_states
);
1485 lto_function_decl_states
= NULL
;
1486 destroy_output_block (ob
);
1490 struct ipa_opt_pass_d pass_ipa_lto_finish_out
=
1494 "lto_decls_out", /* name */
1495 gate_lto_out
, /* gate */
1499 0, /* static_pass_number */
1500 TV_IPA_LTO_DECL_OUT
, /* tv_id */
1501 0, /* properties_required */
1502 0, /* properties_provided */
1503 0, /* properties_destroyed */
1504 0, /* todo_flags_start */
1505 0 /* todo_flags_finish */
1507 NULL
, /* generate_summary */
1508 produce_asm_for_decls
, /* write_summary */
1509 NULL
, /* read_summary */
1510 produce_asm_for_decls
, /* write_optimization_summary */
1511 NULL
, /* read_optimization_summary */
1512 NULL
, /* stmt_fixup */
1514 NULL
, /* function_transform */
1515 NULL
/* variable_transform */