blob: a3548ada7495214f410a8bd39fafcc480a0867a4 [file] [log] [blame]
Rui Ueyamae7378242015-12-04 23:11:05 +00001//===- PDB.cpp ------------------------------------------------------------===//
2//
3// The LLVM Linker
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9
Rui Ueyama1d99ab32016-09-15 22:24:51 +000010#include "PDB.h"
Rui Ueyama09e0b5f2016-11-12 00:00:51 +000011#include "Chunks.h"
Rui Ueyamabe939b32016-11-21 17:22:35 +000012#include "Config.h"
Peter Collingbourne75257bc2017-10-20 19:48:26 +000013#include "Driver.h"
Rui Ueyama09e0b5f2016-11-12 00:00:51 +000014#include "SymbolTable.h"
15#include "Symbols.h"
Reid Klecknereacdf042017-07-27 18:25:59 +000016#include "Writer.h"
Bob Haarmanb8a59c82017-10-25 22:28:38 +000017#include "lld/Common/ErrorHandler.h"
Zachary Turner727f1532018-01-17 19:16:26 +000018#include "lld/Common/Timer.h"
Reid Kleckner44cdb102017-06-19 17:21:45 +000019#include "llvm/DebugInfo/CodeView/DebugSubsectionRecord.h"
Zachary Turner0d07a8e2017-12-14 18:07:04 +000020#include "llvm/DebugInfo/CodeView/GlobalTypeTableBuilder.h"
Zachary Turner526f4f22017-05-19 19:26:58 +000021#include "llvm/DebugInfo/CodeView/LazyRandomTypeCollection.h"
Zachary Turnerca6dbf12017-11-30 18:39:50 +000022#include "llvm/DebugInfo/CodeView/MergingTypeTableBuilder.h"
Zachary Turneree9906d2017-08-11 19:00:03 +000023#include "llvm/DebugInfo/CodeView/RecordName.h"
Zachary Turner59e3ae82017-08-08 18:34:44 +000024#include "llvm/DebugInfo/CodeView/SymbolDeserializer.h"
Zachary Turner6708e0b2017-07-10 21:01:37 +000025#include "llvm/DebugInfo/CodeView/SymbolSerializer.h"
Reid Kleckner651db912017-07-18 00:21:25 +000026#include "llvm/DebugInfo/CodeView/TypeDeserializer.h"
Zachary Turner629cb7d2017-01-11 23:24:22 +000027#include "llvm/DebugInfo/CodeView/TypeDumpVisitor.h"
Reid Klecknerd0e6e242017-06-21 17:25:56 +000028#include "llvm/DebugInfo/CodeView/TypeIndexDiscovery.h"
Rui Ueyama52896622017-01-12 03:09:25 +000029#include "llvm/DebugInfo/CodeView/TypeStreamMerger.h"
Rui Ueyamab28c6d42016-09-16 04:32:33 +000030#include "llvm/DebugInfo/MSF/MSFBuilder.h"
Rui Ueyama7f382992016-09-15 18:55:18 +000031#include "llvm/DebugInfo/MSF/MSFCommon.h"
Reid Kleckner651db912017-07-18 00:21:25 +000032#include "llvm/DebugInfo/PDB/GenericError.h"
Zachary Turner6708e0b2017-07-10 21:01:37 +000033#include "llvm/DebugInfo/PDB/Native/DbiModuleDescriptorBuilder.h"
Adrian McCarthy6b6b8c42017-01-25 22:38:55 +000034#include "llvm/DebugInfo/PDB/Native/DbiStream.h"
35#include "llvm/DebugInfo/PDB/Native/DbiStreamBuilder.h"
Zachary Turner946204c2017-08-09 04:23:25 +000036#include "llvm/DebugInfo/PDB/Native/GSIStreamBuilder.h"
Adrian McCarthy6b6b8c42017-01-25 22:38:55 +000037#include "llvm/DebugInfo/PDB/Native/InfoStream.h"
38#include "llvm/DebugInfo/PDB/Native/InfoStreamBuilder.h"
Reid Kleckner651db912017-07-18 00:21:25 +000039#include "llvm/DebugInfo/PDB/Native/NativeSession.h"
Adrian McCarthy6b6b8c42017-01-25 22:38:55 +000040#include "llvm/DebugInfo/PDB/Native/PDBFile.h"
41#include "llvm/DebugInfo/PDB/Native/PDBFileBuilder.h"
Rafael Espindolaa0f30da2017-05-02 20:19:42 +000042#include "llvm/DebugInfo/PDB/Native/PDBStringTableBuilder.h"
Reid Klecknerd91ca762017-07-19 17:26:07 +000043#include "llvm/DebugInfo/PDB/Native/TpiHashing.h"
Adrian McCarthy6b6b8c42017-01-25 22:38:55 +000044#include "llvm/DebugInfo/PDB/Native/TpiStream.h"
45#include "llvm/DebugInfo/PDB/Native/TpiStreamBuilder.h"
Reid Kleckner651db912017-07-18 00:21:25 +000046#include "llvm/DebugInfo/PDB/PDB.h"
Rui Ueyama20df4ec2016-10-31 21:09:21 +000047#include "llvm/Object/COFF.h"
David Blaikieddcd8562018-03-26 23:43:29 +000048#include "llvm/Object/CVDebugRecord.h"
Zachary Turnerd9dc2822017-03-02 20:52:51 +000049#include "llvm/Support/BinaryByteStream.h"
Rui Ueyama1763c0d2015-12-08 18:39:55 +000050#include "llvm/Support/Endian.h"
Zachary Turner60478582018-01-05 19:12:40 +000051#include "llvm/Support/FormatVariadic.h"
Zachary Turner676386ff2017-08-07 20:23:45 +000052#include "llvm/Support/JamCRC.h"
Zachary Turner7b327d02017-02-16 23:35:45 +000053#include "llvm/Support/Path.h"
Rui Ueyamabe939b32016-11-21 17:22:35 +000054#include "llvm/Support/ScopedPrinter.h"
Rui Ueyamae7378242015-12-04 23:11:05 +000055#include <memory>
56
Rui Ueyama1d99ab32016-09-15 22:24:51 +000057using namespace lld;
Rui Ueyama09e0b5f2016-11-12 00:00:51 +000058using namespace lld::coff;
Rui Ueyamae7378242015-12-04 23:11:05 +000059using namespace llvm;
Rui Ueyamabe939b32016-11-21 17:22:35 +000060using namespace llvm::codeview;
Rui Ueyamae7378242015-12-04 23:11:05 +000061
Rui Ueyama09e0b5f2016-11-12 00:00:51 +000062using llvm::object::coff_section;
63
Rui Ueyamab28c6d42016-09-16 04:32:33 +000064static ExitOnError ExitOnErr;
65
Zachary Turner727f1532018-01-17 19:16:26 +000066static Timer TotalPdbLinkTimer("PDB Emission (Cumulative)", Timer::root());
67
68static Timer AddObjectsTimer("Add Objects", TotalPdbLinkTimer);
69static Timer TypeMergingTimer("Type Merging", AddObjectsTimer);
70static Timer SymbolMergingTimer("Symbol Merging", AddObjectsTimer);
71static Timer GlobalsLayoutTimer("Globals Stream Layout", TotalPdbLinkTimer);
72static Timer TpiStreamLayoutTimer("TPI Stream Layout", TotalPdbLinkTimer);
73static Timer DiskCommitTimer("Commit to Disk", TotalPdbLinkTimer);
74
Reid Kleckner0faf6d72017-07-14 00:14:58 +000075namespace {
Reid Kleckner651db912017-07-18 00:21:25 +000076/// Map from type index and item index in a type server PDB to the
77/// corresponding index in the destination PDB.
78struct CVIndexMap {
79 SmallVector<TypeIndex, 0> TPIMap;
80 SmallVector<TypeIndex, 0> IPIMap;
81 bool IsTypeServerMap = false;
82};
83
Reid Kleckner0faf6d72017-07-14 00:14:58 +000084class PDBLinker {
85public:
86 PDBLinker(SymbolTable *Symtab)
Sam Cleggea244bf2017-12-14 21:09:31 +000087 : Alloc(), Symtab(Symtab), Builder(Alloc), TypeTable(Alloc),
Zachary Turnera6fb5362018-03-23 18:43:39 +000088 IDTable(Alloc), GlobalTypeTable(Alloc), GlobalIDTable(Alloc) {
89 // This isn't strictly necessary, but link.exe usually puts an empty string
90 // as the first "valid" string in the string table, so we do the same in
91 // order to maintain as much byte-for-byte compatibility as possible.
92 PDBStrTab.insert("");
93 }
Reid Kleckner0faf6d72017-07-14 00:14:58 +000094
95 /// Emit the basic PDB structure: initial streams, headers, etc.
Zachary Turner024323c2017-08-15 21:31:41 +000096 void initialize(const llvm::codeview::DebugInfo &BuildId);
Reid Kleckner0faf6d72017-07-14 00:14:58 +000097
Zachary Turnerf2282762018-03-23 19:57:25 +000098 /// Add natvis files specified on the command line.
99 void addNatvisFiles();
100
Reid Kleckner0faf6d72017-07-14 00:14:58 +0000101 /// Link CodeView from each object file in the symbol table into the PDB.
102 void addObjectsToPDB();
103
104 /// Link CodeView from a single object file into the PDB.
Rui Ueyamae1b48e02017-07-26 23:05:24 +0000105 void addObjFile(ObjFile *File);
Reid Kleckner0faf6d72017-07-14 00:14:58 +0000106
Reid Kleckner651db912017-07-18 00:21:25 +0000107 /// Produce a mapping from the type and item indices used in the object
108 /// file to those in the destination PDB.
109 ///
110 /// If the object file uses a type server PDB (compiled with /Zi), merge TPI
111 /// and IPI from the type server PDB and return a map for it. Each unique type
112 /// server PDB is merged at most once, so this may return an existing index
113 /// mapping.
114 ///
115 /// If the object does not use a type server PDB (compiled with /Z7), we merge
116 /// all the type and item records from the .debug$S stream and fill in the
117 /// caller-provided ObjectIndexMap.
Colden Cullenb9b6ed92018-01-31 17:48:04 +0000118 Expected<const CVIndexMap&> mergeDebugT(ObjFile *File,
119 CVIndexMap &ObjectIndexMap);
Reid Kleckner651db912017-07-18 00:21:25 +0000120
Colden Cullenb9b6ed92018-01-31 17:48:04 +0000121 Expected<const CVIndexMap&> maybeMergeTypeServerPDB(ObjFile *File,
122 TypeServer2Record &TS);
Reid Kleckner0faf6d72017-07-14 00:14:58 +0000123
124 /// Add the section map and section contributions to the PDB.
Reid Kleckner175af4b2017-08-03 21:15:09 +0000125 void addSections(ArrayRef<OutputSection *> OutputSections,
126 ArrayRef<uint8_t> SectionTable);
127
Reid Kleckner0faf6d72017-07-14 00:14:58 +0000128 /// Write the PDB to disk.
129 void commit();
130
131private:
132 BumpPtrAllocator Alloc;
133
134 SymbolTable *Symtab;
135
136 pdb::PDBFileBuilder Builder;
137
138 /// Type records that will go into the PDB TPI stream.
Zachary Turnerca6dbf12017-11-30 18:39:50 +0000139 MergingTypeTableBuilder TypeTable;
Reid Kleckner0faf6d72017-07-14 00:14:58 +0000140
141 /// Item records that will go into the PDB IPI stream.
Zachary Turnerca6dbf12017-11-30 18:39:50 +0000142 MergingTypeTableBuilder IDTable;
Reid Kleckner0faf6d72017-07-14 00:14:58 +0000143
Zachary Turner0d07a8e2017-12-14 18:07:04 +0000144 /// Type records that will go into the PDB TPI stream (for /DEBUG:GHASH)
145 GlobalTypeTableBuilder GlobalTypeTable;
146
147 /// Item records that will go into the PDB IPI stream (for /DEBUG:GHASH)
148 GlobalTypeTableBuilder GlobalIDTable;
149
Reid Kleckner0faf6d72017-07-14 00:14:58 +0000150 /// PDBs use a single global string table for filenames in the file checksum
151 /// table.
152 DebugStringTableSubsection PDBStrTab;
153
Reid Kleckner0faf6d72017-07-14 00:14:58 +0000154 llvm::SmallString<128> NativePath;
155
Zachary Turner3868cfd2018-02-28 18:09:18 +0000156 /// A list of other PDBs which are loaded during the linking process and which
157 /// we need to keep around since the linking operation may reference pointers
158 /// inside of these PDBs.
159 llvm::SmallVector<std::unique_ptr<pdb::NativeSession>, 2> LoadedPDBs;
160
Reid Kleckner0faf6d72017-07-14 00:14:58 +0000161 std::vector<pdb::SecMapEntry> SectionMap;
Reid Kleckner651db912017-07-18 00:21:25 +0000162
163 /// Type index mappings of type server PDBs that we've loaded so far.
164 std::map<GUID, CVIndexMap> TypeServerIndexMappings;
Colden Cullenb9b6ed92018-01-31 17:48:04 +0000165
166 /// List of TypeServer PDBs which cannot be loaded.
167 /// Cached to prevent repeated load attempts.
168 std::set<GUID> MissingTypeServerPDBs;
Reid Kleckner0faf6d72017-07-14 00:14:58 +0000169};
170}
171
Sam Clegg0fb6faa2017-12-08 01:09:21 +0000172static SectionChunk *findByName(ArrayRef<SectionChunk *> Sections,
Rui Ueyamabe939b32016-11-21 17:22:35 +0000173 StringRef Name) {
174 for (SectionChunk *C : Sections)
175 if (C->getSectionName() == Name)
176 return C;
177 return nullptr;
178}
179
Reid Kleckner44cdb102017-06-19 17:21:45 +0000180static ArrayRef<uint8_t> consumeDebugMagic(ArrayRef<uint8_t> Data,
181 StringRef SecName) {
Rui Ueyamac5cb7372016-12-01 01:22:48 +0000182 // First 4 bytes are section magic.
Rui Ueyamac5cb7372016-12-01 01:22:48 +0000183 if (Data.size() < 4)
Rui Ueyama52896622017-01-12 03:09:25 +0000184 fatal(SecName + " too short");
Reid Kleckner44cdb102017-06-19 17:21:45 +0000185 if (support::endian::read32le(Data.data()) != COFF::DEBUG_SECTION_MAGIC)
Rui Ueyama52896622017-01-12 03:09:25 +0000186 fatal(SecName + " has an invalid magic");
Rui Ueyama26186c72016-12-09 04:46:54 +0000187 return Data.slice(4);
188}
Rui Ueyamac5cb7372016-12-01 01:22:48 +0000189
Rui Ueyamae1b48e02017-07-26 23:05:24 +0000190static ArrayRef<uint8_t> getDebugSection(ObjFile *File, StringRef SecName) {
Reid Kleckner44cdb102017-06-19 17:21:45 +0000191 if (SectionChunk *Sec = findByName(File->getDebugChunks(), SecName))
192 return consumeDebugMagic(Sec->getContents(), SecName);
193 return {};
194}
195
Zachary Turner0d07a8e2017-12-14 18:07:04 +0000196// A COFF .debug$H section is currently a clang extension. This function checks
197// if a .debug$H section is in a format that we expect / understand, so that we
198// can ignore any sections which are coincidentally also named .debug$H but do
199// not contain a format we recognize.
200static bool canUseDebugH(ArrayRef<uint8_t> DebugH) {
201 if (DebugH.size() < sizeof(object::debug_h_header))
202 return false;
203 auto *Header =
204 reinterpret_cast<const object::debug_h_header *>(DebugH.data());
205 DebugH = DebugH.drop_front(sizeof(object::debug_h_header));
206 return Header->Magic == COFF::DEBUG_HASHES_SECTION_MAGIC &&
207 Header->Version == 0 &&
208 Header->HashAlgorithm == uint16_t(GlobalTypeHashAlg::SHA1) &&
209 (DebugH.size() % 20 == 0);
210}
211
212static Optional<ArrayRef<uint8_t>> getDebugH(ObjFile *File) {
213 SectionChunk *Sec = findByName(File->getDebugChunks(), ".debug$H");
214 if (!Sec)
215 return llvm::None;
216 ArrayRef<uint8_t> Contents = Sec->getContents();
217 if (!canUseDebugH(Contents))
218 return None;
219 return Contents;
220}
221
222static ArrayRef<GloballyHashedType>
223getHashesFromDebugH(ArrayRef<uint8_t> DebugH) {
224 assert(canUseDebugH(DebugH));
225
226 DebugH = DebugH.drop_front(sizeof(object::debug_h_header));
227 uint32_t Count = DebugH.size() / sizeof(GloballyHashedType);
228 return {reinterpret_cast<const GloballyHashedType *>(DebugH.data()), Count};
229}
230
Reid Kleckner5d577522017-03-24 17:26:38 +0000231static void addTypeInfo(pdb::TpiStreamBuilder &TpiBuilder,
Zachary Turner3e3936d2017-11-29 19:35:21 +0000232 TypeCollection &TypeTable) {
Reid Kleckner5d577522017-03-24 17:26:38 +0000233 // Start the TPI or IPI stream header.
234 TpiBuilder.setVersionHeader(pdb::PdbTpiV80);
Rui Ueyama52896622017-01-12 03:09:25 +0000235
Reid Klecknerd91ca762017-07-19 17:26:07 +0000236 // Flatten the in memory type table and hash each type.
Zachary Turner3e3936d2017-11-29 19:35:21 +0000237 TypeTable.ForEachRecord([&](TypeIndex TI, const CVType &Type) {
Reid Klecknerd91ca762017-07-19 17:26:07 +0000238 auto Hash = pdb::hashTypeRecord(Type);
239 if (auto E = Hash.takeError())
240 fatal("type hashing error");
Zachary Turner3e3936d2017-11-29 19:35:21 +0000241 TpiBuilder.addTypeRecord(Type.RecordData, *Hash);
Reid Kleckner5d577522017-03-24 17:26:38 +0000242 });
Reid Kleckner5d577522017-03-24 17:26:38 +0000243}
244
Reid Kleckner651db912017-07-18 00:21:25 +0000245static Optional<TypeServer2Record>
246maybeReadTypeServerRecord(CVTypeArray &Types) {
247 auto I = Types.begin();
248 if (I == Types.end())
249 return None;
250 const CVType &Type = *I;
251 if (Type.kind() != LF_TYPESERVER2)
252 return None;
253 TypeServer2Record TS;
254 if (auto EC = TypeDeserializer::deserializeAs(const_cast<CVType &>(Type), TS))
Bob Haarmanb8a59c82017-10-25 22:28:38 +0000255 fatal("error reading type server record: " + toString(std::move(EC)));
Reid Kleckner651db912017-07-18 00:21:25 +0000256 return std::move(TS);
257}
258
Colden Cullenb9b6ed92018-01-31 17:48:04 +0000259Expected<const CVIndexMap&> PDBLinker::mergeDebugT(ObjFile *File,
260 CVIndexMap &ObjectIndexMap) {
Zachary Turner727f1532018-01-17 19:16:26 +0000261 ScopedTimer T(TypeMergingTimer);
262
Reid Kleckner44cdb102017-06-19 17:21:45 +0000263 ArrayRef<uint8_t> Data = getDebugSection(File, ".debug$T");
264 if (Data.empty())
Reid Kleckner651db912017-07-18 00:21:25 +0000265 return ObjectIndexMap;
Reid Kleckner6597c282017-07-13 20:12:23 +0000266
Reid Kleckner44cdb102017-06-19 17:21:45 +0000267 BinaryByteStream Stream(Data, support::little);
268 CVTypeArray Types;
269 BinaryStreamReader Reader(Stream);
Reid Kleckner44cdb102017-06-19 17:21:45 +0000270 if (auto EC = Reader.readArray(Types, Reader.getLength()))
Bob Haarmanb8a59c82017-10-25 22:28:38 +0000271 fatal("Reader::readArray failed: " + toString(std::move(EC)));
Reid Kleckner651db912017-07-18 00:21:25 +0000272
273 // Look through type servers. If we've already seen this type server, don't
274 // merge any type information.
275 if (Optional<TypeServer2Record> TS = maybeReadTypeServerRecord(Types))
276 return maybeMergeTypeServerPDB(File, *TS);
277
278 // This is a /Z7 object. Fill in the temporary, caller-provided
279 // ObjectIndexMap.
Zachary Turner0d07a8e2017-12-14 18:07:04 +0000280 if (Config->DebugGHashes) {
281 ArrayRef<GloballyHashedType> Hashes;
282 std::vector<GloballyHashedType> OwnedHashes;
283 if (Optional<ArrayRef<uint8_t>> DebugH = getDebugH(File))
284 Hashes = getHashesFromDebugH(*DebugH);
285 else {
286 OwnedHashes = GloballyHashedType::hashTypes(Types);
287 Hashes = OwnedHashes;
288 }
289
290 if (auto Err = mergeTypeAndIdRecords(GlobalIDTable, GlobalTypeTable,
291 ObjectIndexMap.TPIMap, Types, Hashes))
292 fatal("codeview::mergeTypeAndIdRecords failed: " +
293 toString(std::move(Err)));
294 } else {
295 if (auto Err = mergeTypeAndIdRecords(IDTable, TypeTable,
296 ObjectIndexMap.TPIMap, Types))
297 fatal("codeview::mergeTypeAndIdRecords failed: " +
298 toString(std::move(Err)));
299 }
Reid Kleckner651db912017-07-18 00:21:25 +0000300 return ObjectIndexMap;
301}
302
303static Expected<std::unique_ptr<pdb::NativeSession>>
304tryToLoadPDB(const GUID &GuidFromObj, StringRef TSPath) {
Peter Collingbourne75257bc2017-10-20 19:48:26 +0000305 ErrorOr<std::unique_ptr<MemoryBuffer>> MBOrErr = MemoryBuffer::getFile(
306 TSPath, /*FileSize=*/-1, /*RequiresNullTerminator=*/false);
307 if (!MBOrErr)
308 return errorCodeToError(MBOrErr.getError());
309
Reid Kleckner651db912017-07-18 00:21:25 +0000310 std::unique_ptr<pdb::IPDBSession> ThisSession;
Peter Collingbourne75257bc2017-10-20 19:48:26 +0000311 if (auto EC = pdb::NativeSession::createFromPdb(
312 MemoryBuffer::getMemBuffer(Driver->takeBuffer(std::move(*MBOrErr)),
313 /*RequiresNullTerminator=*/false),
314 ThisSession))
Reid Kleckner651db912017-07-18 00:21:25 +0000315 return std::move(EC);
316
317 std::unique_ptr<pdb::NativeSession> NS(
318 static_cast<pdb::NativeSession *>(ThisSession.release()));
319 pdb::PDBFile &File = NS->getPDBFile();
320 auto ExpectedInfo = File.getPDBInfoStream();
321 // All PDB Files should have an Info stream.
322 if (!ExpectedInfo)
323 return ExpectedInfo.takeError();
324
325 // Just because a file with a matching name was found and it was an actual
326 // PDB file doesn't mean it matches. For it to match the InfoStream's GUID
327 // must match the GUID specified in the TypeServer2 record.
328 if (ExpectedInfo->getGuid() != GuidFromObj)
329 return make_error<pdb::GenericError>(
330 pdb::generic_error_code::type_server_not_found, TSPath);
331
332 return std::move(NS);
333}
334
Colden Cullenb9b6ed92018-01-31 17:48:04 +0000335Expected<const CVIndexMap&> PDBLinker::maybeMergeTypeServerPDB(ObjFile *File,
336 TypeServer2Record &TS) {
337 const GUID& TSId = TS.getGuid();
338 StringRef TSPath = TS.getName();
339
340 // First, check if the PDB has previously failed to load.
341 if (MissingTypeServerPDBs.count(TSId))
342 return make_error<pdb::GenericError>(
343 pdb::generic_error_code::type_server_not_found, TSPath);
344
345 // Second, check if we already loaded a PDB with this GUID. Return the type
Reid Kleckner651db912017-07-18 00:21:25 +0000346 // index mapping if we have it.
Colden Cullenb9b6ed92018-01-31 17:48:04 +0000347 auto Insertion = TypeServerIndexMappings.insert({TSId, CVIndexMap()});
Reid Kleckner651db912017-07-18 00:21:25 +0000348 CVIndexMap &IndexMap = Insertion.first->second;
349 if (!Insertion.second)
350 return IndexMap;
351
352 // Mark this map as a type server map.
353 IndexMap.IsTypeServerMap = true;
354
355 // Check for a PDB at:
356 // 1. The given file path
357 // 2. Next to the object file or archive file
Colden Cullenb9b6ed92018-01-31 17:48:04 +0000358 auto ExpectedSession = tryToLoadPDB(TSId, TSPath);
Reid Kleckner651db912017-07-18 00:21:25 +0000359 if (!ExpectedSession) {
360 consumeError(ExpectedSession.takeError());
361 StringRef LocalPath =
362 !File->ParentName.empty() ? File->ParentName : File->getName();
363 SmallString<128> Path = sys::path::parent_path(LocalPath);
Reid Klecknerf8522d82017-07-18 00:33:53 +0000364 sys::path::append(
Colden Cullenb9b6ed92018-01-31 17:48:04 +0000365 Path, sys::path::filename(TSPath, sys::path::Style::windows));
366 ExpectedSession = tryToLoadPDB(TSId, Path);
Reid Kleckner651db912017-07-18 00:21:25 +0000367 }
Colden Cullenb9b6ed92018-01-31 17:48:04 +0000368 if (auto E = ExpectedSession.takeError()) {
369 TypeServerIndexMappings.erase(TSId);
370 MissingTypeServerPDBs.emplace(TSId);
371 return std::move(E);
372 }
Reid Kleckner651db912017-07-18 00:21:25 +0000373
Zachary Turner3868cfd2018-02-28 18:09:18 +0000374 pdb::NativeSession *Session = ExpectedSession->get();
375
376 // Keep a strong reference to this PDB, so that it's safe to hold pointers
377 // into the file.
378 LoadedPDBs.push_back(std::move(*ExpectedSession));
379
380 auto ExpectedTpi = Session->getPDBFile().getPDBTpiStream();
Reid Kleckner651db912017-07-18 00:21:25 +0000381 if (auto E = ExpectedTpi.takeError())
Bob Haarmanb8a59c82017-10-25 22:28:38 +0000382 fatal("Type server does not have TPI stream: " + toString(std::move(E)));
Zachary Turner3868cfd2018-02-28 18:09:18 +0000383 auto ExpectedIpi = Session->getPDBFile().getPDBIpiStream();
Reid Kleckner651db912017-07-18 00:21:25 +0000384 if (auto E = ExpectedIpi.takeError())
Bob Haarmanb8a59c82017-10-25 22:28:38 +0000385 fatal("Type server does not have TPI stream: " + toString(std::move(E)));
Zachary Turner0d07a8e2017-12-14 18:07:04 +0000386
387 if (Config->DebugGHashes) {
388 // PDBs do not actually store global hashes, so when merging a type server
389 // PDB we have to synthesize global hashes. To do this, we first synthesize
390 // global hashes for the TPI stream, since it is independent, then we
391 // synthesize hashes for the IPI stream, using the hashes for the TPI stream
392 // as inputs.
393 auto TpiHashes = GloballyHashedType::hashTypes(ExpectedTpi->typeArray());
394 auto IpiHashes =
395 GloballyHashedType::hashIds(ExpectedIpi->typeArray(), TpiHashes);
396
397 // Merge TPI first, because the IPI stream will reference type indices.
398 if (auto Err = mergeTypeRecords(GlobalTypeTable, IndexMap.TPIMap,
399 ExpectedTpi->typeArray(), TpiHashes))
400 fatal("codeview::mergeTypeRecords failed: " + toString(std::move(Err)));
401
402 // Merge IPI.
403 if (auto Err =
404 mergeIdRecords(GlobalIDTable, IndexMap.TPIMap, IndexMap.IPIMap,
405 ExpectedIpi->typeArray(), IpiHashes))
406 fatal("codeview::mergeIdRecords failed: " + toString(std::move(Err)));
407 } else {
408 // Merge TPI first, because the IPI stream will reference type indices.
409 if (auto Err = mergeTypeRecords(TypeTable, IndexMap.TPIMap,
410 ExpectedTpi->typeArray()))
411 fatal("codeview::mergeTypeRecords failed: " + toString(std::move(Err)));
412
413 // Merge IPI.
414 if (auto Err = mergeIdRecords(IDTable, IndexMap.TPIMap, IndexMap.IPIMap,
415 ExpectedIpi->typeArray()))
416 fatal("codeview::mergeIdRecords failed: " + toString(std::move(Err)));
417 }
Reid Kleckner651db912017-07-18 00:21:25 +0000418
419 return IndexMap;
Reid Kleckner44cdb102017-06-19 17:21:45 +0000420}
421
Reid Klecknerd0e6e242017-06-21 17:25:56 +0000422static bool remapTypeIndex(TypeIndex &TI, ArrayRef<TypeIndex> TypeIndexMap) {
423 if (TI.isSimple())
424 return true;
425 if (TI.toArrayIndex() >= TypeIndexMap.size())
426 return false;
427 TI = TypeIndexMap[TI.toArrayIndex()];
428 return true;
429}
430
Reid Kleckner8aa32ff2017-10-24 17:02:40 +0000431static void remapTypesInSymbolRecord(ObjFile *File, SymbolKind SymKind,
Reid Klecknerd0e6e242017-06-21 17:25:56 +0000432 MutableArrayRef<uint8_t> Contents,
Reid Kleckner651db912017-07-18 00:21:25 +0000433 const CVIndexMap &IndexMap,
Reid Klecknerd0e6e242017-06-21 17:25:56 +0000434 ArrayRef<TiReference> TypeRefs) {
435 for (const TiReference &Ref : TypeRefs) {
436 unsigned ByteSize = Ref.Count * sizeof(TypeIndex);
Reid Kleckner03b5baf2017-07-12 18:49:43 +0000437 if (Contents.size() < Ref.Offset + ByteSize)
438 fatal("symbol record too short");
Reid Kleckner651db912017-07-18 00:21:25 +0000439
440 // This can be an item index or a type index. Choose the appropriate map.
441 ArrayRef<TypeIndex> TypeOrItemMap = IndexMap.TPIMap;
Reid Kleckner8aa32ff2017-10-24 17:02:40 +0000442 bool IsItemIndex = Ref.Kind == TiRefKind::IndexRef;
443 if (IsItemIndex && IndexMap.IsTypeServerMap)
Reid Kleckner651db912017-07-18 00:21:25 +0000444 TypeOrItemMap = IndexMap.IPIMap;
445
Reid Klecknerd0e6e242017-06-21 17:25:56 +0000446 MutableArrayRef<TypeIndex> TIs(
447 reinterpret_cast<TypeIndex *>(Contents.data() + Ref.Offset), Ref.Count);
Reid Kleckner03b5baf2017-07-12 18:49:43 +0000448 for (TypeIndex &TI : TIs) {
Reid Kleckner651db912017-07-18 00:21:25 +0000449 if (!remapTypeIndex(TI, TypeOrItemMap)) {
Reid Kleckner8aa32ff2017-10-24 17:02:40 +0000450 log("ignoring symbol record of kind 0x" + utohexstr(SymKind) + " in " +
451 File->getName() + " with bad " + (IsItemIndex ? "item" : "type") +
452 " index 0x" + utohexstr(TI.getIndex()));
Reid Kleckner5d82f682017-10-23 22:44:51 +0000453 TI = TypeIndex(SimpleTypeKind::NotTranslated);
Reid Kleckner03b5baf2017-07-12 18:49:43 +0000454 continue;
Reid Klecknerd0e6e242017-06-21 17:25:56 +0000455 }
Reid Kleckner03b5baf2017-07-12 18:49:43 +0000456 }
Reid Klecknerd0e6e242017-06-21 17:25:56 +0000457 }
Reid Klecknerd0e6e242017-06-21 17:25:56 +0000458}
459
Zachary Turner60478582018-01-05 19:12:40 +0000460static void
461recordStringTableReferenceAtOffset(MutableArrayRef<uint8_t> Contents,
462 uint32_t Offset,
463 std::vector<ulittle32_t *> &StrTableRefs) {
464 Contents =
465 Contents.drop_front(Offset).take_front(sizeof(support::ulittle32_t));
466 ulittle32_t *Index = reinterpret_cast<ulittle32_t *>(Contents.data());
467 StrTableRefs.push_back(Index);
468}
469
470static void
471recordStringTableReferences(SymbolKind Kind, MutableArrayRef<uint8_t> Contents,
472 std::vector<ulittle32_t *> &StrTableRefs) {
473 // For now we only handle S_FILESTATIC, but we may need the same logic for
474 // S_DEFRANGE and S_DEFRANGE_SUBFIELD. However, I cannot seem to generate any
475 // PDBs that contain these types of records, so because of the uncertainty
476 // they are omitted here until we can prove that it's necessary.
477 switch (Kind) {
478 case SymbolKind::S_FILESTATIC:
479 // FileStaticSym::ModFileOffset
480 recordStringTableReferenceAtOffset(Contents, 4, StrTableRefs);
481 break;
482 case SymbolKind::S_DEFRANGE:
483 case SymbolKind::S_DEFRANGE_SUBFIELD:
484 log("Not fixing up string table reference in S_DEFRANGE / "
485 "S_DEFRANGE_SUBFIELD record");
486 break;
Zachary Turner9e52e502018-01-05 19:28:39 +0000487 default:
488 break;
Zachary Turner60478582018-01-05 19:12:40 +0000489 }
490}
491
Zachary Turner59e3ae82017-08-08 18:34:44 +0000492static SymbolKind symbolKind(ArrayRef<uint8_t> RecordData) {
493 const RecordPrefix *Prefix =
494 reinterpret_cast<const RecordPrefix *>(RecordData.data());
495 return static_cast<SymbolKind>(uint16_t(Prefix->RecordKind));
496}
497
498/// MSVC translates S_PROC_ID_END to S_END, and S_[LG]PROC32_ID to S_[LG]PROC32
499static void translateIdSymbols(MutableArrayRef<uint8_t> &RecordData,
Zachary Turner3e3936d2017-11-29 19:35:21 +0000500 TypeCollection &IDTable) {
Zachary Turner59e3ae82017-08-08 18:34:44 +0000501 RecordPrefix *Prefix = reinterpret_cast<RecordPrefix *>(RecordData.data());
502
503 SymbolKind Kind = symbolKind(RecordData);
504
505 if (Kind == SymbolKind::S_PROC_ID_END) {
506 Prefix->RecordKind = SymbolKind::S_END;
507 return;
508 }
509
510 // In an object file, GPROC32_ID has an embedded reference which refers to the
511 // single object file type index namespace. This has already been translated
512 // to the PDB file's ID stream index space, but we need to convert this to a
513 // symbol that refers to the type stream index space. So we remap again from
514 // ID index space to type index space.
515 if (Kind == SymbolKind::S_GPROC32_ID || Kind == SymbolKind::S_LPROC32_ID) {
516 SmallVector<TiReference, 1> Refs;
517 auto Content = RecordData.drop_front(sizeof(RecordPrefix));
518 CVSymbol Sym(Kind, RecordData);
519 discoverTypeIndicesInSymbol(Sym, Refs);
520 assert(Refs.size() == 1);
521 assert(Refs.front().Count == 1);
522
523 TypeIndex *TI =
524 reinterpret_cast<TypeIndex *>(Content.data() + Refs[0].Offset);
525 // `TI` is the index of a FuncIdRecord or MemberFuncIdRecord which lives in
526 // the IPI stream, whose `FunctionType` member refers to the TPI stream.
527 // Note that LF_FUNC_ID and LF_MEMFUNC_ID have the same record layout, and
528 // in both cases we just need the second type index.
529 if (!TI->isSimple() && !TI->isNoneType()) {
Zachary Turner3e3936d2017-11-29 19:35:21 +0000530 CVType FuncIdData = IDTable.getType(*TI);
Zachary Turner59e3ae82017-08-08 18:34:44 +0000531 SmallVector<TypeIndex, 2> Indices;
532 discoverTypeIndices(FuncIdData, Indices);
533 assert(Indices.size() == 2);
534 *TI = Indices[1];
535 }
536
537 Kind = (Kind == SymbolKind::S_GPROC32_ID) ? SymbolKind::S_GPROC32
538 : SymbolKind::S_LPROC32;
539 Prefix->RecordKind = uint16_t(Kind);
540 }
Reid Klecknerd0e6e242017-06-21 17:25:56 +0000541}
542
543/// Copy the symbol record. In a PDB, symbol records must be 4 byte aligned.
544/// The object file may not be aligned.
545static MutableArrayRef<uint8_t> copySymbolForPdb(const CVSymbol &Sym,
546 BumpPtrAllocator &Alloc) {
547 size_t Size = alignTo(Sym.length(), alignOf(CodeViewContainer::Pdb));
548 assert(Size >= 4 && "record too short");
549 assert(Size <= MaxRecordLength && "record too long");
550 void *Mem = Alloc.Allocate(Size, 4);
551
552 // Copy the symbol record and zero out any padding bytes.
553 MutableArrayRef<uint8_t> NewData(reinterpret_cast<uint8_t *>(Mem), Size);
554 memcpy(NewData.data(), Sym.data().data(), Sym.length());
555 memset(NewData.data() + Sym.length(), 0, Size - Sym.length());
556
557 // Update the record prefix length. It should point to the beginning of the
Zachary Turner59e3ae82017-08-08 18:34:44 +0000558 // next record.
Reid Klecknerd0e6e242017-06-21 17:25:56 +0000559 auto *Prefix = reinterpret_cast<RecordPrefix *>(Mem);
Reid Klecknerd0e6e242017-06-21 17:25:56 +0000560 Prefix->RecordLen = Size - 2;
561 return NewData;
562}
563
Reid Kleckner3f851922017-07-06 16:39:32 +0000564/// Return true if this symbol opens a scope. This implies that the symbol has
565/// "parent" and "end" fields, which contain the offset of the S_END or
566/// S_INLINESITE_END record.
567static bool symbolOpensScope(SymbolKind Kind) {
568 switch (Kind) {
569 case SymbolKind::S_GPROC32:
570 case SymbolKind::S_LPROC32:
571 case SymbolKind::S_LPROC32_ID:
572 case SymbolKind::S_GPROC32_ID:
573 case SymbolKind::S_BLOCK32:
574 case SymbolKind::S_SEPCODE:
575 case SymbolKind::S_THUNK32:
576 case SymbolKind::S_INLINESITE:
577 case SymbolKind::S_INLINESITE2:
578 return true;
579 default:
580 break;
581 }
582 return false;
583}
584
585static bool symbolEndsScope(SymbolKind Kind) {
586 switch (Kind) {
587 case SymbolKind::S_END:
588 case SymbolKind::S_PROC_ID_END:
589 case SymbolKind::S_INLINESITE_END:
590 return true;
591 default:
592 break;
593 }
594 return false;
595}
596
597struct ScopeRecord {
598 ulittle32_t PtrParent;
599 ulittle32_t PtrEnd;
600};
601
602struct SymbolScope {
603 ScopeRecord *OpeningRecord;
604 uint32_t ScopeOffset;
605};
606
607static void scopeStackOpen(SmallVectorImpl<SymbolScope> &Stack,
608 uint32_t CurOffset, CVSymbol &Sym) {
609 assert(symbolOpensScope(Sym.kind()));
610 SymbolScope S;
611 S.ScopeOffset = CurOffset;
612 S.OpeningRecord = const_cast<ScopeRecord *>(
613 reinterpret_cast<const ScopeRecord *>(Sym.content().data()));
614 S.OpeningRecord->PtrParent = Stack.empty() ? 0 : Stack.back().ScopeOffset;
615 Stack.push_back(S);
616}
617
618static void scopeStackClose(SmallVectorImpl<SymbolScope> &Stack,
Rui Ueyamae1b48e02017-07-26 23:05:24 +0000619 uint32_t CurOffset, ObjFile *File) {
Reid Kleckner3f851922017-07-06 16:39:32 +0000620 if (Stack.empty()) {
621 warn("symbol scopes are not balanced in " + File->getName());
622 return;
623 }
624 SymbolScope S = Stack.pop_back_val();
625 S.OpeningRecord->PtrEnd = CurOffset;
626}
627
Zachary Turneree9906d2017-08-11 19:00:03 +0000628static bool symbolGoesInModuleStream(const CVSymbol &Sym) {
629 switch (Sym.kind()) {
630 case SymbolKind::S_GDATA32:
631 case SymbolKind::S_CONSTANT:
632 case SymbolKind::S_UDT:
633 // We really should not be seeing S_PROCREF and S_LPROCREF in the first place
634 // since they are synthesized by the linker in response to S_GPROC32 and
635 // S_LPROC32, but if we do see them, don't put them in the module stream I
636 // guess.
637 case SymbolKind::S_PROCREF:
638 case SymbolKind::S_LPROCREF:
639 return false;
640 // S_GDATA32 does not go in the module stream, but S_LDATA32 does.
641 case SymbolKind::S_LDATA32:
642 default:
643 return true;
644 }
645}
646
647static bool symbolGoesInGlobalsStream(const CVSymbol &Sym) {
648 switch (Sym.kind()) {
649 case SymbolKind::S_CONSTANT:
Zachary Turneree9906d2017-08-11 19:00:03 +0000650 case SymbolKind::S_GDATA32:
651 // S_LDATA32 goes in both the module stream and the globals stream.
652 case SymbolKind::S_LDATA32:
653 case SymbolKind::S_GPROC32:
654 case SymbolKind::S_LPROC32:
655 // We really should not be seeing S_PROCREF and S_LPROCREF in the first place
656 // since they are synthesized by the linker in response to S_GPROC32 and
657 // S_LPROC32, but if we do see them, copy them straight through.
658 case SymbolKind::S_PROCREF:
659 case SymbolKind::S_LPROCREF:
660 return true;
Zachary Turner302dc8b2017-08-14 18:44:58 +0000661 // FIXME: For now, we drop all S_UDT symbols (i.e. they don't go in the
662 // globals stream or the modules stream). These have special handling which
663 // needs more investigation before we can get right, but by putting them all
664 // into the globals stream WinDbg fails to display local variables of class
665 // types saying that it cannot find the type Foo *. So as a stopgap just to
666 // keep things working, we drop them.
667 case SymbolKind::S_UDT:
Zachary Turneree9906d2017-08-11 19:00:03 +0000668 default:
669 return false;
670 }
671}
672
673static void addGlobalSymbol(pdb::GSIStreamBuilder &Builder, ObjFile &File,
674 const CVSymbol &Sym) {
675 switch (Sym.kind()) {
676 case SymbolKind::S_CONSTANT:
677 case SymbolKind::S_UDT:
678 case SymbolKind::S_GDATA32:
679 case SymbolKind::S_LDATA32:
680 case SymbolKind::S_PROCREF:
681 case SymbolKind::S_LPROCREF:
682 Builder.addGlobalSymbol(Sym);
683 break;
684 case SymbolKind::S_GPROC32:
685 case SymbolKind::S_LPROC32: {
686 SymbolRecordKind K = SymbolRecordKind::ProcRefSym;
687 if (Sym.kind() == SymbolKind::S_LPROC32)
688 K = SymbolRecordKind::LocalProcRef;
689 ProcRefSym PS(K);
690 PS.Module = static_cast<uint16_t>(File.ModuleDBI->getModuleIndex());
691 // For some reason, MSVC seems to add one to this value.
692 ++PS.Module;
693 PS.Name = getSymbolName(Sym);
694 PS.SumName = 0;
695 PS.SymOffset = File.ModuleDBI->getNextSymbolOffset();
696 Builder.addGlobalSymbol(PS);
697 break;
698 }
699 default:
700 llvm_unreachable("Invalid symbol kind!");
701 }
702}
703
Rui Ueyamae1b48e02017-07-26 23:05:24 +0000704static void mergeSymbolRecords(BumpPtrAllocator &Alloc, ObjFile *File,
Zachary Turneree9906d2017-08-11 19:00:03 +0000705 pdb::GSIStreamBuilder &GsiBuilder,
Reid Kleckner651db912017-07-18 00:21:25 +0000706 const CVIndexMap &IndexMap,
Zachary Turner3e3936d2017-11-29 19:35:21 +0000707 TypeCollection &IDTable,
Zachary Turner60478582018-01-05 19:12:40 +0000708 std::vector<ulittle32_t *> &StringTableRefs,
Reid Klecknerd0e6e242017-06-21 17:25:56 +0000709 BinaryStreamRef SymData) {
710 // FIXME: Improve error recovery by warning and skipping records when
711 // possible.
Zachary Turner1bc2ce62018-01-18 18:35:01 +0000712 ArrayRef<uint8_t> SymsBuffer;
713 cantFail(SymData.readBytes(0, SymData.getLength(), SymsBuffer));
Reid Kleckner3f851922017-07-06 16:39:32 +0000714 SmallVector<SymbolScope, 4> Scopes;
Reid Klecknerd0e6e242017-06-21 17:25:56 +0000715
Zachary Turner1bc2ce62018-01-18 18:35:01 +0000716 auto EC = forEachCodeViewRecord<CVSymbol>(
717 SymsBuffer, [&](const CVSymbol &Sym) -> llvm::Error {
718 // Discover type index references in the record. Skip it if we don't
719 // know where they are.
720 SmallVector<TiReference, 32> TypeRefs;
721 if (!discoverTypeIndicesInSymbol(Sym, TypeRefs)) {
722 log("ignoring unknown symbol record with kind 0x" +
723 utohexstr(Sym.kind()));
724 return Error::success();
725 }
Reid Klecknerd0e6e242017-06-21 17:25:56 +0000726
Zachary Turner1bc2ce62018-01-18 18:35:01 +0000727 // Copy the symbol record so we can mutate it.
728 MutableArrayRef<uint8_t> NewData = copySymbolForPdb(Sym, Alloc);
Zachary Turner59e3ae82017-08-08 18:34:44 +0000729
Zachary Turner1bc2ce62018-01-18 18:35:01 +0000730 // Re-map all the type index references.
731 MutableArrayRef<uint8_t> Contents =
732 NewData.drop_front(sizeof(RecordPrefix));
733 remapTypesInSymbolRecord(File, Sym.kind(), Contents, IndexMap,
734 TypeRefs);
Zachary Turner59e3ae82017-08-08 18:34:44 +0000735
Zachary Turner1bc2ce62018-01-18 18:35:01 +0000736 // An object file may have S_xxx_ID symbols, but these get converted to
737 // "real" symbols in a PDB.
738 translateIdSymbols(NewData, IDTable);
Zachary Turner60478582018-01-05 19:12:40 +0000739
Zachary Turner1bc2ce62018-01-18 18:35:01 +0000740 // If this record refers to an offset in the object file's string table,
741 // add that item to the global PDB string table and re-write the index.
742 recordStringTableReferences(Sym.kind(), Contents, StringTableRefs);
Reid Klecknerd0e6e242017-06-21 17:25:56 +0000743
Zachary Turner1bc2ce62018-01-18 18:35:01 +0000744 SymbolKind NewKind = symbolKind(NewData);
Reid Klecknerd0e6e242017-06-21 17:25:56 +0000745
Zachary Turner1bc2ce62018-01-18 18:35:01 +0000746 // Fill in "Parent" and "End" fields by maintaining a stack of scopes.
747 CVSymbol NewSym(NewKind, NewData);
748 if (symbolOpensScope(NewKind))
749 scopeStackOpen(Scopes, File->ModuleDBI->getNextSymbolOffset(),
750 NewSym);
751 else if (symbolEndsScope(NewKind))
752 scopeStackClose(Scopes, File->ModuleDBI->getNextSymbolOffset(), File);
Zachary Turneree9906d2017-08-11 19:00:03 +0000753
Zachary Turner1bc2ce62018-01-18 18:35:01 +0000754 // Add the symbol to the globals stream if necessary. Do this before
755 // adding the symbol to the module since we may need to get the next
756 // symbol offset, and writing to the module's symbol stream will update
757 // that offset.
758 if (symbolGoesInGlobalsStream(NewSym))
759 addGlobalSymbol(GsiBuilder, *File, NewSym);
760
761 // Add the symbol to the module.
762 if (symbolGoesInModuleStream(NewSym))
763 File->ModuleDBI->addSymbol(NewSym);
764 return Error::success();
765 });
766 cantFail(std::move(EC));
Reid Klecknerd0e6e242017-06-21 17:25:56 +0000767}
768
Reid Kleckner44cdb102017-06-19 17:21:45 +0000769// Allocate memory for a .debug$S section and relocate it.
770static ArrayRef<uint8_t> relocateDebugChunk(BumpPtrAllocator &Alloc,
771 SectionChunk *DebugChunk) {
772 uint8_t *Buffer = Alloc.Allocate<uint8_t>(DebugChunk->getSize());
773 assert(DebugChunk->OutputSectionOff == 0 &&
774 "debug sections should not be in output sections");
775 DebugChunk->writeTo(Buffer);
776 return consumeDebugMagic(makeArrayRef(Buffer, DebugChunk->getSize()),
777 ".debug$S");
778}
779
Zachary Turner194be872018-04-20 18:00:46 +0000780static pdb::SectionContrib createSectionContrib(const Chunk *C, uint32_t Modi) {
781 OutputSection *OS = C->getOutputSection();
782 pdb::SectionContrib SC;
783 memset(&SC, 0, sizeof(SC));
784 SC.ISect = OS->SectionIndex;
785 SC.Off = C->getRVA() - OS->getRVA();
786 SC.Size = C->getSize();
787 if (auto *SecChunk = dyn_cast<SectionChunk>(C)) {
788 SC.Characteristics = SecChunk->Header->Characteristics;
789 SC.Imod = SecChunk->File->ModuleDBI->getModuleIndex();
790 ArrayRef<uint8_t> Contents = SecChunk->getContents();
791 JamCRC CRC(0);
792 ArrayRef<char> CharContents = makeArrayRef(
793 reinterpret_cast<const char *>(Contents.data()), Contents.size());
794 CRC.update(CharContents);
795 SC.DataCrc = CRC.getCRC();
796 } else {
797 SC.Characteristics = OS->Header.Characteristics;
798 // FIXME: When we start creating DBI for import libraries, use those here.
799 SC.Imod = Modi;
800 }
801 SC.RelocCrc = 0; // FIXME
802
803 return SC;
804}
805
Rui Ueyamae1b48e02017-07-26 23:05:24 +0000806void PDBLinker::addObjFile(ObjFile *File) {
Reid Kleckner0faf6d72017-07-14 00:14:58 +0000807 // Add a module descriptor for every object file. We need to put an absolute
808 // path to the object into the PDB. If this is a plain object, we make its
809 // path absolute. If it's an object in an archive, we make the archive path
810 // absolute.
811 bool InArchive = !File->ParentName.empty();
812 SmallString<128> Path = InArchive ? File->ParentName : File->getName();
813 sys::fs::make_absolute(Path);
814 sys::path::native(Path, sys::path::Style::windows);
815 StringRef Name = InArchive ? File->getName() : StringRef(Path);
Zachary Turner2897e032017-05-25 21:16:03 +0000816
Reid Kleckner0faf6d72017-07-14 00:14:58 +0000817 File->ModuleDBI = &ExitOnErr(Builder.getDbiBuilder().addModuleInfo(Name));
818 File->ModuleDBI->setObjFileName(Path);
Reid Kleckner44cdb102017-06-19 17:21:45 +0000819
Zachary Turner194be872018-04-20 18:00:46 +0000820 auto Chunks = File->getChunks();
821 assert(!Chunks.empty());
822 uint32_t Modi = File->ModuleDBI->getModuleIndex();
823 for (Chunk *C : Chunks) {
824 auto *SecChunk = dyn_cast<SectionChunk>(C);
825 if (!SecChunk || !SecChunk->isLive())
826 continue;
827 pdb::SectionContrib SC = createSectionContrib(SecChunk, Modi);
828 File->ModuleDBI->setFirstSectionContrib(SC);
829 break;
830 }
831
Reid Kleckner0faf6d72017-07-14 00:14:58 +0000832 // Before we can process symbol substreams from .debug$S, we need to process
833 // type information, file checksums, and the string table. Add type info to
834 // the PDB first, so that we can get the map from object file type and item
835 // indices to PDB type and item indices.
Reid Kleckner651db912017-07-18 00:21:25 +0000836 CVIndexMap ObjectIndexMap;
Colden Cullenb9b6ed92018-01-31 17:48:04 +0000837 auto IndexMapResult = mergeDebugT(File, ObjectIndexMap);
838
839 // If the .debug$T sections fail to merge, assume there is no debug info.
840 if (!IndexMapResult) {
841 warn("Type server PDB for " + Name + " is invalid, ignoring debug info. " +
842 toString(IndexMapResult.takeError()));
843 return;
844 }
845
846 const CVIndexMap &IndexMap = *IndexMapResult;
Zachary Turner448dea42017-07-07 18:46:14 +0000847
Zachary Turner727f1532018-01-17 19:16:26 +0000848 ScopedTimer T(SymbolMergingTimer);
849
Reid Kleckner0faf6d72017-07-14 00:14:58 +0000850 // Now do all live .debug$S sections.
Zachary Turner60478582018-01-05 19:12:40 +0000851 DebugStringTableSubsectionRef CVStrTab;
852 DebugChecksumsSubsectionRef Checksums;
853 std::vector<ulittle32_t *> StringTableReferences;
Reid Kleckner0faf6d72017-07-14 00:14:58 +0000854 for (SectionChunk *DebugChunk : File->getDebugChunks()) {
855 if (!DebugChunk->isLive() || DebugChunk->getSectionName() != ".debug$S")
856 continue;
Reid Kleckner8cbdd0c2017-06-13 15:49:13 +0000857
Reid Kleckner0faf6d72017-07-14 00:14:58 +0000858 ArrayRef<uint8_t> RelocatedDebugContents =
859 relocateDebugChunk(Alloc, DebugChunk);
860 if (RelocatedDebugContents.empty())
861 continue;
Reid Kleckner8cbdd0c2017-06-13 15:49:13 +0000862
Reid Kleckner0faf6d72017-07-14 00:14:58 +0000863 DebugSubsectionArray Subsections;
864 BinaryStreamReader Reader(RelocatedDebugContents, support::little);
865 ExitOnErr(Reader.readArray(Subsections, RelocatedDebugContents.size()));
Rui Ueyama52896622017-01-12 03:09:25 +0000866
Reid Kleckner0faf6d72017-07-14 00:14:58 +0000867 for (const DebugSubsectionRecord &SS : Subsections) {
868 switch (SS.kind()) {
Zachary Turner60478582018-01-05 19:12:40 +0000869 case DebugSubsectionKind::StringTable: {
Zachary Turner60478582018-01-05 19:12:40 +0000870 assert(!CVStrTab.valid() &&
871 "Encountered multiple string table subsections!");
Reid Kleckner0faf6d72017-07-14 00:14:58 +0000872 ExitOnErr(CVStrTab.initialize(SS.getRecordData()));
873 break;
Zachary Turner60478582018-01-05 19:12:40 +0000874 }
Reid Kleckner0faf6d72017-07-14 00:14:58 +0000875 case DebugSubsectionKind::FileChecksums:
Zachary Turner60478582018-01-05 19:12:40 +0000876 assert(!Checksums.valid() &&
877 "Encountered multiple checksum subsections!");
Reid Kleckner0faf6d72017-07-14 00:14:58 +0000878 ExitOnErr(Checksums.initialize(SS.getRecordData()));
879 break;
880 case DebugSubsectionKind::Lines:
881 // We can add the relocated line table directly to the PDB without
882 // modification because the file checksum offsets will stay the same.
883 File->ModuleDBI->addDebugSubsection(SS);
884 break;
885 case DebugSubsectionKind::Symbols:
Zachary Turner0d07a8e2017-12-14 18:07:04 +0000886 if (Config->DebugGHashes) {
887 mergeSymbolRecords(Alloc, File, Builder.getGsiBuilder(), IndexMap,
Zachary Turner60478582018-01-05 19:12:40 +0000888 GlobalIDTable, StringTableReferences,
889 SS.getRecordData());
Zachary Turner0d07a8e2017-12-14 18:07:04 +0000890 } else {
891 mergeSymbolRecords(Alloc, File, Builder.getGsiBuilder(), IndexMap,
Zachary Turner60478582018-01-05 19:12:40 +0000892 IDTable, StringTableReferences,
893 SS.getRecordData());
Zachary Turner0d07a8e2017-12-14 18:07:04 +0000894 }
Reid Kleckner0faf6d72017-07-14 00:14:58 +0000895 break;
896 default:
897 // FIXME: Process the rest of the subsections.
898 break;
Reid Kleckner44cdb102017-06-19 17:21:45 +0000899 }
900 }
Reid Kleckner0faf6d72017-07-14 00:14:58 +0000901 }
Zachary Turner60478582018-01-05 19:12:40 +0000902
903 // We should have seen all debug subsections across the entire object file now
904 // which means that if a StringTable subsection and Checksums subsection were
905 // present, now is the time to handle them.
906 if (!CVStrTab.valid()) {
907 if (Checksums.valid())
908 fatal(".debug$S sections with a checksums subsection must also contain a "
909 "string table subsection");
910
911 if (!StringTableReferences.empty())
912 warn("No StringTable subsection was encountered, but there are string "
913 "table references");
914 return;
915 }
916
917 // Rewrite each string table reference based on the value that the string
918 // assumes in the final PDB.
919 for (ulittle32_t *Ref : StringTableReferences) {
920 auto ExpectedString = CVStrTab.getString(*Ref);
921 if (!ExpectedString) {
922 warn("Invalid string table reference");
923 consumeError(ExpectedString.takeError());
924 continue;
925 }
926
927 *Ref = PDBStrTab.insert(*ExpectedString);
928 }
929
930 // Make a new file checksum table that refers to offsets in the PDB-wide
931 // string table. Generally the string table subsection appears after the
932 // checksum table, so we have to do this after looping over all the
933 // subsections.
934 auto NewChecksums = make_unique<DebugChecksumsSubsection>(PDBStrTab);
935 for (FileChecksumEntry &FC : Checksums) {
936 StringRef FileName = ExitOnErr(CVStrTab.getString(FC.FileNameOffset));
937 ExitOnErr(Builder.getDbiBuilder().addModuleSourceFile(*File->ModuleDBI,
938 FileName));
939 NewChecksums->addChecksum(FileName, FC.Kind, FC.Checksum);
940 }
941 File->ModuleDBI->addDebugSubsection(std::move(NewChecksums));
Reid Kleckner0faf6d72017-07-14 00:14:58 +0000942}
943
Reid Klecknereacdf042017-07-27 18:25:59 +0000944static PublicSym32 createPublic(Defined *Def) {
945 PublicSym32 Pub(SymbolKind::S_PUB32);
946 Pub.Name = Def->getName();
947 if (auto *D = dyn_cast<DefinedCOFF>(Def)) {
948 if (D->getCOFFSymbol().isFunctionDefinition())
949 Pub.Flags = PublicSymFlags::Function;
950 } else if (isa<DefinedImportThunk>(Def)) {
951 Pub.Flags = PublicSymFlags::Function;
952 }
953
954 OutputSection *OS = Def->getChunk()->getOutputSection();
955 assert(OS && "all publics should be in final image");
956 Pub.Offset = Def->getRVA() - OS->getRVA();
957 Pub.Segment = OS->SectionIndex;
958 return Pub;
959}
960
Reid Kleckner0faf6d72017-07-14 00:14:58 +0000961// Add all object files to the PDB. Merge .debug$T sections into IpiData and
962// TpiData.
963void PDBLinker::addObjectsToPDB() {
Zachary Turner727f1532018-01-17 19:16:26 +0000964 ScopedTimer T1(AddObjectsTimer);
Rui Ueyamaacd632d2017-07-27 00:45:26 +0000965 for (ObjFile *File : ObjFile::Instances)
Rui Ueyamae1b48e02017-07-26 23:05:24 +0000966 addObjFile(File);
Reid Kleckner0faf6d72017-07-14 00:14:58 +0000967
968 Builder.getStringTableBuilder().setStrings(PDBStrTab);
Zachary Turner727f1532018-01-17 19:16:26 +0000969 T1.stop();
Reid Kleckner44cdb102017-06-19 17:21:45 +0000970
Zachary Turner0d07a8e2017-12-14 18:07:04 +0000971 // Construct TPI and IPI stream contents.
Zachary Turner727f1532018-01-17 19:16:26 +0000972 ScopedTimer T2(TpiStreamLayoutTimer);
Zachary Turner0d07a8e2017-12-14 18:07:04 +0000973 if (Config->DebugGHashes) {
974 addTypeInfo(Builder.getTpiBuilder(), GlobalTypeTable);
975 addTypeInfo(Builder.getIpiBuilder(), GlobalIDTable);
976 } else {
977 addTypeInfo(Builder.getTpiBuilder(), TypeTable);
978 addTypeInfo(Builder.getIpiBuilder(), IDTable);
979 }
Zachary Turner727f1532018-01-17 19:16:26 +0000980 T2.stop();
Reid Kleckner0faf6d72017-07-14 00:14:58 +0000981
Zachary Turner727f1532018-01-17 19:16:26 +0000982 ScopedTimer T3(GlobalsLayoutTimer);
Zachary Turneree9906d2017-08-11 19:00:03 +0000983 // Compute the public and global symbols.
984 auto &GsiBuilder = Builder.getGsiBuilder();
Reid Klecknereacdf042017-07-27 18:25:59 +0000985 std::vector<PublicSym32> Publics;
Rui Ueyamaf52496e2017-11-03 21:21:47 +0000986 Symtab->forEachSymbol([&Publics](Symbol *S) {
Reid Klecknereacdf042017-07-27 18:25:59 +0000987 // Only emit defined, live symbols that have a chunk.
Rui Ueyama616cd992017-10-31 16:10:24 +0000988 auto *Def = dyn_cast<Defined>(S);
Reid Klecknereacdf042017-07-27 18:25:59 +0000989 if (Def && Def->isLive() && Def->getChunk())
990 Publics.push_back(createPublic(Def));
991 });
Reid Kleckner0faf6d72017-07-14 00:14:58 +0000992
Reid Klecknereacdf042017-07-27 18:25:59 +0000993 if (!Publics.empty()) {
994 // Sort the public symbols and add them to the stream.
995 std::sort(Publics.begin(), Publics.end(),
996 [](const PublicSym32 &L, const PublicSym32 &R) {
997 return L.Name < R.Name;
998 });
Reid Klecknereacdf042017-07-27 18:25:59 +0000999 for (const PublicSym32 &Pub : Publics)
Zachary Turner946204c2017-08-09 04:23:25 +00001000 GsiBuilder.addPublicSymbol(Pub);
Reid Klecknereacdf042017-07-27 18:25:59 +00001001 }
Rui Ueyama52896622017-01-12 03:09:25 +00001002}
1003
Zachary Turnerf2282762018-03-23 19:57:25 +00001004void PDBLinker::addNatvisFiles() {
1005 for (StringRef File : Config->NatvisFiles) {
1006 ErrorOr<std::unique_ptr<MemoryBuffer>> DataOrErr =
1007 MemoryBuffer::getFile(File);
1008 if (!DataOrErr) {
1009 warn("Cannot open input file: " + File);
1010 continue;
1011 }
1012 Builder.addInjectedSource(File, std::move(*DataOrErr));
1013 }
1014}
1015
Zachary Turnere3fe6692018-04-16 18:17:13 +00001016static codeview::CPUType toCodeViewMachine(COFF::MachineTypes Machine) {
1017 switch (Machine) {
1018 case COFF::IMAGE_FILE_MACHINE_AMD64:
1019 return codeview::CPUType::X64;
1020 case COFF::IMAGE_FILE_MACHINE_ARM:
1021 return codeview::CPUType::ARM7;
1022 case COFF::IMAGE_FILE_MACHINE_ARM64:
1023 return codeview::CPUType::ARM64;
1024 case COFF::IMAGE_FILE_MACHINE_ARMNT:
1025 return codeview::CPUType::ARMNT;
1026 case COFF::IMAGE_FILE_MACHINE_I386:
1027 return codeview::CPUType::Intel80386;
1028 default:
1029 llvm_unreachable("Unsupported CPU Type");
1030 }
1031}
1032
Zachary Turner28e31ee2017-08-11 20:46:28 +00001033static void addCommonLinkerModuleSymbols(StringRef Path,
1034 pdb::DbiModuleDescriptorBuilder &Mod,
1035 BumpPtrAllocator &Allocator) {
Zachary Turner28e31ee2017-08-11 20:46:28 +00001036 ObjNameSym ONS(SymbolRecordKind::ObjNameSym);
1037 Compile3Sym CS(SymbolRecordKind::Compile3Sym);
1038 EnvBlockSym EBS(SymbolRecordKind::EnvBlockSym);
Zachary Turner6708e0b2017-07-10 21:01:37 +00001039
1040 ONS.Name = "* Linker *";
1041 ONS.Signature = 0;
1042
Zachary Turnere3fe6692018-04-16 18:17:13 +00001043 CS.Machine = toCodeViewMachine(Config->Machine);
Zachary Turnerb57884e2017-08-11 21:14:01 +00001044 // Interestingly, if we set the string to 0.0.0.0, then when trying to view
1045 // local variables WinDbg emits an error that private symbols are not present.
1046 // By setting this to a valid MSVC linker version string, local variables are
1047 // displayed properly. As such, even though it is not representative of
Zachary Turnerf6822c82017-08-11 20:46:47 +00001048 // LLVM's version information, we need this for compatibility.
Zachary Turner6708e0b2017-07-10 21:01:37 +00001049 CS.Flags = CompileSym3Flags::None;
Zachary Turnerf6822c82017-08-11 20:46:47 +00001050 CS.VersionBackendBuild = 25019;
1051 CS.VersionBackendMajor = 14;
1052 CS.VersionBackendMinor = 10;
Zachary Turner6708e0b2017-07-10 21:01:37 +00001053 CS.VersionBackendQFE = 0;
Zachary Turnerf6822c82017-08-11 20:46:47 +00001054
1055 // MSVC also sets the frontend to 0.0.0.0 since this is specifically for the
1056 // linker module (which is by definition a backend), so we don't need to do
1057 // anything here. Also, it seems we can use "LLVM Linker" for the linker name
1058 // without any problems. Only the backend version has to be hardcoded to a
1059 // magic number.
Zachary Turner6708e0b2017-07-10 21:01:37 +00001060 CS.VersionFrontendBuild = 0;
1061 CS.VersionFrontendMajor = 0;
1062 CS.VersionFrontendMinor = 0;
1063 CS.VersionFrontendQFE = 0;
1064 CS.Version = "LLVM Linker";
1065 CS.setLanguage(SourceLanguage::Link);
1066
1067 ArrayRef<StringRef> Args = makeArrayRef(Config->Argv).drop_front();
1068 std::string ArgStr = llvm::join(Args, " ");
1069 EBS.Fields.push_back("cwd");
1070 SmallString<64> cwd;
Reid Kleckner0faf6d72017-07-14 00:14:58 +00001071 sys::fs::current_path(cwd);
Zachary Turner6708e0b2017-07-10 21:01:37 +00001072 EBS.Fields.push_back(cwd);
1073 EBS.Fields.push_back("exe");
Zachary Turnerf6822c82017-08-11 20:46:47 +00001074 SmallString<64> exe = Config->Argv[0];
1075 llvm::sys::fs::make_absolute(exe);
1076 EBS.Fields.push_back(exe);
Zachary Turner6708e0b2017-07-10 21:01:37 +00001077 EBS.Fields.push_back("pdb");
1078 EBS.Fields.push_back(Path);
1079 EBS.Fields.push_back("cmd");
1080 EBS.Fields.push_back(ArgStr);
1081 Mod.addSymbol(codeview::SymbolSerializer::writeOneSymbol(
1082 ONS, Allocator, CodeViewContainer::Pdb));
1083 Mod.addSymbol(codeview::SymbolSerializer::writeOneSymbol(
1084 CS, Allocator, CodeViewContainer::Pdb));
1085 Mod.addSymbol(codeview::SymbolSerializer::writeOneSymbol(
1086 EBS, Allocator, CodeViewContainer::Pdb));
1087}
1088
Zachary Turner28e31ee2017-08-11 20:46:28 +00001089static void addLinkerModuleSectionSymbol(pdb::DbiModuleDescriptorBuilder &Mod,
1090 OutputSection &OS,
1091 BumpPtrAllocator &Allocator) {
1092 SectionSym Sym(SymbolRecordKind::SectionSym);
Zachary Turnerf6822c82017-08-11 20:46:47 +00001093 Sym.Alignment = 12; // 2^12 = 4KB
Peter Collingbournebe084ec2018-04-19 21:48:37 +00001094 Sym.Characteristics = OS.Header.Characteristics;
Zachary Turner28e31ee2017-08-11 20:46:28 +00001095 Sym.Length = OS.getVirtualSize();
Peter Collingbourne435b09912018-03-15 21:13:46 +00001096 Sym.Name = OS.Name;
Zachary Turner28e31ee2017-08-11 20:46:28 +00001097 Sym.Rva = OS.getRVA();
1098 Sym.SectionNumber = OS.SectionIndex;
1099 Mod.addSymbol(codeview::SymbolSerializer::writeOneSymbol(
1100 Sym, Allocator, CodeViewContainer::Pdb));
1101}
1102
Rui Ueyama09e0b5f2016-11-12 00:00:51 +00001103// Creates a PDB file.
Reid Kleckner175af4b2017-08-03 21:15:09 +00001104void coff::createPDB(SymbolTable *Symtab,
1105 ArrayRef<OutputSection *> OutputSections,
1106 ArrayRef<uint8_t> SectionTable,
Zachary Turner024323c2017-08-15 21:31:41 +00001107 const llvm::codeview::DebugInfo &BuildId) {
Zachary Turner727f1532018-01-17 19:16:26 +00001108 ScopedTimer T1(TotalPdbLinkTimer);
Reid Kleckner0faf6d72017-07-14 00:14:58 +00001109 PDBLinker PDB(Symtab);
Zachary Turnerf2282762018-03-23 19:57:25 +00001110
Zachary Turner024323c2017-08-15 21:31:41 +00001111 PDB.initialize(BuildId);
Reid Kleckner0faf6d72017-07-14 00:14:58 +00001112 PDB.addObjectsToPDB();
Reid Kleckner175af4b2017-08-03 21:15:09 +00001113 PDB.addSections(OutputSections, SectionTable);
Zachary Turnerf2282762018-03-23 19:57:25 +00001114 PDB.addNatvisFiles();
Zachary Turner727f1532018-01-17 19:16:26 +00001115
1116 ScopedTimer T2(DiskCommitTimer);
Reid Kleckner0faf6d72017-07-14 00:14:58 +00001117 PDB.commit();
1118}
1119
Zachary Turner024323c2017-08-15 21:31:41 +00001120void PDBLinker::initialize(const llvm::codeview::DebugInfo &BuildId) {
Rui Ueyama12979542016-09-30 20:53:45 +00001121 ExitOnErr(Builder.initialize(4096)); // 4096 is blocksize
Rui Ueyama7f382992016-09-15 18:55:18 +00001122
Rui Ueyama8d3fb5d2016-10-05 22:08:58 +00001123 // Create streams in MSF for predefined streams, namely
1124 // PDB, TPI, DBI and IPI.
1125 for (int I = 0; I < (int)pdb::kSpecialStreamCount; ++I)
1126 ExitOnErr(Builder.getMsfBuilder().addStream(0));
Rui Ueyama7f382992016-09-15 18:55:18 +00001127
Rui Ueyamabb542b32016-09-16 22:51:17 +00001128 // Add an Info stream.
1129 auto &InfoBuilder = Builder.getInfoBuilder();
Zachary Turner024323c2017-08-15 21:31:41 +00001130 GUID uuid;
1131 memcpy(&uuid, &BuildId.PDB70.Signature, sizeof(uuid));
Zachary Turnerc6a75a62018-03-01 18:00:29 +00001132 InfoBuilder.setAge(BuildId.PDB70.Age);
Saleem Abdulrasool0acd6dd2017-02-07 04:28:02 +00001133 InfoBuilder.setGuid(uuid);
Rui Ueyamabb542b32016-09-16 22:51:17 +00001134 InfoBuilder.setVersion(pdb::PdbRaw_ImplVer::PdbImplVC70);
Rui Ueyama7f382992016-09-15 18:55:18 +00001135
Zachary Turner6c4bfba2017-07-07 05:04:36 +00001136 // Add an empty DBI stream.
Reid Kleckner8cbdd0c2017-06-13 15:49:13 +00001137 pdb::DbiStreamBuilder &DbiBuilder = Builder.getDbiBuilder();
Zachary Turner024323c2017-08-15 21:31:41 +00001138 DbiBuilder.setAge(BuildId.PDB70.Age);
Zachary Turnerc1e93e52017-07-07 18:45:56 +00001139 DbiBuilder.setVersionHeader(pdb::PdbDbiV70);
Zachary Turnerd8d97de2018-04-16 20:42:06 +00001140 DbiBuilder.setMachineType(Config->Machine);
Zachary Turnere3fe6692018-04-16 18:17:13 +00001141 // Technically we are not link.exe 14.11, but there are known cases where
1142 // debugging tools on Windows expect Microsoft-specific version numbers or
1143 // they fail to work at all. Since we know we produce PDBs that are
1144 // compatible with LINK 14.11, we set that version number here.
1145 DbiBuilder.setBuildNumber(14, 11);
Reid Kleckner0faf6d72017-07-14 00:14:58 +00001146}
Rui Ueyama1343fac2016-10-06 22:52:01 +00001147
Reid Kleckner175af4b2017-08-03 21:15:09 +00001148void PDBLinker::addSections(ArrayRef<OutputSection *> OutputSections,
1149 ArrayRef<uint8_t> SectionTable) {
Reid Kleckner0faf6d72017-07-14 00:14:58 +00001150 // It's not entirely clear what this is, but the * Linker * module uses it.
Reid Kleckner175af4b2017-08-03 21:15:09 +00001151 pdb::DbiStreamBuilder &DbiBuilder = Builder.getDbiBuilder();
Reid Kleckner0faf6d72017-07-14 00:14:58 +00001152 NativePath = Config->PDBPath;
1153 sys::fs::make_absolute(NativePath);
1154 sys::path::native(NativePath, sys::path::Style::windows);
1155 uint32_t PdbFilePathNI = DbiBuilder.addECName(NativePath);
Zachary Turner6c4bfba2017-07-07 05:04:36 +00001156 auto &LinkerModule = ExitOnErr(DbiBuilder.addModuleInfo("* Linker *"));
1157 LinkerModule.setPdbFilePathNI(PdbFilePathNI);
Zachary Turner28e31ee2017-08-11 20:46:28 +00001158 addCommonLinkerModuleSymbols(NativePath, LinkerModule, Alloc);
Rui Ueyamac91f7162016-11-16 01:10:46 +00001159
Reid Kleckner175af4b2017-08-03 21:15:09 +00001160 // Add section contributions. They must be ordered by ascending RVA.
Zachary Turner28e31ee2017-08-11 20:46:28 +00001161 for (OutputSection *OS : OutputSections) {
1162 addLinkerModuleSectionSymbol(LinkerModule, *OS, Alloc);
Zachary Turner194be872018-04-20 18:00:46 +00001163 for (Chunk *C : OS->getChunks()) {
1164 pdb::SectionContrib SC =
1165 createSectionContrib(C, LinkerModule.getModuleIndex());
1166 Builder.getDbiBuilder().addSectionContrib(SC);
1167 }
Zachary Turner28e31ee2017-08-11 20:46:28 +00001168 }
Reid Kleckner175af4b2017-08-03 21:15:09 +00001169
1170 // Add Section Map stream.
1171 ArrayRef<object::coff_section> Sections = {
1172 (const object::coff_section *)SectionTable.data(),
1173 SectionTable.size() / sizeof(object::coff_section)};
1174 SectionMap = pdb::DbiStreamBuilder::createSectionMap(Sections);
1175 DbiBuilder.setSectionMap(SectionMap);
1176
Rui Ueyama9f66f822016-10-11 19:45:07 +00001177 // Add COFF section header stream.
1178 ExitOnErr(
1179 DbiBuilder.addDbgStream(pdb::DbgHeaderType::SectionHdr, SectionTable));
Reid Kleckner0faf6d72017-07-14 00:14:58 +00001180}
Rui Ueyama9f66f822016-10-11 19:45:07 +00001181
Reid Kleckner0faf6d72017-07-14 00:14:58 +00001182void PDBLinker::commit() {
Rui Ueyama3e9d6bb2016-09-26 23:53:55 +00001183 // Write to a file.
Zachary Turner6708e0b2017-07-10 21:01:37 +00001184 ExitOnErr(Builder.commit(Config->PDBPath));
Rui Ueyamae7378242015-12-04 23:11:05 +00001185}
Peter Collingbourne31088022018-04-17 23:32:33 +00001186
1187static Expected<StringRef>
1188getFileName(const DebugStringTableSubsectionRef &Strings,
1189 const DebugChecksumsSubsectionRef &Checksums, uint32_t FileID) {
1190 auto Iter = Checksums.getArray().at(FileID);
1191 if (Iter == Checksums.getArray().end())
1192 return make_error<CodeViewError>(cv_error_code::no_records);
1193 uint32_t Offset = Iter->FileNameOffset;
1194 return Strings.getString(Offset);
1195}
1196
1197static uint32_t getSecrelReloc() {
1198 switch (Config->Machine) {
1199 case AMD64:
1200 return COFF::IMAGE_REL_AMD64_SECREL;
1201 case I386:
1202 return COFF::IMAGE_REL_I386_SECREL;
1203 case ARMNT:
1204 return COFF::IMAGE_REL_ARM_SECREL;
1205 case ARM64:
1206 return COFF::IMAGE_REL_ARM64_SECREL;
1207 default:
1208 llvm_unreachable("unknown machine type");
1209 }
1210}
1211
1212// Try to find a line table for the given offset Addr into the given chunk C.
1213// If a line table was found, the line table, the string and checksum tables
1214// that are used to interpret the line table, and the offset of Addr in the line
1215// table are stored in the output arguments. Returns whether a line table was
1216// found.
1217static bool findLineTable(const SectionChunk *C, uint32_t Addr,
1218 DebugStringTableSubsectionRef &CVStrTab,
1219 DebugChecksumsSubsectionRef &Checksums,
1220 DebugLinesSubsectionRef &Lines,
1221 uint32_t &OffsetInLinetable) {
1222 ExitOnError ExitOnErr;
1223 uint32_t SecrelReloc = getSecrelReloc();
1224
1225 for (SectionChunk *DbgC : C->File->getDebugChunks()) {
1226 if (DbgC->getSectionName() != ".debug$S")
1227 continue;
1228
1229 // Build a mapping of SECREL relocations in DbgC that refer to C.
1230 DenseMap<uint32_t, uint32_t> Secrels;
1231 for (const coff_relocation &R : DbgC->Relocs) {
1232 if (R.Type != SecrelReloc)
1233 continue;
1234
1235 if (auto *S = dyn_cast_or_null<DefinedRegular>(
1236 C->File->getSymbols()[R.SymbolTableIndex]))
1237 if (S->getChunk() == C)
1238 Secrels[R.VirtualAddress] = S->getValue();
1239 }
1240
1241 ArrayRef<uint8_t> Contents =
1242 consumeDebugMagic(DbgC->getContents(), ".debug$S");
1243 DebugSubsectionArray Subsections;
1244 BinaryStreamReader Reader(Contents, support::little);
1245 ExitOnErr(Reader.readArray(Subsections, Contents.size()));
1246
1247 for (const DebugSubsectionRecord &SS : Subsections) {
1248 switch (SS.kind()) {
1249 case DebugSubsectionKind::StringTable: {
1250 assert(!CVStrTab.valid() &&
1251 "Encountered multiple string table subsections!");
1252 ExitOnErr(CVStrTab.initialize(SS.getRecordData()));
1253 break;
1254 }
1255 case DebugSubsectionKind::FileChecksums:
1256 assert(!Checksums.valid() &&
1257 "Encountered multiple checksum subsections!");
1258 ExitOnErr(Checksums.initialize(SS.getRecordData()));
1259 break;
1260 case DebugSubsectionKind::Lines: {
1261 ArrayRef<uint8_t> Bytes;
1262 auto Ref = SS.getRecordData();
1263 ExitOnErr(Ref.readLongestContiguousChunk(0, Bytes));
1264 size_t OffsetInDbgC = Bytes.data() - DbgC->getContents().data();
1265
1266 // Check whether this line table refers to C.
1267 auto I = Secrels.find(OffsetInDbgC);
1268 if (I == Secrels.end())
1269 break;
1270
1271 // Check whether this line table covers Addr in C.
1272 DebugLinesSubsectionRef LinesTmp;
1273 ExitOnErr(LinesTmp.initialize(BinaryStreamReader(Ref)));
1274 uint32_t OffsetInC = I->second + LinesTmp.header()->RelocOffset;
1275 if (Addr < OffsetInC || Addr >= OffsetInC + LinesTmp.header()->CodeSize)
1276 break;
1277
1278 assert(!Lines.header() &&
1279 "Encountered multiple line tables for function!");
1280 ExitOnErr(Lines.initialize(BinaryStreamReader(Ref)));
1281 OffsetInLinetable = Addr - OffsetInC;
1282 break;
1283 }
1284 default:
1285 break;
1286 }
1287
1288 if (CVStrTab.valid() && Checksums.valid() && Lines.header())
1289 return true;
1290 }
1291 }
1292
1293 return false;
1294}
1295
1296// Use CodeView line tables to resolve a file and line number for the given
1297// offset into the given chunk and return them, or {"", 0} if a line table was
1298// not found.
1299std::pair<StringRef, uint32_t> coff::getFileLine(const SectionChunk *C,
1300 uint32_t Addr) {
1301 ExitOnError ExitOnErr;
1302
1303 DebugStringTableSubsectionRef CVStrTab;
1304 DebugChecksumsSubsectionRef Checksums;
1305 DebugLinesSubsectionRef Lines;
1306 uint32_t OffsetInLinetable;
1307
1308 if (!findLineTable(C, Addr, CVStrTab, Checksums, Lines, OffsetInLinetable))
1309 return {"", 0};
1310
1311 uint32_t NameIndex;
1312 uint32_t LineNumber;
1313 for (LineColumnEntry &Entry : Lines) {
1314 for (const LineNumberEntry &LN : Entry.LineNumbers) {
1315 if (LN.Offset > OffsetInLinetable) {
1316 StringRef Filename =
1317 ExitOnErr(getFileName(CVStrTab, Checksums, NameIndex));
1318 return {Filename, LineNumber};
1319 }
1320 LineInfo LI(LN.Flags);
1321 NameIndex = Entry.NameIndex;
1322 LineNumber = LI.getStartLine();
1323 }
1324 }
1325 StringRef Filename = ExitOnErr(getFileName(CVStrTab, Checksums, NameIndex));
1326 return {Filename, LineNumber};
1327}