blob: 54ab17681ee9ef15072d4f0047fe5706924ee294 [file] [log] [blame]
Douglas Gregor5e306b12013-01-23 22:38:11 +00001//===--- GlobalModuleIndex.cpp - Global Module Index ------------*- C++ -*-===//
2//
Chandler Carruth2946cd72019-01-19 08:50:56 +00003// 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
Douglas Gregor5e306b12013-01-23 22:38:11 +00006//
7//===----------------------------------------------------------------------===//
8//
9// This file implements the GlobalModuleIndex class.
10//
11//===----------------------------------------------------------------------===//
12
13#include "ASTReaderInternals.h"
14#include "clang/Basic/FileManager.h"
Ben Langmuirbeee15e2014-04-14 18:00:01 +000015#include "clang/Lex/HeaderSearch.h"
Douglas Gregor5e306b12013-01-23 22:38:11 +000016#include "clang/Serialization/ASTBitCodes.h"
17#include "clang/Serialization/GlobalModuleIndex.h"
Douglas Gregor603cd862013-03-22 18:50:14 +000018#include "clang/Serialization/Module.h"
Richard Trieuf3b00462018-12-12 02:53:59 +000019#include "clang/Serialization/PCHContainerOperations.h"
Douglas Gregor5e306b12013-01-23 22:38:11 +000020#include "llvm/ADT/DenseMap.h"
21#include "llvm/ADT/MapVector.h"
22#include "llvm/ADT/SmallString.h"
Jan Korousf69c9172019-09-13 20:08:27 +000023#include "llvm/ADT/StringRef.h"
Francis Visoiu Mistrihe0308272019-07-03 22:40:07 +000024#include "llvm/Bitstream/BitstreamReader.h"
25#include "llvm/Bitstream/BitstreamWriter.h"
Jonas Devlieghere560ce2c2018-02-26 15:16:42 +000026#include "llvm/Support/DJB.h"
Douglas Gregor8ec343c2013-01-23 22:45:24 +000027#include "llvm/Support/FileSystem.h"
Jan Korousf69c9172019-09-13 20:08:27 +000028#include "llvm/Support/FileUtilities.h"
Douglas Gregor5e306b12013-01-23 22:38:11 +000029#include "llvm/Support/LockFileManager.h"
30#include "llvm/Support/MemoryBuffer.h"
Justin Bognerbb094f02014-04-18 19:57:06 +000031#include "llvm/Support/OnDiskHashTable.h"
Rafael Espindola552c1692013-06-11 22:15:02 +000032#include "llvm/Support/Path.h"
Anton Afanasyevd880de22019-03-30 08:42:48 +000033#include "llvm/Support/TimeProfiler.h"
NAKAMURA Takumif0add232013-01-25 01:47:07 +000034#include <cstdio>
Douglas Gregor5e306b12013-01-23 22:38:11 +000035using namespace clang;
36using namespace serialization;
37
38//----------------------------------------------------------------------------//
39// Shared constants
40//----------------------------------------------------------------------------//
41namespace {
42 enum {
Adrian Prantl9fc8faf2018-05-09 01:00:01 +000043 /// The block containing the index.
Douglas Gregor5e306b12013-01-23 22:38:11 +000044 GLOBAL_INDEX_BLOCK_ID = llvm::bitc::FIRST_APPLICATION_BLOCKID
45 };
46
Adrian Prantl9fc8faf2018-05-09 01:00:01 +000047 /// Describes the record types in the index.
Douglas Gregor5e306b12013-01-23 22:38:11 +000048 enum IndexRecordTypes {
Adrian Prantl9fc8faf2018-05-09 01:00:01 +000049 /// Contains version information and potentially other metadata,
Douglas Gregor5e306b12013-01-23 22:38:11 +000050 /// used to determine if we can read this global index file.
Douglas Gregore060e572013-01-25 01:03:03 +000051 INDEX_METADATA,
Adrian Prantl9fc8faf2018-05-09 01:00:01 +000052 /// Describes a module, including its file name and dependencies.
Douglas Gregor5e306b12013-01-23 22:38:11 +000053 MODULE,
Adrian Prantl9fc8faf2018-05-09 01:00:01 +000054 /// The index for identifiers.
Douglas Gregor5e306b12013-01-23 22:38:11 +000055 IDENTIFIER_INDEX
56 };
Alexander Kornienkoab9db512015-06-22 23:07:51 +000057}
Douglas Gregor5e306b12013-01-23 22:38:11 +000058
Adrian Prantl9fc8faf2018-05-09 01:00:01 +000059/// The name of the global index file.
Douglas Gregor5e306b12013-01-23 22:38:11 +000060static const char * const IndexFileName = "modules.idx";
61
Adrian Prantl9fc8faf2018-05-09 01:00:01 +000062/// The global index file version.
Douglas Gregor5e306b12013-01-23 22:38:11 +000063static const unsigned CurrentVersion = 1;
64
65//----------------------------------------------------------------------------//
Douglas Gregore060e572013-01-25 01:03:03 +000066// Global module index reader.
67//----------------------------------------------------------------------------//
68
69namespace {
70
Adrian Prantl9fc8faf2018-05-09 01:00:01 +000071/// Trait used to read the identifier index from the on-disk hash
Douglas Gregore060e572013-01-25 01:03:03 +000072/// table.
73class IdentifierIndexReaderTrait {
74public:
75 typedef StringRef external_key_type;
76 typedef StringRef internal_key_type;
77 typedef SmallVector<unsigned, 2> data_type;
Justin Bogner25463f12014-04-18 20:27:24 +000078 typedef unsigned hash_value_type;
79 typedef unsigned offset_type;
Douglas Gregore060e572013-01-25 01:03:03 +000080
81 static bool EqualKey(const internal_key_type& a, const internal_key_type& b) {
82 return a == b;
83 }
84
Justin Bogner25463f12014-04-18 20:27:24 +000085 static hash_value_type ComputeHash(const internal_key_type& a) {
Jonas Devlieghere560ce2c2018-02-26 15:16:42 +000086 return llvm::djbHash(a);
Douglas Gregore060e572013-01-25 01:03:03 +000087 }
88
89 static std::pair<unsigned, unsigned>
90 ReadKeyDataLength(const unsigned char*& d) {
Justin Bogner57ba0b22014-03-28 22:03:24 +000091 using namespace llvm::support;
92 unsigned KeyLen = endian::readNext<uint16_t, little, unaligned>(d);
93 unsigned DataLen = endian::readNext<uint16_t, little, unaligned>(d);
Douglas Gregore060e572013-01-25 01:03:03 +000094 return std::make_pair(KeyLen, DataLen);
95 }
96
97 static const internal_key_type&
98 GetInternalKey(const external_key_type& x) { return x; }
99
100 static const external_key_type&
101 GetExternalKey(const internal_key_type& x) { return x; }
102
103 static internal_key_type ReadKey(const unsigned char* d, unsigned n) {
104 return StringRef((const char *)d, n);
105 }
106
107 static data_type ReadData(const internal_key_type& k,
108 const unsigned char* d,
109 unsigned DataLen) {
Justin Bogner57ba0b22014-03-28 22:03:24 +0000110 using namespace llvm::support;
Douglas Gregore060e572013-01-25 01:03:03 +0000111
112 data_type Result;
113 while (DataLen > 0) {
Justin Bogner57ba0b22014-03-28 22:03:24 +0000114 unsigned ID = endian::readNext<uint32_t, little, unaligned>(d);
Douglas Gregore060e572013-01-25 01:03:03 +0000115 Result.push_back(ID);
116 DataLen -= 4;
117 }
118
119 return Result;
120 }
121};
122
Justin Bognerbb094f02014-04-18 19:57:06 +0000123typedef llvm::OnDiskIterableChainedHashTable<IdentifierIndexReaderTrait>
Justin Bognerda4e6502014-04-14 16:34:29 +0000124 IdentifierIndexTable;
Douglas Gregore060e572013-01-25 01:03:03 +0000125
Alexander Kornienkoab9db512015-06-22 23:07:51 +0000126}
Douglas Gregore060e572013-01-25 01:03:03 +0000127
David Blaikieafa10d32014-08-11 18:47:26 +0000128GlobalModuleIndex::GlobalModuleIndex(std::unique_ptr<llvm::MemoryBuffer> Buffer,
Douglas Gregore060e572013-01-25 01:03:03 +0000129 llvm::BitstreamCursor Cursor)
David Blaikieafa10d32014-08-11 18:47:26 +0000130 : Buffer(std::move(Buffer)), IdentifierIndex(), NumIdentifierLookups(),
131 NumIdentifierLookupHits() {
JF Bastien0e828952019-06-26 19:50:12 +0000132 auto Fail = [&Buffer](llvm::Error &&Err) {
133 report_fatal_error("Module index '" + Buffer->getBufferIdentifier() +
134 "' failed: " + toString(std::move(Err)));
135 };
136
Anton Afanasyevd880de22019-03-30 08:42:48 +0000137 llvm::TimeTraceScope TimeScope("Module LoadIndex", StringRef(""));
Douglas Gregore060e572013-01-25 01:03:03 +0000138 // Read the global index.
Douglas Gregore060e572013-01-25 01:03:03 +0000139 bool InGlobalIndexBlock = false;
140 bool Done = false;
Douglas Gregore060e572013-01-25 01:03:03 +0000141 while (!Done) {
JF Bastien0e828952019-06-26 19:50:12 +0000142 llvm::BitstreamEntry Entry;
143 if (Expected<llvm::BitstreamEntry> Res = Cursor.advance())
144 Entry = Res.get();
145 else
146 Fail(Res.takeError());
Douglas Gregore060e572013-01-25 01:03:03 +0000147
148 switch (Entry.Kind) {
149 case llvm::BitstreamEntry::Error:
150 return;
151
152 case llvm::BitstreamEntry::EndBlock:
153 if (InGlobalIndexBlock) {
154 InGlobalIndexBlock = false;
155 Done = true;
156 continue;
157 }
158 return;
159
160
161 case llvm::BitstreamEntry::Record:
162 // Entries in the global index block are handled below.
163 if (InGlobalIndexBlock)
164 break;
165
166 return;
167
168 case llvm::BitstreamEntry::SubBlock:
169 if (!InGlobalIndexBlock && Entry.ID == GLOBAL_INDEX_BLOCK_ID) {
JF Bastien0e828952019-06-26 19:50:12 +0000170 if (llvm::Error Err = Cursor.EnterSubBlock(GLOBAL_INDEX_BLOCK_ID))
171 Fail(std::move(Err));
Douglas Gregore060e572013-01-25 01:03:03 +0000172 InGlobalIndexBlock = true;
JF Bastien0e828952019-06-26 19:50:12 +0000173 } else if (llvm::Error Err = Cursor.SkipBlock())
174 Fail(std::move(Err));
Douglas Gregore060e572013-01-25 01:03:03 +0000175 continue;
176 }
177
178 SmallVector<uint64_t, 64> Record;
179 StringRef Blob;
JF Bastien0e828952019-06-26 19:50:12 +0000180 Expected<unsigned> MaybeIndexRecord =
181 Cursor.readRecord(Entry.ID, Record, &Blob);
182 if (!MaybeIndexRecord)
183 Fail(MaybeIndexRecord.takeError());
184 IndexRecordTypes IndexRecord =
185 static_cast<IndexRecordTypes>(MaybeIndexRecord.get());
186 switch (IndexRecord) {
Douglas Gregore060e572013-01-25 01:03:03 +0000187 case INDEX_METADATA:
188 // Make sure that the version matches.
189 if (Record.size() < 1 || Record[0] != CurrentVersion)
190 return;
191 break;
192
193 case MODULE: {
194 unsigned Idx = 0;
195 unsigned ID = Record[Idx++];
Douglas Gregor7029ce12013-03-19 00:28:20 +0000196
197 // Make room for this module's information.
198 if (ID == Modules.size())
199 Modules.push_back(ModuleInfo());
200 else
201 Modules.resize(ID + 1);
202
203 // Size/modification time for this module file at the time the
204 // global index was built.
205 Modules[ID].Size = Record[Idx++];
206 Modules[ID].ModTime = Record[Idx++];
Douglas Gregore060e572013-01-25 01:03:03 +0000207
208 // File name.
209 unsigned NameLen = Record[Idx++];
Douglas Gregor7029ce12013-03-19 00:28:20 +0000210 Modules[ID].FileName.assign(Record.begin() + Idx,
211 Record.begin() + Idx + NameLen);
Douglas Gregore060e572013-01-25 01:03:03 +0000212 Idx += NameLen;
213
214 // Dependencies
215 unsigned NumDeps = Record[Idx++];
Douglas Gregor7029ce12013-03-19 00:28:20 +0000216 Modules[ID].Dependencies.insert(Modules[ID].Dependencies.end(),
217 Record.begin() + Idx,
218 Record.begin() + Idx + NumDeps);
219 Idx += NumDeps;
Douglas Gregore060e572013-01-25 01:03:03 +0000220
Douglas Gregor7029ce12013-03-19 00:28:20 +0000221 // Make sure we're at the end of the record.
222 assert(Idx == Record.size() && "More module info?");
Douglas Gregor603cd862013-03-22 18:50:14 +0000223
224 // Record this module as an unresolved module.
Ben Langmuirbeee15e2014-04-14 18:00:01 +0000225 // FIXME: this doesn't work correctly for module names containing path
226 // separators.
227 StringRef ModuleName = llvm::sys::path::stem(Modules[ID].FileName);
228 // Remove the -<hash of ModuleMapPath>
229 ModuleName = ModuleName.rsplit('-').first;
230 UnresolvedModules[ModuleName] = ID;
Douglas Gregore060e572013-01-25 01:03:03 +0000231 break;
232 }
233
234 case IDENTIFIER_INDEX:
235 // Wire up the identifier index.
236 if (Record[0]) {
237 IdentifierIndex = IdentifierIndexTable::Create(
Justin Bognerda4e6502014-04-14 16:34:29 +0000238 (const unsigned char *)Blob.data() + Record[0],
239 (const unsigned char *)Blob.data() + sizeof(uint32_t),
240 (const unsigned char *)Blob.data(), IdentifierIndexReaderTrait());
Douglas Gregore060e572013-01-25 01:03:03 +0000241 }
242 break;
243 }
244 }
Douglas Gregore060e572013-01-25 01:03:03 +0000245}
246
Nico Webere68b8472014-04-25 19:45:23 +0000247GlobalModuleIndex::~GlobalModuleIndex() {
248 delete static_cast<IdentifierIndexTable *>(IdentifierIndex);
249}
Douglas Gregore060e572013-01-25 01:03:03 +0000250
JF Bastien0e828952019-06-26 19:50:12 +0000251std::pair<GlobalModuleIndex *, llvm::Error>
Douglas Gregor7029ce12013-03-19 00:28:20 +0000252GlobalModuleIndex::readIndex(StringRef Path) {
Douglas Gregore060e572013-01-25 01:03:03 +0000253 // Load the index file, if it's there.
254 llvm::SmallString<128> IndexPath;
255 IndexPath += Path;
256 llvm::sys::path::append(IndexPath, IndexFileName);
257
Rafael Espindola2d2b4202014-07-06 17:43:24 +0000258 llvm::ErrorOr<std::unique_ptr<llvm::MemoryBuffer>> BufferOrErr =
259 llvm::MemoryBuffer::getFile(IndexPath.c_str());
260 if (!BufferOrErr)
JF Bastien0e828952019-06-26 19:50:12 +0000261 return std::make_pair(nullptr,
262 llvm::errorCodeToError(BufferOrErr.getError()));
Rafael Espindola2d2b4202014-07-06 17:43:24 +0000263 std::unique_ptr<llvm::MemoryBuffer> Buffer = std::move(BufferOrErr.get());
Douglas Gregore060e572013-01-25 01:03:03 +0000264
Adrian Prantl9fc8faf2018-05-09 01:00:01 +0000265 /// The main bitstream cursor for the main block.
Peter Collingbourne77c89b62016-11-08 04:17:11 +0000266 llvm::BitstreamCursor Cursor(*Buffer);
Douglas Gregore060e572013-01-25 01:03:03 +0000267
268 // Sniff for the signature.
JF Bastien0e828952019-06-26 19:50:12 +0000269 for (unsigned char C : {'B', 'C', 'G', 'I'}) {
270 if (Expected<llvm::SimpleBitstreamCursor::word_t> Res = Cursor.Read(8)) {
271 if (Res.get() != C)
272 return std::make_pair(
273 nullptr, llvm::createStringError(std::errc::illegal_byte_sequence,
274 "expected signature BCGI"));
275 } else
276 return std::make_pair(nullptr, Res.takeError());
Douglas Gregore060e572013-01-25 01:03:03 +0000277 }
Ahmed Charles9a16beb2014-03-07 19:33:25 +0000278
David Blaikieafa10d32014-08-11 18:47:26 +0000279 return std::make_pair(new GlobalModuleIndex(std::move(Buffer), Cursor),
JF Bastien0e828952019-06-26 19:50:12 +0000280 llvm::Error::success());
Douglas Gregore060e572013-01-25 01:03:03 +0000281}
282
Douglas Gregor7029ce12013-03-19 00:28:20 +0000283void
284GlobalModuleIndex::getKnownModules(SmallVectorImpl<ModuleFile *> &ModuleFiles) {
Douglas Gregore060e572013-01-25 01:03:03 +0000285 ModuleFiles.clear();
286 for (unsigned I = 0, N = Modules.size(); I != N; ++I) {
Douglas Gregor603cd862013-03-22 18:50:14 +0000287 if (ModuleFile *MF = Modules[I].File)
288 ModuleFiles.push_back(MF);
Douglas Gregore060e572013-01-25 01:03:03 +0000289 }
290}
291
292void GlobalModuleIndex::getModuleDependencies(
Douglas Gregor7029ce12013-03-19 00:28:20 +0000293 ModuleFile *File,
294 SmallVectorImpl<ModuleFile *> &Dependencies) {
Douglas Gregore060e572013-01-25 01:03:03 +0000295 // Look for information about this module file.
Douglas Gregor7029ce12013-03-19 00:28:20 +0000296 llvm::DenseMap<ModuleFile *, unsigned>::iterator Known
297 = ModulesByFile.find(File);
Douglas Gregore060e572013-01-25 01:03:03 +0000298 if (Known == ModulesByFile.end())
299 return;
300
301 // Record dependencies.
Douglas Gregor7029ce12013-03-19 00:28:20 +0000302 Dependencies.clear();
303 ArrayRef<unsigned> StoredDependencies = Modules[Known->second].Dependencies;
304 for (unsigned I = 0, N = StoredDependencies.size(); I != N; ++I) {
Douglas Gregor603cd862013-03-22 18:50:14 +0000305 if (ModuleFile *MF = Modules[I].File)
Douglas Gregor7029ce12013-03-19 00:28:20 +0000306 Dependencies.push_back(MF);
307 }
Douglas Gregore060e572013-01-25 01:03:03 +0000308}
309
Douglas Gregor7211ac12013-01-25 23:32:03 +0000310bool GlobalModuleIndex::lookupIdentifier(StringRef Name, HitSet &Hits) {
311 Hits.clear();
Jonas Devlieghere560ce2c2018-02-26 15:16:42 +0000312
Douglas Gregore060e572013-01-25 01:03:03 +0000313 // If there's no identifier index, there is nothing we can do.
314 if (!IdentifierIndex)
315 return false;
316
317 // Look into the identifier index.
318 ++NumIdentifierLookups;
319 IdentifierIndexTable &Table
320 = *static_cast<IdentifierIndexTable *>(IdentifierIndex);
321 IdentifierIndexTable::iterator Known = Table.find(Name);
322 if (Known == Table.end()) {
323 return true;
324 }
325
326 SmallVector<unsigned, 2> ModuleIDs = *Known;
327 for (unsigned I = 0, N = ModuleIDs.size(); I != N; ++I) {
Douglas Gregor603cd862013-03-22 18:50:14 +0000328 if (ModuleFile *MF = Modules[ModuleIDs[I]].File)
329 Hits.insert(MF);
Douglas Gregore060e572013-01-25 01:03:03 +0000330 }
331
332 ++NumIdentifierLookupHits;
333 return true;
334}
335
Douglas Gregor603cd862013-03-22 18:50:14 +0000336bool GlobalModuleIndex::loadedModuleFile(ModuleFile *File) {
337 // Look for the module in the global module index based on the module name.
Ben Langmuirbeee15e2014-04-14 18:00:01 +0000338 StringRef Name = File->ModuleName;
Douglas Gregor603cd862013-03-22 18:50:14 +0000339 llvm::StringMap<unsigned>::iterator Known = UnresolvedModules.find(Name);
340 if (Known == UnresolvedModules.end()) {
341 return true;
Douglas Gregor7029ce12013-03-19 00:28:20 +0000342 }
343
Douglas Gregor603cd862013-03-22 18:50:14 +0000344 // Rectify this module with the global module index.
345 ModuleInfo &Info = Modules[Known->second];
346
347 // If the size and modification time match what we expected, record this
348 // module file.
349 bool Failed = true;
350 if (File->File->getSize() == Info.Size &&
351 File->File->getModificationTime() == Info.ModTime) {
352 Info.File = File;
353 ModulesByFile[File] = Known->second;
354
355 Failed = false;
Douglas Gregor7029ce12013-03-19 00:28:20 +0000356 }
357
Douglas Gregor603cd862013-03-22 18:50:14 +0000358 // One way or another, we have resolved this module file.
359 UnresolvedModules.erase(Known);
360 return Failed;
Douglas Gregor7029ce12013-03-19 00:28:20 +0000361}
362
Douglas Gregore060e572013-01-25 01:03:03 +0000363void GlobalModuleIndex::printStats() {
364 std::fprintf(stderr, "*** Global Module Index Statistics:\n");
365 if (NumIdentifierLookups) {
366 fprintf(stderr, " %u / %u identifier lookups succeeded (%f%%)\n",
367 NumIdentifierLookupHits, NumIdentifierLookups,
368 (double)NumIdentifierLookupHits*100.0/NumIdentifierLookups);
369 }
Douglas Gregore060e572013-01-25 01:03:03 +0000370 std::fprintf(stderr, "\n");
371}
372
Yaron Kerencdae9412016-01-29 19:38:18 +0000373LLVM_DUMP_METHOD void GlobalModuleIndex::dump() {
John Thompsona39baf12014-04-17 17:06:13 +0000374 llvm::errs() << "*** Global Module Index Dump:\n";
375 llvm::errs() << "Module files:\n";
John Thompson4f52d442014-04-17 18:17:36 +0000376 for (auto &MI : Modules) {
John Thompsona39baf12014-04-17 17:06:13 +0000377 llvm::errs() << "** " << MI.FileName << "\n";
378 if (MI.File)
379 MI.File->dump();
John Thompsonbcdcc922014-04-16 21:03:41 +0000380 else
John Thompsona39baf12014-04-17 17:06:13 +0000381 llvm::errs() << "\n";
John Thompsonbcdcc922014-04-16 21:03:41 +0000382 }
John Thompsona39baf12014-04-17 17:06:13 +0000383 llvm::errs() << "\n";
John Thompsonbcdcc922014-04-16 21:03:41 +0000384}
385
Douglas Gregore060e572013-01-25 01:03:03 +0000386//----------------------------------------------------------------------------//
Douglas Gregor5e306b12013-01-23 22:38:11 +0000387// Global module index writer.
388//----------------------------------------------------------------------------//
389
390namespace {
Adrian Prantl9fc8faf2018-05-09 01:00:01 +0000391 /// Provides information about a specific module file.
Douglas Gregor5e306b12013-01-23 22:38:11 +0000392 struct ModuleFileInfo {
Adrian Prantl9fc8faf2018-05-09 01:00:01 +0000393 /// The numberic ID for this module file.
Douglas Gregor5e306b12013-01-23 22:38:11 +0000394 unsigned ID;
395
Adrian Prantl9fc8faf2018-05-09 01:00:01 +0000396 /// The set of modules on which this module depends. Each entry is
Douglas Gregor5e306b12013-01-23 22:38:11 +0000397 /// a module ID.
398 SmallVector<unsigned, 4> Dependencies;
Duncan P. N. Exon Smith60fa2882017-03-13 18:45:08 +0000399 ASTFileSignature Signature;
400 };
401
402 struct ImportedModuleFileInfo {
403 off_t StoredSize;
404 time_t StoredModTime;
405 ASTFileSignature StoredSignature;
406 ImportedModuleFileInfo(off_t Size, time_t ModTime, ASTFileSignature Sig)
407 : StoredSize(Size), StoredModTime(ModTime), StoredSignature(Sig) {}
Douglas Gregor5e306b12013-01-23 22:38:11 +0000408 };
409
Adrian Prantl9fc8faf2018-05-09 01:00:01 +0000410 /// Builder that generates the global module index file.
Douglas Gregor5e306b12013-01-23 22:38:11 +0000411 class GlobalModuleIndexBuilder {
412 FileManager &FileMgr;
Adrian Prantlfb2398d2015-07-17 01:19:54 +0000413 const PCHContainerReader &PCHContainerRdr;
Douglas Gregor5e306b12013-01-23 22:38:11 +0000414
Duncan P. N. Exon Smith60fa2882017-03-13 18:45:08 +0000415 /// Mapping from files to module file information.
Douglas Gregor5e306b12013-01-23 22:38:11 +0000416 typedef llvm::MapVector<const FileEntry *, ModuleFileInfo> ModuleFilesMap;
417
Duncan P. N. Exon Smith60fa2882017-03-13 18:45:08 +0000418 /// Information about each of the known module files.
Douglas Gregor5e306b12013-01-23 22:38:11 +0000419 ModuleFilesMap ModuleFiles;
420
Adrian Prantl9fc8faf2018-05-09 01:00:01 +0000421 /// Mapping from the imported module file to the imported
Duncan P. N. Exon Smith60fa2882017-03-13 18:45:08 +0000422 /// information.
423 typedef std::multimap<const FileEntry *, ImportedModuleFileInfo>
424 ImportedModuleFilesMap;
425
Adrian Prantl9fc8faf2018-05-09 01:00:01 +0000426 /// Information about each importing of a module file.
Duncan P. N. Exon Smith60fa2882017-03-13 18:45:08 +0000427 ImportedModuleFilesMap ImportedModuleFiles;
428
Adrian Prantl9fc8faf2018-05-09 01:00:01 +0000429 /// Mapping from identifiers to the list of module file IDs that
Douglas Gregor5e306b12013-01-23 22:38:11 +0000430 /// consider this identifier to be interesting.
431 typedef llvm::StringMap<SmallVector<unsigned, 2> > InterestingIdentifierMap;
432
Adrian Prantl9fc8faf2018-05-09 01:00:01 +0000433 /// A mapping from all interesting identifiers to the set of module
Douglas Gregor5e306b12013-01-23 22:38:11 +0000434 /// files in which those identifiers are considered interesting.
435 InterestingIdentifierMap InterestingIdentifiers;
Jonas Devlieghere560ce2c2018-02-26 15:16:42 +0000436
Adrian Prantl9fc8faf2018-05-09 01:00:01 +0000437 /// Write the block-info block for the global module index file.
Douglas Gregor5e306b12013-01-23 22:38:11 +0000438 void emitBlockInfoBlock(llvm::BitstreamWriter &Stream);
439
Adrian Prantl9fc8faf2018-05-09 01:00:01 +0000440 /// Retrieve the module file information for the given file.
Douglas Gregor5e306b12013-01-23 22:38:11 +0000441 ModuleFileInfo &getModuleFileInfo(const FileEntry *File) {
442 llvm::MapVector<const FileEntry *, ModuleFileInfo>::iterator Known
443 = ModuleFiles.find(File);
444 if (Known != ModuleFiles.end())
445 return Known->second;
446
447 unsigned NewID = ModuleFiles.size();
448 ModuleFileInfo &Info = ModuleFiles[File];
449 Info.ID = NewID;
450 return Info;
451 }
452
453 public:
Adrian Prantlbb165fb2015-06-20 18:53:08 +0000454 explicit GlobalModuleIndexBuilder(
Adrian Prantlfb2398d2015-07-17 01:19:54 +0000455 FileManager &FileMgr, const PCHContainerReader &PCHContainerRdr)
456 : FileMgr(FileMgr), PCHContainerRdr(PCHContainerRdr) {}
Douglas Gregor5e306b12013-01-23 22:38:11 +0000457
Adrian Prantl9fc8faf2018-05-09 01:00:01 +0000458 /// Load the contents of the given module file into the builder.
JF Bastien0e828952019-06-26 19:50:12 +0000459 llvm::Error loadModuleFile(const FileEntry *File);
Douglas Gregor5e306b12013-01-23 22:38:11 +0000460
Adrian Prantl9fc8faf2018-05-09 01:00:01 +0000461 /// Write the index to the given bitstream.
Duncan P. N. Exon Smith60fa2882017-03-13 18:45:08 +0000462 /// \returns true if an error occurred, false otherwise.
463 bool writeIndex(llvm::BitstreamWriter &Stream);
Douglas Gregor5e306b12013-01-23 22:38:11 +0000464 };
Alexander Kornienkoab9db512015-06-22 23:07:51 +0000465}
Douglas Gregor5e306b12013-01-23 22:38:11 +0000466
467static void emitBlockID(unsigned ID, const char *Name,
468 llvm::BitstreamWriter &Stream,
469 SmallVectorImpl<uint64_t> &Record) {
470 Record.clear();
471 Record.push_back(ID);
472 Stream.EmitRecord(llvm::bitc::BLOCKINFO_CODE_SETBID, Record);
473
474 // Emit the block name if present.
Craig Toppera13603a2014-05-22 05:54:18 +0000475 if (!Name || Name[0] == 0) return;
Douglas Gregor5e306b12013-01-23 22:38:11 +0000476 Record.clear();
477 while (*Name)
478 Record.push_back(*Name++);
479 Stream.EmitRecord(llvm::bitc::BLOCKINFO_CODE_BLOCKNAME, Record);
480}
481
482static void emitRecordID(unsigned ID, const char *Name,
483 llvm::BitstreamWriter &Stream,
484 SmallVectorImpl<uint64_t> &Record) {
485 Record.clear();
486 Record.push_back(ID);
487 while (*Name)
488 Record.push_back(*Name++);
489 Stream.EmitRecord(llvm::bitc::BLOCKINFO_CODE_SETRECORDNAME, Record);
490}
491
492void
493GlobalModuleIndexBuilder::emitBlockInfoBlock(llvm::BitstreamWriter &Stream) {
494 SmallVector<uint64_t, 64> Record;
Peter Collingbourned3a6c702016-11-01 01:18:57 +0000495 Stream.EnterBlockInfoBlock();
Douglas Gregor5e306b12013-01-23 22:38:11 +0000496
497#define BLOCK(X) emitBlockID(X ## _ID, #X, Stream, Record)
498#define RECORD(X) emitRecordID(X, #X, Stream, Record)
499 BLOCK(GLOBAL_INDEX_BLOCK);
Douglas Gregore060e572013-01-25 01:03:03 +0000500 RECORD(INDEX_METADATA);
Douglas Gregor5e306b12013-01-23 22:38:11 +0000501 RECORD(MODULE);
502 RECORD(IDENTIFIER_INDEX);
503#undef RECORD
504#undef BLOCK
505
506 Stream.ExitBlock();
507}
508
Douglas Gregore060e572013-01-25 01:03:03 +0000509namespace {
Douglas Gregor5e306b12013-01-23 22:38:11 +0000510 class InterestingASTIdentifierLookupTrait
511 : public serialization::reader::ASTIdentifierLookupTraitBase {
512
513 public:
Adrian Prantl9fc8faf2018-05-09 01:00:01 +0000514 /// The identifier and whether it is "interesting".
Douglas Gregor5e306b12013-01-23 22:38:11 +0000515 typedef std::pair<StringRef, bool> data_type;
516
517 data_type ReadData(const internal_key_type& k,
518 const unsigned char* d,
519 unsigned DataLen) {
520 // The first bit indicates whether this identifier is interesting.
521 // That's all we care about.
Justin Bogner57ba0b22014-03-28 22:03:24 +0000522 using namespace llvm::support;
523 unsigned RawID = endian::readNext<uint32_t, little, unaligned>(d);
Douglas Gregor5e306b12013-01-23 22:38:11 +0000524 bool IsInteresting = RawID & 0x01;
525 return std::make_pair(k, IsInteresting);
526 }
527 };
Alexander Kornienkoab9db512015-06-22 23:07:51 +0000528}
Douglas Gregor5e306b12013-01-23 22:38:11 +0000529
JF Bastien0e828952019-06-26 19:50:12 +0000530llvm::Error GlobalModuleIndexBuilder::loadModuleFile(const FileEntry *File) {
Douglas Gregor5e306b12013-01-23 22:38:11 +0000531 // Open the module file.
Rafael Espindola6406f7b2014-08-26 19:54:40 +0000532
Benjamin Kramera8857962014-10-26 22:44:13 +0000533 auto Buffer = FileMgr.getBufferForFile(File, /*isVolatile=*/true);
JF Bastien0e828952019-06-26 19:50:12 +0000534 if (!Buffer)
535 return llvm::createStringError(Buffer.getError(),
536 "failed getting buffer for module file");
Douglas Gregor5e306b12013-01-23 22:38:11 +0000537
538 // Initialize the input stream
Peter Collingbourne77c89b62016-11-08 04:17:11 +0000539 llvm::BitstreamCursor InStream(PCHContainerRdr.ExtractPCH(**Buffer));
Douglas Gregor5e306b12013-01-23 22:38:11 +0000540
541 // Sniff for the signature.
JF Bastien0e828952019-06-26 19:50:12 +0000542 for (unsigned char C : {'C', 'P', 'C', 'H'})
543 if (Expected<llvm::SimpleBitstreamCursor::word_t> Res = InStream.Read(8)) {
544 if (Res.get() != C)
545 return llvm::createStringError(std::errc::illegal_byte_sequence,
546 "expected signature CPCH");
547 } else
548 return Res.takeError();
Douglas Gregor5e306b12013-01-23 22:38:11 +0000549
550 // Record this module file and assign it a unique ID (if it doesn't have
551 // one already).
552 unsigned ID = getModuleFileInfo(File).ID;
553
554 // Search for the blocks and records we care about.
Duncan P. N. Exon Smith60fa2882017-03-13 18:45:08 +0000555 enum { Other, ControlBlock, ASTBlock, DiagnosticOptionsBlock } State = Other;
Douglas Gregor5e306b12013-01-23 22:38:11 +0000556 bool Done = false;
557 while (!Done) {
JF Bastien0e828952019-06-26 19:50:12 +0000558 Expected<llvm::BitstreamEntry> MaybeEntry = InStream.advance();
559 if (!MaybeEntry)
560 return MaybeEntry.takeError();
561 llvm::BitstreamEntry Entry = MaybeEntry.get();
562
Douglas Gregor5e306b12013-01-23 22:38:11 +0000563 switch (Entry.Kind) {
564 case llvm::BitstreamEntry::Error:
Douglas Gregore060e572013-01-25 01:03:03 +0000565 Done = true;
566 continue;
Douglas Gregor5e306b12013-01-23 22:38:11 +0000567
568 case llvm::BitstreamEntry::Record:
Douglas Gregore060e572013-01-25 01:03:03 +0000569 // In the 'other' state, just skip the record. We don't care.
570 if (State == Other) {
JF Bastien0e828952019-06-26 19:50:12 +0000571 if (llvm::Expected<unsigned> Skipped = InStream.skipRecord(Entry.ID))
572 continue;
573 else
574 return Skipped.takeError();
Douglas Gregor5e306b12013-01-23 22:38:11 +0000575 }
576
577 // Handle potentially-interesting records below.
578 break;
579
580 case llvm::BitstreamEntry::SubBlock:
Douglas Gregore060e572013-01-25 01:03:03 +0000581 if (Entry.ID == CONTROL_BLOCK_ID) {
JF Bastien0e828952019-06-26 19:50:12 +0000582 if (llvm::Error Err = InStream.EnterSubBlock(CONTROL_BLOCK_ID))
583 return Err;
Douglas Gregor5e306b12013-01-23 22:38:11 +0000584
585 // Found the control block.
586 State = ControlBlock;
587 continue;
588 }
589
Douglas Gregore060e572013-01-25 01:03:03 +0000590 if (Entry.ID == AST_BLOCK_ID) {
JF Bastien0e828952019-06-26 19:50:12 +0000591 if (llvm::Error Err = InStream.EnterSubBlock(AST_BLOCK_ID))
592 return Err;
Douglas Gregor5e306b12013-01-23 22:38:11 +0000593
594 // Found the AST block.
595 State = ASTBlock;
596 continue;
Douglas Gregor5e306b12013-01-23 22:38:11 +0000597 }
598
Duncan P. N. Exon Smith60fa2882017-03-13 18:45:08 +0000599 if (Entry.ID == UNHASHED_CONTROL_BLOCK_ID) {
JF Bastien0e828952019-06-26 19:50:12 +0000600 if (llvm::Error Err = InStream.EnterSubBlock(UNHASHED_CONTROL_BLOCK_ID))
601 return Err;
Duncan P. N. Exon Smith60fa2882017-03-13 18:45:08 +0000602
603 // Found the Diagnostic Options block.
604 State = DiagnosticOptionsBlock;
605 continue;
606 }
607
JF Bastien0e828952019-06-26 19:50:12 +0000608 if (llvm::Error Err = InStream.SkipBlock())
609 return Err;
Douglas Gregor5e306b12013-01-23 22:38:11 +0000610
611 continue;
612
613 case llvm::BitstreamEntry::EndBlock:
Douglas Gregore060e572013-01-25 01:03:03 +0000614 State = Other;
Douglas Gregor5e306b12013-01-23 22:38:11 +0000615 continue;
616 }
617
618 // Read the given record.
619 SmallVector<uint64_t, 64> Record;
620 StringRef Blob;
JF Bastien0e828952019-06-26 19:50:12 +0000621 Expected<unsigned> MaybeCode = InStream.readRecord(Entry.ID, Record, &Blob);
622 if (!MaybeCode)
623 return MaybeCode.takeError();
624 unsigned Code = MaybeCode.get();
Douglas Gregor5e306b12013-01-23 22:38:11 +0000625
626 // Handle module dependencies.
627 if (State == ControlBlock && Code == IMPORTS) {
628 // Load each of the imported PCH files.
629 unsigned Idx = 0, N = Record.size();
630 while (Idx < N) {
631 // Read information about the AST file.
632
633 // Skip the imported kind
634 ++Idx;
635
636 // Skip the import location
637 ++Idx;
638
Jonas Devlieghere560ce2c2018-02-26 15:16:42 +0000639 // Load stored size/modification time.
Douglas Gregor7029ce12013-03-19 00:28:20 +0000640 off_t StoredSize = (off_t)Record[Idx++];
641 time_t StoredModTime = (time_t)Record[Idx++];
642
Ben Langmuir487ea142014-10-23 18:05:36 +0000643 // Skip the stored signature.
644 // FIXME: we could read the signature out of the import and validate it.
Duncan P. N. Exon Smith60fa2882017-03-13 18:45:08 +0000645 ASTFileSignature StoredSignature = {
646 {{(uint32_t)Record[Idx++], (uint32_t)Record[Idx++],
647 (uint32_t)Record[Idx++], (uint32_t)Record[Idx++],
648 (uint32_t)Record[Idx++]}}};
Ben Langmuir487ea142014-10-23 18:05:36 +0000649
Boris Kolpackovd30446f2017-08-31 06:26:43 +0000650 // Skip the module name (currently this is only used for prebuilt
651 // modules while here we are only dealing with cached).
652 Idx += Record[Idx] + 1;
653
Douglas Gregor5e306b12013-01-23 22:38:11 +0000654 // Retrieve the imported file name.
655 unsigned Length = Record[Idx++];
656 SmallString<128> ImportedFile(Record.begin() + Idx,
657 Record.begin() + Idx + Length);
658 Idx += Length;
659
660 // Find the imported module file.
Harlan Haskins8d323d12019-08-01 21:31:56 +0000661 auto DependsOnFile
Rui Ueyama49a3ad22019-07-16 04:46:31 +0000662 = FileMgr.getFile(ImportedFile, /*OpenFile=*/false,
663 /*CacheFailure=*/false);
Duncan P. N. Exon Smith60fa2882017-03-13 18:45:08 +0000664
665 if (!DependsOnFile)
JF Bastien0e828952019-06-26 19:50:12 +0000666 return llvm::createStringError(std::errc::bad_file_descriptor,
667 "imported file \"%s\" not found",
668 ImportedFile.c_str());
Douglas Gregor5e306b12013-01-23 22:38:11 +0000669
Duncan P. N. Exon Smith60fa2882017-03-13 18:45:08 +0000670 // Save the information in ImportedModuleFileInfo so we can verify after
671 // loading all pcms.
672 ImportedModuleFiles.insert(std::make_pair(
Harlan Haskins8d323d12019-08-01 21:31:56 +0000673 *DependsOnFile, ImportedModuleFileInfo(StoredSize, StoredModTime,
674 StoredSignature)));
Duncan P. N. Exon Smith60fa2882017-03-13 18:45:08 +0000675
Douglas Gregor5e306b12013-01-23 22:38:11 +0000676 // Record the dependency.
Harlan Haskins8d323d12019-08-01 21:31:56 +0000677 unsigned DependsOnID = getModuleFileInfo(*DependsOnFile).ID;
Douglas Gregor5e306b12013-01-23 22:38:11 +0000678 getModuleFileInfo(File).Dependencies.push_back(DependsOnID);
679 }
680
681 continue;
682 }
683
684 // Handle the identifier table
685 if (State == ASTBlock && Code == IDENTIFIER_TABLE && Record[0] > 0) {
Justin Bognerbb094f02014-04-18 19:57:06 +0000686 typedef llvm::OnDiskIterableChainedHashTable<
687 InterestingASTIdentifierLookupTrait> InterestingIdentifierTable;
Ahmed Charlesb8984322014-03-07 20:03:18 +0000688 std::unique_ptr<InterestingIdentifierTable> Table(
689 InterestingIdentifierTable::Create(
690 (const unsigned char *)Blob.data() + Record[0],
Justin Bognerda4e6502014-04-14 16:34:29 +0000691 (const unsigned char *)Blob.data() + sizeof(uint32_t),
Ahmed Charlesb8984322014-03-07 20:03:18 +0000692 (const unsigned char *)Blob.data()));
Douglas Gregor5e306b12013-01-23 22:38:11 +0000693 for (InterestingIdentifierTable::data_iterator D = Table->data_begin(),
694 DEnd = Table->data_end();
695 D != DEnd; ++D) {
696 std::pair<StringRef, bool> Ident = *D;
697 if (Ident.second)
698 InterestingIdentifiers[Ident.first].push_back(ID);
Douglas Gregore060e572013-01-25 01:03:03 +0000699 else
700 (void)InterestingIdentifiers[Ident.first];
Douglas Gregor5e306b12013-01-23 22:38:11 +0000701 }
702 }
703
Duncan P. N. Exon Smith60fa2882017-03-13 18:45:08 +0000704 // Get Signature.
705 if (State == DiagnosticOptionsBlock && Code == SIGNATURE)
706 getModuleFileInfo(File).Signature = {
707 {{(uint32_t)Record[0], (uint32_t)Record[1], (uint32_t)Record[2],
708 (uint32_t)Record[3], (uint32_t)Record[4]}}};
709
Douglas Gregor5e306b12013-01-23 22:38:11 +0000710 // We don't care about this record.
711 }
712
JF Bastien0e828952019-06-26 19:50:12 +0000713 return llvm::Error::success();
Douglas Gregor5e306b12013-01-23 22:38:11 +0000714}
715
716namespace {
717
Adrian Prantl9fc8faf2018-05-09 01:00:01 +0000718/// Trait used to generate the identifier index as an on-disk hash
Douglas Gregor5e306b12013-01-23 22:38:11 +0000719/// table.
720class IdentifierIndexWriterTrait {
721public:
722 typedef StringRef key_type;
723 typedef StringRef key_type_ref;
724 typedef SmallVector<unsigned, 2> data_type;
725 typedef const SmallVector<unsigned, 2> &data_type_ref;
Justin Bogner25463f12014-04-18 20:27:24 +0000726 typedef unsigned hash_value_type;
727 typedef unsigned offset_type;
Douglas Gregor5e306b12013-01-23 22:38:11 +0000728
Justin Bogner25463f12014-04-18 20:27:24 +0000729 static hash_value_type ComputeHash(key_type_ref Key) {
Jonas Devlieghere560ce2c2018-02-26 15:16:42 +0000730 return llvm::djbHash(Key);
Douglas Gregor5e306b12013-01-23 22:38:11 +0000731 }
732
733 std::pair<unsigned,unsigned>
734 EmitKeyDataLength(raw_ostream& Out, key_type_ref Key, data_type_ref Data) {
Justin Bognere1c147c2014-03-28 22:03:19 +0000735 using namespace llvm::support;
Peter Collingbournee3f65292018-05-18 19:46:24 +0000736 endian::Writer LE(Out, little);
Douglas Gregor5e306b12013-01-23 22:38:11 +0000737 unsigned KeyLen = Key.size();
738 unsigned DataLen = Data.size() * 4;
Justin Bognere1c147c2014-03-28 22:03:19 +0000739 LE.write<uint16_t>(KeyLen);
740 LE.write<uint16_t>(DataLen);
Douglas Gregor5e306b12013-01-23 22:38:11 +0000741 return std::make_pair(KeyLen, DataLen);
742 }
Jonas Devlieghere560ce2c2018-02-26 15:16:42 +0000743
Douglas Gregor5e306b12013-01-23 22:38:11 +0000744 void EmitKey(raw_ostream& Out, key_type_ref Key, unsigned KeyLen) {
745 Out.write(Key.data(), KeyLen);
746 }
747
748 void EmitData(raw_ostream& Out, key_type_ref Key, data_type_ref Data,
749 unsigned DataLen) {
Justin Bognere1c147c2014-03-28 22:03:19 +0000750 using namespace llvm::support;
Douglas Gregor5e306b12013-01-23 22:38:11 +0000751 for (unsigned I = 0, N = Data.size(); I != N; ++I)
Peter Collingbournee3f65292018-05-18 19:46:24 +0000752 endian::write<uint32_t>(Out, Data[I], little);
Douglas Gregor5e306b12013-01-23 22:38:11 +0000753 }
754};
755
Alexander Kornienkoab9db512015-06-22 23:07:51 +0000756}
Douglas Gregor5e306b12013-01-23 22:38:11 +0000757
Duncan P. N. Exon Smith60fa2882017-03-13 18:45:08 +0000758bool GlobalModuleIndexBuilder::writeIndex(llvm::BitstreamWriter &Stream) {
759 for (auto MapEntry : ImportedModuleFiles) {
760 auto *File = MapEntry.first;
761 ImportedModuleFileInfo &Info = MapEntry.second;
762 if (getModuleFileInfo(File).Signature) {
763 if (getModuleFileInfo(File).Signature != Info.StoredSignature)
764 // Verify Signature.
765 return true;
766 } else if (Info.StoredSize != File->getSize() ||
767 Info.StoredModTime != File->getModificationTime())
768 // Verify Size and ModTime.
769 return true;
770 }
771
Douglas Gregor5e306b12013-01-23 22:38:11 +0000772 using namespace llvm;
Anton Afanasyevd880de22019-03-30 08:42:48 +0000773 llvm::TimeTraceScope TimeScope("Module WriteIndex", StringRef(""));
Jonas Devlieghere560ce2c2018-02-26 15:16:42 +0000774
Douglas Gregor5e306b12013-01-23 22:38:11 +0000775 // Emit the file header.
776 Stream.Emit((unsigned)'B', 8);
777 Stream.Emit((unsigned)'C', 8);
778 Stream.Emit((unsigned)'G', 8);
779 Stream.Emit((unsigned)'I', 8);
780
781 // Write the block-info block, which describes the records in this bitcode
782 // file.
783 emitBlockInfoBlock(Stream);
784
785 Stream.EnterSubblock(GLOBAL_INDEX_BLOCK_ID, 3);
786
787 // Write the metadata.
788 SmallVector<uint64_t, 2> Record;
789 Record.push_back(CurrentVersion);
Douglas Gregore060e572013-01-25 01:03:03 +0000790 Stream.EmitRecord(INDEX_METADATA, Record);
Douglas Gregor5e306b12013-01-23 22:38:11 +0000791
792 // Write the set of known module files.
793 for (ModuleFilesMap::iterator M = ModuleFiles.begin(),
794 MEnd = ModuleFiles.end();
795 M != MEnd; ++M) {
796 Record.clear();
797 Record.push_back(M->second.ID);
798 Record.push_back(M->first->getSize());
799 Record.push_back(M->first->getModificationTime());
800
801 // File name
802 StringRef Name(M->first->getName());
803 Record.push_back(Name.size());
804 Record.append(Name.begin(), Name.end());
805
806 // Dependencies
807 Record.push_back(M->second.Dependencies.size());
808 Record.append(M->second.Dependencies.begin(), M->second.Dependencies.end());
809 Stream.EmitRecord(MODULE, Record);
810 }
811
812 // Write the identifier -> module file mapping.
813 {
Justin Bognerbb094f02014-04-18 19:57:06 +0000814 llvm::OnDiskChainedHashTableGenerator<IdentifierIndexWriterTrait> Generator;
Douglas Gregor5e306b12013-01-23 22:38:11 +0000815 IdentifierIndexWriterTrait Trait;
816
817 // Populate the hash table.
818 for (InterestingIdentifierMap::iterator I = InterestingIdentifiers.begin(),
819 IEnd = InterestingIdentifiers.end();
820 I != IEnd; ++I) {
821 Generator.insert(I->first(), I->second, Trait);
822 }
Jonas Devlieghere560ce2c2018-02-26 15:16:42 +0000823
Douglas Gregor5e306b12013-01-23 22:38:11 +0000824 // Create the on-disk hash table in a buffer.
825 SmallString<4096> IdentifierTable;
826 uint32_t BucketOffset;
827 {
Justin Bognere1c147c2014-03-28 22:03:19 +0000828 using namespace llvm::support;
Douglas Gregor5e306b12013-01-23 22:38:11 +0000829 llvm::raw_svector_ostream Out(IdentifierTable);
830 // Make sure that no bucket is at offset 0
Peter Collingbournee3f65292018-05-18 19:46:24 +0000831 endian::write<uint32_t>(Out, 0, little);
Douglas Gregor5e306b12013-01-23 22:38:11 +0000832 BucketOffset = Generator.Emit(Out, Trait);
833 }
834
835 // Create a blob abbreviation
David Blaikieb44f0bf2017-01-04 22:36:43 +0000836 auto Abbrev = std::make_shared<BitCodeAbbrev>();
Douglas Gregor5e306b12013-01-23 22:38:11 +0000837 Abbrev->Add(BitCodeAbbrevOp(IDENTIFIER_INDEX));
838 Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 32));
839 Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Blob));
David Blaikieb44f0bf2017-01-04 22:36:43 +0000840 unsigned IDTableAbbrev = Stream.EmitAbbrev(std::move(Abbrev));
Douglas Gregor5e306b12013-01-23 22:38:11 +0000841
842 // Write the identifier table
Mehdi Amini57a41912015-09-10 01:46:39 +0000843 uint64_t Record[] = {IDENTIFIER_INDEX, BucketOffset};
Yaron Keren92e1b622015-03-18 10:17:07 +0000844 Stream.EmitRecordWithBlob(IDTableAbbrev, Record, IdentifierTable);
Douglas Gregor5e306b12013-01-23 22:38:11 +0000845 }
846
Douglas Gregor5e306b12013-01-23 22:38:11 +0000847 Stream.ExitBlock();
Duncan P. N. Exon Smith60fa2882017-03-13 18:45:08 +0000848 return false;
Douglas Gregor5e306b12013-01-23 22:38:11 +0000849}
850
JF Bastien0e828952019-06-26 19:50:12 +0000851llvm::Error
Adrian Prantlbb165fb2015-06-20 18:53:08 +0000852GlobalModuleIndex::writeIndex(FileManager &FileMgr,
Adrian Prantlfb2398d2015-07-17 01:19:54 +0000853 const PCHContainerReader &PCHContainerRdr,
Adrian Prantlbb165fb2015-06-20 18:53:08 +0000854 StringRef Path) {
Douglas Gregor5e306b12013-01-23 22:38:11 +0000855 llvm::SmallString<128> IndexPath;
856 IndexPath += Path;
857 llvm::sys::path::append(IndexPath, IndexFileName);
858
859 // Coordinate building the global index file with other processes that might
860 // try to do the same.
861 llvm::LockFileManager Locked(IndexPath);
862 switch (Locked) {
863 case llvm::LockFileManager::LFS_Error:
JF Bastien0e828952019-06-26 19:50:12 +0000864 return llvm::createStringError(std::errc::io_error, "LFS error");
Douglas Gregor5e306b12013-01-23 22:38:11 +0000865
866 case llvm::LockFileManager::LFS_Owned:
867 // We're responsible for building the index ourselves. Do so below.
868 break;
869
870 case llvm::LockFileManager::LFS_Shared:
871 // Someone else is responsible for building the index. We don't care
872 // when they finish, so we're done.
JF Bastien0e828952019-06-26 19:50:12 +0000873 return llvm::createStringError(std::errc::device_or_resource_busy,
874 "someone else is building the index");
Douglas Gregor5e306b12013-01-23 22:38:11 +0000875 }
876
877 // The module index builder.
Adrian Prantlfb2398d2015-07-17 01:19:54 +0000878 GlobalModuleIndexBuilder Builder(FileMgr, PCHContainerRdr);
Adrian Prantlbb165fb2015-06-20 18:53:08 +0000879
Douglas Gregor5e306b12013-01-23 22:38:11 +0000880 // Load each of the module files.
Rafael Espindolac0809172014-06-12 14:02:15 +0000881 std::error_code EC;
Douglas Gregor5e306b12013-01-23 22:38:11 +0000882 for (llvm::sys::fs::directory_iterator D(Path, EC), DEnd;
883 D != DEnd && !EC;
884 D.increment(EC)) {
885 // If this isn't a module file, we don't care.
886 if (llvm::sys::path::extension(D->path()) != ".pcm") {
887 // ... unless it's a .pcm.lock file, which indicates that someone is
888 // in the process of rebuilding a module. They'll rebuild the index
889 // at the end of that translation unit, so we don't have to.
890 if (llvm::sys::path::extension(D->path()) == ".pcm.lock")
JF Bastien0e828952019-06-26 19:50:12 +0000891 return llvm::createStringError(std::errc::device_or_resource_busy,
892 "someone else is building the index");
Douglas Gregor5e306b12013-01-23 22:38:11 +0000893
894 continue;
895 }
896
897 // If we can't find the module file, skip it.
Harlan Haskins8d323d12019-08-01 21:31:56 +0000898 auto ModuleFile = FileMgr.getFile(D->path());
Douglas Gregor5e306b12013-01-23 22:38:11 +0000899 if (!ModuleFile)
900 continue;
901
902 // Load this module file.
Harlan Haskins8d323d12019-08-01 21:31:56 +0000903 if (llvm::Error Err = Builder.loadModuleFile(*ModuleFile))
JF Bastien0e828952019-06-26 19:50:12 +0000904 return Err;
Douglas Gregor5e306b12013-01-23 22:38:11 +0000905 }
906
907 // The output buffer, into which the global index will be written.
908 SmallVector<char, 16> OutputBuffer;
909 {
910 llvm::BitstreamWriter OutputStream(OutputBuffer);
Duncan P. N. Exon Smith60fa2882017-03-13 18:45:08 +0000911 if (Builder.writeIndex(OutputStream))
JF Bastien0e828952019-06-26 19:50:12 +0000912 return llvm::createStringError(std::errc::io_error,
913 "failed writing index");
Douglas Gregor5e306b12013-01-23 22:38:11 +0000914 }
915
Jan Korousf69c9172019-09-13 20:08:27 +0000916 return llvm::writeFileAtomically(
917 (IndexPath + "-%%%%%%%%").str(), IndexPath,
918 llvm::StringRef(OutputBuffer.data(), OutputBuffer.size()));
Douglas Gregor5e306b12013-01-23 22:38:11 +0000919}
Argyrios Kyrtzidis9aca3c62013-04-17 22:10:55 +0000920
921namespace {
922 class GlobalIndexIdentifierIterator : public IdentifierIterator {
Adrian Prantl9fc8faf2018-05-09 01:00:01 +0000923 /// The current position within the identifier lookup table.
Argyrios Kyrtzidis9aca3c62013-04-17 22:10:55 +0000924 IdentifierIndexTable::key_iterator Current;
925
Adrian Prantl9fc8faf2018-05-09 01:00:01 +0000926 /// The end position within the identifier lookup table.
Argyrios Kyrtzidis9aca3c62013-04-17 22:10:55 +0000927 IdentifierIndexTable::key_iterator End;
928
929 public:
930 explicit GlobalIndexIdentifierIterator(IdentifierIndexTable &Idx) {
931 Current = Idx.key_begin();
932 End = Idx.key_end();
933 }
934
Craig Topper3e89dfe2014-03-13 02:13:41 +0000935 StringRef Next() override {
Argyrios Kyrtzidis9aca3c62013-04-17 22:10:55 +0000936 if (Current == End)
937 return StringRef();
938
939 StringRef Result = *Current;
940 ++Current;
941 return Result;
942 }
943 };
Alexander Kornienkoab9db512015-06-22 23:07:51 +0000944}
Argyrios Kyrtzidis9aca3c62013-04-17 22:10:55 +0000945
946IdentifierIterator *GlobalModuleIndex::createIdentifierIterator() const {
947 IdentifierIndexTable &Table =
948 *static_cast<IdentifierIndexTable *>(IdentifierIndex);
949 return new GlobalIndexIdentifierIterator(Table);
950}