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
62using namespace llvm;
63using namespace llvm::codeview;
64using namespace lld;
65using namespace lld::coff;
66
67using llvm::object::coff_section;
68using llvm::pdb::StringTableFixup;
69
70namespace {
71class DebugSHandler;
72
73class PDBLinker {
74  friend DebugSHandler;
75
76public:
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
146private:
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.
174struct 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.
181enum : uint32_t { kSymbolStreamMagicSize = 4 };
182
183class 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
234public:
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
247void 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
284static 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
298static 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
313static void
314recordStringTableReferences(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
337static 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
344void 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
404namespace {
405struct 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.
413static 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.
420static 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.
426static 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
444static 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
468static 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
494static 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.
536static 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.
548static 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.
558void 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
584void 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
646Error 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
714Error PDBLinker::commitSymbolsForObject(void *ctx, void *obj,
715                                        BinaryStreamWriter &writer) {
716  return static_cast<PDBLinker *>(ctx)->writeAllModuleSymbolRecords(
717      static_cast<ObjFile *>(obj), writer);
718}
719
720static 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
744static uint32_t
745translateStringTableIndex(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
758void 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
832void 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
843namespace {
844/// Wrapper class for unrelocated line and inlinee line subsections, which
845/// require only relocation and type index remapping to add to the PDB.
846class UnrelocatedDebugSubsection : public DebugSubsection {
847public:
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;
854  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
862Error 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
889void 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
900void 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
912static Expected<StringRef>
913getFileName(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
922void 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
1006static 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.
1019static 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
1027void 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.
1073void 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
1100void 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
1127static 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.
1150void 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
1193void 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
1229void 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
1311void 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
1330void 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
1346static 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.
1366static 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
1389static 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
1415void 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
1451static 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
1477static 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.
1501void 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.
1591void 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
1615void 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
1646void 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
1685void 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
1695static 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.
1715static 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.
1797std::optional<std::pair<StringRef, uint32_t>>
1798lld::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