1 //===- PDB.cpp ------------------------------------------------------------===// 2 // 3 // The LLVM Linker 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 "PDB.h" 11 #include "Chunks.h" 12 #include "Config.h" 13 #include "Driver.h" 14 #include "Error.h" 15 #include "SymbolTable.h" 16 #include "Symbols.h" 17 #include "Writer.h" 18 #include "llvm/DebugInfo/CodeView/CVDebugRecord.h" 19 #include "llvm/DebugInfo/CodeView/DebugSubsectionRecord.h" 20 #include "llvm/DebugInfo/CodeView/LazyRandomTypeCollection.h" 21 #include "llvm/DebugInfo/CodeView/RecordName.h" 22 #include "llvm/DebugInfo/CodeView/SymbolDeserializer.h" 23 #include "llvm/DebugInfo/CodeView/SymbolSerializer.h" 24 #include "llvm/DebugInfo/CodeView/TypeDeserializer.h" 25 #include "llvm/DebugInfo/CodeView/TypeDumpVisitor.h" 26 #include "llvm/DebugInfo/CodeView/TypeIndexDiscovery.h" 27 #include "llvm/DebugInfo/CodeView/TypeStreamMerger.h" 28 #include "llvm/DebugInfo/CodeView/TypeTableBuilder.h" 29 #include "llvm/DebugInfo/MSF/MSFBuilder.h" 30 #include "llvm/DebugInfo/MSF/MSFCommon.h" 31 #include "llvm/DebugInfo/PDB/GenericError.h" 32 #include "llvm/DebugInfo/PDB/Native/DbiModuleDescriptorBuilder.h" 33 #include "llvm/DebugInfo/PDB/Native/DbiStream.h" 34 #include "llvm/DebugInfo/PDB/Native/DbiStreamBuilder.h" 35 #include "llvm/DebugInfo/PDB/Native/GSIStreamBuilder.h" 36 #include "llvm/DebugInfo/PDB/Native/InfoStream.h" 37 #include "llvm/DebugInfo/PDB/Native/InfoStreamBuilder.h" 38 #include "llvm/DebugInfo/PDB/Native/NativeSession.h" 39 #include "llvm/DebugInfo/PDB/Native/PDBFile.h" 40 #include "llvm/DebugInfo/PDB/Native/PDBFileBuilder.h" 41 #include "llvm/DebugInfo/PDB/Native/PDBStringTableBuilder.h" 42 #include "llvm/DebugInfo/PDB/Native/TpiHashing.h" 43 #include "llvm/DebugInfo/PDB/Native/TpiStream.h" 44 #include "llvm/DebugInfo/PDB/Native/TpiStreamBuilder.h" 45 #include "llvm/DebugInfo/PDB/PDB.h" 46 #include "llvm/Object/COFF.h" 47 #include "llvm/Support/BinaryByteStream.h" 48 #include "llvm/Support/Endian.h" 49 #include "llvm/Support/FileOutputBuffer.h" 50 #include "llvm/Support/JamCRC.h" 51 #include "llvm/Support/Path.h" 52 #include "llvm/Support/ScopedPrinter.h" 53 #include <memory> 54 55 using namespace lld; 56 using namespace lld::coff; 57 using namespace llvm; 58 using namespace llvm::codeview; 59 60 using llvm::object::coff_section; 61 62 static ExitOnError ExitOnErr; 63 64 namespace { 65 /// Map from type index and item index in a type server PDB to the 66 /// corresponding index in the destination PDB. 67 struct CVIndexMap { 68 SmallVector<TypeIndex, 0> TPIMap; 69 SmallVector<TypeIndex, 0> IPIMap; 70 bool IsTypeServerMap = false; 71 }; 72 73 class PDBLinker { 74 public: 75 PDBLinker(SymbolTable *Symtab) 76 : Alloc(), Symtab(Symtab), Builder(Alloc), TypeTable(Alloc), 77 IDTable(Alloc) {} 78 79 /// Emit the basic PDB structure: initial streams, headers, etc. 80 void initialize(const llvm::codeview::DebugInfo &BuildId); 81 82 /// Link CodeView from each object file in the symbol table into the PDB. 83 void addObjectsToPDB(); 84 85 /// Link CodeView from a single object file into the PDB. 86 void addObjFile(ObjFile *File); 87 88 /// Produce a mapping from the type and item indices used in the object 89 /// file to those in the destination PDB. 90 /// 91 /// If the object file uses a type server PDB (compiled with /Zi), merge TPI 92 /// and IPI from the type server PDB and return a map for it. Each unique type 93 /// server PDB is merged at most once, so this may return an existing index 94 /// mapping. 95 /// 96 /// If the object does not use a type server PDB (compiled with /Z7), we merge 97 /// all the type and item records from the .debug$S stream and fill in the 98 /// caller-provided ObjectIndexMap. 99 const CVIndexMap &mergeDebugT(ObjFile *File, CVIndexMap &ObjectIndexMap); 100 101 const CVIndexMap &maybeMergeTypeServerPDB(ObjFile *File, 102 TypeServer2Record &TS); 103 104 /// Add the section map and section contributions to the PDB. 105 void addSections(ArrayRef<OutputSection *> OutputSections, 106 ArrayRef<uint8_t> SectionTable); 107 108 void addSectionContrib(pdb::DbiModuleDescriptorBuilder &LinkerModule, 109 OutputSection *OS, Chunk *C); 110 111 /// Write the PDB to disk. 112 void commit(); 113 114 private: 115 BumpPtrAllocator Alloc; 116 117 SymbolTable *Symtab; 118 119 pdb::PDBFileBuilder Builder; 120 121 /// Type records that will go into the PDB TPI stream. 122 TypeTableBuilder TypeTable; 123 124 /// Item records that will go into the PDB IPI stream. 125 TypeTableBuilder IDTable; 126 127 /// PDBs use a single global string table for filenames in the file checksum 128 /// table. 129 DebugStringTableSubsection PDBStrTab; 130 131 llvm::SmallString<128> NativePath; 132 133 std::vector<pdb::SecMapEntry> SectionMap; 134 135 /// Type index mappings of type server PDBs that we've loaded so far. 136 std::map<GUID, CVIndexMap> TypeServerIndexMappings; 137 }; 138 } 139 140 static SectionChunk *findByName(std::vector<SectionChunk *> &Sections, 141 StringRef Name) { 142 for (SectionChunk *C : Sections) 143 if (C->getSectionName() == Name) 144 return C; 145 return nullptr; 146 } 147 148 static ArrayRef<uint8_t> consumeDebugMagic(ArrayRef<uint8_t> Data, 149 StringRef SecName) { 150 // First 4 bytes are section magic. 151 if (Data.size() < 4) 152 fatal(SecName + " too short"); 153 if (support::endian::read32le(Data.data()) != COFF::DEBUG_SECTION_MAGIC) 154 fatal(SecName + " has an invalid magic"); 155 return Data.slice(4); 156 } 157 158 static ArrayRef<uint8_t> getDebugSection(ObjFile *File, StringRef SecName) { 159 if (SectionChunk *Sec = findByName(File->getDebugChunks(), SecName)) 160 return consumeDebugMagic(Sec->getContents(), SecName); 161 return {}; 162 } 163 164 static void addTypeInfo(pdb::TpiStreamBuilder &TpiBuilder, 165 TypeTableBuilder &TypeTable) { 166 // Start the TPI or IPI stream header. 167 TpiBuilder.setVersionHeader(pdb::PdbTpiV80); 168 169 // Flatten the in memory type table and hash each type. 170 TypeTable.ForEachRecord([&](TypeIndex TI, ArrayRef<uint8_t> Rec) { 171 assert(Rec.size() >= sizeof(RecordPrefix)); 172 const RecordPrefix *P = reinterpret_cast<const RecordPrefix *>(Rec.data()); 173 CVType Type(static_cast<TypeLeafKind>(unsigned(P->RecordKind)), Rec); 174 auto Hash = pdb::hashTypeRecord(Type); 175 if (auto E = Hash.takeError()) 176 fatal("type hashing error"); 177 TpiBuilder.addTypeRecord(Rec, *Hash); 178 }); 179 } 180 181 static Optional<TypeServer2Record> 182 maybeReadTypeServerRecord(CVTypeArray &Types) { 183 auto I = Types.begin(); 184 if (I == Types.end()) 185 return None; 186 const CVType &Type = *I; 187 if (Type.kind() != LF_TYPESERVER2) 188 return None; 189 TypeServer2Record TS; 190 if (auto EC = TypeDeserializer::deserializeAs(const_cast<CVType &>(Type), TS)) 191 fatal(EC, "error reading type server record"); 192 return std::move(TS); 193 } 194 195 const CVIndexMap &PDBLinker::mergeDebugT(ObjFile *File, 196 CVIndexMap &ObjectIndexMap) { 197 ArrayRef<uint8_t> Data = getDebugSection(File, ".debug$T"); 198 if (Data.empty()) 199 return ObjectIndexMap; 200 201 BinaryByteStream Stream(Data, support::little); 202 CVTypeArray Types; 203 BinaryStreamReader Reader(Stream); 204 if (auto EC = Reader.readArray(Types, Reader.getLength())) 205 fatal(EC, "Reader::readArray failed"); 206 207 // Look through type servers. If we've already seen this type server, don't 208 // merge any type information. 209 if (Optional<TypeServer2Record> TS = maybeReadTypeServerRecord(Types)) 210 return maybeMergeTypeServerPDB(File, *TS); 211 212 // This is a /Z7 object. Fill in the temporary, caller-provided 213 // ObjectIndexMap. 214 if (auto Err = mergeTypeAndIdRecords(IDTable, TypeTable, 215 ObjectIndexMap.TPIMap, Types)) 216 fatal(Err, "codeview::mergeTypeAndIdRecords failed"); 217 return ObjectIndexMap; 218 } 219 220 static Expected<std::unique_ptr<pdb::NativeSession>> 221 tryToLoadPDB(const GUID &GuidFromObj, StringRef TSPath) { 222 ErrorOr<std::unique_ptr<MemoryBuffer>> MBOrErr = MemoryBuffer::getFile( 223 TSPath, /*FileSize=*/-1, /*RequiresNullTerminator=*/false); 224 if (!MBOrErr) 225 return errorCodeToError(MBOrErr.getError()); 226 227 std::unique_ptr<pdb::IPDBSession> ThisSession; 228 if (auto EC = pdb::NativeSession::createFromPdb( 229 MemoryBuffer::getMemBuffer(Driver->takeBuffer(std::move(*MBOrErr)), 230 /*RequiresNullTerminator=*/false), 231 ThisSession)) 232 return std::move(EC); 233 234 std::unique_ptr<pdb::NativeSession> NS( 235 static_cast<pdb::NativeSession *>(ThisSession.release())); 236 pdb::PDBFile &File = NS->getPDBFile(); 237 auto ExpectedInfo = File.getPDBInfoStream(); 238 // All PDB Files should have an Info stream. 239 if (!ExpectedInfo) 240 return ExpectedInfo.takeError(); 241 242 // Just because a file with a matching name was found and it was an actual 243 // PDB file doesn't mean it matches. For it to match the InfoStream's GUID 244 // must match the GUID specified in the TypeServer2 record. 245 if (ExpectedInfo->getGuid() != GuidFromObj) 246 return make_error<pdb::GenericError>( 247 pdb::generic_error_code::type_server_not_found, TSPath); 248 249 return std::move(NS); 250 } 251 252 const CVIndexMap &PDBLinker::maybeMergeTypeServerPDB(ObjFile *File, 253 TypeServer2Record &TS) { 254 // First, check if we already loaded a PDB with this GUID. Return the type 255 // index mapping if we have it. 256 auto Insertion = TypeServerIndexMappings.insert({TS.getGuid(), CVIndexMap()}); 257 CVIndexMap &IndexMap = Insertion.first->second; 258 if (!Insertion.second) 259 return IndexMap; 260 261 // Mark this map as a type server map. 262 IndexMap.IsTypeServerMap = true; 263 264 // Check for a PDB at: 265 // 1. The given file path 266 // 2. Next to the object file or archive file 267 auto ExpectedSession = tryToLoadPDB(TS.getGuid(), TS.getName()); 268 if (!ExpectedSession) { 269 consumeError(ExpectedSession.takeError()); 270 StringRef LocalPath = 271 !File->ParentName.empty() ? File->ParentName : File->getName(); 272 SmallString<128> Path = sys::path::parent_path(LocalPath); 273 sys::path::append( 274 Path, sys::path::filename(TS.getName(), sys::path::Style::windows)); 275 ExpectedSession = tryToLoadPDB(TS.getGuid(), Path); 276 } 277 if (auto E = ExpectedSession.takeError()) 278 fatal(E, "Type server PDB was not found"); 279 280 // Merge TPI first, because the IPI stream will reference type indices. 281 auto ExpectedTpi = (*ExpectedSession)->getPDBFile().getPDBTpiStream(); 282 if (auto E = ExpectedTpi.takeError()) 283 fatal(E, "Type server does not have TPI stream"); 284 if (auto Err = mergeTypeRecords(TypeTable, IndexMap.TPIMap, 285 ExpectedTpi->typeArray())) 286 fatal(Err, "codeview::mergeTypeRecords failed"); 287 288 // Merge IPI. 289 auto ExpectedIpi = (*ExpectedSession)->getPDBFile().getPDBIpiStream(); 290 if (auto E = ExpectedIpi.takeError()) 291 fatal(E, "Type server does not have TPI stream"); 292 if (auto Err = mergeIdRecords(IDTable, IndexMap.TPIMap, IndexMap.IPIMap, 293 ExpectedIpi->typeArray())) 294 fatal(Err, "codeview::mergeIdRecords failed"); 295 296 return IndexMap; 297 } 298 299 static bool remapTypeIndex(TypeIndex &TI, ArrayRef<TypeIndex> TypeIndexMap) { 300 if (TI.isSimple()) 301 return true; 302 if (TI.toArrayIndex() >= TypeIndexMap.size()) 303 return false; 304 TI = TypeIndexMap[TI.toArrayIndex()]; 305 return true; 306 } 307 308 static void remapTypesInSymbolRecord(ObjFile *File, SymbolKind SymKind, 309 MutableArrayRef<uint8_t> Contents, 310 const CVIndexMap &IndexMap, 311 const TypeTableBuilder &IDTable, 312 ArrayRef<TiReference> TypeRefs) { 313 for (const TiReference &Ref : TypeRefs) { 314 unsigned ByteSize = Ref.Count * sizeof(TypeIndex); 315 if (Contents.size() < Ref.Offset + ByteSize) 316 fatal("symbol record too short"); 317 318 // This can be an item index or a type index. Choose the appropriate map. 319 ArrayRef<TypeIndex> TypeOrItemMap = IndexMap.TPIMap; 320 bool IsItemIndex = Ref.Kind == TiRefKind::IndexRef; 321 if (IsItemIndex && IndexMap.IsTypeServerMap) 322 TypeOrItemMap = IndexMap.IPIMap; 323 324 MutableArrayRef<TypeIndex> TIs( 325 reinterpret_cast<TypeIndex *>(Contents.data() + Ref.Offset), Ref.Count); 326 for (TypeIndex &TI : TIs) { 327 if (!remapTypeIndex(TI, TypeOrItemMap)) { 328 log("ignoring symbol record of kind 0x" + utohexstr(SymKind) + " in " + 329 File->getName() + " with bad " + (IsItemIndex ? "item" : "type") + 330 " index 0x" + utohexstr(TI.getIndex())); 331 TI = TypeIndex(SimpleTypeKind::NotTranslated); 332 continue; 333 } 334 } 335 } 336 } 337 338 static SymbolKind symbolKind(ArrayRef<uint8_t> RecordData) { 339 const RecordPrefix *Prefix = 340 reinterpret_cast<const RecordPrefix *>(RecordData.data()); 341 return static_cast<SymbolKind>(uint16_t(Prefix->RecordKind)); 342 } 343 344 /// MSVC translates S_PROC_ID_END to S_END, and S_[LG]PROC32_ID to S_[LG]PROC32 345 static void translateIdSymbols(MutableArrayRef<uint8_t> &RecordData, 346 const TypeTableBuilder &IDTable) { 347 RecordPrefix *Prefix = reinterpret_cast<RecordPrefix *>(RecordData.data()); 348 349 SymbolKind Kind = symbolKind(RecordData); 350 351 if (Kind == SymbolKind::S_PROC_ID_END) { 352 Prefix->RecordKind = SymbolKind::S_END; 353 return; 354 } 355 356 // In an object file, GPROC32_ID has an embedded reference which refers to the 357 // single object file type index namespace. This has already been translated 358 // to the PDB file's ID stream index space, but we need to convert this to a 359 // symbol that refers to the type stream index space. So we remap again from 360 // ID index space to type index space. 361 if (Kind == SymbolKind::S_GPROC32_ID || Kind == SymbolKind::S_LPROC32_ID) { 362 SmallVector<TiReference, 1> Refs; 363 auto Content = RecordData.drop_front(sizeof(RecordPrefix)); 364 CVSymbol Sym(Kind, RecordData); 365 discoverTypeIndicesInSymbol(Sym, Refs); 366 assert(Refs.size() == 1); 367 assert(Refs.front().Count == 1); 368 369 TypeIndex *TI = 370 reinterpret_cast<TypeIndex *>(Content.data() + Refs[0].Offset); 371 // `TI` is the index of a FuncIdRecord or MemberFuncIdRecord which lives in 372 // the IPI stream, whose `FunctionType` member refers to the TPI stream. 373 // Note that LF_FUNC_ID and LF_MEMFUNC_ID have the same record layout, and 374 // in both cases we just need the second type index. 375 if (!TI->isSimple() && !TI->isNoneType()) { 376 ArrayRef<uint8_t> FuncIdData = IDTable.records()[TI->toArrayIndex()]; 377 SmallVector<TypeIndex, 2> Indices; 378 discoverTypeIndices(FuncIdData, Indices); 379 assert(Indices.size() == 2); 380 *TI = Indices[1]; 381 } 382 383 Kind = (Kind == SymbolKind::S_GPROC32_ID) ? SymbolKind::S_GPROC32 384 : SymbolKind::S_LPROC32; 385 Prefix->RecordKind = uint16_t(Kind); 386 } 387 } 388 389 /// Copy the symbol record. In a PDB, symbol records must be 4 byte aligned. 390 /// The object file may not be aligned. 391 static MutableArrayRef<uint8_t> copySymbolForPdb(const CVSymbol &Sym, 392 BumpPtrAllocator &Alloc) { 393 size_t Size = alignTo(Sym.length(), alignOf(CodeViewContainer::Pdb)); 394 assert(Size >= 4 && "record too short"); 395 assert(Size <= MaxRecordLength && "record too long"); 396 void *Mem = Alloc.Allocate(Size, 4); 397 398 // Copy the symbol record and zero out any padding bytes. 399 MutableArrayRef<uint8_t> NewData(reinterpret_cast<uint8_t *>(Mem), Size); 400 memcpy(NewData.data(), Sym.data().data(), Sym.length()); 401 memset(NewData.data() + Sym.length(), 0, Size - Sym.length()); 402 403 // Update the record prefix length. It should point to the beginning of the 404 // next record. 405 auto *Prefix = reinterpret_cast<RecordPrefix *>(Mem); 406 Prefix->RecordLen = Size - 2; 407 return NewData; 408 } 409 410 /// Return true if this symbol opens a scope. This implies that the symbol has 411 /// "parent" and "end" fields, which contain the offset of the S_END or 412 /// S_INLINESITE_END record. 413 static bool symbolOpensScope(SymbolKind Kind) { 414 switch (Kind) { 415 case SymbolKind::S_GPROC32: 416 case SymbolKind::S_LPROC32: 417 case SymbolKind::S_LPROC32_ID: 418 case SymbolKind::S_GPROC32_ID: 419 case SymbolKind::S_BLOCK32: 420 case SymbolKind::S_SEPCODE: 421 case SymbolKind::S_THUNK32: 422 case SymbolKind::S_INLINESITE: 423 case SymbolKind::S_INLINESITE2: 424 return true; 425 default: 426 break; 427 } 428 return false; 429 } 430 431 static bool symbolEndsScope(SymbolKind Kind) { 432 switch (Kind) { 433 case SymbolKind::S_END: 434 case SymbolKind::S_PROC_ID_END: 435 case SymbolKind::S_INLINESITE_END: 436 return true; 437 default: 438 break; 439 } 440 return false; 441 } 442 443 struct ScopeRecord { 444 ulittle32_t PtrParent; 445 ulittle32_t PtrEnd; 446 }; 447 448 struct SymbolScope { 449 ScopeRecord *OpeningRecord; 450 uint32_t ScopeOffset; 451 }; 452 453 static void scopeStackOpen(SmallVectorImpl<SymbolScope> &Stack, 454 uint32_t CurOffset, CVSymbol &Sym) { 455 assert(symbolOpensScope(Sym.kind())); 456 SymbolScope S; 457 S.ScopeOffset = CurOffset; 458 S.OpeningRecord = const_cast<ScopeRecord *>( 459 reinterpret_cast<const ScopeRecord *>(Sym.content().data())); 460 S.OpeningRecord->PtrParent = Stack.empty() ? 0 : Stack.back().ScopeOffset; 461 Stack.push_back(S); 462 } 463 464 static void scopeStackClose(SmallVectorImpl<SymbolScope> &Stack, 465 uint32_t CurOffset, ObjFile *File) { 466 if (Stack.empty()) { 467 warn("symbol scopes are not balanced in " + File->getName()); 468 return; 469 } 470 SymbolScope S = Stack.pop_back_val(); 471 S.OpeningRecord->PtrEnd = CurOffset; 472 } 473 474 static bool symbolGoesInModuleStream(const CVSymbol &Sym) { 475 switch (Sym.kind()) { 476 case SymbolKind::S_GDATA32: 477 case SymbolKind::S_CONSTANT: 478 case SymbolKind::S_UDT: 479 // We really should not be seeing S_PROCREF and S_LPROCREF in the first place 480 // since they are synthesized by the linker in response to S_GPROC32 and 481 // S_LPROC32, but if we do see them, don't put them in the module stream I 482 // guess. 483 case SymbolKind::S_PROCREF: 484 case SymbolKind::S_LPROCREF: 485 return false; 486 // S_GDATA32 does not go in the module stream, but S_LDATA32 does. 487 case SymbolKind::S_LDATA32: 488 default: 489 return true; 490 } 491 } 492 493 static bool symbolGoesInGlobalsStream(const CVSymbol &Sym) { 494 switch (Sym.kind()) { 495 case SymbolKind::S_CONSTANT: 496 case SymbolKind::S_GDATA32: 497 // S_LDATA32 goes in both the module stream and the globals stream. 498 case SymbolKind::S_LDATA32: 499 case SymbolKind::S_GPROC32: 500 case SymbolKind::S_LPROC32: 501 // We really should not be seeing S_PROCREF and S_LPROCREF in the first place 502 // since they are synthesized by the linker in response to S_GPROC32 and 503 // S_LPROC32, but if we do see them, copy them straight through. 504 case SymbolKind::S_PROCREF: 505 case SymbolKind::S_LPROCREF: 506 return true; 507 // FIXME: For now, we drop all S_UDT symbols (i.e. they don't go in the 508 // globals stream or the modules stream). These have special handling which 509 // needs more investigation before we can get right, but by putting them all 510 // into the globals stream WinDbg fails to display local variables of class 511 // types saying that it cannot find the type Foo *. So as a stopgap just to 512 // keep things working, we drop them. 513 case SymbolKind::S_UDT: 514 default: 515 return false; 516 } 517 } 518 519 static void addGlobalSymbol(pdb::GSIStreamBuilder &Builder, ObjFile &File, 520 const CVSymbol &Sym) { 521 switch (Sym.kind()) { 522 case SymbolKind::S_CONSTANT: 523 case SymbolKind::S_UDT: 524 case SymbolKind::S_GDATA32: 525 case SymbolKind::S_LDATA32: 526 case SymbolKind::S_PROCREF: 527 case SymbolKind::S_LPROCREF: 528 Builder.addGlobalSymbol(Sym); 529 break; 530 case SymbolKind::S_GPROC32: 531 case SymbolKind::S_LPROC32: { 532 SymbolRecordKind K = SymbolRecordKind::ProcRefSym; 533 if (Sym.kind() == SymbolKind::S_LPROC32) 534 K = SymbolRecordKind::LocalProcRef; 535 ProcRefSym PS(K); 536 PS.Module = static_cast<uint16_t>(File.ModuleDBI->getModuleIndex()); 537 // For some reason, MSVC seems to add one to this value. 538 ++PS.Module; 539 PS.Name = getSymbolName(Sym); 540 PS.SumName = 0; 541 PS.SymOffset = File.ModuleDBI->getNextSymbolOffset(); 542 Builder.addGlobalSymbol(PS); 543 break; 544 } 545 default: 546 llvm_unreachable("Invalid symbol kind!"); 547 } 548 } 549 550 static void mergeSymbolRecords(BumpPtrAllocator &Alloc, ObjFile *File, 551 pdb::GSIStreamBuilder &GsiBuilder, 552 const CVIndexMap &IndexMap, 553 const TypeTableBuilder &IDTable, 554 BinaryStreamRef SymData) { 555 // FIXME: Improve error recovery by warning and skipping records when 556 // possible. 557 CVSymbolArray Syms; 558 BinaryStreamReader Reader(SymData); 559 ExitOnErr(Reader.readArray(Syms, Reader.getLength())); 560 SmallVector<SymbolScope, 4> Scopes; 561 for (CVSymbol Sym : Syms) { 562 // Discover type index references in the record. Skip it if we don't know 563 // where they are. 564 SmallVector<TiReference, 32> TypeRefs; 565 if (!discoverTypeIndicesInSymbol(Sym, TypeRefs)) { 566 log("ignoring unknown symbol record with kind 0x" + utohexstr(Sym.kind())); 567 continue; 568 } 569 570 // Copy the symbol record so we can mutate it. 571 MutableArrayRef<uint8_t> NewData = copySymbolForPdb(Sym, Alloc); 572 573 // Re-map all the type index references. 574 MutableArrayRef<uint8_t> Contents = 575 NewData.drop_front(sizeof(RecordPrefix)); 576 remapTypesInSymbolRecord(File, Sym.kind(), Contents, IndexMap, IDTable, 577 TypeRefs); 578 579 // An object file may have S_xxx_ID symbols, but these get converted to 580 // "real" symbols in a PDB. 581 translateIdSymbols(NewData, IDTable); 582 583 SymbolKind NewKind = symbolKind(NewData); 584 585 // Fill in "Parent" and "End" fields by maintaining a stack of scopes. 586 CVSymbol NewSym(NewKind, NewData); 587 if (symbolOpensScope(NewKind)) 588 scopeStackOpen(Scopes, File->ModuleDBI->getNextSymbolOffset(), NewSym); 589 else if (symbolEndsScope(NewKind)) 590 scopeStackClose(Scopes, File->ModuleDBI->getNextSymbolOffset(), File); 591 592 // Add the symbol to the globals stream if necessary. Do this before adding 593 // the symbol to the module since we may need to get the next symbol offset, 594 // and writing to the module's symbol stream will update that offset. 595 if (symbolGoesInGlobalsStream(NewSym)) 596 addGlobalSymbol(GsiBuilder, *File, NewSym); 597 598 // Add the symbol to the module. 599 if (symbolGoesInModuleStream(NewSym)) 600 File->ModuleDBI->addSymbol(NewSym); 601 } 602 } 603 604 // Allocate memory for a .debug$S section and relocate it. 605 static ArrayRef<uint8_t> relocateDebugChunk(BumpPtrAllocator &Alloc, 606 SectionChunk *DebugChunk) { 607 uint8_t *Buffer = Alloc.Allocate<uint8_t>(DebugChunk->getSize()); 608 assert(DebugChunk->OutputSectionOff == 0 && 609 "debug sections should not be in output sections"); 610 DebugChunk->writeTo(Buffer); 611 return consumeDebugMagic(makeArrayRef(Buffer, DebugChunk->getSize()), 612 ".debug$S"); 613 } 614 615 void PDBLinker::addObjFile(ObjFile *File) { 616 // Add a module descriptor for every object file. We need to put an absolute 617 // path to the object into the PDB. If this is a plain object, we make its 618 // path absolute. If it's an object in an archive, we make the archive path 619 // absolute. 620 bool InArchive = !File->ParentName.empty(); 621 SmallString<128> Path = InArchive ? File->ParentName : File->getName(); 622 sys::fs::make_absolute(Path); 623 sys::path::native(Path, sys::path::Style::windows); 624 StringRef Name = InArchive ? File->getName() : StringRef(Path); 625 626 File->ModuleDBI = &ExitOnErr(Builder.getDbiBuilder().addModuleInfo(Name)); 627 File->ModuleDBI->setObjFileName(Path); 628 629 // Before we can process symbol substreams from .debug$S, we need to process 630 // type information, file checksums, and the string table. Add type info to 631 // the PDB first, so that we can get the map from object file type and item 632 // indices to PDB type and item indices. 633 CVIndexMap ObjectIndexMap; 634 const CVIndexMap &IndexMap = mergeDebugT(File, ObjectIndexMap); 635 636 // Now do all live .debug$S sections. 637 for (SectionChunk *DebugChunk : File->getDebugChunks()) { 638 if (!DebugChunk->isLive() || DebugChunk->getSectionName() != ".debug$S") 639 continue; 640 641 ArrayRef<uint8_t> RelocatedDebugContents = 642 relocateDebugChunk(Alloc, DebugChunk); 643 if (RelocatedDebugContents.empty()) 644 continue; 645 646 DebugSubsectionArray Subsections; 647 BinaryStreamReader Reader(RelocatedDebugContents, support::little); 648 ExitOnErr(Reader.readArray(Subsections, RelocatedDebugContents.size())); 649 650 DebugStringTableSubsectionRef CVStrTab; 651 DebugChecksumsSubsectionRef Checksums; 652 for (const DebugSubsectionRecord &SS : Subsections) { 653 switch (SS.kind()) { 654 case DebugSubsectionKind::StringTable: 655 ExitOnErr(CVStrTab.initialize(SS.getRecordData())); 656 break; 657 case DebugSubsectionKind::FileChecksums: 658 ExitOnErr(Checksums.initialize(SS.getRecordData())); 659 break; 660 case DebugSubsectionKind::Lines: 661 // We can add the relocated line table directly to the PDB without 662 // modification because the file checksum offsets will stay the same. 663 File->ModuleDBI->addDebugSubsection(SS); 664 break; 665 case DebugSubsectionKind::Symbols: 666 mergeSymbolRecords(Alloc, File, Builder.getGsiBuilder(), IndexMap, 667 IDTable, SS.getRecordData()); 668 break; 669 default: 670 // FIXME: Process the rest of the subsections. 671 break; 672 } 673 } 674 675 if (Checksums.valid()) { 676 // Make a new file checksum table that refers to offsets in the PDB-wide 677 // string table. Generally the string table subsection appears after the 678 // checksum table, so we have to do this after looping over all the 679 // subsections. 680 if (!CVStrTab.valid()) 681 fatal(".debug$S sections must have both a string table subsection " 682 "and a checksum subsection table or neither"); 683 auto NewChecksums = make_unique<DebugChecksumsSubsection>(PDBStrTab); 684 for (FileChecksumEntry &FC : Checksums) { 685 StringRef FileName = ExitOnErr(CVStrTab.getString(FC.FileNameOffset)); 686 ExitOnErr(Builder.getDbiBuilder().addModuleSourceFile(*File->ModuleDBI, 687 FileName)); 688 NewChecksums->addChecksum(FileName, FC.Kind, FC.Checksum); 689 } 690 File->ModuleDBI->addDebugSubsection(std::move(NewChecksums)); 691 } 692 } 693 } 694 695 static PublicSym32 createPublic(Defined *Def) { 696 PublicSym32 Pub(SymbolKind::S_PUB32); 697 Pub.Name = Def->getName(); 698 if (auto *D = dyn_cast<DefinedCOFF>(Def)) { 699 if (D->getCOFFSymbol().isFunctionDefinition()) 700 Pub.Flags = PublicSymFlags::Function; 701 } else if (isa<DefinedImportThunk>(Def)) { 702 Pub.Flags = PublicSymFlags::Function; 703 } 704 705 OutputSection *OS = Def->getChunk()->getOutputSection(); 706 assert(OS && "all publics should be in final image"); 707 Pub.Offset = Def->getRVA() - OS->getRVA(); 708 Pub.Segment = OS->SectionIndex; 709 return Pub; 710 } 711 712 // Add all object files to the PDB. Merge .debug$T sections into IpiData and 713 // TpiData. 714 void PDBLinker::addObjectsToPDB() { 715 for (ObjFile *File : ObjFile::Instances) 716 addObjFile(File); 717 718 Builder.getStringTableBuilder().setStrings(PDBStrTab); 719 720 // Construct TPI stream contents. 721 addTypeInfo(Builder.getTpiBuilder(), TypeTable); 722 723 // Construct IPI stream contents. 724 addTypeInfo(Builder.getIpiBuilder(), IDTable); 725 726 // Compute the public and global symbols. 727 auto &GsiBuilder = Builder.getGsiBuilder(); 728 std::vector<PublicSym32> Publics; 729 Symtab->forEachSymbol([&Publics](Symbol *S) { 730 // Only emit defined, live symbols that have a chunk. 731 auto *Def = dyn_cast<Defined>(S->body()); 732 if (Def && Def->isLive() && Def->getChunk()) 733 Publics.push_back(createPublic(Def)); 734 }); 735 736 if (!Publics.empty()) { 737 // Sort the public symbols and add them to the stream. 738 std::sort(Publics.begin(), Publics.end(), 739 [](const PublicSym32 &L, const PublicSym32 &R) { 740 return L.Name < R.Name; 741 }); 742 for (const PublicSym32 &Pub : Publics) 743 GsiBuilder.addPublicSymbol(Pub); 744 } 745 } 746 747 static void addCommonLinkerModuleSymbols(StringRef Path, 748 pdb::DbiModuleDescriptorBuilder &Mod, 749 BumpPtrAllocator &Allocator) { 750 ObjNameSym ONS(SymbolRecordKind::ObjNameSym); 751 Compile3Sym CS(SymbolRecordKind::Compile3Sym); 752 EnvBlockSym EBS(SymbolRecordKind::EnvBlockSym); 753 754 ONS.Name = "* Linker *"; 755 ONS.Signature = 0; 756 757 CS.Machine = Config->is64() ? CPUType::X64 : CPUType::Intel80386; 758 // Interestingly, if we set the string to 0.0.0.0, then when trying to view 759 // local variables WinDbg emits an error that private symbols are not present. 760 // By setting this to a valid MSVC linker version string, local variables are 761 // displayed properly. As such, even though it is not representative of 762 // LLVM's version information, we need this for compatibility. 763 CS.Flags = CompileSym3Flags::None; 764 CS.VersionBackendBuild = 25019; 765 CS.VersionBackendMajor = 14; 766 CS.VersionBackendMinor = 10; 767 CS.VersionBackendQFE = 0; 768 769 // MSVC also sets the frontend to 0.0.0.0 since this is specifically for the 770 // linker module (which is by definition a backend), so we don't need to do 771 // anything here. Also, it seems we can use "LLVM Linker" for the linker name 772 // without any problems. Only the backend version has to be hardcoded to a 773 // magic number. 774 CS.VersionFrontendBuild = 0; 775 CS.VersionFrontendMajor = 0; 776 CS.VersionFrontendMinor = 0; 777 CS.VersionFrontendQFE = 0; 778 CS.Version = "LLVM Linker"; 779 CS.setLanguage(SourceLanguage::Link); 780 781 ArrayRef<StringRef> Args = makeArrayRef(Config->Argv).drop_front(); 782 std::string ArgStr = llvm::join(Args, " "); 783 EBS.Fields.push_back("cwd"); 784 SmallString<64> cwd; 785 sys::fs::current_path(cwd); 786 EBS.Fields.push_back(cwd); 787 EBS.Fields.push_back("exe"); 788 SmallString<64> exe = Config->Argv[0]; 789 llvm::sys::fs::make_absolute(exe); 790 EBS.Fields.push_back(exe); 791 EBS.Fields.push_back("pdb"); 792 EBS.Fields.push_back(Path); 793 EBS.Fields.push_back("cmd"); 794 EBS.Fields.push_back(ArgStr); 795 Mod.addSymbol(codeview::SymbolSerializer::writeOneSymbol( 796 ONS, Allocator, CodeViewContainer::Pdb)); 797 Mod.addSymbol(codeview::SymbolSerializer::writeOneSymbol( 798 CS, Allocator, CodeViewContainer::Pdb)); 799 Mod.addSymbol(codeview::SymbolSerializer::writeOneSymbol( 800 EBS, Allocator, CodeViewContainer::Pdb)); 801 } 802 803 static void addLinkerModuleSectionSymbol(pdb::DbiModuleDescriptorBuilder &Mod, 804 OutputSection &OS, 805 BumpPtrAllocator &Allocator) { 806 SectionSym Sym(SymbolRecordKind::SectionSym); 807 Sym.Alignment = 12; // 2^12 = 4KB 808 Sym.Characteristics = OS.getCharacteristics(); 809 Sym.Length = OS.getVirtualSize(); 810 Sym.Name = OS.getName(); 811 Sym.Rva = OS.getRVA(); 812 Sym.SectionNumber = OS.SectionIndex; 813 Mod.addSymbol(codeview::SymbolSerializer::writeOneSymbol( 814 Sym, Allocator, CodeViewContainer::Pdb)); 815 } 816 817 // Creates a PDB file. 818 void coff::createPDB(SymbolTable *Symtab, 819 ArrayRef<OutputSection *> OutputSections, 820 ArrayRef<uint8_t> SectionTable, 821 const llvm::codeview::DebugInfo &BuildId) { 822 PDBLinker PDB(Symtab); 823 PDB.initialize(BuildId); 824 PDB.addObjectsToPDB(); 825 PDB.addSections(OutputSections, SectionTable); 826 PDB.commit(); 827 } 828 829 void PDBLinker::initialize(const llvm::codeview::DebugInfo &BuildId) { 830 ExitOnErr(Builder.initialize(4096)); // 4096 is blocksize 831 832 // Create streams in MSF for predefined streams, namely 833 // PDB, TPI, DBI and IPI. 834 for (int I = 0; I < (int)pdb::kSpecialStreamCount; ++I) 835 ExitOnErr(Builder.getMsfBuilder().addStream(0)); 836 837 // Add an Info stream. 838 auto &InfoBuilder = Builder.getInfoBuilder(); 839 InfoBuilder.setAge(BuildId.PDB70.Age); 840 841 GUID uuid; 842 memcpy(&uuid, &BuildId.PDB70.Signature, sizeof(uuid)); 843 InfoBuilder.setGuid(uuid); 844 InfoBuilder.setSignature(time(nullptr)); 845 InfoBuilder.setVersion(pdb::PdbRaw_ImplVer::PdbImplVC70); 846 847 // Add an empty DBI stream. 848 pdb::DbiStreamBuilder &DbiBuilder = Builder.getDbiBuilder(); 849 DbiBuilder.setAge(BuildId.PDB70.Age); 850 DbiBuilder.setVersionHeader(pdb::PdbDbiV70); 851 ExitOnErr(DbiBuilder.addDbgStream(pdb::DbgHeaderType::NewFPO, {})); 852 } 853 854 void PDBLinker::addSectionContrib(pdb::DbiModuleDescriptorBuilder &LinkerModule, 855 OutputSection *OS, Chunk *C) { 856 pdb::SectionContrib SC; 857 memset(&SC, 0, sizeof(SC)); 858 SC.ISect = OS->SectionIndex; 859 SC.Off = C->getRVA() - OS->getRVA(); 860 SC.Size = C->getSize(); 861 if (auto *SecChunk = dyn_cast<SectionChunk>(C)) { 862 SC.Characteristics = SecChunk->Header->Characteristics; 863 SC.Imod = SecChunk->File->ModuleDBI->getModuleIndex(); 864 ArrayRef<uint8_t> Contents = SecChunk->getContents(); 865 JamCRC CRC(0); 866 ArrayRef<char> CharContents = makeArrayRef( 867 reinterpret_cast<const char *>(Contents.data()), Contents.size()); 868 CRC.update(CharContents); 869 SC.DataCrc = CRC.getCRC(); 870 } else { 871 SC.Characteristics = OS->getCharacteristics(); 872 // FIXME: When we start creating DBI for import libraries, use those here. 873 SC.Imod = LinkerModule.getModuleIndex(); 874 } 875 SC.RelocCrc = 0; // FIXME 876 Builder.getDbiBuilder().addSectionContrib(SC); 877 } 878 879 void PDBLinker::addSections(ArrayRef<OutputSection *> OutputSections, 880 ArrayRef<uint8_t> SectionTable) { 881 // It's not entirely clear what this is, but the * Linker * module uses it. 882 pdb::DbiStreamBuilder &DbiBuilder = Builder.getDbiBuilder(); 883 NativePath = Config->PDBPath; 884 sys::fs::make_absolute(NativePath); 885 sys::path::native(NativePath, sys::path::Style::windows); 886 uint32_t PdbFilePathNI = DbiBuilder.addECName(NativePath); 887 auto &LinkerModule = ExitOnErr(DbiBuilder.addModuleInfo("* Linker *")); 888 LinkerModule.setPdbFilePathNI(PdbFilePathNI); 889 addCommonLinkerModuleSymbols(NativePath, LinkerModule, Alloc); 890 891 // Add section contributions. They must be ordered by ascending RVA. 892 for (OutputSection *OS : OutputSections) { 893 addLinkerModuleSectionSymbol(LinkerModule, *OS, Alloc); 894 for (Chunk *C : OS->getChunks()) 895 addSectionContrib(LinkerModule, OS, C); 896 } 897 898 // Add Section Map stream. 899 ArrayRef<object::coff_section> Sections = { 900 (const object::coff_section *)SectionTable.data(), 901 SectionTable.size() / sizeof(object::coff_section)}; 902 SectionMap = pdb::DbiStreamBuilder::createSectionMap(Sections); 903 DbiBuilder.setSectionMap(SectionMap); 904 905 // Add COFF section header stream. 906 ExitOnErr( 907 DbiBuilder.addDbgStream(pdb::DbgHeaderType::SectionHdr, SectionTable)); 908 } 909 910 void PDBLinker::commit() { 911 // Write to a file. 912 ExitOnErr(Builder.commit(Config->PDBPath)); 913 } 914