blob: 1dee4d06986161db24c0ff86c145ad38a07d3ae7 [file] [log] [blame]
Douglas Gregord44252e2011-08-25 20:47:51 +00001//===--- ModuleManager.cpp - Module Manager ---------------------*- 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 defines the ModuleManager class, which manages a set of loaded
11// modules for the ASTReader.
12//
13//===----------------------------------------------------------------------===//
Mehdi Amini9670f842016-07-18 19:02:11 +000014#include "clang/Serialization/ModuleManager.h"
Duncan P. N. Exon Smith030d7d62017-03-20 17:58:26 +000015#include "clang/Basic/MemoryBufferCache.h"
Adrian Prantlbb165fb2015-06-20 18:53:08 +000016#include "clang/Frontend/PCHContainerOperations.h"
Ben Langmuirbeee15e2014-04-14 18:00:01 +000017#include "clang/Lex/HeaderSearch.h"
Douglas Gregor7029ce12013-03-19 00:28:20 +000018#include "clang/Lex/ModuleMap.h"
Douglas Gregor7211ac12013-01-25 23:32:03 +000019#include "clang/Serialization/GlobalModuleIndex.h"
Douglas Gregord44252e2011-08-25 20:47:51 +000020#include "llvm/Support/MemoryBuffer.h"
Rafael Espindola552c1692013-06-11 22:15:02 +000021#include "llvm/Support/Path.h"
Rafael Espindola8a8e5542014-06-12 17:19:42 +000022#include <system_error>
Douglas Gregord44252e2011-08-25 20:47:51 +000023
Douglas Gregor9d7c1a22011-10-11 19:27:55 +000024#ifndef NDEBUG
25#include "llvm/Support/GraphWriter.h"
26#endif
27
Douglas Gregord44252e2011-08-25 20:47:51 +000028using namespace clang;
29using namespace serialization;
30
Richard Smith37a93df2017-02-18 00:32:02 +000031ModuleFile *ModuleManager::lookup(StringRef Name) const {
Douglas Gregordadd85d2013-02-08 21:27:45 +000032 const FileEntry *Entry = FileMgr.getFile(Name, /*openFile=*/false,
33 /*cacheFailure=*/false);
Douglas Gregorbf7fc9c2013-03-27 16:47:18 +000034 if (Entry)
35 return lookup(Entry);
36
Craig Toppera13603a2014-05-22 05:54:18 +000037 return nullptr;
Douglas Gregorbf7fc9c2013-03-27 16:47:18 +000038}
39
Richard Smith37a93df2017-02-18 00:32:02 +000040ModuleFile *ModuleManager::lookup(const FileEntry *File) const {
41 auto Known = Modules.find(File);
Douglas Gregorbf7fc9c2013-03-27 16:47:18 +000042 if (Known == Modules.end())
Craig Toppera13603a2014-05-22 05:54:18 +000043 return nullptr;
Douglas Gregorbf7fc9c2013-03-27 16:47:18 +000044
45 return Known->second;
Douglas Gregord44252e2011-08-25 20:47:51 +000046}
47
Rafael Espindola5cd06f22014-08-18 19:16:31 +000048std::unique_ptr<llvm::MemoryBuffer>
49ModuleManager::lookupBuffer(StringRef Name) {
Douglas Gregordadd85d2013-02-08 21:27:45 +000050 const FileEntry *Entry = FileMgr.getFile(Name, /*openFile=*/false,
51 /*cacheFailure=*/false);
Rafael Espindola5cd06f22014-08-18 19:16:31 +000052 return std::move(InMemoryBuffers[Entry]);
Douglas Gregord44252e2011-08-25 20:47:51 +000053}
54
Duncan P. N. Exon Smith14afc8e2017-01-28 21:34:28 +000055static bool checkSignature(ASTFileSignature Signature,
56 ASTFileSignature ExpectedSignature,
57 std::string &ErrorStr) {
58 if (!ExpectedSignature || Signature == ExpectedSignature)
59 return false;
60
61 ErrorStr =
62 Signature ? "signature mismatch" : "could not read module signature";
63 return true;
64}
65
Duncan P. N. Exon Smith26308a62017-01-28 23:22:40 +000066static void updateModuleImports(ModuleFile &MF, ModuleFile *ImportedBy,
67 SourceLocation ImportLoc) {
68 if (ImportedBy) {
69 MF.ImportedBy.insert(ImportedBy);
70 ImportedBy->Imports.insert(&MF);
71 } else {
72 if (!MF.DirectlyImported)
73 MF.ImportLoc = ImportLoc;
74
75 MF.DirectlyImported = true;
76 }
77}
78
Douglas Gregor7029ce12013-03-19 00:28:20 +000079ModuleManager::AddModuleResult
Douglas Gregor6fb03ae2012-11-30 19:28:05 +000080ModuleManager::addModule(StringRef FileName, ModuleKind Type,
81 SourceLocation ImportLoc, ModuleFile *ImportedBy,
Douglas Gregor7029ce12013-03-19 00:28:20 +000082 unsigned Generation,
83 off_t ExpectedSize, time_t ExpectedModTime,
Ben Langmuir487ea142014-10-23 18:05:36 +000084 ASTFileSignature ExpectedSignature,
Ben Langmuir70a1b812015-03-24 04:43:52 +000085 ASTFileSignatureReader ReadSignature,
Douglas Gregor7029ce12013-03-19 00:28:20 +000086 ModuleFile *&Module,
87 std::string &ErrorStr) {
Craig Toppera13603a2014-05-22 05:54:18 +000088 Module = nullptr;
Douglas Gregor7029ce12013-03-19 00:28:20 +000089
90 // Look for the file entry. This only fails if the expected size or
91 // modification time differ.
92 const FileEntry *Entry;
Manman Ren11f2a472016-08-18 17:42:15 +000093 if (Type == MK_ExplicitModule || Type == MK_PrebuiltModule) {
Richard Smith5b390752014-11-21 05:37:20 +000094 // If we're not expecting to pull this file out of the module cache, it
95 // might have a different mtime due to being moved across filesystems in
96 // a distributed build. The size must still match, though. (As must the
97 // contents, but we can't check that.)
98 ExpectedModTime = 0;
99 }
Eli Friedmanc27d0d52013-09-05 23:50:58 +0000100 if (lookupModuleFile(FileName, ExpectedSize, ExpectedModTime, Entry)) {
101 ErrorStr = "module file out of date";
Douglas Gregor7029ce12013-03-19 00:28:20 +0000102 return OutOfDate;
Eli Friedmanc27d0d52013-09-05 23:50:58 +0000103 }
Douglas Gregor7029ce12013-03-19 00:28:20 +0000104
Douglas Gregord44252e2011-08-25 20:47:51 +0000105 if (!Entry && FileName != "-") {
Eli Friedmanc27d0d52013-09-05 23:50:58 +0000106 ErrorStr = "module file not found";
Douglas Gregor7029ce12013-03-19 00:28:20 +0000107 return Missing;
Douglas Gregord44252e2011-08-25 20:47:51 +0000108 }
Douglas Gregor7029ce12013-03-19 00:28:20 +0000109
110 // Check whether we already loaded this module, before
Duncan P. N. Exon Smith26308a62017-01-28 23:22:40 +0000111 if (ModuleFile *ModuleEntry = Modules.lookup(Entry)) {
112 // Check the stored signature.
113 if (checkSignature(ModuleEntry->Signature, ExpectedSignature, ErrorStr))
Ben Langmuired982582014-11-08 00:34:30 +0000114 return OutOfDate;
Duncan P. N. Exon Smitha897f7c2017-01-28 22:24:01 +0000115
Duncan P. N. Exon Smith26308a62017-01-28 23:22:40 +0000116 Module = ModuleEntry;
117 updateModuleImports(*ModuleEntry, ImportedBy, ImportLoc);
Richard Smith3b99db52016-09-02 00:10:28 +0000118 return AlreadyLoaded;
Duncan P. N. Exon Smith26308a62017-01-28 23:22:40 +0000119 }
Richard Smith3b99db52016-09-02 00:10:28 +0000120
Duncan P. N. Exon Smith26308a62017-01-28 23:22:40 +0000121 // Allocate a new module.
122 auto NewModule = llvm::make_unique<ModuleFile>(Type, Generation);
123 NewModule->Index = Chain.size();
124 NewModule->FileName = FileName.str();
125 NewModule->File = Entry;
126 NewModule->ImportLoc = ImportLoc;
127 NewModule->InputFilesValidationTimestamp = 0;
128
129 if (NewModule->Kind == MK_ImplicitModule) {
130 std::string TimestampFilename = NewModule->getTimestampFilename();
131 vfs::Status Status;
132 // A cached stat value would be fine as well.
133 if (!FileMgr.getNoncachedStatValue(TimestampFilename, Status))
134 NewModule->InputFilesValidationTimestamp =
135 llvm::sys::toTimeT(Status.getLastModificationTime());
136 }
137
138 // Load the contents of the module
139 if (std::unique_ptr<llvm::MemoryBuffer> Buffer = lookupBuffer(FileName)) {
140 // The buffer was already provided for us.
Duncan P. N. Exon Smith030d7d62017-03-20 17:58:26 +0000141 NewModule->Buffer = &PCMCache->addBuffer(FileName, std::move(Buffer));
142 } else if (llvm::MemoryBuffer *Buffer = PCMCache->lookupBuffer(FileName)) {
143 NewModule->Buffer = Buffer;
Duncan P. N. Exon Smith26308a62017-01-28 23:22:40 +0000144 } else {
145 // Open the AST file.
146 llvm::ErrorOr<std::unique_ptr<llvm::MemoryBuffer>> Buf((std::error_code()));
147 if (FileName == "-") {
148 Buf = llvm::MemoryBuffer::getSTDIN();
149 } else {
150 // Leave the FileEntry open so if it gets read again by another
151 // ModuleManager it must be the same underlying file.
152 // FIXME: Because FileManager::getFile() doesn't guarantee that it will
153 // give us an open file, this may not be 100% reliable.
154 Buf = FileMgr.getBufferForFile(NewModule->File,
155 /*IsVolatile=*/false,
156 /*ShouldClose=*/false);
157 }
158
159 if (!Buf) {
160 ErrorStr = Buf.getError().message();
161 return Missing;
162 }
163
Duncan P. N. Exon Smith030d7d62017-03-20 17:58:26 +0000164 NewModule->Buffer = &PCMCache->addBuffer(FileName, std::move(*Buf));
Duncan P. N. Exon Smith26308a62017-01-28 23:22:40 +0000165 }
166
167 // Initialize the stream.
168 NewModule->Data = PCHContainerRdr.ExtractPCH(*NewModule->Buffer);
169
Duncan P. N. Exon Smith688b69a2017-01-29 04:42:21 +0000170 // Read the signature eagerly now so that we can check it. Avoid calling
171 // ReadSignature unless there's something to check though.
172 if (ExpectedSignature && checkSignature(ReadSignature(NewModule->Data),
Duncan P. N. Exon Smith030d7d62017-03-20 17:58:26 +0000173 ExpectedSignature, ErrorStr)) {
174 // Try to remove the buffer. If it can't be removed, then it was already
175 // validated by this process.
176 if (!PCMCache->tryToRemoveBuffer(NewModule->FileName))
177 FileMgr.invalidateCache(NewModule->File);
Duncan P. N. Exon Smith26308a62017-01-28 23:22:40 +0000178 return OutOfDate;
Duncan P. N. Exon Smith030d7d62017-03-20 17:58:26 +0000179 }
Duncan P. N. Exon Smith26308a62017-01-28 23:22:40 +0000180
181 // We're keeping this module. Store it everywhere.
182 Module = Modules[Entry] = NewModule.get();
183
184 updateModuleImports(*NewModule, ImportedBy, ImportLoc);
185
186 if (!NewModule->isModule())
187 PCHChain.push_back(NewModule.get());
188 if (!ImportedBy)
189 Roots.push_back(NewModule.get());
Richard Smith3b99db52016-09-02 00:10:28 +0000190
Duncan P. N. Exon Smitha897f7c2017-01-28 22:24:01 +0000191 Chain.push_back(std::move(NewModule));
Richard Smith3b99db52016-09-02 00:10:28 +0000192 return NewlyLoaded;
Douglas Gregord44252e2011-08-25 20:47:51 +0000193}
194
Ben Langmuir9801b252014-06-20 00:24:56 +0000195void ModuleManager::removeModules(
Duncan P. N. Exon Smith8e6bc1972017-01-28 23:02:12 +0000196 ModuleIterator First,
Ben Langmuir9801b252014-06-20 00:24:56 +0000197 llvm::SmallPtrSetImpl<ModuleFile *> &LoadedSuccessfully,
198 ModuleMap *modMap) {
Duncan P. N. Exon Smith8e6bc1972017-01-28 23:02:12 +0000199 auto Last = end();
200 if (First == Last)
Douglas Gregor188dbef2012-11-07 17:46:15 +0000201 return;
202
Duncan P. N. Exon Smith8e6bc1972017-01-28 23:02:12 +0000203
Ben Langmuira50dbb22015-10-21 23:12:45 +0000204 // Explicitly clear VisitOrder since we might not notice it is stale.
205 VisitOrder.clear();
206
Douglas Gregor188dbef2012-11-07 17:46:15 +0000207 // Collect the set of module file pointers that we'll be removing.
Duncan P. N. Exon Smith96a06e02017-01-28 22:15:22 +0000208 llvm::SmallPtrSet<ModuleFile *, 4> victimSet(
Duncan P. N. Exon Smith8e6bc1972017-01-28 23:02:12 +0000209 (llvm::pointer_iterator<ModuleIterator>(First)),
210 (llvm::pointer_iterator<ModuleIterator>(Last)));
Douglas Gregor188dbef2012-11-07 17:46:15 +0000211
Manuel Klimek9eff8b12015-05-20 10:29:23 +0000212 auto IsVictim = [&](ModuleFile *MF) {
213 return victimSet.count(MF);
214 };
Douglas Gregor188dbef2012-11-07 17:46:15 +0000215 // Remove any references to the now-destroyed modules.
Duncan P. N. Exon Smith073ec352017-01-28 23:12:13 +0000216 for (auto I = begin(); I != First; ++I) {
217 I->Imports.remove_if(IsVictim);
Duncan P. N. Exon Smith8e6bc1972017-01-28 23:02:12 +0000218 I->ImportedBy.remove_if(IsVictim);
Duncan P. N. Exon Smith073ec352017-01-28 23:12:13 +0000219 }
Manuel Klimek9eff8b12015-05-20 10:29:23 +0000220 Roots.erase(std::remove_if(Roots.begin(), Roots.end(), IsVictim),
221 Roots.end());
Douglas Gregor188dbef2012-11-07 17:46:15 +0000222
Richard Smith16fe4d12015-07-22 22:51:15 +0000223 // Remove the modules from the PCH chain.
Duncan P. N. Exon Smith8e6bc1972017-01-28 23:02:12 +0000224 for (auto I = First; I != Last; ++I) {
Duncan P. N. Exon Smith96a06e02017-01-28 22:15:22 +0000225 if (!I->isModule()) {
226 PCHChain.erase(std::find(PCHChain.begin(), PCHChain.end(), &*I),
Richard Smith16fe4d12015-07-22 22:51:15 +0000227 PCHChain.end());
228 break;
229 }
230 }
231
Douglas Gregor188dbef2012-11-07 17:46:15 +0000232 // Delete the modules and erase them from the various structures.
Duncan P. N. Exon Smith8e6bc1972017-01-28 23:02:12 +0000233 for (ModuleIterator victim = First; victim != Last; ++victim) {
Duncan P. N. Exon Smith96a06e02017-01-28 22:15:22 +0000234 Modules.erase(victim->File);
Ben Langmuirca392142014-05-19 16:13:45 +0000235
Douglas Gregor7029ce12013-03-19 00:28:20 +0000236 if (modMap) {
Duncan P. N. Exon Smith96a06e02017-01-28 22:15:22 +0000237 StringRef ModuleName = victim->ModuleName;
Douglas Gregor7029ce12013-03-19 00:28:20 +0000238 if (Module *mod = modMap->findModule(ModuleName)) {
Craig Toppera13603a2014-05-22 05:54:18 +0000239 mod->setASTFile(nullptr);
Douglas Gregor7029ce12013-03-19 00:28:20 +0000240 }
241 }
Ben Langmuir4f054782014-05-30 21:20:54 +0000242
Ben Langmuir9801b252014-06-20 00:24:56 +0000243 // Files that didn't make it through ReadASTCore successfully will be
244 // rebuilt (or there was an error). Invalidate them so that we can load the
245 // new files that will be renamed over the old ones.
Duncan P. N. Exon Smith030d7d62017-03-20 17:58:26 +0000246 //
Simon Pilgrim2c518802017-03-30 14:13:19 +0000247 // The PCMCache tracks whether the module was successfully loaded in another
Duncan P. N. Exon Smith030d7d62017-03-20 17:58:26 +0000248 // thread/context; in that case, it won't need to be rebuilt (and we can't
249 // safely invalidate it anyway).
250 if (LoadedSuccessfully.count(&*victim) == 0 &&
251 !PCMCache->tryToRemoveBuffer(victim->FileName))
Duncan P. N. Exon Smith96a06e02017-01-28 22:15:22 +0000252 FileMgr.invalidateCache(victim->File);
Douglas Gregor188dbef2012-11-07 17:46:15 +0000253 }
254
Duncan P. N. Exon Smitha897f7c2017-01-28 22:24:01 +0000255 // Delete the modules.
Duncan P. N. Exon Smith8e6bc1972017-01-28 23:02:12 +0000256 Chain.erase(Chain.begin() + (First - begin()), Chain.end());
Douglas Gregor188dbef2012-11-07 17:46:15 +0000257}
258
Rafael Espindola5cd06f22014-08-18 19:16:31 +0000259void
260ModuleManager::addInMemoryBuffer(StringRef FileName,
261 std::unique_ptr<llvm::MemoryBuffer> Buffer) {
262
263 const FileEntry *Entry =
264 FileMgr.getVirtualFile(FileName, Buffer->getBufferSize(), 0);
265 InMemoryBuffers[Entry] = std::move(Buffer);
Douglas Gregord44252e2011-08-25 20:47:51 +0000266}
267
Douglas Gregore97cd902013-01-28 16:46:33 +0000268ModuleManager::VisitState *ModuleManager::allocateVisitState() {
269 // Fast path: if we have a cached state, use it.
270 if (FirstVisitState) {
271 VisitState *Result = FirstVisitState;
272 FirstVisitState = FirstVisitState->NextState;
Craig Toppera13603a2014-05-22 05:54:18 +0000273 Result->NextState = nullptr;
Douglas Gregore97cd902013-01-28 16:46:33 +0000274 return Result;
275 }
276
277 // Allocate and return a new state.
278 return new VisitState(size());
279}
280
281void ModuleManager::returnVisitState(VisitState *State) {
Craig Toppera13603a2014-05-22 05:54:18 +0000282 assert(State->NextState == nullptr && "Visited state is in list?");
Douglas Gregore97cd902013-01-28 16:46:33 +0000283 State->NextState = FirstVisitState;
284 FirstVisitState = State;
285}
286
Douglas Gregor7211ac12013-01-25 23:32:03 +0000287void ModuleManager::setGlobalIndex(GlobalModuleIndex *Index) {
288 GlobalIndex = Index;
Douglas Gregor603cd862013-03-22 18:50:14 +0000289 if (!GlobalIndex) {
290 ModulesInCommonWithGlobalIndex.clear();
291 return;
Douglas Gregor7029ce12013-03-19 00:28:20 +0000292 }
Douglas Gregor603cd862013-03-22 18:50:14 +0000293
294 // Notify the global module index about all of the modules we've already
295 // loaded.
Duncan P. N. Exon Smitha897f7c2017-01-28 22:24:01 +0000296 for (ModuleFile &M : *this)
297 if (!GlobalIndex->loadedModuleFile(&M))
298 ModulesInCommonWithGlobalIndex.push_back(&M);
Douglas Gregor603cd862013-03-22 18:50:14 +0000299}
300
301void ModuleManager::moduleFileAccepted(ModuleFile *MF) {
302 if (!GlobalIndex || GlobalIndex->loadedModuleFile(MF))
303 return;
304
305 ModulesInCommonWithGlobalIndex.push_back(MF);
Douglas Gregor7211ac12013-01-25 23:32:03 +0000306}
307
Duncan P. N. Exon Smith030d7d62017-03-20 17:58:26 +0000308ModuleManager::ModuleManager(FileManager &FileMgr, MemoryBufferCache &PCMCache,
Adrian Prantlfb2398d2015-07-17 01:19:54 +0000309 const PCHContainerReader &PCHContainerRdr)
Duncan P. N. Exon Smith030d7d62017-03-20 17:58:26 +0000310 : FileMgr(FileMgr), PCMCache(&PCMCache), PCHContainerRdr(PCHContainerRdr),
311 GlobalIndex(), FirstVisitState(nullptr) {}
Douglas Gregord44252e2011-08-25 20:47:51 +0000312
Duncan P. N. Exon Smitha897f7c2017-01-28 22:24:01 +0000313ModuleManager::~ModuleManager() { delete FirstVisitState; }
Douglas Gregord44252e2011-08-25 20:47:51 +0000314
Benjamin Kramer9a9efba2015-07-25 12:14:04 +0000315void ModuleManager::visit(llvm::function_ref<bool(ModuleFile &M)> Visitor,
316 llvm::SmallPtrSetImpl<ModuleFile *> *ModuleFilesHit) {
Douglas Gregor7211ac12013-01-25 23:32:03 +0000317 // If the visitation order vector is the wrong size, recompute the order.
Douglas Gregore41d7fe2013-01-25 22:25:23 +0000318 if (VisitOrder.size() != Chain.size()) {
319 unsigned N = size();
320 VisitOrder.clear();
321 VisitOrder.reserve(N);
322
323 // Record the number of incoming edges for each module. When we
324 // encounter a module with no incoming edges, push it into the queue
325 // to seed the queue.
326 SmallVector<ModuleFile *, 4> Queue;
327 Queue.reserve(N);
328 llvm::SmallVector<unsigned, 4> UnusedIncomingEdges;
Richard Smitha7c535b2015-07-22 01:28:05 +0000329 UnusedIncomingEdges.resize(size());
Duncan P. N. Exon Smith96a06e02017-01-28 22:15:22 +0000330 for (ModuleFile &M : llvm::reverse(*this)) {
331 unsigned Size = M.ImportedBy.size();
332 UnusedIncomingEdges[M.Index] = Size;
Richard Smitha7c535b2015-07-22 01:28:05 +0000333 if (!Size)
Duncan P. N. Exon Smith96a06e02017-01-28 22:15:22 +0000334 Queue.push_back(&M);
Douglas Gregorbdb259d2013-01-21 20:07:12 +0000335 }
Douglas Gregore41d7fe2013-01-25 22:25:23 +0000336
337 // Traverse the graph, making sure to visit a module before visiting any
338 // of its dependencies.
Richard Smitha7c535b2015-07-22 01:28:05 +0000339 while (!Queue.empty()) {
340 ModuleFile *CurrentModule = Queue.pop_back_val();
Douglas Gregore41d7fe2013-01-25 22:25:23 +0000341 VisitOrder.push_back(CurrentModule);
342
343 // For any module that this module depends on, push it on the
344 // stack (if it hasn't already been marked as visited).
Richard Smitha7c535b2015-07-22 01:28:05 +0000345 for (auto M = CurrentModule->Imports.rbegin(),
346 MEnd = CurrentModule->Imports.rend();
Douglas Gregore41d7fe2013-01-25 22:25:23 +0000347 M != MEnd; ++M) {
348 // Remove our current module as an impediment to visiting the
349 // module we depend on. If we were the last unvisited module
350 // that depends on this particular module, push it into the
351 // queue to be visited.
352 unsigned &NumUnusedEdges = UnusedIncomingEdges[(*M)->Index];
353 if (NumUnusedEdges && (--NumUnusedEdges == 0))
354 Queue.push_back(*M);
355 }
356 }
357
358 assert(VisitOrder.size() == N && "Visitation order is wrong?");
Douglas Gregor7211ac12013-01-25 23:32:03 +0000359
Douglas Gregore97cd902013-01-28 16:46:33 +0000360 delete FirstVisitState;
Craig Toppera13603a2014-05-22 05:54:18 +0000361 FirstVisitState = nullptr;
Douglas Gregord44252e2011-08-25 20:47:51 +0000362 }
Douglas Gregorbdb259d2013-01-21 20:07:12 +0000363
Douglas Gregore97cd902013-01-28 16:46:33 +0000364 VisitState *State = allocateVisitState();
365 unsigned VisitNumber = State->NextVisitNumber++;
Douglas Gregore41d7fe2013-01-25 22:25:23 +0000366
Douglas Gregor7211ac12013-01-25 23:32:03 +0000367 // If the caller has provided us with a hit-set that came from the global
368 // module index, mark every module file in common with the global module
369 // index that is *not* in that set as 'visited'.
370 if (ModuleFilesHit && !ModulesInCommonWithGlobalIndex.empty()) {
371 for (unsigned I = 0, N = ModulesInCommonWithGlobalIndex.size(); I != N; ++I)
372 {
373 ModuleFile *M = ModulesInCommonWithGlobalIndex[I];
Douglas Gregor7029ce12013-03-19 00:28:20 +0000374 if (!ModuleFilesHit->count(M))
Douglas Gregore97cd902013-01-28 16:46:33 +0000375 State->VisitNumber[M->Index] = VisitNumber;
Douglas Gregor7211ac12013-01-25 23:32:03 +0000376 }
377 }
378
Douglas Gregore41d7fe2013-01-25 22:25:23 +0000379 for (unsigned I = 0, N = VisitOrder.size(); I != N; ++I) {
380 ModuleFile *CurrentModule = VisitOrder[I];
381 // Should we skip this module file?
Douglas Gregore97cd902013-01-28 16:46:33 +0000382 if (State->VisitNumber[CurrentModule->Index] == VisitNumber)
Douglas Gregord44252e2011-08-25 20:47:51 +0000383 continue;
Douglas Gregore41d7fe2013-01-25 22:25:23 +0000384
385 // Visit the module.
Douglas Gregore97cd902013-01-28 16:46:33 +0000386 assert(State->VisitNumber[CurrentModule->Index] == VisitNumber - 1);
387 State->VisitNumber[CurrentModule->Index] = VisitNumber;
Benjamin Kramer9a9efba2015-07-25 12:14:04 +0000388 if (!Visitor(*CurrentModule))
Douglas Gregore41d7fe2013-01-25 22:25:23 +0000389 continue;
390
391 // The visitor has requested that cut off visitation of any
392 // module that the current module depends on. To indicate this
393 // behavior, we mark all of the reachable modules as having been visited.
394 ModuleFile *NextModule = CurrentModule;
Douglas Gregore41d7fe2013-01-25 22:25:23 +0000395 do {
396 // For any module that this module depends on, push it on the
397 // stack (if it hasn't already been marked as visited).
398 for (llvm::SetVector<ModuleFile *>::iterator
399 M = NextModule->Imports.begin(),
400 MEnd = NextModule->Imports.end();
401 M != MEnd; ++M) {
Douglas Gregore97cd902013-01-28 16:46:33 +0000402 if (State->VisitNumber[(*M)->Index] != VisitNumber) {
403 State->Stack.push_back(*M);
404 State->VisitNumber[(*M)->Index] = VisitNumber;
Douglas Gregord44252e2011-08-25 20:47:51 +0000405 }
406 }
Douglas Gregore41d7fe2013-01-25 22:25:23 +0000407
Douglas Gregore97cd902013-01-28 16:46:33 +0000408 if (State->Stack.empty())
Douglas Gregore41d7fe2013-01-25 22:25:23 +0000409 break;
410
411 // Pop the next module off the stack.
Robert Wilhelm25284cc2013-08-23 16:11:15 +0000412 NextModule = State->Stack.pop_back_val();
Douglas Gregore41d7fe2013-01-25 22:25:23 +0000413 } while (true);
Douglas Gregord44252e2011-08-25 20:47:51 +0000414 }
Douglas Gregore97cd902013-01-28 16:46:33 +0000415
416 returnVisitState(State);
Douglas Gregord44252e2011-08-25 20:47:51 +0000417}
418
Douglas Gregor7029ce12013-03-19 00:28:20 +0000419bool ModuleManager::lookupModuleFile(StringRef FileName,
420 off_t ExpectedSize,
421 time_t ExpectedModTime,
422 const FileEntry *&File) {
Richard Smith3bd6d7f2016-09-02 00:18:05 +0000423 if (FileName == "-") {
424 File = nullptr;
425 return false;
426 }
427
Ben Langmuir05f82ba2014-05-01 03:33:36 +0000428 // Open the file immediately to ensure there is no race between stat'ing and
429 // opening the file.
430 File = FileMgr.getFile(FileName, /*openFile=*/true, /*cacheFailure=*/false);
Richard Smith3bd6d7f2016-09-02 00:18:05 +0000431 if (!File)
Douglas Gregor7029ce12013-03-19 00:28:20 +0000432 return false;
Douglas Gregor7029ce12013-03-19 00:28:20 +0000433
434 if ((ExpectedSize && ExpectedSize != File->getSize()) ||
Ben Langmuir027731d2014-05-04 05:20:54 +0000435 (ExpectedModTime && ExpectedModTime != File->getModificationTime()))
436 // Do not destroy File, as it may be referenced. If we need to rebuild it,
437 // it will be destroyed by removeModules.
Douglas Gregor7029ce12013-03-19 00:28:20 +0000438 return true;
Douglas Gregor7029ce12013-03-19 00:28:20 +0000439
440 return false;
441}
442
Douglas Gregor9d7c1a22011-10-11 19:27:55 +0000443#ifndef NDEBUG
444namespace llvm {
445 template<>
446 struct GraphTraits<ModuleManager> {
Tim Shen2931d172016-08-17 20:02:38 +0000447 typedef ModuleFile *NodeRef;
Douglas Gregorde3ef502011-11-30 23:21:26 +0000448 typedef llvm::SetVector<ModuleFile *>::const_iterator ChildIteratorType;
Duncan P. N. Exon Smith96a06e02017-01-28 22:15:22 +0000449 typedef pointer_iterator<ModuleManager::ModuleConstIterator> nodes_iterator;
Tim Shenf2187ed2016-08-22 21:09:30 +0000450
451 static ChildIteratorType child_begin(NodeRef Node) {
Douglas Gregor9d7c1a22011-10-11 19:27:55 +0000452 return Node->Imports.begin();
453 }
454
Tim Shenf2187ed2016-08-22 21:09:30 +0000455 static ChildIteratorType child_end(NodeRef Node) {
Douglas Gregor9d7c1a22011-10-11 19:27:55 +0000456 return Node->Imports.end();
457 }
458
459 static nodes_iterator nodes_begin(const ModuleManager &Manager) {
Duncan P. N. Exon Smith96a06e02017-01-28 22:15:22 +0000460 return nodes_iterator(Manager.begin());
Douglas Gregor9d7c1a22011-10-11 19:27:55 +0000461 }
462
463 static nodes_iterator nodes_end(const ModuleManager &Manager) {
Duncan P. N. Exon Smith96a06e02017-01-28 22:15:22 +0000464 return nodes_iterator(Manager.end());
Douglas Gregor9d7c1a22011-10-11 19:27:55 +0000465 }
466 };
467
468 template<>
469 struct DOTGraphTraits<ModuleManager> : public DefaultDOTGraphTraits {
470 explicit DOTGraphTraits(bool IsSimple = false)
471 : DefaultDOTGraphTraits(IsSimple) { }
472
473 static bool renderGraphFromBottomUp() {
474 return true;
475 }
476
Douglas Gregorde3ef502011-11-30 23:21:26 +0000477 std::string getNodeLabel(ModuleFile *M, const ModuleManager&) {
Ben Langmuirbeee15e2014-04-14 18:00:01 +0000478 return M->ModuleName;
Douglas Gregor9d7c1a22011-10-11 19:27:55 +0000479 }
480 };
Alexander Kornienkoab9db512015-06-22 23:07:51 +0000481}
Douglas Gregor9d7c1a22011-10-11 19:27:55 +0000482
483void ModuleManager::viewGraph() {
484 llvm::ViewGraph(*this, "Modules");
485}
486#endif