1 //===- MetadataLoader.cpp - Internal BitcodeReader implementation ---------===// 2 // 3 // The LLVM Compiler Infrastructure 4 // 5 // This file is distributed under the University of Illinois Open Source 6 // License. See LICENSE.TXT for details. 7 // 8 //===----------------------------------------------------------------------===// 9 10 #include "MetadataLoader.h" 11 #include "ValueList.h" 12 13 #include "llvm/ADT/APFloat.h" 14 #include "llvm/ADT/APInt.h" 15 #include "llvm/ADT/ArrayRef.h" 16 #include "llvm/ADT/DenseMap.h" 17 #include "llvm/ADT/None.h" 18 #include "llvm/ADT/STLExtras.h" 19 #include "llvm/ADT/SmallString.h" 20 #include "llvm/ADT/SmallVector.h" 21 #include "llvm/ADT/StringRef.h" 22 #include "llvm/ADT/Triple.h" 23 #include "llvm/ADT/Twine.h" 24 #include "llvm/Bitcode/BitcodeReader.h" 25 #include "llvm/Bitcode/BitstreamReader.h" 26 #include "llvm/Bitcode/LLVMBitCodes.h" 27 #include "llvm/IR/Argument.h" 28 #include "llvm/IR/Attributes.h" 29 #include "llvm/IR/AutoUpgrade.h" 30 #include "llvm/IR/BasicBlock.h" 31 #include "llvm/IR/CallSite.h" 32 #include "llvm/IR/CallingConv.h" 33 #include "llvm/IR/Comdat.h" 34 #include "llvm/IR/Constant.h" 35 #include "llvm/IR/Constants.h" 36 #include "llvm/IR/DebugInfo.h" 37 #include "llvm/IR/DebugInfoMetadata.h" 38 #include "llvm/IR/DebugLoc.h" 39 #include "llvm/IR/DerivedTypes.h" 40 #include "llvm/IR/DiagnosticInfo.h" 41 #include "llvm/IR/DiagnosticPrinter.h" 42 #include "llvm/IR/Function.h" 43 #include "llvm/IR/GVMaterializer.h" 44 #include "llvm/IR/GlobalAlias.h" 45 #include "llvm/IR/GlobalIFunc.h" 46 #include "llvm/IR/GlobalIndirectSymbol.h" 47 #include "llvm/IR/GlobalObject.h" 48 #include "llvm/IR/GlobalValue.h" 49 #include "llvm/IR/GlobalVariable.h" 50 #include "llvm/IR/InlineAsm.h" 51 #include "llvm/IR/InstrTypes.h" 52 #include "llvm/IR/Instruction.h" 53 #include "llvm/IR/Instructions.h" 54 #include "llvm/IR/Intrinsics.h" 55 #include "llvm/IR/LLVMContext.h" 56 #include "llvm/IR/Module.h" 57 #include "llvm/IR/ModuleSummaryIndex.h" 58 #include "llvm/IR/OperandTraits.h" 59 #include "llvm/IR/Operator.h" 60 #include "llvm/IR/TrackingMDRef.h" 61 #include "llvm/IR/Type.h" 62 #include "llvm/IR/ValueHandle.h" 63 #include "llvm/Support/AtomicOrdering.h" 64 #include "llvm/Support/Casting.h" 65 #include "llvm/Support/CommandLine.h" 66 #include "llvm/Support/Compiler.h" 67 #include "llvm/Support/Debug.h" 68 #include "llvm/Support/Error.h" 69 #include "llvm/Support/ErrorHandling.h" 70 #include "llvm/Support/ManagedStatic.h" 71 #include "llvm/Support/MemoryBuffer.h" 72 #include "llvm/Support/raw_ostream.h" 73 #include <algorithm> 74 #include <cassert> 75 #include <cstddef> 76 #include <cstdint> 77 #include <deque> 78 #include <limits> 79 #include <map> 80 #include <memory> 81 #include <string> 82 #include <system_error> 83 #include <tuple> 84 #include <utility> 85 #include <vector> 86 87 using namespace llvm; 88 89 /// Flag whether we need to import full type definitions for ThinLTO. 90 /// Currently needed for Darwin and LLDB. 91 static cl::opt<bool> ImportFullTypeDefinitions( 92 "import-full-type-definitions", cl::init(false), cl::Hidden, 93 cl::desc("Import full type definitions for ThinLTO.")); 94 95 namespace { 96 97 static int64_t unrotateSign(uint64_t U) { return U & 1 ? ~(U >> 1) : U >> 1; } 98 99 class BitcodeReaderMetadataList { 100 unsigned NumFwdRefs; 101 bool AnyFwdRefs; 102 unsigned MinFwdRef; 103 unsigned MaxFwdRef; 104 105 /// Array of metadata references. 106 /// 107 /// Don't use std::vector here. Some versions of libc++ copy (instead of 108 /// move) on resize, and TrackingMDRef is very expensive to copy. 109 SmallVector<TrackingMDRef, 1> MetadataPtrs; 110 111 /// Structures for resolving old type refs. 112 struct { 113 SmallDenseMap<MDString *, TempMDTuple, 1> Unknown; 114 SmallDenseMap<MDString *, DICompositeType *, 1> Final; 115 SmallDenseMap<MDString *, DICompositeType *, 1> FwdDecls; 116 SmallVector<std::pair<TrackingMDRef, TempMDTuple>, 1> Arrays; 117 } OldTypeRefs; 118 119 LLVMContext &Context; 120 121 public: 122 BitcodeReaderMetadataList(LLVMContext &C) 123 : NumFwdRefs(0), AnyFwdRefs(false), Context(C) {} 124 125 // vector compatibility methods 126 unsigned size() const { return MetadataPtrs.size(); } 127 void resize(unsigned N) { MetadataPtrs.resize(N); } 128 void push_back(Metadata *MD) { MetadataPtrs.emplace_back(MD); } 129 void clear() { MetadataPtrs.clear(); } 130 Metadata *back() const { return MetadataPtrs.back(); } 131 void pop_back() { MetadataPtrs.pop_back(); } 132 bool empty() const { return MetadataPtrs.empty(); } 133 134 Metadata *operator[](unsigned i) const { 135 assert(i < MetadataPtrs.size()); 136 return MetadataPtrs[i]; 137 } 138 139 Metadata *lookup(unsigned I) const { 140 if (I < MetadataPtrs.size()) 141 return MetadataPtrs[I]; 142 return nullptr; 143 } 144 145 void shrinkTo(unsigned N) { 146 assert(N <= size() && "Invalid shrinkTo request!"); 147 assert(!AnyFwdRefs && "Unexpected forward refs"); 148 MetadataPtrs.resize(N); 149 } 150 151 /// Return the given metadata, creating a replaceable forward reference if 152 /// necessary. 153 Metadata *getMetadataFwdRef(unsigned Idx); 154 155 /// Return the the given metadata only if it is fully resolved. 156 /// 157 /// Gives the same result as \a lookup(), unless \a MDNode::isResolved() 158 /// would give \c false. 159 Metadata *getMetadataIfResolved(unsigned Idx); 160 161 MDNode *getMDNodeFwdRefOrNull(unsigned Idx); 162 void assignValue(Metadata *MD, unsigned Idx); 163 void tryToResolveCycles(); 164 bool hasFwdRefs() const { return AnyFwdRefs; } 165 166 /// Upgrade a type that had an MDString reference. 167 void addTypeRef(MDString &UUID, DICompositeType &CT); 168 169 /// Upgrade a type that had an MDString reference. 170 Metadata *upgradeTypeRef(Metadata *MaybeUUID); 171 172 /// Upgrade a type ref array that may have MDString references. 173 Metadata *upgradeTypeRefArray(Metadata *MaybeTuple); 174 175 private: 176 Metadata *resolveTypeRefArray(Metadata *MaybeTuple); 177 }; 178 179 void BitcodeReaderMetadataList::assignValue(Metadata *MD, unsigned Idx) { 180 if (Idx == size()) { 181 push_back(MD); 182 return; 183 } 184 185 if (Idx >= size()) 186 resize(Idx + 1); 187 188 TrackingMDRef &OldMD = MetadataPtrs[Idx]; 189 if (!OldMD) { 190 OldMD.reset(MD); 191 return; 192 } 193 194 // If there was a forward reference to this value, replace it. 195 TempMDTuple PrevMD(cast<MDTuple>(OldMD.get())); 196 PrevMD->replaceAllUsesWith(MD); 197 --NumFwdRefs; 198 } 199 200 Metadata *BitcodeReaderMetadataList::getMetadataFwdRef(unsigned Idx) { 201 if (Idx >= size()) 202 resize(Idx + 1); 203 204 if (Metadata *MD = MetadataPtrs[Idx]) 205 return MD; 206 207 // Track forward refs to be resolved later. 208 if (AnyFwdRefs) { 209 MinFwdRef = std::min(MinFwdRef, Idx); 210 MaxFwdRef = std::max(MaxFwdRef, Idx); 211 } else { 212 AnyFwdRefs = true; 213 MinFwdRef = MaxFwdRef = Idx; 214 } 215 ++NumFwdRefs; 216 217 // Create and return a placeholder, which will later be RAUW'd. 218 Metadata *MD = MDNode::getTemporary(Context, None).release(); 219 MetadataPtrs[Idx].reset(MD); 220 return MD; 221 } 222 223 Metadata *BitcodeReaderMetadataList::getMetadataIfResolved(unsigned Idx) { 224 Metadata *MD = lookup(Idx); 225 if (auto *N = dyn_cast_or_null<MDNode>(MD)) 226 if (!N->isResolved()) 227 return nullptr; 228 return MD; 229 } 230 231 MDNode *BitcodeReaderMetadataList::getMDNodeFwdRefOrNull(unsigned Idx) { 232 return dyn_cast_or_null<MDNode>(getMetadataFwdRef(Idx)); 233 } 234 235 void BitcodeReaderMetadataList::tryToResolveCycles() { 236 if (NumFwdRefs) 237 // Still forward references... can't resolve cycles. 238 return; 239 240 bool DidReplaceTypeRefs = false; 241 242 // Give up on finding a full definition for any forward decls that remain. 243 for (const auto &Ref : OldTypeRefs.FwdDecls) 244 OldTypeRefs.Final.insert(Ref); 245 OldTypeRefs.FwdDecls.clear(); 246 247 // Upgrade from old type ref arrays. In strange cases, this could add to 248 // OldTypeRefs.Unknown. 249 for (const auto &Array : OldTypeRefs.Arrays) { 250 DidReplaceTypeRefs = true; 251 Array.second->replaceAllUsesWith(resolveTypeRefArray(Array.first.get())); 252 } 253 OldTypeRefs.Arrays.clear(); 254 255 // Replace old string-based type refs with the resolved node, if possible. 256 // If we haven't seen the node, leave it to the verifier to complain about 257 // the invalid string reference. 258 for (const auto &Ref : OldTypeRefs.Unknown) { 259 DidReplaceTypeRefs = true; 260 if (DICompositeType *CT = OldTypeRefs.Final.lookup(Ref.first)) 261 Ref.second->replaceAllUsesWith(CT); 262 else 263 Ref.second->replaceAllUsesWith(Ref.first); 264 } 265 OldTypeRefs.Unknown.clear(); 266 267 // Make sure all the upgraded types are resolved. 268 if (DidReplaceTypeRefs) { 269 AnyFwdRefs = true; 270 MinFwdRef = 0; 271 MaxFwdRef = MetadataPtrs.size() - 1; 272 } 273 274 if (!AnyFwdRefs) 275 // Nothing to do. 276 return; 277 278 // Resolve any cycles. 279 for (unsigned I = MinFwdRef, E = MaxFwdRef + 1; I != E; ++I) { 280 auto &MD = MetadataPtrs[I]; 281 auto *N = dyn_cast_or_null<MDNode>(MD); 282 if (!N) 283 continue; 284 285 assert(!N->isTemporary() && "Unexpected forward reference"); 286 N->resolveCycles(); 287 } 288 289 // Make sure we return early again until there's another forward ref. 290 AnyFwdRefs = false; 291 } 292 293 void BitcodeReaderMetadataList::addTypeRef(MDString &UUID, 294 DICompositeType &CT) { 295 assert(CT.getRawIdentifier() == &UUID && "Mismatched UUID"); 296 if (CT.isForwardDecl()) 297 OldTypeRefs.FwdDecls.insert(std::make_pair(&UUID, &CT)); 298 else 299 OldTypeRefs.Final.insert(std::make_pair(&UUID, &CT)); 300 } 301 302 Metadata *BitcodeReaderMetadataList::upgradeTypeRef(Metadata *MaybeUUID) { 303 auto *UUID = dyn_cast_or_null<MDString>(MaybeUUID); 304 if (LLVM_LIKELY(!UUID)) 305 return MaybeUUID; 306 307 if (auto *CT = OldTypeRefs.Final.lookup(UUID)) 308 return CT; 309 310 auto &Ref = OldTypeRefs.Unknown[UUID]; 311 if (!Ref) 312 Ref = MDNode::getTemporary(Context, None); 313 return Ref.get(); 314 } 315 316 Metadata *BitcodeReaderMetadataList::upgradeTypeRefArray(Metadata *MaybeTuple) { 317 auto *Tuple = dyn_cast_or_null<MDTuple>(MaybeTuple); 318 if (!Tuple || Tuple->isDistinct()) 319 return MaybeTuple; 320 321 // Look through the array immediately if possible. 322 if (!Tuple->isTemporary()) 323 return resolveTypeRefArray(Tuple); 324 325 // Create and return a placeholder to use for now. Eventually 326 // resolveTypeRefArrays() will be resolve this forward reference. 327 OldTypeRefs.Arrays.emplace_back( 328 std::piecewise_construct, std::forward_as_tuple(Tuple), 329 std::forward_as_tuple(MDTuple::getTemporary(Context, None))); 330 return OldTypeRefs.Arrays.back().second.get(); 331 } 332 333 Metadata *BitcodeReaderMetadataList::resolveTypeRefArray(Metadata *MaybeTuple) { 334 auto *Tuple = dyn_cast_or_null<MDTuple>(MaybeTuple); 335 if (!Tuple || Tuple->isDistinct()) 336 return MaybeTuple; 337 338 // Look through the DITypeRefArray, upgrading each DITypeRef. 339 SmallVector<Metadata *, 32> Ops; 340 Ops.reserve(Tuple->getNumOperands()); 341 for (Metadata *MD : Tuple->operands()) 342 Ops.push_back(upgradeTypeRef(MD)); 343 344 return MDTuple::get(Context, Ops); 345 } 346 347 namespace { 348 349 class PlaceholderQueue { 350 // Placeholders would thrash around when moved, so store in a std::deque 351 // instead of some sort of vector. 352 std::deque<DistinctMDOperandPlaceholder> PHs; 353 354 public: 355 DistinctMDOperandPlaceholder &getPlaceholderOp(unsigned ID); 356 void flush(BitcodeReaderMetadataList &MetadataList); 357 }; 358 359 } // end anonymous namespace 360 361 DistinctMDOperandPlaceholder &PlaceholderQueue::getPlaceholderOp(unsigned ID) { 362 PHs.emplace_back(ID); 363 return PHs.back(); 364 } 365 366 void PlaceholderQueue::flush(BitcodeReaderMetadataList &MetadataList) { 367 while (!PHs.empty()) { 368 PHs.front().replaceUseWith( 369 MetadataList.getMetadataFwdRef(PHs.front().getID())); 370 PHs.pop_front(); 371 } 372 } 373 374 } // anonynous namespace 375 376 class MetadataLoader::MetadataLoaderImpl { 377 BitcodeReaderMetadataList MetadataList; 378 BitcodeReaderValueList &ValueList; 379 BitstreamCursor &Stream; 380 LLVMContext &Context; 381 Module &TheModule; 382 std::function<Type *(unsigned)> getTypeByID; 383 384 /// Functions that need to be matched with subprograms when upgrading old 385 /// metadata. 386 SmallDenseMap<Function *, DISubprogram *, 16> FunctionsWithSPs; 387 388 // Map the bitcode's custom MDKind ID to the Module's MDKind ID. 389 DenseMap<unsigned, unsigned> MDKindMap; 390 391 bool StripTBAA = false; 392 bool HasSeenOldLoopTags = false; 393 394 /// True if metadata is being parsed for a module being ThinLTO imported. 395 bool IsImporting = false; 396 397 Error parseMetadataStrings(ArrayRef<uint64_t> Record, StringRef Blob, 398 unsigned &NextMetadataNo); 399 Error parseGlobalObjectAttachment(GlobalObject &GO, 400 ArrayRef<uint64_t> Record); 401 Error parseMetadataKindRecord(SmallVectorImpl<uint64_t> &Record); 402 403 public: 404 MetadataLoaderImpl(BitstreamCursor &Stream, Module &TheModule, 405 BitcodeReaderValueList &ValueList, 406 std::function<Type *(unsigned)> getTypeByID, 407 bool IsImporting) 408 : MetadataList(TheModule.getContext()), ValueList(ValueList), 409 Stream(Stream), Context(TheModule.getContext()), TheModule(TheModule), 410 getTypeByID(getTypeByID), IsImporting(IsImporting) {} 411 412 Error parseMetadata(bool ModuleLevel); 413 414 bool hasFwdRefs() const { return MetadataList.hasFwdRefs(); } 415 Metadata *getMetadataFwdRef(unsigned Idx) { 416 return MetadataList.getMetadataFwdRef(Idx); 417 } 418 419 MDNode *getMDNodeFwdRefOrNull(unsigned Idx) { 420 return MetadataList.getMDNodeFwdRefOrNull(Idx); 421 } 422 423 DISubprogram *lookupSubprogramForFunction(Function *F) { 424 return FunctionsWithSPs.lookup(F); 425 } 426 427 bool hasSeenOldLoopTags() { return HasSeenOldLoopTags; } 428 429 Error parseMetadataAttachment( 430 Function &F, const SmallVectorImpl<Instruction *> &InstructionList); 431 432 Error parseMetadataKinds(); 433 434 void setStripTBAA(bool Value) { StripTBAA = Value; } 435 bool isStrippingTBAA() { return StripTBAA; } 436 437 unsigned size() const { return MetadataList.size(); } 438 void shrinkTo(unsigned N) { MetadataList.shrinkTo(N); } 439 }; 440 441 Error error(const Twine &Message) { 442 return make_error<StringError>( 443 Message, make_error_code(BitcodeError::CorruptedBitcode)); 444 } 445 446 /// Parse a METADATA_BLOCK. If ModuleLevel is true then we are parsing 447 /// module level metadata. 448 Error MetadataLoader::MetadataLoaderImpl::parseMetadata(bool ModuleLevel) { 449 if (!ModuleLevel && MetadataList.hasFwdRefs()) 450 return error("Invalid metadata: fwd refs into function blocks"); 451 452 if (Stream.EnterSubBlock(bitc::METADATA_BLOCK_ID)) 453 return error("Invalid record"); 454 455 unsigned NextMetadataNo = MetadataList.size(); 456 std::vector<std::pair<DICompileUnit *, Metadata *>> CUSubprograms; 457 SmallVector<uint64_t, 64> Record; 458 459 PlaceholderQueue Placeholders; 460 bool IsDistinct; 461 auto getMD = [&](unsigned ID) -> Metadata * { 462 if (!IsDistinct) 463 return MetadataList.getMetadataFwdRef(ID); 464 if (auto *MD = MetadataList.getMetadataIfResolved(ID)) 465 return MD; 466 return &Placeholders.getPlaceholderOp(ID); 467 }; 468 auto getMDOrNull = [&](unsigned ID) -> Metadata * { 469 if (ID) 470 return getMD(ID - 1); 471 return nullptr; 472 }; 473 auto getMDOrNullWithoutPlaceholders = [&](unsigned ID) -> Metadata * { 474 if (ID) 475 return MetadataList.getMetadataFwdRef(ID - 1); 476 return nullptr; 477 }; 478 auto getMDString = [&](unsigned ID) -> MDString * { 479 // This requires that the ID is not really a forward reference. In 480 // particular, the MDString must already have been resolved. 481 return cast_or_null<MDString>(getMDOrNull(ID)); 482 }; 483 484 // Support for old type refs. 485 auto getDITypeRefOrNull = [&](unsigned ID) { 486 return MetadataList.upgradeTypeRef(getMDOrNull(ID)); 487 }; 488 489 #define GET_OR_DISTINCT(CLASS, ARGS) \ 490 (IsDistinct ? CLASS::getDistinct ARGS : CLASS::get ARGS) 491 492 // Read all the records. 493 while (true) { 494 BitstreamEntry Entry = Stream.advanceSkippingSubblocks(); 495 496 switch (Entry.Kind) { 497 case BitstreamEntry::SubBlock: // Handled for us already. 498 case BitstreamEntry::Error: 499 return error("Malformed block"); 500 case BitstreamEntry::EndBlock: 501 // Upgrade old-style CU <-> SP pointers to point from SP to CU. 502 for (auto CU_SP : CUSubprograms) 503 if (auto *SPs = dyn_cast_or_null<MDTuple>(CU_SP.second)) 504 for (auto &Op : SPs->operands()) 505 if (auto *SP = dyn_cast_or_null<MDNode>(Op)) 506 SP->replaceOperandWith(7, CU_SP.first); 507 508 MetadataList.tryToResolveCycles(); 509 Placeholders.flush(MetadataList); 510 return Error::success(); 511 case BitstreamEntry::Record: 512 // The interesting case. 513 break; 514 } 515 516 // Read a record. 517 Record.clear(); 518 StringRef Blob; 519 unsigned Code = Stream.readRecord(Entry.ID, Record, &Blob); 520 IsDistinct = false; 521 switch (Code) { 522 default: // Default behavior: ignore. 523 break; 524 case bitc::METADATA_NAME: { 525 // Read name of the named metadata. 526 SmallString<8> Name(Record.begin(), Record.end()); 527 Record.clear(); 528 Code = Stream.ReadCode(); 529 530 unsigned NextBitCode = Stream.readRecord(Code, Record); 531 if (NextBitCode != bitc::METADATA_NAMED_NODE) 532 return error("METADATA_NAME not followed by METADATA_NAMED_NODE"); 533 534 // Read named metadata elements. 535 unsigned Size = Record.size(); 536 NamedMDNode *NMD = TheModule.getOrInsertNamedMetadata(Name); 537 for (unsigned i = 0; i != Size; ++i) { 538 MDNode *MD = MetadataList.getMDNodeFwdRefOrNull(Record[i]); 539 if (!MD) 540 return error("Invalid record"); 541 NMD->addOperand(MD); 542 } 543 break; 544 } 545 case bitc::METADATA_OLD_FN_NODE: { 546 // FIXME: Remove in 4.0. 547 // This is a LocalAsMetadata record, the only type of function-local 548 // metadata. 549 if (Record.size() % 2 == 1) 550 return error("Invalid record"); 551 552 // If this isn't a LocalAsMetadata record, we're dropping it. This used 553 // to be legal, but there's no upgrade path. 554 auto dropRecord = [&] { 555 MetadataList.assignValue(MDNode::get(Context, None), NextMetadataNo++); 556 }; 557 if (Record.size() != 2) { 558 dropRecord(); 559 break; 560 } 561 562 Type *Ty = getTypeByID(Record[0]); 563 if (Ty->isMetadataTy() || Ty->isVoidTy()) { 564 dropRecord(); 565 break; 566 } 567 568 MetadataList.assignValue( 569 LocalAsMetadata::get(ValueList.getValueFwdRef(Record[1], Ty)), 570 NextMetadataNo++); 571 break; 572 } 573 case bitc::METADATA_OLD_NODE: { 574 // FIXME: Remove in 4.0. 575 if (Record.size() % 2 == 1) 576 return error("Invalid record"); 577 578 unsigned Size = Record.size(); 579 SmallVector<Metadata *, 8> Elts; 580 for (unsigned i = 0; i != Size; i += 2) { 581 Type *Ty = getTypeByID(Record[i]); 582 if (!Ty) 583 return error("Invalid record"); 584 if (Ty->isMetadataTy()) 585 Elts.push_back(getMD(Record[i + 1])); 586 else if (!Ty->isVoidTy()) { 587 auto *MD = 588 ValueAsMetadata::get(ValueList.getValueFwdRef(Record[i + 1], Ty)); 589 assert(isa<ConstantAsMetadata>(MD) && 590 "Expected non-function-local metadata"); 591 Elts.push_back(MD); 592 } else 593 Elts.push_back(nullptr); 594 } 595 MetadataList.assignValue(MDNode::get(Context, Elts), NextMetadataNo++); 596 break; 597 } 598 case bitc::METADATA_VALUE: { 599 if (Record.size() != 2) 600 return error("Invalid record"); 601 602 Type *Ty = getTypeByID(Record[0]); 603 if (Ty->isMetadataTy() || Ty->isVoidTy()) 604 return error("Invalid record"); 605 606 MetadataList.assignValue( 607 ValueAsMetadata::get(ValueList.getValueFwdRef(Record[1], Ty)), 608 NextMetadataNo++); 609 break; 610 } 611 case bitc::METADATA_DISTINCT_NODE: 612 IsDistinct = true; 613 LLVM_FALLTHROUGH; 614 case bitc::METADATA_NODE: { 615 SmallVector<Metadata *, 8> Elts; 616 Elts.reserve(Record.size()); 617 for (unsigned ID : Record) 618 Elts.push_back(getMDOrNull(ID)); 619 MetadataList.assignValue(IsDistinct ? MDNode::getDistinct(Context, Elts) 620 : MDNode::get(Context, Elts), 621 NextMetadataNo++); 622 break; 623 } 624 case bitc::METADATA_LOCATION: { 625 if (Record.size() != 5) 626 return error("Invalid record"); 627 628 IsDistinct = Record[0]; 629 unsigned Line = Record[1]; 630 unsigned Column = Record[2]; 631 Metadata *Scope = getMD(Record[3]); 632 Metadata *InlinedAt = getMDOrNull(Record[4]); 633 MetadataList.assignValue( 634 GET_OR_DISTINCT(DILocation, 635 (Context, Line, Column, Scope, InlinedAt)), 636 NextMetadataNo++); 637 break; 638 } 639 case bitc::METADATA_GENERIC_DEBUG: { 640 if (Record.size() < 4) 641 return error("Invalid record"); 642 643 IsDistinct = Record[0]; 644 unsigned Tag = Record[1]; 645 unsigned Version = Record[2]; 646 647 if (Tag >= 1u << 16 || Version != 0) 648 return error("Invalid record"); 649 650 auto *Header = getMDString(Record[3]); 651 SmallVector<Metadata *, 8> DwarfOps; 652 for (unsigned I = 4, E = Record.size(); I != E; ++I) 653 DwarfOps.push_back(getMDOrNull(Record[I])); 654 MetadataList.assignValue( 655 GET_OR_DISTINCT(GenericDINode, (Context, Tag, Header, DwarfOps)), 656 NextMetadataNo++); 657 break; 658 } 659 case bitc::METADATA_SUBRANGE: { 660 if (Record.size() != 3) 661 return error("Invalid record"); 662 663 IsDistinct = Record[0]; 664 MetadataList.assignValue( 665 GET_OR_DISTINCT(DISubrange, 666 (Context, Record[1], unrotateSign(Record[2]))), 667 NextMetadataNo++); 668 break; 669 } 670 case bitc::METADATA_ENUMERATOR: { 671 if (Record.size() != 3) 672 return error("Invalid record"); 673 674 IsDistinct = Record[0]; 675 MetadataList.assignValue( 676 GET_OR_DISTINCT(DIEnumerator, (Context, unrotateSign(Record[1]), 677 getMDString(Record[2]))), 678 NextMetadataNo++); 679 break; 680 } 681 case bitc::METADATA_BASIC_TYPE: { 682 if (Record.size() != 6) 683 return error("Invalid record"); 684 685 IsDistinct = Record[0]; 686 MetadataList.assignValue( 687 GET_OR_DISTINCT(DIBasicType, 688 (Context, Record[1], getMDString(Record[2]), 689 Record[3], Record[4], Record[5])), 690 NextMetadataNo++); 691 break; 692 } 693 case bitc::METADATA_DERIVED_TYPE: { 694 if (Record.size() != 12) 695 return error("Invalid record"); 696 697 IsDistinct = Record[0]; 698 DINode::DIFlags Flags = static_cast<DINode::DIFlags>(Record[10]); 699 MetadataList.assignValue( 700 GET_OR_DISTINCT(DIDerivedType, 701 (Context, Record[1], getMDString(Record[2]), 702 getMDOrNull(Record[3]), Record[4], 703 getDITypeRefOrNull(Record[5]), 704 getDITypeRefOrNull(Record[6]), Record[7], Record[8], 705 Record[9], Flags, getDITypeRefOrNull(Record[11]))), 706 NextMetadataNo++); 707 break; 708 } 709 case bitc::METADATA_COMPOSITE_TYPE: { 710 if (Record.size() != 16) 711 return error("Invalid record"); 712 713 // If we have a UUID and this is not a forward declaration, lookup the 714 // mapping. 715 IsDistinct = Record[0] & 0x1; 716 bool IsNotUsedInTypeRef = Record[0] >= 2; 717 unsigned Tag = Record[1]; 718 MDString *Name = getMDString(Record[2]); 719 Metadata *File = getMDOrNull(Record[3]); 720 unsigned Line = Record[4]; 721 Metadata *Scope = getDITypeRefOrNull(Record[5]); 722 Metadata *BaseType = nullptr; 723 uint64_t SizeInBits = Record[7]; 724 if (Record[8] > (uint64_t)std::numeric_limits<uint32_t>::max()) 725 return error("Alignment value is too large"); 726 uint32_t AlignInBits = Record[8]; 727 uint64_t OffsetInBits = 0; 728 DINode::DIFlags Flags = static_cast<DINode::DIFlags>(Record[10]); 729 Metadata *Elements = nullptr; 730 unsigned RuntimeLang = Record[12]; 731 Metadata *VTableHolder = nullptr; 732 Metadata *TemplateParams = nullptr; 733 auto *Identifier = getMDString(Record[15]); 734 // If this module is being parsed so that it can be ThinLTO imported 735 // into another module, composite types only need to be imported 736 // as type declarations (unless full type definitions requested). 737 // Create type declarations up front to save memory. Also, buildODRType 738 // handles the case where this is type ODRed with a definition needed 739 // by the importing module, in which case the existing definition is 740 // used. 741 if (IsImporting && !ImportFullTypeDefinitions && 742 (Tag == dwarf::DW_TAG_enumeration_type || 743 Tag == dwarf::DW_TAG_class_type || 744 Tag == dwarf::DW_TAG_structure_type || 745 Tag == dwarf::DW_TAG_union_type)) { 746 Flags = Flags | DINode::FlagFwdDecl; 747 } else { 748 BaseType = getDITypeRefOrNull(Record[6]); 749 OffsetInBits = Record[9]; 750 Elements = getMDOrNull(Record[11]); 751 VTableHolder = getDITypeRefOrNull(Record[13]); 752 TemplateParams = getMDOrNull(Record[14]); 753 } 754 DICompositeType *CT = nullptr; 755 if (Identifier) 756 CT = DICompositeType::buildODRType( 757 Context, *Identifier, Tag, Name, File, Line, Scope, BaseType, 758 SizeInBits, AlignInBits, OffsetInBits, Flags, Elements, RuntimeLang, 759 VTableHolder, TemplateParams); 760 761 // Create a node if we didn't get a lazy ODR type. 762 if (!CT) 763 CT = GET_OR_DISTINCT(DICompositeType, 764 (Context, Tag, Name, File, Line, Scope, BaseType, 765 SizeInBits, AlignInBits, OffsetInBits, Flags, 766 Elements, RuntimeLang, VTableHolder, 767 TemplateParams, Identifier)); 768 if (!IsNotUsedInTypeRef && Identifier) 769 MetadataList.addTypeRef(*Identifier, *cast<DICompositeType>(CT)); 770 771 MetadataList.assignValue(CT, NextMetadataNo++); 772 break; 773 } 774 case bitc::METADATA_SUBROUTINE_TYPE: { 775 if (Record.size() < 3 || Record.size() > 4) 776 return error("Invalid record"); 777 bool IsOldTypeRefArray = Record[0] < 2; 778 unsigned CC = (Record.size() > 3) ? Record[3] : 0; 779 780 IsDistinct = Record[0] & 0x1; 781 DINode::DIFlags Flags = static_cast<DINode::DIFlags>(Record[1]); 782 Metadata *Types = getMDOrNull(Record[2]); 783 if (LLVM_UNLIKELY(IsOldTypeRefArray)) 784 Types = MetadataList.upgradeTypeRefArray(Types); 785 786 MetadataList.assignValue( 787 GET_OR_DISTINCT(DISubroutineType, (Context, Flags, CC, Types)), 788 NextMetadataNo++); 789 break; 790 } 791 792 case bitc::METADATA_MODULE: { 793 if (Record.size() != 6) 794 return error("Invalid record"); 795 796 IsDistinct = Record[0]; 797 MetadataList.assignValue( 798 GET_OR_DISTINCT(DIModule, 799 (Context, getMDOrNull(Record[1]), 800 getMDString(Record[2]), getMDString(Record[3]), 801 getMDString(Record[4]), getMDString(Record[5]))), 802 NextMetadataNo++); 803 break; 804 } 805 806 case bitc::METADATA_FILE: { 807 if (Record.size() != 3) 808 return error("Invalid record"); 809 810 IsDistinct = Record[0]; 811 MetadataList.assignValue( 812 GET_OR_DISTINCT(DIFile, (Context, getMDString(Record[1]), 813 getMDString(Record[2]))), 814 NextMetadataNo++); 815 break; 816 } 817 case bitc::METADATA_COMPILE_UNIT: { 818 if (Record.size() < 14 || Record.size() > 17) 819 return error("Invalid record"); 820 821 // Ignore Record[0], which indicates whether this compile unit is 822 // distinct. It's always distinct. 823 IsDistinct = true; 824 auto *CU = DICompileUnit::getDistinct( 825 Context, Record[1], getMDOrNull(Record[2]), getMDString(Record[3]), 826 Record[4], getMDString(Record[5]), Record[6], getMDString(Record[7]), 827 Record[8], getMDOrNull(Record[9]), getMDOrNull(Record[10]), 828 getMDOrNull(Record[12]), getMDOrNull(Record[13]), 829 Record.size() <= 15 ? nullptr : getMDOrNull(Record[15]), 830 Record.size() <= 14 ? 0 : Record[14], 831 Record.size() <= 16 ? true : Record[16]); 832 833 MetadataList.assignValue(CU, NextMetadataNo++); 834 835 // Move the Upgrade the list of subprograms. 836 if (Metadata *SPs = getMDOrNullWithoutPlaceholders(Record[11])) 837 CUSubprograms.push_back({CU, SPs}); 838 break; 839 } 840 case bitc::METADATA_SUBPROGRAM: { 841 if (Record.size() < 18 || Record.size() > 20) 842 return error("Invalid record"); 843 844 IsDistinct = 845 (Record[0] & 1) || Record[8]; // All definitions should be distinct. 846 // Version 1 has a Function as Record[15]. 847 // Version 2 has removed Record[15]. 848 // Version 3 has the Unit as Record[15]. 849 // Version 4 added thisAdjustment. 850 bool HasUnit = Record[0] >= 2; 851 if (HasUnit && Record.size() < 19) 852 return error("Invalid record"); 853 Metadata *CUorFn = getMDOrNull(Record[15]); 854 unsigned Offset = Record.size() >= 19 ? 1 : 0; 855 bool HasFn = Offset && !HasUnit; 856 bool HasThisAdj = Record.size() >= 20; 857 DISubprogram *SP = GET_OR_DISTINCT( 858 DISubprogram, (Context, 859 getDITypeRefOrNull(Record[1]), // scope 860 getMDString(Record[2]), // name 861 getMDString(Record[3]), // linkageName 862 getMDOrNull(Record[4]), // file 863 Record[5], // line 864 getMDOrNull(Record[6]), // type 865 Record[7], // isLocal 866 Record[8], // isDefinition 867 Record[9], // scopeLine 868 getDITypeRefOrNull(Record[10]), // containingType 869 Record[11], // virtuality 870 Record[12], // virtualIndex 871 HasThisAdj ? Record[19] : 0, // thisAdjustment 872 static_cast<DINode::DIFlags>(Record[13] // flags 873 ), 874 Record[14], // isOptimized 875 HasUnit ? CUorFn : nullptr, // unit 876 getMDOrNull(Record[15 + Offset]), // templateParams 877 getMDOrNull(Record[16 + Offset]), // declaration 878 getMDOrNull(Record[17 + Offset]) // variables 879 )); 880 MetadataList.assignValue(SP, NextMetadataNo++); 881 882 // Upgrade sp->function mapping to function->sp mapping. 883 if (HasFn) { 884 if (auto *CMD = dyn_cast_or_null<ConstantAsMetadata>(CUorFn)) 885 if (auto *F = dyn_cast<Function>(CMD->getValue())) { 886 if (F->isMaterializable()) 887 // Defer until materialized; unmaterialized functions may not have 888 // metadata. 889 FunctionsWithSPs[F] = SP; 890 else if (!F->empty()) 891 F->setSubprogram(SP); 892 } 893 } 894 break; 895 } 896 case bitc::METADATA_LEXICAL_BLOCK: { 897 if (Record.size() != 5) 898 return error("Invalid record"); 899 900 IsDistinct = Record[0]; 901 MetadataList.assignValue( 902 GET_OR_DISTINCT(DILexicalBlock, 903 (Context, getMDOrNull(Record[1]), 904 getMDOrNull(Record[2]), Record[3], Record[4])), 905 NextMetadataNo++); 906 break; 907 } 908 case bitc::METADATA_LEXICAL_BLOCK_FILE: { 909 if (Record.size() != 4) 910 return error("Invalid record"); 911 912 IsDistinct = Record[0]; 913 MetadataList.assignValue( 914 GET_OR_DISTINCT(DILexicalBlockFile, 915 (Context, getMDOrNull(Record[1]), 916 getMDOrNull(Record[2]), Record[3])), 917 NextMetadataNo++); 918 break; 919 } 920 case bitc::METADATA_NAMESPACE: { 921 if (Record.size() != 5) 922 return error("Invalid record"); 923 924 IsDistinct = Record[0] & 1; 925 bool ExportSymbols = Record[0] & 2; 926 MetadataList.assignValue( 927 GET_OR_DISTINCT(DINamespace, 928 (Context, getMDOrNull(Record[1]), 929 getMDOrNull(Record[2]), getMDString(Record[3]), 930 Record[4], ExportSymbols)), 931 NextMetadataNo++); 932 break; 933 } 934 case bitc::METADATA_MACRO: { 935 if (Record.size() != 5) 936 return error("Invalid record"); 937 938 IsDistinct = Record[0]; 939 MetadataList.assignValue( 940 GET_OR_DISTINCT(DIMacro, 941 (Context, Record[1], Record[2], 942 getMDString(Record[3]), getMDString(Record[4]))), 943 NextMetadataNo++); 944 break; 945 } 946 case bitc::METADATA_MACRO_FILE: { 947 if (Record.size() != 5) 948 return error("Invalid record"); 949 950 IsDistinct = Record[0]; 951 MetadataList.assignValue( 952 GET_OR_DISTINCT(DIMacroFile, 953 (Context, Record[1], Record[2], 954 getMDOrNull(Record[3]), getMDOrNull(Record[4]))), 955 NextMetadataNo++); 956 break; 957 } 958 case bitc::METADATA_TEMPLATE_TYPE: { 959 if (Record.size() != 3) 960 return error("Invalid record"); 961 962 IsDistinct = Record[0]; 963 MetadataList.assignValue(GET_OR_DISTINCT(DITemplateTypeParameter, 964 (Context, getMDString(Record[1]), 965 getDITypeRefOrNull(Record[2]))), 966 NextMetadataNo++); 967 break; 968 } 969 case bitc::METADATA_TEMPLATE_VALUE: { 970 if (Record.size() != 5) 971 return error("Invalid record"); 972 973 IsDistinct = Record[0]; 974 MetadataList.assignValue( 975 GET_OR_DISTINCT(DITemplateValueParameter, 976 (Context, Record[1], getMDString(Record[2]), 977 getDITypeRefOrNull(Record[3]), 978 getMDOrNull(Record[4]))), 979 NextMetadataNo++); 980 break; 981 } 982 case bitc::METADATA_GLOBAL_VAR: { 983 if (Record.size() < 11 || Record.size() > 12) 984 return error("Invalid record"); 985 986 IsDistinct = Record[0] & 1; 987 unsigned Version = Record[0] >> 1; 988 989 if (Version == 1) { 990 MetadataList.assignValue( 991 GET_OR_DISTINCT(DIGlobalVariable, 992 (Context, getMDOrNull(Record[1]), 993 getMDString(Record[2]), getMDString(Record[3]), 994 getMDOrNull(Record[4]), Record[5], 995 getDITypeRefOrNull(Record[6]), Record[7], 996 Record[8], getMDOrNull(Record[10]), Record[11])), 997 NextMetadataNo++); 998 } else if (Version == 0) { 999 // Upgrade old metadata, which stored a global variable reference or a 1000 // ConstantInt here. 1001 Metadata *Expr = getMDOrNull(Record[9]); 1002 uint32_t AlignInBits = 0; 1003 if (Record.size() > 11) { 1004 if (Record[11] > (uint64_t)std::numeric_limits<uint32_t>::max()) 1005 return error("Alignment value is too large"); 1006 AlignInBits = Record[11]; 1007 } 1008 GlobalVariable *Attach = nullptr; 1009 if (auto *CMD = dyn_cast_or_null<ConstantAsMetadata>(Expr)) { 1010 if (auto *GV = dyn_cast<GlobalVariable>(CMD->getValue())) { 1011 Attach = GV; 1012 Expr = nullptr; 1013 } else if (auto *CI = dyn_cast<ConstantInt>(CMD->getValue())) { 1014 Expr = DIExpression::get(Context, 1015 {dwarf::DW_OP_constu, CI->getZExtValue(), 1016 dwarf::DW_OP_stack_value}); 1017 } else { 1018 Expr = nullptr; 1019 } 1020 } 1021 DIGlobalVariable *DGV = GET_OR_DISTINCT( 1022 DIGlobalVariable, 1023 (Context, getMDOrNull(Record[1]), getMDString(Record[2]), 1024 getMDString(Record[3]), getMDOrNull(Record[4]), Record[5], 1025 getDITypeRefOrNull(Record[6]), Record[7], Record[8], 1026 getMDOrNull(Record[10]), AlignInBits)); 1027 1028 auto *DGVE = 1029 DIGlobalVariableExpression::getDistinct(Context, DGV, Expr); 1030 MetadataList.assignValue(DGVE, NextMetadataNo++); 1031 if (Attach) 1032 Attach->addDebugInfo(DGVE); 1033 } else 1034 return error("Invalid record"); 1035 1036 break; 1037 } 1038 case bitc::METADATA_LOCAL_VAR: { 1039 // 10th field is for the obseleted 'inlinedAt:' field. 1040 if (Record.size() < 8 || Record.size() > 10) 1041 return error("Invalid record"); 1042 1043 IsDistinct = Record[0] & 1; 1044 bool HasAlignment = Record[0] & 2; 1045 // 2nd field used to be an artificial tag, either DW_TAG_auto_variable or 1046 // DW_TAG_arg_variable, if we have alignment flag encoded it means, that 1047 // this is newer version of record which doesn't have artifical tag. 1048 bool HasTag = !HasAlignment && Record.size() > 8; 1049 DINode::DIFlags Flags = static_cast<DINode::DIFlags>(Record[7 + HasTag]); 1050 uint32_t AlignInBits = 0; 1051 if (HasAlignment) { 1052 if (Record[8 + HasTag] > (uint64_t)std::numeric_limits<uint32_t>::max()) 1053 return error("Alignment value is too large"); 1054 AlignInBits = Record[8 + HasTag]; 1055 } 1056 MetadataList.assignValue( 1057 GET_OR_DISTINCT(DILocalVariable, 1058 (Context, getMDOrNull(Record[1 + HasTag]), 1059 getMDString(Record[2 + HasTag]), 1060 getMDOrNull(Record[3 + HasTag]), Record[4 + HasTag], 1061 getDITypeRefOrNull(Record[5 + HasTag]), 1062 Record[6 + HasTag], Flags, AlignInBits)), 1063 NextMetadataNo++); 1064 break; 1065 } 1066 case bitc::METADATA_EXPRESSION: { 1067 if (Record.size() < 1) 1068 return error("Invalid record"); 1069 1070 IsDistinct = Record[0] & 1; 1071 bool HasOpFragment = Record[0] & 2; 1072 auto Elts = MutableArrayRef<uint64_t>(Record).slice(1); 1073 if (!HasOpFragment) 1074 if (unsigned N = Elts.size()) 1075 if (N >= 3 && Elts[N - 3] == dwarf::DW_OP_bit_piece) 1076 Elts[N - 3] = dwarf::DW_OP_LLVM_fragment; 1077 1078 MetadataList.assignValue( 1079 GET_OR_DISTINCT(DIExpression, 1080 (Context, makeArrayRef(Record).slice(1))), 1081 NextMetadataNo++); 1082 break; 1083 } 1084 case bitc::METADATA_GLOBAL_VAR_EXPR: { 1085 if (Record.size() != 3) 1086 return error("Invalid record"); 1087 1088 IsDistinct = Record[0]; 1089 MetadataList.assignValue(GET_OR_DISTINCT(DIGlobalVariableExpression, 1090 (Context, getMDOrNull(Record[1]), 1091 getMDOrNull(Record[2]))), 1092 NextMetadataNo++); 1093 break; 1094 } 1095 case bitc::METADATA_OBJC_PROPERTY: { 1096 if (Record.size() != 8) 1097 return error("Invalid record"); 1098 1099 IsDistinct = Record[0]; 1100 MetadataList.assignValue( 1101 GET_OR_DISTINCT(DIObjCProperty, 1102 (Context, getMDString(Record[1]), 1103 getMDOrNull(Record[2]), Record[3], 1104 getMDString(Record[4]), getMDString(Record[5]), 1105 Record[6], getDITypeRefOrNull(Record[7]))), 1106 NextMetadataNo++); 1107 break; 1108 } 1109 case bitc::METADATA_IMPORTED_ENTITY: { 1110 if (Record.size() != 6) 1111 return error("Invalid record"); 1112 1113 IsDistinct = Record[0]; 1114 MetadataList.assignValue( 1115 GET_OR_DISTINCT(DIImportedEntity, 1116 (Context, Record[1], getMDOrNull(Record[2]), 1117 getDITypeRefOrNull(Record[3]), Record[4], 1118 getMDString(Record[5]))), 1119 NextMetadataNo++); 1120 break; 1121 } 1122 case bitc::METADATA_STRING_OLD: { 1123 std::string String(Record.begin(), Record.end()); 1124 1125 // Test for upgrading !llvm.loop. 1126 HasSeenOldLoopTags |= mayBeOldLoopAttachmentTag(String); 1127 1128 Metadata *MD = MDString::get(Context, String); 1129 MetadataList.assignValue(MD, NextMetadataNo++); 1130 break; 1131 } 1132 case bitc::METADATA_STRINGS: 1133 if (Error Err = parseMetadataStrings(Record, Blob, NextMetadataNo)) 1134 return Err; 1135 break; 1136 case bitc::METADATA_GLOBAL_DECL_ATTACHMENT: { 1137 if (Record.size() % 2 == 0) 1138 return error("Invalid record"); 1139 unsigned ValueID = Record[0]; 1140 if (ValueID >= ValueList.size()) 1141 return error("Invalid record"); 1142 if (auto *GO = dyn_cast<GlobalObject>(ValueList[ValueID])) 1143 if (Error Err = parseGlobalObjectAttachment( 1144 *GO, ArrayRef<uint64_t>(Record).slice(1))) 1145 return Err; 1146 break; 1147 } 1148 case bitc::METADATA_KIND: { 1149 // Support older bitcode files that had METADATA_KIND records in a 1150 // block with METADATA_BLOCK_ID. 1151 if (Error Err = parseMetadataKindRecord(Record)) 1152 return Err; 1153 break; 1154 } 1155 } 1156 } 1157 #undef GET_OR_DISTINCT 1158 } 1159 1160 Error MetadataLoader::MetadataLoaderImpl::parseMetadataStrings( 1161 ArrayRef<uint64_t> Record, StringRef Blob, unsigned &NextMetadataNo) { 1162 // All the MDStrings in the block are emitted together in a single 1163 // record. The strings are concatenated and stored in a blob along with 1164 // their sizes. 1165 if (Record.size() != 2) 1166 return error("Invalid record: metadata strings layout"); 1167 1168 unsigned NumStrings = Record[0]; 1169 unsigned StringsOffset = Record[1]; 1170 if (!NumStrings) 1171 return error("Invalid record: metadata strings with no strings"); 1172 if (StringsOffset > Blob.size()) 1173 return error("Invalid record: metadata strings corrupt offset"); 1174 1175 StringRef Lengths = Blob.slice(0, StringsOffset); 1176 SimpleBitstreamCursor R(Lengths); 1177 1178 StringRef Strings = Blob.drop_front(StringsOffset); 1179 do { 1180 if (R.AtEndOfStream()) 1181 return error("Invalid record: metadata strings bad length"); 1182 1183 unsigned Size = R.ReadVBR(6); 1184 if (Strings.size() < Size) 1185 return error("Invalid record: metadata strings truncated chars"); 1186 1187 MetadataList.assignValue(MDString::get(Context, Strings.slice(0, Size)), 1188 NextMetadataNo++); 1189 Strings = Strings.drop_front(Size); 1190 } while (--NumStrings); 1191 1192 return Error::success(); 1193 } 1194 1195 Error MetadataLoader::MetadataLoaderImpl::parseGlobalObjectAttachment( 1196 GlobalObject &GO, ArrayRef<uint64_t> Record) { 1197 assert(Record.size() % 2 == 0); 1198 for (unsigned I = 0, E = Record.size(); I != E; I += 2) { 1199 auto K = MDKindMap.find(Record[I]); 1200 if (K == MDKindMap.end()) 1201 return error("Invalid ID"); 1202 MDNode *MD = MetadataList.getMDNodeFwdRefOrNull(Record[I + 1]); 1203 if (!MD) 1204 return error("Invalid metadata attachment"); 1205 GO.addMetadata(K->second, *MD); 1206 } 1207 return Error::success(); 1208 } 1209 1210 /// Parse metadata attachments. 1211 Error MetadataLoader::MetadataLoaderImpl::parseMetadataAttachment( 1212 Function &F, const SmallVectorImpl<Instruction *> &InstructionList) { 1213 if (Stream.EnterSubBlock(bitc::METADATA_ATTACHMENT_ID)) 1214 return error("Invalid record"); 1215 1216 SmallVector<uint64_t, 64> Record; 1217 1218 while (true) { 1219 BitstreamEntry Entry = Stream.advanceSkippingSubblocks(); 1220 1221 switch (Entry.Kind) { 1222 case BitstreamEntry::SubBlock: // Handled for us already. 1223 case BitstreamEntry::Error: 1224 return error("Malformed block"); 1225 case BitstreamEntry::EndBlock: 1226 return Error::success(); 1227 case BitstreamEntry::Record: 1228 // The interesting case. 1229 break; 1230 } 1231 1232 // Read a metadata attachment record. 1233 Record.clear(); 1234 switch (Stream.readRecord(Entry.ID, Record)) { 1235 default: // Default behavior: ignore. 1236 break; 1237 case bitc::METADATA_ATTACHMENT: { 1238 unsigned RecordLength = Record.size(); 1239 if (Record.empty()) 1240 return error("Invalid record"); 1241 if (RecordLength % 2 == 0) { 1242 // A function attachment. 1243 if (Error Err = parseGlobalObjectAttachment(F, Record)) 1244 return Err; 1245 continue; 1246 } 1247 1248 // An instruction attachment. 1249 Instruction *Inst = InstructionList[Record[0]]; 1250 for (unsigned i = 1; i != RecordLength; i = i + 2) { 1251 unsigned Kind = Record[i]; 1252 DenseMap<unsigned, unsigned>::iterator I = MDKindMap.find(Kind); 1253 if (I == MDKindMap.end()) 1254 return error("Invalid ID"); 1255 if (I->second == LLVMContext::MD_tbaa && StripTBAA) 1256 continue; 1257 1258 Metadata *Node = MetadataList.getMetadataFwdRef(Record[i + 1]); 1259 if (isa<LocalAsMetadata>(Node)) 1260 // Drop the attachment. This used to be legal, but there's no 1261 // upgrade path. 1262 break; 1263 MDNode *MD = dyn_cast_or_null<MDNode>(Node); 1264 if (!MD) 1265 return error("Invalid metadata attachment"); 1266 1267 if (HasSeenOldLoopTags && I->second == LLVMContext::MD_loop) 1268 MD = upgradeInstructionLoopAttachment(*MD); 1269 1270 if (I->second == LLVMContext::MD_tbaa) { 1271 assert(!MD->isTemporary() && "should load MDs before attachments"); 1272 MD = UpgradeTBAANode(*MD); 1273 } 1274 Inst->setMetadata(I->second, MD); 1275 } 1276 break; 1277 } 1278 } 1279 } 1280 } 1281 1282 /// Parse a single METADATA_KIND record, inserting result in MDKindMap. 1283 Error MetadataLoader::MetadataLoaderImpl::parseMetadataKindRecord( 1284 SmallVectorImpl<uint64_t> &Record) { 1285 if (Record.size() < 2) 1286 return error("Invalid record"); 1287 1288 unsigned Kind = Record[0]; 1289 SmallString<8> Name(Record.begin() + 1, Record.end()); 1290 1291 unsigned NewKind = TheModule.getMDKindID(Name.str()); 1292 if (!MDKindMap.insert(std::make_pair(Kind, NewKind)).second) 1293 return error("Conflicting METADATA_KIND records"); 1294 return Error::success(); 1295 } 1296 1297 /// Parse the metadata kinds out of the METADATA_KIND_BLOCK. 1298 Error MetadataLoader::MetadataLoaderImpl::parseMetadataKinds() { 1299 if (Stream.EnterSubBlock(bitc::METADATA_KIND_BLOCK_ID)) 1300 return error("Invalid record"); 1301 1302 SmallVector<uint64_t, 64> Record; 1303 1304 // Read all the records. 1305 while (true) { 1306 BitstreamEntry Entry = Stream.advanceSkippingSubblocks(); 1307 1308 switch (Entry.Kind) { 1309 case BitstreamEntry::SubBlock: // Handled for us already. 1310 case BitstreamEntry::Error: 1311 return error("Malformed block"); 1312 case BitstreamEntry::EndBlock: 1313 return Error::success(); 1314 case BitstreamEntry::Record: 1315 // The interesting case. 1316 break; 1317 } 1318 1319 // Read a record. 1320 Record.clear(); 1321 unsigned Code = Stream.readRecord(Entry.ID, Record); 1322 switch (Code) { 1323 default: // Default behavior: ignore. 1324 break; 1325 case bitc::METADATA_KIND: { 1326 if (Error Err = parseMetadataKindRecord(Record)) 1327 return Err; 1328 break; 1329 } 1330 } 1331 } 1332 } 1333 1334 MetadataLoader &MetadataLoader::operator=(MetadataLoader &&RHS) { 1335 Pimpl = std::move(RHS.Pimpl); 1336 return *this; 1337 } 1338 MetadataLoader::MetadataLoader(MetadataLoader &&RHS) 1339 : Pimpl(std::move(RHS.Pimpl)) {} 1340 1341 MetadataLoader::~MetadataLoader() = default; 1342 MetadataLoader::MetadataLoader(BitstreamCursor &Stream, Module &TheModule, 1343 BitcodeReaderValueList &ValueList, 1344 bool IsImporting, 1345 std::function<Type *(unsigned)> getTypeByID) 1346 : Pimpl(llvm::make_unique<MetadataLoaderImpl>(Stream, TheModule, ValueList, 1347 getTypeByID, IsImporting)) {} 1348 1349 Error MetadataLoader::parseMetadata(bool ModuleLevel) { 1350 return Pimpl->parseMetadata(ModuleLevel); 1351 } 1352 1353 bool MetadataLoader::hasFwdRefs() const { return Pimpl->hasFwdRefs(); } 1354 1355 /// Return the given metadata, creating a replaceable forward reference if 1356 /// necessary. 1357 Metadata *MetadataLoader::getMetadataFwdRef(unsigned Idx) { 1358 return Pimpl->getMetadataFwdRef(Idx); 1359 } 1360 1361 MDNode *MetadataLoader::getMDNodeFwdRefOrNull(unsigned Idx) { 1362 return Pimpl->getMDNodeFwdRefOrNull(Idx); 1363 } 1364 1365 DISubprogram *MetadataLoader::lookupSubprogramForFunction(Function *F) { 1366 return Pimpl->lookupSubprogramForFunction(F); 1367 } 1368 1369 Error MetadataLoader::parseMetadataAttachment( 1370 Function &F, const SmallVectorImpl<Instruction *> &InstructionList) { 1371 return Pimpl->parseMetadataAttachment(F, InstructionList); 1372 } 1373 1374 Error MetadataLoader::parseMetadataKinds() { 1375 return Pimpl->parseMetadataKinds(); 1376 } 1377 1378 void MetadataLoader::setStripTBAA(bool StripTBAA) { 1379 return Pimpl->setStripTBAA(StripTBAA); 1380 } 1381 1382 bool MetadataLoader::isStrippingTBAA() { return Pimpl->isStrippingTBAA(); } 1383 1384 unsigned MetadataLoader::size() const { return Pimpl->size(); } 1385 void MetadataLoader::shrinkTo(unsigned N) { return Pimpl->shrinkTo(N); } 1386