]> git.ipfire.org Git - thirdparty/gcc.git/blame - gcc/lto-section-in.c
use vec in lto_tree_ref_table
[thirdparty/gcc.git] / gcc / lto-section-in.c
CommitLineData
7bfefa9d 1/* Input functions for reading LTO sections.
2
3aea1f79 3 Copyright (C) 2009-2014 Free Software Foundation, Inc.
7bfefa9d 4 Contributed by Kenneth Zadeck <zadeck@naturalbridge.com>
5
6This file is part of GCC.
7
8GCC is free software; you can redistribute it and/or modify it under
9the terms of the GNU General Public License as published by the Free
10Software Foundation; either version 3, or (at your option) any later
11version.
12
13GCC is distributed in the hope that it will be useful, but WITHOUT ANY
14WARRANTY; without even the implied warranty of MERCHANTABILITY or
15FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
16for more details.
17
18You should have received a copy of the GNU General Public License
19along with GCC; see the file COPYING3. If not see
20<http://www.gnu.org/licenses/>. */
21
22#include "config.h"
23#include "system.h"
24#include "coretypes.h"
25#include "tm.h"
7bfefa9d 26#include "tree.h"
94ea8568 27#include "predict.h"
28#include "vec.h"
29#include "hashtab.h"
30#include "hash-set.h"
31#include "machmode.h"
32#include "hard-reg-set.h"
33#include "input.h"
34#include "function.h"
bc61cadb 35#include "basic-block.h"
36#include "tree-ssa-alias.h"
37#include "internal-fn.h"
38#include "gimple-expr.h"
39#include "is-a.h"
b23fb4cb 40#include "gimple.h"
7bfefa9d 41#include "expr.h"
42#include "flags.h"
43#include "params.h"
852f689e 44#include "diagnostic-core.h"
7bfefa9d 45#include "except.h"
7bfefa9d 46#include "timevar.h"
1140c305 47#include "hash-map.h"
48#include "plugin-api.h"
49#include "ipa-ref.h"
50#include "cgraph.h"
7bfefa9d 51#include "lto-streamer.h"
52#include "lto-compress.h"
53
54/* Section names. These must correspond to the values of
55 enum lto_section_type. */
56const char *lto_section_name[LTO_N_SECTION_TYPES] =
57{
58 "decls",
59 "function_body",
2e295599 60 "statics",
02b699d5 61 "symtab",
8d810329 62 "refs",
65d1b157 63 "asm",
2e295599 64 "jmpfuncs",
65 "pureconst",
66 "reference",
9e179a64 67 "profile",
341eb035 68 "symbol_nodes",
1bf41320 69 "opts",
c7b2cc59 70 "cgraphopt",
803a7988 71 "inline",
52200d03 72 "ipcp_trans",
dccabdd1 73 "icf",
74 "offload_table"
7bfefa9d 75};
76
7bfefa9d 77
7bfefa9d 78/* Hooks so that the ipa passes can call into the lto front end to get
79 sections. */
80
48e1416a 81static struct lto_file_decl_data ** file_decl_data;
7bfefa9d 82static lto_get_section_data_f* get_section_f;
83static lto_free_section_data_f* free_section_f;
84
85
86/* This is called from the lto front end to set up the hooks that are
87 used by the ipa passes to get the data that they will
88 deserialize. */
89
48e1416a 90void
91lto_set_in_hooks (struct lto_file_decl_data ** data,
7bfefa9d 92 lto_get_section_data_f* get_f,
93 lto_free_section_data_f* free_f)
94{
95 file_decl_data = data;
96 get_section_f = get_f;
97 free_section_f = free_f;
98}
99
100
101/* Return an array of file decl datas for all of the files passed to
102 this compilation. */
103
104struct lto_file_decl_data **
105lto_get_file_decl_data (void)
106{
107 gcc_assert (file_decl_data);
108 return file_decl_data;
109}
110
111/* Buffer structure for accumulating data from compression callbacks. */
112
113struct lto_buffer
114{
115 char *data;
116 size_t length;
117};
118
119/* Compression callback, append LENGTH bytes from DATA to the buffer pointed
120 to by OPAQUE. */
121
122static void
123lto_append_data (const char *data, unsigned length, void *opaque)
124{
125 struct lto_buffer *buffer = (struct lto_buffer *) opaque;
126
127 buffer->data = (char *) xrealloc (buffer->data, buffer->length + length);
128 memcpy (buffer->data + buffer->length, data, length);
129 buffer->length += length;
130}
131
132/* Header placed in returned uncompressed data streams. Allows the
133 uncompressed allocated data to be mapped back to the underlying
134 compressed data for use with free_section_f. */
135
136struct lto_data_header
137{
138 const char *data;
139 size_t len;
140};
141
142/* Return a char pointer to the start of a data stream for an LTO pass
143 or function. FILE_DATA indicates where to obtain the data.
144 SECTION_TYPE is the type of information to be obtained. NAME is
145 the name of the function and is only used when finding a function
146 body; otherwise it is NULL. LEN is the size of the data
147 returned. */
148
149const char *
48e1416a 150lto_get_section_data (struct lto_file_decl_data *file_data,
7bfefa9d 151 enum lto_section_type section_type,
48e1416a 152 const char *name,
7bfefa9d 153 size_t *len)
154{
155 const char *data = (get_section_f) (file_data, section_type, name, len);
156 const size_t header_length = sizeof (struct lto_data_header);
157 struct lto_data_header *header;
158 struct lto_buffer buffer;
159 struct lto_compression_stream *stream;
160 lto_stats.section_size[section_type] += *len;
161
162 if (data == NULL)
163 return NULL;
164
165 /* FIXME lto: WPA mode does not write compressed sections, so for now
166 suppress uncompression if flag_ltrans. */
baa4a2c6 167 if (!flag_ltrans)
168 {
169 /* Create a mapping header containing the underlying data and length,
170 and prepend this to the uncompression buffer. The uncompressed data
171 then follows, and a pointer to the start of the uncompressed data is
172 returned. */
173 header = (struct lto_data_header *) xmalloc (header_length);
174 header->data = data;
175 header->len = *len;
176
177 buffer.data = (char *) header;
178 buffer.length = header_length;
179
180 stream = lto_start_uncompression (lto_append_data, &buffer);
181 lto_uncompress_block (stream, data, *len);
182 lto_end_uncompression (stream);
183
184 *len = buffer.length - header_length;
185 data = buffer.data + header_length;
186 }
187
4692b23a 188 lto_check_version (((const lto_header *)data)->major_version,
189 ((const lto_header *)data)->minor_version);
baa4a2c6 190 return data;
7bfefa9d 191}
192
193
194/* Free the data found from the above call. The first three
195 parameters are the same as above. DATA is the data to be freed and
196 LEN is the length of that data. */
197
48e1416a 198void
199lto_free_section_data (struct lto_file_decl_data *file_data,
7bfefa9d 200 enum lto_section_type section_type,
201 const char *name,
202 const char *data,
203 size_t len)
204{
205 const size_t header_length = sizeof (struct lto_data_header);
206 const char *real_data = data - header_length;
207 const struct lto_data_header *header
208 = (const struct lto_data_header *) real_data;
209
210 gcc_assert (free_section_f);
211
212 /* FIXME lto: WPA mode does not write compressed sections, so for now
213 suppress uncompression mapping if flag_ltrans. */
214 if (flag_ltrans)
215 {
216 (free_section_f) (file_data, section_type, name, data, len);
217 return;
218 }
219
220 /* The underlying data address has been extracted from the mapping header.
221 Free that, then free the allocated uncompression buffer. */
222 (free_section_f) (file_data, section_type, name, header->data, header->len);
223 free (CONST_CAST (char *, real_data));
224}
225
226
227/* Load a section of type SECTION_TYPE from FILE_DATA, parse the
228 header and then return an input block pointing to the section. The
229 raw pointer to the section is returned in DATAR and LEN. These are
230 used to free the section. Return NULL if the section is not present. */
231
232struct lto_input_block *
48e1416a 233lto_create_simple_input_block (struct lto_file_decl_data *file_data,
7bfefa9d 234 enum lto_section_type section_type,
235 const char **datar, size_t *len)
236{
237 const char *data = lto_get_section_data (file_data, section_type, NULL, len);
48e1416a 238 const struct lto_simple_header * header
7bfefa9d 239 = (const struct lto_simple_header *) data;
240
949e5786 241 int main_offset = sizeof (struct lto_simple_header);
7bfefa9d 242
243 if (!data)
244 return NULL;
245
7bfefa9d 246 *datar = data;
472ca566 247 return new lto_input_block (data + main_offset, header->main_size);
7bfefa9d 248}
249
250
251/* Close the section returned from a call to
252 LTO_CREATE_SIMPLE_INPUT_BLOCK. IB is the input block returned from
253 that call. The FILE_DATA and SECTION_TYPE are the same as what was
254 passed to that call and the DATA and LEN are what was returned from
255 that call. */
256
257void
48e1416a 258lto_destroy_simple_input_block (struct lto_file_decl_data *file_data,
7bfefa9d 259 enum lto_section_type section_type,
260 struct lto_input_block *ib,
261 const char *data, size_t len)
262{
472ca566 263 delete ib;
7bfefa9d 264 lto_free_section_data (file_data, section_type, NULL, data, len);
265}
266
267/*****************************************************************************/
268/* Record renamings of static declarations */
269/*****************************************************************************/
270
271struct lto_renaming_slot
272{
273 const char *old_name;
274 const char *new_name;
275};
276
277/* Returns a hash code for P. */
278
279static hashval_t
280hash_name (const void *p)
281{
282 const struct lto_renaming_slot *ds = (const struct lto_renaming_slot *) p;
283 return (hashval_t) htab_hash_string (ds->new_name);
284}
285
286/* Returns nonzero if P1 and P2 are equal. */
287
288static int
289eq_name (const void *p1, const void *p2)
290{
291 const struct lto_renaming_slot *s1 =
292 (const struct lto_renaming_slot *) p1;
293 const struct lto_renaming_slot *s2 =
294 (const struct lto_renaming_slot *) p2;
295
296 return strcmp (s1->new_name, s2->new_name) == 0;
297}
298
299/* Free a renaming table entry. */
300
301static void
302renaming_slot_free (void *slot)
303{
304 struct lto_renaming_slot *s = (struct lto_renaming_slot *) slot;
305
306 free (CONST_CAST (void *, (const void *) s->old_name));
307 free (CONST_CAST (void *, (const void *) s->new_name));
308 free ((void *) s);
309}
310
311/* Create an empty hash table for recording declaration renamings. */
312
313htab_t
314lto_create_renaming_table (void)
315{
316 return htab_create (37, hash_name, eq_name, renaming_slot_free);
317}
318
319/* Record a declaration name mapping OLD_NAME -> NEW_NAME. DECL_DATA
320 holds the renaming hash table to use. */
321
322void
323lto_record_renamed_decl (struct lto_file_decl_data *decl_data,
324 const char *old_name, const char *new_name)
325{
326 void **slot;
327 struct lto_renaming_slot r_slot;
328
329 r_slot.new_name = new_name;
330 slot = htab_find_slot (decl_data->renaming_hash_table, &r_slot, INSERT);
331 if (*slot == NULL)
332 {
333 struct lto_renaming_slot *new_slot = XNEW (struct lto_renaming_slot);
334 new_slot->old_name = xstrdup (old_name);
335 new_slot->new_name = xstrdup (new_name);
336 *slot = new_slot;
337 }
338 else
339 gcc_unreachable ();
340}
341
342
343/* Given a string NAME, return the string that it has been mapped to
344 by lto_record_renamed_decl. If NAME was not renamed, it is
345 returned unchanged. DECL_DATA holds the renaming hash table to use. */
346
347const char *
348lto_get_decl_name_mapping (struct lto_file_decl_data *decl_data,
349 const char *name)
350{
351 htab_t renaming_hash_table = decl_data->renaming_hash_table;
352 struct lto_renaming_slot *slot;
353 struct lto_renaming_slot r_slot;
354
355 r_slot.new_name = name;
356 slot = (struct lto_renaming_slot *) htab_find (renaming_hash_table, &r_slot);
357 if (slot)
358 return slot->old_name;
359 else
360 return name;
361}
362
363/*****************************************************************************/
364/* Input decl state object. */
365/*****************************************************************************/
366
367/* Return a newly created in-decl state object. */
368
369struct lto_in_decl_state *
370lto_new_in_decl_state (void)
371{
25a27413 372 return ggc_cleared_alloc<lto_in_decl_state> ();
7bfefa9d 373}
374
375/* Delete STATE and its components. */
376
377void
378lto_delete_in_decl_state (struct lto_in_decl_state *state)
379{
380 int i;
381
382 for (i = 0; i < LTO_N_DECL_STREAMS; i++)
5ecbd52e 383 vec_free (state->streams[i]);
57305941 384 ggc_free (state);
7bfefa9d 385}
386
387/* Hashtable helpers. lto_in_decl_states are hash by their function decls. */
388
389hashval_t
390lto_hash_in_decl_state (const void *p)
391{
392 const struct lto_in_decl_state *state = (const struct lto_in_decl_state *) p;
393 return htab_hash_pointer (state->fn_decl);
394}
395
396/* Return true if the fn_decl field of the lto_in_decl_state pointed to by
397 P1 equals to the function decl P2. */
398
399int
400lto_eq_in_decl_state (const void *p1, const void *p2)
401{
402 const struct lto_in_decl_state *state1 =
403 (const struct lto_in_decl_state *) p1;
404 const struct lto_in_decl_state *state2 =
405 (const struct lto_in_decl_state *) p2;
406 return state1->fn_decl == state2->fn_decl;
407}
408
409
410/* Search the in-decl state of a function FUNC contained in the file
411 associated with FILE_DATA. Return NULL if not found. */
412
413struct lto_in_decl_state*
414lto_get_function_in_decl_state (struct lto_file_decl_data *file_data,
415 tree func)
416{
417 struct lto_in_decl_state temp;
418 void **slot;
419
420 temp.fn_decl = func;
421 slot = htab_find_slot (file_data->function_decl_states, &temp, NO_INSERT);
422 return slot? ((struct lto_in_decl_state*) *slot) : NULL;
423}
673ca05f 424
5f74a074 425/* Free decl_states. */
426
427void
428lto_free_function_in_decl_state (struct lto_in_decl_state *state)
429{
430 int i;
431 for (i = 0; i < LTO_N_DECL_STREAMS; i++)
5ecbd52e 432 vec_free (state->streams[i]);
5f74a074 433 ggc_free (state);
434}
435
436/* Free decl_states associated with NODE. This makes it possible to furhter
437 release trees needed by the NODE's body. */
438
439void
452659af 440lto_free_function_in_decl_state_for_node (symtab_node *node)
5f74a074 441{
442 struct lto_in_decl_state temp;
443 void **slot;
444
02774f2d 445 if (!node->lto_file_data)
5f74a074 446 return;
447
02774f2d 448 temp.fn_decl = node->decl;
449 slot = htab_find_slot (node->lto_file_data->function_decl_states,
5f74a074 450 &temp, NO_INSERT);
451 if (slot && *slot)
452 {
453 lto_free_function_in_decl_state ((struct lto_in_decl_state*) *slot);
02774f2d 454 htab_clear_slot (node->lto_file_data->function_decl_states,
5f74a074 455 slot);
456 }
02774f2d 457 node->lto_file_data = NULL;
5f74a074 458}
459
673ca05f 460
461/* Report read pass end of the section. */
462
463void
464lto_section_overrun (struct lto_input_block *ib)
465{
5f8d4adf 466 fatal_error ("bytecode stream: trying to read %d bytes "
467 "after the end of the input buffer", ib->p - ib->len);
468}
469
470/* Report out of range value. */
471
472void
473lto_value_range_error (const char *purpose, HOST_WIDE_INT val,
474 HOST_WIDE_INT min, HOST_WIDE_INT max)
475{
476 fatal_error ("%s out of range: Range is %i to %i, value is %i",
477 purpose, (int)min, (int)max, (int)val);
673ca05f 478}