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