;
39 boolIsExplicit,
unsignedVisibilityID)
40: Name(Name), DefinitionLoc(DefinitionLoc),
Parent(
Parent),
41VisibilityID(VisibilityID), IsUnimportable(
false),
42HasIncompatibleModuleFile(
false), IsAvailable(
true),
43IsFromModuleFile(
false), IsFramework(IsFramework), IsExplicit(IsExplicit),
45InferSubmodules(
false), InferExplicitSubmodules(
false),
46InferExportWildcard(
false), ConfigMacrosExhaustive(
false),
47NoUndeclaredIncludes(
false), ModuleMapIsPrivate(
false),
48NamedModuleHasInit(
true), NameVisibility(Hidden) {
57 Parent->SubModules.push_back(
this);
64StringRef Platform =
Target.getPlatformName();
65StringRef
Env=
Target.getTriple().getEnvironmentName();
68 if(Platform == Feature ||
Target.getTriple().getOSName() == Feature ||
72 autoCmpPlatformEnv = [](StringRef LHS, StringRef RHS) {
73 autoPos = LHS.find(
'-');
74 if(Pos == StringRef::npos)
77NewLHS += LHS.slice(Pos+1, LHS.size());
88 if(
Target.getTriple().isOSDarwin() && PlatformEnv.ends_with(
"simulator"))
89 returnPlatformEnv == Feature || CmpPlatformEnv(PlatformEnv, Feature);
91 returnPlatformEnv == Feature;
98 bool HasFeature= llvm::StringSwitch<bool>(Feature)
99.Case(
"altivec", LangOpts.AltiVec)
100.Case(
"blocks", LangOpts.Blocks)
101.Case(
"coroutines", LangOpts.Coroutines)
102.Case(
"cplusplus", LangOpts.CPlusPlus)
103.Case(
"cplusplus11", LangOpts.CPlusPlus11)
104.Case(
"cplusplus14", LangOpts.CPlusPlus14)
105.Case(
"cplusplus17", LangOpts.CPlusPlus17)
106.Case(
"cplusplus20", LangOpts.CPlusPlus20)
107.Case(
"cplusplus23", LangOpts.CPlusPlus23)
108.Case(
"cplusplus26", LangOpts.CPlusPlus26)
109.Case(
"c99", LangOpts.C99)
110.Case(
"c11", LangOpts.C11)
111.Case(
"c17", LangOpts.C17)
112.Case(
"c23", LangOpts.C23)
113.Case(
"freestanding", LangOpts.Freestanding)
114.Case(
"gnuinlineasm", LangOpts.GNUAsm)
115.Case(
"objc", LangOpts.ObjC)
116.Case(
"objc_arc", LangOpts.ObjCAutoRefCount)
117.Case(
"opencl", LangOpts.OpenCL)
118.Case(
"tls",
Target.isTLSSupported())
119.Case(
"zvector", LangOpts.ZVector)
120.Default(
Target.hasFeature(Feature) ||
129 Module*&ShadowingModule)
const{
133 for(
const Module*Current =
this; Current; Current = Current->Parent) {
134 if(Current->ShadowingModule) {
138 for(
unsignedI = 0, N = Current->Requirements.size(); I != N; ++I) {
139 if(
hasFeature(Current->Requirements[I].FeatureName, LangOpts,
Target) !=
140Current->Requirements[I].RequiredState) {
141Req = Current->Requirements[I];
147llvm_unreachable(
"could not find a reason why module is unimportable");
165!CurrentModule.ends_with(
"_Private") &&
166TopLevelName.ends_with(
"_Private"))
167TopLevelName = TopLevelName.drop_back(8);
169 returnTopLevelName == CurrentModule;
175 Module*&ShadowingModule)
const{
184 for(
const Module*Current =
this; Current; Current = Current->Parent) {
185 if(!Current->MissingHeaders.empty()) {
186MissingHeader = Current->MissingHeaders.front();
191llvm_unreachable(
"could not find a reason why module is unavailable");
211 conststd::pair<std::string, SourceLocation> &IdComponent) {
212 returnIdComponent.first;
217template<
typenameInputIter>
219 boolAllowStringLiterals =
true) {
220 for(InputIter It =
Begin; It != End; ++It) {
229OS.write_escaped(Name);
235template<
typenameContainer>
245Names.push_back(M->Name);
249llvm::raw_string_ostream Out(
Result);
250 printModuleId(Out, Names.rbegin(), Names.rend(), AllowStringLiterals);
257 if(nameParts.empty() || M->Name != nameParts.back())
259nameParts = nameParts.drop_back();
261 returnnameParts.empty();
265 if(
const auto*Hdr = std::get_if<FileEntryRef>(&
Umbrella))
266 returnHdr->getDir();
267 if(
const auto*Dir = std::get_if<DirectoryEntryRef>(&
Umbrella))
274TopHeaders.insert(
File);
278 if(!TopHeaderNames.empty()) {
279 for(StringRef TopHeaderName : TopHeaderNames)
281TopHeaders.insert(*FE);
282TopHeaderNames.clear();
295 for(
auto*Use : Top->DirectUses)
305 if(!Requested->
Parent&& Requested->
Name==
"ptrauth")
327 autoneedUpdate = [Unimportable](
Module*M) {
328 returnM->IsAvailable || (!M->IsUnimportable && Unimportable);
331 if(!needUpdate(
this))
335Stack.push_back(
this);
336 while(!Stack.empty()) {
337 Module*Current = Stack.back();
340 if(!needUpdate(Current))
343Current->IsAvailable =
false;
344Current->IsUnimportable |= Unimportable;
345 for(
auto*Submodule : Current->submodules()) {
346 if(needUpdate(Submodule))
347Stack.push_back(Submodule);
354 for(
unsignedI = SubModuleIndex.size(),
E= SubModules.size(); I !=
E; ++I)
355SubModuleIndex[SubModules[I]->Name] = I;
357 if(
autoIt = SubModuleIndex.find(
Name); It != SubModuleIndex.end())
358 returnSubModules[It->second];
365 "fragment from the C++20 Named modules");
367 for(
auto*SubModule : SubModules)
368 if(SubModule->isExplicitGlobalModule())
376 "fragment from the C++20 Named modules");
378 for(
auto*SubModule : SubModules)
379 if(SubModule->isPrivateModule())
387 for(std::vector<Module *>::const_iterator I = SubModules.begin(),
388 E= SubModules.end();
392Exported.push_back(Mod);
396 boolAnyWildcard =
false;
397 boolUnrestrictedWildcard =
false;
399 for(
unsignedI = 0, N =
Exports.size(); I != N; ++I) {
403Exported.push_back(Mod);
411 if(UnrestrictedWildcard)
415WildcardRestrictions.push_back(Restriction);
417WildcardRestrictions.clear();
418UnrestrictedWildcard =
true;
427 for(
unsignedI = 0, N =
Imports.size(); I != N; ++I) {
429 boolAcceptable = UnrestrictedWildcard;
432 for(
unsignedR = 0, NR = WildcardRestrictions.size(); R != NR; ++R) {
433 Module*Restriction = WildcardRestrictions[R];
434 if(Mod == Restriction || Mod->
isSubModuleOf(Restriction)) {
444Exported.push_back(Mod);
448voidModule::buildVisibleModulesCache()
const{
449assert(VisibleModulesCache.empty() &&
"cache does not need building");
452VisibleModulesCache.insert(
this);
456 while(!Stack.empty()) {
457 Module*CurrModule = Stack.pop_back_val();
460 if(VisibleModulesCache.insert(CurrModule).second)
475OS.indent(Indent + 2);
479OS <<
" [extern_c]";
485OS.indent(Indent + 2);
487 for(
unsignedI = 0, N =
Requirements.size(); I != N; ++I) {
498OS.indent(Indent + 2);
499OS <<
"umbrella header \"";
500OS.write_escaped(H->NameAsWritten);
503OS.indent(Indent + 2);
504OS <<
"umbrella \"";
505OS.write_escaped(
D->NameAsWritten);
510OS.indent(Indent + 2);
511OS <<
"config_macros ";
513OS <<
"[exhaustive]";
514 for(
unsignedI = 0, N =
ConfigMacros.size(); I != N; ++I) {
531 for(
auto&K : Kinds) {
532assert(&K == &Kinds[K.Kind] &&
"kinds in wrong order");
534OS.indent(Indent + 2);
535OS << K.Prefix <<
"header \"";
536OS.write_escaped(H.NameAsWritten);
537OS <<
"\" { size "<< H.Entry.getSize()
538<<
" mtime "<< H.Entry.getModificationTime() <<
" }\n";
543OS.indent(Indent + 2);
544OS << Kinds[
U.Kind].Prefix <<
"header \"";
545OS.write_escaped(
U.FileName);
547 if(
U.Size ||
U.ModTime) {
550OS <<
" size "<< *
U.Size;
552OS <<
" mtime "<< *
U.ModTime;
560OS.indent(Indent + 2);
569 if(!Submodule->IsInferred || Submodule->IsFramework)
570Submodule->print(OS, Indent + 2, Dump);
572 for(
unsignedI = 0, N =
Exports.size(); I != N; ++I) {
573OS.indent(Indent + 2);
576OS << Restriction->getFullModuleName(
true);
586OS.indent(Indent + 2);
596OS.indent(Indent + 2);
597llvm::errs() <<
"import "<< M->getFullModuleName() <<
"\n";
601 for(
unsignedI = 0, N =
DirectUses.size(); I != N; ++I) {
602OS.indent(Indent + 2);
604OS <<
DirectUses[I]->getFullModuleName(
true);
609OS.indent(Indent + 2);
615 for(
unsignedI = 0, N =
LinkLibraries.size(); I != N; ++I) {
616OS.indent(Indent + 2);
626OS.indent(Indent + 2);
634 for(
unsignedI = 0, N =
Conflicts.size(); I != N; ++I) {
635OS.indent(Indent + 2);
637OS <<
Conflicts[I].Other->getFullModuleName(
true);
639OS.write_escaped(
Conflicts[I].Message);
644OS.indent(Indent + 2);
647OS <<
"module * {\n";
649OS.indent(Indent + 4);
652OS.indent(Indent + 2);
661 print(llvm::errs(), 0,
true);
668 "setVisible expects a valid import location");
676Visiting *ExportedBy;
679std::function<void(Visiting)> VisitModule = [&](Visiting
V) {
681 unsignedID =
V.M->getVisibilityID();
682 if(ImportLocs.size() <= ID)
683ImportLocs.resize(ID + 1);
684 else if(ImportLocs[ID].isValid())
687ImportLocs[ID] =
Loc;
692 V.M->getExportedModules(Exports);
695 if(!
E->isUnimportable())
696VisitModule({
E, &
V});
699 for(
auto&
C:
V.M->Conflicts) {
702 for(Visiting *I = &
V; I; I = I->ExportedBy)
703 Path.push_back(I->M);
704Cb(
Path,
C.Other,
C.Message);
708VisitModule({M,
nullptr});
Defines the clang::FileManager interface and associated types.
Defines the clang::LangOptions interface.
llvm::MachO::Target Target
static bool isPlatformEnvironment(const TargetInfo &Target, StringRef Feature)
static bool hasFeature(StringRef Feature, const LangOptions &LangOpts, const TargetInfo &Target)
Determine whether a translation unit built using the current language options has the given feature.
static void printModuleId(raw_ostream &OS, InputIter Begin, InputIter End, bool AllowStringLiterals=true)
static StringRef getModuleNameFromComponent(const std::pair< std::string, SourceLocation > &IdComponent)
Defines the clang::Module class, which describes a module in the source code.
static bool HasFeature(const Preprocessor &PP, StringRef Feature)
HasFeature - Return true if we recognize and implement the feature specified by the identifier as a s...
Defines the clang::SourceLocation class and associated facilities.
A reference to a FileEntry that includes the name of the file as it was accessed by the FileManager's...
Implements support for file system lookup, file system caching, and directory search management.
OptionalFileEntryRef getOptionalFileRef(StringRef Filename, bool OpenFile=false, bool CacheFailure=true)
Get a FileEntryRef if it exists, without doing anything on error.
Keeps track of the various options that can be enabled, which controls the dialect of C or C++ that i...
std::string ModuleName
The module currently being compiled as specified by -fmodule-name.
bool isCompilingModule() const
Are we compiling a module?
std::string CurrentModule
The name of the current module, of which the main source file is a part.
std::vector< std::string > ModuleFeatures
The names of any features to enable in module 'requires' decls in addition to the hard-coded list in ...
Required to construct a Module.
Describes a module or submodule.
StringRef getTopLevelModuleName() const
Retrieve the name of the top-level module.
void addRequirement(StringRef Feature, bool RequiredState, const LangOptions &LangOpts, const TargetInfo &Target)
Add the given feature requirement to the list of features required by this module.
unsigned IsExplicit
Whether this is an explicit submodule.
SmallVector< ExportDecl, 2 > Exports
The set of export declarations.
bool isForBuilding(const LangOptions &LangOpts) const
Determine whether this module can be built in this compilation.
std::variant< std::monostate, FileEntryRef, DirectoryEntryRef > Umbrella
The umbrella header or directory.
unsigned InferSubmodules
Whether we should infer submodules for this module based on the headers.
Module * findSubmodule(StringRef Name) const
Find the submodule with the given name.
bool directlyUses(const Module *Requested)
Determine whether this module has declared its intention to directly use another module.
std::vector< std::string > ConfigMacros
The set of "configuration macros", which are macros that (intentionally) change how this module is bu...
unsigned IsUnimportable
Whether this module has declared itself unimportable, either because it's missing a requirement from ...
void print(raw_ostream &OS, unsigned Indent=0, bool Dump=false) const
Print the module map for this module to the given stream.
bool isNamedModuleUnit() const
Is this a C++20 named module unit.
SmallVector< UnresolvedHeaderDirective, 1 > MissingHeaders
Headers that are mentioned in the module map file but could not be found on the file system.
Module * Parent
The parent of this module.
void markUnavailable(bool Unimportable)
Mark this module and all of its submodules as unavailable.
SmallVector< UnresolvedHeaderDirective, 1 > UnresolvedHeaders
Headers that are mentioned in the module map file but that we have not yet attempted to resolve to a ...
ModuleKind Kind
The kind of this module.
bool isUnimportable() const
Determine whether this module has been declared unimportable.
bool fullModuleNameIs(ArrayRef< StringRef > nameParts) const
Whether the full name of this module is equal to joining nameParts with "."s.
Module * getPrivateModuleFragment() const
Get the Private Module Fragment (sub-module) for this module, it there is one.
llvm::SmallSetVector< Module *, 2 > Imports
The set of modules imported by this module, and on which this module depends.
unsigned IsSystem
Whether this is a "system" module (which assumes that all headers in it are system headers).
std::string Name
The name of this module.
Module * getGlobalModuleFragment() const
Get the Global Module Fragment (sub-module) for this module, it there is one.
llvm::iterator_range< submodule_iterator > submodules()
unsigned IsExternC
Whether this is an 'extern "C"' module (which implicitly puts all headers in it within an 'extern "C"...
unsigned ModuleMapIsPrivate
Whether this module came from a "private" module map, found next to a regular (public) module map.
llvm::SmallVector< LinkLibrary, 2 > LinkLibraries
The set of libraries or frameworks to link against when an entity from this module is used.
SmallVector< UnresolvedExportDecl, 2 > UnresolvedExports
The set of export declarations that have yet to be resolved.
std::optional< Header > getUmbrellaHeaderAsWritten() const
Retrieve the umbrella header as written.
SmallVector< Requirement, 2 > Requirements
The set of language features required to use this module.
llvm::SmallSetVector< const Module *, 2 > UndeclaredUses
When NoUndeclaredIncludes is true, the set of modules this module tried to import but didn't because ...
SmallVector< ModuleId, 2 > UnresolvedDirectUses
The set of use declarations that have yet to be resolved.
unsigned NoUndeclaredIncludes
Whether files in this module can only include non-modular headers and headers from used modules.
SmallVector< Module *, 2 > DirectUses
The directly used modules.
unsigned ConfigMacrosExhaustive
Whether the set of configuration macros is exhaustive.
ArrayRef< Header > getHeaders(HeaderKind HK) const
bool isGlobalModule() const
Does this Module scope describe a fragment of the global module within some C++ module.
unsigned InferExportWildcard
Whether, when inferring submodules, the inferr submodules should export all modules they import (e....
void getExportedModules(SmallVectorImpl< Module * > &Exported) const
Appends this module's list of exported modules to Exported.
std::vector< UnresolvedConflict > UnresolvedConflicts
The list of conflicts for which the module-id has not yet been resolved.
bool isSubModuleOf(const Module *Other) const
Check if this module is a (possibly transitive) submodule of Other.
ArrayRef< FileEntryRef > getTopHeaders(FileManager &FileMgr)
The top-level headers associated with this module.
bool isAvailable() const
Determine whether this module is available for use within the current translation unit.
std::optional< DirectoryName > getUmbrellaDirAsWritten() const
Retrieve the umbrella directory as written.
void dump() const
Dump the contents of this module to the given output stream.
Module * ShadowingModule
A module with the same name that shadows this module.
unsigned IsFramework
Whether this is a framework module.
std::string ExportAsModule
The module through which entities defined in this module will eventually be exposed,...
std::string getFullModuleName(bool AllowStringLiterals=false) const
Retrieve the full name of this module, including the path from its top-level module.
void addTopHeader(FileEntryRef File)
Add a top-level header associated with this module.
unsigned IsAvailable
Whether this module is available in the current translation unit.
unsigned InferExplicitSubmodules
Whether, when inferring submodules, the inferred submodules should be explicit.
Module * getTopLevelModule()
Retrieve the top-level module for this (sub)module, which may be this module.
OptionalDirectoryEntryRef getEffectiveUmbrellaDir() const
Get the effective umbrella directory for this module: either the one explicitly written in the module...
std::vector< Conflict > Conflicts
The list of conflicts.
Encodes a location in the source.
bool isValid() const
Return true if this is a valid SourceLocation object.
Exposes information about the current target.
llvm::function_ref< void(ArrayRef< Module * > Path, Module *Conflict, StringRef Message)> ConflictCallback
A callback to call when a module conflict is found.
llvm::function_ref< void(Module *M)> VisibleCallback
A callback to call when a module is made visible (directly or indirectly) by a call to setVisible.
bool isVisible(const Module *M) const
Determine whether a module is visible.
void setVisible(Module *M, SourceLocation Loc, VisibleCallback Vis=[](Module *) {}, ConflictCallback Cb=[](ArrayRef< Module * >, Module *, StringRef) {})
Make a specific module visible.
Defines the clang::TargetInfo interface.
The JSON file list parser is used to communicate input to InstallAPI.
LLVM_READONLY bool isValidAsciiIdentifier(StringRef S, bool AllowDollar=false)
Return true if this is a valid ASCII identifier.
@ Result
The result type of a method or function.
@ Other
Other implicit parameter.
RetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4