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