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