PR go/67101
[official-gcc.git] / gcc / lto-streamer.h
blob66a824e19b2718bec7181db5ee538d8e629cca4c
1 /* Data structures and declarations used for reading and writing
2 GIMPLE to a file stream.
4 Copyright (C) 2009-2015 Free Software Foundation, Inc.
5 Contributed by Doug Kwan <dougkwan@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
12 version.
14 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
15 WARRANTY; without even the implied warranty of MERCHANTABILITY or
16 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
17 for more details.
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/>. */
23 #ifndef GCC_LTO_STREAMER_H
24 #define GCC_LTO_STREAMER_H
26 #include "plugin-api.h"
27 #include "gcov-io.h"
28 #include "diagnostic.h"
30 /* Define when debugging the LTO streamer. This causes the writer
31 to output the numeric value for the memory address of the tree node
32 being emitted. When debugging a problem in the reader, check the
33 original address that the writer was emitting using lto_orig_address_get.
34 With this value, set a breakpoint in the writer (e.g., lto_output_tree)
35 to trace how the faulty node is being emitted. */
36 /* #define LTO_STREAMER_DEBUG 1 */
38 /* The encoding for a function consists of the following sections:
40 1) The header.
41 2) FIELD_DECLS.
42 3) FUNCTION_DECLS.
43 4) global VAR_DECLS.
44 5) type_decls
45 6) types.
46 7) Names for the labels that have names
47 8) The SSA names.
48 9) The control flow graph.
49 10-11)Gimple for local decls.
50 12) Gimple for the function.
51 13) Strings.
53 1) THE HEADER.
54 2-6) THE GLOBAL DECLS AND TYPES.
56 The global decls and types are encoded in the same way. For each
57 entry, there is word with the offset within the section to the
58 entry.
60 7) THE LABEL NAMES.
62 Since most labels do not have names, this section my be of zero
63 length. It consists of an array of string table references, one
64 per label. In the lto code, the labels are given either
65 positive or negative indexes. the positive ones have names and
66 the negative ones do not. The positive index can be used to
67 find the name in this array.
69 9) THE CFG.
71 10) Index into the local decls. Since local decls can have local
72 decls inside them, they must be read in randomly in order to
73 properly restore them.
75 11-12) GIMPLE FOR THE LOCAL DECLS AND THE FUNCTION BODY.
77 The gimple consists of a set of records.
79 THE FUNCTION
81 At the top level of (8) is the function. It consists of five
82 pieces:
84 LTO_function - The tag.
85 eh tree - This is all of the exception handling regions
86 put out in a post order traversial of the
87 tree. Siblings are output as lists terminated
88 by a 0. The set of fields matches the fields
89 defined in except.c.
91 last_basic_block - in uleb128 form.
93 basic blocks - This is the set of basic blocks.
95 zero - The termination of the basic blocks.
97 BASIC BLOCKS
99 There are two forms of basic blocks depending on if they are
100 empty or not.
102 The basic block consists of:
104 LTO_bb1 or LTO_bb0 - The tag.
106 bb->index - the index in uleb128 form.
108 #succs - The number of successors un uleb128 form.
110 the successors - For each edge, a pair. The first of the
111 pair is the index of the successor in
112 uleb128 form and the second are the flags in
113 uleb128 form.
115 the statements - A gimple tree, as described above.
116 These are only present for LTO_BB1.
117 Following each statement is an optional
118 exception handling record LTO_eh_region
119 which contains the region number (for
120 regions >= 0).
122 zero - This is only present for LTO_BB1 and is used
123 to terminate the statements and exception
124 regions within this block.
126 12) STRINGS
128 String are represented in the table as pairs, a length in ULEB128
129 form followed by the data for the string. */
131 #define LTO_major_version 5
132 #define LTO_minor_version 0
134 typedef unsigned char lto_decl_flags_t;
137 /* Tags representing the various IL objects written to the bytecode file
138 (GIMPLE statements, basic blocks, EH regions, tree nodes, etc).
140 NOTE, when adding new LTO tags, also update lto_tag_name. */
141 enum LTO_tags
143 LTO_null = 0,
145 /* Special for streamer. Reference to previously-streamed node. */
146 LTO_tree_pickle_reference,
148 /* Reserve enough entries to fit all the tree and gimple codes handled
149 by the streamer. This guarantees that:
151 1- Given a tree code C:
152 enum LTO_tags tag == C + 1
154 2- Given a gimple code C:
155 enum LTO_tags tag == C + NUM_TREE_CODES + 1
157 Conversely, to map between LTO tags and tree/gimple codes, the
158 reverse operation must be applied. */
159 LTO_bb0 = 1 + MAX_TREE_CODES + LAST_AND_UNUSED_GIMPLE_CODE,
160 LTO_bb1,
162 /* EH region holding the previous statement. */
163 LTO_eh_region,
165 /* An MD or NORMAL builtin. Only the code and class are streamed out. */
166 LTO_builtin_decl,
168 /* Shared INTEGER_CST node. */
169 LTO_integer_cst,
171 /* Function body. */
172 LTO_function,
174 /* EH table. */
175 LTO_eh_table,
177 /* EH region types. These mirror enum eh_region_type. */
178 LTO_ert_cleanup,
179 LTO_ert_try,
180 LTO_ert_allowed_exceptions,
181 LTO_ert_must_not_throw,
183 /* EH landing pad. */
184 LTO_eh_landing_pad,
186 /* EH try/catch node. */
187 LTO_eh_catch,
189 /* Special for global streamer. A blob of unnamed tree nodes. */
190 LTO_tree_scc,
192 /* References to indexable tree nodes. These objects are stored in
193 tables that are written separately from the function bodies that
194 reference them. This way they can be instantiated even when the
195 referencing functions aren't (e.g., during WPA) and it also allows
196 functions to be copied from one file to another without having
197 to unpickle the body first (the references are location
198 independent).
200 NOTE, do not regroup these values as the grouping is exposed
201 in the range checks done in lto_input_tree. */
202 LTO_field_decl_ref, /* Do not change. */
203 LTO_function_decl_ref,
204 LTO_label_decl_ref,
205 LTO_namespace_decl_ref,
206 LTO_result_decl_ref,
207 LTO_ssa_name_ref,
208 LTO_type_decl_ref,
209 LTO_type_ref,
210 LTO_const_decl_ref,
211 LTO_imported_decl_ref,
212 LTO_translation_unit_decl_ref,
213 LTO_global_decl_ref,
214 LTO_namelist_decl_ref, /* Do not change. */
216 /* This tag must always be last. */
217 LTO_NUM_TAGS
221 /* Set of section types that are in an LTO file. This list will grow
222 as the number of IPA passes grows since each IPA pass will need its
223 own section type to store its summary information.
225 When adding a new section type, you must also extend the
226 LTO_SECTION_NAME array in lto-section-in.c. */
227 enum lto_section_type
229 LTO_section_decls = 0,
230 LTO_section_function_body,
231 LTO_section_static_initializer,
232 LTO_section_symtab,
233 LTO_section_refs,
234 LTO_section_asm,
235 LTO_section_jump_functions,
236 LTO_section_ipa_pure_const,
237 LTO_section_ipa_reference,
238 LTO_section_ipa_profile,
239 LTO_section_symtab_nodes,
240 LTO_section_opts,
241 LTO_section_cgraph_opt_sum,
242 LTO_section_inline_summary,
243 LTO_section_ipcp_transform,
244 LTO_section_ipa_icf,
245 LTO_section_offload_table,
246 LTO_section_mode_table,
247 LTO_N_SECTION_TYPES /* Must be last. */
250 /* Indices to the various function, type and symbol streams. */
251 enum lto_decl_stream_e_t
253 LTO_DECL_STREAM_TYPE = 0, /* Must be first. */
254 LTO_DECL_STREAM_FIELD_DECL,
255 LTO_DECL_STREAM_FN_DECL,
256 LTO_DECL_STREAM_VAR_DECL,
257 LTO_DECL_STREAM_TYPE_DECL,
258 LTO_DECL_STREAM_NAMESPACE_DECL,
259 LTO_DECL_STREAM_LABEL_DECL,
260 LTO_N_DECL_STREAMS
263 typedef enum ld_plugin_symbol_resolution ld_plugin_symbol_resolution_t;
266 /* Macro to define convenience functions for type and decl streams
267 in lto_file_decl_data. */
268 #define DEFINE_DECL_STREAM_FUNCS(UPPER_NAME, name) \
269 static inline tree \
270 lto_file_decl_data_get_ ## name (struct lto_file_decl_data *data, \
271 unsigned int idx) \
273 struct lto_in_decl_state *state = data->current_decl_state; \
274 return (*state->streams[LTO_DECL_STREAM_## UPPER_NAME])[idx]; \
277 static inline unsigned int \
278 lto_file_decl_data_num_ ## name ## s (struct lto_file_decl_data *data) \
280 struct lto_in_decl_state *state = data->current_decl_state; \
281 return vec_safe_length (state->streams[LTO_DECL_STREAM_## UPPER_NAME]); \
285 /* Return a char pointer to the start of a data stream for an lto pass
286 or function. The first parameter is the file data that contains
287 the information. The second parameter is the type of information
288 to be obtained. The third parameter is the name of the function
289 and is only used when finding a function body; otherwise it is
290 NULL. The fourth parameter is the length of the data returned. */
291 typedef const char* (lto_get_section_data_f) (struct lto_file_decl_data *,
292 enum lto_section_type,
293 const char *,
294 size_t *);
296 /* Return the data found from the above call. The first three
297 parameters are the same as above. The fourth parameter is the data
298 itself and the fifth is the length of the data. */
299 typedef void (lto_free_section_data_f) (struct lto_file_decl_data *,
300 enum lto_section_type,
301 const char *,
302 const char *,
303 size_t);
305 /* The location cache holds expanded locations for streamed in trees.
306 This is done to reduce memory usage of libcpp linemap that strongly preffers
307 locations to be inserted in the soruce order. */
309 class lto_location_cache
311 public:
312 /* Apply all changes in location cache. Add locations into linemap and patch
313 trees. */
314 bool apply_location_cache ();
315 /* Tree merging did not suceed; mark all changes in the cache as accepted. */
316 void accept_location_cache ();
317 /* Tree merging did suceed; throw away recent changes. */
318 void revert_location_cache ();
319 void input_location (location_t *loc, struct bitpack_d *bp,
320 struct data_in *data_in);
321 lto_location_cache ()
322 : loc_cache (), accepted_length (0), current_file (NULL), current_line (0),
323 current_col (0), current_loc (UNKNOWN_LOCATION)
325 gcc_assert (!current_cache);
326 current_cache = this;
328 ~lto_location_cache ()
330 apply_location_cache ();
331 gcc_assert (current_cache == this);
332 current_cache = NULL;
335 /* There can be at most one instance of location cache (combining multiple
336 would bring it out of sync with libcpp linemap); point to current
337 one. */
338 static lto_location_cache *current_cache;
340 private:
341 static int cmp_loc (const void *pa, const void *pb);
343 struct cached_location
345 const char *file;
346 location_t *loc;
347 int line, col;
350 /* The location cache. */
352 auto_vec<cached_location> loc_cache;
354 /* Accepted entries are ones used by trees that are known to be not unified
355 by tree merging. */
357 int accepted_length;
359 /* Bookkeeping to remember state in between calls to lto_apply_location_cache
360 When streaming gimple, the location cache is not used and thus
361 lto_apply_location_cache happens per location basis. It is then
362 useful to avoid redundant calls of linemap API. */
364 const char *current_file;
365 int current_line;
366 int current_col;
367 location_t current_loc;
370 /* Structure used as buffer for reading an LTO file. */
371 class lto_input_block
373 public:
374 /* Special constructor for the string table, it abuses this to
375 do random access but use the uhwi decoder. */
376 lto_input_block (const char *data_, unsigned int p_, unsigned int len_,
377 const unsigned char *mode_table_)
378 : data (data_), mode_table (mode_table_), p (p_), len (len_) {}
379 lto_input_block (const char *data_, unsigned int len_,
380 const unsigned char *mode_table_)
381 : data (data_), mode_table (mode_table_), p (0), len (len_) {}
383 const char *data;
384 const unsigned char *mode_table;
385 unsigned int p;
386 unsigned int len;
390 /* The is the first part of the record for a function or constructor
391 in the .o file. */
392 struct lto_header
394 int16_t major_version;
395 int16_t minor_version;
398 /* The is the first part of the record in an LTO file for many of the
399 IPA passes. */
400 struct lto_simple_header : lto_header
402 /* Size of main gimple body of function. */
403 int32_t main_size;
406 struct lto_simple_header_with_strings : lto_simple_header
408 /* Size of main gimple body of function. */
409 int32_t main_size;
411 /* Size of the string table. */
412 int32_t string_size;
415 /* The header for a function body. */
416 struct lto_function_header : lto_simple_header_with_strings
418 /* Size of the cfg. */
419 int32_t cfg_size;
423 /* Structure describing a symbol section. */
424 struct lto_decl_header : lto_simple_header_with_strings
426 /* Size of region for decl state. */
427 int32_t decl_state_size;
429 /* Number of nodes in globals stream. */
430 int32_t num_nodes;
434 /* Statistics gathered during LTO, WPA and LTRANS. */
435 struct lto_stats_d
437 unsigned HOST_WIDE_INT num_input_cgraph_nodes;
438 unsigned HOST_WIDE_INT num_output_symtab_nodes;
439 unsigned HOST_WIDE_INT num_input_files;
440 unsigned HOST_WIDE_INT num_output_files;
441 unsigned HOST_WIDE_INT num_cgraph_partitions;
442 unsigned HOST_WIDE_INT section_size[LTO_N_SECTION_TYPES];
443 unsigned HOST_WIDE_INT num_function_bodies;
444 unsigned HOST_WIDE_INT num_trees[NUM_TREE_CODES];
445 unsigned HOST_WIDE_INT num_output_il_bytes;
446 unsigned HOST_WIDE_INT num_compressed_il_bytes;
447 unsigned HOST_WIDE_INT num_input_il_bytes;
448 unsigned HOST_WIDE_INT num_uncompressed_il_bytes;
449 unsigned HOST_WIDE_INT num_tree_bodies_output;
450 unsigned HOST_WIDE_INT num_pickle_refs_output;
453 /* Entry of LTO symtab encoder. */
454 struct lto_encoder_entry
456 symtab_node *node;
457 /* Is the node in this partition (i.e. ltrans of this partition will
458 be responsible for outputting it)? */
459 unsigned int in_partition:1;
460 /* Do we encode body in this partition? */
461 unsigned int body:1;
462 /* Do we encode initializer in this partition?
463 For example the readonly variable initializers are encoded to aid
464 constant folding even if they are not in the partition. */
465 unsigned int initializer:1;
469 /* Encoder data structure used to stream callgraph nodes. */
470 struct lto_symtab_encoder_d
472 vec<lto_encoder_entry> nodes;
473 hash_map<symtab_node *, size_t> *map;
476 typedef struct lto_symtab_encoder_d *lto_symtab_encoder_t;
478 /* Iterator structure for cgraph node sets. */
479 struct lto_symtab_encoder_iterator
481 lto_symtab_encoder_t encoder;
482 unsigned index;
487 /* The lto_tree_ref_encoder struct is used to encode trees into indices. */
489 struct lto_tree_ref_encoder
491 hash_map<tree, unsigned> *tree_hash_table; /* Maps pointers to indices. */
492 vec<tree> trees; /* Maps indices to pointers. */
496 /* Structure to hold states of input scope. */
497 struct GTY((for_user)) lto_in_decl_state
499 /* Array of lto_in_decl_buffers to store type and decls streams. */
500 vec<tree, va_gc> *streams[LTO_N_DECL_STREAMS];
502 /* If this in-decl state is associated with a function. FN_DECL
503 point to the FUNCTION_DECL. */
504 tree fn_decl;
507 typedef struct lto_in_decl_state *lto_in_decl_state_ptr;
509 struct decl_state_hasher : ggc_ptr_hash<lto_in_decl_state>
511 static hashval_t
512 hash (lto_in_decl_state *s)
514 return htab_hash_pointer (s->fn_decl);
517 static bool
518 equal (lto_in_decl_state *a, lto_in_decl_state *b)
520 return a->fn_decl == b->fn_decl;
524 /* The structure that holds all of the vectors of global types,
525 decls and cgraph nodes used in the serialization of this file. */
526 struct lto_out_decl_state
528 /* The buffers contain the sets of decls of various kinds and types we have
529 seen so far and the indexes assigned to them. */
530 struct lto_tree_ref_encoder streams[LTO_N_DECL_STREAMS];
532 /* Encoder for cgraph nodes. */
533 lto_symtab_encoder_t symtab_node_encoder;
535 /* If this out-decl state belongs to a function, fn_decl points to that
536 function. Otherwise, it is NULL. */
537 tree fn_decl;
540 typedef struct lto_out_decl_state *lto_out_decl_state_ptr;
543 /* Compact representation of a index <-> resolution pair. Unpacked to an
544 vector later. */
545 struct res_pair
547 ld_plugin_symbol_resolution_t res;
548 unsigned index;
552 /* One of these is allocated for each object file that being compiled
553 by lto. This structure contains the tables that are needed by the
554 serialized functions and ipa passes to connect themselves to the
555 global types and decls as they are reconstituted. */
556 struct GTY(()) lto_file_decl_data
558 /* Decl state currently used. */
559 struct lto_in_decl_state *current_decl_state;
561 /* Decl state corresponding to regions outside of any functions
562 in the compilation unit. */
563 struct lto_in_decl_state *global_decl_state;
565 /* Table of cgraph nodes present in this file. */
566 lto_symtab_encoder_t GTY((skip)) symtab_node_encoder;
568 /* Hash table maps lto-related section names to location in file. */
569 hash_table<decl_state_hasher> *function_decl_states;
571 /* The .o file that these offsets relate to. */
572 const char *GTY((skip)) file_name;
574 /* Hash table maps lto-related section names to location in file. */
575 htab_t GTY((skip)) section_hash_table;
577 /* Hash new name of renamed global declaration to its original name. */
578 htab_t GTY((skip)) renaming_hash_table;
580 /* Linked list used temporarily in reader */
581 struct lto_file_decl_data *next;
583 /* Sub ID for merged objects. */
584 unsigned HOST_WIDE_INT id;
586 /* Symbol resolutions for this file */
587 vec<res_pair> GTY((skip)) respairs;
588 unsigned max_index;
590 struct gcov_ctr_summary GTY((skip)) profile_info;
592 /* Map assigning declarations their resolutions. */
593 hash_map<tree, ld_plugin_symbol_resolution> * GTY((skip)) resolution_map;
595 /* Mode translation table. */
596 const unsigned char *mode_table;
599 typedef struct lto_file_decl_data *lto_file_decl_data_ptr;
601 struct lto_char_ptr_base
603 char *ptr;
606 /* An incore byte stream to buffer the various parts of the function.
607 The entire structure should be zeroed when created. The record
608 consists of a set of blocks. The first sizeof (ptr) bytes are used
609 as a chain, and the rest store the bytes to be written. */
610 struct lto_output_stream
612 /* The pointer to the first block in the stream. */
613 struct lto_char_ptr_base * first_block;
615 /* The pointer to the last and current block in the stream. */
616 struct lto_char_ptr_base * current_block;
618 /* The pointer to where the next char should be written. */
619 char * current_pointer;
621 /* The number of characters left in the current block. */
622 unsigned int left_in_block;
624 /* The block size of the last block allocated. */
625 unsigned int block_size;
627 /* The total number of characters written. */
628 unsigned int total_size;
631 /* A simple output block. This can be used for simple IPA passes that
632 do not need more than one stream. */
633 struct lto_simple_output_block
635 enum lto_section_type section_type;
636 struct lto_out_decl_state *decl_state;
638 /* The stream that the main tree codes are written to. */
639 struct lto_output_stream *main_stream;
642 /* String hashing. */
644 struct string_slot
646 const char *s;
647 int len;
648 unsigned int slot_num;
651 /* Hashtable helpers. */
653 struct string_slot_hasher : nofree_ptr_hash <string_slot>
655 static inline hashval_t hash (const string_slot *);
656 static inline bool equal (const string_slot *, const string_slot *);
659 /* Returns a hash code for DS. Adapted from libiberty's htab_hash_string
660 to support strings that may not end in '\0'. */
662 inline hashval_t
663 string_slot_hasher::hash (const string_slot *ds)
665 hashval_t r = ds->len;
666 int i;
668 for (i = 0; i < ds->len; i++)
669 r = r * 67 + (unsigned)ds->s[i] - 113;
670 return r;
673 /* Returns nonzero if DS1 and DS2 are equal. */
675 inline bool
676 string_slot_hasher::equal (const string_slot *ds1, const string_slot *ds2)
678 if (ds1->len == ds2->len)
679 return memcmp (ds1->s, ds2->s, ds1->len) == 0;
681 return 0;
684 /* Data structure holding all the data and descriptors used when writing
685 an LTO file. */
686 struct output_block
688 enum lto_section_type section_type;
689 struct lto_out_decl_state *decl_state;
691 /* The stream that the main tree codes are written to. */
692 struct lto_output_stream *main_stream;
694 /* The stream that contains the string table. */
695 struct lto_output_stream *string_stream;
697 /* The stream that contains the cfg. */
698 struct lto_output_stream *cfg_stream;
700 /* The hash table that contains the set of strings we have seen so
701 far and the indexes assigned to them. */
702 hash_table<string_slot_hasher> *string_hash_table;
704 /* The current symbol that we are currently serializing. Null
705 if we are serializing something else. */
706 symtab_node *symbol;
708 /* These are the last file and line that were seen in the stream.
709 If the current node differs from these, it needs to insert
710 something into the stream and fix these up. */
711 const char *current_file;
712 int current_line;
713 int current_col;
715 /* Cache of nodes written in this section. */
716 struct streamer_tree_cache_d *writer_cache;
718 /* All data persistent across whole duration of output block
719 can go here. */
720 struct obstack obstack;
724 /* Data and descriptors used when reading from an LTO file. */
725 struct data_in
727 /* The global decls and types. */
728 struct lto_file_decl_data *file_data;
730 /* The string table. */
731 const char *strings;
733 /* The length of the string table. */
734 unsigned int strings_len;
736 /* Maps each reference number to the resolution done by the linker. */
737 vec<ld_plugin_symbol_resolution_t> globals_resolution;
739 /* Cache of pickled nodes. */
740 struct streamer_tree_cache_d *reader_cache;
742 /* Cache of source code location. */
743 lto_location_cache location_cache;
747 /* In lto-section-in.c */
748 extern struct lto_input_block * lto_create_simple_input_block (
749 struct lto_file_decl_data *,
750 enum lto_section_type, const char **, size_t *);
751 extern void
752 lto_destroy_simple_input_block (struct lto_file_decl_data *,
753 enum lto_section_type,
754 struct lto_input_block *, const char *, size_t);
755 extern void lto_set_in_hooks (struct lto_file_decl_data **,
756 lto_get_section_data_f *,
757 lto_free_section_data_f *);
758 extern struct lto_file_decl_data **lto_get_file_decl_data (void);
759 extern const char *lto_get_section_data (struct lto_file_decl_data *,
760 enum lto_section_type,
761 const char *, size_t *);
762 extern void lto_free_section_data (struct lto_file_decl_data *,
763 enum lto_section_type,
764 const char *, const char *, size_t);
765 extern htab_t lto_create_renaming_table (void);
766 extern void lto_record_renamed_decl (struct lto_file_decl_data *,
767 const char *, const char *);
768 extern const char *lto_get_decl_name_mapping (struct lto_file_decl_data *,
769 const char *);
770 extern struct lto_in_decl_state *lto_new_in_decl_state (void);
771 extern void lto_delete_in_decl_state (struct lto_in_decl_state *);
772 extern struct lto_in_decl_state *lto_get_function_in_decl_state (
773 struct lto_file_decl_data *, tree);
774 extern void lto_free_function_in_decl_state (struct lto_in_decl_state *);
775 extern void lto_free_function_in_decl_state_for_node (symtab_node *);
776 extern void lto_section_overrun (struct lto_input_block *) ATTRIBUTE_NORETURN;
777 extern void lto_value_range_error (const char *,
778 HOST_WIDE_INT, HOST_WIDE_INT,
779 HOST_WIDE_INT) ATTRIBUTE_NORETURN;
781 /* In lto-section-out.c */
782 extern void lto_begin_section (const char *, bool);
783 extern void lto_end_section (void);
784 extern void lto_write_data (const void *, unsigned int);
785 extern void lto_write_stream (struct lto_output_stream *);
786 extern bool lto_output_decl_index (struct lto_output_stream *,
787 struct lto_tree_ref_encoder *,
788 tree, unsigned int *);
789 extern void lto_output_field_decl_index (struct lto_out_decl_state *,
790 struct lto_output_stream *, tree);
791 extern void lto_output_fn_decl_index (struct lto_out_decl_state *,
792 struct lto_output_stream *, tree);
793 extern void lto_output_namespace_decl_index (struct lto_out_decl_state *,
794 struct lto_output_stream *, tree);
795 extern void lto_output_var_decl_index (struct lto_out_decl_state *,
796 struct lto_output_stream *, tree);
797 extern void lto_output_type_decl_index (struct lto_out_decl_state *,
798 struct lto_output_stream *, tree);
799 extern void lto_output_type_ref_index (struct lto_out_decl_state *,
800 struct lto_output_stream *, tree);
801 extern struct lto_simple_output_block *lto_create_simple_output_block (
802 enum lto_section_type);
803 extern void lto_destroy_simple_output_block (struct lto_simple_output_block *);
804 extern struct lto_out_decl_state *lto_new_out_decl_state (void);
805 extern void lto_delete_out_decl_state (struct lto_out_decl_state *);
806 extern struct lto_out_decl_state *lto_get_out_decl_state (void);
807 extern void lto_push_out_decl_state (struct lto_out_decl_state *);
808 extern struct lto_out_decl_state *lto_pop_out_decl_state (void);
809 extern void lto_record_function_out_decl_state (tree,
810 struct lto_out_decl_state *);
811 extern void lto_append_block (struct lto_output_stream *);
814 /* In lto-streamer.c. */
816 /* Set when streaming LTO for offloading compiler. */
817 extern bool lto_stream_offload_p;
819 extern const char *lto_tag_name (enum LTO_tags);
820 extern bitmap lto_bitmap_alloc (void);
821 extern void lto_bitmap_free (bitmap);
822 extern char *lto_get_section_name (int, const char *, struct lto_file_decl_data *);
823 extern void print_lto_report (const char *);
824 extern void lto_streamer_init (void);
825 extern bool gate_lto_out (void);
826 #ifdef LTO_STREAMER_DEBUG
827 extern void lto_orig_address_map (tree, intptr_t);
828 extern intptr_t lto_orig_address_get (tree);
829 extern void lto_orig_address_remove (tree);
830 #endif
831 extern void lto_check_version (int, int);
832 extern void lto_streamer_hooks_init (void);
834 /* In lto-streamer-in.c */
835 extern void lto_input_cgraph (struct lto_file_decl_data *, const char *);
836 extern void lto_reader_init (void);
837 extern void lto_input_function_body (struct lto_file_decl_data *,
838 struct cgraph_node *,
839 const char *);
840 extern void lto_input_variable_constructor (struct lto_file_decl_data *,
841 struct varpool_node *,
842 const char *);
843 extern void lto_input_constructors_and_inits (struct lto_file_decl_data *,
844 const char *);
845 extern void lto_input_toplevel_asms (struct lto_file_decl_data *, int);
846 extern void lto_input_mode_table (struct lto_file_decl_data *);
847 extern struct data_in *lto_data_in_create (struct lto_file_decl_data *,
848 const char *, unsigned,
849 vec<ld_plugin_symbol_resolution_t> );
850 extern void lto_data_in_delete (struct data_in *);
851 extern void lto_input_data_block (struct lto_input_block *, void *, size_t);
852 void lto_input_location (location_t *, struct bitpack_d *, struct data_in *);
853 location_t stream_input_location_now (struct bitpack_d *bp,
854 struct data_in *data);
855 tree lto_input_tree_ref (struct lto_input_block *, struct data_in *,
856 struct function *, enum LTO_tags);
857 void lto_tag_check_set (enum LTO_tags, int, ...);
858 void lto_init_eh (void);
859 hashval_t lto_input_scc (struct lto_input_block *, struct data_in *,
860 unsigned *, unsigned *);
861 tree lto_input_tree_1 (struct lto_input_block *, struct data_in *,
862 enum LTO_tags, hashval_t hash);
863 tree lto_input_tree (struct lto_input_block *, struct data_in *);
866 /* In lto-streamer-out.c */
867 extern void lto_register_decl_definition (tree, struct lto_file_decl_data *);
868 extern struct output_block *create_output_block (enum lto_section_type);
869 extern void destroy_output_block (struct output_block *);
870 extern void lto_output_tree (struct output_block *, tree, bool, bool);
871 extern void lto_output_toplevel_asms (void);
872 extern void produce_asm (struct output_block *ob, tree fn);
873 extern void lto_output ();
874 extern void produce_asm_for_decls ();
875 void lto_output_decl_state_streams (struct output_block *,
876 struct lto_out_decl_state *);
877 void lto_output_decl_state_refs (struct output_block *,
878 struct lto_output_stream *,
879 struct lto_out_decl_state *);
880 void lto_output_location (struct output_block *, struct bitpack_d *, location_t);
881 void lto_output_init_mode_table (void);
884 /* In lto-cgraph.c */
885 extern bool asm_nodes_output;
886 lto_symtab_encoder_t lto_symtab_encoder_new (bool);
887 int lto_symtab_encoder_encode (lto_symtab_encoder_t, symtab_node *);
888 void lto_symtab_encoder_delete (lto_symtab_encoder_t);
889 bool lto_symtab_encoder_delete_node (lto_symtab_encoder_t, symtab_node *);
890 bool lto_symtab_encoder_encode_body_p (lto_symtab_encoder_t,
891 struct cgraph_node *);
892 bool lto_symtab_encoder_in_partition_p (lto_symtab_encoder_t,
893 symtab_node *);
894 void lto_set_symtab_encoder_in_partition (lto_symtab_encoder_t,
895 symtab_node *);
897 bool lto_symtab_encoder_encode_initializer_p (lto_symtab_encoder_t,
898 varpool_node *);
899 void output_symtab (void);
900 void input_symtab (void);
901 void output_offload_tables (void);
902 void input_offload_tables (void);
903 bool referenced_from_other_partition_p (struct ipa_ref_list *,
904 lto_symtab_encoder_t);
905 bool reachable_from_other_partition_p (struct cgraph_node *,
906 lto_symtab_encoder_t);
907 bool referenced_from_this_partition_p (symtab_node *,
908 lto_symtab_encoder_t);
909 bool reachable_from_this_partition_p (struct cgraph_node *,
910 lto_symtab_encoder_t);
911 lto_symtab_encoder_t compute_ltrans_boundary (lto_symtab_encoder_t encoder);
912 void select_what_to_stream (void);
914 /* In options-save.c. */
915 void cl_target_option_stream_out (struct output_block *, struct bitpack_d *,
916 struct cl_target_option *);
918 void cl_target_option_stream_in (struct data_in *,
919 struct bitpack_d *,
920 struct cl_target_option *);
922 void cl_optimization_stream_out (struct bitpack_d *, struct cl_optimization *);
924 void cl_optimization_stream_in (struct bitpack_d *, struct cl_optimization *);
927 /* In lto-symtab.c. */
928 extern void lto_symtab_merge_decls (void);
929 extern void lto_symtab_merge_symbols (void);
930 extern tree lto_symtab_prevailing_decl (tree decl);
933 /* In lto-opts.c. */
934 extern void lto_write_options (void);
937 /* Statistics gathered during LTO, WPA and LTRANS. */
938 extern struct lto_stats_d lto_stats;
940 /* Section names corresponding to the values of enum lto_section_type. */
941 extern const char *lto_section_name[];
943 /* Holds all the out decl states of functions output so far in the
944 current output file. */
945 extern vec<lto_out_decl_state_ptr> lto_function_decl_states;
947 /* Return true if LTO tag TAG corresponds to a tree code. */
948 static inline bool
949 lto_tag_is_tree_code_p (enum LTO_tags tag)
951 return tag > LTO_tree_pickle_reference && (unsigned) tag <= MAX_TREE_CODES;
955 /* Return true if LTO tag TAG corresponds to a gimple code. */
956 static inline bool
957 lto_tag_is_gimple_code_p (enum LTO_tags tag)
959 return (unsigned) tag >= NUM_TREE_CODES + 2
960 && (unsigned) tag < 2 + NUM_TREE_CODES + LAST_AND_UNUSED_GIMPLE_CODE;
964 /* Return the LTO tag corresponding to gimple code CODE. See enum
965 LTO_tags for details on the conversion. */
966 static inline enum LTO_tags
967 lto_gimple_code_to_tag (enum gimple_code code)
969 return (enum LTO_tags) ((unsigned) code + NUM_TREE_CODES + 2);
973 /* Return the GIMPLE code corresponding to TAG. See enum LTO_tags for
974 details on the conversion. */
975 static inline enum gimple_code
976 lto_tag_to_gimple_code (enum LTO_tags tag)
978 gcc_assert (lto_tag_is_gimple_code_p (tag));
979 return (enum gimple_code) ((unsigned) tag - NUM_TREE_CODES - 2);
983 /* Return the LTO tag corresponding to tree code CODE. See enum
984 LTO_tags for details on the conversion. */
985 static inline enum LTO_tags
986 lto_tree_code_to_tag (enum tree_code code)
988 return (enum LTO_tags) ((unsigned) code + 2);
992 /* Return the tree code corresponding to TAG. See enum LTO_tags for
993 details on the conversion. */
994 static inline enum tree_code
995 lto_tag_to_tree_code (enum LTO_tags tag)
997 gcc_assert (lto_tag_is_tree_code_p (tag));
998 return (enum tree_code) ((unsigned) tag - 2);
1001 /* Check that tag ACTUAL == EXPECTED. */
1002 static inline void
1003 lto_tag_check (enum LTO_tags actual, enum LTO_tags expected)
1005 if (actual != expected)
1006 internal_error ("bytecode stream: expected tag %s instead of %s",
1007 lto_tag_name (expected), lto_tag_name (actual));
1010 /* Check that tag ACTUAL is in the range [TAG1, TAG2]. */
1011 static inline void
1012 lto_tag_check_range (enum LTO_tags actual, enum LTO_tags tag1,
1013 enum LTO_tags tag2)
1015 if (actual < tag1 || actual > tag2)
1016 internal_error ("bytecode stream: tag %s is not in the expected range "
1017 "[%s, %s]",
1018 lto_tag_name (actual),
1019 lto_tag_name (tag1),
1020 lto_tag_name (tag2));
1023 /* Initialize an lto_out_decl_buffer ENCODER. */
1024 static inline void
1025 lto_init_tree_ref_encoder (struct lto_tree_ref_encoder *encoder)
1027 encoder->tree_hash_table = new hash_map<tree, unsigned> (251);
1028 encoder->trees.create (0);
1032 /* Destroy an lto_tree_ref_encoder ENCODER by freeing its contents. The
1033 memory used by ENCODER is not freed by this function. */
1034 static inline void
1035 lto_destroy_tree_ref_encoder (struct lto_tree_ref_encoder *encoder)
1037 /* Hash table may be delete already. */
1038 delete encoder->tree_hash_table;
1039 encoder->tree_hash_table = NULL;
1040 encoder->trees.release ();
1043 /* Return the number of trees encoded in ENCODER. */
1044 static inline unsigned int
1045 lto_tree_ref_encoder_size (struct lto_tree_ref_encoder *encoder)
1047 return encoder->trees.length ();
1050 /* Return the IDX-th tree in ENCODER. */
1051 static inline tree
1052 lto_tree_ref_encoder_get_tree (struct lto_tree_ref_encoder *encoder,
1053 unsigned int idx)
1055 return encoder->trees[idx];
1058 /* Return number of encoded nodes in ENCODER. */
1059 static inline int
1060 lto_symtab_encoder_size (lto_symtab_encoder_t encoder)
1062 return encoder->nodes.length ();
1065 /* Value used to represent failure of lto_symtab_encoder_lookup. */
1066 #define LCC_NOT_FOUND (-1)
1068 /* Look up NODE in encoder. Return NODE's reference if it has been encoded
1069 or LCC_NOT_FOUND if it is not there. */
1071 static inline int
1072 lto_symtab_encoder_lookup (lto_symtab_encoder_t encoder,
1073 symtab_node *node)
1075 size_t *slot = encoder->map->get (node);
1076 return (slot && *slot ? *(slot) - 1 : LCC_NOT_FOUND);
1079 /* Return true if iterator LSE points to nothing. */
1080 static inline bool
1081 lsei_end_p (lto_symtab_encoder_iterator lsei)
1083 return lsei.index >= (unsigned)lto_symtab_encoder_size (lsei.encoder);
1086 /* Advance iterator LSE. */
1087 static inline void
1088 lsei_next (lto_symtab_encoder_iterator *lsei)
1090 lsei->index++;
1093 /* Return the node pointed to by LSI. */
1094 static inline symtab_node *
1095 lsei_node (lto_symtab_encoder_iterator lsei)
1097 return lsei.encoder->nodes[lsei.index].node;
1100 /* Return the node pointed to by LSI. */
1101 static inline struct cgraph_node *
1102 lsei_cgraph_node (lto_symtab_encoder_iterator lsei)
1104 return dyn_cast<cgraph_node *> (lsei.encoder->nodes[lsei.index].node);
1107 /* Return the node pointed to by LSI. */
1108 static inline varpool_node *
1109 lsei_varpool_node (lto_symtab_encoder_iterator lsei)
1111 return dyn_cast<varpool_node *> (lsei.encoder->nodes[lsei.index].node);
1114 /* Return the cgraph node corresponding to REF using ENCODER. */
1116 static inline symtab_node *
1117 lto_symtab_encoder_deref (lto_symtab_encoder_t encoder, int ref)
1119 if (ref == LCC_NOT_FOUND)
1120 return NULL;
1122 return encoder->nodes[ref].node;
1125 /* Return an iterator to the first node in LSI. */
1126 static inline lto_symtab_encoder_iterator
1127 lsei_start (lto_symtab_encoder_t encoder)
1129 lto_symtab_encoder_iterator lsei;
1131 lsei.encoder = encoder;
1132 lsei.index = 0;
1133 return lsei;
1136 /* Advance iterator LSE. */
1137 static inline void
1138 lsei_next_in_partition (lto_symtab_encoder_iterator *lsei)
1140 lsei_next (lsei);
1141 while (!lsei_end_p (*lsei)
1142 && !lto_symtab_encoder_in_partition_p (lsei->encoder, lsei_node (*lsei)))
1143 lsei_next (lsei);
1146 /* Return an iterator to the first node in LSI. */
1147 static inline lto_symtab_encoder_iterator
1148 lsei_start_in_partition (lto_symtab_encoder_t encoder)
1150 lto_symtab_encoder_iterator lsei = lsei_start (encoder);
1152 if (lsei_end_p (lsei))
1153 return lsei;
1154 if (!lto_symtab_encoder_in_partition_p (encoder, lsei_node (lsei)))
1155 lsei_next_in_partition (&lsei);
1157 return lsei;
1160 /* Advance iterator LSE. */
1161 static inline void
1162 lsei_next_function_in_partition (lto_symtab_encoder_iterator *lsei)
1164 lsei_next (lsei);
1165 while (!lsei_end_p (*lsei)
1166 && (!is_a <cgraph_node *> (lsei_node (*lsei))
1167 || !lto_symtab_encoder_in_partition_p (lsei->encoder, lsei_node (*lsei))))
1168 lsei_next (lsei);
1171 /* Return an iterator to the first node in LSI. */
1172 static inline lto_symtab_encoder_iterator
1173 lsei_start_function_in_partition (lto_symtab_encoder_t encoder)
1175 lto_symtab_encoder_iterator lsei = lsei_start (encoder);
1177 if (lsei_end_p (lsei))
1178 return lsei;
1179 if (!is_a <cgraph_node *> (lsei_node (lsei))
1180 || !lto_symtab_encoder_in_partition_p (encoder, lsei_node (lsei)))
1181 lsei_next_function_in_partition (&lsei);
1183 return lsei;
1186 /* Advance iterator LSE. */
1187 static inline void
1188 lsei_next_variable_in_partition (lto_symtab_encoder_iterator *lsei)
1190 lsei_next (lsei);
1191 while (!lsei_end_p (*lsei)
1192 && (!is_a <varpool_node *> (lsei_node (*lsei))
1193 || !lto_symtab_encoder_in_partition_p (lsei->encoder, lsei_node (*lsei))))
1194 lsei_next (lsei);
1197 /* Return an iterator to the first node in LSI. */
1198 static inline lto_symtab_encoder_iterator
1199 lsei_start_variable_in_partition (lto_symtab_encoder_t encoder)
1201 lto_symtab_encoder_iterator lsei = lsei_start (encoder);
1203 if (lsei_end_p (lsei))
1204 return lsei;
1205 if (!is_a <varpool_node *> (lsei_node (lsei))
1206 || !lto_symtab_encoder_in_partition_p (encoder, lsei_node (lsei)))
1207 lsei_next_variable_in_partition (&lsei);
1209 return lsei;
1212 DEFINE_DECL_STREAM_FUNCS (TYPE, type)
1213 DEFINE_DECL_STREAM_FUNCS (FIELD_DECL, field_decl)
1214 DEFINE_DECL_STREAM_FUNCS (FN_DECL, fn_decl)
1215 DEFINE_DECL_STREAM_FUNCS (VAR_DECL, var_decl)
1216 DEFINE_DECL_STREAM_FUNCS (TYPE_DECL, type_decl)
1217 DEFINE_DECL_STREAM_FUNCS (NAMESPACE_DECL, namespace_decl)
1218 DEFINE_DECL_STREAM_FUNCS (LABEL_DECL, label_decl)
1220 #endif /* GCC_LTO_STREAMER_H */