Branch data Line data Source code
1 : : /* Read the GIMPLE representation from a file stream.
2 : :
3 : : Copyright (C) 2009-2025 Free Software Foundation, Inc.
4 : : Contributed by Kenneth Zadeck <zadeck@naturalbridge.com>
5 : : Re-implemented by Diego Novillo <dnovillo@google.com>
6 : :
7 : : This file is part of GCC.
8 : :
9 : : GCC is free software; you can redistribute it and/or modify it under
10 : : the terms of the GNU General Public License as published by the Free
11 : : Software Foundation; either version 3, or (at your option) any later
12 : : version.
13 : :
14 : : GCC is distributed in the hope that it will be useful, but WITHOUT ANY
15 : : WARRANTY; without even the implied warranty of MERCHANTABILITY or
16 : : FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
17 : : for more details.
18 : :
19 : : You should have received a copy of the GNU General Public License
20 : : along with GCC; see the file COPYING3. If not see
21 : : <http://www.gnu.org/licenses/>. */
22 : :
23 : : #include "config.h"
24 : : #include "system.h"
25 : : #include "coretypes.h"
26 : : #include "backend.h"
27 : : #include "target.h"
28 : : #include "rtl.h"
29 : : #include "tree.h"
30 : : #include "gimple.h"
31 : : #include "cfghooks.h"
32 : : #include "tree-pass.h"
33 : : #include "ssa.h"
34 : : #include "gimple-streamer.h"
35 : : #include "toplev.h"
36 : : #include "gimple-iterator.h"
37 : : #include "tree-cfg.h"
38 : : #include "tree-into-ssa.h"
39 : : #include "tree-dfa.h"
40 : : #include "tree-ssa.h"
41 : : #include "except.h"
42 : : #include "cgraph.h"
43 : : #include "cfgloop.h"
44 : : #include "debug.h"
45 : : #include "alloc-pool.h"
46 : : #include "toplev.h"
47 : :
48 : : /* Allocator used to hold string slot entries for line map streaming. */
49 : : static struct object_allocator<struct string_slot> *string_slot_allocator;
50 : :
51 : : /* The table to hold the file names. */
52 : : static hash_table<string_slot_hasher> *file_name_hash_table;
53 : :
54 : : /* The table to hold the relative pathname prefixes. */
55 : :
56 : : /* This obstack holds file names used in locators. Line map datastructures
57 : : points here and thus it needs to be kept allocated as long as linemaps
58 : : exists. */
59 : : static struct obstack file_name_obstack;
60 : :
61 : : /* Map a pair of nul terminated strings where the first one can be
62 : : pointer compared, but the second can't, to another string. */
63 : : struct string_pair_map
64 : : {
65 : : const char *str1;
66 : : const char *str2;
67 : : const char *str3;
68 : : hashval_t hash;
69 : : bool prefix;
70 : : };
71 : :
72 : : /* Allocator used to hold string pair map entries for line map streaming. */
73 : : static struct object_allocator<struct string_pair_map>
74 : : *string_pair_map_allocator;
75 : :
76 : : struct string_pair_map_hasher : nofree_ptr_hash <string_pair_map>
77 : : {
78 : : static inline hashval_t hash (const string_pair_map *);
79 : : static inline bool equal (const string_pair_map *, const string_pair_map *);
80 : : };
81 : :
82 : : inline hashval_t
83 : 0 : string_pair_map_hasher::hash (const string_pair_map *spm)
84 : : {
85 : 0 : return spm->hash;
86 : : }
87 : :
88 : : inline bool
89 : 0 : string_pair_map_hasher::equal (const string_pair_map *spm1,
90 : : const string_pair_map *spm2)
91 : : {
92 : 0 : return (spm1->hash == spm2->hash
93 : 0 : && spm1->str1 == spm2->str1
94 : 0 : && spm1->prefix == spm2->prefix
95 : 0 : && strcmp (spm1->str2, spm2->str2) == 0);
96 : : }
97 : :
98 : : /* The table to hold the pairs of pathnames and corresponding
99 : : resulting pathname. Used for both mapping of get_src_pwd ()
100 : : and recorded source working directory to relative path prefix
101 : : from current working directory to the recorded one, and for
102 : : mapping of that relative path prefix and some relative path
103 : : to those concatenated. */
104 : : static hash_table<string_pair_map_hasher> *path_name_pair_hash_table;
105 : :
106 : :
107 : : /* Check that tag ACTUAL has one of the given values. NUM_TAGS is the
108 : : number of valid tag values to check. */
109 : :
110 : : void
111 : 1384721 : lto_tag_check_set (enum LTO_tags actual, int ntags, ...)
112 : : {
113 : 1384721 : va_list ap;
114 : 1384721 : int i;
115 : :
116 : 1384721 : va_start (ap, ntags);
117 : 2764823 : for (i = 0; i < ntags; i++)
118 : 2764823 : if ((unsigned) actual == va_arg (ap, unsigned))
119 : : {
120 : 1384721 : va_end (ap);
121 : 1384721 : return;
122 : : }
123 : :
124 : 0 : va_end (ap);
125 : 0 : internal_error ("bytecode stream: unexpected tag %s", lto_tag_name (actual));
126 : : }
127 : :
128 : :
129 : : /* Read LENGTH bytes from STREAM to ADDR. */
130 : :
131 : : void
132 : 0 : lto_input_data_block (class lto_input_block *ib, void *addr, size_t length)
133 : : {
134 : 0 : size_t i;
135 : 0 : unsigned char *const buffer = (unsigned char *) addr;
136 : :
137 : 0 : for (i = 0; i < length; i++)
138 : 0 : buffer[i] = streamer_read_uchar (ib);
139 : 0 : }
140 : :
141 : : /* Compute the relative path to get to DATA_WD (absolute directory name)
142 : : from CWD (another absolute directory name). E.g. for
143 : : DATA_WD of "/tmp/foo/bar" and CWD of "/tmp/baz/qux" return
144 : : "../../foo/bar". Returned string should be freed by the caller.
145 : : Return NULL if absolute file name needs to be used. */
146 : :
147 : : static char *
148 : 0 : relative_path_prefix (const char *data_wd, const char *cwd)
149 : : {
150 : 0 : const char *d = data_wd;
151 : 0 : const char *c = cwd;
152 : : #ifdef HAVE_DOS_BASED_FILE_SYSTEM
153 : : if (d[1] == ':')
154 : : {
155 : : if (!IS_DIR_SEPARATOR (d[2]))
156 : : return NULL;
157 : : if (c[0] == d[0] && c[1] == ':' && IS_DIR_SEPARATOR (c[2]))
158 : : {
159 : : c += 3;
160 : : d += 3;
161 : : }
162 : : else
163 : : return NULL;
164 : : }
165 : : else if (c[1] == ':')
166 : : return NULL;
167 : : #endif
168 : : do
169 : : {
170 : 0 : while (IS_DIR_SEPARATOR (*d))
171 : 0 : d++;
172 : 0 : while (IS_DIR_SEPARATOR (*c))
173 : 0 : c++;
174 : : size_t i;
175 : 0 : for (i = 0; c[i] && !IS_DIR_SEPARATOR (c[i]) && c[i] == d[i]; i++)
176 : : ;
177 : 0 : if ((c[i] == '\0' || IS_DIR_SEPARATOR (c[i]))
178 : 0 : && (d[i] == '\0' || IS_DIR_SEPARATOR (d[i])))
179 : : {
180 : 0 : c += i;
181 : 0 : d += i;
182 : 0 : if (*c == '\0' || *d == '\0')
183 : : break;
184 : : }
185 : : else
186 : : break;
187 : : }
188 : : while (1);
189 : 0 : size_t num_up = 0;
190 : : do
191 : : {
192 : 0 : while (IS_DIR_SEPARATOR (*c))
193 : 0 : c++;
194 : 0 : if (*c == '\0')
195 : : break;
196 : 0 : num_up++;
197 : 0 : while (*c && !IS_DIR_SEPARATOR (*c))
198 : 0 : c++;
199 : : }
200 : : while (1);
201 : 0 : while (IS_DIR_SEPARATOR (*d))
202 : 0 : d++;
203 : 0 : size_t len = strlen (d);
204 : 0 : if (len == 0 && num_up == 0)
205 : 0 : return xstrdup (".");
206 : 0 : char *ret = XNEWVEC (char, num_up * 3 + len + 1);
207 : 0 : char *p = ret;
208 : 0 : for (; num_up; num_up--)
209 : : {
210 : 0 : const char dir_up[3] = { '.', '.', DIR_SEPARATOR };
211 : 0 : memcpy (p, dir_up, 3);
212 : 0 : p += 3;
213 : : }
214 : 0 : memcpy (p, d, len + 1);
215 : 0 : return ret;
216 : : }
217 : :
218 : : /* Look up DATA_WD in hash table of relative prefixes. If found,
219 : : return relative path from CWD to DATA_WD from the hash table,
220 : : otherwise create it. */
221 : :
222 : : static const char *
223 : 0 : canon_relative_path_prefix (const char *data_wd, const char *cwd)
224 : : {
225 : 0 : if (!IS_ABSOLUTE_PATH (data_wd) || !IS_ABSOLUTE_PATH (cwd))
226 : : return NULL;
227 : :
228 : 0 : if (!path_name_pair_hash_table)
229 : : {
230 : 0 : path_name_pair_hash_table
231 : 0 : = new hash_table<string_pair_map_hasher> (37);
232 : 0 : string_pair_map_allocator
233 : 0 : = new object_allocator <struct string_pair_map>
234 : 0 : ("line map string pair map hash");
235 : : }
236 : :
237 : 0 : inchash::hash h;
238 : 0 : h.add_ptr (cwd);
239 : 0 : h.merge_hash (htab_hash_string (data_wd));
240 : 0 : h.add_int (true);
241 : :
242 : 0 : string_pair_map s_slot;
243 : 0 : s_slot.str1 = cwd;
244 : 0 : s_slot.str2 = data_wd;
245 : 0 : s_slot.str3 = NULL;
246 : 0 : s_slot.hash = h.end ();
247 : 0 : s_slot.prefix = true;
248 : :
249 : 0 : string_pair_map **slot
250 : 0 : = path_name_pair_hash_table->find_slot (&s_slot, INSERT);
251 : 0 : if (*slot == NULL)
252 : : {
253 : : /* Compute relative path from cwd directory to data_wd directory.
254 : : E.g. if cwd is /tmp/foo/bar and data_wd is /tmp/baz/qux ,
255 : : it will return ../../baz/qux . */
256 : 0 : char *relative_path = relative_path_prefix (data_wd, cwd);
257 : 0 : const char *relative = relative_path ? relative_path : data_wd;
258 : 0 : size_t relative_len = strlen (relative);
259 : 0 : gcc_assert (relative_len);
260 : :
261 : 0 : size_t data_wd_len = strlen (data_wd);
262 : 0 : bool add_separator = false;
263 : 0 : if (!IS_DIR_SEPARATOR (relative[relative_len - 1]))
264 : 0 : add_separator = true;
265 : :
266 : 0 : size_t len = relative_len + 1 + data_wd_len + 1 + add_separator;
267 : :
268 : 0 : char *saved_string = XOBNEWVEC (&file_name_obstack, char, len);
269 : 0 : struct string_pair_map *new_slot
270 : 0 : = string_pair_map_allocator->allocate ();
271 : 0 : memcpy (saved_string, data_wd, data_wd_len + 1);
272 : 0 : memcpy (saved_string + data_wd_len + 1, relative, relative_len);
273 : 0 : if (add_separator)
274 : 0 : saved_string[len - 2] = DIR_SEPARATOR;
275 : 0 : saved_string[len - 1] = '\0';
276 : 0 : new_slot->str1 = cwd;
277 : 0 : new_slot->str2 = saved_string;
278 : 0 : new_slot->str3 = saved_string + data_wd_len + 1;
279 : 0 : if (relative_len == 1 && relative[0] == '.')
280 : 0 : new_slot->str3 = NULL;
281 : 0 : new_slot->hash = s_slot.hash;
282 : 0 : new_slot->prefix = true;
283 : 0 : *slot = new_slot;
284 : 0 : free (relative_path);
285 : 0 : return new_slot->str3;
286 : : }
287 : : else
288 : : {
289 : 0 : string_pair_map *old_slot = *slot;
290 : 0 : return old_slot->str3;
291 : : }
292 : : }
293 : :
294 : : /* Look up the pair of RELATIVE_PREFIX and STRING strings in a hash table.
295 : : If found, return the concatenation of those from the hash table,
296 : : otherwise concatenate them. */
297 : :
298 : : static const char *
299 : 0 : canon_relative_file_name (const char *relative_prefix, const char *string)
300 : : {
301 : 0 : inchash::hash h;
302 : 0 : h.add_ptr (relative_prefix);
303 : 0 : h.merge_hash (htab_hash_string (string));
304 : :
305 : 0 : string_pair_map s_slot;
306 : 0 : s_slot.str1 = relative_prefix;
307 : 0 : s_slot.str2 = string;
308 : 0 : s_slot.str3 = NULL;
309 : 0 : s_slot.hash = h.end ();
310 : 0 : s_slot.prefix = false;
311 : :
312 : 0 : string_pair_map **slot
313 : 0 : = path_name_pair_hash_table->find_slot (&s_slot, INSERT);
314 : 0 : if (*slot == NULL)
315 : : {
316 : 0 : size_t relative_prefix_len = strlen (relative_prefix);
317 : 0 : size_t string_len = strlen (string);
318 : 0 : size_t len = relative_prefix_len + string_len + 1;
319 : :
320 : 0 : char *saved_string = XOBNEWVEC (&file_name_obstack, char, len);
321 : 0 : struct string_pair_map *new_slot
322 : 0 : = string_pair_map_allocator->allocate ();
323 : 0 : memcpy (saved_string, relative_prefix, relative_prefix_len);
324 : 0 : memcpy (saved_string + relative_prefix_len, string, string_len + 1);
325 : 0 : new_slot->str1 = relative_prefix;
326 : 0 : new_slot->str2 = saved_string + relative_prefix_len;
327 : 0 : new_slot->str3 = saved_string;
328 : 0 : new_slot->hash = s_slot.hash;
329 : 0 : new_slot->prefix = false;
330 : 0 : *slot = new_slot;
331 : 0 : return new_slot->str3;
332 : : }
333 : : else
334 : : {
335 : 0 : string_pair_map *old_slot = *slot;
336 : 0 : return old_slot->str3;
337 : : }
338 : : }
339 : :
340 : : /* Lookup STRING in file_name_hash_table. If found, return the existing
341 : : string, otherwise insert STRING as the canonical version.
342 : : If STRING is a relative pathname and RELATIVE_PREFIX is non-NULL, use
343 : : canon_relative_file_name instead. */
344 : :
345 : : static const char *
346 : 176905 : canon_file_name (const char *relative_prefix, const char *string)
347 : : {
348 : 176905 : if (relative_prefix && !IS_ABSOLUTE_PATH (string))
349 : 0 : return canon_relative_file_name (relative_prefix, string);
350 : :
351 : 176905 : string_slot **slot;
352 : 176905 : struct string_slot s_slot;
353 : 176905 : size_t len = strlen (string);
354 : :
355 : 176905 : s_slot.s = string;
356 : 176905 : s_slot.len = len;
357 : :
358 : 176905 : slot = file_name_hash_table->find_slot (&s_slot, INSERT);
359 : 176905 : if (*slot == NULL)
360 : : {
361 : 37628 : char *saved_string;
362 : 37628 : struct string_slot *new_slot;
363 : :
364 : 37628 : saved_string = XOBNEWVEC (&file_name_obstack, char, len + 1);
365 : 37628 : new_slot = string_slot_allocator->allocate ();
366 : 37628 : memcpy (saved_string, string, len + 1);
367 : 37628 : new_slot->s = saved_string;
368 : 37628 : new_slot->len = len;
369 : 37628 : *slot = new_slot;
370 : 37628 : return saved_string;
371 : : }
372 : : else
373 : : {
374 : 139277 : struct string_slot *old_slot = *slot;
375 : 139277 : return old_slot->s;
376 : : }
377 : : }
378 : :
379 : : /* Pointer to currently alive instance of lto_location_cache. */
380 : :
381 : : lto_location_cache *lto_location_cache::current_cache;
382 : :
383 : : /* Sort locations in source order. Start with file from last application. */
384 : :
385 : : int
386 : 57129767 : lto_location_cache::cmp_loc (const void *pa, const void *pb)
387 : : {
388 : 57129767 : const cached_location *a = ((const cached_location *)pa);
389 : 57129767 : const cached_location *b = ((const cached_location *)pb);
390 : 57129767 : const char *current_file = current_cache->current_file;
391 : 57129767 : int current_line = current_cache->current_line;
392 : :
393 : 57129767 : if (a->file == current_file && b->file != current_file)
394 : : return -1;
395 : 57027894 : if (a->file != current_file && b->file == current_file)
396 : : return 1;
397 : 56927661 : if (a->file == current_file && b->file == current_file)
398 : : {
399 : 9747576 : if (a->line == current_line && b->line != current_line)
400 : : return -1;
401 : 9378566 : if (a->line != current_line && b->line == current_line)
402 : : return 1;
403 : : }
404 : 56107129 : if (a->file != b->file)
405 : 2094420 : return strcmp (a->file, b->file);
406 : 54012709 : if (a->sysp != b->sysp)
407 : 0 : return a->sysp ? 1 : -1;
408 : 54012709 : if (a->line != b->line)
409 : 26090328 : return a->line - b->line;
410 : 27922381 : if (a->col != b->col)
411 : 3691378 : return a->col - b->col;
412 : 24231003 : if (a->discr != b->discr)
413 : 14218312 : return a->discr - b->discr;
414 : 10012691 : if ((a->block == NULL_TREE) != (b->block == NULL_TREE))
415 : 5053217 : return a->block ? 1 : -1;
416 : 6736367 : if (a->block)
417 : : {
418 : 2963945 : if (BLOCK_NUMBER (a->block) < BLOCK_NUMBER (b->block))
419 : : return -1;
420 : 2963945 : if (BLOCK_NUMBER (a->block) > BLOCK_NUMBER (b->block))
421 : 0 : return 1;
422 : : }
423 : : return 0;
424 : : }
425 : :
426 : : /* Apply all changes in location cache. Add locations into linemap and patch
427 : : trees. */
428 : :
429 : : bool
430 : 625022 : lto_location_cache::apply_location_cache ()
431 : : {
432 : 625022 : static const char *prev_file;
433 : 625022 : if (!loc_cache.length ())
434 : : return false;
435 : 322314 : if (loc_cache.length () > 1)
436 : 292979 : loc_cache.qsort (cmp_loc);
437 : :
438 : 3154970 : for (unsigned int i = 0; i < loc_cache.length (); i++)
439 : : {
440 : 2832656 : struct cached_location loc = loc_cache[i];
441 : :
442 : 2832656 : if (current_file != loc.file)
443 : 139496 : linemap_add (line_table, prev_file ? LC_RENAME : LC_ENTER,
444 : 139496 : loc.sysp, loc.file, loc.line);
445 : 2693160 : else if (current_line != loc.line)
446 : : {
447 : 727300 : int max = loc.col;
448 : :
449 : 1752448 : for (unsigned int j = i + 1; j < loc_cache.length (); j++)
450 : 1528304 : if (loc.file != loc_cache[j].file
451 : 1528304 : || loc.line != loc_cache[j].line)
452 : : break;
453 : 1025148 : else if (max < loc_cache[j].col)
454 : : max = loc_cache[j].col;
455 : 727300 : linemap_line_start (line_table, loc.line, max + 1);
456 : : }
457 : 2832656 : gcc_assert (*loc.loc == BUILTINS_LOCATION + 1);
458 : 2832656 : if (current_file != loc.file
459 : : || current_line != loc.line
460 : 2693160 : || current_col != loc.col)
461 : : {
462 : 1286435 : current_loc = linemap_position_for_column (line_table, loc.col);
463 : 1286435 : if (loc.block)
464 : 581110 : current_loc = set_block (current_loc, loc.block);
465 : 1286435 : if (loc.discr)
466 : 168432 : current_loc = location_with_discriminator (current_loc, loc.discr);
467 : : }
468 : 1546221 : else if (current_block != loc.block)
469 : : {
470 : 263498 : if (loc.block)
471 : 246735 : current_loc = set_block (current_loc, loc.block);
472 : : else
473 : 16763 : current_loc = LOCATION_LOCUS (current_loc);
474 : 263498 : if (loc.discr)
475 : 41363 : current_loc = location_with_discriminator (current_loc, loc.discr);
476 : : }
477 : 1282723 : else if (current_discr != loc.discr)
478 : 273610 : current_loc = location_with_discriminator (current_loc, loc.discr);
479 : 2832656 : *loc.loc = current_loc;
480 : 2832656 : current_line = loc.line;
481 : 2832656 : prev_file = current_file = loc.file;
482 : 2832656 : current_col = loc.col;
483 : 2832656 : current_block = loc.block;
484 : 2832656 : current_discr = loc.discr;
485 : : }
486 : 322314 : loc_cache.truncate (0);
487 : 322314 : accepted_length = 0;
488 : 322314 : return true;
489 : : }
490 : :
491 : : /* Tree merging did not succeed; mark all changes in the cache as accepted. */
492 : :
493 : : void
494 : 1763256 : lto_location_cache::accept_location_cache ()
495 : : {
496 : 1763256 : gcc_assert (current_cache == this);
497 : 1763256 : accepted_length = loc_cache.length ();
498 : 1763256 : }
499 : :
500 : : /* Tree merging did succeed; throw away recent changes. */
501 : :
502 : : void
503 : 144145 : lto_location_cache::revert_location_cache ()
504 : : {
505 : 144145 : loc_cache.truncate (accepted_length);
506 : 144145 : }
507 : :
508 : : /* Read a location bitpack from bit pack BP and either update *LOC directly
509 : : or add it to the location cache. If IB is non-NULL, stream in a block
510 : : afterwards.
511 : : It is neccesary to call apply_location_cache to get *LOC updated. */
512 : :
513 : : void
514 : 4874151 : lto_location_cache::input_location_and_block (location_t *loc,
515 : : struct bitpack_d *bp,
516 : : class lto_input_block *ib,
517 : : class data_in *data_in)
518 : : {
519 : 4874151 : static const char *stream_file;
520 : 4874151 : static int stream_line;
521 : 4874151 : static int stream_col;
522 : 4874151 : static bool stream_sysp;
523 : 4874151 : static tree stream_block;
524 : 4874151 : static unsigned stream_discr;
525 : 4874151 : static const char *stream_relative_path_prefix;
526 : :
527 : 4874151 : gcc_assert (current_cache == this);
528 : :
529 : 4874151 : *loc = bp_unpack_int_in_range (bp, "location", 0,
530 : : RESERVED_LOCATION_COUNT + 1);
531 : :
532 : 4874151 : if (*loc < RESERVED_LOCATION_COUNT)
533 : : {
534 : 2018779 : if (ib)
535 : : {
536 : 798815 : bool block_change = bp_unpack_value (bp, 1);
537 : 798815 : if (block_change)
538 : 307013 : stream_block = stream_read_tree (ib, data_in);
539 : 798815 : if (stream_block)
540 : 546987 : *loc = set_block (*loc, stream_block);
541 : : }
542 : 2039858 : return;
543 : : }
544 : :
545 : 2855372 : bool file_change = (*loc == RESERVED_LOCATION_COUNT + 1);
546 : : /* Keep value RESERVED_LOCATION_COUNT in *loc as linemap lookups will
547 : : ICE on it. */
548 : 2855372 : *loc = RESERVED_LOCATION_COUNT;
549 : 2855372 : bool line_change = bp_unpack_value (bp, 1);
550 : 2855372 : bool column_change = bp_unpack_value (bp, 1);
551 : 2855372 : bool discr_change = bp_unpack_value (bp, 1);
552 : :
553 : 2855372 : if (file_change)
554 : : {
555 : 176905 : bool pwd_change = bp_unpack_value (bp, 1);
556 : 176905 : if (pwd_change)
557 : : {
558 : 8173 : const char *pwd = bp_unpack_string (data_in, bp);
559 : 8173 : const char *src_pwd = get_src_pwd ();
560 : 8173 : if (strcmp (pwd, src_pwd) == 0)
561 : 8173 : stream_relative_path_prefix = NULL;
562 : : else
563 : 0 : stream_relative_path_prefix
564 : 0 : = canon_relative_path_prefix (pwd, src_pwd);
565 : : }
566 : 176905 : stream_file = canon_file_name (stream_relative_path_prefix,
567 : : bp_unpack_string (data_in, bp));
568 : 176905 : stream_sysp = bp_unpack_value (bp, 1);
569 : : }
570 : :
571 : 2855372 : if (line_change)
572 : 1102787 : stream_line = bp_unpack_var_len_unsigned (bp);
573 : :
574 : 2855372 : if (column_change)
575 : 1316024 : stream_col = bp_unpack_var_len_unsigned (bp);
576 : :
577 : 2855372 : if (discr_change)
578 : 949987 : stream_discr = bp_unpack_var_len_unsigned (bp);
579 : :
580 : 2855372 : tree block = NULL_TREE;
581 : 2855372 : if (ib)
582 : : {
583 : 1615320 : bool block_change = bp_unpack_value (bp, 1);
584 : 1615320 : if (block_change)
585 : 245068 : stream_block = stream_read_tree (ib, data_in);
586 : 1615320 : block = stream_block;
587 : : }
588 : :
589 : : /* This optimization saves location cache operations during gimple
590 : : streaming. */
591 : :
592 : 2855372 : if (current_file == stream_file
593 : 959023 : && current_line == stream_line
594 : 220541 : && current_col == stream_col
595 : 136199 : && current_sysp == stream_sysp
596 : 136195 : && current_discr == stream_discr)
597 : : {
598 : 21079 : if (current_block == block)
599 : 14478 : *loc = current_loc;
600 : 6601 : else if (block)
601 : 1257 : *loc = set_block (current_loc, block);
602 : : else
603 : 5344 : *loc = LOCATION_LOCUS (current_loc);
604 : 21079 : return;
605 : : }
606 : :
607 : 2834293 : struct cached_location entry
608 : 2834293 : = {stream_file, loc, stream_line, stream_col, stream_sysp, block, stream_discr};
609 : 2834293 : loc_cache.safe_push (entry);
610 : : }
611 : :
612 : : /* Read a location bitpack from bit pack BP and either update *LOC directly
613 : : or add it to the location cache.
614 : : It is neccesary to call apply_location_cache to get *LOC updated. */
615 : :
616 : : void
617 : 2460016 : lto_location_cache::input_location (location_t *loc, struct bitpack_d *bp,
618 : : class data_in *data_in)
619 : : {
620 : 2460016 : return input_location_and_block (loc, bp, NULL, data_in);
621 : : }
622 : :
623 : : /* Read a location bitpack from input block IB and either update *LOC directly
624 : : or add it to the location cache.
625 : : It is neccesary to call apply_location_cache to get *LOC updated. */
626 : :
627 : : void
628 : 2460016 : lto_input_location (location_t *loc, struct bitpack_d *bp,
629 : : class data_in *data_in)
630 : : {
631 : 2460016 : data_in->location_cache.input_location (loc, bp, data_in);
632 : 2460016 : }
633 : :
634 : : /* Read a reference to a tree node from DATA_IN using input block IB.
635 : : TAG is the expected node that should be found in IB, if TAG belongs
636 : : to one of the indexable trees, expect to read a reference index to
637 : : be looked up in one of the symbol tables, otherwise read the pysical
638 : : representation of the tree using stream_read_tree. FN is the
639 : : function scope for the read tree. */
640 : :
641 : : tree
642 : 3943649 : lto_input_tree_ref (class lto_input_block *ib, class data_in *data_in,
643 : : struct function *fn, enum LTO_tags tag)
644 : : {
645 : 3943649 : unsigned HOST_WIDE_INT ix_u;
646 : 3943649 : tree result = NULL_TREE;
647 : :
648 : 3943649 : if (tag == LTO_ssa_name_ref)
649 : : {
650 : 1587410 : ix_u = streamer_read_uhwi (ib);
651 : 1587410 : result = (*SSANAMES (fn))[ix_u];
652 : : }
653 : : else
654 : : {
655 : 2356239 : gcc_checking_assert (tag == LTO_global_stream_ref);
656 : 2356239 : ix_u = streamer_read_uhwi (ib);
657 : 2356239 : result = (*data_in->file_data->current_decl_state
658 : 2356239 : ->streams[LTO_DECL_STREAM])[ix_u];
659 : : }
660 : :
661 : 3943649 : gcc_assert (result);
662 : :
663 : 3943649 : return result;
664 : : }
665 : :
666 : : /* Read VAR_DECL reference to DATA from IB. */
667 : :
668 : : tree
669 : 72378 : lto_input_var_decl_ref (lto_input_block *ib, lto_file_decl_data *file_data)
670 : : {
671 : 72378 : unsigned int ix_u = streamer_read_uhwi (ib);
672 : 72378 : tree result = (*file_data->current_decl_state
673 : 72378 : ->streams[LTO_DECL_STREAM])[ix_u];
674 : 72378 : gcc_assert (VAR_P (result));
675 : 72378 : return result;
676 : : }
677 : :
678 : : /* Read VAR_DECL reference to DATA from IB. */
679 : :
680 : : tree
681 : 191621 : lto_input_fn_decl_ref (lto_input_block *ib, lto_file_decl_data *file_data)
682 : : {
683 : 191621 : unsigned int ix_u = streamer_read_uhwi (ib);
684 : 191621 : tree result = (*file_data->current_decl_state
685 : 191621 : ->streams[LTO_DECL_STREAM])[ix_u];
686 : 191621 : gcc_assert (TREE_CODE (result) == FUNCTION_DECL);
687 : 191621 : return result;
688 : : }
689 : :
690 : :
691 : : /* Read and return a double-linked list of catch handlers from input
692 : : block IB, using descriptors in DATA_IN. */
693 : :
694 : : static struct eh_catch_d *
695 : 192 : lto_input_eh_catch_list (class lto_input_block *ib, class data_in *data_in,
696 : : eh_catch *last_p)
697 : : {
698 : 192 : eh_catch first;
699 : 192 : enum LTO_tags tag;
700 : :
701 : 192 : *last_p = first = NULL;
702 : 192 : tag = streamer_read_record_start (ib);
703 : 373 : while (tag)
704 : : {
705 : 181 : tree list;
706 : 181 : eh_catch n;
707 : :
708 : 181 : lto_tag_check_range (tag, LTO_eh_catch, LTO_eh_catch);
709 : :
710 : : /* Read the catch node. */
711 : 181 : n = ggc_cleared_alloc<eh_catch_d> ();
712 : 181 : n->type_list = stream_read_tree (ib, data_in);
713 : 181 : n->filter_list = stream_read_tree (ib, data_in);
714 : 181 : n->label = stream_read_tree (ib, data_in);
715 : :
716 : : /* Register all the types in N->FILTER_LIST. */
717 : 181 : for (list = n->filter_list; list; list = TREE_CHAIN (list))
718 : 0 : add_type_for_runtime (TREE_VALUE (list));
719 : :
720 : : /* Chain N to the end of the list. */
721 : 181 : if (*last_p)
722 : 4 : (*last_p)->next_catch = n;
723 : 181 : n->prev_catch = *last_p;
724 : 181 : *last_p = n;
725 : :
726 : : /* Set the head of the list the first time through the loop. */
727 : 181 : if (first == NULL)
728 : 177 : first = n;
729 : :
730 : 181 : tag = streamer_read_record_start (ib);
731 : : }
732 : :
733 : 192 : return first;
734 : : }
735 : :
736 : :
737 : : /* Read and return EH region IX from input block IB, using descriptors
738 : : in DATA_IN. */
739 : :
740 : : static eh_region
741 : 15111 : input_eh_region (class lto_input_block *ib, class data_in *data_in, int ix)
742 : : {
743 : 15111 : enum LTO_tags tag;
744 : 15111 : eh_region r;
745 : :
746 : : /* Read the region header. */
747 : 15111 : tag = streamer_read_record_start (ib);
748 : 15111 : if (tag == LTO_null)
749 : : return NULL;
750 : :
751 : 9549 : r = ggc_cleared_alloc<eh_region_d> ();
752 : 9549 : r->index = streamer_read_hwi (ib);
753 : :
754 : 9549 : gcc_assert (r->index == ix);
755 : :
756 : : /* Read all the region pointers as region numbers. We'll fix up
757 : : the pointers once the whole array has been read. */
758 : 9549 : r->outer = (eh_region) (intptr_t) streamer_read_hwi (ib);
759 : 9549 : r->inner = (eh_region) (intptr_t) streamer_read_hwi (ib);
760 : 9549 : r->next_peer = (eh_region) (intptr_t) streamer_read_hwi (ib);
761 : :
762 : 9549 : switch (tag)
763 : : {
764 : 3738 : case LTO_ert_cleanup:
765 : 3738 : r->type = ERT_CLEANUP;
766 : 3738 : break;
767 : :
768 : 192 : case LTO_ert_try:
769 : 192 : {
770 : 192 : struct eh_catch_d *last_catch;
771 : 192 : r->type = ERT_TRY;
772 : 192 : r->u.eh_try.first_catch = lto_input_eh_catch_list (ib, data_in,
773 : : &last_catch);
774 : 192 : r->u.eh_try.last_catch = last_catch;
775 : 192 : break;
776 : : }
777 : :
778 : 321 : case LTO_ert_allowed_exceptions:
779 : 321 : {
780 : 321 : tree l;
781 : :
782 : 321 : r->type = ERT_ALLOWED_EXCEPTIONS;
783 : 321 : r->u.allowed.type_list = stream_read_tree (ib, data_in);
784 : 321 : r->u.allowed.label = stream_read_tree (ib, data_in);
785 : 321 : r->u.allowed.filter = streamer_read_uhwi (ib);
786 : :
787 : 323 : for (l = r->u.allowed.type_list; l ; l = TREE_CHAIN (l))
788 : 2 : add_type_for_runtime (TREE_VALUE (l));
789 : : }
790 : : break;
791 : :
792 : 5298 : case LTO_ert_must_not_throw:
793 : 5298 : {
794 : 5298 : r->type = ERT_MUST_NOT_THROW;
795 : 5298 : r->u.must_not_throw.failure_decl = stream_read_tree (ib, data_in);
796 : 5298 : bitpack_d bp = streamer_read_bitpack (ib);
797 : 5298 : stream_input_location (&r->u.must_not_throw.failure_loc,
798 : : &bp, data_in);
799 : : }
800 : 5298 : break;
801 : :
802 : 0 : default:
803 : 0 : gcc_unreachable ();
804 : : }
805 : :
806 : 9549 : r->landing_pads = (eh_landing_pad) (intptr_t) streamer_read_hwi (ib);
807 : :
808 : 9549 : return r;
809 : : }
810 : :
811 : :
812 : : /* Read and return EH landing pad IX from input block IB, using descriptors
813 : : in DATA_IN. */
814 : :
815 : : static eh_landing_pad
816 : 6548 : input_eh_lp (class lto_input_block *ib, class data_in *data_in, int ix)
817 : : {
818 : 6548 : enum LTO_tags tag;
819 : 6548 : eh_landing_pad lp;
820 : :
821 : : /* Read the landing pad header. */
822 : 6548 : tag = streamer_read_record_start (ib);
823 : 6548 : if (tag == LTO_null)
824 : : return NULL;
825 : :
826 : 2276 : lto_tag_check_range (tag, LTO_eh_landing_pad, LTO_eh_landing_pad);
827 : :
828 : 2276 : lp = ggc_cleared_alloc<eh_landing_pad_d> ();
829 : 2276 : lp->index = streamer_read_hwi (ib);
830 : 2276 : gcc_assert (lp->index == ix);
831 : 2276 : lp->next_lp = (eh_landing_pad) (intptr_t) streamer_read_hwi (ib);
832 : 2276 : lp->region = (eh_region) (intptr_t) streamer_read_hwi (ib);
833 : 2276 : lp->post_landing_pad = stream_read_tree (ib, data_in);
834 : :
835 : 2276 : return lp;
836 : : }
837 : :
838 : :
839 : : /* After reading the EH regions, pointers to peer and children regions
840 : : are region numbers. This converts all these region numbers into
841 : : real pointers into the rematerialized regions for FN. ROOT_REGION
842 : : is the region number for the root EH region in FN. */
843 : :
844 : : static void
845 : 3711 : fixup_eh_region_pointers (struct function *fn, HOST_WIDE_INT root_region)
846 : : {
847 : 3711 : unsigned i;
848 : 3711 : vec<eh_region, va_gc> *eh_array = fn->eh->region_array;
849 : 3711 : vec<eh_landing_pad, va_gc> *lp_array = fn->eh->lp_array;
850 : 3711 : eh_region r;
851 : 3711 : eh_landing_pad lp;
852 : :
853 : 3711 : gcc_assert (eh_array && lp_array);
854 : :
855 : 3711 : gcc_assert (root_region >= 0);
856 : 3711 : fn->eh->region_tree = (*eh_array)[root_region];
857 : :
858 : : #define FIXUP_EH_REGION(r) (r) = (*eh_array)[(HOST_WIDE_INT) (intptr_t) (r)]
859 : : #define FIXUP_EH_LP(p) (p) = (*lp_array)[(HOST_WIDE_INT) (intptr_t) (p)]
860 : :
861 : : /* Convert all the index numbers stored in pointer fields into
862 : : pointers to the corresponding slots in the EH region array. */
863 : 18822 : FOR_EACH_VEC_ELT (*eh_array, i, r)
864 : : {
865 : : /* The array may contain NULL regions. */
866 : 15111 : if (r == NULL)
867 : 5562 : continue;
868 : :
869 : 9549 : gcc_assert (i == (unsigned) r->index);
870 : 9549 : FIXUP_EH_REGION (r->outer);
871 : 9549 : FIXUP_EH_REGION (r->inner);
872 : 9549 : FIXUP_EH_REGION (r->next_peer);
873 : 9549 : FIXUP_EH_LP (r->landing_pads);
874 : : }
875 : :
876 : : /* Convert all the index numbers stored in pointer fields into
877 : : pointers to the corresponding slots in the EH landing pad array. */
878 : 10259 : FOR_EACH_VEC_ELT (*lp_array, i, lp)
879 : : {
880 : : /* The array may contain NULL landing pads. */
881 : 10820 : if (lp == NULL)
882 : 4272 : continue;
883 : :
884 : 2276 : gcc_assert (i == (unsigned) lp->index);
885 : 2276 : FIXUP_EH_LP (lp->next_lp);
886 : 2276 : FIXUP_EH_REGION (lp->region);
887 : : }
888 : :
889 : : #undef FIXUP_EH_REGION
890 : : #undef FIXUP_EH_LP
891 : 3711 : }
892 : :
893 : :
894 : : /* Initialize EH support. */
895 : :
896 : : void
897 : 41106 : lto_init_eh (void)
898 : : {
899 : 41106 : static bool eh_initialized_p = false;
900 : :
901 : 41106 : if (eh_initialized_p)
902 : : return;
903 : :
904 : : /* Contrary to most other FEs, we only initialize EH support when at
905 : : least one of the files in the set contains exception regions in
906 : : it. Since this happens much later than the call to init_eh in
907 : : lang_dependent_init, we have to set flag_exceptions and call
908 : : init_eh again to initialize the EH tables. */
909 : 2943 : flag_exceptions = 1;
910 : 2943 : init_eh ();
911 : :
912 : 2943 : eh_initialized_p = true;
913 : : }
914 : :
915 : :
916 : : /* Read the exception table for FN from IB using the data descriptors
917 : : in DATA_IN. */
918 : :
919 : : static void
920 : 83094 : input_eh_regions (class lto_input_block *ib, class data_in *data_in,
921 : : struct function *fn)
922 : : {
923 : 83094 : HOST_WIDE_INT i, root_region, len;
924 : 83094 : enum LTO_tags tag;
925 : :
926 : 83094 : tag = streamer_read_record_start (ib);
927 : 83094 : if (tag == LTO_null)
928 : : return;
929 : :
930 : 3711 : lto_tag_check_range (tag, LTO_eh_table, LTO_eh_table);
931 : :
932 : 3711 : gcc_assert (fn->eh);
933 : :
934 : 3711 : root_region = streamer_read_hwi (ib);
935 : 3711 : gcc_assert (root_region == (int) root_region);
936 : :
937 : : /* Read the EH region array. */
938 : 3711 : len = streamer_read_hwi (ib);
939 : 3711 : gcc_assert (len == (int) len);
940 : 3711 : if (len > 0)
941 : : {
942 : 3711 : vec_safe_grow_cleared (fn->eh->region_array, len, true);
943 : 18822 : for (i = 0; i < len; i++)
944 : : {
945 : 15111 : eh_region r = input_eh_region (ib, data_in, i);
946 : 15111 : (*fn->eh->region_array)[i] = r;
947 : : }
948 : : }
949 : :
950 : : /* Read the landing pads. */
951 : 3711 : len = streamer_read_hwi (ib);
952 : 3711 : gcc_assert (len == (int) len);
953 : 3711 : if (len > 0)
954 : : {
955 : 3711 : vec_safe_grow_cleared (fn->eh->lp_array, len, true);
956 : 10259 : for (i = 0; i < len; i++)
957 : : {
958 : 6548 : eh_landing_pad lp = input_eh_lp (ib, data_in, i);
959 : 6548 : (*fn->eh->lp_array)[i] = lp;
960 : : }
961 : : }
962 : :
963 : : /* Read the runtime type data. */
964 : 3711 : len = streamer_read_hwi (ib);
965 : 3711 : gcc_assert (len == (int) len);
966 : 3711 : if (len > 0)
967 : : {
968 : 0 : vec_safe_grow_cleared (fn->eh->ttype_data, len, true);
969 : 0 : for (i = 0; i < len; i++)
970 : : {
971 : 0 : tree ttype = stream_read_tree (ib, data_in);
972 : 0 : (*fn->eh->ttype_data)[i] = ttype;
973 : : }
974 : : }
975 : :
976 : : /* Read the table of action chains. */
977 : 3711 : len = streamer_read_hwi (ib);
978 : 3711 : gcc_assert (len == (int) len);
979 : 3711 : if (len > 0)
980 : : {
981 : 0 : if (targetm.arm_eabi_unwinder)
982 : : {
983 : 0 : vec_safe_grow_cleared (fn->eh->ehspec_data.arm_eabi, len, true);
984 : 0 : for (i = 0; i < len; i++)
985 : : {
986 : 0 : tree t = stream_read_tree (ib, data_in);
987 : 0 : (*fn->eh->ehspec_data.arm_eabi)[i] = t;
988 : : }
989 : : }
990 : : else
991 : : {
992 : 0 : vec_safe_grow_cleared (fn->eh->ehspec_data.other, len, true);
993 : 0 : for (i = 0; i < len; i++)
994 : : {
995 : 0 : uchar c = streamer_read_uchar (ib);
996 : 0 : (*fn->eh->ehspec_data.other)[i] = c;
997 : : }
998 : : }
999 : : }
1000 : :
1001 : : /* Reconstruct the EH region tree by fixing up the peer/children
1002 : : pointers. */
1003 : 3711 : fixup_eh_region_pointers (fn, root_region);
1004 : :
1005 : 3711 : tag = streamer_read_record_start (ib);
1006 : 3711 : lto_tag_check_range (tag, LTO_null, LTO_null);
1007 : : }
1008 : :
1009 : :
1010 : : /* Make a new basic block with index INDEX in function FN. */
1011 : :
1012 : : static basic_block
1013 : 575628 : make_new_block (struct function *fn, unsigned int index)
1014 : : {
1015 : 575628 : basic_block bb = alloc_block ();
1016 : 575628 : bb->index = index;
1017 : 575628 : SET_BASIC_BLOCK_FOR_FN (fn, index, bb);
1018 : 575628 : n_basic_blocks_for_fn (fn)++;
1019 : 575628 : return bb;
1020 : : }
1021 : :
1022 : :
1023 : : /* Read the CFG for function FN from input block IB. */
1024 : :
1025 : : static void
1026 : 83094 : input_cfg (class lto_input_block *ib, class data_in *data_in,
1027 : : struct function *fn)
1028 : : {
1029 : 83094 : unsigned int bb_count;
1030 : 83094 : basic_block p_bb;
1031 : 83094 : unsigned int i;
1032 : 83094 : int index;
1033 : 83094 : bool full_profile = false;
1034 : :
1035 : 83094 : init_empty_tree_cfg_for_function (fn);
1036 : :
1037 : 83094 : profile_status_for_fn (fn) = streamer_read_enum (ib, profile_status_d,
1038 : : PROFILE_LAST);
1039 : :
1040 : 83094 : bb_count = streamer_read_uhwi (ib);
1041 : :
1042 : 83094 : last_basic_block_for_fn (fn) = bb_count;
1043 : 83094 : if (bb_count > basic_block_info_for_fn (fn)->length ())
1044 : 2155 : vec_safe_grow_cleared (basic_block_info_for_fn (fn), bb_count, true);
1045 : :
1046 : 83094 : if (bb_count > label_to_block_map_for_fn (fn)->length ())
1047 : 2155 : vec_safe_grow_cleared (label_to_block_map_for_fn (fn), bb_count, true);
1048 : :
1049 : 83094 : index = streamer_read_hwi (ib);
1050 : 824910 : while (index != -1)
1051 : : {
1052 : 741816 : basic_block bb = BASIC_BLOCK_FOR_FN (fn, index);
1053 : 741816 : unsigned int edge_count;
1054 : :
1055 : 741816 : if (bb == NULL)
1056 : 33120 : bb = make_new_block (fn, index);
1057 : :
1058 : 741816 : edge_count = streamer_read_uhwi (ib);
1059 : :
1060 : : /* Connect up the CFG. */
1061 : 1593428 : for (i = 0; i < edge_count; i++)
1062 : : {
1063 : 851612 : bitpack_d bp = streamer_read_bitpack (ib);
1064 : 851612 : unsigned int dest_index = bp_unpack_var_len_unsigned (&bp);
1065 : 851612 : unsigned int edge_flags = bp_unpack_var_len_unsigned (&bp);
1066 : 851612 : basic_block dest = BASIC_BLOCK_FOR_FN (fn, dest_index);
1067 : :
1068 : 851612 : if (dest == NULL)
1069 : 542508 : dest = make_new_block (fn, dest_index);
1070 : :
1071 : 851612 : edge e = make_edge (bb, dest, edge_flags);
1072 : 851612 : data_in->location_cache.input_location_and_block (&e->goto_locus,
1073 : : &bp, ib, data_in);
1074 : 851612 : e->probability = profile_probability::stream_in (ib);
1075 : 851612 : if (!e->probability.initialized_p ())
1076 : 851612 : full_profile = false;
1077 : :
1078 : : }
1079 : :
1080 : 741816 : index = streamer_read_hwi (ib);
1081 : : }
1082 : :
1083 : 83094 : p_bb = ENTRY_BLOCK_PTR_FOR_FN (fn);
1084 : 83094 : index = streamer_read_hwi (ib);
1085 : 741816 : while (index != -1)
1086 : : {
1087 : 658722 : basic_block bb = BASIC_BLOCK_FOR_FN (fn, index);
1088 : 658722 : bb->prev_bb = p_bb;
1089 : 658722 : p_bb->next_bb = bb;
1090 : 658722 : p_bb = bb;
1091 : 658722 : index = streamer_read_hwi (ib);
1092 : : }
1093 : :
1094 : : /* ??? The cfgloop interface is tied to cfun. */
1095 : 83094 : gcc_assert (cfun == fn);
1096 : :
1097 : : /* Input the loop tree. */
1098 : 83094 : unsigned n_loops = streamer_read_uhwi (ib);
1099 : 83094 : if (n_loops == 0)
1100 : : return;
1101 : :
1102 : 83094 : struct loops *loops = ggc_cleared_alloc<struct loops> ();
1103 : 83094 : init_loops_structure (fn, loops, n_loops);
1104 : 83094 : set_loops_for_fn (fn, loops);
1105 : :
1106 : : /* Input each loop and associate it with its loop header so
1107 : : flow_loops_find can rebuild the loop tree. */
1108 : 141360 : for (unsigned i = 1; i < n_loops; ++i)
1109 : : {
1110 : 58266 : int header_index = streamer_read_hwi (ib);
1111 : 58266 : if (header_index == -1)
1112 : : {
1113 : 21437 : loops->larray->quick_push (NULL);
1114 : 21437 : continue;
1115 : : }
1116 : :
1117 : 36829 : class loop *loop = alloc_loop ();
1118 : 36829 : loop->header = BASIC_BLOCK_FOR_FN (fn, header_index);
1119 : 36829 : loop->header->loop_father = loop;
1120 : :
1121 : : /* Read everything copy_loop_info copies. */
1122 : 36829 : loop->estimate_state = streamer_read_enum (ib, loop_estimation, EST_LAST);
1123 : 36829 : loop->any_upper_bound = streamer_read_hwi (ib);
1124 : 36829 : if (loop->any_upper_bound)
1125 : 31984 : loop->nb_iterations_upper_bound
1126 : 31984 : = bound_wide_int::from (streamer_read_widest_int (ib), SIGNED);
1127 : 36829 : loop->any_likely_upper_bound = streamer_read_hwi (ib);
1128 : 36829 : if (loop->any_likely_upper_bound)
1129 : 31984 : loop->nb_iterations_likely_upper_bound
1130 : 31984 : = bound_wide_int::from (streamer_read_widest_int (ib), SIGNED);
1131 : 36829 : loop->any_estimate = streamer_read_hwi (ib);
1132 : 36829 : if (loop->any_estimate)
1133 : 26895 : loop->nb_iterations_estimate
1134 : 26895 : = bound_wide_int::from (streamer_read_widest_int (ib), SIGNED);
1135 : :
1136 : : /* Read OMP SIMD related info. */
1137 : 36829 : loop->safelen = streamer_read_hwi (ib);
1138 : 36829 : loop->unroll = streamer_read_hwi (ib);
1139 : 36829 : loop->owned_clique = streamer_read_hwi (ib);
1140 : 36829 : loop->dont_vectorize = streamer_read_hwi (ib);
1141 : 36829 : loop->force_vectorize = streamer_read_hwi (ib);
1142 : 36829 : loop->finite_p = streamer_read_hwi (ib);
1143 : 36829 : loop->simduid = stream_read_tree (ib, data_in);
1144 : :
1145 : 36829 : place_new_loop (fn, loop);
1146 : :
1147 : : /* flow_loops_find doesn't like loops not in the tree, hook them
1148 : : all as siblings of the tree root temporarily. */
1149 : 36829 : flow_loop_tree_node_add (loops->tree_root, loop);
1150 : : }
1151 : :
1152 : : /* Rebuild the loop tree. */
1153 : 83094 : flow_loops_find (loops);
1154 : 83094 : cfun->cfg->full_profile = full_profile;
1155 : : }
1156 : :
1157 : :
1158 : : /* Read the SSA names array for function FN from DATA_IN using input
1159 : : block IB. */
1160 : :
1161 : : static void
1162 : 83094 : input_ssa_names (class lto_input_block *ib, class data_in *data_in,
1163 : : struct function *fn)
1164 : : {
1165 : 83094 : unsigned int i, size;
1166 : :
1167 : 83094 : size = streamer_read_uhwi (ib);
1168 : 83094 : init_tree_ssa (fn, size);
1169 : 83094 : cfun->gimple_df->in_ssa_p = true;
1170 : 83094 : init_ssa_operands (fn);
1171 : :
1172 : 83094 : i = streamer_read_uhwi (ib);
1173 : 895890 : while (i)
1174 : : {
1175 : : tree ssa_name, name;
1176 : : bool is_default_def;
1177 : :
1178 : : /* Skip over the elements that had been freed. */
1179 : 1066933 : while (SSANAMES (fn)->length () < i)
1180 : 254137 : SSANAMES (fn)->quick_push (NULL_TREE);
1181 : :
1182 : 812796 : is_default_def = (streamer_read_uchar (ib) != 0);
1183 : 812796 : name = stream_read_tree (ib, data_in);
1184 : 812796 : ssa_name = make_ssa_name_fn (fn, name, NULL);
1185 : :
1186 : 812796 : if (is_default_def)
1187 : : {
1188 : 82058 : set_ssa_default_def (cfun, SSA_NAME_VAR (ssa_name), ssa_name);
1189 : 82058 : SSA_NAME_DEF_STMT (ssa_name) = gimple_build_nop ();
1190 : : }
1191 : :
1192 : 812796 : i = streamer_read_uhwi (ib);
1193 : : }
1194 : 83094 : }
1195 : :
1196 : :
1197 : : /* Go through all NODE edges and fixup call_stmt pointers
1198 : : so they point to STMTS. */
1199 : :
1200 : : static void
1201 : 107035 : fixup_call_stmt_edges_1 (struct cgraph_node *node, gimple **stmts,
1202 : : struct function *fn)
1203 : : {
1204 : : #define STMT_UID_NOT_IN_RANGE(uid) \
1205 : : (gimple_stmt_max_uid (fn) < uid || uid == 0)
1206 : :
1207 : 107035 : struct cgraph_edge *cedge;
1208 : 107035 : struct ipa_ref *ref = NULL;
1209 : 107035 : unsigned int i;
1210 : :
1211 : 465539 : for (cedge = node->callees; cedge; cedge = cedge->next_callee)
1212 : : {
1213 : 358504 : if (STMT_UID_NOT_IN_RANGE (cedge->lto_stmt_uid))
1214 : 0 : fatal_error (input_location,
1215 : : "Cgraph edge statement index out of range");
1216 : 358504 : cedge->call_stmt = as_a <gcall *> (stmts[cedge->lto_stmt_uid - 1]);
1217 : 358504 : cedge->lto_stmt_uid = 0;
1218 : 358504 : if (!cedge->call_stmt)
1219 : : fatal_error (input_location,
1220 : : "Cgraph edge statement index not found");
1221 : : }
1222 : 108279 : for (cedge = node->indirect_calls; cedge; cedge = cedge->next_callee)
1223 : : {
1224 : 1244 : if (STMT_UID_NOT_IN_RANGE (cedge->lto_stmt_uid))
1225 : 0 : fatal_error (input_location,
1226 : : "Cgraph edge statement index out of range");
1227 : 1244 : cedge->call_stmt = as_a <gcall *> (stmts[cedge->lto_stmt_uid - 1]);
1228 : 1244 : cedge->lto_stmt_uid = 0;
1229 : 1244 : if (!cedge->call_stmt)
1230 : : fatal_error (input_location, "Cgraph edge statement index not found");
1231 : : }
1232 : 343171 : for (i = 0; node->iterate_reference (i, ref); i++)
1233 : 236136 : if (ref->lto_stmt_uid)
1234 : : {
1235 : 232219 : if (STMT_UID_NOT_IN_RANGE (ref->lto_stmt_uid))
1236 : 0 : fatal_error (input_location,
1237 : : "Reference statement index out of range");
1238 : 232219 : ref->stmt = stmts[ref->lto_stmt_uid - 1];
1239 : 232219 : ref->lto_stmt_uid = 0;
1240 : 232219 : if (!ref->stmt)
1241 : 0 : fatal_error (input_location, "Reference statement index not found");
1242 : : }
1243 : 107035 : }
1244 : :
1245 : :
1246 : : /* Fixup call_stmt pointers in NODE and all clones. */
1247 : :
1248 : : static void
1249 : 83094 : fixup_call_stmt_edges (struct cgraph_node *orig, gimple **stmts)
1250 : : {
1251 : 83094 : struct cgraph_node *node;
1252 : 83094 : struct function *fn;
1253 : :
1254 : 83238 : while (orig->clone_of)
1255 : : orig = orig->clone_of;
1256 : 83094 : fn = DECL_STRUCT_FUNCTION (orig->decl);
1257 : :
1258 : 83094 : if (!orig->thunk)
1259 : 83094 : fixup_call_stmt_edges_1 (orig, stmts, fn);
1260 : 83094 : if (orig->clones)
1261 : 28279 : for (node = orig->clones; node != orig;)
1262 : : {
1263 : 23943 : if (!node->thunk)
1264 : 23941 : fixup_call_stmt_edges_1 (node, stmts, fn);
1265 : 23943 : if (node->clones)
1266 : : node = node->clones;
1267 : 22801 : else if (node->next_sibling_clone)
1268 : : node = node->next_sibling_clone;
1269 : : else
1270 : : {
1271 : 9851 : while (node != orig && !node->next_sibling_clone)
1272 : 5478 : node = node->clone_of;
1273 : 4373 : if (node != orig)
1274 : 37 : node = node->next_sibling_clone;
1275 : : }
1276 : : }
1277 : 83094 : }
1278 : :
1279 : :
1280 : : /* Input the base body of struct function FN from DATA_IN
1281 : : using input block IB. */
1282 : :
1283 : : static void
1284 : 83094 : input_struct_function_base (struct function *fn, class data_in *data_in,
1285 : : class lto_input_block *ib)
1286 : : {
1287 : 83094 : struct bitpack_d bp;
1288 : 83094 : int len;
1289 : :
1290 : : /* Read the static chain and non-local goto save area. */
1291 : 83094 : fn->static_chain_decl = stream_read_tree (ib, data_in);
1292 : 83094 : fn->nonlocal_goto_save_area = stream_read_tree (ib, data_in);
1293 : :
1294 : : /* Read all the local symbols. */
1295 : 83094 : len = streamer_read_hwi (ib);
1296 : 83094 : if (len > 0)
1297 : : {
1298 : 22371 : int i;
1299 : 22371 : vec_safe_grow_cleared (fn->local_decls, len, true);
1300 : 158016 : for (i = 0; i < len; i++)
1301 : : {
1302 : 135645 : tree t = stream_read_tree (ib, data_in);
1303 : 135645 : (*fn->local_decls)[i] = t;
1304 : : }
1305 : : }
1306 : :
1307 : : /* Input the current IL state of the function. */
1308 : 83094 : fn->curr_properties = streamer_read_uhwi (ib);
1309 : :
1310 : : /* Read all the attributes for FN. */
1311 : 83094 : bp = streamer_read_bitpack (ib);
1312 : 83094 : fn->is_thunk = bp_unpack_value (&bp, 1);
1313 : 83094 : fn->has_local_explicit_reg_vars = bp_unpack_value (&bp, 1);
1314 : 83094 : fn->returns_pcc_struct = bp_unpack_value (&bp, 1);
1315 : 83094 : fn->returns_struct = bp_unpack_value (&bp, 1);
1316 : 83094 : fn->can_throw_non_call_exceptions = bp_unpack_value (&bp, 1);
1317 : 83094 : fn->can_delete_dead_exceptions = bp_unpack_value (&bp, 1);
1318 : 83094 : fn->always_inline_functions_inlined = bp_unpack_value (&bp, 1);
1319 : 83094 : fn->after_inlining = bp_unpack_value (&bp, 1);
1320 : 83094 : fn->stdarg = bp_unpack_value (&bp, 1);
1321 : 83094 : fn->has_nonlocal_label = bp_unpack_value (&bp, 1);
1322 : 83094 : fn->has_forced_label_in_static = bp_unpack_value (&bp, 1);
1323 : 83094 : fn->calls_alloca = bp_unpack_value (&bp, 1);
1324 : 83094 : fn->calls_setjmp = bp_unpack_value (&bp, 1);
1325 : 83094 : fn->calls_eh_return = bp_unpack_value (&bp, 1);
1326 : 83094 : fn->has_force_vectorize_loops = bp_unpack_value (&bp, 1);
1327 : 83094 : fn->has_simduid_loops = bp_unpack_value (&bp, 1);
1328 : 83094 : fn->has_musttail = bp_unpack_value (&bp, 1);
1329 : 83094 : fn->has_unroll = bp_unpack_value (&bp, 1);
1330 : 83094 : fn->assume_function = bp_unpack_value (&bp, 1);
1331 : 83094 : fn->va_list_fpr_size = bp_unpack_value (&bp, 8);
1332 : 83094 : fn->va_list_gpr_size = bp_unpack_value (&bp, 8);
1333 : 83094 : fn->last_clique = bp_unpack_value (&bp, sizeof (short) * 8);
1334 : :
1335 : : /* Input the function start and end loci. */
1336 : 83094 : stream_input_location (&fn->function_start_locus, &bp, data_in);
1337 : 83094 : stream_input_location (&fn->function_end_locus, &bp, data_in);
1338 : :
1339 : : /* Restore the instance discriminators if present. */
1340 : 83094 : int instance_number = bp_unpack_value (&bp, 1);
1341 : 83094 : if (instance_number)
1342 : : {
1343 : 0 : instance_number = bp_unpack_value (&bp, sizeof (int) * CHAR_BIT);
1344 : 0 : maybe_create_decl_to_instance_map ()->put (fn->decl, instance_number);
1345 : : }
1346 : 83094 : }
1347 : :
1348 : : /* Read a chain of tree nodes from input block IB. DATA_IN contains
1349 : : tables and descriptors for the file being read. */
1350 : :
1351 : : static tree
1352 : 83160 : streamer_read_chain (class lto_input_block *ib, class data_in *data_in)
1353 : : {
1354 : 83160 : tree first, prev, curr;
1355 : :
1356 : : /* The chain is written as NULL terminated list of trees. */
1357 : 83160 : first = prev = NULL_TREE;
1358 : 169857 : do
1359 : : {
1360 : 169857 : curr = stream_read_tree (ib, data_in);
1361 : 169857 : if (prev)
1362 : 86697 : TREE_CHAIN (prev) = curr;
1363 : : else
1364 : : first = curr;
1365 : :
1366 : 169857 : prev = curr;
1367 : : }
1368 : 169857 : while (curr);
1369 : :
1370 : 83160 : return first;
1371 : : }
1372 : :
1373 : : /* Read the body of function FN_DECL from DATA_IN using input block IB. */
1374 : :
1375 : : static void
1376 : 83160 : input_function (tree fn_decl, class data_in *data_in,
1377 : : class lto_input_block *ib, class lto_input_block *ib_cfg,
1378 : : cgraph_node *node)
1379 : : {
1380 : 83160 : struct function *fn;
1381 : 83160 : enum LTO_tags tag;
1382 : 83160 : gimple **stmts;
1383 : 83160 : basic_block bb;
1384 : :
1385 : 83160 : tag = streamer_read_record_start (ib);
1386 : 83160 : lto_tag_check (tag, LTO_function);
1387 : :
1388 : : /* Read decls for parameters and args. */
1389 : 83160 : DECL_RESULT (fn_decl) = stream_read_tree (ib, data_in);
1390 : 83160 : DECL_ARGUMENTS (fn_decl) = streamer_read_chain (ib, data_in);
1391 : :
1392 : : /* Read debug args if available. */
1393 : 83160 : unsigned n_debugargs = streamer_read_uhwi (ib);
1394 : 83160 : if (n_debugargs)
1395 : : {
1396 : 23 : vec<tree, va_gc> **debugargs = decl_debug_args_insert (fn_decl);
1397 : 23 : vec_safe_grow (*debugargs, n_debugargs, true);
1398 : 85 : for (unsigned i = 0; i < n_debugargs; ++i)
1399 : 62 : (**debugargs)[i] = stream_read_tree (ib, data_in);
1400 : : }
1401 : :
1402 : : /* Read the tree of lexical scopes for the function. */
1403 : 83160 : DECL_INITIAL (fn_decl) = stream_read_tree (ib, data_in);
1404 : 83160 : unsigned block_leaf_count = streamer_read_uhwi (ib);
1405 : 141042 : while (block_leaf_count--)
1406 : 57882 : stream_read_tree (ib, data_in);
1407 : :
1408 : 83160 : if (!streamer_read_uhwi (ib))
1409 : : return;
1410 : :
1411 : 83094 : push_struct_function (fn_decl);
1412 : 83094 : fn = DECL_STRUCT_FUNCTION (fn_decl);
1413 : :
1414 : 83094 : gimple_register_cfg_hooks ();
1415 : :
1416 : 83094 : input_struct_function_base (fn, data_in, ib);
1417 : 83094 : input_cfg (ib_cfg, data_in, fn);
1418 : :
1419 : : /* Read all the SSA names. */
1420 : 83094 : input_ssa_names (ib, data_in, fn);
1421 : :
1422 : : /* Read the exception handling regions in the function. */
1423 : 83094 : input_eh_regions (ib, data_in, fn);
1424 : :
1425 : 83094 : gcc_assert (DECL_INITIAL (fn_decl));
1426 : 83094 : DECL_SAVED_TREE (fn_decl) = NULL_TREE;
1427 : :
1428 : : /* Read all the basic blocks. */
1429 : 83094 : tag = streamer_read_record_start (ib);
1430 : 824910 : while (tag)
1431 : : {
1432 : 741816 : input_bb (ib, tag, data_in, fn,
1433 : : node->count_materialization_scale);
1434 : 741816 : tag = streamer_read_record_start (ib);
1435 : : }
1436 : :
1437 : : /* Finalize gimple_location/gimple_block of stmts and phis. */
1438 : 83094 : data_in->location_cache.apply_location_cache ();
1439 : :
1440 : : /* Fix up the call statements that are mentioned in the callgraph
1441 : : edges. */
1442 : 83094 : set_gimple_stmt_max_uid (cfun, 0);
1443 : 824910 : FOR_ALL_BB_FN (bb, cfun)
1444 : : {
1445 : 741816 : gimple_stmt_iterator gsi;
1446 : 810359 : for (gsi = gsi_start_phis (bb); !gsi_end_p (gsi); gsi_next (&gsi))
1447 : : {
1448 : 68543 : gimple *stmt = gsi_stmt (gsi);
1449 : 68543 : gimple_set_uid (stmt, inc_gimple_stmt_max_uid (cfun));
1450 : : }
1451 : 2868353 : for (gsi = gsi_start_bb (bb); !gsi_end_p (gsi); gsi_next (&gsi))
1452 : : {
1453 : 1384721 : gimple *stmt = gsi_stmt (gsi);
1454 : 1384721 : gimple_set_uid (stmt, inc_gimple_stmt_max_uid (cfun));
1455 : : }
1456 : : }
1457 : 83094 : stmts = (gimple **) xcalloc (gimple_stmt_max_uid (fn), sizeof (gimple *));
1458 : 824910 : FOR_ALL_BB_FN (bb, cfun)
1459 : : {
1460 : 741816 : gimple_stmt_iterator bsi = gsi_start_phis (bb);
1461 : 810359 : while (!gsi_end_p (bsi))
1462 : : {
1463 : 68543 : gimple *stmt = gsi_stmt (bsi);
1464 : 68543 : gsi_next (&bsi);
1465 : 68543 : stmts[gimple_uid (stmt)] = stmt;
1466 : : }
1467 : 741816 : bsi = gsi_start_bb (bb);
1468 : 741816 : while (!gsi_end_p (bsi))
1469 : : {
1470 : 1384721 : gimple *stmt = gsi_stmt (bsi);
1471 : 1384721 : bool remove = false;
1472 : : /* If we're recompiling LTO objects with debug stmts but
1473 : : we're not supposed to have debug stmts, remove them now.
1474 : : We can't remove them earlier because this would cause uid
1475 : : mismatches in fixups, but we can do it at this point, as
1476 : : long as debug stmts don't require fixups.
1477 : : Similarly remove all IFN_*SAN_* internal calls */
1478 : 1384721 : if (!flag_wpa)
1479 : : {
1480 : 1292940 : if (is_gimple_debug (stmt)
1481 : 1292940 : && (gimple_debug_nonbind_marker_p (stmt)
1482 : 7604 : ? !MAY_HAVE_DEBUG_MARKER_STMTS
1483 : 5139 : : !MAY_HAVE_DEBUG_BIND_STMTS))
1484 : : remove = true;
1485 : : /* In case the linemap overflows locations can be dropped
1486 : : to zero. Thus do not keep nonsensical inline entry markers
1487 : : we'd later ICE on. */
1488 : 1292940 : tree block;
1489 : 1292940 : if (gimple_debug_inline_entry_p (stmt)
1490 : 12743 : && (((block = gimple_block (stmt))
1491 : 821 : && !inlined_function_outer_scope_p (block))
1492 : 821 : || !debug_inline_points))
1493 : : remove = true;
1494 : 1292940 : if (is_gimple_call (stmt)
1495 : 1292940 : && gimple_call_internal_p (stmt))
1496 : : {
1497 : 21030 : bool replace = false;
1498 : 21030 : switch (gimple_call_internal_fn (stmt))
1499 : : {
1500 : 234 : case IFN_UBSAN_NULL:
1501 : 234 : if ((flag_sanitize
1502 : 234 : & (SANITIZE_NULL | SANITIZE_ALIGNMENT)) == 0)
1503 : : replace = true;
1504 : : break;
1505 : 181 : case IFN_UBSAN_BOUNDS:
1506 : 181 : if ((flag_sanitize & SANITIZE_BOUNDS) == 0)
1507 : : replace = true;
1508 : : break;
1509 : 0 : case IFN_UBSAN_VPTR:
1510 : 0 : if ((flag_sanitize & SANITIZE_VPTR) == 0)
1511 : : replace = true;
1512 : : break;
1513 : 160 : case IFN_UBSAN_OBJECT_SIZE:
1514 : 160 : if ((flag_sanitize & SANITIZE_OBJECT_SIZE) == 0)
1515 : : replace = true;
1516 : : break;
1517 : 152 : case IFN_UBSAN_PTR:
1518 : 152 : if ((flag_sanitize & SANITIZE_POINTER_OVERFLOW) == 0)
1519 : : replace = true;
1520 : : break;
1521 : 780 : case IFN_ASAN_MARK:
1522 : 780 : if ((flag_sanitize & SANITIZE_ADDRESS) == 0)
1523 : : replace = true;
1524 : : break;
1525 : 0 : case IFN_TSAN_FUNC_EXIT:
1526 : 0 : if ((flag_sanitize & SANITIZE_THREAD) == 0)
1527 : : replace = true;
1528 : : break;
1529 : : default:
1530 : : break;
1531 : : }
1532 : : if (replace)
1533 : : {
1534 : 2 : gimple_call_set_internal_fn (as_a <gcall *> (stmt),
1535 : : IFN_NOP);
1536 : 2 : update_stmt (stmt);
1537 : : }
1538 : : }
1539 : : }
1540 : 1292940 : if (remove)
1541 : : {
1542 : 4 : gimple_stmt_iterator gsi = bsi;
1543 : 4 : gsi_next (&bsi);
1544 : 4 : unlink_stmt_vdef (stmt);
1545 : 4 : release_defs (stmt);
1546 : 4 : gsi_remove (&gsi, true);
1547 : : }
1548 : : else
1549 : : {
1550 : 1384717 : gsi_next (&bsi);
1551 : 1384717 : stmts[gimple_uid (stmt)] = stmt;
1552 : :
1553 : : /* Remember that the input function has begin stmt
1554 : : markers, so that we know to expect them when emitting
1555 : : debug info. */
1556 : 1384717 : if (!cfun->debug_nonbind_markers
1557 : 3512953 : && gimple_debug_nonbind_marker_p (stmt))
1558 : 1268 : cfun->debug_nonbind_markers = true;
1559 : : }
1560 : : }
1561 : : }
1562 : :
1563 : : /* Set the gimple body to the statement sequence in the entry
1564 : : basic block. FIXME lto, this is fairly hacky. The existence
1565 : : of a gimple body is used by the cgraph routines, but we should
1566 : : really use the presence of the CFG. */
1567 : 83094 : {
1568 : 83094 : edge_iterator ei = ei_start (ENTRY_BLOCK_PTR_FOR_FN (cfun)->succs);
1569 : 166188 : gimple_set_body (fn_decl, bb_seq (ei_edge (ei)->dest));
1570 : : }
1571 : :
1572 : 83094 : update_max_bb_count ();
1573 : 83094 : fixup_call_stmt_edges (node, stmts);
1574 : 83094 : execute_all_ipa_stmt_fixups (node, stmts);
1575 : :
1576 : 83094 : free_dominance_info (CDI_DOMINATORS);
1577 : 83094 : free_dominance_info (CDI_POST_DOMINATORS);
1578 : 83094 : free (stmts);
1579 : 83094 : pop_cfun ();
1580 : : }
1581 : :
1582 : : /* Read the body of function FN_DECL from DATA_IN using input block IB. */
1583 : :
1584 : : static void
1585 : 7487 : input_constructor (tree var, class data_in *data_in,
1586 : : class lto_input_block *ib)
1587 : : {
1588 : 7487 : DECL_INITIAL (var) = stream_read_tree (ib, data_in);
1589 : 7487 : }
1590 : :
1591 : :
1592 : : /* Read the body from DATA for function NODE and fill it in.
1593 : : FILE_DATA are the global decls and types. SECTION_TYPE is either
1594 : : LTO_section_function_body or LTO_section_static_initializer. If
1595 : : section type is LTO_section_function_body, FN must be the decl for
1596 : : that function. */
1597 : :
1598 : : static void
1599 : 90647 : lto_read_body_or_constructor (struct lto_file_decl_data *file_data, struct symtab_node *node,
1600 : : const char *data, enum lto_section_type section_type)
1601 : : {
1602 : 90647 : const struct lto_function_header *header;
1603 : 90647 : class data_in *data_in;
1604 : 90647 : int cfg_offset;
1605 : 90647 : int main_offset;
1606 : 90647 : int string_offset;
1607 : 90647 : tree fn_decl = node->decl;
1608 : :
1609 : 90647 : header = (const struct lto_function_header *) data;
1610 : 90647 : if (TREE_CODE (node->decl) == FUNCTION_DECL)
1611 : : {
1612 : 83160 : cfg_offset = sizeof (struct lto_function_header);
1613 : 83160 : main_offset = cfg_offset + header->cfg_size;
1614 : 83160 : string_offset = main_offset + header->main_size;
1615 : : }
1616 : : else
1617 : : {
1618 : 7487 : main_offset = sizeof (struct lto_function_header);
1619 : 7487 : string_offset = main_offset + header->main_size;
1620 : : }
1621 : :
1622 : 90647 : data_in = lto_data_in_create (file_data, data + string_offset,
1623 : 90647 : header->string_size, vNULL);
1624 : :
1625 : 90647 : if (section_type == LTO_section_function_body)
1626 : : {
1627 : 90647 : struct lto_in_decl_state *decl_state;
1628 : 90647 : unsigned from;
1629 : :
1630 : 90647 : gcc_checking_assert (node);
1631 : :
1632 : : /* Use the function's decl state. */
1633 : 90647 : decl_state = lto_get_function_in_decl_state (file_data, fn_decl);
1634 : 90647 : gcc_assert (decl_state);
1635 : 90647 : file_data->current_decl_state = decl_state;
1636 : :
1637 : :
1638 : : /* Set up the struct function. */
1639 : 90647 : from = data_in->reader_cache->nodes.length ();
1640 : 90647 : lto_input_block ib_main (data + main_offset, header->main_size,
1641 : 90647 : file_data);
1642 : 90647 : if (TREE_CODE (node->decl) == FUNCTION_DECL)
1643 : : {
1644 : 83160 : lto_input_block ib_cfg (data + cfg_offset, header->cfg_size,
1645 : 83160 : file_data);
1646 : 83160 : input_function (fn_decl, data_in, &ib_main, &ib_cfg,
1647 : : dyn_cast <cgraph_node *>(node));
1648 : : }
1649 : : else
1650 : 7487 : input_constructor (fn_decl, data_in, &ib_main);
1651 : 90647 : data_in->location_cache.apply_location_cache ();
1652 : : /* And fixup types we streamed locally. */
1653 : 90647 : {
1654 : 90647 : struct streamer_tree_cache_d *cache = data_in->reader_cache;
1655 : 90647 : unsigned len = cache->nodes.length ();
1656 : : unsigned i;
1657 : 2821546 : for (i = len; i-- > from;)
1658 : : {
1659 : 2730899 : tree t = streamer_tree_cache_get_tree (cache, i);
1660 : 2730899 : if (t == NULL_TREE)
1661 : 0 : continue;
1662 : :
1663 : 2730899 : if (TYPE_P (t))
1664 : : {
1665 : 1617 : gcc_assert (TYPE_STRUCTURAL_EQUALITY_P (t));
1666 : 1617 : if (type_with_alias_set_p (t)
1667 : 1617 : && canonical_type_used_p (t))
1668 : 542 : TYPE_CANONICAL (t) = TYPE_MAIN_VARIANT (t);
1669 : 1617 : if (TYPE_MAIN_VARIANT (t) != t)
1670 : : {
1671 : 107 : gcc_assert (TYPE_NEXT_VARIANT (t) == NULL_TREE);
1672 : 107 : TYPE_NEXT_VARIANT (t)
1673 : 107 : = TYPE_NEXT_VARIANT (TYPE_MAIN_VARIANT (t));
1674 : 107 : TYPE_NEXT_VARIANT (TYPE_MAIN_VARIANT (t)) = t;
1675 : : }
1676 : : }
1677 : : }
1678 : : }
1679 : :
1680 : : /* Restore decl state */
1681 : 90647 : file_data->current_decl_state = file_data->global_decl_state;
1682 : : }
1683 : :
1684 : 90647 : lto_data_in_delete (data_in);
1685 : 90647 : }
1686 : :
1687 : :
1688 : : /* Read the body of NODE using DATA. FILE_DATA holds the global
1689 : : decls and types. */
1690 : :
1691 : : void
1692 : 83160 : lto_input_function_body (struct lto_file_decl_data *file_data,
1693 : : struct cgraph_node *node, const char *data)
1694 : : {
1695 : 83160 : lto_read_body_or_constructor (file_data, node, data, LTO_section_function_body);
1696 : 83160 : }
1697 : :
1698 : : /* Read the body of NODE using DATA. FILE_DATA holds the global
1699 : : decls and types. */
1700 : :
1701 : : void
1702 : 7487 : lto_input_variable_constructor (struct lto_file_decl_data *file_data,
1703 : : struct varpool_node *node, const char *data)
1704 : : {
1705 : 7487 : lto_read_body_or_constructor (file_data, node, data, LTO_section_function_body);
1706 : 7487 : }
1707 : :
1708 : :
1709 : : /* Queue of acummulated decl -> DIE mappings. Similar to locations those
1710 : : are only applied to prevailing tree nodes during tree merging. */
1711 : : vec<dref_entry> dref_queue;
1712 : :
1713 : : /* Read the physical representation of a tree node EXPR from
1714 : : input block IB using the per-file context in DATA_IN. */
1715 : :
1716 : : static void
1717 : 4239575 : lto_read_tree_1 (class lto_input_block *ib, class data_in *data_in, tree expr)
1718 : : {
1719 : : /* Read all the bitfield values in EXPR. Note that for LTO, we
1720 : : only write language-independent bitfields, so no more unpacking is
1721 : : needed. */
1722 : 4239575 : streamer_read_tree_bitfields (ib, data_in, expr);
1723 : :
1724 : : /* Read all the pointer fields in EXPR. */
1725 : 4239575 : streamer_read_tree_body (ib, data_in, expr);
1726 : :
1727 : : /* Read any LTO-specific data not read by the tree streamer. Do not use
1728 : : stream_read_tree here since that flushes the dref_queue in mids of
1729 : : SCC reading. */
1730 : 4239575 : if (DECL_P (expr)
1731 : 722524 : && TREE_CODE (expr) != FUNCTION_DECL
1732 : 525380 : && TREE_CODE (expr) != TRANSLATION_UNIT_DECL)
1733 : 501669 : DECL_INITIAL (expr)
1734 : 501669 : = lto_input_tree_1 (ib, data_in, streamer_read_record_start (ib), 0);
1735 : :
1736 : : /* Stream references to early generated DIEs. Keep in sync with the
1737 : : trees handled in dwarf2out_register_external_die. */
1738 : 4239575 : if ((DECL_P (expr)
1739 : : && TREE_CODE (expr) != FIELD_DECL
1740 : : && TREE_CODE (expr) != DEBUG_EXPR_DECL
1741 : : && TREE_CODE (expr) != TYPE_DECL)
1742 : 3607965 : || TREE_CODE (expr) == BLOCK)
1743 : : {
1744 : 902903 : const char *str = streamer_read_string (data_in, ib);
1745 : 902903 : if (str)
1746 : : {
1747 : 44135 : unsigned HOST_WIDE_INT off = streamer_read_uhwi (ib);
1748 : 44135 : dref_entry e = { expr, str, off };
1749 : 44135 : dref_queue.safe_push (e);
1750 : : }
1751 : : /* When there's no early DIE to refer to but dwarf2out set up
1752 : : things in a way to expect that fixup. This tends to happen
1753 : : with -g1, see for example PR113488. */
1754 : 858768 : else if (DECL_P (expr) && DECL_ABSTRACT_ORIGIN (expr) == expr)
1755 : 0 : DECL_ABSTRACT_ORIGIN (expr) = NULL_TREE;
1756 : : }
1757 : :
1758 : : #ifdef ACCEL_COMPILER
1759 : : if ((VAR_P (expr)
1760 : : || TREE_CODE (expr) == PARM_DECL
1761 : : || TREE_CODE (expr) == FIELD_DECL)
1762 : : && DECL_MODE (expr) == VOIDmode)
1763 : : {
1764 : : tree type = TREE_TYPE (expr);
1765 : : if (AGGREGATE_TYPE_P (type))
1766 : : SET_DECL_MODE (expr, TYPE_MODE (type));
1767 : : else if (VECTOR_TYPE_P (type))
1768 : : SET_DECL_MODE (expr, TYPE_MODE_RAW (type));
1769 : : }
1770 : :
1771 : : if (VECTOR_TYPE_P (expr) && TYPE_MODE (expr) == VOIDmode)
1772 : : {
1773 : : poly_uint64 nunits = TYPE_VECTOR_SUBPARTS (expr);
1774 : : tree innertype = TREE_TYPE (expr);
1775 : : machine_mode vmode
1776 : : = mode_for_vector (SCALAR_TYPE_MODE (innertype), nunits).else_blk ();
1777 : : SET_TYPE_MODE (expr, vmode);
1778 : : }
1779 : : #endif
1780 : 4239575 : }
1781 : :
1782 : : /* Read the physical representation of a tree node with tag TAG from
1783 : : input block IB using the per-file context in DATA_IN. */
1784 : :
1785 : : static tree
1786 : 4066488 : lto_read_tree (class lto_input_block *ib, class data_in *data_in,
1787 : : enum LTO_tags tag, hashval_t hash)
1788 : : {
1789 : : /* Instantiate a new tree node. */
1790 : 4066488 : tree result = streamer_alloc_tree (ib, data_in, tag);
1791 : :
1792 : : /* Enter RESULT in the reader cache. This will make RESULT
1793 : : available so that circular references in the rest of the tree
1794 : : structure can be resolved in subsequent calls to stream_read_tree. */
1795 : 4066488 : streamer_tree_cache_append (data_in->reader_cache, result, hash);
1796 : :
1797 : 4066488 : lto_read_tree_1 (ib, data_in, result);
1798 : :
1799 : 4066488 : return result;
1800 : : }
1801 : :
1802 : :
1803 : : /* Populate the reader cache with trees materialized from the SCC
1804 : : following in the IB, DATA_IN stream.
1805 : : If SHARED_SCC is true we input LTO_tree_scc. */
1806 : :
1807 : : hashval_t
1808 : 2026381 : lto_input_scc (class lto_input_block *ib, class data_in *data_in,
1809 : : unsigned *len, unsigned *entry_len, bool shared_scc)
1810 : : {
1811 : 2026381 : unsigned size = streamer_read_uhwi (ib);
1812 : 2026381 : hashval_t scc_hash = 0;
1813 : 2026381 : unsigned scc_entry_len = 1;
1814 : :
1815 : 2026381 : if (shared_scc)
1816 : : {
1817 : 719095 : if (size & 1)
1818 : 0 : scc_entry_len = streamer_read_uhwi (ib);
1819 : 719095 : size /= 2;
1820 : 719095 : scc_hash = streamer_read_uhwi (ib);
1821 : : }
1822 : :
1823 : 2026381 : if (size == 1)
1824 : : {
1825 : 1982959 : enum LTO_tags tag = streamer_read_record_start (ib);
1826 : 1982959 : lto_input_tree_1 (ib, data_in, tag, scc_hash);
1827 : : }
1828 : : else
1829 : : {
1830 : 43422 : unsigned int first = data_in->reader_cache->nodes.length ();
1831 : 43422 : tree result;
1832 : :
1833 : : /* Materialize size trees by reading their headers. */
1834 : 216509 : for (unsigned i = 0; i < size; ++i)
1835 : : {
1836 : 173087 : enum LTO_tags tag = streamer_read_record_start (ib);
1837 : 173087 : if (tag == LTO_null
1838 : 173087 : || tag == LTO_global_stream_ref
1839 : 173087 : || tag == LTO_tree_pickle_reference
1840 : 173087 : || tag == LTO_integer_cst
1841 : : || tag == LTO_tree_scc
1842 : 173087 : || tag == LTO_trees)
1843 : 0 : gcc_unreachable ();
1844 : :
1845 : 173087 : result = streamer_alloc_tree (ib, data_in, tag);
1846 : 173087 : streamer_tree_cache_append (data_in->reader_cache, result, 0);
1847 : : }
1848 : :
1849 : : /* Read the tree bitpacks and references. */
1850 : 216509 : for (unsigned i = 0; i < size; ++i)
1851 : : {
1852 : 173087 : result = streamer_tree_cache_get_tree (data_in->reader_cache,
1853 : : first + i);
1854 : 173087 : lto_read_tree_1 (ib, data_in, result);
1855 : : }
1856 : : }
1857 : :
1858 : 2026381 : *len = size;
1859 : 2026381 : *entry_len = scc_entry_len;
1860 : 2026381 : return scc_hash;
1861 : : }
1862 : :
1863 : : /* Read reference to tree from IB and DATA_IN.
1864 : : This is used for streaming tree bodies where we know that
1865 : : the tree is already in cache or is indexable and
1866 : : must be matched with stream_write_tree_ref. */
1867 : :
1868 : : tree
1869 : 18922671 : stream_read_tree_ref (lto_input_block *ib, data_in *data_in)
1870 : : {
1871 : 18922671 : int ix = streamer_read_hwi (ib);
1872 : 18922671 : if (!ix)
1873 : : return NULL_TREE;
1874 : 11671887 : if (ix > 0)
1875 : 8815121 : return streamer_tree_cache_get_tree (data_in->reader_cache, ix - 1);
1876 : :
1877 : 2856766 : ix = -ix - 1;
1878 : 2856766 : int id = ix & 1;
1879 : 2856766 : ix /= 2;
1880 : :
1881 : 2856766 : tree ret;
1882 : 2856766 : if (!id)
1883 : 2701042 : ret = (*data_in->file_data->current_decl_state
1884 : 2701042 : ->streams[LTO_DECL_STREAM])[ix];
1885 : : else
1886 : 155724 : ret = (*SSANAMES (cfun))[ix];
1887 : : return ret;
1888 : : }
1889 : :
1890 : : /* Read a tree from input block IB using the per-file context in
1891 : : DATA_IN. This context is used, for example, to resolve references
1892 : : to previously read nodes. */
1893 : :
1894 : : tree
1895 : 12417592 : lto_input_tree_1 (class lto_input_block *ib, class data_in *data_in,
1896 : : enum LTO_tags tag, hashval_t hash)
1897 : : {
1898 : 12417592 : tree result;
1899 : :
1900 : 12417592 : gcc_assert ((unsigned) tag < (unsigned) LTO_NUM_TAGS);
1901 : :
1902 : 12417592 : if (tag == LTO_null)
1903 : : result = NULL_TREE;
1904 : : else if (tag == LTO_global_stream_ref || tag == LTO_ssa_name_ref)
1905 : : {
1906 : : /* If TAG is a reference to an indexable tree, the next value
1907 : : in IB is the index into the table where we expect to find
1908 : : that tree. */
1909 : 3943649 : result = lto_input_tree_ref (ib, data_in, cfun, tag);
1910 : : }
1911 : : else if (tag == LTO_tree_pickle_reference)
1912 : : {
1913 : : /* If TAG is a reference to a previously read tree, look it up in
1914 : : the reader cache. */
1915 : 1600956 : result = streamer_get_pickled_tree (ib, data_in);
1916 : : }
1917 : : else if (tag == LTO_integer_cst)
1918 : : {
1919 : : /* For shared integer constants in singletons we can use the
1920 : : existing tree integer constant merging code. */
1921 : 652030 : tree type = stream_read_tree_ref (ib, data_in);
1922 : 652030 : unsigned HOST_WIDE_INT len = streamer_read_uhwi (ib);
1923 : 652030 : unsigned HOST_WIDE_INT i;
1924 : 652030 : HOST_WIDE_INT abuf[WIDE_INT_MAX_INL_ELTS], *a = abuf;
1925 : :
1926 : 652030 : if (UNLIKELY (len > WIDE_INT_MAX_INL_ELTS))
1927 : 0 : a = XALLOCAVEC (HOST_WIDE_INT, len);
1928 : 1309316 : for (i = 0; i < len; i++)
1929 : 657286 : a[i] = streamer_read_hwi (ib);
1930 : 652030 : gcc_assert (TYPE_PRECISION (type) <= WIDE_INT_MAX_PRECISION);
1931 : 652030 : result
1932 : 652030 : = wide_int_to_tree (type,
1933 : 652030 : wide_int::from_array (a, len,
1934 : 652030 : TYPE_PRECISION (type)));
1935 : 652030 : streamer_tree_cache_append (data_in->reader_cache, result, hash);
1936 : : }
1937 : : else if (tag == LTO_tree_scc || tag == LTO_trees)
1938 : 0 : gcc_unreachable ();
1939 : : else
1940 : : {
1941 : : /* Otherwise, materialize a new node from IB. */
1942 : 4066488 : result = lto_read_tree (ib, data_in, tag, hash);
1943 : : }
1944 : :
1945 : 12417592 : return result;
1946 : : }
1947 : :
1948 : : tree
1949 : 8758867 : lto_input_tree (class lto_input_block *ib, class data_in *data_in)
1950 : : {
1951 : 8758867 : enum LTO_tags tag;
1952 : :
1953 : : /* Input pickled trees needed to stream in the reference. */
1954 : 10052108 : while ((tag = streamer_read_record_start (ib)) == LTO_trees)
1955 : : {
1956 : 1293241 : unsigned len, entry_len;
1957 : 1293241 : lto_input_scc (ib, data_in, &len, &entry_len, false);
1958 : :
1959 : : /* Register DECLs with the debuginfo machinery. */
1960 : 2702667 : while (!dref_queue.is_empty ())
1961 : : {
1962 : 10325 : dref_entry e = dref_queue.pop ();
1963 : 10325 : debug_hooks->register_external_die (e.decl, e.sym, e.off);
1964 : : }
1965 : : }
1966 : 8758867 : tree t = lto_input_tree_1 (ib, data_in, tag, 0);
1967 : :
1968 : 8758867 : if (!dref_queue.is_empty ())
1969 : : {
1970 : 9338 : dref_entry e = dref_queue.pop ();
1971 : 9338 : debug_hooks->register_external_die (e.decl, e.sym, e.off);
1972 : 9338 : gcc_checking_assert (dref_queue.is_empty ());
1973 : : }
1974 : 8758867 : return t;
1975 : : }
1976 : :
1977 : :
1978 : : /* Input toplevel asms. */
1979 : :
1980 : : void
1981 : 23129 : lto_input_toplevel_asms (struct lto_file_decl_data *file_data, int order_base)
1982 : : {
1983 : 23129 : size_t len;
1984 : 23129 : const char *data
1985 : 23129 : = lto_get_summary_section_data (file_data, LTO_section_asm, &len);
1986 : 23129 : const struct lto_simple_header_with_strings *header
1987 : : = (const struct lto_simple_header_with_strings *) data;
1988 : 23129 : int string_offset;
1989 : 23129 : class data_in *data_in;
1990 : 23129 : tree str;
1991 : :
1992 : 23129 : if (! data)
1993 : 23065 : return;
1994 : :
1995 : 64 : string_offset = sizeof (*header) + header->main_size;
1996 : :
1997 : 64 : lto_input_block ib (data + sizeof (*header), header->main_size,
1998 : 64 : file_data);
1999 : :
2000 : 64 : data_in = lto_data_in_create (file_data, data + string_offset,
2001 : 64 : header->string_size, vNULL);
2002 : :
2003 : 192 : while ((str = streamer_read_string_cst (data_in, &ib)))
2004 : : {
2005 : 64 : asm_node *node = symtab->finalize_toplevel_asm (str);
2006 : 64 : node->order = streamer_read_hwi (&ib) + order_base;
2007 : 64 : if (node->order >= symtab->order)
2008 : 0 : symtab->order = node->order + 1;
2009 : : }
2010 : :
2011 : 64 : lto_data_in_delete (data_in);
2012 : :
2013 : 64 : lto_free_section_data (file_data, LTO_section_asm, NULL, data, len);
2014 : : }
2015 : :
2016 : :
2017 : : /* Input mode table. */
2018 : :
2019 : : void
2020 : 0 : lto_input_mode_table (struct lto_file_decl_data *file_data)
2021 : : {
2022 : 0 : size_t len;
2023 : 0 : const char *data
2024 : 0 : = lto_get_summary_section_data (file_data, LTO_section_mode_table, &len);
2025 : 0 : if (! data)
2026 : 0 : internal_error ("cannot read LTO mode table from %s",
2027 : : file_data->file_name);
2028 : :
2029 : 0 : const struct lto_simple_header_with_strings *header
2030 : : = (const struct lto_simple_header_with_strings *) data;
2031 : 0 : int string_offset;
2032 : 0 : class data_in *data_in;
2033 : 0 : string_offset = sizeof (*header) + header->main_size;
2034 : :
2035 : 0 : lto_input_block ib (data + sizeof (*header), header->main_size, NULL);
2036 : 0 : data_in = lto_data_in_create (file_data, data + string_offset,
2037 : 0 : header->string_size, vNULL);
2038 : 0 : bitpack_d bp = streamer_read_bitpack (&ib);
2039 : :
2040 : : #ifdef ACCEL_COMPILER
2041 : : host_num_poly_int_coeffs
2042 : : = bp_unpack_value (&bp, MAX_NUM_POLY_INT_COEFFS_BITS);
2043 : : #endif
2044 : :
2045 : 0 : unsigned mode_bits = bp_unpack_value (&bp, 5);
2046 : 0 : unsigned char *table = ggc_cleared_vec_alloc<unsigned char> (1 << mode_bits);
2047 : :
2048 : 0 : file_data->mode_table = table;
2049 : 0 : file_data->mode_bits = mode_bits;
2050 : :
2051 : 0 : table[VOIDmode] = VOIDmode;
2052 : 0 : table[BLKmode] = BLKmode;
2053 : 0 : unsigned int m;
2054 : 0 : while ((m = bp_unpack_value (&bp, mode_bits)) != VOIDmode)
2055 : : {
2056 : 0 : enum mode_class mclass
2057 : 0 : = bp_unpack_enum (&bp, mode_class, MAX_MODE_CLASS);
2058 : 0 : poly_uint16 size = bp_unpack_poly_value (&bp, 16);
2059 : 0 : poly_uint16 prec = bp_unpack_poly_value (&bp, 16);
2060 : 0 : machine_mode inner = (machine_mode) bp_unpack_value (&bp, mode_bits);
2061 : 0 : poly_uint16 nunits = bp_unpack_poly_value (&bp, 16);
2062 : 0 : unsigned int ibit = 0, fbit = 0;
2063 : 0 : unsigned int real_fmt_len = 0;
2064 : 0 : const char *real_fmt_name = NULL;
2065 : 0 : switch (mclass)
2066 : : {
2067 : 0 : case MODE_FRACT:
2068 : 0 : case MODE_UFRACT:
2069 : 0 : case MODE_ACCUM:
2070 : 0 : case MODE_UACCUM:
2071 : 0 : ibit = bp_unpack_value (&bp, 8);
2072 : 0 : fbit = bp_unpack_value (&bp, 8);
2073 : 0 : break;
2074 : 0 : case MODE_FLOAT:
2075 : 0 : case MODE_DECIMAL_FLOAT:
2076 : 0 : real_fmt_name = bp_unpack_indexed_string (data_in, &bp,
2077 : : &real_fmt_len);
2078 : 0 : break;
2079 : : default:
2080 : : break;
2081 : : }
2082 : : /* First search just the GET_CLASS_NARROWEST_MODE to wider modes,
2083 : : if not found, fallback to all modes. */
2084 : 0 : int pass;
2085 : 0 : for (pass = 0; pass < 2; pass++)
2086 : 0 : for (machine_mode mr = pass ? VOIDmode
2087 : 0 : : GET_CLASS_NARROWEST_MODE (mclass);
2088 : 0 : pass ? mr < MAX_MACHINE_MODE : mr != VOIDmode;
2089 : 0 : pass ? mr = (machine_mode) (mr + 1)
2090 : 0 : : mr = GET_MODE_WIDER_MODE (mr).else_void ())
2091 : 0 : if (GET_MODE_CLASS (mr) != mclass
2092 : 0 : || maybe_ne (GET_MODE_SIZE (mr), size)
2093 : 0 : || maybe_ne (GET_MODE_PRECISION (mr), prec)
2094 : 0 : || (inner == m
2095 : 0 : ? GET_MODE_INNER (mr) != mr
2096 : 0 : : GET_MODE_INNER (mr) != table[(int) inner])
2097 : 0 : || GET_MODE_IBIT (mr) != ibit
2098 : 0 : || GET_MODE_FBIT (mr) != fbit
2099 : 0 : || maybe_ne (GET_MODE_NUNITS (mr), nunits))
2100 : 0 : continue;
2101 : 0 : else if ((mclass == MODE_FLOAT || mclass == MODE_DECIMAL_FLOAT)
2102 : 0 : && strcmp (REAL_MODE_FORMAT (mr)->name, real_fmt_name) != 0)
2103 : 0 : continue;
2104 : : else
2105 : : {
2106 : 0 : table[m] = mr;
2107 : 0 : pass = 2;
2108 : 0 : break;
2109 : : }
2110 : 0 : unsigned int mname_len;
2111 : 0 : const char *mname = bp_unpack_indexed_string (data_in, &bp, &mname_len);
2112 : 0 : if (pass == 2)
2113 : : {
2114 : 0 : switch (mclass)
2115 : : {
2116 : 0 : case MODE_VECTOR_BOOL:
2117 : 0 : case MODE_VECTOR_INT:
2118 : 0 : case MODE_VECTOR_FLOAT:
2119 : 0 : case MODE_VECTOR_FRACT:
2120 : 0 : case MODE_VECTOR_UFRACT:
2121 : 0 : case MODE_VECTOR_ACCUM:
2122 : 0 : case MODE_VECTOR_UACCUM:
2123 : : /* Vector modes are recomputed on accel side and shouldn't have
2124 : : been streamed-out from host. */
2125 : 0 : gcc_unreachable ();
2126 : : /* FALLTHRU */
2127 : 0 : default:
2128 : : /* This is only used for offloading-target compilations and
2129 : : is a user-facing error. Give a better error message for
2130 : : the common modes; see also mode-classes.def. */
2131 : 0 : if (mclass == MODE_FLOAT)
2132 : 0 : fatal_error (UNKNOWN_LOCATION,
2133 : : "%s - %u-bit-precision floating-point numbers "
2134 : : "unsupported (mode %qs)", TARGET_MACHINE,
2135 : 0 : prec.to_constant (), mname);
2136 : 0 : else if (mclass == MODE_DECIMAL_FLOAT)
2137 : 0 : fatal_error (UNKNOWN_LOCATION,
2138 : : "%s - %u-bit-precision decimal floating-point "
2139 : : "numbers unsupported (mode %qs)", TARGET_MACHINE,
2140 : 0 : prec.to_constant (), mname);
2141 : 0 : else if (mclass == MODE_COMPLEX_FLOAT)
2142 : 0 : fatal_error (UNKNOWN_LOCATION,
2143 : : "%s - %u-bit-precision complex floating-point "
2144 : : "numbers unsupported (mode %qs)", TARGET_MACHINE,
2145 : 0 : prec.to_constant (), mname);
2146 : 0 : else if (mclass == MODE_INT)
2147 : 0 : fatal_error (UNKNOWN_LOCATION,
2148 : : "%s - %u-bit integer numbers unsupported (mode "
2149 : 0 : "%qs)", TARGET_MACHINE, prec.to_constant (), mname);
2150 : : else
2151 : 0 : fatal_error (UNKNOWN_LOCATION, "%s - unsupported mode %qs",
2152 : : TARGET_MACHINE, mname);
2153 : 0 : break;
2154 : : }
2155 : : }
2156 : : }
2157 : 0 : lto_data_in_delete (data_in);
2158 : :
2159 : 0 : lto_free_section_data (file_data, LTO_section_mode_table, NULL, data, len);
2160 : 0 : }
2161 : :
2162 : :
2163 : : /* Initialization for the LTO reader. */
2164 : :
2165 : : void
2166 : 22104 : lto_reader_init (void)
2167 : : {
2168 : 22104 : lto_streamer_init ();
2169 : 22104 : file_name_hash_table
2170 : 22104 : = new hash_table<string_slot_hasher> (37);
2171 : 44208 : string_slot_allocator = new object_allocator <struct string_slot>
2172 : 22104 : ("line map file name hash");
2173 : 22104 : gcc_obstack_init (&file_name_obstack);
2174 : 22104 : }
2175 : :
2176 : : /* Free hash table used to stream in location file names. */
2177 : :
2178 : : void
2179 : 8764 : lto_free_file_name_hash (void)
2180 : : {
2181 : 8764 : delete file_name_hash_table;
2182 : 8764 : file_name_hash_table = NULL;
2183 : 17528 : delete string_slot_allocator;
2184 : 8764 : string_slot_allocator = NULL;
2185 : 8764 : delete path_name_pair_hash_table;
2186 : 8764 : path_name_pair_hash_table = NULL;
2187 : 8764 : delete string_pair_map_allocator;
2188 : 8764 : string_pair_map_allocator = NULL;
2189 : : /* file_name_obstack must stay allocated since it is referred to by
2190 : : line map table. */
2191 : 8764 : }
2192 : :
2193 : :
2194 : : /* Create a new data_in object for FILE_DATA. STRINGS is the string
2195 : : table to use with LEN strings. RESOLUTIONS is the vector of linker
2196 : : resolutions (NULL if not using a linker plugin). */
2197 : :
2198 : : class data_in *
2199 : 203888 : lto_data_in_create (struct lto_file_decl_data *file_data, const char *strings,
2200 : : unsigned len,
2201 : : vec<ld_plugin_symbol_resolution_t> resolutions)
2202 : : {
2203 : 203888 : class data_in *data_in = new (class data_in);
2204 : 203888 : data_in->file_data = file_data;
2205 : 203888 : data_in->strings = strings;
2206 : 203888 : data_in->strings_len = len;
2207 : 203888 : data_in->globals_resolution = resolutions;
2208 : 203888 : data_in->reader_cache = streamer_tree_cache_create (false, false, true);
2209 : 203888 : return data_in;
2210 : : }
2211 : :
2212 : :
2213 : : /* Remove DATA_IN. */
2214 : :
2215 : : void
2216 : 203888 : lto_data_in_delete (class data_in *data_in)
2217 : : {
2218 : 203888 : data_in->globals_resolution.release ();
2219 : 203888 : streamer_tree_cache_delete (data_in->reader_cache);
2220 : 203888 : delete data_in;
2221 : 203888 : }
|
