30#include "llvm/Config/llvm-config.h"
31#include "llvm/Support/ErrorHandling.h"
32#include "llvm/Support/FileSystem.h"
33#include "llvm/Support/MemoryBuffer.h"
34#include "llvm/Support/YAMLTraits.h"
35#include "llvm/Support/raw_ostream.h"
38#include <system_error>
55 GetCodeCompletionConsumer(CI));
63std::unique_ptr<ASTConsumer>
65 return std::make_unique<ASTConsumer>();
86std::unique_ptr<ASTConsumer>
89 return std::make_unique<ASTConsumer>();
96std::unique_ptr<ASTConsumer>
98 if (std::unique_ptr<raw_ostream> OS =
104std::unique_ptr<ASTConsumer>
113std::unique_ptr<ASTConsumer>
118std::unique_ptr<ASTConsumer>
123std::unique_ptr<ASTConsumer>
129 std::string OutputFile;
130 std::unique_ptr<raw_pwrite_stream> OS =
139 auto Buffer = std::make_shared<PCHBuffer>();
140 std::vector<std::unique_ptr<ASTConsumer>> Consumers;
141 Consumers.push_back(std::make_unique<PCHGenerator>(
145 FrontendOpts.IncludeTimestamps, FrontendOpts.BuildingImplicitModule));
147 CI, std::string(InFile), OutputFile, std::move(OS), Buffer));
149 return std::make_unique<MultiplexConsumer>(std::move(Consumers));
153 std::string &Sysroot) {
163std::unique_ptr<llvm::raw_pwrite_stream>
165 std::string &OutputFile,
169 true, InFile,
"",
false,
190std::vector<std::unique_ptr<ASTConsumer>>
194 OS = CreateOutputFile(CI, InFile);
201 auto Buffer = std::make_shared<PCHBuffer>();
202 std::vector<std::unique_ptr<ASTConsumer>> Consumers;
204 Consumers.push_back(std::make_unique<PCHGenerator>(
214 CI, std::string(InFile), OutputFile, std::move(OS), Buffer));
218std::unique_ptr<ASTConsumer>
221 std::vector<std::unique_ptr<ASTConsumer>> Consumers =
223 if (Consumers.empty())
226 return std::make_unique<MultiplexConsumer>(std::move(Consumers));
234bool GenerateModuleFromModuleMapAction::BeginSourceFileAction(
244std::unique_ptr<raw_pwrite_stream>
251 if (ModuleMapFile.empty())
252 ModuleMapFile = InFile;
271 if (
const auto InputFormat = FIF.getKind().getFormat();
274 diag::err_frontend_action_unsupported_input_format)
275 <<
"module interface compilation" << FIF.getFile() << InputFormat;
289std::unique_ptr<ASTConsumer>
292 std::vector<std::unique_ptr<ASTConsumer>> Consumers;
296 Consumers.push_back(std::make_unique<ReducedBMIGenerator>(
302 Consumers.push_back(std::make_unique<CXX20ModulesGenerator>(
307 return std::make_unique<MultiplexConsumer>(std::move(Consumers));
310std::unique_ptr<raw_pwrite_stream>
316std::unique_ptr<ASTConsumer>
317GenerateReducedModuleInterfaceAction::CreateASTConsumer(
CompilerInstance &CI,
319 return std::make_unique<ReducedBMIGenerator>(
333std::unique_ptr<raw_pwrite_stream>
342std::unique_ptr<ASTConsumer>
344 return std::make_unique<ASTConsumer>();
347std::unique_ptr<ASTConsumer>
350 return std::make_unique<ASTConsumer>();
353std::unique_ptr<ASTConsumer>
355 return std::make_unique<ASTConsumer>();
362 std::unique_ptr<ASTReader> Reader(
new ASTReader(
366 Sysroot.empty() ?
"" : Sysroot.c_str(),
378struct TemplightEntry {
382 std::string DefinitionLocation;
383 std::string PointOfInstantiation;
389template <>
struct MappingTraits<TemplightEntry> {
390 static void mapping(IO &io, TemplightEntry &fields) {
391 io.mapRequired(
"name", fields.Name);
392 io.mapRequired(
"kind", fields.Kind);
393 io.mapRequired(
"event", fields.Event);
394 io.mapRequired(
"orig", fields.DefinitionLocation);
395 io.mapRequired(
"poi", fields.PointOfInstantiation);
403 using CodeSynthesisContext = Sema::CodeSynthesisContext;
408 void finalize(
const Sema &)
override {}
411 const CodeSynthesisContext &Inst)
override {
412 displayTemplightEntry<true>(llvm::outs(), TheSema, Inst);
416 const CodeSynthesisContext &Inst)
override {
417 displayTemplightEntry<false>(llvm::outs(), TheSema, Inst);
421 static std::string
toString(CodeSynthesisContext::SynthesisKind Kind) {
423 case CodeSynthesisContext::TemplateInstantiation:
424 return "TemplateInstantiation";
425 case CodeSynthesisContext::DefaultTemplateArgumentInstantiation:
426 return "DefaultTemplateArgumentInstantiation";
427 case CodeSynthesisContext::DefaultFunctionArgumentInstantiation:
428 return "DefaultFunctionArgumentInstantiation";
429 case CodeSynthesisContext::ExplicitTemplateArgumentSubstitution:
430 return "ExplicitTemplateArgumentSubstitution";
431 case CodeSynthesisContext::DeducedTemplateArgumentSubstitution:
432 return "DeducedTemplateArgumentSubstitution";
433 case CodeSynthesisContext::LambdaExpressionSubstitution:
434 return "LambdaExpressionSubstitution";
435 case CodeSynthesisContext::PriorTemplateArgumentSubstitution:
436 return "PriorTemplateArgumentSubstitution";
437 case CodeSynthesisContext::DefaultTemplateArgumentChecking:
438 return "DefaultTemplateArgumentChecking";
439 case CodeSynthesisContext::ExceptionSpecEvaluation:
440 return "ExceptionSpecEvaluation";
441 case CodeSynthesisContext::ExceptionSpecInstantiation:
442 return "ExceptionSpecInstantiation";
443 case CodeSynthesisContext::DeclaringSpecialMember:
444 return "DeclaringSpecialMember";
445 case CodeSynthesisContext::DeclaringImplicitEqualityComparison:
446 return "DeclaringImplicitEqualityComparison";
447 case CodeSynthesisContext::DefiningSynthesizedFunction:
448 return "DefiningSynthesizedFunction";
449 case CodeSynthesisContext::RewritingOperatorAsSpaceship:
450 return "RewritingOperatorAsSpaceship";
451 case CodeSynthesisContext::Memoization:
452 return "Memoization";
453 case CodeSynthesisContext::ConstraintsCheck:
454 return "ConstraintsCheck";
455 case CodeSynthesisContext::ConstraintSubstitution:
456 return "ConstraintSubstitution";
457 case CodeSynthesisContext::RequirementParameterInstantiation:
458 return "RequirementParameterInstantiation";
459 case CodeSynthesisContext::ParameterMappingSubstitution:
460 return "ParameterMappingSubstitution";
461 case CodeSynthesisContext::RequirementInstantiation:
462 return "RequirementInstantiation";
463 case CodeSynthesisContext::NestedRequirementConstraintsCheck:
464 return "NestedRequirementConstraintsCheck";
465 case CodeSynthesisContext::InitializingStructuredBinding:
466 return "InitializingStructuredBinding";
467 case CodeSynthesisContext::MarkingClassDllexported:
468 return "MarkingClassDllexported";
469 case CodeSynthesisContext::BuildingBuiltinDumpStructCall:
470 return "BuildingBuiltinDumpStructCall";
471 case CodeSynthesisContext::BuildingDeductionGuides:
472 return "BuildingDeductionGuides";
473 case CodeSynthesisContext::TypeAliasTemplateInstantiation:
474 return "TypeAliasTemplateInstantiation";
475 case CodeSynthesisContext::PartialOrderingTTP:
476 return "PartialOrderingTTP";
477 case CodeSynthesisContext::SYCLKernelLaunchLookup:
478 return "SYCLKernelLaunchLookup";
479 case CodeSynthesisContext::SYCLKernelLaunchOverloadResolution:
480 return "SYCLKernelLaunchOverloadResolution";
485 template <
bool BeginInstantiation>
486 static void displayTemplightEntry(llvm::raw_ostream &Out,
const Sema &TheSema,
487 const CodeSynthesisContext &Inst) {
490 llvm::raw_string_ostream
OS(YAML);
491 llvm::yaml::Output YO(OS);
492 TemplightEntry Entry =
493 getTemplightEntry<BeginInstantiation>(TheSema, Inst);
494 llvm::yaml::EmptyContext Context;
495 llvm::yaml::yamlize(YO, Entry,
true, Context);
497 Out <<
"---" << YAML <<
"\n";
500 static void printEntryName(
const Sema &TheSema,
const Decl *Entity,
501 llvm::raw_string_ostream &OS) {
507 NamedTemplate->getNameForDiagnostic(OS, Policy,
true);
509 if (!
OS.str().empty())
513 NamedDecl *NamedCtx = dyn_cast_or_null<NamedDecl>(Ctx);
515 if (
const auto *Decl = dyn_cast<TagDecl>(NamedTemplate)) {
516 if (
const auto *R = dyn_cast<RecordDecl>(Decl)) {
523 OS <<
"unnamed " <<
Decl->getKindName();
527 assert(NamedCtx &&
"NamedCtx cannot be null");
529 if (
const auto *Decl = dyn_cast<ParmVarDecl>(NamedTemplate)) {
530 OS <<
"unnamed function parameter " <<
Decl->getFunctionScopeIndex()
532 if (
Decl->getFunctionScopeDepth() > 0)
533 OS <<
"(at depth " <<
Decl->getFunctionScopeDepth() <<
") ";
539 if (
const auto *Decl = dyn_cast<TemplateTypeParmDecl>(NamedTemplate)) {
540 if (
const Type *Ty =
Decl->getTypeForDecl()) {
541 if (
const auto *TTPT = dyn_cast_or_null<TemplateTypeParmType>(Ty)) {
542 OS <<
"unnamed template type parameter " << TTPT->getIndex() <<
" ";
543 if (TTPT->getDepth() > 0)
544 OS <<
"(at depth " << TTPT->getDepth() <<
") ";
552 if (
const auto *Decl = dyn_cast<NonTypeTemplateParmDecl>(NamedTemplate)) {
553 OS <<
"unnamed template non-type parameter " <<
Decl->getIndex() <<
" ";
554 if (
Decl->getDepth() > 0)
555 OS <<
"(at depth " <<
Decl->getDepth() <<
") ";
561 if (
const auto *Decl = dyn_cast<TemplateTemplateParmDecl>(NamedTemplate)) {
562 OS <<
"unnamed template template parameter " <<
Decl->getIndex() <<
" ";
563 if (
Decl->getDepth() > 0)
564 OS <<
"(at depth " <<
Decl->getDepth() <<
") ";
570 llvm_unreachable(
"Failed to retrieve a name for this entry!");
571 OS <<
"unnamed identifier";
574 template <
bool BeginInstantiation>
575 static TemplightEntry getTemplightEntry(
const Sema &TheSema,
576 const CodeSynthesisContext &Inst) {
577 TemplightEntry Entry;
579 Entry.Event = BeginInstantiation ?
"Begin" :
"End";
580 llvm::raw_string_ostream
OS(Entry.Name);
581 printEntryName(TheSema, Inst.Entity, OS);
582 const PresumedLoc DefLoc =
585 Entry.DefinitionLocation = std::string(DefLoc.
getFilename()) +
":" +
586 std::to_string(DefLoc.
getLine()) +
":" +
588 const PresumedLoc PoiLoc =
591 Entry.PointOfInstantiation = std::string(PoiLoc.
getFilename()) +
":" +
592 std::to_string(PoiLoc.
getLine()) +
":" +
600std::unique_ptr<ASTConsumer>
602 return std::make_unique<ASTConsumer>();
612 EnsureSemaIsCreated(CI, *
this);
615 std::make_unique<DefaultTemplateInstCallback>());
623 llvm::raw_ostream &Out;
630#define DUMP_BOOLEAN(Value, Text) \
631 Out.indent(4) << Text << ": " << (Value? "Yes" : "No") << "\n"
633 bool ReadFullVersionInformation(StringRef FullVersion)
override {
638 <<
" Clang: " << FullVersion <<
"\n";
642 void ReadModuleName(StringRef ModuleName)
override {
643 Out.indent(2) <<
"Module name: " << ModuleName <<
"\n";
645 void ReadModuleMapFile(StringRef ModuleMapPath)
override {
646 Out.indent(2) <<
"Module map file: " << ModuleMapPath <<
"\n";
649 bool ReadLanguageOptions(
const LangOptions &LangOpts,
650 StringRef ModuleFilename,
bool Complain,
651 bool AllowCompatibleDifferences)
override {
653 using CK = LangOptions::CompatibilityKind;
655 Out.indent(2) <<
"Language options:\n";
656#define LANGOPT(Name, Bits, Default, Compatibility, Description) \
657 if constexpr (CK::Compatibility != CK::Benign) \
658 DUMP_BOOLEAN(LangOpts.Name, Description);
659#define ENUM_LANGOPT(Name, Type, Bits, Default, Compatibility, Description) \
660 if constexpr (CK::Compatibility != CK::Benign) \
661 Out.indent(4) << Description << ": " \
662 << static_cast<unsigned>(LangOpts.get##Name()) << "\n";
663#define VALUE_LANGOPT(Name, Bits, Default, Compatibility, Description) \
664 if constexpr (CK::Compatibility != CK::Benign) \
665 Out.indent(4) << Description << ": " << LangOpts.Name << "\n";
666#include "clang/Basic/LangOptions.def"
669 Out.indent(4) <<
"Module features:\n";
677 bool ReadTargetOptions(
const TargetOptions &TargetOpts,
678 StringRef ModuleFilename,
bool Complain,
679 bool AllowCompatibleDifferences)
override {
680 Out.indent(2) <<
"Target options:\n";
681 Out.indent(4) <<
" Triple: " << TargetOpts.
Triple <<
"\n";
682 Out.indent(4) <<
" CPU: " << TargetOpts.
CPU <<
"\n";
683 Out.indent(4) <<
" TuneCPU: " << TargetOpts.
TuneCPU <<
"\n";
684 Out.indent(4) <<
" ABI: " << TargetOpts.
ABI <<
"\n";
687 Out.indent(4) <<
"Target features:\n";
697 bool ReadDiagnosticOptions(DiagnosticOptions &DiagOpts,
698 StringRef ModuleFilename,
699 bool Complain)
override {
700 Out.indent(2) <<
"Diagnostic options:\n";
701#define DIAGOPT(Name, Bits, Default) DUMP_BOOLEAN(DiagOpts.Name, #Name);
702#define ENUM_DIAGOPT(Name, Type, Bits, Default) \
703 Out.indent(4) << #Name << ": " \
704 << static_cast<unsigned>(DiagOpts.get##Name()) << "\n";
705#define VALUE_DIAGOPT(Name, Bits, Default) \
706 Out.indent(4) << #Name << ": " << DiagOpts.Name << "\n";
707#include "clang/Basic/DiagnosticOptions.def"
709 Out.indent(4) <<
"Diagnostic flags:\n";
718 bool ReadHeaderSearchOptions(
const HeaderSearchOptions &HSOpts,
719 StringRef ModuleFilename,
720 StringRef ContextHash,
721 bool Complain)
override {
724 std::string(ContextHash));
726 Out.indent(2) <<
"Header search options:\n";
727 Out.indent(4) <<
"System root [-isysroot=]: '" << HSOpts.
Sysroot <<
"'\n";
728 Out.indent(4) <<
"Resource dir [ -resource-dir=]: '" << HSOpts.
ResourceDir <<
"'\n";
729 Out.indent(4) <<
"Module Cache: '" << SpecificModuleCachePath <<
"'\n";
731 "Use builtin include directories [-nobuiltininc]");
733 "Use standard system include directories [-nostdinc]");
735 "Use standard C++ include directories [-nostdinc++]");
737 "Use libc++ (rather than libstdc++) [-stdlib=]");
741 bool ReadHeaderSearchPaths(
const HeaderSearchOptions &HSOpts,
742 bool Complain)
override {
743 Out.indent(2) <<
"Header search paths:\n";
744 Out.indent(4) <<
"User entries:\n";
746 Out.indent(6) << Entry.Path <<
"\n";
747 Out.indent(4) <<
"System header prefixes:\n";
749 Out.indent(6) << Prefix.Prefix <<
"\n";
750 Out.indent(4) <<
"VFS overlay files:\n";
752 Out.indent(6) << Overlay <<
"\n";
756 bool ReadPreprocessorOptions(
const PreprocessorOptions &PPOpts,
757 StringRef ModuleFilename,
bool ReadMacros,
759 std::string &SuggestedPredefines)
override {
760 Out.indent(2) <<
"Preprocessor options:\n";
762 "Uses compiler/target-specific predefines [-undef]");
764 "Uses detailed preprocessing record (for indexing)");
767 Out.indent(4) <<
"Predefined macros:\n";
770 for (std::vector<std::pair<std::string, bool/*isUndef*/> >::const_iterator
778 Out << I->first <<
"\n";
784 void readModuleFileExtension(
785 const ModuleFileExtensionMetadata &Metadata)
override {
786 Out.indent(2) <<
"Module file extension '"
799 bool needsInputFileVisitation()
override {
return true; }
803 bool needsSystemInputFileVisitation()
override {
return true; }
808 bool visitInputFileAsRequested(StringRef FilenameAsRequested,
809 StringRef Filename,
bool isSystem,
810 bool isOverridden, time_t StoredTime,
811 bool isExplicitModule)
override {
813 Out.indent(2) <<
"Input file: " << FilenameAsRequested;
815 if (isSystem || isOverridden || isExplicitModule) {
819 if (isOverridden || isExplicitModule)
824 if (isExplicitModule)
827 if (isExplicitModule)
828 Out <<
"ExplicitModule";
836 Out.indent(4) <<
"MTime: " << llvm::itostr(StoredTime) <<
"\n";
843 bool needsImportVisitation()
const override {
return true; }
847 void visitImport(StringRef ModuleName, StringRef Filename)
override {
848 Out.indent(2) <<
"Imports module '" << ModuleName
849 <<
"': " << Filename.str() <<
"\n";
865 return "Module Map Module";
867 return "Interface Unit";
869 return "Implementation Unit";
871 return "Partition Interface";
873 return "Partition Implementation";
875 return "Header Unit";
877 return "Global Module Fragment";
879 return "Implicit Module Fragment";
881 return "Private Module Fragment";
883 llvm_unreachable(
"unknown module kind!");
898 if (!OutputFileName.empty() && OutputFileName !=
"-") {
900 OutputStream.reset(
new llvm::raw_fd_ostream(
901 OutputFileName.str(), EC, llvm::sys::fs::OF_TextWithCRLF));
903 llvm::raw_ostream &Out = OutputStream ? *OutputStream : llvm::outs();
905 Out <<
"Information for module file '" <<
getCurrentFile() <<
"':\n";
908 StringRef Magic = (*Buffer)->getMemBufferRef().getBuffer();
909 bool IsRaw = Magic.starts_with(
"CPCH");
910 Out <<
" Module format: " << (IsRaw ?
"raw" :
"obj") <<
"\n";
915 PP.getHeaderSearchInfo().getHeaderSearchOpts();
924 unsigned SubModuleCount = R->getTotalNumSubmodules();
926 Out <<
" ====== C++20 Module structure ======\n";
929 Out <<
" Mismatched module names : " << MF.
ModuleName <<
" and "
939 std::map<std::string, SubModInfo> SubModMap;
942 auto I = SubModMap.find(Name);
943 if (I == SubModMap.end())
944 Out <<
" was not found in the sub modules!\n";
946 I->second.Seen =
true;
947 Out <<
" is at index #" << I->second.Idx <<
"\n";
950 Module *Primary =
nullptr;
951 for (
unsigned Idx = 0; Idx <= SubModuleCount; ++Idx) {
952 Module *M = R->getModule(Idx);
958 <<
"' is the Primary Module at index #" << Idx <<
"\n";
959 SubModMap.insert({M->
Name, {Idx, M, M->
Kind, M->Name,
true}});
961 SubModMap.insert({M->
Name, {Idx, M, M->
Kind, M->Name,
false}});
965 Out <<
" Sub Modules:\n";
967 PrintSubMapEntry(MI->Name, MI->Kind);
970 Out <<
" Imports:\n";
972 PrintSubMapEntry(IMP->
Name, IMP->
Kind);
975 Out <<
" Exports:\n";
976 for (
unsigned MN = 0, N = Primary->
Exports.size(); MN != N; ++MN) {
978 PrintSubMapEntry(M->Name, M->Kind);
987 std::vector<StringRef> MacroNames;
988 for (
const auto &M : R->getPreprocessor().macros()) {
989 if (M.first->isFromAST())
990 MacroNames.push_back(M.first->getName());
992 llvm::sort(MacroNames);
993 if (!MacroNames.empty())
994 Out <<
" Macro Definitions:\n";
995 for (StringRef Name : MacroNames)
996 Out <<
" " << Name <<
"\n";
1000 for (
const auto &
SM : SubModMap) {
1001 if (!
SM.second.Seen &&
SM.second.Mod) {
1003 <<
"' at index #" <<
SM.second.Idx
1004 <<
" has no direct reference in the Primary\n";
1007 Out <<
" ====== ======\n";
1028 llvm::MemoryBufferRef FromFile =
SM.getBufferOrFake(
SM.getMainFileID());
1034 while (RawTok.
isNot(tok::eof)) {
1036 llvm::errs() <<
"\n";
1049 llvm::errs() <<
"\n";
1050 }
while (
Tok.isNot(tok::eof));
1064 }
while (
Tok.isNot(tok::eof));
1083 bool BinaryMode =
false;
1084 if (llvm::Triple(LLVM_HOST_TRIPLE).isOSWindows()) {
1087 if (std::optional<llvm::MemoryBufferRef> Buffer =
1088 SM.getBufferOrNone(
SM.getMainFileID())) {
1089 const char *cur = Buffer->getBufferStart();
1090 const char *end = Buffer->getBufferEnd();
1091 const char *next = (cur != end) ? cur + 1 : end;
1096 if (end - cur > 256)
1099 while (next < end) {
1105 }
else if (*cur == 0x0A)
1114 std::unique_ptr<raw_ostream> OS =
1122 if (Input.isFile()) {
1124 OS->write_escaped(Input.getFile());
1128 (*OS) <<
"#pragma clang module contents\n";
1165 llvm::outs().write((*Buffer)->getBufferStart(),
Preamble);
1170 StringRef CompilerOptionNames,
1172 bool FirstValue =
true;
1173 for (
bool CompilerOptionValue : CompilerOptionValues) {
1174 auto [CompilerOptionName, RemainingCompilerOptionNames] =
1175 CompilerOptionNames.split(
'\0');
1176 CompilerOptionNames = RemainingCompilerOptionNames;
1180 OS <<
"\t{\"" << CompilerOptionName
1181 <<
"\" : " << (CompilerOptionValue ?
"true" :
"false") <<
"}";
1183 assert(CompilerOptionNames.empty() &&
"compiler option name count mismatch");
1188 std::unique_ptr<raw_ostream> OSP =
1193 raw_ostream &
OS = *OSP;
1203 OS <<
"\n\"features\" : [\n";
1205 static constexpr char FeatureNames[] = {
1206#define FEATURE(Name, Predicate) #Name "\0"
1207#include "clang/Basic/Features.def"
1209 const bool FeatureValues[] = {
1210#define FEATURE(Name, Predicate) static_cast<bool>(Predicate),
1211#include "clang/Basic/Features.def"
1214 OS, StringRef(FeatureNames,
sizeof(FeatureNames) - 1), FeatureValues);
1218 OS <<
"\n\"extensions\" : [\n";
1220 static constexpr char ExtensionNames[] = {
1221#define EXTENSION(Name, Predicate) #Name "\0"
1222#include "clang/Basic/Features.def"
1224 const bool ExtensionValues[] = {
1225#define EXTENSION(Name, Predicate) static_cast<bool>(Predicate),
1226#include "clang/Basic/Features.def"
1229 OS, StringRef(ExtensionNames,
sizeof(ExtensionNames) - 1),
1240 llvm::MemoryBufferRef FromFile =
SM.getBufferOrFake(
SM.getMainFileID());
1246 SM.getLocForStartOfFile(
SM.getMainFileID()))) {
1248 "no errors reported for failure");
1260 }
while (
Tok.isNot(tok::eof));
1275 StringRef RootSigName;
1276 llvm::dxbc::RootSignatureVersion Version;
1278 std::optional<StringLiteral *> processStringLiteral(
ArrayRef<Token> Tokens) {
1281 return std::nullopt;
1283 ExprResult StringResult = Actions.ActOnUnevaluatedStringLiteral(Tokens);
1285 return std::nullopt;
1287 if (
auto Signature = dyn_cast<StringLiteral>(StringResult.
get()))
1290 return std::nullopt;
1300 auto Signature = processStringLiteral(MI->
tokens());
1301 if (!Signature.has_value()) {
1303 diag::err_expected_string_literal)
1304 << 4 <<
"RootSignature";
1310 Actions.HLSL().SetRootSignatureOverride(DeclIdent);
1314 llvm::dxbc::RootSignatureVersion Version)
1315 :
PPCallbacks(), Actions(Actions), RootSigName(RootSigName),
1335 bool IsRootSignatureTarget =
1341 StringRef RootSigName =
1344 auto MacroCallback = std::make_unique<InjectRootSignatureCallback>(
1351 if (IsRootSignatureTarget)
This is the interface for scanning header and source files to get the minimum necessary preprocessor ...
Defines the clang::FileManager interface and associated types.
static void writeCompilerOptionValues(raw_ostream &OS, StringRef CompilerOptionNames, ArrayRef< bool > CompilerOptionValues)
#define DUMP_BOOLEAN(Value, Text)
static StringRef ModuleKindName(Module::ModuleKind MK)
Defines the clang::Module class, which describes a module in the source code.
Defines the clang::Preprocessor interface.
static std::string toString(const clang::SanitizerSet &Sanitizers)
Produce a string containing comma-separated names of sanitizers in Sanitizers set.
void MacroDefined(const Token &MacroNameTok, const MacroDirective *MD) override
Hook called whenever a macro definition is seen.
InjectRootSignatureCallback(Sema &Actions, StringRef RootSigName, llvm::dxbc::RootSignatureVersion Version)
const clang::PrintingPolicy & getPrintingPolicy() const
const TargetInfo & getTargetInfo() const
std::unique_ptr< ASTConsumer > CreateASTConsumer(CompilerInstance &CI, StringRef InFile) override
Create the AST consumer object for this action, if supported.
std::unique_ptr< ASTConsumer > CreateASTConsumer(CompilerInstance &CI, StringRef InFile) override
Create the AST consumer object for this action, if supported.
void ExecuteAction() override
Implement the ExecuteAction interface by running Sema on the already-initialized AST consumer.
std::unique_ptr< ASTConsumer > CreateASTConsumer(CompilerInstance &CI, StringRef InFile) override
Create the AST consumer object for this action, if supported.
Abstract interface for callback invocations by the ASTReader.
virtual bool ReadFullVersionInformation(StringRef FullVersion)
Receives the full Clang version information.
Reads an AST files chain containing the contents of a translation unit.
@ ARR_ConfigurationMismatch
The client can handle an AST file that cannot load because it's compiled configuration doesn't match ...
static bool readASTFileControlBlock(StringRef Filename, FileManager &FileMgr, const ModuleCache &ModCache, const PCHContainerReader &PCHContainerRdr, bool FindModuleFileExtensions, ASTReaderListener &Listener, bool ValidateDiagnosticOptions, unsigned ClientLoadCapabilities=ARR_ConfigurationMismatch|ARR_OutOfDate)
Read the control block for the named AST file.
const LangOptions & getLangOpts() const
IntrusiveRefCntPtr< ASTReader > getASTReader() const
std::unique_ptr< ASTConsumer > CreateASTConsumer(CompilerInstance &CI, StringRef InFile) override
Create the AST consumer object for this action, if supported.
Abstract interface for a consumer of code-completion information.
CompilerInstance - Helper class for managing a single instance of the Clang compiler.
std::unique_ptr< raw_pwrite_stream > createDefaultOutputFile(bool Binary=true, StringRef BaseInput="", StringRef Extension="", bool RemoveFileOnSignal=true, bool CreateMissingDirectories=false, bool ForceUseTemporary=false, bool SetOnlyIfDifferent=false)
Create the default output file (from the invocation's options) and add it to the list of tracked outp...
const PCHContainerReader & getPCHContainerReader() const
Return the appropriate PCHContainerReader depending on the current CodeGenOptions.
DiagnosticsEngine & getDiagnostics() const
Get the current diagnostics engine.
FileManager & getFileManager() const
Return the current file manager to the caller.
PreprocessorOutputOptions & getPreprocessorOutputOpts()
ModuleCache & getModuleCache() const
bool hasASTContext() const
Preprocessor & getPreprocessor() const
Return the current preprocessor.
ASTContext & getASTContext() const
FrontendOptions & getFrontendOpts()
HeaderSearchOptions & getHeaderSearchOpts()
bool hasCodeCompletionConsumer() const
const PCHContainerWriter & getPCHContainerWriter() const
Return the appropriate PCHContainerWriter depending on the current CodeGenOptions.
PreprocessorOptions & getPreprocessorOpts()
void createCodeCompletionConsumer()
Create a code completion consumer using the invocation; note that this will cause the source manager ...
DiagnosticOptions & getDiagnosticOpts()
LangOptions & getLangOpts()
CodeGenOptions & getCodeGenOpts()
SourceManager & getSourceManager() const
Return the current source manager.
CodeCompleteConsumer & getCodeCompletionConsumer() const
bool hasPreprocessor() const
void createSema(TranslationUnitKind TUKind, CodeCompleteConsumer *CompletionConsumer)
Create the Sema object to be used for parsing.
static Decl * castFromDeclContext(const DeclContext *)
std::vector< std::string > Remarks
The list of -R... options used to alter the diagnostic mappings, with the prefixes removed.
std::vector< std::string > Warnings
The list of -W... options used to alter the diagnostic mappings, with the prefixes removed.
DiagnosticBuilder Report(SourceLocation Loc, unsigned DiagID)
Issue the message to the client.
bool hasErrorOccurred() const
void setSuppressAllDiagnostics(bool Val)
Suppress all diagnostics, to silence the front end when we know that we don't want any more diagnosti...
std::unique_ptr< ASTConsumer > CreateASTConsumer(CompilerInstance &CI, StringRef InFile) override
Create the AST consumer object for this action, if supported.
void ExecuteAction() override
Implement the ExecuteAction interface by running Sema on the already-initialized AST consumer.
bool BeginInvocation(CompilerInstance &CI) override
Callback before starting processing a single input, giving the opportunity to modify the CompilerInvo...
void ExecuteAction() override
Callback to run the program action, using the initialized compiler instance.
void ExecuteAction() override
Callback to run the program action, using the initialized compiler instance.
Implements support for file system lookup, file system caching, and directory search management.
llvm::ErrorOr< std::unique_ptr< llvm::MemoryBuffer > > getBufferForFile(FileEntryRef Entry, bool isVolatile=false, bool RequiresNullTerminator=true, std::optional< int64_t > MaybeLimit=std::nullopt, bool IsText=true)
Open the specified file as a MemoryBuffer, returning a new MemoryBuffer if successful,...
Abstract base class for actions which can be performed by the frontend.
const FrontendInputFile & getCurrentInput() const
InputKind getCurrentFileKind() const
virtual bool shouldEraseOutputFiles()
Callback at the end of processing a single input, to determine if the output files should be erased o...
ASTUnit & getCurrentASTUnit() const
CompilerInstance & getCompilerInstance() const
virtual bool PrepareToExecuteAction(CompilerInstance &CI)
Prepare to execute the action on the given CompilerInstance.
Module * getCurrentModule() const
StringRef getCurrentFile() const
virtual bool BeginSourceFileAction(CompilerInstance &CI)
Callback at the start of processing a single input.
virtual void ExecuteAction()=0
Callback to run the program action, using the initialized compiler instance.
virtual TranslationUnitKind getTranslationUnitKind()
For AST-based actions, the kind of translation unit we're handling.
virtual bool hasCodeCompletionSupport() const
Does this action support use with code completion?
StringRef getCurrentFileOrBufferName() const
bool isCurrentFileAST() const
FrontendOptions - Options for controlling the behavior of the frontend.
unsigned BuildingImplicitModule
Whether we are performing an implicit module build.
unsigned AllowPCMWithCompilerErrors
Output (and read) PCM files regardless of compiler errors.
unsigned IncludeTimestamps
Whether timestamps should be written to the produced PCH file.
std::string ASTDumpFilter
If given, filter dumped AST Decl nodes by this substring.
unsigned ASTDumpLookups
Whether we include lookup table dumps in AST dumps.
ASTDumpOutputFormat ASTDumpFormat
Specifies the output format of the AST.
std::string OutputFile
The output file, if any.
unsigned GenReducedBMI
Whether to generate reduced BMI for C++20 named modules.
std::vector< std::shared_ptr< ModuleFileExtension > > ModuleFileExtensions
The list of module file extensions.
ParsedSourceLocation CodeCompletionAt
If given, enable code completion at the provided location.
std::string OriginalModuleMap
When the input is a module map, the original module map file from which that map was inferred,...
std::string ModuleOutputPath
Output Path for module output file.
unsigned ASTDumpDeclTypes
Whether we include declaration type dumps in AST dumps.
unsigned ASTDumpAll
Whether we deserialize all decls when forming AST dumps.
unsigned RelocatablePCH
When generating PCH files, instruct the AST writer to create relocatable PCH files.
SmallVector< FrontendInputFile, 0 > Inputs
The input files and their types.
unsigned ASTDumpDecls
Whether we include declaration dumps in AST dumps.
bool shouldEraseOutputFiles() override
Callback at the end of processing a single input, to determine if the output files should be erased o...
std::vector< std::unique_ptr< ASTConsumer > > CreateMultiplexConsumer(CompilerInstance &CI, StringRef InFile)
std::unique_ptr< ASTConsumer > CreateASTConsumer(CompilerInstance &CI, StringRef InFile) override
Create the AST consumer object for this action, if supported.
bool BeginSourceFileAction(CompilerInstance &CI) override
Callback at the start of processing a single input.
bool PrepareToExecuteAction(CompilerInstance &CI) override
Prepare to execute the action on the given CompilerInstance.
std::unique_ptr< raw_pwrite_stream > CreateOutputFile(CompilerInstance &CI, StringRef InFile) override
std::unique_ptr< ASTConsumer > CreateASTConsumer(CompilerInstance &CI, StringRef InFile) override
Create the AST consumer object for this action, if supported.
bool BeginSourceFileAction(CompilerInstance &CI) override
Callback at the start of processing a single input.
static bool ComputeASTConsumerArguments(CompilerInstance &CI, std::string &Sysroot)
Compute the AST consumer arguments that will be used to create the PCHGenerator instance returned by ...
std::unique_ptr< ASTConsumer > CreateASTConsumer(CompilerInstance &CI, StringRef InFile) override
Create the AST consumer object for this action, if supported.
static std::unique_ptr< llvm::raw_pwrite_stream > CreateOutputFile(CompilerInstance &CI, StringRef InFile, std::string &OutputFile, bool SetOnlyIfDifferent=false)
Creates file to write the PCH into and returns a stream to write it into.
bool shouldEraseOutputFiles() override
Callback at the end of processing a single input, to determine if the output files should be erased o...
void ExecuteAction() override
Callback to run the program action, using the initialized compiler instance.
HLSLFrontendAction(std::unique_ptr< FrontendAction > WrappedAction)
One of these records is kept for each identifier that is lexed.
StringRef getName() const
Return the actual identifier string.
@ CMK_HeaderUnit
Compiling a module header unit.
@ CMK_ModuleInterface
Compiling a C++ modules interface unit.
Keeps track of the various options that can be enabled, which controls the dialect of C or C++ that i...
std::string HLSLRootSigOverride
The HLSL root signature that will be used to overide the root signature used for the shader entry poi...
llvm::dxbc::RootSignatureVersion HLSLRootSigVer
The HLSL root signature version for dxil.
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 ...
Lexer - This provides a simple interface that turns a text buffer into a stream of tokens.
void SetKeepWhitespaceMode(bool Val)
SetKeepWhitespaceMode - This method lets clients enable or disable whitespace retention mode.
bool LexFromRawLexer(Token &Result)
LexFromRawLexer - Lex a token from a designated raw lexer (one with no associated preprocessor object...
static PreambleBounds ComputePreamble(StringRef Buffer, const LangOptions &LangOpts, unsigned MaxLines=0)
Compute the preamble of the given file.
Encapsulates changes to the "macros namespace" (the location where the macro name became active,...
const MacroInfo * getMacroInfo() const
Encapsulates the data about a macro definition (e.g.
SourceLocation getDefinitionLoc() const
Return the location that the macro was defined at.
ArrayRef< Token > tokens() const
static ModuleFileName makeExplicit(std::string Name)
Creates a file name for an explicit module.
Describes a module or submodule.
SmallVector< ExportDecl, 2 > Exports
The set of export declarations.
void print(raw_ostream &OS, unsigned Indent=0, bool Dump=false) const
Print the module map for this module to the given stream.
ModuleKind Kind
The kind of this module.
std::string Name
The name of this module.
llvm::iterator_range< submodule_iterator > submodules()
@ ModuleImplementationUnit
This is a C++20 module implementation unit.
@ ModuleMapModule
This is a module that was defined by a module map and built out of header files.
@ ImplicitGlobalModuleFragment
This is an implicit fragment of the global module which contains only language linkage declarations (...
@ ModulePartitionInterface
This is a C++20 module partition interface.
@ ModuleInterfaceUnit
This is a C++20 module interface unit.
@ ModuleHeaderUnit
This is a C++20 header unit.
@ ModulePartitionImplementation
This is a C++20 module partition implementation.
@ PrivateModuleFragment
This is the private module fragment within some C++ module.
@ ExplicitGlobalModuleFragment
This is the explicit Global Module Fragment of a modular TU.
llvm::SmallVector< ModuleRef, 2 > Imports
The set of modules imported by this module, and on which this module depends.
virtual void getNameForDiagnostic(raw_ostream &OS, const PrintingPolicy &Policy, bool Qualified) const
Appends a human-readable name for this declaration into the given stream.
virtual std::unique_ptr< ASTConsumer > CreatePCHContainerGenerator(CompilerInstance &CI, const std::string &MainFileName, const std::string &OutputFileName, std::unique_ptr< llvm::raw_pwrite_stream > OS, std::shared_ptr< PCHBuffer > Buffer) const =0
Return an ASTConsumer that can be chained with a PCHGenerator that produces a wrapper file format con...
This interface provides a way to observe the actions of the preprocessor as it does its thing.
void ExecuteAction() override
Callback to run the program action, using the initialized compiler instance.
std::pair< unsigned, bool > PrecompiledPreambleBytes
If non-zero, the implicit PCH include is actually a precompiled preamble that covers this number of b...
bool DetailedRecord
Whether we should maintain a detailed record of all macro definitions and expansions.
bool UsePredefines
Initialize the preprocessor with the compiler and target specific predefines.
std::vector< std::pair< std::string, bool > > Macros
bool AllowPCHWithCompilerErrors
When true, a PCH with compiler errors will not be rejected.
Engages in a tight little dance with the lexer to efficiently preprocess tokens.
void DumpToken(const Token &Tok, bool DumpFlags=false) const
Print the token to stderr, used for debugging.
void IgnorePragmas()
Install empty handlers for all pragmas (making them ignored).
void Lex(Token &Result)
Lex the next token for this preprocessor.
void addPPCallbacks(std::unique_ptr< PPCallbacks > C)
void EnterMainSourceFile()
Enter the specified FileID as the main source file, which implicitly adds the builtin defines etc.
SourceManager & getSourceManager() const
HeaderSearch & getHeaderSearchInfo() const
const LangOptions & getLangOpts() const
unsigned getColumn() const
Return the presumed column number of this location.
const char * getFilename() const
Return the presumed filename of this location.
unsigned getLine() const
Return the presumed line number of this location.
bool isInvalid() const
Return true if this object is invalid or uninitialized.
void ExecuteAction() override
Callback to run the program action, using the initialized compiler instance.
void ExecuteAction() override
Callback to run the program action, using the initialized compiler instance.
void ExecuteAction() override
Callback to run the program action, using the initialized compiler instance.
Sema - This implements semantic analysis and AST building for C.
const LangOptions & getLangOpts() const
std::vector< std::unique_ptr< TemplateInstantiationCallback > > TemplateInstCallbacks
The template instantiation callbacks to trace or track instantiations (objects can be chained).
SourceManager & getSourceManager() const
Encodes a location in the source.
This class handles loading and caching of source files into memory.
PresumedLoc getPresumedLoc(SourceLocation Loc, bool UseLineDirectives=true) const
Returns the "presumed" location of a SourceLocation specifies.
~SyntaxOnlyAction() override
std::unique_ptr< ASTConsumer > CreateASTConsumer(CompilerInstance &CI, StringRef InFile) override
Create the AST consumer object for this action, if supported.
Exposes information about the current target.
TargetOptions & getTargetOpts() const
Retrieve the target options.
const llvm::Triple & getTriple() const
Returns the target triple of the primary target.
std::string Triple
The name of the target triple to compile for.
std::string ABI
If given, the name of the target ABI to use.
std::string TuneCPU
If given, the name of the target CPU to tune code for.
std::string CPU
If given, the name of the target CPU to generate code for.
std::vector< std::string > FeaturesAsWritten
The list of target specific features to enable or disable, as written on the command line.
std::string HLSLEntry
The entry point name for HLSL shader being compiled as specified by -E.
This is a base class for callbacks that will be notified at every template instantiation.
std::unique_ptr< ASTConsumer > CreateASTConsumer(CompilerInstance &CI, StringRef InFile) override
Create the AST consumer object for this action, if supported.
void ExecuteAction() override
Implement the ExecuteAction interface by running Sema on the already-initialized AST consumer.
Token - This structure provides full information about a lexed token.
IdentifierInfo * getIdentifierInfo() const
bool isNot(tok::TokenKind K) const
std::unique_ptr< ASTConsumer > CreateASTConsumer(CompilerInstance &CI, StringRef InFile) override
Create the AST consumer object for this action, if supported.
void ExecuteAction() override
Implement the ExecuteAction interface by running Sema on the already-initialized AST consumer.
void ExecuteAction() override
Callback to run the program action, using the initialized compiler instance.
WrapperFrontendAction(std::unique_ptr< FrontendAction > WrappedAction)
Construct a WrapperFrontendAction from an existing action, taking ownership of it.
TranslationUnitKind getTranslationUnitKind() override
For AST-based actions, the kind of translation unit we're handling.
std::unique_ptr< FrontendAction > WrappedAction
Information about a module that has been loaded by the ASTReader.
std::string ModuleName
The name of the module.
Defines the clang::TargetInfo interface.
@ HeaderSearch
Remove unused header search paths including header maps.
@ OS
Indicates that the tracking object is a descendant of a referenced-counted OSObject,...
void HandleRootSignatureTarget(Sema &S, StringRef EntryRootSig)
IdentifierInfo * ParseHLSLRootSignature(Sema &Actions, llvm::dxbc::RootSignatureVersion Version, StringLiteral *Signature)
std::variant< struct RequiresDecl, struct HeaderDecl, struct UmbrellaDirDecl, struct ModuleDecl, struct ExcludeDecl, struct ExportDecl, struct ExportAsDecl, struct ExternModuleDecl, struct UseDecl, struct LinkDecl, struct ConfigMacrosDecl, struct ConflictDecl > Decl
All declarations that can appear in a module declaration.
@ MK_PCH
File is a PCH file treated as such.
@ MK_Preamble
File is a PCH file treated as the preamble.
bool isStringLiteral(TokenKind K)
Return true if this is a C or C++ string-literal (or C++11 user-defined-string-literal) token.
The JSON file list parser is used to communicate input to InstallAPI.
void atTemplateEnd(TemplateInstantiationCallbackPtrs &Callbacks, const Sema &TheSema, const Sema::CodeSynthesisContext &Inst)
void atTemplateBegin(TemplateInstantiationCallbackPtrs &Callbacks, const Sema &TheSema, const Sema::CodeSynthesisContext &Inst)
void printDependencyDirectivesAsSource(StringRef Source, ArrayRef< dependency_directives_scan::Directive > Directives, llvm::raw_ostream &OS)
Print the previously scanned dependency directives as minimized source text.
void initialize(TemplateInstantiationCallbackPtrs &Callbacks, const Sema &TheSema)
bool scanSourceForDependencyDirectives(StringRef Input, SmallVectorImpl< dependency_directives_scan::Token > &Tokens, SmallVectorImpl< dependency_directives_scan::Directive > &Directives, DiagnosticsEngine *Diags=nullptr, SourceLocation InputSourceLoc=SourceLocation())
Scan the input for the preprocessor directives that might have an effect on the dependencies for a co...
std::unique_ptr< ASTConsumer > CreateASTDeclNodeLister()
@ C
Languages that the frontend can parse and compile.
@ CIR
LLVM IR & CIR: we accept these so that we can run the optimizer on them, and compile them to assembly...
@ Asm
Assembly: we accept this only so that we can preprocess it.
std::string createSpecificModuleCachePath(FileManager &FileMgr, StringRef ModuleCachePath, bool DisableModuleHash, std::string ContextHash)
void DoPrintPreprocessedInput(Preprocessor &PP, raw_ostream *OS, const PreprocessorOutputOptions &Opts)
DoPrintPreprocessedInput - Implement -E mode.
@ Type
The name was classified as a type.
std::unique_ptr< ASTConsumer > CreateASTDumper(std::unique_ptr< raw_ostream > OS, StringRef FilterString, bool DumpDecls, bool Deserialize, bool DumpLookups, bool DumpDeclTypes, ASTDumpOutputFormat Format)
std::unique_ptr< ASTConsumer > CreateASTPrinter(std::unique_ptr< raw_ostream > OS, StringRef FilterString)
std::unique_ptr< ASTConsumer > CreateASTViewer()
@ None
Perform validation, don't disable it.
std::string getClangFullRepositoryVersion()
Retrieves the full repository version that is an amalgamation of the information in getClangRepositor...
void finalize(TemplateInstantiationCallbackPtrs &Callbacks, const Sema &TheSema)
U cast(CodeGen::Address addr)
ActionResult< Expr * > ExprResult
unsigned Size
Size of the preamble in bytes.
unsigned SuppressDefaultTemplateArgs
When true, attempt to suppress template arguments that match the default argument for the parameter.
static void mapping(IO &io, TemplightEntry &fields)