GlobalModuleIndex.cpp 27 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888
  1. //===--- GlobalModuleIndex.cpp - Global Module Index ------------*- C++ -*-===//
  2. //
  3. // The LLVM Compiler Infrastructure
  4. //
  5. // This file is distributed under the University of Illinois Open Source
  6. // License. See LICENSE.TXT for details.
  7. //
  8. //===----------------------------------------------------------------------===//
  9. //
  10. // This file implements the GlobalModuleIndex class.
  11. //
  12. //===----------------------------------------------------------------------===//
  13. #include "ASTReaderInternals.h"
  14. #include "clang/Frontend/PCHContainerOperations.h"
  15. #include "clang/Basic/FileManager.h"
  16. #include "clang/Lex/HeaderSearch.h"
  17. #include "clang/Serialization/ASTBitCodes.h"
  18. #include "clang/Serialization/GlobalModuleIndex.h"
  19. #include "clang/Serialization/Module.h"
  20. #include "llvm/ADT/DenseMap.h"
  21. #include "llvm/ADT/MapVector.h"
  22. #include "llvm/ADT/SmallString.h"
  23. #include "llvm/ADT/StringExtras.h"
  24. #include "llvm/Bitcode/BitstreamReader.h"
  25. #include "llvm/Bitcode/BitstreamWriter.h"
  26. #include "llvm/Support/FileSystem.h"
  27. #include "llvm/Support/LockFileManager.h"
  28. #include "llvm/Support/MemoryBuffer.h"
  29. #include "llvm/Support/OnDiskHashTable.h"
  30. #include "llvm/Support/Path.h"
  31. #include <cstdio>
  32. using namespace clang;
  33. using namespace serialization;
  34. //----------------------------------------------------------------------------//
  35. // Shared constants
  36. //----------------------------------------------------------------------------//
  37. namespace {
  38. enum {
  39. /// \brief The block containing the index.
  40. GLOBAL_INDEX_BLOCK_ID = llvm::bitc::FIRST_APPLICATION_BLOCKID
  41. };
  42. /// \brief Describes the record types in the index.
  43. enum IndexRecordTypes {
  44. /// \brief Contains version information and potentially other metadata,
  45. /// used to determine if we can read this global index file.
  46. INDEX_METADATA,
  47. /// \brief Describes a module, including its file name and dependencies.
  48. MODULE,
  49. /// \brief The index for identifiers.
  50. IDENTIFIER_INDEX
  51. };
  52. }
  53. /// \brief The name of the global index file.
  54. static const char * const IndexFileName = "modules.idx";
  55. /// \brief The global index file version.
  56. static const unsigned CurrentVersion = 1;
  57. //----------------------------------------------------------------------------//
  58. // Global module index reader.
  59. //----------------------------------------------------------------------------//
  60. namespace {
  61. /// \brief Trait used to read the identifier index from the on-disk hash
  62. /// table.
  63. class IdentifierIndexReaderTrait {
  64. public:
  65. typedef StringRef external_key_type;
  66. typedef StringRef internal_key_type;
  67. typedef SmallVector<unsigned, 2> data_type;
  68. typedef unsigned hash_value_type;
  69. typedef unsigned offset_type;
  70. static bool EqualKey(const internal_key_type& a, const internal_key_type& b) {
  71. return a == b;
  72. }
  73. static hash_value_type ComputeHash(const internal_key_type& a) {
  74. return llvm::HashString(a);
  75. }
  76. static std::pair<unsigned, unsigned>
  77. ReadKeyDataLength(const unsigned char*& d) {
  78. using namespace llvm::support;
  79. unsigned KeyLen = endian::readNext<uint16_t, little, unaligned>(d);
  80. unsigned DataLen = endian::readNext<uint16_t, little, unaligned>(d);
  81. return std::make_pair(KeyLen, DataLen);
  82. }
  83. static const internal_key_type&
  84. GetInternalKey(const external_key_type& x) { return x; }
  85. static const external_key_type&
  86. GetExternalKey(const internal_key_type& x) { return x; }
  87. static internal_key_type ReadKey(const unsigned char* d, unsigned n) {
  88. return StringRef((const char *)d, n);
  89. }
  90. static data_type ReadData(const internal_key_type& k,
  91. const unsigned char* d,
  92. unsigned DataLen) {
  93. using namespace llvm::support;
  94. data_type Result;
  95. while (DataLen > 0) {
  96. unsigned ID = endian::readNext<uint32_t, little, unaligned>(d);
  97. Result.push_back(ID);
  98. DataLen -= 4;
  99. }
  100. return Result;
  101. }
  102. };
  103. typedef llvm::OnDiskIterableChainedHashTable<IdentifierIndexReaderTrait>
  104. IdentifierIndexTable;
  105. }
  106. GlobalModuleIndex::GlobalModuleIndex(std::unique_ptr<llvm::MemoryBuffer> Buffer,
  107. llvm::BitstreamCursor Cursor)
  108. : Buffer(std::move(Buffer)), IdentifierIndex(), NumIdentifierLookups(),
  109. NumIdentifierLookupHits() {
  110. // Read the global index.
  111. bool InGlobalIndexBlock = false;
  112. bool Done = false;
  113. while (!Done) {
  114. llvm::BitstreamEntry Entry = Cursor.advance();
  115. switch (Entry.Kind) {
  116. case llvm::BitstreamEntry::Error:
  117. return;
  118. case llvm::BitstreamEntry::EndBlock:
  119. if (InGlobalIndexBlock) {
  120. InGlobalIndexBlock = false;
  121. Done = true;
  122. continue;
  123. }
  124. return;
  125. case llvm::BitstreamEntry::Record:
  126. // Entries in the global index block are handled below.
  127. if (InGlobalIndexBlock)
  128. break;
  129. return;
  130. case llvm::BitstreamEntry::SubBlock:
  131. if (!InGlobalIndexBlock && Entry.ID == GLOBAL_INDEX_BLOCK_ID) {
  132. if (Cursor.EnterSubBlock(GLOBAL_INDEX_BLOCK_ID))
  133. return;
  134. InGlobalIndexBlock = true;
  135. } else if (Cursor.SkipBlock()) {
  136. return;
  137. }
  138. continue;
  139. }
  140. SmallVector<uint64_t, 64> Record;
  141. StringRef Blob;
  142. switch ((IndexRecordTypes)Cursor.readRecord(Entry.ID, Record, &Blob)) {
  143. case INDEX_METADATA:
  144. // Make sure that the version matches.
  145. if (Record.size() < 1 || Record[0] != CurrentVersion)
  146. return;
  147. break;
  148. case MODULE: {
  149. unsigned Idx = 0;
  150. unsigned ID = Record[Idx++];
  151. // Make room for this module's information.
  152. if (ID == Modules.size())
  153. Modules.push_back(ModuleInfo());
  154. else
  155. Modules.resize(ID + 1);
  156. // Size/modification time for this module file at the time the
  157. // global index was built.
  158. Modules[ID].Size = Record[Idx++];
  159. Modules[ID].ModTime = Record[Idx++];
  160. // File name.
  161. unsigned NameLen = Record[Idx++];
  162. Modules[ID].FileName.assign(Record.begin() + Idx,
  163. Record.begin() + Idx + NameLen);
  164. Idx += NameLen;
  165. // Dependencies
  166. unsigned NumDeps = Record[Idx++];
  167. Modules[ID].Dependencies.insert(Modules[ID].Dependencies.end(),
  168. Record.begin() + Idx,
  169. Record.begin() + Idx + NumDeps);
  170. Idx += NumDeps;
  171. // Make sure we're at the end of the record.
  172. assert(Idx == Record.size() && "More module info?");
  173. // Record this module as an unresolved module.
  174. // FIXME: this doesn't work correctly for module names containing path
  175. // separators.
  176. StringRef ModuleName = llvm::sys::path::stem(Modules[ID].FileName);
  177. // Remove the -<hash of ModuleMapPath>
  178. ModuleName = ModuleName.rsplit('-').first;
  179. UnresolvedModules[ModuleName] = ID;
  180. break;
  181. }
  182. case IDENTIFIER_INDEX:
  183. // Wire up the identifier index.
  184. if (Record[0]) {
  185. IdentifierIndex = IdentifierIndexTable::Create(
  186. (const unsigned char *)Blob.data() + Record[0],
  187. (const unsigned char *)Blob.data() + sizeof(uint32_t),
  188. (const unsigned char *)Blob.data(), IdentifierIndexReaderTrait());
  189. }
  190. break;
  191. }
  192. }
  193. }
  194. GlobalModuleIndex::~GlobalModuleIndex() {
  195. delete static_cast<IdentifierIndexTable *>(IdentifierIndex);
  196. }
  197. std::pair<GlobalModuleIndex *, GlobalModuleIndex::ErrorCode>
  198. GlobalModuleIndex::readIndex(StringRef Path) {
  199. // Load the index file, if it's there.
  200. llvm::SmallString<128> IndexPath;
  201. IndexPath += Path;
  202. llvm::sys::path::append(IndexPath, IndexFileName);
  203. llvm::ErrorOr<std::unique_ptr<llvm::MemoryBuffer>> BufferOrErr =
  204. llvm::MemoryBuffer::getFile(IndexPath.c_str());
  205. if (!BufferOrErr)
  206. return std::make_pair(nullptr, EC_NotFound);
  207. std::unique_ptr<llvm::MemoryBuffer> Buffer = std::move(BufferOrErr.get());
  208. /// \brief The bitstream reader from which we'll read the AST file.
  209. llvm::BitstreamReader Reader(*Buffer);
  210. /// \brief The main bitstream cursor for the main block.
  211. llvm::BitstreamCursor Cursor(Reader);
  212. // Sniff for the signature.
  213. if (Cursor.Read(8) != 'B' ||
  214. Cursor.Read(8) != 'C' ||
  215. Cursor.Read(8) != 'G' ||
  216. Cursor.Read(8) != 'I') {
  217. return std::make_pair(nullptr, EC_IOError);
  218. }
  219. return std::make_pair(new GlobalModuleIndex(std::move(Buffer), Cursor),
  220. EC_None);
  221. }
  222. void
  223. GlobalModuleIndex::getKnownModules(SmallVectorImpl<ModuleFile *> &ModuleFiles) {
  224. ModuleFiles.clear();
  225. for (unsigned I = 0, N = Modules.size(); I != N; ++I) {
  226. if (ModuleFile *MF = Modules[I].File)
  227. ModuleFiles.push_back(MF);
  228. }
  229. }
  230. void GlobalModuleIndex::getModuleDependencies(
  231. ModuleFile *File,
  232. SmallVectorImpl<ModuleFile *> &Dependencies) {
  233. // Look for information about this module file.
  234. llvm::DenseMap<ModuleFile *, unsigned>::iterator Known
  235. = ModulesByFile.find(File);
  236. if (Known == ModulesByFile.end())
  237. return;
  238. // Record dependencies.
  239. Dependencies.clear();
  240. ArrayRef<unsigned> StoredDependencies = Modules[Known->second].Dependencies;
  241. for (unsigned I = 0, N = StoredDependencies.size(); I != N; ++I) {
  242. if (ModuleFile *MF = Modules[I].File)
  243. Dependencies.push_back(MF);
  244. }
  245. }
  246. bool GlobalModuleIndex::lookupIdentifier(StringRef Name, HitSet &Hits) {
  247. Hits.clear();
  248. // If there's no identifier index, there is nothing we can do.
  249. if (!IdentifierIndex)
  250. return false;
  251. // Look into the identifier index.
  252. ++NumIdentifierLookups;
  253. IdentifierIndexTable &Table
  254. = *static_cast<IdentifierIndexTable *>(IdentifierIndex);
  255. IdentifierIndexTable::iterator Known = Table.find(Name);
  256. if (Known == Table.end()) {
  257. return true;
  258. }
  259. SmallVector<unsigned, 2> ModuleIDs = *Known;
  260. for (unsigned I = 0, N = ModuleIDs.size(); I != N; ++I) {
  261. if (ModuleFile *MF = Modules[ModuleIDs[I]].File)
  262. Hits.insert(MF);
  263. }
  264. ++NumIdentifierLookupHits;
  265. return true;
  266. }
  267. bool GlobalModuleIndex::loadedModuleFile(ModuleFile *File) {
  268. // Look for the module in the global module index based on the module name.
  269. StringRef Name = File->ModuleName;
  270. llvm::StringMap<unsigned>::iterator Known = UnresolvedModules.find(Name);
  271. if (Known == UnresolvedModules.end()) {
  272. return true;
  273. }
  274. // Rectify this module with the global module index.
  275. ModuleInfo &Info = Modules[Known->second];
  276. // If the size and modification time match what we expected, record this
  277. // module file.
  278. bool Failed = true;
  279. if (File->File->getSize() == Info.Size &&
  280. File->File->getModificationTime() == Info.ModTime) {
  281. Info.File = File;
  282. ModulesByFile[File] = Known->second;
  283. Failed = false;
  284. }
  285. // One way or another, we have resolved this module file.
  286. UnresolvedModules.erase(Known);
  287. return Failed;
  288. }
  289. void GlobalModuleIndex::printStats() {
  290. std::fprintf(stderr, "*** Global Module Index Statistics:\n");
  291. if (NumIdentifierLookups) {
  292. fprintf(stderr, " %u / %u identifier lookups succeeded (%f%%)\n",
  293. NumIdentifierLookupHits, NumIdentifierLookups,
  294. (double)NumIdentifierLookupHits*100.0/NumIdentifierLookups);
  295. }
  296. std::fprintf(stderr, "\n");
  297. }
  298. LLVM_DUMP_METHOD void GlobalModuleIndex::dump() {
  299. llvm::errs() << "*** Global Module Index Dump:\n";
  300. llvm::errs() << "Module files:\n";
  301. for (auto &MI : Modules) {
  302. llvm::errs() << "** " << MI.FileName << "\n";
  303. if (MI.File)
  304. MI.File->dump();
  305. else
  306. llvm::errs() << "\n";
  307. }
  308. llvm::errs() << "\n";
  309. }
  310. //----------------------------------------------------------------------------//
  311. // Global module index writer.
  312. //----------------------------------------------------------------------------//
  313. namespace {
  314. /// \brief Provides information about a specific module file.
  315. struct ModuleFileInfo {
  316. /// \brief The numberic ID for this module file.
  317. unsigned ID;
  318. /// \brief The set of modules on which this module depends. Each entry is
  319. /// a module ID.
  320. SmallVector<unsigned, 4> Dependencies;
  321. };
  322. /// \brief Builder that generates the global module index file.
  323. class GlobalModuleIndexBuilder {
  324. FileManager &FileMgr;
  325. const PCHContainerReader &PCHContainerRdr;
  326. /// \brief Mapping from files to module file information.
  327. typedef llvm::MapVector<const FileEntry *, ModuleFileInfo> ModuleFilesMap;
  328. /// \brief Information about each of the known module files.
  329. ModuleFilesMap ModuleFiles;
  330. /// \brief Mapping from identifiers to the list of module file IDs that
  331. /// consider this identifier to be interesting.
  332. typedef llvm::StringMap<SmallVector<unsigned, 2> > InterestingIdentifierMap;
  333. /// \brief A mapping from all interesting identifiers to the set of module
  334. /// files in which those identifiers are considered interesting.
  335. InterestingIdentifierMap InterestingIdentifiers;
  336. /// \brief Write the block-info block for the global module index file.
  337. void emitBlockInfoBlock(llvm::BitstreamWriter &Stream);
  338. /// \brief Retrieve the module file information for the given file.
  339. ModuleFileInfo &getModuleFileInfo(const FileEntry *File) {
  340. llvm::MapVector<const FileEntry *, ModuleFileInfo>::iterator Known
  341. = ModuleFiles.find(File);
  342. if (Known != ModuleFiles.end())
  343. return Known->second;
  344. unsigned NewID = ModuleFiles.size();
  345. ModuleFileInfo &Info = ModuleFiles[File];
  346. Info.ID = NewID;
  347. return Info;
  348. }
  349. public:
  350. explicit GlobalModuleIndexBuilder(
  351. FileManager &FileMgr, const PCHContainerReader &PCHContainerRdr)
  352. : FileMgr(FileMgr), PCHContainerRdr(PCHContainerRdr) {}
  353. /// \brief Load the contents of the given module file into the builder.
  354. ///
  355. /// \returns true if an error occurred, false otherwise.
  356. bool loadModuleFile(const FileEntry *File);
  357. /// \brief Write the index to the given bitstream.
  358. void writeIndex(llvm::BitstreamWriter &Stream);
  359. };
  360. }
  361. static void emitBlockID(unsigned ID, const char *Name,
  362. llvm::BitstreamWriter &Stream,
  363. SmallVectorImpl<uint64_t> &Record) {
  364. Record.clear();
  365. Record.push_back(ID);
  366. Stream.EmitRecord(llvm::bitc::BLOCKINFO_CODE_SETBID, Record);
  367. // Emit the block name if present.
  368. if (!Name || Name[0] == 0) return;
  369. Record.clear();
  370. while (*Name)
  371. Record.push_back(*Name++);
  372. Stream.EmitRecord(llvm::bitc::BLOCKINFO_CODE_BLOCKNAME, Record);
  373. }
  374. static void emitRecordID(unsigned ID, const char *Name,
  375. llvm::BitstreamWriter &Stream,
  376. SmallVectorImpl<uint64_t> &Record) {
  377. Record.clear();
  378. Record.push_back(ID);
  379. while (*Name)
  380. Record.push_back(*Name++);
  381. Stream.EmitRecord(llvm::bitc::BLOCKINFO_CODE_SETRECORDNAME, Record);
  382. }
  383. void
  384. GlobalModuleIndexBuilder::emitBlockInfoBlock(llvm::BitstreamWriter &Stream) {
  385. SmallVector<uint64_t, 64> Record;
  386. Stream.EnterBlockInfoBlock();
  387. #define BLOCK(X) emitBlockID(X ## _ID, #X, Stream, Record)
  388. #define RECORD(X) emitRecordID(X, #X, Stream, Record)
  389. BLOCK(GLOBAL_INDEX_BLOCK);
  390. RECORD(INDEX_METADATA);
  391. RECORD(MODULE);
  392. RECORD(IDENTIFIER_INDEX);
  393. #undef RECORD
  394. #undef BLOCK
  395. Stream.ExitBlock();
  396. }
  397. namespace {
  398. class InterestingASTIdentifierLookupTrait
  399. : public serialization::reader::ASTIdentifierLookupTraitBase {
  400. public:
  401. /// \brief The identifier and whether it is "interesting".
  402. typedef std::pair<StringRef, bool> data_type;
  403. data_type ReadData(const internal_key_type& k,
  404. const unsigned char* d,
  405. unsigned DataLen) {
  406. // The first bit indicates whether this identifier is interesting.
  407. // That's all we care about.
  408. using namespace llvm::support;
  409. unsigned RawID = endian::readNext<uint32_t, little, unaligned>(d);
  410. bool IsInteresting = RawID & 0x01;
  411. return std::make_pair(k, IsInteresting);
  412. }
  413. };
  414. }
  415. bool GlobalModuleIndexBuilder::loadModuleFile(const FileEntry *File) {
  416. // Open the module file.
  417. auto Buffer = FileMgr.getBufferForFile(File, /*isVolatile=*/true);
  418. if (!Buffer) {
  419. return true;
  420. }
  421. // Initialize the input stream
  422. llvm::BitstreamReader InStreamFile;
  423. PCHContainerRdr.ExtractPCH((*Buffer)->getMemBufferRef(), InStreamFile);
  424. llvm::BitstreamCursor InStream(InStreamFile);
  425. // Sniff for the signature.
  426. if (InStream.Read(8) != 'C' ||
  427. InStream.Read(8) != 'P' ||
  428. InStream.Read(8) != 'C' ||
  429. InStream.Read(8) != 'H') {
  430. return true;
  431. }
  432. // Record this module file and assign it a unique ID (if it doesn't have
  433. // one already).
  434. unsigned ID = getModuleFileInfo(File).ID;
  435. // Search for the blocks and records we care about.
  436. enum { Other, ControlBlock, ASTBlock } State = Other;
  437. bool Done = false;
  438. while (!Done) {
  439. llvm::BitstreamEntry Entry = InStream.advance();
  440. switch (Entry.Kind) {
  441. case llvm::BitstreamEntry::Error:
  442. Done = true;
  443. continue;
  444. case llvm::BitstreamEntry::Record:
  445. // In the 'other' state, just skip the record. We don't care.
  446. if (State == Other) {
  447. InStream.skipRecord(Entry.ID);
  448. continue;
  449. }
  450. // Handle potentially-interesting records below.
  451. break;
  452. case llvm::BitstreamEntry::SubBlock:
  453. if (Entry.ID == CONTROL_BLOCK_ID) {
  454. if (InStream.EnterSubBlock(CONTROL_BLOCK_ID))
  455. return true;
  456. // Found the control block.
  457. State = ControlBlock;
  458. continue;
  459. }
  460. if (Entry.ID == AST_BLOCK_ID) {
  461. if (InStream.EnterSubBlock(AST_BLOCK_ID))
  462. return true;
  463. // Found the AST block.
  464. State = ASTBlock;
  465. continue;
  466. }
  467. if (InStream.SkipBlock())
  468. return true;
  469. continue;
  470. case llvm::BitstreamEntry::EndBlock:
  471. State = Other;
  472. continue;
  473. }
  474. // Read the given record.
  475. SmallVector<uint64_t, 64> Record;
  476. StringRef Blob;
  477. unsigned Code = InStream.readRecord(Entry.ID, Record, &Blob);
  478. // Handle module dependencies.
  479. if (State == ControlBlock && Code == IMPORTS) {
  480. // Load each of the imported PCH files.
  481. unsigned Idx = 0, N = Record.size();
  482. while (Idx < N) {
  483. // Read information about the AST file.
  484. // Skip the imported kind
  485. ++Idx;
  486. // Skip the import location
  487. ++Idx;
  488. // Load stored size/modification time.
  489. off_t StoredSize = (off_t)Record[Idx++];
  490. time_t StoredModTime = (time_t)Record[Idx++];
  491. // Skip the stored signature.
  492. // FIXME: we could read the signature out of the import and validate it.
  493. Idx++;
  494. // Retrieve the imported file name.
  495. unsigned Length = Record[Idx++];
  496. SmallString<128> ImportedFile(Record.begin() + Idx,
  497. Record.begin() + Idx + Length);
  498. Idx += Length;
  499. // Find the imported module file.
  500. const FileEntry *DependsOnFile
  501. = FileMgr.getFile(ImportedFile, /*openFile=*/false,
  502. /*cacheFailure=*/false);
  503. if (!DependsOnFile ||
  504. (StoredSize != DependsOnFile->getSize()) ||
  505. (StoredModTime != DependsOnFile->getModificationTime()))
  506. return true;
  507. // Record the dependency.
  508. unsigned DependsOnID = getModuleFileInfo(DependsOnFile).ID;
  509. getModuleFileInfo(File).Dependencies.push_back(DependsOnID);
  510. }
  511. continue;
  512. }
  513. // Handle the identifier table
  514. if (State == ASTBlock && Code == IDENTIFIER_TABLE && Record[0] > 0) {
  515. typedef llvm::OnDiskIterableChainedHashTable<
  516. InterestingASTIdentifierLookupTrait> InterestingIdentifierTable;
  517. std::unique_ptr<InterestingIdentifierTable> Table(
  518. InterestingIdentifierTable::Create(
  519. (const unsigned char *)Blob.data() + Record[0],
  520. (const unsigned char *)Blob.data() + sizeof(uint32_t),
  521. (const unsigned char *)Blob.data()));
  522. for (InterestingIdentifierTable::data_iterator D = Table->data_begin(),
  523. DEnd = Table->data_end();
  524. D != DEnd; ++D) {
  525. std::pair<StringRef, bool> Ident = *D;
  526. if (Ident.second)
  527. InterestingIdentifiers[Ident.first].push_back(ID);
  528. else
  529. (void)InterestingIdentifiers[Ident.first];
  530. }
  531. }
  532. // We don't care about this record.
  533. }
  534. return false;
  535. }
  536. namespace {
  537. /// \brief Trait used to generate the identifier index as an on-disk hash
  538. /// table.
  539. class IdentifierIndexWriterTrait {
  540. public:
  541. typedef StringRef key_type;
  542. typedef StringRef key_type_ref;
  543. typedef SmallVector<unsigned, 2> data_type;
  544. typedef const SmallVector<unsigned, 2> &data_type_ref;
  545. typedef unsigned hash_value_type;
  546. typedef unsigned offset_type;
  547. static hash_value_type ComputeHash(key_type_ref Key) {
  548. return llvm::HashString(Key);
  549. }
  550. std::pair<unsigned,unsigned>
  551. EmitKeyDataLength(raw_ostream& Out, key_type_ref Key, data_type_ref Data) {
  552. using namespace llvm::support;
  553. endian::Writer<little> LE(Out);
  554. unsigned KeyLen = Key.size();
  555. unsigned DataLen = Data.size() * 4;
  556. LE.write<uint16_t>(KeyLen);
  557. LE.write<uint16_t>(DataLen);
  558. return std::make_pair(KeyLen, DataLen);
  559. }
  560. void EmitKey(raw_ostream& Out, key_type_ref Key, unsigned KeyLen) {
  561. Out.write(Key.data(), KeyLen);
  562. }
  563. void EmitData(raw_ostream& Out, key_type_ref Key, data_type_ref Data,
  564. unsigned DataLen) {
  565. using namespace llvm::support;
  566. for (unsigned I = 0, N = Data.size(); I != N; ++I)
  567. endian::Writer<little>(Out).write<uint32_t>(Data[I]);
  568. }
  569. };
  570. }
  571. void GlobalModuleIndexBuilder::writeIndex(llvm::BitstreamWriter &Stream) {
  572. using namespace llvm;
  573. // Emit the file header.
  574. Stream.Emit((unsigned)'B', 8);
  575. Stream.Emit((unsigned)'C', 8);
  576. Stream.Emit((unsigned)'G', 8);
  577. Stream.Emit((unsigned)'I', 8);
  578. // Write the block-info block, which describes the records in this bitcode
  579. // file.
  580. emitBlockInfoBlock(Stream);
  581. Stream.EnterSubblock(GLOBAL_INDEX_BLOCK_ID, 3);
  582. // Write the metadata.
  583. SmallVector<uint64_t, 2> Record;
  584. Record.push_back(CurrentVersion);
  585. Stream.EmitRecord(INDEX_METADATA, Record);
  586. // Write the set of known module files.
  587. for (ModuleFilesMap::iterator M = ModuleFiles.begin(),
  588. MEnd = ModuleFiles.end();
  589. M != MEnd; ++M) {
  590. Record.clear();
  591. Record.push_back(M->second.ID);
  592. Record.push_back(M->first->getSize());
  593. Record.push_back(M->first->getModificationTime());
  594. // File name
  595. StringRef Name(M->first->getName());
  596. Record.push_back(Name.size());
  597. Record.append(Name.begin(), Name.end());
  598. // Dependencies
  599. Record.push_back(M->second.Dependencies.size());
  600. Record.append(M->second.Dependencies.begin(), M->second.Dependencies.end());
  601. Stream.EmitRecord(MODULE, Record);
  602. }
  603. // Write the identifier -> module file mapping.
  604. {
  605. llvm::OnDiskChainedHashTableGenerator<IdentifierIndexWriterTrait> Generator;
  606. IdentifierIndexWriterTrait Trait;
  607. // Populate the hash table.
  608. for (InterestingIdentifierMap::iterator I = InterestingIdentifiers.begin(),
  609. IEnd = InterestingIdentifiers.end();
  610. I != IEnd; ++I) {
  611. Generator.insert(I->first(), I->second, Trait);
  612. }
  613. // Create the on-disk hash table in a buffer.
  614. SmallString<4096> IdentifierTable;
  615. uint32_t BucketOffset;
  616. {
  617. using namespace llvm::support;
  618. llvm::raw_svector_ostream Out(IdentifierTable);
  619. // Make sure that no bucket is at offset 0
  620. endian::Writer<little>(Out).write<uint32_t>(0);
  621. BucketOffset = Generator.Emit(Out, Trait);
  622. }
  623. // Create a blob abbreviation
  624. BitCodeAbbrev *Abbrev = new BitCodeAbbrev();
  625. Abbrev->Add(BitCodeAbbrevOp(IDENTIFIER_INDEX));
  626. Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 32));
  627. Abbrev->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Blob));
  628. unsigned IDTableAbbrev = Stream.EmitAbbrev(Abbrev);
  629. // Write the identifier table
  630. uint64_t Record[] = {IDENTIFIER_INDEX, BucketOffset};
  631. Stream.EmitRecordWithBlob(IDTableAbbrev, Record, IdentifierTable);
  632. }
  633. Stream.ExitBlock();
  634. }
  635. GlobalModuleIndex::ErrorCode
  636. GlobalModuleIndex::writeIndex(FileManager &FileMgr,
  637. const PCHContainerReader &PCHContainerRdr,
  638. StringRef Path) {
  639. llvm::SmallString<128> IndexPath;
  640. IndexPath += Path;
  641. llvm::sys::path::append(IndexPath, IndexFileName);
  642. // Coordinate building the global index file with other processes that might
  643. // try to do the same.
  644. llvm::LockFileManager Locked(IndexPath);
  645. switch (Locked) {
  646. case llvm::LockFileManager::LFS_Error:
  647. return EC_IOError;
  648. case llvm::LockFileManager::LFS_Owned:
  649. // We're responsible for building the index ourselves. Do so below.
  650. break;
  651. case llvm::LockFileManager::LFS_Shared:
  652. // Someone else is responsible for building the index. We don't care
  653. // when they finish, so we're done.
  654. return EC_Building;
  655. }
  656. // The module index builder.
  657. GlobalModuleIndexBuilder Builder(FileMgr, PCHContainerRdr);
  658. // Load each of the module files.
  659. std::error_code EC;
  660. for (llvm::sys::fs::directory_iterator D(Path, EC), DEnd;
  661. D != DEnd && !EC;
  662. D.increment(EC)) {
  663. // If this isn't a module file, we don't care.
  664. if (llvm::sys::path::extension(D->path()) != ".pcm") {
  665. // ... unless it's a .pcm.lock file, which indicates that someone is
  666. // in the process of rebuilding a module. They'll rebuild the index
  667. // at the end of that translation unit, so we don't have to.
  668. if (llvm::sys::path::extension(D->path()) == ".pcm.lock")
  669. return EC_Building;
  670. continue;
  671. }
  672. // If we can't find the module file, skip it.
  673. const FileEntry *ModuleFile = FileMgr.getFile(D->path());
  674. if (!ModuleFile)
  675. continue;
  676. // Load this module file.
  677. if (Builder.loadModuleFile(ModuleFile))
  678. return EC_IOError;
  679. }
  680. // The output buffer, into which the global index will be written.
  681. SmallVector<char, 16> OutputBuffer;
  682. {
  683. llvm::BitstreamWriter OutputStream(OutputBuffer);
  684. Builder.writeIndex(OutputStream);
  685. }
  686. // Write the global index file to a temporary file.
  687. llvm::SmallString<128> IndexTmpPath;
  688. int TmpFD;
  689. if (llvm::sys::fs::createUniqueFile(IndexPath + "-%%%%%%%%", TmpFD,
  690. IndexTmpPath))
  691. return EC_IOError;
  692. // Open the temporary global index file for output.
  693. llvm::raw_fd_ostream Out(TmpFD, true);
  694. if (Out.has_error())
  695. return EC_IOError;
  696. // Write the index.
  697. Out.write(OutputBuffer.data(), OutputBuffer.size());
  698. Out.close();
  699. if (Out.has_error())
  700. return EC_IOError;
  701. // Remove the old index file. It isn't relevant any more.
  702. llvm::sys::fs::remove(IndexPath);
  703. // Rename the newly-written index file to the proper name.
  704. if (llvm::sys::fs::rename(IndexTmpPath, IndexPath)) {
  705. // Rename failed; just remove the
  706. llvm::sys::fs::remove(IndexTmpPath);
  707. return EC_IOError;
  708. }
  709. // We're done.
  710. return EC_None;
  711. }
  712. namespace {
  713. class GlobalIndexIdentifierIterator : public IdentifierIterator {
  714. /// \brief The current position within the identifier lookup table.
  715. IdentifierIndexTable::key_iterator Current;
  716. /// \brief The end position within the identifier lookup table.
  717. IdentifierIndexTable::key_iterator End;
  718. public:
  719. explicit GlobalIndexIdentifierIterator(IdentifierIndexTable &Idx) {
  720. Current = Idx.key_begin();
  721. End = Idx.key_end();
  722. }
  723. StringRef Next() override {
  724. if (Current == End)
  725. return StringRef();
  726. StringRef Result = *Current;
  727. ++Current;
  728. return Result;
  729. }
  730. };
  731. }
  732. IdentifierIterator *GlobalModuleIndex::createIdentifierIterator() const {
  733. IdentifierIndexTable &Table =
  734. *static_cast<IdentifierIndexTable *>(IdentifierIndex);
  735. return new GlobalIndexIdentifierIterator(Table);
  736. }