1139f7f9bSDimitry Andric //===--- GlobalModuleIndex.cpp - Global Module Index ------------*- C++ -*-===//
2139f7f9bSDimitry Andric //
3139f7f9bSDimitry Andric //                     The LLVM Compiler Infrastructure
4139f7f9bSDimitry Andric //
5139f7f9bSDimitry Andric // This file is distributed under the University of Illinois Open Source
6139f7f9bSDimitry Andric // License. See LICENSE.TXT for details.
7139f7f9bSDimitry Andric //
8139f7f9bSDimitry Andric //===----------------------------------------------------------------------===//
9139f7f9bSDimitry Andric //
10139f7f9bSDimitry Andric // This file implements the GlobalModuleIndex class.
11139f7f9bSDimitry Andric //
12139f7f9bSDimitry Andric //===----------------------------------------------------------------------===//
13139f7f9bSDimitry Andric 
14139f7f9bSDimitry Andric #include "ASTReaderInternals.h"
15139f7f9bSDimitry Andric #include "clang/Basic/FileManager.h"
1659d1ed5bSDimitry Andric #include "clang/Lex/HeaderSearch.h"
17139f7f9bSDimitry Andric #include "clang/Serialization/ASTBitCodes.h"
18139f7f9bSDimitry Andric #include "clang/Serialization/GlobalModuleIndex.h"
19139f7f9bSDimitry Andric #include "clang/Serialization/Module.h"
20*b5893f02SDimitry Andric #include "clang/Serialization/PCHContainerOperations.h"
21139f7f9bSDimitry Andric #include "llvm/ADT/DenseMap.h"
22139f7f9bSDimitry Andric #include "llvm/ADT/MapVector.h"
23139f7f9bSDimitry Andric #include "llvm/ADT/SmallString.h"
24139f7f9bSDimitry Andric #include "llvm/Bitcode/BitstreamReader.h"
25139f7f9bSDimitry Andric #include "llvm/Bitcode/BitstreamWriter.h"
264ba319b5SDimitry Andric #include "llvm/Support/DJB.h"
27139f7f9bSDimitry Andric #include "llvm/Support/FileSystem.h"
28139f7f9bSDimitry Andric #include "llvm/Support/LockFileManager.h"
29139f7f9bSDimitry Andric #include "llvm/Support/MemoryBuffer.h"
3059d1ed5bSDimitry Andric #include "llvm/Support/OnDiskHashTable.h"
31f785676fSDimitry Andric #include "llvm/Support/Path.h"
32139f7f9bSDimitry Andric #include <cstdio>
33139f7f9bSDimitry Andric using namespace clang;
34139f7f9bSDimitry Andric using namespace serialization;
35139f7f9bSDimitry Andric 
36139f7f9bSDimitry Andric //----------------------------------------------------------------------------//
37139f7f9bSDimitry Andric // Shared constants
38139f7f9bSDimitry Andric //----------------------------------------------------------------------------//
39139f7f9bSDimitry Andric namespace {
40139f7f9bSDimitry Andric   enum {
414ba319b5SDimitry Andric     /// The block containing the index.
42139f7f9bSDimitry Andric     GLOBAL_INDEX_BLOCK_ID = llvm::bitc::FIRST_APPLICATION_BLOCKID
43139f7f9bSDimitry Andric   };
44139f7f9bSDimitry Andric 
454ba319b5SDimitry Andric   /// Describes the record types in the index.
46139f7f9bSDimitry Andric   enum IndexRecordTypes {
474ba319b5SDimitry Andric     /// Contains version information and potentially other metadata,
48139f7f9bSDimitry Andric     /// used to determine if we can read this global index file.
49139f7f9bSDimitry Andric     INDEX_METADATA,
504ba319b5SDimitry Andric     /// Describes a module, including its file name and dependencies.
51139f7f9bSDimitry Andric     MODULE,
524ba319b5SDimitry Andric     /// The index for identifiers.
53139f7f9bSDimitry Andric     IDENTIFIER_INDEX
54139f7f9bSDimitry Andric   };
55139f7f9bSDimitry Andric }
56139f7f9bSDimitry Andric 
574ba319b5SDimitry Andric /// The name of the global index file.
58139f7f9bSDimitry Andric static const char * const IndexFileName = "modules.idx";
59139f7f9bSDimitry Andric 
604ba319b5SDimitry Andric /// The global index file version.
61139f7f9bSDimitry Andric static const unsigned CurrentVersion = 1;
62139f7f9bSDimitry Andric 
63139f7f9bSDimitry Andric //----------------------------------------------------------------------------//
64139f7f9bSDimitry Andric // Global module index reader.
65139f7f9bSDimitry Andric //----------------------------------------------------------------------------//
66139f7f9bSDimitry Andric 
67139f7f9bSDimitry Andric namespace {
68139f7f9bSDimitry Andric 
694ba319b5SDimitry Andric /// Trait used to read the identifier index from the on-disk hash
70139f7f9bSDimitry Andric /// table.
71139f7f9bSDimitry Andric class IdentifierIndexReaderTrait {
72139f7f9bSDimitry Andric public:
73139f7f9bSDimitry Andric   typedef StringRef external_key_type;
74139f7f9bSDimitry Andric   typedef StringRef internal_key_type;
75139f7f9bSDimitry Andric   typedef SmallVector<unsigned, 2> data_type;
7659d1ed5bSDimitry Andric   typedef unsigned hash_value_type;
7759d1ed5bSDimitry Andric   typedef unsigned offset_type;
78139f7f9bSDimitry Andric 
EqualKey(const internal_key_type & a,const internal_key_type & b)79139f7f9bSDimitry Andric   static bool EqualKey(const internal_key_type& a, const internal_key_type& b) {
80139f7f9bSDimitry Andric     return a == b;
81139f7f9bSDimitry Andric   }
82139f7f9bSDimitry Andric 
ComputeHash(const internal_key_type & a)8359d1ed5bSDimitry Andric   static hash_value_type ComputeHash(const internal_key_type& a) {
844ba319b5SDimitry Andric     return llvm::djbHash(a);
85139f7f9bSDimitry Andric   }
86139f7f9bSDimitry Andric 
87139f7f9bSDimitry Andric   static std::pair<unsigned, unsigned>
ReadKeyDataLength(const unsigned char * & d)88139f7f9bSDimitry Andric   ReadKeyDataLength(const unsigned char*& d) {
8959d1ed5bSDimitry Andric     using namespace llvm::support;
9059d1ed5bSDimitry Andric     unsigned KeyLen = endian::readNext<uint16_t, little, unaligned>(d);
9159d1ed5bSDimitry Andric     unsigned DataLen = endian::readNext<uint16_t, little, unaligned>(d);
92139f7f9bSDimitry Andric     return std::make_pair(KeyLen, DataLen);
93139f7f9bSDimitry Andric   }
94139f7f9bSDimitry Andric 
95139f7f9bSDimitry Andric   static const internal_key_type&
GetInternalKey(const external_key_type & x)96139f7f9bSDimitry Andric   GetInternalKey(const external_key_type& x) { return x; }
97139f7f9bSDimitry Andric 
98139f7f9bSDimitry Andric   static const external_key_type&
GetExternalKey(const internal_key_type & x)99139f7f9bSDimitry Andric   GetExternalKey(const internal_key_type& x) { return x; }
100139f7f9bSDimitry Andric 
ReadKey(const unsigned char * d,unsigned n)101139f7f9bSDimitry Andric   static internal_key_type ReadKey(const unsigned char* d, unsigned n) {
102139f7f9bSDimitry Andric     return StringRef((const char *)d, n);
103139f7f9bSDimitry Andric   }
104139f7f9bSDimitry Andric 
ReadData(const internal_key_type & k,const unsigned char * d,unsigned DataLen)105139f7f9bSDimitry Andric   static data_type ReadData(const internal_key_type& k,
106139f7f9bSDimitry Andric                             const unsigned char* d,
107139f7f9bSDimitry Andric                             unsigned DataLen) {
10859d1ed5bSDimitry Andric     using namespace llvm::support;
109139f7f9bSDimitry Andric 
110139f7f9bSDimitry Andric     data_type Result;
111139f7f9bSDimitry Andric     while (DataLen > 0) {
11259d1ed5bSDimitry Andric       unsigned ID = endian::readNext<uint32_t, little, unaligned>(d);
113139f7f9bSDimitry Andric       Result.push_back(ID);
114139f7f9bSDimitry Andric       DataLen -= 4;
115139f7f9bSDimitry Andric     }
116139f7f9bSDimitry Andric 
117139f7f9bSDimitry Andric     return Result;
118139f7f9bSDimitry Andric   }
119139f7f9bSDimitry Andric };
120139f7f9bSDimitry Andric 
12159d1ed5bSDimitry Andric typedef llvm::OnDiskIterableChainedHashTable<IdentifierIndexReaderTrait>
12259d1ed5bSDimitry Andric     IdentifierIndexTable;
123139f7f9bSDimitry Andric 
124139f7f9bSDimitry Andric }
125139f7f9bSDimitry Andric 
GlobalModuleIndex(std::unique_ptr<llvm::MemoryBuffer> Buffer,llvm::BitstreamCursor Cursor)12639d628a0SDimitry Andric GlobalModuleIndex::GlobalModuleIndex(std::unique_ptr<llvm::MemoryBuffer> Buffer,
127139f7f9bSDimitry Andric                                      llvm::BitstreamCursor Cursor)
12839d628a0SDimitry Andric     : Buffer(std::move(Buffer)), IdentifierIndex(), NumIdentifierLookups(),
12939d628a0SDimitry Andric       NumIdentifierLookupHits() {
130139f7f9bSDimitry Andric   // Read the global index.
131139f7f9bSDimitry Andric   bool InGlobalIndexBlock = false;
132139f7f9bSDimitry Andric   bool Done = false;
133139f7f9bSDimitry Andric   while (!Done) {
134139f7f9bSDimitry Andric     llvm::BitstreamEntry Entry = Cursor.advance();
135139f7f9bSDimitry Andric 
136139f7f9bSDimitry Andric     switch (Entry.Kind) {
137139f7f9bSDimitry Andric     case llvm::BitstreamEntry::Error:
138139f7f9bSDimitry Andric       return;
139139f7f9bSDimitry Andric 
140139f7f9bSDimitry Andric     case llvm::BitstreamEntry::EndBlock:
141139f7f9bSDimitry Andric       if (InGlobalIndexBlock) {
142139f7f9bSDimitry Andric         InGlobalIndexBlock = false;
143139f7f9bSDimitry Andric         Done = true;
144139f7f9bSDimitry Andric         continue;
145139f7f9bSDimitry Andric       }
146139f7f9bSDimitry Andric       return;
147139f7f9bSDimitry Andric 
148139f7f9bSDimitry Andric 
149139f7f9bSDimitry Andric     case llvm::BitstreamEntry::Record:
150139f7f9bSDimitry Andric       // Entries in the global index block are handled below.
151139f7f9bSDimitry Andric       if (InGlobalIndexBlock)
152139f7f9bSDimitry Andric         break;
153139f7f9bSDimitry Andric 
154139f7f9bSDimitry Andric       return;
155139f7f9bSDimitry Andric 
156139f7f9bSDimitry Andric     case llvm::BitstreamEntry::SubBlock:
157139f7f9bSDimitry Andric       if (!InGlobalIndexBlock && Entry.ID == GLOBAL_INDEX_BLOCK_ID) {
158139f7f9bSDimitry Andric         if (Cursor.EnterSubBlock(GLOBAL_INDEX_BLOCK_ID))
159139f7f9bSDimitry Andric           return;
160139f7f9bSDimitry Andric 
161139f7f9bSDimitry Andric         InGlobalIndexBlock = true;
162139f7f9bSDimitry Andric       } else if (Cursor.SkipBlock()) {
163139f7f9bSDimitry Andric         return;
164139f7f9bSDimitry Andric       }
165139f7f9bSDimitry Andric       continue;
166139f7f9bSDimitry Andric     }
167139f7f9bSDimitry Andric 
168139f7f9bSDimitry Andric     SmallVector<uint64_t, 64> Record;
169139f7f9bSDimitry Andric     StringRef Blob;
170139f7f9bSDimitry Andric     switch ((IndexRecordTypes)Cursor.readRecord(Entry.ID, Record, &Blob)) {
171139f7f9bSDimitry Andric     case INDEX_METADATA:
172139f7f9bSDimitry Andric       // Make sure that the version matches.
173139f7f9bSDimitry Andric       if (Record.size() < 1 || Record[0] != CurrentVersion)
174139f7f9bSDimitry Andric         return;
175139f7f9bSDimitry Andric       break;
176139f7f9bSDimitry Andric 
177139f7f9bSDimitry Andric     case MODULE: {
178139f7f9bSDimitry Andric       unsigned Idx = 0;
179139f7f9bSDimitry Andric       unsigned ID = Record[Idx++];
180139f7f9bSDimitry Andric 
181139f7f9bSDimitry Andric       // Make room for this module's information.
182139f7f9bSDimitry Andric       if (ID == Modules.size())
183139f7f9bSDimitry Andric         Modules.push_back(ModuleInfo());
184139f7f9bSDimitry Andric       else
185139f7f9bSDimitry Andric         Modules.resize(ID + 1);
186139f7f9bSDimitry Andric 
187139f7f9bSDimitry Andric       // Size/modification time for this module file at the time the
188139f7f9bSDimitry Andric       // global index was built.
189139f7f9bSDimitry Andric       Modules[ID].Size = Record[Idx++];
190139f7f9bSDimitry Andric       Modules[ID].ModTime = Record[Idx++];
191139f7f9bSDimitry Andric 
192139f7f9bSDimitry Andric       // File name.
193139f7f9bSDimitry Andric       unsigned NameLen = Record[Idx++];
194139f7f9bSDimitry Andric       Modules[ID].FileName.assign(Record.begin() + Idx,
195139f7f9bSDimitry Andric                                   Record.begin() + Idx + NameLen);
196139f7f9bSDimitry Andric       Idx += NameLen;
197139f7f9bSDimitry Andric 
198139f7f9bSDimitry Andric       // Dependencies
199139f7f9bSDimitry Andric       unsigned NumDeps = Record[Idx++];
200139f7f9bSDimitry Andric       Modules[ID].Dependencies.insert(Modules[ID].Dependencies.end(),
201139f7f9bSDimitry Andric                                       Record.begin() + Idx,
202139f7f9bSDimitry Andric                                       Record.begin() + Idx + NumDeps);
203139f7f9bSDimitry Andric       Idx += NumDeps;
204139f7f9bSDimitry Andric 
205139f7f9bSDimitry Andric       // Make sure we're at the end of the record.
206139f7f9bSDimitry Andric       assert(Idx == Record.size() && "More module info?");
207139f7f9bSDimitry Andric 
208139f7f9bSDimitry Andric       // Record this module as an unresolved module.
20959d1ed5bSDimitry Andric       // FIXME: this doesn't work correctly for module names containing path
21059d1ed5bSDimitry Andric       // separators.
21159d1ed5bSDimitry Andric       StringRef ModuleName = llvm::sys::path::stem(Modules[ID].FileName);
21259d1ed5bSDimitry Andric       // Remove the -<hash of ModuleMapPath>
21359d1ed5bSDimitry Andric       ModuleName = ModuleName.rsplit('-').first;
21459d1ed5bSDimitry Andric       UnresolvedModules[ModuleName] = ID;
215139f7f9bSDimitry Andric       break;
216139f7f9bSDimitry Andric     }
217139f7f9bSDimitry Andric 
218139f7f9bSDimitry Andric     case IDENTIFIER_INDEX:
219139f7f9bSDimitry Andric       // Wire up the identifier index.
220139f7f9bSDimitry Andric       if (Record[0]) {
221139f7f9bSDimitry Andric         IdentifierIndex = IdentifierIndexTable::Create(
222139f7f9bSDimitry Andric             (const unsigned char *)Blob.data() + Record[0],
22359d1ed5bSDimitry Andric             (const unsigned char *)Blob.data() + sizeof(uint32_t),
22459d1ed5bSDimitry Andric             (const unsigned char *)Blob.data(), IdentifierIndexReaderTrait());
225139f7f9bSDimitry Andric       }
226139f7f9bSDimitry Andric       break;
227139f7f9bSDimitry Andric     }
228139f7f9bSDimitry Andric   }
229139f7f9bSDimitry Andric }
230139f7f9bSDimitry Andric 
~GlobalModuleIndex()23159d1ed5bSDimitry Andric GlobalModuleIndex::~GlobalModuleIndex() {
23259d1ed5bSDimitry Andric   delete static_cast<IdentifierIndexTable *>(IdentifierIndex);
23359d1ed5bSDimitry Andric }
234139f7f9bSDimitry Andric 
235139f7f9bSDimitry Andric std::pair<GlobalModuleIndex *, GlobalModuleIndex::ErrorCode>
readIndex(StringRef Path)236139f7f9bSDimitry Andric GlobalModuleIndex::readIndex(StringRef Path) {
237139f7f9bSDimitry Andric   // Load the index file, if it's there.
238139f7f9bSDimitry Andric   llvm::SmallString<128> IndexPath;
239139f7f9bSDimitry Andric   IndexPath += Path;
240139f7f9bSDimitry Andric   llvm::sys::path::append(IndexPath, IndexFileName);
241139f7f9bSDimitry Andric 
24259d1ed5bSDimitry Andric   llvm::ErrorOr<std::unique_ptr<llvm::MemoryBuffer>> BufferOrErr =
24359d1ed5bSDimitry Andric       llvm::MemoryBuffer::getFile(IndexPath.c_str());
24459d1ed5bSDimitry Andric   if (!BufferOrErr)
24559d1ed5bSDimitry Andric     return std::make_pair(nullptr, EC_NotFound);
24659d1ed5bSDimitry Andric   std::unique_ptr<llvm::MemoryBuffer> Buffer = std::move(BufferOrErr.get());
247139f7f9bSDimitry Andric 
2484ba319b5SDimitry Andric   /// The main bitstream cursor for the main block.
24944290647SDimitry Andric   llvm::BitstreamCursor Cursor(*Buffer);
250139f7f9bSDimitry Andric 
251139f7f9bSDimitry Andric   // Sniff for the signature.
252139f7f9bSDimitry Andric   if (Cursor.Read(8) != 'B' ||
253139f7f9bSDimitry Andric       Cursor.Read(8) != 'C' ||
254139f7f9bSDimitry Andric       Cursor.Read(8) != 'G' ||
255139f7f9bSDimitry Andric       Cursor.Read(8) != 'I') {
25659d1ed5bSDimitry Andric     return std::make_pair(nullptr, EC_IOError);
257139f7f9bSDimitry Andric   }
258139f7f9bSDimitry Andric 
25939d628a0SDimitry Andric   return std::make_pair(new GlobalModuleIndex(std::move(Buffer), Cursor),
26059d1ed5bSDimitry Andric                         EC_None);
261139f7f9bSDimitry Andric }
262139f7f9bSDimitry Andric 
263139f7f9bSDimitry Andric void
getKnownModules(SmallVectorImpl<ModuleFile * > & ModuleFiles)264139f7f9bSDimitry Andric GlobalModuleIndex::getKnownModules(SmallVectorImpl<ModuleFile *> &ModuleFiles) {
265139f7f9bSDimitry Andric   ModuleFiles.clear();
266139f7f9bSDimitry Andric   for (unsigned I = 0, N = Modules.size(); I != N; ++I) {
267139f7f9bSDimitry Andric     if (ModuleFile *MF = Modules[I].File)
268139f7f9bSDimitry Andric       ModuleFiles.push_back(MF);
269139f7f9bSDimitry Andric   }
270139f7f9bSDimitry Andric }
271139f7f9bSDimitry Andric 
getModuleDependencies(ModuleFile * File,SmallVectorImpl<ModuleFile * > & Dependencies)272139f7f9bSDimitry Andric void GlobalModuleIndex::getModuleDependencies(
273139f7f9bSDimitry Andric        ModuleFile *File,
274139f7f9bSDimitry Andric        SmallVectorImpl<ModuleFile *> &Dependencies) {
275139f7f9bSDimitry Andric   // Look for information about this module file.
276139f7f9bSDimitry Andric   llvm::DenseMap<ModuleFile *, unsigned>::iterator Known
277139f7f9bSDimitry Andric     = ModulesByFile.find(File);
278139f7f9bSDimitry Andric   if (Known == ModulesByFile.end())
279139f7f9bSDimitry Andric     return;
280139f7f9bSDimitry Andric 
281139f7f9bSDimitry Andric   // Record dependencies.
282139f7f9bSDimitry Andric   Dependencies.clear();
283139f7f9bSDimitry Andric   ArrayRef<unsigned> StoredDependencies = Modules[Known->second].Dependencies;
284139f7f9bSDimitry Andric   for (unsigned I = 0, N = StoredDependencies.size(); I != N; ++I) {
285139f7f9bSDimitry Andric     if (ModuleFile *MF = Modules[I].File)
286139f7f9bSDimitry Andric       Dependencies.push_back(MF);
287139f7f9bSDimitry Andric   }
288139f7f9bSDimitry Andric }
289139f7f9bSDimitry Andric 
lookupIdentifier(StringRef Name,HitSet & Hits)290139f7f9bSDimitry Andric bool GlobalModuleIndex::lookupIdentifier(StringRef Name, HitSet &Hits) {
291139f7f9bSDimitry Andric   Hits.clear();
292139f7f9bSDimitry Andric 
293139f7f9bSDimitry Andric   // If there's no identifier index, there is nothing we can do.
294139f7f9bSDimitry Andric   if (!IdentifierIndex)
295139f7f9bSDimitry Andric     return false;
296139f7f9bSDimitry Andric 
297139f7f9bSDimitry Andric   // Look into the identifier index.
298139f7f9bSDimitry Andric   ++NumIdentifierLookups;
299139f7f9bSDimitry Andric   IdentifierIndexTable &Table
300139f7f9bSDimitry Andric     = *static_cast<IdentifierIndexTable *>(IdentifierIndex);
301139f7f9bSDimitry Andric   IdentifierIndexTable::iterator Known = Table.find(Name);
302139f7f9bSDimitry Andric   if (Known == Table.end()) {
303139f7f9bSDimitry Andric     return true;
304139f7f9bSDimitry Andric   }
305139f7f9bSDimitry Andric 
306139f7f9bSDimitry Andric   SmallVector<unsigned, 2> ModuleIDs = *Known;
307139f7f9bSDimitry Andric   for (unsigned I = 0, N = ModuleIDs.size(); I != N; ++I) {
308139f7f9bSDimitry Andric     if (ModuleFile *MF = Modules[ModuleIDs[I]].File)
309139f7f9bSDimitry Andric       Hits.insert(MF);
310139f7f9bSDimitry Andric   }
311139f7f9bSDimitry Andric 
312139f7f9bSDimitry Andric   ++NumIdentifierLookupHits;
313139f7f9bSDimitry Andric   return true;
314139f7f9bSDimitry Andric }
315139f7f9bSDimitry Andric 
loadedModuleFile(ModuleFile * File)316139f7f9bSDimitry Andric bool GlobalModuleIndex::loadedModuleFile(ModuleFile *File) {
317139f7f9bSDimitry Andric   // Look for the module in the global module index based on the module name.
31859d1ed5bSDimitry Andric   StringRef Name = File->ModuleName;
319139f7f9bSDimitry Andric   llvm::StringMap<unsigned>::iterator Known = UnresolvedModules.find(Name);
320139f7f9bSDimitry Andric   if (Known == UnresolvedModules.end()) {
321139f7f9bSDimitry Andric     return true;
322139f7f9bSDimitry Andric   }
323139f7f9bSDimitry Andric 
324139f7f9bSDimitry Andric   // Rectify this module with the global module index.
325139f7f9bSDimitry Andric   ModuleInfo &Info = Modules[Known->second];
326139f7f9bSDimitry Andric 
327139f7f9bSDimitry Andric   //  If the size and modification time match what we expected, record this
328139f7f9bSDimitry Andric   // module file.
329139f7f9bSDimitry Andric   bool Failed = true;
330139f7f9bSDimitry Andric   if (File->File->getSize() == Info.Size &&
331139f7f9bSDimitry Andric       File->File->getModificationTime() == Info.ModTime) {
332139f7f9bSDimitry Andric     Info.File = File;
333139f7f9bSDimitry Andric     ModulesByFile[File] = Known->second;
334139f7f9bSDimitry Andric 
335139f7f9bSDimitry Andric     Failed = false;
336139f7f9bSDimitry Andric   }
337139f7f9bSDimitry Andric 
338139f7f9bSDimitry Andric   // One way or another, we have resolved this module file.
339139f7f9bSDimitry Andric   UnresolvedModules.erase(Known);
340139f7f9bSDimitry Andric   return Failed;
341139f7f9bSDimitry Andric }
342139f7f9bSDimitry Andric 
printStats()343139f7f9bSDimitry Andric void GlobalModuleIndex::printStats() {
344139f7f9bSDimitry Andric   std::fprintf(stderr, "*** Global Module Index Statistics:\n");
345139f7f9bSDimitry Andric   if (NumIdentifierLookups) {
346139f7f9bSDimitry Andric     fprintf(stderr, "  %u / %u identifier lookups succeeded (%f%%)\n",
347139f7f9bSDimitry Andric             NumIdentifierLookupHits, NumIdentifierLookups,
348139f7f9bSDimitry Andric             (double)NumIdentifierLookupHits*100.0/NumIdentifierLookups);
349139f7f9bSDimitry Andric   }
350139f7f9bSDimitry Andric   std::fprintf(stderr, "\n");
351139f7f9bSDimitry Andric }
352139f7f9bSDimitry Andric 
dump()353e7145dcbSDimitry Andric LLVM_DUMP_METHOD void GlobalModuleIndex::dump() {
35459d1ed5bSDimitry Andric   llvm::errs() << "*** Global Module Index Dump:\n";
35559d1ed5bSDimitry Andric   llvm::errs() << "Module files:\n";
35659d1ed5bSDimitry Andric   for (auto &MI : Modules) {
35759d1ed5bSDimitry Andric     llvm::errs() << "** " << MI.FileName << "\n";
35859d1ed5bSDimitry Andric     if (MI.File)
35959d1ed5bSDimitry Andric       MI.File->dump();
36059d1ed5bSDimitry Andric     else
36159d1ed5bSDimitry Andric       llvm::errs() << "\n";
36259d1ed5bSDimitry Andric   }
36359d1ed5bSDimitry Andric   llvm::errs() << "\n";
36459d1ed5bSDimitry Andric }
36559d1ed5bSDimitry Andric 
366139f7f9bSDimitry Andric //----------------------------------------------------------------------------//
367139f7f9bSDimitry Andric // Global module index writer.
368139f7f9bSDimitry Andric //----------------------------------------------------------------------------//
369139f7f9bSDimitry Andric 
370139f7f9bSDimitry Andric namespace {
3714ba319b5SDimitry Andric   /// Provides information about a specific module file.
372139f7f9bSDimitry Andric   struct ModuleFileInfo {
3734ba319b5SDimitry Andric     /// The numberic ID for this module file.
374139f7f9bSDimitry Andric     unsigned ID;
375139f7f9bSDimitry Andric 
3764ba319b5SDimitry Andric     /// The set of modules on which this module depends. Each entry is
377139f7f9bSDimitry Andric     /// a module ID.
378139f7f9bSDimitry Andric     SmallVector<unsigned, 4> Dependencies;
37920e90f04SDimitry Andric     ASTFileSignature Signature;
38020e90f04SDimitry Andric   };
38120e90f04SDimitry Andric 
38220e90f04SDimitry Andric   struct ImportedModuleFileInfo {
38320e90f04SDimitry Andric     off_t StoredSize;
38420e90f04SDimitry Andric     time_t StoredModTime;
38520e90f04SDimitry Andric     ASTFileSignature StoredSignature;
ImportedModuleFileInfo__anon2d7d61850411::ImportedModuleFileInfo38620e90f04SDimitry Andric     ImportedModuleFileInfo(off_t Size, time_t ModTime, ASTFileSignature Sig)
38720e90f04SDimitry Andric         : StoredSize(Size), StoredModTime(ModTime), StoredSignature(Sig) {}
388139f7f9bSDimitry Andric   };
389139f7f9bSDimitry Andric 
3904ba319b5SDimitry Andric   /// Builder that generates the global module index file.
391139f7f9bSDimitry Andric   class GlobalModuleIndexBuilder {
392139f7f9bSDimitry Andric     FileManager &FileMgr;
393b6c25e0eSDimitry Andric     const PCHContainerReader &PCHContainerRdr;
394139f7f9bSDimitry Andric 
39520e90f04SDimitry Andric     /// Mapping from files to module file information.
396139f7f9bSDimitry Andric     typedef llvm::MapVector<const FileEntry *, ModuleFileInfo> ModuleFilesMap;
397139f7f9bSDimitry Andric 
39820e90f04SDimitry Andric     /// Information about each of the known module files.
399139f7f9bSDimitry Andric     ModuleFilesMap ModuleFiles;
400139f7f9bSDimitry Andric 
4014ba319b5SDimitry Andric     /// Mapping from the imported module file to the imported
40220e90f04SDimitry Andric     /// information.
40320e90f04SDimitry Andric     typedef std::multimap<const FileEntry *, ImportedModuleFileInfo>
40420e90f04SDimitry Andric         ImportedModuleFilesMap;
40520e90f04SDimitry Andric 
4064ba319b5SDimitry Andric     /// Information about each importing of a module file.
40720e90f04SDimitry Andric     ImportedModuleFilesMap ImportedModuleFiles;
40820e90f04SDimitry Andric 
4094ba319b5SDimitry Andric     /// Mapping from identifiers to the list of module file IDs that
410139f7f9bSDimitry Andric     /// consider this identifier to be interesting.
411139f7f9bSDimitry Andric     typedef llvm::StringMap<SmallVector<unsigned, 2> > InterestingIdentifierMap;
412139f7f9bSDimitry Andric 
4134ba319b5SDimitry Andric     /// A mapping from all interesting identifiers to the set of module
414139f7f9bSDimitry Andric     /// files in which those identifiers are considered interesting.
415139f7f9bSDimitry Andric     InterestingIdentifierMap InterestingIdentifiers;
416139f7f9bSDimitry Andric 
4174ba319b5SDimitry Andric     /// Write the block-info block for the global module index file.
418139f7f9bSDimitry Andric     void emitBlockInfoBlock(llvm::BitstreamWriter &Stream);
419139f7f9bSDimitry Andric 
4204ba319b5SDimitry Andric     /// Retrieve the module file information for the given file.
getModuleFileInfo(const FileEntry * File)421139f7f9bSDimitry Andric     ModuleFileInfo &getModuleFileInfo(const FileEntry *File) {
422139f7f9bSDimitry Andric       llvm::MapVector<const FileEntry *, ModuleFileInfo>::iterator Known
423139f7f9bSDimitry Andric         = ModuleFiles.find(File);
424139f7f9bSDimitry Andric       if (Known != ModuleFiles.end())
425139f7f9bSDimitry Andric         return Known->second;
426139f7f9bSDimitry Andric 
427139f7f9bSDimitry Andric       unsigned NewID = ModuleFiles.size();
428139f7f9bSDimitry Andric       ModuleFileInfo &Info = ModuleFiles[File];
429139f7f9bSDimitry Andric       Info.ID = NewID;
430139f7f9bSDimitry Andric       return Info;
431139f7f9bSDimitry Andric     }
432139f7f9bSDimitry Andric 
433139f7f9bSDimitry Andric   public:
GlobalModuleIndexBuilder(FileManager & FileMgr,const PCHContainerReader & PCHContainerRdr)4348f0fd8f6SDimitry Andric     explicit GlobalModuleIndexBuilder(
435b6c25e0eSDimitry Andric         FileManager &FileMgr, const PCHContainerReader &PCHContainerRdr)
436b6c25e0eSDimitry Andric         : FileMgr(FileMgr), PCHContainerRdr(PCHContainerRdr) {}
437139f7f9bSDimitry Andric 
4384ba319b5SDimitry Andric     /// Load the contents of the given module file into the builder.
439139f7f9bSDimitry Andric     ///
440139f7f9bSDimitry Andric     /// \returns true if an error occurred, false otherwise.
441139f7f9bSDimitry Andric     bool loadModuleFile(const FileEntry *File);
442139f7f9bSDimitry Andric 
4434ba319b5SDimitry Andric     /// Write the index to the given bitstream.
44420e90f04SDimitry Andric     /// \returns true if an error occurred, false otherwise.
44520e90f04SDimitry Andric     bool writeIndex(llvm::BitstreamWriter &Stream);
446139f7f9bSDimitry Andric   };
447139f7f9bSDimitry Andric }
448139f7f9bSDimitry Andric 
emitBlockID(unsigned ID,const char * Name,llvm::BitstreamWriter & Stream,SmallVectorImpl<uint64_t> & Record)449139f7f9bSDimitry Andric static void emitBlockID(unsigned ID, const char *Name,
450139f7f9bSDimitry Andric                         llvm::BitstreamWriter &Stream,
451139f7f9bSDimitry Andric                         SmallVectorImpl<uint64_t> &Record) {
452139f7f9bSDimitry Andric   Record.clear();
453139f7f9bSDimitry Andric   Record.push_back(ID);
454139f7f9bSDimitry Andric   Stream.EmitRecord(llvm::bitc::BLOCKINFO_CODE_SETBID, Record);
455139f7f9bSDimitry Andric 
456139f7f9bSDimitry Andric   // Emit the block name if present.
45759d1ed5bSDimitry Andric   if (!Name || Name[0] == 0) return;
458139f7f9bSDimitry Andric   Record.clear();
459139f7f9bSDimitry Andric   while (*Name)
460139f7f9bSDimitry Andric     Record.push_back(*Name++);
461139f7f9bSDimitry Andric   Stream.EmitRecord(llvm::bitc::BLOCKINFO_CODE_BLOCKNAME, Record);
462139f7f9bSDimitry Andric }
463139f7f9bSDimitry Andric 
emitRecordID(unsigned ID,const char * Name,llvm::BitstreamWriter & Stream,SmallVectorImpl<uint64_t> & Record)464139f7f9bSDimitry Andric static void emitRecordID(unsigned ID, const char *Name,
465139f7f9bSDimitry Andric                          llvm::BitstreamWriter &Stream,
466139f7f9bSDimitry Andric                          SmallVectorImpl<uint64_t> &Record) {
467139f7f9bSDimitry Andric   Record.clear();
468139f7f9bSDimitry Andric   Record.push_back(ID);
469139f7f9bSDimitry Andric   while (*Name)
470139f7f9bSDimitry Andric     Record.push_back(*Name++);
471139f7f9bSDimitry Andric   Stream.EmitRecord(llvm::bitc::BLOCKINFO_CODE_SETRECORDNAME, Record);
472139f7f9bSDimitry Andric }
473139f7f9bSDimitry Andric 
474139f7f9bSDimitry Andric void
emitBlockInfoBlock(llvm::BitstreamWriter & Stream)475139f7f9bSDimitry Andric GlobalModuleIndexBuilder::emitBlockInfoBlock(llvm::BitstreamWriter &Stream) {
476139f7f9bSDimitry Andric   SmallVector<uint64_t, 64> Record;
47744290647SDimitry Andric   Stream.EnterBlockInfoBlock();
478139f7f9bSDimitry Andric 
479139f7f9bSDimitry Andric #define BLOCK(X) emitBlockID(X ## _ID, #X, Stream, Record)
480139f7f9bSDimitry Andric #define RECORD(X) emitRecordID(X, #X, Stream, Record)
481139f7f9bSDimitry Andric   BLOCK(GLOBAL_INDEX_BLOCK);
482139f7f9bSDimitry Andric   RECORD(INDEX_METADATA);
483139f7f9bSDimitry Andric   RECORD(MODULE);
484139f7f9bSDimitry Andric   RECORD(IDENTIFIER_INDEX);
485139f7f9bSDimitry Andric #undef RECORD
486139f7f9bSDimitry Andric #undef BLOCK
487139f7f9bSDimitry Andric 
488139f7f9bSDimitry Andric   Stream.ExitBlock();
489139f7f9bSDimitry Andric }
490139f7f9bSDimitry Andric 
491139f7f9bSDimitry Andric namespace {
492139f7f9bSDimitry Andric   class InterestingASTIdentifierLookupTrait
493139f7f9bSDimitry Andric     : public serialization::reader::ASTIdentifierLookupTraitBase {
494139f7f9bSDimitry Andric 
495139f7f9bSDimitry Andric   public:
4964ba319b5SDimitry Andric     /// The identifier and whether it is "interesting".
497139f7f9bSDimitry Andric     typedef std::pair<StringRef, bool> data_type;
498139f7f9bSDimitry Andric 
ReadData(const internal_key_type & k,const unsigned char * d,unsigned DataLen)499139f7f9bSDimitry Andric     data_type ReadData(const internal_key_type& k,
500139f7f9bSDimitry Andric                        const unsigned char* d,
501139f7f9bSDimitry Andric                        unsigned DataLen) {
502139f7f9bSDimitry Andric       // The first bit indicates whether this identifier is interesting.
503139f7f9bSDimitry Andric       // That's all we care about.
50459d1ed5bSDimitry Andric       using namespace llvm::support;
50559d1ed5bSDimitry Andric       unsigned RawID = endian::readNext<uint32_t, little, unaligned>(d);
506139f7f9bSDimitry Andric       bool IsInteresting = RawID & 0x01;
507139f7f9bSDimitry Andric       return std::make_pair(k, IsInteresting);
508139f7f9bSDimitry Andric     }
509139f7f9bSDimitry Andric   };
510139f7f9bSDimitry Andric }
511139f7f9bSDimitry Andric 
loadModuleFile(const FileEntry * File)512139f7f9bSDimitry Andric bool GlobalModuleIndexBuilder::loadModuleFile(const FileEntry *File) {
513139f7f9bSDimitry Andric   // Open the module file.
51439d628a0SDimitry Andric 
51539d628a0SDimitry Andric   auto Buffer = FileMgr.getBufferForFile(File, /*isVolatile=*/true);
516139f7f9bSDimitry Andric   if (!Buffer) {
517139f7f9bSDimitry Andric     return true;
518139f7f9bSDimitry Andric   }
519139f7f9bSDimitry Andric 
520139f7f9bSDimitry Andric   // Initialize the input stream
52144290647SDimitry Andric   llvm::BitstreamCursor InStream(PCHContainerRdr.ExtractPCH(**Buffer));
522139f7f9bSDimitry Andric 
523139f7f9bSDimitry Andric   // Sniff for the signature.
524139f7f9bSDimitry Andric   if (InStream.Read(8) != 'C' ||
525139f7f9bSDimitry Andric       InStream.Read(8) != 'P' ||
526139f7f9bSDimitry Andric       InStream.Read(8) != 'C' ||
527139f7f9bSDimitry Andric       InStream.Read(8) != 'H') {
528139f7f9bSDimitry Andric     return true;
529139f7f9bSDimitry Andric   }
530139f7f9bSDimitry Andric 
531139f7f9bSDimitry Andric   // Record this module file and assign it a unique ID (if it doesn't have
532139f7f9bSDimitry Andric   // one already).
533139f7f9bSDimitry Andric   unsigned ID = getModuleFileInfo(File).ID;
534139f7f9bSDimitry Andric 
535139f7f9bSDimitry Andric   // Search for the blocks and records we care about.
53620e90f04SDimitry Andric   enum { Other, ControlBlock, ASTBlock, DiagnosticOptionsBlock } State = Other;
537139f7f9bSDimitry Andric   bool Done = false;
538139f7f9bSDimitry Andric   while (!Done) {
539139f7f9bSDimitry Andric     llvm::BitstreamEntry Entry = InStream.advance();
540139f7f9bSDimitry Andric     switch (Entry.Kind) {
541139f7f9bSDimitry Andric     case llvm::BitstreamEntry::Error:
542139f7f9bSDimitry Andric       Done = true;
543139f7f9bSDimitry Andric       continue;
544139f7f9bSDimitry Andric 
545139f7f9bSDimitry Andric     case llvm::BitstreamEntry::Record:
546139f7f9bSDimitry Andric       // In the 'other' state, just skip the record. We don't care.
547139f7f9bSDimitry Andric       if (State == Other) {
548139f7f9bSDimitry Andric         InStream.skipRecord(Entry.ID);
549139f7f9bSDimitry Andric         continue;
550139f7f9bSDimitry Andric       }
551139f7f9bSDimitry Andric 
552139f7f9bSDimitry Andric       // Handle potentially-interesting records below.
553139f7f9bSDimitry Andric       break;
554139f7f9bSDimitry Andric 
555139f7f9bSDimitry Andric     case llvm::BitstreamEntry::SubBlock:
556139f7f9bSDimitry Andric       if (Entry.ID == CONTROL_BLOCK_ID) {
557139f7f9bSDimitry Andric         if (InStream.EnterSubBlock(CONTROL_BLOCK_ID))
558139f7f9bSDimitry Andric           return true;
559139f7f9bSDimitry Andric 
560139f7f9bSDimitry Andric         // Found the control block.
561139f7f9bSDimitry Andric         State = ControlBlock;
562139f7f9bSDimitry Andric         continue;
563139f7f9bSDimitry Andric       }
564139f7f9bSDimitry Andric 
565139f7f9bSDimitry Andric       if (Entry.ID == AST_BLOCK_ID) {
566139f7f9bSDimitry Andric         if (InStream.EnterSubBlock(AST_BLOCK_ID))
567139f7f9bSDimitry Andric           return true;
568139f7f9bSDimitry Andric 
569139f7f9bSDimitry Andric         // Found the AST block.
570139f7f9bSDimitry Andric         State = ASTBlock;
571139f7f9bSDimitry Andric         continue;
572139f7f9bSDimitry Andric       }
573139f7f9bSDimitry Andric 
57420e90f04SDimitry Andric       if (Entry.ID == UNHASHED_CONTROL_BLOCK_ID) {
57520e90f04SDimitry Andric         if (InStream.EnterSubBlock(UNHASHED_CONTROL_BLOCK_ID))
57620e90f04SDimitry Andric           return true;
57720e90f04SDimitry Andric 
57820e90f04SDimitry Andric         // Found the Diagnostic Options block.
57920e90f04SDimitry Andric         State = DiagnosticOptionsBlock;
58020e90f04SDimitry Andric         continue;
58120e90f04SDimitry Andric       }
58220e90f04SDimitry Andric 
583139f7f9bSDimitry Andric       if (InStream.SkipBlock())
584139f7f9bSDimitry Andric         return true;
585139f7f9bSDimitry Andric 
586139f7f9bSDimitry Andric       continue;
587139f7f9bSDimitry Andric 
588139f7f9bSDimitry Andric     case llvm::BitstreamEntry::EndBlock:
589139f7f9bSDimitry Andric       State = Other;
590139f7f9bSDimitry Andric       continue;
591139f7f9bSDimitry Andric     }
592139f7f9bSDimitry Andric 
593139f7f9bSDimitry Andric     // Read the given record.
594139f7f9bSDimitry Andric     SmallVector<uint64_t, 64> Record;
595139f7f9bSDimitry Andric     StringRef Blob;
596139f7f9bSDimitry Andric     unsigned Code = InStream.readRecord(Entry.ID, Record, &Blob);
597139f7f9bSDimitry Andric 
598139f7f9bSDimitry Andric     // Handle module dependencies.
599139f7f9bSDimitry Andric     if (State == ControlBlock && Code == IMPORTS) {
600139f7f9bSDimitry Andric       // Load each of the imported PCH files.
601139f7f9bSDimitry Andric       unsigned Idx = 0, N = Record.size();
602139f7f9bSDimitry Andric       while (Idx < N) {
603139f7f9bSDimitry Andric         // Read information about the AST file.
604139f7f9bSDimitry Andric 
605139f7f9bSDimitry Andric         // Skip the imported kind
606139f7f9bSDimitry Andric         ++Idx;
607139f7f9bSDimitry Andric 
608139f7f9bSDimitry Andric         // Skip the import location
609139f7f9bSDimitry Andric         ++Idx;
610139f7f9bSDimitry Andric 
611139f7f9bSDimitry Andric         // Load stored size/modification time.
612139f7f9bSDimitry Andric         off_t StoredSize = (off_t)Record[Idx++];
613139f7f9bSDimitry Andric         time_t StoredModTime = (time_t)Record[Idx++];
614139f7f9bSDimitry Andric 
61539d628a0SDimitry Andric         // Skip the stored signature.
61639d628a0SDimitry Andric         // FIXME: we could read the signature out of the import and validate it.
61720e90f04SDimitry Andric         ASTFileSignature StoredSignature = {
61820e90f04SDimitry Andric             {{(uint32_t)Record[Idx++], (uint32_t)Record[Idx++],
61920e90f04SDimitry Andric               (uint32_t)Record[Idx++], (uint32_t)Record[Idx++],
62020e90f04SDimitry Andric               (uint32_t)Record[Idx++]}}};
62139d628a0SDimitry Andric 
6229a199699SDimitry Andric         // Skip the module name (currently this is only used for prebuilt
6239a199699SDimitry Andric         // modules while here we are only dealing with cached).
6249a199699SDimitry Andric         Idx += Record[Idx] + 1;
6259a199699SDimitry Andric 
626139f7f9bSDimitry Andric         // Retrieve the imported file name.
627139f7f9bSDimitry Andric         unsigned Length = Record[Idx++];
628139f7f9bSDimitry Andric         SmallString<128> ImportedFile(Record.begin() + Idx,
629139f7f9bSDimitry Andric                                       Record.begin() + Idx + Length);
630139f7f9bSDimitry Andric         Idx += Length;
631139f7f9bSDimitry Andric 
632139f7f9bSDimitry Andric         // Find the imported module file.
633139f7f9bSDimitry Andric         const FileEntry *DependsOnFile
634139f7f9bSDimitry Andric           = FileMgr.getFile(ImportedFile, /*openFile=*/false,
635139f7f9bSDimitry Andric                             /*cacheFailure=*/false);
63620e90f04SDimitry Andric 
63720e90f04SDimitry Andric         if (!DependsOnFile)
638139f7f9bSDimitry Andric           return true;
639139f7f9bSDimitry Andric 
64020e90f04SDimitry Andric         // Save the information in ImportedModuleFileInfo so we can verify after
64120e90f04SDimitry Andric         // loading all pcms.
64220e90f04SDimitry Andric         ImportedModuleFiles.insert(std::make_pair(
64320e90f04SDimitry Andric             DependsOnFile, ImportedModuleFileInfo(StoredSize, StoredModTime,
64420e90f04SDimitry Andric                                                   StoredSignature)));
64520e90f04SDimitry Andric 
646139f7f9bSDimitry Andric         // Record the dependency.
647139f7f9bSDimitry Andric         unsigned DependsOnID = getModuleFileInfo(DependsOnFile).ID;
648139f7f9bSDimitry Andric         getModuleFileInfo(File).Dependencies.push_back(DependsOnID);
649139f7f9bSDimitry Andric       }
650139f7f9bSDimitry Andric 
651139f7f9bSDimitry Andric       continue;
652139f7f9bSDimitry Andric     }
653139f7f9bSDimitry Andric 
654139f7f9bSDimitry Andric     // Handle the identifier table
655139f7f9bSDimitry Andric     if (State == ASTBlock && Code == IDENTIFIER_TABLE && Record[0] > 0) {
65659d1ed5bSDimitry Andric       typedef llvm::OnDiskIterableChainedHashTable<
65759d1ed5bSDimitry Andric           InterestingASTIdentifierLookupTrait> InterestingIdentifierTable;
65859d1ed5bSDimitry Andric       std::unique_ptr<InterestingIdentifierTable> Table(
65959d1ed5bSDimitry Andric           InterestingIdentifierTable::Create(
660139f7f9bSDimitry Andric               (const unsigned char *)Blob.data() + Record[0],
66159d1ed5bSDimitry Andric               (const unsigned char *)Blob.data() + sizeof(uint32_t),
662139f7f9bSDimitry Andric               (const unsigned char *)Blob.data()));
663139f7f9bSDimitry Andric       for (InterestingIdentifierTable::data_iterator D = Table->data_begin(),
664139f7f9bSDimitry Andric                                                      DEnd = Table->data_end();
665139f7f9bSDimitry Andric            D != DEnd; ++D) {
666139f7f9bSDimitry Andric         std::pair<StringRef, bool> Ident = *D;
667139f7f9bSDimitry Andric         if (Ident.second)
668139f7f9bSDimitry Andric           InterestingIdentifiers[Ident.first].push_back(ID);
669139f7f9bSDimitry Andric         else
670139f7f9bSDimitry Andric           (void)InterestingIdentifiers[Ident.first];
671139f7f9bSDimitry Andric       }
672139f7f9bSDimitry Andric     }
673139f7f9bSDimitry Andric 
67420e90f04SDimitry Andric     // Get Signature.
67520e90f04SDimitry Andric     if (State == DiagnosticOptionsBlock && Code == SIGNATURE)
67620e90f04SDimitry Andric       getModuleFileInfo(File).Signature = {
67720e90f04SDimitry Andric           {{(uint32_t)Record[0], (uint32_t)Record[1], (uint32_t)Record[2],
67820e90f04SDimitry Andric             (uint32_t)Record[3], (uint32_t)Record[4]}}};
67920e90f04SDimitry Andric 
680139f7f9bSDimitry Andric     // We don't care about this record.
681139f7f9bSDimitry Andric   }
682139f7f9bSDimitry Andric 
683139f7f9bSDimitry Andric   return false;
684139f7f9bSDimitry Andric }
685139f7f9bSDimitry Andric 
686139f7f9bSDimitry Andric namespace {
687139f7f9bSDimitry Andric 
6884ba319b5SDimitry Andric /// Trait used to generate the identifier index as an on-disk hash
689139f7f9bSDimitry Andric /// table.
690139f7f9bSDimitry Andric class IdentifierIndexWriterTrait {
691139f7f9bSDimitry Andric public:
692139f7f9bSDimitry Andric   typedef StringRef key_type;
693139f7f9bSDimitry Andric   typedef StringRef key_type_ref;
694139f7f9bSDimitry Andric   typedef SmallVector<unsigned, 2> data_type;
695139f7f9bSDimitry Andric   typedef const SmallVector<unsigned, 2> &data_type_ref;
69659d1ed5bSDimitry Andric   typedef unsigned hash_value_type;
69759d1ed5bSDimitry Andric   typedef unsigned offset_type;
698139f7f9bSDimitry Andric 
ComputeHash(key_type_ref Key)69959d1ed5bSDimitry Andric   static hash_value_type ComputeHash(key_type_ref Key) {
7004ba319b5SDimitry Andric     return llvm::djbHash(Key);
701139f7f9bSDimitry Andric   }
702139f7f9bSDimitry Andric 
703139f7f9bSDimitry Andric   std::pair<unsigned,unsigned>
EmitKeyDataLength(raw_ostream & Out,key_type_ref Key,data_type_ref Data)704139f7f9bSDimitry Andric   EmitKeyDataLength(raw_ostream& Out, key_type_ref Key, data_type_ref Data) {
70559d1ed5bSDimitry Andric     using namespace llvm::support;
7064ba319b5SDimitry Andric     endian::Writer LE(Out, little);
707139f7f9bSDimitry Andric     unsigned KeyLen = Key.size();
708139f7f9bSDimitry Andric     unsigned DataLen = Data.size() * 4;
70959d1ed5bSDimitry Andric     LE.write<uint16_t>(KeyLen);
71059d1ed5bSDimitry Andric     LE.write<uint16_t>(DataLen);
711139f7f9bSDimitry Andric     return std::make_pair(KeyLen, DataLen);
712139f7f9bSDimitry Andric   }
713139f7f9bSDimitry Andric 
EmitKey(raw_ostream & Out,key_type_ref Key,unsigned KeyLen)714139f7f9bSDimitry Andric   void EmitKey(raw_ostream& Out, key_type_ref Key, unsigned KeyLen) {
715139f7f9bSDimitry Andric     Out.write(Key.data(), KeyLen);
716139f7f9bSDimitry Andric   }
717139f7f9bSDimitry Andric 
EmitData(raw_ostream & Out,key_type_ref Key,data_type_ref Data,unsigned DataLen)718139f7f9bSDimitry Andric   void EmitData(raw_ostream& Out, key_type_ref Key, data_type_ref Data,
719139f7f9bSDimitry Andric                 unsigned DataLen) {
72059d1ed5bSDimitry Andric     using namespace llvm::support;
721139f7f9bSDimitry Andric     for (unsigned I = 0, N = Data.size(); I != N; ++I)
7224ba319b5SDimitry Andric       endian::write<uint32_t>(Out, Data[I], little);
723139f7f9bSDimitry Andric   }
724139f7f9bSDimitry Andric };
725139f7f9bSDimitry Andric 
726139f7f9bSDimitry Andric }
727139f7f9bSDimitry Andric 
writeIndex(llvm::BitstreamWriter & Stream)72820e90f04SDimitry Andric bool GlobalModuleIndexBuilder::writeIndex(llvm::BitstreamWriter &Stream) {
72920e90f04SDimitry Andric   for (auto MapEntry : ImportedModuleFiles) {
73020e90f04SDimitry Andric     auto *File = MapEntry.first;
73120e90f04SDimitry Andric     ImportedModuleFileInfo &Info = MapEntry.second;
73220e90f04SDimitry Andric     if (getModuleFileInfo(File).Signature) {
73320e90f04SDimitry Andric       if (getModuleFileInfo(File).Signature != Info.StoredSignature)
73420e90f04SDimitry Andric         // Verify Signature.
73520e90f04SDimitry Andric         return true;
73620e90f04SDimitry Andric     } else if (Info.StoredSize != File->getSize() ||
73720e90f04SDimitry Andric                Info.StoredModTime != File->getModificationTime())
73820e90f04SDimitry Andric       // Verify Size and ModTime.
73920e90f04SDimitry Andric       return true;
74020e90f04SDimitry Andric   }
74120e90f04SDimitry Andric 
742139f7f9bSDimitry Andric   using namespace llvm;
743139f7f9bSDimitry Andric 
744139f7f9bSDimitry Andric   // Emit the file header.
745139f7f9bSDimitry Andric   Stream.Emit((unsigned)'B', 8);
746139f7f9bSDimitry Andric   Stream.Emit((unsigned)'C', 8);
747139f7f9bSDimitry Andric   Stream.Emit((unsigned)'G', 8);
748139f7f9bSDimitry Andric   Stream.Emit((unsigned)'I', 8);
749139f7f9bSDimitry Andric 
750139f7f9bSDimitry Andric   // Write the block-info block, which describes the records in this bitcode
751139f7f9bSDimitry Andric   // file.
752139f7f9bSDimitry Andric   emitBlockInfoBlock(Stream);
753139f7f9bSDimitry Andric 
754139f7f9bSDimitry Andric   Stream.EnterSubblock(GLOBAL_INDEX_BLOCK_ID, 3);
755139f7f9bSDimitry Andric 
756139f7f9bSDimitry Andric   // Write the metadata.
757139f7f9bSDimitry Andric   SmallVector<uint64_t, 2> Record;
758139f7f9bSDimitry Andric   Record.push_back(CurrentVersion);
759139f7f9bSDimitry Andric   Stream.EmitRecord(INDEX_METADATA, Record);
760139f7f9bSDimitry Andric 
761139f7f9bSDimitry Andric   // Write the set of known module files.
762139f7f9bSDimitry Andric   for (ModuleFilesMap::iterator M = ModuleFiles.begin(),
763139f7f9bSDimitry Andric                                 MEnd = ModuleFiles.end();
764139f7f9bSDimitry Andric        M != MEnd; ++M) {
765139f7f9bSDimitry Andric     Record.clear();
766139f7f9bSDimitry Andric     Record.push_back(M->second.ID);
767139f7f9bSDimitry Andric     Record.push_back(M->first->getSize());
768139f7f9bSDimitry Andric     Record.push_back(M->first->getModificationTime());
769139f7f9bSDimitry Andric 
770139f7f9bSDimitry Andric     // File name
771139f7f9bSDimitry Andric     StringRef Name(M->first->getName());
772139f7f9bSDimitry Andric     Record.push_back(Name.size());
773139f7f9bSDimitry Andric     Record.append(Name.begin(), Name.end());
774139f7f9bSDimitry Andric 
775139f7f9bSDimitry Andric     // Dependencies
776139f7f9bSDimitry Andric     Record.push_back(M->second.Dependencies.size());
777139f7f9bSDimitry Andric     Record.append(M->second.Dependencies.begin(), M->second.Dependencies.end());
778139f7f9bSDimitry Andric     Stream.EmitRecord(MODULE, Record);
779139f7f9bSDimitry Andric   }
780139f7f9bSDimitry Andric 
781139f7f9bSDimitry Andric   // Write the identifier -> module file mapping.
782139f7f9bSDimitry Andric   {
78359d1ed5bSDimitry Andric     llvm::OnDiskChainedHashTableGenerator<IdentifierIndexWriterTrait> Generator;
784139f7f9bSDimitry Andric     IdentifierIndexWriterTrait Trait;
785139f7f9bSDimitry Andric 
786139f7f9bSDimitry Andric     // Populate the hash table.
787139f7f9bSDimitry Andric     for (InterestingIdentifierMap::iterator I = InterestingIdentifiers.begin(),
788139f7f9bSDimitry Andric                                             IEnd = InterestingIdentifiers.end();
789139f7f9bSDimitry Andric          I != IEnd; ++I) {
790139f7f9bSDimitry Andric       Generator.insert(I->first(), I->second, Trait);
791139f7f9bSDimitry Andric     }
792139f7f9bSDimitry Andric 
793139f7f9bSDimitry Andric     // Create the on-disk hash table in a buffer.
794139f7f9bSDimitry Andric     SmallString<4096> IdentifierTable;
795139f7f9bSDimitry Andric     uint32_t BucketOffset;
796139f7f9bSDimitry Andric     {
79759d1ed5bSDimitry Andric       using namespace llvm::support;
798139f7f9bSDimitry Andric       llvm::raw_svector_ostream Out(IdentifierTable);
799139f7f9bSDimitry Andric       // Make sure that no bucket is at offset 0
8004ba319b5SDimitry Andric       endian::write<uint32_t>(Out, 0, little);
801139f7f9bSDimitry Andric       BucketOffset = Generator.Emit(Out, Trait);
802139f7f9bSDimitry Andric     }
803139f7f9bSDimitry Andric 
804139f7f9bSDimitry Andric     // Create a blob abbreviation
80595ec533aSDimitry Andric     auto Abbrev = std::make_shared<BitCodeAbbrev>();
806139f7f9bSDimitry Andric     Abbrev->Add(BitCodeAbbrevOp(IDENTIFIER_INDEX));
807139f7f9bSDimitry Andric     Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 32));
808139f7f9bSDimitry Andric     Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Blob));
80995ec533aSDimitry Andric     unsigned IDTableAbbrev = Stream.EmitAbbrev(std::move(Abbrev));
810139f7f9bSDimitry Andric 
811139f7f9bSDimitry Andric     // Write the identifier table
8120623d748SDimitry Andric     uint64_t Record[] = {IDENTIFIER_INDEX, BucketOffset};
81333956c43SDimitry Andric     Stream.EmitRecordWithBlob(IDTableAbbrev, Record, IdentifierTable);
814139f7f9bSDimitry Andric   }
815139f7f9bSDimitry Andric 
816139f7f9bSDimitry Andric   Stream.ExitBlock();
81720e90f04SDimitry Andric   return false;
818139f7f9bSDimitry Andric }
819139f7f9bSDimitry Andric 
820139f7f9bSDimitry Andric GlobalModuleIndex::ErrorCode
writeIndex(FileManager & FileMgr,const PCHContainerReader & PCHContainerRdr,StringRef Path)8218f0fd8f6SDimitry Andric GlobalModuleIndex::writeIndex(FileManager &FileMgr,
822b6c25e0eSDimitry Andric                               const PCHContainerReader &PCHContainerRdr,
8238f0fd8f6SDimitry Andric                               StringRef Path) {
824139f7f9bSDimitry Andric   llvm::SmallString<128> IndexPath;
825139f7f9bSDimitry Andric   IndexPath += Path;
826139f7f9bSDimitry Andric   llvm::sys::path::append(IndexPath, IndexFileName);
827139f7f9bSDimitry Andric 
828139f7f9bSDimitry Andric   // Coordinate building the global index file with other processes that might
829139f7f9bSDimitry Andric   // try to do the same.
830139f7f9bSDimitry Andric   llvm::LockFileManager Locked(IndexPath);
831139f7f9bSDimitry Andric   switch (Locked) {
832139f7f9bSDimitry Andric   case llvm::LockFileManager::LFS_Error:
833139f7f9bSDimitry Andric     return EC_IOError;
834139f7f9bSDimitry Andric 
835139f7f9bSDimitry Andric   case llvm::LockFileManager::LFS_Owned:
836139f7f9bSDimitry Andric     // We're responsible for building the index ourselves. Do so below.
837139f7f9bSDimitry Andric     break;
838139f7f9bSDimitry Andric 
839139f7f9bSDimitry Andric   case llvm::LockFileManager::LFS_Shared:
840139f7f9bSDimitry Andric     // Someone else is responsible for building the index. We don't care
841139f7f9bSDimitry Andric     // when they finish, so we're done.
842139f7f9bSDimitry Andric     return EC_Building;
843139f7f9bSDimitry Andric   }
844139f7f9bSDimitry Andric 
845139f7f9bSDimitry Andric   // The module index builder.
846b6c25e0eSDimitry Andric   GlobalModuleIndexBuilder Builder(FileMgr, PCHContainerRdr);
847139f7f9bSDimitry Andric 
848139f7f9bSDimitry Andric   // Load each of the module files.
84959d1ed5bSDimitry Andric   std::error_code EC;
850139f7f9bSDimitry Andric   for (llvm::sys::fs::directory_iterator D(Path, EC), DEnd;
851139f7f9bSDimitry Andric        D != DEnd && !EC;
852139f7f9bSDimitry Andric        D.increment(EC)) {
853139f7f9bSDimitry Andric     // If this isn't a module file, we don't care.
854139f7f9bSDimitry Andric     if (llvm::sys::path::extension(D->path()) != ".pcm") {
855139f7f9bSDimitry Andric       // ... unless it's a .pcm.lock file, which indicates that someone is
856139f7f9bSDimitry Andric       // in the process of rebuilding a module. They'll rebuild the index
857139f7f9bSDimitry Andric       // at the end of that translation unit, so we don't have to.
858139f7f9bSDimitry Andric       if (llvm::sys::path::extension(D->path()) == ".pcm.lock")
859139f7f9bSDimitry Andric         return EC_Building;
860139f7f9bSDimitry Andric 
861139f7f9bSDimitry Andric       continue;
862139f7f9bSDimitry Andric     }
863139f7f9bSDimitry Andric 
864139f7f9bSDimitry Andric     // If we can't find the module file, skip it.
865139f7f9bSDimitry Andric     const FileEntry *ModuleFile = FileMgr.getFile(D->path());
866139f7f9bSDimitry Andric     if (!ModuleFile)
867139f7f9bSDimitry Andric       continue;
868139f7f9bSDimitry Andric 
869139f7f9bSDimitry Andric     // Load this module file.
870139f7f9bSDimitry Andric     if (Builder.loadModuleFile(ModuleFile))
871139f7f9bSDimitry Andric       return EC_IOError;
872139f7f9bSDimitry Andric   }
873139f7f9bSDimitry Andric 
874139f7f9bSDimitry Andric   // The output buffer, into which the global index will be written.
875139f7f9bSDimitry Andric   SmallVector<char, 16> OutputBuffer;
876139f7f9bSDimitry Andric   {
877139f7f9bSDimitry Andric     llvm::BitstreamWriter OutputStream(OutputBuffer);
87820e90f04SDimitry Andric     if (Builder.writeIndex(OutputStream))
87920e90f04SDimitry Andric       return EC_IOError;
880139f7f9bSDimitry Andric   }
881139f7f9bSDimitry Andric 
882139f7f9bSDimitry Andric   // Write the global index file to a temporary file.
883139f7f9bSDimitry Andric   llvm::SmallString<128> IndexTmpPath;
884139f7f9bSDimitry Andric   int TmpFD;
885f785676fSDimitry Andric   if (llvm::sys::fs::createUniqueFile(IndexPath + "-%%%%%%%%", TmpFD,
886f785676fSDimitry Andric                                       IndexTmpPath))
887139f7f9bSDimitry Andric     return EC_IOError;
888139f7f9bSDimitry Andric 
889139f7f9bSDimitry Andric   // Open the temporary global index file for output.
890139f7f9bSDimitry Andric   llvm::raw_fd_ostream Out(TmpFD, true);
891139f7f9bSDimitry Andric   if (Out.has_error())
892139f7f9bSDimitry Andric     return EC_IOError;
893139f7f9bSDimitry Andric 
894139f7f9bSDimitry Andric   // Write the index.
895139f7f9bSDimitry Andric   Out.write(OutputBuffer.data(), OutputBuffer.size());
896139f7f9bSDimitry Andric   Out.close();
897139f7f9bSDimitry Andric   if (Out.has_error())
898139f7f9bSDimitry Andric     return EC_IOError;
899139f7f9bSDimitry Andric 
900139f7f9bSDimitry Andric   // Remove the old index file. It isn't relevant any more.
90133956c43SDimitry Andric   llvm::sys::fs::remove(IndexPath);
902139f7f9bSDimitry Andric 
903139f7f9bSDimitry Andric   // Rename the newly-written index file to the proper name.
90433956c43SDimitry Andric   if (llvm::sys::fs::rename(IndexTmpPath, IndexPath)) {
905139f7f9bSDimitry Andric     // Rename failed; just remove the
90633956c43SDimitry Andric     llvm::sys::fs::remove(IndexTmpPath);
907139f7f9bSDimitry Andric     return EC_IOError;
908139f7f9bSDimitry Andric   }
909139f7f9bSDimitry Andric 
910139f7f9bSDimitry Andric   // We're done.
911139f7f9bSDimitry Andric   return EC_None;
912139f7f9bSDimitry Andric }
913284c1978SDimitry Andric 
914284c1978SDimitry Andric namespace {
915284c1978SDimitry Andric   class GlobalIndexIdentifierIterator : public IdentifierIterator {
9164ba319b5SDimitry Andric     /// The current position within the identifier lookup table.
917284c1978SDimitry Andric     IdentifierIndexTable::key_iterator Current;
918284c1978SDimitry Andric 
9194ba319b5SDimitry Andric     /// The end position within the identifier lookup table.
920284c1978SDimitry Andric     IdentifierIndexTable::key_iterator End;
921284c1978SDimitry Andric 
922284c1978SDimitry Andric   public:
GlobalIndexIdentifierIterator(IdentifierIndexTable & Idx)923284c1978SDimitry Andric     explicit GlobalIndexIdentifierIterator(IdentifierIndexTable &Idx) {
924284c1978SDimitry Andric       Current = Idx.key_begin();
925284c1978SDimitry Andric       End = Idx.key_end();
926284c1978SDimitry Andric     }
927284c1978SDimitry Andric 
Next()92859d1ed5bSDimitry Andric     StringRef Next() override {
929284c1978SDimitry Andric       if (Current == End)
930284c1978SDimitry Andric         return StringRef();
931284c1978SDimitry Andric 
932284c1978SDimitry Andric       StringRef Result = *Current;
933284c1978SDimitry Andric       ++Current;
934284c1978SDimitry Andric       return Result;
935284c1978SDimitry Andric     }
936284c1978SDimitry Andric   };
937284c1978SDimitry Andric }
938284c1978SDimitry Andric 
createIdentifierIterator() const939284c1978SDimitry Andric IdentifierIterator *GlobalModuleIndex::createIdentifierIterator() const {
940284c1978SDimitry Andric   IdentifierIndexTable &Table =
941284c1978SDimitry Andric     *static_cast<IdentifierIndexTable *>(IdentifierIndex);
942284c1978SDimitry Andric   return new GlobalIndexIdentifierIterator(Table);
943284c1978SDimitry Andric }
944