blob: ae5796ede126e8c5d3a3265ccb06d84566990498 [file] [log] [blame]
Douglas Gregor5e306b12013-01-23 22:38:11 +00001//===--- GlobalModuleIndex.cpp - Global Module Index ------------*- C++ -*-===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This file implements the GlobalModuleIndex class.
11//
12//===----------------------------------------------------------------------===//
13
14#include "ASTReaderInternals.h"
Adrian Prantlbb165fb2015-06-20 18:53:08 +000015#include "clang/Frontend/PCHContainerOperations.h"
Douglas Gregor5e306b12013-01-23 22:38:11 +000016#include "clang/Basic/FileManager.h"
Ben Langmuirbeee15e2014-04-14 18:00:01 +000017#include "clang/Lex/HeaderSearch.h"
Douglas Gregor5e306b12013-01-23 22:38:11 +000018#include "clang/Serialization/ASTBitCodes.h"
19#include "clang/Serialization/GlobalModuleIndex.h"
Douglas Gregor603cd862013-03-22 18:50:14 +000020#include "clang/Serialization/Module.h"
Douglas Gregor5e306b12013-01-23 22:38:11 +000021#include "llvm/ADT/DenseMap.h"
22#include "llvm/ADT/MapVector.h"
23#include "llvm/ADT/SmallString.h"
24#include "llvm/ADT/StringExtras.h"
25#include "llvm/Bitcode/BitstreamReader.h"
26#include "llvm/Bitcode/BitstreamWriter.h"
Douglas Gregor8ec343c2013-01-23 22:45:24 +000027#include "llvm/Support/FileSystem.h"
Douglas Gregor5e306b12013-01-23 22:38:11 +000028#include "llvm/Support/LockFileManager.h"
29#include "llvm/Support/MemoryBuffer.h"
Justin Bognerbb094f02014-04-18 19:57:06 +000030#include "llvm/Support/OnDiskHashTable.h"
Rafael Espindola552c1692013-06-11 22:15:02 +000031#include "llvm/Support/Path.h"
NAKAMURA Takumif0add232013-01-25 01:47:07 +000032#include <cstdio>
Douglas Gregor5e306b12013-01-23 22:38:11 +000033using namespace clang;
34using namespace serialization;
35
36//----------------------------------------------------------------------------//
37// Shared constants
38//----------------------------------------------------------------------------//
39namespace {
40 enum {
41 /// \brief The block containing the index.
42 GLOBAL_INDEX_BLOCK_ID = llvm::bitc::FIRST_APPLICATION_BLOCKID
43 };
44
45 /// \brief Describes the record types in the index.
46 enum IndexRecordTypes {
47 /// \brief Contains version information and potentially other metadata,
48 /// used to determine if we can read this global index file.
Douglas Gregore060e572013-01-25 01:03:03 +000049 INDEX_METADATA,
Douglas Gregor5e306b12013-01-23 22:38:11 +000050 /// \brief Describes a module, including its file name and dependencies.
51 MODULE,
52 /// \brief The index for identifiers.
53 IDENTIFIER_INDEX
54 };
Alexander Kornienkoab9db512015-06-22 23:07:51 +000055}
Douglas Gregor5e306b12013-01-23 22:38:11 +000056
57/// \brief The name of the global index file.
58static const char * const IndexFileName = "modules.idx";
59
60/// \brief The global index file version.
61static const unsigned CurrentVersion = 1;
62
63//----------------------------------------------------------------------------//
Douglas Gregore060e572013-01-25 01:03:03 +000064// Global module index reader.
65//----------------------------------------------------------------------------//
66
67namespace {
68
69/// \brief Trait used to read the identifier index from the on-disk hash
70/// table.
71class IdentifierIndexReaderTrait {
72public:
73 typedef StringRef external_key_type;
74 typedef StringRef internal_key_type;
75 typedef SmallVector<unsigned, 2> data_type;
Justin Bogner25463f12014-04-18 20:27:24 +000076 typedef unsigned hash_value_type;
77 typedef unsigned offset_type;
Douglas Gregore060e572013-01-25 01:03:03 +000078
79 static bool EqualKey(const internal_key_type& a, const internal_key_type& b) {
80 return a == b;
81 }
82
Justin Bogner25463f12014-04-18 20:27:24 +000083 static hash_value_type ComputeHash(const internal_key_type& a) {
Douglas Gregore060e572013-01-25 01:03:03 +000084 return llvm::HashString(a);
85 }
86
87 static std::pair<unsigned, unsigned>
88 ReadKeyDataLength(const unsigned char*& d) {
Justin Bogner57ba0b22014-03-28 22:03:24 +000089 using namespace llvm::support;
90 unsigned KeyLen = endian::readNext<uint16_t, little, unaligned>(d);
91 unsigned DataLen = endian::readNext<uint16_t, little, unaligned>(d);
Douglas Gregore060e572013-01-25 01:03:03 +000092 return std::make_pair(KeyLen, DataLen);
93 }
94
95 static const internal_key_type&
96 GetInternalKey(const external_key_type& x) { return x; }
97
98 static const external_key_type&
99 GetExternalKey(const internal_key_type& x) { return x; }
100
101 static internal_key_type ReadKey(const unsigned char* d, unsigned n) {
102 return StringRef((const char *)d, n);
103 }
104
105 static data_type ReadData(const internal_key_type& k,
106 const unsigned char* d,
107 unsigned DataLen) {
Justin Bogner57ba0b22014-03-28 22:03:24 +0000108 using namespace llvm::support;
Douglas Gregore060e572013-01-25 01:03:03 +0000109
110 data_type Result;
111 while (DataLen > 0) {
Justin Bogner57ba0b22014-03-28 22:03:24 +0000112 unsigned ID = endian::readNext<uint32_t, little, unaligned>(d);
Douglas Gregore060e572013-01-25 01:03:03 +0000113 Result.push_back(ID);
114 DataLen -= 4;
115 }
116
117 return Result;
118 }
119};
120
Justin Bognerbb094f02014-04-18 19:57:06 +0000121typedef llvm::OnDiskIterableChainedHashTable<IdentifierIndexReaderTrait>
Justin Bognerda4e6502014-04-14 16:34:29 +0000122 IdentifierIndexTable;
Douglas Gregore060e572013-01-25 01:03:03 +0000123
Alexander Kornienkoab9db512015-06-22 23:07:51 +0000124}
Douglas Gregore060e572013-01-25 01:03:03 +0000125
David Blaikieafa10d32014-08-11 18:47:26 +0000126GlobalModuleIndex::GlobalModuleIndex(std::unique_ptr<llvm::MemoryBuffer> Buffer,
Douglas Gregore060e572013-01-25 01:03:03 +0000127 llvm::BitstreamCursor Cursor)
David Blaikieafa10d32014-08-11 18:47:26 +0000128 : Buffer(std::move(Buffer)), IdentifierIndex(), NumIdentifierLookups(),
129 NumIdentifierLookupHits() {
Douglas Gregore060e572013-01-25 01:03:03 +0000130 // Read the global index.
Douglas Gregore060e572013-01-25 01:03:03 +0000131 bool InGlobalIndexBlock = false;
132 bool Done = false;
Douglas Gregore060e572013-01-25 01:03:03 +0000133 while (!Done) {
134 llvm::BitstreamEntry Entry = Cursor.advance();
135
136 switch (Entry.Kind) {
137 case llvm::BitstreamEntry::Error:
138 return;
139
140 case llvm::BitstreamEntry::EndBlock:
141 if (InGlobalIndexBlock) {
142 InGlobalIndexBlock = false;
143 Done = true;
144 continue;
145 }
146 return;
147
148
149 case llvm::BitstreamEntry::Record:
150 // Entries in the global index block are handled below.
151 if (InGlobalIndexBlock)
152 break;
153
154 return;
155
156 case llvm::BitstreamEntry::SubBlock:
157 if (!InGlobalIndexBlock && Entry.ID == GLOBAL_INDEX_BLOCK_ID) {
158 if (Cursor.EnterSubBlock(GLOBAL_INDEX_BLOCK_ID))
159 return;
160
161 InGlobalIndexBlock = true;
162 } else if (Cursor.SkipBlock()) {
163 return;
164 }
165 continue;
166 }
167
168 SmallVector<uint64_t, 64> Record;
169 StringRef Blob;
170 switch ((IndexRecordTypes)Cursor.readRecord(Entry.ID, Record, &Blob)) {
171 case INDEX_METADATA:
172 // Make sure that the version matches.
173 if (Record.size() < 1 || Record[0] != CurrentVersion)
174 return;
175 break;
176
177 case MODULE: {
178 unsigned Idx = 0;
179 unsigned ID = Record[Idx++];
Douglas Gregor7029ce12013-03-19 00:28:20 +0000180
181 // Make room for this module's information.
182 if (ID == Modules.size())
183 Modules.push_back(ModuleInfo());
184 else
185 Modules.resize(ID + 1);
186
187 // Size/modification time for this module file at the time the
188 // global index was built.
189 Modules[ID].Size = Record[Idx++];
190 Modules[ID].ModTime = Record[Idx++];
Douglas Gregore060e572013-01-25 01:03:03 +0000191
192 // File name.
193 unsigned NameLen = Record[Idx++];
Douglas Gregor7029ce12013-03-19 00:28:20 +0000194 Modules[ID].FileName.assign(Record.begin() + Idx,
195 Record.begin() + Idx + NameLen);
Douglas Gregore060e572013-01-25 01:03:03 +0000196 Idx += NameLen;
197
198 // Dependencies
199 unsigned NumDeps = Record[Idx++];
Douglas Gregor7029ce12013-03-19 00:28:20 +0000200 Modules[ID].Dependencies.insert(Modules[ID].Dependencies.end(),
201 Record.begin() + Idx,
202 Record.begin() + Idx + NumDeps);
203 Idx += NumDeps;
Douglas Gregore060e572013-01-25 01:03:03 +0000204
Douglas Gregor7029ce12013-03-19 00:28:20 +0000205 // Make sure we're at the end of the record.
206 assert(Idx == Record.size() && "More module info?");
Douglas Gregor603cd862013-03-22 18:50:14 +0000207
208 // Record this module as an unresolved module.
Ben Langmuirbeee15e2014-04-14 18:00:01 +0000209 // FIXME: this doesn't work correctly for module names containing path
210 // separators.
211 StringRef ModuleName = llvm::sys::path::stem(Modules[ID].FileName);
212 // Remove the -<hash of ModuleMapPath>
213 ModuleName = ModuleName.rsplit('-').first;
214 UnresolvedModules[ModuleName] = ID;
Douglas Gregore060e572013-01-25 01:03:03 +0000215 break;
216 }
217
218 case IDENTIFIER_INDEX:
219 // Wire up the identifier index.
220 if (Record[0]) {
221 IdentifierIndex = IdentifierIndexTable::Create(
Justin Bognerda4e6502014-04-14 16:34:29 +0000222 (const unsigned char *)Blob.data() + Record[0],
223 (const unsigned char *)Blob.data() + sizeof(uint32_t),
224 (const unsigned char *)Blob.data(), IdentifierIndexReaderTrait());
Douglas Gregore060e572013-01-25 01:03:03 +0000225 }
226 break;
227 }
228 }
Douglas Gregore060e572013-01-25 01:03:03 +0000229}
230
Nico Webere68b8472014-04-25 19:45:23 +0000231GlobalModuleIndex::~GlobalModuleIndex() {
232 delete static_cast<IdentifierIndexTable *>(IdentifierIndex);
233}
Douglas Gregore060e572013-01-25 01:03:03 +0000234
235std::pair<GlobalModuleIndex *, GlobalModuleIndex::ErrorCode>
Douglas Gregor7029ce12013-03-19 00:28:20 +0000236GlobalModuleIndex::readIndex(StringRef Path) {
Douglas Gregore060e572013-01-25 01:03:03 +0000237 // Load the index file, if it's there.
238 llvm::SmallString<128> IndexPath;
239 IndexPath += Path;
240 llvm::sys::path::append(IndexPath, IndexFileName);
241
Rafael Espindola2d2b4202014-07-06 17:43:24 +0000242 llvm::ErrorOr<std::unique_ptr<llvm::MemoryBuffer>> BufferOrErr =
243 llvm::MemoryBuffer::getFile(IndexPath.c_str());
244 if (!BufferOrErr)
Craig Toppera13603a2014-05-22 05:54:18 +0000245 return std::make_pair(nullptr, EC_NotFound);
Rafael Espindola2d2b4202014-07-06 17:43:24 +0000246 std::unique_ptr<llvm::MemoryBuffer> Buffer = std::move(BufferOrErr.get());
Douglas Gregore060e572013-01-25 01:03:03 +0000247
Douglas Gregore060e572013-01-25 01:03:03 +0000248 /// \brief The main bitstream cursor for the main block.
Peter Collingbourne77c89b62016-11-08 04:17:11 +0000249 llvm::BitstreamCursor Cursor(*Buffer);
Douglas Gregore060e572013-01-25 01:03:03 +0000250
251 // Sniff for the signature.
252 if (Cursor.Read(8) != 'B' ||
253 Cursor.Read(8) != 'C' ||
254 Cursor.Read(8) != 'G' ||
255 Cursor.Read(8) != 'I') {
Craig Toppera13603a2014-05-22 05:54:18 +0000256 return std::make_pair(nullptr, EC_IOError);
Douglas Gregore060e572013-01-25 01:03:03 +0000257 }
Ahmed Charles9a16beb2014-03-07 19:33:25 +0000258
David Blaikieafa10d32014-08-11 18:47:26 +0000259 return std::make_pair(new GlobalModuleIndex(std::move(Buffer), Cursor),
Ahmed Charles9a16beb2014-03-07 19:33:25 +0000260 EC_None);
Douglas Gregore060e572013-01-25 01:03:03 +0000261}
262
Douglas Gregor7029ce12013-03-19 00:28:20 +0000263void
264GlobalModuleIndex::getKnownModules(SmallVectorImpl<ModuleFile *> &ModuleFiles) {
Douglas Gregore060e572013-01-25 01:03:03 +0000265 ModuleFiles.clear();
266 for (unsigned I = 0, N = Modules.size(); I != N; ++I) {
Douglas Gregor603cd862013-03-22 18:50:14 +0000267 if (ModuleFile *MF = Modules[I].File)
268 ModuleFiles.push_back(MF);
Douglas Gregore060e572013-01-25 01:03:03 +0000269 }
270}
271
272void GlobalModuleIndex::getModuleDependencies(
Douglas Gregor7029ce12013-03-19 00:28:20 +0000273 ModuleFile *File,
274 SmallVectorImpl<ModuleFile *> &Dependencies) {
Douglas Gregore060e572013-01-25 01:03:03 +0000275 // Look for information about this module file.
Douglas Gregor7029ce12013-03-19 00:28:20 +0000276 llvm::DenseMap<ModuleFile *, unsigned>::iterator Known
277 = ModulesByFile.find(File);
Douglas Gregore060e572013-01-25 01:03:03 +0000278 if (Known == ModulesByFile.end())
279 return;
280
281 // Record dependencies.
Douglas Gregor7029ce12013-03-19 00:28:20 +0000282 Dependencies.clear();
283 ArrayRef<unsigned> StoredDependencies = Modules[Known->second].Dependencies;
284 for (unsigned I = 0, N = StoredDependencies.size(); I != N; ++I) {
Douglas Gregor603cd862013-03-22 18:50:14 +0000285 if (ModuleFile *MF = Modules[I].File)
Douglas Gregor7029ce12013-03-19 00:28:20 +0000286 Dependencies.push_back(MF);
287 }
Douglas Gregore060e572013-01-25 01:03:03 +0000288}
289
Douglas Gregor7211ac12013-01-25 23:32:03 +0000290bool GlobalModuleIndex::lookupIdentifier(StringRef Name, HitSet &Hits) {
291 Hits.clear();
Douglas Gregore060e572013-01-25 01:03:03 +0000292
293 // If there's no identifier index, there is nothing we can do.
294 if (!IdentifierIndex)
295 return false;
296
297 // Look into the identifier index.
298 ++NumIdentifierLookups;
299 IdentifierIndexTable &Table
300 = *static_cast<IdentifierIndexTable *>(IdentifierIndex);
301 IdentifierIndexTable::iterator Known = Table.find(Name);
302 if (Known == Table.end()) {
303 return true;
304 }
305
306 SmallVector<unsigned, 2> ModuleIDs = *Known;
307 for (unsigned I = 0, N = ModuleIDs.size(); I != N; ++I) {
Douglas Gregor603cd862013-03-22 18:50:14 +0000308 if (ModuleFile *MF = Modules[ModuleIDs[I]].File)
309 Hits.insert(MF);
Douglas Gregore060e572013-01-25 01:03:03 +0000310 }
311
312 ++NumIdentifierLookupHits;
313 return true;
314}
315
Douglas Gregor603cd862013-03-22 18:50:14 +0000316bool GlobalModuleIndex::loadedModuleFile(ModuleFile *File) {
317 // Look for the module in the global module index based on the module name.
Ben Langmuirbeee15e2014-04-14 18:00:01 +0000318 StringRef Name = File->ModuleName;
Douglas Gregor603cd862013-03-22 18:50:14 +0000319 llvm::StringMap<unsigned>::iterator Known = UnresolvedModules.find(Name);
320 if (Known == UnresolvedModules.end()) {
321 return true;
Douglas Gregor7029ce12013-03-19 00:28:20 +0000322 }
323
Douglas Gregor603cd862013-03-22 18:50:14 +0000324 // Rectify this module with the global module index.
325 ModuleInfo &Info = Modules[Known->second];
326
327 // If the size and modification time match what we expected, record this
328 // module file.
329 bool Failed = true;
330 if (File->File->getSize() == Info.Size &&
331 File->File->getModificationTime() == Info.ModTime) {
332 Info.File = File;
333 ModulesByFile[File] = Known->second;
334
335 Failed = false;
Douglas Gregor7029ce12013-03-19 00:28:20 +0000336 }
337
Douglas Gregor603cd862013-03-22 18:50:14 +0000338 // One way or another, we have resolved this module file.
339 UnresolvedModules.erase(Known);
340 return Failed;
Douglas Gregor7029ce12013-03-19 00:28:20 +0000341}
342
Douglas Gregore060e572013-01-25 01:03:03 +0000343void GlobalModuleIndex::printStats() {
344 std::fprintf(stderr, "*** Global Module Index Statistics:\n");
345 if (NumIdentifierLookups) {
346 fprintf(stderr, " %u / %u identifier lookups succeeded (%f%%)\n",
347 NumIdentifierLookupHits, NumIdentifierLookups,
348 (double)NumIdentifierLookupHits*100.0/NumIdentifierLookups);
349 }
Douglas Gregore060e572013-01-25 01:03:03 +0000350 std::fprintf(stderr, "\n");
351}
352
Yaron Kerencdae9412016-01-29 19:38:18 +0000353LLVM_DUMP_METHOD void GlobalModuleIndex::dump() {
John Thompsona39baf12014-04-17 17:06:13 +0000354 llvm::errs() << "*** Global Module Index Dump:\n";
355 llvm::errs() << "Module files:\n";
John Thompson4f52d442014-04-17 18:17:36 +0000356 for (auto &MI : Modules) {
John Thompsona39baf12014-04-17 17:06:13 +0000357 llvm::errs() << "** " << MI.FileName << "\n";
358 if (MI.File)
359 MI.File->dump();
John Thompsonbcdcc922014-04-16 21:03:41 +0000360 else
John Thompsona39baf12014-04-17 17:06:13 +0000361 llvm::errs() << "\n";
John Thompsonbcdcc922014-04-16 21:03:41 +0000362 }
John Thompsona39baf12014-04-17 17:06:13 +0000363 llvm::errs() << "\n";
John Thompsonbcdcc922014-04-16 21:03:41 +0000364}
365
Douglas Gregore060e572013-01-25 01:03:03 +0000366//----------------------------------------------------------------------------//
Douglas Gregor5e306b12013-01-23 22:38:11 +0000367// Global module index writer.
368//----------------------------------------------------------------------------//
369
370namespace {
371 /// \brief Provides information about a specific module file.
372 struct ModuleFileInfo {
373 /// \brief The numberic ID for this module file.
374 unsigned ID;
375
376 /// \brief The set of modules on which this module depends. Each entry is
377 /// a module ID.
378 SmallVector<unsigned, 4> Dependencies;
379 };
380
381 /// \brief Builder that generates the global module index file.
382 class GlobalModuleIndexBuilder {
383 FileManager &FileMgr;
Adrian Prantlfb2398d2015-07-17 01:19:54 +0000384 const PCHContainerReader &PCHContainerRdr;
Douglas Gregor5e306b12013-01-23 22:38:11 +0000385
386 /// \brief Mapping from files to module file information.
387 typedef llvm::MapVector<const FileEntry *, ModuleFileInfo> ModuleFilesMap;
388
389 /// \brief Information about each of the known module files.
390 ModuleFilesMap ModuleFiles;
391
392 /// \brief Mapping from identifiers to the list of module file IDs that
393 /// consider this identifier to be interesting.
394 typedef llvm::StringMap<SmallVector<unsigned, 2> > InterestingIdentifierMap;
395
396 /// \brief A mapping from all interesting identifiers to the set of module
397 /// files in which those identifiers are considered interesting.
398 InterestingIdentifierMap InterestingIdentifiers;
399
400 /// \brief Write the block-info block for the global module index file.
401 void emitBlockInfoBlock(llvm::BitstreamWriter &Stream);
402
403 /// \brief Retrieve the module file information for the given file.
404 ModuleFileInfo &getModuleFileInfo(const FileEntry *File) {
405 llvm::MapVector<const FileEntry *, ModuleFileInfo>::iterator Known
406 = ModuleFiles.find(File);
407 if (Known != ModuleFiles.end())
408 return Known->second;
409
410 unsigned NewID = ModuleFiles.size();
411 ModuleFileInfo &Info = ModuleFiles[File];
412 Info.ID = NewID;
413 return Info;
414 }
415
416 public:
Adrian Prantlbb165fb2015-06-20 18:53:08 +0000417 explicit GlobalModuleIndexBuilder(
Adrian Prantlfb2398d2015-07-17 01:19:54 +0000418 FileManager &FileMgr, const PCHContainerReader &PCHContainerRdr)
419 : FileMgr(FileMgr), PCHContainerRdr(PCHContainerRdr) {}
Douglas Gregor5e306b12013-01-23 22:38:11 +0000420
421 /// \brief Load the contents of the given module file into the builder.
422 ///
423 /// \returns true if an error occurred, false otherwise.
424 bool loadModuleFile(const FileEntry *File);
425
426 /// \brief Write the index to the given bitstream.
427 void writeIndex(llvm::BitstreamWriter &Stream);
428 };
Alexander Kornienkoab9db512015-06-22 23:07:51 +0000429}
Douglas Gregor5e306b12013-01-23 22:38:11 +0000430
431static void emitBlockID(unsigned ID, const char *Name,
432 llvm::BitstreamWriter &Stream,
433 SmallVectorImpl<uint64_t> &Record) {
434 Record.clear();
435 Record.push_back(ID);
436 Stream.EmitRecord(llvm::bitc::BLOCKINFO_CODE_SETBID, Record);
437
438 // Emit the block name if present.
Craig Toppera13603a2014-05-22 05:54:18 +0000439 if (!Name || Name[0] == 0) return;
Douglas Gregor5e306b12013-01-23 22:38:11 +0000440 Record.clear();
441 while (*Name)
442 Record.push_back(*Name++);
443 Stream.EmitRecord(llvm::bitc::BLOCKINFO_CODE_BLOCKNAME, Record);
444}
445
446static void emitRecordID(unsigned ID, const char *Name,
447 llvm::BitstreamWriter &Stream,
448 SmallVectorImpl<uint64_t> &Record) {
449 Record.clear();
450 Record.push_back(ID);
451 while (*Name)
452 Record.push_back(*Name++);
453 Stream.EmitRecord(llvm::bitc::BLOCKINFO_CODE_SETRECORDNAME, Record);
454}
455
456void
457GlobalModuleIndexBuilder::emitBlockInfoBlock(llvm::BitstreamWriter &Stream) {
458 SmallVector<uint64_t, 64> Record;
Peter Collingbourned3a6c702016-11-01 01:18:57 +0000459 Stream.EnterBlockInfoBlock();
Douglas Gregor5e306b12013-01-23 22:38:11 +0000460
461#define BLOCK(X) emitBlockID(X ## _ID, #X, Stream, Record)
462#define RECORD(X) emitRecordID(X, #X, Stream, Record)
463 BLOCK(GLOBAL_INDEX_BLOCK);
Douglas Gregore060e572013-01-25 01:03:03 +0000464 RECORD(INDEX_METADATA);
Douglas Gregor5e306b12013-01-23 22:38:11 +0000465 RECORD(MODULE);
466 RECORD(IDENTIFIER_INDEX);
467#undef RECORD
468#undef BLOCK
469
470 Stream.ExitBlock();
471}
472
Douglas Gregore060e572013-01-25 01:03:03 +0000473namespace {
Douglas Gregor5e306b12013-01-23 22:38:11 +0000474 class InterestingASTIdentifierLookupTrait
475 : public serialization::reader::ASTIdentifierLookupTraitBase {
476
477 public:
478 /// \brief The identifier and whether it is "interesting".
479 typedef std::pair<StringRef, bool> data_type;
480
481 data_type ReadData(const internal_key_type& k,
482 const unsigned char* d,
483 unsigned DataLen) {
484 // The first bit indicates whether this identifier is interesting.
485 // That's all we care about.
Justin Bogner57ba0b22014-03-28 22:03:24 +0000486 using namespace llvm::support;
487 unsigned RawID = endian::readNext<uint32_t, little, unaligned>(d);
Douglas Gregor5e306b12013-01-23 22:38:11 +0000488 bool IsInteresting = RawID & 0x01;
489 return std::make_pair(k, IsInteresting);
490 }
491 };
Alexander Kornienkoab9db512015-06-22 23:07:51 +0000492}
Douglas Gregor5e306b12013-01-23 22:38:11 +0000493
494bool GlobalModuleIndexBuilder::loadModuleFile(const FileEntry *File) {
495 // Open the module file.
Rafael Espindola6406f7b2014-08-26 19:54:40 +0000496
Benjamin Kramera8857962014-10-26 22:44:13 +0000497 auto Buffer = FileMgr.getBufferForFile(File, /*isVolatile=*/true);
Douglas Gregor5e306b12013-01-23 22:38:11 +0000498 if (!Buffer) {
499 return true;
500 }
501
502 // Initialize the input stream
Peter Collingbourne77c89b62016-11-08 04:17:11 +0000503 llvm::BitstreamCursor InStream(PCHContainerRdr.ExtractPCH(**Buffer));
Douglas Gregor5e306b12013-01-23 22:38:11 +0000504
505 // Sniff for the signature.
506 if (InStream.Read(8) != 'C' ||
507 InStream.Read(8) != 'P' ||
508 InStream.Read(8) != 'C' ||
509 InStream.Read(8) != 'H') {
510 return true;
511 }
512
513 // Record this module file and assign it a unique ID (if it doesn't have
514 // one already).
515 unsigned ID = getModuleFileInfo(File).ID;
516
517 // Search for the blocks and records we care about.
Douglas Gregore060e572013-01-25 01:03:03 +0000518 enum { Other, ControlBlock, ASTBlock } State = Other;
Douglas Gregor5e306b12013-01-23 22:38:11 +0000519 bool Done = false;
520 while (!Done) {
Douglas Gregore060e572013-01-25 01:03:03 +0000521 llvm::BitstreamEntry Entry = InStream.advance();
Douglas Gregor5e306b12013-01-23 22:38:11 +0000522 switch (Entry.Kind) {
523 case llvm::BitstreamEntry::Error:
Douglas Gregore060e572013-01-25 01:03:03 +0000524 Done = true;
525 continue;
Douglas Gregor5e306b12013-01-23 22:38:11 +0000526
527 case llvm::BitstreamEntry::Record:
Douglas Gregore060e572013-01-25 01:03:03 +0000528 // In the 'other' state, just skip the record. We don't care.
529 if (State == Other) {
Douglas Gregor5e306b12013-01-23 22:38:11 +0000530 InStream.skipRecord(Entry.ID);
531 continue;
532 }
533
534 // Handle potentially-interesting records below.
535 break;
536
537 case llvm::BitstreamEntry::SubBlock:
Douglas Gregore060e572013-01-25 01:03:03 +0000538 if (Entry.ID == CONTROL_BLOCK_ID) {
Douglas Gregor5e306b12013-01-23 22:38:11 +0000539 if (InStream.EnterSubBlock(CONTROL_BLOCK_ID))
540 return true;
541
542 // Found the control block.
543 State = ControlBlock;
544 continue;
545 }
546
Douglas Gregore060e572013-01-25 01:03:03 +0000547 if (Entry.ID == AST_BLOCK_ID) {
Douglas Gregor5e306b12013-01-23 22:38:11 +0000548 if (InStream.EnterSubBlock(AST_BLOCK_ID))
549 return true;
550
551 // Found the AST block.
552 State = ASTBlock;
553 continue;
Douglas Gregor5e306b12013-01-23 22:38:11 +0000554 }
555
556 if (InStream.SkipBlock())
557 return true;
558
559 continue;
560
561 case llvm::BitstreamEntry::EndBlock:
Douglas Gregore060e572013-01-25 01:03:03 +0000562 State = Other;
Douglas Gregor5e306b12013-01-23 22:38:11 +0000563 continue;
564 }
565
566 // Read the given record.
567 SmallVector<uint64_t, 64> Record;
568 StringRef Blob;
569 unsigned Code = InStream.readRecord(Entry.ID, Record, &Blob);
570
571 // Handle module dependencies.
572 if (State == ControlBlock && Code == IMPORTS) {
573 // Load each of the imported PCH files.
574 unsigned Idx = 0, N = Record.size();
575 while (Idx < N) {
576 // Read information about the AST file.
577
578 // Skip the imported kind
579 ++Idx;
580
581 // Skip the import location
582 ++Idx;
583
Douglas Gregor7029ce12013-03-19 00:28:20 +0000584 // Load stored size/modification time.
585 off_t StoredSize = (off_t)Record[Idx++];
586 time_t StoredModTime = (time_t)Record[Idx++];
587
Ben Langmuir487ea142014-10-23 18:05:36 +0000588 // Skip the stored signature.
589 // FIXME: we could read the signature out of the import and validate it.
590 Idx++;
591
Douglas Gregor5e306b12013-01-23 22:38:11 +0000592 // Retrieve the imported file name.
593 unsigned Length = Record[Idx++];
594 SmallString<128> ImportedFile(Record.begin() + Idx,
595 Record.begin() + Idx + Length);
596 Idx += Length;
597
598 // Find the imported module file.
Douglas Gregordadd85d2013-02-08 21:27:45 +0000599 const FileEntry *DependsOnFile
600 = FileMgr.getFile(ImportedFile, /*openFile=*/false,
601 /*cacheFailure=*/false);
Douglas Gregor7029ce12013-03-19 00:28:20 +0000602 if (!DependsOnFile ||
603 (StoredSize != DependsOnFile->getSize()) ||
604 (StoredModTime != DependsOnFile->getModificationTime()))
Douglas Gregor5e306b12013-01-23 22:38:11 +0000605 return true;
606
607 // Record the dependency.
608 unsigned DependsOnID = getModuleFileInfo(DependsOnFile).ID;
609 getModuleFileInfo(File).Dependencies.push_back(DependsOnID);
610 }
611
612 continue;
613 }
614
615 // Handle the identifier table
616 if (State == ASTBlock && Code == IDENTIFIER_TABLE && Record[0] > 0) {
Justin Bognerbb094f02014-04-18 19:57:06 +0000617 typedef llvm::OnDiskIterableChainedHashTable<
618 InterestingASTIdentifierLookupTrait> InterestingIdentifierTable;
Ahmed Charlesb8984322014-03-07 20:03:18 +0000619 std::unique_ptr<InterestingIdentifierTable> Table(
620 InterestingIdentifierTable::Create(
621 (const unsigned char *)Blob.data() + Record[0],
Justin Bognerda4e6502014-04-14 16:34:29 +0000622 (const unsigned char *)Blob.data() + sizeof(uint32_t),
Ahmed Charlesb8984322014-03-07 20:03:18 +0000623 (const unsigned char *)Blob.data()));
Douglas Gregor5e306b12013-01-23 22:38:11 +0000624 for (InterestingIdentifierTable::data_iterator D = Table->data_begin(),
625 DEnd = Table->data_end();
626 D != DEnd; ++D) {
627 std::pair<StringRef, bool> Ident = *D;
628 if (Ident.second)
629 InterestingIdentifiers[Ident.first].push_back(ID);
Douglas Gregore060e572013-01-25 01:03:03 +0000630 else
631 (void)InterestingIdentifiers[Ident.first];
Douglas Gregor5e306b12013-01-23 22:38:11 +0000632 }
633 }
634
Douglas Gregor5e306b12013-01-23 22:38:11 +0000635 // We don't care about this record.
636 }
637
638 return false;
639}
640
641namespace {
642
643/// \brief Trait used to generate the identifier index as an on-disk hash
644/// table.
645class IdentifierIndexWriterTrait {
646public:
647 typedef StringRef key_type;
648 typedef StringRef key_type_ref;
649 typedef SmallVector<unsigned, 2> data_type;
650 typedef const SmallVector<unsigned, 2> &data_type_ref;
Justin Bogner25463f12014-04-18 20:27:24 +0000651 typedef unsigned hash_value_type;
652 typedef unsigned offset_type;
Douglas Gregor5e306b12013-01-23 22:38:11 +0000653
Justin Bogner25463f12014-04-18 20:27:24 +0000654 static hash_value_type ComputeHash(key_type_ref Key) {
Douglas Gregor5e306b12013-01-23 22:38:11 +0000655 return llvm::HashString(Key);
656 }
657
658 std::pair<unsigned,unsigned>
659 EmitKeyDataLength(raw_ostream& Out, key_type_ref Key, data_type_ref Data) {
Justin Bognere1c147c2014-03-28 22:03:19 +0000660 using namespace llvm::support;
661 endian::Writer<little> LE(Out);
Douglas Gregor5e306b12013-01-23 22:38:11 +0000662 unsigned KeyLen = Key.size();
663 unsigned DataLen = Data.size() * 4;
Justin Bognere1c147c2014-03-28 22:03:19 +0000664 LE.write<uint16_t>(KeyLen);
665 LE.write<uint16_t>(DataLen);
Douglas Gregor5e306b12013-01-23 22:38:11 +0000666 return std::make_pair(KeyLen, DataLen);
667 }
668
669 void EmitKey(raw_ostream& Out, key_type_ref Key, unsigned KeyLen) {
670 Out.write(Key.data(), KeyLen);
671 }
672
673 void EmitData(raw_ostream& Out, key_type_ref Key, data_type_ref Data,
674 unsigned DataLen) {
Justin Bognere1c147c2014-03-28 22:03:19 +0000675 using namespace llvm::support;
Douglas Gregor5e306b12013-01-23 22:38:11 +0000676 for (unsigned I = 0, N = Data.size(); I != N; ++I)
Justin Bognere1c147c2014-03-28 22:03:19 +0000677 endian::Writer<little>(Out).write<uint32_t>(Data[I]);
Douglas Gregor5e306b12013-01-23 22:38:11 +0000678 }
679};
680
Alexander Kornienkoab9db512015-06-22 23:07:51 +0000681}
Douglas Gregor5e306b12013-01-23 22:38:11 +0000682
683void GlobalModuleIndexBuilder::writeIndex(llvm::BitstreamWriter &Stream) {
684 using namespace llvm;
685
686 // Emit the file header.
687 Stream.Emit((unsigned)'B', 8);
688 Stream.Emit((unsigned)'C', 8);
689 Stream.Emit((unsigned)'G', 8);
690 Stream.Emit((unsigned)'I', 8);
691
692 // Write the block-info block, which describes the records in this bitcode
693 // file.
694 emitBlockInfoBlock(Stream);
695
696 Stream.EnterSubblock(GLOBAL_INDEX_BLOCK_ID, 3);
697
698 // Write the metadata.
699 SmallVector<uint64_t, 2> Record;
700 Record.push_back(CurrentVersion);
Douglas Gregore060e572013-01-25 01:03:03 +0000701 Stream.EmitRecord(INDEX_METADATA, Record);
Douglas Gregor5e306b12013-01-23 22:38:11 +0000702
703 // Write the set of known module files.
704 for (ModuleFilesMap::iterator M = ModuleFiles.begin(),
705 MEnd = ModuleFiles.end();
706 M != MEnd; ++M) {
707 Record.clear();
708 Record.push_back(M->second.ID);
709 Record.push_back(M->first->getSize());
710 Record.push_back(M->first->getModificationTime());
711
712 // File name
713 StringRef Name(M->first->getName());
714 Record.push_back(Name.size());
715 Record.append(Name.begin(), Name.end());
716
717 // Dependencies
718 Record.push_back(M->second.Dependencies.size());
719 Record.append(M->second.Dependencies.begin(), M->second.Dependencies.end());
720 Stream.EmitRecord(MODULE, Record);
721 }
722
723 // Write the identifier -> module file mapping.
724 {
Justin Bognerbb094f02014-04-18 19:57:06 +0000725 llvm::OnDiskChainedHashTableGenerator<IdentifierIndexWriterTrait> Generator;
Douglas Gregor5e306b12013-01-23 22:38:11 +0000726 IdentifierIndexWriterTrait Trait;
727
728 // Populate the hash table.
729 for (InterestingIdentifierMap::iterator I = InterestingIdentifiers.begin(),
730 IEnd = InterestingIdentifiers.end();
731 I != IEnd; ++I) {
732 Generator.insert(I->first(), I->second, Trait);
733 }
734
735 // Create the on-disk hash table in a buffer.
736 SmallString<4096> IdentifierTable;
737 uint32_t BucketOffset;
738 {
Justin Bognere1c147c2014-03-28 22:03:19 +0000739 using namespace llvm::support;
Douglas Gregor5e306b12013-01-23 22:38:11 +0000740 llvm::raw_svector_ostream Out(IdentifierTable);
741 // Make sure that no bucket is at offset 0
Justin Bognere1c147c2014-03-28 22:03:19 +0000742 endian::Writer<little>(Out).write<uint32_t>(0);
Douglas Gregor5e306b12013-01-23 22:38:11 +0000743 BucketOffset = Generator.Emit(Out, Trait);
744 }
745
746 // Create a blob abbreviation
David Blaikieb44f0bf2017-01-04 22:36:43 +0000747 auto Abbrev = std::make_shared<BitCodeAbbrev>();
Douglas Gregor5e306b12013-01-23 22:38:11 +0000748 Abbrev->Add(BitCodeAbbrevOp(IDENTIFIER_INDEX));
749 Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 32));
750 Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Blob));
David Blaikieb44f0bf2017-01-04 22:36:43 +0000751 unsigned IDTableAbbrev = Stream.EmitAbbrev(std::move(Abbrev));
Douglas Gregor5e306b12013-01-23 22:38:11 +0000752
753 // Write the identifier table
Mehdi Amini57a41912015-09-10 01:46:39 +0000754 uint64_t Record[] = {IDENTIFIER_INDEX, BucketOffset};
Yaron Keren92e1b622015-03-18 10:17:07 +0000755 Stream.EmitRecordWithBlob(IDTableAbbrev, Record, IdentifierTable);
Douglas Gregor5e306b12013-01-23 22:38:11 +0000756 }
757
Douglas Gregor5e306b12013-01-23 22:38:11 +0000758 Stream.ExitBlock();
759}
760
761GlobalModuleIndex::ErrorCode
Adrian Prantlbb165fb2015-06-20 18:53:08 +0000762GlobalModuleIndex::writeIndex(FileManager &FileMgr,
Adrian Prantlfb2398d2015-07-17 01:19:54 +0000763 const PCHContainerReader &PCHContainerRdr,
Adrian Prantlbb165fb2015-06-20 18:53:08 +0000764 StringRef Path) {
Douglas Gregor5e306b12013-01-23 22:38:11 +0000765 llvm::SmallString<128> IndexPath;
766 IndexPath += Path;
767 llvm::sys::path::append(IndexPath, IndexFileName);
768
769 // Coordinate building the global index file with other processes that might
770 // try to do the same.
771 llvm::LockFileManager Locked(IndexPath);
772 switch (Locked) {
773 case llvm::LockFileManager::LFS_Error:
774 return EC_IOError;
775
776 case llvm::LockFileManager::LFS_Owned:
777 // We're responsible for building the index ourselves. Do so below.
778 break;
779
780 case llvm::LockFileManager::LFS_Shared:
781 // Someone else is responsible for building the index. We don't care
782 // when they finish, so we're done.
783 return EC_Building;
784 }
785
786 // The module index builder.
Adrian Prantlfb2398d2015-07-17 01:19:54 +0000787 GlobalModuleIndexBuilder Builder(FileMgr, PCHContainerRdr);
Adrian Prantlbb165fb2015-06-20 18:53:08 +0000788
Douglas Gregor5e306b12013-01-23 22:38:11 +0000789 // Load each of the module files.
Rafael Espindolac0809172014-06-12 14:02:15 +0000790 std::error_code EC;
Douglas Gregor5e306b12013-01-23 22:38:11 +0000791 for (llvm::sys::fs::directory_iterator D(Path, EC), DEnd;
792 D != DEnd && !EC;
793 D.increment(EC)) {
794 // If this isn't a module file, we don't care.
795 if (llvm::sys::path::extension(D->path()) != ".pcm") {
796 // ... unless it's a .pcm.lock file, which indicates that someone is
797 // in the process of rebuilding a module. They'll rebuild the index
798 // at the end of that translation unit, so we don't have to.
799 if (llvm::sys::path::extension(D->path()) == ".pcm.lock")
800 return EC_Building;
801
802 continue;
803 }
804
805 // If we can't find the module file, skip it.
806 const FileEntry *ModuleFile = FileMgr.getFile(D->path());
807 if (!ModuleFile)
808 continue;
809
810 // Load this module file.
811 if (Builder.loadModuleFile(ModuleFile))
812 return EC_IOError;
813 }
814
815 // The output buffer, into which the global index will be written.
816 SmallVector<char, 16> OutputBuffer;
817 {
818 llvm::BitstreamWriter OutputStream(OutputBuffer);
819 Builder.writeIndex(OutputStream);
820 }
821
822 // Write the global index file to a temporary file.
823 llvm::SmallString<128> IndexTmpPath;
824 int TmpFD;
Rafael Espindola18627112013-07-05 21:13:58 +0000825 if (llvm::sys::fs::createUniqueFile(IndexPath + "-%%%%%%%%", TmpFD,
826 IndexTmpPath))
Douglas Gregor5e306b12013-01-23 22:38:11 +0000827 return EC_IOError;
828
829 // Open the temporary global index file for output.
NAKAMURA Takumie00c9862013-01-24 08:20:11 +0000830 llvm::raw_fd_ostream Out(TmpFD, true);
Douglas Gregor5e306b12013-01-23 22:38:11 +0000831 if (Out.has_error())
832 return EC_IOError;
833
834 // Write the index.
835 Out.write(OutputBuffer.data(), OutputBuffer.size());
836 Out.close();
837 if (Out.has_error())
838 return EC_IOError;
839
840 // Remove the old index file. It isn't relevant any more.
Yaron Keren92e1b622015-03-18 10:17:07 +0000841 llvm::sys::fs::remove(IndexPath);
Douglas Gregor5e306b12013-01-23 22:38:11 +0000842
843 // Rename the newly-written index file to the proper name.
Yaron Keren92e1b622015-03-18 10:17:07 +0000844 if (llvm::sys::fs::rename(IndexTmpPath, IndexPath)) {
Douglas Gregor5e306b12013-01-23 22:38:11 +0000845 // Rename failed; just remove the
Yaron Keren92e1b622015-03-18 10:17:07 +0000846 llvm::sys::fs::remove(IndexTmpPath);
Douglas Gregor5e306b12013-01-23 22:38:11 +0000847 return EC_IOError;
848 }
849
850 // We're done.
851 return EC_None;
852}
Argyrios Kyrtzidis9aca3c62013-04-17 22:10:55 +0000853
854namespace {
855 class GlobalIndexIdentifierIterator : public IdentifierIterator {
856 /// \brief The current position within the identifier lookup table.
857 IdentifierIndexTable::key_iterator Current;
858
859 /// \brief The end position within the identifier lookup table.
860 IdentifierIndexTable::key_iterator End;
861
862 public:
863 explicit GlobalIndexIdentifierIterator(IdentifierIndexTable &Idx) {
864 Current = Idx.key_begin();
865 End = Idx.key_end();
866 }
867
Craig Topper3e89dfe2014-03-13 02:13:41 +0000868 StringRef Next() override {
Argyrios Kyrtzidis9aca3c62013-04-17 22:10:55 +0000869 if (Current == End)
870 return StringRef();
871
872 StringRef Result = *Current;
873 ++Current;
874 return Result;
875 }
876 };
Alexander Kornienkoab9db512015-06-22 23:07:51 +0000877}
Argyrios Kyrtzidis9aca3c62013-04-17 22:10:55 +0000878
879IdentifierIterator *GlobalModuleIndex::createIdentifierIterator() const {
880 IdentifierIndexTable &Table =
881 *static_cast<IdentifierIndexTable *>(IdentifierIndex);
882 return new GlobalIndexIdentifierIterator(Table);
883}