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