clang 22.0.0git
ModuleDepCollector.h
Go to the documentation of this file.
1//===----------------------------------------------------------------------===//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
8
9#ifndef LLVM_CLANG_DEPENDENCYSCANNING_MODULEDEPCOLLECTOR_H
10#define LLVM_CLANG_DEPENDENCYSCANNING_MODULEDEPCOLLECTOR_H
11
12#include "clang/Basic/LLVM.h"
13#include "clang/Basic/Module.h"
21#include "llvm/ADT/DenseMap.h"
22#include "llvm/ADT/Hashing.h"
23#include "llvm/ADT/StringSet.h"
24#include "llvm/Support/raw_ostream.h"
25#include <optional>
26#include <string>
27#include <unordered_map>
28#include <variant>
29
30namespace clang {
31namespace dependencies {
32
36
37/// Modular dependency that has already been built prior to the dependency scan.
39 std::string ModuleName;
40 std::string PCMFile;
41 std::string ModuleMapFile;
42
43 explicit PrebuiltModuleDep(const Module *M)
44 : ModuleName(M->getTopLevelModuleName()),
45 PCMFile(M->getASTFile()->getName()),
46 ModuleMapFile(M->PresumedModuleMapFile) {}
47};
48
49/// Attributes loaded from AST files of prebuilt modules collected prior to
50/// ModuleDepCollector creation.
51using PrebuiltModulesAttrsMap = llvm::StringMap<PrebuiltModuleASTAttrs>;
53public:
54 /// When a module is discovered to not be in stable directories, traverse &
55 /// update all modules that depend on it.
56 void
58
59 /// Read-only access to whether the module is made up of dependencies in
60 /// stable directories.
61 bool isInStableDir() const { return IsInStableDirs; }
62
63 /// Read-only access to vfs map files.
64 const llvm::StringSet<> &getVFS() const { return VFSMap; }
65
66 /// Update the VFSMap to the one discovered from serializing the AST file.
67 void setVFS(llvm::StringSet<> &&VFS) { VFSMap = std::move(VFS); }
68
69 /// Add a direct dependent module file, so it can be updated if the current
70 /// module is from stable directores.
71 void addDependent(StringRef ModuleFile) {
72 ModuleFileDependents.insert(ModuleFile);
73 }
74
75 /// Update whether the prebuilt module resolves entirely in a stable
76 /// directories.
77 void setInStableDir(bool V = false) {
78 // Cannot reset attribute once it's false.
79 if (!IsInStableDirs)
80 return;
81 IsInStableDirs = V;
82 }
83
84private:
85 llvm::StringSet<> VFSMap;
86 bool IsInStableDirs = true;
87 std::set<StringRef> ModuleFileDependents;
88};
89
90/// This is used to identify a specific module.
91struct ModuleID {
92 /// The name of the module. This may include `:` for C++20 module partitions,
93 /// or a header-name for C++20 header units.
94 std::string ModuleName;
95
96 /// The context hash of a module represents the compiler options that affect
97 /// the resulting command-line invocation.
98 ///
99 /// Modules with the same name and ContextHash but different invocations could
100 /// cause non-deterministic build results.
101 ///
102 /// Modules with the same name but a different \c ContextHash should be
103 /// treated as separate modules for the purpose of a build.
104 std::string ContextHash;
105
106 bool operator==(const ModuleID &Other) const {
107 return std::tie(ModuleName, ContextHash) ==
108 std::tie(Other.ModuleName, Other.ContextHash);
109 }
110
111 bool operator<(const ModuleID &Other) const {
112 return std::tie(ModuleName, ContextHash) <
113 std::tie(Other.ModuleName, Other.ContextHash);
114 }
115};
116
117/// P1689ModuleInfo - Represents the needed information of standard C++20
118/// modules for P1689 format.
120 /// The name of the module. This may include `:` for partitions.
121 std::string ModuleName;
122
123 /// Optional. The source path to the module.
124 std::string SourcePath;
125
126 /// If this module is a standard c++ interface unit.
128
129 enum class ModuleType {
131 // To be supported
132 // AngleHeaderUnit,
133 // QuoteHeaderUnit
134 };
136};
137
138/// An output from a module compilation, such as the path of the module file.
140 /// The module file (.pcm). Required.
142 /// The path of the dependency file (.d), if any.
144 /// The null-separated list of names to use as the targets in the dependency
145 /// file, if any. Defaults to the value of \c ModuleFile, as in the driver.
147 /// The path of the serialized diagnostic file (.dia), if any.
149};
150
152 /// The identifier of the module.
154
155 /// Whether this is a "system" module.
157
158 /// Whether this module is fully composed of file & module inputs from
159 /// locations likely to stay the same across the active development and build
160 /// cycle. For example, when all those input paths only resolve in Sysroot.
161 ///
162 /// External paths, as opposed to virtual file paths, are always used
163 /// for computing this value.
165
166 /// The path to the modulemap file which defines this module.
167 ///
168 /// This can be used to explicitly build this module. This file will
169 /// additionally appear in \c FileDeps as a dependency.
171
172 /// A collection of absolute paths to module map files that this module needs
173 /// to know about. The ordering is significant.
174 std::vector<std::string> ModuleMapFileDeps;
175
176 /// A collection of prebuilt modular dependencies this module directly depends
177 /// on, not including transitive dependencies.
178 std::vector<PrebuiltModuleDep> PrebuiltModuleDeps;
179
180 /// A list of module identifiers this module directly depends on, not
181 /// including transitive dependencies.
182 ///
183 /// This may include modules with a different context hash when it can be
184 /// determined that the differences are benign for this compilation.
185 std::vector<ModuleID> ClangModuleDeps;
186
187 /// The set of libraries or frameworks to link against when
188 /// an entity from this module is used.
190
191 /// Invokes \c Cb for all file dependencies of this module. Each provided
192 /// \c StringRef is only valid within the individual callback invocation.
193 void forEachFileDep(llvm::function_ref<void(StringRef)> Cb) const;
194
195 /// Get (or compute) the compiler invocation that can be used to build this
196 /// module. Does not include argv[0].
197 const std::vector<std::string> &getBuildArguments() const;
198
199private:
200 friend class ModuleDepCollector;
202
203 /// The base directory for relative paths in \c FileDeps.
204 std::string FileDepsBaseDir;
205
206 /// A collection of paths to files that this module directly depends on, not
207 /// including transitive dependencies.
208 std::vector<std::string> FileDeps;
209
210 mutable std::variant<std::monostate, CowCompilerInvocation,
211 std::vector<std::string>>
212 BuildInfo;
213};
214
216
217/// Callback that records textual includes and direct modular includes/imports
218/// during preprocessing. At the end of the main file, it also collects
219/// transitive modular dependencies and passes everything to the
220/// \c DependencyConsumer of the parent \c ModuleDepCollector.
221class ModuleDepCollectorPP final : public PPCallbacks {
222public:
224
227 SourceLocation Loc) override;
228 void InclusionDirective(SourceLocation HashLoc, const Token &IncludeTok,
229 StringRef FileName, bool IsAngled,
230 CharSourceRange FilenameRange,
231 OptionalFileEntryRef File, StringRef SearchPath,
232 StringRef RelativePath, const Module *SuggestedModule,
233 bool ModuleImported,
235 void moduleImport(SourceLocation ImportLoc, ModuleIdPath Path,
236 const Module *Imported) override;
237
238 void EndOfMainFile() override;
239
240private:
241 /// The parent dependency collector.
243
244 void handleImport(const Module *Imported);
245
246 /// Adds direct modular dependencies that have already been built to the
247 /// ModuleDeps instance.
248 void
249 addAllSubmodulePrebuiltDeps(const Module *M, ModuleDeps &MD,
250 llvm::DenseSet<const Module *> &SeenSubmodules);
251 void addModulePrebuiltDeps(const Module *M, ModuleDeps &MD,
252 llvm::DenseSet<const Module *> &SeenSubmodules);
253
254 /// Traverses the previously collected direct modular dependencies to discover
255 /// transitive modular dependencies and fills the parent \c ModuleDepCollector
256 /// with both.
257 /// Returns the ID or nothing if the dependency is spurious and is ignored.
258 std::optional<ModuleID> handleTopLevelModule(const Module *M);
259 void addAllSubmoduleDeps(const Module *M, ModuleDeps &MD,
260 llvm::DenseSet<const Module *> &AddedModules);
261 void addModuleDep(const Module *M, ModuleDeps &MD,
262 llvm::DenseSet<const Module *> &AddedModules);
263
264 /// Traverses the affecting modules and updates \c MD with references to the
265 /// parent \c ModuleDepCollector info.
266 void
267 addAllAffectingClangModules(const Module *M, ModuleDeps &MD,
268 llvm::DenseSet<const Module *> &AddedModules);
269 void addAffectingClangModule(const Module *M, ModuleDeps &MD,
270 llvm::DenseSet<const Module *> &AddedModules);
271
272 /// Add discovered module dependency for the given module.
273 void addOneModuleDep(const Module *M, const ModuleID ID, ModuleDeps &MD);
274};
275
276/// Collects modular and non-modular dependencies of the main file by attaching
277/// \c ModuleDepCollectorPP to the preprocessor.
279public:
281 std::unique_ptr<DependencyOutputOptions> Opts,
282 CompilerInstance &ScanInstance, DependencyConsumer &C,
283 DependencyActionController &Controller,
284 CompilerInvocation OriginalCI,
285 const PrebuiltModulesAttrsMap PrebuiltModulesASTMap,
286 const ArrayRef<StringRef> StableDirs);
287
288 void attachToPreprocessor(Preprocessor &PP) override;
289 void attachToASTReader(ASTReader &R) override;
290
291 PPCallbacks *getPPCallbacks() { return CollectorPPPtr; }
292
293 /// Apply any changes implied by the discovered dependencies to the given
294 /// invocation, (e.g. disable implicit modules, add explicit module paths).
296
297private:
299
300 /// The parent dependency scanning service.
302 /// The compiler instance for scanning the current translation unit.
303 CompilerInstance &ScanInstance;
304 /// The consumer of collected dependency information.
305 DependencyConsumer &Consumer;
306 /// Callbacks for computing dependency information.
307 DependencyActionController &Controller;
308 /// Mapping from prebuilt AST filepaths to their attributes referenced during
309 /// dependency collecting.
310 const PrebuiltModulesAttrsMap PrebuiltModulesASTMap;
311 /// Directory paths known to be stable through an active development and build
312 /// cycle.
313 const ArrayRef<StringRef> StableDirs;
314 /// Path to the main source file.
315 std::string MainFile;
316 /// Non-modular file dependencies. This includes the main source file and
317 /// textually included header files.
318 std::vector<std::string> FileDeps;
319 /// Direct and transitive modular dependencies of the main source file.
320 llvm::MapVector<const Module *, std::unique_ptr<ModuleDeps>> ModularDeps;
321 /// Secondary mapping for \c ModularDeps allowing lookup by ModuleID without
322 /// a preprocessor. Storage owned by \c ModularDeps.
323 llvm::DenseMap<ModuleID, ModuleDeps *> ModuleDepsByID;
324 /// Direct modular dependencies that have already been built.
325 llvm::MapVector<const Module *, PrebuiltModuleDep> DirectPrebuiltModularDeps;
326 /// Working set of direct modular dependencies.
327 llvm::SetVector<const Module *> DirectModularDeps;
328 /// Working set of direct modular dependencies, as they were imported.
330 /// All direct and transitive visible modules.
331 llvm::StringSet<> VisibleModules;
332
333 /// Options that control the dependency output generation.
334 std::unique_ptr<DependencyOutputOptions> Opts;
335 /// A Clang invocation that's based on the original TU invocation and that has
336 /// been partially transformed into one that can perform explicit build of
337 /// a discovered modular dependency. Note that this still needs to be adjusted
338 /// for each individual module.
339 CowCompilerInvocation CommonInvocation;
340
341 std::optional<P1689ModuleInfo> ProvidedStdCXXModule;
342 std::vector<P1689ModuleInfo> RequiredStdCXXModules;
343
344 /// A pointer to the preprocessor callback so we can invoke it directly
345 /// if needed. The callback is created and added to a Preprocessor instance by
346 /// attachToPreprocessor and the Preprocessor instance owns it.
347 ModuleDepCollectorPP *CollectorPPPtr = nullptr;
348
349 /// Checks whether the module is known as being prebuilt.
350 bool isPrebuiltModule(const Module *M);
351
352 /// Computes all visible modules resolved from direct imports.
353 void addVisibleModules();
354
355 /// Adds \p Path to \c FileDeps, making it absolute if necessary.
356 void addFileDep(StringRef Path);
357 /// Adds \p Path to \c MD.FileDeps, making it absolute if necessary.
358 void addFileDep(ModuleDeps &MD, StringRef Path);
359
360 /// Get a Clang invocation adjusted to build the given modular dependency.
361 /// This excludes paths that are yet-to-be-provided by the build system.
362 CowCompilerInvocation getInvocationAdjustedForModuleBuildWithoutOutputs(
363 const ModuleDeps &Deps,
364 llvm::function_ref<void(CowCompilerInvocation &)> Optimize) const;
365
366 /// Collect module map files for given modules.
367 llvm::DenseSet<const FileEntry *>
368 collectModuleMapFiles(ArrayRef<ModuleID> ClangModuleDeps) const;
369
370 /// Add module map files to the invocation, if needed.
371 void addModuleMapFiles(CompilerInvocation &CI,
372 ArrayRef<ModuleID> ClangModuleDeps) const;
373 /// Add module files (pcm) to the invocation, if needed.
374 void addModuleFiles(CompilerInvocation &CI,
375 ArrayRef<ModuleID> ClangModuleDeps) const;
376 void addModuleFiles(CowCompilerInvocation &CI,
377 ArrayRef<ModuleID> ClangModuleDeps) const;
378
379 /// Add paths that require looking up outputs to the given dependencies.
380 void addOutputPaths(CowCompilerInvocation &CI, ModuleDeps &Deps);
381
382 /// Compute the context hash for \p Deps, and create the mapping
383 /// \c ModuleDepsByID[Deps.ID] = &Deps.
384 void associateWithContextHash(const CowCompilerInvocation &CI, bool IgnoreCWD,
385 ModuleDeps &Deps);
386};
387
388/// Resets codegen options that don't affect modules/PCH.
390 const LangOptions &LangOpts,
391 CodeGenOptions &CGOpts);
392
393/// Determine if \c Input can be resolved within a stable directory.
394///
395/// \param Directories Paths known to be in a stable location. e.g. Sysroot.
396/// \param Input Path to evaluate.
397bool isPathInStableDir(const ArrayRef<StringRef> Directories,
398 const StringRef Input);
399
400/// Determine if options collected from a module's
401/// compilation can safely be considered as stable.
402///
403/// \param Directories Paths known to be in a stable location. e.g. Sysroot.
404/// \param HSOpts Header search options derived from the compiler invocation.
405bool areOptionsInStableDir(const ArrayRef<StringRef> Directories,
406 const HeaderSearchOptions &HSOpts);
407
408} // end namespace dependencies
409} // end namespace clang
410
411namespace llvm {
412inline hash_code hash_value(const clang::dependencies::ModuleID &ID) {
413 return hash_combine(ID.ModuleName, ID.ContextHash);
414}
415
416template <> struct DenseMapInfo<clang::dependencies::ModuleID> {
418 static inline ModuleID getEmptyKey() { return ModuleID{"", ""}; }
419 static inline ModuleID getTombstoneKey() {
420 return ModuleID{"~", "~"}; // ~ is not a valid module name or context hash
421 }
422 static unsigned getHashValue(const ModuleID &ID) { return hash_value(ID); }
423 static bool isEqual(const ModuleID &LHS, const ModuleID &RHS) {
424 return LHS == RHS;
425 }
426};
427} // namespace llvm
428
429#endif // LLVM_CLANG_DEPENDENCYSCANNING_MODULEDEPCOLLECTOR_H
#define V(N, I)
Forward-declares and imports various common LLVM datatypes that clang wants to use unqualified.
llvm::MachO::FileType FileType
Definition MachO.h:46
Defines the clang::Module class, which describes a module in the source code.
Defines the PPCallbacks interface.
Defines the SourceManager interface.
Reads an AST files chain containing the contents of a translation unit.
Definition ASTReader.h:430
Represents a character-granular source range.
CodeGenOptions - Track various options which control how the code is optimized and passed to the back...
CompilerInstance - Helper class for managing a single instance of the Clang compiler.
Helper class for holding the data necessary to invoke the compiler.
Same as CompilerInvocation, but with copy-on-write optimization.
An interface for collecting the dependencies of a compilation.
Definition Utils.h:63
An opaque identifier used by SourceManager which refers to a source file (MemoryBuffer) along with it...
HeaderSearchOptions - Helper class for storing options related to the initialization of the HeaderSea...
Keeps track of the various options that can be enabled, which controls the dialect of C or C++ that i...
Describes a module or submodule.
Definition Module.h:144
This interface provides a way to observe the actions of the preprocessor as it does its thing.
Definition PPCallbacks.h:37
Engages in a tight little dance with the lexer to efficiently preprocess tokens.
Encodes a location in the source.
Token - This structure provides full information about a lexed token.
Definition Token.h:36
Dependency scanner callbacks that are used during scanning to influence the behaviour of the scan - f...
The dependency scanning service contains shared configuration and state that is used by the individua...
Callback that records textual includes and direct modular includes/imports during preprocessing.
void EndOfMainFile() override
Callback invoked when the end of the main file is reached.
void InclusionDirective(SourceLocation HashLoc, const Token &IncludeTok, StringRef FileName, bool IsAngled, CharSourceRange FilenameRange, OptionalFileEntryRef File, StringRef SearchPath, StringRef RelativePath, const Module *SuggestedModule, bool ModuleImported, SrcMgr::CharacteristicKind FileType) override
Callback invoked whenever an inclusion directive of any kind (#include, #import, etc....
void LexedFileChanged(FileID FID, LexedFileChangeReason Reason, SrcMgr::CharacteristicKind FileType, FileID PrevFID, SourceLocation Loc) override
Callback invoked whenever the Lexer moves to a different file for lexing.
void moduleImport(SourceLocation ImportLoc, ModuleIdPath Path, const Module *Imported) override
Callback invoked whenever there was an explicit module-import syntax.
Collects modular and non-modular dependencies of the main file by attaching ModuleDepCollectorPP to t...
ModuleDepCollector(DependencyScanningService &Service, std::unique_ptr< DependencyOutputOptions > Opts, CompilerInstance &ScanInstance, DependencyConsumer &C, DependencyActionController &Controller, CompilerInvocation OriginalCI, const PrebuiltModulesAttrsMap PrebuiltModulesASTMap, const ArrayRef< StringRef > StableDirs)
void applyDiscoveredDependencies(CompilerInvocation &CI)
Apply any changes implied by the discovered dependencies to the given invocation, (e....
void attachToPreprocessor(Preprocessor &PP) override
void attachToASTReader(ASTReader &R) override
void updateDependentsNotInStableDirs(PrebuiltModulesAttrsMap &PrebuiltModulesMap)
When a module is discovered to not be in stable directories, traverse & update all modules that depen...
void setVFS(llvm::StringSet<> &&VFS)
Update the VFSMap to the one discovered from serializing the AST file.
bool isInStableDir() const
Read-only access to whether the module is made up of dependencies in stable directories.
void addDependent(StringRef ModuleFile)
Add a direct dependent module file, so it can be updated if the current module is from stable directo...
void setInStableDir(bool V=false)
Update whether the prebuilt module resolves entirely in a stable directories.
const llvm::StringSet & getVFS() const
Read-only access to vfs map files.
CharacteristicKind
Indicates whether a file or directory holds normal user code, system code, or system code which is im...
bool areOptionsInStableDir(const ArrayRef< StringRef > Directories, const HeaderSearchOptions &HSOpts)
Determine if options collected from a module's compilation can safely be considered as stable.
@ VFS
Remove unused -ivfsoverlay arguments.
@ IgnoreCWD
Ignore the compiler's working directory if it is safe.
ModuleOutputKind
An output from a module compilation, such as the path of the module file.
@ DiagnosticSerializationFile
The path of the serialized diagnostic file (.dia), if any.
@ DependencyFile
The path of the dependency file (.d), if any.
@ DependencyTargets
The null-separated list of names to use as the targets in the dependency file, if any.
@ ModuleFile
The module file (.pcm). Required.
llvm::StringMap< PrebuiltModuleASTAttrs > PrebuiltModulesAttrsMap
Attributes loaded from AST files of prebuilt modules collected prior to ModuleDepCollector creation.
bool isPathInStableDir(const ArrayRef< StringRef > Directories, const StringRef Input)
Determine if Input can be resolved within a stable directory.
void resetBenignCodeGenOptions(frontend::ActionKind ProgramAction, const LangOptions &LangOpts, CodeGenOptions &CGOpts)
Resets codegen options that don't affect modules/PCH.
The JSON file list parser is used to communicate input to InstallAPI.
CustomizableOptional< FileEntryRef > OptionalFileEntryRef
Definition FileEntry.h:208
ArrayRef< IdentifierLoc > ModuleIdPath
A sequence of identifier/location pairs used to describe a particular module or submodule,...
@ Other
Other implicit parameter.
Definition Decl.h:1746
Diagnostic wrappers for TextAPI types for error reporting.
Definition Dominators.h:30
hash_code hash_value(const clang::dependencies::ModuleID &ID)
std::vector< std::string > ModuleMapFileDeps
A collection of absolute paths to module map files that this module needs to know about.
bool IsInStableDirectories
Whether this module is fully composed of file & module inputs from locations likely to stay the same ...
ModuleID ID
The identifier of the module.
void forEachFileDep(llvm::function_ref< void(StringRef)> Cb) const
Invokes Cb for all file dependencies of this module.
std::vector< PrebuiltModuleDep > PrebuiltModuleDeps
A collection of prebuilt modular dependencies this module directly depends on, not including transiti...
llvm::SmallVector< Module::LinkLibrary, 2 > LinkLibraries
The set of libraries or frameworks to link against when an entity from this module is used.
std::vector< ModuleID > ClangModuleDeps
A list of module identifiers this module directly depends on, not including transitive dependencies.
const std::vector< std::string > & getBuildArguments() const
Get (or compute) the compiler invocation that can be used to build this module.
std::string ClangModuleMapFile
The path to the modulemap file which defines this module.
bool IsSystem
Whether this is a "system" module.
This is used to identify a specific module.
bool operator==(const ModuleID &Other) const
std::string ModuleName
The name of the module.
std::string ContextHash
The context hash of a module represents the compiler options that affect the resulting command-line i...
bool operator<(const ModuleID &Other) const
P1689ModuleInfo - Represents the needed information of standard C++20 modules for P1689 format.
std::string SourcePath
Optional. The source path to the module.
bool IsStdCXXModuleInterface
If this module is a standard c++ interface unit.
std::string ModuleName
The name of the module. This may include : for partitions.
static bool isEqual(const ModuleID &LHS, const ModuleID &RHS)