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