comparison gcc/lto-streamer-in.c @ 55:77e2b8dfacca gcc-4.4.5

update it from 4.4.3 to 4.5.0
author ryoma <e075725@ie.u-ryukyu.ac.jp>
date Fri, 12 Feb 2010 23:39:51 +0900
parents
children b7f97abdc517
comparison
equal deleted inserted replaced
52:c156f1bd5cd9 55:77e2b8dfacca
1 /* Read the GIMPLE representation from a file stream.
2
3 Copyright 2009 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 "tm.h"
27 #include "toplev.h"
28 #include "tree.h"
29 #include "expr.h"
30 #include "flags.h"
31 #include "params.h"
32 #include "input.h"
33 #include "varray.h"
34 #include "hashtab.h"
35 #include "basic-block.h"
36 #include "tree-flow.h"
37 #include "tree-pass.h"
38 #include "cgraph.h"
39 #include "function.h"
40 #include "ggc.h"
41 #include "diagnostic.h"
42 #include "libfuncs.h"
43 #include "except.h"
44 #include "debug.h"
45 #include "vec.h"
46 #include "timevar.h"
47 #include "output.h"
48 #include "ipa-utils.h"
49 #include "lto-streamer.h"
50 #include "tree-pass.h"
51
52 /* Data structure used to hash file names in the source_location field. */
53 struct string_slot
54 {
55 const char *s;
56 unsigned int slot_num;
57 };
58
59 /* The table to hold the file names. */
60 static htab_t file_name_hash_table;
61
62
63 /* Check that tag ACTUAL has one of the given values. NUM_TAGS is the
64 number of valid tag values to check. */
65
66 static void
67 lto_tag_check_set (enum LTO_tags actual, int ntags, ...)
68 {
69 va_list ap;
70 int i;
71
72 va_start (ap, ntags);
73 for (i = 0; i < ntags; i++)
74 if ((unsigned) actual == va_arg (ap, unsigned))
75 {
76 va_end (ap);
77 return;
78 }
79
80 va_end (ap);
81 internal_error ("bytecode stream: unexpected tag %s", lto_tag_name (actual));
82 }
83
84
85 /* Check that tag ACTUAL is in the range [TAG1, TAG2]. */
86
87 static void
88 lto_tag_check_range (enum LTO_tags actual, enum LTO_tags tag1,
89 enum LTO_tags tag2)
90 {
91 if (actual < tag1 || actual > tag2)
92 internal_error ("bytecode stream: tag %s is not in the expected range "
93 "[%s, %s]",
94 lto_tag_name (actual),
95 lto_tag_name (tag1),
96 lto_tag_name (tag2));
97 }
98
99
100 /* Check that tag ACTUAL == EXPECTED. */
101
102 static void
103 lto_tag_check (enum LTO_tags actual, enum LTO_tags expected)
104 {
105 if (actual != expected)
106 internal_error ("bytecode stream: expected tag %s instead of %s",
107 lto_tag_name (expected), lto_tag_name (actual));
108 }
109
110
111 /* Return a hash code for P. */
112
113 static hashval_t
114 hash_string_slot_node (const void *p)
115 {
116 const struct string_slot *ds = (const struct string_slot *) p;
117 return (hashval_t) htab_hash_string (ds->s);
118 }
119
120
121 /* Returns nonzero if P1 and P2 are equal. */
122
123 static int
124 eq_string_slot_node (const void *p1, const void *p2)
125 {
126 const struct string_slot *ds1 = (const struct string_slot *) p1;
127 const struct string_slot *ds2 = (const struct string_slot *) p2;
128 return strcmp (ds1->s, ds2->s) == 0;
129 }
130
131
132 /* Read a string from the string table in DATA_IN using input block
133 IB. Write the length to RLEN. */
134
135 static const char *
136 input_string_internal (struct data_in *data_in, struct lto_input_block *ib,
137 unsigned int *rlen)
138 {
139 struct lto_input_block str_tab;
140 unsigned int len;
141 unsigned int loc;
142 const char *result;
143
144 loc = lto_input_uleb128 (ib);
145 LTO_INIT_INPUT_BLOCK (str_tab, data_in->strings, loc, data_in->strings_len);
146 len = lto_input_uleb128 (&str_tab);
147 *rlen = len;
148
149 if (str_tab.p + len > data_in->strings_len)
150 internal_error ("bytecode stream: string too long for the string table");
151
152 result = (const char *)(data_in->strings + str_tab.p);
153
154 return result;
155 }
156
157
158 /* Read a STRING_CST from the string table in DATA_IN using input
159 block IB. */
160
161 static tree
162 input_string_cst (struct data_in *data_in, struct lto_input_block *ib)
163 {
164 unsigned int len;
165 const char * ptr;
166 unsigned int is_null;
167
168 is_null = lto_input_uleb128 (ib);
169 if (is_null)
170 return NULL;
171
172 ptr = input_string_internal (data_in, ib, &len);
173 return build_string (len, ptr);
174 }
175
176
177 /* Read an IDENTIFIER from the string table in DATA_IN using input
178 block IB. */
179
180 static tree
181 input_identifier (struct data_in *data_in, struct lto_input_block *ib)
182 {
183 unsigned int len;
184 const char *ptr;
185 unsigned int is_null;
186
187 is_null = lto_input_uleb128 (ib);
188 if (is_null)
189 return NULL;
190
191 ptr = input_string_internal (data_in, ib, &len);
192 return get_identifier_with_length (ptr, len);
193 }
194
195 /* Read a NULL terminated string from the string table in DATA_IN. */
196
197 static const char *
198 input_string (struct data_in *data_in, struct lto_input_block *ib)
199 {
200 unsigned int len;
201 const char *ptr;
202 unsigned int is_null;
203
204 is_null = lto_input_uleb128 (ib);
205 if (is_null)
206 return NULL;
207
208 ptr = input_string_internal (data_in, ib, &len);
209 if (ptr[len - 1] != '\0')
210 internal_error ("bytecode stream: found non-null terminated string");
211
212 return ptr;
213 }
214
215
216 /* Return the next tag in the input block IB. */
217
218 static enum LTO_tags
219 input_record_start (struct lto_input_block *ib)
220 {
221 enum LTO_tags tag = (enum LTO_tags) lto_input_uleb128 (ib);
222 return tag;
223 }
224
225
226 /* Lookup STRING in file_name_hash_table. If found, return the existing
227 string, otherwise insert STRING as the canonical version. */
228
229 static const char *
230 canon_file_name (const char *string)
231 {
232 void **slot;
233 struct string_slot s_slot;
234 s_slot.s = string;
235
236 slot = htab_find_slot (file_name_hash_table, &s_slot, INSERT);
237 if (*slot == NULL)
238 {
239 size_t len;
240 char *saved_string;
241 struct string_slot *new_slot;
242
243 len = strlen (string);
244 saved_string = (char *) xmalloc (len + 1);
245 new_slot = XCNEW (struct string_slot);
246 strcpy (saved_string, string);
247 new_slot->s = saved_string;
248 *slot = new_slot;
249 return saved_string;
250 }
251 else
252 {
253 struct string_slot *old_slot = (struct string_slot *) *slot;
254 return old_slot->s;
255 }
256 }
257
258
259 /* Clear the line info stored in DATA_IN. */
260
261 static void
262 clear_line_info (struct data_in *data_in)
263 {
264 if (data_in->current_file)
265 linemap_add (line_table, LC_LEAVE, false, NULL, 0);
266 data_in->current_file = NULL;
267 data_in->current_line = 0;
268 data_in->current_col = 0;
269 }
270
271
272 /* Read a location from input block IB. */
273
274 static location_t
275 lto_input_location (struct lto_input_block *ib, struct data_in *data_in)
276 {
277 expanded_location xloc;
278
279 xloc.file = input_string (data_in, ib);
280 if (xloc.file == NULL)
281 return UNKNOWN_LOCATION;
282
283 xloc.file = canon_file_name (xloc.file);
284 xloc.line = lto_input_sleb128 (ib);
285 xloc.column = lto_input_sleb128 (ib);
286 xloc.sysp = lto_input_sleb128 (ib);
287
288 if (data_in->current_file != xloc.file)
289 {
290 if (data_in->current_file)
291 linemap_add (line_table, LC_LEAVE, false, NULL, 0);
292
293 linemap_add (line_table, LC_ENTER, xloc.sysp, xloc.file, xloc.line);
294 }
295 else if (data_in->current_line != xloc.line)
296 linemap_line_start (line_table, xloc.line, xloc.column);
297
298 data_in->current_file = xloc.file;
299 data_in->current_line = xloc.line;
300 data_in->current_col = xloc.column;
301
302 return linemap_position_for_column (line_table, xloc.column);
303 }
304
305
306 /* Read a reference to a tree node from DATA_IN using input block IB.
307 TAG is the expected node that should be found in IB, if TAG belongs
308 to one of the indexable trees, expect to read a reference index to
309 be looked up in one of the symbol tables, otherwise read the pysical
310 representation of the tree using lto_input_tree. FN is the
311 function scope for the read tree. */
312
313 static tree
314 lto_input_tree_ref (struct lto_input_block *ib, struct data_in *data_in,
315 struct function *fn, enum LTO_tags tag)
316 {
317 unsigned HOST_WIDE_INT ix_u;
318 tree result = NULL_TREE;
319
320 lto_tag_check_range (tag, LTO_field_decl_ref, LTO_global_decl_ref);
321
322 switch (tag)
323 {
324 case LTO_type_ref:
325 ix_u = lto_input_uleb128 (ib);
326 result = lto_file_decl_data_get_type (data_in->file_data, ix_u);
327 break;
328
329 case LTO_ssa_name_ref:
330 ix_u = lto_input_uleb128 (ib);
331 result = VEC_index (tree, SSANAMES (fn), ix_u);
332 break;
333
334 case LTO_field_decl_ref:
335 ix_u = lto_input_uleb128 (ib);
336 result = lto_file_decl_data_get_field_decl (data_in->file_data, ix_u);
337 break;
338
339 case LTO_function_decl_ref:
340 ix_u = lto_input_uleb128 (ib);
341 result = lto_file_decl_data_get_fn_decl (data_in->file_data, ix_u);
342 break;
343
344 case LTO_type_decl_ref:
345 ix_u = lto_input_uleb128 (ib);
346 result = lto_file_decl_data_get_type_decl (data_in->file_data, ix_u);
347 break;
348
349 case LTO_namespace_decl_ref:
350 ix_u = lto_input_uleb128 (ib);
351 result = lto_file_decl_data_get_namespace_decl (data_in->file_data, ix_u);
352 break;
353
354 case LTO_global_decl_ref:
355 case LTO_result_decl_ref:
356 case LTO_const_decl_ref:
357 case LTO_imported_decl_ref:
358 case LTO_label_decl_ref:
359 ix_u = lto_input_uleb128 (ib);
360 result = lto_file_decl_data_get_var_decl (data_in->file_data, ix_u);
361 if (TREE_CODE (result) == VAR_DECL)
362 varpool_mark_needed_node (varpool_node (result));
363 break;
364
365 default:
366 gcc_unreachable ();
367 }
368
369 gcc_assert (result);
370
371 return result;
372 }
373
374
375 /* Read and return a double-linked list of catch handlers from input
376 block IB, using descriptors in DATA_IN. */
377
378 static struct eh_catch_d *
379 lto_input_eh_catch_list (struct lto_input_block *ib, struct data_in *data_in,
380 eh_catch *last_p)
381 {
382 eh_catch first;
383 enum LTO_tags tag;
384
385 *last_p = first = NULL;
386 tag = input_record_start (ib);
387 while (tag)
388 {
389 tree list;
390 eh_catch n;
391
392 lto_tag_check_range (tag, LTO_eh_catch, LTO_eh_catch);
393
394 /* Read the catch node. */
395 n = GGC_CNEW (struct eh_catch_d);
396 n->type_list = lto_input_tree (ib, data_in);
397 n->filter_list = lto_input_tree (ib, data_in);
398 n->label = lto_input_tree (ib, data_in);
399
400 /* Register all the types in N->FILTER_LIST. */
401 for (list = n->filter_list; list; list = TREE_CHAIN (list))
402 add_type_for_runtime (TREE_VALUE (list));
403
404 /* Chain N to the end of the list. */
405 if (*last_p)
406 (*last_p)->next_catch = n;
407 n->prev_catch = *last_p;
408 *last_p = n;
409
410 /* Set the head of the list the first time through the loop. */
411 if (first == NULL)
412 first = n;
413
414 tag = input_record_start (ib);
415 }
416
417 return first;
418 }
419
420
421 /* Read and return EH region IX from input block IB, using descriptors
422 in DATA_IN. */
423
424 static eh_region
425 input_eh_region (struct lto_input_block *ib, struct data_in *data_in, int ix)
426 {
427 enum LTO_tags tag;
428 eh_region r;
429
430 /* Read the region header. */
431 tag = input_record_start (ib);
432 if (tag == LTO_null)
433 return NULL;
434
435 r = GGC_CNEW (struct eh_region_d);
436 r->index = lto_input_sleb128 (ib);
437
438 gcc_assert (r->index == ix);
439
440 /* Read all the region pointers as region numbers. We'll fix up
441 the pointers once the whole array has been read. */
442 r->outer = (eh_region) (intptr_t) lto_input_sleb128 (ib);
443 r->inner = (eh_region) (intptr_t) lto_input_sleb128 (ib);
444 r->next_peer = (eh_region) (intptr_t) lto_input_sleb128 (ib);
445
446 switch (tag)
447 {
448 case LTO_ert_cleanup:
449 r->type = ERT_CLEANUP;
450 break;
451
452 case LTO_ert_try:
453 {
454 struct eh_catch_d *last_catch;
455 r->type = ERT_TRY;
456 r->u.eh_try.first_catch = lto_input_eh_catch_list (ib, data_in,
457 &last_catch);
458 r->u.eh_try.last_catch = last_catch;
459 break;
460 }
461
462 case LTO_ert_allowed_exceptions:
463 {
464 tree l;
465
466 r->type = ERT_ALLOWED_EXCEPTIONS;
467 r->u.allowed.type_list = lto_input_tree (ib, data_in);
468 r->u.allowed.label = lto_input_tree (ib, data_in);
469 r->u.allowed.filter = lto_input_uleb128 (ib);
470
471 for (l = r->u.allowed.type_list; l ; l = TREE_CHAIN (l))
472 add_type_for_runtime (TREE_VALUE (l));
473 }
474 break;
475
476 case LTO_ert_must_not_throw:
477 r->type = ERT_MUST_NOT_THROW;
478 r->u.must_not_throw.failure_decl = lto_input_tree (ib, data_in);
479 r->u.must_not_throw.failure_loc = lto_input_location (ib, data_in);
480 break;
481
482 default:
483 gcc_unreachable ();
484 }
485
486 r->landing_pads = (eh_landing_pad) (intptr_t) lto_input_sleb128 (ib);
487
488 return r;
489 }
490
491
492 /* Read and return EH landing pad IX from input block IB, using descriptors
493 in DATA_IN. */
494
495 static eh_landing_pad
496 input_eh_lp (struct lto_input_block *ib, struct data_in *data_in, int ix)
497 {
498 enum LTO_tags tag;
499 eh_landing_pad lp;
500
501 /* Read the landing pad header. */
502 tag = input_record_start (ib);
503 if (tag == LTO_null)
504 return NULL;
505
506 lto_tag_check_range (tag, LTO_eh_landing_pad, LTO_eh_landing_pad);
507
508 lp = GGC_CNEW (struct eh_landing_pad_d);
509 lp->index = lto_input_sleb128 (ib);
510 gcc_assert (lp->index == ix);
511 lp->next_lp = (eh_landing_pad) (intptr_t) lto_input_sleb128 (ib);
512 lp->region = (eh_region) (intptr_t) lto_input_sleb128 (ib);
513 lp->post_landing_pad = lto_input_tree (ib, data_in);
514
515 return lp;
516 }
517
518
519 /* After reading the EH regions, pointers to peer and children regions
520 are region numbers. This converts all these region numbers into
521 real pointers into the rematerialized regions for FN. ROOT_REGION
522 is the region number for the root EH region in FN. */
523
524 static void
525 fixup_eh_region_pointers (struct function *fn, HOST_WIDE_INT root_region)
526 {
527 unsigned i;
528 VEC(eh_region,gc) *eh_array = fn->eh->region_array;
529 VEC(eh_landing_pad,gc) *lp_array = fn->eh->lp_array;
530 eh_region r;
531 eh_landing_pad lp;
532
533 gcc_assert (eh_array && lp_array);
534
535 gcc_assert (root_region >= 0);
536 fn->eh->region_tree = VEC_index (eh_region, eh_array, root_region);
537
538 #define FIXUP_EH_REGION(r) (r) = VEC_index (eh_region, eh_array, \
539 (HOST_WIDE_INT) (intptr_t) (r))
540 #define FIXUP_EH_LP(p) (p) = VEC_index (eh_landing_pad, lp_array, \
541 (HOST_WIDE_INT) (intptr_t) (p))
542
543 /* Convert all the index numbers stored in pointer fields into
544 pointers to the corresponding slots in the EH region array. */
545 for (i = 0; VEC_iterate (eh_region, eh_array, i, r); i++)
546 {
547 /* The array may contain NULL regions. */
548 if (r == NULL)
549 continue;
550
551 gcc_assert (i == (unsigned) r->index);
552 FIXUP_EH_REGION (r->outer);
553 FIXUP_EH_REGION (r->inner);
554 FIXUP_EH_REGION (r->next_peer);
555 FIXUP_EH_LP (r->landing_pads);
556 }
557
558 /* Convert all the index numbers stored in pointer fields into
559 pointers to the corresponding slots in the EH landing pad array. */
560 for (i = 0; VEC_iterate (eh_landing_pad, lp_array, i, lp); i++)
561 {
562 /* The array may contain NULL landing pads. */
563 if (lp == NULL)
564 continue;
565
566 gcc_assert (i == (unsigned) lp->index);
567 FIXUP_EH_LP (lp->next_lp);
568 FIXUP_EH_REGION (lp->region);
569 }
570
571 #undef FIXUP_EH_REGION
572 #undef FIXUP_EH_LP
573 }
574
575
576 /* Initialize EH support. */
577
578 static void
579 lto_init_eh (void)
580 {
581 static bool eh_initialized_p = false;
582
583 if (eh_initialized_p)
584 return;
585
586 /* Contrary to most other FEs, we only initialize EH support when at
587 least one of the files in the set contains exception regions in
588 it. Since this happens much later than the call to init_eh in
589 lang_dependent_init, we have to set flag_exceptions and call
590 init_eh again to initialize the EH tables. */
591 flag_exceptions = 1;
592 init_eh ();
593
594 /* Initialize dwarf2 tables. Since dwarf2out_do_frame() returns
595 true only when exceptions are enabled, this initialization is
596 never done during lang_dependent_init. */
597 #if defined DWARF2_DEBUGGING_INFO || defined DWARF2_UNWIND_INFO
598 if (dwarf2out_do_frame ())
599 dwarf2out_frame_init ();
600 #endif
601
602 eh_initialized_p = true;
603 }
604
605
606 /* Read the exception table for FN from IB using the data descriptors
607 in DATA_IN. */
608
609 static void
610 input_eh_regions (struct lto_input_block *ib, struct data_in *data_in,
611 struct function *fn)
612 {
613 HOST_WIDE_INT i, root_region, len;
614 enum LTO_tags tag;
615
616 tag = input_record_start (ib);
617 if (tag == LTO_null)
618 return;
619
620 lto_tag_check_range (tag, LTO_eh_table, LTO_eh_table);
621
622 /* If the file contains EH regions, then it was compiled with
623 -fexceptions. In that case, initialize the backend EH
624 machinery. */
625 lto_init_eh ();
626
627 gcc_assert (fn->eh);
628
629 root_region = lto_input_sleb128 (ib);
630 gcc_assert (root_region == (int) root_region);
631
632 /* Read the EH region array. */
633 len = lto_input_sleb128 (ib);
634 gcc_assert (len == (int) len);
635 if (len > 0)
636 {
637 VEC_safe_grow (eh_region, gc, fn->eh->region_array, len);
638 for (i = 0; i < len; i++)
639 {
640 eh_region r = input_eh_region (ib, data_in, i);
641 VEC_replace (eh_region, fn->eh->region_array, i, r);
642 }
643 }
644
645 /* Read the landing pads. */
646 len = lto_input_sleb128 (ib);
647 gcc_assert (len == (int) len);
648 if (len > 0)
649 {
650 VEC_safe_grow (eh_landing_pad, gc, fn->eh->lp_array, len);
651 for (i = 0; i < len; i++)
652 {
653 eh_landing_pad lp = input_eh_lp (ib, data_in, i);
654 VEC_replace (eh_landing_pad, fn->eh->lp_array, i, lp);
655 }
656 }
657
658 /* Read the runtime type data. */
659 len = lto_input_sleb128 (ib);
660 gcc_assert (len == (int) len);
661 if (len > 0)
662 {
663 VEC_safe_grow (tree, gc, fn->eh->ttype_data, len);
664 for (i = 0; i < len; i++)
665 {
666 tree ttype = lto_input_tree (ib, data_in);
667 VEC_replace (tree, fn->eh->ttype_data, i, ttype);
668 }
669 }
670
671 /* Read the table of action chains. */
672 len = lto_input_sleb128 (ib);
673 gcc_assert (len == (int) len);
674 if (len > 0)
675 {
676 if (targetm.arm_eabi_unwinder)
677 {
678 VEC_safe_grow (tree, gc, fn->eh->ehspec_data.arm_eabi, len);
679 for (i = 0; i < len; i++)
680 {
681 tree t = lto_input_tree (ib, data_in);
682 VEC_replace (tree, fn->eh->ehspec_data.arm_eabi, i, t);
683 }
684 }
685 else
686 {
687 VEC_safe_grow (uchar, gc, fn->eh->ehspec_data.other, len);
688 for (i = 0; i < len; i++)
689 {
690 uchar c = lto_input_1_unsigned (ib);
691 VEC_replace (uchar, fn->eh->ehspec_data.other, i, c);
692 }
693 }
694 }
695
696 /* Reconstruct the EH region tree by fixing up the peer/children
697 pointers. */
698 fixup_eh_region_pointers (fn, root_region);
699
700 tag = input_record_start (ib);
701 lto_tag_check_range (tag, LTO_null, LTO_null);
702 }
703
704
705 /* Make a new basic block with index INDEX in function FN. */
706
707 static basic_block
708 make_new_block (struct function *fn, unsigned int index)
709 {
710 basic_block bb = alloc_block ();
711 bb->index = index;
712 SET_BASIC_BLOCK_FOR_FUNCTION (fn, index, bb);
713 bb->il.gimple = GGC_CNEW (struct gimple_bb_info);
714 n_basic_blocks_for_function (fn)++;
715 bb->flags = 0;
716 set_bb_seq (bb, gimple_seq_alloc ());
717 return bb;
718 }
719
720
721 /* Read the CFG for function FN from input block IB. */
722
723 static void
724 input_cfg (struct lto_input_block *ib, struct function *fn)
725 {
726 unsigned int bb_count;
727 basic_block p_bb;
728 unsigned int i;
729 int index;
730
731 init_empty_tree_cfg_for_function (fn);
732 init_ssa_operands ();
733
734 profile_status_for_function (fn) =
735 (enum profile_status_d) lto_input_uleb128 (ib);
736
737 bb_count = lto_input_uleb128 (ib);
738
739 last_basic_block_for_function (fn) = bb_count;
740 if (bb_count > VEC_length (basic_block, basic_block_info_for_function (fn)))
741 VEC_safe_grow_cleared (basic_block, gc,
742 basic_block_info_for_function (fn), bb_count);
743
744 if (bb_count > VEC_length (basic_block, label_to_block_map_for_function (fn)))
745 VEC_safe_grow_cleared (basic_block, gc,
746 label_to_block_map_for_function (fn), bb_count);
747
748 index = lto_input_sleb128 (ib);
749 while (index != -1)
750 {
751 basic_block bb = BASIC_BLOCK_FOR_FUNCTION (fn, index);
752 unsigned int edge_count;
753
754 if (bb == NULL)
755 bb = make_new_block (fn, index);
756
757 edge_count = lto_input_uleb128 (ib);
758
759 /* Connect up the CFG. */
760 for (i = 0; i < edge_count; i++)
761 {
762 unsigned int dest_index;
763 unsigned int edge_flags;
764 basic_block dest;
765 int probability;
766 gcov_type count;
767 edge e;
768
769 dest_index = lto_input_uleb128 (ib);
770 probability = (int) lto_input_sleb128 (ib);
771 count = (gcov_type) lto_input_sleb128 (ib);
772 edge_flags = lto_input_uleb128 (ib);
773
774 dest = BASIC_BLOCK_FOR_FUNCTION (fn, dest_index);
775
776 if (dest == NULL)
777 dest = make_new_block (fn, dest_index);
778
779 e = make_edge (bb, dest, edge_flags);
780 e->probability = probability;
781 e->count = count;
782 }
783
784 index = lto_input_sleb128 (ib);
785 }
786
787 p_bb = ENTRY_BLOCK_PTR_FOR_FUNCTION(fn);
788 index = lto_input_sleb128 (ib);
789 while (index != -1)
790 {
791 basic_block bb = BASIC_BLOCK_FOR_FUNCTION (fn, index);
792 bb->prev_bb = p_bb;
793 p_bb->next_bb = bb;
794 p_bb = bb;
795 index = lto_input_sleb128 (ib);
796 }
797 }
798
799
800 /* Read a PHI function for basic block BB in function FN. DATA_IN is
801 the file being read. IB is the input block to use for reading. */
802
803 static gimple
804 input_phi (struct lto_input_block *ib, basic_block bb, struct data_in *data_in,
805 struct function *fn)
806 {
807 unsigned HOST_WIDE_INT ix;
808 tree phi_result;
809 int i, len;
810 gimple result;
811
812 ix = lto_input_uleb128 (ib);
813 phi_result = VEC_index (tree, SSANAMES (fn), ix);
814 len = EDGE_COUNT (bb->preds);
815 result = create_phi_node (phi_result, bb);
816 SSA_NAME_DEF_STMT (phi_result) = result;
817
818 /* We have to go through a lookup process here because the preds in the
819 reconstructed graph are generally in a different order than they
820 were in the original program. */
821 for (i = 0; i < len; i++)
822 {
823 tree def = lto_input_tree (ib, data_in);
824 int src_index = lto_input_uleb128 (ib);
825 location_t arg_loc = lto_input_location (ib, data_in);
826 basic_block sbb = BASIC_BLOCK_FOR_FUNCTION (fn, src_index);
827
828 edge e = NULL;
829 int j;
830
831 for (j = 0; j < len; j++)
832 if (EDGE_PRED (bb, j)->src == sbb)
833 {
834 e = EDGE_PRED (bb, j);
835 break;
836 }
837
838 add_phi_arg (result, def, e, arg_loc);
839 }
840
841 return result;
842 }
843
844
845 /* Read the SSA names array for function FN from DATA_IN using input
846 block IB. */
847
848 static void
849 input_ssa_names (struct lto_input_block *ib, struct data_in *data_in,
850 struct function *fn)
851 {
852 unsigned int i, size;
853
854 size = lto_input_uleb128 (ib);
855 init_ssanames (fn, size);
856
857 i = lto_input_uleb128 (ib);
858 while (i)
859 {
860 tree ssa_name, name;
861 bool is_default_def;
862
863 /* Skip over the elements that had been freed. */
864 while (VEC_length (tree, SSANAMES (fn)) < i)
865 VEC_quick_push (tree, SSANAMES (fn), NULL_TREE);
866
867 is_default_def = (lto_input_1_unsigned (ib) != 0);
868 name = lto_input_tree (ib, data_in);
869 ssa_name = make_ssa_name_fn (fn, name, gimple_build_nop ());
870
871 if (is_default_def)
872 set_default_def (SSA_NAME_VAR (ssa_name), ssa_name);
873
874 i = lto_input_uleb128 (ib);
875 }
876 }
877
878
879 /* Fixup the reference tree OP for replaced VAR_DECLs with mismatched
880 types. */
881
882 static void
883 maybe_fixup_handled_component (tree op)
884 {
885 tree decl_type;
886 tree wanted_type;
887
888 while (handled_component_p (TREE_OPERAND (op, 0)))
889 op = TREE_OPERAND (op, 0);
890 if (TREE_CODE (TREE_OPERAND (op, 0)) != VAR_DECL)
891 return;
892
893 decl_type = TREE_TYPE (TREE_OPERAND (op, 0));
894
895 switch (TREE_CODE (op))
896 {
897 case COMPONENT_REF:
898 /* The DECL_CONTEXT of the field-decl is the record type we look for. */
899 wanted_type = DECL_CONTEXT (TREE_OPERAND (op, 1));
900 break;
901
902 case ARRAY_REF:
903 if (TREE_CODE (decl_type) == ARRAY_TYPE
904 && (TREE_TYPE (decl_type) == TREE_TYPE (op)
905 || useless_type_conversion_p (TREE_TYPE (op),
906 TREE_TYPE (decl_type))))
907 return;
908 /* An unknown size array type should be ok. But we do not
909 lower the lower bound in all cases - ugh. */
910 wanted_type = build_array_type (TREE_TYPE (op), NULL_TREE);
911 break;
912
913 case ARRAY_RANGE_REF:
914 if (TREE_CODE (decl_type) == ARRAY_TYPE
915 && (TREE_TYPE (decl_type) == TREE_TYPE (TREE_TYPE (op))
916 || useless_type_conversion_p (TREE_TYPE (TREE_TYPE (op)),
917 TREE_TYPE (decl_type))))
918 return;
919 /* An unknown size array type should be ok. But we do not
920 lower the lower bound in all cases - ugh. */
921 wanted_type = build_array_type (TREE_TYPE (TREE_TYPE (op)), NULL_TREE);
922 break;
923
924 case BIT_FIELD_REF:
925 case VIEW_CONVERT_EXPR:
926 /* Very nice - nothing to do. */
927 return;
928
929 case REALPART_EXPR:
930 case IMAGPART_EXPR:
931 if (TREE_CODE (decl_type) == COMPLEX_TYPE
932 && (TREE_TYPE (decl_type) == TREE_TYPE (op)
933 || useless_type_conversion_p (TREE_TYPE (op),
934 TREE_TYPE (decl_type))))
935 return;
936 wanted_type = build_complex_type (TREE_TYPE (op));
937 break;
938
939 default:
940 gcc_unreachable ();
941 }
942
943 if (!useless_type_conversion_p (wanted_type, decl_type))
944 TREE_OPERAND (op, 0) = build1 (VIEW_CONVERT_EXPR, wanted_type,
945 TREE_OPERAND (op, 0));
946 }
947
948 /* Fixup reference tree operands for substituted prevailing decls
949 with mismatched types in STMT. */
950
951 static void
952 maybe_fixup_decls (gimple stmt)
953 {
954 /* We have to fixup replaced decls here in case there were
955 inter-TU type mismatches. Catch the most common cases
956 for now - this way we'll get testcases for the rest as
957 the type verifier will complain. */
958 if (gimple_assign_single_p (stmt))
959 {
960 tree lhs = gimple_assign_lhs (stmt);
961 tree rhs = gimple_assign_rhs1 (stmt);
962
963 /* First catch loads and aggregate copies by adjusting the rhs. */
964 if (TREE_CODE (rhs) == VAR_DECL)
965 {
966 if (!useless_type_conversion_p (TREE_TYPE (lhs), TREE_TYPE (rhs)))
967 gimple_assign_set_rhs1 (stmt, build1 (VIEW_CONVERT_EXPR,
968 TREE_TYPE (lhs), rhs));
969 }
970 else if (handled_component_p (rhs))
971 maybe_fixup_handled_component (rhs);
972 /* Then catch scalar stores. */
973 else if (TREE_CODE (lhs) == VAR_DECL)
974 {
975 if (!useless_type_conversion_p (TREE_TYPE (lhs), TREE_TYPE (rhs)))
976 gimple_assign_set_lhs (stmt, build1 (VIEW_CONVERT_EXPR,
977 TREE_TYPE (rhs), lhs));
978 }
979 else if (handled_component_p (lhs))
980 maybe_fixup_handled_component (lhs);
981 }
982 else if (is_gimple_call (stmt))
983 {
984 tree lhs = gimple_call_lhs (stmt);
985
986 if (lhs && TREE_CODE (lhs) == VAR_DECL)
987 {
988 if (!useless_type_conversion_p (TREE_TYPE (lhs),
989 gimple_call_return_type (stmt)))
990 gimple_call_set_lhs (stmt, build1 (VIEW_CONVERT_EXPR,
991 gimple_call_return_type (stmt),
992 lhs));
993 }
994 else if (lhs && handled_component_p (lhs))
995 maybe_fixup_handled_component (lhs);
996
997 /* Arguments, especially for varargs functions will be funny... */
998 }
999 }
1000
1001 /* Read a statement with tag TAG in function FN from block IB using
1002 descriptors in DATA_IN. */
1003
1004 static gimple
1005 input_gimple_stmt (struct lto_input_block *ib, struct data_in *data_in,
1006 struct function *fn, enum LTO_tags tag)
1007 {
1008 gimple stmt;
1009 enum gimple_code code;
1010 unsigned HOST_WIDE_INT num_ops;
1011 size_t i;
1012 struct bitpack_d *bp;
1013
1014 code = lto_tag_to_gimple_code (tag);
1015
1016 /* Read the tuple header. */
1017 bp = lto_input_bitpack (ib);
1018 num_ops = bp_unpack_value (bp, sizeof (unsigned) * 8);
1019 stmt = gimple_alloc (code, num_ops);
1020 stmt->gsbase.no_warning = bp_unpack_value (bp, 1);
1021 if (is_gimple_assign (stmt))
1022 stmt->gsbase.nontemporal_move = bp_unpack_value (bp, 1);
1023 stmt->gsbase.has_volatile_ops = bp_unpack_value (bp, 1);
1024 stmt->gsbase.subcode = bp_unpack_value (bp, 16);
1025 bitpack_delete (bp);
1026
1027 /* Read location information. */
1028 gimple_set_location (stmt, lto_input_location (ib, data_in));
1029
1030 /* Read lexical block reference. */
1031 gimple_set_block (stmt, lto_input_tree (ib, data_in));
1032
1033 /* Read in all the operands. */
1034 switch (code)
1035 {
1036 case GIMPLE_RESX:
1037 gimple_resx_set_region (stmt, lto_input_sleb128 (ib));
1038 break;
1039
1040 case GIMPLE_EH_MUST_NOT_THROW:
1041 gimple_eh_must_not_throw_set_fndecl (stmt, lto_input_tree (ib, data_in));
1042 break;
1043
1044 case GIMPLE_EH_DISPATCH:
1045 gimple_eh_dispatch_set_region (stmt, lto_input_sleb128 (ib));
1046 break;
1047
1048 case GIMPLE_ASM:
1049 {
1050 /* FIXME lto. Move most of this into a new gimple_asm_set_string(). */
1051 tree str;
1052 stmt->gimple_asm.ni = lto_input_uleb128 (ib);
1053 stmt->gimple_asm.no = lto_input_uleb128 (ib);
1054 stmt->gimple_asm.nc = lto_input_uleb128 (ib);
1055 str = input_string_cst (data_in, ib);
1056 stmt->gimple_asm.string = TREE_STRING_POINTER (str);
1057 }
1058 /* Fallthru */
1059
1060 case GIMPLE_ASSIGN:
1061 case GIMPLE_CALL:
1062 case GIMPLE_RETURN:
1063 case GIMPLE_SWITCH:
1064 case GIMPLE_LABEL:
1065 case GIMPLE_COND:
1066 case GIMPLE_GOTO:
1067 case GIMPLE_DEBUG:
1068 for (i = 0; i < num_ops; i++)
1069 {
1070 tree op = lto_input_tree (ib, data_in);
1071 gimple_set_op (stmt, i, op);
1072
1073 /* Fixup FIELD_DECLs. */
1074 while (op && handled_component_p (op))
1075 {
1076 if (TREE_CODE (op) == COMPONENT_REF)
1077 {
1078 tree field, type, tem;
1079 field = TREE_OPERAND (op, 1);
1080 type = DECL_CONTEXT (field);
1081 for (tem = TYPE_FIELDS (type); tem; tem = TREE_CHAIN (tem))
1082 {
1083 if (tem == field
1084 || (TREE_TYPE (tem) == TREE_TYPE (field)
1085 && compare_field_offset (tem, field)))
1086 break;
1087 }
1088 /* In case of type mismatches across units we can fail
1089 to unify some types and thus not find a proper
1090 field-decl here. So only assert here if checking
1091 is enabled. */
1092 #ifdef ENABLE_CHECKING
1093 gcc_assert (tem != NULL_TREE);
1094 #endif
1095 if (tem != NULL_TREE)
1096 TREE_OPERAND (op, 1) = tem;
1097 }
1098
1099 op = TREE_OPERAND (op, 0);
1100 }
1101 }
1102 break;
1103
1104 case GIMPLE_NOP:
1105 case GIMPLE_PREDICT:
1106 break;
1107
1108 default:
1109 internal_error ("bytecode stream: unknown GIMPLE statement tag %s",
1110 lto_tag_name (tag));
1111 }
1112
1113 /* Update the properties of symbols, SSA names and labels associated
1114 with STMT. */
1115 if (code == GIMPLE_ASSIGN || code == GIMPLE_CALL)
1116 {
1117 tree lhs = gimple_get_lhs (stmt);
1118 if (lhs && TREE_CODE (lhs) == SSA_NAME)
1119 SSA_NAME_DEF_STMT (lhs) = stmt;
1120 }
1121 else if (code == GIMPLE_LABEL)
1122 gcc_assert (emit_label_in_global_context_p (gimple_label_label (stmt))
1123 || DECL_CONTEXT (gimple_label_label (stmt)) == fn->decl);
1124 else if (code == GIMPLE_ASM)
1125 {
1126 unsigned i;
1127
1128 for (i = 0; i < gimple_asm_noutputs (stmt); i++)
1129 {
1130 tree op = TREE_VALUE (gimple_asm_output_op (stmt, i));
1131 if (TREE_CODE (op) == SSA_NAME)
1132 SSA_NAME_DEF_STMT (op) = stmt;
1133 }
1134 }
1135
1136 /* Fixup reference tree operands for substituted prevailing decls
1137 with mismatched types. */
1138 maybe_fixup_decls (stmt);
1139
1140 /* Mark the statement modified so its operand vectors can be filled in. */
1141 gimple_set_modified (stmt, true);
1142
1143 return stmt;
1144 }
1145
1146
1147 /* Read a basic block with tag TAG from DATA_IN using input block IB.
1148 FN is the function being processed. */
1149
1150 static void
1151 input_bb (struct lto_input_block *ib, enum LTO_tags tag,
1152 struct data_in *data_in, struct function *fn)
1153 {
1154 unsigned int index;
1155 basic_block bb;
1156 gimple_stmt_iterator bsi;
1157
1158 /* This routine assumes that CFUN is set to FN, as it needs to call
1159 basic GIMPLE routines that use CFUN. */
1160 gcc_assert (cfun == fn);
1161
1162 index = lto_input_uleb128 (ib);
1163 bb = BASIC_BLOCK_FOR_FUNCTION (fn, index);
1164
1165 bb->count = lto_input_sleb128 (ib);
1166 bb->loop_depth = lto_input_sleb128 (ib);
1167 bb->frequency = lto_input_sleb128 (ib);
1168 bb->flags = lto_input_sleb128 (ib);
1169
1170 /* LTO_bb1 has statements. LTO_bb0 does not. */
1171 if (tag == LTO_bb0)
1172 return;
1173
1174 bsi = gsi_start_bb (bb);
1175 tag = input_record_start (ib);
1176 while (tag)
1177 {
1178 gimple stmt = input_gimple_stmt (ib, data_in, fn, tag);
1179
1180 /* Change debug stmts to nops on-the-fly if we do not have VTA enabled.
1181 This allows us to build for example static libs with debugging
1182 enabled and do the final link without. */
1183 if (!MAY_HAVE_DEBUG_STMTS
1184 && is_gimple_debug (stmt))
1185 stmt = gimple_build_nop ();
1186
1187 find_referenced_vars_in (stmt);
1188 gsi_insert_after (&bsi, stmt, GSI_NEW_STMT);
1189
1190 /* After the statement, expect a 0 delimiter or the EH region
1191 that the previous statement belongs to. */
1192 tag = input_record_start (ib);
1193 lto_tag_check_set (tag, 2, LTO_eh_region, LTO_null);
1194
1195 if (tag == LTO_eh_region)
1196 {
1197 HOST_WIDE_INT region = lto_input_sleb128 (ib);
1198 gcc_assert (region == (int) region);
1199 add_stmt_to_eh_lp (stmt, region);
1200 }
1201
1202 tag = input_record_start (ib);
1203 }
1204
1205 tag = input_record_start (ib);
1206 while (tag)
1207 {
1208 gimple phi = input_phi (ib, bb, data_in, fn);
1209 find_referenced_vars_in (phi);
1210 tag = input_record_start (ib);
1211 }
1212 }
1213
1214 /* Go through all NODE edges and fixup call_stmt pointers
1215 so they point to STMTS. */
1216
1217 static void
1218 fixup_call_stmt_edges_1 (struct cgraph_node *node, gimple *stmts)
1219 {
1220 struct cgraph_edge *cedge;
1221 for (cedge = node->callees; cedge; cedge = cedge->next_callee)
1222 cedge->call_stmt = stmts[cedge->lto_stmt_uid];
1223 }
1224
1225 /* Fixup call_stmt pointers in NODE and all clones. */
1226
1227 static void
1228 fixup_call_stmt_edges (struct cgraph_node *orig, gimple *stmts)
1229 {
1230 struct cgraph_node *node;
1231
1232 while (orig->clone_of)
1233 orig = orig->clone_of;
1234
1235 fixup_call_stmt_edges_1 (orig, stmts);
1236 if (orig->clones)
1237 for (node = orig->clones; node != orig;)
1238 {
1239 fixup_call_stmt_edges_1 (node, stmts);
1240 if (node->clones)
1241 node = node->clones;
1242 else if (node->next_sibling_clone)
1243 node = node->next_sibling_clone;
1244 else
1245 {
1246 while (node != orig && !node->next_sibling_clone)
1247 node = node->clone_of;
1248 if (node != orig)
1249 node = node->next_sibling_clone;
1250 }
1251 }
1252 }
1253
1254 /* Read the body of function FN_DECL from DATA_IN using input block IB. */
1255
1256 static void
1257 input_function (tree fn_decl, struct data_in *data_in,
1258 struct lto_input_block *ib)
1259 {
1260 struct function *fn;
1261 enum LTO_tags tag;
1262 gimple *stmts;
1263 basic_block bb;
1264 struct bitpack_d *bp;
1265 struct cgraph_node *node;
1266 tree args, narg, oarg;
1267
1268 fn = DECL_STRUCT_FUNCTION (fn_decl);
1269 tag = input_record_start (ib);
1270 clear_line_info (data_in);
1271
1272 gimple_register_cfg_hooks ();
1273 lto_tag_check (tag, LTO_function);
1274
1275 /* Read all the attributes for FN. */
1276 bp = lto_input_bitpack (ib);
1277 fn->is_thunk = bp_unpack_value (bp, 1);
1278 fn->has_local_explicit_reg_vars = bp_unpack_value (bp, 1);
1279 fn->after_tree_profile = bp_unpack_value (bp, 1);
1280 fn->returns_pcc_struct = bp_unpack_value (bp, 1);
1281 fn->returns_struct = bp_unpack_value (bp, 1);
1282 fn->always_inline_functions_inlined = bp_unpack_value (bp, 1);
1283 fn->after_inlining = bp_unpack_value (bp, 1);
1284 fn->dont_save_pending_sizes_p = bp_unpack_value (bp, 1);
1285 fn->stdarg = bp_unpack_value (bp, 1);
1286 fn->has_nonlocal_label = bp_unpack_value (bp, 1);
1287 fn->calls_alloca = bp_unpack_value (bp, 1);
1288 fn->calls_setjmp = bp_unpack_value (bp, 1);
1289 fn->function_frequency = (enum function_frequency) bp_unpack_value (bp, 2);
1290 fn->va_list_fpr_size = bp_unpack_value (bp, 8);
1291 fn->va_list_gpr_size = bp_unpack_value (bp, 8);
1292 bitpack_delete (bp);
1293
1294 /* Read the static chain and non-local goto save area. */
1295 fn->static_chain_decl = lto_input_tree (ib, data_in);
1296 fn->nonlocal_goto_save_area = lto_input_tree (ib, data_in);
1297
1298 /* Read all the local symbols. */
1299 fn->local_decls = lto_input_tree (ib, data_in);
1300
1301 /* Read all function arguments. We need to re-map them here to the
1302 arguments of the merged function declaration. */
1303 args = lto_input_tree (ib, data_in);
1304 for (oarg = args, narg = DECL_ARGUMENTS (fn_decl);
1305 oarg && narg;
1306 oarg = TREE_CHAIN (oarg), narg = TREE_CHAIN (narg))
1307 {
1308 int ix;
1309 bool res;
1310 res = lto_streamer_cache_lookup (data_in->reader_cache, oarg, &ix);
1311 gcc_assert (res);
1312 /* Replace the argument in the streamer cache. */
1313 lto_streamer_cache_insert_at (data_in->reader_cache, narg, ix);
1314 }
1315 gcc_assert (!oarg && !narg);
1316
1317 /* Read all the SSA names. */
1318 input_ssa_names (ib, data_in, fn);
1319
1320 /* Read the exception handling regions in the function. */
1321 input_eh_regions (ib, data_in, fn);
1322
1323 /* Read the tree of lexical scopes for the function. */
1324 DECL_INITIAL (fn_decl) = lto_input_tree (ib, data_in);
1325 gcc_assert (DECL_INITIAL (fn_decl));
1326 DECL_SAVED_TREE (fn_decl) = NULL_TREE;
1327
1328 /* Read all the basic blocks. */
1329 tag = input_record_start (ib);
1330 while (tag)
1331 {
1332 input_bb (ib, tag, data_in, fn);
1333 tag = input_record_start (ib);
1334 }
1335
1336 /* Fix up the call statements that are mentioned in the callgraph
1337 edges. */
1338 renumber_gimple_stmt_uids ();
1339 stmts = (gimple *) xcalloc (gimple_stmt_max_uid (fn), sizeof (gimple));
1340 FOR_ALL_BB (bb)
1341 {
1342 gimple_stmt_iterator bsi;
1343 for (bsi = gsi_start_bb (bb); !gsi_end_p (bsi); gsi_next (&bsi))
1344 {
1345 gimple stmt = gsi_stmt (bsi);
1346 stmts[gimple_uid (stmt)] = stmt;
1347 }
1348 }
1349
1350 /* Set the gimple body to the statement sequence in the entry
1351 basic block. FIXME lto, this is fairly hacky. The existence
1352 of a gimple body is used by the cgraph routines, but we should
1353 really use the presence of the CFG. */
1354 {
1355 edge_iterator ei = ei_start (ENTRY_BLOCK_PTR->succs);
1356 gimple_set_body (fn_decl, bb_seq (ei_edge (ei)->dest));
1357 }
1358
1359 node = cgraph_node (fn_decl);
1360 fixup_call_stmt_edges (node, stmts);
1361 execute_all_ipa_stmt_fixups (node, stmts);
1362
1363 update_ssa (TODO_update_ssa_only_virtuals);
1364 free_dominance_info (CDI_DOMINATORS);
1365 free_dominance_info (CDI_POST_DOMINATORS);
1366 free (stmts);
1367 }
1368
1369
1370 /* Read initializer expressions for public statics. DATA_IN is the
1371 file being read. IB is the input block used for reading. */
1372
1373 static void
1374 input_alias_pairs (struct lto_input_block *ib, struct data_in *data_in)
1375 {
1376 tree var;
1377
1378 clear_line_info (data_in);
1379
1380 /* Skip over all the unreferenced globals. */
1381 do
1382 var = lto_input_tree (ib, data_in);
1383 while (var);
1384
1385 var = lto_input_tree (ib, data_in);
1386 while (var)
1387 {
1388 const char *orig_name, *new_name;
1389 alias_pair *p;
1390
1391 p = VEC_safe_push (alias_pair, gc, alias_pairs, NULL);
1392 p->decl = var;
1393 p->target = lto_input_tree (ib, data_in);
1394
1395 /* If the target is a static object, we may have registered a
1396 new name for it to avoid clashes between statics coming from
1397 different files. In that case, use the new name. */
1398 orig_name = IDENTIFIER_POINTER (p->target);
1399 new_name = lto_get_decl_name_mapping (data_in->file_data, orig_name);
1400 if (strcmp (orig_name, new_name) != 0)
1401 p->target = get_identifier (new_name);
1402
1403 var = lto_input_tree (ib, data_in);
1404 }
1405 }
1406
1407
1408 /* Read the body from DATA for function FN_DECL and fill it in.
1409 FILE_DATA are the global decls and types. SECTION_TYPE is either
1410 LTO_section_function_body or LTO_section_static_initializer. If
1411 section type is LTO_section_function_body, FN must be the decl for
1412 that function. */
1413
1414 static void
1415 lto_read_body (struct lto_file_decl_data *file_data, tree fn_decl,
1416 const char *data, enum lto_section_type section_type)
1417 {
1418 const struct lto_function_header *header;
1419 struct data_in *data_in;
1420 int32_t cfg_offset;
1421 int32_t main_offset;
1422 int32_t string_offset;
1423 struct lto_input_block ib_cfg;
1424 struct lto_input_block ib_main;
1425
1426 header = (const struct lto_function_header *) data;
1427 cfg_offset = sizeof (struct lto_function_header);
1428 main_offset = cfg_offset + header->cfg_size;
1429 string_offset = main_offset + header->main_size;
1430
1431 LTO_INIT_INPUT_BLOCK (ib_cfg,
1432 data + cfg_offset,
1433 0,
1434 header->cfg_size);
1435
1436 LTO_INIT_INPUT_BLOCK (ib_main,
1437 data + main_offset,
1438 0,
1439 header->main_size);
1440
1441 data_in = lto_data_in_create (file_data, data + string_offset,
1442 header->string_size, NULL);
1443
1444 /* Make sure the file was generated by the exact same compiler. */
1445 lto_check_version (header->lto_header.major_version,
1446 header->lto_header.minor_version);
1447
1448 if (section_type == LTO_section_function_body)
1449 {
1450 struct function *fn = DECL_STRUCT_FUNCTION (fn_decl);
1451 struct lto_in_decl_state *decl_state;
1452
1453 push_cfun (fn);
1454 init_tree_ssa (fn);
1455
1456 /* Use the function's decl state. */
1457 decl_state = lto_get_function_in_decl_state (file_data, fn_decl);
1458 gcc_assert (decl_state);
1459 file_data->current_decl_state = decl_state;
1460
1461 input_cfg (&ib_cfg, fn);
1462
1463 /* Set up the struct function. */
1464 input_function (fn_decl, data_in, &ib_main);
1465
1466 /* We should now be in SSA. */
1467 cfun->gimple_df->in_ssa_p = true;
1468
1469 /* Fill in properties we know hold for the rebuilt CFG. */
1470 cfun->curr_properties = PROP_ssa
1471 | PROP_cfg
1472 | PROP_gimple_any
1473 | PROP_gimple_lcf
1474 | PROP_gimple_leh
1475 | PROP_referenced_vars;
1476
1477 /* Restore decl state */
1478 file_data->current_decl_state = file_data->global_decl_state;
1479
1480 pop_cfun ();
1481 }
1482 else
1483 {
1484 input_alias_pairs (&ib_main, data_in);
1485 }
1486
1487 clear_line_info (data_in);
1488 lto_data_in_delete (data_in);
1489 }
1490
1491
1492 /* Read the body of FN_DECL using DATA. FILE_DATA holds the global
1493 decls and types. */
1494
1495 void
1496 lto_input_function_body (struct lto_file_decl_data *file_data,
1497 tree fn_decl, const char *data)
1498 {
1499 current_function_decl = fn_decl;
1500 lto_read_body (file_data, fn_decl, data, LTO_section_function_body);
1501 }
1502
1503
1504 /* Read in VAR_DECL using DATA. FILE_DATA holds the global decls and
1505 types. */
1506
1507 void
1508 lto_input_constructors_and_inits (struct lto_file_decl_data *file_data,
1509 const char *data)
1510 {
1511 lto_read_body (file_data, NULL, data, LTO_section_static_initializer);
1512 }
1513
1514
1515 /* Return the resolution for the decl with index INDEX from DATA_IN. */
1516
1517 static enum ld_plugin_symbol_resolution
1518 get_resolution (struct data_in *data_in, unsigned index)
1519 {
1520 if (data_in->globals_resolution)
1521 {
1522 ld_plugin_symbol_resolution_t ret;
1523 gcc_assert (index < VEC_length (ld_plugin_symbol_resolution_t,
1524 data_in->globals_resolution));
1525 ret = VEC_index (ld_plugin_symbol_resolution_t,
1526 data_in->globals_resolution,
1527 index);
1528 gcc_assert (ret != LDPR_UNKNOWN);
1529 return ret;
1530 }
1531 else
1532 /* Delay resolution finding until decl merging. */
1533 return LDPR_UNKNOWN;
1534 }
1535
1536
1537 /* Unpack all the non-pointer fields of the TS_BASE structure of
1538 expression EXPR from bitpack BP. */
1539
1540 static void
1541 unpack_ts_base_value_fields (struct bitpack_d *bp, tree expr)
1542 {
1543 /* Note that the code for EXPR has already been unpacked to create EXPR in
1544 lto_materialize_tree. */
1545 if (!TYPE_P (expr))
1546 {
1547 TREE_SIDE_EFFECTS (expr) = (unsigned) bp_unpack_value (bp, 1);
1548 TREE_CONSTANT (expr) = (unsigned) bp_unpack_value (bp, 1);
1549 TREE_READONLY (expr) = (unsigned) bp_unpack_value (bp, 1);
1550
1551 /* TREE_PUBLIC is used on types to indicate that the type
1552 has a TYPE_CACHED_VALUES vector. This is not streamed out,
1553 so we skip it here. */
1554 TREE_PUBLIC (expr) = (unsigned) bp_unpack_value (bp, 1);
1555 }
1556 TREE_ADDRESSABLE (expr) = (unsigned) bp_unpack_value (bp, 1);
1557 TREE_THIS_VOLATILE (expr) = (unsigned) bp_unpack_value (bp, 1);
1558 if (DECL_P (expr))
1559 DECL_UNSIGNED (expr) = (unsigned) bp_unpack_value (bp, 1);
1560 else if (TYPE_P (expr))
1561 TYPE_UNSIGNED (expr) = (unsigned) bp_unpack_value (bp, 1);
1562 TREE_ASM_WRITTEN (expr) = (unsigned) bp_unpack_value (bp, 1);
1563 TREE_NO_WARNING (expr) = (unsigned) bp_unpack_value (bp, 1);
1564 TREE_USED (expr) = (unsigned) bp_unpack_value (bp, 1);
1565 TREE_NOTHROW (expr) = (unsigned) bp_unpack_value (bp, 1);
1566 TREE_STATIC (expr) = (unsigned) bp_unpack_value (bp, 1);
1567 TREE_PRIVATE (expr) = (unsigned) bp_unpack_value (bp, 1);
1568 TREE_PROTECTED (expr) = (unsigned) bp_unpack_value (bp, 1);
1569 TREE_DEPRECATED (expr) = (unsigned) bp_unpack_value (bp, 1);
1570 if (TYPE_P (expr))
1571 TYPE_SATURATING (expr) = (unsigned) bp_unpack_value (bp, 1);
1572 if (TREE_CODE (expr) == SSA_NAME)
1573 SSA_NAME_IS_DEFAULT_DEF (expr) = (unsigned) bp_unpack_value (bp, 1);
1574 }
1575
1576
1577 /* Unpack all the non-pointer fields of the TS_REAL_CST structure of
1578 expression EXPR from bitpack BP. */
1579
1580 static void
1581 unpack_ts_real_cst_value_fields (struct bitpack_d *bp, tree expr)
1582 {
1583 unsigned i;
1584 REAL_VALUE_TYPE r;
1585 REAL_VALUE_TYPE *rp;
1586
1587 r.cl = (unsigned) bp_unpack_value (bp, 2);
1588 r.decimal = (unsigned) bp_unpack_value (bp, 1);
1589 r.sign = (unsigned) bp_unpack_value (bp, 1);
1590 r.signalling = (unsigned) bp_unpack_value (bp, 1);
1591 r.canonical = (unsigned) bp_unpack_value (bp, 1);
1592 r.uexp = (unsigned) bp_unpack_value (bp, EXP_BITS);
1593 for (i = 0; i < SIGSZ; i++)
1594 r.sig[i] = (unsigned long) bp_unpack_value (bp, HOST_BITS_PER_LONG);
1595
1596 rp = GGC_NEW (REAL_VALUE_TYPE);
1597 memcpy (rp, &r, sizeof (REAL_VALUE_TYPE));
1598 TREE_REAL_CST_PTR (expr) = rp;
1599 }
1600
1601
1602 /* Unpack all the non-pointer fields of the TS_FIXED_CST structure of
1603 expression EXPR from bitpack BP. */
1604
1605 static void
1606 unpack_ts_fixed_cst_value_fields (struct bitpack_d *bp, tree expr)
1607 {
1608 struct fixed_value fv;
1609
1610 fv.data.low = (HOST_WIDE_INT) bp_unpack_value (bp, HOST_BITS_PER_WIDE_INT);
1611 fv.data.high = (HOST_WIDE_INT) bp_unpack_value (bp, HOST_BITS_PER_WIDE_INT);
1612 TREE_FIXED_CST (expr) = fv;
1613 }
1614
1615
1616 /* Unpack all the non-pointer fields of the TS_DECL_COMMON structure
1617 of expression EXPR from bitpack BP. */
1618
1619 static void
1620 unpack_ts_decl_common_value_fields (struct bitpack_d *bp, tree expr)
1621 {
1622 DECL_MODE (expr) = (enum machine_mode) bp_unpack_value (bp, 8);
1623 DECL_NONLOCAL (expr) = (unsigned) bp_unpack_value (bp, 1);
1624 DECL_VIRTUAL_P (expr) = (unsigned) bp_unpack_value (bp, 1);
1625 DECL_IGNORED_P (expr) = (unsigned) bp_unpack_value (bp, 1);
1626 DECL_ABSTRACT (expr) = (unsigned) bp_unpack_value (bp, 1);
1627 DECL_ARTIFICIAL (expr) = (unsigned) bp_unpack_value (bp, 1);
1628 DECL_USER_ALIGN (expr) = (unsigned) bp_unpack_value (bp, 1);
1629 DECL_PRESERVE_P (expr) = (unsigned) bp_unpack_value (bp, 1);
1630 DECL_DEBUG_EXPR_IS_FROM (expr) = (unsigned) bp_unpack_value (bp, 1);
1631 DECL_EXTERNAL (expr) = (unsigned) bp_unpack_value (bp, 1);
1632 DECL_GIMPLE_REG_P (expr) = (unsigned) bp_unpack_value (bp, 1);
1633 DECL_ALIGN (expr) = (unsigned) bp_unpack_value (bp, HOST_BITS_PER_INT);
1634
1635 if (TREE_CODE (expr) == LABEL_DECL)
1636 {
1637 DECL_ERROR_ISSUED (expr) = (unsigned) bp_unpack_value (bp, 1);
1638 EH_LANDING_PAD_NR (expr) = (int) bp_unpack_value (bp, HOST_BITS_PER_INT);
1639
1640 /* Always assume an initial value of -1 for LABEL_DECL_UID to
1641 force gimple_set_bb to recreate label_to_block_map. */
1642 LABEL_DECL_UID (expr) = -1;
1643 }
1644
1645 if (TREE_CODE (expr) == FIELD_DECL)
1646 {
1647 unsigned HOST_WIDE_INT off_align;
1648 DECL_PACKED (expr) = (unsigned) bp_unpack_value (bp, 1);
1649 DECL_NONADDRESSABLE_P (expr) = (unsigned) bp_unpack_value (bp, 1);
1650 off_align = (unsigned HOST_WIDE_INT) bp_unpack_value (bp, 8);
1651 SET_DECL_OFFSET_ALIGN (expr, off_align);
1652 }
1653
1654 if (TREE_CODE (expr) == RESULT_DECL
1655 || TREE_CODE (expr) == PARM_DECL
1656 || TREE_CODE (expr) == VAR_DECL)
1657 {
1658 DECL_BY_REFERENCE (expr) = (unsigned) bp_unpack_value (bp, 1);
1659 if (TREE_CODE (expr) == VAR_DECL
1660 || TREE_CODE (expr) == PARM_DECL)
1661 DECL_HAS_VALUE_EXPR_P (expr) = (unsigned) bp_unpack_value (bp, 1);
1662 DECL_RESTRICTED_P (expr) = (unsigned) bp_unpack_value (bp, 1);
1663 }
1664 }
1665
1666
1667 /* Unpack all the non-pointer fields of the TS_DECL_WRTL structure
1668 of expression EXPR from bitpack BP. */
1669
1670 static void
1671 unpack_ts_decl_wrtl_value_fields (struct bitpack_d *bp, tree expr)
1672 {
1673 DECL_REGISTER (expr) = (unsigned) bp_unpack_value (bp, 1);
1674 }
1675
1676
1677 /* Unpack all the non-pointer fields of the TS_DECL_WITH_VIS structure
1678 of expression EXPR from bitpack BP. */
1679
1680 static void
1681 unpack_ts_decl_with_vis_value_fields (struct bitpack_d *bp, tree expr)
1682 {
1683 DECL_DEFER_OUTPUT (expr) = (unsigned) bp_unpack_value (bp, 1);
1684 DECL_COMMON (expr) = (unsigned) bp_unpack_value (bp, 1);
1685 DECL_DLLIMPORT_P (expr) = (unsigned) bp_unpack_value (bp, 1);
1686 DECL_WEAK (expr) = (unsigned) bp_unpack_value (bp, 1);
1687 DECL_SEEN_IN_BIND_EXPR_P (expr) = (unsigned) bp_unpack_value (bp, 1);
1688 DECL_COMDAT (expr) = (unsigned) bp_unpack_value (bp, 1);
1689 DECL_VISIBILITY (expr) = (enum symbol_visibility) bp_unpack_value (bp, 2);
1690 DECL_VISIBILITY_SPECIFIED (expr) = (unsigned) bp_unpack_value (bp, 1);
1691
1692 if (TREE_CODE (expr) == VAR_DECL)
1693 {
1694 DECL_HARD_REGISTER (expr) = (unsigned) bp_unpack_value (bp, 1);
1695 DECL_IN_TEXT_SECTION (expr) = (unsigned) bp_unpack_value (bp, 1);
1696 DECL_TLS_MODEL (expr) = (enum tls_model) bp_unpack_value (bp, 3);
1697 }
1698
1699 if (VAR_OR_FUNCTION_DECL_P (expr))
1700 {
1701 priority_type p;
1702 p = (priority_type) bp_unpack_value (bp, HOST_BITS_PER_SHORT);
1703 SET_DECL_INIT_PRIORITY (expr, p);
1704 }
1705 }
1706
1707
1708 /* Unpack all the non-pointer fields of the TS_FUNCTION_DECL structure
1709 of expression EXPR from bitpack BP. */
1710
1711 static void
1712 unpack_ts_function_decl_value_fields (struct bitpack_d *bp, tree expr)
1713 {
1714 DECL_FUNCTION_CODE (expr) = (enum built_in_function) bp_unpack_value (bp, 11);
1715 DECL_BUILT_IN_CLASS (expr) = (enum built_in_class) bp_unpack_value (bp, 2);
1716 DECL_STATIC_CONSTRUCTOR (expr) = (unsigned) bp_unpack_value (bp, 1);
1717 DECL_STATIC_DESTRUCTOR (expr) = (unsigned) bp_unpack_value (bp, 1);
1718 DECL_UNINLINABLE (expr) = (unsigned) bp_unpack_value (bp, 1);
1719 DECL_POSSIBLY_INLINED (expr) = (unsigned) bp_unpack_value (bp, 1);
1720 DECL_IS_NOVOPS (expr) = (unsigned) bp_unpack_value (bp, 1);
1721 DECL_IS_RETURNS_TWICE (expr) = (unsigned) bp_unpack_value (bp, 1);
1722 DECL_IS_MALLOC (expr) = (unsigned) bp_unpack_value (bp, 1);
1723 DECL_IS_OPERATOR_NEW (expr) = (unsigned) bp_unpack_value (bp, 1);
1724 DECL_DECLARED_INLINE_P (expr) = (unsigned) bp_unpack_value (bp, 1);
1725 DECL_STATIC_CHAIN (expr) = (unsigned) bp_unpack_value (bp, 1);
1726 DECL_NO_INLINE_WARNING_P (expr) = (unsigned) bp_unpack_value (bp, 1);
1727 DECL_NO_INSTRUMENT_FUNCTION_ENTRY_EXIT (expr)
1728 = (unsigned) bp_unpack_value (bp, 1);
1729 DECL_NO_LIMIT_STACK (expr) = (unsigned) bp_unpack_value (bp, 1);
1730 DECL_DISREGARD_INLINE_LIMITS (expr) = (unsigned) bp_unpack_value (bp, 1);
1731 DECL_PURE_P (expr) = (unsigned) bp_unpack_value (bp, 1);
1732 DECL_LOOPING_CONST_OR_PURE_P (expr) = (unsigned) bp_unpack_value (bp, 1);
1733 }
1734
1735
1736 /* Unpack all the non-pointer fields of the TS_TYPE structure
1737 of expression EXPR from bitpack BP. */
1738
1739 static void
1740 unpack_ts_type_value_fields (struct bitpack_d *bp, tree expr)
1741 {
1742 enum machine_mode mode;
1743
1744 TYPE_PRECISION (expr) = (unsigned) bp_unpack_value (bp, 9);
1745 mode = (enum machine_mode) bp_unpack_value (bp, 7);
1746 SET_TYPE_MODE (expr, mode);
1747 TYPE_STRING_FLAG (expr) = (unsigned) bp_unpack_value (bp, 1);
1748 TYPE_NO_FORCE_BLK (expr) = (unsigned) bp_unpack_value (bp, 1);
1749 TYPE_NEEDS_CONSTRUCTING(expr) = (unsigned) bp_unpack_value (bp, 1);
1750 if (TREE_CODE (expr) == UNION_TYPE)
1751 TYPE_TRANSPARENT_UNION (expr) = (unsigned) bp_unpack_value (bp, 1);
1752 TYPE_PACKED (expr) = (unsigned) bp_unpack_value (bp, 1);
1753 TYPE_RESTRICT (expr) = (unsigned) bp_unpack_value (bp, 1);
1754 TYPE_CONTAINS_PLACEHOLDER_INTERNAL (expr)
1755 = (unsigned) bp_unpack_value (bp, 2);
1756 TYPE_USER_ALIGN (expr) = (unsigned) bp_unpack_value (bp, 1);
1757 TYPE_READONLY (expr) = (unsigned) bp_unpack_value (bp, 1);
1758 TYPE_ALIGN (expr) = (unsigned) bp_unpack_value (bp, HOST_BITS_PER_INT);
1759 TYPE_ALIAS_SET (expr) = bp_unpack_value (bp, HOST_BITS_PER_INT);
1760 }
1761
1762
1763 /* Unpack all the non-pointer fields of the TS_BLOCK structure
1764 of expression EXPR from bitpack BP. */
1765
1766 static void
1767 unpack_ts_block_value_fields (struct bitpack_d *bp, tree expr)
1768 {
1769 BLOCK_ABSTRACT (expr) = (unsigned) bp_unpack_value (bp, 1);
1770 BLOCK_NUMBER (expr) = (unsigned) bp_unpack_value (bp, 31);
1771 }
1772
1773
1774 /* Unpack all the non-pointer fields in EXPR into a bit pack. */
1775
1776 static void
1777 unpack_value_fields (struct bitpack_d *bp, tree expr)
1778 {
1779 enum tree_code code;
1780
1781 code = TREE_CODE (expr);
1782
1783 /* Note that all these functions are highly sensitive to changes in
1784 the types and sizes of each of the fields being packed. */
1785 unpack_ts_base_value_fields (bp, expr);
1786
1787 if (CODE_CONTAINS_STRUCT (code, TS_REAL_CST))
1788 unpack_ts_real_cst_value_fields (bp, expr);
1789
1790 if (CODE_CONTAINS_STRUCT (code, TS_FIXED_CST))
1791 unpack_ts_fixed_cst_value_fields (bp, expr);
1792
1793 if (CODE_CONTAINS_STRUCT (code, TS_DECL_COMMON))
1794 unpack_ts_decl_common_value_fields (bp, expr);
1795
1796 if (CODE_CONTAINS_STRUCT (code, TS_DECL_WRTL))
1797 unpack_ts_decl_wrtl_value_fields (bp, expr);
1798
1799 if (CODE_CONTAINS_STRUCT (code, TS_DECL_WITH_VIS))
1800 unpack_ts_decl_with_vis_value_fields (bp, expr);
1801
1802 if (CODE_CONTAINS_STRUCT (code, TS_FUNCTION_DECL))
1803 unpack_ts_function_decl_value_fields (bp, expr);
1804
1805 if (CODE_CONTAINS_STRUCT (code, TS_TYPE))
1806 unpack_ts_type_value_fields (bp, expr);
1807
1808 if (CODE_CONTAINS_STRUCT (code, TS_BLOCK))
1809 unpack_ts_block_value_fields (bp, expr);
1810
1811 if (CODE_CONTAINS_STRUCT (code, TS_SSA_NAME))
1812 {
1813 /* We only stream the version number of SSA names. */
1814 gcc_unreachable ();
1815 }
1816
1817 if (CODE_CONTAINS_STRUCT (code, TS_STATEMENT_LIST))
1818 {
1819 /* This is only used by GENERIC. */
1820 gcc_unreachable ();
1821 }
1822
1823 if (CODE_CONTAINS_STRUCT (code, TS_OMP_CLAUSE))
1824 {
1825 /* This is only used by High GIMPLE. */
1826 gcc_unreachable ();
1827 }
1828 }
1829
1830
1831 /* Read a bitpack from input block IB. */
1832
1833 struct bitpack_d *
1834 lto_input_bitpack (struct lto_input_block *ib)
1835 {
1836 unsigned i, num_words;
1837 struct bitpack_d *bp;
1838
1839 bp = bitpack_create ();
1840
1841 /* If we are about to read more than a handful of words, something
1842 is wrong. This check is overly strict, but it acts as an early
1843 warning. No streamed object has hundreds of bits in its fields. */
1844 num_words = lto_input_uleb128 (ib);
1845 gcc_assert (num_words < 20);
1846
1847 for (i = 0; i < num_words; i++)
1848 {
1849 bitpack_word_t w = lto_input_uleb128 (ib);
1850 VEC_safe_push (bitpack_word_t, heap, bp->values, w);
1851 }
1852
1853 return bp;
1854 }
1855
1856
1857 /* Materialize a new tree from input block IB using descriptors in
1858 DATA_IN. The code for the new tree should match TAG. Store in
1859 *IX_P the index into the reader cache where the new tree is stored. */
1860
1861 static tree
1862 lto_materialize_tree (struct lto_input_block *ib, struct data_in *data_in,
1863 enum LTO_tags tag, int *ix_p)
1864 {
1865 struct bitpack_d *bp;
1866 enum tree_code code;
1867 tree result;
1868 #ifdef LTO_STREAMER_DEBUG
1869 HOST_WIDEST_INT orig_address_in_writer;
1870 #endif
1871 HOST_WIDE_INT ix;
1872
1873 result = NULL_TREE;
1874
1875 /* Read the header of the node we are about to create. */
1876 ix = lto_input_sleb128 (ib);
1877 gcc_assert ((int) ix == ix);
1878 *ix_p = (int) ix;
1879
1880 #ifdef LTO_STREAMER_DEBUG
1881 /* Read the word representing the memory address for the tree
1882 as it was written by the writer. This is useful when
1883 debugging differences between the writer and reader. */
1884 orig_address_in_writer = lto_input_sleb128 (ib);
1885 gcc_assert ((intptr_t) orig_address_in_writer == orig_address_in_writer);
1886 #endif
1887
1888 code = lto_tag_to_tree_code (tag);
1889
1890 /* We should never see an SSA_NAME tree. Only the version numbers of
1891 SSA names are ever written out. See input_ssa_names. */
1892 gcc_assert (code != SSA_NAME);
1893
1894 /* Instantiate a new tree using the header data. */
1895 if (CODE_CONTAINS_STRUCT (code, TS_STRING))
1896 result = input_string_cst (data_in, ib);
1897 else if (CODE_CONTAINS_STRUCT (code, TS_IDENTIFIER))
1898 result = input_identifier (data_in, ib);
1899 else if (CODE_CONTAINS_STRUCT (code, TS_VEC))
1900 {
1901 HOST_WIDE_INT len = lto_input_sleb128 (ib);
1902 result = make_tree_vec (len);
1903 }
1904 else if (CODE_CONTAINS_STRUCT (code, TS_BINFO))
1905 {
1906 unsigned HOST_WIDE_INT len = lto_input_uleb128 (ib);
1907 result = make_tree_binfo (len);
1908 }
1909 else
1910 {
1911 /* All other nodes can be materialized with a raw make_node
1912 call. */
1913 result = make_node (code);
1914 }
1915
1916 #ifdef LTO_STREAMER_DEBUG
1917 /* Store the original address of the tree as seen by the writer
1918 in RESULT's aux field. This is useful when debugging streaming
1919 problems. This way, a debugging session can be started on
1920 both writer and reader with a breakpoint using this address
1921 value in both. */
1922 lto_orig_address_map (result, (intptr_t) orig_address_in_writer);
1923 #endif
1924
1925 /* Read the bitpack of non-pointer values from IB. */
1926 bp = lto_input_bitpack (ib);
1927
1928 /* The first word in BP contains the code of the tree that we
1929 are about to read. */
1930 code = (enum tree_code) bp_unpack_value (bp, 16);
1931 lto_tag_check (lto_tree_code_to_tag (code), tag);
1932
1933 /* Unpack all the value fields from BP. */
1934 unpack_value_fields (bp, result);
1935 bitpack_delete (bp);
1936
1937 /* Enter RESULT in the reader cache. This will make RESULT
1938 available so that circular references in the rest of the tree
1939 structure can be resolved in subsequent calls to lto_input_tree. */
1940 lto_streamer_cache_insert_at (data_in->reader_cache, result, ix);
1941
1942 return result;
1943 }
1944
1945
1946 /* Read a chain of tree nodes from input block IB. DATA_IN contains
1947 tables and descriptors for the file being read. */
1948
1949 static tree
1950 lto_input_chain (struct lto_input_block *ib, struct data_in *data_in)
1951 {
1952 int i, count;
1953 tree first, prev, curr;
1954
1955 first = prev = NULL_TREE;
1956 count = lto_input_sleb128 (ib);
1957 for (i = 0; i < count; i++)
1958 {
1959 curr = lto_input_tree (ib, data_in);
1960 if (prev)
1961 TREE_CHAIN (prev) = curr;
1962 else
1963 first = curr;
1964
1965 TREE_CHAIN (curr) = NULL_TREE;
1966 prev = curr;
1967 }
1968
1969 return first;
1970 }
1971
1972
1973 /* Read all pointer fields in the TS_COMMON structure of EXPR from input
1974 block IB. DATA_IN contains tables and descriptors for the
1975 file being read. */
1976
1977
1978 static void
1979 lto_input_ts_common_tree_pointers (struct lto_input_block *ib,
1980 struct data_in *data_in, tree expr)
1981 {
1982 TREE_TYPE (expr) = lto_input_tree (ib, data_in);
1983 }
1984
1985
1986 /* Read all pointer fields in the TS_VECTOR structure of EXPR from input
1987 block IB. DATA_IN contains tables and descriptors for the
1988 file being read. */
1989
1990 static void
1991 lto_input_ts_vector_tree_pointers (struct lto_input_block *ib,
1992 struct data_in *data_in, tree expr)
1993 {
1994 TREE_VECTOR_CST_ELTS (expr) = lto_input_chain (ib, data_in);
1995 }
1996
1997
1998 /* Read all pointer fields in the TS_COMPLEX structure of EXPR from input
1999 block IB. DATA_IN contains tables and descriptors for the
2000 file being read. */
2001
2002 static void
2003 lto_input_ts_complex_tree_pointers (struct lto_input_block *ib,
2004 struct data_in *data_in, tree expr)
2005 {
2006 TREE_REALPART (expr) = lto_input_tree (ib, data_in);
2007 TREE_IMAGPART (expr) = lto_input_tree (ib, data_in);
2008 }
2009
2010
2011 /* Read all pointer fields in the TS_DECL_MINIMAL structure of EXPR
2012 from input block IB. DATA_IN contains tables and descriptors for the
2013 file being read. */
2014
2015 static void
2016 lto_input_ts_decl_minimal_tree_pointers (struct lto_input_block *ib,
2017 struct data_in *data_in, tree expr)
2018 {
2019 DECL_NAME (expr) = lto_input_tree (ib, data_in);
2020 DECL_CONTEXT (expr) = lto_input_tree (ib, data_in);
2021 DECL_SOURCE_LOCATION (expr) = lto_input_location (ib, data_in);
2022 }
2023
2024
2025 /* Read all pointer fields in the TS_DECL_COMMON structure of EXPR from
2026 input block IB. DATA_IN contains tables and descriptors for the
2027 file being read. */
2028
2029 static void
2030 lto_input_ts_decl_common_tree_pointers (struct lto_input_block *ib,
2031 struct data_in *data_in, tree expr)
2032 {
2033 DECL_SIZE (expr) = lto_input_tree (ib, data_in);
2034 DECL_SIZE_UNIT (expr) = lto_input_tree (ib, data_in);
2035
2036 if (TREE_CODE (expr) != FUNCTION_DECL)
2037 DECL_INITIAL (expr) = lto_input_tree (ib, data_in);
2038
2039 DECL_ATTRIBUTES (expr) = lto_input_tree (ib, data_in);
2040 DECL_ABSTRACT_ORIGIN (expr) = lto_input_tree (ib, data_in);
2041
2042 if (TREE_CODE (expr) == PARM_DECL)
2043 TREE_CHAIN (expr) = lto_input_chain (ib, data_in);
2044
2045 if ((TREE_CODE (expr) == VAR_DECL
2046 || TREE_CODE (expr) == PARM_DECL)
2047 && DECL_HAS_VALUE_EXPR_P (expr))
2048 SET_DECL_VALUE_EXPR (expr, lto_input_tree (ib, data_in));
2049 }
2050
2051
2052 /* Read all pointer fields in the TS_DECL_NON_COMMON structure of
2053 EXPR from input block IB. DATA_IN contains tables and descriptors for the
2054 file being read. */
2055
2056 static void
2057 lto_input_ts_decl_non_common_tree_pointers (struct lto_input_block *ib,
2058 struct data_in *data_in, tree expr)
2059 {
2060 if (TREE_CODE (expr) == FUNCTION_DECL)
2061 {
2062 DECL_ARGUMENTS (expr) = lto_input_tree (ib, data_in);
2063 DECL_RESULT (expr) = lto_input_tree (ib, data_in);
2064 }
2065 DECL_VINDEX (expr) = lto_input_tree (ib, data_in);
2066 }
2067
2068
2069 /* Read all pointer fields in the TS_DECL_WITH_VIS structure of EXPR
2070 from input block IB. DATA_IN contains tables and descriptors for the
2071 file being read. */
2072
2073 static void
2074 lto_input_ts_decl_with_vis_tree_pointers (struct lto_input_block *ib,
2075 struct data_in *data_in, tree expr)
2076 {
2077 tree id;
2078
2079 id = lto_input_tree (ib, data_in);
2080 if (id)
2081 {
2082 gcc_assert (TREE_CODE (id) == IDENTIFIER_NODE);
2083 SET_DECL_ASSEMBLER_NAME (expr, id);
2084 }
2085
2086 DECL_SECTION_NAME (expr) = lto_input_tree (ib, data_in);
2087 DECL_COMDAT_GROUP (expr) = lto_input_tree (ib, data_in);
2088 }
2089
2090
2091 /* Read all pointer fields in the TS_FIELD_DECL structure of EXPR from
2092 input block IB. DATA_IN contains tables and descriptors for the
2093 file being read. */
2094
2095 static void
2096 lto_input_ts_field_decl_tree_pointers (struct lto_input_block *ib,
2097 struct data_in *data_in, tree expr)
2098 {
2099 DECL_FIELD_OFFSET (expr) = lto_input_tree (ib, data_in);
2100 DECL_BIT_FIELD_TYPE (expr) = lto_input_tree (ib, data_in);
2101 DECL_QUALIFIER (expr) = lto_input_tree (ib, data_in);
2102 DECL_FIELD_BIT_OFFSET (expr) = lto_input_tree (ib, data_in);
2103 DECL_FCONTEXT (expr) = lto_input_tree (ib, data_in);
2104 TREE_CHAIN (expr) = lto_input_chain (ib, data_in);
2105 }
2106
2107
2108 /* Read all pointer fields in the TS_FUNCTION_DECL structure of EXPR
2109 from input block IB. DATA_IN contains tables and descriptors for the
2110 file being read. */
2111
2112 static void
2113 lto_input_ts_function_decl_tree_pointers (struct lto_input_block *ib,
2114 struct data_in *data_in, tree expr)
2115 {
2116 /* DECL_STRUCT_FUNCTION is handled by lto_input_function. FIXME lto,
2117 maybe it should be handled here? */
2118 DECL_FUNCTION_PERSONALITY (expr) = lto_input_tree (ib, data_in);
2119 DECL_FUNCTION_SPECIFIC_TARGET (expr) = lto_input_tree (ib, data_in);
2120 DECL_FUNCTION_SPECIFIC_OPTIMIZATION (expr) = lto_input_tree (ib, data_in);
2121
2122 /* If the file contains a function with an EH personality set,
2123 then it was compiled with -fexceptions. In that case, initialize
2124 the backend EH machinery. */
2125 if (DECL_FUNCTION_PERSONALITY (expr))
2126 lto_init_eh ();
2127 }
2128
2129
2130 /* Read all pointer fields in the TS_TYPE structure of EXPR from input
2131 block IB. DATA_IN contains tables and descriptors for the
2132 file being read. */
2133
2134 static void
2135 lto_input_ts_type_tree_pointers (struct lto_input_block *ib,
2136 struct data_in *data_in, tree expr)
2137 {
2138 if (TREE_CODE (expr) == ENUMERAL_TYPE)
2139 TYPE_VALUES (expr) = lto_input_tree (ib, data_in);
2140 else if (TREE_CODE (expr) == ARRAY_TYPE)
2141 TYPE_DOMAIN (expr) = lto_input_tree (ib, data_in);
2142 else if (TREE_CODE (expr) == RECORD_TYPE || TREE_CODE (expr) == UNION_TYPE)
2143 TYPE_FIELDS (expr) = lto_input_tree (ib, data_in);
2144 else if (TREE_CODE (expr) == FUNCTION_TYPE || TREE_CODE (expr) == METHOD_TYPE)
2145 TYPE_ARG_TYPES (expr) = lto_input_tree (ib, data_in);
2146 else if (TREE_CODE (expr) == VECTOR_TYPE)
2147 TYPE_DEBUG_REPRESENTATION_TYPE (expr) = lto_input_tree (ib, data_in);
2148
2149 TYPE_SIZE (expr) = lto_input_tree (ib, data_in);
2150 TYPE_SIZE_UNIT (expr) = lto_input_tree (ib, data_in);
2151 TYPE_ATTRIBUTES (expr) = lto_input_tree (ib, data_in);
2152 TYPE_NAME (expr) = lto_input_tree (ib, data_in);
2153 /* Do not stream TYPE_POINTER_TO or TYPE_REFERENCE_TO nor
2154 TYPE_NEXT_PTR_TO or TYPE_NEXT_REF_TO. */
2155 if (!POINTER_TYPE_P (expr))
2156 TYPE_MINVAL (expr) = lto_input_tree (ib, data_in);
2157 TYPE_MAXVAL (expr) = lto_input_tree (ib, data_in);
2158 TYPE_MAIN_VARIANT (expr) = lto_input_tree (ib, data_in);
2159 /* Do not stream TYPE_NEXT_VARIANT, we reconstruct the variant lists
2160 during fixup. */
2161 if (RECORD_OR_UNION_TYPE_P (expr))
2162 TYPE_BINFO (expr) = lto_input_tree (ib, data_in);
2163 TYPE_CONTEXT (expr) = lto_input_tree (ib, data_in);
2164 TYPE_CANONICAL (expr) = lto_input_tree (ib, data_in);
2165 TYPE_STUB_DECL (expr) = lto_input_tree (ib, data_in);
2166 }
2167
2168
2169 /* Read all pointer fields in the TS_LIST structure of EXPR from input
2170 block IB. DATA_IN contains tables and descriptors for the
2171 file being read. */
2172
2173 static void
2174 lto_input_ts_list_tree_pointers (struct lto_input_block *ib,
2175 struct data_in *data_in, tree expr)
2176 {
2177 TREE_PURPOSE (expr) = lto_input_tree (ib, data_in);
2178 TREE_VALUE (expr) = lto_input_tree (ib, data_in);
2179 TREE_CHAIN (expr) = lto_input_chain (ib, data_in);
2180 }
2181
2182
2183 /* Read all pointer fields in the TS_VEC structure of EXPR from input
2184 block IB. DATA_IN contains tables and descriptors for the
2185 file being read. */
2186
2187 static void
2188 lto_input_ts_vec_tree_pointers (struct lto_input_block *ib,
2189 struct data_in *data_in, tree expr)
2190 {
2191 int i;
2192
2193 /* Note that TREE_VEC_LENGTH was read by lto_materialize_tree to
2194 instantiate EXPR. */
2195 for (i = 0; i < TREE_VEC_LENGTH (expr); i++)
2196 TREE_VEC_ELT (expr, i) = lto_input_tree (ib, data_in);
2197 }
2198
2199
2200 /* Read all pointer fields in the TS_EXP structure of EXPR from input
2201 block IB. DATA_IN contains tables and descriptors for the
2202 file being read. */
2203
2204
2205 static void
2206 lto_input_ts_exp_tree_pointers (struct lto_input_block *ib,
2207 struct data_in *data_in, tree expr)
2208 {
2209 int i, length;
2210 location_t loc;
2211
2212 length = lto_input_sleb128 (ib);
2213 gcc_assert (length == TREE_OPERAND_LENGTH (expr));
2214
2215 for (i = 0; i < length; i++)
2216 TREE_OPERAND (expr, i) = lto_input_tree (ib, data_in);
2217
2218 loc = lto_input_location (ib, data_in);
2219 SET_EXPR_LOCATION (expr, loc);
2220 TREE_BLOCK (expr) = lto_input_tree (ib, data_in);
2221 }
2222
2223
2224 /* Read all pointer fields in the TS_BLOCK structure of EXPR from input
2225 block IB. DATA_IN contains tables and descriptors for the
2226 file being read. */
2227
2228 static void
2229 lto_input_ts_block_tree_pointers (struct lto_input_block *ib,
2230 struct data_in *data_in, tree expr)
2231 {
2232 unsigned i, len;
2233
2234 BLOCK_SOURCE_LOCATION (expr) = lto_input_location (ib, data_in);
2235 BLOCK_VARS (expr) = lto_input_chain (ib, data_in);
2236
2237 len = lto_input_uleb128 (ib);
2238 for (i = 0; i < len; i++)
2239 {
2240 tree t = lto_input_tree (ib, data_in);
2241 VEC_safe_push (tree, gc, BLOCK_NONLOCALIZED_VARS (expr), t);
2242 }
2243
2244 BLOCK_SUPERCONTEXT (expr) = lto_input_tree (ib, data_in);
2245 BLOCK_ABSTRACT_ORIGIN (expr) = lto_input_tree (ib, data_in);
2246 BLOCK_FRAGMENT_ORIGIN (expr) = lto_input_tree (ib, data_in);
2247 BLOCK_FRAGMENT_CHAIN (expr) = lto_input_tree (ib, data_in);
2248 BLOCK_SUBBLOCKS (expr) = lto_input_chain (ib, data_in);
2249 }
2250
2251
2252 /* Read all pointer fields in the TS_BINFO structure of EXPR from input
2253 block IB. DATA_IN contains tables and descriptors for the
2254 file being read. */
2255
2256 static void
2257 lto_input_ts_binfo_tree_pointers (struct lto_input_block *ib,
2258 struct data_in *data_in, tree expr)
2259 {
2260 unsigned i, len;
2261 tree t;
2262
2263 /* Note that the number of slots in EXPR was read in
2264 lto_materialize_tree when instantiating EXPR. However, the
2265 vector is empty so we cannot rely on VEC_length to know how many
2266 elements to read. So, this list is emitted as a 0-terminated
2267 list on the writer side. */
2268 do
2269 {
2270 t = lto_input_tree (ib, data_in);
2271 if (t)
2272 VEC_quick_push (tree, BINFO_BASE_BINFOS (expr), t);
2273 }
2274 while (t);
2275
2276 BINFO_OFFSET (expr) = lto_input_tree (ib, data_in);
2277 BINFO_VTABLE (expr) = lto_input_tree (ib, data_in);
2278 BINFO_VIRTUALS (expr) = lto_input_tree (ib, data_in);
2279 BINFO_VPTR_FIELD (expr) = lto_input_tree (ib, data_in);
2280
2281 len = lto_input_uleb128 (ib);
2282 for (i = 0; i < len; i++)
2283 {
2284 tree a = lto_input_tree (ib, data_in);
2285 VEC_safe_push (tree, gc, BINFO_BASE_ACCESSES (expr), a);
2286 }
2287
2288 BINFO_INHERITANCE_CHAIN (expr) = lto_input_tree (ib, data_in);
2289 BINFO_SUBVTT_INDEX (expr) = lto_input_tree (ib, data_in);
2290 BINFO_VPTR_INDEX (expr) = lto_input_tree (ib, data_in);
2291 }
2292
2293
2294 /* Read all pointer fields in the TS_CONSTRUCTOR structure of EXPR from
2295 input block IB. DATA_IN contains tables and descriptors for the
2296 file being read. */
2297
2298 static void
2299 lto_input_ts_constructor_tree_pointers (struct lto_input_block *ib,
2300 struct data_in *data_in, tree expr)
2301 {
2302 unsigned i, len;
2303
2304 len = lto_input_uleb128 (ib);
2305 for (i = 0; i < len; i++)
2306 {
2307 tree index, value;
2308
2309 index = lto_input_tree (ib, data_in);
2310 value = lto_input_tree (ib, data_in);
2311 CONSTRUCTOR_APPEND_ELT (CONSTRUCTOR_ELTS (expr), index, value);
2312 }
2313 }
2314
2315
2316 /* Helper for lto_input_tree. Read all pointer fields in EXPR from
2317 input block IB. DATA_IN contains tables and descriptors for the
2318 file being read. */
2319
2320 static void
2321 lto_input_tree_pointers (struct lto_input_block *ib, struct data_in *data_in,
2322 tree expr)
2323 {
2324 enum tree_code code;
2325
2326 code = TREE_CODE (expr);
2327
2328 if (CODE_CONTAINS_STRUCT (code, TS_COMMON))
2329 lto_input_ts_common_tree_pointers (ib, data_in, expr);
2330
2331 if (CODE_CONTAINS_STRUCT (code, TS_VECTOR))
2332 lto_input_ts_vector_tree_pointers (ib, data_in, expr);
2333
2334 if (CODE_CONTAINS_STRUCT (code, TS_COMPLEX))
2335 lto_input_ts_complex_tree_pointers (ib, data_in, expr);
2336
2337 if (CODE_CONTAINS_STRUCT (code, TS_DECL_MINIMAL))
2338 lto_input_ts_decl_minimal_tree_pointers (ib, data_in, expr);
2339
2340 if (CODE_CONTAINS_STRUCT (code, TS_DECL_COMMON))
2341 lto_input_ts_decl_common_tree_pointers (ib, data_in, expr);
2342
2343 if (CODE_CONTAINS_STRUCT (code, TS_DECL_NON_COMMON))
2344 lto_input_ts_decl_non_common_tree_pointers (ib, data_in, expr);
2345
2346 if (CODE_CONTAINS_STRUCT (code, TS_DECL_WITH_VIS))
2347 lto_input_ts_decl_with_vis_tree_pointers (ib, data_in, expr);
2348
2349 if (CODE_CONTAINS_STRUCT (code, TS_FIELD_DECL))
2350 lto_input_ts_field_decl_tree_pointers (ib, data_in, expr);
2351
2352 if (CODE_CONTAINS_STRUCT (code, TS_FUNCTION_DECL))
2353 lto_input_ts_function_decl_tree_pointers (ib, data_in, expr);
2354
2355 if (CODE_CONTAINS_STRUCT (code, TS_TYPE))
2356 lto_input_ts_type_tree_pointers (ib, data_in, expr);
2357
2358 if (CODE_CONTAINS_STRUCT (code, TS_LIST))
2359 lto_input_ts_list_tree_pointers (ib, data_in, expr);
2360
2361 if (CODE_CONTAINS_STRUCT (code, TS_VEC))
2362 lto_input_ts_vec_tree_pointers (ib, data_in, expr);
2363
2364 if (CODE_CONTAINS_STRUCT (code, TS_EXP))
2365 lto_input_ts_exp_tree_pointers (ib, data_in, expr);
2366
2367 if (CODE_CONTAINS_STRUCT (code, TS_SSA_NAME))
2368 {
2369 /* We only stream the version number of SSA names. */
2370 gcc_unreachable ();
2371 }
2372
2373 if (CODE_CONTAINS_STRUCT (code, TS_BLOCK))
2374 lto_input_ts_block_tree_pointers (ib, data_in, expr);
2375
2376 if (CODE_CONTAINS_STRUCT (code, TS_BINFO))
2377 lto_input_ts_binfo_tree_pointers (ib, data_in, expr);
2378
2379 if (CODE_CONTAINS_STRUCT (code, TS_STATEMENT_LIST))
2380 {
2381 /* This should only appear in GENERIC. */
2382 gcc_unreachable ();
2383 }
2384
2385 if (CODE_CONTAINS_STRUCT (code, TS_CONSTRUCTOR))
2386 lto_input_ts_constructor_tree_pointers (ib, data_in, expr);
2387
2388 if (CODE_CONTAINS_STRUCT (code, TS_OMP_CLAUSE))
2389 {
2390 /* This should only appear in High GIMPLE. */
2391 gcc_unreachable ();
2392 }
2393
2394 if (CODE_CONTAINS_STRUCT (code, TS_OPTIMIZATION))
2395 {
2396 sorry ("optimization options not supported yet");
2397 }
2398
2399 if (CODE_CONTAINS_STRUCT (code, TS_TARGET_OPTION))
2400 {
2401 sorry ("target optimization options not supported yet");
2402 }
2403 }
2404
2405
2406 /* Register DECL with the global symbol table and change its
2407 name if necessary to avoid name clashes for static globals across
2408 different files. */
2409
2410 static void
2411 lto_register_var_decl_in_symtab (struct data_in *data_in, tree decl)
2412 {
2413 /* Register symbols with file or global scope to mark what input
2414 file has their definition. */
2415 if (decl_function_context (decl) == NULL_TREE)
2416 {
2417 /* Variable has file scope, not local. Need to ensure static variables
2418 between different files don't clash unexpectedly. */
2419 if (!TREE_PUBLIC (decl))
2420 {
2421 /* ??? We normally pre-mangle names before we serialize them
2422 out. Here, in lto1, we do not know the language, and
2423 thus cannot do the mangling again. Instead, we just
2424 append a suffix to the mangled name. The resulting name,
2425 however, is not a properly-formed mangled name, and will
2426 confuse any attempt to unmangle it. */
2427 const char *name = IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (decl));
2428 char *label;
2429
2430 ASM_FORMAT_PRIVATE_NAME (label, name, DECL_UID (decl));
2431 SET_DECL_ASSEMBLER_NAME (decl, get_identifier (label));
2432 rest_of_decl_compilation (decl, 1, 0);
2433 }
2434 }
2435
2436 /* If this variable has already been declared, queue the
2437 declaration for merging. */
2438 if (TREE_PUBLIC (decl))
2439 {
2440 int ix;
2441 if (!lto_streamer_cache_lookup (data_in->reader_cache, decl, &ix))
2442 gcc_unreachable ();
2443 lto_symtab_register_decl (decl, get_resolution (data_in, ix),
2444 data_in->file_data);
2445 }
2446 }
2447
2448
2449
2450 /* Register DECL with the global symbol table and change its
2451 name if necessary to avoid name clashes for static globals across
2452 different files. DATA_IN contains descriptors and tables for the
2453 file being read. */
2454
2455 static void
2456 lto_register_function_decl_in_symtab (struct data_in *data_in, tree decl)
2457 {
2458 /* Need to ensure static entities between different files
2459 don't clash unexpectedly. */
2460 if (!TREE_PUBLIC (decl))
2461 {
2462 /* We must not use the DECL_ASSEMBLER_NAME macro here, as it
2463 may set the assembler name where it was previously empty. */
2464 tree old_assembler_name = decl->decl_with_vis.assembler_name;
2465
2466 /* FIXME lto: We normally pre-mangle names before we serialize
2467 them out. Here, in lto1, we do not know the language, and
2468 thus cannot do the mangling again. Instead, we just append a
2469 suffix to the mangled name. The resulting name, however, is
2470 not a properly-formed mangled name, and will confuse any
2471 attempt to unmangle it. */
2472 const char *name = IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (decl));
2473 char *label;
2474
2475 ASM_FORMAT_PRIVATE_NAME (label, name, DECL_UID (decl));
2476 SET_DECL_ASSEMBLER_NAME (decl, get_identifier (label));
2477
2478 /* We may arrive here with the old assembler name not set
2479 if the function body is not needed, e.g., it has been
2480 inlined away and does not appear in the cgraph. */
2481 if (old_assembler_name)
2482 {
2483 tree new_assembler_name = DECL_ASSEMBLER_NAME (decl);
2484
2485 /* Make the original assembler name available for later use.
2486 We may have used it to indicate the section within its
2487 object file where the function body may be found.
2488 FIXME lto: Find a better way to maintain the function decl
2489 to body section mapping so we don't need this hack. */
2490 lto_record_renamed_decl (data_in->file_data,
2491 IDENTIFIER_POINTER (old_assembler_name),
2492 IDENTIFIER_POINTER (new_assembler_name));
2493
2494 /* Also register the reverse mapping so that we can find the
2495 new name given to an existing assembler name (used when
2496 restoring alias pairs in input_constructors_or_inits. */
2497 lto_record_renamed_decl (data_in->file_data,
2498 IDENTIFIER_POINTER (new_assembler_name),
2499 IDENTIFIER_POINTER (old_assembler_name));
2500 }
2501 }
2502
2503 /* If this variable has already been declared, queue the
2504 declaration for merging. */
2505 if (TREE_PUBLIC (decl) && !DECL_ABSTRACT (decl))
2506 {
2507 int ix;
2508 if (!lto_streamer_cache_lookup (data_in->reader_cache, decl, &ix))
2509 gcc_unreachable ();
2510 lto_symtab_register_decl (decl, get_resolution (data_in, ix),
2511 data_in->file_data);
2512 }
2513 }
2514
2515
2516 /* Read an index IX from input block IB and return the tree node at
2517 DATA_IN->FILE_DATA->GLOBALS_INDEX[IX]. */
2518
2519 static tree
2520 lto_get_pickled_tree (struct lto_input_block *ib, struct data_in *data_in)
2521 {
2522 HOST_WIDE_INT ix;
2523 tree result;
2524 enum LTO_tags expected_tag;
2525 unsigned HOST_WIDE_INT orig_offset;
2526
2527 ix = lto_input_sleb128 (ib);
2528 expected_tag = (enum LTO_tags) lto_input_uleb128 (ib);
2529
2530 orig_offset = lto_input_uleb128 (ib);
2531 gcc_assert (orig_offset == (unsigned) orig_offset);
2532
2533 result = lto_streamer_cache_get (data_in->reader_cache, ix);
2534 if (result == NULL_TREE)
2535 {
2536 /* We have not yet read the cache slot IX. Go to the offset
2537 in the stream where the physical tree node is, and materialize
2538 it from there. */
2539 struct lto_input_block fwd_ib;
2540
2541 /* If we are trying to go back in the stream, something is wrong.
2542 We should've read the node at the earlier position already. */
2543 if (ib->p >= orig_offset)
2544 internal_error ("bytecode stream: tried to jump backwards in the "
2545 "stream");
2546
2547 LTO_INIT_INPUT_BLOCK (fwd_ib, ib->data, orig_offset, ib->len);
2548 result = lto_input_tree (&fwd_ib, data_in);
2549 }
2550
2551 gcc_assert (result
2552 && TREE_CODE (result) == lto_tag_to_tree_code (expected_tag));
2553
2554 return result;
2555 }
2556
2557
2558 /* Read a code and class from input block IB and return the
2559 corresponding builtin. DATA_IN is as in lto_input_tree. */
2560
2561 static tree
2562 lto_get_builtin_tree (struct lto_input_block *ib, struct data_in *data_in)
2563 {
2564 enum built_in_class fclass;
2565 enum built_in_function fcode;
2566 const char *asmname;
2567 tree result;
2568 int ix;
2569
2570 fclass = (enum built_in_class) lto_input_uleb128 (ib);
2571 gcc_assert (fclass == BUILT_IN_NORMAL || fclass == BUILT_IN_MD);
2572
2573 fcode = (enum built_in_function) lto_input_uleb128 (ib);
2574
2575 ix = lto_input_sleb128 (ib);
2576 gcc_assert (ix == (int) ix);
2577
2578 if (fclass == BUILT_IN_NORMAL)
2579 {
2580 gcc_assert (fcode < END_BUILTINS);
2581 result = built_in_decls[fcode];
2582 gcc_assert (result);
2583 }
2584 else if (fclass == BUILT_IN_MD)
2585 {
2586 result = targetm.builtin_decl (fcode, true);
2587 if (!result || result == error_mark_node)
2588 fatal_error ("target specific builtin not available");
2589 }
2590 else
2591 gcc_unreachable ();
2592
2593 asmname = input_string (data_in, ib);
2594 if (asmname)
2595 set_builtin_user_assembler_name (result, asmname);
2596
2597 lto_streamer_cache_insert_at (data_in->reader_cache, result, ix);
2598
2599 return result;
2600 }
2601
2602
2603 /* Read the physical representation of a tree node with tag TAG from
2604 input block IB using the per-file context in DATA_IN. */
2605
2606 static tree
2607 lto_read_tree (struct lto_input_block *ib, struct data_in *data_in,
2608 enum LTO_tags tag)
2609 {
2610 tree result;
2611 int ix;
2612
2613 result = lto_materialize_tree (ib, data_in, tag, &ix);
2614
2615 /* Read all the pointer fields in RESULT. */
2616 lto_input_tree_pointers (ib, data_in, result);
2617
2618 /* We should never try to instantiate an MD or NORMAL builtin here. */
2619 if (TREE_CODE (result) == FUNCTION_DECL)
2620 gcc_assert (!lto_stream_as_builtin_p (result));
2621
2622 if (TREE_CODE (result) == VAR_DECL)
2623 lto_register_var_decl_in_symtab (data_in, result);
2624 else if (TREE_CODE (result) == FUNCTION_DECL && !DECL_BUILT_IN (result))
2625 lto_register_function_decl_in_symtab (data_in, result);
2626
2627 /* end_marker = */ lto_input_1_unsigned (ib);
2628
2629 #ifdef LTO_STREAMER_DEBUG
2630 /* Remove the mapping to RESULT's original address set by
2631 lto_materialize_tree. */
2632 lto_orig_address_remove (result);
2633 #endif
2634
2635 return result;
2636 }
2637
2638
2639 /* Read and INTEGER_CST node from input block IB using the per-file
2640 context in DATA_IN. */
2641
2642 static tree
2643 lto_input_integer_cst (struct lto_input_block *ib, struct data_in *data_in)
2644 {
2645 tree result, type;
2646 HOST_WIDE_INT low, high;
2647 bool overflow_p;
2648
2649 type = lto_input_tree (ib, data_in);
2650 overflow_p = (lto_input_1_unsigned (ib) != 0);
2651 low = lto_input_uleb128 (ib);
2652 high = lto_input_uleb128 (ib);
2653 result = build_int_cst_wide (type, low, high);
2654
2655 /* If the original constant had overflown, build a replica of RESULT to
2656 avoid modifying the shared constant returned by build_int_cst_wide. */
2657 if (overflow_p)
2658 {
2659 result = copy_node (result);
2660 TREE_OVERFLOW (result) = 1;
2661 }
2662
2663 return result;
2664 }
2665
2666
2667 /* Read a tree from input block IB using the per-file context in
2668 DATA_IN. This context is used, for example, to resolve references
2669 to previously read nodes. */
2670
2671 tree
2672 lto_input_tree (struct lto_input_block *ib, struct data_in *data_in)
2673 {
2674 enum LTO_tags tag;
2675 tree result;
2676
2677 tag = input_record_start (ib);
2678 gcc_assert ((unsigned) tag < (unsigned) LTO_NUM_TAGS);
2679
2680 if (tag == LTO_null)
2681 result = NULL_TREE;
2682 else if (tag >= LTO_field_decl_ref && tag <= LTO_global_decl_ref)
2683 {
2684 /* If TAG is a reference to an indexable tree, the next value
2685 in IB is the index into the table where we expect to find
2686 that tree. */
2687 result = lto_input_tree_ref (ib, data_in, cfun, tag);
2688 }
2689 else if (tag == LTO_tree_pickle_reference)
2690 {
2691 /* If TAG is a reference to a previously read tree, look it up in
2692 the reader cache. */
2693 result = lto_get_pickled_tree (ib, data_in);
2694 }
2695 else if (tag == LTO_builtin_decl)
2696 {
2697 /* If we are going to read a built-in function, all we need is
2698 the code and class. */
2699 result = lto_get_builtin_tree (ib, data_in);
2700 }
2701 else if (tag == lto_tree_code_to_tag (INTEGER_CST))
2702 {
2703 /* For integer constants we only need the type and its hi/low
2704 words. */
2705 result = lto_input_integer_cst (ib, data_in);
2706 }
2707 else
2708 {
2709 /* Otherwise, materialize a new node from IB. */
2710 result = lto_read_tree (ib, data_in, tag);
2711 }
2712
2713 return result;
2714 }
2715
2716
2717 /* Initialization for the LTO reader. */
2718
2719 void
2720 lto_init_reader (void)
2721 {
2722 lto_streamer_init ();
2723
2724 memset (&lto_stats, 0, sizeof (lto_stats));
2725 bitmap_obstack_initialize (NULL);
2726
2727 file_name_hash_table = htab_create (37, hash_string_slot_node,
2728 eq_string_slot_node, free);
2729
2730 gimple_register_cfg_hooks ();
2731 }
2732
2733
2734 /* Create a new data_in object for FILE_DATA. STRINGS is the string
2735 table to use with LEN strings. RESOLUTIONS is the vector of linker
2736 resolutions (NULL if not using a linker plugin). */
2737
2738 struct data_in *
2739 lto_data_in_create (struct lto_file_decl_data *file_data, const char *strings,
2740 unsigned len,
2741 VEC(ld_plugin_symbol_resolution_t,heap) *resolutions)
2742 {
2743 struct data_in *data_in = XCNEW (struct data_in);
2744 data_in->file_data = file_data;
2745 data_in->strings = strings;
2746 data_in->strings_len = len;
2747 data_in->globals_resolution = resolutions;
2748 data_in->reader_cache = lto_streamer_cache_create ();
2749
2750 return data_in;
2751 }
2752
2753
2754 /* Remove DATA_IN. */
2755
2756 void
2757 lto_data_in_delete (struct data_in *data_in)
2758 {
2759 VEC_free (ld_plugin_symbol_resolution_t, heap, data_in->globals_resolution);
2760 lto_streamer_cache_delete (data_in->reader_cache);
2761 free (data_in->labels);
2762 free (data_in);
2763 }