xref: /openbsd/gnu/llvm/lld/COFF/PDB.cpp (revision dfe94b16)
1 //===- PDB.cpp ------------------------------------------------------------===//
2 //
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6 //
7 //===----------------------------------------------------------------------===//
8 
9 #include "PDB.h"
10 #include "COFFLinkerContext.h"
11 #include "Chunks.h"
12 #include "Config.h"
13 #include "DebugTypes.h"
14 #include "Driver.h"
15 #include "SymbolTable.h"
16 #include "Symbols.h"
17 #include "TypeMerger.h"
18 #include "Writer.h"
19 #include "lld/Common/Timer.h"
20 #include "llvm/DebugInfo/CodeView/DebugFrameDataSubsection.h"
21 #include "llvm/DebugInfo/CodeView/DebugInlineeLinesSubsection.h"
22 #include "llvm/DebugInfo/CodeView/DebugLinesSubsection.h"
23 #include "llvm/DebugInfo/CodeView/DebugSubsectionRecord.h"
24 #include "llvm/DebugInfo/CodeView/GlobalTypeTableBuilder.h"
25 #include "llvm/DebugInfo/CodeView/LazyRandomTypeCollection.h"
26 #include "llvm/DebugInfo/CodeView/MergingTypeTableBuilder.h"
27 #include "llvm/DebugInfo/CodeView/RecordName.h"
28 #include "llvm/DebugInfo/CodeView/SymbolDeserializer.h"
29 #include "llvm/DebugInfo/CodeView/SymbolRecordHelpers.h"
30 #include "llvm/DebugInfo/CodeView/SymbolSerializer.h"
31 #include "llvm/DebugInfo/CodeView/TypeIndexDiscovery.h"
32 #include "llvm/DebugInfo/MSF/MSFBuilder.h"
33 #include "llvm/DebugInfo/MSF/MSFCommon.h"
34 #include "llvm/DebugInfo/PDB/GenericError.h"
35 #include "llvm/DebugInfo/PDB/Native/DbiModuleDescriptorBuilder.h"
36 #include "llvm/DebugInfo/PDB/Native/DbiStream.h"
37 #include "llvm/DebugInfo/PDB/Native/DbiStreamBuilder.h"
38 #include "llvm/DebugInfo/PDB/Native/GSIStreamBuilder.h"
39 #include "llvm/DebugInfo/PDB/Native/InfoStream.h"
40 #include "llvm/DebugInfo/PDB/Native/InfoStreamBuilder.h"
41 #include "llvm/DebugInfo/PDB/Native/NativeSession.h"
42 #include "llvm/DebugInfo/PDB/Native/PDBFile.h"
43 #include "llvm/DebugInfo/PDB/Native/PDBFileBuilder.h"
44 #include "llvm/DebugInfo/PDB/Native/PDBStringTableBuilder.h"
45 #include "llvm/DebugInfo/PDB/Native/TpiHashing.h"
46 #include "llvm/DebugInfo/PDB/Native/TpiStream.h"
47 #include "llvm/DebugInfo/PDB/Native/TpiStreamBuilder.h"
48 #include "llvm/DebugInfo/PDB/PDB.h"
49 #include "llvm/Object/COFF.h"
50 #include "llvm/Object/CVDebugRecord.h"
51 #include "llvm/Support/BinaryByteStream.h"
52 #include "llvm/Support/CRC.h"
53 #include "llvm/Support/Endian.h"
54 #include "llvm/Support/Errc.h"
55 #include "llvm/Support/FormatAdapters.h"
56 #include "llvm/Support/FormatVariadic.h"
57 #include "llvm/Support/Path.h"
58 #include "llvm/Support/ScopedPrinter.h"
59 #include <memory>
60 #include <optional>
61 
62 using namespace llvm;
63 using namespace llvm::codeview;
64 using namespace lld;
65 using namespace lld::coff;
66 
67 using llvm::object::coff_section;
68 using llvm::pdb::StringTableFixup;
69 
70 namespace {
71 class DebugSHandler;
72 
73 class PDBLinker {
74   friend DebugSHandler;
75 
76 public:
PDBLinker(COFFLinkerContext & ctx)77   PDBLinker(COFFLinkerContext &ctx)
78       : builder(bAlloc()), tMerger(ctx, bAlloc()), ctx(ctx) {
79     // This isn't strictly necessary, but link.exe usually puts an empty string
80     // as the first "valid" string in the string table, so we do the same in
81     // order to maintain as much byte-for-byte compatibility as possible.
82     pdbStrTab.insert("");
83   }
84 
85   /// Emit the basic PDB structure: initial streams, headers, etc.
86   void initialize(llvm::codeview::DebugInfo *buildId);
87 
88   /// Add natvis files specified on the command line.
89   void addNatvisFiles();
90 
91   /// Add named streams specified on the command line.
92   void addNamedStreams();
93 
94   /// Link CodeView from each object file in the symbol table into the PDB.
95   void addObjectsToPDB();
96 
97   /// Add every live, defined public symbol to the PDB.
98   void addPublicsToPDB();
99 
100   /// Link info for each import file in the symbol table into the PDB.
101   void addImportFilesToPDB();
102 
103   void createModuleDBI(ObjFile *file);
104 
105   /// Link CodeView from a single object file into the target (output) PDB.
106   /// When a precompiled headers object is linked, its TPI map might be provided
107   /// externally.
108   void addDebug(TpiSource *source);
109 
110   void addDebugSymbols(TpiSource *source);
111 
112   // Analyze the symbol records to separate module symbols from global symbols,
113   // find string references, and calculate how large the symbol stream will be
114   // in the PDB.
115   void analyzeSymbolSubsection(SectionChunk *debugChunk,
116                                uint32_t &moduleSymOffset,
117                                uint32_t &nextRelocIndex,
118                                std::vector<StringTableFixup> &stringTableFixups,
119                                BinaryStreamRef symData);
120 
121   // Write all module symbols from all live debug symbol subsections of the
122   // given object file into the given stream writer.
123   Error writeAllModuleSymbolRecords(ObjFile *file, BinaryStreamWriter &writer);
124 
125   // Callback to copy and relocate debug symbols during PDB file writing.
126   static Error commitSymbolsForObject(void *ctx, void *obj,
127                                       BinaryStreamWriter &writer);
128 
129   // Copy the symbol record, relocate it, and fix the alignment if necessary.
130   // Rewrite type indices in the record. Replace unrecognized symbol records
131   // with S_SKIP records.
132   void writeSymbolRecord(SectionChunk *debugChunk,
133                          ArrayRef<uint8_t> sectionContents, CVSymbol sym,
134                          size_t alignedSize, uint32_t &nextRelocIndex,
135                          std::vector<uint8_t> &storage);
136 
137   /// Add the section map and section contributions to the PDB.
138   void addSections(ArrayRef<uint8_t> sectionTable);
139 
140   /// Write the PDB to disk and store the Guid generated for it in *Guid.
141   void commit(codeview::GUID *guid);
142 
143   // Print statistics regarding the final PDB
144   void printStats();
145 
146 private:
147   void pdbMakeAbsolute(SmallVectorImpl<char> &fileName);
148   void translateIdSymbols(MutableArrayRef<uint8_t> &recordData,
149                           TpiSource *source);
150   void addCommonLinkerModuleSymbols(StringRef path,
151                                     pdb::DbiModuleDescriptorBuilder &mod);
152 
153   pdb::PDBFileBuilder builder;
154 
155   TypeMerger tMerger;
156 
157   COFFLinkerContext &ctx;
158 
159   /// PDBs use a single global string table for filenames in the file checksum
160   /// table.
161   DebugStringTableSubsection pdbStrTab;
162 
163   llvm::SmallString<128> nativePath;
164 
165   // For statistics
166   uint64_t globalSymbols = 0;
167   uint64_t moduleSymbols = 0;
168   uint64_t publicSymbols = 0;
169   uint64_t nbTypeRecords = 0;
170   uint64_t nbTypeRecordsBytes = 0;
171 };
172 
173 /// Represents an unrelocated DEBUG_S_FRAMEDATA subsection.
174 struct UnrelocatedFpoData {
175   SectionChunk *debugChunk = nullptr;
176   ArrayRef<uint8_t> subsecData;
177   uint32_t relocIndex = 0;
178 };
179 
180 /// The size of the magic bytes at the beginning of a symbol section or stream.
181 enum : uint32_t { kSymbolStreamMagicSize = 4 };
182 
183 class DebugSHandler {
184   PDBLinker &linker;
185 
186   /// The object file whose .debug$S sections we're processing.
187   ObjFile &file;
188 
189   /// The result of merging type indices.
190   TpiSource *source;
191 
192   /// The DEBUG_S_STRINGTABLE subsection.  These strings are referred to by
193   /// index from other records in the .debug$S section.  All of these strings
194   /// need to be added to the global PDB string table, and all references to
195   /// these strings need to have their indices re-written to refer to the
196   /// global PDB string table.
197   DebugStringTableSubsectionRef cvStrTab;
198 
199   /// The DEBUG_S_FILECHKSMS subsection.  As above, these are referred to
200   /// by other records in the .debug$S section and need to be merged into the
201   /// PDB.
202   DebugChecksumsSubsectionRef checksums;
203 
204   /// The DEBUG_S_FRAMEDATA subsection(s).  There can be more than one of
205   /// these and they need not appear in any specific order.  However, they
206   /// contain string table references which need to be re-written, so we
207   /// collect them all here and re-write them after all subsections have been
208   /// discovered and processed.
209   std::vector<UnrelocatedFpoData> frameDataSubsecs;
210 
211   /// List of string table references in symbol records. Later they will be
212   /// applied to the symbols during PDB writing.
213   std::vector<StringTableFixup> stringTableFixups;
214 
215   /// Sum of the size of all module symbol records across all .debug$S sections.
216   /// Includes record realignment and the size of the symbol stream magic
217   /// prefix.
218   uint32_t moduleStreamSize = kSymbolStreamMagicSize;
219 
220   /// Next relocation index in the current .debug$S section. Resets every
221   /// handleDebugS call.
222   uint32_t nextRelocIndex = 0;
223 
224   void advanceRelocIndex(SectionChunk *debugChunk, ArrayRef<uint8_t> subsec);
225 
226   void addUnrelocatedSubsection(SectionChunk *debugChunk,
227                                 const DebugSubsectionRecord &ss);
228 
229   void addFrameDataSubsection(SectionChunk *debugChunk,
230                               const DebugSubsectionRecord &ss);
231 
232   void recordStringTableReferences(CVSymbol sym, uint32_t symOffset);
233 
234 public:
DebugSHandler(PDBLinker & linker,ObjFile & file,TpiSource * source)235   DebugSHandler(PDBLinker &linker, ObjFile &file, TpiSource *source)
236       : linker(linker), file(file), source(source) {}
237 
238   void handleDebugS(SectionChunk *debugChunk);
239 
240   void finish();
241 };
242 }
243 
244 // Visual Studio's debugger requires absolute paths in various places in the
245 // PDB to work without additional configuration:
246 // https://docs.microsoft.com/en-us/visualstudio/debugger/debug-source-files-common-properties-solution-property-pages-dialog-box
pdbMakeAbsolute(SmallVectorImpl<char> & fileName)247 void PDBLinker::pdbMakeAbsolute(SmallVectorImpl<char> &fileName) {
248   // The default behavior is to produce paths that are valid within the context
249   // of the machine that you perform the link on.  If the linker is running on
250   // a POSIX system, we will output absolute POSIX paths.  If the linker is
251   // running on a Windows system, we will output absolute Windows paths.  If the
252   // user desires any other kind of behavior, they should explicitly pass
253   // /pdbsourcepath, in which case we will treat the exact string the user
254   // passed in as the gospel and not normalize, canonicalize it.
255   if (sys::path::is_absolute(fileName, sys::path::Style::windows) ||
256       sys::path::is_absolute(fileName, sys::path::Style::posix))
257     return;
258 
259   // It's not absolute in any path syntax.  Relative paths necessarily refer to
260   // the local file system, so we can make it native without ending up with a
261   // nonsensical path.
262   if (ctx.config.pdbSourcePath.empty()) {
263     sys::path::native(fileName);
264     sys::fs::make_absolute(fileName);
265     sys::path::remove_dots(fileName, true);
266     return;
267   }
268 
269   // Try to guess whether /PDBSOURCEPATH is a unix path or a windows path.
270   // Since PDB's are more of a Windows thing, we make this conservative and only
271   // decide that it's a unix path if we're fairly certain.  Specifically, if
272   // it starts with a forward slash.
273   SmallString<128> absoluteFileName = ctx.config.pdbSourcePath;
274   sys::path::Style guessedStyle = absoluteFileName.startswith("/")
275                                       ? sys::path::Style::posix
276                                       : sys::path::Style::windows;
277   sys::path::append(absoluteFileName, guessedStyle, fileName);
278   sys::path::native(absoluteFileName, guessedStyle);
279   sys::path::remove_dots(absoluteFileName, true, guessedStyle);
280 
281   fileName = std::move(absoluteFileName);
282 }
283 
addTypeInfo(pdb::TpiStreamBuilder & tpiBuilder,TypeCollection & typeTable)284 static void addTypeInfo(pdb::TpiStreamBuilder &tpiBuilder,
285                         TypeCollection &typeTable) {
286   // Start the TPI or IPI stream header.
287   tpiBuilder.setVersionHeader(pdb::PdbTpiV80);
288 
289   // Flatten the in memory type table and hash each type.
290   typeTable.ForEachRecord([&](TypeIndex ti, const CVType &type) {
291     auto hash = pdb::hashTypeRecord(type);
292     if (auto e = hash.takeError())
293       fatal("type hashing error");
294     tpiBuilder.addTypeRecord(type.RecordData, *hash);
295   });
296 }
297 
addGHashTypeInfo(COFFLinkerContext & ctx,pdb::PDBFileBuilder & builder)298 static void addGHashTypeInfo(COFFLinkerContext &ctx,
299                              pdb::PDBFileBuilder &builder) {
300   // Start the TPI or IPI stream header.
301   builder.getTpiBuilder().setVersionHeader(pdb::PdbTpiV80);
302   builder.getIpiBuilder().setVersionHeader(pdb::PdbTpiV80);
303   for (TpiSource *source : ctx.tpiSourceList) {
304     builder.getTpiBuilder().addTypeRecords(source->mergedTpi.recs,
305                                            source->mergedTpi.recSizes,
306                                            source->mergedTpi.recHashes);
307     builder.getIpiBuilder().addTypeRecords(source->mergedIpi.recs,
308                                            source->mergedIpi.recSizes,
309                                            source->mergedIpi.recHashes);
310   }
311 }
312 
313 static void
recordStringTableReferences(CVSymbol sym,uint32_t symOffset,std::vector<StringTableFixup> & stringTableFixups)314 recordStringTableReferences(CVSymbol sym, uint32_t symOffset,
315                             std::vector<StringTableFixup> &stringTableFixups) {
316   // For now we only handle S_FILESTATIC, but we may need the same logic for
317   // S_DEFRANGE and S_DEFRANGE_SUBFIELD.  However, I cannot seem to generate any
318   // PDBs that contain these types of records, so because of the uncertainty
319   // they are omitted here until we can prove that it's necessary.
320   switch (sym.kind()) {
321   case SymbolKind::S_FILESTATIC: {
322     // FileStaticSym::ModFileOffset
323     uint32_t ref = *reinterpret_cast<const ulittle32_t *>(&sym.data()[8]);
324     stringTableFixups.push_back({ref, symOffset + 8});
325     break;
326   }
327   case SymbolKind::S_DEFRANGE:
328   case SymbolKind::S_DEFRANGE_SUBFIELD:
329     log("Not fixing up string table reference in S_DEFRANGE / "
330         "S_DEFRANGE_SUBFIELD record");
331     break;
332   default:
333     break;
334   }
335 }
336 
symbolKind(ArrayRef<uint8_t> recordData)337 static SymbolKind symbolKind(ArrayRef<uint8_t> recordData) {
338   const RecordPrefix *prefix =
339       reinterpret_cast<const RecordPrefix *>(recordData.data());
340   return static_cast<SymbolKind>(uint16_t(prefix->RecordKind));
341 }
342 
343 /// MSVC translates S_PROC_ID_END to S_END, and S_[LG]PROC32_ID to S_[LG]PROC32
translateIdSymbols(MutableArrayRef<uint8_t> & recordData,TpiSource * source)344 void PDBLinker::translateIdSymbols(MutableArrayRef<uint8_t> &recordData,
345                                    TpiSource *source) {
346   RecordPrefix *prefix = reinterpret_cast<RecordPrefix *>(recordData.data());
347 
348   SymbolKind kind = symbolKind(recordData);
349 
350   if (kind == SymbolKind::S_PROC_ID_END) {
351     prefix->RecordKind = SymbolKind::S_END;
352     return;
353   }
354 
355   // In an object file, GPROC32_ID has an embedded reference which refers to the
356   // single object file type index namespace.  This has already been translated
357   // to the PDB file's ID stream index space, but we need to convert this to a
358   // symbol that refers to the type stream index space.  So we remap again from
359   // ID index space to type index space.
360   if (kind == SymbolKind::S_GPROC32_ID || kind == SymbolKind::S_LPROC32_ID) {
361     SmallVector<TiReference, 1> refs;
362     auto content = recordData.drop_front(sizeof(RecordPrefix));
363     CVSymbol sym(recordData);
364     discoverTypeIndicesInSymbol(sym, refs);
365     assert(refs.size() == 1);
366     assert(refs.front().Count == 1);
367 
368     TypeIndex *ti =
369         reinterpret_cast<TypeIndex *>(content.data() + refs[0].Offset);
370     // `ti` is the index of a FuncIdRecord or MemberFuncIdRecord which lives in
371     // the IPI stream, whose `FunctionType` member refers to the TPI stream.
372     // Note that LF_FUNC_ID and LF_MFUNC_ID have the same record layout, and
373     // in both cases we just need the second type index.
374     if (!ti->isSimple() && !ti->isNoneType()) {
375       TypeIndex newType = TypeIndex(SimpleTypeKind::NotTranslated);
376       if (ctx.config.debugGHashes) {
377         auto idToType = tMerger.funcIdToType.find(*ti);
378         if (idToType != tMerger.funcIdToType.end())
379           newType = idToType->second;
380       } else {
381         if (tMerger.getIDTable().contains(*ti)) {
382           CVType funcIdData = tMerger.getIDTable().getType(*ti);
383           if (funcIdData.length() >= 8 && (funcIdData.kind() == LF_FUNC_ID ||
384                                            funcIdData.kind() == LF_MFUNC_ID)) {
385             newType = *reinterpret_cast<const TypeIndex *>(&funcIdData.data()[8]);
386           }
387         }
388       }
389       if (newType == TypeIndex(SimpleTypeKind::NotTranslated)) {
390         warn(formatv("procedure symbol record for `{0}` in {1} refers to PDB "
391                      "item index {2:X} which is not a valid function ID record",
392                      getSymbolName(CVSymbol(recordData)),
393                      source->file->getName(), ti->getIndex()));
394       }
395       *ti = newType;
396     }
397 
398     kind = (kind == SymbolKind::S_GPROC32_ID) ? SymbolKind::S_GPROC32
399                                               : SymbolKind::S_LPROC32;
400     prefix->RecordKind = uint16_t(kind);
401   }
402 }
403 
404 namespace {
405 struct ScopeRecord {
406   ulittle32_t ptrParent;
407   ulittle32_t ptrEnd;
408 };
409 } // namespace
410 
411 /// Given a pointer to a symbol record that opens a scope, return a pointer to
412 /// the scope fields.
getSymbolScopeFields(void * sym)413 static ScopeRecord *getSymbolScopeFields(void *sym) {
414   return reinterpret_cast<ScopeRecord *>(reinterpret_cast<char *>(sym) +
415                                          sizeof(RecordPrefix));
416 }
417 
418 // To open a scope, push the offset of the current symbol record onto the
419 // stack.
scopeStackOpen(SmallVectorImpl<uint32_t> & stack,std::vector<uint8_t> & storage)420 static void scopeStackOpen(SmallVectorImpl<uint32_t> &stack,
421                            std::vector<uint8_t> &storage) {
422   stack.push_back(storage.size());
423 }
424 
425 // To close a scope, update the record that opened the scope.
scopeStackClose(SmallVectorImpl<uint32_t> & stack,std::vector<uint8_t> & storage,uint32_t storageBaseOffset,ObjFile * file)426 static void scopeStackClose(SmallVectorImpl<uint32_t> &stack,
427                             std::vector<uint8_t> &storage,
428                             uint32_t storageBaseOffset, ObjFile *file) {
429   if (stack.empty()) {
430     warn("symbol scopes are not balanced in " + file->getName());
431     return;
432   }
433 
434   // Update ptrEnd of the record that opened the scope to point to the
435   // current record, if we are writing into the module symbol stream.
436   uint32_t offOpen = stack.pop_back_val();
437   uint32_t offEnd = storageBaseOffset + storage.size();
438   uint32_t offParent = stack.empty() ? 0 : (stack.back() + storageBaseOffset);
439   ScopeRecord *scopeRec = getSymbolScopeFields(&(storage)[offOpen]);
440   scopeRec->ptrParent = offParent;
441   scopeRec->ptrEnd = offEnd;
442 }
443 
symbolGoesInModuleStream(const CVSymbol & sym,unsigned symbolScopeDepth)444 static bool symbolGoesInModuleStream(const CVSymbol &sym,
445                                      unsigned symbolScopeDepth) {
446   switch (sym.kind()) {
447   case SymbolKind::S_GDATA32:
448   case SymbolKind::S_GTHREAD32:
449   // We really should not be seeing S_PROCREF and S_LPROCREF in the first place
450   // since they are synthesized by the linker in response to S_GPROC32 and
451   // S_LPROC32, but if we do see them, don't put them in the module stream I
452   // guess.
453   case SymbolKind::S_PROCREF:
454   case SymbolKind::S_LPROCREF:
455     return false;
456   // S_UDT and S_CONSTANT records go in the module stream if it is not a global record.
457   case SymbolKind::S_UDT:
458   case SymbolKind::S_CONSTANT:
459     return symbolScopeDepth > 0;
460   // S_GDATA32 does not go in the module stream, but S_LDATA32 does.
461   case SymbolKind::S_LDATA32:
462   case SymbolKind::S_LTHREAD32:
463   default:
464     return true;
465   }
466 }
467 
symbolGoesInGlobalsStream(const CVSymbol & sym,unsigned symbolScopeDepth)468 static bool symbolGoesInGlobalsStream(const CVSymbol &sym,
469                                       unsigned symbolScopeDepth) {
470   switch (sym.kind()) {
471   case SymbolKind::S_GDATA32:
472   case SymbolKind::S_GTHREAD32:
473   case SymbolKind::S_GPROC32:
474   case SymbolKind::S_LPROC32:
475   case SymbolKind::S_GPROC32_ID:
476   case SymbolKind::S_LPROC32_ID:
477   // We really should not be seeing S_PROCREF and S_LPROCREF in the first place
478   // since they are synthesized by the linker in response to S_GPROC32 and
479   // S_LPROC32, but if we do see them, copy them straight through.
480   case SymbolKind::S_PROCREF:
481   case SymbolKind::S_LPROCREF:
482     return true;
483   // Records that go in the globals stream, unless they are function-local.
484   case SymbolKind::S_UDT:
485   case SymbolKind::S_LDATA32:
486   case SymbolKind::S_LTHREAD32:
487   case SymbolKind::S_CONSTANT:
488     return symbolScopeDepth == 0;
489   default:
490     return false;
491   }
492 }
493 
addGlobalSymbol(pdb::GSIStreamBuilder & builder,uint16_t modIndex,unsigned symOffset,std::vector<uint8_t> & symStorage)494 static void addGlobalSymbol(pdb::GSIStreamBuilder &builder, uint16_t modIndex,
495                             unsigned symOffset,
496                             std::vector<uint8_t> &symStorage) {
497   CVSymbol sym{ArrayRef(symStorage)};
498   switch (sym.kind()) {
499   case SymbolKind::S_CONSTANT:
500   case SymbolKind::S_UDT:
501   case SymbolKind::S_GDATA32:
502   case SymbolKind::S_GTHREAD32:
503   case SymbolKind::S_LTHREAD32:
504   case SymbolKind::S_LDATA32:
505   case SymbolKind::S_PROCREF:
506   case SymbolKind::S_LPROCREF: {
507     // sym is a temporary object, so we have to copy and reallocate the record
508     // to stabilize it.
509     uint8_t *mem = bAlloc().Allocate<uint8_t>(sym.length());
510     memcpy(mem, sym.data().data(), sym.length());
511     builder.addGlobalSymbol(CVSymbol(ArrayRef(mem, sym.length())));
512     break;
513   }
514   case SymbolKind::S_GPROC32:
515   case SymbolKind::S_LPROC32: {
516     SymbolRecordKind k = SymbolRecordKind::ProcRefSym;
517     if (sym.kind() == SymbolKind::S_LPROC32)
518       k = SymbolRecordKind::LocalProcRef;
519     ProcRefSym ps(k);
520     ps.Module = modIndex;
521     // For some reason, MSVC seems to add one to this value.
522     ++ps.Module;
523     ps.Name = getSymbolName(sym);
524     ps.SumName = 0;
525     ps.SymOffset = symOffset;
526     builder.addGlobalSymbol(ps);
527     break;
528   }
529   default:
530     llvm_unreachable("Invalid symbol kind!");
531   }
532 }
533 
534 // Check if the given symbol record was padded for alignment. If so, zero out
535 // the padding bytes and update the record prefix with the new size.
fixRecordAlignment(MutableArrayRef<uint8_t> recordBytes,size_t oldSize)536 static void fixRecordAlignment(MutableArrayRef<uint8_t> recordBytes,
537                                size_t oldSize) {
538   size_t alignedSize = recordBytes.size();
539   if (oldSize == alignedSize)
540     return;
541   reinterpret_cast<RecordPrefix *>(recordBytes.data())->RecordLen =
542       alignedSize - 2;
543   memset(recordBytes.data() + oldSize, 0, alignedSize - oldSize);
544 }
545 
546 // Replace any record with a skip record of the same size. This is useful when
547 // we have reserved size for a symbol record, but type index remapping fails.
replaceWithSkipRecord(MutableArrayRef<uint8_t> recordBytes)548 static void replaceWithSkipRecord(MutableArrayRef<uint8_t> recordBytes) {
549   memset(recordBytes.data(), 0, recordBytes.size());
550   auto *prefix = reinterpret_cast<RecordPrefix *>(recordBytes.data());
551   prefix->RecordKind = SymbolKind::S_SKIP;
552   prefix->RecordLen = recordBytes.size() - 2;
553 }
554 
555 // Copy the symbol record, relocate it, and fix the alignment if necessary.
556 // Rewrite type indices in the record. Replace unrecognized symbol records with
557 // S_SKIP records.
writeSymbolRecord(SectionChunk * debugChunk,ArrayRef<uint8_t> sectionContents,CVSymbol sym,size_t alignedSize,uint32_t & nextRelocIndex,std::vector<uint8_t> & storage)558 void PDBLinker::writeSymbolRecord(SectionChunk *debugChunk,
559                                   ArrayRef<uint8_t> sectionContents,
560                                   CVSymbol sym, size_t alignedSize,
561                                   uint32_t &nextRelocIndex,
562                                   std::vector<uint8_t> &storage) {
563   // Allocate space for the new record at the end of the storage.
564   storage.resize(storage.size() + alignedSize);
565   auto recordBytes = MutableArrayRef<uint8_t>(storage).take_back(alignedSize);
566 
567   // Copy the symbol record and relocate it.
568   debugChunk->writeAndRelocateSubsection(sectionContents, sym.data(),
569                                          nextRelocIndex, recordBytes.data());
570   fixRecordAlignment(recordBytes, sym.length());
571 
572   // Re-map all the type index references.
573   TpiSource *source = debugChunk->file->debugTypesObj;
574   if (!source->remapTypesInSymbolRecord(recordBytes)) {
575     log("ignoring unknown symbol record with kind 0x" + utohexstr(sym.kind()));
576     replaceWithSkipRecord(recordBytes);
577   }
578 
579   // An object file may have S_xxx_ID symbols, but these get converted to
580   // "real" symbols in a PDB.
581   translateIdSymbols(recordBytes, source);
582 }
583 
analyzeSymbolSubsection(SectionChunk * debugChunk,uint32_t & moduleSymOffset,uint32_t & nextRelocIndex,std::vector<StringTableFixup> & stringTableFixups,BinaryStreamRef symData)584 void PDBLinker::analyzeSymbolSubsection(
585     SectionChunk *debugChunk, uint32_t &moduleSymOffset,
586     uint32_t &nextRelocIndex, std::vector<StringTableFixup> &stringTableFixups,
587     BinaryStreamRef symData) {
588   ObjFile *file = debugChunk->file;
589   uint32_t moduleSymStart = moduleSymOffset;
590 
591   uint32_t scopeLevel = 0;
592   std::vector<uint8_t> storage;
593   ArrayRef<uint8_t> sectionContents = debugChunk->getContents();
594 
595   ArrayRef<uint8_t> symsBuffer;
596   cantFail(symData.readBytes(0, symData.getLength(), symsBuffer));
597 
598   if (symsBuffer.empty())
599     warn("empty symbols subsection in " + file->getName());
600 
601   Error ec = forEachCodeViewRecord<CVSymbol>(
602       symsBuffer, [&](CVSymbol sym) -> llvm::Error {
603         // Track the current scope.
604         if (symbolOpensScope(sym.kind()))
605           ++scopeLevel;
606         else if (symbolEndsScope(sym.kind()))
607           --scopeLevel;
608 
609         uint32_t alignedSize =
610             alignTo(sym.length(), alignOf(CodeViewContainer::Pdb));
611 
612         // Copy global records. Some global records (mainly procedures)
613         // reference the current offset into the module stream.
614         if (symbolGoesInGlobalsStream(sym, scopeLevel)) {
615           storage.clear();
616           writeSymbolRecord(debugChunk, sectionContents, sym, alignedSize,
617                             nextRelocIndex, storage);
618           addGlobalSymbol(builder.getGsiBuilder(),
619                           file->moduleDBI->getModuleIndex(), moduleSymOffset,
620                           storage);
621           ++globalSymbols;
622         }
623 
624         // Update the module stream offset and record any string table index
625         // references. There are very few of these and they will be rewritten
626         // later during PDB writing.
627         if (symbolGoesInModuleStream(sym, scopeLevel)) {
628           recordStringTableReferences(sym, moduleSymOffset, stringTableFixups);
629           moduleSymOffset += alignedSize;
630           ++moduleSymbols;
631         }
632 
633         return Error::success();
634       });
635 
636   // If we encountered corrupt records, ignore the whole subsection. If we wrote
637   // any partial records, undo that. For globals, we just keep what we have and
638   // continue.
639   if (ec) {
640     warn("corrupt symbol records in " + file->getName());
641     moduleSymOffset = moduleSymStart;
642     consumeError(std::move(ec));
643   }
644 }
645 
writeAllModuleSymbolRecords(ObjFile * file,BinaryStreamWriter & writer)646 Error PDBLinker::writeAllModuleSymbolRecords(ObjFile *file,
647                                              BinaryStreamWriter &writer) {
648   ExitOnError exitOnErr;
649   std::vector<uint8_t> storage;
650   SmallVector<uint32_t, 4> scopes;
651 
652   // Visit all live .debug$S sections a second time, and write them to the PDB.
653   for (SectionChunk *debugChunk : file->getDebugChunks()) {
654     if (!debugChunk->live || debugChunk->getSize() == 0 ||
655         debugChunk->getSectionName() != ".debug$S")
656       continue;
657 
658     ArrayRef<uint8_t> sectionContents = debugChunk->getContents();
659     auto contents =
660         SectionChunk::consumeDebugMagic(sectionContents, ".debug$S");
661     DebugSubsectionArray subsections;
662     BinaryStreamReader reader(contents, support::little);
663     exitOnErr(reader.readArray(subsections, contents.size()));
664 
665     uint32_t nextRelocIndex = 0;
666     for (const DebugSubsectionRecord &ss : subsections) {
667       if (ss.kind() != DebugSubsectionKind::Symbols)
668         continue;
669 
670       uint32_t moduleSymStart = writer.getOffset();
671       scopes.clear();
672       storage.clear();
673       ArrayRef<uint8_t> symsBuffer;
674       BinaryStreamRef sr = ss.getRecordData();
675       cantFail(sr.readBytes(0, sr.getLength(), symsBuffer));
676       auto ec = forEachCodeViewRecord<CVSymbol>(
677           symsBuffer, [&](CVSymbol sym) -> llvm::Error {
678             // Track the current scope. Only update records in the postmerge
679             // pass.
680             if (symbolOpensScope(sym.kind()))
681               scopeStackOpen(scopes, storage);
682             else if (symbolEndsScope(sym.kind()))
683               scopeStackClose(scopes, storage, moduleSymStart, file);
684 
685             // Copy, relocate, and rewrite each module symbol.
686             if (symbolGoesInModuleStream(sym, scopes.size())) {
687               uint32_t alignedSize =
688                   alignTo(sym.length(), alignOf(CodeViewContainer::Pdb));
689               writeSymbolRecord(debugChunk, sectionContents, sym, alignedSize,
690                                 nextRelocIndex, storage);
691             }
692             return Error::success();
693           });
694 
695       // If we encounter corrupt records in the second pass, ignore them. We
696       // already warned about them in the first analysis pass.
697       if (ec) {
698         consumeError(std::move(ec));
699         storage.clear();
700       }
701 
702       // Writing bytes has a very high overhead, so write the entire subsection
703       // at once.
704       // TODO: Consider buffering symbols for the entire object file to reduce
705       // overhead even further.
706       if (Error e = writer.writeBytes(storage))
707         return e;
708     }
709   }
710 
711   return Error::success();
712 }
713 
commitSymbolsForObject(void * ctx,void * obj,BinaryStreamWriter & writer)714 Error PDBLinker::commitSymbolsForObject(void *ctx, void *obj,
715                                         BinaryStreamWriter &writer) {
716   return static_cast<PDBLinker *>(ctx)->writeAllModuleSymbolRecords(
717       static_cast<ObjFile *>(obj), writer);
718 }
719 
createSectionContrib(COFFLinkerContext & ctx,const Chunk * c,uint32_t modi)720 static pdb::SectionContrib createSectionContrib(COFFLinkerContext &ctx,
721                                                 const Chunk *c, uint32_t modi) {
722   OutputSection *os = c ? ctx.getOutputSection(c) : nullptr;
723   pdb::SectionContrib sc;
724   memset(&sc, 0, sizeof(sc));
725   sc.ISect = os ? os->sectionIndex : llvm::pdb::kInvalidStreamIndex;
726   sc.Off = c && os ? c->getRVA() - os->getRVA() : 0;
727   sc.Size = c ? c->getSize() : -1;
728   if (auto *secChunk = dyn_cast_or_null<SectionChunk>(c)) {
729     sc.Characteristics = secChunk->header->Characteristics;
730     sc.Imod = secChunk->file->moduleDBI->getModuleIndex();
731     ArrayRef<uint8_t> contents = secChunk->getContents();
732     JamCRC crc(0);
733     crc.update(contents);
734     sc.DataCrc = crc.getCRC();
735   } else {
736     sc.Characteristics = os ? os->header.Characteristics : 0;
737     sc.Imod = modi;
738   }
739   sc.RelocCrc = 0; // FIXME
740 
741   return sc;
742 }
743 
744 static uint32_t
translateStringTableIndex(uint32_t objIndex,const DebugStringTableSubsectionRef & objStrTable,DebugStringTableSubsection & pdbStrTable)745 translateStringTableIndex(uint32_t objIndex,
746                           const DebugStringTableSubsectionRef &objStrTable,
747                           DebugStringTableSubsection &pdbStrTable) {
748   auto expectedString = objStrTable.getString(objIndex);
749   if (!expectedString) {
750     warn("Invalid string table reference");
751     consumeError(expectedString.takeError());
752     return 0;
753   }
754 
755   return pdbStrTable.insert(*expectedString);
756 }
757 
handleDebugS(SectionChunk * debugChunk)758 void DebugSHandler::handleDebugS(SectionChunk *debugChunk) {
759   // Note that we are processing the *unrelocated* section contents. They will
760   // be relocated later during PDB writing.
761   ArrayRef<uint8_t> contents = debugChunk->getContents();
762   contents = SectionChunk::consumeDebugMagic(contents, ".debug$S");
763   DebugSubsectionArray subsections;
764   BinaryStreamReader reader(contents, support::little);
765   ExitOnError exitOnErr;
766   exitOnErr(reader.readArray(subsections, contents.size()));
767   debugChunk->sortRelocations();
768 
769   // Reset the relocation index, since this is a new section.
770   nextRelocIndex = 0;
771 
772   for (const DebugSubsectionRecord &ss : subsections) {
773     // Ignore subsections with the 'ignore' bit. Some versions of the Visual C++
774     // runtime have subsections with this bit set.
775     if (uint32_t(ss.kind()) & codeview::SubsectionIgnoreFlag)
776       continue;
777 
778     switch (ss.kind()) {
779     case DebugSubsectionKind::StringTable: {
780       assert(!cvStrTab.valid() &&
781              "Encountered multiple string table subsections!");
782       exitOnErr(cvStrTab.initialize(ss.getRecordData()));
783       break;
784     }
785     case DebugSubsectionKind::FileChecksums:
786       assert(!checksums.valid() &&
787              "Encountered multiple checksum subsections!");
788       exitOnErr(checksums.initialize(ss.getRecordData()));
789       break;
790     case DebugSubsectionKind::Lines:
791     case DebugSubsectionKind::InlineeLines:
792       addUnrelocatedSubsection(debugChunk, ss);
793       break;
794     case DebugSubsectionKind::FrameData:
795       addFrameDataSubsection(debugChunk, ss);
796       break;
797     case DebugSubsectionKind::Symbols:
798       linker.analyzeSymbolSubsection(debugChunk, moduleStreamSize,
799                                      nextRelocIndex, stringTableFixups,
800                                      ss.getRecordData());
801       break;
802 
803     case DebugSubsectionKind::CrossScopeImports:
804     case DebugSubsectionKind::CrossScopeExports:
805       // These appear to relate to cross-module optimization, so we might use
806       // these for ThinLTO.
807       break;
808 
809     case DebugSubsectionKind::ILLines:
810     case DebugSubsectionKind::FuncMDTokenMap:
811     case DebugSubsectionKind::TypeMDTokenMap:
812     case DebugSubsectionKind::MergedAssemblyInput:
813       // These appear to relate to .Net assembly info.
814       break;
815 
816     case DebugSubsectionKind::CoffSymbolRVA:
817       // Unclear what this is for.
818       break;
819 
820     case DebugSubsectionKind::XfgHashType:
821     case DebugSubsectionKind::XfgHashVirtual:
822       break;
823 
824     default:
825       warn("ignoring unknown debug$S subsection kind 0x" +
826            utohexstr(uint32_t(ss.kind())) + " in file " + toString(&file));
827       break;
828     }
829   }
830 }
831 
advanceRelocIndex(SectionChunk * sc,ArrayRef<uint8_t> subsec)832 void DebugSHandler::advanceRelocIndex(SectionChunk *sc,
833                                       ArrayRef<uint8_t> subsec) {
834   ptrdiff_t vaBegin = subsec.data() - sc->getContents().data();
835   assert(vaBegin > 0);
836   auto relocs = sc->getRelocs();
837   for (; nextRelocIndex < relocs.size(); ++nextRelocIndex) {
838     if (relocs[nextRelocIndex].VirtualAddress >= vaBegin)
839       break;
840   }
841 }
842 
843 namespace {
844 /// Wrapper class for unrelocated line and inlinee line subsections, which
845 /// require only relocation and type index remapping to add to the PDB.
846 class UnrelocatedDebugSubsection : public DebugSubsection {
847 public:
UnrelocatedDebugSubsection(DebugSubsectionKind k,SectionChunk * debugChunk,ArrayRef<uint8_t> subsec,uint32_t relocIndex)848   UnrelocatedDebugSubsection(DebugSubsectionKind k, SectionChunk *debugChunk,
849                              ArrayRef<uint8_t> subsec, uint32_t relocIndex)
850       : DebugSubsection(k), debugChunk(debugChunk), subsec(subsec),
851         relocIndex(relocIndex) {}
852 
853   Error commit(BinaryStreamWriter &writer) const override;
calculateSerializedSize() const854   uint32_t calculateSerializedSize() const override { return subsec.size(); }
855 
856   SectionChunk *debugChunk;
857   ArrayRef<uint8_t> subsec;
858   uint32_t relocIndex;
859 };
860 } // namespace
861 
commit(BinaryStreamWriter & writer) const862 Error UnrelocatedDebugSubsection::commit(BinaryStreamWriter &writer) const {
863   std::vector<uint8_t> relocatedBytes(subsec.size());
864   uint32_t tmpRelocIndex = relocIndex;
865   debugChunk->writeAndRelocateSubsection(debugChunk->getContents(), subsec,
866                                          tmpRelocIndex, relocatedBytes.data());
867 
868   // Remap type indices in inlinee line records in place. Skip the remapping if
869   // there is no type source info.
870   if (kind() == DebugSubsectionKind::InlineeLines &&
871       debugChunk->file->debugTypesObj) {
872     TpiSource *source = debugChunk->file->debugTypesObj;
873     DebugInlineeLinesSubsectionRef inlineeLines;
874     BinaryStreamReader storageReader(relocatedBytes, support::little);
875     ExitOnError exitOnErr;
876     exitOnErr(inlineeLines.initialize(storageReader));
877     for (const InlineeSourceLine &line : inlineeLines) {
878       TypeIndex &inlinee = *const_cast<TypeIndex *>(&line.Header->Inlinee);
879       if (!source->remapTypeIndex(inlinee, TiRefKind::IndexRef)) {
880         log("bad inlinee line record in " + debugChunk->file->getName() +
881             " with bad inlinee index 0x" + utohexstr(inlinee.getIndex()));
882       }
883     }
884   }
885 
886   return writer.writeBytes(relocatedBytes);
887 }
888 
addUnrelocatedSubsection(SectionChunk * debugChunk,const DebugSubsectionRecord & ss)889 void DebugSHandler::addUnrelocatedSubsection(SectionChunk *debugChunk,
890                                              const DebugSubsectionRecord &ss) {
891   ArrayRef<uint8_t> subsec;
892   BinaryStreamRef sr = ss.getRecordData();
893   cantFail(sr.readBytes(0, sr.getLength(), subsec));
894   advanceRelocIndex(debugChunk, subsec);
895   file.moduleDBI->addDebugSubsection(
896       std::make_shared<UnrelocatedDebugSubsection>(ss.kind(), debugChunk,
897                                                    subsec, nextRelocIndex));
898 }
899 
addFrameDataSubsection(SectionChunk * debugChunk,const DebugSubsectionRecord & ss)900 void DebugSHandler::addFrameDataSubsection(SectionChunk *debugChunk,
901                                            const DebugSubsectionRecord &ss) {
902   // We need to re-write string table indices here, so save off all
903   // frame data subsections until we've processed the entire list of
904   // subsections so that we can be sure we have the string table.
905   ArrayRef<uint8_t> subsec;
906   BinaryStreamRef sr = ss.getRecordData();
907   cantFail(sr.readBytes(0, sr.getLength(), subsec));
908   advanceRelocIndex(debugChunk, subsec);
909   frameDataSubsecs.push_back({debugChunk, subsec, nextRelocIndex});
910 }
911 
912 static Expected<StringRef>
getFileName(const DebugStringTableSubsectionRef & strings,const DebugChecksumsSubsectionRef & checksums,uint32_t fileID)913 getFileName(const DebugStringTableSubsectionRef &strings,
914             const DebugChecksumsSubsectionRef &checksums, uint32_t fileID) {
915   auto iter = checksums.getArray().at(fileID);
916   if (iter == checksums.getArray().end())
917     return make_error<CodeViewError>(cv_error_code::no_records);
918   uint32_t offset = iter->FileNameOffset;
919   return strings.getString(offset);
920 }
921 
finish()922 void DebugSHandler::finish() {
923   pdb::DbiStreamBuilder &dbiBuilder = linker.builder.getDbiBuilder();
924 
925   // If we found any symbol records for the module symbol stream, defer them.
926   if (moduleStreamSize > kSymbolStreamMagicSize)
927     file.moduleDBI->addUnmergedSymbols(&file, moduleStreamSize -
928                                                   kSymbolStreamMagicSize);
929 
930   // We should have seen all debug subsections across the entire object file now
931   // which means that if a StringTable subsection and Checksums subsection were
932   // present, now is the time to handle them.
933   if (!cvStrTab.valid()) {
934     if (checksums.valid())
935       fatal(".debug$S sections with a checksums subsection must also contain a "
936             "string table subsection");
937 
938     if (!stringTableFixups.empty())
939       warn("No StringTable subsection was encountered, but there are string "
940            "table references");
941     return;
942   }
943 
944   ExitOnError exitOnErr;
945 
946   // Handle FPO data. Each subsection begins with a single image base
947   // relocation, which is then added to the RvaStart of each frame data record
948   // when it is added to the PDB. The string table indices for the FPO program
949   // must also be rewritten to use the PDB string table.
950   for (const UnrelocatedFpoData &subsec : frameDataSubsecs) {
951     // Relocate the first four bytes of the subection and reinterpret them as a
952     // 32 bit integer.
953     SectionChunk *debugChunk = subsec.debugChunk;
954     ArrayRef<uint8_t> subsecData = subsec.subsecData;
955     uint32_t relocIndex = subsec.relocIndex;
956     auto unrelocatedRvaStart = subsecData.take_front(sizeof(uint32_t));
957     uint8_t relocatedRvaStart[sizeof(uint32_t)];
958     debugChunk->writeAndRelocateSubsection(debugChunk->getContents(),
959                                            unrelocatedRvaStart, relocIndex,
960                                            &relocatedRvaStart[0]);
961     uint32_t rvaStart;
962     memcpy(&rvaStart, &relocatedRvaStart[0], sizeof(uint32_t));
963 
964     // Copy each frame data record, add in rvaStart, translate string table
965     // indices, and add the record to the PDB.
966     DebugFrameDataSubsectionRef fds;
967     BinaryStreamReader reader(subsecData, support::little);
968     exitOnErr(fds.initialize(reader));
969     for (codeview::FrameData fd : fds) {
970       fd.RvaStart += rvaStart;
971       fd.FrameFunc =
972           translateStringTableIndex(fd.FrameFunc, cvStrTab, linker.pdbStrTab);
973       dbiBuilder.addNewFpoData(fd);
974     }
975   }
976 
977   // Translate the fixups and pass them off to the module builder so they will
978   // be applied during writing.
979   for (StringTableFixup &ref : stringTableFixups) {
980     ref.StrTabOffset =
981         translateStringTableIndex(ref.StrTabOffset, cvStrTab, linker.pdbStrTab);
982   }
983   file.moduleDBI->setStringTableFixups(std::move(stringTableFixups));
984 
985   // Make a new file checksum table that refers to offsets in the PDB-wide
986   // string table. Generally the string table subsection appears after the
987   // checksum table, so we have to do this after looping over all the
988   // subsections. The new checksum table must have the exact same layout and
989   // size as the original. Otherwise, the file references in the line and
990   // inlinee line tables will be incorrect.
991   auto newChecksums = std::make_unique<DebugChecksumsSubsection>(linker.pdbStrTab);
992   for (const FileChecksumEntry &fc : checksums) {
993     SmallString<128> filename =
994         exitOnErr(cvStrTab.getString(fc.FileNameOffset));
995     linker.pdbMakeAbsolute(filename);
996     exitOnErr(dbiBuilder.addModuleSourceFile(*file.moduleDBI, filename));
997     newChecksums->addChecksum(filename, fc.Kind, fc.Checksum);
998   }
999   assert(checksums.getArray().getUnderlyingStream().getLength() ==
1000              newChecksums->calculateSerializedSize() &&
1001          "file checksum table must have same layout");
1002 
1003   file.moduleDBI->addDebugSubsection(std::move(newChecksums));
1004 }
1005 
warnUnusable(InputFile * f,Error e,bool shouldWarn)1006 static void warnUnusable(InputFile *f, Error e, bool shouldWarn) {
1007   if (!shouldWarn) {
1008     consumeError(std::move(e));
1009     return;
1010   }
1011   auto msg = "Cannot use debug info for '" + toString(f) + "' [LNK4099]";
1012   if (e)
1013     warn(msg + "\n>>> failed to load reference " + toString(std::move(e)));
1014   else
1015     warn(msg);
1016 }
1017 
1018 // Allocate memory for a .debug$S / .debug$F section and relocate it.
relocateDebugChunk(SectionChunk & debugChunk)1019 static ArrayRef<uint8_t> relocateDebugChunk(SectionChunk &debugChunk) {
1020   uint8_t *buffer = bAlloc().Allocate<uint8_t>(debugChunk.getSize());
1021   assert(debugChunk.getOutputSectionIdx() == 0 &&
1022          "debug sections should not be in output sections");
1023   debugChunk.writeTo(buffer);
1024   return ArrayRef(buffer, debugChunk.getSize());
1025 }
1026 
addDebugSymbols(TpiSource * source)1027 void PDBLinker::addDebugSymbols(TpiSource *source) {
1028   // If this TpiSource doesn't have an object file, it must be from a type
1029   // server PDB. Type server PDBs do not contain symbols, so stop here.
1030   if (!source->file)
1031     return;
1032 
1033   ScopedTimer t(ctx.symbolMergingTimer);
1034   ExitOnError exitOnErr;
1035   pdb::DbiStreamBuilder &dbiBuilder = builder.getDbiBuilder();
1036   DebugSHandler dsh(*this, *source->file, source);
1037   // Now do all live .debug$S and .debug$F sections.
1038   for (SectionChunk *debugChunk : source->file->getDebugChunks()) {
1039     if (!debugChunk->live || debugChunk->getSize() == 0)
1040       continue;
1041 
1042     bool isDebugS = debugChunk->getSectionName() == ".debug$S";
1043     bool isDebugF = debugChunk->getSectionName() == ".debug$F";
1044     if (!isDebugS && !isDebugF)
1045       continue;
1046 
1047     if (isDebugS) {
1048       dsh.handleDebugS(debugChunk);
1049     } else if (isDebugF) {
1050       // Handle old FPO data .debug$F sections. These are relatively rare.
1051       ArrayRef<uint8_t> relocatedDebugContents =
1052           relocateDebugChunk(*debugChunk);
1053       FixedStreamArray<object::FpoData> fpoRecords;
1054       BinaryStreamReader reader(relocatedDebugContents, support::little);
1055       uint32_t count = relocatedDebugContents.size() / sizeof(object::FpoData);
1056       exitOnErr(reader.readArray(fpoRecords, count));
1057 
1058       // These are already relocated and don't refer to the string table, so we
1059       // can just copy it.
1060       for (const object::FpoData &fd : fpoRecords)
1061         dbiBuilder.addOldFpoData(fd);
1062     }
1063   }
1064 
1065   // Do any post-processing now that all .debug$S sections have been processed.
1066   dsh.finish();
1067 }
1068 
1069 // Add a module descriptor for every object file. We need to put an absolute
1070 // path to the object into the PDB. If this is a plain object, we make its
1071 // path absolute. If it's an object in an archive, we make the archive path
1072 // absolute.
createModuleDBI(ObjFile * file)1073 void PDBLinker::createModuleDBI(ObjFile *file) {
1074   pdb::DbiStreamBuilder &dbiBuilder = builder.getDbiBuilder();
1075   SmallString<128> objName;
1076   ExitOnError exitOnErr;
1077 
1078   bool inArchive = !file->parentName.empty();
1079   objName = inArchive ? file->parentName : file->getName();
1080   pdbMakeAbsolute(objName);
1081   StringRef modName = inArchive ? file->getName() : objName.str();
1082 
1083   file->moduleDBI = &exitOnErr(dbiBuilder.addModuleInfo(modName));
1084   file->moduleDBI->setObjFileName(objName);
1085   file->moduleDBI->setMergeSymbolsCallback(this, &commitSymbolsForObject);
1086 
1087   ArrayRef<Chunk *> chunks = file->getChunks();
1088   uint32_t modi = file->moduleDBI->getModuleIndex();
1089 
1090   for (Chunk *c : chunks) {
1091     auto *secChunk = dyn_cast<SectionChunk>(c);
1092     if (!secChunk || !secChunk->live)
1093       continue;
1094     pdb::SectionContrib sc = createSectionContrib(ctx, secChunk, modi);
1095     file->moduleDBI->setFirstSectionContrib(sc);
1096     break;
1097   }
1098 }
1099 
addDebug(TpiSource * source)1100 void PDBLinker::addDebug(TpiSource *source) {
1101   // Before we can process symbol substreams from .debug$S, we need to process
1102   // type information, file checksums, and the string table. Add type info to
1103   // the PDB first, so that we can get the map from object file type and item
1104   // indices to PDB type and item indices.  If we are using ghashes, types have
1105   // already been merged.
1106   if (!ctx.config.debugGHashes) {
1107     ScopedTimer t(ctx.typeMergingTimer);
1108     if (Error e = source->mergeDebugT(&tMerger)) {
1109       // If type merging failed, ignore the symbols.
1110       warnUnusable(source->file, std::move(e),
1111                    ctx.config.warnDebugInfoUnusable);
1112       return;
1113     }
1114   }
1115 
1116   // If type merging failed, ignore the symbols.
1117   Error typeError = std::move(source->typeMergingError);
1118   if (typeError) {
1119     warnUnusable(source->file, std::move(typeError),
1120                  ctx.config.warnDebugInfoUnusable);
1121     return;
1122   }
1123 
1124   addDebugSymbols(source);
1125 }
1126 
createPublic(COFFLinkerContext & ctx,Defined * def)1127 static pdb::BulkPublic createPublic(COFFLinkerContext &ctx, Defined *def) {
1128   pdb::BulkPublic pub;
1129   pub.Name = def->getName().data();
1130   pub.NameLen = def->getName().size();
1131 
1132   PublicSymFlags flags = PublicSymFlags::None;
1133   if (auto *d = dyn_cast<DefinedCOFF>(def)) {
1134     if (d->getCOFFSymbol().isFunctionDefinition())
1135       flags = PublicSymFlags::Function;
1136   } else if (isa<DefinedImportThunk>(def)) {
1137     flags = PublicSymFlags::Function;
1138   }
1139   pub.setFlags(flags);
1140 
1141   OutputSection *os = ctx.getOutputSection(def->getChunk());
1142   assert(os && "all publics should be in final image");
1143   pub.Offset = def->getRVA() - os->getRVA();
1144   pub.Segment = os->sectionIndex;
1145   return pub;
1146 }
1147 
1148 // Add all object files to the PDB. Merge .debug$T sections into IpiData and
1149 // TpiData.
addObjectsToPDB()1150 void PDBLinker::addObjectsToPDB() {
1151   ScopedTimer t1(ctx.addObjectsTimer);
1152 
1153   // Create module descriptors
1154   for (ObjFile *obj : ctx.objFileInstances)
1155     createModuleDBI(obj);
1156 
1157   // Reorder dependency type sources to come first.
1158   tMerger.sortDependencies();
1159 
1160   // Merge type information from input files using global type hashing.
1161   if (ctx.config.debugGHashes)
1162     tMerger.mergeTypesWithGHash();
1163 
1164   // Merge dependencies and then regular objects.
1165   for (TpiSource *source : tMerger.dependencySources)
1166     addDebug(source);
1167   for (TpiSource *source : tMerger.objectSources)
1168     addDebug(source);
1169 
1170   builder.getStringTableBuilder().setStrings(pdbStrTab);
1171   t1.stop();
1172 
1173   // Construct TPI and IPI stream contents.
1174   ScopedTimer t2(ctx.tpiStreamLayoutTimer);
1175 
1176   // Collect all the merged types.
1177   if (ctx.config.debugGHashes) {
1178     addGHashTypeInfo(ctx, builder);
1179   } else {
1180     addTypeInfo(builder.getTpiBuilder(), tMerger.getTypeTable());
1181     addTypeInfo(builder.getIpiBuilder(), tMerger.getIDTable());
1182   }
1183   t2.stop();
1184 
1185   if (ctx.config.showSummary) {
1186     for (TpiSource *source : ctx.tpiSourceList) {
1187       nbTypeRecords += source->nbTypeRecords;
1188       nbTypeRecordsBytes += source->nbTypeRecordsBytes;
1189     }
1190   }
1191 }
1192 
addPublicsToPDB()1193 void PDBLinker::addPublicsToPDB() {
1194   ScopedTimer t3(ctx.publicsLayoutTimer);
1195   // Compute the public symbols.
1196   auto &gsiBuilder = builder.getGsiBuilder();
1197   std::vector<pdb::BulkPublic> publics;
1198   ctx.symtab.forEachSymbol([&publics, this](Symbol *s) {
1199     // Only emit external, defined, live symbols that have a chunk. Static,
1200     // non-external symbols do not appear in the symbol table.
1201     auto *def = dyn_cast<Defined>(s);
1202     if (def && def->isLive() && def->getChunk()) {
1203       // Don't emit a public symbol for coverage data symbols. LLVM code
1204       // coverage (and PGO) create a __profd_ and __profc_ symbol for every
1205       // function. C++ mangled names are long, and tend to dominate symbol size.
1206       // Including these names triples the size of the public stream, which
1207       // results in bloated PDB files. These symbols generally are not helpful
1208       // for debugging, so suppress them.
1209       StringRef name = def->getName();
1210       if (name.data()[0] == '_' && name.data()[1] == '_') {
1211         // Drop the '_' prefix for x86.
1212         if (ctx.config.machine == I386)
1213           name = name.drop_front(1);
1214         if (name.startswith("__profd_") || name.startswith("__profc_") ||
1215             name.startswith("__covrec_")) {
1216           return;
1217         }
1218       }
1219       publics.push_back(createPublic(ctx, def));
1220     }
1221   });
1222 
1223   if (!publics.empty()) {
1224     publicSymbols = publics.size();
1225     gsiBuilder.addPublicSymbols(std::move(publics));
1226   }
1227 }
1228 
printStats()1229 void PDBLinker::printStats() {
1230   if (!ctx.config.showSummary)
1231     return;
1232 
1233   SmallString<256> buffer;
1234   raw_svector_ostream stream(buffer);
1235 
1236   stream << center_justify("Summary", 80) << '\n'
1237          << std::string(80, '-') << '\n';
1238 
1239   auto print = [&](uint64_t v, StringRef s) {
1240     stream << format_decimal(v, 15) << " " << s << '\n';
1241   };
1242 
1243   print(ctx.objFileInstances.size(),
1244         "Input OBJ files (expanded from all cmd-line inputs)");
1245   print(ctx.typeServerSourceMappings.size(), "PDB type server dependencies");
1246   print(ctx.precompSourceMappings.size(), "Precomp OBJ dependencies");
1247   print(nbTypeRecords, "Input type records");
1248   print(nbTypeRecordsBytes, "Input type records bytes");
1249   print(builder.getTpiBuilder().getRecordCount(), "Merged TPI records");
1250   print(builder.getIpiBuilder().getRecordCount(), "Merged IPI records");
1251   print(pdbStrTab.size(), "Output PDB strings");
1252   print(globalSymbols, "Global symbol records");
1253   print(moduleSymbols, "Module symbol records");
1254   print(publicSymbols, "Public symbol records");
1255 
1256   auto printLargeInputTypeRecs = [&](StringRef name,
1257                                      ArrayRef<uint32_t> recCounts,
1258                                      TypeCollection &records) {
1259     // Figure out which type indices were responsible for the most duplicate
1260     // bytes in the input files. These should be frequently emitted LF_CLASS and
1261     // LF_FIELDLIST records.
1262     struct TypeSizeInfo {
1263       uint32_t typeSize;
1264       uint32_t dupCount;
1265       TypeIndex typeIndex;
1266       uint64_t totalInputSize() const { return uint64_t(dupCount) * typeSize; }
1267       bool operator<(const TypeSizeInfo &rhs) const {
1268         if (totalInputSize() == rhs.totalInputSize())
1269           return typeIndex < rhs.typeIndex;
1270         return totalInputSize() < rhs.totalInputSize();
1271       }
1272     };
1273     SmallVector<TypeSizeInfo, 0> tsis;
1274     for (auto e : enumerate(recCounts)) {
1275       TypeIndex typeIndex = TypeIndex::fromArrayIndex(e.index());
1276       uint32_t typeSize = records.getType(typeIndex).length();
1277       uint32_t dupCount = e.value();
1278       tsis.push_back({typeSize, dupCount, typeIndex});
1279     }
1280 
1281     if (!tsis.empty()) {
1282       stream << "\nTop 10 types responsible for the most " << name
1283              << " input:\n";
1284       stream << "       index     total bytes   count     size\n";
1285       llvm::sort(tsis);
1286       unsigned i = 0;
1287       for (const auto &tsi : reverse(tsis)) {
1288         stream << formatv("  {0,10:X}: {1,14:N} = {2,5:N} * {3,6:N}\n",
1289                           tsi.typeIndex.getIndex(), tsi.totalInputSize(),
1290                           tsi.dupCount, tsi.typeSize);
1291         if (++i >= 10)
1292           break;
1293       }
1294       stream
1295           << "Run llvm-pdbutil to print details about a particular record:\n";
1296       stream << formatv("llvm-pdbutil dump -{0}s -{0}-index {1:X} {2}\n",
1297                         (name == "TPI" ? "type" : "id"),
1298                         tsis.back().typeIndex.getIndex(), ctx.config.pdbPath);
1299     }
1300   };
1301 
1302   if (!ctx.config.debugGHashes) {
1303     // FIXME: Reimplement for ghash.
1304     printLargeInputTypeRecs("TPI", tMerger.tpiCounts, tMerger.getTypeTable());
1305     printLargeInputTypeRecs("IPI", tMerger.ipiCounts, tMerger.getIDTable());
1306   }
1307 
1308   message(buffer);
1309 }
1310 
addNatvisFiles()1311 void PDBLinker::addNatvisFiles() {
1312   for (StringRef file : ctx.config.natvisFiles) {
1313     ErrorOr<std::unique_ptr<MemoryBuffer>> dataOrErr =
1314         MemoryBuffer::getFile(file);
1315     if (!dataOrErr) {
1316       warn("Cannot open input file: " + file);
1317       continue;
1318     }
1319     std::unique_ptr<MemoryBuffer> data = std::move(*dataOrErr);
1320 
1321     // Can't use takeBuffer() here since addInjectedSource() takes ownership.
1322     if (ctx.driver.tar)
1323       ctx.driver.tar->append(relativeToRoot(data->getBufferIdentifier()),
1324                              data->getBuffer());
1325 
1326     builder.addInjectedSource(file, std::move(data));
1327   }
1328 }
1329 
addNamedStreams()1330 void PDBLinker::addNamedStreams() {
1331   ExitOnError exitOnErr;
1332   for (const auto &streamFile : ctx.config.namedStreams) {
1333     const StringRef stream = streamFile.getKey(), file = streamFile.getValue();
1334     ErrorOr<std::unique_ptr<MemoryBuffer>> dataOrErr =
1335         MemoryBuffer::getFile(file);
1336     if (!dataOrErr) {
1337       warn("Cannot open input file: " + file);
1338       continue;
1339     }
1340     std::unique_ptr<MemoryBuffer> data = std::move(*dataOrErr);
1341     exitOnErr(builder.addNamedStream(stream, data->getBuffer()));
1342     ctx.driver.takeBuffer(std::move(data));
1343   }
1344 }
1345 
toCodeViewMachine(COFF::MachineTypes machine)1346 static codeview::CPUType toCodeViewMachine(COFF::MachineTypes machine) {
1347   switch (machine) {
1348   case COFF::IMAGE_FILE_MACHINE_AMD64:
1349     return codeview::CPUType::X64;
1350   case COFF::IMAGE_FILE_MACHINE_ARM:
1351     return codeview::CPUType::ARM7;
1352   case COFF::IMAGE_FILE_MACHINE_ARM64:
1353     return codeview::CPUType::ARM64;
1354   case COFF::IMAGE_FILE_MACHINE_ARMNT:
1355     return codeview::CPUType::ARMNT;
1356   case COFF::IMAGE_FILE_MACHINE_I386:
1357     return codeview::CPUType::Intel80386;
1358   default:
1359     llvm_unreachable("Unsupported CPU Type");
1360   }
1361 }
1362 
1363 // Mimic MSVC which surrounds arguments containing whitespace with quotes.
1364 // Double double-quotes are handled, so that the resulting string can be
1365 // executed again on the cmd-line.
quote(ArrayRef<StringRef> args)1366 static std::string quote(ArrayRef<StringRef> args) {
1367   std::string r;
1368   r.reserve(256);
1369   for (StringRef a : args) {
1370     if (!r.empty())
1371       r.push_back(' ');
1372     bool hasWS = a.contains(' ');
1373     bool hasQ = a.contains('"');
1374     if (hasWS || hasQ)
1375       r.push_back('"');
1376     if (hasQ) {
1377       SmallVector<StringRef, 4> s;
1378       a.split(s, '"');
1379       r.append(join(s, "\"\""));
1380     } else {
1381       r.append(std::string(a));
1382     }
1383     if (hasWS || hasQ)
1384       r.push_back('"');
1385   }
1386   return r;
1387 }
1388 
fillLinkerVerRecord(Compile3Sym & cs,MachineTypes machine)1389 static void fillLinkerVerRecord(Compile3Sym &cs, MachineTypes machine) {
1390   cs.Machine = toCodeViewMachine(machine);
1391   // Interestingly, if we set the string to 0.0.0.0, then when trying to view
1392   // local variables WinDbg emits an error that private symbols are not present.
1393   // By setting this to a valid MSVC linker version string, local variables are
1394   // displayed properly.   As such, even though it is not representative of
1395   // LLVM's version information, we need this for compatibility.
1396   cs.Flags = CompileSym3Flags::None;
1397   cs.VersionBackendBuild = 25019;
1398   cs.VersionBackendMajor = 14;
1399   cs.VersionBackendMinor = 10;
1400   cs.VersionBackendQFE = 0;
1401 
1402   // MSVC also sets the frontend to 0.0.0.0 since this is specifically for the
1403   // linker module (which is by definition a backend), so we don't need to do
1404   // anything here.  Also, it seems we can use "LLVM Linker" for the linker name
1405   // without any problems.  Only the backend version has to be hardcoded to a
1406   // magic number.
1407   cs.VersionFrontendBuild = 0;
1408   cs.VersionFrontendMajor = 0;
1409   cs.VersionFrontendMinor = 0;
1410   cs.VersionFrontendQFE = 0;
1411   cs.Version = "LLVM Linker";
1412   cs.setLanguage(SourceLanguage::Link);
1413 }
1414 
addCommonLinkerModuleSymbols(StringRef path,pdb::DbiModuleDescriptorBuilder & mod)1415 void PDBLinker::addCommonLinkerModuleSymbols(
1416     StringRef path, pdb::DbiModuleDescriptorBuilder &mod) {
1417   ObjNameSym ons(SymbolRecordKind::ObjNameSym);
1418   EnvBlockSym ebs(SymbolRecordKind::EnvBlockSym);
1419   Compile3Sym cs(SymbolRecordKind::Compile3Sym);
1420   fillLinkerVerRecord(cs, ctx.config.machine);
1421 
1422   ons.Name = "* Linker *";
1423   ons.Signature = 0;
1424 
1425   ArrayRef<StringRef> args = ArrayRef(ctx.config.argv).drop_front();
1426   std::string argStr = quote(args);
1427   ebs.Fields.push_back("cwd");
1428   SmallString<64> cwd;
1429   if (ctx.config.pdbSourcePath.empty())
1430     sys::fs::current_path(cwd);
1431   else
1432     cwd = ctx.config.pdbSourcePath;
1433   ebs.Fields.push_back(cwd);
1434   ebs.Fields.push_back("exe");
1435   SmallString<64> exe = ctx.config.argv[0];
1436   pdbMakeAbsolute(exe);
1437   ebs.Fields.push_back(exe);
1438   ebs.Fields.push_back("pdb");
1439   ebs.Fields.push_back(path);
1440   ebs.Fields.push_back("cmd");
1441   ebs.Fields.push_back(argStr);
1442   llvm::BumpPtrAllocator &bAlloc = lld::bAlloc();
1443   mod.addSymbol(codeview::SymbolSerializer::writeOneSymbol(
1444       ons, bAlloc, CodeViewContainer::Pdb));
1445   mod.addSymbol(codeview::SymbolSerializer::writeOneSymbol(
1446       cs, bAlloc, CodeViewContainer::Pdb));
1447   mod.addSymbol(codeview::SymbolSerializer::writeOneSymbol(
1448       ebs, bAlloc, CodeViewContainer::Pdb));
1449 }
1450 
addLinkerModuleCoffGroup(PartialSection * sec,pdb::DbiModuleDescriptorBuilder & mod,OutputSection & os)1451 static void addLinkerModuleCoffGroup(PartialSection *sec,
1452                                      pdb::DbiModuleDescriptorBuilder &mod,
1453                                      OutputSection &os) {
1454   // If there's a section, there's at least one chunk
1455   assert(!sec->chunks.empty());
1456   const Chunk *firstChunk = *sec->chunks.begin();
1457   const Chunk *lastChunk = *sec->chunks.rbegin();
1458 
1459   // Emit COFF group
1460   CoffGroupSym cgs(SymbolRecordKind::CoffGroupSym);
1461   cgs.Name = sec->name;
1462   cgs.Segment = os.sectionIndex;
1463   cgs.Offset = firstChunk->getRVA() - os.getRVA();
1464   cgs.Size = lastChunk->getRVA() + lastChunk->getSize() - firstChunk->getRVA();
1465   cgs.Characteristics = sec->characteristics;
1466 
1467   // Somehow .idata sections & sections groups in the debug symbol stream have
1468   // the "write" flag set. However the section header for the corresponding
1469   // .idata section doesn't have it.
1470   if (cgs.Name.startswith(".idata"))
1471     cgs.Characteristics |= llvm::COFF::IMAGE_SCN_MEM_WRITE;
1472 
1473   mod.addSymbol(codeview::SymbolSerializer::writeOneSymbol(
1474       cgs, bAlloc(), CodeViewContainer::Pdb));
1475 }
1476 
addLinkerModuleSectionSymbol(pdb::DbiModuleDescriptorBuilder & mod,OutputSection & os,bool isMinGW)1477 static void addLinkerModuleSectionSymbol(pdb::DbiModuleDescriptorBuilder &mod,
1478                                          OutputSection &os, bool isMinGW) {
1479   SectionSym sym(SymbolRecordKind::SectionSym);
1480   sym.Alignment = 12; // 2^12 = 4KB
1481   sym.Characteristics = os.header.Characteristics;
1482   sym.Length = os.getVirtualSize();
1483   sym.Name = os.name;
1484   sym.Rva = os.getRVA();
1485   sym.SectionNumber = os.sectionIndex;
1486   mod.addSymbol(codeview::SymbolSerializer::writeOneSymbol(
1487       sym, bAlloc(), CodeViewContainer::Pdb));
1488 
1489   // Skip COFF groups in MinGW because it adds a significant footprint to the
1490   // PDB, due to each function being in its own section
1491   if (isMinGW)
1492     return;
1493 
1494   // Output COFF groups for individual chunks of this section.
1495   for (PartialSection *sec : os.contribSections) {
1496     addLinkerModuleCoffGroup(sec, mod, os);
1497   }
1498 }
1499 
1500 // Add all import files as modules to the PDB.
addImportFilesToPDB()1501 void PDBLinker::addImportFilesToPDB() {
1502   if (ctx.importFileInstances.empty())
1503     return;
1504 
1505   ExitOnError exitOnErr;
1506   std::map<std::string, llvm::pdb::DbiModuleDescriptorBuilder *> dllToModuleDbi;
1507 
1508   for (ImportFile *file : ctx.importFileInstances) {
1509     if (!file->live)
1510       continue;
1511 
1512     if (!file->thunkSym)
1513       continue;
1514 
1515     if (!file->thunkLive)
1516         continue;
1517 
1518     std::string dll = StringRef(file->dllName).lower();
1519     llvm::pdb::DbiModuleDescriptorBuilder *&mod = dllToModuleDbi[dll];
1520     if (!mod) {
1521       pdb::DbiStreamBuilder &dbiBuilder = builder.getDbiBuilder();
1522       SmallString<128> libPath = file->parentName;
1523       pdbMakeAbsolute(libPath);
1524       sys::path::native(libPath);
1525 
1526       // Name modules similar to MSVC's link.exe.
1527       // The first module is the simple dll filename
1528       llvm::pdb::DbiModuleDescriptorBuilder &firstMod =
1529           exitOnErr(dbiBuilder.addModuleInfo(file->dllName));
1530       firstMod.setObjFileName(libPath);
1531       pdb::SectionContrib sc =
1532           createSectionContrib(ctx, nullptr, llvm::pdb::kInvalidStreamIndex);
1533       firstMod.setFirstSectionContrib(sc);
1534 
1535       // The second module is where the import stream goes.
1536       mod = &exitOnErr(dbiBuilder.addModuleInfo("Import:" + file->dllName));
1537       mod->setObjFileName(libPath);
1538     }
1539 
1540     DefinedImportThunk *thunk = cast<DefinedImportThunk>(file->thunkSym);
1541     Chunk *thunkChunk = thunk->getChunk();
1542     OutputSection *thunkOS = ctx.getOutputSection(thunkChunk);
1543 
1544     ObjNameSym ons(SymbolRecordKind::ObjNameSym);
1545     Compile3Sym cs(SymbolRecordKind::Compile3Sym);
1546     Thunk32Sym ts(SymbolRecordKind::Thunk32Sym);
1547     ScopeEndSym es(SymbolRecordKind::ScopeEndSym);
1548 
1549     ons.Name = file->dllName;
1550     ons.Signature = 0;
1551 
1552     fillLinkerVerRecord(cs, ctx.config.machine);
1553 
1554     ts.Name = thunk->getName();
1555     ts.Parent = 0;
1556     ts.End = 0;
1557     ts.Next = 0;
1558     ts.Thunk = ThunkOrdinal::Standard;
1559     ts.Length = thunkChunk->getSize();
1560     ts.Segment = thunkOS->sectionIndex;
1561     ts.Offset = thunkChunk->getRVA() - thunkOS->getRVA();
1562 
1563     llvm::BumpPtrAllocator &bAlloc = lld::bAlloc();
1564     mod->addSymbol(codeview::SymbolSerializer::writeOneSymbol(
1565         ons, bAlloc, CodeViewContainer::Pdb));
1566     mod->addSymbol(codeview::SymbolSerializer::writeOneSymbol(
1567         cs, bAlloc, CodeViewContainer::Pdb));
1568 
1569     CVSymbol newSym = codeview::SymbolSerializer::writeOneSymbol(
1570         ts, bAlloc, CodeViewContainer::Pdb);
1571 
1572     // Write ptrEnd for the S_THUNK32.
1573     ScopeRecord *thunkSymScope =
1574         getSymbolScopeFields(const_cast<uint8_t *>(newSym.data().data()));
1575 
1576     mod->addSymbol(newSym);
1577 
1578     newSym = codeview::SymbolSerializer::writeOneSymbol(es, bAlloc,
1579                                                         CodeViewContainer::Pdb);
1580     thunkSymScope->ptrEnd = mod->getNextSymbolOffset();
1581 
1582     mod->addSymbol(newSym);
1583 
1584     pdb::SectionContrib sc =
1585         createSectionContrib(ctx, thunk->getChunk(), mod->getModuleIndex());
1586     mod->setFirstSectionContrib(sc);
1587   }
1588 }
1589 
1590 // Creates a PDB file.
createPDB(COFFLinkerContext & ctx,ArrayRef<uint8_t> sectionTable,llvm::codeview::DebugInfo * buildId)1591 void lld::coff::createPDB(COFFLinkerContext &ctx,
1592                           ArrayRef<uint8_t> sectionTable,
1593                           llvm::codeview::DebugInfo *buildId) {
1594   ScopedTimer t1(ctx.totalPdbLinkTimer);
1595   PDBLinker pdb(ctx);
1596 
1597   pdb.initialize(buildId);
1598   pdb.addObjectsToPDB();
1599   pdb.addImportFilesToPDB();
1600   pdb.addSections(sectionTable);
1601   pdb.addNatvisFiles();
1602   pdb.addNamedStreams();
1603   pdb.addPublicsToPDB();
1604 
1605   ScopedTimer t2(ctx.diskCommitTimer);
1606   codeview::GUID guid;
1607   pdb.commit(&guid);
1608   memcpy(&buildId->PDB70.Signature, &guid, 16);
1609 
1610   t2.stop();
1611   t1.stop();
1612   pdb.printStats();
1613 }
1614 
initialize(llvm::codeview::DebugInfo * buildId)1615 void PDBLinker::initialize(llvm::codeview::DebugInfo *buildId) {
1616   ExitOnError exitOnErr;
1617   exitOnErr(builder.initialize(ctx.config.pdbPageSize));
1618 
1619   buildId->Signature.CVSignature = OMF::Signature::PDB70;
1620   // Signature is set to a hash of the PDB contents when the PDB is done.
1621   memset(buildId->PDB70.Signature, 0, 16);
1622   buildId->PDB70.Age = 1;
1623 
1624   // Create streams in MSF for predefined streams, namely
1625   // PDB, TPI, DBI and IPI.
1626   for (int i = 0; i < (int)pdb::kSpecialStreamCount; ++i)
1627     exitOnErr(builder.getMsfBuilder().addStream(0));
1628 
1629   // Add an Info stream.
1630   auto &infoBuilder = builder.getInfoBuilder();
1631   infoBuilder.setVersion(pdb::PdbRaw_ImplVer::PdbImplVC70);
1632   infoBuilder.setHashPDBContentsToGUID(true);
1633 
1634   // Add an empty DBI stream.
1635   pdb::DbiStreamBuilder &dbiBuilder = builder.getDbiBuilder();
1636   dbiBuilder.setAge(buildId->PDB70.Age);
1637   dbiBuilder.setVersionHeader(pdb::PdbDbiV70);
1638   dbiBuilder.setMachineType(ctx.config.machine);
1639   // Technically we are not link.exe 14.11, but there are known cases where
1640   // debugging tools on Windows expect Microsoft-specific version numbers or
1641   // they fail to work at all.  Since we know we produce PDBs that are
1642   // compatible with LINK 14.11, we set that version number here.
1643   dbiBuilder.setBuildNumber(14, 11);
1644 }
1645 
addSections(ArrayRef<uint8_t> sectionTable)1646 void PDBLinker::addSections(ArrayRef<uint8_t> sectionTable) {
1647   ExitOnError exitOnErr;
1648   // It's not entirely clear what this is, but the * Linker * module uses it.
1649   pdb::DbiStreamBuilder &dbiBuilder = builder.getDbiBuilder();
1650   nativePath = ctx.config.pdbPath;
1651   pdbMakeAbsolute(nativePath);
1652   uint32_t pdbFilePathNI = dbiBuilder.addECName(nativePath);
1653   auto &linkerModule = exitOnErr(dbiBuilder.addModuleInfo("* Linker *"));
1654   linkerModule.setPdbFilePathNI(pdbFilePathNI);
1655   addCommonLinkerModuleSymbols(nativePath, linkerModule);
1656 
1657   // Add section contributions. They must be ordered by ascending RVA.
1658   for (OutputSection *os : ctx.outputSections) {
1659     addLinkerModuleSectionSymbol(linkerModule, *os, ctx.config.mingw);
1660     for (Chunk *c : os->chunks) {
1661       pdb::SectionContrib sc =
1662           createSectionContrib(ctx, c, linkerModule.getModuleIndex());
1663       builder.getDbiBuilder().addSectionContrib(sc);
1664     }
1665   }
1666 
1667   // The * Linker * first section contrib is only used along with /INCREMENTAL,
1668   // to provide trampolines thunks for incremental function patching. Set this
1669   // as "unused" because LLD doesn't support /INCREMENTAL link.
1670   pdb::SectionContrib sc =
1671       createSectionContrib(ctx, nullptr, llvm::pdb::kInvalidStreamIndex);
1672   linkerModule.setFirstSectionContrib(sc);
1673 
1674   // Add Section Map stream.
1675   ArrayRef<object::coff_section> sections = {
1676       (const object::coff_section *)sectionTable.data(),
1677       sectionTable.size() / sizeof(object::coff_section)};
1678   dbiBuilder.createSectionMap(sections);
1679 
1680   // Add COFF section header stream.
1681   exitOnErr(
1682       dbiBuilder.addDbgStream(pdb::DbgHeaderType::SectionHdr, sectionTable));
1683 }
1684 
commit(codeview::GUID * guid)1685 void PDBLinker::commit(codeview::GUID *guid) {
1686   // Print an error and continue if PDB writing fails. This is done mainly so
1687   // the user can see the output of /time and /summary, which is very helpful
1688   // when trying to figure out why a PDB file is too large.
1689   if (Error e = builder.commit(ctx.config.pdbPath, guid)) {
1690     checkError(std::move(e));
1691     error("failed to write PDB file " + Twine(ctx.config.pdbPath));
1692   }
1693 }
1694 
getSecrelReloc(llvm::COFF::MachineTypes machine)1695 static uint32_t getSecrelReloc(llvm::COFF::MachineTypes machine) {
1696   switch (machine) {
1697   case AMD64:
1698     return COFF::IMAGE_REL_AMD64_SECREL;
1699   case I386:
1700     return COFF::IMAGE_REL_I386_SECREL;
1701   case ARMNT:
1702     return COFF::IMAGE_REL_ARM_SECREL;
1703   case ARM64:
1704     return COFF::IMAGE_REL_ARM64_SECREL;
1705   default:
1706     llvm_unreachable("unknown machine type");
1707   }
1708 }
1709 
1710 // Try to find a line table for the given offset Addr into the given chunk C.
1711 // If a line table was found, the line table, the string and checksum tables
1712 // that are used to interpret the line table, and the offset of Addr in the line
1713 // table are stored in the output arguments. Returns whether a line table was
1714 // found.
findLineTable(const SectionChunk * c,uint32_t addr,DebugStringTableSubsectionRef & cvStrTab,DebugChecksumsSubsectionRef & checksums,DebugLinesSubsectionRef & lines,uint32_t & offsetInLinetable)1715 static bool findLineTable(const SectionChunk *c, uint32_t addr,
1716                           DebugStringTableSubsectionRef &cvStrTab,
1717                           DebugChecksumsSubsectionRef &checksums,
1718                           DebugLinesSubsectionRef &lines,
1719                           uint32_t &offsetInLinetable) {
1720   ExitOnError exitOnErr;
1721   const uint32_t secrelReloc = getSecrelReloc(c->file->ctx.config.machine);
1722 
1723   for (SectionChunk *dbgC : c->file->getDebugChunks()) {
1724     if (dbgC->getSectionName() != ".debug$S")
1725       continue;
1726 
1727     // Build a mapping of SECREL relocations in dbgC that refer to `c`.
1728     DenseMap<uint32_t, uint32_t> secrels;
1729     for (const coff_relocation &r : dbgC->getRelocs()) {
1730       if (r.Type != secrelReloc)
1731         continue;
1732 
1733       if (auto *s = dyn_cast_or_null<DefinedRegular>(
1734               c->file->getSymbols()[r.SymbolTableIndex]))
1735         if (s->getChunk() == c)
1736           secrels[r.VirtualAddress] = s->getValue();
1737     }
1738 
1739     ArrayRef<uint8_t> contents =
1740         SectionChunk::consumeDebugMagic(dbgC->getContents(), ".debug$S");
1741     DebugSubsectionArray subsections;
1742     BinaryStreamReader reader(contents, support::little);
1743     exitOnErr(reader.readArray(subsections, contents.size()));
1744 
1745     for (const DebugSubsectionRecord &ss : subsections) {
1746       switch (ss.kind()) {
1747       case DebugSubsectionKind::StringTable: {
1748         assert(!cvStrTab.valid() &&
1749                "Encountered multiple string table subsections!");
1750         exitOnErr(cvStrTab.initialize(ss.getRecordData()));
1751         break;
1752       }
1753       case DebugSubsectionKind::FileChecksums:
1754         assert(!checksums.valid() &&
1755                "Encountered multiple checksum subsections!");
1756         exitOnErr(checksums.initialize(ss.getRecordData()));
1757         break;
1758       case DebugSubsectionKind::Lines: {
1759         ArrayRef<uint8_t> bytes;
1760         auto ref = ss.getRecordData();
1761         exitOnErr(ref.readLongestContiguousChunk(0, bytes));
1762         size_t offsetInDbgC = bytes.data() - dbgC->getContents().data();
1763 
1764         // Check whether this line table refers to C.
1765         auto i = secrels.find(offsetInDbgC);
1766         if (i == secrels.end())
1767           break;
1768 
1769         // Check whether this line table covers Addr in C.
1770         DebugLinesSubsectionRef linesTmp;
1771         exitOnErr(linesTmp.initialize(BinaryStreamReader(ref)));
1772         uint32_t offsetInC = i->second + linesTmp.header()->RelocOffset;
1773         if (addr < offsetInC || addr >= offsetInC + linesTmp.header()->CodeSize)
1774           break;
1775 
1776         assert(!lines.header() &&
1777                "Encountered multiple line tables for function!");
1778         exitOnErr(lines.initialize(BinaryStreamReader(ref)));
1779         offsetInLinetable = addr - offsetInC;
1780         break;
1781       }
1782       default:
1783         break;
1784       }
1785 
1786       if (cvStrTab.valid() && checksums.valid() && lines.header())
1787         return true;
1788     }
1789   }
1790 
1791   return false;
1792 }
1793 
1794 // Use CodeView line tables to resolve a file and line number for the given
1795 // offset into the given chunk and return them, or std::nullopt if a line table
1796 // was not found.
1797 std::optional<std::pair<StringRef, uint32_t>>
getFileLineCodeView(const SectionChunk * c,uint32_t addr)1798 lld::coff::getFileLineCodeView(const SectionChunk *c, uint32_t addr) {
1799   ExitOnError exitOnErr;
1800 
1801   DebugStringTableSubsectionRef cvStrTab;
1802   DebugChecksumsSubsectionRef checksums;
1803   DebugLinesSubsectionRef lines;
1804   uint32_t offsetInLinetable;
1805 
1806   if (!findLineTable(c, addr, cvStrTab, checksums, lines, offsetInLinetable))
1807     return std::nullopt;
1808 
1809   std::optional<uint32_t> nameIndex;
1810   std::optional<uint32_t> lineNumber;
1811   for (const LineColumnEntry &entry : lines) {
1812     for (const LineNumberEntry &ln : entry.LineNumbers) {
1813       LineInfo li(ln.Flags);
1814       if (ln.Offset > offsetInLinetable) {
1815         if (!nameIndex) {
1816           nameIndex = entry.NameIndex;
1817           lineNumber = li.getStartLine();
1818         }
1819         StringRef filename =
1820             exitOnErr(getFileName(cvStrTab, checksums, *nameIndex));
1821         return std::make_pair(filename, *lineNumber);
1822       }
1823       nameIndex = entry.NameIndex;
1824       lineNumber = li.getStartLine();
1825     }
1826   }
1827   if (!nameIndex)
1828     return std::nullopt;
1829   StringRef filename = exitOnErr(getFileName(cvStrTab, checksums, *nameIndex));
1830   return std::make_pair(filename, *lineNumber);
1831 }
1832