15e306b12SDouglas Gregor //===--- GlobalModuleIndex.cpp - Global Module Index ------------*- C++ -*-===// 25e306b12SDouglas Gregor // 3*2946cd70SChandler Carruth // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 4*2946cd70SChandler Carruth // See https://llvm.org/LICENSE.txt for license information. 5*2946cd70SChandler Carruth // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 65e306b12SDouglas Gregor // 75e306b12SDouglas Gregor //===----------------------------------------------------------------------===// 85e306b12SDouglas Gregor // 95e306b12SDouglas Gregor // This file implements the GlobalModuleIndex class. 105e306b12SDouglas Gregor // 115e306b12SDouglas Gregor //===----------------------------------------------------------------------===// 125e306b12SDouglas Gregor 135e306b12SDouglas Gregor #include "ASTReaderInternals.h" 145e306b12SDouglas Gregor #include "clang/Basic/FileManager.h" 15beee15e7SBen Langmuir #include "clang/Lex/HeaderSearch.h" 165e306b12SDouglas Gregor #include "clang/Serialization/ASTBitCodes.h" 175e306b12SDouglas Gregor #include "clang/Serialization/GlobalModuleIndex.h" 18603cd869SDouglas Gregor #include "clang/Serialization/Module.h" 19f3b0046bSRichard Trieu #include "clang/Serialization/PCHContainerOperations.h" 205e306b12SDouglas Gregor #include "llvm/ADT/DenseMap.h" 215e306b12SDouglas Gregor #include "llvm/ADT/MapVector.h" 225e306b12SDouglas Gregor #include "llvm/ADT/SmallString.h" 235e306b12SDouglas Gregor #include "llvm/Bitcode/BitstreamReader.h" 245e306b12SDouglas Gregor #include "llvm/Bitcode/BitstreamWriter.h" 25560ce2c7SJonas Devlieghere #include "llvm/Support/DJB.h" 268ec343ccSDouglas Gregor #include "llvm/Support/FileSystem.h" 275e306b12SDouglas Gregor #include "llvm/Support/LockFileManager.h" 285e306b12SDouglas Gregor #include "llvm/Support/MemoryBuffer.h" 29bb094f06SJustin Bogner #include "llvm/Support/OnDiskHashTable.h" 30552c169eSRafael Espindola #include "llvm/Support/Path.h" 31f0add23aSNAKAMURA Takumi #include <cstdio> 325e306b12SDouglas Gregor using namespace clang; 335e306b12SDouglas Gregor using namespace serialization; 345e306b12SDouglas Gregor 355e306b12SDouglas Gregor //----------------------------------------------------------------------------// 365e306b12SDouglas Gregor // Shared constants 375e306b12SDouglas Gregor //----------------------------------------------------------------------------// 385e306b12SDouglas Gregor namespace { 395e306b12SDouglas Gregor enum { 409fc8faf9SAdrian Prantl /// The block containing the index. 415e306b12SDouglas Gregor GLOBAL_INDEX_BLOCK_ID = llvm::bitc::FIRST_APPLICATION_BLOCKID 425e306b12SDouglas Gregor }; 435e306b12SDouglas Gregor 449fc8faf9SAdrian Prantl /// Describes the record types in the index. 455e306b12SDouglas Gregor enum IndexRecordTypes { 469fc8faf9SAdrian Prantl /// Contains version information and potentially other metadata, 475e306b12SDouglas Gregor /// used to determine if we can read this global index file. 48e060e57bSDouglas Gregor INDEX_METADATA, 499fc8faf9SAdrian Prantl /// Describes a module, including its file name and dependencies. 505e306b12SDouglas Gregor MODULE, 519fc8faf9SAdrian Prantl /// The index for identifiers. 525e306b12SDouglas Gregor IDENTIFIER_INDEX 535e306b12SDouglas Gregor }; 54ab9db510SAlexander Kornienko } 555e306b12SDouglas Gregor 569fc8faf9SAdrian Prantl /// The name of the global index file. 575e306b12SDouglas Gregor static const char * const IndexFileName = "modules.idx"; 585e306b12SDouglas Gregor 599fc8faf9SAdrian Prantl /// The global index file version. 605e306b12SDouglas Gregor static const unsigned CurrentVersion = 1; 615e306b12SDouglas Gregor 625e306b12SDouglas Gregor //----------------------------------------------------------------------------// 63e060e57bSDouglas Gregor // Global module index reader. 64e060e57bSDouglas Gregor //----------------------------------------------------------------------------// 65e060e57bSDouglas Gregor 66e060e57bSDouglas Gregor namespace { 67e060e57bSDouglas Gregor 689fc8faf9SAdrian Prantl /// Trait used to read the identifier index from the on-disk hash 69e060e57bSDouglas Gregor /// table. 70e060e57bSDouglas Gregor class IdentifierIndexReaderTrait { 71e060e57bSDouglas Gregor public: 72e060e57bSDouglas Gregor typedef StringRef external_key_type; 73e060e57bSDouglas Gregor typedef StringRef internal_key_type; 74e060e57bSDouglas Gregor typedef SmallVector<unsigned, 2> data_type; 7525463f15SJustin Bogner typedef unsigned hash_value_type; 7625463f15SJustin Bogner typedef unsigned offset_type; 77e060e57bSDouglas Gregor 78e060e57bSDouglas Gregor static bool EqualKey(const internal_key_type& a, const internal_key_type& b) { 79e060e57bSDouglas Gregor return a == b; 80e060e57bSDouglas Gregor } 81e060e57bSDouglas Gregor 8225463f15SJustin Bogner static hash_value_type ComputeHash(const internal_key_type& a) { 83560ce2c7SJonas Devlieghere return llvm::djbHash(a); 84e060e57bSDouglas Gregor } 85e060e57bSDouglas Gregor 86e060e57bSDouglas Gregor static std::pair<unsigned, unsigned> 87e060e57bSDouglas Gregor ReadKeyDataLength(const unsigned char*& d) { 8857ba0b22SJustin Bogner using namespace llvm::support; 8957ba0b22SJustin Bogner unsigned KeyLen = endian::readNext<uint16_t, little, unaligned>(d); 9057ba0b22SJustin Bogner unsigned DataLen = endian::readNext<uint16_t, little, unaligned>(d); 91e060e57bSDouglas Gregor return std::make_pair(KeyLen, DataLen); 92e060e57bSDouglas Gregor } 93e060e57bSDouglas Gregor 94e060e57bSDouglas Gregor static const internal_key_type& 95e060e57bSDouglas Gregor GetInternalKey(const external_key_type& x) { return x; } 96e060e57bSDouglas Gregor 97e060e57bSDouglas Gregor static const external_key_type& 98e060e57bSDouglas Gregor GetExternalKey(const internal_key_type& x) { return x; } 99e060e57bSDouglas Gregor 100e060e57bSDouglas Gregor static internal_key_type ReadKey(const unsigned char* d, unsigned n) { 101e060e57bSDouglas Gregor return StringRef((const char *)d, n); 102e060e57bSDouglas Gregor } 103e060e57bSDouglas Gregor 104e060e57bSDouglas Gregor static data_type ReadData(const internal_key_type& k, 105e060e57bSDouglas Gregor const unsigned char* d, 106e060e57bSDouglas Gregor unsigned DataLen) { 10757ba0b22SJustin Bogner using namespace llvm::support; 108e060e57bSDouglas Gregor 109e060e57bSDouglas Gregor data_type Result; 110e060e57bSDouglas Gregor while (DataLen > 0) { 11157ba0b22SJustin Bogner unsigned ID = endian::readNext<uint32_t, little, unaligned>(d); 112e060e57bSDouglas Gregor Result.push_back(ID); 113e060e57bSDouglas Gregor DataLen -= 4; 114e060e57bSDouglas Gregor } 115e060e57bSDouglas Gregor 116e060e57bSDouglas Gregor return Result; 117e060e57bSDouglas Gregor } 118e060e57bSDouglas Gregor }; 119e060e57bSDouglas Gregor 120bb094f06SJustin Bogner typedef llvm::OnDiskIterableChainedHashTable<IdentifierIndexReaderTrait> 121da4e650eSJustin Bogner IdentifierIndexTable; 122e060e57bSDouglas Gregor 123ab9db510SAlexander Kornienko } 124e060e57bSDouglas Gregor 125afa10d3eSDavid Blaikie GlobalModuleIndex::GlobalModuleIndex(std::unique_ptr<llvm::MemoryBuffer> Buffer, 126e060e57bSDouglas Gregor llvm::BitstreamCursor Cursor) 127afa10d3eSDavid Blaikie : Buffer(std::move(Buffer)), IdentifierIndex(), NumIdentifierLookups(), 128afa10d3eSDavid Blaikie NumIdentifierLookupHits() { 129e060e57bSDouglas Gregor // Read the global index. 130e060e57bSDouglas Gregor bool InGlobalIndexBlock = false; 131e060e57bSDouglas Gregor bool Done = false; 132e060e57bSDouglas Gregor while (!Done) { 133e060e57bSDouglas Gregor llvm::BitstreamEntry Entry = Cursor.advance(); 134e060e57bSDouglas Gregor 135e060e57bSDouglas Gregor switch (Entry.Kind) { 136e060e57bSDouglas Gregor case llvm::BitstreamEntry::Error: 137e060e57bSDouglas Gregor return; 138e060e57bSDouglas Gregor 139e060e57bSDouglas Gregor case llvm::BitstreamEntry::EndBlock: 140e060e57bSDouglas Gregor if (InGlobalIndexBlock) { 141e060e57bSDouglas Gregor InGlobalIndexBlock = false; 142e060e57bSDouglas Gregor Done = true; 143e060e57bSDouglas Gregor continue; 144e060e57bSDouglas Gregor } 145e060e57bSDouglas Gregor return; 146e060e57bSDouglas Gregor 147e060e57bSDouglas Gregor 148e060e57bSDouglas Gregor case llvm::BitstreamEntry::Record: 149e060e57bSDouglas Gregor // Entries in the global index block are handled below. 150e060e57bSDouglas Gregor if (InGlobalIndexBlock) 151e060e57bSDouglas Gregor break; 152e060e57bSDouglas Gregor 153e060e57bSDouglas Gregor return; 154e060e57bSDouglas Gregor 155e060e57bSDouglas Gregor case llvm::BitstreamEntry::SubBlock: 156e060e57bSDouglas Gregor if (!InGlobalIndexBlock && Entry.ID == GLOBAL_INDEX_BLOCK_ID) { 157e060e57bSDouglas Gregor if (Cursor.EnterSubBlock(GLOBAL_INDEX_BLOCK_ID)) 158e060e57bSDouglas Gregor return; 159e060e57bSDouglas Gregor 160e060e57bSDouglas Gregor InGlobalIndexBlock = true; 161e060e57bSDouglas Gregor } else if (Cursor.SkipBlock()) { 162e060e57bSDouglas Gregor return; 163e060e57bSDouglas Gregor } 164e060e57bSDouglas Gregor continue; 165e060e57bSDouglas Gregor } 166e060e57bSDouglas Gregor 167e060e57bSDouglas Gregor SmallVector<uint64_t, 64> Record; 168e060e57bSDouglas Gregor StringRef Blob; 169e060e57bSDouglas Gregor switch ((IndexRecordTypes)Cursor.readRecord(Entry.ID, Record, &Blob)) { 170e060e57bSDouglas Gregor case INDEX_METADATA: 171e060e57bSDouglas Gregor // Make sure that the version matches. 172e060e57bSDouglas Gregor if (Record.size() < 1 || Record[0] != CurrentVersion) 173e060e57bSDouglas Gregor return; 174e060e57bSDouglas Gregor break; 175e060e57bSDouglas Gregor 176e060e57bSDouglas Gregor case MODULE: { 177e060e57bSDouglas Gregor unsigned Idx = 0; 178e060e57bSDouglas Gregor unsigned ID = Record[Idx++]; 179e060e57bSDouglas Gregor 1807029ce1aSDouglas Gregor // Make room for this module's information. 1817029ce1aSDouglas Gregor if (ID == Modules.size()) 1827029ce1aSDouglas Gregor Modules.push_back(ModuleInfo()); 1837029ce1aSDouglas Gregor else 1847029ce1aSDouglas Gregor Modules.resize(ID + 1); 1857029ce1aSDouglas Gregor 1867029ce1aSDouglas Gregor // Size/modification time for this module file at the time the 1877029ce1aSDouglas Gregor // global index was built. 1887029ce1aSDouglas Gregor Modules[ID].Size = Record[Idx++]; 1897029ce1aSDouglas Gregor Modules[ID].ModTime = Record[Idx++]; 190e060e57bSDouglas Gregor 191e060e57bSDouglas Gregor // File name. 192e060e57bSDouglas Gregor unsigned NameLen = Record[Idx++]; 1937029ce1aSDouglas Gregor Modules[ID].FileName.assign(Record.begin() + Idx, 194e060e57bSDouglas Gregor Record.begin() + Idx + NameLen); 195e060e57bSDouglas Gregor Idx += NameLen; 196e060e57bSDouglas Gregor 197e060e57bSDouglas Gregor // Dependencies 198e060e57bSDouglas Gregor unsigned NumDeps = Record[Idx++]; 1997029ce1aSDouglas Gregor Modules[ID].Dependencies.insert(Modules[ID].Dependencies.end(), 2007029ce1aSDouglas Gregor Record.begin() + Idx, 2017029ce1aSDouglas Gregor Record.begin() + Idx + NumDeps); 2027029ce1aSDouglas Gregor Idx += NumDeps; 203e060e57bSDouglas Gregor 2047029ce1aSDouglas Gregor // Make sure we're at the end of the record. 2057029ce1aSDouglas Gregor assert(Idx == Record.size() && "More module info?"); 206603cd869SDouglas Gregor 207603cd869SDouglas Gregor // Record this module as an unresolved module. 208beee15e7SBen Langmuir // FIXME: this doesn't work correctly for module names containing path 209beee15e7SBen Langmuir // separators. 210beee15e7SBen Langmuir StringRef ModuleName = llvm::sys::path::stem(Modules[ID].FileName); 211beee15e7SBen Langmuir // Remove the -<hash of ModuleMapPath> 212beee15e7SBen Langmuir ModuleName = ModuleName.rsplit('-').first; 213beee15e7SBen Langmuir UnresolvedModules[ModuleName] = ID; 214e060e57bSDouglas Gregor break; 215e060e57bSDouglas Gregor } 216e060e57bSDouglas Gregor 217e060e57bSDouglas Gregor case IDENTIFIER_INDEX: 218e060e57bSDouglas Gregor // Wire up the identifier index. 219e060e57bSDouglas Gregor if (Record[0]) { 220e060e57bSDouglas Gregor IdentifierIndex = IdentifierIndexTable::Create( 221e060e57bSDouglas Gregor (const unsigned char *)Blob.data() + Record[0], 222da4e650eSJustin Bogner (const unsigned char *)Blob.data() + sizeof(uint32_t), 223da4e650eSJustin Bogner (const unsigned char *)Blob.data(), IdentifierIndexReaderTrait()); 224e060e57bSDouglas Gregor } 225e060e57bSDouglas Gregor break; 226e060e57bSDouglas Gregor } 227e060e57bSDouglas Gregor } 228e060e57bSDouglas Gregor } 229e060e57bSDouglas Gregor 230e68b847fSNico Weber GlobalModuleIndex::~GlobalModuleIndex() { 231e68b847fSNico Weber delete static_cast<IdentifierIndexTable *>(IdentifierIndex); 232e68b847fSNico Weber } 233e060e57bSDouglas Gregor 234e060e57bSDouglas Gregor std::pair<GlobalModuleIndex *, GlobalModuleIndex::ErrorCode> 2357029ce1aSDouglas Gregor GlobalModuleIndex::readIndex(StringRef Path) { 236e060e57bSDouglas Gregor // Load the index file, if it's there. 237e060e57bSDouglas Gregor llvm::SmallString<128> IndexPath; 238e060e57bSDouglas Gregor IndexPath += Path; 239e060e57bSDouglas Gregor llvm::sys::path::append(IndexPath, IndexFileName); 240e060e57bSDouglas Gregor 2412d2b420aSRafael Espindola llvm::ErrorOr<std::unique_ptr<llvm::MemoryBuffer>> BufferOrErr = 2422d2b420aSRafael Espindola llvm::MemoryBuffer::getFile(IndexPath.c_str()); 2432d2b420aSRafael Espindola if (!BufferOrErr) 244a13603a2SCraig Topper return std::make_pair(nullptr, EC_NotFound); 2452d2b420aSRafael Espindola std::unique_ptr<llvm::MemoryBuffer> Buffer = std::move(BufferOrErr.get()); 246e060e57bSDouglas Gregor 2479fc8faf9SAdrian Prantl /// The main bitstream cursor for the main block. 24877c89b69SPeter Collingbourne llvm::BitstreamCursor Cursor(*Buffer); 249e060e57bSDouglas Gregor 250e060e57bSDouglas Gregor // Sniff for the signature. 251e060e57bSDouglas Gregor if (Cursor.Read(8) != 'B' || 252e060e57bSDouglas Gregor Cursor.Read(8) != 'C' || 253e060e57bSDouglas Gregor Cursor.Read(8) != 'G' || 254e060e57bSDouglas Gregor Cursor.Read(8) != 'I') { 255a13603a2SCraig Topper return std::make_pair(nullptr, EC_IOError); 256e060e57bSDouglas Gregor } 257e060e57bSDouglas Gregor 258afa10d3eSDavid Blaikie return std::make_pair(new GlobalModuleIndex(std::move(Buffer), Cursor), 2599a16beb8SAhmed Charles EC_None); 260e060e57bSDouglas Gregor } 261e060e57bSDouglas Gregor 2627029ce1aSDouglas Gregor void 2637029ce1aSDouglas Gregor GlobalModuleIndex::getKnownModules(SmallVectorImpl<ModuleFile *> &ModuleFiles) { 264e060e57bSDouglas Gregor ModuleFiles.clear(); 265e060e57bSDouglas Gregor for (unsigned I = 0, N = Modules.size(); I != N; ++I) { 266603cd869SDouglas Gregor if (ModuleFile *MF = Modules[I].File) 267603cd869SDouglas Gregor ModuleFiles.push_back(MF); 268e060e57bSDouglas Gregor } 269e060e57bSDouglas Gregor } 270e060e57bSDouglas Gregor 271e060e57bSDouglas Gregor void GlobalModuleIndex::getModuleDependencies( 2727029ce1aSDouglas Gregor ModuleFile *File, 2737029ce1aSDouglas Gregor SmallVectorImpl<ModuleFile *> &Dependencies) { 274e060e57bSDouglas Gregor // Look for information about this module file. 2757029ce1aSDouglas Gregor llvm::DenseMap<ModuleFile *, unsigned>::iterator Known 2767029ce1aSDouglas Gregor = ModulesByFile.find(File); 277e060e57bSDouglas Gregor if (Known == ModulesByFile.end()) 278e060e57bSDouglas Gregor return; 279e060e57bSDouglas Gregor 280e060e57bSDouglas Gregor // Record dependencies. 2817029ce1aSDouglas Gregor Dependencies.clear(); 2827029ce1aSDouglas Gregor ArrayRef<unsigned> StoredDependencies = Modules[Known->second].Dependencies; 2837029ce1aSDouglas Gregor for (unsigned I = 0, N = StoredDependencies.size(); I != N; ++I) { 284603cd869SDouglas Gregor if (ModuleFile *MF = Modules[I].File) 2857029ce1aSDouglas Gregor Dependencies.push_back(MF); 2867029ce1aSDouglas Gregor } 287e060e57bSDouglas Gregor } 288e060e57bSDouglas Gregor 2897211ac15SDouglas Gregor bool GlobalModuleIndex::lookupIdentifier(StringRef Name, HitSet &Hits) { 2907211ac15SDouglas Gregor Hits.clear(); 291e060e57bSDouglas Gregor 292e060e57bSDouglas Gregor // If there's no identifier index, there is nothing we can do. 293e060e57bSDouglas Gregor if (!IdentifierIndex) 294e060e57bSDouglas Gregor return false; 295e060e57bSDouglas Gregor 296e060e57bSDouglas Gregor // Look into the identifier index. 297e060e57bSDouglas Gregor ++NumIdentifierLookups; 298e060e57bSDouglas Gregor IdentifierIndexTable &Table 299e060e57bSDouglas Gregor = *static_cast<IdentifierIndexTable *>(IdentifierIndex); 300e060e57bSDouglas Gregor IdentifierIndexTable::iterator Known = Table.find(Name); 301e060e57bSDouglas Gregor if (Known == Table.end()) { 302e060e57bSDouglas Gregor return true; 303e060e57bSDouglas Gregor } 304e060e57bSDouglas Gregor 305e060e57bSDouglas Gregor SmallVector<unsigned, 2> ModuleIDs = *Known; 306e060e57bSDouglas Gregor for (unsigned I = 0, N = ModuleIDs.size(); I != N; ++I) { 307603cd869SDouglas Gregor if (ModuleFile *MF = Modules[ModuleIDs[I]].File) 308603cd869SDouglas Gregor Hits.insert(MF); 309e060e57bSDouglas Gregor } 310e060e57bSDouglas Gregor 311e060e57bSDouglas Gregor ++NumIdentifierLookupHits; 312e060e57bSDouglas Gregor return true; 313e060e57bSDouglas Gregor } 314e060e57bSDouglas Gregor 315603cd869SDouglas Gregor bool GlobalModuleIndex::loadedModuleFile(ModuleFile *File) { 316603cd869SDouglas Gregor // Look for the module in the global module index based on the module name. 317beee15e7SBen Langmuir StringRef Name = File->ModuleName; 318603cd869SDouglas Gregor llvm::StringMap<unsigned>::iterator Known = UnresolvedModules.find(Name); 319603cd869SDouglas Gregor if (Known == UnresolvedModules.end()) { 320603cd869SDouglas Gregor return true; 3217029ce1aSDouglas Gregor } 3227029ce1aSDouglas Gregor 323603cd869SDouglas Gregor // Rectify this module with the global module index. 324603cd869SDouglas Gregor ModuleInfo &Info = Modules[Known->second]; 325603cd869SDouglas Gregor 326603cd869SDouglas Gregor // If the size and modification time match what we expected, record this 327603cd869SDouglas Gregor // module file. 328603cd869SDouglas Gregor bool Failed = true; 329603cd869SDouglas Gregor if (File->File->getSize() == Info.Size && 330603cd869SDouglas Gregor File->File->getModificationTime() == Info.ModTime) { 331603cd869SDouglas Gregor Info.File = File; 332603cd869SDouglas Gregor ModulesByFile[File] = Known->second; 333603cd869SDouglas Gregor 334603cd869SDouglas Gregor Failed = false; 3357029ce1aSDouglas Gregor } 3367029ce1aSDouglas Gregor 337603cd869SDouglas Gregor // One way or another, we have resolved this module file. 338603cd869SDouglas Gregor UnresolvedModules.erase(Known); 339603cd869SDouglas Gregor return Failed; 3407029ce1aSDouglas Gregor } 3417029ce1aSDouglas Gregor 342e060e57bSDouglas Gregor void GlobalModuleIndex::printStats() { 343e060e57bSDouglas Gregor std::fprintf(stderr, "*** Global Module Index Statistics:\n"); 344e060e57bSDouglas Gregor if (NumIdentifierLookups) { 345e060e57bSDouglas Gregor fprintf(stderr, " %u / %u identifier lookups succeeded (%f%%)\n", 346e060e57bSDouglas Gregor NumIdentifierLookupHits, NumIdentifierLookups, 347e060e57bSDouglas Gregor (double)NumIdentifierLookupHits*100.0/NumIdentifierLookups); 348e060e57bSDouglas Gregor } 349e060e57bSDouglas Gregor std::fprintf(stderr, "\n"); 350e060e57bSDouglas Gregor } 351e060e57bSDouglas Gregor 352cdae941eSYaron Keren LLVM_DUMP_METHOD void GlobalModuleIndex::dump() { 353a39baf1aSJohn Thompson llvm::errs() << "*** Global Module Index Dump:\n"; 354a39baf1aSJohn Thompson llvm::errs() << "Module files:\n"; 3554f52d44dSJohn Thompson for (auto &MI : Modules) { 356a39baf1aSJohn Thompson llvm::errs() << "** " << MI.FileName << "\n"; 357a39baf1aSJohn Thompson if (MI.File) 358a39baf1aSJohn Thompson MI.File->dump(); 359bcdcc92eSJohn Thompson else 360a39baf1aSJohn Thompson llvm::errs() << "\n"; 361bcdcc92eSJohn Thompson } 362a39baf1aSJohn Thompson llvm::errs() << "\n"; 363bcdcc92eSJohn Thompson } 364bcdcc92eSJohn Thompson 365e060e57bSDouglas Gregor //----------------------------------------------------------------------------// 3665e306b12SDouglas Gregor // Global module index writer. 3675e306b12SDouglas Gregor //----------------------------------------------------------------------------// 3685e306b12SDouglas Gregor 3695e306b12SDouglas Gregor namespace { 3709fc8faf9SAdrian Prantl /// Provides information about a specific module file. 3715e306b12SDouglas Gregor struct ModuleFileInfo { 3729fc8faf9SAdrian Prantl /// The numberic ID for this module file. 3735e306b12SDouglas Gregor unsigned ID; 3745e306b12SDouglas Gregor 3759fc8faf9SAdrian Prantl /// The set of modules on which this module depends. Each entry is 3765e306b12SDouglas Gregor /// a module ID. 3775e306b12SDouglas Gregor SmallVector<unsigned, 4> Dependencies; 37860fa2888SDuncan P. N. Exon Smith ASTFileSignature Signature; 37960fa2888SDuncan P. N. Exon Smith }; 38060fa2888SDuncan P. N. Exon Smith 38160fa2888SDuncan P. N. Exon Smith struct ImportedModuleFileInfo { 38260fa2888SDuncan P. N. Exon Smith off_t StoredSize; 38360fa2888SDuncan P. N. Exon Smith time_t StoredModTime; 38460fa2888SDuncan P. N. Exon Smith ASTFileSignature StoredSignature; 38560fa2888SDuncan P. N. Exon Smith ImportedModuleFileInfo(off_t Size, time_t ModTime, ASTFileSignature Sig) 38660fa2888SDuncan P. N. Exon Smith : StoredSize(Size), StoredModTime(ModTime), StoredSignature(Sig) {} 3875e306b12SDouglas Gregor }; 3885e306b12SDouglas Gregor 3899fc8faf9SAdrian Prantl /// Builder that generates the global module index file. 3905e306b12SDouglas Gregor class GlobalModuleIndexBuilder { 3915e306b12SDouglas Gregor FileManager &FileMgr; 392fb2398d0SAdrian Prantl const PCHContainerReader &PCHContainerRdr; 3935e306b12SDouglas Gregor 39460fa2888SDuncan P. N. Exon Smith /// Mapping from files to module file information. 3955e306b12SDouglas Gregor typedef llvm::MapVector<const FileEntry *, ModuleFileInfo> ModuleFilesMap; 3965e306b12SDouglas Gregor 39760fa2888SDuncan P. N. Exon Smith /// Information about each of the known module files. 3985e306b12SDouglas Gregor ModuleFilesMap ModuleFiles; 3995e306b12SDouglas Gregor 4009fc8faf9SAdrian Prantl /// Mapping from the imported module file to the imported 40160fa2888SDuncan P. N. Exon Smith /// information. 40260fa2888SDuncan P. N. Exon Smith typedef std::multimap<const FileEntry *, ImportedModuleFileInfo> 40360fa2888SDuncan P. N. Exon Smith ImportedModuleFilesMap; 40460fa2888SDuncan P. N. Exon Smith 4059fc8faf9SAdrian Prantl /// Information about each importing of a module file. 40660fa2888SDuncan P. N. Exon Smith ImportedModuleFilesMap ImportedModuleFiles; 40760fa2888SDuncan P. N. Exon Smith 4089fc8faf9SAdrian Prantl /// Mapping from identifiers to the list of module file IDs that 4095e306b12SDouglas Gregor /// consider this identifier to be interesting. 4105e306b12SDouglas Gregor typedef llvm::StringMap<SmallVector<unsigned, 2> > InterestingIdentifierMap; 4115e306b12SDouglas Gregor 4129fc8faf9SAdrian Prantl /// A mapping from all interesting identifiers to the set of module 4135e306b12SDouglas Gregor /// files in which those identifiers are considered interesting. 4145e306b12SDouglas Gregor InterestingIdentifierMap InterestingIdentifiers; 4155e306b12SDouglas Gregor 4169fc8faf9SAdrian Prantl /// Write the block-info block for the global module index file. 4175e306b12SDouglas Gregor void emitBlockInfoBlock(llvm::BitstreamWriter &Stream); 4185e306b12SDouglas Gregor 4199fc8faf9SAdrian Prantl /// Retrieve the module file information for the given file. 4205e306b12SDouglas Gregor ModuleFileInfo &getModuleFileInfo(const FileEntry *File) { 4215e306b12SDouglas Gregor llvm::MapVector<const FileEntry *, ModuleFileInfo>::iterator Known 4225e306b12SDouglas Gregor = ModuleFiles.find(File); 4235e306b12SDouglas Gregor if (Known != ModuleFiles.end()) 4245e306b12SDouglas Gregor return Known->second; 4255e306b12SDouglas Gregor 4265e306b12SDouglas Gregor unsigned NewID = ModuleFiles.size(); 4275e306b12SDouglas Gregor ModuleFileInfo &Info = ModuleFiles[File]; 4285e306b12SDouglas Gregor Info.ID = NewID; 4295e306b12SDouglas Gregor return Info; 4305e306b12SDouglas Gregor } 4315e306b12SDouglas Gregor 4325e306b12SDouglas Gregor public: 433bb165fb0SAdrian Prantl explicit GlobalModuleIndexBuilder( 434fb2398d0SAdrian Prantl FileManager &FileMgr, const PCHContainerReader &PCHContainerRdr) 435fb2398d0SAdrian Prantl : FileMgr(FileMgr), PCHContainerRdr(PCHContainerRdr) {} 4365e306b12SDouglas Gregor 4379fc8faf9SAdrian Prantl /// Load the contents of the given module file into the builder. 4385e306b12SDouglas Gregor /// 4395e306b12SDouglas Gregor /// \returns true if an error occurred, false otherwise. 4405e306b12SDouglas Gregor bool loadModuleFile(const FileEntry *File); 4415e306b12SDouglas Gregor 4429fc8faf9SAdrian Prantl /// Write the index to the given bitstream. 44360fa2888SDuncan P. N. Exon Smith /// \returns true if an error occurred, false otherwise. 44460fa2888SDuncan P. N. Exon Smith bool writeIndex(llvm::BitstreamWriter &Stream); 4455e306b12SDouglas Gregor }; 446ab9db510SAlexander Kornienko } 4475e306b12SDouglas Gregor 4485e306b12SDouglas Gregor static void emitBlockID(unsigned ID, const char *Name, 4495e306b12SDouglas Gregor llvm::BitstreamWriter &Stream, 4505e306b12SDouglas Gregor SmallVectorImpl<uint64_t> &Record) { 4515e306b12SDouglas Gregor Record.clear(); 4525e306b12SDouglas Gregor Record.push_back(ID); 4535e306b12SDouglas Gregor Stream.EmitRecord(llvm::bitc::BLOCKINFO_CODE_SETBID, Record); 4545e306b12SDouglas Gregor 4555e306b12SDouglas Gregor // Emit the block name if present. 456a13603a2SCraig Topper if (!Name || Name[0] == 0) return; 4575e306b12SDouglas Gregor Record.clear(); 4585e306b12SDouglas Gregor while (*Name) 4595e306b12SDouglas Gregor Record.push_back(*Name++); 4605e306b12SDouglas Gregor Stream.EmitRecord(llvm::bitc::BLOCKINFO_CODE_BLOCKNAME, Record); 4615e306b12SDouglas Gregor } 4625e306b12SDouglas Gregor 4635e306b12SDouglas Gregor static void emitRecordID(unsigned ID, const char *Name, 4645e306b12SDouglas Gregor llvm::BitstreamWriter &Stream, 4655e306b12SDouglas Gregor SmallVectorImpl<uint64_t> &Record) { 4665e306b12SDouglas Gregor Record.clear(); 4675e306b12SDouglas Gregor Record.push_back(ID); 4685e306b12SDouglas Gregor while (*Name) 4695e306b12SDouglas Gregor Record.push_back(*Name++); 4705e306b12SDouglas Gregor Stream.EmitRecord(llvm::bitc::BLOCKINFO_CODE_SETRECORDNAME, Record); 4715e306b12SDouglas Gregor } 4725e306b12SDouglas Gregor 4735e306b12SDouglas Gregor void 4745e306b12SDouglas Gregor GlobalModuleIndexBuilder::emitBlockInfoBlock(llvm::BitstreamWriter &Stream) { 4755e306b12SDouglas Gregor SmallVector<uint64_t, 64> Record; 476d3a6c70bSPeter Collingbourne Stream.EnterBlockInfoBlock(); 4775e306b12SDouglas Gregor 4785e306b12SDouglas Gregor #define BLOCK(X) emitBlockID(X ## _ID, #X, Stream, Record) 4795e306b12SDouglas Gregor #define RECORD(X) emitRecordID(X, #X, Stream, Record) 4805e306b12SDouglas Gregor BLOCK(GLOBAL_INDEX_BLOCK); 481e060e57bSDouglas Gregor RECORD(INDEX_METADATA); 4825e306b12SDouglas Gregor RECORD(MODULE); 4835e306b12SDouglas Gregor RECORD(IDENTIFIER_INDEX); 4845e306b12SDouglas Gregor #undef RECORD 4855e306b12SDouglas Gregor #undef BLOCK 4865e306b12SDouglas Gregor 4875e306b12SDouglas Gregor Stream.ExitBlock(); 4885e306b12SDouglas Gregor } 4895e306b12SDouglas Gregor 490e060e57bSDouglas Gregor namespace { 4915e306b12SDouglas Gregor class InterestingASTIdentifierLookupTrait 4925e306b12SDouglas Gregor : public serialization::reader::ASTIdentifierLookupTraitBase { 4935e306b12SDouglas Gregor 4945e306b12SDouglas Gregor public: 4959fc8faf9SAdrian Prantl /// The identifier and whether it is "interesting". 4965e306b12SDouglas Gregor typedef std::pair<StringRef, bool> data_type; 4975e306b12SDouglas Gregor 4985e306b12SDouglas Gregor data_type ReadData(const internal_key_type& k, 4995e306b12SDouglas Gregor const unsigned char* d, 5005e306b12SDouglas Gregor unsigned DataLen) { 5015e306b12SDouglas Gregor // The first bit indicates whether this identifier is interesting. 5025e306b12SDouglas Gregor // That's all we care about. 50357ba0b22SJustin Bogner using namespace llvm::support; 50457ba0b22SJustin Bogner unsigned RawID = endian::readNext<uint32_t, little, unaligned>(d); 5055e306b12SDouglas Gregor bool IsInteresting = RawID & 0x01; 5065e306b12SDouglas Gregor return std::make_pair(k, IsInteresting); 5075e306b12SDouglas Gregor } 5085e306b12SDouglas Gregor }; 509ab9db510SAlexander Kornienko } 5105e306b12SDouglas Gregor 5115e306b12SDouglas Gregor bool GlobalModuleIndexBuilder::loadModuleFile(const FileEntry *File) { 5125e306b12SDouglas Gregor // Open the module file. 5136406f7b8SRafael Espindola 514a885796dSBenjamin Kramer auto Buffer = FileMgr.getBufferForFile(File, /*isVolatile=*/true); 5155e306b12SDouglas Gregor if (!Buffer) { 5165e306b12SDouglas Gregor return true; 5175e306b12SDouglas Gregor } 5185e306b12SDouglas Gregor 5195e306b12SDouglas Gregor // Initialize the input stream 52077c89b69SPeter Collingbourne llvm::BitstreamCursor InStream(PCHContainerRdr.ExtractPCH(**Buffer)); 5215e306b12SDouglas Gregor 5225e306b12SDouglas Gregor // Sniff for the signature. 5235e306b12SDouglas Gregor if (InStream.Read(8) != 'C' || 5245e306b12SDouglas Gregor InStream.Read(8) != 'P' || 5255e306b12SDouglas Gregor InStream.Read(8) != 'C' || 5265e306b12SDouglas Gregor InStream.Read(8) != 'H') { 5275e306b12SDouglas Gregor return true; 5285e306b12SDouglas Gregor } 5295e306b12SDouglas Gregor 5305e306b12SDouglas Gregor // Record this module file and assign it a unique ID (if it doesn't have 5315e306b12SDouglas Gregor // one already). 5325e306b12SDouglas Gregor unsigned ID = getModuleFileInfo(File).ID; 5335e306b12SDouglas Gregor 5345e306b12SDouglas Gregor // Search for the blocks and records we care about. 53560fa2888SDuncan P. N. Exon Smith enum { Other, ControlBlock, ASTBlock, DiagnosticOptionsBlock } State = Other; 5365e306b12SDouglas Gregor bool Done = false; 5375e306b12SDouglas Gregor while (!Done) { 538e060e57bSDouglas Gregor llvm::BitstreamEntry Entry = InStream.advance(); 5395e306b12SDouglas Gregor switch (Entry.Kind) { 5405e306b12SDouglas Gregor case llvm::BitstreamEntry::Error: 541e060e57bSDouglas Gregor Done = true; 542e060e57bSDouglas Gregor continue; 5435e306b12SDouglas Gregor 5445e306b12SDouglas Gregor case llvm::BitstreamEntry::Record: 545e060e57bSDouglas Gregor // In the 'other' state, just skip the record. We don't care. 546e060e57bSDouglas Gregor if (State == Other) { 5475e306b12SDouglas Gregor InStream.skipRecord(Entry.ID); 5485e306b12SDouglas Gregor continue; 5495e306b12SDouglas Gregor } 5505e306b12SDouglas Gregor 5515e306b12SDouglas Gregor // Handle potentially-interesting records below. 5525e306b12SDouglas Gregor break; 5535e306b12SDouglas Gregor 5545e306b12SDouglas Gregor case llvm::BitstreamEntry::SubBlock: 555e060e57bSDouglas Gregor if (Entry.ID == CONTROL_BLOCK_ID) { 5565e306b12SDouglas Gregor if (InStream.EnterSubBlock(CONTROL_BLOCK_ID)) 5575e306b12SDouglas Gregor return true; 5585e306b12SDouglas Gregor 5595e306b12SDouglas Gregor // Found the control block. 5605e306b12SDouglas Gregor State = ControlBlock; 5615e306b12SDouglas Gregor continue; 5625e306b12SDouglas Gregor } 5635e306b12SDouglas Gregor 564e060e57bSDouglas Gregor if (Entry.ID == AST_BLOCK_ID) { 5655e306b12SDouglas Gregor if (InStream.EnterSubBlock(AST_BLOCK_ID)) 5665e306b12SDouglas Gregor return true; 5675e306b12SDouglas Gregor 5685e306b12SDouglas Gregor // Found the AST block. 5695e306b12SDouglas Gregor State = ASTBlock; 5705e306b12SDouglas Gregor continue; 5715e306b12SDouglas Gregor } 5725e306b12SDouglas Gregor 57360fa2888SDuncan P. N. Exon Smith if (Entry.ID == UNHASHED_CONTROL_BLOCK_ID) { 57460fa2888SDuncan P. N. Exon Smith if (InStream.EnterSubBlock(UNHASHED_CONTROL_BLOCK_ID)) 57560fa2888SDuncan P. N. Exon Smith return true; 57660fa2888SDuncan P. N. Exon Smith 57760fa2888SDuncan P. N. Exon Smith // Found the Diagnostic Options block. 57860fa2888SDuncan P. N. Exon Smith State = DiagnosticOptionsBlock; 57960fa2888SDuncan P. N. Exon Smith continue; 58060fa2888SDuncan P. N. Exon Smith } 58160fa2888SDuncan P. N. Exon Smith 5825e306b12SDouglas Gregor if (InStream.SkipBlock()) 5835e306b12SDouglas Gregor return true; 5845e306b12SDouglas Gregor 5855e306b12SDouglas Gregor continue; 5865e306b12SDouglas Gregor 5875e306b12SDouglas Gregor case llvm::BitstreamEntry::EndBlock: 588e060e57bSDouglas Gregor State = Other; 5895e306b12SDouglas Gregor continue; 5905e306b12SDouglas Gregor } 5915e306b12SDouglas Gregor 5925e306b12SDouglas Gregor // Read the given record. 5935e306b12SDouglas Gregor SmallVector<uint64_t, 64> Record; 5945e306b12SDouglas Gregor StringRef Blob; 5955e306b12SDouglas Gregor unsigned Code = InStream.readRecord(Entry.ID, Record, &Blob); 5965e306b12SDouglas Gregor 5975e306b12SDouglas Gregor // Handle module dependencies. 5985e306b12SDouglas Gregor if (State == ControlBlock && Code == IMPORTS) { 5995e306b12SDouglas Gregor // Load each of the imported PCH files. 6005e306b12SDouglas Gregor unsigned Idx = 0, N = Record.size(); 6015e306b12SDouglas Gregor while (Idx < N) { 6025e306b12SDouglas Gregor // Read information about the AST file. 6035e306b12SDouglas Gregor 6045e306b12SDouglas Gregor // Skip the imported kind 6055e306b12SDouglas Gregor ++Idx; 6065e306b12SDouglas Gregor 6075e306b12SDouglas Gregor // Skip the import location 6085e306b12SDouglas Gregor ++Idx; 6095e306b12SDouglas Gregor 6107029ce1aSDouglas Gregor // Load stored size/modification time. 6117029ce1aSDouglas Gregor off_t StoredSize = (off_t)Record[Idx++]; 6127029ce1aSDouglas Gregor time_t StoredModTime = (time_t)Record[Idx++]; 6137029ce1aSDouglas Gregor 614487ea14aSBen Langmuir // Skip the stored signature. 615487ea14aSBen Langmuir // FIXME: we could read the signature out of the import and validate it. 61660fa2888SDuncan P. N. Exon Smith ASTFileSignature StoredSignature = { 61760fa2888SDuncan P. N. Exon Smith {{(uint32_t)Record[Idx++], (uint32_t)Record[Idx++], 61860fa2888SDuncan P. N. Exon Smith (uint32_t)Record[Idx++], (uint32_t)Record[Idx++], 61960fa2888SDuncan P. N. Exon Smith (uint32_t)Record[Idx++]}}}; 620487ea14aSBen Langmuir 621d30446fdSBoris Kolpackov // Skip the module name (currently this is only used for prebuilt 622d30446fdSBoris Kolpackov // modules while here we are only dealing with cached). 623d30446fdSBoris Kolpackov Idx += Record[Idx] + 1; 624d30446fdSBoris Kolpackov 6255e306b12SDouglas Gregor // Retrieve the imported file name. 6265e306b12SDouglas Gregor unsigned Length = Record[Idx++]; 6275e306b12SDouglas Gregor SmallString<128> ImportedFile(Record.begin() + Idx, 6285e306b12SDouglas Gregor Record.begin() + Idx + Length); 6295e306b12SDouglas Gregor Idx += Length; 6305e306b12SDouglas Gregor 6315e306b12SDouglas Gregor // Find the imported module file. 632dadd85dcSDouglas Gregor const FileEntry *DependsOnFile 633dadd85dcSDouglas Gregor = FileMgr.getFile(ImportedFile, /*openFile=*/false, 634dadd85dcSDouglas Gregor /*cacheFailure=*/false); 63560fa2888SDuncan P. N. Exon Smith 63660fa2888SDuncan P. N. Exon Smith if (!DependsOnFile) 6375e306b12SDouglas Gregor return true; 6385e306b12SDouglas Gregor 63960fa2888SDuncan P. N. Exon Smith // Save the information in ImportedModuleFileInfo so we can verify after 64060fa2888SDuncan P. N. Exon Smith // loading all pcms. 64160fa2888SDuncan P. N. Exon Smith ImportedModuleFiles.insert(std::make_pair( 64260fa2888SDuncan P. N. Exon Smith DependsOnFile, ImportedModuleFileInfo(StoredSize, StoredModTime, 64360fa2888SDuncan P. N. Exon Smith StoredSignature))); 64460fa2888SDuncan P. N. Exon Smith 6455e306b12SDouglas Gregor // Record the dependency. 6465e306b12SDouglas Gregor unsigned DependsOnID = getModuleFileInfo(DependsOnFile).ID; 6475e306b12SDouglas Gregor getModuleFileInfo(File).Dependencies.push_back(DependsOnID); 6485e306b12SDouglas Gregor } 6495e306b12SDouglas Gregor 6505e306b12SDouglas Gregor continue; 6515e306b12SDouglas Gregor } 6525e306b12SDouglas Gregor 6535e306b12SDouglas Gregor // Handle the identifier table 6545e306b12SDouglas Gregor if (State == ASTBlock && Code == IDENTIFIER_TABLE && Record[0] > 0) { 655bb094f06SJustin Bogner typedef llvm::OnDiskIterableChainedHashTable< 656bb094f06SJustin Bogner InterestingASTIdentifierLookupTrait> InterestingIdentifierTable; 657b8984329SAhmed Charles std::unique_ptr<InterestingIdentifierTable> Table( 658b8984329SAhmed Charles InterestingIdentifierTable::Create( 6595e306b12SDouglas Gregor (const unsigned char *)Blob.data() + Record[0], 660da4e650eSJustin Bogner (const unsigned char *)Blob.data() + sizeof(uint32_t), 6615e306b12SDouglas Gregor (const unsigned char *)Blob.data())); 6625e306b12SDouglas Gregor for (InterestingIdentifierTable::data_iterator D = Table->data_begin(), 6635e306b12SDouglas Gregor DEnd = Table->data_end(); 6645e306b12SDouglas Gregor D != DEnd; ++D) { 6655e306b12SDouglas Gregor std::pair<StringRef, bool> Ident = *D; 6665e306b12SDouglas Gregor if (Ident.second) 6675e306b12SDouglas Gregor InterestingIdentifiers[Ident.first].push_back(ID); 668e060e57bSDouglas Gregor else 669e060e57bSDouglas Gregor (void)InterestingIdentifiers[Ident.first]; 6705e306b12SDouglas Gregor } 6715e306b12SDouglas Gregor } 6725e306b12SDouglas Gregor 67360fa2888SDuncan P. N. Exon Smith // Get Signature. 67460fa2888SDuncan P. N. Exon Smith if (State == DiagnosticOptionsBlock && Code == SIGNATURE) 67560fa2888SDuncan P. N. Exon Smith getModuleFileInfo(File).Signature = { 67660fa2888SDuncan P. N. Exon Smith {{(uint32_t)Record[0], (uint32_t)Record[1], (uint32_t)Record[2], 67760fa2888SDuncan P. N. Exon Smith (uint32_t)Record[3], (uint32_t)Record[4]}}}; 67860fa2888SDuncan P. N. Exon Smith 6795e306b12SDouglas Gregor // We don't care about this record. 6805e306b12SDouglas Gregor } 6815e306b12SDouglas Gregor 6825e306b12SDouglas Gregor return false; 6835e306b12SDouglas Gregor } 6845e306b12SDouglas Gregor 6855e306b12SDouglas Gregor namespace { 6865e306b12SDouglas Gregor 6879fc8faf9SAdrian Prantl /// Trait used to generate the identifier index as an on-disk hash 6885e306b12SDouglas Gregor /// table. 6895e306b12SDouglas Gregor class IdentifierIndexWriterTrait { 6905e306b12SDouglas Gregor public: 6915e306b12SDouglas Gregor typedef StringRef key_type; 6925e306b12SDouglas Gregor typedef StringRef key_type_ref; 6935e306b12SDouglas Gregor typedef SmallVector<unsigned, 2> data_type; 6945e306b12SDouglas Gregor typedef const SmallVector<unsigned, 2> &data_type_ref; 69525463f15SJustin Bogner typedef unsigned hash_value_type; 69625463f15SJustin Bogner typedef unsigned offset_type; 6975e306b12SDouglas Gregor 69825463f15SJustin Bogner static hash_value_type ComputeHash(key_type_ref Key) { 699560ce2c7SJonas Devlieghere return llvm::djbHash(Key); 7005e306b12SDouglas Gregor } 7015e306b12SDouglas Gregor 7025e306b12SDouglas Gregor std::pair<unsigned,unsigned> 7035e306b12SDouglas Gregor EmitKeyDataLength(raw_ostream& Out, key_type_ref Key, data_type_ref Data) { 704e1c147c3SJustin Bogner using namespace llvm::support; 705e3f65297SPeter Collingbourne endian::Writer LE(Out, little); 7065e306b12SDouglas Gregor unsigned KeyLen = Key.size(); 7075e306b12SDouglas Gregor unsigned DataLen = Data.size() * 4; 708e1c147c3SJustin Bogner LE.write<uint16_t>(KeyLen); 709e1c147c3SJustin Bogner LE.write<uint16_t>(DataLen); 7105e306b12SDouglas Gregor return std::make_pair(KeyLen, DataLen); 7115e306b12SDouglas Gregor } 7125e306b12SDouglas Gregor 7135e306b12SDouglas Gregor void EmitKey(raw_ostream& Out, key_type_ref Key, unsigned KeyLen) { 7145e306b12SDouglas Gregor Out.write(Key.data(), KeyLen); 7155e306b12SDouglas Gregor } 7165e306b12SDouglas Gregor 7175e306b12SDouglas Gregor void EmitData(raw_ostream& Out, key_type_ref Key, data_type_ref Data, 7185e306b12SDouglas Gregor unsigned DataLen) { 719e1c147c3SJustin Bogner using namespace llvm::support; 7205e306b12SDouglas Gregor for (unsigned I = 0, N = Data.size(); I != N; ++I) 721e3f65297SPeter Collingbourne endian::write<uint32_t>(Out, Data[I], little); 7225e306b12SDouglas Gregor } 7235e306b12SDouglas Gregor }; 7245e306b12SDouglas Gregor 725ab9db510SAlexander Kornienko } 7265e306b12SDouglas Gregor 72760fa2888SDuncan P. N. Exon Smith bool GlobalModuleIndexBuilder::writeIndex(llvm::BitstreamWriter &Stream) { 72860fa2888SDuncan P. N. Exon Smith for (auto MapEntry : ImportedModuleFiles) { 72960fa2888SDuncan P. N. Exon Smith auto *File = MapEntry.first; 73060fa2888SDuncan P. N. Exon Smith ImportedModuleFileInfo &Info = MapEntry.second; 73160fa2888SDuncan P. N. Exon Smith if (getModuleFileInfo(File).Signature) { 73260fa2888SDuncan P. N. Exon Smith if (getModuleFileInfo(File).Signature != Info.StoredSignature) 73360fa2888SDuncan P. N. Exon Smith // Verify Signature. 73460fa2888SDuncan P. N. Exon Smith return true; 73560fa2888SDuncan P. N. Exon Smith } else if (Info.StoredSize != File->getSize() || 73660fa2888SDuncan P. N. Exon Smith Info.StoredModTime != File->getModificationTime()) 73760fa2888SDuncan P. N. Exon Smith // Verify Size and ModTime. 73860fa2888SDuncan P. N. Exon Smith return true; 73960fa2888SDuncan P. N. Exon Smith } 74060fa2888SDuncan P. N. Exon Smith 7415e306b12SDouglas Gregor using namespace llvm; 7425e306b12SDouglas Gregor 7435e306b12SDouglas Gregor // Emit the file header. 7445e306b12SDouglas Gregor Stream.Emit((unsigned)'B', 8); 7455e306b12SDouglas Gregor Stream.Emit((unsigned)'C', 8); 7465e306b12SDouglas Gregor Stream.Emit((unsigned)'G', 8); 7475e306b12SDouglas Gregor Stream.Emit((unsigned)'I', 8); 7485e306b12SDouglas Gregor 7495e306b12SDouglas Gregor // Write the block-info block, which describes the records in this bitcode 7505e306b12SDouglas Gregor // file. 7515e306b12SDouglas Gregor emitBlockInfoBlock(Stream); 7525e306b12SDouglas Gregor 7535e306b12SDouglas Gregor Stream.EnterSubblock(GLOBAL_INDEX_BLOCK_ID, 3); 7545e306b12SDouglas Gregor 7555e306b12SDouglas Gregor // Write the metadata. 7565e306b12SDouglas Gregor SmallVector<uint64_t, 2> Record; 7575e306b12SDouglas Gregor Record.push_back(CurrentVersion); 758e060e57bSDouglas Gregor Stream.EmitRecord(INDEX_METADATA, Record); 7595e306b12SDouglas Gregor 7605e306b12SDouglas Gregor // Write the set of known module files. 7615e306b12SDouglas Gregor for (ModuleFilesMap::iterator M = ModuleFiles.begin(), 7625e306b12SDouglas Gregor MEnd = ModuleFiles.end(); 7635e306b12SDouglas Gregor M != MEnd; ++M) { 7645e306b12SDouglas Gregor Record.clear(); 7655e306b12SDouglas Gregor Record.push_back(M->second.ID); 7665e306b12SDouglas Gregor Record.push_back(M->first->getSize()); 7675e306b12SDouglas Gregor Record.push_back(M->first->getModificationTime()); 7685e306b12SDouglas Gregor 7695e306b12SDouglas Gregor // File name 7705e306b12SDouglas Gregor StringRef Name(M->first->getName()); 7715e306b12SDouglas Gregor Record.push_back(Name.size()); 7725e306b12SDouglas Gregor Record.append(Name.begin(), Name.end()); 7735e306b12SDouglas Gregor 7745e306b12SDouglas Gregor // Dependencies 7755e306b12SDouglas Gregor Record.push_back(M->second.Dependencies.size()); 7765e306b12SDouglas Gregor Record.append(M->second.Dependencies.begin(), M->second.Dependencies.end()); 7775e306b12SDouglas Gregor Stream.EmitRecord(MODULE, Record); 7785e306b12SDouglas Gregor } 7795e306b12SDouglas Gregor 7805e306b12SDouglas Gregor // Write the identifier -> module file mapping. 7815e306b12SDouglas Gregor { 782bb094f06SJustin Bogner llvm::OnDiskChainedHashTableGenerator<IdentifierIndexWriterTrait> Generator; 7835e306b12SDouglas Gregor IdentifierIndexWriterTrait Trait; 7845e306b12SDouglas Gregor 7855e306b12SDouglas Gregor // Populate the hash table. 7865e306b12SDouglas Gregor for (InterestingIdentifierMap::iterator I = InterestingIdentifiers.begin(), 7875e306b12SDouglas Gregor IEnd = InterestingIdentifiers.end(); 7885e306b12SDouglas Gregor I != IEnd; ++I) { 7895e306b12SDouglas Gregor Generator.insert(I->first(), I->second, Trait); 7905e306b12SDouglas Gregor } 7915e306b12SDouglas Gregor 7925e306b12SDouglas Gregor // Create the on-disk hash table in a buffer. 7935e306b12SDouglas Gregor SmallString<4096> IdentifierTable; 7945e306b12SDouglas Gregor uint32_t BucketOffset; 7955e306b12SDouglas Gregor { 796e1c147c3SJustin Bogner using namespace llvm::support; 7975e306b12SDouglas Gregor llvm::raw_svector_ostream Out(IdentifierTable); 7985e306b12SDouglas Gregor // Make sure that no bucket is at offset 0 799e3f65297SPeter Collingbourne endian::write<uint32_t>(Out, 0, little); 8005e306b12SDouglas Gregor BucketOffset = Generator.Emit(Out, Trait); 8015e306b12SDouglas Gregor } 8025e306b12SDouglas Gregor 8035e306b12SDouglas Gregor // Create a blob abbreviation 804b44f0bfbSDavid Blaikie auto Abbrev = std::make_shared<BitCodeAbbrev>(); 8055e306b12SDouglas Gregor Abbrev->Add(BitCodeAbbrevOp(IDENTIFIER_INDEX)); 8065e306b12SDouglas Gregor Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 32)); 8075e306b12SDouglas Gregor Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Blob)); 808b44f0bfbSDavid Blaikie unsigned IDTableAbbrev = Stream.EmitAbbrev(std::move(Abbrev)); 8095e306b12SDouglas Gregor 8105e306b12SDouglas Gregor // Write the identifier table 81157a41913SMehdi Amini uint64_t Record[] = {IDENTIFIER_INDEX, BucketOffset}; 81292e1b62dSYaron Keren Stream.EmitRecordWithBlob(IDTableAbbrev, Record, IdentifierTable); 8135e306b12SDouglas Gregor } 8145e306b12SDouglas Gregor 8155e306b12SDouglas Gregor Stream.ExitBlock(); 81660fa2888SDuncan P. N. Exon Smith return false; 8175e306b12SDouglas Gregor } 8185e306b12SDouglas Gregor 8195e306b12SDouglas Gregor GlobalModuleIndex::ErrorCode 820bb165fb0SAdrian Prantl GlobalModuleIndex::writeIndex(FileManager &FileMgr, 821fb2398d0SAdrian Prantl const PCHContainerReader &PCHContainerRdr, 822bb165fb0SAdrian Prantl StringRef Path) { 8235e306b12SDouglas Gregor llvm::SmallString<128> IndexPath; 8245e306b12SDouglas Gregor IndexPath += Path; 8255e306b12SDouglas Gregor llvm::sys::path::append(IndexPath, IndexFileName); 8265e306b12SDouglas Gregor 8275e306b12SDouglas Gregor // Coordinate building the global index file with other processes that might 8285e306b12SDouglas Gregor // try to do the same. 8295e306b12SDouglas Gregor llvm::LockFileManager Locked(IndexPath); 8305e306b12SDouglas Gregor switch (Locked) { 8315e306b12SDouglas Gregor case llvm::LockFileManager::LFS_Error: 8325e306b12SDouglas Gregor return EC_IOError; 8335e306b12SDouglas Gregor 8345e306b12SDouglas Gregor case llvm::LockFileManager::LFS_Owned: 8355e306b12SDouglas Gregor // We're responsible for building the index ourselves. Do so below. 8365e306b12SDouglas Gregor break; 8375e306b12SDouglas Gregor 8385e306b12SDouglas Gregor case llvm::LockFileManager::LFS_Shared: 8395e306b12SDouglas Gregor // Someone else is responsible for building the index. We don't care 8405e306b12SDouglas Gregor // when they finish, so we're done. 8415e306b12SDouglas Gregor return EC_Building; 8425e306b12SDouglas Gregor } 8435e306b12SDouglas Gregor 8445e306b12SDouglas Gregor // The module index builder. 845fb2398d0SAdrian Prantl GlobalModuleIndexBuilder Builder(FileMgr, PCHContainerRdr); 8465e306b12SDouglas Gregor 8475e306b12SDouglas Gregor // Load each of the module files. 848c080917eSRafael Espindola std::error_code EC; 8495e306b12SDouglas Gregor for (llvm::sys::fs::directory_iterator D(Path, EC), DEnd; 8505e306b12SDouglas Gregor D != DEnd && !EC; 8515e306b12SDouglas Gregor D.increment(EC)) { 8525e306b12SDouglas Gregor // If this isn't a module file, we don't care. 8535e306b12SDouglas Gregor if (llvm::sys::path::extension(D->path()) != ".pcm") { 8545e306b12SDouglas Gregor // ... unless it's a .pcm.lock file, which indicates that someone is 8555e306b12SDouglas Gregor // in the process of rebuilding a module. They'll rebuild the index 8565e306b12SDouglas Gregor // at the end of that translation unit, so we don't have to. 8575e306b12SDouglas Gregor if (llvm::sys::path::extension(D->path()) == ".pcm.lock") 8585e306b12SDouglas Gregor return EC_Building; 8595e306b12SDouglas Gregor 8605e306b12SDouglas Gregor continue; 8615e306b12SDouglas Gregor } 8625e306b12SDouglas Gregor 8635e306b12SDouglas Gregor // If we can't find the module file, skip it. 8645e306b12SDouglas Gregor const FileEntry *ModuleFile = FileMgr.getFile(D->path()); 8655e306b12SDouglas Gregor if (!ModuleFile) 8665e306b12SDouglas Gregor continue; 8675e306b12SDouglas Gregor 8685e306b12SDouglas Gregor // Load this module file. 8695e306b12SDouglas Gregor if (Builder.loadModuleFile(ModuleFile)) 8705e306b12SDouglas Gregor return EC_IOError; 8715e306b12SDouglas Gregor } 8725e306b12SDouglas Gregor 8735e306b12SDouglas Gregor // The output buffer, into which the global index will be written. 8745e306b12SDouglas Gregor SmallVector<char, 16> OutputBuffer; 8755e306b12SDouglas Gregor { 8765e306b12SDouglas Gregor llvm::BitstreamWriter OutputStream(OutputBuffer); 87760fa2888SDuncan P. N. Exon Smith if (Builder.writeIndex(OutputStream)) 87860fa2888SDuncan P. N. Exon Smith return EC_IOError; 8795e306b12SDouglas Gregor } 8805e306b12SDouglas Gregor 8815e306b12SDouglas Gregor // Write the global index file to a temporary file. 8825e306b12SDouglas Gregor llvm::SmallString<128> IndexTmpPath; 8835e306b12SDouglas Gregor int TmpFD; 88418627115SRafael Espindola if (llvm::sys::fs::createUniqueFile(IndexPath + "-%%%%%%%%", TmpFD, 88518627115SRafael Espindola IndexTmpPath)) 8865e306b12SDouglas Gregor return EC_IOError; 8875e306b12SDouglas Gregor 8885e306b12SDouglas Gregor // Open the temporary global index file for output. 889e00c9868SNAKAMURA Takumi llvm::raw_fd_ostream Out(TmpFD, true); 8905e306b12SDouglas Gregor if (Out.has_error()) 8915e306b12SDouglas Gregor return EC_IOError; 8925e306b12SDouglas Gregor 8935e306b12SDouglas Gregor // Write the index. 8945e306b12SDouglas Gregor Out.write(OutputBuffer.data(), OutputBuffer.size()); 8955e306b12SDouglas Gregor Out.close(); 8965e306b12SDouglas Gregor if (Out.has_error()) 8975e306b12SDouglas Gregor return EC_IOError; 8985e306b12SDouglas Gregor 8995e306b12SDouglas Gregor // Remove the old index file. It isn't relevant any more. 90092e1b62dSYaron Keren llvm::sys::fs::remove(IndexPath); 9015e306b12SDouglas Gregor 9025e306b12SDouglas Gregor // Rename the newly-written index file to the proper name. 90392e1b62dSYaron Keren if (llvm::sys::fs::rename(IndexTmpPath, IndexPath)) { 9045e306b12SDouglas Gregor // Rename failed; just remove the 90592e1b62dSYaron Keren llvm::sys::fs::remove(IndexTmpPath); 9065e306b12SDouglas Gregor return EC_IOError; 9075e306b12SDouglas Gregor } 9085e306b12SDouglas Gregor 9095e306b12SDouglas Gregor // We're done. 9105e306b12SDouglas Gregor return EC_None; 9115e306b12SDouglas Gregor } 9129aca3c61SArgyrios Kyrtzidis 9139aca3c61SArgyrios Kyrtzidis namespace { 9149aca3c61SArgyrios Kyrtzidis class GlobalIndexIdentifierIterator : public IdentifierIterator { 9159fc8faf9SAdrian Prantl /// The current position within the identifier lookup table. 9169aca3c61SArgyrios Kyrtzidis IdentifierIndexTable::key_iterator Current; 9179aca3c61SArgyrios Kyrtzidis 9189fc8faf9SAdrian Prantl /// The end position within the identifier lookup table. 9199aca3c61SArgyrios Kyrtzidis IdentifierIndexTable::key_iterator End; 9209aca3c61SArgyrios Kyrtzidis 9219aca3c61SArgyrios Kyrtzidis public: 9229aca3c61SArgyrios Kyrtzidis explicit GlobalIndexIdentifierIterator(IdentifierIndexTable &Idx) { 9239aca3c61SArgyrios Kyrtzidis Current = Idx.key_begin(); 9249aca3c61SArgyrios Kyrtzidis End = Idx.key_end(); 9259aca3c61SArgyrios Kyrtzidis } 9269aca3c61SArgyrios Kyrtzidis 9273e89dfeeSCraig Topper StringRef Next() override { 9289aca3c61SArgyrios Kyrtzidis if (Current == End) 9299aca3c61SArgyrios Kyrtzidis return StringRef(); 9309aca3c61SArgyrios Kyrtzidis 9319aca3c61SArgyrios Kyrtzidis StringRef Result = *Current; 9329aca3c61SArgyrios Kyrtzidis ++Current; 9339aca3c61SArgyrios Kyrtzidis return Result; 9349aca3c61SArgyrios Kyrtzidis } 9359aca3c61SArgyrios Kyrtzidis }; 936ab9db510SAlexander Kornienko } 9379aca3c61SArgyrios Kyrtzidis 9389aca3c61SArgyrios Kyrtzidis IdentifierIterator *GlobalModuleIndex::createIdentifierIterator() const { 9399aca3c61SArgyrios Kyrtzidis IdentifierIndexTable &Table = 9409aca3c61SArgyrios Kyrtzidis *static_cast<IdentifierIndexTable *>(IdentifierIndex); 9419aca3c61SArgyrios Kyrtzidis return new GlobalIndexIdentifierIterator(Table); 9429aca3c61SArgyrios Kyrtzidis } 943