]>
Commit | Line | Data |
---|---|---|
f0efc7aa DN |
1 | /* Routines for reading trees from a file stream. |
2 | ||
d1e082c2 | 3 | Copyright (C) 2011-2013 Free Software Foundation, Inc. |
f0efc7aa DN |
4 | Contributed by Diego Novillo <dnovillo@google.com> |
5 | ||
6 | This file is part of GCC. | |
7 | ||
8 | GCC is free software; you can redistribute it and/or modify it under | |
9 | the terms of the GNU General Public License as published by the Free | |
10 | Software Foundation; either version 3, or (at your option) any later | |
11 | version. | |
12 | ||
13 | GCC is distributed in the hope that it will be useful, but WITHOUT ANY | |
14 | WARRANTY; without even the implied warranty of MERCHANTABILITY or | |
15 | FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License | |
16 | for more details. | |
17 | ||
18 | You should have received a copy of the GNU General Public License | |
19 | along with GCC; see the file COPYING3. If not see | |
20 | <http://www.gnu.org/licenses/>. */ | |
21 | ||
22 | #include "config.h" | |
23 | #include "system.h" | |
24 | #include "coretypes.h" | |
25 | #include "diagnostic.h" | |
26 | #include "tree.h" | |
d8a2d370 | 27 | #include "stringpool.h" |
2fb9a547 AM |
28 | #include "basic-block.h" |
29 | #include "tree-ssa-alias.h" | |
30 | #include "internal-fn.h" | |
31 | #include "gimple-expr.h" | |
32 | #include "is-a.h" | |
8e9055ae | 33 | #include "gimple.h" |
f0efc7aa DN |
34 | #include "tree-streamer.h" |
35 | #include "data-streamer.h" | |
36 | #include "streamer-hooks.h" | |
37 | #include "lto-streamer.h" | |
38 | ||
39 | /* Read a STRING_CST from the string table in DATA_IN using input | |
40 | block IB. */ | |
41 | ||
42 | tree | |
412288f1 | 43 | streamer_read_string_cst (struct data_in *data_in, struct lto_input_block *ib) |
f0efc7aa DN |
44 | { |
45 | unsigned int len; | |
46 | const char * ptr; | |
47 | ||
412288f1 | 48 | ptr = streamer_read_indexed_string (data_in, ib, &len); |
f0efc7aa DN |
49 | if (!ptr) |
50 | return NULL; | |
51 | return build_string (len, ptr); | |
52 | } | |
53 | ||
54 | ||
55 | /* Read an IDENTIFIER from the string table in DATA_IN using input | |
56 | block IB. */ | |
57 | ||
58 | static tree | |
59 | input_identifier (struct data_in *data_in, struct lto_input_block *ib) | |
60 | { | |
61 | unsigned int len; | |
62 | const char *ptr; | |
63 | ||
412288f1 | 64 | ptr = streamer_read_indexed_string (data_in, ib, &len); |
f0efc7aa DN |
65 | if (!ptr) |
66 | return NULL; | |
67 | return get_identifier_with_length (ptr, len); | |
68 | } | |
69 | ||
70 | ||
71 | /* Read a chain of tree nodes from input block IB. DATA_IN contains | |
72 | tables and descriptors for the file being read. */ | |
73 | ||
412288f1 DN |
74 | tree |
75 | streamer_read_chain (struct lto_input_block *ib, struct data_in *data_in) | |
f0efc7aa | 76 | { |
f0efc7aa DN |
77 | tree first, prev, curr; |
78 | ||
0127aae4 | 79 | /* The chain is written as NULL terminated list of trees. */ |
f0efc7aa | 80 | first = prev = NULL_TREE; |
0127aae4 | 81 | do |
f0efc7aa | 82 | { |
b9393656 | 83 | curr = stream_read_tree (ib, data_in); |
f0efc7aa DN |
84 | if (prev) |
85 | TREE_CHAIN (prev) = curr; | |
86 | else | |
87 | first = curr; | |
88 | ||
f0efc7aa DN |
89 | prev = curr; |
90 | } | |
0127aae4 | 91 | while (curr); |
f0efc7aa DN |
92 | |
93 | return first; | |
94 | } | |
95 | ||
96 | ||
97 | /* Unpack all the non-pointer fields of the TS_BASE structure of | |
98 | expression EXPR from bitpack BP. */ | |
99 | ||
100 | static void | |
101 | unpack_ts_base_value_fields (struct bitpack_d *bp, tree expr) | |
102 | { | |
103 | /* Note that the code for EXPR has already been unpacked to create EXPR in | |
412288f1 | 104 | streamer_alloc_tree. */ |
f0efc7aa DN |
105 | if (!TYPE_P (expr)) |
106 | { | |
107 | TREE_SIDE_EFFECTS (expr) = (unsigned) bp_unpack_value (bp, 1); | |
108 | TREE_CONSTANT (expr) = (unsigned) bp_unpack_value (bp, 1); | |
109 | TREE_READONLY (expr) = (unsigned) bp_unpack_value (bp, 1); | |
110 | ||
111 | /* TREE_PUBLIC is used on types to indicate that the type | |
112 | has a TYPE_CACHED_VALUES vector. This is not streamed out, | |
113 | so we skip it here. */ | |
114 | TREE_PUBLIC (expr) = (unsigned) bp_unpack_value (bp, 1); | |
115 | } | |
116 | else | |
117 | bp_unpack_value (bp, 4); | |
118 | TREE_ADDRESSABLE (expr) = (unsigned) bp_unpack_value (bp, 1); | |
119 | TREE_THIS_VOLATILE (expr) = (unsigned) bp_unpack_value (bp, 1); | |
120 | if (DECL_P (expr)) | |
121 | DECL_UNSIGNED (expr) = (unsigned) bp_unpack_value (bp, 1); | |
122 | else if (TYPE_P (expr)) | |
123 | TYPE_UNSIGNED (expr) = (unsigned) bp_unpack_value (bp, 1); | |
124 | else | |
125 | bp_unpack_value (bp, 1); | |
126 | TREE_ASM_WRITTEN (expr) = (unsigned) bp_unpack_value (bp, 1); | |
127 | if (TYPE_P (expr)) | |
128 | TYPE_ARTIFICIAL (expr) = (unsigned) bp_unpack_value (bp, 1); | |
129 | else | |
130 | TREE_NO_WARNING (expr) = (unsigned) bp_unpack_value (bp, 1); | |
f0efc7aa DN |
131 | TREE_NOTHROW (expr) = (unsigned) bp_unpack_value (bp, 1); |
132 | TREE_STATIC (expr) = (unsigned) bp_unpack_value (bp, 1); | |
ee03e71d RB |
133 | if (TREE_CODE (expr) != TREE_BINFO) |
134 | TREE_PRIVATE (expr) = (unsigned) bp_unpack_value (bp, 1); | |
f0efc7aa DN |
135 | TREE_PROTECTED (expr) = (unsigned) bp_unpack_value (bp, 1); |
136 | TREE_DEPRECATED (expr) = (unsigned) bp_unpack_value (bp, 1); | |
137 | if (TYPE_P (expr)) | |
875b35b4 DN |
138 | { |
139 | TYPE_SATURATING (expr) = (unsigned) bp_unpack_value (bp, 1); | |
140 | TYPE_ADDR_SPACE (expr) = (unsigned) bp_unpack_value (bp, 8); | |
141 | } | |
f0efc7aa DN |
142 | else if (TREE_CODE (expr) == SSA_NAME) |
143 | SSA_NAME_IS_DEFAULT_DEF (expr) = (unsigned) bp_unpack_value (bp, 1); | |
144 | else | |
145 | bp_unpack_value (bp, 1); | |
146 | } | |
147 | ||
148 | ||
c61f8c3b RG |
149 | /* Unpack all the non-pointer fields of the TS_INT_CST structure of |
150 | expression EXPR from bitpack BP. */ | |
151 | ||
152 | static void | |
153 | unpack_ts_int_cst_value_fields (struct bitpack_d *bp, tree expr) | |
154 | { | |
4caaa462 RB |
155 | TREE_INT_CST_LOW (expr) = bp_unpack_var_len_unsigned (bp); |
156 | TREE_INT_CST_HIGH (expr) = bp_unpack_var_len_int (bp); | |
c61f8c3b RG |
157 | } |
158 | ||
159 | ||
f0efc7aa DN |
160 | /* Unpack all the non-pointer fields of the TS_REAL_CST structure of |
161 | expression EXPR from bitpack BP. */ | |
162 | ||
163 | static void | |
164 | unpack_ts_real_cst_value_fields (struct bitpack_d *bp, tree expr) | |
165 | { | |
166 | unsigned i; | |
167 | REAL_VALUE_TYPE r; | |
168 | REAL_VALUE_TYPE *rp; | |
169 | ||
170 | r.cl = (unsigned) bp_unpack_value (bp, 2); | |
171 | r.decimal = (unsigned) bp_unpack_value (bp, 1); | |
172 | r.sign = (unsigned) bp_unpack_value (bp, 1); | |
173 | r.signalling = (unsigned) bp_unpack_value (bp, 1); | |
174 | r.canonical = (unsigned) bp_unpack_value (bp, 1); | |
175 | r.uexp = (unsigned) bp_unpack_value (bp, EXP_BITS); | |
176 | for (i = 0; i < SIGSZ; i++) | |
177 | r.sig[i] = (unsigned long) bp_unpack_value (bp, HOST_BITS_PER_LONG); | |
178 | ||
179 | rp = ggc_alloc_real_value (); | |
180 | memcpy (rp, &r, sizeof (REAL_VALUE_TYPE)); | |
181 | TREE_REAL_CST_PTR (expr) = rp; | |
182 | } | |
183 | ||
184 | ||
185 | /* Unpack all the non-pointer fields of the TS_FIXED_CST structure of | |
186 | expression EXPR from bitpack BP. */ | |
187 | ||
188 | static void | |
189 | unpack_ts_fixed_cst_value_fields (struct bitpack_d *bp, tree expr) | |
190 | { | |
f57f20bb RG |
191 | FIXED_VALUE_TYPE *fp = ggc_alloc_fixed_value (); |
192 | fp->mode = bp_unpack_enum (bp, machine_mode, MAX_MACHINE_MODE); | |
193 | fp->data.low = bp_unpack_var_len_int (bp); | |
194 | fp->data.high = bp_unpack_var_len_int (bp); | |
195 | TREE_FIXED_CST_PTR (expr) = fp; | |
f0efc7aa DN |
196 | } |
197 | ||
f0efc7aa DN |
198 | /* Unpack all the non-pointer fields of the TS_DECL_COMMON structure |
199 | of expression EXPR from bitpack BP. */ | |
200 | ||
201 | static void | |
202 | unpack_ts_decl_common_value_fields (struct bitpack_d *bp, tree expr) | |
203 | { | |
204 | DECL_MODE (expr) = bp_unpack_enum (bp, machine_mode, MAX_MACHINE_MODE); | |
205 | DECL_NONLOCAL (expr) = (unsigned) bp_unpack_value (bp, 1); | |
206 | DECL_VIRTUAL_P (expr) = (unsigned) bp_unpack_value (bp, 1); | |
207 | DECL_IGNORED_P (expr) = (unsigned) bp_unpack_value (bp, 1); | |
208 | DECL_ABSTRACT (expr) = (unsigned) bp_unpack_value (bp, 1); | |
209 | DECL_ARTIFICIAL (expr) = (unsigned) bp_unpack_value (bp, 1); | |
210 | DECL_USER_ALIGN (expr) = (unsigned) bp_unpack_value (bp, 1); | |
211 | DECL_PRESERVE_P (expr) = (unsigned) bp_unpack_value (bp, 1); | |
f0efc7aa DN |
212 | DECL_EXTERNAL (expr) = (unsigned) bp_unpack_value (bp, 1); |
213 | DECL_GIMPLE_REG_P (expr) = (unsigned) bp_unpack_value (bp, 1); | |
214 | DECL_ALIGN (expr) = (unsigned) bp_unpack_var_len_unsigned (bp); | |
215 | ||
216 | if (TREE_CODE (expr) == LABEL_DECL) | |
217 | { | |
f0efc7aa DN |
218 | EH_LANDING_PAD_NR (expr) = (int) bp_unpack_var_len_unsigned (bp); |
219 | ||
220 | /* Always assume an initial value of -1 for LABEL_DECL_UID to | |
221 | force gimple_set_bb to recreate label_to_block_map. */ | |
222 | LABEL_DECL_UID (expr) = -1; | |
223 | } | |
224 | ||
225 | if (TREE_CODE (expr) == FIELD_DECL) | |
226 | { | |
227 | DECL_PACKED (expr) = (unsigned) bp_unpack_value (bp, 1); | |
228 | DECL_NONADDRESSABLE_P (expr) = (unsigned) bp_unpack_value (bp, 1); | |
229 | expr->decl_common.off_align = bp_unpack_value (bp, 8); | |
230 | } | |
231 | ||
0f1e8842 | 232 | if (TREE_CODE (expr) == VAR_DECL) |
839b422f RB |
233 | { |
234 | DECL_HAS_DEBUG_EXPR_P (expr) = (unsigned) bp_unpack_value (bp, 1); | |
235 | DECL_NONLOCAL_FRAME (expr) = (unsigned) bp_unpack_value (bp, 1); | |
236 | } | |
0f1e8842 | 237 | |
f0efc7aa DN |
238 | if (TREE_CODE (expr) == RESULT_DECL |
239 | || TREE_CODE (expr) == PARM_DECL | |
240 | || TREE_CODE (expr) == VAR_DECL) | |
241 | { | |
242 | DECL_BY_REFERENCE (expr) = (unsigned) bp_unpack_value (bp, 1); | |
243 | if (TREE_CODE (expr) == VAR_DECL | |
244 | || TREE_CODE (expr) == PARM_DECL) | |
245 | DECL_HAS_VALUE_EXPR_P (expr) = (unsigned) bp_unpack_value (bp, 1); | |
f0efc7aa DN |
246 | } |
247 | } | |
248 | ||
249 | ||
250 | /* Unpack all the non-pointer fields of the TS_DECL_WRTL structure | |
251 | of expression EXPR from bitpack BP. */ | |
252 | ||
253 | static void | |
254 | unpack_ts_decl_wrtl_value_fields (struct bitpack_d *bp, tree expr) | |
255 | { | |
256 | DECL_REGISTER (expr) = (unsigned) bp_unpack_value (bp, 1); | |
257 | } | |
258 | ||
259 | ||
260 | /* Unpack all the non-pointer fields of the TS_DECL_WITH_VIS structure | |
261 | of expression EXPR from bitpack BP. */ | |
262 | ||
263 | static void | |
264 | unpack_ts_decl_with_vis_value_fields (struct bitpack_d *bp, tree expr) | |
265 | { | |
f0efc7aa DN |
266 | DECL_COMMON (expr) = (unsigned) bp_unpack_value (bp, 1); |
267 | DECL_DLLIMPORT_P (expr) = (unsigned) bp_unpack_value (bp, 1); | |
268 | DECL_WEAK (expr) = (unsigned) bp_unpack_value (bp, 1); | |
269 | DECL_SEEN_IN_BIND_EXPR_P (expr) = (unsigned) bp_unpack_value (bp, 1); | |
270 | DECL_COMDAT (expr) = (unsigned) bp_unpack_value (bp, 1); | |
271 | DECL_VISIBILITY (expr) = (enum symbol_visibility) bp_unpack_value (bp, 2); | |
272 | DECL_VISIBILITY_SPECIFIED (expr) = (unsigned) bp_unpack_value (bp, 1); | |
273 | ||
274 | if (TREE_CODE (expr) == VAR_DECL) | |
275 | { | |
276 | DECL_HARD_REGISTER (expr) = (unsigned) bp_unpack_value (bp, 1); | |
f0efc7aa DN |
277 | DECL_IN_CONSTANT_POOL (expr) = (unsigned) bp_unpack_value (bp, 1); |
278 | DECL_TLS_MODEL (expr) = (enum tls_model) bp_unpack_value (bp, 3); | |
279 | } | |
280 | ||
0170f33c JH |
281 | if (TREE_CODE (expr) == FUNCTION_DECL) |
282 | { | |
283 | DECL_FINAL_P (expr) = (unsigned) bp_unpack_value (bp, 1); | |
284 | DECL_CXX_CONSTRUCTOR_P (expr) = (unsigned) bp_unpack_value (bp, 1); | |
285 | DECL_CXX_DESTRUCTOR_P (expr) = (unsigned) bp_unpack_value (bp, 1); | |
286 | } | |
f0efc7aa DN |
287 | if (VAR_OR_FUNCTION_DECL_P (expr)) |
288 | { | |
289 | priority_type p; | |
290 | p = (priority_type) bp_unpack_var_len_unsigned (bp); | |
291 | SET_DECL_INIT_PRIORITY (expr, p); | |
292 | } | |
293 | } | |
294 | ||
295 | ||
296 | /* Unpack all the non-pointer fields of the TS_FUNCTION_DECL structure | |
297 | of expression EXPR from bitpack BP. */ | |
298 | ||
299 | static void | |
300 | unpack_ts_function_decl_value_fields (struct bitpack_d *bp, tree expr) | |
301 | { | |
302 | DECL_BUILT_IN_CLASS (expr) = bp_unpack_enum (bp, built_in_class, | |
303 | BUILT_IN_LAST); | |
304 | DECL_STATIC_CONSTRUCTOR (expr) = (unsigned) bp_unpack_value (bp, 1); | |
305 | DECL_STATIC_DESTRUCTOR (expr) = (unsigned) bp_unpack_value (bp, 1); | |
306 | DECL_UNINLINABLE (expr) = (unsigned) bp_unpack_value (bp, 1); | |
307 | DECL_POSSIBLY_INLINED (expr) = (unsigned) bp_unpack_value (bp, 1); | |
308 | DECL_IS_NOVOPS (expr) = (unsigned) bp_unpack_value (bp, 1); | |
309 | DECL_IS_RETURNS_TWICE (expr) = (unsigned) bp_unpack_value (bp, 1); | |
310 | DECL_IS_MALLOC (expr) = (unsigned) bp_unpack_value (bp, 1); | |
311 | DECL_IS_OPERATOR_NEW (expr) = (unsigned) bp_unpack_value (bp, 1); | |
312 | DECL_DECLARED_INLINE_P (expr) = (unsigned) bp_unpack_value (bp, 1); | |
313 | DECL_STATIC_CHAIN (expr) = (unsigned) bp_unpack_value (bp, 1); | |
314 | DECL_NO_INLINE_WARNING_P (expr) = (unsigned) bp_unpack_value (bp, 1); | |
315 | DECL_NO_INSTRUMENT_FUNCTION_ENTRY_EXIT (expr) | |
316 | = (unsigned) bp_unpack_value (bp, 1); | |
317 | DECL_NO_LIMIT_STACK (expr) = (unsigned) bp_unpack_value (bp, 1); | |
318 | DECL_DISREGARD_INLINE_LIMITS (expr) = (unsigned) bp_unpack_value (bp, 1); | |
319 | DECL_PURE_P (expr) = (unsigned) bp_unpack_value (bp, 1); | |
320 | DECL_LOOPING_CONST_OR_PURE_P (expr) = (unsigned) bp_unpack_value (bp, 1); | |
321 | if (DECL_BUILT_IN_CLASS (expr) != NOT_BUILT_IN) | |
322 | { | |
323 | DECL_FUNCTION_CODE (expr) = (enum built_in_function) bp_unpack_value (bp, | |
324 | 11); | |
325 | if (DECL_BUILT_IN_CLASS (expr) == BUILT_IN_NORMAL | |
326 | && DECL_FUNCTION_CODE (expr) >= END_BUILTINS) | |
327 | fatal_error ("machine independent builtin code out of range"); | |
328 | else if (DECL_BUILT_IN_CLASS (expr) == BUILT_IN_MD) | |
329 | { | |
330 | tree result = targetm.builtin_decl (DECL_FUNCTION_CODE (expr), true); | |
331 | if (!result || result == error_mark_node) | |
332 | fatal_error ("target specific builtin not available"); | |
333 | } | |
334 | } | |
335 | if (DECL_STATIC_DESTRUCTOR (expr)) | |
336 | { | |
337 | priority_type p; | |
338 | p = (priority_type) bp_unpack_var_len_unsigned (bp); | |
339 | SET_DECL_FINI_PRIORITY (expr, p); | |
340 | } | |
341 | } | |
342 | ||
343 | ||
344 | /* Unpack all the non-pointer fields of the TS_TYPE_COMMON structure | |
345 | of expression EXPR from bitpack BP. */ | |
346 | ||
347 | static void | |
348 | unpack_ts_type_common_value_fields (struct bitpack_d *bp, tree expr) | |
349 | { | |
350 | enum machine_mode mode; | |
351 | ||
352 | mode = bp_unpack_enum (bp, machine_mode, MAX_MACHINE_MODE); | |
353 | SET_TYPE_MODE (expr, mode); | |
354 | TYPE_STRING_FLAG (expr) = (unsigned) bp_unpack_value (bp, 1); | |
355 | TYPE_NO_FORCE_BLK (expr) = (unsigned) bp_unpack_value (bp, 1); | |
356 | TYPE_NEEDS_CONSTRUCTING (expr) = (unsigned) bp_unpack_value (bp, 1); | |
357 | if (RECORD_OR_UNION_TYPE_P (expr)) | |
0170f33c JH |
358 | { |
359 | TYPE_TRANSPARENT_AGGR (expr) = (unsigned) bp_unpack_value (bp, 1); | |
360 | TYPE_FINAL_P (expr) = (unsigned) bp_unpack_value (bp, 1); | |
361 | } | |
04208228 EB |
362 | else if (TREE_CODE (expr) == ARRAY_TYPE) |
363 | TYPE_NONALIASED_COMPONENT (expr) = (unsigned) bp_unpack_value (bp, 1); | |
f0efc7aa DN |
364 | TYPE_PACKED (expr) = (unsigned) bp_unpack_value (bp, 1); |
365 | TYPE_RESTRICT (expr) = (unsigned) bp_unpack_value (bp, 1); | |
f0efc7aa DN |
366 | TYPE_USER_ALIGN (expr) = (unsigned) bp_unpack_value (bp, 1); |
367 | TYPE_READONLY (expr) = (unsigned) bp_unpack_value (bp, 1); | |
368 | TYPE_PRECISION (expr) = bp_unpack_var_len_unsigned (bp); | |
369 | TYPE_ALIGN (expr) = bp_unpack_var_len_unsigned (bp); | |
370 | TYPE_ALIAS_SET (expr) = bp_unpack_var_len_int (bp); | |
371 | } | |
372 | ||
373 | ||
374 | /* Unpack all the non-pointer fields of the TS_BLOCK structure | |
375 | of expression EXPR from bitpack BP. */ | |
376 | ||
377 | static void | |
7cb7d208 RB |
378 | unpack_ts_block_value_fields (struct data_in *data_in, |
379 | struct bitpack_d *bp, tree expr) | |
f0efc7aa DN |
380 | { |
381 | BLOCK_ABSTRACT (expr) = (unsigned) bp_unpack_value (bp, 1); | |
382 | /* BLOCK_NUMBER is recomputed. */ | |
7cb7d208 | 383 | BLOCK_SOURCE_LOCATION (expr) = stream_input_location (bp, data_in); |
f0efc7aa DN |
384 | } |
385 | ||
386 | /* Unpack all the non-pointer fields of the TS_TRANSLATION_UNIT_DECL | |
387 | structure of expression EXPR from bitpack BP. */ | |
388 | ||
389 | static void | |
8135e1e6 RB |
390 | unpack_ts_translation_unit_decl_value_fields (struct data_in *data_in, |
391 | struct bitpack_d *bp, tree expr) | |
f0efc7aa | 392 | { |
8135e1e6 | 393 | TRANSLATION_UNIT_LANGUAGE (expr) = xstrdup (bp_unpack_string (data_in, bp)); |
9771b263 | 394 | vec_safe_push (all_translation_units, expr); |
f0efc7aa DN |
395 | } |
396 | ||
0889c5c3 RB |
397 | /* Unpack a TS_TARGET_OPTION tree from BP into EXPR. */ |
398 | ||
399 | static void | |
400 | unpack_ts_target_option (struct bitpack_d *bp, tree expr) | |
401 | { | |
402 | unsigned i, len; | |
403 | struct cl_target_option *t = TREE_TARGET_OPTION (expr); | |
404 | ||
405 | len = sizeof (struct cl_target_option); | |
406 | for (i = 0; i < len; i++) | |
407 | ((unsigned char *)t)[i] = bp_unpack_value (bp, 8); | |
408 | if (bp_unpack_value (bp, 32) != 0x12345678) | |
409 | fatal_error ("cl_target_option size mismatch in LTO reader and writer"); | |
410 | } | |
411 | ||
412 | /* Unpack a TS_OPTIMIZATION tree from BP into EXPR. */ | |
413 | ||
414 | static void | |
415 | unpack_ts_optimization (struct bitpack_d *bp, tree expr) | |
416 | { | |
417 | unsigned i, len; | |
418 | struct cl_optimization *t = TREE_OPTIMIZATION (expr); | |
419 | ||
420 | len = sizeof (struct cl_optimization); | |
421 | for (i = 0; i < len; i++) | |
422 | ((unsigned char *)t)[i] = bp_unpack_value (bp, 8); | |
423 | if (bp_unpack_value (bp, 32) != 0x12345678) | |
424 | fatal_error ("cl_optimization size mismatch in LTO reader and writer"); | |
425 | } | |
426 | ||
427 | ||
f0efc7aa DN |
428 | /* Unpack all the non-pointer fields in EXPR into a bit pack. */ |
429 | ||
430 | static void | |
7cb7d208 | 431 | unpack_value_fields (struct data_in *data_in, struct bitpack_d *bp, tree expr) |
f0efc7aa DN |
432 | { |
433 | enum tree_code code; | |
434 | ||
435 | code = TREE_CODE (expr); | |
436 | ||
437 | /* Note that all these functions are highly sensitive to changes in | |
438 | the types and sizes of each of the fields being packed. */ | |
439 | unpack_ts_base_value_fields (bp, expr); | |
440 | ||
c61f8c3b RG |
441 | if (CODE_CONTAINS_STRUCT (code, TS_INT_CST)) |
442 | unpack_ts_int_cst_value_fields (bp, expr); | |
443 | ||
f0efc7aa DN |
444 | if (CODE_CONTAINS_STRUCT (code, TS_REAL_CST)) |
445 | unpack_ts_real_cst_value_fields (bp, expr); | |
446 | ||
447 | if (CODE_CONTAINS_STRUCT (code, TS_FIXED_CST)) | |
448 | unpack_ts_fixed_cst_value_fields (bp, expr); | |
449 | ||
7cb7d208 RB |
450 | if (CODE_CONTAINS_STRUCT (code, TS_DECL_MINIMAL)) |
451 | DECL_SOURCE_LOCATION (expr) = stream_input_location (bp, data_in); | |
452 | ||
f0efc7aa DN |
453 | if (CODE_CONTAINS_STRUCT (code, TS_DECL_COMMON)) |
454 | unpack_ts_decl_common_value_fields (bp, expr); | |
455 | ||
456 | if (CODE_CONTAINS_STRUCT (code, TS_DECL_WRTL)) | |
457 | unpack_ts_decl_wrtl_value_fields (bp, expr); | |
458 | ||
459 | if (CODE_CONTAINS_STRUCT (code, TS_DECL_WITH_VIS)) | |
460 | unpack_ts_decl_with_vis_value_fields (bp, expr); | |
461 | ||
462 | if (CODE_CONTAINS_STRUCT (code, TS_FUNCTION_DECL)) | |
463 | unpack_ts_function_decl_value_fields (bp, expr); | |
464 | ||
465 | if (CODE_CONTAINS_STRUCT (code, TS_TYPE_COMMON)) | |
466 | unpack_ts_type_common_value_fields (bp, expr); | |
467 | ||
7cb7d208 RB |
468 | if (CODE_CONTAINS_STRUCT (code, TS_EXP)) |
469 | SET_EXPR_LOCATION (expr, stream_input_location (bp, data_in)); | |
470 | ||
f0efc7aa | 471 | if (CODE_CONTAINS_STRUCT (code, TS_BLOCK)) |
7cb7d208 | 472 | unpack_ts_block_value_fields (data_in, bp, expr); |
f0efc7aa DN |
473 | |
474 | if (CODE_CONTAINS_STRUCT (code, TS_TRANSLATION_UNIT_DECL)) | |
8135e1e6 | 475 | unpack_ts_translation_unit_decl_value_fields (data_in, bp, expr); |
0889c5c3 RB |
476 | |
477 | if (CODE_CONTAINS_STRUCT (code, TS_TARGET_OPTION)) | |
478 | unpack_ts_target_option (bp, expr); | |
479 | ||
480 | if (CODE_CONTAINS_STRUCT (code, TS_OPTIMIZATION)) | |
481 | unpack_ts_optimization (bp, expr); | |
0127aae4 RG |
482 | |
483 | if (CODE_CONTAINS_STRUCT (code, TS_BINFO)) | |
484 | { | |
485 | unsigned HOST_WIDE_INT length = bp_unpack_var_len_unsigned (bp); | |
486 | if (length > 0) | |
9771b263 | 487 | vec_safe_grow (BINFO_BASE_ACCESSES (expr), length); |
0127aae4 RG |
488 | } |
489 | ||
490 | if (CODE_CONTAINS_STRUCT (code, TS_CONSTRUCTOR)) | |
491 | { | |
492 | unsigned HOST_WIDE_INT length = bp_unpack_var_len_unsigned (bp); | |
493 | if (length > 0) | |
9771b263 | 494 | vec_safe_grow (CONSTRUCTOR_ELTS (expr), length); |
0127aae4 | 495 | } |
b9393656 DN |
496 | } |
497 | ||
498 | ||
499 | /* Read all the language-independent bitfield values for EXPR from IB. | |
500 | Return the partially unpacked bitpack so the caller can unpack any other | |
501 | bitfield values that the writer may have written. */ | |
f0efc7aa | 502 | |
b9393656 | 503 | struct bitpack_d |
7cb7d208 RB |
504 | streamer_read_tree_bitfields (struct lto_input_block *ib, |
505 | struct data_in *data_in, tree expr) | |
b9393656 DN |
506 | { |
507 | enum tree_code code; | |
508 | struct bitpack_d bp; | |
509 | ||
510 | /* Read the bitpack of non-pointer values from IB. */ | |
412288f1 | 511 | bp = streamer_read_bitpack (ib); |
b9393656 DN |
512 | |
513 | /* The first word in BP contains the code of the tree that we | |
514 | are about to read. */ | |
515 | code = (enum tree_code) bp_unpack_value (&bp, 16); | |
516 | lto_tag_check (lto_tree_code_to_tag (code), | |
517 | lto_tree_code_to_tag (TREE_CODE (expr))); | |
518 | ||
519 | /* Unpack all the value fields from BP. */ | |
7cb7d208 | 520 | unpack_value_fields (data_in, &bp, expr); |
b9393656 DN |
521 | |
522 | return bp; | |
f0efc7aa DN |
523 | } |
524 | ||
525 | ||
526 | /* Materialize a new tree from input block IB using descriptors in | |
527 | DATA_IN. The code for the new tree should match TAG. Store in | |
528 | *IX_P the index into the reader cache where the new tree is stored. */ | |
529 | ||
b9393656 | 530 | tree |
412288f1 DN |
531 | streamer_alloc_tree (struct lto_input_block *ib, struct data_in *data_in, |
532 | enum LTO_tags tag) | |
f0efc7aa | 533 | { |
f0efc7aa DN |
534 | enum tree_code code; |
535 | tree result; | |
536 | #ifdef LTO_STREAMER_DEBUG | |
537 | HOST_WIDEST_INT orig_address_in_writer; | |
538 | #endif | |
539 | ||
540 | result = NULL_TREE; | |
541 | ||
542 | #ifdef LTO_STREAMER_DEBUG | |
543 | /* Read the word representing the memory address for the tree | |
544 | as it was written by the writer. This is useful when | |
545 | debugging differences between the writer and reader. */ | |
412288f1 | 546 | orig_address_in_writer = streamer_read_hwi (ib); |
f0efc7aa DN |
547 | gcc_assert ((intptr_t) orig_address_in_writer == orig_address_in_writer); |
548 | #endif | |
549 | ||
550 | code = lto_tag_to_tree_code (tag); | |
551 | ||
552 | /* We should never see an SSA_NAME tree. Only the version numbers of | |
553 | SSA names are ever written out. See input_ssa_names. */ | |
554 | gcc_assert (code != SSA_NAME); | |
555 | ||
556 | /* Instantiate a new tree using the header data. */ | |
557 | if (CODE_CONTAINS_STRUCT (code, TS_STRING)) | |
412288f1 | 558 | result = streamer_read_string_cst (data_in, ib); |
f0efc7aa DN |
559 | else if (CODE_CONTAINS_STRUCT (code, TS_IDENTIFIER)) |
560 | result = input_identifier (data_in, ib); | |
561 | else if (CODE_CONTAINS_STRUCT (code, TS_VEC)) | |
562 | { | |
412288f1 | 563 | HOST_WIDE_INT len = streamer_read_hwi (ib); |
f0efc7aa DN |
564 | result = make_tree_vec (len); |
565 | } | |
d2a12ae7 RG |
566 | else if (CODE_CONTAINS_STRUCT (code, TS_VECTOR)) |
567 | { | |
568 | HOST_WIDE_INT len = streamer_read_hwi (ib); | |
ac9a074c | 569 | result = make_vector (len); |
d2a12ae7 | 570 | } |
f0efc7aa DN |
571 | else if (CODE_CONTAINS_STRUCT (code, TS_BINFO)) |
572 | { | |
412288f1 | 573 | unsigned HOST_WIDE_INT len = streamer_read_uhwi (ib); |
f0efc7aa DN |
574 | result = make_tree_binfo (len); |
575 | } | |
b9393656 DN |
576 | else if (code == CALL_EXPR) |
577 | { | |
412288f1 | 578 | unsigned HOST_WIDE_INT nargs = streamer_read_uhwi (ib); |
b9393656 DN |
579 | return build_vl_exp (CALL_EXPR, nargs + 3); |
580 | } | |
f0efc7aa DN |
581 | else |
582 | { | |
b9393656 | 583 | /* For all other nodes, materialize the tree with a raw |
f0efc7aa | 584 | make_node call. */ |
b9393656 | 585 | result = make_node (code); |
f0efc7aa DN |
586 | } |
587 | ||
588 | #ifdef LTO_STREAMER_DEBUG | |
589 | /* Store the original address of the tree as seen by the writer | |
590 | in RESULT's aux field. This is useful when debugging streaming | |
591 | problems. This way, a debugging session can be started on | |
592 | both writer and reader with a breakpoint using this address | |
593 | value in both. */ | |
594 | lto_orig_address_map (result, (intptr_t) orig_address_in_writer); | |
595 | #endif | |
596 | ||
f0efc7aa DN |
597 | return result; |
598 | } | |
599 | ||
600 | ||
601 | /* Read all pointer fields in the TS_COMMON structure of EXPR from input | |
602 | block IB. DATA_IN contains tables and descriptors for the | |
603 | file being read. */ | |
604 | ||
605 | ||
606 | static void | |
607 | lto_input_ts_common_tree_pointers (struct lto_input_block *ib, | |
608 | struct data_in *data_in, tree expr) | |
609 | { | |
610 | if (TREE_CODE (expr) != IDENTIFIER_NODE) | |
b9393656 | 611 | TREE_TYPE (expr) = stream_read_tree (ib, data_in); |
f0efc7aa DN |
612 | } |
613 | ||
614 | ||
615 | /* Read all pointer fields in the TS_VECTOR structure of EXPR from input | |
616 | block IB. DATA_IN contains tables and descriptors for the | |
617 | file being read. */ | |
618 | ||
619 | static void | |
620 | lto_input_ts_vector_tree_pointers (struct lto_input_block *ib, | |
621 | struct data_in *data_in, tree expr) | |
622 | { | |
d2a12ae7 RG |
623 | unsigned i; |
624 | for (i = 0; i < VECTOR_CST_NELTS (expr); ++i) | |
625 | VECTOR_CST_ELT (expr, i) = stream_read_tree (ib, data_in); | |
f0efc7aa DN |
626 | } |
627 | ||
628 | ||
629 | /* Read all pointer fields in the TS_COMPLEX structure of EXPR from input | |
630 | block IB. DATA_IN contains tables and descriptors for the | |
631 | file being read. */ | |
632 | ||
633 | static void | |
634 | lto_input_ts_complex_tree_pointers (struct lto_input_block *ib, | |
635 | struct data_in *data_in, tree expr) | |
636 | { | |
b9393656 DN |
637 | TREE_REALPART (expr) = stream_read_tree (ib, data_in); |
638 | TREE_IMAGPART (expr) = stream_read_tree (ib, data_in); | |
f0efc7aa DN |
639 | } |
640 | ||
641 | ||
642 | /* Read all pointer fields in the TS_DECL_MINIMAL structure of EXPR | |
643 | from input block IB. DATA_IN contains tables and descriptors for the | |
644 | file being read. */ | |
645 | ||
646 | static void | |
647 | lto_input_ts_decl_minimal_tree_pointers (struct lto_input_block *ib, | |
648 | struct data_in *data_in, tree expr) | |
649 | { | |
b9393656 DN |
650 | DECL_NAME (expr) = stream_read_tree (ib, data_in); |
651 | DECL_CONTEXT (expr) = stream_read_tree (ib, data_in); | |
f0efc7aa DN |
652 | } |
653 | ||
654 | ||
655 | /* Read all pointer fields in the TS_DECL_COMMON structure of EXPR from | |
656 | input block IB. DATA_IN contains tables and descriptors for the | |
657 | file being read. */ | |
658 | ||
659 | static void | |
660 | lto_input_ts_decl_common_tree_pointers (struct lto_input_block *ib, | |
661 | struct data_in *data_in, tree expr) | |
662 | { | |
b9393656 DN |
663 | DECL_SIZE (expr) = stream_read_tree (ib, data_in); |
664 | DECL_SIZE_UNIT (expr) = stream_read_tree (ib, data_in); | |
665 | DECL_ATTRIBUTES (expr) = stream_read_tree (ib, data_in); | |
f0efc7aa DN |
666 | |
667 | /* Do not stream DECL_ABSTRACT_ORIGIN. We cannot handle debug information | |
668 | for early inlining so drop it on the floor instead of ICEing in | |
669 | dwarf2out.c. */ | |
670 | ||
f0efc7aa DN |
671 | if ((TREE_CODE (expr) == VAR_DECL |
672 | || TREE_CODE (expr) == PARM_DECL) | |
673 | && DECL_HAS_VALUE_EXPR_P (expr)) | |
b9393656 | 674 | SET_DECL_VALUE_EXPR (expr, stream_read_tree (ib, data_in)); |
f0efc7aa DN |
675 | |
676 | if (TREE_CODE (expr) == VAR_DECL) | |
677 | { | |
b9393656 | 678 | tree dexpr = stream_read_tree (ib, data_in); |
f0efc7aa DN |
679 | if (dexpr) |
680 | SET_DECL_DEBUG_EXPR (expr, dexpr); | |
681 | } | |
682 | } | |
683 | ||
684 | ||
685 | /* Read all pointer fields in the TS_DECL_NON_COMMON structure of | |
686 | EXPR from input block IB. DATA_IN contains tables and descriptors for the | |
687 | file being read. */ | |
688 | ||
689 | static void | |
690 | lto_input_ts_decl_non_common_tree_pointers (struct lto_input_block *ib, | |
691 | struct data_in *data_in, tree expr) | |
692 | { | |
815effe1 | 693 | if (TREE_CODE (expr) == TYPE_DECL) |
ea973bad | 694 | DECL_ORIGINAL_TYPE (expr) = stream_read_tree (ib, data_in); |
b9393656 | 695 | DECL_VINDEX (expr) = stream_read_tree (ib, data_in); |
f0efc7aa DN |
696 | } |
697 | ||
698 | ||
699 | /* Read all pointer fields in the TS_DECL_WITH_VIS structure of EXPR | |
700 | from input block IB. DATA_IN contains tables and descriptors for the | |
701 | file being read. */ | |
702 | ||
703 | static void | |
704 | lto_input_ts_decl_with_vis_tree_pointers (struct lto_input_block *ib, | |
705 | struct data_in *data_in, tree expr) | |
706 | { | |
707 | tree id; | |
708 | ||
b9393656 | 709 | id = stream_read_tree (ib, data_in); |
f0efc7aa DN |
710 | if (id) |
711 | { | |
712 | gcc_assert (TREE_CODE (id) == IDENTIFIER_NODE); | |
713 | SET_DECL_ASSEMBLER_NAME (expr, id); | |
714 | } | |
715 | ||
b9393656 DN |
716 | DECL_SECTION_NAME (expr) = stream_read_tree (ib, data_in); |
717 | DECL_COMDAT_GROUP (expr) = stream_read_tree (ib, data_in); | |
f0efc7aa DN |
718 | } |
719 | ||
720 | ||
721 | /* Read all pointer fields in the TS_FIELD_DECL structure of EXPR from | |
722 | input block IB. DATA_IN contains tables and descriptors for the | |
723 | file being read. */ | |
724 | ||
725 | static void | |
726 | lto_input_ts_field_decl_tree_pointers (struct lto_input_block *ib, | |
727 | struct data_in *data_in, tree expr) | |
728 | { | |
b9393656 DN |
729 | DECL_FIELD_OFFSET (expr) = stream_read_tree (ib, data_in); |
730 | DECL_BIT_FIELD_TYPE (expr) = stream_read_tree (ib, data_in); | |
26c71b93 | 731 | DECL_BIT_FIELD_REPRESENTATIVE (expr) = stream_read_tree (ib, data_in); |
b9393656 DN |
732 | DECL_FIELD_BIT_OFFSET (expr) = stream_read_tree (ib, data_in); |
733 | DECL_FCONTEXT (expr) = stream_read_tree (ib, data_in); | |
f0efc7aa DN |
734 | } |
735 | ||
736 | ||
737 | /* Read all pointer fields in the TS_FUNCTION_DECL structure of EXPR | |
738 | from input block IB. DATA_IN contains tables and descriptors for the | |
739 | file being read. */ | |
740 | ||
741 | static void | |
742 | lto_input_ts_function_decl_tree_pointers (struct lto_input_block *ib, | |
743 | struct data_in *data_in, tree expr) | |
744 | { | |
745 | /* DECL_STRUCT_FUNCTION is handled by lto_input_function. FIXME lto, | |
746 | maybe it should be handled here? */ | |
b9393656 DN |
747 | DECL_FUNCTION_PERSONALITY (expr) = stream_read_tree (ib, data_in); |
748 | DECL_FUNCTION_SPECIFIC_TARGET (expr) = stream_read_tree (ib, data_in); | |
749 | DECL_FUNCTION_SPECIFIC_OPTIMIZATION (expr) = stream_read_tree (ib, data_in); | |
f0efc7aa DN |
750 | |
751 | /* If the file contains a function with an EH personality set, | |
752 | then it was compiled with -fexceptions. In that case, initialize | |
753 | the backend EH machinery. */ | |
754 | if (DECL_FUNCTION_PERSONALITY (expr)) | |
755 | lto_init_eh (); | |
756 | } | |
757 | ||
758 | ||
759 | /* Read all pointer fields in the TS_TYPE_COMMON structure of EXPR from | |
760 | input block IB. DATA_IN contains tables and descriptors for the file | |
761 | being read. */ | |
762 | ||
763 | static void | |
764 | lto_input_ts_type_common_tree_pointers (struct lto_input_block *ib, | |
765 | struct data_in *data_in, tree expr) | |
766 | { | |
b9393656 DN |
767 | TYPE_SIZE (expr) = stream_read_tree (ib, data_in); |
768 | TYPE_SIZE_UNIT (expr) = stream_read_tree (ib, data_in); | |
769 | TYPE_ATTRIBUTES (expr) = stream_read_tree (ib, data_in); | |
770 | TYPE_NAME (expr) = stream_read_tree (ib, data_in); | |
f0efc7aa DN |
771 | /* Do not stream TYPE_POINTER_TO or TYPE_REFERENCE_TO. They will be |
772 | reconstructed during fixup. */ | |
773 | /* Do not stream TYPE_NEXT_VARIANT, we reconstruct the variant lists | |
774 | during fixup. */ | |
b9393656 DN |
775 | TYPE_MAIN_VARIANT (expr) = stream_read_tree (ib, data_in); |
776 | TYPE_CONTEXT (expr) = stream_read_tree (ib, data_in); | |
f0efc7aa DN |
777 | /* TYPE_CANONICAL gets re-computed during type merging. */ |
778 | TYPE_CANONICAL (expr) = NULL_TREE; | |
b9393656 | 779 | TYPE_STUB_DECL (expr) = stream_read_tree (ib, data_in); |
f0efc7aa DN |
780 | } |
781 | ||
782 | /* Read all pointer fields in the TS_TYPE_NON_COMMON structure of EXPR | |
783 | from input block IB. DATA_IN contains tables and descriptors for the | |
784 | file being read. */ | |
785 | ||
786 | static void | |
787 | lto_input_ts_type_non_common_tree_pointers (struct lto_input_block *ib, | |
788 | struct data_in *data_in, | |
789 | tree expr) | |
790 | { | |
791 | if (TREE_CODE (expr) == ENUMERAL_TYPE) | |
b9393656 | 792 | TYPE_VALUES (expr) = stream_read_tree (ib, data_in); |
f0efc7aa | 793 | else if (TREE_CODE (expr) == ARRAY_TYPE) |
b9393656 | 794 | TYPE_DOMAIN (expr) = stream_read_tree (ib, data_in); |
f0efc7aa | 795 | else if (RECORD_OR_UNION_TYPE_P (expr)) |
4acd1c84 | 796 | TYPE_FIELDS (expr) = streamer_read_chain (ib, data_in); |
f0efc7aa DN |
797 | else if (TREE_CODE (expr) == FUNCTION_TYPE |
798 | || TREE_CODE (expr) == METHOD_TYPE) | |
b9393656 | 799 | TYPE_ARG_TYPES (expr) = stream_read_tree (ib, data_in); |
f0efc7aa DN |
800 | |
801 | if (!POINTER_TYPE_P (expr)) | |
b9393656 DN |
802 | TYPE_MINVAL (expr) = stream_read_tree (ib, data_in); |
803 | TYPE_MAXVAL (expr) = stream_read_tree (ib, data_in); | |
f0efc7aa | 804 | if (RECORD_OR_UNION_TYPE_P (expr)) |
b9393656 | 805 | TYPE_BINFO (expr) = stream_read_tree (ib, data_in); |
f0efc7aa DN |
806 | } |
807 | ||
808 | ||
809 | /* Read all pointer fields in the TS_LIST structure of EXPR from input | |
810 | block IB. DATA_IN contains tables and descriptors for the | |
811 | file being read. */ | |
812 | ||
813 | static void | |
814 | lto_input_ts_list_tree_pointers (struct lto_input_block *ib, | |
815 | struct data_in *data_in, tree expr) | |
816 | { | |
b9393656 DN |
817 | TREE_PURPOSE (expr) = stream_read_tree (ib, data_in); |
818 | TREE_VALUE (expr) = stream_read_tree (ib, data_in); | |
ee03e71d | 819 | TREE_CHAIN (expr) = stream_read_tree (ib, data_in); |
f0efc7aa DN |
820 | } |
821 | ||
822 | ||
823 | /* Read all pointer fields in the TS_VEC structure of EXPR from input | |
824 | block IB. DATA_IN contains tables and descriptors for the | |
825 | file being read. */ | |
826 | ||
827 | static void | |
828 | lto_input_ts_vec_tree_pointers (struct lto_input_block *ib, | |
829 | struct data_in *data_in, tree expr) | |
830 | { | |
831 | int i; | |
832 | ||
412288f1 | 833 | /* Note that TREE_VEC_LENGTH was read by streamer_alloc_tree to |
f0efc7aa DN |
834 | instantiate EXPR. */ |
835 | for (i = 0; i < TREE_VEC_LENGTH (expr); i++) | |
b9393656 | 836 | TREE_VEC_ELT (expr, i) = stream_read_tree (ib, data_in); |
f0efc7aa DN |
837 | } |
838 | ||
839 | ||
840 | /* Read all pointer fields in the TS_EXP structure of EXPR from input | |
841 | block IB. DATA_IN contains tables and descriptors for the | |
842 | file being read. */ | |
843 | ||
844 | ||
845 | static void | |
846 | lto_input_ts_exp_tree_pointers (struct lto_input_block *ib, | |
847 | struct data_in *data_in, tree expr) | |
848 | { | |
0127aae4 | 849 | int i; |
f0efc7aa | 850 | |
0127aae4 | 851 | for (i = 0; i < TREE_OPERAND_LENGTH (expr); i++) |
b9393656 | 852 | TREE_OPERAND (expr, i) = stream_read_tree (ib, data_in); |
f0efc7aa | 853 | |
5368224f | 854 | TREE_SET_BLOCK (expr, stream_read_tree (ib, data_in)); |
f0efc7aa DN |
855 | } |
856 | ||
857 | ||
858 | /* Read all pointer fields in the TS_BLOCK structure of EXPR from input | |
859 | block IB. DATA_IN contains tables and descriptors for the | |
860 | file being read. */ | |
861 | ||
862 | static void | |
863 | lto_input_ts_block_tree_pointers (struct lto_input_block *ib, | |
864 | struct data_in *data_in, tree expr) | |
865 | { | |
412288f1 | 866 | BLOCK_VARS (expr) = streamer_read_chain (ib, data_in); |
f0efc7aa | 867 | |
b9393656 | 868 | BLOCK_SUPERCONTEXT (expr) = stream_read_tree (ib, data_in); |
f0efc7aa | 869 | |
5c1eb617 RG |
870 | /* Stream BLOCK_ABSTRACT_ORIGIN and BLOCK_SOURCE_LOCATION for |
871 | the limited cases we can handle - those that represent inlined | |
872 | function scopes. For the rest them on the floor instead of ICEing in | |
f0efc7aa | 873 | dwarf2out.c. */ |
5c1eb617 | 874 | BLOCK_ABSTRACT_ORIGIN (expr) = stream_read_tree (ib, data_in); |
5c1eb617 RG |
875 | /* Do not stream BLOCK_NONLOCALIZED_VARS. We cannot handle debug information |
876 | for early inlined BLOCKs so drop it on the floor instead of ICEing in | |
877 | dwarf2out.c. */ | |
878 | ||
879 | /* BLOCK_FRAGMENT_ORIGIN and BLOCK_FRAGMENT_CHAIN is not live at LTO | |
880 | streaming time. */ | |
f0efc7aa DN |
881 | |
882 | /* We re-compute BLOCK_SUBBLOCKS of our parent here instead | |
883 | of streaming it. For non-BLOCK BLOCK_SUPERCONTEXTs we still | |
884 | stream the child relationship explicitly. */ | |
885 | if (BLOCK_SUPERCONTEXT (expr) | |
886 | && TREE_CODE (BLOCK_SUPERCONTEXT (expr)) == BLOCK) | |
887 | { | |
888 | BLOCK_CHAIN (expr) = BLOCK_SUBBLOCKS (BLOCK_SUPERCONTEXT (expr)); | |
889 | BLOCK_SUBBLOCKS (BLOCK_SUPERCONTEXT (expr)) = expr; | |
890 | } | |
891 | ||
892 | /* The global block is rooted at the TU decl. Hook it here to | |
893 | avoid the need to stream in this block during WPA time. */ | |
894 | else if (BLOCK_SUPERCONTEXT (expr) | |
895 | && TREE_CODE (BLOCK_SUPERCONTEXT (expr)) == TRANSLATION_UNIT_DECL) | |
896 | DECL_INITIAL (BLOCK_SUPERCONTEXT (expr)) = expr; | |
897 | ||
898 | /* The function-level block is connected at the time we read in | |
899 | function bodies for the same reason. */ | |
900 | } | |
901 | ||
902 | ||
903 | /* Read all pointer fields in the TS_BINFO structure of EXPR from input | |
904 | block IB. DATA_IN contains tables and descriptors for the | |
905 | file being read. */ | |
906 | ||
907 | static void | |
908 | lto_input_ts_binfo_tree_pointers (struct lto_input_block *ib, | |
909 | struct data_in *data_in, tree expr) | |
910 | { | |
0127aae4 | 911 | unsigned i; |
f0efc7aa DN |
912 | tree t; |
913 | ||
914 | /* Note that the number of slots in EXPR was read in | |
412288f1 | 915 | streamer_alloc_tree when instantiating EXPR. However, the |
9771b263 | 916 | vector is empty so we cannot rely on vec::length to know how many |
f0efc7aa DN |
917 | elements to read. So, this list is emitted as a 0-terminated |
918 | list on the writer side. */ | |
919 | do | |
920 | { | |
b9393656 | 921 | t = stream_read_tree (ib, data_in); |
f0efc7aa | 922 | if (t) |
9771b263 | 923 | BINFO_BASE_BINFOS (expr)->quick_push (t); |
f0efc7aa DN |
924 | } |
925 | while (t); | |
926 | ||
b9393656 DN |
927 | BINFO_OFFSET (expr) = stream_read_tree (ib, data_in); |
928 | BINFO_VTABLE (expr) = stream_read_tree (ib, data_in); | |
b9393656 | 929 | BINFO_VPTR_FIELD (expr) = stream_read_tree (ib, data_in); |
f0efc7aa | 930 | |
0127aae4 RG |
931 | /* The vector of BINFO_BASE_ACCESSES is pre-allocated during |
932 | unpacking the bitfield section. */ | |
9771b263 | 933 | for (i = 0; i < vec_safe_length (BINFO_BASE_ACCESSES (expr)); i++) |
f0efc7aa | 934 | { |
0127aae4 | 935 | tree a = stream_read_tree (ib, data_in); |
9771b263 | 936 | (*BINFO_BASE_ACCESSES (expr))[i] = a; |
f0efc7aa | 937 | } |
184799e7 JH |
938 | /* Do not walk BINFO_INHERITANCE_CHAIN, BINFO_SUBVTT_INDEX |
939 | and BINFO_VPTR_INDEX; these are used by C++ FE only. */ | |
f0efc7aa DN |
940 | } |
941 | ||
942 | ||
943 | /* Read all pointer fields in the TS_CONSTRUCTOR structure of EXPR from | |
944 | input block IB. DATA_IN contains tables and descriptors for the | |
945 | file being read. */ | |
946 | ||
947 | static void | |
948 | lto_input_ts_constructor_tree_pointers (struct lto_input_block *ib, | |
949 | struct data_in *data_in, tree expr) | |
950 | { | |
0127aae4 | 951 | unsigned i; |
f0efc7aa | 952 | |
0127aae4 | 953 | for (i = 0; i < CONSTRUCTOR_NELTS (expr); i++) |
f0efc7aa | 954 | { |
0127aae4 RG |
955 | constructor_elt e; |
956 | e.index = stream_read_tree (ib, data_in); | |
957 | e.value = stream_read_tree (ib, data_in); | |
9771b263 | 958 | (*CONSTRUCTOR_ELTS (expr))[i] = e; |
f0efc7aa DN |
959 | } |
960 | } | |
961 | ||
962 | ||
b9393656 DN |
963 | /* Read all pointer fields in EXPR from input block IB. DATA_IN |
964 | contains tables and descriptors for the file being read. */ | |
f0efc7aa | 965 | |
b9393656 | 966 | void |
412288f1 | 967 | streamer_read_tree_body (struct lto_input_block *ib, struct data_in *data_in, |
f0efc7aa DN |
968 | tree expr) |
969 | { | |
970 | enum tree_code code; | |
971 | ||
972 | code = TREE_CODE (expr); | |
973 | ||
974 | if (CODE_CONTAINS_STRUCT (code, TS_TYPED)) | |
975 | lto_input_ts_common_tree_pointers (ib, data_in, expr); | |
976 | ||
977 | if (CODE_CONTAINS_STRUCT (code, TS_VECTOR)) | |
978 | lto_input_ts_vector_tree_pointers (ib, data_in, expr); | |
979 | ||
980 | if (CODE_CONTAINS_STRUCT (code, TS_COMPLEX)) | |
981 | lto_input_ts_complex_tree_pointers (ib, data_in, expr); | |
982 | ||
983 | if (CODE_CONTAINS_STRUCT (code, TS_DECL_MINIMAL)) | |
984 | lto_input_ts_decl_minimal_tree_pointers (ib, data_in, expr); | |
985 | ||
986 | if (CODE_CONTAINS_STRUCT (code, TS_DECL_COMMON)) | |
987 | lto_input_ts_decl_common_tree_pointers (ib, data_in, expr); | |
988 | ||
989 | if (CODE_CONTAINS_STRUCT (code, TS_DECL_NON_COMMON)) | |
990 | lto_input_ts_decl_non_common_tree_pointers (ib, data_in, expr); | |
991 | ||
992 | if (CODE_CONTAINS_STRUCT (code, TS_DECL_WITH_VIS)) | |
993 | lto_input_ts_decl_with_vis_tree_pointers (ib, data_in, expr); | |
994 | ||
995 | if (CODE_CONTAINS_STRUCT (code, TS_FIELD_DECL)) | |
996 | lto_input_ts_field_decl_tree_pointers (ib, data_in, expr); | |
997 | ||
998 | if (CODE_CONTAINS_STRUCT (code, TS_FUNCTION_DECL)) | |
999 | lto_input_ts_function_decl_tree_pointers (ib, data_in, expr); | |
1000 | ||
1001 | if (CODE_CONTAINS_STRUCT (code, TS_TYPE_COMMON)) | |
1002 | lto_input_ts_type_common_tree_pointers (ib, data_in, expr); | |
1003 | ||
1004 | if (CODE_CONTAINS_STRUCT (code, TS_TYPE_NON_COMMON)) | |
1005 | lto_input_ts_type_non_common_tree_pointers (ib, data_in, expr); | |
1006 | ||
1007 | if (CODE_CONTAINS_STRUCT (code, TS_LIST)) | |
1008 | lto_input_ts_list_tree_pointers (ib, data_in, expr); | |
1009 | ||
1010 | if (CODE_CONTAINS_STRUCT (code, TS_VEC)) | |
1011 | lto_input_ts_vec_tree_pointers (ib, data_in, expr); | |
1012 | ||
1013 | if (CODE_CONTAINS_STRUCT (code, TS_EXP)) | |
1014 | lto_input_ts_exp_tree_pointers (ib, data_in, expr); | |
1015 | ||
1016 | if (CODE_CONTAINS_STRUCT (code, TS_BLOCK)) | |
1017 | lto_input_ts_block_tree_pointers (ib, data_in, expr); | |
1018 | ||
1019 | if (CODE_CONTAINS_STRUCT (code, TS_BINFO)) | |
1020 | lto_input_ts_binfo_tree_pointers (ib, data_in, expr); | |
1021 | ||
1022 | if (CODE_CONTAINS_STRUCT (code, TS_CONSTRUCTOR)) | |
1023 | lto_input_ts_constructor_tree_pointers (ib, data_in, expr); | |
f0efc7aa DN |
1024 | } |
1025 | ||
1026 | ||
f0efc7aa DN |
1027 | /* Read an index IX from input block IB and return the tree node at |
1028 | DATA_IN->FILE_DATA->GLOBALS_INDEX[IX]. */ | |
1029 | ||
b9393656 | 1030 | tree |
412288f1 | 1031 | streamer_get_pickled_tree (struct lto_input_block *ib, struct data_in *data_in) |
f0efc7aa DN |
1032 | { |
1033 | unsigned HOST_WIDE_INT ix; | |
1034 | tree result; | |
1035 | enum LTO_tags expected_tag; | |
1036 | ||
412288f1 DN |
1037 | ix = streamer_read_uhwi (ib); |
1038 | expected_tag = streamer_read_enum (ib, LTO_tags, LTO_NUM_TAGS); | |
f0efc7aa | 1039 | |
ee03e71d | 1040 | result = streamer_tree_cache_get_tree (data_in->reader_cache, ix); |
f0efc7aa DN |
1041 | gcc_assert (result |
1042 | && TREE_CODE (result) == lto_tag_to_tree_code (expected_tag)); | |
1043 | ||
1044 | return result; | |
1045 | } | |
1046 | ||
1047 | ||
1048 | /* Read a code and class from input block IB and return the | |
b9393656 | 1049 | corresponding builtin. DATA_IN is as in stream_read_tree. */ |
f0efc7aa | 1050 | |
b9393656 | 1051 | tree |
412288f1 | 1052 | streamer_get_builtin_tree (struct lto_input_block *ib, struct data_in *data_in) |
f0efc7aa DN |
1053 | { |
1054 | enum built_in_class fclass; | |
1055 | enum built_in_function fcode; | |
1056 | const char *asmname; | |
1057 | tree result; | |
1058 | ||
412288f1 | 1059 | fclass = streamer_read_enum (ib, built_in_class, BUILT_IN_LAST); |
f0efc7aa DN |
1060 | gcc_assert (fclass == BUILT_IN_NORMAL || fclass == BUILT_IN_MD); |
1061 | ||
412288f1 | 1062 | fcode = (enum built_in_function) streamer_read_uhwi (ib); |
f0efc7aa DN |
1063 | |
1064 | if (fclass == BUILT_IN_NORMAL) | |
1065 | { | |
1066 | if (fcode >= END_BUILTINS) | |
1067 | fatal_error ("machine independent builtin code out of range"); | |
e79983f4 | 1068 | result = builtin_decl_explicit (fcode); |
f0efc7aa DN |
1069 | gcc_assert (result); |
1070 | } | |
1071 | else if (fclass == BUILT_IN_MD) | |
1072 | { | |
1073 | result = targetm.builtin_decl (fcode, true); | |
1074 | if (!result || result == error_mark_node) | |
1075 | fatal_error ("target specific builtin not available"); | |
1076 | } | |
1077 | else | |
1078 | gcc_unreachable (); | |
1079 | ||
412288f1 | 1080 | asmname = streamer_read_string (data_in, ib); |
f0efc7aa DN |
1081 | if (asmname) |
1082 | set_builtin_user_assembler_name (result, asmname); | |
1083 | ||
ee03e71d | 1084 | streamer_tree_cache_append (data_in->reader_cache, result, 0); |
f0efc7aa DN |
1085 | |
1086 | return result; | |
1087 | } |